0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.02 c #variables 2340 #constraints 390
0.00/0.02 c objective is ce32
0.00/0.02 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.02 c initial counting CF 32, 64, 128, Arb: 371 , 0 , 0 , 0
0.00/0.02 c GLOBAL bounds - >= 0 @ 0.005282
0.00/0.02 c GLOBAL bounds - >= 0 @ 0.005575
49.54/49.74 c #Conflicts: 1000 | #Constraints: 1390
49.54/49.74 c #Conflicts: 2000 | #Constraints: 2390
49.54/49.74 c INPROCESSING
49.54/49.74 c GARBAGE COLLECT
49.54/49.74 c #Conflicts: 3000 | #Constraints: 2411
49.54/49.74 c #Conflicts: 4000 | #Constraints: 3411
49.54/49.74 c INPROCESSING
49.54/49.74 c GARBAGE COLLECT
49.54/49.74 c #Conflicts: 5000 | #Constraints: 2830
49.54/49.74 c #Conflicts: 6000 | #Constraints: 3830
49.54/49.74 c INPROCESSING
49.54/49.74 c GARBAGE COLLECT
49.54/49.74 c #Conflicts: 7000 | #Constraints: 2845
49.54/49.74 c #Conflicts: 8000 | #Constraints: 3845
49.54/49.74 c #Conflicts: 9000 | #Constraints: 4845
49.54/49.74 c INPROCESSING
49.54/49.74 c GARBAGE COLLECT
49.54/49.74 c #Conflicts: 10000 | #Constraints: 3547
49.54/49.74 c #Conflicts: 11000 | #Constraints: 4547
49.54/49.74 c #Conflicts: 12000 | #Constraints: 5547
49.54/49.74 c INPROCESSING
49.54/49.74 c GARBAGE COLLECT
49.54/49.74 c #Conflicts: 13000 | #Constraints: 4006
49.54/49.74 c #Conflicts: 14000 | #Constraints: 5006
49.54/49.74 c #Conflicts: 15000 | #Constraints: 6006
49.54/49.74 c INPROCESSING
49.54/49.74 c GARBAGE COLLECT
49.54/49.74 c #Conflicts: 16000 | #Constraints: 4246
49.54/49.74 c #Conflicts: 17000 | #Constraints: 5246
49.54/49.74 c #Conflicts: 18000 | #Constraints: 6246
49.54/49.74 c INPROCESSING
49.54/49.74 c GARBAGE COLLECT
49.54/49.74 c #Conflicts: 19000 | #Constraints: 4256
49.54/49.74 c #Conflicts: 20000 | #Constraints: 5256
49.54/49.74 c #Conflicts: 21000 | #Constraints: 6256
49.54/49.74 c INPROCESSING
49.54/49.74 c GARBAGE COLLECT
49.54/49.74 c #Conflicts: 22000 | #Constraints: 4064
49.54/49.74 c #Conflicts: 23000 | #Constraints: 5064
49.54/49.74 c #Conflicts: 24000 | #Constraints: 6064
49.54/49.74 c #Conflicts: 25000 | #Constraints: 7064
49.54/49.74 c INPROCESSING
49.54/49.74 c GARBAGE COLLECT
49.54/49.74 c #Conflicts: 26000 | #Constraints: 4673
49.54/49.74 c #Conflicts: 27000 | #Constraints: 5673
49.54/49.74 c #Conflicts: 28000 | #Constraints: 6673
49.54/49.74 c #Conflicts: 29000 | #Constraints: 7673
49.54/49.74 c INPROCESSING
49.54/49.74 c GARBAGE COLLECT
49.54/49.74 c #Conflicts: 30000 | #Constraints: 5078
49.54/49.74 c #Conflicts: 31000 | #Constraints: 6078
49.54/49.74 c #Conflicts: 32000 | #Constraints: 7078
49.54/49.74 c #Conflicts: 33000 | #Constraints: 8078
49.54/49.74 c INPROCESSING
49.54/49.74 c GARBAGE COLLECT
49.54/49.74 c #Conflicts: 34000 | #Constraints: 5285
49.54/49.74 c #Conflicts: 35000 | #Constraints: 6285
49.54/49.74 c #Conflicts: 36000 | #Constraints: 7285
49.54/49.74 c #Conflicts: 37000 | #Constraints: 8285
49.54/49.74 c INPROCESSING
49.54/49.74 c GARBAGE COLLECT
49.54/49.74 c #Conflicts: 38000 | #Constraints: 5264
49.54/49.74 c #Conflicts: 39000 | #Constraints: 6264
49.54/49.74 c #Conflicts: 40000 | #Constraints: 7264
49.54/49.74 c #Conflicts: 41000 | #Constraints: 8264
49.54/49.74 c INPROCESSING
49.54/49.74 c GARBAGE COLLECT
49.54/49.74 c #Conflicts: 42000 | #Constraints: 5078
49.54/49.74 c #Conflicts: 43000 | #Constraints: 6078
49.54/49.74 c #Conflicts: 44000 | #Constraints: 7078
49.54/49.74 c #Conflicts: 45000 | #Constraints: 8078
49.54/49.74 c #Conflicts: 46000 | #Constraints: 9078
49.54/49.74 c INPROCESSING
49.54/49.74 c GARBAGE COLLECT
49.54/49.74 c #Conflicts: 47000 | #Constraints: 5688
49.54/49.74 c #Conflicts: 48000 | #Constraints: 6688
49.54/49.74 c #Conflicts: 49000 | #Constraints: 7688
49.54/49.74 c #Conflicts: 50000 | #Constraints: 8688
49.54/49.74 c #Conflicts: 51000 | #Constraints: 9688
49.54/49.74 c INPROCESSING
49.54/49.74 c GARBAGE COLLECT
49.54/49.74 c #Conflicts: 52000 | #Constraints: 6088
49.54/49.74 c #Conflicts: 53000 | #Constraints: 7088
49.54/49.74 c #Conflicts: 54000 | #Constraints: 8088
49.54/49.74 c #Conflicts: 55000 | #Constraints: 9088
49.54/49.74 c #Conflicts: 56000 | #Constraints: 10088
49.54/49.74 c INPROCESSING
49.54/49.74 c GARBAGE COLLECT
49.54/49.74 c #Conflicts: 57000 | #Constraints: 6282
49.54/49.74 c #Conflicts: 58000 | #Constraints: 7282
49.54/49.74 c #Conflicts: 59000 | #Constraints: 8282
49.54/49.74 c #Conflicts: 60000 | #Constraints: 9282
49.54/49.74 c #Conflicts: 61000 | #Constraints: 10282
49.54/49.74 c INPROCESSING
49.54/49.74 c GARBAGE COLLECT
49.54/49.74 c #Conflicts: 62000 | #Constraints: 6276
49.54/49.74 c #Conflicts: 63000 | #Constraints: 7276
49.54/49.74 c #Conflicts: 64000 | #Constraints: 8276
49.54/49.74 c #Conflicts: 65000 | #Constraints: 9276
49.54/49.74 c #Conflicts: 66000 | #Constraints: 10276
49.54/49.74 c INPROCESSING
49.54/49.74 c GARBAGE COLLECT
49.54/49.74 c #Conflicts: 67000 | #Constraints: 6082
49.54/49.74 c #Conflicts: 68000 | #Constraints: 7082
105.99/106.31 c #Conflicts: 69000 | #Constraints: 8082
105.99/106.31 c #Conflicts: 70000 | #Constraints: 9082
105.99/106.31 c #Conflicts: 71000 | #Constraints: 10082
105.99/106.31 c #Conflicts: 72000 | #Constraints: 11082
105.99/106.31 c INPROCESSING
105.99/106.31 c GARBAGE COLLECT
105.99/106.31 c #Conflicts: 73000 | #Constraints: 6683
105.99/106.31 c #Conflicts: 74000 | #Constraints: 7683
105.99/106.31 c #Conflicts: 75000 | #Constraints: 8683
105.99/106.31 c #Conflicts: 76000 | #Constraints: 9683
105.99/106.31 c #Conflicts: 77000 | #Constraints: 10683
105.99/106.31 c #Conflicts: 78000 | #Constraints: 11683
105.99/106.31 c INPROCESSING
105.99/106.31 c GARBAGE COLLECT
105.99/106.31 c #Conflicts: 79000 | #Constraints: 7085
105.99/106.31 c #Conflicts: 80000 | #Constraints: 8085
105.99/106.31 c #Conflicts: 81000 | #Constraints: 9085
105.99/106.31 c #Conflicts: 82000 | #Constraints: 10085
105.99/106.31 c #Conflicts: 83000 | #Constraints: 11085
105.99/106.31 c #Conflicts: 84000 | #Constraints: 12085
105.99/106.31 c INPROCESSING
105.99/106.31 c GARBAGE COLLECT
105.99/106.31 c #Conflicts: 85000 | #Constraints: 7303
105.99/106.31 c #Conflicts: 86000 | #Constraints: 8303
105.99/106.31 c #Conflicts: 87000 | #Constraints: 9303
105.99/106.31 c #Conflicts: 88000 | #Constraints: 10303
105.99/106.31 c #Conflicts: 89000 | #Constraints: 11303
105.99/106.31 c #Conflicts: 90000 | #Constraints: 12303
105.99/106.31 c INPROCESSING
105.99/106.31 c GARBAGE COLLECT
105.99/106.31 c #Conflicts: 91000 | #Constraints: 7299
105.99/106.31 c #Conflicts: 92000 | #Constraints: 8299
105.99/106.31 c #Conflicts: 93000 | #Constraints: 9299
105.99/106.31 c #Conflicts: 94000 | #Constraints: 10299
105.99/106.31 c #Conflicts: 95000 | #Constraints: 11299
105.99/106.31 c #Conflicts: 96000 | #Constraints: 12299
105.99/106.31 c INPROCESSING
105.99/106.31 c GARBAGE COLLECT
105.99/106.31 c #Conflicts: 97000 | #Constraints: 7101
105.99/106.31 c #Conflicts: 98000 | #Constraints: 8101
105.99/106.31 c #Conflicts: 99000 | #Constraints: 9101
105.99/106.31 c #Conflicts: 100000 | #Constraints: 10101
105.99/106.31 c #Conflicts: 101000 | #Constraints: 11101
105.99/106.31 c #Conflicts: 102000 | #Constraints: 12101
105.99/106.31 c #Conflicts: 103000 | #Constraints: 13101
105.99/106.31 c INPROCESSING
105.99/106.31 c GARBAGE COLLECT
105.99/106.31 c #Conflicts: 104000 | #Constraints: 7683
105.99/106.31 c #Conflicts: 105000 | #Constraints: 8683
105.99/106.31 c #Conflicts: 106000 | #Constraints: 9683
105.99/106.31 c #Conflicts: 107000 | #Constraints: 10683
105.99/106.31 c #Conflicts: 108000 | #Constraints: 11683
105.99/106.31 c #Conflicts: 109000 | #Constraints: 12683
105.99/106.31 c #Conflicts: 110000 | #Constraints: 13683
105.99/106.31 c INPROCESSING
105.99/106.31 c GARBAGE COLLECT
105.99/106.31 c #Conflicts: 111000 | #Constraints: 8079
105.99/106.31 c #Conflicts: 112000 | #Constraints: 9079
105.99/106.31 c #Conflicts: 113000 | #Constraints: 10079
105.99/106.31 c #Conflicts: 114000 | #Constraints: 11079
105.99/106.31 c #Conflicts: 115000 | #Constraints: 12079
105.99/106.31 c #Conflicts: 116000 | #Constraints: 13079
105.99/106.31 c #Conflicts: 117000 | #Constraints: 14079
105.99/106.31 c INPROCESSING
105.99/106.31 c GARBAGE COLLECT
105.99/106.31 c #Conflicts: 118000 | #Constraints: 8298
105.99/106.31 c #Conflicts: 119000 | #Constraints: 9298
105.99/106.31 c #Conflicts: 120000 | #Constraints: 10298
105.99/106.31 c #Conflicts: 121000 | #Constraints: 11298
105.99/106.31 c #Conflicts: 122000 | #Constraints: 12298
105.99/106.31 c #Conflicts: 123000 | #Constraints: 13298
105.99/106.31 c #Conflicts: 124000 | #Constraints: 14298
105.99/106.31 c INPROCESSING
105.99/106.31 c GARBAGE COLLECT
105.99/106.31 c #Conflicts: 125000 | #Constraints: 8298
105.99/106.31 c #Conflicts: 126000 | #Constraints: 9298
105.99/106.31 c #Conflicts: 127000 | #Constraints: 10298
105.99/106.31 c #Conflicts: 128000 | #Constraints: 11298
105.99/106.31 c #Conflicts: 129000 | #Constraints: 12298
105.99/106.31 c #Conflicts: 130000 | #Constraints: 13298
105.99/106.31 c #Conflicts: 131000 | #Constraints: 14298
105.99/106.31 c INPROCESSING
105.99/106.31 c GARBAGE COLLECT
105.99/106.31 c #Conflicts: 132000 | #Constraints: 8099
105.99/106.31 c #Conflicts: 133000 | #Constraints: 9099
105.99/106.31 c #Conflicts: 134000 | #Constraints: 10099
105.99/106.31 c #Conflicts: 135000 | #Constraints: 11099
105.99/106.31 c #Conflicts: 136000 | #Constraints: 12099
105.99/106.31 c #Conflicts: 137000 | #Constraints: 13099
105.99/106.31 c #Conflicts: 138000 | #Constraints: 14099
105.99/106.31 c #Conflicts: 139000 | #Constraints: 15099
105.99/106.31 c INPROCESSING
105.99/106.31 c GARBAGE COLLECT
105.99/106.31 c #Conflicts: 140000 | #Constraints: 8703
171.12/171.60 c #Conflicts: 141000 | #Constraints: 9703
171.12/171.60 c #Conflicts: 142000 | #Constraints: 10703
171.12/171.60 c #Conflicts: 143000 | #Constraints: 11703
171.12/171.60 c #Conflicts: 144000 | #Constraints: 12703
171.12/171.60 c #Conflicts: 145000 | #Constraints: 13703
171.12/171.60 c #Conflicts: 146000 | #Constraints: 14703
171.12/171.60 c #Conflicts: 147000 | #Constraints: 15703
171.12/171.60 c INPROCESSING
171.12/171.60 c GARBAGE COLLECT
171.12/171.60 c #Conflicts: 148000 | #Constraints: 9109
171.12/171.60 c #Conflicts: 149000 | #Constraints: 10109
171.12/171.60 c #Conflicts: 150000 | #Constraints: 11109
171.12/171.60 c #Conflicts: 151000 | #Constraints: 12109
171.12/171.60 c #Conflicts: 152000 | #Constraints: 13109
171.12/171.60 c #Conflicts: 153000 | #Constraints: 14109
171.12/171.60 c #Conflicts: 154000 | #Constraints: 15109
171.12/171.60 c #Conflicts: 155000 | #Constraints: 16109
171.12/171.60 c INPROCESSING
171.12/171.60 c GARBAGE COLLECT
171.12/171.60 c #Conflicts: 156000 | #Constraints: 9318
171.12/171.60 c #Conflicts: 157000 | #Constraints: 10318
171.12/171.60 c #Conflicts: 158000 | #Constraints: 11318
171.12/171.60 c #Conflicts: 159000 | #Constraints: 12318
171.12/171.60 c #Conflicts: 160000 | #Constraints: 13318
171.12/171.60 c #Conflicts: 161000 | #Constraints: 14318
171.12/171.60 c #Conflicts: 162000 | #Constraints: 15318
171.12/171.60 c #Conflicts: 163000 | #Constraints: 16318
171.12/171.60 c INPROCESSING
171.12/171.60 c GARBAGE COLLECT
171.12/171.60 c #Conflicts: 164000 | #Constraints: 9307
171.12/171.60 c #Conflicts: 165000 | #Constraints: 10307
171.12/171.60 c #Conflicts: 166000 | #Constraints: 11307
171.12/171.60 c #Conflicts: 167000 | #Constraints: 12307
171.12/171.60 c #Conflicts: 168000 | #Constraints: 13307
171.12/171.60 c #Conflicts: 169000 | #Constraints: 14307
171.12/171.60 c #Conflicts: 170000 | #Constraints: 15307
171.12/171.60 c #Conflicts: 171000 | #Constraints: 16307
171.12/171.60 c INPROCESSING
171.12/171.60 c GARBAGE COLLECT
171.12/171.60 c #Conflicts: 172000 | #Constraints: 9106
171.12/171.60 c #Conflicts: 173000 | #Constraints: 10106
171.12/171.60 c #Conflicts: 174000 | #Constraints: 11106
171.12/171.60 c #Conflicts: 175000 | #Constraints: 12106
171.12/171.60 c #Conflicts: 176000 | #Constraints: 13106
171.12/171.60 c #Conflicts: 177000 | #Constraints: 14106
171.12/171.60 c #Conflicts: 178000 | #Constraints: 15106
171.12/171.60 c #Conflicts: 179000 | #Constraints: 16106
171.12/171.60 c #Conflicts: 180000 | #Constraints: 17106
171.12/171.60 c INPROCESSING
171.12/171.60 c GARBAGE COLLECT
171.12/171.60 c #Conflicts: 181000 | #Constraints: 9712
171.12/171.60 c #Conflicts: 182000 | #Constraints: 10712
171.12/171.60 c #Conflicts: 183000 | #Constraints: 11712
171.12/171.60 c #Conflicts: 184000 | #Constraints: 12712
171.12/171.60 c #Conflicts: 185000 | #Constraints: 13712
171.12/171.60 c #Conflicts: 186000 | #Constraints: 14712
171.12/171.60 c #Conflicts: 187000 | #Constraints: 15712
171.12/171.60 c #Conflicts: 188000 | #Constraints: 16712
171.12/171.60 c #Conflicts: 189000 | #Constraints: 17712
171.12/171.60 c INPROCESSING
171.12/171.60 c GARBAGE COLLECT
171.12/171.60 c #Conflicts: 190000 | #Constraints: 10089
171.12/171.60 c #Conflicts: 191000 | #Constraints: 11089
171.12/171.60 c #Conflicts: 192000 | #Constraints: 12089
171.12/171.60 c #Conflicts: 193000 | #Constraints: 13089
171.12/171.60 c #Conflicts: 194000 | #Constraints: 14089
171.12/171.60 c #Conflicts: 195000 | #Constraints: 15089
171.12/171.60 c #Conflicts: 196000 | #Constraints: 16089
171.12/171.60 c #Conflicts: 197000 | #Constraints: 17089
171.12/171.60 c #Conflicts: 198000 | #Constraints: 18089
171.12/171.60 c INPROCESSING
171.12/171.60 c GARBAGE COLLECT
171.12/171.60 c #Conflicts: 199000 | #Constraints: 10289
171.12/171.60 c #Conflicts: 200000 | #Constraints: 11289
171.12/171.60 c #Conflicts: 201000 | #Constraints: 12289
171.12/171.60 c #Conflicts: 202000 | #Constraints: 13289
171.12/171.60 c #Conflicts: 203000 | #Constraints: 14289
171.12/171.60 c #Conflicts: 204000 | #Constraints: 15289
171.12/171.60 c #Conflicts: 205000 | #Constraints: 16289
171.12/171.60 c #Conflicts: 206000 | #Constraints: 17289
171.12/171.60 c #Conflicts: 207000 | #Constraints: 18289
171.12/171.60 c INPROCESSING
171.12/171.60 c GARBAGE COLLECT
171.12/171.60 c #Conflicts: 208000 | #Constraints: 10283
171.12/171.60 c #Conflicts: 209000 | #Constraints: 11283
171.12/171.60 c #Conflicts: 210000 | #Constraints: 12283
171.12/171.60 c #Conflicts: 211000 | #Constraints: 13283
171.12/171.60 c #Conflicts: 212000 | #Constraints: 14283
171.12/171.60 c #Conflicts: 213000 | #Constraints: 15283
248.90/249.69 c #Conflicts: 214000 | #Constraints: 16283
248.90/249.69 c #Conflicts: 215000 | #Constraints: 17283
248.90/249.69 c #Conflicts: 216000 | #Constraints: 18283
248.90/249.69 c INPROCESSING
248.90/249.69 c GARBAGE COLLECT
248.90/249.69 c #Conflicts: 217000 | #Constraints: 10086
248.90/249.69 c #Conflicts: 218000 | #Constraints: 11086
248.90/249.69 c #Conflicts: 219000 | #Constraints: 12086
248.90/249.69 c #Conflicts: 220000 | #Constraints: 13086
248.90/249.69 c #Conflicts: 221000 | #Constraints: 14086
248.90/249.69 c #Conflicts: 222000 | #Constraints: 15086
248.90/249.69 c #Conflicts: 223000 | #Constraints: 16086
248.90/249.69 c #Conflicts: 224000 | #Constraints: 17086
248.90/249.69 c #Conflicts: 225000 | #Constraints: 18086
248.90/249.69 c #Conflicts: 226000 | #Constraints: 19086
248.90/249.69 c INPROCESSING
248.90/249.69 c GARBAGE COLLECT
248.90/249.69 c #Conflicts: 227000 | #Constraints: 10690
248.90/249.69 c #Conflicts: 228000 | #Constraints: 11690
248.90/249.69 c #Conflicts: 229000 | #Constraints: 12690
248.90/249.69 c #Conflicts: 230000 | #Constraints: 13690
248.90/249.69 c #Conflicts: 231000 | #Constraints: 14690
248.90/249.69 c #Conflicts: 232000 | #Constraints: 15690
248.90/249.69 c #Conflicts: 233000 | #Constraints: 16690
248.90/249.69 c #Conflicts: 234000 | #Constraints: 17690
248.90/249.69 c #Conflicts: 235000 | #Constraints: 18690
248.90/249.69 c #Conflicts: 236000 | #Constraints: 19690
248.90/249.69 c INPROCESSING
248.90/249.69 c GARBAGE COLLECT
248.90/249.69 c #Conflicts: 237000 | #Constraints: 11091
248.90/249.69 c #Conflicts: 238000 | #Constraints: 12091
248.90/249.69 c #Conflicts: 239000 | #Constraints: 13091
248.90/249.69 c #Conflicts: 240000 | #Constraints: 14091
248.90/249.69 c #Conflicts: 241000 | #Constraints: 15091
248.90/249.69 c #Conflicts: 242000 | #Constraints: 16091
248.90/249.69 c #Conflicts: 243000 | #Constraints: 17091
248.90/249.69 c #Conflicts: 244000 | #Constraints: 18091
248.90/249.69 c #Conflicts: 245000 | #Constraints: 19091
248.90/249.69 c #Conflicts: 246000 | #Constraints: 20091
248.90/249.69 c INPROCESSING
248.90/249.69 c GARBAGE COLLECT
248.90/249.69 c #Conflicts: 247000 | #Constraints: 11301
248.90/249.69 c #Conflicts: 248000 | #Constraints: 12301
248.90/249.69 c #Conflicts: 249000 | #Constraints: 13301
248.90/249.69 c #Conflicts: 250000 | #Constraints: 14301
248.90/249.69 c #Conflicts: 251000 | #Constraints: 15301
248.90/249.69 c #Conflicts: 252000 | #Constraints: 16301
248.90/249.69 c #Conflicts: 253000 | #Constraints: 17301
248.90/249.69 c #Conflicts: 254000 | #Constraints: 18301
248.90/249.69 c #Conflicts: 255000 | #Constraints: 19301
248.90/249.69 c #Conflicts: 256000 | #Constraints: 20301
248.90/249.69 c INPROCESSING
248.90/249.69 c GARBAGE COLLECT
248.90/249.69 c #Conflicts: 257000 | #Constraints: 11311
248.90/249.69 c #Conflicts: 258000 | #Constraints: 12311
248.90/249.69 c #Conflicts: 259000 | #Constraints: 13311
248.90/249.69 c #Conflicts: 260000 | #Constraints: 14311
248.90/249.69 c #Conflicts: 261000 | #Constraints: 15311
248.90/249.69 c #Conflicts: 262000 | #Constraints: 16311
248.90/249.69 c #Conflicts: 263000 | #Constraints: 17311
248.90/249.69 c #Conflicts: 264000 | #Constraints: 18311
248.90/249.69 c #Conflicts: 265000 | #Constraints: 19311
248.90/249.69 c #Conflicts: 266000 | #Constraints: 20311
248.90/249.69 c INPROCESSING
248.90/249.69 c GARBAGE COLLECT
248.90/249.69 c #Conflicts: 267000 | #Constraints: 11110
248.90/249.69 c #Conflicts: 268000 | #Constraints: 12110
248.90/249.69 c #Conflicts: 269000 | #Constraints: 13110
248.90/249.69 c #Conflicts: 270000 | #Constraints: 14110
248.90/249.69 c #Conflicts: 271000 | #Constraints: 15110
248.90/249.69 c #Conflicts: 272000 | #Constraints: 16110
248.90/249.69 c #Conflicts: 273000 | #Constraints: 17110
248.90/249.69 c #Conflicts: 274000 | #Constraints: 18110
248.90/249.69 c #Conflicts: 275000 | #Constraints: 19110
248.90/249.69 c #Conflicts: 276000 | #Constraints: 20110
248.90/249.69 c #Conflicts: 277000 | #Constraints: 21110
248.90/249.69 c INPROCESSING
248.90/249.69 c GARBAGE COLLECT
248.90/249.69 c #Conflicts: 278000 | #Constraints: 11713
248.90/249.69 c #Conflicts: 279000 | #Constraints: 12713
248.90/249.69 c #Conflicts: 280000 | #Constraints: 13713
248.90/249.69 c #Conflicts: 281000 | #Constraints: 14713
248.90/249.69 c #Conflicts: 282000 | #Constraints: 15713
248.90/249.69 c #Conflicts: 283000 | #Constraints: 16713
248.90/249.69 c #Conflicts: 284000 | #Constraints: 17713
248.90/249.69 c #Conflicts: 285000 | #Constraints: 18713
248.90/249.69 c #Conflicts: 286000 | #Constraints: 19713
248.90/249.69 c #Conflicts: 287000 | #Constraints: 20713
248.90/249.69 c #Conflicts: 288000 | #Constraints: 21713
332.39/333.36 c INPROCESSING
332.39/333.36 c GARBAGE COLLECT
332.39/333.36 c #Conflicts: 289000 | #Constraints: 12117
332.39/333.36 c #Conflicts: 290000 | #Constraints: 13117
332.39/333.36 c #Conflicts: 291000 | #Constraints: 14117
332.39/333.36 c #Conflicts: 292000 | #Constraints: 15117
332.39/333.36 c #Conflicts: 293000 | #Constraints: 16117
332.39/333.36 c #Conflicts: 294000 | #Constraints: 17117
332.39/333.36 c #Conflicts: 295000 | #Constraints: 18117
332.39/333.36 c #Conflicts: 296000 | #Constraints: 19117
332.39/333.36 c #Conflicts: 297000 | #Constraints: 20117
332.39/333.36 c #Conflicts: 298000 | #Constraints: 21117
332.39/333.36 c #Conflicts: 299000 | #Constraints: 22117
332.39/333.36 c INPROCESSING
332.39/333.36 c GARBAGE COLLECT
332.39/333.36 c #Conflicts: 300000 | #Constraints: 12332
332.39/333.36 c #Conflicts: 301000 | #Constraints: 13332
332.39/333.36 c #Conflicts: 302000 | #Constraints: 14332
332.39/333.36 c #Conflicts: 303000 | #Constraints: 15332
332.39/333.36 c #Conflicts: 304000 | #Constraints: 16332
332.39/333.36 c #Conflicts: 305000 | #Constraints: 17332
332.39/333.36 c #Conflicts: 306000 | #Constraints: 18332
332.39/333.36 c #Conflicts: 307000 | #Constraints: 19332
332.39/333.36 c #Conflicts: 308000 | #Constraints: 20332
332.39/333.36 c #Conflicts: 309000 | #Constraints: 21332
332.39/333.36 c #Conflicts: 310000 | #Constraints: 22332
332.39/333.36 c INPROCESSING
332.39/333.36 c GARBAGE COLLECT
332.39/333.36 c #Conflicts: 311000 | #Constraints: 12331
332.39/333.36 c #Conflicts: 312000 | #Constraints: 13331
332.39/333.36 c #Conflicts: 313000 | #Constraints: 14331
332.39/333.36 c #Conflicts: 314000 | #Constraints: 15331
332.39/333.36 c #Conflicts: 315000 | #Constraints: 16331
332.39/333.36 c #Conflicts: 316000 | #Constraints: 17331
332.39/333.36 c #Conflicts: 317000 | #Constraints: 18331
332.39/333.36 c #Conflicts: 318000 | #Constraints: 19331
332.39/333.36 c #Conflicts: 319000 | #Constraints: 20331
332.39/333.36 c #Conflicts: 320000 | #Constraints: 21331
332.39/333.36 c #Conflicts: 321000 | #Constraints: 22331
332.39/333.36 c INPROCESSING
332.39/333.36 c GARBAGE COLLECT
332.39/333.36 c #Conflicts: 322000 | #Constraints: 12096
332.39/333.36 c #Conflicts: 323000 | #Constraints: 13096
332.39/333.36 c #Conflicts: 324000 | #Constraints: 14096
332.39/333.36 c #Conflicts: 325000 | #Constraints: 15096
332.39/333.36 c #Conflicts: 326000 | #Constraints: 16096
332.39/333.36 c #Conflicts: 327000 | #Constraints: 17096
332.39/333.36 c #Conflicts: 328000 | #Constraints: 18096
332.39/333.36 c #Conflicts: 329000 | #Constraints: 19096
332.39/333.36 c #Conflicts: 330000 | #Constraints: 20096
332.39/333.36 c #Conflicts: 331000 | #Constraints: 21096
332.39/333.36 c #Conflicts: 332000 | #Constraints: 22096
332.39/333.36 c #Conflicts: 333000 | #Constraints: 23096
332.39/333.36 c INPROCESSING
332.39/333.36 c GARBAGE COLLECT
332.39/333.36 c #Conflicts: 334000 | #Constraints: 12703
332.39/333.36 c #Conflicts: 335000 | #Constraints: 13703
332.39/333.36 c #Conflicts: 336000 | #Constraints: 14703
332.39/333.36 c #Conflicts: 337000 | #Constraints: 15703
332.39/333.36 c #Conflicts: 338000 | #Constraints: 16703
332.39/333.36 c #Conflicts: 339000 | #Constraints: 17703
332.39/333.36 c #Conflicts: 340000 | #Constraints: 18703
332.39/333.36 c #Conflicts: 341000 | #Constraints: 19703
332.39/333.36 c #Conflicts: 342000 | #Constraints: 20703
332.39/333.36 c #Conflicts: 343000 | #Constraints: 21703
332.39/333.36 c #Conflicts: 344000 | #Constraints: 22703
332.39/333.36 c #Conflicts: 345000 | #Constraints: 23703
332.39/333.36 c INPROCESSING
332.39/333.36 c GARBAGE COLLECT
332.39/333.36 c #Conflicts: 346000 | #Constraints: 13110
332.39/333.36 c #Conflicts: 347000 | #Constraints: 14110
332.39/333.36 c #Conflicts: 348000 | #Constraints: 15110
332.39/333.36 c #Conflicts: 349000 | #Constraints: 16110
332.39/333.36 c #Conflicts: 350000 | #Constraints: 17110
332.39/333.36 c #Conflicts: 351000 | #Constraints: 18110
332.39/333.36 c #Conflicts: 352000 | #Constraints: 19110
332.39/333.36 c #Conflicts: 353000 | #Constraints: 20110
332.39/333.36 c #Conflicts: 354000 | #Constraints: 21110
332.39/333.36 c #Conflicts: 355000 | #Constraints: 22110
332.39/333.36 c #Conflicts: 356000 | #Constraints: 23110
332.39/333.36 c #Conflicts: 357000 | #Constraints: 24110
332.39/333.36 c INPROCESSING
332.39/333.36 c GARBAGE COLLECT
332.39/333.36 c #Conflicts: 358000 | #Constraints: 13327
332.39/333.36 c #Conflicts: 359000 | #Constraints: 14327
332.39/333.36 c #Conflicts: 360000 | #Constraints: 15327
332.39/333.36 c #Conflicts: 361000 | #Constraints: 16327
332.39/333.36 c #Conflicts: 362000 | #Constraints: 17327
421.36/422.56 c #Conflicts: 363000 | #Constraints: 18327
421.36/422.56 c #Conflicts: 364000 | #Constraints: 19327
421.36/422.56 c #Conflicts: 365000 | #Constraints: 20327
421.36/422.56 c #Conflicts: 366000 | #Constraints: 21327
421.36/422.56 c #Conflicts: 367000 | #Constraints: 22327
421.36/422.56 c #Conflicts: 368000 | #Constraints: 23327
421.36/422.56 c #Conflicts: 369000 | #Constraints: 24327
421.36/422.56 c INPROCESSING
421.36/422.56 c GARBAGE COLLECT
421.36/422.56 c #Conflicts: 370000 | #Constraints: 13326
421.36/422.56 c #Conflicts: 371000 | #Constraints: 14326
421.36/422.56 c #Conflicts: 372000 | #Constraints: 15326
421.36/422.56 c #Conflicts: 373000 | #Constraints: 16326
421.36/422.56 c #Conflicts: 374000 | #Constraints: 17326
421.36/422.56 c #Conflicts: 375000 | #Constraints: 18326
421.36/422.56 c #Conflicts: 376000 | #Constraints: 19326
421.36/422.56 c #Conflicts: 377000 | #Constraints: 20326
421.36/422.56 c #Conflicts: 378000 | #Constraints: 21326
421.36/422.56 c #Conflicts: 379000 | #Constraints: 22326
421.36/422.56 c #Conflicts: 380000 | #Constraints: 23326
421.36/422.56 c #Conflicts: 381000 | #Constraints: 24326
421.36/422.56 c INPROCESSING
421.36/422.56 c GARBAGE COLLECT
421.36/422.56 c #Conflicts: 382000 | #Constraints: 13127
421.36/422.56 c #Conflicts: 383000 | #Constraints: 14127
421.36/422.56 c #Conflicts: 384000 | #Constraints: 15127
421.36/422.56 c #Conflicts: 385000 | #Constraints: 16127
421.36/422.56 c #Conflicts: 386000 | #Constraints: 17127
421.36/422.56 c #Conflicts: 387000 | #Constraints: 18127
421.36/422.56 c #Conflicts: 388000 | #Constraints: 19127
421.36/422.56 c #Conflicts: 389000 | #Constraints: 20127
421.36/422.56 c #Conflicts: 390000 | #Constraints: 21127
421.36/422.56 c #Conflicts: 391000 | #Constraints: 22127
421.36/422.56 c #Conflicts: 392000 | #Constraints: 23127
421.36/422.56 c #Conflicts: 393000 | #Constraints: 24127
421.36/422.56 c #Conflicts: 394000 | #Constraints: 25127
421.36/422.56 c INPROCESSING
421.36/422.56 c GARBAGE COLLECT
421.36/422.56 c #Conflicts: 395000 | #Constraints: 13726
421.36/422.56 c #Conflicts: 396000 | #Constraints: 14726
421.36/422.56 c #Conflicts: 397000 | #Constraints: 15726
421.36/422.56 c #Conflicts: 398000 | #Constraints: 16726
421.36/422.56 c #Conflicts: 399000 | #Constraints: 17726
421.36/422.56 c #Conflicts: 400000 | #Constraints: 18726
421.36/422.56 c #Conflicts: 401000 | #Constraints: 19726
421.36/422.56 c #Conflicts: 402000 | #Constraints: 20726
421.36/422.56 c #Conflicts: 403000 | #Constraints: 21726
421.36/422.56 c #Conflicts: 404000 | #Constraints: 22726
421.36/422.56 c #Conflicts: 405000 | #Constraints: 23726
421.36/422.56 c #Conflicts: 406000 | #Constraints: 24726
421.36/422.56 c #Conflicts: 407000 | #Constraints: 25726
421.36/422.56 c INPROCESSING
421.36/422.56 c GARBAGE COLLECT
421.36/422.56 c #Conflicts: 408000 | #Constraints: 14115
421.36/422.56 c #Conflicts: 409000 | #Constraints: 15115
421.36/422.56 c #Conflicts: 410000 | #Constraints: 16115
421.36/422.56 c #Conflicts: 411000 | #Constraints: 17115
421.36/422.56 c #Conflicts: 412000 | #Constraints: 18115
421.36/422.56 c #Conflicts: 413000 | #Constraints: 19115
421.36/422.56 c #Conflicts: 414000 | #Constraints: 20115
421.36/422.56 c #Conflicts: 415000 | #Constraints: 21115
421.36/422.56 c #Conflicts: 416000 | #Constraints: 22115
421.36/422.56 c #Conflicts: 417000 | #Constraints: 23115
421.36/422.56 c #Conflicts: 418000 | #Constraints: 24115
421.36/422.56 c #Conflicts: 419000 | #Constraints: 25115
421.36/422.56 c #Conflicts: 420000 | #Constraints: 26115
421.36/422.56 c INPROCESSING
421.36/422.56 c GARBAGE COLLECT
421.36/422.56 c #Conflicts: 421000 | #Constraints: 14306
421.36/422.56 c #Conflicts: 422000 | #Constraints: 15306
421.36/422.56 c #Conflicts: 423000 | #Constraints: 16306
421.36/422.56 c #Conflicts: 424000 | #Constraints: 17306
421.36/422.56 c #Conflicts: 425000 | #Constraints: 18306
421.36/422.56 c #Conflicts: 426000 | #Constraints: 19306
421.36/422.56 c #Conflicts: 427000 | #Constraints: 20306
421.36/422.56 c #Conflicts: 428000 | #Constraints: 21306
421.36/422.56 c #Conflicts: 429000 | #Constraints: 22306
421.36/422.56 c #Conflicts: 430000 | #Constraints: 23306
421.36/422.56 c #Conflicts: 431000 | #Constraints: 24306
421.36/422.56 c #Conflicts: 432000 | #Constraints: 25306
421.36/422.56 c #Conflicts: 433000 | #Constraints: 26306
421.36/422.56 c INPROCESSING
421.36/422.56 c GARBAGE COLLECT
421.36/422.56 c #Conflicts: 434000 | #Constraints: 14316
421.36/422.56 c #Conflicts: 435000 | #Constraints: 15316
421.36/422.56 c #Conflicts: 436000 | #Constraints: 16316
421.36/422.56 c #Conflicts: 437000 | #Constraints: 17316
495.47/496.81 c #Conflicts: 438000 | #Constraints: 18316
495.47/496.81 c #Conflicts: 439000 | #Constraints: 19316
495.47/496.81 c #Conflicts: 440000 | #Constraints: 20316
495.47/496.81 c #Conflicts: 441000 | #Constraints: 21316
495.47/496.81 c #Conflicts: 442000 | #Constraints: 22316
495.47/496.81 c #Conflicts: 443000 | #Constraints: 23316
495.47/496.81 c #Conflicts: 444000 | #Constraints: 24316
495.47/496.81 c #Conflicts: 445000 | #Constraints: 25316
495.47/496.81 c #Conflicts: 446000 | #Constraints: 26316
495.47/496.81 c INPROCESSING
495.47/496.81 c GARBAGE COLLECT
495.47/496.81 c #Conflicts: 447000 | #Constraints: 14119
495.47/496.81 c #Conflicts: 448000 | #Constraints: 15119
495.47/496.81 c #Conflicts: 449000 | #Constraints: 16119
495.47/496.81 c #Conflicts: 450000 | #Constraints: 17119
495.47/496.81 c #Conflicts: 451000 | #Constraints: 18119
495.47/496.81 c #Conflicts: 452000 | #Constraints: 19119
495.47/496.81 c #Conflicts: 453000 | #Constraints: 20119
495.47/496.81 c #Conflicts: 454000 | #Constraints: 21119
495.47/496.81 c #Conflicts: 455000 | #Constraints: 22119
495.47/496.81 c #Conflicts: 456000 | #Constraints: 23119
495.47/496.81 c #Conflicts: 457000 | #Constraints: 24119
495.47/496.81 c #Conflicts: 458000 | #Constraints: 25119
495.47/496.81 c #Conflicts: 459000 | #Constraints: 26119
495.47/496.81 c #Conflicts: 460000 | #Constraints: 27119
495.47/496.81 c INPROCESSING
495.47/496.81 c GARBAGE COLLECT
495.47/496.81 c #Conflicts: 461000 | #Constraints: 14720
495.47/496.81 c #Conflicts: 462000 | #Constraints: 15720
495.47/496.81 c #Conflicts: 463000 | #Constraints: 16720
495.47/496.81 c #Conflicts: 464000 | #Constraints: 17720
495.47/496.81 c #Conflicts: 465000 | #Constraints: 18720
495.47/496.81 c #Conflicts: 466000 | #Constraints: 19720
495.47/496.81 c #Conflicts: 467000 | #Constraints: 20720
495.47/496.81 c #Conflicts: 468000 | #Constraints: 21720
495.47/496.81 c #Conflicts: 469000 | #Constraints: 22720
495.47/496.81 c #Conflicts: 470000 | #Constraints: 23720
495.47/496.81 c #Conflicts: 471000 | #Constraints: 24720
495.47/496.81 c #Conflicts: 472000 | #Constraints: 25720
495.47/496.81 c #Conflicts: 473000 | #Constraints: 26720
495.47/496.81 c #Conflicts: 474000 | #Constraints: 27720
495.47/496.81 c INPROCESSING
495.47/496.81 c GARBAGE COLLECT
495.47/496.81 c #Conflicts: 475000 | #Constraints: 15129
495.47/496.81 c #Conflicts: 476000 | #Constraints: 16129
495.47/496.81 c #Conflicts: 477000 | #Constraints: 17129
495.47/496.81 c #Conflicts: 478000 | #Constraints: 18129
495.47/496.81 c #Conflicts: 479000 | #Constraints: 19129
495.47/496.81 c #Conflicts: 480000 | #Constraints: 20129
495.47/496.81 c #Conflicts: 481000 | #Constraints: 21129
495.47/496.81 c #Conflicts: 482000 | #Constraints: 22129
495.47/496.81 c #Conflicts: 483000 | #Constraints: 23129
495.47/496.81 c #Conflicts: 484000 | #Constraints: 24129
495.47/496.81 c #Conflicts: 485000 | #Constraints: 25129
495.47/496.81 c #Conflicts: 486000 | #Constraints: 26129
495.47/496.81 c #Conflicts: 487000 | #Constraints: 27129
495.47/496.81 c #Conflicts: 488000 | #Constraints: 28129
495.47/496.81 c INPROCESSING
495.47/496.81 c GARBAGE COLLECT
495.47/496.81 c #Conflicts: 489000 | #Constraints: 15337
495.47/496.81 c #Conflicts: 490000 | #Constraints: 16337
495.47/496.81 c #Conflicts: 491000 | #Constraints: 17337
495.47/496.81 c #Conflicts: 492000 | #Constraints: 18337
495.47/496.81 c #Conflicts: 493000 | #Constraints: 19337
495.47/496.81 c #Conflicts: 494000 | #Constraints: 20337
495.47/496.81 c #Conflicts: 495000 | #Constraints: 21337
495.47/496.81 c #Conflicts: 496000 | #Constraints: 22337
495.47/496.81 c #Conflicts: 497000 | #Constraints: 23337
495.47/496.81 c #Conflicts: 498000 | #Constraints: 24337
495.47/496.81 c #Conflicts: 499000 | #Constraints: 25337
495.47/496.81 c #Conflicts: 500000 | #Constraints: 26337
495.47/496.81 c #Conflicts: 501000 | #Constraints: 27337
495.47/496.81 c #Conflicts: 502000 | #Constraints: 28337
495.47/496.81 c INPROCESSING
495.47/496.81 c GARBAGE COLLECT
495.47/496.81 c #Conflicts: 503000 | #Constraints: 15327
495.47/496.81 c #Conflicts: 504000 | #Constraints: 16327
495.47/496.81 c #Conflicts: 505000 | #Constraints: 17327
495.47/496.81 c #Conflicts: 506000 | #Constraints: 18327
495.47/496.81 c #Conflicts: 507000 | #Constraints: 19327
495.47/496.81 c #Conflicts: 508000 | #Constraints: 20327
495.47/496.81 c #Conflicts: 509000 | #Constraints: 21327
495.47/496.81 c #Conflicts: 510000 | #Constraints: 22327
495.47/496.81 c #Conflicts: 511000 | #Constraints: 23327
495.47/496.81 c #Conflicts: 512000 | #Constraints: 24327
495.47/496.81 c #Conflicts: 513000 | #Constraints: 25327
602.49/604.16 c #Conflicts: 514000 | #Constraints: 26327
602.49/604.16 c #Conflicts: 515000 | #Constraints: 27327
602.49/604.16 c #Conflicts: 516000 | #Constraints: 28327
602.49/604.16 c INPROCESSING
602.49/604.16 c GARBAGE COLLECT
602.49/604.16 c #Conflicts: 517000 | #Constraints: 15126
602.49/604.16 c #Conflicts: 518000 | #Constraints: 16126
602.49/604.16 c #Conflicts: 519000 | #Constraints: 17126
602.49/604.16 c #Conflicts: 520000 | #Constraints: 18126
602.49/604.16 c #Conflicts: 521000 | #Constraints: 19126
602.49/604.16 c #Conflicts: 522000 | #Constraints: 20126
602.49/604.16 c #Conflicts: 523000 | #Constraints: 21126
602.49/604.16 c #Conflicts: 524000 | #Constraints: 22126
602.49/604.16 c #Conflicts: 525000 | #Constraints: 23126
602.49/604.16 c #Conflicts: 526000 | #Constraints: 24126
602.49/604.16 c #Conflicts: 527000 | #Constraints: 25126
602.49/604.16 c #Conflicts: 528000 | #Constraints: 26126
602.49/604.16 c #Conflicts: 529000 | #Constraints: 27126
602.49/604.16 c #Conflicts: 530000 | #Constraints: 28126
602.49/604.16 c #Conflicts: 531000 | #Constraints: 29126
602.49/604.16 c INPROCESSING
602.49/604.16 c GARBAGE COLLECT
602.49/604.16 c #Conflicts: 532000 | #Constraints: 15721
602.49/604.16 c #Conflicts: 533000 | #Constraints: 16721
602.49/604.16 c #Conflicts: 534000 | #Constraints: 17721
602.49/604.16 c #Conflicts: 535000 | #Constraints: 18721
602.49/604.16 c #Conflicts: 536000 | #Constraints: 19721
602.49/604.16 c #Conflicts: 537000 | #Constraints: 20721
602.49/604.16 c #Conflicts: 538000 | #Constraints: 21721
602.49/604.16 c #Conflicts: 539000 | #Constraints: 22721
602.49/604.16 c #Conflicts: 540000 | #Constraints: 23721
602.49/604.16 c #Conflicts: 541000 | #Constraints: 24721
602.49/604.16 c #Conflicts: 542000 | #Constraints: 25721
602.49/604.16 c #Conflicts: 543000 | #Constraints: 26721
602.49/604.16 c #Conflicts: 544000 | #Constraints: 27721
602.49/604.16 c #Conflicts: 545000 | #Constraints: 28721
602.49/604.16 c #Conflicts: 546000 | #Constraints: 29721
602.49/604.16 c INPROCESSING
602.49/604.16 c GARBAGE COLLECT
602.49/604.16 c #Conflicts: 547000 | #Constraints: 16118
602.49/604.16 c #Conflicts: 548000 | #Constraints: 17118
602.49/604.16 c #Conflicts: 549000 | #Constraints: 18118
602.49/604.16 c #Conflicts: 550000 | #Constraints: 19118
602.49/604.16 c #Conflicts: 551000 | #Constraints: 20118
602.49/604.16 c #Conflicts: 552000 | #Constraints: 21118
602.49/604.16 c #Conflicts: 553000 | #Constraints: 22118
602.49/604.16 c #Conflicts: 554000 | #Constraints: 23118
602.49/604.16 c #Conflicts: 555000 | #Constraints: 24118
602.49/604.16 c #Conflicts: 556000 | #Constraints: 25118
602.49/604.16 c #Conflicts: 557000 | #Constraints: 26118
602.49/604.16 c #Conflicts: 558000 | #Constraints: 27118
602.49/604.16 c #Conflicts: 559000 | #Constraints: 28118
602.49/604.16 c #Conflicts: 560000 | #Constraints: 29118
602.49/604.16 c #Conflicts: 561000 | #Constraints: 30118
602.49/604.16 c INPROCESSING
602.49/604.16 c GARBAGE COLLECT
602.49/604.16 c #Conflicts: 562000 | #Constraints: 16337
602.49/604.16 c #Conflicts: 563000 | #Constraints: 17337
602.49/604.16 c #Conflicts: 564000 | #Constraints: 18337
602.49/604.16 c #Conflicts: 565000 | #Constraints: 19337
602.49/604.16 c #Conflicts: 566000 | #Constraints: 20337
602.49/604.16 c #Conflicts: 567000 | #Constraints: 21337
602.49/604.16 c #Conflicts: 568000 | #Constraints: 22337
602.49/604.16 c #Conflicts: 569000 | #Constraints: 23337
602.49/604.16 c #Conflicts: 570000 | #Constraints: 24337
602.49/604.16 c #Conflicts: 571000 | #Constraints: 25337
602.49/604.16 c #Conflicts: 572000 | #Constraints: 26337
602.49/604.16 c #Conflicts: 573000 | #Constraints: 27337
602.49/604.16 c #Conflicts: 574000 | #Constraints: 28337
602.49/604.16 c #Conflicts: 575000 | #Constraints: 29337
602.49/604.16 c #Conflicts: 576000 | #Constraints: 30337
602.49/604.16 c INPROCESSING
602.49/604.16 c GARBAGE COLLECT
602.49/604.16 c #Conflicts: 577000 | #Constraints: 16332
602.49/604.16 c #Conflicts: 578000 | #Constraints: 17332
602.49/604.16 c #Conflicts: 579000 | #Constraints: 18332
602.49/604.16 c #Conflicts: 580000 | #Constraints: 19332
602.49/604.16 c #Conflicts: 581000 | #Constraints: 20332
602.49/604.16 c #Conflicts: 582000 | #Constraints: 21332
602.49/604.16 c #Conflicts: 583000 | #Constraints: 22332
602.49/604.16 c #Conflicts: 584000 | #Constraints: 23332
602.49/604.16 c #Conflicts: 585000 | #Constraints: 24332
602.49/604.16 c #Conflicts: 586000 | #Constraints: 25332
602.49/604.16 c #Conflicts: 587000 | #Constraints: 26332
602.49/604.16 c #Conflicts: 588000 | #Constraints: 27332
713.60/715.53 c #Conflicts: 589000 | #Constraints: 28332
713.60/715.53 c #Conflicts: 590000 | #Constraints: 29332
713.60/715.53 c #Conflicts: 591000 | #Constraints: 30332
713.60/715.53 c INPROCESSING
713.60/715.53 c GARBAGE COLLECT
713.60/715.53 c #Conflicts: 592000 | #Constraints: 16134
713.60/715.53 c #Conflicts: 593000 | #Constraints: 17134
713.60/715.53 c #Conflicts: 594000 | #Constraints: 18134
713.60/715.53 c #Conflicts: 595000 | #Constraints: 19134
713.60/715.53 c #Conflicts: 596000 | #Constraints: 20134
713.60/715.53 c #Conflicts: 597000 | #Constraints: 21134
713.60/715.53 c #Conflicts: 598000 | #Constraints: 22134
713.60/715.53 c #Conflicts: 599000 | #Constraints: 23134
713.60/715.53 c #Conflicts: 600000 | #Constraints: 24134
713.60/715.53 c #Conflicts: 601000 | #Constraints: 25134
713.60/715.53 c #Conflicts: 602000 | #Constraints: 26134
713.60/715.53 c #Conflicts: 603000 | #Constraints: 27134
713.60/715.53 c #Conflicts: 604000 | #Constraints: 28134
713.60/715.53 c #Conflicts: 605000 | #Constraints: 29134
713.60/715.53 c #Conflicts: 606000 | #Constraints: 30134
713.60/715.53 c #Conflicts: 607000 | #Constraints: 31134
713.60/715.53 c INPROCESSING
713.60/715.53 c GARBAGE COLLECT
713.60/715.53 c #Conflicts: 608000 | #Constraints: 16722
713.60/715.53 c #Conflicts: 609000 | #Constraints: 17722
713.60/715.53 c #Conflicts: 610000 | #Constraints: 18722
713.60/715.53 c #Conflicts: 611000 | #Constraints: 19722
713.60/715.53 c #Conflicts: 612000 | #Constraints: 20722
713.60/715.53 c #Conflicts: 613000 | #Constraints: 21722
713.60/715.53 c #Conflicts: 614000 | #Constraints: 22722
713.60/715.53 c #Conflicts: 615000 | #Constraints: 23722
713.60/715.53 c #Conflicts: 616000 | #Constraints: 24722
713.60/715.53 c #Conflicts: 617000 | #Constraints: 25722
713.60/715.53 c #Conflicts: 618000 | #Constraints: 26722
713.60/715.53 c #Conflicts: 619000 | #Constraints: 27722
713.60/715.53 c #Conflicts: 620000 | #Constraints: 28722
713.60/715.53 c #Conflicts: 621000 | #Constraints: 29722
713.60/715.53 c #Conflicts: 622000 | #Constraints: 30722
713.60/715.53 c #Conflicts: 623000 | #Constraints: 31722
713.60/715.53 c INPROCESSING
713.60/715.53 c GARBAGE COLLECT
713.60/715.53 c #Conflicts: 624000 | #Constraints: 17120
713.60/715.53 c #Conflicts: 625000 | #Constraints: 18120
713.60/715.53 c #Conflicts: 626000 | #Constraints: 19120
713.60/715.53 c #Conflicts: 627000 | #Constraints: 20120
713.60/715.53 c #Conflicts: 628000 | #Constraints: 21120
713.60/715.53 c #Conflicts: 629000 | #Constraints: 22120
713.60/715.53 c #Conflicts: 630000 | #Constraints: 23120
713.60/715.53 c #Conflicts: 631000 | #Constraints: 24120
713.60/715.53 c #Conflicts: 632000 | #Constraints: 25120
713.60/715.53 c #Conflicts: 633000 | #Constraints: 26120
713.60/715.53 c #Conflicts: 634000 | #Constraints: 27120
713.60/715.53 c #Conflicts: 635000 | #Constraints: 28120
713.60/715.53 c #Conflicts: 636000 | #Constraints: 29120
713.60/715.53 c #Conflicts: 637000 | #Constraints: 30120
713.60/715.53 c #Conflicts: 638000 | #Constraints: 31120
713.60/715.53 c #Conflicts: 639000 | #Constraints: 32120
713.60/715.53 c INPROCESSING
713.60/715.53 c GARBAGE COLLECT
713.60/715.53 c #Conflicts: 640000 | #Constraints: 17303
713.60/715.53 c #Conflicts: 641000 | #Constraints: 18303
713.60/715.53 c #Conflicts: 642000 | #Constraints: 19303
713.60/715.53 c #Conflicts: 643000 | #Constraints: 20303
713.60/715.53 c #Conflicts: 644000 | #Constraints: 21303
713.60/715.53 c #Conflicts: 645000 | #Constraints: 22303
713.60/715.53 c #Conflicts: 646000 | #Constraints: 23303
713.60/715.53 c #Conflicts: 647000 | #Constraints: 24303
713.60/715.53 c #Conflicts: 648000 | #Constraints: 25303
713.60/715.53 c #Conflicts: 649000 | #Constraints: 26303
713.60/715.53 c #Conflicts: 650000 | #Constraints: 27303
713.60/715.53 c #Conflicts: 651000 | #Constraints: 28303
713.60/715.53 c #Conflicts: 652000 | #Constraints: 29303
713.60/715.53 c #Conflicts: 653000 | #Constraints: 30303
713.60/715.53 c #Conflicts: 654000 | #Constraints: 31303
713.60/715.53 c #Conflicts: 655000 | #Constraints: 32303
713.60/715.53 c INPROCESSING
713.60/715.53 c GARBAGE COLLECT
713.60/715.53 c #Conflicts: 656000 | #Constraints: 17292
713.60/715.53 c #Conflicts: 657000 | #Constraints: 18292
713.60/715.53 c #Conflicts: 658000 | #Constraints: 19292
713.60/715.53 c #Conflicts: 659000 | #Constraints: 20292
713.60/715.53 c #Conflicts: 660000 | #Constraints: 21292
713.60/715.53 c #Conflicts: 661000 | #Constraints: 22292
713.60/715.53 c #Conflicts: 662000 | #Constraints: 23292
713.60/715.53 c #Conflicts: 663000 | #Constraints: 24292
713.60/715.53 c #Conflicts: 664000 | #Constraints: 25292
818.22/820.47 c #Conflicts: 665000 | #Constraints: 26292
818.22/820.47 c #Conflicts: 666000 | #Constraints: 27292
818.22/820.47 c #Conflicts: 667000 | #Constraints: 28292
818.22/820.47 c #Conflicts: 668000 | #Constraints: 29292
818.22/820.47 c #Conflicts: 669000 | #Constraints: 30292
818.22/820.47 c #Conflicts: 670000 | #Constraints: 31292
818.22/820.47 c #Conflicts: 671000 | #Constraints: 32292
818.22/820.47 c INPROCESSING
818.22/820.47 c GARBAGE COLLECT
818.22/820.47 c #Conflicts: 672000 | #Constraints: 17092
818.22/820.47 c #Conflicts: 673000 | #Constraints: 18092
818.22/820.47 c #Conflicts: 674000 | #Constraints: 19092
818.22/820.47 c #Conflicts: 675000 | #Constraints: 20092
818.22/820.47 c #Conflicts: 676000 | #Constraints: 21092
818.22/820.47 c #Conflicts: 677000 | #Constraints: 22092
818.22/820.47 c #Conflicts: 678000 | #Constraints: 23092
818.22/820.47 c #Conflicts: 679000 | #Constraints: 24092
818.22/820.47 c #Conflicts: 680000 | #Constraints: 25092
818.22/820.47 c #Conflicts: 681000 | #Constraints: 26092
818.22/820.47 c #Conflicts: 682000 | #Constraints: 27092
818.22/820.47 c #Conflicts: 683000 | #Constraints: 28092
818.22/820.47 c #Conflicts: 684000 | #Constraints: 29092
818.22/820.47 c #Conflicts: 685000 | #Constraints: 30092
818.22/820.47 c #Conflicts: 686000 | #Constraints: 31092
818.22/820.47 c #Conflicts: 687000 | #Constraints: 32092
818.22/820.47 c #Conflicts: 688000 | #Constraints: 33092
818.22/820.47 c INPROCESSING
818.22/820.47 c GARBAGE COLLECT
818.22/820.47 c #Conflicts: 689000 | #Constraints: 17708
818.22/820.47 c #Conflicts: 690000 | #Constraints: 18708
818.22/820.47 c #Conflicts: 691000 | #Constraints: 19708
818.22/820.47 c #Conflicts: 692000 | #Constraints: 20708
818.22/820.47 c #Conflicts: 693000 | #Constraints: 21708
818.22/820.47 c #Conflicts: 694000 | #Constraints: 22708
818.22/820.47 c #Conflicts: 695000 | #Constraints: 23708
818.22/820.47 c #Conflicts: 696000 | #Constraints: 24708
818.22/820.47 c #Conflicts: 697000 | #Constraints: 25708
818.22/820.47 c #Conflicts: 698000 | #Constraints: 26708
818.22/820.47 c #Conflicts: 699000 | #Constraints: 27708
818.22/820.47 c #Conflicts: 700000 | #Constraints: 28708
818.22/820.47 c #Conflicts: 701000 | #Constraints: 29708
818.22/820.47 c #Conflicts: 702000 | #Constraints: 30708
818.22/820.47 c #Conflicts: 703000 | #Constraints: 31708
818.22/820.47 c #Conflicts: 704000 | #Constraints: 32708
818.22/820.47 c #Conflicts: 705000 | #Constraints: 33708
818.22/820.47 c INPROCESSING
818.22/820.47 c GARBAGE COLLECT
818.22/820.47 c #Conflicts: 706000 | #Constraints: 18118
818.22/820.47 c #Conflicts: 707000 | #Constraints: 19118
818.22/820.47 c #Conflicts: 708000 | #Constraints: 20118
818.22/820.47 c #Conflicts: 709000 | #Constraints: 21118
818.22/820.47 c #Conflicts: 710000 | #Constraints: 22118
818.22/820.47 c #Conflicts: 711000 | #Constraints: 23118
818.22/820.47 c #Conflicts: 712000 | #Constraints: 24118
818.22/820.47 c #Conflicts: 713000 | #Constraints: 25118
818.22/820.47 c #Conflicts: 714000 | #Constraints: 26118
818.22/820.47 c #Conflicts: 715000 | #Constraints: 27118
818.22/820.47 c #Conflicts: 716000 | #Constraints: 28118
818.22/820.47 c #Conflicts: 717000 | #Constraints: 29118
818.22/820.47 c #Conflicts: 718000 | #Constraints: 30118
818.22/820.47 c #Conflicts: 719000 | #Constraints: 31118
818.22/820.47 c #Conflicts: 720000 | #Constraints: 32118
818.22/820.47 c #Conflicts: 721000 | #Constraints: 33118
818.22/820.47 c #Conflicts: 722000 | #Constraints: 34118
818.22/820.47 c INPROCESSING
818.22/820.47 c GARBAGE COLLECT
818.22/820.47 c #Conflicts: 723000 | #Constraints: 18323
818.22/820.47 c #Conflicts: 724000 | #Constraints: 19323
818.22/820.47 c #Conflicts: 725000 | #Constraints: 20323
818.22/820.47 c #Conflicts: 726000 | #Constraints: 21323
818.22/820.47 c #Conflicts: 727000 | #Constraints: 22323
818.22/820.47 c #Conflicts: 728000 | #Constraints: 23323
818.22/820.47 c #Conflicts: 729000 | #Constraints: 24323
818.22/820.47 c #Conflicts: 730000 | #Constraints: 25323
818.22/820.47 c #Conflicts: 731000 | #Constraints: 26323
818.22/820.47 c #Conflicts: 732000 | #Constraints: 27323
818.22/820.47 c #Conflicts: 733000 | #Constraints: 28323
818.22/820.47 c #Conflicts: 734000 | #Constraints: 29323
818.22/820.47 c #Conflicts: 735000 | #Constraints: 30323
818.22/820.47 c #Conflicts: 736000 | #Constraints: 31323
818.22/820.47 c #Conflicts: 737000 | #Constraints: 32323
818.22/820.47 c #Conflicts: 738000 | #Constraints: 33323
818.22/820.47 c #Conflicts: 739000 | #Constraints: 34323
818.22/820.47 c INPROCESSING
818.22/820.47 c GARBAGE COLLECT
938.62/941.13 c #Conflicts: 740000 | #Constraints: 18321
938.62/941.13 c #Conflicts: 741000 | #Constraints: 19321
938.62/941.13 c #Conflicts: 742000 | #Constraints: 20321
938.62/941.13 c #Conflicts: 743000 | #Constraints: 21321
938.62/941.13 c #Conflicts: 744000 | #Constraints: 22321
938.62/941.13 c #Conflicts: 745000 | #Constraints: 23321
938.62/941.13 c #Conflicts: 746000 | #Constraints: 24321
938.62/941.13 c #Conflicts: 747000 | #Constraints: 25321
938.62/941.13 c #Conflicts: 748000 | #Constraints: 26321
938.62/941.13 c #Conflicts: 749000 | #Constraints: 27321
938.62/941.13 c #Conflicts: 750000 | #Constraints: 28321
938.62/941.13 c #Conflicts: 751000 | #Constraints: 29321
938.62/941.13 c #Conflicts: 752000 | #Constraints: 30321
938.62/941.13 c #Conflicts: 753000 | #Constraints: 31321
938.62/941.13 c #Conflicts: 754000 | #Constraints: 32321
938.62/941.13 c #Conflicts: 755000 | #Constraints: 33321
938.62/941.13 c #Conflicts: 756000 | #Constraints: 34321
938.62/941.13 c INPROCESSING
938.62/941.13 c GARBAGE COLLECT
938.62/941.13 c #Conflicts: 757000 | #Constraints: 18119
938.62/941.13 c #Conflicts: 758000 | #Constraints: 19119
938.62/941.13 c #Conflicts: 759000 | #Constraints: 20119
938.62/941.13 c #Conflicts: 760000 | #Constraints: 21119
938.62/941.13 c #Conflicts: 761000 | #Constraints: 22119
938.62/941.13 c #Conflicts: 762000 | #Constraints: 23119
938.62/941.13 c #Conflicts: 763000 | #Constraints: 24119
938.62/941.13 c #Conflicts: 764000 | #Constraints: 25119
938.62/941.13 c #Conflicts: 765000 | #Constraints: 26119
938.62/941.13 c #Conflicts: 766000 | #Constraints: 27119
938.62/941.13 c #Conflicts: 767000 | #Constraints: 28119
938.62/941.13 c #Conflicts: 768000 | #Constraints: 29119
938.62/941.13 c #Conflicts: 769000 | #Constraints: 30119
938.62/941.13 c #Conflicts: 770000 | #Constraints: 31119
938.62/941.13 c #Conflicts: 771000 | #Constraints: 32119
938.62/941.13 c #Conflicts: 772000 | #Constraints: 33119
938.62/941.13 c #Conflicts: 773000 | #Constraints: 34119
938.62/941.13 c #Conflicts: 774000 | #Constraints: 35119
938.62/941.13 c INPROCESSING
938.62/941.13 c GARBAGE COLLECT
938.62/941.13 c #Conflicts: 775000 | #Constraints: 18710
938.62/941.13 c #Conflicts: 776000 | #Constraints: 19710
938.62/941.13 c #Conflicts: 777000 | #Constraints: 20710
938.62/941.13 c #Conflicts: 778000 | #Constraints: 21710
938.62/941.13 c #Conflicts: 779000 | #Constraints: 22710
938.62/941.13 c #Conflicts: 780000 | #Constraints: 23710
938.62/941.13 c #Conflicts: 781000 | #Constraints: 24710
938.62/941.13 c #Conflicts: 782000 | #Constraints: 25710
938.62/941.13 c #Conflicts: 783000 | #Constraints: 26710
938.62/941.13 c #Conflicts: 784000 | #Constraints: 27710
938.62/941.13 c #Conflicts: 785000 | #Constraints: 28710
938.62/941.13 c #Conflicts: 786000 | #Constraints: 29710
938.62/941.13 c #Conflicts: 787000 | #Constraints: 30710
938.62/941.13 c #Conflicts: 788000 | #Constraints: 31710
938.62/941.13 c #Conflicts: 789000 | #Constraints: 32710
938.62/941.13 c #Conflicts: 790000 | #Constraints: 33710
938.62/941.13 c #Conflicts: 791000 | #Constraints: 34710
938.62/941.13 c #Conflicts: 792000 | #Constraints: 35710
938.62/941.13 c INPROCESSING
938.62/941.13 c GARBAGE COLLECT
938.62/941.13 c #Conflicts: 793000 | #Constraints: 19118
938.62/941.13 c #Conflicts: 794000 | #Constraints: 20118
938.62/941.13 c #Conflicts: 795000 | #Constraints: 21118
938.62/941.13 c #Conflicts: 796000 | #Constraints: 22118
938.62/941.13 c #Conflicts: 797000 | #Constraints: 23118
938.62/941.13 c #Conflicts: 798000 | #Constraints: 24118
938.62/941.13 c #Conflicts: 799000 | #Constraints: 25118
938.62/941.13 c #Conflicts: 800000 | #Constraints: 26118
938.62/941.13 c #Conflicts: 801000 | #Constraints: 27118
938.62/941.13 c #Conflicts: 802000 | #Constraints: 28118
938.62/941.13 c #Conflicts: 803000 | #Constraints: 29118
938.62/941.13 c #Conflicts: 804000 | #Constraints: 30118
938.62/941.13 c #Conflicts: 805000 | #Constraints: 31118
938.62/941.13 c #Conflicts: 806000 | #Constraints: 32118
938.62/941.13 c #Conflicts: 807000 | #Constraints: 33118
938.62/941.13 c #Conflicts: 808000 | #Constraints: 34118
938.62/941.13 c #Conflicts: 809000 | #Constraints: 35118
938.62/941.13 c #Conflicts: 810000 | #Constraints: 36118
938.62/941.13 c INPROCESSING
938.62/941.13 c GARBAGE COLLECT
938.62/941.13 c #Conflicts: 811000 | #Constraints: 19319
938.62/941.13 c #Conflicts: 812000 | #Constraints: 20319
938.62/941.13 c #Conflicts: 813000 | #Constraints: 21319
938.62/941.13 c #Conflicts: 814000 | #Constraints: 22319
938.62/941.13 c #Conflicts: 815000 | #Constraints: 23319
938.62/941.13 c #Conflicts: 816000 | #Constraints: 24319
1056.10/1059.00 c #Conflicts: 817000 | #Constraints: 25319
1056.10/1059.00 c #Conflicts: 818000 | #Constraints: 26319
1056.10/1059.00 c #Conflicts: 819000 | #Constraints: 27319
1056.10/1059.00 c #Conflicts: 820000 | #Constraints: 28319
1056.10/1059.00 c #Conflicts: 821000 | #Constraints: 29319
1056.10/1059.00 c #Conflicts: 822000 | #Constraints: 30319
1056.10/1059.00 c #Conflicts: 823000 | #Constraints: 31319
1056.10/1059.00 c #Conflicts: 824000 | #Constraints: 32319
1056.10/1059.00 c #Conflicts: 825000 | #Constraints: 33319
1056.10/1059.00 c #Conflicts: 826000 | #Constraints: 34319
1056.10/1059.00 c #Conflicts: 827000 | #Constraints: 35319
1056.10/1059.00 c #Conflicts: 828000 | #Constraints: 36319
1056.10/1059.00 c INPROCESSING
1056.10/1059.00 c GARBAGE COLLECT
1056.10/1059.00 c #Conflicts: 829000 | #Constraints: 19321
1056.10/1059.00 c #Conflicts: 830000 | #Constraints: 20321
1056.10/1059.00 c #Conflicts: 831000 | #Constraints: 21321
1056.10/1059.00 c #Conflicts: 832000 | #Constraints: 22321
1056.10/1059.00 c #Conflicts: 833000 | #Constraints: 23321
1056.10/1059.00 c #Conflicts: 834000 | #Constraints: 24321
1056.10/1059.00 c #Conflicts: 835000 | #Constraints: 25321
1056.10/1059.00 c #Conflicts: 836000 | #Constraints: 26321
1056.10/1059.00 c #Conflicts: 837000 | #Constraints: 27321
1056.10/1059.00 c #Conflicts: 838000 | #Constraints: 28321
1056.10/1059.00 c #Conflicts: 839000 | #Constraints: 29321
1056.10/1059.00 c #Conflicts: 840000 | #Constraints: 30321
1056.10/1059.00 c #Conflicts: 841000 | #Constraints: 31321
1056.10/1059.00 c #Conflicts: 842000 | #Constraints: 32321
1056.10/1059.00 c #Conflicts: 843000 | #Constraints: 33321
1056.10/1059.00 c #Conflicts: 844000 | #Constraints: 34321
1056.10/1059.00 c #Conflicts: 845000 | #Constraints: 35321
1056.10/1059.00 c #Conflicts: 846000 | #Constraints: 36321
1056.10/1059.00 c INPROCESSING
1056.10/1059.00 c GARBAGE COLLECT
1056.10/1059.00 c #Conflicts: 847000 | #Constraints: 19131
1056.10/1059.00 c #Conflicts: 848000 | #Constraints: 20131
1056.10/1059.00 c #Conflicts: 849000 | #Constraints: 21131
1056.10/1059.00 c #Conflicts: 850000 | #Constraints: 22131
1056.10/1059.00 c #Conflicts: 851000 | #Constraints: 23131
1056.10/1059.00 c #Conflicts: 852000 | #Constraints: 24131
1056.10/1059.00 c #Conflicts: 853000 | #Constraints: 25131
1056.10/1059.00 c #Conflicts: 854000 | #Constraints: 26131
1056.20/1059.00 c #Conflicts: 855000 | #Constraints: 27131
1056.20/1059.00 c #Conflicts: 856000 | #Constraints: 28131
1056.20/1059.00 c #Conflicts: 857000 | #Constraints: 29131
1056.20/1059.00 c #Conflicts: 858000 | #Constraints: 30131
1056.20/1059.00 c #Conflicts: 859000 | #Constraints: 31131
1056.20/1059.00 c #Conflicts: 860000 | #Constraints: 32131
1056.20/1059.00 c #Conflicts: 861000 | #Constraints: 33131
1056.20/1059.00 c #Conflicts: 862000 | #Constraints: 34131
1056.20/1059.00 c #Conflicts: 863000 | #Constraints: 35131
1056.20/1059.00 c #Conflicts: 864000 | #Constraints: 36131
1056.20/1059.00 c #Conflicts: 865000 | #Constraints: 37131
1056.20/1059.00 c INPROCESSING
1056.20/1059.00 c GARBAGE COLLECT
1056.20/1059.00 c #Conflicts: 866000 | #Constraints: 19726
1056.20/1059.00 c #Conflicts: 867000 | #Constraints: 20726
1056.20/1059.00 c #Conflicts: 868000 | #Constraints: 21726
1056.20/1059.00 c #Conflicts: 869000 | #Constraints: 22726
1056.20/1059.00 c #Conflicts: 870000 | #Constraints: 23726
1056.20/1059.00 c #Conflicts: 871000 | #Constraints: 24726
1056.20/1059.00 c #Conflicts: 872000 | #Constraints: 25726
1056.20/1059.00 c #Conflicts: 873000 | #Constraints: 26726
1056.20/1059.00 c #Conflicts: 874000 | #Constraints: 27726
1056.20/1059.00 c #Conflicts: 875000 | #Constraints: 28726
1056.20/1059.00 c #Conflicts: 876000 | #Constraints: 29726
1056.20/1059.00 c #Conflicts: 877000 | #Constraints: 30726
1056.20/1059.00 c #Conflicts: 878000 | #Constraints: 31726
1056.20/1059.00 c #Conflicts: 879000 | #Constraints: 32726
1056.20/1059.00 c #Conflicts: 880000 | #Constraints: 33726
1056.20/1059.00 c #Conflicts: 881000 | #Constraints: 34726
1056.20/1059.00 c #Conflicts: 882000 | #Constraints: 35726
1056.20/1059.00 c #Conflicts: 883000 | #Constraints: 36726
1056.20/1059.00 c #Conflicts: 884000 | #Constraints: 37726
1056.20/1059.00 c INPROCESSING
1056.20/1059.00 c GARBAGE COLLECT
1056.20/1059.00 c #Conflicts: 885000 | #Constraints: 20136
1056.20/1059.00 c #Conflicts: 886000 | #Constraints: 21136
1056.20/1059.00 c #Conflicts: 887000 | #Constraints: 22136
1056.20/1059.00 c #Conflicts: 888000 | #Constraints: 23136
1056.20/1059.00 c #Conflicts: 889000 | #Constraints: 24136
1056.20/1059.00 c #Conflicts: 890000 | #Constraints: 25136
1056.20/1059.00 c #Conflicts: 891000 | #Constraints: 26136
1056.20/1059.00 c #Conflicts: 892000 | #Constraints: 27136
1173.98/1177.15 c #Conflicts: 893000 | #Constraints: 28136
1173.98/1177.15 c #Conflicts: 894000 | #Constraints: 29136
1173.98/1177.15 c #Conflicts: 895000 | #Constraints: 30136
1173.98/1177.15 c #Conflicts: 896000 | #Constraints: 31136
1173.98/1177.15 c #Conflicts: 897000 | #Constraints: 32136
1173.98/1177.15 c #Conflicts: 898000 | #Constraints: 33136
1173.98/1177.15 c #Conflicts: 899000 | #Constraints: 34136
1173.98/1177.15 c #Conflicts: 900000 | #Constraints: 35136
1173.98/1177.15 c #Conflicts: 901000 | #Constraints: 36136
1173.98/1177.15 c #Conflicts: 902000 | #Constraints: 37136
1173.98/1177.15 c #Conflicts: 903000 | #Constraints: 38136
1173.98/1177.15 c INPROCESSING
1173.98/1177.15 c GARBAGE COLLECT
1173.98/1177.15 c #Conflicts: 904000 | #Constraints: 20344
1173.98/1177.15 c #Conflicts: 905000 | #Constraints: 21344
1173.98/1177.15 c #Conflicts: 906000 | #Constraints: 22344
1173.98/1177.15 c #Conflicts: 907000 | #Constraints: 23344
1173.98/1177.15 c #Conflicts: 908000 | #Constraints: 24344
1173.98/1177.15 c #Conflicts: 909000 | #Constraints: 25344
1173.98/1177.15 c #Conflicts: 910000 | #Constraints: 26344
1173.98/1177.15 c #Conflicts: 911000 | #Constraints: 27344
1173.98/1177.15 c #Conflicts: 912000 | #Constraints: 28344
1173.98/1177.15 c #Conflicts: 913000 | #Constraints: 29344
1173.98/1177.15 c #Conflicts: 914000 | #Constraints: 30344
1173.98/1177.15 c #Conflicts: 915000 | #Constraints: 31344
1173.98/1177.15 c #Conflicts: 916000 | #Constraints: 32344
1173.98/1177.15 c #Conflicts: 917000 | #Constraints: 33344
1173.98/1177.15 c #Conflicts: 918000 | #Constraints: 34344
1173.98/1177.15 c #Conflicts: 919000 | #Constraints: 35344
1173.98/1177.15 c #Conflicts: 920000 | #Constraints: 36344
1173.98/1177.15 c #Conflicts: 921000 | #Constraints: 37344
1173.98/1177.15 c #Conflicts: 922000 | #Constraints: 38344
1173.98/1177.15 c INPROCESSING
1173.98/1177.15 c GARBAGE COLLECT
1173.98/1177.15 c #Conflicts: 923000 | #Constraints: 20333
1173.98/1177.15 c #Conflicts: 924000 | #Constraints: 21333
1173.98/1177.15 c #Conflicts: 925000 | #Constraints: 22333
1173.98/1177.15 c #Conflicts: 926000 | #Constraints: 23333
1173.98/1177.15 c #Conflicts: 927000 | #Constraints: 24333
1173.98/1177.15 c #Conflicts: 928000 | #Constraints: 25333
1173.98/1177.15 c #Conflicts: 929000 | #Constraints: 26333
1173.98/1177.15 c #Conflicts: 930000 | #Constraints: 27333
1173.98/1177.15 c #Conflicts: 931000 | #Constraints: 28333
1173.98/1177.15 c #Conflicts: 932000 | #Constraints: 29333
1173.98/1177.15 c #Conflicts: 933000 | #Constraints: 30333
1173.98/1177.15 c #Conflicts: 934000 | #Constraints: 31333
1173.98/1177.15 c #Conflicts: 935000 | #Constraints: 32333
1173.98/1177.15 c #Conflicts: 936000 | #Constraints: 33333
1173.98/1177.15 c #Conflicts: 937000 | #Constraints: 34333
1173.98/1177.15 c #Conflicts: 938000 | #Constraints: 35333
1173.98/1177.15 c #Conflicts: 939000 | #Constraints: 36333
1173.98/1177.15 c #Conflicts: 940000 | #Constraints: 37333
1173.98/1177.15 c #Conflicts: 941000 | #Constraints: 38333
1173.98/1177.15 c INPROCESSING
1173.98/1177.15 c GARBAGE COLLECT
1173.98/1177.15 c #Conflicts: 942000 | #Constraints: 20129
1173.98/1177.15 c #Conflicts: 943000 | #Constraints: 21129
1173.98/1177.15 c #Conflicts: 944000 | #Constraints: 22129
1173.98/1177.15 c #Conflicts: 945000 | #Constraints: 23129
1173.98/1177.15 c #Conflicts: 946000 | #Constraints: 24129
1173.98/1177.15 c #Conflicts: 947000 | #Constraints: 25129
1173.98/1177.15 c #Conflicts: 948000 | #Constraints: 26129
1173.98/1177.15 c #Conflicts: 949000 | #Constraints: 27129
1173.98/1177.15 c #Conflicts: 950000 | #Constraints: 28129
1173.98/1177.15 c #Conflicts: 951000 | #Constraints: 29129
1173.98/1177.15 c #Conflicts: 952000 | #Constraints: 30129
1173.98/1177.15 c #Conflicts: 953000 | #Constraints: 31129
1173.98/1177.15 c #Conflicts: 954000 | #Constraints: 32129
1173.98/1177.15 c #Conflicts: 955000 | #Constraints: 33129
1173.98/1177.15 c #Conflicts: 956000 | #Constraints: 34129
1173.98/1177.15 c #Conflicts: 957000 | #Constraints: 35129
1173.98/1177.15 c #Conflicts: 958000 | #Constraints: 36129
1173.98/1177.15 c #Conflicts: 959000 | #Constraints: 37129
1173.98/1177.15 c #Conflicts: 960000 | #Constraints: 38129
1173.98/1177.15 c #Conflicts: 961000 | #Constraints: 39129
1173.98/1177.15 c INPROCESSING
1173.98/1177.15 c GARBAGE COLLECT
1173.98/1177.15 c #Conflicts: 962000 | #Constraints: 20701
1173.98/1177.15 c #Conflicts: 963000 | #Constraints: 21701
1173.98/1177.15 c #Conflicts: 964000 | #Constraints: 22701
1173.98/1177.15 c #Conflicts: 965000 | #Constraints: 23701
1173.98/1177.15 c #Conflicts: 966000 | #Constraints: 24701
1173.98/1177.15 c #Conflicts: 967000 | #Constraints: 25701
1173.98/1177.15 c #Conflicts: 968000 | #Constraints: 26701
1265.84/1269.21 c #Conflicts: 969000 | #Constraints: 27701
1265.84/1269.21 c #Conflicts: 970000 | #Constraints: 28701
1265.84/1269.21 c #Conflicts: 971000 | #Constraints: 29701
1265.84/1269.21 c #Conflicts: 972000 | #Constraints: 30701
1265.84/1269.21 c #Conflicts: 973000 | #Constraints: 31701
1265.84/1269.21 c #Conflicts: 974000 | #Constraints: 32701
1265.84/1269.21 c #Conflicts: 975000 | #Constraints: 33701
1265.84/1269.21 c #Conflicts: 976000 | #Constraints: 34701
1265.84/1269.21 c #Conflicts: 977000 | #Constraints: 35701
1265.84/1269.21 c #Conflicts: 978000 | #Constraints: 36701
1265.84/1269.21 c #Conflicts: 979000 | #Constraints: 37701
1265.84/1269.21 c #Conflicts: 980000 | #Constraints: 38701
1265.84/1269.21 c #Conflicts: 981000 | #Constraints: 39701
1265.84/1269.21 c INPROCESSING
1265.84/1269.21 c GARBAGE COLLECT
1265.84/1269.21 c #Conflicts: 982000 | #Constraints: 21105
1265.84/1269.21 c #Conflicts: 983000 | #Constraints: 22105
1265.84/1269.21 c #Conflicts: 984000 | #Constraints: 23105
1265.84/1269.21 c #Conflicts: 985000 | #Constraints: 24105
1265.84/1269.21 c #Conflicts: 986000 | #Constraints: 25105
1265.84/1269.21 c #Conflicts: 987000 | #Constraints: 26105
1265.84/1269.21 c #Conflicts: 988000 | #Constraints: 27105
1265.84/1269.21 c #Conflicts: 989000 | #Constraints: 28105
1265.84/1269.21 c #Conflicts: 990000 | #Constraints: 29105
1265.84/1269.21 c #Conflicts: 991000 | #Constraints: 30105
1265.84/1269.21 c #Conflicts: 992000 | #Constraints: 31105
1265.84/1269.21 c #Conflicts: 993000 | #Constraints: 32105
1265.84/1269.21 c #Conflicts: 994000 | #Constraints: 33105
1265.84/1269.21 c #Conflicts: 995000 | #Constraints: 34105
1265.84/1269.21 c #Conflicts: 996000 | #Constraints: 35105
1265.84/1269.21 c #Conflicts: 997000 | #Constraints: 36105
1265.84/1269.21 c #Conflicts: 998000 | #Constraints: 37105
1265.84/1269.21 c #Conflicts: 999000 | #Constraints: 38105
1265.84/1269.21 c #Conflicts: 1000000 | #Constraints: 39105
1265.84/1269.21 c #Conflicts: 1001000 | #Constraints: 40105
1265.84/1269.21 c INPROCESSING
1265.84/1269.21 c GARBAGE COLLECT
1265.84/1269.21 c #Conflicts: 1002000 | #Constraints: 21311
1265.84/1269.21 c #Conflicts: 1003000 | #Constraints: 22311
1265.84/1269.21 c #Conflicts: 1004000 | #Constraints: 23311
1265.84/1269.21 c #Conflicts: 1005000 | #Constraints: 24311
1265.84/1269.21 c #Conflicts: 1006000 | #Constraints: 25311
1265.84/1269.21 c #Conflicts: 1007000 | #Constraints: 26311
1265.84/1269.21 c #Conflicts: 1008000 | #Constraints: 27311
1265.84/1269.21 c #Conflicts: 1009000 | #Constraints: 28311
1265.84/1269.21 c #Conflicts: 1010000 | #Constraints: 29311
1265.84/1269.21 c #Conflicts: 1011000 | #Constraints: 30311
1265.84/1269.21 c #Conflicts: 1012000 | #Constraints: 31311
1265.84/1269.21 c #Conflicts: 1013000 | #Constraints: 32311
1265.84/1269.21 c #Conflicts: 1014000 | #Constraints: 33311
1265.84/1269.21 c #Conflicts: 1015000 | #Constraints: 34311
1265.84/1269.21 c #Conflicts: 1016000 | #Constraints: 35311
1265.84/1269.21 c #Conflicts: 1017000 | #Constraints: 36311
1265.84/1269.21 c #Conflicts: 1018000 | #Constraints: 37311
1265.84/1269.21 c #Conflicts: 1019000 | #Constraints: 38311
1265.84/1269.21 c #Conflicts: 1020000 | #Constraints: 39311
1265.84/1269.21 c #Conflicts: 1021000 | #Constraints: 40311
1265.84/1269.21 c INPROCESSING
1265.84/1269.21 c GARBAGE COLLECT
1265.84/1269.21 c #Conflicts: 1022000 | #Constraints: 21314
1265.84/1269.21 c #Conflicts: 1023000 | #Constraints: 22314
1265.84/1269.21 c #Conflicts: 1024000 | #Constraints: 23314
1265.84/1269.21 c #Conflicts: 1025000 | #Constraints: 24314
1265.84/1269.21 c #Conflicts: 1026000 | #Constraints: 25314
1265.84/1269.21 c #Conflicts: 1027000 | #Constraints: 26314
1265.84/1269.21 c #Conflicts: 1028000 | #Constraints: 27314
1265.84/1269.21 c #Conflicts: 1029000 | #Constraints: 28314
1265.84/1269.21 c #Conflicts: 1030000 | #Constraints: 29314
1265.84/1269.21 c #Conflicts: 1031000 | #Constraints: 30314
1265.84/1269.21 c #Conflicts: 1032000 | #Constraints: 31314
1265.84/1269.21 c #Conflicts: 1033000 | #Constraints: 32314
1265.84/1269.21 c #Conflicts: 1034000 | #Constraints: 33314
1265.84/1269.21 c #Conflicts: 1035000 | #Constraints: 34314
1265.84/1269.21 c #Conflicts: 1036000 | #Constraints: 35314
1265.84/1269.21 c #Conflicts: 1037000 | #Constraints: 36314
1265.84/1269.21 c #Conflicts: 1038000 | #Constraints: 37314
1265.84/1269.21 c #Conflicts: 1039000 | #Constraints: 38314
1265.84/1269.21 c #Conflicts: 1040000 | #Constraints: 39314
1265.84/1269.21 c #Conflicts: 1041000 | #Constraints: 40314
1265.84/1269.21 c INPROCESSING
1265.84/1269.21 c GARBAGE COLLECT
1265.84/1269.21 c #Conflicts: 1042000 | #Constraints: 21114
1265.84/1269.21 c #Conflicts: 1043000 | #Constraints: 22114
1265.84/1269.21 c #Conflicts: 1044000 | #Constraints: 23114
1359.09/1362.79 c #Conflicts: 1045000 | #Constraints: 24114
1359.09/1362.79 c #Conflicts: 1046000 | #Constraints: 25114
1359.09/1362.79 c #Conflicts: 1047000 | #Constraints: 26114
1359.09/1362.79 c #Conflicts: 1048000 | #Constraints: 27114
1359.09/1362.79 c #Conflicts: 1049000 | #Constraints: 28114
1359.09/1362.79 c #Conflicts: 1050000 | #Constraints: 29114
1359.09/1362.79 c #Conflicts: 1051000 | #Constraints: 30114
1359.09/1362.79 c #Conflicts: 1052000 | #Constraints: 31114
1359.09/1362.79 c #Conflicts: 1053000 | #Constraints: 32114
1359.09/1362.79 c #Conflicts: 1054000 | #Constraints: 33114
1359.09/1362.79 c #Conflicts: 1055000 | #Constraints: 34114
1359.09/1362.79 c #Conflicts: 1056000 | #Constraints: 35114
1359.09/1362.79 c #Conflicts: 1057000 | #Constraints: 36114
1359.09/1362.79 c #Conflicts: 1058000 | #Constraints: 37114
1359.09/1362.79 c #Conflicts: 1059000 | #Constraints: 38114
1359.09/1362.79 c #Conflicts: 1060000 | #Constraints: 39114
1359.09/1362.79 c #Conflicts: 1061000 | #Constraints: 40114
1359.09/1362.79 c #Conflicts: 1062000 | #Constraints: 41114
1359.09/1362.79 c INPROCESSING
1359.09/1362.79 c GARBAGE COLLECT
1359.09/1362.79 c #Conflicts: 1063000 | #Constraints: 21714
1359.09/1362.79 c #Conflicts: 1064000 | #Constraints: 22714
1359.09/1362.79 c #Conflicts: 1065000 | #Constraints: 23714
1359.09/1362.79 c #Conflicts: 1066000 | #Constraints: 24714
1359.09/1362.79 c #Conflicts: 1067000 | #Constraints: 25714
1359.09/1362.79 c #Conflicts: 1068000 | #Constraints: 26714
1359.09/1362.79 c #Conflicts: 1069000 | #Constraints: 27714
1359.09/1362.79 c #Conflicts: 1070000 | #Constraints: 28714
1359.09/1362.79 c #Conflicts: 1071000 | #Constraints: 29714
1359.09/1362.79 c #Conflicts: 1072000 | #Constraints: 30714
1359.09/1362.79 c #Conflicts: 1073000 | #Constraints: 31714
1359.09/1362.79 c #Conflicts: 1074000 | #Constraints: 32714
1359.09/1362.79 c #Conflicts: 1075000 | #Constraints: 33714
1359.09/1362.79 c #Conflicts: 1076000 | #Constraints: 34714
1359.09/1362.79 c #Conflicts: 1077000 | #Constraints: 35714
1359.09/1362.79 c #Conflicts: 1078000 | #Constraints: 36714
1359.09/1362.79 c #Conflicts: 1079000 | #Constraints: 37714
1359.09/1362.79 c #Conflicts: 1080000 | #Constraints: 38714
1359.09/1362.79 c #Conflicts: 1081000 | #Constraints: 39714
1359.09/1362.79 c #Conflicts: 1082000 | #Constraints: 40714
1359.09/1362.79 c #Conflicts: 1083000 | #Constraints: 41714
1359.09/1362.79 c INPROCESSING
1359.09/1362.79 c GARBAGE COLLECT
1359.09/1362.79 c #Conflicts: 1084000 | #Constraints: 22126
1359.09/1362.79 c #Conflicts: 1085000 | #Constraints: 23126
1359.09/1362.79 c #Conflicts: 1086000 | #Constraints: 24126
1359.09/1362.79 c #Conflicts: 1087000 | #Constraints: 25126
1359.09/1362.79 c #Conflicts: 1088000 | #Constraints: 26126
1359.09/1362.79 c #Conflicts: 1089000 | #Constraints: 27126
1359.09/1362.79 c #Conflicts: 1090000 | #Constraints: 28126
1359.09/1362.79 c #Conflicts: 1091000 | #Constraints: 29126
1359.09/1362.79 c #Conflicts: 1092000 | #Constraints: 30126
1359.09/1362.79 c #Conflicts: 1093000 | #Constraints: 31126
1359.09/1362.79 c #Conflicts: 1094000 | #Constraints: 32126
1359.09/1362.79 c #Conflicts: 1095000 | #Constraints: 33126
1359.09/1362.79 c #Conflicts: 1096000 | #Constraints: 34126
1359.09/1362.79 c #Conflicts: 1097000 | #Constraints: 35126
1359.09/1362.79 c #Conflicts: 1098000 | #Constraints: 36126
1359.09/1362.79 c #Conflicts: 1099000 | #Constraints: 37126
1359.09/1362.79 c #Conflicts: 1100000 | #Constraints: 38126
1359.09/1362.79 c #Conflicts: 1101000 | #Constraints: 39126
1359.09/1362.79 c #Conflicts: 1102000 | #Constraints: 40126
1359.09/1362.79 c #Conflicts: 1103000 | #Constraints: 41126
1359.09/1362.79 c #Conflicts: 1104000 | #Constraints: 42126
1359.09/1362.79 c INPROCESSING
1359.09/1362.79 c GARBAGE COLLECT
1359.09/1362.79 c #Conflicts: 1105000 | #Constraints: 22304
1359.09/1362.79 c #Conflicts: 1106000 | #Constraints: 23304
1359.09/1362.79 c #Conflicts: 1107000 | #Constraints: 24304
1359.09/1362.79 c #Conflicts: 1108000 | #Constraints: 25304
1359.09/1362.79 c #Conflicts: 1109000 | #Constraints: 26304
1359.09/1362.79 c #Conflicts: 1110000 | #Constraints: 27304
1359.09/1362.79 c #Conflicts: 1111000 | #Constraints: 28304
1359.09/1362.79 c #Conflicts: 1112000 | #Constraints: 29304
1359.09/1362.79 c #Conflicts: 1113000 | #Constraints: 30304
1359.09/1362.79 c #Conflicts: 1114000 | #Constraints: 31304
1359.09/1362.79 c #Conflicts: 1115000 | #Constraints: 32304
1359.09/1362.79 c #Conflicts: 1116000 | #Constraints: 33304
1359.09/1362.79 c #Conflicts: 1117000 | #Constraints: 34304
1359.09/1362.79 c #Conflicts: 1118000 | #Constraints: 35304
1359.09/1362.79 c #Conflicts: 1119000 | #Constraints: 36304
1359.09/1362.79 c #Conflicts: 1120000 | #Constraints: 37304
1359.09/1362.79 c #Conflicts: 1121000 | #Constraints: 38304
1480.66/1484.68 c #Conflicts: 1122000 | #Constraints: 39304
1480.66/1484.68 c #Conflicts: 1123000 | #Constraints: 40304
1480.66/1484.68 c #Conflicts: 1124000 | #Constraints: 41304
1480.66/1484.68 c #Conflicts: 1125000 | #Constraints: 42304
1480.66/1484.68 c INPROCESSING
1480.66/1484.68 c GARBAGE COLLECT
1480.66/1484.68 c #Conflicts: 1126000 | #Constraints: 22310
1480.66/1484.68 c #Conflicts: 1127000 | #Constraints: 23310
1480.66/1484.68 c #Conflicts: 1128000 | #Constraints: 24310
1480.66/1484.68 c #Conflicts: 1129000 | #Constraints: 25310
1480.66/1484.68 c #Conflicts: 1130000 | #Constraints: 26310
1480.66/1484.68 c #Conflicts: 1131000 | #Constraints: 27310
1480.66/1484.68 c #Conflicts: 1132000 | #Constraints: 28310
1480.66/1484.68 c #Conflicts: 1133000 | #Constraints: 29310
1480.66/1484.68 c #Conflicts: 1134000 | #Constraints: 30310
1480.66/1484.68 c #Conflicts: 1135000 | #Constraints: 31310
1480.66/1484.68 c #Conflicts: 1136000 | #Constraints: 32310
1480.66/1484.68 c #Conflicts: 1137000 | #Constraints: 33310
1480.66/1484.68 c #Conflicts: 1138000 | #Constraints: 34310
1480.66/1484.68 c #Conflicts: 1139000 | #Constraints: 35310
1480.66/1484.68 c #Conflicts: 1140000 | #Constraints: 36310
1480.66/1484.68 c #Conflicts: 1141000 | #Constraints: 37310
1480.66/1484.68 c #Conflicts: 1142000 | #Constraints: 38310
1480.66/1484.68 c #Conflicts: 1143000 | #Constraints: 39310
1480.66/1484.68 c #Conflicts: 1144000 | #Constraints: 40310
1480.66/1484.68 c #Conflicts: 1145000 | #Constraints: 41310
1480.66/1484.68 c #Conflicts: 1146000 | #Constraints: 42310
1480.66/1484.68 c INPROCESSING
1480.66/1484.68 c GARBAGE COLLECT
1480.66/1484.68 c #Conflicts: 1147000 | #Constraints: 22095
1480.66/1484.68 c #Conflicts: 1148000 | #Constraints: 23095
1480.66/1484.68 c #Conflicts: 1149000 | #Constraints: 24095
1480.66/1484.68 c #Conflicts: 1150000 | #Constraints: 25095
1480.66/1484.68 c #Conflicts: 1151000 | #Constraints: 26095
1480.66/1484.68 c #Conflicts: 1152000 | #Constraints: 27095
1480.66/1484.68 c #Conflicts: 1153000 | #Constraints: 28095
1480.66/1484.68 c #Conflicts: 1154000 | #Constraints: 29095
1480.66/1484.68 c #Conflicts: 1155000 | #Constraints: 30095
1480.66/1484.68 c #Conflicts: 1156000 | #Constraints: 31095
1480.66/1484.68 c #Conflicts: 1157000 | #Constraints: 32095
1480.66/1484.68 c #Conflicts: 1158000 | #Constraints: 33095
1480.66/1484.68 c #Conflicts: 1159000 | #Constraints: 34095
1480.66/1484.68 c #Conflicts: 1160000 | #Constraints: 35095
1480.66/1484.68 c #Conflicts: 1161000 | #Constraints: 36095
1480.66/1484.68 c #Conflicts: 1162000 | #Constraints: 37095
1480.66/1484.68 c #Conflicts: 1163000 | #Constraints: 38095
1480.66/1484.68 c #Conflicts: 1164000 | #Constraints: 39095
1480.66/1484.68 c #Conflicts: 1165000 | #Constraints: 40095
1480.66/1484.68 c #Conflicts: 1166000 | #Constraints: 41095
1480.66/1484.68 c #Conflicts: 1167000 | #Constraints: 42095
1480.66/1484.68 c #Conflicts: 1168000 | #Constraints: 43095
1480.66/1484.68 c INPROCESSING
1480.66/1484.68 c GARBAGE COLLECT
1480.66/1484.68 c #Conflicts: 1169000 | #Constraints: 22703
1480.66/1484.68 c #Conflicts: 1170000 | #Constraints: 23703
1480.66/1484.68 c #Conflicts: 1171000 | #Constraints: 24703
1480.66/1484.68 c #Conflicts: 1172000 | #Constraints: 25703
1480.66/1484.68 c #Conflicts: 1173000 | #Constraints: 26703
1480.66/1484.68 c #Conflicts: 1174000 | #Constraints: 27703
1480.66/1484.68 c #Conflicts: 1175000 | #Constraints: 28703
1480.66/1484.68 c #Conflicts: 1176000 | #Constraints: 29703
1480.66/1484.68 c #Conflicts: 1177000 | #Constraints: 30703
1480.66/1484.68 c #Conflicts: 1178000 | #Constraints: 31703
1480.66/1484.68 c #Conflicts: 1179000 | #Constraints: 32703
1480.66/1484.68 c #Conflicts: 1180000 | #Constraints: 33703
1480.66/1484.68 c #Conflicts: 1181000 | #Constraints: 34703
1480.66/1484.68 c #Conflicts: 1182000 | #Constraints: 35703
1480.66/1484.68 c #Conflicts: 1183000 | #Constraints: 36703
1480.66/1484.68 c #Conflicts: 1184000 | #Constraints: 37703
1480.66/1484.68 c #Conflicts: 1185000 | #Constraints: 38703
1480.66/1484.68 c #Conflicts: 1186000 | #Constraints: 39703
1480.66/1484.68 c #Conflicts: 1187000 | #Constraints: 40703
1480.66/1484.68 c #Conflicts: 1188000 | #Constraints: 41703
1480.66/1484.68 c #Conflicts: 1189000 | #Constraints: 42703
1480.66/1484.68 c #Conflicts: 1190000 | #Constraints: 43703
1480.66/1484.68 c INPROCESSING
1480.66/1484.68 c GARBAGE COLLECT
1480.66/1484.68 c #Conflicts: 1191000 | #Constraints: 23102
1480.66/1484.68 c #Conflicts: 1192000 | #Constraints: 24102
1480.66/1484.68 c #Conflicts: 1193000 | #Constraints: 25102
1480.66/1484.68 c #Conflicts: 1194000 | #Constraints: 26102
1480.66/1484.68 c #Conflicts: 1195000 | #Constraints: 27102
1480.66/1484.68 c #Conflicts: 1196000 | #Constraints: 28102
1480.66/1484.68 c #Conflicts: 1197000 | #Constraints: 29102
1608.30/1612.69 c #Conflicts: 1198000 | #Constraints: 30102
1608.30/1612.69 c #Conflicts: 1199000 | #Constraints: 31102
1608.30/1612.69 c #Conflicts: 1200000 | #Constraints: 32102
1608.30/1612.69 c #Conflicts: 1201000 | #Constraints: 33102
1608.30/1612.69 c #Conflicts: 1202000 | #Constraints: 34102
1608.30/1612.69 c #Conflicts: 1203000 | #Constraints: 35102
1608.30/1612.69 c #Conflicts: 1204000 | #Constraints: 36102
1608.30/1612.69 c #Conflicts: 1205000 | #Constraints: 37102
1608.30/1612.69 c #Conflicts: 1206000 | #Constraints: 38102
1608.30/1612.69 c #Conflicts: 1207000 | #Constraints: 39102
1608.30/1612.69 c #Conflicts: 1208000 | #Constraints: 40102
1608.30/1612.69 c #Conflicts: 1209000 | #Constraints: 41102
1608.30/1612.69 c #Conflicts: 1210000 | #Constraints: 42102
1608.30/1612.69 c #Conflicts: 1211000 | #Constraints: 43102
1608.30/1612.69 c #Conflicts: 1212000 | #Constraints: 44102
1608.30/1612.69 c INPROCESSING
1608.30/1612.69 c GARBAGE COLLECT
1608.30/1612.69 c #Conflicts: 1213000 | #Constraints: 23311
1608.30/1612.69 c #Conflicts: 1214000 | #Constraints: 24311
1608.30/1612.69 c #Conflicts: 1215000 | #Constraints: 25311
1608.30/1612.69 c #Conflicts: 1216000 | #Constraints: 26311
1608.30/1612.69 c #Conflicts: 1217000 | #Constraints: 27311
1608.30/1612.69 c #Conflicts: 1218000 | #Constraints: 28311
1608.30/1612.69 c #Conflicts: 1219000 | #Constraints: 29311
1608.30/1612.69 c #Conflicts: 1220000 | #Constraints: 30311
1608.30/1612.69 c #Conflicts: 1221000 | #Constraints: 31311
1608.30/1612.69 c #Conflicts: 1222000 | #Constraints: 32311
1608.30/1612.69 c #Conflicts: 1223000 | #Constraints: 33311
1608.30/1612.69 c #Conflicts: 1224000 | #Constraints: 34311
1608.30/1612.69 c #Conflicts: 1225000 | #Constraints: 35311
1608.30/1612.69 c #Conflicts: 1226000 | #Constraints: 36311
1608.30/1612.69 c #Conflicts: 1227000 | #Constraints: 37311
1608.30/1612.69 c #Conflicts: 1228000 | #Constraints: 38311
1608.30/1612.69 c #Conflicts: 1229000 | #Constraints: 39311
1608.30/1612.69 c #Conflicts: 1230000 | #Constraints: 40311
1608.30/1612.69 c #Conflicts: 1231000 | #Constraints: 41311
1608.30/1612.69 c #Conflicts: 1232000 | #Constraints: 42311
1608.30/1612.69 c #Conflicts: 1233000 | #Constraints: 43311
1608.30/1612.69 c #Conflicts: 1234000 | #Constraints: 44311
1608.30/1612.69 c INPROCESSING
1608.30/1612.69 c GARBAGE COLLECT
1608.30/1612.69 c #Conflicts: 1235000 | #Constraints: 23322
1608.30/1612.69 c #Conflicts: 1236000 | #Constraints: 24322
1608.30/1612.69 c #Conflicts: 1237000 | #Constraints: 25322
1608.30/1612.69 c #Conflicts: 1238000 | #Constraints: 26322
1608.30/1612.69 c #Conflicts: 1239000 | #Constraints: 27322
1608.30/1612.69 c #Conflicts: 1240000 | #Constraints: 28322
1608.30/1612.69 c #Conflicts: 1241000 | #Constraints: 29322
1608.30/1612.69 c #Conflicts: 1242000 | #Constraints: 30322
1608.30/1612.69 c #Conflicts: 1243000 | #Constraints: 31322
1608.30/1612.69 c #Conflicts: 1244000 | #Constraints: 32322
1608.30/1612.69 c #Conflicts: 1245000 | #Constraints: 33322
1608.30/1612.69 c #Conflicts: 1246000 | #Constraints: 34322
1608.30/1612.69 c #Conflicts: 1247000 | #Constraints: 35322
1608.30/1612.69 c #Conflicts: 1248000 | #Constraints: 36322
1608.30/1612.69 c #Conflicts: 1249000 | #Constraints: 37322
1608.30/1612.69 c #Conflicts: 1250000 | #Constraints: 38322
1608.30/1612.69 c #Conflicts: 1251000 | #Constraints: 39322
1608.30/1612.69 c #Conflicts: 1252000 | #Constraints: 40322
1608.30/1612.69 c #Conflicts: 1253000 | #Constraints: 41322
1608.30/1612.69 c #Conflicts: 1254000 | #Constraints: 42322
1608.30/1612.69 c #Conflicts: 1255000 | #Constraints: 43322
1608.30/1612.69 c #Conflicts: 1256000 | #Constraints: 44322
1608.30/1612.69 c INPROCESSING
1608.30/1612.69 c GARBAGE COLLECT
1608.30/1612.69 c #Conflicts: 1257000 | #Constraints: 23090
1608.30/1612.69 c #Conflicts: 1258000 | #Constraints: 24090
1608.30/1612.69 c #Conflicts: 1259000 | #Constraints: 25090
1608.30/1612.69 c #Conflicts: 1260000 | #Constraints: 26090
1608.30/1612.69 c #Conflicts: 1261000 | #Constraints: 27090
1608.30/1612.69 c #Conflicts: 1262000 | #Constraints: 28090
1608.30/1612.69 c #Conflicts: 1263000 | #Constraints: 29090
1608.30/1612.69 c #Conflicts: 1264000 | #Constraints: 30090
1608.30/1612.69 c #Conflicts: 1265000 | #Constraints: 31090
1608.30/1612.69 c #Conflicts: 1266000 | #Constraints: 32090
1608.30/1612.69 c #Conflicts: 1267000 | #Constraints: 33090
1608.30/1612.69 c #Conflicts: 1268000 | #Constraints: 34090
1608.30/1612.69 c #Conflicts: 1269000 | #Constraints: 35090
1608.30/1612.69 c #Conflicts: 1270000 | #Constraints: 36090
1608.30/1612.69 c #Conflicts: 1271000 | #Constraints: 37090
1608.30/1612.69 c #Conflicts: 1272000 | #Constraints: 38090
1608.30/1612.69 c #Conflicts: 1273000 | #Constraints: 39090
1608.30/1612.69 c #Conflicts: 1274000 | #Constraints: 40090
1750.91/1755.62 c #Conflicts: 1275000 | #Constraints: 41090
1750.91/1755.62 c #Conflicts: 1276000 | #Constraints: 42090
1750.91/1755.62 c #Conflicts: 1277000 | #Constraints: 43090
1750.91/1755.62 c #Conflicts: 1278000 | #Constraints: 44090
1750.91/1755.62 c #Conflicts: 1279000 | #Constraints: 45090
1750.91/1755.62 c INPROCESSING
1750.91/1755.62 c GARBAGE COLLECT
1750.91/1755.62 c #Conflicts: 1280000 | #Constraints: 23696
1750.91/1755.62 c #Conflicts: 1281000 | #Constraints: 24696
1750.91/1755.62 c #Conflicts: 1282000 | #Constraints: 25696
1750.91/1755.62 c #Conflicts: 1283000 | #Constraints: 26696
1750.91/1755.62 c #Conflicts: 1284000 | #Constraints: 27696
1750.91/1755.62 c #Conflicts: 1285000 | #Constraints: 28696
1750.91/1755.62 c #Conflicts: 1286000 | #Constraints: 29696
1750.91/1755.62 c #Conflicts: 1287000 | #Constraints: 30696
1750.91/1755.62 c #Conflicts: 1288000 | #Constraints: 31696
1750.91/1755.62 c #Conflicts: 1289000 | #Constraints: 32696
1750.91/1755.62 c #Conflicts: 1290000 | #Constraints: 33696
1750.91/1755.62 c #Conflicts: 1291000 | #Constraints: 34696
1750.91/1755.62 c #Conflicts: 1292000 | #Constraints: 35696
1750.91/1755.62 c #Conflicts: 1293000 | #Constraints: 36696
1750.91/1755.62 c #Conflicts: 1294000 | #Constraints: 37696
1750.91/1755.62 c #Conflicts: 1295000 | #Constraints: 38696
1750.91/1755.62 c #Conflicts: 1296000 | #Constraints: 39696
1750.91/1755.62 c #Conflicts: 1297000 | #Constraints: 40696
1750.91/1755.62 c #Conflicts: 1298000 | #Constraints: 41696
1750.91/1755.62 c #Conflicts: 1299000 | #Constraints: 42696
1750.91/1755.62 c #Conflicts: 1300000 | #Constraints: 43696
1750.91/1755.62 c #Conflicts: 1301000 | #Constraints: 44696
1750.91/1755.62 c #Conflicts: 1302000 | #Constraints: 45696
1750.91/1755.62 c INPROCESSING
1750.91/1755.62 c GARBAGE COLLECT
1750.91/1755.62 c #Conflicts: 1303000 | #Constraints: 24074
1750.91/1755.62 c #Conflicts: 1304000 | #Constraints: 25074
1750.91/1755.62 c #Conflicts: 1305000 | #Constraints: 26074
1750.91/1755.62 c #Conflicts: 1306000 | #Constraints: 27074
1750.91/1755.62 c #Conflicts: 1307000 | #Constraints: 28074
1750.91/1755.62 c #Conflicts: 1308000 | #Constraints: 29074
1750.91/1755.62 c #Conflicts: 1309000 | #Constraints: 30074
1750.91/1755.62 c #Conflicts: 1310000 | #Constraints: 31074
1750.91/1755.62 c #Conflicts: 1311000 | #Constraints: 32074
1750.91/1755.62 c #Conflicts: 1312000 | #Constraints: 33074
1750.91/1755.62 c #Conflicts: 1313000 | #Constraints: 34074
1750.91/1755.62 c #Conflicts: 1314000 | #Constraints: 35074
1750.91/1755.62 c #Conflicts: 1315000 | #Constraints: 36074
1750.91/1755.62 c #Conflicts: 1316000 | #Constraints: 37074
1750.91/1755.62 c #Conflicts: 1317000 | #Constraints: 38074
1750.91/1755.62 c #Conflicts: 1318000 | #Constraints: 39074
1750.91/1755.62 c #Conflicts: 1319000 | #Constraints: 40074
1750.91/1755.62 c #Conflicts: 1320000 | #Constraints: 41074
1750.91/1755.62 c #Conflicts: 1321000 | #Constraints: 42074
1750.91/1755.62 c #Conflicts: 1322000 | #Constraints: 43074
1750.91/1755.62 c #Conflicts: 1323000 | #Constraints: 44074
1750.91/1755.62 c #Conflicts: 1324000 | #Constraints: 45074
1750.91/1755.62 c #Conflicts: 1325000 | #Constraints: 46074
1750.91/1755.62 c INPROCESSING
1750.91/1755.62 c GARBAGE COLLECT
1750.91/1755.62 c #Conflicts: 1326000 | #Constraints: 24304
1750.91/1755.62 c #Conflicts: 1327000 | #Constraints: 25304
1750.91/1755.62 c #Conflicts: 1328000 | #Constraints: 26304
1750.91/1755.62 c #Conflicts: 1329000 | #Constraints: 27304
1750.91/1755.62 c #Conflicts: 1330000 | #Constraints: 28304
1750.91/1755.62 c #Conflicts: 1331000 | #Constraints: 29304
1750.91/1755.62 c #Conflicts: 1332000 | #Constraints: 30304
1750.91/1755.62 c #Conflicts: 1333000 | #Constraints: 31304
1750.91/1755.62 c #Conflicts: 1334000 | #Constraints: 32304
1750.91/1755.62 c #Conflicts: 1335000 | #Constraints: 33304
1750.91/1755.62 c #Conflicts: 1336000 | #Constraints: 34304
1750.91/1755.62 c #Conflicts: 1337000 | #Constraints: 35304
1750.91/1755.62 c #Conflicts: 1338000 | #Constraints: 36304
1750.91/1755.62 c #Conflicts: 1339000 | #Constraints: 37304
1750.91/1755.62 c #Conflicts: 1340000 | #Constraints: 38304
1750.91/1755.62 c #Conflicts: 1341000 | #Constraints: 39304
1750.91/1755.62 c #Conflicts: 1342000 | #Constraints: 40304
1750.91/1755.62 c #Conflicts: 1343000 | #Constraints: 41304
1750.91/1755.62 c #Conflicts: 1344000 | #Constraints: 42304
1750.91/1755.62 c #Conflicts: 1345000 | #Constraints: 43304
1750.91/1755.62 c #Conflicts: 1346000 | #Constraints: 44304
1750.91/1755.62 c #Conflicts: 1347000 | #Constraints: 45304
1750.91/1755.62 c #Conflicts: 1348000 | #Constraints: 46304
1750.91/1755.62 c INPROCESSING
1750.91/1755.62 c GARBAGE COLLECT
1750.91/1755.62 c #Conflicts: 1349000 | #Constraints: 24323
1750.91/1755.62 c #Conflicts: 1350000 | #Constraints: 25323
1891.02/1896.11 c #Conflicts: 1351000 | #Constraints: 26323
1891.02/1896.11 c #Conflicts: 1352000 | #Constraints: 27323
1891.02/1896.11 c #Conflicts: 1353000 | #Constraints: 28323
1891.02/1896.11 c #Conflicts: 1354000 | #Constraints: 29323
1891.02/1896.11 c #Conflicts: 1355000 | #Constraints: 30323
1891.02/1896.11 c #Conflicts: 1356000 | #Constraints: 31323
1891.02/1896.11 c #Conflicts: 1357000 | #Constraints: 32323
1891.02/1896.11 c #Conflicts: 1358000 | #Constraints: 33323
1891.02/1896.11 c #Conflicts: 1359000 | #Constraints: 34323
1891.02/1896.11 c #Conflicts: 1360000 | #Constraints: 35323
1891.02/1896.11 c #Conflicts: 1361000 | #Constraints: 36323
1891.02/1896.11 c #Conflicts: 1362000 | #Constraints: 37323
1891.02/1896.11 c #Conflicts: 1363000 | #Constraints: 38323
1891.02/1896.11 c #Conflicts: 1364000 | #Constraints: 39323
1891.02/1896.11 c #Conflicts: 1365000 | #Constraints: 40323
1891.02/1896.11 c #Conflicts: 1366000 | #Constraints: 41323
1891.02/1896.11 c #Conflicts: 1367000 | #Constraints: 42323
1891.02/1896.11 c #Conflicts: 1368000 | #Constraints: 43323
1891.02/1896.11 c #Conflicts: 1369000 | #Constraints: 44323
1891.02/1896.11 c #Conflicts: 1370000 | #Constraints: 45323
1891.02/1896.11 c #Conflicts: 1371000 | #Constraints: 46323
1891.02/1896.11 c INPROCESSING
1891.02/1896.11 c GARBAGE COLLECT
1891.02/1896.11 c #Conflicts: 1372000 | #Constraints: 24097
1891.02/1896.11 c #Conflicts: 1373000 | #Constraints: 25097
1891.02/1896.11 c #Conflicts: 1374000 | #Constraints: 26097
1891.02/1896.11 c #Conflicts: 1375000 | #Constraints: 27097
1891.02/1896.11 c #Conflicts: 1376000 | #Constraints: 28097
1891.02/1896.11 c #Conflicts: 1377000 | #Constraints: 29097
1891.02/1896.11 c #Conflicts: 1378000 | #Constraints: 30097
1891.02/1896.11 c #Conflicts: 1379000 | #Constraints: 31097
1891.02/1896.11 c #Conflicts: 1380000 | #Constraints: 32097
1891.02/1896.11 c #Conflicts: 1381000 | #Constraints: 33097
1891.02/1896.11 c #Conflicts: 1382000 | #Constraints: 34097
1891.02/1896.11 c #Conflicts: 1383000 | #Constraints: 35097
1891.02/1896.11 c #Conflicts: 1384000 | #Constraints: 36097
1891.02/1896.11 c #Conflicts: 1385000 | #Constraints: 37097
1891.02/1896.11 c #Conflicts: 1386000 | #Constraints: 38097
1891.02/1896.11 c #Conflicts: 1387000 | #Constraints: 39097
1891.02/1896.11 c #Conflicts: 1388000 | #Constraints: 40097
1891.02/1896.11 c #Conflicts: 1389000 | #Constraints: 41097
1891.02/1896.11 c #Conflicts: 1390000 | #Constraints: 42097
1891.02/1896.11 c #Conflicts: 1391000 | #Constraints: 43097
1891.02/1896.11 c #Conflicts: 1392000 | #Constraints: 44097
1891.02/1896.11 c #Conflicts: 1393000 | #Constraints: 45097
1891.02/1896.11 c #Conflicts: 1394000 | #Constraints: 46097
1891.02/1896.11 c #Conflicts: 1395000 | #Constraints: 47097
1891.02/1896.11 c INPROCESSING
1891.02/1896.11 c GARBAGE COLLECT
1891.02/1896.11 c #Conflicts: 1396000 | #Constraints: 24708
1891.02/1896.11 c #Conflicts: 1397000 | #Constraints: 25708
1891.02/1896.11 c #Conflicts: 1398000 | #Constraints: 26708
1891.02/1896.11 c #Conflicts: 1399000 | #Constraints: 27708
1891.02/1896.11 c #Conflicts: 1400000 | #Constraints: 28708
1891.02/1896.11 c #Conflicts: 1401000 | #Constraints: 29708
1891.02/1896.11 c #Conflicts: 1402000 | #Constraints: 30708
1891.02/1896.11 c #Conflicts: 1403000 | #Constraints: 31708
1891.02/1896.11 c #Conflicts: 1404000 | #Constraints: 32708
1891.02/1896.11 c #Conflicts: 1405000 | #Constraints: 33708
1891.02/1896.11 c #Conflicts: 1406000 | #Constraints: 34708
1891.02/1896.11 c #Conflicts: 1407000 | #Constraints: 35708
1891.02/1896.11 c #Conflicts: 1408000 | #Constraints: 36708
1891.02/1896.11 c #Conflicts: 1409000 | #Constraints: 37708
1891.02/1896.11 c #Conflicts: 1410000 | #Constraints: 38708
1891.02/1896.11 c #Conflicts: 1411000 | #Constraints: 39708
1891.02/1896.11 c #Conflicts: 1412000 | #Constraints: 40708
1891.02/1896.11 c #Conflicts: 1413000 | #Constraints: 41708
1891.02/1896.11 c #Conflicts: 1414000 | #Constraints: 42708
1891.02/1896.11 c #Conflicts: 1415000 | #Constraints: 43708
1891.02/1896.11 c #Conflicts: 1416000 | #Constraints: 44708
1891.02/1896.11 c #Conflicts: 1417000 | #Constraints: 45708
1891.02/1896.11 c #Conflicts: 1418000 | #Constraints: 46708
1891.02/1896.11 c #Conflicts: 1419000 | #Constraints: 47708
1891.02/1896.11 c INPROCESSING
1891.02/1896.11 c GARBAGE COLLECT
1891.02/1896.11 c #Conflicts: 1420000 | #Constraints: 25126
1891.02/1896.11 c #Conflicts: 1421000 | #Constraints: 26126
1891.02/1896.11 c #Conflicts: 1422000 | #Constraints: 27126
1891.02/1896.11 c #Conflicts: 1423000 | #Constraints: 28126
1891.02/1896.11 c #Conflicts: 1424000 | #Constraints: 29126
1891.02/1896.11 c #Conflicts: 1425000 | #Constraints: 30126
1891.02/1896.11 c #Conflicts: 1426000 | #Constraints: 31126
1891.02/1896.11 c #Conflicts: 1427000 | #Constraints: 32126
2035.52/2041.07 c #Conflicts: 1428000 | #Constraints: 33126
2035.52/2041.07 c #Conflicts: 1429000 | #Constraints: 34126
2035.52/2041.07 c #Conflicts: 1430000 | #Constraints: 35126
2035.52/2041.07 c #Conflicts: 1431000 | #Constraints: 36126
2035.52/2041.07 c #Conflicts: 1432000 | #Constraints: 37126
2035.52/2041.07 c #Conflicts: 1433000 | #Constraints: 38126
2035.52/2041.07 c #Conflicts: 1434000 | #Constraints: 39126
2035.52/2041.07 c #Conflicts: 1435000 | #Constraints: 40126
2035.52/2041.07 c #Conflicts: 1436000 | #Constraints: 41126
2035.52/2041.07 c #Conflicts: 1437000 | #Constraints: 42126
2035.52/2041.07 c #Conflicts: 1438000 | #Constraints: 43126
2035.52/2041.07 c #Conflicts: 1439000 | #Constraints: 44126
2035.52/2041.07 c #Conflicts: 1440000 | #Constraints: 45126
2035.52/2041.07 c #Conflicts: 1441000 | #Constraints: 46126
2035.52/2041.07 c #Conflicts: 1442000 | #Constraints: 47126
2035.52/2041.07 c #Conflicts: 1443000 | #Constraints: 48126
2035.52/2041.07 c INPROCESSING
2035.52/2041.07 c GARBAGE COLLECT
2035.52/2041.07 c #Conflicts: 1444000 | #Constraints: 25311
2035.52/2041.07 c #Conflicts: 1445000 | #Constraints: 26311
2035.52/2041.07 c #Conflicts: 1446000 | #Constraints: 27311
2035.52/2041.07 c #Conflicts: 1447000 | #Constraints: 28311
2035.52/2041.07 c #Conflicts: 1448000 | #Constraints: 29311
2035.52/2041.07 c #Conflicts: 1449000 | #Constraints: 30311
2035.52/2041.07 c #Conflicts: 1450000 | #Constraints: 31311
2035.52/2041.07 c #Conflicts: 1451000 | #Constraints: 32311
2035.52/2041.07 c #Conflicts: 1452000 | #Constraints: 33311
2035.52/2041.07 c #Conflicts: 1453000 | #Constraints: 34311
2035.52/2041.07 c #Conflicts: 1454000 | #Constraints: 35311
2035.52/2041.07 c #Conflicts: 1455000 | #Constraints: 36311
2035.52/2041.07 c #Conflicts: 1456000 | #Constraints: 37311
2035.52/2041.07 c #Conflicts: 1457000 | #Constraints: 38311
2035.52/2041.07 c #Conflicts: 1458000 | #Constraints: 39311
2035.52/2041.07 c #Conflicts: 1459000 | #Constraints: 40311
2035.52/2041.07 c #Conflicts: 1460000 | #Constraints: 41311
2035.52/2041.07 c #Conflicts: 1461000 | #Constraints: 42311
2035.52/2041.07 c #Conflicts: 1462000 | #Constraints: 43311
2035.52/2041.07 c #Conflicts: 1463000 | #Constraints: 44311
2035.52/2041.07 c #Conflicts: 1464000 | #Constraints: 45311
2035.52/2041.07 c #Conflicts: 1465000 | #Constraints: 46311
2035.52/2041.07 c #Conflicts: 1466000 | #Constraints: 47311
2035.52/2041.07 c #Conflicts: 1467000 | #Constraints: 48311
2035.52/2041.07 c INPROCESSING
2035.52/2041.07 c GARBAGE COLLECT
2035.52/2041.07 c #Conflicts: 1468000 | #Constraints: 25312
2035.52/2041.07 c #Conflicts: 1469000 | #Constraints: 26312
2035.52/2041.07 c #Conflicts: 1470000 | #Constraints: 27312
2035.52/2041.07 c #Conflicts: 1471000 | #Constraints: 28312
2035.52/2041.07 c #Conflicts: 1472000 | #Constraints: 29312
2035.52/2041.07 c #Conflicts: 1473000 | #Constraints: 30312
2035.52/2041.07 c #Conflicts: 1474000 | #Constraints: 31312
2035.52/2041.07 c #Conflicts: 1475000 | #Constraints: 32312
2035.52/2041.07 c #Conflicts: 1476000 | #Constraints: 33312
2035.52/2041.07 c #Conflicts: 1477000 | #Constraints: 34312
2035.52/2041.07 c #Conflicts: 1478000 | #Constraints: 35312
2035.52/2041.07 c #Conflicts: 1479000 | #Constraints: 36312
2035.52/2041.07 c #Conflicts: 1480000 | #Constraints: 37312
2035.52/2041.07 c #Conflicts: 1481000 | #Constraints: 38312
2035.52/2041.07 c #Conflicts: 1482000 | #Constraints: 39312
2035.52/2041.07 c #Conflicts: 1483000 | #Constraints: 40312
2035.52/2041.07 c #Conflicts: 1484000 | #Constraints: 41312
2035.52/2041.07 c #Conflicts: 1485000 | #Constraints: 42312
2035.52/2041.07 c #Conflicts: 1486000 | #Constraints: 43312
2035.52/2041.07 c #Conflicts: 1487000 | #Constraints: 44312
2035.52/2041.07 c #Conflicts: 1488000 | #Constraints: 45312
2035.52/2041.07 c #Conflicts: 1489000 | #Constraints: 46312
2035.52/2041.07 c #Conflicts: 1490000 | #Constraints: 47312
2035.52/2041.07 c #Conflicts: 1491000 | #Constraints: 48312
2035.52/2041.07 c INPROCESSING
2035.52/2041.07 c GARBAGE COLLECT
2035.52/2041.07 c #Conflicts: 1492000 | #Constraints: 25100
2035.52/2041.07 c #Conflicts: 1493000 | #Constraints: 26100
2035.52/2041.07 c #Conflicts: 1494000 | #Constraints: 27100
2035.52/2041.07 c #Conflicts: 1495000 | #Constraints: 28100
2035.52/2041.07 c #Conflicts: 1496000 | #Constraints: 29100
2035.52/2041.07 c #Conflicts: 1497000 | #Constraints: 30100
2035.52/2041.07 c #Conflicts: 1498000 | #Constraints: 31100
2035.52/2041.07 c #Conflicts: 1499000 | #Constraints: 32100
2035.52/2041.07 c #Conflicts: 1500000 | #Constraints: 33100
2035.52/2041.07 c #Conflicts: 1501000 | #Constraints: 34100
2035.52/2041.07 c #Conflicts: 1502000 | #Constraints: 35100
2035.52/2041.07 c #Conflicts: 1503000 | #Constraints: 36100
2035.52/2041.07 c #Conflicts: 1504000 | #Constraints: 37100
2190.38/2196.35 c #Conflicts: 1505000 | #Constraints: 38100
2190.38/2196.35 c #Conflicts: 1506000 | #Constraints: 39100
2190.38/2196.35 c #Conflicts: 1507000 | #Constraints: 40100
2190.38/2196.35 c #Conflicts: 1508000 | #Constraints: 41100
2190.38/2196.35 c #Conflicts: 1509000 | #Constraints: 42100
2190.38/2196.35 c #Conflicts: 1510000 | #Constraints: 43100
2190.38/2196.35 c #Conflicts: 1511000 | #Constraints: 44100
2190.38/2196.35 c #Conflicts: 1512000 | #Constraints: 45100
2190.38/2196.35 c #Conflicts: 1513000 | #Constraints: 46100
2190.38/2196.35 c #Conflicts: 1514000 | #Constraints: 47100
2190.38/2196.35 c #Conflicts: 1515000 | #Constraints: 48100
2190.38/2196.35 c #Conflicts: 1516000 | #Constraints: 49100
2190.38/2196.35 c INPROCESSING
2190.38/2196.35 c GARBAGE COLLECT
2190.38/2196.35 c #Conflicts: 1517000 | #Constraints: 25705
2190.38/2196.35 c #Conflicts: 1518000 | #Constraints: 26705
2190.38/2196.35 c #Conflicts: 1519000 | #Constraints: 27705
2190.38/2196.35 c #Conflicts: 1520000 | #Constraints: 28705
2190.38/2196.35 c #Conflicts: 1521000 | #Constraints: 29705
2190.38/2196.35 c #Conflicts: 1522000 | #Constraints: 30705
2190.38/2196.35 c #Conflicts: 1523000 | #Constraints: 31705
2190.38/2196.35 c #Conflicts: 1524000 | #Constraints: 32705
2190.38/2196.35 c #Conflicts: 1525000 | #Constraints: 33705
2190.38/2196.35 c #Conflicts: 1526000 | #Constraints: 34705
2190.38/2196.35 c #Conflicts: 1527000 | #Constraints: 35705
2190.38/2196.35 c #Conflicts: 1528000 | #Constraints: 36705
2190.38/2196.35 c #Conflicts: 1529000 | #Constraints: 37705
2190.38/2196.35 c #Conflicts: 1530000 | #Constraints: 38705
2190.38/2196.35 c #Conflicts: 1531000 | #Constraints: 39705
2190.38/2196.35 c #Conflicts: 1532000 | #Constraints: 40705
2190.38/2196.35 c #Conflicts: 1533000 | #Constraints: 41705
2190.38/2196.35 c #Conflicts: 1534000 | #Constraints: 42705
2190.38/2196.35 c #Conflicts: 1535000 | #Constraints: 43705
2190.38/2196.35 c #Conflicts: 1536000 | #Constraints: 44705
2190.38/2196.35 c #Conflicts: 1537000 | #Constraints: 45705
2190.38/2196.35 c #Conflicts: 1538000 | #Constraints: 46705
2190.38/2196.35 c #Conflicts: 1539000 | #Constraints: 47705
2190.38/2196.35 c #Conflicts: 1540000 | #Constraints: 48705
2190.38/2196.35 c #Conflicts: 1541000 | #Constraints: 49705
2190.38/2196.35 c INPROCESSING
2190.38/2196.35 c GARBAGE COLLECT
2190.38/2196.35 c #Conflicts: 1542000 | #Constraints: 26120
2190.38/2196.35 c #Conflicts: 1543000 | #Constraints: 27120
2190.38/2196.35 c #Conflicts: 1544000 | #Constraints: 28120
2190.38/2196.35 c #Conflicts: 1545000 | #Constraints: 29120
2190.38/2196.35 c #Conflicts: 1546000 | #Constraints: 30120
2190.38/2196.35 c #Conflicts: 1547000 | #Constraints: 31120
2190.38/2196.35 c #Conflicts: 1548000 | #Constraints: 32120
2190.38/2196.35 c #Conflicts: 1549000 | #Constraints: 33120
2190.38/2196.35 c #Conflicts: 1550000 | #Constraints: 34120
2190.38/2196.35 c #Conflicts: 1551000 | #Constraints: 35120
2190.38/2196.35 c #Conflicts: 1552000 | #Constraints: 36120
2190.38/2196.35 c #Conflicts: 1553000 | #Constraints: 37120
2190.38/2196.35 c #Conflicts: 1554000 | #Constraints: 38120
2190.38/2196.35 c #Conflicts: 1555000 | #Constraints: 39120
2190.38/2196.35 c #Conflicts: 1556000 | #Constraints: 40120
2190.38/2196.35 c #Conflicts: 1557000 | #Constraints: 41120
2190.38/2196.35 c #Conflicts: 1558000 | #Constraints: 42120
2190.38/2196.35 c #Conflicts: 1559000 | #Constraints: 43120
2190.38/2196.35 c #Conflicts: 1560000 | #Constraints: 44120
2190.38/2196.35 c #Conflicts: 1561000 | #Constraints: 45120
2190.38/2196.35 c #Conflicts: 1562000 | #Constraints: 46120
2190.38/2196.35 c #Conflicts: 1563000 | #Constraints: 47120
2190.38/2196.35 c #Conflicts: 1564000 | #Constraints: 48120
2190.38/2196.35 c #Conflicts: 1565000 | #Constraints: 49120
2190.38/2196.35 c #Conflicts: 1566000 | #Constraints: 50120
2190.38/2196.35 c INPROCESSING
2190.38/2196.35 c GARBAGE COLLECT
2190.38/2196.35 c #Conflicts: 1567000 | #Constraints: 26310
2190.38/2196.35 c #Conflicts: 1568000 | #Constraints: 27310
2190.38/2196.35 c #Conflicts: 1569000 | #Constraints: 28310
2190.38/2196.35 c #Conflicts: 1570000 | #Constraints: 29310
2190.38/2196.35 c #Conflicts: 1571000 | #Constraints: 30310
2190.38/2196.35 c #Conflicts: 1572000 | #Constraints: 31310
2190.38/2196.35 c #Conflicts: 1573000 | #Constraints: 32310
2190.38/2196.35 c #Conflicts: 1574000 | #Constraints: 33310
2190.38/2196.35 c #Conflicts: 1575000 | #Constraints: 34310
2190.38/2196.35 c #Conflicts: 1576000 | #Constraints: 35310
2190.38/2196.35 c #Conflicts: 1577000 | #Constraints: 36310
2190.38/2196.35 c #Conflicts: 1578000 | #Constraints: 37310
2190.38/2196.35 c #Conflicts: 1579000 | #Constraints: 38310
2190.38/2196.35 c #Conflicts: 1580000 | #Constraints: 39310
2190.38/2196.35 c #Conflicts: 1581000 | #Constraints: 40310
2310.35/2316.65 c #Conflicts: 1582000 | #Constraints: 41310
2310.35/2316.65 c #Conflicts: 1583000 | #Constraints: 42310
2310.35/2316.65 c #Conflicts: 1584000 | #Constraints: 43310
2310.35/2316.65 c #Conflicts: 1585000 | #Constraints: 44310
2310.35/2316.65 c #Conflicts: 1586000 | #Constraints: 45310
2310.35/2316.65 c #Conflicts: 1587000 | #Constraints: 46310
2310.35/2316.65 c #Conflicts: 1588000 | #Constraints: 47310
2310.35/2316.65 c #Conflicts: 1589000 | #Constraints: 48310
2310.35/2316.65 c #Conflicts: 1590000 | #Constraints: 49310
2310.35/2316.65 c #Conflicts: 1591000 | #Constraints: 50310
2310.35/2316.65 c INPROCESSING
2310.35/2316.65 c GARBAGE COLLECT
2310.35/2316.65 c #Conflicts: 1592000 | #Constraints: 26307
2310.35/2316.65 c #Conflicts: 1593000 | #Constraints: 27307
2310.35/2316.65 c #Conflicts: 1594000 | #Constraints: 28307
2310.35/2316.65 c #Conflicts: 1595000 | #Constraints: 29307
2310.35/2316.65 c #Conflicts: 1596000 | #Constraints: 30307
2310.35/2316.65 c #Conflicts: 1597000 | #Constraints: 31307
2310.35/2316.65 c #Conflicts: 1598000 | #Constraints: 32307
2310.35/2316.65 c #Conflicts: 1599000 | #Constraints: 33307
2310.35/2316.65 c #Conflicts: 1600000 | #Constraints: 34307
2310.35/2316.65 c #Conflicts: 1601000 | #Constraints: 35307
2310.35/2316.65 c #Conflicts: 1602000 | #Constraints: 36307
2310.35/2316.65 c #Conflicts: 1603000 | #Constraints: 37307
2310.35/2316.65 c #Conflicts: 1604000 | #Constraints: 38307
2310.35/2316.65 c #Conflicts: 1605000 | #Constraints: 39307
2310.35/2316.65 c #Conflicts: 1606000 | #Constraints: 40307
2310.35/2316.65 c #Conflicts: 1607000 | #Constraints: 41307
2310.35/2316.65 c #Conflicts: 1608000 | #Constraints: 42307
2310.35/2316.65 c #Conflicts: 1609000 | #Constraints: 43307
2310.35/2316.65 c #Conflicts: 1610000 | #Constraints: 44307
2310.35/2316.65 c #Conflicts: 1611000 | #Constraints: 45307
2310.35/2316.65 c #Conflicts: 1612000 | #Constraints: 46307
2310.35/2316.65 c #Conflicts: 1613000 | #Constraints: 47307
2310.35/2316.65 c #Conflicts: 1614000 | #Constraints: 48307
2310.35/2316.65 c #Conflicts: 1615000 | #Constraints: 49307
2310.35/2316.65 c #Conflicts: 1616000 | #Constraints: 50307
2310.35/2316.65 c INPROCESSING
2310.35/2316.65 c GARBAGE COLLECT
2310.35/2316.65 c #Conflicts: 1617000 | #Constraints: 26120
2310.35/2316.65 c #Conflicts: 1618000 | #Constraints: 27120
2310.35/2316.65 c #Conflicts: 1619000 | #Constraints: 28120
2310.35/2316.65 c #Conflicts: 1620000 | #Constraints: 29120
2310.35/2316.65 c #Conflicts: 1621000 | #Constraints: 30120
2310.35/2316.65 c #Conflicts: 1622000 | #Constraints: 31120
2310.35/2316.65 c #Conflicts: 1623000 | #Constraints: 32120
2310.35/2316.65 c #Conflicts: 1624000 | #Constraints: 33120
2310.35/2316.65 c #Conflicts: 1625000 | #Constraints: 34120
2310.35/2316.65 c #Conflicts: 1626000 | #Constraints: 35120
2310.35/2316.65 c #Conflicts: 1627000 | #Constraints: 36120
2310.35/2316.65 c #Conflicts: 1628000 | #Constraints: 37120
2310.35/2316.65 c #Conflicts: 1629000 | #Constraints: 38120
2310.35/2316.65 c #Conflicts: 1630000 | #Constraints: 39120
2310.35/2316.65 c #Conflicts: 1631000 | #Constraints: 40120
2310.35/2316.65 c #Conflicts: 1632000 | #Constraints: 41120
2310.35/2316.65 c #Conflicts: 1633000 | #Constraints: 42120
2310.35/2316.65 c #Conflicts: 1634000 | #Constraints: 43120
2310.35/2316.65 c #Conflicts: 1635000 | #Constraints: 44120
2310.35/2316.65 c #Conflicts: 1636000 | #Constraints: 45120
2310.35/2316.65 c #Conflicts: 1637000 | #Constraints: 46120
2310.35/2316.65 c #Conflicts: 1638000 | #Constraints: 47120
2310.35/2316.65 c #Conflicts: 1639000 | #Constraints: 48120
2310.35/2316.65 c #Conflicts: 1640000 | #Constraints: 49120
2310.35/2316.65 c #Conflicts: 1641000 | #Constraints: 50120
2310.35/2316.65 c #Conflicts: 1642000 | #Constraints: 51120
2310.35/2316.65 c INPROCESSING
2310.35/2316.65 c GARBAGE COLLECT
2310.35/2316.65 c #Conflicts: 1643000 | #Constraints: 26724
2310.35/2316.65 c #Conflicts: 1644000 | #Constraints: 27724
2310.35/2316.65 c #Conflicts: 1645000 | #Constraints: 28724
2310.35/2316.65 c #Conflicts: 1646000 | #Constraints: 29724
2310.35/2316.65 c #Conflicts: 1647000 | #Constraints: 30724
2310.35/2316.65 c #Conflicts: 1648000 | #Constraints: 31724
2310.35/2316.65 c #Conflicts: 1649000 | #Constraints: 32724
2310.35/2316.65 c #Conflicts: 1650000 | #Constraints: 33724
2310.35/2316.65 c #Conflicts: 1651000 | #Constraints: 34724
2310.35/2316.65 c #Conflicts: 1652000 | #Constraints: 35724
2310.35/2316.65 c #Conflicts: 1653000 | #Constraints: 36724
2310.35/2316.65 c #Conflicts: 1654000 | #Constraints: 37724
2310.35/2316.65 c #Conflicts: 1655000 | #Constraints: 38724
2310.35/2316.65 c #Conflicts: 1656000 | #Constraints: 39724
2310.35/2316.65 c #Conflicts: 1657000 | #Constraints: 40724
2310.35/2316.65 c #Conflicts: 1658000 | #Constraints: 41724
2475.66/2482.44 c #Conflicts: 1659000 | #Constraints: 42724
2475.66/2482.44 c #Conflicts: 1660000 | #Constraints: 43724
2475.66/2482.44 c #Conflicts: 1661000 | #Constraints: 44724
2475.66/2482.44 c #Conflicts: 1662000 | #Constraints: 45724
2475.66/2482.44 c #Conflicts: 1663000 | #Constraints: 46724
2475.66/2482.44 c #Conflicts: 1664000 | #Constraints: 47724
2475.66/2482.44 c #Conflicts: 1665000 | #Constraints: 48724
2475.66/2482.44 c #Conflicts: 1666000 | #Constraints: 49724
2475.66/2482.44 c #Conflicts: 1667000 | #Constraints: 50724
2475.66/2482.44 c #Conflicts: 1668000 | #Constraints: 51724
2475.66/2482.44 c INPROCESSING
2475.66/2482.44 c GARBAGE COLLECT
2475.66/2482.44 c #Conflicts: 1669000 | #Constraints: 27117
2475.66/2482.44 c #Conflicts: 1670000 | #Constraints: 28117
2475.66/2482.44 c #Conflicts: 1671000 | #Constraints: 29117
2475.66/2482.44 c #Conflicts: 1672000 | #Constraints: 30117
2475.66/2482.44 c #Conflicts: 1673000 | #Constraints: 31117
2475.66/2482.44 c #Conflicts: 1674000 | #Constraints: 32117
2475.66/2482.44 c #Conflicts: 1675000 | #Constraints: 33117
2475.66/2482.44 c #Conflicts: 1676000 | #Constraints: 34117
2475.66/2482.44 c #Conflicts: 1677000 | #Constraints: 35117
2475.66/2482.44 c #Conflicts: 1678000 | #Constraints: 36117
2475.66/2482.44 c #Conflicts: 1679000 | #Constraints: 37117
2475.66/2482.44 c #Conflicts: 1680000 | #Constraints: 38117
2475.66/2482.44 c #Conflicts: 1681000 | #Constraints: 39117
2475.66/2482.44 c #Conflicts: 1682000 | #Constraints: 40117
2475.66/2482.44 c #Conflicts: 1683000 | #Constraints: 41117
2475.66/2482.44 c #Conflicts: 1684000 | #Constraints: 42117
2475.66/2482.44 c #Conflicts: 1685000 | #Constraints: 43117
2475.66/2482.44 c #Conflicts: 1686000 | #Constraints: 44117
2475.66/2482.44 c #Conflicts: 1687000 | #Constraints: 45117
2475.66/2482.44 c #Conflicts: 1688000 | #Constraints: 46117
2475.66/2482.44 c #Conflicts: 1689000 | #Constraints: 47117
2475.66/2482.44 c #Conflicts: 1690000 | #Constraints: 48117
2475.66/2482.44 c #Conflicts: 1691000 | #Constraints: 49117
2475.66/2482.44 c #Conflicts: 1692000 | #Constraints: 50117
2475.66/2482.44 c #Conflicts: 1693000 | #Constraints: 51117
2475.66/2482.44 c #Conflicts: 1694000 | #Constraints: 52117
2475.66/2482.44 c INPROCESSING
2475.66/2482.44 c GARBAGE COLLECT
2475.66/2482.44 c #Conflicts: 1695000 | #Constraints: 27311
2475.66/2482.44 c #Conflicts: 1696000 | #Constraints: 28311
2475.66/2482.44 c #Conflicts: 1697000 | #Constraints: 29311
2475.66/2482.44 c #Conflicts: 1698000 | #Constraints: 30311
2475.66/2482.44 c #Conflicts: 1699000 | #Constraints: 31311
2475.66/2482.44 c #Conflicts: 1700000 | #Constraints: 32311
2475.66/2482.44 c #Conflicts: 1701000 | #Constraints: 33311
2475.66/2482.44 c #Conflicts: 1702000 | #Constraints: 34311
2475.66/2482.44 c #Conflicts: 1703000 | #Constraints: 35311
2475.66/2482.44 c #Conflicts: 1704000 | #Constraints: 36311
2475.66/2482.44 c #Conflicts: 1705000 | #Constraints: 37311
2475.66/2482.44 c #Conflicts: 1706000 | #Constraints: 38311
2475.66/2482.44 c #Conflicts: 1707000 | #Constraints: 39311
2475.66/2482.44 c #Conflicts: 1708000 | #Constraints: 40311
2475.66/2482.44 c #Conflicts: 1709000 | #Constraints: 41311
2475.66/2482.44 c #Conflicts: 1710000 | #Constraints: 42311
2475.66/2482.44 c #Conflicts: 1711000 | #Constraints: 43311
2475.66/2482.44 c #Conflicts: 1712000 | #Constraints: 44311
2475.66/2482.44 c #Conflicts: 1713000 | #Constraints: 45311
2475.66/2482.44 c #Conflicts: 1714000 | #Constraints: 46311
2475.66/2482.44 c #Conflicts: 1715000 | #Constraints: 47311
2475.66/2482.44 c #Conflicts: 1716000 | #Constraints: 48311
2475.66/2482.44 c #Conflicts: 1717000 | #Constraints: 49311
2475.66/2482.44 c #Conflicts: 1718000 | #Constraints: 50311
2475.66/2482.44 c #Conflicts: 1719000 | #Constraints: 51311
2475.66/2482.44 c #Conflicts: 1720000 | #Constraints: 52311
2475.66/2482.44 c INPROCESSING
2475.66/2482.44 c GARBAGE COLLECT
2475.66/2482.44 c #Conflicts: 1721000 | #Constraints: 27319
2475.66/2482.44 c #Conflicts: 1722000 | #Constraints: 28319
2475.66/2482.44 c #Conflicts: 1723000 | #Constraints: 29319
2475.66/2482.44 c #Conflicts: 1724000 | #Constraints: 30319
2475.66/2482.44 c #Conflicts: 1725000 | #Constraints: 31319
2475.66/2482.44 c #Conflicts: 1726000 | #Constraints: 32319
2475.66/2482.44 c #Conflicts: 1727000 | #Constraints: 33319
2475.66/2482.44 c #Conflicts: 1728000 | #Constraints: 34319
2475.66/2482.44 c #Conflicts: 1729000 | #Constraints: 35319
2475.66/2482.44 c #Conflicts: 1730000 | #Constraints: 36319
2475.66/2482.44 c #Conflicts: 1731000 | #Constraints: 37319
2475.66/2482.44 c #Conflicts: 1732000 | #Constraints: 38319
2475.66/2482.44 c #Conflicts: 1733000 | #Constraints: 39319
2475.66/2482.44 c #Conflicts: 1734000 | #Constraints: 40319
2475.66/2482.44 c #Conflicts: 1735000 | #Constraints: 41319
2642.64/2649.97 c #Conflicts: 1736000 | #Constraints: 42319
2642.64/2649.97 c #Conflicts: 1737000 | #Constraints: 43319
2642.64/2649.97 c #Conflicts: 1738000 | #Constraints: 44319
2642.64/2649.97 c #Conflicts: 1739000 | #Constraints: 45319
2642.64/2649.97 c #Conflicts: 1740000 | #Constraints: 46319
2642.64/2649.97 c #Conflicts: 1741000 | #Constraints: 47319
2642.64/2649.97 c #Conflicts: 1742000 | #Constraints: 48319
2642.64/2649.97 c #Conflicts: 1743000 | #Constraints: 49319
2642.64/2649.97 c #Conflicts: 1744000 | #Constraints: 50319
2642.64/2649.97 c #Conflicts: 1745000 | #Constraints: 51319
2642.64/2649.97 c #Conflicts: 1746000 | #Constraints: 52319
2642.64/2649.97 c INPROCESSING
2642.64/2649.97 c GARBAGE COLLECT
2642.64/2649.97 c #Conflicts: 1747000 | #Constraints: 27103
2642.64/2649.97 c #Conflicts: 1748000 | #Constraints: 28103
2642.64/2649.97 c #Conflicts: 1749000 | #Constraints: 29103
2642.64/2649.97 c #Conflicts: 1750000 | #Constraints: 30103
2642.64/2649.97 c #Conflicts: 1751000 | #Constraints: 31103
2642.64/2649.97 c #Conflicts: 1752000 | #Constraints: 32103
2642.64/2649.97 c #Conflicts: 1753000 | #Constraints: 33103
2642.64/2649.97 c #Conflicts: 1754000 | #Constraints: 34103
2642.64/2649.97 c #Conflicts: 1755000 | #Constraints: 35103
2642.64/2649.97 c #Conflicts: 1756000 | #Constraints: 36103
2642.64/2649.97 c #Conflicts: 1757000 | #Constraints: 37103
2642.64/2649.97 c #Conflicts: 1758000 | #Constraints: 38103
2642.64/2649.97 c #Conflicts: 1759000 | #Constraints: 39103
2642.64/2649.97 c #Conflicts: 1760000 | #Constraints: 40103
2642.64/2649.97 c #Conflicts: 1761000 | #Constraints: 41103
2642.64/2649.97 c #Conflicts: 1762000 | #Constraints: 42103
2642.64/2649.97 c #Conflicts: 1763000 | #Constraints: 43103
2642.64/2649.97 c #Conflicts: 1764000 | #Constraints: 44103
2642.64/2649.97 c #Conflicts: 1765000 | #Constraints: 45103
2642.64/2649.97 c #Conflicts: 1766000 | #Constraints: 46103
2642.64/2649.97 c #Conflicts: 1767000 | #Constraints: 47103
2642.64/2649.97 c #Conflicts: 1768000 | #Constraints: 48103
2642.64/2649.97 c #Conflicts: 1769000 | #Constraints: 49103
2642.64/2649.97 c #Conflicts: 1770000 | #Constraints: 50103
2642.64/2649.97 c #Conflicts: 1771000 | #Constraints: 51103
2642.64/2649.97 c #Conflicts: 1772000 | #Constraints: 52103
2642.64/2649.97 c #Conflicts: 1773000 | #Constraints: 53103
2642.64/2649.97 c INPROCESSING
2642.64/2649.97 c GARBAGE COLLECT
2642.64/2649.97 c #Conflicts: 1774000 | #Constraints: 27728
2642.64/2649.97 c #Conflicts: 1775000 | #Constraints: 28728
2642.64/2649.97 c #Conflicts: 1776000 | #Constraints: 29728
2642.64/2649.97 c #Conflicts: 1777000 | #Constraints: 30728
2642.64/2649.97 c #Conflicts: 1778000 | #Constraints: 31728
2642.64/2649.97 c #Conflicts: 1779000 | #Constraints: 32728
2642.64/2649.97 c #Conflicts: 1780000 | #Constraints: 33728
2642.64/2649.97 c #Conflicts: 1781000 | #Constraints: 34728
2642.64/2649.97 c #Conflicts: 1782000 | #Constraints: 35728
2642.64/2649.97 c #Conflicts: 1783000 | #Constraints: 36728
2642.64/2649.97 c #Conflicts: 1784000 | #Constraints: 37728
2642.64/2649.97 c #Conflicts: 1785000 | #Constraints: 38728
2642.64/2649.97 c #Conflicts: 1786000 | #Constraints: 39728
2642.64/2649.97 c #Conflicts: 1787000 | #Constraints: 40728
2642.64/2649.97 c #Conflicts: 1788000 | #Constraints: 41728
2642.64/2649.97 c #Conflicts: 1789000 | #Constraints: 42728
2642.64/2649.97 c #Conflicts: 1790000 | #Constraints: 43728
2642.64/2649.97 c #Conflicts: 1791000 | #Constraints: 44728
2642.64/2649.97 c #Conflicts: 1792000 | #Constraints: 45728
2642.64/2649.97 c #Conflicts: 1793000 | #Constraints: 46728
2642.64/2649.97 c #Conflicts: 1794000 | #Constraints: 47728
2642.64/2649.97 c #Conflicts: 1795000 | #Constraints: 48728
2642.64/2649.97 c #Conflicts: 1796000 | #Constraints: 49728
2642.64/2649.97 c #Conflicts: 1797000 | #Constraints: 50728
2642.64/2649.97 c #Conflicts: 1798000 | #Constraints: 51728
2642.64/2649.97 c #Conflicts: 1799000 | #Constraints: 52728
2642.64/2649.97 c #Conflicts: 1800000 | #Constraints: 53728
2642.64/2649.97 c INPROCESSING
2642.64/2649.97 c GARBAGE COLLECT
2642.64/2649.97 c #Conflicts: 1801000 | #Constraints: 28128
2642.64/2649.97 c #Conflicts: 1802000 | #Constraints: 29128
2642.64/2649.97 c #Conflicts: 1803000 | #Constraints: 30128
2642.64/2649.97 c #Conflicts: 1804000 | #Constraints: 31128
2642.64/2649.97 c #Conflicts: 1805000 | #Constraints: 32128
2642.64/2649.97 c #Conflicts: 1806000 | #Constraints: 33128
2642.64/2649.97 c #Conflicts: 1807000 | #Constraints: 34128
2642.64/2649.97 c #Conflicts: 1808000 | #Constraints: 35128
2642.64/2649.97 c #Conflicts: 1809000 | #Constraints: 36128
2642.64/2649.97 c #Conflicts: 1810000 | #Constraints: 37128
2642.64/2649.97 c #Conflicts: 1811000 | #Constraints: 38128
2642.64/2649.97 c #Conflicts: 1812000 | #Constraints: 39128
2796.45/2804.20 c #Conflicts: 1813000 | #Constraints: 40128
2796.45/2804.20 c #Conflicts: 1814000 | #Constraints: 41128
2796.45/2804.20 c #Conflicts: 1815000 | #Constraints: 42128
2796.45/2804.20 c #Conflicts: 1816000 | #Constraints: 43128
2796.45/2804.20 c #Conflicts: 1817000 | #Constraints: 44128
2796.45/2804.20 c #Conflicts: 1818000 | #Constraints: 45128
2796.45/2804.20 c #Conflicts: 1819000 | #Constraints: 46128
2796.45/2804.20 c #Conflicts: 1820000 | #Constraints: 47128
2796.45/2804.20 c #Conflicts: 1821000 | #Constraints: 48128
2796.45/2804.20 c #Conflicts: 1822000 | #Constraints: 49128
2796.45/2804.20 c #Conflicts: 1823000 | #Constraints: 50128
2796.45/2804.20 c #Conflicts: 1824000 | #Constraints: 51128
2796.45/2804.20 c #Conflicts: 1825000 | #Constraints: 52128
2796.45/2804.20 c #Conflicts: 1826000 | #Constraints: 53128
2796.45/2804.20 c #Conflicts: 1827000 | #Constraints: 54128
2796.45/2804.20 c INPROCESSING
2796.45/2804.20 c GARBAGE COLLECT
2796.45/2804.20 c #Conflicts: 1828000 | #Constraints: 28323
2796.45/2804.20 c #Conflicts: 1829000 | #Constraints: 29323
2796.45/2804.20 c #Conflicts: 1830000 | #Constraints: 30323
2796.45/2804.20 c #Conflicts: 1831000 | #Constraints: 31323
2796.45/2804.20 c #Conflicts: 1832000 | #Constraints: 32323
2796.45/2804.20 c #Conflicts: 1833000 | #Constraints: 33323
2796.45/2804.20 c #Conflicts: 1834000 | #Constraints: 34323
2796.45/2804.20 c #Conflicts: 1835000 | #Constraints: 35323
2796.45/2804.20 c #Conflicts: 1836000 | #Constraints: 36323
2796.45/2804.20 c #Conflicts: 1837000 | #Constraints: 37323
2796.45/2804.20 c #Conflicts: 1838000 | #Constraints: 38323
2796.45/2804.20 c #Conflicts: 1839000 | #Constraints: 39323
2796.45/2804.20 c #Conflicts: 1840000 | #Constraints: 40323
2796.45/2804.20 c #Conflicts: 1841000 | #Constraints: 41323
2796.45/2804.20 c #Conflicts: 1842000 | #Constraints: 42323
2796.45/2804.20 c #Conflicts: 1843000 | #Constraints: 43323
2796.45/2804.20 c #Conflicts: 1844000 | #Constraints: 44323
2796.45/2804.20 c #Conflicts: 1845000 | #Constraints: 45323
2796.45/2804.20 c #Conflicts: 1846000 | #Constraints: 46323
2796.45/2804.20 c #Conflicts: 1847000 | #Constraints: 47323
2796.45/2804.20 c #Conflicts: 1848000 | #Constraints: 48323
2796.45/2804.20 c #Conflicts: 1849000 | #Constraints: 49323
2796.45/2804.20 c #Conflicts: 1850000 | #Constraints: 50323
2796.45/2804.20 c #Conflicts: 1851000 | #Constraints: 51323
2796.45/2804.20 c #Conflicts: 1852000 | #Constraints: 52323
2796.45/2804.20 c #Conflicts: 1853000 | #Constraints: 53323
2796.45/2804.20 c #Conflicts: 1854000 | #Constraints: 54323
2796.45/2804.20 c INPROCESSING
2796.45/2804.20 c GARBAGE COLLECT
2796.45/2804.20 c #Conflicts: 1855000 | #Constraints: 28311
2796.45/2804.20 c #Conflicts: 1856000 | #Constraints: 29311
2796.45/2804.20 c #Conflicts: 1857000 | #Constraints: 30311
2796.45/2804.20 c #Conflicts: 1858000 | #Constraints: 31311
2796.45/2804.20 c #Conflicts: 1859000 | #Constraints: 32311
2796.45/2804.20 c #Conflicts: 1860000 | #Constraints: 33311
2796.45/2804.20 c #Conflicts: 1861000 | #Constraints: 34311
2796.45/2804.20 c #Conflicts: 1862000 | #Constraints: 35311
2796.45/2804.20 c #Conflicts: 1863000 | #Constraints: 36311
2796.45/2804.20 c #Conflicts: 1864000 | #Constraints: 37311
2796.45/2804.20 c #Conflicts: 1865000 | #Constraints: 38311
2796.45/2804.20 c #Conflicts: 1866000 | #Constraints: 39311
2796.45/2804.20 c #Conflicts: 1867000 | #Constraints: 40311
2796.45/2804.20 c #Conflicts: 1868000 | #Constraints: 41311
2796.45/2804.20 c #Conflicts: 1869000 | #Constraints: 42311
2796.45/2804.20 c #Conflicts: 1870000 | #Constraints: 43311
2796.45/2804.20 c #Conflicts: 1871000 | #Constraints: 44311
2796.45/2804.20 c #Conflicts: 1872000 | #Constraints: 45311
2796.45/2804.20 c #Conflicts: 1873000 | #Constraints: 46311
2796.45/2804.20 c #Conflicts: 1874000 | #Constraints: 47311
2796.45/2804.20 c #Conflicts: 1875000 | #Constraints: 48311
2796.45/2804.20 c #Conflicts: 1876000 | #Constraints: 49311
2796.45/2804.20 c #Conflicts: 1877000 | #Constraints: 50311
2796.45/2804.20 c #Conflicts: 1878000 | #Constraints: 51311
2796.45/2804.20 c #Conflicts: 1879000 | #Constraints: 52311
2796.45/2804.20 c #Conflicts: 1880000 | #Constraints: 53311
2796.45/2804.20 c #Conflicts: 1881000 | #Constraints: 54311
2796.45/2804.20 c INPROCESSING
2796.45/2804.20 c GARBAGE COLLECT
2796.45/2804.20 c #Conflicts: 1882000 | #Constraints: 28092
2796.45/2804.20 c #Conflicts: 1883000 | #Constraints: 29092
2796.45/2804.20 c #Conflicts: 1884000 | #Constraints: 30092
2796.45/2804.20 c #Conflicts: 1885000 | #Constraints: 31092
2796.45/2804.20 c #Conflicts: 1886000 | #Constraints: 32092
2796.45/2804.20 c #Conflicts: 1887000 | #Constraints: 33092
2796.45/2804.20 c #Conflicts: 1888000 | #Constraints: 34092
2969.21/2977.59 c #Conflicts: 1889000 | #Constraints: 35092
2969.21/2977.59 c #Conflicts: 1890000 | #Constraints: 36092
2969.21/2977.59 c #Conflicts: 1891000 | #Constraints: 37092
2969.21/2977.59 c #Conflicts: 1892000 | #Constraints: 38092
2969.21/2977.59 c #Conflicts: 1893000 | #Constraints: 39092
2969.21/2977.59 c #Conflicts: 1894000 | #Constraints: 40092
2969.21/2977.59 c #Conflicts: 1895000 | #Constraints: 41092
2969.21/2977.59 c #Conflicts: 1896000 | #Constraints: 42092
2969.21/2977.59 c #Conflicts: 1897000 | #Constraints: 43092
2969.21/2977.59 c #Conflicts: 1898000 | #Constraints: 44092
2969.21/2977.59 c #Conflicts: 1899000 | #Constraints: 45092
2969.21/2977.59 c #Conflicts: 1900000 | #Constraints: 46092
2969.21/2977.59 c #Conflicts: 1901000 | #Constraints: 47092
2969.21/2977.59 c #Conflicts: 1902000 | #Constraints: 48092
2969.21/2977.59 c #Conflicts: 1903000 | #Constraints: 49092
2969.21/2977.59 c #Conflicts: 1904000 | #Constraints: 50092
2969.21/2977.59 c #Conflicts: 1905000 | #Constraints: 51092
2969.21/2977.59 c #Conflicts: 1906000 | #Constraints: 52092
2969.21/2977.59 c #Conflicts: 1907000 | #Constraints: 53092
2969.21/2977.59 c #Conflicts: 1908000 | #Constraints: 54092
2969.21/2977.59 c #Conflicts: 1909000 | #Constraints: 55092
2969.21/2977.59 c INPROCESSING
2969.21/2977.59 c GARBAGE COLLECT
2969.21/2977.59 c #Conflicts: 1910000 | #Constraints: 28701
2969.21/2977.59 c #Conflicts: 1911000 | #Constraints: 29701
2969.21/2977.59 c #Conflicts: 1912000 | #Constraints: 30701
2969.21/2977.59 c #Conflicts: 1913000 | #Constraints: 31701
2969.21/2977.59 c #Conflicts: 1914000 | #Constraints: 32701
2969.21/2977.59 c #Conflicts: 1915000 | #Constraints: 33701
2969.21/2977.59 c #Conflicts: 1916000 | #Constraints: 34701
2969.21/2977.59 c #Conflicts: 1917000 | #Constraints: 35701
2969.21/2977.59 c #Conflicts: 1918000 | #Constraints: 36701
2969.21/2977.59 c #Conflicts: 1919000 | #Constraints: 37701
2969.21/2977.59 c #Conflicts: 1920000 | #Constraints: 38701
2969.21/2977.59 c #Conflicts: 1921000 | #Constraints: 39701
2969.21/2977.59 c #Conflicts: 1922000 | #Constraints: 40701
2969.21/2977.59 c #Conflicts: 1923000 | #Constraints: 41701
2969.21/2977.59 c #Conflicts: 1924000 | #Constraints: 42701
2969.21/2977.59 c #Conflicts: 1925000 | #Constraints: 43701
2969.21/2977.59 c #Conflicts: 1926000 | #Constraints: 44701
2969.21/2977.59 c #Conflicts: 1927000 | #Constraints: 45701
2969.21/2977.59 c #Conflicts: 1928000 | #Constraints: 46701
2969.21/2977.59 c #Conflicts: 1929000 | #Constraints: 47701
2969.21/2977.59 c #Conflicts: 1930000 | #Constraints: 48701
2969.21/2977.59 c #Conflicts: 1931000 | #Constraints: 49701
2969.21/2977.59 c #Conflicts: 1932000 | #Constraints: 50701
2969.21/2977.59 c #Conflicts: 1933000 | #Constraints: 51701
2969.21/2977.59 c #Conflicts: 1934000 | #Constraints: 52701
2969.21/2977.59 c #Conflicts: 1935000 | #Constraints: 53701
2969.21/2977.59 c #Conflicts: 1936000 | #Constraints: 54701
2969.21/2977.59 c #Conflicts: 1937000 | #Constraints: 55701
2969.21/2977.59 c INPROCESSING
2969.21/2977.59 c GARBAGE COLLECT
2969.21/2977.59 c #Conflicts: 1938000 | #Constraints: 29122
2969.21/2977.59 c #Conflicts: 1939000 | #Constraints: 30122
2969.21/2977.59 c #Conflicts: 1940000 | #Constraints: 31122
2969.21/2977.59 c #Conflicts: 1941000 | #Constraints: 32122
2969.21/2977.59 c #Conflicts: 1942000 | #Constraints: 33122
2969.21/2977.59 c #Conflicts: 1943000 | #Constraints: 34122
2969.21/2977.59 c #Conflicts: 1944000 | #Constraints: 35122
2969.21/2977.59 c #Conflicts: 1945000 | #Constraints: 36122
2969.21/2977.59 c #Conflicts: 1946000 | #Constraints: 37122
2969.21/2977.59 c #Conflicts: 1947000 | #Constraints: 38122
2969.21/2977.59 c #Conflicts: 1948000 | #Constraints: 39122
2969.21/2977.59 c #Conflicts: 1949000 | #Constraints: 40122
2969.21/2977.59 c #Conflicts: 1950000 | #Constraints: 41122
2969.21/2977.59 c #Conflicts: 1951000 | #Constraints: 42122
2969.21/2977.59 c #Conflicts: 1952000 | #Constraints: 43122
2969.21/2977.59 c #Conflicts: 1953000 | #Constraints: 44122
2969.21/2977.59 c #Conflicts: 1954000 | #Constraints: 45122
2969.21/2977.59 c #Conflicts: 1955000 | #Constraints: 46122
2969.21/2977.59 c #Conflicts: 1956000 | #Constraints: 47122
2969.21/2977.59 c #Conflicts: 1957000 | #Constraints: 48122
2969.21/2977.59 c #Conflicts: 1958000 | #Constraints: 49122
2969.21/2977.59 c #Conflicts: 1959000 | #Constraints: 50122
2969.21/2977.59 c #Conflicts: 1960000 | #Constraints: 51122
2969.21/2977.59 c #Conflicts: 1961000 | #Constraints: 52122
2969.21/2977.59 c #Conflicts: 1962000 | #Constraints: 53122
2969.21/2977.59 c #Conflicts: 1963000 | #Constraints: 54122
2969.21/2977.59 c #Conflicts: 1964000 | #Constraints: 55122
2969.21/2977.59 c #Conflicts: 1965000 | #Constraints: 56122
2969.21/2977.59 c INPROCESSING
2969.21/2977.59 c GARBAGE COLLECT
3138.47/3147.32 c #Conflicts: 1966000 | #Constraints: 29312
3138.47/3147.32 c #Conflicts: 1967000 | #Constraints: 30312
3138.47/3147.32 c #Conflicts: 1968000 | #Constraints: 31312
3138.47/3147.32 c #Conflicts: 1969000 | #Constraints: 32312
3138.47/3147.32 c #Conflicts: 1970000 | #Constraints: 33312
3138.47/3147.32 c #Conflicts: 1971000 | #Constraints: 34312
3138.47/3147.32 c #Conflicts: 1972000 | #Constraints: 35312
3138.47/3147.32 c #Conflicts: 1973000 | #Constraints: 36312
3138.47/3147.32 c #Conflicts: 1974000 | #Constraints: 37312
3138.47/3147.32 c #Conflicts: 1975000 | #Constraints: 38312
3138.47/3147.32 c #Conflicts: 1976000 | #Constraints: 39312
3138.47/3147.32 c #Conflicts: 1977000 | #Constraints: 40312
3138.47/3147.32 c #Conflicts: 1978000 | #Constraints: 41312
3138.47/3147.32 c #Conflicts: 1979000 | #Constraints: 42312
3138.47/3147.32 c #Conflicts: 1980000 | #Constraints: 43312
3138.47/3147.32 c #Conflicts: 1981000 | #Constraints: 44312
3138.47/3147.32 c #Conflicts: 1982000 | #Constraints: 45312
3138.47/3147.32 c #Conflicts: 1983000 | #Constraints: 46312
3138.47/3147.32 c #Conflicts: 1984000 | #Constraints: 47312
3138.47/3147.32 c #Conflicts: 1985000 | #Constraints: 48312
3138.47/3147.32 c #Conflicts: 1986000 | #Constraints: 49312
3138.47/3147.32 c #Conflicts: 1987000 | #Constraints: 50312
3138.47/3147.32 c #Conflicts: 1988000 | #Constraints: 51312
3138.47/3147.32 c #Conflicts: 1989000 | #Constraints: 52312
3138.47/3147.32 c #Conflicts: 1990000 | #Constraints: 53312
3138.47/3147.32 c #Conflicts: 1991000 | #Constraints: 54312
3138.47/3147.32 c #Conflicts: 1992000 | #Constraints: 55312
3138.47/3147.32 c #Conflicts: 1993000 | #Constraints: 56312
3138.47/3147.32 c INPROCESSING
3138.47/3147.32 c GARBAGE COLLECT
3138.47/3147.32 c #Conflicts: 1994000 | #Constraints: 29324
3138.47/3147.32 c #Conflicts: 1995000 | #Constraints: 30324
3138.47/3147.32 c #Conflicts: 1996000 | #Constraints: 31324
3138.47/3147.32 c #Conflicts: 1997000 | #Constraints: 32324
3138.47/3147.32 c #Conflicts: 1998000 | #Constraints: 33324
3138.47/3147.32 c #Conflicts: 1999000 | #Constraints: 34324
3138.47/3147.32 c #Conflicts: 2000000 | #Constraints: 35324
3138.47/3147.32 c #Conflicts: 2001000 | #Constraints: 36324
3138.47/3147.32 c #Conflicts: 2002000 | #Constraints: 37324
3138.47/3147.32 c #Conflicts: 2003000 | #Constraints: 38324
3138.47/3147.32 c #Conflicts: 2004000 | #Constraints: 39324
3138.47/3147.32 c #Conflicts: 2005000 | #Constraints: 40324
3138.47/3147.32 c #Conflicts: 2006000 | #Constraints: 41324
3138.47/3147.32 c #Conflicts: 2007000 | #Constraints: 42324
3138.47/3147.32 c #Conflicts: 2008000 | #Constraints: 43324
3138.47/3147.32 c #Conflicts: 2009000 | #Constraints: 44324
3138.47/3147.32 c #Conflicts: 2010000 | #Constraints: 45324
3138.47/3147.32 c #Conflicts: 2011000 | #Constraints: 46324
3138.47/3147.32 c #Conflicts: 2012000 | #Constraints: 47324
3138.47/3147.32 c #Conflicts: 2013000 | #Constraints: 48324
3138.47/3147.32 c #Conflicts: 2014000 | #Constraints: 49324
3138.47/3147.32 c #Conflicts: 2015000 | #Constraints: 50324
3138.47/3147.32 c #Conflicts: 2016000 | #Constraints: 51324
3138.47/3147.32 c #Conflicts: 2017000 | #Constraints: 52324
3138.47/3147.32 c #Conflicts: 2018000 | #Constraints: 53324
3138.47/3147.32 c #Conflicts: 2019000 | #Constraints: 54324
3138.47/3147.32 c #Conflicts: 2020000 | #Constraints: 55324
3138.47/3147.32 c #Conflicts: 2021000 | #Constraints: 56324
3138.47/3147.32 c INPROCESSING
3138.47/3147.32 c GARBAGE COLLECT
3138.47/3147.32 c #Conflicts: 2022000 | #Constraints: 29127
3138.47/3147.32 c #Conflicts: 2023000 | #Constraints: 30127
3138.47/3147.32 c #Conflicts: 2024000 | #Constraints: 31127
3138.47/3147.32 c #Conflicts: 2025000 | #Constraints: 32127
3138.47/3147.32 c #Conflicts: 2026000 | #Constraints: 33127
3138.47/3147.32 c #Conflicts: 2027000 | #Constraints: 34127
3138.47/3147.32 c #Conflicts: 2028000 | #Constraints: 35127
3138.47/3147.32 c #Conflicts: 2029000 | #Constraints: 36127
3138.47/3147.32 c #Conflicts: 2030000 | #Constraints: 37127
3138.47/3147.32 c #Conflicts: 2031000 | #Constraints: 38127
3138.47/3147.32 c #Conflicts: 2032000 | #Constraints: 39127
3138.47/3147.32 c #Conflicts: 2033000 | #Constraints: 40127
3138.47/3147.32 c #Conflicts: 2034000 | #Constraints: 41127
3138.47/3147.32 c #Conflicts: 2035000 | #Constraints: 42127
3138.47/3147.32 c #Conflicts: 2036000 | #Constraints: 43127
3138.47/3147.32 c #Conflicts: 2037000 | #Constraints: 44127
3138.47/3147.32 c #Conflicts: 2038000 | #Constraints: 45127
3138.47/3147.32 c #Conflicts: 2039000 | #Constraints: 46127
3138.47/3147.32 c #Conflicts: 2040000 | #Constraints: 47127
3138.47/3147.32 c #Conflicts: 2041000 | #Constraints: 48127
3138.47/3147.32 c #Conflicts: 2042000 | #Constraints: 49127
3138.47/3147.32 c #Conflicts: 2043000 | #Constraints: 50127
3287.29/3296.67 c #Conflicts: 2044000 | #Constraints: 51127
3287.29/3296.67 c #Conflicts: 2045000 | #Constraints: 52127
3287.29/3296.67 c #Conflicts: 2046000 | #Constraints: 53127
3287.29/3296.67 c #Conflicts: 2047000 | #Constraints: 54127
3287.29/3296.67 c #Conflicts: 2048000 | #Constraints: 55127
3287.29/3296.67 c #Conflicts: 2049000 | #Constraints: 56127
3287.29/3296.67 c #Conflicts: 2050000 | #Constraints: 57127
3287.29/3296.67 c INPROCESSING
3287.29/3296.67 c GARBAGE COLLECT
3287.29/3296.67 c #Conflicts: 2051000 | #Constraints: 29689
3287.29/3296.67 c #Conflicts: 2052000 | #Constraints: 30689
3287.29/3296.67 c #Conflicts: 2053000 | #Constraints: 31689
3287.29/3296.67 c #Conflicts: 2054000 | #Constraints: 32689
3287.29/3296.67 c #Conflicts: 2055000 | #Constraints: 33689
3287.29/3296.67 c #Conflicts: 2056000 | #Constraints: 34689
3287.29/3296.67 c #Conflicts: 2057000 | #Constraints: 35689
3287.29/3296.67 c #Conflicts: 2058000 | #Constraints: 36689
3287.29/3296.67 c #Conflicts: 2059000 | #Constraints: 37689
3287.29/3296.67 c #Conflicts: 2060000 | #Constraints: 38689
3287.29/3296.67 c #Conflicts: 2061000 | #Constraints: 39689
3287.29/3296.67 c #Conflicts: 2062000 | #Constraints: 40689
3287.29/3296.67 c #Conflicts: 2063000 | #Constraints: 41689
3287.29/3296.67 c #Conflicts: 2064000 | #Constraints: 42689
3287.29/3296.67 c #Conflicts: 2065000 | #Constraints: 43689
3287.29/3296.67 c #Conflicts: 2066000 | #Constraints: 44689
3287.29/3296.67 c #Conflicts: 2067000 | #Constraints: 45689
3287.29/3296.67 c #Conflicts: 2068000 | #Constraints: 46689
3287.29/3296.67 c #Conflicts: 2069000 | #Constraints: 47689
3287.29/3296.67 c #Conflicts: 2070000 | #Constraints: 48689
3287.29/3296.67 c #Conflicts: 2071000 | #Constraints: 49689
3287.29/3296.67 c #Conflicts: 2072000 | #Constraints: 50689
3287.29/3296.67 c #Conflicts: 2073000 | #Constraints: 51689
3287.29/3296.67 c #Conflicts: 2074000 | #Constraints: 52689
3287.29/3296.67 c #Conflicts: 2075000 | #Constraints: 53689
3287.29/3296.67 c #Conflicts: 2076000 | #Constraints: 54689
3287.29/3296.67 c #Conflicts: 2077000 | #Constraints: 55689
3287.29/3296.67 c #Conflicts: 2078000 | #Constraints: 56689
3287.29/3296.67 c #Conflicts: 2079000 | #Constraints: 57689
3287.29/3296.67 c INPROCESSING
3287.29/3296.67 c GARBAGE COLLECT
3287.29/3296.67 c #Conflicts: 2080000 | #Constraints: 30110
3287.29/3296.67 c #Conflicts: 2081000 | #Constraints: 31110
3287.29/3296.67 c #Conflicts: 2082000 | #Constraints: 32110
3287.29/3296.67 c #Conflicts: 2083000 | #Constraints: 33110
3287.29/3296.67 c #Conflicts: 2084000 | #Constraints: 34110
3287.29/3296.67 c #Conflicts: 2085000 | #Constraints: 35110
3287.29/3296.67 c #Conflicts: 2086000 | #Constraints: 36110
3287.29/3296.67 c #Conflicts: 2087000 | #Constraints: 37110
3287.29/3296.67 c #Conflicts: 2088000 | #Constraints: 38110
3287.29/3296.67 c #Conflicts: 2089000 | #Constraints: 39110
3287.29/3296.67 c #Conflicts: 2090000 | #Constraints: 40110
3287.29/3296.67 c #Conflicts: 2091000 | #Constraints: 41110
3287.29/3296.67 c #Conflicts: 2092000 | #Constraints: 42110
3287.29/3296.67 c #Conflicts: 2093000 | #Constraints: 43110
3287.29/3296.67 c #Conflicts: 2094000 | #Constraints: 44110
3287.29/3296.67 c #Conflicts: 2095000 | #Constraints: 45110
3287.29/3296.67 c #Conflicts: 2096000 | #Constraints: 46110
3287.29/3296.67 c #Conflicts: 2097000 | #Constraints: 47110
3287.29/3296.67 c #Conflicts: 2098000 | #Constraints: 48110
3287.29/3296.67 c #Conflicts: 2099000 | #Constraints: 49110
3287.29/3296.67 c #Conflicts: 2100000 | #Constraints: 50110
3287.29/3296.67 c #Conflicts: 2101000 | #Constraints: 51110
3287.29/3296.67 c #Conflicts: 2102000 | #Constraints: 52110
3287.29/3296.67 c #Conflicts: 2103000 | #Constraints: 53110
3287.29/3296.67 c #Conflicts: 2104000 | #Constraints: 54110
3287.29/3296.67 c #Conflicts: 2105000 | #Constraints: 55110
3287.29/3296.67 c #Conflicts: 2106000 | #Constraints: 56110
3287.29/3296.67 c #Conflicts: 2107000 | #Constraints: 57110
3287.29/3296.67 c #Conflicts: 2108000 | #Constraints: 58110
3287.29/3296.67 c INPROCESSING
3287.29/3296.67 c GARBAGE COLLECT
3287.29/3296.67 c #Conflicts: 2109000 | #Constraints: 30310
3287.29/3296.67 c #Conflicts: 2110000 | #Constraints: 31310
3287.29/3296.67 c #Conflicts: 2111000 | #Constraints: 32310
3287.29/3296.67 c #Conflicts: 2112000 | #Constraints: 33310
3287.29/3296.67 c #Conflicts: 2113000 | #Constraints: 34310
3287.29/3296.67 c #Conflicts: 2114000 | #Constraints: 35310
3287.29/3296.67 c #Conflicts: 2115000 | #Constraints: 36310
3287.29/3296.67 c #Conflicts: 2116000 | #Constraints: 37310
3287.29/3296.67 c #Conflicts: 2117000 | #Constraints: 38310
3287.29/3296.67 c #Conflicts: 2118000 | #Constraints: 39310
3287.29/3296.67 c #Conflicts: 2119000 | #Constraints: 40310
3287.29/3296.67 c #Conflicts: 2120000 | #Constraints: 41310
3415.79/3425.59 c #Conflicts: 2121000 | #Constraints: 42310
3415.79/3425.59 c #Conflicts: 2122000 | #Constraints: 43310
3415.79/3425.59 c #Conflicts: 2123000 | #Constraints: 44310
3415.79/3425.59 c #Conflicts: 2124000 | #Constraints: 45310
3415.79/3425.59 c #Conflicts: 2125000 | #Constraints: 46310
3415.79/3425.59 c #Conflicts: 2126000 | #Constraints: 47310
3415.79/3425.59 c #Conflicts: 2127000 | #Constraints: 48310
3415.79/3425.59 c #Conflicts: 2128000 | #Constraints: 49310
3415.79/3425.59 c #Conflicts: 2129000 | #Constraints: 50310
3415.79/3425.59 c #Conflicts: 2130000 | #Constraints: 51310
3415.79/3425.59 c #Conflicts: 2131000 | #Constraints: 52310
3415.79/3425.59 c #Conflicts: 2132000 | #Constraints: 53310
3415.79/3425.59 c #Conflicts: 2133000 | #Constraints: 54310
3415.79/3425.59 c #Conflicts: 2134000 | #Constraints: 55310
3415.79/3425.59 c #Conflicts: 2135000 | #Constraints: 56310
3415.79/3425.59 c #Conflicts: 2136000 | #Constraints: 57310
3415.79/3425.59 c #Conflicts: 2137000 | #Constraints: 58310
3415.79/3425.59 c INPROCESSING
3415.79/3425.59 c GARBAGE COLLECT
3415.79/3425.59 c #Conflicts: 2138000 | #Constraints: 30328
3415.79/3425.59 c #Conflicts: 2139000 | #Constraints: 31328
3415.79/3425.59 c #Conflicts: 2140000 | #Constraints: 32328
3415.79/3425.59 c #Conflicts: 2141000 | #Constraints: 33328
3415.79/3425.59 c #Conflicts: 2142000 | #Constraints: 34328
3415.79/3425.59 c #Conflicts: 2143000 | #Constraints: 35328
3415.79/3425.59 c #Conflicts: 2144000 | #Constraints: 36328
3415.79/3425.59 c #Conflicts: 2145000 | #Constraints: 37328
3415.79/3425.59 c #Conflicts: 2146000 | #Constraints: 38328
3415.79/3425.59 c #Conflicts: 2147000 | #Constraints: 39328
3415.79/3425.59 c #Conflicts: 2148000 | #Constraints: 40328
3415.79/3425.59 c #Conflicts: 2149000 | #Constraints: 41328
3415.79/3425.59 c #Conflicts: 2150000 | #Constraints: 42328
3415.79/3425.59 c #Conflicts: 2151000 | #Constraints: 43328
3415.79/3425.59 c #Conflicts: 2152000 | #Constraints: 44328
3415.79/3425.59 c #Conflicts: 2153000 | #Constraints: 45328
3415.79/3425.59 c #Conflicts: 2154000 | #Constraints: 46328
3415.79/3425.59 c #Conflicts: 2155000 | #Constraints: 47328
3415.79/3425.59 c #Conflicts: 2156000 | #Constraints: 48328
3415.79/3425.59 c #Conflicts: 2157000 | #Constraints: 49328
3415.79/3425.59 c #Conflicts: 2158000 | #Constraints: 50328
3415.79/3425.59 c #Conflicts: 2159000 | #Constraints: 51328
3415.79/3425.59 c #Conflicts: 2160000 | #Constraints: 52328
3415.79/3425.59 c #Conflicts: 2161000 | #Constraints: 53328
3415.79/3425.59 c #Conflicts: 2162000 | #Constraints: 54328
3415.79/3425.59 c #Conflicts: 2163000 | #Constraints: 55328
3415.79/3425.59 c #Conflicts: 2164000 | #Constraints: 56328
3415.79/3425.59 c #Conflicts: 2165000 | #Constraints: 57328
3415.79/3425.59 c #Conflicts: 2166000 | #Constraints: 58328
3415.79/3425.59 c INPROCESSING
3415.79/3425.59 c GARBAGE COLLECT
3415.79/3425.59 c #Conflicts: 2167000 | #Constraints: 30154
3415.79/3425.59 c #Conflicts: 2168000 | #Constraints: 31154
3415.79/3425.59 c #Conflicts: 2169000 | #Constraints: 32154
3415.79/3425.59 c #Conflicts: 2170000 | #Constraints: 33154
3415.79/3425.59 c #Conflicts: 2171000 | #Constraints: 34154
3415.79/3425.59 c #Conflicts: 2172000 | #Constraints: 35154
3415.79/3425.59 c #Conflicts: 2173000 | #Constraints: 36154
3415.79/3425.59 c #Conflicts: 2174000 | #Constraints: 37154
3415.79/3425.59 c #Conflicts: 2175000 | #Constraints: 38154
3415.79/3425.59 c #Conflicts: 2176000 | #Constraints: 39154
3415.79/3425.59 c #Conflicts: 2177000 | #Constraints: 40154
3415.79/3425.59 c #Conflicts: 2178000 | #Constraints: 41154
3415.79/3425.59 c #Conflicts: 2179000 | #Constraints: 42154
3415.79/3425.59 c #Conflicts: 2180000 | #Constraints: 43154
3415.79/3425.59 c #Conflicts: 2181000 | #Constraints: 44154
3415.79/3425.59 c #Conflicts: 2182000 | #Constraints: 45154
3415.79/3425.59 c #Conflicts: 2183000 | #Constraints: 46154
3415.79/3425.59 c #Conflicts: 2184000 | #Constraints: 47154
3415.79/3425.59 c #Conflicts: 2185000 | #Constraints: 48154
3415.79/3425.59 c #Conflicts: 2186000 | #Constraints: 49154
3415.79/3425.59 c #Conflicts: 2187000 | #Constraints: 50154
3415.79/3425.59 c #Conflicts: 2188000 | #Constraints: 51154
3415.79/3425.59 c #Conflicts: 2189000 | #Constraints: 52154
3415.79/3425.59 c #Conflicts: 2190000 | #Constraints: 53154
3415.79/3425.59 c #Conflicts: 2191000 | #Constraints: 54154
3415.79/3425.59 c #Conflicts: 2192000 | #Constraints: 55154
3415.79/3425.59 c #Conflicts: 2193000 | #Constraints: 56154
3415.79/3425.59 c #Conflicts: 2194000 | #Constraints: 57154
3415.79/3425.59 c #Conflicts: 2195000 | #Constraints: 58154
3415.79/3425.59 c #Conflicts: 2196000 | #Constraints: 59154
3415.79/3425.59 c INPROCESSING
3415.79/3425.59 c GARBAGE COLLECT
3415.79/3425.59 c #Conflicts: 2197000 | #Constraints: 30709
3520.84/3530.97 c #Conflicts: 2198000 | #Constraints: 31709
3520.84/3530.97 c #Conflicts: 2199000 | #Constraints: 32709
3520.84/3530.97 c #Conflicts: 2200000 | #Constraints: 33709
3520.84/3530.97 c #Conflicts: 2201000 | #Constraints: 34709
3520.84/3530.97 c #Conflicts: 2202000 | #Constraints: 35709
3520.84/3530.97 c #Conflicts: 2203000 | #Constraints: 36709
3520.84/3530.97 c #Conflicts: 2204000 | #Constraints: 37709
3520.84/3530.97 c #Conflicts: 2205000 | #Constraints: 38709
3520.84/3530.97 c #Conflicts: 2206000 | #Constraints: 39709
3520.84/3530.97 c #Conflicts: 2207000 | #Constraints: 40709
3520.84/3530.97 c #Conflicts: 2208000 | #Constraints: 41709
3520.84/3530.97 c #Conflicts: 2209000 | #Constraints: 42709
3520.84/3530.97 c #Conflicts: 2210000 | #Constraints: 43709
3520.84/3530.97 c #Conflicts: 2211000 | #Constraints: 44709
3520.84/3530.97 c #Conflicts: 2212000 | #Constraints: 45709
3520.84/3530.97 c #Conflicts: 2213000 | #Constraints: 46709
3520.84/3530.97 c #Conflicts: 2214000 | #Constraints: 47709
3520.84/3530.97 c #Conflicts: 2215000 | #Constraints: 48709
3520.84/3530.97 c #Conflicts: 2216000 | #Constraints: 49709
3520.84/3530.97 c #Conflicts: 2217000 | #Constraints: 50709
3520.84/3530.97 c #Conflicts: 2218000 | #Constraints: 51709
3520.84/3530.97 c #Conflicts: 2219000 | #Constraints: 52709
3520.84/3530.97 c #Conflicts: 2220000 | #Constraints: 53709
3520.84/3530.97 c #Conflicts: 2221000 | #Constraints: 54709
3520.84/3530.97 c #Conflicts: 2222000 | #Constraints: 55709
3520.84/3530.97 c #Conflicts: 2223000 | #Constraints: 56709
3520.84/3530.97 c #Conflicts: 2224000 | #Constraints: 57709
3520.84/3530.97 c #Conflicts: 2225000 | #Constraints: 58709
3520.84/3530.97 c #Conflicts: 2226000 | #Constraints: 59709
3520.84/3530.97 c INPROCESSING
3520.84/3530.97 c GARBAGE COLLECT
3520.84/3530.97 c #Conflicts: 2227000 | #Constraints: 31109
3520.84/3530.97 c #Conflicts: 2228000 | #Constraints: 32109
3520.84/3530.97 c #Conflicts: 2229000 | #Constraints: 33109
3520.84/3530.97 c #Conflicts: 2230000 | #Constraints: 34109
3520.84/3530.97 c #Conflicts: 2231000 | #Constraints: 35109
3520.84/3530.97 c #Conflicts: 2232000 | #Constraints: 36109
3520.84/3530.97 c #Conflicts: 2233000 | #Constraints: 37109
3520.84/3530.97 c #Conflicts: 2234000 | #Constraints: 38109
3520.84/3530.97 c #Conflicts: 2235000 | #Constraints: 39109
3520.84/3530.97 c #Conflicts: 2236000 | #Constraints: 40109
3520.84/3530.97 c #Conflicts: 2237000 | #Constraints: 41109
3520.84/3530.97 c #Conflicts: 2238000 | #Constraints: 42109
3520.84/3530.97 c #Conflicts: 2239000 | #Constraints: 43109
3520.84/3530.97 c #Conflicts: 2240000 | #Constraints: 44109
3520.84/3530.97 c #Conflicts: 2241000 | #Constraints: 45109
3520.84/3530.97 c #Conflicts: 2242000 | #Constraints: 46109
3520.84/3530.97 c #Conflicts: 2243000 | #Constraints: 47109
3520.84/3530.97 c #Conflicts: 2244000 | #Constraints: 48109
3520.84/3530.97 c #Conflicts: 2245000 | #Constraints: 49109
3520.84/3530.97 c #Conflicts: 2246000 | #Constraints: 50109
3520.84/3530.97 c #Conflicts: 2247000 | #Constraints: 51109
3520.84/3530.97 c #Conflicts: 2248000 | #Constraints: 52109
3520.84/3530.97 c #Conflicts: 2249000 | #Constraints: 53109
3520.84/3530.97 c #Conflicts: 2250000 | #Constraints: 54109
3520.84/3530.97 c #Conflicts: 2251000 | #Constraints: 55109
3520.84/3530.97 c #Conflicts: 2252000 | #Constraints: 56109
3520.84/3530.97 c #Conflicts: 2253000 | #Constraints: 57109
3520.84/3530.97 c #Conflicts: 2254000 | #Constraints: 58109
3520.84/3530.97 c #Conflicts: 2255000 | #Constraints: 59109
3520.84/3530.97 c #Conflicts: 2256000 | #Constraints: 60109
3520.84/3530.97 c INPROCESSING
3520.84/3530.97 c GARBAGE COLLECT
3520.84/3530.97 c #Conflicts: 2257000 | #Constraints: 31324
3520.84/3530.97 c #Conflicts: 2258000 | #Constraints: 32324
3520.84/3530.97 c #Conflicts: 2259000 | #Constraints: 33324
3520.84/3530.97 c #Conflicts: 2260000 | #Constraints: 34324
3520.84/3530.97 c #Conflicts: 2261000 | #Constraints: 35324
3520.84/3530.97 c #Conflicts: 2262000 | #Constraints: 36324
3520.84/3530.97 c #Conflicts: 2263000 | #Constraints: 37324
3520.84/3530.97 c #Conflicts: 2264000 | #Constraints: 38324
3520.84/3530.97 c #Conflicts: 2265000 | #Constraints: 39324
3520.84/3530.97 c #Conflicts: 2266000 | #Constraints: 40324
3520.84/3530.97 c #Conflicts: 2267000 | #Constraints: 41324
3520.84/3530.97 c #Conflicts: 2268000 | #Constraints: 42324
3520.84/3530.97 c #Conflicts: 2269000 | #Constraints: 43324
3520.84/3530.97 c #Conflicts: 2270000 | #Constraints: 44324
3520.84/3530.97 c #Conflicts: 2271000 | #Constraints: 45324
3520.84/3530.97 c #Conflicts: 2272000 | #Constraints: 46324
3520.84/3530.97 c #Conflicts: 2273000 | #Constraints: 47324
3520.84/3530.97 c #Conflicts: 2274000 | #Constraints: 48324
3600.09/3610.40 c #Conflicts: 2275000 | #Constraints: 49324
3600.09/3610.40 c #Conflicts: 2276000 | #Constraints: 50324
3600.09/3610.40 c #Conflicts: 2277000 | #Constraints: 51324
3600.09/3610.40 c #Conflicts: 2278000 | #Constraints: 52324
3600.09/3610.40 c #Conflicts: 2279000 | #Constraints: 53324
3600.09/3610.40 c #Conflicts: 2280000 | #Constraints: 54324
3600.09/3610.40 c #Conflicts: 2281000 | #Constraints: 55324
3600.09/3610.40 c #Conflicts: 2282000 | #Constraints: 56324
3600.09/3610.40 c #Conflicts: 2283000 | #Constraints: 57324
3600.09/3610.40 c #Conflicts: 2284000 | #Constraints: 58324
3600.09/3610.40 c #Conflicts: 2285000 | #Constraints: 59324
3600.09/3610.40 c #Conflicts: 2286000 | #Constraints: 60324
3600.09/3610.40 c INPROCESSING
3600.09/3610.40 c GARBAGE COLLECT
3600.09/3610.40 c #Conflicts: 2287000 | #Constraints: 31328
3600.09/3610.40 c #Conflicts: 2288000 | #Constraints: 32328
3600.09/3610.40 c #Conflicts: 2289000 | #Constraints: 33328
3600.09/3610.40 c #Conflicts: 2290000 | #Constraints: 34328
3600.09/3610.40 c #Conflicts: 2291000 | #Constraints: 35328
3600.09/3610.40 c #Conflicts: 2292000 | #Constraints: 36328
3600.09/3610.40 c #Conflicts: 2293000 | #Constraints: 37328
3600.09/3610.40 c #Conflicts: 2294000 | #Constraints: 38328
3600.09/3610.40 c #Conflicts: 2295000 | #Constraints: 39328
3600.09/3610.40 c #Conflicts: 2296000 | #Constraints: 40328
3600.09/3610.40 c #Conflicts: 2297000 | #Constraints: 41328
3600.09/3610.40 c #Conflicts: 2298000 | #Constraints: 42328
3600.09/3610.40 c #Conflicts: 2299000 | #Constraints: 43328
3600.09/3610.40 c #Conflicts: 2300000 | #Constraints: 44328
3600.09/3610.40 c #Conflicts: 2301000 | #Constraints: 45328
3600.09/3610.40 c #Conflicts: 2302000 | #Constraints: 46328
3600.09/3610.40 c #Conflicts: 2303000 | #Constraints: 47328
3600.09/3610.40 c #Conflicts: 2304000 | #Constraints: 48328
3600.09/3610.40 c #Conflicts: 2305000 | #Constraints: 49328
3600.09/3610.40 c #Conflicts: 2306000 | #Constraints: 50328
3600.09/3610.40 c #Conflicts: 2307000 | #Constraints: 51328
3600.09/3610.40 c #Conflicts: 2308000 | #Constraints: 52328
3600.09/3610.40 c #Conflicts: 2309000 | #Constraints: 53328
3600.09/3610.40 c #Conflicts: 2310000 | #Constraints: 54328
3600.09/3610.40 c #Conflicts: 2311000 | #Constraints: 55328
3600.09/3610.40 c #Conflicts: 2312000 | #Constraints: 56328
3600.09/3610.40 c #Conflicts: 2313000 | #Constraints: 57328
3600.09/3610.40 c #Conflicts: 2314000 | #Constraints: 58328
3600.09/3610.40 c #Conflicts: 2315000 | #Constraints: 59328
3600.09/3610.40 c #Conflicts: 2316000 | #Constraints: 60328
3600.09/3610.40 c INPROCESSING
3600.09/3610.40 c GARBAGE COLLECT
3600.09/3610.40 c #Conflicts: 2317000 | #Constraints: 31124
3600.09/3610.40 c #Conflicts: 2318000 | #Constraints: 32124
3600.09/3610.40 c #Conflicts: 2319000 | #Constraints: 33124
3600.09/3610.40 c #Conflicts: 2320000 | #Constraints: 34124
3600.09/3610.40 c #Conflicts: 2321000 | #Constraints: 35124
3600.09/3610.40 c #Conflicts: 2322000 | #Constraints: 36124
3600.09/3610.40 c #Conflicts: 2323000 | #Constraints: 37124
3600.09/3610.40 c #Conflicts: 2324000 | #Constraints: 38124
3600.09/3610.40 c cpu time 3575.88 s
3600.09/3610.40 c deterministic time 1 1.00e+00
3600.09/3610.40 c optimization time 3575.88 s
3600.09/3610.40 c total solve time 0 s
3600.09/3610.40 c core-guided solve time 0 s
3600.09/3610.40 c propagation time 0.000172 s
3600.09/3610.40 c conflict analysis time 0 s
3600.09/3610.40 c propagations 0
3600.09/3610.40 c resolve steps 0
3600.09/3610.40 c decisions 0
3600.09/3610.40 c conflicts 0
3600.09/3610.40 c restarts 0
3600.09/3610.40 c inprocessing phases 0
3600.09/3610.40 c garbage collections 0 ,( -nan )
3600.09/3610.40 c input clauses 0 ,( 0.00 )
3600.09/3610.40 c input cardinalities 20 ,( 5.13 )
3600.09/3610.40 c input general constraints 370 ,( 94.87 )
3600.09/3610.40 c input average constraint length 17.38
3600.09/3610.40 c input average constraint degree 11.54
3600.09/3610.40 c learned clauses 0 ,( 0.00 )
3600.09/3610.40 c learned cardinalities 0 ,( 0.00 )
3600.09/3610.40 c learned general constraints 0 ,( 0.00 )
3600.09/3610.40 c learned average constraint length 0.00
3600.09/3610.40 c learned average constraint degree 0.00
3600.09/3610.40 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.09/3610.40 c counting CF 32, 64, 128, Arb: 371 , 0 , 0 , 0
3600.09/3610.40 c watched constraints 0 ,( 0.00 )
3600.09/3610.40 c counting constraints 370 ,( 100.00 )
3600.09/3610.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.09/3610.40 c gcd simplifications 20
3600.09/3610.40 c detected cardinalities 0
3600.09/3610.40 c weakened non-implied lits 0
3600.09/3610.40 c weakened non-implying lits 0
3600.09/3610.40 c original variables 2340
3600.09/3610.40 c clausal propagations 0
3600.09/3610.40 c cardinality propagations 0
3600.09/3610.40 c watched propagations 0
3600.09/3610.40 c counting propagations 0
3600.09/3610.40 c watch lookups 0
3600.09/3610.40 c watch backjump lookups 0
3600.09/3610.40 c watch checks 0
3600.09/3610.40 c propagation checks 0
3600.09/3610.40 c constraint additions 0
3600.09/3610.40 c trail pops 0
3600.09/3610.40 c formula constraints 390
3600.09/3610.40 c learned constraints 0
3600.09/3610.40 c bound constraints 0
3600.09/3610.40 c core-guided constraints 0
3600.09/3610.40 c encountered formula constraints 0
3600.09/3610.40 c encountered learned constraints 0
3600.09/3610.40 c encountered bound constraints 0
3600.09/3610.40 c encountered core-guided constraints 0
3600.09/3610.40 c LP total time 0 s
3600.09/3610.40 c LP solve time 0 s
3600.09/3610.40 c LP constraints added 0
3600.09/3610.40 c LP constraints removed 0
3600.09/3610.40 c LP pivots internal 0
3600.09/3610.40 c LP pivots root 0
3600.09/3610.40 c LP calls 0
3600.09/3610.40 c LP optimalities 0
3600.09/3610.40 c LP no pivot count 0
3600.09/3610.40 c LP infeasibilities 0
3600.09/3610.40 c LP valid Farkas constraints 0
3600.09/3610.40 c LP learned Farkas constraints 0
3600.09/3610.40 c LP basis resets 0
3600.09/3610.40 c LP cycling count 0
3600.09/3610.40 c LP singular count 0
3600.09/3610.40 c LP no primal count 0
3600.09/3610.40 c LP no farkas count 0
3600.09/3610.40 c LP other issue count 0
3600.09/3610.40 c LP Gomory cuts 0
3600.09/3610.40 c LP learned cuts 0
3600.09/3610.40 c LP deleted cuts 0
3600.09/3610.40 c LP encountered Gomory constraints 0
3600.09/3610.40 c LP encountered Farkas constraints 0
3600.09/3610.40 c LP encountered learned Farkas constraints 0
3600.09/3610.40 c CG auxiliary variables introduced 0
3600.09/3610.40 c CG solutions found 0
3600.09/3610.40 c CG cores constructed 0
3600.09/3610.40 c CG core cardinality constraints returned 0
3600.09/3610.40 c CG unit cores 0
3600.09/3610.40 c CG single cores 0
3600.09/3610.40 c CG blocks removed during cardinality reduction 0
3600.09/3610.40 c CG first core best 0
3600.09/3610.40 c CG decision core best 0
3600.09/3610.40 c CG core reduction tie 0
3600.09/3610.40 c CG core degree average 0.00
3600.09/3610.40 c CG core slack average 0.00
3600.09/3610.40 c CG core upper bound improvements 0
3600.09/3610.40 c STR number of successful calls 0
3600.09/3610.40 c STR number of unsuccessful calls 0
3600.09/3610.40 c STR number of inconclusive calls 0
3600.09/3610.40 c STR number of successful attempts 0
3600.09/3610.40 c STR number of unsuccessful attempts 0
3600.09/3610.40 c STR number of inconclusive attempts 0
3600.09/3610.40 c STR average degree increase per successful call inf
3600.09/3610.40 c STR average degree increase per successful attempt inf
3600.09/3610.40 c STR total number of conflicts for successful attempts 0
3600.09/3610.40 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3610.40 c STR total number of conflicts for inconclusive attempts 0
3600.09/3610.40 c STR average number of conflicts per successful attempt inf
3600.09/3610.40 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3610.40 c STR average number of conflicts per inconclusive attempt inf
3600.09/3610.40 c AVG.sumWPerc 72.22
3600.09/3610.40 c bigint constraints 0
3600.09/3610.40 s UNKNOWN
3600.09/3610.40 c Program interrupted by user.
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: 63708 MiB (62849 MiB free)
memory of node 1: 64465 MiB (56910 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520388-1751571459/watcher-4520388-1751571459 -o /tmp/evaluation-result-4520388-1751571459/solver-4520388-1751571459 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751564231-79812 --watchdog 3760 run-opt.sh HOME/instance-4520388-1751571459.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB
solver pid=80583, runsolver pid=80580
[startup+0.100058 s]*
/proc/loadavg: 4.08 4.10 4.09 5/268 80585
/proc/meminfo: memFree=122568948/131249992 swapFree=33009392/33010684
[pid=80583] ppid=80580 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/80583/stat : 80583 (run-opt.sh) S 80580 80583 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820406 4292608 736 18446744073709551615 93875418472448 93875419366981 140720854769392 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93875419606032 93875419653776 93875425189888 140720854776173 140720854776296 140720854776296 140720854781898 0
/proc/80583/statm: 1048 736 672 219 0 110 0
[pid=80585] ppid=80583 vsize=66752 memory=19476 CPUtime=0.07 cores=4,6
/proc/80585/stat : 80585 (roundingsat) R 80583 80583 79801 0 -1 4194304 2396 0 0 0 7 0 0 0 20 0 1 0 72820406 68354048 4869 18446744073709551615 4227072 8923433 140721765535760 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 16658432 140721765538210 140721765538344 140721765538344 140721765543914 0
/proc/80585/statm: 16688 4869 2336 1147 0 4115 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 70944 KiB
Current children cumulated memory: 22420 KiB
[startup+0.205587 s]*
/proc/loadavg: 4.08 4.10 4.09 5/268 80585
/proc/meminfo: memFree=122547968/131249992 swapFree=33009392/33010684
[pid=80583] ppid=80580 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/80583/stat : 80583 (run-opt.sh) S 80580 80583 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820406 4292608 736 18446744073709551615 93875418472448 93875419366981 140720854769392 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93875419606032 93875419653776 93875425189888 140720854776173 140720854776296 140720854776296 140720854781898 0
/proc/80583/statm: 1048 736 672 219 0 110 0
[pid=80585] ppid=80583 vsize=71244 memory=24852 CPUtime=0.19 cores=4,6
/proc/80585/stat : 80585 (roundingsat) R 80583 80583 79801 0 -1 4194304 3740 0 0 0 18 1 0 0 20 0 1 0 72820406 72953856 6213 18446744073709551615 4227072 8923433 140721765535760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16658432 140721765538210 140721765538344 140721765538344 140721765543914 0
/proc/80585/statm: 17811 6213 2336 1147 0 5238 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 75436 KiB
Current children cumulated memory: 27796 KiB
[startup+0.305791 s]*
/proc/loadavg: 4.08 4.10 4.09 5/268 80585
/proc/meminfo: memFree=122543872/131249992 swapFree=33009392/33010684
[pid=80583] ppid=80580 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/80583/stat : 80583 (run-opt.sh) S 80580 80583 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820406 4292608 736 18446744073709551615 93875418472448 93875419366981 140720854769392 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93875419606032 93875419653776 93875425189888 140720854776173 140720854776296 140720854776296 140720854781898 0
/proc/80583/statm: 1048 736 672 219 0 110 0
[pid=80585] ppid=80583 vsize=73964 memory=26644 CPUtime=0.28 cores=4,6
/proc/80585/stat : 80585 (roundingsat) R 80583 80583 79801 0 -1 4194304 4190 0 0 0 27 1 0 0 20 0 1 0 72820406 75739136 6661 18446744073709551615 4227072 8923433 140721765535760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16658432 140721765538210 140721765538344 140721765538344 140721765543914 0
/proc/80585/statm: 18491 6661 2336 1147 0 5918 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 78156 KiB
Current children cumulated memory: 29588 KiB
[startup+0.700201 s]
/proc/loadavg: 4.08 4.10 4.09 5/268 80585
/proc/meminfo: memFree=122537256/131249992 swapFree=33009392/33010684
[pid=80583] ppid=80580 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/80583/stat : 80583 (run-opt.sh) S 80580 80583 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820406 4292608 736 18446744073709551615 93875418472448 93875419366981 140720854769392 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93875419606032 93875419653776 93875425189888 140720854776173 140720854776296 140720854776296 140720854781898 0
/proc/80583/statm: 1048 736 672 219 0 110 0
[pid=80585] ppid=80583 vsize=110076 memory=56000 CPUtime=0.67 cores=4,6
/proc/80585/stat : 80585 (roundingsat) R 80583 80583 79801 0 -1 4194304 11013 0 0 0 64 3 0 0 20 0 1 0 72820406 112717824 14000 18446744073709551615 4227072 8923433 140721765535760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16658432 140721765538210 140721765538344 140721765538344 140721765543914 0
/proc/80585/statm: 27519 14000 2336 1147 0 14946 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 114268 KiB
Current children cumulated memory: 58944 KiB
[startup+1.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/268 80585
/proc/meminfo: memFree=122413520/131249992 swapFree=33009392/33010684
[pid=80583] ppid=80580 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/80583/stat : 80583 (run-opt.sh) S 80580 80583 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820406 4292608 736 18446744073709551615 93875418472448 93875419366981 140720854769392 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93875419606032 93875419653776 93875425189888 140720854776173 140720854776296 140720854776296 140720854781898 0
/proc/80583/statm: 1048 736 672 219 0 110 0
[pid=80585] ppid=80583 vsize=122632 memory=65664 CPUtime=1.47 cores=4,6
/proc/80585/stat : 80585 (roundingsat) R 80583 80583 79801 0 -1 4194304 12421 0 0 0 142 5 0 0 20 0 1 0 72820406 125575168 16416 18446744073709551615 4227072 8923433 140721765535760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16658432 140721765538210 140721765538344 140721765538344 140721765543914 0
/proc/80585/statm: 30658 16416 2336 1147 0 18085 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 126824 KiB
Current children cumulated memory: 68608 KiB
[startup+3.10543 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 80585
/proc/meminfo: memFree=122272092/131249992 swapFree=33009392/33010684
[pid=80583] ppid=80580 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/80583/stat : 80583 (run-opt.sh) S 80580 80583 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820406 4292608 736 18446744073709551615 93875418472448 93875419366981 140720854769392 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93875419606032 93875419653776 93875425189888 140720854776173 140720854776296 140720854776296 140720854781898 0
/proc/80583/statm: 1048 736 672 219 0 110 0
[pid=80585] ppid=80583 vsize=152952 memory=94780 CPUtime=3.07 cores=4,6
/proc/80585/stat : 80585 (roundingsat) R 80583 80583 79801 0 -1 4194304 18684 0 0 0 298 9 0 0 20 0 1 0 72820406 156622848 23695 18446744073709551615 4227072 8923433 140721765535760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16658432 140721765538210 140721765538344 140721765538344 140721765543914 0
/proc/80585/statm: 38238 23695 2336 1147 0 25665 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 157144 KiB
Current children cumulated memory: 97724 KiB
[startup+6.30019 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 80585
/proc/meminfo: memFree=122063044/131249992 swapFree=33009392/33010684
[pid=80583] ppid=80580 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/80583/stat : 80583 (run-opt.sh) S 80580 80583 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820406 4292608 736 18446744073709551615 93875418472448 93875419366981 140720854769392 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93875419606032 93875419653776 93875425189888 140720854776173 140720854776296 140720854776296 140720854781898 0
/proc/80583/statm: 1048 736 672 219 0 110 0
[pid=80585] ppid=80583 vsize=177336 memory=114796 CPUtime=6.25 cores=4,6
/proc/80585/stat : 80585 (roundingsat) R 80583 80583 79801 0 -1 4194304 21630 0 0 0 611 14 0 0 20 0 1 0 72820406 181592064 28699 18446744073709551615 4227072 8923433 140721765535760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16658432 140721765538210 140721765538344 140721765538344 140721765543914 0
/proc/80585/statm: 44334 28699 2336 1147 0 31761 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 181528 KiB
Current children cumulated memory: 117740 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.11 4.09 5/268 80586
/proc/meminfo: memFree=121828668/131249992 swapFree=33009392/33010684
[pid=80583] ppid=80580 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/80583/stat : 80583 (run-opt.sh) S 80580 80583 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820406 4292608 736 18446744073709551615 93875418472448 93875419366981 140720854769392 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93875419606032 93875419653776 93875425189888 140720854776173 140720854776296 140720854776296 140720854781898 0
/proc/80583/statm: 1048 736 672 219 0 110 0
[pid=80585] ppid=80583 vsize=240000 memory=170408 CPUtime=12.64 cores=4,6
/proc/80585/stat : 80585 (roundingsat) R 80583 80583 79801 0 -1 4194304 32494 0 0 0 1240 24 0 0 20 0 1 0 72820406 245760000 42602 18446744073709551615 4227072 8923433 140721765535760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16658432 140721765538210 140721765538344 140721765538344 140721765543914 0
/proc/80585/statm: 60000 42602 2336 1147 0 47427 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 244192 KiB
Current children cumulated memory: 173352 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 80637
/proc/meminfo: memFree=125349848/131249992 swapFree=33009392/33010684
[pid=80583] ppid=80580 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/80583/stat : 80583 (run-opt.sh) S 80580 80583 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820406 4292608 736 18446744073709551615 93875418472448 93875419366981 140720854769392 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93875419606032 93875419653776 93875425189888 140720854776173 140720854776296 140720854776296 140720854781898 0
/proc/80583/statm: 1048 736 672 219 0 110 0
[pid=80585] ppid=80583 vsize=274788 memory=209820 CPUtime=25.39 cores=4,6
/proc/80585/stat : 80585 (roundingsat) R 80583 80583 79801 0 -1 4194304 38245 0 0 0 2496 43 0 0 20 0 1 0 72820406 281382912 52455 18446744073709551615 4227072 8923433 140721765535760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16658432 140721765538210 140721765538344 140721765538344 140721765543914 0
/proc/80585/statm: 68697 52455 2336 1147 0 56124 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 278980 KiB
Current children cumulated memory: 212764 KiB
[startup+51.1059 s]
/proc/loadavg: 4.14 4.12 4.09 5/269 80637
/proc/meminfo: memFree=124840824/131249992 swapFree=33009392/33010684
[pid=80583] ppid=80580 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/80583/stat : 80583 (run-opt.sh) S 80580 80583 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820406 4292608 736 18446744073709551615 93875418472448 93875419366981 140720854769392 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93875419606032 93875419653776 93875425189888 140720854776173 140720854776296 140720854776296 140720854781898 0
/proc/80583/statm: 1048 736 672 219 0 110 0
[pid=80585] ppid=80583 vsize=435612 memory=312100 CPUtime=50.93 cores=4,6
/proc/80585/stat : 80585 (roundingsat) R 80583 80583 79801 0 -1 4194304 59223 0 0 0 5012 81 0 0 20 0 1 0 72820406 446066688 78025 18446744073709551615 4227072 8923433 140721765535760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16658432 140721765538210 140721765538344 140721765538344 140721765543914 0
/proc/80585/statm: 108903 78025 2336 1147 0 96330 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 439804 KiB
Current children cumulated memory: 315044 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 80639
/proc/meminfo: memFree=123991452/131249992 swapFree=33009392/33010684
[pid=80583] ppid=80580 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/80583/stat : 80583 (run-opt.sh) S 80580 80583 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820406 4292608 736 18446744073709551615 93875418472448 93875419366981 140720854769392 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93875419606032 93875419653776 93875425189888 140720854776173 140720854776296 140720854776296 140720854781898 0
/proc/80583/statm: 1048 736 672 219 0 110 0
[pid=80585] ppid=80583 vsize=456092 memory=387400 CPUtime=102 cores=4,6
/proc/80585/stat : 80585 (roundingsat) R 80583 80583 79801 0 -1 4194304 69875 0 0 0 10056 144 0 0 20 0 1 0 72820406 467038208 96850 18446744073709551615 4227072 8923433 140721765535760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16658432 140721765538210 140721765538344 140721765538344 140721765543914 0
/proc/80585/statm: 114023 96850 2336 1147 0 101450 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 460284 KiB
Current children cumulated memory: 390344 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/269 80641
/proc/meminfo: memFree=123578928/131249992 swapFree=33009392/33010684
[pid=80583] ppid=80580 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/80583/stat : 80583 (run-opt.sh) S 80580 80583 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820406 4292608 736 18446744073709551615 93875418472448 93875419366981 140720854769392 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93875419606032 93875419653776 93875425189888 140720854776173 140720854776296 140720854776296 140720854781898 0
/proc/80583/statm: 1048 736 672 219 0 110 0
[pid=80585] ppid=80583 vsize=710292 memory=522256 CPUtime=161.84 cores=4,6
/proc/80585/stat : 80585 (roundingsat) R 80583 80583 79801 0 -1 4194304 96946 0 0 0 15975 209 0 0 20 0 1 0 72820406 727339008 130564 18446744073709551615 4227072 8923433 140721765535760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16658432 140721765538210 140721765538344 140721765538344 140721765543914 0
/proc/80585/statm: 177573 130564 2336 1147 0 165000 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 714484 KiB
Current children cumulated memory: 525200 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/268 80643
/proc/meminfo: memFree=122825708/131249992 swapFree=33009392/33010684
[pid=80583] ppid=80580 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/80583/stat : 80583 (run-opt.sh) S 80580 80583 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820406 4292608 736 18446744073709551615 93875418472448 93875419366981 140720854769392 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93875419606032 93875419653776 93875425189888 140720854776173 140720854776296 140720854776296 140720854781898 0
/proc/80583/statm: 1048 736 672 219 0 110 0
[pid=80585] ppid=80583 vsize=757400 memory=590228 CPUtime=221.68 cores=4,6
/proc/80585/stat : 80585 (roundingsat) R 80583 80583 79801 0 -1 4194304 108866 0 0 0 21901 267 0 0 20 0 1 0 72820406 775577600 147557 18446744073709551615 4227072 8923433 140721765535760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16658432 140721765538210 140721765538344 140721765538344 140721765543914 0
/proc/80585/statm: 189350 147557 2336 1147 0 176777 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 761592 KiB
################
# More data... #
################
/proc/80585/statm: 439539 374859 2336 1147 0 426966 0
Current children cumulated CPU time: 3033.79 s
Current children cumulated vsize: 1762348 KiB
Current children cumulated memory: 1502380 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 80793
/proc/meminfo: memFree=113469544/131249992 swapFree=33009392/33010684
[pid=80583] ppid=80580 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/80583/stat : 80583 (run-opt.sh) S 80580 80583 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820406 4292608 736 18446744073709551615 93875418472448 93875419366981 140720854769392 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93875419606032 93875419653776 93875425189888 140720854776173 140720854776296 140720854776296 140720854781898 0
/proc/80583/statm: 1048 736 672 219 0 110 0
[pid=80585] ppid=80583 vsize=2107980 memory=1587664 CPUtime=3093.61 cores=4,6
/proc/80585/stat : 80585 (roundingsat) R 80583 80583 79801 0 -1 4194304 338972 0 0 0 307194 2167 0 0 20 0 1 0 72820406 2158571520 396916 18446744073709551615 4227072 8923433 140721765535760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16658432 140721765538210 140721765538344 140721765538344 140721765543914 0
/proc/80585/statm: 526995 396916 2336 1147 0 514422 0
Current children cumulated CPU time: 3093.61 s
Current children cumulated vsize: 2112172 KiB
Current children cumulated memory: 1590608 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/268 80795
/proc/meminfo: memFree=113468548/131249992 swapFree=33009392/33010684
[pid=80583] ppid=80580 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/80583/stat : 80583 (run-opt.sh) S 80580 80583 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820406 4292608 736 18446744073709551615 93875418472448 93875419366981 140720854769392 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93875419606032 93875419653776 93875425189888 140720854776173 140720854776296 140720854776296 140720854781898 0
/proc/80583/statm: 1048 736 672 219 0 110 0
[pid=80585] ppid=80583 vsize=2107980 memory=1587792 CPUtime=3153.42 cores=4,6
/proc/80585/stat : 80585 (roundingsat) R 80583 80583 79801 0 -1 4194304 339055 0 0 0 313144 2198 0 0 20 0 1 0 72820406 2158571520 396948 18446744073709551615 4227072 8923433 140721765535760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16658432 140721765538210 140721765538344 140721765538344 140721765543914 0
/proc/80585/statm: 526995 396948 2336 1147 0 514422 0
Current children cumulated CPU time: 3153.42 s
Current children cumulated vsize: 2112172 KiB
Current children cumulated memory: 1590736 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/268 80798
/proc/meminfo: memFree=113407972/131249992 swapFree=33009392/33010684
[pid=80583] ppid=80580 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/80583/stat : 80583 (run-opt.sh) S 80580 80583 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820406 4292608 736 18446744073709551615 93875418472448 93875419366981 140720854769392 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93875419606032 93875419653776 93875425189888 140720854776173 140720854776296 140720854776296 140720854781898 0
/proc/80583/statm: 1048 736 672 219 0 110 0
[pid=80585] ppid=80583 vsize=2109004 memory=1605444 CPUtime=3213.23 cores=4,6
/proc/80585/stat : 80585 (roundingsat) R 80583 80583 79801 0 -1 4194304 339642 0 0 0 319092 2231 0 0 20 0 1 0 72820406 2159620096 401361 18446744073709551615 4227072 8923433 140721765535760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16658432 140721765538210 140721765538344 140721765538344 140721765543914 0
/proc/80585/statm: 527251 401361 2336 1147 0 514678 0
Current children cumulated CPU time: 3213.23 s
Current children cumulated vsize: 2113196 KiB
Current children cumulated memory: 1608388 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/268 80801
/proc/meminfo: memFree=113109712/131249992 swapFree=33009392/33010684
[pid=80583] ppid=80580 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/80583/stat : 80583 (run-opt.sh) S 80580 80583 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820406 4292608 736 18446744073709551615 93875418472448 93875419366981 140720854769392 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93875419606032 93875419653776 93875425189888 140720854776173 140720854776296 140720854776296 140720854781898 0
/proc/80583/statm: 1048 736 672 219 0 110 0
[pid=80585] ppid=80583 vsize=2109004 memory=1605444 CPUtime=3273.04 cores=4,6
/proc/80585/stat : 80585 (roundingsat) R 80583 80583 79801 0 -1 4194304 339650 0 0 0 325040 2264 0 0 20 0 1 0 72820406 2159620096 401361 18446744073709551615 4227072 8923433 140721765535760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16658432 140721765538210 140721765538344 140721765538344 140721765543914 0
/proc/80585/statm: 527251 401361 2336 1147 0 514678 0
Current children cumulated CPU time: 3273.04 s
Current children cumulated vsize: 2113196 KiB
Current children cumulated memory: 1608388 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/269 80804
/proc/meminfo: memFree=113103580/131249992 swapFree=33009392/33010684
[pid=80583] ppid=80580 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/80583/stat : 80583 (run-opt.sh) S 80580 80583 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820406 4292608 736 18446744073709551615 93875418472448 93875419366981 140720854769392 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93875419606032 93875419653776 93875425189888 140720854776173 140720854776296 140720854776296 140720854781898 0
/proc/80583/statm: 1048 736 672 219 0 110 0
[pid=80585] ppid=80583 vsize=2109004 memory=1605444 CPUtime=3332.85 cores=4,6
/proc/80585/stat : 80585 (roundingsat) R 80583 80583 79801 0 -1 4194304 339650 0 0 0 330996 2289 0 0 20 0 1 0 72820406 2159620096 401361 18446744073709551615 4227072 8923433 140721765535760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16658432 140721765538210 140721765538344 140721765538344 140721765543914 0
/proc/80585/statm: 527251 401361 2336 1147 0 514678 0
Current children cumulated CPU time: 3332.85 s
Current children cumulated vsize: 2113196 KiB
Current children cumulated memory: 1608388 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/268 80806
/proc/meminfo: memFree=112878212/131249992 swapFree=33009392/33010684
[pid=80583] ppid=80580 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/80583/stat : 80583 (run-opt.sh) S 80580 80583 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820406 4292608 736 18446744073709551615 93875418472448 93875419366981 140720854769392 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93875419606032 93875419653776 93875425189888 140720854776173 140720854776296 140720854776296 140720854781898 0
/proc/80583/statm: 1048 736 672 219 0 110 0
[pid=80585] ppid=80583 vsize=2109004 memory=1605444 CPUtime=3392.65 cores=4,6
/proc/80585/stat : 80585 (roundingsat) R 80583 80583 79801 0 -1 4194304 339650 0 0 0 336949 2316 0 0 20 0 1 0 72820406 2159620096 401361 18446744073709551615 4227072 8923433 140721765535760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16658432 140721765538210 140721765538344 140721765538344 140721765543914 0
/proc/80585/statm: 527251 401361 2336 1147 0 514678 0
Current children cumulated CPU time: 3392.65 s
Current children cumulated vsize: 2113196 KiB
Current children cumulated memory: 1608388 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/268 80808
/proc/meminfo: memFree=112876220/131249992 swapFree=33009392/33010684
[pid=80583] ppid=80580 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/80583/stat : 80583 (run-opt.sh) S 80580 80583 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820406 4292608 736 18446744073709551615 93875418472448 93875419366981 140720854769392 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93875419606032 93875419653776 93875425189888 140720854776173 140720854776296 140720854776296 140720854781898 0
/proc/80583/statm: 1048 736 672 219 0 110 0
[pid=80585] ppid=80583 vsize=2109004 memory=1605444 CPUtime=3452.46 cores=4,6
/proc/80585/stat : 80585 (roundingsat) R 80583 80583 79801 0 -1 4194304 339684 0 0 0 342900 2346 0 0 20 0 1 0 72820406 2159620096 401361 18446744073709551615 4227072 8923433 140721765535760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16658432 140721765538210 140721765538344 140721765538344 140721765543914 0
/proc/80585/statm: 527251 401361 2336 1147 0 514678 0
Current children cumulated CPU time: 3452.46 s
Current children cumulated vsize: 2113196 KiB
Current children cumulated memory: 1608388 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/269 80813
/proc/meminfo: memFree=112783672/131249992 swapFree=33009392/33010684
[pid=80583] ppid=80580 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/80583/stat : 80583 (run-opt.sh) S 80580 80583 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820406 4292608 736 18446744073709551615 93875418472448 93875419366981 140720854769392 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93875419606032 93875419653776 93875425189888 140720854776173 140720854776296 140720854776296 140720854781898 0
/proc/80583/statm: 1048 736 672 219 0 110 0
[pid=80585] ppid=80583 vsize=2109004 memory=1620116 CPUtime=3512.27 cores=4,6
/proc/80585/stat : 80585 (roundingsat) R 80583 80583 79801 0 -1 4194304 340823 0 0 0 348844 2383 0 0 20 0 1 0 72820406 2159620096 405029 18446744073709551615 4227072 8923433 140721765535760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16658432 140721765538210 140721765538344 140721765538344 140721765543914 0
/proc/80585/statm: 527251 405029 2336 1147 0 514678 0
Current children cumulated CPU time: 3512.27 s
Current children cumulated vsize: 2113196 KiB
Current children cumulated memory: 1623060 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/268 80815
/proc/meminfo: memFree=112784232/131249992 swapFree=33009392/33010684
[pid=80583] ppid=80580 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/80583/stat : 80583 (run-opt.sh) S 80580 80583 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820406 4292608 736 18446744073709551615 93875418472448 93875419366981 140720854769392 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93875419606032 93875419653776 93875425189888 140720854776173 140720854776296 140720854776296 140720854781898 0
/proc/80583/statm: 1048 736 672 219 0 110 0
[pid=80585] ppid=80583 vsize=2109004 memory=1620116 CPUtime=3572.08 cores=4,6
/proc/80585/stat : 80585 (roundingsat) R 80583 80583 79801 0 -1 4194304 340823 0 0 0 354799 2409 0 0 20 0 1 0 72820406 2159620096 405029 18446744073709551615 4227072 8923433 140721765535760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16658432 140721765538210 140721765538344 140721765538344 140721765543914 0
/proc/80585/statm: 527251 405029 2336 1147 0 514678 0
Current children cumulated CPU time: 3572.08 s
Current children cumulated vsize: 2113196 KiB
Current children cumulated memory: 1623060 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.08 4.11 4.09 3/254 80877
/proc/meminfo: memFree=124706912/131249992 swapFree=33009392/33010684
[pid=80583] ppid=80580 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/80583/stat : 80583 (run-opt.sh) S 80580 80583 79801 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 72820406 4292608 736 18446744073709551615 93875418472448 93875419366981 140720854769392 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93875419606032 93875419653776 93875425189888 140720854776173 140720854776296 140720854776296 140720854781898 0
/proc/80583/statm: 1048 736 672 219 0 110 0
[pid=80585] ppid=80583 vsize=2109004 memory=1620116 CPUtime=3600.09 cores=4,6
/proc/80585/stat : 80585 (roundingsat) R 80583 80583 79801 0 -1 4194304 340823 0 0 0 357588 2421 0 0 20 0 1 0 72820406 2159620096 405029 18446744073709551615 4227072 8923433 140721765535760 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16658432 140721765538210 140721765538344 140721765538344 140721765543914 0
/proc/80585/statm: 527251 405029 2336 1147 0 514678 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2113196 KiB
Current children cumulated memory: 1623060 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.4 s]
# the end of solver process 80583 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.001924 s
Sleeping 2 seconds
[startup+3610.47 s]
# the end of solver process 80585 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3575.89 s, system=24.2888 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.47
CPU time (s): 3600.18
CPU user time (s): 3575.89
CPU system time (s): 24.2888
CPU usage (%): 99.7148
Max. virtual memory (cumulated for all children) (KiB): 2113196
Max. memory (cumulated for all children) (KiB): 1623060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.89
system time used= 24.2888
maximum resident set size= 1620628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 341052
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145
involuntary context switches= 3626
# summary of solver processes directly reported to runsolver:
# pid: 80583,80585
# total CPU time (s): 3600.18
# total CPU user time (s): 3575.89
# total CPU system time (s): 24.2888
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.54796 second user time and 16.36 second system time
The end
Begin job on nodeC035 at 2025-07-03 21:37:39
IDJOB=4520388
IDBENCH=177928
IDSOLVER=3350
FILE ID=nodeC035/4520388-1751571459
RUNJOBID= nodeC035-1751564231-79812
SLURM_JOB_ID= 9598770
Free space on /tmp= 432792 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/normalized-linearized_pebbling_opt_layeredfan_down_r10_c20_a6.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520388-1751571459/watcher-4520388-1751571459 -o /tmp/evaluation-result-4520388-1751571459/solver-4520388-1751571459 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751564231-79812 --watchdog 3760 run-opt.sh HOME/instance-4520388-1751571459.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bb8972597309f3cb9474209886ec1b04
RANDOM SEED=1484053265
nodeC035 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.641
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.769
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.707
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.238
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.197
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.749
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.741
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.821
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 122635540 kB
MemAvailable: 125076640 kB
Buffers: 664 kB
Cached: 3191984 kB
SwapCached: 332 kB
Active: 5029560 kB
Inactive: 2891588 kB
Active(anon): 4725144 kB
Inactive(anon): 21060 kB
Active(file): 304416 kB
Inactive(file): 2870528 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009392 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 23128 kB
Writeback: 8 kB
AnonPages: 4731340 kB
Mapped: 117024 kB
Shmem: 17700 kB
KReclaimable: 210792 kB
Slab: 301808 kB
SReclaimable: 210792 kB
SUnreclaim: 91016 kB
KernelStack: 4272 kB
PageTables: 12872 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 5530584 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 778240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432800 MiB
End job on nodeC035 at 2025-07-03 22:37:49