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.07/300.11 c [STEP] preprocessing done, loading into solver
299.07/300.14 c [STEP] solving
299.07/300.14 c #variables 451 #constraints 17827
299.07/300.14 c SMALL=int, LARGE=long long
299.07/300.14 d SCIPUB -29
299.07/300.14 c bounds - >= -450 @ 298.916
299.07/300.14 c stratification level: 0
317.51/318.68 c bounds - >= -91 @ 298.924
317.51/318.68 c bounds - >= -90 @ 298.925
317.51/318.68 c bounds - >= -89 @ 298.925
317.51/318.68 c bounds - >= -88 @ 298.925
317.51/318.68 c bounds - >= -87 @ 298.925
317.51/318.68 c bounds - >= -86 @ 298.925
317.51/318.68 c bounds - >= -85 @ 298.925
317.51/318.68 c bounds - >= -84 @ 298.925
317.51/318.68 c bounds - >= -83 @ 298.925
317.51/318.68 c bounds - >= -82 @ 298.926
317.51/318.68 c bounds - >= -81 @ 298.927
317.51/318.68 c #Conflicts: 1000 | #Constraints: 18930
317.51/318.68 c #Conflicts: 2000 | #Constraints: 19930
317.51/318.68 c INPROCESSING
317.51/318.68 c GARBAGE COLLECT
317.51/318.68 c #Conflicts: 3000 | #Constraints: 19925
317.51/318.68 c #Conflicts: 4000 | #Constraints: 20925
317.51/318.68 c INPROCESSING
317.51/318.68 c GARBAGE COLLECT
317.51/318.68 c #Conflicts: 5000 | #Constraints: 20331
317.51/318.68 c #Conflicts: 6000 | #Constraints: 21331
317.51/318.68 c INPROCESSING
317.51/318.68 c GARBAGE COLLECT
317.51/318.68 c #Conflicts: 7000 | #Constraints: 20329
317.51/318.68 c #Conflicts: 8000 | #Constraints: 21329
317.51/318.68 c #Conflicts: 9000 | #Constraints: 22329
317.51/318.68 c INPROCESSING
317.51/318.68 c GARBAGE COLLECT
317.51/318.68 c #Conflicts: 10000 | #Constraints: 21041
317.51/318.68 c #Conflicts: 11000 | #Constraints: 22041
317.51/318.68 c #Conflicts: 12000 | #Constraints: 23041
317.51/318.68 c INPROCESSING
317.51/318.68 c GARBAGE COLLECT
317.51/318.68 c #Conflicts: 13000 | #Constraints: 21488
317.51/318.68 c #Conflicts: 14000 | #Constraints: 22488
317.51/318.68 c #Conflicts: 15000 | #Constraints: 23488
317.51/318.68 c INPROCESSING
317.51/318.68 c GARBAGE COLLECT
317.51/318.68 c #Conflicts: 16000 | #Constraints: 21714
317.51/318.68 c #Conflicts: 17000 | #Constraints: 22714
317.51/318.68 c #Conflicts: 18000 | #Constraints: 23714
317.51/318.68 c INPROCESSING
317.51/318.68 c GARBAGE COLLECT
317.51/318.68 c #Conflicts: 19000 | #Constraints: 21731
317.51/318.68 c #Conflicts: 20000 | #Constraints: 22731
317.51/318.68 c #Conflicts: 21000 | #Constraints: 23731
317.51/318.68 c INPROCESSING
317.51/318.68 c GARBAGE COLLECT
317.51/318.68 c #Conflicts: 22000 | #Constraints: 21537
317.51/318.68 c #Conflicts: 23000 | #Constraints: 22537
317.51/318.68 c #Conflicts: 24000 | #Constraints: 23537
317.51/318.68 c #Conflicts: 25000 | #Constraints: 24537
317.51/318.68 c INPROCESSING
317.51/318.68 c GARBAGE COLLECT
317.51/318.68 c #Conflicts: 26000 | #Constraints: 22145
317.51/318.68 c #Conflicts: 27000 | #Constraints: 23145
317.51/318.68 c #Conflicts: 28000 | #Constraints: 24145
317.51/318.68 c #Conflicts: 29000 | #Constraints: 25145
317.51/318.68 c INPROCESSING
317.51/318.68 c GARBAGE COLLECT
317.51/318.68 c #Conflicts: 30000 | #Constraints: 22549
317.51/318.68 c #Conflicts: 31000 | #Constraints: 23549
317.51/318.68 c #Conflicts: 32000 | #Constraints: 24549
317.51/318.68 c #Conflicts: 33000 | #Constraints: 25549
317.51/318.68 c INPROCESSING
317.51/318.68 c GARBAGE COLLECT
317.51/318.68 c #Conflicts: 34000 | #Constraints: 22744
317.51/318.68 c #Conflicts: 35000 | #Constraints: 23744
317.51/318.68 c #Conflicts: 36000 | #Constraints: 24744
317.51/318.68 c #Conflicts: 37000 | #Constraints: 25744
317.51/318.68 c INPROCESSING
317.51/318.68 c GARBAGE COLLECT
317.51/318.68 c #Conflicts: 38000 | #Constraints: 22745
317.51/318.68 c #Conflicts: 39000 | #Constraints: 23745
317.51/318.68 c #Conflicts: 40000 | #Constraints: 24745
317.51/318.68 c #Conflicts: 41000 | #Constraints: 25745
317.51/318.68 c INPROCESSING
317.51/318.68 c GARBAGE COLLECT
317.51/318.68 c #Conflicts: 42000 | #Constraints: 22550
317.51/318.68 c #Conflicts: 43000 | #Constraints: 23550
317.51/318.68 c #Conflicts: 44000 | #Constraints: 24550
317.51/318.68 c #Conflicts: 45000 | #Constraints: 25550
317.51/318.68 c #Conflicts: 46000 | #Constraints: 26550
317.51/318.68 c INPROCESSING
317.51/318.68 c GARBAGE COLLECT
317.51/318.68 c #Conflicts: 47000 | #Constraints: 23152
317.51/318.68 c #Conflicts: 48000 | #Constraints: 24152
317.51/318.68 c #Conflicts: 49000 | #Constraints: 25152
317.51/318.68 c #Conflicts: 50000 | #Constraints: 26152
317.51/318.68 c #Conflicts: 51000 | #Constraints: 27152
317.51/318.68 c INPROCESSING
317.51/318.68 c GARBAGE COLLECT
317.51/318.68 c #Conflicts: 52000 | #Constraints: 23555
317.51/318.68 c #Conflicts: 53000 | #Constraints: 24555
317.51/318.68 c #Conflicts: 54000 | #Constraints: 25555
317.51/318.68 c #Conflicts: 55000 | #Constraints: 26555
317.51/318.68 c #Conflicts: 56000 | #Constraints: 27555
317.51/318.68 c INPROCESSING
317.51/318.68 c GARBAGE COLLECT
317.51/318.68 c #Conflicts: 57000 | #Constraints: 23761
317.51/318.68 c #Conflicts: 58000 | #Constraints: 24761
317.51/318.68 c #Conflicts: 59000 | #Constraints: 25761
317.51/318.68 c #Conflicts: 60000 | #Constraints: 26761
317.51/318.68 c #Conflicts: 61000 | #Constraints: 27761
317.51/318.68 c INPROCESSING
317.51/318.68 c GARBAGE COLLECT
317.51/318.68 c #Conflicts: 62000 | #Constraints: 23756
317.51/318.68 c #Conflicts: 63000 | #Constraints: 24756
350.01/351.21 c #Conflicts: 64000 | #Constraints: 25756
350.01/351.21 c #Conflicts: 65000 | #Constraints: 26756
350.01/351.21 c #Conflicts: 66000 | #Constraints: 27756
350.01/351.21 c INPROCESSING
350.01/351.21 c GARBAGE COLLECT
350.01/351.21 c #Conflicts: 67000 | #Constraints: 23559
350.01/351.21 c #Conflicts: 68000 | #Constraints: 24559
350.01/351.21 c #Conflicts: 69000 | #Constraints: 25559
350.01/351.21 c #Conflicts: 70000 | #Constraints: 26559
350.01/351.21 c #Conflicts: 71000 | #Constraints: 27559
350.01/351.21 c #Conflicts: 72000 | #Constraints: 28559
350.01/351.21 c INPROCESSING
350.01/351.21 c GARBAGE COLLECT
350.01/351.21 c #Conflicts: 73000 | #Constraints: 24153
350.01/351.21 c #Conflicts: 74000 | #Constraints: 25153
350.01/351.21 c #Conflicts: 75000 | #Constraints: 26153
350.01/351.21 c #Conflicts: 76000 | #Constraints: 27153
350.01/351.21 c #Conflicts: 77000 | #Constraints: 28153
350.01/351.21 c #Conflicts: 78000 | #Constraints: 29153
350.01/351.21 c INPROCESSING
350.01/351.21 c GARBAGE COLLECT
350.01/351.21 c #Conflicts: 79000 | #Constraints: 24555
350.01/351.21 c #Conflicts: 80000 | #Constraints: 25555
350.01/351.21 c #Conflicts: 81000 | #Constraints: 26555
350.01/351.21 c #Conflicts: 82000 | #Constraints: 27555
350.01/351.21 c #Conflicts: 83000 | #Constraints: 28555
350.01/351.21 c #Conflicts: 84000 | #Constraints: 29555
350.01/351.21 c INPROCESSING
350.01/351.21 c GARBAGE COLLECT
350.01/351.21 c #Conflicts: 85000 | #Constraints: 24756
350.01/351.21 c #Conflicts: 86000 | #Constraints: 25756
350.01/351.21 c #Conflicts: 87000 | #Constraints: 26756
350.01/351.21 c #Conflicts: 88000 | #Constraints: 27756
350.01/351.21 c #Conflicts: 89000 | #Constraints: 28756
350.01/351.21 c #Conflicts: 90000 | #Constraints: 29756
350.01/351.21 c INPROCESSING
350.01/351.21 c GARBAGE COLLECT
350.01/351.21 c #Conflicts: 91000 | #Constraints: 24756
350.01/351.21 c #Conflicts: 92000 | #Constraints: 25756
350.01/351.21 c #Conflicts: 93000 | #Constraints: 26756
350.01/351.21 c #Conflicts: 94000 | #Constraints: 27756
350.01/351.21 c #Conflicts: 95000 | #Constraints: 28756
350.01/351.21 c #Conflicts: 96000 | #Constraints: 29756
350.01/351.21 c INPROCESSING
350.01/351.21 c GARBAGE COLLECT
350.01/351.21 c #Conflicts: 97000 | #Constraints: 24560
350.01/351.21 c #Conflicts: 98000 | #Constraints: 25560
350.01/351.21 c #Conflicts: 99000 | #Constraints: 26560
350.01/351.21 c #Conflicts: 100000 | #Constraints: 27560
350.01/351.21 c #Conflicts: 101000 | #Constraints: 28560
350.01/351.21 c #Conflicts: 102000 | #Constraints: 29560
350.01/351.21 c #Conflicts: 103000 | #Constraints: 30560
350.01/351.21 c INPROCESSING
350.01/351.21 c GARBAGE COLLECT
350.01/351.21 c #Conflicts: 104000 | #Constraints: 25148
350.01/351.21 c #Conflicts: 105000 | #Constraints: 26148
350.01/351.21 c #Conflicts: 106000 | #Constraints: 27148
350.01/351.21 c #Conflicts: 107000 | #Constraints: 28148
350.01/351.21 c #Conflicts: 108000 | #Constraints: 29148
350.01/351.21 c #Conflicts: 109000 | #Constraints: 30148
350.01/351.21 c #Conflicts: 110000 | #Constraints: 31148
350.01/351.21 c INPROCESSING
350.01/351.21 c GARBAGE COLLECT
350.01/351.21 c #Conflicts: 111000 | #Constraints: 25553
350.01/351.21 c #Conflicts: 112000 | #Constraints: 26553
350.01/351.21 c #Conflicts: 113000 | #Constraints: 27553
350.01/351.21 c #Conflicts: 114000 | #Constraints: 28553
350.01/351.21 c #Conflicts: 115000 | #Constraints: 29553
350.01/351.21 c #Conflicts: 116000 | #Constraints: 30553
350.01/351.21 c #Conflicts: 117000 | #Constraints: 31553
350.01/351.22 c INPROCESSING
350.01/351.22 c GARBAGE COLLECT
350.01/351.22 c #Conflicts: 118000 | #Constraints: 25749
350.01/351.22 c #Conflicts: 119000 | #Constraints: 26749
350.01/351.22 c #Conflicts: 120000 | #Constraints: 27749
350.01/351.22 c #Conflicts: 121000 | #Constraints: 28749
350.01/351.22 c #Conflicts: 122000 | #Constraints: 29749
350.01/351.22 c #Conflicts: 123000 | #Constraints: 30749
350.01/351.22 c #Conflicts: 124000 | #Constraints: 31749
350.01/351.22 c INPROCESSING
350.01/351.22 c GARBAGE COLLECT
350.01/351.22 c #Conflicts: 125000 | #Constraints: 25746
350.01/351.22 c #Conflicts: 126000 | #Constraints: 26746
350.01/351.22 c #Conflicts: 127000 | #Constraints: 27746
350.01/351.22 c #Conflicts: 128000 | #Constraints: 28746
350.01/351.22 c #Conflicts: 129000 | #Constraints: 29746
350.01/351.22 c #Conflicts: 130000 | #Constraints: 30746
350.01/351.22 c #Conflicts: 131000 | #Constraints: 31746
350.01/351.22 c INPROCESSING
350.01/351.22 c GARBAGE COLLECT
350.01/351.22 c #Conflicts: 132000 | #Constraints: 25554
350.01/351.22 c #Conflicts: 133000 | #Constraints: 26554
350.01/351.22 c #Conflicts: 134000 | #Constraints: 27554
391.80/393.14 c #Conflicts: 135000 | #Constraints: 28554
391.80/393.14 c #Conflicts: 136000 | #Constraints: 29554
391.80/393.14 c #Conflicts: 137000 | #Constraints: 30554
391.80/393.14 c #Conflicts: 138000 | #Constraints: 31554
391.80/393.14 c #Conflicts: 139000 | #Constraints: 32554
391.80/393.14 c INPROCESSING
391.80/393.14 c GARBAGE COLLECT
391.80/393.14 c #Conflicts: 140000 | #Constraints: 26154
391.80/393.14 c #Conflicts: 141000 | #Constraints: 27154
391.80/393.14 c #Conflicts: 142000 | #Constraints: 28154
391.80/393.14 c #Conflicts: 143000 | #Constraints: 29154
391.80/393.14 c #Conflicts: 144000 | #Constraints: 30154
391.80/393.14 c #Conflicts: 145000 | #Constraints: 31154
391.80/393.14 c #Conflicts: 146000 | #Constraints: 32154
391.80/393.14 c #Conflicts: 147000 | #Constraints: 33154
391.80/393.14 c INPROCESSING
391.80/393.14 c GARBAGE COLLECT
391.80/393.14 c #Conflicts: 148000 | #Constraints: 26554
391.80/393.14 c #Conflicts: 149000 | #Constraints: 27554
391.80/393.14 c #Conflicts: 150000 | #Constraints: 28554
391.80/393.14 c #Conflicts: 151000 | #Constraints: 29554
391.80/393.14 c #Conflicts: 152000 | #Constraints: 30554
391.80/393.14 c #Conflicts: 153000 | #Constraints: 31554
391.80/393.14 c #Conflicts: 154000 | #Constraints: 32554
391.80/393.14 c #Conflicts: 155000 | #Constraints: 33554
391.80/393.14 c INPROCESSING
391.80/393.14 c GARBAGE COLLECT
391.80/393.14 c #Conflicts: 156000 | #Constraints: 26752
391.80/393.14 c #Conflicts: 157000 | #Constraints: 27752
391.80/393.14 c #Conflicts: 158000 | #Constraints: 28752
391.80/393.14 c #Conflicts: 159000 | #Constraints: 29752
391.80/393.14 c #Conflicts: 160000 | #Constraints: 30752
391.80/393.14 c #Conflicts: 161000 | #Constraints: 31752
391.80/393.14 c #Conflicts: 162000 | #Constraints: 32752
391.80/393.14 c #Conflicts: 163000 | #Constraints: 33752
391.80/393.14 c INPROCESSING
391.80/393.14 c GARBAGE COLLECT
391.80/393.14 c #Conflicts: 164000 | #Constraints: 26755
391.80/393.14 c #Conflicts: 165000 | #Constraints: 27755
391.80/393.14 c #Conflicts: 166000 | #Constraints: 28755
391.80/393.14 c #Conflicts: 167000 | #Constraints: 29755
391.80/393.14 c #Conflicts: 168000 | #Constraints: 30755
391.80/393.14 c #Conflicts: 169000 | #Constraints: 31755
391.80/393.14 c #Conflicts: 170000 | #Constraints: 32755
391.80/393.14 c #Conflicts: 171000 | #Constraints: 33755
391.80/393.14 c INPROCESSING
391.80/393.14 c GARBAGE COLLECT
391.80/393.14 c #Conflicts: 172000 | #Constraints: 26554
391.80/393.14 c #Conflicts: 173000 | #Constraints: 27554
391.80/393.14 c #Conflicts: 174000 | #Constraints: 28554
391.80/393.14 c #Conflicts: 175000 | #Constraints: 29554
391.80/393.14 c #Conflicts: 176000 | #Constraints: 30554
391.80/393.14 c #Conflicts: 177000 | #Constraints: 31554
391.80/393.14 c #Conflicts: 178000 | #Constraints: 32554
391.80/393.14 c #Conflicts: 179000 | #Constraints: 33554
391.80/393.14 c #Conflicts: 180000 | #Constraints: 34554
391.80/393.14 c INPROCESSING
391.80/393.14 c GARBAGE COLLECT
391.80/393.14 c #Conflicts: 181000 | #Constraints: 27151
391.80/393.14 c #Conflicts: 182000 | #Constraints: 28151
391.80/393.14 c #Conflicts: 183000 | #Constraints: 29151
391.80/393.14 c #Conflicts: 184000 | #Constraints: 30151
391.80/393.14 c #Conflicts: 185000 | #Constraints: 31151
391.80/393.14 c #Conflicts: 186000 | #Constraints: 32151
391.80/393.14 c #Conflicts: 187000 | #Constraints: 33151
391.80/393.14 c #Conflicts: 188000 | #Constraints: 34151
391.80/393.14 c #Conflicts: 189000 | #Constraints: 35151
391.80/393.14 c INPROCESSING
391.80/393.14 c GARBAGE COLLECT
391.80/393.14 c #Conflicts: 190000 | #Constraints: 27555
391.80/393.14 c #Conflicts: 191000 | #Constraints: 28555
391.80/393.14 c #Conflicts: 192000 | #Constraints: 29555
391.80/393.14 c #Conflicts: 193000 | #Constraints: 30555
391.80/393.14 c #Conflicts: 194000 | #Constraints: 31555
391.80/393.14 c #Conflicts: 195000 | #Constraints: 32555
391.80/393.14 c #Conflicts: 196000 | #Constraints: 33555
391.80/393.14 c #Conflicts: 197000 | #Constraints: 34555
391.80/393.14 c #Conflicts: 198000 | #Constraints: 35555
391.80/393.14 c INPROCESSING
391.80/393.14 c GARBAGE COLLECT
391.80/393.14 c #Conflicts: 199000 | #Constraints: 27757
391.80/393.14 c #Conflicts: 200000 | #Constraints: 28757
391.80/393.14 c #Conflicts: 201000 | #Constraints: 29757
391.80/393.14 c #Conflicts: 202000 | #Constraints: 30757
391.80/393.14 c #Conflicts: 203000 | #Constraints: 31757
391.80/393.14 c #Conflicts: 204000 | #Constraints: 32757
391.80/393.14 c #Conflicts: 205000 | #Constraints: 33757
391.80/393.14 c #Conflicts: 206000 | #Constraints: 34757
391.80/393.14 c #Conflicts: 207000 | #Constraints: 35757
391.80/393.14 c INPROCESSING
391.80/393.14 c GARBAGE COLLECT
443.23/444.70 c #Conflicts: 208000 | #Constraints: 27762
443.23/444.70 c #Conflicts: 209000 | #Constraints: 28762
443.23/444.70 c #Conflicts: 210000 | #Constraints: 29762
443.23/444.70 c #Conflicts: 211000 | #Constraints: 30762
443.23/444.70 c #Conflicts: 212000 | #Constraints: 31762
443.23/444.70 c #Conflicts: 213000 | #Constraints: 32762
443.23/444.70 c #Conflicts: 214000 | #Constraints: 33762
443.23/444.70 c #Conflicts: 215000 | #Constraints: 34762
443.23/444.70 c #Conflicts: 216000 | #Constraints: 35762
443.23/444.70 c INPROCESSING
443.23/444.70 c GARBAGE COLLECT
443.23/444.70 c #Conflicts: 217000 | #Constraints: 27558
443.23/444.70 c #Conflicts: 218000 | #Constraints: 28558
443.23/444.70 c #Conflicts: 219000 | #Constraints: 29558
443.23/444.70 c #Conflicts: 220000 | #Constraints: 30558
443.23/444.70 c #Conflicts: 221000 | #Constraints: 31558
443.23/444.70 c #Conflicts: 222000 | #Constraints: 32558
443.23/444.70 c #Conflicts: 223000 | #Constraints: 33558
443.23/444.70 c #Conflicts: 224000 | #Constraints: 34558
443.23/444.70 c #Conflicts: 225000 | #Constraints: 35558
443.23/444.70 c #Conflicts: 226000 | #Constraints: 36558
443.23/444.70 c INPROCESSING
443.23/444.70 c GARBAGE COLLECT
443.23/444.70 c #Conflicts: 227000 | #Constraints: 28158
443.23/444.70 c #Conflicts: 228000 | #Constraints: 29158
443.23/444.70 c #Conflicts: 229000 | #Constraints: 30158
443.23/444.70 c #Conflicts: 230000 | #Constraints: 31158
443.23/444.70 c #Conflicts: 231000 | #Constraints: 32158
443.23/444.70 c #Conflicts: 232000 | #Constraints: 33158
443.23/444.70 c #Conflicts: 233000 | #Constraints: 34158
443.23/444.70 c #Conflicts: 234000 | #Constraints: 35158
443.23/444.70 c #Conflicts: 235000 | #Constraints: 36158
443.23/444.70 c #Conflicts: 236000 | #Constraints: 37158
443.23/444.70 c INPROCESSING
443.23/444.70 c GARBAGE COLLECT
443.23/444.70 c #Conflicts: 237000 | #Constraints: 28558
443.23/444.70 c #Conflicts: 238000 | #Constraints: 29558
443.23/444.70 c #Conflicts: 239000 | #Constraints: 30558
443.23/444.70 c #Conflicts: 240000 | #Constraints: 31558
443.23/444.70 c #Conflicts: 241000 | #Constraints: 32558
443.23/444.70 c #Conflicts: 242000 | #Constraints: 33558
443.23/444.70 c #Conflicts: 243000 | #Constraints: 34558
443.23/444.70 c #Conflicts: 244000 | #Constraints: 35558
443.23/444.70 c #Conflicts: 245000 | #Constraints: 36558
443.23/444.70 c #Conflicts: 246000 | #Constraints: 37558
443.23/444.70 c INPROCESSING
443.23/444.70 c GARBAGE COLLECT
443.23/444.70 c #Conflicts: 247000 | #Constraints: 28759
443.23/444.70 c #Conflicts: 248000 | #Constraints: 29759
443.23/444.70 c #Conflicts: 249000 | #Constraints: 30759
443.23/444.70 c #Conflicts: 250000 | #Constraints: 31759
443.23/444.70 c #Conflicts: 251000 | #Constraints: 32759
443.23/444.70 c #Conflicts: 252000 | #Constraints: 33759
443.23/444.70 c #Conflicts: 253000 | #Constraints: 34759
443.23/444.70 c #Conflicts: 254000 | #Constraints: 35759
443.23/444.70 c #Conflicts: 255000 | #Constraints: 36759
443.23/444.70 c #Conflicts: 256000 | #Constraints: 37759
443.23/444.70 c INPROCESSING
443.23/444.70 c GARBAGE COLLECT
443.23/444.70 c #Conflicts: 257000 | #Constraints: 28757
443.23/444.70 c #Conflicts: 258000 | #Constraints: 29757
443.23/444.70 c #Conflicts: 259000 | #Constraints: 30757
443.23/444.70 c #Conflicts: 260000 | #Constraints: 31757
443.23/444.70 c #Conflicts: 261000 | #Constraints: 32757
443.23/444.70 c #Conflicts: 262000 | #Constraints: 33757
443.23/444.70 c #Conflicts: 263000 | #Constraints: 34757
443.23/444.70 c #Conflicts: 264000 | #Constraints: 35757
443.23/444.70 c #Conflicts: 265000 | #Constraints: 36757
443.23/444.70 c #Conflicts: 266000 | #Constraints: 37757
443.23/444.70 c INPROCESSING
443.23/444.70 c GARBAGE COLLECT
443.23/444.70 c #Conflicts: 267000 | #Constraints: 28554
443.23/444.70 c #Conflicts: 268000 | #Constraints: 29554
443.23/444.70 c #Conflicts: 269000 | #Constraints: 30554
443.23/444.70 c #Conflicts: 270000 | #Constraints: 31554
443.23/444.70 c #Conflicts: 271000 | #Constraints: 32554
443.23/444.70 c #Conflicts: 272000 | #Constraints: 33554
443.23/444.70 c #Conflicts: 273000 | #Constraints: 34554
443.23/444.70 c #Conflicts: 274000 | #Constraints: 35554
443.23/444.70 c #Conflicts: 275000 | #Constraints: 36554
443.23/444.70 c #Conflicts: 276000 | #Constraints: 37554
443.23/444.70 c #Conflicts: 277000 | #Constraints: 38554
443.23/444.70 c INPROCESSING
443.23/444.70 c GARBAGE COLLECT
443.23/444.70 c #Conflicts: 278000 | #Constraints: 29153
443.23/444.70 c #Conflicts: 279000 | #Constraints: 30153
443.23/444.70 c #Conflicts: 280000 | #Constraints: 31153
443.23/444.70 c #Conflicts: 281000 | #Constraints: 32153
443.23/444.70 c #Conflicts: 282000 | #Constraints: 33153
505.24/506.98 c #Conflicts: 283000 | #Constraints: 34153
505.24/506.98 c #Conflicts: 284000 | #Constraints: 35153
505.24/506.98 c #Conflicts: 285000 | #Constraints: 36153
505.24/506.98 c #Conflicts: 286000 | #Constraints: 37153
505.24/506.98 c #Conflicts: 287000 | #Constraints: 38153
505.24/506.98 c #Conflicts: 288000 | #Constraints: 39153
505.24/506.98 c INPROCESSING
505.24/506.98 c GARBAGE COLLECT
505.24/506.98 c #Conflicts: 289000 | #Constraints: 29551
505.24/506.98 c #Conflicts: 290000 | #Constraints: 30551
505.24/506.98 c #Conflicts: 291000 | #Constraints: 31551
505.24/506.98 c #Conflicts: 292000 | #Constraints: 32551
505.24/506.98 c #Conflicts: 293000 | #Constraints: 33551
505.24/506.98 c #Conflicts: 294000 | #Constraints: 34551
505.24/506.98 c #Conflicts: 295000 | #Constraints: 35551
505.24/506.98 c #Conflicts: 296000 | #Constraints: 36551
505.24/506.98 c #Conflicts: 297000 | #Constraints: 37551
505.24/506.98 c #Conflicts: 298000 | #Constraints: 38551
505.24/506.98 c #Conflicts: 299000 | #Constraints: 39551
505.24/506.98 c INPROCESSING
505.24/506.98 c GARBAGE COLLECT
505.24/506.98 c #Conflicts: 300000 | #Constraints: 29750
505.24/506.98 c #Conflicts: 301000 | #Constraints: 30750
505.24/506.98 c #Conflicts: 302000 | #Constraints: 31750
505.24/506.98 c #Conflicts: 303000 | #Constraints: 32750
505.24/506.98 c #Conflicts: 304000 | #Constraints: 33750
505.24/506.98 c #Conflicts: 305000 | #Constraints: 34750
505.24/506.98 c #Conflicts: 306000 | #Constraints: 35750
505.24/506.98 c #Conflicts: 307000 | #Constraints: 36750
505.24/506.98 c #Conflicts: 308000 | #Constraints: 37750
505.24/506.98 c #Conflicts: 309000 | #Constraints: 38750
505.24/506.98 c #Conflicts: 310000 | #Constraints: 39750
505.24/506.98 c INPROCESSING
505.24/506.98 c GARBAGE COLLECT
505.24/506.98 c #Conflicts: 311000 | #Constraints: 29759
505.24/506.98 c #Conflicts: 312000 | #Constraints: 30759
505.24/506.98 c #Conflicts: 313000 | #Constraints: 31759
505.24/506.98 c #Conflicts: 314000 | #Constraints: 32759
505.24/506.98 c #Conflicts: 315000 | #Constraints: 33759
505.24/506.98 c #Conflicts: 316000 | #Constraints: 34759
505.24/506.98 c #Conflicts: 317000 | #Constraints: 35759
505.24/506.98 c #Conflicts: 318000 | #Constraints: 36759
505.24/506.98 c #Conflicts: 319000 | #Constraints: 37759
505.24/506.98 c #Conflicts: 320000 | #Constraints: 38759
505.24/506.98 c #Conflicts: 321000 | #Constraints: 39759
505.24/506.98 c INPROCESSING
505.24/506.98 c GARBAGE COLLECT
505.24/506.98 c #Conflicts: 322000 | #Constraints: 29558
505.24/506.98 c #Conflicts: 323000 | #Constraints: 30558
505.24/506.98 c #Conflicts: 324000 | #Constraints: 31558
505.24/506.98 c #Conflicts: 325000 | #Constraints: 32558
505.24/506.98 c #Conflicts: 326000 | #Constraints: 33558
505.24/506.98 c #Conflicts: 327000 | #Constraints: 34558
505.24/506.98 c #Conflicts: 328000 | #Constraints: 35558
505.24/506.98 c #Conflicts: 329000 | #Constraints: 36558
505.24/506.98 c #Conflicts: 330000 | #Constraints: 37558
505.24/506.98 c #Conflicts: 331000 | #Constraints: 38558
505.24/506.98 c #Conflicts: 332000 | #Constraints: 39558
505.24/506.98 c #Conflicts: 333000 | #Constraints: 40558
505.24/506.98 c INPROCESSING
505.24/506.98 c GARBAGE COLLECT
505.24/506.98 c #Conflicts: 334000 | #Constraints: 30157
505.24/506.98 c #Conflicts: 335000 | #Constraints: 31157
505.24/506.98 c #Conflicts: 336000 | #Constraints: 32157
505.24/506.98 c #Conflicts: 337000 | #Constraints: 33157
505.24/506.98 c #Conflicts: 338000 | #Constraints: 34157
505.24/506.98 c #Conflicts: 339000 | #Constraints: 35157
505.24/506.98 c #Conflicts: 340000 | #Constraints: 36157
505.24/506.98 c #Conflicts: 341000 | #Constraints: 37157
505.24/506.98 c #Conflicts: 342000 | #Constraints: 38157
505.24/506.98 c #Conflicts: 343000 | #Constraints: 39157
505.24/506.98 c #Conflicts: 344000 | #Constraints: 40157
505.24/506.98 c #Conflicts: 345000 | #Constraints: 41157
505.24/506.98 c INPROCESSING
505.24/506.98 c GARBAGE COLLECT
505.24/506.98 c #Conflicts: 346000 | #Constraints: 30549
505.24/506.98 c #Conflicts: 347000 | #Constraints: 31549
505.24/506.98 c #Conflicts: 348000 | #Constraints: 32549
505.24/506.98 c #Conflicts: 349000 | #Constraints: 33549
505.24/506.98 c #Conflicts: 350000 | #Constraints: 34549
505.24/506.98 c #Conflicts: 351000 | #Constraints: 35549
505.24/506.98 c #Conflicts: 352000 | #Constraints: 36549
505.24/506.98 c #Conflicts: 353000 | #Constraints: 37549
505.24/506.98 c #Conflicts: 354000 | #Constraints: 38549
505.24/506.98 c #Conflicts: 355000 | #Constraints: 39549
505.24/506.98 c #Conflicts: 356000 | #Constraints: 40549
505.24/506.98 c #Conflicts: 357000 | #Constraints: 41549
572.16/574.08 c INPROCESSING
572.16/574.08 c GARBAGE COLLECT
572.16/574.08 c #Conflicts: 358000 | #Constraints: 30751
572.16/574.08 c #Conflicts: 359000 | #Constraints: 31751
572.16/574.08 c #Conflicts: 360000 | #Constraints: 32751
572.16/574.08 c #Conflicts: 361000 | #Constraints: 33751
572.16/574.08 c #Conflicts: 362000 | #Constraints: 34751
572.16/574.08 c #Conflicts: 363000 | #Constraints: 35751
572.16/574.08 c #Conflicts: 364000 | #Constraints: 36751
572.16/574.08 c #Conflicts: 365000 | #Constraints: 37751
572.16/574.08 c #Conflicts: 366000 | #Constraints: 38751
572.16/574.08 c #Conflicts: 367000 | #Constraints: 39751
572.16/574.08 c #Conflicts: 368000 | #Constraints: 40751
572.16/574.08 c #Conflicts: 369000 | #Constraints: 41751
572.16/574.08 c INPROCESSING
572.16/574.08 c GARBAGE COLLECT
572.16/574.08 c #Conflicts: 370000 | #Constraints: 30752
572.16/574.08 c #Conflicts: 371000 | #Constraints: 31752
572.16/574.08 c #Conflicts: 372000 | #Constraints: 32752
572.16/574.08 c #Conflicts: 373000 | #Constraints: 33752
572.16/574.08 c #Conflicts: 374000 | #Constraints: 34752
572.16/574.08 c #Conflicts: 375000 | #Constraints: 35752
572.16/574.08 c #Conflicts: 376000 | #Constraints: 36752
572.16/574.08 c #Conflicts: 377000 | #Constraints: 37752
572.16/574.08 c #Conflicts: 378000 | #Constraints: 38752
572.16/574.08 c #Conflicts: 379000 | #Constraints: 39752
572.16/574.08 c #Conflicts: 380000 | #Constraints: 40752
572.16/574.08 c #Conflicts: 381000 | #Constraints: 41752
572.16/574.08 c INPROCESSING
572.16/574.08 c GARBAGE COLLECT
572.16/574.08 c #Conflicts: 382000 | #Constraints: 30556
572.16/574.08 c #Conflicts: 383000 | #Constraints: 31556
572.16/574.08 c #Conflicts: 384000 | #Constraints: 32556
572.16/574.08 c #Conflicts: 385000 | #Constraints: 33556
572.16/574.08 c #Conflicts: 386000 | #Constraints: 34556
572.16/574.08 c #Conflicts: 387000 | #Constraints: 35556
572.16/574.08 c #Conflicts: 388000 | #Constraints: 36556
572.16/574.08 c #Conflicts: 389000 | #Constraints: 37556
572.16/574.08 c #Conflicts: 390000 | #Constraints: 38556
572.16/574.08 c #Conflicts: 391000 | #Constraints: 39556
572.16/574.08 c #Conflicts: 392000 | #Constraints: 40556
572.16/574.08 c #Conflicts: 393000 | #Constraints: 41556
572.16/574.08 c #Conflicts: 394000 | #Constraints: 42556
572.16/574.08 c INPROCESSING
572.16/574.08 c GARBAGE COLLECT
572.16/574.08 c #Conflicts: 395000 | #Constraints: 31160
572.16/574.08 c #Conflicts: 396000 | #Constraints: 32160
572.16/574.08 c #Conflicts: 397000 | #Constraints: 33160
572.16/574.08 c #Conflicts: 398000 | #Constraints: 34160
572.16/574.08 c #Conflicts: 399000 | #Constraints: 35160
572.16/574.08 c #Conflicts: 400000 | #Constraints: 36160
572.16/574.08 c #Conflicts: 401000 | #Constraints: 37160
572.16/574.08 c #Conflicts: 402000 | #Constraints: 38160
572.16/574.08 c #Conflicts: 403000 | #Constraints: 39160
572.16/574.08 c #Conflicts: 404000 | #Constraints: 40160
572.16/574.08 c #Conflicts: 405000 | #Constraints: 41160
572.16/574.08 c #Conflicts: 406000 | #Constraints: 42160
572.16/574.08 c #Conflicts: 407000 | #Constraints: 43160
572.16/574.08 c INPROCESSING
572.16/574.08 c GARBAGE COLLECT
572.16/574.08 c #Conflicts: 408000 | #Constraints: 31558
572.16/574.08 c #Conflicts: 409000 | #Constraints: 32558
572.16/574.08 c #Conflicts: 410000 | #Constraints: 33558
572.16/574.08 c #Conflicts: 411000 | #Constraints: 34558
572.16/574.08 c #Conflicts: 412000 | #Constraints: 35558
572.16/574.08 c #Conflicts: 413000 | #Constraints: 36558
572.16/574.08 c #Conflicts: 414000 | #Constraints: 37558
572.16/574.08 c #Conflicts: 415000 | #Constraints: 38558
572.16/574.08 c #Conflicts: 416000 | #Constraints: 39558
572.16/574.08 c #Conflicts: 417000 | #Constraints: 40558
572.16/574.08 c #Conflicts: 418000 | #Constraints: 41558
572.16/574.08 c #Conflicts: 419000 | #Constraints: 42558
572.16/574.08 c #Conflicts: 420000 | #Constraints: 43558
572.16/574.08 c INPROCESSING
572.16/574.08 c GARBAGE COLLECT
572.16/574.08 c #Conflicts: 421000 | #Constraints: 31764
572.16/574.08 c #Conflicts: 422000 | #Constraints: 32764
572.16/574.08 c #Conflicts: 423000 | #Constraints: 33764
572.16/574.08 c #Conflicts: 424000 | #Constraints: 34764
572.16/574.08 c #Conflicts: 425000 | #Constraints: 35764
572.16/574.08 c #Conflicts: 426000 | #Constraints: 36764
572.16/574.08 c #Conflicts: 427000 | #Constraints: 37764
572.16/574.08 c #Conflicts: 428000 | #Constraints: 38764
572.16/574.08 c #Conflicts: 429000 | #Constraints: 39764
572.16/574.08 c #Conflicts: 430000 | #Constraints: 40764
572.16/574.08 c #Conflicts: 431000 | #Constraints: 41764
572.16/574.08 c #Conflicts: 432000 | #Constraints: 42764
637.76/639.82 c #Conflicts: 433000 | #Constraints: 43764
637.76/639.82 c INPROCESSING
637.76/639.82 c GARBAGE COLLECT
637.76/639.82 c #Conflicts: 434000 | #Constraints: 31764
637.76/639.82 c #Conflicts: 435000 | #Constraints: 32764
637.76/639.82 c #Conflicts: 436000 | #Constraints: 33764
637.76/639.82 c #Conflicts: 437000 | #Constraints: 34764
637.76/639.82 c #Conflicts: 438000 | #Constraints: 35764
637.76/639.82 c #Conflicts: 439000 | #Constraints: 36764
637.76/639.82 c #Conflicts: 440000 | #Constraints: 37764
637.76/639.82 c #Conflicts: 441000 | #Constraints: 38764
637.76/639.82 c #Conflicts: 442000 | #Constraints: 39764
637.76/639.82 c #Conflicts: 443000 | #Constraints: 40764
637.76/639.82 c #Conflicts: 444000 | #Constraints: 41764
637.76/639.82 c #Conflicts: 445000 | #Constraints: 42764
637.76/639.82 c #Conflicts: 446000 | #Constraints: 43764
637.76/639.82 c INPROCESSING
637.76/639.82 c GARBAGE COLLECT
637.76/639.82 c #Conflicts: 447000 | #Constraints: 31565
637.76/639.82 c #Conflicts: 448000 | #Constraints: 32565
637.76/639.82 c #Conflicts: 449000 | #Constraints: 33565
637.76/639.82 c #Conflicts: 450000 | #Constraints: 34565
637.76/639.82 c #Conflicts: 451000 | #Constraints: 35565
637.76/639.82 c #Conflicts: 452000 | #Constraints: 36565
637.76/639.82 c #Conflicts: 453000 | #Constraints: 37565
637.76/639.82 c #Conflicts: 454000 | #Constraints: 38565
637.76/639.82 c #Conflicts: 455000 | #Constraints: 39565
637.76/639.82 c #Conflicts: 456000 | #Constraints: 40565
637.76/639.82 c #Conflicts: 457000 | #Constraints: 41565
637.76/639.82 c #Conflicts: 458000 | #Constraints: 42565
637.76/639.82 c #Conflicts: 459000 | #Constraints: 43565
637.76/639.82 c #Conflicts: 460000 | #Constraints: 44565
637.76/639.82 c INPROCESSING
637.76/639.82 c GARBAGE COLLECT
637.76/639.82 c #Conflicts: 461000 | #Constraints: 32164
637.76/639.82 c #Conflicts: 462000 | #Constraints: 33164
637.76/639.82 c #Conflicts: 463000 | #Constraints: 34164
637.76/639.82 c #Conflicts: 464000 | #Constraints: 35164
637.76/639.82 c #Conflicts: 465000 | #Constraints: 36164
637.76/639.82 c #Conflicts: 466000 | #Constraints: 37164
637.76/639.82 c #Conflicts: 467000 | #Constraints: 38164
637.76/639.82 c #Conflicts: 468000 | #Constraints: 39164
637.76/639.82 c #Conflicts: 469000 | #Constraints: 40164
637.76/639.82 c #Conflicts: 470000 | #Constraints: 41164
637.76/639.82 c #Conflicts: 471000 | #Constraints: 42164
637.76/639.82 c #Conflicts: 472000 | #Constraints: 43164
637.76/639.82 c #Conflicts: 473000 | #Constraints: 44164
637.76/639.82 c #Conflicts: 474000 | #Constraints: 45164
637.76/639.82 c INPROCESSING
637.76/639.82 c GARBAGE COLLECT
637.76/639.82 c #Conflicts: 475000 | #Constraints: 32567
637.76/639.82 c #Conflicts: 476000 | #Constraints: 33567
637.76/639.82 c #Conflicts: 477000 | #Constraints: 34567
637.76/639.82 c #Conflicts: 478000 | #Constraints: 35567
637.76/639.82 c #Conflicts: 479000 | #Constraints: 36567
637.76/639.82 c #Conflicts: 480000 | #Constraints: 37567
637.76/639.82 c #Conflicts: 481000 | #Constraints: 38567
637.76/639.82 c #Conflicts: 482000 | #Constraints: 39567
637.76/639.82 c #Conflicts: 483000 | #Constraints: 40567
637.76/639.82 c #Conflicts: 484000 | #Constraints: 41567
637.76/639.82 c #Conflicts: 485000 | #Constraints: 42567
637.76/639.82 c #Conflicts: 486000 | #Constraints: 43567
637.76/639.82 c #Conflicts: 487000 | #Constraints: 44567
637.76/639.82 c #Conflicts: 488000 | #Constraints: 45567
637.76/639.82 c INPROCESSING
637.76/639.82 c GARBAGE COLLECT
637.76/639.82 c #Conflicts: 489000 | #Constraints: 32770
637.76/639.82 c #Conflicts: 490000 | #Constraints: 33770
637.76/639.82 c #Conflicts: 491000 | #Constraints: 34770
637.76/639.82 c #Conflicts: 492000 | #Constraints: 35770
637.76/639.82 c #Conflicts: 493000 | #Constraints: 36770
637.76/639.82 c #Conflicts: 494000 | #Constraints: 37770
637.76/639.82 c #Conflicts: 495000 | #Constraints: 38770
637.76/639.82 c #Conflicts: 496000 | #Constraints: 39770
637.76/639.82 c #Conflicts: 497000 | #Constraints: 40770
637.76/639.82 c #Conflicts: 498000 | #Constraints: 41770
637.76/639.82 c #Conflicts: 499000 | #Constraints: 42770
637.76/639.82 c #Conflicts: 500000 | #Constraints: 43770
637.76/639.82 c #Conflicts: 501000 | #Constraints: 44770
637.76/639.82 c #Conflicts: 502000 | #Constraints: 45770
637.76/639.82 c INPROCESSING
637.76/639.82 c GARBAGE COLLECT
637.76/639.82 c #Conflicts: 503000 | #Constraints: 32768
637.76/639.82 c #Conflicts: 504000 | #Constraints: 33768
637.76/639.82 c #Conflicts: 505000 | #Constraints: 34768
637.76/639.82 c #Conflicts: 506000 | #Constraints: 35768
637.76/639.82 c #Conflicts: 507000 | #Constraints: 36768
719.23/721.54 c #Conflicts: 508000 | #Constraints: 37768
719.23/721.54 c #Conflicts: 509000 | #Constraints: 38768
719.23/721.54 c #Conflicts: 510000 | #Constraints: 39768
719.23/721.54 c #Conflicts: 511000 | #Constraints: 40768
719.23/721.54 c #Conflicts: 512000 | #Constraints: 41768
719.23/721.54 c #Conflicts: 513000 | #Constraints: 42768
719.23/721.54 c #Conflicts: 514000 | #Constraints: 43768
719.23/721.54 c #Conflicts: 515000 | #Constraints: 44768
719.23/721.54 c #Conflicts: 516000 | #Constraints: 45768
719.23/721.54 c INPROCESSING
719.23/721.54 c GARBAGE COLLECT
719.23/721.54 c #Conflicts: 517000 | #Constraints: 32561
719.23/721.54 c #Conflicts: 518000 | #Constraints: 33561
719.23/721.54 c #Conflicts: 519000 | #Constraints: 34561
719.23/721.54 c #Conflicts: 520000 | #Constraints: 35561
719.23/721.54 c #Conflicts: 521000 | #Constraints: 36561
719.23/721.54 c #Conflicts: 522000 | #Constraints: 37561
719.23/721.54 c #Conflicts: 523000 | #Constraints: 38561
719.23/721.54 c #Conflicts: 524000 | #Constraints: 39561
719.23/721.54 c #Conflicts: 525000 | #Constraints: 40561
719.23/721.54 c #Conflicts: 526000 | #Constraints: 41561
719.23/721.54 c #Conflicts: 527000 | #Constraints: 42561
719.23/721.54 c #Conflicts: 528000 | #Constraints: 43561
719.23/721.54 c #Conflicts: 529000 | #Constraints: 44561
719.23/721.54 c #Conflicts: 530000 | #Constraints: 45561
719.23/721.54 c #Conflicts: 531000 | #Constraints: 46561
719.23/721.54 c INPROCESSING
719.23/721.54 c GARBAGE COLLECT
719.23/721.54 c #Conflicts: 532000 | #Constraints: 33160
719.23/721.54 c #Conflicts: 533000 | #Constraints: 34160
719.23/721.54 c #Conflicts: 534000 | #Constraints: 35160
719.23/721.54 c #Conflicts: 535000 | #Constraints: 36160
719.23/721.54 c #Conflicts: 536000 | #Constraints: 37160
719.23/721.54 c #Conflicts: 537000 | #Constraints: 38160
719.23/721.54 c #Conflicts: 538000 | #Constraints: 39160
719.23/721.54 c #Conflicts: 539000 | #Constraints: 40160
719.23/721.54 c #Conflicts: 540000 | #Constraints: 41160
719.23/721.54 c #Conflicts: 541000 | #Constraints: 42160
719.23/721.54 c #Conflicts: 542000 | #Constraints: 43160
719.23/721.54 c #Conflicts: 543000 | #Constraints: 44160
719.23/721.54 c #Conflicts: 544000 | #Constraints: 45160
719.23/721.54 c #Conflicts: 545000 | #Constraints: 46160
719.23/721.54 c #Conflicts: 546000 | #Constraints: 47160
719.23/721.54 c INPROCESSING
719.23/721.54 c GARBAGE COLLECT
719.23/721.54 c #Conflicts: 547000 | #Constraints: 33560
719.23/721.54 c #Conflicts: 548000 | #Constraints: 34560
719.23/721.54 c #Conflicts: 549000 | #Constraints: 35560
719.23/721.54 c #Conflicts: 550000 | #Constraints: 36560
719.23/721.54 c #Conflicts: 551000 | #Constraints: 37560
719.23/721.54 c #Conflicts: 552000 | #Constraints: 38560
719.23/721.54 c #Conflicts: 553000 | #Constraints: 39560
719.23/721.54 c #Conflicts: 554000 | #Constraints: 40560
719.23/721.54 c #Conflicts: 555000 | #Constraints: 41560
719.23/721.54 c #Conflicts: 556000 | #Constraints: 42560
719.23/721.54 c #Conflicts: 557000 | #Constraints: 43560
719.23/721.54 c #Conflicts: 558000 | #Constraints: 44560
719.23/721.54 c #Conflicts: 559000 | #Constraints: 45560
719.23/721.54 c #Conflicts: 560000 | #Constraints: 46560
719.23/721.54 c #Conflicts: 561000 | #Constraints: 47560
719.23/721.54 c INPROCESSING
719.23/721.54 c GARBAGE COLLECT
719.23/721.54 c #Conflicts: 562000 | #Constraints: 33754
719.23/721.54 c #Conflicts: 563000 | #Constraints: 34754
719.23/721.54 c #Conflicts: 564000 | #Constraints: 35754
719.23/721.54 c #Conflicts: 565000 | #Constraints: 36754
719.23/721.54 c #Conflicts: 566000 | #Constraints: 37754
719.23/721.54 c #Conflicts: 567000 | #Constraints: 38754
719.23/721.54 c #Conflicts: 568000 | #Constraints: 39754
719.23/721.54 c #Conflicts: 569000 | #Constraints: 40754
719.23/721.54 c #Conflicts: 570000 | #Constraints: 41754
719.23/721.54 c #Conflicts: 571000 | #Constraints: 42754
719.23/721.54 c #Conflicts: 572000 | #Constraints: 43754
719.23/721.54 c #Conflicts: 573000 | #Constraints: 44754
719.23/721.54 c #Conflicts: 574000 | #Constraints: 45754
719.23/721.54 c #Conflicts: 575000 | #Constraints: 46754
719.23/721.54 c #Conflicts: 576000 | #Constraints: 47754
719.23/721.54 c INPROCESSING
719.23/721.54 c GARBAGE COLLECT
719.23/721.54 c #Conflicts: 577000 | #Constraints: 33758
719.23/721.54 c #Conflicts: 578000 | #Constraints: 34758
719.23/721.54 c #Conflicts: 579000 | #Constraints: 35758
719.23/721.54 c #Conflicts: 580000 | #Constraints: 36758
719.23/721.54 c #Conflicts: 581000 | #Constraints: 37758
719.23/721.54 c #Conflicts: 582000 | #Constraints: 38758
804.19/806.72 c #Conflicts: 583000 | #Constraints: 39758
804.19/806.72 c #Conflicts: 584000 | #Constraints: 40758
804.19/806.72 c #Conflicts: 585000 | #Constraints: 41758
804.19/806.72 c #Conflicts: 586000 | #Constraints: 42758
804.19/806.72 c #Conflicts: 587000 | #Constraints: 43758
804.19/806.72 c #Conflicts: 588000 | #Constraints: 44758
804.19/806.72 c #Conflicts: 589000 | #Constraints: 45758
804.19/806.72 c #Conflicts: 590000 | #Constraints: 46758
804.19/806.72 c #Conflicts: 591000 | #Constraints: 47758
804.19/806.72 c INPROCESSING
804.19/806.72 c GARBAGE COLLECT
804.19/806.72 c #Conflicts: 592000 | #Constraints: 33558
804.19/806.72 c #Conflicts: 593000 | #Constraints: 34558
804.19/806.72 c #Conflicts: 594000 | #Constraints: 35558
804.19/806.72 c #Conflicts: 595000 | #Constraints: 36558
804.19/806.72 c #Conflicts: 596000 | #Constraints: 37558
804.19/806.72 c #Conflicts: 597000 | #Constraints: 38558
804.19/806.72 c #Conflicts: 598000 | #Constraints: 39558
804.19/806.72 c #Conflicts: 599000 | #Constraints: 40558
804.19/806.72 c #Conflicts: 600000 | #Constraints: 41558
804.19/806.72 c #Conflicts: 601000 | #Constraints: 42558
804.19/806.72 c #Conflicts: 602000 | #Constraints: 43558
804.19/806.72 c #Conflicts: 603000 | #Constraints: 44558
804.19/806.72 c #Conflicts: 604000 | #Constraints: 45558
804.19/806.72 c #Conflicts: 605000 | #Constraints: 46558
804.19/806.72 c #Conflicts: 606000 | #Constraints: 47558
804.19/806.72 c #Conflicts: 607000 | #Constraints: 48558
804.19/806.72 c INPROCESSING
804.19/806.72 c GARBAGE COLLECT
804.19/806.72 c #Conflicts: 608000 | #Constraints: 34161
804.19/806.72 c #Conflicts: 609000 | #Constraints: 35161
804.19/806.72 c #Conflicts: 610000 | #Constraints: 36161
804.19/806.72 c #Conflicts: 611000 | #Constraints: 37161
804.19/806.72 c #Conflicts: 612000 | #Constraints: 38161
804.19/806.72 c #Conflicts: 613000 | #Constraints: 39161
804.19/806.72 c #Conflicts: 614000 | #Constraints: 40161
804.19/806.72 c #Conflicts: 615000 | #Constraints: 41161
804.19/806.72 c #Conflicts: 616000 | #Constraints: 42161
804.19/806.72 c #Conflicts: 617000 | #Constraints: 43161
804.19/806.72 c #Conflicts: 618000 | #Constraints: 44161
804.19/806.72 c #Conflicts: 619000 | #Constraints: 45161
804.19/806.72 c #Conflicts: 620000 | #Constraints: 46161
804.19/806.72 c #Conflicts: 621000 | #Constraints: 47161
804.19/806.72 c #Conflicts: 622000 | #Constraints: 48161
804.19/806.72 c #Conflicts: 623000 | #Constraints: 49161
804.19/806.72 c INPROCESSING
804.19/806.72 c GARBAGE COLLECT
804.19/806.72 c #Conflicts: 624000 | #Constraints: 34558
804.19/806.72 c #Conflicts: 625000 | #Constraints: 35558
804.19/806.72 c #Conflicts: 626000 | #Constraints: 36558
804.19/806.72 c #Conflicts: 627000 | #Constraints: 37558
804.19/806.72 c #Conflicts: 628000 | #Constraints: 38558
804.19/806.72 c #Conflicts: 629000 | #Constraints: 39558
804.19/806.72 c #Conflicts: 630000 | #Constraints: 40558
804.19/806.72 c #Conflicts: 631000 | #Constraints: 41558
804.19/806.72 c #Conflicts: 632000 | #Constraints: 42558
804.19/806.72 c #Conflicts: 633000 | #Constraints: 43558
804.19/806.72 c #Conflicts: 634000 | #Constraints: 44558
804.19/806.72 c #Conflicts: 635000 | #Constraints: 45558
804.19/806.72 c #Conflicts: 636000 | #Constraints: 46558
804.19/806.72 c #Conflicts: 637000 | #Constraints: 47558
804.19/806.72 c #Conflicts: 638000 | #Constraints: 48558
804.19/806.72 c #Conflicts: 639000 | #Constraints: 49558
804.19/806.72 c INPROCESSING
804.19/806.72 c GARBAGE COLLECT
804.19/806.72 c #Conflicts: 640000 | #Constraints: 34754
804.19/806.72 c #Conflicts: 641000 | #Constraints: 35754
804.19/806.72 c #Conflicts: 642000 | #Constraints: 36754
804.19/806.72 c #Conflicts: 643000 | #Constraints: 37754
804.19/806.72 c #Conflicts: 644000 | #Constraints: 38754
804.19/806.72 c #Conflicts: 645000 | #Constraints: 39754
804.19/806.72 c #Conflicts: 646000 | #Constraints: 40754
804.19/806.72 c #Conflicts: 647000 | #Constraints: 41754
804.19/806.72 c #Conflicts: 648000 | #Constraints: 42754
804.19/806.72 c #Conflicts: 649000 | #Constraints: 43754
804.19/806.72 c #Conflicts: 650000 | #Constraints: 44754
804.19/806.72 c #Conflicts: 651000 | #Constraints: 45754
804.19/806.72 c #Conflicts: 652000 | #Constraints: 46754
804.19/806.72 c #Conflicts: 653000 | #Constraints: 47754
804.19/806.72 c #Conflicts: 654000 | #Constraints: 48754
804.19/806.72 c #Conflicts: 655000 | #Constraints: 49754
804.19/806.72 c INPROCESSING
804.19/806.72 c GARBAGE COLLECT
804.19/806.72 c #Conflicts: 656000 | #Constraints: 34753
804.19/806.72 c #Conflicts: 657000 | #Constraints: 35753
804.19/806.72 c #Conflicts: 658000 | #Constraints: 36753
891.84/894.60 c #Conflicts: 659000 | #Constraints: 37753
891.84/894.60 c #Conflicts: 660000 | #Constraints: 38753
891.84/894.60 c #Conflicts: 661000 | #Constraints: 39753
891.84/894.60 c #Conflicts: 662000 | #Constraints: 40753
891.84/894.60 c #Conflicts: 663000 | #Constraints: 41753
891.84/894.60 c #Conflicts: 664000 | #Constraints: 42753
891.84/894.60 c #Conflicts: 665000 | #Constraints: 43753
891.84/894.60 c #Conflicts: 666000 | #Constraints: 44753
891.84/894.60 c #Conflicts: 667000 | #Constraints: 45753
891.84/894.60 c #Conflicts: 668000 | #Constraints: 46753
891.84/894.60 c #Conflicts: 669000 | #Constraints: 47753
891.84/894.60 c #Conflicts: 670000 | #Constraints: 48753
891.84/894.60 c #Conflicts: 671000 | #Constraints: 49753
891.84/894.60 c INPROCESSING
891.84/894.60 c GARBAGE COLLECT
891.84/894.60 c #Conflicts: 672000 | #Constraints: 34566
891.84/894.60 c #Conflicts: 673000 | #Constraints: 35566
891.84/894.60 c #Conflicts: 674000 | #Constraints: 36566
891.84/894.60 c #Conflicts: 675000 | #Constraints: 37566
891.84/894.60 c #Conflicts: 676000 | #Constraints: 38566
891.84/894.60 c #Conflicts: 677000 | #Constraints: 39566
891.84/894.60 c #Conflicts: 678000 | #Constraints: 40566
891.84/894.60 c #Conflicts: 679000 | #Constraints: 41566
891.84/894.60 c #Conflicts: 680000 | #Constraints: 42566
891.84/894.60 c #Conflicts: 681000 | #Constraints: 43566
891.84/894.60 c #Conflicts: 682000 | #Constraints: 44566
891.84/894.60 c #Conflicts: 683000 | #Constraints: 45566
891.84/894.60 c #Conflicts: 684000 | #Constraints: 46566
891.84/894.60 c #Conflicts: 685000 | #Constraints: 47566
891.84/894.60 c #Conflicts: 686000 | #Constraints: 48566
891.84/894.60 c #Conflicts: 687000 | #Constraints: 49566
891.84/894.60 c #Conflicts: 688000 | #Constraints: 50566
891.84/894.60 c INPROCESSING
891.84/894.60 c GARBAGE COLLECT
891.84/894.60 c #Conflicts: 689000 | #Constraints: 35160
891.84/894.60 c #Conflicts: 690000 | #Constraints: 36160
891.84/894.60 c #Conflicts: 691000 | #Constraints: 37160
891.84/894.60 c #Conflicts: 692000 | #Constraints: 38160
891.84/894.60 c #Conflicts: 693000 | #Constraints: 39160
891.84/894.60 c #Conflicts: 694000 | #Constraints: 40160
891.84/894.60 c #Conflicts: 695000 | #Constraints: 41160
891.84/894.60 c #Conflicts: 696000 | #Constraints: 42160
891.84/894.60 c #Conflicts: 697000 | #Constraints: 43160
891.84/894.60 c #Conflicts: 698000 | #Constraints: 44160
891.84/894.60 c #Conflicts: 699000 | #Constraints: 45160
891.84/894.60 c #Conflicts: 700000 | #Constraints: 46160
891.84/894.60 c #Conflicts: 701000 | #Constraints: 47160
891.84/894.60 c #Conflicts: 702000 | #Constraints: 48160
891.84/894.60 c #Conflicts: 703000 | #Constraints: 49160
891.84/894.60 c #Conflicts: 704000 | #Constraints: 50160
891.84/894.60 c #Conflicts: 705000 | #Constraints: 51160
891.84/894.60 c INPROCESSING
891.84/894.60 c GARBAGE COLLECT
891.84/894.60 c #Conflicts: 706000 | #Constraints: 35568
891.84/894.60 c #Conflicts: 707000 | #Constraints: 36568
891.84/894.60 c #Conflicts: 708000 | #Constraints: 37568
891.84/894.60 c #Conflicts: 709000 | #Constraints: 38568
891.84/894.60 c #Conflicts: 710000 | #Constraints: 39568
891.84/894.60 c #Conflicts: 711000 | #Constraints: 40568
891.84/894.60 c #Conflicts: 712000 | #Constraints: 41568
891.84/894.60 c #Conflicts: 713000 | #Constraints: 42568
891.84/894.60 c #Conflicts: 714000 | #Constraints: 43568
891.84/894.60 c #Conflicts: 715000 | #Constraints: 44568
891.84/894.60 c #Conflicts: 716000 | #Constraints: 45568
891.84/894.60 c #Conflicts: 717000 | #Constraints: 46568
891.84/894.60 c #Conflicts: 718000 | #Constraints: 47568
891.84/894.60 c #Conflicts: 719000 | #Constraints: 48568
891.84/894.60 c #Conflicts: 720000 | #Constraints: 49568
891.84/894.60 c #Conflicts: 721000 | #Constraints: 50568
891.84/894.60 c #Conflicts: 722000 | #Constraints: 51568
891.84/894.60 c INPROCESSING
891.84/894.60 c GARBAGE COLLECT
891.84/894.60 c #Conflicts: 723000 | #Constraints: 35770
891.84/894.60 c #Conflicts: 724000 | #Constraints: 36770
891.84/894.60 c #Conflicts: 725000 | #Constraints: 37770
891.84/894.60 c #Conflicts: 726000 | #Constraints: 38770
891.84/894.60 c #Conflicts: 727000 | #Constraints: 39770
891.84/894.60 c #Conflicts: 728000 | #Constraints: 40770
891.84/894.60 c #Conflicts: 729000 | #Constraints: 41770
891.84/894.60 c #Conflicts: 730000 | #Constraints: 42770
891.84/894.60 c #Conflicts: 731000 | #Constraints: 43770
891.84/894.60 c #Conflicts: 732000 | #Constraints: 44770
891.84/894.60 c #Conflicts: 733000 | #Constraints: 45770
891.84/894.60 c #Conflicts: 734000 | #Constraints: 46770
990.48/993.50 c #Conflicts: 735000 | #Constraints: 47770
990.48/993.50 c #Conflicts: 736000 | #Constraints: 48770
990.48/993.50 c #Conflicts: 737000 | #Constraints: 49770
990.48/993.50 c #Conflicts: 738000 | #Constraints: 50770
990.48/993.50 c #Conflicts: 739000 | #Constraints: 51770
990.48/993.50 c INPROCESSING
990.48/993.50 c GARBAGE COLLECT
990.48/993.50 c #Conflicts: 740000 | #Constraints: 35765
990.48/993.50 c #Conflicts: 741000 | #Constraints: 36765
990.48/993.50 c #Conflicts: 742000 | #Constraints: 37765
990.48/993.50 c #Conflicts: 743000 | #Constraints: 38765
990.48/993.50 c #Conflicts: 744000 | #Constraints: 39765
990.48/993.50 c #Conflicts: 745000 | #Constraints: 40765
990.48/993.50 c #Conflicts: 746000 | #Constraints: 41765
990.48/993.50 c #Conflicts: 747000 | #Constraints: 42765
990.48/993.50 c #Conflicts: 748000 | #Constraints: 43765
990.48/993.50 c #Conflicts: 749000 | #Constraints: 44765
990.48/993.50 c #Conflicts: 750000 | #Constraints: 45765
990.48/993.50 c #Conflicts: 751000 | #Constraints: 46765
990.48/993.50 c #Conflicts: 752000 | #Constraints: 47765
990.48/993.50 c #Conflicts: 753000 | #Constraints: 48765
990.48/993.50 c #Conflicts: 754000 | #Constraints: 49765
990.48/993.50 c #Conflicts: 755000 | #Constraints: 50765
990.48/993.50 c #Conflicts: 756000 | #Constraints: 51765
990.48/993.50 c INPROCESSING
990.48/993.50 c GARBAGE COLLECT
990.48/993.50 c #Conflicts: 757000 | #Constraints: 35565
990.48/993.50 c #Conflicts: 758000 | #Constraints: 36565
990.48/993.50 c #Conflicts: 759000 | #Constraints: 37565
990.48/993.50 c #Conflicts: 760000 | #Constraints: 38565
990.48/993.50 c #Conflicts: 761000 | #Constraints: 39565
990.48/993.50 c #Conflicts: 762000 | #Constraints: 40565
990.48/993.50 c #Conflicts: 763000 | #Constraints: 41565
990.48/993.50 c #Conflicts: 764000 | #Constraints: 42565
990.48/993.50 c #Conflicts: 765000 | #Constraints: 43565
990.48/993.50 c #Conflicts: 766000 | #Constraints: 44565
990.48/993.50 c #Conflicts: 767000 | #Constraints: 45565
990.48/993.50 c #Conflicts: 768000 | #Constraints: 46565
990.48/993.50 c #Conflicts: 769000 | #Constraints: 47565
990.48/993.50 c #Conflicts: 770000 | #Constraints: 48565
990.48/993.50 c #Conflicts: 771000 | #Constraints: 49565
990.48/993.50 c #Conflicts: 772000 | #Constraints: 50565
990.48/993.50 c #Conflicts: 773000 | #Constraints: 51565
990.48/993.50 c #Conflicts: 774000 | #Constraints: 52565
990.48/993.50 c INPROCESSING
990.48/993.50 c GARBAGE COLLECT
990.48/993.50 c #Conflicts: 775000 | #Constraints: 36163
990.48/993.50 c #Conflicts: 776000 | #Constraints: 37163
990.48/993.50 c #Conflicts: 777000 | #Constraints: 38163
990.48/993.50 c #Conflicts: 778000 | #Constraints: 39163
990.48/993.50 c #Conflicts: 779000 | #Constraints: 40163
990.48/993.50 c #Conflicts: 780000 | #Constraints: 41163
990.48/993.50 c #Conflicts: 781000 | #Constraints: 42163
990.48/993.50 c #Conflicts: 782000 | #Constraints: 43163
990.48/993.50 c #Conflicts: 783000 | #Constraints: 44163
990.48/993.50 c #Conflicts: 784000 | #Constraints: 45163
990.48/993.50 c #Conflicts: 785000 | #Constraints: 46163
990.48/993.50 c #Conflicts: 786000 | #Constraints: 47163
990.48/993.50 c #Conflicts: 787000 | #Constraints: 48163
990.48/993.50 c #Conflicts: 788000 | #Constraints: 49163
990.48/993.50 c #Conflicts: 789000 | #Constraints: 50163
990.48/993.50 c #Conflicts: 790000 | #Constraints: 51163
990.48/993.50 c #Conflicts: 791000 | #Constraints: 52163
990.48/993.50 c #Conflicts: 792000 | #Constraints: 53163
990.48/993.50 c INPROCESSING
990.48/993.50 c GARBAGE COLLECT
990.48/993.50 c #Conflicts: 793000 | #Constraints: 36559
990.48/993.50 c #Conflicts: 794000 | #Constraints: 37559
990.48/993.50 c #Conflicts: 795000 | #Constraints: 38559
990.48/993.50 c #Conflicts: 796000 | #Constraints: 39559
990.48/993.50 c #Conflicts: 797000 | #Constraints: 40559
990.48/993.50 c #Conflicts: 798000 | #Constraints: 41559
990.48/993.50 c #Conflicts: 799000 | #Constraints: 42559
990.48/993.50 c #Conflicts: 800000 | #Constraints: 43559
990.48/993.50 c #Conflicts: 801000 | #Constraints: 44559
990.48/993.50 c #Conflicts: 802000 | #Constraints: 45559
990.48/993.50 c #Conflicts: 803000 | #Constraints: 46559
990.48/993.50 c #Conflicts: 804000 | #Constraints: 47559
990.48/993.50 c #Conflicts: 805000 | #Constraints: 48559
990.48/993.50 c #Conflicts: 806000 | #Constraints: 49559
990.48/993.50 c #Conflicts: 807000 | #Constraints: 50559
990.48/993.50 c #Conflicts: 808000 | #Constraints: 51559
990.48/993.50 c #Conflicts: 809000 | #Constraints: 52559
990.48/993.50 c #Conflicts: 810000 | #Constraints: 53559
1086.32/1089.65 c INPROCESSING
1086.32/1089.65 c GARBAGE COLLECT
1086.32/1089.65 c #Conflicts: 811000 | #Constraints: 36755
1086.32/1089.65 c #Conflicts: 812000 | #Constraints: 37755
1086.32/1089.65 c #Conflicts: 813000 | #Constraints: 38755
1086.32/1089.65 c #Conflicts: 814000 | #Constraints: 39755
1086.32/1089.65 c #Conflicts: 815000 | #Constraints: 40755
1086.32/1089.65 c #Conflicts: 816000 | #Constraints: 41755
1086.32/1089.65 c #Conflicts: 817000 | #Constraints: 42755
1086.32/1089.65 c #Conflicts: 818000 | #Constraints: 43755
1086.32/1089.65 c #Conflicts: 819000 | #Constraints: 44755
1086.32/1089.65 c #Conflicts: 820000 | #Constraints: 45755
1086.32/1089.65 c #Conflicts: 821000 | #Constraints: 46755
1086.32/1089.65 c #Conflicts: 822000 | #Constraints: 47755
1086.32/1089.65 c #Conflicts: 823000 | #Constraints: 48755
1086.32/1089.65 c #Conflicts: 824000 | #Constraints: 49755
1086.32/1089.65 c #Conflicts: 825000 | #Constraints: 50755
1086.32/1089.65 c #Conflicts: 826000 | #Constraints: 51755
1086.32/1089.65 c #Conflicts: 827000 | #Constraints: 52755
1086.32/1089.65 c #Conflicts: 828000 | #Constraints: 53755
1086.32/1089.65 c INPROCESSING
1086.32/1089.65 c GARBAGE COLLECT
1086.32/1089.65 c #Conflicts: 829000 | #Constraints: 36755
1086.32/1089.65 c #Conflicts: 830000 | #Constraints: 37755
1086.32/1089.65 c #Conflicts: 831000 | #Constraints: 38755
1086.32/1089.65 c #Conflicts: 832000 | #Constraints: 39755
1086.32/1089.65 c #Conflicts: 833000 | #Constraints: 40755
1086.32/1089.65 c #Conflicts: 834000 | #Constraints: 41755
1086.32/1089.65 c #Conflicts: 835000 | #Constraints: 42755
1086.32/1089.65 c #Conflicts: 836000 | #Constraints: 43755
1086.32/1089.65 c #Conflicts: 837000 | #Constraints: 44755
1086.32/1089.65 c #Conflicts: 838000 | #Constraints: 45755
1086.32/1089.65 c #Conflicts: 839000 | #Constraints: 46755
1086.32/1089.65 c #Conflicts: 840000 | #Constraints: 47755
1086.32/1089.65 c #Conflicts: 841000 | #Constraints: 48755
1086.32/1089.65 c #Conflicts: 842000 | #Constraints: 49755
1086.32/1089.65 c #Conflicts: 843000 | #Constraints: 50755
1086.32/1089.65 c #Conflicts: 844000 | #Constraints: 51755
1086.32/1089.65 c #Conflicts: 845000 | #Constraints: 52755
1086.32/1089.65 c #Conflicts: 846000 | #Constraints: 53755
1086.32/1089.65 c INPROCESSING
1086.32/1089.65 c GARBAGE COLLECT
1086.32/1089.65 c #Conflicts: 847000 | #Constraints: 36559
1086.32/1089.65 c #Conflicts: 848000 | #Constraints: 37559
1086.32/1089.65 c #Conflicts: 849000 | #Constraints: 38559
1086.32/1089.65 c #Conflicts: 850000 | #Constraints: 39559
1086.32/1089.65 c #Conflicts: 851000 | #Constraints: 40559
1086.32/1089.65 c #Conflicts: 852000 | #Constraints: 41559
1086.32/1089.65 c #Conflicts: 853000 | #Constraints: 42559
1086.32/1089.65 c #Conflicts: 854000 | #Constraints: 43559
1086.32/1089.65 c #Conflicts: 855000 | #Constraints: 44559
1086.32/1089.65 c #Conflicts: 856000 | #Constraints: 45559
1086.32/1089.65 c #Conflicts: 857000 | #Constraints: 46559
1086.32/1089.65 c #Conflicts: 858000 | #Constraints: 47559
1086.32/1089.65 c #Conflicts: 859000 | #Constraints: 48559
1086.32/1089.65 c #Conflicts: 860000 | #Constraints: 49559
1086.32/1089.65 c #Conflicts: 861000 | #Constraints: 50559
1086.32/1089.65 c #Conflicts: 862000 | #Constraints: 51559
1086.32/1089.65 c #Conflicts: 863000 | #Constraints: 52559
1086.32/1089.65 c #Conflicts: 864000 | #Constraints: 53559
1086.32/1089.65 c #Conflicts: 865000 | #Constraints: 54559
1086.32/1089.65 c INPROCESSING
1086.32/1089.65 c GARBAGE COLLECT
1086.32/1089.65 c #Conflicts: 866000 | #Constraints: 37164
1086.32/1089.65 c #Conflicts: 867000 | #Constraints: 38164
1086.32/1089.65 c #Conflicts: 868000 | #Constraints: 39164
1086.32/1089.65 c #Conflicts: 869000 | #Constraints: 40164
1086.32/1089.65 c #Conflicts: 870000 | #Constraints: 41164
1086.32/1089.65 c #Conflicts: 871000 | #Constraints: 42164
1086.32/1089.65 c #Conflicts: 872000 | #Constraints: 43164
1086.32/1089.65 c #Conflicts: 873000 | #Constraints: 44164
1086.32/1089.65 c #Conflicts: 874000 | #Constraints: 45164
1086.32/1089.65 c #Conflicts: 875000 | #Constraints: 46164
1086.32/1089.65 c #Conflicts: 876000 | #Constraints: 47164
1086.32/1089.65 c #Conflicts: 877000 | #Constraints: 48164
1086.32/1089.65 c #Conflicts: 878000 | #Constraints: 49164
1086.32/1089.65 c #Conflicts: 879000 | #Constraints: 50164
1086.32/1089.65 c #Conflicts: 880000 | #Constraints: 51164
1086.32/1089.65 c #Conflicts: 881000 | #Constraints: 52164
1086.32/1089.65 c #Conflicts: 882000 | #Constraints: 53164
1086.32/1089.65 c #Conflicts: 883000 | #Constraints: 54164
1086.32/1089.65 c #Conflicts: 884000 | #Constraints: 55164
1086.32/1089.65 c INPROCESSING
1086.32/1089.65 c GARBAGE COLLECT
1086.32/1089.65 c #Conflicts: 885000 | #Constraints: 37559
1086.32/1089.65 c #Conflicts: 886000 | #Constraints: 38559
1170.44/1173.99 c #Conflicts: 887000 | #Constraints: 39559
1170.44/1173.99 c #Conflicts: 888000 | #Constraints: 40559
1170.44/1173.99 c #Conflicts: 889000 | #Constraints: 41559
1170.44/1173.99 c #Conflicts: 890000 | #Constraints: 42559
1170.44/1173.99 c #Conflicts: 891000 | #Constraints: 43559
1170.44/1173.99 c #Conflicts: 892000 | #Constraints: 44559
1170.44/1173.99 c #Conflicts: 893000 | #Constraints: 45559
1170.44/1173.99 c #Conflicts: 894000 | #Constraints: 46559
1170.44/1173.99 c #Conflicts: 895000 | #Constraints: 47559
1170.44/1173.99 c #Conflicts: 896000 | #Constraints: 48559
1170.44/1173.99 c #Conflicts: 897000 | #Constraints: 49559
1170.44/1173.99 c #Conflicts: 898000 | #Constraints: 50559
1170.44/1173.99 c #Conflicts: 899000 | #Constraints: 51559
1170.44/1173.99 c #Conflicts: 900000 | #Constraints: 52559
1170.44/1173.99 c #Conflicts: 901000 | #Constraints: 53559
1170.44/1173.99 c #Conflicts: 902000 | #Constraints: 54559
1170.44/1173.99 c #Conflicts: 903000 | #Constraints: 55559
1170.44/1173.99 c INPROCESSING
1170.44/1173.99 c GARBAGE COLLECT
1170.44/1173.99 c #Conflicts: 904000 | #Constraints: 37758
1170.44/1173.99 c #Conflicts: 905000 | #Constraints: 38758
1170.44/1173.99 c #Conflicts: 906000 | #Constraints: 39758
1170.44/1173.99 c #Conflicts: 907000 | #Constraints: 40758
1170.44/1173.99 c #Conflicts: 908000 | #Constraints: 41758
1170.44/1173.99 c #Conflicts: 909000 | #Constraints: 42758
1170.44/1173.99 c #Conflicts: 910000 | #Constraints: 43758
1170.44/1173.99 c #Conflicts: 911000 | #Constraints: 44758
1170.44/1173.99 c #Conflicts: 912000 | #Constraints: 45758
1170.44/1173.99 c #Conflicts: 913000 | #Constraints: 46758
1170.44/1173.99 c #Conflicts: 914000 | #Constraints: 47758
1170.44/1173.99 c #Conflicts: 915000 | #Constraints: 48758
1170.44/1173.99 c #Conflicts: 916000 | #Constraints: 49758
1170.44/1173.99 c #Conflicts: 917000 | #Constraints: 50758
1170.44/1173.99 c #Conflicts: 918000 | #Constraints: 51758
1170.44/1173.99 c #Conflicts: 919000 | #Constraints: 52758
1170.44/1173.99 c #Conflicts: 920000 | #Constraints: 53758
1170.44/1173.99 c #Conflicts: 921000 | #Constraints: 54758
1170.44/1173.99 c #Conflicts: 922000 | #Constraints: 55758
1170.44/1173.99 c INPROCESSING
1170.44/1173.99 c GARBAGE COLLECT
1170.44/1173.99 c #Conflicts: 923000 | #Constraints: 37763
1170.44/1173.99 c #Conflicts: 924000 | #Constraints: 38763
1170.44/1173.99 c #Conflicts: 925000 | #Constraints: 39763
1170.44/1173.99 c #Conflicts: 926000 | #Constraints: 40763
1170.44/1173.99 c #Conflicts: 927000 | #Constraints: 41763
1170.44/1173.99 c #Conflicts: 928000 | #Constraints: 42763
1170.44/1173.99 c #Conflicts: 929000 | #Constraints: 43763
1170.44/1173.99 c #Conflicts: 930000 | #Constraints: 44763
1170.44/1173.99 c #Conflicts: 931000 | #Constraints: 45763
1170.44/1173.99 c #Conflicts: 932000 | #Constraints: 46763
1170.44/1173.99 c #Conflicts: 933000 | #Constraints: 47763
1170.44/1173.99 c #Conflicts: 934000 | #Constraints: 48763
1170.44/1173.99 c #Conflicts: 935000 | #Constraints: 49763
1170.44/1173.99 c #Conflicts: 936000 | #Constraints: 50763
1170.44/1173.99 c #Conflicts: 937000 | #Constraints: 51763
1170.44/1173.99 c #Conflicts: 938000 | #Constraints: 52763
1170.44/1173.99 c #Conflicts: 939000 | #Constraints: 53763
1170.44/1173.99 c #Conflicts: 940000 | #Constraints: 54763
1170.44/1173.99 c #Conflicts: 941000 | #Constraints: 55763
1170.44/1173.99 c INPROCESSING
1170.44/1173.99 c GARBAGE COLLECT
1170.44/1173.99 c #Conflicts: 942000 | #Constraints: 37565
1170.44/1173.99 c #Conflicts: 943000 | #Constraints: 38565
1170.44/1173.99 c #Conflicts: 944000 | #Constraints: 39565
1170.44/1173.99 c #Conflicts: 945000 | #Constraints: 40565
1170.44/1173.99 c #Conflicts: 946000 | #Constraints: 41565
1170.44/1173.99 c #Conflicts: 947000 | #Constraints: 42565
1170.44/1173.99 c #Conflicts: 948000 | #Constraints: 43565
1170.44/1173.99 c #Conflicts: 949000 | #Constraints: 44565
1170.44/1173.99 c #Conflicts: 950000 | #Constraints: 45565
1170.44/1173.99 c #Conflicts: 951000 | #Constraints: 46565
1170.44/1173.99 c #Conflicts: 952000 | #Constraints: 47565
1170.44/1173.99 c #Conflicts: 953000 | #Constraints: 48565
1170.44/1173.99 c #Conflicts: 954000 | #Constraints: 49565
1170.44/1173.99 c #Conflicts: 955000 | #Constraints: 50565
1170.44/1173.99 c #Conflicts: 956000 | #Constraints: 51565
1170.44/1173.99 c #Conflicts: 957000 | #Constraints: 52565
1170.44/1173.99 c #Conflicts: 958000 | #Constraints: 53565
1170.44/1173.99 c #Conflicts: 959000 | #Constraints: 54565
1170.44/1173.99 c #Conflicts: 960000 | #Constraints: 55565
1170.44/1173.99 c #Conflicts: 961000 | #Constraints: 56565
1170.44/1173.99 c INPROCESSING
1170.44/1173.99 c GARBAGE COLLECT
1170.44/1173.99 c #Conflicts: 962000 | #Constraints: 38168
1258.64/1262.38 c #Conflicts: 963000 | #Constraints: 39168
1258.64/1262.38 c #Conflicts: 964000 | #Constraints: 40168
1258.64/1262.38 c #Conflicts: 965000 | #Constraints: 41168
1258.64/1262.38 c #Conflicts: 966000 | #Constraints: 42168
1258.64/1262.38 c #Conflicts: 967000 | #Constraints: 43168
1258.64/1262.38 c #Conflicts: 968000 | #Constraints: 44168
1258.64/1262.38 c #Conflicts: 969000 | #Constraints: 45168
1258.64/1262.38 c #Conflicts: 970000 | #Constraints: 46168
1258.64/1262.38 c #Conflicts: 971000 | #Constraints: 47168
1258.64/1262.38 c #Conflicts: 972000 | #Constraints: 48168
1258.64/1262.38 c #Conflicts: 973000 | #Constraints: 49168
1258.64/1262.38 c #Conflicts: 974000 | #Constraints: 50168
1258.64/1262.38 c #Conflicts: 975000 | #Constraints: 51168
1258.64/1262.38 c #Conflicts: 976000 | #Constraints: 52168
1258.64/1262.38 c #Conflicts: 977000 | #Constraints: 53168
1258.64/1262.38 c #Conflicts: 978000 | #Constraints: 54168
1258.64/1262.38 c #Conflicts: 979000 | #Constraints: 55168
1258.64/1262.38 c #Conflicts: 980000 | #Constraints: 56168
1258.64/1262.38 c #Conflicts: 981000 | #Constraints: 57168
1258.64/1262.38 c INPROCESSING
1258.64/1262.38 c GARBAGE COLLECT
1258.64/1262.38 c #Conflicts: 982000 | #Constraints: 38561
1258.64/1262.38 c #Conflicts: 983000 | #Constraints: 39561
1258.64/1262.38 c #Conflicts: 984000 | #Constraints: 40561
1258.64/1262.38 c #Conflicts: 985000 | #Constraints: 41561
1258.64/1262.38 c #Conflicts: 986000 | #Constraints: 42561
1258.64/1262.38 c #Conflicts: 987000 | #Constraints: 43561
1258.64/1262.38 c #Conflicts: 988000 | #Constraints: 44561
1258.64/1262.38 c #Conflicts: 989000 | #Constraints: 45561
1258.64/1262.38 c #Conflicts: 990000 | #Constraints: 46561
1258.64/1262.38 c #Conflicts: 991000 | #Constraints: 47561
1258.64/1262.38 c #Conflicts: 992000 | #Constraints: 48561
1258.64/1262.38 c #Conflicts: 993000 | #Constraints: 49561
1258.64/1262.38 c #Conflicts: 994000 | #Constraints: 50561
1258.64/1262.38 c #Conflicts: 995000 | #Constraints: 51561
1258.64/1262.38 c #Conflicts: 996000 | #Constraints: 52561
1258.64/1262.38 c #Conflicts: 997000 | #Constraints: 53561
1258.64/1262.38 c #Conflicts: 998000 | #Constraints: 54561
1258.64/1262.38 c #Conflicts: 999000 | #Constraints: 55561
1258.64/1262.38 c #Conflicts: 1000000 | #Constraints: 56561
1258.64/1262.38 c #Conflicts: 1001000 | #Constraints: 57561
1258.64/1262.38 c INPROCESSING
1258.64/1262.38 c GARBAGE COLLECT
1258.64/1262.38 c #Conflicts: 1002000 | #Constraints: 38759
1258.64/1262.38 c #Conflicts: 1003000 | #Constraints: 39759
1258.64/1262.38 c #Conflicts: 1004000 | #Constraints: 40759
1258.64/1262.38 c #Conflicts: 1005000 | #Constraints: 41759
1258.64/1262.38 c #Conflicts: 1006000 | #Constraints: 42759
1258.64/1262.38 c #Conflicts: 1007000 | #Constraints: 43759
1258.64/1262.38 c #Conflicts: 1008000 | #Constraints: 44759
1258.64/1262.38 c #Conflicts: 1009000 | #Constraints: 45759
1258.64/1262.38 c #Conflicts: 1010000 | #Constraints: 46759
1258.64/1262.38 c #Conflicts: 1011000 | #Constraints: 47759
1258.64/1262.38 c #Conflicts: 1012000 | #Constraints: 48759
1258.64/1262.38 c #Conflicts: 1013000 | #Constraints: 49759
1258.64/1262.38 c #Conflicts: 1014000 | #Constraints: 50759
1258.64/1262.38 c #Conflicts: 1015000 | #Constraints: 51759
1258.64/1262.38 c #Conflicts: 1016000 | #Constraints: 52759
1258.64/1262.38 c #Conflicts: 1017000 | #Constraints: 53759
1258.64/1262.38 c #Conflicts: 1018000 | #Constraints: 54759
1258.64/1262.38 c #Conflicts: 1019000 | #Constraints: 55759
1258.64/1262.38 c #Conflicts: 1020000 | #Constraints: 56759
1258.64/1262.38 c #Conflicts: 1021000 | #Constraints: 57759
1258.64/1262.38 c INPROCESSING
1258.64/1262.38 c GARBAGE COLLECT
1258.64/1262.38 c #Conflicts: 1022000 | #Constraints: 38760
1258.64/1262.38 c #Conflicts: 1023000 | #Constraints: 39760
1258.64/1262.38 c #Conflicts: 1024000 | #Constraints: 40760
1258.64/1262.38 c #Conflicts: 1025000 | #Constraints: 41760
1258.64/1262.38 c #Conflicts: 1026000 | #Constraints: 42760
1258.64/1262.38 c #Conflicts: 1027000 | #Constraints: 43760
1258.64/1262.38 c #Conflicts: 1028000 | #Constraints: 44760
1258.64/1262.38 c #Conflicts: 1029000 | #Constraints: 45760
1258.64/1262.38 c #Conflicts: 1030000 | #Constraints: 46760
1258.64/1262.38 c #Conflicts: 1031000 | #Constraints: 47760
1258.64/1262.38 c #Conflicts: 1032000 | #Constraints: 48760
1258.64/1262.38 c #Conflicts: 1033000 | #Constraints: 49760
1258.64/1262.38 c #Conflicts: 1034000 | #Constraints: 50760
1258.64/1262.38 c #Conflicts: 1035000 | #Constraints: 51760
1258.64/1262.38 c #Conflicts: 1036000 | #Constraints: 52760
1258.64/1262.38 c #Conflicts: 1037000 | #Constraints: 53760
1258.64/1262.38 c #Conflicts: 1038000 | #Constraints: 54760
1258.64/1262.38 c #Conflicts: 1039000 | #Constraints: 55760
1344.05/1347.95 c #Conflicts: 1040000 | #Constraints: 56760
1344.05/1347.95 c #Conflicts: 1041000 | #Constraints: 57760
1344.05/1347.95 c INPROCESSING
1344.05/1347.95 c GARBAGE COLLECT
1344.05/1347.95 c #Conflicts: 1042000 | #Constraints: 38564
1344.05/1347.95 c #Conflicts: 1043000 | #Constraints: 39564
1344.05/1347.95 c #Conflicts: 1044000 | #Constraints: 40564
1344.05/1347.95 c #Conflicts: 1045000 | #Constraints: 41564
1344.05/1347.95 c #Conflicts: 1046000 | #Constraints: 42564
1344.05/1347.95 c #Conflicts: 1047000 | #Constraints: 43564
1344.05/1347.95 c #Conflicts: 1048000 | #Constraints: 44564
1344.05/1347.95 c #Conflicts: 1049000 | #Constraints: 45564
1344.05/1347.95 c #Conflicts: 1050000 | #Constraints: 46564
1344.05/1347.95 c #Conflicts: 1051000 | #Constraints: 47564
1344.05/1347.95 c #Conflicts: 1052000 | #Constraints: 48564
1344.05/1347.95 c #Conflicts: 1053000 | #Constraints: 49564
1344.05/1347.95 c #Conflicts: 1054000 | #Constraints: 50564
1344.05/1347.95 c #Conflicts: 1055000 | #Constraints: 51564
1344.05/1347.95 c #Conflicts: 1056000 | #Constraints: 52564
1344.05/1347.95 c #Conflicts: 1057000 | #Constraints: 53564
1344.05/1347.95 c #Conflicts: 1058000 | #Constraints: 54564
1344.05/1347.95 c #Conflicts: 1059000 | #Constraints: 55564
1344.05/1347.95 c #Conflicts: 1060000 | #Constraints: 56564
1344.05/1347.95 c #Conflicts: 1061000 | #Constraints: 57564
1344.05/1347.95 c #Conflicts: 1062000 | #Constraints: 58564
1344.05/1347.95 c INPROCESSING
1344.05/1347.95 c GARBAGE COLLECT
1344.05/1347.95 c #Conflicts: 1063000 | #Constraints: 39161
1344.05/1347.95 c #Conflicts: 1064000 | #Constraints: 40161
1344.05/1347.95 c #Conflicts: 1065000 | #Constraints: 41161
1344.05/1347.95 c #Conflicts: 1066000 | #Constraints: 42161
1344.05/1347.95 c #Conflicts: 1067000 | #Constraints: 43161
1344.05/1347.95 c #Conflicts: 1068000 | #Constraints: 44161
1344.05/1347.95 c #Conflicts: 1069000 | #Constraints: 45161
1344.05/1347.95 c #Conflicts: 1070000 | #Constraints: 46161
1344.05/1347.95 c #Conflicts: 1071000 | #Constraints: 47161
1344.05/1347.95 c #Conflicts: 1072000 | #Constraints: 48161
1344.05/1347.95 c #Conflicts: 1073000 | #Constraints: 49161
1344.05/1347.95 c #Conflicts: 1074000 | #Constraints: 50161
1344.05/1347.95 c #Conflicts: 1075000 | #Constraints: 51161
1344.05/1347.95 c #Conflicts: 1076000 | #Constraints: 52161
1344.05/1347.95 c #Conflicts: 1077000 | #Constraints: 53161
1344.05/1347.95 c #Conflicts: 1078000 | #Constraints: 54161
1344.05/1347.95 c #Conflicts: 1079000 | #Constraints: 55161
1344.05/1347.95 c #Conflicts: 1080000 | #Constraints: 56161
1344.05/1347.95 c #Conflicts: 1081000 | #Constraints: 57161
1344.05/1347.95 c #Conflicts: 1082000 | #Constraints: 58161
1344.05/1347.95 c #Conflicts: 1083000 | #Constraints: 59161
1344.05/1347.95 c INPROCESSING
1344.05/1347.95 c GARBAGE COLLECT
1344.05/1347.95 c #Conflicts: 1084000 | #Constraints: 39562
1344.05/1347.95 c #Conflicts: 1085000 | #Constraints: 40562
1344.05/1347.95 c #Conflicts: 1086000 | #Constraints: 41562
1344.05/1347.95 c #Conflicts: 1087000 | #Constraints: 42562
1344.05/1347.95 c #Conflicts: 1088000 | #Constraints: 43562
1344.05/1347.95 c #Conflicts: 1089000 | #Constraints: 44562
1344.05/1347.95 c #Conflicts: 1090000 | #Constraints: 45562
1344.05/1347.95 c #Conflicts: 1091000 | #Constraints: 46562
1344.05/1347.95 c #Conflicts: 1092000 | #Constraints: 47562
1344.05/1347.95 c #Conflicts: 1093000 | #Constraints: 48562
1344.05/1347.95 c #Conflicts: 1094000 | #Constraints: 49562
1344.05/1347.95 c #Conflicts: 1095000 | #Constraints: 50562
1344.05/1347.95 c #Conflicts: 1096000 | #Constraints: 51562
1344.05/1347.95 c #Conflicts: 1097000 | #Constraints: 52562
1344.05/1347.95 c #Conflicts: 1098000 | #Constraints: 53562
1344.05/1347.95 c #Conflicts: 1099000 | #Constraints: 54562
1344.05/1347.95 c #Conflicts: 1100000 | #Constraints: 55562
1344.05/1347.95 c #Conflicts: 1101000 | #Constraints: 56562
1344.05/1347.95 c #Conflicts: 1102000 | #Constraints: 57562
1344.05/1347.95 c #Conflicts: 1103000 | #Constraints: 58562
1344.05/1347.95 c #Conflicts: 1104000 | #Constraints: 59562
1344.05/1347.95 c INPROCESSING
1344.05/1347.95 c GARBAGE COLLECT
1344.05/1347.95 c #Conflicts: 1105000 | #Constraints: 39762
1344.05/1347.95 c #Conflicts: 1106000 | #Constraints: 40762
1344.05/1347.95 c #Conflicts: 1107000 | #Constraints: 41762
1344.05/1347.95 c #Conflicts: 1108000 | #Constraints: 42762
1344.05/1347.95 c #Conflicts: 1109000 | #Constraints: 43762
1344.05/1347.95 c #Conflicts: 1110000 | #Constraints: 44762
1344.05/1347.95 c #Conflicts: 1111000 | #Constraints: 45762
1344.05/1347.95 c #Conflicts: 1112000 | #Constraints: 46762
1344.05/1347.95 c #Conflicts: 1113000 | #Constraints: 47762
1344.05/1347.95 c #Conflicts: 1114000 | #Constraints: 48762
1344.05/1347.95 c #Conflicts: 1115000 | #Constraints: 49762
1451.92/1456.08 c #Conflicts: 1116000 | #Constraints: 50762
1451.92/1456.08 c #Conflicts: 1117000 | #Constraints: 51762
1451.92/1456.08 c #Conflicts: 1118000 | #Constraints: 52762
1451.92/1456.08 c #Conflicts: 1119000 | #Constraints: 53762
1451.92/1456.08 c #Conflicts: 1120000 | #Constraints: 54762
1451.92/1456.08 c #Conflicts: 1121000 | #Constraints: 55762
1451.92/1456.08 c #Conflicts: 1122000 | #Constraints: 56762
1451.92/1456.08 c #Conflicts: 1123000 | #Constraints: 57762
1451.92/1456.08 c #Conflicts: 1124000 | #Constraints: 58762
1451.92/1456.08 c #Conflicts: 1125000 | #Constraints: 59762
1451.92/1456.08 c INPROCESSING
1451.92/1456.08 c GARBAGE COLLECT
1451.92/1456.08 c #Conflicts: 1126000 | #Constraints: 39766
1451.92/1456.08 c #Conflicts: 1127000 | #Constraints: 40766
1451.92/1456.08 c #Conflicts: 1128000 | #Constraints: 41766
1451.92/1456.08 c #Conflicts: 1129000 | #Constraints: 42766
1451.92/1456.08 c #Conflicts: 1130000 | #Constraints: 43766
1451.92/1456.08 c #Conflicts: 1131000 | #Constraints: 44766
1451.92/1456.08 c #Conflicts: 1132000 | #Constraints: 45766
1451.92/1456.08 c #Conflicts: 1133000 | #Constraints: 46766
1451.92/1456.08 c #Conflicts: 1134000 | #Constraints: 47766
1451.92/1456.08 c #Conflicts: 1135000 | #Constraints: 48766
1451.92/1456.08 c #Conflicts: 1136000 | #Constraints: 49766
1451.92/1456.08 c #Conflicts: 1137000 | #Constraints: 50766
1451.92/1456.08 c #Conflicts: 1138000 | #Constraints: 51766
1451.92/1456.08 c #Conflicts: 1139000 | #Constraints: 52766
1451.92/1456.08 c #Conflicts: 1140000 | #Constraints: 53766
1451.92/1456.08 c #Conflicts: 1141000 | #Constraints: 54766
1451.92/1456.08 c #Conflicts: 1142000 | #Constraints: 55766
1451.92/1456.08 c #Conflicts: 1143000 | #Constraints: 56766
1451.92/1456.08 c #Conflicts: 1144000 | #Constraints: 57766
1451.92/1456.08 c #Conflicts: 1145000 | #Constraints: 58766
1451.92/1456.08 c #Conflicts: 1146000 | #Constraints: 59766
1451.92/1456.08 c INPROCESSING
1451.92/1456.08 c GARBAGE COLLECT
1451.92/1456.08 c #Conflicts: 1147000 | #Constraints: 39562
1451.92/1456.08 c #Conflicts: 1148000 | #Constraints: 40562
1451.92/1456.08 c #Conflicts: 1149000 | #Constraints: 41562
1451.92/1456.08 c #Conflicts: 1150000 | #Constraints: 42562
1451.92/1456.08 c #Conflicts: 1151000 | #Constraints: 43562
1451.92/1456.08 c #Conflicts: 1152000 | #Constraints: 44562
1451.92/1456.08 c #Conflicts: 1153000 | #Constraints: 45562
1451.92/1456.08 c #Conflicts: 1154000 | #Constraints: 46562
1451.92/1456.08 c #Conflicts: 1155000 | #Constraints: 47562
1451.92/1456.08 c #Conflicts: 1156000 | #Constraints: 48562
1451.92/1456.08 c #Conflicts: 1157000 | #Constraints: 49562
1451.92/1456.08 c #Conflicts: 1158000 | #Constraints: 50562
1451.92/1456.08 c #Conflicts: 1159000 | #Constraints: 51562
1451.92/1456.08 c #Conflicts: 1160000 | #Constraints: 52562
1451.92/1456.08 c #Conflicts: 1161000 | #Constraints: 53562
1451.92/1456.08 c #Conflicts: 1162000 | #Constraints: 54562
1451.92/1456.08 c #Conflicts: 1163000 | #Constraints: 55562
1451.92/1456.08 c #Conflicts: 1164000 | #Constraints: 56562
1451.92/1456.08 c #Conflicts: 1165000 | #Constraints: 57562
1451.92/1456.08 c #Conflicts: 1166000 | #Constraints: 58562
1451.92/1456.08 c #Conflicts: 1167000 | #Constraints: 59562
1451.92/1456.08 c #Conflicts: 1168000 | #Constraints: 60562
1451.92/1456.08 c INPROCESSING
1451.92/1456.08 c GARBAGE COLLECT
1451.92/1456.08 c #Conflicts: 1169000 | #Constraints: 40172
1451.92/1456.08 c #Conflicts: 1170000 | #Constraints: 41172
1451.92/1456.08 c #Conflicts: 1171000 | #Constraints: 42172
1451.92/1456.08 c #Conflicts: 1172000 | #Constraints: 43172
1451.92/1456.08 c #Conflicts: 1173000 | #Constraints: 44172
1451.92/1456.08 c #Conflicts: 1174000 | #Constraints: 45172
1451.92/1456.08 c #Conflicts: 1175000 | #Constraints: 46172
1451.92/1456.08 c #Conflicts: 1176000 | #Constraints: 47172
1451.92/1456.08 c #Conflicts: 1177000 | #Constraints: 48172
1451.92/1456.08 c #Conflicts: 1178000 | #Constraints: 49172
1451.92/1456.08 c #Conflicts: 1179000 | #Constraints: 50172
1451.92/1456.08 c #Conflicts: 1180000 | #Constraints: 51172
1451.92/1456.08 c #Conflicts: 1181000 | #Constraints: 52172
1451.92/1456.08 c #Conflicts: 1182000 | #Constraints: 53172
1451.92/1456.08 c #Conflicts: 1183000 | #Constraints: 54172
1451.92/1456.08 c #Conflicts: 1184000 | #Constraints: 55172
1451.92/1456.08 c #Conflicts: 1185000 | #Constraints: 56172
1451.92/1456.08 c #Conflicts: 1186000 | #Constraints: 57172
1451.92/1456.08 c #Conflicts: 1187000 | #Constraints: 58172
1451.92/1456.08 c #Conflicts: 1188000 | #Constraints: 59172
1451.92/1456.08 c #Conflicts: 1189000 | #Constraints: 60172
1451.92/1456.08 c #Conflicts: 1190000 | #Constraints: 61172
1451.92/1456.08 c INPROCESSING
1451.92/1456.08 c GARBAGE COLLECT
1451.92/1456.08 c #Conflicts: 1191000 | #Constraints: 40575
1563.17/1567.59 c #Conflicts: 1192000 | #Constraints: 41575
1563.17/1567.59 c #Conflicts: 1193000 | #Constraints: 42575
1563.17/1567.59 c #Conflicts: 1194000 | #Constraints: 43575
1563.17/1567.59 c #Conflicts: 1195000 | #Constraints: 44575
1563.17/1567.59 c #Conflicts: 1196000 | #Constraints: 45575
1563.17/1567.59 c #Conflicts: 1197000 | #Constraints: 46575
1563.17/1567.59 c #Conflicts: 1198000 | #Constraints: 47575
1563.17/1567.59 c #Conflicts: 1199000 | #Constraints: 48575
1563.17/1567.59 c #Conflicts: 1200000 | #Constraints: 49575
1563.17/1567.59 c #Conflicts: 1201000 | #Constraints: 50575
1563.17/1567.59 c #Conflicts: 1202000 | #Constraints: 51575
1563.17/1567.59 c #Conflicts: 1203000 | #Constraints: 52575
1563.17/1567.59 c #Conflicts: 1204000 | #Constraints: 53575
1563.17/1567.59 c #Conflicts: 1205000 | #Constraints: 54575
1563.17/1567.59 c #Conflicts: 1206000 | #Constraints: 55575
1563.17/1567.59 c #Conflicts: 1207000 | #Constraints: 56575
1563.17/1567.59 c #Conflicts: 1208000 | #Constraints: 57575
1563.17/1567.59 c #Conflicts: 1209000 | #Constraints: 58575
1563.17/1567.59 c #Conflicts: 1210000 | #Constraints: 59575
1563.17/1567.59 c #Conflicts: 1211000 | #Constraints: 60575
1563.17/1567.59 c #Conflicts: 1212000 | #Constraints: 61575
1563.17/1567.59 c INPROCESSING
1563.17/1567.59 c GARBAGE COLLECT
1563.17/1567.59 c #Conflicts: 1213000 | #Constraints: 40769
1563.17/1567.59 c #Conflicts: 1214000 | #Constraints: 41769
1563.17/1567.59 c #Conflicts: 1215000 | #Constraints: 42769
1563.17/1567.59 c #Conflicts: 1216000 | #Constraints: 43769
1563.17/1567.59 c #Conflicts: 1217000 | #Constraints: 44769
1563.17/1567.59 c #Conflicts: 1218000 | #Constraints: 45769
1563.17/1567.59 c #Conflicts: 1219000 | #Constraints: 46769
1563.17/1567.59 c #Conflicts: 1220000 | #Constraints: 47769
1563.17/1567.59 c #Conflicts: 1221000 | #Constraints: 48769
1563.17/1567.59 c #Conflicts: 1222000 | #Constraints: 49769
1563.17/1567.59 c #Conflicts: 1223000 | #Constraints: 50769
1563.17/1567.59 c #Conflicts: 1224000 | #Constraints: 51769
1563.17/1567.59 c #Conflicts: 1225000 | #Constraints: 52769
1563.17/1567.59 c #Conflicts: 1226000 | #Constraints: 53769
1563.17/1567.59 c #Conflicts: 1227000 | #Constraints: 54769
1563.17/1567.59 c #Conflicts: 1228000 | #Constraints: 55769
1563.17/1567.59 c #Conflicts: 1229000 | #Constraints: 56769
1563.17/1567.59 c #Conflicts: 1230000 | #Constraints: 57769
1563.17/1567.59 c #Conflicts: 1231000 | #Constraints: 58769
1563.17/1567.59 c #Conflicts: 1232000 | #Constraints: 59769
1563.17/1567.59 c #Conflicts: 1233000 | #Constraints: 60769
1563.17/1567.59 c #Conflicts: 1234000 | #Constraints: 61769
1563.17/1567.59 c INPROCESSING
1563.17/1567.59 c GARBAGE COLLECT
1563.17/1567.59 c #Conflicts: 1235000 | #Constraints: 40766
1563.17/1567.59 c #Conflicts: 1236000 | #Constraints: 41766
1563.17/1567.59 c #Conflicts: 1237000 | #Constraints: 42766
1563.17/1567.59 c #Conflicts: 1238000 | #Constraints: 43766
1563.17/1567.59 c #Conflicts: 1239000 | #Constraints: 44766
1563.17/1567.59 c #Conflicts: 1240000 | #Constraints: 45766
1563.17/1567.59 c #Conflicts: 1241000 | #Constraints: 46766
1563.17/1567.59 c #Conflicts: 1242000 | #Constraints: 47766
1563.17/1567.59 c #Conflicts: 1243000 | #Constraints: 48766
1563.17/1567.59 c #Conflicts: 1244000 | #Constraints: 49766
1563.17/1567.59 c #Conflicts: 1245000 | #Constraints: 50766
1563.17/1567.59 c #Conflicts: 1246000 | #Constraints: 51766
1563.17/1567.59 c #Conflicts: 1247000 | #Constraints: 52766
1563.17/1567.59 c #Conflicts: 1248000 | #Constraints: 53766
1563.17/1567.59 c #Conflicts: 1249000 | #Constraints: 54766
1563.17/1567.59 c #Conflicts: 1250000 | #Constraints: 55766
1563.17/1567.59 c #Conflicts: 1251000 | #Constraints: 56766
1563.17/1567.59 c #Conflicts: 1252000 | #Constraints: 57766
1563.17/1567.59 c #Conflicts: 1253000 | #Constraints: 58766
1563.17/1567.59 c #Conflicts: 1254000 | #Constraints: 59766
1563.17/1567.59 c #Conflicts: 1255000 | #Constraints: 60766
1563.17/1567.59 c #Conflicts: 1256000 | #Constraints: 61766
1563.17/1567.59 c INPROCESSING
1563.17/1567.59 c GARBAGE COLLECT
1563.17/1567.59 c #Conflicts: 1257000 | #Constraints: 40563
1563.17/1567.59 c #Conflicts: 1258000 | #Constraints: 41563
1563.17/1567.59 c #Conflicts: 1259000 | #Constraints: 42563
1563.17/1567.59 c #Conflicts: 1260000 | #Constraints: 43563
1563.17/1567.59 c #Conflicts: 1261000 | #Constraints: 44563
1563.17/1567.59 c #Conflicts: 1262000 | #Constraints: 45563
1563.17/1567.59 c #Conflicts: 1263000 | #Constraints: 46563
1563.17/1567.59 c #Conflicts: 1264000 | #Constraints: 47563
1563.17/1567.59 c #Conflicts: 1265000 | #Constraints: 48563
1563.17/1567.59 c #Conflicts: 1266000 | #Constraints: 49563
1563.17/1567.59 c #Conflicts: 1267000 | #Constraints: 50563
1563.17/1567.59 c #Conflicts: 1268000 | #Constraints: 51563
1675.52/1680.17 c #Conflicts: 1269000 | #Constraints: 52563
1675.52/1680.17 c #Conflicts: 1270000 | #Constraints: 53563
1675.52/1680.17 c #Conflicts: 1271000 | #Constraints: 54563
1675.52/1680.17 c #Conflicts: 1272000 | #Constraints: 55563
1675.52/1680.17 c #Conflicts: 1273000 | #Constraints: 56563
1675.52/1680.17 c #Conflicts: 1274000 | #Constraints: 57563
1675.52/1680.17 c #Conflicts: 1275000 | #Constraints: 58563
1675.52/1680.17 c #Conflicts: 1276000 | #Constraints: 59563
1675.52/1680.17 c #Conflicts: 1277000 | #Constraints: 60563
1675.52/1680.17 c #Conflicts: 1278000 | #Constraints: 61563
1675.52/1680.17 c #Conflicts: 1279000 | #Constraints: 62563
1675.52/1680.17 c INPROCESSING
1675.52/1680.17 c GARBAGE COLLECT
1675.52/1680.17 c #Conflicts: 1280000 | #Constraints: 41157
1675.52/1680.17 c #Conflicts: 1281000 | #Constraints: 42157
1675.52/1680.17 c #Conflicts: 1282000 | #Constraints: 43157
1675.52/1680.17 c #Conflicts: 1283000 | #Constraints: 44157
1675.52/1680.17 c #Conflicts: 1284000 | #Constraints: 45157
1675.52/1680.17 c #Conflicts: 1285000 | #Constraints: 46157
1675.52/1680.17 c #Conflicts: 1286000 | #Constraints: 47157
1675.52/1680.17 c #Conflicts: 1287000 | #Constraints: 48157
1675.52/1680.17 c #Conflicts: 1288000 | #Constraints: 49157
1675.52/1680.17 c #Conflicts: 1289000 | #Constraints: 50157
1675.52/1680.17 c #Conflicts: 1290000 | #Constraints: 51157
1675.52/1680.17 c #Conflicts: 1291000 | #Constraints: 52157
1675.52/1680.17 c #Conflicts: 1292000 | #Constraints: 53157
1675.52/1680.17 c #Conflicts: 1293000 | #Constraints: 54157
1675.52/1680.17 c #Conflicts: 1294000 | #Constraints: 55157
1675.52/1680.17 c #Conflicts: 1295000 | #Constraints: 56157
1675.52/1680.17 c #Conflicts: 1296000 | #Constraints: 57157
1675.52/1680.17 c #Conflicts: 1297000 | #Constraints: 58157
1675.52/1680.17 c #Conflicts: 1298000 | #Constraints: 59157
1675.52/1680.17 c #Conflicts: 1299000 | #Constraints: 60157
1675.52/1680.17 c #Conflicts: 1300000 | #Constraints: 61157
1675.52/1680.17 c #Conflicts: 1301000 | #Constraints: 62157
1675.52/1680.17 c #Conflicts: 1302000 | #Constraints: 63157
1675.52/1680.17 c INPROCESSING
1675.52/1680.17 c GARBAGE COLLECT
1675.52/1680.17 c #Conflicts: 1303000 | #Constraints: 41562
1675.52/1680.17 c #Conflicts: 1304000 | #Constraints: 42562
1675.52/1680.17 c #Conflicts: 1305000 | #Constraints: 43562
1675.52/1680.17 c #Conflicts: 1306000 | #Constraints: 44562
1675.52/1680.17 c #Conflicts: 1307000 | #Constraints: 45562
1675.52/1680.17 c #Conflicts: 1308000 | #Constraints: 46562
1675.52/1680.17 c #Conflicts: 1309000 | #Constraints: 47562
1675.52/1680.17 c #Conflicts: 1310000 | #Constraints: 48562
1675.52/1680.17 c #Conflicts: 1311000 | #Constraints: 49562
1675.52/1680.17 c #Conflicts: 1312000 | #Constraints: 50562
1675.52/1680.17 c #Conflicts: 1313000 | #Constraints: 51562
1675.52/1680.17 c #Conflicts: 1314000 | #Constraints: 52562
1675.52/1680.17 c #Conflicts: 1315000 | #Constraints: 53562
1675.52/1680.17 c #Conflicts: 1316000 | #Constraints: 54562
1675.52/1680.17 c #Conflicts: 1317000 | #Constraints: 55562
1675.52/1680.17 c #Conflicts: 1318000 | #Constraints: 56562
1675.52/1680.17 c #Conflicts: 1319000 | #Constraints: 57562
1675.52/1680.17 c #Conflicts: 1320000 | #Constraints: 58562
1675.52/1680.17 c #Conflicts: 1321000 | #Constraints: 59562
1675.52/1680.17 c #Conflicts: 1322000 | #Constraints: 60562
1675.52/1680.17 c #Conflicts: 1323000 | #Constraints: 61562
1675.52/1680.17 c #Conflicts: 1324000 | #Constraints: 62562
1675.52/1680.17 c #Conflicts: 1325000 | #Constraints: 63562
1675.52/1680.17 c INPROCESSING
1675.52/1680.17 c GARBAGE COLLECT
1675.52/1680.17 c #Conflicts: 1326000 | #Constraints: 41766
1675.52/1680.17 c #Conflicts: 1327000 | #Constraints: 42766
1675.52/1680.17 c #Conflicts: 1328000 | #Constraints: 43766
1675.52/1680.17 c #Conflicts: 1329000 | #Constraints: 44766
1675.52/1680.17 c #Conflicts: 1330000 | #Constraints: 45766
1675.52/1680.17 c #Conflicts: 1331000 | #Constraints: 46766
1675.52/1680.17 c #Conflicts: 1332000 | #Constraints: 47766
1675.52/1680.17 c #Conflicts: 1333000 | #Constraints: 48766
1675.52/1680.17 c #Conflicts: 1334000 | #Constraints: 49766
1675.52/1680.17 c #Conflicts: 1335000 | #Constraints: 50766
1675.52/1680.17 c #Conflicts: 1336000 | #Constraints: 51766
1675.52/1680.17 c #Conflicts: 1337000 | #Constraints: 52766
1675.52/1680.17 c #Conflicts: 1338000 | #Constraints: 53766
1675.52/1680.17 c #Conflicts: 1339000 | #Constraints: 54766
1675.52/1680.17 c #Conflicts: 1340000 | #Constraints: 55766
1675.52/1680.17 c #Conflicts: 1341000 | #Constraints: 56766
1675.52/1680.17 c #Conflicts: 1342000 | #Constraints: 57766
1675.52/1680.17 c #Conflicts: 1343000 | #Constraints: 58766
1675.52/1680.17 c #Conflicts: 1344000 | #Constraints: 59766
1675.52/1680.17 c #Conflicts: 1345000 | #Constraints: 60766
1825.94/1830.98 c #Conflicts: 1346000 | #Constraints: 61766
1825.94/1830.98 c #Conflicts: 1347000 | #Constraints: 62766
1825.94/1830.98 c #Conflicts: 1348000 | #Constraints: 63766
1825.94/1830.98 c INPROCESSING
1825.94/1830.98 c GARBAGE COLLECT
1825.94/1830.98 c #Conflicts: 1349000 | #Constraints: 41762
1825.94/1830.98 c #Conflicts: 1350000 | #Constraints: 42762
1825.94/1830.98 c #Conflicts: 1351000 | #Constraints: 43762
1825.94/1830.98 c #Conflicts: 1352000 | #Constraints: 44762
1825.94/1830.98 c #Conflicts: 1353000 | #Constraints: 45762
1825.94/1830.98 c #Conflicts: 1354000 | #Constraints: 46762
1825.94/1830.98 c #Conflicts: 1355000 | #Constraints: 47762
1825.94/1830.98 c #Conflicts: 1356000 | #Constraints: 48762
1825.94/1830.98 c #Conflicts: 1357000 | #Constraints: 49762
1825.94/1830.98 c #Conflicts: 1358000 | #Constraints: 50762
1825.94/1830.98 c #Conflicts: 1359000 | #Constraints: 51762
1825.94/1830.98 c #Conflicts: 1360000 | #Constraints: 52762
1825.94/1830.98 c #Conflicts: 1361000 | #Constraints: 53762
1825.94/1830.98 c #Conflicts: 1362000 | #Constraints: 54762
1825.94/1830.98 c #Conflicts: 1363000 | #Constraints: 55762
1825.94/1830.98 c #Conflicts: 1364000 | #Constraints: 56762
1825.94/1830.98 c #Conflicts: 1365000 | #Constraints: 57762
1825.94/1830.98 c #Conflicts: 1366000 | #Constraints: 58762
1825.94/1830.98 c #Conflicts: 1367000 | #Constraints: 59762
1825.94/1830.98 c #Conflicts: 1368000 | #Constraints: 60762
1825.94/1830.98 c #Conflicts: 1369000 | #Constraints: 61762
1825.94/1830.98 c #Conflicts: 1370000 | #Constraints: 62762
1825.94/1830.98 c #Conflicts: 1371000 | #Constraints: 63762
1825.94/1830.98 c INPROCESSING
1825.94/1830.98 c GARBAGE COLLECT
1825.94/1830.98 c #Conflicts: 1372000 | #Constraints: 41553
1825.94/1830.98 c #Conflicts: 1373000 | #Constraints: 42553
1825.94/1830.98 c #Conflicts: 1374000 | #Constraints: 43553
1825.94/1830.98 c #Conflicts: 1375000 | #Constraints: 44553
1825.94/1830.98 c #Conflicts: 1376000 | #Constraints: 45553
1825.94/1830.98 c #Conflicts: 1377000 | #Constraints: 46553
1825.94/1830.98 c #Conflicts: 1378000 | #Constraints: 47553
1825.94/1830.98 c #Conflicts: 1379000 | #Constraints: 48553
1825.94/1830.98 c #Conflicts: 1380000 | #Constraints: 49553
1825.94/1830.98 c #Conflicts: 1381000 | #Constraints: 50553
1825.94/1830.98 c #Conflicts: 1382000 | #Constraints: 51553
1825.94/1830.98 c #Conflicts: 1383000 | #Constraints: 52553
1825.94/1830.98 c #Conflicts: 1384000 | #Constraints: 53553
1825.94/1830.98 c #Conflicts: 1385000 | #Constraints: 54553
1825.94/1830.98 c #Conflicts: 1386000 | #Constraints: 55553
1825.94/1830.98 c #Conflicts: 1387000 | #Constraints: 56553
1825.94/1830.98 c #Conflicts: 1388000 | #Constraints: 57553
1825.94/1830.98 c #Conflicts: 1389000 | #Constraints: 58553
1825.94/1830.98 c #Conflicts: 1390000 | #Constraints: 59553
1825.94/1830.98 c #Conflicts: 1391000 | #Constraints: 60553
1825.94/1830.98 c #Conflicts: 1392000 | #Constraints: 61553
1825.94/1830.98 c #Conflicts: 1393000 | #Constraints: 62553
1825.94/1830.98 c #Conflicts: 1394000 | #Constraints: 63553
1825.94/1830.98 c #Conflicts: 1395000 | #Constraints: 64553
1825.94/1830.98 c INPROCESSING
1825.94/1830.98 c GARBAGE COLLECT
1825.94/1830.98 c #Conflicts: 1396000 | #Constraints: 42154
1825.94/1830.98 c #Conflicts: 1397000 | #Constraints: 43154
1825.94/1830.98 c #Conflicts: 1398000 | #Constraints: 44154
1825.94/1830.98 c #Conflicts: 1399000 | #Constraints: 45154
1825.94/1830.98 c #Conflicts: 1400000 | #Constraints: 46154
1825.94/1830.98 c #Conflicts: 1401000 | #Constraints: 47154
1825.94/1830.98 c #Conflicts: 1402000 | #Constraints: 48154
1825.94/1830.98 c #Conflicts: 1403000 | #Constraints: 49154
1825.94/1830.98 c #Conflicts: 1404000 | #Constraints: 50154
1825.94/1830.98 c #Conflicts: 1405000 | #Constraints: 51154
1825.94/1830.98 c #Conflicts: 1406000 | #Constraints: 52154
1825.94/1830.98 c #Conflicts: 1407000 | #Constraints: 53154
1825.94/1830.98 c #Conflicts: 1408000 | #Constraints: 54154
1825.94/1830.98 c #Conflicts: 1409000 | #Constraints: 55154
1825.94/1830.98 c #Conflicts: 1410000 | #Constraints: 56154
1825.94/1830.98 c #Conflicts: 1411000 | #Constraints: 57154
1825.94/1830.98 c #Conflicts: 1412000 | #Constraints: 58154
1825.94/1830.98 c #Conflicts: 1413000 | #Constraints: 59154
1825.94/1830.98 c #Conflicts: 1414000 | #Constraints: 60154
1825.94/1830.98 c #Conflicts: 1415000 | #Constraints: 61154
1825.94/1830.98 c #Conflicts: 1416000 | #Constraints: 62154
1825.94/1830.98 c #Conflicts: 1417000 | #Constraints: 63154
1825.94/1830.98 c #Conflicts: 1418000 | #Constraints: 64154
1825.94/1830.98 c #Conflicts: 1419000 | #Constraints: 65154
1825.94/1830.98 c INPROCESSING
1825.94/1830.98 c GARBAGE COLLECT
1825.94/1830.98 c #Conflicts: 1420000 | #Constraints: 42552
1825.94/1830.98 c #Conflicts: 1421000 | #Constraints: 43552
1988.65/1994.04 c #Conflicts: 1422000 | #Constraints: 44552
1988.65/1994.04 c #Conflicts: 1423000 | #Constraints: 45552
1988.65/1994.04 c #Conflicts: 1424000 | #Constraints: 46552
1988.65/1994.04 c #Conflicts: 1425000 | #Constraints: 47552
1988.65/1994.04 c #Conflicts: 1426000 | #Constraints: 48552
1988.65/1994.04 c #Conflicts: 1427000 | #Constraints: 49552
1988.65/1994.04 c #Conflicts: 1428000 | #Constraints: 50552
1988.65/1994.04 c #Conflicts: 1429000 | #Constraints: 51552
1988.65/1994.04 c #Conflicts: 1430000 | #Constraints: 52552
1988.65/1994.04 c #Conflicts: 1431000 | #Constraints: 53552
1988.65/1994.04 c #Conflicts: 1432000 | #Constraints: 54552
1988.65/1994.04 c #Conflicts: 1433000 | #Constraints: 55552
1988.65/1994.04 c #Conflicts: 1434000 | #Constraints: 56552
1988.65/1994.04 c #Conflicts: 1435000 | #Constraints: 57552
1988.65/1994.04 c #Conflicts: 1436000 | #Constraints: 58552
1988.65/1994.04 c #Conflicts: 1437000 | #Constraints: 59552
1988.65/1994.04 c #Conflicts: 1438000 | #Constraints: 60552
1988.65/1994.04 c #Conflicts: 1439000 | #Constraints: 61552
1988.65/1994.04 c #Conflicts: 1440000 | #Constraints: 62552
1988.65/1994.04 c #Conflicts: 1441000 | #Constraints: 63552
1988.65/1994.04 c #Conflicts: 1442000 | #Constraints: 64552
1988.65/1994.04 c #Conflicts: 1443000 | #Constraints: 65552
1988.65/1994.04 c INPROCESSING
1988.65/1994.04 c GARBAGE COLLECT
1988.65/1994.04 c #Conflicts: 1444000 | #Constraints: 42761
1988.65/1994.04 c #Conflicts: 1445000 | #Constraints: 43761
1988.65/1994.04 c #Conflicts: 1446000 | #Constraints: 44761
1988.65/1994.04 c #Conflicts: 1447000 | #Constraints: 45761
1988.65/1994.04 c #Conflicts: 1448000 | #Constraints: 46761
1988.65/1994.04 c #Conflicts: 1449000 | #Constraints: 47761
1988.65/1994.04 c #Conflicts: 1450000 | #Constraints: 48761
1988.65/1994.04 c #Conflicts: 1451000 | #Constraints: 49761
1988.65/1994.04 c #Conflicts: 1452000 | #Constraints: 50761
1988.65/1994.04 c #Conflicts: 1453000 | #Constraints: 51761
1988.65/1994.04 c #Conflicts: 1454000 | #Constraints: 52761
1988.65/1994.04 c #Conflicts: 1455000 | #Constraints: 53761
1988.65/1994.04 c #Conflicts: 1456000 | #Constraints: 54761
1988.65/1994.04 c #Conflicts: 1457000 | #Constraints: 55761
1988.65/1994.04 c #Conflicts: 1458000 | #Constraints: 56761
1988.65/1994.04 c #Conflicts: 1459000 | #Constraints: 57761
1988.65/1994.04 c #Conflicts: 1460000 | #Constraints: 58761
1988.65/1994.04 c #Conflicts: 1461000 | #Constraints: 59761
1988.65/1994.04 c #Conflicts: 1462000 | #Constraints: 60761
1988.65/1994.04 c #Conflicts: 1463000 | #Constraints: 61761
1988.65/1994.04 c #Conflicts: 1464000 | #Constraints: 62761
1988.65/1994.04 c #Conflicts: 1465000 | #Constraints: 63761
1988.65/1994.04 c #Conflicts: 1466000 | #Constraints: 64761
1988.65/1994.04 c #Conflicts: 1467000 | #Constraints: 65761
1988.65/1994.04 c INPROCESSING
1988.65/1994.04 c GARBAGE COLLECT
1988.65/1994.04 c #Conflicts: 1468000 | #Constraints: 42747
1988.65/1994.04 c #Conflicts: 1469000 | #Constraints: 43747
1988.65/1994.04 c #Conflicts: 1470000 | #Constraints: 44747
1988.65/1994.04 c #Conflicts: 1471000 | #Constraints: 45747
1988.65/1994.04 c #Conflicts: 1472000 | #Constraints: 46747
1988.65/1994.04 c #Conflicts: 1473000 | #Constraints: 47747
1988.65/1994.04 c #Conflicts: 1474000 | #Constraints: 48747
1988.65/1994.04 c #Conflicts: 1475000 | #Constraints: 49747
1988.65/1994.04 c #Conflicts: 1476000 | #Constraints: 50747
1988.65/1994.04 c #Conflicts: 1477000 | #Constraints: 51747
1988.65/1994.04 c #Conflicts: 1478000 | #Constraints: 52747
1988.65/1994.04 c #Conflicts: 1479000 | #Constraints: 53747
1988.65/1994.04 c #Conflicts: 1480000 | #Constraints: 54747
1988.65/1994.04 c #Conflicts: 1481000 | #Constraints: 55747
1988.65/1994.04 c #Conflicts: 1482000 | #Constraints: 56747
1988.65/1994.04 c #Conflicts: 1483000 | #Constraints: 57747
1988.65/1994.04 c #Conflicts: 1484000 | #Constraints: 58747
1988.65/1994.04 c #Conflicts: 1485000 | #Constraints: 59747
1988.65/1994.04 c #Conflicts: 1486000 | #Constraints: 60747
1988.65/1994.04 c #Conflicts: 1487000 | #Constraints: 61747
1988.65/1994.04 c #Conflicts: 1488000 | #Constraints: 62747
1988.65/1994.04 c #Conflicts: 1489000 | #Constraints: 63747
1988.65/1994.04 c #Conflicts: 1490000 | #Constraints: 64747
1988.65/1994.04 c #Conflicts: 1491000 | #Constraints: 65747
1988.65/1994.04 c INPROCESSING
1988.65/1994.04 c GARBAGE COLLECT
1988.65/1994.04 c #Conflicts: 1492000 | #Constraints: 42554
1988.65/1994.04 c #Conflicts: 1493000 | #Constraints: 43554
1988.65/1994.04 c #Conflicts: 1494000 | #Constraints: 44554
1988.65/1994.04 c #Conflicts: 1495000 | #Constraints: 45554
1988.65/1994.04 c #Conflicts: 1496000 | #Constraints: 46554
1988.65/1994.04 c #Conflicts: 1497000 | #Constraints: 47554
1988.65/1994.04 c #Conflicts: 1498000 | #Constraints: 48554
2141.17/2146.97 c #Conflicts: 1499000 | #Constraints: 49554
2141.17/2146.97 c #Conflicts: 1500000 | #Constraints: 50554
2141.17/2146.97 c #Conflicts: 1501000 | #Constraints: 51554
2141.17/2146.97 c #Conflicts: 1502000 | #Constraints: 52554
2141.17/2146.97 c #Conflicts: 1503000 | #Constraints: 53554
2141.17/2146.97 c #Conflicts: 1504000 | #Constraints: 54554
2141.17/2146.97 c #Conflicts: 1505000 | #Constraints: 55554
2141.17/2146.97 c #Conflicts: 1506000 | #Constraints: 56554
2141.17/2146.97 c #Conflicts: 1507000 | #Constraints: 57554
2141.17/2146.97 c #Conflicts: 1508000 | #Constraints: 58554
2141.17/2146.97 c #Conflicts: 1509000 | #Constraints: 59554
2141.17/2146.97 c #Conflicts: 1510000 | #Constraints: 60554
2141.17/2146.97 c #Conflicts: 1511000 | #Constraints: 61554
2141.17/2146.97 c #Conflicts: 1512000 | #Constraints: 62554
2141.17/2146.97 c #Conflicts: 1513000 | #Constraints: 63554
2141.17/2146.97 c #Conflicts: 1514000 | #Constraints: 64554
2141.17/2146.97 c #Conflicts: 1515000 | #Constraints: 65554
2141.17/2146.97 c #Conflicts: 1516000 | #Constraints: 66554
2141.17/2146.97 c INPROCESSING
2141.17/2146.97 c GARBAGE COLLECT
2141.17/2146.97 c #Conflicts: 1517000 | #Constraints: 43155
2141.17/2146.97 c #Conflicts: 1518000 | #Constraints: 44155
2141.17/2146.97 c #Conflicts: 1519000 | #Constraints: 45155
2141.17/2146.97 c #Conflicts: 1520000 | #Constraints: 46155
2141.17/2146.97 c #Conflicts: 1521000 | #Constraints: 47155
2141.17/2146.97 c #Conflicts: 1522000 | #Constraints: 48155
2141.17/2146.97 c #Conflicts: 1523000 | #Constraints: 49155
2141.17/2146.97 c #Conflicts: 1524000 | #Constraints: 50155
2141.17/2146.97 c #Conflicts: 1525000 | #Constraints: 51155
2141.17/2146.97 c #Conflicts: 1526000 | #Constraints: 52155
2141.17/2146.97 c #Conflicts: 1527000 | #Constraints: 53155
2141.17/2146.97 c #Conflicts: 1528000 | #Constraints: 54155
2141.17/2146.97 c #Conflicts: 1529000 | #Constraints: 55155
2141.17/2146.97 c #Conflicts: 1530000 | #Constraints: 56155
2141.17/2146.97 c #Conflicts: 1531000 | #Constraints: 57155
2141.17/2146.97 c #Conflicts: 1532000 | #Constraints: 58155
2141.17/2146.97 c #Conflicts: 1533000 | #Constraints: 59155
2141.17/2146.97 c #Conflicts: 1534000 | #Constraints: 60155
2141.17/2146.97 c #Conflicts: 1535000 | #Constraints: 61155
2141.17/2146.97 c #Conflicts: 1536000 | #Constraints: 62155
2141.17/2146.97 c #Conflicts: 1537000 | #Constraints: 63155
2141.17/2146.97 c #Conflicts: 1538000 | #Constraints: 64155
2141.17/2146.97 c #Conflicts: 1539000 | #Constraints: 65155
2141.17/2146.97 c #Conflicts: 1540000 | #Constraints: 66155
2141.17/2146.97 c #Conflicts: 1541000 | #Constraints: 67155
2141.17/2146.97 c INPROCESSING
2141.17/2146.97 c GARBAGE COLLECT
2141.17/2146.97 c #Conflicts: 1542000 | #Constraints: 43553
2141.17/2146.97 c #Conflicts: 1543000 | #Constraints: 44553
2141.17/2146.97 c #Conflicts: 1544000 | #Constraints: 45553
2141.17/2146.97 c #Conflicts: 1545000 | #Constraints: 46553
2141.17/2146.97 c #Conflicts: 1546000 | #Constraints: 47553
2141.17/2146.97 c #Conflicts: 1547000 | #Constraints: 48553
2141.17/2146.97 c #Conflicts: 1548000 | #Constraints: 49553
2141.17/2146.97 c #Conflicts: 1549000 | #Constraints: 50553
2141.17/2146.97 c #Conflicts: 1550000 | #Constraints: 51553
2141.17/2146.97 c #Conflicts: 1551000 | #Constraints: 52553
2141.17/2146.97 c #Conflicts: 1552000 | #Constraints: 53553
2141.17/2146.97 c #Conflicts: 1553000 | #Constraints: 54553
2141.17/2146.97 c #Conflicts: 1554000 | #Constraints: 55553
2141.17/2146.97 c #Conflicts: 1555000 | #Constraints: 56553
2141.17/2146.97 c #Conflicts: 1556000 | #Constraints: 57553
2141.17/2146.97 c #Conflicts: 1557000 | #Constraints: 58553
2141.17/2146.97 c #Conflicts: 1558000 | #Constraints: 59553
2141.17/2146.97 c #Conflicts: 1559000 | #Constraints: 60553
2141.17/2146.97 c #Conflicts: 1560000 | #Constraints: 61553
2141.17/2146.97 c #Conflicts: 1561000 | #Constraints: 62553
2141.17/2146.97 c #Conflicts: 1562000 | #Constraints: 63553
2141.17/2146.97 c #Conflicts: 1563000 | #Constraints: 64553
2141.17/2146.97 c #Conflicts: 1564000 | #Constraints: 65553
2141.17/2146.97 c #Conflicts: 1565000 | #Constraints: 66553
2141.17/2146.97 c #Conflicts: 1566000 | #Constraints: 67553
2141.17/2146.97 c INPROCESSING
2141.17/2146.97 c GARBAGE COLLECT
2141.17/2146.97 c #Conflicts: 1567000 | #Constraints: 43754
2141.17/2146.97 c #Conflicts: 1568000 | #Constraints: 44754
2141.17/2146.97 c #Conflicts: 1569000 | #Constraints: 45754
2141.17/2146.97 c #Conflicts: 1570000 | #Constraints: 46754
2141.17/2146.97 c #Conflicts: 1571000 | #Constraints: 47754
2141.17/2146.97 c #Conflicts: 1572000 | #Constraints: 48754
2141.17/2146.97 c #Conflicts: 1573000 | #Constraints: 49754
2141.17/2146.97 c #Conflicts: 1574000 | #Constraints: 50754
2141.17/2146.97 c #Conflicts: 1575000 | #Constraints: 51754
2294.59/2300.72 c #Conflicts: 1576000 | #Constraints: 52754
2294.59/2300.72 c #Conflicts: 1577000 | #Constraints: 53754
2294.59/2300.72 c #Conflicts: 1578000 | #Constraints: 54754
2294.59/2300.72 c #Conflicts: 1579000 | #Constraints: 55754
2294.59/2300.72 c #Conflicts: 1580000 | #Constraints: 56754
2294.59/2300.72 c #Conflicts: 1581000 | #Constraints: 57754
2294.59/2300.72 c #Conflicts: 1582000 | #Constraints: 58754
2294.59/2300.72 c #Conflicts: 1583000 | #Constraints: 59754
2294.59/2300.72 c #Conflicts: 1584000 | #Constraints: 60754
2294.59/2300.72 c #Conflicts: 1585000 | #Constraints: 61754
2294.59/2300.72 c #Conflicts: 1586000 | #Constraints: 62754
2294.59/2300.72 c #Conflicts: 1587000 | #Constraints: 63754
2294.59/2300.72 c #Conflicts: 1588000 | #Constraints: 64754
2294.59/2300.72 c #Conflicts: 1589000 | #Constraints: 65754
2294.59/2300.72 c #Conflicts: 1590000 | #Constraints: 66754
2294.59/2300.72 c #Conflicts: 1591000 | #Constraints: 67754
2294.59/2300.72 c INPROCESSING
2294.59/2300.72 c GARBAGE COLLECT
2294.59/2300.72 c #Conflicts: 1592000 | #Constraints: 43767
2294.59/2300.72 c #Conflicts: 1593000 | #Constraints: 44767
2294.59/2300.72 c #Conflicts: 1594000 | #Constraints: 45767
2294.59/2300.72 c #Conflicts: 1595000 | #Constraints: 46767
2294.59/2300.72 c #Conflicts: 1596000 | #Constraints: 47767
2294.59/2300.72 c #Conflicts: 1597000 | #Constraints: 48767
2294.59/2300.72 c #Conflicts: 1598000 | #Constraints: 49767
2294.59/2300.72 c #Conflicts: 1599000 | #Constraints: 50767
2294.59/2300.72 c #Conflicts: 1600000 | #Constraints: 51767
2294.59/2300.72 c #Conflicts: 1601000 | #Constraints: 52767
2294.59/2300.72 c #Conflicts: 1602000 | #Constraints: 53767
2294.59/2300.72 c #Conflicts: 1603000 | #Constraints: 54767
2294.59/2300.72 c #Conflicts: 1604000 | #Constraints: 55767
2294.59/2300.72 c #Conflicts: 1605000 | #Constraints: 56767
2294.59/2300.72 c #Conflicts: 1606000 | #Constraints: 57767
2294.59/2300.72 c #Conflicts: 1607000 | #Constraints: 58767
2294.59/2300.72 c #Conflicts: 1608000 | #Constraints: 59767
2294.59/2300.72 c #Conflicts: 1609000 | #Constraints: 60767
2294.59/2300.72 c #Conflicts: 1610000 | #Constraints: 61767
2294.59/2300.72 c #Conflicts: 1611000 | #Constraints: 62767
2294.59/2300.72 c #Conflicts: 1612000 | #Constraints: 63767
2294.59/2300.72 c #Conflicts: 1613000 | #Constraints: 64767
2294.59/2300.72 c #Conflicts: 1614000 | #Constraints: 65767
2294.59/2300.72 c #Conflicts: 1615000 | #Constraints: 66767
2294.59/2300.72 c #Conflicts: 1616000 | #Constraints: 67767
2294.59/2300.72 c INPROCESSING
2294.59/2300.72 c GARBAGE COLLECT
2294.59/2300.72 c #Conflicts: 1617000 | #Constraints: 43559
2294.59/2300.72 c #Conflicts: 1618000 | #Constraints: 44559
2294.59/2300.72 c #Conflicts: 1619000 | #Constraints: 45559
2294.59/2300.72 c #Conflicts: 1620000 | #Constraints: 46559
2294.59/2300.72 c #Conflicts: 1621000 | #Constraints: 47559
2294.59/2300.72 c #Conflicts: 1622000 | #Constraints: 48559
2294.59/2300.72 c #Conflicts: 1623000 | #Constraints: 49559
2294.59/2300.72 c #Conflicts: 1624000 | #Constraints: 50559
2294.59/2300.72 c #Conflicts: 1625000 | #Constraints: 51559
2294.59/2300.72 c #Conflicts: 1626000 | #Constraints: 52559
2294.59/2300.72 c #Conflicts: 1627000 | #Constraints: 53559
2294.59/2300.72 c #Conflicts: 1628000 | #Constraints: 54559
2294.59/2300.72 c #Conflicts: 1629000 | #Constraints: 55559
2294.59/2300.72 c #Conflicts: 1630000 | #Constraints: 56559
2294.59/2300.72 c #Conflicts: 1631000 | #Constraints: 57559
2294.59/2300.72 c #Conflicts: 1632000 | #Constraints: 58559
2294.59/2300.72 c #Conflicts: 1633000 | #Constraints: 59559
2294.59/2300.72 c #Conflicts: 1634000 | #Constraints: 60559
2294.59/2300.72 c #Conflicts: 1635000 | #Constraints: 61559
2294.59/2300.72 c #Conflicts: 1636000 | #Constraints: 62559
2294.59/2300.72 c #Conflicts: 1637000 | #Constraints: 63559
2294.59/2300.72 c #Conflicts: 1638000 | #Constraints: 64559
2294.59/2300.72 c #Conflicts: 1639000 | #Constraints: 65559
2294.59/2300.72 c #Conflicts: 1640000 | #Constraints: 66559
2294.59/2300.72 c #Conflicts: 1641000 | #Constraints: 67559
2294.59/2300.72 c #Conflicts: 1642000 | #Constraints: 68559
2294.59/2300.72 c INPROCESSING
2294.59/2300.72 c GARBAGE COLLECT
2294.59/2300.72 c #Conflicts: 1643000 | #Constraints: 44178
2294.59/2300.72 c #Conflicts: 1644000 | #Constraints: 45178
2294.59/2300.72 c #Conflicts: 1645000 | #Constraints: 46178
2294.59/2300.72 c #Conflicts: 1646000 | #Constraints: 47178
2294.59/2300.72 c #Conflicts: 1647000 | #Constraints: 48178
2294.59/2300.72 c #Conflicts: 1648000 | #Constraints: 49178
2294.59/2300.72 c #Conflicts: 1649000 | #Constraints: 50178
2294.59/2300.72 c #Conflicts: 1650000 | #Constraints: 51178
2294.59/2300.72 c #Conflicts: 1651000 | #Constraints: 52178
2294.59/2300.72 c #Conflicts: 1652000 | #Constraints: 53178
2477.44/2484.10 c #Conflicts: 1653000 | #Constraints: 54178
2477.44/2484.10 c #Conflicts: 1654000 | #Constraints: 55178
2477.44/2484.10 c #Conflicts: 1655000 | #Constraints: 56178
2477.44/2484.10 c #Conflicts: 1656000 | #Constraints: 57178
2477.44/2484.10 c #Conflicts: 1657000 | #Constraints: 58178
2477.44/2484.10 c #Conflicts: 1658000 | #Constraints: 59178
2477.44/2484.10 c #Conflicts: 1659000 | #Constraints: 60178
2477.44/2484.10 c #Conflicts: 1660000 | #Constraints: 61178
2477.44/2484.10 c #Conflicts: 1661000 | #Constraints: 62178
2477.44/2484.10 c #Conflicts: 1662000 | #Constraints: 63178
2477.44/2484.10 c #Conflicts: 1663000 | #Constraints: 64178
2477.44/2484.10 c #Conflicts: 1664000 | #Constraints: 65178
2477.44/2484.10 c #Conflicts: 1665000 | #Constraints: 66178
2477.44/2484.10 c #Conflicts: 1666000 | #Constraints: 67178
2477.44/2484.10 c #Conflicts: 1667000 | #Constraints: 68178
2477.44/2484.10 c #Conflicts: 1668000 | #Constraints: 69178
2477.44/2484.10 c INPROCESSING
2477.44/2484.10 c GARBAGE COLLECT
2477.44/2484.10 c #Conflicts: 1669000 | #Constraints: 44566
2477.44/2484.10 c #Conflicts: 1670000 | #Constraints: 45566
2477.44/2484.10 c #Conflicts: 1671000 | #Constraints: 46566
2477.44/2484.10 c #Conflicts: 1672000 | #Constraints: 47566
2477.44/2484.10 c #Conflicts: 1673000 | #Constraints: 48566
2477.44/2484.10 c #Conflicts: 1674000 | #Constraints: 49566
2477.44/2484.10 c #Conflicts: 1675000 | #Constraints: 50566
2477.44/2484.10 c #Conflicts: 1676000 | #Constraints: 51566
2477.44/2484.10 c #Conflicts: 1677000 | #Constraints: 52566
2477.44/2484.10 c #Conflicts: 1678000 | #Constraints: 53566
2477.44/2484.10 c #Conflicts: 1679000 | #Constraints: 54566
2477.44/2484.10 c #Conflicts: 1680000 | #Constraints: 55566
2477.44/2484.10 c #Conflicts: 1681000 | #Constraints: 56566
2477.44/2484.10 c #Conflicts: 1682000 | #Constraints: 57566
2477.44/2484.10 c #Conflicts: 1683000 | #Constraints: 58566
2477.44/2484.10 c #Conflicts: 1684000 | #Constraints: 59566
2477.44/2484.10 c #Conflicts: 1685000 | #Constraints: 60566
2477.44/2484.10 c #Conflicts: 1686000 | #Constraints: 61566
2477.44/2484.10 c #Conflicts: 1687000 | #Constraints: 62566
2477.44/2484.10 c #Conflicts: 1688000 | #Constraints: 63566
2477.44/2484.10 c #Conflicts: 1689000 | #Constraints: 64566
2477.44/2484.10 c #Conflicts: 1690000 | #Constraints: 65566
2477.44/2484.10 c #Conflicts: 1691000 | #Constraints: 66566
2477.44/2484.10 c #Conflicts: 1692000 | #Constraints: 67566
2477.44/2484.10 c #Conflicts: 1693000 | #Constraints: 68566
2477.44/2484.10 c #Conflicts: 1694000 | #Constraints: 69566
2477.44/2484.10 c INPROCESSING
2477.44/2484.10 c GARBAGE COLLECT
2477.44/2484.10 c #Conflicts: 1695000 | #Constraints: 44769
2477.44/2484.10 c #Conflicts: 1696000 | #Constraints: 45769
2477.44/2484.10 c #Conflicts: 1697000 | #Constraints: 46769
2477.44/2484.10 c #Conflicts: 1698000 | #Constraints: 47769
2477.44/2484.10 c #Conflicts: 1699000 | #Constraints: 48769
2477.44/2484.10 c #Conflicts: 1700000 | #Constraints: 49769
2477.44/2484.10 c #Conflicts: 1701000 | #Constraints: 50769
2477.44/2484.10 c #Conflicts: 1702000 | #Constraints: 51769
2477.44/2484.10 c #Conflicts: 1703000 | #Constraints: 52769
2477.44/2484.10 c #Conflicts: 1704000 | #Constraints: 53769
2477.44/2484.10 c #Conflicts: 1705000 | #Constraints: 54769
2477.44/2484.10 c #Conflicts: 1706000 | #Constraints: 55769
2477.44/2484.10 c #Conflicts: 1707000 | #Constraints: 56769
2477.44/2484.10 c #Conflicts: 1708000 | #Constraints: 57769
2477.44/2484.10 c #Conflicts: 1709000 | #Constraints: 58769
2477.44/2484.10 c #Conflicts: 1710000 | #Constraints: 59769
2477.44/2484.10 c #Conflicts: 1711000 | #Constraints: 60769
2477.44/2484.10 c #Conflicts: 1712000 | #Constraints: 61769
2477.44/2484.10 c #Conflicts: 1713000 | #Constraints: 62769
2477.44/2484.10 c #Conflicts: 1714000 | #Constraints: 63769
2477.44/2484.10 c #Conflicts: 1715000 | #Constraints: 64769
2477.44/2484.10 c #Conflicts: 1716000 | #Constraints: 65769
2477.44/2484.10 c #Conflicts: 1717000 | #Constraints: 66769
2477.44/2484.10 c #Conflicts: 1718000 | #Constraints: 67769
2477.44/2484.10 c #Conflicts: 1719000 | #Constraints: 68769
2477.44/2484.10 c #Conflicts: 1720000 | #Constraints: 69769
2477.44/2484.10 c INPROCESSING
2477.44/2484.10 c GARBAGE COLLECT
2477.44/2484.10 c #Conflicts: 1721000 | #Constraints: 44766
2477.44/2484.10 c #Conflicts: 1722000 | #Constraints: 45766
2477.44/2484.10 c #Conflicts: 1723000 | #Constraints: 46766
2477.44/2484.10 c #Conflicts: 1724000 | #Constraints: 47766
2477.44/2484.10 c #Conflicts: 1725000 | #Constraints: 48766
2477.44/2484.10 c #Conflicts: 1726000 | #Constraints: 49766
2477.44/2484.10 c #Conflicts: 1727000 | #Constraints: 50766
2477.44/2484.10 c #Conflicts: 1728000 | #Constraints: 51766
2477.44/2484.10 c #Conflicts: 1729000 | #Constraints: 52766
2643.12/2650.11 c #Conflicts: 1730000 | #Constraints: 53766
2643.12/2650.11 c #Conflicts: 1731000 | #Constraints: 54766
2643.12/2650.11 c #Conflicts: 1732000 | #Constraints: 55766
2643.12/2650.11 c #Conflicts: 1733000 | #Constraints: 56766
2643.12/2650.11 c #Conflicts: 1734000 | #Constraints: 57766
2643.12/2650.11 c #Conflicts: 1735000 | #Constraints: 58766
2643.12/2650.11 c #Conflicts: 1736000 | #Constraints: 59766
2643.12/2650.11 c #Conflicts: 1737000 | #Constraints: 60766
2643.12/2650.11 c #Conflicts: 1738000 | #Constraints: 61766
2643.12/2650.11 c #Conflicts: 1739000 | #Constraints: 62766
2643.12/2650.11 c #Conflicts: 1740000 | #Constraints: 63766
2643.12/2650.11 c #Conflicts: 1741000 | #Constraints: 64766
2643.12/2650.11 c #Conflicts: 1742000 | #Constraints: 65766
2643.12/2650.11 c #Conflicts: 1743000 | #Constraints: 66766
2643.12/2650.11 c #Conflicts: 1744000 | #Constraints: 67766
2643.12/2650.11 c #Conflicts: 1745000 | #Constraints: 68766
2643.12/2650.11 c #Conflicts: 1746000 | #Constraints: 69766
2643.12/2650.11 c INPROCESSING
2643.12/2650.11 c GARBAGE COLLECT
2643.12/2650.11 c #Conflicts: 1747000 | #Constraints: 44559
2643.12/2650.11 c #Conflicts: 1748000 | #Constraints: 45559
2643.12/2650.11 c #Conflicts: 1749000 | #Constraints: 46559
2643.12/2650.11 c #Conflicts: 1750000 | #Constraints: 47559
2643.12/2650.11 c #Conflicts: 1751000 | #Constraints: 48559
2643.12/2650.11 c #Conflicts: 1752000 | #Constraints: 49559
2643.12/2650.11 c #Conflicts: 1753000 | #Constraints: 50559
2643.12/2650.11 c #Conflicts: 1754000 | #Constraints: 51559
2643.12/2650.11 c #Conflicts: 1755000 | #Constraints: 52559
2643.12/2650.11 c #Conflicts: 1756000 | #Constraints: 53559
2643.12/2650.11 c #Conflicts: 1757000 | #Constraints: 54559
2643.12/2650.11 c #Conflicts: 1758000 | #Constraints: 55559
2643.12/2650.11 c #Conflicts: 1759000 | #Constraints: 56559
2643.12/2650.11 c #Conflicts: 1760000 | #Constraints: 57559
2643.12/2650.11 c #Conflicts: 1761000 | #Constraints: 58559
2643.12/2650.11 c #Conflicts: 1762000 | #Constraints: 59559
2643.12/2650.11 c #Conflicts: 1763000 | #Constraints: 60559
2643.12/2650.11 c #Conflicts: 1764000 | #Constraints: 61559
2643.12/2650.11 c #Conflicts: 1765000 | #Constraints: 62559
2643.12/2650.11 c #Conflicts: 1766000 | #Constraints: 63559
2643.12/2650.11 c #Conflicts: 1767000 | #Constraints: 64559
2643.12/2650.11 c #Conflicts: 1768000 | #Constraints: 65559
2643.12/2650.11 c #Conflicts: 1769000 | #Constraints: 66559
2643.12/2650.11 c #Conflicts: 1770000 | #Constraints: 67559
2643.12/2650.11 c #Conflicts: 1771000 | #Constraints: 68559
2643.12/2650.11 c #Conflicts: 1772000 | #Constraints: 69559
2643.12/2650.11 c #Conflicts: 1773000 | #Constraints: 70559
2643.12/2650.11 c INPROCESSING
2643.12/2650.11 c GARBAGE COLLECT
2643.12/2650.11 c #Conflicts: 1774000 | #Constraints: 45161
2643.12/2650.11 c #Conflicts: 1775000 | #Constraints: 46161
2643.12/2650.11 c #Conflicts: 1776000 | #Constraints: 47161
2643.12/2650.11 c #Conflicts: 1777000 | #Constraints: 48161
2643.12/2650.11 c #Conflicts: 1778000 | #Constraints: 49161
2643.12/2650.11 c #Conflicts: 1779000 | #Constraints: 50161
2643.12/2650.11 c #Conflicts: 1780000 | #Constraints: 51161
2643.12/2650.11 c #Conflicts: 1781000 | #Constraints: 52161
2643.12/2650.11 c #Conflicts: 1782000 | #Constraints: 53161
2643.12/2650.11 c #Conflicts: 1783000 | #Constraints: 54161
2643.12/2650.11 c #Conflicts: 1784000 | #Constraints: 55161
2643.12/2650.11 c #Conflicts: 1785000 | #Constraints: 56161
2643.12/2650.11 c #Conflicts: 1786000 | #Constraints: 57161
2643.12/2650.11 c #Conflicts: 1787000 | #Constraints: 58161
2643.12/2650.11 c #Conflicts: 1788000 | #Constraints: 59161
2643.12/2650.11 c #Conflicts: 1789000 | #Constraints: 60161
2643.12/2650.11 c #Conflicts: 1790000 | #Constraints: 61161
2643.12/2650.11 c #Conflicts: 1791000 | #Constraints: 62161
2643.12/2650.11 c #Conflicts: 1792000 | #Constraints: 63161
2643.12/2650.11 c #Conflicts: 1793000 | #Constraints: 64161
2643.12/2650.11 c #Conflicts: 1794000 | #Constraints: 65161
2643.12/2650.11 c #Conflicts: 1795000 | #Constraints: 66161
2643.12/2650.11 c #Conflicts: 1796000 | #Constraints: 67161
2643.12/2650.11 c #Conflicts: 1797000 | #Constraints: 68161
2643.12/2650.11 c #Conflicts: 1798000 | #Constraints: 69161
2643.12/2650.11 c #Conflicts: 1799000 | #Constraints: 70161
2643.12/2650.11 c #Conflicts: 1800000 | #Constraints: 71161
2643.12/2650.11 c INPROCESSING
2643.12/2650.11 c GARBAGE COLLECT
2643.12/2650.11 c #Conflicts: 1801000 | #Constraints: 45559
2643.12/2650.11 c #Conflicts: 1802000 | #Constraints: 46559
2643.12/2650.11 c #Conflicts: 1803000 | #Constraints: 47559
2643.12/2650.11 c #Conflicts: 1804000 | #Constraints: 48559
2643.12/2650.11 c #Conflicts: 1805000 | #Constraints: 49559
2643.12/2650.11 c #Conflicts: 1806000 | #Constraints: 50559
2767.48/2774.89 c #Conflicts: 1807000 | #Constraints: 51559
2767.48/2774.89 c #Conflicts: 1808000 | #Constraints: 52559
2767.48/2774.89 c #Conflicts: 1809000 | #Constraints: 53559
2767.48/2774.89 c #Conflicts: 1810000 | #Constraints: 54559
2767.48/2774.89 c #Conflicts: 1811000 | #Constraints: 55559
2767.48/2774.89 c #Conflicts: 1812000 | #Constraints: 56559
2767.48/2774.89 c #Conflicts: 1813000 | #Constraints: 57559
2767.48/2774.89 c #Conflicts: 1814000 | #Constraints: 58559
2767.48/2774.89 c #Conflicts: 1815000 | #Constraints: 59559
2767.48/2774.89 c #Conflicts: 1816000 | #Constraints: 60559
2767.48/2774.89 c #Conflicts: 1817000 | #Constraints: 61559
2767.48/2774.89 c #Conflicts: 1818000 | #Constraints: 62559
2767.48/2774.89 c #Conflicts: 1819000 | #Constraints: 63559
2767.48/2774.89 c #Conflicts: 1820000 | #Constraints: 64559
2767.48/2774.89 c #Conflicts: 1821000 | #Constraints: 65559
2767.48/2774.89 c #Conflicts: 1822000 | #Constraints: 66559
2767.48/2774.89 c #Conflicts: 1823000 | #Constraints: 67559
2767.48/2774.89 c #Conflicts: 1824000 | #Constraints: 68559
2767.48/2774.89 c #Conflicts: 1825000 | #Constraints: 69559
2767.48/2774.89 c #Conflicts: 1826000 | #Constraints: 70559
2767.48/2774.89 c #Conflicts: 1827000 | #Constraints: 71559
2767.48/2774.89 c INPROCESSING
2767.48/2774.89 c GARBAGE COLLECT
2767.48/2774.89 c #Conflicts: 1828000 | #Constraints: 45760
2767.48/2774.89 c #Conflicts: 1829000 | #Constraints: 46760
2767.48/2774.89 c #Conflicts: 1830000 | #Constraints: 47760
2767.48/2774.89 c #Conflicts: 1831000 | #Constraints: 48760
2767.48/2774.89 c #Conflicts: 1832000 | #Constraints: 49760
2767.48/2774.89 c #Conflicts: 1833000 | #Constraints: 50760
2767.48/2774.89 c #Conflicts: 1834000 | #Constraints: 51760
2767.48/2774.89 c #Conflicts: 1835000 | #Constraints: 52760
2767.48/2774.89 c #Conflicts: 1836000 | #Constraints: 53760
2767.48/2774.89 c #Conflicts: 1837000 | #Constraints: 54760
2767.48/2774.89 c #Conflicts: 1838000 | #Constraints: 55760
2767.48/2774.89 c #Conflicts: 1839000 | #Constraints: 56760
2767.48/2774.89 c #Conflicts: 1840000 | #Constraints: 57760
2767.48/2774.89 c #Conflicts: 1841000 | #Constraints: 58760
2767.48/2774.89 c #Conflicts: 1842000 | #Constraints: 59760
2767.48/2774.89 c #Conflicts: 1843000 | #Constraints: 60760
2767.48/2774.89 c #Conflicts: 1844000 | #Constraints: 61760
2767.48/2774.89 c #Conflicts: 1845000 | #Constraints: 62760
2767.48/2774.89 c #Conflicts: 1846000 | #Constraints: 63760
2767.48/2774.89 c #Conflicts: 1847000 | #Constraints: 64760
2767.48/2774.89 c #Conflicts: 1848000 | #Constraints: 65760
2767.48/2774.89 c #Conflicts: 1849000 | #Constraints: 66760
2767.48/2774.89 c #Conflicts: 1850000 | #Constraints: 67760
2767.48/2774.89 c #Conflicts: 1851000 | #Constraints: 68760
2767.48/2774.89 c #Conflicts: 1852000 | #Constraints: 69760
2767.48/2774.89 c #Conflicts: 1853000 | #Constraints: 70760
2767.48/2774.89 c #Conflicts: 1854000 | #Constraints: 71760
2767.48/2774.89 c INPROCESSING
2767.48/2774.89 c GARBAGE COLLECT
2767.48/2774.89 c #Conflicts: 1855000 | #Constraints: 45769
2767.48/2774.89 c #Conflicts: 1856000 | #Constraints: 46769
2767.48/2774.89 c #Conflicts: 1857000 | #Constraints: 47769
2767.48/2774.89 c #Conflicts: 1858000 | #Constraints: 48769
2767.48/2774.89 c #Conflicts: 1859000 | #Constraints: 49769
2767.48/2774.89 c #Conflicts: 1860000 | #Constraints: 50769
2767.48/2774.89 c #Conflicts: 1861000 | #Constraints: 51769
2767.48/2774.89 c #Conflicts: 1862000 | #Constraints: 52769
2767.48/2774.89 c #Conflicts: 1863000 | #Constraints: 53769
2767.48/2774.89 c #Conflicts: 1864000 | #Constraints: 54769
2767.48/2774.89 c #Conflicts: 1865000 | #Constraints: 55769
2767.48/2774.89 c #Conflicts: 1866000 | #Constraints: 56769
2767.48/2774.89 c #Conflicts: 1867000 | #Constraints: 57769
2767.48/2774.89 c #Conflicts: 1868000 | #Constraints: 58769
2767.48/2774.89 c #Conflicts: 1869000 | #Constraints: 59769
2767.48/2774.89 c #Conflicts: 1870000 | #Constraints: 60769
2767.48/2774.89 c #Conflicts: 1871000 | #Constraints: 61769
2767.48/2774.89 c #Conflicts: 1872000 | #Constraints: 62769
2767.48/2774.89 c #Conflicts: 1873000 | #Constraints: 63769
2767.48/2774.89 c #Conflicts: 1874000 | #Constraints: 64769
2767.48/2774.89 c #Conflicts: 1875000 | #Constraints: 65769
2767.48/2774.89 c #Conflicts: 1876000 | #Constraints: 66769
2767.48/2774.89 c #Conflicts: 1877000 | #Constraints: 67769
2767.48/2774.89 c #Conflicts: 1878000 | #Constraints: 68769
2767.48/2774.89 c #Conflicts: 1879000 | #Constraints: 69769
2767.48/2774.89 c #Conflicts: 1880000 | #Constraints: 70769
2767.48/2774.89 c #Conflicts: 1881000 | #Constraints: 71769
2767.48/2774.89 c INPROCESSING
2767.48/2774.89 c GARBAGE COLLECT
2767.48/2774.89 c #Conflicts: 1882000 | #Constraints: 45565
2767.48/2774.89 c #Conflicts: 1883000 | #Constraints: 46565
2903.29/2910.93 c #Conflicts: 1884000 | #Constraints: 47565
2903.29/2910.93 c #Conflicts: 1885000 | #Constraints: 48565
2903.29/2910.93 c #Conflicts: 1886000 | #Constraints: 49565
2903.29/2910.93 c #Conflicts: 1887000 | #Constraints: 50565
2903.29/2910.93 c #Conflicts: 1888000 | #Constraints: 51565
2903.29/2910.93 c #Conflicts: 1889000 | #Constraints: 52565
2903.29/2910.93 c #Conflicts: 1890000 | #Constraints: 53565
2903.29/2910.93 c #Conflicts: 1891000 | #Constraints: 54565
2903.29/2910.93 c #Conflicts: 1892000 | #Constraints: 55565
2903.29/2910.93 c #Conflicts: 1893000 | #Constraints: 56565
2903.29/2910.93 c #Conflicts: 1894000 | #Constraints: 57565
2903.29/2910.93 c #Conflicts: 1895000 | #Constraints: 58565
2903.29/2910.93 c #Conflicts: 1896000 | #Constraints: 59565
2903.29/2910.93 c #Conflicts: 1897000 | #Constraints: 60565
2903.29/2910.93 c #Conflicts: 1898000 | #Constraints: 61565
2903.29/2910.93 c #Conflicts: 1899000 | #Constraints: 62565
2903.29/2910.93 c #Conflicts: 1900000 | #Constraints: 63565
2903.29/2910.93 c #Conflicts: 1901000 | #Constraints: 64565
2903.29/2910.93 c #Conflicts: 1902000 | #Constraints: 65565
2903.29/2910.93 c #Conflicts: 1903000 | #Constraints: 66565
2903.29/2910.93 c #Conflicts: 1904000 | #Constraints: 67565
2903.29/2910.93 c #Conflicts: 1905000 | #Constraints: 68565
2903.29/2910.93 c #Conflicts: 1906000 | #Constraints: 69565
2903.29/2910.93 c #Conflicts: 1907000 | #Constraints: 70565
2903.29/2910.93 c #Conflicts: 1908000 | #Constraints: 71565
2903.29/2910.93 c #Conflicts: 1909000 | #Constraints: 72565
2903.29/2910.93 c INPROCESSING
2903.29/2910.93 c GARBAGE COLLECT
2903.29/2910.93 c #Conflicts: 1910000 | #Constraints: 46170
2903.29/2910.93 c #Conflicts: 1911000 | #Constraints: 47170
2903.29/2910.93 c #Conflicts: 1912000 | #Constraints: 48170
2903.29/2910.93 c #Conflicts: 1913000 | #Constraints: 49170
2903.29/2910.93 c #Conflicts: 1914000 | #Constraints: 50170
2903.29/2910.93 c #Conflicts: 1915000 | #Constraints: 51170
2903.29/2910.93 c #Conflicts: 1916000 | #Constraints: 52170
2903.29/2910.93 c #Conflicts: 1917000 | #Constraints: 53170
2903.29/2910.93 c #Conflicts: 1918000 | #Constraints: 54170
2903.29/2910.93 c #Conflicts: 1919000 | #Constraints: 55170
2903.29/2910.93 c #Conflicts: 1920000 | #Constraints: 56170
2903.29/2910.93 c #Conflicts: 1921000 | #Constraints: 57170
2903.29/2910.93 c #Conflicts: 1922000 | #Constraints: 58170
2903.29/2910.93 c #Conflicts: 1923000 | #Constraints: 59170
2903.29/2910.93 c #Conflicts: 1924000 | #Constraints: 60170
2903.29/2910.93 c #Conflicts: 1925000 | #Constraints: 61170
2903.29/2910.93 c #Conflicts: 1926000 | #Constraints: 62170
2903.29/2910.93 c #Conflicts: 1927000 | #Constraints: 63170
2903.29/2910.93 c #Conflicts: 1928000 | #Constraints: 64170
2903.29/2910.93 c #Conflicts: 1929000 | #Constraints: 65170
2903.29/2910.93 c #Conflicts: 1930000 | #Constraints: 66170
2903.29/2910.93 c #Conflicts: 1931000 | #Constraints: 67170
2903.29/2910.93 c #Conflicts: 1932000 | #Constraints: 68170
2903.29/2910.93 c #Conflicts: 1933000 | #Constraints: 69170
2903.29/2910.93 c #Conflicts: 1934000 | #Constraints: 70170
2903.29/2910.93 c #Conflicts: 1935000 | #Constraints: 71170
2903.29/2910.93 c #Conflicts: 1936000 | #Constraints: 72170
2903.29/2910.93 c #Conflicts: 1937000 | #Constraints: 73170
2903.29/2910.93 c INPROCESSING
2903.29/2910.93 c GARBAGE COLLECT
2903.29/2910.93 c #Conflicts: 1938000 | #Constraints: 46576
2903.29/2910.93 c #Conflicts: 1939000 | #Constraints: 47576
2903.29/2910.93 c #Conflicts: 1940000 | #Constraints: 48576
2903.29/2910.93 c #Conflicts: 1941000 | #Constraints: 49576
2903.29/2910.93 c #Conflicts: 1942000 | #Constraints: 50576
2903.29/2910.93 c #Conflicts: 1943000 | #Constraints: 51576
2903.29/2910.93 c #Conflicts: 1944000 | #Constraints: 52576
2903.29/2910.93 c #Conflicts: 1945000 | #Constraints: 53576
2903.29/2910.93 c #Conflicts: 1946000 | #Constraints: 54576
2903.29/2910.93 c #Conflicts: 1947000 | #Constraints: 55576
2903.29/2910.93 c #Conflicts: 1948000 | #Constraints: 56576
2903.29/2910.93 c #Conflicts: 1949000 | #Constraints: 57576
2903.29/2910.93 c #Conflicts: 1950000 | #Constraints: 58576
2903.29/2910.93 c #Conflicts: 1951000 | #Constraints: 59576
2903.29/2910.93 c #Conflicts: 1952000 | #Constraints: 60576
2903.29/2910.93 c #Conflicts: 1953000 | #Constraints: 61576
2903.29/2910.93 c #Conflicts: 1954000 | #Constraints: 62576
2903.29/2910.93 c #Conflicts: 1955000 | #Constraints: 63576
2903.29/2910.93 c #Conflicts: 1956000 | #Constraints: 64576
2903.29/2910.93 c #Conflicts: 1957000 | #Constraints: 65576
2903.29/2910.93 c #Conflicts: 1958000 | #Constraints: 66576
2903.29/2910.93 c #Conflicts: 1959000 | #Constraints: 67576
2903.29/2910.93 c #Conflicts: 1960000 | #Constraints: 68576
3047.37/3055.30 c #Conflicts: 1961000 | #Constraints: 69576
3047.37/3055.30 c #Conflicts: 1962000 | #Constraints: 70576
3047.37/3055.30 c #Conflicts: 1963000 | #Constraints: 71576
3047.37/3055.30 c #Conflicts: 1964000 | #Constraints: 72576
3047.37/3055.30 c #Conflicts: 1965000 | #Constraints: 73576
3047.37/3055.30 c INPROCESSING
3047.37/3055.30 c GARBAGE COLLECT
3047.37/3055.30 c #Conflicts: 1966000 | #Constraints: 46784
3047.37/3055.30 c #Conflicts: 1967000 | #Constraints: 47784
3047.37/3055.30 c #Conflicts: 1968000 | #Constraints: 48784
3047.37/3055.30 c #Conflicts: 1969000 | #Constraints: 49784
3047.37/3055.30 c #Conflicts: 1970000 | #Constraints: 50784
3047.37/3055.30 c #Conflicts: 1971000 | #Constraints: 51784
3047.37/3055.30 c #Conflicts: 1972000 | #Constraints: 52784
3047.37/3055.30 c #Conflicts: 1973000 | #Constraints: 53784
3047.37/3055.30 c #Conflicts: 1974000 | #Constraints: 54784
3047.37/3055.30 c #Conflicts: 1975000 | #Constraints: 55784
3047.37/3055.30 c #Conflicts: 1976000 | #Constraints: 56784
3047.37/3055.30 c #Conflicts: 1977000 | #Constraints: 57784
3047.37/3055.30 c #Conflicts: 1978000 | #Constraints: 58784
3047.37/3055.30 c #Conflicts: 1979000 | #Constraints: 59784
3047.37/3055.30 c #Conflicts: 1980000 | #Constraints: 60784
3047.37/3055.30 c #Conflicts: 1981000 | #Constraints: 61784
3047.37/3055.30 c #Conflicts: 1982000 | #Constraints: 62784
3047.37/3055.30 c #Conflicts: 1983000 | #Constraints: 63784
3047.37/3055.30 c #Conflicts: 1984000 | #Constraints: 64784
3047.37/3055.30 c #Conflicts: 1985000 | #Constraints: 65784
3047.37/3055.30 c #Conflicts: 1986000 | #Constraints: 66784
3047.37/3055.30 c #Conflicts: 1987000 | #Constraints: 67784
3047.37/3055.30 c #Conflicts: 1988000 | #Constraints: 68784
3047.37/3055.30 c #Conflicts: 1989000 | #Constraints: 69784
3047.37/3055.30 c #Conflicts: 1990000 | #Constraints: 70784
3047.37/3055.30 c #Conflicts: 1991000 | #Constraints: 71784
3047.37/3055.30 c #Conflicts: 1992000 | #Constraints: 72784
3047.37/3055.30 c #Conflicts: 1993000 | #Constraints: 73784
3047.37/3055.30 c INPROCESSING
3047.37/3055.30 c GARBAGE COLLECT
3047.37/3055.30 c #Conflicts: 1994000 | #Constraints: 46770
3047.37/3055.30 c #Conflicts: 1995000 | #Constraints: 47770
3047.37/3055.30 c #Conflicts: 1996000 | #Constraints: 48770
3047.37/3055.30 c #Conflicts: 1997000 | #Constraints: 49770
3047.37/3055.30 c #Conflicts: 1998000 | #Constraints: 50770
3047.37/3055.30 c #Conflicts: 1999000 | #Constraints: 51770
3047.37/3055.30 c #Conflicts: 2000000 | #Constraints: 52770
3047.37/3055.30 c #Conflicts: 2001000 | #Constraints: 53770
3047.37/3055.30 c #Conflicts: 2002000 | #Constraints: 54770
3047.37/3055.30 c #Conflicts: 2003000 | #Constraints: 55770
3047.37/3055.30 c #Conflicts: 2004000 | #Constraints: 56770
3047.37/3055.30 c #Conflicts: 2005000 | #Constraints: 57770
3047.37/3055.30 c #Conflicts: 2006000 | #Constraints: 58770
3047.37/3055.30 c #Conflicts: 2007000 | #Constraints: 59770
3047.37/3055.30 c #Conflicts: 2008000 | #Constraints: 60770
3047.37/3055.30 c #Conflicts: 2009000 | #Constraints: 61770
3047.37/3055.30 c #Conflicts: 2010000 | #Constraints: 62770
3047.37/3055.30 c #Conflicts: 2011000 | #Constraints: 63770
3047.37/3055.30 c #Conflicts: 2012000 | #Constraints: 64770
3047.37/3055.30 c #Conflicts: 2013000 | #Constraints: 65770
3047.37/3055.30 c #Conflicts: 2014000 | #Constraints: 66770
3047.37/3055.30 c #Conflicts: 2015000 | #Constraints: 67770
3047.37/3055.30 c #Conflicts: 2016000 | #Constraints: 68770
3047.37/3055.30 c #Conflicts: 2017000 | #Constraints: 69770
3047.37/3055.30 c #Conflicts: 2018000 | #Constraints: 70770
3047.37/3055.30 c #Conflicts: 2019000 | #Constraints: 71770
3047.37/3055.30 c #Conflicts: 2020000 | #Constraints: 72770
3047.37/3055.30 c #Conflicts: 2021000 | #Constraints: 73770
3047.37/3055.30 c INPROCESSING
3047.37/3055.30 c GARBAGE COLLECT
3047.37/3055.30 c #Conflicts: 2022000 | #Constraints: 46564
3047.37/3055.30 c #Conflicts: 2023000 | #Constraints: 47564
3047.37/3055.30 c #Conflicts: 2024000 | #Constraints: 48564
3047.37/3055.30 c #Conflicts: 2025000 | #Constraints: 49564
3047.37/3055.30 c #Conflicts: 2026000 | #Constraints: 50564
3047.37/3055.30 c #Conflicts: 2027000 | #Constraints: 51564
3047.37/3055.30 c #Conflicts: 2028000 | #Constraints: 52564
3047.37/3055.30 c #Conflicts: 2029000 | #Constraints: 53564
3047.37/3055.30 c #Conflicts: 2030000 | #Constraints: 54564
3047.37/3055.30 c #Conflicts: 2031000 | #Constraints: 55564
3047.37/3055.30 c #Conflicts: 2032000 | #Constraints: 56564
3047.37/3055.30 c #Conflicts: 2033000 | #Constraints: 57564
3047.37/3055.30 c #Conflicts: 2034000 | #Constraints: 58564
3047.37/3055.30 c #Conflicts: 2035000 | #Constraints: 59564
3047.37/3055.30 c #Conflicts: 2036000 | #Constraints: 60564
3047.37/3055.30 c #Conflicts: 2037000 | #Constraints: 61564
3187.86/3196.11 c #Conflicts: 2038000 | #Constraints: 62564
3187.86/3196.11 c #Conflicts: 2039000 | #Constraints: 63564
3187.86/3196.11 c #Conflicts: 2040000 | #Constraints: 64564
3187.86/3196.11 c #Conflicts: 2041000 | #Constraints: 65564
3187.86/3196.11 c #Conflicts: 2042000 | #Constraints: 66564
3187.86/3196.11 c #Conflicts: 2043000 | #Constraints: 67564
3187.86/3196.11 c #Conflicts: 2044000 | #Constraints: 68564
3187.86/3196.11 c #Conflicts: 2045000 | #Constraints: 69564
3187.86/3196.11 c #Conflicts: 2046000 | #Constraints: 70564
3187.86/3196.11 c #Conflicts: 2047000 | #Constraints: 71564
3187.86/3196.11 c #Conflicts: 2048000 | #Constraints: 72564
3187.86/3196.11 c #Conflicts: 2049000 | #Constraints: 73564
3187.86/3196.11 c #Conflicts: 2050000 | #Constraints: 74564
3187.86/3196.11 c INPROCESSING
3187.86/3196.11 c GARBAGE COLLECT
3187.86/3196.11 c #Conflicts: 2051000 | #Constraints: 47156
3187.86/3196.11 c #Conflicts: 2052000 | #Constraints: 48156
3187.86/3196.11 c #Conflicts: 2053000 | #Constraints: 49156
3187.86/3196.11 c #Conflicts: 2054000 | #Constraints: 50156
3187.86/3196.11 c #Conflicts: 2055000 | #Constraints: 51156
3187.86/3196.11 c #Conflicts: 2056000 | #Constraints: 52156
3187.86/3196.11 c #Conflicts: 2057000 | #Constraints: 53156
3187.86/3196.11 c #Conflicts: 2058000 | #Constraints: 54156
3187.86/3196.11 c #Conflicts: 2059000 | #Constraints: 55156
3187.86/3196.11 c #Conflicts: 2060000 | #Constraints: 56156
3187.86/3196.11 c #Conflicts: 2061000 | #Constraints: 57156
3187.86/3196.11 c #Conflicts: 2062000 | #Constraints: 58156
3187.86/3196.11 c #Conflicts: 2063000 | #Constraints: 59156
3187.86/3196.11 c #Conflicts: 2064000 | #Constraints: 60156
3187.86/3196.11 c #Conflicts: 2065000 | #Constraints: 61156
3187.86/3196.11 c #Conflicts: 2066000 | #Constraints: 62156
3187.86/3196.11 c #Conflicts: 2067000 | #Constraints: 63156
3187.86/3196.11 c #Conflicts: 2068000 | #Constraints: 64156
3187.86/3196.11 c #Conflicts: 2069000 | #Constraints: 65156
3187.86/3196.11 c #Conflicts: 2070000 | #Constraints: 66156
3187.86/3196.11 c #Conflicts: 2071000 | #Constraints: 67156
3187.86/3196.11 c #Conflicts: 2072000 | #Constraints: 68156
3187.86/3196.11 c #Conflicts: 2073000 | #Constraints: 69156
3187.86/3196.11 c #Conflicts: 2074000 | #Constraints: 70156
3187.86/3196.11 c #Conflicts: 2075000 | #Constraints: 71156
3187.86/3196.11 c #Conflicts: 2076000 | #Constraints: 72156
3187.86/3196.11 c #Conflicts: 2077000 | #Constraints: 73156
3187.86/3196.11 c #Conflicts: 2078000 | #Constraints: 74156
3187.86/3196.11 c #Conflicts: 2079000 | #Constraints: 75156
3187.86/3196.11 c INPROCESSING
3187.86/3196.11 c GARBAGE COLLECT
3187.86/3196.11 c #Conflicts: 2080000 | #Constraints: 47560
3187.86/3196.11 c #Conflicts: 2081000 | #Constraints: 48560
3187.86/3196.11 c #Conflicts: 2082000 | #Constraints: 49560
3187.86/3196.11 c #Conflicts: 2083000 | #Constraints: 50560
3187.86/3196.11 c #Conflicts: 2084000 | #Constraints: 51560
3187.86/3196.11 c #Conflicts: 2085000 | #Constraints: 52560
3187.86/3196.11 c #Conflicts: 2086000 | #Constraints: 53560
3187.86/3196.11 c #Conflicts: 2087000 | #Constraints: 54560
3187.86/3196.11 c #Conflicts: 2088000 | #Constraints: 55560
3187.86/3196.11 c #Conflicts: 2089000 | #Constraints: 56560
3187.86/3196.11 c #Conflicts: 2090000 | #Constraints: 57560
3187.86/3196.11 c #Conflicts: 2091000 | #Constraints: 58560
3187.86/3196.11 c #Conflicts: 2092000 | #Constraints: 59560
3187.86/3196.11 c #Conflicts: 2093000 | #Constraints: 60560
3187.86/3196.11 c #Conflicts: 2094000 | #Constraints: 61560
3187.86/3196.11 c #Conflicts: 2095000 | #Constraints: 62560
3187.86/3196.11 c #Conflicts: 2096000 | #Constraints: 63560
3187.86/3196.11 c #Conflicts: 2097000 | #Constraints: 64560
3187.86/3196.11 c #Conflicts: 2098000 | #Constraints: 65560
3187.86/3196.11 c #Conflicts: 2099000 | #Constraints: 66560
3187.86/3196.11 c #Conflicts: 2100000 | #Constraints: 67560
3187.86/3196.11 c #Conflicts: 2101000 | #Constraints: 68560
3187.86/3196.11 c #Conflicts: 2102000 | #Constraints: 69560
3187.86/3196.11 c #Conflicts: 2103000 | #Constraints: 70560
3187.86/3196.11 c #Conflicts: 2104000 | #Constraints: 71560
3187.86/3196.11 c #Conflicts: 2105000 | #Constraints: 72560
3187.86/3196.11 c #Conflicts: 2106000 | #Constraints: 73560
3187.86/3196.11 c #Conflicts: 2107000 | #Constraints: 74560
3187.86/3196.11 c #Conflicts: 2108000 | #Constraints: 75560
3187.86/3196.11 c INPROCESSING
3187.86/3196.11 c GARBAGE COLLECT
3187.86/3196.11 c #Conflicts: 2109000 | #Constraints: 47762
3187.86/3196.11 c #Conflicts: 2110000 | #Constraints: 48762
3187.86/3196.11 c #Conflicts: 2111000 | #Constraints: 49762
3187.86/3196.11 c #Conflicts: 2112000 | #Constraints: 50762
3187.86/3196.11 c #Conflicts: 2113000 | #Constraints: 51762
3187.86/3196.11 c #Conflicts: 2114000 | #Constraints: 52762
3312.17/3320.72 c #Conflicts: 2115000 | #Constraints: 53762
3312.17/3320.72 c #Conflicts: 2116000 | #Constraints: 54762
3312.17/3320.72 c #Conflicts: 2117000 | #Constraints: 55762
3312.17/3320.72 c #Conflicts: 2118000 | #Constraints: 56762
3312.17/3320.72 c #Conflicts: 2119000 | #Constraints: 57762
3312.17/3320.72 c #Conflicts: 2120000 | #Constraints: 58762
3312.17/3320.72 c #Conflicts: 2121000 | #Constraints: 59762
3312.17/3320.72 c #Conflicts: 2122000 | #Constraints: 60762
3312.17/3320.72 c #Conflicts: 2123000 | #Constraints: 61762
3312.17/3320.72 c #Conflicts: 2124000 | #Constraints: 62762
3312.17/3320.72 c #Conflicts: 2125000 | #Constraints: 63762
3312.17/3320.72 c #Conflicts: 2126000 | #Constraints: 64762
3312.17/3320.72 c #Conflicts: 2127000 | #Constraints: 65762
3312.17/3320.72 c #Conflicts: 2128000 | #Constraints: 66762
3312.17/3320.72 c #Conflicts: 2129000 | #Constraints: 67762
3312.17/3320.72 c #Conflicts: 2130000 | #Constraints: 68762
3312.17/3320.72 c #Conflicts: 2131000 | #Constraints: 69762
3312.17/3320.72 c #Conflicts: 2132000 | #Constraints: 70762
3312.17/3320.72 c #Conflicts: 2133000 | #Constraints: 71762
3312.17/3320.72 c #Conflicts: 2134000 | #Constraints: 72762
3312.17/3320.72 c #Conflicts: 2135000 | #Constraints: 73762
3312.17/3320.72 c #Conflicts: 2136000 | #Constraints: 74762
3312.17/3320.72 c #Conflicts: 2137000 | #Constraints: 75762
3312.17/3320.72 c INPROCESSING
3312.17/3320.72 c GARBAGE COLLECT
3312.17/3320.72 c #Conflicts: 2138000 | #Constraints: 47764
3312.17/3320.72 c #Conflicts: 2139000 | #Constraints: 48764
3312.17/3320.72 c #Conflicts: 2140000 | #Constraints: 49764
3312.17/3320.72 c #Conflicts: 2141000 | #Constraints: 50764
3312.17/3320.72 c #Conflicts: 2142000 | #Constraints: 51764
3312.17/3320.72 c #Conflicts: 2143000 | #Constraints: 52764
3312.17/3320.72 c #Conflicts: 2144000 | #Constraints: 53764
3312.17/3320.72 c #Conflicts: 2145000 | #Constraints: 54764
3312.17/3320.72 c #Conflicts: 2146000 | #Constraints: 55764
3312.17/3320.72 c #Conflicts: 2147000 | #Constraints: 56764
3312.17/3320.72 c #Conflicts: 2148000 | #Constraints: 57764
3312.17/3320.72 c #Conflicts: 2149000 | #Constraints: 58764
3312.17/3320.72 c #Conflicts: 2150000 | #Constraints: 59764
3312.17/3320.72 c #Conflicts: 2151000 | #Constraints: 60764
3312.17/3320.72 c #Conflicts: 2152000 | #Constraints: 61764
3312.17/3320.72 c #Conflicts: 2153000 | #Constraints: 62764
3312.17/3320.72 c #Conflicts: 2154000 | #Constraints: 63764
3312.17/3320.72 c #Conflicts: 2155000 | #Constraints: 64764
3312.17/3320.72 c #Conflicts: 2156000 | #Constraints: 65764
3312.17/3320.72 c #Conflicts: 2157000 | #Constraints: 66764
3312.17/3320.72 c #Conflicts: 2158000 | #Constraints: 67764
3312.17/3320.72 c #Conflicts: 2159000 | #Constraints: 68764
3312.17/3320.72 c #Conflicts: 2160000 | #Constraints: 69764
3312.17/3320.72 c #Conflicts: 2161000 | #Constraints: 70764
3312.17/3320.72 c #Conflicts: 2162000 | #Constraints: 71764
3312.17/3320.72 c #Conflicts: 2163000 | #Constraints: 72764
3312.17/3320.72 c #Conflicts: 2164000 | #Constraints: 73764
3312.17/3320.72 c #Conflicts: 2165000 | #Constraints: 74764
3312.17/3320.72 c #Conflicts: 2166000 | #Constraints: 75764
3312.17/3320.72 c INPROCESSING
3312.17/3320.72 c GARBAGE COLLECT
3312.17/3320.72 c #Conflicts: 2167000 | #Constraints: 47568
3312.17/3320.72 c #Conflicts: 2168000 | #Constraints: 48568
3312.17/3320.72 c #Conflicts: 2169000 | #Constraints: 49568
3312.17/3320.72 c #Conflicts: 2170000 | #Constraints: 50568
3312.17/3320.72 c #Conflicts: 2171000 | #Constraints: 51568
3312.17/3320.72 c #Conflicts: 2172000 | #Constraints: 52568
3312.17/3320.72 c #Conflicts: 2173000 | #Constraints: 53568
3312.17/3320.72 c #Conflicts: 2174000 | #Constraints: 54568
3312.17/3320.72 c #Conflicts: 2175000 | #Constraints: 55568
3312.17/3320.72 c #Conflicts: 2176000 | #Constraints: 56568
3312.17/3320.72 c #Conflicts: 2177000 | #Constraints: 57568
3312.17/3320.72 c #Conflicts: 2178000 | #Constraints: 58568
3312.17/3320.72 c #Conflicts: 2179000 | #Constraints: 59568
3312.17/3320.72 c #Conflicts: 2180000 | #Constraints: 60568
3312.17/3320.72 c #Conflicts: 2181000 | #Constraints: 61568
3312.17/3320.72 c #Conflicts: 2182000 | #Constraints: 62568
3312.17/3320.72 c #Conflicts: 2183000 | #Constraints: 63568
3312.17/3320.72 c #Conflicts: 2184000 | #Constraints: 64568
3312.17/3320.72 c #Conflicts: 2185000 | #Constraints: 65568
3312.17/3320.72 c #Conflicts: 2186000 | #Constraints: 66568
3312.17/3320.72 c #Conflicts: 2187000 | #Constraints: 67568
3312.17/3320.72 c #Conflicts: 2188000 | #Constraints: 68568
3312.17/3320.72 c #Conflicts: 2189000 | #Constraints: 69568
3312.17/3320.72 c #Conflicts: 2190000 | #Constraints: 70568
3312.17/3320.72 c #Conflicts: 2191000 | #Constraints: 71568
3448.05/3456.94 c #Conflicts: 2192000 | #Constraints: 72568
3448.05/3456.94 c #Conflicts: 2193000 | #Constraints: 73568
3448.05/3456.94 c #Conflicts: 2194000 | #Constraints: 74568
3448.05/3456.94 c #Conflicts: 2195000 | #Constraints: 75568
3448.05/3456.94 c #Conflicts: 2196000 | #Constraints: 76568
3448.05/3456.94 c INPROCESSING
3448.05/3456.94 c GARBAGE COLLECT
3448.05/3456.94 c #Conflicts: 2197000 | #Constraints: 48168
3448.05/3456.94 c #Conflicts: 2198000 | #Constraints: 49168
3448.05/3456.94 c #Conflicts: 2199000 | #Constraints: 50168
3448.05/3456.94 c #Conflicts: 2200000 | #Constraints: 51168
3448.05/3456.94 c #Conflicts: 2201000 | #Constraints: 52168
3448.05/3456.94 c #Conflicts: 2202000 | #Constraints: 53168
3448.05/3456.94 c #Conflicts: 2203000 | #Constraints: 54168
3448.05/3456.94 c #Conflicts: 2204000 | #Constraints: 55168
3448.05/3456.94 c #Conflicts: 2205000 | #Constraints: 56168
3448.05/3456.94 c #Conflicts: 2206000 | #Constraints: 57168
3448.05/3456.94 c #Conflicts: 2207000 | #Constraints: 58168
3448.05/3456.94 c #Conflicts: 2208000 | #Constraints: 59168
3448.05/3456.94 c #Conflicts: 2209000 | #Constraints: 60168
3448.05/3456.94 c #Conflicts: 2210000 | #Constraints: 61168
3448.05/3456.94 c #Conflicts: 2211000 | #Constraints: 62168
3448.05/3456.94 c #Conflicts: 2212000 | #Constraints: 63168
3448.05/3456.94 c #Conflicts: 2213000 | #Constraints: 64168
3448.05/3456.94 c #Conflicts: 2214000 | #Constraints: 65168
3448.05/3456.94 c #Conflicts: 2215000 | #Constraints: 66168
3448.05/3456.94 c #Conflicts: 2216000 | #Constraints: 67168
3448.05/3456.94 c #Conflicts: 2217000 | #Constraints: 68168
3448.05/3456.94 c #Conflicts: 2218000 | #Constraints: 69168
3448.05/3456.94 c #Conflicts: 2219000 | #Constraints: 70168
3448.05/3456.94 c #Conflicts: 2220000 | #Constraints: 71168
3448.05/3456.94 c #Conflicts: 2221000 | #Constraints: 72168
3448.05/3456.94 c #Conflicts: 2222000 | #Constraints: 73168
3448.05/3456.94 c #Conflicts: 2223000 | #Constraints: 74168
3448.05/3456.94 c #Conflicts: 2224000 | #Constraints: 75168
3448.05/3456.94 c #Conflicts: 2225000 | #Constraints: 76168
3448.05/3456.94 c #Conflicts: 2226000 | #Constraints: 77168
3448.05/3456.94 c INPROCESSING
3448.05/3456.94 c GARBAGE COLLECT
3448.05/3456.94 c #Conflicts: 2227000 | #Constraints: 48570
3448.05/3456.94 c #Conflicts: 2228000 | #Constraints: 49570
3448.05/3456.94 c #Conflicts: 2229000 | #Constraints: 50570
3448.05/3456.94 c #Conflicts: 2230000 | #Constraints: 51570
3448.05/3456.94 c #Conflicts: 2231000 | #Constraints: 52570
3448.05/3456.94 c #Conflicts: 2232000 | #Constraints: 53570
3448.05/3456.94 c #Conflicts: 2233000 | #Constraints: 54570
3448.05/3456.94 c #Conflicts: 2234000 | #Constraints: 55570
3448.05/3456.94 c #Conflicts: 2235000 | #Constraints: 56570
3448.05/3456.94 c #Conflicts: 2236000 | #Constraints: 57570
3448.05/3456.94 c #Conflicts: 2237000 | #Constraints: 58570
3448.05/3456.94 c #Conflicts: 2238000 | #Constraints: 59570
3448.05/3456.94 c #Conflicts: 2239000 | #Constraints: 60570
3448.05/3456.94 c #Conflicts: 2240000 | #Constraints: 61570
3448.05/3456.94 c #Conflicts: 2241000 | #Constraints: 62570
3448.05/3456.94 c #Conflicts: 2242000 | #Constraints: 63570
3448.05/3456.94 c #Conflicts: 2243000 | #Constraints: 64570
3448.05/3456.94 c #Conflicts: 2244000 | #Constraints: 65570
3448.05/3456.94 c #Conflicts: 2245000 | #Constraints: 66570
3448.05/3456.94 c #Conflicts: 2246000 | #Constraints: 67570
3448.05/3456.94 c #Conflicts: 2247000 | #Constraints: 68570
3448.05/3456.94 c #Conflicts: 2248000 | #Constraints: 69570
3448.05/3456.94 c #Conflicts: 2249000 | #Constraints: 70570
3448.05/3456.94 c #Conflicts: 2250000 | #Constraints: 71570
3448.05/3456.94 c #Conflicts: 2251000 | #Constraints: 72570
3448.05/3456.94 c #Conflicts: 2252000 | #Constraints: 73570
3448.05/3456.94 c #Conflicts: 2253000 | #Constraints: 74570
3448.05/3456.94 c #Conflicts: 2254000 | #Constraints: 75570
3448.05/3456.94 c #Conflicts: 2255000 | #Constraints: 76570
3448.05/3456.94 c #Conflicts: 2256000 | #Constraints: 77570
3448.05/3456.94 c INPROCESSING
3448.05/3456.94 c GARBAGE COLLECT
3448.05/3456.94 c #Conflicts: 2257000 | #Constraints: 48764
3448.05/3456.94 c #Conflicts: 2258000 | #Constraints: 49764
3448.05/3456.94 c #Conflicts: 2259000 | #Constraints: 50764
3448.05/3456.94 c #Conflicts: 2260000 | #Constraints: 51764
3448.05/3456.94 c #Conflicts: 2261000 | #Constraints: 52764
3448.05/3456.94 c #Conflicts: 2262000 | #Constraints: 53764
3448.05/3456.94 c #Conflicts: 2263000 | #Constraints: 54764
3448.05/3456.94 c #Conflicts: 2264000 | #Constraints: 55764
3448.05/3456.94 c #Conflicts: 2265000 | #Constraints: 56764
3448.05/3456.94 c #Conflicts: 2266000 | #Constraints: 57764
3448.05/3456.94 c #Conflicts: 2267000 | #Constraints: 58764
3448.05/3456.94 c #Conflicts: 2268000 | #Constraints: 59764
3587.98/3597.28 c #Conflicts: 2269000 | #Constraints: 60764
3587.98/3597.28 c #Conflicts: 2270000 | #Constraints: 61764
3587.98/3597.28 c #Conflicts: 2271000 | #Constraints: 62764
3587.98/3597.28 c #Conflicts: 2272000 | #Constraints: 63764
3587.98/3597.28 c #Conflicts: 2273000 | #Constraints: 64764
3587.98/3597.28 c #Conflicts: 2274000 | #Constraints: 65764
3587.98/3597.28 c #Conflicts: 2275000 | #Constraints: 66764
3587.98/3597.28 c #Conflicts: 2276000 | #Constraints: 67764
3587.98/3597.28 c #Conflicts: 2277000 | #Constraints: 68764
3587.98/3597.28 c #Conflicts: 2278000 | #Constraints: 69764
3587.98/3597.28 c #Conflicts: 2279000 | #Constraints: 70764
3587.98/3597.28 c #Conflicts: 2280000 | #Constraints: 71764
3587.98/3597.28 c #Conflicts: 2281000 | #Constraints: 72764
3587.98/3597.28 c #Conflicts: 2282000 | #Constraints: 73764
3587.98/3597.28 c #Conflicts: 2283000 | #Constraints: 74764
3587.98/3597.28 c #Conflicts: 2284000 | #Constraints: 75764
3587.98/3597.28 c #Conflicts: 2285000 | #Constraints: 76764
3587.98/3597.28 c #Conflicts: 2286000 | #Constraints: 77764
3587.98/3597.28 c INPROCESSING
3587.98/3597.28 c GARBAGE COLLECT
3587.98/3597.28 c #Conflicts: 2287000 | #Constraints: 48767
3587.98/3597.28 c #Conflicts: 2288000 | #Constraints: 49767
3587.98/3597.28 c #Conflicts: 2289000 | #Constraints: 50767
3587.98/3597.28 c #Conflicts: 2290000 | #Constraints: 51767
3587.98/3597.28 c #Conflicts: 2291000 | #Constraints: 52767
3587.98/3597.28 c #Conflicts: 2292000 | #Constraints: 53767
3587.98/3597.28 c #Conflicts: 2293000 | #Constraints: 54767
3587.98/3597.28 c #Conflicts: 2294000 | #Constraints: 55767
3587.98/3597.28 c #Conflicts: 2295000 | #Constraints: 56767
3587.98/3597.28 c #Conflicts: 2296000 | #Constraints: 57767
3587.98/3597.28 c #Conflicts: 2297000 | #Constraints: 58767
3587.98/3597.28 c #Conflicts: 2298000 | #Constraints: 59767
3587.98/3597.28 c #Conflicts: 2299000 | #Constraints: 60767
3587.98/3597.28 c #Conflicts: 2300000 | #Constraints: 61767
3587.98/3597.28 c #Conflicts: 2301000 | #Constraints: 62767
3587.98/3597.28 c #Conflicts: 2302000 | #Constraints: 63767
3587.98/3597.28 c #Conflicts: 2303000 | #Constraints: 64767
3587.98/3597.28 c #Conflicts: 2304000 | #Constraints: 65767
3587.98/3597.28 c #Conflicts: 2305000 | #Constraints: 66767
3587.98/3597.28 c #Conflicts: 2306000 | #Constraints: 67767
3587.98/3597.28 c #Conflicts: 2307000 | #Constraints: 68767
3587.98/3597.28 c #Conflicts: 2308000 | #Constraints: 69767
3587.98/3597.28 c #Conflicts: 2309000 | #Constraints: 70767
3587.98/3597.28 c #Conflicts: 2310000 | #Constraints: 71767
3587.98/3597.28 c #Conflicts: 2311000 | #Constraints: 72767
3587.98/3597.28 c #Conflicts: 2312000 | #Constraints: 73767
3587.98/3597.28 c #Conflicts: 2313000 | #Constraints: 74767
3587.98/3597.28 c #Conflicts: 2314000 | #Constraints: 75767
3587.98/3597.28 c #Conflicts: 2315000 | #Constraints: 76767
3587.98/3597.28 c #Conflicts: 2316000 | #Constraints: 77767
3587.98/3597.28 c INPROCESSING
3587.98/3597.28 c GARBAGE COLLECT
3587.98/3597.28 c #Conflicts: 2317000 | #Constraints: 48569
3587.98/3597.28 c #Conflicts: 2318000 | #Constraints: 49569
3587.98/3597.28 c #Conflicts: 2319000 | #Constraints: 50569
3587.98/3597.28 c #Conflicts: 2320000 | #Constraints: 51569
3587.98/3597.28 c #Conflicts: 2321000 | #Constraints: 52569
3587.98/3597.28 c #Conflicts: 2322000 | #Constraints: 53569
3587.98/3597.28 c #Conflicts: 2323000 | #Constraints: 54569
3587.98/3597.28 c #Conflicts: 2324000 | #Constraints: 55569
3587.98/3597.28 c #Conflicts: 2325000 | #Constraints: 56569
3587.98/3597.28 c #Conflicts: 2326000 | #Constraints: 57569
3587.98/3597.28 c #Conflicts: 2327000 | #Constraints: 58569
3587.98/3597.28 c #Conflicts: 2328000 | #Constraints: 59569
3587.98/3597.28 c #Conflicts: 2329000 | #Constraints: 60569
3587.98/3597.28 c #Conflicts: 2330000 | #Constraints: 61569
3587.98/3597.28 c #Conflicts: 2331000 | #Constraints: 62569
3587.98/3597.28 c #Conflicts: 2332000 | #Constraints: 63569
3587.98/3597.28 c #Conflicts: 2333000 | #Constraints: 64569
3587.98/3597.28 c #Conflicts: 2334000 | #Constraints: 65569
3587.98/3597.28 c #Conflicts: 2335000 | #Constraints: 66569
3587.98/3597.28 c #Conflicts: 2336000 | #Constraints: 67569
3587.98/3597.28 c #Conflicts: 2337000 | #Constraints: 68569
3587.98/3597.28 c #Conflicts: 2338000 | #Constraints: 69569
3587.98/3597.28 c #Conflicts: 2339000 | #Constraints: 70569
3587.98/3597.28 c #Conflicts: 2340000 | #Constraints: 71569
3587.98/3597.28 c #Conflicts: 2341000 | #Constraints: 72569
3587.98/3597.28 c #Conflicts: 2342000 | #Constraints: 73569
3587.98/3597.28 c #Conflicts: 2343000 | #Constraints: 74569
3587.98/3597.28 c #Conflicts: 2344000 | #Constraints: 75569
3587.98/3597.28 c #Conflicts: 2345000 | #Constraints: 76569
3587.98/3597.28 c #Conflicts: 2346000 | #Constraints: 77569
3600.06/3609.30 c #Conflicts: 2347000 | #Constraints: 78569
3600.06/3609.30 c INPROCESSING
3600.06/3609.30 c GARBAGE COLLECT
3600.06/3609.30 c #Conflicts: 2348000 | #Constraints: 49170
3600.06/3609.30 c #Conflicts: 2349000 | #Constraints: 50170
3600.06/3609.30 c #Conflicts: 2350000 | #Constraints: 51170
3600.06/3609.30 c #Conflicts: 2351000 | #Constraints: 52170
3600.06/3609.30 c #Conflicts: 2352000 | #Constraints: 53170
3600.06/3609.30 c #Conflicts: 2353000 | #Constraints: 54170
3600.06/3609.30 c #Conflicts: 2354000 | #Constraints: 55170
3600.06/3609.30 c Program interrupted by user.
3600.06/3609.30 c cpu time 3590.58 s
3600.06/3609.30 c deterministic time 534505510955 5.35e+11
3600.06/3609.30 c optimization time 8.44726 s
3600.06/3609.30 c total solve time 3283.22 s
3600.06/3609.30 c core-guided solve time 3283.22 s
3600.06/3609.30 c propagation time 3170.35 s
3600.06/3609.30 c conflict analysis time 90.8954 s
3600.06/3609.30 c propagations 47430321
3600.06/3609.30 c resolve steps 16587106
3600.06/3609.30 c decisions 2864535
3600.06/3609.30 c conflicts 2354090
3600.06/3609.30 c restarts 4094
3600.06/3609.30 c inprocessing phases 144
3600.06/3609.30 c input clauses 17918
3600.06/3609.30 c input cardinalities 12
3600.06/3609.30 c input general constraints 0
3600.06/3609.30 c input average constraint length 2.32
3600.06/3609.30 c input average constraint degree 1.22
3600.06/3609.30 c learned clauses 1462463
3600.06/3609.30 c learned cardinalities 672776
3600.06/3609.30 c learned general constraints 218851
3600.06/3609.30 c learned average constraint length 408.21
3600.06/3609.30 c learned average constraint degree 7.85
3600.06/3609.30 c watched constraints 218851
3600.06/3609.30 c counting constraints 0
3600.06/3609.30 c gcd simplifications 142880
3600.06/3609.30 c detected cardinalities 26533
3600.06/3609.30 c weakened non-implied lits 21568442
3600.06/3609.30 c weakened non-implying lits 94914
3600.06/3609.30 c original variables 450
3600.06/3609.30 c clausal propagations 32250118
3600.06/3609.30 c cardinality propagations 8608973
3600.06/3609.30 c watched propagations 637122
3600.06/3609.30 c counting propagations 0
3600.06/3609.30 c watch lookups 38303272687
3600.06/3609.30 c watch backjump lookups 2376119
3600.06/3609.30 c watch checks 493701873526
3600.06/3609.30 c propagation checks 469953869
3600.06/3609.30 c constraint additions 1925091458
3600.06/3609.30 c trail pops 52648439
3600.06/3609.30 c formula constraints 17827
3600.06/3609.30 c learned constraints 2354090
3600.06/3609.30 c bound constraints 12
3600.06/3609.30 c core-guided constraints 91
3600.06/3609.30 c encountered formula constraints 14067565
3600.06/3609.30 c encountered learned constraints 4864220
3600.06/3609.30 c encountered bound constraints 1653
3600.06/3609.30 c encountered core-guided constraints 7758
3600.06/3609.30 c LP total time 0 s
3600.06/3609.30 c LP solve time 0 s
3600.06/3609.30 c LP constraints added 0
3600.06/3609.30 c LP constraints removed 0
3600.06/3609.30 c LP pivots internal 0
3600.06/3609.30 c LP pivots root 0
3600.06/3609.30 c LP calls 0
3600.06/3609.30 c LP optimalities 0
3600.06/3609.30 c LP no pivot count 0
3600.06/3609.30 c LP infeasibilities 0
3600.06/3609.30 c LP valid Farkas constraints 0
3600.06/3609.30 c LP learned Farkas constraints 0
3600.06/3609.30 c LP basis resets 0
3600.06/3609.30 c LP cycling count 0
3600.06/3609.30 c LP singular count 0
3600.06/3609.30 c LP no primal count 0
3600.06/3609.30 c LP no farkas count 0
3600.06/3609.30 c LP other issue count 0
3600.06/3609.30 c LP Gomory cuts 0
3600.06/3609.30 c LP learned cuts 0
3600.06/3609.30 c LP deleted cuts 0
3600.06/3609.30 c LP encountered Gomory constraints 0
3600.06/3609.30 c LP encountered Farkas constraints 0
3600.06/3609.30 c LP encountered learned Farkas constraints 0
3600.06/3609.30 c CG auxiliary variables introduced 91
3600.06/3609.30 c CG solutions found 0
3600.06/3609.30 c CG cores constructed 11
3600.06/3609.30 c CG core cardinality constraints returned 0
3600.06/3609.30 c CG unit cores 0
3600.06/3609.30 c CG single cores 11
3600.06/3609.30 c CG blocks removed during cardinality reduction 0
3600.06/3609.30 c CG first core best 0
3600.06/3609.30 c CG decision core best 0
3600.06/3609.30 c CG core reduction tie 0
3600.06/3609.30 c CG core degree average 1.00
3600.06/3609.30 c CG core slack average 7.09
3600.06/3609.30 c CG exhausted 0
3600.06/3609.30 c CG exhaust time 0 s
3600.06/3609.30 c CG trimmed 0
3600.06/3609.30 c CG trim time 6.8e-05 s
3600.06/3609.30 c CG minimized 0
3600.06/3609.30 c CG minimize time 0 s
3600.06/3609.30 c CG am1 prop time 0.001395 s
3600.06/3609.30 c CG # am1s reformulated 91
3600.06/3609.30 c CG lower bound derived from am1s 358
3600.06/3609.30 c CG # clausal cores 11
3600.06/3609.30 c CG # cardinality cores 0
3600.06/3609.30 c CG # pb cores 0
3600.06/3609.30 c CG # pb reforms 0
3600.06/3609.30 c CG # cores discarded because of pb reform 0
3600.06/3609.30 d LOWERBOUND -81
3600.06/3609.30 d NCORES 11
3600.06/3609.30 d NPBCORES 0
3600.06/3609.30 d NPBREFORM 0
3600.06/3609.30 d NTRIMMED 0
3600.06/3609.30 d NEXHAUSTED 0
3600.06/3609.30 d NAM1S 91
3600.06/3609.30 d AM1LB 358
3600.06/3609.30 c [Papilo Statistics]
3600.06/3609.30 c prepro time 0.0215458s
3600.06/3609.30 c # tsx applied 0
3600.06/3609.30 c # tsx conflicts 0
3600.06/3609.30 c # bound changes 0
3600.06/3609.30 c # side changes 0
3600.06/3609.30 c # coef changes 0
3600.06/3609.30 c # rounds 1
3600.06/3609.30 c # deted vars 0
3600.06/3609.30 c # deted constrs 0
3600.06/3609.30 c # consecutive rounds of only bound changes 0
3600.06/3609.30 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 (60698 MiB free)
memory of node 1: 64473 MiB (61885 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454774-1721432776/watcher-4454774-1721432776 -o /tmp/evaluation-result-4454774-1721432776/solver-4454774-1721432776 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721425494-1034141 --watchdog 3760 mixed-bag HOME/instance-4454774-1721432776.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1039443, runsolver pid=1039440
Current StackSize limit: 8192 KiB
[startup+0.100663 s]*
/proc/loadavg: 4.17 4.11 4.09 5/254 1039444
/proc/meminfo: memFree=125494372/131524600 swapFree=131071996/131071996
[pid=1039443] ppid=1039440 vsize=113960 memory=46132 CPUtime=0.09 cores=4,6
/proc/1039443/stat : 1039443 (mixed-bag) R 1039440 1039443 1034130 0 -1 4194304 9209 0 0 0 8 1 0 0 20 0 1 0 195446567 116695040 11533 134679101440 4194304 16488053 140726124829056 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18731784 18742840 39641088 140726124835861 140726124835938 140726124835938 140726124842955 0
/proc/1039443/statm: 28490 11533 3767 3002 0 12239 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 113960 KiB
Current children cumulated memory: 46132 KiB
[startup+0.205663 s]*
/proc/loadavg: 4.16 4.11 4.09 5/254 1039444
/proc/meminfo: memFree=125481044/131524600 swapFree=131071996/131071996
[pid=1039443] ppid=1039440 vsize=127484 memory=59104 CPUtime=0.19 cores=4,6
/proc/1039443/stat : 1039443 (mixed-bag) R 1039440 1039443 1034130 0 -1 4194304 14106 0 0 0 17 2 0 0 20 0 1 0 195446567 130543616 14776 134679101440 4194304 16488053 140726124829056 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18731784 18742840 39641088 140726124835861 140726124835938 140726124835938 140726124842955 0
/proc/1039443/statm: 31871 14776 3767 3002 0 15620 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 127484 KiB
Current children cumulated memory: 59104 KiB
[startup+0.305664 s]*
/proc/loadavg: 4.16 4.11 4.09 5/254 1039444
/proc/meminfo: memFree=125458096/131524600 swapFree=131071996/131071996
[pid=1039443] ppid=1039440 vsize=152064 memory=82176 CPUtime=0.28 cores=4,6
/proc/1039443/stat : 1039443 (mixed-bag) R 1039440 1039443 1034130 0 -1 4194304 20648 0 0 0 25 3 0 0 20 0 1 0 195446567 155713536 20544 134679101440 4194304 16488053 140726124829056 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18731784 18742840 39641088 140726124835861 140726124835938 140726124835938 140726124842955 0
/proc/1039443/statm: 38016 20544 3876 3002 0 21765 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 152064 KiB
Current children cumulated memory: 82176 KiB
[startup+0.70068 s]
/proc/loadavg: 4.16 4.11 4.09 5/254 1039444
/proc/meminfo: memFree=125452708/131524600 swapFree=131071996/131071996
[pid=1039443] ppid=1039440 vsize=164680 memory=92364 CPUtime=0.66 cores=4,6
/proc/1039443/stat : 1039443 (mixed-bag) R 1039440 1039443 1034130 0 -1 4194304 23141 0 0 0 63 3 0 0 20 0 1 0 195446567 168632320 23091 134679101440 4194304 16488053 140726124829056 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18731784 18742840 39641088 140726124835861 140726124835938 140726124835938 140726124842955 0
/proc/1039443/statm: 41170 23091 4020 3002 0 24919 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 164680 KiB
Current children cumulated memory: 92364 KiB
[startup+1.50068 s]
/proc/loadavg: 4.16 4.11 4.09 5/254 1039444
/proc/meminfo: memFree=125448004/131524600 swapFree=131071996/131071996
[pid=1039443] ppid=1039440 vsize=174616 memory=96060 CPUtime=1.45 cores=4,6
/proc/1039443/stat : 1039443 (mixed-bag) R 1039440 1039443 1034130 0 -1 4194304 24014 0 0 0 142 3 0 0 20 0 1 0 195446567 178806784 24015 134679101440 4194304 16488053 140726124829056 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18731784 18742840 39641088 140726124835861 140726124835938 140726124835938 140726124842955 0
/proc/1039443/statm: 43654 24015 4020 3002 0 27403 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 174616 KiB
Current children cumulated memory: 96060 KiB
[startup+3.10543 s]
/proc/loadavg: 4.16 4.11 4.09 5/254 1039445
/proc/meminfo: memFree=125443748/131524600 swapFree=131071996/131071996
[pid=1039443] ppid=1039440 vsize=181156 memory=97380 CPUtime=3.04 cores=4,6
/proc/1039443/stat : 1039443 (mixed-bag) R 1039440 1039443 1034130 0 -1 4194304 24378 0 0 0 301 3 0 0 20 0 1 0 195446567 185503744 24345 134679101440 4194304 16488053 140726124829056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 39641088 140726124835861 140726124835938 140726124835938 140726124842955 0
/proc/1039443/statm: 45289 24345 4020 3002 0 29038 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 181156 KiB
Current children cumulated memory: 97380 KiB
[startup+6.30023 s]
/proc/loadavg: 4.15 4.11 4.09 5/254 1039445
/proc/meminfo: memFree=125415608/131524600 swapFree=131071996/131071996
[pid=1039443] ppid=1039440 vsize=229056 memory=125144 CPUtime=6.23 cores=4,6
/proc/1039443/stat : 1039443 (mixed-bag) R 1039440 1039443 1034130 0 -1 4194304 31294 0 0 0 619 4 0 0 20 0 1 0 195446567 234553344 31286 134679101440 4194304 16488053 140726124829056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 39641088 140726124835861 140726124835938 140726124835938 140726124842955 0
/proc/1039443/statm: 57264 31286 4036 3002 0 41013 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 229056 KiB
Current children cumulated memory: 125144 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.10 4.09 5/254 1039447
/proc/meminfo: memFree=125397208/131524600 swapFree=131071996/131071996
[pid=1039443] ppid=1039440 vsize=229056 memory=125144 CPUtime=12.6 cores=4,6
/proc/1039443/stat : 1039443 (mixed-bag) R 1039440 1039443 1034130 0 -1 4194304 31322 0 0 0 1256 4 0 0 20 0 1 0 195446567 234553344 31286 134679101440 4194304 16488053 140726124829056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 39641088 140726124835861 140726124835938 140726124835938 140726124842955 0
/proc/1039443/statm: 57264 31286 4036 3002 0 41013 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 229056 KiB
Current children cumulated memory: 125144 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.10 4.09 5/254 1039448
/proc/meminfo: memFree=125371180/131524600 swapFree=131071996/131071996
[pid=1039443] ppid=1039440 vsize=237324 memory=125392 CPUtime=25.36 cores=4,6
/proc/1039443/stat : 1039443 (mixed-bag) R 1039440 1039443 1034130 0 -1 4194304 31345 0 0 0 2532 4 0 0 20 0 1 0 195446567 243019776 31348 134679101440 4194304 16488053 140726124829056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 39641088 140726124835861 140726124835938 140726124835938 140726124842955 0
/proc/1039443/statm: 59331 31348 4036 3002 0 43080 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 237324 KiB
Current children cumulated memory: 125392 KiB
[startup+51.1053 s]
/proc/loadavg: 4.07 4.09 4.09 5/254 1039451
/proc/meminfo: memFree=125306412/131524600 swapFree=131071996/131071996
[pid=1039443] ppid=1039440 vsize=278220 memory=155468 CPUtime=50.89 cores=4,6
/proc/1039443/stat : 1039443 (mixed-bag) R 1039440 1039443 1034130 0 -1 4194304 38925 0 0 0 5083 6 0 0 20 0 1 0 195446567 284897280 38867 134679101440 4194304 16488053 140726124829056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 39641088 140726124835861 140726124835938 140726124835938 140726124842955 0
/proc/1039443/statm: 69555 38867 4036 3002 0 53304 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 278220 KiB
Current children cumulated memory: 155468 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/254 1039462
/proc/meminfo: memFree=125208256/131524600 swapFree=131071996/131071996
[pid=1039443] ppid=1039440 vsize=357076 memory=220372 CPUtime=101.91 cores=4,6
/proc/1039443/stat : 1039443 (mixed-bag) R 1039440 1039443 1034130 0 -1 4194304 56096 0 0 0 10179 12 0 0 20 0 1 0 195446567 365645824 55093 134679101440 4194304 16488053 140726124829056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 39641088 140726124835861 140726124835938 140726124835938 140726124842955 0
/proc/1039443/statm: 89269 55093 4161 3002 0 73018 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 357076 KiB
Current children cumulated memory: 220372 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/254 1039518
/proc/meminfo: memFree=125226044/131524600 swapFree=131071996/131071996
[pid=1039443] ppid=1039440 vsize=415884 memory=274244 CPUtime=161.73 cores=4,6
/proc/1039443/stat : 1039443 (mixed-bag) R 1039440 1039443 1034130 0 -1 4194304 72268 0 0 0 16157 16 0 0 20 0 1 0 195446567 425865216 68561 134679101440 4194304 16488053 140726124829056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 39641088 140726124835861 140726124835938 140726124835938 140726124842955 0
/proc/1039443/statm: 103971 68561 4161 3002 0 87720 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 415884 KiB
Current children cumulated memory: 274244 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/254 1039529
/proc/meminfo: memFree=125111876/131524600 swapFree=131071996/131071996
[pid=1039443] ppid=1039440 vsize=441084 memory=299652 CPUtime=221.53 cores=4,6
/proc/1039443/stat : 1039443 (mixed-bag) R 1039440 1039443 1034130 0 -1 4194304 75562 0 0 0 22136 17 0 0 20 0 1 0 195446567 451670016 74913 134679101440 4194304 16488053 140726124829056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 39641088 140726124835861 140726124835938 140726124835938 140726124842955 0
/proc/1039443/statm: 110271 74913 4161 3002 0 94020 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 441084 KiB
Current children cumulated memory: 299652 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/255 1039543
/proc/meminfo: memFree=124950272/131524600 swapFree=131071996/131071996
[pid=1039443] ppid=1039440 vsize=481044 memory=338092 CPUtime=281.33 cores=4,6
/proc/1039443/stat : 1039443 (mixed-bag) R 1039440 1039443 1034130 0 -1 4194304 79613 0 0 0 28115 18 0 0 20 0 1 0 195446567 492589056 84523 134679101440 4194304 16488053 140726124829056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 39641088 140726124835861 140726124835938 140726124835938 140726124842955 0
/proc/1039443/statm: 120261 84523 4161 3002 0 104010 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 481044 KiB
Current children cumulated memory: 338092 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/255 1039598
/proc/meminfo: memFree=125533232/131524600 swapFree=131071996/131071996
[pid=1039443] ppid=1039440 vsize=368252 memory=236516 CPUtime=341.14 cores=4,6
/proc/1039443/stat : 1039443 (mixed-bag) R 1039440 1039443 1034130 0 -1 4194304 82316 0 0 0 34045 69 0 0 20 0 1 0 195446567 377090048 59129 134679101440 4194304 16488053 140726124829056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 39641088 140726124835861 140726124835938 140726124835938 140726124842955 0
/proc/1039443/statm: 92063 59129 4321 3002 0 75812 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 368252 KiB
Current children cumulated memory: 236516 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/255 1039609
/proc/meminfo: memFree=125407676/131524600 swapFree=131071996/131071996
[pid=1039443] ppid=1039440 vsize=387220 memory=244928 CPUtime=400.96 cores=4,6
/proc/1039443/stat : 1039443 (mixed-bag) R 1039440 1039443 1034130 0 -1 4194304 82909 0 0 0 39985 111 0 0 20 0 1 0 195446567 396513280 61232 134679101440 4194304 16488053 140726124829056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 39641088 140726124835861 140726124835938 140726124835938 140726124842955 0
/proc/1039443/statm: 96805 61232 4321 3002 0 80554 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 387220 KiB
Current children cumulated memory: 244928 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 1039619
/proc/meminfo: memFree=125425192/131524600 swapFree=131071996/131071996
[pid=1039443] ppid=1039440 vsize=387220 memory=251072 CPUtime=460.78 cores=4,6
/proc/1039443/stat : 1039443 (mixed-bag) R 1039440 1039443 1034130 0 -1 4194304 82913 0 0 0 45934 144 0 0 20 0 1 0 195446567 396513280 62768 134679101440 4194304 16488053 140726124829056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 39641088 140726124835861 140726124835938 140726124835938 140726124842955 0
/proc/1039443/statm: 96805 62768 4321 3002 0 80554 0
################
# More data... #
################
Current children cumulated memory: 376752 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 1041302
/proc/meminfo: memFree=124952576/131524600 swapFree=131071996/131071996
[pid=1039443] ppid=1039440 vsize=468128 memory=378800 CPUtime=2914.67 cores=4,6
/proc/1039443/stat : 1039443 (mixed-bag) R 1039440 1039443 1034130 0 -1 4194304 87958 0 0 0 290652 815 0 0 20 0 1 0 195446567 479363072 94700 134679101440 4194304 16488053 140726124829056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 39641088 140726124835861 140726124835938 140726124835938 140726124842955 0
/proc/1039443/statm: 117032 94700 4321 3002 0 100781 0
Current children cumulated CPU time: 2914.67 s
Current children cumulated vsize: 468128 KiB
Current children cumulated memory: 378800 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/255 1041312
/proc/meminfo: memFree=124939476/131524600 swapFree=131071996/131071996
[pid=1039443] ppid=1039440 vsize=468128 memory=378800 CPUtime=2974.53 cores=4,6
/proc/1039443/stat : 1039443 (mixed-bag) R 1039440 1039443 1034130 0 -1 4194304 88072 0 0 0 296626 827 0 0 20 0 1 0 195446567 479363072 94700 134679101440 4194304 16488053 140726124829056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 39641088 140726124835861 140726124835938 140726124835938 140726124842955 0
/proc/1039443/statm: 117032 94700 4321 3002 0 100781 0
Current children cumulated CPU time: 2974.53 s
Current children cumulated vsize: 468128 KiB
Current children cumulated memory: 378800 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/255 1041322
/proc/meminfo: memFree=124928504/131524600 swapFree=131071996/131071996
[pid=1039443] ppid=1039440 vsize=468128 memory=378800 CPUtime=3034.4 cores=4,6
/proc/1039443/stat : 1039443 (mixed-bag) R 1039440 1039443 1034130 0 -1 4194304 88187 0 0 0 302599 841 0 0 20 0 1 0 195446567 479363072 94700 134679101440 4194304 16488053 140726124829056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 39641088 140726124835861 140726124835938 140726124835938 140726124842955 0
/proc/1039443/statm: 117032 94700 4321 3002 0 100781 0
Current children cumulated CPU time: 3034.4 s
Current children cumulated vsize: 468128 KiB
Current children cumulated memory: 378800 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/255 1041334
/proc/meminfo: memFree=124922832/131524600 swapFree=131071996/131071996
[pid=1039443] ppid=1039440 vsize=468128 memory=380848 CPUtime=3094.27 cores=4,6
/proc/1039443/stat : 1039443 (mixed-bag) R 1039440 1039443 1034130 0 -1 4194304 88305 0 0 0 308575 852 0 0 20 0 1 0 195446567 479363072 95212 134679101440 4194304 16488053 140726124829056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 39641088 140726124835861 140726124835938 140726124835938 140726124842955 0
/proc/1039443/statm: 117032 95212 4321 3002 0 100781 0
Current children cumulated CPU time: 3094.27 s
Current children cumulated vsize: 468128 KiB
Current children cumulated memory: 380848 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/255 1041344
/proc/meminfo: memFree=124917136/131524600 swapFree=131071996/131071996
[pid=1039443] ppid=1039440 vsize=468128 memory=380848 CPUtime=3154.13 cores=4,6
/proc/1039443/stat : 1039443 (mixed-bag) R 1039440 1039443 1034130 0 -1 4194304 88422 0 0 0 314549 864 0 0 20 0 1 0 195446567 479363072 95212 134679101440 4194304 16488053 140726124829056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 39641088 140726124835861 140726124835938 140726124835938 140726124842955 0
/proc/1039443/statm: 117032 95212 4321 3002 0 100781 0
Current children cumulated CPU time: 3154.13 s
Current children cumulated vsize: 468128 KiB
Current children cumulated memory: 380848 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/254 1041354
/proc/meminfo: memFree=124906884/131524600 swapFree=131071996/131071996
[pid=1039443] ppid=1039440 vsize=468128 memory=382896 CPUtime=3214 cores=4,6
/proc/1039443/stat : 1039443 (mixed-bag) R 1039440 1039443 1034130 0 -1 4194304 88536 0 0 0 320523 877 0 0 20 0 1 0 195446567 479363072 95724 134679101440 4194304 16488053 140726124829056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 39641088 140726124835861 140726124835938 140726124835938 140726124842955 0
/proc/1039443/statm: 117032 95724 4321 3002 0 100781 0
Current children cumulated CPU time: 3214 s
Current children cumulated vsize: 468128 KiB
Current children cumulated memory: 382896 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/256 1041369
/proc/meminfo: memFree=124899712/131524600 swapFree=131071996/131071996
[pid=1039443] ppid=1039440 vsize=468128 memory=382896 CPUtime=3273.85 cores=4,6
/proc/1039443/stat : 1039443 (mixed-bag) R 1039440 1039443 1034130 0 -1 4194304 88659 0 0 0 326499 886 0 0 20 0 1 0 195446567 479363072 95724 134679101440 4194304 16488053 140726124829056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 39641088 140726124835861 140726124835938 140726124835938 140726124842955 0
/proc/1039443/statm: 117032 95724 4321 3002 0 100781 0
Current children cumulated CPU time: 3273.85 s
Current children cumulated vsize: 468128 KiB
Current children cumulated memory: 382896 KiB
[startup+3342.3 s]
/proc/loadavg: 4.35 4.17 4.12 5/256 1041379
/proc/meminfo: memFree=124890700/131524600 swapFree=131071996/131071996
[pid=1039443] ppid=1039440 vsize=468128 memory=384944 CPUtime=3333.72 cores=4,6
/proc/1039443/stat : 1039443 (mixed-bag) R 1039440 1039443 1034130 0 -1 4194304 88778 0 0 0 332474 898 0 0 20 0 1 0 195446567 479363072 96236 134679101440 4194304 16488053 140726124829056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 39641088 140726124835861 140726124835938 140726124835938 140726124842955 0
/proc/1039443/statm: 117032 96236 4321 3002 0 100781 0
Current children cumulated CPU time: 3333.72 s
Current children cumulated vsize: 468128 KiB
Current children cumulated memory: 384944 KiB
[startup+3402.3 s]
/proc/loadavg: 4.23 4.17 4.12 5/256 1041391
/proc/meminfo: memFree=124885752/131524600 swapFree=131071996/131071996
[pid=1039443] ppid=1039440 vsize=468128 memory=384944 CPUtime=3393.59 cores=4,6
/proc/1039443/stat : 1039443 (mixed-bag) R 1039440 1039443 1034130 0 -1 4194304 88897 0 0 0 338452 907 0 0 20 0 1 0 195446567 479363072 96236 134679101440 4194304 16488053 140726124829056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 39641088 140726124835861 140726124835938 140726124835938 140726124842955 0
/proc/1039443/statm: 117032 96236 4321 3002 0 100781 0
Current children cumulated CPU time: 3393.59 s
Current children cumulated vsize: 468128 KiB
Current children cumulated memory: 384944 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/256 1041401
/proc/meminfo: memFree=124879004/131524600 swapFree=131071996/131071996
[pid=1039443] ppid=1039440 vsize=468128 memory=386992 CPUtime=3453.44 cores=4,6
/proc/1039443/stat : 1039443 (mixed-bag) R 1039440 1039443 1034130 0 -1 4194304 89019 0 0 0 344425 919 0 0 20 0 1 0 195446567 479363072 96748 134679101440 4194304 16488053 140726124829056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 39641088 140726124835861 140726124835938 140726124835938 140726124842955 0
/proc/1039443/statm: 117032 96748 4321 3002 0 100781 0
Current children cumulated CPU time: 3453.44 s
Current children cumulated vsize: 468128 KiB
Current children cumulated memory: 386992 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/256 1041412
/proc/meminfo: memFree=124874736/131524600 swapFree=131071996/131071996
[pid=1039443] ppid=1039440 vsize=468128 memory=386992 CPUtime=3513.28 cores=4,6
/proc/1039443/stat : 1039443 (mixed-bag) R 1039440 1039443 1034130 0 -1 4194304 89131 0 0 0 350397 931 0 0 20 0 1 0 195446567 479363072 96748 134679101440 4194304 16488053 140726124829056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 39641088 140726124835861 140726124835938 140726124835938 140726124842955 0
/proc/1039443/statm: 117032 96748 4321 3002 0 100781 0
Current children cumulated CPU time: 3513.28 s
Current children cumulated vsize: 468128 KiB
Current children cumulated memory: 386992 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/256 1041422
/proc/meminfo: memFree=124867916/131524600 swapFree=131071996/131071996
[pid=1039443] ppid=1039440 vsize=468128 memory=389040 CPUtime=3573.12 cores=4,6
/proc/1039443/stat : 1039443 (mixed-bag) R 1039440 1039443 1034130 0 -1 4194304 89256 0 0 0 356370 942 0 0 20 0 1 0 195446567 479363072 97260 134679101440 4194304 16488053 140726124829056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 39641088 140726124835861 140726124835938 140726124835938 140726124842955 0
/proc/1039443/statm: 117032 97260 4321 3002 0 100781 0
Current children cumulated CPU time: 3573.12 s
Current children cumulated vsize: 468128 KiB
Current children cumulated memory: 389040 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/254 1041425
/proc/meminfo: memFree=124865572/131524600 swapFree=131071996/131071996
[pid=1039443] ppid=1039440 vsize=468128 memory=391088 CPUtime=3600.06 cores=4,6
/proc/1039443/stat : 1039443 (mixed-bag) R 1039440 1039443 1034130 0 -1 4194304 89332 0 0 0 359058 948 0 0 20 0 1 0 195446567 479363072 97772 134679101440 4194304 16488053 140726124829056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 39641088 140726124835861 140726124835938 140726124835938 140726124842955 0
/proc/1039443/statm: 117032 97772 4321 3002 0 100781 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 468128 KiB
Current children cumulated memory: 391088 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.31 s]
# the end of solver process 1039443 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.58 s, system=9.48525 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/254 1041425
/proc/meminfo: memFree=124865572/131524600 swapFree=131071996/131071996
[pid=1039443] ppid=1039440 vsize=468128 memory=391088 CPUtime=3600.06 cores=4,6
/proc/1039443/stat : 1039443 (mixed-bag) R 1039440 1039443 1034130 0 -1 4194304 89332 0 0 0 359058 948 0 0 20 0 1 0 195446567 479363072 97772 134679101440 4194304 16488053 140726124829056 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 39641088 140726124835861 140726124835938 140726124835938 140726124842955 0
/proc/1039443/statm: 117032 97772 4321 3002 0 100781 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 468128 KiB
Current children cumulated memory: 391088 KiB
Child status: 0
Real time (s): 3609.31
CPU time (s): 3600.07
CPU user time (s): 3590.58
CPU system time (s): 9.48525
CPU usage (%): 99.7441
Max. virtual memory (cumulated for all children) (KiB): 481044
Max. memory (cumulated for all children) (KiB): 391088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.58
system time used= 9.48525
maximum resident set size= 391676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89352
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= 103
involuntary context switches= 1406
# summary of solver processes directly reported to runsolver:
# pid: 1039443
# total CPU time (s): 3600.07
# total CPU user time (s): 3590.58
# total CPU system time (s): 9.48525
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.26612 second user time and 15.9951 second system time
The end
Begin job on nodeC032 at 2024-07-20 01:46:29
IDJOB=4454774
IDBENCH=146689
IDSOLVER=3083
FILE ID=nodeC032/4454774-1721432776
RUNJOBID= nodeC032-1721425494-1034141
SLURM_JOB_ID= 7545615
Free space on /tmp= 890032 MiB
SOLVER NAME= mixed-bag 2024-07-19
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-4454774-1721432776/watcher-4454774-1721432776 -o /tmp/evaluation-result-4454774-1721432776/solver-4454774-1721432776 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721425494-1034141 --watchdog 3760 mixed-bag HOME/instance-4454774-1721432776.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3e791e4af881e2fe08ee2208e231d7f8
RANDOM SEED=1176554803
nodeC032.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 : 3661.117
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.33
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 : 3681.968
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.03
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.854
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.33
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 : 3600.187
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.03
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 : 3661.991
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.33
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 : 3682.024
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.03
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 : 3657.602
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.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.909
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.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125526136 kB
MemAvailable: 128167516 kB
Buffers: 549384 kB
Cached: 2913964 kB
SwapCached: 0 kB
Active: 1036796 kB
Inactive: 4293712 kB
Active(anon): 1572 kB
Inactive(anon): 1911492 kB
Active(file): 1035224 kB
Inactive(file): 2382220 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16728 kB
Writeback: 4 kB
AnonPages: 1867136 kB
Mapped: 142468 kB
Shmem: 45912 kB
KReclaimable: 127516 kB
Slab: 244204 kB
SReclaimable: 127516 kB
SUnreclaim: 116688 kB
KernelStack: 4128 kB
PageTables: 13556 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2768432 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 73280 kB
HardwareCorrupted: 0 kB
AnonHugePages: 604160 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: 226004 kB
DirectMap2M: 21567488 kB
DirectMap1G: 114294784 kB
Free space on /tmp at the end= 890016 MiB
End job on nodeC032 at 2024-07-20 02:46:38