0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.08 c [STEP] solving
0.00/0.08 c #variables 1288 #constraints 2431
0.00/0.08 c SMALL=int, LARGE=long long
0.00/0.08 c bounds - >= 55 @ 0.071487
0.00/0.08 c stratification level: 0
26.52/26.64 c #Conflicts: 1000 | #Constraints: 3430
26.52/26.64 c #Conflicts: 2000 | #Constraints: 4430
26.52/26.64 c INPROCESSING
26.52/26.64 c GARBAGE COLLECT
26.52/26.64 c #Conflicts: 3000 | #Constraints: 4437
26.52/26.64 c #Conflicts: 4000 | #Constraints: 5437
26.52/26.64 c INPROCESSING
26.52/26.64 c GARBAGE COLLECT
26.52/26.64 c #Conflicts: 5000 | #Constraints: 4846
26.52/26.64 c #Conflicts: 6000 | #Constraints: 5846
26.52/26.64 c INPROCESSING
26.52/26.64 c GARBAGE COLLECT
26.52/26.64 c #Conflicts: 7000 | #Constraints: 4851
26.52/26.64 c #Conflicts: 8000 | #Constraints: 5851
26.52/26.64 c #Conflicts: 9000 | #Constraints: 6851
26.52/26.64 c INPROCESSING
26.52/26.64 c GARBAGE COLLECT
26.52/26.64 c #Conflicts: 10000 | #Constraints: 5553
26.52/26.64 c #Conflicts: 11000 | #Constraints: 6553
26.52/26.64 c #Conflicts: 12000 | #Constraints: 7553
26.52/26.64 c INPROCESSING
26.52/26.64 c GARBAGE COLLECT
26.52/26.64 c #Conflicts: 13000 | #Constraints: 6007
26.52/26.64 c #Conflicts: 14000 | #Constraints: 7007
26.52/26.64 c #Conflicts: 15000 | #Constraints: 8007
26.52/26.64 c INPROCESSING
26.52/26.64 c GARBAGE COLLECT
26.52/26.64 c #Conflicts: 16000 | #Constraints: 6239
26.52/26.64 c #Conflicts: 17000 | #Constraints: 7239
26.52/26.64 c #Conflicts: 18000 | #Constraints: 8239
26.52/26.64 c INPROCESSING
26.52/26.64 c GARBAGE COLLECT
26.52/26.64 c #Conflicts: 19000 | #Constraints: 6259
26.52/26.64 c #Conflicts: 20000 | #Constraints: 7259
26.52/26.64 c #Conflicts: 21000 | #Constraints: 8259
26.52/26.64 c INPROCESSING
26.52/26.64 c GARBAGE COLLECT
26.52/26.64 c #Conflicts: 22000 | #Constraints: 6067
26.52/26.64 c #Conflicts: 23000 | #Constraints: 7067
26.52/26.64 c #Conflicts: 24000 | #Constraints: 8067
26.52/26.64 c #Conflicts: 25000 | #Constraints: 9067
26.52/26.64 c INPROCESSING
26.52/26.64 c GARBAGE COLLECT
26.52/26.64 c #Conflicts: 26000 | #Constraints: 6672
26.52/26.64 c #Conflicts: 27000 | #Constraints: 7672
26.52/26.64 c #Conflicts: 28000 | #Constraints: 8672
26.52/26.64 c #Conflicts: 29000 | #Constraints: 9672
26.52/26.64 c INPROCESSING
26.52/26.64 c GARBAGE COLLECT
26.52/26.64 c #Conflicts: 30000 | #Constraints: 7072
26.52/26.64 c #Conflicts: 31000 | #Constraints: 8072
26.52/26.64 c #Conflicts: 32000 | #Constraints: 9072
26.52/26.64 c #Conflicts: 33000 | #Constraints: 10072
26.52/26.64 c INPROCESSING
26.52/26.64 c GARBAGE COLLECT
26.52/26.64 c #Conflicts: 34000 | #Constraints: 7274
26.52/26.64 c #Conflicts: 35000 | #Constraints: 8274
26.52/26.64 c #Conflicts: 36000 | #Constraints: 9274
26.52/26.64 c #Conflicts: 37000 | #Constraints: 10274
26.52/26.64 c INPROCESSING
26.52/26.64 c GARBAGE COLLECT
26.52/26.64 c #Conflicts: 38000 | #Constraints: 7277
26.52/26.64 c #Conflicts: 39000 | #Constraints: 8277
26.52/26.64 c #Conflicts: 40000 | #Constraints: 9277
26.52/26.64 c #Conflicts: 41000 | #Constraints: 10277
26.52/26.64 c INPROCESSING
26.52/26.64 c GARBAGE COLLECT
26.52/26.64 c #Conflicts: 42000 | #Constraints: 7084
26.52/26.64 c #Conflicts: 43000 | #Constraints: 8084
26.52/26.64 c #Conflicts: 44000 | #Constraints: 9084
26.52/26.64 c #Conflicts: 45000 | #Constraints: 10084
26.52/26.64 c #Conflicts: 46000 | #Constraints: 11084
26.52/26.64 c INPROCESSING
26.52/26.64 c GARBAGE COLLECT
26.52/26.64 c #Conflicts: 47000 | #Constraints: 7683
26.52/26.64 c #Conflicts: 48000 | #Constraints: 8683
26.52/26.64 c #Conflicts: 49000 | #Constraints: 9683
26.52/26.64 c #Conflicts: 50000 | #Constraints: 10683
26.52/26.64 c #Conflicts: 51000 | #Constraints: 11683
26.52/26.64 c INPROCESSING
26.52/26.64 c GARBAGE COLLECT
26.52/26.64 c #Conflicts: 52000 | #Constraints: 8081
26.52/26.64 c #Conflicts: 53000 | #Constraints: 9081
26.52/26.64 c #Conflicts: 54000 | #Constraints: 10081
26.52/26.64 c #Conflicts: 55000 | #Constraints: 11081
26.52/26.64 c #Conflicts: 56000 | #Constraints: 12081
26.52/26.64 c INPROCESSING
26.52/26.64 c GARBAGE COLLECT
26.52/26.64 c #Conflicts: 57000 | #Constraints: 8280
26.52/26.64 c #Conflicts: 58000 | #Constraints: 9280
26.52/26.64 c #Conflicts: 59000 | #Constraints: 10280
26.52/26.64 c #Conflicts: 60000 | #Constraints: 11280
26.52/26.64 c #Conflicts: 61000 | #Constraints: 12280
26.52/26.64 c INPROCESSING
26.52/26.64 c GARBAGE COLLECT
26.52/26.64 c #Conflicts: 62000 | #Constraints: 8279
26.52/26.64 c #Conflicts: 63000 | #Constraints: 9279
26.52/26.64 c #Conflicts: 64000 | #Constraints: 10279
26.52/26.64 c #Conflicts: 65000 | #Constraints: 11279
26.52/26.64 c #Conflicts: 66000 | #Constraints: 12279
26.52/26.64 c INPROCESSING
26.52/26.64 c GARBAGE COLLECT
26.52/26.64 c #Conflicts: 67000 | #Constraints: 8079
26.52/26.64 c #Conflicts: 68000 | #Constraints: 9079
71.22/71.44 c #Conflicts: 69000 | #Constraints: 10079
71.22/71.44 c #Conflicts: 70000 | #Constraints: 11079
71.22/71.44 c #Conflicts: 71000 | #Constraints: 12079
71.22/71.44 c #Conflicts: 72000 | #Constraints: 13079
71.22/71.44 c INPROCESSING
71.22/71.44 c GARBAGE COLLECT
71.22/71.44 c #Conflicts: 73000 | #Constraints: 8682
71.22/71.44 c #Conflicts: 74000 | #Constraints: 9682
71.22/71.44 c #Conflicts: 75000 | #Constraints: 10682
71.22/71.44 c #Conflicts: 76000 | #Constraints: 11682
71.22/71.44 c #Conflicts: 77000 | #Constraints: 12682
71.22/71.44 c #Conflicts: 78000 | #Constraints: 13682
71.22/71.44 c INPROCESSING
71.22/71.44 c GARBAGE COLLECT
71.22/71.44 c #Conflicts: 79000 | #Constraints: 9082
71.22/71.44 c #Conflicts: 80000 | #Constraints: 10082
71.22/71.44 c #Conflicts: 81000 | #Constraints: 11082
71.22/71.44 c #Conflicts: 82000 | #Constraints: 12082
71.22/71.44 c #Conflicts: 83000 | #Constraints: 13082
71.22/71.44 c #Conflicts: 84000 | #Constraints: 14082
71.22/71.44 c INPROCESSING
71.22/71.44 c GARBAGE COLLECT
71.22/71.44 c #Conflicts: 85000 | #Constraints: 9286
71.22/71.44 c #Conflicts: 86000 | #Constraints: 10286
71.22/71.45 c #Conflicts: 87000 | #Constraints: 11286
71.22/71.45 c #Conflicts: 88000 | #Constraints: 12286
71.22/71.45 c #Conflicts: 89000 | #Constraints: 13286
71.22/71.45 c #Conflicts: 90000 | #Constraints: 14286
71.22/71.45 c INPROCESSING
71.22/71.45 c GARBAGE COLLECT
71.22/71.45 c #Conflicts: 91000 | #Constraints: 9291
71.22/71.45 c #Conflicts: 92000 | #Constraints: 10291
71.22/71.45 c #Conflicts: 93000 | #Constraints: 11291
71.22/71.45 c #Conflicts: 94000 | #Constraints: 12291
71.22/71.45 c #Conflicts: 95000 | #Constraints: 13291
71.22/71.45 c #Conflicts: 96000 | #Constraints: 14291
71.22/71.45 c INPROCESSING
71.22/71.45 c GARBAGE COLLECT
71.22/71.45 c #Conflicts: 97000 | #Constraints: 9089
71.22/71.45 c #Conflicts: 98000 | #Constraints: 10089
71.22/71.45 c #Conflicts: 99000 | #Constraints: 11089
71.22/71.45 c #Conflicts: 100000 | #Constraints: 12089
71.22/71.45 c #Conflicts: 101000 | #Constraints: 13089
71.22/71.45 c #Conflicts: 102000 | #Constraints: 14089
71.22/71.45 c #Conflicts: 103000 | #Constraints: 15089
71.22/71.45 c INPROCESSING
71.22/71.45 c GARBAGE COLLECT
71.22/71.45 c #Conflicts: 104000 | #Constraints: 9687
71.22/71.45 c #Conflicts: 105000 | #Constraints: 10687
71.22/71.45 c #Conflicts: 106000 | #Constraints: 11687
71.22/71.45 c #Conflicts: 107000 | #Constraints: 12687
71.22/71.45 c #Conflicts: 108000 | #Constraints: 13687
71.22/71.45 c #Conflicts: 109000 | #Constraints: 14687
71.22/71.45 c #Conflicts: 110000 | #Constraints: 15687
71.22/71.45 c INPROCESSING
71.22/71.45 c GARBAGE COLLECT
71.22/71.45 c #Conflicts: 111000 | #Constraints: 10092
71.22/71.45 c #Conflicts: 112000 | #Constraints: 11092
71.22/71.45 c #Conflicts: 113000 | #Constraints: 12092
71.22/71.45 c #Conflicts: 114000 | #Constraints: 13092
71.22/71.45 c #Conflicts: 115000 | #Constraints: 14092
71.22/71.45 c #Conflicts: 116000 | #Constraints: 15092
71.22/71.45 c #Conflicts: 117000 | #Constraints: 16092
71.22/71.45 c INPROCESSING
71.22/71.45 c GARBAGE COLLECT
71.22/71.45 c #Conflicts: 118000 | #Constraints: 10292
71.22/71.45 c #Conflicts: 119000 | #Constraints: 11292
71.22/71.45 c #Conflicts: 120000 | #Constraints: 12292
71.22/71.45 c #Conflicts: 121000 | #Constraints: 13292
71.22/71.45 c #Conflicts: 122000 | #Constraints: 14292
71.22/71.45 c #Conflicts: 123000 | #Constraints: 15292
71.22/71.45 c #Conflicts: 124000 | #Constraints: 16292
71.22/71.45 c INPROCESSING
71.22/71.45 c GARBAGE COLLECT
71.22/71.45 c #Conflicts: 125000 | #Constraints: 10289
71.22/71.45 c #Conflicts: 126000 | #Constraints: 11289
71.22/71.45 c #Conflicts: 127000 | #Constraints: 12289
71.22/71.45 c #Conflicts: 128000 | #Constraints: 13289
71.22/71.45 c #Conflicts: 129000 | #Constraints: 14289
71.22/71.45 c #Conflicts: 130000 | #Constraints: 15289
71.22/71.45 c #Conflicts: 131000 | #Constraints: 16289
71.22/71.45 c INPROCESSING
71.22/71.45 c GARBAGE COLLECT
71.22/71.45 c #Conflicts: 132000 | #Constraints: 10088
71.22/71.45 c #Conflicts: 133000 | #Constraints: 11088
71.22/71.45 c #Conflicts: 134000 | #Constraints: 12088
71.22/71.45 c #Conflicts: 135000 | #Constraints: 13088
71.22/71.45 c #Conflicts: 136000 | #Constraints: 14088
71.22/71.45 c #Conflicts: 137000 | #Constraints: 15088
71.22/71.45 c #Conflicts: 138000 | #Constraints: 16088
71.22/71.45 c #Conflicts: 139000 | #Constraints: 17088
71.22/71.45 c INPROCESSING
71.22/71.45 c GARBAGE COLLECT
71.22/71.45 c #Conflicts: 140000 | #Constraints: 10689
131.59/131.98 c #Conflicts: 141000 | #Constraints: 11689
131.59/131.98 c #Conflicts: 142000 | #Constraints: 12689
131.59/131.98 c #Conflicts: 143000 | #Constraints: 13689
131.59/131.98 c #Conflicts: 144000 | #Constraints: 14689
131.59/131.98 c #Conflicts: 145000 | #Constraints: 15689
131.59/131.98 c #Conflicts: 146000 | #Constraints: 16689
131.59/131.98 c #Conflicts: 147000 | #Constraints: 17689
131.59/131.98 c INPROCESSING
131.59/131.98 c GARBAGE COLLECT
131.59/131.98 c #Conflicts: 148000 | #Constraints: 11088
131.59/131.98 c #Conflicts: 149000 | #Constraints: 12088
131.59/131.98 c #Conflicts: 150000 | #Constraints: 13088
131.59/131.98 c #Conflicts: 151000 | #Constraints: 14088
131.59/131.98 c #Conflicts: 152000 | #Constraints: 15088
131.59/131.98 c #Conflicts: 153000 | #Constraints: 16088
131.59/131.98 c #Conflicts: 154000 | #Constraints: 17088
131.59/131.98 c #Conflicts: 155000 | #Constraints: 18088
131.59/131.98 c INPROCESSING
131.59/131.98 c GARBAGE COLLECT
131.59/131.98 c #Conflicts: 156000 | #Constraints: 11288
131.59/131.98 c #Conflicts: 157000 | #Constraints: 12288
131.59/131.98 c #Conflicts: 158000 | #Constraints: 13288
131.59/131.98 c #Conflicts: 159000 | #Constraints: 14288
131.59/131.98 c #Conflicts: 160000 | #Constraints: 15288
131.59/131.98 c #Conflicts: 161000 | #Constraints: 16288
131.59/131.98 c #Conflicts: 162000 | #Constraints: 17288
131.59/131.98 c #Conflicts: 163000 | #Constraints: 18288
131.59/131.98 c INPROCESSING
131.59/131.98 c GARBAGE COLLECT
131.59/131.98 c #Conflicts: 164000 | #Constraints: 11289
131.59/131.98 c #Conflicts: 165000 | #Constraints: 12289
131.59/131.98 c #Conflicts: 166000 | #Constraints: 13289
131.59/131.98 c #Conflicts: 167000 | #Constraints: 14289
131.59/131.98 c #Conflicts: 168000 | #Constraints: 15289
131.59/131.98 c #Conflicts: 169000 | #Constraints: 16289
131.59/131.98 c #Conflicts: 170000 | #Constraints: 17289
131.59/131.98 c #Conflicts: 171000 | #Constraints: 18289
131.59/131.98 c INPROCESSING
131.59/131.98 c GARBAGE COLLECT
131.59/131.98 c #Conflicts: 172000 | #Constraints: 11097
131.59/131.98 c #Conflicts: 173000 | #Constraints: 12097
131.59/131.98 c #Conflicts: 174000 | #Constraints: 13097
131.59/131.98 c #Conflicts: 175000 | #Constraints: 14097
131.59/131.98 c #Conflicts: 176000 | #Constraints: 15097
131.59/131.98 c #Conflicts: 177000 | #Constraints: 16097
131.59/131.98 c #Conflicts: 178000 | #Constraints: 17097
131.59/131.98 c #Conflicts: 179000 | #Constraints: 18097
131.59/131.98 c #Conflicts: 180000 | #Constraints: 19097
131.59/131.98 c INPROCESSING
131.59/131.98 c GARBAGE COLLECT
131.59/131.98 c #Conflicts: 181000 | #Constraints: 11700
131.59/131.98 c #Conflicts: 182000 | #Constraints: 12700
131.59/131.98 c #Conflicts: 183000 | #Constraints: 13700
131.59/131.98 c #Conflicts: 184000 | #Constraints: 14700
131.59/131.98 c #Conflicts: 185000 | #Constraints: 15700
131.59/131.98 c #Conflicts: 186000 | #Constraints: 16700
131.59/131.98 c #Conflicts: 187000 | #Constraints: 17700
131.59/131.98 c #Conflicts: 188000 | #Constraints: 18700
131.59/131.98 c #Conflicts: 189000 | #Constraints: 19700
131.59/131.98 c INPROCESSING
131.59/131.98 c GARBAGE COLLECT
131.59/131.98 c #Conflicts: 190000 | #Constraints: 12094
131.59/131.98 c #Conflicts: 191000 | #Constraints: 13094
131.59/131.98 c #Conflicts: 192000 | #Constraints: 14094
131.59/131.98 c #Conflicts: 193000 | #Constraints: 15094
131.59/131.98 c #Conflicts: 194000 | #Constraints: 16094
131.59/131.98 c #Conflicts: 195000 | #Constraints: 17094
131.59/131.98 c #Conflicts: 196000 | #Constraints: 18094
131.59/131.98 c #Conflicts: 197000 | #Constraints: 19094
131.59/131.98 c #Conflicts: 198000 | #Constraints: 20094
131.59/131.98 c INPROCESSING
131.59/131.98 c GARBAGE COLLECT
131.59/131.98 c #Conflicts: 199000 | #Constraints: 12302
131.59/131.98 c #Conflicts: 200000 | #Constraints: 13302
131.59/131.98 c #Conflicts: 201000 | #Constraints: 14302
131.59/131.98 c #Conflicts: 202000 | #Constraints: 15302
131.59/131.98 c #Conflicts: 203000 | #Constraints: 16302
131.59/131.98 c #Conflicts: 204000 | #Constraints: 17302
131.59/131.98 c #Conflicts: 205000 | #Constraints: 18302
131.59/131.98 c #Conflicts: 206000 | #Constraints: 19302
131.59/131.98 c #Conflicts: 207000 | #Constraints: 20302
131.59/131.98 c INPROCESSING
131.59/131.98 c GARBAGE COLLECT
131.59/131.98 c #Conflicts: 208000 | #Constraints: 12294
131.59/131.98 c #Conflicts: 209000 | #Constraints: 13294
131.59/131.98 c #Conflicts: 210000 | #Constraints: 14294
131.59/131.98 c #Conflicts: 211000 | #Constraints: 15294
131.59/131.98 c #Conflicts: 212000 | #Constraints: 16294
131.59/131.98 c #Conflicts: 213000 | #Constraints: 17294
206.31/206.86 c #Conflicts: 214000 | #Constraints: 18294
206.31/206.86 c #Conflicts: 215000 | #Constraints: 19294
206.31/206.86 c #Conflicts: 216000 | #Constraints: 20294
206.31/206.86 c INPROCESSING
206.31/206.86 c GARBAGE COLLECT
206.31/206.86 c #Conflicts: 217000 | #Constraints: 12101
206.31/206.86 c #Conflicts: 218000 | #Constraints: 13101
206.31/206.86 c #Conflicts: 219000 | #Constraints: 14101
206.31/206.86 c #Conflicts: 220000 | #Constraints: 15101
206.31/206.86 c #Conflicts: 221000 | #Constraints: 16101
206.31/206.86 c #Conflicts: 222000 | #Constraints: 17101
206.31/206.86 c #Conflicts: 223000 | #Constraints: 18101
206.31/206.86 c #Conflicts: 224000 | #Constraints: 19101
206.31/206.86 c #Conflicts: 225000 | #Constraints: 20101
206.31/206.86 c #Conflicts: 226000 | #Constraints: 21101
206.31/206.86 c INPROCESSING
206.31/206.86 c GARBAGE COLLECT
206.31/206.86 c #Conflicts: 227000 | #Constraints: 12691
206.31/206.86 c #Conflicts: 228000 | #Constraints: 13691
206.31/206.86 c #Conflicts: 229000 | #Constraints: 14691
206.31/206.86 c #Conflicts: 230000 | #Constraints: 15691
206.31/206.86 c #Conflicts: 231000 | #Constraints: 16691
206.31/206.86 c #Conflicts: 232000 | #Constraints: 17691
206.31/206.86 c #Conflicts: 233000 | #Constraints: 18691
206.31/206.86 c #Conflicts: 234000 | #Constraints: 19691
206.31/206.86 c #Conflicts: 235000 | #Constraints: 20691
206.31/206.86 c #Conflicts: 236000 | #Constraints: 21691
206.31/206.86 c INPROCESSING
206.31/206.86 c GARBAGE COLLECT
206.31/206.86 c #Conflicts: 237000 | #Constraints: 13108
206.31/206.86 c #Conflicts: 238000 | #Constraints: 14108
206.31/206.86 c #Conflicts: 239000 | #Constraints: 15108
206.31/206.86 c #Conflicts: 240000 | #Constraints: 16108
206.31/206.86 c #Conflicts: 241000 | #Constraints: 17108
206.31/206.86 c #Conflicts: 242000 | #Constraints: 18108
206.31/206.86 c #Conflicts: 243000 | #Constraints: 19108
206.31/206.86 c #Conflicts: 244000 | #Constraints: 20108
206.31/206.86 c #Conflicts: 245000 | #Constraints: 21108
206.31/206.86 c #Conflicts: 246000 | #Constraints: 22108
206.31/206.86 c INPROCESSING
206.31/206.86 c GARBAGE COLLECT
206.31/206.86 c #Conflicts: 247000 | #Constraints: 13304
206.31/206.86 c #Conflicts: 248000 | #Constraints: 14304
206.31/206.86 c #Conflicts: 249000 | #Constraints: 15304
206.31/206.86 c #Conflicts: 250000 | #Constraints: 16304
206.31/206.86 c #Conflicts: 251000 | #Constraints: 17304
206.31/206.86 c #Conflicts: 252000 | #Constraints: 18304
206.31/206.86 c #Conflicts: 253000 | #Constraints: 19304
206.31/206.86 c #Conflicts: 254000 | #Constraints: 20304
206.31/206.86 c #Conflicts: 255000 | #Constraints: 21304
206.31/206.86 c #Conflicts: 256000 | #Constraints: 22304
206.31/206.86 c INPROCESSING
206.31/206.86 c GARBAGE COLLECT
206.31/206.86 c #Conflicts: 257000 | #Constraints: 13298
206.31/206.86 c #Conflicts: 258000 | #Constraints: 14298
206.31/206.86 c #Conflicts: 259000 | #Constraints: 15298
206.31/206.86 c #Conflicts: 260000 | #Constraints: 16298
206.31/206.86 c #Conflicts: 261000 | #Constraints: 17298
206.31/206.86 c #Conflicts: 262000 | #Constraints: 18298
206.31/206.86 c #Conflicts: 263000 | #Constraints: 19298
206.31/206.86 c #Conflicts: 264000 | #Constraints: 20298
206.31/206.86 c #Conflicts: 265000 | #Constraints: 21298
206.31/206.86 c #Conflicts: 266000 | #Constraints: 22298
206.31/206.86 c INPROCESSING
206.31/206.86 c GARBAGE COLLECT
206.31/206.86 c #Conflicts: 267000 | #Constraints: 13096
206.31/206.86 c #Conflicts: 268000 | #Constraints: 14096
206.31/206.86 c #Conflicts: 269000 | #Constraints: 15096
206.31/206.86 c #Conflicts: 270000 | #Constraints: 16096
206.31/206.86 c #Conflicts: 271000 | #Constraints: 17096
206.31/206.86 c #Conflicts: 272000 | #Constraints: 18096
206.31/206.86 c #Conflicts: 273000 | #Constraints: 19096
206.31/206.86 c #Conflicts: 274000 | #Constraints: 20096
206.31/206.86 c #Conflicts: 275000 | #Constraints: 21096
206.31/206.86 c #Conflicts: 276000 | #Constraints: 22096
206.31/206.86 c #Conflicts: 277000 | #Constraints: 23096
206.31/206.86 c INPROCESSING
206.31/206.86 c GARBAGE COLLECT
206.31/206.86 c #Conflicts: 278000 | #Constraints: 13704
206.31/206.86 c #Conflicts: 279000 | #Constraints: 14704
206.31/206.86 c #Conflicts: 280000 | #Constraints: 15704
206.31/206.86 c #Conflicts: 281000 | #Constraints: 16704
206.31/206.86 c #Conflicts: 282000 | #Constraints: 17704
206.31/206.86 c #Conflicts: 283000 | #Constraints: 18704
206.31/206.86 c #Conflicts: 284000 | #Constraints: 19704
206.31/206.86 c #Conflicts: 285000 | #Constraints: 20704
206.31/206.86 c #Conflicts: 286000 | #Constraints: 21704
206.31/206.86 c #Conflicts: 287000 | #Constraints: 22704
206.31/206.86 c #Conflicts: 288000 | #Constraints: 23704
289.52/290.25 c INPROCESSING
289.52/290.25 c GARBAGE COLLECT
289.52/290.25 c #Conflicts: 289000 | #Constraints: 14105
289.52/290.25 c #Conflicts: 290000 | #Constraints: 15105
289.52/290.25 c #Conflicts: 291000 | #Constraints: 16105
289.52/290.25 c #Conflicts: 292000 | #Constraints: 17105
289.52/290.25 c #Conflicts: 293000 | #Constraints: 18105
289.52/290.25 c #Conflicts: 294000 | #Constraints: 19105
289.52/290.25 c #Conflicts: 295000 | #Constraints: 20105
289.52/290.25 c #Conflicts: 296000 | #Constraints: 21105
289.52/290.25 c #Conflicts: 297000 | #Constraints: 22105
289.52/290.25 c #Conflicts: 298000 | #Constraints: 23105
289.52/290.25 c #Conflicts: 299000 | #Constraints: 24105
289.52/290.25 c INPROCESSING
289.52/290.25 c GARBAGE COLLECT
289.52/290.25 c #Conflicts: 300000 | #Constraints: 14304
289.52/290.25 c #Conflicts: 301000 | #Constraints: 15304
289.52/290.25 c #Conflicts: 302000 | #Constraints: 16304
289.52/290.25 c #Conflicts: 303000 | #Constraints: 17304
289.52/290.25 c #Conflicts: 304000 | #Constraints: 18304
289.52/290.25 c #Conflicts: 305000 | #Constraints: 19304
289.52/290.25 c #Conflicts: 306000 | #Constraints: 20304
289.52/290.25 c #Conflicts: 307000 | #Constraints: 21304
289.52/290.25 c #Conflicts: 308000 | #Constraints: 22304
289.52/290.25 c #Conflicts: 309000 | #Constraints: 23304
289.52/290.25 c #Conflicts: 310000 | #Constraints: 24304
289.52/290.25 c INPROCESSING
289.52/290.25 c GARBAGE COLLECT
289.52/290.25 c #Conflicts: 311000 | #Constraints: 14303
289.52/290.25 c #Conflicts: 312000 | #Constraints: 15303
289.52/290.25 c #Conflicts: 313000 | #Constraints: 16303
289.52/290.25 c #Conflicts: 314000 | #Constraints: 17303
289.52/290.25 c #Conflicts: 315000 | #Constraints: 18303
289.52/290.25 c #Conflicts: 316000 | #Constraints: 19303
289.52/290.25 c #Conflicts: 317000 | #Constraints: 20303
289.52/290.25 c #Conflicts: 318000 | #Constraints: 21303
289.52/290.25 c #Conflicts: 319000 | #Constraints: 22303
289.52/290.25 c #Conflicts: 320000 | #Constraints: 23303
289.52/290.25 c #Conflicts: 321000 | #Constraints: 24303
289.52/290.25 c INPROCESSING
289.52/290.25 c GARBAGE COLLECT
289.52/290.25 c #Conflicts: 322000 | #Constraints: 14104
289.52/290.25 c #Conflicts: 323000 | #Constraints: 15104
289.52/290.25 c #Conflicts: 324000 | #Constraints: 16104
289.52/290.26 c #Conflicts: 325000 | #Constraints: 17104
289.52/290.26 c #Conflicts: 326000 | #Constraints: 18104
289.52/290.26 c #Conflicts: 327000 | #Constraints: 19104
289.52/290.26 c #Conflicts: 328000 | #Constraints: 20104
289.52/290.26 c #Conflicts: 329000 | #Constraints: 21104
289.52/290.26 c #Conflicts: 330000 | #Constraints: 22104
289.52/290.26 c #Conflicts: 331000 | #Constraints: 23104
289.52/290.26 c #Conflicts: 332000 | #Constraints: 24104
289.52/290.26 c #Conflicts: 333000 | #Constraints: 25104
289.52/290.26 c INPROCESSING
289.52/290.26 c GARBAGE COLLECT
289.52/290.26 c #Conflicts: 334000 | #Constraints: 14696
289.52/290.26 c #Conflicts: 335000 | #Constraints: 15696
289.52/290.26 c #Conflicts: 336000 | #Constraints: 16696
289.52/290.26 c #Conflicts: 337000 | #Constraints: 17696
289.52/290.26 c #Conflicts: 338000 | #Constraints: 18696
289.52/290.26 c #Conflicts: 339000 | #Constraints: 19696
289.52/290.26 c #Conflicts: 340000 | #Constraints: 20696
289.52/290.26 c #Conflicts: 341000 | #Constraints: 21696
289.52/290.26 c #Conflicts: 342000 | #Constraints: 22696
289.52/290.26 c #Conflicts: 343000 | #Constraints: 23696
289.52/290.26 c #Conflicts: 344000 | #Constraints: 24696
289.52/290.26 c #Conflicts: 345000 | #Constraints: 25696
289.52/290.26 c INPROCESSING
289.52/290.26 c GARBAGE COLLECT
289.52/290.26 c #Conflicts: 346000 | #Constraints: 15107
289.52/290.26 c #Conflicts: 347000 | #Constraints: 16107
289.52/290.26 c #Conflicts: 348000 | #Constraints: 17107
289.52/290.26 c #Conflicts: 349000 | #Constraints: 18107
289.52/290.26 c #Conflicts: 350000 | #Constraints: 19107
289.52/290.26 c #Conflicts: 351000 | #Constraints: 20107
289.52/290.26 c #Conflicts: 352000 | #Constraints: 21107
289.52/290.26 c #Conflicts: 353000 | #Constraints: 22107
289.52/290.26 c #Conflicts: 354000 | #Constraints: 23107
289.52/290.26 c #Conflicts: 355000 | #Constraints: 24107
289.52/290.26 c #Conflicts: 356000 | #Constraints: 25107
289.52/290.26 c #Conflicts: 357000 | #Constraints: 26107
289.52/290.26 c INPROCESSING
289.52/290.26 c GARBAGE COLLECT
289.52/290.26 c #Conflicts: 358000 | #Constraints: 15302
289.52/290.26 c #Conflicts: 359000 | #Constraints: 16302
289.52/290.26 c #Conflicts: 360000 | #Constraints: 17302
289.52/290.26 c #Conflicts: 361000 | #Constraints: 18302
289.52/290.26 c #Conflicts: 362000 | #Constraints: 19302
387.10/388.09 c #Conflicts: 363000 | #Constraints: 20302
387.10/388.09 c #Conflicts: 364000 | #Constraints: 21302
387.10/388.09 c #Conflicts: 365000 | #Constraints: 22302
387.10/388.09 c #Conflicts: 366000 | #Constraints: 23302
387.10/388.09 c #Conflicts: 367000 | #Constraints: 24302
387.10/388.09 c #Conflicts: 368000 | #Constraints: 25302
387.10/388.09 c #Conflicts: 369000 | #Constraints: 26302
387.10/388.09 c INPROCESSING
387.10/388.09 c GARBAGE COLLECT
387.10/388.09 c #Conflicts: 370000 | #Constraints: 15302
387.10/388.09 c #Conflicts: 371000 | #Constraints: 16302
387.10/388.09 c #Conflicts: 372000 | #Constraints: 17302
387.10/388.09 c #Conflicts: 373000 | #Constraints: 18302
387.10/388.09 c #Conflicts: 374000 | #Constraints: 19302
387.10/388.09 c #Conflicts: 375000 | #Constraints: 20302
387.10/388.09 c #Conflicts: 376000 | #Constraints: 21302
387.10/388.09 c #Conflicts: 377000 | #Constraints: 22302
387.10/388.09 c #Conflicts: 378000 | #Constraints: 23302
387.10/388.09 c #Conflicts: 379000 | #Constraints: 24302
387.10/388.09 c #Conflicts: 380000 | #Constraints: 25302
387.10/388.09 c #Conflicts: 381000 | #Constraints: 26302
387.10/388.09 c INPROCESSING
387.10/388.09 c GARBAGE COLLECT
387.10/388.09 c #Conflicts: 382000 | #Constraints: 15102
387.10/388.09 c #Conflicts: 383000 | #Constraints: 16102
387.10/388.09 c #Conflicts: 384000 | #Constraints: 17102
387.10/388.09 c #Conflicts: 385000 | #Constraints: 18102
387.10/388.09 c #Conflicts: 386000 | #Constraints: 19102
387.10/388.09 c #Conflicts: 387000 | #Constraints: 20102
387.10/388.09 c #Conflicts: 388000 | #Constraints: 21102
387.10/388.09 c #Conflicts: 389000 | #Constraints: 22102
387.10/388.09 c #Conflicts: 390000 | #Constraints: 23102
387.10/388.09 c #Conflicts: 391000 | #Constraints: 24102
387.10/388.09 c #Conflicts: 392000 | #Constraints: 25102
387.10/388.09 c #Conflicts: 393000 | #Constraints: 26102
387.10/388.09 c #Conflicts: 394000 | #Constraints: 27102
387.10/388.09 c INPROCESSING
387.10/388.09 c GARBAGE COLLECT
387.10/388.09 c #Conflicts: 395000 | #Constraints: 15703
387.10/388.09 c #Conflicts: 396000 | #Constraints: 16703
387.10/388.09 c #Conflicts: 397000 | #Constraints: 17703
387.10/388.09 c #Conflicts: 398000 | #Constraints: 18703
387.10/388.09 c #Conflicts: 399000 | #Constraints: 19703
387.10/388.09 c #Conflicts: 400000 | #Constraints: 20703
387.10/388.09 c #Conflicts: 401000 | #Constraints: 21703
387.10/388.09 c #Conflicts: 402000 | #Constraints: 22703
387.10/388.09 c #Conflicts: 403000 | #Constraints: 23703
387.10/388.09 c #Conflicts: 404000 | #Constraints: 24703
387.10/388.09 c #Conflicts: 405000 | #Constraints: 25703
387.10/388.09 c #Conflicts: 406000 | #Constraints: 26703
387.10/388.09 c #Conflicts: 407000 | #Constraints: 27703
387.10/388.09 c INPROCESSING
387.10/388.09 c GARBAGE COLLECT
387.10/388.09 c #Conflicts: 408000 | #Constraints: 16103
387.10/388.09 c #Conflicts: 409000 | #Constraints: 17103
387.10/388.09 c #Conflicts: 410000 | #Constraints: 18103
387.10/388.09 c #Conflicts: 411000 | #Constraints: 19103
387.10/388.09 c #Conflicts: 412000 | #Constraints: 20103
387.10/388.09 c #Conflicts: 413000 | #Constraints: 21103
387.10/388.09 c #Conflicts: 414000 | #Constraints: 22103
387.10/388.09 c #Conflicts: 415000 | #Constraints: 23103
387.10/388.09 c #Conflicts: 416000 | #Constraints: 24103
387.10/388.09 c #Conflicts: 417000 | #Constraints: 25103
387.10/388.09 c #Conflicts: 418000 | #Constraints: 26103
387.10/388.09 c #Conflicts: 419000 | #Constraints: 27103
387.10/388.09 c #Conflicts: 420000 | #Constraints: 28103
387.10/388.09 c INPROCESSING
387.10/388.09 c GARBAGE COLLECT
387.10/388.09 c #Conflicts: 421000 | #Constraints: 16301
387.10/388.09 c #Conflicts: 422000 | #Constraints: 17301
387.10/388.09 c #Conflicts: 423000 | #Constraints: 18301
387.10/388.09 c #Conflicts: 424000 | #Constraints: 19301
387.10/388.09 c #Conflicts: 425000 | #Constraints: 20301
387.10/388.09 c #Conflicts: 426000 | #Constraints: 21301
387.10/388.09 c #Conflicts: 427000 | #Constraints: 22301
387.10/388.09 c #Conflicts: 428000 | #Constraints: 23301
387.10/388.09 c #Conflicts: 429000 | #Constraints: 24301
387.10/388.09 c #Conflicts: 430000 | #Constraints: 25301
387.10/388.09 c #Conflicts: 431000 | #Constraints: 26301
387.10/388.09 c #Conflicts: 432000 | #Constraints: 27301
387.10/388.09 c #Conflicts: 433000 | #Constraints: 28301
387.10/388.09 c INPROCESSING
387.10/388.09 c GARBAGE COLLECT
387.10/388.09 c #Conflicts: 434000 | #Constraints: 16311
387.10/388.09 c #Conflicts: 435000 | #Constraints: 17311
387.10/388.09 c #Conflicts: 436000 | #Constraints: 18311
387.10/388.09 c #Conflicts: 437000 | #Constraints: 19311
488.54/489.71 c #Conflicts: 438000 | #Constraints: 20311
488.54/489.71 c #Conflicts: 439000 | #Constraints: 21311
488.54/489.71 c #Conflicts: 440000 | #Constraints: 22311
488.54/489.71 c #Conflicts: 441000 | #Constraints: 23311
488.54/489.71 c #Conflicts: 442000 | #Constraints: 24311
488.54/489.71 c #Conflicts: 443000 | #Constraints: 25311
488.54/489.71 c #Conflicts: 444000 | #Constraints: 26311
488.54/489.71 c #Conflicts: 445000 | #Constraints: 27311
488.54/489.71 c #Conflicts: 446000 | #Constraints: 28311
488.54/489.71 c INPROCESSING
488.54/489.71 c GARBAGE COLLECT
488.54/489.71 c #Conflicts: 447000 | #Constraints: 16102
488.54/489.71 c #Conflicts: 448000 | #Constraints: 17102
488.54/489.71 c #Conflicts: 449000 | #Constraints: 18102
488.54/489.71 c #Conflicts: 450000 | #Constraints: 19102
488.54/489.71 c #Conflicts: 451000 | #Constraints: 20102
488.54/489.71 c #Conflicts: 452000 | #Constraints: 21102
488.54/489.71 c #Conflicts: 453000 | #Constraints: 22102
488.54/489.71 c #Conflicts: 454000 | #Constraints: 23102
488.54/489.71 c #Conflicts: 455000 | #Constraints: 24102
488.54/489.71 c #Conflicts: 456000 | #Constraints: 25102
488.54/489.71 c #Conflicts: 457000 | #Constraints: 26102
488.54/489.71 c #Conflicts: 458000 | #Constraints: 27102
488.54/489.71 c #Conflicts: 459000 | #Constraints: 28102
488.54/489.71 c #Conflicts: 460000 | #Constraints: 29102
488.54/489.71 c INPROCESSING
488.54/489.71 c GARBAGE COLLECT
488.54/489.71 c #Conflicts: 461000 | #Constraints: 16702
488.54/489.71 c #Conflicts: 462000 | #Constraints: 17702
488.54/489.71 c #Conflicts: 463000 | #Constraints: 18702
488.54/489.71 c #Conflicts: 464000 | #Constraints: 19702
488.54/489.71 c #Conflicts: 465000 | #Constraints: 20702
488.54/489.71 c #Conflicts: 466000 | #Constraints: 21702
488.54/489.71 c #Conflicts: 467000 | #Constraints: 22702
488.54/489.71 c #Conflicts: 468000 | #Constraints: 23702
488.54/489.71 c #Conflicts: 469000 | #Constraints: 24702
488.54/489.71 c #Conflicts: 470000 | #Constraints: 25702
488.54/489.71 c #Conflicts: 471000 | #Constraints: 26702
488.54/489.71 c #Conflicts: 472000 | #Constraints: 27702
488.54/489.71 c #Conflicts: 473000 | #Constraints: 28702
488.54/489.71 c #Conflicts: 474000 | #Constraints: 29702
488.54/489.71 c INPROCESSING
488.54/489.71 c GARBAGE COLLECT
488.54/489.71 c #Conflicts: 475000 | #Constraints: 17112
488.54/489.71 c #Conflicts: 476000 | #Constraints: 18112
488.54/489.71 c #Conflicts: 477000 | #Constraints: 19112
488.54/489.71 c #Conflicts: 478000 | #Constraints: 20112
488.54/489.71 c #Conflicts: 479000 | #Constraints: 21112
488.54/489.71 c #Conflicts: 480000 | #Constraints: 22112
488.54/489.71 c #Conflicts: 481000 | #Constraints: 23112
488.54/489.71 c #Conflicts: 482000 | #Constraints: 24112
488.54/489.71 c #Conflicts: 483000 | #Constraints: 25112
488.54/489.71 c #Conflicts: 484000 | #Constraints: 26112
488.54/489.71 c #Conflicts: 485000 | #Constraints: 27112
488.54/489.71 c #Conflicts: 486000 | #Constraints: 28112
488.54/489.71 c #Conflicts: 487000 | #Constraints: 29112
488.54/489.71 c #Conflicts: 488000 | #Constraints: 30112
488.54/489.71 c INPROCESSING
488.54/489.71 c GARBAGE COLLECT
488.54/489.71 c #Conflicts: 489000 | #Constraints: 17305
488.54/489.71 c #Conflicts: 490000 | #Constraints: 18305
488.54/489.71 c #Conflicts: 491000 | #Constraints: 19305
488.54/489.71 c #Conflicts: 492000 | #Constraints: 20305
488.54/489.71 c #Conflicts: 493000 | #Constraints: 21305
488.54/489.71 c #Conflicts: 494000 | #Constraints: 22305
488.54/489.71 c #Conflicts: 495000 | #Constraints: 23305
488.54/489.71 c #Conflicts: 496000 | #Constraints: 24305
488.54/489.71 c #Conflicts: 497000 | #Constraints: 25305
488.54/489.71 c #Conflicts: 498000 | #Constraints: 26305
488.54/489.71 c #Conflicts: 499000 | #Constraints: 27305
488.54/489.71 c #Conflicts: 500000 | #Constraints: 28305
488.54/489.71 c #Conflicts: 501000 | #Constraints: 29305
488.54/489.71 c #Conflicts: 502000 | #Constraints: 30305
488.54/489.71 c INPROCESSING
488.54/489.71 c GARBAGE COLLECT
488.54/489.71 c #Conflicts: 503000 | #Constraints: 17305
488.54/489.71 c #Conflicts: 504000 | #Constraints: 18305
488.54/489.71 c #Conflicts: 505000 | #Constraints: 19305
488.54/489.71 c #Conflicts: 506000 | #Constraints: 20305
488.54/489.71 c #Conflicts: 507000 | #Constraints: 21305
488.54/489.71 c #Conflicts: 508000 | #Constraints: 22305
488.54/489.71 c #Conflicts: 509000 | #Constraints: 23305
488.54/489.71 c #Conflicts: 510000 | #Constraints: 24305
488.54/489.71 c #Conflicts: 511000 | #Constraints: 25305
488.54/489.71 c #Conflicts: 512000 | #Constraints: 26305
488.54/489.71 c #Conflicts: 513000 | #Constraints: 27305
603.97/605.46 c #Conflicts: 514000 | #Constraints: 28305
603.97/605.46 c #Conflicts: 515000 | #Constraints: 29305
603.97/605.46 c #Conflicts: 516000 | #Constraints: 30305
603.97/605.46 c INPROCESSING
603.97/605.46 c GARBAGE COLLECT
603.97/605.46 c #Conflicts: 517000 | #Constraints: 17094
603.97/605.46 c #Conflicts: 518000 | #Constraints: 18094
603.97/605.46 c #Conflicts: 519000 | #Constraints: 19094
603.97/605.46 c #Conflicts: 520000 | #Constraints: 20094
603.97/605.46 c #Conflicts: 521000 | #Constraints: 21094
603.97/605.46 c #Conflicts: 522000 | #Constraints: 22094
603.97/605.46 c #Conflicts: 523000 | #Constraints: 23094
603.97/605.46 c #Conflicts: 524000 | #Constraints: 24094
603.97/605.46 c #Conflicts: 525000 | #Constraints: 25094
603.97/605.46 c #Conflicts: 526000 | #Constraints: 26094
603.97/605.46 c #Conflicts: 527000 | #Constraints: 27094
603.97/605.46 c #Conflicts: 528000 | #Constraints: 28094
603.97/605.46 c #Conflicts: 529000 | #Constraints: 29094
603.97/605.46 c #Conflicts: 530000 | #Constraints: 30094
603.97/605.46 c #Conflicts: 531000 | #Constraints: 31094
603.97/605.46 c INPROCESSING
603.97/605.46 c GARBAGE COLLECT
603.97/605.46 c #Conflicts: 532000 | #Constraints: 17706
603.97/605.46 c #Conflicts: 533000 | #Constraints: 18706
603.97/605.46 c #Conflicts: 534000 | #Constraints: 19706
603.97/605.46 c #Conflicts: 535000 | #Constraints: 20706
603.97/605.46 c #Conflicts: 536000 | #Constraints: 21706
603.97/605.46 c #Conflicts: 537000 | #Constraints: 22706
603.97/605.46 c #Conflicts: 538000 | #Constraints: 23706
603.97/605.46 c #Conflicts: 539000 | #Constraints: 24706
603.97/605.46 c #Conflicts: 540000 | #Constraints: 25706
603.97/605.46 c #Conflicts: 541000 | #Constraints: 26706
603.97/605.46 c #Conflicts: 542000 | #Constraints: 27706
603.97/605.46 c #Conflicts: 543000 | #Constraints: 28706
603.97/605.46 c #Conflicts: 544000 | #Constraints: 29706
603.97/605.46 c #Conflicts: 545000 | #Constraints: 30706
603.97/605.46 c #Conflicts: 546000 | #Constraints: 31706
603.97/605.46 c INPROCESSING
603.97/605.46 c GARBAGE COLLECT
603.97/605.46 c #Conflicts: 547000 | #Constraints: 18110
603.97/605.46 c #Conflicts: 548000 | #Constraints: 19110
603.97/605.46 c #Conflicts: 549000 | #Constraints: 20110
603.97/605.46 c #Conflicts: 550000 | #Constraints: 21110
603.97/605.46 c #Conflicts: 551000 | #Constraints: 22110
603.97/605.46 c #Conflicts: 552000 | #Constraints: 23110
603.97/605.46 c #Conflicts: 553000 | #Constraints: 24110
603.97/605.46 c #Conflicts: 554000 | #Constraints: 25110
603.97/605.46 c #Conflicts: 555000 | #Constraints: 26110
603.97/605.46 c #Conflicts: 556000 | #Constraints: 27110
603.97/605.46 c #Conflicts: 557000 | #Constraints: 28110
603.97/605.46 c #Conflicts: 558000 | #Constraints: 29110
603.97/605.46 c #Conflicts: 559000 | #Constraints: 30110
603.97/605.46 c #Conflicts: 560000 | #Constraints: 31110
603.97/605.46 c #Conflicts: 561000 | #Constraints: 32110
603.97/605.46 c INPROCESSING
603.97/605.46 c GARBAGE COLLECT
603.97/605.46 c #Conflicts: 562000 | #Constraints: 18303
603.97/605.46 c #Conflicts: 563000 | #Constraints: 19303
603.97/605.46 c #Conflicts: 564000 | #Constraints: 20303
603.97/605.46 c #Conflicts: 565000 | #Constraints: 21303
603.97/605.46 c #Conflicts: 566000 | #Constraints: 22303
603.97/605.46 c #Conflicts: 567000 | #Constraints: 23303
603.97/605.46 c #Conflicts: 568000 | #Constraints: 24303
603.97/605.46 c #Conflicts: 569000 | #Constraints: 25303
603.97/605.46 c #Conflicts: 570000 | #Constraints: 26303
603.97/605.46 c #Conflicts: 571000 | #Constraints: 27303
603.97/605.46 c #Conflicts: 572000 | #Constraints: 28303
603.97/605.46 c #Conflicts: 573000 | #Constraints: 29303
603.97/605.46 c #Conflicts: 574000 | #Constraints: 30303
603.97/605.46 c #Conflicts: 575000 | #Constraints: 31303
603.97/605.46 c #Conflicts: 576000 | #Constraints: 32303
603.97/605.46 c INPROCESSING
603.97/605.46 c GARBAGE COLLECT
603.97/605.46 c #Conflicts: 577000 | #Constraints: 18305
603.97/605.46 c #Conflicts: 578000 | #Constraints: 19305
603.97/605.46 c #Conflicts: 579000 | #Constraints: 20305
603.97/605.46 c #Conflicts: 580000 | #Constraints: 21305
603.97/605.46 c #Conflicts: 581000 | #Constraints: 22305
603.97/605.46 c #Conflicts: 582000 | #Constraints: 23305
603.97/605.46 c #Conflicts: 583000 | #Constraints: 24305
603.97/605.46 c #Conflicts: 584000 | #Constraints: 25305
603.97/605.46 c #Conflicts: 585000 | #Constraints: 26305
603.97/605.46 c #Conflicts: 586000 | #Constraints: 27305
603.97/605.46 c #Conflicts: 587000 | #Constraints: 28305
603.97/605.46 c #Conflicts: 588000 | #Constraints: 29305
732.56/734.32 c #Conflicts: 589000 | #Constraints: 30305
732.56/734.32 c #Conflicts: 590000 | #Constraints: 31305
732.56/734.32 c #Conflicts: 591000 | #Constraints: 32305
732.56/734.32 c INPROCESSING
732.56/734.32 c GARBAGE COLLECT
732.56/734.32 c #Conflicts: 592000 | #Constraints: 18107
732.56/734.32 c #Conflicts: 593000 | #Constraints: 19107
732.56/734.32 c #Conflicts: 594000 | #Constraints: 20107
732.56/734.32 c #Conflicts: 595000 | #Constraints: 21107
732.56/734.32 c #Conflicts: 596000 | #Constraints: 22107
732.56/734.32 c #Conflicts: 597000 | #Constraints: 23107
732.56/734.32 c #Conflicts: 598000 | #Constraints: 24107
732.56/734.32 c #Conflicts: 599000 | #Constraints: 25107
732.56/734.32 c #Conflicts: 600000 | #Constraints: 26107
732.56/734.32 c #Conflicts: 601000 | #Constraints: 27107
732.56/734.32 c #Conflicts: 602000 | #Constraints: 28107
732.56/734.32 c #Conflicts: 603000 | #Constraints: 29107
732.56/734.32 c #Conflicts: 604000 | #Constraints: 30107
732.56/734.32 c #Conflicts: 605000 | #Constraints: 31107
732.56/734.32 c #Conflicts: 606000 | #Constraints: 32107
732.56/734.32 c #Conflicts: 607000 | #Constraints: 33107
732.56/734.32 c INPROCESSING
732.56/734.32 c GARBAGE COLLECT
732.56/734.32 c #Conflicts: 608000 | #Constraints: 18713
732.56/734.32 c #Conflicts: 609000 | #Constraints: 19713
732.56/734.32 c #Conflicts: 610000 | #Constraints: 20713
732.56/734.32 c #Conflicts: 611000 | #Constraints: 21713
732.56/734.32 c #Conflicts: 612000 | #Constraints: 22713
732.56/734.32 c #Conflicts: 613000 | #Constraints: 23713
732.56/734.32 c #Conflicts: 614000 | #Constraints: 24713
732.56/734.32 c #Conflicts: 615000 | #Constraints: 25713
732.56/734.32 c #Conflicts: 616000 | #Constraints: 26713
732.56/734.32 c #Conflicts: 617000 | #Constraints: 27713
732.56/734.32 c #Conflicts: 618000 | #Constraints: 28713
732.56/734.32 c #Conflicts: 619000 | #Constraints: 29713
732.56/734.32 c #Conflicts: 620000 | #Constraints: 30713
732.56/734.32 c #Conflicts: 621000 | #Constraints: 31713
732.56/734.32 c #Conflicts: 622000 | #Constraints: 32713
732.56/734.32 c #Conflicts: 623000 | #Constraints: 33713
732.56/734.32 c INPROCESSING
732.56/734.32 c GARBAGE COLLECT
732.56/734.32 c #Conflicts: 624000 | #Constraints: 19112
732.56/734.32 c #Conflicts: 625000 | #Constraints: 20112
732.56/734.32 c #Conflicts: 626000 | #Constraints: 21112
732.56/734.32 c #Conflicts: 627000 | #Constraints: 22112
732.56/734.32 c #Conflicts: 628000 | #Constraints: 23112
732.56/734.32 c #Conflicts: 629000 | #Constraints: 24112
732.56/734.32 c #Conflicts: 630000 | #Constraints: 25112
732.56/734.32 c #Conflicts: 631000 | #Constraints: 26112
732.56/734.32 c #Conflicts: 632000 | #Constraints: 27112
732.56/734.32 c #Conflicts: 633000 | #Constraints: 28112
732.56/734.32 c #Conflicts: 634000 | #Constraints: 29112
732.56/734.32 c #Conflicts: 635000 | #Constraints: 30112
732.56/734.32 c #Conflicts: 636000 | #Constraints: 31112
732.56/734.32 c #Conflicts: 637000 | #Constraints: 32112
732.56/734.32 c #Conflicts: 638000 | #Constraints: 33112
732.56/734.32 c #Conflicts: 639000 | #Constraints: 34112
732.56/734.32 c INPROCESSING
732.56/734.32 c GARBAGE COLLECT
732.56/734.32 c #Conflicts: 640000 | #Constraints: 19314
732.56/734.32 c #Conflicts: 641000 | #Constraints: 20314
732.56/734.32 c #Conflicts: 642000 | #Constraints: 21314
732.56/734.32 c #Conflicts: 643000 | #Constraints: 22314
732.56/734.32 c #Conflicts: 644000 | #Constraints: 23314
732.56/734.32 c #Conflicts: 645000 | #Constraints: 24314
732.56/734.32 c #Conflicts: 646000 | #Constraints: 25314
732.56/734.32 c #Conflicts: 647000 | #Constraints: 26314
732.56/734.32 c #Conflicts: 648000 | #Constraints: 27314
732.56/734.32 c #Conflicts: 649000 | #Constraints: 28314
732.56/734.32 c #Conflicts: 650000 | #Constraints: 29314
732.56/734.32 c #Conflicts: 651000 | #Constraints: 30314
732.56/734.32 c #Conflicts: 652000 | #Constraints: 31314
732.56/734.32 c #Conflicts: 653000 | #Constraints: 32314
732.56/734.32 c #Conflicts: 654000 | #Constraints: 33314
732.56/734.32 c #Conflicts: 655000 | #Constraints: 34314
732.56/734.32 c INPROCESSING
732.56/734.32 c GARBAGE COLLECT
732.56/734.32 c #Conflicts: 656000 | #Constraints: 19310
732.56/734.32 c #Conflicts: 657000 | #Constraints: 20310
732.56/734.32 c #Conflicts: 658000 | #Constraints: 21310
732.56/734.32 c #Conflicts: 659000 | #Constraints: 22310
732.56/734.32 c #Conflicts: 660000 | #Constraints: 23310
732.56/734.32 c #Conflicts: 661000 | #Constraints: 24310
732.56/734.32 c #Conflicts: 662000 | #Constraints: 25310
732.56/734.32 c #Conflicts: 663000 | #Constraints: 26310
732.56/734.32 c #Conflicts: 664000 | #Constraints: 27310
867.81/869.95 c #Conflicts: 665000 | #Constraints: 28310
867.81/869.95 c #Conflicts: 666000 | #Constraints: 29310
867.81/869.95 c #Conflicts: 667000 | #Constraints: 30310
867.81/869.95 c #Conflicts: 668000 | #Constraints: 31310
867.81/869.95 c #Conflicts: 669000 | #Constraints: 32310
867.81/869.95 c #Conflicts: 670000 | #Constraints: 33310
867.81/869.95 c #Conflicts: 671000 | #Constraints: 34310
867.81/869.95 c INPROCESSING
867.81/869.95 c GARBAGE COLLECT
867.81/869.95 c #Conflicts: 672000 | #Constraints: 19102
867.81/869.95 c #Conflicts: 673000 | #Constraints: 20102
867.81/869.95 c #Conflicts: 674000 | #Constraints: 21102
867.81/869.95 c #Conflicts: 675000 | #Constraints: 22102
867.81/869.95 c #Conflicts: 676000 | #Constraints: 23102
867.81/869.95 c #Conflicts: 677000 | #Constraints: 24102
867.81/869.95 c #Conflicts: 678000 | #Constraints: 25102
867.81/869.95 c #Conflicts: 679000 | #Constraints: 26102
867.81/869.95 c #Conflicts: 680000 | #Constraints: 27102
867.81/869.95 c #Conflicts: 681000 | #Constraints: 28102
867.81/869.95 c #Conflicts: 682000 | #Constraints: 29102
867.81/869.95 c #Conflicts: 683000 | #Constraints: 30102
867.81/869.95 c #Conflicts: 684000 | #Constraints: 31102
867.81/869.95 c #Conflicts: 685000 | #Constraints: 32102
867.81/869.95 c #Conflicts: 686000 | #Constraints: 33102
867.81/869.95 c #Conflicts: 687000 | #Constraints: 34102
867.81/869.95 c #Conflicts: 688000 | #Constraints: 35102
867.81/869.95 c INPROCESSING
867.81/869.95 c GARBAGE COLLECT
867.81/869.95 c #Conflicts: 689000 | #Constraints: 19706
867.81/869.95 c #Conflicts: 690000 | #Constraints: 20706
867.81/869.95 c #Conflicts: 691000 | #Constraints: 21706
867.81/869.95 c #Conflicts: 692000 | #Constraints: 22706
867.81/869.95 c #Conflicts: 693000 | #Constraints: 23706
867.81/869.95 c #Conflicts: 694000 | #Constraints: 24706
867.81/869.95 c #Conflicts: 695000 | #Constraints: 25706
867.81/869.95 c #Conflicts: 696000 | #Constraints: 26706
867.81/869.95 c #Conflicts: 697000 | #Constraints: 27706
867.81/869.95 c #Conflicts: 698000 | #Constraints: 28706
867.81/869.95 c #Conflicts: 699000 | #Constraints: 29706
867.81/869.95 c #Conflicts: 700000 | #Constraints: 30706
867.81/869.95 c #Conflicts: 701000 | #Constraints: 31706
867.81/869.95 c #Conflicts: 702000 | #Constraints: 32706
867.81/869.95 c #Conflicts: 703000 | #Constraints: 33706
867.81/869.95 c #Conflicts: 704000 | #Constraints: 34706
867.81/869.95 c #Conflicts: 705000 | #Constraints: 35706
867.81/869.95 c INPROCESSING
867.81/869.95 c GARBAGE COLLECT
867.81/869.95 c #Conflicts: 706000 | #Constraints: 20115
867.81/869.95 c #Conflicts: 707000 | #Constraints: 21115
867.81/869.95 c #Conflicts: 708000 | #Constraints: 22115
867.81/869.95 c #Conflicts: 709000 | #Constraints: 23115
867.81/869.95 c #Conflicts: 710000 | #Constraints: 24115
867.81/869.95 c #Conflicts: 711000 | #Constraints: 25115
867.81/869.95 c #Conflicts: 712000 | #Constraints: 26115
867.81/869.95 c #Conflicts: 713000 | #Constraints: 27115
867.81/869.95 c #Conflicts: 714000 | #Constraints: 28115
867.81/869.95 c #Conflicts: 715000 | #Constraints: 29115
867.81/869.95 c #Conflicts: 716000 | #Constraints: 30115
867.81/869.95 c #Conflicts: 717000 | #Constraints: 31115
867.81/869.95 c #Conflicts: 718000 | #Constraints: 32115
867.81/869.95 c #Conflicts: 719000 | #Constraints: 33115
867.81/869.95 c #Conflicts: 720000 | #Constraints: 34115
867.81/869.95 c #Conflicts: 721000 | #Constraints: 35115
867.81/869.95 c #Conflicts: 722000 | #Constraints: 36115
867.81/869.95 c INPROCESSING
867.81/869.95 c GARBAGE COLLECT
867.81/869.95 c #Conflicts: 723000 | #Constraints: 20309
867.81/869.95 c #Conflicts: 724000 | #Constraints: 21309
867.81/869.95 c #Conflicts: 725000 | #Constraints: 22309
867.81/869.95 c #Conflicts: 726000 | #Constraints: 23309
867.81/869.95 c #Conflicts: 727000 | #Constraints: 24309
867.81/869.95 c #Conflicts: 728000 | #Constraints: 25309
867.81/869.95 c #Conflicts: 729000 | #Constraints: 26309
867.81/869.95 c #Conflicts: 730000 | #Constraints: 27309
867.81/869.95 c #Conflicts: 731000 | #Constraints: 28309
867.81/869.95 c #Conflicts: 732000 | #Constraints: 29309
867.81/869.95 c #Conflicts: 733000 | #Constraints: 30309
867.81/869.95 c #Conflicts: 734000 | #Constraints: 31309
867.81/869.95 c #Conflicts: 735000 | #Constraints: 32309
867.81/869.95 c #Conflicts: 736000 | #Constraints: 33309
867.81/869.95 c #Conflicts: 737000 | #Constraints: 34309
867.81/869.95 c #Conflicts: 738000 | #Constraints: 35309
867.81/869.95 c #Conflicts: 739000 | #Constraints: 36309
867.81/869.95 c INPROCESSING
867.81/869.95 c GARBAGE COLLECT
1008.47/1010.91 c #Conflicts: 740000 | #Constraints: 20309
1008.47/1010.91 c #Conflicts: 741000 | #Constraints: 21309
1008.47/1010.91 c #Conflicts: 742000 | #Constraints: 22309
1008.47/1010.91 c #Conflicts: 743000 | #Constraints: 23309
1008.47/1010.91 c #Conflicts: 744000 | #Constraints: 24309
1008.47/1010.91 c #Conflicts: 745000 | #Constraints: 25309
1008.47/1010.91 c #Conflicts: 746000 | #Constraints: 26309
1008.47/1010.91 c #Conflicts: 747000 | #Constraints: 27309
1008.47/1010.91 c #Conflicts: 748000 | #Constraints: 28309
1008.47/1010.91 c #Conflicts: 749000 | #Constraints: 29309
1008.47/1010.91 c #Conflicts: 750000 | #Constraints: 30309
1008.47/1010.91 c #Conflicts: 751000 | #Constraints: 31309
1008.47/1010.91 c #Conflicts: 752000 | #Constraints: 32309
1008.47/1010.91 c #Conflicts: 753000 | #Constraints: 33309
1008.47/1010.91 c #Conflicts: 754000 | #Constraints: 34309
1008.47/1010.91 c #Conflicts: 755000 | #Constraints: 35309
1008.47/1010.91 c #Conflicts: 756000 | #Constraints: 36309
1008.47/1010.91 c INPROCESSING
1008.47/1010.91 c GARBAGE COLLECT
1008.47/1010.91 c #Conflicts: 757000 | #Constraints: 20109
1008.47/1010.91 c #Conflicts: 758000 | #Constraints: 21109
1008.47/1010.91 c #Conflicts: 759000 | #Constraints: 22109
1008.47/1010.91 c #Conflicts: 760000 | #Constraints: 23109
1008.47/1010.91 c #Conflicts: 761000 | #Constraints: 24109
1008.47/1010.91 c #Conflicts: 762000 | #Constraints: 25109
1008.47/1010.91 c #Conflicts: 763000 | #Constraints: 26109
1008.47/1010.91 c #Conflicts: 764000 | #Constraints: 27109
1008.47/1010.91 c #Conflicts: 765000 | #Constraints: 28109
1008.47/1010.91 c #Conflicts: 766000 | #Constraints: 29109
1008.47/1010.91 c #Conflicts: 767000 | #Constraints: 30109
1008.47/1010.91 c #Conflicts: 768000 | #Constraints: 31109
1008.47/1010.91 c #Conflicts: 769000 | #Constraints: 32109
1008.47/1010.91 c #Conflicts: 770000 | #Constraints: 33109
1008.47/1010.91 c #Conflicts: 771000 | #Constraints: 34109
1008.47/1010.91 c #Conflicts: 772000 | #Constraints: 35109
1008.47/1010.91 c #Conflicts: 773000 | #Constraints: 36109
1008.47/1010.91 c #Conflicts: 774000 | #Constraints: 37109
1008.47/1010.91 c INPROCESSING
1008.47/1010.91 c GARBAGE COLLECT
1008.47/1010.91 c #Conflicts: 775000 | #Constraints: 20710
1008.47/1010.91 c #Conflicts: 776000 | #Constraints: 21710
1008.47/1010.91 c #Conflicts: 777000 | #Constraints: 22710
1008.47/1010.91 c #Conflicts: 778000 | #Constraints: 23710
1008.47/1010.91 c #Conflicts: 779000 | #Constraints: 24710
1008.47/1010.91 c #Conflicts: 780000 | #Constraints: 25710
1008.47/1010.91 c #Conflicts: 781000 | #Constraints: 26710
1008.47/1010.91 c #Conflicts: 782000 | #Constraints: 27710
1008.47/1010.91 c #Conflicts: 783000 | #Constraints: 28710
1008.47/1010.91 c #Conflicts: 784000 | #Constraints: 29710
1008.47/1010.91 c #Conflicts: 785000 | #Constraints: 30710
1008.47/1010.91 c #Conflicts: 786000 | #Constraints: 31710
1008.47/1010.91 c #Conflicts: 787000 | #Constraints: 32710
1008.47/1010.91 c #Conflicts: 788000 | #Constraints: 33710
1008.47/1010.91 c #Conflicts: 789000 | #Constraints: 34710
1008.47/1010.91 c #Conflicts: 790000 | #Constraints: 35710
1008.47/1010.91 c #Conflicts: 791000 | #Constraints: 36710
1008.47/1010.91 c #Conflicts: 792000 | #Constraints: 37710
1008.47/1010.91 c INPROCESSING
1008.47/1010.91 c GARBAGE COLLECT
1008.47/1010.91 c #Conflicts: 793000 | #Constraints: 21118
1008.47/1010.91 c #Conflicts: 794000 | #Constraints: 22118
1008.47/1010.91 c #Conflicts: 795000 | #Constraints: 23118
1008.47/1010.91 c #Conflicts: 796000 | #Constraints: 24118
1008.47/1010.91 c #Conflicts: 797000 | #Constraints: 25118
1008.47/1010.91 c #Conflicts: 798000 | #Constraints: 26118
1008.47/1010.91 c #Conflicts: 799000 | #Constraints: 27118
1008.47/1010.91 c #Conflicts: 800000 | #Constraints: 28118
1008.47/1010.91 c #Conflicts: 801000 | #Constraints: 29118
1008.47/1010.91 c #Conflicts: 802000 | #Constraints: 30118
1008.47/1010.91 c #Conflicts: 803000 | #Constraints: 31118
1008.47/1010.91 c #Conflicts: 804000 | #Constraints: 32118
1008.47/1010.91 c #Conflicts: 805000 | #Constraints: 33118
1008.47/1010.91 c #Conflicts: 806000 | #Constraints: 34118
1008.47/1010.91 c #Conflicts: 807000 | #Constraints: 35118
1008.47/1010.91 c #Conflicts: 808000 | #Constraints: 36118
1008.47/1010.91 c #Conflicts: 809000 | #Constraints: 37118
1008.47/1010.91 c #Conflicts: 810000 | #Constraints: 38118
1008.47/1010.91 c INPROCESSING
1008.47/1010.91 c GARBAGE COLLECT
1008.47/1010.91 c #Conflicts: 811000 | #Constraints: 21311
1008.47/1010.91 c #Conflicts: 812000 | #Constraints: 22311
1008.47/1010.91 c #Conflicts: 813000 | #Constraints: 23311
1008.47/1010.91 c #Conflicts: 814000 | #Constraints: 24311
1008.47/1010.91 c #Conflicts: 815000 | #Constraints: 25311
1008.47/1010.91 c #Conflicts: 816000 | #Constraints: 26311
1150.14/1152.93 c #Conflicts: 817000 | #Constraints: 27311
1150.14/1152.93 c #Conflicts: 818000 | #Constraints: 28311
1150.14/1152.93 c #Conflicts: 819000 | #Constraints: 29311
1150.14/1152.93 c #Conflicts: 820000 | #Constraints: 30311
1150.14/1152.93 c #Conflicts: 821000 | #Constraints: 31311
1150.14/1152.93 c #Conflicts: 822000 | #Constraints: 32311
1150.14/1152.93 c #Conflicts: 823000 | #Constraints: 33311
1150.14/1152.93 c #Conflicts: 824000 | #Constraints: 34311
1150.14/1152.93 c #Conflicts: 825000 | #Constraints: 35311
1150.14/1152.93 c #Conflicts: 826000 | #Constraints: 36311
1150.14/1152.93 c #Conflicts: 827000 | #Constraints: 37311
1150.14/1152.93 c #Conflicts: 828000 | #Constraints: 38311
1150.14/1152.93 c INPROCESSING
1150.14/1152.93 c GARBAGE COLLECT
1150.14/1152.93 c #Conflicts: 829000 | #Constraints: 21316
1150.14/1152.93 c #Conflicts: 830000 | #Constraints: 22316
1150.14/1152.93 c #Conflicts: 831000 | #Constraints: 23316
1150.14/1152.93 c #Conflicts: 832000 | #Constraints: 24316
1150.14/1152.93 c #Conflicts: 833000 | #Constraints: 25316
1150.14/1152.93 c #Conflicts: 834000 | #Constraints: 26316
1150.14/1152.93 c #Conflicts: 835000 | #Constraints: 27316
1150.14/1152.93 c #Conflicts: 836000 | #Constraints: 28316
1150.14/1152.93 c #Conflicts: 837000 | #Constraints: 29316
1150.14/1152.93 c #Conflicts: 838000 | #Constraints: 30316
1150.14/1152.93 c #Conflicts: 839000 | #Constraints: 31316
1150.14/1152.93 c #Conflicts: 840000 | #Constraints: 32316
1150.14/1152.93 c #Conflicts: 841000 | #Constraints: 33316
1150.14/1152.93 c #Conflicts: 842000 | #Constraints: 34316
1150.14/1152.93 c #Conflicts: 843000 | #Constraints: 35316
1150.14/1152.93 c #Conflicts: 844000 | #Constraints: 36316
1150.14/1152.93 c #Conflicts: 845000 | #Constraints: 37316
1150.14/1152.93 c #Conflicts: 846000 | #Constraints: 38316
1150.14/1152.93 c INPROCESSING
1150.14/1152.93 c GARBAGE COLLECT
1150.14/1152.93 c #Conflicts: 847000 | #Constraints: 21124
1150.14/1152.93 c #Conflicts: 848000 | #Constraints: 22124
1150.14/1152.93 c #Conflicts: 849000 | #Constraints: 23124
1150.14/1152.93 c #Conflicts: 850000 | #Constraints: 24124
1150.14/1152.93 c #Conflicts: 851000 | #Constraints: 25124
1150.14/1152.93 c #Conflicts: 852000 | #Constraints: 26124
1150.14/1152.93 c #Conflicts: 853000 | #Constraints: 27124
1150.14/1152.93 c #Conflicts: 854000 | #Constraints: 28124
1150.14/1152.93 c #Conflicts: 855000 | #Constraints: 29124
1150.14/1152.93 c #Conflicts: 856000 | #Constraints: 30124
1150.14/1152.93 c #Conflicts: 857000 | #Constraints: 31124
1150.14/1152.93 c #Conflicts: 858000 | #Constraints: 32124
1150.14/1152.93 c #Conflicts: 859000 | #Constraints: 33124
1150.14/1152.93 c #Conflicts: 860000 | #Constraints: 34124
1150.14/1152.93 c #Conflicts: 861000 | #Constraints: 35124
1150.14/1152.93 c #Conflicts: 862000 | #Constraints: 36124
1150.14/1152.93 c #Conflicts: 863000 | #Constraints: 37124
1150.14/1152.93 c #Conflicts: 864000 | #Constraints: 38124
1150.14/1152.93 c #Conflicts: 865000 | #Constraints: 39124
1150.14/1152.93 c INPROCESSING
1150.14/1152.93 c GARBAGE COLLECT
1150.14/1152.93 c #Conflicts: 866000 | #Constraints: 21710
1150.14/1152.93 c #Conflicts: 867000 | #Constraints: 22710
1150.14/1152.93 c #Conflicts: 868000 | #Constraints: 23710
1150.14/1152.93 c #Conflicts: 869000 | #Constraints: 24710
1150.14/1152.93 c #Conflicts: 870000 | #Constraints: 25710
1150.14/1152.93 c #Conflicts: 871000 | #Constraints: 26710
1150.14/1152.93 c #Conflicts: 872000 | #Constraints: 27710
1150.14/1152.93 c #Conflicts: 873000 | #Constraints: 28710
1150.14/1152.93 c #Conflicts: 874000 | #Constraints: 29710
1150.14/1152.93 c #Conflicts: 875000 | #Constraints: 30710
1150.14/1152.93 c #Conflicts: 876000 | #Constraints: 31710
1150.14/1152.93 c #Conflicts: 877000 | #Constraints: 32710
1150.14/1152.93 c #Conflicts: 878000 | #Constraints: 33710
1150.14/1152.93 c #Conflicts: 879000 | #Constraints: 34710
1150.14/1152.93 c #Conflicts: 880000 | #Constraints: 35710
1150.14/1152.93 c #Conflicts: 881000 | #Constraints: 36710
1150.14/1152.93 c #Conflicts: 882000 | #Constraints: 37710
1150.14/1152.93 c #Conflicts: 883000 | #Constraints: 38710
1150.14/1152.93 c #Conflicts: 884000 | #Constraints: 39710
1150.14/1152.93 c INPROCESSING
1150.14/1152.93 c GARBAGE COLLECT
1150.14/1152.93 c #Conflicts: 885000 | #Constraints: 22118
1150.14/1152.93 c #Conflicts: 886000 | #Constraints: 23118
1150.14/1152.93 c #Conflicts: 887000 | #Constraints: 24118
1150.14/1152.93 c #Conflicts: 888000 | #Constraints: 25118
1150.14/1152.93 c #Conflicts: 889000 | #Constraints: 26118
1150.14/1152.93 c #Conflicts: 890000 | #Constraints: 27118
1150.14/1152.93 c #Conflicts: 891000 | #Constraints: 28118
1150.14/1152.93 c #Conflicts: 892000 | #Constraints: 29118
1297.70/1300.82 c #Conflicts: 893000 | #Constraints: 30118
1297.70/1300.82 c #Conflicts: 894000 | #Constraints: 31118
1297.70/1300.82 c #Conflicts: 895000 | #Constraints: 32118
1297.70/1300.82 c #Conflicts: 896000 | #Constraints: 33118
1297.70/1300.82 c #Conflicts: 897000 | #Constraints: 34118
1297.70/1300.82 c #Conflicts: 898000 | #Constraints: 35118
1297.70/1300.82 c #Conflicts: 899000 | #Constraints: 36118
1297.70/1300.82 c #Conflicts: 900000 | #Constraints: 37118
1297.70/1300.82 c #Conflicts: 901000 | #Constraints: 38118
1297.70/1300.82 c #Conflicts: 902000 | #Constraints: 39118
1297.70/1300.82 c #Conflicts: 903000 | #Constraints: 40118
1297.70/1300.82 c INPROCESSING
1297.70/1300.82 c GARBAGE COLLECT
1297.70/1300.82 c #Conflicts: 904000 | #Constraints: 22314
1297.70/1300.82 c #Conflicts: 905000 | #Constraints: 23314
1297.70/1300.82 c #Conflicts: 906000 | #Constraints: 24314
1297.70/1300.82 c #Conflicts: 907000 | #Constraints: 25314
1297.70/1300.82 c #Conflicts: 908000 | #Constraints: 26314
1297.70/1300.82 c #Conflicts: 909000 | #Constraints: 27314
1297.70/1300.82 c #Conflicts: 910000 | #Constraints: 28314
1297.70/1300.82 c #Conflicts: 911000 | #Constraints: 29314
1297.70/1300.82 c #Conflicts: 912000 | #Constraints: 30314
1297.70/1300.82 c #Conflicts: 913000 | #Constraints: 31314
1297.70/1300.82 c #Conflicts: 914000 | #Constraints: 32314
1297.70/1300.82 c #Conflicts: 915000 | #Constraints: 33314
1297.70/1300.82 c #Conflicts: 916000 | #Constraints: 34314
1297.70/1300.82 c #Conflicts: 917000 | #Constraints: 35314
1297.70/1300.82 c #Conflicts: 918000 | #Constraints: 36314
1297.70/1300.82 c #Conflicts: 919000 | #Constraints: 37314
1297.70/1300.82 c #Conflicts: 920000 | #Constraints: 38314
1297.70/1300.82 c #Conflicts: 921000 | #Constraints: 39314
1297.70/1300.82 c #Conflicts: 922000 | #Constraints: 40314
1297.70/1300.82 c INPROCESSING
1297.70/1300.82 c GARBAGE COLLECT
1297.70/1300.82 c #Conflicts: 923000 | #Constraints: 22311
1297.70/1300.82 c #Conflicts: 924000 | #Constraints: 23311
1297.70/1300.82 c #Conflicts: 925000 | #Constraints: 24311
1297.70/1300.82 c #Conflicts: 926000 | #Constraints: 25311
1297.70/1300.82 c #Conflicts: 927000 | #Constraints: 26311
1297.70/1300.82 c #Conflicts: 928000 | #Constraints: 27311
1297.70/1300.82 c #Conflicts: 929000 | #Constraints: 28311
1297.70/1300.82 c #Conflicts: 930000 | #Constraints: 29311
1297.70/1300.82 c #Conflicts: 931000 | #Constraints: 30311
1297.70/1300.82 c #Conflicts: 932000 | #Constraints: 31311
1297.70/1300.82 c #Conflicts: 933000 | #Constraints: 32311
1297.70/1300.82 c #Conflicts: 934000 | #Constraints: 33311
1297.70/1300.82 c #Conflicts: 935000 | #Constraints: 34311
1297.70/1300.82 c #Conflicts: 936000 | #Constraints: 35311
1297.70/1300.82 c #Conflicts: 937000 | #Constraints: 36311
1297.70/1300.82 c #Conflicts: 938000 | #Constraints: 37311
1297.70/1300.82 c #Conflicts: 939000 | #Constraints: 38311
1297.70/1300.82 c #Conflicts: 940000 | #Constraints: 39311
1297.70/1300.82 c #Conflicts: 941000 | #Constraints: 40311
1297.70/1300.82 c INPROCESSING
1297.70/1300.82 c GARBAGE COLLECT
1297.70/1300.82 c #Conflicts: 942000 | #Constraints: 22111
1297.70/1300.82 c #Conflicts: 943000 | #Constraints: 23111
1297.70/1300.82 c #Conflicts: 944000 | #Constraints: 24111
1297.70/1300.82 c #Conflicts: 945000 | #Constraints: 25111
1297.70/1300.82 c #Conflicts: 946000 | #Constraints: 26111
1297.70/1300.82 c #Conflicts: 947000 | #Constraints: 27111
1297.70/1300.82 c #Conflicts: 948000 | #Constraints: 28111
1297.70/1300.82 c #Conflicts: 949000 | #Constraints: 29111
1297.70/1300.82 c #Conflicts: 950000 | #Constraints: 30111
1297.70/1300.82 c #Conflicts: 951000 | #Constraints: 31111
1297.70/1300.82 c #Conflicts: 952000 | #Constraints: 32111
1297.70/1300.82 c #Conflicts: 953000 | #Constraints: 33111
1297.70/1300.82 c #Conflicts: 954000 | #Constraints: 34111
1297.70/1300.82 c #Conflicts: 955000 | #Constraints: 35111
1297.70/1300.82 c #Conflicts: 956000 | #Constraints: 36111
1297.70/1300.82 c #Conflicts: 957000 | #Constraints: 37111
1297.70/1300.82 c #Conflicts: 958000 | #Constraints: 38111
1297.70/1300.82 c #Conflicts: 959000 | #Constraints: 39111
1297.70/1300.82 c #Conflicts: 960000 | #Constraints: 40111
1297.70/1300.82 c #Conflicts: 961000 | #Constraints: 41111
1297.70/1300.82 c INPROCESSING
1297.70/1300.82 c GARBAGE COLLECT
1297.70/1300.82 c #Conflicts: 962000 | #Constraints: 22710
1297.70/1300.82 c #Conflicts: 963000 | #Constraints: 23710
1297.70/1300.82 c #Conflicts: 964000 | #Constraints: 24710
1297.70/1300.82 c #Conflicts: 965000 | #Constraints: 25710
1297.70/1300.82 c #Conflicts: 966000 | #Constraints: 26710
1297.70/1300.82 c #Conflicts: 967000 | #Constraints: 27710
1297.70/1300.82 c #Conflicts: 968000 | #Constraints: 28710
1454.93/1458.46 c #Conflicts: 969000 | #Constraints: 29710
1454.93/1458.46 c #Conflicts: 970000 | #Constraints: 30710
1454.93/1458.46 c #Conflicts: 971000 | #Constraints: 31710
1454.93/1458.46 c #Conflicts: 972000 | #Constraints: 32710
1454.93/1458.46 c #Conflicts: 973000 | #Constraints: 33710
1454.93/1458.46 c #Conflicts: 974000 | #Constraints: 34710
1454.93/1458.46 c #Conflicts: 975000 | #Constraints: 35710
1454.93/1458.46 c #Conflicts: 976000 | #Constraints: 36710
1454.93/1458.46 c #Conflicts: 977000 | #Constraints: 37710
1454.93/1458.46 c #Conflicts: 978000 | #Constraints: 38710
1454.93/1458.46 c #Conflicts: 979000 | #Constraints: 39710
1454.93/1458.46 c #Conflicts: 980000 | #Constraints: 40710
1454.93/1458.46 c #Conflicts: 981000 | #Constraints: 41710
1454.93/1458.46 c INPROCESSING
1454.93/1458.46 c GARBAGE COLLECT
1454.93/1458.46 c #Conflicts: 982000 | #Constraints: 23112
1454.93/1458.46 c #Conflicts: 983000 | #Constraints: 24112
1454.93/1458.46 c #Conflicts: 984000 | #Constraints: 25112
1454.93/1458.46 c #Conflicts: 985000 | #Constraints: 26112
1454.93/1458.46 c #Conflicts: 986000 | #Constraints: 27112
1454.93/1458.46 c #Conflicts: 987000 | #Constraints: 28112
1454.93/1458.46 c #Conflicts: 988000 | #Constraints: 29112
1454.93/1458.46 c #Conflicts: 989000 | #Constraints: 30112
1454.93/1458.46 c #Conflicts: 990000 | #Constraints: 31112
1454.93/1458.46 c #Conflicts: 991000 | #Constraints: 32112
1454.93/1458.46 c #Conflicts: 992000 | #Constraints: 33112
1454.93/1458.46 c #Conflicts: 993000 | #Constraints: 34112
1454.93/1458.46 c #Conflicts: 994000 | #Constraints: 35112
1454.93/1458.46 c #Conflicts: 995000 | #Constraints: 36112
1454.93/1458.46 c #Conflicts: 996000 | #Constraints: 37112
1454.93/1458.46 c #Conflicts: 997000 | #Constraints: 38112
1454.93/1458.46 c #Conflicts: 998000 | #Constraints: 39112
1454.93/1458.46 c #Conflicts: 999000 | #Constraints: 40112
1454.93/1458.46 c #Conflicts: 1000000 | #Constraints: 41112
1454.93/1458.46 c #Conflicts: 1001000 | #Constraints: 42112
1454.93/1458.46 c INPROCESSING
1454.93/1458.46 c GARBAGE COLLECT
1454.93/1458.46 c #Conflicts: 1002000 | #Constraints: 23318
1454.93/1458.46 c #Conflicts: 1003000 | #Constraints: 24318
1454.93/1458.46 c #Conflicts: 1004000 | #Constraints: 25318
1454.93/1458.46 c #Conflicts: 1005000 | #Constraints: 26318
1454.93/1458.46 c #Conflicts: 1006000 | #Constraints: 27318
1454.93/1458.46 c #Conflicts: 1007000 | #Constraints: 28318
1454.93/1458.46 c #Conflicts: 1008000 | #Constraints: 29318
1454.93/1458.46 c #Conflicts: 1009000 | #Constraints: 30318
1454.93/1458.46 c #Conflicts: 1010000 | #Constraints: 31318
1454.93/1458.46 c #Conflicts: 1011000 | #Constraints: 32318
1454.93/1458.46 c #Conflicts: 1012000 | #Constraints: 33318
1454.93/1458.46 c #Conflicts: 1013000 | #Constraints: 34318
1454.93/1458.46 c #Conflicts: 1014000 | #Constraints: 35318
1454.93/1458.46 c #Conflicts: 1015000 | #Constraints: 36318
1454.93/1458.46 c #Conflicts: 1016000 | #Constraints: 37318
1454.93/1458.46 c #Conflicts: 1017000 | #Constraints: 38318
1454.93/1458.46 c #Conflicts: 1018000 | #Constraints: 39318
1454.93/1458.46 c #Conflicts: 1019000 | #Constraints: 40318
1454.93/1458.46 c #Conflicts: 1020000 | #Constraints: 41318
1454.93/1458.46 c #Conflicts: 1021000 | #Constraints: 42318
1454.93/1458.46 c INPROCESSING
1454.93/1458.46 c GARBAGE COLLECT
1454.93/1458.46 c #Conflicts: 1022000 | #Constraints: 23317
1454.93/1458.46 c #Conflicts: 1023000 | #Constraints: 24317
1454.93/1458.46 c #Conflicts: 1024000 | #Constraints: 25317
1454.93/1458.46 c #Conflicts: 1025000 | #Constraints: 26317
1454.93/1458.46 c #Conflicts: 1026000 | #Constraints: 27317
1454.93/1458.46 c #Conflicts: 1027000 | #Constraints: 28317
1454.93/1458.46 c #Conflicts: 1028000 | #Constraints: 29317
1454.93/1458.46 c #Conflicts: 1029000 | #Constraints: 30317
1454.93/1458.46 c #Conflicts: 1030000 | #Constraints: 31317
1454.93/1458.46 c #Conflicts: 1031000 | #Constraints: 32317
1454.93/1458.46 c #Conflicts: 1032000 | #Constraints: 33317
1454.93/1458.46 c #Conflicts: 1033000 | #Constraints: 34317
1454.93/1458.46 c #Conflicts: 1034000 | #Constraints: 35317
1454.93/1458.46 c #Conflicts: 1035000 | #Constraints: 36317
1454.93/1458.46 c #Conflicts: 1036000 | #Constraints: 37317
1454.93/1458.46 c #Conflicts: 1037000 | #Constraints: 38317
1454.93/1458.46 c #Conflicts: 1038000 | #Constraints: 39317
1454.93/1458.46 c #Conflicts: 1039000 | #Constraints: 40317
1454.93/1458.46 c #Conflicts: 1040000 | #Constraints: 41317
1454.93/1458.46 c #Conflicts: 1041000 | #Constraints: 42317
1454.93/1458.46 c INPROCESSING
1454.93/1458.46 c GARBAGE COLLECT
1454.93/1458.46 c #Conflicts: 1042000 | #Constraints: 23118
1454.93/1458.46 c #Conflicts: 1043000 | #Constraints: 24118
1454.93/1458.46 c #Conflicts: 1044000 | #Constraints: 25118
1620.54/1624.43 c #Conflicts: 1045000 | #Constraints: 26118
1620.54/1624.43 c #Conflicts: 1046000 | #Constraints: 27118
1620.54/1624.43 c #Conflicts: 1047000 | #Constraints: 28118
1620.54/1624.43 c #Conflicts: 1048000 | #Constraints: 29118
1620.54/1624.43 c #Conflicts: 1049000 | #Constraints: 30118
1620.54/1624.43 c #Conflicts: 1050000 | #Constraints: 31118
1620.54/1624.43 c #Conflicts: 1051000 | #Constraints: 32118
1620.54/1624.43 c #Conflicts: 1052000 | #Constraints: 33118
1620.54/1624.43 c #Conflicts: 1053000 | #Constraints: 34118
1620.54/1624.43 c #Conflicts: 1054000 | #Constraints: 35118
1620.54/1624.43 c #Conflicts: 1055000 | #Constraints: 36118
1620.54/1624.43 c #Conflicts: 1056000 | #Constraints: 37118
1620.54/1624.43 c #Conflicts: 1057000 | #Constraints: 38118
1620.54/1624.43 c #Conflicts: 1058000 | #Constraints: 39118
1620.54/1624.43 c #Conflicts: 1059000 | #Constraints: 40118
1620.54/1624.43 c #Conflicts: 1060000 | #Constraints: 41118
1620.54/1624.43 c #Conflicts: 1061000 | #Constraints: 42118
1620.54/1624.43 c #Conflicts: 1062000 | #Constraints: 43118
1620.54/1624.43 c INPROCESSING
1620.54/1624.43 c GARBAGE COLLECT
1620.54/1624.43 c #Conflicts: 1063000 | #Constraints: 23716
1620.54/1624.43 c #Conflicts: 1064000 | #Constraints: 24716
1620.54/1624.43 c #Conflicts: 1065000 | #Constraints: 25716
1620.54/1624.43 c #Conflicts: 1066000 | #Constraints: 26716
1620.54/1624.43 c #Conflicts: 1067000 | #Constraints: 27716
1620.54/1624.43 c #Conflicts: 1068000 | #Constraints: 28716
1620.54/1624.43 c #Conflicts: 1069000 | #Constraints: 29716
1620.54/1624.43 c #Conflicts: 1070000 | #Constraints: 30716
1620.54/1624.43 c #Conflicts: 1071000 | #Constraints: 31716
1620.54/1624.43 c #Conflicts: 1072000 | #Constraints: 32716
1620.54/1624.43 c #Conflicts: 1073000 | #Constraints: 33716
1620.54/1624.43 c #Conflicts: 1074000 | #Constraints: 34716
1620.54/1624.43 c #Conflicts: 1075000 | #Constraints: 35716
1620.54/1624.43 c #Conflicts: 1076000 | #Constraints: 36716
1620.54/1624.43 c #Conflicts: 1077000 | #Constraints: 37716
1620.54/1624.43 c #Conflicts: 1078000 | #Constraints: 38716
1620.54/1624.43 c #Conflicts: 1079000 | #Constraints: 39716
1620.54/1624.43 c #Conflicts: 1080000 | #Constraints: 40716
1620.54/1624.43 c #Conflicts: 1081000 | #Constraints: 41716
1620.54/1624.43 c #Conflicts: 1082000 | #Constraints: 42716
1620.54/1624.43 c #Conflicts: 1083000 | #Constraints: 43716
1620.54/1624.43 c INPROCESSING
1620.54/1624.43 c GARBAGE COLLECT
1620.54/1624.43 c #Conflicts: 1084000 | #Constraints: 24110
1620.54/1624.43 c #Conflicts: 1085000 | #Constraints: 25110
1620.54/1624.43 c #Conflicts: 1086000 | #Constraints: 26110
1620.54/1624.43 c #Conflicts: 1087000 | #Constraints: 27110
1620.54/1624.43 c #Conflicts: 1088000 | #Constraints: 28110
1620.54/1624.43 c #Conflicts: 1089000 | #Constraints: 29110
1620.54/1624.43 c #Conflicts: 1090000 | #Constraints: 30110
1620.54/1624.43 c #Conflicts: 1091000 | #Constraints: 31110
1620.54/1624.43 c #Conflicts: 1092000 | #Constraints: 32110
1620.54/1624.43 c #Conflicts: 1093000 | #Constraints: 33110
1620.54/1624.43 c #Conflicts: 1094000 | #Constraints: 34110
1620.54/1624.43 c #Conflicts: 1095000 | #Constraints: 35110
1620.54/1624.43 c #Conflicts: 1096000 | #Constraints: 36110
1620.54/1624.43 c #Conflicts: 1097000 | #Constraints: 37110
1620.54/1624.43 c #Conflicts: 1098000 | #Constraints: 38110
1620.54/1624.43 c #Conflicts: 1099000 | #Constraints: 39110
1620.54/1624.43 c #Conflicts: 1100000 | #Constraints: 40110
1620.54/1624.43 c #Conflicts: 1101000 | #Constraints: 41110
1620.54/1624.43 c #Conflicts: 1102000 | #Constraints: 42110
1620.54/1624.43 c #Conflicts: 1103000 | #Constraints: 43110
1620.54/1624.43 c #Conflicts: 1104000 | #Constraints: 44110
1620.54/1624.43 c INPROCESSING
1620.54/1624.43 c GARBAGE COLLECT
1620.54/1624.43 c #Conflicts: 1105000 | #Constraints: 24309
1620.54/1624.43 c #Conflicts: 1106000 | #Constraints: 25309
1620.54/1624.43 c #Conflicts: 1107000 | #Constraints: 26309
1620.54/1624.43 c #Conflicts: 1108000 | #Constraints: 27309
1620.54/1624.43 c #Conflicts: 1109000 | #Constraints: 28309
1620.54/1624.43 c #Conflicts: 1110000 | #Constraints: 29309
1620.54/1624.43 c #Conflicts: 1111000 | #Constraints: 30309
1620.54/1624.43 c #Conflicts: 1112000 | #Constraints: 31309
1620.54/1624.43 c #Conflicts: 1113000 | #Constraints: 32309
1620.54/1624.43 c #Conflicts: 1114000 | #Constraints: 33309
1620.54/1624.43 c #Conflicts: 1115000 | #Constraints: 34309
1620.54/1624.43 c #Conflicts: 1116000 | #Constraints: 35309
1620.54/1624.43 c #Conflicts: 1117000 | #Constraints: 36309
1620.54/1624.43 c #Conflicts: 1118000 | #Constraints: 37309
1620.54/1624.43 c #Conflicts: 1119000 | #Constraints: 38309
1620.54/1624.43 c #Conflicts: 1120000 | #Constraints: 39309
1620.54/1624.43 c #Conflicts: 1121000 | #Constraints: 40309
1795.52/1799.88 c #Conflicts: 1122000 | #Constraints: 41309
1795.52/1799.88 c #Conflicts: 1123000 | #Constraints: 42309
1795.52/1799.88 c #Conflicts: 1124000 | #Constraints: 43309
1795.52/1799.88 c #Conflicts: 1125000 | #Constraints: 44309
1795.52/1799.88 c INPROCESSING
1795.52/1799.88 c GARBAGE COLLECT
1795.52/1799.88 c #Conflicts: 1126000 | #Constraints: 24312
1795.52/1799.88 c #Conflicts: 1127000 | #Constraints: 25312
1795.52/1799.88 c #Conflicts: 1128000 | #Constraints: 26312
1795.52/1799.88 c #Conflicts: 1129000 | #Constraints: 27312
1795.52/1799.88 c #Conflicts: 1130000 | #Constraints: 28312
1795.52/1799.88 c #Conflicts: 1131000 | #Constraints: 29312
1795.52/1799.88 c #Conflicts: 1132000 | #Constraints: 30312
1795.52/1799.88 c #Conflicts: 1133000 | #Constraints: 31312
1795.52/1799.88 c #Conflicts: 1134000 | #Constraints: 32312
1795.52/1799.88 c #Conflicts: 1135000 | #Constraints: 33312
1795.52/1799.88 c #Conflicts: 1136000 | #Constraints: 34312
1795.52/1799.88 c #Conflicts: 1137000 | #Constraints: 35312
1795.52/1799.88 c #Conflicts: 1138000 | #Constraints: 36312
1795.52/1799.88 c #Conflicts: 1139000 | #Constraints: 37312
1795.52/1799.88 c #Conflicts: 1140000 | #Constraints: 38312
1795.52/1799.88 c #Conflicts: 1141000 | #Constraints: 39312
1795.52/1799.88 c #Conflicts: 1142000 | #Constraints: 40312
1795.52/1799.88 c #Conflicts: 1143000 | #Constraints: 41312
1795.52/1799.88 c #Conflicts: 1144000 | #Constraints: 42312
1795.52/1799.88 c #Conflicts: 1145000 | #Constraints: 43312
1795.52/1799.88 c #Conflicts: 1146000 | #Constraints: 44312
1795.52/1799.88 c INPROCESSING
1795.52/1799.88 c GARBAGE COLLECT
1795.52/1799.88 c #Conflicts: 1147000 | #Constraints: 24119
1795.52/1799.88 c #Conflicts: 1148000 | #Constraints: 25119
1795.52/1799.88 c #Conflicts: 1149000 | #Constraints: 26119
1795.52/1799.88 c #Conflicts: 1150000 | #Constraints: 27119
1795.52/1799.88 c #Conflicts: 1151000 | #Constraints: 28119
1795.52/1799.88 c #Conflicts: 1152000 | #Constraints: 29119
1795.52/1799.88 c #Conflicts: 1153000 | #Constraints: 30119
1795.52/1799.88 c #Conflicts: 1154000 | #Constraints: 31119
1795.52/1799.88 c #Conflicts: 1155000 | #Constraints: 32119
1795.52/1799.88 c #Conflicts: 1156000 | #Constraints: 33119
1795.52/1799.88 c #Conflicts: 1157000 | #Constraints: 34119
1795.52/1799.88 c #Conflicts: 1158000 | #Constraints: 35119
1795.52/1799.88 c #Conflicts: 1159000 | #Constraints: 36119
1795.52/1799.88 c #Conflicts: 1160000 | #Constraints: 37119
1795.52/1799.88 c #Conflicts: 1161000 | #Constraints: 38119
1795.52/1799.88 c #Conflicts: 1162000 | #Constraints: 39119
1795.52/1799.88 c #Conflicts: 1163000 | #Constraints: 40119
1795.52/1799.88 c #Conflicts: 1164000 | #Constraints: 41119
1795.52/1799.88 c #Conflicts: 1165000 | #Constraints: 42119
1795.52/1799.88 c #Conflicts: 1166000 | #Constraints: 43119
1795.52/1799.88 c #Conflicts: 1167000 | #Constraints: 44119
1795.52/1799.88 c #Conflicts: 1168000 | #Constraints: 45119
1795.52/1799.88 c INPROCESSING
1795.52/1799.88 c GARBAGE COLLECT
1795.52/1799.88 c #Conflicts: 1169000 | #Constraints: 24735
1795.52/1799.88 c #Conflicts: 1170000 | #Constraints: 25735
1795.52/1799.88 c #Conflicts: 1171000 | #Constraints: 26735
1795.52/1799.88 c #Conflicts: 1172000 | #Constraints: 27735
1795.52/1799.88 c #Conflicts: 1173000 | #Constraints: 28735
1795.52/1799.88 c #Conflicts: 1174000 | #Constraints: 29735
1795.52/1799.88 c #Conflicts: 1175000 | #Constraints: 30735
1795.52/1799.88 c #Conflicts: 1176000 | #Constraints: 31735
1795.52/1799.88 c #Conflicts: 1177000 | #Constraints: 32735
1795.52/1799.88 c #Conflicts: 1178000 | #Constraints: 33735
1795.52/1799.88 c #Conflicts: 1179000 | #Constraints: 34735
1795.52/1799.88 c #Conflicts: 1180000 | #Constraints: 35735
1795.52/1799.88 c #Conflicts: 1181000 | #Constraints: 36735
1795.52/1799.88 c #Conflicts: 1182000 | #Constraints: 37735
1795.52/1799.88 c #Conflicts: 1183000 | #Constraints: 38735
1795.52/1799.88 c #Conflicts: 1184000 | #Constraints: 39735
1795.52/1799.88 c #Conflicts: 1185000 | #Constraints: 40735
1795.52/1799.88 c #Conflicts: 1186000 | #Constraints: 41735
1795.52/1799.88 c #Conflicts: 1187000 | #Constraints: 42735
1795.52/1799.88 c #Conflicts: 1188000 | #Constraints: 43735
1795.52/1799.88 c #Conflicts: 1189000 | #Constraints: 44735
1795.52/1799.88 c #Conflicts: 1190000 | #Constraints: 45735
1795.52/1799.88 c INPROCESSING
1795.52/1799.88 c GARBAGE COLLECT
1795.52/1799.88 c #Conflicts: 1191000 | #Constraints: 25128
1795.52/1799.88 c #Conflicts: 1192000 | #Constraints: 26128
1795.52/1799.88 c #Conflicts: 1193000 | #Constraints: 27128
1795.52/1799.88 c #Conflicts: 1194000 | #Constraints: 28128
1795.52/1799.88 c #Conflicts: 1195000 | #Constraints: 29128
1795.52/1799.88 c #Conflicts: 1196000 | #Constraints: 30128
1795.52/1799.88 c #Conflicts: 1197000 | #Constraints: 31128
1984.77/1989.57 c #Conflicts: 1198000 | #Constraints: 32128
1984.77/1989.57 c #Conflicts: 1199000 | #Constraints: 33128
1984.77/1989.57 c #Conflicts: 1200000 | #Constraints: 34128
1984.77/1989.57 c #Conflicts: 1201000 | #Constraints: 35128
1984.77/1989.57 c #Conflicts: 1202000 | #Constraints: 36128
1984.77/1989.57 c #Conflicts: 1203000 | #Constraints: 37128
1984.77/1989.57 c #Conflicts: 1204000 | #Constraints: 38128
1984.77/1989.57 c #Conflicts: 1205000 | #Constraints: 39128
1984.77/1989.57 c #Conflicts: 1206000 | #Constraints: 40128
1984.77/1989.57 c #Conflicts: 1207000 | #Constraints: 41128
1984.77/1989.57 c #Conflicts: 1208000 | #Constraints: 42128
1984.77/1989.57 c #Conflicts: 1209000 | #Constraints: 43128
1984.77/1989.57 c #Conflicts: 1210000 | #Constraints: 44128
1984.77/1989.57 c #Conflicts: 1211000 | #Constraints: 45128
1984.77/1989.57 c #Conflicts: 1212000 | #Constraints: 46128
1984.77/1989.57 c INPROCESSING
1984.77/1989.57 c GARBAGE COLLECT
1984.77/1989.57 c #Conflicts: 1213000 | #Constraints: 25332
1984.77/1989.57 c #Conflicts: 1214000 | #Constraints: 26332
1984.77/1989.57 c #Conflicts: 1215000 | #Constraints: 27332
1984.77/1989.57 c #Conflicts: 1216000 | #Constraints: 28332
1984.77/1989.57 c #Conflicts: 1217000 | #Constraints: 29332
1984.77/1989.57 c #Conflicts: 1218000 | #Constraints: 30332
1984.77/1989.57 c #Conflicts: 1219000 | #Constraints: 31332
1984.77/1989.57 c #Conflicts: 1220000 | #Constraints: 32332
1984.77/1989.57 c #Conflicts: 1221000 | #Constraints: 33332
1984.77/1989.57 c #Conflicts: 1222000 | #Constraints: 34332
1984.77/1989.57 c #Conflicts: 1223000 | #Constraints: 35332
1984.77/1989.57 c #Conflicts: 1224000 | #Constraints: 36332
1984.77/1989.57 c #Conflicts: 1225000 | #Constraints: 37332
1984.77/1989.57 c #Conflicts: 1226000 | #Constraints: 38332
1984.77/1989.57 c #Conflicts: 1227000 | #Constraints: 39332
1984.77/1989.57 c #Conflicts: 1228000 | #Constraints: 40332
1984.77/1989.57 c #Conflicts: 1229000 | #Constraints: 41332
1984.77/1989.57 c #Conflicts: 1230000 | #Constraints: 42332
1984.77/1989.57 c #Conflicts: 1231000 | #Constraints: 43332
1984.77/1989.57 c #Conflicts: 1232000 | #Constraints: 44332
1984.77/1989.57 c #Conflicts: 1233000 | #Constraints: 45332
1984.77/1989.57 c #Conflicts: 1234000 | #Constraints: 46332
1984.77/1989.57 c INPROCESSING
1984.77/1989.57 c GARBAGE COLLECT
1984.77/1989.57 c #Conflicts: 1235000 | #Constraints: 25334
1984.77/1989.57 c #Conflicts: 1236000 | #Constraints: 26334
1984.77/1989.57 c #Conflicts: 1237000 | #Constraints: 27334
1984.77/1989.57 c #Conflicts: 1238000 | #Constraints: 28334
1984.77/1989.57 c #Conflicts: 1239000 | #Constraints: 29334
1984.77/1989.57 c #Conflicts: 1240000 | #Constraints: 30334
1984.77/1989.57 c #Conflicts: 1241000 | #Constraints: 31334
1984.77/1989.57 c #Conflicts: 1242000 | #Constraints: 32334
1984.77/1989.57 c #Conflicts: 1243000 | #Constraints: 33334
1984.77/1989.57 c #Conflicts: 1244000 | #Constraints: 34334
1984.77/1989.57 c #Conflicts: 1245000 | #Constraints: 35334
1984.77/1989.57 c #Conflicts: 1246000 | #Constraints: 36334
1984.77/1989.57 c #Conflicts: 1247000 | #Constraints: 37334
1984.77/1989.57 c #Conflicts: 1248000 | #Constraints: 38334
1984.77/1989.57 c #Conflicts: 1249000 | #Constraints: 39334
1984.77/1989.57 c #Conflicts: 1250000 | #Constraints: 40334
1984.77/1989.57 c #Conflicts: 1251000 | #Constraints: 41334
1984.77/1989.57 c #Conflicts: 1252000 | #Constraints: 42334
1984.77/1989.57 c #Conflicts: 1253000 | #Constraints: 43334
1984.77/1989.57 c #Conflicts: 1254000 | #Constraints: 44334
1984.77/1989.57 c #Conflicts: 1255000 | #Constraints: 45334
1984.77/1989.57 c #Conflicts: 1256000 | #Constraints: 46334
1984.77/1989.57 c INPROCESSING
1984.77/1989.57 c GARBAGE COLLECT
1984.77/1989.57 c #Conflicts: 1257000 | #Constraints: 25120
1984.77/1989.57 c #Conflicts: 1258000 | #Constraints: 26120
1984.77/1989.57 c #Conflicts: 1259000 | #Constraints: 27120
1984.77/1989.57 c #Conflicts: 1260000 | #Constraints: 28120
1984.77/1989.57 c #Conflicts: 1261000 | #Constraints: 29120
1984.77/1989.57 c #Conflicts: 1262000 | #Constraints: 30120
1984.77/1989.57 c #Conflicts: 1263000 | #Constraints: 31120
1984.77/1989.57 c #Conflicts: 1264000 | #Constraints: 32120
1984.77/1989.57 c #Conflicts: 1265000 | #Constraints: 33120
1984.77/1989.57 c #Conflicts: 1266000 | #Constraints: 34120
1984.77/1989.57 c #Conflicts: 1267000 | #Constraints: 35120
1984.77/1989.57 c #Conflicts: 1268000 | #Constraints: 36120
1984.77/1989.57 c #Conflicts: 1269000 | #Constraints: 37120
1984.77/1989.57 c #Conflicts: 1270000 | #Constraints: 38120
1984.77/1989.57 c #Conflicts: 1271000 | #Constraints: 39120
1984.77/1989.57 c #Conflicts: 1272000 | #Constraints: 40120
1984.77/1989.57 c #Conflicts: 1273000 | #Constraints: 41120
1984.77/1989.57 c #Conflicts: 1274000 | #Constraints: 42120
2182.28/2187.56 c #Conflicts: 1275000 | #Constraints: 43120
2182.28/2187.56 c #Conflicts: 1276000 | #Constraints: 44120
2182.28/2187.56 c #Conflicts: 1277000 | #Constraints: 45120
2182.28/2187.56 c #Conflicts: 1278000 | #Constraints: 46120
2182.28/2187.56 c #Conflicts: 1279000 | #Constraints: 47120
2182.28/2187.56 c INPROCESSING
2182.28/2187.56 c GARBAGE COLLECT
2182.28/2187.56 c #Conflicts: 1280000 | #Constraints: 25730
2182.28/2187.56 c #Conflicts: 1281000 | #Constraints: 26730
2182.28/2187.56 c #Conflicts: 1282000 | #Constraints: 27730
2182.28/2187.56 c #Conflicts: 1283000 | #Constraints: 28730
2182.28/2187.56 c #Conflicts: 1284000 | #Constraints: 29730
2182.28/2187.56 c #Conflicts: 1285000 | #Constraints: 30730
2182.28/2187.56 c #Conflicts: 1286000 | #Constraints: 31730
2182.28/2187.56 c #Conflicts: 1287000 | #Constraints: 32730
2182.28/2187.56 c #Conflicts: 1288000 | #Constraints: 33730
2182.28/2187.56 c #Conflicts: 1289000 | #Constraints: 34730
2182.28/2187.56 c #Conflicts: 1290000 | #Constraints: 35730
2182.28/2187.56 c #Conflicts: 1291000 | #Constraints: 36730
2182.28/2187.56 c #Conflicts: 1292000 | #Constraints: 37730
2182.28/2187.56 c #Conflicts: 1293000 | #Constraints: 38730
2182.28/2187.56 c #Conflicts: 1294000 | #Constraints: 39730
2182.28/2187.56 c #Conflicts: 1295000 | #Constraints: 40730
2182.28/2187.56 c #Conflicts: 1296000 | #Constraints: 41730
2182.28/2187.56 c #Conflicts: 1297000 | #Constraints: 42730
2182.28/2187.56 c #Conflicts: 1298000 | #Constraints: 43730
2182.28/2187.56 c #Conflicts: 1299000 | #Constraints: 44730
2182.28/2187.56 c #Conflicts: 1300000 | #Constraints: 45730
2182.28/2187.56 c #Conflicts: 1301000 | #Constraints: 46730
2182.28/2187.56 c #Conflicts: 1302000 | #Constraints: 47730
2182.28/2187.56 c INPROCESSING
2182.28/2187.56 c GARBAGE COLLECT
2182.28/2187.56 c #Conflicts: 1303000 | #Constraints: 26125
2182.28/2187.56 c #Conflicts: 1304000 | #Constraints: 27125
2182.28/2187.56 c #Conflicts: 1305000 | #Constraints: 28125
2182.28/2187.56 c #Conflicts: 1306000 | #Constraints: 29125
2182.28/2187.56 c #Conflicts: 1307000 | #Constraints: 30125
2182.28/2187.56 c #Conflicts: 1308000 | #Constraints: 31125
2182.28/2187.56 c #Conflicts: 1309000 | #Constraints: 32125
2182.28/2187.56 c #Conflicts: 1310000 | #Constraints: 33125
2182.28/2187.56 c #Conflicts: 1311000 | #Constraints: 34125
2182.28/2187.56 c #Conflicts: 1312000 | #Constraints: 35125
2182.28/2187.56 c #Conflicts: 1313000 | #Constraints: 36125
2182.28/2187.56 c #Conflicts: 1314000 | #Constraints: 37125
2182.28/2187.56 c #Conflicts: 1315000 | #Constraints: 38125
2182.28/2187.56 c #Conflicts: 1316000 | #Constraints: 39125
2182.28/2187.56 c #Conflicts: 1317000 | #Constraints: 40125
2182.28/2187.56 c #Conflicts: 1318000 | #Constraints: 41125
2182.28/2187.56 c #Conflicts: 1319000 | #Constraints: 42125
2182.28/2187.56 c #Conflicts: 1320000 | #Constraints: 43125
2182.28/2187.56 c #Conflicts: 1321000 | #Constraints: 44125
2182.28/2187.56 c #Conflicts: 1322000 | #Constraints: 45125
2182.28/2187.56 c #Conflicts: 1323000 | #Constraints: 46125
2182.28/2187.56 c #Conflicts: 1324000 | #Constraints: 47125
2182.28/2187.56 c #Conflicts: 1325000 | #Constraints: 48125
2182.28/2187.56 c INPROCESSING
2182.28/2187.56 c GARBAGE COLLECT
2182.28/2187.56 c #Conflicts: 1326000 | #Constraints: 26321
2182.28/2187.56 c #Conflicts: 1327000 | #Constraints: 27321
2182.28/2187.56 c #Conflicts: 1328000 | #Constraints: 28321
2182.28/2187.56 c #Conflicts: 1329000 | #Constraints: 29321
2182.28/2187.56 c #Conflicts: 1330000 | #Constraints: 30321
2182.28/2187.56 c #Conflicts: 1331000 | #Constraints: 31321
2182.28/2187.56 c #Conflicts: 1332000 | #Constraints: 32321
2182.28/2187.56 c #Conflicts: 1333000 | #Constraints: 33321
2182.28/2187.56 c #Conflicts: 1334000 | #Constraints: 34321
2182.28/2187.56 c #Conflicts: 1335000 | #Constraints: 35321
2182.28/2187.56 c #Conflicts: 1336000 | #Constraints: 36321
2182.28/2187.56 c #Conflicts: 1337000 | #Constraints: 37321
2182.28/2187.56 c #Conflicts: 1338000 | #Constraints: 38321
2182.28/2187.56 c #Conflicts: 1339000 | #Constraints: 39321
2182.28/2187.56 c #Conflicts: 1340000 | #Constraints: 40321
2182.28/2187.56 c #Conflicts: 1341000 | #Constraints: 41321
2182.28/2187.56 c #Conflicts: 1342000 | #Constraints: 42321
2182.28/2187.56 c #Conflicts: 1343000 | #Constraints: 43321
2182.28/2187.56 c #Conflicts: 1344000 | #Constraints: 44321
2182.28/2187.56 c #Conflicts: 1345000 | #Constraints: 45321
2182.28/2187.56 c #Conflicts: 1346000 | #Constraints: 46321
2182.28/2187.56 c #Conflicts: 1347000 | #Constraints: 47321
2182.28/2187.56 c #Conflicts: 1348000 | #Constraints: 48321
2182.28/2187.56 c INPROCESSING
2182.28/2187.56 c GARBAGE COLLECT
2182.28/2187.56 c #Conflicts: 1349000 | #Constraints: 26328
2182.28/2187.56 c #Conflicts: 1350000 | #Constraints: 27328
2387.97/2393.78 c #Conflicts: 1351000 | #Constraints: 28328
2387.97/2393.78 c #Conflicts: 1352000 | #Constraints: 29328
2387.97/2393.78 c #Conflicts: 1353000 | #Constraints: 30328
2387.97/2393.78 c #Conflicts: 1354000 | #Constraints: 31328
2387.97/2393.78 c #Conflicts: 1355000 | #Constraints: 32328
2387.97/2393.78 c #Conflicts: 1356000 | #Constraints: 33328
2387.97/2393.78 c #Conflicts: 1357000 | #Constraints: 34328
2387.97/2393.78 c #Conflicts: 1358000 | #Constraints: 35328
2387.97/2393.78 c #Conflicts: 1359000 | #Constraints: 36328
2387.97/2393.78 c #Conflicts: 1360000 | #Constraints: 37328
2387.97/2393.78 c #Conflicts: 1361000 | #Constraints: 38328
2387.97/2393.78 c #Conflicts: 1362000 | #Constraints: 39328
2387.97/2393.78 c #Conflicts: 1363000 | #Constraints: 40328
2387.97/2393.78 c #Conflicts: 1364000 | #Constraints: 41328
2387.97/2393.78 c #Conflicts: 1365000 | #Constraints: 42328
2387.97/2393.78 c #Conflicts: 1366000 | #Constraints: 43328
2387.97/2393.78 c #Conflicts: 1367000 | #Constraints: 44328
2387.97/2393.78 c #Conflicts: 1368000 | #Constraints: 45328
2387.97/2393.78 c #Conflicts: 1369000 | #Constraints: 46328
2387.97/2393.78 c #Conflicts: 1370000 | #Constraints: 47328
2387.97/2393.78 c #Conflicts: 1371000 | #Constraints: 48328
2387.97/2393.78 c INPROCESSING
2387.97/2393.78 c GARBAGE COLLECT
2387.97/2393.78 c #Conflicts: 1372000 | #Constraints: 26117
2387.97/2393.78 c #Conflicts: 1373000 | #Constraints: 27117
2387.97/2393.78 c #Conflicts: 1374000 | #Constraints: 28117
2387.97/2393.78 c #Conflicts: 1375000 | #Constraints: 29117
2387.97/2393.78 c #Conflicts: 1376000 | #Constraints: 30117
2387.97/2393.78 c #Conflicts: 1377000 | #Constraints: 31117
2387.97/2393.78 c #Conflicts: 1378000 | #Constraints: 32117
2387.97/2393.78 c #Conflicts: 1379000 | #Constraints: 33117
2387.97/2393.78 c #Conflicts: 1380000 | #Constraints: 34117
2387.97/2393.78 c #Conflicts: 1381000 | #Constraints: 35117
2387.97/2393.78 c #Conflicts: 1382000 | #Constraints: 36117
2387.97/2393.78 c #Conflicts: 1383000 | #Constraints: 37117
2387.97/2393.78 c #Conflicts: 1384000 | #Constraints: 38117
2387.97/2393.78 c #Conflicts: 1385000 | #Constraints: 39117
2387.97/2393.78 c #Conflicts: 1386000 | #Constraints: 40117
2387.97/2393.78 c #Conflicts: 1387000 | #Constraints: 41117
2387.97/2393.78 c #Conflicts: 1388000 | #Constraints: 42117
2387.97/2393.78 c #Conflicts: 1389000 | #Constraints: 43117
2387.97/2393.78 c #Conflicts: 1390000 | #Constraints: 44117
2387.97/2393.78 c #Conflicts: 1391000 | #Constraints: 45117
2387.97/2393.78 c #Conflicts: 1392000 | #Constraints: 46117
2387.97/2393.78 c #Conflicts: 1393000 | #Constraints: 47117
2387.97/2393.78 c #Conflicts: 1394000 | #Constraints: 48117
2387.97/2393.78 c #Conflicts: 1395000 | #Constraints: 49117
2387.97/2393.78 c INPROCESSING
2387.97/2393.78 c GARBAGE COLLECT
2387.97/2393.78 c #Conflicts: 1396000 | #Constraints: 26720
2387.97/2393.78 c #Conflicts: 1397000 | #Constraints: 27720
2387.97/2393.78 c #Conflicts: 1398000 | #Constraints: 28720
2387.97/2393.78 c #Conflicts: 1399000 | #Constraints: 29720
2387.97/2393.78 c #Conflicts: 1400000 | #Constraints: 30720
2387.97/2393.78 c #Conflicts: 1401000 | #Constraints: 31720
2387.97/2393.78 c #Conflicts: 1402000 | #Constraints: 32720
2387.97/2393.78 c #Conflicts: 1403000 | #Constraints: 33720
2387.97/2393.78 c #Conflicts: 1404000 | #Constraints: 34720
2387.97/2393.78 c #Conflicts: 1405000 | #Constraints: 35720
2387.97/2393.78 c #Conflicts: 1406000 | #Constraints: 36720
2387.97/2393.78 c #Conflicts: 1407000 | #Constraints: 37720
2387.97/2393.78 c #Conflicts: 1408000 | #Constraints: 38720
2387.97/2393.78 c #Conflicts: 1409000 | #Constraints: 39720
2387.97/2393.78 c #Conflicts: 1410000 | #Constraints: 40720
2387.97/2393.78 c #Conflicts: 1411000 | #Constraints: 41720
2387.97/2393.78 c #Conflicts: 1412000 | #Constraints: 42720
2387.97/2393.78 c #Conflicts: 1413000 | #Constraints: 43720
2387.97/2393.78 c #Conflicts: 1414000 | #Constraints: 44720
2387.97/2393.78 c #Conflicts: 1415000 | #Constraints: 45720
2387.97/2393.78 c #Conflicts: 1416000 | #Constraints: 46720
2387.97/2393.78 c #Conflicts: 1417000 | #Constraints: 47720
2387.97/2393.78 c #Conflicts: 1418000 | #Constraints: 48720
2387.97/2393.78 c #Conflicts: 1419000 | #Constraints: 49720
2387.97/2393.78 c INPROCESSING
2387.97/2393.78 c GARBAGE COLLECT
2387.97/2393.78 c #Conflicts: 1420000 | #Constraints: 27130
2387.97/2393.78 c #Conflicts: 1421000 | #Constraints: 28130
2387.97/2393.78 c #Conflicts: 1422000 | #Constraints: 29130
2387.97/2393.78 c #Conflicts: 1423000 | #Constraints: 30130
2387.97/2393.78 c #Conflicts: 1424000 | #Constraints: 31130
2387.97/2393.78 c #Conflicts: 1425000 | #Constraints: 32130
2387.97/2393.78 c #Conflicts: 1426000 | #Constraints: 33130
2387.97/2393.78 c #Conflicts: 1427000 | #Constraints: 34130
2601.34/2607.63 c #Conflicts: 1428000 | #Constraints: 35130
2601.34/2607.63 c #Conflicts: 1429000 | #Constraints: 36130
2601.34/2607.63 c #Conflicts: 1430000 | #Constraints: 37130
2601.34/2607.63 c #Conflicts: 1431000 | #Constraints: 38130
2601.34/2607.63 c #Conflicts: 1432000 | #Constraints: 39130
2601.34/2607.63 c #Conflicts: 1433000 | #Constraints: 40130
2601.34/2607.63 c #Conflicts: 1434000 | #Constraints: 41130
2601.34/2607.63 c #Conflicts: 1435000 | #Constraints: 42130
2601.34/2607.63 c #Conflicts: 1436000 | #Constraints: 43130
2601.34/2607.63 c #Conflicts: 1437000 | #Constraints: 44130
2601.34/2607.63 c #Conflicts: 1438000 | #Constraints: 45130
2601.34/2607.63 c #Conflicts: 1439000 | #Constraints: 46130
2601.34/2607.63 c #Conflicts: 1440000 | #Constraints: 47130
2601.34/2607.63 c #Conflicts: 1441000 | #Constraints: 48130
2601.34/2607.63 c #Conflicts: 1442000 | #Constraints: 49130
2601.34/2607.63 c #Conflicts: 1443000 | #Constraints: 50130
2601.34/2607.63 c INPROCESSING
2601.34/2607.63 c GARBAGE COLLECT
2601.34/2607.63 c #Conflicts: 1444000 | #Constraints: 27333
2601.34/2607.63 c #Conflicts: 1445000 | #Constraints: 28333
2601.34/2607.63 c #Conflicts: 1446000 | #Constraints: 29333
2601.34/2607.63 c #Conflicts: 1447000 | #Constraints: 30333
2601.34/2607.63 c #Conflicts: 1448000 | #Constraints: 31333
2601.34/2607.63 c #Conflicts: 1449000 | #Constraints: 32333
2601.34/2607.63 c #Conflicts: 1450000 | #Constraints: 33333
2601.34/2607.63 c #Conflicts: 1451000 | #Constraints: 34333
2601.34/2607.63 c #Conflicts: 1452000 | #Constraints: 35333
2601.34/2607.63 c #Conflicts: 1453000 | #Constraints: 36333
2601.34/2607.63 c #Conflicts: 1454000 | #Constraints: 37333
2601.34/2607.63 c #Conflicts: 1455000 | #Constraints: 38333
2601.34/2607.63 c #Conflicts: 1456000 | #Constraints: 39333
2601.34/2607.63 c #Conflicts: 1457000 | #Constraints: 40333
2601.34/2607.63 c #Conflicts: 1458000 | #Constraints: 41333
2601.34/2607.63 c #Conflicts: 1459000 | #Constraints: 42333
2601.34/2607.63 c #Conflicts: 1460000 | #Constraints: 43333
2601.34/2607.63 c #Conflicts: 1461000 | #Constraints: 44333
2601.34/2607.63 c #Conflicts: 1462000 | #Constraints: 45333
2601.34/2607.63 c #Conflicts: 1463000 | #Constraints: 46333
2601.34/2607.63 c #Conflicts: 1464000 | #Constraints: 47333
2601.34/2607.63 c #Conflicts: 1465000 | #Constraints: 48333
2601.34/2607.63 c #Conflicts: 1466000 | #Constraints: 49333
2601.34/2607.63 c #Conflicts: 1467000 | #Constraints: 50333
2601.34/2607.63 c INPROCESSING
2601.34/2607.63 c GARBAGE COLLECT
2601.34/2607.63 c #Conflicts: 1468000 | #Constraints: 27325
2601.34/2607.63 c #Conflicts: 1469000 | #Constraints: 28325
2601.34/2607.63 c #Conflicts: 1470000 | #Constraints: 29325
2601.34/2607.63 c #Conflicts: 1471000 | #Constraints: 30325
2601.34/2607.63 c #Conflicts: 1472000 | #Constraints: 31325
2601.34/2607.63 c #Conflicts: 1473000 | #Constraints: 32325
2601.34/2607.63 c #Conflicts: 1474000 | #Constraints: 33325
2601.34/2607.63 c #Conflicts: 1475000 | #Constraints: 34325
2601.34/2607.63 c #Conflicts: 1476000 | #Constraints: 35325
2601.34/2607.63 c #Conflicts: 1477000 | #Constraints: 36325
2601.34/2607.63 c #Conflicts: 1478000 | #Constraints: 37325
2601.34/2607.63 c #Conflicts: 1479000 | #Constraints: 38325
2601.34/2607.63 c #Conflicts: 1480000 | #Constraints: 39325
2601.34/2607.63 c #Conflicts: 1481000 | #Constraints: 40325
2601.34/2607.63 c #Conflicts: 1482000 | #Constraints: 41325
2601.34/2607.63 c #Conflicts: 1483000 | #Constraints: 42325
2601.34/2607.63 c #Conflicts: 1484000 | #Constraints: 43325
2601.34/2607.63 c #Conflicts: 1485000 | #Constraints: 44325
2601.34/2607.63 c #Conflicts: 1486000 | #Constraints: 45325
2601.34/2607.63 c #Conflicts: 1487000 | #Constraints: 46325
2601.34/2607.63 c #Conflicts: 1488000 | #Constraints: 47325
2601.34/2607.63 c #Conflicts: 1489000 | #Constraints: 48325
2601.34/2607.63 c #Conflicts: 1490000 | #Constraints: 49325
2601.34/2607.63 c #Conflicts: 1491000 | #Constraints: 50325
2601.34/2607.63 c INPROCESSING
2601.34/2607.63 c GARBAGE COLLECT
2601.34/2607.63 c #Conflicts: 1492000 | #Constraints: 27134
2601.34/2607.63 c #Conflicts: 1493000 | #Constraints: 28134
2601.34/2607.63 c #Conflicts: 1494000 | #Constraints: 29134
2601.34/2607.63 c #Conflicts: 1495000 | #Constraints: 30134
2601.34/2607.63 c #Conflicts: 1496000 | #Constraints: 31134
2601.34/2607.63 c #Conflicts: 1497000 | #Constraints: 32134
2601.34/2607.63 c #Conflicts: 1498000 | #Constraints: 33134
2601.34/2607.63 c #Conflicts: 1499000 | #Constraints: 34134
2601.34/2607.63 c #Conflicts: 1500000 | #Constraints: 35134
2601.34/2607.63 c #Conflicts: 1501000 | #Constraints: 36134
2601.34/2607.63 c #Conflicts: 1502000 | #Constraints: 37134
2601.34/2607.63 c #Conflicts: 1503000 | #Constraints: 38134
2601.34/2607.63 c #Conflicts: 1504000 | #Constraints: 39134
2832.77/2839.69 c #Conflicts: 1505000 | #Constraints: 40134
2832.77/2839.69 c #Conflicts: 1506000 | #Constraints: 41134
2832.77/2839.69 c #Conflicts: 1507000 | #Constraints: 42134
2832.77/2839.69 c #Conflicts: 1508000 | #Constraints: 43134
2832.77/2839.69 c #Conflicts: 1509000 | #Constraints: 44134
2832.77/2839.69 c #Conflicts: 1510000 | #Constraints: 45134
2832.77/2839.69 c #Conflicts: 1511000 | #Constraints: 46134
2832.77/2839.69 c #Conflicts: 1512000 | #Constraints: 47134
2832.77/2839.69 c #Conflicts: 1513000 | #Constraints: 48134
2832.77/2839.69 c #Conflicts: 1514000 | #Constraints: 49134
2832.77/2839.69 c #Conflicts: 1515000 | #Constraints: 50134
2832.77/2839.69 c #Conflicts: 1516000 | #Constraints: 51134
2832.77/2839.69 c INPROCESSING
2832.77/2839.69 c GARBAGE COLLECT
2832.77/2839.69 c #Conflicts: 1517000 | #Constraints: 27727
2832.77/2839.69 c #Conflicts: 1518000 | #Constraints: 28727
2832.77/2839.69 c #Conflicts: 1519000 | #Constraints: 29727
2832.77/2839.69 c #Conflicts: 1520000 | #Constraints: 30727
2832.77/2839.69 c #Conflicts: 1521000 | #Constraints: 31727
2832.77/2839.69 c #Conflicts: 1522000 | #Constraints: 32727
2832.77/2839.69 c #Conflicts: 1523000 | #Constraints: 33727
2832.77/2839.69 c #Conflicts: 1524000 | #Constraints: 34727
2832.77/2839.69 c #Conflicts: 1525000 | #Constraints: 35727
2832.77/2839.69 c #Conflicts: 1526000 | #Constraints: 36727
2832.77/2839.69 c #Conflicts: 1527000 | #Constraints: 37727
2832.77/2839.69 c #Conflicts: 1528000 | #Constraints: 38727
2832.77/2839.69 c #Conflicts: 1529000 | #Constraints: 39727
2832.77/2839.69 c #Conflicts: 1530000 | #Constraints: 40727
2832.77/2839.69 c #Conflicts: 1531000 | #Constraints: 41727
2832.77/2839.69 c #Conflicts: 1532000 | #Constraints: 42727
2832.77/2839.69 c #Conflicts: 1533000 | #Constraints: 43727
2832.77/2839.69 c #Conflicts: 1534000 | #Constraints: 44727
2832.77/2839.69 c #Conflicts: 1535000 | #Constraints: 45727
2832.77/2839.69 c #Conflicts: 1536000 | #Constraints: 46727
2832.77/2839.69 c #Conflicts: 1537000 | #Constraints: 47727
2832.77/2839.69 c #Conflicts: 1538000 | #Constraints: 48727
2832.77/2839.69 c #Conflicts: 1539000 | #Constraints: 49727
2832.77/2839.69 c #Conflicts: 1540000 | #Constraints: 50727
2832.77/2839.69 c #Conflicts: 1541000 | #Constraints: 51727
2832.77/2839.69 c INPROCESSING
2832.77/2839.69 c GARBAGE COLLECT
2832.77/2839.69 c #Conflicts: 1542000 | #Constraints: 28124
2832.77/2839.69 c #Conflicts: 1543000 | #Constraints: 29124
2832.77/2839.69 c #Conflicts: 1544000 | #Constraints: 30124
2832.77/2839.69 c #Conflicts: 1545000 | #Constraints: 31124
2832.77/2839.69 c #Conflicts: 1546000 | #Constraints: 32124
2832.77/2839.69 c #Conflicts: 1547000 | #Constraints: 33124
2832.77/2839.69 c #Conflicts: 1548000 | #Constraints: 34124
2832.77/2839.69 c #Conflicts: 1549000 | #Constraints: 35124
2832.77/2839.69 c #Conflicts: 1550000 | #Constraints: 36124
2832.77/2839.69 c #Conflicts: 1551000 | #Constraints: 37124
2832.77/2839.69 c #Conflicts: 1552000 | #Constraints: 38124
2832.77/2839.69 c #Conflicts: 1553000 | #Constraints: 39124
2832.77/2839.69 c #Conflicts: 1554000 | #Constraints: 40124
2832.77/2839.69 c #Conflicts: 1555000 | #Constraints: 41124
2832.77/2839.69 c #Conflicts: 1556000 | #Constraints: 42124
2832.77/2839.69 c #Conflicts: 1557000 | #Constraints: 43124
2832.77/2839.69 c #Conflicts: 1558000 | #Constraints: 44124
2832.77/2839.69 c #Conflicts: 1559000 | #Constraints: 45124
2832.77/2839.69 c #Conflicts: 1560000 | #Constraints: 46124
2832.77/2839.69 c #Conflicts: 1561000 | #Constraints: 47124
2832.77/2839.69 c #Conflicts: 1562000 | #Constraints: 48124
2832.77/2839.69 c #Conflicts: 1563000 | #Constraints: 49124
2832.77/2839.69 c #Conflicts: 1564000 | #Constraints: 50124
2832.77/2839.69 c #Conflicts: 1565000 | #Constraints: 51124
2832.77/2839.69 c #Conflicts: 1566000 | #Constraints: 52124
2832.77/2839.69 c INPROCESSING
2832.77/2839.69 c GARBAGE COLLECT
2832.77/2839.69 c #Conflicts: 1567000 | #Constraints: 28315
2832.77/2839.69 c #Conflicts: 1568000 | #Constraints: 29315
2832.77/2839.69 c #Conflicts: 1569000 | #Constraints: 30315
2832.77/2839.69 c #Conflicts: 1570000 | #Constraints: 31315
2832.77/2839.69 c #Conflicts: 1571000 | #Constraints: 32315
2832.77/2839.69 c #Conflicts: 1572000 | #Constraints: 33315
2832.77/2839.69 c #Conflicts: 1573000 | #Constraints: 34315
2832.77/2839.69 c #Conflicts: 1574000 | #Constraints: 35315
2832.77/2839.69 c #Conflicts: 1575000 | #Constraints: 36315
2832.77/2839.69 c #Conflicts: 1576000 | #Constraints: 37315
2832.77/2839.69 c #Conflicts: 1577000 | #Constraints: 38315
2832.77/2839.69 c #Conflicts: 1578000 | #Constraints: 39315
2832.77/2839.69 c #Conflicts: 1579000 | #Constraints: 40315
2832.77/2839.69 c #Conflicts: 1580000 | #Constraints: 41315
2832.77/2839.69 c #Conflicts: 1581000 | #Constraints: 42315
3072.18/3079.60 c #Conflicts: 1582000 | #Constraints: 43315
3072.18/3079.60 c #Conflicts: 1583000 | #Constraints: 44315
3072.18/3079.60 c #Conflicts: 1584000 | #Constraints: 45315
3072.18/3079.60 c #Conflicts: 1585000 | #Constraints: 46315
3072.18/3079.60 c #Conflicts: 1586000 | #Constraints: 47315
3072.18/3079.60 c #Conflicts: 1587000 | #Constraints: 48315
3072.18/3079.60 c #Conflicts: 1588000 | #Constraints: 49315
3072.18/3079.60 c #Conflicts: 1589000 | #Constraints: 50315
3072.18/3079.60 c #Conflicts: 1590000 | #Constraints: 51315
3072.18/3079.60 c #Conflicts: 1591000 | #Constraints: 52315
3072.18/3079.60 c INPROCESSING
3072.18/3079.60 c GARBAGE COLLECT
3072.18/3079.60 c #Conflicts: 1592000 | #Constraints: 28316
3072.18/3079.60 c #Conflicts: 1593000 | #Constraints: 29316
3072.18/3079.60 c #Conflicts: 1594000 | #Constraints: 30316
3072.18/3079.60 c #Conflicts: 1595000 | #Constraints: 31316
3072.18/3079.60 c #Conflicts: 1596000 | #Constraints: 32316
3072.18/3079.60 c #Conflicts: 1597000 | #Constraints: 33316
3072.18/3079.60 c #Conflicts: 1598000 | #Constraints: 34316
3072.18/3079.60 c #Conflicts: 1599000 | #Constraints: 35316
3072.18/3079.60 c #Conflicts: 1600000 | #Constraints: 36316
3072.18/3079.60 c #Conflicts: 1601000 | #Constraints: 37316
3072.18/3079.60 c #Conflicts: 1602000 | #Constraints: 38316
3072.18/3079.60 c #Conflicts: 1603000 | #Constraints: 39316
3072.18/3079.60 c #Conflicts: 1604000 | #Constraints: 40316
3072.18/3079.60 c #Conflicts: 1605000 | #Constraints: 41316
3072.18/3079.60 c #Conflicts: 1606000 | #Constraints: 42316
3072.18/3079.60 c #Conflicts: 1607000 | #Constraints: 43316
3072.18/3079.60 c #Conflicts: 1608000 | #Constraints: 44316
3072.18/3079.60 c #Conflicts: 1609000 | #Constraints: 45316
3072.18/3079.60 c #Conflicts: 1610000 | #Constraints: 46316
3072.18/3079.60 c #Conflicts: 1611000 | #Constraints: 47316
3072.18/3079.60 c #Conflicts: 1612000 | #Constraints: 48316
3072.18/3079.60 c #Conflicts: 1613000 | #Constraints: 49316
3072.18/3079.60 c #Conflicts: 1614000 | #Constraints: 50316
3072.18/3079.60 c #Conflicts: 1615000 | #Constraints: 51316
3072.18/3079.60 c #Conflicts: 1616000 | #Constraints: 52316
3072.18/3079.60 c INPROCESSING
3072.18/3079.60 c GARBAGE COLLECT
3072.18/3079.60 c #Conflicts: 1617000 | #Constraints: 28124
3072.18/3079.60 c #Conflicts: 1618000 | #Constraints: 29124
3072.18/3079.60 c #Conflicts: 1619000 | #Constraints: 30124
3072.18/3079.60 c #Conflicts: 1620000 | #Constraints: 31124
3072.18/3079.60 c #Conflicts: 1621000 | #Constraints: 32124
3072.18/3079.60 c #Conflicts: 1622000 | #Constraints: 33124
3072.18/3079.60 c #Conflicts: 1623000 | #Constraints: 34124
3072.18/3079.60 c #Conflicts: 1624000 | #Constraints: 35124
3072.18/3079.60 c #Conflicts: 1625000 | #Constraints: 36124
3072.18/3079.60 c #Conflicts: 1626000 | #Constraints: 37124
3072.18/3079.60 c #Conflicts: 1627000 | #Constraints: 38124
3072.18/3079.60 c #Conflicts: 1628000 | #Constraints: 39124
3072.18/3079.60 c #Conflicts: 1629000 | #Constraints: 40124
3072.18/3079.60 c #Conflicts: 1630000 | #Constraints: 41124
3072.18/3079.60 c #Conflicts: 1631000 | #Constraints: 42124
3072.18/3079.60 c #Conflicts: 1632000 | #Constraints: 43124
3072.18/3079.60 c #Conflicts: 1633000 | #Constraints: 44124
3072.18/3079.60 c #Conflicts: 1634000 | #Constraints: 45124
3072.18/3079.60 c #Conflicts: 1635000 | #Constraints: 46124
3072.18/3079.60 c #Conflicts: 1636000 | #Constraints: 47124
3072.18/3079.60 c #Conflicts: 1637000 | #Constraints: 48124
3072.18/3079.60 c #Conflicts: 1638000 | #Constraints: 49124
3072.18/3079.60 c #Conflicts: 1639000 | #Constraints: 50124
3072.18/3079.60 c #Conflicts: 1640000 | #Constraints: 51124
3072.18/3079.60 c #Conflicts: 1641000 | #Constraints: 52124
3072.18/3079.60 c #Conflicts: 1642000 | #Constraints: 53124
3072.18/3079.60 c INPROCESSING
3072.18/3079.60 c GARBAGE COLLECT
3072.18/3079.60 c #Conflicts: 1643000 | #Constraints: 28725
3072.18/3079.60 c #Conflicts: 1644000 | #Constraints: 29725
3072.18/3079.60 c #Conflicts: 1645000 | #Constraints: 30725
3072.18/3079.60 c #Conflicts: 1646000 | #Constraints: 31725
3072.18/3079.60 c #Conflicts: 1647000 | #Constraints: 32725
3072.18/3079.60 c #Conflicts: 1648000 | #Constraints: 33725
3072.18/3079.60 c #Conflicts: 1649000 | #Constraints: 34725
3072.18/3079.60 c #Conflicts: 1650000 | #Constraints: 35725
3072.18/3079.60 c #Conflicts: 1651000 | #Constraints: 36725
3072.18/3079.60 c #Conflicts: 1652000 | #Constraints: 37725
3072.18/3079.60 c #Conflicts: 1653000 | #Constraints: 38725
3072.18/3079.60 c #Conflicts: 1654000 | #Constraints: 39725
3072.18/3079.60 c #Conflicts: 1655000 | #Constraints: 40725
3072.18/3079.60 c #Conflicts: 1656000 | #Constraints: 41725
3072.18/3079.60 c #Conflicts: 1657000 | #Constraints: 42725
3072.18/3079.60 c #Conflicts: 1658000 | #Constraints: 43725
3316.87/3324.91 c #Conflicts: 1659000 | #Constraints: 44725
3316.87/3324.91 c #Conflicts: 1660000 | #Constraints: 45725
3316.87/3324.91 c #Conflicts: 1661000 | #Constraints: 46725
3316.87/3324.91 c #Conflicts: 1662000 | #Constraints: 47725
3316.87/3324.91 c #Conflicts: 1663000 | #Constraints: 48725
3316.87/3324.91 c #Conflicts: 1664000 | #Constraints: 49725
3316.87/3324.91 c #Conflicts: 1665000 | #Constraints: 50725
3316.87/3324.91 c #Conflicts: 1666000 | #Constraints: 51725
3316.87/3324.91 c #Conflicts: 1667000 | #Constraints: 52725
3316.87/3324.91 c #Conflicts: 1668000 | #Constraints: 53725
3316.87/3324.91 c INPROCESSING
3316.87/3324.91 c GARBAGE COLLECT
3316.87/3324.91 c #Conflicts: 1669000 | #Constraints: 29121
3316.87/3324.91 c #Conflicts: 1670000 | #Constraints: 30121
3316.87/3324.91 c #Conflicts: 1671000 | #Constraints: 31121
3316.87/3324.91 c #Conflicts: 1672000 | #Constraints: 32121
3316.87/3324.91 c #Conflicts: 1673000 | #Constraints: 33121
3316.87/3324.91 c #Conflicts: 1674000 | #Constraints: 34121
3316.87/3324.91 c #Conflicts: 1675000 | #Constraints: 35121
3316.87/3324.91 c #Conflicts: 1676000 | #Constraints: 36121
3316.87/3324.91 c #Conflicts: 1677000 | #Constraints: 37121
3316.87/3324.91 c #Conflicts: 1678000 | #Constraints: 38121
3316.87/3324.91 c #Conflicts: 1679000 | #Constraints: 39121
3316.87/3324.91 c #Conflicts: 1680000 | #Constraints: 40121
3316.87/3324.91 c #Conflicts: 1681000 | #Constraints: 41121
3316.87/3324.91 c #Conflicts: 1682000 | #Constraints: 42121
3316.87/3324.91 c #Conflicts: 1683000 | #Constraints: 43121
3316.87/3324.91 c #Conflicts: 1684000 | #Constraints: 44121
3316.87/3324.91 c #Conflicts: 1685000 | #Constraints: 45121
3316.87/3324.91 c #Conflicts: 1686000 | #Constraints: 46121
3316.87/3324.91 c #Conflicts: 1687000 | #Constraints: 47121
3316.87/3324.91 c #Conflicts: 1688000 | #Constraints: 48121
3316.87/3324.91 c #Conflicts: 1689000 | #Constraints: 49121
3316.87/3324.91 c #Conflicts: 1690000 | #Constraints: 50121
3316.87/3324.91 c #Conflicts: 1691000 | #Constraints: 51121
3316.87/3324.91 c #Conflicts: 1692000 | #Constraints: 52121
3316.87/3324.91 c #Conflicts: 1693000 | #Constraints: 53121
3316.87/3324.91 c #Conflicts: 1694000 | #Constraints: 54121
3316.87/3324.91 c INPROCESSING
3316.87/3324.91 c GARBAGE COLLECT
3316.87/3324.91 c #Conflicts: 1695000 | #Constraints: 29343
3316.87/3324.91 c #Conflicts: 1696000 | #Constraints: 30343
3316.87/3324.91 c #Conflicts: 1697000 | #Constraints: 31343
3316.87/3324.91 c #Conflicts: 1698000 | #Constraints: 32343
3316.87/3324.91 c #Conflicts: 1699000 | #Constraints: 33343
3316.87/3324.91 c #Conflicts: 1700000 | #Constraints: 34343
3316.87/3324.91 c #Conflicts: 1701000 | #Constraints: 35343
3316.87/3324.91 c #Conflicts: 1702000 | #Constraints: 36343
3316.87/3324.91 c #Conflicts: 1703000 | #Constraints: 37343
3316.87/3324.91 c #Conflicts: 1704000 | #Constraints: 38343
3316.87/3324.91 c #Conflicts: 1705000 | #Constraints: 39343
3316.87/3324.91 c #Conflicts: 1706000 | #Constraints: 40343
3316.87/3324.91 c #Conflicts: 1707000 | #Constraints: 41343
3316.87/3324.91 c #Conflicts: 1708000 | #Constraints: 42343
3316.87/3324.91 c #Conflicts: 1709000 | #Constraints: 43343
3316.87/3324.91 c #Conflicts: 1710000 | #Constraints: 44343
3316.87/3324.91 c #Conflicts: 1711000 | #Constraints: 45343
3316.87/3324.91 c #Conflicts: 1712000 | #Constraints: 46343
3316.87/3324.91 c #Conflicts: 1713000 | #Constraints: 47343
3316.87/3324.91 c #Conflicts: 1714000 | #Constraints: 48343
3316.87/3324.91 c #Conflicts: 1715000 | #Constraints: 49343
3316.87/3324.91 c #Conflicts: 1716000 | #Constraints: 50343
3316.87/3324.91 c #Conflicts: 1717000 | #Constraints: 51343
3316.87/3324.91 c #Conflicts: 1718000 | #Constraints: 52343
3316.87/3324.91 c #Conflicts: 1719000 | #Constraints: 53343
3316.87/3324.91 c #Conflicts: 1720000 | #Constraints: 54343
3316.87/3324.91 c INPROCESSING
3316.87/3324.91 c GARBAGE COLLECT
3316.87/3324.91 c #Conflicts: 1721000 | #Constraints: 29341
3316.87/3324.91 c #Conflicts: 1722000 | #Constraints: 30341
3316.87/3324.91 c #Conflicts: 1723000 | #Constraints: 31341
3316.87/3324.91 c #Conflicts: 1724000 | #Constraints: 32341
3316.87/3324.91 c #Conflicts: 1725000 | #Constraints: 33341
3316.87/3324.91 c #Conflicts: 1726000 | #Constraints: 34341
3316.87/3324.91 c #Conflicts: 1727000 | #Constraints: 35341
3316.87/3324.91 c #Conflicts: 1728000 | #Constraints: 36341
3316.87/3324.91 c #Conflicts: 1729000 | #Constraints: 37341
3316.87/3324.91 c #Conflicts: 1730000 | #Constraints: 38341
3316.87/3324.91 c #Conflicts: 1731000 | #Constraints: 39341
3316.87/3324.91 c #Conflicts: 1732000 | #Constraints: 40341
3316.87/3324.91 c #Conflicts: 1733000 | #Constraints: 41341
3316.87/3324.91 c #Conflicts: 1734000 | #Constraints: 42341
3316.87/3324.91 c #Conflicts: 1735000 | #Constraints: 43341
3583.69/3592.45 c #Conflicts: 1736000 | #Constraints: 44341
3583.69/3592.45 c #Conflicts: 1737000 | #Constraints: 45341
3583.69/3592.45 c #Conflicts: 1738000 | #Constraints: 46341
3583.69/3592.45 c #Conflicts: 1739000 | #Constraints: 47341
3583.69/3592.45 c #Conflicts: 1740000 | #Constraints: 48341
3583.69/3592.45 c #Conflicts: 1741000 | #Constraints: 49341
3583.69/3592.45 c #Conflicts: 1742000 | #Constraints: 50341
3583.69/3592.45 c #Conflicts: 1743000 | #Constraints: 51341
3583.69/3592.45 c #Conflicts: 1744000 | #Constraints: 52341
3583.69/3592.45 c #Conflicts: 1745000 | #Constraints: 53341
3583.69/3592.45 c #Conflicts: 1746000 | #Constraints: 54341
3583.69/3592.45 c INPROCESSING
3583.69/3592.45 c GARBAGE COLLECT
3583.69/3592.45 c #Conflicts: 1747000 | #Constraints: 29134
3583.69/3592.45 c #Conflicts: 1748000 | #Constraints: 30134
3583.69/3592.45 c #Conflicts: 1749000 | #Constraints: 31134
3583.69/3592.45 c #Conflicts: 1750000 | #Constraints: 32134
3583.69/3592.45 c #Conflicts: 1751000 | #Constraints: 33134
3583.69/3592.45 c #Conflicts: 1752000 | #Constraints: 34134
3583.69/3592.45 c #Conflicts: 1753000 | #Constraints: 35134
3583.69/3592.45 c #Conflicts: 1754000 | #Constraints: 36134
3583.69/3592.45 c #Conflicts: 1755000 | #Constraints: 37134
3583.69/3592.45 c #Conflicts: 1756000 | #Constraints: 38134
3583.69/3592.45 c #Conflicts: 1757000 | #Constraints: 39134
3583.69/3592.45 c #Conflicts: 1758000 | #Constraints: 40134
3583.69/3592.45 c #Conflicts: 1759000 | #Constraints: 41134
3583.69/3592.45 c #Conflicts: 1760000 | #Constraints: 42134
3583.69/3592.45 c #Conflicts: 1761000 | #Constraints: 43134
3583.69/3592.45 c #Conflicts: 1762000 | #Constraints: 44134
3583.69/3592.45 c #Conflicts: 1763000 | #Constraints: 45134
3583.69/3592.45 c #Conflicts: 1764000 | #Constraints: 46134
3583.69/3592.45 c #Conflicts: 1765000 | #Constraints: 47134
3583.69/3592.45 c #Conflicts: 1766000 | #Constraints: 48134
3583.69/3592.45 c #Conflicts: 1767000 | #Constraints: 49134
3583.69/3592.45 c #Conflicts: 1768000 | #Constraints: 50134
3583.69/3592.45 c #Conflicts: 1769000 | #Constraints: 51134
3583.69/3592.45 c #Conflicts: 1770000 | #Constraints: 52134
3583.69/3592.45 c #Conflicts: 1771000 | #Constraints: 53134
3583.69/3592.45 c #Conflicts: 1772000 | #Constraints: 54134
3583.69/3592.45 c #Conflicts: 1773000 | #Constraints: 55134
3583.69/3592.45 c INPROCESSING
3583.69/3592.45 c GARBAGE COLLECT
3583.69/3592.45 c #Conflicts: 1774000 | #Constraints: 29726
3583.69/3592.45 c #Conflicts: 1775000 | #Constraints: 30726
3583.69/3592.45 c #Conflicts: 1776000 | #Constraints: 31726
3583.69/3592.45 c #Conflicts: 1777000 | #Constraints: 32726
3583.69/3592.45 c #Conflicts: 1778000 | #Constraints: 33726
3583.69/3592.45 c #Conflicts: 1779000 | #Constraints: 34726
3583.69/3592.45 c #Conflicts: 1780000 | #Constraints: 35726
3583.69/3592.45 c #Conflicts: 1781000 | #Constraints: 36726
3583.69/3592.45 c #Conflicts: 1782000 | #Constraints: 37726
3583.69/3592.45 c #Conflicts: 1783000 | #Constraints: 38726
3583.69/3592.45 c #Conflicts: 1784000 | #Constraints: 39726
3583.69/3592.45 c #Conflicts: 1785000 | #Constraints: 40726
3583.69/3592.45 c #Conflicts: 1786000 | #Constraints: 41726
3583.69/3592.45 c #Conflicts: 1787000 | #Constraints: 42726
3583.69/3592.45 c #Conflicts: 1788000 | #Constraints: 43726
3583.69/3592.45 c #Conflicts: 1789000 | #Constraints: 44726
3583.69/3592.45 c #Conflicts: 1790000 | #Constraints: 45726
3583.69/3592.45 c #Conflicts: 1791000 | #Constraints: 46726
3583.69/3592.45 c #Conflicts: 1792000 | #Constraints: 47726
3583.69/3592.45 c #Conflicts: 1793000 | #Constraints: 48726
3583.69/3592.45 c #Conflicts: 1794000 | #Constraints: 49726
3583.69/3592.45 c #Conflicts: 1795000 | #Constraints: 50726
3583.69/3592.45 c #Conflicts: 1796000 | #Constraints: 51726
3583.69/3592.45 c #Conflicts: 1797000 | #Constraints: 52726
3583.69/3592.45 c #Conflicts: 1798000 | #Constraints: 53726
3583.69/3592.45 c #Conflicts: 1799000 | #Constraints: 54726
3583.69/3592.45 c #Conflicts: 1800000 | #Constraints: 55726
3583.69/3592.45 c INPROCESSING
3583.69/3592.45 c GARBAGE COLLECT
3583.69/3592.45 c #Conflicts: 1801000 | #Constraints: 30129
3583.69/3592.45 c #Conflicts: 1802000 | #Constraints: 31129
3583.69/3592.45 c #Conflicts: 1803000 | #Constraints: 32129
3583.69/3592.45 c #Conflicts: 1804000 | #Constraints: 33129
3583.69/3592.45 c #Conflicts: 1805000 | #Constraints: 34129
3583.69/3592.45 c #Conflicts: 1806000 | #Constraints: 35129
3583.69/3592.45 c #Conflicts: 1807000 | #Constraints: 36129
3583.69/3592.45 c #Conflicts: 1808000 | #Constraints: 37129
3583.69/3592.45 c #Conflicts: 1809000 | #Constraints: 38129
3583.69/3592.45 c #Conflicts: 1810000 | #Constraints: 39129
3583.69/3592.45 c #Conflicts: 1811000 | #Constraints: 40129
3583.69/3592.45 c #Conflicts: 1812000 | #Constraints: 41129
3600.06/3608.80 c #Conflicts: 1813000 | #Constraints: 42129
3600.06/3608.80 c #Conflicts: 1814000 | #Constraints: 43129
3600.06/3608.80 c #Conflicts: 1815000 | #Constraints: 44129
3600.06/3608.80 c #Conflicts: 1816000 | #Constraints: 45129
3600.06/3608.80 c Program interrupted by user.
3600.06/3608.80 c cpu time 3585.38 s
3600.06/3608.80 c deterministic time 421064839579 4.21e+11
3600.06/3608.80 c optimization time 50.1175 s
3600.06/3608.80 c total solve time 3535.19 s
3600.06/3608.80 c core-guided solve time 3535.19 s
3600.06/3608.80 c propagation time 3370.72 s
3600.06/3608.80 c conflict analysis time 191.488 s
3600.06/3608.80 c propagations 484315958
3600.06/3608.80 c resolve steps 8459925
3600.06/3608.80 c decisions 8142238
3600.06/3608.80 c conflicts 1816628
3600.06/3608.80 c restarts 3560
3600.06/3608.80 c inprocessing phases 125
3600.06/3608.80 c input clauses 1
3600.06/3608.80 c input cardinalities 0
3600.06/3608.80 c input general constraints 2430
3600.06/3608.80 c input average constraint length 25.44
3600.06/3608.80 c input average constraint degree 234.24
3600.06/3608.80 c learned clauses 517947
3600.06/3608.80 c learned cardinalities 3
3600.06/3608.80 c learned general constraints 1298678
3600.06/3608.80 c learned average constraint length 35.91
3600.06/3608.80 c learned average constraint degree 811374.59
3600.06/3608.80 c watched constraints 1298563
3600.06/3608.80 c counting constraints 2545
3600.06/3608.80 c gcd simplifications 10588
3600.06/3608.80 c detected cardinalities 3
3600.06/3608.80 c weakened non-implied lits 5396129
3600.06/3608.80 c weakened non-implying lits 2869
3600.06/3608.80 c original variables 1288
3600.06/3608.80 c clausal propagations 1526689
3600.06/3608.80 c cardinality propagations 8
3600.06/3608.80 c watched propagations 469127973
3600.06/3608.80 c counting propagations 12708404
3600.06/3608.80 c watch lookups 93315969556
3600.06/3608.80 c watch backjump lookups 90395408954
3600.06/3608.80 c watch checks 112015873278
3600.06/3608.80 c propagation checks 124089054014
3600.06/3608.80 c constraint additions 261801625
3600.06/3608.80 c trail pops 494273955
3600.06/3608.80 c formula constraints 2431
3600.06/3608.80 c learned constraints 1816628
3600.06/3608.80 c bound constraints 0
3600.06/3608.80 c core-guided constraints 0
3600.06/3608.80 c encountered formula constraints 6907132
3600.06/3608.80 c encountered learned constraints 3369421
3600.06/3608.80 c encountered bound constraints 0
3600.06/3608.80 c encountered core-guided constraints 0
3600.06/3608.80 c LP total time 0 s
3600.06/3608.80 c LP solve time 0 s
3600.06/3608.80 c LP constraints added 0
3600.06/3608.80 c LP constraints removed 0
3600.06/3608.80 c LP pivots internal 0
3600.06/3608.80 c LP pivots root 0
3600.06/3608.80 c LP calls 0
3600.06/3608.80 c LP optimalities 0
3600.06/3608.80 c LP no pivot count 0
3600.06/3608.80 c LP infeasibilities 0
3600.06/3608.80 c LP valid Farkas constraints 0
3600.06/3608.80 c LP learned Farkas constraints 0
3600.06/3608.80 c LP basis resets 0
3600.06/3608.80 c LP cycling count 0
3600.06/3608.80 c LP singular count 0
3600.06/3608.80 c LP no primal count 0
3600.06/3608.80 c LP no farkas count 0
3600.06/3608.80 c LP other issue count 0
3600.06/3608.80 c LP Gomory cuts 0
3600.06/3608.80 c LP learned cuts 0
3600.06/3608.80 c LP deleted cuts 0
3600.06/3608.80 c LP encountered Gomory constraints 0
3600.06/3608.80 c LP encountered Farkas constraints 0
3600.06/3608.80 c LP encountered learned Farkas constraints 0
3600.06/3608.80 c CG auxiliary variables introduced 0
3600.06/3608.80 c CG solutions found 0
3600.06/3608.80 c CG cores constructed 0
3600.06/3608.80 c CG core cardinality constraints returned 0
3600.06/3608.80 c CG unit cores 0
3600.06/3608.80 c CG single cores 0
3600.06/3608.80 c CG blocks removed during cardinality reduction 0
3600.06/3608.80 c CG first core best 0
3600.06/3608.80 c CG decision core best 0
3600.06/3608.80 c CG core reduction tie 0
3600.06/3608.80 c CG core degree average 0.00
3600.06/3608.80 c CG core slack average 0.00
3600.06/3608.80 c CG exhausted 0
3600.06/3608.80 c CG exhaust time 0 s
3600.06/3608.80 c CG trimmed 0
3600.06/3608.80 c CG trim time 0 s
3600.06/3608.80 c CG minimized 0
3600.06/3608.80 c CG minimize time 0 s
3600.06/3608.80 c CG am1 prop time 0.000107 s
3600.06/3608.80 c CG # am1s reformulated 0
3600.06/3608.80 c CG lower bound derived from am1s 0
3600.06/3608.80 c CG # clausal cores 0
3600.06/3608.80 c CG # cardinality cores 0
3600.06/3608.80 c CG # pb cores 0
3600.06/3608.80 c CG # pb reforms 0
3600.06/3608.80 c CG # cores discarded because of pb reform 0
3600.06/3608.80 d LOWERBOUND 0
3600.06/3608.80 d NCORES 0
3600.06/3608.80 d NPBCORES 0
3600.06/3608.80 d NPBREFORM 0
3600.06/3608.80 d NTRIMMED 0
3600.06/3608.80 d NEXHAUSTED 0
3600.06/3608.80 d NAM1S 0
3600.06/3608.80 d AM1LB 0
3600.06/3608.80 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: 64059 MiB (63033 MiB free)
memory of node 1: 64510 MiB (62337 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454323-1721471651/watcher-4454323-1721471651 -o /tmp/evaluation-result-4454323-1721471651/solver-4454323-1721471651 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721471663-1051932 --watchdog 3760 pb-oll-rs HOME/instance-4454323-1721471651.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1051986, runsolver pid=1051980
Current StackSize limit: 8192 KiB
[startup+0.100743 s]*
/proc/loadavg: 1.13 1.17 1.36 5/243 1051995
/proc/meminfo: memFree=128373092/131655788 swapFree=131071996/131071996
[pid=1051986] ppid=1051980 vsize=39788 memory=7324 CPUtime=0.1 cores=1,3
/proc/1051986/stat : 1051986 (pb-oll-rs) R 1051980 1051986 1051920 0 -1 4194304 674 0 0 0 10 0 0 0 20 0 1 0 199322007 40742912 1831 134679101440 4194304 5384485 140727953407488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27684864 140727953409045 140727953409122 140727953409122 140727953416139 0
/proc/1051986/statm: 9947 1831 1360 291 0 1481 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39788 KiB
Current children cumulated memory: 7324 KiB
[startup+0.21353 s]*
/proc/loadavg: 1.13 1.17 1.36 4/240 1052003
/proc/meminfo: memFree=128366196/131655788 swapFree=131071996/131071996
[pid=1051986] ppid=1051980 vsize=39788 memory=7648 CPUtime=0.21 cores=1,3
/proc/1051986/stat : 1051986 (pb-oll-rs) R 1051980 1051986 1051920 0 -1 4194304 695 0 0 0 20 1 0 0 20 0 1 0 199322007 40742912 1912 134679101440 4194304 5384485 140727953407488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27684864 140727953409045 140727953409122 140727953409122 140727953416139 0
/proc/1051986/statm: 9947 1912 1376 291 0 1481 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39788 KiB
Current children cumulated memory: 7648 KiB
[startup+0.3135 s]*
/proc/loadavg: 1.13 1.17 1.36 4/240 1052003
/proc/meminfo: memFree=128360060/131655788 swapFree=131071996/131071996
[pid=1051986] ppid=1051980 vsize=39924 memory=9696 CPUtime=0.31 cores=1,3
/proc/1051986/stat : 1051986 (pb-oll-rs) R 1051980 1051986 1051920 0 -1 4194304 714 0 0 0 30 1 0 0 20 0 1 0 199322007 40882176 2424 134679101440 4194304 5384485 140727953407488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27684864 140727953409045 140727953409122 140727953409122 140727953416139 0
/proc/1051986/statm: 9981 2424 1376 291 0 1515 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39924 KiB
Current children cumulated memory: 9696 KiB
[startup+0.700296 s]
/proc/loadavg: 1.13 1.17 1.36 6/242 1052021
/proc/meminfo: memFree=128355932/131655788 swapFree=131071996/131071996
[pid=1051986] ppid=1051980 vsize=40196 memory=9956 CPUtime=0.69 cores=1,3
/proc/1051986/stat : 1051986 (pb-oll-rs) R 1051980 1051986 1051920 0 -1 4194304 791 0 0 0 66 3 0 0 20 0 1 0 199322007 41160704 2489 134679101440 4194304 5384485 140727953407488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27684864 140727953409045 140727953409122 140727953409122 140727953416139 0
/proc/1051986/statm: 10049 2489 1376 291 0 1583 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40196 KiB
Current children cumulated memory: 9956 KiB
[startup+1.50028 s]
/proc/loadavg: 1.13 1.17 1.36 5/241 1052064
/proc/meminfo: memFree=128350384/131655788 swapFree=131071996/131071996
[pid=1051986] ppid=1051980 vsize=40300 memory=10216 CPUtime=1.48 cores=1,3
/proc/1051986/stat : 1051986 (pb-oll-rs) R 1051980 1051986 1051920 0 -1 4194304 834 0 0 0 142 6 0 0 20 0 1 0 199322007 41267200 2554 134679101440 4194304 5384485 140727953407488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27684864 140727953409045 140727953409122 140727953409122 140727953416139 0
/proc/1051986/statm: 10075 2554 1376 291 0 1609 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40300 KiB
Current children cumulated memory: 10216 KiB
[startup+3.11305 s]
/proc/loadavg: 1.13 1.17 1.36 5/242 1052173
/proc/meminfo: memFree=128335032/131655788 swapFree=131071996/131071996
[pid=1051986] ppid=1051980 vsize=40828 memory=10776 CPUtime=3.09 cores=1,3
/proc/1051986/stat : 1051986 (pb-oll-rs) R 1051980 1051986 1051920 0 -1 4194304 955 0 0 0 299 10 0 0 20 0 1 0 199322007 41807872 2694 134679101440 4194304 5384485 140727953407488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27684864 140727953409045 140727953409122 140727953409122 140727953416139 0
/proc/1051986/statm: 10207 2694 1437 291 0 1741 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40828 KiB
Current children cumulated memory: 10776 KiB
[startup+6.30024 s]
/proc/loadavg: 1.36 1.22 1.38 5/245 1052363
/proc/meminfo: memFree=128313880/131655788 swapFree=131071996/131071996
[pid=1051986] ppid=1051980 vsize=41380 memory=11548 CPUtime=6.26 cores=1,3
/proc/1051986/stat : 1051986 (pb-oll-rs) R 1051980 1051986 1051920 0 -1 4194304 1109 0 0 0 611 15 0 0 20 0 1 0 199322007 42373120 2887 134679101440 4194304 5384485 140727953407488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27684864 140727953409045 140727953409122 140727953409122 140727953416139 0
/proc/1051986/statm: 10345 2887 1437 291 0 1879 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 41380 KiB
Current children cumulated memory: 11548 KiB
[startup+12.7002 s]
/proc/loadavg: 1.57 1.27 1.39 5/245 1052365
/proc/meminfo: memFree=128235676/131655788 swapFree=131071996/131071996
[pid=1051986] ppid=1051980 vsize=41880 memory=11976 CPUtime=12.66 cores=1,3
/proc/1051986/stat : 1051986 (pb-oll-rs) R 1051980 1051986 1051920 0 -1 4194304 1256 0 0 0 1241 25 0 0 20 0 1 0 199322007 42885120 2994 134679101440 4194304 5384485 140727953407488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27684864 140727953409045 140727953409122 140727953409122 140727953416139 0
/proc/1051986/statm: 10470 2994 1437 291 0 2004 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 41880 KiB
Current children cumulated memory: 11976 KiB
[startup+25.5003 s]
/proc/loadavg: 2.11 1.40 1.43 5/245 1052413
/proc/meminfo: memFree=128098520/131655788 swapFree=131071996/131071996
[pid=1051986] ppid=1051980 vsize=42840 memory=13468 CPUtime=25.43 cores=1,3
/proc/1051986/stat : 1051986 (pb-oll-rs) R 1051980 1051986 1051920 0 -1 4194304 1656 0 0 0 2498 45 0 0 20 0 1 0 199322007 43868160 3367 134679101440 4194304 5384485 140727953407488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27684864 140727953409045 140727953409122 140727953409122 140727953416139 0
/proc/1051986/statm: 10710 3367 1437 291 0 2244 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 42840 KiB
Current children cumulated memory: 13468 KiB
[startup+51.112 s]
/proc/loadavg: 2.76 1.61 1.50 5/245 1052418
/proc/meminfo: memFree=127905892/131655788 swapFree=131071996/131071996
[pid=1051986] ppid=1051980 vsize=43544 memory=15068 CPUtime=50.98 cores=1,3
/proc/1051986/stat : 1051986 (pb-oll-rs) R 1051980 1051986 1051920 0 -1 4194304 2168 0 0 0 5024 74 0 0 20 0 1 0 199322007 44589056 3767 134679101440 4194304 5384485 140727953407488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27684864 140727953409045 140727953409122 140727953409122 140727953416139 0
/proc/1051986/statm: 10886 3767 1437 291 0 2420 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 43544 KiB
Current children cumulated memory: 15068 KiB
[startup+102.3 s]
/proc/loadavg: 3.51 2.00 1.64 5/243 1052426
/proc/meminfo: memFree=127697876/131655788 swapFree=131071996/131071996
[pid=1051986] ppid=1051980 vsize=47620 memory=17268 CPUtime=102.06 cores=1,3
/proc/1051986/stat : 1051986 (pb-oll-rs) R 1051980 1051986 1051920 0 -1 4194304 2899 0 0 0 10080 126 0 0 20 0 1 0 199322007 48762880 4317 134679101440 4194304 5384485 140727953407488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27684864 140727953409045 140727953409122 140727953409122 140727953416139 0
/proc/1051986/statm: 11905 4317 1437 291 0 3439 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 47620 KiB
Current children cumulated memory: 17268 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 2.41 1.81 5/243 1052436
/proc/meminfo: memFree=127627832/131655788 swapFree=131071996/131071996
[pid=1051986] ppid=1051980 vsize=48616 memory=19064 CPUtime=161.92 cores=1,3
/proc/1051986/stat : 1051986 (pb-oll-rs) R 1051980 1051986 1051920 0 -1 4194304 3550 0 0 0 16015 177 0 0 20 0 1 0 199322007 49782784 4766 134679101440 4194304 5384485 140727953407488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27684864 140727953409045 140727953409122 140727953409122 140727953416139 0
/proc/1051986/statm: 12154 4766 1437 291 0 3688 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 48616 KiB
Current children cumulated memory: 19064 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.72 1.95 5/243 1052447
/proc/meminfo: memFree=127594200/131655788 swapFree=131071996/131071996
[pid=1051986] ppid=1051980 vsize=49328 memory=20492 CPUtime=221.77 cores=1,3
/proc/1051986/stat : 1051986 (pb-oll-rs) R 1051980 1051986 1051920 0 -1 4194304 4080 0 0 0 21952 225 0 0 20 0 1 0 199322007 50511872 5123 134679101440 4194304 5384485 140727953407488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27684864 140727953409045 140727953409122 140727953409122 140727953416139 0
/proc/1051986/statm: 12332 5123 1437 291 0 3866 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 49328 KiB
Current children cumulated memory: 20492 KiB
[startup+282.3 s]
/proc/loadavg: 4.02 2.95 2.08 5/243 1052457
/proc/meminfo: memFree=127557708/131655788 swapFree=131071996/131071996
[pid=1051986] ppid=1051980 vsize=54268 memory=21516 CPUtime=281.64 cores=1,3
/proc/1051986/stat : 1051986 (pb-oll-rs) R 1051980 1051986 1051920 0 -1 4194304 4452 0 0 0 27892 272 0 0 20 0 1 0 199322007 55570432 5379 134679101440 4194304 5384485 140727953407488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27684864 140727953409045 140727953409122 140727953409122 140727953416139 0
/proc/1051986/statm: 13567 5379 1437 291 0 5101 0
Current children cumulated CPU time: 281.64 s
Current children cumulated vsize: 54268 KiB
Current children cumulated memory: 21516 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.18 2.22 5/241 1052467
/proc/meminfo: memFree=127551960/131655788 swapFree=131071996/131071996
[pid=1051986] ppid=1051980 vsize=54680 memory=22416 CPUtime=341.5 cores=1,3
/proc/1051986/stat : 1051986 (pb-oll-rs) R 1051980 1051986 1051920 0 -1 4194304 4798 0 0 0 33835 315 0 0 20 0 1 0 199322007 55992320 5604 134679101440 4194304 5384485 140727953407488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27684864 140727953409045 140727953409122 140727953409122 140727953416139 0
/proc/1051986/statm: 13670 5604 1437 291 0 5204 0
Current children cumulated CPU time: 341.5 s
Current children cumulated vsize: 54680 KiB
Current children cumulated memory: 22416 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.34 2.34 5/243 1052528
/proc/meminfo: memFree=128059604/131655788 swapFree=131071996/131071996
[pid=1051986] ppid=1051980 vsize=55368 memory=23588 CPUtime=401.35 cores=1,3
/proc/1051986/stat : 1051986 (pb-oll-rs) R 1051980 1051986 1051920 0 -1 4194304 5213 0 0 0 39782 353 0 0 20 0 1 0 199322007 56696832 5897 134679101440 4194304 5384485 140727953407488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27684864 140727953409045 140727953409122 140727953409122 140727953416139 0
/proc/1051986/statm: 13842 5897 1437 291 0 5376 0
Current children cumulated CPU time: 401.35 s
Current children cumulated vsize: 55368 KiB
Current children cumulated memory: 23588 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 3.48 2.45 5/243 1052583
/proc/meminfo: memFree=127987856/131655788 swapFree=131071996/131071996
[pid=1051986] ppid=1051980 vsize=55628 memory=24172 CPUtime=461.21 cores=1,3
/proc/1051986/stat : 1051986 (pb-oll-rs) R 1051980 1051986 1051920 0 -1 4194304 5446 0 0 0 45729 392 0 0 20 0 1 0 199322007 56963072 6043 134679101440 4194304 5384485 140727953407488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27684864 140727953409045 140727953409122 140727953409122 140727953416139 0
/proc/1051986/statm: 13907 6043 1437 291 0 5441 0
################
# More data... #
################
Current children cumulated memory: 37112 KiB
[startup+2862.3 s]
/proc/loadavg: 4.40 4.45 4.20 5/243 1053778
/proc/meminfo: memFree=123936252/131655788 swapFree=131071996/131071996
[pid=1051986] ppid=1051980 vsize=69332 memory=37112 CPUtime=2855.41 cores=1,3
/proc/1051986/stat : 1051986 (pb-oll-rs) R 1051980 1051986 1051920 0 -1 4194304 11887 0 0 0 284258 1283 0 0 20 0 1 0 199322007 70995968 9278 134679101440 4194304 5384485 140727953407488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27684864 140727953409045 140727953409122 140727953409122 140727953416139 0
/proc/1051986/statm: 17333 9278 1437 291 0 8867 0
Current children cumulated CPU time: 2855.41 s
Current children cumulated vsize: 69332 KiB
Current children cumulated memory: 37112 KiB
[startup+2922.3 s]
/proc/loadavg: 4.31 4.42 4.20 5/243 1053788
/proc/meminfo: memFree=123931124/131655788 swapFree=131071996/131071996
[pid=1051986] ppid=1051980 vsize=69588 memory=39300 CPUtime=2915.27 cores=1,3
/proc/1051986/stat : 1051986 (pb-oll-rs) R 1051980 1051986 1051920 0 -1 4194304 12069 0 0 0 290228 1299 0 0 20 0 1 0 199322007 71258112 9825 134679101440 4194304 5384485 140727953407488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27684864 140727953409045 140727953409122 140727953409122 140727953416139 0
/proc/1051986/statm: 17397 9825 1437 291 0 8931 0
Current children cumulated CPU time: 2915.27 s
Current children cumulated vsize: 69588 KiB
Current children cumulated memory: 39300 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.35 4.19 5/243 1053798
/proc/meminfo: memFree=123929336/131655788 swapFree=131071996/131071996
[pid=1051986] ppid=1051980 vsize=69588 memory=39300 CPUtime=2975.12 cores=1,3
/proc/1051986/stat : 1051986 (pb-oll-rs) R 1051980 1051986 1051920 0 -1 4194304 12216 0 0 0 296198 1314 0 0 20 0 1 0 199322007 71258112 9825 134679101440 4194304 5384485 140727953407488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27684864 140727953409045 140727953409122 140727953409122 140727953416139 0
/proc/1051986/statm: 17397 9825 1437 291 0 8931 0
Current children cumulated CPU time: 2975.12 s
Current children cumulated vsize: 69588 KiB
Current children cumulated memory: 39300 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.32 4.18 5/243 1053810
/proc/meminfo: memFree=123912800/131655788 swapFree=131071996/131071996
[pid=1051986] ppid=1051980 vsize=69588 memory=39308 CPUtime=3034.97 cores=1,3
/proc/1051986/stat : 1051986 (pb-oll-rs) R 1051980 1051986 1051920 0 -1 4194304 12369 0 0 0 302169 1328 0 0 20 0 1 0 199322007 71258112 9827 134679101440 4194304 5384485 140727953407488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27684864 140727953409045 140727953409122 140727953409122 140727953416139 0
/proc/1051986/statm: 17397 9827 1437 291 0 8931 0
Current children cumulated CPU time: 3034.97 s
Current children cumulated vsize: 69588 KiB
Current children cumulated memory: 39308 KiB
[startup+3102.3 s]
/proc/loadavg: 4.22 4.32 4.19 5/243 1054202
/proc/meminfo: memFree=123893844/131655788 swapFree=131071996/131071996
[pid=1051986] ppid=1051980 vsize=69588 memory=39308 CPUtime=3094.82 cores=1,3
/proc/1051986/stat : 1051986 (pb-oll-rs) R 1051980 1051986 1051920 0 -1 4194304 12382 0 0 0 308138 1344 0 0 20 0 1 0 199322007 71258112 9827 134679101440 4194304 5384485 140727953407488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27684864 140727953409045 140727953409122 140727953409122 140727953416139 0
/proc/1051986/statm: 17397 9827 1437 291 0 8931 0
Current children cumulated CPU time: 3094.82 s
Current children cumulated vsize: 69588 KiB
Current children cumulated memory: 39308 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.29 4.18 5/242 1054212
/proc/meminfo: memFree=123874536/131655788 swapFree=131071996/131071996
[pid=1051986] ppid=1051980 vsize=69588 memory=39308 CPUtime=3154.67 cores=1,3
/proc/1051986/stat : 1051986 (pb-oll-rs) R 1051980 1051986 1051920 0 -1 4194304 12530 0 0 0 314108 1359 0 0 20 0 1 0 199322007 71258112 9827 134679101440 4194304 5384485 140727953407488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27684864 140727953409045 140727953409122 140727953409122 140727953416139 0
/proc/1051986/statm: 17397 9827 1437 291 0 8931 0
Current children cumulated CPU time: 3154.67 s
Current children cumulated vsize: 69588 KiB
Current children cumulated memory: 39308 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.26 4.18 5/242 1054223
/proc/meminfo: memFree=123848776/131655788 swapFree=131071996/131071996
[pid=1051986] ppid=1051980 vsize=69844 memory=39524 CPUtime=3214.52 cores=1,3
/proc/1051986/stat : 1051986 (pb-oll-rs) R 1051980 1051986 1051920 0 -1 4194304 12732 0 0 0 320079 1373 0 0 20 0 1 0 199322007 71520256 9881 134679101440 4194304 5384485 140727953407488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27684864 140727953409045 140727953409122 140727953409122 140727953416139 0
/proc/1051986/statm: 17461 9881 1437 291 0 8995 0
Current children cumulated CPU time: 3214.52 s
Current children cumulated vsize: 69844 KiB
Current children cumulated memory: 39524 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.24 4.18 5/244 1054403
/proc/meminfo: memFree=123792652/131655788 swapFree=131071996/131071996
[pid=1051986] ppid=1051980 vsize=70100 memory=39524 CPUtime=3274.37 cores=1,3
/proc/1051986/stat : 1051986 (pb-oll-rs) R 1051980 1051986 1051920 0 -1 4194304 12773 0 0 0 326050 1387 0 0 20 0 1 0 199322007 71782400 9881 134679101440 4194304 5384485 140727953407488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27684864 140727953409045 140727953409122 140727953409122 140727953416139 0
/proc/1051986/statm: 17525 9881 1437 291 0 9059 0
Current children cumulated CPU time: 3274.37 s
Current children cumulated vsize: 70100 KiB
Current children cumulated memory: 39524 KiB
[startup+3342.3 s]
/proc/loadavg: 4.20 4.24 4.18 5/244 1054413
/proc/meminfo: memFree=123620220/131655788 swapFree=131071996/131071996
[pid=1051986] ppid=1051980 vsize=70100 memory=39752 CPUtime=3334.22 cores=1,3
/proc/1051986/stat : 1051986 (pb-oll-rs) R 1051980 1051986 1051920 0 -1 4194304 12954 0 0 0 332020 1402 0 0 20 0 1 0 199322007 71782400 9938 134679101440 4194304 5384485 140727953407488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27684864 140727953409045 140727953409122 140727953409122 140727953416139 0
/proc/1051986/statm: 17525 9938 1437 291 0 9059 0
Current children cumulated CPU time: 3334.22 s
Current children cumulated vsize: 70100 KiB
Current children cumulated memory: 39752 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.24 4.18 5/246 1054482
/proc/meminfo: memFree=123569696/131655788 swapFree=131071996/131071996
[pid=1051986] ppid=1051980 vsize=70100 memory=39756 CPUtime=3394.07 cores=1,3
/proc/1051986/stat : 1051986 (pb-oll-rs) R 1051980 1051986 1051920 0 -1 4194304 13103 0 0 0 337992 1415 0 0 20 0 1 0 199322007 71782400 9939 134679101440 4194304 5384485 140727953407488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27684864 140727953409045 140727953409122 140727953409122 140727953416139 0
/proc/1051986/statm: 17525 9939 1437 291 0 9059 0
Current children cumulated CPU time: 3394.07 s
Current children cumulated vsize: 70100 KiB
Current children cumulated memory: 39756 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.21 4.18 5/245 1054492
/proc/meminfo: memFree=123277816/131655788 swapFree=131071996/131071996
[pid=1051986] ppid=1051980 vsize=70100 memory=39756 CPUtime=3453.93 cores=1,3
/proc/1051986/stat : 1051986 (pb-oll-rs) R 1051980 1051986 1051920 0 -1 4194304 13118 0 0 0 343960 1433 0 0 20 0 1 0 199322007 71782400 9939 134679101440 4194304 5384485 140727953407488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27684864 140727953409045 140727953409122 140727953409122 140727953416139 0
/proc/1051986/statm: 17525 9939 1437 291 0 9059 0
Current children cumulated CPU time: 3453.93 s
Current children cumulated vsize: 70100 KiB
Current children cumulated memory: 39756 KiB
[startup+3522.3 s]
/proc/loadavg: 4.30 4.23 4.19 5/245 1054502
/proc/meminfo: memFree=123249696/131655788 swapFree=131071996/131071996
[pid=1051986] ppid=1051980 vsize=70100 memory=39764 CPUtime=3513.77 cores=1,3
/proc/1051986/stat : 1051986 (pb-oll-rs) R 1051980 1051986 1051920 0 -1 4194304 13270 0 0 0 349930 1447 0 0 20 0 1 0 199322007 71782400 9941 134679101440 4194304 5384485 140727953407488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27684864 140727953409045 140727953409122 140727953409122 140727953416139 0
/proc/1051986/statm: 17525 9941 1437 291 0 9059 0
Current children cumulated CPU time: 3513.77 s
Current children cumulated vsize: 70100 KiB
Current children cumulated memory: 39764 KiB
[startup+3582.3 s]
/proc/loadavg: 4.64 4.36 4.23 5/243 1054512
/proc/meminfo: memFree=123218500/131655788 swapFree=131071996/131071996
[pid=1051986] ppid=1051980 vsize=70100 memory=39764 CPUtime=3573.62 cores=1,3
/proc/1051986/stat : 1051986 (pb-oll-rs) R 1051980 1051986 1051920 0 -1 4194304 13419 0 0 0 355901 1461 0 0 20 0 1 0 199322007 71782400 9941 134679101440 4194304 5384485 140727953407488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27684864 140727953409045 140727953409122 140727953409122 140727953416139 0
/proc/1051986/statm: 17525 9941 1437 291 0 9059 0
Current children cumulated CPU time: 3573.62 s
Current children cumulated vsize: 70100 KiB
Current children cumulated memory: 39764 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.8 s]
/proc/loadavg: 4.50 4.35 4.23 5/243 1054518
/proc/meminfo: memFree=123207360/131655788 swapFree=131071996/131071996
[pid=1051986] ppid=1051980 vsize=70100 memory=39764 CPUtime=3600.06 cores=1,3
/proc/1051986/stat : 1051986 (pb-oll-rs) R 1051980 1051986 1051920 0 -1 4194304 13421 0 0 0 358538 1468 0 0 20 0 1 0 199322007 71782400 9941 134679101440 4194304 5384485 140727953407488 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 27684864 140727953409045 140727953409122 140727953409122 140727953416139 0
/proc/1051986/statm: 17525 9941 1437 291 0 9059 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 70100 KiB
Current children cumulated memory: 39764 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.8 s]
# the end of solver process 1051986 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.39 s, system=14.6802 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3608.8
CPU time (s): 3600.07
CPU user time (s): 3585.39
CPU system time (s): 14.6802
CPU usage (%): 99.7579
Max. virtual memory (cumulated for all children) (KiB): 70808
Max. memory (cumulated for all children) (KiB): 40232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.39
system time used= 14.6802
maximum resident set size= 40232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13438
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= 16
involuntary context switches= 1700
# summary of solver processes directly reported to runsolver:
# pid: 1051986
# total CPU time (s): 3600.07
# total CPU user time (s): 3585.39
# total CPU system time (s): 14.6802
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1014 second user time and 35.2631 second system time
The end
Begin job on nodeC012 at 2024-07-20 12:34:23
IDJOB=4454323
IDBENCH=147695
IDSOLVER=3082
FILE ID=nodeC012/4454323-1721471651
RUNJOBID= nodeC012-1721471663-1051932
SLURM_JOB_ID= 7545738
Free space on /tmp= 723772 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_11.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454323-1721471651/watcher-4454323-1721471651 -o /tmp/evaluation-result-4454323-1721471651/solver-4454323-1721471651 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721471663-1051932 --watchdog 3760 pb-oll-rs HOME/instance-4454323-1721471651.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 89d4e33f1fc4516d7db076f434bf527f
RANDOM SEED=1558781067
nodeC012.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3492.187
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.322
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.32
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.341
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.37
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.365
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.321
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.321
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.32
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.630
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.606
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128383268 kB
MemAvailable: 129920264 kB
Buffers: 559724 kB
Cached: 1820856 kB
SwapCached: 0 kB
Active: 1132548 kB
Inactive: 1582492 kB
Active(anon): 1352 kB
Inactive(anon): 379028 kB
Active(file): 1131196 kB
Inactive(file): 1203464 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 7640 kB
Writeback: 4 kB
AnonPages: 334340 kB
Mapped: 107144 kB
Shmem: 45896 kB
KReclaimable: 84736 kB
Slab: 187248 kB
SReclaimable: 84736 kB
SUnreclaim: 102512 kB
KernelStack: 3744 kB
PageTables: 9484 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 684172 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62400 kB
HardwareCorrupted: 0 kB
AnonHugePages: 212992 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 312136 kB
DirectMap2M: 33146880 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 723764 MiB
End job on nodeC012 at 2024-07-20 13:34:32