0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.03 c [STEP] preprocessing with Papilo
0.00/0.06 c Papilo could not simplify the problem
0.00/0.06 c [STEP] solving with SCIP
299.21/300.11 c [STEP] preprocessing done, loading into solver
299.21/300.14 c [STEP] solving
299.21/300.14 c #variables 451 #constraints 17827
299.21/300.14 c SMALL=int, LARGE=long long
299.21/300.14 c bounds - >= -450 @ 299.051
299.21/300.14 c stratification level: 0
317.65/318.61 c bounds - >= -91 @ 299.059
317.65/318.61 c bounds - >= -90 @ 299.06
317.65/318.61 c bounds - >= -89 @ 299.06
317.65/318.61 c bounds - >= -88 @ 299.06
317.65/318.61 c bounds - >= -87 @ 299.06
317.65/318.61 c bounds - >= -86 @ 299.06
317.65/318.61 c bounds - >= -85 @ 299.061
317.65/318.61 c bounds - >= -84 @ 299.061
317.65/318.61 c bounds - >= -83 @ 299.061
317.65/318.61 c bounds - >= -82 @ 299.061
317.65/318.61 c bounds - >= -81 @ 299.062
317.65/318.61 c #Conflicts: 1000 | #Constraints: 18930
317.65/318.61 c #Conflicts: 2000 | #Constraints: 19930
317.65/318.61 c INPROCESSING
317.65/318.61 c GARBAGE COLLECT
317.65/318.61 c #Conflicts: 3000 | #Constraints: 19925
317.65/318.61 c #Conflicts: 4000 | #Constraints: 20925
317.65/318.61 c INPROCESSING
317.65/318.61 c GARBAGE COLLECT
317.65/318.61 c #Conflicts: 5000 | #Constraints: 20331
317.65/318.61 c #Conflicts: 6000 | #Constraints: 21331
317.65/318.61 c INPROCESSING
317.65/318.61 c GARBAGE COLLECT
317.65/318.61 c #Conflicts: 7000 | #Constraints: 20329
317.65/318.61 c #Conflicts: 8000 | #Constraints: 21329
317.65/318.61 c #Conflicts: 9000 | #Constraints: 22329
317.65/318.61 c INPROCESSING
317.65/318.61 c GARBAGE COLLECT
317.65/318.61 c #Conflicts: 10000 | #Constraints: 21041
317.65/318.61 c #Conflicts: 11000 | #Constraints: 22041
317.65/318.61 c #Conflicts: 12000 | #Constraints: 23041
317.65/318.61 c INPROCESSING
317.65/318.61 c GARBAGE COLLECT
317.65/318.61 c #Conflicts: 13000 | #Constraints: 21488
317.65/318.61 c #Conflicts: 14000 | #Constraints: 22488
317.65/318.61 c #Conflicts: 15000 | #Constraints: 23488
317.65/318.61 c INPROCESSING
317.65/318.61 c GARBAGE COLLECT
317.65/318.61 c #Conflicts: 16000 | #Constraints: 21714
317.65/318.61 c #Conflicts: 17000 | #Constraints: 22714
317.65/318.61 c #Conflicts: 18000 | #Constraints: 23714
317.65/318.61 c INPROCESSING
317.65/318.61 c GARBAGE COLLECT
317.65/318.61 c #Conflicts: 19000 | #Constraints: 21731
317.65/318.61 c #Conflicts: 20000 | #Constraints: 22731
317.65/318.61 c #Conflicts: 21000 | #Constraints: 23731
317.65/318.61 c INPROCESSING
317.65/318.61 c GARBAGE COLLECT
317.65/318.61 c #Conflicts: 22000 | #Constraints: 21537
317.65/318.61 c #Conflicts: 23000 | #Constraints: 22537
317.65/318.61 c #Conflicts: 24000 | #Constraints: 23537
317.65/318.61 c #Conflicts: 25000 | #Constraints: 24537
317.65/318.61 c INPROCESSING
317.65/318.61 c GARBAGE COLLECT
317.65/318.61 c #Conflicts: 26000 | #Constraints: 22145
317.65/318.61 c #Conflicts: 27000 | #Constraints: 23145
317.65/318.61 c #Conflicts: 28000 | #Constraints: 24145
317.65/318.61 c #Conflicts: 29000 | #Constraints: 25145
317.65/318.61 c INPROCESSING
317.65/318.61 c GARBAGE COLLECT
317.65/318.61 c #Conflicts: 30000 | #Constraints: 22549
317.65/318.61 c #Conflicts: 31000 | #Constraints: 23549
317.65/318.61 c #Conflicts: 32000 | #Constraints: 24549
317.65/318.61 c #Conflicts: 33000 | #Constraints: 25549
317.65/318.61 c INPROCESSING
317.65/318.61 c GARBAGE COLLECT
317.65/318.61 c #Conflicts: 34000 | #Constraints: 22744
317.65/318.61 c #Conflicts: 35000 | #Constraints: 23744
317.65/318.61 c #Conflicts: 36000 | #Constraints: 24744
317.65/318.61 c #Conflicts: 37000 | #Constraints: 25744
317.65/318.61 c INPROCESSING
317.65/318.61 c GARBAGE COLLECT
317.65/318.61 c #Conflicts: 38000 | #Constraints: 22745
317.65/318.61 c #Conflicts: 39000 | #Constraints: 23745
317.65/318.61 c #Conflicts: 40000 | #Constraints: 24745
317.65/318.61 c #Conflicts: 41000 | #Constraints: 25745
317.65/318.61 c INPROCESSING
317.65/318.61 c GARBAGE COLLECT
317.65/318.61 c #Conflicts: 42000 | #Constraints: 22550
317.65/318.61 c #Conflicts: 43000 | #Constraints: 23550
317.65/318.61 c #Conflicts: 44000 | #Constraints: 24550
317.65/318.61 c #Conflicts: 45000 | #Constraints: 25550
317.65/318.61 c #Conflicts: 46000 | #Constraints: 26550
317.65/318.61 c INPROCESSING
317.65/318.61 c GARBAGE COLLECT
317.65/318.61 c #Conflicts: 47000 | #Constraints: 23152
317.65/318.61 c #Conflicts: 48000 | #Constraints: 24152
317.65/318.61 c #Conflicts: 49000 | #Constraints: 25152
317.65/318.61 c #Conflicts: 50000 | #Constraints: 26152
317.65/318.61 c #Conflicts: 51000 | #Constraints: 27152
317.65/318.61 c INPROCESSING
317.65/318.61 c GARBAGE COLLECT
317.65/318.61 c #Conflicts: 52000 | #Constraints: 23555
317.65/318.61 c #Conflicts: 53000 | #Constraints: 24555
317.65/318.61 c #Conflicts: 54000 | #Constraints: 25555
317.65/318.61 c #Conflicts: 55000 | #Constraints: 26555
317.65/318.61 c #Conflicts: 56000 | #Constraints: 27555
317.65/318.61 c INPROCESSING
317.65/318.61 c GARBAGE COLLECT
317.65/318.61 c #Conflicts: 57000 | #Constraints: 23761
317.65/318.61 c #Conflicts: 58000 | #Constraints: 24761
317.65/318.61 c #Conflicts: 59000 | #Constraints: 25761
317.65/318.61 c #Conflicts: 60000 | #Constraints: 26761
317.65/318.61 c #Conflicts: 61000 | #Constraints: 27761
317.65/318.61 c INPROCESSING
317.65/318.61 c GARBAGE COLLECT
317.65/318.61 c #Conflicts: 62000 | #Constraints: 23756
317.65/318.61 c #Conflicts: 63000 | #Constraints: 24756
349.98/351.09 c #Conflicts: 64000 | #Constraints: 25756
349.98/351.09 c #Conflicts: 65000 | #Constraints: 26756
349.98/351.09 c #Conflicts: 66000 | #Constraints: 27756
349.98/351.09 c INPROCESSING
349.98/351.09 c GARBAGE COLLECT
349.98/351.09 c #Conflicts: 67000 | #Constraints: 23559
349.98/351.09 c #Conflicts: 68000 | #Constraints: 24559
349.98/351.09 c #Conflicts: 69000 | #Constraints: 25559
349.98/351.09 c #Conflicts: 70000 | #Constraints: 26559
349.98/351.09 c #Conflicts: 71000 | #Constraints: 27559
349.98/351.09 c #Conflicts: 72000 | #Constraints: 28559
349.98/351.09 c INPROCESSING
349.98/351.09 c GARBAGE COLLECT
349.98/351.09 c #Conflicts: 73000 | #Constraints: 24153
349.98/351.09 c #Conflicts: 74000 | #Constraints: 25153
349.98/351.09 c #Conflicts: 75000 | #Constraints: 26153
349.98/351.09 c #Conflicts: 76000 | #Constraints: 27153
349.98/351.09 c #Conflicts: 77000 | #Constraints: 28153
349.98/351.09 c #Conflicts: 78000 | #Constraints: 29153
349.98/351.09 c INPROCESSING
349.98/351.09 c GARBAGE COLLECT
349.98/351.09 c #Conflicts: 79000 | #Constraints: 24555
349.98/351.09 c #Conflicts: 80000 | #Constraints: 25555
349.98/351.09 c #Conflicts: 81000 | #Constraints: 26555
349.98/351.09 c #Conflicts: 82000 | #Constraints: 27555
349.98/351.09 c #Conflicts: 83000 | #Constraints: 28555
349.98/351.09 c #Conflicts: 84000 | #Constraints: 29555
349.98/351.09 c INPROCESSING
349.98/351.09 c GARBAGE COLLECT
349.98/351.09 c #Conflicts: 85000 | #Constraints: 24756
349.98/351.09 c #Conflicts: 86000 | #Constraints: 25756
349.98/351.09 c #Conflicts: 87000 | #Constraints: 26756
349.98/351.09 c #Conflicts: 88000 | #Constraints: 27756
349.98/351.09 c #Conflicts: 89000 | #Constraints: 28756
349.98/351.09 c #Conflicts: 90000 | #Constraints: 29756
349.98/351.09 c INPROCESSING
349.98/351.09 c GARBAGE COLLECT
349.98/351.09 c #Conflicts: 91000 | #Constraints: 24756
349.98/351.09 c #Conflicts: 92000 | #Constraints: 25756
349.98/351.09 c #Conflicts: 93000 | #Constraints: 26756
349.98/351.09 c #Conflicts: 94000 | #Constraints: 27756
349.98/351.09 c #Conflicts: 95000 | #Constraints: 28756
349.98/351.09 c #Conflicts: 96000 | #Constraints: 29756
349.98/351.09 c INPROCESSING
349.98/351.09 c GARBAGE COLLECT
349.98/351.09 c #Conflicts: 97000 | #Constraints: 24560
349.98/351.09 c #Conflicts: 98000 | #Constraints: 25560
349.98/351.09 c #Conflicts: 99000 | #Constraints: 26560
349.98/351.09 c #Conflicts: 100000 | #Constraints: 27560
349.98/351.09 c #Conflicts: 101000 | #Constraints: 28560
349.98/351.09 c #Conflicts: 102000 | #Constraints: 29560
349.98/351.09 c #Conflicts: 103000 | #Constraints: 30560
349.98/351.09 c INPROCESSING
349.98/351.09 c GARBAGE COLLECT
349.98/351.09 c #Conflicts: 104000 | #Constraints: 25148
349.98/351.09 c #Conflicts: 105000 | #Constraints: 26148
349.98/351.09 c #Conflicts: 106000 | #Constraints: 27148
349.98/351.09 c #Conflicts: 107000 | #Constraints: 28148
349.98/351.09 c #Conflicts: 108000 | #Constraints: 29148
349.98/351.09 c #Conflicts: 109000 | #Constraints: 30148
349.98/351.09 c #Conflicts: 110000 | #Constraints: 31148
349.98/351.09 c INPROCESSING
349.98/351.09 c GARBAGE COLLECT
349.98/351.09 c #Conflicts: 111000 | #Constraints: 25553
349.98/351.09 c #Conflicts: 112000 | #Constraints: 26553
349.98/351.09 c #Conflicts: 113000 | #Constraints: 27553
349.98/351.09 c #Conflicts: 114000 | #Constraints: 28553
349.98/351.09 c #Conflicts: 115000 | #Constraints: 29553
349.98/351.09 c #Conflicts: 116000 | #Constraints: 30553
349.98/351.09 c #Conflicts: 117000 | #Constraints: 31553
349.98/351.09 c INPROCESSING
349.98/351.09 c GARBAGE COLLECT
349.98/351.09 c #Conflicts: 118000 | #Constraints: 25749
349.98/351.09 c #Conflicts: 119000 | #Constraints: 26749
349.98/351.09 c #Conflicts: 120000 | #Constraints: 27749
349.98/351.09 c #Conflicts: 121000 | #Constraints: 28749
349.98/351.09 c #Conflicts: 122000 | #Constraints: 29749
349.98/351.09 c #Conflicts: 123000 | #Constraints: 30749
349.98/351.09 c #Conflicts: 124000 | #Constraints: 31749
349.98/351.09 c INPROCESSING
349.98/351.09 c GARBAGE COLLECT
349.98/351.09 c #Conflicts: 125000 | #Constraints: 25746
349.98/351.09 c #Conflicts: 126000 | #Constraints: 26746
349.98/351.09 c #Conflicts: 127000 | #Constraints: 27746
349.98/351.09 c #Conflicts: 128000 | #Constraints: 28746
349.98/351.09 c #Conflicts: 129000 | #Constraints: 29746
349.98/351.09 c #Conflicts: 130000 | #Constraints: 30746
349.98/351.09 c #Conflicts: 131000 | #Constraints: 31746
349.98/351.09 c INPROCESSING
349.98/351.09 c GARBAGE COLLECT
349.98/351.09 c #Conflicts: 132000 | #Constraints: 25554
349.98/351.09 c #Conflicts: 133000 | #Constraints: 26554
349.98/351.09 c #Conflicts: 134000 | #Constraints: 27554
391.76/393.00 c #Conflicts: 135000 | #Constraints: 28554
391.76/393.00 c #Conflicts: 136000 | #Constraints: 29554
391.76/393.00 c #Conflicts: 137000 | #Constraints: 30554
391.76/393.00 c #Conflicts: 138000 | #Constraints: 31554
391.76/393.00 c #Conflicts: 139000 | #Constraints: 32554
391.76/393.00 c INPROCESSING
391.76/393.00 c GARBAGE COLLECT
391.76/393.00 c #Conflicts: 140000 | #Constraints: 26154
391.76/393.00 c #Conflicts: 141000 | #Constraints: 27154
391.76/393.00 c #Conflicts: 142000 | #Constraints: 28154
391.76/393.00 c #Conflicts: 143000 | #Constraints: 29154
391.76/393.00 c #Conflicts: 144000 | #Constraints: 30154
391.76/393.00 c #Conflicts: 145000 | #Constraints: 31154
391.76/393.00 c #Conflicts: 146000 | #Constraints: 32154
391.76/393.00 c #Conflicts: 147000 | #Constraints: 33154
391.76/393.00 c INPROCESSING
391.76/393.00 c GARBAGE COLLECT
391.76/393.00 c #Conflicts: 148000 | #Constraints: 26554
391.76/393.00 c #Conflicts: 149000 | #Constraints: 27554
391.76/393.00 c #Conflicts: 150000 | #Constraints: 28554
391.76/393.00 c #Conflicts: 151000 | #Constraints: 29554
391.76/393.00 c #Conflicts: 152000 | #Constraints: 30554
391.76/393.00 c #Conflicts: 153000 | #Constraints: 31554
391.76/393.00 c #Conflicts: 154000 | #Constraints: 32554
391.76/393.00 c #Conflicts: 155000 | #Constraints: 33554
391.76/393.00 c INPROCESSING
391.76/393.00 c GARBAGE COLLECT
391.76/393.00 c #Conflicts: 156000 | #Constraints: 26752
391.76/393.00 c #Conflicts: 157000 | #Constraints: 27752
391.76/393.00 c #Conflicts: 158000 | #Constraints: 28752
391.76/393.00 c #Conflicts: 159000 | #Constraints: 29752
391.76/393.00 c #Conflicts: 160000 | #Constraints: 30752
391.76/393.00 c #Conflicts: 161000 | #Constraints: 31752
391.76/393.00 c #Conflicts: 162000 | #Constraints: 32752
391.76/393.00 c #Conflicts: 163000 | #Constraints: 33752
391.76/393.00 c INPROCESSING
391.76/393.00 c GARBAGE COLLECT
391.76/393.00 c #Conflicts: 164000 | #Constraints: 26755
391.76/393.00 c #Conflicts: 165000 | #Constraints: 27755
391.76/393.00 c #Conflicts: 166000 | #Constraints: 28755
391.76/393.00 c #Conflicts: 167000 | #Constraints: 29755
391.76/393.00 c #Conflicts: 168000 | #Constraints: 30755
391.76/393.00 c #Conflicts: 169000 | #Constraints: 31755
391.76/393.00 c #Conflicts: 170000 | #Constraints: 32755
391.76/393.00 c #Conflicts: 171000 | #Constraints: 33755
391.76/393.00 c INPROCESSING
391.76/393.00 c GARBAGE COLLECT
391.76/393.00 c #Conflicts: 172000 | #Constraints: 26554
391.76/393.00 c #Conflicts: 173000 | #Constraints: 27554
391.76/393.00 c #Conflicts: 174000 | #Constraints: 28554
391.76/393.00 c #Conflicts: 175000 | #Constraints: 29554
391.76/393.00 c #Conflicts: 176000 | #Constraints: 30554
391.76/393.00 c #Conflicts: 177000 | #Constraints: 31554
391.76/393.00 c #Conflicts: 178000 | #Constraints: 32554
391.76/393.00 c #Conflicts: 179000 | #Constraints: 33554
391.76/393.00 c #Conflicts: 180000 | #Constraints: 34554
391.76/393.00 c INPROCESSING
391.76/393.00 c GARBAGE COLLECT
391.76/393.00 c #Conflicts: 181000 | #Constraints: 27151
391.76/393.00 c #Conflicts: 182000 | #Constraints: 28151
391.76/393.00 c #Conflicts: 183000 | #Constraints: 29151
391.76/393.00 c #Conflicts: 184000 | #Constraints: 30151
391.76/393.00 c #Conflicts: 185000 | #Constraints: 31151
391.76/393.00 c #Conflicts: 186000 | #Constraints: 32151
391.76/393.00 c #Conflicts: 187000 | #Constraints: 33151
391.76/393.00 c #Conflicts: 188000 | #Constraints: 34151
391.76/393.00 c #Conflicts: 189000 | #Constraints: 35151
391.76/393.00 c INPROCESSING
391.76/393.00 c GARBAGE COLLECT
391.76/393.00 c #Conflicts: 190000 | #Constraints: 27555
391.76/393.00 c #Conflicts: 191000 | #Constraints: 28555
391.76/393.00 c #Conflicts: 192000 | #Constraints: 29555
391.76/393.00 c #Conflicts: 193000 | #Constraints: 30555
391.76/393.00 c #Conflicts: 194000 | #Constraints: 31555
391.76/393.00 c #Conflicts: 195000 | #Constraints: 32555
391.76/393.00 c #Conflicts: 196000 | #Constraints: 33555
391.76/393.00 c #Conflicts: 197000 | #Constraints: 34555
391.76/393.00 c #Conflicts: 198000 | #Constraints: 35555
391.76/393.00 c INPROCESSING
391.76/393.00 c GARBAGE COLLECT
391.76/393.00 c #Conflicts: 199000 | #Constraints: 27757
391.76/393.00 c #Conflicts: 200000 | #Constraints: 28757
391.76/393.00 c #Conflicts: 201000 | #Constraints: 29757
391.76/393.00 c #Conflicts: 202000 | #Constraints: 30757
391.76/393.00 c #Conflicts: 203000 | #Constraints: 31757
391.76/393.00 c #Conflicts: 204000 | #Constraints: 32757
391.76/393.00 c #Conflicts: 205000 | #Constraints: 33757
391.76/393.00 c #Conflicts: 206000 | #Constraints: 34757
391.76/393.00 c #Conflicts: 207000 | #Constraints: 35757
391.76/393.00 c INPROCESSING
391.76/393.00 c GARBAGE COLLECT
442.82/444.17 c #Conflicts: 208000 | #Constraints: 27762
442.82/444.17 c #Conflicts: 209000 | #Constraints: 28762
442.82/444.17 c #Conflicts: 210000 | #Constraints: 29762
442.82/444.17 c #Conflicts: 211000 | #Constraints: 30762
442.82/444.17 c #Conflicts: 212000 | #Constraints: 31762
442.82/444.17 c #Conflicts: 213000 | #Constraints: 32762
442.82/444.17 c #Conflicts: 214000 | #Constraints: 33762
442.82/444.17 c #Conflicts: 215000 | #Constraints: 34762
442.82/444.17 c #Conflicts: 216000 | #Constraints: 35762
442.82/444.17 c INPROCESSING
442.82/444.17 c GARBAGE COLLECT
442.82/444.17 c #Conflicts: 217000 | #Constraints: 27558
442.82/444.17 c #Conflicts: 218000 | #Constraints: 28558
442.82/444.17 c #Conflicts: 219000 | #Constraints: 29558
442.82/444.17 c #Conflicts: 220000 | #Constraints: 30558
442.82/444.17 c #Conflicts: 221000 | #Constraints: 31558
442.82/444.17 c #Conflicts: 222000 | #Constraints: 32558
442.82/444.17 c #Conflicts: 223000 | #Constraints: 33558
442.82/444.17 c #Conflicts: 224000 | #Constraints: 34558
442.82/444.17 c #Conflicts: 225000 | #Constraints: 35558
442.82/444.17 c #Conflicts: 226000 | #Constraints: 36558
442.82/444.17 c INPROCESSING
442.82/444.17 c GARBAGE COLLECT
442.82/444.17 c #Conflicts: 227000 | #Constraints: 28158
442.82/444.17 c #Conflicts: 228000 | #Constraints: 29158
442.82/444.17 c #Conflicts: 229000 | #Constraints: 30158
442.82/444.17 c #Conflicts: 230000 | #Constraints: 31158
442.82/444.17 c #Conflicts: 231000 | #Constraints: 32158
442.82/444.17 c #Conflicts: 232000 | #Constraints: 33158
442.82/444.17 c #Conflicts: 233000 | #Constraints: 34158
442.82/444.17 c #Conflicts: 234000 | #Constraints: 35158
442.82/444.17 c #Conflicts: 235000 | #Constraints: 36158
442.82/444.17 c #Conflicts: 236000 | #Constraints: 37158
442.82/444.17 c INPROCESSING
442.82/444.17 c GARBAGE COLLECT
442.82/444.17 c #Conflicts: 237000 | #Constraints: 28558
442.82/444.17 c #Conflicts: 238000 | #Constraints: 29558
442.82/444.17 c #Conflicts: 239000 | #Constraints: 30558
442.82/444.17 c #Conflicts: 240000 | #Constraints: 31558
442.82/444.17 c #Conflicts: 241000 | #Constraints: 32558
442.82/444.17 c #Conflicts: 242000 | #Constraints: 33558
442.82/444.17 c #Conflicts: 243000 | #Constraints: 34558
442.82/444.17 c #Conflicts: 244000 | #Constraints: 35558
442.82/444.17 c #Conflicts: 245000 | #Constraints: 36558
442.82/444.17 c #Conflicts: 246000 | #Constraints: 37558
442.82/444.17 c INPROCESSING
442.82/444.17 c GARBAGE COLLECT
442.82/444.17 c #Conflicts: 247000 | #Constraints: 28759
442.82/444.17 c #Conflicts: 248000 | #Constraints: 29759
442.82/444.17 c #Conflicts: 249000 | #Constraints: 30759
442.82/444.17 c #Conflicts: 250000 | #Constraints: 31759
442.82/444.17 c #Conflicts: 251000 | #Constraints: 32759
442.82/444.17 c #Conflicts: 252000 | #Constraints: 33759
442.82/444.17 c #Conflicts: 253000 | #Constraints: 34759
442.82/444.17 c #Conflicts: 254000 | #Constraints: 35759
442.82/444.17 c #Conflicts: 255000 | #Constraints: 36759
442.82/444.17 c #Conflicts: 256000 | #Constraints: 37759
442.82/444.17 c INPROCESSING
442.82/444.17 c GARBAGE COLLECT
442.82/444.17 c #Conflicts: 257000 | #Constraints: 28757
442.82/444.17 c #Conflicts: 258000 | #Constraints: 29757
442.82/444.17 c #Conflicts: 259000 | #Constraints: 30757
442.82/444.17 c #Conflicts: 260000 | #Constraints: 31757
442.82/444.17 c #Conflicts: 261000 | #Constraints: 32757
442.82/444.17 c #Conflicts: 262000 | #Constraints: 33757
442.82/444.17 c #Conflicts: 263000 | #Constraints: 34757
442.82/444.17 c #Conflicts: 264000 | #Constraints: 35757
442.82/444.17 c #Conflicts: 265000 | #Constraints: 36757
442.82/444.17 c #Conflicts: 266000 | #Constraints: 37757
442.82/444.17 c INPROCESSING
442.82/444.17 c GARBAGE COLLECT
442.82/444.17 c #Conflicts: 267000 | #Constraints: 28554
442.82/444.17 c #Conflicts: 268000 | #Constraints: 29554
442.82/444.17 c #Conflicts: 269000 | #Constraints: 30554
442.82/444.17 c #Conflicts: 270000 | #Constraints: 31554
442.82/444.17 c #Conflicts: 271000 | #Constraints: 32554
442.82/444.17 c #Conflicts: 272000 | #Constraints: 33554
442.82/444.17 c #Conflicts: 273000 | #Constraints: 34554
442.82/444.17 c #Conflicts: 274000 | #Constraints: 35554
442.82/444.17 c #Conflicts: 275000 | #Constraints: 36554
442.82/444.17 c #Conflicts: 276000 | #Constraints: 37554
442.82/444.17 c #Conflicts: 277000 | #Constraints: 38554
442.82/444.17 c INPROCESSING
442.82/444.17 c GARBAGE COLLECT
442.82/444.17 c #Conflicts: 278000 | #Constraints: 29153
442.82/444.17 c #Conflicts: 279000 | #Constraints: 30153
442.82/444.17 c #Conflicts: 280000 | #Constraints: 31153
442.82/444.17 c #Conflicts: 281000 | #Constraints: 32153
442.82/444.17 c #Conflicts: 282000 | #Constraints: 33153
502.55/504.02 c #Conflicts: 283000 | #Constraints: 34153
502.55/504.02 c #Conflicts: 284000 | #Constraints: 35153
502.55/504.02 c #Conflicts: 285000 | #Constraints: 36153
502.55/504.02 c #Conflicts: 286000 | #Constraints: 37153
502.55/504.02 c #Conflicts: 287000 | #Constraints: 38153
502.55/504.02 c #Conflicts: 288000 | #Constraints: 39153
502.55/504.02 c INPROCESSING
502.55/504.02 c GARBAGE COLLECT
502.55/504.02 c #Conflicts: 289000 | #Constraints: 29551
502.55/504.02 c #Conflicts: 290000 | #Constraints: 30551
502.55/504.02 c #Conflicts: 291000 | #Constraints: 31551
502.55/504.02 c #Conflicts: 292000 | #Constraints: 32551
502.55/504.02 c #Conflicts: 293000 | #Constraints: 33551
502.55/504.02 c #Conflicts: 294000 | #Constraints: 34551
502.55/504.02 c #Conflicts: 295000 | #Constraints: 35551
502.55/504.02 c #Conflicts: 296000 | #Constraints: 36551
502.55/504.02 c #Conflicts: 297000 | #Constraints: 37551
502.55/504.02 c #Conflicts: 298000 | #Constraints: 38551
502.55/504.02 c #Conflicts: 299000 | #Constraints: 39551
502.55/504.02 c INPROCESSING
502.55/504.02 c GARBAGE COLLECT
502.55/504.02 c #Conflicts: 300000 | #Constraints: 29750
502.55/504.02 c #Conflicts: 301000 | #Constraints: 30750
502.55/504.02 c #Conflicts: 302000 | #Constraints: 31750
502.55/504.02 c #Conflicts: 303000 | #Constraints: 32750
502.55/504.02 c #Conflicts: 304000 | #Constraints: 33750
502.55/504.02 c #Conflicts: 305000 | #Constraints: 34750
502.55/504.02 c #Conflicts: 306000 | #Constraints: 35750
502.55/504.02 c #Conflicts: 307000 | #Constraints: 36750
502.55/504.02 c #Conflicts: 308000 | #Constraints: 37750
502.55/504.02 c #Conflicts: 309000 | #Constraints: 38750
502.55/504.02 c #Conflicts: 310000 | #Constraints: 39750
502.55/504.02 c INPROCESSING
502.55/504.02 c GARBAGE COLLECT
502.55/504.02 c #Conflicts: 311000 | #Constraints: 29759
502.55/504.02 c #Conflicts: 312000 | #Constraints: 30759
502.55/504.02 c #Conflicts: 313000 | #Constraints: 31759
502.55/504.02 c #Conflicts: 314000 | #Constraints: 32759
502.55/504.02 c #Conflicts: 315000 | #Constraints: 33759
502.55/504.02 c #Conflicts: 316000 | #Constraints: 34759
502.55/504.02 c #Conflicts: 317000 | #Constraints: 35759
502.55/504.02 c #Conflicts: 318000 | #Constraints: 36759
502.55/504.02 c #Conflicts: 319000 | #Constraints: 37759
502.55/504.02 c #Conflicts: 320000 | #Constraints: 38759
502.55/504.02 c #Conflicts: 321000 | #Constraints: 39759
502.55/504.02 c INPROCESSING
502.55/504.02 c GARBAGE COLLECT
502.55/504.02 c #Conflicts: 322000 | #Constraints: 29558
502.55/504.02 c #Conflicts: 323000 | #Constraints: 30558
502.55/504.02 c #Conflicts: 324000 | #Constraints: 31558
502.55/504.02 c #Conflicts: 325000 | #Constraints: 32558
502.55/504.02 c #Conflicts: 326000 | #Constraints: 33558
502.55/504.02 c #Conflicts: 327000 | #Constraints: 34558
502.55/504.02 c #Conflicts: 328000 | #Constraints: 35558
502.55/504.02 c #Conflicts: 329000 | #Constraints: 36558
502.55/504.02 c #Conflicts: 330000 | #Constraints: 37558
502.55/504.02 c #Conflicts: 331000 | #Constraints: 38558
502.55/504.02 c #Conflicts: 332000 | #Constraints: 39558
502.55/504.02 c #Conflicts: 333000 | #Constraints: 40558
502.55/504.02 c INPROCESSING
502.55/504.02 c GARBAGE COLLECT
502.55/504.02 c #Conflicts: 334000 | #Constraints: 30157
502.55/504.02 c #Conflicts: 335000 | #Constraints: 31157
502.55/504.02 c #Conflicts: 336000 | #Constraints: 32157
502.55/504.02 c #Conflicts: 337000 | #Constraints: 33157
502.55/504.02 c #Conflicts: 338000 | #Constraints: 34157
502.55/504.02 c #Conflicts: 339000 | #Constraints: 35157
502.55/504.02 c #Conflicts: 340000 | #Constraints: 36157
502.55/504.02 c #Conflicts: 341000 | #Constraints: 37157
502.55/504.02 c #Conflicts: 342000 | #Constraints: 38157
502.55/504.02 c #Conflicts: 343000 | #Constraints: 39157
502.55/504.02 c #Conflicts: 344000 | #Constraints: 40157
502.55/504.02 c #Conflicts: 345000 | #Constraints: 41157
502.55/504.02 c INPROCESSING
502.55/504.02 c GARBAGE COLLECT
502.55/504.02 c #Conflicts: 346000 | #Constraints: 30549
502.55/504.02 c #Conflicts: 347000 | #Constraints: 31549
502.55/504.02 c #Conflicts: 348000 | #Constraints: 32549
502.55/504.02 c #Conflicts: 349000 | #Constraints: 33549
502.55/504.02 c #Conflicts: 350000 | #Constraints: 34549
502.55/504.02 c #Conflicts: 351000 | #Constraints: 35549
502.55/504.02 c #Conflicts: 352000 | #Constraints: 36549
502.55/504.02 c #Conflicts: 353000 | #Constraints: 37549
502.55/504.02 c #Conflicts: 354000 | #Constraints: 38549
502.55/504.02 c #Conflicts: 355000 | #Constraints: 39549
502.55/504.02 c #Conflicts: 356000 | #Constraints: 40549
502.55/504.02 c #Conflicts: 357000 | #Constraints: 41549
566.48/568.19 c INPROCESSING
566.48/568.19 c GARBAGE COLLECT
566.48/568.19 c #Conflicts: 358000 | #Constraints: 30751
566.48/568.19 c #Conflicts: 359000 | #Constraints: 31751
566.48/568.19 c #Conflicts: 360000 | #Constraints: 32751
566.48/568.19 c #Conflicts: 361000 | #Constraints: 33751
566.48/568.19 c #Conflicts: 362000 | #Constraints: 34751
566.48/568.19 c #Conflicts: 363000 | #Constraints: 35751
566.48/568.19 c #Conflicts: 364000 | #Constraints: 36751
566.48/568.19 c #Conflicts: 365000 | #Constraints: 37751
566.48/568.19 c #Conflicts: 366000 | #Constraints: 38751
566.48/568.19 c #Conflicts: 367000 | #Constraints: 39751
566.48/568.19 c #Conflicts: 368000 | #Constraints: 40751
566.48/568.19 c #Conflicts: 369000 | #Constraints: 41751
566.48/568.19 c INPROCESSING
566.48/568.19 c GARBAGE COLLECT
566.48/568.19 c #Conflicts: 370000 | #Constraints: 30752
566.48/568.19 c #Conflicts: 371000 | #Constraints: 31752
566.48/568.19 c #Conflicts: 372000 | #Constraints: 32752
566.48/568.19 c #Conflicts: 373000 | #Constraints: 33752
566.48/568.19 c #Conflicts: 374000 | #Constraints: 34752
566.48/568.19 c #Conflicts: 375000 | #Constraints: 35752
566.48/568.19 c #Conflicts: 376000 | #Constraints: 36752
566.48/568.19 c #Conflicts: 377000 | #Constraints: 37752
566.48/568.19 c #Conflicts: 378000 | #Constraints: 38752
566.48/568.19 c #Conflicts: 379000 | #Constraints: 39752
566.48/568.19 c #Conflicts: 380000 | #Constraints: 40752
566.48/568.19 c #Conflicts: 381000 | #Constraints: 41752
566.48/568.19 c INPROCESSING
566.48/568.19 c GARBAGE COLLECT
566.48/568.19 c #Conflicts: 382000 | #Constraints: 30556
566.48/568.19 c #Conflicts: 383000 | #Constraints: 31556
566.48/568.19 c #Conflicts: 384000 | #Constraints: 32556
566.48/568.19 c #Conflicts: 385000 | #Constraints: 33556
566.48/568.19 c #Conflicts: 386000 | #Constraints: 34556
566.48/568.19 c #Conflicts: 387000 | #Constraints: 35556
566.48/568.19 c #Conflicts: 388000 | #Constraints: 36556
566.48/568.19 c #Conflicts: 389000 | #Constraints: 37556
566.48/568.19 c #Conflicts: 390000 | #Constraints: 38556
566.48/568.19 c #Conflicts: 391000 | #Constraints: 39556
566.48/568.19 c #Conflicts: 392000 | #Constraints: 40556
566.48/568.19 c #Conflicts: 393000 | #Constraints: 41556
566.48/568.19 c #Conflicts: 394000 | #Constraints: 42556
566.48/568.19 c INPROCESSING
566.48/568.19 c GARBAGE COLLECT
566.48/568.19 c #Conflicts: 395000 | #Constraints: 31160
566.48/568.19 c #Conflicts: 396000 | #Constraints: 32160
566.48/568.19 c #Conflicts: 397000 | #Constraints: 33160
566.48/568.19 c #Conflicts: 398000 | #Constraints: 34160
566.48/568.19 c #Conflicts: 399000 | #Constraints: 35160
566.48/568.19 c #Conflicts: 400000 | #Constraints: 36160
566.48/568.19 c #Conflicts: 401000 | #Constraints: 37160
566.48/568.19 c #Conflicts: 402000 | #Constraints: 38160
566.48/568.19 c #Conflicts: 403000 | #Constraints: 39160
566.48/568.19 c #Conflicts: 404000 | #Constraints: 40160
566.48/568.19 c #Conflicts: 405000 | #Constraints: 41160
566.48/568.19 c #Conflicts: 406000 | #Constraints: 42160
566.48/568.19 c #Conflicts: 407000 | #Constraints: 43160
566.48/568.19 c INPROCESSING
566.48/568.19 c GARBAGE COLLECT
566.48/568.19 c #Conflicts: 408000 | #Constraints: 31558
566.48/568.19 c #Conflicts: 409000 | #Constraints: 32558
566.48/568.19 c #Conflicts: 410000 | #Constraints: 33558
566.48/568.19 c #Conflicts: 411000 | #Constraints: 34558
566.48/568.19 c #Conflicts: 412000 | #Constraints: 35558
566.48/568.19 c #Conflicts: 413000 | #Constraints: 36558
566.48/568.19 c #Conflicts: 414000 | #Constraints: 37558
566.48/568.19 c #Conflicts: 415000 | #Constraints: 38558
566.48/568.19 c #Conflicts: 416000 | #Constraints: 39558
566.48/568.19 c #Conflicts: 417000 | #Constraints: 40558
566.48/568.19 c #Conflicts: 418000 | #Constraints: 41558
566.48/568.19 c #Conflicts: 419000 | #Constraints: 42558
566.48/568.19 c #Conflicts: 420000 | #Constraints: 43558
566.48/568.19 c INPROCESSING
566.48/568.19 c GARBAGE COLLECT
566.48/568.19 c #Conflicts: 421000 | #Constraints: 31764
566.48/568.19 c #Conflicts: 422000 | #Constraints: 32764
566.48/568.19 c #Conflicts: 423000 | #Constraints: 33764
566.48/568.19 c #Conflicts: 424000 | #Constraints: 34764
566.48/568.19 c #Conflicts: 425000 | #Constraints: 35764
566.48/568.19 c #Conflicts: 426000 | #Constraints: 36764
566.48/568.19 c #Conflicts: 427000 | #Constraints: 37764
566.48/568.19 c #Conflicts: 428000 | #Constraints: 38764
566.48/568.19 c #Conflicts: 429000 | #Constraints: 39764
566.48/568.19 c #Conflicts: 430000 | #Constraints: 40764
566.48/568.19 c #Conflicts: 431000 | #Constraints: 41764
566.48/568.19 c #Conflicts: 432000 | #Constraints: 42764
628.23/630.00 c #Conflicts: 433000 | #Constraints: 43764
628.23/630.00 c INPROCESSING
628.23/630.00 c GARBAGE COLLECT
628.23/630.00 c #Conflicts: 434000 | #Constraints: 31764
628.23/630.00 c #Conflicts: 435000 | #Constraints: 32764
628.23/630.00 c #Conflicts: 436000 | #Constraints: 33764
628.23/630.00 c #Conflicts: 437000 | #Constraints: 34764
628.23/630.00 c #Conflicts: 438000 | #Constraints: 35764
628.23/630.00 c #Conflicts: 439000 | #Constraints: 36764
628.23/630.00 c #Conflicts: 440000 | #Constraints: 37764
628.23/630.00 c #Conflicts: 441000 | #Constraints: 38764
628.23/630.00 c #Conflicts: 442000 | #Constraints: 39764
628.23/630.00 c #Conflicts: 443000 | #Constraints: 40764
628.23/630.00 c #Conflicts: 444000 | #Constraints: 41764
628.23/630.00 c #Conflicts: 445000 | #Constraints: 42764
628.23/630.00 c #Conflicts: 446000 | #Constraints: 43764
628.23/630.00 c INPROCESSING
628.23/630.00 c GARBAGE COLLECT
628.23/630.00 c #Conflicts: 447000 | #Constraints: 31565
628.23/630.00 c #Conflicts: 448000 | #Constraints: 32565
628.23/630.00 c #Conflicts: 449000 | #Constraints: 33565
628.23/630.00 c #Conflicts: 450000 | #Constraints: 34565
628.23/630.00 c #Conflicts: 451000 | #Constraints: 35565
628.23/630.00 c #Conflicts: 452000 | #Constraints: 36565
628.23/630.00 c #Conflicts: 453000 | #Constraints: 37565
628.23/630.00 c #Conflicts: 454000 | #Constraints: 38565
628.23/630.00 c #Conflicts: 455000 | #Constraints: 39565
628.23/630.00 c #Conflicts: 456000 | #Constraints: 40565
628.23/630.00 c #Conflicts: 457000 | #Constraints: 41565
628.23/630.00 c #Conflicts: 458000 | #Constraints: 42565
628.23/630.00 c #Conflicts: 459000 | #Constraints: 43565
628.23/630.00 c #Conflicts: 460000 | #Constraints: 44565
628.23/630.00 c INPROCESSING
628.23/630.00 c GARBAGE COLLECT
628.23/630.00 c #Conflicts: 461000 | #Constraints: 32164
628.23/630.00 c #Conflicts: 462000 | #Constraints: 33164
628.23/630.00 c #Conflicts: 463000 | #Constraints: 34164
628.23/630.00 c #Conflicts: 464000 | #Constraints: 35164
628.23/630.00 c #Conflicts: 465000 | #Constraints: 36164
628.23/630.00 c #Conflicts: 466000 | #Constraints: 37164
628.23/630.00 c #Conflicts: 467000 | #Constraints: 38164
628.23/630.00 c #Conflicts: 468000 | #Constraints: 39164
628.23/630.00 c #Conflicts: 469000 | #Constraints: 40164
628.23/630.00 c #Conflicts: 470000 | #Constraints: 41164
628.23/630.00 c #Conflicts: 471000 | #Constraints: 42164
628.23/630.00 c #Conflicts: 472000 | #Constraints: 43164
628.23/630.00 c #Conflicts: 473000 | #Constraints: 44164
628.23/630.00 c #Conflicts: 474000 | #Constraints: 45164
628.23/630.00 c INPROCESSING
628.23/630.00 c GARBAGE COLLECT
628.23/630.00 c #Conflicts: 475000 | #Constraints: 32567
628.23/630.00 c #Conflicts: 476000 | #Constraints: 33567
628.23/630.00 c #Conflicts: 477000 | #Constraints: 34567
628.23/630.00 c #Conflicts: 478000 | #Constraints: 35567
628.23/630.00 c #Conflicts: 479000 | #Constraints: 36567
628.23/630.00 c #Conflicts: 480000 | #Constraints: 37567
628.23/630.00 c #Conflicts: 481000 | #Constraints: 38567
628.23/630.00 c #Conflicts: 482000 | #Constraints: 39567
628.23/630.00 c #Conflicts: 483000 | #Constraints: 40567
628.23/630.00 c #Conflicts: 484000 | #Constraints: 41567
628.23/630.00 c #Conflicts: 485000 | #Constraints: 42567
628.23/630.00 c #Conflicts: 486000 | #Constraints: 43567
628.23/630.00 c #Conflicts: 487000 | #Constraints: 44567
628.23/630.00 c #Conflicts: 488000 | #Constraints: 45567
628.23/630.00 c INPROCESSING
628.23/630.00 c GARBAGE COLLECT
628.23/630.00 c #Conflicts: 489000 | #Constraints: 32770
628.23/630.00 c #Conflicts: 490000 | #Constraints: 33770
628.23/630.00 c #Conflicts: 491000 | #Constraints: 34770
628.23/630.00 c #Conflicts: 492000 | #Constraints: 35770
628.23/630.00 c #Conflicts: 493000 | #Constraints: 36770
628.23/630.00 c #Conflicts: 494000 | #Constraints: 37770
628.23/630.00 c #Conflicts: 495000 | #Constraints: 38770
628.23/630.00 c #Conflicts: 496000 | #Constraints: 39770
628.23/630.00 c #Conflicts: 497000 | #Constraints: 40770
628.23/630.00 c #Conflicts: 498000 | #Constraints: 41770
628.23/630.00 c #Conflicts: 499000 | #Constraints: 42770
628.23/630.00 c #Conflicts: 500000 | #Constraints: 43770
628.23/630.00 c #Conflicts: 501000 | #Constraints: 44770
628.23/630.00 c #Conflicts: 502000 | #Constraints: 45770
628.23/630.00 c INPROCESSING
628.23/630.00 c GARBAGE COLLECT
628.23/630.00 c #Conflicts: 503000 | #Constraints: 32768
628.23/630.00 c #Conflicts: 504000 | #Constraints: 33768
628.23/630.00 c #Conflicts: 505000 | #Constraints: 34768
628.23/630.00 c #Conflicts: 506000 | #Constraints: 35768
628.23/630.00 c #Conflicts: 507000 | #Constraints: 36768
703.13/705.19 c #Conflicts: 508000 | #Constraints: 37768
703.13/705.19 c #Conflicts: 509000 | #Constraints: 38768
703.13/705.19 c #Conflicts: 510000 | #Constraints: 39768
703.13/705.19 c #Conflicts: 511000 | #Constraints: 40768
703.13/705.19 c #Conflicts: 512000 | #Constraints: 41768
703.13/705.19 c #Conflicts: 513000 | #Constraints: 42768
703.13/705.19 c #Conflicts: 514000 | #Constraints: 43768
703.13/705.19 c #Conflicts: 515000 | #Constraints: 44768
703.13/705.19 c #Conflicts: 516000 | #Constraints: 45768
703.13/705.19 c INPROCESSING
703.13/705.19 c GARBAGE COLLECT
703.13/705.19 c #Conflicts: 517000 | #Constraints: 32561
703.13/705.19 c #Conflicts: 518000 | #Constraints: 33561
703.13/705.19 c #Conflicts: 519000 | #Constraints: 34561
703.13/705.19 c #Conflicts: 520000 | #Constraints: 35561
703.13/705.19 c #Conflicts: 521000 | #Constraints: 36561
703.13/705.19 c #Conflicts: 522000 | #Constraints: 37561
703.13/705.19 c #Conflicts: 523000 | #Constraints: 38561
703.13/705.19 c #Conflicts: 524000 | #Constraints: 39561
703.13/705.19 c #Conflicts: 525000 | #Constraints: 40561
703.13/705.19 c #Conflicts: 526000 | #Constraints: 41561
703.13/705.19 c #Conflicts: 527000 | #Constraints: 42561
703.13/705.19 c #Conflicts: 528000 | #Constraints: 43561
703.13/705.19 c #Conflicts: 529000 | #Constraints: 44561
703.13/705.19 c #Conflicts: 530000 | #Constraints: 45561
703.13/705.19 c #Conflicts: 531000 | #Constraints: 46561
703.13/705.19 c INPROCESSING
703.13/705.19 c GARBAGE COLLECT
703.13/705.19 c #Conflicts: 532000 | #Constraints: 33160
703.13/705.19 c #Conflicts: 533000 | #Constraints: 34160
703.13/705.19 c #Conflicts: 534000 | #Constraints: 35160
703.13/705.19 c #Conflicts: 535000 | #Constraints: 36160
703.13/705.19 c #Conflicts: 536000 | #Constraints: 37160
703.13/705.19 c #Conflicts: 537000 | #Constraints: 38160
703.13/705.19 c #Conflicts: 538000 | #Constraints: 39160
703.13/705.19 c #Conflicts: 539000 | #Constraints: 40160
703.13/705.19 c #Conflicts: 540000 | #Constraints: 41160
703.13/705.19 c #Conflicts: 541000 | #Constraints: 42160
703.13/705.19 c #Conflicts: 542000 | #Constraints: 43160
703.13/705.19 c #Conflicts: 543000 | #Constraints: 44160
703.13/705.19 c #Conflicts: 544000 | #Constraints: 45160
703.13/705.19 c #Conflicts: 545000 | #Constraints: 46160
703.13/705.19 c #Conflicts: 546000 | #Constraints: 47160
703.13/705.19 c INPROCESSING
703.13/705.19 c GARBAGE COLLECT
703.13/705.19 c #Conflicts: 547000 | #Constraints: 33560
703.13/705.19 c #Conflicts: 548000 | #Constraints: 34560
703.13/705.19 c #Conflicts: 549000 | #Constraints: 35560
703.13/705.19 c #Conflicts: 550000 | #Constraints: 36560
703.13/705.19 c #Conflicts: 551000 | #Constraints: 37560
703.13/705.19 c #Conflicts: 552000 | #Constraints: 38560
703.13/705.19 c #Conflicts: 553000 | #Constraints: 39560
703.13/705.19 c #Conflicts: 554000 | #Constraints: 40560
703.13/705.19 c #Conflicts: 555000 | #Constraints: 41560
703.13/705.19 c #Conflicts: 556000 | #Constraints: 42560
703.13/705.19 c #Conflicts: 557000 | #Constraints: 43560
703.13/705.19 c #Conflicts: 558000 | #Constraints: 44560
703.13/705.19 c #Conflicts: 559000 | #Constraints: 45560
703.13/705.19 c #Conflicts: 560000 | #Constraints: 46560
703.13/705.19 c #Conflicts: 561000 | #Constraints: 47560
703.13/705.19 c INPROCESSING
703.13/705.19 c GARBAGE COLLECT
703.13/705.19 c #Conflicts: 562000 | #Constraints: 33754
703.13/705.19 c #Conflicts: 563000 | #Constraints: 34754
703.13/705.19 c #Conflicts: 564000 | #Constraints: 35754
703.13/705.19 c #Conflicts: 565000 | #Constraints: 36754
703.13/705.19 c #Conflicts: 566000 | #Constraints: 37754
703.13/705.19 c #Conflicts: 567000 | #Constraints: 38754
703.13/705.19 c #Conflicts: 568000 | #Constraints: 39754
703.13/705.19 c #Conflicts: 569000 | #Constraints: 40754
703.13/705.19 c #Conflicts: 570000 | #Constraints: 41754
703.13/705.19 c #Conflicts: 571000 | #Constraints: 42754
703.13/705.19 c #Conflicts: 572000 | #Constraints: 43754
703.13/705.19 c #Conflicts: 573000 | #Constraints: 44754
703.13/705.19 c #Conflicts: 574000 | #Constraints: 45754
703.13/705.19 c #Conflicts: 575000 | #Constraints: 46754
703.13/705.19 c #Conflicts: 576000 | #Constraints: 47754
703.13/705.19 c INPROCESSING
703.13/705.19 c GARBAGE COLLECT
703.13/705.19 c #Conflicts: 577000 | #Constraints: 33758
703.13/705.19 c #Conflicts: 578000 | #Constraints: 34758
703.13/705.19 c #Conflicts: 579000 | #Constraints: 35758
703.13/705.19 c #Conflicts: 580000 | #Constraints: 36758
703.13/705.19 c #Conflicts: 581000 | #Constraints: 37758
703.13/705.19 c #Conflicts: 582000 | #Constraints: 38758
780.72/782.99 c #Conflicts: 583000 | #Constraints: 39758
780.72/782.99 c #Conflicts: 584000 | #Constraints: 40758
780.72/782.99 c #Conflicts: 585000 | #Constraints: 41758
780.72/782.99 c #Conflicts: 586000 | #Constraints: 42758
780.72/782.99 c #Conflicts: 587000 | #Constraints: 43758
780.72/782.99 c #Conflicts: 588000 | #Constraints: 44758
780.72/782.99 c #Conflicts: 589000 | #Constraints: 45758
780.72/782.99 c #Conflicts: 590000 | #Constraints: 46758
780.72/782.99 c #Conflicts: 591000 | #Constraints: 47758
780.72/782.99 c INPROCESSING
780.72/782.99 c GARBAGE COLLECT
780.72/782.99 c #Conflicts: 592000 | #Constraints: 33558
780.72/782.99 c #Conflicts: 593000 | #Constraints: 34558
780.72/782.99 c #Conflicts: 594000 | #Constraints: 35558
780.72/782.99 c #Conflicts: 595000 | #Constraints: 36558
780.72/782.99 c #Conflicts: 596000 | #Constraints: 37558
780.72/782.99 c #Conflicts: 597000 | #Constraints: 38558
780.72/782.99 c #Conflicts: 598000 | #Constraints: 39558
780.72/782.99 c #Conflicts: 599000 | #Constraints: 40558
780.72/782.99 c #Conflicts: 600000 | #Constraints: 41558
780.72/782.99 c #Conflicts: 601000 | #Constraints: 42558
780.72/782.99 c #Conflicts: 602000 | #Constraints: 43558
780.72/782.99 c #Conflicts: 603000 | #Constraints: 44558
780.72/782.99 c #Conflicts: 604000 | #Constraints: 45558
780.72/782.99 c #Conflicts: 605000 | #Constraints: 46558
780.72/782.99 c #Conflicts: 606000 | #Constraints: 47558
780.72/782.99 c #Conflicts: 607000 | #Constraints: 48558
780.72/782.99 c INPROCESSING
780.72/782.99 c GARBAGE COLLECT
780.72/782.99 c #Conflicts: 608000 | #Constraints: 34161
780.72/782.99 c #Conflicts: 609000 | #Constraints: 35161
780.72/782.99 c #Conflicts: 610000 | #Constraints: 36161
780.72/782.99 c #Conflicts: 611000 | #Constraints: 37161
780.72/782.99 c #Conflicts: 612000 | #Constraints: 38161
780.72/782.99 c #Conflicts: 613000 | #Constraints: 39161
780.72/782.99 c #Conflicts: 614000 | #Constraints: 40161
780.72/782.99 c #Conflicts: 615000 | #Constraints: 41161
780.72/782.99 c #Conflicts: 616000 | #Constraints: 42161
780.72/782.99 c #Conflicts: 617000 | #Constraints: 43161
780.72/782.99 c #Conflicts: 618000 | #Constraints: 44161
780.72/782.99 c #Conflicts: 619000 | #Constraints: 45161
780.72/782.99 c #Conflicts: 620000 | #Constraints: 46161
780.72/782.99 c #Conflicts: 621000 | #Constraints: 47161
780.72/782.99 c #Conflicts: 622000 | #Constraints: 48161
780.72/782.99 c #Conflicts: 623000 | #Constraints: 49161
780.72/782.99 c INPROCESSING
780.72/782.99 c GARBAGE COLLECT
780.72/782.99 c #Conflicts: 624000 | #Constraints: 34558
780.72/782.99 c #Conflicts: 625000 | #Constraints: 35558
780.72/782.99 c #Conflicts: 626000 | #Constraints: 36558
780.72/782.99 c #Conflicts: 627000 | #Constraints: 37558
780.72/782.99 c #Conflicts: 628000 | #Constraints: 38558
780.72/782.99 c #Conflicts: 629000 | #Constraints: 39558
780.72/782.99 c #Conflicts: 630000 | #Constraints: 40558
780.72/782.99 c #Conflicts: 631000 | #Constraints: 41558
780.72/782.99 c #Conflicts: 632000 | #Constraints: 42558
780.72/782.99 c #Conflicts: 633000 | #Constraints: 43558
780.72/782.99 c #Conflicts: 634000 | #Constraints: 44558
780.72/782.99 c #Conflicts: 635000 | #Constraints: 45558
780.72/782.99 c #Conflicts: 636000 | #Constraints: 46558
780.72/782.99 c #Conflicts: 637000 | #Constraints: 47558
780.72/782.99 c #Conflicts: 638000 | #Constraints: 48558
780.72/782.99 c #Conflicts: 639000 | #Constraints: 49558
780.72/782.99 c INPROCESSING
780.72/782.99 c GARBAGE COLLECT
780.72/782.99 c #Conflicts: 640000 | #Constraints: 34754
780.72/782.99 c #Conflicts: 641000 | #Constraints: 35754
780.72/782.99 c #Conflicts: 642000 | #Constraints: 36754
780.72/782.99 c #Conflicts: 643000 | #Constraints: 37754
780.72/782.99 c #Conflicts: 644000 | #Constraints: 38754
780.72/782.99 c #Conflicts: 645000 | #Constraints: 39754
780.72/782.99 c #Conflicts: 646000 | #Constraints: 40754
780.72/782.99 c #Conflicts: 647000 | #Constraints: 41754
780.72/782.99 c #Conflicts: 648000 | #Constraints: 42754
780.72/782.99 c #Conflicts: 649000 | #Constraints: 43754
780.72/782.99 c #Conflicts: 650000 | #Constraints: 44754
780.72/782.99 c #Conflicts: 651000 | #Constraints: 45754
780.72/782.99 c #Conflicts: 652000 | #Constraints: 46754
780.72/782.99 c #Conflicts: 653000 | #Constraints: 47754
780.72/782.99 c #Conflicts: 654000 | #Constraints: 48754
780.72/782.99 c #Conflicts: 655000 | #Constraints: 49754
780.72/782.99 c INPROCESSING
780.72/782.99 c GARBAGE COLLECT
780.72/782.99 c #Conflicts: 656000 | #Constraints: 34753
780.72/782.99 c #Conflicts: 657000 | #Constraints: 35753
780.72/782.99 c #Conflicts: 658000 | #Constraints: 36753
860.91/863.35 c #Conflicts: 659000 | #Constraints: 37753
860.91/863.35 c #Conflicts: 660000 | #Constraints: 38753
860.91/863.35 c #Conflicts: 661000 | #Constraints: 39753
860.91/863.35 c #Conflicts: 662000 | #Constraints: 40753
860.91/863.35 c #Conflicts: 663000 | #Constraints: 41753
860.91/863.35 c #Conflicts: 664000 | #Constraints: 42753
860.91/863.35 c #Conflicts: 665000 | #Constraints: 43753
860.91/863.35 c #Conflicts: 666000 | #Constraints: 44753
860.91/863.35 c #Conflicts: 667000 | #Constraints: 45753
860.91/863.35 c #Conflicts: 668000 | #Constraints: 46753
860.91/863.35 c #Conflicts: 669000 | #Constraints: 47753
860.91/863.35 c #Conflicts: 670000 | #Constraints: 48753
860.91/863.35 c #Conflicts: 671000 | #Constraints: 49753
860.91/863.35 c INPROCESSING
860.91/863.35 c GARBAGE COLLECT
860.91/863.35 c #Conflicts: 672000 | #Constraints: 34566
860.91/863.35 c #Conflicts: 673000 | #Constraints: 35566
860.91/863.35 c #Conflicts: 674000 | #Constraints: 36566
860.91/863.35 c #Conflicts: 675000 | #Constraints: 37566
860.91/863.35 c #Conflicts: 676000 | #Constraints: 38566
860.91/863.35 c #Conflicts: 677000 | #Constraints: 39566
860.91/863.35 c #Conflicts: 678000 | #Constraints: 40566
860.91/863.35 c #Conflicts: 679000 | #Constraints: 41566
860.91/863.35 c #Conflicts: 680000 | #Constraints: 42566
860.91/863.35 c #Conflicts: 681000 | #Constraints: 43566
860.91/863.35 c #Conflicts: 682000 | #Constraints: 44566
860.91/863.35 c #Conflicts: 683000 | #Constraints: 45566
860.91/863.35 c #Conflicts: 684000 | #Constraints: 46566
860.91/863.35 c #Conflicts: 685000 | #Constraints: 47566
860.91/863.35 c #Conflicts: 686000 | #Constraints: 48566
860.91/863.35 c #Conflicts: 687000 | #Constraints: 49566
860.91/863.35 c #Conflicts: 688000 | #Constraints: 50566
860.91/863.35 c INPROCESSING
860.91/863.35 c GARBAGE COLLECT
860.91/863.35 c #Conflicts: 689000 | #Constraints: 35160
860.91/863.35 c #Conflicts: 690000 | #Constraints: 36160
860.91/863.35 c #Conflicts: 691000 | #Constraints: 37160
860.91/863.35 c #Conflicts: 692000 | #Constraints: 38160
860.91/863.35 c #Conflicts: 693000 | #Constraints: 39160
860.91/863.35 c #Conflicts: 694000 | #Constraints: 40160
860.91/863.35 c #Conflicts: 695000 | #Constraints: 41160
860.91/863.35 c #Conflicts: 696000 | #Constraints: 42160
860.91/863.35 c #Conflicts: 697000 | #Constraints: 43160
860.91/863.35 c #Conflicts: 698000 | #Constraints: 44160
860.91/863.35 c #Conflicts: 699000 | #Constraints: 45160
860.91/863.35 c #Conflicts: 700000 | #Constraints: 46160
860.91/863.35 c #Conflicts: 701000 | #Constraints: 47160
860.91/863.35 c #Conflicts: 702000 | #Constraints: 48160
860.91/863.35 c #Conflicts: 703000 | #Constraints: 49160
860.91/863.35 c #Conflicts: 704000 | #Constraints: 50160
860.91/863.35 c #Conflicts: 705000 | #Constraints: 51160
860.91/863.35 c INPROCESSING
860.91/863.35 c GARBAGE COLLECT
860.91/863.35 c #Conflicts: 706000 | #Constraints: 35568
860.91/863.35 c #Conflicts: 707000 | #Constraints: 36568
860.91/863.35 c #Conflicts: 708000 | #Constraints: 37568
860.91/863.35 c #Conflicts: 709000 | #Constraints: 38568
860.91/863.35 c #Conflicts: 710000 | #Constraints: 39568
860.91/863.35 c #Conflicts: 711000 | #Constraints: 40568
860.91/863.35 c #Conflicts: 712000 | #Constraints: 41568
860.91/863.35 c #Conflicts: 713000 | #Constraints: 42568
860.91/863.35 c #Conflicts: 714000 | #Constraints: 43568
860.91/863.35 c #Conflicts: 715000 | #Constraints: 44568
860.91/863.35 c #Conflicts: 716000 | #Constraints: 45568
860.91/863.35 c #Conflicts: 717000 | #Constraints: 46568
860.91/863.35 c #Conflicts: 718000 | #Constraints: 47568
860.91/863.35 c #Conflicts: 719000 | #Constraints: 48568
860.91/863.35 c #Conflicts: 720000 | #Constraints: 49568
860.91/863.35 c #Conflicts: 721000 | #Constraints: 50568
860.91/863.35 c #Conflicts: 722000 | #Constraints: 51568
860.91/863.35 c INPROCESSING
860.91/863.35 c GARBAGE COLLECT
860.91/863.35 c #Conflicts: 723000 | #Constraints: 35770
860.91/863.35 c #Conflicts: 724000 | #Constraints: 36770
860.91/863.35 c #Conflicts: 725000 | #Constraints: 37770
860.91/863.35 c #Conflicts: 726000 | #Constraints: 38770
860.91/863.35 c #Conflicts: 727000 | #Constraints: 39770
860.91/863.35 c #Conflicts: 728000 | #Constraints: 40770
860.91/863.35 c #Conflicts: 729000 | #Constraints: 41770
860.91/863.35 c #Conflicts: 730000 | #Constraints: 42770
860.91/863.35 c #Conflicts: 731000 | #Constraints: 43770
860.91/863.35 c #Conflicts: 732000 | #Constraints: 44770
860.91/863.35 c #Conflicts: 733000 | #Constraints: 45770
860.91/863.35 c #Conflicts: 734000 | #Constraints: 46770
951.38/954.07 c #Conflicts: 735000 | #Constraints: 47770
951.38/954.07 c #Conflicts: 736000 | #Constraints: 48770
951.38/954.07 c #Conflicts: 737000 | #Constraints: 49770
951.38/954.07 c #Conflicts: 738000 | #Constraints: 50770
951.38/954.07 c #Conflicts: 739000 | #Constraints: 51770
951.38/954.07 c INPROCESSING
951.38/954.07 c GARBAGE COLLECT
951.38/954.07 c #Conflicts: 740000 | #Constraints: 35765
951.38/954.07 c #Conflicts: 741000 | #Constraints: 36765
951.38/954.07 c #Conflicts: 742000 | #Constraints: 37765
951.38/954.07 c #Conflicts: 743000 | #Constraints: 38765
951.38/954.07 c #Conflicts: 744000 | #Constraints: 39765
951.38/954.07 c #Conflicts: 745000 | #Constraints: 40765
951.38/954.07 c #Conflicts: 746000 | #Constraints: 41765
951.38/954.07 c #Conflicts: 747000 | #Constraints: 42765
951.38/954.07 c #Conflicts: 748000 | #Constraints: 43765
951.38/954.07 c #Conflicts: 749000 | #Constraints: 44765
951.38/954.07 c #Conflicts: 750000 | #Constraints: 45765
951.38/954.07 c #Conflicts: 751000 | #Constraints: 46765
951.38/954.07 c #Conflicts: 752000 | #Constraints: 47765
951.38/954.07 c #Conflicts: 753000 | #Constraints: 48765
951.38/954.07 c #Conflicts: 754000 | #Constraints: 49765
951.38/954.07 c #Conflicts: 755000 | #Constraints: 50765
951.38/954.07 c #Conflicts: 756000 | #Constraints: 51765
951.38/954.07 c INPROCESSING
951.38/954.07 c GARBAGE COLLECT
951.38/954.07 c #Conflicts: 757000 | #Constraints: 35565
951.38/954.07 c #Conflicts: 758000 | #Constraints: 36565
951.38/954.07 c #Conflicts: 759000 | #Constraints: 37565
951.38/954.07 c #Conflicts: 760000 | #Constraints: 38565
951.38/954.07 c #Conflicts: 761000 | #Constraints: 39565
951.38/954.07 c #Conflicts: 762000 | #Constraints: 40565
951.38/954.07 c #Conflicts: 763000 | #Constraints: 41565
951.38/954.07 c #Conflicts: 764000 | #Constraints: 42565
951.38/954.07 c #Conflicts: 765000 | #Constraints: 43565
951.38/954.07 c #Conflicts: 766000 | #Constraints: 44565
951.38/954.07 c #Conflicts: 767000 | #Constraints: 45565
951.38/954.07 c #Conflicts: 768000 | #Constraints: 46565
951.38/954.07 c #Conflicts: 769000 | #Constraints: 47565
951.38/954.07 c #Conflicts: 770000 | #Constraints: 48565
951.38/954.07 c #Conflicts: 771000 | #Constraints: 49565
951.38/954.07 c #Conflicts: 772000 | #Constraints: 50565
951.38/954.07 c #Conflicts: 773000 | #Constraints: 51565
951.38/954.07 c #Conflicts: 774000 | #Constraints: 52565
951.38/954.07 c INPROCESSING
951.38/954.07 c GARBAGE COLLECT
951.38/954.07 c #Conflicts: 775000 | #Constraints: 36163
951.38/954.07 c #Conflicts: 776000 | #Constraints: 37163
951.38/954.07 c #Conflicts: 777000 | #Constraints: 38163
951.38/954.07 c #Conflicts: 778000 | #Constraints: 39163
951.38/954.07 c #Conflicts: 779000 | #Constraints: 40163
951.38/954.07 c #Conflicts: 780000 | #Constraints: 41163
951.38/954.07 c #Conflicts: 781000 | #Constraints: 42163
951.38/954.07 c #Conflicts: 782000 | #Constraints: 43163
951.38/954.07 c #Conflicts: 783000 | #Constraints: 44163
951.38/954.07 c #Conflicts: 784000 | #Constraints: 45163
951.38/954.07 c #Conflicts: 785000 | #Constraints: 46163
951.38/954.07 c #Conflicts: 786000 | #Constraints: 47163
951.38/954.07 c #Conflicts: 787000 | #Constraints: 48163
951.38/954.07 c #Conflicts: 788000 | #Constraints: 49163
951.38/954.07 c #Conflicts: 789000 | #Constraints: 50163
951.38/954.07 c #Conflicts: 790000 | #Constraints: 51163
951.38/954.07 c #Conflicts: 791000 | #Constraints: 52163
951.38/954.07 c #Conflicts: 792000 | #Constraints: 53163
951.38/954.07 c INPROCESSING
951.38/954.07 c GARBAGE COLLECT
951.38/954.07 c #Conflicts: 793000 | #Constraints: 36559
951.38/954.07 c #Conflicts: 794000 | #Constraints: 37559
951.38/954.07 c #Conflicts: 795000 | #Constraints: 38559
951.38/954.07 c #Conflicts: 796000 | #Constraints: 39559
951.38/954.07 c #Conflicts: 797000 | #Constraints: 40559
951.38/954.07 c #Conflicts: 798000 | #Constraints: 41559
951.38/954.07 c #Conflicts: 799000 | #Constraints: 42559
951.38/954.07 c #Conflicts: 800000 | #Constraints: 43559
951.38/954.07 c #Conflicts: 801000 | #Constraints: 44559
951.38/954.07 c #Conflicts: 802000 | #Constraints: 45559
951.38/954.07 c #Conflicts: 803000 | #Constraints: 46559
951.38/954.07 c #Conflicts: 804000 | #Constraints: 47559
951.38/954.07 c #Conflicts: 805000 | #Constraints: 48559
951.38/954.07 c #Conflicts: 806000 | #Constraints: 49559
951.38/954.07 c #Conflicts: 807000 | #Constraints: 50559
951.38/954.07 c #Conflicts: 808000 | #Constraints: 51559
951.38/954.07 c #Conflicts: 809000 | #Constraints: 52559
951.38/954.07 c #Conflicts: 810000 | #Constraints: 53559
1045.52/1048.49 c INPROCESSING
1045.52/1048.49 c GARBAGE COLLECT
1045.52/1048.49 c #Conflicts: 811000 | #Constraints: 36755
1045.52/1048.49 c #Conflicts: 812000 | #Constraints: 37755
1045.52/1048.49 c #Conflicts: 813000 | #Constraints: 38755
1045.52/1048.49 c #Conflicts: 814000 | #Constraints: 39755
1045.52/1048.49 c #Conflicts: 815000 | #Constraints: 40755
1045.52/1048.49 c #Conflicts: 816000 | #Constraints: 41755
1045.52/1048.49 c #Conflicts: 817000 | #Constraints: 42755
1045.52/1048.49 c #Conflicts: 818000 | #Constraints: 43755
1045.52/1048.49 c #Conflicts: 819000 | #Constraints: 44755
1045.52/1048.49 c #Conflicts: 820000 | #Constraints: 45755
1045.52/1048.49 c #Conflicts: 821000 | #Constraints: 46755
1045.52/1048.49 c #Conflicts: 822000 | #Constraints: 47755
1045.52/1048.49 c #Conflicts: 823000 | #Constraints: 48755
1045.52/1048.49 c #Conflicts: 824000 | #Constraints: 49755
1045.52/1048.49 c #Conflicts: 825000 | #Constraints: 50755
1045.52/1048.49 c #Conflicts: 826000 | #Constraints: 51755
1045.52/1048.49 c #Conflicts: 827000 | #Constraints: 52755
1045.52/1048.49 c #Conflicts: 828000 | #Constraints: 53755
1045.52/1048.49 c INPROCESSING
1045.52/1048.49 c GARBAGE COLLECT
1045.52/1048.49 c #Conflicts: 829000 | #Constraints: 36755
1045.52/1048.49 c #Conflicts: 830000 | #Constraints: 37755
1045.52/1048.49 c #Conflicts: 831000 | #Constraints: 38755
1045.52/1048.49 c #Conflicts: 832000 | #Constraints: 39755
1045.52/1048.49 c #Conflicts: 833000 | #Constraints: 40755
1045.52/1048.49 c #Conflicts: 834000 | #Constraints: 41755
1045.52/1048.49 c #Conflicts: 835000 | #Constraints: 42755
1045.52/1048.49 c #Conflicts: 836000 | #Constraints: 43755
1045.52/1048.49 c #Conflicts: 837000 | #Constraints: 44755
1045.52/1048.49 c #Conflicts: 838000 | #Constraints: 45755
1045.52/1048.49 c #Conflicts: 839000 | #Constraints: 46755
1045.52/1048.49 c #Conflicts: 840000 | #Constraints: 47755
1045.52/1048.49 c #Conflicts: 841000 | #Constraints: 48755
1045.52/1048.49 c #Conflicts: 842000 | #Constraints: 49755
1045.52/1048.49 c #Conflicts: 843000 | #Constraints: 50755
1045.52/1048.49 c #Conflicts: 844000 | #Constraints: 51755
1045.52/1048.49 c #Conflicts: 845000 | #Constraints: 52755
1045.52/1048.49 c #Conflicts: 846000 | #Constraints: 53755
1045.52/1048.49 c INPROCESSING
1045.52/1048.49 c GARBAGE COLLECT
1045.52/1048.49 c #Conflicts: 847000 | #Constraints: 36559
1045.52/1048.49 c #Conflicts: 848000 | #Constraints: 37559
1045.52/1048.49 c #Conflicts: 849000 | #Constraints: 38559
1045.52/1048.49 c #Conflicts: 850000 | #Constraints: 39559
1045.52/1048.49 c #Conflicts: 851000 | #Constraints: 40559
1045.52/1048.49 c #Conflicts: 852000 | #Constraints: 41559
1045.52/1048.49 c #Conflicts: 853000 | #Constraints: 42559
1045.52/1048.49 c #Conflicts: 854000 | #Constraints: 43559
1045.52/1048.49 c #Conflicts: 855000 | #Constraints: 44559
1045.52/1048.49 c #Conflicts: 856000 | #Constraints: 45559
1045.52/1048.49 c #Conflicts: 857000 | #Constraints: 46559
1045.52/1048.49 c #Conflicts: 858000 | #Constraints: 47559
1045.52/1048.49 c #Conflicts: 859000 | #Constraints: 48559
1045.52/1048.49 c #Conflicts: 860000 | #Constraints: 49559
1045.52/1048.49 c #Conflicts: 861000 | #Constraints: 50559
1045.52/1048.49 c #Conflicts: 862000 | #Constraints: 51559
1045.52/1048.49 c #Conflicts: 863000 | #Constraints: 52559
1045.52/1048.49 c #Conflicts: 864000 | #Constraints: 53559
1045.52/1048.49 c #Conflicts: 865000 | #Constraints: 54559
1045.52/1048.49 c INPROCESSING
1045.52/1048.49 c GARBAGE COLLECT
1045.52/1048.49 c #Conflicts: 866000 | #Constraints: 37164
1045.52/1048.49 c #Conflicts: 867000 | #Constraints: 38164
1045.52/1048.49 c #Conflicts: 868000 | #Constraints: 39164
1045.52/1048.49 c #Conflicts: 869000 | #Constraints: 40164
1045.52/1048.49 c #Conflicts: 870000 | #Constraints: 41164
1045.52/1048.49 c #Conflicts: 871000 | #Constraints: 42164
1045.52/1048.49 c #Conflicts: 872000 | #Constraints: 43164
1045.52/1048.49 c #Conflicts: 873000 | #Constraints: 44164
1045.52/1048.49 c #Conflicts: 874000 | #Constraints: 45164
1045.52/1048.49 c #Conflicts: 875000 | #Constraints: 46164
1045.52/1048.49 c #Conflicts: 876000 | #Constraints: 47164
1045.52/1048.49 c #Conflicts: 877000 | #Constraints: 48164
1045.52/1048.49 c #Conflicts: 878000 | #Constraints: 49164
1045.52/1048.49 c #Conflicts: 879000 | #Constraints: 50164
1045.52/1048.49 c #Conflicts: 880000 | #Constraints: 51164
1045.52/1048.49 c #Conflicts: 881000 | #Constraints: 52164
1045.52/1048.49 c #Conflicts: 882000 | #Constraints: 53164
1045.52/1048.49 c #Conflicts: 883000 | #Constraints: 54164
1045.52/1048.49 c #Conflicts: 884000 | #Constraints: 55164
1045.52/1048.49 c INPROCESSING
1045.52/1048.49 c GARBAGE COLLECT
1045.52/1048.49 c #Conflicts: 885000 | #Constraints: 37559
1045.52/1048.49 c #Conflicts: 886000 | #Constraints: 38559
1136.56/1139.76 c #Conflicts: 887000 | #Constraints: 39559
1136.56/1139.76 c #Conflicts: 888000 | #Constraints: 40559
1136.56/1139.76 c #Conflicts: 889000 | #Constraints: 41559
1136.56/1139.76 c #Conflicts: 890000 | #Constraints: 42559
1136.56/1139.76 c #Conflicts: 891000 | #Constraints: 43559
1136.56/1139.76 c #Conflicts: 892000 | #Constraints: 44559
1136.56/1139.76 c #Conflicts: 893000 | #Constraints: 45559
1136.56/1139.76 c #Conflicts: 894000 | #Constraints: 46559
1136.56/1139.76 c #Conflicts: 895000 | #Constraints: 47559
1136.56/1139.76 c #Conflicts: 896000 | #Constraints: 48559
1136.56/1139.76 c #Conflicts: 897000 | #Constraints: 49559
1136.56/1139.76 c #Conflicts: 898000 | #Constraints: 50559
1136.56/1139.76 c #Conflicts: 899000 | #Constraints: 51559
1136.56/1139.76 c #Conflicts: 900000 | #Constraints: 52559
1136.56/1139.76 c #Conflicts: 901000 | #Constraints: 53559
1136.56/1139.76 c #Conflicts: 902000 | #Constraints: 54559
1136.56/1139.76 c #Conflicts: 903000 | #Constraints: 55559
1136.56/1139.76 c INPROCESSING
1136.56/1139.76 c GARBAGE COLLECT
1136.56/1139.76 c #Conflicts: 904000 | #Constraints: 37758
1136.56/1139.76 c #Conflicts: 905000 | #Constraints: 38758
1136.56/1139.76 c #Conflicts: 906000 | #Constraints: 39758
1136.56/1139.76 c #Conflicts: 907000 | #Constraints: 40758
1136.56/1139.76 c #Conflicts: 908000 | #Constraints: 41758
1136.56/1139.76 c #Conflicts: 909000 | #Constraints: 42758
1136.56/1139.76 c #Conflicts: 910000 | #Constraints: 43758
1136.56/1139.76 c #Conflicts: 911000 | #Constraints: 44758
1136.56/1139.76 c #Conflicts: 912000 | #Constraints: 45758
1136.56/1139.76 c #Conflicts: 913000 | #Constraints: 46758
1136.56/1139.76 c #Conflicts: 914000 | #Constraints: 47758
1136.56/1139.76 c #Conflicts: 915000 | #Constraints: 48758
1136.56/1139.76 c #Conflicts: 916000 | #Constraints: 49758
1136.56/1139.76 c #Conflicts: 917000 | #Constraints: 50758
1136.56/1139.76 c #Conflicts: 918000 | #Constraints: 51758
1136.56/1139.76 c #Conflicts: 919000 | #Constraints: 52758
1136.56/1139.76 c #Conflicts: 920000 | #Constraints: 53758
1136.56/1139.76 c #Conflicts: 921000 | #Constraints: 54758
1136.56/1139.76 c #Conflicts: 922000 | #Constraints: 55758
1136.56/1139.76 c INPROCESSING
1136.56/1139.76 c GARBAGE COLLECT
1136.56/1139.76 c #Conflicts: 923000 | #Constraints: 37763
1136.56/1139.76 c #Conflicts: 924000 | #Constraints: 38763
1136.56/1139.76 c #Conflicts: 925000 | #Constraints: 39763
1136.56/1139.76 c #Conflicts: 926000 | #Constraints: 40763
1136.56/1139.76 c #Conflicts: 927000 | #Constraints: 41763
1136.56/1139.76 c #Conflicts: 928000 | #Constraints: 42763
1136.56/1139.76 c #Conflicts: 929000 | #Constraints: 43763
1136.56/1139.76 c #Conflicts: 930000 | #Constraints: 44763
1136.56/1139.76 c #Conflicts: 931000 | #Constraints: 45763
1136.56/1139.76 c #Conflicts: 932000 | #Constraints: 46763
1136.56/1139.76 c #Conflicts: 933000 | #Constraints: 47763
1136.56/1139.76 c #Conflicts: 934000 | #Constraints: 48763
1136.56/1139.76 c #Conflicts: 935000 | #Constraints: 49763
1136.56/1139.76 c #Conflicts: 936000 | #Constraints: 50763
1136.56/1139.76 c #Conflicts: 937000 | #Constraints: 51763
1136.56/1139.76 c #Conflicts: 938000 | #Constraints: 52763
1136.56/1139.76 c #Conflicts: 939000 | #Constraints: 53763
1136.56/1139.76 c #Conflicts: 940000 | #Constraints: 54763
1136.56/1139.76 c #Conflicts: 941000 | #Constraints: 55763
1136.56/1139.76 c INPROCESSING
1136.56/1139.76 c GARBAGE COLLECT
1136.56/1139.76 c #Conflicts: 942000 | #Constraints: 37565
1136.56/1139.76 c #Conflicts: 943000 | #Constraints: 38565
1136.56/1139.76 c #Conflicts: 944000 | #Constraints: 39565
1136.56/1139.76 c #Conflicts: 945000 | #Constraints: 40565
1136.56/1139.76 c #Conflicts: 946000 | #Constraints: 41565
1136.56/1139.76 c #Conflicts: 947000 | #Constraints: 42565
1136.56/1139.76 c #Conflicts: 948000 | #Constraints: 43565
1136.56/1139.76 c #Conflicts: 949000 | #Constraints: 44565
1136.56/1139.76 c #Conflicts: 950000 | #Constraints: 45565
1136.56/1139.76 c #Conflicts: 951000 | #Constraints: 46565
1136.56/1139.76 c #Conflicts: 952000 | #Constraints: 47565
1136.56/1139.76 c #Conflicts: 953000 | #Constraints: 48565
1136.56/1139.76 c #Conflicts: 954000 | #Constraints: 49565
1136.56/1139.76 c #Conflicts: 955000 | #Constraints: 50565
1136.56/1139.76 c #Conflicts: 956000 | #Constraints: 51565
1136.56/1139.76 c #Conflicts: 957000 | #Constraints: 52565
1136.56/1139.76 c #Conflicts: 958000 | #Constraints: 53565
1136.56/1139.76 c #Conflicts: 959000 | #Constraints: 54565
1136.56/1139.76 c #Conflicts: 960000 | #Constraints: 55565
1136.56/1139.76 c #Conflicts: 961000 | #Constraints: 56565
1136.56/1139.76 c INPROCESSING
1136.56/1139.76 c GARBAGE COLLECT
1136.56/1139.76 c #Conflicts: 962000 | #Constraints: 38168
1221.53/1224.98 c #Conflicts: 963000 | #Constraints: 39168
1221.53/1224.98 c #Conflicts: 964000 | #Constraints: 40168
1221.53/1224.98 c #Conflicts: 965000 | #Constraints: 41168
1221.53/1224.98 c #Conflicts: 966000 | #Constraints: 42168
1221.53/1224.98 c #Conflicts: 967000 | #Constraints: 43168
1221.53/1224.98 c #Conflicts: 968000 | #Constraints: 44168
1221.53/1224.98 c #Conflicts: 969000 | #Constraints: 45168
1221.53/1224.98 c #Conflicts: 970000 | #Constraints: 46168
1221.53/1224.98 c #Conflicts: 971000 | #Constraints: 47168
1221.53/1224.98 c #Conflicts: 972000 | #Constraints: 48168
1221.53/1224.98 c #Conflicts: 973000 | #Constraints: 49168
1221.53/1224.98 c #Conflicts: 974000 | #Constraints: 50168
1221.53/1224.98 c #Conflicts: 975000 | #Constraints: 51168
1221.53/1224.98 c #Conflicts: 976000 | #Constraints: 52168
1221.53/1224.98 c #Conflicts: 977000 | #Constraints: 53168
1221.53/1224.98 c #Conflicts: 978000 | #Constraints: 54168
1221.53/1224.98 c #Conflicts: 979000 | #Constraints: 55168
1221.53/1224.98 c #Conflicts: 980000 | #Constraints: 56168
1221.53/1224.98 c #Conflicts: 981000 | #Constraints: 57168
1221.53/1224.98 c INPROCESSING
1221.53/1224.98 c GARBAGE COLLECT
1221.53/1224.98 c #Conflicts: 982000 | #Constraints: 38561
1221.53/1224.98 c #Conflicts: 983000 | #Constraints: 39561
1221.53/1224.98 c #Conflicts: 984000 | #Constraints: 40561
1221.53/1224.98 c #Conflicts: 985000 | #Constraints: 41561
1221.53/1224.98 c #Conflicts: 986000 | #Constraints: 42561
1221.53/1224.98 c #Conflicts: 987000 | #Constraints: 43561
1221.53/1224.98 c #Conflicts: 988000 | #Constraints: 44561
1221.53/1224.98 c #Conflicts: 989000 | #Constraints: 45561
1221.53/1224.98 c #Conflicts: 990000 | #Constraints: 46561
1221.53/1224.98 c #Conflicts: 991000 | #Constraints: 47561
1221.53/1224.98 c #Conflicts: 992000 | #Constraints: 48561
1221.53/1224.98 c #Conflicts: 993000 | #Constraints: 49561
1221.53/1224.98 c #Conflicts: 994000 | #Constraints: 50561
1221.53/1224.98 c #Conflicts: 995000 | #Constraints: 51561
1221.53/1224.98 c #Conflicts: 996000 | #Constraints: 52561
1221.53/1224.98 c #Conflicts: 997000 | #Constraints: 53561
1221.53/1224.98 c #Conflicts: 998000 | #Constraints: 54561
1221.53/1224.98 c #Conflicts: 999000 | #Constraints: 55561
1221.53/1224.98 c #Conflicts: 1000000 | #Constraints: 56561
1221.53/1224.98 c #Conflicts: 1001000 | #Constraints: 57561
1221.53/1224.98 c INPROCESSING
1221.53/1224.98 c GARBAGE COLLECT
1221.53/1224.98 c #Conflicts: 1002000 | #Constraints: 38759
1221.53/1224.98 c #Conflicts: 1003000 | #Constraints: 39759
1221.53/1224.98 c #Conflicts: 1004000 | #Constraints: 40759
1221.53/1224.98 c #Conflicts: 1005000 | #Constraints: 41759
1221.53/1224.98 c #Conflicts: 1006000 | #Constraints: 42759
1221.53/1224.98 c #Conflicts: 1007000 | #Constraints: 43759
1221.53/1224.98 c #Conflicts: 1008000 | #Constraints: 44759
1221.53/1224.98 c #Conflicts: 1009000 | #Constraints: 45759
1221.53/1224.98 c #Conflicts: 1010000 | #Constraints: 46759
1221.53/1224.98 c #Conflicts: 1011000 | #Constraints: 47759
1221.53/1224.98 c #Conflicts: 1012000 | #Constraints: 48759
1221.53/1224.98 c #Conflicts: 1013000 | #Constraints: 49759
1221.53/1224.98 c #Conflicts: 1014000 | #Constraints: 50759
1221.53/1224.98 c #Conflicts: 1015000 | #Constraints: 51759
1221.53/1224.98 c #Conflicts: 1016000 | #Constraints: 52759
1221.53/1224.98 c #Conflicts: 1017000 | #Constraints: 53759
1221.53/1224.98 c #Conflicts: 1018000 | #Constraints: 54759
1221.53/1224.98 c #Conflicts: 1019000 | #Constraints: 55759
1221.53/1224.98 c #Conflicts: 1020000 | #Constraints: 56759
1221.53/1224.98 c #Conflicts: 1021000 | #Constraints: 57759
1221.53/1224.98 c INPROCESSING
1221.53/1224.98 c GARBAGE COLLECT
1221.53/1224.98 c #Conflicts: 1022000 | #Constraints: 38760
1221.53/1224.98 c #Conflicts: 1023000 | #Constraints: 39760
1221.53/1224.98 c #Conflicts: 1024000 | #Constraints: 40760
1221.53/1224.98 c #Conflicts: 1025000 | #Constraints: 41760
1221.53/1224.98 c #Conflicts: 1026000 | #Constraints: 42760
1221.53/1224.98 c #Conflicts: 1027000 | #Constraints: 43760
1221.53/1224.98 c #Conflicts: 1028000 | #Constraints: 44760
1221.53/1224.98 c #Conflicts: 1029000 | #Constraints: 45760
1221.53/1224.98 c #Conflicts: 1030000 | #Constraints: 46760
1221.53/1224.98 c #Conflicts: 1031000 | #Constraints: 47760
1221.53/1224.98 c #Conflicts: 1032000 | #Constraints: 48760
1221.53/1224.98 c #Conflicts: 1033000 | #Constraints: 49760
1221.53/1224.98 c #Conflicts: 1034000 | #Constraints: 50760
1221.53/1224.98 c #Conflicts: 1035000 | #Constraints: 51760
1221.53/1224.98 c #Conflicts: 1036000 | #Constraints: 52760
1221.53/1224.98 c #Conflicts: 1037000 | #Constraints: 53760
1221.53/1224.98 c #Conflicts: 1038000 | #Constraints: 54760
1221.53/1224.98 c #Conflicts: 1039000 | #Constraints: 55760
1303.78/1307.47 c #Conflicts: 1040000 | #Constraints: 56760
1303.78/1307.47 c #Conflicts: 1041000 | #Constraints: 57760
1303.78/1307.47 c INPROCESSING
1303.78/1307.47 c GARBAGE COLLECT
1303.78/1307.47 c #Conflicts: 1042000 | #Constraints: 38564
1303.78/1307.47 c #Conflicts: 1043000 | #Constraints: 39564
1303.78/1307.47 c #Conflicts: 1044000 | #Constraints: 40564
1303.78/1307.47 c #Conflicts: 1045000 | #Constraints: 41564
1303.78/1307.47 c #Conflicts: 1046000 | #Constraints: 42564
1303.78/1307.47 c #Conflicts: 1047000 | #Constraints: 43564
1303.78/1307.47 c #Conflicts: 1048000 | #Constraints: 44564
1303.78/1307.47 c #Conflicts: 1049000 | #Constraints: 45564
1303.78/1307.47 c #Conflicts: 1050000 | #Constraints: 46564
1303.78/1307.47 c #Conflicts: 1051000 | #Constraints: 47564
1303.78/1307.47 c #Conflicts: 1052000 | #Constraints: 48564
1303.78/1307.47 c #Conflicts: 1053000 | #Constraints: 49564
1303.78/1307.47 c #Conflicts: 1054000 | #Constraints: 50564
1303.78/1307.47 c #Conflicts: 1055000 | #Constraints: 51564
1303.78/1307.47 c #Conflicts: 1056000 | #Constraints: 52564
1303.78/1307.47 c #Conflicts: 1057000 | #Constraints: 53564
1303.78/1307.47 c #Conflicts: 1058000 | #Constraints: 54564
1303.78/1307.47 c #Conflicts: 1059000 | #Constraints: 55564
1303.78/1307.47 c #Conflicts: 1060000 | #Constraints: 56564
1303.78/1307.47 c #Conflicts: 1061000 | #Constraints: 57564
1303.78/1307.47 c #Conflicts: 1062000 | #Constraints: 58564
1303.78/1307.47 c INPROCESSING
1303.78/1307.47 c GARBAGE COLLECT
1303.78/1307.47 c #Conflicts: 1063000 | #Constraints: 39161
1303.78/1307.47 c #Conflicts: 1064000 | #Constraints: 40161
1303.78/1307.47 c #Conflicts: 1065000 | #Constraints: 41161
1303.78/1307.47 c #Conflicts: 1066000 | #Constraints: 42161
1303.78/1307.47 c #Conflicts: 1067000 | #Constraints: 43161
1303.78/1307.47 c #Conflicts: 1068000 | #Constraints: 44161
1303.78/1307.47 c #Conflicts: 1069000 | #Constraints: 45161
1303.78/1307.47 c #Conflicts: 1070000 | #Constraints: 46161
1303.78/1307.47 c #Conflicts: 1071000 | #Constraints: 47161
1303.78/1307.47 c #Conflicts: 1072000 | #Constraints: 48161
1303.78/1307.47 c #Conflicts: 1073000 | #Constraints: 49161
1303.78/1307.47 c #Conflicts: 1074000 | #Constraints: 50161
1303.78/1307.47 c #Conflicts: 1075000 | #Constraints: 51161
1303.78/1307.47 c #Conflicts: 1076000 | #Constraints: 52161
1303.78/1307.47 c #Conflicts: 1077000 | #Constraints: 53161
1303.78/1307.47 c #Conflicts: 1078000 | #Constraints: 54161
1303.78/1307.47 c #Conflicts: 1079000 | #Constraints: 55161
1303.78/1307.47 c #Conflicts: 1080000 | #Constraints: 56161
1303.78/1307.47 c #Conflicts: 1081000 | #Constraints: 57161
1303.78/1307.47 c #Conflicts: 1082000 | #Constraints: 58161
1303.78/1307.47 c #Conflicts: 1083000 | #Constraints: 59161
1303.78/1307.47 c INPROCESSING
1303.78/1307.47 c GARBAGE COLLECT
1303.78/1307.47 c #Conflicts: 1084000 | #Constraints: 39562
1303.78/1307.47 c #Conflicts: 1085000 | #Constraints: 40562
1303.78/1307.47 c #Conflicts: 1086000 | #Constraints: 41562
1303.78/1307.47 c #Conflicts: 1087000 | #Constraints: 42562
1303.78/1307.47 c #Conflicts: 1088000 | #Constraints: 43562
1303.78/1307.47 c #Conflicts: 1089000 | #Constraints: 44562
1303.78/1307.47 c #Conflicts: 1090000 | #Constraints: 45562
1303.78/1307.47 c #Conflicts: 1091000 | #Constraints: 46562
1303.78/1307.47 c #Conflicts: 1092000 | #Constraints: 47562
1303.78/1307.47 c #Conflicts: 1093000 | #Constraints: 48562
1303.78/1307.47 c #Conflicts: 1094000 | #Constraints: 49562
1303.78/1307.47 c #Conflicts: 1095000 | #Constraints: 50562
1303.78/1307.47 c #Conflicts: 1096000 | #Constraints: 51562
1303.78/1307.47 c #Conflicts: 1097000 | #Constraints: 52562
1303.78/1307.47 c #Conflicts: 1098000 | #Constraints: 53562
1303.78/1307.47 c #Conflicts: 1099000 | #Constraints: 54562
1303.78/1307.47 c #Conflicts: 1100000 | #Constraints: 55562
1303.78/1307.47 c #Conflicts: 1101000 | #Constraints: 56562
1303.78/1307.47 c #Conflicts: 1102000 | #Constraints: 57562
1303.78/1307.47 c #Conflicts: 1103000 | #Constraints: 58562
1303.78/1307.47 c #Conflicts: 1104000 | #Constraints: 59562
1303.78/1307.47 c INPROCESSING
1303.78/1307.47 c GARBAGE COLLECT
1303.78/1307.47 c #Conflicts: 1105000 | #Constraints: 39762
1303.78/1307.47 c #Conflicts: 1106000 | #Constraints: 40762
1303.78/1307.47 c #Conflicts: 1107000 | #Constraints: 41762
1303.78/1307.47 c #Conflicts: 1108000 | #Constraints: 42762
1303.78/1307.47 c #Conflicts: 1109000 | #Constraints: 43762
1303.78/1307.47 c #Conflicts: 1110000 | #Constraints: 44762
1303.78/1307.47 c #Conflicts: 1111000 | #Constraints: 45762
1303.78/1307.47 c #Conflicts: 1112000 | #Constraints: 46762
1303.78/1307.47 c #Conflicts: 1113000 | #Constraints: 47762
1303.78/1307.47 c #Conflicts: 1114000 | #Constraints: 48762
1303.78/1307.47 c #Conflicts: 1115000 | #Constraints: 49762
1408.47/1412.40 c #Conflicts: 1116000 | #Constraints: 50762
1408.47/1412.40 c #Conflicts: 1117000 | #Constraints: 51762
1408.47/1412.40 c #Conflicts: 1118000 | #Constraints: 52762
1408.47/1412.40 c #Conflicts: 1119000 | #Constraints: 53762
1408.47/1412.40 c #Conflicts: 1120000 | #Constraints: 54762
1408.47/1412.40 c #Conflicts: 1121000 | #Constraints: 55762
1408.47/1412.40 c #Conflicts: 1122000 | #Constraints: 56762
1408.47/1412.40 c #Conflicts: 1123000 | #Constraints: 57762
1408.47/1412.40 c #Conflicts: 1124000 | #Constraints: 58762
1408.47/1412.40 c #Conflicts: 1125000 | #Constraints: 59762
1408.47/1412.40 c INPROCESSING
1408.47/1412.40 c GARBAGE COLLECT
1408.47/1412.40 c #Conflicts: 1126000 | #Constraints: 39766
1408.47/1412.40 c #Conflicts: 1127000 | #Constraints: 40766
1408.47/1412.40 c #Conflicts: 1128000 | #Constraints: 41766
1408.47/1412.40 c #Conflicts: 1129000 | #Constraints: 42766
1408.47/1412.40 c #Conflicts: 1130000 | #Constraints: 43766
1408.47/1412.40 c #Conflicts: 1131000 | #Constraints: 44766
1408.47/1412.40 c #Conflicts: 1132000 | #Constraints: 45766
1408.47/1412.40 c #Conflicts: 1133000 | #Constraints: 46766
1408.47/1412.40 c #Conflicts: 1134000 | #Constraints: 47766
1408.47/1412.40 c #Conflicts: 1135000 | #Constraints: 48766
1408.47/1412.40 c #Conflicts: 1136000 | #Constraints: 49766
1408.47/1412.40 c #Conflicts: 1137000 | #Constraints: 50766
1408.47/1412.40 c #Conflicts: 1138000 | #Constraints: 51766
1408.47/1412.40 c #Conflicts: 1139000 | #Constraints: 52766
1408.47/1412.40 c #Conflicts: 1140000 | #Constraints: 53766
1408.47/1412.40 c #Conflicts: 1141000 | #Constraints: 54766
1408.47/1412.40 c #Conflicts: 1142000 | #Constraints: 55766
1408.47/1412.40 c #Conflicts: 1143000 | #Constraints: 56766
1408.47/1412.40 c #Conflicts: 1144000 | #Constraints: 57766
1408.47/1412.40 c #Conflicts: 1145000 | #Constraints: 58766
1408.47/1412.40 c #Conflicts: 1146000 | #Constraints: 59766
1408.47/1412.40 c INPROCESSING
1408.47/1412.40 c GARBAGE COLLECT
1408.47/1412.40 c #Conflicts: 1147000 | #Constraints: 39562
1408.47/1412.40 c #Conflicts: 1148000 | #Constraints: 40562
1408.47/1412.40 c #Conflicts: 1149000 | #Constraints: 41562
1408.47/1412.40 c #Conflicts: 1150000 | #Constraints: 42562
1408.47/1412.40 c #Conflicts: 1151000 | #Constraints: 43562
1408.47/1412.40 c #Conflicts: 1152000 | #Constraints: 44562
1408.47/1412.40 c #Conflicts: 1153000 | #Constraints: 45562
1408.47/1412.40 c #Conflicts: 1154000 | #Constraints: 46562
1408.47/1412.40 c #Conflicts: 1155000 | #Constraints: 47562
1408.47/1412.40 c #Conflicts: 1156000 | #Constraints: 48562
1408.47/1412.40 c #Conflicts: 1157000 | #Constraints: 49562
1408.47/1412.40 c #Conflicts: 1158000 | #Constraints: 50562
1408.47/1412.40 c #Conflicts: 1159000 | #Constraints: 51562
1408.47/1412.40 c #Conflicts: 1160000 | #Constraints: 52562
1408.47/1412.40 c #Conflicts: 1161000 | #Constraints: 53562
1408.47/1412.40 c #Conflicts: 1162000 | #Constraints: 54562
1408.47/1412.40 c #Conflicts: 1163000 | #Constraints: 55562
1408.47/1412.40 c #Conflicts: 1164000 | #Constraints: 56562
1408.47/1412.40 c #Conflicts: 1165000 | #Constraints: 57562
1408.47/1412.40 c #Conflicts: 1166000 | #Constraints: 58562
1408.47/1412.40 c #Conflicts: 1167000 | #Constraints: 59562
1408.47/1412.40 c #Conflicts: 1168000 | #Constraints: 60562
1408.47/1412.40 c INPROCESSING
1408.47/1412.40 c GARBAGE COLLECT
1408.47/1412.40 c #Conflicts: 1169000 | #Constraints: 40172
1408.47/1412.40 c #Conflicts: 1170000 | #Constraints: 41172
1408.47/1412.40 c #Conflicts: 1171000 | #Constraints: 42172
1408.47/1412.40 c #Conflicts: 1172000 | #Constraints: 43172
1408.47/1412.40 c #Conflicts: 1173000 | #Constraints: 44172
1408.47/1412.40 c #Conflicts: 1174000 | #Constraints: 45172
1408.47/1412.40 c #Conflicts: 1175000 | #Constraints: 46172
1408.47/1412.40 c #Conflicts: 1176000 | #Constraints: 47172
1408.47/1412.40 c #Conflicts: 1177000 | #Constraints: 48172
1408.47/1412.40 c #Conflicts: 1178000 | #Constraints: 49172
1408.47/1412.40 c #Conflicts: 1179000 | #Constraints: 50172
1408.47/1412.40 c #Conflicts: 1180000 | #Constraints: 51172
1408.47/1412.40 c #Conflicts: 1181000 | #Constraints: 52172
1408.47/1412.40 c #Conflicts: 1182000 | #Constraints: 53172
1408.47/1412.40 c #Conflicts: 1183000 | #Constraints: 54172
1408.47/1412.40 c #Conflicts: 1184000 | #Constraints: 55172
1408.47/1412.40 c #Conflicts: 1185000 | #Constraints: 56172
1408.47/1412.40 c #Conflicts: 1186000 | #Constraints: 57172
1408.47/1412.40 c #Conflicts: 1187000 | #Constraints: 58172
1408.47/1412.40 c #Conflicts: 1188000 | #Constraints: 59172
1408.47/1412.40 c #Conflicts: 1189000 | #Constraints: 60172
1408.47/1412.40 c #Conflicts: 1190000 | #Constraints: 61172
1408.47/1412.40 c INPROCESSING
1408.47/1412.40 c GARBAGE COLLECT
1408.47/1412.40 c #Conflicts: 1191000 | #Constraints: 40575
1408.47/1412.40 c #Conflicts: 1192000 | #Constraints: 41575
1515.35/1519.67 c #Conflicts: 1193000 | #Constraints: 42575
1515.35/1519.67 c #Conflicts: 1194000 | #Constraints: 43575
1515.35/1519.67 c #Conflicts: 1195000 | #Constraints: 44575
1515.35/1519.67 c #Conflicts: 1196000 | #Constraints: 45575
1515.35/1519.67 c #Conflicts: 1197000 | #Constraints: 46575
1515.35/1519.67 c #Conflicts: 1198000 | #Constraints: 47575
1515.35/1519.67 c #Conflicts: 1199000 | #Constraints: 48575
1515.35/1519.67 c #Conflicts: 1200000 | #Constraints: 49575
1515.35/1519.67 c #Conflicts: 1201000 | #Constraints: 50575
1515.35/1519.67 c #Conflicts: 1202000 | #Constraints: 51575
1515.35/1519.67 c #Conflicts: 1203000 | #Constraints: 52575
1515.35/1519.67 c #Conflicts: 1204000 | #Constraints: 53575
1515.35/1519.67 c #Conflicts: 1205000 | #Constraints: 54575
1515.35/1519.67 c #Conflicts: 1206000 | #Constraints: 55575
1515.35/1519.67 c #Conflicts: 1207000 | #Constraints: 56575
1515.35/1519.67 c #Conflicts: 1208000 | #Constraints: 57575
1515.35/1519.67 c #Conflicts: 1209000 | #Constraints: 58575
1515.35/1519.67 c #Conflicts: 1210000 | #Constraints: 59575
1515.35/1519.67 c #Conflicts: 1211000 | #Constraints: 60575
1515.35/1519.67 c #Conflicts: 1212000 | #Constraints: 61575
1515.35/1519.67 c INPROCESSING
1515.35/1519.67 c GARBAGE COLLECT
1515.35/1519.67 c #Conflicts: 1213000 | #Constraints: 40769
1515.35/1519.67 c #Conflicts: 1214000 | #Constraints: 41769
1515.35/1519.67 c #Conflicts: 1215000 | #Constraints: 42769
1515.35/1519.67 c #Conflicts: 1216000 | #Constraints: 43769
1515.35/1519.67 c #Conflicts: 1217000 | #Constraints: 44769
1515.35/1519.67 c #Conflicts: 1218000 | #Constraints: 45769
1515.35/1519.67 c #Conflicts: 1219000 | #Constraints: 46769
1515.35/1519.67 c #Conflicts: 1220000 | #Constraints: 47769
1515.35/1519.67 c #Conflicts: 1221000 | #Constraints: 48769
1515.35/1519.67 c #Conflicts: 1222000 | #Constraints: 49769
1515.35/1519.67 c #Conflicts: 1223000 | #Constraints: 50769
1515.35/1519.67 c #Conflicts: 1224000 | #Constraints: 51769
1515.35/1519.67 c #Conflicts: 1225000 | #Constraints: 52769
1515.35/1519.67 c #Conflicts: 1226000 | #Constraints: 53769
1515.35/1519.67 c #Conflicts: 1227000 | #Constraints: 54769
1515.35/1519.67 c #Conflicts: 1228000 | #Constraints: 55769
1515.35/1519.67 c #Conflicts: 1229000 | #Constraints: 56769
1515.35/1519.67 c #Conflicts: 1230000 | #Constraints: 57769
1515.35/1519.67 c #Conflicts: 1231000 | #Constraints: 58769
1515.35/1519.67 c #Conflicts: 1232000 | #Constraints: 59769
1515.35/1519.67 c #Conflicts: 1233000 | #Constraints: 60769
1515.35/1519.67 c #Conflicts: 1234000 | #Constraints: 61769
1515.35/1519.67 c INPROCESSING
1515.35/1519.67 c GARBAGE COLLECT
1515.35/1519.67 c #Conflicts: 1235000 | #Constraints: 40766
1515.35/1519.67 c #Conflicts: 1236000 | #Constraints: 41766
1515.35/1519.67 c #Conflicts: 1237000 | #Constraints: 42766
1515.35/1519.67 c #Conflicts: 1238000 | #Constraints: 43766
1515.35/1519.67 c #Conflicts: 1239000 | #Constraints: 44766
1515.35/1519.67 c #Conflicts: 1240000 | #Constraints: 45766
1515.35/1519.67 c #Conflicts: 1241000 | #Constraints: 46766
1515.35/1519.67 c #Conflicts: 1242000 | #Constraints: 47766
1515.35/1519.67 c #Conflicts: 1243000 | #Constraints: 48766
1515.35/1519.67 c #Conflicts: 1244000 | #Constraints: 49766
1515.35/1519.67 c #Conflicts: 1245000 | #Constraints: 50766
1515.35/1519.67 c #Conflicts: 1246000 | #Constraints: 51766
1515.35/1519.67 c #Conflicts: 1247000 | #Constraints: 52766
1515.35/1519.67 c #Conflicts: 1248000 | #Constraints: 53766
1515.35/1519.67 c #Conflicts: 1249000 | #Constraints: 54766
1515.35/1519.67 c #Conflicts: 1250000 | #Constraints: 55766
1515.35/1519.67 c #Conflicts: 1251000 | #Constraints: 56766
1515.35/1519.67 c #Conflicts: 1252000 | #Constraints: 57766
1515.35/1519.67 c #Conflicts: 1253000 | #Constraints: 58766
1515.35/1519.67 c #Conflicts: 1254000 | #Constraints: 59766
1515.35/1519.67 c #Conflicts: 1255000 | #Constraints: 60766
1515.35/1519.67 c #Conflicts: 1256000 | #Constraints: 61766
1515.35/1519.67 c INPROCESSING
1515.35/1519.67 c GARBAGE COLLECT
1515.35/1519.67 c #Conflicts: 1257000 | #Constraints: 40563
1515.35/1519.67 c #Conflicts: 1258000 | #Constraints: 41563
1515.35/1519.67 c #Conflicts: 1259000 | #Constraints: 42563
1515.35/1519.67 c #Conflicts: 1260000 | #Constraints: 43563
1515.35/1519.67 c #Conflicts: 1261000 | #Constraints: 44563
1515.35/1519.67 c #Conflicts: 1262000 | #Constraints: 45563
1515.35/1519.67 c #Conflicts: 1263000 | #Constraints: 46563
1515.35/1519.67 c #Conflicts: 1264000 | #Constraints: 47563
1515.35/1519.67 c #Conflicts: 1265000 | #Constraints: 48563
1515.35/1519.67 c #Conflicts: 1266000 | #Constraints: 49563
1515.35/1519.67 c #Conflicts: 1267000 | #Constraints: 50563
1515.35/1519.67 c #Conflicts: 1268000 | #Constraints: 51563
1622.72/1627.35 c #Conflicts: 1269000 | #Constraints: 52563
1622.72/1627.35 c #Conflicts: 1270000 | #Constraints: 53563
1622.72/1627.35 c #Conflicts: 1271000 | #Constraints: 54563
1622.72/1627.35 c #Conflicts: 1272000 | #Constraints: 55563
1622.72/1627.35 c #Conflicts: 1273000 | #Constraints: 56563
1622.72/1627.35 c #Conflicts: 1274000 | #Constraints: 57563
1622.72/1627.35 c #Conflicts: 1275000 | #Constraints: 58563
1622.72/1627.35 c #Conflicts: 1276000 | #Constraints: 59563
1622.72/1627.35 c #Conflicts: 1277000 | #Constraints: 60563
1622.72/1627.35 c #Conflicts: 1278000 | #Constraints: 61563
1622.72/1627.35 c #Conflicts: 1279000 | #Constraints: 62563
1622.72/1627.35 c INPROCESSING
1622.72/1627.35 c GARBAGE COLLECT
1622.72/1627.35 c #Conflicts: 1280000 | #Constraints: 41157
1622.72/1627.35 c #Conflicts: 1281000 | #Constraints: 42157
1622.72/1627.35 c #Conflicts: 1282000 | #Constraints: 43157
1622.72/1627.35 c #Conflicts: 1283000 | #Constraints: 44157
1622.72/1627.35 c #Conflicts: 1284000 | #Constraints: 45157
1622.72/1627.35 c #Conflicts: 1285000 | #Constraints: 46157
1622.72/1627.35 c #Conflicts: 1286000 | #Constraints: 47157
1622.72/1627.35 c #Conflicts: 1287000 | #Constraints: 48157
1622.72/1627.35 c #Conflicts: 1288000 | #Constraints: 49157
1622.72/1627.35 c #Conflicts: 1289000 | #Constraints: 50157
1622.72/1627.35 c #Conflicts: 1290000 | #Constraints: 51157
1622.72/1627.35 c #Conflicts: 1291000 | #Constraints: 52157
1622.72/1627.35 c #Conflicts: 1292000 | #Constraints: 53157
1622.72/1627.35 c #Conflicts: 1293000 | #Constraints: 54157
1622.72/1627.35 c #Conflicts: 1294000 | #Constraints: 55157
1622.72/1627.35 c #Conflicts: 1295000 | #Constraints: 56157
1622.72/1627.35 c #Conflicts: 1296000 | #Constraints: 57157
1622.72/1627.35 c #Conflicts: 1297000 | #Constraints: 58157
1622.72/1627.35 c #Conflicts: 1298000 | #Constraints: 59157
1622.72/1627.35 c #Conflicts: 1299000 | #Constraints: 60157
1622.72/1627.35 c #Conflicts: 1300000 | #Constraints: 61157
1622.72/1627.35 c #Conflicts: 1301000 | #Constraints: 62157
1622.72/1627.35 c #Conflicts: 1302000 | #Constraints: 63157
1622.72/1627.35 c INPROCESSING
1622.72/1627.35 c GARBAGE COLLECT
1622.72/1627.35 c #Conflicts: 1303000 | #Constraints: 41562
1622.72/1627.35 c #Conflicts: 1304000 | #Constraints: 42562
1622.72/1627.35 c #Conflicts: 1305000 | #Constraints: 43562
1622.72/1627.35 c #Conflicts: 1306000 | #Constraints: 44562
1622.72/1627.35 c #Conflicts: 1307000 | #Constraints: 45562
1622.72/1627.35 c #Conflicts: 1308000 | #Constraints: 46562
1622.72/1627.35 c #Conflicts: 1309000 | #Constraints: 47562
1622.72/1627.35 c #Conflicts: 1310000 | #Constraints: 48562
1622.72/1627.35 c #Conflicts: 1311000 | #Constraints: 49562
1622.72/1627.35 c #Conflicts: 1312000 | #Constraints: 50562
1622.72/1627.35 c #Conflicts: 1313000 | #Constraints: 51562
1622.72/1627.35 c #Conflicts: 1314000 | #Constraints: 52562
1622.72/1627.35 c #Conflicts: 1315000 | #Constraints: 53562
1622.72/1627.35 c #Conflicts: 1316000 | #Constraints: 54562
1622.72/1627.35 c #Conflicts: 1317000 | #Constraints: 55562
1622.72/1627.35 c #Conflicts: 1318000 | #Constraints: 56562
1622.72/1627.35 c #Conflicts: 1319000 | #Constraints: 57562
1622.72/1627.35 c #Conflicts: 1320000 | #Constraints: 58562
1622.72/1627.35 c #Conflicts: 1321000 | #Constraints: 59562
1622.72/1627.35 c #Conflicts: 1322000 | #Constraints: 60562
1622.72/1627.35 c #Conflicts: 1323000 | #Constraints: 61562
1622.72/1627.35 c #Conflicts: 1324000 | #Constraints: 62562
1622.72/1627.35 c #Conflicts: 1325000 | #Constraints: 63562
1622.72/1627.35 c INPROCESSING
1622.72/1627.35 c GARBAGE COLLECT
1622.72/1627.35 c #Conflicts: 1326000 | #Constraints: 41766
1622.72/1627.35 c #Conflicts: 1327000 | #Constraints: 42766
1622.72/1627.35 c #Conflicts: 1328000 | #Constraints: 43766
1622.72/1627.35 c #Conflicts: 1329000 | #Constraints: 44766
1622.72/1627.35 c #Conflicts: 1330000 | #Constraints: 45766
1622.72/1627.35 c #Conflicts: 1331000 | #Constraints: 46766
1622.72/1627.35 c #Conflicts: 1332000 | #Constraints: 47766
1622.72/1627.35 c #Conflicts: 1333000 | #Constraints: 48766
1622.72/1627.35 c #Conflicts: 1334000 | #Constraints: 49766
1622.72/1627.35 c #Conflicts: 1335000 | #Constraints: 50766
1622.72/1627.35 c #Conflicts: 1336000 | #Constraints: 51766
1622.72/1627.35 c #Conflicts: 1337000 | #Constraints: 52766
1622.72/1627.35 c #Conflicts: 1338000 | #Constraints: 53766
1622.72/1627.35 c #Conflicts: 1339000 | #Constraints: 54766
1622.72/1627.35 c #Conflicts: 1340000 | #Constraints: 55766
1622.72/1627.35 c #Conflicts: 1341000 | #Constraints: 56766
1622.72/1627.35 c #Conflicts: 1342000 | #Constraints: 57766
1622.72/1627.35 c #Conflicts: 1343000 | #Constraints: 58766
1622.72/1627.35 c #Conflicts: 1344000 | #Constraints: 59766
1622.72/1627.35 c #Conflicts: 1345000 | #Constraints: 60766
1768.17/1773.25 c #Conflicts: 1346000 | #Constraints: 61766
1768.17/1773.25 c #Conflicts: 1347000 | #Constraints: 62766
1768.17/1773.25 c #Conflicts: 1348000 | #Constraints: 63766
1768.17/1773.25 c INPROCESSING
1768.17/1773.25 c GARBAGE COLLECT
1768.17/1773.25 c #Conflicts: 1349000 | #Constraints: 41762
1768.17/1773.25 c #Conflicts: 1350000 | #Constraints: 42762
1768.17/1773.25 c #Conflicts: 1351000 | #Constraints: 43762
1768.17/1773.25 c #Conflicts: 1352000 | #Constraints: 44762
1768.17/1773.25 c #Conflicts: 1353000 | #Constraints: 45762
1768.17/1773.25 c #Conflicts: 1354000 | #Constraints: 46762
1768.17/1773.25 c #Conflicts: 1355000 | #Constraints: 47762
1768.17/1773.25 c #Conflicts: 1356000 | #Constraints: 48762
1768.17/1773.25 c #Conflicts: 1357000 | #Constraints: 49762
1768.17/1773.25 c #Conflicts: 1358000 | #Constraints: 50762
1768.17/1773.25 c #Conflicts: 1359000 | #Constraints: 51762
1768.17/1773.25 c #Conflicts: 1360000 | #Constraints: 52762
1768.17/1773.25 c #Conflicts: 1361000 | #Constraints: 53762
1768.17/1773.25 c #Conflicts: 1362000 | #Constraints: 54762
1768.17/1773.25 c #Conflicts: 1363000 | #Constraints: 55762
1768.17/1773.25 c #Conflicts: 1364000 | #Constraints: 56762
1768.17/1773.25 c #Conflicts: 1365000 | #Constraints: 57762
1768.17/1773.25 c #Conflicts: 1366000 | #Constraints: 58762
1768.17/1773.25 c #Conflicts: 1367000 | #Constraints: 59762
1768.17/1773.25 c #Conflicts: 1368000 | #Constraints: 60762
1768.17/1773.25 c #Conflicts: 1369000 | #Constraints: 61762
1768.17/1773.25 c #Conflicts: 1370000 | #Constraints: 62762
1768.17/1773.25 c #Conflicts: 1371000 | #Constraints: 63762
1768.17/1773.25 c INPROCESSING
1768.17/1773.25 c GARBAGE COLLECT
1768.17/1773.25 c #Conflicts: 1372000 | #Constraints: 41553
1768.17/1773.25 c #Conflicts: 1373000 | #Constraints: 42553
1768.17/1773.25 c #Conflicts: 1374000 | #Constraints: 43553
1768.17/1773.25 c #Conflicts: 1375000 | #Constraints: 44553
1768.17/1773.25 c #Conflicts: 1376000 | #Constraints: 45553
1768.17/1773.25 c #Conflicts: 1377000 | #Constraints: 46553
1768.17/1773.25 c #Conflicts: 1378000 | #Constraints: 47553
1768.17/1773.25 c #Conflicts: 1379000 | #Constraints: 48553
1768.17/1773.25 c #Conflicts: 1380000 | #Constraints: 49553
1768.17/1773.25 c #Conflicts: 1381000 | #Constraints: 50553
1768.17/1773.25 c #Conflicts: 1382000 | #Constraints: 51553
1768.17/1773.25 c #Conflicts: 1383000 | #Constraints: 52553
1768.17/1773.25 c #Conflicts: 1384000 | #Constraints: 53553
1768.17/1773.25 c #Conflicts: 1385000 | #Constraints: 54553
1768.17/1773.25 c #Conflicts: 1386000 | #Constraints: 55553
1768.17/1773.25 c #Conflicts: 1387000 | #Constraints: 56553
1768.17/1773.25 c #Conflicts: 1388000 | #Constraints: 57553
1768.17/1773.25 c #Conflicts: 1389000 | #Constraints: 58553
1768.17/1773.25 c #Conflicts: 1390000 | #Constraints: 59553
1768.17/1773.25 c #Conflicts: 1391000 | #Constraints: 60553
1768.17/1773.25 c #Conflicts: 1392000 | #Constraints: 61553
1768.17/1773.25 c #Conflicts: 1393000 | #Constraints: 62553
1768.17/1773.25 c #Conflicts: 1394000 | #Constraints: 63553
1768.17/1773.25 c #Conflicts: 1395000 | #Constraints: 64553
1768.17/1773.25 c INPROCESSING
1768.17/1773.25 c GARBAGE COLLECT
1768.17/1773.25 c #Conflicts: 1396000 | #Constraints: 42154
1768.17/1773.25 c #Conflicts: 1397000 | #Constraints: 43154
1768.17/1773.25 c #Conflicts: 1398000 | #Constraints: 44154
1768.17/1773.25 c #Conflicts: 1399000 | #Constraints: 45154
1768.17/1773.25 c #Conflicts: 1400000 | #Constraints: 46154
1768.17/1773.25 c #Conflicts: 1401000 | #Constraints: 47154
1768.17/1773.25 c #Conflicts: 1402000 | #Constraints: 48154
1768.17/1773.25 c #Conflicts: 1403000 | #Constraints: 49154
1768.17/1773.25 c #Conflicts: 1404000 | #Constraints: 50154
1768.17/1773.25 c #Conflicts: 1405000 | #Constraints: 51154
1768.17/1773.25 c #Conflicts: 1406000 | #Constraints: 52154
1768.17/1773.25 c #Conflicts: 1407000 | #Constraints: 53154
1768.17/1773.25 c #Conflicts: 1408000 | #Constraints: 54154
1768.17/1773.25 c #Conflicts: 1409000 | #Constraints: 55154
1768.17/1773.25 c #Conflicts: 1410000 | #Constraints: 56154
1768.17/1773.25 c #Conflicts: 1411000 | #Constraints: 57154
1768.17/1773.25 c #Conflicts: 1412000 | #Constraints: 58154
1768.17/1773.25 c #Conflicts: 1413000 | #Constraints: 59154
1768.17/1773.25 c #Conflicts: 1414000 | #Constraints: 60154
1768.17/1773.25 c #Conflicts: 1415000 | #Constraints: 61154
1768.17/1773.25 c #Conflicts: 1416000 | #Constraints: 62154
1768.17/1773.25 c #Conflicts: 1417000 | #Constraints: 63154
1768.17/1773.25 c #Conflicts: 1418000 | #Constraints: 64154
1768.17/1773.25 c #Conflicts: 1419000 | #Constraints: 65154
1768.17/1773.25 c INPROCESSING
1768.17/1773.25 c GARBAGE COLLECT
1768.17/1773.25 c #Conflicts: 1420000 | #Constraints: 42552
1768.17/1773.25 c #Conflicts: 1421000 | #Constraints: 43552
1926.35/1931.95 c #Conflicts: 1422000 | #Constraints: 44552
1926.35/1931.95 c #Conflicts: 1423000 | #Constraints: 45552
1926.35/1931.95 c #Conflicts: 1424000 | #Constraints: 46552
1926.35/1931.95 c #Conflicts: 1425000 | #Constraints: 47552
1926.35/1931.95 c #Conflicts: 1426000 | #Constraints: 48552
1926.35/1931.95 c #Conflicts: 1427000 | #Constraints: 49552
1926.35/1931.95 c #Conflicts: 1428000 | #Constraints: 50552
1926.35/1931.95 c #Conflicts: 1429000 | #Constraints: 51552
1926.35/1931.95 c #Conflicts: 1430000 | #Constraints: 52552
1926.35/1931.95 c #Conflicts: 1431000 | #Constraints: 53552
1926.35/1931.95 c #Conflicts: 1432000 | #Constraints: 54552
1926.35/1931.95 c #Conflicts: 1433000 | #Constraints: 55552
1926.35/1931.95 c #Conflicts: 1434000 | #Constraints: 56552
1926.35/1931.95 c #Conflicts: 1435000 | #Constraints: 57552
1926.35/1931.95 c #Conflicts: 1436000 | #Constraints: 58552
1926.35/1931.95 c #Conflicts: 1437000 | #Constraints: 59552
1926.35/1931.95 c #Conflicts: 1438000 | #Constraints: 60552
1926.35/1931.95 c #Conflicts: 1439000 | #Constraints: 61552
1926.35/1931.95 c #Conflicts: 1440000 | #Constraints: 62552
1926.35/1931.95 c #Conflicts: 1441000 | #Constraints: 63552
1926.35/1931.95 c #Conflicts: 1442000 | #Constraints: 64552
1926.35/1931.95 c #Conflicts: 1443000 | #Constraints: 65552
1926.35/1931.95 c INPROCESSING
1926.35/1931.95 c GARBAGE COLLECT
1926.35/1931.95 c #Conflicts: 1444000 | #Constraints: 42761
1926.35/1931.95 c #Conflicts: 1445000 | #Constraints: 43761
1926.35/1931.95 c #Conflicts: 1446000 | #Constraints: 44761
1926.35/1931.95 c #Conflicts: 1447000 | #Constraints: 45761
1926.35/1931.95 c #Conflicts: 1448000 | #Constraints: 46761
1926.35/1931.95 c #Conflicts: 1449000 | #Constraints: 47761
1926.35/1931.95 c #Conflicts: 1450000 | #Constraints: 48761
1926.35/1931.95 c #Conflicts: 1451000 | #Constraints: 49761
1926.35/1931.95 c #Conflicts: 1452000 | #Constraints: 50761
1926.35/1931.95 c #Conflicts: 1453000 | #Constraints: 51761
1926.35/1931.95 c #Conflicts: 1454000 | #Constraints: 52761
1926.35/1931.95 c #Conflicts: 1455000 | #Constraints: 53761
1926.35/1931.95 c #Conflicts: 1456000 | #Constraints: 54761
1926.35/1931.95 c #Conflicts: 1457000 | #Constraints: 55761
1926.35/1931.95 c #Conflicts: 1458000 | #Constraints: 56761
1926.35/1931.95 c #Conflicts: 1459000 | #Constraints: 57761
1926.35/1931.95 c #Conflicts: 1460000 | #Constraints: 58761
1926.35/1931.95 c #Conflicts: 1461000 | #Constraints: 59761
1926.35/1931.95 c #Conflicts: 1462000 | #Constraints: 60761
1926.35/1931.95 c #Conflicts: 1463000 | #Constraints: 61761
1926.35/1931.95 c #Conflicts: 1464000 | #Constraints: 62761
1926.35/1931.95 c #Conflicts: 1465000 | #Constraints: 63761
1926.35/1931.95 c #Conflicts: 1466000 | #Constraints: 64761
1926.35/1931.95 c #Conflicts: 1467000 | #Constraints: 65761
1926.35/1931.95 c INPROCESSING
1926.35/1931.95 c GARBAGE COLLECT
1926.35/1931.95 c #Conflicts: 1468000 | #Constraints: 42747
1926.35/1931.95 c #Conflicts: 1469000 | #Constraints: 43747
1926.35/1931.95 c #Conflicts: 1470000 | #Constraints: 44747
1926.35/1931.95 c #Conflicts: 1471000 | #Constraints: 45747
1926.35/1931.95 c #Conflicts: 1472000 | #Constraints: 46747
1926.35/1931.95 c #Conflicts: 1473000 | #Constraints: 47747
1926.35/1931.95 c #Conflicts: 1474000 | #Constraints: 48747
1926.35/1931.95 c #Conflicts: 1475000 | #Constraints: 49747
1926.35/1931.95 c #Conflicts: 1476000 | #Constraints: 50747
1926.35/1931.95 c #Conflicts: 1477000 | #Constraints: 51747
1926.35/1931.95 c #Conflicts: 1478000 | #Constraints: 52747
1926.35/1931.95 c #Conflicts: 1479000 | #Constraints: 53747
1926.35/1931.95 c #Conflicts: 1480000 | #Constraints: 54747
1926.35/1931.95 c #Conflicts: 1481000 | #Constraints: 55747
1926.35/1931.95 c #Conflicts: 1482000 | #Constraints: 56747
1926.35/1931.95 c #Conflicts: 1483000 | #Constraints: 57747
1926.35/1931.95 c #Conflicts: 1484000 | #Constraints: 58747
1926.35/1931.95 c #Conflicts: 1485000 | #Constraints: 59747
1926.35/1931.95 c #Conflicts: 1486000 | #Constraints: 60747
1926.35/1931.95 c #Conflicts: 1487000 | #Constraints: 61747
1926.35/1931.95 c #Conflicts: 1488000 | #Constraints: 62747
1926.35/1931.95 c #Conflicts: 1489000 | #Constraints: 63747
1926.35/1931.95 c #Conflicts: 1490000 | #Constraints: 64747
1926.35/1931.95 c #Conflicts: 1491000 | #Constraints: 65747
1926.35/1931.95 c INPROCESSING
1926.35/1931.95 c GARBAGE COLLECT
1926.35/1931.95 c #Conflicts: 1492000 | #Constraints: 42554
1926.35/1931.95 c #Conflicts: 1493000 | #Constraints: 43554
1926.35/1931.95 c #Conflicts: 1494000 | #Constraints: 44554
1926.35/1931.95 c #Conflicts: 1495000 | #Constraints: 45554
1926.35/1931.95 c #Conflicts: 1496000 | #Constraints: 46554
1926.35/1931.95 c #Conflicts: 1497000 | #Constraints: 47554
1926.35/1931.95 c #Conflicts: 1498000 | #Constraints: 48554
2075.84/2081.96 c #Conflicts: 1499000 | #Constraints: 49554
2075.84/2081.96 c #Conflicts: 1500000 | #Constraints: 50554
2075.84/2081.96 c #Conflicts: 1501000 | #Constraints: 51554
2075.84/2081.96 c #Conflicts: 1502000 | #Constraints: 52554
2075.84/2081.96 c #Conflicts: 1503000 | #Constraints: 53554
2075.84/2081.96 c #Conflicts: 1504000 | #Constraints: 54554
2075.84/2081.96 c #Conflicts: 1505000 | #Constraints: 55554
2075.84/2081.96 c #Conflicts: 1506000 | #Constraints: 56554
2075.84/2081.96 c #Conflicts: 1507000 | #Constraints: 57554
2075.84/2081.96 c #Conflicts: 1508000 | #Constraints: 58554
2075.84/2081.96 c #Conflicts: 1509000 | #Constraints: 59554
2075.84/2081.96 c #Conflicts: 1510000 | #Constraints: 60554
2075.84/2081.96 c #Conflicts: 1511000 | #Constraints: 61554
2075.84/2081.96 c #Conflicts: 1512000 | #Constraints: 62554
2075.84/2081.96 c #Conflicts: 1513000 | #Constraints: 63554
2075.84/2081.96 c #Conflicts: 1514000 | #Constraints: 64554
2075.84/2081.96 c #Conflicts: 1515000 | #Constraints: 65554
2075.84/2081.96 c #Conflicts: 1516000 | #Constraints: 66554
2075.84/2081.96 c INPROCESSING
2075.84/2081.96 c GARBAGE COLLECT
2075.84/2081.96 c #Conflicts: 1517000 | #Constraints: 43155
2075.84/2081.96 c #Conflicts: 1518000 | #Constraints: 44155
2075.84/2081.96 c #Conflicts: 1519000 | #Constraints: 45155
2075.84/2081.96 c #Conflicts: 1520000 | #Constraints: 46155
2075.84/2081.96 c #Conflicts: 1521000 | #Constraints: 47155
2075.84/2081.96 c #Conflicts: 1522000 | #Constraints: 48155
2075.84/2081.96 c #Conflicts: 1523000 | #Constraints: 49155
2075.84/2081.96 c #Conflicts: 1524000 | #Constraints: 50155
2075.84/2081.96 c #Conflicts: 1525000 | #Constraints: 51155
2075.84/2081.96 c #Conflicts: 1526000 | #Constraints: 52155
2075.84/2081.96 c #Conflicts: 1527000 | #Constraints: 53155
2075.84/2081.96 c #Conflicts: 1528000 | #Constraints: 54155
2075.84/2081.96 c #Conflicts: 1529000 | #Constraints: 55155
2075.84/2081.96 c #Conflicts: 1530000 | #Constraints: 56155
2075.84/2081.96 c #Conflicts: 1531000 | #Constraints: 57155
2075.84/2081.96 c #Conflicts: 1532000 | #Constraints: 58155
2075.84/2081.96 c #Conflicts: 1533000 | #Constraints: 59155
2075.84/2081.96 c #Conflicts: 1534000 | #Constraints: 60155
2075.84/2081.96 c #Conflicts: 1535000 | #Constraints: 61155
2075.84/2081.96 c #Conflicts: 1536000 | #Constraints: 62155
2075.84/2081.96 c #Conflicts: 1537000 | #Constraints: 63155
2075.84/2081.96 c #Conflicts: 1538000 | #Constraints: 64155
2075.84/2081.96 c #Conflicts: 1539000 | #Constraints: 65155
2075.84/2081.96 c #Conflicts: 1540000 | #Constraints: 66155
2075.84/2081.96 c #Conflicts: 1541000 | #Constraints: 67155
2075.84/2081.96 c INPROCESSING
2075.84/2081.96 c GARBAGE COLLECT
2075.84/2081.96 c #Conflicts: 1542000 | #Constraints: 43553
2075.84/2081.96 c #Conflicts: 1543000 | #Constraints: 44553
2075.84/2081.96 c #Conflicts: 1544000 | #Constraints: 45553
2075.84/2081.96 c #Conflicts: 1545000 | #Constraints: 46553
2075.84/2081.96 c #Conflicts: 1546000 | #Constraints: 47553
2075.84/2081.96 c #Conflicts: 1547000 | #Constraints: 48553
2075.84/2081.96 c #Conflicts: 1548000 | #Constraints: 49553
2075.84/2081.96 c #Conflicts: 1549000 | #Constraints: 50553
2075.84/2081.96 c #Conflicts: 1550000 | #Constraints: 51553
2075.84/2081.96 c #Conflicts: 1551000 | #Constraints: 52553
2075.84/2081.96 c #Conflicts: 1552000 | #Constraints: 53553
2075.84/2081.96 c #Conflicts: 1553000 | #Constraints: 54553
2075.84/2081.96 c #Conflicts: 1554000 | #Constraints: 55553
2075.84/2081.96 c #Conflicts: 1555000 | #Constraints: 56553
2075.84/2081.96 c #Conflicts: 1556000 | #Constraints: 57553
2075.84/2081.96 c #Conflicts: 1557000 | #Constraints: 58553
2075.84/2081.96 c #Conflicts: 1558000 | #Constraints: 59553
2075.84/2081.96 c #Conflicts: 1559000 | #Constraints: 60553
2075.84/2081.96 c #Conflicts: 1560000 | #Constraints: 61553
2075.84/2081.96 c #Conflicts: 1561000 | #Constraints: 62553
2075.84/2081.96 c #Conflicts: 1562000 | #Constraints: 63553
2075.84/2081.96 c #Conflicts: 1563000 | #Constraints: 64553
2075.84/2081.96 c #Conflicts: 1564000 | #Constraints: 65553
2075.84/2081.96 c #Conflicts: 1565000 | #Constraints: 66553
2075.84/2081.96 c #Conflicts: 1566000 | #Constraints: 67553
2075.84/2081.96 c INPROCESSING
2075.84/2081.96 c GARBAGE COLLECT
2075.84/2081.96 c #Conflicts: 1567000 | #Constraints: 43754
2075.84/2081.96 c #Conflicts: 1568000 | #Constraints: 44754
2075.84/2081.96 c #Conflicts: 1569000 | #Constraints: 45754
2075.84/2081.96 c #Conflicts: 1570000 | #Constraints: 46754
2075.84/2081.96 c #Conflicts: 1571000 | #Constraints: 47754
2075.84/2081.96 c #Conflicts: 1572000 | #Constraints: 48754
2075.84/2081.96 c #Conflicts: 1573000 | #Constraints: 49754
2075.84/2081.96 c #Conflicts: 1574000 | #Constraints: 50754
2075.84/2081.96 c #Conflicts: 1575000 | #Constraints: 51754
2225.28/2231.94 c #Conflicts: 1576000 | #Constraints: 52754
2225.28/2231.94 c #Conflicts: 1577000 | #Constraints: 53754
2225.28/2231.94 c #Conflicts: 1578000 | #Constraints: 54754
2225.28/2231.94 c #Conflicts: 1579000 | #Constraints: 55754
2225.28/2231.94 c #Conflicts: 1580000 | #Constraints: 56754
2225.28/2231.94 c #Conflicts: 1581000 | #Constraints: 57754
2225.28/2231.94 c #Conflicts: 1582000 | #Constraints: 58754
2225.28/2231.94 c #Conflicts: 1583000 | #Constraints: 59754
2225.28/2231.94 c #Conflicts: 1584000 | #Constraints: 60754
2225.28/2231.94 c #Conflicts: 1585000 | #Constraints: 61754
2225.28/2231.94 c #Conflicts: 1586000 | #Constraints: 62754
2225.28/2231.94 c #Conflicts: 1587000 | #Constraints: 63754
2225.28/2231.94 c #Conflicts: 1588000 | #Constraints: 64754
2225.28/2231.94 c #Conflicts: 1589000 | #Constraints: 65754
2225.28/2231.94 c #Conflicts: 1590000 | #Constraints: 66754
2225.28/2231.94 c #Conflicts: 1591000 | #Constraints: 67754
2225.28/2231.94 c INPROCESSING
2225.28/2231.94 c GARBAGE COLLECT
2225.28/2231.94 c #Conflicts: 1592000 | #Constraints: 43767
2225.28/2231.94 c #Conflicts: 1593000 | #Constraints: 44767
2225.28/2231.94 c #Conflicts: 1594000 | #Constraints: 45767
2225.28/2231.94 c #Conflicts: 1595000 | #Constraints: 46767
2225.28/2231.94 c #Conflicts: 1596000 | #Constraints: 47767
2225.28/2231.94 c #Conflicts: 1597000 | #Constraints: 48767
2225.28/2231.94 c #Conflicts: 1598000 | #Constraints: 49767
2225.28/2231.94 c #Conflicts: 1599000 | #Constraints: 50767
2225.28/2231.94 c #Conflicts: 1600000 | #Constraints: 51767
2225.28/2231.94 c #Conflicts: 1601000 | #Constraints: 52767
2225.28/2231.94 c #Conflicts: 1602000 | #Constraints: 53767
2225.28/2231.94 c #Conflicts: 1603000 | #Constraints: 54767
2225.28/2231.94 c #Conflicts: 1604000 | #Constraints: 55767
2225.28/2231.94 c #Conflicts: 1605000 | #Constraints: 56767
2225.28/2231.94 c #Conflicts: 1606000 | #Constraints: 57767
2225.28/2231.94 c #Conflicts: 1607000 | #Constraints: 58767
2225.28/2231.94 c #Conflicts: 1608000 | #Constraints: 59767
2225.28/2231.94 c #Conflicts: 1609000 | #Constraints: 60767
2225.28/2231.94 c #Conflicts: 1610000 | #Constraints: 61767
2225.28/2231.94 c #Conflicts: 1611000 | #Constraints: 62767
2225.28/2231.94 c #Conflicts: 1612000 | #Constraints: 63767
2225.28/2231.94 c #Conflicts: 1613000 | #Constraints: 64767
2225.28/2231.94 c #Conflicts: 1614000 | #Constraints: 65767
2225.28/2231.94 c #Conflicts: 1615000 | #Constraints: 66767
2225.28/2231.94 c #Conflicts: 1616000 | #Constraints: 67767
2225.28/2231.94 c INPROCESSING
2225.28/2231.94 c GARBAGE COLLECT
2225.28/2231.94 c #Conflicts: 1617000 | #Constraints: 43559
2225.28/2231.94 c #Conflicts: 1618000 | #Constraints: 44559
2225.28/2231.94 c #Conflicts: 1619000 | #Constraints: 45559
2225.28/2231.94 c #Conflicts: 1620000 | #Constraints: 46559
2225.28/2231.94 c #Conflicts: 1621000 | #Constraints: 47559
2225.28/2231.94 c #Conflicts: 1622000 | #Constraints: 48559
2225.28/2231.94 c #Conflicts: 1623000 | #Constraints: 49559
2225.28/2231.94 c #Conflicts: 1624000 | #Constraints: 50559
2225.28/2231.94 c #Conflicts: 1625000 | #Constraints: 51559
2225.28/2231.94 c #Conflicts: 1626000 | #Constraints: 52559
2225.28/2231.94 c #Conflicts: 1627000 | #Constraints: 53559
2225.28/2231.94 c #Conflicts: 1628000 | #Constraints: 54559
2225.28/2231.94 c #Conflicts: 1629000 | #Constraints: 55559
2225.28/2231.94 c #Conflicts: 1630000 | #Constraints: 56559
2225.28/2231.94 c #Conflicts: 1631000 | #Constraints: 57559
2225.28/2231.94 c #Conflicts: 1632000 | #Constraints: 58559
2225.28/2231.94 c #Conflicts: 1633000 | #Constraints: 59559
2225.28/2231.94 c #Conflicts: 1634000 | #Constraints: 60559
2225.28/2231.94 c #Conflicts: 1635000 | #Constraints: 61559
2225.28/2231.94 c #Conflicts: 1636000 | #Constraints: 62559
2225.28/2231.94 c #Conflicts: 1637000 | #Constraints: 63559
2225.28/2231.94 c #Conflicts: 1638000 | #Constraints: 64559
2225.28/2231.94 c #Conflicts: 1639000 | #Constraints: 65559
2225.28/2231.94 c #Conflicts: 1640000 | #Constraints: 66559
2225.28/2231.94 c #Conflicts: 1641000 | #Constraints: 67559
2225.28/2231.94 c #Conflicts: 1642000 | #Constraints: 68559
2225.28/2231.94 c INPROCESSING
2225.28/2231.94 c GARBAGE COLLECT
2225.28/2231.94 c #Conflicts: 1643000 | #Constraints: 44178
2225.28/2231.94 c #Conflicts: 1644000 | #Constraints: 45178
2225.28/2231.94 c #Conflicts: 1645000 | #Constraints: 46178
2225.28/2231.94 c #Conflicts: 1646000 | #Constraints: 47178
2225.28/2231.94 c #Conflicts: 1647000 | #Constraints: 48178
2225.28/2231.94 c #Conflicts: 1648000 | #Constraints: 49178
2225.28/2231.94 c #Conflicts: 1649000 | #Constraints: 50178
2225.28/2231.94 c #Conflicts: 1650000 | #Constraints: 51178
2225.28/2231.94 c #Conflicts: 1651000 | #Constraints: 52178
2225.28/2231.94 c #Conflicts: 1652000 | #Constraints: 53178
2390.33/2397.52 c #Conflicts: 1653000 | #Constraints: 54178
2390.33/2397.52 c #Conflicts: 1654000 | #Constraints: 55178
2390.33/2397.52 c #Conflicts: 1655000 | #Constraints: 56178
2390.33/2397.52 c #Conflicts: 1656000 | #Constraints: 57178
2390.33/2397.52 c #Conflicts: 1657000 | #Constraints: 58178
2390.33/2397.52 c #Conflicts: 1658000 | #Constraints: 59178
2390.33/2397.52 c #Conflicts: 1659000 | #Constraints: 60178
2390.33/2397.52 c #Conflicts: 1660000 | #Constraints: 61178
2390.33/2397.52 c #Conflicts: 1661000 | #Constraints: 62178
2390.33/2397.52 c #Conflicts: 1662000 | #Constraints: 63178
2390.33/2397.52 c #Conflicts: 1663000 | #Constraints: 64178
2390.33/2397.52 c #Conflicts: 1664000 | #Constraints: 65178
2390.33/2397.52 c #Conflicts: 1665000 | #Constraints: 66178
2390.33/2397.52 c #Conflicts: 1666000 | #Constraints: 67178
2390.33/2397.52 c #Conflicts: 1667000 | #Constraints: 68178
2390.33/2397.52 c #Conflicts: 1668000 | #Constraints: 69178
2390.33/2397.52 c INPROCESSING
2390.33/2397.52 c GARBAGE COLLECT
2390.33/2397.52 c #Conflicts: 1669000 | #Constraints: 44566
2390.33/2397.52 c #Conflicts: 1670000 | #Constraints: 45566
2390.33/2397.52 c #Conflicts: 1671000 | #Constraints: 46566
2390.33/2397.52 c #Conflicts: 1672000 | #Constraints: 47566
2390.33/2397.52 c #Conflicts: 1673000 | #Constraints: 48566
2390.33/2397.52 c #Conflicts: 1674000 | #Constraints: 49566
2390.33/2397.52 c #Conflicts: 1675000 | #Constraints: 50566
2390.33/2397.52 c #Conflicts: 1676000 | #Constraints: 51566
2390.33/2397.52 c #Conflicts: 1677000 | #Constraints: 52566
2390.33/2397.52 c #Conflicts: 1678000 | #Constraints: 53566
2390.33/2397.52 c #Conflicts: 1679000 | #Constraints: 54566
2390.33/2397.52 c #Conflicts: 1680000 | #Constraints: 55566
2390.33/2397.52 c #Conflicts: 1681000 | #Constraints: 56566
2390.33/2397.52 c #Conflicts: 1682000 | #Constraints: 57566
2390.33/2397.52 c #Conflicts: 1683000 | #Constraints: 58566
2390.33/2397.52 c #Conflicts: 1684000 | #Constraints: 59566
2390.33/2397.52 c #Conflicts: 1685000 | #Constraints: 60566
2390.33/2397.52 c #Conflicts: 1686000 | #Constraints: 61566
2390.33/2397.52 c #Conflicts: 1687000 | #Constraints: 62566
2390.33/2397.52 c #Conflicts: 1688000 | #Constraints: 63566
2390.33/2397.52 c #Conflicts: 1689000 | #Constraints: 64566
2390.33/2397.52 c #Conflicts: 1690000 | #Constraints: 65566
2390.33/2397.52 c #Conflicts: 1691000 | #Constraints: 66566
2390.33/2397.52 c #Conflicts: 1692000 | #Constraints: 67566
2390.33/2397.52 c #Conflicts: 1693000 | #Constraints: 68566
2390.33/2397.52 c #Conflicts: 1694000 | #Constraints: 69566
2390.33/2397.52 c INPROCESSING
2390.33/2397.52 c GARBAGE COLLECT
2390.33/2397.52 c #Conflicts: 1695000 | #Constraints: 44769
2390.33/2397.52 c #Conflicts: 1696000 | #Constraints: 45769
2390.33/2397.52 c #Conflicts: 1697000 | #Constraints: 46769
2390.33/2397.52 c #Conflicts: 1698000 | #Constraints: 47769
2390.33/2397.52 c #Conflicts: 1699000 | #Constraints: 48769
2390.33/2397.52 c #Conflicts: 1700000 | #Constraints: 49769
2390.33/2397.52 c #Conflicts: 1701000 | #Constraints: 50769
2390.33/2397.52 c #Conflicts: 1702000 | #Constraints: 51769
2390.33/2397.52 c #Conflicts: 1703000 | #Constraints: 52769
2390.33/2397.52 c #Conflicts: 1704000 | #Constraints: 53769
2390.33/2397.52 c #Conflicts: 1705000 | #Constraints: 54769
2390.33/2397.52 c #Conflicts: 1706000 | #Constraints: 55769
2390.33/2397.52 c #Conflicts: 1707000 | #Constraints: 56769
2390.33/2397.52 c #Conflicts: 1708000 | #Constraints: 57769
2390.33/2397.52 c #Conflicts: 1709000 | #Constraints: 58769
2390.33/2397.52 c #Conflicts: 1710000 | #Constraints: 59769
2390.33/2397.52 c #Conflicts: 1711000 | #Constraints: 60769
2390.33/2397.52 c #Conflicts: 1712000 | #Constraints: 61769
2390.33/2397.52 c #Conflicts: 1713000 | #Constraints: 62769
2390.33/2397.52 c #Conflicts: 1714000 | #Constraints: 63769
2390.33/2397.52 c #Conflicts: 1715000 | #Constraints: 64769
2390.33/2397.52 c #Conflicts: 1716000 | #Constraints: 65769
2390.33/2397.52 c #Conflicts: 1717000 | #Constraints: 66769
2390.33/2397.52 c #Conflicts: 1718000 | #Constraints: 67769
2390.33/2397.52 c #Conflicts: 1719000 | #Constraints: 68769
2390.33/2397.52 c #Conflicts: 1720000 | #Constraints: 69769
2390.33/2397.52 c INPROCESSING
2390.33/2397.52 c GARBAGE COLLECT
2390.33/2397.52 c #Conflicts: 1721000 | #Constraints: 44766
2390.33/2397.52 c #Conflicts: 1722000 | #Constraints: 45766
2390.33/2397.52 c #Conflicts: 1723000 | #Constraints: 46766
2390.33/2397.52 c #Conflicts: 1724000 | #Constraints: 47766
2390.33/2397.52 c #Conflicts: 1725000 | #Constraints: 48766
2390.33/2397.52 c #Conflicts: 1726000 | #Constraints: 49766
2390.33/2397.52 c #Conflicts: 1727000 | #Constraints: 50766
2390.33/2397.52 c #Conflicts: 1728000 | #Constraints: 51766
2390.33/2397.52 c #Conflicts: 1729000 | #Constraints: 52766
2527.31/2534.84 c #Conflicts: 1730000 | #Constraints: 53766
2527.31/2534.84 c #Conflicts: 1731000 | #Constraints: 54766
2527.31/2534.84 c #Conflicts: 1732000 | #Constraints: 55766
2527.31/2534.84 c #Conflicts: 1733000 | #Constraints: 56766
2527.31/2534.84 c #Conflicts: 1734000 | #Constraints: 57766
2527.31/2534.84 c #Conflicts: 1735000 | #Constraints: 58766
2527.31/2534.84 c #Conflicts: 1736000 | #Constraints: 59766
2527.31/2534.84 c #Conflicts: 1737000 | #Constraints: 60766
2527.31/2534.84 c #Conflicts: 1738000 | #Constraints: 61766
2527.31/2534.84 c #Conflicts: 1739000 | #Constraints: 62766
2527.31/2534.84 c #Conflicts: 1740000 | #Constraints: 63766
2527.31/2534.84 c #Conflicts: 1741000 | #Constraints: 64766
2527.31/2534.84 c #Conflicts: 1742000 | #Constraints: 65766
2527.31/2534.84 c #Conflicts: 1743000 | #Constraints: 66766
2527.31/2534.84 c #Conflicts: 1744000 | #Constraints: 67766
2527.31/2534.84 c #Conflicts: 1745000 | #Constraints: 68766
2527.31/2534.84 c #Conflicts: 1746000 | #Constraints: 69766
2527.31/2534.84 c INPROCESSING
2527.31/2534.84 c GARBAGE COLLECT
2527.31/2534.84 c #Conflicts: 1747000 | #Constraints: 44559
2527.31/2534.84 c #Conflicts: 1748000 | #Constraints: 45559
2527.31/2534.84 c #Conflicts: 1749000 | #Constraints: 46559
2527.31/2534.84 c #Conflicts: 1750000 | #Constraints: 47559
2527.31/2534.84 c #Conflicts: 1751000 | #Constraints: 48559
2527.31/2534.84 c #Conflicts: 1752000 | #Constraints: 49559
2527.31/2534.84 c #Conflicts: 1753000 | #Constraints: 50559
2527.31/2534.84 c #Conflicts: 1754000 | #Constraints: 51559
2527.31/2534.84 c #Conflicts: 1755000 | #Constraints: 52559
2527.31/2534.84 c #Conflicts: 1756000 | #Constraints: 53559
2527.31/2534.84 c #Conflicts: 1757000 | #Constraints: 54559
2527.31/2534.84 c #Conflicts: 1758000 | #Constraints: 55559
2527.31/2534.84 c #Conflicts: 1759000 | #Constraints: 56559
2527.31/2534.84 c #Conflicts: 1760000 | #Constraints: 57559
2527.31/2534.84 c #Conflicts: 1761000 | #Constraints: 58559
2527.31/2534.84 c #Conflicts: 1762000 | #Constraints: 59559
2527.31/2534.84 c #Conflicts: 1763000 | #Constraints: 60559
2527.31/2534.84 c #Conflicts: 1764000 | #Constraints: 61559
2527.31/2534.84 c #Conflicts: 1765000 | #Constraints: 62559
2527.31/2534.84 c #Conflicts: 1766000 | #Constraints: 63559
2527.31/2534.84 c #Conflicts: 1767000 | #Constraints: 64559
2527.31/2534.84 c #Conflicts: 1768000 | #Constraints: 65559
2527.31/2534.84 c #Conflicts: 1769000 | #Constraints: 66559
2527.31/2534.84 c #Conflicts: 1770000 | #Constraints: 67559
2527.31/2534.84 c #Conflicts: 1771000 | #Constraints: 68559
2527.31/2534.84 c #Conflicts: 1772000 | #Constraints: 69559
2527.31/2534.84 c #Conflicts: 1773000 | #Constraints: 70559
2527.31/2534.84 c INPROCESSING
2527.31/2534.84 c GARBAGE COLLECT
2527.31/2534.84 c #Conflicts: 1774000 | #Constraints: 45161
2527.31/2534.84 c #Conflicts: 1775000 | #Constraints: 46161
2527.31/2534.84 c #Conflicts: 1776000 | #Constraints: 47161
2527.31/2534.84 c #Conflicts: 1777000 | #Constraints: 48161
2527.31/2534.84 c #Conflicts: 1778000 | #Constraints: 49161
2527.31/2534.84 c #Conflicts: 1779000 | #Constraints: 50161
2527.31/2534.84 c #Conflicts: 1780000 | #Constraints: 51161
2527.31/2534.84 c #Conflicts: 1781000 | #Constraints: 52161
2527.31/2534.84 c #Conflicts: 1782000 | #Constraints: 53161
2527.31/2534.84 c #Conflicts: 1783000 | #Constraints: 54161
2527.31/2534.84 c #Conflicts: 1784000 | #Constraints: 55161
2527.31/2534.84 c #Conflicts: 1785000 | #Constraints: 56161
2527.31/2534.84 c #Conflicts: 1786000 | #Constraints: 57161
2527.31/2534.84 c #Conflicts: 1787000 | #Constraints: 58161
2527.31/2534.84 c #Conflicts: 1788000 | #Constraints: 59161
2527.31/2534.84 c #Conflicts: 1789000 | #Constraints: 60161
2527.31/2534.84 c #Conflicts: 1790000 | #Constraints: 61161
2527.31/2534.84 c #Conflicts: 1791000 | #Constraints: 62161
2527.31/2534.84 c #Conflicts: 1792000 | #Constraints: 63161
2527.31/2534.84 c #Conflicts: 1793000 | #Constraints: 64161
2527.31/2534.84 c #Conflicts: 1794000 | #Constraints: 65161
2527.31/2534.84 c #Conflicts: 1795000 | #Constraints: 66161
2527.31/2534.84 c #Conflicts: 1796000 | #Constraints: 67161
2527.31/2534.84 c #Conflicts: 1797000 | #Constraints: 68161
2527.31/2534.84 c #Conflicts: 1798000 | #Constraints: 69161
2527.31/2534.84 c #Conflicts: 1799000 | #Constraints: 70161
2527.31/2534.84 c #Conflicts: 1800000 | #Constraints: 71161
2527.31/2534.84 c INPROCESSING
2527.31/2534.84 c GARBAGE COLLECT
2527.31/2534.84 c #Conflicts: 1801000 | #Constraints: 45559
2527.31/2534.84 c #Conflicts: 1802000 | #Constraints: 46559
2527.31/2534.84 c #Conflicts: 1803000 | #Constraints: 47559
2527.31/2534.84 c #Conflicts: 1804000 | #Constraints: 48559
2527.31/2534.84 c #Conflicts: 1805000 | #Constraints: 49559
2527.31/2534.84 c #Conflicts: 1806000 | #Constraints: 50559
2653.50/2661.35 c #Conflicts: 1807000 | #Constraints: 51559
2653.50/2661.35 c #Conflicts: 1808000 | #Constraints: 52559
2653.50/2661.35 c #Conflicts: 1809000 | #Constraints: 53559
2653.50/2661.35 c #Conflicts: 1810000 | #Constraints: 54559
2653.50/2661.35 c #Conflicts: 1811000 | #Constraints: 55559
2653.50/2661.35 c #Conflicts: 1812000 | #Constraints: 56559
2653.50/2661.35 c #Conflicts: 1813000 | #Constraints: 57559
2653.50/2661.35 c #Conflicts: 1814000 | #Constraints: 58559
2653.50/2661.35 c #Conflicts: 1815000 | #Constraints: 59559
2653.50/2661.35 c #Conflicts: 1816000 | #Constraints: 60559
2653.50/2661.35 c #Conflicts: 1817000 | #Constraints: 61559
2653.50/2661.35 c #Conflicts: 1818000 | #Constraints: 62559
2653.50/2661.35 c #Conflicts: 1819000 | #Constraints: 63559
2653.50/2661.35 c #Conflicts: 1820000 | #Constraints: 64559
2653.50/2661.35 c #Conflicts: 1821000 | #Constraints: 65559
2653.50/2661.35 c #Conflicts: 1822000 | #Constraints: 66559
2653.50/2661.35 c #Conflicts: 1823000 | #Constraints: 67559
2653.50/2661.35 c #Conflicts: 1824000 | #Constraints: 68559
2653.50/2661.35 c #Conflicts: 1825000 | #Constraints: 69559
2653.50/2661.35 c #Conflicts: 1826000 | #Constraints: 70559
2653.50/2661.35 c #Conflicts: 1827000 | #Constraints: 71559
2653.50/2661.35 c INPROCESSING
2653.50/2661.35 c GARBAGE COLLECT
2653.50/2661.35 c #Conflicts: 1828000 | #Constraints: 45760
2653.50/2661.35 c #Conflicts: 1829000 | #Constraints: 46760
2653.50/2661.35 c #Conflicts: 1830000 | #Constraints: 47760
2653.50/2661.35 c #Conflicts: 1831000 | #Constraints: 48760
2653.50/2661.35 c #Conflicts: 1832000 | #Constraints: 49760
2653.50/2661.35 c #Conflicts: 1833000 | #Constraints: 50760
2653.50/2661.35 c #Conflicts: 1834000 | #Constraints: 51760
2653.50/2661.35 c #Conflicts: 1835000 | #Constraints: 52760
2653.50/2661.35 c #Conflicts: 1836000 | #Constraints: 53760
2653.50/2661.35 c #Conflicts: 1837000 | #Constraints: 54760
2653.50/2661.35 c #Conflicts: 1838000 | #Constraints: 55760
2653.50/2661.35 c #Conflicts: 1839000 | #Constraints: 56760
2653.50/2661.35 c #Conflicts: 1840000 | #Constraints: 57760
2653.50/2661.35 c #Conflicts: 1841000 | #Constraints: 58760
2653.50/2661.35 c #Conflicts: 1842000 | #Constraints: 59760
2653.50/2661.35 c #Conflicts: 1843000 | #Constraints: 60760
2653.50/2661.35 c #Conflicts: 1844000 | #Constraints: 61760
2653.50/2661.35 c #Conflicts: 1845000 | #Constraints: 62760
2653.50/2661.35 c #Conflicts: 1846000 | #Constraints: 63760
2653.50/2661.35 c #Conflicts: 1847000 | #Constraints: 64760
2653.50/2661.35 c #Conflicts: 1848000 | #Constraints: 65760
2653.50/2661.35 c #Conflicts: 1849000 | #Constraints: 66760
2653.50/2661.35 c #Conflicts: 1850000 | #Constraints: 67760
2653.50/2661.35 c #Conflicts: 1851000 | #Constraints: 68760
2653.50/2661.35 c #Conflicts: 1852000 | #Constraints: 69760
2653.50/2661.35 c #Conflicts: 1853000 | #Constraints: 70760
2653.50/2661.35 c #Conflicts: 1854000 | #Constraints: 71760
2653.50/2661.35 c INPROCESSING
2653.50/2661.35 c GARBAGE COLLECT
2653.50/2661.35 c #Conflicts: 1855000 | #Constraints: 45769
2653.50/2661.35 c #Conflicts: 1856000 | #Constraints: 46769
2653.50/2661.35 c #Conflicts: 1857000 | #Constraints: 47769
2653.50/2661.35 c #Conflicts: 1858000 | #Constraints: 48769
2653.50/2661.35 c #Conflicts: 1859000 | #Constraints: 49769
2653.50/2661.35 c #Conflicts: 1860000 | #Constraints: 50769
2653.50/2661.35 c #Conflicts: 1861000 | #Constraints: 51769
2653.50/2661.35 c #Conflicts: 1862000 | #Constraints: 52769
2653.50/2661.35 c #Conflicts: 1863000 | #Constraints: 53769
2653.50/2661.35 c #Conflicts: 1864000 | #Constraints: 54769
2653.50/2661.35 c #Conflicts: 1865000 | #Constraints: 55769
2653.50/2661.35 c #Conflicts: 1866000 | #Constraints: 56769
2653.50/2661.35 c #Conflicts: 1867000 | #Constraints: 57769
2653.50/2661.35 c #Conflicts: 1868000 | #Constraints: 58769
2653.50/2661.35 c #Conflicts: 1869000 | #Constraints: 59769
2653.50/2661.35 c #Conflicts: 1870000 | #Constraints: 60769
2653.50/2661.35 c #Conflicts: 1871000 | #Constraints: 61769
2653.50/2661.35 c #Conflicts: 1872000 | #Constraints: 62769
2653.50/2661.35 c #Conflicts: 1873000 | #Constraints: 63769
2653.50/2661.35 c #Conflicts: 1874000 | #Constraints: 64769
2653.50/2661.35 c #Conflicts: 1875000 | #Constraints: 65769
2653.50/2661.35 c #Conflicts: 1876000 | #Constraints: 66769
2653.50/2661.35 c #Conflicts: 1877000 | #Constraints: 67769
2653.50/2661.35 c #Conflicts: 1878000 | #Constraints: 68769
2653.50/2661.35 c #Conflicts: 1879000 | #Constraints: 69769
2653.50/2661.35 c #Conflicts: 1880000 | #Constraints: 70769
2653.50/2661.35 c #Conflicts: 1881000 | #Constraints: 71769
2653.50/2661.35 c INPROCESSING
2653.50/2661.35 c GARBAGE COLLECT
2653.50/2661.35 c #Conflicts: 1882000 | #Constraints: 45565
2653.50/2661.35 c #Conflicts: 1883000 | #Constraints: 46565
2796.65/2804.82 c #Conflicts: 1884000 | #Constraints: 47565
2796.65/2804.82 c #Conflicts: 1885000 | #Constraints: 48565
2796.65/2804.82 c #Conflicts: 1886000 | #Constraints: 49565
2796.65/2804.82 c #Conflicts: 1887000 | #Constraints: 50565
2796.65/2804.82 c #Conflicts: 1888000 | #Constraints: 51565
2796.65/2804.82 c #Conflicts: 1889000 | #Constraints: 52565
2796.65/2804.82 c #Conflicts: 1890000 | #Constraints: 53565
2796.65/2804.82 c #Conflicts: 1891000 | #Constraints: 54565
2796.65/2804.82 c #Conflicts: 1892000 | #Constraints: 55565
2796.65/2804.82 c #Conflicts: 1893000 | #Constraints: 56565
2796.65/2804.82 c #Conflicts: 1894000 | #Constraints: 57565
2796.65/2804.82 c #Conflicts: 1895000 | #Constraints: 58565
2796.65/2804.82 c #Conflicts: 1896000 | #Constraints: 59565
2796.65/2804.82 c #Conflicts: 1897000 | #Constraints: 60565
2796.65/2804.82 c #Conflicts: 1898000 | #Constraints: 61565
2796.65/2804.82 c #Conflicts: 1899000 | #Constraints: 62565
2796.65/2804.82 c #Conflicts: 1900000 | #Constraints: 63565
2796.65/2804.82 c #Conflicts: 1901000 | #Constraints: 64565
2796.65/2804.82 c #Conflicts: 1902000 | #Constraints: 65565
2796.65/2804.82 c #Conflicts: 1903000 | #Constraints: 66565
2796.65/2804.82 c #Conflicts: 1904000 | #Constraints: 67565
2796.65/2804.82 c #Conflicts: 1905000 | #Constraints: 68565
2796.65/2804.82 c #Conflicts: 1906000 | #Constraints: 69565
2796.65/2804.82 c #Conflicts: 1907000 | #Constraints: 70565
2796.65/2804.82 c #Conflicts: 1908000 | #Constraints: 71565
2796.65/2804.82 c #Conflicts: 1909000 | #Constraints: 72565
2796.65/2804.82 c INPROCESSING
2796.65/2804.82 c GARBAGE COLLECT
2796.65/2804.82 c #Conflicts: 1910000 | #Constraints: 46170
2796.65/2804.82 c #Conflicts: 1911000 | #Constraints: 47170
2796.65/2804.82 c #Conflicts: 1912000 | #Constraints: 48170
2796.65/2804.82 c #Conflicts: 1913000 | #Constraints: 49170
2796.65/2804.82 c #Conflicts: 1914000 | #Constraints: 50170
2796.65/2804.82 c #Conflicts: 1915000 | #Constraints: 51170
2796.65/2804.82 c #Conflicts: 1916000 | #Constraints: 52170
2796.65/2804.82 c #Conflicts: 1917000 | #Constraints: 53170
2796.65/2804.82 c #Conflicts: 1918000 | #Constraints: 54170
2796.65/2804.82 c #Conflicts: 1919000 | #Constraints: 55170
2796.65/2804.82 c #Conflicts: 1920000 | #Constraints: 56170
2796.65/2804.82 c #Conflicts: 1921000 | #Constraints: 57170
2796.65/2804.82 c #Conflicts: 1922000 | #Constraints: 58170
2796.65/2804.82 c #Conflicts: 1923000 | #Constraints: 59170
2796.65/2804.82 c #Conflicts: 1924000 | #Constraints: 60170
2796.65/2804.82 c #Conflicts: 1925000 | #Constraints: 61170
2796.65/2804.82 c #Conflicts: 1926000 | #Constraints: 62170
2796.65/2804.82 c #Conflicts: 1927000 | #Constraints: 63170
2796.65/2804.82 c #Conflicts: 1928000 | #Constraints: 64170
2796.65/2804.82 c #Conflicts: 1929000 | #Constraints: 65170
2796.65/2804.82 c #Conflicts: 1930000 | #Constraints: 66170
2796.65/2804.82 c #Conflicts: 1931000 | #Constraints: 67170
2796.65/2804.82 c #Conflicts: 1932000 | #Constraints: 68170
2796.65/2804.82 c #Conflicts: 1933000 | #Constraints: 69170
2796.65/2804.82 c #Conflicts: 1934000 | #Constraints: 70170
2796.65/2804.82 c #Conflicts: 1935000 | #Constraints: 71170
2796.65/2804.82 c #Conflicts: 1936000 | #Constraints: 72170
2796.65/2804.82 c #Conflicts: 1937000 | #Constraints: 73170
2796.65/2804.82 c INPROCESSING
2796.65/2804.82 c GARBAGE COLLECT
2796.65/2804.82 c #Conflicts: 1938000 | #Constraints: 46576
2796.65/2804.82 c #Conflicts: 1939000 | #Constraints: 47576
2796.65/2804.82 c #Conflicts: 1940000 | #Constraints: 48576
2796.65/2804.82 c #Conflicts: 1941000 | #Constraints: 49576
2796.65/2804.82 c #Conflicts: 1942000 | #Constraints: 50576
2796.65/2804.82 c #Conflicts: 1943000 | #Constraints: 51576
2796.65/2804.82 c #Conflicts: 1944000 | #Constraints: 52576
2796.65/2804.82 c #Conflicts: 1945000 | #Constraints: 53576
2796.65/2804.82 c #Conflicts: 1946000 | #Constraints: 54576
2796.65/2804.82 c #Conflicts: 1947000 | #Constraints: 55576
2796.65/2804.82 c #Conflicts: 1948000 | #Constraints: 56576
2796.65/2804.82 c #Conflicts: 1949000 | #Constraints: 57576
2796.65/2804.82 c #Conflicts: 1950000 | #Constraints: 58576
2796.65/2804.82 c #Conflicts: 1951000 | #Constraints: 59576
2796.65/2804.82 c #Conflicts: 1952000 | #Constraints: 60576
2796.65/2804.82 c #Conflicts: 1953000 | #Constraints: 61576
2796.65/2804.82 c #Conflicts: 1954000 | #Constraints: 62576
2796.65/2804.82 c #Conflicts: 1955000 | #Constraints: 63576
2796.65/2804.82 c #Conflicts: 1956000 | #Constraints: 64576
2796.65/2804.82 c #Conflicts: 1957000 | #Constraints: 65576
2796.65/2804.82 c #Conflicts: 1958000 | #Constraints: 66576
2796.65/2804.82 c #Conflicts: 1959000 | #Constraints: 67576
2796.65/2804.82 c #Conflicts: 1960000 | #Constraints: 68576
2941.00/2949.56 c #Conflicts: 1961000 | #Constraints: 69576
2941.00/2949.56 c #Conflicts: 1962000 | #Constraints: 70576
2941.00/2949.56 c #Conflicts: 1963000 | #Constraints: 71576
2941.00/2949.56 c #Conflicts: 1964000 | #Constraints: 72576
2941.00/2949.56 c #Conflicts: 1965000 | #Constraints: 73576
2941.00/2949.56 c INPROCESSING
2941.00/2949.56 c GARBAGE COLLECT
2941.00/2949.56 c #Conflicts: 1966000 | #Constraints: 46784
2941.00/2949.56 c #Conflicts: 1967000 | #Constraints: 47784
2941.00/2949.56 c #Conflicts: 1968000 | #Constraints: 48784
2941.00/2949.56 c #Conflicts: 1969000 | #Constraints: 49784
2941.00/2949.56 c #Conflicts: 1970000 | #Constraints: 50784
2941.00/2949.56 c #Conflicts: 1971000 | #Constraints: 51784
2941.00/2949.56 c #Conflicts: 1972000 | #Constraints: 52784
2941.00/2949.56 c #Conflicts: 1973000 | #Constraints: 53784
2941.00/2949.56 c #Conflicts: 1974000 | #Constraints: 54784
2941.00/2949.56 c #Conflicts: 1975000 | #Constraints: 55784
2941.00/2949.56 c #Conflicts: 1976000 | #Constraints: 56784
2941.00/2949.56 c #Conflicts: 1977000 | #Constraints: 57784
2941.00/2949.56 c #Conflicts: 1978000 | #Constraints: 58784
2941.00/2949.56 c #Conflicts: 1979000 | #Constraints: 59784
2941.00/2949.56 c #Conflicts: 1980000 | #Constraints: 60784
2941.00/2949.56 c #Conflicts: 1981000 | #Constraints: 61784
2941.00/2949.56 c #Conflicts: 1982000 | #Constraints: 62784
2941.00/2949.56 c #Conflicts: 1983000 | #Constraints: 63784
2941.00/2949.56 c #Conflicts: 1984000 | #Constraints: 64784
2941.00/2949.56 c #Conflicts: 1985000 | #Constraints: 65784
2941.00/2949.56 c #Conflicts: 1986000 | #Constraints: 66784
2941.00/2949.56 c #Conflicts: 1987000 | #Constraints: 67784
2941.00/2949.56 c #Conflicts: 1988000 | #Constraints: 68784
2941.00/2949.56 c #Conflicts: 1989000 | #Constraints: 69784
2941.00/2949.56 c #Conflicts: 1990000 | #Constraints: 70784
2941.00/2949.56 c #Conflicts: 1991000 | #Constraints: 71784
2941.00/2949.56 c #Conflicts: 1992000 | #Constraints: 72784
2941.00/2949.56 c #Conflicts: 1993000 | #Constraints: 73784
2941.00/2949.56 c INPROCESSING
2941.00/2949.56 c GARBAGE COLLECT
2941.00/2949.56 c #Conflicts: 1994000 | #Constraints: 46770
2941.00/2949.56 c #Conflicts: 1995000 | #Constraints: 47770
2941.00/2949.56 c #Conflicts: 1996000 | #Constraints: 48770
2941.00/2949.56 c #Conflicts: 1997000 | #Constraints: 49770
2941.00/2949.56 c #Conflicts: 1998000 | #Constraints: 50770
2941.00/2949.56 c #Conflicts: 1999000 | #Constraints: 51770
2941.00/2949.56 c #Conflicts: 2000000 | #Constraints: 52770
2941.00/2949.56 c #Conflicts: 2001000 | #Constraints: 53770
2941.00/2949.56 c #Conflicts: 2002000 | #Constraints: 54770
2941.00/2949.56 c #Conflicts: 2003000 | #Constraints: 55770
2941.00/2949.56 c #Conflicts: 2004000 | #Constraints: 56770
2941.00/2949.56 c #Conflicts: 2005000 | #Constraints: 57770
2941.00/2949.56 c #Conflicts: 2006000 | #Constraints: 58770
2941.00/2949.56 c #Conflicts: 2007000 | #Constraints: 59770
2941.00/2949.56 c #Conflicts: 2008000 | #Constraints: 60770
2941.00/2949.56 c #Conflicts: 2009000 | #Constraints: 61770
2941.00/2949.56 c #Conflicts: 2010000 | #Constraints: 62770
2941.00/2949.56 c #Conflicts: 2011000 | #Constraints: 63770
2941.00/2949.56 c #Conflicts: 2012000 | #Constraints: 64770
2941.00/2949.56 c #Conflicts: 2013000 | #Constraints: 65770
2941.00/2949.56 c #Conflicts: 2014000 | #Constraints: 66770
2941.00/2949.56 c #Conflicts: 2015000 | #Constraints: 67770
2941.00/2949.56 c #Conflicts: 2016000 | #Constraints: 68770
2941.00/2949.56 c #Conflicts: 2017000 | #Constraints: 69770
2941.00/2949.56 c #Conflicts: 2018000 | #Constraints: 70770
2941.00/2949.56 c #Conflicts: 2019000 | #Constraints: 71770
2941.00/2949.56 c #Conflicts: 2020000 | #Constraints: 72770
2941.00/2949.56 c #Conflicts: 2021000 | #Constraints: 73770
2941.00/2949.56 c INPROCESSING
2941.00/2949.56 c GARBAGE COLLECT
2941.00/2949.56 c #Conflicts: 2022000 | #Constraints: 46564
2941.00/2949.56 c #Conflicts: 2023000 | #Constraints: 47564
2941.00/2949.56 c #Conflicts: 2024000 | #Constraints: 48564
2941.00/2949.56 c #Conflicts: 2025000 | #Constraints: 49564
2941.00/2949.56 c #Conflicts: 2026000 | #Constraints: 50564
2941.00/2949.56 c #Conflicts: 2027000 | #Constraints: 51564
2941.00/2949.56 c #Conflicts: 2028000 | #Constraints: 52564
2941.00/2949.56 c #Conflicts: 2029000 | #Constraints: 53564
2941.00/2949.56 c #Conflicts: 2030000 | #Constraints: 54564
2941.00/2949.56 c #Conflicts: 2031000 | #Constraints: 55564
2941.00/2949.56 c #Conflicts: 2032000 | #Constraints: 56564
2941.00/2949.56 c #Conflicts: 2033000 | #Constraints: 57564
2941.00/2949.56 c #Conflicts: 2034000 | #Constraints: 58564
2941.00/2949.56 c #Conflicts: 2035000 | #Constraints: 59564
2941.00/2949.56 c #Conflicts: 2036000 | #Constraints: 60564
2941.00/2949.56 c #Conflicts: 2037000 | #Constraints: 61564
3081.17/3090.05 c #Conflicts: 2038000 | #Constraints: 62564
3081.17/3090.05 c #Conflicts: 2039000 | #Constraints: 63564
3081.17/3090.05 c #Conflicts: 2040000 | #Constraints: 64564
3081.17/3090.05 c #Conflicts: 2041000 | #Constraints: 65564
3081.17/3090.05 c #Conflicts: 2042000 | #Constraints: 66564
3081.17/3090.05 c #Conflicts: 2043000 | #Constraints: 67564
3081.17/3090.05 c #Conflicts: 2044000 | #Constraints: 68564
3081.17/3090.05 c #Conflicts: 2045000 | #Constraints: 69564
3081.17/3090.05 c #Conflicts: 2046000 | #Constraints: 70564
3081.17/3090.05 c #Conflicts: 2047000 | #Constraints: 71564
3081.17/3090.05 c #Conflicts: 2048000 | #Constraints: 72564
3081.17/3090.05 c #Conflicts: 2049000 | #Constraints: 73564
3081.17/3090.05 c #Conflicts: 2050000 | #Constraints: 74564
3081.17/3090.05 c INPROCESSING
3081.17/3090.05 c GARBAGE COLLECT
3081.17/3090.05 c #Conflicts: 2051000 | #Constraints: 47156
3081.17/3090.05 c #Conflicts: 2052000 | #Constraints: 48156
3081.17/3090.05 c #Conflicts: 2053000 | #Constraints: 49156
3081.17/3090.05 c #Conflicts: 2054000 | #Constraints: 50156
3081.17/3090.05 c #Conflicts: 2055000 | #Constraints: 51156
3081.17/3090.05 c #Conflicts: 2056000 | #Constraints: 52156
3081.17/3090.05 c #Conflicts: 2057000 | #Constraints: 53156
3081.17/3090.05 c #Conflicts: 2058000 | #Constraints: 54156
3081.17/3090.05 c #Conflicts: 2059000 | #Constraints: 55156
3081.17/3090.05 c #Conflicts: 2060000 | #Constraints: 56156
3081.17/3090.05 c #Conflicts: 2061000 | #Constraints: 57156
3081.17/3090.05 c #Conflicts: 2062000 | #Constraints: 58156
3081.17/3090.05 c #Conflicts: 2063000 | #Constraints: 59156
3081.17/3090.05 c #Conflicts: 2064000 | #Constraints: 60156
3081.17/3090.05 c #Conflicts: 2065000 | #Constraints: 61156
3081.17/3090.05 c #Conflicts: 2066000 | #Constraints: 62156
3081.17/3090.05 c #Conflicts: 2067000 | #Constraints: 63156
3081.17/3090.05 c #Conflicts: 2068000 | #Constraints: 64156
3081.17/3090.05 c #Conflicts: 2069000 | #Constraints: 65156
3081.17/3090.05 c #Conflicts: 2070000 | #Constraints: 66156
3081.17/3090.05 c #Conflicts: 2071000 | #Constraints: 67156
3081.17/3090.05 c #Conflicts: 2072000 | #Constraints: 68156
3081.17/3090.05 c #Conflicts: 2073000 | #Constraints: 69156
3081.17/3090.05 c #Conflicts: 2074000 | #Constraints: 70156
3081.17/3090.05 c #Conflicts: 2075000 | #Constraints: 71156
3081.17/3090.05 c #Conflicts: 2076000 | #Constraints: 72156
3081.17/3090.05 c #Conflicts: 2077000 | #Constraints: 73156
3081.17/3090.05 c #Conflicts: 2078000 | #Constraints: 74156
3081.17/3090.05 c #Conflicts: 2079000 | #Constraints: 75156
3081.17/3090.05 c INPROCESSING
3081.17/3090.05 c GARBAGE COLLECT
3081.17/3090.05 c #Conflicts: 2080000 | #Constraints: 47560
3081.17/3090.05 c #Conflicts: 2081000 | #Constraints: 48560
3081.17/3090.05 c #Conflicts: 2082000 | #Constraints: 49560
3081.17/3090.05 c #Conflicts: 2083000 | #Constraints: 50560
3081.17/3090.05 c #Conflicts: 2084000 | #Constraints: 51560
3081.17/3090.05 c #Conflicts: 2085000 | #Constraints: 52560
3081.17/3090.05 c #Conflicts: 2086000 | #Constraints: 53560
3081.17/3090.05 c #Conflicts: 2087000 | #Constraints: 54560
3081.17/3090.05 c #Conflicts: 2088000 | #Constraints: 55560
3081.17/3090.05 c #Conflicts: 2089000 | #Constraints: 56560
3081.17/3090.05 c #Conflicts: 2090000 | #Constraints: 57560
3081.17/3090.05 c #Conflicts: 2091000 | #Constraints: 58560
3081.17/3090.05 c #Conflicts: 2092000 | #Constraints: 59560
3081.17/3090.05 c #Conflicts: 2093000 | #Constraints: 60560
3081.17/3090.05 c #Conflicts: 2094000 | #Constraints: 61560
3081.17/3090.05 c #Conflicts: 2095000 | #Constraints: 62560
3081.17/3090.05 c #Conflicts: 2096000 | #Constraints: 63560
3081.17/3090.05 c #Conflicts: 2097000 | #Constraints: 64560
3081.17/3090.05 c #Conflicts: 2098000 | #Constraints: 65560
3081.17/3090.05 c #Conflicts: 2099000 | #Constraints: 66560
3081.17/3090.05 c #Conflicts: 2100000 | #Constraints: 67560
3081.17/3090.05 c #Conflicts: 2101000 | #Constraints: 68560
3081.17/3090.05 c #Conflicts: 2102000 | #Constraints: 69560
3081.17/3090.05 c #Conflicts: 2103000 | #Constraints: 70560
3081.17/3090.05 c #Conflicts: 2104000 | #Constraints: 71560
3081.17/3090.05 c #Conflicts: 2105000 | #Constraints: 72560
3081.17/3090.05 c #Conflicts: 2106000 | #Constraints: 73560
3081.17/3090.05 c #Conflicts: 2107000 | #Constraints: 74560
3081.17/3090.05 c #Conflicts: 2108000 | #Constraints: 75560
3081.17/3090.05 c INPROCESSING
3081.17/3090.05 c GARBAGE COLLECT
3081.17/3090.05 c #Conflicts: 2109000 | #Constraints: 47762
3081.17/3090.05 c #Conflicts: 2110000 | #Constraints: 48762
3081.17/3090.05 c #Conflicts: 2111000 | #Constraints: 49762
3081.17/3090.05 c #Conflicts: 2112000 | #Constraints: 50762
3081.17/3090.05 c #Conflicts: 2113000 | #Constraints: 51762
3081.17/3090.05 c #Conflicts: 2114000 | #Constraints: 52762
3206.57/3215.78 c #Conflicts: 2115000 | #Constraints: 53762
3206.57/3215.78 c #Conflicts: 2116000 | #Constraints: 54762
3206.57/3215.78 c #Conflicts: 2117000 | #Constraints: 55762
3206.57/3215.78 c #Conflicts: 2118000 | #Constraints: 56762
3206.57/3215.78 c #Conflicts: 2119000 | #Constraints: 57762
3206.57/3215.78 c #Conflicts: 2120000 | #Constraints: 58762
3206.57/3215.78 c #Conflicts: 2121000 | #Constraints: 59762
3206.57/3215.78 c #Conflicts: 2122000 | #Constraints: 60762
3206.57/3215.78 c #Conflicts: 2123000 | #Constraints: 61762
3206.57/3215.78 c #Conflicts: 2124000 | #Constraints: 62762
3206.57/3215.78 c #Conflicts: 2125000 | #Constraints: 63762
3206.57/3215.78 c #Conflicts: 2126000 | #Constraints: 64762
3206.57/3215.78 c #Conflicts: 2127000 | #Constraints: 65762
3206.57/3215.78 c #Conflicts: 2128000 | #Constraints: 66762
3206.57/3215.78 c #Conflicts: 2129000 | #Constraints: 67762
3206.57/3215.78 c #Conflicts: 2130000 | #Constraints: 68762
3206.57/3215.78 c #Conflicts: 2131000 | #Constraints: 69762
3206.57/3215.78 c #Conflicts: 2132000 | #Constraints: 70762
3206.57/3215.78 c #Conflicts: 2133000 | #Constraints: 71762
3206.57/3215.78 c #Conflicts: 2134000 | #Constraints: 72762
3206.57/3215.78 c #Conflicts: 2135000 | #Constraints: 73762
3206.57/3215.78 c #Conflicts: 2136000 | #Constraints: 74762
3206.57/3215.78 c #Conflicts: 2137000 | #Constraints: 75762
3206.57/3215.78 c INPROCESSING
3206.57/3215.78 c GARBAGE COLLECT
3206.57/3215.78 c #Conflicts: 2138000 | #Constraints: 47764
3206.57/3215.78 c #Conflicts: 2139000 | #Constraints: 48764
3206.57/3215.78 c #Conflicts: 2140000 | #Constraints: 49764
3206.57/3215.78 c #Conflicts: 2141000 | #Constraints: 50764
3206.57/3215.78 c #Conflicts: 2142000 | #Constraints: 51764
3206.57/3215.78 c #Conflicts: 2143000 | #Constraints: 52764
3206.57/3215.78 c #Conflicts: 2144000 | #Constraints: 53764
3206.57/3215.78 c #Conflicts: 2145000 | #Constraints: 54764
3206.57/3215.78 c #Conflicts: 2146000 | #Constraints: 55764
3206.57/3215.78 c #Conflicts: 2147000 | #Constraints: 56764
3206.57/3215.78 c #Conflicts: 2148000 | #Constraints: 57764
3206.57/3215.78 c #Conflicts: 2149000 | #Constraints: 58764
3206.57/3215.78 c #Conflicts: 2150000 | #Constraints: 59764
3206.57/3215.78 c #Conflicts: 2151000 | #Constraints: 60764
3206.57/3215.78 c #Conflicts: 2152000 | #Constraints: 61764
3206.57/3215.78 c #Conflicts: 2153000 | #Constraints: 62764
3206.57/3215.78 c #Conflicts: 2154000 | #Constraints: 63764
3206.57/3215.78 c #Conflicts: 2155000 | #Constraints: 64764
3206.57/3215.78 c #Conflicts: 2156000 | #Constraints: 65764
3206.57/3215.78 c #Conflicts: 2157000 | #Constraints: 66764
3206.57/3215.78 c #Conflicts: 2158000 | #Constraints: 67764
3206.57/3215.78 c #Conflicts: 2159000 | #Constraints: 68764
3206.57/3215.78 c #Conflicts: 2160000 | #Constraints: 69764
3206.57/3215.78 c #Conflicts: 2161000 | #Constraints: 70764
3206.57/3215.78 c #Conflicts: 2162000 | #Constraints: 71764
3206.57/3215.78 c #Conflicts: 2163000 | #Constraints: 72764
3206.57/3215.78 c #Conflicts: 2164000 | #Constraints: 73764
3206.57/3215.78 c #Conflicts: 2165000 | #Constraints: 74764
3206.57/3215.78 c #Conflicts: 2166000 | #Constraints: 75764
3206.57/3215.78 c INPROCESSING
3206.57/3215.78 c GARBAGE COLLECT
3206.57/3215.78 c #Conflicts: 2167000 | #Constraints: 47568
3206.57/3215.78 c #Conflicts: 2168000 | #Constraints: 48568
3206.57/3215.78 c #Conflicts: 2169000 | #Constraints: 49568
3206.57/3215.78 c #Conflicts: 2170000 | #Constraints: 50568
3206.57/3215.78 c #Conflicts: 2171000 | #Constraints: 51568
3206.57/3215.78 c #Conflicts: 2172000 | #Constraints: 52568
3206.57/3215.78 c #Conflicts: 2173000 | #Constraints: 53568
3206.57/3215.78 c #Conflicts: 2174000 | #Constraints: 54568
3206.57/3215.78 c #Conflicts: 2175000 | #Constraints: 55568
3206.57/3215.78 c #Conflicts: 2176000 | #Constraints: 56568
3206.57/3215.78 c #Conflicts: 2177000 | #Constraints: 57568
3206.57/3215.78 c #Conflicts: 2178000 | #Constraints: 58568
3206.57/3215.78 c #Conflicts: 2179000 | #Constraints: 59568
3206.57/3215.78 c #Conflicts: 2180000 | #Constraints: 60568
3206.57/3215.78 c #Conflicts: 2181000 | #Constraints: 61568
3206.57/3215.78 c #Conflicts: 2182000 | #Constraints: 62568
3206.57/3215.78 c #Conflicts: 2183000 | #Constraints: 63568
3206.57/3215.78 c #Conflicts: 2184000 | #Constraints: 64568
3206.57/3215.78 c #Conflicts: 2185000 | #Constraints: 65568
3206.57/3215.78 c #Conflicts: 2186000 | #Constraints: 66568
3206.57/3215.78 c #Conflicts: 2187000 | #Constraints: 67568
3206.57/3215.78 c #Conflicts: 2188000 | #Constraints: 68568
3206.57/3215.78 c #Conflicts: 2189000 | #Constraints: 69568
3206.57/3215.78 c #Conflicts: 2190000 | #Constraints: 70568
3206.57/3215.78 c #Conflicts: 2191000 | #Constraints: 71568
3348.83/3358.40 c #Conflicts: 2192000 | #Constraints: 72568
3348.83/3358.40 c #Conflicts: 2193000 | #Constraints: 73568
3348.83/3358.40 c #Conflicts: 2194000 | #Constraints: 74568
3348.83/3358.40 c #Conflicts: 2195000 | #Constraints: 75568
3348.83/3358.40 c #Conflicts: 2196000 | #Constraints: 76568
3348.83/3358.40 c INPROCESSING
3348.83/3358.40 c GARBAGE COLLECT
3348.83/3358.40 c #Conflicts: 2197000 | #Constraints: 48168
3348.83/3358.40 c #Conflicts: 2198000 | #Constraints: 49168
3348.83/3358.40 c #Conflicts: 2199000 | #Constraints: 50168
3348.83/3358.40 c #Conflicts: 2200000 | #Constraints: 51168
3348.83/3358.40 c #Conflicts: 2201000 | #Constraints: 52168
3348.83/3358.40 c #Conflicts: 2202000 | #Constraints: 53168
3348.83/3358.40 c #Conflicts: 2203000 | #Constraints: 54168
3348.83/3358.40 c #Conflicts: 2204000 | #Constraints: 55168
3348.83/3358.40 c #Conflicts: 2205000 | #Constraints: 56168
3348.83/3358.40 c #Conflicts: 2206000 | #Constraints: 57168
3348.83/3358.40 c #Conflicts: 2207000 | #Constraints: 58168
3348.83/3358.40 c #Conflicts: 2208000 | #Constraints: 59168
3348.83/3358.40 c #Conflicts: 2209000 | #Constraints: 60168
3348.83/3358.40 c #Conflicts: 2210000 | #Constraints: 61168
3348.83/3358.40 c #Conflicts: 2211000 | #Constraints: 62168
3348.83/3358.40 c #Conflicts: 2212000 | #Constraints: 63168
3348.83/3358.40 c #Conflicts: 2213000 | #Constraints: 64168
3348.83/3358.40 c #Conflicts: 2214000 | #Constraints: 65168
3348.83/3358.40 c #Conflicts: 2215000 | #Constraints: 66168
3348.83/3358.40 c #Conflicts: 2216000 | #Constraints: 67168
3348.83/3358.40 c #Conflicts: 2217000 | #Constraints: 68168
3348.83/3358.40 c #Conflicts: 2218000 | #Constraints: 69168
3348.83/3358.40 c #Conflicts: 2219000 | #Constraints: 70168
3348.83/3358.40 c #Conflicts: 2220000 | #Constraints: 71168
3348.83/3358.40 c #Conflicts: 2221000 | #Constraints: 72168
3348.83/3358.40 c #Conflicts: 2222000 | #Constraints: 73168
3348.83/3358.40 c #Conflicts: 2223000 | #Constraints: 74168
3348.83/3358.40 c #Conflicts: 2224000 | #Constraints: 75168
3348.83/3358.40 c #Conflicts: 2225000 | #Constraints: 76168
3348.83/3358.40 c #Conflicts: 2226000 | #Constraints: 77168
3348.83/3358.40 c INPROCESSING
3348.83/3358.40 c GARBAGE COLLECT
3348.83/3358.40 c #Conflicts: 2227000 | #Constraints: 48570
3348.83/3358.40 c #Conflicts: 2228000 | #Constraints: 49570
3348.83/3358.40 c #Conflicts: 2229000 | #Constraints: 50570
3348.83/3358.40 c #Conflicts: 2230000 | #Constraints: 51570
3348.83/3358.40 c #Conflicts: 2231000 | #Constraints: 52570
3348.83/3358.40 c #Conflicts: 2232000 | #Constraints: 53570
3348.83/3358.40 c #Conflicts: 2233000 | #Constraints: 54570
3348.83/3358.40 c #Conflicts: 2234000 | #Constraints: 55570
3348.83/3358.40 c #Conflicts: 2235000 | #Constraints: 56570
3348.83/3358.40 c #Conflicts: 2236000 | #Constraints: 57570
3348.83/3358.40 c #Conflicts: 2237000 | #Constraints: 58570
3348.83/3358.40 c #Conflicts: 2238000 | #Constraints: 59570
3348.83/3358.40 c #Conflicts: 2239000 | #Constraints: 60570
3348.83/3358.40 c #Conflicts: 2240000 | #Constraints: 61570
3348.83/3358.40 c #Conflicts: 2241000 | #Constraints: 62570
3348.83/3358.40 c #Conflicts: 2242000 | #Constraints: 63570
3348.83/3358.40 c #Conflicts: 2243000 | #Constraints: 64570
3348.83/3358.40 c #Conflicts: 2244000 | #Constraints: 65570
3348.83/3358.40 c #Conflicts: 2245000 | #Constraints: 66570
3348.83/3358.40 c #Conflicts: 2246000 | #Constraints: 67570
3348.83/3358.40 c #Conflicts: 2247000 | #Constraints: 68570
3348.83/3358.40 c #Conflicts: 2248000 | #Constraints: 69570
3348.83/3358.40 c #Conflicts: 2249000 | #Constraints: 70570
3348.83/3358.40 c #Conflicts: 2250000 | #Constraints: 71570
3348.83/3358.40 c #Conflicts: 2251000 | #Constraints: 72570
3348.83/3358.40 c #Conflicts: 2252000 | #Constraints: 73570
3348.83/3358.40 c #Conflicts: 2253000 | #Constraints: 74570
3348.83/3358.40 c #Conflicts: 2254000 | #Constraints: 75570
3348.83/3358.40 c #Conflicts: 2255000 | #Constraints: 76570
3348.83/3358.40 c #Conflicts: 2256000 | #Constraints: 77570
3348.83/3358.40 c INPROCESSING
3348.83/3358.40 c GARBAGE COLLECT
3348.83/3358.40 c #Conflicts: 2257000 | #Constraints: 48764
3348.83/3358.40 c #Conflicts: 2258000 | #Constraints: 49764
3348.83/3358.40 c #Conflicts: 2259000 | #Constraints: 50764
3348.83/3358.40 c #Conflicts: 2260000 | #Constraints: 51764
3348.83/3358.40 c #Conflicts: 2261000 | #Constraints: 52764
3348.83/3358.40 c #Conflicts: 2262000 | #Constraints: 53764
3348.83/3358.40 c #Conflicts: 2263000 | #Constraints: 54764
3348.83/3358.40 c #Conflicts: 2264000 | #Constraints: 55764
3348.83/3358.40 c #Conflicts: 2265000 | #Constraints: 56764
3348.83/3358.40 c #Conflicts: 2266000 | #Constraints: 57764
3348.83/3358.40 c #Conflicts: 2267000 | #Constraints: 58764
3348.83/3358.40 c #Conflicts: 2268000 | #Constraints: 59764
3492.88/3502.79 c #Conflicts: 2269000 | #Constraints: 60764
3492.88/3502.79 c #Conflicts: 2270000 | #Constraints: 61764
3492.88/3502.79 c #Conflicts: 2271000 | #Constraints: 62764
3492.88/3502.79 c #Conflicts: 2272000 | #Constraints: 63764
3492.88/3502.79 c #Conflicts: 2273000 | #Constraints: 64764
3492.88/3502.79 c #Conflicts: 2274000 | #Constraints: 65764
3492.88/3502.79 c #Conflicts: 2275000 | #Constraints: 66764
3492.88/3502.79 c #Conflicts: 2276000 | #Constraints: 67764
3492.88/3502.79 c #Conflicts: 2277000 | #Constraints: 68764
3492.88/3502.79 c #Conflicts: 2278000 | #Constraints: 69764
3492.88/3502.79 c #Conflicts: 2279000 | #Constraints: 70764
3492.88/3502.79 c #Conflicts: 2280000 | #Constraints: 71764
3492.88/3502.79 c #Conflicts: 2281000 | #Constraints: 72764
3492.88/3502.79 c #Conflicts: 2282000 | #Constraints: 73764
3492.88/3502.79 c #Conflicts: 2283000 | #Constraints: 74764
3492.88/3502.79 c #Conflicts: 2284000 | #Constraints: 75764
3492.88/3502.79 c #Conflicts: 2285000 | #Constraints: 76764
3492.88/3502.79 c #Conflicts: 2286000 | #Constraints: 77764
3492.88/3502.79 c INPROCESSING
3492.88/3502.79 c GARBAGE COLLECT
3492.88/3502.79 c #Conflicts: 2287000 | #Constraints: 48767
3492.88/3502.79 c #Conflicts: 2288000 | #Constraints: 49767
3492.88/3502.79 c #Conflicts: 2289000 | #Constraints: 50767
3492.88/3502.79 c #Conflicts: 2290000 | #Constraints: 51767
3492.88/3502.79 c #Conflicts: 2291000 | #Constraints: 52767
3492.88/3502.79 c #Conflicts: 2292000 | #Constraints: 53767
3492.88/3502.79 c #Conflicts: 2293000 | #Constraints: 54767
3492.88/3502.79 c #Conflicts: 2294000 | #Constraints: 55767
3492.88/3502.79 c #Conflicts: 2295000 | #Constraints: 56767
3492.88/3502.79 c #Conflicts: 2296000 | #Constraints: 57767
3492.88/3502.79 c #Conflicts: 2297000 | #Constraints: 58767
3492.88/3502.79 c #Conflicts: 2298000 | #Constraints: 59767
3492.88/3502.79 c #Conflicts: 2299000 | #Constraints: 60767
3492.88/3502.79 c #Conflicts: 2300000 | #Constraints: 61767
3492.88/3502.79 c #Conflicts: 2301000 | #Constraints: 62767
3492.88/3502.79 c #Conflicts: 2302000 | #Constraints: 63767
3492.88/3502.79 c #Conflicts: 2303000 | #Constraints: 64767
3492.88/3502.79 c #Conflicts: 2304000 | #Constraints: 65767
3492.88/3502.79 c #Conflicts: 2305000 | #Constraints: 66767
3492.88/3502.79 c #Conflicts: 2306000 | #Constraints: 67767
3492.88/3502.79 c #Conflicts: 2307000 | #Constraints: 68767
3492.88/3502.79 c #Conflicts: 2308000 | #Constraints: 69767
3492.88/3502.79 c #Conflicts: 2309000 | #Constraints: 70767
3492.88/3502.79 c #Conflicts: 2310000 | #Constraints: 71767
3492.88/3502.79 c #Conflicts: 2311000 | #Constraints: 72767
3492.88/3502.79 c #Conflicts: 2312000 | #Constraints: 73767
3492.88/3502.79 c #Conflicts: 2313000 | #Constraints: 74767
3492.88/3502.79 c #Conflicts: 2314000 | #Constraints: 75767
3492.88/3502.79 c #Conflicts: 2315000 | #Constraints: 76767
3492.88/3502.79 c #Conflicts: 2316000 | #Constraints: 77767
3492.88/3502.79 c INPROCESSING
3492.88/3502.79 c GARBAGE COLLECT
3492.88/3502.79 c #Conflicts: 2317000 | #Constraints: 48569
3492.88/3502.79 c #Conflicts: 2318000 | #Constraints: 49569
3492.88/3502.79 c #Conflicts: 2319000 | #Constraints: 50569
3492.88/3502.79 c #Conflicts: 2320000 | #Constraints: 51569
3492.88/3502.79 c #Conflicts: 2321000 | #Constraints: 52569
3492.88/3502.79 c #Conflicts: 2322000 | #Constraints: 53569
3492.88/3502.79 c #Conflicts: 2323000 | #Constraints: 54569
3492.88/3502.79 c #Conflicts: 2324000 | #Constraints: 55569
3492.88/3502.79 c #Conflicts: 2325000 | #Constraints: 56569
3492.88/3502.79 c #Conflicts: 2326000 | #Constraints: 57569
3492.88/3502.79 c #Conflicts: 2327000 | #Constraints: 58569
3492.88/3502.79 c #Conflicts: 2328000 | #Constraints: 59569
3492.88/3502.79 c #Conflicts: 2329000 | #Constraints: 60569
3492.88/3502.79 c #Conflicts: 2330000 | #Constraints: 61569
3492.88/3502.79 c #Conflicts: 2331000 | #Constraints: 62569
3492.88/3502.79 c #Conflicts: 2332000 | #Constraints: 63569
3492.88/3502.79 c #Conflicts: 2333000 | #Constraints: 64569
3492.88/3502.79 c #Conflicts: 2334000 | #Constraints: 65569
3492.88/3502.79 c #Conflicts: 2335000 | #Constraints: 66569
3492.88/3502.79 c #Conflicts: 2336000 | #Constraints: 67569
3492.88/3502.79 c #Conflicts: 2337000 | #Constraints: 68569
3492.88/3502.79 c #Conflicts: 2338000 | #Constraints: 69569
3492.88/3502.79 c #Conflicts: 2339000 | #Constraints: 70569
3492.88/3502.79 c #Conflicts: 2340000 | #Constraints: 71569
3492.88/3502.79 c #Conflicts: 2341000 | #Constraints: 72569
3492.88/3502.79 c #Conflicts: 2342000 | #Constraints: 73569
3492.88/3502.79 c #Conflicts: 2343000 | #Constraints: 74569
3492.88/3502.79 c #Conflicts: 2344000 | #Constraints: 75569
3492.88/3502.79 c #Conflicts: 2345000 | #Constraints: 76569
3492.88/3502.79 c #Conflicts: 2346000 | #Constraints: 77569
3600.03/3610.11 c #Conflicts: 2347000 | #Constraints: 78569
3600.03/3610.11 c INPROCESSING
3600.03/3610.11 c GARBAGE COLLECT
3600.03/3610.11 c #Conflicts: 2348000 | #Constraints: 49170
3600.03/3610.11 c #Conflicts: 2349000 | #Constraints: 50170
3600.03/3610.11 c #Conflicts: 2350000 | #Constraints: 51170
3600.03/3610.11 c #Conflicts: 2351000 | #Constraints: 52170
3600.03/3610.11 c #Conflicts: 2352000 | #Constraints: 53170
3600.03/3610.11 c #Conflicts: 2353000 | #Constraints: 54170
3600.03/3610.11 c #Conflicts: 2354000 | #Constraints: 55170
3600.03/3610.11 c #Conflicts: 2355000 | #Constraints: 56170
3600.03/3610.11 c #Conflicts: 2356000 | #Constraints: 57170
3600.03/3610.11 c #Conflicts: 2357000 | #Constraints: 58170
3600.03/3610.11 c #Conflicts: 2358000 | #Constraints: 59170
3600.03/3610.11 c #Conflicts: 2359000 | #Constraints: 60170
3600.03/3610.11 c #Conflicts: 2360000 | #Constraints: 61170
3600.03/3610.11 c #Conflicts: 2361000 | #Constraints: 62170
3600.03/3610.11 c #Conflicts: 2362000 | #Constraints: 63170
3600.03/3610.11 c #Conflicts: 2363000 | #Constraints: 64170
3600.03/3610.11 c #Conflicts: 2364000 | #Constraints: 65170
3600.03/3610.11 c #Conflicts: 2365000 | #Constraints: 66170
3600.03/3610.11 c #Conflicts: 2366000 | #Constraints: 67170
3600.03/3610.11 c #Conflicts: 2367000 | #Constraints: 68170
3600.03/3610.11 c #Conflicts: 2368000 | #Constraints: 69170
3600.03/3610.11 c #Conflicts: 2369000 | #Constraints: 70170
3600.03/3610.11 c #Conflicts: 2370000 | #Constraints: 71170
3600.03/3610.11 c #Conflicts: 2371000 | #Constraints: 72170
3600.03/3610.11 c #Conflicts: 2372000 | #Constraints: 73170
3600.03/3610.11 c #Conflicts: 2373000 | #Constraints: 74170
3600.03/3610.11 c #Conflicts: 2374000 | #Constraints: 75170
3600.03/3610.11 c #Conflicts: 2375000 | #Constraints: 76170
3600.03/3610.11 c #Conflicts: 2376000 | #Constraints: 77170
3600.03/3610.11 c #Conflicts: 2377000 | #Constraints: 78170
3600.03/3610.11 c #Conflicts: 2378000 | #Constraints: 79170
3600.03/3610.11 c INPROCESSING
3600.03/3610.11 c GARBAGE COLLECT
3600.03/3610.11 c #Conflicts: 2379000 | #Constraints: 49563
3600.03/3610.11 c #Conflicts: 2380000 | #Constraints: 50563
3600.03/3610.11 c #Conflicts: 2381000 | #Constraints: 51563
3600.03/3610.11 c #Conflicts: 2382000 | #Constraints: 52563
3600.03/3610.11 c #Conflicts: 2383000 | #Constraints: 53563
3600.03/3610.11 c #Conflicts: 2384000 | #Constraints: 54563
3600.03/3610.11 c #Conflicts: 2385000 | #Constraints: 55563
3600.03/3610.11 c #Conflicts: 2386000 | #Constraints: 56563
3600.03/3610.11 c #Conflicts: 2387000 | #Constraints: 57563
3600.03/3610.11 c #Conflicts: 2388000 | #Constraints: 58563
3600.03/3610.11 c #Conflicts: 2389000 | #Constraints: 59563
3600.03/3610.11 c #Conflicts: 2390000 | #Constraints: 60563
3600.03/3610.11 c #Conflicts: 2391000 | #Constraints: 61563
3600.03/3610.11 c #Conflicts: 2392000 | #Constraints: 62563
3600.03/3610.11 c #Conflicts: 2393000 | #Constraints: 63563
3600.03/3610.11 c #Conflicts: 2394000 | #Constraints: 64563
3600.03/3610.11 c #Conflicts: 2395000 | #Constraints: 65563
3600.03/3610.11 c #Conflicts: 2396000 | #Constraints: 66563
3600.03/3610.11 c #Conflicts: 2397000 | #Constraints: 67563
3600.03/3610.11 c #Conflicts: 2398000 | #Constraints: 68563
3600.03/3610.11 c #Conflicts: 2399000 | #Constraints: 69563
3600.03/3610.11 c #Conflicts: 2400000 | #Constraints: 70563
3600.03/3610.11 c #Conflicts: 2401000 | #Constraints: 71563
3600.03/3610.11 c #Conflicts: 2402000 | #Constraints: 72563
3600.03/3610.11 c #Conflicts: 2403000 | #Constraints: 73563
3600.03/3610.11 c #Conflicts: 2404000 | #Constraints: 74563
3600.03/3610.11 c #Conflicts: 2405000 | #Constraints: 75563
3600.03/3610.11 c Program interrupted by user.
3600.03/3610.11 c cpu time 3590.67 s
3600.03/3610.11 c deterministic time 550708110102 5.51e+11
3600.03/3610.11 c optimization time 49.5192 s
3600.03/3610.11 c total solve time 3242.1 s
3600.03/3610.11 c core-guided solve time 3242.1 s
3600.03/3610.11 c propagation time 3167.58 s
3600.03/3610.11 c conflict analysis time 93.5766 s
3600.03/3610.11 c propagations 48361679
3600.03/3610.11 c resolve steps 16949143
3600.03/3610.11 c decisions 2917315
3600.03/3610.11 c conflicts 2405293
3600.03/3610.11 c restarts 4094
3600.03/3610.11 c inprocessing phases 145
3600.03/3610.11 c input clauses 17918
3600.03/3610.11 c input cardinalities 12
3600.03/3610.11 c input general constraints 0
3600.03/3610.11 c input average constraint length 2.32
3600.03/3610.11 c input average constraint degree 1.22
3600.03/3610.11 c learned clauses 1494535
3600.03/3610.11 c learned cardinalities 684480
3600.03/3610.11 c learned general constraints 226278
3600.03/3610.11 c learned average constraint length 408.22
3600.03/3610.11 c learned average constraint degree 7.88
3600.03/3610.11 c watched constraints 226278
3600.03/3610.11 c counting constraints 0
3600.03/3610.11 c gcd simplifications 145395
3600.03/3610.11 c detected cardinalities 27153
3600.03/3610.11 c weakened non-implied lits 22021396
3600.03/3610.11 c weakened non-implying lits 96833
3600.03/3610.11 c original variables 450
3600.03/3610.11 c clausal propagations 32886986
3600.03/3610.11 c cardinality propagations 8795049
3600.03/3610.11 c watched propagations 656969
3600.03/3610.11 c counting propagations 0
3600.03/3610.11 c watch lookups 39321466177
3600.03/3610.11 c watch backjump lookups 2461679
3600.03/3610.11 c watch checks 508820064673
3600.03/3610.11 c propagation checks 488641510
3600.03/3610.11 c constraint additions 1970513285
3600.03/3610.11 c trail pops 53683783
3600.03/3610.11 c formula constraints 17827
3600.03/3610.11 c learned constraints 2405293
3600.03/3610.11 c bound constraints 12
3600.03/3610.11 c core-guided constraints 91
3600.03/3610.11 c encountered formula constraints 14365997
3600.03/3610.11 c encountered learned constraints 4979002
3600.03/3610.11 c encountered bound constraints 1666
3600.03/3610.11 c encountered core-guided constraints 7771
3600.03/3610.11 c LP total time 0 s
3600.03/3610.11 c LP solve time 0 s
3600.03/3610.11 c LP constraints added 0
3600.03/3610.11 c LP constraints removed 0
3600.03/3610.11 c LP pivots internal 0
3600.03/3610.11 c LP pivots root 0
3600.03/3610.11 c LP calls 0
3600.03/3610.11 c LP optimalities 0
3600.03/3610.11 c LP no pivot count 0
3600.03/3610.11 c LP infeasibilities 0
3600.03/3610.11 c LP valid Farkas constraints 0
3600.03/3610.11 c LP learned Farkas constraints 0
3600.03/3610.11 c LP basis resets 0
3600.03/3610.11 c LP cycling count 0
3600.03/3610.11 c LP singular count 0
3600.03/3610.11 c LP no primal count 0
3600.03/3610.11 c LP no farkas count 0
3600.03/3610.11 c LP other issue count 0
3600.03/3610.11 c LP Gomory cuts 0
3600.03/3610.11 c LP learned cuts 0
3600.03/3610.11 c LP deleted cuts 0
3600.03/3610.11 c LP encountered Gomory constraints 0
3600.03/3610.11 c LP encountered Farkas constraints 0
3600.03/3610.11 c LP encountered learned Farkas constraints 0
3600.03/3610.11 c CG auxiliary variables introduced 91
3600.03/3610.11 c CG solutions found 0
3600.03/3610.11 c CG cores constructed 11
3600.03/3610.11 c CG core cardinality constraints returned 0
3600.03/3610.11 c CG unit cores 0
3600.03/3610.11 c CG single cores 11
3600.03/3610.11 c CG blocks removed during cardinality reduction 0
3600.03/3610.11 c CG first core best 0
3600.03/3610.11 c CG decision core best 0
3600.03/3610.11 c CG core reduction tie 0
3600.03/3610.11 c CG core degree average 1.00
3600.03/3610.11 c CG core slack average 7.09
3600.03/3610.11 c CG exhausted 0
3600.03/3610.11 c CG exhaust time 0 s
3600.03/3610.11 c CG trimmed 0
3600.03/3610.11 c CG trim time 8.8e-05 s
3600.03/3610.11 c CG minimized 0
3600.03/3610.11 c CG minimize time 0 s
3600.03/3610.11 c CG am1 prop time 0.001474 s
3600.03/3610.11 c CG # am1s reformulated 91
3600.03/3610.11 c CG lower bound derived from am1s 358
3600.03/3610.11 c CG # clausal cores 11
3600.03/3610.11 c CG # cardinality cores 0
3600.03/3610.11 c CG # pb cores 0
3600.03/3610.11 c CG # pb reforms 0
3600.03/3610.11 c CG # cores discarded because of pb reform 0
3600.03/3610.11 d LOWERBOUND -81
3600.03/3610.11 d NCORES 11
3600.03/3610.11 d NPBCORES 0
3600.03/3610.11 d NPBREFORM 0
3600.03/3610.11 d NTRIMMED 0
3600.03/3610.11 d NEXHAUSTED 0
3600.03/3610.11 d NAM1S 91
3600.03/3610.11 d AM1LB 358
3600.03/3610.11 c [Papilo Statistics]
3600.03/3610.11 c prepro time 0.0219547s
3600.03/3610.11 c # tsx applied 0
3600.03/3610.11 c # tsx conflicts 0
3600.03/3610.11 c # bound changes 0
3600.03/3610.11 c # side changes 0
3600.03/3610.11 c # coef changes 0
3600.03/3610.11 c # rounds 1
3600.03/3610.11 c # deted vars 0
3600.03/3610.11 c # deted constrs 0
3600.03/3610.11 c # consecutive rounds of only bound changes 0
3600.03/3610.11 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (61202 MiB free)
memory of node 1: 64473 MiB (59629 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435516-1721062525/watcher-4435516-1721062525 -o /tmp/evaluation-result-4435516-1721062525/solver-4435516-1721062525 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721058927-809296 --watchdog 3760 mixed-bag HOME/instance-4435516-1721062525.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=811380, runsolver pid=811377
[startup+0.100842 s]*
/proc/loadavg: 4.11 4.12 4.09 5/256 811381
/proc/meminfo: memFree=123698668/131524600 swapFree=131071996/131071996
[pid=811380] ppid=811377 vsize=114392 memory=46616 CPUtime=0.09 cores=1,3
/proc/811380/stat : 811380 (mixed-bag) R 811377 811380 809284 0 -1 4194304 9299 0 0 0 8 1 0 0 20 0 1 0 158417491 117137408 11654 134679101440 4194304 16487941 140726978041008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 36392960 140726978049047 140726978049124 140726978049124 140726978056139 0
/proc/811380/statm: 28598 11654 3819 3002 0 12349 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 114392 KiB
Current children cumulated memory: 46616 KiB
[startup+0.206062 s]*
/proc/loadavg: 4.11 4.12 4.09 6/256 811381
/proc/meminfo: memFree=123681532/131524600 swapFree=131071996/131071996
[pid=811380] ppid=811377 vsize=127476 memory=59316 CPUtime=0.19 cores=1,3
/proc/811380/stat : 811380 (mixed-bag) R 811377 811380 809284 0 -1 4194304 14112 0 0 0 17 2 0 0 20 0 1 0 158417491 130535424 14829 134679101440 4194304 16487941 140726978041008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 36392960 140726978049047 140726978049124 140726978049124 140726978056139 0
/proc/811380/statm: 31869 14829 3819 3002 0 15620 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 127476 KiB
Current children cumulated memory: 59316 KiB
[startup+0.306 s]*
/proc/loadavg: 4.11 4.12 4.09 5/256 811381
/proc/meminfo: memFree=123658148/131524600 swapFree=131071996/131071996
[pid=811380] ppid=811377 vsize=152572 memory=83220 CPUtime=0.29 cores=1,3
/proc/811380/stat : 811380 (mixed-bag) R 811377 811380 809284 0 -1 4194304 20786 0 0 0 26 3 0 0 20 0 1 0 158417491 156233728 20805 134679101440 4194304 16487941 140726978041008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 36392960 140726978049047 140726978049124 140726978049124 140726978056139 0
/proc/811380/statm: 38143 20805 4011 3002 0 21894 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 152572 KiB
Current children cumulated memory: 83220 KiB
[startup+0.700187 s]
/proc/loadavg: 4.11 4.12 4.09 5/256 811381
/proc/meminfo: memFree=123649612/131524600 swapFree=131071996/131071996
[pid=811380] ppid=811377 vsize=164672 memory=92524 CPUtime=0.68 cores=1,3
/proc/811380/stat : 811380 (mixed-bag) R 811377 811380 809284 0 -1 4194304 23145 0 0 0 64 4 0 0 20 0 1 0 158417491 168624128 23131 134679101440 4194304 16487941 140726978041008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 36392960 140726978049047 140726978049124 140726978049124 140726978056139 0
/proc/811380/statm: 41168 23131 4059 3002 0 24919 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 164672 KiB
Current children cumulated memory: 92524 KiB
[startup+1.50023 s]
/proc/loadavg: 4.11 4.12 4.09 5/256 811381
/proc/meminfo: memFree=123643380/131524600 swapFree=131071996/131071996
[pid=811380] ppid=811377 vsize=174608 memory=95956 CPUtime=1.48 cores=1,3
/proc/811380/stat : 811380 (mixed-bag) R 811377 811380 809284 0 -1 4194304 24018 0 0 0 144 4 0 0 20 0 1 0 158417491 178798592 23989 134679101440 4194304 16487941 140726978041008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 36392960 140726978049047 140726978049124 140726978049124 140726978056139 0
/proc/811380/statm: 43652 23989 4059 3002 0 27403 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 174608 KiB
Current children cumulated memory: 95956 KiB
[startup+3.10593 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 811381
/proc/meminfo: memFree=123635572/131524600 swapFree=131071996/131071996
[pid=811380] ppid=811377 vsize=181148 memory=97540 CPUtime=3.08 cores=1,3
/proc/811380/stat : 811380 (mixed-bag) R 811377 811380 809284 0 -1 4194304 24382 0 0 0 304 4 0 0 20 0 1 0 158417491 185495552 24385 134679101440 4194304 16487941 140726978041008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 36392960 140726978049047 140726978049124 140726978049124 140726978056139 0
/proc/811380/statm: 45287 24385 4059 3002 0 29038 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 181148 KiB
Current children cumulated memory: 97540 KiB
[startup+6.30022 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 811381
/proc/meminfo: memFree=123573692/131524600 swapFree=131071996/131071996
[pid=811380] ppid=811377 vsize=229048 memory=125316 CPUtime=6.26 cores=1,3
/proc/811380/stat : 811380 (mixed-bag) R 811377 811380 809284 0 -1 4194304 31299 0 0 0 621 5 0 0 20 0 1 0 158417491 234545152 31329 134679101440 4194304 16487941 140726978041008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 36392960 140726978049047 140726978049124 140726978049124 140726978056139 0
/proc/811380/statm: 57262 31329 4079 3002 0 41013 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 229048 KiB
Current children cumulated memory: 125316 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 811384
/proc/meminfo: memFree=123573196/131524600 swapFree=131071996/131071996
[pid=811380] ppid=811377 vsize=229048 memory=125316 CPUtime=12.65 cores=1,3
/proc/811380/stat : 811380 (mixed-bag) R 811377 811380 809284 0 -1 4194304 31327 0 0 0 1260 5 0 0 20 0 1 0 158417491 234545152 31329 134679101440 4194304 16487941 140726978041008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 36392960 140726978049047 140726978049124 140726978049124 140726978056139 0
/proc/811380/statm: 57262 31329 4079 3002 0 41013 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 229048 KiB
Current children cumulated memory: 125316 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.11 4.09 5/257 811385
/proc/meminfo: memFree=123563896/131524600 swapFree=131071996/131071996
[pid=811380] ppid=811377 vsize=237316 memory=125564 CPUtime=25.41 cores=1,3
/proc/811380/stat : 811380 (mixed-bag) R 811377 811380 809284 0 -1 4194304 31347 0 0 0 2536 5 0 0 20 0 1 0 158417491 243011584 31391 134679101440 4194304 16487941 140726978041008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 36392960 140726978049047 140726978049124 140726978049124 140726978056139 0
/proc/811380/statm: 59329 31391 4079 3002 0 43080 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 237316 KiB
Current children cumulated memory: 125564 KiB
[startup+51.106 s]
/proc/loadavg: 4.11 4.11 4.09 5/257 811390
/proc/meminfo: memFree=123472320/131524600 swapFree=131071996/131071996
[pid=811380] ppid=811377 vsize=278212 memory=155640 CPUtime=50.94 cores=1,3
/proc/811380/stat : 811380 (mixed-bag) R 811377 811380 809284 0 -1 4194304 38932 0 0 0 5086 8 0 0 20 0 1 0 158417491 284889088 38910 134679101440 4194304 16487941 140726978041008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 36392960 140726978049047 140726978049124 140726978049124 140726978056139 0
/proc/811380/statm: 69553 38910 4079 3002 0 53304 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 278212 KiB
Current children cumulated memory: 155640 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 811398
/proc/meminfo: memFree=123347552/131524600 swapFree=131071996/131071996
[pid=811380] ppid=811377 vsize=357068 memory=220752 CPUtime=101.99 cores=1,3
/proc/811380/stat : 811380 (mixed-bag) R 811377 811380 809284 0 -1 4194304 56835 0 0 0 10187 12 0 0 20 0 1 0 158417491 365637632 55188 134679101440 4194304 16487941 140726978041008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 36392960 140726978049047 140726978049124 140726978049124 140726978056139 0
/proc/811380/statm: 89267 55188 4220 3002 0 73018 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 357068 KiB
Current children cumulated memory: 220752 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 811577
/proc/meminfo: memFree=123235244/131524600 swapFree=131071996/131071996
[pid=811380] ppid=811377 vsize=415876 memory=274664 CPUtime=161.82 cores=1,3
/proc/811380/stat : 811380 (mixed-bag) R 811377 811380 809284 0 -1 4194304 73017 0 0 0 16167 15 0 0 20 0 1 0 158417491 425857024 68666 134679101440 4194304 16487941 140726978041008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 36392960 140726978049047 140726978049124 140726978049124 140726978056139 0
/proc/811380/statm: 103969 68666 4220 3002 0 87720 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 415876 KiB
Current children cumulated memory: 274664 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/257 811634
/proc/meminfo: memFree=123274084/131524600 swapFree=131071996/131071996
[pid=811380] ppid=811377 vsize=441076 memory=300056 CPUtime=221.64 cores=1,3
/proc/811380/stat : 811380 (mixed-bag) R 811377 811380 809284 0 -1 4194304 75821 0 0 0 22148 16 0 0 20 0 1 0 158417491 451661824 75014 134679101440 4194304 16487941 140726978041008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 36392960 140726978049047 140726978049124 140726978049124 140726978056139 0
/proc/811380/statm: 110269 75014 4220 3002 0 94020 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 441076 KiB
Current children cumulated memory: 300056 KiB
[startup+282.3 s]
/proc/loadavg: 4.35 4.16 4.11 5/258 811647
/proc/meminfo: memFree=123179956/131524600 swapFree=131071996/131071996
[pid=811380] ppid=811377 vsize=466004 memory=328908 CPUtime=281.46 cores=1,3
/proc/811380/stat : 811380 (mixed-bag) R 811377 811380 809284 0 -1 4194304 79016 0 0 0 28129 17 0 0 20 0 1 0 158417491 477188096 82227 134679101440 4194304 16487941 140726978041008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 36392960 140726978049047 140726978049124 140726978049124 140726978056139 0
/proc/811380/statm: 116501 82227 4220 3002 0 100252 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 466004 KiB
Current children cumulated memory: 328908 KiB
[startup+342.3 s]
/proc/loadavg: 4.28 4.17 4.11 5/256 811669
/proc/meminfo: memFree=123207504/131524600 swapFree=131071996/131071996
[pid=811380] ppid=811377 vsize=368244 memory=236884 CPUtime=341.29 cores=1,3
/proc/811380/stat : 811380 (mixed-bag) R 811377 811380 809284 0 -1 4194304 82827 0 0 0 34068 61 0 0 20 0 1 0 158417491 377081856 59221 134679101440 4194304 16487941 140726978041008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 36392960 140726978049047 140726978049124 140726978049124 140726978056139 0
/proc/811380/statm: 92061 59221 4347 3002 0 75812 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 368244 KiB
Current children cumulated memory: 236884 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/257 811725
/proc/meminfo: memFree=126864704/131524600 swapFree=131071996/131071996
[pid=811380] ppid=811377 vsize=387212 memory=245344 CPUtime=401.13 cores=1,3
/proc/811380/stat : 811380 (mixed-bag) R 811377 811380 809284 0 -1 4194304 83422 0 0 0 40011 102 0 0 20 0 1 0 158417491 396505088 61336 134679101440 4194304 16487941 140726978041008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 36392960 140726978049047 140726978049124 140726978049124 140726978056139 0
/proc/811380/statm: 96803 61336 4347 3002 0 80554 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 387212 KiB
Current children cumulated memory: 245344 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.12 4.10 5/256 811736
/proc/meminfo: memFree=126708508/131524600 swapFree=131071996/131071996
[pid=811380] ppid=811377 vsize=387212 memory=251488 CPUtime=460.96 cores=1,3
/proc/811380/stat : 811380 (mixed-bag) R 811377 811380 809284 0 -1 4194304 83426 0 0 0 45960 136 0 0 20 0 1 0 158417491 396505088 62872 134679101440 4194304 16487941 140726978041008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 36392960 140726978049047 140726978049124 140726978049124 140726978056139 0
/proc/811380/statm: 96803 62872 4347 3002 0 80554 0
################
# More data... #
################
Current children cumulated memory: 379040 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/256 812835
/proc/meminfo: memFree=126553272/131524600 swapFree=131071996/131071996
[pid=811380] ppid=811377 vsize=468120 memory=379040 CPUtime=2913.87 cores=1,3
/proc/811380/stat : 811380 (mixed-bag) R 811377 811380 809284 0 -1 4194304 88575 0 0 0 290582 805 0 0 20 0 1 0 158417491 479354880 94760 134679101440 4194304 16487941 140726978041008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 36392960 140726978049047 140726978049124 140726978049124 140726978056139 0
/proc/811380/statm: 117030 94760 4347 3002 0 100781 0
Current children cumulated CPU time: 2913.87 s
Current children cumulated vsize: 468120 KiB
Current children cumulated memory: 379040 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/254 812845
/proc/meminfo: memFree=126550664/131524600 swapFree=131071996/131071996
[pid=811380] ppid=811377 vsize=468120 memory=379040 CPUtime=2973.72 cores=1,3
/proc/811380/stat : 811380 (mixed-bag) R 811377 811380 809284 0 -1 4194304 88686 0 0 0 296556 816 0 0 20 0 1 0 158417491 479354880 94760 134679101440 4194304 16487941 140726978041008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 36392960 140726978049047 140726978049124 140726978049124 140726978056139 0
/proc/811380/statm: 117030 94760 4347 3002 0 100781 0
Current children cumulated CPU time: 2973.72 s
Current children cumulated vsize: 468120 KiB
Current children cumulated memory: 379040 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/254 812855
/proc/meminfo: memFree=126540084/131524600 swapFree=131071996/131071996
[pid=811380] ppid=811377 vsize=468120 memory=381088 CPUtime=3033.58 cores=1,3
/proc/811380/stat : 811380 (mixed-bag) R 811377 811380 809284 0 -1 4194304 88801 0 0 0 302531 827 0 0 20 0 1 0 158417491 479354880 95272 134679101440 4194304 16487941 140726978041008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 36392960 140726978049047 140726978049124 140726978049124 140726978056139 0
/proc/811380/statm: 117030 95272 4347 3002 0 100781 0
Current children cumulated CPU time: 3033.58 s
Current children cumulated vsize: 468120 KiB
Current children cumulated memory: 381088 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/254 812865
/proc/meminfo: memFree=126537084/131524600 swapFree=131071996/131071996
[pid=811380] ppid=811377 vsize=468120 memory=383136 CPUtime=3093.44 cores=1,3
/proc/811380/stat : 811380 (mixed-bag) R 811377 811380 809284 0 -1 4194304 88904 0 0 0 308505 839 0 0 20 0 1 0 158417491 479354880 95784 134679101440 4194304 16487941 140726978041008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 36392960 140726978049047 140726978049124 140726978049124 140726978056139 0
/proc/811380/statm: 117030 95784 4347 3002 0 100781 0
Current children cumulated CPU time: 3093.44 s
Current children cumulated vsize: 468120 KiB
Current children cumulated memory: 383136 KiB
[startup+3162.3 s]
/proc/loadavg: 4.60 4.26 4.14 5/254 812876
/proc/meminfo: memFree=126522220/131524600 swapFree=131071996/131071996
[pid=811380] ppid=811377 vsize=468120 memory=383136 CPUtime=3153.3 cores=1,3
/proc/811380/stat : 811380 (mixed-bag) R 811377 811380 809284 0 -1 4194304 89025 0 0 0 314480 850 0 0 20 0 1 0 158417491 479354880 95784 134679101440 4194304 16487941 140726978041008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 36392960 140726978049047 140726978049124 140726978049124 140726978056139 0
/proc/811380/statm: 117030 95784 4347 3002 0 100781 0
Current children cumulated CPU time: 3153.3 s
Current children cumulated vsize: 468120 KiB
Current children cumulated memory: 383136 KiB
[startup+3222.3 s]
/proc/loadavg: 4.52 4.30 4.16 5/254 812886
/proc/meminfo: memFree=126520560/131524600 swapFree=131071996/131071996
[pid=811380] ppid=811377 vsize=468120 memory=383136 CPUtime=3213.16 cores=1,3
/proc/811380/stat : 811380 (mixed-bag) R 811377 811380 809284 0 -1 4194304 89142 0 0 0 320454 862 0 0 20 0 1 0 158417491 479354880 95784 134679101440 4194304 16487941 140726978041008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 36392960 140726978049047 140726978049124 140726978049124 140726978056139 0
/proc/811380/statm: 117030 95784 4347 3002 0 100781 0
Current children cumulated CPU time: 3213.16 s
Current children cumulated vsize: 468120 KiB
Current children cumulated memory: 383136 KiB
[startup+3282.3 s]
/proc/loadavg: 4.42 4.31 4.17 5/256 812900
/proc/meminfo: memFree=126514716/131524600 swapFree=131071996/131071996
[pid=811380] ppid=811377 vsize=468120 memory=385184 CPUtime=3273.01 cores=1,3
/proc/811380/stat : 811380 (mixed-bag) R 811377 811380 809284 0 -1 4194304 89253 0 0 0 326430 871 0 0 20 0 1 0 158417491 479354880 96296 134679101440 4194304 16487941 140726978041008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 36392960 140726978049047 140726978049124 140726978049124 140726978056139 0
/proc/811380/statm: 117030 96296 4347 3002 0 100781 0
Current children cumulated CPU time: 3273.01 s
Current children cumulated vsize: 468120 KiB
Current children cumulated memory: 385184 KiB
[startup+3342.3 s]
/proc/loadavg: 4.20 4.27 4.17 5/256 812911
/proc/meminfo: memFree=126505280/131524600 swapFree=131071996/131071996
[pid=811380] ppid=811377 vsize=468120 memory=387232 CPUtime=3332.86 cores=1,3
/proc/811380/stat : 811380 (mixed-bag) R 811377 811380 809284 0 -1 4194304 89375 0 0 0 332404 882 0 0 20 0 1 0 158417491 479354880 96808 134679101440 4194304 16487941 140726978041008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 36392960 140726978049047 140726978049124 140726978049124 140726978056139 0
/proc/811380/statm: 117030 96808 4347 3002 0 100781 0
Current children cumulated CPU time: 3332.86 s
Current children cumulated vsize: 468120 KiB
Current children cumulated memory: 387232 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.25 4.17 5/256 812921
/proc/meminfo: memFree=126490760/131524600 swapFree=131071996/131071996
[pid=811380] ppid=811377 vsize=468120 memory=387232 CPUtime=3392.72 cores=1,3
/proc/811380/stat : 811380 (mixed-bag) R 811377 811380 809284 0 -1 4194304 89497 0 0 0 338377 895 0 0 20 0 1 0 158417491 479354880 96808 134679101440 4194304 16487941 140726978041008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 36392960 140726978049047 140726978049124 140726978049124 140726978056139 0
/proc/811380/statm: 117030 96808 4347 3002 0 100781 0
Current children cumulated CPU time: 3392.72 s
Current children cumulated vsize: 468120 KiB
Current children cumulated memory: 387232 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.22 4.16 5/256 812932
/proc/meminfo: memFree=126485492/131524600 swapFree=131071996/131071996
[pid=811380] ppid=811377 vsize=468120 memory=387232 CPUtime=3452.57 cores=1,3
/proc/811380/stat : 811380 (mixed-bag) R 811377 811380 809284 0 -1 4194304 89614 0 0 0 344350 907 0 0 20 0 1 0 158417491 479354880 96808 134679101440 4194304 16487941 140726978041008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 36392960 140726978049047 140726978049124 140726978049124 140726978056139 0
/proc/811380/statm: 117030 96808 4347 3002 0 100781 0
Current children cumulated CPU time: 3452.57 s
Current children cumulated vsize: 468120 KiB
Current children cumulated memory: 387232 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.19 4.16 5/256 812943
/proc/meminfo: memFree=126462516/131524600 swapFree=131071996/131071996
[pid=811380] ppid=811377 vsize=468120 memory=391328 CPUtime=3512.43 cores=1,3
/proc/811380/stat : 811380 (mixed-bag) R 811377 811380 809284 0 -1 4194304 89718 0 0 0 350324 919 0 0 20 0 1 0 158417491 479354880 97832 134679101440 4194304 16487941 140726978041008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 36392960 140726978049047 140726978049124 140726978049124 140726978056139 0
/proc/811380/statm: 117030 97832 4347 3002 0 100781 0
Current children cumulated CPU time: 3512.43 s
Current children cumulated vsize: 468120 KiB
Current children cumulated memory: 391328 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.18 4.16 5/257 813336
/proc/meminfo: memFree=126447348/131524600 swapFree=131071996/131071996
[pid=811380] ppid=811377 vsize=468120 memory=391328 CPUtime=3572.29 cores=1,3
/proc/811380/stat : 811380 (mixed-bag) R 811377 811380 809284 0 -1 4194304 89840 0 0 0 356296 933 0 0 20 0 1 0 158417491 479354880 97832 134679101440 4194304 16487941 140726978041008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 36392960 140726978049047 140726978049124 140726978049124 140726978056139 0
/proc/811380/statm: 117030 97832 4347 3002 0 100781 0
Current children cumulated CPU time: 3572.29 s
Current children cumulated vsize: 468120 KiB
Current children cumulated memory: 391328 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.08 4.16 4.15 5/255 813342
/proc/meminfo: memFree=126447488/131524600 swapFree=131071996/131071996
[pid=811380] ppid=811377 vsize=468120 memory=391328 CPUtime=3600.03 cores=1,3
/proc/811380/stat : 811380 (mixed-bag) R 811377 811380 809284 0 -1 4194304 89914 0 0 0 359066 937 0 0 20 0 1 0 158417491 479354880 97832 134679101440 4194304 16487941 140726978041008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 36392960 140726978049047 140726978049124 140726978049124 140726978056139 0
/proc/811380/statm: 117030 97832 4347 3002 0 100781 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 468120 KiB
Current children cumulated memory: 391328 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 811380 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.67 s, system=9.3732 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.08 4.16 4.15 5/255 813342
/proc/meminfo: memFree=126447488/131524600 swapFree=131071996/131071996
[pid=811380] ppid=811377 vsize=468120 memory=391328 CPUtime=3600.03 cores=1,3
/proc/811380/stat : 811380 (mixed-bag) R 811377 811380 809284 0 -1 4194304 89914 0 0 0 359066 937 0 0 20 0 1 0 158417491 479354880 97832 134679101440 4194304 16487941 140726978041008 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 36392960 140726978049047 140726978049124 140726978049124 140726978056139 0
/proc/811380/statm: 117030 97832 4347 3002 0 100781 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 468120 KiB
Current children cumulated memory: 391328 KiB
Child status: 0
Real time (s): 3610.11
CPU time (s): 3600.05
CPU user time (s): 3590.67
CPU system time (s): 9.3732
CPU usage (%): 99.7211
Max. virtual memory (cumulated for all children) (KiB): 481036
Max. memory (cumulated for all children) (KiB): 391328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.67
system time used= 9.3732
maximum resident set size= 391792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89936
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= 94
involuntary context switches= 1526
# summary of solver processes directly reported to runsolver:
# pid: 811380
# total CPU time (s): 3600.05
# total CPU user time (s): 3590.67
# total CPU system time (s): 9.3732
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.89706 second user time and 16.732 second system time
The end
Begin job on nodeC023 at 2024-07-15 18:55:38
IDJOB=4435516
IDBENCH=146689
IDSOLVER=3066
FILE ID=nodeC023/4435516-1721062525
RUNJOBID= nodeC023-1721058927-809296
SLURM_JOB_ID= 7505494
Free space on /tmp= 890032 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435516-1721062525/watcher-4435516-1721062525 -o /tmp/evaluation-result-4435516-1721062525/solver-4435516-1721062525 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721058927-809296 --watchdog 3760 mixed-bag HOME/instance-4435516-1721062525.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3e791e4af881e2fe08ee2208e231d7f8
RANDOM SEED=1954165438
nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.860
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3670.966
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.831
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3660.909
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
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 : 3666.819
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3678.795
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
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.844
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3621.953
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123747264 kB
MemAvailable: 125100744 kB
Buffers: 374748 kB
Cached: 1807112 kB
SwapCached: 0 kB
Active: 706464 kB
Inactive: 6450856 kB
Active(anon): 1564 kB
Inactive(anon): 5011644 kB
Active(file): 704900 kB
Inactive(file): 1439212 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 33452 kB
Writeback: 0 kB
AnonPages: 4975356 kB
Mapped: 136920 kB
Shmem: 37720 kB
KReclaimable: 98380 kB
Slab: 204320 kB
SReclaimable: 98380 kB
SUnreclaim: 105940 kB
KernelStack: 4144 kB
PageTables: 19604 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 5792960 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 60576 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3360768 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 18444288 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 890016 MiB
End job on nodeC023 at 2024-07-15 19:55:48