| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | No Cert. | 3600.02 | 3612.2 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_11.opb |
| MD5SUM | 89d4e33f1fc4516d7db076f434bf527f |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 72 |
| Best CPU time to get the best result obtained on this benchmark | 3600.08 |
| 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 | 1288 |
| Total number of constraints | 2431 |
| 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 | 2430 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 29 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 64 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 182 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 175 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 802 |
| Number of bits of the biggest sum of numbers | 10 |
| 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.07 c #variables 1288 #constraints 2431 0.00/0.11 c bounds - >= 0 @ 0.063631 0.00/0.11 c rational objective 55 0.79/0.87 c bounds 108 >= 0 @ 0.404604 0.79/0.87 c bounds 108 >= 55 @ 0.404656 0.79/0.87 c #Conflicts: 1000 | #Constraints: 3431 0.79/0.87 c #Conflicts: 2000 | #Constraints: 4431 0.79/0.87 c INPROCESSING 0.79/0.87 c GARBAGE COLLECT 0.79/0.87 c rational objective 55 1.48/1.56 c bounds 107 >= 55 @ 0.821895 1.48/1.56 c bounds 102 >= 55 @ 0.828186 1.48/1.56 c bounds 101 >= 55 @ 0.831529 1.48/1.56 c bounds 100 >= 55 @ 0.839618 1.48/1.56 c bounds 99 >= 55 @ 0.938779 1.48/1.56 c #Conflicts: 3000 | #Constraints: 4426 1.48/1.56 c #Conflicts: 4000 | #Constraints: 5426 1.48/1.56 c INPROCESSING 1.48/1.56 c GARBAGE COLLECT 1.48/1.56 c rational objective 55 2.19/2.22 c bounds 95 >= 55 @ 1.48061 2.19/2.22 c bounds 94 >= 55 @ 1.58921 2.19/2.22 c #Conflicts: 5000 | #Constraints: 4844 2.19/2.22 c bounds 89 >= 55 @ 1.85327 2.19/2.22 c #Conflicts: 6000 | #Constraints: 5845 2.19/2.22 c INPROCESSING 2.19/2.22 c GARBAGE COLLECT 2.19/2.22 c rational objective 55 2.88/2.96 c #Conflicts: 7000 | #Constraints: 4862 2.88/2.96 c #Conflicts: 8000 | #Constraints: 5862 2.88/2.96 c #Conflicts: 9000 | #Constraints: 6862 2.88/2.96 c INPROCESSING 2.88/2.96 c GARBAGE COLLECT 2.88/2.96 c rational objective 55 3.77/3.82 c #Conflicts: 10000 | #Constraints: 5572 3.77/3.82 c #Conflicts: 11000 | #Constraints: 6572 3.77/3.82 c #Conflicts: 12000 | #Constraints: 7572 3.77/3.82 c INPROCESSING 3.77/3.82 c GARBAGE COLLECT 3.77/3.82 c rational objective 55 4.58/4.69 c #Conflicts: 13000 | #Constraints: 6039 4.58/4.69 c #Conflicts: 14000 | #Constraints: 7039 4.58/4.69 c #Conflicts: 15000 | #Constraints: 8039 4.58/4.69 c INPROCESSING 4.58/4.69 c GARBAGE COLLECT 4.58/4.69 c rational objective 55 5.58/5.68 c #Conflicts: 16000 | #Constraints: 6261 5.58/5.68 c #Conflicts: 17000 | #Constraints: 7261 5.58/5.68 c #Conflicts: 18000 | #Constraints: 8261 5.58/5.68 c INPROCESSING 5.58/5.68 c GARBAGE COLLECT 5.58/5.68 c rational objective 55 6.67/6.74 c #Conflicts: 19000 | #Constraints: 6270 6.67/6.74 c #Conflicts: 20000 | #Constraints: 7270 6.67/6.74 c #Conflicts: 21000 | #Constraints: 8270 6.67/6.74 c INPROCESSING 6.67/6.74 c GARBAGE COLLECT 6.67/6.74 c rational objective 55 7.76/7.84 c #Conflicts: 22000 | #Constraints: 6074 7.76/7.84 c #Conflicts: 23000 | #Constraints: 7074 7.76/7.84 c bounds 86 >= 55 @ 6.91799 7.76/7.84 c #Conflicts: 24000 | #Constraints: 8075 7.76/7.84 c bounds 85 >= 55 @ 7.35242 7.76/7.84 c #Conflicts: 25000 | #Constraints: 9076 7.76/7.84 c INPROCESSING 7.76/7.84 c GARBAGE COLLECT 7.76/7.84 c rational objective 55 8.98/9.08 c #Conflicts: 26000 | #Constraints: 6420 8.98/9.08 c #Conflicts: 27000 | #Constraints: 7420 8.98/9.08 c #Conflicts: 28000 | #Constraints: 8420 8.98/9.08 c #Conflicts: 29000 | #Constraints: 9420 8.98/9.08 c INPROCESSING 8.98/9.08 c GARBAGE COLLECT 8.98/9.08 c rational objective 55 10.26/10.38 c #Conflicts: 30000 | #Constraints: 6958 10.26/10.38 c #Conflicts: 31000 | #Constraints: 7958 10.26/10.38 c #Conflicts: 32000 | #Constraints: 8958 10.26/10.38 c #Conflicts: 33000 | #Constraints: 9958 10.26/10.38 c INPROCESSING 10.26/10.38 c GARBAGE COLLECT 10.26/10.38 c rational objective 55 11.76/11.88 c #Conflicts: 34000 | #Constraints: 7224 11.76/11.88 c #Conflicts: 35000 | #Constraints: 8224 11.76/11.88 c #Conflicts: 36000 | #Constraints: 9224 11.76/11.88 c #Conflicts: 37000 | #Constraints: 10224 11.76/11.88 c INPROCESSING 11.76/11.88 c GARBAGE COLLECT 11.76/11.88 c rational objective 55 13.26/13.37 c #Conflicts: 38000 | #Constraints: 7261 13.26/13.37 c #Conflicts: 39000 | #Constraints: 8261 13.26/13.37 c #Conflicts: 40000 | #Constraints: 9261 13.26/13.37 c #Conflicts: 41000 | #Constraints: 10261 13.26/13.37 c INPROCESSING 13.26/13.37 c GARBAGE COLLECT 13.26/13.37 c rational objective 55 14.86/14.96 c #Conflicts: 42000 | #Constraints: 7082 14.86/14.96 c bounds 83 >= 55 @ 13.0364 14.86/14.96 c bounds 82 >= 55 @ 13.2215 14.86/14.96 c bounds 80 >= 55 @ 13.2762 14.86/14.96 c #Conflicts: 43000 | #Constraints: 8085 14.86/14.96 c #Conflicts: 44000 | #Constraints: 9085 14.86/14.96 c #Conflicts: 45000 | #Constraints: 10085 14.86/14.96 c #Conflicts: 46000 | #Constraints: 11085 14.86/14.96 c INPROCESSING 14.86/14.96 c GARBAGE COLLECT 14.86/14.96 c rational objective 55 16.74/16.80 c #Conflicts: 47000 | #Constraints: 7685 16.74/16.80 c #Conflicts: 48000 | #Constraints: 8685 16.74/16.80 c #Conflicts: 49000 | #Constraints: 9685 16.74/16.80 c #Conflicts: 50000 | #Constraints: 10685 16.74/16.80 c #Conflicts: 51000 | #Constraints: 11685 16.74/16.80 c INPROCESSING 16.74/16.80 c GARBAGE COLLECT 16.74/16.80 c rational objective 55 18.54/18.66 c #Conflicts: 52000 | #Constraints: 8085 18.54/18.66 c #Conflicts: 53000 | #Constraints: 9085 18.54/18.66 c #Conflicts: 54000 | #Constraints: 10085 18.54/18.66 c #Conflicts: 55000 | #Constraints: 11085 18.54/18.66 c #Conflicts: 56000 | #Constraints: 12085 18.54/18.66 c INPROCESSING 18.54/18.66 c GARBAGE COLLECT 18.54/18.66 c rational objective 55 20.64/20.77 c #Conflicts: 57000 | #Constraints: 8295 20.64/20.77 c #Conflicts: 58000 | #Constraints: 9295 20.64/20.77 c #Conflicts: 59000 | #Constraints: 10295 20.64/20.77 c #Conflicts: 60000 | #Constraints: 11295 20.64/20.77 c #Conflicts: 61000 | #Constraints: 12295 20.64/20.77 c INPROCESSING 20.64/20.77 c GARBAGE COLLECT 20.64/20.77 c rational objective 55 22.83/22.96 c #Conflicts: 62000 | #Constraints: 8291 22.83/22.96 c #Conflicts: 63000 | #Constraints: 9291 22.83/22.96 c #Conflicts: 64000 | #Constraints: 10291 22.83/22.96 c #Conflicts: 65000 | #Constraints: 11291 22.83/22.96 c #Conflicts: 66000 | #Constraints: 12291 22.83/22.96 c INPROCESSING 22.83/22.96 c GARBAGE COLLECT 22.83/22.96 c rational objective 55 25.43/25.52 c #Conflicts: 67000 | #Constraints: 8092 25.43/25.52 c #Conflicts: 68000 | #Constraints: 9092 25.43/25.52 c #Conflicts: 69000 | #Constraints: 10092 25.43/25.52 c #Conflicts: 70000 | #Constraints: 11092 25.43/25.52 c #Conflicts: 71000 | #Constraints: 12092 25.43/25.52 c #Conflicts: 72000 | #Constraints: 13092 25.43/25.52 c INPROCESSING 25.43/25.52 c GARBAGE COLLECT 25.43/25.52 c rational objective 55 27.82/27.98 c #Conflicts: 73000 | #Constraints: 8693 27.82/27.98 c #Conflicts: 74000 | #Constraints: 9693 27.82/27.98 c #Conflicts: 75000 | #Constraints: 10693 27.82/27.98 c #Conflicts: 76000 | #Constraints: 11693 27.82/27.98 c #Conflicts: 77000 | #Constraints: 12693 27.82/27.98 c #Conflicts: 78000 | #Constraints: 13693 27.82/27.98 c INPROCESSING 27.82/27.98 c GARBAGE COLLECT 27.82/27.98 c rational objective 55 30.71/30.81 c #Conflicts: 79000 | #Constraints: 9093 30.71/30.81 c #Conflicts: 80000 | #Constraints: 10093 30.71/30.81 c #Conflicts: 81000 | #Constraints: 11093 30.71/30.81 c #Conflicts: 82000 | #Constraints: 12093 30.71/30.81 c #Conflicts: 83000 | #Constraints: 13093 30.71/30.81 c #Conflicts: 84000 | #Constraints: 14093 30.71/30.81 c INPROCESSING 30.71/30.81 c GARBAGE COLLECT 30.71/30.81 c rational objective 55 33.31/33.49 c #Conflicts: 85000 | #Constraints: 9304 33.31/33.49 c #Conflicts: 86000 | #Constraints: 10304 33.31/33.49 c #Conflicts: 87000 | #Constraints: 11304 33.31/33.49 c #Conflicts: 88000 | #Constraints: 12304 33.31/33.49 c #Conflicts: 89000 | #Constraints: 13304 33.31/33.49 c #Conflicts: 90000 | #Constraints: 14304 33.31/33.49 c INPROCESSING 33.31/33.49 c GARBAGE COLLECT 33.31/33.49 c rational objective 55 36.70/36.83 c #Conflicts: 91000 | #Constraints: 9306 36.70/36.83 c #Conflicts: 92000 | #Constraints: 10306 36.70/36.83 c #Conflicts: 93000 | #Constraints: 11306 36.70/36.83 c #Conflicts: 94000 | #Constraints: 12306 36.70/36.83 c #Conflicts: 95000 | #Constraints: 13306 36.70/36.83 c #Conflicts: 96000 | #Constraints: 14306 36.70/36.83 c INPROCESSING 36.70/36.83 c GARBAGE COLLECT 36.70/36.83 c rational objective 55 39.70/39.86 c #Conflicts: 97000 | #Constraints: 9099 39.70/39.86 c #Conflicts: 98000 | #Constraints: 10099 39.70/39.86 c #Conflicts: 99000 | #Constraints: 11099 39.70/39.86 c #Conflicts: 100000 | #Constraints: 12099 39.70/39.86 c #Conflicts: 101000 | #Constraints: 13099 39.70/39.86 c #Conflicts: 102000 | #Constraints: 14099 39.70/39.86 c #Conflicts: 103000 | #Constraints: 15099 39.70/39.86 c INPROCESSING 39.70/39.86 c GARBAGE COLLECT 39.70/39.86 c rational objective 55 43.59/43.72 c #Conflicts: 104000 | #Constraints: 9705 43.59/43.72 c #Conflicts: 105000 | #Constraints: 10705 43.59/43.72 c #Conflicts: 106000 | #Constraints: 11705 43.59/43.72 c #Conflicts: 107000 | #Constraints: 12705 43.59/43.72 c #Conflicts: 108000 | #Constraints: 13705 43.59/43.72 c #Conflicts: 109000 | #Constraints: 14705 43.59/43.72 c #Conflicts: 110000 | #Constraints: 15705 43.59/43.72 c INPROCESSING 43.59/43.72 c GARBAGE COLLECT 43.59/43.72 c rational objective 55 46.88/47.06 c #Conflicts: 111000 | #Constraints: 10117 46.88/47.06 c #Conflicts: 112000 | #Constraints: 11117 46.88/47.06 c #Conflicts: 113000 | #Constraints: 12117 46.88/47.06 c #Conflicts: 114000 | #Constraints: 13117 46.88/47.06 c #Conflicts: 115000 | #Constraints: 14117 46.88/47.06 c #Conflicts: 116000 | #Constraints: 15117 46.88/47.06 c #Conflicts: 117000 | #Constraints: 16117 46.88/47.06 c INPROCESSING 46.88/47.06 c GARBAGE COLLECT 46.88/47.06 c rational objective 55 50.47/50.61 c #Conflicts: 118000 | #Constraints: 10314 50.47/50.61 c bounds 79 >= 55 @ 46.6873 50.47/50.61 c #Conflicts: 119000 | #Constraints: 11315 50.47/50.61 c #Conflicts: 120000 | #Constraints: 12315 50.47/50.61 c #Conflicts: 121000 | #Constraints: 13315 50.47/50.61 c #Conflicts: 122000 | #Constraints: 14315 50.47/50.61 c #Conflicts: 123000 | #Constraints: 15315 50.47/50.61 c #Conflicts: 124000 | #Constraints: 16315 50.47/50.61 c INPROCESSING 50.47/50.61 c GARBAGE COLLECT 50.47/50.61 c rational objective 55 55.05/55.25 c #Conflicts: 125000 | #Constraints: 10310 55.05/55.25 c #Conflicts: 126000 | #Constraints: 11310 55.05/55.25 c #Conflicts: 127000 | #Constraints: 12310 55.05/55.25 c #Conflicts: 128000 | #Constraints: 13310 55.05/55.25 c #Conflicts: 129000 | #Constraints: 14310 55.05/55.25 c #Conflicts: 130000 | #Constraints: 15310 55.05/55.25 c #Conflicts: 131000 | #Constraints: 16310 55.05/55.25 c bounds 78 >= 55 @ 53.7811 55.05/55.25 c INPROCESSING 55.05/55.25 c GARBAGE COLLECT 55.05/55.25 c rational objective 55 59.04/59.28 c #Conflicts: 132000 | #Constraints: 10106 59.04/59.28 c #Conflicts: 133000 | #Constraints: 11106 59.04/59.28 c #Conflicts: 134000 | #Constraints: 12106 59.04/59.28 c #Conflicts: 135000 | #Constraints: 13106 59.04/59.28 c #Conflicts: 136000 | #Constraints: 14106 59.04/59.28 c #Conflicts: 137000 | #Constraints: 15106 59.04/59.28 c #Conflicts: 138000 | #Constraints: 16106 59.04/59.28 c #Conflicts: 139000 | #Constraints: 17106 59.04/59.28 c INPROCESSING 59.04/59.28 c GARBAGE COLLECT 59.04/59.28 c rational objective 55 63.34/63.58 c #Conflicts: 140000 | #Constraints: 10705 63.34/63.58 c #Conflicts: 141000 | #Constraints: 11705 63.34/63.58 c #Conflicts: 142000 | #Constraints: 12705 63.34/63.58 c #Conflicts: 143000 | #Constraints: 13705 63.34/63.58 c #Conflicts: 144000 | #Constraints: 14705 63.34/63.58 c #Conflicts: 145000 | #Constraints: 15705 63.34/63.58 c #Conflicts: 146000 | #Constraints: 16705 63.34/63.58 c #Conflicts: 147000 | #Constraints: 17705 63.34/63.58 c INPROCESSING 63.34/63.58 c GARBAGE COLLECT 63.34/63.58 c rational objective 55 67.43/67.63 c #Conflicts: 148000 | #Constraints: 10954 67.43/67.63 c #Conflicts: 149000 | #Constraints: 11954 67.43/67.63 c #Conflicts: 150000 | #Constraints: 12954 67.43/67.63 c #Conflicts: 151000 | #Constraints: 13954 67.43/67.63 c #Conflicts: 152000 | #Constraints: 14954 67.43/67.63 c #Conflicts: 153000 | #Constraints: 15954 67.43/67.63 c #Conflicts: 154000 | #Constraints: 16954 67.43/67.63 c #Conflicts: 155000 | #Constraints: 17954 67.43/67.63 c INPROCESSING 67.43/67.63 c GARBAGE COLLECT 67.43/67.63 c rational objective 55 72.01/72.26 c #Conflicts: 156000 | #Constraints: 11232 72.01/72.26 c #Conflicts: 157000 | #Constraints: 12232 72.01/72.26 c #Conflicts: 158000 | #Constraints: 13232 72.01/72.26 c #Conflicts: 159000 | #Constraints: 14232 72.01/72.26 c #Conflicts: 160000 | #Constraints: 15232 72.01/72.26 c #Conflicts: 161000 | #Constraints: 16232 72.01/72.26 c #Conflicts: 162000 | #Constraints: 17232 72.01/72.26 c #Conflicts: 163000 | #Constraints: 18232 72.01/72.26 c INPROCESSING 72.01/72.26 c GARBAGE COLLECT 72.01/72.26 c rational objective 55 76.51/76.73 c #Conflicts: 164000 | #Constraints: 11287 76.51/76.73 c #Conflicts: 165000 | #Constraints: 12287 76.51/76.73 c #Conflicts: 166000 | #Constraints: 13287 76.51/76.73 c #Conflicts: 167000 | #Constraints: 14287 76.51/76.73 c #Conflicts: 168000 | #Constraints: 15287 76.51/76.73 c #Conflicts: 169000 | #Constraints: 16287 76.51/76.73 c #Conflicts: 170000 | #Constraints: 17287 76.51/76.73 c #Conflicts: 171000 | #Constraints: 18287 76.51/76.73 c INPROCESSING 76.51/76.73 c GARBAGE COLLECT 76.51/76.73 c rational objective 55 81.80/82.02 c #Conflicts: 172000 | #Constraints: 11109 81.80/82.02 c #Conflicts: 173000 | #Constraints: 12109 81.80/82.02 c #Conflicts: 174000 | #Constraints: 13109 81.80/82.02 c #Conflicts: 175000 | #Constraints: 14109 81.80/82.02 c #Conflicts: 176000 | #Constraints: 15109 81.80/82.02 c #Conflicts: 177000 | #Constraints: 16109 81.80/82.02 c #Conflicts: 178000 | #Constraints: 17109 81.80/82.02 c #Conflicts: 179000 | #Constraints: 18109 81.80/82.02 c #Conflicts: 180000 | #Constraints: 19109 81.80/82.02 c INPROCESSING 81.80/82.02 c GARBAGE COLLECT 81.80/82.02 c rational objective 55 86.58/86.80 c #Conflicts: 181000 | #Constraints: 11702 86.58/86.80 c #Conflicts: 182000 | #Constraints: 12702 86.58/86.80 c #Conflicts: 183000 | #Constraints: 13702 86.58/86.80 c #Conflicts: 184000 | #Constraints: 14702 86.58/86.80 c #Conflicts: 185000 | #Constraints: 15702 86.58/86.80 c #Conflicts: 186000 | #Constraints: 16702 86.58/86.80 c #Conflicts: 187000 | #Constraints: 17702 86.58/86.80 c #Conflicts: 188000 | #Constraints: 18702 86.58/86.80 c #Conflicts: 189000 | #Constraints: 19702 86.58/86.80 c INPROCESSING 86.58/86.80 c GARBAGE COLLECT 86.58/86.80 c rational objective 55 92.07/92.36 c #Conflicts: 190000 | #Constraints: 12101 92.07/92.36 c #Conflicts: 191000 | #Constraints: 13101 92.07/92.36 c #Conflicts: 192000 | #Constraints: 14101 92.07/92.36 c #Conflicts: 193000 | #Constraints: 15101 92.07/92.36 c #Conflicts: 194000 | #Constraints: 16101 92.07/92.36 c #Conflicts: 195000 | #Constraints: 17101 92.07/92.36 c #Conflicts: 196000 | #Constraints: 18101 92.07/92.36 c #Conflicts: 197000 | #Constraints: 19101 92.07/92.36 c #Conflicts: 198000 | #Constraints: 20101 92.07/92.36 c INPROCESSING 92.07/92.36 c GARBAGE COLLECT 92.07/92.36 c rational objective 55 97.25/97.54 c #Conflicts: 199000 | #Constraints: 12297 97.25/97.54 c #Conflicts: 200000 | #Constraints: 13297 97.25/97.54 c #Conflicts: 201000 | #Constraints: 14297 97.25/97.54 c #Conflicts: 202000 | #Constraints: 15297 97.25/97.54 c #Conflicts: 203000 | #Constraints: 16297 97.25/97.54 c #Conflicts: 204000 | #Constraints: 17297 97.25/97.54 c #Conflicts: 205000 | #Constraints: 18297 97.25/97.54 c #Conflicts: 206000 | #Constraints: 19297 97.25/97.54 c #Conflicts: 207000 | #Constraints: 20297 97.25/97.54 c INPROCESSING 97.25/97.54 c GARBAGE COLLECT 97.25/97.54 c rational objective 55 103.45/103.78 c #Conflicts: 208000 | #Constraints: 12307 103.45/103.78 c #Conflicts: 209000 | #Constraints: 13307 103.45/103.78 c #Conflicts: 210000 | #Constraints: 14307 103.45/103.78 c #Conflicts: 211000 | #Constraints: 15307 103.45/103.78 c #Conflicts: 212000 | #Constraints: 16307 103.45/103.78 c #Conflicts: 213000 | #Constraints: 17307 103.45/103.78 c #Conflicts: 214000 | #Constraints: 18307 103.45/103.78 c #Conflicts: 215000 | #Constraints: 19307 103.45/103.78 c #Conflicts: 216000 | #Constraints: 20307 103.45/103.78 c INPROCESSING 103.45/103.78 c GARBAGE COLLECT 103.45/103.78 c rational objective 55 108.84/109.18 c #Conflicts: 217000 | #Constraints: 12110 108.84/109.18 c #Conflicts: 218000 | #Constraints: 13110 108.84/109.18 c #Conflicts: 219000 | #Constraints: 14110 108.84/109.18 c #Conflicts: 220000 | #Constraints: 15110 108.84/109.18 c #Conflicts: 221000 | #Constraints: 16110 108.84/109.18 c #Conflicts: 222000 | #Constraints: 17110 108.84/109.18 c #Conflicts: 223000 | #Constraints: 18110 108.84/109.18 c #Conflicts: 224000 | #Constraints: 19110 108.84/109.18 c #Conflicts: 225000 | #Constraints: 20110 108.84/109.18 c #Conflicts: 226000 | #Constraints: 21110 108.84/109.18 c INPROCESSING 108.84/109.18 c GARBAGE COLLECT 108.84/109.18 c rational objective 55 114.83/115.12 c #Conflicts: 227000 | #Constraints: 12712 114.83/115.12 c #Conflicts: 228000 | #Constraints: 13712 114.83/115.12 c #Conflicts: 229000 | #Constraints: 14712 114.83/115.12 c #Conflicts: 230000 | #Constraints: 15712 114.83/115.12 c #Conflicts: 231000 | #Constraints: 16712 114.83/115.12 c #Conflicts: 232000 | #Constraints: 17712 114.83/115.12 c #Conflicts: 233000 | #Constraints: 18712 114.83/115.12 c #Conflicts: 234000 | #Constraints: 19712 114.83/115.12 c #Conflicts: 235000 | #Constraints: 20712 114.83/115.12 c #Conflicts: 236000 | #Constraints: 21712 114.83/115.12 c INPROCESSING 114.83/115.12 c GARBAGE COLLECT 114.83/115.12 c rational objective 55 121.71/122.07 c #Conflicts: 237000 | #Constraints: 13111 121.71/122.07 c #Conflicts: 238000 | #Constraints: 14111 121.71/122.07 c #Conflicts: 239000 | #Constraints: 15111 121.71/122.07 c #Conflicts: 240000 | #Constraints: 16111 121.71/122.07 c #Conflicts: 241000 | #Constraints: 17111 121.71/122.07 c #Conflicts: 242000 | #Constraints: 18111 121.71/122.07 c #Conflicts: 243000 | #Constraints: 19111 121.71/122.07 c #Conflicts: 244000 | #Constraints: 20111 121.71/122.07 c #Conflicts: 245000 | #Constraints: 21111 121.71/122.07 c #Conflicts: 246000 | #Constraints: 22111 121.71/122.07 c INPROCESSING 121.71/122.07 c GARBAGE COLLECT 121.71/122.07 c rational objective 55 127.98/128.33 c #Conflicts: 247000 | #Constraints: 13315 127.98/128.33 c #Conflicts: 248000 | #Constraints: 14315 127.98/128.33 c #Conflicts: 249000 | #Constraints: 15315 127.98/128.33 c #Conflicts: 250000 | #Constraints: 16315 127.98/128.33 c #Conflicts: 251000 | #Constraints: 17315 127.98/128.33 c #Conflicts: 252000 | #Constraints: 18315 127.98/128.33 c #Conflicts: 253000 | #Constraints: 19315 127.98/128.33 c #Conflicts: 254000 | #Constraints: 20315 127.98/128.33 c #Conflicts: 255000 | #Constraints: 21315 127.98/128.33 c #Conflicts: 256000 | #Constraints: 22315 127.98/128.33 c INPROCESSING 127.98/128.33 c GARBAGE COLLECT 127.98/128.33 c rational objective 55 135.67/136.04 c #Conflicts: 257000 | #Constraints: 13316 135.67/136.04 c #Conflicts: 258000 | #Constraints: 14316 135.67/136.04 c #Conflicts: 259000 | #Constraints: 15316 135.67/136.04 c #Conflicts: 260000 | #Constraints: 16316 135.67/136.04 c #Conflicts: 261000 | #Constraints: 17316 135.67/136.04 c #Conflicts: 262000 | #Constraints: 18316 135.67/136.04 c #Conflicts: 263000 | #Constraints: 19316 135.67/136.04 c #Conflicts: 264000 | #Constraints: 20316 135.67/136.04 c #Conflicts: 265000 | #Constraints: 21316 135.67/136.04 c #Conflicts: 266000 | #Constraints: 22316 135.67/136.04 c INPROCESSING 135.67/136.04 c GARBAGE COLLECT 135.67/136.04 c rational objective 55 142.55/142.94 c #Conflicts: 267000 | #Constraints: 13144 142.55/142.94 c #Conflicts: 268000 | #Constraints: 14144 142.55/142.94 c #Conflicts: 269000 | #Constraints: 15144 142.55/142.94 c #Conflicts: 270000 | #Constraints: 16144 142.55/142.94 c #Conflicts: 271000 | #Constraints: 17144 142.55/142.94 c #Conflicts: 272000 | #Constraints: 18144 142.55/142.94 c #Conflicts: 273000 | #Constraints: 19144 142.55/142.94 c #Conflicts: 274000 | #Constraints: 20144 142.55/142.94 c #Conflicts: 275000 | #Constraints: 21144 142.55/142.94 c #Conflicts: 276000 | #Constraints: 22144 142.55/142.94 c #Conflicts: 277000 | #Constraints: 23144 142.55/142.94 c INPROCESSING 142.55/142.94 c GARBAGE COLLECT 142.55/142.94 c rational objective 55 150.33/150.75 c #Conflicts: 278000 | #Constraints: 13727 150.33/150.75 c #Conflicts: 279000 | #Constraints: 14727 150.33/150.75 c #Conflicts: 280000 | #Constraints: 15727 150.33/150.75 c #Conflicts: 281000 | #Constraints: 16727 150.33/150.75 c #Conflicts: 282000 | #Constraints: 17727 150.33/150.75 c #Conflicts: 283000 | #Constraints: 18727 150.33/150.75 c #Conflicts: 284000 | #Constraints: 19727 150.33/150.75 c #Conflicts: 285000 | #Constraints: 20727 150.33/150.75 c #Conflicts: 286000 | #Constraints: 21727 150.33/150.75 c #Conflicts: 287000 | #Constraints: 22727 150.33/150.75 c #Conflicts: 288000 | #Constraints: 23727 150.33/150.75 c INPROCESSING 150.33/150.75 c GARBAGE COLLECT 150.33/150.75 c rational objective 55 157.62/158.02 c #Conflicts: 289000 | #Constraints: 14129 157.62/158.02 c #Conflicts: 290000 | #Constraints: 15129 157.62/158.02 c #Conflicts: 291000 | #Constraints: 16129 157.62/158.02 c #Conflicts: 292000 | #Constraints: 17129 157.62/158.02 c #Conflicts: 293000 | #Constraints: 18129 157.62/158.02 c #Conflicts: 294000 | #Constraints: 19129 157.62/158.02 c #Conflicts: 295000 | #Constraints: 20129 157.62/158.02 c #Conflicts: 296000 | #Constraints: 21129 157.62/158.02 c #Conflicts: 297000 | #Constraints: 22129 157.62/158.02 c #Conflicts: 298000 | #Constraints: 23129 157.62/158.02 c #Conflicts: 299000 | #Constraints: 24129 157.62/158.02 c INPROCESSING 157.62/158.02 c GARBAGE COLLECT 157.62/158.02 c rational objective 55 166.39/166.81 c bounds 77 >= 55 @ 155.226 166.39/166.81 c #Conflicts: 300000 | #Constraints: 14326 166.39/166.81 c #Conflicts: 301000 | #Constraints: 15326 166.39/166.81 c #Conflicts: 302000 | #Constraints: 16326 166.39/166.81 c #Conflicts: 303000 | #Constraints: 17326 166.39/166.81 c #Conflicts: 304000 | #Constraints: 18326 166.39/166.81 c #Conflicts: 305000 | #Constraints: 19326 166.39/166.81 c #Conflicts: 306000 | #Constraints: 20326 166.39/166.81 c #Conflicts: 307000 | #Constraints: 21326 166.39/166.81 c #Conflicts: 308000 | #Constraints: 22326 166.39/166.81 c #Conflicts: 309000 | #Constraints: 23326 166.39/166.81 c #Conflicts: 310000 | #Constraints: 24326 166.39/166.81 c INPROCESSING 166.39/166.81 c GARBAGE COLLECT 166.39/166.81 c rational objective 55 173.77/174.25 c #Conflicts: 311000 | #Constraints: 14338 173.77/174.25 c #Conflicts: 312000 | #Constraints: 15338 173.77/174.25 c #Conflicts: 313000 | #Constraints: 16338 173.77/174.25 c #Conflicts: 314000 | #Constraints: 17338 173.77/174.25 c #Conflicts: 315000 | #Constraints: 18338 173.77/174.25 c #Conflicts: 316000 | #Constraints: 19338 173.77/174.25 c #Conflicts: 317000 | #Constraints: 20338 173.77/174.25 c #Conflicts: 318000 | #Constraints: 21338 173.77/174.25 c #Conflicts: 319000 | #Constraints: 22338 173.77/174.25 c #Conflicts: 320000 | #Constraints: 23338 173.77/174.25 c #Conflicts: 321000 | #Constraints: 24338 173.77/174.25 c INPROCESSING 173.77/174.25 c GARBAGE COLLECT 173.77/174.25 c rational objective 55 184.04/184.59 c #Conflicts: 322000 | #Constraints: 14129 184.04/184.59 c #Conflicts: 323000 | #Constraints: 15129 184.04/184.59 c #Conflicts: 324000 | #Constraints: 16129 184.04/184.59 c #Conflicts: 325000 | #Constraints: 17129 184.04/184.59 c #Conflicts: 326000 | #Constraints: 18129 184.04/184.59 c #Conflicts: 327000 | #Constraints: 19129 184.04/184.59 c #Conflicts: 328000 | #Constraints: 20129 184.04/184.59 c #Conflicts: 329000 | #Constraints: 21129 184.04/184.59 c #Conflicts: 330000 | #Constraints: 22129 184.04/184.59 c #Conflicts: 331000 | #Constraints: 23129 184.04/184.59 c #Conflicts: 332000 | #Constraints: 24129 184.04/184.59 c #Conflicts: 333000 | #Constraints: 25129 184.04/184.59 c bounds 75 >= 55 @ 180.747 184.04/184.59 c INPROCESSING 184.04/184.59 c GARBAGE COLLECT 184.04/184.59 c rational objective 55 192.54/193.02 c #Conflicts: 334000 | #Constraints: 14728 192.54/193.02 c #Conflicts: 335000 | #Constraints: 15728 192.54/193.02 c #Conflicts: 336000 | #Constraints: 16728 192.54/193.02 c #Conflicts: 337000 | #Constraints: 17728 192.54/193.02 c #Conflicts: 338000 | #Constraints: 18728 192.54/193.02 c #Conflicts: 339000 | #Constraints: 19728 192.54/193.02 c #Conflicts: 340000 | #Constraints: 20728 192.54/193.02 c #Conflicts: 341000 | #Constraints: 21728 192.54/193.02 c #Conflicts: 342000 | #Constraints: 22728 192.54/193.02 c #Conflicts: 343000 | #Constraints: 23728 192.54/193.02 c #Conflicts: 344000 | #Constraints: 24728 192.54/193.02 c #Conflicts: 345000 | #Constraints: 25728 192.54/193.02 c INPROCESSING 192.54/193.02 c GARBAGE COLLECT 192.54/193.02 c rational objective 55 202.52/203.07 c #Conflicts: 346000 | #Constraints: 15125 202.52/203.07 c #Conflicts: 347000 | #Constraints: 16125 202.52/203.07 c #Conflicts: 348000 | #Constraints: 17125 202.52/203.07 c #Conflicts: 349000 | #Constraints: 18125 202.52/203.07 c #Conflicts: 350000 | #Constraints: 19125 202.52/203.07 c #Conflicts: 351000 | #Constraints: 20125 202.52/203.07 c #Conflicts: 352000 | #Constraints: 21125 202.52/203.07 c #Conflicts: 353000 | #Constraints: 22125 202.52/203.07 c #Conflicts: 354000 | #Constraints: 23125 202.52/203.07 c #Conflicts: 355000 | #Constraints: 24125 202.52/203.07 c #Conflicts: 356000 | #Constraints: 25125 202.52/203.07 c #Conflicts: 357000 | #Constraints: 26125 202.52/203.07 c INPROCESSING 202.52/203.07 c GARBAGE COLLECT 202.52/203.07 c rational objective 55 210.98/211.58 c #Conflicts: 358000 | #Constraints: 15353 210.98/211.58 c #Conflicts: 359000 | #Constraints: 16353 210.98/211.58 c #Conflicts: 360000 | #Constraints: 17353 210.98/211.58 c #Conflicts: 361000 | #Constraints: 18353 210.98/211.58 c #Conflicts: 362000 | #Constraints: 19353 210.98/211.58 c #Conflicts: 363000 | #Constraints: 20353 210.98/211.58 c #Conflicts: 364000 | #Constraints: 21353 210.98/211.58 c #Conflicts: 365000 | #Constraints: 22353 210.98/211.58 c #Conflicts: 366000 | #Constraints: 23353 210.98/211.58 c #Conflicts: 367000 | #Constraints: 24353 210.98/211.58 c #Conflicts: 368000 | #Constraints: 25353 210.98/211.58 c #Conflicts: 369000 | #Constraints: 26353 210.98/211.58 c INPROCESSING 210.98/211.58 c GARBAGE COLLECT 210.98/211.58 c rational objective 55 220.26/220.85 c #Conflicts: 370000 | #Constraints: 15344 220.26/220.85 c #Conflicts: 371000 | #Constraints: 16344 220.26/220.85 c #Conflicts: 372000 | #Constraints: 17344 220.26/220.85 c #Conflicts: 373000 | #Constraints: 18344 220.26/220.85 c #Conflicts: 374000 | #Constraints: 19344 220.26/220.85 c #Conflicts: 375000 | #Constraints: 20344 220.26/220.85 c #Conflicts: 376000 | #Constraints: 21344 220.26/220.85 c #Conflicts: 377000 | #Constraints: 22344 220.26/220.85 c #Conflicts: 378000 | #Constraints: 23344 220.26/220.85 c #Conflicts: 379000 | #Constraints: 24344 220.26/220.85 c #Conflicts: 380000 | #Constraints: 25344 220.26/220.85 c #Conflicts: 381000 | #Constraints: 26344 220.26/220.85 c INPROCESSING 220.26/220.85 c GARBAGE COLLECT 220.26/220.85 c rational objective 55 231.33/231.97 c #Conflicts: 382000 | #Constraints: 15151 231.33/231.97 c #Conflicts: 383000 | #Constraints: 16151 231.33/231.97 c #Conflicts: 384000 | #Constraints: 17151 231.33/231.97 c #Conflicts: 385000 | #Constraints: 18151 231.33/231.97 c #Conflicts: 386000 | #Constraints: 19151 231.33/231.97 c #Conflicts: 387000 | #Constraints: 20151 231.33/231.97 c #Conflicts: 388000 | #Constraints: 21151 231.33/231.97 c #Conflicts: 389000 | #Constraints: 22151 231.33/231.97 c #Conflicts: 390000 | #Constraints: 23151 231.33/231.97 c #Conflicts: 391000 | #Constraints: 24151 231.33/231.97 c #Conflicts: 392000 | #Constraints: 25151 231.33/231.97 c #Conflicts: 393000 | #Constraints: 26151 231.33/231.97 c #Conflicts: 394000 | #Constraints: 27151 231.33/231.97 c INPROCESSING 231.33/231.97 c GARBAGE COLLECT 231.33/231.97 c rational objective 55 241.60/242.22 c #Conflicts: 395000 | #Constraints: 15762 241.60/242.22 c #Conflicts: 396000 | #Constraints: 16762 241.60/242.22 c #Conflicts: 397000 | #Constraints: 17762 241.60/242.22 c #Conflicts: 398000 | #Constraints: 18762 241.60/242.22 c #Conflicts: 399000 | #Constraints: 19762 241.60/242.22 c #Conflicts: 400000 | #Constraints: 20762 241.60/242.22 c #Conflicts: 401000 | #Constraints: 21762 241.60/242.22 c #Conflicts: 402000 | #Constraints: 22762 241.60/242.22 c #Conflicts: 403000 | #Constraints: 23762 241.60/242.22 c #Conflicts: 404000 | #Constraints: 24762 241.60/242.22 c #Conflicts: 405000 | #Constraints: 25762 241.60/242.22 c #Conflicts: 406000 | #Constraints: 26762 241.60/242.22 c #Conflicts: 407000 | #Constraints: 27762 241.60/242.22 c INPROCESSING 241.60/242.22 c GARBAGE COLLECT 241.60/242.22 c rational objective 55 252.67/253.33 c #Conflicts: 408000 | #Constraints: 16157 252.67/253.33 c #Conflicts: 409000 | #Constraints: 17157 252.67/253.33 c #Conflicts: 410000 | #Constraints: 18157 252.67/253.33 c #Conflicts: 411000 | #Constraints: 19157 252.67/253.33 c #Conflicts: 412000 | #Constraints: 20157 252.67/253.33 c #Conflicts: 413000 | #Constraints: 21157 252.67/253.33 c #Conflicts: 414000 | #Constraints: 22157 252.67/253.33 c #Conflicts: 415000 | #Constraints: 23157 252.67/253.33 c #Conflicts: 416000 | #Constraints: 24157 252.67/253.33 c #Conflicts: 417000 | #Constraints: 25157 252.67/253.33 c #Conflicts: 418000 | #Constraints: 26157 252.67/253.33 c #Conflicts: 419000 | #Constraints: 27157 252.67/253.33 c #Conflicts: 420000 | #Constraints: 28157 252.67/253.33 c INPROCESSING 252.67/253.33 c GARBAGE COLLECT 252.67/253.33 c rational objective 55 262.94/263.67 c #Conflicts: 421000 | #Constraints: 16350 262.94/263.67 c #Conflicts: 422000 | #Constraints: 17350 262.94/263.67 c #Conflicts: 423000 | #Constraints: 18350 262.94/263.67 c #Conflicts: 424000 | #Constraints: 19350 262.94/263.67 c #Conflicts: 425000 | #Constraints: 20350 262.94/263.67 c #Conflicts: 426000 | #Constraints: 21350 262.94/263.67 c #Conflicts: 427000 | #Constraints: 22350 262.94/263.67 c #Conflicts: 428000 | #Constraints: 23350 262.94/263.67 c #Conflicts: 429000 | #Constraints: 24350 262.94/263.67 c #Conflicts: 430000 | #Constraints: 25350 262.94/263.67 c #Conflicts: 431000 | #Constraints: 26350 262.94/263.67 c #Conflicts: 432000 | #Constraints: 27350 262.94/263.67 c #Conflicts: 433000 | #Constraints: 28350 262.94/263.67 c INPROCESSING 262.94/263.67 c GARBAGE COLLECT 262.94/263.67 c rational objective 55 277.81/278.56 c #Conflicts: 434000 | #Constraints: 16341 277.81/278.56 c #Conflicts: 435000 | #Constraints: 17341 277.81/278.56 c #Conflicts: 436000 | #Constraints: 18341 277.81/278.56 c #Conflicts: 437000 | #Constraints: 19341 277.81/278.56 c #Conflicts: 438000 | #Constraints: 20341 277.81/278.56 c #Conflicts: 439000 | #Constraints: 21341 277.81/278.56 c #Conflicts: 440000 | #Constraints: 22341 277.81/278.56 c #Conflicts: 441000 | #Constraints: 23341 277.81/278.56 c #Conflicts: 442000 | #Constraints: 24341 277.81/278.56 c #Conflicts: 443000 | #Constraints: 25341 277.81/278.56 c #Conflicts: 444000 | #Constraints: 26341 277.81/278.56 c #Conflicts: 445000 | #Constraints: 27341 277.81/278.56 c #Conflicts: 446000 | #Constraints: 28341 277.81/278.56 c INPROCESSING 277.81/278.56 c GARBAGE COLLECT 277.81/278.56 c rational objective 55 288.78/289.56 c #Conflicts: 447000 | #Constraints: 16140 288.78/289.56 c #Conflicts: 448000 | #Constraints: 17140 288.78/289.56 c #Conflicts: 449000 | #Constraints: 18140 288.78/289.56 c #Conflicts: 450000 | #Constraints: 19140 288.78/289.56 c #Conflicts: 451000 | #Constraints: 20140 288.78/289.56 c #Conflicts: 452000 | #Constraints: 21140 288.78/289.56 c #Conflicts: 453000 | #Constraints: 22140 288.78/289.56 c #Conflicts: 454000 | #Constraints: 23140 288.78/289.56 c #Conflicts: 455000 | #Constraints: 24140 288.78/289.56 c #Conflicts: 456000 | #Constraints: 25140 288.78/289.56 c #Conflicts: 457000 | #Constraints: 26140 288.78/289.56 c #Conflicts: 458000 | #Constraints: 27140 288.78/289.56 c #Conflicts: 459000 | #Constraints: 28140 288.78/289.56 c #Conflicts: 460000 | #Constraints: 29140 288.78/289.56 c INPROCESSING 288.78/289.56 c GARBAGE COLLECT 288.78/289.56 c rational objective 55 302.64/303.48 c #Conflicts: 461000 | #Constraints: 16740 302.64/303.48 c #Conflicts: 462000 | #Constraints: 17740 302.64/303.48 c #Conflicts: 463000 | #Constraints: 18740 302.64/303.48 c #Conflicts: 464000 | #Constraints: 19740 302.64/303.48 c #Conflicts: 465000 | #Constraints: 20740 302.64/303.48 c #Conflicts: 466000 | #Constraints: 21740 302.64/303.48 c #Conflicts: 467000 | #Constraints: 22740 302.64/303.48 c #Conflicts: 468000 | #Constraints: 23740 302.64/303.48 c #Conflicts: 469000 | #Constraints: 24740 302.64/303.48 c #Conflicts: 470000 | #Constraints: 25740 302.64/303.48 c #Conflicts: 471000 | #Constraints: 26740 302.64/303.48 c #Conflicts: 472000 | #Constraints: 27740 302.64/303.48 c #Conflicts: 473000 | #Constraints: 28740 302.64/303.48 c #Conflicts: 474000 | #Constraints: 29740 302.64/303.48 c INPROCESSING 302.64/303.48 c GARBAGE COLLECT 302.64/303.48 c rational objective 55 314.91/315.70 c #Conflicts: 475000 | #Constraints: 17154 314.91/315.70 c #Conflicts: 476000 | #Constraints: 18154 314.91/315.70 c #Conflicts: 477000 | #Constraints: 19154 314.91/315.70 c #Conflicts: 478000 | #Constraints: 20154 314.91/315.70 c #Conflicts: 479000 | #Constraints: 21154 314.91/315.70 c #Conflicts: 480000 | #Constraints: 22154 314.91/315.70 c #Conflicts: 481000 | #Constraints: 23154 314.91/315.70 c #Conflicts: 482000 | #Constraints: 24154 314.91/315.70 c #Conflicts: 483000 | #Constraints: 25154 314.91/315.70 c #Conflicts: 484000 | #Constraints: 26154 314.91/315.70 c #Conflicts: 485000 | #Constraints: 27154 314.91/315.70 c #Conflicts: 486000 | #Constraints: 28154 314.91/315.70 c #Conflicts: 487000 | #Constraints: 29154 314.91/315.70 c #Conflicts: 488000 | #Constraints: 30154 314.91/315.70 c INPROCESSING 314.91/315.70 c GARBAGE COLLECT 314.91/315.70 c rational objective 55 336.45/337.37 c #Conflicts: 489000 | #Constraints: 17356 336.45/337.37 c #Conflicts: 490000 | #Constraints: 18356 336.45/337.37 c #Conflicts: 491000 | #Constraints: 19356 336.45/337.37 c #Conflicts: 492000 | #Constraints: 20356 336.45/337.37 c #Conflicts: 493000 | #Constraints: 21356 336.45/337.37 c #Conflicts: 494000 | #Constraints: 22356 336.45/337.37 c #Conflicts: 495000 | #Constraints: 23356 336.45/337.37 c #Conflicts: 496000 | #Constraints: 24356 336.45/337.37 c #Conflicts: 497000 | #Constraints: 25356 336.45/337.37 c #Conflicts: 498000 | #Constraints: 26356 336.45/337.37 c #Conflicts: 499000 | #Constraints: 27356 336.45/337.37 c #Conflicts: 500000 | #Constraints: 28356 336.45/337.37 c #Conflicts: 501000 | #Constraints: 29356 336.45/337.37 c #Conflicts: 502000 | #Constraints: 30356 336.45/337.37 c INPROCESSING 336.45/337.37 c GARBAGE COLLECT 336.45/337.37 c rational objective 55 348.24/349.17 c #Conflicts: 503000 | #Constraints: 17361 348.24/349.17 c #Conflicts: 504000 | #Constraints: 18361 348.24/349.17 c #Conflicts: 505000 | #Constraints: 19361 348.24/349.17 c #Conflicts: 506000 | #Constraints: 20361 348.24/349.17 c #Conflicts: 507000 | #Constraints: 21361 348.24/349.17 c #Conflicts: 508000 | #Constraints: 22361 348.24/349.17 c #Conflicts: 509000 | #Constraints: 23361 348.24/349.17 c #Conflicts: 510000 | #Constraints: 24361 348.24/349.17 c #Conflicts: 511000 | #Constraints: 25361 348.24/349.17 c #Conflicts: 512000 | #Constraints: 26361 348.24/349.17 c #Conflicts: 513000 | #Constraints: 27361 348.24/349.17 c #Conflicts: 514000 | #Constraints: 28361 348.24/349.17 c #Conflicts: 515000 | #Constraints: 29361 348.24/349.17 c #Conflicts: 516000 | #Constraints: 30361 348.24/349.17 c INPROCESSING 348.24/349.17 c GARBAGE COLLECT 348.24/349.17 c rational objective 55 361.39/362.31 c #Conflicts: 517000 | #Constraints: 17140 361.39/362.31 c #Conflicts: 518000 | #Constraints: 18140 361.39/362.31 c #Conflicts: 519000 | #Constraints: 19140 361.39/362.31 c #Conflicts: 520000 | #Constraints: 20140 361.39/362.31 c #Conflicts: 521000 | #Constraints: 21140 361.39/362.31 c #Conflicts: 522000 | #Constraints: 22140 361.39/362.31 c #Conflicts: 523000 | #Constraints: 23140 361.39/362.31 c #Conflicts: 524000 | #Constraints: 24140 361.39/362.31 c #Conflicts: 525000 | #Constraints: 25140 361.39/362.31 c #Conflicts: 526000 | #Constraints: 26140 361.39/362.31 c #Conflicts: 527000 | #Constraints: 27140 361.39/362.31 c #Conflicts: 528000 | #Constraints: 28140 361.39/362.31 c #Conflicts: 529000 | #Constraints: 29140 361.39/362.31 c #Conflicts: 530000 | #Constraints: 30140 361.39/362.31 c #Conflicts: 531000 | #Constraints: 31140 361.39/362.31 c INPROCESSING 361.39/362.31 c GARBAGE COLLECT 361.39/362.31 c rational objective 55 377.25/378.21 c #Conflicts: 532000 | #Constraints: 17728 377.25/378.21 c #Conflicts: 533000 | #Constraints: 18728 377.25/378.21 c #Conflicts: 534000 | #Constraints: 19728 377.25/378.21 c #Conflicts: 535000 | #Constraints: 20728 377.25/378.21 c #Conflicts: 536000 | #Constraints: 21728 377.25/378.21 c #Conflicts: 537000 | #Constraints: 22728 377.25/378.21 c #Conflicts: 538000 | #Constraints: 23728 377.25/378.21 c #Conflicts: 539000 | #Constraints: 24728 377.25/378.21 c #Conflicts: 540000 | #Constraints: 25728 377.25/378.21 c #Conflicts: 541000 | #Constraints: 26728 377.25/378.21 c #Conflicts: 542000 | #Constraints: 27728 377.25/378.21 c #Conflicts: 543000 | #Constraints: 28728 377.25/378.21 c #Conflicts: 544000 | #Constraints: 29728 377.25/378.21 c #Conflicts: 545000 | #Constraints: 30728 377.25/378.21 c #Conflicts: 546000 | #Constraints: 31728 377.25/378.21 c INPROCESSING 377.25/378.21 c GARBAGE COLLECT 377.25/378.21 c rational objective 55 390.81/391.83 c #Conflicts: 547000 | #Constraints: 18140 390.81/391.83 c #Conflicts: 548000 | #Constraints: 19140 390.81/391.83 c #Conflicts: 549000 | #Constraints: 20140 390.81/391.83 c #Conflicts: 550000 | #Constraints: 21140 390.81/391.83 c #Conflicts: 551000 | #Constraints: 22140 390.81/391.83 c #Conflicts: 552000 | #Constraints: 23140 390.81/391.83 c #Conflicts: 553000 | #Constraints: 24140 390.81/391.83 c #Conflicts: 554000 | #Constraints: 25140 390.81/391.83 c #Conflicts: 555000 | #Constraints: 26140 390.81/391.83 c #Conflicts: 556000 | #Constraints: 27140 390.81/391.83 c #Conflicts: 557000 | #Constraints: 28140 390.81/391.83 c #Conflicts: 558000 | #Constraints: 29140 390.81/391.83 c #Conflicts: 559000 | #Constraints: 30140 390.81/391.83 c #Conflicts: 560000 | #Constraints: 31140 390.81/391.83 c #Conflicts: 561000 | #Constraints: 32140 390.81/391.83 c INPROCESSING 390.81/391.83 c GARBAGE COLLECT 390.81/391.83 c rational objective 55 409.26/410.35 c #Conflicts: 562000 | #Constraints: 18330 409.26/410.35 c #Conflicts: 563000 | #Constraints: 19330 409.26/410.35 c #Conflicts: 564000 | #Constraints: 20330 409.26/410.35 c #Conflicts: 565000 | #Constraints: 21330 409.26/410.35 c #Conflicts: 566000 | #Constraints: 22330 409.26/410.35 c #Conflicts: 567000 | #Constraints: 23330 409.26/410.35 c #Conflicts: 568000 | #Constraints: 24330 409.26/410.35 c #Conflicts: 569000 | #Constraints: 25330 409.26/410.35 c #Conflicts: 570000 | #Constraints: 26330 409.26/410.35 c #Conflicts: 571000 | #Constraints: 27330 409.26/410.35 c #Conflicts: 572000 | #Constraints: 28330 409.26/410.35 c #Conflicts: 573000 | #Constraints: 29330 409.26/410.35 c #Conflicts: 574000 | #Constraints: 30330 409.26/410.35 c #Conflicts: 575000 | #Constraints: 31330 409.26/410.35 c #Conflicts: 576000 | #Constraints: 32330 409.26/410.35 c INPROCESSING 409.26/410.35 c GARBAGE COLLECT 409.26/410.35 c rational objective 55 423.82/424.99 c #Conflicts: 577000 | #Constraints: 18336 423.82/424.99 c #Conflicts: 578000 | #Constraints: 19336 423.82/424.99 c #Conflicts: 579000 | #Constraints: 20336 423.82/424.99 c #Conflicts: 580000 | #Constraints: 21336 423.82/424.99 c #Conflicts: 581000 | #Constraints: 22336 423.82/424.99 c #Conflicts: 582000 | #Constraints: 23336 423.82/424.99 c #Conflicts: 583000 | #Constraints: 24336 423.82/424.99 c #Conflicts: 584000 | #Constraints: 25336 423.82/424.99 c #Conflicts: 585000 | #Constraints: 26336 423.82/424.99 c #Conflicts: 586000 | #Constraints: 27336 423.82/424.99 c #Conflicts: 587000 | #Constraints: 28336 423.82/424.99 c #Conflicts: 588000 | #Constraints: 29336 423.82/424.99 c #Conflicts: 589000 | #Constraints: 30336 423.82/424.99 c #Conflicts: 590000 | #Constraints: 31336 423.82/424.99 c #Conflicts: 591000 | #Constraints: 32336 423.82/424.99 c INPROCESSING 423.82/424.99 c GARBAGE COLLECT 423.82/424.99 c rational objective 55 439.68/440.81 c #Conflicts: 592000 | #Constraints: 18138 439.68/440.81 c #Conflicts: 593000 | #Constraints: 19138 439.68/440.81 c #Conflicts: 594000 | #Constraints: 20138 439.68/440.81 c #Conflicts: 595000 | #Constraints: 21138 439.68/440.81 c #Conflicts: 596000 | #Constraints: 22138 439.68/440.81 c #Conflicts: 597000 | #Constraints: 23138 439.68/440.81 c #Conflicts: 598000 | #Constraints: 24138 439.68/440.81 c #Conflicts: 599000 | #Constraints: 25138 439.68/440.81 c #Conflicts: 600000 | #Constraints: 26138 439.68/440.81 c #Conflicts: 601000 | #Constraints: 27138 439.68/440.81 c #Conflicts: 602000 | #Constraints: 28138 439.68/440.81 c #Conflicts: 603000 | #Constraints: 29138 439.68/440.81 c #Conflicts: 604000 | #Constraints: 30138 439.68/440.81 c #Conflicts: 605000 | #Constraints: 31138 439.68/440.81 c #Conflicts: 606000 | #Constraints: 32138 439.68/440.81 c #Conflicts: 607000 | #Constraints: 33138 439.68/440.81 c INPROCESSING 439.68/440.81 c GARBAGE COLLECT 439.68/440.81 c rational objective 55 462.52/463.75 c #Conflicts: 608000 | #Constraints: 18751 462.52/463.75 c #Conflicts: 609000 | #Constraints: 19751 462.52/463.75 c #Conflicts: 610000 | #Constraints: 20751 462.52/463.75 c #Conflicts: 611000 | #Constraints: 21751 462.52/463.75 c #Conflicts: 612000 | #Constraints: 22751 462.52/463.75 c #Conflicts: 613000 | #Constraints: 23751 462.52/463.75 c #Conflicts: 614000 | #Constraints: 24751 462.52/463.75 c #Conflicts: 615000 | #Constraints: 25751 462.52/463.75 c #Conflicts: 616000 | #Constraints: 26751 462.52/463.75 c #Conflicts: 617000 | #Constraints: 27751 462.52/463.75 c #Conflicts: 618000 | #Constraints: 28751 462.52/463.75 c #Conflicts: 619000 | #Constraints: 29751 462.52/463.75 c #Conflicts: 620000 | #Constraints: 30751 462.52/463.75 c #Conflicts: 621000 | #Constraints: 31751 462.52/463.75 c #Conflicts: 622000 | #Constraints: 32751 462.52/463.75 c #Conflicts: 623000 | #Constraints: 33751 462.52/463.75 c INPROCESSING 462.52/463.75 c GARBAGE COLLECT 462.52/463.75 c rational objective 55 477.98/479.29 c #Conflicts: 624000 | #Constraints: 19187 477.98/479.29 c #Conflicts: 625000 | #Constraints: 20187 477.98/479.29 c #Conflicts: 626000 | #Constraints: 21187 477.98/479.29 c #Conflicts: 627000 | #Constraints: 22187 477.98/479.29 c #Conflicts: 628000 | #Constraints: 23187 477.98/479.29 c #Conflicts: 629000 | #Constraints: 24187 477.98/479.29 c #Conflicts: 630000 | #Constraints: 25187 477.98/479.29 c #Conflicts: 631000 | #Constraints: 26187 477.98/479.29 c #Conflicts: 632000 | #Constraints: 27187 477.98/479.29 c #Conflicts: 633000 | #Constraints: 28187 477.98/479.29 c #Conflicts: 634000 | #Constraints: 29187 477.98/479.29 c #Conflicts: 635000 | #Constraints: 30187 477.98/479.29 c #Conflicts: 636000 | #Constraints: 31187 477.98/479.29 c #Conflicts: 637000 | #Constraints: 32187 477.98/479.29 c #Conflicts: 638000 | #Constraints: 33187 477.98/479.29 c #Conflicts: 639000 | #Constraints: 34187 477.98/479.29 c INPROCESSING 477.98/479.29 c GARBAGE COLLECT 477.98/479.29 c rational objective 55 500.42/501.73 c #Conflicts: 640000 | #Constraints: 19380 500.42/501.73 c #Conflicts: 641000 | #Constraints: 20380 500.42/501.73 c #Conflicts: 642000 | #Constraints: 21380 500.42/501.73 c #Conflicts: 643000 | #Constraints: 22380 500.42/501.73 c #Conflicts: 644000 | #Constraints: 23380 500.42/501.73 c #Conflicts: 645000 | #Constraints: 24380 500.42/501.73 c #Conflicts: 646000 | #Constraints: 25380 500.42/501.73 c #Conflicts: 647000 | #Constraints: 26380 500.42/501.73 c #Conflicts: 648000 | #Constraints: 27380 500.42/501.73 c #Conflicts: 649000 | #Constraints: 28380 500.42/501.73 c #Conflicts: 650000 | #Constraints: 29380 500.42/501.73 c #Conflicts: 651000 | #Constraints: 30381 500.42/501.73 c #Conflicts: 652000 | #Constraints: 31381 500.42/501.73 c #Conflicts: 653000 | #Constraints: 32381 500.42/501.73 c #Conflicts: 654000 | #Constraints: 33381 500.42/501.73 c #Conflicts: 655000 | #Constraints: 34381 500.42/501.73 c INPROCESSING 500.42/501.73 c GARBAGE COLLECT 500.42/501.73 c rational objective 55 517.78/519.16 c #Conflicts: 656000 | #Constraints: 19407 517.78/519.16 c #Conflicts: 657000 | #Constraints: 20407 517.78/519.16 c #Conflicts: 658000 | #Constraints: 21407 517.78/519.16 c #Conflicts: 659000 | #Constraints: 22407 517.78/519.16 c #Conflicts: 660000 | #Constraints: 23407 517.78/519.16 c #Conflicts: 661000 | #Constraints: 24407 517.78/519.16 c #Conflicts: 662000 | #Constraints: 25407 517.78/519.16 c #Conflicts: 663000 | #Constraints: 26407 517.78/519.16 c #Conflicts: 664000 | #Constraints: 27407 517.78/519.16 c #Conflicts: 665000 | #Constraints: 28407 517.78/519.16 c #Conflicts: 666000 | #Constraints: 29407 517.78/519.16 c #Conflicts: 667000 | #Constraints: 30407 517.78/519.16 c #Conflicts: 668000 | #Constraints: 31407 517.78/519.16 c #Conflicts: 669000 | #Constraints: 32407 517.78/519.16 c #Conflicts: 670000 | #Constraints: 33407 517.78/519.16 c #Conflicts: 671000 | #Constraints: 34407 517.78/519.16 c INPROCESSING 517.78/519.16 c GARBAGE COLLECT 517.78/519.16 c rational objective 55 540.31/541.72 c #Conflicts: 672000 | #Constraints: 19178 540.31/541.72 c #Conflicts: 673000 | #Constraints: 20178 540.31/541.72 c #Conflicts: 674000 | #Constraints: 21178 540.31/541.72 c #Conflicts: 675000 | #Constraints: 22178 540.31/541.72 c #Conflicts: 676000 | #Constraints: 23178 540.31/541.72 c #Conflicts: 677000 | #Constraints: 24178 540.31/541.72 c #Conflicts: 678000 | #Constraints: 25178 540.31/541.72 c #Conflicts: 679000 | #Constraints: 26178 540.31/541.72 c #Conflicts: 680000 | #Constraints: 27178 540.31/541.72 c #Conflicts: 681000 | #Constraints: 28178 540.31/541.72 c #Conflicts: 682000 | #Constraints: 29178 540.31/541.72 c #Conflicts: 683000 | #Constraints: 30178 540.31/541.72 c #Conflicts: 684000 | #Constraints: 31178 540.31/541.72 c #Conflicts: 685000 | #Constraints: 32178 540.31/541.72 c #Conflicts: 686000 | #Constraints: 33178 540.31/541.72 c #Conflicts: 687000 | #Constraints: 34178 540.31/541.72 c #Conflicts: 688000 | #Constraints: 35178 540.31/541.72 c INPROCESSING 540.31/541.72 c GARBAGE COLLECT 540.31/541.72 c rational objective 55 557.76/559.25 c #Conflicts: 689000 | #Constraints: 19767 557.76/559.25 c #Conflicts: 690000 | #Constraints: 20767 557.76/559.25 c #Conflicts: 691000 | #Constraints: 21767 557.76/559.25 c #Conflicts: 692000 | #Constraints: 22767 557.76/559.25 c #Conflicts: 693000 | #Constraints: 23767 557.76/559.25 c #Conflicts: 694000 | #Constraints: 24767 557.76/559.25 c #Conflicts: 695000 | #Constraints: 25767 557.76/559.25 c #Conflicts: 696000 | #Constraints: 26767 557.76/559.25 c #Conflicts: 697000 | #Constraints: 27767 557.76/559.25 c #Conflicts: 698000 | #Constraints: 28767 557.76/559.25 c #Conflicts: 699000 | #Constraints: 29767 557.76/559.25 c #Conflicts: 700000 | #Constraints: 30767 557.76/559.25 c #Conflicts: 701000 | #Constraints: 31767 557.76/559.25 c #Conflicts: 702000 | #Constraints: 32767 557.76/559.25 c #Conflicts: 703000 | #Constraints: 33767 557.76/559.25 c #Conflicts: 704000 | #Constraints: 34767 557.76/559.25 c #Conflicts: 705000 | #Constraints: 35767 557.76/559.25 c INPROCESSING 557.76/559.25 c GARBAGE COLLECT 557.76/559.25 c rational objective 55 594.36/595.95 c #Conflicts: 706000 | #Constraints: 20148 594.36/595.95 c #Conflicts: 707000 | #Constraints: 21148 594.36/595.95 c #Conflicts: 708000 | #Constraints: 22148 594.36/595.95 c #Conflicts: 709000 | #Constraints: 23148 594.36/595.95 c #Conflicts: 710000 | #Constraints: 24148 594.36/595.95 c #Conflicts: 711000 | #Constraints: 25148 594.36/595.95 c #Conflicts: 712000 | #Constraints: 26148 594.36/595.95 c #Conflicts: 713000 | #Constraints: 27148 594.36/595.95 c #Conflicts: 714000 | #Constraints: 28148 594.36/595.95 c #Conflicts: 715000 | #Constraints: 29148 594.36/595.95 c #Conflicts: 716000 | #Constraints: 30148 594.36/595.95 c #Conflicts: 717000 | #Constraints: 31148 594.36/595.95 c #Conflicts: 718000 | #Constraints: 32148 594.36/595.95 c #Conflicts: 719000 | #Constraints: 33148 594.36/595.95 c #Conflicts: 720000 | #Constraints: 34148 594.36/595.95 c #Conflicts: 721000 | #Constraints: 35148 594.36/595.95 c #Conflicts: 722000 | #Constraints: 36148 594.36/595.95 c INPROCESSING 594.36/595.95 c GARBAGE COLLECT 594.36/595.95 c rational objective 55 614.61/616.23 c #Conflicts: 723000 | #Constraints: 20378 614.61/616.23 c #Conflicts: 724000 | #Constraints: 21378 614.61/616.23 c #Conflicts: 725000 | #Constraints: 22378 614.61/616.23 c #Conflicts: 726000 | #Constraints: 23378 614.61/616.23 c #Conflicts: 727000 | #Constraints: 24378 614.61/616.23 c #Conflicts: 728000 | #Constraints: 25378 614.61/616.23 c #Conflicts: 729000 | #Constraints: 26378 614.61/616.23 c #Conflicts: 730000 | #Constraints: 27378 614.61/616.23 c #Conflicts: 731000 | #Constraints: 28378 614.61/616.23 c #Conflicts: 732000 | #Constraints: 29378 614.61/616.23 c #Conflicts: 733000 | #Constraints: 30378 614.61/616.23 c #Conflicts: 734000 | #Constraints: 31378 614.61/616.23 c #Conflicts: 735000 | #Constraints: 32378 614.61/616.23 c #Conflicts: 736000 | #Constraints: 33378 614.61/616.23 c #Conflicts: 737000 | #Constraints: 34378 614.61/616.23 c #Conflicts: 738000 | #Constraints: 35378 614.61/616.23 c #Conflicts: 739000 | #Constraints: 36378 614.61/616.23 c INPROCESSING 614.61/616.23 c GARBAGE COLLECT 614.61/616.23 c rational objective 55 635.25/637.00 c #Conflicts: 740000 | #Constraints: 20375 635.25/637.00 c #Conflicts: 741000 | #Constraints: 21375 635.25/637.00 c #Conflicts: 742000 | #Constraints: 22375 635.25/637.00 c #Conflicts: 743000 | #Constraints: 23375 635.25/637.00 c #Conflicts: 744000 | #Constraints: 24375 635.25/637.00 c #Conflicts: 745000 | #Constraints: 25375 635.25/637.00 c #Conflicts: 746000 | #Constraints: 26375 635.25/637.00 c #Conflicts: 747000 | #Constraints: 27375 635.25/637.00 c #Conflicts: 748000 | #Constraints: 28375 635.25/637.00 c #Conflicts: 749000 | #Constraints: 29375 635.25/637.00 c #Conflicts: 750000 | #Constraints: 30375 635.25/637.00 c #Conflicts: 751000 | #Constraints: 31375 635.25/637.00 c #Conflicts: 752000 | #Constraints: 32375 635.25/637.00 c #Conflicts: 753000 | #Constraints: 33375 635.25/637.00 c #Conflicts: 754000 | #Constraints: 34375 635.25/637.00 c #Conflicts: 755000 | #Constraints: 35375 635.25/637.00 c #Conflicts: 756000 | #Constraints: 36375 635.25/637.00 c INPROCESSING 635.25/637.00 c GARBAGE COLLECT 635.25/637.00 c rational objective 55 668.86/670.60 c #Conflicts: 757000 | #Constraints: 20180 668.86/670.60 c #Conflicts: 758000 | #Constraints: 21180 668.86/670.60 c #Conflicts: 759000 | #Constraints: 22180 668.86/670.60 c #Conflicts: 760000 | #Constraints: 23180 668.86/670.60 c #Conflicts: 761000 | #Constraints: 24180 668.86/670.60 c #Conflicts: 762000 | #Constraints: 25180 668.86/670.60 c #Conflicts: 763000 | #Constraints: 26180 668.86/670.60 c #Conflicts: 764000 | #Constraints: 27180 668.86/670.60 c #Conflicts: 765000 | #Constraints: 28180 668.86/670.60 c #Conflicts: 766000 | #Constraints: 29180 668.86/670.60 c #Conflicts: 767000 | #Constraints: 30180 668.86/670.60 c #Conflicts: 768000 | #Constraints: 31180 668.86/670.60 c #Conflicts: 769000 | #Constraints: 32180 668.86/670.60 c #Conflicts: 770000 | #Constraints: 33180 668.86/670.60 c #Conflicts: 771000 | #Constraints: 34180 668.86/670.60 c #Conflicts: 772000 | #Constraints: 35180 668.86/670.60 c #Conflicts: 773000 | #Constraints: 36180 668.86/670.60 c #Conflicts: 774000 | #Constraints: 37180 668.86/670.60 c INPROCESSING 668.86/670.60 c GARBAGE COLLECT 668.86/670.60 c rational objective 55 690.33/692.15 c #Conflicts: 775000 | #Constraints: 20787 690.33/692.15 c #Conflicts: 776000 | #Constraints: 21787 690.33/692.15 c #Conflicts: 777000 | #Constraints: 22787 690.33/692.15 c #Conflicts: 778000 | #Constraints: 23787 690.33/692.15 c #Conflicts: 779000 | #Constraints: 24787 690.33/692.15 c #Conflicts: 780000 | #Constraints: 25787 690.33/692.15 c #Conflicts: 781000 | #Constraints: 26787 690.33/692.15 c #Conflicts: 782000 | #Constraints: 27787 690.33/692.15 c #Conflicts: 783000 | #Constraints: 28787 690.33/692.15 c #Conflicts: 784000 | #Constraints: 29787 690.33/692.15 c #Conflicts: 785000 | #Constraints: 30787 690.33/692.15 c #Conflicts: 786000 | #Constraints: 31787 690.33/692.15 c #Conflicts: 787000 | #Constraints: 32787 690.33/692.15 c #Conflicts: 788000 | #Constraints: 33787 690.33/692.15 c #Conflicts: 789000 | #Constraints: 34787 690.33/692.15 c #Conflicts: 790000 | #Constraints: 35787 690.33/692.15 c #Conflicts: 791000 | #Constraints: 36787 690.33/692.15 c #Conflicts: 792000 | #Constraints: 37787 690.33/692.15 c INPROCESSING 690.33/692.15 c GARBAGE COLLECT 690.33/692.15 c rational objective 55 710.85/712.78 c #Conflicts: 793000 | #Constraints: 21166 710.85/712.78 c #Conflicts: 794000 | #Constraints: 22166 710.85/712.78 c #Conflicts: 795000 | #Constraints: 23166 710.85/712.78 c #Conflicts: 796000 | #Constraints: 24166 710.85/712.78 c #Conflicts: 797000 | #Constraints: 25166 710.85/712.78 c #Conflicts: 798000 | #Constraints: 26166 710.85/712.78 c #Conflicts: 799000 | #Constraints: 27166 710.85/712.78 c #Conflicts: 800000 | #Constraints: 28166 710.85/712.78 c #Conflicts: 801000 | #Constraints: 29166 710.85/712.78 c #Conflicts: 802000 | #Constraints: 30166 710.85/712.78 c #Conflicts: 803000 | #Constraints: 31166 710.85/712.78 c #Conflicts: 804000 | #Constraints: 32166 710.85/712.78 c #Conflicts: 805000 | #Constraints: 33166 710.85/712.78 c #Conflicts: 806000 | #Constraints: 34166 710.85/712.78 c #Conflicts: 807000 | #Constraints: 35166 710.85/712.78 c #Conflicts: 808000 | #Constraints: 36166 710.85/712.78 c #Conflicts: 809000 | #Constraints: 37166 710.85/712.78 c #Conflicts: 810000 | #Constraints: 38166 710.85/712.78 c INPROCESSING 710.85/712.78 c GARBAGE COLLECT 710.85/712.78 c rational objective 55 749.25/751.28 c #Conflicts: 811000 | #Constraints: 21371 749.25/751.28 c #Conflicts: 812000 | #Constraints: 22371 749.25/751.28 c #Conflicts: 813000 | #Constraints: 23371 749.25/751.28 c #Conflicts: 814000 | #Constraints: 24371 749.25/751.28 c #Conflicts: 815000 | #Constraints: 25371 749.25/751.28 c #Conflicts: 816000 | #Constraints: 26371 749.25/751.28 c #Conflicts: 817000 | #Constraints: 27371 749.25/751.28 c #Conflicts: 818000 | #Constraints: 28371 749.25/751.28 c #Conflicts: 819000 | #Constraints: 29371 749.25/751.28 c #Conflicts: 820000 | #Constraints: 30371 749.25/751.28 c #Conflicts: 821000 | #Constraints: 31371 749.25/751.28 c #Conflicts: 822000 | #Constraints: 32371 749.25/751.28 c #Conflicts: 823000 | #Constraints: 33371 749.25/751.28 c #Conflicts: 824000 | #Constraints: 34371 749.25/751.28 c #Conflicts: 825000 | #Constraints: 35371 749.25/751.28 c #Conflicts: 826000 | #Constraints: 36371 749.25/751.28 c #Conflicts: 827000 | #Constraints: 37371 749.25/751.28 c #Conflicts: 828000 | #Constraints: 38371 749.25/751.28 c INPROCESSING 749.25/751.28 c GARBAGE COLLECT 749.25/751.28 c rational objective 55 770.59/772.68 c #Conflicts: 829000 | #Constraints: 21363 770.59/772.68 c #Conflicts: 830000 | #Constraints: 22363 770.59/772.68 c #Conflicts: 831000 | #Constraints: 23363 770.59/772.68 c #Conflicts: 832000 | #Constraints: 24363 770.59/772.68 c #Conflicts: 833000 | #Constraints: 25363 770.59/772.68 c #Conflicts: 834000 | #Constraints: 26363 770.59/772.68 c #Conflicts: 835000 | #Constraints: 27363 770.59/772.68 c #Conflicts: 836000 | #Constraints: 28363 770.59/772.68 c #Conflicts: 837000 | #Constraints: 29363 770.59/772.68 c #Conflicts: 838000 | #Constraints: 30363 770.59/772.68 c #Conflicts: 839000 | #Constraints: 31363 770.59/772.68 c #Conflicts: 840000 | #Constraints: 32363 770.59/772.68 c #Conflicts: 841000 | #Constraints: 33363 770.59/772.68 c #Conflicts: 842000 | #Constraints: 34363 770.59/772.68 c #Conflicts: 843000 | #Constraints: 35363 770.59/772.68 c #Conflicts: 844000 | #Constraints: 36363 770.59/772.68 c #Conflicts: 845000 | #Constraints: 37363 770.59/772.68 c #Conflicts: 846000 | #Constraints: 38363 770.59/772.68 c INPROCESSING 770.59/772.68 c GARBAGE COLLECT 770.59/772.68 c rational objective 55 806.50/808.61 c #Conflicts: 847000 | #Constraints: 21151 806.50/808.61 c #Conflicts: 848000 | #Constraints: 22151 806.50/808.61 c #Conflicts: 849000 | #Constraints: 23151 806.50/808.61 c #Conflicts: 850000 | #Constraints: 24151 806.50/808.61 c #Conflicts: 851000 | #Constraints: 25151 806.50/808.61 c #Conflicts: 852000 | #Constraints: 26151 806.50/808.61 c #Conflicts: 853000 | #Constraints: 27151 806.50/808.61 c #Conflicts: 854000 | #Constraints: 28151 806.50/808.61 c #Conflicts: 855000 | #Constraints: 29151 806.50/808.61 c #Conflicts: 856000 | #Constraints: 30151 806.50/808.61 c #Conflicts: 857000 | #Constraints: 31151 806.50/808.61 c #Conflicts: 858000 | #Constraints: 32151 806.50/808.61 c #Conflicts: 859000 | #Constraints: 33151 806.50/808.61 c #Conflicts: 860000 | #Constraints: 34151 806.50/808.61 c #Conflicts: 861000 | #Constraints: 35151 806.50/808.61 c #Conflicts: 862000 | #Constraints: 36151 806.50/808.61 c #Conflicts: 863000 | #Constraints: 37151 806.50/808.61 c #Conflicts: 864000 | #Constraints: 38151 806.50/808.61 c #Conflicts: 865000 | #Constraints: 39151 806.50/808.61 c INPROCESSING 806.50/808.61 c GARBAGE COLLECT 806.50/808.61 c rational objective 55 829.64/831.84 c #Conflicts: 866000 | #Constraints: 21788 829.64/831.84 c #Conflicts: 867000 | #Constraints: 22788 829.64/831.84 c #Conflicts: 868000 | #Constraints: 23788 829.64/831.84 c #Conflicts: 869000 | #Constraints: 24788 829.64/831.84 c #Conflicts: 870000 | #Constraints: 25788 829.64/831.84 c #Conflicts: 871000 | #Constraints: 26788 829.64/831.84 c #Conflicts: 872000 | #Constraints: 27788 829.64/831.84 c #Conflicts: 873000 | #Constraints: 28788 829.64/831.84 c #Conflicts: 874000 | #Constraints: 29788 829.64/831.84 c #Conflicts: 875000 | #Constraints: 30788 829.64/831.84 c #Conflicts: 876000 | #Constraints: 31788 829.64/831.84 c #Conflicts: 877000 | #Constraints: 32788 829.64/831.84 c #Conflicts: 878000 | #Constraints: 33788 829.64/831.84 c #Conflicts: 879000 | #Constraints: 34788 829.64/831.84 c #Conflicts: 880000 | #Constraints: 35788 829.64/831.84 c #Conflicts: 881000 | #Constraints: 36788 829.64/831.84 c #Conflicts: 882000 | #Constraints: 37788 829.64/831.84 c #Conflicts: 883000 | #Constraints: 38788 829.64/831.84 c #Conflicts: 884000 | #Constraints: 39788 829.64/831.84 c INPROCESSING 829.64/831.84 c GARBAGE COLLECT 829.64/831.84 c rational objective 55 854.08/856.32 c #Conflicts: 885000 | #Constraints: 22176 854.08/856.32 c #Conflicts: 886000 | #Constraints: 23176 854.08/856.32 c #Conflicts: 887000 | #Constraints: 24176 854.08/856.32 c #Conflicts: 888000 | #Constraints: 25176 854.08/856.32 c #Conflicts: 889000 | #Constraints: 26176 854.08/856.32 c #Conflicts: 890000 | #Constraints: 27176 854.08/856.32 c #Conflicts: 891000 | #Constraints: 28176 854.08/856.32 c #Conflicts: 892000 | #Constraints: 29176 854.08/856.32 c #Conflicts: 893000 | #Constraints: 30176 854.08/856.32 c #Conflicts: 894000 | #Constraints: 31176 854.08/856.32 c #Conflicts: 895000 | #Constraints: 32176 854.08/856.32 c #Conflicts: 896000 | #Constraints: 33176 854.08/856.32 c #Conflicts: 897000 | #Constraints: 34176 854.08/856.32 c #Conflicts: 898000 | #Constraints: 35176 854.08/856.32 c #Conflicts: 899000 | #Constraints: 36176 854.08/856.32 c #Conflicts: 900000 | #Constraints: 37176 854.08/856.32 c #Conflicts: 901000 | #Constraints: 38176 854.08/856.32 c #Conflicts: 902000 | #Constraints: 39176 854.08/856.32 c #Conflicts: 903000 | #Constraints: 40176 854.08/856.32 c INPROCESSING 854.08/856.32 c GARBAGE COLLECT 854.08/856.32 c rational objective 55 893.68/896.03 c #Conflicts: 904000 | #Constraints: 22356 893.68/896.03 c #Conflicts: 905000 | #Constraints: 23356 893.68/896.03 c #Conflicts: 906000 | #Constraints: 24356 893.68/896.03 c #Conflicts: 907000 | #Constraints: 25356 893.68/896.03 c #Conflicts: 908000 | #Constraints: 26356 893.68/896.03 c #Conflicts: 909000 | #Constraints: 27356 893.68/896.03 c #Conflicts: 910000 | #Constraints: 28356 893.68/896.03 c #Conflicts: 911000 | #Constraints: 29356 893.68/896.03 c #Conflicts: 912000 | #Constraints: 30356 893.68/896.03 c #Conflicts: 913000 | #Constraints: 31356 893.68/896.03 c #Conflicts: 914000 | #Constraints: 32356 893.68/896.03 c #Conflicts: 915000 | #Constraints: 33356 893.68/896.03 c #Conflicts: 916000 | #Constraints: 34356 893.68/896.03 c #Conflicts: 917000 | #Constraints: 35356 893.68/896.03 c #Conflicts: 918000 | #Constraints: 36356 893.68/896.03 c #Conflicts: 919000 | #Constraints: 37356 893.68/896.03 c #Conflicts: 920000 | #Constraints: 38356 893.68/896.03 c #Conflicts: 921000 | #Constraints: 39356 893.68/896.03 c #Conflicts: 922000 | #Constraints: 40356 893.68/896.03 c INPROCESSING 893.68/896.03 c GARBAGE COLLECT 893.68/896.03 c rational objective 55 917.72/920.19 c #Conflicts: 923000 | #Constraints: 22382 917.72/920.19 c #Conflicts: 924000 | #Constraints: 23382 917.72/920.19 c #Conflicts: 925000 | #Constraints: 24382 917.72/920.19 c #Conflicts: 926000 | #Constraints: 25382 917.72/920.19 c #Conflicts: 927000 | #Constraints: 26382 917.72/920.19 c #Conflicts: 928000 | #Constraints: 27382 917.72/920.19 c #Conflicts: 929000 | #Constraints: 28382 917.72/920.19 c #Conflicts: 930000 | #Constraints: 29382 917.72/920.19 c #Conflicts: 931000 | #Constraints: 30382 917.72/920.19 c #Conflicts: 932000 | #Constraints: 31382 917.72/920.19 c #Conflicts: 933000 | #Constraints: 32382 917.72/920.19 c #Conflicts: 934000 | #Constraints: 33382 917.72/920.19 c #Conflicts: 935000 | #Constraints: 34382 917.72/920.19 c #Conflicts: 936000 | #Constraints: 35382 917.72/920.19 c #Conflicts: 937000 | #Constraints: 36382 917.72/920.19 c #Conflicts: 938000 | #Constraints: 37382 917.72/920.19 c #Conflicts: 939000 | #Constraints: 38382 917.72/920.19 c #Conflicts: 940000 | #Constraints: 39382 917.72/920.19 c #Conflicts: 941000 | #Constraints: 40382 917.72/920.19 c INPROCESSING 917.72/920.19 c GARBAGE COLLECT 917.72/920.19 c rational objective 55 962.39/964.90 c #Conflicts: 942000 | #Constraints: 22189 962.39/964.90 c #Conflicts: 943000 | #Constraints: 23189 962.39/964.90 c #Conflicts: 944000 | #Constraints: 24189 962.39/964.90 c #Conflicts: 945000 | #Constraints: 25189 962.39/964.90 c #Conflicts: 946000 | #Constraints: 26189 962.39/964.90 c #Conflicts: 947000 | #Constraints: 27189 962.39/964.90 c #Conflicts: 948000 | #Constraints: 28189 962.39/964.90 c #Conflicts: 949000 | #Constraints: 29189 962.39/964.90 c #Conflicts: 950000 | #Constraints: 30189 962.39/964.90 c #Conflicts: 951000 | #Constraints: 31189 962.39/964.90 c #Conflicts: 952000 | #Constraints: 32189 962.39/964.90 c #Conflicts: 953000 | #Constraints: 33189 962.39/964.90 c #Conflicts: 954000 | #Constraints: 34189 962.39/964.90 c #Conflicts: 955000 | #Constraints: 35189 962.39/964.90 c #Conflicts: 956000 | #Constraints: 36189 962.39/964.90 c #Conflicts: 957000 | #Constraints: 37189 962.39/964.90 c #Conflicts: 958000 | #Constraints: 38189 962.39/964.90 c #Conflicts: 959000 | #Constraints: 39189 962.39/964.90 c #Conflicts: 960000 | #Constraints: 40189 962.39/964.90 c #Conflicts: 961000 | #Constraints: 41189 962.39/964.90 c INPROCESSING 962.39/964.90 c GARBAGE COLLECT 962.39/964.90 c rational objective 55 987.02/989.65 c #Conflicts: 962000 | #Constraints: 22794 987.02/989.65 c #Conflicts: 963000 | #Constraints: 23794 987.02/989.65 c #Conflicts: 964000 | #Constraints: 24794 987.02/989.65 c #Conflicts: 965000 | #Constraints: 25794 987.02/989.65 c #Conflicts: 966000 | #Constraints: 26794 987.02/989.65 c #Conflicts: 967000 | #Constraints: 27794 987.02/989.65 c #Conflicts: 968000 | #Constraints: 28794 987.02/989.65 c #Conflicts: 969000 | #Constraints: 29794 987.02/989.65 c #Conflicts: 970000 | #Constraints: 30794 987.02/989.65 c #Conflicts: 971000 | #Constraints: 31794 987.02/989.65 c #Conflicts: 972000 | #Constraints: 32794 987.02/989.65 c #Conflicts: 973000 | #Constraints: 33794 987.02/989.65 c #Conflicts: 974000 | #Constraints: 34794 987.02/989.65 c #Conflicts: 975000 | #Constraints: 35794 987.02/989.65 c #Conflicts: 976000 | #Constraints: 36794 987.02/989.65 c #Conflicts: 977000 | #Constraints: 37794 987.02/989.65 c #Conflicts: 978000 | #Constraints: 38794 987.02/989.65 c #Conflicts: 979000 | #Constraints: 39794 987.02/989.65 c #Conflicts: 980000 | #Constraints: 40794 987.02/989.65 c #Conflicts: 981000 | #Constraints: 41794 987.02/989.65 c INPROCESSING 987.02/989.65 c GARBAGE COLLECT 987.02/989.65 c rational objective 55 1014.05/1016.77 c #Conflicts: 982000 | #Constraints: 23197 1014.05/1016.77 c #Conflicts: 983000 | #Constraints: 24197 1014.05/1016.77 c #Conflicts: 984000 | #Constraints: 25197 1014.05/1016.77 c #Conflicts: 985000 | #Constraints: 26197 1014.05/1016.77 c #Conflicts: 986000 | #Constraints: 27197 1014.05/1016.77 c #Conflicts: 987000 | #Constraints: 28197 1014.05/1016.77 c #Conflicts: 988000 | #Constraints: 29197 1014.05/1016.77 c #Conflicts: 989000 | #Constraints: 30197 1014.05/1016.77 c #Conflicts: 990000 | #Constraints: 31197 1014.05/1016.77 c #Conflicts: 991000 | #Constraints: 32197 1014.05/1016.77 c #Conflicts: 992000 | #Constraints: 33197 1014.05/1016.77 c #Conflicts: 993000 | #Constraints: 34197 1014.05/1016.77 c #Conflicts: 994000 | #Constraints: 35197 1014.05/1016.77 c #Conflicts: 995000 | #Constraints: 36197 1014.05/1016.77 c #Conflicts: 996000 | #Constraints: 37197 1014.05/1016.77 c #Conflicts: 997000 | #Constraints: 38197 1014.05/1016.77 c #Conflicts: 998000 | #Constraints: 39197 1014.05/1016.77 c #Conflicts: 999000 | #Constraints: 40197 1014.05/1016.77 c #Conflicts: 1000000 | #Constraints: 41197 1014.05/1016.77 c #Conflicts: 1001000 | #Constraints: 42197 1014.05/1016.77 c INPROCESSING 1014.05/1016.77 c GARBAGE COLLECT 1014.05/1016.77 c rational objective 55 1077.78/1080.64 c #Conflicts: 1002000 | #Constraints: 23392 1077.78/1080.64 c #Conflicts: 1003000 | #Constraints: 24392 1077.78/1080.64 c #Conflicts: 1004000 | #Constraints: 25392 1077.78/1080.64 c #Conflicts: 1005000 | #Constraints: 26392 1077.78/1080.64 c #Conflicts: 1006000 | #Constraints: 27392 1077.78/1080.64 c #Conflicts: 1007000 | #Constraints: 28392 1077.78/1080.64 c #Conflicts: 1008000 | #Constraints: 29392 1077.78/1080.64 c #Conflicts: 1009000 | #Constraints: 30392 1077.78/1080.64 c #Conflicts: 1010000 | #Constraints: 31392 1077.78/1080.64 c #Conflicts: 1011000 | #Constraints: 32392 1077.78/1080.64 c #Conflicts: 1012000 | #Constraints: 33392 1077.78/1080.64 c #Conflicts: 1013000 | #Constraints: 34392 1077.78/1080.64 c #Conflicts: 1014000 | #Constraints: 35392 1077.78/1080.64 c #Conflicts: 1015000 | #Constraints: 36392 1077.78/1080.64 c #Conflicts: 1016000 | #Constraints: 37392 1077.78/1080.64 c #Conflicts: 1017000 | #Constraints: 38392 1077.78/1080.64 c #Conflicts: 1018000 | #Constraints: 39392 1077.78/1080.64 c #Conflicts: 1019000 | #Constraints: 40392 1077.78/1080.64 c #Conflicts: 1020000 | #Constraints: 41392 1077.78/1080.64 c #Conflicts: 1021000 | #Constraints: 42392 1077.78/1080.64 c INPROCESSING 1077.78/1080.64 c GARBAGE COLLECT 1077.78/1080.64 c rational objective 55 1105.29/1108.27 c #Conflicts: 1022000 | #Constraints: 23397 1105.29/1108.27 c #Conflicts: 1023000 | #Constraints: 24397 1105.29/1108.27 c #Conflicts: 1024000 | #Constraints: 25397 1105.29/1108.27 c #Conflicts: 1025000 | #Constraints: 26397 1105.29/1108.27 c #Conflicts: 1026000 | #Constraints: 27397 1105.29/1108.27 c #Conflicts: 1027000 | #Constraints: 28397 1105.29/1108.27 c #Conflicts: 1028000 | #Constraints: 29397 1105.29/1108.27 c #Conflicts: 1029000 | #Constraints: 30397 1105.29/1108.27 c #Conflicts: 1030000 | #Constraints: 31397 1105.29/1108.27 c #Conflicts: 1031000 | #Constraints: 32397 1105.29/1108.27 c #Conflicts: 1032000 | #Constraints: 33397 1105.29/1108.27 c #Conflicts: 1033000 | #Constraints: 34397 1105.29/1108.27 c #Conflicts: 1034000 | #Constraints: 35397 1105.29/1108.27 c #Conflicts: 1035000 | #Constraints: 36397 1105.29/1108.27 c #Conflicts: 1036000 | #Constraints: 37397 1105.29/1108.27 c #Conflicts: 1037000 | #Constraints: 38397 1105.29/1108.27 c #Conflicts: 1038000 | #Constraints: 39397 1105.29/1108.27 c #Conflicts: 1039000 | #Constraints: 40397 1105.29/1108.27 c #Conflicts: 1040000 | #Constraints: 41397 1105.29/1108.27 c #Conflicts: 1041000 | #Constraints: 42397 1105.29/1108.27 c INPROCESSING 1105.29/1108.27 c GARBAGE COLLECT 1105.29/1108.27 c rational objective 55 1136.70/1139.77 c #Conflicts: 1042000 | #Constraints: 23173 1136.70/1139.77 c #Conflicts: 1043000 | #Constraints: 24173 1136.70/1139.77 c #Conflicts: 1044000 | #Constraints: 25173 1136.70/1139.77 c #Conflicts: 1045000 | #Constraints: 26173 1136.70/1139.77 c #Conflicts: 1046000 | #Constraints: 27173 1136.70/1139.77 c #Conflicts: 1047000 | #Constraints: 28173 1136.70/1139.77 c #Conflicts: 1048000 | #Constraints: 29173 1136.70/1139.77 c #Conflicts: 1049000 | #Constraints: 30173 1136.70/1139.77 c #Conflicts: 1050000 | #Constraints: 31173 1136.70/1139.77 c #Conflicts: 1051000 | #Constraints: 32173 1136.70/1139.77 c #Conflicts: 1052000 | #Constraints: 33173 1136.70/1139.77 c #Conflicts: 1053000 | #Constraints: 34173 1136.70/1139.77 c #Conflicts: 1054000 | #Constraints: 35173 1136.70/1139.77 c #Conflicts: 1055000 | #Constraints: 36173 1136.70/1139.77 c #Conflicts: 1056000 | #Constraints: 37173 1136.70/1139.77 c #Conflicts: 1057000 | #Constraints: 38173 1136.70/1139.77 c #Conflicts: 1058000 | #Constraints: 39173 1136.70/1139.77 c #Conflicts: 1059000 | #Constraints: 40173 1136.70/1139.77 c #Conflicts: 1060000 | #Constraints: 41173 1136.70/1139.77 c #Conflicts: 1061000 | #Constraints: 42173 1136.70/1139.77 c #Conflicts: 1062000 | #Constraints: 43173 1136.70/1139.77 c INPROCESSING 1136.70/1139.77 c GARBAGE COLLECT 1136.70/1139.77 c rational objective 55 1193.52/1196.77 c #Conflicts: 1063000 | #Constraints: 23766 1193.52/1196.77 c #Conflicts: 1064000 | #Constraints: 24766 1193.52/1196.77 c #Conflicts: 1065000 | #Constraints: 25766 1193.52/1196.77 c #Conflicts: 1066000 | #Constraints: 26766 1193.52/1196.77 c #Conflicts: 1067000 | #Constraints: 27766 1193.52/1196.77 c #Conflicts: 1068000 | #Constraints: 28766 1193.52/1196.77 c #Conflicts: 1069000 | #Constraints: 29766 1193.52/1196.77 c #Conflicts: 1070000 | #Constraints: 30766 1193.52/1196.77 c #Conflicts: 1071000 | #Constraints: 31766 1193.52/1196.77 c #Conflicts: 1072000 | #Constraints: 32766 1193.52/1196.77 c #Conflicts: 1073000 | #Constraints: 33766 1193.52/1196.77 c #Conflicts: 1074000 | #Constraints: 34766 1193.52/1196.77 c #Conflicts: 1075000 | #Constraints: 35766 1193.52/1196.77 c #Conflicts: 1076000 | #Constraints: 36766 1193.52/1196.77 c #Conflicts: 1077000 | #Constraints: 37766 1193.52/1196.77 c #Conflicts: 1078000 | #Constraints: 38766 1193.52/1196.77 c #Conflicts: 1079000 | #Constraints: 39766 1193.52/1196.77 c #Conflicts: 1080000 | #Constraints: 40766 1193.52/1196.77 c #Conflicts: 1081000 | #Constraints: 41766 1193.52/1196.77 c #Conflicts: 1082000 | #Constraints: 42766 1193.52/1196.77 c #Conflicts: 1083000 | #Constraints: 43766 1193.52/1196.77 c INPROCESSING 1193.52/1196.77 c GARBAGE COLLECT 1193.52/1196.77 c rational objective 55 1226.91/1230.25 c #Conflicts: 1084000 | #Constraints: 24188 1226.91/1230.25 c #Conflicts: 1085000 | #Constraints: 25188 1226.91/1230.25 c #Conflicts: 1086000 | #Constraints: 26188 1226.91/1230.25 c #Conflicts: 1087000 | #Constraints: 27188 1226.91/1230.25 c #Conflicts: 1088000 | #Constraints: 28188 1226.91/1230.25 c #Conflicts: 1089000 | #Constraints: 29188 1226.91/1230.25 c #Conflicts: 1090000 | #Constraints: 30188 1226.91/1230.25 c #Conflicts: 1091000 | #Constraints: 31188 1226.91/1230.25 c #Conflicts: 1092000 | #Constraints: 32188 1226.91/1230.25 c #Conflicts: 1093000 | #Constraints: 33188 1226.91/1230.25 c #Conflicts: 1094000 | #Constraints: 34188 1226.91/1230.25 c #Conflicts: 1095000 | #Constraints: 35188 1226.91/1230.25 c #Conflicts: 1096000 | #Constraints: 36188 1226.91/1230.25 c #Conflicts: 1097000 | #Constraints: 37188 1226.91/1230.25 c #Conflicts: 1098000 | #Constraints: 38188 1226.91/1230.25 c #Conflicts: 1099000 | #Constraints: 39188 1226.91/1230.25 c #Conflicts: 1100000 | #Constraints: 40188 1226.91/1230.25 c #Conflicts: 1101000 | #Constraints: 41188 1226.91/1230.25 c #Conflicts: 1102000 | #Constraints: 42188 1226.91/1230.25 c #Conflicts: 1103000 | #Constraints: 43188 1226.91/1230.25 c #Conflicts: 1104000 | #Constraints: 44188 1226.91/1230.25 c INPROCESSING 1226.91/1230.25 c GARBAGE COLLECT 1226.91/1230.25 c rational objective 55 1260.71/1264.19 c #Conflicts: 1105000 | #Constraints: 24399 1260.71/1264.19 c #Conflicts: 1106000 | #Constraints: 25399 1260.71/1264.19 c #Conflicts: 1107000 | #Constraints: 26399 1260.71/1264.19 c #Conflicts: 1108000 | #Constraints: 27399 1260.71/1264.19 c #Conflicts: 1109000 | #Constraints: 28399 1260.71/1264.19 c #Conflicts: 1110000 | #Constraints: 29399 1260.71/1264.19 c #Conflicts: 1111000 | #Constraints: 30399 1260.71/1264.19 c #Conflicts: 1112000 | #Constraints: 31399 1260.71/1264.19 c #Conflicts: 1113000 | #Constraints: 32399 1260.71/1264.19 c #Conflicts: 1114000 | #Constraints: 33399 1260.71/1264.19 c #Conflicts: 1115000 | #Constraints: 34399 1260.71/1264.19 c #Conflicts: 1116000 | #Constraints: 35399 1260.71/1264.19 c #Conflicts: 1117000 | #Constraints: 36399 1260.71/1264.19 c #Conflicts: 1118000 | #Constraints: 37399 1260.71/1264.19 c #Conflicts: 1119000 | #Constraints: 38399 1260.71/1264.19 c #Conflicts: 1120000 | #Constraints: 39399 1260.71/1264.19 c #Conflicts: 1121000 | #Constraints: 40399 1260.71/1264.19 c #Conflicts: 1122000 | #Constraints: 41399 1260.71/1264.19 c #Conflicts: 1123000 | #Constraints: 42399 1260.71/1264.19 c #Conflicts: 1124000 | #Constraints: 43399 1260.71/1264.19 c #Conflicts: 1125000 | #Constraints: 44399 1260.71/1264.19 c INPROCESSING 1260.71/1264.19 c GARBAGE COLLECT 1260.71/1264.19 c rational objective 55 1292.21/1295.71 c #Conflicts: 1126000 | #Constraints: 24376 1292.21/1295.71 c #Conflicts: 1127000 | #Constraints: 25376 1292.21/1295.71 c #Conflicts: 1128000 | #Constraints: 26376 1292.21/1295.71 c #Conflicts: 1129000 | #Constraints: 27376 1292.21/1295.71 c #Conflicts: 1130000 | #Constraints: 28376 1292.21/1295.71 c #Conflicts: 1131000 | #Constraints: 29376 1292.21/1295.71 c #Conflicts: 1132000 | #Constraints: 30376 1292.21/1295.71 c #Conflicts: 1133000 | #Constraints: 31376 1292.21/1295.71 c #Conflicts: 1134000 | #Constraints: 32376 1292.21/1295.71 c #Conflicts: 1135000 | #Constraints: 33376 1292.21/1295.71 c #Conflicts: 1136000 | #Constraints: 34376 1292.21/1295.71 c #Conflicts: 1137000 | #Constraints: 35376 1292.21/1295.71 c #Conflicts: 1138000 | #Constraints: 36376 1292.21/1295.71 c #Conflicts: 1139000 | #Constraints: 37376 1292.21/1295.71 c #Conflicts: 1140000 | #Constraints: 38376 1292.21/1295.71 c #Conflicts: 1141000 | #Constraints: 39376 1292.21/1295.71 c #Conflicts: 1142000 | #Constraints: 40376 1292.21/1295.71 c #Conflicts: 1143000 | #Constraints: 41376 1292.21/1295.71 c #Conflicts: 1144000 | #Constraints: 42376 1292.21/1295.71 c #Conflicts: 1145000 | #Constraints: 43376 1292.21/1295.71 c #Conflicts: 1146000 | #Constraints: 44376 1292.21/1295.71 c INPROCESSING 1292.21/1295.71 c GARBAGE COLLECT 1292.21/1295.71 c rational objective 55 1324.11/1327.70 c #Conflicts: 1147000 | #Constraints: 24179 1324.11/1327.70 c #Conflicts: 1148000 | #Constraints: 25179 1324.11/1327.70 c #Conflicts: 1149000 | #Constraints: 26179 1324.11/1327.70 c #Conflicts: 1150000 | #Constraints: 27179 1324.11/1327.70 c #Conflicts: 1151000 | #Constraints: 28179 1324.11/1327.70 c #Conflicts: 1152000 | #Constraints: 29179 1324.11/1327.70 c #Conflicts: 1153000 | #Constraints: 30179 1324.11/1327.70 c #Conflicts: 1154000 | #Constraints: 31179 1324.11/1327.70 c #Conflicts: 1155000 | #Constraints: 32179 1324.11/1327.70 c #Conflicts: 1156000 | #Constraints: 33179 1324.11/1327.70 c #Conflicts: 1157000 | #Constraints: 34179 1324.11/1327.70 c #Conflicts: 1158000 | #Constraints: 35179 1324.11/1327.70 c #Conflicts: 1159000 | #Constraints: 36179 1324.11/1327.70 c #Conflicts: 1160000 | #Constraints: 37179 1324.11/1327.70 c #Conflicts: 1161000 | #Constraints: 38179 1324.11/1327.70 c #Conflicts: 1162000 | #Constraints: 39179 1324.11/1327.70 c #Conflicts: 1163000 | #Constraints: 40179 1324.11/1327.70 c #Conflicts: 1164000 | #Constraints: 41179 1324.11/1327.70 c #Conflicts: 1165000 | #Constraints: 42179 1324.11/1327.70 c #Conflicts: 1166000 | #Constraints: 43179 1324.11/1327.70 c #Conflicts: 1167000 | #Constraints: 44179 1324.11/1327.70 c #Conflicts: 1168000 | #Constraints: 45179 1324.11/1327.70 c INPROCESSING 1324.11/1327.70 c GARBAGE COLLECT 1324.11/1327.70 c rational objective 55 1381.43/1385.22 c #Conflicts: 1169000 | #Constraints: 24777 1381.43/1385.22 c #Conflicts: 1170000 | #Constraints: 25777 1381.43/1385.22 c #Conflicts: 1171000 | #Constraints: 26777 1381.43/1385.22 c #Conflicts: 1172000 | #Constraints: 27777 1381.43/1385.22 c #Conflicts: 1173000 | #Constraints: 28777 1381.43/1385.22 c #Conflicts: 1174000 | #Constraints: 29777 1381.43/1385.22 c #Conflicts: 1175000 | #Constraints: 30777 1381.43/1385.22 c #Conflicts: 1176000 | #Constraints: 31777 1381.43/1385.22 c #Conflicts: 1177000 | #Constraints: 32777 1381.43/1385.22 c #Conflicts: 1178000 | #Constraints: 33777 1381.43/1385.22 c #Conflicts: 1179000 | #Constraints: 34777 1381.43/1385.22 c #Conflicts: 1180000 | #Constraints: 35777 1381.43/1385.22 c #Conflicts: 1181000 | #Constraints: 36777 1381.43/1385.22 c #Conflicts: 1182000 | #Constraints: 37777 1381.43/1385.22 c #Conflicts: 1183000 | #Constraints: 38777 1381.43/1385.22 c #Conflicts: 1184000 | #Constraints: 39777 1381.43/1385.22 c #Conflicts: 1185000 | #Constraints: 40777 1381.43/1385.22 c #Conflicts: 1186000 | #Constraints: 41777 1381.43/1385.22 c #Conflicts: 1187000 | #Constraints: 42777 1381.43/1385.22 c #Conflicts: 1188000 | #Constraints: 43777 1381.43/1385.22 c #Conflicts: 1189000 | #Constraints: 44777 1381.43/1385.22 c #Conflicts: 1190000 | #Constraints: 45777 1381.43/1385.22 c INPROCESSING 1381.43/1385.22 c GARBAGE COLLECT 1381.43/1385.22 c rational objective 55 1413.33/1417.29 c #Conflicts: 1191000 | #Constraints: 25161 1413.33/1417.29 c #Conflicts: 1192000 | #Constraints: 26161 1413.33/1417.29 c #Conflicts: 1193000 | #Constraints: 27161 1413.33/1417.29 c #Conflicts: 1194000 | #Constraints: 28161 1413.33/1417.29 c #Conflicts: 1195000 | #Constraints: 29161 1413.33/1417.29 c #Conflicts: 1196000 | #Constraints: 30161 1413.33/1417.29 c #Conflicts: 1197000 | #Constraints: 31161 1413.33/1417.29 c #Conflicts: 1198000 | #Constraints: 32161 1413.33/1417.29 c #Conflicts: 1199000 | #Constraints: 33161 1413.33/1417.29 c #Conflicts: 1200000 | #Constraints: 34161 1413.33/1417.29 c #Conflicts: 1201000 | #Constraints: 35161 1413.33/1417.29 c #Conflicts: 1202000 | #Constraints: 36161 1413.33/1417.29 c #Conflicts: 1203000 | #Constraints: 37161 1413.33/1417.29 c #Conflicts: 1204000 | #Constraints: 38161 1413.33/1417.29 c #Conflicts: 1205000 | #Constraints: 39161 1413.33/1417.29 c #Conflicts: 1206000 | #Constraints: 40161 1413.33/1417.29 c #Conflicts: 1207000 | #Constraints: 41161 1413.33/1417.29 c #Conflicts: 1208000 | #Constraints: 42161 1413.33/1417.29 c #Conflicts: 1209000 | #Constraints: 43161 1413.33/1417.29 c #Conflicts: 1210000 | #Constraints: 44161 1413.33/1417.29 c #Conflicts: 1211000 | #Constraints: 45161 1413.33/1417.29 c #Conflicts: 1212000 | #Constraints: 46161 1413.33/1417.29 c INPROCESSING 1413.33/1417.29 c GARBAGE COLLECT 1413.33/1417.29 c rational objective 55 1479.62/1483.76 c #Conflicts: 1213000 | #Constraints: 25373 1479.62/1483.76 c #Conflicts: 1214000 | #Constraints: 26373 1479.62/1483.76 c #Conflicts: 1215000 | #Constraints: 27373 1479.62/1483.76 c #Conflicts: 1216000 | #Constraints: 28373 1479.62/1483.76 c #Conflicts: 1217000 | #Constraints: 29373 1479.62/1483.76 c #Conflicts: 1218000 | #Constraints: 30373 1479.62/1483.76 c #Conflicts: 1219000 | #Constraints: 31373 1479.62/1483.76 c #Conflicts: 1220000 | #Constraints: 32373 1479.62/1483.76 c #Conflicts: 1221000 | #Constraints: 33373 1479.62/1483.76 c #Conflicts: 1222000 | #Constraints: 34373 1479.62/1483.76 c #Conflicts: 1223000 | #Constraints: 35373 1479.62/1483.76 c #Conflicts: 1224000 | #Constraints: 36373 1479.62/1483.76 c #Conflicts: 1225000 | #Constraints: 37373 1479.62/1483.76 c #Conflicts: 1226000 | #Constraints: 38373 1479.62/1483.76 c #Conflicts: 1227000 | #Constraints: 39373 1479.62/1483.76 c #Conflicts: 1228000 | #Constraints: 40373 1479.62/1483.76 c #Conflicts: 1229000 | #Constraints: 41373 1479.62/1483.76 c #Conflicts: 1230000 | #Constraints: 42373 1479.62/1483.76 c #Conflicts: 1231000 | #Constraints: 43373 1479.62/1483.76 c #Conflicts: 1232000 | #Constraints: 44373 1479.62/1483.76 c #Conflicts: 1233000 | #Constraints: 45373 1479.62/1483.76 c #Conflicts: 1234000 | #Constraints: 46373 1479.62/1483.76 c INPROCESSING 1479.62/1483.76 c GARBAGE COLLECT 1479.62/1483.76 c rational objective 55 1514.61/1518.82 c #Conflicts: 1235000 | #Constraints: 25368 1514.61/1518.82 c #Conflicts: 1236000 | #Constraints: 26368 1514.61/1518.82 c #Conflicts: 1237000 | #Constraints: 27368 1514.61/1518.82 c #Conflicts: 1238000 | #Constraints: 28368 1514.61/1518.82 c #Conflicts: 1239000 | #Constraints: 29368 1514.61/1518.82 c #Conflicts: 1240000 | #Constraints: 30368 1514.61/1518.82 c #Conflicts: 1241000 | #Constraints: 31368 1514.61/1518.82 c #Conflicts: 1242000 | #Constraints: 32368 1514.61/1518.82 c #Conflicts: 1243000 | #Constraints: 33368 1514.61/1518.82 c #Conflicts: 1244000 | #Constraints: 34368 1514.61/1518.82 c #Conflicts: 1245000 | #Constraints: 35368 1514.61/1518.82 c #Conflicts: 1246000 | #Constraints: 36368 1514.61/1518.82 c #Conflicts: 1247000 | #Constraints: 37368 1514.61/1518.82 c #Conflicts: 1248000 | #Constraints: 38368 1514.61/1518.82 c #Conflicts: 1249000 | #Constraints: 39368 1514.61/1518.82 c #Conflicts: 1250000 | #Constraints: 40368 1514.61/1518.82 c #Conflicts: 1251000 | #Constraints: 41368 1514.61/1518.82 c #Conflicts: 1252000 | #Constraints: 42368 1514.61/1518.82 c #Conflicts: 1253000 | #Constraints: 43368 1514.61/1518.82 c #Conflicts: 1254000 | #Constraints: 44368 1514.61/1518.82 c #Conflicts: 1255000 | #Constraints: 45368 1514.61/1518.82 c #Conflicts: 1256000 | #Constraints: 46368 1514.61/1518.82 c INPROCESSING 1514.61/1518.82 c GARBAGE COLLECT 1514.61/1518.82 c rational objective 55 1551.30/1555.69 c #Conflicts: 1257000 | #Constraints: 25178 1551.30/1555.69 c #Conflicts: 1258000 | #Constraints: 26178 1551.30/1555.69 c #Conflicts: 1259000 | #Constraints: 27178 1551.30/1555.69 c #Conflicts: 1260000 | #Constraints: 28178 1551.30/1555.69 c #Conflicts: 1261000 | #Constraints: 29178 1551.30/1555.69 c #Conflicts: 1262000 | #Constraints: 30178 1551.30/1555.69 c #Conflicts: 1263000 | #Constraints: 31178 1551.30/1555.69 c #Conflicts: 1264000 | #Constraints: 32178 1551.30/1555.69 c #Conflicts: 1265000 | #Constraints: 33178 1551.30/1555.69 c #Conflicts: 1266000 | #Constraints: 34178 1551.30/1555.69 c #Conflicts: 1267000 | #Constraints: 35178 1551.30/1555.69 c #Conflicts: 1268000 | #Constraints: 36178 1551.30/1555.69 c #Conflicts: 1269000 | #Constraints: 37178 1551.30/1555.69 c #Conflicts: 1270000 | #Constraints: 38178 1551.30/1555.69 c #Conflicts: 1271000 | #Constraints: 39178 1551.30/1555.69 c #Conflicts: 1272000 | #Constraints: 40178 1551.30/1555.69 c #Conflicts: 1273000 | #Constraints: 41178 1551.30/1555.69 c #Conflicts: 1274000 | #Constraints: 42178 1551.30/1555.69 c #Conflicts: 1275000 | #Constraints: 43178 1551.30/1555.69 c #Conflicts: 1276000 | #Constraints: 44178 1551.30/1555.70 c #Conflicts: 1277000 | #Constraints: 45178 1551.30/1555.70 c #Conflicts: 1278000 | #Constraints: 46178 1551.30/1555.70 c #Conflicts: 1279000 | #Constraints: 47178 1551.30/1555.70 c INPROCESSING 1551.30/1555.70 c GARBAGE COLLECT 1551.30/1555.70 c rational objective 55 1623.26/1627.82 c #Conflicts: 1280000 | #Constraints: 25779 1623.26/1627.82 c #Conflicts: 1281000 | #Constraints: 26779 1623.26/1627.82 c #Conflicts: 1282000 | #Constraints: 27779 1623.26/1627.82 c #Conflicts: 1283000 | #Constraints: 28779 1623.26/1627.82 c #Conflicts: 1284000 | #Constraints: 29779 1623.26/1627.82 c #Conflicts: 1285000 | #Constraints: 30779 1623.26/1627.82 c #Conflicts: 1286000 | #Constraints: 31779 1623.26/1627.82 c #Conflicts: 1287000 | #Constraints: 32779 1623.26/1627.82 c #Conflicts: 1288000 | #Constraints: 33779 1623.26/1627.82 c #Conflicts: 1289000 | #Constraints: 34779 1623.26/1627.82 c #Conflicts: 1290000 | #Constraints: 35779 1623.26/1627.82 c #Conflicts: 1291000 | #Constraints: 36779 1623.26/1627.82 c #Conflicts: 1292000 | #Constraints: 37779 1623.26/1627.82 c #Conflicts: 1293000 | #Constraints: 38779 1623.26/1627.82 c #Conflicts: 1294000 | #Constraints: 39779 1623.26/1627.82 c #Conflicts: 1295000 | #Constraints: 40779 1623.26/1627.82 c #Conflicts: 1296000 | #Constraints: 41779 1623.26/1627.82 c #Conflicts: 1297000 | #Constraints: 42779 1623.26/1627.82 c #Conflicts: 1298000 | #Constraints: 43779 1623.26/1627.82 c #Conflicts: 1299000 | #Constraints: 44779 1623.26/1627.82 c #Conflicts: 1300000 | #Constraints: 45779 1623.26/1627.82 c #Conflicts: 1301000 | #Constraints: 46779 1623.26/1627.82 c #Conflicts: 1302000 | #Constraints: 47779 1623.26/1627.82 c INPROCESSING 1623.26/1627.82 c GARBAGE COLLECT 1623.26/1627.82 c rational objective 55 1661.84/1666.56 c #Conflicts: 1303000 | #Constraints: 26190 1661.84/1666.56 c #Conflicts: 1304000 | #Constraints: 27190 1661.84/1666.56 c #Conflicts: 1305000 | #Constraints: 28190 1661.84/1666.56 c #Conflicts: 1306000 | #Constraints: 29190 1661.84/1666.56 c #Conflicts: 1307000 | #Constraints: 30190 1661.84/1666.56 c #Conflicts: 1308000 | #Constraints: 31190 1661.84/1666.56 c #Conflicts: 1309000 | #Constraints: 32190 1661.84/1666.56 c #Conflicts: 1310000 | #Constraints: 33190 1661.84/1666.56 c #Conflicts: 1311000 | #Constraints: 34190 1661.84/1666.56 c #Conflicts: 1312000 | #Constraints: 35190 1661.84/1666.56 c #Conflicts: 1313000 | #Constraints: 36190 1661.84/1666.56 c #Conflicts: 1314000 | #Constraints: 37190 1661.84/1666.56 c #Conflicts: 1315000 | #Constraints: 38190 1661.84/1666.56 c #Conflicts: 1316000 | #Constraints: 39190 1661.84/1666.56 c #Conflicts: 1317000 | #Constraints: 40190 1661.84/1666.56 c #Conflicts: 1318000 | #Constraints: 41190 1661.84/1666.56 c #Conflicts: 1319000 | #Constraints: 42190 1661.84/1666.56 c #Conflicts: 1320000 | #Constraints: 43190 1661.84/1666.56 c #Conflicts: 1321000 | #Constraints: 44190 1661.84/1666.56 c #Conflicts: 1322000 | #Constraints: 45190 1661.84/1666.56 c #Conflicts: 1323000 | #Constraints: 46190 1661.84/1666.56 c #Conflicts: 1324000 | #Constraints: 47190 1661.84/1666.56 c #Conflicts: 1325000 | #Constraints: 48190 1661.84/1666.56 c INPROCESSING 1661.84/1666.56 c GARBAGE COLLECT 1661.84/1666.56 c rational objective 55 1717.56/1722.44 c #Conflicts: 1326000 | #Constraints: 26392 1717.56/1722.44 c #Conflicts: 1327000 | #Constraints: 27392 1717.56/1722.44 c #Conflicts: 1328000 | #Constraints: 28392 1717.56/1722.44 c #Conflicts: 1329000 | #Constraints: 29392 1717.56/1722.44 c #Conflicts: 1330000 | #Constraints: 30392 1717.56/1722.44 c #Conflicts: 1331000 | #Constraints: 31392 1717.56/1722.44 c #Conflicts: 1332000 | #Constraints: 32392 1717.56/1722.44 c #Conflicts: 1333000 | #Constraints: 33392 1717.56/1722.44 c #Conflicts: 1334000 | #Constraints: 34392 1717.56/1722.44 c #Conflicts: 1335000 | #Constraints: 35392 1717.56/1722.44 c #Conflicts: 1336000 | #Constraints: 36392 1717.56/1722.44 c #Conflicts: 1337000 | #Constraints: 37392 1717.56/1722.44 c #Conflicts: 1338000 | #Constraints: 38392 1717.56/1722.44 c #Conflicts: 1339000 | #Constraints: 39392 1717.56/1722.44 c #Conflicts: 1340000 | #Constraints: 40392 1717.56/1722.44 c #Conflicts: 1341000 | #Constraints: 41392 1717.56/1722.44 c #Conflicts: 1342000 | #Constraints: 42392 1717.56/1722.44 c #Conflicts: 1343000 | #Constraints: 43392 1717.56/1722.44 c #Conflicts: 1344000 | #Constraints: 44392 1717.56/1722.44 c #Conflicts: 1345000 | #Constraints: 45392 1717.56/1722.44 c #Conflicts: 1346000 | #Constraints: 46392 1717.56/1722.44 c #Conflicts: 1347000 | #Constraints: 47392 1717.56/1722.44 c #Conflicts: 1348000 | #Constraints: 48392 1717.56/1722.44 c INPROCESSING 1717.56/1722.44 c GARBAGE COLLECT 1717.56/1722.44 c rational objective 55 1754.47/1759.44 c #Conflicts: 1349000 | #Constraints: 26370 1754.47/1759.44 c #Conflicts: 1350000 | #Constraints: 27370 1754.47/1759.44 c #Conflicts: 1351000 | #Constraints: 28370 1754.47/1759.44 c #Conflicts: 1352000 | #Constraints: 29370 1754.47/1759.44 c #Conflicts: 1353000 | #Constraints: 30370 1754.47/1759.44 c #Conflicts: 1354000 | #Constraints: 31370 1754.47/1759.44 c #Conflicts: 1355000 | #Constraints: 32370 1754.47/1759.44 c #Conflicts: 1356000 | #Constraints: 33370 1754.47/1759.44 c #Conflicts: 1357000 | #Constraints: 34370 1754.47/1759.44 c #Conflicts: 1358000 | #Constraints: 35370 1754.47/1759.44 c #Conflicts: 1359000 | #Constraints: 36370 1754.47/1759.44 c #Conflicts: 1360000 | #Constraints: 37370 1754.47/1759.44 c #Conflicts: 1361000 | #Constraints: 38370 1754.47/1759.44 c #Conflicts: 1362000 | #Constraints: 39370 1754.47/1759.44 c #Conflicts: 1363000 | #Constraints: 40370 1754.47/1759.44 c #Conflicts: 1364000 | #Constraints: 41370 1754.47/1759.44 c #Conflicts: 1365000 | #Constraints: 42370 1754.47/1759.44 c #Conflicts: 1366000 | #Constraints: 43370 1754.47/1759.44 c #Conflicts: 1367000 | #Constraints: 44370 1754.47/1759.44 c #Conflicts: 1368000 | #Constraints: 45370 1754.47/1759.44 c #Conflicts: 1369000 | #Constraints: 46370 1754.47/1759.44 c #Conflicts: 1370000 | #Constraints: 47370 1754.47/1759.44 c #Conflicts: 1371000 | #Constraints: 48370 1754.47/1759.44 c INPROCESSING 1754.47/1759.44 c GARBAGE COLLECT 1754.47/1759.44 c rational objective 55 1793.28/1798.35 c #Conflicts: 1372000 | #Constraints: 26168 1793.28/1798.35 c #Conflicts: 1373000 | #Constraints: 27168 1793.28/1798.35 c #Conflicts: 1374000 | #Constraints: 28168 1793.28/1798.35 c #Conflicts: 1375000 | #Constraints: 29168 1793.28/1798.35 c #Conflicts: 1376000 | #Constraints: 30168 1793.28/1798.35 c #Conflicts: 1377000 | #Constraints: 31168 1793.28/1798.35 c #Conflicts: 1378000 | #Constraints: 32168 1793.28/1798.35 c #Conflicts: 1379000 | #Constraints: 33168 1793.28/1798.35 c #Conflicts: 1380000 | #Constraints: 34168 1793.28/1798.35 c #Conflicts: 1381000 | #Constraints: 35168 1793.28/1798.35 c #Conflicts: 1382000 | #Constraints: 36168 1793.28/1798.35 c #Conflicts: 1383000 | #Constraints: 37168 1793.28/1798.35 c #Conflicts: 1384000 | #Constraints: 38168 1793.28/1798.35 c #Conflicts: 1385000 | #Constraints: 39168 1793.28/1798.35 c #Conflicts: 1386000 | #Constraints: 40168 1793.28/1798.35 c #Conflicts: 1387000 | #Constraints: 41168 1793.28/1798.35 c #Conflicts: 1388000 | #Constraints: 42168 1793.28/1798.35 c #Conflicts: 1389000 | #Constraints: 43168 1793.28/1798.35 c #Conflicts: 1390000 | #Constraints: 44168 1793.28/1798.35 c #Conflicts: 1391000 | #Constraints: 45168 1793.28/1798.35 c #Conflicts: 1392000 | #Constraints: 46168 1793.28/1798.35 c #Conflicts: 1393000 | #Constraints: 47168 1793.28/1798.35 c #Conflicts: 1394000 | #Constraints: 48168 1793.28/1798.35 c #Conflicts: 1395000 | #Constraints: 49168 1793.28/1798.35 c INPROCESSING 1793.28/1798.35 c GARBAGE COLLECT 1793.28/1798.35 c rational objective 55 1868.18/1873.46 c #Conflicts: 1396000 | #Constraints: 26764 1868.18/1873.46 c #Conflicts: 1397000 | #Constraints: 27764 1868.18/1873.46 c #Conflicts: 1398000 | #Constraints: 28764 1868.18/1873.46 c #Conflicts: 1399000 | #Constraints: 29764 1868.18/1873.46 c #Conflicts: 1400000 | #Constraints: 30764 1868.18/1873.46 c #Conflicts: 1401000 | #Constraints: 31764 1868.18/1873.46 c #Conflicts: 1402000 | #Constraints: 32764 1868.18/1873.46 c #Conflicts: 1403000 | #Constraints: 33764 1868.18/1873.46 c #Conflicts: 1404000 | #Constraints: 34764 1868.18/1873.46 c #Conflicts: 1405000 | #Constraints: 35764 1868.18/1873.46 c #Conflicts: 1406000 | #Constraints: 36764 1868.18/1873.46 c #Conflicts: 1407000 | #Constraints: 37764 1868.18/1873.46 c #Conflicts: 1408000 | #Constraints: 38764 1868.18/1873.46 c #Conflicts: 1409000 | #Constraints: 39764 1868.18/1873.46 c #Conflicts: 1410000 | #Constraints: 40764 1868.18/1873.46 c #Conflicts: 1411000 | #Constraints: 41764 1868.18/1873.46 c #Conflicts: 1412000 | #Constraints: 42764 1868.18/1873.46 c #Conflicts: 1413000 | #Constraints: 43764 1868.18/1873.46 c #Conflicts: 1414000 | #Constraints: 44764 1868.18/1873.46 c #Conflicts: 1415000 | #Constraints: 45764 1868.18/1873.46 c #Conflicts: 1416000 | #Constraints: 46764 1868.18/1873.46 c #Conflicts: 1417000 | #Constraints: 47764 1868.18/1873.46 c #Conflicts: 1418000 | #Constraints: 48764 1868.18/1873.46 c #Conflicts: 1419000 | #Constraints: 49764 1868.18/1873.46 c INPROCESSING 1868.18/1873.46 c GARBAGE COLLECT 1868.18/1873.46 c rational objective 55 1907.49/1912.81 c #Conflicts: 1420000 | #Constraints: 27172 1907.49/1912.81 c #Conflicts: 1421000 | #Constraints: 28172 1907.49/1912.81 c #Conflicts: 1422000 | #Constraints: 29172 1907.49/1912.81 c #Conflicts: 1423000 | #Constraints: 30172 1907.49/1912.81 c #Conflicts: 1424000 | #Constraints: 31172 1907.49/1912.81 c #Conflicts: 1425000 | #Constraints: 32172 1907.49/1912.81 c #Conflicts: 1426000 | #Constraints: 33172 1907.49/1912.81 c #Conflicts: 1427000 | #Constraints: 34172 1907.49/1912.81 c #Conflicts: 1428000 | #Constraints: 35172 1907.49/1912.81 c #Conflicts: 1429000 | #Constraints: 36172 1907.49/1912.81 c #Conflicts: 1430000 | #Constraints: 37172 1907.49/1912.81 c #Conflicts: 1431000 | #Constraints: 38172 1907.49/1912.81 c #Conflicts: 1432000 | #Constraints: 39172 1907.49/1912.81 c #Conflicts: 1433000 | #Constraints: 40172 1907.49/1912.81 c #Conflicts: 1434000 | #Constraints: 41172 1907.49/1912.81 c #Conflicts: 1435000 | #Constraints: 42172 1907.49/1912.81 c #Conflicts: 1436000 | #Constraints: 43172 1907.49/1912.81 c #Conflicts: 1437000 | #Constraints: 44172 1907.49/1912.81 c #Conflicts: 1438000 | #Constraints: 45172 1907.49/1912.81 c #Conflicts: 1439000 | #Constraints: 46172 1907.49/1912.81 c #Conflicts: 1440000 | #Constraints: 47172 1907.49/1912.81 c #Conflicts: 1441000 | #Constraints: 48172 1907.49/1912.81 c #Conflicts: 1442000 | #Constraints: 49172 1907.49/1912.81 c #Conflicts: 1443000 | #Constraints: 50172 1907.49/1912.81 c INPROCESSING 1907.49/1912.81 c GARBAGE COLLECT 1907.49/1912.81 c rational objective 55 1981.20/1986.73 c #Conflicts: 1444000 | #Constraints: 27362 1981.20/1986.73 c #Conflicts: 1445000 | #Constraints: 28362 1981.20/1986.73 c #Conflicts: 1446000 | #Constraints: 29362 1981.20/1986.73 c #Conflicts: 1447000 | #Constraints: 30362 1981.20/1986.73 c #Conflicts: 1448000 | #Constraints: 31362 1981.20/1986.73 c #Conflicts: 1449000 | #Constraints: 32362 1981.20/1986.73 c #Conflicts: 1450000 | #Constraints: 33362 1981.20/1986.73 c #Conflicts: 1451000 | #Constraints: 34362 1981.20/1986.73 c #Conflicts: 1452000 | #Constraints: 35362 1981.20/1986.73 c #Conflicts: 1453000 | #Constraints: 36362 1981.20/1986.73 c #Conflicts: 1454000 | #Constraints: 37362 1981.20/1986.73 c #Conflicts: 1455000 | #Constraints: 38362 1981.20/1986.73 c #Conflicts: 1456000 | #Constraints: 39362 1981.20/1986.73 c #Conflicts: 1457000 | #Constraints: 40362 1981.20/1986.73 c #Conflicts: 1458000 | #Constraints: 41362 1981.20/1986.73 c #Conflicts: 1459000 | #Constraints: 42362 1981.20/1986.73 c #Conflicts: 1460000 | #Constraints: 43362 1981.20/1986.73 c #Conflicts: 1461000 | #Constraints: 44362 1981.20/1986.73 c #Conflicts: 1462000 | #Constraints: 45362 1981.20/1986.73 c #Conflicts: 1463000 | #Constraints: 46362 1981.20/1986.73 c #Conflicts: 1464000 | #Constraints: 47362 1981.20/1986.73 c #Conflicts: 1465000 | #Constraints: 48362 1981.20/1986.73 c #Conflicts: 1466000 | #Constraints: 49362 1981.20/1986.73 c #Conflicts: 1467000 | #Constraints: 50362 1981.20/1986.73 c INPROCESSING 1981.20/1986.73 c GARBAGE COLLECT 1981.20/1986.73 c rational objective 55 2024.00/2029.67 c #Conflicts: 1468000 | #Constraints: 27364 2024.00/2029.67 c #Conflicts: 1469000 | #Constraints: 28364 2024.00/2029.67 c #Conflicts: 1470000 | #Constraints: 29364 2024.00/2029.67 c #Conflicts: 1471000 | #Constraints: 30364 2024.00/2029.67 c #Conflicts: 1472000 | #Constraints: 31364 2024.00/2029.67 c #Conflicts: 1473000 | #Constraints: 32364 2024.00/2029.67 c #Conflicts: 1474000 | #Constraints: 33364 2024.00/2029.67 c #Conflicts: 1475000 | #Constraints: 34364 2024.00/2029.67 c #Conflicts: 1476000 | #Constraints: 35364 2024.00/2029.67 c #Conflicts: 1477000 | #Constraints: 36364 2024.00/2029.67 c #Conflicts: 1478000 | #Constraints: 37364 2024.00/2029.67 c #Conflicts: 1479000 | #Constraints: 38364 2024.00/2029.67 c #Conflicts: 1480000 | #Constraints: 39364 2024.00/2029.67 c #Conflicts: 1481000 | #Constraints: 40364 2024.00/2029.67 c #Conflicts: 1482000 | #Constraints: 41364 2024.00/2029.67 c #Conflicts: 1483000 | #Constraints: 42364 2024.00/2029.67 c #Conflicts: 1484000 | #Constraints: 43364 2024.00/2029.67 c #Conflicts: 1485000 | #Constraints: 44364 2024.00/2029.67 c #Conflicts: 1486000 | #Constraints: 45364 2024.00/2029.67 c #Conflicts: 1487000 | #Constraints: 46364 2024.00/2029.67 c #Conflicts: 1488000 | #Constraints: 47364 2024.00/2029.67 c #Conflicts: 1489000 | #Constraints: 48364 2024.00/2029.67 c #Conflicts: 1490000 | #Constraints: 49364 2024.00/2029.67 c #Conflicts: 1491000 | #Constraints: 50364 2024.00/2029.67 c INPROCESSING 2024.00/2029.67 c GARBAGE COLLECT 2024.00/2029.67 c rational objective 55 2068.09/2073.81 c #Conflicts: 1492000 | #Constraints: 27169 2068.09/2073.81 c #Conflicts: 1493000 | #Constraints: 28169 2068.09/2073.81 c #Conflicts: 1494000 | #Constraints: 29169 2068.09/2073.81 c #Conflicts: 1495000 | #Constraints: 30169 2068.09/2073.81 c #Conflicts: 1496000 | #Constraints: 31169 2068.09/2073.81 c #Conflicts: 1497000 | #Constraints: 32169 2068.09/2073.81 c #Conflicts: 1498000 | #Constraints: 33169 2068.09/2073.81 c #Conflicts: 1499000 | #Constraints: 34169 2068.09/2073.81 c #Conflicts: 1500000 | #Constraints: 35169 2068.09/2073.81 c #Conflicts: 1501000 | #Constraints: 36169 2068.09/2073.81 c #Conflicts: 1502000 | #Constraints: 37169 2068.09/2073.81 c #Conflicts: 1503000 | #Constraints: 38169 2068.09/2073.81 c #Conflicts: 1504000 | #Constraints: 39169 2068.09/2073.81 c #Conflicts: 1505000 | #Constraints: 40169 2068.09/2073.81 c #Conflicts: 1506000 | #Constraints: 41169 2068.09/2073.81 c #Conflicts: 1507000 | #Constraints: 42169 2068.09/2073.81 c #Conflicts: 1508000 | #Constraints: 43169 2068.09/2073.81 c #Conflicts: 1509000 | #Constraints: 44169 2068.09/2073.81 c #Conflicts: 1510000 | #Constraints: 45169 2068.09/2073.81 c #Conflicts: 1511000 | #Constraints: 46169 2068.09/2073.81 c #Conflicts: 1512000 | #Constraints: 47169 2068.09/2073.81 c #Conflicts: 1513000 | #Constraints: 48169 2068.09/2073.81 c #Conflicts: 1514000 | #Constraints: 49169 2068.09/2073.81 c #Conflicts: 1515000 | #Constraints: 50169 2068.09/2073.81 c #Conflicts: 1516000 | #Constraints: 51169 2068.09/2073.81 c INPROCESSING 2068.09/2073.81 c GARBAGE COLLECT 2068.09/2073.81 c rational objective 55 2159.22/2165.25 c #Conflicts: 1517000 | #Constraints: 27775 2159.22/2165.25 c #Conflicts: 1518000 | #Constraints: 28775 2159.22/2165.25 c #Conflicts: 1519000 | #Constraints: 29775 2159.22/2165.25 c #Conflicts: 1520000 | #Constraints: 30775 2159.22/2165.25 c #Conflicts: 1521000 | #Constraints: 31775 2159.22/2165.25 c #Conflicts: 1522000 | #Constraints: 32775 2159.22/2165.25 c #Conflicts: 1523000 | #Constraints: 33775 2159.22/2165.25 c #Conflicts: 1524000 | #Constraints: 34775 2159.22/2165.25 c #Conflicts: 1525000 | #Constraints: 35775 2159.22/2165.25 c #Conflicts: 1526000 | #Constraints: 36775 2159.22/2165.25 c #Conflicts: 1527000 | #Constraints: 37775 2159.22/2165.25 c #Conflicts: 1528000 | #Constraints: 38775 2159.22/2165.25 c #Conflicts: 1529000 | #Constraints: 39775 2159.22/2165.25 c #Conflicts: 1530000 | #Constraints: 40775 2159.22/2165.25 c #Conflicts: 1531000 | #Constraints: 41775 2159.22/2165.25 c #Conflicts: 1532000 | #Constraints: 42775 2159.22/2165.25 c #Conflicts: 1533000 | #Constraints: 43775 2159.22/2165.25 c #Conflicts: 1534000 | #Constraints: 44775 2159.22/2165.25 c #Conflicts: 1535000 | #Constraints: 45775 2159.22/2165.25 c #Conflicts: 1536000 | #Constraints: 46775 2159.22/2165.25 c #Conflicts: 1537000 | #Constraints: 47775 2159.22/2165.25 c #Conflicts: 1538000 | #Constraints: 48775 2159.22/2165.25 c #Conflicts: 1539000 | #Constraints: 49775 2159.22/2165.25 c #Conflicts: 1540000 | #Constraints: 50775 2159.22/2165.25 c #Conflicts: 1541000 | #Constraints: 51775 2159.22/2165.25 c INPROCESSING 2159.22/2165.25 c GARBAGE COLLECT 2159.22/2165.25 c rational objective 55 2204.59/2210.78 c #Conflicts: 1542000 | #Constraints: 28195 2204.59/2210.78 c #Conflicts: 1543000 | #Constraints: 29195 2204.59/2210.78 c #Conflicts: 1544000 | #Constraints: 30195 2204.59/2210.78 c #Conflicts: 1545000 | #Constraints: 31195 2204.59/2210.78 c #Conflicts: 1546000 | #Constraints: 32195 2204.59/2210.78 c #Conflicts: 1547000 | #Constraints: 33195 2204.59/2210.78 c #Conflicts: 1548000 | #Constraints: 34195 2204.59/2210.78 c #Conflicts: 1549000 | #Constraints: 35195 2204.59/2210.78 c #Conflicts: 1550000 | #Constraints: 36195 2204.59/2210.78 c #Conflicts: 1551000 | #Constraints: 37195 2204.59/2210.78 c #Conflicts: 1552000 | #Constraints: 38195 2204.59/2210.78 c #Conflicts: 1553000 | #Constraints: 39195 2204.59/2210.78 c #Conflicts: 1554000 | #Constraints: 40195 2204.59/2210.78 c #Conflicts: 1555000 | #Constraints: 41195 2204.59/2210.78 c #Conflicts: 1556000 | #Constraints: 42195 2204.59/2210.78 c #Conflicts: 1557000 | #Constraints: 43195 2204.59/2210.78 c #Conflicts: 1558000 | #Constraints: 44195 2204.59/2210.78 c #Conflicts: 1559000 | #Constraints: 45195 2204.59/2210.78 c #Conflicts: 1560000 | #Constraints: 46195 2204.59/2210.78 c #Conflicts: 1561000 | #Constraints: 47195 2204.59/2210.78 c #Conflicts: 1562000 | #Constraints: 48195 2204.59/2210.78 c #Conflicts: 1563000 | #Constraints: 49195 2204.59/2210.78 c #Conflicts: 1564000 | #Constraints: 50195 2204.59/2210.78 c #Conflicts: 1565000 | #Constraints: 51195 2204.59/2210.78 c #Conflicts: 1566000 | #Constraints: 52195 2204.59/2210.78 c INPROCESSING 2204.59/2210.78 c GARBAGE COLLECT 2204.59/2210.78 c rational objective 55 2250.95/2257.26 c #Conflicts: 1567000 | #Constraints: 28379 2250.95/2257.26 c #Conflicts: 1568000 | #Constraints: 29379 2250.95/2257.26 c #Conflicts: 1569000 | #Constraints: 30379 2250.95/2257.26 c #Conflicts: 1570000 | #Constraints: 31379 2250.95/2257.26 c #Conflicts: 1571000 | #Constraints: 32379 2250.95/2257.26 c #Conflicts: 1572000 | #Constraints: 33379 2250.95/2257.26 c #Conflicts: 1573000 | #Constraints: 34379 2250.95/2257.26 c #Conflicts: 1574000 | #Constraints: 35379 2250.95/2257.26 c #Conflicts: 1575000 | #Constraints: 36379 2250.95/2257.26 c #Conflicts: 1576000 | #Constraints: 37379 2250.95/2257.26 c #Conflicts: 1577000 | #Constraints: 38379 2250.95/2257.26 c #Conflicts: 1578000 | #Constraints: 39379 2250.95/2257.26 c #Conflicts: 1579000 | #Constraints: 40379 2250.95/2257.26 c #Conflicts: 1580000 | #Constraints: 41379 2250.95/2257.26 c #Conflicts: 1581000 | #Constraints: 42379 2250.95/2257.26 c #Conflicts: 1582000 | #Constraints: 43379 2250.95/2257.26 c #Conflicts: 1583000 | #Constraints: 44379 2250.95/2257.26 c #Conflicts: 1584000 | #Constraints: 45379 2250.95/2257.26 c #Conflicts: 1585000 | #Constraints: 46379 2250.95/2257.26 c #Conflicts: 1586000 | #Constraints: 47379 2250.95/2257.26 c #Conflicts: 1587000 | #Constraints: 48379 2250.95/2257.26 c #Conflicts: 1588000 | #Constraints: 49379 2250.95/2257.26 c #Conflicts: 1589000 | #Constraints: 50379 2250.95/2257.26 c #Conflicts: 1590000 | #Constraints: 51379 2250.95/2257.26 c #Conflicts: 1591000 | #Constraints: 52379 2250.95/2257.26 c INPROCESSING 2250.95/2257.26 c GARBAGE COLLECT 2250.95/2257.26 c rational objective 55 2324.03/2330.53 c #Conflicts: 1592000 | #Constraints: 28383 2324.03/2330.53 c #Conflicts: 1593000 | #Constraints: 29383 2324.03/2330.53 c #Conflicts: 1594000 | #Constraints: 30383 2324.03/2330.53 c #Conflicts: 1595000 | #Constraints: 31383 2324.03/2330.53 c #Conflicts: 1596000 | #Constraints: 32383 2324.03/2330.53 c #Conflicts: 1597000 | #Constraints: 33383 2324.03/2330.53 c #Conflicts: 1598000 | #Constraints: 34383 2324.03/2330.53 c #Conflicts: 1599000 | #Constraints: 35383 2324.03/2330.53 c #Conflicts: 1600000 | #Constraints: 36383 2324.03/2330.53 c #Conflicts: 1601000 | #Constraints: 37383 2324.03/2330.53 c #Conflicts: 1602000 | #Constraints: 38383 2324.03/2330.53 c #Conflicts: 1603000 | #Constraints: 39383 2324.03/2330.53 c #Conflicts: 1604000 | #Constraints: 40383 2324.03/2330.53 c #Conflicts: 1605000 | #Constraints: 41383 2324.03/2330.53 c #Conflicts: 1606000 | #Constraints: 42383 2324.03/2330.53 c #Conflicts: 1607000 | #Constraints: 43383 2324.03/2330.53 c bounds 74 >= 55 @ 2282.48 2324.03/2330.53 c #Conflicts: 1608000 | #Constraints: 44384 2324.03/2330.53 c #Conflicts: 1609000 | #Constraints: 45384 2324.03/2330.53 c #Conflicts: 1610000 | #Constraints: 46384 2324.03/2330.53 c #Conflicts: 1611000 | #Constraints: 47384 2324.03/2330.53 c #Conflicts: 1612000 | #Constraints: 48384 2324.03/2330.53 c #Conflicts: 1613000 | #Constraints: 49384 2324.03/2330.53 c #Conflicts: 1614000 | #Constraints: 50384 2324.03/2330.53 c #Conflicts: 1615000 | #Constraints: 51384 2324.03/2330.53 c #Conflicts: 1616000 | #Constraints: 52384 2324.03/2330.53 c INPROCESSING 2324.03/2330.53 c GARBAGE COLLECT 2324.03/2330.53 c rational objective 55 2393.84/2400.55 c #Conflicts: 1617000 | #Constraints: 28171 2393.84/2400.55 c #Conflicts: 1618000 | #Constraints: 29171 2393.84/2400.55 c #Conflicts: 1619000 | #Constraints: 30171 2393.84/2400.55 c #Conflicts: 1620000 | #Constraints: 31171 2393.84/2400.55 c #Conflicts: 1621000 | #Constraints: 32171 2393.84/2400.55 c #Conflicts: 1622000 | #Constraints: 33171 2393.84/2400.55 c #Conflicts: 1623000 | #Constraints: 34171 2393.84/2400.55 c #Conflicts: 1624000 | #Constraints: 35171 2393.84/2400.55 c #Conflicts: 1625000 | #Constraints: 36171 2393.84/2400.55 c #Conflicts: 1626000 | #Constraints: 37171 2393.84/2400.55 c #Conflicts: 1627000 | #Constraints: 38171 2393.84/2400.55 c #Conflicts: 1628000 | #Constraints: 39171 2393.84/2400.55 c #Conflicts: 1629000 | #Constraints: 40171 2393.84/2400.55 c #Conflicts: 1630000 | #Constraints: 41171 2393.84/2400.55 c #Conflicts: 1631000 | #Constraints: 42171 2393.84/2400.55 c #Conflicts: 1632000 | #Constraints: 43171 2393.84/2400.55 c #Conflicts: 1633000 | #Constraints: 44171 2393.84/2400.55 c #Conflicts: 1634000 | #Constraints: 45171 2393.84/2400.55 c #Conflicts: 1635000 | #Constraints: 46171 2393.84/2400.55 c #Conflicts: 1636000 | #Constraints: 47171 2393.84/2400.55 c #Conflicts: 1637000 | #Constraints: 48171 2393.84/2400.55 c #Conflicts: 1638000 | #Constraints: 49171 2393.84/2400.55 c #Conflicts: 1639000 | #Constraints: 50171 2393.84/2400.55 c #Conflicts: 1640000 | #Constraints: 51171 2393.84/2400.55 c #Conflicts: 1641000 | #Constraints: 52171 2393.84/2400.55 c #Conflicts: 1642000 | #Constraints: 53171 2393.84/2400.55 c INPROCESSING 2393.84/2400.55 c GARBAGE COLLECT 2393.84/2400.55 c rational objective 55 2441.59/2448.40 c #Conflicts: 1643000 | #Constraints: 28780 2441.59/2448.40 c #Conflicts: 1644000 | #Constraints: 29780 2441.59/2448.40 c #Conflicts: 1645000 | #Constraints: 30780 2441.59/2448.40 c #Conflicts: 1646000 | #Constraints: 31780 2441.59/2448.40 c #Conflicts: 1647000 | #Constraints: 32780 2441.59/2448.40 c #Conflicts: 1648000 | #Constraints: 33780 2441.59/2448.40 c #Conflicts: 1649000 | #Constraints: 34780 2441.59/2448.40 c #Conflicts: 1650000 | #Constraints: 35780 2441.59/2448.40 c #Conflicts: 1651000 | #Constraints: 36780 2441.59/2448.40 c #Conflicts: 1652000 | #Constraints: 37780 2441.59/2448.40 c #Conflicts: 1653000 | #Constraints: 38780 2441.59/2448.40 c #Conflicts: 1654000 | #Constraints: 39780 2441.59/2448.40 c #Conflicts: 1655000 | #Constraints: 40780 2441.59/2448.40 c #Conflicts: 1656000 | #Constraints: 41780 2441.59/2448.40 c #Conflicts: 1657000 | #Constraints: 42780 2441.59/2448.40 c #Conflicts: 1658000 | #Constraints: 43780 2441.59/2448.40 c #Conflicts: 1659000 | #Constraints: 44780 2441.59/2448.40 c #Conflicts: 1660000 | #Constraints: 45780 2441.59/2448.40 c #Conflicts: 1661000 | #Constraints: 46780 2441.59/2448.40 c #Conflicts: 1662000 | #Constraints: 47780 2441.59/2448.40 c #Conflicts: 1663000 | #Constraints: 48780 2441.59/2448.40 c #Conflicts: 1664000 | #Constraints: 49780 2441.59/2448.40 c #Conflicts: 1665000 | #Constraints: 50780 2441.59/2448.40 c #Conflicts: 1666000 | #Constraints: 51780 2441.59/2448.40 c #Conflicts: 1667000 | #Constraints: 52780 2441.59/2448.40 c #Conflicts: 1668000 | #Constraints: 53780 2441.59/2448.40 c INPROCESSING 2441.59/2448.40 c GARBAGE COLLECT 2441.59/2448.40 c rational objective 55 2532.53/2539.64 c #Conflicts: 1669000 | #Constraints: 29186 2532.53/2539.64 c #Conflicts: 1670000 | #Constraints: 30186 2532.53/2539.64 c #Conflicts: 1671000 | #Constraints: 31186 2532.53/2539.64 c #Conflicts: 1672000 | #Constraints: 32186 2532.53/2539.64 c #Conflicts: 1673000 | #Constraints: 33186 2532.53/2539.64 c #Conflicts: 1674000 | #Constraints: 34186 2532.53/2539.64 c #Conflicts: 1675000 | #Constraints: 35186 2532.53/2539.64 c #Conflicts: 1676000 | #Constraints: 36186 2532.53/2539.64 c #Conflicts: 1677000 | #Constraints: 37186 2532.53/2539.64 c #Conflicts: 1678000 | #Constraints: 38186 2532.53/2539.64 c #Conflicts: 1679000 | #Constraints: 39186 2532.53/2539.64 c #Conflicts: 1680000 | #Constraints: 40186 2532.53/2539.64 c #Conflicts: 1681000 | #Constraints: 41186 2532.53/2539.64 c #Conflicts: 1682000 | #Constraints: 42186 2532.53/2539.64 c #Conflicts: 1683000 | #Constraints: 43186 2532.53/2539.64 c #Conflicts: 1684000 | #Constraints: 44186 2532.53/2539.64 c #Conflicts: 1685000 | #Constraints: 45186 2532.53/2539.64 c #Conflicts: 1686000 | #Constraints: 46186 2532.53/2539.64 c #Conflicts: 1687000 | #Constraints: 47186 2532.53/2539.64 c #Conflicts: 1688000 | #Constraints: 48186 2532.53/2539.64 c #Conflicts: 1689000 | #Constraints: 49186 2532.53/2539.64 c #Conflicts: 1690000 | #Constraints: 50186 2532.53/2539.64 c #Conflicts: 1691000 | #Constraints: 51186 2532.53/2539.64 c #Conflicts: 1692000 | #Constraints: 52186 2532.53/2539.64 c #Conflicts: 1693000 | #Constraints: 53186 2532.53/2539.64 c #Conflicts: 1694000 | #Constraints: 54186 2532.53/2539.64 c INPROCESSING 2532.53/2539.64 c GARBAGE COLLECT 2532.53/2539.64 c rational objective 55 2581.59/2588.81 c #Conflicts: 1695000 | #Constraints: 29398 2581.59/2588.81 c #Conflicts: 1696000 | #Constraints: 30398 2581.59/2588.81 c #Conflicts: 1697000 | #Constraints: 31398 2581.59/2588.81 c #Conflicts: 1698000 | #Constraints: 32398 2581.59/2588.81 c #Conflicts: 1699000 | #Constraints: 33398 2581.59/2588.81 c #Conflicts: 1700000 | #Constraints: 34398 2581.59/2588.81 c #Conflicts: 1701000 | #Constraints: 35398 2581.59/2588.81 c #Conflicts: 1702000 | #Constraints: 36398 2581.59/2588.81 c #Conflicts: 1703000 | #Constraints: 37398 2581.59/2588.81 c #Conflicts: 1704000 | #Constraints: 38398 2581.59/2588.81 c #Conflicts: 1705000 | #Constraints: 39398 2581.59/2588.81 c #Conflicts: 1706000 | #Constraints: 40398 2581.59/2588.81 c #Conflicts: 1707000 | #Constraints: 41398 2581.59/2588.81 c #Conflicts: 1708000 | #Constraints: 42398 2581.59/2588.81 c #Conflicts: 1709000 | #Constraints: 43398 2581.59/2588.81 c #Conflicts: 1710000 | #Constraints: 44398 2581.59/2588.81 c #Conflicts: 1711000 | #Constraints: 45398 2581.59/2588.81 c #Conflicts: 1712000 | #Constraints: 46398 2581.59/2588.81 c #Conflicts: 1713000 | #Constraints: 47398 2581.59/2588.81 c #Conflicts: 1714000 | #Constraints: 48398 2581.59/2588.81 c #Conflicts: 1715000 | #Constraints: 49398 2581.59/2588.81 c #Conflicts: 1716000 | #Constraints: 50398 2581.59/2588.81 c #Conflicts: 1717000 | #Constraints: 51398 2581.59/2588.81 c #Conflicts: 1718000 | #Constraints: 52398 2581.59/2588.81 c #Conflicts: 1719000 | #Constraints: 53398 2581.59/2588.81 c #Conflicts: 1720000 | #Constraints: 54398 2581.59/2588.81 c INPROCESSING 2581.59/2588.81 c GARBAGE COLLECT 2581.59/2588.81 c rational objective 55 2634.83/2642.26 c #Conflicts: 1721000 | #Constraints: 29385 2634.83/2642.26 c #Conflicts: 1722000 | #Constraints: 30385 2634.83/2642.26 c #Conflicts: 1723000 | #Constraints: 31385 2634.83/2642.26 c #Conflicts: 1724000 | #Constraints: 32385 2634.83/2642.26 c #Conflicts: 1725000 | #Constraints: 33385 2634.83/2642.26 c #Conflicts: 1726000 | #Constraints: 34385 2634.83/2642.26 c #Conflicts: 1727000 | #Constraints: 35385 2634.83/2642.26 c #Conflicts: 1728000 | #Constraints: 36385 2634.83/2642.26 c #Conflicts: 1729000 | #Constraints: 37385 2634.83/2642.26 c #Conflicts: 1730000 | #Constraints: 38385 2634.83/2642.26 c #Conflicts: 1731000 | #Constraints: 39385 2634.83/2642.26 c #Conflicts: 1732000 | #Constraints: 40385 2634.83/2642.26 c #Conflicts: 1733000 | #Constraints: 41385 2634.83/2642.26 c #Conflicts: 1734000 | #Constraints: 42385 2634.83/2642.26 c #Conflicts: 1735000 | #Constraints: 43385 2634.83/2642.26 c #Conflicts: 1736000 | #Constraints: 44385 2634.83/2642.26 c #Conflicts: 1737000 | #Constraints: 45385 2634.83/2642.26 c #Conflicts: 1738000 | #Constraints: 46385 2634.83/2642.26 c #Conflicts: 1739000 | #Constraints: 47385 2634.83/2642.26 c #Conflicts: 1740000 | #Constraints: 48385 2634.83/2642.26 c #Conflicts: 1741000 | #Constraints: 49385 2634.83/2642.26 c #Conflicts: 1742000 | #Constraints: 50385 2634.83/2642.26 c #Conflicts: 1743000 | #Constraints: 51385 2634.83/2642.26 c #Conflicts: 1744000 | #Constraints: 52385 2634.83/2642.26 c #Conflicts: 1745000 | #Constraints: 53385 2634.83/2642.26 c #Conflicts: 1746000 | #Constraints: 54385 2634.83/2642.26 c INPROCESSING 2634.83/2642.26 c GARBAGE COLLECT 2634.83/2642.26 c rational objective 55 2736.23/2743.97 c #Conflicts: 1747000 | #Constraints: 29204 2736.23/2743.97 c #Conflicts: 1748000 | #Constraints: 30204 2736.23/2743.97 c #Conflicts: 1749000 | #Constraints: 31204 2736.23/2743.97 c #Conflicts: 1750000 | #Constraints: 32204 2736.23/2743.97 c #Conflicts: 1751000 | #Constraints: 33204 2736.23/2743.97 c #Conflicts: 1752000 | #Constraints: 34204 2736.23/2743.97 c #Conflicts: 1753000 | #Constraints: 35204 2736.23/2743.97 c #Conflicts: 1754000 | #Constraints: 36204 2736.23/2743.97 c #Conflicts: 1755000 | #Constraints: 37204 2736.23/2743.97 c #Conflicts: 1756000 | #Constraints: 38204 2736.23/2743.97 c #Conflicts: 1757000 | #Constraints: 39204 2736.23/2743.97 c #Conflicts: 1758000 | #Constraints: 40204 2736.23/2743.97 c #Conflicts: 1759000 | #Constraints: 41204 2736.23/2743.97 c #Conflicts: 1760000 | #Constraints: 42204 2736.23/2743.97 c #Conflicts: 1761000 | #Constraints: 43204 2736.23/2743.97 c #Conflicts: 1762000 | #Constraints: 44204 2736.23/2743.97 c #Conflicts: 1763000 | #Constraints: 45204 2736.23/2743.97 c #Conflicts: 1764000 | #Constraints: 46204 2736.23/2743.97 c #Conflicts: 1765000 | #Constraints: 47204 2736.23/2743.97 c #Conflicts: 1766000 | #Constraints: 48204 2736.23/2743.97 c #Conflicts: 1767000 | #Constraints: 49204 2736.23/2743.97 c #Conflicts: 1768000 | #Constraints: 50204 2736.23/2743.97 c #Conflicts: 1769000 | #Constraints: 51204 2736.23/2743.97 c #Conflicts: 1770000 | #Constraints: 52204 2736.23/2743.97 c #Conflicts: 1771000 | #Constraints: 53204 2736.23/2743.97 c #Conflicts: 1772000 | #Constraints: 54204 2736.23/2743.97 c #Conflicts: 1773000 | #Constraints: 55204 2736.23/2743.97 c INPROCESSING 2736.23/2743.97 c GARBAGE COLLECT 2736.23/2743.97 c rational objective 55 2789.48/2797.32 c #Conflicts: 1774000 | #Constraints: 29788 2789.48/2797.32 c #Conflicts: 1775000 | #Constraints: 30788 2789.48/2797.32 c #Conflicts: 1776000 | #Constraints: 31788 2789.48/2797.32 c #Conflicts: 1777000 | #Constraints: 32788 2789.48/2797.32 c #Conflicts: 1778000 | #Constraints: 33788 2789.48/2797.32 c #Conflicts: 1779000 | #Constraints: 34788 2789.48/2797.32 c #Conflicts: 1780000 | #Constraints: 35788 2789.48/2797.32 c #Conflicts: 1781000 | #Constraints: 36788 2789.48/2797.32 c #Conflicts: 1782000 | #Constraints: 37788 2789.48/2797.32 c #Conflicts: 1783000 | #Constraints: 38788 2789.48/2797.32 c #Conflicts: 1784000 | #Constraints: 39788 2789.48/2797.32 c #Conflicts: 1785000 | #Constraints: 40788 2789.48/2797.32 c #Conflicts: 1786000 | #Constraints: 41788 2789.48/2797.32 c #Conflicts: 1787000 | #Constraints: 42788 2789.48/2797.32 c #Conflicts: 1788000 | #Constraints: 43788 2789.48/2797.32 c #Conflicts: 1789000 | #Constraints: 44788 2789.48/2797.32 c #Conflicts: 1790000 | #Constraints: 45788 2789.48/2797.32 c #Conflicts: 1791000 | #Constraints: 46788 2789.48/2797.32 c #Conflicts: 1792000 | #Constraints: 47788 2789.48/2797.32 c #Conflicts: 1793000 | #Constraints: 48788 2789.48/2797.32 c #Conflicts: 1794000 | #Constraints: 49788 2789.48/2797.32 c #Conflicts: 1795000 | #Constraints: 50788 2789.48/2797.32 c #Conflicts: 1796000 | #Constraints: 51788 2789.48/2797.32 c #Conflicts: 1797000 | #Constraints: 52788 2789.48/2797.32 c #Conflicts: 1798000 | #Constraints: 53788 2789.48/2797.32 c #Conflicts: 1799000 | #Constraints: 54788 2789.48/2797.32 c #Conflicts: 1800000 | #Constraints: 55788 2789.48/2797.32 c INPROCESSING 2789.48/2797.32 c GARBAGE COLLECT 2789.48/2797.32 c rational objective 55 2841.62/2849.68 c #Conflicts: 1801000 | #Constraints: 30184 2841.62/2849.68 c #Conflicts: 1802000 | #Constraints: 31184 2841.62/2849.68 c #Conflicts: 1803000 | #Constraints: 32184 2841.62/2849.68 c #Conflicts: 1804000 | #Constraints: 33184 2841.62/2849.68 c #Conflicts: 1805000 | #Constraints: 34184 2841.62/2849.68 c #Conflicts: 1806000 | #Constraints: 35184 2841.62/2849.68 c #Conflicts: 1807000 | #Constraints: 36184 2841.62/2849.68 c #Conflicts: 1808000 | #Constraints: 37184 2841.62/2849.68 c #Conflicts: 1809000 | #Constraints: 38184 2841.62/2849.68 c #Conflicts: 1810000 | #Constraints: 39184 2841.62/2849.68 c #Conflicts: 1811000 | #Constraints: 40184 2841.62/2849.68 c #Conflicts: 1812000 | #Constraints: 41184 2841.62/2849.68 c #Conflicts: 1813000 | #Constraints: 42184 2841.62/2849.68 c #Conflicts: 1814000 | #Constraints: 43184 2841.62/2849.68 c #Conflicts: 1815000 | #Constraints: 44184 2841.62/2849.68 c #Conflicts: 1816000 | #Constraints: 45184 2841.62/2849.68 c #Conflicts: 1817000 | #Constraints: 46184 2841.62/2849.68 c #Conflicts: 1818000 | #Constraints: 47184 2841.62/2849.68 c #Conflicts: 1819000 | #Constraints: 48184 2841.62/2849.68 c #Conflicts: 1820000 | #Constraints: 49184 2841.62/2849.68 c #Conflicts: 1821000 | #Constraints: 50184 2841.62/2849.68 c #Conflicts: 1822000 | #Constraints: 51184 2841.62/2849.68 c #Conflicts: 1823000 | #Constraints: 52184 2841.62/2849.68 c #Conflicts: 1824000 | #Constraints: 53184 2841.62/2849.68 c #Conflicts: 1825000 | #Constraints: 54184 2841.62/2849.68 c #Conflicts: 1826000 | #Constraints: 55184 2841.62/2849.68 c #Conflicts: 1827000 | #Constraints: 56184 2841.62/2849.68 c INPROCESSING 2841.62/2849.68 c GARBAGE COLLECT 2841.62/2849.68 c rational objective 55 2937.35/2945.67 c #Conflicts: 1828000 | #Constraints: 30387 2937.35/2945.67 c #Conflicts: 1829000 | #Constraints: 31387 2937.35/2945.67 c #Conflicts: 1830000 | #Constraints: 32387 2937.35/2945.67 c #Conflicts: 1831000 | #Constraints: 33387 2937.35/2945.67 c #Conflicts: 1832000 | #Constraints: 34387 2937.35/2945.67 c #Conflicts: 1833000 | #Constraints: 35387 2937.35/2945.67 c #Conflicts: 1834000 | #Constraints: 36387 2937.35/2945.67 c #Conflicts: 1835000 | #Constraints: 37387 2937.35/2945.67 c #Conflicts: 1836000 | #Constraints: 38387 2937.35/2945.67 c #Conflicts: 1837000 | #Constraints: 39387 2937.35/2945.67 c #Conflicts: 1838000 | #Constraints: 40387 2937.35/2945.67 c #Conflicts: 1839000 | #Constraints: 41387 2937.35/2945.67 c #Conflicts: 1840000 | #Constraints: 42387 2937.35/2945.67 c #Conflicts: 1841000 | #Constraints: 43387 2937.35/2945.67 c #Conflicts: 1842000 | #Constraints: 44387 2937.35/2945.67 c #Conflicts: 1843000 | #Constraints: 45387 2937.35/2945.67 c #Conflicts: 1844000 | #Constraints: 46387 2937.35/2945.67 c #Conflicts: 1845000 | #Constraints: 47387 2937.35/2945.67 c #Conflicts: 1846000 | #Constraints: 48387 2937.35/2945.67 c #Conflicts: 1847000 | #Constraints: 49387 2937.35/2945.67 c #Conflicts: 1848000 | #Constraints: 50387 2937.35/2945.67 c #Conflicts: 1849000 | #Constraints: 51388 2937.35/2945.67 c #Conflicts: 1850000 | #Constraints: 52388 2937.35/2945.67 c #Conflicts: 1851000 | #Constraints: 53388 2937.35/2945.67 c #Conflicts: 1852000 | #Constraints: 54388 2937.35/2945.67 c #Conflicts: 1853000 | #Constraints: 55388 2937.35/2945.67 c #Conflicts: 1854000 | #Constraints: 56388 2937.35/2945.67 c INPROCESSING 2937.35/2945.67 c GARBAGE COLLECT 2937.35/2945.67 c rational objective 55 2991.89/3000.31 c #Conflicts: 1855000 | #Constraints: 30400 2991.89/3000.31 c #Conflicts: 1856000 | #Constraints: 31400 2991.89/3000.31 c #Conflicts: 1857000 | #Constraints: 32400 2991.89/3000.31 c #Conflicts: 1858000 | #Constraints: 33400 2991.89/3000.31 c #Conflicts: 1859000 | #Constraints: 34400 2991.89/3000.31 c #Conflicts: 1860000 | #Constraints: 35400 2991.89/3000.31 c #Conflicts: 1861000 | #Constraints: 36400 2991.89/3000.31 c #Conflicts: 1862000 | #Constraints: 37400 2991.89/3000.31 c #Conflicts: 1863000 | #Constraints: 38400 2991.89/3000.31 c #Conflicts: 1864000 | #Constraints: 39400 2991.89/3000.31 c #Conflicts: 1865000 | #Constraints: 40400 2991.89/3000.31 c #Conflicts: 1866000 | #Constraints: 41400 2991.89/3000.31 c #Conflicts: 1867000 | #Constraints: 42400 2991.89/3000.31 c #Conflicts: 1868000 | #Constraints: 43400 2991.89/3000.31 c #Conflicts: 1869000 | #Constraints: 44400 2991.89/3000.31 c #Conflicts: 1870000 | #Constraints: 45400 2991.89/3000.31 c #Conflicts: 1871000 | #Constraints: 46400 2991.89/3000.31 c #Conflicts: 1872000 | #Constraints: 47400 2991.89/3000.31 c #Conflicts: 1873000 | #Constraints: 48400 2991.89/3000.31 c #Conflicts: 1874000 | #Constraints: 49400 2991.89/3000.31 c #Conflicts: 1875000 | #Constraints: 50400 2991.89/3000.31 c #Conflicts: 1876000 | #Constraints: 51400 2991.89/3000.31 c #Conflicts: 1877000 | #Constraints: 52400 2991.89/3000.31 c #Conflicts: 1878000 | #Constraints: 53400 2991.89/3000.31 c #Conflicts: 1879000 | #Constraints: 54400 2991.89/3000.31 c #Conflicts: 1880000 | #Constraints: 55400 2991.89/3000.31 c #Conflicts: 1881000 | #Constraints: 56400 2991.89/3000.31 c INPROCESSING 2991.89/3000.31 c GARBAGE COLLECT 2991.89/3000.31 c rational objective 55 3108.85/3117.69 c #Conflicts: 1882000 | #Constraints: 30199 3108.85/3117.69 c #Conflicts: 1883000 | #Constraints: 31199 3108.85/3117.69 c #Conflicts: 1884000 | #Constraints: 32199 3108.85/3117.69 c #Conflicts: 1885000 | #Constraints: 33199 3108.85/3117.69 c #Conflicts: 1886000 | #Constraints: 34199 3108.85/3117.69 c #Conflicts: 1887000 | #Constraints: 35199 3108.85/3117.69 c #Conflicts: 1888000 | #Constraints: 36199 3108.85/3117.69 c #Conflicts: 1889000 | #Constraints: 37199 3108.85/3117.69 c #Conflicts: 1890000 | #Constraints: 38199 3108.85/3117.69 c #Conflicts: 1891000 | #Constraints: 39199 3108.85/3117.69 c #Conflicts: 1892000 | #Constraints: 40199 3108.85/3117.69 c #Conflicts: 1893000 | #Constraints: 41199 3108.85/3117.69 c #Conflicts: 1894000 | #Constraints: 42199 3108.85/3117.69 c #Conflicts: 1895000 | #Constraints: 43199 3108.85/3117.69 c #Conflicts: 1896000 | #Constraints: 44199 3108.85/3117.69 c #Conflicts: 1897000 | #Constraints: 45199 3108.85/3117.69 c #Conflicts: 1898000 | #Constraints: 46199 3108.85/3117.69 c #Conflicts: 1899000 | #Constraints: 47199 3108.85/3117.69 c #Conflicts: 1900000 | #Constraints: 48199 3108.85/3117.69 c #Conflicts: 1901000 | #Constraints: 49199 3108.85/3117.69 c #Conflicts: 1902000 | #Constraints: 50199 3108.85/3117.69 c #Conflicts: 1903000 | #Constraints: 51199 3108.85/3117.69 c #Conflicts: 1904000 | #Constraints: 52199 3108.85/3117.69 c #Conflicts: 1905000 | #Constraints: 53199 3108.85/3117.69 c #Conflicts: 1906000 | #Constraints: 54199 3108.85/3117.69 c #Conflicts: 1907000 | #Constraints: 55199 3108.85/3117.69 c #Conflicts: 1908000 | #Constraints: 56199 3108.85/3117.69 c #Conflicts: 1909000 | #Constraints: 57199 3108.85/3117.69 c INPROCESSING 3108.85/3117.69 c GARBAGE COLLECT 3108.85/3117.69 c rational objective 55 3168.19/3177.11 c #Conflicts: 1910000 | #Constraints: 30818 3168.19/3177.11 c #Conflicts: 1911000 | #Constraints: 31818 3168.19/3177.11 c #Conflicts: 1912000 | #Constraints: 32818 3168.19/3177.11 c #Conflicts: 1913000 | #Constraints: 33818 3168.19/3177.11 c #Conflicts: 1914000 | #Constraints: 34818 3168.19/3177.11 c #Conflicts: 1915000 | #Constraints: 35818 3168.19/3177.11 c #Conflicts: 1916000 | #Constraints: 36818 3168.19/3177.11 c #Conflicts: 1917000 | #Constraints: 37818 3168.19/3177.11 c #Conflicts: 1918000 | #Constraints: 38818 3168.19/3177.11 c #Conflicts: 1919000 | #Constraints: 39818 3168.19/3177.11 c #Conflicts: 1920000 | #Constraints: 40818 3168.19/3177.11 c #Conflicts: 1921000 | #Constraints: 41818 3168.19/3177.11 c #Conflicts: 1922000 | #Constraints: 42818 3168.19/3177.11 c #Conflicts: 1923000 | #Constraints: 43818 3168.19/3177.11 c #Conflicts: 1924000 | #Constraints: 44818 3168.19/3177.11 c #Conflicts: 1925000 | #Constraints: 45818 3168.19/3177.11 c #Conflicts: 1926000 | #Constraints: 46818 3168.19/3177.11 c #Conflicts: 1927000 | #Constraints: 47818 3168.19/3177.11 c #Conflicts: 1928000 | #Constraints: 48818 3168.19/3177.11 c #Conflicts: 1929000 | #Constraints: 49818 3168.19/3177.11 c #Conflicts: 1930000 | #Constraints: 50818 3168.19/3177.11 c #Conflicts: 1931000 | #Constraints: 51818 3168.19/3177.11 c #Conflicts: 1932000 | #Constraints: 52818 3168.19/3177.11 c #Conflicts: 1933000 | #Constraints: 53818 3168.19/3177.11 c #Conflicts: 1934000 | #Constraints: 54818 3168.19/3177.11 c #Conflicts: 1935000 | #Constraints: 55818 3168.19/3177.11 c #Conflicts: 1936000 | #Constraints: 56818 3168.19/3177.11 c #Conflicts: 1937000 | #Constraints: 57818 3168.19/3177.11 c INPROCESSING 3168.19/3177.11 c GARBAGE COLLECT 3168.19/3177.11 c rational objective 55 3228.70/3237.82 c #Conflicts: 1938000 | #Constraints: 31216 3228.70/3237.82 c #Conflicts: 1939000 | #Constraints: 32216 3228.70/3237.82 c #Conflicts: 1940000 | #Constraints: 33216 3228.70/3237.82 c #Conflicts: 1941000 | #Constraints: 34216 3228.70/3237.82 c #Conflicts: 1942000 | #Constraints: 35216 3228.70/3237.82 c #Conflicts: 1943000 | #Constraints: 36216 3228.70/3237.82 c #Conflicts: 1944000 | #Constraints: 37216 3228.70/3237.82 c #Conflicts: 1945000 | #Constraints: 38216 3228.70/3237.82 c #Conflicts: 1946000 | #Constraints: 39216 3228.70/3237.82 c #Conflicts: 1947000 | #Constraints: 40216 3228.70/3237.82 c #Conflicts: 1948000 | #Constraints: 41216 3228.70/3237.82 c #Conflicts: 1949000 | #Constraints: 42216 3228.70/3237.82 c #Conflicts: 1950000 | #Constraints: 43216 3228.70/3237.82 c #Conflicts: 1951000 | #Constraints: 44216 3228.70/3237.82 c #Conflicts: 1952000 | #Constraints: 45216 3228.70/3237.82 c #Conflicts: 1953000 | #Constraints: 46216 3228.70/3237.82 c #Conflicts: 1954000 | #Constraints: 47216 3228.70/3237.82 c #Conflicts: 1955000 | #Constraints: 48216 3228.70/3237.82 c #Conflicts: 1956000 | #Constraints: 49216 3228.70/3237.82 c #Conflicts: 1957000 | #Constraints: 50216 3228.70/3237.82 c #Conflicts: 1958000 | #Constraints: 51216 3228.70/3237.82 c #Conflicts: 1959000 | #Constraints: 52216 3228.70/3237.82 c #Conflicts: 1960000 | #Constraints: 53216 3228.70/3237.82 c #Conflicts: 1961000 | #Constraints: 54216 3228.70/3237.82 c #Conflicts: 1962000 | #Constraints: 55216 3228.70/3237.82 c #Conflicts: 1963000 | #Constraints: 56216 3228.70/3237.82 c #Conflicts: 1964000 | #Constraints: 57216 3228.70/3237.82 c #Conflicts: 1965000 | #Constraints: 58216 3228.70/3237.82 c INPROCESSING 3228.70/3237.82 c GARBAGE COLLECT 3228.70/3237.82 c rational objective 55 3360.21/3369.75 c #Conflicts: 1966000 | #Constraints: 31391 3360.21/3369.75 c #Conflicts: 1967000 | #Constraints: 32391 3360.21/3369.75 c #Conflicts: 1968000 | #Constraints: 33391 3360.21/3369.75 c #Conflicts: 1969000 | #Constraints: 34391 3360.21/3369.75 c #Conflicts: 1970000 | #Constraints: 35392 3360.21/3369.75 c #Conflicts: 1971000 | #Constraints: 36392 3360.21/3369.75 c #Conflicts: 1972000 | #Constraints: 37392 3360.21/3369.75 c #Conflicts: 1973000 | #Constraints: 38392 3360.21/3369.75 c #Conflicts: 1974000 | #Constraints: 39392 3360.21/3369.75 c #Conflicts: 1975000 | #Constraints: 40392 3360.21/3369.75 c #Conflicts: 1976000 | #Constraints: 41392 3360.21/3369.75 c #Conflicts: 1977000 | #Constraints: 42392 3360.21/3369.75 c #Conflicts: 1978000 | #Constraints: 43392 3360.21/3369.75 c #Conflicts: 1979000 | #Constraints: 44392 3360.21/3369.75 c #Conflicts: 1980000 | #Constraints: 45392 3360.21/3369.75 c #Conflicts: 1981000 | #Constraints: 46392 3360.21/3369.75 c #Conflicts: 1982000 | #Constraints: 47392 3360.21/3369.75 c #Conflicts: 1983000 | #Constraints: 48392 3360.21/3369.75 c #Conflicts: 1984000 | #Constraints: 49392 3360.21/3369.75 c #Conflicts: 1985000 | #Constraints: 50392 3360.21/3369.75 c #Conflicts: 1986000 | #Constraints: 51392 3360.21/3369.75 c #Conflicts: 1987000 | #Constraints: 52392 3360.21/3369.75 c #Conflicts: 1988000 | #Constraints: 53392 3360.21/3369.75 c #Conflicts: 1989000 | #Constraints: 54392 3360.21/3369.75 c #Conflicts: 1990000 | #Constraints: 55392 3360.21/3369.75 c #Conflicts: 1991000 | #Constraints: 56392 3360.21/3369.75 c #Conflicts: 1992000 | #Constraints: 57392 3360.21/3369.75 c #Conflicts: 1993000 | #Constraints: 58392 3360.21/3369.75 c INPROCESSING 3360.21/3369.75 c GARBAGE COLLECT 3360.21/3369.75 c rational objective 55 3421.92/3431.69 c #Conflicts: 1994000 | #Constraints: 31386 3421.92/3431.69 c #Conflicts: 1995000 | #Constraints: 32386 3421.92/3431.69 c #Conflicts: 1996000 | #Constraints: 33386 3421.92/3431.69 c #Conflicts: 1997000 | #Constraints: 34386 3421.92/3431.69 c #Conflicts: 1998000 | #Constraints: 35386 3421.92/3431.69 c #Conflicts: 1999000 | #Constraints: 36386 3421.92/3431.69 c #Conflicts: 2000000 | #Constraints: 37386 3421.92/3431.69 c #Conflicts: 2001000 | #Constraints: 38386 3421.92/3431.69 c #Conflicts: 2002000 | #Constraints: 39386 3421.92/3431.69 c #Conflicts: 2003000 | #Constraints: 40386 3421.92/3431.69 c #Conflicts: 2004000 | #Constraints: 41386 3421.92/3431.69 c #Conflicts: 2005000 | #Constraints: 42386 3421.92/3431.69 c #Conflicts: 2006000 | #Constraints: 43386 3421.92/3431.69 c #Conflicts: 2007000 | #Constraints: 44386 3421.92/3431.69 c #Conflicts: 2008000 | #Constraints: 45386 3421.92/3431.69 c #Conflicts: 2009000 | #Constraints: 46386 3421.92/3431.69 c #Conflicts: 2010000 | #Constraints: 47386 3421.92/3431.69 c #Conflicts: 2011000 | #Constraints: 48386 3421.92/3431.69 c #Conflicts: 2012000 | #Constraints: 49386 3421.92/3431.69 c #Conflicts: 2013000 | #Constraints: 50386 3421.92/3431.69 c #Conflicts: 2014000 | #Constraints: 51386 3421.92/3431.69 c #Conflicts: 2015000 | #Constraints: 52386 3421.92/3431.69 c #Conflicts: 2016000 | #Constraints: 53386 3421.92/3431.69 c #Conflicts: 2017000 | #Constraints: 54386 3421.92/3431.69 c #Conflicts: 2018000 | #Constraints: 55386 3421.92/3431.69 c #Conflicts: 2019000 | #Constraints: 56386 3421.92/3431.69 c #Conflicts: 2020000 | #Constraints: 57386 3421.92/3431.69 c #Conflicts: 2021000 | #Constraints: 58386 3421.92/3431.69 c INPROCESSING 3421.92/3431.69 c GARBAGE COLLECT 3421.92/3431.69 c rational objective 55 3482.95/3492.87 c #Conflicts: 2022000 | #Constraints: 31178 3482.95/3492.87 c #Conflicts: 2023000 | #Constraints: 32178 3482.95/3492.87 c #Conflicts: 2024000 | #Constraints: 33178 3482.95/3492.87 c #Conflicts: 2025000 | #Constraints: 34178 3482.95/3492.87 c #Conflicts: 2026000 | #Constraints: 35178 3482.95/3492.87 c #Conflicts: 2027000 | #Constraints: 36178 3482.95/3492.87 c #Conflicts: 2028000 | #Constraints: 37178 3482.95/3492.87 c #Conflicts: 2029000 | #Constraints: 38178 3482.95/3492.87 c #Conflicts: 2030000 | #Constraints: 39178 3482.95/3492.87 c #Conflicts: 2031000 | #Constraints: 40178 3482.95/3492.87 c #Conflicts: 2032000 | #Constraints: 41178 3482.95/3492.87 c #Conflicts: 2033000 | #Constraints: 42178 3482.95/3492.87 c #Conflicts: 2034000 | #Constraints: 43178 3482.95/3492.87 c #Conflicts: 2035000 | #Constraints: 44178 3482.95/3492.87 c #Conflicts: 2036000 | #Constraints: 45178 3482.95/3492.87 c #Conflicts: 2037000 | #Constraints: 46178 3482.95/3492.87 c #Conflicts: 2038000 | #Constraints: 47178 3482.95/3492.87 c #Conflicts: 2039000 | #Constraints: 48178 3482.95/3492.87 c #Conflicts: 2040000 | #Constraints: 49178 3482.95/3492.87 c #Conflicts: 2041000 | #Constraints: 50178 3482.95/3492.87 c #Conflicts: 2042000 | #Constraints: 51178 3482.95/3492.87 c #Conflicts: 2043000 | #Constraints: 52178 3482.95/3492.87 c #Conflicts: 2044000 | #Constraints: 53178 3482.95/3492.87 c #Conflicts: 2045000 | #Constraints: 54178 3482.95/3492.87 c #Conflicts: 2046000 | #Constraints: 55178 3482.95/3492.87 c #Conflicts: 2047000 | #Constraints: 56178 3482.95/3492.87 c #Conflicts: 2048000 | #Constraints: 57179 3482.95/3492.87 c #Conflicts: 2049000 | #Constraints: 58179 3482.95/3492.87 c #Conflicts: 2050000 | #Constraints: 59179 3482.95/3492.87 c INPROCESSING 3482.95/3492.87 c GARBAGE COLLECT 3482.95/3492.87 c rational objective 55 3600.01/3610.20 c #Conflicts: 2051000 | #Constraints: 31771 3600.01/3610.20 c #Conflicts: 2052000 | #Constraints: 32771 3600.01/3610.20 c #Conflicts: 2053000 | #Constraints: 33771 3600.01/3610.20 c #Conflicts: 2054000 | #Constraints: 34771 3600.01/3610.20 c #Conflicts: 2055000 | #Constraints: 35771 3600.01/3610.20 c #Conflicts: 2056000 | #Constraints: 36771 3600.01/3610.20 c #Conflicts: 2057000 | #Constraints: 37771 3600.01/3610.20 c #Conflicts: 2058000 | #Constraints: 38771 3600.01/3610.20 c #Conflicts: 2059000 | #Constraints: 39771 3600.01/3610.20 c #Conflicts: 2060000 | #Constraints: 40771 3600.01/3610.20 c #Conflicts: 2061000 | #Constraints: 41771 3600.01/3610.20 c #Conflicts: 2062000 | #Constraints: 42771 3600.01/3610.20 c #Conflicts: 2063000 | #Constraints: 43771 3600.01/3610.20 c #Conflicts: 2064000 | #Constraints: 44771 3600.01/3610.20 c #Conflicts: 2065000 | #Constraints: 45771 3600.01/3610.20 c #Conflicts: 2066000 | #Constraints: 46771 3600.01/3610.20 c #Conflicts: 2067000 | #Constraints: 47771 3600.01/3610.20 c #Conflicts: 2068000 | #Constraints: 48771 3600.01/3610.20 c #Conflicts: 2069000 | #Constraints: 49771 3600.01/3610.20 c #Conflicts: 2070000 | #Constraints: 50771 3600.01/3610.20 c #Conflicts: 2071000 | #Constraints: 51771 3600.01/3610.20 c #Conflicts: 2072000 | #Constraints: 52771 3600.01/3610.20 c #Conflicts: 2073000 | #Constraints: 53771 3600.01/3610.20 c #Conflicts: 2074000 | #Constraints: 54771 3600.01/3610.20 c Program interrupted by user. 3600.01/3610.20 c cpu time 3575.63 s 3600.01/3610.20 c deterministic time 365046002439 3.65e+11 3600.01/3610.20 c optimization time 116.561 s 3600.01/3610.20 c total solve time 3459.01 s 3600.01/3610.20 c core-guided solve time 1657.84 s 3600.01/3610.20 c propagation time 3295.18 s 3600.01/3610.20 c conflict analysis time 252.106 s 3600.01/3610.20 c propagations 452568620 3600.01/3610.20 c resolve steps 11546121 3600.01/3610.20 c decisions 6087973 3600.01/3610.20 c conflicts 2074499 3600.01/3610.20 c restarts 4090 3600.01/3610.20 c inprocessing phases 134 3600.01/3610.20 c input clauses 1 3600.01/3610.20 c input cardinalities 0 3600.01/3610.20 c input general constraints 2449 3600.01/3610.20 c input average constraint length 25.29 3600.01/3610.20 c input average constraint degree 232.56 3600.01/3610.20 c learned clauses 780125 3600.01/3610.20 c learned cardinalities 11 3600.01/3610.20 c learned general constraints 1294366 3600.01/3610.20 c learned average constraint length 38.28 3600.01/3610.20 c learned average constraint degree 997581.69 3600.01/3610.20 c watched constraints 1284593 3600.01/3610.20 c counting constraints 12222 3600.01/3610.20 c gcd simplifications 21044 3600.01/3610.20 c detected cardinalities 11 3600.01/3610.20 c weakened non-implied lits 5842332 3600.01/3610.20 c weakened non-implying lits 11026 3600.01/3610.20 c original variables 1288 3600.01/3610.20 c clausal propagations 7544885 3600.01/3610.20 c cardinality propagations 238 3600.01/3610.20 c watched propagations 426456757 3600.01/3610.20 c counting propagations 17277171 3600.01/3610.20 c watch lookups 67494154296 3600.01/3610.20 c watch backjump lookups 58837173567 3600.01/3610.20 c watch checks 162432867524 3600.01/3610.20 c propagation checks 75012120482 3600.01/3610.20 c constraint additions 348216465 3600.01/3610.20 c trail pops 460730491 3600.01/3610.20 c formula constraints 2431 3600.01/3610.20 c learned constraints 2074494 3600.01/3610.20 c bound constraints 19 3600.01/3610.20 c core-guided constraints 0 3600.01/3610.20 c encountered formula constraints 8254425 3600.01/3610.20 c encountered learned constraints 5353026 3600.01/3610.20 c encountered bound constraints 12212 3600.01/3610.20 c encountered core-guided constraints 0 3600.01/3610.20 c LP total time 53.8013 s 3600.01/3610.20 c LP solve time 49.39 s 3600.01/3610.20 c LP constraints added 3270 3600.01/3610.20 c LP constraints removed 832 3600.01/3610.20 c LP pivots internal 2074524 3600.01/3610.20 c LP pivots root 8496 3600.01/3610.20 c LP calls 19798 3600.01/3610.20 c LP optimalities 19794 3600.01/3610.20 c LP no pivot count 2072 3600.01/3610.20 c LP infeasibilities 4 3600.01/3610.20 c LP valid Farkas constraints 4 3600.01/3610.20 c LP learned Farkas constraints 4 3600.01/3610.20 c LP basis resets 0 3600.01/3610.20 c LP cycling count 0 3600.01/3610.20 c LP singular count 0 3600.01/3610.20 c LP no primal count 0 3600.01/3610.20 c LP no farkas count 0 3600.01/3610.20 c LP other issue count 0 3600.01/3610.20 c LP Gomory cuts 0 3600.01/3610.20 c LP learned cuts 839 3600.01/3610.20 c LP deleted cuts 832 3600.01/3610.20 c LP encountered Gomory constraints 0 3600.01/3610.20 c LP encountered Farkas constraints 939 3600.01/3610.20 c LP encountered learned Farkas constraints 14 3600.01/3610.20 c CG auxiliary variables introduced 0 3600.01/3610.20 c CG solutions found 19 3600.01/3610.20 c CG cores constructed 1 3600.01/3610.20 c CG core cardinality constraints returned 0 3600.01/3610.20 c CG unit cores 1 3600.01/3610.20 c CG single cores 0 3600.01/3610.20 c CG blocks removed during cardinality reduction 0 3600.01/3610.20 c CG first core best 0 3600.01/3610.20 c CG decision core best 0 3600.01/3610.20 c CG core reduction tie 0 3600.01/3610.20 c CG core degree average 0.00 3600.01/3610.20 c CG core slack average 0.00 3600.01/3610.20 s SATISFIABLE 3600.01/3610.20 v x1 x2 -x3 -x4 x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 x24 -x25 -x26 -x27 -x28 x29 x30 -x31 -x32 x33 -x34 -x35 -x36 x37 x38 x39 x40 -x41 -x42 -x43 -x44 x45 x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 x58 -x59 -x60 -x61 x62 -x63 x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 x73 x74 x75 -x76 -x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 -x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 -x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 -x233 x234 x235 -x236 -x237 -x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 -x260 -x261 x262 x263 x264 x265 x266 -x267 -x268 -x269 x270 x271 x272 -x273 -x274 x275 x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 -x300 x301 x302 x303 x304 x305 -x306 -x307 -x308 x309 x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 -x348 -x349 x350 x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 x374 x375 x376 x377 x378 x379 x380 x381 x382 x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 x408 x409 x410 x411 x412 -x413 x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 x435 x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 x464 x465 x466 x467 x468 x469 x470 x471 x472 x473 x474 x475 x476 x477 x478 x479 x480 x481 x482 x483 x484 x485 x486 x487 x488 x489 x490 x491 x492 x493 x494 x495 x496 x497 x498 x499 x500 x501 x502 x503 x504 x505 x506 -x507 x508 x509 x510 x511 x512 x513 x514 x515 x516 x517 x518 x519 x520 x521 x522 x523 x524 x525 x526 x527 x528 x529 x530 -x531 x532 x533 x534 x535 x536 x537 x538 x539 x540 x541 x542 x543 x544 x545 -x546 x547 x548 -x549 -x550 -x551 x552 x553 x554 x555 x556 x557 x558 x559 x560 x561 x562 x563 x564 x565 -x566 -x567 x568 x569 x570 x571 x572 -x573 -x574 -x575 x576 x577 x578 -x579 -x580 x581 x582 x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 x594 x595 x596 x597 x598 x599 -x600 x601 x602 x603 x604 x605 -x606 -x607 -x608 x609 x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 x633 x634 x635 x636 x637 x638 x639 x640 x641 x642 -x643 -x644 x645 x646 x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 x669 x670 x671 x672 x673 x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 x698 x699 x700 -x701 x702 x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 x749 x750 x751 x752 x753 x754 x755 x756 x757 x758 x759 x760 x761 x762 -x763 x764 x765 x766 x767 x768 x769 x770 x771 x772 x773 x774 x775 x776 x777 x778 x779 x780 -x781 -x782 -x783 x784 x785 x786 x787 x788 x789 x790 -x791 -x792 x793 x794 x795 x796 x797 -x798 -x799 -x800 x801 x802 x803 -x804 -x805 x806 x807 x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 x820 x821 x822 x823 x824 -x825 -x826 -x827 x828 x829 x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 x852 x853 x854 x855 x856 -x857 -x858 x859 x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 x882 x883 x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 x908 x909 x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 x954 x955 x956 x957 x958 -x959 -x960 x961 x962 x963 x964 -x965 x966 x967 x968 x969 -x970 -x971 x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 x982 x983 x984 x985 -x986 -x987 -x988 -x989 x990 x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 x1009 x1010 x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (63444 MiB free)
memory of node 1: 64473 MiB (63939 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462583-1722340768/watcher-4462583-1722340768 -o /tmp/evaluation-result-4462583-1722340768/solver-4462583-1722340768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722340763-6756 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462583-1722340768 --lp-cut-gomory=0 HOME/instance-4462583-1722340768.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=6961, runsolver pid=6958
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 0.38 0.15 0.11 5/244 6976
/proc/meminfo: memFree=130432788/131655788 swapFree=131071996/131071996
[pid=6961] ppid=6958 vsize=43180 memory=13608 CPUtime=0.1 cores=4,6
/proc/6961/stat : 6961 (roundingsat) R 6958 6961 6745 0 -1 4194304 3140 0 0 0 9 1 0 0 20 0 1 0 673300 44216320 3402 134679101440 4194304 8255733 140725495110688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14802944 140725495112542 140725495112804 140725495112804 140725495119817 0
/proc/6961/statm: 10795 3402 1746 992 0 2653 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43180 KiB
Current children cumulated memory: 13608 KiB
[startup+0.213153 s]*
/proc/loadavg: 0.38 0.15 0.11 4/243 6976
/proc/meminfo: memFree=130429672/131655788 swapFree=131071996/131071996
[pid=6961] ppid=6958 vsize=45968 memory=16468 CPUtime=0.21 cores=4,6
/proc/6961/stat : 6961 (roundingsat) R 6958 6961 6745 0 -1 4194304 3829 0 0 0 19 2 0 0 20 0 1 0 673300 47071232 4117 134679101440 4194304 8255733 140725495110688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14802944 140725495112542 140725495112804 140725495112804 140725495119817 0
/proc/6961/statm: 11492 4117 1824 992 0 3350 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 45968 KiB
Current children cumulated memory: 16468 KiB
[startup+0.313605 s]*
/proc/loadavg: 0.38 0.15 0.11 5/241 6995
/proc/meminfo: memFree=130435456/131655788 swapFree=131071996/131071996
[pid=6961] ppid=6958 vsize=45968 memory=16468 CPUtime=0.31 cores=4,6
/proc/6961/stat : 6961 (roundingsat) R 6958 6961 6745 0 -1 4194304 3847 0 0 0 28 3 0 0 20 0 1 0 673300 47071232 4117 134679101440 4194304 8255733 140725495110688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14802944 140725495112542 140725495112804 140725495112804 140725495119817 0
/proc/6961/statm: 11492 4117 1824 992 0 3350 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 45968 KiB
Current children cumulated memory: 16468 KiB
[startup+0.700273 s]
/proc/loadavg: 0.38 0.15 0.11 5/242 7003
/proc/meminfo: memFree=130422928/131655788 swapFree=131071996/131071996
[pid=6961] ppid=6958 vsize=47348 memory=20140 CPUtime=0.68 cores=4,6
/proc/6961/stat : 6961 (roundingsat) R 6958 6961 6745 0 -1 4194304 4458 0 0 0 63 5 0 0 20 0 1 0 673300 48484352 5035 134679101440 4194304 8255733 140725495110688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14802944 140725495112542 140725495112804 140725495112804 140725495119817 0
/proc/6961/statm: 11837 5035 1840 992 0 3695 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 47348 KiB
Current children cumulated memory: 20140 KiB
[startup+1.50026 s]
/proc/loadavg: 0.38 0.15 0.11 5/246 7011
/proc/meminfo: memFree=130397860/131655788 swapFree=131071996/131071996
[pid=6961] ppid=6958 vsize=47584 memory=20512 CPUtime=1.48 cores=4,6
/proc/6961/stat : 6961 (roundingsat) R 6958 6961 6745 0 -1 4194304 4818 0 0 0 140 8 0 0 20 0 1 0 673300 48726016 5128 134679101440 4194304 8255733 140725495110688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14802944 140725495112542 140725495112804 140725495112804 140725495119817 0
/proc/6961/statm: 11896 5128 1840 992 0 3754 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 47584 KiB
Current children cumulated memory: 20512 KiB
[startup+3.1132 s]
/proc/loadavg: 0.38 0.15 0.11 5/246 7011
/proc/meminfo: memFree=130294960/131655788 swapFree=131071996/131071996
[pid=6961] ppid=6958 vsize=47584 memory=20512 CPUtime=3.09 cores=4,6
/proc/6961/stat : 6961 (roundingsat) R 6958 6961 6745 0 -1 4194304 4819 0 0 0 295 14 0 0 20 0 1 0 673300 48726016 5128 134679101440 4194304 8255733 140725495110688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14802944 140725495112542 140725495112804 140725495112804 140725495119817 0
/proc/6961/statm: 11896 5128 1840 992 0 3754 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 47584 KiB
Current children cumulated memory: 20512 KiB
[startup+6.30024 s]
/proc/loadavg: 0.67 0.21 0.13 5/246 7011
/proc/meminfo: memFree=130203316/131655788 swapFree=131071996/131071996
[pid=6961] ppid=6958 vsize=47744 memory=20512 CPUtime=6.28 cores=4,6
/proc/6961/stat : 6961 (roundingsat) R 6958 6961 6745 0 -1 4194304 4865 0 0 0 604 24 0 0 20 0 1 0 673300 48889856 5128 134679101440 4194304 8255733 140725495110688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14802944 140725495112542 140725495112804 140725495112804 140725495119817 0
/proc/6961/statm: 11936 5128 1840 992 0 3794 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 47744 KiB
Current children cumulated memory: 20512 KiB
[startup+12.7003 s]
/proc/loadavg: 0.93 0.28 0.15 5/246 7012
/proc/meminfo: memFree=130041664/131655788 swapFree=131071996/131071996
[pid=6961] ppid=6958 vsize=47940 memory=20956 CPUtime=12.66 cores=4,6
/proc/6961/stat : 6961 (roundingsat) R 6958 6961 6745 0 -1 4194304 4905 0 0 0 1224 42 0 0 20 0 1 0 673300 49090560 5239 134679101440 4194304 8255733 140725495110688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14802944 140725495112542 140725495112804 140725495112804 140725495119817 0
/proc/6961/statm: 11985 5239 1894 992 0 3843 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 47940 KiB
Current children cumulated memory: 20956 KiB
[startup+25.5003 s]
/proc/loadavg: 1.61 0.46 0.21 5/246 7014
/proc/meminfo: memFree=129762000/131655788 swapFree=131071996/131071996
[pid=6961] ppid=6958 vsize=49640 memory=22988 CPUtime=25.43 cores=4,6
/proc/6961/stat : 6961 (roundingsat) R 6958 6961 6745 0 -1 4194304 5468 0 0 0 2473 70 0 0 20 0 1 0 673300 50831360 5747 134679101440 4194304 8255733 140725495110688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14802944 140725495112542 140725495112804 140725495112804 140725495119817 0
/proc/6961/statm: 12410 5747 1894 992 0 4268 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 49640 KiB
Current children cumulated memory: 22988 KiB
[startup+51.1127 s]
/proc/loadavg: 2.49 0.76 0.32 5/250 7024
/proc/meminfo: memFree=129115652/131655788 swapFree=131071996/131071996
[pid=6961] ppid=6958 vsize=51420 memory=25580 CPUtime=50.98 cores=4,6
/proc/6961/stat : 6961 (roundingsat) R 6958 6961 6745 0 -1 4194304 6111 0 0 0 4978 120 0 0 20 0 1 0 673300 52654080 6395 134679101440 4194304 8255733 140725495110688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14802944 140725495112542 140725495112804 140725495112804 140725495119817 0
/proc/6961/statm: 12855 6395 1894 992 0 4713 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 51420 KiB
Current children cumulated memory: 25580 KiB
[startup+102.3 s]
/proc/loadavg: 3.40 1.28 0.52 5/244 7071
/proc/meminfo: memFree=127714252/131655788 swapFree=131071996/131071996
[pid=6961] ppid=6958 vsize=56468 memory=28644 CPUtime=102.04 cores=4,6
/proc/6961/stat : 6961 (roundingsat) R 6958 6961 6745 0 -1 4194304 6929 0 0 0 9996 208 0 0 20 0 1 0 673300 57823232 7161 134679101440 4194304 8255733 140725495110688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14802944 140725495112542 140725495112804 140725495112804 140725495119817 0
/proc/6961/statm: 14117 7161 1894 992 0 5975 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 56468 KiB
Current children cumulated memory: 28644 KiB
[startup+162.3 s]
/proc/loadavg: 3.86 1.80 0.75 5/251 7102
/proc/meminfo: memFree=125350904/131655788 swapFree=131071996/131071996
[pid=6961] ppid=6958 vsize=57944 memory=31020 CPUtime=161.9 cores=4,6
/proc/6961/stat : 6961 (roundingsat) R 6958 6961 6745 0 -1 4194304 7498 0 0 0 15891 299 0 0 20 0 1 0 673300 59334656 7755 134679101440 4194304 8255733 140725495110688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14802944 140725495112542 140725495112804 140725495112804 140725495119817 0
/proc/6961/statm: 14486 7755 1894 992 0 6344 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 57944 KiB
Current children cumulated memory: 31020 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.24 0.97 5/251 7115
/proc/meminfo: memFree=123609212/131655788 swapFree=131071996/131071996
[pid=6961] ppid=6958 vsize=59636 memory=33652 CPUtime=221.75 cores=4,6
/proc/6961/stat : 6961 (roundingsat) R 6958 6961 6745 0 -1 4194304 8173 0 0 0 21796 379 0 0 20 0 1 0 673300 61067264 8413 134679101440 4194304 8255733 140725495110688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14802944 140725495112542 140725495112804 140725495112804 140725495119817 0
/proc/6961/statm: 14909 8413 1894 992 0 6767 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 59636 KiB
Current children cumulated memory: 33652 KiB
[startup+282.3 s]
/proc/loadavg: 4.02 2.56 1.16 5/251 7125
/proc/meminfo: memFree=123268552/131655788 swapFree=131071996/131071996
[pid=6961] ppid=6958 vsize=65048 memory=37680 CPUtime=281.6 cores=4,6
/proc/6961/stat : 6961 (roundingsat) R 6958 6961 6745 0 -1 4194304 8673 0 0 0 27708 452 0 0 20 0 1 0 673300 66609152 9420 134679101440 4194304 8255733 140725495110688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14802944 140725495112542 140725495112804 140725495112804 140725495119817 0
/proc/6961/statm: 16262 9420 1894 992 0 8120 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 65048 KiB
Current children cumulated memory: 37680 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 2.87 1.36 5/249 7135
/proc/meminfo: memFree=122859672/131655788 swapFree=131071996/131071996
[pid=6961] ppid=6958 vsize=66264 memory=38992 CPUtime=341.44 cores=4,6
/proc/6961/stat : 6961 (roundingsat) R 6958 6961 6745 0 -1 4194304 9010 0 0 0 33625 519 0 0 20 0 1 0 673300 67854336 9748 134679101440 4194304 8255733 140725495110688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14802944 140725495112542 140725495112804 140725495112804 140725495119817 0
/proc/6961/statm: 16566 9748 1894 992 0 8424 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 66264 KiB
Current children cumulated memory: 38992 KiB
[startup+402.3 s]
/proc/loadavg: 4.25 3.15 1.55 5/248 7147
/proc/meminfo: memFree=121129812/131655788 swapFree=131071996/131071996
[pid=6961] ppid=6958 vsize=66652 memory=39252 CPUtime=401.28 cores=4,6
/proc/6961/stat : 6961 (roundingsat) R 6958 6961 6745 0 -1 4194304 9079 0 0 0 39535 593 0 0 20 0 1 0 673300 68251648 9813 134679101440 4194304 8255733 140725495110688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14802944 140725495112542 140725495112804 140725495112804 140725495119817 0
/proc/6961/statm: 16663 9813 1894 992 0 8521 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 66652 KiB
Current children cumulated memory: 39252 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.32 1.71 5/248 7158
/proc/meminfo: memFree=118822212/131655788 swapFree=131071996/131071996
[pid=6961] ppid=6958 vsize=66652 memory=39512 CPUtime=461.12 cores=4,6
/proc/6961/stat : 6961 (roundingsat) R 6958 6961 6745 0 -1 4194304 9135 0 0 0 45455 657 0 0 20 0 1 0 673300 68251648 9878 134679101440 4194304 8255733 140725495110688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14802944 140725495112542 140725495112804 140725495112804 140725495119817 0
/proc/6961/statm: 16663 9878 1894 992 0 8521 0
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 4.09 4.18 4.09 5/247 8285
/proc/meminfo: memFree=69950376/131655788 swapFree=131071996/131071996
[pid=6961] ppid=6958 vsize=87724 memory=62056 CPUtime=3033.77 cores=4,6
/proc/6961/stat : 6961 (roundingsat) R 6958 6961 6745 0 -1 4194304 13715 0 0 0 301161 2216 0 0 20 0 1 0 673300 89829376 15514 134679101440 4194304 8255733 140725495110688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14802944 140725495112542 140725495112804 140725495112804 140725495119817 0
/proc/6961/statm: 21931 15514 1910 992 0 13789 0
Current children cumulated CPU time: 3033.77 s
Current children cumulated vsize: 87724 KiB
Current children cumulated memory: 62056 KiB
[startup+3102.3 s]
/proc/loadavg: 4.59 4.30 4.14 5/247 8295
/proc/meminfo: memFree=69594920/131655788 swapFree=131071996/131071996
[pid=6961] ppid=6958 vsize=87724 memory=62056 CPUtime=3093.6 cores=4,6
/proc/6961/stat : 6961 (roundingsat) R 6958 6961 6745 0 -1 4194304 13757 0 0 0 307126 2234 0 0 20 0 1 0 673300 89829376 15514 134679101440 4194304 8255733 140725495110688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14802944 140725495112542 140725495112804 140725495112804 140725495119817 0
/proc/6961/statm: 21931 15514 1910 992 0 13789 0
Current children cumulated CPU time: 3093.6 s
Current children cumulated vsize: 87724 KiB
Current children cumulated memory: 62056 KiB
[startup+3162.3 s]
/proc/loadavg: 4.50 4.35 4.16 5/247 8306
/proc/meminfo: memFree=69119728/131655788 swapFree=131071996/131071996
[pid=6961] ppid=6958 vsize=100644 memory=64292 CPUtime=3153.42 cores=4,6
/proc/6961/stat : 6961 (roundingsat) R 6958 6961 6745 0 -1 4194304 14316 0 0 0 313081 2261 0 0 20 0 1 0 673300 103059456 16073 134679101440 4194304 8255733 140725495110688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14802944 140725495112542 140725495112804 140725495112804 140725495119817 0
/proc/6961/statm: 25161 16073 1910 992 0 17019 0
Current children cumulated CPU time: 3153.42 s
Current children cumulated vsize: 100644 KiB
Current children cumulated memory: 64292 KiB
[startup+3222.3 s]
/proc/loadavg: 4.30 4.31 4.16 5/246 8317
/proc/meminfo: memFree=68669484/131655788 swapFree=131071996/131071996
[pid=6961] ppid=6958 vsize=100644 memory=64404 CPUtime=3213.24 cores=4,6
/proc/6961/stat : 6961 (roundingsat) R 6958 6961 6745 0 -1 4194304 14363 0 0 0 319033 2291 0 0 20 0 1 0 673300 103059456 16101 134679101440 4194304 8255733 140725495110688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14802944 140725495112542 140725495112804 140725495112804 140725495119817 0
/proc/6961/statm: 25161 16101 1910 992 0 17019 0
Current children cumulated CPU time: 3213.24 s
Current children cumulated vsize: 100644 KiB
Current children cumulated memory: 64404 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.27 4.16 5/246 8328
/proc/meminfo: memFree=68264496/131655788 swapFree=131071996/131071996
[pid=6961] ppid=6958 vsize=100644 memory=64404 CPUtime=3273.07 cores=4,6
/proc/6961/stat : 6961 (roundingsat) R 6958 6961 6745 0 -1 4194304 14383 0 0 0 324992 2315 0 0 20 0 1 0 673300 103059456 16101 134679101440 4194304 8255733 140725495110688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14802944 140725495112542 140725495112804 140725495112804 140725495119817 0
/proc/6961/statm: 25161 16101 1910 992 0 17019 0
Current children cumulated CPU time: 3273.07 s
Current children cumulated vsize: 100644 KiB
Current children cumulated memory: 64404 KiB
[startup+3342.3 s]
/proc/loadavg: 4.70 4.38 4.20 6/251 8712
/proc/meminfo: memFree=67881364/131655788 swapFree=131071996/131071996
[pid=6961] ppid=6958 vsize=100644 memory=64404 CPUtime=3332.89 cores=4,6
/proc/6961/stat : 6961 (roundingsat) R 6958 6961 6745 0 -1 4194304 14405 0 0 0 330960 2329 0 0 20 0 1 0 673300 103059456 16101 134679101440 4194304 8255733 140725495110688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14802944 140725495112542 140725495112804 140725495112804 140725495119817 0
/proc/6961/statm: 25161 16101 1910 992 0 17019 0
Current children cumulated CPU time: 3332.89 s
Current children cumulated vsize: 100644 KiB
Current children cumulated memory: 64404 KiB
[startup+3402.3 s]
/proc/loadavg: 4.55 4.41 4.23 5/246 8736
/proc/meminfo: memFree=67630416/131655788 swapFree=131071996/131071996
[pid=6961] ppid=6958 vsize=101612 memory=68036 CPUtime=3392.72 cores=4,6
/proc/6961/stat : 6961 (roundingsat) R 6958 6961 6745 0 -1 4194304 14830 0 0 0 336917 2355 0 0 20 0 1 0 673300 104050688 17009 134679101440 4194304 8255733 140725495110688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14802944 140725495112542 140725495112804 140725495112804 140725495119817 0
/proc/6961/statm: 25403 17009 1910 992 0 17261 0
Current children cumulated CPU time: 3392.72 s
Current children cumulated vsize: 101612 KiB
Current children cumulated memory: 68036 KiB
[startup+3462.3 s]
/proc/loadavg: 4.30 4.37 4.22 5/246 8746
/proc/meminfo: memFree=67281412/131655788 swapFree=131071996/131071996
[pid=6961] ppid=6958 vsize=101904 memory=68220 CPUtime=3452.53 cores=4,6
/proc/6961/stat : 6961 (roundingsat) R 6958 6961 6745 0 -1 4194304 14923 0 0 0 342868 2385 0 0 20 0 1 0 673300 104349696 17055 134679101440 4194304 8255733 140725495110688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14802944 140725495112542 140725495112804 140725495112804 140725495119817 0
/proc/6961/statm: 25476 17055 1910 992 0 17334 0
Current children cumulated CPU time: 3452.53 s
Current children cumulated vsize: 101904 KiB
Current children cumulated memory: 68220 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.31 4.21 5/253 8932
/proc/meminfo: memFree=65679620/131655788 swapFree=131071996/131071996
[pid=6961] ppid=6958 vsize=101904 memory=68220 CPUtime=3512.36 cores=4,6
/proc/6961/stat : 6961 (roundingsat) R 6958 6961 6745 0 -1 4194304 14943 0 0 0 348825 2411 0 0 20 0 1 0 673300 104349696 17055 134679101440 4194304 8255733 140725495110688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14802944 140725495112542 140725495112804 140725495112804 140725495119817 0
/proc/6961/statm: 25476 17055 1910 992 0 17334 0
Current children cumulated CPU time: 3512.36 s
Current children cumulated vsize: 101904 KiB
Current children cumulated memory: 68220 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.27 4.20 5/255 8945
/proc/meminfo: memFree=64356184/131655788 swapFree=131071996/131071996
[pid=6961] ppid=6958 vsize=101904 memory=68352 CPUtime=3572.19 cores=4,6
/proc/6961/stat : 6961 (roundingsat) R 6958 6961 6745 0 -1 4194304 14964 0 0 0 354789 2430 0 0 20 0 1 0 673300 104349696 17088 134679101440 4194304 8255733 140725495110688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14802944 140725495112542 140725495112804 140725495112804 140725495119817 0
/proc/6961/statm: 25476 17088 1910 992 0 17334 0
Current children cumulated CPU time: 3572.19 s
Current children cumulated vsize: 101904 KiB
Current children cumulated memory: 68352 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.21 4.27 4.20 3/255 8950
/proc/meminfo: memFree=63911284/131655788 swapFree=131071996/131071996
[pid=6961] ppid=6958 vsize=101904 memory=68352 CPUtime=3600.01 cores=4,6
/proc/6961/stat : 6961 (roundingsat) R 6958 6961 6745 0 -1 4194304 14986 0 0 0 357563 2438 0 0 20 0 1 0 673300 104349696 17088 134679101440 4194304 8255733 140725495110688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14802944 140725495112542 140725495112804 140725495112804 140725495119817 0
/proc/6961/statm: 25476 17088 1910 992 0 17334 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 101904 KiB
Current children cumulated memory: 68352 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3612.2 s]
# the end of solver process 6961 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3575.63 s, system=24.3845 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.21 4.27 4.20 2/255 8951
/proc/meminfo: memFree=63909708/131655788 swapFree=131071996/131071996
[pid=6961] ppid=6958 vsize=101904 memory=68352 CPUtime=3600.01 cores=4,6
/proc/6961/stat : 6961 (roundingsat) D 6958 6961 6745 0 -1 4194304 14995 0 0 0 357563 2438 0 0 20 0 1 0 673300 104349696 17088 134679101440 4194304 8255733 140725495110688 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14802944 140725495112542 140725495112804 140725495112804 140725495119817 0
/proc/6961/statm: 25476 17088 1910 992 0 17334 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 101904 KiB
Current children cumulated memory: 68352 KiB
[startup+3612 s]*
/proc/loadavg: 4.21 4.27 4.20 2/251 8965
/proc/meminfo: memFree=64033872/131655788 swapFree=131071996/131071996
[pid=6961] ppid=6958 vsize=101904 memory=68352 CPUtime=3600.01 cores=4,6
/proc/6961/stat : 6961 (roundingsat) D 6958 6961 6745 0 -1 4194304 14995 0 0 0 357563 2438 0 0 20 0 1 0 673300 104349696 17088 134679101440 4194304 8255733 140725495110688 0 0 0 0 0 25182210 1 0 0 17 4 0 0 315 0 0 9037040 9046032 14802944 140725495112542 140725495112804 140725495112804 140725495119817 0
/proc/6961/statm: 25476 17088 1910 992 0 17334 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 101904 KiB
Current children cumulated memory: 68352 KiB
[startup+3612.2 s]
/proc/loadavg: 4.21 4.27 4.20 2/251 8965
/proc/meminfo: memFree=64033872/131655788 swapFree=131071996/131071996
[pid=6961] ppid=6958 vsize=101904 memory=68352 CPUtime=3600.01 cores=4,6
/proc/6961/stat : 6961 (roundingsat) D 6958 6961 6745 0 -1 4194304 14995 0 0 0 357563 2438 0 0 20 0 1 0 673300 104349696 17088 134679101440 4194304 8255733 140725495110688 0 0 0 0 0 25182210 1 0 0 17 4 0 0 315 0 0 9037040 9046032 14802944 140725495112542 140725495112804 140725495112804 140725495119817 0
/proc/6961/statm: 25476 17088 1910 992 0 17334 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 101904 KiB
Current children cumulated memory: 68352 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3612.2
CPU time (s): 3600.02
CPU user time (s): 3575.63
CPU system time (s): 24.3845
CPU usage (%): 99.6626
Max. virtual memory (cumulated for all children) (KiB): 101904
Max. memory (cumulated for all children) (KiB): 68352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.63
system time used= 24.3845
maximum resident set size= 68816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14995
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2314480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 88
involuntary context switches= 4932
# summary of solver processes directly reported to runsolver:
# pid: 6961
# total CPU time (s): 3600.02
# total CPU user time (s): 3575.63
# total CPU system time (s): 24.3845
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5824 second user time and 36.2045 second system time
The end
Begin job on nodeC006 at 2024-07-30 13:59:28 IDJOB=4462583 IDBENCH=147695 IDSOLVER=3089 FILE ID=nodeC006/4462583-1722340768 RUNJOBID= nodeC006-1722340763-6756 SLURM_JOB_ID= 8248986 Free space on /tmp= 723764 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_11.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462583-1722340768/watcher-4462583-1722340768 -o /tmp/evaluation-result-4462583-1722340768/solver-4462583-1722340768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722340763-6756 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462583-1722340768 --lp-cut-gomory=0 HOME/instance-4462583-1722340768.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 89d4e33f1fc4516d7db076f434bf527f RANDOM SEED=1316399505 nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.732 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.171 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.38 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.188 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.193 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.38 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.183 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.165 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.38 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.170 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.197 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.38 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 130441640 kB MemAvailable: 130034764 kB Buffers: 41532 kB Cached: 359128 kB SwapCached: 0 kB Active: 136200 kB Inactive: 664872 kB Active(anon): 1404 kB Inactive(anon): 420372 kB Active(file): 134796 kB Inactive(file): 244500 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 29432 kB Writeback: 0 kB AnonPages: 400508 kB Mapped: 94288 kB Shmem: 21320 kB KReclaimable: 43936 kB Slab: 116044 kB SReclaimable: 43936 kB SUnreclaim: 72108 kB KernelStack: 3920 kB PageTables: 9376 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 722276 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 6400 kB HardwareCorrupted: 0 kB AnonHugePages: 272384 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: 181064 kB DirectMap2M: 9160704 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 723756 MiB End job on nodeC006 at 2024-07-30 14:59:40