0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.02 c [STEP] preprocessing with Papilo
0.00/0.02 c Papilo could not simplify the problem
0.00/0.02 c [STEP] solving with SCIP
298.84/300.08 c [STEP] preprocessing done, loading into solver
298.84/300.09 c [STEP] solving
298.84/300.09 c #variables 201 #constraints 1999
298.84/300.09 c SMALL=int, LARGE=long long
298.84/300.09 d SCIPUB 160
298.84/300.09 c bounds - >= 0 @ 298.777
298.84/300.09 c stratification level: 0
314.18/315.42 c bounds - >= 117 @ 298.779
314.18/315.42 c bounds - >= 118 @ 298.779
314.18/315.42 c bounds - >= 119 @ 298.779
314.18/315.42 c bounds - >= 120 @ 298.779
314.18/315.42 c bounds - >= 121 @ 298.779
314.18/315.42 c bounds - >= 122 @ 298.779
314.18/315.42 c bounds - >= 123 @ 298.779
314.18/315.42 c bounds - >= 124 @ 298.779
314.18/315.42 c bounds - >= 125 @ 298.779
314.18/315.42 c bounds - >= 126 @ 298.78
314.18/315.42 c bounds - >= 127 @ 298.78
314.18/315.42 c bounds - >= 128 @ 298.78
314.18/315.42 c bounds - >= 129 @ 298.78
314.18/315.42 c #Conflicts: 1000 | #Constraints: 3091
314.18/315.42 c #Conflicts: 2000 | #Constraints: 4091
314.18/315.42 c INPROCESSING
314.18/315.42 c GARBAGE COLLECT
314.18/315.42 c #Conflicts: 3000 | #Constraints: 4083
314.18/315.42 c #Conflicts: 4000 | #Constraints: 5083
314.18/315.42 c INPROCESSING
314.18/315.42 c GARBAGE COLLECT
314.18/315.42 c #Conflicts: 5000 | #Constraints: 4487
314.18/315.42 c #Conflicts: 6000 | #Constraints: 5487
314.18/315.42 c INPROCESSING
314.18/315.42 c GARBAGE COLLECT
314.18/315.42 c #Conflicts: 7000 | #Constraints: 4492
314.18/315.42 c #Conflicts: 8000 | #Constraints: 5492
314.18/315.42 c #Conflicts: 9000 | #Constraints: 6492
314.18/315.42 c INPROCESSING
314.18/315.42 c GARBAGE COLLECT
314.18/315.42 c #Conflicts: 10000 | #Constraints: 5195
314.18/315.42 c #Conflicts: 11000 | #Constraints: 6195
314.18/315.42 c #Conflicts: 12000 | #Constraints: 7195
314.18/315.42 c INPROCESSING
314.18/315.42 c GARBAGE COLLECT
314.18/315.42 c #Conflicts: 13000 | #Constraints: 5648
314.18/315.42 c #Conflicts: 14000 | #Constraints: 6648
314.18/315.42 c #Conflicts: 15000 | #Constraints: 7648
314.18/315.42 c INPROCESSING
314.18/315.42 c GARBAGE COLLECT
314.18/315.42 c #Conflicts: 16000 | #Constraints: 5873
314.18/315.42 c #Conflicts: 17000 | #Constraints: 6873
314.18/315.42 c #Conflicts: 18000 | #Constraints: 7873
314.18/315.42 c INPROCESSING
314.18/315.42 c GARBAGE COLLECT
314.18/315.42 c #Conflicts: 19000 | #Constraints: 5895
314.18/315.42 c #Conflicts: 20000 | #Constraints: 6895
314.18/315.42 c #Conflicts: 21000 | #Constraints: 7895
314.18/315.42 c INPROCESSING
314.18/315.42 c GARBAGE COLLECT
314.18/315.42 c #Conflicts: 22000 | #Constraints: 5703
314.18/315.42 c #Conflicts: 23000 | #Constraints: 6703
314.18/315.42 c #Conflicts: 24000 | #Constraints: 7703
314.18/315.42 c #Conflicts: 25000 | #Constraints: 8703
314.18/315.42 c INPROCESSING
314.18/315.42 c GARBAGE COLLECT
314.18/315.42 c #Conflicts: 26000 | #Constraints: 6307
314.18/315.42 c #Conflicts: 27000 | #Constraints: 7307
314.18/315.42 c #Conflicts: 28000 | #Constraints: 8307
314.18/315.42 c #Conflicts: 29000 | #Constraints: 9307
314.18/315.42 c INPROCESSING
314.18/315.42 c GARBAGE COLLECT
314.18/315.42 c #Conflicts: 30000 | #Constraints: 6705
314.18/315.42 c #Conflicts: 31000 | #Constraints: 7705
314.18/315.42 c #Conflicts: 32000 | #Constraints: 8705
314.18/315.42 c #Conflicts: 33000 | #Constraints: 9705
314.18/315.42 c INPROCESSING
314.18/315.42 c GARBAGE COLLECT
314.18/315.42 c #Conflicts: 34000 | #Constraints: 6910
314.18/315.42 c #Conflicts: 35000 | #Constraints: 7910
314.18/315.42 c #Conflicts: 36000 | #Constraints: 8910
314.18/315.42 c #Conflicts: 37000 | #Constraints: 9910
314.18/315.42 c INPROCESSING
314.18/315.42 c GARBAGE COLLECT
314.18/315.42 c #Conflicts: 38000 | #Constraints: 6914
314.18/315.42 c #Conflicts: 39000 | #Constraints: 7914
314.18/315.42 c #Conflicts: 40000 | #Constraints: 8914
314.18/315.42 c #Conflicts: 41000 | #Constraints: 9914
314.18/315.42 c INPROCESSING
314.18/315.42 c GARBAGE COLLECT
314.18/315.42 c #Conflicts: 42000 | #Constraints: 6710
314.18/315.42 c #Conflicts: 43000 | #Constraints: 7710
314.18/315.42 c #Conflicts: 44000 | #Constraints: 8710
314.18/315.42 c #Conflicts: 45000 | #Constraints: 9710
314.18/315.42 c #Conflicts: 46000 | #Constraints: 10710
314.18/315.42 c INPROCESSING
314.18/315.42 c GARBAGE COLLECT
314.18/315.42 c #Conflicts: 47000 | #Constraints: 7315
314.18/315.42 c #Conflicts: 48000 | #Constraints: 8315
314.18/315.42 c #Conflicts: 49000 | #Constraints: 9315
314.18/315.42 c #Conflicts: 50000 | #Constraints: 10315
314.18/315.42 c #Conflicts: 51000 | #Constraints: 11315
314.18/315.42 c INPROCESSING
314.18/315.42 c GARBAGE COLLECT
314.18/315.42 c #Conflicts: 52000 | #Constraints: 7716
314.18/315.42 c #Conflicts: 53000 | #Constraints: 8716
314.18/315.42 c #Conflicts: 54000 | #Constraints: 9716
314.18/315.42 c #Conflicts: 55000 | #Constraints: 10716
314.18/315.42 c #Conflicts: 56000 | #Constraints: 11716
314.18/315.42 c INPROCESSING
314.18/315.42 c GARBAGE COLLECT
314.18/315.42 c #Conflicts: 57000 | #Constraints: 7919
314.18/315.42 c #Conflicts: 58000 | #Constraints: 8919
314.18/315.42 c #Conflicts: 59000 | #Constraints: 9919
314.18/315.42 c #Conflicts: 60000 | #Constraints: 10919
314.18/315.42 c #Conflicts: 61000 | #Constraints: 11919
314.18/315.42 c INPROCESSING
314.18/315.42 c GARBAGE COLLECT
314.18/315.42 c #Conflicts: 62000 | #Constraints: 7921
339.29/340.62 c #Conflicts: 63000 | #Constraints: 8921
339.29/340.62 c #Conflicts: 64000 | #Constraints: 9921
339.29/340.62 c #Conflicts: 65000 | #Constraints: 10921
339.29/340.62 c #Conflicts: 66000 | #Constraints: 11921
339.29/340.62 c INPROCESSING
339.29/340.62 c GARBAGE COLLECT
339.29/340.62 c #Conflicts: 67000 | #Constraints: 7724
339.29/340.62 c #Conflicts: 68000 | #Constraints: 8724
339.29/340.62 c #Conflicts: 69000 | #Constraints: 9724
339.29/340.62 c #Conflicts: 70000 | #Constraints: 10724
339.29/340.62 c #Conflicts: 71000 | #Constraints: 11724
339.29/340.62 c #Conflicts: 72000 | #Constraints: 12724
339.29/340.62 c INPROCESSING
339.29/340.62 c GARBAGE COLLECT
339.29/340.62 c #Conflicts: 73000 | #Constraints: 8322
339.29/340.62 c #Conflicts: 74000 | #Constraints: 9322
339.29/340.62 c #Conflicts: 75000 | #Constraints: 10322
339.29/340.62 c #Conflicts: 76000 | #Constraints: 11322
339.29/340.62 c #Conflicts: 77000 | #Constraints: 12322
339.29/340.62 c #Conflicts: 78000 | #Constraints: 13322
339.29/340.62 c INPROCESSING
339.29/340.62 c GARBAGE COLLECT
339.29/340.62 c #Conflicts: 79000 | #Constraints: 8725
339.29/340.62 c #Conflicts: 80000 | #Constraints: 9725
339.29/340.62 c #Conflicts: 81000 | #Constraints: 10725
339.29/340.62 c #Conflicts: 82000 | #Constraints: 11725
339.29/340.62 c #Conflicts: 83000 | #Constraints: 12725
339.29/340.62 c #Conflicts: 84000 | #Constraints: 13725
339.29/340.62 c INPROCESSING
339.29/340.62 c GARBAGE COLLECT
339.29/340.62 c #Conflicts: 85000 | #Constraints: 8922
339.29/340.62 c #Conflicts: 86000 | #Constraints: 9922
339.29/340.62 c #Conflicts: 87000 | #Constraints: 10922
339.29/340.62 c #Conflicts: 88000 | #Constraints: 11922
339.29/340.62 c #Conflicts: 89000 | #Constraints: 12922
339.29/340.62 c #Conflicts: 90000 | #Constraints: 13922
339.29/340.62 c INPROCESSING
339.29/340.62 c GARBAGE COLLECT
339.29/340.62 c #Conflicts: 91000 | #Constraints: 8931
339.29/340.62 c #Conflicts: 92000 | #Constraints: 9931
339.29/340.62 c #Conflicts: 93000 | #Constraints: 10931
339.29/340.62 c #Conflicts: 94000 | #Constraints: 11931
339.29/340.62 c #Conflicts: 95000 | #Constraints: 12931
339.29/340.62 c bounds - >= 130 @ 325.95
339.29/340.62 c #Conflicts: 96000 | #Constraints: 13932
339.29/340.62 c INPROCESSING
339.29/340.62 c GARBAGE COLLECT
339.29/340.62 c #Conflicts: 97000 | #Constraints: 8707
339.29/340.62 c #Conflicts: 98000 | #Constraints: 9707
339.29/340.62 c #Conflicts: 99000 | #Constraints: 10707
339.29/340.62 c #Conflicts: 100000 | #Constraints: 11707
339.29/340.62 c #Conflicts: 101000 | #Constraints: 12707
339.29/340.62 c #Conflicts: 102000 | #Constraints: 13707
339.29/340.62 c #Conflicts: 103000 | #Constraints: 14707
339.29/340.62 c INPROCESSING
339.29/340.62 c GARBAGE COLLECT
339.29/340.62 c #Conflicts: 104000 | #Constraints: 9296
339.29/340.62 c #Conflicts: 105000 | #Constraints: 10296
339.29/340.62 c #Conflicts: 106000 | #Constraints: 11296
339.29/340.62 c #Conflicts: 107000 | #Constraints: 12296
339.29/340.62 c #Conflicts: 108000 | #Constraints: 13296
339.29/340.62 c #Conflicts: 109000 | #Constraints: 14296
339.29/340.62 c #Conflicts: 110000 | #Constraints: 15296
339.29/340.62 c INPROCESSING
339.29/340.62 c GARBAGE COLLECT
339.29/340.62 c #Conflicts: 111000 | #Constraints: 9691
339.29/340.62 c #Conflicts: 112000 | #Constraints: 10691
339.29/340.62 c #Conflicts: 113000 | #Constraints: 11691
339.29/340.62 c #Conflicts: 114000 | #Constraints: 12691
339.29/340.62 c #Conflicts: 115000 | #Constraints: 13691
339.29/340.62 c #Conflicts: 116000 | #Constraints: 14691
339.29/340.62 c #Conflicts: 117000 | #Constraints: 15691
339.29/340.62 c INPROCESSING
339.29/340.62 c GARBAGE COLLECT
339.29/340.62 c #Conflicts: 118000 | #Constraints: 9887
339.29/340.62 c #Conflicts: 119000 | #Constraints: 10887
339.29/340.62 c #Conflicts: 120000 | #Constraints: 11887
339.29/340.62 c #Conflicts: 121000 | #Constraints: 12887
339.29/340.62 c #Conflicts: 122000 | #Constraints: 13887
339.29/340.62 c #Conflicts: 123000 | #Constraints: 14887
339.29/340.62 c #Conflicts: 124000 | #Constraints: 15887
339.29/340.62 c INPROCESSING
339.29/340.62 c GARBAGE COLLECT
339.29/340.62 c #Conflicts: 125000 | #Constraints: 9888
339.29/340.62 c #Conflicts: 126000 | #Constraints: 10888
339.29/340.62 c #Conflicts: 127000 | #Constraints: 11888
339.29/340.62 c #Conflicts: 128000 | #Constraints: 12888
339.29/340.62 c #Conflicts: 129000 | #Constraints: 13888
339.29/340.62 c #Conflicts: 130000 | #Constraints: 14888
339.29/340.62 c #Conflicts: 131000 | #Constraints: 15888
339.29/340.62 c INPROCESSING
339.29/340.62 c GARBAGE COLLECT
339.29/340.62 c #Conflicts: 132000 | #Constraints: 9688
339.29/340.62 c #Conflicts: 133000 | #Constraints: 10688
370.50/371.94 c #Conflicts: 134000 | #Constraints: 11688
370.50/371.94 c #Conflicts: 135000 | #Constraints: 12688
370.50/371.94 c #Conflicts: 136000 | #Constraints: 13688
370.50/371.94 c #Conflicts: 137000 | #Constraints: 14688
370.50/371.94 c #Conflicts: 138000 | #Constraints: 15688
370.50/371.94 c #Conflicts: 139000 | #Constraints: 16688
370.50/371.94 c INPROCESSING
370.50/371.94 c GARBAGE COLLECT
370.50/371.94 c #Conflicts: 140000 | #Constraints: 10289
370.50/371.94 c #Conflicts: 141000 | #Constraints: 11289
370.50/371.94 c #Conflicts: 142000 | #Constraints: 12289
370.50/371.94 c #Conflicts: 143000 | #Constraints: 13289
370.50/371.94 c #Conflicts: 144000 | #Constraints: 14289
370.50/371.94 c #Conflicts: 145000 | #Constraints: 15289
370.50/371.94 c #Conflicts: 146000 | #Constraints: 16289
370.50/371.94 c #Conflicts: 147000 | #Constraints: 17289
370.50/371.94 c INPROCESSING
370.50/371.94 c GARBAGE COLLECT
370.50/371.94 c #Conflicts: 148000 | #Constraints: 10689
370.50/371.94 c #Conflicts: 149000 | #Constraints: 11689
370.50/371.94 c #Conflicts: 150000 | #Constraints: 12689
370.50/371.94 c #Conflicts: 151000 | #Constraints: 13689
370.50/371.94 c #Conflicts: 152000 | #Constraints: 14689
370.50/371.94 c #Conflicts: 153000 | #Constraints: 15689
370.50/371.94 c #Conflicts: 154000 | #Constraints: 16689
370.50/371.94 c #Conflicts: 155000 | #Constraints: 17689
370.50/371.94 c INPROCESSING
370.50/371.94 c GARBAGE COLLECT
370.50/371.94 c #Conflicts: 156000 | #Constraints: 10889
370.50/371.94 c #Conflicts: 157000 | #Constraints: 11889
370.50/371.94 c #Conflicts: 158000 | #Constraints: 12889
370.50/371.94 c #Conflicts: 159000 | #Constraints: 13889
370.50/371.94 c #Conflicts: 160000 | #Constraints: 14889
370.50/371.94 c #Conflicts: 161000 | #Constraints: 15889
370.50/371.94 c #Conflicts: 162000 | #Constraints: 16889
370.50/371.94 c #Conflicts: 163000 | #Constraints: 17889
370.50/371.94 c INPROCESSING
370.50/371.94 c GARBAGE COLLECT
370.50/371.94 c #Conflicts: 164000 | #Constraints: 10889
370.50/371.94 c #Conflicts: 165000 | #Constraints: 11889
370.50/371.94 c #Conflicts: 166000 | #Constraints: 12889
370.50/371.94 c #Conflicts: 167000 | #Constraints: 13889
370.50/371.94 c #Conflicts: 168000 | #Constraints: 14889
370.50/371.94 c #Conflicts: 169000 | #Constraints: 15889
370.50/371.94 c #Conflicts: 170000 | #Constraints: 16889
370.50/371.94 c #Conflicts: 171000 | #Constraints: 17889
370.50/371.94 c INPROCESSING
370.50/371.94 c GARBAGE COLLECT
370.50/371.94 c #Conflicts: 172000 | #Constraints: 10683
370.50/371.94 c #Conflicts: 173000 | #Constraints: 11683
370.50/371.94 c #Conflicts: 174000 | #Constraints: 12683
370.50/371.94 c #Conflicts: 175000 | #Constraints: 13683
370.50/371.94 c #Conflicts: 176000 | #Constraints: 14683
370.50/371.94 c #Conflicts: 177000 | #Constraints: 15683
370.50/371.94 c #Conflicts: 178000 | #Constraints: 16683
370.50/371.94 c #Conflicts: 179000 | #Constraints: 17683
370.50/371.94 c #Conflicts: 180000 | #Constraints: 18683
370.50/371.94 c INPROCESSING
370.50/371.94 c GARBAGE COLLECT
370.50/371.94 c #Conflicts: 181000 | #Constraints: 11285
370.50/371.94 c #Conflicts: 182000 | #Constraints: 12285
370.50/371.94 c #Conflicts: 183000 | #Constraints: 13285
370.50/371.94 c #Conflicts: 184000 | #Constraints: 14285
370.50/371.94 c #Conflicts: 185000 | #Constraints: 15285
370.50/371.94 c #Conflicts: 186000 | #Constraints: 16285
370.50/371.94 c #Conflicts: 187000 | #Constraints: 17285
370.50/371.94 c #Conflicts: 188000 | #Constraints: 18285
370.50/371.94 c #Conflicts: 189000 | #Constraints: 19285
370.50/371.94 c INPROCESSING
370.50/371.94 c GARBAGE COLLECT
370.50/371.94 c #Conflicts: 190000 | #Constraints: 11690
370.50/371.94 c #Conflicts: 191000 | #Constraints: 12690
370.50/371.94 c #Conflicts: 192000 | #Constraints: 13690
370.50/371.94 c #Conflicts: 193000 | #Constraints: 14690
370.50/371.94 c #Conflicts: 194000 | #Constraints: 15690
370.50/371.94 c #Conflicts: 195000 | #Constraints: 16690
370.50/371.94 c #Conflicts: 196000 | #Constraints: 17690
370.50/371.94 c #Conflicts: 197000 | #Constraints: 18690
370.50/371.94 c #Conflicts: 198000 | #Constraints: 19690
370.50/371.94 c INPROCESSING
370.50/371.94 c GARBAGE COLLECT
370.50/371.94 c #Conflicts: 199000 | #Constraints: 11893
370.50/371.94 c #Conflicts: 200000 | #Constraints: 12893
370.50/371.94 c #Conflicts: 201000 | #Constraints: 13893
370.50/371.94 c #Conflicts: 202000 | #Constraints: 14893
370.50/371.94 c #Conflicts: 203000 | #Constraints: 15893
370.50/371.94 c #Conflicts: 204000 | #Constraints: 16893
370.50/371.94 c #Conflicts: 205000 | #Constraints: 17893
370.50/371.94 c #Conflicts: 206000 | #Constraints: 18893
370.50/371.94 c #Conflicts: 207000 | #Constraints: 19893
407.61/409.13 c INPROCESSING
407.61/409.13 c GARBAGE COLLECT
407.61/409.13 c #Conflicts: 208000 | #Constraints: 11893
407.61/409.13 c #Conflicts: 209000 | #Constraints: 12893
407.61/409.13 c #Conflicts: 210000 | #Constraints: 13893
407.61/409.13 c #Conflicts: 211000 | #Constraints: 14893
407.61/409.13 c #Conflicts: 212000 | #Constraints: 15893
407.61/409.13 c #Conflicts: 213000 | #Constraints: 16893
407.61/409.13 c #Conflicts: 214000 | #Constraints: 17893
407.61/409.13 c #Conflicts: 215000 | #Constraints: 18893
407.61/409.13 c #Conflicts: 216000 | #Constraints: 19893
407.61/409.13 c INPROCESSING
407.61/409.13 c GARBAGE COLLECT
407.61/409.13 c #Conflicts: 217000 | #Constraints: 11693
407.61/409.13 c #Conflicts: 218000 | #Constraints: 12693
407.61/409.13 c #Conflicts: 219000 | #Constraints: 13693
407.61/409.13 c #Conflicts: 220000 | #Constraints: 14693
407.61/409.13 c #Conflicts: 221000 | #Constraints: 15693
407.61/409.13 c #Conflicts: 222000 | #Constraints: 16693
407.61/409.13 c #Conflicts: 223000 | #Constraints: 17693
407.61/409.13 c #Conflicts: 224000 | #Constraints: 18693
407.61/409.13 c #Conflicts: 225000 | #Constraints: 19693
407.61/409.13 c #Conflicts: 226000 | #Constraints: 20693
407.61/409.13 c INPROCESSING
407.61/409.13 c GARBAGE COLLECT
407.61/409.13 c #Conflicts: 227000 | #Constraints: 12294
407.61/409.13 c #Conflicts: 228000 | #Constraints: 13294
407.61/409.13 c #Conflicts: 229000 | #Constraints: 14294
407.61/409.13 c #Conflicts: 230000 | #Constraints: 15294
407.61/409.13 c #Conflicts: 231000 | #Constraints: 16294
407.61/409.13 c #Conflicts: 232000 | #Constraints: 17294
407.61/409.13 c #Conflicts: 233000 | #Constraints: 18294
407.61/409.13 c #Conflicts: 234000 | #Constraints: 19294
407.61/409.13 c #Conflicts: 235000 | #Constraints: 20294
407.61/409.13 c #Conflicts: 236000 | #Constraints: 21294
407.61/409.13 c INPROCESSING
407.61/409.13 c GARBAGE COLLECT
407.61/409.13 c #Conflicts: 237000 | #Constraints: 12693
407.61/409.13 c #Conflicts: 238000 | #Constraints: 13693
407.61/409.13 c #Conflicts: 239000 | #Constraints: 14693
407.61/409.13 c #Conflicts: 240000 | #Constraints: 15693
407.61/409.13 c #Conflicts: 241000 | #Constraints: 16693
407.61/409.13 c #Conflicts: 242000 | #Constraints: 17693
407.61/409.13 c #Conflicts: 243000 | #Constraints: 18693
407.61/409.13 c #Conflicts: 244000 | #Constraints: 19693
407.61/409.13 c #Conflicts: 245000 | #Constraints: 20693
407.61/409.13 c #Conflicts: 246000 | #Constraints: 21693
407.61/409.13 c INPROCESSING
407.61/409.13 c GARBAGE COLLECT
407.61/409.13 c #Conflicts: 247000 | #Constraints: 12894
407.61/409.13 c #Conflicts: 248000 | #Constraints: 13894
407.61/409.13 c #Conflicts: 249000 | #Constraints: 14894
407.61/409.13 c #Conflicts: 250000 | #Constraints: 15894
407.61/409.13 c #Conflicts: 251000 | #Constraints: 16894
407.61/409.13 c #Conflicts: 252000 | #Constraints: 17894
407.61/409.13 c #Conflicts: 253000 | #Constraints: 18894
407.61/409.13 c #Conflicts: 254000 | #Constraints: 19894
407.61/409.13 c #Conflicts: 255000 | #Constraints: 20894
407.61/409.13 c #Conflicts: 256000 | #Constraints: 21894
407.61/409.13 c INPROCESSING
407.61/409.13 c GARBAGE COLLECT
407.61/409.13 c #Conflicts: 257000 | #Constraints: 12890
407.61/409.13 c #Conflicts: 258000 | #Constraints: 13890
407.61/409.13 c #Conflicts: 259000 | #Constraints: 14890
407.61/409.13 c #Conflicts: 260000 | #Constraints: 15890
407.61/409.13 c #Conflicts: 261000 | #Constraints: 16890
407.61/409.13 c #Conflicts: 262000 | #Constraints: 17890
407.61/409.13 c #Conflicts: 263000 | #Constraints: 18890
407.61/409.13 c #Conflicts: 264000 | #Constraints: 19890
407.61/409.13 c #Conflicts: 265000 | #Constraints: 20890
407.61/409.13 c #Conflicts: 266000 | #Constraints: 21890
407.61/409.13 c INPROCESSING
407.61/409.13 c GARBAGE COLLECT
407.61/409.13 c #Conflicts: 267000 | #Constraints: 12690
407.61/409.13 c #Conflicts: 268000 | #Constraints: 13690
407.61/409.13 c #Conflicts: 269000 | #Constraints: 14690
407.61/409.13 c #Conflicts: 270000 | #Constraints: 15690
407.61/409.13 c #Conflicts: 271000 | #Constraints: 16690
407.61/409.13 c #Conflicts: 272000 | #Constraints: 17690
407.61/409.13 c #Conflicts: 273000 | #Constraints: 18690
407.61/409.13 c #Conflicts: 274000 | #Constraints: 19690
407.61/409.13 c #Conflicts: 275000 | #Constraints: 20690
407.61/409.13 c #Conflicts: 276000 | #Constraints: 21690
407.61/409.13 c #Conflicts: 277000 | #Constraints: 22690
407.61/409.13 c INPROCESSING
407.61/409.13 c GARBAGE COLLECT
407.61/409.13 c #Conflicts: 278000 | #Constraints: 13288
407.61/409.13 c #Conflicts: 279000 | #Constraints: 14288
407.61/409.13 c #Conflicts: 280000 | #Constraints: 15288
452.66/454.34 c #Conflicts: 281000 | #Constraints: 16288
452.66/454.34 c #Conflicts: 282000 | #Constraints: 17288
452.66/454.34 c #Conflicts: 283000 | #Constraints: 18288
452.66/454.34 c #Conflicts: 284000 | #Constraints: 19288
452.66/454.34 c #Conflicts: 285000 | #Constraints: 20288
452.66/454.34 c #Conflicts: 286000 | #Constraints: 21288
452.66/454.34 c #Conflicts: 287000 | #Constraints: 22288
452.66/454.34 c #Conflicts: 288000 | #Constraints: 23288
452.66/454.34 c INPROCESSING
452.66/454.34 c GARBAGE COLLECT
452.66/454.34 c #Conflicts: 289000 | #Constraints: 13684
452.66/454.34 c #Conflicts: 290000 | #Constraints: 14684
452.66/454.34 c #Conflicts: 291000 | #Constraints: 15684
452.66/454.34 c #Conflicts: 292000 | #Constraints: 16684
452.66/454.34 c #Conflicts: 293000 | #Constraints: 17684
452.66/454.34 c #Conflicts: 294000 | #Constraints: 18684
452.66/454.34 c #Conflicts: 295000 | #Constraints: 19684
452.66/454.34 c #Conflicts: 296000 | #Constraints: 20684
452.66/454.34 c #Conflicts: 297000 | #Constraints: 21684
452.66/454.34 c #Conflicts: 298000 | #Constraints: 22684
452.66/454.34 c #Conflicts: 299000 | #Constraints: 23684
452.66/454.34 c INPROCESSING
452.66/454.34 c GARBAGE COLLECT
452.66/454.34 c #Conflicts: 300000 | #Constraints: 13887
452.66/454.34 c #Conflicts: 301000 | #Constraints: 14887
452.66/454.34 c #Conflicts: 302000 | #Constraints: 15887
452.66/454.34 c #Conflicts: 303000 | #Constraints: 16887
452.66/454.34 c #Conflicts: 304000 | #Constraints: 17887
452.66/454.34 c #Conflicts: 305000 | #Constraints: 18887
452.66/454.34 c #Conflicts: 306000 | #Constraints: 19887
452.66/454.34 c #Conflicts: 307000 | #Constraints: 20887
452.66/454.34 c #Conflicts: 308000 | #Constraints: 21887
452.66/454.34 c #Conflicts: 309000 | #Constraints: 22887
452.66/454.34 c #Conflicts: 310000 | #Constraints: 23887
452.66/454.34 c INPROCESSING
452.66/454.34 c GARBAGE COLLECT
452.66/454.34 c #Conflicts: 311000 | #Constraints: 13885
452.66/454.34 c #Conflicts: 312000 | #Constraints: 14885
452.66/454.34 c #Conflicts: 313000 | #Constraints: 15885
452.66/454.34 c #Conflicts: 314000 | #Constraints: 16885
452.66/454.34 c #Conflicts: 315000 | #Constraints: 17885
452.66/454.34 c #Conflicts: 316000 | #Constraints: 18885
452.66/454.34 c #Conflicts: 317000 | #Constraints: 19885
452.66/454.34 c #Conflicts: 318000 | #Constraints: 20885
452.66/454.34 c #Conflicts: 319000 | #Constraints: 21885
452.66/454.34 c #Conflicts: 320000 | #Constraints: 22885
452.66/454.34 c #Conflicts: 321000 | #Constraints: 23885
452.66/454.34 c INPROCESSING
452.66/454.34 c GARBAGE COLLECT
452.66/454.34 c #Conflicts: 322000 | #Constraints: 13691
452.66/454.34 c #Conflicts: 323000 | #Constraints: 14691
452.66/454.34 c #Conflicts: 324000 | #Constraints: 15691
452.66/454.34 c #Conflicts: 325000 | #Constraints: 16691
452.66/454.34 c #Conflicts: 326000 | #Constraints: 17691
452.66/454.34 c #Conflicts: 327000 | #Constraints: 18691
452.66/454.34 c #Conflicts: 328000 | #Constraints: 19691
452.66/454.34 c #Conflicts: 329000 | #Constraints: 20691
452.66/454.34 c #Conflicts: 330000 | #Constraints: 21691
452.66/454.34 c #Conflicts: 331000 | #Constraints: 22691
452.66/454.34 c #Conflicts: 332000 | #Constraints: 23691
452.66/454.34 c #Conflicts: 333000 | #Constraints: 24691
452.66/454.34 c INPROCESSING
452.66/454.34 c GARBAGE COLLECT
452.66/454.34 c #Conflicts: 334000 | #Constraints: 14294
452.66/454.34 c #Conflicts: 335000 | #Constraints: 15294
452.66/454.34 c #Conflicts: 336000 | #Constraints: 16294
452.66/454.34 c #Conflicts: 337000 | #Constraints: 17294
452.66/454.34 c #Conflicts: 338000 | #Constraints: 18294
452.66/454.34 c #Conflicts: 339000 | #Constraints: 19294
452.66/454.34 c #Conflicts: 340000 | #Constraints: 20294
452.66/454.34 c #Conflicts: 341000 | #Constraints: 21294
452.66/454.34 c #Conflicts: 342000 | #Constraints: 22294
452.66/454.34 c #Conflicts: 343000 | #Constraints: 23294
452.66/454.34 c #Conflicts: 344000 | #Constraints: 24294
452.66/454.34 c #Conflicts: 345000 | #Constraints: 25294
452.66/454.34 c INPROCESSING
452.66/454.34 c GARBAGE COLLECT
452.66/454.34 c #Conflicts: 346000 | #Constraints: 14689
452.66/454.34 c #Conflicts: 347000 | #Constraints: 15689
452.66/454.34 c #Conflicts: 348000 | #Constraints: 16689
452.66/454.34 c #Conflicts: 349000 | #Constraints: 17689
452.66/454.34 c #Conflicts: 350000 | #Constraints: 18689
452.66/454.34 c #Conflicts: 351000 | #Constraints: 19689
452.66/454.34 c #Conflicts: 352000 | #Constraints: 20689
452.66/454.34 c #Conflicts: 353000 | #Constraints: 21689
452.66/454.34 c #Conflicts: 354000 | #Constraints: 22689
452.66/454.34 c #Conflicts: 355000 | #Constraints: 23689
502.71/504.50 c #Conflicts: 356000 | #Constraints: 24689
502.71/504.50 c #Conflicts: 357000 | #Constraints: 25689
502.71/504.50 c INPROCESSING
502.71/504.50 c GARBAGE COLLECT
502.71/504.50 c #Conflicts: 358000 | #Constraints: 14889
502.71/504.50 c #Conflicts: 359000 | #Constraints: 15889
502.71/504.50 c #Conflicts: 360000 | #Constraints: 16889
502.71/504.50 c #Conflicts: 361000 | #Constraints: 17889
502.71/504.50 c #Conflicts: 362000 | #Constraints: 18889
502.71/504.50 c #Conflicts: 363000 | #Constraints: 19889
502.71/504.50 c #Conflicts: 364000 | #Constraints: 20889
502.71/504.50 c #Conflicts: 365000 | #Constraints: 21889
502.71/504.50 c #Conflicts: 366000 | #Constraints: 22889
502.71/504.50 c #Conflicts: 367000 | #Constraints: 23889
502.71/504.50 c #Conflicts: 368000 | #Constraints: 24889
502.71/504.50 c #Conflicts: 369000 | #Constraints: 25889
502.71/504.50 c INPROCESSING
502.71/504.50 c GARBAGE COLLECT
502.71/504.50 c #Conflicts: 370000 | #Constraints: 14888
502.71/504.50 c #Conflicts: 371000 | #Constraints: 15888
502.71/504.50 c #Conflicts: 372000 | #Constraints: 16888
502.71/504.50 c #Conflicts: 373000 | #Constraints: 17888
502.71/504.50 c #Conflicts: 374000 | #Constraints: 18888
502.71/504.50 c #Conflicts: 375000 | #Constraints: 19888
502.71/504.50 c #Conflicts: 376000 | #Constraints: 20888
502.71/504.50 c #Conflicts: 377000 | #Constraints: 21888
502.71/504.50 c #Conflicts: 378000 | #Constraints: 22888
502.71/504.50 c #Conflicts: 379000 | #Constraints: 23888
502.71/504.50 c #Conflicts: 380000 | #Constraints: 24888
502.71/504.50 c #Conflicts: 381000 | #Constraints: 25888
502.71/504.50 c INPROCESSING
502.71/504.50 c GARBAGE COLLECT
502.71/504.50 c #Conflicts: 382000 | #Constraints: 14690
502.71/504.50 c #Conflicts: 383000 | #Constraints: 15690
502.71/504.50 c #Conflicts: 384000 | #Constraints: 16690
502.71/504.50 c #Conflicts: 385000 | #Constraints: 17690
502.71/504.50 c #Conflicts: 386000 | #Constraints: 18690
502.71/504.50 c #Conflicts: 387000 | #Constraints: 19690
502.71/504.50 c #Conflicts: 388000 | #Constraints: 20690
502.71/504.50 c #Conflicts: 389000 | #Constraints: 21690
502.71/504.50 c #Conflicts: 390000 | #Constraints: 22690
502.71/504.50 c #Conflicts: 391000 | #Constraints: 23690
502.71/504.50 c #Conflicts: 392000 | #Constraints: 24690
502.71/504.50 c #Conflicts: 393000 | #Constraints: 25690
502.71/504.50 c #Conflicts: 394000 | #Constraints: 26690
502.71/504.50 c INPROCESSING
502.71/504.50 c GARBAGE COLLECT
502.71/504.50 c #Conflicts: 395000 | #Constraints: 15288
502.71/504.50 c #Conflicts: 396000 | #Constraints: 16288
502.71/504.50 c #Conflicts: 397000 | #Constraints: 17288
502.71/504.50 c #Conflicts: 398000 | #Constraints: 18288
502.71/504.50 c #Conflicts: 399000 | #Constraints: 19288
502.71/504.50 c #Conflicts: 400000 | #Constraints: 20288
502.71/504.50 c #Conflicts: 401000 | #Constraints: 21288
502.71/504.50 c #Conflicts: 402000 | #Constraints: 22288
502.71/504.50 c #Conflicts: 403000 | #Constraints: 23288
502.71/504.50 c #Conflicts: 404000 | #Constraints: 24288
502.71/504.50 c #Conflicts: 405000 | #Constraints: 25288
502.71/504.50 c #Conflicts: 406000 | #Constraints: 26288
502.71/504.50 c #Conflicts: 407000 | #Constraints: 27288
502.71/504.50 c INPROCESSING
502.71/504.50 c GARBAGE COLLECT
502.71/504.50 c #Conflicts: 408000 | #Constraints: 15685
502.71/504.50 c #Conflicts: 409000 | #Constraints: 16685
502.71/504.50 c #Conflicts: 410000 | #Constraints: 17685
502.71/504.50 c #Conflicts: 411000 | #Constraints: 18685
502.71/504.50 c #Conflicts: 412000 | #Constraints: 19685
502.71/504.50 c #Conflicts: 413000 | #Constraints: 20685
502.71/504.50 c #Conflicts: 414000 | #Constraints: 21685
502.71/504.50 c #Conflicts: 415000 | #Constraints: 22685
502.71/504.50 c #Conflicts: 416000 | #Constraints: 23685
502.71/504.50 c #Conflicts: 417000 | #Constraints: 24685
502.71/504.50 c #Conflicts: 418000 | #Constraints: 25685
502.71/504.50 c #Conflicts: 419000 | #Constraints: 26685
502.71/504.50 c #Conflicts: 420000 | #Constraints: 27685
502.71/504.50 c INPROCESSING
502.71/504.50 c GARBAGE COLLECT
502.71/504.50 c #Conflicts: 421000 | #Constraints: 15888
502.71/504.50 c #Conflicts: 422000 | #Constraints: 16888
502.71/504.50 c #Conflicts: 423000 | #Constraints: 17888
502.71/504.50 c #Conflicts: 424000 | #Constraints: 18888
502.71/504.50 c #Conflicts: 425000 | #Constraints: 19888
502.71/504.50 c #Conflicts: 426000 | #Constraints: 20888
502.71/504.50 c #Conflicts: 427000 | #Constraints: 21888
502.71/504.50 c #Conflicts: 428000 | #Constraints: 22888
502.71/504.50 c #Conflicts: 429000 | #Constraints: 23888
502.71/504.50 c #Conflicts: 430000 | #Constraints: 24888
553.46/555.48 c #Conflicts: 431000 | #Constraints: 25888
553.46/555.48 c #Conflicts: 432000 | #Constraints: 26888
553.46/555.48 c #Conflicts: 433000 | #Constraints: 27888
553.46/555.48 c INPROCESSING
553.46/555.48 c GARBAGE COLLECT
553.46/555.48 c #Conflicts: 434000 | #Constraints: 15891
553.46/555.48 c #Conflicts: 435000 | #Constraints: 16891
553.46/555.48 c #Conflicts: 436000 | #Constraints: 17891
553.46/555.48 c #Conflicts: 437000 | #Constraints: 18891
553.46/555.48 c #Conflicts: 438000 | #Constraints: 19891
553.46/555.48 c #Conflicts: 439000 | #Constraints: 20891
553.46/555.48 c #Conflicts: 440000 | #Constraints: 21891
553.46/555.48 c #Conflicts: 441000 | #Constraints: 22891
553.46/555.48 c #Conflicts: 442000 | #Constraints: 23891
553.46/555.48 c #Conflicts: 443000 | #Constraints: 24891
553.46/555.48 c #Conflicts: 444000 | #Constraints: 25891
553.46/555.48 c #Conflicts: 445000 | #Constraints: 26891
553.46/555.48 c #Conflicts: 446000 | #Constraints: 27891
553.46/555.48 c INPROCESSING
553.46/555.48 c GARBAGE COLLECT
553.46/555.48 c #Conflicts: 447000 | #Constraints: 15692
553.46/555.48 c #Conflicts: 448000 | #Constraints: 16692
553.46/555.48 c #Conflicts: 449000 | #Constraints: 17692
553.46/555.48 c #Conflicts: 450000 | #Constraints: 18692
553.46/555.48 c #Conflicts: 451000 | #Constraints: 19692
553.46/555.48 c #Conflicts: 452000 | #Constraints: 20692
553.46/555.48 c #Conflicts: 453000 | #Constraints: 21692
553.46/555.48 c #Conflicts: 454000 | #Constraints: 22692
553.46/555.48 c #Conflicts: 455000 | #Constraints: 23692
553.46/555.48 c #Conflicts: 456000 | #Constraints: 24692
553.46/555.48 c #Conflicts: 457000 | #Constraints: 25692
553.46/555.48 c #Conflicts: 458000 | #Constraints: 26692
553.46/555.48 c #Conflicts: 459000 | #Constraints: 27692
553.46/555.48 c #Conflicts: 460000 | #Constraints: 28692
553.46/555.48 c INPROCESSING
553.46/555.48 c GARBAGE COLLECT
553.46/555.48 c #Conflicts: 461000 | #Constraints: 16293
553.46/555.48 c #Conflicts: 462000 | #Constraints: 17293
553.46/555.48 c #Conflicts: 463000 | #Constraints: 18293
553.46/555.48 c #Conflicts: 464000 | #Constraints: 19293
553.46/555.48 c #Conflicts: 465000 | #Constraints: 20293
553.46/555.48 c #Conflicts: 466000 | #Constraints: 21293
553.46/555.48 c #Conflicts: 467000 | #Constraints: 22293
553.46/555.48 c #Conflicts: 468000 | #Constraints: 23293
553.46/555.48 c #Conflicts: 469000 | #Constraints: 24293
553.46/555.48 c #Conflicts: 470000 | #Constraints: 25293
553.46/555.48 c #Conflicts: 471000 | #Constraints: 26293
553.46/555.48 c #Conflicts: 472000 | #Constraints: 27293
553.46/555.48 c #Conflicts: 473000 | #Constraints: 28293
553.46/555.48 c #Conflicts: 474000 | #Constraints: 29293
553.46/555.48 c INPROCESSING
553.46/555.48 c GARBAGE COLLECT
553.46/555.48 c #Conflicts: 475000 | #Constraints: 16691
553.46/555.48 c #Conflicts: 476000 | #Constraints: 17691
553.46/555.48 c #Conflicts: 477000 | #Constraints: 18691
553.46/555.48 c #Conflicts: 478000 | #Constraints: 19691
553.46/555.48 c #Conflicts: 479000 | #Constraints: 20691
553.46/555.48 c #Conflicts: 480000 | #Constraints: 21691
553.46/555.48 c #Conflicts: 481000 | #Constraints: 22691
553.46/555.48 c #Conflicts: 482000 | #Constraints: 23691
553.46/555.48 c #Conflicts: 483000 | #Constraints: 24691
553.46/555.48 c #Conflicts: 484000 | #Constraints: 25691
553.46/555.48 c #Conflicts: 485000 | #Constraints: 26691
553.46/555.48 c #Conflicts: 486000 | #Constraints: 27691
553.46/555.48 c #Conflicts: 487000 | #Constraints: 28691
553.46/555.48 c #Conflicts: 488000 | #Constraints: 29691
553.46/555.48 c INPROCESSING
553.46/555.48 c GARBAGE COLLECT
553.46/555.48 c #Conflicts: 489000 | #Constraints: 16895
553.46/555.48 c #Conflicts: 490000 | #Constraints: 17895
553.46/555.48 c #Conflicts: 491000 | #Constraints: 18895
553.46/555.48 c #Conflicts: 492000 | #Constraints: 19895
553.46/555.48 c #Conflicts: 493000 | #Constraints: 20895
553.46/555.48 c #Conflicts: 494000 | #Constraints: 21895
553.46/555.48 c #Conflicts: 495000 | #Constraints: 22895
553.46/555.48 c #Conflicts: 496000 | #Constraints: 23895
553.46/555.48 c #Conflicts: 497000 | #Constraints: 24895
553.46/555.48 c #Conflicts: 498000 | #Constraints: 25895
553.46/555.48 c #Conflicts: 499000 | #Constraints: 26895
553.46/555.48 c #Conflicts: 500000 | #Constraints: 27895
553.46/555.48 c #Conflicts: 501000 | #Constraints: 28895
553.46/555.48 c #Conflicts: 502000 | #Constraints: 29895
553.46/555.48 c INPROCESSING
553.46/555.48 c GARBAGE COLLECT
553.46/555.48 c #Conflicts: 503000 | #Constraints: 16893
553.46/555.48 c #Conflicts: 504000 | #Constraints: 17893
553.46/555.48 c #Conflicts: 505000 | #Constraints: 18893
613.38/615.59 c #Conflicts: 506000 | #Constraints: 19893
613.38/615.59 c #Conflicts: 507000 | #Constraints: 20893
613.38/615.59 c #Conflicts: 508000 | #Constraints: 21893
613.38/615.59 c #Conflicts: 509000 | #Constraints: 22893
613.38/615.59 c #Conflicts: 510000 | #Constraints: 23893
613.38/615.59 c #Conflicts: 511000 | #Constraints: 24893
613.38/615.59 c #Conflicts: 512000 | #Constraints: 25893
613.38/615.59 c #Conflicts: 513000 | #Constraints: 26893
613.38/615.59 c #Conflicts: 514000 | #Constraints: 27893
613.38/615.59 c #Conflicts: 515000 | #Constraints: 28893
613.38/615.59 c #Conflicts: 516000 | #Constraints: 29893
613.38/615.59 c INPROCESSING
613.38/615.59 c GARBAGE COLLECT
613.38/615.59 c #Conflicts: 517000 | #Constraints: 16688
613.38/615.59 c #Conflicts: 518000 | #Constraints: 17688
613.38/615.59 c #Conflicts: 519000 | #Constraints: 18688
613.38/615.59 c #Conflicts: 520000 | #Constraints: 19688
613.38/615.59 c #Conflicts: 521000 | #Constraints: 20688
613.38/615.59 c #Conflicts: 522000 | #Constraints: 21688
613.38/615.59 c #Conflicts: 523000 | #Constraints: 22688
613.38/615.59 c #Conflicts: 524000 | #Constraints: 23688
613.38/615.59 c #Conflicts: 525000 | #Constraints: 24688
613.38/615.59 c #Conflicts: 526000 | #Constraints: 25688
613.38/615.59 c #Conflicts: 527000 | #Constraints: 26688
613.38/615.59 c #Conflicts: 528000 | #Constraints: 27688
613.38/615.59 c #Conflicts: 529000 | #Constraints: 28688
613.38/615.59 c #Conflicts: 530000 | #Constraints: 29688
613.38/615.59 c #Conflicts: 531000 | #Constraints: 30688
613.38/615.59 c INPROCESSING
613.38/615.59 c GARBAGE COLLECT
613.38/615.59 c #Conflicts: 532000 | #Constraints: 17288
613.38/615.59 c #Conflicts: 533000 | #Constraints: 18288
613.38/615.59 c #Conflicts: 534000 | #Constraints: 19288
613.38/615.59 c #Conflicts: 535000 | #Constraints: 20288
613.38/615.59 c #Conflicts: 536000 | #Constraints: 21288
613.38/615.59 c #Conflicts: 537000 | #Constraints: 22288
613.38/615.59 c #Conflicts: 538000 | #Constraints: 23288
613.38/615.59 c #Conflicts: 539000 | #Constraints: 24288
613.38/615.59 c #Conflicts: 540000 | #Constraints: 25288
613.38/615.59 c #Conflicts: 541000 | #Constraints: 26288
613.38/615.59 c #Conflicts: 542000 | #Constraints: 27288
613.38/615.59 c #Conflicts: 543000 | #Constraints: 28288
613.38/615.59 c #Conflicts: 544000 | #Constraints: 29288
613.38/615.59 c #Conflicts: 545000 | #Constraints: 30288
613.38/615.59 c #Conflicts: 546000 | #Constraints: 31288
613.38/615.59 c INPROCESSING
613.38/615.59 c GARBAGE COLLECT
613.38/615.59 c #Conflicts: 547000 | #Constraints: 17684
613.38/615.59 c #Conflicts: 548000 | #Constraints: 18684
613.38/615.59 c #Conflicts: 549000 | #Constraints: 19684
613.38/615.59 c #Conflicts: 550000 | #Constraints: 20684
613.38/615.59 c #Conflicts: 551000 | #Constraints: 21684
613.38/615.59 c #Conflicts: 552000 | #Constraints: 22684
613.38/615.59 c #Conflicts: 553000 | #Constraints: 23684
613.38/615.59 c #Conflicts: 554000 | #Constraints: 24684
613.38/615.59 c #Conflicts: 555000 | #Constraints: 25684
613.38/615.59 c #Conflicts: 556000 | #Constraints: 26684
613.38/615.59 c #Conflicts: 557000 | #Constraints: 27684
613.38/615.59 c #Conflicts: 558000 | #Constraints: 28684
613.38/615.59 c #Conflicts: 559000 | #Constraints: 29684
613.38/615.59 c #Conflicts: 560000 | #Constraints: 30684
613.38/615.59 c #Conflicts: 561000 | #Constraints: 31684
613.38/615.59 c INPROCESSING
613.38/615.59 c GARBAGE COLLECT
613.38/615.59 c #Conflicts: 562000 | #Constraints: 17886
613.38/615.59 c #Conflicts: 563000 | #Constraints: 18886
613.38/615.59 c #Conflicts: 564000 | #Constraints: 19886
613.38/615.59 c #Conflicts: 565000 | #Constraints: 20886
613.38/615.59 c #Conflicts: 566000 | #Constraints: 21886
613.38/615.59 c #Conflicts: 567000 | #Constraints: 22886
613.38/615.59 c #Conflicts: 568000 | #Constraints: 23886
613.38/615.59 c #Conflicts: 569000 | #Constraints: 24886
613.38/615.59 c #Conflicts: 570000 | #Constraints: 25886
613.38/615.59 c #Conflicts: 571000 | #Constraints: 26886
613.38/615.59 c #Conflicts: 572000 | #Constraints: 27886
613.38/615.59 c #Conflicts: 573000 | #Constraints: 28886
613.38/615.59 c #Conflicts: 574000 | #Constraints: 29886
613.38/615.59 c #Conflicts: 575000 | #Constraints: 30886
613.38/615.59 c #Conflicts: 576000 | #Constraints: 31886
613.38/615.59 c INPROCESSING
613.38/615.59 c GARBAGE COLLECT
613.38/615.59 c #Conflicts: 577000 | #Constraints: 17887
613.38/615.59 c #Conflicts: 578000 | #Constraints: 18887
613.38/615.59 c #Conflicts: 579000 | #Constraints: 19887
613.38/615.59 c #Conflicts: 580000 | #Constraints: 20887
613.38/615.59 c #Conflicts: 581000 | #Constraints: 21887
677.49/679.89 c #Conflicts: 582000 | #Constraints: 22887
677.49/679.89 c #Conflicts: 583000 | #Constraints: 23887
677.49/679.89 c #Conflicts: 584000 | #Constraints: 24887
677.49/679.89 c #Conflicts: 585000 | #Constraints: 25887
677.49/679.89 c #Conflicts: 586000 | #Constraints: 26887
677.49/679.89 c #Conflicts: 587000 | #Constraints: 27887
677.49/679.89 c #Conflicts: 588000 | #Constraints: 28887
677.49/679.89 c #Conflicts: 589000 | #Constraints: 29887
677.49/679.89 c #Conflicts: 590000 | #Constraints: 30887
677.49/679.89 c #Conflicts: 591000 | #Constraints: 31887
677.49/679.89 c INPROCESSING
677.49/679.89 c GARBAGE COLLECT
677.49/679.89 c #Conflicts: 592000 | #Constraints: 17690
677.49/679.89 c #Conflicts: 593000 | #Constraints: 18690
677.49/679.89 c #Conflicts: 594000 | #Constraints: 19690
677.49/679.89 c #Conflicts: 595000 | #Constraints: 20690
677.49/679.89 c #Conflicts: 596000 | #Constraints: 21690
677.49/679.89 c #Conflicts: 597000 | #Constraints: 22690
677.49/679.89 c #Conflicts: 598000 | #Constraints: 23690
677.49/679.89 c #Conflicts: 599000 | #Constraints: 24690
677.49/679.89 c #Conflicts: 600000 | #Constraints: 25690
677.49/679.89 c #Conflicts: 601000 | #Constraints: 26690
677.49/679.89 c #Conflicts: 602000 | #Constraints: 27690
677.49/679.89 c #Conflicts: 603000 | #Constraints: 28690
677.49/679.89 c #Conflicts: 604000 | #Constraints: 29690
677.49/679.89 c #Conflicts: 605000 | #Constraints: 30690
677.49/679.89 c #Conflicts: 606000 | #Constraints: 31690
677.49/679.89 c #Conflicts: 607000 | #Constraints: 32690
677.49/679.89 c INPROCESSING
677.49/679.89 c GARBAGE COLLECT
677.49/679.89 c #Conflicts: 608000 | #Constraints: 18292
677.49/679.89 c #Conflicts: 609000 | #Constraints: 19292
677.49/679.89 c #Conflicts: 610000 | #Constraints: 20292
677.49/679.89 c #Conflicts: 611000 | #Constraints: 21292
677.49/679.89 c #Conflicts: 612000 | #Constraints: 22292
677.49/679.89 c #Conflicts: 613000 | #Constraints: 23292
677.49/679.89 c #Conflicts: 614000 | #Constraints: 24292
677.49/679.89 c #Conflicts: 615000 | #Constraints: 25292
677.49/679.89 c #Conflicts: 616000 | #Constraints: 26292
677.49/679.89 c #Conflicts: 617000 | #Constraints: 27292
677.49/679.89 c #Conflicts: 618000 | #Constraints: 28292
677.49/679.89 c #Conflicts: 619000 | #Constraints: 29292
677.49/679.89 c #Conflicts: 620000 | #Constraints: 30292
677.49/679.89 c #Conflicts: 621000 | #Constraints: 31292
677.49/679.89 c #Conflicts: 622000 | #Constraints: 32292
677.49/679.89 c #Conflicts: 623000 | #Constraints: 33292
677.49/679.89 c INPROCESSING
677.49/679.89 c GARBAGE COLLECT
677.49/679.89 c #Conflicts: 624000 | #Constraints: 18690
677.49/679.89 c #Conflicts: 625000 | #Constraints: 19690
677.49/679.89 c #Conflicts: 626000 | #Constraints: 20690
677.49/679.89 c #Conflicts: 627000 | #Constraints: 21690
677.49/679.89 c #Conflicts: 628000 | #Constraints: 22690
677.49/679.89 c #Conflicts: 629000 | #Constraints: 23690
677.49/679.89 c #Conflicts: 630000 | #Constraints: 24690
677.49/679.89 c #Conflicts: 631000 | #Constraints: 25690
677.49/679.89 c #Conflicts: 632000 | #Constraints: 26690
677.49/679.89 c #Conflicts: 633000 | #Constraints: 27690
677.49/679.89 c #Conflicts: 634000 | #Constraints: 28690
677.49/679.89 c #Conflicts: 635000 | #Constraints: 29690
677.49/679.89 c #Conflicts: 636000 | #Constraints: 30690
677.49/679.89 c #Conflicts: 637000 | #Constraints: 31690
677.49/679.89 c #Conflicts: 638000 | #Constraints: 32690
677.49/679.89 c #Conflicts: 639000 | #Constraints: 33690
677.49/679.89 c INPROCESSING
677.49/679.89 c GARBAGE COLLECT
677.49/679.89 c #Conflicts: 640000 | #Constraints: 18889
677.49/679.89 c #Conflicts: 641000 | #Constraints: 19889
677.49/679.89 c #Conflicts: 642000 | #Constraints: 20889
677.49/679.89 c #Conflicts: 643000 | #Constraints: 21889
677.49/679.89 c #Conflicts: 644000 | #Constraints: 22889
677.49/679.89 c #Conflicts: 645000 | #Constraints: 23889
677.49/679.89 c #Conflicts: 646000 | #Constraints: 24889
677.49/679.89 c #Conflicts: 647000 | #Constraints: 25889
677.49/679.89 c #Conflicts: 648000 | #Constraints: 26889
677.49/679.89 c #Conflicts: 649000 | #Constraints: 27889
677.49/679.89 c #Conflicts: 650000 | #Constraints: 28889
677.49/679.89 c #Conflicts: 651000 | #Constraints: 29889
677.49/679.89 c #Conflicts: 652000 | #Constraints: 30889
677.49/679.89 c #Conflicts: 653000 | #Constraints: 31889
677.49/679.89 c #Conflicts: 654000 | #Constraints: 32889
677.49/679.89 c #Conflicts: 655000 | #Constraints: 33889
677.49/679.89 c INPROCESSING
677.49/679.89 c GARBAGE COLLECT
677.49/679.89 c #Conflicts: 656000 | #Constraints: 18890
744.68/747.25 c #Conflicts: 657000 | #Constraints: 19890
744.68/747.25 c #Conflicts: 658000 | #Constraints: 20890
744.68/747.25 c #Conflicts: 659000 | #Constraints: 21890
744.68/747.25 c #Conflicts: 660000 | #Constraints: 22890
744.68/747.25 c #Conflicts: 661000 | #Constraints: 23890
744.68/747.25 c #Conflicts: 662000 | #Constraints: 24890
744.68/747.25 c #Conflicts: 663000 | #Constraints: 25890
744.68/747.25 c #Conflicts: 664000 | #Constraints: 26890
744.68/747.25 c #Conflicts: 665000 | #Constraints: 27890
744.68/747.25 c #Conflicts: 666000 | #Constraints: 28890
744.68/747.25 c #Conflicts: 667000 | #Constraints: 29890
744.68/747.25 c #Conflicts: 668000 | #Constraints: 30890
744.68/747.25 c #Conflicts: 669000 | #Constraints: 31890
744.68/747.25 c #Conflicts: 670000 | #Constraints: 32890
744.68/747.25 c #Conflicts: 671000 | #Constraints: 33890
744.68/747.25 c INPROCESSING
744.68/747.25 c GARBAGE COLLECT
744.68/747.25 c #Conflicts: 672000 | #Constraints: 18689
744.68/747.25 c #Conflicts: 673000 | #Constraints: 19689
744.68/747.25 c #Conflicts: 674000 | #Constraints: 20689
744.68/747.25 c #Conflicts: 675000 | #Constraints: 21689
744.68/747.25 c #Conflicts: 676000 | #Constraints: 22689
744.68/747.25 c #Conflicts: 677000 | #Constraints: 23689
744.68/747.25 c #Conflicts: 678000 | #Constraints: 24689
744.68/747.25 c #Conflicts: 679000 | #Constraints: 25689
744.68/747.25 c #Conflicts: 680000 | #Constraints: 26689
744.68/747.25 c #Conflicts: 681000 | #Constraints: 27689
744.68/747.25 c #Conflicts: 682000 | #Constraints: 28689
744.68/747.25 c #Conflicts: 683000 | #Constraints: 29689
744.68/747.25 c #Conflicts: 684000 | #Constraints: 30689
744.68/747.25 c #Conflicts: 685000 | #Constraints: 31689
744.68/747.25 c #Conflicts: 686000 | #Constraints: 32689
744.68/747.25 c #Conflicts: 687000 | #Constraints: 33689
744.68/747.25 c #Conflicts: 688000 | #Constraints: 34689
744.68/747.25 c INPROCESSING
744.68/747.25 c GARBAGE COLLECT
744.68/747.25 c #Conflicts: 689000 | #Constraints: 19286
744.68/747.25 c #Conflicts: 690000 | #Constraints: 20286
744.68/747.25 c #Conflicts: 691000 | #Constraints: 21286
744.68/747.25 c #Conflicts: 692000 | #Constraints: 22286
744.68/747.25 c #Conflicts: 693000 | #Constraints: 23286
744.68/747.25 c #Conflicts: 694000 | #Constraints: 24286
744.68/747.25 c #Conflicts: 695000 | #Constraints: 25286
744.68/747.25 c #Conflicts: 696000 | #Constraints: 26286
744.68/747.25 c #Conflicts: 697000 | #Constraints: 27286
744.68/747.25 c #Conflicts: 698000 | #Constraints: 28286
744.68/747.25 c #Conflicts: 699000 | #Constraints: 29286
744.68/747.25 c #Conflicts: 700000 | #Constraints: 30286
744.68/747.25 c #Conflicts: 701000 | #Constraints: 31286
744.68/747.25 c #Conflicts: 702000 | #Constraints: 32286
744.68/747.25 c #Conflicts: 703000 | #Constraints: 33286
744.68/747.25 c #Conflicts: 704000 | #Constraints: 34286
744.68/747.25 c #Conflicts: 705000 | #Constraints: 35286
744.68/747.25 c INPROCESSING
744.68/747.25 c GARBAGE COLLECT
744.68/747.25 c #Conflicts: 706000 | #Constraints: 19693
744.68/747.25 c #Conflicts: 707000 | #Constraints: 20693
744.68/747.25 c #Conflicts: 708000 | #Constraints: 21693
744.68/747.25 c #Conflicts: 709000 | #Constraints: 22693
744.68/747.25 c #Conflicts: 710000 | #Constraints: 23693
744.68/747.25 c #Conflicts: 711000 | #Constraints: 24693
744.68/747.25 c #Conflicts: 712000 | #Constraints: 25693
744.68/747.25 c #Conflicts: 713000 | #Constraints: 26693
744.68/747.25 c #Conflicts: 714000 | #Constraints: 27693
744.68/747.25 c #Conflicts: 715000 | #Constraints: 28693
744.68/747.25 c #Conflicts: 716000 | #Constraints: 29693
744.68/747.25 c #Conflicts: 717000 | #Constraints: 30693
744.68/747.25 c #Conflicts: 718000 | #Constraints: 31693
744.68/747.25 c #Conflicts: 719000 | #Constraints: 32693
744.68/747.25 c #Conflicts: 720000 | #Constraints: 33693
744.68/747.25 c #Conflicts: 721000 | #Constraints: 34693
744.68/747.25 c #Conflicts: 722000 | #Constraints: 35693
744.68/747.25 c INPROCESSING
744.68/747.25 c GARBAGE COLLECT
744.68/747.25 c #Conflicts: 723000 | #Constraints: 19892
744.68/747.25 c #Conflicts: 724000 | #Constraints: 20892
744.68/747.25 c #Conflicts: 725000 | #Constraints: 21892
744.68/747.25 c #Conflicts: 726000 | #Constraints: 22892
744.68/747.25 c #Conflicts: 727000 | #Constraints: 23892
744.68/747.25 c #Conflicts: 728000 | #Constraints: 24892
744.68/747.25 c #Conflicts: 729000 | #Constraints: 25892
744.68/747.25 c #Conflicts: 730000 | #Constraints: 26892
744.68/747.25 c #Conflicts: 731000 | #Constraints: 27892
744.68/747.25 c #Conflicts: 732000 | #Constraints: 28892
744.68/747.25 c #Conflicts: 733000 | #Constraints: 29892
818.66/821.40 c #Conflicts: 734000 | #Constraints: 30892
818.66/821.40 c #Conflicts: 735000 | #Constraints: 31892
818.66/821.40 c #Conflicts: 736000 | #Constraints: 32892
818.66/821.40 c #Conflicts: 737000 | #Constraints: 33892
818.66/821.40 c #Conflicts: 738000 | #Constraints: 34892
818.66/821.40 c #Conflicts: 739000 | #Constraints: 35892
818.66/821.40 c INPROCESSING
818.66/821.40 c GARBAGE COLLECT
818.66/821.40 c #Conflicts: 740000 | #Constraints: 19891
818.66/821.40 c #Conflicts: 741000 | #Constraints: 20891
818.66/821.40 c #Conflicts: 742000 | #Constraints: 21891
818.66/821.40 c #Conflicts: 743000 | #Constraints: 22891
818.66/821.40 c #Conflicts: 744000 | #Constraints: 23891
818.66/821.40 c #Conflicts: 745000 | #Constraints: 24891
818.66/821.40 c #Conflicts: 746000 | #Constraints: 25891
818.66/821.40 c #Conflicts: 747000 | #Constraints: 26891
818.66/821.40 c #Conflicts: 748000 | #Constraints: 27891
818.66/821.40 c #Conflicts: 749000 | #Constraints: 28891
818.66/821.40 c #Conflicts: 750000 | #Constraints: 29891
818.66/821.40 c #Conflicts: 751000 | #Constraints: 30891
818.66/821.40 c #Conflicts: 752000 | #Constraints: 31891
818.66/821.40 c #Conflicts: 753000 | #Constraints: 32891
818.66/821.40 c #Conflicts: 754000 | #Constraints: 33891
818.66/821.40 c #Conflicts: 755000 | #Constraints: 34891
818.66/821.40 c #Conflicts: 756000 | #Constraints: 35891
818.66/821.40 c INPROCESSING
818.66/821.40 c GARBAGE COLLECT
818.66/821.40 c #Conflicts: 757000 | #Constraints: 19688
818.66/821.40 c #Conflicts: 758000 | #Constraints: 20688
818.66/821.40 c #Conflicts: 759000 | #Constraints: 21688
818.66/821.40 c #Conflicts: 760000 | #Constraints: 22688
818.66/821.40 c #Conflicts: 761000 | #Constraints: 23688
818.66/821.40 c #Conflicts: 762000 | #Constraints: 24688
818.66/821.40 c #Conflicts: 763000 | #Constraints: 25688
818.66/821.40 c #Conflicts: 764000 | #Constraints: 26688
818.66/821.40 c #Conflicts: 765000 | #Constraints: 27688
818.66/821.40 c #Conflicts: 766000 | #Constraints: 28688
818.66/821.40 c #Conflicts: 767000 | #Constraints: 29688
818.66/821.40 c #Conflicts: 768000 | #Constraints: 30688
818.66/821.40 c #Conflicts: 769000 | #Constraints: 31688
818.66/821.40 c #Conflicts: 770000 | #Constraints: 32688
818.66/821.40 c #Conflicts: 771000 | #Constraints: 33688
818.66/821.40 c #Conflicts: 772000 | #Constraints: 34688
818.66/821.40 c #Conflicts: 773000 | #Constraints: 35688
818.66/821.40 c #Conflicts: 774000 | #Constraints: 36688
818.66/821.40 c INPROCESSING
818.66/821.40 c GARBAGE COLLECT
818.66/821.40 c #Conflicts: 775000 | #Constraints: 20288
818.66/821.40 c #Conflicts: 776000 | #Constraints: 21288
818.66/821.40 c #Conflicts: 777000 | #Constraints: 22288
818.66/821.40 c #Conflicts: 778000 | #Constraints: 23288
818.66/821.40 c #Conflicts: 779000 | #Constraints: 24288
818.66/821.40 c #Conflicts: 780000 | #Constraints: 25288
818.66/821.40 c #Conflicts: 781000 | #Constraints: 26288
818.66/821.40 c #Conflicts: 782000 | #Constraints: 27288
818.66/821.40 c #Conflicts: 783000 | #Constraints: 28288
818.66/821.40 c #Conflicts: 784000 | #Constraints: 29288
818.66/821.40 c #Conflicts: 785000 | #Constraints: 30288
818.66/821.40 c #Conflicts: 786000 | #Constraints: 31288
818.66/821.40 c #Conflicts: 787000 | #Constraints: 32288
818.66/821.40 c #Conflicts: 788000 | #Constraints: 33288
818.66/821.40 c #Conflicts: 789000 | #Constraints: 34288
818.66/821.40 c #Conflicts: 790000 | #Constraints: 35288
818.66/821.40 c #Conflicts: 791000 | #Constraints: 36288
818.66/821.40 c #Conflicts: 792000 | #Constraints: 37288
818.66/821.40 c INPROCESSING
818.66/821.40 c GARBAGE COLLECT
818.66/821.40 c #Conflicts: 793000 | #Constraints: 20685
818.66/821.40 c #Conflicts: 794000 | #Constraints: 21685
818.66/821.40 c #Conflicts: 795000 | #Constraints: 22685
818.66/821.40 c #Conflicts: 796000 | #Constraints: 23685
818.66/821.40 c #Conflicts: 797000 | #Constraints: 24685
818.66/821.40 c #Conflicts: 798000 | #Constraints: 25685
818.66/821.40 c #Conflicts: 799000 | #Constraints: 26685
818.66/821.40 c #Conflicts: 800000 | #Constraints: 27685
818.66/821.40 c #Conflicts: 801000 | #Constraints: 28685
818.66/821.40 c #Conflicts: 802000 | #Constraints: 29685
818.66/821.40 c #Conflicts: 803000 | #Constraints: 30685
818.66/821.40 c #Conflicts: 804000 | #Constraints: 31685
818.66/821.40 c #Conflicts: 805000 | #Constraints: 32685
818.66/821.40 c #Conflicts: 806000 | #Constraints: 33685
818.66/821.40 c #Conflicts: 807000 | #Constraints: 34685
818.66/821.40 c #Conflicts: 808000 | #Constraints: 35685
818.66/821.40 c #Conflicts: 809000 | #Constraints: 36685
894.05/897.08 c #Conflicts: 810000 | #Constraints: 37685
894.05/897.08 c INPROCESSING
894.05/897.08 c GARBAGE COLLECT
894.05/897.08 c #Conflicts: 811000 | #Constraints: 20885
894.05/897.08 c #Conflicts: 812000 | #Constraints: 21885
894.05/897.08 c #Conflicts: 813000 | #Constraints: 22885
894.05/897.08 c #Conflicts: 814000 | #Constraints: 23885
894.05/897.08 c #Conflicts: 815000 | #Constraints: 24885
894.05/897.08 c #Conflicts: 816000 | #Constraints: 25885
894.05/897.08 c #Conflicts: 817000 | #Constraints: 26885
894.05/897.08 c #Conflicts: 818000 | #Constraints: 27885
894.05/897.08 c #Conflicts: 819000 | #Constraints: 28885
894.05/897.08 c #Conflicts: 820000 | #Constraints: 29885
894.05/897.08 c #Conflicts: 821000 | #Constraints: 30885
894.05/897.08 c #Conflicts: 822000 | #Constraints: 31885
894.05/897.08 c #Conflicts: 823000 | #Constraints: 32885
894.05/897.08 c #Conflicts: 824000 | #Constraints: 33885
894.05/897.08 c #Conflicts: 825000 | #Constraints: 34885
894.05/897.08 c #Conflicts: 826000 | #Constraints: 35885
894.05/897.08 c #Conflicts: 827000 | #Constraints: 36885
894.05/897.08 c #Conflicts: 828000 | #Constraints: 37885
894.05/897.08 c INPROCESSING
894.05/897.08 c GARBAGE COLLECT
894.05/897.08 c #Conflicts: 829000 | #Constraints: 20886
894.05/897.08 c #Conflicts: 830000 | #Constraints: 21886
894.05/897.08 c #Conflicts: 831000 | #Constraints: 22886
894.05/897.08 c #Conflicts: 832000 | #Constraints: 23886
894.05/897.08 c #Conflicts: 833000 | #Constraints: 24886
894.05/897.08 c #Conflicts: 834000 | #Constraints: 25886
894.05/897.08 c #Conflicts: 835000 | #Constraints: 26886
894.05/897.08 c #Conflicts: 836000 | #Constraints: 27886
894.05/897.08 c #Conflicts: 837000 | #Constraints: 28886
894.05/897.08 c #Conflicts: 838000 | #Constraints: 29886
894.05/897.08 c #Conflicts: 839000 | #Constraints: 30886
894.05/897.08 c #Conflicts: 840000 | #Constraints: 31886
894.05/897.08 c #Conflicts: 841000 | #Constraints: 32886
894.05/897.08 c #Conflicts: 842000 | #Constraints: 33886
894.05/897.08 c #Conflicts: 843000 | #Constraints: 34886
894.05/897.08 c #Conflicts: 844000 | #Constraints: 35886
894.05/897.08 c #Conflicts: 845000 | #Constraints: 36886
894.05/897.08 c #Conflicts: 846000 | #Constraints: 37886
894.05/897.08 c INPROCESSING
894.05/897.08 c GARBAGE COLLECT
894.05/897.08 c #Conflicts: 847000 | #Constraints: 20686
894.05/897.08 c #Conflicts: 848000 | #Constraints: 21686
894.05/897.08 c #Conflicts: 849000 | #Constraints: 22686
894.05/897.08 c #Conflicts: 850000 | #Constraints: 23686
894.05/897.08 c #Conflicts: 851000 | #Constraints: 24686
894.05/897.08 c #Conflicts: 852000 | #Constraints: 25686
894.05/897.08 c #Conflicts: 853000 | #Constraints: 26686
894.05/897.08 c #Conflicts: 854000 | #Constraints: 27686
894.05/897.08 c #Conflicts: 855000 | #Constraints: 28686
894.05/897.08 c #Conflicts: 856000 | #Constraints: 29686
894.05/897.08 c #Conflicts: 857000 | #Constraints: 30686
894.05/897.08 c #Conflicts: 858000 | #Constraints: 31686
894.05/897.08 c #Conflicts: 859000 | #Constraints: 32686
894.05/897.08 c #Conflicts: 860000 | #Constraints: 33686
894.05/897.08 c #Conflicts: 861000 | #Constraints: 34686
894.05/897.08 c #Conflicts: 862000 | #Constraints: 35686
894.05/897.08 c #Conflicts: 863000 | #Constraints: 36686
894.05/897.08 c #Conflicts: 864000 | #Constraints: 37686
894.05/897.08 c #Conflicts: 865000 | #Constraints: 38686
894.05/897.08 c INPROCESSING
894.05/897.08 c GARBAGE COLLECT
894.05/897.08 c #Conflicts: 866000 | #Constraints: 21286
894.05/897.08 c #Conflicts: 867000 | #Constraints: 22286
894.05/897.08 c #Conflicts: 868000 | #Constraints: 23286
894.05/897.08 c #Conflicts: 869000 | #Constraints: 24286
894.05/897.08 c #Conflicts: 870000 | #Constraints: 25286
894.05/897.08 c #Conflicts: 871000 | #Constraints: 26286
894.05/897.08 c #Conflicts: 872000 | #Constraints: 27286
894.05/897.08 c #Conflicts: 873000 | #Constraints: 28286
894.05/897.08 c #Conflicts: 874000 | #Constraints: 29286
894.05/897.08 c #Conflicts: 875000 | #Constraints: 30286
894.05/897.08 c #Conflicts: 876000 | #Constraints: 31286
894.05/897.08 c #Conflicts: 877000 | #Constraints: 32286
894.05/897.08 c #Conflicts: 878000 | #Constraints: 33286
894.05/897.08 c #Conflicts: 879000 | #Constraints: 34286
894.05/897.08 c #Conflicts: 880000 | #Constraints: 35286
894.05/897.08 c #Conflicts: 881000 | #Constraints: 36286
894.05/897.08 c #Conflicts: 882000 | #Constraints: 37286
894.05/897.08 c #Conflicts: 883000 | #Constraints: 38286
894.05/897.08 c #Conflicts: 884000 | #Constraints: 39286
894.05/897.08 c INPROCESSING
894.05/897.08 c GARBAGE COLLECT
973.20/976.45 c #Conflicts: 885000 | #Constraints: 21689
973.20/976.45 c #Conflicts: 886000 | #Constraints: 22689
973.20/976.45 c #Conflicts: 887000 | #Constraints: 23689
973.20/976.45 c #Conflicts: 888000 | #Constraints: 24689
973.20/976.45 c #Conflicts: 889000 | #Constraints: 25689
973.20/976.45 c #Conflicts: 890000 | #Constraints: 26689
973.20/976.45 c #Conflicts: 891000 | #Constraints: 27689
973.20/976.45 c #Conflicts: 892000 | #Constraints: 28689
973.20/976.45 c #Conflicts: 893000 | #Constraints: 29689
973.20/976.45 c #Conflicts: 894000 | #Constraints: 30689
973.20/976.45 c #Conflicts: 895000 | #Constraints: 31689
973.20/976.45 c #Conflicts: 896000 | #Constraints: 32689
973.20/976.45 c #Conflicts: 897000 | #Constraints: 33689
973.20/976.45 c #Conflicts: 898000 | #Constraints: 34689
973.20/976.45 c #Conflicts: 899000 | #Constraints: 35689
973.20/976.45 c #Conflicts: 900000 | #Constraints: 36689
973.20/976.45 c #Conflicts: 901000 | #Constraints: 37689
973.20/976.45 c #Conflicts: 902000 | #Constraints: 38689
973.20/976.45 c #Conflicts: 903000 | #Constraints: 39689
973.20/976.45 c INPROCESSING
973.20/976.45 c GARBAGE COLLECT
973.20/976.45 c #Conflicts: 904000 | #Constraints: 21885
973.20/976.45 c #Conflicts: 905000 | #Constraints: 22885
973.20/976.45 c #Conflicts: 906000 | #Constraints: 23885
973.20/976.45 c #Conflicts: 907000 | #Constraints: 24885
973.20/976.45 c #Conflicts: 908000 | #Constraints: 25885
973.20/976.45 c #Conflicts: 909000 | #Constraints: 26885
973.20/976.45 c #Conflicts: 910000 | #Constraints: 27885
973.20/976.45 c #Conflicts: 911000 | #Constraints: 28885
973.20/976.45 c #Conflicts: 912000 | #Constraints: 29885
973.20/976.45 c #Conflicts: 913000 | #Constraints: 30885
973.20/976.45 c #Conflicts: 914000 | #Constraints: 31885
973.20/976.45 c #Conflicts: 915000 | #Constraints: 32885
973.20/976.45 c #Conflicts: 916000 | #Constraints: 33885
973.20/976.45 c #Conflicts: 917000 | #Constraints: 34885
973.20/976.45 c #Conflicts: 918000 | #Constraints: 35885
973.20/976.45 c #Conflicts: 919000 | #Constraints: 36885
973.20/976.45 c #Conflicts: 920000 | #Constraints: 37885
973.20/976.45 c #Conflicts: 921000 | #Constraints: 38885
973.20/976.45 c #Conflicts: 922000 | #Constraints: 39885
973.20/976.45 c INPROCESSING
973.20/976.45 c GARBAGE COLLECT
973.20/976.45 c #Conflicts: 923000 | #Constraints: 21885
973.20/976.45 c #Conflicts: 924000 | #Constraints: 22885
973.20/976.45 c #Conflicts: 925000 | #Constraints: 23885
973.20/976.45 c #Conflicts: 926000 | #Constraints: 24885
973.20/976.45 c #Conflicts: 927000 | #Constraints: 25885
973.20/976.45 c #Conflicts: 928000 | #Constraints: 26885
973.20/976.45 c #Conflicts: 929000 | #Constraints: 27885
973.20/976.45 c #Conflicts: 930000 | #Constraints: 28885
973.20/976.45 c #Conflicts: 931000 | #Constraints: 29885
973.20/976.45 c #Conflicts: 932000 | #Constraints: 30885
973.20/976.45 c #Conflicts: 933000 | #Constraints: 31885
973.20/976.45 c #Conflicts: 934000 | #Constraints: 32885
973.20/976.45 c #Conflicts: 935000 | #Constraints: 33885
973.20/976.45 c #Conflicts: 936000 | #Constraints: 34885
973.20/976.45 c #Conflicts: 937000 | #Constraints: 35885
973.20/976.45 c #Conflicts: 938000 | #Constraints: 36885
973.20/976.45 c #Conflicts: 939000 | #Constraints: 37885
973.20/976.45 c #Conflicts: 940000 | #Constraints: 38885
973.20/976.45 c #Conflicts: 941000 | #Constraints: 39885
973.20/976.45 c INPROCESSING
973.20/976.45 c GARBAGE COLLECT
973.20/976.45 c #Conflicts: 942000 | #Constraints: 21687
973.20/976.46 c #Conflicts: 943000 | #Constraints: 22687
973.20/976.46 c #Conflicts: 944000 | #Constraints: 23687
973.20/976.46 c #Conflicts: 945000 | #Constraints: 24687
973.20/976.46 c #Conflicts: 946000 | #Constraints: 25687
973.20/976.46 c #Conflicts: 947000 | #Constraints: 26687
973.20/976.46 c #Conflicts: 948000 | #Constraints: 27687
973.20/976.46 c #Conflicts: 949000 | #Constraints: 28687
973.20/976.46 c #Conflicts: 950000 | #Constraints: 29687
973.20/976.46 c #Conflicts: 951000 | #Constraints: 30687
973.20/976.46 c #Conflicts: 952000 | #Constraints: 31687
973.20/976.46 c #Conflicts: 953000 | #Constraints: 32687
973.20/976.46 c #Conflicts: 954000 | #Constraints: 33687
973.20/976.46 c #Conflicts: 955000 | #Constraints: 34687
973.20/976.46 c #Conflicts: 956000 | #Constraints: 35687
973.20/976.46 c #Conflicts: 957000 | #Constraints: 36687
973.20/976.46 c #Conflicts: 958000 | #Constraints: 37687
973.20/976.46 c #Conflicts: 959000 | #Constraints: 38687
973.20/976.46 c #Conflicts: 960000 | #Constraints: 39687
973.20/976.46 c #Conflicts: 961000 | #Constraints: 40687
1049.69/1053.13 c INPROCESSING
1049.69/1053.13 c GARBAGE COLLECT
1049.69/1053.13 c #Conflicts: 962000 | #Constraints: 22289
1049.69/1053.13 c #Conflicts: 963000 | #Constraints: 23289
1049.69/1053.13 c #Conflicts: 964000 | #Constraints: 24289
1049.69/1053.13 c #Conflicts: 965000 | #Constraints: 25289
1049.69/1053.13 c #Conflicts: 966000 | #Constraints: 26289
1049.69/1053.13 c #Conflicts: 967000 | #Constraints: 27289
1049.69/1053.13 c #Conflicts: 968000 | #Constraints: 28289
1049.69/1053.13 c #Conflicts: 969000 | #Constraints: 29289
1049.69/1053.13 c #Conflicts: 970000 | #Constraints: 30289
1049.69/1053.13 c #Conflicts: 971000 | #Constraints: 31289
1049.69/1053.13 c #Conflicts: 972000 | #Constraints: 32289
1049.69/1053.13 c #Conflicts: 973000 | #Constraints: 33289
1049.69/1053.13 c #Conflicts: 974000 | #Constraints: 34289
1049.69/1053.13 c #Conflicts: 975000 | #Constraints: 35289
1049.69/1053.13 c #Conflicts: 976000 | #Constraints: 36289
1049.69/1053.13 c #Conflicts: 977000 | #Constraints: 37289
1049.69/1053.13 c #Conflicts: 978000 | #Constraints: 38289
1049.69/1053.13 c #Conflicts: 979000 | #Constraints: 39289
1049.69/1053.13 c #Conflicts: 980000 | #Constraints: 40289
1049.69/1053.13 c #Conflicts: 981000 | #Constraints: 41289
1049.69/1053.13 c INPROCESSING
1049.69/1053.13 c GARBAGE COLLECT
1049.69/1053.13 c #Conflicts: 982000 | #Constraints: 22694
1049.69/1053.13 c #Conflicts: 983000 | #Constraints: 23694
1049.69/1053.13 c #Conflicts: 984000 | #Constraints: 24694
1049.69/1053.13 c #Conflicts: 985000 | #Constraints: 25694
1049.69/1053.13 c #Conflicts: 986000 | #Constraints: 26694
1049.69/1053.13 c #Conflicts: 987000 | #Constraints: 27694
1049.69/1053.13 c #Conflicts: 988000 | #Constraints: 28694
1049.69/1053.13 c #Conflicts: 989000 | #Constraints: 29694
1049.69/1053.13 c #Conflicts: 990000 | #Constraints: 30694
1049.69/1053.13 c #Conflicts: 991000 | #Constraints: 31694
1049.69/1053.13 c #Conflicts: 992000 | #Constraints: 32694
1049.69/1053.13 c #Conflicts: 993000 | #Constraints: 33694
1049.69/1053.13 c #Conflicts: 994000 | #Constraints: 34694
1049.69/1053.13 c #Conflicts: 995000 | #Constraints: 35694
1049.69/1053.13 c #Conflicts: 996000 | #Constraints: 36694
1049.69/1053.13 c #Conflicts: 997000 | #Constraints: 37694
1049.69/1053.13 c #Conflicts: 998000 | #Constraints: 38694
1049.69/1053.13 c #Conflicts: 999000 | #Constraints: 39694
1049.69/1053.13 c #Conflicts: 1000000 | #Constraints: 40694
1049.69/1053.13 c #Conflicts: 1001000 | #Constraints: 41694
1049.69/1053.13 c INPROCESSING
1049.69/1053.13 c GARBAGE COLLECT
1049.69/1053.13 c #Conflicts: 1002000 | #Constraints: 22893
1049.69/1053.13 c #Conflicts: 1003000 | #Constraints: 23893
1049.69/1053.13 c #Conflicts: 1004000 | #Constraints: 24893
1049.69/1053.13 c #Conflicts: 1005000 | #Constraints: 25893
1049.69/1053.13 c #Conflicts: 1006000 | #Constraints: 26893
1049.69/1053.13 c #Conflicts: 1007000 | #Constraints: 27893
1049.69/1053.13 c #Conflicts: 1008000 | #Constraints: 28893
1049.69/1053.13 c #Conflicts: 1009000 | #Constraints: 29893
1049.69/1053.13 c #Conflicts: 1010000 | #Constraints: 30893
1049.69/1053.13 c #Conflicts: 1011000 | #Constraints: 31893
1049.69/1053.13 c #Conflicts: 1012000 | #Constraints: 32893
1049.69/1053.13 c #Conflicts: 1013000 | #Constraints: 33893
1049.69/1053.13 c #Conflicts: 1014000 | #Constraints: 34893
1049.69/1053.13 c #Conflicts: 1015000 | #Constraints: 35893
1049.69/1053.13 c #Conflicts: 1016000 | #Constraints: 36893
1049.69/1053.13 c #Conflicts: 1017000 | #Constraints: 37893
1049.69/1053.13 c #Conflicts: 1018000 | #Constraints: 38893
1049.69/1053.13 c #Conflicts: 1019000 | #Constraints: 39893
1049.69/1053.13 c #Conflicts: 1020000 | #Constraints: 40893
1049.69/1053.13 c #Conflicts: 1021000 | #Constraints: 41893
1049.69/1053.13 c INPROCESSING
1049.69/1053.13 c GARBAGE COLLECT
1049.69/1053.13 c #Conflicts: 1022000 | #Constraints: 22895
1049.69/1053.13 c #Conflicts: 1023000 | #Constraints: 23895
1049.69/1053.13 c #Conflicts: 1024000 | #Constraints: 24895
1049.69/1053.13 c #Conflicts: 1025000 | #Constraints: 25895
1049.69/1053.13 c #Conflicts: 1026000 | #Constraints: 26895
1049.69/1053.13 c #Conflicts: 1027000 | #Constraints: 27895
1049.69/1053.13 c #Conflicts: 1028000 | #Constraints: 28895
1049.69/1053.13 c #Conflicts: 1029000 | #Constraints: 29895
1049.69/1053.13 c #Conflicts: 1030000 | #Constraints: 30895
1049.69/1053.13 c #Conflicts: 1031000 | #Constraints: 31895
1049.69/1053.13 c #Conflicts: 1032000 | #Constraints: 32895
1049.69/1053.13 c #Conflicts: 1033000 | #Constraints: 33895
1049.69/1053.13 c #Conflicts: 1034000 | #Constraints: 34895
1049.69/1053.13 c #Conflicts: 1035000 | #Constraints: 35895
1049.69/1053.13 c #Conflicts: 1036000 | #Constraints: 36895
1049.69/1053.13 c #Conflicts: 1037000 | #Constraints: 37895
1128.35/1132.05 c #Conflicts: 1038000 | #Constraints: 38895
1128.35/1132.05 c #Conflicts: 1039000 | #Constraints: 39895
1128.35/1132.05 c #Conflicts: 1040000 | #Constraints: 40895
1128.35/1132.05 c #Conflicts: 1041000 | #Constraints: 41895
1128.35/1132.05 c INPROCESSING
1128.35/1132.05 c GARBAGE COLLECT
1128.35/1132.05 c #Conflicts: 1042000 | #Constraints: 22691
1128.35/1132.05 c #Conflicts: 1043000 | #Constraints: 23691
1128.35/1132.05 c #Conflicts: 1044000 | #Constraints: 24691
1128.35/1132.05 c #Conflicts: 1045000 | #Constraints: 25691
1128.35/1132.05 c #Conflicts: 1046000 | #Constraints: 26691
1128.35/1132.05 c #Conflicts: 1047000 | #Constraints: 27691
1128.35/1132.05 c #Conflicts: 1048000 | #Constraints: 28691
1128.35/1132.05 c #Conflicts: 1049000 | #Constraints: 29691
1128.35/1132.05 c #Conflicts: 1050000 | #Constraints: 30691
1128.35/1132.05 c #Conflicts: 1051000 | #Constraints: 31691
1128.35/1132.05 c #Conflicts: 1052000 | #Constraints: 32691
1128.35/1132.05 c #Conflicts: 1053000 | #Constraints: 33691
1128.35/1132.05 c #Conflicts: 1054000 | #Constraints: 34691
1128.35/1132.05 c #Conflicts: 1055000 | #Constraints: 35691
1128.35/1132.05 c #Conflicts: 1056000 | #Constraints: 36691
1128.35/1132.05 c #Conflicts: 1057000 | #Constraints: 37691
1128.35/1132.05 c #Conflicts: 1058000 | #Constraints: 38691
1128.35/1132.05 c #Conflicts: 1059000 | #Constraints: 39691
1128.35/1132.05 c #Conflicts: 1060000 | #Constraints: 40691
1128.35/1132.05 c #Conflicts: 1061000 | #Constraints: 41691
1128.35/1132.05 c #Conflicts: 1062000 | #Constraints: 42691
1128.35/1132.05 c INPROCESSING
1128.35/1132.05 c GARBAGE COLLECT
1128.35/1132.05 c #Conflicts: 1063000 | #Constraints: 23288
1128.35/1132.05 c #Conflicts: 1064000 | #Constraints: 24288
1128.35/1132.05 c #Conflicts: 1065000 | #Constraints: 25288
1128.35/1132.05 c #Conflicts: 1066000 | #Constraints: 26288
1128.35/1132.05 c #Conflicts: 1067000 | #Constraints: 27288
1128.35/1132.05 c #Conflicts: 1068000 | #Constraints: 28288
1128.35/1132.05 c #Conflicts: 1069000 | #Constraints: 29288
1128.35/1132.05 c #Conflicts: 1070000 | #Constraints: 30288
1128.35/1132.05 c #Conflicts: 1071000 | #Constraints: 31288
1128.35/1132.05 c #Conflicts: 1072000 | #Constraints: 32288
1128.35/1132.05 c #Conflicts: 1073000 | #Constraints: 33288
1128.35/1132.05 c #Conflicts: 1074000 | #Constraints: 34288
1128.35/1132.05 c #Conflicts: 1075000 | #Constraints: 35288
1128.35/1132.05 c #Conflicts: 1076000 | #Constraints: 36288
1128.35/1132.05 c #Conflicts: 1077000 | #Constraints: 37288
1128.35/1132.05 c #Conflicts: 1078000 | #Constraints: 38288
1128.35/1132.05 c #Conflicts: 1079000 | #Constraints: 39288
1128.35/1132.05 c #Conflicts: 1080000 | #Constraints: 40288
1128.35/1132.05 c #Conflicts: 1081000 | #Constraints: 41288
1128.35/1132.05 c #Conflicts: 1082000 | #Constraints: 42288
1128.35/1132.05 c #Conflicts: 1083000 | #Constraints: 43288
1128.35/1132.05 c INPROCESSING
1128.35/1132.05 c GARBAGE COLLECT
1128.35/1132.05 c #Conflicts: 1084000 | #Constraints: 23692
1128.35/1132.05 c #Conflicts: 1085000 | #Constraints: 24692
1128.35/1132.05 c #Conflicts: 1086000 | #Constraints: 25692
1128.35/1132.05 c #Conflicts: 1087000 | #Constraints: 26692
1128.35/1132.05 c #Conflicts: 1088000 | #Constraints: 27692
1128.35/1132.05 c #Conflicts: 1089000 | #Constraints: 28692
1128.35/1132.05 c #Conflicts: 1090000 | #Constraints: 29692
1128.35/1132.05 c #Conflicts: 1091000 | #Constraints: 30692
1128.35/1132.05 c #Conflicts: 1092000 | #Constraints: 31692
1128.35/1132.05 c #Conflicts: 1093000 | #Constraints: 32692
1128.35/1132.05 c #Conflicts: 1094000 | #Constraints: 33692
1128.35/1132.05 c #Conflicts: 1095000 | #Constraints: 34692
1128.35/1132.05 c #Conflicts: 1096000 | #Constraints: 35692
1128.35/1132.05 c #Conflicts: 1097000 | #Constraints: 36692
1128.35/1132.05 c #Conflicts: 1098000 | #Constraints: 37692
1128.35/1132.05 c #Conflicts: 1099000 | #Constraints: 38692
1128.35/1132.05 c #Conflicts: 1100000 | #Constraints: 39692
1128.35/1132.05 c #Conflicts: 1101000 | #Constraints: 40692
1128.35/1132.05 c #Conflicts: 1102000 | #Constraints: 41692
1128.35/1132.05 c #Conflicts: 1103000 | #Constraints: 42692
1128.35/1132.05 c #Conflicts: 1104000 | #Constraints: 43692
1128.35/1132.05 c INPROCESSING
1128.35/1132.05 c GARBAGE COLLECT
1128.35/1132.05 c #Conflicts: 1105000 | #Constraints: 23891
1128.35/1132.05 c #Conflicts: 1106000 | #Constraints: 24891
1128.35/1132.05 c #Conflicts: 1107000 | #Constraints: 25891
1128.35/1132.05 c #Conflicts: 1108000 | #Constraints: 26891
1128.35/1132.05 c #Conflicts: 1109000 | #Constraints: 27891
1128.35/1132.05 c #Conflicts: 1110000 | #Constraints: 28891
1128.35/1132.05 c #Conflicts: 1111000 | #Constraints: 29891
1128.35/1132.05 c #Conflicts: 1112000 | #Constraints: 30891
1128.35/1132.05 c #Conflicts: 1113000 | #Constraints: 31891
1128.35/1132.05 c #Conflicts: 1114000 | #Constraints: 32891
1223.26/1227.21 c #Conflicts: 1115000 | #Constraints: 33891
1223.26/1227.21 c #Conflicts: 1116000 | #Constraints: 34891
1223.26/1227.21 c #Conflicts: 1117000 | #Constraints: 35891
1223.26/1227.21 c #Conflicts: 1118000 | #Constraints: 36891
1223.26/1227.21 c #Conflicts: 1119000 | #Constraints: 37891
1223.26/1227.21 c #Conflicts: 1120000 | #Constraints: 38891
1223.26/1227.21 c #Conflicts: 1121000 | #Constraints: 39891
1223.26/1227.21 c #Conflicts: 1122000 | #Constraints: 40891
1223.26/1227.21 c #Conflicts: 1123000 | #Constraints: 41891
1223.26/1227.21 c #Conflicts: 1124000 | #Constraints: 42891
1223.26/1227.21 c #Conflicts: 1125000 | #Constraints: 43891
1223.26/1227.21 c INPROCESSING
1223.26/1227.21 c GARBAGE COLLECT
1223.26/1227.21 c #Conflicts: 1126000 | #Constraints: 23892
1223.26/1227.21 c #Conflicts: 1127000 | #Constraints: 24892
1223.26/1227.21 c #Conflicts: 1128000 | #Constraints: 25892
1223.26/1227.21 c #Conflicts: 1129000 | #Constraints: 26892
1223.26/1227.21 c #Conflicts: 1130000 | #Constraints: 27892
1223.26/1227.21 c #Conflicts: 1131000 | #Constraints: 28892
1223.26/1227.21 c #Conflicts: 1132000 | #Constraints: 29892
1223.26/1227.21 c #Conflicts: 1133000 | #Constraints: 30892
1223.26/1227.21 c #Conflicts: 1134000 | #Constraints: 31892
1223.26/1227.21 c #Conflicts: 1135000 | #Constraints: 32892
1223.26/1227.21 c #Conflicts: 1136000 | #Constraints: 33892
1223.26/1227.21 c #Conflicts: 1137000 | #Constraints: 34892
1223.26/1227.21 c #Conflicts: 1138000 | #Constraints: 35892
1223.26/1227.21 c #Conflicts: 1139000 | #Constraints: 36892
1223.26/1227.21 c #Conflicts: 1140000 | #Constraints: 37892
1223.26/1227.21 c #Conflicts: 1141000 | #Constraints: 38892
1223.26/1227.21 c #Conflicts: 1142000 | #Constraints: 39892
1223.26/1227.21 c #Conflicts: 1143000 | #Constraints: 40892
1223.26/1227.21 c #Conflicts: 1144000 | #Constraints: 41892
1223.26/1227.21 c #Conflicts: 1145000 | #Constraints: 42892
1223.26/1227.21 c #Conflicts: 1146000 | #Constraints: 43892
1223.26/1227.21 c INPROCESSING
1223.26/1227.21 c GARBAGE COLLECT
1223.26/1227.21 c #Conflicts: 1147000 | #Constraints: 23692
1223.26/1227.21 c #Conflicts: 1148000 | #Constraints: 24692
1223.26/1227.21 c #Conflicts: 1149000 | #Constraints: 25692
1223.26/1227.21 c #Conflicts: 1150000 | #Constraints: 26692
1223.26/1227.21 c #Conflicts: 1151000 | #Constraints: 27692
1223.26/1227.21 c #Conflicts: 1152000 | #Constraints: 28692
1223.26/1227.21 c #Conflicts: 1153000 | #Constraints: 29692
1223.26/1227.21 c #Conflicts: 1154000 | #Constraints: 30692
1223.26/1227.21 c #Conflicts: 1155000 | #Constraints: 31692
1223.26/1227.21 c #Conflicts: 1156000 | #Constraints: 32692
1223.26/1227.21 c #Conflicts: 1157000 | #Constraints: 33692
1223.26/1227.21 c #Conflicts: 1158000 | #Constraints: 34692
1223.26/1227.21 c #Conflicts: 1159000 | #Constraints: 35692
1223.26/1227.21 c #Conflicts: 1160000 | #Constraints: 36692
1223.26/1227.21 c #Conflicts: 1161000 | #Constraints: 37692
1223.26/1227.21 c #Conflicts: 1162000 | #Constraints: 38692
1223.26/1227.21 c #Conflicts: 1163000 | #Constraints: 39692
1223.26/1227.21 c #Conflicts: 1164000 | #Constraints: 40692
1223.26/1227.21 c #Conflicts: 1165000 | #Constraints: 41692
1223.26/1227.21 c #Conflicts: 1166000 | #Constraints: 42692
1223.26/1227.21 c #Conflicts: 1167000 | #Constraints: 43692
1223.26/1227.21 c #Conflicts: 1168000 | #Constraints: 44692
1223.26/1227.21 c INPROCESSING
1223.26/1227.21 c GARBAGE COLLECT
1223.26/1227.21 c #Conflicts: 1169000 | #Constraints: 24289
1223.26/1227.21 c #Conflicts: 1170000 | #Constraints: 25289
1223.26/1227.21 c #Conflicts: 1171000 | #Constraints: 26289
1223.26/1227.21 c #Conflicts: 1172000 | #Constraints: 27289
1223.26/1227.21 c #Conflicts: 1173000 | #Constraints: 28289
1223.26/1227.21 c #Conflicts: 1174000 | #Constraints: 29289
1223.26/1227.21 c #Conflicts: 1175000 | #Constraints: 30289
1223.26/1227.21 c #Conflicts: 1176000 | #Constraints: 31289
1223.26/1227.21 c #Conflicts: 1177000 | #Constraints: 32289
1223.26/1227.21 c #Conflicts: 1178000 | #Constraints: 33289
1223.26/1227.21 c #Conflicts: 1179000 | #Constraints: 34289
1223.26/1227.21 c #Conflicts: 1180000 | #Constraints: 35289
1223.26/1227.21 c #Conflicts: 1181000 | #Constraints: 36289
1223.26/1227.21 c #Conflicts: 1182000 | #Constraints: 37289
1223.26/1227.21 c #Conflicts: 1183000 | #Constraints: 38289
1223.26/1227.21 c #Conflicts: 1184000 | #Constraints: 39289
1223.26/1227.21 c #Conflicts: 1185000 | #Constraints: 40289
1223.26/1227.21 c #Conflicts: 1186000 | #Constraints: 41289
1223.26/1227.21 c #Conflicts: 1187000 | #Constraints: 42289
1223.26/1227.21 c #Conflicts: 1188000 | #Constraints: 43289
1223.26/1227.21 c #Conflicts: 1189000 | #Constraints: 44289
1223.26/1227.21 c #Conflicts: 1190000 | #Constraints: 45289
1223.26/1227.21 c INPROCESSING
1328.63/1332.94 c GARBAGE COLLECT
1328.63/1332.94 c #Conflicts: 1191000 | #Constraints: 24690
1328.63/1332.94 c #Conflicts: 1192000 | #Constraints: 25690
1328.63/1332.94 c #Conflicts: 1193000 | #Constraints: 26690
1328.63/1332.94 c #Conflicts: 1194000 | #Constraints: 27690
1328.63/1332.94 c #Conflicts: 1195000 | #Constraints: 28690
1328.63/1332.94 c #Conflicts: 1196000 | #Constraints: 29690
1328.63/1332.94 c #Conflicts: 1197000 | #Constraints: 30690
1328.63/1332.94 c #Conflicts: 1198000 | #Constraints: 31690
1328.63/1332.94 c #Conflicts: 1199000 | #Constraints: 32690
1328.63/1332.94 c #Conflicts: 1200000 | #Constraints: 33690
1328.63/1332.94 c #Conflicts: 1201000 | #Constraints: 34690
1328.63/1332.94 c #Conflicts: 1202000 | #Constraints: 35690
1328.63/1332.94 c #Conflicts: 1203000 | #Constraints: 36690
1328.63/1332.94 c #Conflicts: 1204000 | #Constraints: 37690
1328.63/1332.94 c #Conflicts: 1205000 | #Constraints: 38690
1328.63/1332.94 c #Conflicts: 1206000 | #Constraints: 39690
1328.63/1332.94 c #Conflicts: 1207000 | #Constraints: 40690
1328.63/1332.94 c #Conflicts: 1208000 | #Constraints: 41690
1328.63/1332.94 c #Conflicts: 1209000 | #Constraints: 42690
1328.63/1332.94 c #Conflicts: 1210000 | #Constraints: 43690
1328.63/1332.94 c #Conflicts: 1211000 | #Constraints: 44690
1328.63/1332.94 c #Conflicts: 1212000 | #Constraints: 45690
1328.63/1332.94 c INPROCESSING
1328.63/1332.94 c GARBAGE COLLECT
1328.63/1332.94 c #Conflicts: 1213000 | #Constraints: 24890
1328.63/1332.94 c #Conflicts: 1214000 | #Constraints: 25890
1328.63/1332.94 c #Conflicts: 1215000 | #Constraints: 26890
1328.63/1332.94 c #Conflicts: 1216000 | #Constraints: 27890
1328.63/1332.94 c #Conflicts: 1217000 | #Constraints: 28890
1328.63/1332.94 c #Conflicts: 1218000 | #Constraints: 29890
1328.63/1332.94 c #Conflicts: 1219000 | #Constraints: 30890
1328.63/1332.94 c #Conflicts: 1220000 | #Constraints: 31890
1328.63/1332.94 c #Conflicts: 1221000 | #Constraints: 32890
1328.63/1332.94 c #Conflicts: 1222000 | #Constraints: 33890
1328.63/1332.94 c #Conflicts: 1223000 | #Constraints: 34890
1328.63/1332.94 c #Conflicts: 1224000 | #Constraints: 35890
1328.63/1332.94 c #Conflicts: 1225000 | #Constraints: 36890
1328.63/1332.94 c #Conflicts: 1226000 | #Constraints: 37890
1328.63/1332.94 c #Conflicts: 1227000 | #Constraints: 38890
1328.63/1332.94 c #Conflicts: 1228000 | #Constraints: 39890
1328.63/1332.94 c #Conflicts: 1229000 | #Constraints: 40890
1328.63/1332.94 c #Conflicts: 1230000 | #Constraints: 41890
1328.63/1332.94 c #Conflicts: 1231000 | #Constraints: 42890
1328.63/1332.94 c #Conflicts: 1232000 | #Constraints: 43890
1328.63/1332.94 c #Conflicts: 1233000 | #Constraints: 44890
1328.63/1332.94 c #Conflicts: 1234000 | #Constraints: 45890
1328.63/1332.94 c INPROCESSING
1328.63/1332.94 c GARBAGE COLLECT
1328.63/1332.94 c #Conflicts: 1235000 | #Constraints: 24888
1328.63/1332.94 c #Conflicts: 1236000 | #Constraints: 25888
1328.63/1332.94 c #Conflicts: 1237000 | #Constraints: 26888
1328.63/1332.94 c #Conflicts: 1238000 | #Constraints: 27888
1328.63/1332.94 c #Conflicts: 1239000 | #Constraints: 28888
1328.63/1332.94 c #Conflicts: 1240000 | #Constraints: 29888
1328.63/1332.94 c #Conflicts: 1241000 | #Constraints: 30888
1328.63/1332.94 c #Conflicts: 1242000 | #Constraints: 31888
1328.63/1332.94 c #Conflicts: 1243000 | #Constraints: 32888
1328.63/1332.94 c #Conflicts: 1244000 | #Constraints: 33888
1328.63/1332.94 c #Conflicts: 1245000 | #Constraints: 34888
1328.63/1332.94 c #Conflicts: 1246000 | #Constraints: 35888
1328.63/1332.94 c #Conflicts: 1247000 | #Constraints: 36888
1328.63/1332.94 c #Conflicts: 1248000 | #Constraints: 37888
1328.63/1332.94 c #Conflicts: 1249000 | #Constraints: 38888
1328.63/1332.94 c #Conflicts: 1250000 | #Constraints: 39888
1328.63/1332.94 c #Conflicts: 1251000 | #Constraints: 40888
1328.63/1332.94 c #Conflicts: 1252000 | #Constraints: 41888
1328.63/1332.94 c #Conflicts: 1253000 | #Constraints: 42888
1328.63/1332.94 c #Conflicts: 1254000 | #Constraints: 43888
1328.63/1332.94 c #Conflicts: 1255000 | #Constraints: 44888
1328.63/1332.94 c #Conflicts: 1256000 | #Constraints: 45888
1328.63/1332.94 c INPROCESSING
1328.63/1332.94 c GARBAGE COLLECT
1328.63/1332.94 c #Conflicts: 1257000 | #Constraints: 24687
1328.63/1332.94 c #Conflicts: 1258000 | #Constraints: 25687
1328.63/1332.94 c #Conflicts: 1259000 | #Constraints: 26687
1328.63/1332.94 c #Conflicts: 1260000 | #Constraints: 27687
1328.63/1332.94 c #Conflicts: 1261000 | #Constraints: 28687
1328.63/1332.94 c #Conflicts: 1262000 | #Constraints: 29687
1328.63/1332.94 c #Conflicts: 1263000 | #Constraints: 30687
1328.63/1332.94 c #Conflicts: 1264000 | #Constraints: 31687
1328.63/1332.94 c #Conflicts: 1265000 | #Constraints: 32687
1328.63/1332.94 c #Conflicts: 1266000 | #Constraints: 33687
1328.63/1332.94 c #Conflicts: 1267000 | #Constraints: 34687
1435.43/1440.02 c #Conflicts: 1268000 | #Constraints: 35687
1435.43/1440.02 c #Conflicts: 1269000 | #Constraints: 36687
1435.43/1440.02 c #Conflicts: 1270000 | #Constraints: 37687
1435.43/1440.02 c #Conflicts: 1271000 | #Constraints: 38687
1435.43/1440.02 c #Conflicts: 1272000 | #Constraints: 39687
1435.43/1440.02 c #Conflicts: 1273000 | #Constraints: 40687
1435.43/1440.02 c #Conflicts: 1274000 | #Constraints: 41687
1435.43/1440.02 c #Conflicts: 1275000 | #Constraints: 42687
1435.43/1440.02 c #Conflicts: 1276000 | #Constraints: 43687
1435.43/1440.02 c #Conflicts: 1277000 | #Constraints: 44687
1435.43/1440.02 c #Conflicts: 1278000 | #Constraints: 45687
1435.43/1440.02 c #Conflicts: 1279000 | #Constraints: 46687
1435.43/1440.02 c INPROCESSING
1435.43/1440.02 c GARBAGE COLLECT
1435.43/1440.02 c #Conflicts: 1280000 | #Constraints: 25286
1435.43/1440.02 c #Conflicts: 1281000 | #Constraints: 26286
1435.43/1440.02 c #Conflicts: 1282000 | #Constraints: 27286
1435.43/1440.02 c #Conflicts: 1283000 | #Constraints: 28286
1435.43/1440.02 c #Conflicts: 1284000 | #Constraints: 29286
1435.43/1440.02 c #Conflicts: 1285000 | #Constraints: 30286
1435.43/1440.02 c #Conflicts: 1286000 | #Constraints: 31286
1435.43/1440.02 c #Conflicts: 1287000 | #Constraints: 32286
1435.43/1440.02 c #Conflicts: 1288000 | #Constraints: 33286
1435.43/1440.02 c #Conflicts: 1289000 | #Constraints: 34286
1435.43/1440.02 c #Conflicts: 1290000 | #Constraints: 35286
1435.43/1440.02 c #Conflicts: 1291000 | #Constraints: 36286
1435.43/1440.02 c #Conflicts: 1292000 | #Constraints: 37286
1435.43/1440.02 c #Conflicts: 1293000 | #Constraints: 38286
1435.43/1440.02 c #Conflicts: 1294000 | #Constraints: 39286
1435.43/1440.02 c #Conflicts: 1295000 | #Constraints: 40286
1435.43/1440.02 c #Conflicts: 1296000 | #Constraints: 41286
1435.43/1440.02 c #Conflicts: 1297000 | #Constraints: 42286
1435.43/1440.02 c #Conflicts: 1298000 | #Constraints: 43286
1435.43/1440.02 c #Conflicts: 1299000 | #Constraints: 44286
1435.43/1440.02 c #Conflicts: 1300000 | #Constraints: 45286
1435.43/1440.02 c #Conflicts: 1301000 | #Constraints: 46286
1435.43/1440.02 c #Conflicts: 1302000 | #Constraints: 47286
1435.43/1440.02 c INPROCESSING
1435.43/1440.02 c GARBAGE COLLECT
1435.43/1440.02 c #Conflicts: 1303000 | #Constraints: 25687
1435.43/1440.02 c #Conflicts: 1304000 | #Constraints: 26687
1435.43/1440.02 c #Conflicts: 1305000 | #Constraints: 27687
1435.43/1440.02 c #Conflicts: 1306000 | #Constraints: 28687
1435.43/1440.02 c #Conflicts: 1307000 | #Constraints: 29687
1435.43/1440.02 c #Conflicts: 1308000 | #Constraints: 30687
1435.43/1440.02 c #Conflicts: 1309000 | #Constraints: 31687
1435.43/1440.02 c #Conflicts: 1310000 | #Constraints: 32687
1435.43/1440.02 c #Conflicts: 1311000 | #Constraints: 33687
1435.43/1440.02 c #Conflicts: 1312000 | #Constraints: 34687
1435.43/1440.02 c #Conflicts: 1313000 | #Constraints: 35687
1435.43/1440.02 c #Conflicts: 1314000 | #Constraints: 36687
1435.43/1440.02 c #Conflicts: 1315000 | #Constraints: 37687
1435.43/1440.02 c #Conflicts: 1316000 | #Constraints: 38687
1435.43/1440.02 c #Conflicts: 1317000 | #Constraints: 39687
1435.43/1440.02 c #Conflicts: 1318000 | #Constraints: 40687
1435.43/1440.02 c #Conflicts: 1319000 | #Constraints: 41687
1435.43/1440.02 c #Conflicts: 1320000 | #Constraints: 42687
1435.43/1440.02 c #Conflicts: 1321000 | #Constraints: 43687
1435.43/1440.02 c #Conflicts: 1322000 | #Constraints: 44687
1435.43/1440.02 c #Conflicts: 1323000 | #Constraints: 45687
1435.43/1440.02 c #Conflicts: 1324000 | #Constraints: 46687
1435.43/1440.02 c #Conflicts: 1325000 | #Constraints: 47687
1435.43/1440.02 c INPROCESSING
1435.43/1440.02 c GARBAGE COLLECT
1435.43/1440.02 c #Conflicts: 1326000 | #Constraints: 25890
1435.43/1440.02 c #Conflicts: 1327000 | #Constraints: 26890
1435.43/1440.02 c #Conflicts: 1328000 | #Constraints: 27890
1435.43/1440.02 c #Conflicts: 1329000 | #Constraints: 28890
1435.43/1440.02 c #Conflicts: 1330000 | #Constraints: 29890
1435.43/1440.02 c #Conflicts: 1331000 | #Constraints: 30890
1435.43/1440.02 c #Conflicts: 1332000 | #Constraints: 31890
1435.43/1440.02 c #Conflicts: 1333000 | #Constraints: 32890
1435.43/1440.02 c #Conflicts: 1334000 | #Constraints: 33890
1435.43/1440.02 c #Conflicts: 1335000 | #Constraints: 34890
1435.43/1440.02 c #Conflicts: 1336000 | #Constraints: 35890
1435.43/1440.02 c #Conflicts: 1337000 | #Constraints: 36890
1435.43/1440.02 c #Conflicts: 1338000 | #Constraints: 37890
1435.43/1440.02 c #Conflicts: 1339000 | #Constraints: 38890
1435.43/1440.02 c #Conflicts: 1340000 | #Constraints: 39890
1435.43/1440.02 c #Conflicts: 1341000 | #Constraints: 40890
1435.43/1440.02 c #Conflicts: 1342000 | #Constraints: 41890
1435.43/1440.02 c #Conflicts: 1343000 | #Constraints: 42890
1435.43/1440.02 c #Conflicts: 1344000 | #Constraints: 43890
1545.98/1550.99 c #Conflicts: 1345000 | #Constraints: 44890
1545.98/1550.99 c #Conflicts: 1346000 | #Constraints: 45890
1545.98/1550.99 c #Conflicts: 1347000 | #Constraints: 46890
1545.98/1550.99 c #Conflicts: 1348000 | #Constraints: 47890
1545.98/1550.99 c INPROCESSING
1545.98/1550.99 c GARBAGE COLLECT
1545.98/1550.99 c #Conflicts: 1349000 | #Constraints: 25890
1545.98/1550.99 c #Conflicts: 1350000 | #Constraints: 26890
1545.98/1550.99 c #Conflicts: 1351000 | #Constraints: 27890
1545.98/1550.99 c #Conflicts: 1352000 | #Constraints: 28890
1545.98/1550.99 c #Conflicts: 1353000 | #Constraints: 29890
1545.98/1550.99 c #Conflicts: 1354000 | #Constraints: 30890
1545.98/1550.99 c #Conflicts: 1355000 | #Constraints: 31890
1545.98/1550.99 c #Conflicts: 1356000 | #Constraints: 32890
1545.98/1550.99 c #Conflicts: 1357000 | #Constraints: 33890
1545.98/1550.99 c #Conflicts: 1358000 | #Constraints: 34890
1545.98/1550.99 c #Conflicts: 1359000 | #Constraints: 35890
1545.98/1550.99 c #Conflicts: 1360000 | #Constraints: 36890
1545.98/1550.99 c #Conflicts: 1361000 | #Constraints: 37890
1545.98/1550.99 c #Conflicts: 1362000 | #Constraints: 38890
1545.98/1550.99 c #Conflicts: 1363000 | #Constraints: 39890
1545.98/1550.99 c #Conflicts: 1364000 | #Constraints: 40890
1545.98/1550.99 c #Conflicts: 1365000 | #Constraints: 41890
1545.98/1550.99 c #Conflicts: 1366000 | #Constraints: 42890
1545.98/1550.99 c #Conflicts: 1367000 | #Constraints: 43890
1545.98/1550.99 c #Conflicts: 1368000 | #Constraints: 44890
1545.98/1550.99 c #Conflicts: 1369000 | #Constraints: 45890
1545.98/1550.99 c #Conflicts: 1370000 | #Constraints: 46890
1545.98/1550.99 c #Conflicts: 1371000 | #Constraints: 47890
1545.98/1550.99 c INPROCESSING
1545.98/1550.99 c GARBAGE COLLECT
1545.98/1550.99 c #Conflicts: 1372000 | #Constraints: 25688
1545.98/1550.99 c #Conflicts: 1373000 | #Constraints: 26688
1545.98/1550.99 c #Conflicts: 1374000 | #Constraints: 27688
1545.98/1550.99 c #Conflicts: 1375000 | #Constraints: 28688
1545.98/1550.99 c #Conflicts: 1376000 | #Constraints: 29688
1545.98/1550.99 c #Conflicts: 1377000 | #Constraints: 30688
1545.98/1550.99 c #Conflicts: 1378000 | #Constraints: 31688
1545.98/1550.99 c #Conflicts: 1379000 | #Constraints: 32688
1545.98/1550.99 c #Conflicts: 1380000 | #Constraints: 33688
1545.98/1550.99 c #Conflicts: 1381000 | #Constraints: 34688
1545.98/1550.99 c #Conflicts: 1382000 | #Constraints: 35688
1545.98/1550.99 c #Conflicts: 1383000 | #Constraints: 36688
1545.98/1550.99 c #Conflicts: 1384000 | #Constraints: 37688
1545.98/1550.99 c #Conflicts: 1385000 | #Constraints: 38688
1545.98/1550.99 c #Conflicts: 1386000 | #Constraints: 39688
1545.98/1550.99 c #Conflicts: 1387000 | #Constraints: 40688
1545.98/1550.99 c #Conflicts: 1388000 | #Constraints: 41688
1545.98/1550.99 c #Conflicts: 1389000 | #Constraints: 42688
1545.98/1550.99 c #Conflicts: 1390000 | #Constraints: 43688
1545.98/1550.99 c #Conflicts: 1391000 | #Constraints: 44688
1545.98/1550.99 c #Conflicts: 1392000 | #Constraints: 45688
1545.98/1550.99 c #Conflicts: 1393000 | #Constraints: 46688
1545.98/1550.99 c #Conflicts: 1394000 | #Constraints: 47688
1545.98/1550.99 c #Conflicts: 1395000 | #Constraints: 48688
1545.98/1550.99 c INPROCESSING
1545.98/1550.99 c GARBAGE COLLECT
1545.98/1550.99 c #Conflicts: 1396000 | #Constraints: 26287
1545.98/1550.99 c #Conflicts: 1397000 | #Constraints: 27287
1545.98/1550.99 c #Conflicts: 1398000 | #Constraints: 28287
1545.98/1550.99 c #Conflicts: 1399000 | #Constraints: 29287
1545.98/1550.99 c #Conflicts: 1400000 | #Constraints: 30287
1545.98/1550.99 c #Conflicts: 1401000 | #Constraints: 31287
1545.98/1550.99 c #Conflicts: 1402000 | #Constraints: 32287
1545.98/1550.99 c #Conflicts: 1403000 | #Constraints: 33287
1545.98/1550.99 c #Conflicts: 1404000 | #Constraints: 34287
1545.98/1550.99 c #Conflicts: 1405000 | #Constraints: 35287
1545.98/1550.99 c #Conflicts: 1406000 | #Constraints: 36287
1545.98/1550.99 c #Conflicts: 1407000 | #Constraints: 37287
1545.98/1550.99 c #Conflicts: 1408000 | #Constraints: 38287
1545.98/1550.99 c #Conflicts: 1409000 | #Constraints: 39287
1545.98/1550.99 c #Conflicts: 1410000 | #Constraints: 40287
1545.98/1550.99 c #Conflicts: 1411000 | #Constraints: 41287
1545.98/1550.99 c #Conflicts: 1412000 | #Constraints: 42287
1545.98/1550.99 c #Conflicts: 1413000 | #Constraints: 43287
1545.98/1550.99 c #Conflicts: 1414000 | #Constraints: 44287
1545.98/1550.99 c #Conflicts: 1415000 | #Constraints: 45287
1545.98/1550.99 c #Conflicts: 1416000 | #Constraints: 46287
1545.98/1550.99 c #Conflicts: 1417000 | #Constraints: 47287
1545.98/1550.99 c #Conflicts: 1418000 | #Constraints: 48287
1545.98/1550.99 c #Conflicts: 1419000 | #Constraints: 49287
1545.98/1550.99 c INPROCESSING
1545.98/1550.99 c GARBAGE COLLECT
1545.98/1550.99 c #Conflicts: 1420000 | #Constraints: 26687
1661.54/1666.80 c #Conflicts: 1421000 | #Constraints: 27687
1661.54/1666.80 c #Conflicts: 1422000 | #Constraints: 28687
1661.54/1666.80 c #Conflicts: 1423000 | #Constraints: 29687
1661.54/1666.80 c #Conflicts: 1424000 | #Constraints: 30687
1661.54/1666.80 c #Conflicts: 1425000 | #Constraints: 31687
1661.54/1666.80 c #Conflicts: 1426000 | #Constraints: 32687
1661.54/1666.80 c #Conflicts: 1427000 | #Constraints: 33687
1661.54/1666.80 c #Conflicts: 1428000 | #Constraints: 34687
1661.54/1666.80 c #Conflicts: 1429000 | #Constraints: 35687
1661.54/1666.80 c #Conflicts: 1430000 | #Constraints: 36687
1661.54/1666.80 c #Conflicts: 1431000 | #Constraints: 37687
1661.54/1666.80 c #Conflicts: 1432000 | #Constraints: 38687
1661.54/1666.80 c #Conflicts: 1433000 | #Constraints: 39687
1661.54/1666.80 c #Conflicts: 1434000 | #Constraints: 40687
1661.54/1666.80 c #Conflicts: 1435000 | #Constraints: 41687
1661.54/1666.80 c #Conflicts: 1436000 | #Constraints: 42687
1661.54/1666.80 c #Conflicts: 1437000 | #Constraints: 43687
1661.54/1666.80 c #Conflicts: 1438000 | #Constraints: 44687
1661.54/1666.80 c #Conflicts: 1439000 | #Constraints: 45687
1661.54/1666.80 c #Conflicts: 1440000 | #Constraints: 46687
1661.54/1666.80 c #Conflicts: 1441000 | #Constraints: 47687
1661.54/1666.80 c #Conflicts: 1442000 | #Constraints: 48687
1661.54/1666.80 c #Conflicts: 1443000 | #Constraints: 49687
1661.54/1666.80 c INPROCESSING
1661.54/1666.80 c GARBAGE COLLECT
1661.54/1666.80 c #Conflicts: 1444000 | #Constraints: 26886
1661.54/1666.80 c #Conflicts: 1445000 | #Constraints: 27886
1661.54/1666.80 c #Conflicts: 1446000 | #Constraints: 28886
1661.54/1666.80 c #Conflicts: 1447000 | #Constraints: 29886
1661.54/1666.80 c #Conflicts: 1448000 | #Constraints: 30886
1661.54/1666.80 c #Conflicts: 1449000 | #Constraints: 31886
1661.54/1666.80 c #Conflicts: 1450000 | #Constraints: 32886
1661.54/1666.80 c #Conflicts: 1451000 | #Constraints: 33886
1661.54/1666.80 c #Conflicts: 1452000 | #Constraints: 34886
1661.54/1666.80 c #Conflicts: 1453000 | #Constraints: 35886
1661.54/1666.80 c #Conflicts: 1454000 | #Constraints: 36886
1661.54/1666.80 c #Conflicts: 1455000 | #Constraints: 37886
1661.54/1666.80 c #Conflicts: 1456000 | #Constraints: 38886
1661.54/1666.80 c #Conflicts: 1457000 | #Constraints: 39886
1661.54/1666.80 c #Conflicts: 1458000 | #Constraints: 40886
1661.54/1666.80 c #Conflicts: 1459000 | #Constraints: 41886
1661.54/1666.80 c #Conflicts: 1460000 | #Constraints: 42886
1661.54/1666.80 c #Conflicts: 1461000 | #Constraints: 43886
1661.54/1666.80 c #Conflicts: 1462000 | #Constraints: 44886
1661.54/1666.80 c #Conflicts: 1463000 | #Constraints: 45886
1661.54/1666.80 c #Conflicts: 1464000 | #Constraints: 46886
1661.54/1666.80 c #Conflicts: 1465000 | #Constraints: 47886
1661.54/1666.80 c #Conflicts: 1466000 | #Constraints: 48886
1661.54/1666.80 c #Conflicts: 1467000 | #Constraints: 49886
1661.54/1666.80 c INPROCESSING
1661.54/1666.80 c GARBAGE COLLECT
1661.54/1666.80 c #Conflicts: 1468000 | #Constraints: 26887
1661.54/1666.80 c #Conflicts: 1469000 | #Constraints: 27887
1661.54/1666.80 c #Conflicts: 1470000 | #Constraints: 28887
1661.54/1666.80 c #Conflicts: 1471000 | #Constraints: 29887
1661.54/1666.80 c #Conflicts: 1472000 | #Constraints: 30887
1661.54/1666.80 c #Conflicts: 1473000 | #Constraints: 31887
1661.54/1666.80 c #Conflicts: 1474000 | #Constraints: 32887
1661.54/1666.80 c #Conflicts: 1475000 | #Constraints: 33887
1661.54/1666.80 c #Conflicts: 1476000 | #Constraints: 34887
1661.54/1666.80 c #Conflicts: 1477000 | #Constraints: 35887
1661.54/1666.80 c #Conflicts: 1478000 | #Constraints: 36887
1661.54/1666.80 c #Conflicts: 1479000 | #Constraints: 37887
1661.54/1666.80 c #Conflicts: 1480000 | #Constraints: 38887
1661.54/1666.80 c #Conflicts: 1481000 | #Constraints: 39887
1661.54/1666.80 c #Conflicts: 1482000 | #Constraints: 40887
1661.54/1666.80 c #Conflicts: 1483000 | #Constraints: 41887
1661.54/1666.80 c #Conflicts: 1484000 | #Constraints: 42887
1661.54/1666.80 c #Conflicts: 1485000 | #Constraints: 43887
1661.54/1666.80 c #Conflicts: 1486000 | #Constraints: 44887
1661.54/1666.80 c #Conflicts: 1487000 | #Constraints: 45887
1661.54/1666.80 c #Conflicts: 1488000 | #Constraints: 46887
1661.54/1666.80 c #Conflicts: 1489000 | #Constraints: 47887
1661.54/1666.80 c #Conflicts: 1490000 | #Constraints: 48887
1661.54/1666.80 c #Conflicts: 1491000 | #Constraints: 49887
1661.54/1666.80 c INPROCESSING
1661.54/1666.80 c GARBAGE COLLECT
1661.54/1666.80 c #Conflicts: 1492000 | #Constraints: 26689
1661.54/1666.80 c #Conflicts: 1493000 | #Constraints: 27689
1661.54/1666.80 c #Conflicts: 1494000 | #Constraints: 28689
1661.54/1666.80 c #Conflicts: 1495000 | #Constraints: 29689
1661.54/1666.80 c #Conflicts: 1496000 | #Constraints: 30689
1661.54/1666.80 c #Conflicts: 1497000 | #Constraints: 31689
1779.18/1784.82 c #Conflicts: 1498000 | #Constraints: 32689
1779.18/1784.82 c #Conflicts: 1499000 | #Constraints: 33689
1779.18/1784.82 c #Conflicts: 1500000 | #Constraints: 34689
1779.18/1784.82 c #Conflicts: 1501000 | #Constraints: 35689
1779.18/1784.82 c #Conflicts: 1502000 | #Constraints: 36689
1779.18/1784.82 c #Conflicts: 1503000 | #Constraints: 37689
1779.18/1784.82 c #Conflicts: 1504000 | #Constraints: 38689
1779.18/1784.82 c #Conflicts: 1505000 | #Constraints: 39689
1779.18/1784.82 c #Conflicts: 1506000 | #Constraints: 40689
1779.18/1784.82 c #Conflicts: 1507000 | #Constraints: 41689
1779.18/1784.82 c #Conflicts: 1508000 | #Constraints: 42689
1779.18/1784.82 c #Conflicts: 1509000 | #Constraints: 43689
1779.18/1784.82 c #Conflicts: 1510000 | #Constraints: 44689
1779.18/1784.82 c #Conflicts: 1511000 | #Constraints: 45689
1779.18/1784.82 c #Conflicts: 1512000 | #Constraints: 46689
1779.18/1784.82 c #Conflicts: 1513000 | #Constraints: 47689
1779.18/1784.82 c #Conflicts: 1514000 | #Constraints: 48689
1779.18/1784.82 c #Conflicts: 1515000 | #Constraints: 49689
1779.18/1784.82 c #Conflicts: 1516000 | #Constraints: 50689
1779.18/1784.82 c INPROCESSING
1779.18/1784.82 c GARBAGE COLLECT
1779.18/1784.82 c #Conflicts: 1517000 | #Constraints: 27286
1779.18/1784.82 c #Conflicts: 1518000 | #Constraints: 28286
1779.18/1784.82 c #Conflicts: 1519000 | #Constraints: 29286
1779.18/1784.82 c #Conflicts: 1520000 | #Constraints: 30286
1779.18/1784.82 c #Conflicts: 1521000 | #Constraints: 31286
1779.18/1784.82 c #Conflicts: 1522000 | #Constraints: 32286
1779.18/1784.82 c #Conflicts: 1523000 | #Constraints: 33286
1779.18/1784.82 c #Conflicts: 1524000 | #Constraints: 34286
1779.18/1784.82 c #Conflicts: 1525000 | #Constraints: 35286
1779.18/1784.82 c #Conflicts: 1526000 | #Constraints: 36286
1779.18/1784.82 c #Conflicts: 1527000 | #Constraints: 37286
1779.18/1784.82 c #Conflicts: 1528000 | #Constraints: 38286
1779.18/1784.82 c #Conflicts: 1529000 | #Constraints: 39286
1779.18/1784.82 c #Conflicts: 1530000 | #Constraints: 40286
1779.18/1784.82 c #Conflicts: 1531000 | #Constraints: 41286
1779.18/1784.82 c #Conflicts: 1532000 | #Constraints: 42286
1779.18/1784.82 c #Conflicts: 1533000 | #Constraints: 43286
1779.18/1784.82 c #Conflicts: 1534000 | #Constraints: 44286
1779.18/1784.82 c #Conflicts: 1535000 | #Constraints: 45286
1779.18/1784.82 c #Conflicts: 1536000 | #Constraints: 46286
1779.18/1784.82 c #Conflicts: 1537000 | #Constraints: 47286
1779.18/1784.82 c #Conflicts: 1538000 | #Constraints: 48286
1779.18/1784.82 c #Conflicts: 1539000 | #Constraints: 49286
1779.18/1784.82 c #Conflicts: 1540000 | #Constraints: 50286
1779.18/1784.82 c #Conflicts: 1541000 | #Constraints: 51286
1779.18/1784.82 c INPROCESSING
1779.18/1784.82 c GARBAGE COLLECT
1779.18/1784.82 c #Conflicts: 1542000 | #Constraints: 27684
1779.18/1784.82 c #Conflicts: 1543000 | #Constraints: 28684
1779.18/1784.82 c #Conflicts: 1544000 | #Constraints: 29684
1779.18/1784.82 c #Conflicts: 1545000 | #Constraints: 30684
1779.18/1784.82 c #Conflicts: 1546000 | #Constraints: 31684
1779.18/1784.82 c #Conflicts: 1547000 | #Constraints: 32684
1779.18/1784.82 c #Conflicts: 1548000 | #Constraints: 33684
1779.18/1784.82 c #Conflicts: 1549000 | #Constraints: 34684
1779.18/1784.82 c #Conflicts: 1550000 | #Constraints: 35684
1779.18/1784.82 c #Conflicts: 1551000 | #Constraints: 36684
1779.18/1784.82 c #Conflicts: 1552000 | #Constraints: 37684
1779.18/1784.82 c #Conflicts: 1553000 | #Constraints: 38684
1779.18/1784.82 c #Conflicts: 1554000 | #Constraints: 39684
1779.18/1784.82 c #Conflicts: 1555000 | #Constraints: 40684
1779.18/1784.82 c #Conflicts: 1556000 | #Constraints: 41684
1779.18/1784.82 c #Conflicts: 1557000 | #Constraints: 42684
1779.18/1784.82 c #Conflicts: 1558000 | #Constraints: 43684
1779.18/1784.82 c #Conflicts: 1559000 | #Constraints: 44684
1779.18/1784.82 c #Conflicts: 1560000 | #Constraints: 45684
1779.18/1784.82 c #Conflicts: 1561000 | #Constraints: 46684
1779.18/1784.82 c #Conflicts: 1562000 | #Constraints: 47684
1779.18/1784.82 c #Conflicts: 1563000 | #Constraints: 48684
1779.18/1784.82 c #Conflicts: 1564000 | #Constraints: 49684
1779.18/1784.82 c #Conflicts: 1565000 | #Constraints: 50684
1779.18/1784.82 c #Conflicts: 1566000 | #Constraints: 51684
1779.18/1784.82 c INPROCESSING
1779.18/1784.82 c GARBAGE COLLECT
1779.18/1784.82 c #Conflicts: 1567000 | #Constraints: 27887
1779.18/1784.82 c #Conflicts: 1568000 | #Constraints: 28887
1779.18/1784.82 c #Conflicts: 1569000 | #Constraints: 29887
1779.18/1784.82 c #Conflicts: 1570000 | #Constraints: 30887
1779.18/1784.82 c #Conflicts: 1571000 | #Constraints: 31887
1779.18/1784.82 c #Conflicts: 1572000 | #Constraints: 32887
1779.18/1784.82 c #Conflicts: 1573000 | #Constraints: 33887
1779.18/1784.82 c #Conflicts: 1574000 | #Constraints: 34887
1895.34/1901.32 c #Conflicts: 1575000 | #Constraints: 35887
1895.34/1901.32 c #Conflicts: 1576000 | #Constraints: 36887
1895.34/1901.32 c #Conflicts: 1577000 | #Constraints: 37887
1895.34/1901.32 c #Conflicts: 1578000 | #Constraints: 38887
1895.34/1901.32 c #Conflicts: 1579000 | #Constraints: 39887
1895.34/1901.32 c #Conflicts: 1580000 | #Constraints: 40887
1895.34/1901.32 c #Conflicts: 1581000 | #Constraints: 41887
1895.34/1901.32 c #Conflicts: 1582000 | #Constraints: 42887
1895.34/1901.32 c #Conflicts: 1583000 | #Constraints: 43887
1895.34/1901.32 c #Conflicts: 1584000 | #Constraints: 44887
1895.34/1901.32 c #Conflicts: 1585000 | #Constraints: 45887
1895.34/1901.32 c #Conflicts: 1586000 | #Constraints: 46887
1895.34/1901.32 c #Conflicts: 1587000 | #Constraints: 47887
1895.34/1901.32 c #Conflicts: 1588000 | #Constraints: 48887
1895.34/1901.32 c #Conflicts: 1589000 | #Constraints: 49887
1895.34/1901.32 c #Conflicts: 1590000 | #Constraints: 50887
1895.34/1901.32 c #Conflicts: 1591000 | #Constraints: 51887
1895.34/1901.32 c INPROCESSING
1895.34/1901.32 c GARBAGE COLLECT
1895.34/1901.32 c #Conflicts: 1592000 | #Constraints: 27887
1895.34/1901.32 c #Conflicts: 1593000 | #Constraints: 28887
1895.34/1901.32 c #Conflicts: 1594000 | #Constraints: 29887
1895.34/1901.32 c #Conflicts: 1595000 | #Constraints: 30887
1895.34/1901.32 c #Conflicts: 1596000 | #Constraints: 31887
1895.34/1901.32 c #Conflicts: 1597000 | #Constraints: 32887
1895.34/1901.32 c #Conflicts: 1598000 | #Constraints: 33887
1895.34/1901.32 c #Conflicts: 1599000 | #Constraints: 34887
1895.34/1901.32 c #Conflicts: 1600000 | #Constraints: 35887
1895.34/1901.32 c #Conflicts: 1601000 | #Constraints: 36887
1895.34/1901.32 c #Conflicts: 1602000 | #Constraints: 37887
1895.34/1901.32 c #Conflicts: 1603000 | #Constraints: 38887
1895.34/1901.32 c #Conflicts: 1604000 | #Constraints: 39887
1895.34/1901.32 c #Conflicts: 1605000 | #Constraints: 40887
1895.34/1901.32 c #Conflicts: 1606000 | #Constraints: 41887
1895.34/1901.32 c #Conflicts: 1607000 | #Constraints: 42887
1895.34/1901.32 c #Conflicts: 1608000 | #Constraints: 43887
1895.34/1901.32 c #Conflicts: 1609000 | #Constraints: 44887
1895.34/1901.32 c #Conflicts: 1610000 | #Constraints: 45887
1895.34/1901.32 c #Conflicts: 1611000 | #Constraints: 46887
1895.34/1901.32 c #Conflicts: 1612000 | #Constraints: 47887
1895.34/1901.32 c #Conflicts: 1613000 | #Constraints: 48887
1895.34/1901.32 c #Conflicts: 1614000 | #Constraints: 49887
1895.34/1901.32 c #Conflicts: 1615000 | #Constraints: 50887
1895.34/1901.32 c #Conflicts: 1616000 | #Constraints: 51887
1895.34/1901.32 c INPROCESSING
1895.34/1901.32 c GARBAGE COLLECT
1895.34/1901.32 c #Conflicts: 1617000 | #Constraints: 27689
1895.34/1901.32 c #Conflicts: 1618000 | #Constraints: 28689
1895.34/1901.32 c #Conflicts: 1619000 | #Constraints: 29689
1895.34/1901.32 c #Conflicts: 1620000 | #Constraints: 30689
1895.34/1901.32 c #Conflicts: 1621000 | #Constraints: 31689
1895.34/1901.32 c #Conflicts: 1622000 | #Constraints: 32689
1895.34/1901.32 c #Conflicts: 1623000 | #Constraints: 33689
1895.34/1901.32 c #Conflicts: 1624000 | #Constraints: 34689
1895.34/1901.32 c #Conflicts: 1625000 | #Constraints: 35689
1895.34/1901.32 c #Conflicts: 1626000 | #Constraints: 36689
1895.34/1901.32 c #Conflicts: 1627000 | #Constraints: 37689
1895.34/1901.32 c #Conflicts: 1628000 | #Constraints: 38689
1895.34/1901.32 c #Conflicts: 1629000 | #Constraints: 39689
1895.34/1901.32 c #Conflicts: 1630000 | #Constraints: 40689
1895.34/1901.32 c #Conflicts: 1631000 | #Constraints: 41689
1895.34/1901.32 c #Conflicts: 1632000 | #Constraints: 42689
1895.34/1901.32 c #Conflicts: 1633000 | #Constraints: 43689
1895.34/1901.32 c #Conflicts: 1634000 | #Constraints: 44689
1895.34/1901.32 c #Conflicts: 1635000 | #Constraints: 45689
1895.34/1901.32 c #Conflicts: 1636000 | #Constraints: 46689
1895.34/1901.32 c #Conflicts: 1637000 | #Constraints: 47689
1895.34/1901.32 c #Conflicts: 1638000 | #Constraints: 48689
1895.34/1901.32 c #Conflicts: 1639000 | #Constraints: 49689
1895.34/1901.32 c #Conflicts: 1640000 | #Constraints: 50689
1895.34/1901.32 c #Conflicts: 1641000 | #Constraints: 51689
1895.34/1901.32 c #Conflicts: 1642000 | #Constraints: 52689
1895.34/1901.32 c INPROCESSING
1895.34/1901.32 c GARBAGE COLLECT
1895.34/1901.32 c #Conflicts: 1643000 | #Constraints: 28289
1895.34/1901.32 c #Conflicts: 1644000 | #Constraints: 29289
1895.34/1901.32 c #Conflicts: 1645000 | #Constraints: 30289
1895.34/1901.32 c #Conflicts: 1646000 | #Constraints: 31289
1895.34/1901.32 c #Conflicts: 1647000 | #Constraints: 32289
1895.34/1901.32 c #Conflicts: 1648000 | #Constraints: 33289
1895.34/1901.32 c #Conflicts: 1649000 | #Constraints: 34289
1895.34/1901.32 c #Conflicts: 1650000 | #Constraints: 35289
2031.23/2037.67 c #Conflicts: 1651000 | #Constraints: 36289
2031.23/2037.67 c #Conflicts: 1652000 | #Constraints: 37289
2031.23/2037.67 c #Conflicts: 1653000 | #Constraints: 38289
2031.23/2037.67 c #Conflicts: 1654000 | #Constraints: 39289
2031.23/2037.67 c #Conflicts: 1655000 | #Constraints: 40289
2031.23/2037.67 c #Conflicts: 1656000 | #Constraints: 41289
2031.23/2037.67 c #Conflicts: 1657000 | #Constraints: 42289
2031.23/2037.67 c #Conflicts: 1658000 | #Constraints: 43289
2031.23/2037.67 c #Conflicts: 1659000 | #Constraints: 44289
2031.23/2037.67 c #Conflicts: 1660000 | #Constraints: 45289
2031.23/2037.67 c #Conflicts: 1661000 | #Constraints: 46289
2031.23/2037.67 c #Conflicts: 1662000 | #Constraints: 47289
2031.23/2037.67 c #Conflicts: 1663000 | #Constraints: 48289
2031.23/2037.67 c #Conflicts: 1664000 | #Constraints: 49289
2031.23/2037.67 c #Conflicts: 1665000 | #Constraints: 50289
2031.23/2037.67 c #Conflicts: 1666000 | #Constraints: 51289
2031.23/2037.67 c #Conflicts: 1667000 | #Constraints: 52289
2031.23/2037.67 c #Conflicts: 1668000 | #Constraints: 53289
2031.23/2037.67 c INPROCESSING
2031.23/2037.67 c GARBAGE COLLECT
2031.23/2037.67 c #Conflicts: 1669000 | #Constraints: 28687
2031.23/2037.67 c #Conflicts: 1670000 | #Constraints: 29687
2031.23/2037.67 c #Conflicts: 1671000 | #Constraints: 30687
2031.23/2037.67 c #Conflicts: 1672000 | #Constraints: 31687
2031.23/2037.67 c #Conflicts: 1673000 | #Constraints: 32687
2031.23/2037.67 c #Conflicts: 1674000 | #Constraints: 33687
2031.23/2037.67 c #Conflicts: 1675000 | #Constraints: 34687
2031.23/2037.67 c #Conflicts: 1676000 | #Constraints: 35687
2031.23/2037.67 c #Conflicts: 1677000 | #Constraints: 36687
2031.23/2037.67 c #Conflicts: 1678000 | #Constraints: 37687
2031.23/2037.67 c #Conflicts: 1679000 | #Constraints: 38687
2031.23/2037.67 c #Conflicts: 1680000 | #Constraints: 39687
2031.23/2037.67 c #Conflicts: 1681000 | #Constraints: 40687
2031.23/2037.67 c #Conflicts: 1682000 | #Constraints: 41687
2031.23/2037.67 c #Conflicts: 1683000 | #Constraints: 42687
2031.23/2037.67 c #Conflicts: 1684000 | #Constraints: 43687
2031.23/2037.67 c #Conflicts: 1685000 | #Constraints: 44687
2031.23/2037.67 c #Conflicts: 1686000 | #Constraints: 45687
2031.23/2037.67 c #Conflicts: 1687000 | #Constraints: 46687
2031.23/2037.67 c #Conflicts: 1688000 | #Constraints: 47687
2031.23/2037.67 c #Conflicts: 1689000 | #Constraints: 48687
2031.23/2037.67 c #Conflicts: 1690000 | #Constraints: 49687
2031.23/2037.67 c #Conflicts: 1691000 | #Constraints: 50687
2031.23/2037.67 c #Conflicts: 1692000 | #Constraints: 51687
2031.23/2037.67 c #Conflicts: 1693000 | #Constraints: 52687
2031.23/2037.67 c #Conflicts: 1694000 | #Constraints: 53687
2031.23/2037.67 c INPROCESSING
2031.23/2037.67 c GARBAGE COLLECT
2031.23/2037.67 c #Conflicts: 1695000 | #Constraints: 28889
2031.23/2037.67 c #Conflicts: 1696000 | #Constraints: 29889
2031.23/2037.67 c #Conflicts: 1697000 | #Constraints: 30889
2031.23/2037.67 c #Conflicts: 1698000 | #Constraints: 31889
2031.23/2037.67 c #Conflicts: 1699000 | #Constraints: 32889
2031.23/2037.67 c #Conflicts: 1700000 | #Constraints: 33889
2031.23/2037.67 c #Conflicts: 1701000 | #Constraints: 34889
2031.23/2037.67 c #Conflicts: 1702000 | #Constraints: 35889
2031.23/2037.67 c #Conflicts: 1703000 | #Constraints: 36889
2031.23/2037.67 c #Conflicts: 1704000 | #Constraints: 37889
2031.23/2037.67 c #Conflicts: 1705000 | #Constraints: 38889
2031.23/2037.67 c #Conflicts: 1706000 | #Constraints: 39889
2031.23/2037.67 c #Conflicts: 1707000 | #Constraints: 40889
2031.23/2037.67 c #Conflicts: 1708000 | #Constraints: 41889
2031.23/2037.67 c #Conflicts: 1709000 | #Constraints: 42889
2031.23/2037.67 c #Conflicts: 1710000 | #Constraints: 43889
2031.23/2037.67 c #Conflicts: 1711000 | #Constraints: 44889
2031.23/2037.67 c #Conflicts: 1712000 | #Constraints: 45889
2031.23/2037.67 c #Conflicts: 1713000 | #Constraints: 46889
2031.23/2037.67 c #Conflicts: 1714000 | #Constraints: 47889
2031.23/2037.67 c #Conflicts: 1715000 | #Constraints: 48889
2031.23/2037.67 c #Conflicts: 1716000 | #Constraints: 49889
2031.23/2037.67 c #Conflicts: 1717000 | #Constraints: 50889
2031.23/2037.67 c #Conflicts: 1718000 | #Constraints: 51889
2031.23/2037.67 c #Conflicts: 1719000 | #Constraints: 52889
2031.23/2037.67 c #Conflicts: 1720000 | #Constraints: 53889
2031.23/2037.67 c INPROCESSING
2031.23/2037.67 c GARBAGE COLLECT
2031.23/2037.67 c #Conflicts: 1721000 | #Constraints: 28888
2031.23/2037.67 c #Conflicts: 1722000 | #Constraints: 29888
2031.23/2037.67 c #Conflicts: 1723000 | #Constraints: 30888
2031.23/2037.67 c #Conflicts: 1724000 | #Constraints: 31888
2031.23/2037.67 c #Conflicts: 1725000 | #Constraints: 32888
2031.23/2037.67 c #Conflicts: 1726000 | #Constraints: 33888
2031.23/2037.67 c #Conflicts: 1727000 | #Constraints: 34888
2169.03/2175.89 c #Conflicts: 1728000 | #Constraints: 35888
2169.03/2175.89 c #Conflicts: 1729000 | #Constraints: 36888
2169.03/2175.89 c #Conflicts: 1730000 | #Constraints: 37888
2169.03/2175.89 c #Conflicts: 1731000 | #Constraints: 38888
2169.03/2175.89 c #Conflicts: 1732000 | #Constraints: 39888
2169.03/2175.89 c #Conflicts: 1733000 | #Constraints: 40888
2169.03/2175.89 c #Conflicts: 1734000 | #Constraints: 41888
2169.03/2175.89 c #Conflicts: 1735000 | #Constraints: 42888
2169.03/2175.89 c #Conflicts: 1736000 | #Constraints: 43888
2169.03/2175.89 c #Conflicts: 1737000 | #Constraints: 44888
2169.03/2175.89 c #Conflicts: 1738000 | #Constraints: 45888
2169.03/2175.89 c #Conflicts: 1739000 | #Constraints: 46888
2169.03/2175.89 c #Conflicts: 1740000 | #Constraints: 47888
2169.03/2175.89 c #Conflicts: 1741000 | #Constraints: 48888
2169.03/2175.89 c #Conflicts: 1742000 | #Constraints: 49888
2169.03/2175.89 c #Conflicts: 1743000 | #Constraints: 50888
2169.03/2175.89 c #Conflicts: 1744000 | #Constraints: 51888
2169.03/2175.89 c #Conflicts: 1745000 | #Constraints: 52888
2169.03/2175.89 c #Conflicts: 1746000 | #Constraints: 53888
2169.03/2175.89 c INPROCESSING
2169.03/2175.89 c GARBAGE COLLECT
2169.03/2175.89 c #Conflicts: 1747000 | #Constraints: 28684
2169.03/2175.89 c #Conflicts: 1748000 | #Constraints: 29684
2169.03/2175.89 c #Conflicts: 1749000 | #Constraints: 30684
2169.03/2175.89 c #Conflicts: 1750000 | #Constraints: 31684
2169.03/2175.89 c #Conflicts: 1751000 | #Constraints: 32684
2169.03/2175.89 c #Conflicts: 1752000 | #Constraints: 33684
2169.03/2175.89 c #Conflicts: 1753000 | #Constraints: 34684
2169.03/2175.89 c #Conflicts: 1754000 | #Constraints: 35684
2169.03/2175.89 c #Conflicts: 1755000 | #Constraints: 36684
2169.03/2175.89 c #Conflicts: 1756000 | #Constraints: 37684
2169.03/2175.89 c #Conflicts: 1757000 | #Constraints: 38684
2169.03/2175.89 c #Conflicts: 1758000 | #Constraints: 39684
2169.03/2175.89 c #Conflicts: 1759000 | #Constraints: 40684
2169.03/2175.89 c #Conflicts: 1760000 | #Constraints: 41684
2169.03/2175.89 c #Conflicts: 1761000 | #Constraints: 42684
2169.03/2175.89 c #Conflicts: 1762000 | #Constraints: 43684
2169.03/2175.89 c #Conflicts: 1763000 | #Constraints: 44684
2169.03/2175.89 c #Conflicts: 1764000 | #Constraints: 45684
2169.03/2175.89 c #Conflicts: 1765000 | #Constraints: 46684
2169.03/2175.89 c #Conflicts: 1766000 | #Constraints: 47684
2169.03/2175.89 c #Conflicts: 1767000 | #Constraints: 48684
2169.03/2175.89 c #Conflicts: 1768000 | #Constraints: 49684
2169.03/2175.89 c #Conflicts: 1769000 | #Constraints: 50684
2169.03/2175.89 c #Conflicts: 1770000 | #Constraints: 51684
2169.03/2175.89 c #Conflicts: 1771000 | #Constraints: 52684
2169.03/2175.89 c #Conflicts: 1772000 | #Constraints: 53684
2169.03/2175.89 c #Conflicts: 1773000 | #Constraints: 54684
2169.03/2175.89 c INPROCESSING
2169.03/2175.89 c GARBAGE COLLECT
2169.03/2175.89 c #Conflicts: 1774000 | #Constraints: 29286
2169.03/2175.89 c #Conflicts: 1775000 | #Constraints: 30286
2169.03/2175.89 c #Conflicts: 1776000 | #Constraints: 31286
2169.03/2175.89 c #Conflicts: 1777000 | #Constraints: 32286
2169.03/2175.89 c #Conflicts: 1778000 | #Constraints: 33286
2169.03/2175.89 c #Conflicts: 1779000 | #Constraints: 34286
2169.03/2175.89 c #Conflicts: 1780000 | #Constraints: 35286
2169.03/2175.89 c #Conflicts: 1781000 | #Constraints: 36286
2169.03/2175.89 c #Conflicts: 1782000 | #Constraints: 37286
2169.03/2175.89 c #Conflicts: 1783000 | #Constraints: 38286
2169.03/2175.89 c #Conflicts: 1784000 | #Constraints: 39286
2169.03/2175.89 c #Conflicts: 1785000 | #Constraints: 40286
2169.03/2175.89 c #Conflicts: 1786000 | #Constraints: 41286
2169.03/2175.89 c #Conflicts: 1787000 | #Constraints: 42286
2169.03/2175.89 c #Conflicts: 1788000 | #Constraints: 43286
2169.03/2175.89 c #Conflicts: 1789000 | #Constraints: 44286
2169.03/2175.89 c #Conflicts: 1790000 | #Constraints: 45286
2169.03/2175.89 c #Conflicts: 1791000 | #Constraints: 46286
2169.03/2175.89 c #Conflicts: 1792000 | #Constraints: 47286
2169.03/2175.89 c #Conflicts: 1793000 | #Constraints: 48286
2169.03/2175.89 c #Conflicts: 1794000 | #Constraints: 49286
2169.03/2175.89 c #Conflicts: 1795000 | #Constraints: 50286
2169.03/2175.89 c #Conflicts: 1796000 | #Constraints: 51286
2169.03/2175.89 c #Conflicts: 1797000 | #Constraints: 52286
2169.03/2175.89 c #Conflicts: 1798000 | #Constraints: 53286
2169.03/2175.89 c #Conflicts: 1799000 | #Constraints: 54286
2169.03/2175.89 c #Conflicts: 1800000 | #Constraints: 55286
2169.03/2175.89 c INPROCESSING
2169.03/2175.89 c GARBAGE COLLECT
2169.03/2175.89 c #Conflicts: 1801000 | #Constraints: 29688
2169.03/2175.89 c #Conflicts: 1802000 | #Constraints: 30688
2169.03/2175.89 c #Conflicts: 1803000 | #Constraints: 31688
2169.03/2175.89 c #Conflicts: 1804000 | #Constraints: 32688
2308.21/2315.40 c #Conflicts: 1805000 | #Constraints: 33688
2308.21/2315.40 c #Conflicts: 1806000 | #Constraints: 34688
2308.21/2315.40 c #Conflicts: 1807000 | #Constraints: 35688
2308.21/2315.40 c #Conflicts: 1808000 | #Constraints: 36688
2308.21/2315.40 c #Conflicts: 1809000 | #Constraints: 37688
2308.21/2315.40 c #Conflicts: 1810000 | #Constraints: 38688
2308.21/2315.40 c #Conflicts: 1811000 | #Constraints: 39688
2308.21/2315.40 c #Conflicts: 1812000 | #Constraints: 40688
2308.21/2315.40 c #Conflicts: 1813000 | #Constraints: 41688
2308.21/2315.40 c #Conflicts: 1814000 | #Constraints: 42688
2308.21/2315.40 c #Conflicts: 1815000 | #Constraints: 43688
2308.21/2315.40 c #Conflicts: 1816000 | #Constraints: 44688
2308.21/2315.40 c #Conflicts: 1817000 | #Constraints: 45688
2308.21/2315.40 c #Conflicts: 1818000 | #Constraints: 46688
2308.21/2315.40 c #Conflicts: 1819000 | #Constraints: 47688
2308.21/2315.40 c #Conflicts: 1820000 | #Constraints: 48688
2308.21/2315.40 c #Conflicts: 1821000 | #Constraints: 49688
2308.21/2315.40 c #Conflicts: 1822000 | #Constraints: 50688
2308.21/2315.40 c #Conflicts: 1823000 | #Constraints: 51688
2308.21/2315.40 c #Conflicts: 1824000 | #Constraints: 52688
2308.21/2315.40 c #Conflicts: 1825000 | #Constraints: 53688
2308.21/2315.40 c #Conflicts: 1826000 | #Constraints: 54688
2308.21/2315.40 c #Conflicts: 1827000 | #Constraints: 55688
2308.21/2315.40 c INPROCESSING
2308.21/2315.40 c GARBAGE COLLECT
2308.21/2315.40 c #Conflicts: 1828000 | #Constraints: 29892
2308.21/2315.40 c #Conflicts: 1829000 | #Constraints: 30892
2308.21/2315.40 c #Conflicts: 1830000 | #Constraints: 31892
2308.21/2315.40 c #Conflicts: 1831000 | #Constraints: 32892
2308.21/2315.40 c #Conflicts: 1832000 | #Constraints: 33892
2308.21/2315.40 c #Conflicts: 1833000 | #Constraints: 34892
2308.21/2315.40 c #Conflicts: 1834000 | #Constraints: 35892
2308.21/2315.40 c #Conflicts: 1835000 | #Constraints: 36892
2308.21/2315.40 c #Conflicts: 1836000 | #Constraints: 37892
2308.21/2315.40 c #Conflicts: 1837000 | #Constraints: 38892
2308.21/2315.40 c #Conflicts: 1838000 | #Constraints: 39892
2308.21/2315.40 c #Conflicts: 1839000 | #Constraints: 40892
2308.21/2315.40 c #Conflicts: 1840000 | #Constraints: 41892
2308.21/2315.40 c #Conflicts: 1841000 | #Constraints: 42892
2308.21/2315.40 c #Conflicts: 1842000 | #Constraints: 43892
2308.21/2315.40 c #Conflicts: 1843000 | #Constraints: 44892
2308.21/2315.40 c #Conflicts: 1844000 | #Constraints: 45892
2308.21/2315.40 c #Conflicts: 1845000 | #Constraints: 46892
2308.21/2315.40 c #Conflicts: 1846000 | #Constraints: 47892
2308.21/2315.40 c #Conflicts: 1847000 | #Constraints: 48892
2308.21/2315.40 c #Conflicts: 1848000 | #Constraints: 49892
2308.21/2315.40 c #Conflicts: 1849000 | #Constraints: 50892
2308.21/2315.40 c #Conflicts: 1850000 | #Constraints: 51892
2308.21/2315.40 c #Conflicts: 1851000 | #Constraints: 52892
2308.21/2315.40 c #Conflicts: 1852000 | #Constraints: 53892
2308.21/2315.40 c #Conflicts: 1853000 | #Constraints: 54892
2308.21/2315.40 c #Conflicts: 1854000 | #Constraints: 55892
2308.21/2315.40 c INPROCESSING
2308.21/2315.40 c GARBAGE COLLECT
2308.21/2315.40 c #Conflicts: 1855000 | #Constraints: 29892
2308.21/2315.40 c #Conflicts: 1856000 | #Constraints: 30892
2308.21/2315.40 c #Conflicts: 1857000 | #Constraints: 31892
2308.21/2315.40 c #Conflicts: 1858000 | #Constraints: 32892
2308.21/2315.40 c #Conflicts: 1859000 | #Constraints: 33892
2308.21/2315.40 c #Conflicts: 1860000 | #Constraints: 34892
2308.21/2315.40 c #Conflicts: 1861000 | #Constraints: 35892
2308.21/2315.40 c #Conflicts: 1862000 | #Constraints: 36892
2308.21/2315.40 c #Conflicts: 1863000 | #Constraints: 37892
2308.21/2315.40 c #Conflicts: 1864000 | #Constraints: 38892
2308.21/2315.40 c #Conflicts: 1865000 | #Constraints: 39892
2308.21/2315.40 c #Conflicts: 1866000 | #Constraints: 40892
2308.21/2315.40 c #Conflicts: 1867000 | #Constraints: 41892
2308.21/2315.40 c #Conflicts: 1868000 | #Constraints: 42892
2308.21/2315.40 c #Conflicts: 1869000 | #Constraints: 43892
2308.21/2315.40 c #Conflicts: 1870000 | #Constraints: 44892
2308.21/2315.40 c #Conflicts: 1871000 | #Constraints: 45892
2308.21/2315.40 c #Conflicts: 1872000 | #Constraints: 46892
2308.21/2315.40 c #Conflicts: 1873000 | #Constraints: 47892
2308.21/2315.40 c #Conflicts: 1874000 | #Constraints: 48892
2308.21/2315.40 c #Conflicts: 1875000 | #Constraints: 49892
2308.21/2315.40 c #Conflicts: 1876000 | #Constraints: 50892
2308.21/2315.40 c #Conflicts: 1877000 | #Constraints: 51892
2308.21/2315.40 c #Conflicts: 1878000 | #Constraints: 52892
2308.21/2315.40 c #Conflicts: 1879000 | #Constraints: 53892
2308.21/2315.40 c #Conflicts: 1880000 | #Constraints: 54892
2308.21/2315.40 c #Conflicts: 1881000 | #Constraints: 55892
2308.21/2315.40 c INPROCESSING
2451.69/2459.31 c GARBAGE COLLECT
2451.69/2459.31 c #Conflicts: 1882000 | #Constraints: 29688
2451.69/2459.31 c #Conflicts: 1883000 | #Constraints: 30688
2451.69/2459.31 c #Conflicts: 1884000 | #Constraints: 31688
2451.69/2459.31 c #Conflicts: 1885000 | #Constraints: 32688
2451.69/2459.31 c #Conflicts: 1886000 | #Constraints: 33688
2451.69/2459.31 c #Conflicts: 1887000 | #Constraints: 34688
2451.69/2459.31 c #Conflicts: 1888000 | #Constraints: 35688
2451.69/2459.31 c #Conflicts: 1889000 | #Constraints: 36688
2451.69/2459.31 c #Conflicts: 1890000 | #Constraints: 37688
2451.69/2459.31 c #Conflicts: 1891000 | #Constraints: 38688
2451.69/2459.31 c #Conflicts: 1892000 | #Constraints: 39688
2451.69/2459.31 c #Conflicts: 1893000 | #Constraints: 40688
2451.69/2459.31 c #Conflicts: 1894000 | #Constraints: 41688
2451.69/2459.31 c #Conflicts: 1895000 | #Constraints: 42688
2451.69/2459.31 c #Conflicts: 1896000 | #Constraints: 43688
2451.69/2459.31 c #Conflicts: 1897000 | #Constraints: 44688
2451.69/2459.31 c #Conflicts: 1898000 | #Constraints: 45688
2451.69/2459.31 c #Conflicts: 1899000 | #Constraints: 46688
2451.69/2459.31 c #Conflicts: 1900000 | #Constraints: 47688
2451.69/2459.31 c #Conflicts: 1901000 | #Constraints: 48688
2451.69/2459.31 c #Conflicts: 1902000 | #Constraints: 49688
2451.69/2459.31 c #Conflicts: 1903000 | #Constraints: 50688
2451.69/2459.31 c #Conflicts: 1904000 | #Constraints: 51688
2451.69/2459.31 c #Conflicts: 1905000 | #Constraints: 52688
2451.69/2459.31 c #Conflicts: 1906000 | #Constraints: 53688
2451.69/2459.31 c #Conflicts: 1907000 | #Constraints: 54688
2451.69/2459.31 c #Conflicts: 1908000 | #Constraints: 55688
2451.69/2459.31 c #Conflicts: 1909000 | #Constraints: 56688
2451.69/2459.31 c INPROCESSING
2451.69/2459.31 c GARBAGE COLLECT
2451.69/2459.31 c #Conflicts: 1910000 | #Constraints: 30288
2451.69/2459.31 c #Conflicts: 1911000 | #Constraints: 31288
2451.69/2459.31 c #Conflicts: 1912000 | #Constraints: 32288
2451.69/2459.31 c #Conflicts: 1913000 | #Constraints: 33288
2451.69/2459.31 c #Conflicts: 1914000 | #Constraints: 34288
2451.69/2459.31 c #Conflicts: 1915000 | #Constraints: 35288
2451.69/2459.31 c #Conflicts: 1916000 | #Constraints: 36288
2451.69/2459.31 c #Conflicts: 1917000 | #Constraints: 37288
2451.69/2459.31 c #Conflicts: 1918000 | #Constraints: 38288
2451.69/2459.31 c #Conflicts: 1919000 | #Constraints: 39288
2451.69/2459.31 c #Conflicts: 1920000 | #Constraints: 40288
2451.69/2459.31 c #Conflicts: 1921000 | #Constraints: 41288
2451.69/2459.31 c #Conflicts: 1922000 | #Constraints: 42288
2451.69/2459.31 c #Conflicts: 1923000 | #Constraints: 43288
2451.69/2459.31 c #Conflicts: 1924000 | #Constraints: 44288
2451.69/2459.31 c #Conflicts: 1925000 | #Constraints: 45288
2451.69/2459.31 c #Conflicts: 1926000 | #Constraints: 46288
2451.69/2459.31 c #Conflicts: 1927000 | #Constraints: 47288
2451.69/2459.31 c #Conflicts: 1928000 | #Constraints: 48288
2451.69/2459.31 c #Conflicts: 1929000 | #Constraints: 49288
2451.69/2459.31 c #Conflicts: 1930000 | #Constraints: 50288
2451.69/2459.31 c #Conflicts: 1931000 | #Constraints: 51288
2451.69/2459.31 c #Conflicts: 1932000 | #Constraints: 52288
2451.69/2459.31 c #Conflicts: 1933000 | #Constraints: 53288
2451.69/2459.31 c #Conflicts: 1934000 | #Constraints: 54288
2451.69/2459.31 c #Conflicts: 1935000 | #Constraints: 55288
2451.69/2459.31 c #Conflicts: 1936000 | #Constraints: 56288
2451.69/2459.31 c #Conflicts: 1937000 | #Constraints: 57288
2451.69/2459.31 c INPROCESSING
2451.69/2459.31 c GARBAGE COLLECT
2451.69/2459.31 c #Conflicts: 1938000 | #Constraints: 30685
2451.69/2459.31 c #Conflicts: 1939000 | #Constraints: 31685
2451.69/2459.31 c #Conflicts: 1940000 | #Constraints: 32685
2451.69/2459.31 c #Conflicts: 1941000 | #Constraints: 33685
2451.69/2459.31 c #Conflicts: 1942000 | #Constraints: 34685
2451.69/2459.31 c #Conflicts: 1943000 | #Constraints: 35685
2451.69/2459.31 c #Conflicts: 1944000 | #Constraints: 36685
2451.69/2459.31 c #Conflicts: 1945000 | #Constraints: 37685
2451.69/2459.31 c #Conflicts: 1946000 | #Constraints: 38685
2451.69/2459.31 c #Conflicts: 1947000 | #Constraints: 39685
2451.69/2459.31 c #Conflicts: 1948000 | #Constraints: 40685
2451.69/2459.31 c #Conflicts: 1949000 | #Constraints: 41685
2451.69/2459.31 c #Conflicts: 1950000 | #Constraints: 42685
2451.69/2459.31 c #Conflicts: 1951000 | #Constraints: 43685
2451.69/2459.31 c #Conflicts: 1952000 | #Constraints: 44685
2451.69/2459.31 c #Conflicts: 1953000 | #Constraints: 45685
2451.69/2459.31 c #Conflicts: 1954000 | #Constraints: 46685
2451.69/2459.31 c #Conflicts: 1955000 | #Constraints: 47685
2451.69/2459.31 c #Conflicts: 1956000 | #Constraints: 48685
2451.69/2459.31 c #Conflicts: 1957000 | #Constraints: 49685
2451.69/2459.31 c #Conflicts: 1958000 | #Constraints: 50685
2451.69/2459.31 c #Conflicts: 1959000 | #Constraints: 51685
2600.53/2608.61 c #Conflicts: 1960000 | #Constraints: 52685
2600.53/2608.61 c #Conflicts: 1961000 | #Constraints: 53685
2600.53/2608.61 c #Conflicts: 1962000 | #Constraints: 54685
2600.53/2608.61 c #Conflicts: 1963000 | #Constraints: 55685
2600.53/2608.61 c #Conflicts: 1964000 | #Constraints: 56685
2600.53/2608.61 c #Conflicts: 1965000 | #Constraints: 57685
2600.53/2608.61 c INPROCESSING
2600.53/2608.61 c GARBAGE COLLECT
2600.53/2608.61 c #Conflicts: 1966000 | #Constraints: 30885
2600.53/2608.61 c #Conflicts: 1967000 | #Constraints: 31885
2600.53/2608.61 c #Conflicts: 1968000 | #Constraints: 32885
2600.53/2608.61 c #Conflicts: 1969000 | #Constraints: 33885
2600.53/2608.61 c #Conflicts: 1970000 | #Constraints: 34885
2600.53/2608.61 c #Conflicts: 1971000 | #Constraints: 35885
2600.53/2608.61 c #Conflicts: 1972000 | #Constraints: 36885
2600.53/2608.61 c #Conflicts: 1973000 | #Constraints: 37885
2600.53/2608.61 c #Conflicts: 1974000 | #Constraints: 38885
2600.53/2608.61 c #Conflicts: 1975000 | #Constraints: 39885
2600.53/2608.61 c #Conflicts: 1976000 | #Constraints: 40885
2600.53/2608.61 c #Conflicts: 1977000 | #Constraints: 41885
2600.53/2608.61 c #Conflicts: 1978000 | #Constraints: 42885
2600.53/2608.61 c #Conflicts: 1979000 | #Constraints: 43885
2600.53/2608.61 c #Conflicts: 1980000 | #Constraints: 44885
2600.53/2608.61 c #Conflicts: 1981000 | #Constraints: 45885
2600.53/2608.61 c #Conflicts: 1982000 | #Constraints: 46885
2600.53/2608.61 c #Conflicts: 1983000 | #Constraints: 47885
2600.53/2608.61 c #Conflicts: 1984000 | #Constraints: 48885
2600.53/2608.61 c #Conflicts: 1985000 | #Constraints: 49885
2600.53/2608.61 c #Conflicts: 1986000 | #Constraints: 50885
2600.53/2608.61 c #Conflicts: 1987000 | #Constraints: 51885
2600.53/2608.61 c #Conflicts: 1988000 | #Constraints: 52885
2600.53/2608.61 c #Conflicts: 1989000 | #Constraints: 53885
2600.53/2608.61 c #Conflicts: 1990000 | #Constraints: 54885
2600.53/2608.61 c #Conflicts: 1991000 | #Constraints: 55885
2600.53/2608.61 c #Conflicts: 1992000 | #Constraints: 56885
2600.53/2608.61 c #Conflicts: 1993000 | #Constraints: 57885
2600.53/2608.61 c INPROCESSING
2600.53/2608.61 c GARBAGE COLLECT
2600.53/2608.61 c #Conflicts: 1994000 | #Constraints: 30889
2600.53/2608.61 c #Conflicts: 1995000 | #Constraints: 31889
2600.53/2608.61 c #Conflicts: 1996000 | #Constraints: 32889
2600.53/2608.61 c #Conflicts: 1997000 | #Constraints: 33889
2600.53/2608.61 c #Conflicts: 1998000 | #Constraints: 34889
2600.53/2608.61 c #Conflicts: 1999000 | #Constraints: 35889
2600.53/2608.61 c #Conflicts: 2000000 | #Constraints: 36889
2600.53/2608.61 c #Conflicts: 2001000 | #Constraints: 37889
2600.53/2608.61 c #Conflicts: 2002000 | #Constraints: 38889
2600.53/2608.61 c #Conflicts: 2003000 | #Constraints: 39889
2600.53/2608.61 c #Conflicts: 2004000 | #Constraints: 40889
2600.53/2608.61 c #Conflicts: 2005000 | #Constraints: 41889
2600.53/2608.61 c #Conflicts: 2006000 | #Constraints: 42889
2600.53/2608.61 c #Conflicts: 2007000 | #Constraints: 43889
2600.53/2608.61 c #Conflicts: 2008000 | #Constraints: 44889
2600.53/2608.61 c #Conflicts: 2009000 | #Constraints: 45889
2600.53/2608.61 c #Conflicts: 2010000 | #Constraints: 46889
2600.53/2608.61 c #Conflicts: 2011000 | #Constraints: 47889
2600.53/2608.61 c #Conflicts: 2012000 | #Constraints: 48889
2600.53/2608.61 c #Conflicts: 2013000 | #Constraints: 49889
2600.53/2608.61 c #Conflicts: 2014000 | #Constraints: 50889
2600.53/2608.61 c #Conflicts: 2015000 | #Constraints: 51889
2600.53/2608.61 c #Conflicts: 2016000 | #Constraints: 52889
2600.53/2608.61 c #Conflicts: 2017000 | #Constraints: 53889
2600.53/2608.61 c #Conflicts: 2018000 | #Constraints: 54889
2600.53/2608.61 c #Conflicts: 2019000 | #Constraints: 55889
2600.53/2608.61 c #Conflicts: 2020000 | #Constraints: 56889
2600.53/2608.61 c #Conflicts: 2021000 | #Constraints: 57889
2600.53/2608.61 c INPROCESSING
2600.53/2608.61 c GARBAGE COLLECT
2600.53/2608.61 c #Conflicts: 2022000 | #Constraints: 30686
2600.53/2608.61 c #Conflicts: 2023000 | #Constraints: 31686
2600.53/2608.61 c #Conflicts: 2024000 | #Constraints: 32686
2600.53/2608.61 c #Conflicts: 2025000 | #Constraints: 33686
2600.53/2608.61 c #Conflicts: 2026000 | #Constraints: 34686
2600.53/2608.61 c #Conflicts: 2027000 | #Constraints: 35686
2600.53/2608.61 c #Conflicts: 2028000 | #Constraints: 36686
2600.53/2608.61 c #Conflicts: 2029000 | #Constraints: 37686
2600.53/2608.61 c #Conflicts: 2030000 | #Constraints: 38686
2600.53/2608.61 c #Conflicts: 2031000 | #Constraints: 39686
2600.53/2608.61 c #Conflicts: 2032000 | #Constraints: 40686
2600.53/2608.61 c #Conflicts: 2033000 | #Constraints: 41686
2600.53/2608.61 c #Conflicts: 2034000 | #Constraints: 42686
2600.53/2608.61 c #Conflicts: 2035000 | #Constraints: 43686
2754.07/2762.66 c #Conflicts: 2036000 | #Constraints: 44686
2754.07/2762.66 c #Conflicts: 2037000 | #Constraints: 45686
2754.07/2762.66 c #Conflicts: 2038000 | #Constraints: 46686
2754.07/2762.66 c #Conflicts: 2039000 | #Constraints: 47686
2754.07/2762.66 c #Conflicts: 2040000 | #Constraints: 48686
2754.07/2762.66 c #Conflicts: 2041000 | #Constraints: 49686
2754.07/2762.66 c #Conflicts: 2042000 | #Constraints: 50686
2754.07/2762.66 c #Conflicts: 2043000 | #Constraints: 51686
2754.07/2762.66 c #Conflicts: 2044000 | #Constraints: 52686
2754.07/2762.66 c #Conflicts: 2045000 | #Constraints: 53686
2754.07/2762.66 c #Conflicts: 2046000 | #Constraints: 54686
2754.07/2762.66 c #Conflicts: 2047000 | #Constraints: 55686
2754.07/2762.66 c #Conflicts: 2048000 | #Constraints: 56686
2754.07/2762.66 c #Conflicts: 2049000 | #Constraints: 57686
2754.07/2762.66 c #Conflicts: 2050000 | #Constraints: 58686
2754.07/2762.66 c INPROCESSING
2754.07/2762.66 c GARBAGE COLLECT
2754.07/2762.66 c #Conflicts: 2051000 | #Constraints: 31287
2754.07/2762.66 c #Conflicts: 2052000 | #Constraints: 32287
2754.07/2762.66 c #Conflicts: 2053000 | #Constraints: 33287
2754.07/2762.66 c #Conflicts: 2054000 | #Constraints: 34287
2754.07/2762.66 c #Conflicts: 2055000 | #Constraints: 35287
2754.07/2762.66 c #Conflicts: 2056000 | #Constraints: 36287
2754.07/2762.66 c #Conflicts: 2057000 | #Constraints: 37287
2754.07/2762.66 c #Conflicts: 2058000 | #Constraints: 38287
2754.07/2762.66 c #Conflicts: 2059000 | #Constraints: 39287
2754.07/2762.66 c #Conflicts: 2060000 | #Constraints: 40287
2754.07/2762.66 c #Conflicts: 2061000 | #Constraints: 41287
2754.07/2762.66 c #Conflicts: 2062000 | #Constraints: 42287
2754.07/2762.66 c #Conflicts: 2063000 | #Constraints: 43287
2754.07/2762.66 c #Conflicts: 2064000 | #Constraints: 44287
2754.07/2762.66 c #Conflicts: 2065000 | #Constraints: 45287
2754.07/2762.66 c #Conflicts: 2066000 | #Constraints: 46287
2754.07/2762.66 c #Conflicts: 2067000 | #Constraints: 47287
2754.07/2762.66 c #Conflicts: 2068000 | #Constraints: 48287
2754.07/2762.66 c #Conflicts: 2069000 | #Constraints: 49287
2754.07/2762.66 c #Conflicts: 2070000 | #Constraints: 50287
2754.07/2762.66 c #Conflicts: 2071000 | #Constraints: 51287
2754.07/2762.66 c #Conflicts: 2072000 | #Constraints: 52287
2754.07/2762.66 c #Conflicts: 2073000 | #Constraints: 53287
2754.07/2762.66 c #Conflicts: 2074000 | #Constraints: 54287
2754.07/2762.66 c #Conflicts: 2075000 | #Constraints: 55287
2754.07/2762.66 c #Conflicts: 2076000 | #Constraints: 56287
2754.07/2762.66 c #Conflicts: 2077000 | #Constraints: 57287
2754.07/2762.66 c #Conflicts: 2078000 | #Constraints: 58287
2754.07/2762.66 c #Conflicts: 2079000 | #Constraints: 59287
2754.07/2762.66 c INPROCESSING
2754.07/2762.66 c GARBAGE COLLECT
2754.07/2762.66 c #Conflicts: 2080000 | #Constraints: 31690
2754.07/2762.66 c #Conflicts: 2081000 | #Constraints: 32690
2754.07/2762.66 c #Conflicts: 2082000 | #Constraints: 33690
2754.07/2762.66 c #Conflicts: 2083000 | #Constraints: 34690
2754.07/2762.66 c #Conflicts: 2084000 | #Constraints: 35690
2754.07/2762.66 c #Conflicts: 2085000 | #Constraints: 36690
2754.07/2762.66 c #Conflicts: 2086000 | #Constraints: 37690
2754.07/2762.66 c #Conflicts: 2087000 | #Constraints: 38690
2754.07/2762.66 c #Conflicts: 2088000 | #Constraints: 39690
2754.07/2762.66 c #Conflicts: 2089000 | #Constraints: 40690
2754.07/2762.66 c #Conflicts: 2090000 | #Constraints: 41690
2754.07/2762.66 c #Conflicts: 2091000 | #Constraints: 42690
2754.07/2762.66 c #Conflicts: 2092000 | #Constraints: 43690
2754.07/2762.66 c #Conflicts: 2093000 | #Constraints: 44690
2754.07/2762.66 c #Conflicts: 2094000 | #Constraints: 45690
2754.07/2762.66 c #Conflicts: 2095000 | #Constraints: 46690
2754.07/2762.66 c #Conflicts: 2096000 | #Constraints: 47690
2754.07/2762.66 c #Conflicts: 2097000 | #Constraints: 48690
2754.07/2762.66 c #Conflicts: 2098000 | #Constraints: 49690
2754.07/2762.66 c #Conflicts: 2099000 | #Constraints: 50690
2754.07/2762.66 c #Conflicts: 2100000 | #Constraints: 51690
2754.07/2762.66 c #Conflicts: 2101000 | #Constraints: 52690
2754.07/2762.66 c #Conflicts: 2102000 | #Constraints: 53690
2754.07/2762.66 c #Conflicts: 2103000 | #Constraints: 54690
2754.07/2762.66 c #Conflicts: 2104000 | #Constraints: 55690
2754.07/2762.66 c #Conflicts: 2105000 | #Constraints: 56690
2754.07/2762.66 c #Conflicts: 2106000 | #Constraints: 57690
2754.07/2762.66 c #Conflicts: 2107000 | #Constraints: 58690
2754.07/2762.66 c #Conflicts: 2108000 | #Constraints: 59690
2754.07/2762.66 c INPROCESSING
2754.07/2762.66 c GARBAGE COLLECT
2754.07/2762.66 c #Conflicts: 2109000 | #Constraints: 31889
2754.07/2762.66 c #Conflicts: 2110000 | #Constraints: 32889
2754.07/2762.66 c #Conflicts: 2111000 | #Constraints: 33889
2754.07/2762.66 c #Conflicts: 2112000 | #Constraints: 34889
2891.06/2900.02 c #Conflicts: 2113000 | #Constraints: 35889
2891.06/2900.02 c #Conflicts: 2114000 | #Constraints: 36889
2891.06/2900.02 c #Conflicts: 2115000 | #Constraints: 37889
2891.06/2900.02 c #Conflicts: 2116000 | #Constraints: 38889
2891.06/2900.02 c #Conflicts: 2117000 | #Constraints: 39889
2891.06/2900.02 c #Conflicts: 2118000 | #Constraints: 40889
2891.06/2900.02 c #Conflicts: 2119000 | #Constraints: 41889
2891.06/2900.02 c #Conflicts: 2120000 | #Constraints: 42889
2891.06/2900.02 c #Conflicts: 2121000 | #Constraints: 43889
2891.06/2900.02 c #Conflicts: 2122000 | #Constraints: 44889
2891.06/2900.02 c #Conflicts: 2123000 | #Constraints: 45889
2891.06/2900.02 c #Conflicts: 2124000 | #Constraints: 46889
2891.06/2900.02 c #Conflicts: 2125000 | #Constraints: 47889
2891.06/2900.02 c #Conflicts: 2126000 | #Constraints: 48889
2891.06/2900.02 c #Conflicts: 2127000 | #Constraints: 49889
2891.06/2900.02 c #Conflicts: 2128000 | #Constraints: 50889
2891.06/2900.02 c #Conflicts: 2129000 | #Constraints: 51889
2891.06/2900.02 c #Conflicts: 2130000 | #Constraints: 52889
2891.06/2900.02 c #Conflicts: 2131000 | #Constraints: 53889
2891.06/2900.02 c #Conflicts: 2132000 | #Constraints: 54889
2891.06/2900.02 c #Conflicts: 2133000 | #Constraints: 55889
2891.06/2900.02 c #Conflicts: 2134000 | #Constraints: 56889
2891.06/2900.02 c #Conflicts: 2135000 | #Constraints: 57889
2891.06/2900.02 c #Conflicts: 2136000 | #Constraints: 58889
2891.06/2900.02 c #Conflicts: 2137000 | #Constraints: 59889
2891.06/2900.02 c INPROCESSING
2891.06/2900.02 c GARBAGE COLLECT
2891.06/2900.02 c #Conflicts: 2138000 | #Constraints: 31893
2891.06/2900.02 c #Conflicts: 2139000 | #Constraints: 32893
2891.06/2900.02 c #Conflicts: 2140000 | #Constraints: 33893
2891.06/2900.02 c #Conflicts: 2141000 | #Constraints: 34893
2891.06/2900.02 c #Conflicts: 2142000 | #Constraints: 35893
2891.06/2900.02 c #Conflicts: 2143000 | #Constraints: 36893
2891.06/2900.02 c #Conflicts: 2144000 | #Constraints: 37893
2891.06/2900.02 c #Conflicts: 2145000 | #Constraints: 38893
2891.06/2900.02 c #Conflicts: 2146000 | #Constraints: 39893
2891.06/2900.02 c #Conflicts: 2147000 | #Constraints: 40893
2891.06/2900.02 c #Conflicts: 2148000 | #Constraints: 41893
2891.06/2900.02 c #Conflicts: 2149000 | #Constraints: 42893
2891.06/2900.02 c #Conflicts: 2150000 | #Constraints: 43893
2891.06/2900.02 c #Conflicts: 2151000 | #Constraints: 44893
2891.06/2900.02 c #Conflicts: 2152000 | #Constraints: 45893
2891.06/2900.02 c #Conflicts: 2153000 | #Constraints: 46893
2891.06/2900.02 c #Conflicts: 2154000 | #Constraints: 47893
2891.06/2900.02 c #Conflicts: 2155000 | #Constraints: 48893
2891.06/2900.02 c #Conflicts: 2156000 | #Constraints: 49893
2891.06/2900.02 c #Conflicts: 2157000 | #Constraints: 50893
2891.06/2900.02 c #Conflicts: 2158000 | #Constraints: 51893
2891.06/2900.02 c #Conflicts: 2159000 | #Constraints: 52893
2891.06/2900.02 c #Conflicts: 2160000 | #Constraints: 53893
2891.06/2900.02 c #Conflicts: 2161000 | #Constraints: 54893
2891.06/2900.02 c #Conflicts: 2162000 | #Constraints: 55893
2891.06/2900.02 c #Conflicts: 2163000 | #Constraints: 56893
2891.06/2900.02 c #Conflicts: 2164000 | #Constraints: 57893
2891.06/2900.02 c #Conflicts: 2165000 | #Constraints: 58893
2891.06/2900.02 c #Conflicts: 2166000 | #Constraints: 59893
2891.06/2900.02 c INPROCESSING
2891.06/2900.02 c GARBAGE COLLECT
2891.06/2900.02 c #Conflicts: 2167000 | #Constraints: 31691
2891.06/2900.02 c #Conflicts: 2168000 | #Constraints: 32691
2891.06/2900.02 c #Conflicts: 2169000 | #Constraints: 33691
2891.06/2900.02 c #Conflicts: 2170000 | #Constraints: 34691
2891.06/2900.02 c #Conflicts: 2171000 | #Constraints: 35691
2891.06/2900.02 c #Conflicts: 2172000 | #Constraints: 36691
2891.06/2900.02 c #Conflicts: 2173000 | #Constraints: 37691
2891.06/2900.02 c #Conflicts: 2174000 | #Constraints: 38691
2891.06/2900.02 c #Conflicts: 2175000 | #Constraints: 39691
2891.06/2900.02 c #Conflicts: 2176000 | #Constraints: 40691
2891.06/2900.02 c #Conflicts: 2177000 | #Constraints: 41691
2891.06/2900.02 c #Conflicts: 2178000 | #Constraints: 42691
2891.06/2900.02 c #Conflicts: 2179000 | #Constraints: 43691
2891.06/2900.02 c #Conflicts: 2180000 | #Constraints: 44691
2891.06/2900.02 c #Conflicts: 2181000 | #Constraints: 45691
2891.06/2900.02 c #Conflicts: 2182000 | #Constraints: 46691
2891.06/2900.02 c #Conflicts: 2183000 | #Constraints: 47691
2891.06/2900.02 c #Conflicts: 2184000 | #Constraints: 48691
2891.06/2900.02 c #Conflicts: 2185000 | #Constraints: 49691
2891.06/2900.02 c #Conflicts: 2186000 | #Constraints: 50691
2891.06/2900.02 c #Conflicts: 2187000 | #Constraints: 51691
2891.06/2900.02 c #Conflicts: 2188000 | #Constraints: 52691
2891.06/2900.02 c #Conflicts: 2189000 | #Constraints: 53691
2891.06/2900.02 c #Conflicts: 2190000 | #Constraints: 54691
3038.71/3048.13 c #Conflicts: 2191000 | #Constraints: 55691
3038.71/3048.13 c #Conflicts: 2192000 | #Constraints: 56691
3038.71/3048.13 c #Conflicts: 2193000 | #Constraints: 57691
3038.71/3048.13 c #Conflicts: 2194000 | #Constraints: 58691
3038.71/3048.13 c #Conflicts: 2195000 | #Constraints: 59691
3038.71/3048.13 c #Conflicts: 2196000 | #Constraints: 60691
3038.71/3048.13 c INPROCESSING
3038.71/3048.13 c GARBAGE COLLECT
3038.71/3048.13 c #Conflicts: 2197000 | #Constraints: 32293
3038.71/3048.13 c #Conflicts: 2198000 | #Constraints: 33293
3038.71/3048.13 c #Conflicts: 2199000 | #Constraints: 34293
3038.71/3048.13 c #Conflicts: 2200000 | #Constraints: 35293
3038.71/3048.13 c #Conflicts: 2201000 | #Constraints: 36293
3038.71/3048.13 c #Conflicts: 2202000 | #Constraints: 37293
3038.71/3048.13 c #Conflicts: 2203000 | #Constraints: 38293
3038.71/3048.13 c #Conflicts: 2204000 | #Constraints: 39293
3038.71/3048.13 c #Conflicts: 2205000 | #Constraints: 40293
3038.71/3048.13 c #Conflicts: 2206000 | #Constraints: 41293
3038.71/3048.13 c #Conflicts: 2207000 | #Constraints: 42293
3038.71/3048.13 c #Conflicts: 2208000 | #Constraints: 43293
3038.71/3048.13 c #Conflicts: 2209000 | #Constraints: 44293
3038.71/3048.13 c #Conflicts: 2210000 | #Constraints: 45293
3038.71/3048.13 c #Conflicts: 2211000 | #Constraints: 46293
3038.71/3048.13 c #Conflicts: 2212000 | #Constraints: 47293
3038.71/3048.13 c #Conflicts: 2213000 | #Constraints: 48293
3038.71/3048.13 c #Conflicts: 2214000 | #Constraints: 49293
3038.71/3048.13 c #Conflicts: 2215000 | #Constraints: 50293
3038.71/3048.13 c #Conflicts: 2216000 | #Constraints: 51293
3038.71/3048.13 c #Conflicts: 2217000 | #Constraints: 52293
3038.71/3048.13 c #Conflicts: 2218000 | #Constraints: 53293
3038.71/3048.13 c #Conflicts: 2219000 | #Constraints: 54293
3038.71/3048.13 c #Conflicts: 2220000 | #Constraints: 55293
3038.71/3048.13 c #Conflicts: 2221000 | #Constraints: 56293
3038.71/3048.13 c #Conflicts: 2222000 | #Constraints: 57293
3038.71/3048.13 c #Conflicts: 2223000 | #Constraints: 58293
3038.71/3048.13 c #Conflicts: 2224000 | #Constraints: 59293
3038.71/3048.13 c #Conflicts: 2225000 | #Constraints: 60293
3038.71/3048.13 c #Conflicts: 2226000 | #Constraints: 61293
3038.71/3048.13 c INPROCESSING
3038.71/3048.13 c GARBAGE COLLECT
3038.71/3048.13 c #Conflicts: 2227000 | #Constraints: 32692
3038.71/3048.13 c #Conflicts: 2228000 | #Constraints: 33692
3038.71/3048.13 c #Conflicts: 2229000 | #Constraints: 34692
3038.71/3048.13 c #Conflicts: 2230000 | #Constraints: 35692
3038.71/3048.13 c #Conflicts: 2231000 | #Constraints: 36692
3038.71/3048.13 c #Conflicts: 2232000 | #Constraints: 37692
3038.71/3048.13 c #Conflicts: 2233000 | #Constraints: 38692
3038.71/3048.13 c #Conflicts: 2234000 | #Constraints: 39692
3038.71/3048.13 c #Conflicts: 2235000 | #Constraints: 40692
3038.71/3048.13 c #Conflicts: 2236000 | #Constraints: 41692
3038.71/3048.13 c #Conflicts: 2237000 | #Constraints: 42692
3038.71/3048.13 c #Conflicts: 2238000 | #Constraints: 43692
3038.71/3048.13 c #Conflicts: 2239000 | #Constraints: 44692
3038.71/3048.13 c #Conflicts: 2240000 | #Constraints: 45692
3038.71/3048.13 c #Conflicts: 2241000 | #Constraints: 46692
3038.71/3048.13 c #Conflicts: 2242000 | #Constraints: 47692
3038.71/3048.13 c #Conflicts: 2243000 | #Constraints: 48692
3038.71/3048.13 c #Conflicts: 2244000 | #Constraints: 49692
3038.71/3048.13 c #Conflicts: 2245000 | #Constraints: 50692
3038.71/3048.13 c #Conflicts: 2246000 | #Constraints: 51692
3038.71/3048.13 c #Conflicts: 2247000 | #Constraints: 52692
3038.71/3048.13 c #Conflicts: 2248000 | #Constraints: 53692
3038.71/3048.13 c #Conflicts: 2249000 | #Constraints: 54692
3038.71/3048.13 c #Conflicts: 2250000 | #Constraints: 55692
3038.71/3048.13 c #Conflicts: 2251000 | #Constraints: 56692
3038.71/3048.13 c #Conflicts: 2252000 | #Constraints: 57692
3038.71/3048.13 c #Conflicts: 2253000 | #Constraints: 58692
3038.71/3048.13 c #Conflicts: 2254000 | #Constraints: 59692
3038.71/3048.13 c #Conflicts: 2255000 | #Constraints: 60692
3038.71/3048.13 c #Conflicts: 2256000 | #Constraints: 61692
3038.71/3048.13 c INPROCESSING
3038.71/3048.13 c GARBAGE COLLECT
3038.71/3048.13 c #Conflicts: 2257000 | #Constraints: 32892
3038.71/3048.13 c #Conflicts: 2258000 | #Constraints: 33892
3038.71/3048.13 c #Conflicts: 2259000 | #Constraints: 34892
3038.71/3048.13 c #Conflicts: 2260000 | #Constraints: 35892
3038.71/3048.13 c #Conflicts: 2261000 | #Constraints: 36892
3038.71/3048.13 c #Conflicts: 2262000 | #Constraints: 37892
3038.71/3048.13 c #Conflicts: 2263000 | #Constraints: 38892
3038.71/3048.13 c #Conflicts: 2264000 | #Constraints: 39892
3038.71/3048.13 c #Conflicts: 2265000 | #Constraints: 40892
3038.71/3048.13 c #Conflicts: 2266000 | #Constraints: 41892
3038.71/3048.13 c #Conflicts: 2267000 | #Constraints: 42892
3188.55/3198.41 c #Conflicts: 2268000 | #Constraints: 43892
3188.55/3198.41 c #Conflicts: 2269000 | #Constraints: 44892
3188.55/3198.41 c #Conflicts: 2270000 | #Constraints: 45892
3188.55/3198.41 c #Conflicts: 2271000 | #Constraints: 46892
3188.55/3198.41 c #Conflicts: 2272000 | #Constraints: 47892
3188.55/3198.41 c #Conflicts: 2273000 | #Constraints: 48892
3188.55/3198.41 c #Conflicts: 2274000 | #Constraints: 49892
3188.55/3198.41 c #Conflicts: 2275000 | #Constraints: 50892
3188.55/3198.41 c #Conflicts: 2276000 | #Constraints: 51892
3188.55/3198.41 c #Conflicts: 2277000 | #Constraints: 52892
3188.55/3198.41 c #Conflicts: 2278000 | #Constraints: 53892
3188.55/3198.41 c #Conflicts: 2279000 | #Constraints: 54892
3188.55/3198.41 c #Conflicts: 2280000 | #Constraints: 55892
3188.55/3198.41 c #Conflicts: 2281000 | #Constraints: 56892
3188.55/3198.41 c #Conflicts: 2282000 | #Constraints: 57892
3188.55/3198.41 c #Conflicts: 2283000 | #Constraints: 58892
3188.55/3198.41 c #Conflicts: 2284000 | #Constraints: 59892
3188.55/3198.41 c #Conflicts: 2285000 | #Constraints: 60892
3188.55/3198.41 c #Conflicts: 2286000 | #Constraints: 61892
3188.55/3198.41 c INPROCESSING
3188.55/3198.41 c GARBAGE COLLECT
3188.55/3198.41 c #Conflicts: 2287000 | #Constraints: 32895
3188.55/3198.41 c #Conflicts: 2288000 | #Constraints: 33895
3188.55/3198.41 c #Conflicts: 2289000 | #Constraints: 34895
3188.55/3198.41 c #Conflicts: 2290000 | #Constraints: 35895
3188.55/3198.41 c #Conflicts: 2291000 | #Constraints: 36895
3188.55/3198.41 c #Conflicts: 2292000 | #Constraints: 37895
3188.55/3198.41 c #Conflicts: 2293000 | #Constraints: 38895
3188.55/3198.41 c #Conflicts: 2294000 | #Constraints: 39895
3188.55/3198.41 c #Conflicts: 2295000 | #Constraints: 40895
3188.55/3198.41 c #Conflicts: 2296000 | #Constraints: 41895
3188.55/3198.41 c #Conflicts: 2297000 | #Constraints: 42895
3188.55/3198.41 c #Conflicts: 2298000 | #Constraints: 43895
3188.55/3198.41 c #Conflicts: 2299000 | #Constraints: 44895
3188.55/3198.41 c #Conflicts: 2300000 | #Constraints: 45895
3188.55/3198.41 c #Conflicts: 2301000 | #Constraints: 46895
3188.55/3198.41 c #Conflicts: 2302000 | #Constraints: 47895
3188.55/3198.41 c #Conflicts: 2303000 | #Constraints: 48895
3188.55/3198.41 c #Conflicts: 2304000 | #Constraints: 49895
3188.55/3198.41 c #Conflicts: 2305000 | #Constraints: 50895
3188.55/3198.41 c #Conflicts: 2306000 | #Constraints: 51895
3188.55/3198.41 c #Conflicts: 2307000 | #Constraints: 52895
3188.55/3198.41 c #Conflicts: 2308000 | #Constraints: 53895
3188.55/3198.41 c #Conflicts: 2309000 | #Constraints: 54895
3188.55/3198.41 c #Conflicts: 2310000 | #Constraints: 55895
3188.55/3198.41 c #Conflicts: 2311000 | #Constraints: 56895
3188.55/3198.41 c #Conflicts: 2312000 | #Constraints: 57895
3188.55/3198.41 c #Conflicts: 2313000 | #Constraints: 58895
3188.55/3198.41 c #Conflicts: 2314000 | #Constraints: 59895
3188.55/3198.41 c #Conflicts: 2315000 | #Constraints: 60895
3188.55/3198.41 c #Conflicts: 2316000 | #Constraints: 61895
3188.55/3198.41 c INPROCESSING
3188.55/3198.41 c GARBAGE COLLECT
3188.55/3198.41 c #Conflicts: 2317000 | #Constraints: 32694
3188.55/3198.41 c #Conflicts: 2318000 | #Constraints: 33694
3188.55/3198.41 c #Conflicts: 2319000 | #Constraints: 34694
3188.55/3198.41 c #Conflicts: 2320000 | #Constraints: 35694
3188.55/3198.41 c #Conflicts: 2321000 | #Constraints: 36694
3188.55/3198.41 c #Conflicts: 2322000 | #Constraints: 37694
3188.55/3198.41 c #Conflicts: 2323000 | #Constraints: 38694
3188.55/3198.41 c #Conflicts: 2324000 | #Constraints: 39694
3188.55/3198.41 c #Conflicts: 2325000 | #Constraints: 40694
3188.55/3198.41 c #Conflicts: 2326000 | #Constraints: 41694
3188.55/3198.41 c #Conflicts: 2327000 | #Constraints: 42694
3188.55/3198.41 c #Conflicts: 2328000 | #Constraints: 43694
3188.55/3198.41 c #Conflicts: 2329000 | #Constraints: 44694
3188.55/3198.41 c #Conflicts: 2330000 | #Constraints: 45694
3188.55/3198.41 c #Conflicts: 2331000 | #Constraints: 46694
3188.55/3198.41 c #Conflicts: 2332000 | #Constraints: 47694
3188.55/3198.41 c #Conflicts: 2333000 | #Constraints: 48694
3188.55/3198.41 c #Conflicts: 2334000 | #Constraints: 49694
3188.55/3198.41 c #Conflicts: 2335000 | #Constraints: 50694
3188.55/3198.41 c #Conflicts: 2336000 | #Constraints: 51694
3188.55/3198.41 c #Conflicts: 2337000 | #Constraints: 52694
3188.55/3198.41 c #Conflicts: 2338000 | #Constraints: 53694
3188.55/3198.41 c #Conflicts: 2339000 | #Constraints: 54694
3188.55/3198.41 c #Conflicts: 2340000 | #Constraints: 55694
3188.55/3198.41 c #Conflicts: 2341000 | #Constraints: 56694
3188.55/3198.41 c #Conflicts: 2342000 | #Constraints: 57694
3188.55/3198.41 c #Conflicts: 2343000 | #Constraints: 58694
3188.55/3198.41 c #Conflicts: 2344000 | #Constraints: 59694
3336.19/3346.55 c #Conflicts: 2345000 | #Constraints: 60694
3336.19/3346.55 c #Conflicts: 2346000 | #Constraints: 61694
3336.19/3346.55 c #Conflicts: 2347000 | #Constraints: 62694
3336.19/3346.55 c INPROCESSING
3336.19/3346.55 c GARBAGE COLLECT
3336.19/3346.55 c #Conflicts: 2348000 | #Constraints: 33291
3336.19/3346.55 c #Conflicts: 2349000 | #Constraints: 34291
3336.19/3346.55 c #Conflicts: 2350000 | #Constraints: 35291
3336.19/3346.55 c #Conflicts: 2351000 | #Constraints: 36291
3336.19/3346.55 c #Conflicts: 2352000 | #Constraints: 37291
3336.19/3346.55 c #Conflicts: 2353000 | #Constraints: 38291
3336.19/3346.55 c #Conflicts: 2354000 | #Constraints: 39291
3336.19/3346.55 c #Conflicts: 2355000 | #Constraints: 40291
3336.19/3346.55 c #Conflicts: 2356000 | #Constraints: 41291
3336.19/3346.55 c #Conflicts: 2357000 | #Constraints: 42291
3336.19/3346.55 c #Conflicts: 2358000 | #Constraints: 43291
3336.19/3346.55 c #Conflicts: 2359000 | #Constraints: 44291
3336.19/3346.55 c #Conflicts: 2360000 | #Constraints: 45291
3336.19/3346.55 c #Conflicts: 2361000 | #Constraints: 46291
3336.19/3346.55 c #Conflicts: 2362000 | #Constraints: 47291
3336.19/3346.55 c #Conflicts: 2363000 | #Constraints: 48291
3336.19/3346.55 c #Conflicts: 2364000 | #Constraints: 49291
3336.19/3346.55 c #Conflicts: 2365000 | #Constraints: 50291
3336.19/3346.55 c #Conflicts: 2366000 | #Constraints: 51291
3336.19/3346.55 c #Conflicts: 2367000 | #Constraints: 52291
3336.19/3346.55 c #Conflicts: 2368000 | #Constraints: 53291
3336.19/3346.55 c #Conflicts: 2369000 | #Constraints: 54291
3336.19/3346.55 c #Conflicts: 2370000 | #Constraints: 55291
3336.19/3346.55 c #Conflicts: 2371000 | #Constraints: 56291
3336.19/3346.55 c #Conflicts: 2372000 | #Constraints: 57291
3336.19/3346.55 c #Conflicts: 2373000 | #Constraints: 58291
3336.19/3346.55 c #Conflicts: 2374000 | #Constraints: 59291
3336.19/3346.55 c #Conflicts: 2375000 | #Constraints: 60291
3336.19/3346.55 c #Conflicts: 2376000 | #Constraints: 61291
3336.19/3346.55 c #Conflicts: 2377000 | #Constraints: 62291
3336.19/3346.55 c #Conflicts: 2378000 | #Constraints: 63291
3336.19/3346.55 c INPROCESSING
3336.19/3346.55 c GARBAGE COLLECT
3336.19/3346.55 c #Conflicts: 2379000 | #Constraints: 33691
3336.19/3346.55 c #Conflicts: 2380000 | #Constraints: 34691
3336.19/3346.55 c #Conflicts: 2381000 | #Constraints: 35691
3336.19/3346.55 c #Conflicts: 2382000 | #Constraints: 36691
3336.19/3346.55 c #Conflicts: 2383000 | #Constraints: 37691
3336.19/3346.55 c #Conflicts: 2384000 | #Constraints: 38691
3336.19/3346.55 c #Conflicts: 2385000 | #Constraints: 39691
3336.19/3346.55 c #Conflicts: 2386000 | #Constraints: 40691
3336.19/3346.55 c #Conflicts: 2387000 | #Constraints: 41691
3336.19/3346.55 c #Conflicts: 2388000 | #Constraints: 42691
3336.19/3346.55 c #Conflicts: 2389000 | #Constraints: 43691
3336.19/3346.55 c #Conflicts: 2390000 | #Constraints: 44691
3336.19/3346.55 c #Conflicts: 2391000 | #Constraints: 45691
3336.19/3346.55 c #Conflicts: 2392000 | #Constraints: 46691
3336.19/3346.55 c #Conflicts: 2393000 | #Constraints: 47691
3336.19/3346.55 c #Conflicts: 2394000 | #Constraints: 48691
3336.19/3346.55 c #Conflicts: 2395000 | #Constraints: 49691
3336.19/3346.55 c #Conflicts: 2396000 | #Constraints: 50691
3336.19/3346.55 c #Conflicts: 2397000 | #Constraints: 51691
3336.19/3346.55 c #Conflicts: 2398000 | #Constraints: 52691
3336.19/3346.55 c #Conflicts: 2399000 | #Constraints: 53691
3336.19/3346.55 c #Conflicts: 2400000 | #Constraints: 54691
3336.19/3346.55 c #Conflicts: 2401000 | #Constraints: 55691
3336.19/3346.55 c #Conflicts: 2402000 | #Constraints: 56691
3336.19/3346.55 c #Conflicts: 2403000 | #Constraints: 57691
3336.19/3346.55 c #Conflicts: 2404000 | #Constraints: 58691
3336.19/3346.55 c #Conflicts: 2405000 | #Constraints: 59691
3336.19/3346.55 c #Conflicts: 2406000 | #Constraints: 60691
3336.19/3346.55 c #Conflicts: 2407000 | #Constraints: 61691
3336.19/3346.55 c #Conflicts: 2408000 | #Constraints: 62691
3336.19/3346.55 c #Conflicts: 2409000 | #Constraints: 63691
3336.19/3346.55 c INPROCESSING
3336.19/3346.55 c GARBAGE COLLECT
3336.19/3346.55 c #Conflicts: 2410000 | #Constraints: 33892
3336.19/3346.55 c #Conflicts: 2411000 | #Constraints: 34892
3336.19/3346.55 c #Conflicts: 2412000 | #Constraints: 35892
3336.19/3346.55 c #Conflicts: 2413000 | #Constraints: 36892
3336.19/3346.55 c #Conflicts: 2414000 | #Constraints: 37892
3336.19/3346.55 c #Conflicts: 2415000 | #Constraints: 38892
3336.19/3346.55 c #Conflicts: 2416000 | #Constraints: 39892
3336.19/3346.55 c #Conflicts: 2417000 | #Constraints: 40892
3336.19/3346.55 c #Conflicts: 2418000 | #Constraints: 41892
3336.19/3346.55 c #Conflicts: 2419000 | #Constraints: 42892
3336.19/3346.55 c #Conflicts: 2420000 | #Constraints: 43892
3336.19/3346.55 c #Conflicts: 2421000 | #Constraints: 44892
3506.08/3516.92 c #Conflicts: 2422000 | #Constraints: 45892
3506.08/3516.92 c #Conflicts: 2423000 | #Constraints: 46892
3506.08/3516.92 c #Conflicts: 2424000 | #Constraints: 47892
3506.08/3516.92 c #Conflicts: 2425000 | #Constraints: 48892
3506.08/3516.92 c #Conflicts: 2426000 | #Constraints: 49892
3506.08/3516.92 c #Conflicts: 2427000 | #Constraints: 50892
3506.08/3516.92 c #Conflicts: 2428000 | #Constraints: 51892
3506.08/3516.92 c #Conflicts: 2429000 | #Constraints: 52892
3506.08/3516.92 c #Conflicts: 2430000 | #Constraints: 53892
3506.08/3516.92 c #Conflicts: 2431000 | #Constraints: 54892
3506.08/3516.92 c #Conflicts: 2432000 | #Constraints: 55892
3506.08/3516.92 c #Conflicts: 2433000 | #Constraints: 56892
3506.08/3516.92 c #Conflicts: 2434000 | #Constraints: 57892
3506.08/3516.92 c #Conflicts: 2435000 | #Constraints: 58892
3506.08/3516.92 c #Conflicts: 2436000 | #Constraints: 59892
3506.08/3516.92 c #Conflicts: 2437000 | #Constraints: 60892
3506.08/3516.92 c #Conflicts: 2438000 | #Constraints: 61892
3506.08/3516.92 c #Conflicts: 2439000 | #Constraints: 62892
3506.08/3516.92 c #Conflicts: 2440000 | #Constraints: 63892
3506.08/3516.92 c INPROCESSING
3506.08/3516.92 c GARBAGE COLLECT
3506.08/3516.92 c #Conflicts: 2441000 | #Constraints: 33896
3506.08/3516.92 c #Conflicts: 2442000 | #Constraints: 34896
3506.08/3516.92 c #Conflicts: 2443000 | #Constraints: 35896
3506.08/3516.92 c #Conflicts: 2444000 | #Constraints: 36896
3506.08/3516.92 c #Conflicts: 2445000 | #Constraints: 37896
3506.08/3516.92 c #Conflicts: 2446000 | #Constraints: 38896
3506.08/3516.92 c #Conflicts: 2447000 | #Constraints: 39896
3506.08/3516.92 c #Conflicts: 2448000 | #Constraints: 40896
3506.08/3516.92 c #Conflicts: 2449000 | #Constraints: 41896
3506.08/3516.92 c #Conflicts: 2450000 | #Constraints: 42896
3506.08/3516.92 c #Conflicts: 2451000 | #Constraints: 43896
3506.08/3516.92 c #Conflicts: 2452000 | #Constraints: 44896
3506.08/3516.92 c #Conflicts: 2453000 | #Constraints: 45896
3506.08/3516.92 c #Conflicts: 2454000 | #Constraints: 46896
3506.08/3516.92 c #Conflicts: 2455000 | #Constraints: 47896
3506.08/3516.92 c #Conflicts: 2456000 | #Constraints: 48896
3506.08/3516.92 c #Conflicts: 2457000 | #Constraints: 49896
3506.08/3516.92 c #Conflicts: 2458000 | #Constraints: 50896
3506.08/3516.92 c #Conflicts: 2459000 | #Constraints: 51896
3506.08/3516.92 c #Conflicts: 2460000 | #Constraints: 52896
3506.08/3516.92 c #Conflicts: 2461000 | #Constraints: 53896
3506.08/3516.92 c #Conflicts: 2462000 | #Constraints: 54896
3506.08/3516.92 c #Conflicts: 2463000 | #Constraints: 55896
3506.08/3516.92 c #Conflicts: 2464000 | #Constraints: 56896
3506.08/3516.92 c #Conflicts: 2465000 | #Constraints: 57896
3506.08/3516.92 c #Conflicts: 2466000 | #Constraints: 58896
3506.08/3516.92 c #Conflicts: 2467000 | #Constraints: 59896
3506.08/3516.92 c #Conflicts: 2468000 | #Constraints: 60896
3506.08/3516.92 c #Conflicts: 2469000 | #Constraints: 61896
3506.08/3516.92 c #Conflicts: 2470000 | #Constraints: 62896
3506.08/3516.92 c #Conflicts: 2471000 | #Constraints: 63896
3506.08/3516.92 c INPROCESSING
3506.08/3516.92 c GARBAGE COLLECT
3506.08/3516.92 c #Conflicts: 2472000 | #Constraints: 33690
3506.08/3516.92 c #Conflicts: 2473000 | #Constraints: 34690
3506.08/3516.92 c #Conflicts: 2474000 | #Constraints: 35690
3506.08/3516.92 c #Conflicts: 2475000 | #Constraints: 36690
3506.08/3516.92 c #Conflicts: 2476000 | #Constraints: 37690
3506.08/3516.92 c #Conflicts: 2477000 | #Constraints: 38690
3506.08/3516.92 c #Conflicts: 2478000 | #Constraints: 39690
3506.08/3516.92 c #Conflicts: 2479000 | #Constraints: 40690
3506.08/3516.92 c #Conflicts: 2480000 | #Constraints: 41690
3506.08/3516.92 c #Conflicts: 2481000 | #Constraints: 42690
3506.08/3516.92 c #Conflicts: 2482000 | #Constraints: 43690
3506.08/3516.92 c #Conflicts: 2483000 | #Constraints: 44690
3506.08/3516.92 c #Conflicts: 2484000 | #Constraints: 45690
3506.08/3516.92 c #Conflicts: 2485000 | #Constraints: 46690
3506.08/3516.92 c #Conflicts: 2486000 | #Constraints: 47690
3506.08/3516.92 c #Conflicts: 2487000 | #Constraints: 48690
3506.08/3516.92 c #Conflicts: 2488000 | #Constraints: 49690
3506.08/3516.92 c #Conflicts: 2489000 | #Constraints: 50690
3506.08/3516.92 c #Conflicts: 2490000 | #Constraints: 51690
3506.08/3516.92 c #Conflicts: 2491000 | #Constraints: 52690
3506.08/3516.92 c #Conflicts: 2492000 | #Constraints: 53690
3506.08/3516.92 c #Conflicts: 2493000 | #Constraints: 54690
3506.08/3516.92 c #Conflicts: 2494000 | #Constraints: 55690
3506.08/3516.92 c #Conflicts: 2495000 | #Constraints: 56690
3506.08/3516.92 c #Conflicts: 2496000 | #Constraints: 57690
3506.08/3516.92 c #Conflicts: 2497000 | #Constraints: 58690
3506.08/3516.92 c #Conflicts: 2498000 | #Constraints: 59690
3506.08/3516.92 c #Conflicts: 2499000 | #Constraints: 60690
3600.01/3611.11 c #Conflicts: 2500000 | #Constraints: 61690
3600.01/3611.11 c #Conflicts: 2501000 | #Constraints: 62690
3600.01/3611.11 c #Conflicts: 2502000 | #Constraints: 63690
3600.01/3611.11 c #Conflicts: 2503000 | #Constraints: 64690
3600.01/3611.11 c INPROCESSING
3600.01/3611.11 c GARBAGE COLLECT
3600.01/3611.11 c #Conflicts: 2504000 | #Constraints: 34289
3600.01/3611.11 c #Conflicts: 2505000 | #Constraints: 35289
3600.01/3611.11 c #Conflicts: 2506000 | #Constraints: 36289
3600.01/3611.11 c #Conflicts: 2507000 | #Constraints: 37289
3600.01/3611.11 c #Conflicts: 2508000 | #Constraints: 38289
3600.01/3611.11 c #Conflicts: 2509000 | #Constraints: 39289
3600.01/3611.11 c #Conflicts: 2510000 | #Constraints: 40289
3600.01/3611.11 c #Conflicts: 2511000 | #Constraints: 41289
3600.01/3611.11 c #Conflicts: 2512000 | #Constraints: 42289
3600.01/3611.11 c #Conflicts: 2513000 | #Constraints: 43289
3600.01/3611.11 c #Conflicts: 2514000 | #Constraints: 44289
3600.01/3611.11 c #Conflicts: 2515000 | #Constraints: 45289
3600.01/3611.11 c #Conflicts: 2516000 | #Constraints: 46289
3600.01/3611.11 c #Conflicts: 2517000 | #Constraints: 47289
3600.01/3611.11 c #Conflicts: 2518000 | #Constraints: 48289
3600.01/3611.11 c #Conflicts: 2519000 | #Constraints: 49289
3600.01/3611.11 c #Conflicts: 2520000 | #Constraints: 50289
3600.01/3611.11 c #Conflicts: 2521000 | #Constraints: 51289
3600.01/3611.11 c #Conflicts: 2522000 | #Constraints: 52289
3600.01/3611.11 c #Conflicts: 2523000 | #Constraints: 53289
3600.01/3611.11 c #Conflicts: 2524000 | #Constraints: 54289
3600.01/3611.11 c #Conflicts: 2525000 | #Constraints: 55289
3600.01/3611.11 c #Conflicts: 2526000 | #Constraints: 56289
3600.01/3611.11 c #Conflicts: 2527000 | #Constraints: 57289
3600.01/3611.11 c #Conflicts: 2528000 | #Constraints: 58289
3600.01/3611.11 c #Conflicts: 2529000 | #Constraints: 59289
3600.01/3611.11 c #Conflicts: 2530000 | #Constraints: 60289
3600.01/3611.11 c #Conflicts: 2531000 | #Constraints: 61289
3600.01/3611.11 c #Conflicts: 2532000 | #Constraints: 62289
3600.01/3611.11 c #Conflicts: 2533000 | #Constraints: 63289
3600.01/3611.11 c #Conflicts: 2534000 | #Constraints: 64289
3600.01/3611.11 c #Conflicts: 2535000 | #Constraints: 65289
3600.01/3611.11 c INPROCESSING
3600.01/3611.11 c GARBAGE COLLECT
3600.01/3611.11 c #Conflicts: 2536000 | #Constraints: 34686
3600.01/3611.11 c Program interrupted by user.
3600.01/3611.11 c cpu time 3589.88 s
3600.01/3611.11 c deterministic time 369243225542 3.69e+11
3600.01/3611.11 c optimization time 2.02107 s
3600.01/3611.11 c total solve time 3289.08 s
3600.01/3611.11 c core-guided solve time 3289.08 s
3600.01/3611.11 c propagation time 3213.76 s
3600.01/3611.11 c conflict analysis time 56.4016 s
3600.01/3611.11 c propagations 58708740
3600.01/3611.11 c resolve steps 16600418
3600.01/3611.11 c decisions 2892242
3600.01/3611.11 c conflicts 2536467
3600.01/3611.11 c restarts 4330
3600.01/3611.11 c inprocessing phases 150
3600.01/3611.11 c input clauses 2072
3600.01/3611.11 c input cardinalities 15
3600.01/3611.11 c input general constraints 0
3600.01/3611.11 c input average constraint length 3.48
3600.01/3611.11 c input average constraint degree 1.84
3600.01/3611.11 c learned clauses 1400265
3600.01/3611.11 c learned cardinalities 627331
3600.01/3611.11 c learned general constraints 508876
3600.01/3611.11 c learned average constraint length 143.40
3600.01/3611.11 c learned average constraint degree 11.55
3600.01/3611.11 c watched constraints 508876
3600.01/3611.11 c counting constraints 0
3600.01/3611.11 c gcd simplifications 94455
3600.01/3611.11 c detected cardinalities 14116
3600.01/3611.11 c weakened non-implied lits 27855497
3600.01/3611.11 c weakened non-implying lits 102969
3600.01/3611.11 c original variables 200
3600.01/3611.11 c clausal propagations 34529964
3600.01/3611.11 c cardinality propagations 13877483
3600.01/3611.11 c watched propagations 2609321
3600.01/3611.11 c counting propagations 0
3600.01/3611.11 c watch lookups 41800893569
3600.01/3611.11 c watch backjump lookups 3320266
3600.01/3611.11 c watch checks 325980971106
3600.01/3611.11 c propagation checks 469706471
3600.01/3611.11 c constraint additions 862595896
3600.01/3611.11 c trail pops 64137251
3600.01/3611.11 c formula constraints 1999
3600.01/3611.11 c learned constraints 2536472
3600.01/3611.11 c bound constraints 15
3600.01/3611.11 c core-guided constraints 73
3600.01/3611.11 c encountered formula constraints 13428427
3600.01/3611.11 c encountered learned constraints 5675818
3600.01/3611.11 c encountered bound constraints 1029
3600.01/3611.11 c encountered core-guided constraints 31611
3600.01/3611.11 c LP total time 0 s
3600.01/3611.11 c LP solve time 0 s
3600.01/3611.11 c LP constraints added 0
3600.01/3611.11 c LP constraints removed 0
3600.01/3611.11 c LP pivots internal 0
3600.01/3611.11 c LP pivots root 0
3600.01/3611.11 c LP calls 0
3600.01/3611.11 c LP optimalities 0
3600.01/3611.11 c LP no pivot count 0
3600.01/3611.11 c LP infeasibilities 0
3600.01/3611.11 c LP valid Farkas constraints 0
3600.01/3611.11 c LP learned Farkas constraints 0
3600.01/3611.11 c LP basis resets 0
3600.01/3611.11 c LP cycling count 0
3600.01/3611.11 c LP singular count 0
3600.01/3611.11 c LP no primal count 0
3600.01/3611.11 c LP no farkas count 0
3600.01/3611.11 c LP other issue count 0
3600.01/3611.11 c LP Gomory cuts 0
3600.01/3611.11 c LP learned cuts 0
3600.01/3611.11 c LP deleted cuts 0
3600.01/3611.11 c LP encountered Gomory constraints 0
3600.01/3611.11 c LP encountered Farkas constraints 0
3600.01/3611.11 c LP encountered learned Farkas constraints 0
3600.01/3611.11 c CG auxiliary variables introduced 73
3600.01/3611.11 c CG solutions found 0
3600.01/3611.11 c CG cores constructed 14
3600.01/3611.11 c CG core cardinality constraints returned 0
3600.01/3611.11 c CG unit cores 0
3600.01/3611.11 c CG single cores 14
3600.01/3611.11 c CG blocks removed during cardinality reduction 0
3600.01/3611.11 c CG first core best 0
3600.01/3611.11 c CG decision core best 0
3600.01/3611.11 c CG core reduction tie 0
3600.01/3611.11 c CG core degree average 1.00
3600.01/3611.11 c CG core slack average 5.00
3600.01/3611.11 c CG exhausted 0
3600.01/3611.11 c CG exhaust time 0 s
3600.01/3611.11 c CG trimmed 1
3600.01/3611.11 c CG trim time 0.000167 s
3600.01/3611.11 c CG minimized 0
3600.01/3611.11 c CG minimize time 0 s
3600.01/3611.11 c CG am1 prop time 0.000495 s
3600.01/3611.11 c CG # am1s reformulated 73
3600.01/3611.11 c CG lower bound derived from am1s 116
3600.01/3611.11 c CG # clausal cores 14
3600.01/3611.11 c CG # cardinality cores 0
3600.01/3611.11 c CG # pb cores 0
3600.01/3611.11 c CG # pb reforms 0
3600.01/3611.11 c CG # cores discarded because of pb reform 0
3600.01/3611.11 d LOWERBOUND 130
3600.01/3611.11 d NCORES 14
3600.01/3611.11 d NPBCORES 0
3600.01/3611.11 d NPBREFORM 0
3600.01/3611.11 d NTRIMMED 1
3600.01/3611.11 d NEXHAUSTED 0
3600.01/3611.11 d NAM1S 73
3600.01/3611.11 d AM1LB 116
3600.01/3611.11 c [Papilo Statistics]
3600.01/3611.11 c prepro time 0.00316941s
3600.01/3611.11 c # tsx applied 0
3600.01/3611.11 c # tsx conflicts 0
3600.01/3611.11 c # bound changes 0
3600.01/3611.11 c # side changes 0
3600.01/3611.11 c # coef changes 0
3600.01/3611.11 c # rounds 1
3600.01/3611.11 c # deted vars 0
3600.01/3611.11 c # deted constrs 0
3600.01/3611.11 c # consecutive rounds of only bound changes 0
3600.01/3611.11 s UNKNOWN
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: 63837 MiB (62378 MiB free)
memory of node 1: 64465 MiB (58698 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529113-1752260151/watcher-4529113-1752260151 -o /tmp/evaluation-result-4529113-1752260151/solver-4529113-1752260151 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1752256448-122974 --watchdog 3760 mixed-bag HOME/instance-4529113-1752260151.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
solver pid=123889, runsolver pid=123886
Current StackSize limit: 8192 KiB
[startup+0.100102 s]*
/proc/loadavg: 4.08 4.09 4.05 5/251 123890
/proc/meminfo: memFree=123973980/131382112 swapFree=33000116/33010684
[pid=123889] ppid=123886 vsize=100376 memory=29196 CPUtime=0.1 cores=5,7
/proc/123889/stat : 123889 (mixed-bag) R 123886 123889 122961 0 -1 4194304 3538 0 0 0 9 1 0 0 20 0 1 0 141694259 102785024 7299 18446744073709551615 4235264 15840557 140736729977680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 49340416 140736729979290 140736729979367 140736729979367 140736729984971 0
/proc/123889/statm: 25094 7299 4320 2834 0 7299 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 100376 KiB
Current children cumulated memory: 29196 KiB
[startup+0.213274 s]*
/proc/loadavg: 4.08 4.09 4.05 5/251 123890
/proc/meminfo: memFree=123972216/131382112 swapFree=33000116/33010684
[pid=123889] ppid=123886 vsize=102004 memory=30348 CPUtime=0.21 cores=5,7
/proc/123889/stat : 123889 (mixed-bag) R 123886 123889 122961 0 -1 4194304 3824 0 0 0 20 1 0 0 20 0 1 0 141694259 104452096 7587 18446744073709551615 4235264 15840557 140736729977680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 49340416 140736729979290 140736729979367 140736729979367 140736729984971 0
/proc/123889/statm: 25501 7587 4320 2834 0 7706 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 102004 KiB
Current children cumulated memory: 30348 KiB
[startup+0.313185 s]*
/proc/loadavg: 4.08 4.09 4.05 5/251 123890
/proc/meminfo: memFree=123972528/131382112 swapFree=33000116/33010684
[pid=123889] ppid=123886 vsize=102696 memory=30604 CPUtime=0.31 cores=5,7
/proc/123889/stat : 123889 (mixed-bag) R 123886 123889 122961 0 -1 4194304 3891 0 0 0 30 1 0 0 20 0 1 0 141694259 105160704 7651 18446744073709551615 4235264 15840557 140736729977680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 49340416 140736729979290 140736729979367 140736729979367 140736729984971 0
/proc/123889/statm: 25674 7651 4320 2834 0 7879 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 102696 KiB
Current children cumulated memory: 30604 KiB
[startup+0.700308 s]
/proc/loadavg: 4.08 4.09 4.05 5/251 123890
/proc/meminfo: memFree=123970512/131382112 swapFree=33000116/33010684
[pid=123889] ppid=123886 vsize=106588 memory=33932 CPUtime=0.68 cores=5,7
/proc/123889/stat : 123889 (mixed-bag) R 123886 123889 122961 0 -1 4194304 4725 0 0 0 67 1 0 0 20 0 1 0 141694259 109146112 8483 18446744073709551615 4235264 15840557 140736729977680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 49340416 140736729979290 140736729979367 140736729979367 140736729984971 0
/proc/123889/statm: 26647 8483 4320 2834 0 8852 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 106588 KiB
Current children cumulated memory: 33932 KiB
[startup+1.50031 s]
/proc/loadavg: 4.15 4.10 4.06 5/251 123890
/proc/meminfo: memFree=123958416/131382112 swapFree=33000116/33010684
[pid=123889] ppid=123886 vsize=115876 memory=40460 CPUtime=1.48 cores=5,7
/proc/123889/stat : 123889 (mixed-bag) R 123886 123889 122961 0 -1 4194304 6367 0 0 0 146 2 0 0 20 0 1 0 141694259 118657024 10115 18446744073709551615 4235264 15840557 140736729977680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 49340416 140736729979290 140736729979367 140736729979367 140736729984971 0
/proc/123889/statm: 28969 10115 4320 2834 0 11174 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 115876 KiB
Current children cumulated memory: 40460 KiB
[startup+3.11285 s]
/proc/loadavg: 4.15 4.10 4.06 5/251 123890
/proc/meminfo: memFree=123950136/131382112 swapFree=33000116/33010684
[pid=123889] ppid=123886 vsize=119108 memory=43688 CPUtime=3.08 cores=5,7
/proc/123889/stat : 123889 (mixed-bag) R 123886 123889 122961 0 -1 4194304 7533 0 0 0 306 2 0 0 20 0 1 0 141694259 121966592 10922 18446744073709551615 4235264 15840557 140736729977680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 49340416 140736729979290 140736729979367 140736729979367 140736729984971 0
/proc/123889/statm: 29777 10922 4320 2834 0 11982 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 119108 KiB
Current children cumulated memory: 43688 KiB
[startup+6.30029 s]
/proc/loadavg: 4.14 4.10 4.06 5/251 123890
/proc/meminfo: memFree=123887924/131382112 swapFree=33000116/33010684
[pid=123889] ppid=123886 vsize=120908 memory=44584 CPUtime=6.26 cores=5,7
/proc/123889/stat : 123889 (mixed-bag) R 123886 123889 122961 0 -1 4194304 7775 0 0 0 624 2 0 0 20 0 1 0 141694259 123809792 11146 18446744073709551615 4235264 15840557 140736729977680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 49340416 140736729979290 140736729979367 140736729979367 140736729984971 0
/proc/123889/statm: 30227 11146 4320 2834 0 12432 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 120908 KiB
Current children cumulated memory: 44584 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.10 4.06 5/251 123890
/proc/meminfo: memFree=123730736/131382112 swapFree=33000116/33010684
[pid=123889] ppid=123886 vsize=149652 memory=65468 CPUtime=12.64 cores=5,7
/proc/123889/stat : 123889 (mixed-bag) R 123886 123889 122961 0 -1 4194304 13426 0 0 0 1261 3 0 0 20 0 1 0 141694259 153243648 16367 18446744073709551615 4235264 15840557 140736729977680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 49340416 140736729979290 140736729979367 140736729979367 140736729984971 0
/proc/123889/statm: 37413 16367 4320 2834 0 19618 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 149652 KiB
Current children cumulated memory: 65468 KiB
[startup+25.5003 s]
/proc/loadavg: 4.11 4.09 4.06 5/251 123936
/proc/meminfo: memFree=122178808/131382112 swapFree=33000116/33010684
[pid=123889] ppid=123886 vsize=173708 memory=87740 CPUtime=25.41 cores=5,7
/proc/123889/stat : 123889 (mixed-bag) R 123886 123889 122961 0 -1 4194304 18972 0 0 0 2536 5 0 0 20 0 1 0 141694259 177876992 21935 18446744073709551615 4235264 15840557 140736729977680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 49340416 140736729979290 140736729979367 140736729979367 140736729984971 0
/proc/123889/statm: 43427 21935 4320 2834 0 25632 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 173708 KiB
Current children cumulated memory: 87740 KiB
[startup+51.113 s]
/proc/loadavg: 4.14 4.10 4.06 5/251 123981
/proc/meminfo: memFree=119793396/131382112 swapFree=33000116/33010684
[pid=123889] ppid=123886 vsize=243792 memory=152924 CPUtime=50.92 cores=5,7
/proc/123889/stat : 123889 (mixed-bag) R 123886 123889 122961 0 -1 4194304 36195 0 0 0 5085 7 0 0 20 0 1 0 141694259 249643008 38231 18446744073709551615 4235264 15840557 140736729977680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 49340416 140736729979290 140736729979367 140736729979367 140736729984971 0
/proc/123889/statm: 60948 38231 4320 2834 0 43153 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 243792 KiB
Current children cumulated memory: 152924 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.06 5/252 123983
/proc/meminfo: memFree=119785108/131382112 swapFree=33000116/33010684
[pid=123889] ppid=123886 vsize=293040 memory=191988 CPUtime=101.91 cores=5,7
/proc/123889/stat : 123889 (mixed-bag) R 123886 123889 122961 0 -1 4194304 45448 0 0 0 10181 10 0 0 20 0 1 0 141694259 300072960 47997 18446744073709551615 4235264 15840557 140736729977680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 49340416 140736729979290 140736729979367 140736729979367 140736729984971 0
/proc/123889/statm: 73260 47997 4320 2834 0 55465 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 293040 KiB
Current children cumulated memory: 191988 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 4.08 4.05 5/253 123986
/proc/meminfo: memFree=119682684/131382112 swapFree=33000116/33010684
[pid=123889] ppid=123886 vsize=332484 memory=231808 CPUtime=161.66 cores=5,7
/proc/123889/stat : 123889 (mixed-bag) R 123886 123889 122961 0 -1 4194304 53365 0 0 0 16154 12 0 0 20 0 1 0 141694259 340463616 57952 18446744073709551615 4235264 15840557 140736729977680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 49340416 140736729979290 140736729979367 140736729979367 140736729984971 0
/proc/123889/statm: 83121 57952 4320 2834 0 65326 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 332484 KiB
Current children cumulated memory: 231808 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.09 4.06 5/252 123988
/proc/meminfo: memFree=119674940/131382112 swapFree=33000116/33010684
[pid=123889] ppid=123886 vsize=368304 memory=264064 CPUtime=221.41 cores=5,7
/proc/123889/stat : 123889 (mixed-bag) R 123886 123889 122961 0 -1 4194304 56850 0 0 0 22129 12 0 0 20 0 1 0 141694259 377143296 66016 18446744073709551615 4235264 15840557 140736729977680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 49340416 140736729979290 140736729979367 140736729979367 140736729984971 0
/proc/123889/statm: 92076 66016 4320 2834 0 74281 0
Current children cumulated CPU time: 221.41 s
Current children cumulated vsize: 368304 KiB
Current children cumulated memory: 264064 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.06 5/252 123990
/proc/meminfo: memFree=119576076/131382112 swapFree=33000116/33010684
[pid=123889] ppid=123886 vsize=400408 memory=308576 CPUtime=281.19 cores=5,7
/proc/123889/stat : 123889 (mixed-bag) R 123886 123889 122961 0 -1 4194304 61340 0 0 0 28106 13 0 0 20 0 1 0 141694259 410017792 77144 18446744073709551615 4235264 15840557 140736729977680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 49340416 140736729979290 140736729979367 140736729979367 140736729984971 0
/proc/123889/statm: 100102 77144 4320 2834 0 82307 0
Current children cumulated CPU time: 281.19 s
Current children cumulated vsize: 400408 KiB
Current children cumulated memory: 308576 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.10 4.06 5/253 124096
/proc/meminfo: memFree=118508788/131382112 swapFree=33000116/33010684
[pid=123889] ppid=123886 vsize=264148 memory=202804 CPUtime=340.98 cores=5,7
/proc/123889/stat : 123889 (mixed-bag) R 123886 123889 122961 0 -1 4194304 62546 0 0 0 34044 54 0 0 20 0 1 0 141694259 270487552 50701 18446744073709551615 4235264 15840557 140736729977680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 49340416 140736729979290 140736729979367 140736729979367 140736729984971 0
/proc/123889/statm: 66037 50701 4480 2834 0 48242 0
Current children cumulated CPU time: 340.98 s
Current children cumulated vsize: 264148 KiB
Current children cumulated memory: 202804 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.06 5/251 124102
/proc/meminfo: memFree=113461640/131382112 swapFree=33000116/33010684
[pid=123889] ppid=123886 vsize=271328 memory=207144 CPUtime=400.81 cores=5,7
/proc/123889/stat : 123889 (mixed-bag) R 123886 123889 122961 0 -1 4194304 63120 0 0 0 39987 94 0 0 20 0 1 0 141694259 277839872 51786 18446744073709551615 4235264 15840557 140736729977680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 49340416 140736729979290 140736729979367 140736729979367 140736729984971 0
/proc/123889/statm: 67832 51786 4480 2834 0 50037 0
Current children cumulated CPU time: 400.81 s
Current children cumulated vsize: 271328 KiB
Current children cumulated memory: 207144 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.09 4.06 5/251 124104
/proc/meminfo: memFree=112376248/131382112 swapFree=33000116/33010684
[pid=123889] ppid=123886 vsize=271328 memory=209192 CPUtime=460.63 cores=5,7
/proc/123889/stat : 123889 (mixed-bag) R 123886 123889 122961 0 -1 4194304 63122 0 0 0 45932 131 0 0 20 0 1 0 141694259 277839872 52298 18446744073709551615 4235264 15840557 140736729977680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 49340416 140736729979290 140736729979367 140736729979367 140736729984971 0
/proc/123889/statm: 67832 52298 4480 2834 0 50037 0
Current children cumulated CPU time: 460.63 s
################
# More data... #
################
Current children cumulated memory: 233936 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.09 4.12 5/254 124226
/proc/meminfo: memFree=111714816/131382112 swapFree=33000116/33010684
[pid=123889] ppid=123886 vsize=301972 memory=233936 CPUtime=2913.28 cores=5,7
/proc/123889/stat : 123889 (mixed-bag) R 123886 123889 122961 0 -1 4194304 64366 0 0 0 290466 862 0 0 20 0 1 0 141694259 309219328 58484 18446744073709551615 4235264 15840557 140736729977680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 49340416 140736729979290 140736729979367 140736729979367 140736729984971 0
/proc/123889/statm: 75493 58484 4480 2834 0 57698 0
Current children cumulated CPU time: 2913.28 s
Current children cumulated vsize: 301972 KiB
Current children cumulated memory: 233936 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.08 4.11 5/254 124228
/proc/meminfo: memFree=111675172/131382112 swapFree=33000116/33010684
[pid=123889] ppid=123886 vsize=301972 memory=233936 CPUtime=2973.1 cores=5,7
/proc/123889/stat : 123889 (mixed-bag) R 123886 123889 122961 0 -1 4194304 64366 0 0 0 296436 874 0 0 20 0 1 0 141694259 309219328 58484 18446744073709551615 4235264 15840557 140736729977680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 49340416 140736729979290 140736729979367 140736729979367 140736729984971 0
/proc/123889/statm: 75493 58484 4480 2834 0 57698 0
Current children cumulated CPU time: 2973.1 s
Current children cumulated vsize: 301972 KiB
Current children cumulated memory: 233936 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.08 4.11 5/253 124230
/proc/meminfo: memFree=111499196/131382112 swapFree=33000116/33010684
[pid=123889] ppid=123886 vsize=301972 memory=233936 CPUtime=3032.92 cores=5,7
/proc/123889/stat : 123889 (mixed-bag) R 123886 123889 122961 0 -1 4194304 64366 0 0 0 302402 890 0 0 20 0 1 0 141694259 309219328 58484 18446744073709551615 4235264 15840557 140736729977680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 49340416 140736729979290 140736729979367 140736729979367 140736729984971 0
/proc/123889/statm: 75493 58484 4480 2834 0 57698 0
Current children cumulated CPU time: 3032.92 s
Current children cumulated vsize: 301972 KiB
Current children cumulated memory: 233936 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.10 4.11 5/253 124232
/proc/meminfo: memFree=111446076/131382112 swapFree=33000116/33010684
[pid=123889] ppid=123886 vsize=301972 memory=235984 CPUtime=3092.73 cores=5,7
/proc/123889/stat : 123889 (mixed-bag) R 123886 123889 122961 0 -1 4194304 64367 0 0 0 308369 904 0 0 20 0 1 0 141694259 309219328 58996 18446744073709551615 4235264 15840557 140736729977680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 49340416 140736729979290 140736729979367 140736729979367 140736729984971 0
/proc/123889/statm: 75493 58996 4480 2834 0 57698 0
Current children cumulated CPU time: 3092.73 s
Current children cumulated vsize: 301972 KiB
Current children cumulated memory: 235984 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.09 4.10 5/253 124234
/proc/meminfo: memFree=111293568/131382112 swapFree=33000116/33010684
[pid=123889] ppid=123886 vsize=301972 memory=235984 CPUtime=3152.56 cores=5,7
/proc/123889/stat : 123889 (mixed-bag) R 123886 123889 122961 0 -1 4194304 64368 0 0 0 314340 916 0 0 20 0 1 0 141694259 309219328 58996 18446744073709551615 4235264 15840557 140736729977680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 49340416 140736729979290 140736729979367 140736729979367 140736729984971 0
/proc/123889/statm: 75493 58996 4480 2834 0 57698 0
Current children cumulated CPU time: 3152.56 s
Current children cumulated vsize: 301972 KiB
Current children cumulated memory: 235984 KiB
[startup+3222.3 s]
/proc/loadavg: 4.04 4.07 4.09 5/249 124236
/proc/meminfo: memFree=111293504/131382112 swapFree=33000116/33010684
[pid=123889] ppid=123886 vsize=301972 memory=235984 CPUtime=3212.38 cores=5,7
/proc/123889/stat : 123889 (mixed-bag) R 123886 123889 122961 0 -1 4194304 64368 0 0 0 320308 930 0 0 20 0 1 0 141694259 309219328 58996 18446744073709551615 4235264 15840557 140736729977680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 49340416 140736729979290 140736729979367 140736729979367 140736729984971 0
/proc/123889/statm: 75493 58996 4480 2834 0 57698 0
Current children cumulated CPU time: 3212.38 s
Current children cumulated vsize: 301972 KiB
Current children cumulated memory: 235984 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/250 124239
/proc/meminfo: memFree=111292080/131382112 swapFree=33000116/33010684
[pid=123889] ppid=123886 vsize=301972 memory=235984 CPUtime=3272.19 cores=5,7
/proc/123889/stat : 123889 (mixed-bag) R 123886 123889 122961 0 -1 4194304 64368 0 0 0 326277 942 0 0 20 0 1 0 141694259 309219328 58996 18446744073709551615 4235264 15840557 140736729977680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 49340416 140736729979290 140736729979367 140736729979367 140736729984971 0
/proc/123889/statm: 75493 58996 4480 2834 0 57698 0
Current children cumulated CPU time: 3272.19 s
Current children cumulated vsize: 301972 KiB
Current children cumulated memory: 235984 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/251 124244
/proc/meminfo: memFree=111161988/131382112 swapFree=33000116/33010684
[pid=123889] ppid=123886 vsize=301972 memory=235984 CPUtime=3332 cores=5,7
/proc/123889/stat : 123889 (mixed-bag) R 123886 123889 122961 0 -1 4194304 64368 0 0 0 332244 956 0 0 20 0 1 0 141694259 309219328 58996 18446744073709551615 4235264 15840557 140736729977680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 49340416 140736729979290 140736729979367 140736729979367 140736729984971 0
/proc/123889/statm: 75493 58996 4480 2834 0 57698 0
Current children cumulated CPU time: 3332 s
Current children cumulated vsize: 301972 KiB
Current children cumulated memory: 235984 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/251 124250
/proc/meminfo: memFree=111177580/131382112 swapFree=33000116/33010684
[pid=123889] ppid=123886 vsize=301972 memory=235984 CPUtime=3391.83 cores=5,7
/proc/123889/stat : 123889 (mixed-bag) R 123886 123889 122961 0 -1 4194304 64369 0 0 0 338213 970 0 0 20 0 1 0 141694259 309219328 58996 18446744073709551615 4235264 15840557 140736729977680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 49340416 140736729979290 140736729979367 140736729979367 140736729984971 0
/proc/123889/statm: 75493 58996 4480 2834 0 57698 0
Current children cumulated CPU time: 3391.83 s
Current children cumulated vsize: 301972 KiB
Current children cumulated memory: 235984 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/251 124252
/proc/meminfo: memFree=111164764/131382112 swapFree=33000116/33010684
[pid=123889] ppid=123886 vsize=301972 memory=235984 CPUtime=3451.65 cores=5,7
/proc/123889/stat : 123889 (mixed-bag) R 123886 123889 122961 0 -1 4194304 64369 0 0 0 344182 983 0 0 20 0 1 0 141694259 309219328 58996 18446744073709551615 4235264 15840557 140736729977680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 49340416 140736729979290 140736729979367 140736729979367 140736729984971 0
/proc/123889/statm: 75493 58996 4480 2834 0 57698 0
Current children cumulated CPU time: 3451.65 s
Current children cumulated vsize: 301972 KiB
Current children cumulated memory: 235984 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/251 124254
/proc/meminfo: memFree=111047956/131382112 swapFree=33000116/33010684
[pid=123889] ppid=123886 vsize=301972 memory=235984 CPUtime=3511.47 cores=5,7
/proc/123889/stat : 123889 (mixed-bag) R 123886 123889 122961 0 -1 4194304 64413 0 0 0 350152 995 0 0 20 0 1 0 141694259 309219328 58996 18446744073709551615 4235264 15840557 140736729977680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 49340416 140736729979290 140736729979367 140736729979367 140736729984971 0
/proc/123889/statm: 75493 58996 4480 2834 0 57698 0
Current children cumulated CPU time: 3511.47 s
Current children cumulated vsize: 301972 KiB
Current children cumulated memory: 235984 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/251 124256
/proc/meminfo: memFree=111070980/131382112 swapFree=33000116/33010684
[pid=123889] ppid=123886 vsize=301972 memory=235984 CPUtime=3571.29 cores=5,7
/proc/123889/stat : 123889 (mixed-bag) R 123886 123889 122961 0 -1 4194304 64416 0 0 0 356121 1008 0 0 20 0 1 0 141694259 309219328 58996 18446744073709551615 4235264 15840557 140736729977680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 49340416 140736729979290 140736729979367 140736729979367 140736729984971 0
/proc/123889/statm: 75493 58996 4480 2834 0 57698 0
Current children cumulated CPU time: 3571.29 s
Current children cumulated vsize: 301972 KiB
Current children cumulated memory: 235984 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.11 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 124256
/proc/meminfo: memFree=111058840/131382112 swapFree=33000116/33010684
[pid=123889] ppid=123886 vsize=301972 memory=238032 CPUtime=3600.01 cores=5,7
/proc/123889/stat : 123889 (mixed-bag) R 123886 123889 122961 0 -1 4194304 64417 0 0 0 358988 1013 0 0 20 0 1 0 141694259 309219328 59508 18446744073709551615 4235264 15840557 140736729977680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 49340416 140736729979290 140736729979367 140736729979367 140736729984971 0
/proc/123889/statm: 75493 59508 4480 2834 0 57698 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 301972 KiB
Current children cumulated memory: 238032 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.12 s]
# the end of solver process 123889 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.88 s, system=10.1384 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.11 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 124256
/proc/meminfo: memFree=111058840/131382112 swapFree=33000116/33010684
[pid=123889] ppid=123886 vsize=301972 memory=238032 CPUtime=3600.01 cores=5,7
/proc/123889/stat : 123889 (mixed-bag) R 123886 123889 122961 0 -1 4194304 64417 0 0 0 358988 1013 0 0 20 0 1 0 141694259 309219328 59508 18446744073709551615 4235264 15840557 140736729977680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 49340416 140736729979290 140736729979367 140736729979367 140736729984971 0
/proc/123889/statm: 75493 59508 4480 2834 0 57698 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 301972 KiB
Current children cumulated memory: 238032 KiB
Child status: 0
Real time (s): 3611.12
CPU time (s): 3600.02
CPU user time (s): 3589.88
CPU system time (s): 10.1384
CPU usage (%): 99.6928
Max. virtual memory (cumulated for all children) (KiB): 400408
Max. memory (cumulated for all children) (KiB): 309600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.88
system time used= 10.1384
maximum resident set size= 309600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64447
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= 145
involuntary context switches= 1317
# summary of solver processes directly reported to runsolver:
# pid: 123889
# total CPU time (s): 3600.02
# total CPU user time (s): 3589.88
# total CPU system time (s): 10.1384
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1308 second user time and 33.7318 second system time
The end
Begin job on nodeC007 at 2025-07-11 20:55:51
IDJOB=4529113
IDBENCH=155375
IDSOLVER=3386
FILE ID=nodeC007/4529113-1752260151
RUNJOBID= nodeC007-1752256448-122974
SLURM_JOB_ID= 9682599
Free space on /tmp= 431032 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-neos-1616732.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529113-1752260151/watcher-4529113-1752260151 -o /tmp/evaluation-result-4529113-1752260151/solver-4529113-1752260151 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1752256448-122974 --watchdog 3760 mixed-bag HOME/instance-4529113-1752260151.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 75f9ad7c30513194432fdca99f15ae89
RANDOM SEED=263237834
nodeC007 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 : 0xb00001f
cpu MHz : 2993.001
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3591.600
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.387
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.240
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3660.470
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1696.118
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.271
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 123982772 kB
MemAvailable: 128879244 kB
Buffers: 16 kB
Cached: 5562208 kB
SwapCached: 2800 kB
Active: 1215344 kB
Inactive: 5291516 kB
Active(anon): 921628 kB
Inactive(anon): 35028 kB
Active(file): 293716 kB
Inactive(file): 5256488 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33000116 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 50420 kB
Writeback: 4 kB
AnonPages: 943216 kB
Mapped: 131580 kB
Shmem: 12016 kB
KReclaimable: 371792 kB
Slab: 464064 kB
SReclaimable: 371792 kB
SUnreclaim: 92272 kB
KernelStack: 4112 kB
PageTables: 5272 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1386136 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149352 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 122880 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: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 430880 MiB
End job on nodeC007 at 2025-07-11 21:56:03