| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | No Cert. | 3600.08 | 3618.7 |
| 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.09/0.11 c bounds - >= 0 @ 0.066341 0.09/0.11 c rational objective 55 0.88/0.92 c bounds 108 >= 0 @ 0.4609 0.88/0.92 c bounds 108 >= 55 @ 0.460986 0.88/0.92 c #Conflicts: 1000 | #Constraints: 3431 0.88/0.92 c #Conflicts: 2000 | #Constraints: 4431 0.88/0.92 c INPROCESSING 0.88/0.92 c GARBAGE COLLECT 0.88/0.92 c rational objective 55 1.58/1.60 c bounds 107 >= 55 @ 0.858593 1.58/1.60 c bounds 102 >= 55 @ 0.864104 1.58/1.60 c bounds 101 >= 55 @ 0.867566 1.58/1.60 c bounds 100 >= 55 @ 0.875909 1.58/1.60 c bounds 99 >= 55 @ 0.981579 1.58/1.60 c #Conflicts: 3000 | #Constraints: 4426 1.58/1.60 c #Conflicts: 4000 | #Constraints: 5426 1.58/1.60 c INPROCESSING 1.58/1.60 c GARBAGE COLLECT 1.58/1.60 c rational objective 55 2.18/2.26 c bounds 95 >= 55 @ 1.50255 2.18/2.26 c bounds 94 >= 55 @ 1.60133 2.18/2.26 c #Conflicts: 5000 | #Constraints: 4844 2.18/2.26 c bounds 89 >= 55 @ 1.87307 2.18/2.26 c #Conflicts: 6000 | #Constraints: 5845 2.18/2.26 c INPROCESSING 2.18/2.26 c GARBAGE COLLECT 2.18/2.26 c rational objective 55 2.87/2.99 c #Conflicts: 7000 | #Constraints: 4862 2.87/2.99 c #Conflicts: 8000 | #Constraints: 5862 2.87/2.99 c #Conflicts: 9000 | #Constraints: 6862 2.87/2.99 c INPROCESSING 2.87/2.99 c GARBAGE COLLECT 2.87/2.99 c rational objective 55 3.77/3.84 c #Conflicts: 10000 | #Constraints: 5572 3.77/3.84 c #Conflicts: 11000 | #Constraints: 6572 3.77/3.84 c #Conflicts: 12000 | #Constraints: 7572 3.77/3.84 c INPROCESSING 3.77/3.84 c GARBAGE COLLECT 3.77/3.84 c rational objective 55 4.57/4.70 c #Conflicts: 13000 | #Constraints: 6039 4.57/4.70 c #Conflicts: 14000 | #Constraints: 7039 4.57/4.70 c #Conflicts: 15000 | #Constraints: 8039 4.57/4.70 c INPROCESSING 4.57/4.70 c GARBAGE COLLECT 4.57/4.70 c rational objective 55 5.57/5.68 c #Conflicts: 16000 | #Constraints: 6261 5.57/5.68 c #Conflicts: 17000 | #Constraints: 7261 5.57/5.68 c #Conflicts: 18000 | #Constraints: 8261 5.57/5.68 c INPROCESSING 5.57/5.68 c GARBAGE COLLECT 5.57/5.68 c rational objective 55 6.66/6.72 c #Conflicts: 19000 | #Constraints: 6270 6.66/6.72 c #Conflicts: 20000 | #Constraints: 7270 6.66/6.72 c #Conflicts: 21000 | #Constraints: 8270 6.66/6.72 c INPROCESSING 6.66/6.72 c GARBAGE COLLECT 6.66/6.72 c rational objective 55 7.76/7.81 c #Conflicts: 22000 | #Constraints: 6074 7.76/7.81 c #Conflicts: 23000 | #Constraints: 7074 7.76/7.81 c bounds 86 >= 55 @ 6.87637 7.76/7.81 c #Conflicts: 24000 | #Constraints: 8075 7.76/7.81 c bounds 85 >= 55 @ 7.29342 7.76/7.81 c #Conflicts: 25000 | #Constraints: 9076 7.76/7.81 c INPROCESSING 7.76/7.81 c GARBAGE COLLECT 7.76/7.81 c rational objective 55 8.97/9.04 c #Conflicts: 26000 | #Constraints: 6420 8.97/9.04 c #Conflicts: 27000 | #Constraints: 7420 8.97/9.04 c #Conflicts: 28000 | #Constraints: 8420 8.97/9.04 c #Conflicts: 29000 | #Constraints: 9420 8.97/9.04 c INPROCESSING 8.97/9.04 c GARBAGE COLLECT 8.97/9.04 c rational objective 55 10.25/10.32 c #Conflicts: 30000 | #Constraints: 6958 10.25/10.32 c #Conflicts: 31000 | #Constraints: 7958 10.25/10.32 c #Conflicts: 32000 | #Constraints: 8958 10.25/10.32 c #Conflicts: 33000 | #Constraints: 9958 10.25/10.32 c INPROCESSING 10.25/10.32 c GARBAGE COLLECT 10.25/10.32 c rational objective 55 11.75/11.80 c #Conflicts: 34000 | #Constraints: 7224 11.75/11.80 c #Conflicts: 35000 | #Constraints: 8224 11.75/11.80 c #Conflicts: 36000 | #Constraints: 9224 11.75/11.80 c #Conflicts: 37000 | #Constraints: 10224 11.75/11.80 c INPROCESSING 11.75/11.80 c GARBAGE COLLECT 11.75/11.80 c rational objective 55 13.14/13.27 c #Conflicts: 38000 | #Constraints: 7261 13.14/13.27 c #Conflicts: 39000 | #Constraints: 8261 13.14/13.27 c #Conflicts: 40000 | #Constraints: 9261 13.14/13.27 c #Conflicts: 41000 | #Constraints: 10261 13.14/13.27 c INPROCESSING 13.14/13.27 c GARBAGE COLLECT 13.14/13.27 c rational objective 55 14.74/14.85 c #Conflicts: 42000 | #Constraints: 7082 14.74/14.85 c bounds 83 >= 55 @ 12.9334 14.74/14.85 c bounds 82 >= 55 @ 13.1177 14.74/14.85 c bounds 80 >= 55 @ 13.1713 14.74/14.85 c #Conflicts: 43000 | #Constraints: 8085 14.74/14.85 c #Conflicts: 44000 | #Constraints: 9085 14.74/14.85 c #Conflicts: 45000 | #Constraints: 10085 14.74/14.85 c #Conflicts: 46000 | #Constraints: 11085 14.74/14.85 c INPROCESSING 14.74/14.85 c GARBAGE COLLECT 14.74/14.85 c rational objective 55 16.53/16.67 c #Conflicts: 47000 | #Constraints: 7685 16.53/16.67 c #Conflicts: 48000 | #Constraints: 8685 16.53/16.67 c #Conflicts: 49000 | #Constraints: 9685 16.53/16.67 c #Conflicts: 50000 | #Constraints: 10685 16.53/16.67 c #Conflicts: 51000 | #Constraints: 11685 16.53/16.67 c INPROCESSING 16.53/16.67 c GARBAGE COLLECT 16.53/16.67 c rational objective 55 18.43/18.51 c #Conflicts: 52000 | #Constraints: 8085 18.43/18.51 c #Conflicts: 53000 | #Constraints: 9085 18.43/18.51 c #Conflicts: 54000 | #Constraints: 10085 18.43/18.51 c #Conflicts: 55000 | #Constraints: 11085 18.43/18.51 c #Conflicts: 56000 | #Constraints: 12085 18.43/18.51 c INPROCESSING 18.43/18.51 c GARBAGE COLLECT 18.43/18.51 c rational objective 55 20.52/20.60 c #Conflicts: 57000 | #Constraints: 8295 20.52/20.60 c #Conflicts: 58000 | #Constraints: 9295 20.52/20.60 c #Conflicts: 59000 | #Constraints: 10295 20.52/20.60 c #Conflicts: 60000 | #Constraints: 11295 20.52/20.60 c #Conflicts: 61000 | #Constraints: 12295 20.52/20.60 c INPROCESSING 20.52/20.60 c GARBAGE COLLECT 20.52/20.60 c rational objective 55 22.62/22.77 c #Conflicts: 62000 | #Constraints: 8291 22.62/22.77 c #Conflicts: 63000 | #Constraints: 9291 22.62/22.77 c #Conflicts: 64000 | #Constraints: 10291 22.62/22.77 c #Conflicts: 65000 | #Constraints: 11291 22.62/22.77 c #Conflicts: 66000 | #Constraints: 12291 22.62/22.77 c INPROCESSING 22.62/22.77 c GARBAGE COLLECT 22.62/22.77 c rational objective 55 25.20/25.32 c #Conflicts: 67000 | #Constraints: 8092 25.20/25.32 c #Conflicts: 68000 | #Constraints: 9092 25.20/25.32 c #Conflicts: 69000 | #Constraints: 10092 25.20/25.32 c #Conflicts: 70000 | #Constraints: 11092 25.20/25.32 c #Conflicts: 71000 | #Constraints: 12092 25.20/25.32 c #Conflicts: 72000 | #Constraints: 13092 25.20/25.32 c INPROCESSING 25.20/25.32 c GARBAGE COLLECT 25.20/25.32 c rational objective 55 27.60/27.75 c #Conflicts: 73000 | #Constraints: 8693 27.60/27.75 c #Conflicts: 74000 | #Constraints: 9693 27.60/27.75 c #Conflicts: 75000 | #Constraints: 10693 27.60/27.75 c #Conflicts: 76000 | #Constraints: 11693 27.60/27.75 c #Conflicts: 77000 | #Constraints: 12693 27.60/27.75 c #Conflicts: 78000 | #Constraints: 13693 27.60/27.75 c INPROCESSING 27.60/27.75 c GARBAGE COLLECT 27.60/27.75 c rational objective 55 30.39/30.56 c #Conflicts: 79000 | #Constraints: 9093 30.39/30.56 c #Conflicts: 80000 | #Constraints: 10093 30.39/30.56 c #Conflicts: 81000 | #Constraints: 11093 30.39/30.56 c #Conflicts: 82000 | #Constraints: 12093 30.39/30.56 c #Conflicts: 83000 | #Constraints: 13093 30.39/30.56 c #Conflicts: 84000 | #Constraints: 14093 30.39/30.56 c INPROCESSING 30.39/30.56 c GARBAGE COLLECT 30.39/30.56 c rational objective 55 33.08/33.21 c #Conflicts: 85000 | #Constraints: 9304 33.08/33.21 c #Conflicts: 86000 | #Constraints: 10304 33.08/33.21 c #Conflicts: 87000 | #Constraints: 11304 33.08/33.21 c #Conflicts: 88000 | #Constraints: 12304 33.08/33.21 c #Conflicts: 89000 | #Constraints: 13304 33.08/33.21 c #Conflicts: 90000 | #Constraints: 14304 33.08/33.21 c INPROCESSING 33.08/33.21 c GARBAGE COLLECT 33.08/33.21 c rational objective 55 36.37/36.51 c #Conflicts: 91000 | #Constraints: 9306 36.37/36.51 c #Conflicts: 92000 | #Constraints: 10306 36.37/36.51 c #Conflicts: 93000 | #Constraints: 11306 36.37/36.51 c #Conflicts: 94000 | #Constraints: 12306 36.37/36.51 c #Conflicts: 95000 | #Constraints: 13306 36.37/36.51 c #Conflicts: 96000 | #Constraints: 14306 36.37/36.51 c INPROCESSING 36.37/36.51 c GARBAGE COLLECT 36.37/36.51 c rational objective 55 39.36/39.50 c #Conflicts: 97000 | #Constraints: 9099 39.36/39.50 c #Conflicts: 98000 | #Constraints: 10099 39.36/39.50 c #Conflicts: 99000 | #Constraints: 11099 39.36/39.50 c #Conflicts: 100000 | #Constraints: 12099 39.36/39.50 c #Conflicts: 101000 | #Constraints: 13099 39.36/39.50 c #Conflicts: 102000 | #Constraints: 14099 39.36/39.50 c #Conflicts: 103000 | #Constraints: 15099 39.36/39.50 c INPROCESSING 39.36/39.50 c GARBAGE COLLECT 39.36/39.50 c rational objective 55 43.15/43.32 c #Conflicts: 104000 | #Constraints: 9705 43.15/43.32 c #Conflicts: 105000 | #Constraints: 10705 43.15/43.32 c #Conflicts: 106000 | #Constraints: 11705 43.15/43.32 c #Conflicts: 107000 | #Constraints: 12705 43.15/43.32 c #Conflicts: 108000 | #Constraints: 13705 43.15/43.32 c #Conflicts: 109000 | #Constraints: 14705 43.15/43.32 c #Conflicts: 110000 | #Constraints: 15705 43.15/43.32 c INPROCESSING 43.15/43.32 c GARBAGE COLLECT 43.15/43.32 c rational objective 55 46.44/46.63 c #Conflicts: 111000 | #Constraints: 10117 46.44/46.63 c #Conflicts: 112000 | #Constraints: 11117 46.44/46.63 c #Conflicts: 113000 | #Constraints: 12117 46.44/46.63 c #Conflicts: 114000 | #Constraints: 13117 46.44/46.63 c #Conflicts: 115000 | #Constraints: 14117 46.44/46.63 c #Conflicts: 116000 | #Constraints: 15117 46.44/46.63 c #Conflicts: 117000 | #Constraints: 16117 46.44/46.63 c INPROCESSING 46.44/46.63 c GARBAGE COLLECT 46.44/46.63 c rational objective 55 49.94/50.15 c #Conflicts: 118000 | #Constraints: 10314 49.94/50.15 c bounds 79 >= 55 @ 46.1955 49.94/50.15 c #Conflicts: 119000 | #Constraints: 11315 49.94/50.15 c #Conflicts: 120000 | #Constraints: 12315 49.94/50.15 c #Conflicts: 121000 | #Constraints: 13315 49.94/50.15 c #Conflicts: 122000 | #Constraints: 14315 49.94/50.15 c #Conflicts: 123000 | #Constraints: 15315 49.94/50.15 c #Conflicts: 124000 | #Constraints: 16315 49.94/50.15 c INPROCESSING 49.94/50.15 c GARBAGE COLLECT 49.94/50.15 c rational objective 55 54.52/54.74 c #Conflicts: 125000 | #Constraints: 10310 54.52/54.74 c #Conflicts: 126000 | #Constraints: 11310 54.52/54.74 c #Conflicts: 127000 | #Constraints: 12310 54.52/54.74 c #Conflicts: 128000 | #Constraints: 13310 54.52/54.74 c #Conflicts: 129000 | #Constraints: 14310 54.52/54.74 c #Conflicts: 130000 | #Constraints: 15310 54.52/54.74 c #Conflicts: 131000 | #Constraints: 16310 54.52/54.74 c bounds 78 >= 55 @ 53.2225 54.52/54.74 c INPROCESSING 54.52/54.74 c GARBAGE COLLECT 54.52/54.74 c rational objective 55 58.50/58.76 c #Conflicts: 132000 | #Constraints: 10106 58.50/58.76 c #Conflicts: 133000 | #Constraints: 11106 58.50/58.76 c #Conflicts: 134000 | #Constraints: 12106 58.50/58.76 c #Conflicts: 135000 | #Constraints: 13106 58.50/58.76 c #Conflicts: 136000 | #Constraints: 14106 58.50/58.76 c #Conflicts: 137000 | #Constraints: 15106 58.50/58.76 c #Conflicts: 138000 | #Constraints: 16106 58.50/58.76 c #Conflicts: 139000 | #Constraints: 17106 58.50/58.76 c INPROCESSING 58.50/58.76 c GARBAGE COLLECT 58.50/58.76 c rational objective 55 62.80/63.06 c #Conflicts: 140000 | #Constraints: 10705 62.80/63.06 c #Conflicts: 141000 | #Constraints: 11705 62.80/63.06 c #Conflicts: 142000 | #Constraints: 12705 62.80/63.06 c #Conflicts: 143000 | #Constraints: 13705 62.80/63.06 c #Conflicts: 144000 | #Constraints: 14705 62.80/63.06 c #Conflicts: 145000 | #Constraints: 15705 62.80/63.06 c #Conflicts: 146000 | #Constraints: 16705 62.80/63.06 c #Conflicts: 147000 | #Constraints: 17705 62.80/63.06 c INPROCESSING 62.80/63.06 c GARBAGE COLLECT 62.80/63.06 c rational objective 55 66.79/67.08 c #Conflicts: 148000 | #Constraints: 10954 66.79/67.08 c #Conflicts: 149000 | #Constraints: 11954 66.79/67.08 c #Conflicts: 150000 | #Constraints: 12954 66.79/67.08 c #Conflicts: 151000 | #Constraints: 13954 66.79/67.08 c #Conflicts: 152000 | #Constraints: 14954 66.79/67.08 c #Conflicts: 153000 | #Constraints: 15954 66.79/67.08 c #Conflicts: 154000 | #Constraints: 16954 66.79/67.08 c #Conflicts: 155000 | #Constraints: 17954 66.79/67.08 c INPROCESSING 66.79/67.08 c GARBAGE COLLECT 66.79/67.08 c rational objective 55 71.45/71.72 c #Conflicts: 156000 | #Constraints: 11232 71.45/71.72 c #Conflicts: 157000 | #Constraints: 12232 71.45/71.72 c #Conflicts: 158000 | #Constraints: 13232 71.45/71.72 c #Conflicts: 159000 | #Constraints: 14232 71.45/71.72 c #Conflicts: 160000 | #Constraints: 15232 71.45/71.72 c #Conflicts: 161000 | #Constraints: 16232 71.45/71.72 c #Conflicts: 162000 | #Constraints: 17232 71.45/71.72 c #Conflicts: 163000 | #Constraints: 18232 71.45/71.72 c INPROCESSING 71.45/71.72 c GARBAGE COLLECT 71.45/71.72 c rational objective 55 75.86/76.16 c #Conflicts: 164000 | #Constraints: 11287 75.86/76.16 c #Conflicts: 165000 | #Constraints: 12287 75.86/76.16 c #Conflicts: 166000 | #Constraints: 13287 75.86/76.16 c #Conflicts: 167000 | #Constraints: 14287 75.86/76.16 c #Conflicts: 168000 | #Constraints: 15287 75.86/76.16 c #Conflicts: 169000 | #Constraints: 16287 75.86/76.16 c #Conflicts: 170000 | #Constraints: 17287 75.86/76.16 c #Conflicts: 171000 | #Constraints: 18287 75.86/76.16 c INPROCESSING 75.86/76.16 c GARBAGE COLLECT 75.86/76.16 c rational objective 55 81.12/81.45 c #Conflicts: 172000 | #Constraints: 11109 81.12/81.45 c #Conflicts: 173000 | #Constraints: 12109 81.12/81.45 c #Conflicts: 174000 | #Constraints: 13109 81.12/81.45 c #Conflicts: 175000 | #Constraints: 14109 81.12/81.45 c #Conflicts: 176000 | #Constraints: 15109 81.12/81.45 c #Conflicts: 177000 | #Constraints: 16109 81.12/81.45 c #Conflicts: 178000 | #Constraints: 17109 81.12/81.45 c #Conflicts: 179000 | #Constraints: 18109 81.12/81.45 c #Conflicts: 180000 | #Constraints: 19109 81.12/81.45 c INPROCESSING 81.12/81.45 c GARBAGE COLLECT 81.12/81.45 c rational objective 55 85.91/86.23 c #Conflicts: 181000 | #Constraints: 11702 85.91/86.23 c #Conflicts: 182000 | #Constraints: 12702 85.91/86.23 c #Conflicts: 183000 | #Constraints: 13702 85.91/86.23 c #Conflicts: 184000 | #Constraints: 14702 85.91/86.23 c #Conflicts: 185000 | #Constraints: 15702 85.91/86.23 c #Conflicts: 186000 | #Constraints: 16702 85.91/86.23 c #Conflicts: 187000 | #Constraints: 17702 85.91/86.23 c #Conflicts: 188000 | #Constraints: 18702 85.91/86.23 c #Conflicts: 189000 | #Constraints: 19702 85.91/86.23 c INPROCESSING 85.91/86.23 c GARBAGE COLLECT 85.91/86.23 c rational objective 55 91.39/91.75 c #Conflicts: 190000 | #Constraints: 12101 91.39/91.75 c #Conflicts: 191000 | #Constraints: 13101 91.39/91.75 c #Conflicts: 192000 | #Constraints: 14101 91.39/91.75 c #Conflicts: 193000 | #Constraints: 15101 91.39/91.75 c #Conflicts: 194000 | #Constraints: 16101 91.39/91.75 c #Conflicts: 195000 | #Constraints: 17101 91.39/91.75 c #Conflicts: 196000 | #Constraints: 18101 91.39/91.75 c #Conflicts: 197000 | #Constraints: 19101 91.39/91.75 c #Conflicts: 198000 | #Constraints: 20101 91.39/91.75 c INPROCESSING 91.39/91.75 c GARBAGE COLLECT 91.39/91.75 c rational objective 55 96.58/96.90 c #Conflicts: 199000 | #Constraints: 12297 96.58/96.90 c #Conflicts: 200000 | #Constraints: 13297 96.58/96.90 c #Conflicts: 201000 | #Constraints: 14297 96.58/96.90 c #Conflicts: 202000 | #Constraints: 15297 96.58/96.90 c #Conflicts: 203000 | #Constraints: 16297 96.58/96.90 c #Conflicts: 204000 | #Constraints: 17297 96.58/96.90 c #Conflicts: 205000 | #Constraints: 18297 96.58/96.90 c #Conflicts: 206000 | #Constraints: 19297 96.58/96.90 c #Conflicts: 207000 | #Constraints: 20297 96.58/96.90 c INPROCESSING 96.58/96.90 c GARBAGE COLLECT 96.58/96.90 c rational objective 55 102.76/103.14 c #Conflicts: 208000 | #Constraints: 12307 102.76/103.14 c #Conflicts: 209000 | #Constraints: 13307 102.76/103.14 c #Conflicts: 210000 | #Constraints: 14307 102.76/103.14 c #Conflicts: 211000 | #Constraints: 15307 102.76/103.14 c #Conflicts: 212000 | #Constraints: 16307 102.76/103.14 c #Conflicts: 213000 | #Constraints: 17307 102.76/103.14 c #Conflicts: 214000 | #Constraints: 18307 102.76/103.14 c #Conflicts: 215000 | #Constraints: 19307 102.76/103.14 c #Conflicts: 216000 | #Constraints: 20307 102.76/103.14 c INPROCESSING 102.76/103.14 c GARBAGE COLLECT 102.76/103.14 c rational objective 55 108.14/108.50 c #Conflicts: 217000 | #Constraints: 12110 108.14/108.50 c #Conflicts: 218000 | #Constraints: 13110 108.14/108.50 c #Conflicts: 219000 | #Constraints: 14110 108.14/108.50 c #Conflicts: 220000 | #Constraints: 15110 108.14/108.50 c #Conflicts: 221000 | #Constraints: 16110 108.14/108.50 c #Conflicts: 222000 | #Constraints: 17110 108.14/108.50 c #Conflicts: 223000 | #Constraints: 18110 108.14/108.50 c #Conflicts: 224000 | #Constraints: 19110 108.14/108.50 c #Conflicts: 225000 | #Constraints: 20110 108.14/108.50 c #Conflicts: 226000 | #Constraints: 21110 108.14/108.50 c INPROCESSING 108.14/108.50 c GARBAGE COLLECT 108.14/108.50 c rational objective 55 113.92/114.37 c #Conflicts: 227000 | #Constraints: 12712 113.92/114.37 c #Conflicts: 228000 | #Constraints: 13712 113.92/114.37 c #Conflicts: 229000 | #Constraints: 14712 113.92/114.37 c #Conflicts: 230000 | #Constraints: 15712 113.92/114.37 c #Conflicts: 231000 | #Constraints: 16712 113.92/114.37 c #Conflicts: 232000 | #Constraints: 17712 113.92/114.37 c #Conflicts: 233000 | #Constraints: 18712 113.92/114.37 c #Conflicts: 234000 | #Constraints: 19712 113.92/114.37 c #Conflicts: 235000 | #Constraints: 20712 113.92/114.37 c #Conflicts: 236000 | #Constraints: 21712 113.92/114.37 c INPROCESSING 113.92/114.37 c GARBAGE COLLECT 113.92/114.37 c rational objective 55 120.80/121.22 c #Conflicts: 237000 | #Constraints: 13111 120.80/121.22 c #Conflicts: 238000 | #Constraints: 14111 120.80/121.22 c #Conflicts: 239000 | #Constraints: 15111 120.80/121.22 c #Conflicts: 240000 | #Constraints: 16111 120.80/121.22 c #Conflicts: 241000 | #Constraints: 17111 120.80/121.22 c #Conflicts: 242000 | #Constraints: 18111 120.80/121.22 c #Conflicts: 243000 | #Constraints: 19111 120.80/121.22 c #Conflicts: 244000 | #Constraints: 20111 120.80/121.22 c #Conflicts: 245000 | #Constraints: 21111 120.80/121.22 c #Conflicts: 246000 | #Constraints: 22111 120.80/121.22 c INPROCESSING 120.80/121.22 c GARBAGE COLLECT 120.80/121.22 c rational objective 55 126.88/127.35 c #Conflicts: 247000 | #Constraints: 13315 126.88/127.35 c #Conflicts: 248000 | #Constraints: 14315 126.88/127.35 c #Conflicts: 249000 | #Constraints: 15315 126.88/127.35 c #Conflicts: 250000 | #Constraints: 16315 126.88/127.35 c #Conflicts: 251000 | #Constraints: 17315 126.88/127.35 c #Conflicts: 252000 | #Constraints: 18315 126.88/127.35 c #Conflicts: 253000 | #Constraints: 19315 126.88/127.35 c #Conflicts: 254000 | #Constraints: 20315 126.88/127.35 c #Conflicts: 255000 | #Constraints: 21315 126.88/127.35 c #Conflicts: 256000 | #Constraints: 22315 126.88/127.35 c INPROCESSING 126.88/127.35 c GARBAGE COLLECT 126.88/127.35 c rational objective 55 134.45/134.96 c #Conflicts: 257000 | #Constraints: 13316 134.45/134.96 c #Conflicts: 258000 | #Constraints: 14316 134.45/134.96 c #Conflicts: 259000 | #Constraints: 15316 134.45/134.96 c #Conflicts: 260000 | #Constraints: 16316 134.45/134.96 c #Conflicts: 261000 | #Constraints: 17316 134.45/134.96 c #Conflicts: 262000 | #Constraints: 18316 134.45/134.96 c #Conflicts: 263000 | #Constraints: 19316 134.45/134.96 c #Conflicts: 264000 | #Constraints: 20316 134.45/134.96 c #Conflicts: 265000 | #Constraints: 21316 134.45/134.96 c #Conflicts: 266000 | #Constraints: 22316 134.45/134.96 c INPROCESSING 134.45/134.96 c GARBAGE COLLECT 134.45/134.96 c rational objective 55 141.23/141.75 c #Conflicts: 267000 | #Constraints: 13144 141.23/141.75 c #Conflicts: 268000 | #Constraints: 14144 141.23/141.75 c #Conflicts: 269000 | #Constraints: 15144 141.23/141.75 c #Conflicts: 270000 | #Constraints: 16144 141.23/141.75 c #Conflicts: 271000 | #Constraints: 17144 141.23/141.75 c #Conflicts: 272000 | #Constraints: 18144 141.23/141.75 c #Conflicts: 273000 | #Constraints: 19144 141.23/141.75 c #Conflicts: 274000 | #Constraints: 20144 141.23/141.75 c #Conflicts: 275000 | #Constraints: 21144 141.23/141.75 c #Conflicts: 276000 | #Constraints: 22144 141.23/141.75 c #Conflicts: 277000 | #Constraints: 23144 141.23/141.75 c INPROCESSING 141.23/141.75 c GARBAGE COLLECT 141.23/141.75 c rational objective 55 148.90/149.45 c #Conflicts: 278000 | #Constraints: 13727 148.90/149.45 c #Conflicts: 279000 | #Constraints: 14727 148.90/149.45 c #Conflicts: 280000 | #Constraints: 15727 148.90/149.45 c #Conflicts: 281000 | #Constraints: 16727 148.90/149.45 c #Conflicts: 282000 | #Constraints: 17727 148.90/149.45 c #Conflicts: 283000 | #Constraints: 18727 148.90/149.45 c #Conflicts: 284000 | #Constraints: 19727 148.90/149.45 c #Conflicts: 285000 | #Constraints: 20727 148.90/149.45 c #Conflicts: 286000 | #Constraints: 21727 148.90/149.45 c #Conflicts: 287000 | #Constraints: 22727 148.90/149.45 c #Conflicts: 288000 | #Constraints: 23727 148.90/149.45 c INPROCESSING 148.90/149.45 c GARBAGE COLLECT 148.90/149.45 c rational objective 55 156.08/156.61 c #Conflicts: 289000 | #Constraints: 14129 156.08/156.61 c #Conflicts: 290000 | #Constraints: 15129 156.08/156.61 c #Conflicts: 291000 | #Constraints: 16129 156.08/156.61 c #Conflicts: 292000 | #Constraints: 17129 156.08/156.61 c #Conflicts: 293000 | #Constraints: 18129 156.08/156.61 c #Conflicts: 294000 | #Constraints: 19129 156.08/156.61 c #Conflicts: 295000 | #Constraints: 20129 156.08/156.61 c #Conflicts: 296000 | #Constraints: 21129 156.08/156.61 c #Conflicts: 297000 | #Constraints: 22129 156.08/156.61 c #Conflicts: 298000 | #Constraints: 23129 156.08/156.61 c #Conflicts: 299000 | #Constraints: 24129 156.08/156.61 c INPROCESSING 156.08/156.61 c GARBAGE COLLECT 156.08/156.61 c rational objective 55 164.56/165.17 c bounds 77 >= 55 @ 153.68 164.56/165.17 c #Conflicts: 300000 | #Constraints: 14326 164.56/165.17 c #Conflicts: 301000 | #Constraints: 15326 164.56/165.17 c #Conflicts: 302000 | #Constraints: 16326 164.56/165.17 c #Conflicts: 303000 | #Constraints: 17326 164.56/165.17 c #Conflicts: 304000 | #Constraints: 18326 164.56/165.17 c #Conflicts: 305000 | #Constraints: 19326 164.56/165.17 c #Conflicts: 306000 | #Constraints: 20326 164.56/165.17 c #Conflicts: 307000 | #Constraints: 21326 164.56/165.17 c #Conflicts: 308000 | #Constraints: 22326 164.56/165.17 c #Conflicts: 309000 | #Constraints: 23326 164.56/165.17 c #Conflicts: 310000 | #Constraints: 24326 164.56/165.17 c INPROCESSING 164.56/165.17 c GARBAGE COLLECT 164.56/165.17 c rational objective 55 171.92/172.54 c #Conflicts: 311000 | #Constraints: 14338 171.92/172.54 c #Conflicts: 312000 | #Constraints: 15338 171.92/172.54 c #Conflicts: 313000 | #Constraints: 16338 171.92/172.54 c #Conflicts: 314000 | #Constraints: 17338 171.92/172.54 c #Conflicts: 315000 | #Constraints: 18338 171.92/172.54 c #Conflicts: 316000 | #Constraints: 19338 171.92/172.54 c #Conflicts: 317000 | #Constraints: 20338 171.92/172.54 c #Conflicts: 318000 | #Constraints: 21338 171.92/172.54 c #Conflicts: 319000 | #Constraints: 22338 171.92/172.54 c #Conflicts: 320000 | #Constraints: 23338 171.92/172.54 c #Conflicts: 321000 | #Constraints: 24338 171.92/172.54 c INPROCESSING 171.92/172.54 c GARBAGE COLLECT 171.92/172.54 c rational objective 55 182.08/182.70 c #Conflicts: 322000 | #Constraints: 14129 182.08/182.70 c #Conflicts: 323000 | #Constraints: 15129 182.08/182.70 c #Conflicts: 324000 | #Constraints: 16129 182.08/182.70 c #Conflicts: 325000 | #Constraints: 17129 182.08/182.70 c #Conflicts: 326000 | #Constraints: 18129 182.08/182.70 c #Conflicts: 327000 | #Constraints: 19129 182.08/182.70 c #Conflicts: 328000 | #Constraints: 20129 182.08/182.70 c #Conflicts: 329000 | #Constraints: 21129 182.08/182.70 c #Conflicts: 330000 | #Constraints: 22129 182.08/182.70 c #Conflicts: 331000 | #Constraints: 23129 182.08/182.70 c #Conflicts: 332000 | #Constraints: 24129 182.08/182.70 c #Conflicts: 333000 | #Constraints: 25129 182.08/182.70 c bounds 75 >= 55 @ 178.69 182.08/182.70 c INPROCESSING 182.08/182.70 c GARBAGE COLLECT 182.08/182.70 c rational objective 55 190.26/190.96 c #Conflicts: 334000 | #Constraints: 14728 190.26/190.96 c #Conflicts: 335000 | #Constraints: 15728 190.26/190.96 c #Conflicts: 336000 | #Constraints: 16728 190.26/190.96 c #Conflicts: 337000 | #Constraints: 17728 190.26/190.96 c #Conflicts: 338000 | #Constraints: 18728 190.26/190.96 c #Conflicts: 339000 | #Constraints: 19728 190.26/190.96 c #Conflicts: 340000 | #Constraints: 20728 190.26/190.96 c #Conflicts: 341000 | #Constraints: 21728 190.26/190.96 c #Conflicts: 342000 | #Constraints: 22728 190.26/190.96 c #Conflicts: 343000 | #Constraints: 23728 190.26/190.96 c #Conflicts: 344000 | #Constraints: 24728 190.26/190.96 c #Conflicts: 345000 | #Constraints: 25728 190.26/190.96 c INPROCESSING 190.26/190.96 c GARBAGE COLLECT 190.26/190.96 c rational objective 55 200.12/200.85 c #Conflicts: 346000 | #Constraints: 15125 200.12/200.85 c #Conflicts: 347000 | #Constraints: 16125 200.12/200.85 c #Conflicts: 348000 | #Constraints: 17125 200.12/200.85 c #Conflicts: 349000 | #Constraints: 18125 200.12/200.85 c #Conflicts: 350000 | #Constraints: 19125 200.12/200.85 c #Conflicts: 351000 | #Constraints: 20125 200.12/200.85 c #Conflicts: 352000 | #Constraints: 21125 200.12/200.85 c #Conflicts: 353000 | #Constraints: 22125 200.12/200.85 c #Conflicts: 354000 | #Constraints: 23125 200.12/200.85 c #Conflicts: 355000 | #Constraints: 24125 200.12/200.85 c #Conflicts: 356000 | #Constraints: 25125 200.12/200.85 c #Conflicts: 357000 | #Constraints: 26125 200.12/200.85 c INPROCESSING 200.12/200.85 c GARBAGE COLLECT 200.12/200.85 c rational objective 55 208.50/209.27 c #Conflicts: 358000 | #Constraints: 15353 208.50/209.27 c #Conflicts: 359000 | #Constraints: 16353 208.50/209.27 c #Conflicts: 360000 | #Constraints: 17353 208.50/209.27 c #Conflicts: 361000 | #Constraints: 18353 208.50/209.27 c #Conflicts: 362000 | #Constraints: 19353 208.50/209.27 c #Conflicts: 363000 | #Constraints: 20353 208.50/209.27 c #Conflicts: 364000 | #Constraints: 21353 208.50/209.27 c #Conflicts: 365000 | #Constraints: 22353 208.50/209.27 c #Conflicts: 366000 | #Constraints: 23353 208.50/209.27 c #Conflicts: 367000 | #Constraints: 24353 208.50/209.27 c #Conflicts: 368000 | #Constraints: 25353 208.50/209.27 c #Conflicts: 369000 | #Constraints: 26353 208.50/209.27 c INPROCESSING 208.50/209.27 c GARBAGE COLLECT 208.50/209.27 c rational objective 55 217.67/218.41 c #Conflicts: 370000 | #Constraints: 15344 217.67/218.41 c #Conflicts: 371000 | #Constraints: 16344 217.67/218.41 c #Conflicts: 372000 | #Constraints: 17344 217.67/218.41 c #Conflicts: 373000 | #Constraints: 18344 217.67/218.41 c #Conflicts: 374000 | #Constraints: 19344 217.67/218.41 c #Conflicts: 375000 | #Constraints: 20344 217.67/218.41 c #Conflicts: 376000 | #Constraints: 21344 217.67/218.41 c #Conflicts: 377000 | #Constraints: 22344 217.67/218.41 c #Conflicts: 378000 | #Constraints: 23344 217.67/218.41 c #Conflicts: 379000 | #Constraints: 24344 217.67/218.41 c #Conflicts: 380000 | #Constraints: 25344 217.67/218.41 c #Conflicts: 381000 | #Constraints: 26344 217.67/218.41 c INPROCESSING 217.67/218.41 c GARBAGE COLLECT 217.67/218.41 c rational objective 55 228.43/229.26 c #Conflicts: 382000 | #Constraints: 15151 228.43/229.26 c #Conflicts: 383000 | #Constraints: 16151 228.43/229.26 c #Conflicts: 384000 | #Constraints: 17151 228.43/229.26 c #Conflicts: 385000 | #Constraints: 18151 228.43/229.26 c #Conflicts: 386000 | #Constraints: 19151 228.43/229.26 c #Conflicts: 387000 | #Constraints: 20151 228.43/229.26 c #Conflicts: 388000 | #Constraints: 21151 228.43/229.26 c #Conflicts: 389000 | #Constraints: 22151 228.43/229.26 c #Conflicts: 390000 | #Constraints: 23151 228.43/229.26 c #Conflicts: 391000 | #Constraints: 24151 228.43/229.26 c #Conflicts: 392000 | #Constraints: 25151 228.43/229.26 c #Conflicts: 393000 | #Constraints: 26151 228.43/229.26 c #Conflicts: 394000 | #Constraints: 27151 228.43/229.26 c INPROCESSING 228.43/229.26 c GARBAGE COLLECT 228.43/229.26 c rational objective 55 238.40/239.29 c #Conflicts: 395000 | #Constraints: 15762 238.40/239.29 c #Conflicts: 396000 | #Constraints: 16762 238.40/239.29 c #Conflicts: 397000 | #Constraints: 17762 238.40/239.29 c #Conflicts: 398000 | #Constraints: 18762 238.40/239.29 c #Conflicts: 399000 | #Constraints: 19762 238.40/239.29 c #Conflicts: 400000 | #Constraints: 20762 238.40/239.29 c #Conflicts: 401000 | #Constraints: 21762 238.40/239.29 c #Conflicts: 402000 | #Constraints: 22762 238.40/239.29 c #Conflicts: 403000 | #Constraints: 23762 238.40/239.29 c #Conflicts: 404000 | #Constraints: 24762 238.40/239.29 c #Conflicts: 405000 | #Constraints: 25762 238.40/239.29 c #Conflicts: 406000 | #Constraints: 26762 238.40/239.29 c #Conflicts: 407000 | #Constraints: 27762 238.40/239.29 c INPROCESSING 238.40/239.29 c GARBAGE COLLECT 238.40/239.29 c rational objective 55 249.27/250.14 c #Conflicts: 408000 | #Constraints: 16157 249.27/250.14 c #Conflicts: 409000 | #Constraints: 17157 249.27/250.14 c #Conflicts: 410000 | #Constraints: 18157 249.27/250.14 c #Conflicts: 411000 | #Constraints: 19157 249.27/250.14 c #Conflicts: 412000 | #Constraints: 20157 249.27/250.14 c #Conflicts: 413000 | #Constraints: 21157 249.27/250.14 c #Conflicts: 414000 | #Constraints: 22157 249.27/250.14 c #Conflicts: 415000 | #Constraints: 23157 249.27/250.14 c #Conflicts: 416000 | #Constraints: 24157 249.27/250.14 c #Conflicts: 417000 | #Constraints: 25157 249.27/250.14 c #Conflicts: 418000 | #Constraints: 26157 249.27/250.14 c #Conflicts: 419000 | #Constraints: 27157 249.27/250.14 c #Conflicts: 420000 | #Constraints: 28157 249.27/250.14 c INPROCESSING 249.27/250.14 c GARBAGE COLLECT 249.27/250.14 c rational objective 55 259.32/260.24 c #Conflicts: 421000 | #Constraints: 16350 259.32/260.24 c #Conflicts: 422000 | #Constraints: 17350 259.32/260.24 c #Conflicts: 423000 | #Constraints: 18350 259.32/260.24 c #Conflicts: 424000 | #Constraints: 19350 259.32/260.24 c #Conflicts: 425000 | #Constraints: 20350 259.32/260.24 c #Conflicts: 426000 | #Constraints: 21350 259.32/260.24 c #Conflicts: 427000 | #Constraints: 22350 259.32/260.24 c #Conflicts: 428000 | #Constraints: 23350 259.32/260.24 c #Conflicts: 429000 | #Constraints: 24350 259.32/260.24 c #Conflicts: 430000 | #Constraints: 25350 259.32/260.24 c #Conflicts: 431000 | #Constraints: 26350 259.32/260.24 c #Conflicts: 432000 | #Constraints: 27350 259.32/260.24 c #Conflicts: 433000 | #Constraints: 28350 259.32/260.24 c INPROCESSING 259.32/260.24 c GARBAGE COLLECT 259.32/260.24 c rational objective 55 273.47/274.44 c #Conflicts: 434000 | #Constraints: 16341 273.47/274.44 c #Conflicts: 435000 | #Constraints: 17341 273.47/274.44 c #Conflicts: 436000 | #Constraints: 18341 273.47/274.44 c #Conflicts: 437000 | #Constraints: 19341 273.47/274.44 c #Conflicts: 438000 | #Constraints: 20341 273.47/274.44 c #Conflicts: 439000 | #Constraints: 21341 273.47/274.44 c #Conflicts: 440000 | #Constraints: 22341 273.47/274.44 c #Conflicts: 441000 | #Constraints: 23341 273.47/274.44 c #Conflicts: 442000 | #Constraints: 24341 273.47/274.44 c #Conflicts: 443000 | #Constraints: 25341 273.47/274.44 c #Conflicts: 444000 | #Constraints: 26341 273.47/274.44 c #Conflicts: 445000 | #Constraints: 27341 273.47/274.44 c #Conflicts: 446000 | #Constraints: 28341 273.47/274.44 c INPROCESSING 273.47/274.44 c GARBAGE COLLECT 273.47/274.44 c rational objective 55 283.93/284.96 c #Conflicts: 447000 | #Constraints: 16140 283.93/284.96 c #Conflicts: 448000 | #Constraints: 17140 283.93/284.96 c #Conflicts: 449000 | #Constraints: 18140 283.93/284.96 c #Conflicts: 450000 | #Constraints: 19140 283.93/284.96 c #Conflicts: 451000 | #Constraints: 20140 283.93/284.96 c #Conflicts: 452000 | #Constraints: 21140 283.93/284.96 c #Conflicts: 453000 | #Constraints: 22140 283.93/284.96 c #Conflicts: 454000 | #Constraints: 23140 283.93/284.96 c #Conflicts: 455000 | #Constraints: 24140 283.93/284.96 c #Conflicts: 456000 | #Constraints: 25140 283.93/284.96 c #Conflicts: 457000 | #Constraints: 26140 283.93/284.96 c #Conflicts: 458000 | #Constraints: 27140 283.93/284.96 c #Conflicts: 459000 | #Constraints: 28140 283.93/284.96 c #Conflicts: 460000 | #Constraints: 29140 283.93/284.96 c INPROCESSING 283.93/284.96 c GARBAGE COLLECT 283.93/284.96 c rational objective 55 297.19/298.25 c #Conflicts: 461000 | #Constraints: 16740 297.19/298.25 c #Conflicts: 462000 | #Constraints: 17740 297.19/298.25 c #Conflicts: 463000 | #Constraints: 18740 297.19/298.25 c #Conflicts: 464000 | #Constraints: 19740 297.19/298.25 c #Conflicts: 465000 | #Constraints: 20740 297.19/298.25 c #Conflicts: 466000 | #Constraints: 21740 297.19/298.25 c #Conflicts: 467000 | #Constraints: 22740 297.19/298.25 c #Conflicts: 468000 | #Constraints: 23740 297.19/298.25 c #Conflicts: 469000 | #Constraints: 24740 297.19/298.25 c #Conflicts: 470000 | #Constraints: 25740 297.19/298.25 c #Conflicts: 471000 | #Constraints: 26740 297.19/298.25 c #Conflicts: 472000 | #Constraints: 27740 297.19/298.25 c #Conflicts: 473000 | #Constraints: 28740 297.19/298.25 c #Conflicts: 474000 | #Constraints: 29740 297.19/298.25 c INPROCESSING 297.19/298.25 c GARBAGE COLLECT 297.19/298.25 c rational objective 55 308.85/309.91 c #Conflicts: 475000 | #Constraints: 17154 308.85/309.91 c #Conflicts: 476000 | #Constraints: 18154 308.85/309.91 c #Conflicts: 477000 | #Constraints: 19154 308.85/309.91 c #Conflicts: 478000 | #Constraints: 20154 308.85/309.91 c #Conflicts: 479000 | #Constraints: 21154 308.85/309.91 c #Conflicts: 480000 | #Constraints: 22154 308.85/309.91 c #Conflicts: 481000 | #Constraints: 23154 308.85/309.91 c #Conflicts: 482000 | #Constraints: 24154 308.85/309.91 c #Conflicts: 483000 | #Constraints: 25154 308.85/309.91 c #Conflicts: 484000 | #Constraints: 26154 308.85/309.91 c #Conflicts: 485000 | #Constraints: 27154 308.85/309.91 c #Conflicts: 486000 | #Constraints: 28154 308.85/309.91 c #Conflicts: 487000 | #Constraints: 29154 308.85/309.91 c #Conflicts: 488000 | #Constraints: 30154 308.85/309.91 c INPROCESSING 308.85/309.91 c GARBAGE COLLECT 308.85/309.91 c rational objective 55 329.00/330.16 c #Conflicts: 489000 | #Constraints: 17356 329.00/330.16 c #Conflicts: 490000 | #Constraints: 18356 329.00/330.16 c #Conflicts: 491000 | #Constraints: 19356 329.00/330.16 c #Conflicts: 492000 | #Constraints: 20356 329.00/330.16 c #Conflicts: 493000 | #Constraints: 21356 329.00/330.16 c #Conflicts: 494000 | #Constraints: 22356 329.00/330.16 c #Conflicts: 495000 | #Constraints: 23356 329.00/330.16 c #Conflicts: 496000 | #Constraints: 24356 329.00/330.16 c #Conflicts: 497000 | #Constraints: 25356 329.00/330.16 c #Conflicts: 498000 | #Constraints: 26356 329.00/330.16 c #Conflicts: 499000 | #Constraints: 27356 329.00/330.16 c #Conflicts: 500000 | #Constraints: 28356 329.00/330.16 c #Conflicts: 501000 | #Constraints: 29356 329.00/330.16 c #Conflicts: 502000 | #Constraints: 30356 329.00/330.16 c INPROCESSING 329.00/330.16 c GARBAGE COLLECT 329.00/330.16 c rational objective 55 340.45/341.65 c #Conflicts: 503000 | #Constraints: 17361 340.45/341.65 c #Conflicts: 504000 | #Constraints: 18361 340.45/341.65 c #Conflicts: 505000 | #Constraints: 19361 340.45/341.65 c #Conflicts: 506000 | #Constraints: 20361 340.45/341.65 c #Conflicts: 507000 | #Constraints: 21361 340.45/341.65 c #Conflicts: 508000 | #Constraints: 22361 340.45/341.65 c #Conflicts: 509000 | #Constraints: 23361 340.45/341.65 c #Conflicts: 510000 | #Constraints: 24361 340.45/341.65 c #Conflicts: 511000 | #Constraints: 25361 340.45/341.65 c #Conflicts: 512000 | #Constraints: 26361 340.45/341.65 c #Conflicts: 513000 | #Constraints: 27361 340.45/341.65 c #Conflicts: 514000 | #Constraints: 28361 340.45/341.65 c #Conflicts: 515000 | #Constraints: 29361 340.45/341.65 c #Conflicts: 516000 | #Constraints: 30361 340.45/341.65 c INPROCESSING 340.45/341.65 c GARBAGE COLLECT 340.45/341.65 c rational objective 55 353.00/354.29 c #Conflicts: 517000 | #Constraints: 17140 353.00/354.29 c #Conflicts: 518000 | #Constraints: 18140 353.00/354.29 c #Conflicts: 519000 | #Constraints: 19140 353.00/354.29 c #Conflicts: 520000 | #Constraints: 20140 353.00/354.29 c #Conflicts: 521000 | #Constraints: 21140 353.00/354.29 c #Conflicts: 522000 | #Constraints: 22140 353.00/354.29 c #Conflicts: 523000 | #Constraints: 23140 353.00/354.29 c #Conflicts: 524000 | #Constraints: 24140 353.00/354.29 c #Conflicts: 525000 | #Constraints: 25140 353.00/354.29 c #Conflicts: 526000 | #Constraints: 26140 353.00/354.29 c #Conflicts: 527000 | #Constraints: 27140 353.00/354.29 c #Conflicts: 528000 | #Constraints: 28140 353.00/354.29 c #Conflicts: 529000 | #Constraints: 29140 353.00/354.29 c #Conflicts: 530000 | #Constraints: 30140 353.00/354.29 c #Conflicts: 531000 | #Constraints: 31140 353.00/354.29 c INPROCESSING 353.00/354.29 c GARBAGE COLLECT 353.00/354.29 c rational objective 55 367.94/369.28 c #Conflicts: 532000 | #Constraints: 17728 367.94/369.28 c #Conflicts: 533000 | #Constraints: 18728 367.94/369.28 c #Conflicts: 534000 | #Constraints: 19728 367.94/369.28 c #Conflicts: 535000 | #Constraints: 20728 367.94/369.28 c #Conflicts: 536000 | #Constraints: 21728 367.94/369.28 c #Conflicts: 537000 | #Constraints: 22728 367.94/369.28 c #Conflicts: 538000 | #Constraints: 23728 367.94/369.28 c #Conflicts: 539000 | #Constraints: 24728 367.94/369.28 c #Conflicts: 540000 | #Constraints: 25728 367.94/369.28 c #Conflicts: 541000 | #Constraints: 26728 367.94/369.28 c #Conflicts: 542000 | #Constraints: 27728 367.94/369.28 c #Conflicts: 543000 | #Constraints: 28728 367.94/369.28 c #Conflicts: 544000 | #Constraints: 29728 367.94/369.28 c #Conflicts: 545000 | #Constraints: 30728 367.94/369.28 c #Conflicts: 546000 | #Constraints: 31728 367.94/369.28 c INPROCESSING 367.94/369.28 c GARBAGE COLLECT 367.94/369.28 c rational objective 55 380.29/381.60 c #Conflicts: 547000 | #Constraints: 18140 380.29/381.60 c #Conflicts: 548000 | #Constraints: 19140 380.29/381.60 c #Conflicts: 549000 | #Constraints: 20140 380.29/381.60 c #Conflicts: 550000 | #Constraints: 21140 380.29/381.60 c #Conflicts: 551000 | #Constraints: 22140 380.29/381.60 c #Conflicts: 552000 | #Constraints: 23140 380.29/381.60 c #Conflicts: 553000 | #Constraints: 24140 380.29/381.60 c #Conflicts: 554000 | #Constraints: 25140 380.29/381.60 c #Conflicts: 555000 | #Constraints: 26140 380.29/381.60 c #Conflicts: 556000 | #Constraints: 27140 380.29/381.60 c #Conflicts: 557000 | #Constraints: 28140 380.29/381.60 c #Conflicts: 558000 | #Constraints: 29140 380.29/381.60 c #Conflicts: 559000 | #Constraints: 30140 380.29/381.60 c #Conflicts: 560000 | #Constraints: 31140 380.29/381.60 c #Conflicts: 561000 | #Constraints: 32140 380.29/381.60 c INPROCESSING 380.29/381.60 c GARBAGE COLLECT 380.29/381.60 c rational objective 55 396.54/397.90 c #Conflicts: 562000 | #Constraints: 18330 396.54/397.90 c #Conflicts: 563000 | #Constraints: 19330 396.54/397.90 c #Conflicts: 564000 | #Constraints: 20330 396.54/397.90 c #Conflicts: 565000 | #Constraints: 21330 396.54/397.90 c #Conflicts: 566000 | #Constraints: 22330 396.54/397.90 c #Conflicts: 567000 | #Constraints: 23330 396.54/397.90 c #Conflicts: 568000 | #Constraints: 24330 396.54/397.90 c #Conflicts: 569000 | #Constraints: 25330 396.54/397.90 c #Conflicts: 570000 | #Constraints: 26330 396.54/397.90 c #Conflicts: 571000 | #Constraints: 27330 396.54/397.90 c #Conflicts: 572000 | #Constraints: 28330 396.54/397.90 c #Conflicts: 573000 | #Constraints: 29330 396.54/397.90 c #Conflicts: 574000 | #Constraints: 30330 396.54/397.90 c #Conflicts: 575000 | #Constraints: 31330 396.54/397.90 c #Conflicts: 576000 | #Constraints: 32330 396.54/397.90 c INPROCESSING 396.54/397.90 c GARBAGE COLLECT 396.54/397.90 c rational objective 55 409.62/411.01 c #Conflicts: 577000 | #Constraints: 18336 409.62/411.01 c #Conflicts: 578000 | #Constraints: 19336 409.62/411.01 c #Conflicts: 579000 | #Constraints: 20336 409.62/411.01 c #Conflicts: 580000 | #Constraints: 21336 409.62/411.01 c #Conflicts: 581000 | #Constraints: 22336 409.62/411.01 c #Conflicts: 582000 | #Constraints: 23336 409.62/411.01 c #Conflicts: 583000 | #Constraints: 24336 409.62/411.01 c #Conflicts: 584000 | #Constraints: 25336 409.62/411.01 c #Conflicts: 585000 | #Constraints: 26336 409.62/411.01 c #Conflicts: 586000 | #Constraints: 27336 409.62/411.01 c #Conflicts: 587000 | #Constraints: 28336 409.62/411.01 c #Conflicts: 588000 | #Constraints: 29336 409.62/411.01 c #Conflicts: 589000 | #Constraints: 30336 409.62/411.01 c #Conflicts: 590000 | #Constraints: 31336 409.62/411.01 c #Conflicts: 591000 | #Constraints: 32336 409.62/411.01 c INPROCESSING 409.62/411.01 c GARBAGE COLLECT 409.62/411.01 c rational objective 55 423.57/425.08 c #Conflicts: 592000 | #Constraints: 18138 423.57/425.08 c #Conflicts: 593000 | #Constraints: 19138 423.57/425.08 c #Conflicts: 594000 | #Constraints: 20138 423.57/425.08 c #Conflicts: 595000 | #Constraints: 21138 423.57/425.08 c #Conflicts: 596000 | #Constraints: 22138 423.57/425.08 c #Conflicts: 597000 | #Constraints: 23138 423.57/425.08 c #Conflicts: 598000 | #Constraints: 24138 423.57/425.08 c #Conflicts: 599000 | #Constraints: 25138 423.57/425.08 c #Conflicts: 600000 | #Constraints: 26138 423.57/425.08 c #Conflicts: 601000 | #Constraints: 27138 423.57/425.08 c #Conflicts: 602000 | #Constraints: 28138 423.57/425.08 c #Conflicts: 603000 | #Constraints: 29138 423.57/425.08 c #Conflicts: 604000 | #Constraints: 30138 423.57/425.08 c #Conflicts: 605000 | #Constraints: 31138 423.57/425.08 c #Conflicts: 606000 | #Constraints: 32138 423.57/425.08 c #Conflicts: 607000 | #Constraints: 33138 423.57/425.08 c INPROCESSING 423.57/425.08 c GARBAGE COLLECT 423.57/425.08 c rational objective 55 443.39/444.98 c #Conflicts: 608000 | #Constraints: 18751 443.39/444.98 c #Conflicts: 609000 | #Constraints: 19751 443.39/444.98 c #Conflicts: 610000 | #Constraints: 20751 443.39/444.98 c #Conflicts: 611000 | #Constraints: 21751 443.39/444.98 c #Conflicts: 612000 | #Constraints: 22751 443.39/444.98 c #Conflicts: 613000 | #Constraints: 23751 443.39/444.98 c #Conflicts: 614000 | #Constraints: 24751 443.39/444.98 c #Conflicts: 615000 | #Constraints: 25751 443.39/444.98 c #Conflicts: 616000 | #Constraints: 26751 443.39/444.98 c #Conflicts: 617000 | #Constraints: 27751 443.39/444.98 c #Conflicts: 618000 | #Constraints: 28751 443.39/444.98 c #Conflicts: 619000 | #Constraints: 29751 443.39/444.98 c #Conflicts: 620000 | #Constraints: 30751 443.39/444.98 c #Conflicts: 621000 | #Constraints: 31751 443.39/444.98 c #Conflicts: 622000 | #Constraints: 32751 443.39/444.98 c #Conflicts: 623000 | #Constraints: 33751 443.39/444.98 c INPROCESSING 443.39/444.98 c GARBAGE COLLECT 443.39/444.98 c rational objective 55 457.24/458.82 c #Conflicts: 624000 | #Constraints: 19187 457.24/458.82 c #Conflicts: 625000 | #Constraints: 20187 457.24/458.82 c #Conflicts: 626000 | #Constraints: 21187 457.24/458.82 c #Conflicts: 627000 | #Constraints: 22187 457.24/458.82 c #Conflicts: 628000 | #Constraints: 23187 457.24/458.82 c #Conflicts: 629000 | #Constraints: 24187 457.24/458.82 c #Conflicts: 630000 | #Constraints: 25187 457.24/458.82 c #Conflicts: 631000 | #Constraints: 26187 457.24/458.82 c #Conflicts: 632000 | #Constraints: 27187 457.24/458.82 c #Conflicts: 633000 | #Constraints: 28187 457.24/458.82 c #Conflicts: 634000 | #Constraints: 29187 457.24/458.82 c #Conflicts: 635000 | #Constraints: 30187 457.24/458.82 c #Conflicts: 636000 | #Constraints: 31187 457.24/458.82 c #Conflicts: 637000 | #Constraints: 32187 457.24/458.82 c #Conflicts: 638000 | #Constraints: 33187 457.24/458.82 c #Conflicts: 639000 | #Constraints: 34187 457.24/458.82 c INPROCESSING 457.24/458.82 c GARBAGE COLLECT 457.24/458.82 c rational objective 55 476.59/478.28 c #Conflicts: 640000 | #Constraints: 19380 476.59/478.28 c #Conflicts: 641000 | #Constraints: 20380 476.59/478.28 c #Conflicts: 642000 | #Constraints: 21380 476.59/478.28 c #Conflicts: 643000 | #Constraints: 22380 476.59/478.28 c #Conflicts: 644000 | #Constraints: 23380 476.59/478.28 c #Conflicts: 645000 | #Constraints: 24380 476.59/478.28 c #Conflicts: 646000 | #Constraints: 25380 476.59/478.28 c #Conflicts: 647000 | #Constraints: 26380 476.59/478.28 c #Conflicts: 648000 | #Constraints: 27380 476.59/478.28 c #Conflicts: 649000 | #Constraints: 28380 476.59/478.28 c #Conflicts: 650000 | #Constraints: 29380 476.59/478.28 c #Conflicts: 651000 | #Constraints: 30381 476.59/478.28 c #Conflicts: 652000 | #Constraints: 31381 476.59/478.28 c #Conflicts: 653000 | #Constraints: 32381 476.59/478.28 c #Conflicts: 654000 | #Constraints: 33381 476.59/478.28 c #Conflicts: 655000 | #Constraints: 34381 476.59/478.28 c INPROCESSING 476.59/478.28 c GARBAGE COLLECT 476.59/478.28 c rational objective 55 491.93/493.69 c #Conflicts: 656000 | #Constraints: 19407 491.93/493.69 c #Conflicts: 657000 | #Constraints: 20407 491.93/493.69 c #Conflicts: 658000 | #Constraints: 21407 491.93/493.69 c #Conflicts: 659000 | #Constraints: 22407 491.93/493.69 c #Conflicts: 660000 | #Constraints: 23407 491.93/493.69 c #Conflicts: 661000 | #Constraints: 24407 491.93/493.69 c #Conflicts: 662000 | #Constraints: 25407 491.93/493.69 c #Conflicts: 663000 | #Constraints: 26407 491.93/493.69 c #Conflicts: 664000 | #Constraints: 27407 491.93/493.69 c #Conflicts: 665000 | #Constraints: 28407 491.93/493.69 c #Conflicts: 666000 | #Constraints: 29407 491.93/493.69 c #Conflicts: 667000 | #Constraints: 30407 491.93/493.69 c #Conflicts: 668000 | #Constraints: 31407 491.93/493.69 c #Conflicts: 669000 | #Constraints: 32407 491.93/493.69 c #Conflicts: 670000 | #Constraints: 33407 491.93/493.69 c #Conflicts: 671000 | #Constraints: 34407 491.93/493.69 c INPROCESSING 491.93/493.69 c GARBAGE COLLECT 491.93/493.69 c rational objective 55 511.38/513.11 c #Conflicts: 672000 | #Constraints: 19178 511.38/513.11 c #Conflicts: 673000 | #Constraints: 20178 511.38/513.11 c #Conflicts: 674000 | #Constraints: 21178 511.38/513.11 c #Conflicts: 675000 | #Constraints: 22178 511.38/513.11 c #Conflicts: 676000 | #Constraints: 23178 511.38/513.11 c #Conflicts: 677000 | #Constraints: 24178 511.38/513.11 c #Conflicts: 678000 | #Constraints: 25178 511.38/513.11 c #Conflicts: 679000 | #Constraints: 26178 511.38/513.11 c #Conflicts: 680000 | #Constraints: 27178 511.38/513.11 c #Conflicts: 681000 | #Constraints: 28178 511.38/513.11 c #Conflicts: 682000 | #Constraints: 29178 511.38/513.11 c #Conflicts: 683000 | #Constraints: 30178 511.38/513.11 c #Conflicts: 684000 | #Constraints: 31178 511.38/513.11 c #Conflicts: 685000 | #Constraints: 32178 511.38/513.11 c #Conflicts: 686000 | #Constraints: 33178 511.38/513.11 c #Conflicts: 687000 | #Constraints: 34178 511.38/513.11 c #Conflicts: 688000 | #Constraints: 35178 511.38/513.11 c INPROCESSING 511.38/513.11 c GARBAGE COLLECT 511.38/513.11 c rational objective 55 526.82/528.63 c #Conflicts: 689000 | #Constraints: 19767 526.82/528.63 c #Conflicts: 690000 | #Constraints: 20767 526.82/528.63 c #Conflicts: 691000 | #Constraints: 21767 526.82/528.63 c #Conflicts: 692000 | #Constraints: 22767 526.82/528.63 c #Conflicts: 693000 | #Constraints: 23767 526.82/528.63 c #Conflicts: 694000 | #Constraints: 24767 526.82/528.63 c #Conflicts: 695000 | #Constraints: 25767 526.82/528.63 c #Conflicts: 696000 | #Constraints: 26767 526.82/528.63 c #Conflicts: 697000 | #Constraints: 27767 526.82/528.63 c #Conflicts: 698000 | #Constraints: 28767 526.82/528.63 c #Conflicts: 699000 | #Constraints: 29767 526.82/528.63 c #Conflicts: 700000 | #Constraints: 30767 526.82/528.63 c #Conflicts: 701000 | #Constraints: 31767 526.82/528.63 c #Conflicts: 702000 | #Constraints: 32767 526.82/528.63 c #Conflicts: 703000 | #Constraints: 33767 526.82/528.63 c #Conflicts: 704000 | #Constraints: 34767 526.82/528.63 c #Conflicts: 705000 | #Constraints: 35767 526.82/528.63 c INPROCESSING 526.82/528.63 c GARBAGE COLLECT 526.82/528.63 c rational objective 55 557.82/559.78 c #Conflicts: 706000 | #Constraints: 20148 557.82/559.78 c #Conflicts: 707000 | #Constraints: 21148 557.82/559.78 c #Conflicts: 708000 | #Constraints: 22148 557.82/559.78 c #Conflicts: 709000 | #Constraints: 23148 557.82/559.78 c #Conflicts: 710000 | #Constraints: 24148 557.82/559.78 c #Conflicts: 711000 | #Constraints: 25148 557.82/559.78 c #Conflicts: 712000 | #Constraints: 26148 557.82/559.78 c #Conflicts: 713000 | #Constraints: 27148 557.82/559.78 c #Conflicts: 714000 | #Constraints: 28148 557.82/559.78 c #Conflicts: 715000 | #Constraints: 29148 557.82/559.78 c #Conflicts: 716000 | #Constraints: 30148 557.82/559.78 c #Conflicts: 717000 | #Constraints: 31148 557.82/559.78 c #Conflicts: 718000 | #Constraints: 32148 557.82/559.78 c #Conflicts: 719000 | #Constraints: 33148 557.82/559.78 c #Conflicts: 720000 | #Constraints: 34148 557.82/559.78 c #Conflicts: 721000 | #Constraints: 35148 557.82/559.78 c #Conflicts: 722000 | #Constraints: 36148 557.82/559.78 c INPROCESSING 557.82/559.78 c GARBAGE COLLECT 557.82/559.78 c rational objective 55 575.56/577.59 c #Conflicts: 723000 | #Constraints: 20378 575.56/577.59 c #Conflicts: 724000 | #Constraints: 21378 575.56/577.59 c #Conflicts: 725000 | #Constraints: 22378 575.56/577.59 c #Conflicts: 726000 | #Constraints: 23378 575.56/577.59 c #Conflicts: 727000 | #Constraints: 24378 575.56/577.59 c #Conflicts: 728000 | #Constraints: 25378 575.56/577.59 c #Conflicts: 729000 | #Constraints: 26378 575.56/577.59 c #Conflicts: 730000 | #Constraints: 27378 575.56/577.59 c #Conflicts: 731000 | #Constraints: 28378 575.56/577.59 c #Conflicts: 732000 | #Constraints: 29378 575.56/577.59 c #Conflicts: 733000 | #Constraints: 30378 575.56/577.59 c #Conflicts: 734000 | #Constraints: 31378 575.56/577.59 c #Conflicts: 735000 | #Constraints: 32378 575.56/577.59 c #Conflicts: 736000 | #Constraints: 33378 575.56/577.59 c #Conflicts: 737000 | #Constraints: 34378 575.56/577.59 c #Conflicts: 738000 | #Constraints: 35378 575.56/577.59 c #Conflicts: 739000 | #Constraints: 36378 575.56/577.59 c INPROCESSING 575.56/577.59 c GARBAGE COLLECT 575.56/577.59 c rational objective 55 593.69/595.75 c #Conflicts: 740000 | #Constraints: 20375 593.69/595.75 c #Conflicts: 741000 | #Constraints: 21375 593.69/595.75 c #Conflicts: 742000 | #Constraints: 22375 593.69/595.75 c #Conflicts: 743000 | #Constraints: 23375 593.69/595.75 c #Conflicts: 744000 | #Constraints: 24375 593.69/595.75 c #Conflicts: 745000 | #Constraints: 25375 593.69/595.75 c #Conflicts: 746000 | #Constraints: 26375 593.69/595.75 c #Conflicts: 747000 | #Constraints: 27375 593.69/595.75 c #Conflicts: 748000 | #Constraints: 28375 593.69/595.75 c #Conflicts: 749000 | #Constraints: 29375 593.69/595.75 c #Conflicts: 750000 | #Constraints: 30375 593.69/595.75 c #Conflicts: 751000 | #Constraints: 31375 593.69/595.75 c #Conflicts: 752000 | #Constraints: 32375 593.69/595.75 c #Conflicts: 753000 | #Constraints: 33375 593.69/595.75 c #Conflicts: 754000 | #Constraints: 34375 593.69/595.75 c #Conflicts: 755000 | #Constraints: 35375 593.69/595.75 c #Conflicts: 756000 | #Constraints: 36375 593.69/595.75 c INPROCESSING 593.69/595.75 c GARBAGE COLLECT 593.69/595.75 c rational objective 55 622.40/624.55 c #Conflicts: 757000 | #Constraints: 20180 622.40/624.55 c #Conflicts: 758000 | #Constraints: 21180 622.40/624.55 c #Conflicts: 759000 | #Constraints: 22180 622.40/624.55 c #Conflicts: 760000 | #Constraints: 23180 622.40/624.55 c #Conflicts: 761000 | #Constraints: 24180 622.40/624.55 c #Conflicts: 762000 | #Constraints: 25180 622.40/624.55 c #Conflicts: 763000 | #Constraints: 26180 622.40/624.55 c #Conflicts: 764000 | #Constraints: 27180 622.40/624.55 c #Conflicts: 765000 | #Constraints: 28180 622.40/624.55 c #Conflicts: 766000 | #Constraints: 29180 622.40/624.55 c #Conflicts: 767000 | #Constraints: 30180 622.40/624.55 c #Conflicts: 768000 | #Constraints: 31180 622.40/624.55 c #Conflicts: 769000 | #Constraints: 32180 622.40/624.55 c #Conflicts: 770000 | #Constraints: 33180 622.40/624.55 c #Conflicts: 771000 | #Constraints: 34180 622.40/624.55 c #Conflicts: 772000 | #Constraints: 35180 622.40/624.55 c #Conflicts: 773000 | #Constraints: 36180 622.40/624.55 c #Conflicts: 774000 | #Constraints: 37180 622.40/624.55 c INPROCESSING 622.40/624.55 c GARBAGE COLLECT 622.40/624.55 c rational objective 55 641.24/643.45 c #Conflicts: 775000 | #Constraints: 20787 641.24/643.45 c #Conflicts: 776000 | #Constraints: 21787 641.24/643.45 c #Conflicts: 777000 | #Constraints: 22787 641.24/643.45 c #Conflicts: 778000 | #Constraints: 23787 641.24/643.45 c #Conflicts: 779000 | #Constraints: 24787 641.24/643.45 c #Conflicts: 780000 | #Constraints: 25787 641.24/643.45 c #Conflicts: 781000 | #Constraints: 26787 641.24/643.45 c #Conflicts: 782000 | #Constraints: 27787 641.24/643.45 c #Conflicts: 783000 | #Constraints: 28787 641.24/643.45 c #Conflicts: 784000 | #Constraints: 29787 641.24/643.45 c #Conflicts: 785000 | #Constraints: 30787 641.24/643.45 c #Conflicts: 786000 | #Constraints: 31787 641.24/643.45 c #Conflicts: 787000 | #Constraints: 32787 641.24/643.45 c #Conflicts: 788000 | #Constraints: 33787 641.24/643.45 c #Conflicts: 789000 | #Constraints: 34787 641.24/643.45 c #Conflicts: 790000 | #Constraints: 35787 641.24/643.45 c #Conflicts: 791000 | #Constraints: 36787 641.24/643.45 c #Conflicts: 792000 | #Constraints: 37787 641.24/643.45 c INPROCESSING 641.24/643.45 c GARBAGE COLLECT 641.24/643.45 c rational objective 55 659.38/661.61 c #Conflicts: 793000 | #Constraints: 21166 659.38/661.61 c #Conflicts: 794000 | #Constraints: 22166 659.38/661.61 c #Conflicts: 795000 | #Constraints: 23166 659.38/661.61 c #Conflicts: 796000 | #Constraints: 24166 659.38/661.61 c #Conflicts: 797000 | #Constraints: 25166 659.38/661.61 c #Conflicts: 798000 | #Constraints: 26166 659.38/661.61 c #Conflicts: 799000 | #Constraints: 27166 659.38/661.61 c #Conflicts: 800000 | #Constraints: 28166 659.38/661.61 c #Conflicts: 801000 | #Constraints: 29166 659.38/661.61 c #Conflicts: 802000 | #Constraints: 30166 659.38/661.61 c #Conflicts: 803000 | #Constraints: 31166 659.38/661.61 c #Conflicts: 804000 | #Constraints: 32166 659.38/661.61 c #Conflicts: 805000 | #Constraints: 33166 659.38/661.61 c #Conflicts: 806000 | #Constraints: 34166 659.38/661.61 c #Conflicts: 807000 | #Constraints: 35166 659.38/661.61 c #Conflicts: 808000 | #Constraints: 36166 659.38/661.61 c #Conflicts: 809000 | #Constraints: 37166 659.38/661.61 c #Conflicts: 810000 | #Constraints: 38166 659.38/661.61 c INPROCESSING 659.38/661.61 c GARBAGE COLLECT 659.38/661.61 c rational objective 55 692.37/694.72 c #Conflicts: 811000 | #Constraints: 21371 692.37/694.72 c #Conflicts: 812000 | #Constraints: 22371 692.37/694.72 c #Conflicts: 813000 | #Constraints: 23371 692.37/694.72 c #Conflicts: 814000 | #Constraints: 24371 692.37/694.72 c #Conflicts: 815000 | #Constraints: 25371 692.37/694.72 c #Conflicts: 816000 | #Constraints: 26371 692.37/694.72 c #Conflicts: 817000 | #Constraints: 27371 692.37/694.72 c #Conflicts: 818000 | #Constraints: 28371 692.37/694.72 c #Conflicts: 819000 | #Constraints: 29371 692.37/694.72 c #Conflicts: 820000 | #Constraints: 30371 692.37/694.72 c #Conflicts: 821000 | #Constraints: 31371 692.37/694.72 c #Conflicts: 822000 | #Constraints: 32371 692.37/694.72 c #Conflicts: 823000 | #Constraints: 33371 692.37/694.72 c #Conflicts: 824000 | #Constraints: 34371 692.37/694.72 c #Conflicts: 825000 | #Constraints: 35371 692.37/694.72 c #Conflicts: 826000 | #Constraints: 36371 692.37/694.72 c #Conflicts: 827000 | #Constraints: 37371 692.37/694.72 c #Conflicts: 828000 | #Constraints: 38371 692.37/694.72 c INPROCESSING 692.37/694.72 c GARBAGE COLLECT 692.37/694.72 c rational objective 55 711.30/713.75 c #Conflicts: 829000 | #Constraints: 21363 711.30/713.75 c #Conflicts: 830000 | #Constraints: 22363 711.30/713.75 c #Conflicts: 831000 | #Constraints: 23363 711.30/713.75 c #Conflicts: 832000 | #Constraints: 24363 711.30/713.75 c #Conflicts: 833000 | #Constraints: 25363 711.30/713.75 c #Conflicts: 834000 | #Constraints: 26363 711.30/713.75 c #Conflicts: 835000 | #Constraints: 27363 711.30/713.75 c #Conflicts: 836000 | #Constraints: 28363 711.30/713.75 c #Conflicts: 837000 | #Constraints: 29363 711.30/713.75 c #Conflicts: 838000 | #Constraints: 30363 711.30/713.75 c #Conflicts: 839000 | #Constraints: 31363 711.30/713.75 c #Conflicts: 840000 | #Constraints: 32363 711.30/713.75 c #Conflicts: 841000 | #Constraints: 33363 711.30/713.75 c #Conflicts: 842000 | #Constraints: 34363 711.30/713.75 c #Conflicts: 843000 | #Constraints: 35363 711.30/713.75 c #Conflicts: 844000 | #Constraints: 36363 711.30/713.75 c #Conflicts: 845000 | #Constraints: 37363 711.30/713.75 c #Conflicts: 846000 | #Constraints: 38363 711.30/713.75 c INPROCESSING 711.30/713.75 c GARBAGE COLLECT 711.30/713.75 c rational objective 55 744.40/747.01 c #Conflicts: 847000 | #Constraints: 21151 744.40/747.01 c #Conflicts: 848000 | #Constraints: 22151 744.40/747.01 c #Conflicts: 849000 | #Constraints: 23151 744.40/747.01 c #Conflicts: 850000 | #Constraints: 24151 744.40/747.01 c #Conflicts: 851000 | #Constraints: 25151 744.40/747.01 c #Conflicts: 852000 | #Constraints: 26151 744.40/747.01 c #Conflicts: 853000 | #Constraints: 27151 744.40/747.01 c #Conflicts: 854000 | #Constraints: 28151 744.40/747.01 c #Conflicts: 855000 | #Constraints: 29151 744.40/747.01 c #Conflicts: 856000 | #Constraints: 30151 744.40/747.01 c #Conflicts: 857000 | #Constraints: 31151 744.40/747.01 c #Conflicts: 858000 | #Constraints: 32151 744.40/747.01 c #Conflicts: 859000 | #Constraints: 33151 744.40/747.01 c #Conflicts: 860000 | #Constraints: 34151 744.40/747.01 c #Conflicts: 861000 | #Constraints: 35151 744.40/747.01 c #Conflicts: 862000 | #Constraints: 36151 744.40/747.01 c #Conflicts: 863000 | #Constraints: 37151 744.40/747.01 c #Conflicts: 864000 | #Constraints: 38151 744.40/747.01 c #Conflicts: 865000 | #Constraints: 39151 744.40/747.01 c INPROCESSING 744.40/747.01 c GARBAGE COLLECT 744.40/747.01 c rational objective 55 766.43/769.05 c #Conflicts: 866000 | #Constraints: 21788 766.43/769.05 c #Conflicts: 867000 | #Constraints: 22788 766.43/769.05 c #Conflicts: 868000 | #Constraints: 23788 766.43/769.05 c #Conflicts: 869000 | #Constraints: 24788 766.43/769.05 c #Conflicts: 870000 | #Constraints: 25788 766.43/769.05 c #Conflicts: 871000 | #Constraints: 26788 766.43/769.05 c #Conflicts: 872000 | #Constraints: 27788 766.43/769.05 c #Conflicts: 873000 | #Constraints: 28788 766.43/769.05 c #Conflicts: 874000 | #Constraints: 29788 766.43/769.05 c #Conflicts: 875000 | #Constraints: 30788 766.43/769.05 c #Conflicts: 876000 | #Constraints: 31788 766.43/769.05 c #Conflicts: 877000 | #Constraints: 32788 766.43/769.05 c #Conflicts: 878000 | #Constraints: 33788 766.43/769.05 c #Conflicts: 879000 | #Constraints: 34788 766.43/769.05 c #Conflicts: 880000 | #Constraints: 35788 766.43/769.05 c #Conflicts: 881000 | #Constraints: 36788 766.43/769.05 c #Conflicts: 882000 | #Constraints: 37788 766.43/769.05 c #Conflicts: 883000 | #Constraints: 38788 766.43/769.05 c #Conflicts: 884000 | #Constraints: 39788 766.43/769.05 c INPROCESSING 766.43/769.05 c GARBAGE COLLECT 766.43/769.05 c rational objective 55 789.24/791.91 c #Conflicts: 885000 | #Constraints: 22176 789.24/791.91 c #Conflicts: 886000 | #Constraints: 23176 789.24/791.91 c #Conflicts: 887000 | #Constraints: 24176 789.24/791.91 c #Conflicts: 888000 | #Constraints: 25176 789.24/791.91 c #Conflicts: 889000 | #Constraints: 26176 789.24/791.91 c #Conflicts: 890000 | #Constraints: 27176 789.24/791.91 c #Conflicts: 891000 | #Constraints: 28176 789.24/791.91 c #Conflicts: 892000 | #Constraints: 29176 789.24/791.91 c #Conflicts: 893000 | #Constraints: 30176 789.24/791.91 c #Conflicts: 894000 | #Constraints: 31176 789.24/791.91 c #Conflicts: 895000 | #Constraints: 32176 789.24/791.91 c #Conflicts: 896000 | #Constraints: 33176 789.24/791.91 c #Conflicts: 897000 | #Constraints: 34176 789.24/791.91 c #Conflicts: 898000 | #Constraints: 35176 789.24/791.91 c #Conflicts: 899000 | #Constraints: 36176 789.24/791.91 c #Conflicts: 900000 | #Constraints: 37176 789.24/791.91 c #Conflicts: 901000 | #Constraints: 38176 789.24/791.91 c #Conflicts: 902000 | #Constraints: 39176 789.24/791.91 c #Conflicts: 903000 | #Constraints: 40176 789.24/791.91 c INPROCESSING 789.24/791.91 c GARBAGE COLLECT 789.24/791.91 c rational objective 55 825.51/828.36 c #Conflicts: 904000 | #Constraints: 22356 825.51/828.36 c #Conflicts: 905000 | #Constraints: 23356 825.51/828.36 c #Conflicts: 906000 | #Constraints: 24356 825.51/828.36 c #Conflicts: 907000 | #Constraints: 25356 825.51/828.36 c #Conflicts: 908000 | #Constraints: 26356 825.51/828.36 c #Conflicts: 909000 | #Constraints: 27356 825.51/828.36 c #Conflicts: 910000 | #Constraints: 28356 825.51/828.36 c #Conflicts: 911000 | #Constraints: 29356 825.51/828.36 c #Conflicts: 912000 | #Constraints: 30356 825.51/828.36 c #Conflicts: 913000 | #Constraints: 31356 825.51/828.36 c #Conflicts: 914000 | #Constraints: 32356 825.51/828.36 c #Conflicts: 915000 | #Constraints: 33356 825.51/828.36 c #Conflicts: 916000 | #Constraints: 34356 825.51/828.36 c #Conflicts: 917000 | #Constraints: 35356 825.51/828.36 c #Conflicts: 918000 | #Constraints: 36356 825.51/828.36 c #Conflicts: 919000 | #Constraints: 37356 825.51/828.36 c #Conflicts: 920000 | #Constraints: 38356 825.51/828.36 c #Conflicts: 921000 | #Constraints: 39356 825.51/828.36 c #Conflicts: 922000 | #Constraints: 40356 825.51/828.36 c INPROCESSING 825.51/828.36 c GARBAGE COLLECT 825.51/828.36 c rational objective 55 848.53/851.42 c #Conflicts: 923000 | #Constraints: 22382 848.53/851.42 c #Conflicts: 924000 | #Constraints: 23382 848.53/851.42 c #Conflicts: 925000 | #Constraints: 24382 848.53/851.42 c #Conflicts: 926000 | #Constraints: 25382 848.53/851.42 c #Conflicts: 927000 | #Constraints: 26382 848.53/851.42 c #Conflicts: 928000 | #Constraints: 27382 848.53/851.42 c #Conflicts: 929000 | #Constraints: 28382 848.53/851.42 c #Conflicts: 930000 | #Constraints: 29382 848.53/851.42 c #Conflicts: 931000 | #Constraints: 30382 848.53/851.42 c #Conflicts: 932000 | #Constraints: 31382 848.53/851.42 c #Conflicts: 933000 | #Constraints: 32382 848.53/851.42 c #Conflicts: 934000 | #Constraints: 33382 848.53/851.42 c #Conflicts: 935000 | #Constraints: 34382 848.53/851.42 c #Conflicts: 936000 | #Constraints: 35382 848.53/851.42 c #Conflicts: 937000 | #Constraints: 36382 848.53/851.42 c #Conflicts: 938000 | #Constraints: 37382 848.53/851.42 c #Conflicts: 939000 | #Constraints: 38382 848.53/851.42 c #Conflicts: 940000 | #Constraints: 39382 848.53/851.42 c #Conflicts: 941000 | #Constraints: 40382 848.53/851.42 c INPROCESSING 848.53/851.42 c GARBAGE COLLECT 848.53/851.42 c rational objective 55 888.88/891.99 c #Conflicts: 942000 | #Constraints: 22189 888.88/891.99 c #Conflicts: 943000 | #Constraints: 23189 888.88/891.99 c #Conflicts: 944000 | #Constraints: 24189 888.88/891.99 c #Conflicts: 945000 | #Constraints: 25189 888.88/891.99 c #Conflicts: 946000 | #Constraints: 26189 888.88/891.99 c #Conflicts: 947000 | #Constraints: 27189 888.88/891.99 c #Conflicts: 948000 | #Constraints: 28189 888.88/891.99 c #Conflicts: 949000 | #Constraints: 29189 888.88/891.99 c #Conflicts: 950000 | #Constraints: 30189 888.88/891.99 c #Conflicts: 951000 | #Constraints: 31189 888.88/891.99 c #Conflicts: 952000 | #Constraints: 32189 888.88/891.99 c #Conflicts: 953000 | #Constraints: 33189 888.88/891.99 c #Conflicts: 954000 | #Constraints: 34189 888.88/891.99 c #Conflicts: 955000 | #Constraints: 35189 888.88/891.99 c #Conflicts: 956000 | #Constraints: 36189 888.88/891.99 c #Conflicts: 957000 | #Constraints: 37189 888.88/891.99 c #Conflicts: 958000 | #Constraints: 38189 888.88/891.99 c #Conflicts: 959000 | #Constraints: 39189 888.88/891.99 c #Conflicts: 960000 | #Constraints: 40189 888.88/891.99 c #Conflicts: 961000 | #Constraints: 41189 888.88/891.99 c INPROCESSING 888.88/891.99 c GARBAGE COLLECT 888.88/891.99 c rational objective 55 910.81/913.96 c #Conflicts: 962000 | #Constraints: 22794 910.81/913.96 c #Conflicts: 963000 | #Constraints: 23794 910.81/913.96 c #Conflicts: 964000 | #Constraints: 24794 910.81/913.96 c #Conflicts: 965000 | #Constraints: 25794 910.81/913.96 c #Conflicts: 966000 | #Constraints: 26794 910.81/913.96 c #Conflicts: 967000 | #Constraints: 27794 910.81/913.96 c #Conflicts: 968000 | #Constraints: 28794 910.81/913.96 c #Conflicts: 969000 | #Constraints: 29794 910.81/913.96 c #Conflicts: 970000 | #Constraints: 30794 910.81/913.96 c #Conflicts: 971000 | #Constraints: 31794 910.81/913.96 c #Conflicts: 972000 | #Constraints: 32794 910.81/913.96 c #Conflicts: 973000 | #Constraints: 33794 910.81/913.96 c #Conflicts: 974000 | #Constraints: 34794 910.81/913.96 c #Conflicts: 975000 | #Constraints: 35794 910.81/913.96 c #Conflicts: 976000 | #Constraints: 36794 910.81/913.96 c #Conflicts: 977000 | #Constraints: 37794 910.81/913.96 c #Conflicts: 978000 | #Constraints: 38794 910.81/913.96 c #Conflicts: 979000 | #Constraints: 39794 910.81/913.96 c #Conflicts: 980000 | #Constraints: 40794 910.81/913.96 c #Conflicts: 981000 | #Constraints: 41794 910.81/913.96 c INPROCESSING 910.81/913.96 c GARBAGE COLLECT 910.81/913.96 c rational objective 55 934.63/937.89 c #Conflicts: 982000 | #Constraints: 23197 934.63/937.89 c #Conflicts: 983000 | #Constraints: 24197 934.63/937.89 c #Conflicts: 984000 | #Constraints: 25197 934.63/937.89 c #Conflicts: 985000 | #Constraints: 26197 934.63/937.89 c #Conflicts: 986000 | #Constraints: 27197 934.63/937.89 c #Conflicts: 987000 | #Constraints: 28197 934.63/937.89 c #Conflicts: 988000 | #Constraints: 29197 934.63/937.89 c #Conflicts: 989000 | #Constraints: 30197 934.63/937.89 c #Conflicts: 990000 | #Constraints: 31197 934.63/937.89 c #Conflicts: 991000 | #Constraints: 32197 934.63/937.89 c #Conflicts: 992000 | #Constraints: 33197 934.63/937.89 c #Conflicts: 993000 | #Constraints: 34197 934.63/937.89 c #Conflicts: 994000 | #Constraints: 35197 934.63/937.89 c #Conflicts: 995000 | #Constraints: 36197 934.63/937.89 c #Conflicts: 996000 | #Constraints: 37197 934.63/937.89 c #Conflicts: 997000 | #Constraints: 38197 934.63/937.89 c #Conflicts: 998000 | #Constraints: 39197 934.63/937.89 c #Conflicts: 999000 | #Constraints: 40197 934.63/937.89 c #Conflicts: 1000000 | #Constraints: 41197 934.63/937.89 c #Conflicts: 1001000 | #Constraints: 42197 934.63/937.89 c INPROCESSING 934.63/937.89 c GARBAGE COLLECT 934.63/937.89 c rational objective 55 989.45/992.82 c #Conflicts: 1002000 | #Constraints: 23392 989.45/992.82 c #Conflicts: 1003000 | #Constraints: 24392 989.45/992.82 c #Conflicts: 1004000 | #Constraints: 25392 989.45/992.82 c #Conflicts: 1005000 | #Constraints: 26392 989.45/992.82 c #Conflicts: 1006000 | #Constraints: 27392 989.45/992.82 c #Conflicts: 1007000 | #Constraints: 28392 989.45/992.82 c #Conflicts: 1008000 | #Constraints: 29392 989.45/992.82 c #Conflicts: 1009000 | #Constraints: 30392 989.45/992.82 c #Conflicts: 1010000 | #Constraints: 31392 989.45/992.82 c #Conflicts: 1011000 | #Constraints: 32392 989.45/992.82 c #Conflicts: 1012000 | #Constraints: 33392 989.45/992.82 c #Conflicts: 1013000 | #Constraints: 34392 989.45/992.82 c #Conflicts: 1014000 | #Constraints: 35392 989.45/992.82 c #Conflicts: 1015000 | #Constraints: 36392 989.45/992.82 c #Conflicts: 1016000 | #Constraints: 37392 989.45/992.82 c #Conflicts: 1017000 | #Constraints: 38392 989.45/992.82 c #Conflicts: 1018000 | #Constraints: 39392 989.45/992.82 c #Conflicts: 1019000 | #Constraints: 40392 989.45/992.82 c #Conflicts: 1020000 | #Constraints: 41392 989.45/992.82 c #Conflicts: 1021000 | #Constraints: 42392 989.45/992.82 c INPROCESSING 989.45/992.82 c GARBAGE COLLECT 989.45/992.82 c rational objective 55 1013.97/1017.46 c #Conflicts: 1022000 | #Constraints: 23397 1013.97/1017.46 c #Conflicts: 1023000 | #Constraints: 24397 1013.97/1017.46 c #Conflicts: 1024000 | #Constraints: 25397 1013.97/1017.46 c #Conflicts: 1025000 | #Constraints: 26397 1013.97/1017.46 c #Conflicts: 1026000 | #Constraints: 27397 1013.97/1017.46 c #Conflicts: 1027000 | #Constraints: 28397 1013.97/1017.46 c #Conflicts: 1028000 | #Constraints: 29397 1013.97/1017.46 c #Conflicts: 1029000 | #Constraints: 30397 1013.97/1017.46 c #Conflicts: 1030000 | #Constraints: 31397 1013.97/1017.46 c #Conflicts: 1031000 | #Constraints: 32397 1013.97/1017.46 c #Conflicts: 1032000 | #Constraints: 33397 1013.97/1017.46 c #Conflicts: 1033000 | #Constraints: 34397 1013.97/1017.46 c #Conflicts: 1034000 | #Constraints: 35397 1013.97/1017.46 c #Conflicts: 1035000 | #Constraints: 36397 1013.97/1017.46 c #Conflicts: 1036000 | #Constraints: 37397 1013.97/1017.46 c #Conflicts: 1037000 | #Constraints: 38397 1013.97/1017.46 c #Conflicts: 1038000 | #Constraints: 39397 1013.97/1017.46 c #Conflicts: 1039000 | #Constraints: 40397 1013.97/1017.46 c #Conflicts: 1040000 | #Constraints: 41397 1013.97/1017.46 c #Conflicts: 1041000 | #Constraints: 42397 1013.97/1017.46 c INPROCESSING 1013.97/1017.46 c GARBAGE COLLECT 1013.97/1017.46 c rational objective 55 1041.59/1045.13 c #Conflicts: 1042000 | #Constraints: 23173 1041.59/1045.13 c #Conflicts: 1043000 | #Constraints: 24173 1041.59/1045.13 c #Conflicts: 1044000 | #Constraints: 25173 1041.59/1045.13 c #Conflicts: 1045000 | #Constraints: 26173 1041.59/1045.13 c #Conflicts: 1046000 | #Constraints: 27173 1041.59/1045.13 c #Conflicts: 1047000 | #Constraints: 28173 1041.59/1045.13 c #Conflicts: 1048000 | #Constraints: 29173 1041.59/1045.13 c #Conflicts: 1049000 | #Constraints: 30173 1041.59/1045.13 c #Conflicts: 1050000 | #Constraints: 31173 1041.59/1045.13 c #Conflicts: 1051000 | #Constraints: 32173 1041.59/1045.13 c #Conflicts: 1052000 | #Constraints: 33173 1041.59/1045.13 c #Conflicts: 1053000 | #Constraints: 34173 1041.59/1045.13 c #Conflicts: 1054000 | #Constraints: 35173 1041.59/1045.13 c #Conflicts: 1055000 | #Constraints: 36173 1041.59/1045.13 c #Conflicts: 1056000 | #Constraints: 37173 1041.59/1045.13 c #Conflicts: 1057000 | #Constraints: 38173 1041.59/1045.13 c #Conflicts: 1058000 | #Constraints: 39173 1041.59/1045.13 c #Conflicts: 1059000 | #Constraints: 40173 1041.59/1045.13 c #Conflicts: 1060000 | #Constraints: 41173 1041.59/1045.13 c #Conflicts: 1061000 | #Constraints: 42173 1041.59/1045.13 c #Conflicts: 1062000 | #Constraints: 43173 1041.59/1045.13 c INPROCESSING 1041.59/1045.13 c GARBAGE COLLECT 1041.59/1045.13 c rational objective 55 1090.01/1093.77 c #Conflicts: 1063000 | #Constraints: 23766 1090.01/1093.77 c #Conflicts: 1064000 | #Constraints: 24766 1090.01/1093.77 c #Conflicts: 1065000 | #Constraints: 25766 1090.01/1093.77 c #Conflicts: 1066000 | #Constraints: 26766 1090.01/1093.77 c #Conflicts: 1067000 | #Constraints: 27766 1090.01/1093.77 c #Conflicts: 1068000 | #Constraints: 28766 1090.01/1093.77 c #Conflicts: 1069000 | #Constraints: 29766 1090.01/1093.77 c #Conflicts: 1070000 | #Constraints: 30766 1090.01/1093.77 c #Conflicts: 1071000 | #Constraints: 31766 1090.01/1093.77 c #Conflicts: 1072000 | #Constraints: 32766 1090.01/1093.77 c #Conflicts: 1073000 | #Constraints: 33766 1090.01/1093.77 c #Conflicts: 1074000 | #Constraints: 34766 1090.01/1093.77 c #Conflicts: 1075000 | #Constraints: 35766 1090.01/1093.77 c #Conflicts: 1076000 | #Constraints: 36766 1090.01/1093.77 c #Conflicts: 1077000 | #Constraints: 37766 1090.01/1093.77 c #Conflicts: 1078000 | #Constraints: 38766 1090.01/1093.77 c #Conflicts: 1079000 | #Constraints: 39766 1090.01/1093.77 c #Conflicts: 1080000 | #Constraints: 40766 1090.01/1093.77 c #Conflicts: 1081000 | #Constraints: 41766 1090.01/1093.77 c #Conflicts: 1082000 | #Constraints: 42766 1090.01/1093.77 c #Conflicts: 1083000 | #Constraints: 43766 1090.01/1093.77 c INPROCESSING 1090.01/1093.77 c GARBAGE COLLECT 1090.01/1093.77 c rational objective 55 1118.92/1122.77 c #Conflicts: 1084000 | #Constraints: 24188 1118.92/1122.77 c #Conflicts: 1085000 | #Constraints: 25188 1118.92/1122.77 c #Conflicts: 1086000 | #Constraints: 26188 1118.92/1122.77 c #Conflicts: 1087000 | #Constraints: 27188 1118.92/1122.77 c #Conflicts: 1088000 | #Constraints: 28188 1118.92/1122.77 c #Conflicts: 1089000 | #Constraints: 29188 1118.92/1122.77 c #Conflicts: 1090000 | #Constraints: 30188 1118.92/1122.77 c #Conflicts: 1091000 | #Constraints: 31188 1118.92/1122.77 c #Conflicts: 1092000 | #Constraints: 32188 1118.92/1122.77 c #Conflicts: 1093000 | #Constraints: 33188 1118.92/1122.77 c #Conflicts: 1094000 | #Constraints: 34188 1118.92/1122.77 c #Conflicts: 1095000 | #Constraints: 35188 1118.92/1122.77 c #Conflicts: 1096000 | #Constraints: 36188 1118.92/1122.77 c #Conflicts: 1097000 | #Constraints: 37188 1118.92/1122.77 c #Conflicts: 1098000 | #Constraints: 38188 1118.92/1122.77 c #Conflicts: 1099000 | #Constraints: 39188 1118.92/1122.77 c #Conflicts: 1100000 | #Constraints: 40188 1118.92/1122.77 c #Conflicts: 1101000 | #Constraints: 41188 1118.92/1122.77 c #Conflicts: 1102000 | #Constraints: 42188 1118.92/1122.77 c #Conflicts: 1103000 | #Constraints: 43188 1118.92/1122.77 c #Conflicts: 1104000 | #Constraints: 44188 1118.92/1122.77 c INPROCESSING 1118.92/1122.77 c GARBAGE COLLECT 1118.92/1122.77 c rational objective 55 1148.23/1152.14 c #Conflicts: 1105000 | #Constraints: 24399 1148.23/1152.14 c #Conflicts: 1106000 | #Constraints: 25399 1148.23/1152.14 c #Conflicts: 1107000 | #Constraints: 26399 1148.23/1152.14 c #Conflicts: 1108000 | #Constraints: 27399 1148.23/1152.14 c #Conflicts: 1109000 | #Constraints: 28399 1148.23/1152.14 c #Conflicts: 1110000 | #Constraints: 29399 1148.23/1152.14 c #Conflicts: 1111000 | #Constraints: 30399 1148.23/1152.14 c #Conflicts: 1112000 | #Constraints: 31399 1148.23/1152.14 c #Conflicts: 1113000 | #Constraints: 32399 1148.23/1152.14 c #Conflicts: 1114000 | #Constraints: 33399 1148.23/1152.14 c #Conflicts: 1115000 | #Constraints: 34399 1148.23/1152.14 c #Conflicts: 1116000 | #Constraints: 35399 1148.23/1152.14 c #Conflicts: 1117000 | #Constraints: 36399 1148.23/1152.14 c #Conflicts: 1118000 | #Constraints: 37399 1148.23/1152.14 c #Conflicts: 1119000 | #Constraints: 38399 1148.23/1152.14 c #Conflicts: 1120000 | #Constraints: 39399 1148.23/1152.14 c #Conflicts: 1121000 | #Constraints: 40399 1148.23/1152.14 c #Conflicts: 1122000 | #Constraints: 41399 1148.23/1152.14 c #Conflicts: 1123000 | #Constraints: 42399 1148.23/1152.14 c #Conflicts: 1124000 | #Constraints: 43399 1148.23/1152.14 c #Conflicts: 1125000 | #Constraints: 44399 1148.23/1152.14 c INPROCESSING 1148.23/1152.14 c GARBAGE COLLECT 1148.23/1152.14 c rational objective 55 1175.52/1179.56 c #Conflicts: 1126000 | #Constraints: 24376 1175.52/1179.56 c #Conflicts: 1127000 | #Constraints: 25376 1175.52/1179.56 c #Conflicts: 1128000 | #Constraints: 26376 1175.52/1179.56 c #Conflicts: 1129000 | #Constraints: 27376 1175.52/1179.56 c #Conflicts: 1130000 | #Constraints: 28376 1175.52/1179.56 c #Conflicts: 1131000 | #Constraints: 29376 1175.52/1179.56 c #Conflicts: 1132000 | #Constraints: 30376 1175.52/1179.56 c #Conflicts: 1133000 | #Constraints: 31376 1175.52/1179.56 c #Conflicts: 1134000 | #Constraints: 32376 1175.52/1179.56 c #Conflicts: 1135000 | #Constraints: 33376 1175.52/1179.56 c #Conflicts: 1136000 | #Constraints: 34376 1175.52/1179.56 c #Conflicts: 1137000 | #Constraints: 35376 1175.52/1179.56 c #Conflicts: 1138000 | #Constraints: 36376 1175.52/1179.56 c #Conflicts: 1139000 | #Constraints: 37376 1175.52/1179.56 c #Conflicts: 1140000 | #Constraints: 38376 1175.52/1179.56 c #Conflicts: 1141000 | #Constraints: 39376 1175.52/1179.56 c #Conflicts: 1142000 | #Constraints: 40376 1175.52/1179.56 c #Conflicts: 1143000 | #Constraints: 41376 1175.52/1179.56 c #Conflicts: 1144000 | #Constraints: 42376 1175.52/1179.56 c #Conflicts: 1145000 | #Constraints: 43376 1175.52/1179.56 c #Conflicts: 1146000 | #Constraints: 44376 1175.52/1179.56 c INPROCESSING 1175.52/1179.56 c GARBAGE COLLECT 1175.52/1179.56 c rational objective 55 1203.43/1207.59 c #Conflicts: 1147000 | #Constraints: 24179 1203.43/1207.59 c #Conflicts: 1148000 | #Constraints: 25179 1203.43/1207.59 c #Conflicts: 1149000 | #Constraints: 26179 1203.43/1207.59 c #Conflicts: 1150000 | #Constraints: 27179 1203.43/1207.59 c #Conflicts: 1151000 | #Constraints: 28179 1203.43/1207.59 c #Conflicts: 1152000 | #Constraints: 29179 1203.43/1207.59 c #Conflicts: 1153000 | #Constraints: 30179 1203.43/1207.59 c #Conflicts: 1154000 | #Constraints: 31179 1203.43/1207.59 c #Conflicts: 1155000 | #Constraints: 32179 1203.43/1207.59 c #Conflicts: 1156000 | #Constraints: 33179 1203.43/1207.59 c #Conflicts: 1157000 | #Constraints: 34179 1203.43/1207.59 c #Conflicts: 1158000 | #Constraints: 35179 1203.43/1207.59 c #Conflicts: 1159000 | #Constraints: 36179 1203.43/1207.59 c #Conflicts: 1160000 | #Constraints: 37179 1203.43/1207.59 c #Conflicts: 1161000 | #Constraints: 38179 1203.43/1207.59 c #Conflicts: 1162000 | #Constraints: 39179 1203.43/1207.59 c #Conflicts: 1163000 | #Constraints: 40179 1203.43/1207.59 c #Conflicts: 1164000 | #Constraints: 41179 1203.43/1207.59 c #Conflicts: 1165000 | #Constraints: 42179 1203.43/1207.59 c #Conflicts: 1166000 | #Constraints: 43179 1203.43/1207.59 c #Conflicts: 1167000 | #Constraints: 44179 1203.43/1207.59 c #Conflicts: 1168000 | #Constraints: 45179 1203.43/1207.59 c INPROCESSING 1203.43/1207.59 c GARBAGE COLLECT 1203.43/1207.59 c rational objective 55 1252.38/1256.60 c #Conflicts: 1169000 | #Constraints: 24777 1252.38/1256.60 c #Conflicts: 1170000 | #Constraints: 25777 1252.38/1256.60 c #Conflicts: 1171000 | #Constraints: 26777 1252.38/1256.60 c #Conflicts: 1172000 | #Constraints: 27777 1252.38/1256.60 c #Conflicts: 1173000 | #Constraints: 28777 1252.38/1256.60 c #Conflicts: 1174000 | #Constraints: 29777 1252.38/1256.60 c #Conflicts: 1175000 | #Constraints: 30777 1252.38/1256.60 c #Conflicts: 1176000 | #Constraints: 31777 1252.38/1256.60 c #Conflicts: 1177000 | #Constraints: 32777 1252.38/1256.60 c #Conflicts: 1178000 | #Constraints: 33777 1252.38/1256.60 c #Conflicts: 1179000 | #Constraints: 34777 1252.38/1256.60 c #Conflicts: 1180000 | #Constraints: 35777 1252.38/1256.60 c #Conflicts: 1181000 | #Constraints: 36777 1252.38/1256.60 c #Conflicts: 1182000 | #Constraints: 37777 1252.38/1256.60 c #Conflicts: 1183000 | #Constraints: 38777 1252.38/1256.60 c #Conflicts: 1184000 | #Constraints: 39777 1252.38/1256.60 c #Conflicts: 1185000 | #Constraints: 40777 1252.38/1256.60 c #Conflicts: 1186000 | #Constraints: 41777 1252.38/1256.60 c #Conflicts: 1187000 | #Constraints: 42777 1252.38/1256.60 c #Conflicts: 1188000 | #Constraints: 43777 1252.38/1256.60 c #Conflicts: 1189000 | #Constraints: 44777 1252.38/1256.60 c #Conflicts: 1190000 | #Constraints: 45777 1252.38/1256.60 c INPROCESSING 1252.38/1256.60 c GARBAGE COLLECT 1252.38/1256.60 c rational objective 55 1280.48/1284.87 c #Conflicts: 1191000 | #Constraints: 25161 1280.48/1284.87 c #Conflicts: 1192000 | #Constraints: 26161 1280.48/1284.87 c #Conflicts: 1193000 | #Constraints: 27161 1280.48/1284.87 c #Conflicts: 1194000 | #Constraints: 28161 1280.48/1284.87 c #Conflicts: 1195000 | #Constraints: 29161 1280.48/1284.87 c #Conflicts: 1196000 | #Constraints: 30161 1280.48/1284.87 c #Conflicts: 1197000 | #Constraints: 31161 1280.48/1284.87 c #Conflicts: 1198000 | #Constraints: 32161 1280.48/1284.87 c #Conflicts: 1199000 | #Constraints: 33161 1280.48/1284.87 c #Conflicts: 1200000 | #Constraints: 34161 1280.48/1284.87 c #Conflicts: 1201000 | #Constraints: 35161 1280.48/1284.87 c #Conflicts: 1202000 | #Constraints: 36161 1280.48/1284.87 c #Conflicts: 1203000 | #Constraints: 37161 1280.48/1284.87 c #Conflicts: 1204000 | #Constraints: 38161 1280.48/1284.87 c #Conflicts: 1205000 | #Constraints: 39161 1280.48/1284.87 c #Conflicts: 1206000 | #Constraints: 40161 1280.48/1284.87 c #Conflicts: 1207000 | #Constraints: 41161 1280.48/1284.87 c #Conflicts: 1208000 | #Constraints: 42161 1280.48/1284.87 c #Conflicts: 1209000 | #Constraints: 43161 1280.48/1284.87 c #Conflicts: 1210000 | #Constraints: 44161 1280.48/1284.87 c #Conflicts: 1211000 | #Constraints: 45161 1280.48/1284.87 c #Conflicts: 1212000 | #Constraints: 46161 1280.48/1284.87 c INPROCESSING 1280.48/1284.87 c GARBAGE COLLECT 1280.48/1284.87 c rational objective 55 1336.78/1341.34 c #Conflicts: 1213000 | #Constraints: 25373 1336.78/1341.34 c #Conflicts: 1214000 | #Constraints: 26373 1336.78/1341.34 c #Conflicts: 1215000 | #Constraints: 27373 1336.78/1341.34 c #Conflicts: 1216000 | #Constraints: 28373 1336.78/1341.34 c #Conflicts: 1217000 | #Constraints: 29373 1336.78/1341.34 c #Conflicts: 1218000 | #Constraints: 30373 1336.78/1341.34 c #Conflicts: 1219000 | #Constraints: 31373 1336.78/1341.34 c #Conflicts: 1220000 | #Constraints: 32373 1336.78/1341.34 c #Conflicts: 1221000 | #Constraints: 33373 1336.78/1341.34 c #Conflicts: 1222000 | #Constraints: 34373 1336.78/1341.34 c #Conflicts: 1223000 | #Constraints: 35373 1336.78/1341.34 c #Conflicts: 1224000 | #Constraints: 36373 1336.78/1341.34 c #Conflicts: 1225000 | #Constraints: 37373 1336.78/1341.34 c #Conflicts: 1226000 | #Constraints: 38373 1336.78/1341.34 c #Conflicts: 1227000 | #Constraints: 39373 1336.78/1341.34 c #Conflicts: 1228000 | #Constraints: 40373 1336.78/1341.34 c #Conflicts: 1229000 | #Constraints: 41373 1336.78/1341.34 c #Conflicts: 1230000 | #Constraints: 42373 1336.78/1341.34 c #Conflicts: 1231000 | #Constraints: 43373 1336.78/1341.34 c #Conflicts: 1232000 | #Constraints: 44373 1336.78/1341.34 c #Conflicts: 1233000 | #Constraints: 45373 1336.78/1341.34 c #Conflicts: 1234000 | #Constraints: 46373 1336.78/1341.34 c INPROCESSING 1336.78/1341.34 c GARBAGE COLLECT 1336.78/1341.34 c rational objective 55 1367.29/1371.93 c #Conflicts: 1235000 | #Constraints: 25368 1367.29/1371.93 c #Conflicts: 1236000 | #Constraints: 26368 1367.29/1371.93 c #Conflicts: 1237000 | #Constraints: 27368 1367.29/1371.93 c #Conflicts: 1238000 | #Constraints: 28368 1367.29/1371.93 c #Conflicts: 1239000 | #Constraints: 29368 1367.29/1371.93 c #Conflicts: 1240000 | #Constraints: 30368 1367.29/1371.93 c #Conflicts: 1241000 | #Constraints: 31368 1367.29/1371.93 c #Conflicts: 1242000 | #Constraints: 32368 1367.29/1371.93 c #Conflicts: 1243000 | #Constraints: 33368 1367.29/1371.93 c #Conflicts: 1244000 | #Constraints: 34368 1367.29/1371.93 c #Conflicts: 1245000 | #Constraints: 35368 1367.29/1371.93 c #Conflicts: 1246000 | #Constraints: 36368 1367.29/1371.93 c #Conflicts: 1247000 | #Constraints: 37368 1367.29/1371.93 c #Conflicts: 1248000 | #Constraints: 38368 1367.29/1371.93 c #Conflicts: 1249000 | #Constraints: 39368 1367.29/1371.93 c #Conflicts: 1250000 | #Constraints: 40368 1367.29/1371.93 c #Conflicts: 1251000 | #Constraints: 41368 1367.29/1371.93 c #Conflicts: 1252000 | #Constraints: 42368 1367.29/1371.93 c #Conflicts: 1253000 | #Constraints: 43368 1367.29/1371.93 c #Conflicts: 1254000 | #Constraints: 44368 1367.29/1371.93 c #Conflicts: 1255000 | #Constraints: 45368 1367.29/1371.93 c #Conflicts: 1256000 | #Constraints: 46368 1367.29/1371.93 c INPROCESSING 1367.29/1371.93 c GARBAGE COLLECT 1367.29/1371.93 c rational objective 55 1398.97/1403.73 c #Conflicts: 1257000 | #Constraints: 25178 1398.97/1403.73 c #Conflicts: 1258000 | #Constraints: 26178 1398.97/1403.73 c #Conflicts: 1259000 | #Constraints: 27178 1398.97/1403.73 c #Conflicts: 1260000 | #Constraints: 28178 1398.97/1403.73 c #Conflicts: 1261000 | #Constraints: 29178 1398.97/1403.73 c #Conflicts: 1262000 | #Constraints: 30178 1398.97/1403.73 c #Conflicts: 1263000 | #Constraints: 31178 1398.97/1403.73 c #Conflicts: 1264000 | #Constraints: 32178 1398.97/1403.73 c #Conflicts: 1265000 | #Constraints: 33178 1398.97/1403.73 c #Conflicts: 1266000 | #Constraints: 34178 1398.97/1403.73 c #Conflicts: 1267000 | #Constraints: 35178 1398.97/1403.73 c #Conflicts: 1268000 | #Constraints: 36178 1398.97/1403.73 c #Conflicts: 1269000 | #Constraints: 37178 1398.97/1403.73 c #Conflicts: 1270000 | #Constraints: 38178 1398.97/1403.73 c #Conflicts: 1271000 | #Constraints: 39178 1398.97/1403.73 c #Conflicts: 1272000 | #Constraints: 40178 1398.97/1403.73 c #Conflicts: 1273000 | #Constraints: 41178 1398.97/1403.73 c #Conflicts: 1274000 | #Constraints: 42178 1398.97/1403.73 c #Conflicts: 1275000 | #Constraints: 43178 1398.97/1403.73 c #Conflicts: 1276000 | #Constraints: 44178 1398.97/1403.73 c #Conflicts: 1277000 | #Constraints: 45178 1398.97/1403.73 c #Conflicts: 1278000 | #Constraints: 46178 1398.97/1403.73 c #Conflicts: 1279000 | #Constraints: 47178 1398.97/1403.73 c INPROCESSING 1398.97/1403.73 c GARBAGE COLLECT 1398.97/1403.73 c rational objective 55 1459.48/1464.47 c #Conflicts: 1280000 | #Constraints: 25779 1459.48/1464.47 c #Conflicts: 1281000 | #Constraints: 26779 1459.48/1464.47 c #Conflicts: 1282000 | #Constraints: 27779 1459.48/1464.47 c #Conflicts: 1283000 | #Constraints: 28779 1459.48/1464.47 c #Conflicts: 1284000 | #Constraints: 29779 1459.48/1464.47 c #Conflicts: 1285000 | #Constraints: 30779 1459.48/1464.47 c #Conflicts: 1286000 | #Constraints: 31779 1459.48/1464.47 c #Conflicts: 1287000 | #Constraints: 32779 1459.48/1464.47 c #Conflicts: 1288000 | #Constraints: 33779 1459.48/1464.47 c #Conflicts: 1289000 | #Constraints: 34779 1459.48/1464.47 c #Conflicts: 1290000 | #Constraints: 35779 1459.48/1464.47 c #Conflicts: 1291000 | #Constraints: 36779 1459.48/1464.47 c #Conflicts: 1292000 | #Constraints: 37779 1459.48/1464.47 c #Conflicts: 1293000 | #Constraints: 38779 1459.48/1464.47 c #Conflicts: 1294000 | #Constraints: 39779 1459.48/1464.47 c #Conflicts: 1295000 | #Constraints: 40779 1459.48/1464.47 c #Conflicts: 1296000 | #Constraints: 41779 1459.48/1464.47 c #Conflicts: 1297000 | #Constraints: 42779 1459.48/1464.47 c #Conflicts: 1298000 | #Constraints: 43779 1459.48/1464.47 c #Conflicts: 1299000 | #Constraints: 44779 1459.48/1464.47 c #Conflicts: 1300000 | #Constraints: 45779 1459.48/1464.47 c #Conflicts: 1301000 | #Constraints: 46779 1459.48/1464.47 c #Conflicts: 1302000 | #Constraints: 47779 1459.48/1464.47 c INPROCESSING 1459.48/1464.47 c GARBAGE COLLECT 1459.48/1464.47 c rational objective 55 1492.87/1497.91 c #Conflicts: 1303000 | #Constraints: 26190 1492.87/1497.91 c #Conflicts: 1304000 | #Constraints: 27190 1492.87/1497.91 c #Conflicts: 1305000 | #Constraints: 28190 1492.87/1497.91 c #Conflicts: 1306000 | #Constraints: 29190 1492.87/1497.91 c #Conflicts: 1307000 | #Constraints: 30190 1492.87/1497.91 c #Conflicts: 1308000 | #Constraints: 31190 1492.87/1497.91 c #Conflicts: 1309000 | #Constraints: 32190 1492.87/1497.91 c #Conflicts: 1310000 | #Constraints: 33190 1492.87/1497.91 c #Conflicts: 1311000 | #Constraints: 34190 1492.87/1497.91 c #Conflicts: 1312000 | #Constraints: 35190 1492.87/1497.91 c #Conflicts: 1313000 | #Constraints: 36190 1492.87/1497.91 c #Conflicts: 1314000 | #Constraints: 37190 1492.87/1497.91 c #Conflicts: 1315000 | #Constraints: 38190 1492.87/1497.91 c #Conflicts: 1316000 | #Constraints: 39190 1492.87/1497.91 c #Conflicts: 1317000 | #Constraints: 40190 1492.87/1497.91 c #Conflicts: 1318000 | #Constraints: 41190 1492.87/1497.91 c #Conflicts: 1319000 | #Constraints: 42190 1492.87/1497.91 c #Conflicts: 1320000 | #Constraints: 43190 1492.87/1497.91 c #Conflicts: 1321000 | #Constraints: 44190 1492.87/1497.91 c #Conflicts: 1322000 | #Constraints: 45190 1492.87/1497.91 c #Conflicts: 1323000 | #Constraints: 46190 1492.87/1497.91 c #Conflicts: 1324000 | #Constraints: 47190 1492.87/1497.91 c #Conflicts: 1325000 | #Constraints: 48190 1492.87/1497.91 c INPROCESSING 1492.87/1497.91 c GARBAGE COLLECT 1492.87/1497.91 c rational objective 55 1540.60/1545.89 c #Conflicts: 1326000 | #Constraints: 26392 1540.60/1545.89 c #Conflicts: 1327000 | #Constraints: 27392 1540.60/1545.89 c #Conflicts: 1328000 | #Constraints: 28392 1540.60/1545.89 c #Conflicts: 1329000 | #Constraints: 29392 1540.60/1545.89 c #Conflicts: 1330000 | #Constraints: 30392 1540.60/1545.89 c #Conflicts: 1331000 | #Constraints: 31392 1540.60/1545.89 c #Conflicts: 1332000 | #Constraints: 32392 1540.60/1545.89 c #Conflicts: 1333000 | #Constraints: 33392 1540.60/1545.89 c #Conflicts: 1334000 | #Constraints: 34392 1540.60/1545.89 c #Conflicts: 1335000 | #Constraints: 35392 1540.60/1545.89 c #Conflicts: 1336000 | #Constraints: 36392 1540.60/1545.89 c #Conflicts: 1337000 | #Constraints: 37392 1540.60/1545.89 c #Conflicts: 1338000 | #Constraints: 38392 1540.60/1545.89 c #Conflicts: 1339000 | #Constraints: 39392 1540.60/1545.89 c #Conflicts: 1340000 | #Constraints: 40392 1540.60/1545.89 c #Conflicts: 1341000 | #Constraints: 41392 1540.60/1545.89 c #Conflicts: 1342000 | #Constraints: 42392 1540.60/1545.89 c #Conflicts: 1343000 | #Constraints: 43392 1540.60/1545.89 c #Conflicts: 1344000 | #Constraints: 44392 1540.60/1545.89 c #Conflicts: 1345000 | #Constraints: 45392 1540.60/1545.89 c #Conflicts: 1346000 | #Constraints: 46392 1540.60/1545.89 c #Conflicts: 1347000 | #Constraints: 47392 1540.60/1545.89 c #Conflicts: 1348000 | #Constraints: 48392 1540.60/1545.89 c INPROCESSING 1540.60/1545.89 c GARBAGE COLLECT 1540.60/1545.89 c rational objective 55 1574.60/1579.94 c #Conflicts: 1349000 | #Constraints: 26370 1574.60/1579.94 c #Conflicts: 1350000 | #Constraints: 27370 1574.60/1579.94 c #Conflicts: 1351000 | #Constraints: 28370 1574.60/1579.94 c #Conflicts: 1352000 | #Constraints: 29370 1574.60/1579.94 c #Conflicts: 1353000 | #Constraints: 30370 1574.60/1579.94 c #Conflicts: 1354000 | #Constraints: 31370 1574.60/1579.94 c #Conflicts: 1355000 | #Constraints: 32370 1574.60/1579.94 c #Conflicts: 1356000 | #Constraints: 33370 1574.60/1579.94 c #Conflicts: 1357000 | #Constraints: 34370 1574.60/1579.94 c #Conflicts: 1358000 | #Constraints: 35370 1574.60/1579.94 c #Conflicts: 1359000 | #Constraints: 36370 1574.60/1579.94 c #Conflicts: 1360000 | #Constraints: 37370 1574.60/1579.94 c #Conflicts: 1361000 | #Constraints: 38370 1574.60/1579.94 c #Conflicts: 1362000 | #Constraints: 39370 1574.60/1579.94 c #Conflicts: 1363000 | #Constraints: 40370 1574.60/1579.94 c #Conflicts: 1364000 | #Constraints: 41370 1574.60/1579.94 c #Conflicts: 1365000 | #Constraints: 42370 1574.60/1579.94 c #Conflicts: 1366000 | #Constraints: 43370 1574.60/1579.94 c #Conflicts: 1367000 | #Constraints: 44370 1574.60/1579.94 c #Conflicts: 1368000 | #Constraints: 45370 1574.60/1579.94 c #Conflicts: 1369000 | #Constraints: 46370 1574.60/1579.94 c #Conflicts: 1370000 | #Constraints: 47370 1574.60/1579.94 c #Conflicts: 1371000 | #Constraints: 48370 1574.60/1579.94 c INPROCESSING 1574.60/1579.94 c GARBAGE COLLECT 1574.60/1579.94 c rational objective 55 1610.27/1615.72 c #Conflicts: 1372000 | #Constraints: 26168 1610.27/1615.72 c #Conflicts: 1373000 | #Constraints: 27168 1610.27/1615.72 c #Conflicts: 1374000 | #Constraints: 28168 1610.27/1615.72 c #Conflicts: 1375000 | #Constraints: 29168 1610.27/1615.72 c #Conflicts: 1376000 | #Constraints: 30168 1610.27/1615.72 c #Conflicts: 1377000 | #Constraints: 31168 1610.27/1615.72 c #Conflicts: 1378000 | #Constraints: 32168 1610.27/1615.72 c #Conflicts: 1379000 | #Constraints: 33168 1610.27/1615.72 c #Conflicts: 1380000 | #Constraints: 34168 1610.27/1615.72 c #Conflicts: 1381000 | #Constraints: 35168 1610.27/1615.72 c #Conflicts: 1382000 | #Constraints: 36168 1610.27/1615.72 c #Conflicts: 1383000 | #Constraints: 37168 1610.27/1615.72 c #Conflicts: 1384000 | #Constraints: 38168 1610.27/1615.72 c #Conflicts: 1385000 | #Constraints: 39168 1610.27/1615.72 c #Conflicts: 1386000 | #Constraints: 40168 1610.27/1615.72 c #Conflicts: 1387000 | #Constraints: 41168 1610.27/1615.72 c #Conflicts: 1388000 | #Constraints: 42168 1610.27/1615.72 c #Conflicts: 1389000 | #Constraints: 43168 1610.27/1615.72 c #Conflicts: 1390000 | #Constraints: 44168 1610.27/1615.72 c #Conflicts: 1391000 | #Constraints: 45168 1610.27/1615.72 c #Conflicts: 1392000 | #Constraints: 46168 1610.27/1615.72 c #Conflicts: 1393000 | #Constraints: 47168 1610.27/1615.72 c #Conflicts: 1394000 | #Constraints: 48168 1610.27/1615.72 c #Conflicts: 1395000 | #Constraints: 49168 1610.27/1615.72 c INPROCESSING 1610.27/1615.72 c GARBAGE COLLECT 1610.27/1615.72 c rational objective 55 1677.46/1683.13 c #Conflicts: 1396000 | #Constraints: 26764 1677.46/1683.13 c #Conflicts: 1397000 | #Constraints: 27764 1677.46/1683.13 c #Conflicts: 1398000 | #Constraints: 28764 1677.46/1683.13 c #Conflicts: 1399000 | #Constraints: 29764 1677.46/1683.13 c #Conflicts: 1400000 | #Constraints: 30764 1677.46/1683.13 c #Conflicts: 1401000 | #Constraints: 31764 1677.46/1683.13 c #Conflicts: 1402000 | #Constraints: 32764 1677.46/1683.13 c #Conflicts: 1403000 | #Constraints: 33764 1677.46/1683.13 c #Conflicts: 1404000 | #Constraints: 34764 1677.46/1683.13 c #Conflicts: 1405000 | #Constraints: 35764 1677.46/1683.13 c #Conflicts: 1406000 | #Constraints: 36764 1677.46/1683.13 c #Conflicts: 1407000 | #Constraints: 37764 1677.46/1683.13 c #Conflicts: 1408000 | #Constraints: 38764 1677.46/1683.13 c #Conflicts: 1409000 | #Constraints: 39764 1677.46/1683.13 c #Conflicts: 1410000 | #Constraints: 40764 1677.46/1683.13 c #Conflicts: 1411000 | #Constraints: 41764 1677.46/1683.13 c #Conflicts: 1412000 | #Constraints: 42764 1677.46/1683.13 c #Conflicts: 1413000 | #Constraints: 43764 1677.46/1683.13 c #Conflicts: 1414000 | #Constraints: 44764 1677.46/1683.13 c #Conflicts: 1415000 | #Constraints: 45764 1677.46/1683.13 c #Conflicts: 1416000 | #Constraints: 46764 1677.46/1683.13 c #Conflicts: 1417000 | #Constraints: 47764 1677.46/1683.13 c #Conflicts: 1418000 | #Constraints: 48764 1677.46/1683.13 c #Conflicts: 1419000 | #Constraints: 49764 1677.46/1683.13 c INPROCESSING 1677.46/1683.13 c GARBAGE COLLECT 1677.46/1683.13 c rational objective 55 1713.13/1718.91 c #Conflicts: 1420000 | #Constraints: 27172 1713.13/1718.91 c #Conflicts: 1421000 | #Constraints: 28172 1713.13/1718.91 c #Conflicts: 1422000 | #Constraints: 29172 1713.13/1718.91 c #Conflicts: 1423000 | #Constraints: 30172 1713.13/1718.91 c #Conflicts: 1424000 | #Constraints: 31172 1713.13/1718.91 c #Conflicts: 1425000 | #Constraints: 32172 1713.13/1718.91 c #Conflicts: 1426000 | #Constraints: 33172 1713.13/1718.91 c #Conflicts: 1427000 | #Constraints: 34172 1713.13/1718.91 c #Conflicts: 1428000 | #Constraints: 35172 1713.13/1718.91 c #Conflicts: 1429000 | #Constraints: 36172 1713.13/1718.91 c #Conflicts: 1430000 | #Constraints: 37172 1713.13/1718.91 c #Conflicts: 1431000 | #Constraints: 38172 1713.13/1718.91 c #Conflicts: 1432000 | #Constraints: 39172 1713.13/1718.91 c #Conflicts: 1433000 | #Constraints: 40172 1713.13/1718.91 c #Conflicts: 1434000 | #Constraints: 41172 1713.13/1718.91 c #Conflicts: 1435000 | #Constraints: 42172 1713.13/1718.91 c #Conflicts: 1436000 | #Constraints: 43172 1713.13/1718.91 c #Conflicts: 1437000 | #Constraints: 44172 1713.13/1718.91 c #Conflicts: 1438000 | #Constraints: 45172 1713.13/1718.91 c #Conflicts: 1439000 | #Constraints: 46172 1713.13/1718.91 c #Conflicts: 1440000 | #Constraints: 47172 1713.13/1718.91 c #Conflicts: 1441000 | #Constraints: 48172 1713.13/1718.91 c #Conflicts: 1442000 | #Constraints: 49172 1713.13/1718.91 c #Conflicts: 1443000 | #Constraints: 50172 1713.13/1718.91 c INPROCESSING 1713.13/1718.91 c GARBAGE COLLECT 1713.13/1718.91 c rational objective 55 1778.91/1784.90 c #Conflicts: 1444000 | #Constraints: 27362 1778.91/1784.90 c #Conflicts: 1445000 | #Constraints: 28362 1778.91/1784.90 c #Conflicts: 1446000 | #Constraints: 29362 1778.91/1784.90 c #Conflicts: 1447000 | #Constraints: 30362 1778.91/1784.90 c #Conflicts: 1448000 | #Constraints: 31362 1778.91/1784.90 c #Conflicts: 1449000 | #Constraints: 32362 1778.91/1784.90 c #Conflicts: 1450000 | #Constraints: 33362 1778.91/1784.90 c #Conflicts: 1451000 | #Constraints: 34362 1778.91/1784.90 c #Conflicts: 1452000 | #Constraints: 35362 1778.91/1784.90 c #Conflicts: 1453000 | #Constraints: 36362 1778.91/1784.90 c #Conflicts: 1454000 | #Constraints: 37362 1778.91/1784.90 c #Conflicts: 1455000 | #Constraints: 38362 1778.91/1784.90 c #Conflicts: 1456000 | #Constraints: 39362 1778.91/1784.90 c #Conflicts: 1457000 | #Constraints: 40362 1778.91/1784.90 c #Conflicts: 1458000 | #Constraints: 41362 1778.91/1784.90 c #Conflicts: 1459000 | #Constraints: 42362 1778.91/1784.90 c #Conflicts: 1460000 | #Constraints: 43362 1778.91/1784.90 c #Conflicts: 1461000 | #Constraints: 44362 1778.91/1784.90 c #Conflicts: 1462000 | #Constraints: 45362 1778.91/1784.90 c #Conflicts: 1463000 | #Constraints: 46362 1778.91/1784.90 c #Conflicts: 1464000 | #Constraints: 47362 1778.91/1784.90 c #Conflicts: 1465000 | #Constraints: 48362 1778.91/1784.90 c #Conflicts: 1466000 | #Constraints: 49362 1778.91/1784.90 c #Conflicts: 1467000 | #Constraints: 50362 1778.91/1784.90 c INPROCESSING 1778.91/1784.90 c GARBAGE COLLECT 1778.91/1784.90 c rational objective 55 1818.27/1824.41 c #Conflicts: 1468000 | #Constraints: 27364 1818.27/1824.41 c #Conflicts: 1469000 | #Constraints: 28364 1818.27/1824.41 c #Conflicts: 1470000 | #Constraints: 29364 1818.27/1824.41 c #Conflicts: 1471000 | #Constraints: 30364 1818.27/1824.41 c #Conflicts: 1472000 | #Constraints: 31364 1818.27/1824.41 c #Conflicts: 1473000 | #Constraints: 32364 1818.27/1824.41 c #Conflicts: 1474000 | #Constraints: 33364 1818.27/1824.41 c #Conflicts: 1475000 | #Constraints: 34364 1818.27/1824.41 c #Conflicts: 1476000 | #Constraints: 35364 1818.27/1824.41 c #Conflicts: 1477000 | #Constraints: 36364 1818.27/1824.41 c #Conflicts: 1478000 | #Constraints: 37364 1818.27/1824.41 c #Conflicts: 1479000 | #Constraints: 38364 1818.27/1824.41 c #Conflicts: 1480000 | #Constraints: 39364 1818.27/1824.41 c #Conflicts: 1481000 | #Constraints: 40364 1818.27/1824.41 c #Conflicts: 1482000 | #Constraints: 41364 1818.27/1824.41 c #Conflicts: 1483000 | #Constraints: 42364 1818.27/1824.41 c #Conflicts: 1484000 | #Constraints: 43364 1818.27/1824.41 c #Conflicts: 1485000 | #Constraints: 44364 1818.27/1824.41 c #Conflicts: 1486000 | #Constraints: 45364 1818.27/1824.41 c #Conflicts: 1487000 | #Constraints: 46364 1818.27/1824.41 c #Conflicts: 1488000 | #Constraints: 47364 1818.27/1824.41 c #Conflicts: 1489000 | #Constraints: 48364 1818.27/1824.41 c #Conflicts: 1490000 | #Constraints: 49364 1818.27/1824.41 c #Conflicts: 1491000 | #Constraints: 50364 1818.27/1824.41 c INPROCESSING 1818.27/1824.41 c GARBAGE COLLECT 1818.27/1824.41 c rational objective 55 1858.14/1864.43 c #Conflicts: 1492000 | #Constraints: 27169 1858.14/1864.43 c #Conflicts: 1493000 | #Constraints: 28169 1858.14/1864.43 c #Conflicts: 1494000 | #Constraints: 29169 1858.14/1864.43 c #Conflicts: 1495000 | #Constraints: 30169 1858.14/1864.43 c #Conflicts: 1496000 | #Constraints: 31169 1858.14/1864.43 c #Conflicts: 1497000 | #Constraints: 32169 1858.14/1864.43 c #Conflicts: 1498000 | #Constraints: 33169 1858.14/1864.43 c #Conflicts: 1499000 | #Constraints: 34169 1858.14/1864.43 c #Conflicts: 1500000 | #Constraints: 35169 1858.14/1864.43 c #Conflicts: 1501000 | #Constraints: 36169 1858.14/1864.43 c #Conflicts: 1502000 | #Constraints: 37169 1858.14/1864.43 c #Conflicts: 1503000 | #Constraints: 38169 1858.14/1864.43 c #Conflicts: 1504000 | #Constraints: 39169 1858.14/1864.43 c #Conflicts: 1505000 | #Constraints: 40169 1858.14/1864.43 c #Conflicts: 1506000 | #Constraints: 41169 1858.14/1864.43 c #Conflicts: 1507000 | #Constraints: 42169 1858.14/1864.43 c #Conflicts: 1508000 | #Constraints: 43169 1858.14/1864.43 c #Conflicts: 1509000 | #Constraints: 44169 1858.14/1864.43 c #Conflicts: 1510000 | #Constraints: 45169 1858.14/1864.43 c #Conflicts: 1511000 | #Constraints: 46169 1858.14/1864.43 c #Conflicts: 1512000 | #Constraints: 47169 1858.14/1864.43 c #Conflicts: 1513000 | #Constraints: 48169 1858.14/1864.43 c #Conflicts: 1514000 | #Constraints: 49169 1858.14/1864.43 c #Conflicts: 1515000 | #Constraints: 50169 1858.14/1864.43 c #Conflicts: 1516000 | #Constraints: 51169 1858.14/1864.43 c INPROCESSING 1858.14/1864.43 c GARBAGE COLLECT 1858.14/1864.43 c rational objective 55 1940.36/1946.92 c #Conflicts: 1517000 | #Constraints: 27775 1940.36/1946.92 c #Conflicts: 1518000 | #Constraints: 28775 1940.36/1946.92 c #Conflicts: 1519000 | #Constraints: 29775 1940.36/1946.92 c #Conflicts: 1520000 | #Constraints: 30775 1940.36/1946.92 c #Conflicts: 1521000 | #Constraints: 31775 1940.36/1946.92 c #Conflicts: 1522000 | #Constraints: 32775 1940.36/1946.92 c #Conflicts: 1523000 | #Constraints: 33775 1940.36/1946.92 c #Conflicts: 1524000 | #Constraints: 34775 1940.36/1946.92 c #Conflicts: 1525000 | #Constraints: 35775 1940.36/1946.92 c #Conflicts: 1526000 | #Constraints: 36775 1940.36/1946.92 c #Conflicts: 1527000 | #Constraints: 37775 1940.36/1946.92 c #Conflicts: 1528000 | #Constraints: 38775 1940.36/1946.92 c #Conflicts: 1529000 | #Constraints: 39775 1940.36/1946.92 c #Conflicts: 1530000 | #Constraints: 40775 1940.36/1946.92 c #Conflicts: 1531000 | #Constraints: 41775 1940.36/1946.92 c #Conflicts: 1532000 | #Constraints: 42775 1940.36/1946.92 c #Conflicts: 1533000 | #Constraints: 43775 1940.36/1946.92 c #Conflicts: 1534000 | #Constraints: 44775 1940.36/1946.92 c #Conflicts: 1535000 | #Constraints: 45775 1940.36/1946.92 c #Conflicts: 1536000 | #Constraints: 46775 1940.36/1946.92 c #Conflicts: 1537000 | #Constraints: 47775 1940.36/1946.92 c #Conflicts: 1538000 | #Constraints: 48775 1940.36/1946.92 c #Conflicts: 1539000 | #Constraints: 49775 1940.36/1946.92 c #Conflicts: 1540000 | #Constraints: 50775 1940.36/1946.92 c #Conflicts: 1541000 | #Constraints: 51775 1940.36/1946.92 c INPROCESSING 1940.36/1946.92 c GARBAGE COLLECT 1940.36/1946.92 c rational objective 55 1981.82/1988.55 c #Conflicts: 1542000 | #Constraints: 28195 1981.82/1988.55 c #Conflicts: 1543000 | #Constraints: 29195 1981.82/1988.55 c #Conflicts: 1544000 | #Constraints: 30195 1981.82/1988.55 c #Conflicts: 1545000 | #Constraints: 31195 1981.82/1988.55 c #Conflicts: 1546000 | #Constraints: 32195 1981.82/1988.55 c #Conflicts: 1547000 | #Constraints: 33195 1981.82/1988.55 c #Conflicts: 1548000 | #Constraints: 34195 1981.82/1988.55 c #Conflicts: 1549000 | #Constraints: 35195 1981.82/1988.55 c #Conflicts: 1550000 | #Constraints: 36195 1981.82/1988.55 c #Conflicts: 1551000 | #Constraints: 37195 1981.82/1988.55 c #Conflicts: 1552000 | #Constraints: 38195 1981.82/1988.55 c #Conflicts: 1553000 | #Constraints: 39195 1981.82/1988.55 c #Conflicts: 1554000 | #Constraints: 40195 1981.82/1988.55 c #Conflicts: 1555000 | #Constraints: 41195 1981.82/1988.55 c #Conflicts: 1556000 | #Constraints: 42195 1981.82/1988.55 c #Conflicts: 1557000 | #Constraints: 43195 1981.82/1988.55 c #Conflicts: 1558000 | #Constraints: 44195 1981.82/1988.55 c #Conflicts: 1559000 | #Constraints: 45195 1981.82/1988.55 c #Conflicts: 1560000 | #Constraints: 46195 1981.82/1988.55 c #Conflicts: 1561000 | #Constraints: 47195 1981.82/1988.55 c #Conflicts: 1562000 | #Constraints: 48195 1981.82/1988.55 c #Conflicts: 1563000 | #Constraints: 49195 1981.82/1988.55 c #Conflicts: 1564000 | #Constraints: 50195 1981.82/1988.55 c #Conflicts: 1565000 | #Constraints: 51195 1981.82/1988.55 c #Conflicts: 1566000 | #Constraints: 52195 1981.82/1988.55 c INPROCESSING 1981.82/1988.55 c GARBAGE COLLECT 1981.82/1988.55 c rational objective 55 2024.59/2031.45 c #Conflicts: 1567000 | #Constraints: 28379 2024.59/2031.45 c #Conflicts: 1568000 | #Constraints: 29379 2024.59/2031.45 c #Conflicts: 1569000 | #Constraints: 30379 2024.59/2031.45 c #Conflicts: 1570000 | #Constraints: 31379 2024.59/2031.45 c #Conflicts: 1571000 | #Constraints: 32379 2024.59/2031.45 c #Conflicts: 1572000 | #Constraints: 33379 2024.59/2031.45 c #Conflicts: 1573000 | #Constraints: 34379 2024.59/2031.45 c #Conflicts: 1574000 | #Constraints: 35379 2024.59/2031.45 c #Conflicts: 1575000 | #Constraints: 36379 2024.59/2031.45 c #Conflicts: 1576000 | #Constraints: 37379 2024.59/2031.45 c #Conflicts: 1577000 | #Constraints: 38379 2024.59/2031.45 c #Conflicts: 1578000 | #Constraints: 39379 2024.59/2031.45 c #Conflicts: 1579000 | #Constraints: 40379 2024.59/2031.45 c #Conflicts: 1580000 | #Constraints: 41379 2024.59/2031.45 c #Conflicts: 1581000 | #Constraints: 42379 2024.59/2031.45 c #Conflicts: 1582000 | #Constraints: 43379 2024.59/2031.45 c #Conflicts: 1583000 | #Constraints: 44379 2024.59/2031.45 c #Conflicts: 1584000 | #Constraints: 45379 2024.59/2031.45 c #Conflicts: 1585000 | #Constraints: 46379 2024.59/2031.45 c #Conflicts: 1586000 | #Constraints: 47379 2024.59/2031.45 c #Conflicts: 1587000 | #Constraints: 48379 2024.59/2031.45 c #Conflicts: 1588000 | #Constraints: 49379 2024.59/2031.45 c #Conflicts: 1589000 | #Constraints: 50379 2024.59/2031.45 c #Conflicts: 1590000 | #Constraints: 51379 2024.59/2031.45 c #Conflicts: 1591000 | #Constraints: 52379 2024.59/2031.45 c INPROCESSING 2024.59/2031.45 c GARBAGE COLLECT 2024.59/2031.45 c rational objective 55 2089.86/2096.92 c #Conflicts: 1592000 | #Constraints: 28383 2089.86/2096.92 c #Conflicts: 1593000 | #Constraints: 29383 2089.86/2096.92 c #Conflicts: 1594000 | #Constraints: 30383 2089.86/2096.92 c #Conflicts: 1595000 | #Constraints: 31383 2089.86/2096.92 c #Conflicts: 1596000 | #Constraints: 32383 2089.86/2096.92 c #Conflicts: 1597000 | #Constraints: 33383 2089.86/2096.92 c #Conflicts: 1598000 | #Constraints: 34383 2089.86/2096.92 c #Conflicts: 1599000 | #Constraints: 35383 2089.86/2096.92 c #Conflicts: 1600000 | #Constraints: 36383 2089.86/2096.92 c #Conflicts: 1601000 | #Constraints: 37383 2089.86/2096.92 c #Conflicts: 1602000 | #Constraints: 38383 2089.86/2096.92 c #Conflicts: 1603000 | #Constraints: 39383 2089.86/2096.92 c #Conflicts: 1604000 | #Constraints: 40383 2089.86/2096.92 c #Conflicts: 1605000 | #Constraints: 41383 2089.86/2096.92 c #Conflicts: 1606000 | #Constraints: 42383 2089.86/2096.92 c #Conflicts: 1607000 | #Constraints: 43383 2089.86/2096.92 c bounds 74 >= 55 @ 2052.29 2089.86/2096.92 c #Conflicts: 1608000 | #Constraints: 44384 2089.86/2096.92 c #Conflicts: 1609000 | #Constraints: 45384 2089.86/2096.92 c #Conflicts: 1610000 | #Constraints: 46384 2089.86/2096.92 c #Conflicts: 1611000 | #Constraints: 47384 2089.86/2096.92 c #Conflicts: 1612000 | #Constraints: 48384 2089.86/2096.92 c #Conflicts: 1613000 | #Constraints: 49384 2089.86/2096.92 c #Conflicts: 1614000 | #Constraints: 50384 2089.86/2096.92 c #Conflicts: 1615000 | #Constraints: 51384 2089.86/2096.92 c #Conflicts: 1616000 | #Constraints: 52384 2089.86/2096.92 c INPROCESSING 2089.86/2096.92 c GARBAGE COLLECT 2089.86/2096.92 c rational objective 55 2153.35/2160.65 c #Conflicts: 1617000 | #Constraints: 28171 2153.35/2160.65 c #Conflicts: 1618000 | #Constraints: 29171 2153.35/2160.65 c #Conflicts: 1619000 | #Constraints: 30171 2153.35/2160.65 c #Conflicts: 1620000 | #Constraints: 31171 2153.35/2160.65 c #Conflicts: 1621000 | #Constraints: 32171 2153.35/2160.65 c #Conflicts: 1622000 | #Constraints: 33171 2153.35/2160.65 c #Conflicts: 1623000 | #Constraints: 34171 2153.35/2160.65 c #Conflicts: 1624000 | #Constraints: 35171 2153.35/2160.65 c #Conflicts: 1625000 | #Constraints: 36171 2153.35/2160.65 c #Conflicts: 1626000 | #Constraints: 37171 2153.35/2160.65 c #Conflicts: 1627000 | #Constraints: 38171 2153.35/2160.65 c #Conflicts: 1628000 | #Constraints: 39171 2153.35/2160.65 c #Conflicts: 1629000 | #Constraints: 40171 2153.35/2160.65 c #Conflicts: 1630000 | #Constraints: 41171 2153.35/2160.65 c #Conflicts: 1631000 | #Constraints: 42171 2153.35/2160.65 c #Conflicts: 1632000 | #Constraints: 43171 2153.35/2160.65 c #Conflicts: 1633000 | #Constraints: 44171 2153.35/2160.65 c #Conflicts: 1634000 | #Constraints: 45171 2153.35/2160.65 c #Conflicts: 1635000 | #Constraints: 46171 2153.35/2160.65 c #Conflicts: 1636000 | #Constraints: 47171 2153.35/2160.65 c #Conflicts: 1637000 | #Constraints: 48171 2153.35/2160.65 c #Conflicts: 1638000 | #Constraints: 49171 2153.35/2160.65 c #Conflicts: 1639000 | #Constraints: 50171 2153.35/2160.65 c #Conflicts: 1640000 | #Constraints: 51171 2153.35/2160.65 c #Conflicts: 1641000 | #Constraints: 52171 2153.35/2160.65 c #Conflicts: 1642000 | #Constraints: 53171 2153.35/2160.65 c INPROCESSING 2153.35/2160.65 c GARBAGE COLLECT 2153.35/2160.65 c rational objective 55 2198.00/2205.42 c #Conflicts: 1643000 | #Constraints: 28780 2198.00/2205.42 c #Conflicts: 1644000 | #Constraints: 29780 2198.00/2205.42 c #Conflicts: 1645000 | #Constraints: 30780 2198.00/2205.42 c #Conflicts: 1646000 | #Constraints: 31780 2198.00/2205.42 c #Conflicts: 1647000 | #Constraints: 32780 2198.00/2205.42 c #Conflicts: 1648000 | #Constraints: 33780 2198.00/2205.42 c #Conflicts: 1649000 | #Constraints: 34780 2198.00/2205.42 c #Conflicts: 1650000 | #Constraints: 35780 2198.00/2205.42 c #Conflicts: 1651000 | #Constraints: 36780 2198.00/2205.42 c #Conflicts: 1652000 | #Constraints: 37780 2198.00/2205.42 c #Conflicts: 1653000 | #Constraints: 38780 2198.00/2205.42 c #Conflicts: 1654000 | #Constraints: 39780 2198.00/2205.42 c #Conflicts: 1655000 | #Constraints: 40780 2198.00/2205.42 c #Conflicts: 1656000 | #Constraints: 41780 2198.00/2205.42 c #Conflicts: 1657000 | #Constraints: 42780 2198.00/2205.42 c #Conflicts: 1658000 | #Constraints: 43780 2198.00/2205.42 c #Conflicts: 1659000 | #Constraints: 44780 2198.00/2205.42 c #Conflicts: 1660000 | #Constraints: 45780 2198.00/2205.42 c #Conflicts: 1661000 | #Constraints: 46780 2198.00/2205.42 c #Conflicts: 1662000 | #Constraints: 47780 2198.00/2205.42 c #Conflicts: 1663000 | #Constraints: 48780 2198.00/2205.42 c #Conflicts: 1664000 | #Constraints: 49780 2198.00/2205.42 c #Conflicts: 1665000 | #Constraints: 50780 2198.00/2205.42 c #Conflicts: 1666000 | #Constraints: 51780 2198.00/2205.42 c #Conflicts: 1667000 | #Constraints: 52780 2198.00/2205.42 c #Conflicts: 1668000 | #Constraints: 53780 2198.00/2205.42 c INPROCESSING 2198.00/2205.42 c GARBAGE COLLECT 2198.00/2205.42 c rational objective 55 2280.62/2288.38 c #Conflicts: 1669000 | #Constraints: 29186 2280.62/2288.38 c #Conflicts: 1670000 | #Constraints: 30186 2280.62/2288.38 c #Conflicts: 1671000 | #Constraints: 31186 2280.62/2288.38 c #Conflicts: 1672000 | #Constraints: 32186 2280.62/2288.38 c #Conflicts: 1673000 | #Constraints: 33186 2280.62/2288.38 c #Conflicts: 1674000 | #Constraints: 34186 2280.62/2288.38 c #Conflicts: 1675000 | #Constraints: 35186 2280.62/2288.38 c #Conflicts: 1676000 | #Constraints: 36186 2280.62/2288.38 c #Conflicts: 1677000 | #Constraints: 37186 2280.62/2288.38 c #Conflicts: 1678000 | #Constraints: 38186 2280.62/2288.38 c #Conflicts: 1679000 | #Constraints: 39186 2280.62/2288.38 c #Conflicts: 1680000 | #Constraints: 40186 2280.62/2288.38 c #Conflicts: 1681000 | #Constraints: 41186 2280.62/2288.38 c #Conflicts: 1682000 | #Constraints: 42186 2280.62/2288.38 c #Conflicts: 1683000 | #Constraints: 43186 2280.62/2288.38 c #Conflicts: 1684000 | #Constraints: 44186 2280.62/2288.38 c #Conflicts: 1685000 | #Constraints: 45186 2280.62/2288.38 c #Conflicts: 1686000 | #Constraints: 46186 2280.62/2288.38 c #Conflicts: 1687000 | #Constraints: 47186 2280.62/2288.38 c #Conflicts: 1688000 | #Constraints: 48186 2280.62/2288.38 c #Conflicts: 1689000 | #Constraints: 49186 2280.62/2288.38 c #Conflicts: 1690000 | #Constraints: 50186 2280.62/2288.38 c #Conflicts: 1691000 | #Constraints: 51186 2280.62/2288.38 c #Conflicts: 1692000 | #Constraints: 52186 2280.62/2288.38 c #Conflicts: 1693000 | #Constraints: 53186 2280.62/2288.38 c #Conflicts: 1694000 | #Constraints: 54186 2280.62/2288.38 c INPROCESSING 2280.62/2288.38 c GARBAGE COLLECT 2280.62/2288.38 c rational objective 55 2325.37/2333.25 c #Conflicts: 1695000 | #Constraints: 29398 2325.37/2333.25 c #Conflicts: 1696000 | #Constraints: 30398 2325.37/2333.25 c #Conflicts: 1697000 | #Constraints: 31398 2325.37/2333.25 c #Conflicts: 1698000 | #Constraints: 32398 2325.37/2333.25 c #Conflicts: 1699000 | #Constraints: 33398 2325.37/2333.25 c #Conflicts: 1700000 | #Constraints: 34398 2325.37/2333.25 c #Conflicts: 1701000 | #Constraints: 35398 2325.37/2333.25 c #Conflicts: 1702000 | #Constraints: 36398 2325.37/2333.25 c #Conflicts: 1703000 | #Constraints: 37398 2325.37/2333.25 c #Conflicts: 1704000 | #Constraints: 38398 2325.37/2333.25 c #Conflicts: 1705000 | #Constraints: 39398 2325.37/2333.25 c #Conflicts: 1706000 | #Constraints: 40398 2325.37/2333.25 c #Conflicts: 1707000 | #Constraints: 41398 2325.37/2333.25 c #Conflicts: 1708000 | #Constraints: 42398 2325.37/2333.25 c #Conflicts: 1709000 | #Constraints: 43398 2325.37/2333.25 c #Conflicts: 1710000 | #Constraints: 44398 2325.37/2333.25 c #Conflicts: 1711000 | #Constraints: 45398 2325.37/2333.25 c #Conflicts: 1712000 | #Constraints: 46398 2325.37/2333.25 c #Conflicts: 1713000 | #Constraints: 47398 2325.37/2333.25 c #Conflicts: 1714000 | #Constraints: 48398 2325.37/2333.25 c #Conflicts: 1715000 | #Constraints: 49398 2325.37/2333.25 c #Conflicts: 1716000 | #Constraints: 50398 2325.37/2333.25 c #Conflicts: 1717000 | #Constraints: 51398 2325.37/2333.25 c #Conflicts: 1718000 | #Constraints: 52398 2325.37/2333.25 c #Conflicts: 1719000 | #Constraints: 53398 2325.37/2333.25 c #Conflicts: 1720000 | #Constraints: 54398 2325.37/2333.25 c INPROCESSING 2325.37/2333.25 c GARBAGE COLLECT 2325.37/2333.25 c rational objective 55 2373.61/2381.67 c #Conflicts: 1721000 | #Constraints: 29385 2373.61/2381.67 c #Conflicts: 1722000 | #Constraints: 30385 2373.61/2381.67 c #Conflicts: 1723000 | #Constraints: 31385 2373.61/2381.67 c #Conflicts: 1724000 | #Constraints: 32385 2373.61/2381.67 c #Conflicts: 1725000 | #Constraints: 33385 2373.61/2381.67 c #Conflicts: 1726000 | #Constraints: 34385 2373.61/2381.67 c #Conflicts: 1727000 | #Constraints: 35385 2373.61/2381.67 c #Conflicts: 1728000 | #Constraints: 36385 2373.61/2381.67 c #Conflicts: 1729000 | #Constraints: 37385 2373.61/2381.67 c #Conflicts: 1730000 | #Constraints: 38385 2373.61/2381.67 c #Conflicts: 1731000 | #Constraints: 39385 2373.61/2381.67 c #Conflicts: 1732000 | #Constraints: 40385 2373.61/2381.67 c #Conflicts: 1733000 | #Constraints: 41385 2373.61/2381.67 c #Conflicts: 1734000 | #Constraints: 42385 2373.61/2381.67 c #Conflicts: 1735000 | #Constraints: 43385 2373.61/2381.67 c #Conflicts: 1736000 | #Constraints: 44385 2373.61/2381.67 c #Conflicts: 1737000 | #Constraints: 45385 2373.61/2381.67 c #Conflicts: 1738000 | #Constraints: 46385 2373.61/2381.67 c #Conflicts: 1739000 | #Constraints: 47385 2373.61/2381.67 c #Conflicts: 1740000 | #Constraints: 48385 2373.61/2381.67 c #Conflicts: 1741000 | #Constraints: 49385 2373.61/2381.67 c #Conflicts: 1742000 | #Constraints: 50385 2373.61/2381.67 c #Conflicts: 1743000 | #Constraints: 51385 2373.61/2381.67 c #Conflicts: 1744000 | #Constraints: 52385 2373.61/2381.67 c #Conflicts: 1745000 | #Constraints: 53385 2373.61/2381.67 c #Conflicts: 1746000 | #Constraints: 54385 2373.61/2381.67 c INPROCESSING 2373.61/2381.67 c GARBAGE COLLECT 2373.61/2381.67 c rational objective 55 2465.60/2473.99 c #Conflicts: 1747000 | #Constraints: 29204 2465.60/2473.99 c #Conflicts: 1748000 | #Constraints: 30204 2465.60/2473.99 c #Conflicts: 1749000 | #Constraints: 31204 2465.60/2473.99 c #Conflicts: 1750000 | #Constraints: 32204 2465.60/2473.99 c #Conflicts: 1751000 | #Constraints: 33204 2465.60/2473.99 c #Conflicts: 1752000 | #Constraints: 34204 2465.60/2473.99 c #Conflicts: 1753000 | #Constraints: 35204 2465.60/2473.99 c #Conflicts: 1754000 | #Constraints: 36204 2465.60/2473.99 c #Conflicts: 1755000 | #Constraints: 37204 2465.60/2473.99 c #Conflicts: 1756000 | #Constraints: 38204 2465.60/2473.99 c #Conflicts: 1757000 | #Constraints: 39204 2465.60/2473.99 c #Conflicts: 1758000 | #Constraints: 40204 2465.60/2473.99 c #Conflicts: 1759000 | #Constraints: 41204 2465.60/2473.99 c #Conflicts: 1760000 | #Constraints: 42204 2465.60/2473.99 c #Conflicts: 1761000 | #Constraints: 43204 2465.60/2473.99 c #Conflicts: 1762000 | #Constraints: 44204 2465.60/2473.99 c #Conflicts: 1763000 | #Constraints: 45204 2465.60/2473.99 c #Conflicts: 1764000 | #Constraints: 46204 2465.60/2473.99 c #Conflicts: 1765000 | #Constraints: 47204 2465.60/2473.99 c #Conflicts: 1766000 | #Constraints: 48204 2465.60/2473.99 c #Conflicts: 1767000 | #Constraints: 49204 2465.60/2473.99 c #Conflicts: 1768000 | #Constraints: 50204 2465.60/2473.99 c #Conflicts: 1769000 | #Constraints: 51204 2465.60/2473.99 c #Conflicts: 1770000 | #Constraints: 52204 2465.60/2473.99 c #Conflicts: 1771000 | #Constraints: 53204 2465.60/2473.99 c #Conflicts: 1772000 | #Constraints: 54204 2465.60/2473.99 c #Conflicts: 1773000 | #Constraints: 55204 2465.60/2473.99 c INPROCESSING 2465.60/2473.99 c GARBAGE COLLECT 2465.60/2473.99 c rational objective 55 2515.33/2523.85 c #Conflicts: 1774000 | #Constraints: 29788 2515.33/2523.85 c #Conflicts: 1775000 | #Constraints: 30788 2515.33/2523.85 c #Conflicts: 1776000 | #Constraints: 31788 2515.33/2523.85 c #Conflicts: 1777000 | #Constraints: 32788 2515.33/2523.85 c #Conflicts: 1778000 | #Constraints: 33788 2515.33/2523.85 c #Conflicts: 1779000 | #Constraints: 34788 2515.33/2523.85 c #Conflicts: 1780000 | #Constraints: 35788 2515.33/2523.85 c #Conflicts: 1781000 | #Constraints: 36788 2515.33/2523.85 c #Conflicts: 1782000 | #Constraints: 37788 2515.33/2523.85 c #Conflicts: 1783000 | #Constraints: 38788 2515.33/2523.85 c #Conflicts: 1784000 | #Constraints: 39788 2515.33/2523.85 c #Conflicts: 1785000 | #Constraints: 40788 2515.33/2523.85 c #Conflicts: 1786000 | #Constraints: 41788 2515.33/2523.85 c #Conflicts: 1787000 | #Constraints: 42788 2515.33/2523.85 c #Conflicts: 1788000 | #Constraints: 43788 2515.33/2523.85 c #Conflicts: 1789000 | #Constraints: 44788 2515.33/2523.85 c #Conflicts: 1790000 | #Constraints: 45788 2515.33/2523.85 c #Conflicts: 1791000 | #Constraints: 46788 2515.33/2523.85 c #Conflicts: 1792000 | #Constraints: 47788 2515.33/2523.85 c #Conflicts: 1793000 | #Constraints: 48788 2515.33/2523.85 c #Conflicts: 1794000 | #Constraints: 49788 2515.33/2523.85 c #Conflicts: 1795000 | #Constraints: 50788 2515.33/2523.85 c #Conflicts: 1796000 | #Constraints: 51788 2515.33/2523.85 c #Conflicts: 1797000 | #Constraints: 52788 2515.33/2523.85 c #Conflicts: 1798000 | #Constraints: 53788 2515.33/2523.85 c #Conflicts: 1799000 | #Constraints: 54788 2515.33/2523.85 c #Conflicts: 1800000 | #Constraints: 55788 2515.33/2523.85 c INPROCESSING 2515.33/2523.85 c GARBAGE COLLECT 2515.33/2523.85 c rational objective 55 2563.27/2571.98 c #Conflicts: 1801000 | #Constraints: 30184 2563.27/2571.98 c #Conflicts: 1802000 | #Constraints: 31184 2563.27/2571.98 c #Conflicts: 1803000 | #Constraints: 32184 2563.27/2571.98 c #Conflicts: 1804000 | #Constraints: 33184 2563.27/2571.98 c #Conflicts: 1805000 | #Constraints: 34184 2563.27/2571.98 c #Conflicts: 1806000 | #Constraints: 35184 2563.27/2571.98 c #Conflicts: 1807000 | #Constraints: 36184 2563.27/2571.98 c #Conflicts: 1808000 | #Constraints: 37184 2563.27/2571.98 c #Conflicts: 1809000 | #Constraints: 38184 2563.27/2571.98 c #Conflicts: 1810000 | #Constraints: 39184 2563.27/2571.98 c #Conflicts: 1811000 | #Constraints: 40184 2563.27/2571.98 c #Conflicts: 1812000 | #Constraints: 41184 2563.27/2571.98 c #Conflicts: 1813000 | #Constraints: 42184 2563.27/2571.98 c #Conflicts: 1814000 | #Constraints: 43184 2563.27/2571.98 c #Conflicts: 1815000 | #Constraints: 44184 2563.27/2571.98 c #Conflicts: 1816000 | #Constraints: 45184 2563.27/2571.98 c #Conflicts: 1817000 | #Constraints: 46184 2563.27/2571.98 c #Conflicts: 1818000 | #Constraints: 47184 2563.27/2571.98 c #Conflicts: 1819000 | #Constraints: 48184 2563.27/2571.98 c #Conflicts: 1820000 | #Constraints: 49184 2563.27/2571.98 c #Conflicts: 1821000 | #Constraints: 50184 2563.27/2571.98 c #Conflicts: 1822000 | #Constraints: 51184 2563.27/2571.98 c #Conflicts: 1823000 | #Constraints: 52184 2563.27/2571.98 c #Conflicts: 1824000 | #Constraints: 53184 2563.27/2571.98 c #Conflicts: 1825000 | #Constraints: 54184 2563.27/2571.98 c #Conflicts: 1826000 | #Constraints: 55184 2563.27/2571.98 c #Conflicts: 1827000 | #Constraints: 56184 2563.27/2571.98 c INPROCESSING 2563.27/2571.98 c GARBAGE COLLECT 2563.27/2571.98 c rational objective 55 2652.97/2662.00 c #Conflicts: 1828000 | #Constraints: 30387 2652.97/2662.00 c #Conflicts: 1829000 | #Constraints: 31387 2652.97/2662.00 c #Conflicts: 1830000 | #Constraints: 32387 2652.97/2662.00 c #Conflicts: 1831000 | #Constraints: 33387 2652.97/2662.00 c #Conflicts: 1832000 | #Constraints: 34387 2652.97/2662.00 c #Conflicts: 1833000 | #Constraints: 35387 2652.97/2662.00 c #Conflicts: 1834000 | #Constraints: 36387 2652.97/2662.00 c #Conflicts: 1835000 | #Constraints: 37387 2652.97/2662.00 c #Conflicts: 1836000 | #Constraints: 38387 2652.97/2662.00 c #Conflicts: 1837000 | #Constraints: 39387 2652.97/2662.00 c #Conflicts: 1838000 | #Constraints: 40387 2652.97/2662.00 c #Conflicts: 1839000 | #Constraints: 41387 2652.97/2662.00 c #Conflicts: 1840000 | #Constraints: 42387 2652.97/2662.00 c #Conflicts: 1841000 | #Constraints: 43387 2652.97/2662.00 c #Conflicts: 1842000 | #Constraints: 44387 2652.97/2662.00 c #Conflicts: 1843000 | #Constraints: 45387 2652.97/2662.00 c #Conflicts: 1844000 | #Constraints: 46387 2652.97/2662.00 c #Conflicts: 1845000 | #Constraints: 47387 2652.97/2662.00 c #Conflicts: 1846000 | #Constraints: 48387 2652.97/2662.00 c #Conflicts: 1847000 | #Constraints: 49387 2652.97/2662.00 c #Conflicts: 1848000 | #Constraints: 50387 2652.97/2662.00 c #Conflicts: 1849000 | #Constraints: 51388 2652.97/2662.00 c #Conflicts: 1850000 | #Constraints: 52388 2652.97/2662.00 c #Conflicts: 1851000 | #Constraints: 53388 2652.97/2662.00 c #Conflicts: 1852000 | #Constraints: 54388 2652.97/2662.00 c #Conflicts: 1853000 | #Constraints: 55388 2652.97/2662.00 c #Conflicts: 1854000 | #Constraints: 56388 2652.97/2662.00 c INPROCESSING 2652.97/2662.00 c GARBAGE COLLECT 2652.97/2662.00 c rational objective 55 2703.39/2712.58 c #Conflicts: 1855000 | #Constraints: 30400 2703.39/2712.58 c #Conflicts: 1856000 | #Constraints: 31400 2703.39/2712.58 c #Conflicts: 1857000 | #Constraints: 32400 2703.39/2712.58 c #Conflicts: 1858000 | #Constraints: 33400 2703.39/2712.58 c #Conflicts: 1859000 | #Constraints: 34400 2703.39/2712.58 c #Conflicts: 1860000 | #Constraints: 35400 2703.39/2712.58 c #Conflicts: 1861000 | #Constraints: 36400 2703.39/2712.58 c #Conflicts: 1862000 | #Constraints: 37400 2703.39/2712.58 c #Conflicts: 1863000 | #Constraints: 38400 2703.39/2712.58 c #Conflicts: 1864000 | #Constraints: 39400 2703.39/2712.58 c #Conflicts: 1865000 | #Constraints: 40400 2703.39/2712.58 c #Conflicts: 1866000 | #Constraints: 41400 2703.39/2712.58 c #Conflicts: 1867000 | #Constraints: 42400 2703.39/2712.58 c #Conflicts: 1868000 | #Constraints: 43400 2703.39/2712.58 c #Conflicts: 1869000 | #Constraints: 44400 2703.39/2712.58 c #Conflicts: 1870000 | #Constraints: 45400 2703.39/2712.58 c #Conflicts: 1871000 | #Constraints: 46400 2703.39/2712.58 c #Conflicts: 1872000 | #Constraints: 47400 2703.39/2712.58 c #Conflicts: 1873000 | #Constraints: 48400 2703.39/2712.58 c #Conflicts: 1874000 | #Constraints: 49400 2703.39/2712.58 c #Conflicts: 1875000 | #Constraints: 50400 2703.39/2712.58 c #Conflicts: 1876000 | #Constraints: 51400 2703.39/2712.58 c #Conflicts: 1877000 | #Constraints: 52400 2703.39/2712.58 c #Conflicts: 1878000 | #Constraints: 53400 2703.39/2712.58 c #Conflicts: 1879000 | #Constraints: 54400 2703.39/2712.58 c #Conflicts: 1880000 | #Constraints: 55400 2703.39/2712.58 c #Conflicts: 1881000 | #Constraints: 56400 2703.39/2712.58 c INPROCESSING 2703.39/2712.58 c GARBAGE COLLECT 2703.39/2712.58 c rational objective 55 2811.13/2820.65 c #Conflicts: 1882000 | #Constraints: 30199 2811.13/2820.65 c #Conflicts: 1883000 | #Constraints: 31199 2811.13/2820.65 c #Conflicts: 1884000 | #Constraints: 32199 2811.13/2820.65 c #Conflicts: 1885000 | #Constraints: 33199 2811.13/2820.65 c #Conflicts: 1886000 | #Constraints: 34199 2811.13/2820.65 c #Conflicts: 1887000 | #Constraints: 35199 2811.13/2820.65 c #Conflicts: 1888000 | #Constraints: 36199 2811.13/2820.65 c #Conflicts: 1889000 | #Constraints: 37199 2811.13/2820.65 c #Conflicts: 1890000 | #Constraints: 38199 2811.13/2820.65 c #Conflicts: 1891000 | #Constraints: 39199 2811.13/2820.65 c #Conflicts: 1892000 | #Constraints: 40199 2811.13/2820.65 c #Conflicts: 1893000 | #Constraints: 41199 2811.13/2820.65 c #Conflicts: 1894000 | #Constraints: 42199 2811.13/2820.65 c #Conflicts: 1895000 | #Constraints: 43199 2811.13/2820.65 c #Conflicts: 1896000 | #Constraints: 44199 2811.13/2820.65 c #Conflicts: 1897000 | #Constraints: 45199 2811.13/2820.65 c #Conflicts: 1898000 | #Constraints: 46199 2811.13/2820.65 c #Conflicts: 1899000 | #Constraints: 47199 2811.13/2820.65 c #Conflicts: 1900000 | #Constraints: 48199 2811.13/2820.65 c #Conflicts: 1901000 | #Constraints: 49199 2811.13/2820.65 c #Conflicts: 1902000 | #Constraints: 50199 2811.13/2820.65 c #Conflicts: 1903000 | #Constraints: 51199 2811.13/2820.65 c #Conflicts: 1904000 | #Constraints: 52199 2811.13/2820.65 c #Conflicts: 1905000 | #Constraints: 53199 2811.13/2820.65 c #Conflicts: 1906000 | #Constraints: 54199 2811.13/2820.65 c #Conflicts: 1907000 | #Constraints: 55199 2811.13/2820.65 c #Conflicts: 1908000 | #Constraints: 56199 2811.13/2820.65 c #Conflicts: 1909000 | #Constraints: 57199 2811.13/2820.65 c INPROCESSING 2811.13/2820.65 c GARBAGE COLLECT 2811.13/2820.65 c rational objective 55 2865.46/2875.12 c #Conflicts: 1910000 | #Constraints: 30818 2865.46/2875.12 c #Conflicts: 1911000 | #Constraints: 31818 2865.46/2875.12 c #Conflicts: 1912000 | #Constraints: 32818 2865.46/2875.12 c #Conflicts: 1913000 | #Constraints: 33818 2865.46/2875.12 c #Conflicts: 1914000 | #Constraints: 34818 2865.46/2875.12 c #Conflicts: 1915000 | #Constraints: 35818 2865.46/2875.12 c #Conflicts: 1916000 | #Constraints: 36818 2865.46/2875.12 c #Conflicts: 1917000 | #Constraints: 37818 2865.46/2875.12 c #Conflicts: 1918000 | #Constraints: 38818 2865.46/2875.12 c #Conflicts: 1919000 | #Constraints: 39818 2865.46/2875.12 c #Conflicts: 1920000 | #Constraints: 40818 2865.46/2875.12 c #Conflicts: 1921000 | #Constraints: 41818 2865.46/2875.12 c #Conflicts: 1922000 | #Constraints: 42818 2865.46/2875.12 c #Conflicts: 1923000 | #Constraints: 43818 2865.46/2875.12 c #Conflicts: 1924000 | #Constraints: 44818 2865.46/2875.12 c #Conflicts: 1925000 | #Constraints: 45818 2865.46/2875.12 c #Conflicts: 1926000 | #Constraints: 46818 2865.46/2875.12 c #Conflicts: 1927000 | #Constraints: 47818 2865.46/2875.12 c #Conflicts: 1928000 | #Constraints: 48818 2865.46/2875.12 c #Conflicts: 1929000 | #Constraints: 49818 2865.46/2875.12 c #Conflicts: 1930000 | #Constraints: 50818 2865.46/2875.12 c #Conflicts: 1931000 | #Constraints: 51818 2865.46/2875.12 c #Conflicts: 1932000 | #Constraints: 52818 2865.46/2875.12 c #Conflicts: 1933000 | #Constraints: 53818 2865.46/2875.12 c #Conflicts: 1934000 | #Constraints: 54818 2865.46/2875.12 c #Conflicts: 1935000 | #Constraints: 55818 2865.46/2875.12 c #Conflicts: 1936000 | #Constraints: 56818 2865.46/2875.12 c #Conflicts: 1937000 | #Constraints: 57818 2865.46/2875.12 c INPROCESSING 2865.46/2875.12 c GARBAGE COLLECT 2865.46/2875.12 c rational objective 55 2920.96/2930.85 c #Conflicts: 1938000 | #Constraints: 31216 2920.96/2930.85 c #Conflicts: 1939000 | #Constraints: 32216 2920.96/2930.85 c #Conflicts: 1940000 | #Constraints: 33216 2920.96/2930.85 c #Conflicts: 1941000 | #Constraints: 34216 2920.96/2930.85 c #Conflicts: 1942000 | #Constraints: 35216 2920.96/2930.85 c #Conflicts: 1943000 | #Constraints: 36216 2920.96/2930.85 c #Conflicts: 1944000 | #Constraints: 37216 2920.96/2930.85 c #Conflicts: 1945000 | #Constraints: 38216 2920.96/2930.85 c #Conflicts: 1946000 | #Constraints: 39216 2920.96/2930.85 c #Conflicts: 1947000 | #Constraints: 40216 2920.96/2930.85 c #Conflicts: 1948000 | #Constraints: 41216 2920.96/2930.85 c #Conflicts: 1949000 | #Constraints: 42216 2920.96/2930.85 c #Conflicts: 1950000 | #Constraints: 43216 2920.96/2930.85 c #Conflicts: 1951000 | #Constraints: 44216 2920.96/2930.85 c #Conflicts: 1952000 | #Constraints: 45216 2920.96/2930.85 c #Conflicts: 1953000 | #Constraints: 46216 2920.96/2930.85 c #Conflicts: 1954000 | #Constraints: 47216 2920.96/2930.85 c #Conflicts: 1955000 | #Constraints: 48216 2920.96/2930.85 c #Conflicts: 1956000 | #Constraints: 49216 2920.96/2930.85 c #Conflicts: 1957000 | #Constraints: 50216 2920.96/2930.85 c #Conflicts: 1958000 | #Constraints: 51216 2920.96/2930.85 c #Conflicts: 1959000 | #Constraints: 52216 2920.96/2930.85 c #Conflicts: 1960000 | #Constraints: 53216 2920.96/2930.85 c #Conflicts: 1961000 | #Constraints: 54216 2920.96/2930.85 c #Conflicts: 1962000 | #Constraints: 55216 2920.96/2930.85 c #Conflicts: 1963000 | #Constraints: 56216 2920.96/2930.85 c #Conflicts: 1964000 | #Constraints: 57216 2920.96/2930.85 c #Conflicts: 1965000 | #Constraints: 58216 2920.96/2930.85 c INPROCESSING 2920.96/2930.85 c GARBAGE COLLECT 2920.96/2930.85 c rational objective 55 3043.86/3054.18 c #Conflicts: 1966000 | #Constraints: 31391 3043.86/3054.18 c #Conflicts: 1967000 | #Constraints: 32391 3043.86/3054.18 c #Conflicts: 1968000 | #Constraints: 33391 3043.86/3054.18 c #Conflicts: 1969000 | #Constraints: 34391 3043.86/3054.18 c #Conflicts: 1970000 | #Constraints: 35392 3043.86/3054.18 c #Conflicts: 1971000 | #Constraints: 36392 3043.86/3054.18 c #Conflicts: 1972000 | #Constraints: 37392 3043.86/3054.18 c #Conflicts: 1973000 | #Constraints: 38392 3043.86/3054.18 c #Conflicts: 1974000 | #Constraints: 39392 3043.86/3054.18 c #Conflicts: 1975000 | #Constraints: 40392 3043.86/3054.18 c #Conflicts: 1976000 | #Constraints: 41392 3043.86/3054.18 c #Conflicts: 1977000 | #Constraints: 42392 3043.86/3054.18 c #Conflicts: 1978000 | #Constraints: 43392 3043.86/3054.18 c #Conflicts: 1979000 | #Constraints: 44392 3043.86/3054.18 c #Conflicts: 1980000 | #Constraints: 45392 3043.86/3054.18 c #Conflicts: 1981000 | #Constraints: 46392 3043.86/3054.18 c #Conflicts: 1982000 | #Constraints: 47392 3043.86/3054.18 c #Conflicts: 1983000 | #Constraints: 48392 3043.86/3054.18 c #Conflicts: 1984000 | #Constraints: 49392 3043.86/3054.18 c #Conflicts: 1985000 | #Constraints: 50392 3043.86/3054.18 c #Conflicts: 1986000 | #Constraints: 51392 3043.86/3054.18 c #Conflicts: 1987000 | #Constraints: 52392 3043.86/3054.18 c #Conflicts: 1988000 | #Constraints: 53392 3043.86/3054.18 c #Conflicts: 1989000 | #Constraints: 54392 3043.86/3054.18 c #Conflicts: 1990000 | #Constraints: 55392 3043.86/3054.18 c #Conflicts: 1991000 | #Constraints: 56392 3043.86/3054.18 c #Conflicts: 1992000 | #Constraints: 57392 3043.86/3054.18 c #Conflicts: 1993000 | #Constraints: 58392 3043.86/3054.18 c INPROCESSING 3043.86/3054.18 c GARBAGE COLLECT 3043.86/3054.18 c rational objective 55 3101.15/3111.66 c #Conflicts: 1994000 | #Constraints: 31386 3101.15/3111.66 c #Conflicts: 1995000 | #Constraints: 32386 3101.15/3111.66 c #Conflicts: 1996000 | #Constraints: 33386 3101.15/3111.66 c #Conflicts: 1997000 | #Constraints: 34386 3101.15/3111.66 c #Conflicts: 1998000 | #Constraints: 35386 3101.15/3111.66 c #Conflicts: 1999000 | #Constraints: 36386 3101.15/3111.66 c #Conflicts: 2000000 | #Constraints: 37386 3101.15/3111.66 c #Conflicts: 2001000 | #Constraints: 38386 3101.15/3111.66 c #Conflicts: 2002000 | #Constraints: 39386 3101.15/3111.66 c #Conflicts: 2003000 | #Constraints: 40386 3101.15/3111.66 c #Conflicts: 2004000 | #Constraints: 41386 3101.15/3111.66 c #Conflicts: 2005000 | #Constraints: 42386 3101.15/3111.66 c #Conflicts: 2006000 | #Constraints: 43386 3101.15/3111.66 c #Conflicts: 2007000 | #Constraints: 44386 3101.15/3111.66 c #Conflicts: 2008000 | #Constraints: 45386 3101.15/3111.66 c #Conflicts: 2009000 | #Constraints: 46386 3101.15/3111.66 c #Conflicts: 2010000 | #Constraints: 47386 3101.15/3111.66 c #Conflicts: 2011000 | #Constraints: 48386 3101.15/3111.66 c #Conflicts: 2012000 | #Constraints: 49386 3101.15/3111.66 c #Conflicts: 2013000 | #Constraints: 50386 3101.15/3111.66 c #Conflicts: 2014000 | #Constraints: 51386 3101.15/3111.66 c #Conflicts: 2015000 | #Constraints: 52386 3101.15/3111.66 c #Conflicts: 2016000 | #Constraints: 53386 3101.15/3111.66 c #Conflicts: 2017000 | #Constraints: 54386 3101.15/3111.66 c #Conflicts: 2018000 | #Constraints: 55386 3101.15/3111.66 c #Conflicts: 2019000 | #Constraints: 56386 3101.15/3111.66 c #Conflicts: 2020000 | #Constraints: 57386 3101.15/3111.66 c #Conflicts: 2021000 | #Constraints: 58386 3101.15/3111.66 c INPROCESSING 3101.15/3111.66 c GARBAGE COLLECT 3101.15/3111.66 c rational objective 55 3157.57/3168.20 c #Conflicts: 2022000 | #Constraints: 31178 3157.57/3168.20 c #Conflicts: 2023000 | #Constraints: 32178 3157.57/3168.20 c #Conflicts: 2024000 | #Constraints: 33178 3157.57/3168.20 c #Conflicts: 2025000 | #Constraints: 34178 3157.57/3168.20 c #Conflicts: 2026000 | #Constraints: 35178 3157.57/3168.20 c #Conflicts: 2027000 | #Constraints: 36178 3157.57/3168.20 c #Conflicts: 2028000 | #Constraints: 37178 3157.57/3168.20 c #Conflicts: 2029000 | #Constraints: 38178 3157.57/3168.20 c #Conflicts: 2030000 | #Constraints: 39178 3157.57/3168.20 c #Conflicts: 2031000 | #Constraints: 40178 3157.57/3168.20 c #Conflicts: 2032000 | #Constraints: 41178 3157.57/3168.20 c #Conflicts: 2033000 | #Constraints: 42178 3157.57/3168.20 c #Conflicts: 2034000 | #Constraints: 43178 3157.57/3168.20 c #Conflicts: 2035000 | #Constraints: 44178 3157.57/3168.20 c #Conflicts: 2036000 | #Constraints: 45178 3157.57/3168.20 c #Conflicts: 2037000 | #Constraints: 46178 3157.57/3168.20 c #Conflicts: 2038000 | #Constraints: 47178 3157.57/3168.20 c #Conflicts: 2039000 | #Constraints: 48178 3157.57/3168.20 c #Conflicts: 2040000 | #Constraints: 49178 3157.57/3168.20 c #Conflicts: 2041000 | #Constraints: 50178 3157.57/3168.20 c #Conflicts: 2042000 | #Constraints: 51178 3157.57/3168.20 c #Conflicts: 2043000 | #Constraints: 52178 3157.57/3168.20 c #Conflicts: 2044000 | #Constraints: 53178 3157.57/3168.20 c #Conflicts: 2045000 | #Constraints: 54178 3157.57/3168.20 c #Conflicts: 2046000 | #Constraints: 55178 3157.57/3168.20 c #Conflicts: 2047000 | #Constraints: 56178 3157.57/3168.20 c #Conflicts: 2048000 | #Constraints: 57179 3157.57/3168.20 c #Conflicts: 2049000 | #Constraints: 58179 3157.57/3168.20 c #Conflicts: 2050000 | #Constraints: 59179 3157.57/3168.20 c INPROCESSING 3157.57/3168.20 c GARBAGE COLLECT 3157.57/3168.20 c rational objective 55 3298.59/3309.75 c #Conflicts: 2051000 | #Constraints: 31771 3298.59/3309.75 c #Conflicts: 2052000 | #Constraints: 32771 3298.59/3309.75 c #Conflicts: 2053000 | #Constraints: 33771 3298.59/3309.75 c #Conflicts: 2054000 | #Constraints: 34771 3298.59/3309.75 c #Conflicts: 2055000 | #Constraints: 35771 3298.59/3309.75 c #Conflicts: 2056000 | #Constraints: 36771 3298.59/3309.75 c #Conflicts: 2057000 | #Constraints: 37771 3298.59/3309.75 c #Conflicts: 2058000 | #Constraints: 38771 3298.59/3309.75 c #Conflicts: 2059000 | #Constraints: 39771 3298.59/3309.75 c #Conflicts: 2060000 | #Constraints: 40771 3298.59/3309.75 c #Conflicts: 2061000 | #Constraints: 41771 3298.59/3309.75 c #Conflicts: 2062000 | #Constraints: 42771 3298.59/3309.75 c #Conflicts: 2063000 | #Constraints: 43771 3298.59/3309.75 c #Conflicts: 2064000 | #Constraints: 44771 3298.59/3309.75 c #Conflicts: 2065000 | #Constraints: 45771 3298.59/3309.75 c #Conflicts: 2066000 | #Constraints: 46771 3298.59/3309.75 c #Conflicts: 2067000 | #Constraints: 47771 3298.59/3309.75 c #Conflicts: 2068000 | #Constraints: 48771 3298.59/3309.75 c #Conflicts: 2069000 | #Constraints: 49771 3298.59/3309.75 c #Conflicts: 2070000 | #Constraints: 50771 3298.59/3309.75 c #Conflicts: 2071000 | #Constraints: 51771 3298.59/3309.75 c #Conflicts: 2072000 | #Constraints: 52771 3298.59/3309.75 c #Conflicts: 2073000 | #Constraints: 53771 3298.59/3309.75 c #Conflicts: 2074000 | #Constraints: 54771 3298.59/3309.75 c #Conflicts: 2075000 | #Constraints: 55771 3298.59/3309.75 c #Conflicts: 2076000 | #Constraints: 56771 3298.59/3309.75 c #Conflicts: 2077000 | #Constraints: 57771 3298.59/3309.75 c #Conflicts: 2078000 | #Constraints: 58771 3298.59/3309.75 c #Conflicts: 2079000 | #Constraints: 59771 3298.59/3309.75 c INPROCESSING 3298.59/3309.75 c GARBAGE COLLECT 3298.59/3309.75 c rational objective 55 3357.99/3369.39 c #Conflicts: 2080000 | #Constraints: 32187 3357.99/3369.39 c #Conflicts: 2081000 | #Constraints: 33187 3357.99/3369.39 c #Conflicts: 2082000 | #Constraints: 34187 3357.99/3369.39 c #Conflicts: 2083000 | #Constraints: 35187 3357.99/3369.39 c #Conflicts: 2084000 | #Constraints: 36187 3357.99/3369.39 c #Conflicts: 2085000 | #Constraints: 37187 3357.99/3369.39 c #Conflicts: 2086000 | #Constraints: 38187 3357.99/3369.39 c #Conflicts: 2087000 | #Constraints: 39187 3357.99/3369.39 c #Conflicts: 2088000 | #Constraints: 40187 3357.99/3369.39 c #Conflicts: 2089000 | #Constraints: 41187 3357.99/3369.39 c #Conflicts: 2090000 | #Constraints: 42187 3357.99/3369.39 c #Conflicts: 2091000 | #Constraints: 43187 3357.99/3369.39 c #Conflicts: 2092000 | #Constraints: 44187 3357.99/3369.39 c #Conflicts: 2093000 | #Constraints: 45187 3357.99/3369.39 c #Conflicts: 2094000 | #Constraints: 46187 3357.99/3369.39 c #Conflicts: 2095000 | #Constraints: 47187 3357.99/3369.39 c #Conflicts: 2096000 | #Constraints: 48187 3357.99/3369.39 c #Conflicts: 2097000 | #Constraints: 49187 3357.99/3369.39 c #Conflicts: 2098000 | #Constraints: 50187 3357.99/3369.39 c #Conflicts: 2099000 | #Constraints: 51187 3357.99/3369.39 c #Conflicts: 2100000 | #Constraints: 52187 3357.99/3369.39 c #Conflicts: 2101000 | #Constraints: 53187 3357.99/3369.39 c #Conflicts: 2102000 | #Constraints: 54187 3357.99/3369.39 c #Conflicts: 2103000 | #Constraints: 55187 3357.99/3369.39 c #Conflicts: 2104000 | #Constraints: 56187 3357.99/3369.39 c #Conflicts: 2105000 | #Constraints: 57187 3357.99/3369.39 c #Conflicts: 2106000 | #Constraints: 58187 3357.99/3369.39 c #Conflicts: 2107000 | #Constraints: 59187 3357.99/3369.39 c #Conflicts: 2108000 | #Constraints: 60187 3357.99/3369.39 c INPROCESSING 3357.99/3369.39 c GARBAGE COLLECT 3357.99/3369.39 c rational objective 55 3420.78/3432.31 c #Conflicts: 2109000 | #Constraints: 32387 3420.78/3432.31 c #Conflicts: 2110000 | #Constraints: 33387 3420.78/3432.31 c #Conflicts: 2111000 | #Constraints: 34387 3420.78/3432.31 c #Conflicts: 2112000 | #Constraints: 35387 3420.78/3432.31 c #Conflicts: 2113000 | #Constraints: 36387 3420.78/3432.31 c #Conflicts: 2114000 | #Constraints: 37387 3420.78/3432.31 c #Conflicts: 2115000 | #Constraints: 38387 3420.78/3432.31 c #Conflicts: 2116000 | #Constraints: 39387 3420.78/3432.31 c #Conflicts: 2117000 | #Constraints: 40387 3420.78/3432.31 c #Conflicts: 2118000 | #Constraints: 41387 3420.78/3432.31 c #Conflicts: 2119000 | #Constraints: 42387 3420.78/3432.31 c #Conflicts: 2120000 | #Constraints: 43387 3420.78/3432.31 c #Conflicts: 2121000 | #Constraints: 44387 3420.78/3432.31 c #Conflicts: 2122000 | #Constraints: 45387 3420.78/3432.31 c #Conflicts: 2123000 | #Constraints: 46387 3420.78/3432.31 c #Conflicts: 2124000 | #Constraints: 47387 3420.78/3432.31 c #Conflicts: 2125000 | #Constraints: 48387 3420.78/3432.31 c #Conflicts: 2126000 | #Constraints: 49387 3420.78/3432.31 c #Conflicts: 2127000 | #Constraints: 50387 3420.78/3432.31 c #Conflicts: 2128000 | #Constraints: 51387 3420.78/3432.31 c #Conflicts: 2129000 | #Constraints: 52387 3420.78/3432.31 c #Conflicts: 2130000 | #Constraints: 53387 3420.78/3432.31 c #Conflicts: 2131000 | #Constraints: 54387 3420.78/3432.31 c #Conflicts: 2132000 | #Constraints: 55387 3420.78/3432.31 c #Conflicts: 2133000 | #Constraints: 56387 3420.78/3432.31 c #Conflicts: 2134000 | #Constraints: 57387 3420.78/3432.31 c #Conflicts: 2135000 | #Constraints: 58387 3420.78/3432.31 c #Conflicts: 2136000 | #Constraints: 59387 3420.78/3432.31 c #Conflicts: 2137000 | #Constraints: 60387 3420.78/3432.31 c INPROCESSING 3420.78/3432.31 c GARBAGE COLLECT 3420.78/3432.31 c rational objective 55 3521.14/3533.03 c #Conflicts: 2138000 | #Constraints: 32397 3521.14/3533.03 c #Conflicts: 2139000 | #Constraints: 33397 3521.14/3533.03 c #Conflicts: 2140000 | #Constraints: 34397 3521.14/3533.03 c #Conflicts: 2141000 | #Constraints: 35397 3521.14/3533.03 c #Conflicts: 2142000 | #Constraints: 36397 3521.14/3533.03 c #Conflicts: 2143000 | #Constraints: 37397 3521.14/3533.03 c #Conflicts: 2144000 | #Constraints: 38397 3521.14/3533.03 c #Conflicts: 2145000 | #Constraints: 39397 3521.14/3533.03 c #Conflicts: 2146000 | #Constraints: 40397 3521.14/3533.03 c #Conflicts: 2147000 | #Constraints: 41397 3521.14/3533.03 c #Conflicts: 2148000 | #Constraints: 42397 3521.14/3533.03 c #Conflicts: 2149000 | #Constraints: 43397 3521.14/3533.03 c #Conflicts: 2150000 | #Constraints: 44397 3521.14/3533.03 c #Conflicts: 2151000 | #Constraints: 45397 3521.14/3533.03 c #Conflicts: 2152000 | #Constraints: 46397 3521.14/3533.03 c #Conflicts: 2153000 | #Constraints: 47397 3521.14/3533.03 c #Conflicts: 2154000 | #Constraints: 48397 3521.14/3533.03 c #Conflicts: 2155000 | #Constraints: 49397 3521.14/3533.03 c #Conflicts: 2156000 | #Constraints: 50397 3521.14/3533.03 c #Conflicts: 2157000 | #Constraints: 51397 3521.14/3533.03 c #Conflicts: 2158000 | #Constraints: 52397 3521.14/3533.03 c #Conflicts: 2159000 | #Constraints: 53397 3521.14/3533.03 c #Conflicts: 2160000 | #Constraints: 54397 3521.14/3533.03 c #Conflicts: 2161000 | #Constraints: 55397 3521.14/3533.03 c #Conflicts: 2162000 | #Constraints: 56397 3521.14/3533.03 c #Conflicts: 2163000 | #Constraints: 57397 3521.14/3533.03 c #Conflicts: 2164000 | #Constraints: 58397 3521.14/3533.03 c #Conflicts: 2165000 | #Constraints: 59397 3521.14/3533.03 c #Conflicts: 2166000 | #Constraints: 60397 3521.14/3533.03 c INPROCESSING 3521.14/3533.03 c GARBAGE COLLECT 3521.14/3533.03 c rational objective 55 3583.93/3596.03 c #Conflicts: 2167000 | #Constraints: 32176 3583.93/3596.03 c #Conflicts: 2168000 | #Constraints: 33176 3583.93/3596.03 c #Conflicts: 2169000 | #Constraints: 34176 3583.93/3596.03 c #Conflicts: 2170000 | #Constraints: 35176 3583.93/3596.03 c #Conflicts: 2171000 | #Constraints: 36176 3583.93/3596.03 c #Conflicts: 2172000 | #Constraints: 37176 3583.93/3596.03 c #Conflicts: 2173000 | #Constraints: 38176 3583.93/3596.03 c #Conflicts: 2174000 | #Constraints: 39176 3583.93/3596.03 c #Conflicts: 2175000 | #Constraints: 40176 3583.93/3596.03 c #Conflicts: 2176000 | #Constraints: 41176 3583.93/3596.03 c #Conflicts: 2177000 | #Constraints: 42176 3583.93/3596.03 c #Conflicts: 2178000 | #Constraints: 43176 3583.93/3596.03 c #Conflicts: 2179000 | #Constraints: 44176 3583.93/3596.03 c #Conflicts: 2180000 | #Constraints: 45176 3583.93/3596.03 c #Conflicts: 2181000 | #Constraints: 46176 3583.93/3596.03 c #Conflicts: 2182000 | #Constraints: 47176 3583.93/3596.03 c #Conflicts: 2183000 | #Constraints: 48176 3583.93/3596.03 c #Conflicts: 2184000 | #Constraints: 49176 3583.93/3596.03 c #Conflicts: 2185000 | #Constraints: 50176 3583.93/3596.03 c #Conflicts: 2186000 | #Constraints: 51176 3583.93/3596.03 c #Conflicts: 2187000 | #Constraints: 52176 3583.93/3596.03 c #Conflicts: 2188000 | #Constraints: 53176 3583.93/3596.03 c #Conflicts: 2189000 | #Constraints: 54176 3583.93/3596.03 c #Conflicts: 2190000 | #Constraints: 55176 3583.93/3596.03 c #Conflicts: 2191000 | #Constraints: 56176 3583.93/3596.03 c #Conflicts: 2192000 | #Constraints: 57176 3583.93/3596.03 c #Conflicts: 2193000 | #Constraints: 58176 3583.93/3596.03 c #Conflicts: 2194000 | #Constraints: 59176 3583.93/3596.03 c #Conflicts: 2195000 | #Constraints: 60176 3583.93/3596.03 c #Conflicts: 2196000 | #Constraints: 61176 3583.93/3596.03 c INPROCESSING 3583.93/3596.03 c GARBAGE COLLECT 3583.93/3596.03 c rational objective 55 3600.06/3612.20 c #Conflicts: 2197000 | #Constraints: 32807 3600.06/3612.20 c #Conflicts: 2198000 | #Constraints: 33807 3600.06/3612.20 c #Conflicts: 2199000 | #Constraints: 34807 3600.06/3612.20 c #Conflicts: 2200000 | #Constraints: 35807 3600.06/3612.20 c Program interrupted by user. 3600.06/3612.20 c cpu time 3576.31 s 3600.06/3612.20 c deterministic time 399106326032 3.99e+11 3600.06/3612.20 c optimization time 16.0288 s 3600.06/3612.20 c total solve time 3560.21 s 3600.06/3612.20 c core-guided solve time 1697.9 s 3600.06/3612.20 c propagation time 3293.22 s 3600.06/3612.20 c conflict analysis time 254.997 s 3600.06/3612.20 c propagations 480957524 3600.06/3612.20 c resolve steps 12273828 3600.06/3612.20 c decisions 6453450 3600.06/3612.20 c conflicts 2200882 3600.06/3612.20 c restarts 4093 3600.06/3612.20 c inprocessing phases 139 3600.06/3612.20 c input clauses 1 3600.06/3612.20 c input cardinalities 0 3600.06/3612.20 c input general constraints 2449 3600.06/3612.20 c input average constraint length 25.29 3600.06/3612.20 c input average constraint degree 232.56 3600.06/3612.20 c learned clauses 827284 3600.06/3612.20 c learned cardinalities 11 3600.06/3612.20 c learned general constraints 1373591 3600.06/3612.20 c learned average constraint length 38.31 3600.06/3612.20 c learned average constraint degree 1008186.92 3600.06/3612.20 c watched constraints 1363134 3600.06/3612.20 c counting constraints 12906 3600.06/3612.20 c gcd simplifications 22407 3600.06/3612.20 c detected cardinalities 11 3600.06/3612.20 c weakened non-implied lits 6186173 3600.06/3612.20 c weakened non-implying lits 11751 3600.06/3612.20 c original variables 1288 3600.06/3612.20 c clausal propagations 8092089 3600.06/3612.20 c cardinality propagations 345 3600.06/3612.20 c watched propagations 453020057 3600.06/3612.20 c counting propagations 18477136 3600.06/3612.20 c watch lookups 74058440950 3600.06/3612.20 c watch backjump lookups 64612881463 3600.06/3612.20 c watch checks 177897503572 3600.06/3612.20 c propagation checks 81188426946 3600.06/3612.20 c constraint additions 369840833 3600.06/3612.20 c trail pops 489611619 3600.06/3612.20 c formula constraints 2431 3600.06/3612.20 c learned constraints 2200878 3600.06/3612.20 c bound constraints 19 3600.06/3612.20 c core-guided constraints 0 3600.06/3612.20 c encountered formula constraints 8752301 3600.06/3612.20 c encountered learned constraints 5706953 3600.06/3612.20 c encountered bound constraints 13929 3600.06/3612.20 c encountered core-guided constraints 0 3600.06/3612.20 c LP total time 56.7027 s 3600.06/3612.20 c LP solve time 51.23 s 3600.06/3612.20 c LP constraints added 3310 3600.06/3612.20 c LP constraints removed 874 3600.06/3612.20 c LP pivots internal 2200887 3600.06/3612.20 c LP pivots root 8787 3600.06/3612.20 c LP calls 20984 3600.06/3612.20 c LP optimalities 20980 3600.06/3612.20 c LP no pivot count 2159 3600.06/3612.20 c LP infeasibilities 4 3600.06/3612.20 c LP valid Farkas constraints 4 3600.06/3612.20 c LP learned Farkas constraints 4 3600.06/3612.20 c LP basis resets 0 3600.06/3612.20 c LP cycling count 0 3600.06/3612.20 c LP singular count 0 3600.06/3612.20 c LP no primal count 0 3600.06/3612.20 c LP no farkas count 0 3600.06/3612.20 c LP other issue count 0 3600.06/3612.20 c LP Gomory cuts 0 3600.06/3612.20 c LP learned cuts 879 3600.06/3612.20 c LP deleted cuts 874 3600.06/3612.20 c LP encountered Gomory constraints 0 3600.06/3612.20 c LP encountered Farkas constraints 1509 3600.06/3612.20 c LP encountered learned Farkas constraints 14 3600.06/3612.20 c CG auxiliary variables introduced 0 3600.06/3612.20 c CG solutions found 19 3600.06/3612.20 c CG cores constructed 1 3600.06/3612.20 c CG core cardinality constraints returned 0 3600.06/3612.20 c CG unit cores 1 3600.06/3612.20 c CG single cores 0 3600.06/3612.20 c CG blocks removed during cardinality reduction 0 3600.06/3612.20 c CG first core best 0 3600.06/3612.20 c CG decision core best 0 3600.06/3612.20 c CG core reduction tie 0 3600.06/3612.20 c CG core degree average 0.00 3600.06/3612.20 c CG core slack average 0.00 3600.06/3612.20 s SATISFIABLE 3600.06/3612.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 -
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 (61986 MiB free)
memory of node 1: 64473 MiB (61338 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460193-1722064840/watcher-4460193-1722064840 -o /tmp/evaluation-result-4460193-1722064840/solver-4460193-1722064840 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722064836-319218 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460193-1722064840 --lp-cut-gomory=0 HOME/instance-4460193-1722064840.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=319473, runsolver pid=319470
[startup+0.1001 s]*
/proc/loadavg: 0.39 0.15 0.11 5/246 319474
/proc/meminfo: memFree=126273784/131655788 swapFree=131070192/131071996
[pid=319473] ppid=319470 vsize=43180 memory=14928 CPUtime=0.09 cores=0,2
/proc/319473/stat : 319473 (roundingsat) R 319470 319473 319208 0 -1 4194304 3018 0 0 0 8 1 0 0 20 0 1 0 42472832 44216320 3732 134679101440 4194304 8254357 140728449970080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18145280 140728449979227 140728449979489 140728449979489 140728449986505 0
/proc/319473/statm: 10795 3732 1680 992 0 2653 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43180 KiB
Current children cumulated memory: 14928 KiB
[startup+0.212636 s]*
/proc/loadavg: 0.39 0.15 0.11 5/246 319474
/proc/meminfo: memFree=126268292/131655788 swapFree=131070192/131071996
[pid=319473] ppid=319470 vsize=45968 memory=17796 CPUtime=0.21 cores=0,2
/proc/319473/stat : 319473 (roundingsat) R 319470 319473 319208 0 -1 4194304 3695 0 0 0 19 2 0 0 20 0 1 0 42472832 47071232 4449 134679101440 4194304 8254357 140728449970080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18145280 140728449979227 140728449979489 140728449979489 140728449986505 0
/proc/319473/statm: 11492 4449 1760 992 0 3350 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 45968 KiB
Current children cumulated memory: 17796 KiB
[startup+0.312754 s]*
/proc/loadavg: 0.39 0.15 0.11 5/246 319474
/proc/meminfo: memFree=126264792/131655788 swapFree=131070192/131071996
[pid=319473] ppid=319470 vsize=45968 memory=17796 CPUtime=0.31 cores=0,2
/proc/319473/stat : 319473 (roundingsat) R 319470 319473 319208 0 -1 4194304 3695 0 0 0 28 3 0 0 20 0 1 0 42472832 47071232 4449 134679101440 4194304 8254357 140728449970080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18145280 140728449979227 140728449979489 140728449979489 140728449986505 0
/proc/319473/statm: 11492 4449 1760 992 0 3350 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 45968 KiB
Current children cumulated memory: 17796 KiB
[startup+0.700292 s]
/proc/loadavg: 0.39 0.15 0.11 5/246 319474
/proc/meminfo: memFree=126259100/131655788 swapFree=131070192/131071996
[pid=319473] ppid=319470 vsize=47348 memory=19204 CPUtime=0.69 cores=0,2
/proc/319473/stat : 319473 (roundingsat) R 319470 319473 319208 0 -1 4194304 4283 0 0 0 63 6 0 0 20 0 1 0 42472832 48484352 4801 134679101440 4194304 8254357 140728449970080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18145280 140728449979227 140728449979489 140728449979489 140728449986505 0
/proc/319473/statm: 11837 4801 1776 992 0 3695 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 47348 KiB
Current children cumulated memory: 19204 KiB
[startup+1.50026 s]
/proc/loadavg: 0.39 0.15 0.11 5/246 319474
/proc/meminfo: memFree=126240524/131655788 swapFree=131070192/131071996
[pid=319473] ppid=319470 vsize=47584 memory=19576 CPUtime=1.48 cores=0,2
/proc/319473/stat : 319473 (roundingsat) R 319470 319473 319208 0 -1 4194304 4643 0 0 0 139 9 0 0 20 0 1 0 42472832 48726016 4894 134679101440 4194304 8254357 140728449970080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18145280 140728449979227 140728449979489 140728449979489 140728449986505 0
/proc/319473/statm: 11896 4894 1776 992 0 3754 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 47584 KiB
Current children cumulated memory: 19576 KiB
[startup+3.11274 s]
/proc/loadavg: 0.68 0.21 0.13 5/246 319474
/proc/meminfo: memFree=126153368/131655788 swapFree=131070192/131071996
[pid=319473] ppid=319470 vsize=47584 memory=19576 CPUtime=3.09 cores=0,2
/proc/319473/stat : 319473 (roundingsat) R 319470 319473 319208 0 -1 4194304 4644 0 0 0 294 15 0 0 20 0 1 0 42472832 48726016 4894 134679101440 4194304 8254357 140728449970080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18145280 140728449979227 140728449979489 140728449979489 140728449986505 0
/proc/319473/statm: 11896 4894 1776 992 0 3754 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 47584 KiB
Current children cumulated memory: 19576 KiB
[startup+6.30024 s]
/proc/loadavg: 0.68 0.21 0.13 5/246 319474
/proc/meminfo: memFree=126045144/131655788 swapFree=131070192/131071996
[pid=319473] ppid=319470 vsize=47744 memory=19576 CPUtime=6.26 cores=0,2
/proc/319473/stat : 319473 (roundingsat) R 319470 319473 319208 0 -1 4194304 4690 0 0 0 602 24 0 0 20 0 1 0 42472832 48889856 4894 134679101440 4194304 8254357 140728449970080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18145280 140728449979227 140728449979489 140728449979489 140728449986505 0
/proc/319473/statm: 11936 4894 1776 992 0 3794 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 47744 KiB
Current children cumulated memory: 19576 KiB
[startup+12.7002 s]
/proc/loadavg: 1.27 0.35 0.18 7/246 319475
/proc/meminfo: memFree=125822348/131655788 swapFree=131070192/131071996
[pid=319473] ppid=319470 vsize=48364 memory=22364 CPUtime=12.64 cores=0,2
/proc/319473/stat : 319473 (roundingsat) R 319470 319473 319208 0 -1 4194304 4828 0 0 0 1223 41 0 0 20 0 1 0 42472832 49524736 5591 134679101440 4194304 8254357 140728449970080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18145280 140728449979227 140728449979489 140728449979489 140728449986505 0
/proc/319473/statm: 12091 5591 1840 992 0 3949 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 48364 KiB
Current children cumulated memory: 22364 KiB
[startup+25.5003 s]
/proc/loadavg: 1.69 0.47 0.22 5/247 319478
/proc/meminfo: memFree=125520044/131655788 swapFree=131070192/131071996
[pid=319473] ppid=319470 vsize=49832 memory=24112 CPUtime=25.41 cores=0,2
/proc/319473/stat : 319473 (roundingsat) R 319470 319473 319208 0 -1 4194304 5241 0 0 0 2472 69 0 0 20 0 1 0 42472832 51027968 6028 134679101440 4194304 8254357 140728449970080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18145280 140728449979227 140728449979489 140728449979489 140728449986505 0
/proc/319473/statm: 12458 6028 1840 992 0 4316 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 49832 KiB
Current children cumulated memory: 24112 KiB
[startup+51.1138 s]
/proc/loadavg: 2.48 0.76 0.32 5/247 319483
/proc/meminfo: memFree=125052272/131655788 swapFree=131070192/131071996
[pid=319473] ppid=319470 vsize=51360 memory=25408 CPUtime=50.94 cores=0,2
/proc/319473/stat : 319473 (roundingsat) R 319470 319473 319208 0 -1 4194304 5625 0 0 0 4971 123 0 0 20 0 1 0 42472832 52592640 6352 134679101440 4194304 8254357 140728449970080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18145280 140728449979227 140728449979489 140728449979489 140728449986505 0
/proc/319473/statm: 12840 6352 1840 992 0 4698 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 51360 KiB
Current children cumulated memory: 25408 KiB
[startup+102.3 s]
/proc/loadavg: 3.57 1.35 0.55 5/250 319495
/proc/meminfo: memFree=123947244/131655788 swapFree=131070192/131071996
[pid=319473] ppid=319470 vsize=56512 memory=28424 CPUtime=101.95 cores=0,2
/proc/319473/stat : 319473 (roundingsat) R 319470 319473 319208 0 -1 4194304 6402 0 0 0 9984 211 0 0 20 0 1 0 42472832 57868288 7106 134679101440 4194304 8254357 140728449970080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18145280 140728449979227 140728449979489 140728449979489 140728449986505 0
/proc/319473/statm: 14128 7106 1840 992 0 5986 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 56512 KiB
Current children cumulated memory: 28424 KiB
[startup+162.3 s]
/proc/loadavg: 3.84 1.84 0.77 5/251 319506
/proc/meminfo: memFree=123137148/131655788 swapFree=131070192/131071996
[pid=319473] ppid=319470 vsize=58084 memory=30800 CPUtime=161.76 cores=0,2
/proc/319473/stat : 319473 (roundingsat) R 319470 319473 319208 0 -1 4194304 6985 0 0 0 15876 300 0 0 20 0 1 0 42472832 59478016 7700 134679101440 4194304 8254357 140728449970080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18145280 140728449979227 140728449979489 140728449979489 140728449986505 0
/proc/319473/statm: 14521 7700 1840 992 0 6379 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 58084 KiB
Current children cumulated memory: 30800 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 2.26 0.98 5/251 319517
/proc/meminfo: memFree=122258124/131655788 swapFree=131070192/131071996
[pid=319473] ppid=319470 vsize=60112 memory=33960 CPUtime=221.55 cores=0,2
/proc/319473/stat : 319473 (roundingsat) R 319470 319473 319208 0 -1 4194304 7744 0 0 0 21776 379 0 0 20 0 1 0 42472832 61554688 8490 134679101440 4194304 8254357 140728449970080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18145280 140728449979227 140728449979489 140728449979489 140728449986505 0
/proc/319473/statm: 15028 8490 1840 992 0 6886 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 33960 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 2.61 1.19 5/250 319909
/proc/meminfo: memFree=121643556/131655788 swapFree=131070192/131071996
[pid=319473] ppid=319470 vsize=65060 memory=35996 CPUtime=281.34 cores=0,2
/proc/319473/stat : 319473 (roundingsat) R 319470 319473 319208 0 -1 4194304 8244 0 0 0 27682 452 0 0 20 0 1 0 42472832 66621440 8999 134679101440 4194304 8254357 140728449970080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18145280 140728449979227 140728449979489 140728449979489 140728449986505 0
/proc/319473/statm: 16265 8999 1840 992 0 8123 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 65060 KiB
Current children cumulated memory: 35996 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 2.88 1.37 5/249 319919
/proc/meminfo: memFree=120934564/131655788 swapFree=131070192/131071996
[pid=319473] ppid=319470 vsize=66364 memory=40148 CPUtime=341.15 cores=0,2
/proc/319473/stat : 319473 (roundingsat) R 319470 319473 319208 0 -1 4194304 8789 0 0 0 33596 519 0 0 20 0 1 0 42472832 67956736 10037 134679101440 4194304 8254357 140728449970080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18145280 140728449979227 140728449979489 140728449979489 140728449986505 0
/proc/319473/statm: 16591 10037 1840 992 0 8449 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 66364 KiB
Current children cumulated memory: 40148 KiB
[startup+402.3 s]
/proc/loadavg: 4.23 3.14 1.55 5/249 319930
/proc/meminfo: memFree=120257728/131655788 swapFree=131070192/131071996
[pid=319473] ppid=319470 vsize=66540 memory=40572 CPUtime=400.93 cores=0,2
/proc/319473/stat : 319473 (roundingsat) R 319470 319473 319208 0 -1 4194304 8873 0 0 0 39509 584 0 0 20 0 1 0 42472832 68136960 10143 134679101440 4194304 8254357 140728449970080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18145280 140728449979227 140728449979489 140728449979489 140728449986505 0
/proc/319473/statm: 16635 10143 1840 992 0 8493 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 66540 KiB
Current children cumulated memory: 40572 KiB
[startup+462.3 s]
/proc/loadavg: 4.24 3.34 1.72 5/248 320110
/proc/meminfo: memFree=119689284/131655788 swapFree=131070192/131071996
[pid=319473] ppid=319470 vsize=67252 memory=41256 CPUtime=460.73 cores=0,2
/proc/319473/stat : 319473 (roundingsat) R 319470 319473 319208 0 -1 4194304 9065 0 0 0 45428 645 0 0 20 0 1 0 42472832 68866048 10314 134679101440 4194304 8254357 140728449970080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18145280 140728449979227 140728449979489 140728449979489 140728449986505 0
/proc/319473/statm: 16813 10314 1840 992 0 8671 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.17 4.19 4.10 5/246 321224
/proc/meminfo: memFree=103206072/131655788 swapFree=131070192/131071996
[pid=319473] ppid=319470 vsize=101780 memory=67608 CPUtime=3151.69 cores=0,2
/proc/319473/stat : 319473 (roundingsat) R 319470 319473 319208 0 -1 4194304 14796 0 0 0 312962 2207 0 0 20 0 1 0 42472832 104222720 16902 134679101440 4194304 8254357 140728449970080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18145280 140728449979227 140728449979489 140728449979489 140728449986505 0
/proc/319473/statm: 25445 16902 1856 992 0 17303 0
Current children cumulated CPU time: 3151.69 s
Current children cumulated vsize: 101780 KiB
Current children cumulated memory: 67608 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.17 4.09 5/246 321234
/proc/meminfo: memFree=102955484/131655788 swapFree=131070192/131071996
[pid=319473] ppid=319470 vsize=101780 memory=67608 CPUtime=3211.48 cores=0,2
/proc/319473/stat : 319473 (roundingsat) R 319470 319473 319208 0 -1 4194304 14821 0 0 0 318921 2227 0 0 20 0 1 0 42472832 104222720 16902 134679101440 4194304 8254357 140728449970080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18145280 140728449979227 140728449979489 140728449979489 140728449986505 0
/proc/319473/statm: 25445 16902 1856 992 0 17303 0
Current children cumulated CPU time: 3211.48 s
Current children cumulated vsize: 101780 KiB
Current children cumulated memory: 67608 KiB
[startup+3282.3 s]
/proc/loadavg: 4.28 4.23 4.12 5/247 321247
/proc/meminfo: memFree=102663012/131655788 swapFree=131070192/131071996
[pid=319473] ppid=319470 vsize=101780 memory=67608 CPUtime=3271.28 cores=0,2
/proc/319473/stat : 319473 (roundingsat) R 319470 319473 319208 0 -1 4194304 14850 0 0 0 324886 2242 0 0 20 0 1 0 42472832 104222720 16902 134679101440 4194304 8254357 140728449970080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18145280 140728449979227 140728449979489 140728449979489 140728449986505 0
/proc/319473/statm: 25445 16902 1856 992 0 17303 0
Current children cumulated CPU time: 3271.28 s
Current children cumulated vsize: 101780 KiB
Current children cumulated memory: 67608 KiB
[startup+3342.3 s]
/proc/loadavg: 4.24 4.23 4.13 5/244 321257
/proc/meminfo: memFree=102323048/131655788 swapFree=131070192/131071996
[pid=319473] ppid=319470 vsize=102268 memory=70064 CPUtime=3331.08 cores=0,2
/proc/319473/stat : 319473 (roundingsat) R 319470 319473 319208 0 -1 4194304 14996 0 0 0 330842 2266 0 0 20 0 1 0 42472832 104722432 17516 134679101440 4194304 8254357 140728449970080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18145280 140728449979227 140728449979489 140728449979489 140728449986505 0
/proc/319473/statm: 25567 17516 1856 992 0 17425 0
Current children cumulated CPU time: 3331.08 s
Current children cumulated vsize: 102268 KiB
Current children cumulated memory: 70064 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.22 4.13 5/244 321267
/proc/meminfo: memFree=102000532/131655788 swapFree=131070192/131071996
[pid=319473] ppid=319470 vsize=102480 memory=70228 CPUtime=3390.88 cores=0,2
/proc/319473/stat : 319473 (roundingsat) R 319470 319473 319208 0 -1 4194304 15075 0 0 0 336793 2295 0 0 20 0 1 0 42472832 104939520 17557 134679101440 4194304 8254357 140728449970080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18145280 140728449979227 140728449979489 140728449979489 140728449986505 0
/proc/319473/statm: 25620 17557 1856 992 0 17478 0
Current children cumulated CPU time: 3390.88 s
Current children cumulated vsize: 102480 KiB
Current children cumulated memory: 70228 KiB
[startup+3462.3 s]
/proc/loadavg: 4.45 4.27 4.15 5/247 321282
/proc/meminfo: memFree=101723320/131655788 swapFree=131070192/131071996
[pid=319473] ppid=319470 vsize=102480 memory=70356 CPUtime=3450.67 cores=0,2
/proc/319473/stat : 319473 (roundingsat) R 319470 319473 319208 0 -1 4194304 15101 0 0 0 342747 2320 0 0 20 0 1 0 42472832 104939520 17589 134679101440 4194304 8254357 140728449970080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18145280 140728449979227 140728449979489 140728449979489 140728449986505 0
/proc/319473/statm: 25620 17589 1856 992 0 17478 0
Current children cumulated CPU time: 3450.67 s
Current children cumulated vsize: 102480 KiB
Current children cumulated memory: 70356 KiB
[startup+3522.3 s]
/proc/loadavg: 4.22 4.24 4.14 5/247 321293
/proc/meminfo: memFree=101461692/131655788 swapFree=131070192/131071996
[pid=319473] ppid=319470 vsize=102480 memory=70356 CPUtime=3510.47 cores=0,2
/proc/319473/stat : 319473 (roundingsat) R 319470 319473 319208 0 -1 4194304 15127 0 0 0 348709 2338 0 0 20 0 1 0 42472832 104939520 17589 134679101440 4194304 8254357 140728449970080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18145280 140728449979227 140728449979489 140728449979489 140728449986505 0
/proc/319473/statm: 25620 17589 1856 992 0 17478 0
Current children cumulated CPU time: 3510.47 s
Current children cumulated vsize: 102480 KiB
Current children cumulated memory: 70356 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.21 4.14 5/247 321305
/proc/meminfo: memFree=101209560/131655788 swapFree=131070192/131071996
[pid=319473] ppid=319470 vsize=102480 memory=70412 CPUtime=3570.26 cores=0,2
/proc/319473/stat : 319473 (roundingsat) R 319470 319473 319208 0 -1 4194304 15165 0 0 0 354660 2366 0 0 20 0 1 0 42472832 104939520 17603 134679101440 4194304 8254357 140728449970080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18145280 140728449979227 140728449979489 140728449979489 140728449986505 0
/proc/319473/statm: 25620 17603 1856 992 0 17478 0
Current children cumulated CPU time: 3570.26 s
Current children cumulated vsize: 102480 KiB
Current children cumulated memory: 70412 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.2 s]
/proc/loadavg: 4.13 4.20 4.14 2/244 321311
/proc/meminfo: memFree=101095556/131655788 swapFree=131070192/131071996
[pid=319473] ppid=319470 vsize=102740 memory=70616 CPUtime=3600.06 cores=0,2
/proc/319473/stat : 319473 (roundingsat) R 319470 319473 319208 0 -1 4194304 15239 0 0 0 357630 2376 0 0 20 0 1 0 42472832 105205760 17654 134679101440 4194304 8254357 140728449970080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18145280 140728449979227 140728449979489 140728449979489 140728449986505 0
/proc/319473/statm: 25685 17654 1856 992 0 17543 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 102740 KiB
Current children cumulated memory: 70616 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.12 4.20 4.14 1/244 321311
/proc/meminfo: memFree=101095068/131655788 swapFree=131070192/131071996
[pid=319473] ppid=319470 vsize=102740 memory=70616 CPUtime=3600.06 cores=0,2
/proc/319473/stat : 319473 (roundingsat) D 319470 319473 319208 0 -1 4194304 15247 0 0 0 357630 2376 0 0 20 0 1 0 42472832 105205760 17654 134679101440 4194304 8254357 140728449970080 0 0 256 0 0 25182210 0 0 0 17 0 0 0 372 0 0 9037040 9046032 18145280 140728449979227 140728449979489 140728449979489 140728449986505 0
/proc/319473/statm: 25685 17654 1856 992 0 17543 0
??? kill 319473 sig 9
??? end of watcher thread
[startup+3618.7 s]
# the end of solver process 319473 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3576.31 s, system=23.771 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.13 4.20 4.14 2/244 321311
/proc/meminfo: memFree=101095556/131655788 swapFree=131070192/131071996
[pid=319473] ppid=319470 vsize=102740 memory=70616 CPUtime=3600.06 cores=0,2
/proc/319473/stat : 319473 (roundingsat) D 319470 319473 319208 0 -1 4194304 15247 0 0 0 357630 2376 0 0 20 0 1 0 42472832 105205760 17654 134679101440 4194304 8254357 140728449970080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 18145280 140728449979227 140728449979489 140728449979489 140728449986505 0
/proc/319473/statm: 25685 17654 1856 992 0 17543 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 102740 KiB
Current children cumulated memory: 70616 KiB
[startup+3613.6 s]
/proc/loadavg: 4.12 4.20 4.14 1/244 321311
/proc/meminfo: memFree=101094332/131655788 swapFree=131070192/131071996
[pid=319473] ppid=319470 vsize=102740 memory=70616 CPUtime=3600.06 cores=0,2
/proc/319473/stat : 319473 (roundingsat) D 319470 319473 319208 0 -1 4194304 15247 0 0 0 357630 2376 0 0 20 0 1 0 42472832 105205760 17654 134679101440 4194304 8254357 140728449970080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 153 0 0 9037040 9046032 18145280 140728449979227 140728449979489 140728449979489 140728449986505 0
/proc/319473/statm: 25685 17654 1856 992 0 17543 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 102740 KiB
Current children cumulated memory: 70616 KiB
[startup+3614 s]*
/proc/loadavg: 4.12 4.20 4.14 1/244 321311
/proc/meminfo: memFree=101094652/131655788 swapFree=131070192/131071996
[pid=319473] ppid=319470 vsize=102740 memory=70616 CPUtime=3600.06 cores=0,2
/proc/319473/stat : 319473 (roundingsat) D 319470 319473 319208 0 -1 4194304 15247 0 0 0 357630 2376 0 0 20 0 1 0 42472832 105205760 17654 134679101440 4194304 8254357 140728449970080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 282 0 0 9037040 9046032 18145280 140728449979227 140728449979489 140728449979489 140728449986505 0
/proc/319473/statm: 25685 17654 1856 992 0 17543 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 102740 KiB
Current children cumulated memory: 70616 KiB
[startup+3614.2 s]
/proc/loadavg: 4.12 4.20 4.14 1/244 321311
/proc/meminfo: memFree=101094652/131655788 swapFree=131070192/131071996
[pid=319473] ppid=319470 vsize=102740 memory=70616 CPUtime=3600.06 cores=0,2
/proc/319473/stat : 319473 (roundingsat) D 319470 319473 319208 0 -1 4194304 15247 0 0 0 357630 2376 0 0 20 0 1 0 42472832 105205760 17654 134679101440 4194304 8254357 140728449970080 0 0 0 0 0 25182210 0 0 0 17 0 0 0 372 0 0 9037040 9046032 18145280 140728449979227 140728449979489 140728449979489 140728449986505 0
/proc/319473/statm: 25685 17654 1856 992 0 17543 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 102740 KiB
Current children cumulated memory: 70616 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3618.7
CPU time (s): 3600.08
CPU user time (s): 3576.31
CPU system time (s): 23.771
CPU usage (%): 99.4855
Max. virtual memory (cumulated for all children) (KiB): 102740
Max. memory (cumulated for all children) (KiB): 70616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.31
system time used= 23.771
maximum resident set size= 71072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15247
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2461160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 183
involuntary context switches= 25490
# summary of solver processes directly reported to runsolver:
# pid: 319473
# total CPU time (s): 3600.08
# total CPU user time (s): 3576.31
# total CPU system time (s): 23.771
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1113 second user time and 35.3124 second system time
The end
Begin job on nodeC002 at 2024-07-27 09:20:40 IDJOB=4460193 IDBENCH=147695 IDSOLVER=3086 FILE ID=nodeC002/4460193-1722064840 RUNJOBID= nodeC002-1722064836-319218 SLURM_JOB_ID= 8248104 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-4460193-1722064840/watcher-4460193-1722064840 -o /tmp/evaluation-result-4460193-1722064840/solver-4460193-1722064840 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722064836-319218 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460193-1722064840 --lp-cut-gomory=0 HOME/instance-4460193-1722064840.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 89d4e33f1fc4516d7db076f434bf527f RANDOM SEED=1994572972 nodeC002.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 : 1197.164 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.43 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 : 3656.706 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.41 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.167 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.43 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.358 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.41 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 : 1795.739 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.43 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 : 1795.739 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.41 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.325 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.43 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.254 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.41 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 126287108 kB MemAvailable: 129877136 kB Buffers: 375532 kB Cached: 4027480 kB SwapCached: 72 kB Active: 2437060 kB Inactive: 2338916 kB Active(anon): 1544 kB Inactive(anon): 425348 kB Active(file): 2435516 kB Inactive(file): 1913568 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131070192 kB Dirty: 68112 kB Writeback: 28 kB AnonPages: 372388 kB Mapped: 115844 kB Shmem: 53844 kB KReclaimable: 162288 kB Slab: 276292 kB SReclaimable: 162288 kB SUnreclaim: 114004 kB KernelStack: 3888 kB PageTables: 9948 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 702928 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 14752 kB HardwareCorrupted: 0 kB AnonHugePages: 204800 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: 316232 kB DirectMap2M: 36288512 kB DirectMap1G: 99614720 kB Free space on /tmp at the end= 723760 MiB End job on nodeC002 at 2024-07-27 10:20:59