| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | 149 | 3600.06 | 3610.11 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_14.opb |
| MD5SUM | 0e700fc92a231fc1e477aebd59f20b52 |
| 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 | 138 |
| Best CPU time to get the best result obtained on this benchmark | 3584.86 |
| 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 | 3296 |
| Total number of constraints | 6384 |
| 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 | 6383 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 33 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 91 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 218 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 286 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 1475 |
| Number of bits of the biggest sum of numbers | 11 |
| 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 3296 #constraints 6384 0.10/0.11 c bounds 219 >= 91 @ 0.058337 0.10/0.11 c rational objective 91 0.79/0.87 c bounds 194 >= 91 @ 0.37982 0.79/0.87 c #Conflicts: 1000 | #Constraints: 7389 0.79/0.87 c #Conflicts: 2000 | #Constraints: 8389 0.79/0.87 c INPROCESSING 0.79/0.87 c rational objective 91 1.99/2.01 c bounds 190 >= 91 @ 1.10089 1.99/2.01 c #Conflicts: 3000 | #Constraints: 8410 1.99/2.01 c #Conflicts: 4000 | #Constraints: 9410 1.99/2.01 c INPROCESSING 1.99/2.01 c GARBAGE COLLECT 1.99/2.01 c rational objective 91 2.99/3.10 c bounds 185 >= 91 @ 2.08963 2.99/3.10 c bounds 183 >= 91 @ 2.15289 2.99/3.10 c #Conflicts: 5000 | #Constraints: 8817 2.99/3.10 c bounds 179 >= 91 @ 2.50355 2.99/3.10 c #Conflicts: 6000 | #Constraints: 9818 2.99/3.10 c INPROCESSING 2.99/3.10 c GARBAGE COLLECT 2.99/3.10 c rational objective 91 4.28/4.33 c #Conflicts: 7000 | #Constraints: 8827 4.28/4.33 c bounds 178 >= 91 @ 3.42914 4.28/4.33 c #Conflicts: 8000 | #Constraints: 9828 4.28/4.33 c #Conflicts: 9000 | #Constraints: 10828 4.28/4.33 c INPROCESSING 4.28/4.33 c GARBAGE COLLECT 4.28/4.33 c rational objective 91 5.68/5.77 c bounds 177 >= 91 @ 4.35339 5.68/5.77 c #Conflicts: 10000 | #Constraints: 9538 5.68/5.77 c bounds 176 >= 91 @ 4.72711 5.68/5.77 c bounds 175 >= 91 @ 4.8032 5.68/5.77 c bounds 174 >= 91 @ 4.81636 5.68/5.77 c bounds 172 >= 91 @ 4.82944 5.68/5.77 c #Conflicts: 11000 | #Constraints: 10542 5.68/5.77 c #Conflicts: 12000 | #Constraints: 11543 5.68/5.77 c INPROCESSING 5.68/5.77 c GARBAGE COLLECT 5.68/5.77 c rational objective 91 8.67/8.75 c bounds 171 >= 91 @ 5.61364 8.67/8.75 c #Conflicts: 13000 | #Constraints: 9997 8.67/8.75 c #Conflicts: 14000 | #Constraints: 10999 8.67/8.75 c #Conflicts: 15000 | #Constraints: 12006 8.67/8.75 c INPROCESSING 8.67/8.75 c GARBAGE COLLECT 8.67/8.75 c #Conflicts: 16000 | #Constraints: 10230 8.67/8.75 c #Conflicts: 17000 | #Constraints: 11230 8.67/8.75 c #Conflicts: 18000 | #Constraints: 12232 8.67/8.75 c INPROCESSING 8.67/8.75 c GARBAGE COLLECT 8.67/8.75 c rational objective 91 10.77/10.81 c bounds 170 >= 91 @ 8.61771 10.77/10.81 c bounds 169 >= 91 @ 8.63508 10.77/10.81 c #Conflicts: 19000 | #Constraints: 10242 10.77/10.81 c #Conflicts: 20000 | #Constraints: 11245 10.77/10.81 c #Conflicts: 21000 | #Constraints: 12246 10.77/10.81 c INPROCESSING 10.77/10.81 c GARBAGE COLLECT 10.77/10.81 c rational objective 91 12.56/12.61 c #Conflicts: 22000 | #Constraints: 10066 12.56/12.61 c #Conflicts: 23000 | #Constraints: 11066 12.56/12.61 c #Conflicts: 24000 | #Constraints: 12066 12.56/12.61 c #Conflicts: 25000 | #Constraints: 13066 12.56/12.61 c INPROCESSING 12.56/12.61 c GARBAGE COLLECT 12.56/12.61 c rational objective 91 15.45/15.50 c #Conflicts: 26000 | #Constraints: 10664 15.45/15.50 c #Conflicts: 27000 | #Constraints: 11664 15.45/15.50 c #Conflicts: 28000 | #Constraints: 12677 15.45/15.50 c #Conflicts: 29000 | #Constraints: 13680 15.45/15.50 c INPROCESSING 15.45/15.50 c GARBAGE COLLECT 15.45/15.50 c rational objective 91 17.45/17.58 c #Conflicts: 30000 | #Constraints: 11074 17.45/17.58 c #Conflicts: 31000 | #Constraints: 12074 17.45/17.58 c #Conflicts: 32000 | #Constraints: 13074 17.45/17.58 c #Conflicts: 33000 | #Constraints: 14074 17.45/17.58 c INPROCESSING 17.45/17.58 c GARBAGE COLLECT 17.45/17.58 c rational objective 91 22.64/22.77 c #Conflicts: 34000 | #Constraints: 11271 22.64/22.77 c bounds 167 >= 91 @ 17.9215 22.64/22.77 c #Conflicts: 35000 | #Constraints: 12272 22.64/22.77 c #Conflicts: 36000 | #Constraints: 13272 22.64/22.77 c #Conflicts: 37000 | #Constraints: 14272 22.64/22.77 c INPROCESSING 22.64/22.77 c GARBAGE COLLECT 22.64/22.77 c #Conflicts: 38000 | #Constraints: 11265 22.64/22.77 c #Conflicts: 39000 | #Constraints: 12270 22.64/22.77 c bounds 166 >= 91 @ 20.6116 22.64/22.77 c #Conflicts: 40000 | #Constraints: 13276 22.64/22.77 c #Conflicts: 41000 | #Constraints: 14291 22.64/22.77 c INPROCESSING 22.64/22.77 c GARBAGE COLLECT 22.64/22.77 c rational objective 91 25.43/25.52 c #Conflicts: 42000 | #Constraints: 11122 25.43/25.52 c #Conflicts: 43000 | #Constraints: 12122 25.43/25.52 c #Conflicts: 44000 | #Constraints: 13122 25.43/25.52 c #Conflicts: 45000 | #Constraints: 14122 25.43/25.52 c #Conflicts: 46000 | #Constraints: 15122 25.43/25.52 c INPROCESSING 25.43/25.52 c GARBAGE COLLECT 25.43/25.52 c rational objective 91 27.93/28.04 c bounds 165 >= 91 @ 25.1503 27.93/28.04 c #Conflicts: 47000 | #Constraints: 11694 27.93/28.04 c #Conflicts: 48000 | #Constraints: 12694 27.93/28.04 c #Conflicts: 49000 | #Constraints: 13694 27.93/28.04 c #Conflicts: 50000 | #Constraints: 14694 27.93/28.04 c #Conflicts: 51000 | #Constraints: 15694 27.93/28.04 c INPROCESSING 27.93/28.04 c GARBAGE COLLECT 27.93/28.04 c rational objective 91 31.12/31.25 c #Conflicts: 52000 | #Constraints: 12089 31.12/31.25 c #Conflicts: 53000 | #Constraints: 13090 31.12/31.25 c #Conflicts: 54000 | #Constraints: 14092 31.12/31.25 c #Conflicts: 55000 | #Constraints: 15096 31.12/31.25 c #Conflicts: 56000 | #Constraints: 16096 31.12/31.25 c INPROCESSING 31.12/31.25 c GARBAGE COLLECT 31.12/31.25 c rational objective 91 34.61/34.77 c #Conflicts: 57000 | #Constraints: 12291 34.61/34.77 c #Conflicts: 58000 | #Constraints: 13291 34.61/34.77 c #Conflicts: 59000 | #Constraints: 14292 34.61/34.77 c #Conflicts: 60000 | #Constraints: 15292 34.61/34.77 c #Conflicts: 61000 | #Constraints: 16344 34.61/34.77 c INPROCESSING 34.61/34.77 c GARBAGE COLLECT 34.61/34.77 c rational objective 91 38.40/38.52 c #Conflicts: 62000 | #Constraints: 12320 38.40/38.52 c #Conflicts: 63000 | #Constraints: 13320 38.40/38.52 c #Conflicts: 64000 | #Constraints: 14321 38.40/38.52 c #Conflicts: 65000 | #Constraints: 15321 38.40/38.52 c #Conflicts: 66000 | #Constraints: 16322 38.40/38.52 c INPROCESSING 38.40/38.52 c GARBAGE COLLECT 38.40/38.52 c rational objective 91 41.90/42.01 c #Conflicts: 67000 | #Constraints: 12101 41.90/42.01 c #Conflicts: 68000 | #Constraints: 13101 41.90/42.01 c bounds 164 >= 91 @ 38.5908 41.90/42.01 c #Conflicts: 69000 | #Constraints: 14102 41.90/42.01 c bounds 163 >= 91 @ 39.4062 41.90/42.01 c #Conflicts: 70000 | #Constraints: 15103 41.90/42.01 c #Conflicts: 71000 | #Constraints: 16104 41.90/42.01 c #Conflicts: 72000 | #Constraints: 17106 41.90/42.01 c INPROCESSING 41.90/42.01 c GARBAGE COLLECT 41.90/42.01 c rational objective 91 46.28/46.42 c #Conflicts: 73000 | #Constraints: 12707 46.28/46.42 c #Conflicts: 74000 | #Constraints: 13707 46.28/46.42 c #Conflicts: 75000 | #Constraints: 14707 46.28/46.42 c #Conflicts: 76000 | #Constraints: 15710 46.28/46.42 c #Conflicts: 77000 | #Constraints: 16733 46.28/46.42 c #Conflicts: 78000 | #Constraints: 17796 46.28/46.42 c INPROCESSING 46.28/46.42 c GARBAGE COLLECT 46.28/46.42 c rational objective 91 50.57/50.75 c #Conflicts: 79000 | #Constraints: 13162 50.57/50.75 c #Conflicts: 80000 | #Constraints: 14163 50.57/50.75 c #Conflicts: 81000 | #Constraints: 15163 50.57/50.75 c #Conflicts: 82000 | #Constraints: 16163 50.57/50.75 c #Conflicts: 83000 | #Constraints: 17165 50.57/50.75 c #Conflicts: 84000 | #Constraints: 18167 50.57/50.75 c INPROCESSING 50.57/50.75 c GARBAGE COLLECT 50.57/50.75 c rational objective 91 55.36/55.56 c #Conflicts: 85000 | #Constraints: 13324 55.36/55.56 c #Conflicts: 86000 | #Constraints: 14342 55.36/55.56 c #Conflicts: 87000 | #Constraints: 15365 55.36/55.56 c #Conflicts: 88000 | #Constraints: 16365 55.36/55.56 c #Conflicts: 89000 | #Constraints: 17528 55.36/55.56 c #Conflicts: 90000 | #Constraints: 18837 55.36/55.56 c INPROCESSING 55.36/55.56 c GARBAGE COLLECT 55.36/55.56 WSVECS04 Frhs2[6]: 6 0 4.57145 shouldn't be 55.56/55.78 c rational objective 91 60.15/60.33 c #Conflicts: 91000 | #Constraints: 13577 60.15/60.33 c #Conflicts: 92000 | #Constraints: 14577 60.15/60.33 c #Conflicts: 93000 | #Constraints: 15577 60.15/60.33 c #Conflicts: 94000 | #Constraints: 16577 60.15/60.33 c #Conflicts: 95000 | #Constraints: 17577 60.15/60.33 c #Conflicts: 96000 | #Constraints: 18577 60.15/60.33 c INPROCESSING 60.15/60.33 c GARBAGE COLLECT 60.15/60.33 c rational objective 91 64.84/65.09 c #Conflicts: 97000 | #Constraints: 13217 64.84/65.09 c #Conflicts: 98000 | #Constraints: 14217 64.84/65.09 c #Conflicts: 99000 | #Constraints: 15217 64.84/65.09 c #Conflicts: 100000 | #Constraints: 16217 64.84/65.09 c #Conflicts: 101000 | #Constraints: 17234 64.84/65.09 c #Conflicts: 102000 | #Constraints: 18237 64.84/65.09 c #Conflicts: 103000 | #Constraints: 19237 64.84/65.09 c INPROCESSING 64.84/65.09 c GARBAGE COLLECT 64.84/65.09 c rational objective 91 70.42/70.65 c #Conflicts: 104000 | #Constraints: 13768 70.42/70.65 c #Conflicts: 105000 | #Constraints: 14768 70.42/70.65 c #Conflicts: 106000 | #Constraints: 15768 70.42/70.65 c #Conflicts: 107000 | #Constraints: 16768 70.42/70.65 c #Conflicts: 108000 | #Constraints: 17768 70.42/70.65 c #Conflicts: 109000 | #Constraints: 18771 70.42/70.65 c #Conflicts: 110000 | #Constraints: 19776 70.42/70.65 c INPROCESSING 70.42/70.65 c GARBAGE COLLECT 70.42/70.65 c rational objective 91 75.22/75.44 c #Conflicts: 111000 | #Constraints: 14132 75.22/75.44 c #Conflicts: 112000 | #Constraints: 15132 75.22/75.44 c #Conflicts: 113000 | #Constraints: 16132 75.22/75.44 c #Conflicts: 114000 | #Constraints: 17132 75.22/75.44 c #Conflicts: 115000 | #Constraints: 18132 75.22/75.44 c #Conflicts: 116000 | #Constraints: 19132 75.22/75.44 c #Conflicts: 117000 | #Constraints: 20132 75.22/75.44 c INPROCESSING 75.22/75.44 c GARBAGE COLLECT 75.22/75.44 c rational objective 91 80.90/81.19 c #Conflicts: 118000 | #Constraints: 14321 80.90/81.19 c #Conflicts: 119000 | #Constraints: 15321 80.90/81.19 c #Conflicts: 120000 | #Constraints: 16321 80.90/81.19 c #Conflicts: 121000 | #Constraints: 17321 80.90/81.19 c #Conflicts: 122000 | #Constraints: 18321 80.90/81.19 c #Conflicts: 123000 | #Constraints: 19321 80.90/81.19 c #Conflicts: 124000 | #Constraints: 20321 80.90/81.19 c INPROCESSING 80.90/81.19 c GARBAGE COLLECT 80.90/81.19 c rational objective 91 86.18/86.42 c #Conflicts: 125000 | #Constraints: 14306 86.18/86.42 c #Conflicts: 126000 | #Constraints: 15306 86.18/86.42 c #Conflicts: 127000 | #Constraints: 16306 86.18/86.42 c #Conflicts: 128000 | #Constraints: 17306 86.18/86.42 c #Conflicts: 129000 | #Constraints: 18306 86.18/86.42 c #Conflicts: 130000 | #Constraints: 19306 86.18/86.42 c #Conflicts: 131000 | #Constraints: 20306 86.18/86.42 c INPROCESSING 86.18/86.42 c GARBAGE COLLECT 86.18/86.42 c rational objective 91 92.36/92.68 c #Conflicts: 132000 | #Constraints: 14099 92.36/92.68 c #Conflicts: 133000 | #Constraints: 15099 92.36/92.68 c #Conflicts: 134000 | #Constraints: 16099 92.36/92.68 c #Conflicts: 135000 | #Constraints: 17100 92.36/92.68 c #Conflicts: 136000 | #Constraints: 18100 92.36/92.68 c #Conflicts: 137000 | #Constraints: 19100 92.36/92.68 c #Conflicts: 138000 | #Constraints: 20100 92.36/92.68 c #Conflicts: 139000 | #Constraints: 21100 92.36/92.68 c INPROCESSING 92.36/92.68 c GARBAGE COLLECT 92.36/92.68 c rational objective 91 98.55/98.84 c #Conflicts: 140000 | #Constraints: 14691 98.55/98.84 c #Conflicts: 141000 | #Constraints: 15691 98.55/98.84 c #Conflicts: 142000 | #Constraints: 16712 98.55/98.84 c #Conflicts: 143000 | #Constraints: 17726 98.55/98.84 c #Conflicts: 144000 | #Constraints: 18726 98.55/98.84 c #Conflicts: 145000 | #Constraints: 19731 98.55/98.84 c #Conflicts: 146000 | #Constraints: 20731 98.55/98.84 c #Conflicts: 147000 | #Constraints: 21732 98.55/98.84 c INPROCESSING 98.55/98.84 c GARBAGE COLLECT 98.55/98.84 c rational objective 91 105.34/105.61 c bounds 162 >= 91 @ 97.4214 105.34/105.61 c #Conflicts: 148000 | #Constraints: 15120 105.34/105.61 c #Conflicts: 149000 | #Constraints: 16120 105.34/105.61 c #Conflicts: 150000 | #Constraints: 17120 105.34/105.61 c #Conflicts: 151000 | #Constraints: 18120 105.34/105.61 c #Conflicts: 152000 | #Constraints: 19120 105.34/105.61 c #Conflicts: 153000 | #Constraints: 20120 105.34/105.61 c #Conflicts: 154000 | #Constraints: 21120 105.34/105.61 c #Conflicts: 155000 | #Constraints: 22120 105.34/105.61 c INPROCESSING 105.34/105.61 c GARBAGE COLLECT 105.34/105.61 c rational objective 91 121.10/121.46 c #Conflicts: 156000 | #Constraints: 15299 121.10/121.46 c #Conflicts: 157000 | #Constraints: 16299 121.10/121.46 c #Conflicts: 158000 | #Constraints: 17300 121.10/121.46 c #Conflicts: 159000 | #Constraints: 18300 121.10/121.46 c #Conflicts: 160000 | #Constraints: 19300 121.10/121.46 c #Conflicts: 161000 | #Constraints: 20300 121.10/121.46 c #Conflicts: 162000 | #Constraints: 21302 121.10/121.46 c #Conflicts: 163000 | #Constraints: 22313 121.10/121.46 c INPROCESSING 121.10/121.46 c GARBAGE COLLECT 121.10/121.46 c #Conflicts: 164000 | #Constraints: 15311 121.10/121.46 c #Conflicts: 165000 | #Constraints: 16312 121.10/121.46 c #Conflicts: 166000 | #Constraints: 17313 121.10/121.46 c #Conflicts: 167000 | #Constraints: 18313 121.10/121.46 c #Conflicts: 168000 | #Constraints: 19313 121.10/121.46 c #Conflicts: 169000 | #Constraints: 20313 121.10/121.46 c #Conflicts: 170000 | #Constraints: 21314 121.10/121.46 c #Conflicts: 171000 | #Constraints: 22316 121.10/121.46 c INPROCESSING 121.10/121.46 c GARBAGE COLLECT 121.10/121.46 c rational objective 91 130.18/130.53 c #Conflicts: 172000 | #Constraints: 15099 130.18/130.53 c #Conflicts: 173000 | #Constraints: 16099 130.18/130.53 c #Conflicts: 174000 | #Constraints: 17099 130.18/130.53 c #Conflicts: 175000 | #Constraints: 18099 130.18/130.53 c #Conflicts: 176000 | #Constraints: 19099 130.18/130.53 c #Conflicts: 177000 | #Constraints: 20100 130.18/130.53 c #Conflicts: 178000 | #Constraints: 21100 130.18/130.53 c #Conflicts: 179000 | #Constraints: 22107 130.18/130.53 c bounds 161 >= 91 @ 126.631 130.18/130.53 c #Conflicts: 180000 | #Constraints: 23108 130.18/130.53 c INPROCESSING 130.18/130.53 c GARBAGE COLLECT 130.18/130.53 c rational objective 91 138.26/138.63 c #Conflicts: 181000 | #Constraints: 15688 138.26/138.63 c #Conflicts: 182000 | #Constraints: 16688 138.26/138.63 c #Conflicts: 183000 | #Constraints: 17688 138.26/138.63 c #Conflicts: 184000 | #Constraints: 18688 138.26/138.63 c #Conflicts: 185000 | #Constraints: 19689 138.26/138.63 c #Conflicts: 186000 | #Constraints: 20690 138.26/138.63 c #Conflicts: 187000 | #Constraints: 21690 138.26/138.63 c #Conflicts: 188000 | #Constraints: 22690 138.26/138.63 c #Conflicts: 189000 | #Constraints: 23690 138.26/138.63 c INPROCESSING 138.26/138.63 c GARBAGE COLLECT 138.26/138.63 c rational objective 91 155.91/156.33 c #Conflicts: 190000 | #Constraints: 16085 155.91/156.33 c #Conflicts: 191000 | #Constraints: 17085 155.91/156.33 c #Conflicts: 192000 | #Constraints: 18085 155.91/156.33 c #Conflicts: 193000 | #Constraints: 19085 155.91/156.33 c #Conflicts: 194000 | #Constraints: 20085 155.91/156.33 c #Conflicts: 195000 | #Constraints: 21085 155.91/156.33 c #Conflicts: 196000 | #Constraints: 22085 155.91/156.33 c #Conflicts: 197000 | #Constraints: 23085 155.91/156.33 c #Conflicts: 198000 | #Constraints: 24085 155.91/156.33 c INPROCESSING 155.91/156.33 c GARBAGE COLLECT 155.91/156.33 c #Conflicts: 199000 | #Constraints: 16297 155.91/156.33 c #Conflicts: 200000 | #Constraints: 17300 155.91/156.33 c #Conflicts: 201000 | #Constraints: 18307 155.91/156.33 c #Conflicts: 202000 | #Constraints: 19307 155.91/156.33 c #Conflicts: 203000 | #Constraints: 20307 155.91/156.33 c #Conflicts: 204000 | #Constraints: 21307 155.91/156.33 c #Conflicts: 205000 | #Constraints: 22308 155.91/156.33 c #Conflicts: 206000 | #Constraints: 23308 155.91/156.33 c #Conflicts: 207000 | #Constraints: 24308 155.91/156.33 c INPROCESSING 155.91/156.33 c GARBAGE COLLECT 155.91/156.33 c rational objective 91 163.59/164.07 c #Conflicts: 208000 | #Constraints: 16295 163.59/164.07 c #Conflicts: 209000 | #Constraints: 17295 163.59/164.07 c #Conflicts: 210000 | #Constraints: 18295 163.59/164.07 c #Conflicts: 211000 | #Constraints: 19295 163.59/164.07 c #Conflicts: 212000 | #Constraints: 20295 163.59/164.07 c #Conflicts: 213000 | #Constraints: 21295 163.59/164.07 c #Conflicts: 214000 | #Constraints: 22295 163.59/164.07 c #Conflicts: 215000 | #Constraints: 23295 163.59/164.07 c #Conflicts: 216000 | #Constraints: 24295 163.59/164.07 c INPROCESSING 163.59/164.07 c GARBAGE COLLECT 163.59/164.07 c rational objective 91 173.46/173.96 c #Conflicts: 217000 | #Constraints: 16077 173.46/173.96 c #Conflicts: 218000 | #Constraints: 17077 173.46/173.96 c #Conflicts: 219000 | #Constraints: 18077 173.46/173.96 c #Conflicts: 220000 | #Constraints: 19077 173.46/173.96 c #Conflicts: 221000 | #Constraints: 20077 173.46/173.96 c #Conflicts: 222000 | #Constraints: 21077 173.46/173.96 c #Conflicts: 223000 | #Constraints: 22077 173.46/173.96 c #Conflicts: 224000 | #Constraints: 23077 173.46/173.96 c #Conflicts: 225000 | #Constraints: 24077 173.46/173.96 c #Conflicts: 226000 | #Constraints: 25077 173.46/173.96 c INPROCESSING 173.46/173.96 c GARBAGE COLLECT 173.46/173.96 c rational objective 91 181.34/181.81 c #Conflicts: 227000 | #Constraints: 16690 181.34/181.81 c #Conflicts: 228000 | #Constraints: 17690 181.34/181.81 c #Conflicts: 229000 | #Constraints: 18690 181.34/181.81 c #Conflicts: 230000 | #Constraints: 19690 181.34/181.81 c #Conflicts: 231000 | #Constraints: 20690 181.34/181.81 c #Conflicts: 232000 | #Constraints: 21690 181.34/181.81 c #Conflicts: 233000 | #Constraints: 22690 181.34/181.81 c #Conflicts: 234000 | #Constraints: 23690 181.34/181.81 WSVECS04 Frhs2[7]: 6 -64.0001 0 shouldn't be 182.54/183.04 c #Conflicts: 235000 | #Constraints: 24690 182.54/183.04 c #Conflicts: 236000 | #Constraints: 25690 182.54/183.04 c INPROCESSING 182.54/183.04 c GARBAGE COLLECT 182.54/183.04 c rational objective 91 191.71/192.20 c #Conflicts: 237000 | #Constraints: 17108 191.71/192.20 c #Conflicts: 238000 | #Constraints: 18108 191.71/192.20 c #Conflicts: 239000 | #Constraints: 19108 191.71/192.20 c #Conflicts: 240000 | #Constraints: 20108 191.71/192.20 c bounds 159 >= 91 @ 182.944 191.71/192.20 c #Conflicts: 241000 | #Constraints: 21109 191.71/192.20 c #Conflicts: 242000 | #Constraints: 22109 191.71/192.20 c #Conflicts: 243000 | #Constraints: 23109 191.71/192.20 c #Conflicts: 244000 | #Constraints: 24109 191.71/192.20 c #Conflicts: 245000 | #Constraints: 25109 191.71/192.20 c #Conflicts: 246000 | #Constraints: 26109 191.71/192.20 c INPROCESSING 191.71/192.20 c GARBAGE COLLECT 191.71/192.20 c rational objective 91 197.19/197.74 c #Conflicts: 247000 | #Constraints: 17296 197.19/197.74 c #Conflicts: 248000 | #Constraints: 18297 197.19/197.74 c #Conflicts: 249000 | #Constraints: 19303 197.19/197.74 c #Conflicts: 250000 | #Constraints: 20416 197.19/197.74 c #Conflicts: 251000 | #Constraints: 21416 197.19/197.74 c #Conflicts: 252000 | #Constraints: 22424 197.19/197.74 WSVECS04 Frhs2[47]: 6 0 1.46134 shouldn't be 197.19/197.74 WSVECS04 Frhs2[89]: 6 0 0.0339027 shouldn't be 197.19/197.74 WSVECS04 Frhs2[828]: 6 0 0.536278 shouldn't be 197.19/197.74 WSVECS04 Frhs2[3279]: 6 0 0.696095 shouldn't be 200.49/201.08 c #Conflicts: 253000 | #Constraints: 23455 200.49/201.08 c #Conflicts: 254000 | #Constraints: 24455 200.49/201.08 c #Conflicts: 255000 | #Constraints: 25455 200.49/201.08 c #Conflicts: 256000 | #Constraints: 26455 200.49/201.08 c INPROCESSING 200.49/201.08 c GARBAGE COLLECT 200.49/201.08 c rational objective 91 212.35/212.92 c #Conflicts: 257000 | #Constraints: 17388 212.35/212.92 c #Conflicts: 258000 | #Constraints: 18388 212.35/212.92 c #Conflicts: 259000 | #Constraints: 19388 212.35/212.92 c #Conflicts: 260000 | #Constraints: 20388 212.35/212.92 c #Conflicts: 261000 | #Constraints: 21388 212.35/212.92 c #Conflicts: 262000 | #Constraints: 22388 212.35/212.92 c #Conflicts: 263000 | #Constraints: 23388 212.35/212.92 c #Conflicts: 264000 | #Constraints: 24389 212.35/212.92 c #Conflicts: 265000 | #Constraints: 25390 212.35/212.92 c #Conflicts: 266000 | #Constraints: 26390 212.35/212.92 c INPROCESSING 212.35/212.92 c GARBAGE COLLECT 212.35/212.92 c rational objective 91 223.31/223.99 c #Conflicts: 267000 | #Constraints: 17131 223.31/223.99 c #Conflicts: 268000 | #Constraints: 18131 223.31/223.99 c #Conflicts: 269000 | #Constraints: 19131 223.31/223.99 c #Conflicts: 270000 | #Constraints: 20131 223.31/223.99 c #Conflicts: 271000 | #Constraints: 21134 223.31/223.99 c #Conflicts: 272000 | #Constraints: 22168 223.31/223.99 c #Conflicts: 273000 | #Constraints: 23199 223.31/223.99 c #Conflicts: 274000 | #Constraints: 24337 223.31/223.99 c #Conflicts: 275000 | #Constraints: 25533 223.31/223.99 c #Conflicts: 276000 | #Constraints: 26611 223.31/223.99 c #Conflicts: 277000 | #Constraints: 27697 223.31/223.99 c INPROCESSING 223.31/223.99 c GARBAGE COLLECT 223.31/223.99 WSVECS04 Frhs2[110]: 6 -32.0001 0 shouldn't be 223.41/224.04 c rational objective 91 235.77/236.45 c #Conflicts: 278000 | #Constraints: 18013 235.77/236.45 c #Conflicts: 279000 | #Constraints: 19013 235.77/236.45 c #Conflicts: 280000 | #Constraints: 20013 235.77/236.45 c #Conflicts: 281000 | #Constraints: 21013 235.77/236.45 c #Conflicts: 282000 | #Constraints: 22013 235.77/236.45 c #Conflicts: 283000 | #Constraints: 23013 235.77/236.45 c #Conflicts: 284000 | #Constraints: 24013 235.77/236.45 c #Conflicts: 285000 | #Constraints: 25013 235.77/236.45 c #Conflicts: 286000 | #Constraints: 26013 235.77/236.45 c #Conflicts: 287000 | #Constraints: 27013 235.77/236.45 c #Conflicts: 288000 | #Constraints: 28013 235.77/236.45 c INPROCESSING 235.77/236.45 c GARBAGE COLLECT 235.77/236.45 c rational objective 91 245.95/246.67 c #Conflicts: 289000 | #Constraints: 18255 245.95/246.67 c #Conflicts: 290000 | #Constraints: 19255 245.95/246.67 c #Conflicts: 291000 | #Constraints: 20255 245.95/246.67 c #Conflicts: 292000 | #Constraints: 21255 245.95/246.67 c #Conflicts: 293000 | #Constraints: 22255 245.95/246.67 c #Conflicts: 294000 | #Constraints: 23255 245.95/246.67 c #Conflicts: 295000 | #Constraints: 24255 245.95/246.67 c #Conflicts: 296000 | #Constraints: 25256 245.95/246.67 c #Conflicts: 297000 | #Constraints: 26258 245.95/246.67 c #Conflicts: 298000 | #Constraints: 27258 245.95/246.67 c #Conflicts: 299000 | #Constraints: 28258 245.95/246.67 c INPROCESSING 245.95/246.67 c GARBAGE COLLECT 245.95/246.67 c rational objective 91 258.21/258.98 c #Conflicts: 300000 | #Constraints: 18432 258.21/258.98 c #Conflicts: 301000 | #Constraints: 19432 258.21/258.98 c #Conflicts: 302000 | #Constraints: 20432 258.21/258.98 c #Conflicts: 303000 | #Constraints: 21432 258.21/258.98 c #Conflicts: 304000 | #Constraints: 22432 258.21/258.98 c #Conflicts: 305000 | #Constraints: 23432 258.21/258.98 c #Conflicts: 306000 | #Constraints: 24432 258.21/258.98 c #Conflicts: 307000 | #Constraints: 25432 258.21/258.98 c #Conflicts: 308000 | #Constraints: 26432 258.21/258.98 c #Conflicts: 309000 | #Constraints: 27432 258.21/258.98 c #Conflicts: 310000 | #Constraints: 28432 258.21/258.98 c INPROCESSING 258.21/258.98 c GARBAGE COLLECT 258.21/258.98 c rational objective 91 268.29/269.05 c #Conflicts: 311000 | #Constraints: 18377 268.29/269.05 c bounds 158 >= 91 @ 255.189 268.29/269.05 c #Conflicts: 312000 | #Constraints: 19378 268.29/269.05 c bounds 157 >= 91 @ 255.95 268.29/269.05 c #Conflicts: 313000 | #Constraints: 20379 268.29/269.05 c #Conflicts: 314000 | #Constraints: 21390 268.29/269.05 c #Conflicts: 315000 | #Constraints: 22401 268.29/269.05 c #Conflicts: 316000 | #Constraints: 23414 268.29/269.05 c #Conflicts: 317000 | #Constraints: 24425 268.29/269.05 c #Conflicts: 318000 | #Constraints: 25425 268.29/269.05 c #Conflicts: 319000 | #Constraints: 26425 268.29/269.05 c #Conflicts: 320000 | #Constraints: 27428 268.29/269.05 c #Conflicts: 321000 | #Constraints: 28428 268.29/269.05 c INPROCESSING 268.29/269.05 c GARBAGE COLLECT 268.29/269.05 c rational objective 91 309.86/310.71 c #Conflicts: 322000 | #Constraints: 18170 309.86/310.71 c #Conflicts: 323000 | #Constraints: 19170 309.86/310.71 c #Conflicts: 324000 | #Constraints: 20170 309.86/310.71 c #Conflicts: 325000 | #Constraints: 21170 309.86/310.71 c #Conflicts: 326000 | #Constraints: 22211 309.86/310.71 c #Conflicts: 327000 | #Constraints: 23427 309.86/310.71 c #Conflicts: 328000 | #Constraints: 25223 309.86/310.71 c #Conflicts: 329000 | #Constraints: 27077 309.86/310.71 c #Conflicts: 330000 | #Constraints: 28909 309.86/310.71 c #Conflicts: 331000 | #Constraints: 30750 309.86/310.71 c #Conflicts: 332000 | #Constraints: 32606 309.86/310.71 c #Conflicts: 333000 | #Constraints: 34398 309.86/310.71 c INPROCESSING 309.86/310.71 c GARBAGE COLLECT 309.86/310.71 c rational objective 91 326.11/327.09 c #Conflicts: 334000 | #Constraints: 21396 326.11/327.09 c #Conflicts: 335000 | #Constraints: 22396 326.11/327.09 c #Conflicts: 336000 | #Constraints: 23396 326.11/327.09 c #Conflicts: 337000 | #Constraints: 24396 326.11/327.09 c #Conflicts: 338000 | #Constraints: 25396 326.11/327.09 c #Conflicts: 339000 | #Constraints: 26396 326.11/327.09 c #Conflicts: 340000 | #Constraints: 27396 326.11/327.09 c #Conflicts: 341000 | #Constraints: 28396 326.11/327.09 c #Conflicts: 342000 | #Constraints: 29396 326.11/327.09 c #Conflicts: 343000 | #Constraints: 30396 326.11/327.09 c #Conflicts: 344000 | #Constraints: 31396 326.11/327.09 c #Conflicts: 345000 | #Constraints: 32396 326.11/327.09 c INPROCESSING 326.11/327.09 c GARBAGE COLLECT 326.11/327.09 c rational objective 91 342.25/343.26 c #Conflicts: 346000 | #Constraints: 20461 342.25/343.26 c #Conflicts: 347000 | #Constraints: 21461 342.25/343.26 c #Conflicts: 348000 | #Constraints: 22461 342.25/343.26 c #Conflicts: 349000 | #Constraints: 23461 342.25/343.26 c #Conflicts: 350000 | #Constraints: 24461 342.25/343.26 c #Conflicts: 351000 | #Constraints: 25461 342.25/343.26 c #Conflicts: 352000 | #Constraints: 26461 342.25/343.26 c #Conflicts: 353000 | #Constraints: 27461 342.25/343.26 c #Conflicts: 354000 | #Constraints: 28461 342.25/343.26 c #Conflicts: 355000 | #Constraints: 29461 342.25/343.26 c #Conflicts: 356000 | #Constraints: 30461 342.25/343.26 c #Conflicts: 357000 | #Constraints: 31461 342.25/343.26 c INPROCESSING 342.25/343.26 c GARBAGE COLLECT 342.25/343.26 c rational objective 91 355.02/356.01 c #Conflicts: 358000 | #Constraints: 19967 355.02/356.01 c #Conflicts: 359000 | #Constraints: 20967 355.02/356.01 c #Conflicts: 360000 | #Constraints: 21967 355.02/356.01 c #Conflicts: 361000 | #Constraints: 22967 355.02/356.01 c #Conflicts: 362000 | #Constraints: 23967 355.02/356.01 c #Conflicts: 363000 | #Constraints: 24967 355.02/356.01 c #Conflicts: 364000 | #Constraints: 25967 355.02/356.01 c #Conflicts: 365000 | #Constraints: 26967 355.02/356.01 c #Conflicts: 366000 | #Constraints: 27967 355.02/356.01 c #Conflicts: 367000 | #Constraints: 28969 355.02/356.01 c #Conflicts: 368000 | #Constraints: 29969 355.02/356.01 c #Conflicts: 369000 | #Constraints: 30969 355.02/356.01 c INPROCESSING 355.02/356.01 c GARBAGE COLLECT 355.02/356.01 c rational objective 91 370.37/371.49 c #Conflicts: 370000 | #Constraints: 19658 370.37/371.49 c #Conflicts: 371000 | #Constraints: 20658 370.37/371.49 c #Conflicts: 372000 | #Constraints: 21658 370.37/371.49 c #Conflicts: 373000 | #Constraints: 22659 370.37/371.49 c #Conflicts: 374000 | #Constraints: 23663 370.37/371.49 c #Conflicts: 375000 | #Constraints: 24663 370.37/371.49 c #Conflicts: 376000 | #Constraints: 25664 370.37/371.49 c #Conflicts: 377000 | #Constraints: 26664 370.37/371.49 c #Conflicts: 378000 | #Constraints: 27664 370.37/371.49 c #Conflicts: 379000 | #Constraints: 28664 370.37/371.49 c #Conflicts: 380000 | #Constraints: 29664 370.37/371.49 c #Conflicts: 381000 | #Constraints: 30664 370.37/371.49 c INPROCESSING 370.37/371.49 c GARBAGE COLLECT 370.37/371.49 c rational objective 91 385.73/386.84 c #Conflicts: 382000 | #Constraints: 19288 385.73/386.84 c #Conflicts: 383000 | #Constraints: 20288 385.73/386.84 c #Conflicts: 384000 | #Constraints: 21289 385.73/386.84 c #Conflicts: 385000 | #Constraints: 22289 385.73/386.84 c #Conflicts: 386000 | #Constraints: 23300 385.73/386.84 c #Conflicts: 387000 | #Constraints: 24396 385.73/386.84 c #Conflicts: 388000 | #Constraints: 25408 385.73/386.84 c #Conflicts: 389000 | #Constraints: 26408 385.73/386.84 c #Conflicts: 390000 | #Constraints: 27408 385.73/386.84 c #Conflicts: 391000 | #Constraints: 28414 385.73/386.84 c #Conflicts: 392000 | #Constraints: 29423 385.73/386.84 c #Conflicts: 393000 | #Constraints: 30426 385.73/386.84 c #Conflicts: 394000 | #Constraints: 31426 385.73/386.84 c INPROCESSING 385.73/386.84 c GARBAGE COLLECT 385.73/386.84 c rational objective 91 401.08/402.25 c #Conflicts: 395000 | #Constraints: 19878 401.08/402.25 c #Conflicts: 396000 | #Constraints: 20878 401.08/402.25 c #Conflicts: 397000 | #Constraints: 21878 401.08/402.25 c #Conflicts: 398000 | #Constraints: 22878 401.08/402.25 c #Conflicts: 399000 | #Constraints: 23878 401.08/402.25 c #Conflicts: 400000 | #Constraints: 24878 401.08/402.25 c #Conflicts: 401000 | #Constraints: 25879 401.08/402.25 c #Conflicts: 402000 | #Constraints: 26880 401.08/402.25 c #Conflicts: 403000 | #Constraints: 27880 401.08/402.25 c #Conflicts: 404000 | #Constraints: 28880 401.08/402.25 c #Conflicts: 405000 | #Constraints: 29880 401.08/402.25 c #Conflicts: 406000 | #Constraints: 30887 401.08/402.25 c #Conflicts: 407000 | #Constraints: 31888 401.08/402.25 c INPROCESSING 401.08/402.25 c GARBAGE COLLECT 401.08/402.25 c rational objective 91 411.24/412.49 c #Conflicts: 408000 | #Constraints: 20225 411.24/412.49 c #Conflicts: 409000 | #Constraints: 21225 411.24/412.49 c #Conflicts: 410000 | #Constraints: 22225 411.24/412.49 c #Conflicts: 411000 | #Constraints: 23225 411.24/412.49 c #Conflicts: 412000 | #Constraints: 24225 411.24/412.49 c #Conflicts: 413000 | #Constraints: 25300 411.24/412.49 c #Conflicts: 414000 | #Constraints: 26306 411.24/412.49 c #Conflicts: 415000 | #Constraints: 27306 411.24/412.49 c #Conflicts: 416000 | #Constraints: 28306 411.24/412.49 WSVECS04 Frhs2[7]: 6 -64 0 shouldn't be 415.94/417.16 c #Conflicts: 417000 | #Constraints: 29307 415.94/417.16 c #Conflicts: 418000 | #Constraints: 30307 415.94/417.16 c #Conflicts: 419000 | #Constraints: 31307 415.94/417.16 c #Conflicts: 420000 | #Constraints: 32307 415.94/417.16 c INPROCESSING 415.94/417.16 c GARBAGE COLLECT 415.94/417.16 c rational objective 91 433.27/434.54 c #Conflicts: 421000 | #Constraints: 20436 433.27/434.54 c #Conflicts: 422000 | #Constraints: 21436 433.27/434.54 c #Conflicts: 423000 | #Constraints: 22436 433.27/434.54 c #Conflicts: 424000 | #Constraints: 23436 433.27/434.54 c #Conflicts: 425000 | #Constraints: 24436 433.27/434.54 c #Conflicts: 426000 | #Constraints: 25436 433.27/434.54 c #Conflicts: 427000 | #Constraints: 26436 433.27/434.54 c #Conflicts: 428000 | #Constraints: 27437 433.27/434.54 c #Conflicts: 429000 | #Constraints: 28437 433.27/434.54 c #Conflicts: 430000 | #Constraints: 29437 433.27/434.54 c #Conflicts: 431000 | #Constraints: 30437 433.27/434.54 c #Conflicts: 432000 | #Constraints: 31437 433.27/434.54 c #Conflicts: 433000 | #Constraints: 32437 433.27/434.54 c INPROCESSING 433.27/434.54 c GARBAGE COLLECT 433.27/434.54 c rational objective 91 448.63/449.92 c #Conflicts: 434000 | #Constraints: 20376 448.63/449.92 c #Conflicts: 435000 | #Constraints: 21376 448.63/449.92 c #Conflicts: 436000 | #Constraints: 22376 448.63/449.92 c #Conflicts: 437000 | #Constraints: 23376 448.63/449.92 c bounds 156 >= 91 @ 431.882 448.63/449.92 c #Conflicts: 438000 | #Constraints: 24377 448.63/449.92 c #Conflicts: 439000 | #Constraints: 25377 448.63/449.92 c #Conflicts: 440000 | #Constraints: 26377 448.63/449.92 c #Conflicts: 441000 | #Constraints: 27377 448.63/449.92 c #Conflicts: 442000 | #Constraints: 28377 448.63/449.92 c #Conflicts: 443000 | #Constraints: 29377 448.63/449.92 c #Conflicts: 444000 | #Constraints: 30377 448.63/449.92 c #Conflicts: 445000 | #Constraints: 31377 448.63/449.92 c #Conflicts: 446000 | #Constraints: 32377 448.63/449.92 c INPROCESSING 448.63/449.92 c GARBAGE COLLECT 448.63/449.92 c rational objective 91 466.38/467.78 c #Conflicts: 447000 | #Constraints: 20174 466.38/467.78 c #Conflicts: 448000 | #Constraints: 21174 466.38/467.78 c #Conflicts: 449000 | #Constraints: 22174 466.38/467.78 c #Conflicts: 450000 | #Constraints: 23174 466.38/467.78 c #Conflicts: 451000 | #Constraints: 24174 466.38/467.78 c #Conflicts: 452000 | #Constraints: 25174 466.38/467.78 c #Conflicts: 453000 | #Constraints: 26174 466.38/467.78 c #Conflicts: 454000 | #Constraints: 27174 466.38/467.78 c #Conflicts: 455000 | #Constraints: 28174 466.38/467.78 c #Conflicts: 456000 | #Constraints: 29174 466.38/467.78 c #Conflicts: 457000 | #Constraints: 30174 466.38/467.78 c #Conflicts: 458000 | #Constraints: 31186 466.38/467.78 c #Conflicts: 459000 | #Constraints: 32186 466.38/467.78 c #Conflicts: 460000 | #Constraints: 33186 466.38/467.78 c INPROCESSING 466.38/467.78 c GARBAGE COLLECT 466.38/467.78 c rational objective 91 485.82/487.22 c #Conflicts: 461000 | #Constraints: 20766 485.82/487.22 c #Conflicts: 462000 | #Constraints: 21766 485.82/487.22 c #Conflicts: 463000 | #Constraints: 22766 485.82/487.22 c #Conflicts: 464000 | #Constraints: 23766 485.82/487.22 c #Conflicts: 465000 | #Constraints: 24768 485.82/487.22 c #Conflicts: 466000 | #Constraints: 25770 485.82/487.22 c #Conflicts: 467000 | #Constraints: 26770 485.82/487.22 c #Conflicts: 468000 | #Constraints: 27771 485.82/487.22 c #Conflicts: 469000 | #Constraints: 28780 485.82/487.22 c #Conflicts: 470000 | #Constraints: 29783 485.82/487.22 c #Conflicts: 471000 | #Constraints: 30783 485.82/487.22 c #Conflicts: 472000 | #Constraints: 31783 485.82/487.22 c #Conflicts: 473000 | #Constraints: 32783 485.82/487.22 c #Conflicts: 474000 | #Constraints: 33783 485.82/487.22 c INPROCESSING 485.82/487.22 c GARBAGE COLLECT 485.82/487.22 c rational objective 91 500.97/502.40 c #Conflicts: 475000 | #Constraints: 21147 500.97/502.40 c #Conflicts: 476000 | #Constraints: 22147 500.97/502.40 c #Conflicts: 477000 | #Constraints: 23147 500.97/502.40 c #Conflicts: 478000 | #Constraints: 24147 500.97/502.40 c #Conflicts: 479000 | #Constraints: 25147 500.97/502.40 c #Conflicts: 480000 | #Constraints: 26147 500.97/502.40 c #Conflicts: 481000 | #Constraints: 27147 500.97/502.40 c #Conflicts: 482000 | #Constraints: 28147 500.97/502.40 c #Conflicts: 483000 | #Constraints: 29147 500.97/502.40 c #Conflicts: 484000 | #Constraints: 30147 500.97/502.40 c #Conflicts: 485000 | #Constraints: 31147 500.97/502.40 c #Conflicts: 486000 | #Constraints: 32147 500.97/502.40 c #Conflicts: 487000 | #Constraints: 33147 500.97/502.40 c #Conflicts: 488000 | #Constraints: 34147 500.97/502.40 c INPROCESSING 500.97/502.40 c GARBAGE COLLECT 500.97/502.40 c rational objective 91 522.81/524.37 c #Conflicts: 489000 | #Constraints: 21365 522.81/524.37 c #Conflicts: 490000 | #Constraints: 22366 522.81/524.37 c #Conflicts: 491000 | #Constraints: 23366 522.81/524.37 c #Conflicts: 492000 | #Constraints: 24366 522.81/524.37 c #Conflicts: 493000 | #Constraints: 25368 522.81/524.37 c #Conflicts: 494000 | #Constraints: 26368 522.81/524.37 c #Conflicts: 495000 | #Constraints: 27368 522.81/524.37 c #Conflicts: 496000 | #Constraints: 28368 522.81/524.37 c #Conflicts: 497000 | #Constraints: 29368 522.81/524.37 c #Conflicts: 498000 | #Constraints: 30368 522.81/524.37 c #Conflicts: 499000 | #Constraints: 31368 522.81/524.37 c #Conflicts: 500000 | #Constraints: 32368 522.81/524.37 c #Conflicts: 501000 | #Constraints: 33368 522.81/524.37 c #Conflicts: 502000 | #Constraints: 34371 522.81/524.37 c INPROCESSING 522.81/524.37 c GARBAGE COLLECT 522.81/524.37 c rational objective 91 570.66/572.33 c #Conflicts: 503000 | #Constraints: 21332 570.66/572.33 c #Conflicts: 504000 | #Constraints: 22332 570.66/572.33 c #Conflicts: 505000 | #Constraints: 23332 570.66/572.33 c #Conflicts: 506000 | #Constraints: 24334 570.66/572.33 c #Conflicts: 507000 | #Constraints: 25334 570.66/572.33 c #Conflicts: 508000 | #Constraints: 26334 570.66/572.33 c #Conflicts: 509000 | #Constraints: 27338 570.66/572.33 c #Conflicts: 510000 | #Constraints: 28339 570.66/572.33 c #Conflicts: 511000 | #Constraints: 29339 570.66/572.33 c #Conflicts: 512000 | #Constraints: 30353 570.66/572.33 c #Conflicts: 513000 | #Constraints: 31355 570.66/572.33 c #Conflicts: 514000 | #Constraints: 32360 570.66/572.33 c #Conflicts: 515000 | #Constraints: 33360 570.66/572.33 c #Conflicts: 516000 | #Constraints: 34360 570.66/572.33 c INPROCESSING 570.66/572.33 c GARBAGE COLLECT 570.66/572.33 c #Conflicts: 517000 | #Constraints: 21167 570.66/572.33 c #Conflicts: 518000 | #Constraints: 22167 570.66/572.33 c #Conflicts: 519000 | #Constraints: 23167 570.66/572.33 c #Conflicts: 520000 | #Constraints: 24167 570.66/572.33 c #Conflicts: 521000 | #Constraints: 25167 570.66/572.33 c #Conflicts: 522000 | #Constraints: 26169 570.66/572.33 c #Conflicts: 523000 | #Constraints: 27171 570.66/572.33 c #Conflicts: 524000 | #Constraints: 28172 570.66/572.33 c #Conflicts: 525000 | #Constraints: 29173 570.66/572.33 c #Conflicts: 526000 | #Constraints: 30173 570.66/572.33 c #Conflicts: 527000 | #Constraints: 31176 570.66/572.33 c #Conflicts: 528000 | #Constraints: 32180 570.66/572.33 c #Conflicts: 529000 | #Constraints: 33180 570.66/572.33 c #Conflicts: 530000 | #Constraints: 34180 570.66/572.33 c #Conflicts: 531000 | #Constraints: 35180 570.66/572.33 c INPROCESSING 570.66/572.33 c GARBAGE COLLECT 570.66/572.33 c rational objective 91 604.86/606.62 c #Conflicts: 532000 | #Constraints: 21736 604.86/606.62 c #Conflicts: 533000 | #Constraints: 22737 604.86/606.62 c #Conflicts: 534000 | #Constraints: 23737 604.86/606.62 c #Conflicts: 535000 | #Constraints: 24737 604.86/606.62 c #Conflicts: 536000 | #Constraints: 25737 604.86/606.62 c #Conflicts: 537000 | #Constraints: 26738 604.86/606.62 c #Conflicts: 538000 | #Constraints: 27744 604.86/606.62 c #Conflicts: 539000 | #Constraints: 28744 604.86/606.62 c #Conflicts: 540000 | #Constraints: 29744 604.86/606.62 c #Conflicts: 541000 | #Constraints: 30746 604.86/606.62 c #Conflicts: 542000 | #Constraints: 31750 604.86/606.62 c #Conflicts: 543000 | #Constraints: 32750 604.86/606.62 c #Conflicts: 544000 | #Constraints: 33752 604.86/606.62 c #Conflicts: 545000 | #Constraints: 34802 604.86/606.62 c #Conflicts: 546000 | #Constraints: 36037 604.86/606.62 c INPROCESSING 604.86/606.62 c GARBAGE COLLECT 604.86/606.62 c rational objective 91 627.60/629.48 c #Conflicts: 547000 | #Constraints: 22296 627.60/629.48 c #Conflicts: 548000 | #Constraints: 23296 627.60/629.48 c #Conflicts: 549000 | #Constraints: 24296 627.60/629.48 c #Conflicts: 550000 | #Constraints: 25296 627.60/629.48 c #Conflicts: 551000 | #Constraints: 26296 627.60/629.48 c #Conflicts: 552000 | #Constraints: 27296 627.60/629.48 c #Conflicts: 553000 | #Constraints: 28296 627.60/629.48 c #Conflicts: 554000 | #Constraints: 29296 627.60/629.48 c #Conflicts: 555000 | #Constraints: 30296 627.60/629.48 c #Conflicts: 556000 | #Constraints: 31298 627.60/629.48 c #Conflicts: 557000 | #Constraints: 32298 627.60/629.48 c #Conflicts: 558000 | #Constraints: 33298 627.60/629.48 c #Conflicts: 559000 | #Constraints: 34298 627.60/629.48 c #Conflicts: 560000 | #Constraints: 35298 627.60/629.48 c #Conflicts: 561000 | #Constraints: 36298 627.60/629.48 c INPROCESSING 627.60/629.48 c GARBAGE COLLECT 627.60/629.48 c rational objective 91 651.23/653.18 c #Conflicts: 562000 | #Constraints: 22400 651.23/653.18 c #Conflicts: 563000 | #Constraints: 23400 651.23/653.18 c #Conflicts: 564000 | #Constraints: 24400 651.23/653.18 c #Conflicts: 565000 | #Constraints: 25400 651.23/653.18 c #Conflicts: 566000 | #Constraints: 26401 651.23/653.18 c #Conflicts: 567000 | #Constraints: 27401 651.23/653.18 c #Conflicts: 568000 | #Constraints: 28404 651.23/653.18 c #Conflicts: 569000 | #Constraints: 29404 651.23/653.18 c #Conflicts: 570000 | #Constraints: 30404 651.23/653.18 c #Conflicts: 571000 | #Constraints: 31404 651.23/653.18 c #Conflicts: 572000 | #Constraints: 32404 651.23/653.18 c #Conflicts: 573000 | #Constraints: 33404 651.23/653.18 c #Conflicts: 574000 | #Constraints: 34404 651.23/653.18 c #Conflicts: 575000 | #Constraints: 35404 651.23/653.18 c #Conflicts: 576000 | #Constraints: 36404 651.23/653.18 c INPROCESSING 651.23/653.18 c GARBAGE COLLECT 651.23/653.18 c rational objective 91 694.39/696.41 c #Conflicts: 577000 | #Constraints: 22380 694.39/696.41 c #Conflicts: 578000 | #Constraints: 23382 694.39/696.41 c #Conflicts: 579000 | #Constraints: 24382 694.39/696.41 c #Conflicts: 580000 | #Constraints: 25382 694.39/696.41 c #Conflicts: 581000 | #Constraints: 26383 694.39/696.41 c #Conflicts: 582000 | #Constraints: 27385 694.39/696.41 c #Conflicts: 583000 | #Constraints: 28409 694.39/696.41 c #Conflicts: 584000 | #Constraints: 29410 694.39/696.41 c #Conflicts: 585000 | #Constraints: 30416 694.39/696.41 c #Conflicts: 586000 | #Constraints: 31416 694.39/696.41 c #Conflicts: 587000 | #Constraints: 32424 694.39/696.41 c #Conflicts: 588000 | #Constraints: 33502 694.39/696.41 c #Conflicts: 589000 | #Constraints: 34533 694.39/696.41 c #Conflicts: 590000 | #Constraints: 35534 694.39/696.41 c #Conflicts: 591000 | #Constraints: 36556 694.39/696.41 c INPROCESSING 694.39/696.41 c GARBAGE COLLECT 694.39/696.41 c rational objective 91 718.62/720.72 c #Conflicts: 592000 | #Constraints: 22267 718.62/720.72 c #Conflicts: 593000 | #Constraints: 23267 718.62/720.72 c #Conflicts: 594000 | #Constraints: 24268 718.62/720.72 c #Conflicts: 595000 | #Constraints: 25268 718.62/720.72 c #Conflicts: 596000 | #Constraints: 26269 718.62/720.72 c #Conflicts: 597000 | #Constraints: 27273 718.62/720.72 c #Conflicts: 598000 | #Constraints: 28273 718.62/720.72 c #Conflicts: 599000 | #Constraints: 29274 718.62/720.72 c #Conflicts: 600000 | #Constraints: 30280 718.62/720.72 c #Conflicts: 601000 | #Constraints: 31280 718.62/720.72 c #Conflicts: 602000 | #Constraints: 32281 718.62/720.72 c #Conflicts: 603000 | #Constraints: 33284 718.62/720.72 c #Conflicts: 604000 | #Constraints: 34284 718.62/720.72 c #Conflicts: 605000 | #Constraints: 35285 718.62/720.72 c #Conflicts: 606000 | #Constraints: 36285 718.62/720.72 c #Conflicts: 607000 | #Constraints: 37288 718.62/720.72 c INPROCESSING 718.62/720.72 c GARBAGE COLLECT 718.62/720.72 c rational objective 91 749.23/751.43 c #Conflicts: 608000 | #Constraints: 22798 749.23/751.43 c #Conflicts: 609000 | #Constraints: 23798 749.23/751.43 c #Conflicts: 610000 | #Constraints: 24798 749.23/751.43 c #Conflicts: 611000 | #Constraints: 25798 749.23/751.43 c #Conflicts: 612000 | #Constraints: 26798 749.23/751.43 c #Conflicts: 613000 | #Constraints: 27798 749.23/751.43 c #Conflicts: 614000 | #Constraints: 28799 749.23/751.43 c #Conflicts: 615000 | #Constraints: 29799 749.23/751.43 c #Conflicts: 616000 | #Constraints: 30799 749.23/751.43 c #Conflicts: 617000 | #Constraints: 31799 749.23/751.43 c #Conflicts: 618000 | #Constraints: 32799 749.23/751.43 WSVECS04 Frhs2[7]: 6 -64.0001 0 shouldn't be 767.48/769.78 c #Conflicts: 619000 | #Constraints: 33800 767.48/769.78 c #Conflicts: 620000 | #Constraints: 34800 767.48/769.78 c #Conflicts: 621000 | #Constraints: 35800 767.48/769.78 c #Conflicts: 622000 | #Constraints: 36800 767.48/769.78 c #Conflicts: 623000 | #Constraints: 37800 767.48/769.78 c INPROCESSING 767.48/769.78 c GARBAGE COLLECT 767.48/769.78 c rational objective 91 795.19/797.59 c #Conflicts: 624000 | #Constraints: 23219 795.19/797.59 c #Conflicts: 625000 | #Constraints: 24220 795.19/797.59 c #Conflicts: 626000 | #Constraints: 25220 795.19/797.59 c #Conflicts: 627000 | #Constraints: 26220 795.19/797.59 c #Conflicts: 628000 | #Constraints: 27220 795.19/797.59 c #Conflicts: 629000 | #Constraints: 28220 795.19/797.59 c #Conflicts: 630000 | #Constraints: 29220 795.19/797.59 c #Conflicts: 631000 | #Constraints: 30221 795.19/797.59 c #Conflicts: 632000 | #Constraints: 31221 795.19/797.59 c #Conflicts: 633000 | #Constraints: 32223 795.19/797.59 c #Conflicts: 634000 | #Constraints: 33225 795.19/797.59 c #Conflicts: 635000 | #Constraints: 34226 795.19/797.59 c #Conflicts: 636000 | #Constraints: 35226 795.19/797.59 c #Conflicts: 637000 | #Constraints: 36226 795.19/797.59 c #Conflicts: 638000 | #Constraints: 37227 795.19/797.59 c #Conflicts: 639000 | #Constraints: 38228 795.19/797.59 c INPROCESSING 795.19/797.59 c GARBAGE COLLECT 795.19/797.59 c rational objective 91 824.50/826.92 c #Conflicts: 640000 | #Constraints: 23367 824.50/826.92 c #Conflicts: 641000 | #Constraints: 24367 824.50/826.92 c #Conflicts: 642000 | #Constraints: 25367 824.50/826.92 c #Conflicts: 643000 | #Constraints: 26367 824.50/826.92 c #Conflicts: 644000 | #Constraints: 27370 824.50/826.92 c #Conflicts: 645000 | #Constraints: 28372 824.50/826.92 c #Conflicts: 646000 | #Constraints: 29374 824.50/826.92 c #Conflicts: 647000 | #Constraints: 30375 824.50/826.92 c #Conflicts: 648000 | #Constraints: 31375 824.50/826.92 c #Conflicts: 649000 | #Constraints: 32376 824.50/826.92 c #Conflicts: 650000 | #Constraints: 33376 824.50/826.92 c #Conflicts: 651000 | #Constraints: 34376 824.50/826.92 c #Conflicts: 652000 | #Constraints: 35376 824.50/826.92 c #Conflicts: 653000 | #Constraints: 36376 824.50/826.92 c #Conflicts: 654000 | #Constraints: 37378 824.50/826.92 c #Conflicts: 655000 | #Constraints: 38378 824.50/826.92 c INPROCESSING 824.50/826.92 c GARBAGE COLLECT 824.50/826.92 c rational objective 91 867.86/870.44 c #Conflicts: 656000 | #Constraints: 23336 867.86/870.44 c #Conflicts: 657000 | #Constraints: 24336 867.86/870.44 c #Conflicts: 658000 | #Constraints: 25336 867.86/870.44 c #Conflicts: 659000 | #Constraints: 26336 867.86/870.44 c #Conflicts: 660000 | #Constraints: 27336 867.86/870.44 c #Conflicts: 661000 | #Constraints: 28336 867.86/870.44 c #Conflicts: 662000 | #Constraints: 29337 867.86/870.44 c #Conflicts: 663000 | #Constraints: 30348 867.86/870.44 c #Conflicts: 664000 | #Constraints: 31348 867.86/870.44 c #Conflicts: 665000 | #Constraints: 32348 867.86/870.44 c #Conflicts: 666000 | #Constraints: 33348 867.86/870.44 c #Conflicts: 667000 | #Constraints: 34348 867.86/870.44 c bounds 155 >= 91 @ 852.269 867.86/870.44 c #Conflicts: 668000 | #Constraints: 35349 867.86/870.44 c #Conflicts: 669000 | #Constraints: 36349 867.86/870.44 c #Conflicts: 670000 | #Constraints: 37349 867.86/870.44 c #Conflicts: 671000 | #Constraints: 38349 867.86/870.44 c INPROCESSING 867.86/870.44 c GARBAGE COLLECT 867.86/870.44 c rational objective 91 892.40/895.08 c #Conflicts: 672000 | #Constraints: 22034 892.40/895.08 c #Conflicts: 673000 | #Constraints: 23034 892.40/895.08 c #Conflicts: 674000 | #Constraints: 24034 892.40/895.08 c #Conflicts: 675000 | #Constraints: 25035 892.40/895.08 c #Conflicts: 676000 | #Constraints: 26035 892.40/895.08 c #Conflicts: 677000 | #Constraints: 27036 892.40/895.08 c #Conflicts: 678000 | #Constraints: 28036 892.40/895.08 c #Conflicts: 679000 | #Constraints: 29036 892.40/895.08 c #Conflicts: 680000 | #Constraints: 30037 892.40/895.08 c #Conflicts: 681000 | #Constraints: 31038 892.40/895.08 c #Conflicts: 682000 | #Constraints: 32038 892.40/895.08 c #Conflicts: 683000 | #Constraints: 33038 892.40/895.08 c #Conflicts: 684000 | #Constraints: 34038 892.40/895.08 c #Conflicts: 685000 | #Constraints: 35038 892.40/895.08 c #Conflicts: 686000 | #Constraints: 36038 892.40/895.08 c #Conflicts: 687000 | #Constraints: 37039 892.40/895.08 c #Conflicts: 688000 | #Constraints: 38040 892.40/895.08 c INPROCESSING 892.40/895.08 c GARBAGE COLLECT 892.40/895.08 c rational objective 91 927.39/930.11 c #Conflicts: 689000 | #Constraints: 23184 927.39/930.11 c #Conflicts: 690000 | #Constraints: 24185 927.39/930.11 c #Conflicts: 691000 | #Constraints: 25185 927.39/930.11 c #Conflicts: 692000 | #Constraints: 26185 927.39/930.11 c #Conflicts: 693000 | #Constraints: 27186 927.39/930.11 c #Conflicts: 694000 | #Constraints: 28187 927.39/930.11 c #Conflicts: 695000 | #Constraints: 29187 927.39/930.11 c #Conflicts: 696000 | #Constraints: 30190 927.39/930.11 c #Conflicts: 697000 | #Constraints: 31190 927.39/930.11 c #Conflicts: 698000 | #Constraints: 32374 927.39/930.11 c #Conflicts: 699000 | #Constraints: 33384 927.39/930.11 c #Conflicts: 700000 | #Constraints: 34720 927.39/930.11 c #Conflicts: 701000 | #Constraints: 36497 927.39/930.11 c #Conflicts: 702000 | #Constraints: 38291 927.39/930.11 c #Conflicts: 703000 | #Constraints: 40113 927.39/930.11 c #Conflicts: 704000 | #Constraints: 41941 927.39/930.11 c #Conflicts: 705000 | #Constraints: 43453 927.39/930.11 c INPROCESSING 927.39/930.11 c GARBAGE COLLECT 927.39/930.11 WSVECS04 Frhs2[3]: 6 -4 0 shouldn't be 956.30/959.15 c #Conflicts: 706000 | #Constraints: 25999 956.30/959.15 c #Conflicts: 707000 | #Constraints: 26999 956.30/959.15 c #Conflicts: 708000 | #Constraints: 27999 956.30/959.15 c #Conflicts: 709000 | #Constraints: 29002 956.30/959.15 c #Conflicts: 710000 | #Constraints: 30003 956.30/959.15 c #Conflicts: 711000 | #Constraints: 31003 956.30/959.15 c #Conflicts: 712000 | #Constraints: 32003 956.30/959.15 c #Conflicts: 713000 | #Constraints: 33003 956.30/959.15 c #Conflicts: 714000 | #Constraints: 34005 956.30/959.15 c #Conflicts: 715000 | #Constraints: 35006 956.30/959.15 c #Conflicts: 716000 | #Constraints: 36006 956.30/959.15 c #Conflicts: 717000 | #Constraints: 37006 956.30/959.15 c #Conflicts: 718000 | #Constraints: 38006 956.30/959.15 c #Conflicts: 719000 | #Constraints: 39008 956.30/959.15 c #Conflicts: 720000 | #Constraints: 40010 956.30/959.15 c #Conflicts: 721000 | #Constraints: 41011 956.30/959.15 c #Conflicts: 722000 | #Constraints: 42011 956.30/959.15 c INPROCESSING 956.30/959.15 c GARBAGE COLLECT 956.30/959.15 c rational objective 91 980.32/983.24 c #Conflicts: 723000 | #Constraints: 25261 980.32/983.24 c #Conflicts: 724000 | #Constraints: 26261 980.32/983.24 c #Conflicts: 725000 | #Constraints: 27261 980.32/983.24 c #Conflicts: 726000 | #Constraints: 28263 980.32/983.24 c #Conflicts: 727000 | #Constraints: 29263 980.32/983.24 c #Conflicts: 728000 | #Constraints: 30265 980.32/983.24 c #Conflicts: 729000 | #Constraints: 31265 980.32/983.24 c #Conflicts: 730000 | #Constraints: 32265 980.32/983.24 c #Conflicts: 731000 | #Constraints: 33265 980.32/983.24 c #Conflicts: 732000 | #Constraints: 34266 980.32/983.24 c #Conflicts: 733000 | #Constraints: 35266 980.32/983.24 c #Conflicts: 734000 | #Constraints: 36266 980.32/983.24 c #Conflicts: 735000 | #Constraints: 37266 980.32/983.24 c #Conflicts: 736000 | #Constraints: 38266 980.32/983.24 c #Conflicts: 737000 | #Constraints: 39266 980.32/983.24 c #Conflicts: 738000 | #Constraints: 40266 980.32/983.24 c #Conflicts: 739000 | #Constraints: 41266 980.32/983.24 c INPROCESSING 980.32/983.24 c GARBAGE COLLECT 980.32/983.24 c rational objective 91 1008.54/1011.58 c #Conflicts: 740000 | #Constraints: 24773 1008.54/1011.58 c #Conflicts: 741000 | #Constraints: 25773 1008.54/1011.58 c #Conflicts: 742000 | #Constraints: 26773 1008.54/1011.58 c #Conflicts: 743000 | #Constraints: 27774 1008.54/1011.58 c #Conflicts: 744000 | #Constraints: 28775 1008.54/1011.58 c #Conflicts: 745000 | #Constraints: 29776 1008.54/1011.58 c #Conflicts: 746000 | #Constraints: 30776 1008.54/1011.58 c #Conflicts: 747000 | #Constraints: 31776 1008.54/1011.58 c #Conflicts: 748000 | #Constraints: 32777 1008.54/1011.58 c #Conflicts: 749000 | #Constraints: 33777 1008.54/1011.58 c #Conflicts: 750000 | #Constraints: 34777 1008.54/1011.58 c #Conflicts: 751000 | #Constraints: 35778 1008.54/1011.58 c #Conflicts: 752000 | #Constraints: 36778 1008.54/1011.58 c #Conflicts: 753000 | #Constraints: 37778 1008.54/1011.58 c #Conflicts: 754000 | #Constraints: 38778 1008.54/1011.58 c #Conflicts: 755000 | #Constraints: 39778 1008.54/1011.58 c #Conflicts: 756000 | #Constraints: 40779 1008.54/1011.58 c INPROCESSING 1008.54/1011.58 c GARBAGE COLLECT 1008.54/1011.58 c rational objective 91 1065.66/1068.82 c #Conflicts: 757000 | #Constraints: 24335 1065.66/1068.82 c #Conflicts: 758000 | #Constraints: 25335 1065.66/1068.82 c #Conflicts: 759000 | #Constraints: 26335 1065.66/1068.82 c #Conflicts: 760000 | #Constraints: 27356 1065.66/1068.82 c #Conflicts: 761000 | #Constraints: 28358 1065.66/1068.82 c #Conflicts: 762000 | #Constraints: 29359 1065.66/1068.82 c #Conflicts: 763000 | #Constraints: 30364 1065.66/1068.82 c #Conflicts: 764000 | #Constraints: 31364 1065.66/1068.82 c #Conflicts: 765000 | #Constraints: 32364 1065.66/1068.82 c #Conflicts: 766000 | #Constraints: 33365 1065.66/1068.82 c #Conflicts: 767000 | #Constraints: 34366 1065.66/1068.82 c #Conflicts: 768000 | #Constraints: 35366 1065.66/1068.82 c #Conflicts: 769000 | #Constraints: 36370 1065.66/1068.82 c #Conflicts: 770000 | #Constraints: 37388 1065.66/1068.82 c #Conflicts: 771000 | #Constraints: 38392 1065.66/1068.82 c #Conflicts: 772000 | #Constraints: 39392 1065.66/1068.82 c #Conflicts: 773000 | #Constraints: 40398 1065.66/1068.82 c #Conflicts: 774000 | #Constraints: 41412 1065.66/1068.82 c INPROCESSING 1065.66/1068.82 c GARBAGE COLLECT 1065.66/1068.82 c #Conflicts: 775000 | #Constraints: 24903 1065.66/1068.82 c #Conflicts: 776000 | #Constraints: 25903 1065.66/1068.82 c #Conflicts: 777000 | #Constraints: 26903 1065.66/1068.82 c #Conflicts: 778000 | #Constraints: 27903 1065.66/1068.82 c #Conflicts: 779000 | #Constraints: 28904 1065.66/1068.82 c #Conflicts: 780000 | #Constraints: 29908 1065.66/1068.82 c #Conflicts: 781000 | #Constraints: 30910 1065.66/1068.82 c #Conflicts: 782000 | #Constraints: 31910 1065.66/1068.82 c #Conflicts: 783000 | #Constraints: 32911 1065.66/1068.82 c #Conflicts: 784000 | #Constraints: 33911 1065.66/1068.82 c #Conflicts: 785000 | #Constraints: 34911 1065.66/1068.82 c #Conflicts: 786000 | #Constraints: 35913 1065.66/1068.82 c #Conflicts: 787000 | #Constraints: 36915 1065.66/1068.82 c #Conflicts: 788000 | #Constraints: 37915 1065.66/1068.82 c #Conflicts: 789000 | #Constraints: 38915 1065.66/1068.82 c #Conflicts: 790000 | #Constraints: 39923 1065.66/1068.82 c #Conflicts: 791000 | #Constraints: 40927 1065.66/1068.82 c #Conflicts: 792000 | #Constraints: 41927 1065.66/1068.82 c INPROCESSING 1065.66/1068.82 c GARBAGE COLLECT 1065.66/1068.82 c rational objective 91 1121.10/1124.42 c #Conflicts: 793000 | #Constraints: 25213 1121.10/1124.42 c #Conflicts: 794000 | #Constraints: 26214 1121.10/1124.42 c #Conflicts: 795000 | #Constraints: 27214 1121.10/1124.42 c #Conflicts: 796000 | #Constraints: 28214 1121.10/1124.42 c #Conflicts: 797000 | #Constraints: 29214 1121.10/1124.42 c #Conflicts: 798000 | #Constraints: 30214 1121.10/1124.42 c #Conflicts: 799000 | #Constraints: 31214 1121.10/1124.42 c #Conflicts: 800000 | #Constraints: 32214 1121.10/1124.42 c #Conflicts: 801000 | #Constraints: 33214 1121.10/1124.42 c #Conflicts: 802000 | #Constraints: 34214 1121.10/1124.42 c #Conflicts: 803000 | #Constraints: 35214 1121.10/1124.42 c #Conflicts: 804000 | #Constraints: 36219 1121.10/1124.42 c #Conflicts: 805000 | #Constraints: 37219 1121.10/1124.42 c #Conflicts: 806000 | #Constraints: 38220 1121.10/1124.42 c #Conflicts: 807000 | #Constraints: 39220 1121.10/1124.42 c #Conflicts: 808000 | #Constraints: 40220 1121.10/1124.42 c #Conflicts: 809000 | #Constraints: 41222 1121.10/1124.42 c #Conflicts: 810000 | #Constraints: 42222 1121.10/1124.42 c INPROCESSING 1121.10/1124.42 c GARBAGE COLLECT 1121.10/1124.42 c #Conflicts: 811000 | #Constraints: 25386 1121.10/1124.42 c #Conflicts: 812000 | #Constraints: 26387 1121.10/1124.42 c #Conflicts: 813000 | #Constraints: 27390 1121.10/1124.42 c #Conflicts: 814000 | #Constraints: 28392 1121.10/1124.42 c #Conflicts: 815000 | #Constraints: 29395 1121.10/1124.42 c #Conflicts: 816000 | #Constraints: 30398 1121.10/1124.42 c #Conflicts: 817000 | #Constraints: 31398 1121.10/1124.42 c #Conflicts: 818000 | #Constraints: 32398 1121.10/1124.42 c #Conflicts: 819000 | #Constraints: 33398 1121.10/1124.42 c #Conflicts: 820000 | #Constraints: 34398 1121.10/1124.42 c #Conflicts: 821000 | #Constraints: 35398 1121.10/1124.42 c #Conflicts: 822000 | #Constraints: 36398 1121.10/1124.42 c #Conflicts: 823000 | #Constraints: 37398 1121.10/1124.42 c #Conflicts: 824000 | #Constraints: 38398 1121.10/1124.42 c #Conflicts: 825000 | #Constraints: 39399 1121.10/1124.42 c #Conflicts: 826000 | #Constraints: 40399 1121.10/1124.42 c #Conflicts: 827000 | #Constraints: 41399 1121.10/1124.42 c #Conflicts: 828000 | #Constraints: 42399 1121.10/1124.42 c INPROCESSING 1121.10/1124.42 c GARBAGE COLLECT 1121.10/1124.42 c rational objective 91 1154.89/1158.37 c #Conflicts: 829000 | #Constraints: 25346 1154.89/1158.37 c #Conflicts: 830000 | #Constraints: 26346 1154.89/1158.37 c #Conflicts: 831000 | #Constraints: 27346 1154.89/1158.37 c #Conflicts: 832000 | #Constraints: 28346 1154.89/1158.37 c #Conflicts: 833000 | #Constraints: 29346 1154.89/1158.37 c #Conflicts: 834000 | #Constraints: 30346 1154.89/1158.37 c #Conflicts: 835000 | #Constraints: 31346 1154.89/1158.37 c #Conflicts: 836000 | #Constraints: 32346 1154.89/1158.37 c #Conflicts: 837000 | #Constraints: 33346 1154.89/1158.37 c #Conflicts: 838000 | #Constraints: 34346 1154.89/1158.37 c #Conflicts: 839000 | #Constraints: 35346 1154.89/1158.37 c #Conflicts: 840000 | #Constraints: 36346 1154.89/1158.37 c #Conflicts: 841000 | #Constraints: 37346 1154.89/1158.37 c #Conflicts: 842000 | #Constraints: 38346 1154.89/1158.37 c #Conflicts: 843000 | #Constraints: 39346 1154.89/1158.37 c #Conflicts: 844000 | #Constraints: 40346 1154.89/1158.37 c #Conflicts: 845000 | #Constraints: 41422 1154.89/1158.37 c #Conflicts: 846000 | #Constraints: 42447 1154.89/1158.37 c INPROCESSING 1154.89/1158.37 c GARBAGE COLLECT 1154.89/1158.37 c rational objective 91 1184.30/1187.84 c #Conflicts: 847000 | #Constraints: 25191 1184.30/1187.84 c #Conflicts: 848000 | #Constraints: 26191 1184.30/1187.84 c #Conflicts: 849000 | #Constraints: 27191 1184.30/1187.84 c #Conflicts: 850000 | #Constraints: 28191 1184.30/1187.84 c #Conflicts: 851000 | #Constraints: 29191 1184.30/1187.84 c #Conflicts: 852000 | #Constraints: 30191 1184.30/1187.84 c #Conflicts: 853000 | #Constraints: 31191 1184.30/1187.84 c #Conflicts: 854000 | #Constraints: 32191 1184.30/1187.84 c #Conflicts: 855000 | #Constraints: 33191 1184.30/1187.84 c #Conflicts: 856000 | #Constraints: 34191 1184.30/1187.84 c #Conflicts: 857000 | #Constraints: 35191 1184.30/1187.84 c #Conflicts: 858000 | #Constraints: 36191 1184.30/1187.84 c #Conflicts: 859000 | #Constraints: 37191 1184.30/1187.84 c #Conflicts: 860000 | #Constraints: 38191 1184.30/1187.84 c #Conflicts: 861000 | #Constraints: 39191 1184.30/1187.84 c #Conflicts: 862000 | #Constraints: 40191 1184.30/1187.84 c #Conflicts: 863000 | #Constraints: 41191 1184.30/1187.84 c #Conflicts: 864000 | #Constraints: 42191 1184.30/1187.84 c #Conflicts: 865000 | #Constraints: 43191 1184.30/1187.84 c INPROCESSING 1184.30/1187.84 c GARBAGE COLLECT 1184.30/1187.84 c rational objective 91 1256.68/1260.42 c #Conflicts: 866000 | #Constraints: 25756 1256.68/1260.42 c #Conflicts: 867000 | #Constraints: 26756 1256.68/1260.42 c #Conflicts: 868000 | #Constraints: 27756 1256.68/1260.42 c #Conflicts: 869000 | #Constraints: 28757 1256.68/1260.42 c #Conflicts: 870000 | #Constraints: 29757 1256.68/1260.42 c #Conflicts: 871000 | #Constraints: 30806 1256.68/1260.42 c #Conflicts: 872000 | #Constraints: 31810 1256.68/1260.42 c #Conflicts: 873000 | #Constraints: 33103 1256.68/1260.42 c #Conflicts: 874000 | #Constraints: 34390 1256.68/1260.42 c #Conflicts: 875000 | #Constraints: 35602 1256.68/1260.42 c #Conflicts: 876000 | #Constraints: 36602 1256.68/1260.42 c #Conflicts: 877000 | #Constraints: 37602 1256.68/1260.42 c #Conflicts: 878000 | #Constraints: 38602 1256.68/1260.42 c #Conflicts: 879000 | #Constraints: 39657 1256.68/1260.42 c #Conflicts: 880000 | #Constraints: 40700 1256.68/1260.42 c #Conflicts: 881000 | #Constraints: 41809 1256.68/1260.42 c #Conflicts: 882000 | #Constraints: 42964 1256.68/1260.42 c #Conflicts: 883000 | #Constraints: 44564 1256.68/1260.42 c #Conflicts: 884000 | #Constraints: 46259 1256.68/1260.42 c INPROCESSING 1256.68/1260.42 c GARBAGE COLLECT 1256.68/1260.42 c #Conflicts: 885000 | #Constraints: 27408 1256.68/1260.42 c #Conflicts: 886000 | #Constraints: 28408 1256.68/1260.42 c #Conflicts: 887000 | #Constraints: 29408 1256.68/1260.42 c #Conflicts: 888000 | #Constraints: 30408 1256.68/1260.42 c #Conflicts: 889000 | #Constraints: 31408 1256.68/1260.42 c #Conflicts: 890000 | #Constraints: 32409 1256.68/1260.42 c #Conflicts: 891000 | #Constraints: 33409 1256.68/1260.42 c #Conflicts: 892000 | #Constraints: 34409 1256.68/1260.42 c #Conflicts: 893000 | #Constraints: 35410 1256.68/1260.42 c #Conflicts: 894000 | #Constraints: 36417 1256.68/1260.42 c #Conflicts: 895000 | #Constraints: 37421 1256.68/1260.42 c #Conflicts: 896000 | #Constraints: 38453 1256.68/1260.42 c #Conflicts: 897000 | #Constraints: 39457 1256.68/1260.42 c #Conflicts: 898000 | #Constraints: 40457 1256.68/1260.42 c #Conflicts: 899000 | #Constraints: 41457 1256.68/1260.42 c #Conflicts: 900000 | #Constraints: 42457 1256.68/1260.42 c #Conflicts: 901000 | #Constraints: 43458 1256.68/1260.42 c #Conflicts: 902000 | #Constraints: 44466 1256.68/1260.42 c #Conflicts: 903000 | #Constraints: 45466 1256.68/1260.42 c INPROCESSING 1256.68/1260.42 c GARBAGE COLLECT 1256.68/1260.42 c rational objective 91 1290.18/1294.02 c #Conflicts: 904000 | #Constraints: 27012 1290.18/1294.02 c #Conflicts: 905000 | #Constraints: 28012 1290.18/1294.02 c #Conflicts: 906000 | #Constraints: 29014 1290.18/1294.02 c #Conflicts: 907000 | #Constraints: 30088 1290.18/1294.02 c #Conflicts: 908000 | #Constraints: 31130 1290.18/1294.02 c #Conflicts: 909000 | #Constraints: 32130 1290.18/1294.02 c #Conflicts: 910000 | #Constraints: 33131 1290.18/1294.02 c #Conflicts: 911000 | #Constraints: 34131 1290.18/1294.02 c #Conflicts: 912000 | #Constraints: 35134 1290.18/1294.02 c #Conflicts: 913000 | #Constraints: 36139 1290.18/1294.02 c #Conflicts: 914000 | #Constraints: 37140 1290.18/1294.02 c #Conflicts: 915000 | #Constraints: 38160 1290.18/1294.02 c #Conflicts: 916000 | #Constraints: 39173 1290.18/1294.02 c #Conflicts: 917000 | #Constraints: 40177 1290.18/1294.02 c #Conflicts: 918000 | #Constraints: 41190 1290.18/1294.02 c #Conflicts: 919000 | #Constraints: 42289 1290.18/1294.02 c #Conflicts: 920000 | #Constraints: 43290 1290.18/1294.02 c #Conflicts: 921000 | #Constraints: 44298 1290.18/1294.02 c #Conflicts: 922000 | #Constraints: 45305 1290.18/1294.02 c INPROCESSING 1290.18/1294.02 c GARBAGE COLLECT 1290.18/1294.02 c rational objective 91 1324.57/1328.52 c #Conflicts: 923000 | #Constraints: 26879 1324.57/1328.52 c #Conflicts: 924000 | #Constraints: 27879 1324.57/1328.52 c #Conflicts: 925000 | #Constraints: 28879 1324.57/1328.52 c #Conflicts: 926000 | #Constraints: 29879 1324.57/1328.52 c #Conflicts: 927000 | #Constraints: 30879 1324.57/1328.52 c #Conflicts: 928000 | #Constraints: 31879 1324.57/1328.52 c #Conflicts: 929000 | #Constraints: 32895 1324.57/1328.52 c #Conflicts: 930000 | #Constraints: 33895 1324.57/1328.52 c #Conflicts: 931000 | #Constraints: 34896 1324.57/1328.52 c #Conflicts: 932000 | #Constraints: 35897 1324.57/1328.52 c #Conflicts: 933000 | #Constraints: 36903 1324.57/1328.52 c #Conflicts: 934000 | #Constraints: 37907 1324.57/1328.52 c #Conflicts: 935000 | #Constraints: 38914 1324.57/1328.52 c #Conflicts: 936000 | #Constraints: 39941 1324.57/1328.52 c #Conflicts: 937000 | #Constraints: 40941 1324.57/1328.52 c #Conflicts: 938000 | #Constraints: 41943 1324.57/1328.52 c #Conflicts: 939000 | #Constraints: 42948 1324.57/1328.52 c #Conflicts: 940000 | #Constraints: 43957 1324.57/1328.52 c #Conflicts: 941000 | #Constraints: 44975 1324.57/1328.52 c INPROCESSING 1324.57/1328.52 c GARBAGE COLLECT 1324.57/1328.52 c rational objective 91 1388.18/1392.39 c #Conflicts: 942000 | #Constraints: 26451 1388.18/1392.39 c #Conflicts: 943000 | #Constraints: 27451 1388.18/1392.39 c #Conflicts: 944000 | #Constraints: 28451 1388.18/1392.39 c #Conflicts: 945000 | #Constraints: 29463 1388.18/1392.39 c #Conflicts: 946000 | #Constraints: 30610 1388.18/1392.39 c #Conflicts: 947000 | #Constraints: 31674 1388.18/1392.39 c #Conflicts: 948000 | #Constraints: 32691 1388.18/1392.39 c #Conflicts: 949000 | #Constraints: 33724 1388.18/1392.39 c #Conflicts: 950000 | #Constraints: 34735 1388.18/1392.39 c #Conflicts: 951000 | #Constraints: 35735 1388.18/1392.39 c #Conflicts: 952000 | #Constraints: 36735 1388.18/1392.39 c #Conflicts: 953000 | #Constraints: 37735 1388.18/1392.39 c #Conflicts: 954000 | #Constraints: 38736 1388.18/1392.39 c #Conflicts: 955000 | #Constraints: 39797 1388.18/1392.39 c #Conflicts: 956000 | #Constraints: 40934 1388.18/1392.39 c #Conflicts: 957000 | #Constraints: 41934 1388.18/1392.39 c #Conflicts: 958000 | #Constraints: 42934 1388.18/1392.39 c #Conflicts: 959000 | #Constraints: 43934 1388.18/1392.39 c #Conflicts: 960000 | #Constraints: 44934 1388.18/1392.39 c #Conflicts: 961000 | #Constraints: 45934 1388.18/1392.39 c INPROCESSING 1388.18/1392.39 c GARBAGE COLLECT 1388.18/1392.39 c #Conflicts: 962000 | #Constraints: 27147 1388.18/1392.39 c #Conflicts: 963000 | #Constraints: 28149 1388.18/1392.39 c #Conflicts: 964000 | #Constraints: 29151 1388.18/1392.39 c #Conflicts: 965000 | #Constraints: 30151 1388.18/1392.39 c #Conflicts: 966000 | #Constraints: 31152 1388.18/1392.39 c #Conflicts: 967000 | #Constraints: 32154 1388.18/1392.39 c #Conflicts: 968000 | #Constraints: 33154 1388.18/1392.39 c #Conflicts: 969000 | #Constraints: 34154 1388.18/1392.39 c #Conflicts: 970000 | #Constraints: 35154 1388.18/1392.39 c #Conflicts: 971000 | #Constraints: 36155 1388.18/1392.39 c #Conflicts: 972000 | #Constraints: 37155 1388.18/1392.39 c #Conflicts: 973000 | #Constraints: 38155 1388.18/1392.39 c #Conflicts: 974000 | #Constraints: 39156 1388.18/1392.39 c #Conflicts: 975000 | #Constraints: 40156 1388.18/1392.39 c #Conflicts: 976000 | #Constraints: 41156 1388.18/1392.39 c #Conflicts: 977000 | #Constraints: 42156 1388.18/1392.39 c #Conflicts: 978000 | #Constraints: 43165 1388.18/1392.39 c #Conflicts: 979000 | #Constraints: 44167 1388.18/1392.39 c #Conflicts: 980000 | #Constraints: 45181 1388.18/1392.39 c #Conflicts: 981000 | #Constraints: 46181 1388.18/1392.39 c INPROCESSING 1388.18/1392.39 c GARBAGE COLLECT 1388.18/1392.39 c rational objective 91 1430.14/1434.42 c #Conflicts: 982000 | #Constraints: 27364 1430.14/1434.42 c #Conflicts: 983000 | #Constraints: 28371 1430.14/1434.42 c #Conflicts: 984000 | #Constraints: 29499 1430.14/1434.42 c #Conflicts: 985000 | #Constraints: 30547 1430.14/1434.42 c #Conflicts: 986000 | #Constraints: 31733 1430.14/1434.42 c #Conflicts: 987000 | #Constraints: 32760 1430.14/1434.42 c #Conflicts: 988000 | #Constraints: 33877 1430.14/1434.42 c #Conflicts: 989000 | #Constraints: 34895 1430.14/1434.42 c #Conflicts: 990000 | #Constraints: 36666 1430.14/1434.42 c #Conflicts: 991000 | #Constraints: 37779 1430.14/1434.42 c #Conflicts: 992000 | #Constraints: 38787 1430.14/1434.42 c #Conflicts: 993000 | #Constraints: 39787 1430.14/1434.42 c #Conflicts: 994000 | #Constraints: 40787 1430.14/1434.42 c #Conflicts: 995000 | #Constraints: 41802 1430.14/1434.42 c #Conflicts: 996000 | #Constraints: 43184 1430.14/1434.42 c #Conflicts: 997000 | #Constraints: 44184 1430.14/1434.42 c #Conflicts: 998000 | #Constraints: 45185 1430.14/1434.42 c #Conflicts: 999000 | #Constraints: 46344 1430.14/1434.42 c #Conflicts: 1000000 | #Constraints: 47971 1430.14/1434.42 c #Conflicts: 1001000 | #Constraints: 49115 1430.14/1434.42 c INPROCESSING 1430.14/1434.42 c GARBAGE COLLECT 1430.14/1434.42 c rational objective 91 1464.05/1468.45 c #Conflicts: 1002000 | #Constraints: 28848 1464.05/1468.45 c #Conflicts: 1003000 | #Constraints: 29848 1464.05/1468.45 c #Conflicts: 1004000 | #Constraints: 30848 1464.05/1468.45 c #Conflicts: 1005000 | #Constraints: 31848 1464.05/1468.45 c #Conflicts: 1006000 | #Constraints: 32848 1464.05/1468.45 c #Conflicts: 1007000 | #Constraints: 33848 1464.05/1468.45 c #Conflicts: 1008000 | #Constraints: 34848 1464.05/1468.45 c #Conflicts: 1009000 | #Constraints: 35848 1464.05/1468.45 c #Conflicts: 1010000 | #Constraints: 36848 1464.05/1468.45 c #Conflicts: 1011000 | #Constraints: 37848 1464.05/1468.45 c #Conflicts: 1012000 | #Constraints: 38848 1464.05/1468.45 c #Conflicts: 1013000 | #Constraints: 39848 1464.05/1468.45 c #Conflicts: 1014000 | #Constraints: 40848 1464.05/1468.45 c #Conflicts: 1015000 | #Constraints: 41848 1464.05/1468.45 c #Conflicts: 1016000 | #Constraints: 42848 1464.05/1468.45 c #Conflicts: 1017000 | #Constraints: 43848 1464.05/1468.45 c #Conflicts: 1018000 | #Constraints: 44848 1464.05/1468.45 c #Conflicts: 1019000 | #Constraints: 45848 1464.05/1468.45 c #Conflicts: 1020000 | #Constraints: 46848 1464.05/1468.45 c #Conflicts: 1021000 | #Constraints: 47848 1464.05/1468.45 c INPROCESSING 1464.05/1468.45 c GARBAGE COLLECT 1464.05/1468.45 c rational objective 91 1502.12/1506.64 c #Conflicts: 1022000 | #Constraints: 28077 1502.12/1506.64 c #Conflicts: 1023000 | #Constraints: 29077 1502.12/1506.64 c #Conflicts: 1024000 | #Constraints: 30077 1502.12/1506.64 c #Conflicts: 1025000 | #Constraints: 31077 1502.12/1506.64 c #Conflicts: 1026000 | #Constraints: 32077 1502.12/1506.64 c #Conflicts: 1027000 | #Constraints: 33077 1502.12/1506.64 c #Conflicts: 1028000 | #Constraints: 34077 1502.12/1506.64 c #Conflicts: 1029000 | #Constraints: 35079 1502.12/1506.64 c #Conflicts: 1030000 | #Constraints: 36079 1502.12/1506.64 c #Conflicts: 1031000 | #Constraints: 37080 1502.12/1506.64 c #Conflicts: 1032000 | #Constraints: 38080 1502.12/1506.64 c #Conflicts: 1033000 | #Constraints: 39080 1502.12/1506.64 c #Conflicts: 1034000 | #Constraints: 40081 1502.12/1506.64 c #Conflicts: 1035000 | #Constraints: 41083 1502.12/1506.64 c #Conflicts: 1036000 | #Constraints: 42083 1502.12/1506.64 c #Conflicts: 1037000 | #Constraints: 43083 1502.12/1506.64 c #Conflicts: 1038000 | #Constraints: 44083 1502.12/1506.64 c #Conflicts: 1039000 | #Constraints: 45083 1502.12/1506.64 c #Conflicts: 1040000 | #Constraints: 46083 1502.12/1506.64 c #Conflicts: 1041000 | #Constraints: 47083 1502.12/1506.64 c INPROCESSING 1502.12/1506.64 c GARBAGE COLLECT 1502.12/1506.64 c rational objective 91 1537.43/1542.01 c #Conflicts: 1042000 | #Constraints: 27500 1537.43/1542.01 c #Conflicts: 1043000 | #Constraints: 28500 1537.43/1542.01 c #Conflicts: 1044000 | #Constraints: 29500 1537.43/1542.01 c #Conflicts: 1045000 | #Constraints: 30500 1537.43/1542.01 c #Conflicts: 1046000 | #Constraints: 31500 1537.43/1542.01 c #Conflicts: 1047000 | #Constraints: 32500 1537.43/1542.01 c #Conflicts: 1048000 | #Constraints: 33500 1537.43/1542.01 c #Conflicts: 1049000 | #Constraints: 34500 1537.43/1542.01 c #Conflicts: 1050000 | #Constraints: 35500 1537.43/1542.01 c #Conflicts: 1051000 | #Constraints: 36500 1537.43/1542.01 c #Conflicts: 1052000 | #Constraints: 37500 1537.43/1542.01 c #Conflicts: 1053000 | #Constraints: 38500 1537.43/1542.01 c #Conflicts: 1054000 | #Constraints: 39500 1537.43/1542.01 c #Conflicts: 1055000 | #Constraints: 40500 1537.43/1542.01 c #Conflicts: 1056000 | #Constraints: 41500 1537.43/1542.01 c #Conflicts: 1057000 | #Constraints: 42500 1537.43/1542.01 c #Conflicts: 1058000 | #Constraints: 43500 1537.43/1542.01 c #Conflicts: 1059000 | #Constraints: 44500 1537.43/1542.01 c #Conflicts: 1060000 | #Constraints: 45500 1537.43/1542.01 c #Conflicts: 1061000 | #Constraints: 46500 1537.43/1542.01 c #Conflicts: 1062000 | #Constraints: 47500 1537.43/1542.01 c INPROCESSING 1537.43/1542.01 c GARBAGE COLLECT 1537.43/1542.01 c rational objective 91 1572.61/1577.33 c #Conflicts: 1063000 | #Constraints: 27924 1572.61/1577.33 c #Conflicts: 1064000 | #Constraints: 28924 1572.61/1577.33 c #Conflicts: 1065000 | #Constraints: 29924 1572.61/1577.33 c #Conflicts: 1066000 | #Constraints: 30924 1572.61/1577.33 c #Conflicts: 1067000 | #Constraints: 31924 1572.61/1577.33 c #Conflicts: 1068000 | #Constraints: 32924 1572.61/1577.33 c #Conflicts: 1069000 | #Constraints: 33924 1572.61/1577.33 c #Conflicts: 1070000 | #Constraints: 34924 1572.61/1577.33 c #Conflicts: 1071000 | #Constraints: 35924 1572.61/1577.33 c #Conflicts: 1072000 | #Constraints: 36924 1572.61/1577.33 c #Conflicts: 1073000 | #Constraints: 37924 1572.61/1577.33 c #Conflicts: 1074000 | #Constraints: 38924 1572.61/1577.33 c #Conflicts: 1075000 | #Constraints: 39924 1572.61/1577.33 c #Conflicts: 1076000 | #Constraints: 40924 1572.61/1577.33 c #Conflicts: 1077000 | #Constraints: 41924 1572.61/1577.33 c #Conflicts: 1078000 | #Constraints: 42924 1572.61/1577.33 c #Conflicts: 1079000 | #Constraints: 43924 1572.61/1577.33 c #Conflicts: 1080000 | #Constraints: 44924 1572.61/1577.33 c #Conflicts: 1081000 | #Constraints: 45924 1572.61/1577.33 c bounds 154 >= 91 @ 1555.83 1572.61/1577.33 c #Conflicts: 1082000 | #Constraints: 46925 1572.61/1577.33 c #Conflicts: 1083000 | #Constraints: 47925 1572.61/1577.33 c INPROCESSING 1572.61/1577.33 c GARBAGE COLLECT 1572.61/1577.33 c rational objective 91 1608.01/1612.80 c #Conflicts: 1084000 | #Constraints: 28199 1608.01/1612.80 c #Conflicts: 1085000 | #Constraints: 29199 1608.01/1612.80 c #Conflicts: 1086000 | #Constraints: 30199 1608.01/1612.80 c #Conflicts: 1087000 | #Constraints: 31199 1608.01/1612.80 c #Conflicts: 1088000 | #Constraints: 32199 1608.01/1612.80 c #Conflicts: 1089000 | #Constraints: 33199 1608.01/1612.80 c #Conflicts: 1090000 | #Constraints: 34203 1608.01/1612.80 c #Conflicts: 1091000 | #Constraints: 35210 1608.01/1612.80 c #Conflicts: 1092000 | #Constraints: 36210 1608.01/1612.80 c #Conflicts: 1093000 | #Constraints: 37210 1608.01/1612.80 c #Conflicts: 1094000 | #Constraints: 38211 1608.01/1612.80 c #Conflicts: 1095000 | #Constraints: 39213 1608.01/1612.80 c #Conflicts: 1096000 | #Constraints: 40213 1608.01/1612.80 c #Conflicts: 1097000 | #Constraints: 41213 1608.01/1612.80 c #Conflicts: 1098000 | #Constraints: 42213 1608.01/1612.80 c #Conflicts: 1099000 | #Constraints: 43213 1608.01/1612.80 c #Conflicts: 1100000 | #Constraints: 44215 1608.01/1612.80 c #Conflicts: 1101000 | #Constraints: 45222 1608.01/1612.80 c #Conflicts: 1102000 | #Constraints: 46222 1608.01/1612.80 c #Conflicts: 1103000 | #Constraints: 47224 1608.01/1612.80 c #Conflicts: 1104000 | #Constraints: 48226 1608.01/1612.80 c INPROCESSING 1608.01/1612.80 c GARBAGE COLLECT 1608.01/1612.80 c rational objective 91 1640.21/1645.14 c #Conflicts: 1105000 | #Constraints: 28408 1640.21/1645.14 c #Conflicts: 1106000 | #Constraints: 29408 1640.21/1645.14 c #Conflicts: 1107000 | #Constraints: 30408 1640.21/1645.14 c #Conflicts: 1108000 | #Constraints: 31408 1640.21/1645.14 c #Conflicts: 1109000 | #Constraints: 32408 1640.21/1645.14 c #Conflicts: 1110000 | #Constraints: 33408 1640.21/1645.14 c #Conflicts: 1111000 | #Constraints: 34409 1640.21/1645.14 c #Conflicts: 1112000 | #Constraints: 35437 1640.21/1645.14 c #Conflicts: 1113000 | #Constraints: 36437 1640.21/1645.14 c #Conflicts: 1114000 | #Constraints: 37437 1640.21/1645.14 c #Conflicts: 1115000 | #Constraints: 38437 1640.21/1645.14 c #Conflicts: 1116000 | #Constraints: 39437 1640.21/1645.14 c #Conflicts: 1117000 | #Constraints: 40437 1640.21/1645.14 c #Conflicts: 1118000 | #Constraints: 41439 1640.21/1645.14 c #Conflicts: 1119000 | #Constraints: 42451 1640.21/1645.14 c #Conflicts: 1120000 | #Constraints: 43796 1640.21/1645.14 c #Conflicts: 1121000 | #Constraints: 44957 1640.21/1645.14 c bounds 152 >= 91 @ 1619.03 1640.21/1645.14 c #Conflicts: 1122000 | #Constraints: 45958 1640.21/1645.14 c #Conflicts: 1123000 | #Constraints: 46959 1640.21/1645.14 c #Conflicts: 1124000 | #Constraints: 47959 1640.21/1645.14 c #Conflicts: 1125000 | #Constraints: 48959 1640.21/1645.14 c INPROCESSING 1640.21/1645.14 c GARBAGE COLLECT 1640.21/1645.14 c rational objective 91 1678.59/1683.69 c #Conflicts: 1126000 | #Constraints: 28639 1678.59/1683.69 c #Conflicts: 1127000 | #Constraints: 29639 1678.59/1683.69 c #Conflicts: 1128000 | #Constraints: 30639 1678.59/1683.69 c #Conflicts: 1129000 | #Constraints: 31639 1678.59/1683.69 c #Conflicts: 1130000 | #Constraints: 32641 1678.59/1683.69 c #Conflicts: 1131000 | #Constraints: 33641 1678.59/1683.69 c #Conflicts: 1132000 | #Constraints: 34643 1678.59/1683.69 c #Conflicts: 1133000 | #Constraints: 35643 1678.59/1683.69 c #Conflicts: 1134000 | #Constraints: 36643 1678.59/1683.69 c #Conflicts: 1135000 | #Constraints: 37644 1678.59/1683.69 c #Conflicts: 1136000 | #Constraints: 38649 1678.59/1683.69 c #Conflicts: 1137000 | #Constraints: 39649 1678.59/1683.69 c #Conflicts: 1138000 | #Constraints: 40649 1678.59/1683.69 c #Conflicts: 1139000 | #Constraints: 41653 1678.59/1683.69 c #Conflicts: 1140000 | #Constraints: 42656 1678.59/1683.69 c #Conflicts: 1141000 | #Constraints: 43656 1678.59/1683.69 c #Conflicts: 1142000 | #Constraints: 44657 1678.59/1683.69 c #Conflicts: 1143000 | #Constraints: 45657 1678.59/1683.69 c #Conflicts: 1144000 | #Constraints: 46659 1678.59/1683.69 c #Conflicts: 1145000 | #Constraints: 47659 1678.59/1683.69 c #Conflicts: 1146000 | #Constraints: 48659 1678.59/1683.69 c INPROCESSING 1678.59/1683.69 c GARBAGE COLLECT 1678.59/1683.69 c rational objective 91 1762.33/1767.61 c #Conflicts: 1147000 | #Constraints: 28275 1762.33/1767.61 c #Conflicts: 1148000 | #Constraints: 29275 1762.33/1767.61 c #Conflicts: 1149000 | #Constraints: 30275 1762.33/1767.61 c #Conflicts: 1150000 | #Constraints: 31275 1762.33/1767.61 c #Conflicts: 1151000 | #Constraints: 32276 1762.33/1767.61 c #Conflicts: 1152000 | #Constraints: 33283 1762.33/1767.61 c #Conflicts: 1153000 | #Constraints: 34293 1762.33/1767.61 c #Conflicts: 1154000 | #Constraints: 35293 1762.33/1767.61 c #Conflicts: 1155000 | #Constraints: 36293 1762.33/1767.61 c #Conflicts: 1156000 | #Constraints: 37293 1762.33/1767.61 c #Conflicts: 1157000 | #Constraints: 38293 1762.33/1767.61 c #Conflicts: 1158000 | #Constraints: 39293 1762.33/1767.61 c #Conflicts: 1159000 | #Constraints: 40293 1762.33/1767.61 c #Conflicts: 1160000 | #Constraints: 41293 1762.33/1767.61 c #Conflicts: 1161000 | #Constraints: 42297 1762.33/1767.61 c #Conflicts: 1162000 | #Constraints: 43298 1762.33/1767.61 c bounds 151 >= 91 @ 1695.44 1762.33/1767.61 c #Conflicts: 1163000 | #Constraints: 44299 1762.33/1767.61 c #Conflicts: 1164000 | #Constraints: 45299 1762.33/1767.61 c #Conflicts: 1165000 | #Constraints: 46299 1762.33/1767.61 c #Conflicts: 1166000 | #Constraints: 47299 1762.33/1767.61 c #Conflicts: 1167000 | #Constraints: 48300 1762.33/1767.61 c #Conflicts: 1168000 | #Constraints: 49300 1762.33/1767.61 c INPROCESSING 1762.33/1767.61 c GARBAGE COLLECT 1762.33/1767.61 c #Conflicts: 1169000 | #Constraints: 28825 1762.33/1767.61 c #Conflicts: 1170000 | #Constraints: 29825 1762.33/1767.61 c #Conflicts: 1171000 | #Constraints: 30825 1762.33/1767.61 c #Conflicts: 1172000 | #Constraints: 31826 1762.33/1767.61 c #Conflicts: 1173000 | #Constraints: 32829 1762.33/1767.61 c #Conflicts: 1174000 | #Constraints: 33831 1762.33/1767.61 c #Conflicts: 1175000 | #Constraints: 34831 1762.33/1767.61 c #Conflicts: 1176000 | #Constraints: 35832 1762.33/1767.61 c #Conflicts: 1177000 | #Constraints: 36841 1762.33/1767.61 c #Conflicts: 1178000 | #Constraints: 37841 1762.33/1767.61 c #Conflicts: 1179000 | #Constraints: 38841 1762.33/1767.61 c #Conflicts: 1180000 | #Constraints: 39842 1762.33/1767.61 c #Conflicts: 1181000 | #Constraints: 40848 1762.33/1767.61 c #Conflicts: 1182000 | #Constraints: 41848 1762.33/1767.61 c #Conflicts: 1183000 | #Constraints: 42848 1762.33/1767.61 c #Conflicts: 1184000 | #Constraints: 43848 1762.33/1767.61 c #Conflicts: 1185000 | #Constraints: 44848 1762.33/1767.61 c #Conflicts: 1186000 | #Constraints: 45848 1762.33/1767.61 c #Conflicts: 1187000 | #Constraints: 46848 1762.33/1767.61 c #Conflicts: 1188000 | #Constraints: 47848 1762.33/1767.61 c #Conflicts: 1189000 | #Constraints: 48849 1762.33/1767.61 c #Conflicts: 1190000 | #Constraints: 49850 1762.33/1767.61 c INPROCESSING 1762.33/1767.61 c GARBAGE COLLECT 1762.33/1767.61 c rational objective 91 1843.49/1849.08 c #Conflicts: 1191000 | #Constraints: 29169 1843.49/1849.08 c #Conflicts: 1192000 | #Constraints: 30169 1843.49/1849.08 c #Conflicts: 1193000 | #Constraints: 31171 1843.49/1849.08 c #Conflicts: 1194000 | #Constraints: 32354 1843.49/1849.08 c #Conflicts: 1195000 | #Constraints: 33505 1843.49/1849.08 c #Conflicts: 1196000 | #Constraints: 34505 1843.49/1849.08 c #Conflicts: 1197000 | #Constraints: 35505 1843.49/1849.08 c #Conflicts: 1198000 | #Constraints: 36506 1843.49/1849.08 c #Conflicts: 1199000 | #Constraints: 37506 1843.49/1849.08 c #Conflicts: 1200000 | #Constraints: 38521 1843.49/1849.08 c #Conflicts: 1201000 | #Constraints: 39526 1843.49/1849.08 c #Conflicts: 1202000 | #Constraints: 40530 1843.49/1849.08 c #Conflicts: 1203000 | #Constraints: 41530 1843.49/1849.08 c #Conflicts: 1204000 | #Constraints: 42530 1843.49/1849.08 c #Conflicts: 1205000 | #Constraints: 43530 1843.49/1849.08 c #Conflicts: 1206000 | #Constraints: 44530 1843.49/1849.08 c #Conflicts: 1207000 | #Constraints: 45585 1843.49/1849.08 c #Conflicts: 1208000 | #Constraints: 46585 1843.49/1849.08 c #Conflicts: 1209000 | #Constraints: 47585 1843.49/1849.08 c #Conflicts: 1210000 | #Constraints: 48605 1843.49/1849.08 c #Conflicts: 1211000 | #Constraints: 49633 1843.49/1849.08 c #Conflicts: 1212000 | #Constraints: 50633 1843.49/1849.08 c INPROCESSING 1843.49/1849.08 c GARBAGE COLLECT 1843.49/1849.08 c #Conflicts: 1213000 | #Constraints: 29622 1843.49/1849.08 c #Conflicts: 1214000 | #Constraints: 30622 1843.49/1849.08 c #Conflicts: 1215000 | #Constraints: 31623 1843.49/1849.08 c #Conflicts: 1216000 | #Constraints: 32625 1843.49/1849.08 c #Conflicts: 1217000 | #Constraints: 33625 1843.49/1849.08 c #Conflicts: 1218000 | #Constraints: 34625 1843.49/1849.08 c #Conflicts: 1219000 | #Constraints: 35625 1843.49/1849.08 c #Conflicts: 1220000 | #Constraints: 36626 1843.49/1849.08 c #Conflicts: 1221000 | #Constraints: 37627 1843.49/1849.08 c #Conflicts: 1222000 | #Constraints: 38627 1843.49/1849.08 c #Conflicts: 1223000 | #Constraints: 39627 1843.49/1849.08 c #Conflicts: 1224000 | #Constraints: 40628 1843.49/1849.08 c #Conflicts: 1225000 | #Constraints: 41628 1843.49/1849.08 c #Conflicts: 1226000 | #Constraints: 42630 1843.49/1849.08 c #Conflicts: 1227000 | #Constraints: 43631 1843.49/1849.08 c #Conflicts: 1228000 | #Constraints: 44631 1843.49/1849.08 c #Conflicts: 1229000 | #Constraints: 45634 1843.49/1849.08 c #Conflicts: 1230000 | #Constraints: 46636 1843.49/1849.08 c #Conflicts: 1231000 | #Constraints: 47640 1843.49/1849.08 c #Conflicts: 1232000 | #Constraints: 48642 1843.49/1849.08 c #Conflicts: 1233000 | #Constraints: 49642 1843.49/1849.08 c #Conflicts: 1234000 | #Constraints: 50642 1843.49/1849.08 c INPROCESSING 1843.49/1849.08 c GARBAGE COLLECT 1843.49/1849.08 c rational objective 91 1927.62/1933.40 c #Conflicts: 1235000 | #Constraints: 29495 1927.62/1933.40 c #Conflicts: 1236000 | #Constraints: 30495 1927.62/1933.40 c #Conflicts: 1237000 | #Constraints: 31495 1927.62/1933.40 c #Conflicts: 1238000 | #Constraints: 32496 1927.62/1933.40 c #Conflicts: 1239000 | #Constraints: 33496 1927.62/1933.40 c #Conflicts: 1240000 | #Constraints: 34497 1927.62/1933.40 c #Conflicts: 1241000 | #Constraints: 35497 1927.62/1933.40 c #Conflicts: 1242000 | #Constraints: 36497 1927.62/1933.40 c #Conflicts: 1243000 | #Constraints: 37497 1927.62/1933.40 c #Conflicts: 1244000 | #Constraints: 38497 1927.62/1933.40 c #Conflicts: 1245000 | #Constraints: 39497 1927.62/1933.40 c #Conflicts: 1246000 | #Constraints: 40497 1927.62/1933.40 c #Conflicts: 1247000 | #Constraints: 41497 1927.62/1933.40 c #Conflicts: 1248000 | #Constraints: 42497 1927.62/1933.40 c #Conflicts: 1249000 | #Constraints: 43497 1927.62/1933.40 c #Conflicts: 1250000 | #Constraints: 44497 1927.62/1933.40 c #Conflicts: 1251000 | #Constraints: 45497 1927.62/1933.40 c #Conflicts: 1252000 | #Constraints: 46497 1927.62/1933.40 c #Conflicts: 1253000 | #Constraints: 47498 1927.62/1933.40 c #Conflicts: 1254000 | #Constraints: 48501 1927.62/1933.40 c #Conflicts: 1255000 | #Constraints: 49501 1927.62/1933.40 c #Conflicts: 1256000 | #Constraints: 50501 1927.62/1933.40 c INPROCESSING 1927.62/1933.40 c GARBAGE COLLECT 1927.62/1933.40 c #Conflicts: 1257000 | #Constraints: 29277 1927.62/1933.40 c #Conflicts: 1258000 | #Constraints: 30277 1927.62/1933.40 c #Conflicts: 1259000 | #Constraints: 31277 1927.62/1933.40 c #Conflicts: 1260000 | #Constraints: 32277 1927.62/1933.40 c #Conflicts: 1261000 | #Constraints: 33278 1927.62/1933.40 c #Conflicts: 1262000 | #Constraints: 34279 1927.62/1933.40 c #Conflicts: 1263000 | #Constraints: 35279 1927.62/1933.40 c #Conflicts: 1264000 | #Constraints: 36279 1927.62/1933.40 c #Conflicts: 1265000 | #Constraints: 37286 1927.62/1933.40 c #Conflicts: 1266000 | #Constraints: 38286 1927.62/1933.40 c #Conflicts: 1267000 | #Constraints: 39287 1927.62/1933.40 c #Conflicts: 1268000 | #Constraints: 40287 1927.62/1933.40 c #Conflicts: 1269000 | #Constraints: 41287 1927.62/1933.40 c #Conflicts: 1270000 | #Constraints: 42287 1927.62/1933.40 c #Conflicts: 1271000 | #Constraints: 43287 1927.62/1933.40 c #Conflicts: 1272000 | #Constraints: 44291 1927.62/1933.40 c #Conflicts: 1273000 | #Constraints: 45291 1927.62/1933.40 c #Conflicts: 1274000 | #Constraints: 46292 1927.62/1933.40 c #Conflicts: 1275000 | #Constraints: 47295 1927.62/1933.40 c #Conflicts: 1276000 | #Constraints: 48295 1927.62/1933.40 c #Conflicts: 1277000 | #Constraints: 49295 1927.62/1933.40 c #Conflicts: 1278000 | #Constraints: 50296 1927.62/1933.40 c #Conflicts: 1279000 | #Constraints: 51296 1927.62/1933.40 c INPROCESSING 1927.62/1933.40 c GARBAGE COLLECT 1927.62/1933.40 c rational objective 91 1969.30/1975.29 c #Conflicts: 1280000 | #Constraints: 29810 1969.30/1975.29 c #Conflicts: 1281000 | #Constraints: 30810 1969.30/1975.29 c #Conflicts: 1282000 | #Constraints: 31810 1969.30/1975.29 c #Conflicts: 1283000 | #Constraints: 32810 1969.30/1975.29 c #Conflicts: 1284000 | #Constraints: 33810 1969.30/1975.29 c #Conflicts: 1285000 | #Constraints: 34810 1969.30/1975.29 c #Conflicts: 1286000 | #Constraints: 35810 1969.30/1975.29 c #Conflicts: 1287000 | #Constraints: 36810 1969.30/1975.29 c #Conflicts: 1288000 | #Constraints: 37810 1969.30/1975.29 c #Conflicts: 1289000 | #Constraints: 38810 1969.30/1975.29 c #Conflicts: 1290000 | #Constraints: 39810 1969.30/1975.29 c #Conflicts: 1291000 | #Constraints: 40810 1969.30/1975.29 c #Conflicts: 1292000 | #Constraints: 41810 1969.30/1975.29 c #Conflicts: 1293000 | #Constraints: 42810 1969.30/1975.29 c #Conflicts: 1294000 | #Constraints: 43810 1969.30/1975.29 c #Conflicts: 1295000 | #Constraints: 44810 1969.30/1975.29 c #Conflicts: 1296000 | #Constraints: 45810 1969.30/1975.29 c #Conflicts: 1297000 | #Constraints: 46810 1969.30/1975.29 c #Conflicts: 1298000 | #Constraints: 47810 1969.30/1975.29 c #Conflicts: 1299000 | #Constraints: 48810 1969.30/1975.29 c #Conflicts: 1300000 | #Constraints: 49810 1969.30/1975.29 c #Conflicts: 1301000 | #Constraints: 50810 1969.30/1975.29 c #Conflicts: 1302000 | #Constraints: 51810 1969.30/1975.29 c INPROCESSING 1969.30/1975.29 c GARBAGE COLLECT 1969.30/1975.29 c rational objective 91 2014.65/2020.79 c #Conflicts: 1303000 | #Constraints: 30189 2014.65/2020.79 c #Conflicts: 1304000 | #Constraints: 31189 2014.65/2020.79 c #Conflicts: 1305000 | #Constraints: 32189 2014.65/2020.79 c #Conflicts: 1306000 | #Constraints: 33189 2014.65/2020.79 c #Conflicts: 1307000 | #Constraints: 34189 2014.65/2020.79 c #Conflicts: 1308000 | #Constraints: 35189 2014.65/2020.79 c #Conflicts: 1309000 | #Constraints: 36189 2014.65/2020.79 c #Conflicts: 1310000 | #Constraints: 37189 2014.65/2020.79 c #Conflicts: 1311000 | #Constraints: 38189 2014.65/2020.79 c #Conflicts: 1312000 | #Constraints: 39189 2014.65/2020.79 c #Conflicts: 1313000 | #Constraints: 40189 2014.65/2020.79 c #Conflicts: 1314000 | #Constraints: 41189 2014.65/2020.79 c #Conflicts: 1315000 | #Constraints: 42189 2014.65/2020.79 c #Conflicts: 1316000 | #Constraints: 43189 2014.65/2020.79 c #Conflicts: 1317000 | #Constraints: 44189 2014.65/2020.79 c #Conflicts: 1318000 | #Constraints: 45189 2014.65/2020.79 c #Conflicts: 1319000 | #Constraints: 46189 2014.65/2020.79 c #Conflicts: 1320000 | #Constraints: 47189 2014.65/2020.79 c #Conflicts: 1321000 | #Constraints: 48189 2014.65/2020.79 c #Conflicts: 1322000 | #Constraints: 49189 2014.65/2020.79 c #Conflicts: 1323000 | #Constraints: 50189 2014.65/2020.79 c #Conflicts: 1324000 | #Constraints: 51189 2014.65/2020.79 c #Conflicts: 1325000 | #Constraints: 52189 2014.65/2020.79 c INPROCESSING 2014.65/2020.79 c GARBAGE COLLECT 2014.65/2020.79 c rational objective 91 2118.73/2125.15 c #Conflicts: 1326000 | #Constraints: 30365 2118.73/2125.15 c #Conflicts: 1327000 | #Constraints: 31367 2118.73/2125.15 c #Conflicts: 1328000 | #Constraints: 32367 2118.73/2125.15 c #Conflicts: 1329000 | #Constraints: 33368 2118.73/2125.15 c #Conflicts: 1330000 | #Constraints: 34369 2118.73/2125.15 c #Conflicts: 1331000 | #Constraints: 35372 2118.73/2125.15 c #Conflicts: 1332000 | #Constraints: 36373 2118.73/2125.15 c #Conflicts: 1333000 | #Constraints: 37375 2118.73/2125.15 c #Conflicts: 1334000 | #Constraints: 38879 2118.73/2125.15 c #Conflicts: 1335000 | #Constraints: 40551 2118.73/2125.15 c #Conflicts: 1336000 | #Constraints: 41551 2118.73/2125.15 c #Conflicts: 1337000 | #Constraints: 42554 2118.73/2125.15 c #Conflicts: 1338000 | #Constraints: 43566 2118.73/2125.15 c #Conflicts: 1339000 | #Constraints: 44566 2118.73/2125.15 c #Conflicts: 1340000 | #Constraints: 45566 2118.73/2125.15 c #Conflicts: 1341000 | #Constraints: 46566 2118.73/2125.15 c #Conflicts: 1342000 | #Constraints: 47566 2118.73/2125.15 c #Conflicts: 1343000 | #Constraints: 48566 2118.73/2125.15 c #Conflicts: 1344000 | #Constraints: 49566 2118.73/2125.15 c #Conflicts: 1345000 | #Constraints: 50570 2118.73/2125.15 c #Conflicts: 1346000 | #Constraints: 51570 2118.73/2125.15 c #Conflicts: 1347000 | #Constraints: 52570 2118.73/2125.15 c #Conflicts: 1348000 | #Constraints: 53570 2118.73/2125.15 c INPROCESSING 2118.73/2125.15 c GARBAGE COLLECT 2118.73/2125.15 c #Conflicts: 1349000 | #Constraints: 30997 2118.73/2125.15 c #Conflicts: 1350000 | #Constraints: 31997 2118.73/2125.15 c #Conflicts: 1351000 | #Constraints: 32997 2118.73/2125.15 c #Conflicts: 1352000 | #Constraints: 33997 2118.73/2125.15 c #Conflicts: 1353000 | #Constraints: 34997 2118.73/2125.15 c #Conflicts: 1354000 | #Constraints: 35997 2118.73/2125.15 c #Conflicts: 1355000 | #Constraints: 36997 2118.73/2125.15 c #Conflicts: 1356000 | #Constraints: 37997 2118.73/2125.15 c #Conflicts: 1357000 | #Constraints: 38997 2118.73/2125.15 c #Conflicts: 1358000 | #Constraints: 39997 2118.73/2125.15 c #Conflicts: 1359000 | #Constraints: 40997 2118.73/2125.15 c #Conflicts: 1360000 | #Constraints: 41999 2118.73/2125.15 c #Conflicts: 1361000 | #Constraints: 42999 2118.73/2125.15 c #Conflicts: 1362000 | #Constraints: 44002 2118.73/2125.15 c #Conflicts: 1363000 | #Constraints: 45015 2118.73/2125.15 c #Conflicts: 1364000 | #Constraints: 46015 2118.73/2125.15 c #Conflicts: 1365000 | #Constraints: 47016 2118.73/2125.15 c #Conflicts: 1366000 | #Constraints: 48016 2118.73/2125.15 c #Conflicts: 1367000 | #Constraints: 49016 2118.73/2125.15 c #Conflicts: 1368000 | #Constraints: 50016 2118.73/2125.15 c #Conflicts: 1369000 | #Constraints: 51018 2118.73/2125.15 c #Conflicts: 1370000 | #Constraints: 52018 2118.73/2125.15 c #Conflicts: 1371000 | #Constraints: 53018 2118.73/2125.15 c INPROCESSING 2118.73/2125.15 c GARBAGE COLLECT 2118.73/2125.15 c rational objective 91 2218.02/2224.76 c #Conflicts: 1372000 | #Constraints: 30485 2218.02/2224.76 c #Conflicts: 1373000 | #Constraints: 31485 2218.02/2224.76 c #Conflicts: 1374000 | #Constraints: 32485 2218.02/2224.76 c #Conflicts: 1375000 | #Constraints: 33485 2218.02/2224.76 c #Conflicts: 1376000 | #Constraints: 34488 2218.02/2224.76 c #Conflicts: 1377000 | #Constraints: 35488 2218.02/2224.76 c #Conflicts: 1378000 | #Constraints: 36489 2218.02/2224.76 c #Conflicts: 1379000 | #Constraints: 37489 2218.02/2224.76 c #Conflicts: 1380000 | #Constraints: 38489 2218.02/2224.76 c #Conflicts: 1381000 | #Constraints: 39489 2218.02/2224.76 c #Conflicts: 1382000 | #Constraints: 40492 2218.02/2224.76 c #Conflicts: 1383000 | #Constraints: 41492 2218.02/2224.76 c #Conflicts: 1384000 | #Constraints: 42492 2218.02/2224.76 c #Conflicts: 1385000 | #Constraints: 43492 2218.02/2224.76 c #Conflicts: 1386000 | #Constraints: 44492 2218.02/2224.76 c #Conflicts: 1387000 | #Constraints: 45492 2218.02/2224.76 c #Conflicts: 1388000 | #Constraints: 46492 2218.02/2224.76 c #Conflicts: 1389000 | #Constraints: 47492 2218.02/2224.76 c #Conflicts: 1390000 | #Constraints: 48492 2218.02/2224.76 c #Conflicts: 1391000 | #Constraints: 49493 2218.02/2224.76 c #Conflicts: 1392000 | #Constraints: 50493 2218.02/2224.76 c #Conflicts: 1393000 | #Constraints: 51493 2218.02/2224.76 c #Conflicts: 1394000 | #Constraints: 52493 2218.02/2224.76 c #Conflicts: 1395000 | #Constraints: 53493 2218.02/2224.76 c INPROCESSING 2218.02/2224.76 c GARBAGE COLLECT 2218.02/2224.76 c #Conflicts: 1396000 | #Constraints: 30945 2218.02/2224.76 c #Conflicts: 1397000 | #Constraints: 31945 2218.02/2224.76 c #Conflicts: 1398000 | #Constraints: 32945 2218.02/2224.76 c #Conflicts: 1399000 | #Constraints: 33945 2218.02/2224.76 c #Conflicts: 1400000 | #Constraints: 34945 2218.02/2224.76 c #Conflicts: 1401000 | #Constraints: 35945 2218.02/2224.76 c #Conflicts: 1402000 | #Constraints: 36945 2218.02/2224.76 c #Conflicts: 1403000 | #Constraints: 37945 2218.02/2224.76 c #Conflicts: 1404000 | #Constraints: 38945 2218.02/2224.76 c #Conflicts: 1405000 | #Constraints: 39945 2218.02/2224.76 c #Conflicts: 1406000 | #Constraints: 40945 2218.02/2224.76 c #Conflicts: 1407000 | #Constraints: 41945 2218.02/2224.76 c #Conflicts: 1408000 | #Constraints: 42945 2218.02/2224.76 c #Conflicts: 1409000 | #Constraints: 43945 2218.02/2224.76 c #Conflicts: 1410000 | #Constraints: 44945 2218.02/2224.76 c #Conflicts: 1411000 | #Constraints: 45945 2218.02/2224.76 c #Conflicts: 1412000 | #Constraints: 46945 2218.02/2224.76 c #Conflicts: 1413000 | #Constraints: 47945 2218.02/2224.76 c #Conflicts: 1414000 | #Constraints: 48945 2218.02/2224.76 c #Conflicts: 1415000 | #Constraints: 49945 2218.02/2224.76 c #Conflicts: 1416000 | #Constraints: 50945 2218.02/2224.76 c #Conflicts: 1417000 | #Constraints: 51945 2218.02/2224.76 c #Conflicts: 1418000 | #Constraints: 52946 2218.02/2224.76 c #Conflicts: 1419000 | #Constraints: 53946 2218.02/2224.76 c INPROCESSING 2218.02/2224.76 c GARBAGE COLLECT 2218.02/2224.76 c rational objective 91 2293.39/2300.38 c #Conflicts: 1420000 | #Constraints: 31242 2293.39/2300.38 c #Conflicts: 1421000 | #Constraints: 32242 2293.39/2300.38 c #Conflicts: 1422000 | #Constraints: 33242 2293.39/2300.38 c #Conflicts: 1423000 | #Constraints: 34243 2293.39/2300.38 c #Conflicts: 1424000 | #Constraints: 35252 2293.39/2300.38 c #Conflicts: 1425000 | #Constraints: 36686 2293.39/2300.38 c #Conflicts: 1426000 | #Constraints: 37729 2293.39/2300.38 c #Conflicts: 1427000 | #Constraints: 38729 2293.39/2300.38 c #Conflicts: 1428000 | #Constraints: 39846 2293.39/2300.38 c #Conflicts: 1429000 | #Constraints: 41157 2293.39/2300.38 c #Conflicts: 1430000 | #Constraints: 42664 2293.39/2300.38 c #Conflicts: 1431000 | #Constraints: 43664 2293.39/2300.38 c #Conflicts: 1432000 | #Constraints: 44664 2293.39/2300.38 c #Conflicts: 1433000 | #Constraints: 45664 2293.39/2300.38 c #Conflicts: 1434000 | #Constraints: 46665 2293.39/2300.38 c #Conflicts: 1435000 | #Constraints: 47665 2293.39/2300.38 c #Conflicts: 1436000 | #Constraints: 48665 2293.39/2300.38 c #Conflicts: 1437000 | #Constraints: 49665 2293.39/2300.38 c #Conflicts: 1438000 | #Constraints: 50860 2293.39/2300.38 c #Conflicts: 1439000 | #Constraints: 52667 2293.39/2300.38 c #Conflicts: 1440000 | #Constraints: 54469 2293.39/2300.38 c #Conflicts: 1441000 | #Constraints: 56268 2293.39/2300.38 c #Conflicts: 1442000 | #Constraints: 58111 2293.39/2300.38 c #Conflicts: 1443000 | #Constraints: 59951 2293.39/2300.38 c INPROCESSING 2293.39/2300.38 c GARBAGE COLLECT 2293.39/2300.38 c rational objective 91 2347.82/2354.92 c #Conflicts: 1444000 | #Constraints: 34286 2347.82/2354.92 c #Conflicts: 1445000 | #Constraints: 35286 2347.82/2354.92 c #Conflicts: 1446000 | #Constraints: 36286 2347.82/2354.92 c #Conflicts: 1447000 | #Constraints: 37286 2347.82/2354.92 c #Conflicts: 1448000 | #Constraints: 38286 2347.82/2354.92 c #Conflicts: 1449000 | #Constraints: 39286 2347.82/2354.92 c #Conflicts: 1450000 | #Constraints: 40286 2347.82/2354.92 c #Conflicts: 1451000 | #Constraints: 41286 2347.82/2354.92 c #Conflicts: 1452000 | #Constraints: 42286 2347.82/2354.92 c #Conflicts: 1453000 | #Constraints: 43288 2347.82/2354.92 c #Conflicts: 1454000 | #Constraints: 44297 2347.82/2354.92 c #Conflicts: 1455000 | #Constraints: 45297 2347.82/2354.92 c #Conflicts: 1456000 | #Constraints: 46297 2347.82/2354.92 c #Conflicts: 1457000 | #Constraints: 47306 2347.82/2354.92 c #Conflicts: 1458000 | #Constraints: 48309 2347.82/2354.92 c #Conflicts: 1459000 | #Constraints: 49309 2347.82/2354.92 c #Conflicts: 1460000 | #Constraints: 50309 2347.82/2354.92 c #Conflicts: 1461000 | #Constraints: 51309 2347.82/2354.92 c #Conflicts: 1462000 | #Constraints: 52309 2347.82/2354.92 c #Conflicts: 1463000 | #Constraints: 53309 2347.82/2354.92 c #Conflicts: 1464000 | #Constraints: 54321 2347.82/2354.92 c #Conflicts: 1465000 | #Constraints: 55323 2347.82/2354.92 c #Conflicts: 1466000 | #Constraints: 56323 2347.82/2354.92 c #Conflicts: 1467000 | #Constraints: 57323 2347.82/2354.92 c INPROCESSING 2347.82/2354.92 c GARBAGE COLLECT 2347.82/2354.92 c rational objective 91 2410.42/2417.73 c #Conflicts: 1468000 | #Constraints: 32846 2410.42/2417.73 c #Conflicts: 1469000 | #Constraints: 33846 2410.42/2417.73 c #Conflicts: 1470000 | #Constraints: 34846 2410.42/2417.73 c #Conflicts: 1471000 | #Constraints: 35847 2410.42/2417.73 c #Conflicts: 1472000 | #Constraints: 36855 2410.42/2417.73 c #Conflicts: 1473000 | #Constraints: 37861 2410.42/2417.73 c #Conflicts: 1474000 | #Constraints: 38948 2410.42/2417.73 c #Conflicts: 1475000 | #Constraints: 39948 2410.42/2417.73 c #Conflicts: 1476000 | #Constraints: 40948 2410.42/2417.73 c #Conflicts: 1477000 | #Constraints: 41949 2410.42/2417.73 c #Conflicts: 1478000 | #Constraints: 42964 2410.42/2417.73 c #Conflicts: 1479000 | #Constraints: 44318 2410.42/2417.73 c #Conflicts: 1480000 | #Constraints: 45378 2410.42/2417.73 c #Conflicts: 1481000 | #Constraints: 46378 2410.42/2417.73 c #Conflicts: 1482000 | #Constraints: 47381 2410.42/2417.73 c #Conflicts: 1483000 | #Constraints: 48389 2410.42/2417.73 c #Conflicts: 1484000 | #Constraints: 49473 2410.42/2417.73 c #Conflicts: 1485000 | #Constraints: 50632 2410.42/2417.73 c #Conflicts: 1486000 | #Constraints: 51881 2410.42/2417.73 c #Conflicts: 1487000 | #Constraints: 52881 2410.42/2417.73 c #Conflicts: 1488000 | #Constraints: 53882 2410.42/2417.73 c #Conflicts: 1489000 | #Constraints: 54897 2410.42/2417.73 c #Conflicts: 1490000 | #Constraints: 56032 2410.42/2417.73 c #Conflicts: 1491000 | #Constraints: 57357 2410.42/2417.73 c INPROCESSING 2410.42/2417.73 c GARBAGE COLLECT 2410.42/2417.73 c rational objective 91 2464.17/2471.68 c #Conflicts: 1492000 | #Constraints: 32694 2464.17/2471.68 c #Conflicts: 1493000 | #Constraints: 33694 2464.17/2471.68 c #Conflicts: 1494000 | #Constraints: 34694 2464.17/2471.68 c #Conflicts: 1495000 | #Constraints: 35694 2464.17/2471.68 c #Conflicts: 1496000 | #Constraints: 36694 2464.17/2471.68 c #Conflicts: 1497000 | #Constraints: 37694 2464.17/2471.68 c #Conflicts: 1498000 | #Constraints: 38694 2464.17/2471.68 c #Conflicts: 1499000 | #Constraints: 39694 2464.17/2471.68 c #Conflicts: 1500000 | #Constraints: 40694 2464.17/2471.68 c #Conflicts: 1501000 | #Constraints: 41694 2464.17/2471.68 c #Conflicts: 1502000 | #Constraints: 42694 2464.17/2471.68 c #Conflicts: 1503000 | #Constraints: 43694 2464.17/2471.68 c #Conflicts: 1504000 | #Constraints: 44694 2464.17/2471.68 c #Conflicts: 1505000 | #Constraints: 45694 2464.17/2471.68 c #Conflicts: 1506000 | #Constraints: 46694 2464.17/2471.68 c #Conflicts: 1507000 | #Constraints: 47694 2464.17/2471.68 c #Conflicts: 1508000 | #Constraints: 48694 2464.17/2471.68 c #Conflicts: 1509000 | #Constraints: 49694 2464.17/2471.68 c #Conflicts: 1510000 | #Constraints: 50694 2464.17/2471.68 c #Conflicts: 1511000 | #Constraints: 51694 2464.17/2471.68 c #Conflicts: 1512000 | #Constraints: 52694 2464.17/2471.68 c #Conflicts: 1513000 | #Constraints: 53694 2464.17/2471.68 c #Conflicts: 1514000 | #Constraints: 54694 2464.17/2471.68 c #Conflicts: 1515000 | #Constraints: 55694 2464.17/2471.68 c #Conflicts: 1516000 | #Constraints: 56694 2464.17/2471.68 c INPROCESSING 2464.17/2471.68 c GARBAGE COLLECT 2464.17/2471.68 c rational objective 91 2514.46/2522.05 c #Conflicts: 1517000 | #Constraints: 32513 2514.46/2522.05 c #Conflicts: 1518000 | #Constraints: 33513 2514.46/2522.05 c #Conflicts: 1519000 | #Constraints: 34513 2514.46/2522.05 c #Conflicts: 1520000 | #Constraints: 35513 2514.46/2522.05 c #Conflicts: 1521000 | #Constraints: 36513 2514.46/2522.05 c #Conflicts: 1522000 | #Constraints: 37514 2514.46/2522.05 c #Conflicts: 1523000 | #Constraints: 38514 2514.46/2522.05 c #Conflicts: 1524000 | #Constraints: 39514 2514.46/2522.05 c #Conflicts: 1525000 | #Constraints: 40514 2514.46/2522.05 c #Conflicts: 1526000 | #Constraints: 41514 2514.46/2522.05 c #Conflicts: 1527000 | #Constraints: 42514 2514.46/2522.05 c #Conflicts: 1528000 | #Constraints: 43514 2514.46/2522.05 c #Conflicts: 1529000 | #Constraints: 44515 2514.46/2522.05 c #Conflicts: 1530000 | #Constraints: 45516 2514.46/2522.05 c #Conflicts: 1531000 | #Constraints: 46516 2514.46/2522.05 c #Conflicts: 1532000 | #Constraints: 47516 2514.46/2522.05 c #Conflicts: 1533000 | #Constraints: 48516 2514.46/2522.05 c #Conflicts: 1534000 | #Constraints: 49516 2514.46/2522.05 c #Conflicts: 1535000 | #Constraints: 50517 2514.46/2522.05 c #Conflicts: 1536000 | #Constraints: 51517 2514.46/2522.05 c #Conflicts: 1537000 | #Constraints: 52517 2514.46/2522.05 c #Conflicts: 1538000 | #Constraints: 53517 2514.46/2522.05 c #Conflicts: 1539000 | #Constraints: 54518 2514.46/2522.05 c #Conflicts: 1540000 | #Constraints: 55518 2514.46/2522.05 c #Conflicts: 1541000 | #Constraints: 56519 2514.46/2522.05 c INPROCESSING 2514.46/2522.05 c GARBAGE COLLECT 2514.46/2522.05 WSVECS04 Frhs2[5]: 6 -16.0001 0 shouldn't be 2514.66/2522.26 c rational objective 91 2564.25/2571.91 c #Conflicts: 1542000 | #Constraints: 32535 2564.25/2571.91 c #Conflicts: 1543000 | #Constraints: 33535 2564.25/2571.91 c #Conflicts: 1544000 | #Constraints: 34535 2564.25/2571.91 c #Conflicts: 1545000 | #Constraints: 35535 2564.25/2571.91 c #Conflicts: 1546000 | #Constraints: 36535 2564.25/2571.91 c #Conflicts: 1547000 | #Constraints: 37535 2564.25/2571.91 c #Conflicts: 1548000 | #Constraints: 38535 2564.25/2571.91 c #Conflicts: 1549000 | #Constraints: 39535 2564.25/2571.91 c #Conflicts: 1550000 | #Constraints: 40535 2564.25/2571.91 c #Conflicts: 1551000 | #Constraints: 41535 2564.25/2571.91 c #Conflicts: 1552000 | #Constraints: 42535 2564.25/2571.91 c #Conflicts: 1553000 | #Constraints: 43535 2564.25/2571.91 c #Conflicts: 1554000 | #Constraints: 44535 2564.25/2571.91 c #Conflicts: 1555000 | #Constraints: 45535 2564.25/2571.91 c #Conflicts: 1556000 | #Constraints: 46535 2564.25/2571.91 c #Conflicts: 1557000 | #Constraints: 47535 2564.25/2571.91 c #Conflicts: 1558000 | #Constraints: 48535 2564.25/2571.91 c #Conflicts: 1559000 | #Constraints: 49535 2564.25/2571.91 c #Conflicts: 1560000 | #Constraints: 50535 2564.25/2571.91 c #Conflicts: 1561000 | #Constraints: 51535 2564.25/2571.91 c #Conflicts: 1562000 | #Constraints: 52535 2564.25/2571.91 c #Conflicts: 1563000 | #Constraints: 53535 2564.25/2571.91 c #Conflicts: 1564000 | #Constraints: 54535 2564.25/2571.91 c #Conflicts: 1565000 | #Constraints: 55535 2564.25/2571.91 c #Conflicts: 1566000 | #Constraints: 56535 2564.25/2571.91 c INPROCESSING 2564.25/2571.91 c GARBAGE COLLECT 2564.25/2571.91 c rational objective 91 2618.42/2626.25 c #Conflicts: 1567000 | #Constraints: 32538 2618.42/2626.25 c #Conflicts: 1568000 | #Constraints: 33538 2618.42/2626.25 c #Conflicts: 1569000 | #Constraints: 34538 2618.42/2626.25 c #Conflicts: 1570000 | #Constraints: 35538 2618.42/2626.25 c #Conflicts: 1571000 | #Constraints: 36538 2618.42/2626.25 c #Conflicts: 1572000 | #Constraints: 37538 2618.42/2626.25 c #Conflicts: 1573000 | #Constraints: 38538 2618.42/2626.25 c #Conflicts: 1574000 | #Constraints: 39538 2618.42/2626.25 c #Conflicts: 1575000 | #Constraints: 40538 2618.42/2626.25 c #Conflicts: 1576000 | #Constraints: 41538 2618.42/2626.25 c #Conflicts: 1577000 | #Constraints: 42538 2618.42/2626.25 c #Conflicts: 1578000 | #Constraints: 43541 2618.42/2626.25 c #Conflicts: 1579000 | #Constraints: 44544 2618.42/2626.25 c #Conflicts: 1580000 | #Constraints: 45545 2618.42/2626.25 c #Conflicts: 1581000 | #Constraints: 46552 2618.42/2626.25 c #Conflicts: 1582000 | #Constraints: 47552 2618.42/2626.25 c #Conflicts: 1583000 | #Constraints: 48553 2618.42/2626.25 c #Conflicts: 1584000 | #Constraints: 49553 2618.42/2626.25 c #Conflicts: 1585000 | #Constraints: 50555 2618.42/2626.25 c #Conflicts: 1586000 | #Constraints: 51555 2618.42/2626.25 c #Conflicts: 1587000 | #Constraints: 52555 2618.42/2626.25 c #Conflicts: 1588000 | #Constraints: 53555 2618.42/2626.25 c #Conflicts: 1589000 | #Constraints: 54555 2618.42/2626.25 c #Conflicts: 1590000 | #Constraints: 55555 2618.42/2626.25 c #Conflicts: 1591000 | #Constraints: 56555 2618.42/2626.25 c INPROCESSING 2618.42/2626.25 c GARBAGE COLLECT 2618.42/2626.25 c rational objective 91 2668.81/2676.70 c #Conflicts: 1592000 | #Constraints: 32479 2668.81/2676.70 c #Conflicts: 1593000 | #Constraints: 33481 2668.81/2676.70 c #Conflicts: 1594000 | #Constraints: 34484 2668.81/2676.70 c #Conflicts: 1595000 | #Constraints: 35486 2668.81/2676.70 c #Conflicts: 1596000 | #Constraints: 36490 2668.81/2676.70 c #Conflicts: 1597000 | #Constraints: 37491 2668.81/2676.70 c #Conflicts: 1598000 | #Constraints: 38491 2668.81/2676.70 c #Conflicts: 1599000 | #Constraints: 39495 2668.81/2676.70 c #Conflicts: 1600000 | #Constraints: 40495 2668.81/2676.70 c #Conflicts: 1601000 | #Constraints: 41496 2668.81/2676.70 c #Conflicts: 1602000 | #Constraints: 42496 2668.81/2676.70 c #Conflicts: 1603000 | #Constraints: 43499 2668.81/2676.70 c #Conflicts: 1604000 | #Constraints: 44500 2668.81/2676.70 c #Conflicts: 1605000 | #Constraints: 45500 2668.81/2676.70 c #Conflicts: 1606000 | #Constraints: 46501 2668.81/2676.70 c #Conflicts: 1607000 | #Constraints: 47501 2668.81/2676.70 c #Conflicts: 1608000 | #Constraints: 48501 2668.81/2676.70 c #Conflicts: 1609000 | #Constraints: 49501 2668.81/2676.70 c #Conflicts: 1610000 | #Constraints: 50502 2668.81/2676.70 c #Conflicts: 1611000 | #Constraints: 51505 2668.81/2676.70 c #Conflicts: 1612000 | #Constraints: 52505 2668.81/2676.70 c #Conflicts: 1613000 | #Constraints: 53505 2668.81/2676.70 c #Conflicts: 1614000 | #Constraints: 54505 2668.81/2676.70 c #Conflicts: 1615000 | #Constraints: 55505 2668.81/2676.70 c #Conflicts: 1616000 | #Constraints: 56505 2668.81/2676.70 c INPROCESSING 2668.81/2676.70 c GARBAGE COLLECT 2668.81/2676.70 c rational objective 91 2787.74/2795.96 c #Conflicts: 1617000 | #Constraints: 32225 2787.74/2795.96 c #Conflicts: 1618000 | #Constraints: 33225 2787.74/2795.96 c #Conflicts: 1619000 | #Constraints: 34225 2787.74/2795.96 c #Conflicts: 1620000 | #Constraints: 35226 2787.74/2795.96 c #Conflicts: 1621000 | #Constraints: 36344 2787.74/2795.96 c #Conflicts: 1622000 | #Constraints: 37346 2787.74/2795.96 c #Conflicts: 1623000 | #Constraints: 38346 2787.74/2795.96 c #Conflicts: 1624000 | #Constraints: 39346 2787.74/2795.96 c #Conflicts: 1625000 | #Constraints: 40346 2787.74/2795.96 c #Conflicts: 1626000 | #Constraints: 41356 2787.74/2795.96 c #Conflicts: 1627000 | #Constraints: 42358 2787.74/2795.96 c #Conflicts: 1628000 | #Constraints: 43362 2787.74/2795.96 c #Conflicts: 1629000 | #Constraints: 44362 2787.74/2795.96 c #Conflicts: 1630000 | #Constraints: 45365 2787.74/2795.96 c #Conflicts: 1631000 | #Constraints: 46417 2787.74/2795.96 c #Conflicts: 1632000 | #Constraints: 47417 2787.74/2795.96 c #Conflicts: 1633000 | #Constraints: 48417 2787.74/2795.96 c #Conflicts: 1634000 | #Constraints: 49438 2787.74/2795.96 c #Conflicts: 1635000 | #Constraints: 50484 2787.74/2795.96 c #Conflicts: 1636000 | #Constraints: 51598 2787.74/2795.96 c #Conflicts: 1637000 | #Constraints: 52602 2787.74/2795.96 c #Conflicts: 1638000 | #Constraints: 53642 2787.74/2795.96 c #Conflicts: 1639000 | #Constraints: 54642 2787.74/2795.96 c #Conflicts: 1640000 | #Constraints: 55643 2787.74/2795.96 c #Conflicts: 1641000 | #Constraints: 56643 2787.74/2795.96 c #Conflicts: 1642000 | #Constraints: 57643 2787.74/2795.96 c INPROCESSING 2787.74/2795.96 c GARBAGE COLLECT 2787.74/2795.96 c #Conflicts: 1643000 | #Constraints: 32998 2787.74/2795.96 c #Conflicts: 1644000 | #Constraints: 33998 2787.74/2795.96 c #Conflicts: 1645000 | #Constraints: 34998 2787.74/2795.96 c #Conflicts: 1646000 | #Constraints: 35998 2787.74/2795.96 c #Conflicts: 1647000 | #Constraints: 36998 2787.74/2795.96 c #Conflicts: 1648000 | #Constraints: 37999 2787.74/2795.96 c #Conflicts: 1649000 | #Constraints: 38999 2787.74/2795.96 c #Conflicts: 1650000 | #Constraints: 40000 2787.74/2795.96 c #Conflicts: 1651000 | #Constraints: 41000 2787.74/2795.96 c #Conflicts: 1652000 | #Constraints: 42000 2787.74/2795.96 c #Conflicts: 1653000 | #Constraints: 43000 2787.74/2795.96 c #Conflicts: 1654000 | #Constraints: 44000 2787.74/2795.96 c #Conflicts: 1655000 | #Constraints: 45000 2787.74/2795.96 c #Conflicts: 1656000 | #Constraints: 46002 2787.74/2795.96 c #Conflicts: 1657000 | #Constraints: 47002 2787.74/2795.96 c #Conflicts: 1658000 | #Constraints: 48002 2787.74/2795.96 c #Conflicts: 1659000 | #Constraints: 49007 2787.74/2795.96 c #Conflicts: 1660000 | #Constraints: 50011 2787.74/2795.96 c #Conflicts: 1661000 | #Constraints: 51012 2787.74/2795.96 c #Conflicts: 1662000 | #Constraints: 52015 2787.74/2795.96 c #Conflicts: 1663000 | #Constraints: 53015 2787.74/2795.96 c #Conflicts: 1664000 | #Constraints: 54015 2787.74/2795.96 c #Conflicts: 1665000 | #Constraints: 55015 2787.74/2795.96 c #Conflicts: 1666000 | #Constraints: 56015 2787.74/2795.96 c #Conflicts: 1667000 | #Constraints: 57019 2787.74/2795.96 c #Conflicts: 1668000 | #Constraints: 58019 2787.74/2795.96 c INPROCESSING 2787.74/2795.96 c GARBAGE COLLECT 2787.74/2795.96 c rational objective 91 2849.00/2857.38 c #Conflicts: 1669000 | #Constraints: 33273 2849.00/2857.38 c #Conflicts: 1670000 | #Constraints: 34273 2849.00/2857.38 c #Conflicts: 1671000 | #Constraints: 35273 2849.00/2857.38 c #Conflicts: 1672000 | #Constraints: 36273 2849.00/2857.38 c #Conflicts: 1673000 | #Constraints: 37273 2849.00/2857.38 c #Conflicts: 1674000 | #Constraints: 38273 2849.00/2857.38 c #Conflicts: 1675000 | #Constraints: 39274 2849.00/2857.38 c #Conflicts: 1676000 | #Constraints: 40284 2849.00/2857.38 c #Conflicts: 1677000 | #Constraints: 41284 2849.00/2857.38 c #Conflicts: 1678000 | #Constraints: 42284 2849.00/2857.38 c #Conflicts: 1679000 | #Constraints: 43285 2849.00/2857.38 c #Conflicts: 1680000 | #Constraints: 44285 2849.00/2857.38 c #Conflicts: 1681000 | #Constraints: 45285 2849.00/2857.38 c #Conflicts: 1682000 | #Constraints: 46285 2849.00/2857.38 c #Conflicts: 1683000 | #Constraints: 47285 2849.00/2857.38 c #Conflicts: 1684000 | #Constraints: 48285 2849.00/2857.38 c #Conflicts: 1685000 | #Constraints: 49285 2849.00/2857.38 c #Conflicts: 1686000 | #Constraints: 50285 2849.00/2857.38 c #Conflicts: 1687000 | #Constraints: 51290 2849.00/2857.38 c #Conflicts: 1688000 | #Constraints: 52290 2849.00/2857.38 c #Conflicts: 1689000 | #Constraints: 53290 2849.00/2857.38 c #Conflicts: 1690000 | #Constraints: 54290 2849.00/2857.38 c #Conflicts: 1691000 | #Constraints: 55290 2849.00/2857.38 c #Conflicts: 1692000 | #Constraints: 56290 2849.00/2857.38 c #Conflicts: 1693000 | #Constraints: 57290 2849.00/2857.38 c #Conflicts: 1694000 | #Constraints: 58290 2849.00/2857.38 c INPROCESSING 2849.00/2857.38 c GARBAGE COLLECT 2849.00/2857.38 c rational objective 91 2904.07/2912.59 c #Conflicts: 1695000 | #Constraints: 33447 2904.07/2912.59 c #Conflicts: 1696000 | #Constraints: 34447 2904.07/2912.59 c #Conflicts: 1697000 | #Constraints: 35447 2904.07/2912.59 c #Conflicts: 1698000 | #Constraints: 36447 2904.07/2912.59 c #Conflicts: 1699000 | #Constraints: 37447 2904.07/2912.59 c #Conflicts: 1700000 | #Constraints: 38447 2904.07/2912.59 c #Conflicts: 1701000 | #Constraints: 39447 2904.07/2912.59 c #Conflicts: 1702000 | #Constraints: 40447 2904.07/2912.59 c #Conflicts: 1703000 | #Constraints: 41447 2904.07/2912.59 c #Conflicts: 1704000 | #Constraints: 42447 2904.07/2912.59 c #Conflicts: 1705000 | #Constraints: 43450 2904.07/2912.59 c #Conflicts: 1706000 | #Constraints: 44450 2904.07/2912.59 c #Conflicts: 1707000 | #Constraints: 45450 2904.07/2912.59 c #Conflicts: 1708000 | #Constraints: 46450 2904.07/2912.59 c #Conflicts: 1709000 | #Constraints: 47450 2904.07/2912.59 c #Conflicts: 1710000 | #Constraints: 48450 2904.07/2912.59 c #Conflicts: 1711000 | #Constraints: 49450 2904.07/2912.59 c #Conflicts: 1712000 | #Constraints: 50450 2904.07/2912.59 c #Conflicts: 1713000 | #Constraints: 51450 2904.07/2912.59 c #Conflicts: 1714000 | #Constraints: 52452 2904.07/2912.59 c #Conflicts: 1715000 | #Constraints: 53452 2904.07/2912.59 c #Conflicts: 1716000 | #Constraints: 54452 2904.07/2912.59 c #Conflicts: 1717000 | #Constraints: 55452 2904.07/2912.59 c #Conflicts: 1718000 | #Constraints: 56452 2904.07/2912.59 c #Conflicts: 1719000 | #Constraints: 57452 2904.07/2912.59 c #Conflicts: 1720000 | #Constraints: 58452 2904.07/2912.59 c INPROCESSING 2904.07/2912.59 c GARBAGE COLLECT 2904.07/2912.59 c rational objective 91 2955.36/2963.90 c #Conflicts: 1721000 | #Constraints: 33415 2955.36/2963.90 c #Conflicts: 1722000 | #Constraints: 34415 2955.36/2963.90 c #Conflicts: 1723000 | #Constraints: 35415 2955.36/2963.90 c #Conflicts: 1724000 | #Constraints: 36415 2955.36/2963.90 c #Conflicts: 1725000 | #Constraints: 37415 2955.36/2963.90 c #Conflicts: 1726000 | #Constraints: 38415 2955.36/2963.90 c #Conflicts: 1727000 | #Constraints: 39415 2955.36/2963.90 c #Conflicts: 1728000 | #Constraints: 40415 2955.36/2963.90 c #Conflicts: 1729000 | #Constraints: 41415 2955.36/2963.90 c #Conflicts: 1730000 | #Constraints: 42415 2955.36/2963.90 c #Conflicts: 1731000 | #Constraints: 43415 2955.36/2963.90 c #Conflicts: 1732000 | #Constraints: 44415 2955.36/2963.90 c #Conflicts: 1733000 | #Constraints: 45415 2955.36/2963.90 c #Conflicts: 1734000 | #Constraints: 46415 2955.36/2963.90 c #Conflicts: 1735000 | #Constraints: 47415 2955.36/2963.90 c #Conflicts: 1736000 | #Constraints: 48415 2955.36/2963.90 c #Conflicts: 1737000 | #Constraints: 49415 2955.36/2963.90 c #Conflicts: 1738000 | #Constraints: 50415 2955.36/2963.90 c bounds 150 >= 91 @ 2914.11 2955.36/2963.90 c #Conflicts: 1739000 | #Constraints: 51416 2955.36/2963.90 c #Conflicts: 1740000 | #Constraints: 52416 2955.36/2963.90 c #Conflicts: 1741000 | #Constraints: 53416 2955.36/2963.90 c #Conflicts: 1742000 | #Constraints: 54416 2955.36/2963.90 c #Conflicts: 1743000 | #Constraints: 55416 2955.36/2963.90 c #Conflicts: 1744000 | #Constraints: 56416 2955.36/2963.90 c #Conflicts: 1745000 | #Constraints: 57416 2955.36/2963.90 c #Conflicts: 1746000 | #Constraints: 58416 2955.36/2963.90 c INPROCESSING 2955.36/2963.90 c GARBAGE COLLECT 2955.36/2963.90 c rational objective 91 3010.92/3019.68 c #Conflicts: 1747000 | #Constraints: 33173 3010.92/3019.68 c #Conflicts: 1748000 | #Constraints: 34173 3010.92/3019.68 c #Conflicts: 1749000 | #Constraints: 35173 3010.92/3019.68 c #Conflicts: 1750000 | #Constraints: 36173 3010.92/3019.68 c #Conflicts: 1751000 | #Constraints: 37173 3010.92/3019.68 c #Conflicts: 1752000 | #Constraints: 38173 3010.92/3019.68 c #Conflicts: 1753000 | #Constraints: 39175 3010.92/3019.68 c #Conflicts: 1754000 | #Constraints: 40175 3010.92/3019.68 c #Conflicts: 1755000 | #Constraints: 41177 3010.92/3019.68 c #Conflicts: 1756000 | #Constraints: 42177 3010.92/3019.68 c #Conflicts: 1757000 | #Constraints: 43177 3010.92/3019.68 c #Conflicts: 1758000 | #Constraints: 44177 3010.92/3019.68 c #Conflicts: 1759000 | #Constraints: 45178 3010.92/3019.68 c #Conflicts: 1760000 | #Constraints: 46178 3010.92/3019.68 c #Conflicts: 1761000 | #Constraints: 47178 3010.92/3019.68 c #Conflicts: 1762000 | #Constraints: 48178 3010.92/3019.68 c #Conflicts: 1763000 | #Constraints: 49180 3010.92/3019.68 c #Conflicts: 1764000 | #Constraints: 50181 3010.92/3019.68 c #Conflicts: 1765000 | #Constraints: 51181 3010.92/3019.68 c #Conflicts: 1766000 | #Constraints: 52181 3010.92/3019.68 c #Conflicts: 1767000 | #Constraints: 53182 3010.92/3019.68 c #Conflicts: 1768000 | #Constraints: 54182 3010.92/3019.68 c #Conflicts: 1769000 | #Constraints: 55183 3010.92/3019.68 c #Conflicts: 1770000 | #Constraints: 56183 3010.92/3019.68 c #Conflicts: 1771000 | #Constraints: 57183 3010.92/3019.68 c #Conflicts: 1772000 | #Constraints: 58183 3010.92/3019.68 c #Conflicts: 1773000 | #Constraints: 59183 3010.92/3019.68 c INPROCESSING 3010.92/3019.68 c GARBAGE COLLECT 3010.92/3019.68 c rational objective 91 3050.43/3059.27 c #Conflicts: 1774000 | #Constraints: 33764 3050.43/3059.27 c #Conflicts: 1775000 | #Constraints: 34800 3050.43/3059.27 c #Conflicts: 1776000 | #Constraints: 35908 3050.43/3059.27 c #Conflicts: 1777000 | #Constraints: 36908 3050.43/3059.27 c #Conflicts: 1778000 | #Constraints: 37917 3050.43/3059.27 c #Conflicts: 1779000 | #Constraints: 38963 3050.43/3059.27 c #Conflicts: 1780000 | #Constraints: 40050 3050.43/3059.27 c #Conflicts: 1781000 | #Constraints: 41139 3050.43/3059.27 c #Conflicts: 1782000 | #Constraints: 42140 3050.43/3059.27 c #Conflicts: 1783000 | #Constraints: 43140 3050.43/3059.27 c #Conflicts: 1784000 | #Constraints: 44141 3050.43/3059.27 c #Conflicts: 1785000 | #Constraints: 45189 3050.43/3059.27 c #Conflicts: 1786000 | #Constraints: 46191 3050.43/3059.27 c bounds 149 >= 91 @ 3010.61 3050.43/3059.27 c #Conflicts: 1787000 | #Constraints: 47258 3050.43/3059.27 c #Conflicts: 1788000 | #Constraints: 48261 3050.43/3059.27 c #Conflicts: 1789000 | #Constraints: 49378 3050.43/3059.27 c #Conflicts: 1790000 | #Constraints: 50378 3050.43/3059.27 c #Conflicts: 1791000 | #Constraints: 51378 3050.43/3059.27 c #Conflicts: 1792000 | #Constraints: 52382 3050.43/3059.27 c #Conflicts: 1793000 | #Constraints: 53383 3050.43/3059.27 c #Conflicts: 1794000 | #Constraints: 54870 3050.43/3059.27 WSVECS04 Frhs2[94]: 6 -64 0 shouldn't be 3124.76/3133.79 c #Conflicts: 1795000 | #Constraints: 56115 3124.76/3133.79 c #Conflicts: 1796000 | #Constraints: 57115 3124.76/3133.79 c #Conflicts: 1797000 | #Constraints: 58115 3124.76/3133.79 c #Conflicts: 1798000 | #Constraints: 59115 3124.76/3133.79 c #Conflicts: 1799000 | #Constraints: 60120 3124.76/3133.79 c #Conflicts: 1800000 | #Constraints: 61120 3124.76/3133.79 c INPROCESSING 3124.76/3133.79 c GARBAGE COLLECT 3124.76/3133.79 c #Conflicts: 1801000 | #Constraints: 34853 3124.76/3133.79 c #Conflicts: 1802000 | #Constraints: 35853 3124.76/3133.79 c #Conflicts: 1803000 | #Constraints: 36854 3124.76/3133.79 c #Conflicts: 1804000 | #Constraints: 37854 3124.76/3133.79 c #Conflicts: 1805000 | #Constraints: 38854 3124.76/3133.79 c #Conflicts: 1806000 | #Constraints: 39854 3124.76/3133.79 c #Conflicts: 1807000 | #Constraints: 40854 3124.76/3133.79 c #Conflicts: 1808000 | #Constraints: 41854 3124.76/3133.79 c #Conflicts: 1809000 | #Constraints: 42854 3124.76/3133.79 c #Conflicts: 1810000 | #Constraints: 43855 3124.76/3133.79 c #Conflicts: 1811000 | #Constraints: 44869 3124.76/3133.79 c #Conflicts: 1812000 | #Constraints: 45876 3124.76/3133.79 c #Conflicts: 1813000 | #Constraints: 46876 3124.76/3133.79 c #Conflicts: 1814000 | #Constraints: 47879 3124.76/3133.79 c #Conflicts: 1815000 | #Constraints: 48889 3124.76/3133.79 c #Conflicts: 1816000 | #Constraints: 49889 3124.76/3133.79 c #Conflicts: 1817000 | #Constraints: 50891 3124.76/3133.79 c #Conflicts: 1818000 | #Constraints: 51892 3124.76/3133.79 c #Conflicts: 1819000 | #Constraints: 52892 3124.76/3133.79 c #Conflicts: 1820000 | #Constraints: 53892 3124.76/3133.79 c #Conflicts: 1821000 | #Constraints: 54892 3124.76/3133.79 c #Conflicts: 1822000 | #Constraints: 55893 3124.76/3133.79 c #Conflicts: 1823000 | #Constraints: 56893 3124.76/3133.79 c #Conflicts: 1824000 | #Constraints: 57893 3124.76/3133.79 c #Conflicts: 1825000 | #Constraints: 58899 3124.76/3133.79 c #Conflicts: 1826000 | #Constraints: 59899 3124.76/3133.79 c #Conflicts: 1827000 | #Constraints: 60899 3124.76/3133.79 c INPROCESSING 3124.76/3133.79 c GARBAGE COLLECT 3124.76/3133.79 c rational objective 91 3232.21/3241.41 c #Conflicts: 1828000 | #Constraints: 34744 3232.21/3241.41 c #Conflicts: 1829000 | #Constraints: 35744 3232.21/3241.41 c #Conflicts: 1830000 | #Constraints: 36745 3232.21/3241.41 c #Conflicts: 1831000 | #Constraints: 37750 3232.21/3241.41 c #Conflicts: 1832000 | #Constraints: 38753 3232.21/3241.41 c #Conflicts: 1833000 | #Constraints: 39754 3232.21/3241.41 c #Conflicts: 1834000 | #Constraints: 40754 3232.21/3241.41 c #Conflicts: 1835000 | #Constraints: 41754 3232.21/3241.41 c #Conflicts: 1836000 | #Constraints: 42775 3232.21/3241.41 c #Conflicts: 1837000 | #Constraints: 43809 3232.21/3241.41 c #Conflicts: 1838000 | #Constraints: 44809 3232.21/3241.41 c #Conflicts: 1839000 | #Constraints: 45816 3232.21/3241.41 c #Conflicts: 1840000 | #Constraints: 46894 3232.21/3241.41 c #Conflicts: 1841000 | #Constraints: 47894 3232.21/3241.41 c #Conflicts: 1842000 | #Constraints: 48894 3232.21/3241.41 c #Conflicts: 1843000 | #Constraints: 49894 3232.21/3241.41 c #Conflicts: 1844000 | #Constraints: 50910 3232.21/3241.41 c #Conflicts: 1845000 | #Constraints: 51922 3232.21/3241.41 c #Conflicts: 1846000 | #Constraints: 52922 3232.21/3241.41 c #Conflicts: 1847000 | #Constraints: 53922 3232.21/3241.41 c #Conflicts: 1848000 | #Constraints: 54942 3232.21/3241.41 c #Conflicts: 1849000 | #Constraints: 55942 3232.21/3241.41 c #Conflicts: 1850000 | #Constraints: 56942 3232.21/3241.41 c #Conflicts: 1851000 | #Constraints: 57942 3232.21/3241.41 c #Conflicts: 1852000 | #Constraints: 58942 3232.21/3241.41 c #Conflicts: 1853000 | #Constraints: 59942 3232.21/3241.41 c #Conflicts: 1854000 | #Constraints: 60942 3232.21/3241.41 c INPROCESSING 3232.21/3241.41 c GARBAGE COLLECT 3232.21/3241.41 c #Conflicts: 1855000 | #Constraints: 34688 3232.21/3241.41 c #Conflicts: 1856000 | #Constraints: 35688 3232.21/3241.41 c #Conflicts: 1857000 | #Constraints: 36688 3232.21/3241.41 c #Conflicts: 1858000 | #Constraints: 37688 3232.21/3241.41 c #Conflicts: 1859000 | #Constraints: 38688 3232.21/3241.41 c #Conflicts: 1860000 | #Constraints: 39688 3232.21/3241.41 c #Conflicts: 1861000 | #Constraints: 40688 3232.21/3241.41 c #Conflicts: 1862000 | #Constraints: 41689 3232.21/3241.41 c #Conflicts: 1863000 | #Constraints: 42690 3232.21/3241.41 c #Conflicts: 1864000 | #Constraints: 43690 3232.21/3241.41 c #Conflicts: 1865000 | #Constraints: 44690 3232.21/3241.41 c #Conflicts: 1866000 | #Constraints: 45690 3232.21/3241.41 c #Conflicts: 1867000 | #Constraints: 46690 3232.21/3241.41 c #Conflicts: 1868000 | #Constraints: 47693 3232.21/3241.41 c #Conflicts: 1869000 | #Constraints: 48695 3232.21/3241.41 c #Conflicts: 1870000 | #Constraints: 49695 3232.21/3241.41 c #Conflicts: 1871000 | #Constraints: 50695 3232.21/3241.41 c #Conflicts: 1872000 | #Constraints: 51695 3232.21/3241.41 c #Conflicts: 1873000 | #Constraints: 52695 3232.21/3241.41 c #Conflicts: 1874000 | #Constraints: 53695 3232.21/3241.41 c #Conflicts: 1875000 | #Constraints: 54695 3232.21/3241.41 c #Conflicts: 1876000 | #Constraints: 55699 3232.21/3241.41 c #Conflicts: 1877000 | #Constraints: 56699 3232.21/3241.41 c #Conflicts: 1878000 | #Constraints: 57699 3232.21/3241.41 c #Conflicts: 1879000 | #Constraints: 58699 3232.21/3241.41 c #Conflicts: 1880000 | #Constraints: 59699 3232.21/3241.41 c #Conflicts: 1881000 | #Constraints: 60699 3232.21/3241.41 c INPROCESSING 3232.21/3241.41 c GARBAGE COLLECT 3232.21/3241.41 c rational objective 91 3368.29/3377.85 c #Conflicts: 1882000 | #Constraints: 34333 3368.29/3377.85 c #Conflicts: 1883000 | #Constraints: 35333 3368.29/3377.85 c #Conflicts: 1884000 | #Constraints: 36336 3368.29/3377.85 c #Conflicts: 1885000 | #Constraints: 37430 3368.29/3377.85 c #Conflicts: 1886000 | #Constraints: 38534 3368.29/3377.85 c #Conflicts: 1887000 | #Constraints: 39534 3368.29/3377.85 c #Conflicts: 1888000 | #Constraints: 40534 3368.29/3377.85 c #Conflicts: 1889000 | #Constraints: 41535 3368.29/3377.85 c #Conflicts: 1890000 | #Constraints: 42542 3368.29/3377.85 c #Conflicts: 1891000 | #Constraints: 43556 3368.29/3377.85 c #Conflicts: 1892000 | #Constraints: 44907 3368.29/3377.85 c #Conflicts: 1893000 | #Constraints: 46624 3368.29/3377.85 c #Conflicts: 1894000 | #Constraints: 48189 3368.29/3377.85 c #Conflicts: 1895000 | #Constraints: 49189 3368.29/3377.85 c #Conflicts: 1896000 | #Constraints: 50190 3368.29/3377.85 c #Conflicts: 1897000 | #Constraints: 51395 3368.29/3377.85 c #Conflicts: 1898000 | #Constraints: 52608 3368.29/3377.85 c #Conflicts: 1899000 | #Constraints: 53916 3368.29/3377.85 c #Conflicts: 1900000 | #Constraints: 54916 3368.29/3377.85 c #Conflicts: 1901000 | #Constraints: 55938 3368.29/3377.85 c #Conflicts: 1902000 | #Constraints: 57089 3368.29/3377.85 c #Conflicts: 1903000 | #Constraints: 58330 3368.29/3377.85 c #Conflicts: 1904000 | #Constraints: 59841 3368.29/3377.85 c #Conflicts: 1905000 | #Constraints: 60841 3368.29/3377.85 c #Conflicts: 1906000 | #Constraints: 61841 3368.29/3377.85 c #Conflicts: 1907000 | #Constraints: 62843 3368.29/3377.85 c #Conflicts: 1908000 | #Constraints: 64025 3368.29/3377.85 c #Conflicts: 1909000 | #Constraints: 65140 3368.29/3377.85 c INPROCESSING 3368.29/3377.85 c GARBAGE COLLECT 3368.29/3377.85 c #Conflicts: 1910000 | #Constraints: 36805 3368.29/3377.85 c #Conflicts: 1911000 | #Constraints: 37805 3368.29/3377.85 c #Conflicts: 1912000 | #Constraints: 38805 3368.29/3377.85 c #Conflicts: 1913000 | #Constraints: 39805 3368.29/3377.85 c #Conflicts: 1914000 | #Constraints: 40805 3368.29/3377.85 c #Conflicts: 1915000 | #Constraints: 41805 3368.29/3377.85 c #Conflicts: 1916000 | #Constraints: 42805 3368.29/3377.85 c #Conflicts: 1917000 | #Constraints: 43806 3368.29/3377.85 c #Conflicts: 1918000 | #Constraints: 44806 3368.29/3377.85 c #Conflicts: 1919000 | #Constraints: 45812 3368.29/3377.85 c #Conflicts: 1920000 | #Constraints: 46812 3368.29/3377.85 c #Conflicts: 1921000 | #Constraints: 47820 3368.29/3377.85 c #Conflicts: 1922000 | #Constraints: 48820 3368.29/3377.85 c #Conflicts: 1923000 | #Constraints: 49821 3368.29/3377.85 c #Conflicts: 1924000 | #Constraints: 50821 3368.29/3377.85 c #Conflicts: 1925000 | #Constraints: 51828 3368.29/3377.85 c #Conflicts: 1926000 | #Constraints: 52830 3368.29/3377.85 c #Conflicts: 1927000 | #Constraints: 53832 3368.29/3377.85 c #Conflicts: 1928000 | #Constraints: 54832 3368.29/3377.85 c #Conflicts: 1929000 | #Constraints: 55832 3368.29/3377.85 c #Conflicts: 1930000 | #Constraints: 56834 3368.29/3377.85 c #Conflicts: 1931000 | #Constraints: 57834 3368.29/3377.85 c #Conflicts: 1932000 | #Constraints: 58835 3368.29/3377.85 c #Conflicts: 1933000 | #Constraints: 59837 3368.29/3377.85 c #Conflicts: 1934000 | #Constraints: 60837 3368.29/3377.85 c #Conflicts: 1935000 | #Constraints: 61840 3368.29/3377.85 c #Conflicts: 1936000 | #Constraints: 62841 3368.29/3377.85 c #Conflicts: 1937000 | #Constraints: 63841 3368.29/3377.85 c INPROCESSING 3368.29/3377.85 c GARBAGE COLLECT 3368.29/3377.85 c rational objective 91 3456.68/3466.42 c #Conflicts: 1938000 | #Constraints: 36205 3456.68/3466.42 c #Conflicts: 1939000 | #Constraints: 37205 3456.68/3466.42 c #Conflicts: 1940000 | #Constraints: 38205 3456.68/3466.42 c #Conflicts: 1941000 | #Constraints: 39206 3456.68/3466.42 c #Conflicts: 1942000 | #Constraints: 40207 3456.68/3466.42 c #Conflicts: 1943000 | #Constraints: 41207 3456.68/3466.42 c #Conflicts: 1944000 | #Constraints: 42207 3456.68/3466.42 c #Conflicts: 1945000 | #Constraints: 43209 3456.68/3466.42 c #Conflicts: 1946000 | #Constraints: 44228 3456.68/3466.42 c #Conflicts: 1947000 | #Constraints: 45271 3456.68/3466.42 c #Conflicts: 1948000 | #Constraints: 46309 3456.68/3466.42 c #Conflicts: 1949000 | #Constraints: 47566 3456.68/3466.42 c #Conflicts: 1950000 | #Constraints: 48955 3456.68/3466.42 c #Conflicts: 1951000 | #Constraints: 49955 3456.68/3466.42 c #Conflicts: 1952000 | #Constraints: 50955 3456.68/3466.42 c #Conflicts: 1953000 | #Constraints: 51955 3456.68/3466.42 c #Conflicts: 1954000 | #Constraints: 52955 3456.68/3466.42 c #Conflicts: 1955000 | #Constraints: 53956 3456.68/3466.42 c #Conflicts: 1956000 | #Constraints: 54963 3456.68/3466.42 c #Conflicts: 1957000 | #Constraints: 55963 3456.68/3466.42 c #Conflicts: 1958000 | #Constraints: 56964 3456.68/3466.42 c #Conflicts: 1959000 | #Constraints: 57964 3456.68/3466.42 c #Conflicts: 1960000 | #Constraints: 59154 3456.68/3466.42 c #Conflicts: 1961000 | #Constraints: 60265 3456.68/3466.42 c #Conflicts: 1962000 | #Constraints: 61880 3456.68/3466.42 c #Conflicts: 1963000 | #Constraints: 63538 3456.68/3466.42 c #Conflicts: 1964000 | #Constraints: 65034 3456.68/3466.42 c #Conflicts: 1965000 | #Constraints: 66108 3456.68/3466.42 c INPROCESSING 3456.68/3466.42 c GARBAGE COLLECT 3456.68/3466.42 c rational objective 91 3524.13/3534.05 c #Conflicts: 1966000 | #Constraints: 37342 3524.13/3534.05 c #Conflicts: 1967000 | #Constraints: 38342 3524.13/3534.05 c #Conflicts: 1968000 | #Constraints: 39342 3524.13/3534.05 c #Conflicts: 1969000 | #Constraints: 40342 3524.13/3534.05 c #Conflicts: 1970000 | #Constraints: 41344 3524.13/3534.05 c #Conflicts: 1971000 | #Constraints: 42345 3524.13/3534.05 c #Conflicts: 1972000 | #Constraints: 43345 3524.13/3534.05 c #Conflicts: 1973000 | #Constraints: 44345 3524.13/3534.05 c #Conflicts: 1974000 | #Constraints: 45345 3524.13/3534.05 c #Conflicts: 1975000 | #Constraints: 46345 3524.13/3534.05 c #Conflicts: 1976000 | #Constraints: 47348 3524.13/3534.05 c #Conflicts: 1977000 | #Constraints: 48348 3524.13/3534.05 c #Conflicts: 1978000 | #Constraints: 49349 3524.13/3534.05 c #Conflicts: 1979000 | #Constraints: 50349 3524.13/3534.05 c #Conflicts: 1980000 | #Constraints: 51349 3524.13/3534.05 c #Conflicts: 1981000 | #Constraints: 52349 3524.13/3534.05 c #Conflicts: 1982000 | #Constraints: 53349 3524.13/3534.05 c #Conflicts: 1983000 | #Constraints: 54349 3524.13/3534.05 c #Conflicts: 1984000 | #Constraints: 55349 3524.13/3534.05 c #Conflicts: 1985000 | #Constraints: 56349 3524.13/3534.05 c #Conflicts: 1986000 | #Constraints: 57349 3524.13/3534.05 c #Conflicts: 1987000 | #Constraints: 58349 3524.13/3534.05 c #Conflicts: 1988000 | #Constraints: 59349 3524.13/3534.05 c #Conflicts: 1989000 | #Constraints: 60349 3524.13/3534.05 c #Conflicts: 1990000 | #Constraints: 61349 3524.13/3534.05 c #Conflicts: 1991000 | #Constraints: 62349 3524.13/3534.05 c #Conflicts: 1992000 | #Constraints: 63349 3524.13/3534.05 c #Conflicts: 1993000 | #Constraints: 64350 3524.13/3534.05 c INPROCESSING 3524.13/3534.05 c GARBAGE COLLECT 3524.13/3534.05 c rational objective 91 3600.05/3610.10 c 3600.05/3610.10 s SATISFIABLE 3600.05/3610.10 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 x1049 x1050 x1051 x1052 x1053 x1054 x1055 x1056 ~x1057 x1058 x1059 x1060 x1061 x1062 x1063 ~x1064 x1065 x1066 x1067 x1068 x1069 ~x1070 x1071 x1072 x1073 x1074 ~x1075 ~x1076 x1077 x1078 ~x1079 ~x1080 ~x1081 ~x1082 ~x1083 ~x1084 x1085 x1086 x1087 x1088 x1089 x1090 x1091 x1092 x1093 x1094 ~x1095 x1096 x1097 x1098 x1099 x1100 x1101 x1102 x1103 x1104 ~x1105 ~x1106 x1107 x1108 x1109 x1110 x1111 x1112 x1113 x1114 ~x1115 x1116 x1117 x1118 x1119 x1120 x1121 x1122 x1123 ~x1124 ~x1125 x1126 x1127 x1128 x1129 x1130 x1131 ~x1132 ~x1133 ~x1134 x1135 x1136 x1137 x1138 ~x1139 ~x1140 ~x1141 ~x1142 ~x1143 ~x1144 ~x1145 ~x1146 ~x1147 ~x1148 ~x1149 ~x1150 ~x1151 ~x1152 ~x1153 ~x1154 ~x1155 ~x1156 ~x1157 ~x1158 ~x1159 x1160 x1161 x1162 x1163 x1164 x1165 x1166 x1167 x1168 x1169 x1170 x1171 x1172 x1173 x1174 x1175 x1176 x1177 ~x1178 x1179 x1180 x1181 x1182 x1183 x1184 x1185 x1186 ~x1187 ~x1188 x1189 x1190 x1191 x1192 x1193 x1194 x1195 ~x1196 ~x1197 ~x1198 x1199 x1200 x1201 x1202 x1203 ~x1204 ~x1205 ~x1206 ~x1207 ~x1208 ~x1209 ~x1210 ~x1211 ~x1212 ~x1213 ~x1214 ~x1215 ~x1216 ~x1217 ~x1218 ~x1219 ~x1220 ~x1221 ~x1222 ~x1223 ~x1224 ~x1225 ~x1226 ~x1227 ~x1228 ~x1229 ~x1230 ~x1231 x1232 x1233 x1234 x1235 x1236 x1237 x1238 x1239 x1240 x1241 x1242 x1243 x1244 x1245 x1246 x1247 ~x1248 ~x1249 x1250 x1251 x1252 x1253 x1254 x1255 ~x1256 ~x1257 ~x1258 x1259 x1260 x1261 x1262 x1263 ~x1264 ~x1265 ~x1266 ~x1267 ~x1268 ~x1269 ~x1270 x1271 ~x1272 ~x1273 ~x1274 ~x1275 ~x1276 ~x1277 ~x1278 ~x1279 ~x1280 ~x1281 ~x1282 ~x1283 ~x1284 ~x1285 ~x1286 ~x1287 ~x1288 ~x1289 ~x1290 ~x1291 ~x1292 ~x1293 ~x1294 ~x1295 ~x1296 ~x1297 ~x1298 ~x1299 x1300 x1301 x1302 x1303 x1304 x1305 x1306 ~x1307 x1308 x1309 x1310 x1311 x1312 x1313 ~x1314 ~x1315 ~x1316 x1317 x1318 x1319 x1320 ~x1321 ~x1322 ~x1323 ~x1324 ~x1325 ~x1326 ~x1327 ~x1328 ~x1329 ~x1330 ~x1331 ~x1332 ~x1333 ~x1334 ~x1335 ~x1336 ~x1337 ~x1338 ~x1339 ~x1340 ~x1341 ~x1342 ~x1343 ~x1344 ~x1345 ~x1346 ~x1347 ~x1348 ~x1349 ~x1350 ~x1351 ~x1352 ~x1353 ~x1354 ~x1355 ~x1356 ~x1357 ~x1358 ~x1359 ~x1360 ~x1361 ~x1362 x1363 x1364 x1365 x1366 x1367 x1368 ~x1369 x1370 x1371 x1372 x1373 x1374 ~x1375 ~x1376 ~x1377 ~x1378 ~x1379 ~x1380 ~x1381 ~x1382 ~x1383 ~x1384 ~x1385 ~x1386 ~x1387 ~x1388 ~x1389 ~x1390 ~x1391 ~x1392 ~x1393 ~x1394 ~x1395 ~x1396 ~x1397 ~x1398 ~x1399 ~x1400 ~x1401 ~x1402 ~x1403 ~x1404 ~x1405 ~x1406 ~x1407 ~x1408 ~x1409 ~x1410 ~x1411 ~x1412 ~x1413 ~x1414 ~x1415 ~x1416 ~x1417 ~x1418 ~x1419 x1420 x1421 x1422 x1423 x1424 ~x1425 x1426 x1427 x1428 x1429 ~x1430 ~x1431 ~x1432 ~x1433 ~x1434 ~x1435 ~x1436 ~x1437 ~x1438 ~x1439 ~x1440 ~x1441 ~x1442 ~x1443 ~x1444 ~x1445 ~x1446 ~x1447 ~x1448 ~x1449 ~x1450 ~x1451 ~x1452 ~x1453 ~x1454 ~x1455 ~x1456 ~x1457 ~x1458 ~x1459 ~x1460 ~x1461 ~x1462 ~x1463 ~x1464 ~x1465 ~x1466 ~x1467 ~x1468 ~x1469 x1470 x1471 x1472 x1473 ~x1474 ~x1475 x1476 x1477 ~x1478 ~x1479 ~x1480 ~x1481 ~x1482 ~x1483 ~x1484 ~x1485 ~x1486 ~x1487 ~x1488 ~x1489 ~x1490 ~x1491 ~x1492 ~x1493 ~x1494 ~x1495 ~x1496 ~x1497 ~x1498 ~x1499 ~x1500 ~x1501 ~x1502 ~x1503 ~x1504 ~x1505 ~x1506 ~x1507 ~x1508 ~x1509 ~x1510 ~x1511 ~x1512 ~x1513 ~x1514 ~x1515 ~x1516 ~x1517 ~x1518 ~x1519 ~x1520 ~x1521 ~x1522 ~x1523 ~x1524 ~x1525 ~x1526 ~x1527 ~x1528 ~x1529 ~x1530 ~x1531 ~x1532 ~x1533 ~x1534 ~x1535 ~x1536 ~x1537 ~x1538 ~x1539 ~x1540 ~x1541 ~x1542 ~x1543 ~x1544 ~x1545 ~x1546 ~x1547 ~x1548 ~x1549 ~x1550 ~x1551 ~x1552 ~x1553 ~x1554 ~x1555 ~x1556 ~x1557 ~x1558 ~x1559 ~x1560 ~x1561 ~x1562 ~x1563 ~x1564 ~x1565 ~x1566 ~x1567 ~x1568 ~x1569 ~x1570 ~x1571 ~x1572 ~x1573 ~x1574 ~x1575 ~x1576 ~x1577 ~x1578 ~x1579 x1580 x1581 x1582 x1583 x1584 x1585 x1586 x1587 x1588 x1589 x1590 x1591 x1592 x1593 x1594 x1595 x1596 x1597 x1598 x1599 x1600 x1601 x1602 x1603 x1604 x1605 x1606 x1607 x1608 x1609 x1610 x1611 x1612 x1613 x1614 x1615 x1616 x1617 x1618 x1619 x1620 x1621 x1622 x1623 x1624 ~x1625 x1626 x1627 x1628 x1629 x1630 x1631 x1632 x1633 x1634 x1635 x1636 x1637 x1638 x1639 ~x1640 ~x1641 ~x1642 ~x1643 ~x1644 ~x1645 x1646 x1647 x1648 x1649 x1650 x1651 x1652 x1653 x1654 x1655 ~x1656 ~x1657 x1658 x1659 x1660 x1661 x1662 x1663 x1664 x1665 ~x1666 x1667 x1668 x1669 x1670 x1671 x1672 x1673 x1674 ~x1675 x1676 x1677 x1678 x1679 x1680 x1681 x1682 ~x1683 ~x1684 ~x1685 x1686 x1687 x1688 x1689 ~x1690 ~x1691 ~x1692 ~x1693 x1694 x1695 ~x1696 ~x1697 ~x1698 ~x1699 ~x1700 ~x1701 ~x1702 ~x1703 ~x1704 ~x1705 ~x1706 ~x1707 ~x1708 ~x1709 ~x1710 x1711 x1712 x1713 x1714 x1715 x1716 x1717 x1718 x1719 ~x1720 x1721 x1722 x1723 x1724 x1725 x1726 x1727 x1728 ~x1729 x1730 x1731 x1732 x1733 x1734 x1735 x1736 x1737 ~x1738 ~x1739 x1740 x1741 x1742 x1743 x1744 x1745 ~x1746 ~x1747 ~x1748 ~x1749 ~x1750 x1751 x1752 ~x1753 ~x1754 ~x1755 ~x1756 ~x1757 ~x1758 ~x1759 ~x1760 ~x1761 ~x1762 ~x1763 ~x1764 ~x1765 ~x1766 ~x1767 ~x1768 ~x1769 ~x1770 ~x1771 ~x1772 ~x1773 x1774 x1775 x1776 x1777 x1778 x1779 x1780 x1781 ~x1782 x1783 x1784 x1785 x1786 x1787 x1788 x1789 ~x1790 ~x1791 x1792 x1793 x1794 x1795 x1796 x1797 ~x1798 ~x1799 ~x1800 ~x1801 x1802 x1803 x1804 x1805 ~x1806 ~x1807 ~x1808 ~x1809 ~x1810 ~x1811 ~x1812 ~x1813 ~x1814 ~x1815 ~x1816 ~x1817 ~x1818 ~x1819 ~x1820 ~x1821 ~x1822 ~x1823 ~x1824 ~x1825 ~x1826 ~x1827 ~x1828 ~x1829 ~x1830 ~x1831 ~x1832 ~x1833 x1834 x1835 x1836 x1837 x1838 x1839 x1840 ~x1841 ~x1842 ~x1843 x1844 x1845 x1846 x1847 ~x1848 ~x1849 ~x1850 ~x1851 ~x1852 x1853 x1854 ~x1855 ~x1856 ~x1857 ~x1858 ~x1859 ~x1860 ~x1861 ~x1862 ~x1863 ~x1864 ~x1865 ~x1866 ~x1867 ~x1868 ~x1869 ~x1870 ~x1871 ~x1872 ~x1873 ~x1874 ~x1875 ~x1876 ~x1877 ~x1878 ~x1879 ~x1880 ~x1881 ~x1882 ~x1883 ~x1884 ~x1885 ~x1886 ~x1887 ~x1888 ~x1889 ~x1890 x1891 x1892 x1893 x1894 x1895 ~x1896 ~x1897 ~x1898 ~x1899 x1900 x1901 ~x1902 ~x1903 ~x1904 ~x1905 ~x1906 ~x1907 ~x1908 ~x1909 ~x1910 ~x1911 ~x1912 ~x1913 ~x1914 ~x1915 ~x1916 ~x1917 ~x1918 ~x1919 ~x1920 ~x1921 ~x1922 ~x1923 ~x1924 ~x1925 ~x1926 ~x1927 ~x1928 ~x1929 ~x1930 ~x1931 ~x1932 ~x1933 ~x1934 ~x1935 ~x1936 ~x1937 ~x1938 ~x1939 ~x1940 x1941 x1942 x1943 x1944 x1945 ~x1946 ~x1947 ~x1948 ~x1949 ~x1950 ~x1951 ~x1952 ~x1953 ~x1954 ~x1955 ~x1956 ~x1957 ~x1958 ~x1959 ~x1960 ~x1961 ~x1962 ~x1963 ~x1964 ~x1965 ~x1966 ~x1967 ~x1968 ~x1969 ~x1970 ~x1971 ~x1972 ~x1973 ~x1974 ~x1975 ~x1976 ~x1977 ~x1978 ~x1979 ~x1980 ~x1981 ~x1982 ~x1983 ~x1984 ~x1985 x1986 x1987 x1988 x1989 ~x1990 ~x1991 ~x1992 ~x1993 ~x1994 ~x1995 ~x1996 ~x1997 ~x1998 ~x1999 ~x2000 ~x2001 ~x2002 ~x2003 ~x2004 ~x2005 ~x2006 ~x2007 ~x2008 ~x2009 ~x2010 ~x2011 ~x2012 ~x2013 ~x2014 ~x2015 ~x2016 ~x2017 ~x2018 ~x2019 ~x2020 ~x2021 ~x2022 ~x2023 ~x2024 ~x2025 ~x2026 ~x2027 ~x2028 ~x2029 ~x2030 ~x2031 ~x2032 ~x2033 ~x2034 ~x2035 ~x2036 ~x2037 ~x2038 ~x2039 ~x2040 ~x2041 ~x2042 ~x2043 ~x2044 ~x2045 ~x2046 ~x2047 ~x2048 ~x2049 ~x2050 ~x2051 ~x2052 ~x2053 ~x2054 ~x2055 ~x2056 ~x2057 ~x2058 ~x2059 ~x2060 ~x2061 ~x2062 ~x2063 ~x2064 ~x2065 ~x2066 ~x2067 ~x2068 ~x2069 ~x2070 ~x2071 ~x2072 ~x2073 ~x2074 ~x2075 ~x2076 ~x2077 ~x2078 ~x2079 ~x2080 ~x2081 ~x2082 ~x2083 ~x2084 ~x2085 ~x2086 x2087 x2088 x2089 x2090 x2091 x2092 x2093 x2094 x2095 ~x2096 x2097 x2098 x2099 x2100 x2101 x2102 x2103 x2104 x2105 x2106 x2107 x2108 x2109 x2110 x2111 x2112 ~x2113 ~x2114 x2115 x2116 x2117 x2118 x2119 ~x2120 ~x2121 x2122 x2123 x2124 x2125 ~x2126 ~x2127 ~x2128 x2129 x2130 ~x2131 ~x2132 ~x2133 ~x2134 ~x2135 ~x2136 ~x2137 ~x2138 ~x2139 ~x2140 ~x2141 x2142 x2143 x2144 x2145 x2146 x2147 x2148 x2149 ~x2150 x2151 x2152 x2153 x2154 x2155 x2156 x2157 x2158 ~x2159 x2160 x2161 x2162 x2163 x2164 x2165 x2166 ~x2167 ~x2168 ~x2169 x2170 x2171 x2172 x2173 ~x2174 ~x2175 ~x2176 ~x2177 ~x2178 x2179 ~x2180 ~x2181 ~x2182 ~x2183 ~x2184 ~x2185 ~x2186 ~x2187 ~x2188 ~x2189 ~x2190 ~x2191 ~x2192 ~x2193 ~x2194 x2195 x2196 x2197 x2198 x2199 x2200 x2201 x2202 ~x2203 x2204 x2205 x2206 x2207 x2208 x2209 x2210 ~x2211 ~x2212 ~x2213 ~x2214 x2215 x2216 x2217 x2218 ~x2219 ~x2220 ~x2221 ~x2222 ~x2223 ~x2224 ~x2225 ~x2226 ~x2227 ~x2228 ~x2229 ~x2230 ~x2231 ~x2232 ~x2233 ~x2234 ~x2235 ~x2236 ~x2237 ~x2238 ~x2239 ~x2240 ~x2241 ~x2242 ~x2243 ~x2244 ~x2245 ~x2246 ~x2247 ~x2248 x2249 x2250 x2251 x2252 x2253 ~x2254 ~x2255 ~x2256 x2257 x2258 x2259 x2260 ~x2261 ~x2262 ~x2263 ~x2264 ~x2265 ~x2266 ~x2267 ~x2268 ~x2269 ~x2270 ~x2271 ~x2272 ~x2273 ~x2274 ~x2275 ~x2276 ~x2277 ~x2278 ~x2279 ~x2280 ~x2281 ~x2282 ~x2283 ~x2284 ~x2285 ~x2286 ~x2287 ~x2288 ~x2289 ~x2290 ~x2291 ~x2292 ~x2293 ~x2294 ~x2295 ~x2296 ~x2297 x2298 x2299 x2300 x2301 ~x2302 ~x2303 ~x2304 ~x2305 ~x2306 x2307 ~x2308 ~x2309 ~x2310 ~x2311 ~x2312 ~x2313 ~x2314 ~x2315 ~x2316 ~x2317 ~x2318 ~x2319 ~x2320 ~x2321 ~x2322 ~x2323 ~x2324 ~x2325 ~x2326 ~x2327 ~x2328 ~x2329 ~x2330 ~x2331 ~x2332 ~x2333 ~x2334 ~x2335 ~x2336 ~x2337 ~x2338 ~x2339 ~x2340 ~x2341 ~x2342 ~x2343 x2344 x2345 ~x2346 ~x2347 ~x2348 ~x2349 ~x2350 ~x2351 ~x2352 ~x2353 ~x2354 ~x2355 ~x2356 ~x2357 ~x2358 ~x2359 ~x2360 ~x2361 ~x2362 ~x2363 ~x2364 ~x2365 ~x2366 ~x2367 ~x2368 ~x2369 ~x2370 ~x2371 ~x2372 ~x2373 ~x2374 ~x2375 ~x2376 ~x2377 ~x2378 ~x2379 ~x2380 ~x2381 ~x2382 ~x2383 ~x2384 ~x2385 ~x2386 ~x2387 ~x2388 ~x2389 ~x2390 ~x2391 ~x2392 ~x2393 ~x2394 ~x2395 ~x2396 ~x2397 ~x2398 ~x2399 ~x2400 ~x2401 ~x2402 ~x2403 ~x2404 ~x2405 ~x2406 ~x2407 ~x2408 ~x2409 ~x2410 ~x2411 ~x2412 ~x2413 ~x2414 ~x2415 ~x2416 ~x2417 ~x2418 ~x2419 ~x2420 ~x2421 ~x2422 ~x2423 ~x2424 ~x2425 ~x2426 ~x2427 ~x2428 ~x2429 ~x2430 ~x2431 ~x2432 ~x2433 ~x2434 ~x2435 ~x2436 ~x2437 ~x2438 ~x2439 ~x2440 ~x2441 ~x2442 ~x2443 ~x2444 ~x2445 ~x2446 ~x2447 ~x2448 ~x2449 ~x2450 ~x2451 ~x2452 ~x2453 ~x2454 ~x2455 ~x2456 ~x2457 ~x2458 ~x2459 ~x2460 ~x2461 ~x2462 ~x2463 ~x2464 ~x2465 ~x2466 ~x2467 ~x2468 ~x2469 ~x2470 x2471 x2472 x2473 x2474 x2475 x2476 x2477 x2478 x2479 x2480 x2481 x2482 x2483 x2484 x2485 x2486 x2487 x2488 x2489 x2490 x2491 x2492 x2493 x2494 ~x2495 x2496 x2497 x2498 x2499 x2500 ~x2501 x2502 x2503 x2504 x2505 x2506 x2507 x2508 x2509 ~x2510 ~x2511 ~x2512 ~x2513 ~x2514 ~x2515 x2516 x2517 x2518 x2519 x2520 x2521 x2522 x2523 ~x2524 x2525 x2526 x2527 x2528 x2529 x2530 x2531 ~x2532 ~x2533 ~x2534 x2535 x2536 x2537 x2538 ~x2539 ~x2540 ~x2541 ~x2542 x2543 x2544 ~x2545 ~x2546 ~x2547 ~x2548 ~x2549 ~x2550 ~x2551 ~x2552 ~x2553 ~x2554 ~x2555 ~x2556 ~x2557 ~x2558 ~x2559 x2560 x2561 x2562 x2563 x2564 x2565 x2566 ~x2567 ~x2568 ~x2569 x2570 x2571 x2572 x2573 ~x2574 ~x2575 ~x2576 ~x2577 ~x2578 ~x2579 ~x2580 ~x2581 ~x2582 ~x2583 ~x2584 ~x2585 ~x2586 ~x2587 ~x2588 ~x2589 ~x2590 ~x2591 ~x2592 ~x2593 ~x2594 ~x2595 ~x2596 ~x2597 ~x2598 ~x2599 ~x2600 ~x2601 ~x2602 x2603 x2604 x2605 x2606 x2607 ~x2608 ~x2609 ~x2610 ~x2611 x2612 x2613 ~x2614 ~x2615 ~x2616 ~x2617 ~x2618 ~x2619 ~x2620 ~x2621 ~x2622 ~x2623 ~x2624 ~x2625 ~x2626 ~x2627 ~x2628 ~x2629 ~x2630 ~x2631 ~x2632 ~x2633 ~x2634 ~x2635 ~x2636 ~x2637 ~x2638 ~x2639 ~x2640 ~x2641 x2642 x2643 x2644 x2645 ~x2646 ~x2647 ~x2648 ~x2649 ~x2650 ~x2651 ~x2652 ~x2653 ~x2654 ~x2655 ~x2656 ~x2657 ~x2658 ~x2659 ~x2660 ~x2661 ~x2662 ~x2663 ~x2664 ~x2665 ~x2666 ~x2667 ~x2668 ~x2669 ~x2670 ~x2671 ~x2672 ~x2673 ~x2674 ~x2675 x2676 x2677 x2678 x2679 ~x2680 ~x2681 ~x2682 ~x2683 ~x2684 ~x2685 ~x2686 ~x2687 ~x2688 ~x2689 ~x2690 ~x2691 ~x2692 ~x2693 ~x2694 ~x2695 ~x2696 ~x2697 ~x2698 ~x2699 ~x2700 ~x2701 ~x2702 ~x2703 ~x2704 ~x2705 ~x2706 ~x2707 ~x2708 ~x2709 ~x2710 ~x2711 ~x2712 ~x2713 ~x2714 ~x2715 ~x2716 ~x2717 ~x2718 ~x2719 ~x2720 ~x2721 ~x2722 ~x2723 ~x2724 ~x2725 ~x2726 ~x2727 ~x2728 ~x2729 ~x2730 ~x2731 ~x2732 ~x2733 ~x2734 ~x2735 ~x2736 ~x2737 ~x2738 ~x2739 ~x2740 ~x2741 ~x2742 ~x2743 ~x2744 ~x2745 ~x2746 ~x2747 ~x2748 ~x2749 ~x2750 ~x2751 ~x2752 ~x2753 ~x2754 ~x2755 x2756 x2757 x2758 x2759 x2760 x2761 x2762 x2763 ~x2764 ~x2765 x2766 x2767 x2768 x2769 x2770 ~x2771 ~x2772 x2773 x2774 x2775 x2776 ~x2777 x2778 x2779 x2780 x2781 ~x2782 ~x2783 ~x2784 ~x2785 ~x2786 ~x2787 ~x2788 ~x2789 ~x2790 ~x2791 ~x2792 ~x2793 x2794 x2795 x2796 x2797 x2798 ~x2799 ~x2800 ~x2801 ~x2802 ~x2803 ~x2804 x2805 ~x2806 ~x2807 ~x2808 ~x2809 ~x2810 ~x2811 ~x2812 ~x2813 ~x2814 ~x2815 ~x2816 ~x2817 ~x2818 ~x2819 ~x2820 ~x2821 ~x2822 ~x2823 ~x2824 ~x2825 ~x2826 ~x2827 ~x2828 x2829 x2830 x2831 x2832 ~x2833 ~x2834 ~x2835 ~x2836 ~x2837 ~x2838 ~x2839 ~x2840 ~x2841 ~x2842 ~x2843 ~x2844 ~x2845 ~x2846 ~x2847 ~x2848 ~x2849 ~x2850 ~x2851 ~x2852 ~x2853 ~x2854 ~x2855 ~x2856 ~x2857 ~x2858 ~x2859 ~x2860 x2861 x2862 x2863 x2864 ~x2865 ~x2866 ~x2867 ~x2868 ~x2869 ~x2870 ~x2871 ~x2872 ~x2873 ~x2874 ~x2875 ~x2876 ~x2877 ~x2878 ~x2879 ~x2880 ~x2881 ~x2882 ~x2883 ~x2884 ~x2885 ~x2886 ~x2887 ~x2888 ~x2889 ~x2890 ~x2891 ~x2892 ~x2893 ~x2894 ~x2895 ~x2896 ~x2897 ~x2898 ~x2899 ~x2900 ~x2901 ~x2902 ~x2903 ~x2904 ~x2905 ~x2906 ~x2907 ~x2908 ~x2909 ~x2910 ~x2911 ~x2912 ~x2913 ~x2914 ~x2915 ~x2916 ~x2917 ~x2918 ~x2919 ~x2920 ~x2921 ~x2922 ~x2923 ~x2924 ~x2925 ~x2926 ~x2927 ~x2928 ~x2929 ~x2930 ~x2931 ~x2932 ~x2933 ~x2934 ~x2935 ~x2936 ~x2937 ~x2938 ~x2939 ~x2940 ~x2941 ~x2942 ~x2943 ~x2944 ~x2945 ~x2946 ~x2947 ~x2948 ~x2949 ~x2950 ~x2951 ~x2952 ~x2953 ~x2954 ~x2955 ~x2956 ~x2957 ~x2958 ~x2959 ~x2960 ~x2961 x2962 x2963 x2964 x2965 x2966 ~x2967 ~x2968 x2969 x2970 x2971 x2972 ~x2973 ~x2974 ~x2975 x2976 x2977 ~x2978 ~x2979 ~x2980 ~x2981 ~x2982 ~x2983 ~x2984 ~x2985 ~x2986 ~x2987 ~x2988 ~x2989 x2990 x2991 x2992 x2993 ~x2994 ~x2995 ~x2996 ~x2997 ~x2998 ~x2999 ~x3000 ~x3001 ~x3002 ~x3003 ~x3004 ~x3005 ~x3006 ~x3007 ~x3008 ~x3009 ~x3010 ~x3011 ~x3012 ~x3013 ~x3014 ~x3015 ~x3016 ~x3017 x3018 x3019 ~x3020 ~x3021 ~x3022 ~x3023 ~x3024 ~x3025 ~x3026 ~x3027 ~x3028 ~x3029 ~x3030 ~x3031 ~x3032 ~x3033 ~x3034 ~x3035 ~x3036 ~x3037 ~x3038 ~x3039 ~x3040 ~x3041 ~x3042 ~x3043 ~x3044 ~x3045 ~x3046 ~x3047 ~x3048 ~x3049 ~x3050 ~x3051 ~x3052 ~x3053 ~x3054 ~x3055 ~x3056 ~x3057 ~x3058 ~x3059 ~x3060 ~x3061 ~x3062 ~x3063 ~x3064 ~x3065 ~x3066 ~x3067 ~x3068 ~x3069 ~x3070 ~x3071 ~x3072 ~x3073 ~x3074 ~x3075 ~x3076 ~x3077 ~x3078 ~x3079 ~x3080 ~x3081 ~x3082 ~x3083 ~x3084 ~x3085 ~x3086 ~x3087 ~x3088 ~x3089 ~x3090 ~x3091 ~x3092 ~x3093 ~x3094 ~x3095 ~x3096 ~x3097 ~x3098 ~x3099 ~x3100 x3101 x3102 x3103 x3104 x3105 ~x3106 x3107 x3108 x3109 x3110 x3111 x3112 x3113 x3114 ~x3115 ~x3116 ~x3117 ~x3118 ~x3119 ~x3120 ~x3121 x3122 x3123 x3124 x3125 ~x3126 x3127 x3128 x3129 x3130 ~x3131 ~x3132 ~x3133 ~x3134 ~x3135 ~x3136 ~x3137 ~x3138 ~x3139 ~x3140 x3141 x3142 x3143 x3144 ~x3145 ~x3146 ~x3147 ~x3148 ~x3149 ~x3150 ~x3151 ~x3152 ~x3153 ~x3154 ~x3155 ~x3156 ~x3157 ~x3158 ~x3159 ~x3160 ~x3161 ~x3162 ~x3163 ~x3164 ~x3165 ~x3166 ~x3167 ~x3168 ~x3169 ~x3170 ~x3171 ~x3172 ~x3173 ~x3174 ~x3175 ~x3176 ~x3177 ~x3178 ~x3179 ~x3180 ~x3181 ~x3182 ~x3183 ~x3184 ~x3185 ~x3186 ~x3187 ~x3188 ~x3189 ~x3190 x3191 x3192 x3193 x3194 x3195 x3196 x3197 x3198 x3199 ~x3200 ~x3201 ~x3202 ~x3203 ~x3204 ~x3205 x3206 x3207 x3208 x3209 ~x3210 ~x3211 ~x3212 x3213 ~x3214 ~x3215 ~x3216 ~x3217 ~x3218 ~x3219 ~x3220 ~x3221 ~x3222 ~x3223 ~x3224 ~x3225 ~x3226 ~x3227 ~x3228 ~x3229 ~x3230 ~x3231 ~x3232 ~x3233 ~x3234 ~x3235 ~x3236 ~x3237 ~x3238 ~x3239 ~x3240 ~x3241 ~x3242 ~x3243 ~x3244 ~x3245 x3246 x3247 x3248 x3249 ~x3250 ~x3251 ~x3252 ~x3253 ~x3254 ~x3255 ~x3256 ~x3257 ~x3258 ~x3259 ~x3260 ~x3261 ~x3262 ~x3263 ~x3264 ~x3265 ~x3266 ~x3267 ~x3268 ~x3269 ~x3270 ~x3271 ~x3272 ~x3273 ~x3274 ~x3275 ~x3276 ~x3277 ~x3278 ~x3279 ~x3280 ~x3281 ~x3282 ~x3283 ~x3284 ~x3285 ~x3286 ~x3287 ~x3288 ~x3289 x3290 x3291 x3292 x3293 ~x3294 ~x3295 x3296 3600.05/3610.10 c #Conflicts: 1994000 | #Constraints: 36355 3600.05/3610.10 c #Conflicts: 1995000 | #Constraints: 37355 3600.05/3610.10 c #Conflicts: 1996000 | #Constraints: 38355 3600.05/3610.10 c #Conflicts: 1997000 | #Constraints: 39355 3600.05/3610.10 c #Conflicts: 1998000 | #Constraints: 40355 3600.05/3610.10 c #Conflicts: 1999000 | #Constraints: 41355 3600.05/3610.10 c #Conflicts: 2000000 | #Constraints: 42355 3600.05/3610.10 c #Conflicts: 2001000 | #Constraints: 43358 3600.05/3610.10 c #Conflicts: 2002000 | #Constraints: 44359 3600.05/3610.10 c #Conflicts: 2003000 | #Constraints: 45380 3600.05/3610.10 c #Conflicts: 2004000 | #Constraints: 46380 3600.05/3610.10 c #Conflicts: 2005000 | #Constraints: 47381 3600.05/3610.10 c #Conflicts: 2006000 | #Constraints: 48381 3600.05/3610.10 c #Conflicts: 2007000 | #Constraints: 49381 3600.05/3610.10 c #Conflicts: 2008000 | #Constraints: 50381 3600.05/3610.10 c #Conflicts: 2009000 | #Constraints: 51381 3600.05/3610.10 c #Conflicts: 2010000 | #Constraints: 52381 3600.05/3610.10 c #Conflicts: 2011000 | #Constraints: 53381 3600.05/3610.10 c #Conflicts: 2012000 | #Constraints: 54381 3600.05/3610.10 c #Conflicts: 2013000 | #Constraints: 55381 3600.05/3610.10 c #Conflicts: 2014000 | #Constraints: 56381 3600.05/3610.10 c #Conflicts: 2015000 | #Constraints: 57381 3600.05/3610.10 c #Conflicts: 2016000 | #Constraints: 58381 3600.05/3610.10 c #Conflicts: 2017000 | #Constraints: 59381 3600.05/3610.10 c #Conflicts: 2018000 | #Constraints: 60381 3600.05/3610.10 c #Conflicts: 2019000 | #Constraints: 61381 3600.05/3610.10 c #Conflicts: 2020000 | #Constraints: 62381 3600.05/3610.10 c #Conflicts: 2021000 | #Constraints: 63381 3600.05/3610.10 c INPROCESSING 3600.05/3610.10 c GARBAGE COLLECT 3600.05/3610.10 c #Conflicts: 2022000 | #Constraints: 35703 3600.05/3610.10 c #Conflicts: 2023000 | #Constraints: 36703 3600.05/3610.10 c #Conflicts: 2024000 | #Constraints: 37703 3600.05/3610.10 c #Conflicts: 2025000 | #Constraints: 38703
OK 149
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: 63968 MiB (61717 MiB free)
memory of node 1: 64473 MiB (63399 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429434-1721048795/watcher-4429434-1721048795 -o /tmp/evaluation-result-4429434-1721048795/solver-4429434-1721048795 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721048806-803035 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429434-1721048795.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=803232, runsolver pid=803229
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 3.80 4.02 4.07 4/252 803247
/proc/meminfo: memFree=128093688/131524600 swapFree=131071996/131071996
[pid=803232] ppid=803229 vsize=54436 memory=27200 CPUtime=0.1 cores=5,7
/proc/803232/stat : 803232 (roundingsat) R 803229 803232 803022 0 -1 4194304 8093 0 0 0 8 2 0 0 20 0 1 0 157043020 55742464 6800 134679101440 4194304 7968869 140730388290192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 36548608 140730388292542 140730388292706 140730388292706 140730388299721 0
/proc/803232/statm: 13609 6800 1646 922 0 5561 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 54436 KiB
Current children cumulated memory: 27200 KiB
[startup+0.205485 s]*
/proc/loadavg: 3.80 4.02 4.07 4/249 803264
/proc/meminfo: memFree=128087780/131524600 swapFree=131071996/131071996
[pid=803232] ppid=803229 vsize=59752 memory=33264 CPUtime=0.2 cores=5,7
/proc/803232/stat : 803232 (roundingsat) R 803229 803232 803022 0 -1 4194304 10759 0 0 0 18 2 0 0 20 0 1 0 157043020 61186048 8316 134679101440 4194304 7968869 140730388290192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 36548608 140730388292542 140730388292706 140730388292706 140730388299721 0
/proc/803232/statm: 14938 8316 1829 922 0 6890 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 59752 KiB
Current children cumulated memory: 33264 KiB
[startup+0.305384 s]*
/proc/loadavg: 3.80 4.02 4.07 5/255 803279
/proc/meminfo: memFree=128052448/131524600 swapFree=131071996/131071996
[pid=803232] ppid=803229 vsize=59752 memory=33264 CPUtime=0.3 cores=5,7
/proc/803232/stat : 803232 (roundingsat) R 803229 803232 803022 0 -1 4194304 10759 0 0 0 27 3 0 0 20 0 1 0 157043020 61186048 8316 134679101440 4194304 7968869 140730388290192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 36548608 140730388292542 140730388292706 140730388292706 140730388299721 0
/proc/803232/statm: 14938 8316 1829 922 0 6890 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 59752 KiB
Current children cumulated memory: 33264 KiB
[startup+0.700157 s]
/proc/loadavg: 3.80 4.02 4.07 5/255 803279
/proc/meminfo: memFree=128030668/131524600 swapFree=131071996/131071996
[pid=803232] ppid=803229 vsize=69676 memory=42388 CPUtime=0.68 cores=5,7
/proc/803232/stat : 803232 (roundingsat) R 803229 803232 803022 0 -1 4194304 12600 0 0 0 64 4 0 0 20 0 1 0 157043020 71348224 10597 134679101440 4194304 7968869 140730388290192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 36548608 140730388292542 140730388292706 140730388292706 140730388299721 0
/proc/803232/statm: 17419 10597 1845 922 0 9371 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 69676 KiB
Current children cumulated memory: 42388 KiB
[startup+1.50019 s]
/proc/loadavg: 3.80 4.02 4.07 5/255 803279
/proc/meminfo: memFree=127997956/131524600 swapFree=131071996/131071996
[pid=803232] ppid=803229 vsize=70752 memory=43708 CPUtime=1.49 cores=5,7
/proc/803232/stat : 803232 (roundingsat) R 803229 803232 803022 0 -1 4194304 14427 0 0 0 142 7 0 0 20 0 1 0 157043020 72450048 10927 134679101440 4194304 7968869 140730388290192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 36548608 140730388292542 140730388292706 140730388292706 140730388299721 0
/proc/803232/statm: 17688 10927 1845 922 0 9640 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 70752 KiB
Current children cumulated memory: 43708 KiB
[startup+3.1055 s]
/proc/loadavg: 3.80 4.02 4.07 5/255 803281
/proc/meminfo: memFree=127917228/131524600 swapFree=131071996/131071996
[pid=803232] ppid=803229 vsize=81676 memory=53208 CPUtime=3.08 cores=5,7
/proc/803232/stat : 803232 (roundingsat) R 803229 803232 803022 0 -1 4194304 17319 0 0 0 297 11 0 0 20 0 1 0 157043020 83636224 13302 134679101440 4194304 7968869 140730388290192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 36548608 140730388292542 140730388292706 140730388292706 140730388299721 0
/proc/803232/statm: 20419 13302 1965 922 0 12371 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 81676 KiB
Current children cumulated memory: 53208 KiB
[startup+6.30015 s]
/proc/loadavg: 3.89 4.04 4.07 5/255 803281
/proc/meminfo: memFree=127644352/131524600 swapFree=131071996/131071996
[pid=803232] ppid=803229 vsize=81676 memory=53392 CPUtime=6.27 cores=5,7
/proc/803232/stat : 803232 (roundingsat) R 803229 803232 803022 0 -1 4194304 17970 0 0 0 607 20 0 0 20 0 1 0 157043020 83636224 13348 134679101440 4194304 7968869 140730388290192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 36548608 140730388292542 140730388292706 140730388292706 140730388299721 0
/proc/803232/statm: 20419 13348 1965 922 0 12371 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 81676 KiB
Current children cumulated memory: 53392 KiB
[startup+12.7002 s]
/proc/loadavg: 3.90 4.04 4.07 5/255 803281
/proc/meminfo: memFree=127624736/131524600 swapFree=131071996/131071996
[pid=803232] ppid=803229 vsize=97208 memory=69436 CPUtime=12.66 cores=5,7
/proc/803232/stat : 803232 (roundingsat) R 803229 803232 803022 0 -1 4194304 19757 0 0 0 1228 38 0 0 20 0 1 0 157043020 99540992 17359 134679101440 4194304 7968869 140730388290192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 36548608 140730388292542 140730388292706 140730388292706 140730388299721 0
/proc/803232/statm: 24302 17359 1965 922 0 16254 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 97208 KiB
Current children cumulated memory: 69436 KiB
[startup+25.5002 s]
/proc/loadavg: 3.99 4.05 4.08 5/254 803284
/proc/meminfo: memFree=127320208/131524600 swapFree=131071996/131071996
[pid=803232] ppid=803229 vsize=97068 memory=67144 CPUtime=25.43 cores=5,7
/proc/803232/stat : 803232 (roundingsat) R 803229 803232 803022 0 -1 4194304 20685 0 0 0 2480 63 0 0 20 0 1 0 157043020 99397632 16786 134679101440 4194304 7968869 140730388290192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 36548608 140730388292542 140730388292706 140730388292706 140730388299721 0
/proc/803232/statm: 24267 16786 1965 922 0 16219 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 97068 KiB
Current children cumulated memory: 67144 KiB
[startup+51.1052 s]
/proc/loadavg: 4.00 4.05 4.07 5/254 803287
/proc/meminfo: memFree=126773752/131524600 swapFree=131071996/131071996
[pid=803232] ppid=803229 vsize=107300 memory=79840 CPUtime=50.98 cores=5,7
/proc/803232/stat : 803232 (roundingsat) R 803229 803232 803022 0 -1 4194304 24403 0 0 0 4992 106 0 0 20 0 1 0 157043020 109875200 19960 134679101440 4194304 7968869 140730388290192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 36548608 140730388292542 140730388292706 140730388292706 140730388299721 0
/proc/803232/statm: 26825 19960 1965 922 0 18777 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 107300 KiB
Current children cumulated memory: 79840 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.09 4.09 5/255 803296
/proc/meminfo: memFree=126575296/131524600 swapFree=131071996/131071996
[pid=803232] ppid=803229 vsize=107300 memory=79980 CPUtime=102.05 cores=5,7
/proc/803232/stat : 803232 (roundingsat) R 803229 803232 803022 0 -1 4194304 24424 0 0 0 10015 190 0 0 20 0 1 0 157043020 109875200 19995 134679101440 4194304 7968869 140730388290192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 36548608 140730388292542 140730388292706 140730388292706 140730388299721 0
/proc/803232/statm: 26825 19995 1965 922 0 18777 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 107300 KiB
Current children cumulated memory: 79980 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.08 4.09 5/255 803307
/proc/meminfo: memFree=126336012/131524600 swapFree=131071996/131071996
[pid=803232] ppid=803229 vsize=111720 memory=80960 CPUtime=161.9 cores=5,7
/proc/803232/stat : 803232 (roundingsat) R 803229 803232 803022 0 -1 4194304 25208 0 0 0 15923 267 0 0 20 0 1 0 157043020 114401280 20240 134679101440 4194304 7968869 140730388290192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 36548608 140730388292542 140730388292706 140730388292706 140730388299721 0
/proc/803232/statm: 27930 20240 1965 922 0 19882 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 111720 KiB
Current children cumulated memory: 80960 KiB
[startup+222.3 s]
/proc/loadavg: 4.25 4.12 4.10 5/255 803317
/proc/meminfo: memFree=126322152/131524600 swapFree=131071996/131071996
[pid=803232] ppid=803229 vsize=102628 memory=74324 CPUtime=221.72 cores=5,7
/proc/803232/stat : 803232 (roundingsat) R 803229 803232 803022 0 -1 4194304 27836 0 0 0 21829 343 0 0 20 0 1 0 157043020 105091072 18581 134679101440 4194304 7968869 140730388290192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 36548608 140730388292542 140730388292706 140730388292706 140730388299721 0
/proc/803232/statm: 25657 18581 1965 922 0 17609 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 102628 KiB
Current children cumulated memory: 74324 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/257 803331
/proc/meminfo: memFree=125675692/131524600 swapFree=131071996/131071996
[pid=803232] ppid=803229 vsize=126964 memory=98488 CPUtime=281.53 cores=5,7
/proc/803232/stat : 803232 (roundingsat) R 803229 803232 803022 0 -1 4194304 33119 0 0 0 27743 410 0 0 20 0 1 0 157043020 130011136 24622 134679101440 4194304 7968869 140730388290192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 36548608 140730388292542 140730388292706 140730388292706 140730388299721 0
/proc/803232/statm: 31741 24622 1965 922 0 23693 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 126964 KiB
Current children cumulated memory: 98488 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/257 803342
/proc/meminfo: memFree=125649360/131524600 swapFree=131071996/131071996
[pid=803232] ppid=803229 vsize=116552 memory=88508 CPUtime=341.36 cores=5,7
/proc/803232/stat : 803232 (roundingsat) R 803229 803232 803022 0 -1 4194304 33753 0 0 0 33674 462 0 0 20 0 1 0 157043020 119349248 22127 134679101440 4194304 7968869 140730388290192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 36548608 140730388292542 140730388292706 140730388292706 140730388299721 0
/proc/803232/statm: 29138 22127 1965 922 0 21090 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 116552 KiB
Current children cumulated memory: 88508 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/256 803352
/proc/meminfo: memFree=125599164/131524600 swapFree=131071996/131071996
[pid=803232] ppid=803229 vsize=127248 memory=99128 CPUtime=401.17 cores=5,7
/proc/803232/stat : 803232 (roundingsat) R 803229 803232 803022 0 -1 4194304 38795 0 0 0 39588 529 0 0 20 0 1 0 157043020 130301952 24782 134679101440 4194304 7968869 140730388290192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 36548608 140730388292542 140730388292706 140730388292706 140730388299721 0
/proc/803232/statm: 31812 24782 1965 922 0 23764 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 127248 KiB
Current children cumulated memory: 99128 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/256 803363
/proc/meminfo: memFree=125346484/131524600 swapFree=131071996/131071996
[pid=803232] ppid=803229 vsize=114416 memory=86372 CPUtime=461 cores=5,7
/proc/803232/stat : 803232 (roundingsat) R 803229 803232 803022 0 -1 4194304 41990 0 0 0 45503 597 0 0 20 0 1 0 157043020 117161984 21593 134679101440 4194304 7968869 140730388290192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 36548608 140730388292542 140730388292706 140730388292706 140730388299721 0
################
# More data... #
################
Current children cumulated memory: 115700 KiB
[startup+2922.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/256 804533
/proc/meminfo: memFree=114052376/131524600 swapFree=131071996/131071996
[pid=803232] ppid=803229 vsize=163276 memory=127304 CPUtime=2913.85 cores=5,7
/proc/803232/stat : 803232 (roundingsat) R 803229 803232 803022 0 -1 4194304 74064 0 0 0 289095 2290 0 0 20 0 1 0 157043020 167194624 31826 134679101440 4194304 7968869 140730388290192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 36548608 140730388292542 140730388292706 140730388292706 140730388299721 0
/proc/803232/statm: 40819 31826 1965 922 0 32771 0
Current children cumulated CPU time: 2913.85 s
Current children cumulated vsize: 163276 KiB
Current children cumulated memory: 127304 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/256 804927
/proc/meminfo: memFree=114063468/131524600 swapFree=131071996/131071996
[pid=803232] ppid=803229 vsize=151644 memory=115824 CPUtime=2973.71 cores=5,7
/proc/803232/stat : 803232 (roundingsat) R 803229 803232 803022 0 -1 4194304 74466 0 0 0 295051 2320 0 0 20 0 1 0 157043020 155283456 28956 134679101440 4194304 7968869 140730388290192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 36548608 140730388292542 140730388292706 140730388292706 140730388299721 0
/proc/803232/statm: 37911 28956 1965 922 0 29863 0
Current children cumulated CPU time: 2973.71 s
Current children cumulated vsize: 151644 KiB
Current children cumulated memory: 115824 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 804938
/proc/meminfo: memFree=114063400/131524600 swapFree=131071996/131071996
[pid=803232] ppid=803229 vsize=151800 memory=115856 CPUtime=3033.58 cores=5,7
/proc/803232/stat : 803232 (roundingsat) R 803229 803232 803022 0 -1 4194304 74528 0 0 0 301005 2353 0 0 20 0 1 0 157043020 155443200 28964 134679101440 4194304 7968869 140730388290192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 36548608 140730388292542 140730388292706 140730388292706 140730388299721 0
/proc/803232/statm: 37950 28964 1965 922 0 29902 0
Current children cumulated CPU time: 3033.58 s
Current children cumulated vsize: 151800 KiB
Current children cumulated memory: 115856 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 804948
/proc/meminfo: memFree=114065488/131524600 swapFree=131071996/131071996
[pid=803232] ppid=803229 vsize=151800 memory=115856 CPUtime=3093.43 cores=5,7
/proc/803232/stat : 803232 (roundingsat) R 803229 803232 803022 0 -1 4194304 74571 0 0 0 306959 2384 0 0 20 0 1 0 157043020 155443200 28964 134679101440 4194304 7968869 140730388290192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 36548608 140730388292542 140730388292706 140730388292706 140730388299721 0
/proc/803232/statm: 37950 28964 1965 922 0 29902 0
Current children cumulated CPU time: 3093.43 s
Current children cumulated vsize: 151800 KiB
Current children cumulated memory: 115856 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/258 805128
/proc/meminfo: memFree=114064704/131524600 swapFree=131071996/131071996
[pid=803232] ppid=803229 vsize=151800 memory=115856 CPUtime=3153.3 cores=5,7
/proc/803232/stat : 803232 (roundingsat) R 803229 803232 803022 0 -1 4194304 74625 0 0 0 312914 2416 0 0 20 0 1 0 157043020 155443200 28964 134679101440 4194304 7968869 140730388290192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 36548608 140730388292542 140730388292706 140730388292706 140730388299721 0
/proc/803232/statm: 37950 28964 1965 922 0 29902 0
Current children cumulated CPU time: 3153.3 s
Current children cumulated vsize: 151800 KiB
Current children cumulated memory: 115856 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/258 805138
/proc/meminfo: memFree=114060252/131524600 swapFree=131071996/131071996
[pid=803232] ppid=803229 vsize=151800 memory=115856 CPUtime=3213.16 cores=5,7
/proc/803232/stat : 803232 (roundingsat) R 803229 803232 803022 0 -1 4194304 74674 0 0 0 318870 2446 0 0 20 0 1 0 157043020 155443200 28964 134679101440 4194304 7968869 140730388290192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 36548608 140730388292542 140730388292706 140730388292706 140730388299721 0
/proc/803232/statm: 37950 28964 1965 922 0 29902 0
Current children cumulated CPU time: 3213.16 s
Current children cumulated vsize: 151800 KiB
Current children cumulated memory: 115856 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/256 805162
/proc/meminfo: memFree=114059824/131524600 swapFree=131071996/131071996
[pid=803232] ppid=803229 vsize=151800 memory=115856 CPUtime=3273.01 cores=5,7
/proc/803232/stat : 803232 (roundingsat) R 803229 803232 803022 0 -1 4194304 74716 0 0 0 324826 2475 0 0 20 0 1 0 157043020 155443200 28964 134679101440 4194304 7968869 140730388290192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 36548608 140730388292542 140730388292706 140730388292706 140730388299721 0
/proc/803232/statm: 37950 28964 1965 922 0 29902 0
Current children cumulated CPU time: 3273.01 s
Current children cumulated vsize: 151800 KiB
Current children cumulated memory: 115856 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/256 805172
/proc/meminfo: memFree=114047996/131524600 swapFree=131071996/131071996
[pid=803232] ppid=803229 vsize=163460 memory=127516 CPUtime=3332.87 cores=5,7
/proc/803232/stat : 803232 (roundingsat) R 803229 803232 803022 0 -1 4194304 75124 0 0 0 330784 2503 0 0 20 0 1 0 157043020 167383040 31879 134679101440 4194304 7968869 140730388290192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 36548608 140730388292542 140730388292706 140730388292706 140730388299721 0
/proc/803232/statm: 40865 31879 1965 922 0 32817 0
Current children cumulated CPU time: 3332.87 s
Current children cumulated vsize: 163460 KiB
Current children cumulated memory: 127516 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/256 805182
/proc/meminfo: memFree=114047836/131524600 swapFree=131071996/131071996
[pid=803232] ppid=803229 vsize=163460 memory=127516 CPUtime=3392.73 cores=5,7
/proc/803232/stat : 803232 (roundingsat) R 803229 803232 803022 0 -1 4194304 75178 0 0 0 336742 2531 0 0 20 0 1 0 157043020 167383040 31879 134679101440 4194304 7968869 140730388290192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 36548608 140730388292542 140730388292706 140730388292706 140730388299721 0
/proc/803232/statm: 40865 31879 1965 922 0 32817 0
Current children cumulated CPU time: 3392.73 s
Current children cumulated vsize: 163460 KiB
Current children cumulated memory: 127516 KiB
[startup+3462.3 s]
/proc/loadavg: 4.28 4.14 4.10 5/255 805194
/proc/meminfo: memFree=114058868/131524600 swapFree=131071996/131071996
[pid=803232] ppid=803229 vsize=151800 memory=115856 CPUtime=3452.59 cores=5,7
/proc/803232/stat : 803232 (roundingsat) R 803229 803232 803022 0 -1 4194304 75558 0 0 0 342704 2555 0 0 20 0 1 0 157043020 155443200 28964 134679101440 4194304 7968869 140730388290192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 36548608 140730388292542 140730388292706 140730388292706 140730388299721 0
/proc/803232/statm: 37950 28964 1965 922 0 29902 0
Current children cumulated CPU time: 3452.59 s
Current children cumulated vsize: 151800 KiB
Current children cumulated memory: 115856 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/255 805204
/proc/meminfo: memFree=114046884/131524600 swapFree=131071996/131071996
[pid=803232] ppid=803229 vsize=163460 memory=127516 CPUtime=3512.45 cores=5,7
/proc/803232/stat : 803232 (roundingsat) R 803229 803232 803022 0 -1 4194304 77164 0 0 0 348657 2588 0 0 20 0 1 0 157043020 167383040 31879 134679101440 4194304 7968869 140730388290192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 36548608 140730388292542 140730388292706 140730388292706 140730388299721 0
/proc/803232/statm: 40865 31879 1965 922 0 32817 0
Current children cumulated CPU time: 3512.45 s
Current children cumulated vsize: 163460 KiB
Current children cumulated memory: 127516 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/254 805214
/proc/meminfo: memFree=114054528/131524600 swapFree=131071996/131071996
[pid=803232] ppid=803229 vsize=151800 memory=115856 CPUtime=3572.31 cores=5,7
/proc/803232/stat : 803232 (roundingsat) R 803229 803232 803022 0 -1 4194304 77550 0 0 0 354616 2615 0 0 20 0 1 0 157043020 155443200 28964 134679101440 4194304 7968869 140730388290192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 36548608 140730388292542 140730388292706 140730388292706 140730388299721 0
/proc/803232/statm: 37950 28964 1965 922 0 29902 0
Current children cumulated CPU time: 3572.31 s
Current children cumulated vsize: 151800 KiB
Current children cumulated memory: 115856 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 805359
/proc/meminfo: memFree=127971472/131524600 swapFree=131071996/131071996
[pid=803232] ppid=803229 vsize=151800 memory=115856 CPUtime=3600.05 cores=5,7
/proc/803232/stat : 803232 (roundingsat) R 803229 803232 803022 0 -1 4194304 77552 0 0 0 357377 2628 0 0 20 0 1 0 157043020 155443200 28964 134679101440 4194304 7968869 140730388290192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 36548608 140730388292542 140730388292706 140730388292706 140730388299721 0
/proc/803232/statm: 37950 28964 1965 922 0 29902 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 151800 KiB
Current children cumulated memory: 115856 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 803232 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3573.77 s, system=26.2905 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 805359
/proc/meminfo: memFree=127971472/131524600 swapFree=131071996/131071996
[pid=803232] ppid=803229 vsize=151800 memory=115856 CPUtime=3600.05 cores=5,7
/proc/803232/stat : 803232 (roundingsat) R 803229 803232 803022 0 -1 4194304 77552 0 0 0 357377 2628 0 0 20 0 1 0 157043020 155443200 28964 134679101440 4194304 7968869 140730388290192 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 36548608 140730388292542 140730388292706 140730388292706 140730388299721 0
/proc/803232/statm: 37950 28964 1965 922 0 29902 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 151800 KiB
Current children cumulated memory: 115856 KiB
Child status: 1
Real time (s): 3610.11
CPU time (s): 3600.06
CPU user time (s): 3573.77
CPU system time (s): 26.2905
CPU usage (%): 99.7217
Max. virtual memory (cumulated for all children) (KiB): 175124
Max. memory (cumulated for all children) (KiB): 139084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.77
system time used= 26.2905
maximum resident set size= 139084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77560
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27
involuntary context switches= 1361
# summary of solver processes directly reported to runsolver:
# pid: 803232
# total CPU time (s): 3600.06
# total CPU user time (s): 3573.77
# total CPU system time (s): 26.2905
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.77619 second user time and 16.5564 second system time
The end
Begin job on nodeC020 at 2024-07-15 15:06:48 IDJOB=4429434 IDBENCH=147690 IDSOLVER=3051 FILE ID=nodeC020/4429434-1721048795 RUNJOBID= nodeC020-1721048806-803035 SLURM_JOB_ID= 7505471 Free space on /tmp= 890064 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_14.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429434-1721048795/watcher-4429434-1721048795 -o /tmp/evaluation-result-4429434-1721048795/solver-4429434-1721048795 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721048806-803035 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429434-1721048795.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0e700fc92a231fc1e477aebd59f20b52 RANDOM SEED=1325837340 nodeC020.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3623.423 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.05 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3666.190 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.529 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.05 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.687 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3674.544 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.05 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3654.863 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3639.557 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.05 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3665.604 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 128122956 kB MemAvailable: 129606068 kB Buffers: 362356 kB Cached: 1945836 kB SwapCached: 0 kB Active: 589288 kB Inactive: 2199400 kB Active(anon): 1608 kB Inactive(anon): 515976 kB Active(file): 587680 kB Inactive(file): 1683424 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 23700 kB Writeback: 0 kB AnonPages: 479292 kB Mapped: 109304 kB Shmem: 37720 kB KReclaimable: 103660 kB Slab: 209236 kB SReclaimable: 103660 kB SUnreclaim: 105576 kB KernelStack: 4088 kB PageTables: 10432 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 811672 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 58752 kB HardwareCorrupted: 0 kB AnonHugePages: 237568 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 187092 kB DirectMap2M: 14266368 kB DirectMap1G: 121634816 kB Free space on /tmp at the end= 890060 MiB End job on nodeC020 at 2024-07-15 16:06:58