0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.20/0.22 c [STEP] solving
0.20/0.22 c #variables 1272 #constraints 94127
0.20/0.22 c SMALL=int, LARGE=long long
0.20/0.22 c bounds - >= -1272 @ 0.159788
0.20/0.22 c stratification level: 0
0.20/0.29 c bounds - >= -240 @ 0.204879
0.20/0.29 c bounds - >= -239 @ 0.20529
0.20/0.29 c bounds - >= -238 @ 0.205492
0.20/0.29 c bounds - >= -237 @ 0.205933
0.20/0.29 c bounds - >= -236 @ 0.206385
0.20/0.29 c bounds - >= -235 @ 0.207333
0.20/0.29 c bounds - >= -234 @ 0.208151
0.20/0.29 c bounds - >= -233 @ 0.208392
0.20/0.29 c bounds - >= -232 @ 0.208985
0.20/0.29 c bounds - >= -231 @ 0.209298
0.20/0.29 c bounds - >= -230 @ 0.209298
0.20/0.29 c bounds - >= -229 @ 0.209298
0.20/0.29 c bounds - >= -228 @ 0.20961
0.20/0.29 c bounds - >= -227 @ 0.210144
0.20/0.29 c bounds - >= -226 @ 0.210293
0.20/0.29 c bounds - >= -225 @ 0.210381
0.20/0.29 c bounds - >= -224 @ 0.21124
0.20/0.29 c bounds - >= -223 @ 0.211288
0.20/0.29 c bounds - >= -222 @ 0.211433
0.20/0.29 c bounds - >= -221 @ 0.21219
0.20/0.29 c bounds - >= -220 @ 0.212913
0.20/0.29 c bounds - >= -219 @ 0.213792
0.20/0.29 c bounds - >= -218 @ 0.214536
0.20/0.29 c bounds - >= -217 @ 0.215188
0.20/0.29 c bounds - >= -216 @ 0.215861
0.20/0.29 c bounds - >= -215 @ 0.216653
0.20/0.29 c bounds - >= -214 @ 0.217211
0.20/0.29 c bounds - >= -213 @ 0.218066
0.20/0.29 c bounds - >= -212 @ 0.218795
0.20/0.29 c bounds - >= -211 @ 0.220793
0.20/0.29 c finalizing WCE round: reformulating cores
14.65/14.71 c bounds -17 >= -240 @ 0.227387
14.65/14.71 c bounds -22 >= -234 @ 0.260365
14.65/14.71 c #Conflicts: 1000 | #Constraints: 95424
14.65/14.71 c bounds -24 >= -231 @ 0.280769
14.65/14.71 c bounds -25 >= -229 @ 0.308776
14.65/14.71 c bounds -27 >= -226 @ 0.361844
14.65/14.71 c #Conflicts: 2000 | #Constraints: 96439
14.65/14.71 c INPROCESSING
14.65/14.71 c GARBAGE COLLECT
14.65/14.71 c bounds -29 >= -223 @ 0.715421
14.65/14.71 c #Conflicts: 3000 | #Constraints: 96296
14.65/14.71 c #Conflicts: 4000 | #Constraints: 97301
14.65/14.71 c INPROCESSING
14.65/14.71 c GARBAGE COLLECT
14.65/14.71 c #Conflicts: 5000 | #Constraints: 96752
14.65/14.71 c #Conflicts: 6000 | #Constraints: 97754
14.65/14.71 c INPROCESSING
14.65/14.71 c GARBAGE COLLECT
14.65/14.71 c #Conflicts: 7000 | #Constraints: 96788
14.65/14.71 c #Conflicts: 8000 | #Constraints: 97790
14.65/14.71 c bounds -34 >= -212 @ 3.10714
14.65/14.71 c #Conflicts: 9000 | #Constraints: 98796
14.65/14.71 c INPROCESSING
14.65/14.71 c GARBAGE COLLECT
14.65/14.71 c #Conflicts: 10000 | #Constraints: 97506
14.65/14.71 c #Conflicts: 11000 | #Constraints: 98508
14.65/14.71 c #Conflicts: 12000 | #Constraints: 99510
14.65/14.71 c INPROCESSING
14.65/14.71 c GARBAGE COLLECT
14.65/14.71 c #Conflicts: 13000 | #Constraints: 97978
14.65/14.71 c #Conflicts: 14000 | #Constraints: 98980
14.65/14.71 c bounds -35 >= -204 @ 6.33055
14.65/14.71 c bounds -35 >= -203 @ 6.33352
14.65/14.71 c bounds -35 >= -202 @ 6.33725
14.65/14.71 c bounds -35 >= -201 @ 6.34249
14.65/14.71 c bounds -35 >= -200 @ 6.3522
14.65/14.71 c bounds -35 >= -199 @ 6.3742
14.65/14.71 c #Conflicts: 15000 | #Constraints: 100066
14.65/14.71 c INPROCESSING
14.65/14.71 c GARBAGE COLLECT
14.65/14.71 c bounds -35 >= -198 @ 6.48618
14.65/14.71 c #Conflicts: 16000 | #Constraints: 98333
14.65/14.71 c bounds -35 >= -197 @ 6.58334
14.65/14.71 c bounds -35 >= -196 @ 6.59912
14.65/14.71 c bounds -35 >= -195 @ 6.62644
14.65/14.71 c #Conflicts: 17000 | #Constraints: 99411
14.65/14.71 c #Conflicts: 18000 | #Constraints: 100411
14.65/14.71 c INPROCESSING
14.65/14.71 c GARBAGE COLLECT
14.65/14.71 c bounds -35 >= -194 @ 6.92255
14.65/14.71 c #Conflicts: 19000 | #Constraints: 98457
14.65/14.71 c #Conflicts: 20000 | #Constraints: 99457
14.65/14.71 c #Conflicts: 21000 | #Constraints: 100457
14.65/14.71 c bounds -35 >= -193 @ 7.10592
14.65/14.71 c INPROCESSING
14.65/14.71 c #Conflicts: 22000 | #Constraints: 98272
14.65/14.71 c #Conflicts: 23000 | #Constraints: 99272
14.65/14.71 c #Conflicts: 24000 | #Constraints: 100272
14.65/14.71 c #Conflicts: 25000 | #Constraints: 101272
14.65/14.71 c INPROCESSING
14.65/14.71 c GARBAGE COLLECT
14.65/14.71 c #Conflicts: 26000 | #Constraints: 98869
14.65/14.71 c #Conflicts: 27000 | #Constraints: 99869
14.65/14.71 c #Conflicts: 28000 | #Constraints: 100869
14.65/14.71 c #Conflicts: 29000 | #Constraints: 101869
14.65/14.71 c INPROCESSING
14.65/14.71 c #Conflicts: 30000 | #Constraints: 99275
14.65/14.71 c #Conflicts: 31000 | #Constraints: 100275
14.65/14.71 c #Conflicts: 32000 | #Constraints: 101275
14.65/14.71 c #Conflicts: 33000 | #Constraints: 102275
14.65/14.71 c INPROCESSING
14.65/14.71 c GARBAGE COLLECT
14.65/14.71 c #Conflicts: 34000 | #Constraints: 99479
14.65/14.71 c #Conflicts: 35000 | #Constraints: 100479
14.65/14.71 c #Conflicts: 36000 | #Constraints: 101479
14.65/14.71 c #Conflicts: 37000 | #Constraints: 102479
14.65/14.71 c INPROCESSING
14.65/14.71 c #Conflicts: 38000 | #Constraints: 99481
14.65/14.71 c #Conflicts: 39000 | #Constraints: 100481
14.65/14.71 c #Conflicts: 40000 | #Constraints: 101481
14.65/14.71 c #Conflicts: 41000 | #Constraints: 102481
14.65/14.71 c INPROCESSING
14.65/14.71 c GARBAGE COLLECT
14.65/14.71 c #Conflicts: 42000 | #Constraints: 99282
14.65/14.71 c #Conflicts: 43000 | #Constraints: 100282
14.65/14.71 c #Conflicts: 44000 | #Constraints: 101282
14.65/14.71 c #Conflicts: 45000 | #Constraints: 102282
14.65/14.71 c #Conflicts: 46000 | #Constraints: 103282
14.65/14.71 c INPROCESSING
14.65/14.71 c GARBAGE COLLECT
14.65/14.71 c #Conflicts: 47000 | #Constraints: 99879
14.65/14.71 c #Conflicts: 48000 | #Constraints: 100879
14.65/14.71 c #Conflicts: 49000 | #Constraints: 101879
14.65/14.71 c #Conflicts: 50000 | #Constraints: 102879
14.65/14.71 c #Conflicts: 51000 | #Constraints: 103879
14.65/14.71 c INPROCESSING
14.65/14.71 c #Conflicts: 52000 | #Constraints: 100282
14.65/14.71 c #Conflicts: 53000 | #Constraints: 101282
14.65/14.71 c #Conflicts: 54000 | #Constraints: 102282
14.65/14.71 c #Conflicts: 55000 | #Constraints: 103282
14.65/14.71 c #Conflicts: 56000 | #Constraints: 104282
14.65/14.71 c INPROCESSING
14.65/14.71 c GARBAGE COLLECT
14.65/14.71 c #Conflicts: 57000 | #Constraints: 100488
14.65/14.71 c #Conflicts: 58000 | #Constraints: 101488
14.65/14.71 c #Conflicts: 59000 | #Constraints: 102488
52.16/52.36 c #Conflicts: 60000 | #Constraints: 103488
52.16/52.36 c #Conflicts: 61000 | #Constraints: 104488
52.16/52.36 c #Conflicts: 62000 | #Constraints: 105488
52.16/52.36 c #Conflicts: 63000 | #Constraints: 106488
52.16/52.36 c #Conflicts: 64000 | #Constraints: 107488
52.16/52.36 c #Conflicts: 65000 | #Constraints: 108488
52.16/52.36 c #Conflicts: 66000 | #Constraints: 109488
52.16/52.36 c #Conflicts: 67000 | #Constraints: 110488
52.16/52.36 c bounds -35 >= -192 @ 18.0279
52.16/52.36 c #Conflicts: 68000 | #Constraints: 111552
52.16/52.36 c #Conflicts: 69000 | #Constraints: 112552
52.16/52.36 c #Conflicts: 70000 | #Constraints: 113552
52.16/52.36 c #Conflicts: 71000 | #Constraints: 114552
52.16/52.36 c #Conflicts: 72000 | #Constraints: 115552
52.16/52.36 c #Conflicts: 73000 | #Constraints: 116552
52.16/52.36 c #Conflicts: 74000 | #Constraints: 117552
52.16/52.36 c #Conflicts: 75000 | #Constraints: 118552
52.16/52.36 c #Conflicts: 76000 | #Constraints: 119552
52.16/52.36 c INPROCESSING
52.16/52.36 c GARBAGE COLLECT
52.16/52.36 c #Conflicts: 77000 | #Constraints: 107891
52.16/52.36 c #Conflicts: 78000 | #Constraints: 108891
52.16/52.36 c #Conflicts: 79000 | #Constraints: 109891
52.16/52.36 c #Conflicts: 80000 | #Constraints: 110891
52.16/52.36 c #Conflicts: 81000 | #Constraints: 111891
52.16/52.36 c #Conflicts: 82000 | #Constraints: 112891
52.16/52.36 c INPROCESSING
52.16/52.36 c GARBAGE COLLECT
52.16/52.36 c #Conflicts: 83000 | #Constraints: 104429
52.16/52.36 c #Conflicts: 84000 | #Constraints: 105429
52.16/52.36 c #Conflicts: 85000 | #Constraints: 106429
52.16/52.36 c #Conflicts: 86000 | #Constraints: 107429
52.16/52.36 c #Conflicts: 87000 | #Constraints: 108429
52.16/52.36 c #Conflicts: 88000 | #Constraints: 109429
52.16/52.36 c #Conflicts: 89000 | #Constraints: 110429
52.16/52.36 c INPROCESSING
52.16/52.36 c GARBAGE COLLECT
52.16/52.36 c #Conflicts: 90000 | #Constraints: 103418
52.16/52.36 c #Conflicts: 91000 | #Constraints: 104418
52.16/52.36 c #Conflicts: 92000 | #Constraints: 105418
52.16/52.36 c #Conflicts: 93000 | #Constraints: 106418
52.16/52.36 c #Conflicts: 94000 | #Constraints: 107418
52.16/52.36 c #Conflicts: 95000 | #Constraints: 108418
52.16/52.36 c #Conflicts: 96000 | #Constraints: 109418
52.16/52.36 c INPROCESSING
52.16/52.36 c GARBAGE COLLECT
52.16/52.36 c #Conflicts: 97000 | #Constraints: 103093
52.16/52.36 c #Conflicts: 98000 | #Constraints: 104093
52.16/52.36 c #Conflicts: 99000 | #Constraints: 105093
52.16/52.36 c #Conflicts: 100000 | #Constraints: 106093
52.16/52.36 c #Conflicts: 101000 | #Constraints: 107093
52.16/52.36 c #Conflicts: 102000 | #Constraints: 108093
52.16/52.36 c #Conflicts: 103000 | #Constraints: 109093
52.16/52.36 c #Conflicts: 104000 | #Constraints: 110093
52.16/52.36 c #Conflicts: 105000 | #Constraints: 111093
52.16/52.36 c #Conflicts: 106000 | #Constraints: 112093
52.16/52.36 c #Conflicts: 107000 | #Constraints: 113093
52.16/52.36 c #Conflicts: 108000 | #Constraints: 114093
52.16/52.36 c #Conflicts: 109000 | #Constraints: 115093
52.16/52.36 c #Conflicts: 110000 | #Constraints: 116093
52.16/52.36 c #Conflicts: 111000 | #Constraints: 117093
52.16/52.36 c #Conflicts: 112000 | #Constraints: 118093
52.16/52.36 c #Conflicts: 113000 | #Constraints: 119093
52.16/52.36 c #Conflicts: 114000 | #Constraints: 120093
52.16/52.36 c #Conflicts: 115000 | #Constraints: 121093
52.16/52.36 c #Conflicts: 116000 | #Constraints: 122093
52.16/52.36 c #Conflicts: 117000 | #Constraints: 123093
52.16/52.36 c #Conflicts: 118000 | #Constraints: 124093
52.16/52.36 c #Conflicts: 119000 | #Constraints: 125093
52.16/52.36 c #Conflicts: 120000 | #Constraints: 126093
52.16/52.36 c #Conflicts: 121000 | #Constraints: 127093
52.16/52.36 c INPROCESSING
52.16/52.36 c GARBAGE COLLECT
52.16/52.36 c #Conflicts: 122000 | #Constraints: 111539
52.16/52.36 c #Conflicts: 123000 | #Constraints: 112539
52.16/52.36 c #Conflicts: 124000 | #Constraints: 113539
52.16/52.36 c #Conflicts: 125000 | #Constraints: 114539
52.16/52.36 c #Conflicts: 126000 | #Constraints: 115539
52.16/52.36 c #Conflicts: 127000 | #Constraints: 116539
52.16/52.36 c #Conflicts: 128000 | #Constraints: 117539
52.16/52.36 c #Conflicts: 129000 | #Constraints: 118539
52.16/52.36 c INPROCESSING
52.16/52.36 c GARBAGE COLLECT
52.16/52.36 c #Conflicts: 130000 | #Constraints: 107264
52.16/52.36 c #Conflicts: 131000 | #Constraints: 108264
52.16/52.36 c #Conflicts: 132000 | #Constraints: 109264
52.16/52.36 c #Conflicts: 133000 | #Constraints: 110264
105.74/106.03 c #Conflicts: 134000 | #Constraints: 111264
105.74/106.03 c #Conflicts: 135000 | #Constraints: 112264
105.74/106.03 c #Conflicts: 136000 | #Constraints: 113264
105.74/106.03 c #Conflicts: 137000 | #Constraints: 114264
105.74/106.03 c #Conflicts: 138000 | #Constraints: 115264
105.74/106.03 c INPROCESSING
105.74/106.03 c GARBAGE COLLECT
105.74/106.03 c #Conflicts: 139000 | #Constraints: 106007
105.74/106.03 c #Conflicts: 140000 | #Constraints: 107007
105.74/106.03 c #Conflicts: 141000 | #Constraints: 108007
105.74/106.03 c #Conflicts: 142000 | #Constraints: 109007
105.74/106.03 c #Conflicts: 143000 | #Constraints: 110007
105.74/106.03 c #Conflicts: 144000 | #Constraints: 111007
105.74/106.03 c #Conflicts: 145000 | #Constraints: 112007
105.74/106.03 c #Conflicts: 146000 | #Constraints: 113007
105.74/106.03 c INPROCESSING
105.74/106.03 c GARBAGE COLLECT
105.74/106.03 c #Conflicts: 147000 | #Constraints: 104696
105.74/106.03 c #Conflicts: 148000 | #Constraints: 105696
105.74/106.03 c #Conflicts: 149000 | #Constraints: 106696
105.74/106.03 c #Conflicts: 150000 | #Constraints: 107696
105.74/106.03 c #Conflicts: 151000 | #Constraints: 108696
105.74/106.03 c #Conflicts: 152000 | #Constraints: 109696
105.74/106.03 c #Conflicts: 153000 | #Constraints: 110696
105.74/106.03 c #Conflicts: 154000 | #Constraints: 111696
105.74/106.03 c #Conflicts: 155000 | #Constraints: 112696
105.74/106.03 c #Conflicts: 156000 | #Constraints: 113696
105.74/106.03 c #Conflicts: 157000 | #Constraints: 114696
105.74/106.03 c #Conflicts: 158000 | #Constraints: 115696
105.74/106.03 c #Conflicts: 159000 | #Constraints: 116696
105.74/106.03 c #Conflicts: 160000 | #Constraints: 117696
105.74/106.03 c #Conflicts: 161000 | #Constraints: 118696
105.74/106.03 c #Conflicts: 162000 | #Constraints: 119696
105.74/106.03 c #Conflicts: 163000 | #Constraints: 120696
105.74/106.03 c #Conflicts: 164000 | #Constraints: 121696
105.74/106.03 c #Conflicts: 165000 | #Constraints: 122696
105.74/106.03 c #Conflicts: 166000 | #Constraints: 123696
105.74/106.03 c #Conflicts: 167000 | #Constraints: 124696
105.74/106.03 c #Conflicts: 168000 | #Constraints: 125696
105.74/106.03 c #Conflicts: 169000 | #Constraints: 126696
105.74/106.03 c #Conflicts: 170000 | #Constraints: 127696
105.74/106.03 c #Conflicts: 171000 | #Constraints: 128696
105.74/106.03 c #Conflicts: 172000 | #Constraints: 129696
105.74/106.03 c #Conflicts: 173000 | #Constraints: 130696
105.74/106.03 c #Conflicts: 174000 | #Constraints: 131696
105.74/106.03 c #Conflicts: 175000 | #Constraints: 132696
105.74/106.03 c #Conflicts: 176000 | #Constraints: 133696
105.74/106.03 c #Conflicts: 177000 | #Constraints: 134696
105.74/106.03 c INPROCESSING
105.74/106.03 c GARBAGE COLLECT
105.74/106.03 c #Conflicts: 178000 | #Constraints: 115489
105.74/106.03 c #Conflicts: 179000 | #Constraints: 116489
105.74/106.03 c #Conflicts: 180000 | #Constraints: 117489
105.74/106.03 c #Conflicts: 181000 | #Constraints: 118489
105.74/106.03 c #Conflicts: 182000 | #Constraints: 119489
105.74/106.03 c #Conflicts: 183000 | #Constraints: 120489
105.74/106.03 c #Conflicts: 184000 | #Constraints: 121489
105.74/106.03 c #Conflicts: 185000 | #Constraints: 122489
105.74/106.03 c #Conflicts: 186000 | #Constraints: 123489
105.74/106.03 c #Conflicts: 187000 | #Constraints: 124489
105.74/106.03 c INPROCESSING
105.74/106.03 c GARBAGE COLLECT
105.74/106.03 c #Conflicts: 188000 | #Constraints: 110540
105.74/106.03 c #Conflicts: 189000 | #Constraints: 111540
105.74/106.03 c #Conflicts: 190000 | #Constraints: 112540
105.74/106.03 c #Conflicts: 191000 | #Constraints: 113540
105.74/106.03 c #Conflicts: 192000 | #Constraints: 114540
105.74/106.03 c #Conflicts: 193000 | #Constraints: 115540
105.74/106.03 c #Conflicts: 194000 | #Constraints: 116540
105.74/106.03 c #Conflicts: 195000 | #Constraints: 117540
105.74/106.03 c #Conflicts: 196000 | #Constraints: 118540
105.74/106.03 c #Conflicts: 197000 | #Constraints: 119540
105.74/106.03 c INPROCESSING
105.74/106.03 c GARBAGE COLLECT
105.74/106.03 c #Conflicts: 198000 | #Constraints: 108136
105.74/106.03 c #Conflicts: 199000 | #Constraints: 109136
105.74/106.03 c #Conflicts: 200000 | #Constraints: 110136
105.74/106.03 c #Conflicts: 201000 | #Constraints: 111136
105.74/106.03 c #Conflicts: 202000 | #Constraints: 112136
105.74/106.03 c #Conflicts: 203000 | #Constraints: 113136
105.74/106.03 c #Conflicts: 204000 | #Constraints: 114136
105.74/106.03 c #Conflicts: 205000 | #Constraints: 115136
105.74/106.03 c #Conflicts: 206000 | #Constraints: 116136
105.74/106.03 c #Conflicts: 207000 | #Constraints: 117136
105.74/106.03 c INPROCESSING
105.74/106.03 c GARBAGE COLLECT
105.74/106.03 c #Conflicts: 208000 | #Constraints: 106896
168.78/169.26 c #Conflicts: 209000 | #Constraints: 107896
168.78/169.26 c #Conflicts: 210000 | #Constraints: 108896
168.78/169.26 c #Conflicts: 211000 | #Constraints: 109896
168.78/169.26 c #Conflicts: 212000 | #Constraints: 110896
168.78/169.26 c #Conflicts: 213000 | #Constraints: 111896
168.78/169.26 c #Conflicts: 214000 | #Constraints: 112896
168.78/169.26 c #Conflicts: 215000 | #Constraints: 113896
168.78/169.26 c #Conflicts: 216000 | #Constraints: 114896
168.78/169.26 c #Conflicts: 217000 | #Constraints: 115896
168.78/169.26 c #Conflicts: 218000 | #Constraints: 116896
168.78/169.26 c #Conflicts: 219000 | #Constraints: 117896
168.78/169.26 c #Conflicts: 220000 | #Constraints: 118896
168.78/169.26 c #Conflicts: 221000 | #Constraints: 119896
168.78/169.26 c #Conflicts: 222000 | #Constraints: 120896
168.78/169.26 c #Conflicts: 223000 | #Constraints: 121896
168.78/169.26 c #Conflicts: 224000 | #Constraints: 122896
168.78/169.26 c #Conflicts: 225000 | #Constraints: 123896
168.78/169.26 c #Conflicts: 226000 | #Constraints: 124896
168.78/169.26 c #Conflicts: 227000 | #Constraints: 125896
168.78/169.26 c #Conflicts: 228000 | #Constraints: 126896
168.78/169.26 c #Conflicts: 229000 | #Constraints: 127896
168.78/169.26 c #Conflicts: 230000 | #Constraints: 128896
168.78/169.26 c #Conflicts: 231000 | #Constraints: 129896
168.78/169.26 c #Conflicts: 232000 | #Constraints: 130896
168.78/169.26 c #Conflicts: 233000 | #Constraints: 131896
168.78/169.26 c #Conflicts: 234000 | #Constraints: 132896
168.78/169.26 c #Conflicts: 235000 | #Constraints: 133896
168.78/169.26 c #Conflicts: 236000 | #Constraints: 134896
168.78/169.26 c #Conflicts: 237000 | #Constraints: 135896
168.78/169.26 c #Conflicts: 238000 | #Constraints: 136896
168.78/169.26 c #Conflicts: 239000 | #Constraints: 137896
168.78/169.26 c #Conflicts: 240000 | #Constraints: 138896
168.78/169.26 c #Conflicts: 241000 | #Constraints: 139896
168.78/169.26 c #Conflicts: 242000 | #Constraints: 140896
168.78/169.26 c #Conflicts: 243000 | #Constraints: 141896
168.78/169.26 c INPROCESSING
168.78/169.26 c GARBAGE COLLECT
168.78/169.26 c #Conflicts: 244000 | #Constraints: 119019
168.78/169.26 c #Conflicts: 245000 | #Constraints: 120019
168.78/169.26 c #Conflicts: 246000 | #Constraints: 121019
168.78/169.26 c #Conflicts: 247000 | #Constraints: 122019
168.78/169.26 c #Conflicts: 248000 | #Constraints: 123019
168.78/169.26 c #Conflicts: 249000 | #Constraints: 124019
168.78/169.26 c #Conflicts: 250000 | #Constraints: 125019
168.78/169.26 c #Conflicts: 251000 | #Constraints: 126019
168.78/169.26 c #Conflicts: 252000 | #Constraints: 127019
168.78/169.26 c #Conflicts: 253000 | #Constraints: 128019
168.78/169.26 c #Conflicts: 254000 | #Constraints: 129019
168.78/169.26 c #Conflicts: 255000 | #Constraints: 130019
168.78/169.26 c INPROCESSING
168.78/169.26 c GARBAGE COLLECT
168.78/169.26 c #Conflicts: 256000 | #Constraints: 113426
168.78/169.26 c #Conflicts: 257000 | #Constraints: 114426
168.78/169.26 c #Conflicts: 258000 | #Constraints: 115426
168.78/169.26 c #Conflicts: 259000 | #Constraints: 116426
168.78/169.26 c #Conflicts: 260000 | #Constraints: 117426
168.78/169.26 c #Conflicts: 261000 | #Constraints: 118426
168.78/169.26 c #Conflicts: 262000 | #Constraints: 119426
168.78/169.26 c #Conflicts: 263000 | #Constraints: 120426
168.78/169.26 c #Conflicts: 264000 | #Constraints: 121426
168.78/169.26 c #Conflicts: 265000 | #Constraints: 122426
168.78/169.26 c #Conflicts: 266000 | #Constraints: 123426
168.78/169.26 c INPROCESSING
168.78/169.26 c GARBAGE COLLECT
168.78/169.26 c #Conflicts: 267000 | #Constraints: 109822
168.78/169.26 c #Conflicts: 268000 | #Constraints: 110822
168.78/169.26 c #Conflicts: 269000 | #Constraints: 111822
168.78/169.26 c #Conflicts: 270000 | #Constraints: 112822
168.78/169.26 c #Conflicts: 271000 | #Constraints: 113822
168.78/169.26 c #Conflicts: 272000 | #Constraints: 114822
168.78/169.26 c #Conflicts: 273000 | #Constraints: 115822
168.78/169.26 c #Conflicts: 274000 | #Constraints: 116822
168.78/169.26 c #Conflicts: 275000 | #Constraints: 117822
168.78/169.26 c #Conflicts: 276000 | #Constraints: 118822
168.78/169.26 c #Conflicts: 277000 | #Constraints: 119822
168.78/169.26 c #Conflicts: 278000 | #Constraints: 120822
168.78/169.26 c INPROCESSING
168.78/169.26 c GARBAGE COLLECT
168.78/169.26 c #Conflicts: 279000 | #Constraints: 108622
168.78/169.26 c #Conflicts: 280000 | #Constraints: 109622
168.78/169.26 c #Conflicts: 281000 | #Constraints: 110622
168.78/169.26 c #Conflicts: 282000 | #Constraints: 111622
168.78/169.26 c #Conflicts: 283000 | #Constraints: 112622
168.78/169.26 c #Conflicts: 284000 | #Constraints: 113622
168.78/169.26 c #Conflicts: 285000 | #Constraints: 114622
248.69/249.36 c #Conflicts: 286000 | #Constraints: 115622
248.69/249.36 c #Conflicts: 287000 | #Constraints: 116622
248.69/249.36 c #Conflicts: 288000 | #Constraints: 117622
248.69/249.36 c #Conflicts: 289000 | #Constraints: 118622
248.69/249.36 c #Conflicts: 290000 | #Constraints: 119622
248.69/249.36 c INPROCESSING
248.69/249.36 c GARBAGE COLLECT
248.69/249.36 c #Conflicts: 291000 | #Constraints: 108012
248.69/249.36 c #Conflicts: 292000 | #Constraints: 109012
248.69/249.36 c #Conflicts: 293000 | #Constraints: 110012
248.69/249.36 c #Conflicts: 294000 | #Constraints: 111012
248.69/249.36 c #Conflicts: 295000 | #Constraints: 112012
248.69/249.36 c #Conflicts: 296000 | #Constraints: 113012
248.69/249.36 c #Conflicts: 297000 | #Constraints: 114012
248.69/249.36 c #Conflicts: 298000 | #Constraints: 115012
248.69/249.36 c #Conflicts: 299000 | #Constraints: 116012
248.69/249.36 c #Conflicts: 300000 | #Constraints: 117012
248.69/249.36 c #Conflicts: 301000 | #Constraints: 118012
248.69/249.36 c #Conflicts: 302000 | #Constraints: 119012
248.69/249.36 c #Conflicts: 303000 | #Constraints: 120012
248.69/249.36 c #Conflicts: 304000 | #Constraints: 121012
248.69/249.36 c #Conflicts: 305000 | #Constraints: 122012
248.69/249.36 c #Conflicts: 306000 | #Constraints: 123012
248.69/249.36 c #Conflicts: 307000 | #Constraints: 124012
248.69/249.36 c #Conflicts: 308000 | #Constraints: 125012
248.69/249.36 c #Conflicts: 309000 | #Constraints: 126012
248.69/249.36 c #Conflicts: 310000 | #Constraints: 127012
248.69/249.36 c #Conflicts: 311000 | #Constraints: 128012
248.69/249.36 c #Conflicts: 312000 | #Constraints: 129012
248.69/249.36 c #Conflicts: 313000 | #Constraints: 130012
248.69/249.36 c #Conflicts: 314000 | #Constraints: 131012
248.69/249.36 c #Conflicts: 315000 | #Constraints: 132012
248.69/249.36 c #Conflicts: 316000 | #Constraints: 133012
248.69/249.36 c #Conflicts: 317000 | #Constraints: 134012
248.69/249.36 c #Conflicts: 318000 | #Constraints: 135012
248.69/249.36 c #Conflicts: 319000 | #Constraints: 136012
248.69/249.36 c #Conflicts: 320000 | #Constraints: 137012
248.69/249.36 c #Conflicts: 321000 | #Constraints: 138012
248.69/249.36 c #Conflicts: 322000 | #Constraints: 139012
248.69/249.36 c #Conflicts: 323000 | #Constraints: 140012
248.69/249.36 c #Conflicts: 324000 | #Constraints: 141012
248.69/249.36 c #Conflicts: 325000 | #Constraints: 142012
248.69/249.36 c #Conflicts: 326000 | #Constraints: 143012
248.69/249.36 c #Conflicts: 327000 | #Constraints: 144012
248.69/249.36 c #Conflicts: 328000 | #Constraints: 145012
248.69/249.36 c #Conflicts: 329000 | #Constraints: 146012
248.69/249.36 c #Conflicts: 330000 | #Constraints: 147012
248.69/249.36 c #Conflicts: 331000 | #Constraints: 148012
248.69/249.36 c #Conflicts: 332000 | #Constraints: 149012
248.69/249.36 c #Conflicts: 333000 | #Constraints: 150012
248.69/249.36 c INPROCESSING
248.69/249.36 c GARBAGE COLLECT
248.69/249.36 c #Conflicts: 334000 | #Constraints: 123277
248.69/249.36 c #Conflicts: 335000 | #Constraints: 124277
248.69/249.36 c #Conflicts: 336000 | #Constraints: 125277
248.69/249.36 c #Conflicts: 337000 | #Constraints: 126277
248.69/249.36 c #Conflicts: 338000 | #Constraints: 127277
248.69/249.36 c #Conflicts: 339000 | #Constraints: 128277
248.69/249.36 c #Conflicts: 340000 | #Constraints: 129277
248.69/249.36 c #Conflicts: 341000 | #Constraints: 130277
248.69/249.36 c #Conflicts: 342000 | #Constraints: 131277
248.69/249.36 c #Conflicts: 343000 | #Constraints: 132277
248.69/249.36 c #Conflicts: 344000 | #Constraints: 133277
248.69/249.36 c #Conflicts: 345000 | #Constraints: 134277
248.69/249.36 c #Conflicts: 346000 | #Constraints: 135277
248.69/249.36 c INPROCESSING
248.69/249.36 c GARBAGE COLLECT
248.69/249.36 c #Conflicts: 347000 | #Constraints: 115785
248.69/249.36 c #Conflicts: 348000 | #Constraints: 116785
248.69/249.36 c #Conflicts: 349000 | #Constraints: 117785
248.69/249.36 c #Conflicts: 350000 | #Constraints: 118785
248.69/249.36 c #Conflicts: 351000 | #Constraints: 119785
248.69/249.36 c #Conflicts: 352000 | #Constraints: 120785
248.69/249.36 c #Conflicts: 353000 | #Constraints: 121785
248.69/249.36 c #Conflicts: 354000 | #Constraints: 122785
248.69/249.36 c #Conflicts: 355000 | #Constraints: 123785
248.69/249.36 c #Conflicts: 356000 | #Constraints: 124785
248.69/249.36 c #Conflicts: 357000 | #Constraints: 125785
248.69/249.36 c #Conflicts: 358000 | #Constraints: 126785
248.69/249.36 c #Conflicts: 359000 | #Constraints: 127785
248.69/249.36 c #Conflicts: 360000 | #Constraints: 128785
248.69/249.36 c INPROCESSING
248.69/249.36 c GARBAGE COLLECT
248.69/249.36 c #Conflicts: 361000 | #Constraints: 112829
329.01/329.87 c #Conflicts: 362000 | #Constraints: 113829
329.01/329.87 c #Conflicts: 363000 | #Constraints: 114829
329.01/329.87 c #Conflicts: 364000 | #Constraints: 115829
329.01/329.87 c #Conflicts: 365000 | #Constraints: 116829
329.01/329.87 c #Conflicts: 366000 | #Constraints: 117829
329.01/329.87 c #Conflicts: 367000 | #Constraints: 118829
329.01/329.87 c #Conflicts: 368000 | #Constraints: 119829
329.01/329.87 c #Conflicts: 369000 | #Constraints: 120829
329.01/329.87 c #Conflicts: 370000 | #Constraints: 121829
329.01/329.87 c #Conflicts: 371000 | #Constraints: 122829
329.01/329.87 c #Conflicts: 372000 | #Constraints: 123829
329.01/329.87 c #Conflicts: 373000 | #Constraints: 124829
329.01/329.87 c INPROCESSING
329.01/329.87 c GARBAGE COLLECT
329.01/329.87 c #Conflicts: 374000 | #Constraints: 110491
329.01/329.87 c #Conflicts: 375000 | #Constraints: 111491
329.01/329.87 c #Conflicts: 376000 | #Constraints: 112491
329.01/329.87 c #Conflicts: 377000 | #Constraints: 113491
329.01/329.87 c #Conflicts: 378000 | #Constraints: 114491
329.01/329.87 c #Conflicts: 379000 | #Constraints: 115491
329.01/329.87 c #Conflicts: 380000 | #Constraints: 116491
329.01/329.87 c #Conflicts: 381000 | #Constraints: 117491
329.01/329.87 c #Conflicts: 382000 | #Constraints: 118491
329.01/329.87 c #Conflicts: 383000 | #Constraints: 119491
329.01/329.87 c #Conflicts: 384000 | #Constraints: 120491
329.01/329.87 c #Conflicts: 385000 | #Constraints: 121491
329.01/329.87 c #Conflicts: 386000 | #Constraints: 122491
329.01/329.87 c #Conflicts: 387000 | #Constraints: 123491
329.01/329.87 c INPROCESSING
329.01/329.87 c GARBAGE COLLECT
329.01/329.87 c #Conflicts: 388000 | #Constraints: 109851
329.01/329.87 c #Conflicts: 389000 | #Constraints: 110851
329.01/329.87 c #Conflicts: 390000 | #Constraints: 111851
329.01/329.87 c #Conflicts: 391000 | #Constraints: 112851
329.01/329.87 c #Conflicts: 392000 | #Constraints: 113851
329.01/329.87 c #Conflicts: 393000 | #Constraints: 114851
329.01/329.87 c #Conflicts: 394000 | #Constraints: 115851
329.01/329.87 c #Conflicts: 395000 | #Constraints: 116851
329.01/329.87 c #Conflicts: 396000 | #Constraints: 117851
329.01/329.87 c #Conflicts: 397000 | #Constraints: 118851
329.01/329.87 c #Conflicts: 398000 | #Constraints: 119851
329.01/329.87 c #Conflicts: 399000 | #Constraints: 120851
329.01/329.87 c #Conflicts: 400000 | #Constraints: 121851
329.01/329.87 c #Conflicts: 401000 | #Constraints: 122851
329.01/329.87 c #Conflicts: 402000 | #Constraints: 123851
329.01/329.87 c #Conflicts: 403000 | #Constraints: 124851
329.01/329.87 c #Conflicts: 404000 | #Constraints: 125851
329.01/329.87 c #Conflicts: 405000 | #Constraints: 126851
329.01/329.87 c #Conflicts: 406000 | #Constraints: 127851
329.01/329.87 c #Conflicts: 407000 | #Constraints: 128851
329.01/329.87 c #Conflicts: 408000 | #Constraints: 129851
329.01/329.87 c #Conflicts: 409000 | #Constraints: 130851
329.01/329.87 c #Conflicts: 410000 | #Constraints: 131851
329.01/329.87 c #Conflicts: 411000 | #Constraints: 132851
329.01/329.87 c #Conflicts: 412000 | #Constraints: 133851
329.01/329.87 c #Conflicts: 413000 | #Constraints: 134851
329.01/329.87 c #Conflicts: 414000 | #Constraints: 135851
329.01/329.87 c #Conflicts: 415000 | #Constraints: 136851
329.01/329.87 c #Conflicts: 416000 | #Constraints: 137851
329.01/329.87 c #Conflicts: 417000 | #Constraints: 138851
329.01/329.87 c #Conflicts: 418000 | #Constraints: 139851
329.01/329.87 c #Conflicts: 419000 | #Constraints: 140851
329.01/329.87 c #Conflicts: 420000 | #Constraints: 141851
329.01/329.87 c #Conflicts: 421000 | #Constraints: 142851
329.01/329.87 c #Conflicts: 422000 | #Constraints: 143851
329.01/329.87 c #Conflicts: 423000 | #Constraints: 144851
329.01/329.87 c #Conflicts: 424000 | #Constraints: 145851
329.01/329.87 c #Conflicts: 425000 | #Constraints: 146851
329.01/329.87 c #Conflicts: 426000 | #Constraints: 147851
329.01/329.87 c #Conflicts: 427000 | #Constraints: 148851
329.01/329.87 c #Conflicts: 428000 | #Constraints: 149851
329.01/329.87 c #Conflicts: 429000 | #Constraints: 150851
329.01/329.87 c #Conflicts: 430000 | #Constraints: 151851
329.01/329.87 c #Conflicts: 431000 | #Constraints: 152851
329.01/329.87 c #Conflicts: 432000 | #Constraints: 153851
329.01/329.87 c #Conflicts: 433000 | #Constraints: 154851
329.01/329.87 c #Conflicts: 434000 | #Constraints: 155851
329.01/329.87 c #Conflicts: 435000 | #Constraints: 156851
329.01/329.87 c #Conflicts: 436000 | #Constraints: 157851
329.01/329.87 c INPROCESSING
329.01/329.87 c GARBAGE COLLECT
329.01/329.87 c #Conflicts: 437000 | #Constraints: 126927
329.01/329.87 c #Conflicts: 438000 | #Constraints: 127927
402.64/403.63 c #Conflicts: 439000 | #Constraints: 128927
402.64/403.63 c #Conflicts: 440000 | #Constraints: 129927
402.64/403.63 c #Conflicts: 441000 | #Constraints: 130927
402.64/403.63 c #Conflicts: 442000 | #Constraints: 131927
402.64/403.63 c #Conflicts: 443000 | #Constraints: 132927
402.64/403.63 c #Conflicts: 444000 | #Constraints: 133927
402.64/403.63 c #Conflicts: 445000 | #Constraints: 134927
402.64/403.63 c #Conflicts: 446000 | #Constraints: 135927
402.64/403.63 c #Conflicts: 447000 | #Constraints: 136927
402.64/403.63 c #Conflicts: 448000 | #Constraints: 137927
402.64/403.63 c #Conflicts: 449000 | #Constraints: 138927
402.64/403.63 c #Conflicts: 450000 | #Constraints: 139927
402.64/403.63 c #Conflicts: 451000 | #Constraints: 140927
402.64/403.63 c #Conflicts: 452000 | #Constraints: 141927
402.64/403.63 c INPROCESSING
402.64/403.63 c GARBAGE COLLECT
402.64/403.63 c #Conflicts: 453000 | #Constraints: 119392
402.64/403.63 c #Conflicts: 454000 | #Constraints: 120392
402.64/403.63 c #Conflicts: 455000 | #Constraints: 121392
402.64/403.63 c #Conflicts: 456000 | #Constraints: 122392
402.64/403.63 c #Conflicts: 457000 | #Constraints: 123392
402.64/403.63 c #Conflicts: 458000 | #Constraints: 124392
402.64/403.63 c #Conflicts: 459000 | #Constraints: 125392
402.64/403.63 c #Conflicts: 460000 | #Constraints: 126392
402.64/403.63 c #Conflicts: 461000 | #Constraints: 127392
402.64/403.63 c #Conflicts: 462000 | #Constraints: 128392
402.64/403.63 c #Conflicts: 463000 | #Constraints: 129392
402.64/403.63 c #Conflicts: 464000 | #Constraints: 130392
402.64/403.63 c #Conflicts: 465000 | #Constraints: 131392
402.64/403.63 c #Conflicts: 466000 | #Constraints: 132392
402.64/403.63 c #Conflicts: 467000 | #Constraints: 133392
402.64/403.63 c INPROCESSING
402.64/403.63 c GARBAGE COLLECT
402.64/403.63 c #Conflicts: 468000 | #Constraints: 114907
402.64/403.63 c #Conflicts: 469000 | #Constraints: 115907
402.64/403.63 c #Conflicts: 470000 | #Constraints: 116907
402.64/403.63 c #Conflicts: 471000 | #Constraints: 117907
402.64/403.63 c #Conflicts: 472000 | #Constraints: 118907
402.64/403.63 c #Conflicts: 473000 | #Constraints: 119907
402.64/403.63 c #Conflicts: 474000 | #Constraints: 120907
402.64/403.63 c #Conflicts: 475000 | #Constraints: 121907
402.64/403.63 c #Conflicts: 476000 | #Constraints: 122907
402.64/403.63 c #Conflicts: 477000 | #Constraints: 123907
402.64/403.63 c #Conflicts: 478000 | #Constraints: 124907
402.64/403.63 c #Conflicts: 479000 | #Constraints: 125907
402.64/403.63 c #Conflicts: 480000 | #Constraints: 126907
402.64/403.63 c #Conflicts: 481000 | #Constraints: 127907
402.64/403.63 c #Conflicts: 482000 | #Constraints: 128907
402.64/403.63 c #Conflicts: 483000 | #Constraints: 129907
402.64/403.63 c INPROCESSING
402.64/403.63 c GARBAGE COLLECT
402.64/403.63 c #Conflicts: 484000 | #Constraints: 113420
402.64/403.63 c #Conflicts: 485000 | #Constraints: 114420
402.64/403.63 c #Conflicts: 486000 | #Constraints: 115420
402.64/403.63 c #Conflicts: 487000 | #Constraints: 116420
402.64/403.63 c #Conflicts: 488000 | #Constraints: 117420
402.64/403.63 c #Conflicts: 489000 | #Constraints: 118420
402.64/403.63 c #Conflicts: 490000 | #Constraints: 119420
402.64/403.63 c #Conflicts: 491000 | #Constraints: 120420
402.64/403.63 c #Conflicts: 492000 | #Constraints: 121420
402.64/403.63 c #Conflicts: 493000 | #Constraints: 122420
402.64/403.63 c #Conflicts: 494000 | #Constraints: 123420
402.64/403.63 c #Conflicts: 495000 | #Constraints: 124420
402.64/403.63 c #Conflicts: 496000 | #Constraints: 125420
402.64/403.63 c #Conflicts: 497000 | #Constraints: 126420
402.64/403.63 c #Conflicts: 498000 | #Constraints: 127420
402.64/403.63 c INPROCESSING
402.64/403.63 c GARBAGE COLLECT
402.64/403.63 c #Conflicts: 499000 | #Constraints: 111738
402.64/403.63 c #Conflicts: 500000 | #Constraints: 112738
402.64/403.63 c #Conflicts: 501000 | #Constraints: 113738
402.64/403.63 c #Conflicts: 502000 | #Constraints: 114738
402.64/403.63 c #Conflicts: 503000 | #Constraints: 115738
402.64/403.63 c #Conflicts: 504000 | #Constraints: 116738
402.64/403.63 c #Conflicts: 505000 | #Constraints: 117738
402.64/403.63 c #Conflicts: 506000 | #Constraints: 118738
402.64/403.63 c #Conflicts: 507000 | #Constraints: 119738
402.64/403.63 c #Conflicts: 508000 | #Constraints: 120738
402.64/403.63 c #Conflicts: 509000 | #Constraints: 121738
402.64/403.63 c #Conflicts: 510000 | #Constraints: 122738
402.64/403.63 c #Conflicts: 511000 | #Constraints: 123738
402.64/403.63 c #Conflicts: 512000 | #Constraints: 124738
402.64/403.63 c #Conflicts: 513000 | #Constraints: 125738
402.64/403.63 c #Conflicts: 514000 | #Constraints: 126738
526.85/528.14 c INPROCESSING
526.85/528.14 c GARBAGE COLLECT
526.85/528.14 c #Conflicts: 515000 | #Constraints: 111395
526.85/528.14 c #Conflicts: 516000 | #Constraints: 112395
526.85/528.14 c #Conflicts: 517000 | #Constraints: 113395
526.85/528.14 c #Conflicts: 518000 | #Constraints: 114395
526.85/528.14 c #Conflicts: 519000 | #Constraints: 115395
526.85/528.14 c #Conflicts: 520000 | #Constraints: 116395
526.85/528.14 c #Conflicts: 521000 | #Constraints: 117395
526.85/528.14 c #Conflicts: 522000 | #Constraints: 118395
526.85/528.14 c #Conflicts: 523000 | #Constraints: 119395
526.85/528.14 c #Conflicts: 524000 | #Constraints: 120395
526.85/528.14 c #Conflicts: 525000 | #Constraints: 121395
526.85/528.14 c #Conflicts: 526000 | #Constraints: 122395
526.85/528.14 c #Conflicts: 527000 | #Constraints: 123395
526.85/528.14 c #Conflicts: 528000 | #Constraints: 124395
526.85/528.14 c #Conflicts: 529000 | #Constraints: 125395
526.85/528.14 c #Conflicts: 530000 | #Constraints: 126395
526.85/528.14 c #Conflicts: 531000 | #Constraints: 127395
526.85/528.14 c #Conflicts: 532000 | #Constraints: 128395
526.85/528.14 c #Conflicts: 533000 | #Constraints: 129395
526.85/528.14 c #Conflicts: 534000 | #Constraints: 130395
526.85/528.14 c #Conflicts: 535000 | #Constraints: 131395
526.85/528.14 c #Conflicts: 536000 | #Constraints: 132395
526.85/528.14 c #Conflicts: 537000 | #Constraints: 133395
526.85/528.14 c #Conflicts: 538000 | #Constraints: 134395
526.85/528.14 c #Conflicts: 539000 | #Constraints: 135395
526.85/528.14 c #Conflicts: 540000 | #Constraints: 136395
526.85/528.14 c #Conflicts: 541000 | #Constraints: 137395
526.85/528.14 c #Conflicts: 542000 | #Constraints: 138395
526.85/528.14 c #Conflicts: 543000 | #Constraints: 139395
526.85/528.14 c #Conflicts: 544000 | #Constraints: 140395
526.85/528.14 c #Conflicts: 545000 | #Constraints: 141395
526.85/528.14 c #Conflicts: 546000 | #Constraints: 142395
526.85/528.14 c #Conflicts: 547000 | #Constraints: 143395
526.85/528.14 c #Conflicts: 548000 | #Constraints: 144395
526.85/528.14 c #Conflicts: 549000 | #Constraints: 145395
526.85/528.14 c #Conflicts: 550000 | #Constraints: 146395
526.85/528.14 c #Conflicts: 551000 | #Constraints: 147395
526.85/528.14 c #Conflicts: 552000 | #Constraints: 148395
526.85/528.14 c #Conflicts: 553000 | #Constraints: 149395
526.85/528.14 c #Conflicts: 554000 | #Constraints: 150395
526.85/528.14 c #Conflicts: 555000 | #Constraints: 151395
526.85/528.14 c #Conflicts: 556000 | #Constraints: 152395
526.85/528.14 c #Conflicts: 557000 | #Constraints: 153395
526.85/528.14 c #Conflicts: 558000 | #Constraints: 154395
526.85/528.14 c #Conflicts: 559000 | #Constraints: 155395
526.85/528.14 c #Conflicts: 560000 | #Constraints: 156395
526.85/528.14 c #Conflicts: 561000 | #Constraints: 157395
526.85/528.14 c #Conflicts: 562000 | #Constraints: 158395
526.85/528.14 c #Conflicts: 563000 | #Constraints: 159395
526.85/528.14 c #Conflicts: 564000 | #Constraints: 160395
526.85/528.14 c #Conflicts: 565000 | #Constraints: 161395
526.85/528.14 c #Conflicts: 566000 | #Constraints: 162395
526.85/528.14 c #Conflicts: 567000 | #Constraints: 163395
526.85/528.14 c #Conflicts: 568000 | #Constraints: 164395
526.85/528.14 c #Conflicts: 569000 | #Constraints: 165395
526.85/528.14 c #Conflicts: 570000 | #Constraints: 166395
526.85/528.14 c #Conflicts: 571000 | #Constraints: 167395
526.85/528.14 c INPROCESSING
526.85/528.14 c GARBAGE COLLECT
526.85/528.14 c #Conflicts: 572000 | #Constraints: 131907
526.85/528.14 c #Conflicts: 573000 | #Constraints: 132907
526.85/528.14 c #Conflicts: 574000 | #Constraints: 133907
526.85/528.14 c #Conflicts: 575000 | #Constraints: 134907
526.85/528.14 c #Conflicts: 576000 | #Constraints: 135907
526.85/528.14 c #Conflicts: 577000 | #Constraints: 136907
526.85/528.14 c #Conflicts: 578000 | #Constraints: 137907
526.85/528.14 c #Conflicts: 579000 | #Constraints: 138907
526.85/528.14 c #Conflicts: 580000 | #Constraints: 139907
526.85/528.14 c #Conflicts: 581000 | #Constraints: 140907
526.85/528.14 c #Conflicts: 582000 | #Constraints: 141907
526.85/528.14 c #Conflicts: 583000 | #Constraints: 142907
526.85/528.14 c #Conflicts: 584000 | #Constraints: 143907
526.85/528.14 c #Conflicts: 585000 | #Constraints: 144907
526.85/528.14 c #Conflicts: 586000 | #Constraints: 145907
526.85/528.14 c #Conflicts: 587000 | #Constraints: 146907
526.85/528.14 c #Conflicts: 588000 | #Constraints: 147907
526.85/528.14 c INPROCESSING
526.85/528.14 c GARBAGE COLLECT
526.85/528.14 c #Conflicts: 589000 | #Constraints: 121960
526.85/528.14 c #Conflicts: 590000 | #Constraints: 122960
526.85/528.14 c #Conflicts: 591000 | #Constraints: 123960
599.38/600.80 c #Conflicts: 592000 | #Constraints: 124960
599.38/600.80 c #Conflicts: 593000 | #Constraints: 125960
599.38/600.80 c #Conflicts: 594000 | #Constraints: 126960
599.38/600.80 c #Conflicts: 595000 | #Constraints: 127960
599.38/600.80 c #Conflicts: 596000 | #Constraints: 128960
599.38/600.80 c #Conflicts: 597000 | #Constraints: 129960
599.38/600.80 c #Conflicts: 598000 | #Constraints: 130960
599.38/600.80 c #Conflicts: 599000 | #Constraints: 131960
599.38/600.80 c #Conflicts: 600000 | #Constraints: 132960
599.38/600.80 c #Conflicts: 601000 | #Constraints: 133960
599.38/600.80 c #Conflicts: 602000 | #Constraints: 134960
599.38/600.80 c #Conflicts: 603000 | #Constraints: 135960
599.38/600.80 c #Conflicts: 604000 | #Constraints: 136960
599.38/600.80 c #Conflicts: 605000 | #Constraints: 137960
599.38/600.80 c #Conflicts: 606000 | #Constraints: 138960
599.38/600.80 c INPROCESSING
599.38/600.80 c GARBAGE COLLECT
599.38/600.80 c #Conflicts: 607000 | #Constraints: 117735
599.38/600.80 c #Conflicts: 608000 | #Constraints: 118735
599.38/600.80 c #Conflicts: 609000 | #Constraints: 119735
599.38/600.80 c #Conflicts: 610000 | #Constraints: 120735
599.38/600.80 c #Conflicts: 611000 | #Constraints: 121735
599.38/600.80 c #Conflicts: 612000 | #Constraints: 122735
599.38/600.80 c #Conflicts: 613000 | #Constraints: 123735
599.38/600.80 c #Conflicts: 614000 | #Constraints: 124735
599.38/600.80 c #Conflicts: 615000 | #Constraints: 125735
599.38/600.80 c #Conflicts: 616000 | #Constraints: 126735
599.38/600.80 c #Conflicts: 617000 | #Constraints: 127735
599.38/600.80 c #Conflicts: 618000 | #Constraints: 128735
599.38/600.80 c #Conflicts: 619000 | #Constraints: 129735
599.38/600.80 c #Conflicts: 620000 | #Constraints: 130735
599.38/600.80 c #Conflicts: 621000 | #Constraints: 131735
599.38/600.80 c #Conflicts: 622000 | #Constraints: 132735
599.38/600.80 c #Conflicts: 623000 | #Constraints: 133735
599.38/600.80 c #Conflicts: 624000 | #Constraints: 134735
599.38/600.80 c INPROCESSING
599.38/600.80 c GARBAGE COLLECT
599.38/600.80 c #Conflicts: 625000 | #Constraints: 115781
599.38/600.80 c #Conflicts: 626000 | #Constraints: 116781
599.38/600.80 c #Conflicts: 627000 | #Constraints: 117781
599.38/600.80 c #Conflicts: 628000 | #Constraints: 118781
599.38/600.80 c #Conflicts: 629000 | #Constraints: 119781
599.38/600.80 c #Conflicts: 630000 | #Constraints: 120781
599.38/600.80 c #Conflicts: 631000 | #Constraints: 121781
599.38/600.80 c #Conflicts: 632000 | #Constraints: 122781
599.38/600.80 c #Conflicts: 633000 | #Constraints: 123781
599.38/600.80 c #Conflicts: 634000 | #Constraints: 124781
599.38/600.80 c #Conflicts: 635000 | #Constraints: 125781
599.38/600.80 c #Conflicts: 636000 | #Constraints: 126781
599.38/600.80 c #Conflicts: 637000 | #Constraints: 127781
599.38/600.80 c #Conflicts: 638000 | #Constraints: 128781
599.38/600.80 c #Conflicts: 639000 | #Constraints: 129781
599.38/600.80 c #Conflicts: 640000 | #Constraints: 130781
599.38/600.80 c #Conflicts: 641000 | #Constraints: 131781
599.38/600.80 c INPROCESSING
599.38/600.80 c GARBAGE COLLECT
599.38/600.80 c #Conflicts: 642000 | #Constraints: 113860
599.38/600.80 c #Conflicts: 643000 | #Constraints: 114860
599.38/600.80 c #Conflicts: 644000 | #Constraints: 115860
599.38/600.80 c #Conflicts: 645000 | #Constraints: 116860
599.38/600.80 c #Conflicts: 646000 | #Constraints: 117860
599.38/600.80 c #Conflicts: 647000 | #Constraints: 118860
599.38/600.80 c #Conflicts: 648000 | #Constraints: 119860
599.38/600.80 c #Conflicts: 649000 | #Constraints: 120860
599.38/600.80 c #Conflicts: 650000 | #Constraints: 121860
599.38/600.80 c #Conflicts: 651000 | #Constraints: 122860
599.38/600.80 c #Conflicts: 652000 | #Constraints: 123860
599.38/600.80 c #Conflicts: 653000 | #Constraints: 124860
599.38/600.80 c #Conflicts: 654000 | #Constraints: 125860
599.38/600.80 c #Conflicts: 655000 | #Constraints: 126860
599.38/600.80 c #Conflicts: 656000 | #Constraints: 127860
599.38/600.80 c #Conflicts: 657000 | #Constraints: 128860
599.38/600.80 c #Conflicts: 658000 | #Constraints: 129860
599.38/600.80 c #Conflicts: 659000 | #Constraints: 130860
599.38/600.80 c #Conflicts: 660000 | #Constraints: 131860
599.38/600.80 c INPROCESSING
599.38/600.80 c GARBAGE COLLECT
599.38/600.80 c #Conflicts: 661000 | #Constraints: 114381
599.38/600.80 c #Conflicts: 662000 | #Constraints: 115381
599.38/600.80 c #Conflicts: 663000 | #Constraints: 116381
599.38/600.80 c #Conflicts: 664000 | #Constraints: 117381
599.38/600.80 c #Conflicts: 665000 | #Constraints: 118381
599.38/600.80 c #Conflicts: 666000 | #Constraints: 119381
599.38/600.80 c #Conflicts: 667000 | #Constraints: 120381
741.06/742.86 c #Conflicts: 668000 | #Constraints: 121381
741.06/742.86 c #Conflicts: 669000 | #Constraints: 122381
741.06/742.86 c #Conflicts: 670000 | #Constraints: 123381
741.06/742.86 c #Conflicts: 671000 | #Constraints: 124381
741.06/742.86 c #Conflicts: 672000 | #Constraints: 125381
741.06/742.86 c #Conflicts: 673000 | #Constraints: 126381
741.06/742.86 c #Conflicts: 674000 | #Constraints: 127381
741.06/742.86 c #Conflicts: 675000 | #Constraints: 128381
741.06/742.86 c #Conflicts: 676000 | #Constraints: 129381
741.06/742.86 c #Conflicts: 677000 | #Constraints: 130381
741.06/742.86 c #Conflicts: 678000 | #Constraints: 131381
741.06/742.86 c #Conflicts: 679000 | #Constraints: 132381
741.06/742.86 c #Conflicts: 680000 | #Constraints: 133381
741.06/742.86 c #Conflicts: 681000 | #Constraints: 134381
741.06/742.86 c #Conflicts: 682000 | #Constraints: 135381
741.06/742.86 c #Conflicts: 683000 | #Constraints: 136381
741.06/742.86 c #Conflicts: 684000 | #Constraints: 137381
741.06/742.86 c #Conflicts: 685000 | #Constraints: 138381
741.06/742.86 c #Conflicts: 686000 | #Constraints: 139381
741.06/742.86 c #Conflicts: 687000 | #Constraints: 140381
741.06/742.86 c #Conflicts: 688000 | #Constraints: 141381
741.06/742.86 c #Conflicts: 689000 | #Constraints: 142381
741.06/742.86 c #Conflicts: 690000 | #Constraints: 143381
741.06/742.86 c #Conflicts: 691000 | #Constraints: 144381
741.06/742.86 c #Conflicts: 692000 | #Constraints: 145381
741.06/742.86 c #Conflicts: 693000 | #Constraints: 146381
741.06/742.86 c #Conflicts: 694000 | #Constraints: 147381
741.06/742.86 c #Conflicts: 695000 | #Constraints: 148381
741.06/742.86 c #Conflicts: 696000 | #Constraints: 149381
741.06/742.86 c #Conflicts: 697000 | #Constraints: 150381
741.06/742.86 c #Conflicts: 698000 | #Constraints: 151381
741.06/742.86 c #Conflicts: 699000 | #Constraints: 152381
741.06/742.86 c #Conflicts: 700000 | #Constraints: 153381
741.06/742.86 c #Conflicts: 701000 | #Constraints: 154381
741.06/742.86 c #Conflicts: 702000 | #Constraints: 155381
741.06/742.86 c #Conflicts: 703000 | #Constraints: 156381
741.06/742.86 c #Conflicts: 704000 | #Constraints: 157381
741.06/742.86 c #Conflicts: 705000 | #Constraints: 158381
741.06/742.86 c #Conflicts: 706000 | #Constraints: 159381
741.06/742.86 c #Conflicts: 707000 | #Constraints: 160381
741.06/742.86 c #Conflicts: 708000 | #Constraints: 161381
741.06/742.86 c #Conflicts: 709000 | #Constraints: 162381
741.06/742.86 c #Conflicts: 710000 | #Constraints: 163381
741.06/742.86 c #Conflicts: 711000 | #Constraints: 164381
741.06/742.86 c #Conflicts: 712000 | #Constraints: 165381
741.06/742.86 c #Conflicts: 713000 | #Constraints: 166381
741.06/742.86 c #Conflicts: 714000 | #Constraints: 167381
741.06/742.86 c #Conflicts: 715000 | #Constraints: 168381
741.06/742.86 c #Conflicts: 716000 | #Constraints: 169381
741.06/742.86 c #Conflicts: 717000 | #Constraints: 170381
741.06/742.86 c #Conflicts: 718000 | #Constraints: 171381
741.06/742.86 c #Conflicts: 719000 | #Constraints: 172381
741.06/742.86 c #Conflicts: 720000 | #Constraints: 173381
741.06/742.86 c #Conflicts: 721000 | #Constraints: 174381
741.06/742.86 c #Conflicts: 722000 | #Constraints: 175381
741.06/742.86 c #Conflicts: 723000 | #Constraints: 176381
741.06/742.86 c #Conflicts: 724000 | #Constraints: 177381
741.06/742.86 c INPROCESSING
741.06/742.86 c GARBAGE COLLECT
741.06/742.86 c #Conflicts: 725000 | #Constraints: 137021
741.06/742.86 c #Conflicts: 726000 | #Constraints: 138021
741.06/742.86 c #Conflicts: 727000 | #Constraints: 139021
741.06/742.86 c #Conflicts: 728000 | #Constraints: 140021
741.06/742.86 c #Conflicts: 729000 | #Constraints: 141021
741.06/742.86 c #Conflicts: 730000 | #Constraints: 142021
741.06/742.86 c #Conflicts: 731000 | #Constraints: 143021
741.06/742.86 c #Conflicts: 732000 | #Constraints: 144021
741.06/742.86 c #Conflicts: 733000 | #Constraints: 145021
741.06/742.86 c #Conflicts: 734000 | #Constraints: 146021
741.06/742.86 c #Conflicts: 735000 | #Constraints: 147021
741.06/742.86 c #Conflicts: 736000 | #Constraints: 148021
741.06/742.86 c #Conflicts: 737000 | #Constraints: 149021
741.06/742.86 c #Conflicts: 738000 | #Constraints: 150021
741.06/742.86 c #Conflicts: 739000 | #Constraints: 151021
741.06/742.86 c #Conflicts: 740000 | #Constraints: 152021
741.06/742.86 c #Conflicts: 741000 | #Constraints: 153021
741.06/742.86 c #Conflicts: 742000 | #Constraints: 154021
741.06/742.86 c #Conflicts: 743000 | #Constraints: 155021
741.06/742.86 c INPROCESSING
741.06/742.86 c GARBAGE COLLECT
741.06/742.86 c #Conflicts: 744000 | #Constraints: 125649
741.06/742.86 c #Conflicts: 745000 | #Constraints: 126649
830.45/832.46 c #Conflicts: 746000 | #Constraints: 127649
830.45/832.46 c #Conflicts: 747000 | #Constraints: 128649
830.45/832.46 c #Conflicts: 748000 | #Constraints: 129649
830.45/832.46 c #Conflicts: 749000 | #Constraints: 130649
830.45/832.46 c #Conflicts: 750000 | #Constraints: 131649
830.45/832.46 c #Conflicts: 751000 | #Constraints: 132649
830.45/832.46 c #Conflicts: 752000 | #Constraints: 133649
830.45/832.46 c #Conflicts: 753000 | #Constraints: 134649
830.45/832.46 c #Conflicts: 754000 | #Constraints: 135649
830.45/832.46 c #Conflicts: 755000 | #Constraints: 136649
830.45/832.46 c #Conflicts: 756000 | #Constraints: 137649
830.45/832.46 c #Conflicts: 757000 | #Constraints: 138649
830.45/832.46 c #Conflicts: 758000 | #Constraints: 139649
830.45/832.46 c #Conflicts: 759000 | #Constraints: 140649
830.45/832.46 c #Conflicts: 760000 | #Constraints: 141649
830.45/832.46 c #Conflicts: 761000 | #Constraints: 142649
830.45/832.46 c #Conflicts: 762000 | #Constraints: 143649
830.45/832.46 c #Conflicts: 763000 | #Constraints: 144649
830.45/832.46 c INPROCESSING
830.45/832.46 c GARBAGE COLLECT
830.45/832.46 c #Conflicts: 764000 | #Constraints: 120637
830.45/832.46 c #Conflicts: 765000 | #Constraints: 121637
830.45/832.46 c #Conflicts: 766000 | #Constraints: 122637
830.45/832.46 c #Conflicts: 767000 | #Constraints: 123637
830.45/832.46 c #Conflicts: 768000 | #Constraints: 124637
830.45/832.46 c #Conflicts: 769000 | #Constraints: 125637
830.45/832.46 c #Conflicts: 770000 | #Constraints: 126637
830.45/832.46 c #Conflicts: 771000 | #Constraints: 127637
830.45/832.46 c #Conflicts: 772000 | #Constraints: 128637
830.45/832.46 c #Conflicts: 773000 | #Constraints: 129637
830.45/832.46 c #Conflicts: 774000 | #Constraints: 130637
830.45/832.46 c #Conflicts: 775000 | #Constraints: 131637
830.45/832.46 c #Conflicts: 776000 | #Constraints: 132637
830.45/832.46 c #Conflicts: 777000 | #Constraints: 133637
830.45/832.46 c #Conflicts: 778000 | #Constraints: 134637
830.45/832.46 c #Conflicts: 779000 | #Constraints: 135637
830.45/832.46 c #Conflicts: 780000 | #Constraints: 136637
830.45/832.46 c #Conflicts: 781000 | #Constraints: 137637
830.45/832.46 c #Conflicts: 782000 | #Constraints: 138637
830.45/832.46 c #Conflicts: 783000 | #Constraints: 139637
830.45/832.46 c INPROCESSING
830.45/832.46 c GARBAGE COLLECT
830.45/832.46 c #Conflicts: 784000 | #Constraints: 118263
830.45/832.46 c #Conflicts: 785000 | #Constraints: 119263
830.45/832.46 c #Conflicts: 786000 | #Constraints: 120263
830.45/832.46 c #Conflicts: 787000 | #Constraints: 121263
830.45/832.46 c #Conflicts: 788000 | #Constraints: 122263
830.45/832.46 c #Conflicts: 789000 | #Constraints: 123263
830.45/832.46 c #Conflicts: 790000 | #Constraints: 124263
830.45/832.46 c #Conflicts: 791000 | #Constraints: 125263
830.45/832.46 c #Conflicts: 792000 | #Constraints: 126263
830.45/832.46 c #Conflicts: 793000 | #Constraints: 127263
830.45/832.46 c #Conflicts: 794000 | #Constraints: 128263
830.45/832.46 c #Conflicts: 795000 | #Constraints: 129263
830.45/832.46 c #Conflicts: 796000 | #Constraints: 130263
830.45/832.46 c #Conflicts: 797000 | #Constraints: 131263
830.45/832.46 c #Conflicts: 798000 | #Constraints: 132263
830.45/832.46 c #Conflicts: 799000 | #Constraints: 133263
830.45/832.46 c #Conflicts: 800000 | #Constraints: 134263
830.45/832.46 c #Conflicts: 801000 | #Constraints: 135263
830.45/832.46 c #Conflicts: 802000 | #Constraints: 136263
830.45/832.46 c #Conflicts: 803000 | #Constraints: 137263
830.45/832.46 c INPROCESSING
830.45/832.46 c GARBAGE COLLECT
830.45/832.46 c #Conflicts: 804000 | #Constraints: 117065
830.45/832.46 c #Conflicts: 805000 | #Constraints: 118065
830.45/832.46 c #Conflicts: 806000 | #Constraints: 119065
830.45/832.46 c #Conflicts: 807000 | #Constraints: 120065
830.45/832.46 c #Conflicts: 808000 | #Constraints: 121065
830.45/832.46 c #Conflicts: 809000 | #Constraints: 122065
830.45/832.46 c #Conflicts: 810000 | #Constraints: 123065
830.45/832.46 c #Conflicts: 811000 | #Constraints: 124065
830.45/832.46 c #Conflicts: 812000 | #Constraints: 125065
830.45/832.46 c #Conflicts: 813000 | #Constraints: 126065
830.45/832.46 c #Conflicts: 814000 | #Constraints: 127065
830.45/832.46 c #Conflicts: 815000 | #Constraints: 128065
830.45/832.46 c #Conflicts: 816000 | #Constraints: 129065
830.45/832.46 c #Conflicts: 817000 | #Constraints: 130065
830.45/832.46 c #Conflicts: 818000 | #Constraints: 131065
830.45/832.46 c #Conflicts: 819000 | #Constraints: 132065
830.45/832.46 c #Conflicts: 820000 | #Constraints: 133065
830.45/832.46 c #Conflicts: 821000 | #Constraints: 134065
973.11/975.43 c #Conflicts: 822000 | #Constraints: 135065
973.11/975.43 c #Conflicts: 823000 | #Constraints: 136065
973.11/975.43 c INPROCESSING
973.11/975.43 c GARBAGE COLLECT
973.11/975.43 c #Conflicts: 824000 | #Constraints: 116392
973.11/975.43 c #Conflicts: 825000 | #Constraints: 117392
973.11/975.43 c #Conflicts: 826000 | #Constraints: 118392
973.11/975.43 c #Conflicts: 827000 | #Constraints: 119392
973.11/975.43 c #Conflicts: 828000 | #Constraints: 120392
973.11/975.43 c #Conflicts: 829000 | #Constraints: 121392
973.11/975.43 c #Conflicts: 830000 | #Constraints: 122392
973.11/975.43 c #Conflicts: 831000 | #Constraints: 123392
973.11/975.43 c #Conflicts: 832000 | #Constraints: 124392
973.11/975.43 c #Conflicts: 833000 | #Constraints: 125392
973.11/975.43 c #Conflicts: 834000 | #Constraints: 126392
973.11/975.43 c #Conflicts: 835000 | #Constraints: 127392
973.11/975.43 c #Conflicts: 836000 | #Constraints: 128392
973.11/975.43 c #Conflicts: 837000 | #Constraints: 129392
973.11/975.43 c #Conflicts: 838000 | #Constraints: 130392
973.11/975.43 c #Conflicts: 839000 | #Constraints: 131392
973.11/975.43 c #Conflicts: 840000 | #Constraints: 132392
973.11/975.43 c #Conflicts: 841000 | #Constraints: 133392
973.11/975.43 c #Conflicts: 842000 | #Constraints: 134392
973.11/975.43 c #Conflicts: 843000 | #Constraints: 135392
973.11/975.43 c #Conflicts: 844000 | #Constraints: 136392
973.11/975.43 c #Conflicts: 845000 | #Constraints: 137392
973.11/975.43 c #Conflicts: 846000 | #Constraints: 138392
973.11/975.43 c #Conflicts: 847000 | #Constraints: 139392
973.11/975.43 c #Conflicts: 848000 | #Constraints: 140392
973.11/975.43 c #Conflicts: 849000 | #Constraints: 141392
973.11/975.43 c #Conflicts: 850000 | #Constraints: 142392
973.11/975.43 c #Conflicts: 851000 | #Constraints: 143392
973.11/975.43 c #Conflicts: 852000 | #Constraints: 144392
973.11/975.43 c #Conflicts: 853000 | #Constraints: 145392
973.11/975.43 c #Conflicts: 854000 | #Constraints: 146392
973.11/975.43 c #Conflicts: 855000 | #Constraints: 147392
973.11/975.43 c #Conflicts: 856000 | #Constraints: 148392
973.11/975.43 c #Conflicts: 857000 | #Constraints: 149392
973.11/975.43 c #Conflicts: 858000 | #Constraints: 150392
973.11/975.43 c #Conflicts: 859000 | #Constraints: 151392
973.11/975.43 c #Conflicts: 860000 | #Constraints: 152392
973.11/975.43 c #Conflicts: 861000 | #Constraints: 153392
973.11/975.43 c #Conflicts: 862000 | #Constraints: 154392
973.11/975.43 c #Conflicts: 863000 | #Constraints: 155392
973.11/975.43 c #Conflicts: 864000 | #Constraints: 156392
973.11/975.43 c #Conflicts: 865000 | #Constraints: 157392
973.11/975.43 c #Conflicts: 866000 | #Constraints: 158392
973.11/975.43 c #Conflicts: 867000 | #Constraints: 159392
973.11/975.43 c #Conflicts: 868000 | #Constraints: 160392
973.11/975.43 c #Conflicts: 869000 | #Constraints: 161392
973.11/975.43 c #Conflicts: 870000 | #Constraints: 162392
973.11/975.43 c #Conflicts: 871000 | #Constraints: 163392
973.11/975.43 c #Conflicts: 872000 | #Constraints: 164392
973.11/975.43 c #Conflicts: 873000 | #Constraints: 165392
973.11/975.43 c #Conflicts: 874000 | #Constraints: 166392
973.11/975.43 c #Conflicts: 875000 | #Constraints: 167392
973.11/975.43 c #Conflicts: 876000 | #Constraints: 168392
973.11/975.43 c #Conflicts: 877000 | #Constraints: 169392
973.11/975.43 c #Conflicts: 878000 | #Constraints: 170392
973.11/975.43 c #Conflicts: 879000 | #Constraints: 171392
973.11/975.43 c #Conflicts: 880000 | #Constraints: 172392
973.11/975.43 c #Conflicts: 881000 | #Constraints: 173392
973.11/975.43 c #Conflicts: 882000 | #Constraints: 174392
973.11/975.43 c #Conflicts: 883000 | #Constraints: 175392
973.11/975.43 c #Conflicts: 884000 | #Constraints: 176392
973.11/975.43 c #Conflicts: 885000 | #Constraints: 177392
973.11/975.43 c #Conflicts: 886000 | #Constraints: 178392
973.11/975.43 c #Conflicts: 887000 | #Constraints: 179392
973.11/975.43 c #Conflicts: 888000 | #Constraints: 180392
973.11/975.43 c #Conflicts: 889000 | #Constraints: 181392
973.11/975.43 c #Conflicts: 890000 | #Constraints: 182392
973.11/975.43 c #Conflicts: 891000 | #Constraints: 183392
973.11/975.43 c #Conflicts: 892000 | #Constraints: 184392
973.11/975.43 c #Conflicts: 893000 | #Constraints: 185392
973.11/975.43 c #Conflicts: 894000 | #Constraints: 186392
973.11/975.43 c INPROCESSING
973.11/975.43 c GARBAGE COLLECT
973.11/975.43 c #Conflicts: 895000 | #Constraints: 141156
973.11/975.43 c #Conflicts: 896000 | #Constraints: 142156
973.11/975.43 c #Conflicts: 897000 | #Constraints: 143156
973.11/975.43 c #Conflicts: 898000 | #Constraints: 144156
973.11/975.43 c #Conflicts: 899000 | #Constraints: 145156
1091.54/1094.10 c #Conflicts: 900000 | #Constraints: 146156
1091.54/1094.10 c #Conflicts: 901000 | #Constraints: 147156
1091.54/1094.10 c #Conflicts: 902000 | #Constraints: 148156
1091.54/1094.10 c #Conflicts: 903000 | #Constraints: 149156
1091.54/1094.10 c #Conflicts: 904000 | #Constraints: 150156
1091.54/1094.10 c #Conflicts: 905000 | #Constraints: 151156
1091.54/1094.10 c #Conflicts: 906000 | #Constraints: 152156
1091.54/1094.10 c #Conflicts: 907000 | #Constraints: 153156
1091.54/1094.10 c #Conflicts: 908000 | #Constraints: 154156
1091.54/1094.10 c #Conflicts: 909000 | #Constraints: 155156
1091.54/1094.10 c #Conflicts: 910000 | #Constraints: 156156
1091.54/1094.10 c #Conflicts: 911000 | #Constraints: 157156
1091.54/1094.10 c #Conflicts: 912000 | #Constraints: 158156
1091.54/1094.10 c #Conflicts: 913000 | #Constraints: 159156
1091.54/1094.10 c #Conflicts: 914000 | #Constraints: 160156
1091.54/1094.10 c #Conflicts: 915000 | #Constraints: 161156
1091.54/1094.10 c #Conflicts: 916000 | #Constraints: 162156
1091.54/1094.10 c INPROCESSING
1091.54/1094.10 c GARBAGE COLLECT
1091.54/1094.10 c #Conflicts: 917000 | #Constraints: 129298
1091.54/1094.10 c #Conflicts: 918000 | #Constraints: 130298
1091.54/1094.10 c #Conflicts: 919000 | #Constraints: 131298
1091.54/1094.10 c #Conflicts: 920000 | #Constraints: 132298
1091.54/1094.10 c #Conflicts: 921000 | #Constraints: 133298
1091.54/1094.10 c #Conflicts: 922000 | #Constraints: 134298
1091.54/1094.10 c #Conflicts: 923000 | #Constraints: 135298
1091.54/1094.10 c #Conflicts: 924000 | #Constraints: 136298
1091.54/1094.10 c #Conflicts: 925000 | #Constraints: 137298
1091.54/1094.10 c #Conflicts: 926000 | #Constraints: 138298
1091.54/1094.10 c #Conflicts: 927000 | #Constraints: 139298
1091.54/1094.10 c #Conflicts: 928000 | #Constraints: 140298
1091.54/1094.10 c #Conflicts: 929000 | #Constraints: 141298
1091.54/1094.10 c #Conflicts: 930000 | #Constraints: 142298
1091.54/1094.10 c #Conflicts: 931000 | #Constraints: 143298
1091.54/1094.10 c #Conflicts: 932000 | #Constraints: 144298
1091.54/1094.10 c #Conflicts: 933000 | #Constraints: 145298
1091.54/1094.10 c #Conflicts: 934000 | #Constraints: 146298
1091.54/1094.10 c #Conflicts: 935000 | #Constraints: 147298
1091.54/1094.10 c #Conflicts: 936000 | #Constraints: 148298
1091.54/1094.10 c #Conflicts: 937000 | #Constraints: 149298
1091.54/1094.10 c #Conflicts: 938000 | #Constraints: 150298
1091.54/1094.10 c INPROCESSING
1091.54/1094.10 c GARBAGE COLLECT
1091.54/1094.10 c #Conflicts: 939000 | #Constraints: 123523
1091.54/1094.10 c #Conflicts: 940000 | #Constraints: 124523
1091.54/1094.10 c #Conflicts: 941000 | #Constraints: 125523
1091.54/1094.10 c #Conflicts: 942000 | #Constraints: 126523
1091.54/1094.10 c #Conflicts: 943000 | #Constraints: 127523
1091.54/1094.10 c #Conflicts: 944000 | #Constraints: 128523
1091.54/1094.10 c #Conflicts: 945000 | #Constraints: 129523
1091.54/1094.10 c #Conflicts: 946000 | #Constraints: 130523
1091.54/1094.10 c #Conflicts: 947000 | #Constraints: 131523
1091.54/1094.10 c #Conflicts: 948000 | #Constraints: 132523
1091.54/1094.10 c #Conflicts: 949000 | #Constraints: 133523
1091.54/1094.10 c #Conflicts: 950000 | #Constraints: 134523
1091.54/1094.10 c #Conflicts: 951000 | #Constraints: 135523
1091.54/1094.10 c #Conflicts: 952000 | #Constraints: 136523
1091.54/1094.10 c #Conflicts: 953000 | #Constraints: 137523
1091.54/1094.10 c #Conflicts: 954000 | #Constraints: 138523
1091.54/1094.10 c #Conflicts: 955000 | #Constraints: 139523
1091.54/1094.10 c #Conflicts: 956000 | #Constraints: 140523
1091.54/1094.10 c #Conflicts: 957000 | #Constraints: 141523
1091.54/1094.10 c #Conflicts: 958000 | #Constraints: 142523
1091.54/1094.10 c #Conflicts: 959000 | #Constraints: 143523
1091.54/1094.10 c #Conflicts: 960000 | #Constraints: 144523
1091.54/1094.10 c INPROCESSING
1091.54/1094.10 c GARBAGE COLLECT
1091.54/1094.10 c #Conflicts: 961000 | #Constraints: 120720
1091.54/1094.10 c #Conflicts: 962000 | #Constraints: 121720
1091.54/1094.10 c #Conflicts: 963000 | #Constraints: 122720
1091.54/1094.10 c #Conflicts: 964000 | #Constraints: 123720
1091.54/1094.10 c #Conflicts: 965000 | #Constraints: 124720
1091.54/1094.10 c #Conflicts: 966000 | #Constraints: 125720
1091.54/1094.10 c #Conflicts: 967000 | #Constraints: 126720
1091.54/1094.10 c #Conflicts: 968000 | #Constraints: 127720
1091.54/1094.10 c #Conflicts: 969000 | #Constraints: 128720
1091.54/1094.10 c #Conflicts: 970000 | #Constraints: 129720
1091.54/1094.10 c #Conflicts: 971000 | #Constraints: 130720
1091.54/1094.10 c #Conflicts: 972000 | #Constraints: 131720
1091.54/1094.10 c #Conflicts: 973000 | #Constraints: 132720
1091.54/1094.10 c #Conflicts: 974000 | #Constraints: 133720
1091.54/1094.10 c #Conflicts: 975000 | #Constraints: 134720
1091.54/1094.10 c #Conflicts: 976000 | #Constraints: 135720
1191.11/1193.97 c #Conflicts: 977000 | #Constraints: 136720
1191.11/1193.97 c #Conflicts: 978000 | #Constraints: 137720
1191.11/1193.97 c #Conflicts: 979000 | #Constraints: 138720
1191.11/1193.97 c #Conflicts: 980000 | #Constraints: 139720
1191.11/1193.97 c #Conflicts: 981000 | #Constraints: 140720
1191.11/1193.97 c #Conflicts: 982000 | #Constraints: 141720
1191.11/1193.97 c INPROCESSING
1191.11/1193.97 c GARBAGE COLLECT
1191.11/1193.97 c #Conflicts: 983000 | #Constraints: 119274
1191.11/1193.97 c #Conflicts: 984000 | #Constraints: 120274
1191.11/1193.97 c #Conflicts: 985000 | #Constraints: 121274
1191.11/1193.97 c #Conflicts: 986000 | #Constraints: 122274
1191.11/1193.97 c #Conflicts: 987000 | #Constraints: 123274
1191.11/1193.97 c #Conflicts: 988000 | #Constraints: 124274
1191.11/1193.97 c #Conflicts: 989000 | #Constraints: 125274
1191.11/1193.97 c #Conflicts: 990000 | #Constraints: 126274
1191.11/1193.97 c #Conflicts: 991000 | #Constraints: 127274
1191.11/1193.97 c #Conflicts: 992000 | #Constraints: 128274
1191.11/1193.97 c #Conflicts: 993000 | #Constraints: 129274
1191.11/1193.97 c #Conflicts: 994000 | #Constraints: 130274
1191.11/1193.97 c #Conflicts: 995000 | #Constraints: 131274
1191.11/1193.97 c #Conflicts: 996000 | #Constraints: 132274
1191.11/1193.97 c #Conflicts: 997000 | #Constraints: 133274
1191.11/1193.97 c #Conflicts: 998000 | #Constraints: 134274
1191.11/1193.97 c #Conflicts: 999000 | #Constraints: 135274
1191.11/1193.97 c #Conflicts: 1000000 | #Constraints: 136274
1191.11/1193.97 c #Conflicts: 1001000 | #Constraints: 137274
1191.11/1193.97 c #Conflicts: 1002000 | #Constraints: 138274
1191.11/1193.97 c #Conflicts: 1003000 | #Constraints: 139274
1191.11/1193.97 c #Conflicts: 1004000 | #Constraints: 140274
1191.11/1193.97 c INPROCESSING
1191.11/1193.97 c GARBAGE COLLECT
1191.11/1193.97 c #Conflicts: 1005000 | #Constraints: 118363
1191.11/1193.97 c #Conflicts: 1006000 | #Constraints: 119363
1191.11/1193.97 c #Conflicts: 1007000 | #Constraints: 120363
1191.11/1193.97 c #Conflicts: 1008000 | #Constraints: 121363
1191.11/1193.97 c #Conflicts: 1009000 | #Constraints: 122363
1191.11/1193.97 c #Conflicts: 1010000 | #Constraints: 123363
1191.11/1193.97 c #Conflicts: 1011000 | #Constraints: 124363
1191.11/1193.97 c #Conflicts: 1012000 | #Constraints: 125363
1191.11/1193.97 c #Conflicts: 1013000 | #Constraints: 126363
1191.11/1193.97 c #Conflicts: 1014000 | #Constraints: 127363
1191.11/1193.97 c #Conflicts: 1015000 | #Constraints: 128363
1191.11/1193.97 c #Conflicts: 1016000 | #Constraints: 129363
1191.11/1193.97 c #Conflicts: 1017000 | #Constraints: 130363
1191.11/1193.97 c #Conflicts: 1018000 | #Constraints: 131363
1191.11/1193.97 c #Conflicts: 1019000 | #Constraints: 132363
1191.11/1193.97 c #Conflicts: 1020000 | #Constraints: 133363
1191.11/1193.97 c #Conflicts: 1021000 | #Constraints: 134363
1191.11/1193.97 c #Conflicts: 1022000 | #Constraints: 135363
1191.11/1193.97 c #Conflicts: 1023000 | #Constraints: 136363
1191.11/1193.97 c #Conflicts: 1024000 | #Constraints: 137363
1191.11/1193.97 c #Conflicts: 1025000 | #Constraints: 138363
1191.11/1193.97 c #Conflicts: 1026000 | #Constraints: 139363
1191.11/1193.97 c #Conflicts: 1027000 | #Constraints: 140363
1191.11/1193.97 c #Conflicts: 1028000 | #Constraints: 141363
1191.11/1193.97 c #Conflicts: 1029000 | #Constraints: 142363
1191.11/1193.97 c #Conflicts: 1030000 | #Constraints: 143363
1191.11/1193.97 c #Conflicts: 1031000 | #Constraints: 144363
1191.11/1193.97 c #Conflicts: 1032000 | #Constraints: 145363
1191.11/1193.97 c #Conflicts: 1033000 | #Constraints: 146363
1191.11/1193.97 c #Conflicts: 1034000 | #Constraints: 147363
1191.11/1193.97 c #Conflicts: 1035000 | #Constraints: 148363
1191.11/1193.97 c #Conflicts: 1036000 | #Constraints: 149363
1191.11/1193.97 c #Conflicts: 1037000 | #Constraints: 150363
1191.11/1193.97 c #Conflicts: 1038000 | #Constraints: 151363
1191.11/1193.97 c #Conflicts: 1039000 | #Constraints: 152363
1191.11/1193.97 c #Conflicts: 1040000 | #Constraints: 153363
1191.11/1193.97 c #Conflicts: 1041000 | #Constraints: 154363
1191.11/1193.97 c #Conflicts: 1042000 | #Constraints: 155363
1191.11/1193.97 c #Conflicts: 1043000 | #Constraints: 156363
1191.11/1193.97 c #Conflicts: 1044000 | #Constraints: 157363
1191.11/1193.97 c #Conflicts: 1045000 | #Constraints: 158363
1191.11/1193.97 c #Conflicts: 1046000 | #Constraints: 159363
1191.11/1193.97 c #Conflicts: 1047000 | #Constraints: 160363
1191.11/1193.97 c #Conflicts: 1048000 | #Constraints: 161363
1191.11/1193.97 c #Conflicts: 1049000 | #Constraints: 162363
1191.11/1193.97 c #Conflicts: 1050000 | #Constraints: 163363
1191.11/1193.97 c #Conflicts: 1051000 | #Constraints: 164363
1191.11/1193.97 c #Conflicts: 1052000 | #Constraints: 165363
1191.11/1193.97 c #Conflicts: 1053000 | #Constraints: 166363
1397.71/1401.03 c #Conflicts: 1054000 | #Constraints: 167363
1397.71/1401.03 c #Conflicts: 1055000 | #Constraints: 168363
1397.71/1401.03 c #Conflicts: 1056000 | #Constraints: 169363
1397.71/1401.03 c #Conflicts: 1057000 | #Constraints: 170363
1397.71/1401.03 c #Conflicts: 1058000 | #Constraints: 171363
1397.71/1401.03 c #Conflicts: 1059000 | #Constraints: 172363
1397.71/1401.03 c #Conflicts: 1060000 | #Constraints: 173363
1397.71/1401.03 c #Conflicts: 1061000 | #Constraints: 174363
1397.71/1401.03 c #Conflicts: 1062000 | #Constraints: 175363
1397.71/1401.03 c #Conflicts: 1063000 | #Constraints: 176363
1397.71/1401.03 c #Conflicts: 1064000 | #Constraints: 177363
1397.71/1401.03 c #Conflicts: 1065000 | #Constraints: 178363
1397.71/1401.03 c #Conflicts: 1066000 | #Constraints: 179363
1397.71/1401.03 c #Conflicts: 1067000 | #Constraints: 180363
1397.71/1401.03 c #Conflicts: 1068000 | #Constraints: 181363
1397.71/1401.03 c #Conflicts: 1069000 | #Constraints: 182363
1397.71/1401.03 c #Conflicts: 1070000 | #Constraints: 183363
1397.71/1401.03 c #Conflicts: 1071000 | #Constraints: 184363
1397.71/1401.03 c #Conflicts: 1072000 | #Constraints: 185363
1397.71/1401.03 c #Conflicts: 1073000 | #Constraints: 186363
1397.71/1401.03 c #Conflicts: 1074000 | #Constraints: 187363
1397.71/1401.03 c #Conflicts: 1075000 | #Constraints: 188363
1397.71/1401.03 c #Conflicts: 1076000 | #Constraints: 189363
1397.71/1401.03 c #Conflicts: 1077000 | #Constraints: 190363
1397.71/1401.03 c #Conflicts: 1078000 | #Constraints: 191363
1397.71/1401.03 c #Conflicts: 1079000 | #Constraints: 192363
1397.71/1401.03 c #Conflicts: 1080000 | #Constraints: 193363
1397.71/1401.03 c #Conflicts: 1081000 | #Constraints: 194363
1397.71/1401.03 c #Conflicts: 1082000 | #Constraints: 195363
1397.71/1401.03 c #Conflicts: 1083000 | #Constraints: 196363
1397.71/1401.03 c INPROCESSING
1397.71/1401.03 c GARBAGE COLLECT
1397.71/1401.03 c #Conflicts: 1084000 | #Constraints: 146359
1397.71/1401.03 c #Conflicts: 1085000 | #Constraints: 147359
1397.71/1401.03 c #Conflicts: 1086000 | #Constraints: 148359
1397.71/1401.03 c #Conflicts: 1087000 | #Constraints: 149359
1397.71/1401.03 c #Conflicts: 1088000 | #Constraints: 150359
1397.71/1401.03 c #Conflicts: 1089000 | #Constraints: 151359
1397.71/1401.03 c #Conflicts: 1090000 | #Constraints: 152359
1397.71/1401.03 c #Conflicts: 1091000 | #Constraints: 153359
1397.71/1401.03 c #Conflicts: 1092000 | #Constraints: 154359
1397.71/1401.03 c #Conflicts: 1093000 | #Constraints: 155359
1397.71/1401.03 c #Conflicts: 1094000 | #Constraints: 156359
1397.71/1401.03 c #Conflicts: 1095000 | #Constraints: 157359
1397.71/1401.03 c #Conflicts: 1096000 | #Constraints: 158359
1397.71/1401.03 c #Conflicts: 1097000 | #Constraints: 159359
1397.71/1401.03 c #Conflicts: 1098000 | #Constraints: 160359
1397.71/1401.03 c #Conflicts: 1099000 | #Constraints: 161359
1397.71/1401.03 c #Conflicts: 1100000 | #Constraints: 162359
1397.71/1401.03 c #Conflicts: 1101000 | #Constraints: 163359
1397.71/1401.03 c #Conflicts: 1102000 | #Constraints: 164359
1397.71/1401.03 c #Conflicts: 1103000 | #Constraints: 165359
1397.71/1401.03 c #Conflicts: 1104000 | #Constraints: 166359
1397.71/1401.03 c #Conflicts: 1105000 | #Constraints: 167359
1397.71/1401.03 c #Conflicts: 1106000 | #Constraints: 168359
1397.71/1401.03 c #Conflicts: 1107000 | #Constraints: 169359
1397.71/1401.03 c INPROCESSING
1397.71/1401.03 c GARBAGE COLLECT
1397.71/1401.03 c #Conflicts: 1108000 | #Constraints: 133020
1397.71/1401.03 c #Conflicts: 1109000 | #Constraints: 134020
1397.71/1401.03 c #Conflicts: 1110000 | #Constraints: 135020
1397.71/1401.03 c #Conflicts: 1111000 | #Constraints: 136020
1397.71/1401.03 c #Conflicts: 1112000 | #Constraints: 137020
1397.71/1401.03 c #Conflicts: 1113000 | #Constraints: 138020
1397.71/1401.03 c #Conflicts: 1114000 | #Constraints: 139020
1397.71/1401.03 c #Conflicts: 1115000 | #Constraints: 140020
1397.71/1401.03 c #Conflicts: 1116000 | #Constraints: 141020
1397.71/1401.03 c #Conflicts: 1117000 | #Constraints: 142020
1397.71/1401.03 c #Conflicts: 1118000 | #Constraints: 143020
1397.71/1401.03 c #Conflicts: 1119000 | #Constraints: 144020
1397.71/1401.03 c #Conflicts: 1120000 | #Constraints: 145020
1397.71/1401.03 c #Conflicts: 1121000 | #Constraints: 146020
1397.71/1401.03 c #Conflicts: 1122000 | #Constraints: 147020
1397.71/1401.03 c #Conflicts: 1123000 | #Constraints: 148020
1397.71/1401.03 c #Conflicts: 1124000 | #Constraints: 149020
1397.71/1401.03 c #Conflicts: 1125000 | #Constraints: 150020
1397.71/1401.03 c #Conflicts: 1126000 | #Constraints: 151020
1397.71/1401.03 c #Conflicts: 1127000 | #Constraints: 152020
1397.71/1401.03 c #Conflicts: 1128000 | #Constraints: 153020
1397.71/1401.03 c #Conflicts: 1129000 | #Constraints: 154020
1397.71/1401.03 c #Conflicts: 1130000 | #Constraints: 155020
1397.71/1401.03 c #Conflicts: 1131000 | #Constraints: 156020
1494.97/1498.55 c INPROCESSING
1494.97/1498.55 c GARBAGE COLLECT
1494.97/1498.55 c #Conflicts: 1132000 | #Constraints: 126463
1494.97/1498.55 c #Conflicts: 1133000 | #Constraints: 127463
1494.97/1498.55 c #Conflicts: 1134000 | #Constraints: 128463
1494.97/1498.55 c #Conflicts: 1135000 | #Constraints: 129463
1494.97/1498.55 c #Conflicts: 1136000 | #Constraints: 130463
1494.97/1498.55 c #Conflicts: 1137000 | #Constraints: 131463
1494.97/1498.55 c #Conflicts: 1138000 | #Constraints: 132463
1494.97/1498.55 c #Conflicts: 1139000 | #Constraints: 133463
1494.97/1498.55 c #Conflicts: 1140000 | #Constraints: 134463
1494.97/1498.55 c #Conflicts: 1141000 | #Constraints: 135463
1494.97/1498.55 c #Conflicts: 1142000 | #Constraints: 136463
1494.97/1498.55 c #Conflicts: 1143000 | #Constraints: 137463
1494.97/1498.55 c #Conflicts: 1144000 | #Constraints: 138463
1494.97/1498.55 c #Conflicts: 1145000 | #Constraints: 139463
1494.97/1498.55 c #Conflicts: 1146000 | #Constraints: 140463
1494.97/1498.55 c #Conflicts: 1147000 | #Constraints: 141463
1494.97/1498.55 c #Conflicts: 1148000 | #Constraints: 142463
1494.97/1498.55 c #Conflicts: 1149000 | #Constraints: 143463
1494.97/1498.55 c #Conflicts: 1150000 | #Constraints: 144463
1494.97/1498.55 c #Conflicts: 1151000 | #Constraints: 145463
1494.97/1498.55 c #Conflicts: 1152000 | #Constraints: 146463
1494.97/1498.55 c #Conflicts: 1153000 | #Constraints: 147463
1494.97/1498.55 c #Conflicts: 1154000 | #Constraints: 148463
1494.97/1498.55 c #Conflicts: 1155000 | #Constraints: 149463
1494.97/1498.55 c INPROCESSING
1494.97/1498.55 c GARBAGE COLLECT
1494.97/1498.55 c #Conflicts: 1156000 | #Constraints: 123145
1494.97/1498.55 c #Conflicts: 1157000 | #Constraints: 124145
1494.97/1498.55 c #Conflicts: 1158000 | #Constraints: 125145
1494.97/1498.55 c #Conflicts: 1159000 | #Constraints: 126145
1494.97/1498.55 c #Conflicts: 1160000 | #Constraints: 127145
1494.97/1498.55 c #Conflicts: 1161000 | #Constraints: 128145
1494.97/1498.55 c #Conflicts: 1162000 | #Constraints: 129145
1494.97/1498.55 c #Conflicts: 1163000 | #Constraints: 130145
1494.97/1498.55 c #Conflicts: 1164000 | #Constraints: 131145
1494.97/1498.55 c #Conflicts: 1165000 | #Constraints: 132145
1494.97/1498.55 c #Conflicts: 1166000 | #Constraints: 133145
1494.97/1498.55 c #Conflicts: 1167000 | #Constraints: 134145
1494.97/1498.55 c #Conflicts: 1168000 | #Constraints: 135145
1494.97/1498.55 c #Conflicts: 1169000 | #Constraints: 136145
1494.97/1498.55 c #Conflicts: 1170000 | #Constraints: 137145
1494.97/1498.55 c #Conflicts: 1171000 | #Constraints: 138145
1494.97/1498.55 c #Conflicts: 1172000 | #Constraints: 139145
1494.97/1498.55 c #Conflicts: 1173000 | #Constraints: 140145
1494.97/1498.55 c #Conflicts: 1174000 | #Constraints: 141145
1494.97/1498.55 c #Conflicts: 1175000 | #Constraints: 142145
1494.97/1498.55 c #Conflicts: 1176000 | #Constraints: 143145
1494.97/1498.55 c #Conflicts: 1177000 | #Constraints: 144145
1494.97/1498.55 c #Conflicts: 1178000 | #Constraints: 145145
1494.97/1498.55 c #Conflicts: 1179000 | #Constraints: 146145
1494.97/1498.55 c INPROCESSING
1494.97/1498.55 c GARBAGE COLLECT
1494.97/1498.55 c #Conflicts: 1180000 | #Constraints: 121417
1494.97/1498.55 c #Conflicts: 1181000 | #Constraints: 122417
1494.97/1498.55 c #Conflicts: 1182000 | #Constraints: 123417
1494.97/1498.55 c #Conflicts: 1183000 | #Constraints: 124417
1494.97/1498.55 c #Conflicts: 1184000 | #Constraints: 125417
1494.97/1498.55 c #Conflicts: 1185000 | #Constraints: 126417
1494.97/1498.55 c #Conflicts: 1186000 | #Constraints: 127417
1494.97/1498.55 c #Conflicts: 1187000 | #Constraints: 128417
1494.97/1498.55 c #Conflicts: 1188000 | #Constraints: 129417
1494.97/1498.55 c #Conflicts: 1189000 | #Constraints: 130417
1494.97/1498.55 c #Conflicts: 1190000 | #Constraints: 131417
1494.97/1498.55 c #Conflicts: 1191000 | #Constraints: 132417
1494.97/1498.55 c #Conflicts: 1192000 | #Constraints: 133417
1494.97/1498.55 c #Conflicts: 1193000 | #Constraints: 134417
1494.97/1498.55 c #Conflicts: 1194000 | #Constraints: 135417
1494.97/1498.55 c #Conflicts: 1195000 | #Constraints: 136417
1494.97/1498.55 c #Conflicts: 1196000 | #Constraints: 137417
1494.97/1498.55 c #Conflicts: 1197000 | #Constraints: 138417
1494.97/1498.55 c #Conflicts: 1198000 | #Constraints: 139417
1494.97/1498.55 c #Conflicts: 1199000 | #Constraints: 140417
1494.97/1498.55 c #Conflicts: 1200000 | #Constraints: 141417
1494.97/1498.55 c #Conflicts: 1201000 | #Constraints: 142417
1494.97/1498.55 c #Conflicts: 1202000 | #Constraints: 143417
1494.97/1498.55 c #Conflicts: 1203000 | #Constraints: 144417
1494.97/1498.55 c INPROCESSING
1494.97/1498.55 c GARBAGE COLLECT
1494.97/1498.55 c #Conflicts: 1204000 | #Constraints: 120324
1494.97/1498.55 c #Conflicts: 1205000 | #Constraints: 121324
1494.97/1498.55 c #Conflicts: 1206000 | #Constraints: 122324
1494.97/1498.55 c #Conflicts: 1207000 | #Constraints: 123324
1626.96/1630.87 c #Conflicts: 1208000 | #Constraints: 124324
1626.96/1630.87 c #Conflicts: 1209000 | #Constraints: 125324
1626.96/1630.87 c #Conflicts: 1210000 | #Constraints: 126324
1626.96/1630.87 c #Conflicts: 1211000 | #Constraints: 127324
1626.96/1630.87 c #Conflicts: 1212000 | #Constraints: 128324
1626.96/1630.87 c #Conflicts: 1213000 | #Constraints: 129324
1626.96/1630.87 c #Conflicts: 1214000 | #Constraints: 130324
1626.96/1630.87 c #Conflicts: 1215000 | #Constraints: 131324
1626.96/1630.87 c #Conflicts: 1216000 | #Constraints: 132324
1626.96/1630.87 c #Conflicts: 1217000 | #Constraints: 133324
1626.96/1630.87 c #Conflicts: 1218000 | #Constraints: 134324
1626.96/1630.87 c #Conflicts: 1219000 | #Constraints: 135324
1626.96/1630.87 c #Conflicts: 1220000 | #Constraints: 136324
1626.96/1630.87 c #Conflicts: 1221000 | #Constraints: 137324
1626.96/1630.87 c #Conflicts: 1222000 | #Constraints: 138324
1626.96/1630.87 c #Conflicts: 1223000 | #Constraints: 139324
1626.96/1630.87 c #Conflicts: 1224000 | #Constraints: 140324
1626.96/1630.87 c #Conflicts: 1225000 | #Constraints: 141324
1626.96/1630.87 c #Conflicts: 1226000 | #Constraints: 142324
1626.96/1630.87 c #Conflicts: 1227000 | #Constraints: 143324
1626.96/1630.87 c #Conflicts: 1228000 | #Constraints: 144324
1626.96/1630.87 c INPROCESSING
1626.96/1630.87 c GARBAGE COLLECT
1626.96/1630.87 c #Conflicts: 1229000 | #Constraints: 120464
1626.96/1630.87 c #Conflicts: 1230000 | #Constraints: 121464
1626.96/1630.87 c #Conflicts: 1231000 | #Constraints: 122464
1626.96/1630.87 c #Conflicts: 1232000 | #Constraints: 123464
1626.96/1630.87 c #Conflicts: 1233000 | #Constraints: 124464
1626.96/1630.87 c #Conflicts: 1234000 | #Constraints: 125464
1626.96/1630.87 c #Conflicts: 1235000 | #Constraints: 126464
1626.96/1630.87 c #Conflicts: 1236000 | #Constraints: 127464
1626.96/1630.87 c #Conflicts: 1237000 | #Constraints: 128464
1626.96/1630.87 c #Conflicts: 1238000 | #Constraints: 129464
1626.96/1630.87 c #Conflicts: 1239000 | #Constraints: 130464
1626.96/1630.87 c #Conflicts: 1240000 | #Constraints: 131464
1626.96/1630.87 c #Conflicts: 1241000 | #Constraints: 132464
1626.96/1630.87 c #Conflicts: 1242000 | #Constraints: 133464
1626.96/1630.87 c #Conflicts: 1243000 | #Constraints: 134464
1626.96/1630.87 c #Conflicts: 1244000 | #Constraints: 135464
1626.96/1630.87 c #Conflicts: 1245000 | #Constraints: 136464
1626.96/1630.87 c #Conflicts: 1246000 | #Constraints: 137464
1626.96/1630.87 c #Conflicts: 1247000 | #Constraints: 138464
1626.96/1630.87 c #Conflicts: 1248000 | #Constraints: 139464
1626.96/1630.87 c #Conflicts: 1249000 | #Constraints: 140464
1626.96/1630.87 c #Conflicts: 1250000 | #Constraints: 141464
1626.96/1630.87 c #Conflicts: 1251000 | #Constraints: 142464
1626.96/1630.87 c #Conflicts: 1252000 | #Constraints: 143464
1626.96/1630.87 c #Conflicts: 1253000 | #Constraints: 144464
1626.96/1630.87 c #Conflicts: 1254000 | #Constraints: 145464
1626.96/1630.87 c #Conflicts: 1255000 | #Constraints: 146464
1626.96/1630.87 c #Conflicts: 1256000 | #Constraints: 147464
1626.96/1630.87 c #Conflicts: 1257000 | #Constraints: 148464
1626.96/1630.87 c #Conflicts: 1258000 | #Constraints: 149464
1626.96/1630.87 c #Conflicts: 1259000 | #Constraints: 150464
1626.96/1630.87 c #Conflicts: 1260000 | #Constraints: 151464
1626.96/1630.87 c #Conflicts: 1261000 | #Constraints: 152464
1626.96/1630.87 c #Conflicts: 1262000 | #Constraints: 153464
1626.96/1630.87 c #Conflicts: 1263000 | #Constraints: 154464
1626.96/1630.87 c #Conflicts: 1264000 | #Constraints: 155464
1626.96/1630.87 c #Conflicts: 1265000 | #Constraints: 156464
1626.96/1630.87 c #Conflicts: 1266000 | #Constraints: 157464
1626.96/1630.87 c #Conflicts: 1267000 | #Constraints: 158464
1626.96/1630.87 c #Conflicts: 1268000 | #Constraints: 159464
1626.96/1630.87 c #Conflicts: 1269000 | #Constraints: 160464
1626.96/1630.87 c #Conflicts: 1270000 | #Constraints: 161464
1626.96/1630.87 c #Conflicts: 1271000 | #Constraints: 162464
1626.96/1630.87 c #Conflicts: 1272000 | #Constraints: 163464
1626.96/1630.87 c #Conflicts: 1273000 | #Constraints: 164464
1626.96/1630.87 c #Conflicts: 1274000 | #Constraints: 165464
1626.96/1630.87 c #Conflicts: 1275000 | #Constraints: 166464
1626.96/1630.87 c #Conflicts: 1276000 | #Constraints: 167464
1626.96/1630.87 c #Conflicts: 1277000 | #Constraints: 168464
1626.96/1630.87 c #Conflicts: 1278000 | #Constraints: 169464
1626.96/1630.87 c #Conflicts: 1279000 | #Constraints: 170464
1626.96/1630.87 c #Conflicts: 1280000 | #Constraints: 171464
1626.96/1630.87 c #Conflicts: 1281000 | #Constraints: 172464
1626.96/1630.87 c #Conflicts: 1282000 | #Constraints: 173464
1626.96/1630.87 c #Conflicts: 1283000 | #Constraints: 174464
1626.96/1630.87 c #Conflicts: 1284000 | #Constraints: 175464
1626.96/1630.87 c #Conflicts: 1285000 | #Constraints: 176464
1876.56/1881.09 c #Conflicts: 1286000 | #Constraints: 177464
1876.56/1881.09 c #Conflicts: 1287000 | #Constraints: 178464
1876.56/1881.09 c #Conflicts: 1288000 | #Constraints: 179464
1876.56/1881.09 c #Conflicts: 1289000 | #Constraints: 180464
1876.56/1881.09 c #Conflicts: 1290000 | #Constraints: 181464
1876.56/1881.09 c #Conflicts: 1291000 | #Constraints: 182464
1876.56/1881.09 c #Conflicts: 1292000 | #Constraints: 183464
1876.56/1881.09 c #Conflicts: 1293000 | #Constraints: 184464
1876.56/1881.09 c #Conflicts: 1294000 | #Constraints: 185464
1876.56/1881.09 c #Conflicts: 1295000 | #Constraints: 186464
1876.56/1881.09 c #Conflicts: 1296000 | #Constraints: 187464
1876.56/1881.09 c #Conflicts: 1297000 | #Constraints: 188464
1876.56/1881.09 c #Conflicts: 1298000 | #Constraints: 189464
1876.56/1881.09 c #Conflicts: 1299000 | #Constraints: 190464
1876.56/1881.09 c #Conflicts: 1300000 | #Constraints: 191464
1876.56/1881.09 c #Conflicts: 1301000 | #Constraints: 192464
1876.56/1881.09 c #Conflicts: 1302000 | #Constraints: 193464
1876.56/1881.09 c #Conflicts: 1303000 | #Constraints: 194464
1876.56/1881.09 c #Conflicts: 1304000 | #Constraints: 195464
1876.56/1881.09 c #Conflicts: 1305000 | #Constraints: 196464
1876.56/1881.09 c #Conflicts: 1306000 | #Constraints: 197464
1876.56/1881.09 c #Conflicts: 1307000 | #Constraints: 198464
1876.56/1881.09 c #Conflicts: 1308000 | #Constraints: 199464
1876.56/1881.09 c #Conflicts: 1309000 | #Constraints: 200464
1876.56/1881.09 c #Conflicts: 1310000 | #Constraints: 201464
1876.56/1881.09 c #Conflicts: 1311000 | #Constraints: 202464
1876.56/1881.09 c #Conflicts: 1312000 | #Constraints: 203464
1876.56/1881.09 c #Conflicts: 1313000 | #Constraints: 204464
1876.56/1881.09 c #Conflicts: 1314000 | #Constraints: 205464
1876.56/1881.09 c #Conflicts: 1315000 | #Constraints: 206464
1876.56/1881.09 c #Conflicts: 1316000 | #Constraints: 207464
1876.56/1881.09 c INPROCESSING
1876.56/1881.09 c GARBAGE COLLECT
1876.56/1881.09 c #Conflicts: 1317000 | #Constraints: 152173
1876.56/1881.09 c #Conflicts: 1318000 | #Constraints: 153173
1876.56/1881.09 c #Conflicts: 1319000 | #Constraints: 154173
1876.56/1881.09 c #Conflicts: 1320000 | #Constraints: 155173
1876.56/1881.09 c #Conflicts: 1321000 | #Constraints: 156173
1876.56/1881.09 c #Conflicts: 1322000 | #Constraints: 157173
1876.56/1881.09 c #Conflicts: 1323000 | #Constraints: 158173
1876.56/1881.09 c #Conflicts: 1324000 | #Constraints: 159173
1876.56/1881.09 c #Conflicts: 1325000 | #Constraints: 160173
1876.56/1881.09 c #Conflicts: 1326000 | #Constraints: 161173
1876.56/1881.09 c #Conflicts: 1327000 | #Constraints: 162173
1876.56/1881.09 c #Conflicts: 1328000 | #Constraints: 163173
1876.56/1881.09 c #Conflicts: 1329000 | #Constraints: 164173
1876.56/1881.09 c #Conflicts: 1330000 | #Constraints: 165173
1876.56/1881.09 c #Conflicts: 1331000 | #Constraints: 166173
1876.56/1881.09 c #Conflicts: 1332000 | #Constraints: 167173
1876.56/1881.09 c #Conflicts: 1333000 | #Constraints: 168173
1876.56/1881.09 c #Conflicts: 1334000 | #Constraints: 169173
1876.56/1881.09 c #Conflicts: 1335000 | #Constraints: 170173
1876.56/1881.09 c #Conflicts: 1336000 | #Constraints: 171173
1876.56/1881.09 c #Conflicts: 1337000 | #Constraints: 172173
1876.56/1881.09 c #Conflicts: 1338000 | #Constraints: 173173
1876.56/1881.09 c #Conflicts: 1339000 | #Constraints: 174173
1876.56/1881.09 c #Conflicts: 1340000 | #Constraints: 175173
1876.56/1881.09 c #Conflicts: 1341000 | #Constraints: 176173
1876.56/1881.09 c INPROCESSING
1876.56/1881.09 c GARBAGE COLLECT
1876.56/1881.09 c #Conflicts: 1342000 | #Constraints: 136060
1876.56/1881.09 c #Conflicts: 1343000 | #Constraints: 137060
1876.56/1881.09 c #Conflicts: 1344000 | #Constraints: 138060
1876.56/1881.09 c #Conflicts: 1345000 | #Constraints: 139060
1876.56/1881.09 c #Conflicts: 1346000 | #Constraints: 140060
1876.56/1881.09 c #Conflicts: 1347000 | #Constraints: 141060
1876.56/1881.09 c #Conflicts: 1348000 | #Constraints: 142060
1876.56/1881.09 c #Conflicts: 1349000 | #Constraints: 143060
1876.56/1881.09 c #Conflicts: 1350000 | #Constraints: 144060
1876.56/1881.09 c #Conflicts: 1351000 | #Constraints: 145060
1876.56/1881.09 c #Conflicts: 1352000 | #Constraints: 146060
1876.56/1881.09 c #Conflicts: 1353000 | #Constraints: 147060
1876.56/1881.09 c #Conflicts: 1354000 | #Constraints: 148060
1876.56/1881.09 c #Conflicts: 1355000 | #Constraints: 149060
1876.56/1881.09 c #Conflicts: 1356000 | #Constraints: 150060
1876.56/1881.09 c #Conflicts: 1357000 | #Constraints: 151060
1876.56/1881.09 c #Conflicts: 1358000 | #Constraints: 152060
1876.56/1881.09 c #Conflicts: 1359000 | #Constraints: 153060
1876.56/1881.09 c #Conflicts: 1360000 | #Constraints: 154060
1876.56/1881.09 c #Conflicts: 1361000 | #Constraints: 155060
1876.56/1881.09 c #Conflicts: 1362000 | #Constraints: 156060
1876.56/1881.09 c #Conflicts: 1363000 | #Constraints: 157060
1991.09/1995.83 c #Conflicts: 1364000 | #Constraints: 158060
1991.09/1995.83 c #Conflicts: 1365000 | #Constraints: 159060
1991.09/1995.83 c #Conflicts: 1366000 | #Constraints: 160060
1991.09/1995.83 c #Conflicts: 1367000 | #Constraints: 161060
1991.09/1995.83 c #Conflicts: 1368000 | #Constraints: 162060
1991.09/1995.83 c INPROCESSING
1991.09/1995.83 c GARBAGE COLLECT
1991.09/1995.83 c #Conflicts: 1369000 | #Constraints: 129465
1991.09/1995.83 c #Conflicts: 1370000 | #Constraints: 130465
1991.09/1995.83 c #Conflicts: 1371000 | #Constraints: 131465
1991.09/1995.83 c #Conflicts: 1372000 | #Constraints: 132465
1991.09/1995.83 c #Conflicts: 1373000 | #Constraints: 133465
1991.09/1995.83 c #Conflicts: 1374000 | #Constraints: 134465
1991.09/1995.83 c #Conflicts: 1375000 | #Constraints: 135465
1991.09/1995.83 c #Conflicts: 1376000 | #Constraints: 136465
1991.09/1995.83 c #Conflicts: 1377000 | #Constraints: 137465
1991.09/1995.83 c #Conflicts: 1378000 | #Constraints: 138465
1991.09/1995.83 c #Conflicts: 1379000 | #Constraints: 139465
1991.09/1995.83 c #Conflicts: 1380000 | #Constraints: 140465
1991.09/1995.83 c #Conflicts: 1381000 | #Constraints: 141465
1991.09/1995.83 c #Conflicts: 1382000 | #Constraints: 142465
1991.09/1995.83 c #Conflicts: 1383000 | #Constraints: 143465
1991.09/1995.83 c #Conflicts: 1384000 | #Constraints: 144465
1991.09/1995.83 c #Conflicts: 1385000 | #Constraints: 145465
1991.09/1995.83 c #Conflicts: 1386000 | #Constraints: 146465
1991.09/1995.83 c #Conflicts: 1387000 | #Constraints: 147465
1991.09/1995.83 c #Conflicts: 1388000 | #Constraints: 148465
1991.09/1995.83 c #Conflicts: 1389000 | #Constraints: 149465
1991.09/1995.83 c #Conflicts: 1390000 | #Constraints: 150465
1991.09/1995.83 c #Conflicts: 1391000 | #Constraints: 151465
1991.09/1995.83 c #Conflicts: 1392000 | #Constraints: 152465
1991.09/1995.83 c #Conflicts: 1393000 | #Constraints: 153465
1991.09/1995.83 c #Conflicts: 1394000 | #Constraints: 154465
1991.09/1995.83 c INPROCESSING
1991.09/1995.83 c GARBAGE COLLECT
1991.09/1995.83 c #Conflicts: 1395000 | #Constraints: 125536
1991.09/1995.83 c #Conflicts: 1396000 | #Constraints: 126536
1991.09/1995.83 c #Conflicts: 1397000 | #Constraints: 127536
1991.09/1995.83 c #Conflicts: 1398000 | #Constraints: 128536
1991.09/1995.83 c #Conflicts: 1399000 | #Constraints: 129536
1991.09/1995.83 c #Conflicts: 1400000 | #Constraints: 130536
1991.09/1995.83 c #Conflicts: 1401000 | #Constraints: 131536
1991.09/1995.83 c #Conflicts: 1402000 | #Constraints: 132536
1991.09/1995.83 c #Conflicts: 1403000 | #Constraints: 133536
1991.09/1995.83 c #Conflicts: 1404000 | #Constraints: 134536
1991.09/1995.83 c #Conflicts: 1405000 | #Constraints: 135536
1991.09/1995.83 c #Conflicts: 1406000 | #Constraints: 136536
1991.09/1995.83 c #Conflicts: 1407000 | #Constraints: 137536
1991.09/1995.83 c #Conflicts: 1408000 | #Constraints: 138536
1991.09/1995.83 c #Conflicts: 1409000 | #Constraints: 139536
1991.09/1995.83 c #Conflicts: 1410000 | #Constraints: 140536
1991.09/1995.83 c #Conflicts: 1411000 | #Constraints: 141536
1991.09/1995.83 c #Conflicts: 1412000 | #Constraints: 142536
1991.09/1995.83 c #Conflicts: 1413000 | #Constraints: 143536
1991.09/1995.83 c #Conflicts: 1414000 | #Constraints: 144536
1991.09/1995.83 c #Conflicts: 1415000 | #Constraints: 145536
1991.09/1995.83 c #Conflicts: 1416000 | #Constraints: 146536
1991.09/1995.83 c #Conflicts: 1417000 | #Constraints: 147536
1991.09/1995.83 c #Conflicts: 1418000 | #Constraints: 148536
1991.09/1995.83 c #Conflicts: 1419000 | #Constraints: 149536
1991.09/1995.83 c #Conflicts: 1420000 | #Constraints: 150536
1991.09/1995.83 c INPROCESSING
1991.09/1995.83 c GARBAGE COLLECT
1991.09/1995.83 c #Conflicts: 1421000 | #Constraints: 123313
1991.09/1995.83 c #Conflicts: 1422000 | #Constraints: 124313
1991.09/1995.83 c #Conflicts: 1423000 | #Constraints: 125313
1991.09/1995.83 c #Conflicts: 1424000 | #Constraints: 126313
1991.09/1995.83 c #Conflicts: 1425000 | #Constraints: 127313
1991.09/1995.83 c #Conflicts: 1426000 | #Constraints: 128313
1991.09/1995.83 c #Conflicts: 1427000 | #Constraints: 129313
1991.09/1995.83 c #Conflicts: 1428000 | #Constraints: 130313
1991.09/1995.83 c #Conflicts: 1429000 | #Constraints: 131313
1991.09/1995.83 c #Conflicts: 1430000 | #Constraints: 132313
1991.09/1995.83 c #Conflicts: 1431000 | #Constraints: 133313
1991.09/1995.83 c #Conflicts: 1432000 | #Constraints: 134313
1991.09/1995.83 c #Conflicts: 1433000 | #Constraints: 135313
1991.09/1995.83 c #Conflicts: 1434000 | #Constraints: 136313
1991.09/1995.83 c #Conflicts: 1435000 | #Constraints: 137313
1991.09/1995.83 c #Conflicts: 1436000 | #Constraints: 138313
1991.09/1995.83 c #Conflicts: 1437000 | #Constraints: 139313
1991.09/1995.83 c #Conflicts: 1438000 | #Constraints: 140313
1991.09/1995.83 c #Conflicts: 1439000 | #Constraints: 141313
1991.09/1995.83 c #Conflicts: 1440000 | #Constraints: 142313
2106.03/2111.02 c #Conflicts: 1441000 | #Constraints: 143313
2106.03/2111.02 c #Conflicts: 1442000 | #Constraints: 144313
2106.03/2111.02 c #Conflicts: 1443000 | #Constraints: 145313
2106.03/2111.02 c #Conflicts: 1444000 | #Constraints: 146313
2106.03/2111.02 c #Conflicts: 1445000 | #Constraints: 147313
2106.03/2111.02 c #Conflicts: 1446000 | #Constraints: 148313
2106.03/2111.02 c #Conflicts: 1447000 | #Constraints: 149313
2106.03/2111.02 c INPROCESSING
2106.03/2111.02 c GARBAGE COLLECT
2106.03/2111.02 c #Conflicts: 1448000 | #Constraints: 122868
2106.03/2111.02 c #Conflicts: 1449000 | #Constraints: 123868
2106.03/2111.02 c #Conflicts: 1450000 | #Constraints: 124868
2106.03/2111.02 c #Conflicts: 1451000 | #Constraints: 125868
2106.03/2111.02 c #Conflicts: 1452000 | #Constraints: 126868
2106.03/2111.02 c #Conflicts: 1453000 | #Constraints: 127868
2106.03/2111.02 c #Conflicts: 1454000 | #Constraints: 128868
2106.03/2111.02 c #Conflicts: 1455000 | #Constraints: 129868
2106.03/2111.02 c #Conflicts: 1456000 | #Constraints: 130868
2106.03/2111.02 c #Conflicts: 1457000 | #Constraints: 131868
2106.03/2111.02 c #Conflicts: 1458000 | #Constraints: 132868
2106.03/2111.02 c #Conflicts: 1459000 | #Constraints: 133868
2106.03/2111.02 c #Conflicts: 1460000 | #Constraints: 134868
2106.03/2111.02 c #Conflicts: 1461000 | #Constraints: 135868
2106.03/2111.02 c #Conflicts: 1462000 | #Constraints: 136868
2106.03/2111.02 c #Conflicts: 1463000 | #Constraints: 137868
2106.03/2111.02 c #Conflicts: 1464000 | #Constraints: 138868
2106.03/2111.02 c #Conflicts: 1465000 | #Constraints: 139868
2106.03/2111.02 c #Conflicts: 1466000 | #Constraints: 140868
2106.03/2111.02 c #Conflicts: 1467000 | #Constraints: 141868
2106.03/2111.02 c #Conflicts: 1468000 | #Constraints: 142868
2106.03/2111.02 c #Conflicts: 1469000 | #Constraints: 143868
2106.03/2111.02 c #Conflicts: 1470000 | #Constraints: 144868
2106.03/2111.02 c #Conflicts: 1471000 | #Constraints: 145868
2106.03/2111.02 c #Conflicts: 1472000 | #Constraints: 146868
2106.03/2111.02 c #Conflicts: 1473000 | #Constraints: 147868
2106.03/2111.02 c #Conflicts: 1474000 | #Constraints: 148868
2106.03/2111.02 c INPROCESSING
2106.03/2111.02 c GARBAGE COLLECT
2106.03/2111.02 c #Conflicts: 1475000 | #Constraints: 122650
2106.03/2111.02 c #Conflicts: 1476000 | #Constraints: 123650
2106.03/2111.02 c #Conflicts: 1477000 | #Constraints: 124650
2106.03/2111.02 c #Conflicts: 1478000 | #Constraints: 125650
2106.03/2111.02 c #Conflicts: 1479000 | #Constraints: 126650
2106.03/2111.02 c #Conflicts: 1480000 | #Constraints: 127650
2106.03/2111.02 c #Conflicts: 1481000 | #Constraints: 128650
2106.03/2111.02 c #Conflicts: 1482000 | #Constraints: 129650
2106.03/2111.02 c #Conflicts: 1483000 | #Constraints: 130650
2106.03/2111.02 c #Conflicts: 1484000 | #Constraints: 131650
2106.03/2111.02 c #Conflicts: 1485000 | #Constraints: 132650
2106.03/2111.02 c #Conflicts: 1486000 | #Constraints: 133650
2106.03/2111.02 c #Conflicts: 1487000 | #Constraints: 134650
2106.03/2111.02 c #Conflicts: 1488000 | #Constraints: 135650
2106.03/2111.02 c #Conflicts: 1489000 | #Constraints: 136650
2106.03/2111.02 c #Conflicts: 1490000 | #Constraints: 137650
2106.03/2111.02 c #Conflicts: 1491000 | #Constraints: 138650
2106.03/2111.02 c #Conflicts: 1492000 | #Constraints: 139650
2106.03/2111.02 c #Conflicts: 1493000 | #Constraints: 140650
2106.03/2111.02 c #Conflicts: 1494000 | #Constraints: 141650
2106.03/2111.02 c #Conflicts: 1495000 | #Constraints: 142650
2106.03/2111.02 c #Conflicts: 1496000 | #Constraints: 143650
2106.03/2111.02 c #Conflicts: 1497000 | #Constraints: 144650
2106.03/2111.02 c #Conflicts: 1498000 | #Constraints: 145650
2106.03/2111.02 c #Conflicts: 1499000 | #Constraints: 146650
2106.03/2111.02 c #Conflicts: 1500000 | #Constraints: 147650
2106.03/2111.02 c #Conflicts: 1501000 | #Constraints: 148650
2106.03/2111.02 c #Conflicts: 1502000 | #Constraints: 149650
2106.03/2111.02 c #Conflicts: 1503000 | #Constraints: 150650
2106.03/2111.02 c #Conflicts: 1504000 | #Constraints: 151650
2106.03/2111.02 c #Conflicts: 1505000 | #Constraints: 152650
2106.03/2111.02 c #Conflicts: 1506000 | #Constraints: 153650
2106.03/2111.02 c #Conflicts: 1507000 | #Constraints: 154650
2106.03/2111.02 c #Conflicts: 1508000 | #Constraints: 155650
2106.03/2111.02 c #Conflicts: 1509000 | #Constraints: 156650
2106.03/2111.02 c #Conflicts: 1510000 | #Constraints: 157650
2106.03/2111.02 c #Conflicts: 1511000 | #Constraints: 158650
2106.03/2111.02 c #Conflicts: 1512000 | #Constraints: 159650
2106.03/2111.02 c #Conflicts: 1513000 | #Constraints: 160650
2106.03/2111.02 c #Conflicts: 1514000 | #Constraints: 161650
2106.03/2111.02 c #Conflicts: 1515000 | #Constraints: 162650
2106.03/2111.02 c #Conflicts: 1516000 | #Constraints: 163650
2106.03/2111.02 c #Conflicts: 1517000 | #Constraints: 164650
2402.38/2408.18 c #Conflicts: 1518000 | #Constraints: 165650
2402.38/2408.18 c #Conflicts: 1519000 | #Constraints: 166650
2402.38/2408.18 c #Conflicts: 1520000 | #Constraints: 167650
2402.38/2408.18 c #Conflicts: 1521000 | #Constraints: 168650
2402.38/2408.18 c #Conflicts: 1522000 | #Constraints: 169650
2402.38/2408.18 c #Conflicts: 1523000 | #Constraints: 170650
2402.38/2408.18 c #Conflicts: 1524000 | #Constraints: 171650
2402.38/2408.18 c #Conflicts: 1525000 | #Constraints: 172650
2402.38/2408.18 c #Conflicts: 1526000 | #Constraints: 173650
2402.38/2408.18 c #Conflicts: 1527000 | #Constraints: 174650
2402.38/2408.18 c #Conflicts: 1528000 | #Constraints: 175650
2402.38/2408.18 c #Conflicts: 1529000 | #Constraints: 176650
2402.38/2408.18 c #Conflicts: 1530000 | #Constraints: 177650
2402.38/2408.18 c #Conflicts: 1531000 | #Constraints: 178650
2402.38/2408.18 c #Conflicts: 1532000 | #Constraints: 179650
2402.38/2408.18 c #Conflicts: 1533000 | #Constraints: 180650
2402.38/2408.18 c #Conflicts: 1534000 | #Constraints: 181650
2402.38/2408.18 c #Conflicts: 1535000 | #Constraints: 182650
2402.38/2408.18 c #Conflicts: 1536000 | #Constraints: 183650
2402.38/2408.18 c #Conflicts: 1537000 | #Constraints: 184650
2402.38/2408.18 c #Conflicts: 1538000 | #Constraints: 185650
2402.38/2408.18 c #Conflicts: 1539000 | #Constraints: 186650
2402.38/2408.18 c #Conflicts: 1540000 | #Constraints: 187650
2402.38/2408.18 c #Conflicts: 1541000 | #Constraints: 188650
2402.38/2408.18 c #Conflicts: 1542000 | #Constraints: 189650
2402.38/2408.18 c #Conflicts: 1543000 | #Constraints: 190650
2402.38/2408.18 c #Conflicts: 1544000 | #Constraints: 191650
2402.38/2408.18 c #Conflicts: 1545000 | #Constraints: 192650
2402.38/2408.18 c #Conflicts: 1546000 | #Constraints: 193650
2402.38/2408.18 c #Conflicts: 1547000 | #Constraints: 194650
2402.38/2408.18 c #Conflicts: 1548000 | #Constraints: 195650
2402.38/2408.18 c #Conflicts: 1549000 | #Constraints: 196650
2402.38/2408.18 c #Conflicts: 1550000 | #Constraints: 197650
2402.38/2408.18 c #Conflicts: 1551000 | #Constraints: 198650
2402.38/2408.18 c #Conflicts: 1552000 | #Constraints: 199650
2402.38/2408.18 c #Conflicts: 1553000 | #Constraints: 200650
2402.38/2408.18 c #Conflicts: 1554000 | #Constraints: 201650
2402.38/2408.18 c #Conflicts: 1555000 | #Constraints: 202650
2402.38/2408.18 c #Conflicts: 1556000 | #Constraints: 203650
2402.38/2408.18 c #Conflicts: 1557000 | #Constraints: 204650
2402.38/2408.18 c #Conflicts: 1558000 | #Constraints: 205650
2402.38/2408.18 c #Conflicts: 1559000 | #Constraints: 206650
2402.38/2408.18 c #Conflicts: 1560000 | #Constraints: 207650
2402.38/2408.18 c #Conflicts: 1561000 | #Constraints: 208650
2402.38/2408.18 c #Conflicts: 1562000 | #Constraints: 209650
2402.38/2408.18 c #Conflicts: 1563000 | #Constraints: 210650
2402.38/2408.18 c #Conflicts: 1564000 | #Constraints: 211650
2402.38/2408.18 c #Conflicts: 1565000 | #Constraints: 212650
2402.38/2408.18 c #Conflicts: 1566000 | #Constraints: 213650
2402.38/2408.18 c #Conflicts: 1567000 | #Constraints: 214650
2402.38/2408.18 c #Conflicts: 1568000 | #Constraints: 215650
2402.38/2408.18 c #Conflicts: 1569000 | #Constraints: 216650
2402.38/2408.18 c #Conflicts: 1570000 | #Constraints: 217650
2402.38/2408.18 c INPROCESSING
2402.38/2408.18 c GARBAGE COLLECT
2402.38/2408.18 c #Conflicts: 1571000 | #Constraints: 156858
2402.38/2408.18 c #Conflicts: 1572000 | #Constraints: 157858
2402.38/2408.18 c #Conflicts: 1573000 | #Constraints: 158858
2402.38/2408.18 c #Conflicts: 1574000 | #Constraints: 159858
2402.38/2408.18 c #Conflicts: 1575000 | #Constraints: 160858
2402.38/2408.18 c #Conflicts: 1576000 | #Constraints: 161858
2402.38/2408.18 c #Conflicts: 1577000 | #Constraints: 162858
2402.38/2408.18 c #Conflicts: 1578000 | #Constraints: 163858
2402.38/2408.18 c #Conflicts: 1579000 | #Constraints: 164858
2402.38/2408.18 c #Conflicts: 1580000 | #Constraints: 165858
2402.38/2408.18 c #Conflicts: 1581000 | #Constraints: 166858
2402.38/2408.18 c #Conflicts: 1582000 | #Constraints: 167858
2402.38/2408.18 c #Conflicts: 1583000 | #Constraints: 168858
2402.38/2408.18 c #Conflicts: 1584000 | #Constraints: 169858
2402.38/2408.18 c #Conflicts: 1585000 | #Constraints: 170858
2402.38/2408.18 c #Conflicts: 1586000 | #Constraints: 171858
2402.38/2408.18 c #Conflicts: 1587000 | #Constraints: 172858
2402.38/2408.18 c #Conflicts: 1588000 | #Constraints: 173858
2402.38/2408.18 c #Conflicts: 1589000 | #Constraints: 174858
2402.38/2408.18 c #Conflicts: 1590000 | #Constraints: 175858
2402.38/2408.18 c #Conflicts: 1591000 | #Constraints: 176858
2402.38/2408.18 c #Conflicts: 1592000 | #Constraints: 177858
2402.38/2408.18 c #Conflicts: 1593000 | #Constraints: 178858
2402.38/2408.18 c #Conflicts: 1594000 | #Constraints: 179858
2402.38/2408.18 c #Conflicts: 1595000 | #Constraints: 180858
2559.00/2565.12 c #Conflicts: 1596000 | #Constraints: 181858
2559.00/2565.12 c #Conflicts: 1597000 | #Constraints: 182858
2559.00/2565.12 c #Conflicts: 1598000 | #Constraints: 183858
2559.00/2565.12 c #Conflicts: 1599000 | #Constraints: 184858
2559.00/2565.12 c INPROCESSING
2559.00/2565.12 c GARBAGE COLLECT
2559.00/2565.12 c #Conflicts: 1600000 | #Constraints: 140899
2559.00/2565.12 c #Conflicts: 1601000 | #Constraints: 141899
2559.00/2565.12 c #Conflicts: 1602000 | #Constraints: 142899
2559.00/2565.12 c #Conflicts: 1603000 | #Constraints: 143899
2559.00/2565.12 c #Conflicts: 1604000 | #Constraints: 144899
2559.00/2565.12 c #Conflicts: 1605000 | #Constraints: 145899
2559.00/2565.12 c #Conflicts: 1606000 | #Constraints: 146899
2559.00/2565.12 c #Conflicts: 1607000 | #Constraints: 147899
2559.00/2565.12 c #Conflicts: 1608000 | #Constraints: 148899
2559.00/2565.12 c #Conflicts: 1609000 | #Constraints: 149899
2559.00/2565.12 c #Conflicts: 1610000 | #Constraints: 150899
2559.00/2565.12 c #Conflicts: 1611000 | #Constraints: 151899
2559.00/2565.12 c #Conflicts: 1612000 | #Constraints: 152899
2559.00/2565.12 c #Conflicts: 1613000 | #Constraints: 153899
2559.00/2565.12 c #Conflicts: 1614000 | #Constraints: 154899
2559.00/2565.12 c #Conflicts: 1615000 | #Constraints: 155899
2559.00/2565.12 c #Conflicts: 1616000 | #Constraints: 156899
2559.00/2565.12 c #Conflicts: 1617000 | #Constraints: 157899
2559.00/2565.12 c #Conflicts: 1618000 | #Constraints: 158899
2559.00/2565.12 c #Conflicts: 1619000 | #Constraints: 159899
2559.00/2565.12 c #Conflicts: 1620000 | #Constraints: 160899
2559.00/2565.12 c #Conflicts: 1621000 | #Constraints: 161899
2559.00/2565.12 c #Conflicts: 1622000 | #Constraints: 162899
2559.00/2565.12 c #Conflicts: 1623000 | #Constraints: 163899
2559.00/2565.12 c #Conflicts: 1624000 | #Constraints: 164899
2559.00/2565.12 c #Conflicts: 1625000 | #Constraints: 165899
2559.00/2565.12 c #Conflicts: 1626000 | #Constraints: 166899
2559.00/2565.12 c #Conflicts: 1627000 | #Constraints: 167899
2559.00/2565.12 c INPROCESSING
2559.00/2565.12 c GARBAGE COLLECT
2559.00/2565.12 c #Conflicts: 1628000 | #Constraints: 132194
2559.00/2565.12 c #Conflicts: 1629000 | #Constraints: 133194
2559.00/2565.12 c #Conflicts: 1630000 | #Constraints: 134194
2559.00/2565.12 c #Conflicts: 1631000 | #Constraints: 135194
2559.00/2565.12 c #Conflicts: 1632000 | #Constraints: 136194
2559.00/2565.12 c #Conflicts: 1633000 | #Constraints: 137194
2559.00/2565.12 c #Conflicts: 1634000 | #Constraints: 138194
2559.00/2565.12 c #Conflicts: 1635000 | #Constraints: 139194
2559.00/2565.12 c #Conflicts: 1636000 | #Constraints: 140194
2559.00/2565.12 c #Conflicts: 1637000 | #Constraints: 141194
2559.00/2565.12 c #Conflicts: 1638000 | #Constraints: 142194
2559.00/2565.12 c #Conflicts: 1639000 | #Constraints: 143194
2559.00/2565.12 c #Conflicts: 1640000 | #Constraints: 144194
2559.00/2565.12 c #Conflicts: 1641000 | #Constraints: 145194
2559.00/2565.12 c #Conflicts: 1642000 | #Constraints: 146194
2559.00/2565.12 c #Conflicts: 1643000 | #Constraints: 147194
2559.00/2565.12 c #Conflicts: 1644000 | #Constraints: 148194
2559.00/2565.12 c #Conflicts: 1645000 | #Constraints: 149194
2559.00/2565.12 c #Conflicts: 1646000 | #Constraints: 150194
2559.00/2565.12 c #Conflicts: 1647000 | #Constraints: 151194
2559.00/2565.12 c #Conflicts: 1648000 | #Constraints: 152194
2559.00/2565.12 c #Conflicts: 1649000 | #Constraints: 153194
2559.00/2565.12 c #Conflicts: 1650000 | #Constraints: 154194
2559.00/2565.12 c #Conflicts: 1651000 | #Constraints: 155194
2559.00/2565.12 c #Conflicts: 1652000 | #Constraints: 156194
2559.00/2565.12 c #Conflicts: 1653000 | #Constraints: 157194
2559.00/2565.12 c #Conflicts: 1654000 | #Constraints: 158194
2559.00/2565.12 c #Conflicts: 1655000 | #Constraints: 159194
2559.00/2565.12 c #Conflicts: 1656000 | #Constraints: 160194
2559.00/2565.12 c INPROCESSING
2559.00/2565.12 c GARBAGE COLLECT
2559.00/2565.12 c #Conflicts: 1657000 | #Constraints: 128534
2559.00/2565.12 c #Conflicts: 1658000 | #Constraints: 129534
2559.00/2565.12 c #Conflicts: 1659000 | #Constraints: 130534
2559.00/2565.12 c #Conflicts: 1660000 | #Constraints: 131534
2559.00/2565.12 c #Conflicts: 1661000 | #Constraints: 132534
2559.00/2565.12 c #Conflicts: 1662000 | #Constraints: 133534
2559.00/2565.12 c #Conflicts: 1663000 | #Constraints: 134534
2559.00/2565.12 c #Conflicts: 1664000 | #Constraints: 135534
2559.00/2565.12 c #Conflicts: 1665000 | #Constraints: 136534
2559.00/2565.12 c #Conflicts: 1666000 | #Constraints: 137534
2559.00/2565.12 c #Conflicts: 1667000 | #Constraints: 138534
2559.00/2565.12 c #Conflicts: 1668000 | #Constraints: 139534
2559.00/2565.12 c #Conflicts: 1669000 | #Constraints: 140534
2559.00/2565.12 c #Conflicts: 1670000 | #Constraints: 141534
2559.00/2565.12 c #Conflicts: 1671000 | #Constraints: 142534
2559.00/2565.12 c #Conflicts: 1672000 | #Constraints: 143534
2678.40/2684.86 c #Conflicts: 1673000 | #Constraints: 144534
2678.40/2684.86 c #Conflicts: 1674000 | #Constraints: 145534
2678.40/2684.86 c #Conflicts: 1675000 | #Constraints: 146534
2678.40/2684.86 c #Conflicts: 1676000 | #Constraints: 147534
2678.40/2684.86 c #Conflicts: 1677000 | #Constraints: 148534
2678.40/2684.86 c #Conflicts: 1678000 | #Constraints: 149534
2678.40/2684.86 c #Conflicts: 1679000 | #Constraints: 150534
2678.40/2684.86 c #Conflicts: 1680000 | #Constraints: 151534
2678.40/2684.86 c #Conflicts: 1681000 | #Constraints: 152534
2678.40/2684.86 c #Conflicts: 1682000 | #Constraints: 153534
2678.40/2684.86 c #Conflicts: 1683000 | #Constraints: 154534
2678.40/2684.86 c #Conflicts: 1684000 | #Constraints: 155534
2678.40/2684.86 c INPROCESSING
2678.40/2684.86 c GARBAGE COLLECT
2678.40/2684.86 c #Conflicts: 1685000 | #Constraints: 125820
2678.40/2684.86 c #Conflicts: 1686000 | #Constraints: 126820
2678.40/2684.86 c #Conflicts: 1687000 | #Constraints: 127820
2678.40/2684.86 c #Conflicts: 1688000 | #Constraints: 128820
2678.40/2684.86 c #Conflicts: 1689000 | #Constraints: 129820
2678.40/2684.86 c #Conflicts: 1690000 | #Constraints: 130820
2678.40/2684.86 c #Conflicts: 1691000 | #Constraints: 131820
2678.40/2684.86 c #Conflicts: 1692000 | #Constraints: 132820
2678.40/2684.86 c #Conflicts: 1693000 | #Constraints: 133820
2678.40/2684.86 c #Conflicts: 1694000 | #Constraints: 134820
2678.40/2684.86 c #Conflicts: 1695000 | #Constraints: 135820
2678.40/2684.86 c #Conflicts: 1696000 | #Constraints: 136820
2678.40/2684.86 c #Conflicts: 1697000 | #Constraints: 137820
2678.40/2684.86 c #Conflicts: 1698000 | #Constraints: 138820
2678.40/2684.86 c #Conflicts: 1699000 | #Constraints: 139820
2678.40/2684.86 c #Conflicts: 1700000 | #Constraints: 140820
2678.40/2684.86 c #Conflicts: 1701000 | #Constraints: 141820
2678.40/2684.86 c #Conflicts: 1702000 | #Constraints: 142820
2678.40/2684.86 c #Conflicts: 1703000 | #Constraints: 143820
2678.40/2684.86 c #Conflicts: 1704000 | #Constraints: 144820
2678.40/2684.86 c #Conflicts: 1705000 | #Constraints: 145820
2678.40/2684.86 c #Conflicts: 1706000 | #Constraints: 146820
2678.40/2684.86 c #Conflicts: 1707000 | #Constraints: 147820
2678.40/2684.86 c #Conflicts: 1708000 | #Constraints: 148820
2678.40/2684.86 c #Conflicts: 1709000 | #Constraints: 149820
2678.40/2684.86 c #Conflicts: 1710000 | #Constraints: 150820
2678.40/2684.86 c #Conflicts: 1711000 | #Constraints: 151820
2678.40/2684.86 c #Conflicts: 1712000 | #Constraints: 152820
2678.40/2684.86 c #Conflicts: 1713000 | #Constraints: 153820
2678.40/2684.86 c INPROCESSING
2678.40/2684.86 c GARBAGE COLLECT
2678.40/2684.86 c #Conflicts: 1714000 | #Constraints: 124940
2678.40/2684.86 c #Conflicts: 1715000 | #Constraints: 125940
2678.40/2684.86 c #Conflicts: 1716000 | #Constraints: 126940
2678.40/2684.86 c #Conflicts: 1717000 | #Constraints: 127940
2678.40/2684.86 c #Conflicts: 1718000 | #Constraints: 128940
2678.40/2684.86 c #Conflicts: 1719000 | #Constraints: 129940
2678.40/2684.86 c #Conflicts: 1720000 | #Constraints: 130940
2678.40/2684.86 c #Conflicts: 1721000 | #Constraints: 131940
2678.40/2684.86 c #Conflicts: 1722000 | #Constraints: 132940
2678.40/2684.86 c #Conflicts: 1723000 | #Constraints: 133940
2678.40/2684.86 c #Conflicts: 1724000 | #Constraints: 134940
2678.40/2684.86 c #Conflicts: 1725000 | #Constraints: 135940
2678.40/2684.86 c #Conflicts: 1726000 | #Constraints: 136940
2678.40/2684.86 c #Conflicts: 1727000 | #Constraints: 137940
2678.40/2684.86 c #Conflicts: 1728000 | #Constraints: 138940
2678.40/2684.86 c #Conflicts: 1729000 | #Constraints: 139940
2678.40/2684.86 c #Conflicts: 1730000 | #Constraints: 140940
2678.40/2684.86 c #Conflicts: 1731000 | #Constraints: 141940
2678.40/2684.86 c #Conflicts: 1732000 | #Constraints: 142940
2678.40/2684.86 c #Conflicts: 1733000 | #Constraints: 143940
2678.40/2684.86 c #Conflicts: 1734000 | #Constraints: 144940
2678.40/2684.86 c #Conflicts: 1735000 | #Constraints: 145940
2678.40/2684.86 c #Conflicts: 1736000 | #Constraints: 146940
2678.40/2684.86 c #Conflicts: 1737000 | #Constraints: 147940
2678.40/2684.86 c #Conflicts: 1738000 | #Constraints: 148940
2678.40/2684.86 c #Conflicts: 1739000 | #Constraints: 149940
2678.40/2684.86 c #Conflicts: 1740000 | #Constraints: 150940
2678.40/2684.86 c #Conflicts: 1741000 | #Constraints: 151940
2678.40/2684.86 c #Conflicts: 1742000 | #Constraints: 152940
2678.40/2684.86 c #Conflicts: 1743000 | #Constraints: 153940
2678.40/2684.86 c INPROCESSING
2678.40/2684.86 c GARBAGE COLLECT
2678.40/2684.86 c #Conflicts: 1744000 | #Constraints: 125398
2678.40/2684.86 c #Conflicts: 1745000 | #Constraints: 126398
2678.40/2684.86 c #Conflicts: 1746000 | #Constraints: 127398
2678.40/2684.86 c #Conflicts: 1747000 | #Constraints: 128398
2678.40/2684.86 c #Conflicts: 1748000 | #Constraints: 129398
2678.40/2684.86 c #Conflicts: 1749000 | #Constraints: 130398
2907.34/2914.30 c #Conflicts: 1750000 | #Constraints: 131398
2907.34/2914.30 c #Conflicts: 1751000 | #Constraints: 132398
2907.34/2914.30 c #Conflicts: 1752000 | #Constraints: 133398
2907.34/2914.30 c #Conflicts: 1753000 | #Constraints: 134398
2907.34/2914.30 c #Conflicts: 1754000 | #Constraints: 135398
2907.34/2914.30 c #Conflicts: 1755000 | #Constraints: 136398
2907.34/2914.30 c #Conflicts: 1756000 | #Constraints: 137398
2907.34/2914.30 c #Conflicts: 1757000 | #Constraints: 138398
2907.34/2914.30 c #Conflicts: 1758000 | #Constraints: 139398
2907.34/2914.30 c #Conflicts: 1759000 | #Constraints: 140398
2907.34/2914.30 c #Conflicts: 1760000 | #Constraints: 141398
2907.34/2914.30 c #Conflicts: 1761000 | #Constraints: 142398
2907.34/2914.30 c #Conflicts: 1762000 | #Constraints: 143398
2907.34/2914.30 c #Conflicts: 1763000 | #Constraints: 144398
2907.34/2914.30 c #Conflicts: 1764000 | #Constraints: 145398
2907.34/2914.30 c #Conflicts: 1765000 | #Constraints: 146398
2907.34/2914.30 c #Conflicts: 1766000 | #Constraints: 147398
2907.34/2914.30 c #Conflicts: 1767000 | #Constraints: 148398
2907.34/2914.30 c #Conflicts: 1768000 | #Constraints: 149398
2907.34/2914.30 c #Conflicts: 1769000 | #Constraints: 150398
2907.34/2914.30 c #Conflicts: 1770000 | #Constraints: 151398
2907.34/2914.30 c #Conflicts: 1771000 | #Constraints: 152398
2907.34/2914.30 c #Conflicts: 1772000 | #Constraints: 153398
2907.34/2914.30 c #Conflicts: 1773000 | #Constraints: 154398
2907.34/2914.30 c #Conflicts: 1774000 | #Constraints: 155398
2907.34/2914.30 c #Conflicts: 1775000 | #Constraints: 156398
2907.34/2914.30 c #Conflicts: 1776000 | #Constraints: 157398
2907.34/2914.30 c #Conflicts: 1777000 | #Constraints: 158398
2907.34/2914.30 c #Conflicts: 1778000 | #Constraints: 159398
2907.34/2914.30 c #Conflicts: 1779000 | #Constraints: 160398
2907.34/2914.30 c #Conflicts: 1780000 | #Constraints: 161398
2907.34/2914.30 c #Conflicts: 1781000 | #Constraints: 162398
2907.34/2914.30 c #Conflicts: 1782000 | #Constraints: 163398
2907.34/2914.30 c #Conflicts: 1783000 | #Constraints: 164398
2907.34/2914.30 c #Conflicts: 1784000 | #Constraints: 165398
2907.34/2914.30 c #Conflicts: 1785000 | #Constraints: 166398
2907.34/2914.30 c #Conflicts: 1786000 | #Constraints: 167398
2907.34/2914.30 c #Conflicts: 1787000 | #Constraints: 168398
2907.34/2914.30 c #Conflicts: 1788000 | #Constraints: 169398
2907.34/2914.30 c #Conflicts: 1789000 | #Constraints: 170398
2907.34/2914.30 c #Conflicts: 1790000 | #Constraints: 171398
2907.34/2914.30 c #Conflicts: 1791000 | #Constraints: 172398
2907.34/2914.30 c #Conflicts: 1792000 | #Constraints: 173398
2907.34/2914.30 c #Conflicts: 1793000 | #Constraints: 174398
2907.34/2914.30 c #Conflicts: 1794000 | #Constraints: 175398
2907.34/2914.30 c #Conflicts: 1795000 | #Constraints: 176398
2907.34/2914.30 c #Conflicts: 1796000 | #Constraints: 177398
2907.34/2914.30 c #Conflicts: 1797000 | #Constraints: 178398
2907.34/2914.30 c #Conflicts: 1798000 | #Constraints: 179398
2907.34/2914.30 c #Conflicts: 1799000 | #Constraints: 180398
2907.34/2914.30 c #Conflicts: 1800000 | #Constraints: 181398
2907.34/2914.30 c #Conflicts: 1801000 | #Constraints: 182398
2907.34/2914.30 c #Conflicts: 1802000 | #Constraints: 183398
2907.34/2914.30 c #Conflicts: 1803000 | #Constraints: 184398
2907.34/2914.30 c #Conflicts: 1804000 | #Constraints: 185398
2907.34/2914.30 c #Conflicts: 1805000 | #Constraints: 186398
2907.34/2914.30 c #Conflicts: 1806000 | #Constraints: 187398
2907.34/2914.30 c #Conflicts: 1807000 | #Constraints: 188398
2907.34/2914.30 c #Conflicts: 1808000 | #Constraints: 189398
2907.34/2914.30 c #Conflicts: 1809000 | #Constraints: 190398
2907.34/2914.30 c #Conflicts: 1810000 | #Constraints: 191398
2907.34/2914.30 c #Conflicts: 1811000 | #Constraints: 192398
2907.34/2914.30 c #Conflicts: 1812000 | #Constraints: 193398
2907.34/2914.30 c #Conflicts: 1813000 | #Constraints: 194398
2907.34/2914.30 c #Conflicts: 1814000 | #Constraints: 195398
2907.34/2914.30 c #Conflicts: 1815000 | #Constraints: 196398
2907.34/2914.30 c #Conflicts: 1816000 | #Constraints: 197398
2907.34/2914.30 c #Conflicts: 1817000 | #Constraints: 198398
2907.34/2914.30 c #Conflicts: 1818000 | #Constraints: 199398
2907.34/2914.30 c #Conflicts: 1819000 | #Constraints: 200398
2907.34/2914.30 c #Conflicts: 1820000 | #Constraints: 201398
2907.34/2914.30 c #Conflicts: 1821000 | #Constraints: 202398
2907.34/2914.30 c #Conflicts: 1822000 | #Constraints: 203398
2907.34/2914.30 c #Conflicts: 1823000 | #Constraints: 204398
2907.34/2914.30 c #Conflicts: 1824000 | #Constraints: 205398
2907.34/2914.30 c #Conflicts: 1825000 | #Constraints: 206398
2907.34/2914.30 c #Conflicts: 1826000 | #Constraints: 207398
2907.34/2914.30 c #Conflicts: 1827000 | #Constraints: 208398
2907.34/2914.30 c #Conflicts: 1828000 | #Constraints: 209398
3220.64/3228.44 c #Conflicts: 1829000 | #Constraints: 210398
3220.64/3228.44 c #Conflicts: 1830000 | #Constraints: 211398
3220.64/3228.44 c #Conflicts: 1831000 | #Constraints: 212398
3220.64/3228.44 c #Conflicts: 1832000 | #Constraints: 213398
3220.64/3228.44 c #Conflicts: 1833000 | #Constraints: 214398
3220.64/3228.44 c #Conflicts: 1834000 | #Constraints: 215398
3220.64/3228.44 c #Conflicts: 1835000 | #Constraints: 216398
3220.64/3228.44 c #Conflicts: 1836000 | #Constraints: 217398
3220.64/3228.44 c #Conflicts: 1837000 | #Constraints: 218398
3220.64/3228.44 c #Conflicts: 1838000 | #Constraints: 219398
3220.64/3228.44 c #Conflicts: 1839000 | #Constraints: 220398
3220.64/3228.44 c #Conflicts: 1840000 | #Constraints: 221398
3220.64/3228.44 c #Conflicts: 1841000 | #Constraints: 222398
3220.64/3228.44 c #Conflicts: 1842000 | #Constraints: 223398
3220.64/3228.44 c #Conflicts: 1843000 | #Constraints: 224398
3220.64/3228.44 c #Conflicts: 1844000 | #Constraints: 225398
3220.64/3228.44 c #Conflicts: 1845000 | #Constraints: 226398
3220.64/3228.44 c #Conflicts: 1846000 | #Constraints: 227398
3220.64/3228.44 c #Conflicts: 1847000 | #Constraints: 228398
3220.64/3228.44 c #Conflicts: 1848000 | #Constraints: 229398
3220.64/3228.44 c INPROCESSING
3220.64/3228.44 c GARBAGE COLLECT
3220.64/3228.44 c #Conflicts: 1849000 | #Constraints: 163134
3220.64/3228.44 c #Conflicts: 1850000 | #Constraints: 164134
3220.64/3228.44 c #Conflicts: 1851000 | #Constraints: 165134
3220.64/3228.44 c #Conflicts: 1852000 | #Constraints: 166134
3220.64/3228.44 c #Conflicts: 1853000 | #Constraints: 167134
3220.64/3228.44 c #Conflicts: 1854000 | #Constraints: 168134
3220.64/3228.44 c #Conflicts: 1855000 | #Constraints: 169134
3220.64/3228.44 c #Conflicts: 1856000 | #Constraints: 170134
3220.64/3228.44 c #Conflicts: 1857000 | #Constraints: 171134
3220.64/3228.44 c #Conflicts: 1858000 | #Constraints: 172134
3220.64/3228.44 c #Conflicts: 1859000 | #Constraints: 173134
3220.64/3228.44 c #Conflicts: 1860000 | #Constraints: 174134
3220.64/3228.44 c #Conflicts: 1861000 | #Constraints: 175134
3220.64/3228.44 c #Conflicts: 1862000 | #Constraints: 176134
3220.64/3228.44 c #Conflicts: 1863000 | #Constraints: 177134
3220.64/3228.44 c #Conflicts: 1864000 | #Constraints: 178134
3220.64/3228.44 c #Conflicts: 1865000 | #Constraints: 179134
3220.64/3228.44 c #Conflicts: 1866000 | #Constraints: 180134
3220.64/3228.44 c #Conflicts: 1867000 | #Constraints: 181134
3220.64/3228.44 c #Conflicts: 1868000 | #Constraints: 182134
3220.64/3228.44 c #Conflicts: 1869000 | #Constraints: 183134
3220.64/3228.44 c #Conflicts: 1870000 | #Constraints: 184134
3220.64/3228.44 c #Conflicts: 1871000 | #Constraints: 185134
3220.64/3228.44 c #Conflicts: 1872000 | #Constraints: 186134
3220.64/3228.44 c #Conflicts: 1873000 | #Constraints: 187134
3220.64/3228.44 c #Conflicts: 1874000 | #Constraints: 188134
3220.64/3228.44 c #Conflicts: 1875000 | #Constraints: 189134
3220.64/3228.44 c #Conflicts: 1876000 | #Constraints: 190134
3220.64/3228.44 c #Conflicts: 1877000 | #Constraints: 191134
3220.64/3228.44 c #Conflicts: 1878000 | #Constraints: 192134
3220.64/3228.44 c INPROCESSING
3220.64/3228.44 c GARBAGE COLLECT
3220.64/3228.44 c #Conflicts: 1879000 | #Constraints: 144277
3220.64/3228.44 c #Conflicts: 1880000 | #Constraints: 145277
3220.64/3228.44 c #Conflicts: 1881000 | #Constraints: 146277
3220.64/3228.44 c #Conflicts: 1882000 | #Constraints: 147277
3220.64/3228.44 c #Conflicts: 1883000 | #Constraints: 148277
3220.64/3228.44 c #Conflicts: 1884000 | #Constraints: 149277
3220.64/3228.44 c #Conflicts: 1885000 | #Constraints: 150277
3220.64/3228.44 c #Conflicts: 1886000 | #Constraints: 151277
3220.64/3228.44 c #Conflicts: 1887000 | #Constraints: 152277
3220.64/3228.44 c #Conflicts: 1888000 | #Constraints: 153277
3220.64/3228.44 c #Conflicts: 1889000 | #Constraints: 154277
3220.64/3228.44 c #Conflicts: 1890000 | #Constraints: 155277
3220.64/3228.44 c #Conflicts: 1891000 | #Constraints: 156277
3220.64/3228.44 c #Conflicts: 1892000 | #Constraints: 157277
3220.64/3228.44 c #Conflicts: 1893000 | #Constraints: 158277
3220.64/3228.44 c #Conflicts: 1894000 | #Constraints: 159277
3220.64/3228.44 c #Conflicts: 1895000 | #Constraints: 160277
3220.64/3228.44 c #Conflicts: 1896000 | #Constraints: 161277
3220.64/3228.44 c #Conflicts: 1897000 | #Constraints: 162277
3220.64/3228.44 c #Conflicts: 1898000 | #Constraints: 163277
3220.64/3228.44 c #Conflicts: 1899000 | #Constraints: 164277
3220.64/3228.44 c #Conflicts: 1900000 | #Constraints: 165277
3220.64/3228.44 c #Conflicts: 1901000 | #Constraints: 166277
3220.64/3228.44 c #Conflicts: 1902000 | #Constraints: 167277
3220.64/3228.44 c #Conflicts: 1903000 | #Constraints: 168277
3220.64/3228.44 c #Conflicts: 1904000 | #Constraints: 169277
3220.64/3228.44 c #Conflicts: 1905000 | #Constraints: 170277
3366.28/3374.47 c #Conflicts: 1906000 | #Constraints: 171277
3366.28/3374.47 c #Conflicts: 1907000 | #Constraints: 172277
3366.28/3374.47 c #Conflicts: 1908000 | #Constraints: 173277
3366.28/3374.47 c #Conflicts: 1909000 | #Constraints: 174277
3366.28/3374.47 c INPROCESSING
3366.28/3374.47 c GARBAGE COLLECT
3366.28/3374.47 c #Conflicts: 1910000 | #Constraints: 135528
3366.28/3374.47 c #Conflicts: 1911000 | #Constraints: 136528
3366.28/3374.47 c #Conflicts: 1912000 | #Constraints: 137528
3366.28/3374.47 c #Conflicts: 1913000 | #Constraints: 138528
3366.28/3374.47 c #Conflicts: 1914000 | #Constraints: 139528
3366.28/3374.47 c #Conflicts: 1915000 | #Constraints: 140528
3366.28/3374.47 c #Conflicts: 1916000 | #Constraints: 141528
3366.28/3374.47 c #Conflicts: 1917000 | #Constraints: 142528
3366.28/3374.47 c #Conflicts: 1918000 | #Constraints: 143528
3366.28/3374.47 c #Conflicts: 1919000 | #Constraints: 144528
3366.28/3374.47 c #Conflicts: 1920000 | #Constraints: 145528
3366.28/3374.47 c #Conflicts: 1921000 | #Constraints: 146528
3366.28/3374.47 c #Conflicts: 1922000 | #Constraints: 147528
3366.28/3374.47 c #Conflicts: 1923000 | #Constraints: 148528
3366.28/3374.47 c #Conflicts: 1924000 | #Constraints: 149528
3366.28/3374.47 c #Conflicts: 1925000 | #Constraints: 150528
3366.28/3374.47 c #Conflicts: 1926000 | #Constraints: 151528
3366.28/3374.47 c #Conflicts: 1927000 | #Constraints: 152528
3366.28/3374.47 c #Conflicts: 1928000 | #Constraints: 153528
3366.28/3374.47 c #Conflicts: 1929000 | #Constraints: 154528
3366.28/3374.47 c #Conflicts: 1930000 | #Constraints: 155528
3366.28/3374.47 c #Conflicts: 1931000 | #Constraints: 156528
3366.28/3374.47 c #Conflicts: 1932000 | #Constraints: 157528
3366.28/3374.47 c #Conflicts: 1933000 | #Constraints: 158528
3366.28/3374.47 c #Conflicts: 1934000 | #Constraints: 159528
3366.28/3374.47 c #Conflicts: 1935000 | #Constraints: 160528
3366.28/3374.47 c #Conflicts: 1936000 | #Constraints: 161528
3366.28/3374.47 c #Conflicts: 1937000 | #Constraints: 162528
3366.28/3374.47 c #Conflicts: 1938000 | #Constraints: 163528
3366.28/3374.47 c #Conflicts: 1939000 | #Constraints: 164528
3366.28/3374.47 c #Conflicts: 1940000 | #Constraints: 165528
3366.28/3374.47 c INPROCESSING
3366.28/3374.47 c GARBAGE COLLECT
3366.28/3374.47 c #Conflicts: 1941000 | #Constraints: 131167
3366.28/3374.47 c #Conflicts: 1942000 | #Constraints: 132167
3366.28/3374.47 c #Conflicts: 1943000 | #Constraints: 133167
3366.28/3374.47 c #Conflicts: 1944000 | #Constraints: 134167
3366.28/3374.47 c #Conflicts: 1945000 | #Constraints: 135167
3366.28/3374.47 c #Conflicts: 1946000 | #Constraints: 136167
3366.28/3374.47 c #Conflicts: 1947000 | #Constraints: 137167
3366.28/3374.47 c #Conflicts: 1948000 | #Constraints: 138167
3366.28/3374.47 c #Conflicts: 1949000 | #Constraints: 139167
3366.28/3374.47 c #Conflicts: 1950000 | #Constraints: 140167
3366.28/3374.47 c #Conflicts: 1951000 | #Constraints: 141167
3366.28/3374.47 c #Conflicts: 1952000 | #Constraints: 142167
3366.28/3374.47 c #Conflicts: 1953000 | #Constraints: 143167
3366.28/3374.47 c #Conflicts: 1954000 | #Constraints: 144167
3366.28/3374.47 c #Conflicts: 1955000 | #Constraints: 145167
3366.28/3374.47 c #Conflicts: 1956000 | #Constraints: 146167
3366.28/3374.47 c #Conflicts: 1957000 | #Constraints: 147167
3366.28/3374.47 c #Conflicts: 1958000 | #Constraints: 148167
3366.28/3374.47 c #Conflicts: 1959000 | #Constraints: 149167
3366.28/3374.47 c #Conflicts: 1960000 | #Constraints: 150167
3366.28/3374.47 c #Conflicts: 1961000 | #Constraints: 151167
3366.28/3374.47 c #Conflicts: 1962000 | #Constraints: 152167
3366.28/3374.47 c #Conflicts: 1963000 | #Constraints: 153167
3366.28/3374.47 c #Conflicts: 1964000 | #Constraints: 154167
3366.28/3374.47 c #Conflicts: 1965000 | #Constraints: 155167
3366.28/3374.47 c #Conflicts: 1966000 | #Constraints: 156167
3366.28/3374.47 c #Conflicts: 1967000 | #Constraints: 157167
3366.28/3374.47 c #Conflicts: 1968000 | #Constraints: 158167
3366.28/3374.47 c #Conflicts: 1969000 | #Constraints: 159167
3366.28/3374.47 c #Conflicts: 1970000 | #Constraints: 160167
3366.28/3374.47 c #Conflicts: 1971000 | #Constraints: 161167
3366.28/3374.47 c INPROCESSING
3366.28/3374.47 c GARBAGE COLLECT
3366.28/3374.47 c #Conflicts: 1972000 | #Constraints: 128911
3366.28/3374.47 c #Conflicts: 1973000 | #Constraints: 129911
3366.28/3374.47 c #Conflicts: 1974000 | #Constraints: 130911
3366.28/3374.47 c #Conflicts: 1975000 | #Constraints: 131911
3366.28/3374.47 c #Conflicts: 1976000 | #Constraints: 132911
3366.28/3374.47 c #Conflicts: 1977000 | #Constraints: 133911
3366.28/3374.47 c #Conflicts: 1978000 | #Constraints: 134911
3366.28/3374.47 c #Conflicts: 1979000 | #Constraints: 135911
3366.28/3374.47 c #Conflicts: 1980000 | #Constraints: 136911
3366.28/3374.47 c #Conflicts: 1981000 | #Constraints: 137911
3366.28/3374.47 c #Conflicts: 1982000 | #Constraints: 138911
3495.76/3504.25 c #Conflicts: 1983000 | #Constraints: 139911
3495.76/3504.25 c #Conflicts: 1984000 | #Constraints: 140911
3495.76/3504.25 c #Conflicts: 1985000 | #Constraints: 141911
3495.76/3504.25 c #Conflicts: 1986000 | #Constraints: 142911
3495.76/3504.25 c #Conflicts: 1987000 | #Constraints: 143911
3495.76/3504.25 c #Conflicts: 1988000 | #Constraints: 144911
3495.76/3504.25 c #Conflicts: 1989000 | #Constraints: 145911
3495.76/3504.25 c #Conflicts: 1990000 | #Constraints: 146911
3495.76/3504.25 c #Conflicts: 1991000 | #Constraints: 147911
3495.76/3504.25 c #Conflicts: 1992000 | #Constraints: 148911
3495.76/3504.25 c #Conflicts: 1993000 | #Constraints: 149911
3495.76/3504.25 c #Conflicts: 1994000 | #Constraints: 150911
3495.76/3504.25 c #Conflicts: 1995000 | #Constraints: 151911
3495.76/3504.25 c #Conflicts: 1996000 | #Constraints: 152911
3495.76/3504.25 c #Conflicts: 1997000 | #Constraints: 153911
3495.76/3504.25 c #Conflicts: 1998000 | #Constraints: 154911
3495.76/3504.25 c #Conflicts: 1999000 | #Constraints: 155911
3495.76/3504.25 c #Conflicts: 2000000 | #Constraints: 156911
3495.76/3504.25 c #Conflicts: 2001000 | #Constraints: 157911
3495.76/3504.25 c #Conflicts: 2002000 | #Constraints: 158911
3495.76/3504.25 c INPROCESSING
3495.76/3504.25 c GARBAGE COLLECT
3495.76/3504.25 c #Conflicts: 2003000 | #Constraints: 127665
3495.76/3504.25 c #Conflicts: 2004000 | #Constraints: 128665
3495.76/3504.25 c #Conflicts: 2005000 | #Constraints: 129665
3495.76/3504.25 c #Conflicts: 2006000 | #Constraints: 130665
3495.76/3504.25 c #Conflicts: 2007000 | #Constraints: 131665
3495.76/3504.25 c #Conflicts: 2008000 | #Constraints: 132665
3495.76/3504.25 c #Conflicts: 2009000 | #Constraints: 133665
3495.76/3504.25 c #Conflicts: 2010000 | #Constraints: 134665
3495.76/3504.25 c #Conflicts: 2011000 | #Constraints: 135665
3495.76/3504.25 c #Conflicts: 2012000 | #Constraints: 136665
3495.76/3504.25 c #Conflicts: 2013000 | #Constraints: 137665
3495.76/3504.25 c #Conflicts: 2014000 | #Constraints: 138665
3495.76/3504.25 c #Conflicts: 2015000 | #Constraints: 139665
3495.76/3504.25 c #Conflicts: 2016000 | #Constraints: 140665
3495.76/3504.25 c #Conflicts: 2017000 | #Constraints: 141665
3495.76/3504.25 c #Conflicts: 2018000 | #Constraints: 142665
3495.76/3504.25 c #Conflicts: 2019000 | #Constraints: 143665
3495.76/3504.25 c #Conflicts: 2020000 | #Constraints: 144665
3495.76/3504.25 c #Conflicts: 2021000 | #Constraints: 145665
3495.76/3504.25 c #Conflicts: 2022000 | #Constraints: 146665
3495.76/3504.25 c #Conflicts: 2023000 | #Constraints: 147665
3495.76/3504.25 c #Conflicts: 2024000 | #Constraints: 148665
3495.76/3504.25 c #Conflicts: 2025000 | #Constraints: 149665
3495.76/3504.25 c #Conflicts: 2026000 | #Constraints: 150665
3495.76/3504.25 c #Conflicts: 2027000 | #Constraints: 151665
3495.76/3504.25 c #Conflicts: 2028000 | #Constraints: 152665
3495.76/3504.25 c #Conflicts: 2029000 | #Constraints: 153665
3495.76/3504.25 c #Conflicts: 2030000 | #Constraints: 154665
3495.76/3504.25 c #Conflicts: 2031000 | #Constraints: 155665
3495.76/3504.25 c #Conflicts: 2032000 | #Constraints: 156665
3495.76/3504.25 c #Conflicts: 2033000 | #Constraints: 157665
3495.76/3504.25 c #Conflicts: 2034000 | #Constraints: 158665
3495.76/3504.25 c INPROCESSING
3495.76/3504.25 c GARBAGE COLLECT
3495.76/3504.25 c #Conflicts: 2035000 | #Constraints: 127784
3495.76/3504.25 c #Conflicts: 2036000 | #Constraints: 128784
3495.76/3504.25 c #Conflicts: 2037000 | #Constraints: 129784
3495.76/3504.25 c #Conflicts: 2038000 | #Constraints: 130784
3495.76/3504.25 c #Conflicts: 2039000 | #Constraints: 131784
3495.76/3504.25 c #Conflicts: 2040000 | #Constraints: 132784
3495.76/3504.25 c #Conflicts: 2041000 | #Constraints: 133784
3495.76/3504.25 c #Conflicts: 2042000 | #Constraints: 134784
3495.76/3504.25 c #Conflicts: 2043000 | #Constraints: 135784
3495.76/3504.25 c #Conflicts: 2044000 | #Constraints: 136784
3495.76/3504.25 c #Conflicts: 2045000 | #Constraints: 137784
3495.76/3504.25 c #Conflicts: 2046000 | #Constraints: 138784
3495.76/3504.25 c #Conflicts: 2047000 | #Constraints: 139784
3495.76/3504.25 c #Conflicts: 2048000 | #Constraints: 140784
3495.76/3504.25 c #Conflicts: 2049000 | #Constraints: 141784
3495.76/3504.25 c #Conflicts: 2050000 | #Constraints: 142784
3495.76/3504.25 c #Conflicts: 2051000 | #Constraints: 143784
3495.76/3504.25 c #Conflicts: 2052000 | #Constraints: 144784
3495.76/3504.25 c #Conflicts: 2053000 | #Constraints: 145784
3495.76/3504.25 c #Conflicts: 2054000 | #Constraints: 146784
3495.76/3504.25 c #Conflicts: 2055000 | #Constraints: 147784
3495.76/3504.25 c #Conflicts: 2056000 | #Constraints: 148784
3495.76/3504.25 c #Conflicts: 2057000 | #Constraints: 149784
3495.76/3504.25 c #Conflicts: 2058000 | #Constraints: 150784
3495.76/3504.25 c #Conflicts: 2059000 | #Constraints: 151784
3495.76/3504.25 c #Conflicts: 2060000 | #Constraints: 152784
3600.00/3608.71 c #Conflicts: 2061000 | #Constraints: 153784
3600.00/3608.71 c #Conflicts: 2062000 | #Constraints: 154784
3600.00/3608.71 c #Conflicts: 2063000 | #Constraints: 155784
3600.00/3608.71 c #Conflicts: 2064000 | #Constraints: 156784
3600.00/3608.71 c #Conflicts: 2065000 | #Constraints: 157784
3600.00/3608.71 c #Conflicts: 2066000 | #Constraints: 158784
3600.00/3608.71 c #Conflicts: 2067000 | #Constraints: 159784
3600.00/3608.71 c #Conflicts: 2068000 | #Constraints: 160784
3600.00/3608.71 c #Conflicts: 2069000 | #Constraints: 161784
3600.00/3608.71 c #Conflicts: 2070000 | #Constraints: 162784
3600.00/3608.71 c #Conflicts: 2071000 | #Constraints: 163784
3600.00/3608.71 c #Conflicts: 2072000 | #Constraints: 164784
3600.00/3608.71 c #Conflicts: 2073000 | #Constraints: 165784
3600.00/3608.71 c #Conflicts: 2074000 | #Constraints: 166784
3600.00/3608.71 c #Conflicts: 2075000 | #Constraints: 167784
3600.00/3608.71 c #Conflicts: 2076000 | #Constraints: 168784
3600.00/3608.71 c #Conflicts: 2077000 | #Constraints: 169784
3600.00/3608.71 c #Conflicts: 2078000 | #Constraints: 170784
3600.00/3608.71 c #Conflicts: 2079000 | #Constraints: 171784
3600.00/3608.71 c #Conflicts: 2080000 | #Constraints: 172784
3600.00/3608.71 c #Conflicts: 2081000 | #Constraints: 173784
3600.00/3608.71 c #Conflicts: 2082000 | #Constraints: 174784
3600.00/3608.71 c #Conflicts: 2083000 | #Constraints: 175784
3600.00/3608.71 c #Conflicts: 2084000 | #Constraints: 176784
3600.00/3608.71 c #Conflicts: 2085000 | #Constraints: 177784
3600.00/3608.71 c #Conflicts: 2086000 | #Constraints: 178784
3600.00/3608.71 c #Conflicts: 2087000 | #Constraints: 179784
3600.00/3608.71 c #Conflicts: 2088000 | #Constraints: 180784
3600.00/3608.71 c #Conflicts: 2089000 | #Constraints: 181784
3600.00/3608.71 c #Conflicts: 2090000 | #Constraints: 182784
3600.00/3608.71 c #Conflicts: 2091000 | #Constraints: 183784
3600.00/3608.71 c #Conflicts: 2092000 | #Constraints: 184784
3600.00/3608.71 c #Conflicts: 2093000 | #Constraints: 185784
3600.00/3608.71 c #Conflicts: 2094000 | #Constraints: 186784
3600.00/3608.71 c #Conflicts: 2095000 | #Constraints: 187784
3600.00/3608.71 c #Conflicts: 2096000 | #Constraints: 188784
3600.00/3608.71 c #Conflicts: 2097000 | #Constraints: 189784
3600.00/3608.71 c #Conflicts: 2098000 | #Constraints: 190784
3600.00/3608.71 c Program interrupted by user.
3600.00/3608.71 c cpu time 3590.62 s
3600.00/3608.71 c deterministic time 373253862847 3.73e+11
3600.00/3608.71 c optimization time 149.875 s
3600.00/3608.71 c total solve time 3440.59 s
3600.00/3608.71 c core-guided solve time 3440.59 s
3600.00/3608.71 c propagation time 3050.21 s
3600.00/3608.71 c conflict analysis time 518.907 s
3600.00/3608.71 c propagations 766392630
3600.00/3608.71 c resolve steps 48102213
3600.00/3608.71 c decisions 4534089
3600.00/3608.71 c conflicts 2098027
3600.00/3608.71 c restarts 4091
3600.00/3608.71 c inprocessing phases 90
3600.00/3608.71 c input clauses 94488
3600.00/3608.71 c input cardinalities 228
3600.00/3608.71 c input general constraints 135
3600.00/3608.71 c input average constraint length 2.86
3600.00/3608.71 c input average constraint degree 1.49
3600.00/3608.71 c learned clauses 1612751
3600.00/3608.71 c learned cardinalities 4879
3600.00/3608.71 c learned general constraints 480389
3600.00/3608.71 c learned average constraint length 85.53
3600.00/3608.71 c learned average constraint degree 158.75
3600.00/3608.71 c watched constraints 442405
3600.00/3608.71 c counting constraints 38119
3600.00/3608.71 c gcd simplifications 9605
3600.00/3608.71 c detected cardinalities 535
3600.00/3608.71 c weakened non-implied lits 9434953
3600.00/3608.71 c weakened non-implying lits 28320
3600.00/3608.71 c original variables 1272
3600.00/3608.71 c clausal propagations 726551129
3600.00/3608.71 c cardinality propagations 357442
3600.00/3608.71 c watched propagations 6758796
3600.00/3608.71 c counting propagations 30960225
3600.00/3608.71 c watch lookups 77347631410
3600.00/3608.71 c watch backjump lookups 59795670353
3600.00/3608.71 c watch checks 216625956359
3600.00/3608.71 c propagation checks 17409781912
3600.00/3608.71 c constraint additions 530872285
3600.00/3608.71 c trail pops 773023808
3600.00/3608.71 c formula constraints 94127
3600.00/3608.71 c learned constraints 2098019
3600.00/3608.71 c bound constraints 61
3600.00/3608.71 c core-guided constraints 663
3600.00/3608.71 c encountered formula constraints 22126980
3600.00/3608.71 c encountered learned constraints 26371762
3600.00/3608.71 c encountered bound constraints 355
3600.00/3608.71 c encountered core-guided constraints 1701143
3600.00/3608.71 c LP total time 0 s
3600.00/3608.71 c LP solve time 0 s
3600.00/3608.71 c LP constraints added 0
3600.00/3608.71 c LP constraints removed 0
3600.00/3608.71 c LP pivots internal 0
3600.00/3608.71 c LP pivots root 0
3600.00/3608.71 c LP calls 0
3600.00/3608.71 c LP optimalities 0
3600.00/3608.71 c LP no pivot count 0
3600.00/3608.71 c LP infeasibilities 0
3600.00/3608.71 c LP valid Farkas constraints 0
3600.00/3608.71 c LP learned Farkas constraints 0
3600.00/3608.71 c LP basis resets 0
3600.00/3608.71 c LP cycling count 0
3600.00/3608.71 c LP singular count 0
3600.00/3608.71 c LP no primal count 0
3600.00/3608.71 c LP no farkas count 0
3600.00/3608.71 c LP other issue count 0
3600.00/3608.71 c LP Gomory cuts 0
3600.00/3608.71 c LP learned cuts 0
3600.00/3608.71 c LP deleted cuts 0
3600.00/3608.71 c LP encountered Gomory constraints 0
3600.00/3608.71 c LP encountered Farkas constraints 0
3600.00/3608.71 c LP encountered learned Farkas constraints 0
3600.00/3608.71 c CG auxiliary variables introduced 391
3600.00/3608.71 c CG solutions found 1
3600.00/3608.71 c CG cores constructed 42
3600.00/3608.71 c CG core cardinality constraints returned 0
3600.00/3608.71 c CG unit cores 0
3600.00/3608.71 c CG single cores 42
3600.00/3608.71 c CG blocks removed during cardinality reduction 0
3600.00/3608.71 c CG first core best 0
3600.00/3608.71 c CG decision core best 0
3600.00/3608.71 c CG core reduction tie 0
3600.00/3608.71 c CG core degree average 1.00
3600.00/3608.71 c CG core slack average 7.62
3600.00/3608.71 c CG exhausted 7
3600.00/3608.71 c CG exhaust time 6.10604 s
3600.00/3608.71 c CG trimmed 4
3600.00/3608.71 c CG trim time 0.000761 s
3600.00/3608.71 c CG minimized 0
3600.00/3608.71 c CG minimize time 0 s
3600.00/3608.71 c CG am1 prop time 0.006538 s
3600.00/3608.71 c CG # am1s reformulated 240
3600.00/3608.71 c CG lower bound derived from am1s 1031
3600.00/3608.71 c CG # clausal cores 42
3600.00/3608.71 c CG # cardinality cores 0
3600.00/3608.71 c CG # pb cores 0
3600.00/3608.71 c CG # pb reforms 0
3600.00/3608.71 c CG # cores discarded because of pb reform 0
3600.00/3608.71 d LOWERBOUND -192
3600.00/3608.71 d NCORES 42
3600.00/3608.71 d NPBCORES 0
3600.00/3608.71 d NPBREFORM 0
3600.00/3608.71 d NTRIMMED 4
3600.00/3608.71 d NEXHAUSTED 7
3600.00/3608.71 d NAM1S 240
3600.00/3608.71 d AM1LB 1031
3600.00/3608.71 o -35
3600.00/3608.71 s SATISFIABLE
3600.00/3608.71 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
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: 63665 MiB (62337 MiB free)
memory of node 1: 64507 MiB (63616 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484810-1751296266/watcher-4484810-1751296266 -o /tmp/evaluation-result-4484810-1751296266/solver-4484810-1751296266 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751292654-42304 --watchdog 3760 pb-oll-rs HOME/instance-4484810-1751296266.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=42740, runsolver pid=42737
[startup+0.100057 s]*
/proc/loadavg: 4.13 4.09 4.02 5/264 42741
/proc/meminfo: memFree=128975296/131249996 swapFree=33010684/33010684
[pid=42740] ppid=42737 vsize=21668 memory=8880 CPUtime=0.09 cores=1,3
/proc/42740/stat : 42740 (pb-oll-rs) R 42737 42740 42292 0 -1 4194304 756 0 0 0 7 2 0 0 20 0 1 0 45304314 22188032 2220 18446744073709551615 4218880 5211445 140730738492528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 20201472 140730738493852 140730738493929 140730738493929 140730738499531 0
/proc/42740/statm: 5417 2220 1184 243 0 1666 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21668 KiB
Current children cumulated memory: 8880 KiB
[startup+0.205292 s]*
/proc/loadavg: 4.13 4.09 4.02 5/264 42741
/proc/meminfo: memFree=128965152/131249996 swapFree=33010684/33010684
[pid=42740] ppid=42737 vsize=22988 memory=11568 CPUtime=0.2 cores=1,3
/proc/42740/stat : 42740 (pb-oll-rs) R 42737 42740 42292 0 -1 4194304 1423 0 0 0 15 5 0 0 20 0 1 0 45304314 23539712 2892 18446744073709551615 4218880 5211445 140730738492528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 20201472 140730738493852 140730738493929 140730738493929 140730738499531 0
/proc/42740/statm: 5747 2892 1184 243 0 1996 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 22988 KiB
Current children cumulated memory: 11568 KiB
[startup+0.304763 s]*
/proc/loadavg: 4.13 4.09 4.02 5/264 42741
/proc/meminfo: memFree=128963640/131249996 swapFree=33010684/33010684
[pid=42740] ppid=42737 vsize=32324 memory=21880 CPUtime=0.29 cores=1,3
/proc/42740/stat : 42740 (pb-oll-rs) R 42737 42740 42292 0 -1 4194304 3915 0 0 0 23 6 0 0 20 0 1 0 45304314 33099776 5470 18446744073709551615 4218880 5211445 140730738492528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 20201472 140730738493852 140730738493929 140730738493929 140730738499531 0
/proc/42740/statm: 8081 5470 1376 243 0 4330 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 32324 KiB
Current children cumulated memory: 21880 KiB
[startup+0.700141 s]
/proc/loadavg: 4.13 4.09 4.02 5/264 42741
/proc/meminfo: memFree=128958852/131249996 swapFree=33010684/33010684
[pid=42740] ppid=42737 vsize=43384 memory=33032 CPUtime=0.68 cores=1,3
/proc/42740/stat : 42740 (pb-oll-rs) R 42737 42740 42292 0 -1 4194304 6182 0 0 0 61 7 0 0 20 0 1 0 45304314 44425216 8258 18446744073709551615 4218880 5211445 140730738492528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 20201472 140730738493852 140730738493929 140730738493929 140730738499531 0
/proc/42740/statm: 10846 8258 1376 243 0 7095 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43384 KiB
Current children cumulated memory: 33032 KiB
[startup+1.50016 s]
/proc/loadavg: 4.13 4.09 4.02 5/264 42741
/proc/meminfo: memFree=128946816/131249996 swapFree=33010684/33010684
[pid=42740] ppid=42737 vsize=53936 memory=42796 CPUtime=1.48 cores=1,3
/proc/42740/stat : 42740 (pb-oll-rs) R 42737 42740 42292 0 -1 4194304 7102 0 0 0 140 8 0 0 20 0 1 0 45304314 55230464 10699 18446744073709551615 4218880 5211445 140730738492528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 20201472 140730738493852 140730738493929 140730738493929 140730738499531 0
/proc/42740/statm: 13484 10699 1376 243 0 9733 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 53936 KiB
Current children cumulated memory: 42796 KiB
[startup+3.10557 s]
/proc/loadavg: 4.12 4.09 4.02 5/264 42741
/proc/meminfo: memFree=128915324/131249996 swapFree=33010684/33010684
[pid=42740] ppid=42737 vsize=64988 memory=46388 CPUtime=3.08 cores=1,3
/proc/42740/stat : 42740 (pb-oll-rs) R 42737 42740 42292 0 -1 4194304 8778 0 0 0 298 10 0 0 20 0 1 0 45304314 66547712 11597 18446744073709551615 4218880 5211445 140730738492528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 20201472 140730738493852 140730738493929 140730738493929 140730738499531 0
/proc/42740/statm: 16247 11597 1376 243 0 12496 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 64988 KiB
Current children cumulated memory: 46388 KiB
[startup+6.30013 s]
/proc/loadavg: 4.12 4.09 4.02 5/264 42741
/proc/meminfo: memFree=128896980/131249996 swapFree=33010684/33010684
[pid=42740] ppid=42737 vsize=68408 memory=55900 CPUtime=6.27 cores=1,3
/proc/42740/stat : 42740 (pb-oll-rs) R 42737 42740 42292 0 -1 4194304 10901 0 0 0 612 15 0 0 20 0 1 0 45304314 70049792 13975 18446744073709551615 4218880 5211445 140730738492528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 20201472 140730738493852 140730738493929 140730738493929 140730738499531 0
/proc/42740/statm: 17102 13975 1376 243 0 13351 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 68408 KiB
Current children cumulated memory: 55900 KiB
[startup+12.7001 s]
/proc/loadavg: 4.11 4.09 4.02 5/264 42741
/proc/meminfo: memFree=128891444/131249996 swapFree=33010684/33010684
[pid=42740] ppid=42737 vsize=73124 memory=60452 CPUtime=12.65 cores=1,3
/proc/42740/stat : 42740 (pb-oll-rs) R 42737 42740 42292 0 -1 4194304 13378 0 0 0 1237 28 0 0 20 0 1 0 45304314 74878976 15113 18446744073709551615 4218880 5211445 140730738492528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 20201472 140730738493852 140730738493929 140730738493929 140730738499531 0
/proc/42740/statm: 18281 15113 1376 243 0 14530 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 73124 KiB
Current children cumulated memory: 60452 KiB
[startup+25.5001 s]
/proc/loadavg: 4.09 4.09 4.02 5/264 42741
/proc/meminfo: memFree=128883508/131249996 swapFree=33010684/33010684
[pid=42740] ppid=42737 vsize=76076 memory=63524 CPUtime=25.42 cores=1,3
/proc/42740/stat : 42740 (pb-oll-rs) R 42737 42740 42292 0 -1 4194304 14132 0 0 0 2496 46 0 0 20 0 1 0 45304314 77901824 15881 18446744073709551615 4218880 5211445 140730738492528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 20201472 140730738493852 140730738493929 140730738493929 140730738499531 0
/proc/42740/statm: 19019 15881 1376 243 0 15268 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 76076 KiB
Current children cumulated memory: 63524 KiB
[startup+51.1053 s]
/proc/loadavg: 4.06 4.08 4.02 5/264 42742
/proc/meminfo: memFree=128878644/131249996 swapFree=33010684/33010684
[pid=42740] ppid=42737 vsize=76756 memory=64308 CPUtime=50.97 cores=1,3
/proc/42740/stat : 42740 (pb-oll-rs) R 42737 42740 42292 0 -1 4194304 15687 0 0 0 5030 67 0 0 20 0 1 0 45304314 78598144 16077 18446744073709551615 4218880 5211445 140730738492528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 20201472 140730738493852 140730738493929 140730738493929 140730738499531 0
/proc/42740/statm: 19189 16077 1376 243 0 15438 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 76756 KiB
Current children cumulated memory: 64308 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/264 42744
/proc/meminfo: memFree=128872580/131249996 swapFree=33010684/33010684
[pid=42740] ppid=42737 vsize=78356 memory=65884 CPUtime=102.04 cores=1,3
/proc/42740/stat : 42740 (pb-oll-rs) R 42737 42740 42292 0 -1 4194304 16723 0 0 0 10104 100 0 0 20 0 1 0 45304314 80236544 16471 18446744073709551615 4218880 5211445 140730738492528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 20201472 140730738493852 140730738493929 140730738493929 140730738499531 0
/proc/42740/statm: 19589 16471 1376 243 0 15838 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 78356 KiB
Current children cumulated memory: 65884 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/264 42753
/proc/meminfo: memFree=128827420/131249996 swapFree=33010684/33010684
[pid=42740] ppid=42737 vsize=79708 memory=67292 CPUtime=161.9 cores=1,3
/proc/42740/stat : 42740 (pb-oll-rs) R 42737 42740 42292 0 -1 4194304 17068 0 0 0 16052 138 0 0 20 0 1 0 45304314 81620992 16823 18446744073709551615 4218880 5211445 140730738492528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 20201472 140730738493852 140730738493929 140730738493929 140730738499531 0
/proc/42740/statm: 19927 16823 1376 243 0 16176 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 79708 KiB
Current children cumulated memory: 67292 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/264 42756
/proc/meminfo: memFree=128821444/131249996 swapFree=33010684/33010684
[pid=42740] ppid=42737 vsize=80236 memory=67932 CPUtime=221.75 cores=1,3
/proc/42740/stat : 42740 (pb-oll-rs) R 42737 42740 42292 0 -1 4194304 17236 0 0 0 22006 169 0 0 20 0 1 0 45304314 82161664 16983 18446744073709551615 4218880 5211445 140730738492528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 20201472 140730738493852 140730738493929 140730738493929 140730738499531 0
/proc/42740/statm: 20059 16983 1376 243 0 16308 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 80236 KiB
Current children cumulated memory: 67932 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 4.07 4.02 5/264 42757
/proc/meminfo: memFree=128836552/131249996 swapFree=33010684/33010684
[pid=42740] ppid=42737 vsize=80536 memory=68188 CPUtime=281.61 cores=1,3
/proc/42740/stat : 42740 (pb-oll-rs) R 42737 42740 42292 0 -1 4194304 17310 0 0 0 27962 199 0 0 20 0 1 0 45304314 82468864 17047 18446744073709551615 4218880 5211445 140730738492528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 20201472 140730738493852 140730738493929 140730738493929 140730738499531 0
/proc/42740/statm: 20134 17047 1376 243 0 16383 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 80536 KiB
Current children cumulated memory: 68188 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/264 42759
/proc/meminfo: memFree=128852688/131249996 swapFree=33010684/33010684
[pid=42740] ppid=42737 vsize=81760 memory=69596 CPUtime=341.48 cores=1,3
/proc/42740/stat : 42740 (pb-oll-rs) R 42737 42740 42292 0 -1 4194304 17655 0 0 0 33933 215 0 0 20 0 1 0 45304314 83722240 17399 18446744073709551615 4218880 5211445 140730738492528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 20201472 140730738493852 140730738493929 140730738493929 140730738499531 0
/proc/42740/statm: 20440 17399 1376 243 0 16689 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 81760 KiB
Current children cumulated memory: 69596 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/264 42761
/proc/meminfo: memFree=128859584/131249996 swapFree=33010684/33010684
[pid=42740] ppid=42737 vsize=81316 memory=69184 CPUtime=401.35 cores=1,3
/proc/42740/stat : 42740 (pb-oll-rs) R 42737 42740 42292 0 -1 4194304 18307 0 0 0 39893 242 0 0 20 0 1 0 45304314 83267584 17296 18446744073709551615 4218880 5211445 140730738492528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 20201472 140730738493852 140730738493929 140730738493929 140730738499531 0
/proc/42740/statm: 20329 17296 1376 243 0 16578 0
Current children cumulated CPU time: 401.35 s
Current children cumulated vsize: 81316 KiB
Current children cumulated memory: 69184 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/264 42764
/proc/meminfo: memFree=128857420/131249996 swapFree=33010684/33010684
[pid=42740] ppid=42737 vsize=81316 memory=69184 CPUtime=461.21 cores=1,3
/proc/42740/stat : 42740 (pb-oll-rs) R 42737 42740 42292 0 -1 4194304 18313 0 0 0 45859 262 0 0 20 0 1 0 45304314 83267584 17296 18446744073709551615 4218880 5211445 140730738492528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 20201472 140730738493852 140730738493929 140730738493929 140730738499531 0
/proc/42740/statm: 20329 17296 1376 243 0 16578 0
Current children cumulated CPU time: 461.21 s
################
# More data... #
################
Current children cumulated memory: 98004 KiB
[startup+2922.3 s]
/proc/loadavg: 4.39 4.19 4.12 5/264 42930
/proc/meminfo: memFree=128765720/131249996 swapFree=33010684/33010684
[pid=42740] ppid=42737 vsize=108144 memory=98004 CPUtime=2915.32 cores=1,3
/proc/42740/stat : 42740 (pb-oll-rs) R 42737 42740 42292 0 -1 4194304 29423 0 0 0 290710 822 0 0 20 0 1 0 45304314 110739456 24501 18446744073709551615 4218880 5211445 140730738492528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 20201472 140730738493852 140730738493929 140730738493929 140730738499531 0
/proc/42740/statm: 27036 24501 1376 243 0 23285 0
Current children cumulated CPU time: 2915.32 s
Current children cumulated vsize: 108144 KiB
Current children cumulated memory: 98004 KiB
[startup+2982.3 s]
/proc/loadavg: 4.20 4.17 4.11 5/264 42933
/proc/meminfo: memFree=128763356/131249996 swapFree=33010684/33010684
[pid=42740] ppid=42737 vsize=139732 memory=102092 CPUtime=2975.16 cores=1,3
/proc/42740/stat : 42740 (pb-oll-rs) R 42737 42740 42292 0 -1 4194304 29953 0 0 0 296688 828 0 0 20 0 1 0 45304314 143085568 25523 18446744073709551615 4218880 5211445 140730738492528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 20201472 140730738493852 140730738493929 140730738493929 140730738499531 0
/proc/42740/statm: 34933 25523 1376 243 0 31182 0
Current children cumulated CPU time: 2975.16 s
Current children cumulated vsize: 139732 KiB
Current children cumulated memory: 102092 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/265 42947
/proc/meminfo: memFree=128753172/131249996 swapFree=33010684/33010684
[pid=42740] ppid=42737 vsize=145452 memory=109280 CPUtime=3035.01 cores=1,3
/proc/42740/stat : 42740 (pb-oll-rs) R 42737 42740 42292 0 -1 4194304 31256 0 0 0 302667 834 0 0 20 0 1 0 45304314 148942848 27320 18446744073709551615 4218880 5211445 140730738492528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 20201472 140730738493852 140730738493929 140730738493929 140730738499531 0
/proc/42740/statm: 36363 27320 1376 243 0 32612 0
Current children cumulated CPU time: 3035.01 s
Current children cumulated vsize: 145452 KiB
Current children cumulated memory: 109280 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.14 4.10 5/265 42949
/proc/meminfo: memFree=128747440/131249996 swapFree=33010684/33010684
[pid=42740] ppid=42737 vsize=145452 memory=109280 CPUtime=3094.86 cores=1,3
/proc/42740/stat : 42740 (pb-oll-rs) R 42737 42740 42292 0 -1 4194304 31256 0 0 0 308644 842 0 0 20 0 1 0 45304314 148942848 27320 18446744073709551615 4218880 5211445 140730738492528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 20201472 140730738493852 140730738493929 140730738493929 140730738499531 0
/proc/42740/statm: 36363 27320 1376 243 0 32612 0
Current children cumulated CPU time: 3094.86 s
Current children cumulated vsize: 145452 KiB
Current children cumulated memory: 109280 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/265 42958
/proc/meminfo: memFree=128755252/131249996 swapFree=33010684/33010684
[pid=42740] ppid=42737 vsize=145452 memory=110176 CPUtime=3154.7 cores=1,3
/proc/42740/stat : 42740 (pb-oll-rs) R 42737 42740 42292 0 -1 4194304 31257 0 0 0 314622 848 0 0 20 0 1 0 45304314 148942848 27544 18446744073709551615 4218880 5211445 140730738492528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 20201472 140730738493852 140730738493929 140730738493929 140730738499531 0
/proc/42740/statm: 36363 27544 1376 243 0 32612 0
Current children cumulated CPU time: 3154.7 s
Current children cumulated vsize: 145452 KiB
Current children cumulated memory: 110176 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/265 42960
/proc/meminfo: memFree=128754568/131249996 swapFree=33010684/33010684
[pid=42740] ppid=42737 vsize=145452 memory=110176 CPUtime=3214.55 cores=1,3
/proc/42740/stat : 42740 (pb-oll-rs) R 42737 42740 42292 0 -1 4194304 31257 0 0 0 320598 857 0 0 20 0 1 0 45304314 148942848 27544 18446744073709551615 4218880 5211445 140730738492528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 20201472 140730738493852 140730738493929 140730738493929 140730738499531 0
/proc/42740/statm: 36363 27544 1376 243 0 32612 0
Current children cumulated CPU time: 3214.55 s
Current children cumulated vsize: 145452 KiB
Current children cumulated memory: 110176 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 42962
/proc/meminfo: memFree=128761860/131249996 swapFree=33010684/33010684
[pid=42740] ppid=42737 vsize=145452 memory=110176 CPUtime=3274.41 cores=1,3
/proc/42740/stat : 42740 (pb-oll-rs) R 42737 42740 42292 0 -1 4194304 31257 0 0 0 326572 869 0 0 20 0 1 0 45304314 148942848 27544 18446744073709551615 4218880 5211445 140730738492528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 20201472 140730738493852 140730738493929 140730738493929 140730738499531 0
/proc/42740/statm: 36363 27544 1376 243 0 32612 0
Current children cumulated CPU time: 3274.41 s
Current children cumulated vsize: 145452 KiB
Current children cumulated memory: 110176 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.10 4.09 5/265 42965
/proc/meminfo: memFree=128761484/131249996 swapFree=33010684/33010684
[pid=42740] ppid=42737 vsize=145452 memory=110176 CPUtime=3334.26 cores=1,3
/proc/42740/stat : 42740 (pb-oll-rs) R 42737 42740 42292 0 -1 4194304 31257 0 0 0 332543 883 0 0 20 0 1 0 45304314 148942848 27544 18446744073709551615 4218880 5211445 140730738492528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 20201472 140730738493852 140730738493929 140730738493929 140730738499531 0
/proc/42740/statm: 36363 27544 1376 243 0 32612 0
Current children cumulated CPU time: 3334.26 s
Current children cumulated vsize: 145452 KiB
Current children cumulated memory: 110176 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 42968
/proc/meminfo: memFree=128762496/131249996 swapFree=33010684/33010684
[pid=42740] ppid=42737 vsize=145452 memory=110176 CPUtime=3394.11 cores=1,3
/proc/42740/stat : 42740 (pb-oll-rs) R 42737 42740 42292 0 -1 4194304 31257 0 0 0 338514 897 0 0 20 0 1 0 45304314 148942848 27544 18446744073709551615 4218880 5211445 140730738492528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 20201472 140730738493852 140730738493929 140730738493929 140730738499531 0
/proc/42740/statm: 36363 27544 1376 243 0 32612 0
Current children cumulated CPU time: 3394.11 s
Current children cumulated vsize: 145452 KiB
Current children cumulated memory: 110176 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/265 42970
/proc/meminfo: memFree=128761584/131249996 swapFree=33010684/33010684
[pid=42740] ppid=42737 vsize=145452 memory=110176 CPUtime=3453.96 cores=1,3
/proc/42740/stat : 42740 (pb-oll-rs) R 42737 42740 42292 0 -1 4194304 31257 0 0 0 344486 910 0 0 20 0 1 0 45304314 148942848 27544 18446744073709551615 4218880 5211445 140730738492528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 20201472 140730738493852 140730738493929 140730738493929 140730738499531 0
/proc/42740/statm: 36363 27544 1376 243 0 32612 0
Current children cumulated CPU time: 3453.96 s
Current children cumulated vsize: 145452 KiB
Current children cumulated memory: 110176 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 42972
/proc/meminfo: memFree=128761520/131249996 swapFree=33010684/33010684
[pid=42740] ppid=42737 vsize=145452 memory=110176 CPUtime=3513.81 cores=1,3
/proc/42740/stat : 42740 (pb-oll-rs) R 42737 42740 42292 0 -1 4194304 31257 0 0 0 350457 924 0 0 20 0 1 0 45304314 148942848 27544 18446744073709551615 4218880 5211445 140730738492528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 20201472 140730738493852 140730738493929 140730738493929 140730738499531 0
/proc/42740/statm: 36363 27544 1376 243 0 32612 0
Current children cumulated CPU time: 3513.81 s
Current children cumulated vsize: 145452 KiB
Current children cumulated memory: 110176 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 42975
/proc/meminfo: memFree=128753028/131249996 swapFree=33010684/33010684
[pid=42740] ppid=42737 vsize=145452 memory=110176 CPUtime=3573.66 cores=1,3
/proc/42740/stat : 42740 (pb-oll-rs) R 42737 42740 42292 0 -1 4194304 31257 0 0 0 356432 934 0 0 20 0 1 0 45304314 148942848 27544 18446744073709551615 4218880 5211445 140730738492528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 20201472 140730738493852 140730738493929 140730738493929 140730738499531 0
/proc/42740/statm: 36363 27544 1376 243 0 32612 0
Current children cumulated CPU time: 3573.66 s
Current children cumulated vsize: 145452 KiB
Current children cumulated memory: 110176 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.7 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 42976
/proc/meminfo: memFree=128753028/131249996 swapFree=33010684/33010684
[pid=42740] ppid=42737 vsize=145452 memory=110176 CPUtime=3600 cores=1,3
/proc/42740/stat : 42740 (pb-oll-rs) R 42737 42740 42292 0 -1 4194304 31257 0 0 0 359061 939 0 0 20 0 1 0 45304314 148942848 27544 18446744073709551615 4218880 5211445 140730738492528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 20201472 140730738493852 140730738493929 140730738493929 140730738499531 0
/proc/42740/statm: 36363 27544 1376 243 0 32612 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 145452 KiB
Current children cumulated memory: 110176 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.72 s]
# the end of solver process 42740 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.63 s, system=9.39168 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.7 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 42976
/proc/meminfo: memFree=128753028/131249996 swapFree=33010684/33010684
[pid=42740] ppid=42737 vsize=145452 memory=110176 CPUtime=3600 cores=1,3
/proc/42740/stat : 42740 (pb-oll-rs) R 42737 42740 42292 0 -1 4194304 31257 0 0 0 359061 939 0 0 20 0 1 0 45304314 148942848 27544 18446744073709551615 4218880 5211445 140730738492528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 20201472 140730738493852 140730738493929 140730738493929 140730738499531 0
/proc/42740/statm: 36363 27544 1376 243 0 32612 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 145452 KiB
Current children cumulated memory: 110176 KiB
Child status: 0
Real time (s): 3608.72
CPU time (s): 3600.02
CPU user time (s): 3590.63
CPU system time (s): 9.39168
CPU usage (%): 99.759
Max. virtual memory (cumulated for all children) (KiB): 145452
Max. memory (cumulated for all children) (KiB): 110176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.63
system time used= 9.39168
maximum resident set size= 110432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31272
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= 116
involuntary context switches= 5006
# summary of solver processes directly reported to runsolver:
# pid: 42740
# total CPU time (s): 3600.02
# total CPU user time (s): 3590.63
# total CPU system time (s): 9.39168
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.65731 second user time and 15.6175 second system time
The end
Begin job on nodeC021 at 2025-06-30 17:11:06
IDJOB=4484810
IDBENCH=146671
IDSOLVER=3345
FILE ID=nodeC021/4484810-1751296266
RUNJOBID= nodeC021-1751292654-42304
SLURM_JOB_ID= 9594264
Free space on /tmp= 432580 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484810-1751296266/watcher-4484810-1751296266 -o /tmp/evaluation-result-4484810-1751296266/solver-4484810-1751296266 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751292654-42304 --watchdog 3760 pb-oll-rs HOME/instance-4484810-1751296266.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4c4220841569fe2ff0ce6d0e8718e711
RANDOM SEED=855351613
nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3599.783
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3599.780
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3599.354
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3599.782
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3599.777
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3599.772
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3600.608
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
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 : 3597.220
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128983284 kB
MemAvailable: 129595508 kB
Buffers: 3280 kB
Cached: 1418796 kB
SwapCached: 0 kB
Active: 484616 kB
Inactive: 1149748 kB
Active(anon): 230352 kB
Inactive(anon): 0 kB
Active(file): 254264 kB
Inactive(file): 1149748 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 12604 kB
Writeback: 0 kB
AnonPages: 213684 kB
Mapped: 107620 kB
Shmem: 18060 kB
KReclaimable: 94500 kB
Slab: 181292 kB
SReclaimable: 94500 kB
SUnreclaim: 86792 kB
KernelStack: 4272 kB
PageTables: 3444 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 579352 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 53248 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432576 MiB
End job on nodeC021 at 2025-06-30 18:11:15