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.06 c [STEP] preprocessing with Papilo
0.11/0.17 c Papilo could not simplify the problem
0.11/0.17 c [STEP] solving with SCIP
299.23/300.31 c [STEP] preprocessing done, loading into solver
299.23/300.32 c [STEP] solving
299.23/300.32 c #variables 3826 #constraints 7450
299.23/300.32 c SMALL=int, LARGE=long long
299.23/300.32 c bounds - >= 0 @ 298.992
299.23/300.32 c stratification level: 48
373.93/375.27 c #Conflicts: 1000 | #Constraints: 8450
373.93/375.27 c #Conflicts: 2000 | #Constraints: 9450
373.93/375.27 c INPROCESSING
373.93/375.27 c GARBAGE COLLECT
373.93/375.27 c #Conflicts: 3000 | #Constraints: 9454
373.93/375.27 c #Conflicts: 4000 | #Constraints: 10454
373.93/375.27 c INPROCESSING
373.93/375.27 c GARBAGE COLLECT
373.93/375.27 c #Conflicts: 5000 | #Constraints: 9856
373.93/375.27 c #Conflicts: 6000 | #Constraints: 10856
373.93/375.27 c INPROCESSING
373.93/375.27 c GARBAGE COLLECT
373.93/375.27 c #Conflicts: 7000 | #Constraints: 9860
373.93/375.27 c #Conflicts: 8000 | #Constraints: 10860
373.93/375.27 c #Conflicts: 9000 | #Constraints: 11860
373.93/375.27 c INPROCESSING
373.93/375.27 c GARBAGE COLLECT
373.93/375.27 c #Conflicts: 10000 | #Constraints: 10558
373.93/375.27 c #Conflicts: 11000 | #Constraints: 11558
373.93/375.27 c #Conflicts: 12000 | #Constraints: 12558
373.93/375.27 c INPROCESSING
373.93/375.27 c GARBAGE COLLECT
373.93/375.27 c #Conflicts: 13000 | #Constraints: 11007
373.93/375.27 c #Conflicts: 14000 | #Constraints: 12007
373.93/375.27 c #Conflicts: 15000 | #Constraints: 13007
373.93/375.27 c INPROCESSING
373.93/375.27 c GARBAGE COLLECT
373.93/375.27 c #Conflicts: 16000 | #Constraints: 11234
373.93/375.27 c #Conflicts: 17000 | #Constraints: 12234
373.93/375.27 c #Conflicts: 18000 | #Constraints: 13234
373.93/375.27 c INPROCESSING
373.93/375.27 c GARBAGE COLLECT
373.93/375.27 c #Conflicts: 19000 | #Constraints: 11244
373.93/375.27 c #Conflicts: 20000 | #Constraints: 12244
373.93/375.27 c #Conflicts: 21000 | #Constraints: 13244
373.93/375.27 c INPROCESSING
373.93/375.27 c GARBAGE COLLECT
373.93/375.27 c #Conflicts: 22000 | #Constraints: 11050
373.93/375.27 c #Conflicts: 23000 | #Constraints: 12050
373.93/375.27 c #Conflicts: 24000 | #Constraints: 13050
373.93/375.27 c #Conflicts: 25000 | #Constraints: 14050
373.93/375.27 c INPROCESSING
373.93/375.27 c GARBAGE COLLECT
373.93/375.27 c #Conflicts: 26000 | #Constraints: 11655
373.93/375.27 c #Conflicts: 27000 | #Constraints: 12655
373.93/375.27 c #Conflicts: 28000 | #Constraints: 13655
373.93/375.27 c #Conflicts: 29000 | #Constraints: 14655
373.93/375.27 c INPROCESSING
373.93/375.27 c GARBAGE COLLECT
373.93/375.27 c #Conflicts: 30000 | #Constraints: 12057
373.93/375.27 c #Conflicts: 31000 | #Constraints: 13057
373.93/375.27 c #Conflicts: 32000 | #Constraints: 14057
373.93/375.27 c #Conflicts: 33000 | #Constraints: 15057
373.93/375.27 c INPROCESSING
373.93/375.27 c GARBAGE COLLECT
373.93/375.27 c #Conflicts: 34000 | #Constraints: 12258
373.93/375.27 c #Conflicts: 35000 | #Constraints: 13258
373.93/375.27 c #Conflicts: 36000 | #Constraints: 14258
373.93/375.27 c #Conflicts: 37000 | #Constraints: 15258
373.93/375.27 c INPROCESSING
373.93/375.27 c GARBAGE COLLECT
373.93/375.27 c #Conflicts: 38000 | #Constraints: 12260
373.93/375.27 c #Conflicts: 39000 | #Constraints: 13260
373.93/375.27 c #Conflicts: 40000 | #Constraints: 14260
373.93/375.27 c #Conflicts: 41000 | #Constraints: 15260
373.93/375.27 c INPROCESSING
373.93/375.27 c GARBAGE COLLECT
373.93/375.27 c #Conflicts: 42000 | #Constraints: 12059
373.93/375.27 c #Conflicts: 43000 | #Constraints: 13059
373.93/375.27 c #Conflicts: 44000 | #Constraints: 14059
373.93/375.27 c #Conflicts: 45000 | #Constraints: 15059
373.93/375.27 c #Conflicts: 46000 | #Constraints: 16059
373.93/375.27 c INPROCESSING
373.93/375.27 c GARBAGE COLLECT
373.93/375.27 c #Conflicts: 47000 | #Constraints: 12658
373.93/375.27 c #Conflicts: 48000 | #Constraints: 13658
373.93/375.27 c #Conflicts: 49000 | #Constraints: 14658
373.93/375.27 c #Conflicts: 50000 | #Constraints: 15658
373.93/375.27 c #Conflicts: 51000 | #Constraints: 16658
373.93/375.27 c INPROCESSING
373.93/375.27 c GARBAGE COLLECT
373.93/375.27 c #Conflicts: 52000 | #Constraints: 13060
373.93/375.27 c #Conflicts: 53000 | #Constraints: 14060
373.93/375.27 c #Conflicts: 54000 | #Constraints: 15060
373.93/375.27 c #Conflicts: 55000 | #Constraints: 16060
373.93/375.27 c #Conflicts: 56000 | #Constraints: 17060
373.93/375.27 c INPROCESSING
373.93/375.27 c GARBAGE COLLECT
373.93/375.27 c #Conflicts: 57000 | #Constraints: 13257
373.93/375.27 c #Conflicts: 58000 | #Constraints: 14257
373.93/375.27 c #Conflicts: 59000 | #Constraints: 15257
373.93/375.27 c #Conflicts: 60000 | #Constraints: 16257
373.93/375.27 c #Conflicts: 61000 | #Constraints: 17257
373.93/375.27 c INPROCESSING
373.93/375.27 c GARBAGE COLLECT
373.93/375.27 c #Conflicts: 62000 | #Constraints: 13257
373.93/375.27 c #Conflicts: 63000 | #Constraints: 14257
373.93/375.27 c #Conflicts: 64000 | #Constraints: 15257
373.93/375.27 c #Conflicts: 65000 | #Constraints: 16257
373.93/375.27 c #Conflicts: 66000 | #Constraints: 17257
373.93/375.27 c INPROCESSING
373.93/375.27 c GARBAGE COLLECT
373.93/375.27 c #Conflicts: 67000 | #Constraints: 13060
373.93/375.27 c #Conflicts: 68000 | #Constraints: 14060
453.70/455.25 c #Conflicts: 69000 | #Constraints: 15060
453.70/455.25 c #Conflicts: 70000 | #Constraints: 16060
453.70/455.25 c #Conflicts: 71000 | #Constraints: 17060
453.70/455.25 c #Conflicts: 72000 | #Constraints: 18060
453.70/455.25 c INPROCESSING
453.70/455.25 c GARBAGE COLLECT
453.70/455.25 c #Conflicts: 73000 | #Constraints: 13659
453.70/455.25 c #Conflicts: 74000 | #Constraints: 14659
453.70/455.25 c #Conflicts: 75000 | #Constraints: 15659
453.70/455.25 c #Conflicts: 76000 | #Constraints: 16659
453.70/455.25 c #Conflicts: 77000 | #Constraints: 17659
453.70/455.25 c #Conflicts: 78000 | #Constraints: 18659
453.70/455.25 c INPROCESSING
453.70/455.25 c GARBAGE COLLECT
453.70/455.25 c #Conflicts: 79000 | #Constraints: 14056
453.70/455.25 c #Conflicts: 80000 | #Constraints: 15056
453.70/455.25 c #Conflicts: 81000 | #Constraints: 16056
453.70/455.25 c #Conflicts: 82000 | #Constraints: 17056
453.70/455.25 c #Conflicts: 83000 | #Constraints: 18056
453.70/455.25 c #Conflicts: 84000 | #Constraints: 19056
453.70/455.25 c INPROCESSING
453.70/455.25 c GARBAGE COLLECT
453.70/455.25 c #Conflicts: 85000 | #Constraints: 14260
453.70/455.25 c #Conflicts: 86000 | #Constraints: 15260
453.70/455.25 c #Conflicts: 87000 | #Constraints: 16260
453.70/455.25 c #Conflicts: 88000 | #Constraints: 17260
453.70/455.25 c #Conflicts: 89000 | #Constraints: 18260
453.70/455.25 c #Conflicts: 90000 | #Constraints: 19260
453.70/455.25 c INPROCESSING
453.70/455.25 c GARBAGE COLLECT
453.70/455.25 c #Conflicts: 91000 | #Constraints: 14259
453.70/455.25 c #Conflicts: 92000 | #Constraints: 15259
453.70/455.25 c #Conflicts: 93000 | #Constraints: 16259
453.70/455.25 c #Conflicts: 94000 | #Constraints: 17259
453.70/455.25 c #Conflicts: 95000 | #Constraints: 18259
453.70/455.25 c #Conflicts: 96000 | #Constraints: 19259
453.70/455.25 c INPROCESSING
453.70/455.25 c GARBAGE COLLECT
453.70/455.25 c #Conflicts: 97000 | #Constraints: 14059
453.70/455.25 c #Conflicts: 98000 | #Constraints: 15059
453.70/455.25 c #Conflicts: 99000 | #Constraints: 16059
453.70/455.25 c #Conflicts: 100000 | #Constraints: 17059
453.70/455.25 c #Conflicts: 101000 | #Constraints: 18059
453.70/455.25 c #Conflicts: 102000 | #Constraints: 19059
453.70/455.25 c #Conflicts: 103000 | #Constraints: 20059
453.70/455.25 c INPROCESSING
453.70/455.25 c GARBAGE COLLECT
453.70/455.25 c #Conflicts: 104000 | #Constraints: 14658
453.70/455.25 c #Conflicts: 105000 | #Constraints: 15658
453.70/455.25 c #Conflicts: 106000 | #Constraints: 16658
453.70/455.25 c #Conflicts: 107000 | #Constraints: 17658
453.70/455.25 c #Conflicts: 108000 | #Constraints: 18658
453.70/455.25 c #Conflicts: 109000 | #Constraints: 19658
453.70/455.25 c #Conflicts: 110000 | #Constraints: 20658
453.70/455.25 c INPROCESSING
453.70/455.25 c GARBAGE COLLECT
453.70/455.25 c #Conflicts: 111000 | #Constraints: 15058
453.70/455.25 c #Conflicts: 112000 | #Constraints: 16058
453.70/455.25 c #Conflicts: 113000 | #Constraints: 17058
453.70/455.25 c #Conflicts: 114000 | #Constraints: 18058
453.70/455.25 c #Conflicts: 115000 | #Constraints: 19058
453.70/455.25 c #Conflicts: 116000 | #Constraints: 20058
453.70/455.25 c #Conflicts: 117000 | #Constraints: 21058
453.70/455.25 c INPROCESSING
453.70/455.25 c GARBAGE COLLECT
453.70/455.25 c #Conflicts: 118000 | #Constraints: 15259
453.70/455.25 c #Conflicts: 119000 | #Constraints: 16259
453.70/455.25 c #Conflicts: 120000 | #Constraints: 17259
453.70/455.25 c #Conflicts: 121000 | #Constraints: 18259
453.70/455.25 c #Conflicts: 122000 | #Constraints: 19259
453.70/455.25 c #Conflicts: 123000 | #Constraints: 20259
453.70/455.25 c #Conflicts: 124000 | #Constraints: 21259
453.70/455.25 c INPROCESSING
453.70/455.25 c GARBAGE COLLECT
453.70/455.25 c #Conflicts: 125000 | #Constraints: 15259
453.70/455.25 c #Conflicts: 126000 | #Constraints: 16259
453.70/455.25 c #Conflicts: 127000 | #Constraints: 17259
453.70/455.25 c #Conflicts: 128000 | #Constraints: 18259
453.70/455.25 c #Conflicts: 129000 | #Constraints: 19259
453.70/455.25 c #Conflicts: 130000 | #Constraints: 20259
453.70/455.25 c #Conflicts: 131000 | #Constraints: 21259
453.70/455.25 c INPROCESSING
453.70/455.25 c GARBAGE COLLECT
453.70/455.25 c #Conflicts: 132000 | #Constraints: 15058
453.70/455.25 c #Conflicts: 133000 | #Constraints: 16058
453.70/455.25 c #Conflicts: 134000 | #Constraints: 17058
453.70/455.25 c #Conflicts: 135000 | #Constraints: 18058
453.70/455.25 c #Conflicts: 136000 | #Constraints: 19058
453.70/455.25 c #Conflicts: 137000 | #Constraints: 20058
453.70/455.25 c #Conflicts: 138000 | #Constraints: 21058
453.70/455.25 c #Conflicts: 139000 | #Constraints: 22058
453.70/455.25 c INPROCESSING
453.70/455.25 c GARBAGE COLLECT
453.70/455.25 c #Conflicts: 140000 | #Constraints: 15658
535.97/537.78 c #Conflicts: 141000 | #Constraints: 16658
535.97/537.78 c #Conflicts: 142000 | #Constraints: 17658
535.97/537.78 c #Conflicts: 143000 | #Constraints: 18658
535.97/537.78 c #Conflicts: 144000 | #Constraints: 19658
535.97/537.78 c #Conflicts: 145000 | #Constraints: 20658
535.97/537.78 c #Conflicts: 146000 | #Constraints: 21658
535.97/537.78 c #Conflicts: 147000 | #Constraints: 22658
535.97/537.78 c INPROCESSING
535.97/537.78 c GARBAGE COLLECT
535.97/537.78 c #Conflicts: 148000 | #Constraints: 16061
535.97/537.78 c #Conflicts: 149000 | #Constraints: 17061
535.97/537.78 c #Conflicts: 150000 | #Constraints: 18061
535.97/537.78 c #Conflicts: 151000 | #Constraints: 19061
535.97/537.78 c #Conflicts: 152000 | #Constraints: 20061
535.97/537.78 c #Conflicts: 153000 | #Constraints: 21061
535.97/537.78 c #Conflicts: 154000 | #Constraints: 22061
535.97/537.78 c #Conflicts: 155000 | #Constraints: 23061
535.97/537.78 c INPROCESSING
535.97/537.78 c GARBAGE COLLECT
535.97/537.78 c #Conflicts: 156000 | #Constraints: 16262
535.97/537.78 c #Conflicts: 157000 | #Constraints: 17262
535.97/537.78 c #Conflicts: 158000 | #Constraints: 18262
535.97/537.78 c #Conflicts: 159000 | #Constraints: 19262
535.97/537.78 c #Conflicts: 160000 | #Constraints: 20262
535.97/537.78 c #Conflicts: 161000 | #Constraints: 21262
535.97/537.78 c #Conflicts: 162000 | #Constraints: 22262
535.97/537.78 c #Conflicts: 163000 | #Constraints: 23262
535.97/537.78 c INPROCESSING
535.97/537.78 c GARBAGE COLLECT
535.97/537.78 c #Conflicts: 164000 | #Constraints: 16261
535.97/537.78 c #Conflicts: 165000 | #Constraints: 17261
535.97/537.78 c #Conflicts: 166000 | #Constraints: 18261
535.97/537.78 c #Conflicts: 167000 | #Constraints: 19261
535.97/537.78 c #Conflicts: 168000 | #Constraints: 20261
535.97/537.78 c #Conflicts: 169000 | #Constraints: 21261
535.97/537.78 c #Conflicts: 170000 | #Constraints: 22261
535.97/537.78 c #Conflicts: 171000 | #Constraints: 23261
535.97/537.78 c INPROCESSING
535.97/537.78 c GARBAGE COLLECT
535.97/537.78 c #Conflicts: 172000 | #Constraints: 16059
535.97/537.78 c #Conflicts: 173000 | #Constraints: 17059
535.97/537.78 c #Conflicts: 174000 | #Constraints: 18059
535.97/537.78 c #Conflicts: 175000 | #Constraints: 19059
535.97/537.78 c #Conflicts: 176000 | #Constraints: 20059
535.97/537.78 c #Conflicts: 177000 | #Constraints: 21059
535.97/537.78 c #Conflicts: 178000 | #Constraints: 22059
535.97/537.78 c #Conflicts: 179000 | #Constraints: 23059
535.97/537.78 c #Conflicts: 180000 | #Constraints: 24059
535.97/537.78 c INPROCESSING
535.97/537.78 c GARBAGE COLLECT
535.97/537.78 c #Conflicts: 181000 | #Constraints: 16658
535.97/537.78 c #Conflicts: 182000 | #Constraints: 17658
535.97/537.78 c #Conflicts: 183000 | #Constraints: 18658
535.97/537.78 c #Conflicts: 184000 | #Constraints: 19658
535.97/537.78 c #Conflicts: 185000 | #Constraints: 20658
535.97/537.78 c #Conflicts: 186000 | #Constraints: 21658
535.97/537.78 c #Conflicts: 187000 | #Constraints: 22658
535.97/537.78 c #Conflicts: 188000 | #Constraints: 23658
535.97/537.78 c #Conflicts: 189000 | #Constraints: 24658
535.97/537.78 c INPROCESSING
535.97/537.78 c GARBAGE COLLECT
535.97/537.78 c #Conflicts: 190000 | #Constraints: 17060
535.97/537.78 c #Conflicts: 191000 | #Constraints: 18060
535.97/537.78 c #Conflicts: 192000 | #Constraints: 19060
535.97/537.78 c #Conflicts: 193000 | #Constraints: 20060
535.97/537.78 c #Conflicts: 194000 | #Constraints: 21060
535.97/537.78 c #Conflicts: 195000 | #Constraints: 22060
535.97/537.78 c #Conflicts: 196000 | #Constraints: 23060
535.97/537.78 c #Conflicts: 197000 | #Constraints: 24060
535.97/537.78 c #Conflicts: 198000 | #Constraints: 25060
535.97/537.78 c INPROCESSING
535.97/537.78 c GARBAGE COLLECT
535.97/537.78 c #Conflicts: 199000 | #Constraints: 17264
535.97/537.78 c #Conflicts: 200000 | #Constraints: 18264
535.97/537.78 c #Conflicts: 201000 | #Constraints: 19264
535.97/537.78 c #Conflicts: 202000 | #Constraints: 20264
535.97/537.78 c #Conflicts: 203000 | #Constraints: 21264
535.97/537.78 c #Conflicts: 204000 | #Constraints: 22264
535.97/537.78 c #Conflicts: 205000 | #Constraints: 23264
535.97/537.78 c #Conflicts: 206000 | #Constraints: 24264
535.97/537.78 c #Conflicts: 207000 | #Constraints: 25264
535.97/537.78 c INPROCESSING
535.97/537.78 c GARBAGE COLLECT
535.97/537.78 c #Conflicts: 208000 | #Constraints: 17263
535.97/537.78 c #Conflicts: 209000 | #Constraints: 18263
535.97/537.78 c #Conflicts: 210000 | #Constraints: 19263
535.97/537.78 c #Conflicts: 211000 | #Constraints: 20263
535.97/537.78 c #Conflicts: 212000 | #Constraints: 21263
535.97/537.78 c #Conflicts: 213000 | #Constraints: 22263
619.63/621.65 c #Conflicts: 214000 | #Constraints: 23263
619.63/621.65 c #Conflicts: 215000 | #Constraints: 24263
619.63/621.65 c #Conflicts: 216000 | #Constraints: 25263
619.63/621.65 c INPROCESSING
619.63/621.65 c GARBAGE COLLECT
619.63/621.65 c #Conflicts: 217000 | #Constraints: 17062
619.63/621.65 c #Conflicts: 218000 | #Constraints: 18062
619.63/621.65 c #Conflicts: 219000 | #Constraints: 19062
619.63/621.65 c #Conflicts: 220000 | #Constraints: 20062
619.63/621.65 c #Conflicts: 221000 | #Constraints: 21062
619.63/621.65 c #Conflicts: 222000 | #Constraints: 22062
619.63/621.65 c #Conflicts: 223000 | #Constraints: 23062
619.63/621.65 c #Conflicts: 224000 | #Constraints: 24062
619.63/621.65 c #Conflicts: 225000 | #Constraints: 25062
619.63/621.65 c #Conflicts: 226000 | #Constraints: 26062
619.63/621.65 c INPROCESSING
619.63/621.65 c GARBAGE COLLECT
619.63/621.65 c #Conflicts: 227000 | #Constraints: 17665
619.63/621.65 c #Conflicts: 228000 | #Constraints: 18665
619.63/621.65 c #Conflicts: 229000 | #Constraints: 19665
619.63/621.65 c #Conflicts: 230000 | #Constraints: 20665
619.63/621.65 c #Conflicts: 231000 | #Constraints: 21665
619.63/621.65 c #Conflicts: 232000 | #Constraints: 22665
619.63/621.65 c #Conflicts: 233000 | #Constraints: 23665
619.63/621.65 c #Conflicts: 234000 | #Constraints: 24665
619.63/621.65 c #Conflicts: 235000 | #Constraints: 25665
619.63/621.65 c #Conflicts: 236000 | #Constraints: 26665
619.63/621.65 c INPROCESSING
619.63/621.65 c GARBAGE COLLECT
619.63/621.65 c #Conflicts: 237000 | #Constraints: 18060
619.63/621.65 c #Conflicts: 238000 | #Constraints: 19060
619.63/621.65 c #Conflicts: 239000 | #Constraints: 20060
619.63/621.65 c #Conflicts: 240000 | #Constraints: 21060
619.63/621.65 c #Conflicts: 241000 | #Constraints: 22060
619.63/621.65 c #Conflicts: 242000 | #Constraints: 23060
619.63/621.65 c #Conflicts: 243000 | #Constraints: 24060
619.63/621.65 c #Conflicts: 244000 | #Constraints: 25060
619.63/621.65 c #Conflicts: 245000 | #Constraints: 26060
619.63/621.65 c #Conflicts: 246000 | #Constraints: 27060
619.63/621.65 c INPROCESSING
619.63/621.65 c GARBAGE COLLECT
619.63/621.65 c #Conflicts: 247000 | #Constraints: 18263
619.63/621.65 c #Conflicts: 248000 | #Constraints: 19263
619.63/621.65 c #Conflicts: 249000 | #Constraints: 20263
619.63/621.65 c #Conflicts: 250000 | #Constraints: 21263
619.63/621.65 c #Conflicts: 251000 | #Constraints: 22263
619.63/621.65 c #Conflicts: 252000 | #Constraints: 23263
619.63/621.65 c #Conflicts: 253000 | #Constraints: 24263
619.63/621.65 c #Conflicts: 254000 | #Constraints: 25263
619.63/621.65 c #Conflicts: 255000 | #Constraints: 26263
619.63/621.65 c #Conflicts: 256000 | #Constraints: 27263
619.63/621.65 c INPROCESSING
619.63/621.65 c GARBAGE COLLECT
619.63/621.65 c #Conflicts: 257000 | #Constraints: 18262
619.63/621.65 c #Conflicts: 258000 | #Constraints: 19262
619.63/621.65 c #Conflicts: 259000 | #Constraints: 20262
619.63/621.65 c #Conflicts: 260000 | #Constraints: 21262
619.63/621.65 c #Conflicts: 261000 | #Constraints: 22262
619.63/621.65 c #Conflicts: 262000 | #Constraints: 23262
619.63/621.65 c #Conflicts: 263000 | #Constraints: 24262
619.63/621.65 c #Conflicts: 264000 | #Constraints: 25262
619.63/621.65 c #Conflicts: 265000 | #Constraints: 26262
619.63/621.65 c #Conflicts: 266000 | #Constraints: 27262
619.63/621.65 c INPROCESSING
619.63/621.65 c GARBAGE COLLECT
619.63/621.65 c #Conflicts: 267000 | #Constraints: 18059
619.63/621.65 c #Conflicts: 268000 | #Constraints: 19059
619.63/621.65 c #Conflicts: 269000 | #Constraints: 20059
619.63/621.65 c #Conflicts: 270000 | #Constraints: 21059
619.63/621.65 c #Conflicts: 271000 | #Constraints: 22059
619.63/621.65 c #Conflicts: 272000 | #Constraints: 23059
619.63/621.65 c #Conflicts: 273000 | #Constraints: 24059
619.63/621.65 c #Conflicts: 274000 | #Constraints: 25059
619.63/621.65 c #Conflicts: 275000 | #Constraints: 26059
619.63/621.65 c #Conflicts: 276000 | #Constraints: 27059
619.63/621.65 c #Conflicts: 277000 | #Constraints: 28059
619.63/621.65 c INPROCESSING
619.63/621.65 c GARBAGE COLLECT
619.63/621.65 c #Conflicts: 278000 | #Constraints: 18658
619.63/621.65 c #Conflicts: 279000 | #Constraints: 19658
619.63/621.65 c #Conflicts: 280000 | #Constraints: 20658
619.63/621.65 c #Conflicts: 281000 | #Constraints: 21658
619.63/621.65 c #Conflicts: 282000 | #Constraints: 22658
619.63/621.65 c #Conflicts: 283000 | #Constraints: 23658
619.63/621.65 c #Conflicts: 284000 | #Constraints: 24658
619.63/621.65 c #Conflicts: 285000 | #Constraints: 25658
619.63/621.65 c #Conflicts: 286000 | #Constraints: 26658
619.63/621.65 c #Conflicts: 287000 | #Constraints: 27658
619.63/621.65 c #Conflicts: 288000 | #Constraints: 28658
701.00/703.23 c INPROCESSING
701.00/703.23 c GARBAGE COLLECT
701.00/703.23 c #Conflicts: 289000 | #Constraints: 19057
701.00/703.23 c #Conflicts: 290000 | #Constraints: 20057
701.00/703.23 c #Conflicts: 291000 | #Constraints: 21057
701.00/703.23 c #Conflicts: 292000 | #Constraints: 22057
701.00/703.23 c #Conflicts: 293000 | #Constraints: 23057
701.00/703.23 c #Conflicts: 294000 | #Constraints: 24057
701.00/703.23 c #Conflicts: 295000 | #Constraints: 25057
701.00/703.23 c #Conflicts: 296000 | #Constraints: 26057
701.00/703.23 c #Conflicts: 297000 | #Constraints: 27057
701.00/703.23 c #Conflicts: 298000 | #Constraints: 28057
701.00/703.23 c #Conflicts: 299000 | #Constraints: 29057
701.00/703.23 c INPROCESSING
701.00/703.23 c GARBAGE COLLECT
701.00/703.23 c #Conflicts: 300000 | #Constraints: 19260
701.00/703.23 c #Conflicts: 301000 | #Constraints: 20260
701.00/703.23 c #Conflicts: 302000 | #Constraints: 21260
701.00/703.23 c #Conflicts: 303000 | #Constraints: 22260
701.00/703.23 c #Conflicts: 304000 | #Constraints: 23260
701.00/703.23 c #Conflicts: 305000 | #Constraints: 24260
701.00/703.23 c #Conflicts: 306000 | #Constraints: 25260
701.00/703.23 c #Conflicts: 307000 | #Constraints: 26260
701.00/703.23 c #Conflicts: 308000 | #Constraints: 27260
701.00/703.23 c #Conflicts: 309000 | #Constraints: 28260
701.00/703.23 c #Conflicts: 310000 | #Constraints: 29260
701.00/703.23 c INPROCESSING
701.00/703.23 c GARBAGE COLLECT
701.00/703.23 c #Conflicts: 311000 | #Constraints: 19264
701.00/703.23 c #Conflicts: 312000 | #Constraints: 20264
701.00/703.23 c #Conflicts: 313000 | #Constraints: 21264
701.00/703.23 c #Conflicts: 314000 | #Constraints: 22264
701.00/703.23 c #Conflicts: 315000 | #Constraints: 23264
701.00/703.23 c #Conflicts: 316000 | #Constraints: 24264
701.00/703.23 c #Conflicts: 317000 | #Constraints: 25264
701.00/703.23 c #Conflicts: 318000 | #Constraints: 26264
701.00/703.23 c #Conflicts: 319000 | #Constraints: 27264
701.00/703.23 c #Conflicts: 320000 | #Constraints: 28264
701.00/703.23 c #Conflicts: 321000 | #Constraints: 29264
701.00/703.23 c INPROCESSING
701.00/703.23 c GARBAGE COLLECT
701.00/703.23 c #Conflicts: 322000 | #Constraints: 19061
701.00/703.23 c #Conflicts: 323000 | #Constraints: 20061
701.00/703.23 c #Conflicts: 324000 | #Constraints: 21061
701.00/703.23 c #Conflicts: 325000 | #Constraints: 22061
701.00/703.23 c #Conflicts: 326000 | #Constraints: 23061
701.00/703.23 c #Conflicts: 327000 | #Constraints: 24061
701.00/703.23 c #Conflicts: 328000 | #Constraints: 25061
701.00/703.23 c #Conflicts: 329000 | #Constraints: 26061
701.00/703.23 c #Conflicts: 330000 | #Constraints: 27061
701.00/703.23 c #Conflicts: 331000 | #Constraints: 28061
701.00/703.23 c #Conflicts: 332000 | #Constraints: 29061
701.00/703.23 c #Conflicts: 333000 | #Constraints: 30061
701.00/703.23 c INPROCESSING
701.00/703.23 c GARBAGE COLLECT
701.00/703.23 c #Conflicts: 334000 | #Constraints: 19658
701.00/703.23 c #Conflicts: 335000 | #Constraints: 20658
701.00/703.23 c #Conflicts: 336000 | #Constraints: 21658
701.00/703.23 c #Conflicts: 337000 | #Constraints: 22658
701.00/703.23 c #Conflicts: 338000 | #Constraints: 23658
701.00/703.23 c #Conflicts: 339000 | #Constraints: 24658
701.00/703.23 c #Conflicts: 340000 | #Constraints: 25658
701.00/703.23 c #Conflicts: 341000 | #Constraints: 26658
701.00/703.23 c #Conflicts: 342000 | #Constraints: 27658
701.00/703.23 c #Conflicts: 343000 | #Constraints: 28658
701.00/703.23 c #Conflicts: 344000 | #Constraints: 29658
701.00/703.23 c #Conflicts: 345000 | #Constraints: 30658
701.00/703.23 c INPROCESSING
701.00/703.23 c GARBAGE COLLECT
701.00/703.23 c #Conflicts: 346000 | #Constraints: 20057
701.00/703.23 c #Conflicts: 347000 | #Constraints: 21057
701.00/703.23 c #Conflicts: 348000 | #Constraints: 22057
701.00/703.23 c #Conflicts: 349000 | #Constraints: 23057
701.00/703.23 c #Conflicts: 350000 | #Constraints: 24057
701.00/703.23 c #Conflicts: 351000 | #Constraints: 25057
701.00/703.23 c #Conflicts: 352000 | #Constraints: 26057
701.00/703.23 c #Conflicts: 353000 | #Constraints: 27057
701.00/703.23 c #Conflicts: 354000 | #Constraints: 28057
701.00/703.23 c #Conflicts: 355000 | #Constraints: 29057
701.00/703.23 c #Conflicts: 356000 | #Constraints: 30057
701.00/703.23 c #Conflicts: 357000 | #Constraints: 31057
701.00/703.23 c INPROCESSING
701.00/703.23 c GARBAGE COLLECT
701.00/703.23 c #Conflicts: 358000 | #Constraints: 20257
701.00/703.23 c #Conflicts: 359000 | #Constraints: 21257
701.00/703.23 c #Conflicts: 360000 | #Constraints: 22257
701.00/703.23 c #Conflicts: 361000 | #Constraints: 23257
701.00/703.23 c #Conflicts: 362000 | #Constraints: 24257
784.47/787.01 c #Conflicts: 363000 | #Constraints: 25257
784.47/787.01 c #Conflicts: 364000 | #Constraints: 26257
784.47/787.01 c #Conflicts: 365000 | #Constraints: 27257
784.47/787.01 c #Conflicts: 366000 | #Constraints: 28257
784.47/787.01 c #Conflicts: 367000 | #Constraints: 29257
784.47/787.01 c #Conflicts: 368000 | #Constraints: 30257
784.47/787.01 c #Conflicts: 369000 | #Constraints: 31257
784.47/787.01 c INPROCESSING
784.47/787.01 c GARBAGE COLLECT
784.47/787.01 c #Conflicts: 370000 | #Constraints: 20262
784.47/787.01 c #Conflicts: 371000 | #Constraints: 21262
784.47/787.01 c #Conflicts: 372000 | #Constraints: 22262
784.47/787.01 c #Conflicts: 373000 | #Constraints: 23262
784.47/787.01 c #Conflicts: 374000 | #Constraints: 24262
784.47/787.01 c #Conflicts: 375000 | #Constraints: 25262
784.47/787.01 c #Conflicts: 376000 | #Constraints: 26262
784.47/787.01 c #Conflicts: 377000 | #Constraints: 27262
784.47/787.01 c #Conflicts: 378000 | #Constraints: 28262
784.47/787.01 c #Conflicts: 379000 | #Constraints: 29262
784.47/787.01 c #Conflicts: 380000 | #Constraints: 30262
784.47/787.01 c #Conflicts: 381000 | #Constraints: 31262
784.47/787.01 c INPROCESSING
784.47/787.01 c GARBAGE COLLECT
784.47/787.01 c #Conflicts: 382000 | #Constraints: 20060
784.47/787.01 c #Conflicts: 383000 | #Constraints: 21060
784.47/787.01 c #Conflicts: 384000 | #Constraints: 22060
784.47/787.01 c #Conflicts: 385000 | #Constraints: 23060
784.47/787.01 c #Conflicts: 386000 | #Constraints: 24060
784.47/787.01 c #Conflicts: 387000 | #Constraints: 25060
784.47/787.01 c #Conflicts: 388000 | #Constraints: 26060
784.47/787.01 c #Conflicts: 389000 | #Constraints: 27060
784.47/787.01 c #Conflicts: 390000 | #Constraints: 28060
784.47/787.01 c #Conflicts: 391000 | #Constraints: 29060
784.47/787.01 c #Conflicts: 392000 | #Constraints: 30060
784.47/787.01 c #Conflicts: 393000 | #Constraints: 31060
784.47/787.01 c #Conflicts: 394000 | #Constraints: 32060
784.47/787.01 c INPROCESSING
784.47/787.01 c GARBAGE COLLECT
784.47/787.01 c #Conflicts: 395000 | #Constraints: 20659
784.47/787.01 c #Conflicts: 396000 | #Constraints: 21659
784.47/787.01 c #Conflicts: 397000 | #Constraints: 22659
784.47/787.01 c #Conflicts: 398000 | #Constraints: 23659
784.47/787.01 c #Conflicts: 399000 | #Constraints: 24659
784.47/787.01 c #Conflicts: 400000 | #Constraints: 25659
784.47/787.01 c #Conflicts: 401000 | #Constraints: 26659
784.47/787.01 c #Conflicts: 402000 | #Constraints: 27659
784.47/787.01 c #Conflicts: 403000 | #Constraints: 28659
784.47/787.01 c #Conflicts: 404000 | #Constraints: 29659
784.47/787.01 c #Conflicts: 405000 | #Constraints: 30659
784.47/787.01 c #Conflicts: 406000 | #Constraints: 31659
784.47/787.01 c #Conflicts: 407000 | #Constraints: 32659
784.47/787.01 c INPROCESSING
784.47/787.01 c GARBAGE COLLECT
784.47/787.01 c #Conflicts: 408000 | #Constraints: 21060
784.47/787.01 c #Conflicts: 409000 | #Constraints: 22060
784.47/787.01 c #Conflicts: 410000 | #Constraints: 23060
784.47/787.01 c #Conflicts: 411000 | #Constraints: 24060
784.47/787.01 c #Conflicts: 412000 | #Constraints: 25060
784.47/787.01 c #Conflicts: 413000 | #Constraints: 26060
784.47/787.01 c #Conflicts: 414000 | #Constraints: 27060
784.47/787.01 c #Conflicts: 415000 | #Constraints: 28060
784.47/787.01 c #Conflicts: 416000 | #Constraints: 29060
784.47/787.01 c #Conflicts: 417000 | #Constraints: 30060
784.47/787.01 c #Conflicts: 418000 | #Constraints: 31060
784.47/787.01 c #Conflicts: 419000 | #Constraints: 32060
784.47/787.01 c #Conflicts: 420000 | #Constraints: 33060
784.47/787.01 c INPROCESSING
784.47/787.01 c GARBAGE COLLECT
784.47/787.01 c #Conflicts: 421000 | #Constraints: 21259
784.47/787.01 c #Conflicts: 422000 | #Constraints: 22259
784.47/787.01 c #Conflicts: 423000 | #Constraints: 23259
784.47/787.01 c #Conflicts: 424000 | #Constraints: 24259
784.47/787.01 c #Conflicts: 425000 | #Constraints: 25259
784.47/787.01 c #Conflicts: 426000 | #Constraints: 26259
784.47/787.01 c #Conflicts: 427000 | #Constraints: 27259
784.47/787.01 c #Conflicts: 428000 | #Constraints: 28259
784.47/787.01 c #Conflicts: 429000 | #Constraints: 29259
784.47/787.01 c #Conflicts: 430000 | #Constraints: 30259
784.47/787.01 c #Conflicts: 431000 | #Constraints: 31259
784.47/787.01 c #Conflicts: 432000 | #Constraints: 32259
784.47/787.01 c #Conflicts: 433000 | #Constraints: 33259
784.47/787.01 c INPROCESSING
784.47/787.01 c GARBAGE COLLECT
784.47/787.01 c #Conflicts: 434000 | #Constraints: 21262
784.47/787.01 c #Conflicts: 435000 | #Constraints: 22262
784.47/787.01 c #Conflicts: 436000 | #Constraints: 23262
784.47/787.01 c #Conflicts: 437000 | #Constraints: 24262
867.63/870.33 c #Conflicts: 438000 | #Constraints: 25262
867.63/870.33 c #Conflicts: 439000 | #Constraints: 26262
867.63/870.33 c #Conflicts: 440000 | #Constraints: 27262
867.63/870.33 c #Conflicts: 441000 | #Constraints: 28262
867.63/870.33 c #Conflicts: 442000 | #Constraints: 29262
867.63/870.33 c #Conflicts: 443000 | #Constraints: 30262
867.63/870.33 c #Conflicts: 444000 | #Constraints: 31262
867.63/870.33 c #Conflicts: 445000 | #Constraints: 32262
867.63/870.33 c #Conflicts: 446000 | #Constraints: 33262
867.63/870.33 c INPROCESSING
867.63/870.33 c GARBAGE COLLECT
867.63/870.33 c #Conflicts: 447000 | #Constraints: 21064
867.63/870.33 c #Conflicts: 448000 | #Constraints: 22064
867.63/870.33 c #Conflicts: 449000 | #Constraints: 23064
867.63/870.33 c #Conflicts: 450000 | #Constraints: 24064
867.63/870.33 c #Conflicts: 451000 | #Constraints: 25064
867.63/870.33 c #Conflicts: 452000 | #Constraints: 26064
867.63/870.33 c #Conflicts: 453000 | #Constraints: 27064
867.63/870.33 c #Conflicts: 454000 | #Constraints: 28064
867.63/870.33 c #Conflicts: 455000 | #Constraints: 29064
867.63/870.33 c #Conflicts: 456000 | #Constraints: 30064
867.63/870.33 c #Conflicts: 457000 | #Constraints: 31064
867.63/870.33 c #Conflicts: 458000 | #Constraints: 32064
867.63/870.33 c #Conflicts: 459000 | #Constraints: 33064
867.63/870.33 c #Conflicts: 460000 | #Constraints: 34064
867.63/870.33 c INPROCESSING
867.63/870.33 c GARBAGE COLLECT
867.63/870.33 c #Conflicts: 461000 | #Constraints: 21665
867.63/870.33 c #Conflicts: 462000 | #Constraints: 22665
867.63/870.33 c #Conflicts: 463000 | #Constraints: 23665
867.63/870.33 c #Conflicts: 464000 | #Constraints: 24665
867.63/870.33 c #Conflicts: 465000 | #Constraints: 25665
867.63/870.33 c #Conflicts: 466000 | #Constraints: 26665
867.63/870.33 c #Conflicts: 467000 | #Constraints: 27665
867.63/870.33 c #Conflicts: 468000 | #Constraints: 28665
867.63/870.33 c #Conflicts: 469000 | #Constraints: 29665
867.63/870.33 c #Conflicts: 470000 | #Constraints: 30665
867.63/870.33 c #Conflicts: 471000 | #Constraints: 31665
867.63/870.33 c #Conflicts: 472000 | #Constraints: 32665
867.63/870.33 c #Conflicts: 473000 | #Constraints: 33665
867.63/870.33 c #Conflicts: 474000 | #Constraints: 34665
867.63/870.33 c INPROCESSING
867.63/870.33 c GARBAGE COLLECT
867.63/870.33 c #Conflicts: 475000 | #Constraints: 22072
867.63/870.33 c #Conflicts: 476000 | #Constraints: 23072
867.63/870.33 c #Conflicts: 477000 | #Constraints: 24072
867.63/870.33 c #Conflicts: 478000 | #Constraints: 25072
867.63/870.33 c #Conflicts: 479000 | #Constraints: 26072
867.63/870.33 c #Conflicts: 480000 | #Constraints: 27072
867.63/870.33 c #Conflicts: 481000 | #Constraints: 28072
867.63/870.33 c #Conflicts: 482000 | #Constraints: 29072
867.63/870.33 c #Conflicts: 483000 | #Constraints: 30072
867.63/870.33 c #Conflicts: 484000 | #Constraints: 31072
867.63/870.33 c #Conflicts: 485000 | #Constraints: 32072
867.63/870.33 c #Conflicts: 486000 | #Constraints: 33072
867.63/870.33 c #Conflicts: 487000 | #Constraints: 34072
867.63/870.33 c #Conflicts: 488000 | #Constraints: 35072
867.63/870.33 c INPROCESSING
867.63/870.33 c GARBAGE COLLECT
867.63/870.33 c #Conflicts: 489000 | #Constraints: 22272
867.63/870.33 c #Conflicts: 490000 | #Constraints: 23272
867.63/870.33 c #Conflicts: 491000 | #Constraints: 24272
867.63/870.33 c #Conflicts: 492000 | #Constraints: 25272
867.63/870.33 c #Conflicts: 493000 | #Constraints: 26272
867.63/870.33 c #Conflicts: 494000 | #Constraints: 27272
867.63/870.33 c #Conflicts: 495000 | #Constraints: 28272
867.63/870.33 c #Conflicts: 496000 | #Constraints: 29272
867.63/870.33 c #Conflicts: 497000 | #Constraints: 30272
867.63/870.33 c #Conflicts: 498000 | #Constraints: 31272
867.63/870.33 c #Conflicts: 499000 | #Constraints: 32272
867.63/870.33 c #Conflicts: 500000 | #Constraints: 33272
867.63/870.33 c #Conflicts: 501000 | #Constraints: 34272
867.63/870.33 c #Conflicts: 502000 | #Constraints: 35272
867.63/870.33 c INPROCESSING
867.63/870.33 c GARBAGE COLLECT
867.63/870.33 c #Conflicts: 503000 | #Constraints: 22276
867.63/870.33 c #Conflicts: 504000 | #Constraints: 23276
867.63/870.33 c #Conflicts: 505000 | #Constraints: 24276
867.63/870.33 c #Conflicts: 506000 | #Constraints: 25276
867.63/870.33 c #Conflicts: 507000 | #Constraints: 26276
867.63/870.33 c #Conflicts: 508000 | #Constraints: 27276
867.63/870.33 c #Conflicts: 509000 | #Constraints: 28276
867.63/870.33 c #Conflicts: 510000 | #Constraints: 29276
867.63/870.33 c #Conflicts: 511000 | #Constraints: 30276
867.63/870.33 c #Conflicts: 512000 | #Constraints: 31276
867.63/870.33 c #Conflicts: 513000 | #Constraints: 32276
953.88/956.83 c #Conflicts: 514000 | #Constraints: 33276
953.88/956.83 c #Conflicts: 515000 | #Constraints: 34276
953.88/956.83 c #Conflicts: 516000 | #Constraints: 35276
953.88/956.83 c INPROCESSING
953.88/956.83 c GARBAGE COLLECT
953.88/956.83 c #Conflicts: 517000 | #Constraints: 22068
953.88/956.83 c #Conflicts: 518000 | #Constraints: 23068
953.88/956.83 c #Conflicts: 519000 | #Constraints: 24068
953.88/956.83 c #Conflicts: 520000 | #Constraints: 25068
953.88/956.83 c #Conflicts: 521000 | #Constraints: 26068
953.88/956.83 c #Conflicts: 522000 | #Constraints: 27068
953.88/956.83 c #Conflicts: 523000 | #Constraints: 28068
953.88/956.83 c #Conflicts: 524000 | #Constraints: 29068
953.88/956.83 c #Conflicts: 525000 | #Constraints: 30068
953.88/956.83 c #Conflicts: 526000 | #Constraints: 31068
953.88/956.83 c #Conflicts: 527000 | #Constraints: 32068
953.88/956.83 c #Conflicts: 528000 | #Constraints: 33068
953.88/956.83 c #Conflicts: 529000 | #Constraints: 34068
953.88/956.83 c #Conflicts: 530000 | #Constraints: 35068
953.88/956.83 c #Conflicts: 531000 | #Constraints: 36068
953.88/956.83 c INPROCESSING
953.88/956.83 c GARBAGE COLLECT
953.88/956.83 c #Conflicts: 532000 | #Constraints: 22665
953.88/956.83 c #Conflicts: 533000 | #Constraints: 23665
953.88/956.83 c #Conflicts: 534000 | #Constraints: 24665
953.88/956.83 c #Conflicts: 535000 | #Constraints: 25665
953.88/956.83 c #Conflicts: 536000 | #Constraints: 26665
953.88/956.83 c #Conflicts: 537000 | #Constraints: 27665
953.88/956.83 c #Conflicts: 538000 | #Constraints: 28665
953.88/956.83 c #Conflicts: 539000 | #Constraints: 29665
953.88/956.83 c #Conflicts: 540000 | #Constraints: 30665
953.88/956.83 c #Conflicts: 541000 | #Constraints: 31665
953.88/956.83 c #Conflicts: 542000 | #Constraints: 32665
953.88/956.83 c #Conflicts: 543000 | #Constraints: 33665
953.88/956.83 c #Conflicts: 544000 | #Constraints: 34665
953.88/956.83 c #Conflicts: 545000 | #Constraints: 35665
953.88/956.83 c #Conflicts: 546000 | #Constraints: 36665
953.88/956.83 c INPROCESSING
953.88/956.83 c GARBAGE COLLECT
953.88/956.83 c #Conflicts: 547000 | #Constraints: 23068
953.88/956.83 c #Conflicts: 548000 | #Constraints: 24068
953.88/956.83 c #Conflicts: 549000 | #Constraints: 25068
953.88/956.83 c #Conflicts: 550000 | #Constraints: 26068
953.88/956.83 c #Conflicts: 551000 | #Constraints: 27068
953.88/956.83 c #Conflicts: 552000 | #Constraints: 28068
953.88/956.83 c #Conflicts: 553000 | #Constraints: 29068
953.88/956.83 c #Conflicts: 554000 | #Constraints: 30068
953.88/956.83 c #Conflicts: 555000 | #Constraints: 31068
953.88/956.83 c #Conflicts: 556000 | #Constraints: 32068
953.88/956.83 c #Conflicts: 557000 | #Constraints: 33068
953.88/956.83 c #Conflicts: 558000 | #Constraints: 34068
953.88/956.83 c #Conflicts: 559000 | #Constraints: 35068
953.88/956.83 c #Conflicts: 560000 | #Constraints: 36068
953.88/956.83 c #Conflicts: 561000 | #Constraints: 37068
953.88/956.83 c INPROCESSING
953.88/956.83 c GARBAGE COLLECT
953.88/956.83 c #Conflicts: 562000 | #Constraints: 23261
953.88/956.83 c #Conflicts: 563000 | #Constraints: 24261
953.88/956.83 c #Conflicts: 564000 | #Constraints: 25261
953.88/956.83 c #Conflicts: 565000 | #Constraints: 26261
953.88/956.83 c #Conflicts: 566000 | #Constraints: 27261
953.88/956.83 c #Conflicts: 567000 | #Constraints: 28261
953.88/956.83 c #Conflicts: 568000 | #Constraints: 29261
953.88/956.83 c #Conflicts: 569000 | #Constraints: 30261
953.88/956.83 c #Conflicts: 570000 | #Constraints: 31261
953.88/956.83 c #Conflicts: 571000 | #Constraints: 32261
953.88/956.83 c #Conflicts: 572000 | #Constraints: 33261
953.88/956.83 c #Conflicts: 573000 | #Constraints: 34261
953.88/956.83 c #Conflicts: 574000 | #Constraints: 35261
953.88/956.83 c #Conflicts: 575000 | #Constraints: 36261
953.88/956.83 c #Conflicts: 576000 | #Constraints: 37261
953.88/956.83 c INPROCESSING
953.88/956.83 c GARBAGE COLLECT
953.88/956.83 c #Conflicts: 577000 | #Constraints: 23261
953.88/956.83 c #Conflicts: 578000 | #Constraints: 24261
953.88/956.83 c #Conflicts: 579000 | #Constraints: 25261
953.88/956.83 c #Conflicts: 580000 | #Constraints: 26261
953.88/956.83 c #Conflicts: 581000 | #Constraints: 27261
953.88/956.83 c #Conflicts: 582000 | #Constraints: 28261
953.88/956.83 c #Conflicts: 583000 | #Constraints: 29261
953.88/956.83 c #Conflicts: 584000 | #Constraints: 30261
953.88/956.83 c #Conflicts: 585000 | #Constraints: 31261
953.88/956.83 c #Conflicts: 586000 | #Constraints: 32261
953.88/956.83 c #Conflicts: 587000 | #Constraints: 33261
953.88/956.83 c #Conflicts: 588000 | #Constraints: 34261
1042.22/1045.46 c #Conflicts: 589000 | #Constraints: 35261
1042.22/1045.46 c #Conflicts: 590000 | #Constraints: 36261
1042.22/1045.46 c #Conflicts: 591000 | #Constraints: 37261
1042.22/1045.46 c INPROCESSING
1042.22/1045.46 c GARBAGE COLLECT
1042.22/1045.46 c #Conflicts: 592000 | #Constraints: 23060
1042.22/1045.46 c #Conflicts: 593000 | #Constraints: 24060
1042.22/1045.46 c #Conflicts: 594000 | #Constraints: 25060
1042.22/1045.46 c #Conflicts: 595000 | #Constraints: 26060
1042.22/1045.46 c #Conflicts: 596000 | #Constraints: 27060
1042.22/1045.46 c #Conflicts: 597000 | #Constraints: 28060
1042.22/1045.46 c #Conflicts: 598000 | #Constraints: 29060
1042.22/1045.46 c #Conflicts: 599000 | #Constraints: 30060
1042.22/1045.46 c #Conflicts: 600000 | #Constraints: 31060
1042.22/1045.46 c #Conflicts: 601000 | #Constraints: 32060
1042.22/1045.46 c #Conflicts: 602000 | #Constraints: 33060
1042.22/1045.46 c #Conflicts: 603000 | #Constraints: 34060
1042.22/1045.46 c #Conflicts: 604000 | #Constraints: 35060
1042.22/1045.46 c #Conflicts: 605000 | #Constraints: 36060
1042.22/1045.46 c #Conflicts: 606000 | #Constraints: 37060
1042.22/1045.46 c #Conflicts: 607000 | #Constraints: 38060
1042.22/1045.47 c INPROCESSING
1042.22/1045.47 c GARBAGE COLLECT
1042.22/1045.47 c #Conflicts: 608000 | #Constraints: 23663
1042.22/1045.47 c #Conflicts: 609000 | #Constraints: 24663
1042.22/1045.47 c #Conflicts: 610000 | #Constraints: 25663
1042.22/1045.47 c #Conflicts: 611000 | #Constraints: 26663
1042.22/1045.47 c #Conflicts: 612000 | #Constraints: 27663
1042.22/1045.47 c #Conflicts: 613000 | #Constraints: 28663
1042.22/1045.47 c #Conflicts: 614000 | #Constraints: 29663
1042.22/1045.47 c #Conflicts: 615000 | #Constraints: 30663
1042.22/1045.47 c #Conflicts: 616000 | #Constraints: 31663
1042.22/1045.47 c #Conflicts: 617000 | #Constraints: 32663
1042.22/1045.47 c #Conflicts: 618000 | #Constraints: 33663
1042.22/1045.47 c #Conflicts: 619000 | #Constraints: 34663
1042.22/1045.47 c #Conflicts: 620000 | #Constraints: 35663
1042.22/1045.47 c #Conflicts: 621000 | #Constraints: 36663
1042.22/1045.47 c #Conflicts: 622000 | #Constraints: 37663
1042.22/1045.47 c #Conflicts: 623000 | #Constraints: 38663
1042.22/1045.47 c INPROCESSING
1042.22/1045.47 c GARBAGE COLLECT
1042.22/1045.47 c #Conflicts: 624000 | #Constraints: 24059
1042.22/1045.47 c #Conflicts: 625000 | #Constraints: 25059
1042.22/1045.47 c #Conflicts: 626000 | #Constraints: 26059
1042.22/1045.47 c #Conflicts: 627000 | #Constraints: 27059
1042.22/1045.47 c #Conflicts: 628000 | #Constraints: 28059
1042.22/1045.47 c #Conflicts: 629000 | #Constraints: 29059
1042.22/1045.47 c #Conflicts: 630000 | #Constraints: 30059
1042.22/1045.47 c #Conflicts: 631000 | #Constraints: 31059
1042.22/1045.47 c #Conflicts: 632000 | #Constraints: 32059
1042.22/1045.47 c #Conflicts: 633000 | #Constraints: 33059
1042.22/1045.47 c #Conflicts: 634000 | #Constraints: 34059
1042.22/1045.47 c #Conflicts: 635000 | #Constraints: 35059
1042.22/1045.47 c #Conflicts: 636000 | #Constraints: 36059
1042.22/1045.47 c #Conflicts: 637000 | #Constraints: 37059
1042.22/1045.47 c #Conflicts: 638000 | #Constraints: 38059
1042.22/1045.47 c #Conflicts: 639000 | #Constraints: 39059
1042.22/1045.47 c INPROCESSING
1042.22/1045.47 c GARBAGE COLLECT
1042.22/1045.47 c #Conflicts: 640000 | #Constraints: 24257
1042.22/1045.47 c #Conflicts: 641000 | #Constraints: 25257
1042.22/1045.47 c #Conflicts: 642000 | #Constraints: 26257
1042.22/1045.47 c #Conflicts: 643000 | #Constraints: 27257
1042.22/1045.47 c #Conflicts: 644000 | #Constraints: 28257
1042.22/1045.47 c #Conflicts: 645000 | #Constraints: 29257
1042.22/1045.47 c #Conflicts: 646000 | #Constraints: 30257
1042.22/1045.47 c #Conflicts: 647000 | #Constraints: 31257
1042.22/1045.47 c #Conflicts: 648000 | #Constraints: 32257
1042.22/1045.47 c #Conflicts: 649000 | #Constraints: 33257
1042.22/1045.47 c #Conflicts: 650000 | #Constraints: 34257
1042.22/1045.47 c #Conflicts: 651000 | #Constraints: 35257
1042.22/1045.47 c #Conflicts: 652000 | #Constraints: 36257
1042.22/1045.47 c #Conflicts: 653000 | #Constraints: 37257
1042.22/1045.47 c #Conflicts: 654000 | #Constraints: 38257
1042.22/1045.47 c #Conflicts: 655000 | #Constraints: 39257
1042.22/1045.47 c INPROCESSING
1042.22/1045.47 c GARBAGE COLLECT
1042.22/1045.47 c #Conflicts: 656000 | #Constraints: 24257
1042.22/1045.47 c #Conflicts: 657000 | #Constraints: 25257
1042.22/1045.47 c #Conflicts: 658000 | #Constraints: 26257
1042.22/1045.47 c #Conflicts: 659000 | #Constraints: 27257
1042.22/1045.47 c #Conflicts: 660000 | #Constraints: 28257
1042.22/1045.47 c #Conflicts: 661000 | #Constraints: 29257
1042.22/1045.47 c #Conflicts: 662000 | #Constraints: 30257
1042.22/1045.47 c #Conflicts: 663000 | #Constraints: 31257
1042.22/1045.47 c #Conflicts: 664000 | #Constraints: 32257
1128.48/1131.99 c #Conflicts: 665000 | #Constraints: 33257
1128.48/1131.99 c #Conflicts: 666000 | #Constraints: 34257
1128.48/1131.99 c #Conflicts: 667000 | #Constraints: 35257
1128.48/1131.99 c #Conflicts: 668000 | #Constraints: 36257
1128.48/1131.99 c #Conflicts: 669000 | #Constraints: 37257
1128.48/1131.99 c #Conflicts: 670000 | #Constraints: 38257
1128.48/1131.99 c #Conflicts: 671000 | #Constraints: 39257
1128.48/1131.99 c INPROCESSING
1128.48/1131.99 c GARBAGE COLLECT
1128.48/1131.99 c #Conflicts: 672000 | #Constraints: 24057
1128.48/1131.99 c #Conflicts: 673000 | #Constraints: 25057
1128.48/1131.99 c #Conflicts: 674000 | #Constraints: 26057
1128.48/1131.99 c #Conflicts: 675000 | #Constraints: 27057
1128.48/1131.99 c #Conflicts: 676000 | #Constraints: 28057
1128.48/1131.99 c #Conflicts: 677000 | #Constraints: 29057
1128.48/1131.99 c #Conflicts: 678000 | #Constraints: 30057
1128.48/1131.99 c #Conflicts: 679000 | #Constraints: 31057
1128.48/1131.99 c #Conflicts: 680000 | #Constraints: 32057
1128.48/1131.99 c #Conflicts: 681000 | #Constraints: 33057
1128.48/1131.99 c #Conflicts: 682000 | #Constraints: 34057
1128.48/1131.99 c #Conflicts: 683000 | #Constraints: 35057
1128.48/1131.99 c #Conflicts: 684000 | #Constraints: 36057
1128.48/1131.99 c #Conflicts: 685000 | #Constraints: 37057
1128.48/1131.99 c #Conflicts: 686000 | #Constraints: 38057
1128.48/1131.99 c #Conflicts: 687000 | #Constraints: 39057
1128.48/1131.99 c #Conflicts: 688000 | #Constraints: 40057
1128.48/1131.99 c INPROCESSING
1128.48/1131.99 c GARBAGE COLLECT
1128.48/1131.99 c #Conflicts: 689000 | #Constraints: 24656
1128.48/1131.99 c #Conflicts: 690000 | #Constraints: 25656
1128.48/1131.99 c #Conflicts: 691000 | #Constraints: 26656
1128.48/1131.99 c #Conflicts: 692000 | #Constraints: 27656
1128.48/1131.99 c #Conflicts: 693000 | #Constraints: 28656
1128.48/1131.99 c #Conflicts: 694000 | #Constraints: 29656
1128.48/1131.99 c #Conflicts: 695000 | #Constraints: 30656
1128.48/1131.99 c #Conflicts: 696000 | #Constraints: 31656
1128.48/1131.99 c #Conflicts: 697000 | #Constraints: 32656
1128.48/1131.99 c #Conflicts: 698000 | #Constraints: 33656
1128.48/1131.99 c #Conflicts: 699000 | #Constraints: 34656
1128.48/1131.99 c #Conflicts: 700000 | #Constraints: 35656
1128.48/1131.99 c #Conflicts: 701000 | #Constraints: 36656
1128.48/1131.99 c #Conflicts: 702000 | #Constraints: 37656
1128.48/1131.99 c #Conflicts: 703000 | #Constraints: 38656
1128.48/1131.99 c #Conflicts: 704000 | #Constraints: 39656
1128.48/1131.99 c #Conflicts: 705000 | #Constraints: 40656
1128.48/1131.99 c INPROCESSING
1128.48/1131.99 c GARBAGE COLLECT
1128.48/1131.99 c #Conflicts: 706000 | #Constraints: 25057
1128.48/1131.99 c #Conflicts: 707000 | #Constraints: 26057
1128.48/1131.99 c #Conflicts: 708000 | #Constraints: 27057
1128.48/1131.99 c #Conflicts: 709000 | #Constraints: 28057
1128.48/1131.99 c #Conflicts: 710000 | #Constraints: 29057
1128.48/1131.99 c #Conflicts: 711000 | #Constraints: 30057
1128.48/1131.99 c #Conflicts: 712000 | #Constraints: 31057
1128.48/1131.99 c #Conflicts: 713000 | #Constraints: 32057
1128.48/1131.99 c #Conflicts: 714000 | #Constraints: 33057
1128.48/1131.99 c #Conflicts: 715000 | #Constraints: 34057
1128.48/1131.99 c #Conflicts: 716000 | #Constraints: 35057
1128.48/1131.99 c #Conflicts: 717000 | #Constraints: 36057
1128.48/1131.99 c #Conflicts: 718000 | #Constraints: 37057
1128.48/1131.99 c #Conflicts: 719000 | #Constraints: 38057
1128.48/1131.99 c #Conflicts: 720000 | #Constraints: 39057
1128.48/1131.99 c #Conflicts: 721000 | #Constraints: 40057
1128.48/1131.99 c #Conflicts: 722000 | #Constraints: 41057
1128.48/1131.99 c INPROCESSING
1128.48/1131.99 c GARBAGE COLLECT
1128.48/1131.99 c #Conflicts: 723000 | #Constraints: 25262
1128.48/1131.99 c #Conflicts: 724000 | #Constraints: 26262
1128.48/1131.99 c #Conflicts: 725000 | #Constraints: 27262
1128.48/1131.99 c #Conflicts: 726000 | #Constraints: 28262
1128.48/1131.99 c #Conflicts: 727000 | #Constraints: 29262
1128.48/1131.99 c #Conflicts: 728000 | #Constraints: 30262
1128.48/1131.99 c #Conflicts: 729000 | #Constraints: 31262
1128.48/1131.99 c #Conflicts: 730000 | #Constraints: 32262
1128.48/1131.99 c #Conflicts: 731000 | #Constraints: 33262
1128.48/1131.99 c #Conflicts: 732000 | #Constraints: 34262
1128.48/1131.99 c #Conflicts: 733000 | #Constraints: 35262
1128.48/1131.99 c #Conflicts: 734000 | #Constraints: 36262
1128.48/1131.99 c #Conflicts: 735000 | #Constraints: 37262
1128.48/1131.99 c #Conflicts: 736000 | #Constraints: 38262
1128.48/1131.99 c #Conflicts: 737000 | #Constraints: 39262
1128.48/1131.99 c #Conflicts: 738000 | #Constraints: 40262
1128.48/1131.99 c #Conflicts: 739000 | #Constraints: 41262
1128.48/1131.99 c INPROCESSING
1128.48/1131.99 c GARBAGE COLLECT
1216.17/1219.86 c #Conflicts: 740000 | #Constraints: 25261
1216.17/1219.86 c #Conflicts: 741000 | #Constraints: 26261
1216.17/1219.86 c #Conflicts: 742000 | #Constraints: 27261
1216.17/1219.86 c #Conflicts: 743000 | #Constraints: 28261
1216.17/1219.86 c #Conflicts: 744000 | #Constraints: 29261
1216.17/1219.86 c #Conflicts: 745000 | #Constraints: 30261
1216.17/1219.86 c #Conflicts: 746000 | #Constraints: 31261
1216.17/1219.86 c #Conflicts: 747000 | #Constraints: 32261
1216.17/1219.86 c #Conflicts: 748000 | #Constraints: 33261
1216.17/1219.86 c #Conflicts: 749000 | #Constraints: 34261
1216.17/1219.86 c #Conflicts: 750000 | #Constraints: 35261
1216.17/1219.86 c #Conflicts: 751000 | #Constraints: 36261
1216.17/1219.86 c #Conflicts: 752000 | #Constraints: 37261
1216.17/1219.86 c #Conflicts: 753000 | #Constraints: 38261
1216.17/1219.86 c #Conflicts: 754000 | #Constraints: 39261
1216.17/1219.86 c #Conflicts: 755000 | #Constraints: 40261
1216.17/1219.86 c #Conflicts: 756000 | #Constraints: 41261
1216.17/1219.86 c INPROCESSING
1216.17/1219.86 c GARBAGE COLLECT
1216.17/1219.86 c #Conflicts: 757000 | #Constraints: 25059
1216.17/1219.86 c #Conflicts: 758000 | #Constraints: 26059
1216.17/1219.86 c #Conflicts: 759000 | #Constraints: 27059
1216.17/1219.86 c #Conflicts: 760000 | #Constraints: 28059
1216.17/1219.86 c #Conflicts: 761000 | #Constraints: 29059
1216.17/1219.86 c #Conflicts: 762000 | #Constraints: 30059
1216.17/1219.86 c #Conflicts: 763000 | #Constraints: 31059
1216.17/1219.86 c #Conflicts: 764000 | #Constraints: 32059
1216.17/1219.86 c #Conflicts: 765000 | #Constraints: 33059
1216.17/1219.86 c #Conflicts: 766000 | #Constraints: 34059
1216.17/1219.86 c #Conflicts: 767000 | #Constraints: 35059
1216.17/1219.86 c #Conflicts: 768000 | #Constraints: 36059
1216.17/1219.86 c #Conflicts: 769000 | #Constraints: 37059
1216.17/1219.86 c #Conflicts: 770000 | #Constraints: 38059
1216.17/1219.86 c #Conflicts: 771000 | #Constraints: 39059
1216.17/1219.86 c #Conflicts: 772000 | #Constraints: 40059
1216.17/1219.86 c #Conflicts: 773000 | #Constraints: 41059
1216.17/1219.86 c #Conflicts: 774000 | #Constraints: 42059
1216.17/1219.86 c INPROCESSING
1216.17/1219.86 c GARBAGE COLLECT
1216.17/1219.86 c #Conflicts: 775000 | #Constraints: 25658
1216.17/1219.86 c #Conflicts: 776000 | #Constraints: 26658
1216.17/1219.86 c #Conflicts: 777000 | #Constraints: 27658
1216.17/1219.86 c #Conflicts: 778000 | #Constraints: 28658
1216.17/1219.86 c #Conflicts: 779000 | #Constraints: 29658
1216.17/1219.86 c #Conflicts: 780000 | #Constraints: 30658
1216.17/1219.86 c #Conflicts: 781000 | #Constraints: 31658
1216.17/1219.86 c #Conflicts: 782000 | #Constraints: 32658
1216.17/1219.86 c #Conflicts: 783000 | #Constraints: 33658
1216.17/1219.86 c #Conflicts: 784000 | #Constraints: 34658
1216.17/1219.86 c #Conflicts: 785000 | #Constraints: 35658
1216.17/1219.86 c #Conflicts: 786000 | #Constraints: 36658
1216.17/1219.86 c #Conflicts: 787000 | #Constraints: 37658
1216.17/1219.86 c #Conflicts: 788000 | #Constraints: 38658
1216.17/1219.86 c #Conflicts: 789000 | #Constraints: 39658
1216.17/1219.86 c #Conflicts: 790000 | #Constraints: 40658
1216.17/1219.86 c #Conflicts: 791000 | #Constraints: 41658
1216.17/1219.86 c #Conflicts: 792000 | #Constraints: 42658
1216.17/1219.86 c INPROCESSING
1216.17/1219.86 c GARBAGE COLLECT
1216.17/1219.86 c #Conflicts: 793000 | #Constraints: 26058
1216.17/1219.86 c #Conflicts: 794000 | #Constraints: 27058
1216.17/1219.86 c #Conflicts: 795000 | #Constraints: 28058
1216.17/1219.86 c #Conflicts: 796000 | #Constraints: 29058
1216.17/1219.86 c #Conflicts: 797000 | #Constraints: 30058
1216.17/1219.86 c #Conflicts: 798000 | #Constraints: 31058
1216.17/1219.86 c #Conflicts: 799000 | #Constraints: 32058
1216.17/1219.86 c #Conflicts: 800000 | #Constraints: 33058
1216.17/1219.86 c #Conflicts: 801000 | #Constraints: 34058
1216.17/1219.86 c #Conflicts: 802000 | #Constraints: 35058
1216.17/1219.86 c #Conflicts: 803000 | #Constraints: 36058
1216.17/1219.86 c #Conflicts: 804000 | #Constraints: 37058
1216.17/1219.86 c #Conflicts: 805000 | #Constraints: 38058
1216.17/1219.86 c #Conflicts: 806000 | #Constraints: 39058
1216.17/1219.86 c #Conflicts: 807000 | #Constraints: 40058
1216.17/1219.86 c #Conflicts: 808000 | #Constraints: 41058
1216.17/1219.86 c #Conflicts: 809000 | #Constraints: 42058
1216.17/1219.86 c #Conflicts: 810000 | #Constraints: 43058
1216.17/1219.86 c INPROCESSING
1216.17/1219.86 c GARBAGE COLLECT
1216.17/1219.86 c #Conflicts: 811000 | #Constraints: 26256
1216.17/1219.86 c #Conflicts: 812000 | #Constraints: 27256
1216.17/1219.86 c #Conflicts: 813000 | #Constraints: 28256
1216.17/1219.86 c #Conflicts: 814000 | #Constraints: 29256
1216.17/1219.86 c #Conflicts: 815000 | #Constraints: 30256
1216.17/1219.86 c #Conflicts: 816000 | #Constraints: 31256
1307.65/1311.53 c #Conflicts: 817000 | #Constraints: 32256
1307.65/1311.53 c #Conflicts: 818000 | #Constraints: 33256
1307.65/1311.53 c #Conflicts: 819000 | #Constraints: 34256
1307.65/1311.53 c #Conflicts: 820000 | #Constraints: 35256
1307.65/1311.53 c #Conflicts: 821000 | #Constraints: 36256
1307.65/1311.53 c #Conflicts: 822000 | #Constraints: 37256
1307.65/1311.53 c #Conflicts: 823000 | #Constraints: 38256
1307.65/1311.53 c #Conflicts: 824000 | #Constraints: 39256
1307.65/1311.53 c #Conflicts: 825000 | #Constraints: 40256
1307.65/1311.53 c #Conflicts: 826000 | #Constraints: 41256
1307.65/1311.53 c #Conflicts: 827000 | #Constraints: 42256
1307.65/1311.53 c #Conflicts: 828000 | #Constraints: 43256
1307.65/1311.53 c INPROCESSING
1307.65/1311.53 c GARBAGE COLLECT
1307.65/1311.53 c #Conflicts: 829000 | #Constraints: 26263
1307.65/1311.53 c #Conflicts: 830000 | #Constraints: 27263
1307.65/1311.53 c #Conflicts: 831000 | #Constraints: 28263
1307.65/1311.53 c #Conflicts: 832000 | #Constraints: 29263
1307.65/1311.53 c #Conflicts: 833000 | #Constraints: 30263
1307.65/1311.53 c #Conflicts: 834000 | #Constraints: 31263
1307.65/1311.53 c #Conflicts: 835000 | #Constraints: 32263
1307.65/1311.53 c #Conflicts: 836000 | #Constraints: 33263
1307.65/1311.53 c #Conflicts: 837000 | #Constraints: 34263
1307.65/1311.53 c #Conflicts: 838000 | #Constraints: 35263
1307.65/1311.53 c #Conflicts: 839000 | #Constraints: 36263
1307.65/1311.53 c #Conflicts: 840000 | #Constraints: 37263
1307.65/1311.53 c #Conflicts: 841000 | #Constraints: 38263
1307.65/1311.53 c #Conflicts: 842000 | #Constraints: 39263
1307.65/1311.53 c #Conflicts: 843000 | #Constraints: 40263
1307.65/1311.53 c #Conflicts: 844000 | #Constraints: 41263
1307.65/1311.53 c #Conflicts: 845000 | #Constraints: 42263
1307.65/1311.53 c #Conflicts: 846000 | #Constraints: 43263
1307.65/1311.53 c INPROCESSING
1307.65/1311.53 c GARBAGE COLLECT
1307.65/1311.53 c #Conflicts: 847000 | #Constraints: 26059
1307.65/1311.53 c #Conflicts: 848000 | #Constraints: 27059
1307.65/1311.53 c #Conflicts: 849000 | #Constraints: 28059
1307.65/1311.53 c #Conflicts: 850000 | #Constraints: 29059
1307.65/1311.53 c #Conflicts: 851000 | #Constraints: 30059
1307.65/1311.53 c #Conflicts: 852000 | #Constraints: 31059
1307.65/1311.53 c #Conflicts: 853000 | #Constraints: 32059
1307.65/1311.53 c #Conflicts: 854000 | #Constraints: 33059
1307.65/1311.53 c #Conflicts: 855000 | #Constraints: 34059
1307.65/1311.53 c #Conflicts: 856000 | #Constraints: 35059
1307.65/1311.53 c #Conflicts: 857000 | #Constraints: 36059
1307.65/1311.53 c #Conflicts: 858000 | #Constraints: 37059
1307.65/1311.53 c #Conflicts: 859000 | #Constraints: 38059
1307.65/1311.53 c #Conflicts: 860000 | #Constraints: 39059
1307.65/1311.53 c #Conflicts: 861000 | #Constraints: 40059
1307.65/1311.53 c #Conflicts: 862000 | #Constraints: 41059
1307.65/1311.53 c #Conflicts: 863000 | #Constraints: 42059
1307.65/1311.53 c #Conflicts: 864000 | #Constraints: 43059
1307.65/1311.53 c #Conflicts: 865000 | #Constraints: 44059
1307.65/1311.53 c INPROCESSING
1307.65/1311.53 c GARBAGE COLLECT
1307.65/1311.53 c #Conflicts: 866000 | #Constraints: 26658
1307.65/1311.53 c #Conflicts: 867000 | #Constraints: 27658
1307.65/1311.53 c #Conflicts: 868000 | #Constraints: 28658
1307.65/1311.53 c #Conflicts: 869000 | #Constraints: 29658
1307.65/1311.53 c #Conflicts: 870000 | #Constraints: 30658
1307.65/1311.53 c #Conflicts: 871000 | #Constraints: 31658
1307.65/1311.53 c #Conflicts: 872000 | #Constraints: 32658
1307.65/1311.53 c #Conflicts: 873000 | #Constraints: 33658
1307.65/1311.53 c #Conflicts: 874000 | #Constraints: 34658
1307.65/1311.53 c #Conflicts: 875000 | #Constraints: 35658
1307.65/1311.53 c #Conflicts: 876000 | #Constraints: 36658
1307.65/1311.53 c #Conflicts: 877000 | #Constraints: 37658
1307.65/1311.53 c #Conflicts: 878000 | #Constraints: 38658
1307.65/1311.53 c #Conflicts: 879000 | #Constraints: 39658
1307.65/1311.53 c #Conflicts: 880000 | #Constraints: 40658
1307.65/1311.53 c #Conflicts: 881000 | #Constraints: 41658
1307.65/1311.53 c #Conflicts: 882000 | #Constraints: 42658
1307.65/1311.53 c #Conflicts: 883000 | #Constraints: 43658
1307.65/1311.53 c #Conflicts: 884000 | #Constraints: 44658
1307.65/1311.53 c INPROCESSING
1307.65/1311.53 c GARBAGE COLLECT
1307.65/1311.53 c #Conflicts: 885000 | #Constraints: 27060
1307.65/1311.53 c #Conflicts: 886000 | #Constraints: 28060
1307.65/1311.53 c #Conflicts: 887000 | #Constraints: 29060
1307.65/1311.53 c #Conflicts: 888000 | #Constraints: 30060
1307.65/1311.53 c #Conflicts: 889000 | #Constraints: 31060
1307.65/1311.53 c #Conflicts: 890000 | #Constraints: 32060
1307.65/1311.53 c #Conflicts: 891000 | #Constraints: 33060
1307.65/1311.53 c #Conflicts: 892000 | #Constraints: 34060
1395.24/1399.38 c #Conflicts: 893000 | #Constraints: 35060
1395.24/1399.38 c #Conflicts: 894000 | #Constraints: 36060
1395.24/1399.38 c #Conflicts: 895000 | #Constraints: 37060
1395.24/1399.38 c #Conflicts: 896000 | #Constraints: 38060
1395.24/1399.38 c #Conflicts: 897000 | #Constraints: 39060
1395.24/1399.38 c #Conflicts: 898000 | #Constraints: 40060
1395.24/1399.38 c #Conflicts: 899000 | #Constraints: 41060
1395.24/1399.38 c #Conflicts: 900000 | #Constraints: 42060
1395.24/1399.38 c #Conflicts: 901000 | #Constraints: 43060
1395.24/1399.38 c #Conflicts: 902000 | #Constraints: 44060
1395.24/1399.38 c #Conflicts: 903000 | #Constraints: 45060
1395.24/1399.38 c INPROCESSING
1395.24/1399.38 c GARBAGE COLLECT
1395.24/1399.38 c #Conflicts: 904000 | #Constraints: 27258
1395.24/1399.38 c #Conflicts: 905000 | #Constraints: 28258
1395.24/1399.38 c #Conflicts: 906000 | #Constraints: 29258
1395.24/1399.38 c #Conflicts: 907000 | #Constraints: 30258
1395.24/1399.38 c #Conflicts: 908000 | #Constraints: 31258
1395.24/1399.38 c #Conflicts: 909000 | #Constraints: 32258
1395.24/1399.38 c #Conflicts: 910000 | #Constraints: 33258
1395.24/1399.38 c #Conflicts: 911000 | #Constraints: 34258
1395.24/1399.38 c #Conflicts: 912000 | #Constraints: 35258
1395.24/1399.38 c #Conflicts: 913000 | #Constraints: 36258
1395.24/1399.38 c #Conflicts: 914000 | #Constraints: 37258
1395.24/1399.38 c #Conflicts: 915000 | #Constraints: 38258
1395.24/1399.38 c #Conflicts: 916000 | #Constraints: 39258
1395.24/1399.38 c #Conflicts: 917000 | #Constraints: 40258
1395.24/1399.38 c #Conflicts: 918000 | #Constraints: 41258
1395.24/1399.38 c #Conflicts: 919000 | #Constraints: 42258
1395.24/1399.38 c #Conflicts: 920000 | #Constraints: 43258
1395.24/1399.38 c #Conflicts: 921000 | #Constraints: 44258
1395.24/1399.38 c #Conflicts: 922000 | #Constraints: 45258
1395.24/1399.38 c INPROCESSING
1395.24/1399.38 c GARBAGE COLLECT
1395.24/1399.38 c #Conflicts: 923000 | #Constraints: 27262
1395.24/1399.38 c #Conflicts: 924000 | #Constraints: 28262
1395.24/1399.38 c #Conflicts: 925000 | #Constraints: 29262
1395.24/1399.38 c #Conflicts: 926000 | #Constraints: 30262
1395.24/1399.38 c #Conflicts: 927000 | #Constraints: 31262
1395.24/1399.38 c #Conflicts: 928000 | #Constraints: 32262
1395.24/1399.38 c #Conflicts: 929000 | #Constraints: 33262
1395.24/1399.38 c #Conflicts: 930000 | #Constraints: 34262
1395.24/1399.38 c #Conflicts: 931000 | #Constraints: 35262
1395.24/1399.38 c #Conflicts: 932000 | #Constraints: 36262
1395.24/1399.38 c #Conflicts: 933000 | #Constraints: 37262
1395.24/1399.38 c #Conflicts: 934000 | #Constraints: 38262
1395.24/1399.38 c #Conflicts: 935000 | #Constraints: 39262
1395.24/1399.38 c #Conflicts: 936000 | #Constraints: 40262
1395.24/1399.38 c #Conflicts: 937000 | #Constraints: 41262
1395.24/1399.38 c #Conflicts: 938000 | #Constraints: 42262
1395.24/1399.38 c #Conflicts: 939000 | #Constraints: 43262
1395.24/1399.38 c #Conflicts: 940000 | #Constraints: 44262
1395.24/1399.38 c #Conflicts: 941000 | #Constraints: 45262
1395.24/1399.38 c INPROCESSING
1395.24/1399.38 c GARBAGE COLLECT
1395.24/1399.38 c #Conflicts: 942000 | #Constraints: 27061
1395.24/1399.38 c #Conflicts: 943000 | #Constraints: 28061
1395.24/1399.38 c #Conflicts: 944000 | #Constraints: 29061
1395.24/1399.38 c #Conflicts: 945000 | #Constraints: 30061
1395.24/1399.38 c #Conflicts: 946000 | #Constraints: 31061
1395.24/1399.38 c #Conflicts: 947000 | #Constraints: 32061
1395.24/1399.38 c #Conflicts: 948000 | #Constraints: 33061
1395.24/1399.38 c #Conflicts: 949000 | #Constraints: 34061
1395.24/1399.38 c #Conflicts: 950000 | #Constraints: 35061
1395.24/1399.38 c #Conflicts: 951000 | #Constraints: 36061
1395.24/1399.38 c #Conflicts: 952000 | #Constraints: 37061
1395.24/1399.38 c #Conflicts: 953000 | #Constraints: 38061
1395.24/1399.38 c #Conflicts: 954000 | #Constraints: 39061
1395.24/1399.38 c #Conflicts: 955000 | #Constraints: 40061
1395.24/1399.38 c #Conflicts: 956000 | #Constraints: 41061
1395.24/1399.38 c #Conflicts: 957000 | #Constraints: 42061
1395.24/1399.38 c #Conflicts: 958000 | #Constraints: 43061
1395.24/1399.38 c #Conflicts: 959000 | #Constraints: 44061
1395.24/1399.38 c #Conflicts: 960000 | #Constraints: 45061
1395.24/1399.38 c #Conflicts: 961000 | #Constraints: 46061
1395.24/1399.38 c INPROCESSING
1395.24/1399.38 c GARBAGE COLLECT
1395.24/1399.38 c #Conflicts: 962000 | #Constraints: 27664
1395.24/1399.38 c #Conflicts: 963000 | #Constraints: 28664
1395.24/1399.38 c #Conflicts: 964000 | #Constraints: 29664
1395.24/1399.38 c #Conflicts: 965000 | #Constraints: 30664
1395.24/1399.38 c #Conflicts: 966000 | #Constraints: 31664
1395.24/1399.38 c #Conflicts: 967000 | #Constraints: 32664
1395.24/1399.38 c #Conflicts: 968000 | #Constraints: 33664
1485.43/1489.73 c #Conflicts: 969000 | #Constraints: 34664
1485.43/1489.73 c #Conflicts: 970000 | #Constraints: 35664
1485.43/1489.73 c #Conflicts: 971000 | #Constraints: 36664
1485.43/1489.73 c #Conflicts: 972000 | #Constraints: 37664
1485.43/1489.73 c #Conflicts: 973000 | #Constraints: 38664
1485.43/1489.73 c #Conflicts: 974000 | #Constraints: 39664
1485.43/1489.73 c #Conflicts: 975000 | #Constraints: 40664
1485.43/1489.73 c #Conflicts: 976000 | #Constraints: 41664
1485.43/1489.73 c #Conflicts: 977000 | #Constraints: 42664
1485.43/1489.73 c #Conflicts: 978000 | #Constraints: 43664
1485.43/1489.73 c #Conflicts: 979000 | #Constraints: 44664
1485.43/1489.73 c #Conflicts: 980000 | #Constraints: 45664
1485.43/1489.73 c #Conflicts: 981000 | #Constraints: 46664
1485.43/1489.73 c INPROCESSING
1485.43/1489.73 c GARBAGE COLLECT
1485.43/1489.73 c #Conflicts: 982000 | #Constraints: 28063
1485.43/1489.73 c #Conflicts: 983000 | #Constraints: 29063
1485.43/1489.73 c #Conflicts: 984000 | #Constraints: 30063
1485.43/1489.73 c #Conflicts: 985000 | #Constraints: 31063
1485.43/1489.73 c #Conflicts: 986000 | #Constraints: 32063
1485.43/1489.73 c #Conflicts: 987000 | #Constraints: 33063
1485.43/1489.73 c #Conflicts: 988000 | #Constraints: 34063
1485.43/1489.73 c #Conflicts: 989000 | #Constraints: 35063
1485.43/1489.73 c #Conflicts: 990000 | #Constraints: 36063
1485.43/1489.73 c #Conflicts: 991000 | #Constraints: 37063
1485.43/1489.73 c #Conflicts: 992000 | #Constraints: 38063
1485.43/1489.73 c #Conflicts: 993000 | #Constraints: 39063
1485.43/1489.73 c #Conflicts: 994000 | #Constraints: 40063
1485.43/1489.73 c #Conflicts: 995000 | #Constraints: 41063
1485.43/1489.73 c #Conflicts: 996000 | #Constraints: 42063
1485.43/1489.73 c #Conflicts: 997000 | #Constraints: 43063
1485.43/1489.73 c #Conflicts: 998000 | #Constraints: 44063
1485.43/1489.73 c #Conflicts: 999000 | #Constraints: 45063
1485.43/1489.73 c #Conflicts: 1000000 | #Constraints: 46063
1485.43/1489.73 c #Conflicts: 1001000 | #Constraints: 47063
1485.43/1489.73 c INPROCESSING
1485.43/1489.73 c GARBAGE COLLECT
1485.43/1489.73 c #Conflicts: 1002000 | #Constraints: 28265
1485.43/1489.73 c #Conflicts: 1003000 | #Constraints: 29265
1485.43/1489.73 c #Conflicts: 1004000 | #Constraints: 30265
1485.43/1489.73 c #Conflicts: 1005000 | #Constraints: 31265
1485.43/1489.73 c #Conflicts: 1006000 | #Constraints: 32265
1485.43/1489.73 c #Conflicts: 1007000 | #Constraints: 33265
1485.43/1489.73 c #Conflicts: 1008000 | #Constraints: 34265
1485.43/1489.73 c #Conflicts: 1009000 | #Constraints: 35265
1485.43/1489.73 c #Conflicts: 1010000 | #Constraints: 36265
1485.43/1489.73 c #Conflicts: 1011000 | #Constraints: 37265
1485.43/1489.73 c #Conflicts: 1012000 | #Constraints: 38265
1485.43/1489.73 c #Conflicts: 1013000 | #Constraints: 39265
1485.43/1489.73 c #Conflicts: 1014000 | #Constraints: 40265
1485.43/1489.73 c #Conflicts: 1015000 | #Constraints: 41265
1485.43/1489.73 c #Conflicts: 1016000 | #Constraints: 42265
1485.43/1489.73 c #Conflicts: 1017000 | #Constraints: 43265
1485.43/1489.73 c #Conflicts: 1018000 | #Constraints: 44265
1485.43/1489.73 c #Conflicts: 1019000 | #Constraints: 45265
1485.43/1489.73 c #Conflicts: 1020000 | #Constraints: 46265
1485.43/1489.73 c #Conflicts: 1021000 | #Constraints: 47265
1485.43/1489.73 c INPROCESSING
1485.43/1489.73 c GARBAGE COLLECT
1485.43/1489.73 c #Conflicts: 1022000 | #Constraints: 28264
1485.43/1489.73 c #Conflicts: 1023000 | #Constraints: 29264
1485.43/1489.73 c #Conflicts: 1024000 | #Constraints: 30264
1485.43/1489.73 c #Conflicts: 1025000 | #Constraints: 31264
1485.43/1489.73 c #Conflicts: 1026000 | #Constraints: 32264
1485.43/1489.73 c #Conflicts: 1027000 | #Constraints: 33264
1485.43/1489.73 c #Conflicts: 1028000 | #Constraints: 34264
1485.43/1489.73 c #Conflicts: 1029000 | #Constraints: 35264
1485.43/1489.73 c #Conflicts: 1030000 | #Constraints: 36264
1485.43/1489.73 c #Conflicts: 1031000 | #Constraints: 37264
1485.43/1489.73 c #Conflicts: 1032000 | #Constraints: 38264
1485.43/1489.73 c #Conflicts: 1033000 | #Constraints: 39264
1485.43/1489.73 c #Conflicts: 1034000 | #Constraints: 40264
1485.43/1489.73 c #Conflicts: 1035000 | #Constraints: 41264
1485.43/1489.73 c #Conflicts: 1036000 | #Constraints: 42264
1485.43/1489.73 c #Conflicts: 1037000 | #Constraints: 43264
1485.43/1489.73 c #Conflicts: 1038000 | #Constraints: 44264
1485.43/1489.73 c #Conflicts: 1039000 | #Constraints: 45264
1485.43/1489.73 c #Conflicts: 1040000 | #Constraints: 46264
1485.43/1489.73 c #Conflicts: 1041000 | #Constraints: 47264
1485.43/1489.73 c INPROCESSING
1485.43/1489.73 c GARBAGE COLLECT
1485.43/1489.73 c #Conflicts: 1042000 | #Constraints: 28063
1485.43/1489.73 c #Conflicts: 1043000 | #Constraints: 29063
1485.43/1489.73 c #Conflicts: 1044000 | #Constraints: 30063
1578.10/1582.68 c #Conflicts: 1045000 | #Constraints: 31063
1578.10/1582.68 c #Conflicts: 1046000 | #Constraints: 32063
1578.10/1582.68 c #Conflicts: 1047000 | #Constraints: 33063
1578.10/1582.68 c #Conflicts: 1048000 | #Constraints: 34063
1578.10/1582.68 c #Conflicts: 1049000 | #Constraints: 35063
1578.10/1582.68 c #Conflicts: 1050000 | #Constraints: 36063
1578.10/1582.68 c #Conflicts: 1051000 | #Constraints: 37063
1578.10/1582.68 c #Conflicts: 1052000 | #Constraints: 38063
1578.10/1582.68 c #Conflicts: 1053000 | #Constraints: 39063
1578.10/1582.68 c #Conflicts: 1054000 | #Constraints: 40063
1578.10/1582.68 c #Conflicts: 1055000 | #Constraints: 41063
1578.10/1582.68 c #Conflicts: 1056000 | #Constraints: 42063
1578.10/1582.68 c #Conflicts: 1057000 | #Constraints: 43063
1578.10/1582.68 c #Conflicts: 1058000 | #Constraints: 44063
1578.10/1582.68 c #Conflicts: 1059000 | #Constraints: 45063
1578.10/1582.68 c #Conflicts: 1060000 | #Constraints: 46063
1578.10/1582.68 c #Conflicts: 1061000 | #Constraints: 47063
1578.10/1582.68 c #Conflicts: 1062000 | #Constraints: 48063
1578.10/1582.68 c INPROCESSING
1578.10/1582.68 c GARBAGE COLLECT
1578.10/1582.68 c #Conflicts: 1063000 | #Constraints: 28670
1578.10/1582.68 c #Conflicts: 1064000 | #Constraints: 29670
1578.10/1582.68 c #Conflicts: 1065000 | #Constraints: 30670
1578.10/1582.68 c #Conflicts: 1066000 | #Constraints: 31670
1578.10/1582.68 c #Conflicts: 1067000 | #Constraints: 32670
1578.10/1582.68 c #Conflicts: 1068000 | #Constraints: 33670
1578.10/1582.68 c #Conflicts: 1069000 | #Constraints: 34670
1578.10/1582.68 c #Conflicts: 1070000 | #Constraints: 35670
1578.10/1582.68 c #Conflicts: 1071000 | #Constraints: 36670
1578.10/1582.68 c #Conflicts: 1072000 | #Constraints: 37670
1578.10/1582.68 c #Conflicts: 1073000 | #Constraints: 38670
1578.10/1582.68 c #Conflicts: 1074000 | #Constraints: 39670
1578.10/1582.68 c #Conflicts: 1075000 | #Constraints: 40670
1578.10/1582.68 c #Conflicts: 1076000 | #Constraints: 41670
1578.10/1582.68 c #Conflicts: 1077000 | #Constraints: 42670
1578.10/1582.68 c #Conflicts: 1078000 | #Constraints: 43670
1578.10/1582.68 c #Conflicts: 1079000 | #Constraints: 44670
1578.10/1582.68 c #Conflicts: 1080000 | #Constraints: 45670
1578.10/1582.68 c #Conflicts: 1081000 | #Constraints: 46670
1578.10/1582.68 c #Conflicts: 1082000 | #Constraints: 47670
1578.10/1582.68 c #Conflicts: 1083000 | #Constraints: 48670
1578.10/1582.68 c INPROCESSING
1578.10/1582.68 c GARBAGE COLLECT
1578.10/1582.68 c #Conflicts: 1084000 | #Constraints: 29069
1578.10/1582.68 c #Conflicts: 1085000 | #Constraints: 30069
1578.10/1582.68 c #Conflicts: 1086000 | #Constraints: 31069
1578.10/1582.68 c #Conflicts: 1087000 | #Constraints: 32069
1578.10/1582.68 c #Conflicts: 1088000 | #Constraints: 33069
1578.10/1582.68 c #Conflicts: 1089000 | #Constraints: 34069
1578.10/1582.68 c #Conflicts: 1090000 | #Constraints: 35069
1578.10/1582.68 c #Conflicts: 1091000 | #Constraints: 36069
1578.10/1582.68 c #Conflicts: 1092000 | #Constraints: 37069
1578.10/1582.68 c #Conflicts: 1093000 | #Constraints: 38069
1578.10/1582.68 c #Conflicts: 1094000 | #Constraints: 39069
1578.10/1582.68 c #Conflicts: 1095000 | #Constraints: 40069
1578.10/1582.68 c #Conflicts: 1096000 | #Constraints: 41069
1578.10/1582.68 c #Conflicts: 1097000 | #Constraints: 42069
1578.10/1582.68 c #Conflicts: 1098000 | #Constraints: 43069
1578.10/1582.68 c #Conflicts: 1099000 | #Constraints: 44069
1578.10/1582.68 c #Conflicts: 1100000 | #Constraints: 45069
1578.10/1582.68 c #Conflicts: 1101000 | #Constraints: 46069
1578.10/1582.68 c #Conflicts: 1102000 | #Constraints: 47069
1578.10/1582.68 c #Conflicts: 1103000 | #Constraints: 48069
1578.10/1582.68 c #Conflicts: 1104000 | #Constraints: 49069
1578.10/1582.68 c INPROCESSING
1578.10/1582.68 c GARBAGE COLLECT
1578.10/1582.68 c #Conflicts: 1105000 | #Constraints: 29264
1578.10/1582.68 c #Conflicts: 1106000 | #Constraints: 30264
1578.10/1582.68 c #Conflicts: 1107000 | #Constraints: 31264
1578.10/1582.68 c #Conflicts: 1108000 | #Constraints: 32264
1578.10/1582.68 c #Conflicts: 1109000 | #Constraints: 33264
1578.10/1582.68 c #Conflicts: 1110000 | #Constraints: 34264
1578.10/1582.68 c #Conflicts: 1111000 | #Constraints: 35264
1578.10/1582.68 c #Conflicts: 1112000 | #Constraints: 36264
1578.10/1582.68 c #Conflicts: 1113000 | #Constraints: 37264
1578.10/1582.68 c #Conflicts: 1114000 | #Constraints: 38264
1578.10/1582.68 c #Conflicts: 1115000 | #Constraints: 39264
1578.10/1582.68 c #Conflicts: 1116000 | #Constraints: 40264
1578.10/1582.68 c #Conflicts: 1117000 | #Constraints: 41264
1578.10/1582.68 c #Conflicts: 1118000 | #Constraints: 42264
1578.10/1582.68 c #Conflicts: 1119000 | #Constraints: 43264
1578.10/1582.68 c #Conflicts: 1120000 | #Constraints: 44264
1578.10/1582.68 c #Conflicts: 1121000 | #Constraints: 45264
1669.96/1674.73 c #Conflicts: 1122000 | #Constraints: 46264
1669.96/1674.73 c #Conflicts: 1123000 | #Constraints: 47264
1669.96/1674.73 c #Conflicts: 1124000 | #Constraints: 48264
1669.96/1674.73 c #Conflicts: 1125000 | #Constraints: 49264
1669.96/1674.73 c INPROCESSING
1669.96/1674.73 c GARBAGE COLLECT
1669.96/1674.73 c #Conflicts: 1126000 | #Constraints: 29265
1669.96/1674.73 c #Conflicts: 1127000 | #Constraints: 30265
1669.96/1674.73 c #Conflicts: 1128000 | #Constraints: 31265
1669.96/1674.73 c #Conflicts: 1129000 | #Constraints: 32265
1669.96/1674.73 c #Conflicts: 1130000 | #Constraints: 33265
1669.96/1674.73 c #Conflicts: 1131000 | #Constraints: 34265
1669.96/1674.73 c #Conflicts: 1132000 | #Constraints: 35265
1669.96/1674.73 c #Conflicts: 1133000 | #Constraints: 36265
1669.96/1674.73 c #Conflicts: 1134000 | #Constraints: 37265
1669.96/1674.73 c #Conflicts: 1135000 | #Constraints: 38265
1669.96/1674.73 c #Conflicts: 1136000 | #Constraints: 39265
1669.96/1674.73 c #Conflicts: 1137000 | #Constraints: 40265
1669.96/1674.73 c #Conflicts: 1138000 | #Constraints: 41265
1669.96/1674.73 c #Conflicts: 1139000 | #Constraints: 42265
1669.96/1674.73 c #Conflicts: 1140000 | #Constraints: 43265
1669.96/1674.73 c #Conflicts: 1141000 | #Constraints: 44265
1669.96/1674.73 c #Conflicts: 1142000 | #Constraints: 45265
1669.96/1674.73 c #Conflicts: 1143000 | #Constraints: 46265
1669.96/1674.73 c #Conflicts: 1144000 | #Constraints: 47265
1669.96/1674.73 c #Conflicts: 1145000 | #Constraints: 48265
1669.96/1674.73 c #Conflicts: 1146000 | #Constraints: 49265
1669.96/1674.73 c INPROCESSING
1669.96/1674.73 c GARBAGE COLLECT
1669.96/1674.73 c #Conflicts: 1147000 | #Constraints: 29061
1669.96/1674.73 c #Conflicts: 1148000 | #Constraints: 30061
1669.96/1674.73 c #Conflicts: 1149000 | #Constraints: 31061
1669.96/1674.73 c #Conflicts: 1150000 | #Constraints: 32061
1669.96/1674.73 c #Conflicts: 1151000 | #Constraints: 33061
1669.96/1674.73 c #Conflicts: 1152000 | #Constraints: 34061
1669.96/1674.73 c #Conflicts: 1153000 | #Constraints: 35061
1669.96/1674.73 c #Conflicts: 1154000 | #Constraints: 36061
1669.96/1674.73 c #Conflicts: 1155000 | #Constraints: 37061
1669.96/1674.73 c #Conflicts: 1156000 | #Constraints: 38061
1669.96/1674.73 c #Conflicts: 1157000 | #Constraints: 39061
1669.96/1674.73 c #Conflicts: 1158000 | #Constraints: 40061
1669.96/1674.73 c #Conflicts: 1159000 | #Constraints: 41061
1669.96/1674.73 c #Conflicts: 1160000 | #Constraints: 42061
1669.96/1674.73 c #Conflicts: 1161000 | #Constraints: 43061
1669.96/1674.73 c #Conflicts: 1162000 | #Constraints: 44061
1669.96/1674.73 c #Conflicts: 1163000 | #Constraints: 45061
1669.96/1674.73 c #Conflicts: 1164000 | #Constraints: 46061
1669.96/1674.73 c #Conflicts: 1165000 | #Constraints: 47061
1669.96/1674.73 c #Conflicts: 1166000 | #Constraints: 48061
1669.96/1674.73 c #Conflicts: 1167000 | #Constraints: 49061
1669.96/1674.73 c #Conflicts: 1168000 | #Constraints: 50061
1669.96/1674.73 c INPROCESSING
1669.96/1674.73 c GARBAGE COLLECT
1669.96/1674.73 c #Conflicts: 1169000 | #Constraints: 29662
1669.96/1674.73 c #Conflicts: 1170000 | #Constraints: 30662
1669.96/1674.73 c #Conflicts: 1171000 | #Constraints: 31662
1669.96/1674.73 c #Conflicts: 1172000 | #Constraints: 32662
1669.96/1674.73 c #Conflicts: 1173000 | #Constraints: 33662
1669.96/1674.73 c #Conflicts: 1174000 | #Constraints: 34662
1669.96/1674.73 c #Conflicts: 1175000 | #Constraints: 35662
1669.96/1674.73 c #Conflicts: 1176000 | #Constraints: 36662
1669.96/1674.73 c #Conflicts: 1177000 | #Constraints: 37662
1669.96/1674.73 c #Conflicts: 1178000 | #Constraints: 38662
1669.96/1674.73 c #Conflicts: 1179000 | #Constraints: 39662
1669.96/1674.73 c #Conflicts: 1180000 | #Constraints: 40662
1669.96/1674.73 c #Conflicts: 1181000 | #Constraints: 41662
1669.96/1674.73 c #Conflicts: 1182000 | #Constraints: 42662
1669.96/1674.73 c #Conflicts: 1183000 | #Constraints: 43662
1669.96/1674.73 c #Conflicts: 1184000 | #Constraints: 44662
1669.96/1674.73 c #Conflicts: 1185000 | #Constraints: 45662
1669.96/1674.73 c #Conflicts: 1186000 | #Constraints: 46662
1669.96/1674.73 c #Conflicts: 1187000 | #Constraints: 47662
1669.96/1674.73 c #Conflicts: 1188000 | #Constraints: 48662
1669.96/1674.73 c #Conflicts: 1189000 | #Constraints: 49662
1669.96/1674.73 c #Conflicts: 1190000 | #Constraints: 50662
1669.96/1674.73 c INPROCESSING
1669.96/1674.73 c GARBAGE COLLECT
1669.96/1674.73 c #Conflicts: 1191000 | #Constraints: 30061
1669.96/1674.73 c #Conflicts: 1192000 | #Constraints: 31061
1669.96/1674.73 c #Conflicts: 1193000 | #Constraints: 32061
1669.96/1674.73 c #Conflicts: 1194000 | #Constraints: 33061
1669.96/1674.73 c #Conflicts: 1195000 | #Constraints: 34061
1669.96/1674.73 c #Conflicts: 1196000 | #Constraints: 35061
1669.96/1674.73 c #Conflicts: 1197000 | #Constraints: 36061
1763.74/1768.77 c #Conflicts: 1198000 | #Constraints: 37061
1763.74/1768.77 c #Conflicts: 1199000 | #Constraints: 38061
1763.74/1768.77 c #Conflicts: 1200000 | #Constraints: 39061
1763.74/1768.77 c #Conflicts: 1201000 | #Constraints: 40061
1763.74/1768.77 c #Conflicts: 1202000 | #Constraints: 41061
1763.74/1768.77 c #Conflicts: 1203000 | #Constraints: 42061
1763.74/1768.77 c #Conflicts: 1204000 | #Constraints: 43061
1763.74/1768.77 c #Conflicts: 1205000 | #Constraints: 44061
1763.74/1768.77 c #Conflicts: 1206000 | #Constraints: 45061
1763.74/1768.77 c #Conflicts: 1207000 | #Constraints: 46061
1763.74/1768.77 c #Conflicts: 1208000 | #Constraints: 47061
1763.74/1768.77 c #Conflicts: 1209000 | #Constraints: 48061
1763.74/1768.77 c #Conflicts: 1210000 | #Constraints: 49061
1763.74/1768.77 c #Conflicts: 1211000 | #Constraints: 50061
1763.74/1768.77 c #Conflicts: 1212000 | #Constraints: 51061
1763.74/1768.77 c INPROCESSING
1763.74/1768.77 c GARBAGE COLLECT
1763.74/1768.77 c #Conflicts: 1213000 | #Constraints: 30261
1763.74/1768.77 c #Conflicts: 1214000 | #Constraints: 31261
1763.74/1768.77 c #Conflicts: 1215000 | #Constraints: 32261
1763.74/1768.77 c #Conflicts: 1216000 | #Constraints: 33261
1763.74/1768.77 c #Conflicts: 1217000 | #Constraints: 34261
1763.74/1768.77 c #Conflicts: 1218000 | #Constraints: 35261
1763.74/1768.77 c #Conflicts: 1219000 | #Constraints: 36261
1763.74/1768.77 c #Conflicts: 1220000 | #Constraints: 37261
1763.74/1768.77 c #Conflicts: 1221000 | #Constraints: 38261
1763.74/1768.77 c #Conflicts: 1222000 | #Constraints: 39261
1763.74/1768.77 c #Conflicts: 1223000 | #Constraints: 40261
1763.74/1768.77 c #Conflicts: 1224000 | #Constraints: 41261
1763.74/1768.77 c #Conflicts: 1225000 | #Constraints: 42261
1763.74/1768.77 c #Conflicts: 1226000 | #Constraints: 43261
1763.74/1768.77 c #Conflicts: 1227000 | #Constraints: 44261
1763.74/1768.77 c #Conflicts: 1228000 | #Constraints: 45261
1763.74/1768.77 c #Conflicts: 1229000 | #Constraints: 46261
1763.74/1768.77 c #Conflicts: 1230000 | #Constraints: 47261
1763.74/1768.77 c #Conflicts: 1231000 | #Constraints: 48261
1763.74/1768.77 c #Conflicts: 1232000 | #Constraints: 49261
1763.74/1768.77 c #Conflicts: 1233000 | #Constraints: 50261
1763.74/1768.77 c #Conflicts: 1234000 | #Constraints: 51261
1763.74/1768.77 c INPROCESSING
1763.74/1768.77 c GARBAGE COLLECT
1763.74/1768.77 c #Conflicts: 1235000 | #Constraints: 30261
1763.74/1768.77 c #Conflicts: 1236000 | #Constraints: 31261
1763.74/1768.77 c #Conflicts: 1237000 | #Constraints: 32261
1763.74/1768.77 c #Conflicts: 1238000 | #Constraints: 33261
1763.74/1768.77 c #Conflicts: 1239000 | #Constraints: 34261
1763.74/1768.77 c #Conflicts: 1240000 | #Constraints: 35261
1763.74/1768.77 c #Conflicts: 1241000 | #Constraints: 36261
1763.74/1768.77 c #Conflicts: 1242000 | #Constraints: 37261
1763.74/1768.77 c #Conflicts: 1243000 | #Constraints: 38261
1763.74/1768.77 c #Conflicts: 1244000 | #Constraints: 39261
1763.74/1768.77 c #Conflicts: 1245000 | #Constraints: 40261
1763.74/1768.77 c #Conflicts: 1246000 | #Constraints: 41261
1763.74/1768.77 c #Conflicts: 1247000 | #Constraints: 42261
1763.74/1768.77 c #Conflicts: 1248000 | #Constraints: 43261
1763.74/1768.77 c #Conflicts: 1249000 | #Constraints: 44261
1763.74/1768.77 c #Conflicts: 1250000 | #Constraints: 45261
1763.74/1768.77 c #Conflicts: 1251000 | #Constraints: 46261
1763.74/1768.77 c #Conflicts: 1252000 | #Constraints: 47261
1763.74/1768.77 c #Conflicts: 1253000 | #Constraints: 48261
1763.74/1768.77 c #Conflicts: 1254000 | #Constraints: 49261
1763.74/1768.77 c #Conflicts: 1255000 | #Constraints: 50261
1763.74/1768.77 c #Conflicts: 1256000 | #Constraints: 51261
1763.74/1768.77 c INPROCESSING
1763.74/1768.77 c GARBAGE COLLECT
1763.74/1768.77 c #Conflicts: 1257000 | #Constraints: 30061
1763.74/1768.77 c #Conflicts: 1258000 | #Constraints: 31061
1763.74/1768.77 c #Conflicts: 1259000 | #Constraints: 32061
1763.74/1768.77 c #Conflicts: 1260000 | #Constraints: 33061
1763.74/1768.77 c #Conflicts: 1261000 | #Constraints: 34061
1763.74/1768.77 c #Conflicts: 1262000 | #Constraints: 35061
1763.74/1768.77 c #Conflicts: 1263000 | #Constraints: 36061
1763.74/1768.77 c #Conflicts: 1264000 | #Constraints: 37061
1763.74/1768.77 c #Conflicts: 1265000 | #Constraints: 38061
1763.74/1768.77 c #Conflicts: 1266000 | #Constraints: 39061
1763.74/1768.77 c #Conflicts: 1267000 | #Constraints: 40061
1763.74/1768.77 c #Conflicts: 1268000 | #Constraints: 41061
1763.74/1768.77 c #Conflicts: 1269000 | #Constraints: 42061
1763.74/1768.77 c #Conflicts: 1270000 | #Constraints: 43061
1763.74/1768.77 c #Conflicts: 1271000 | #Constraints: 44061
1763.74/1768.77 c #Conflicts: 1272000 | #Constraints: 45061
1763.74/1768.77 c #Conflicts: 1273000 | #Constraints: 46061
1763.74/1768.77 c #Conflicts: 1274000 | #Constraints: 47061
1855.82/1861.06 c #Conflicts: 1275000 | #Constraints: 48061
1855.82/1861.06 c #Conflicts: 1276000 | #Constraints: 49061
1855.82/1861.06 c #Conflicts: 1277000 | #Constraints: 50061
1855.82/1861.06 c #Conflicts: 1278000 | #Constraints: 51061
1855.82/1861.06 c #Conflicts: 1279000 | #Constraints: 52061
1855.82/1861.06 c INPROCESSING
1855.82/1861.06 c GARBAGE COLLECT
1855.82/1861.06 c #Conflicts: 1280000 | #Constraints: 30658
1855.82/1861.06 c #Conflicts: 1281000 | #Constraints: 31658
1855.82/1861.06 c #Conflicts: 1282000 | #Constraints: 32658
1855.82/1861.06 c #Conflicts: 1283000 | #Constraints: 33658
1855.82/1861.06 c #Conflicts: 1284000 | #Constraints: 34658
1855.82/1861.06 c #Conflicts: 1285000 | #Constraints: 35658
1855.82/1861.06 c #Conflicts: 1286000 | #Constraints: 36658
1855.82/1861.06 c #Conflicts: 1287000 | #Constraints: 37658
1855.82/1861.06 c #Conflicts: 1288000 | #Constraints: 38658
1855.82/1861.06 c #Conflicts: 1289000 | #Constraints: 39658
1855.82/1861.06 c #Conflicts: 1290000 | #Constraints: 40658
1855.82/1861.06 c #Conflicts: 1291000 | #Constraints: 41658
1855.82/1861.06 c #Conflicts: 1292000 | #Constraints: 42658
1855.82/1861.06 c #Conflicts: 1293000 | #Constraints: 43658
1855.82/1861.06 c #Conflicts: 1294000 | #Constraints: 44658
1855.82/1861.06 c #Conflicts: 1295000 | #Constraints: 45658
1855.82/1861.06 c #Conflicts: 1296000 | #Constraints: 46658
1855.82/1861.06 c #Conflicts: 1297000 | #Constraints: 47658
1855.82/1861.06 c #Conflicts: 1298000 | #Constraints: 48658
1855.82/1861.06 c #Conflicts: 1299000 | #Constraints: 49658
1855.82/1861.06 c #Conflicts: 1300000 | #Constraints: 50658
1855.82/1861.06 c #Conflicts: 1301000 | #Constraints: 51658
1855.82/1861.06 c #Conflicts: 1302000 | #Constraints: 52658
1855.82/1861.06 c INPROCESSING
1855.82/1861.06 c GARBAGE COLLECT
1855.82/1861.06 c #Conflicts: 1303000 | #Constraints: 31060
1855.82/1861.06 c #Conflicts: 1304000 | #Constraints: 32060
1855.82/1861.06 c #Conflicts: 1305000 | #Constraints: 33060
1855.82/1861.06 c #Conflicts: 1306000 | #Constraints: 34060
1855.82/1861.06 c #Conflicts: 1307000 | #Constraints: 35060
1855.82/1861.06 c #Conflicts: 1308000 | #Constraints: 36060
1855.82/1861.06 c #Conflicts: 1309000 | #Constraints: 37060
1855.82/1861.06 c #Conflicts: 1310000 | #Constraints: 38060
1855.82/1861.06 c #Conflicts: 1311000 | #Constraints: 39060
1855.82/1861.06 c #Conflicts: 1312000 | #Constraints: 40060
1855.82/1861.06 c #Conflicts: 1313000 | #Constraints: 41060
1855.82/1861.06 c #Conflicts: 1314000 | #Constraints: 42060
1855.82/1861.06 c #Conflicts: 1315000 | #Constraints: 43060
1855.82/1861.06 c #Conflicts: 1316000 | #Constraints: 44060
1855.82/1861.06 c #Conflicts: 1317000 | #Constraints: 45060
1855.82/1861.06 c #Conflicts: 1318000 | #Constraints: 46060
1855.82/1861.06 c #Conflicts: 1319000 | #Constraints: 47060
1855.82/1861.06 c #Conflicts: 1320000 | #Constraints: 48060
1855.82/1861.06 c #Conflicts: 1321000 | #Constraints: 49060
1855.82/1861.06 c #Conflicts: 1322000 | #Constraints: 50060
1855.82/1861.06 c #Conflicts: 1323000 | #Constraints: 51060
1855.82/1861.06 c #Conflicts: 1324000 | #Constraints: 52060
1855.82/1861.06 c #Conflicts: 1325000 | #Constraints: 53060
1855.82/1861.06 c INPROCESSING
1855.82/1861.06 c GARBAGE COLLECT
1855.82/1861.06 c #Conflicts: 1326000 | #Constraints: 31262
1855.82/1861.06 c #Conflicts: 1327000 | #Constraints: 32262
1855.82/1861.06 c #Conflicts: 1328000 | #Constraints: 33262
1855.82/1861.06 c #Conflicts: 1329000 | #Constraints: 34262
1855.82/1861.06 c #Conflicts: 1330000 | #Constraints: 35262
1855.82/1861.06 c #Conflicts: 1331000 | #Constraints: 36262
1855.82/1861.06 c #Conflicts: 1332000 | #Constraints: 37262
1855.82/1861.06 c #Conflicts: 1333000 | #Constraints: 38262
1855.82/1861.06 c #Conflicts: 1334000 | #Constraints: 39262
1855.82/1861.06 c #Conflicts: 1335000 | #Constraints: 40262
1855.82/1861.06 c #Conflicts: 1336000 | #Constraints: 41262
1855.82/1861.06 c #Conflicts: 1337000 | #Constraints: 42262
1855.82/1861.06 c #Conflicts: 1338000 | #Constraints: 43262
1855.82/1861.06 c #Conflicts: 1339000 | #Constraints: 44262
1855.82/1861.06 c #Conflicts: 1340000 | #Constraints: 45262
1855.82/1861.06 c #Conflicts: 1341000 | #Constraints: 46262
1855.82/1861.06 c #Conflicts: 1342000 | #Constraints: 47262
1855.82/1861.06 c #Conflicts: 1343000 | #Constraints: 48262
1855.82/1861.06 c #Conflicts: 1344000 | #Constraints: 49262
1855.82/1861.06 c #Conflicts: 1345000 | #Constraints: 50262
1855.82/1861.06 c #Conflicts: 1346000 | #Constraints: 51262
1855.82/1861.06 c #Conflicts: 1347000 | #Constraints: 52262
1855.82/1861.06 c #Conflicts: 1348000 | #Constraints: 53262
1855.82/1861.06 c INPROCESSING
1855.82/1861.06 c GARBAGE COLLECT
1855.82/1861.06 c #Conflicts: 1349000 | #Constraints: 31263
1855.82/1861.06 c #Conflicts: 1350000 | #Constraints: 32263
1951.17/1956.70 c #Conflicts: 1351000 | #Constraints: 33263
1951.17/1956.70 c #Conflicts: 1352000 | #Constraints: 34263
1951.17/1956.70 c #Conflicts: 1353000 | #Constraints: 35263
1951.17/1956.70 c #Conflicts: 1354000 | #Constraints: 36263
1951.17/1956.70 c #Conflicts: 1355000 | #Constraints: 37263
1951.17/1956.70 c #Conflicts: 1356000 | #Constraints: 38263
1951.17/1956.70 c #Conflicts: 1357000 | #Constraints: 39263
1951.17/1956.70 c #Conflicts: 1358000 | #Constraints: 40263
1951.17/1956.70 c #Conflicts: 1359000 | #Constraints: 41263
1951.17/1956.70 c #Conflicts: 1360000 | #Constraints: 42263
1951.17/1956.70 c #Conflicts: 1361000 | #Constraints: 43263
1951.17/1956.70 c #Conflicts: 1362000 | #Constraints: 44263
1951.17/1956.70 c #Conflicts: 1363000 | #Constraints: 45263
1951.17/1956.70 c #Conflicts: 1364000 | #Constraints: 46263
1951.17/1956.70 c #Conflicts: 1365000 | #Constraints: 47263
1951.17/1956.70 c #Conflicts: 1366000 | #Constraints: 48263
1951.17/1956.70 c #Conflicts: 1367000 | #Constraints: 49263
1951.17/1956.70 c #Conflicts: 1368000 | #Constraints: 50263
1951.17/1956.70 c #Conflicts: 1369000 | #Constraints: 51263
1951.17/1956.70 c #Conflicts: 1370000 | #Constraints: 52263
1951.17/1956.70 c #Conflicts: 1371000 | #Constraints: 53263
1951.17/1956.70 c INPROCESSING
1951.17/1956.70 c GARBAGE COLLECT
1951.17/1956.70 c #Conflicts: 1372000 | #Constraints: 31061
1951.17/1956.70 c #Conflicts: 1373000 | #Constraints: 32061
1951.17/1956.70 c #Conflicts: 1374000 | #Constraints: 33061
1951.17/1956.70 c #Conflicts: 1375000 | #Constraints: 34061
1951.17/1956.70 c #Conflicts: 1376000 | #Constraints: 35061
1951.17/1956.70 c #Conflicts: 1377000 | #Constraints: 36061
1951.17/1956.70 c #Conflicts: 1378000 | #Constraints: 37061
1951.17/1956.70 c #Conflicts: 1379000 | #Constraints: 38061
1951.17/1956.70 c #Conflicts: 1380000 | #Constraints: 39061
1951.17/1956.70 c #Conflicts: 1381000 | #Constraints: 40061
1951.17/1956.70 c #Conflicts: 1382000 | #Constraints: 41061
1951.17/1956.70 c #Conflicts: 1383000 | #Constraints: 42061
1951.17/1956.70 c #Conflicts: 1384000 | #Constraints: 43061
1951.17/1956.70 c #Conflicts: 1385000 | #Constraints: 44061
1951.17/1956.70 c #Conflicts: 1386000 | #Constraints: 45061
1951.17/1956.70 c #Conflicts: 1387000 | #Constraints: 46061
1951.17/1956.70 c #Conflicts: 1388000 | #Constraints: 47061
1951.17/1956.70 c #Conflicts: 1389000 | #Constraints: 48061
1951.17/1956.70 c #Conflicts: 1390000 | #Constraints: 49061
1951.17/1956.70 c #Conflicts: 1391000 | #Constraints: 50061
1951.17/1956.70 c #Conflicts: 1392000 | #Constraints: 51061
1951.17/1956.70 c #Conflicts: 1393000 | #Constraints: 52061
1951.17/1956.70 c #Conflicts: 1394000 | #Constraints: 53061
1951.17/1956.70 c #Conflicts: 1395000 | #Constraints: 54061
1951.17/1956.70 c INPROCESSING
1951.17/1956.70 c GARBAGE COLLECT
1951.17/1956.70 c #Conflicts: 1396000 | #Constraints: 31662
1951.17/1956.70 c #Conflicts: 1397000 | #Constraints: 32662
1951.17/1956.70 c #Conflicts: 1398000 | #Constraints: 33662
1951.17/1956.70 c #Conflicts: 1399000 | #Constraints: 34662
1951.17/1956.70 c #Conflicts: 1400000 | #Constraints: 35662
1951.17/1956.70 c #Conflicts: 1401000 | #Constraints: 36662
1951.17/1956.70 c #Conflicts: 1402000 | #Constraints: 37662
1951.17/1956.70 c #Conflicts: 1403000 | #Constraints: 38662
1951.17/1956.70 c #Conflicts: 1404000 | #Constraints: 39662
1951.17/1956.70 c #Conflicts: 1405000 | #Constraints: 40662
1951.17/1956.70 c #Conflicts: 1406000 | #Constraints: 41662
1951.17/1956.70 c #Conflicts: 1407000 | #Constraints: 42662
1951.17/1956.70 c #Conflicts: 1408000 | #Constraints: 43662
1951.17/1956.70 c #Conflicts: 1409000 | #Constraints: 44662
1951.17/1956.70 c #Conflicts: 1410000 | #Constraints: 45662
1951.17/1956.70 c #Conflicts: 1411000 | #Constraints: 46662
1951.17/1956.70 c #Conflicts: 1412000 | #Constraints: 47662
1951.17/1956.70 c #Conflicts: 1413000 | #Constraints: 48662
1951.17/1956.70 c #Conflicts: 1414000 | #Constraints: 49662
1951.17/1956.70 c #Conflicts: 1415000 | #Constraints: 50662
1951.17/1956.70 c #Conflicts: 1416000 | #Constraints: 51662
1951.17/1956.70 c #Conflicts: 1417000 | #Constraints: 52662
1951.17/1956.70 c #Conflicts: 1418000 | #Constraints: 53662
1951.17/1956.70 c #Conflicts: 1419000 | #Constraints: 54662
1951.17/1956.70 c INPROCESSING
1951.17/1956.70 c GARBAGE COLLECT
1951.17/1956.70 c #Conflicts: 1420000 | #Constraints: 32067
1951.17/1956.70 c #Conflicts: 1421000 | #Constraints: 33067
1951.17/1956.70 c #Conflicts: 1422000 | #Constraints: 34067
1951.17/1956.70 c #Conflicts: 1423000 | #Constraints: 35067
1951.17/1956.70 c #Conflicts: 1424000 | #Constraints: 36067
1951.17/1956.70 c #Conflicts: 1425000 | #Constraints: 37067
1951.17/1956.70 c #Conflicts: 1426000 | #Constraints: 38067
1951.17/1956.70 c #Conflicts: 1427000 | #Constraints: 39067
2049.34/2055.07 c #Conflicts: 1428000 | #Constraints: 40067
2049.34/2055.07 c #Conflicts: 1429000 | #Constraints: 41067
2049.34/2055.07 c #Conflicts: 1430000 | #Constraints: 42067
2049.34/2055.07 c #Conflicts: 1431000 | #Constraints: 43067
2049.34/2055.07 c #Conflicts: 1432000 | #Constraints: 44067
2049.34/2055.07 c #Conflicts: 1433000 | #Constraints: 45067
2049.34/2055.07 c #Conflicts: 1434000 | #Constraints: 46067
2049.34/2055.07 c #Conflicts: 1435000 | #Constraints: 47067
2049.34/2055.07 c #Conflicts: 1436000 | #Constraints: 48067
2049.34/2055.07 c #Conflicts: 1437000 | #Constraints: 49067
2049.34/2055.07 c #Conflicts: 1438000 | #Constraints: 50067
2049.34/2055.07 c #Conflicts: 1439000 | #Constraints: 51067
2049.34/2055.07 c #Conflicts: 1440000 | #Constraints: 52067
2049.34/2055.07 c #Conflicts: 1441000 | #Constraints: 53067
2049.34/2055.07 c #Conflicts: 1442000 | #Constraints: 54067
2049.34/2055.07 c #Conflicts: 1443000 | #Constraints: 55067
2049.34/2055.07 c INPROCESSING
2049.34/2055.07 c GARBAGE COLLECT
2049.34/2055.07 c #Conflicts: 1444000 | #Constraints: 32263
2049.34/2055.07 c #Conflicts: 1445000 | #Constraints: 33263
2049.34/2055.07 c #Conflicts: 1446000 | #Constraints: 34263
2049.34/2055.07 c #Conflicts: 1447000 | #Constraints: 35263
2049.34/2055.07 c #Conflicts: 1448000 | #Constraints: 36263
2049.34/2055.07 c #Conflicts: 1449000 | #Constraints: 37263
2049.34/2055.07 c #Conflicts: 1450000 | #Constraints: 38263
2049.34/2055.07 c #Conflicts: 1451000 | #Constraints: 39263
2049.34/2055.07 c #Conflicts: 1452000 | #Constraints: 40263
2049.34/2055.07 c #Conflicts: 1453000 | #Constraints: 41263
2049.34/2055.07 c #Conflicts: 1454000 | #Constraints: 42263
2049.34/2055.07 c #Conflicts: 1455000 | #Constraints: 43263
2049.34/2055.07 c #Conflicts: 1456000 | #Constraints: 44263
2049.34/2055.07 c #Conflicts: 1457000 | #Constraints: 45263
2049.34/2055.07 c #Conflicts: 1458000 | #Constraints: 46263
2049.34/2055.07 c #Conflicts: 1459000 | #Constraints: 47263
2049.34/2055.07 c #Conflicts: 1460000 | #Constraints: 48263
2049.34/2055.07 c #Conflicts: 1461000 | #Constraints: 49263
2049.34/2055.07 c #Conflicts: 1462000 | #Constraints: 50263
2049.34/2055.07 c #Conflicts: 1463000 | #Constraints: 51263
2049.34/2055.07 c #Conflicts: 1464000 | #Constraints: 52263
2049.34/2055.07 c #Conflicts: 1465000 | #Constraints: 53263
2049.34/2055.07 c #Conflicts: 1466000 | #Constraints: 54263
2049.34/2055.07 c #Conflicts: 1467000 | #Constraints: 55263
2049.34/2055.07 c INPROCESSING
2049.34/2055.07 c GARBAGE COLLECT
2049.34/2055.07 c #Conflicts: 1468000 | #Constraints: 32262
2049.34/2055.07 c #Conflicts: 1469000 | #Constraints: 33262
2049.34/2055.07 c #Conflicts: 1470000 | #Constraints: 34262
2049.34/2055.07 c #Conflicts: 1471000 | #Constraints: 35262
2049.34/2055.07 c #Conflicts: 1472000 | #Constraints: 36262
2049.34/2055.07 c #Conflicts: 1473000 | #Constraints: 37262
2049.34/2055.07 c #Conflicts: 1474000 | #Constraints: 38262
2049.34/2055.07 c #Conflicts: 1475000 | #Constraints: 39262
2049.34/2055.07 c #Conflicts: 1476000 | #Constraints: 40262
2049.34/2055.07 c #Conflicts: 1477000 | #Constraints: 41262
2049.34/2055.07 c #Conflicts: 1478000 | #Constraints: 42262
2049.34/2055.07 c #Conflicts: 1479000 | #Constraints: 43262
2049.34/2055.07 c #Conflicts: 1480000 | #Constraints: 44262
2049.34/2055.07 c #Conflicts: 1481000 | #Constraints: 45262
2049.34/2055.07 c #Conflicts: 1482000 | #Constraints: 46262
2049.34/2055.07 c #Conflicts: 1483000 | #Constraints: 47262
2049.34/2055.07 c #Conflicts: 1484000 | #Constraints: 48262
2049.34/2055.07 c #Conflicts: 1485000 | #Constraints: 49262
2049.34/2055.07 c #Conflicts: 1486000 | #Constraints: 50262
2049.34/2055.07 c #Conflicts: 1487000 | #Constraints: 51262
2049.34/2055.07 c #Conflicts: 1488000 | #Constraints: 52262
2049.34/2055.07 c #Conflicts: 1489000 | #Constraints: 53262
2049.34/2055.07 c #Conflicts: 1490000 | #Constraints: 54262
2049.34/2055.07 c #Conflicts: 1491000 | #Constraints: 55262
2049.34/2055.07 c INPROCESSING
2049.34/2055.07 c GARBAGE COLLECT
2049.34/2055.07 c #Conflicts: 1492000 | #Constraints: 32060
2049.34/2055.07 c #Conflicts: 1493000 | #Constraints: 33060
2049.34/2055.07 c #Conflicts: 1494000 | #Constraints: 34060
2049.34/2055.07 c #Conflicts: 1495000 | #Constraints: 35060
2049.34/2055.07 c #Conflicts: 1496000 | #Constraints: 36060
2049.34/2055.07 c #Conflicts: 1497000 | #Constraints: 37060
2049.34/2055.07 c #Conflicts: 1498000 | #Constraints: 38060
2049.34/2055.07 c #Conflicts: 1499000 | #Constraints: 39060
2049.34/2055.07 c #Conflicts: 1500000 | #Constraints: 40060
2049.34/2055.07 c #Conflicts: 1501000 | #Constraints: 41060
2049.34/2055.07 c #Conflicts: 1502000 | #Constraints: 42060
2049.34/2055.07 c #Conflicts: 1503000 | #Constraints: 43060
2049.34/2055.07 c #Conflicts: 1504000 | #Constraints: 44060
2148.37/2154.30 c #Conflicts: 1505000 | #Constraints: 45060
2148.37/2154.30 c #Conflicts: 1506000 | #Constraints: 46060
2148.37/2154.30 c #Conflicts: 1507000 | #Constraints: 47060
2148.37/2154.30 c #Conflicts: 1508000 | #Constraints: 48060
2148.37/2154.30 c #Conflicts: 1509000 | #Constraints: 49060
2148.37/2154.30 c #Conflicts: 1510000 | #Constraints: 50060
2148.37/2154.30 c #Conflicts: 1511000 | #Constraints: 51060
2148.37/2154.30 c #Conflicts: 1512000 | #Constraints: 52060
2148.37/2154.30 c #Conflicts: 1513000 | #Constraints: 53060
2148.37/2154.30 c #Conflicts: 1514000 | #Constraints: 54060
2148.37/2154.30 c #Conflicts: 1515000 | #Constraints: 55060
2148.37/2154.30 c #Conflicts: 1516000 | #Constraints: 56060
2148.37/2154.30 c INPROCESSING
2148.37/2154.30 c GARBAGE COLLECT
2148.37/2154.30 c #Conflicts: 1517000 | #Constraints: 32662
2148.37/2154.30 c #Conflicts: 1518000 | #Constraints: 33662
2148.37/2154.30 c #Conflicts: 1519000 | #Constraints: 34662
2148.37/2154.30 c #Conflicts: 1520000 | #Constraints: 35662
2148.37/2154.30 c #Conflicts: 1521000 | #Constraints: 36662
2148.37/2154.30 c #Conflicts: 1522000 | #Constraints: 37662
2148.37/2154.30 c #Conflicts: 1523000 | #Constraints: 38662
2148.37/2154.30 c #Conflicts: 1524000 | #Constraints: 39662
2148.37/2154.30 c #Conflicts: 1525000 | #Constraints: 40662
2148.37/2154.30 c #Conflicts: 1526000 | #Constraints: 41662
2148.37/2154.30 c #Conflicts: 1527000 | #Constraints: 42662
2148.37/2154.30 c #Conflicts: 1528000 | #Constraints: 43662
2148.37/2154.30 c #Conflicts: 1529000 | #Constraints: 44662
2148.37/2154.30 c #Conflicts: 1530000 | #Constraints: 45662
2148.37/2154.30 c #Conflicts: 1531000 | #Constraints: 46662
2148.37/2154.30 c #Conflicts: 1532000 | #Constraints: 47662
2148.37/2154.30 c #Conflicts: 1533000 | #Constraints: 48662
2148.37/2154.30 c #Conflicts: 1534000 | #Constraints: 49662
2148.37/2154.30 c #Conflicts: 1535000 | #Constraints: 50662
2148.37/2154.30 c #Conflicts: 1536000 | #Constraints: 51662
2148.37/2154.30 c #Conflicts: 1537000 | #Constraints: 52662
2148.37/2154.30 c #Conflicts: 1538000 | #Constraints: 53662
2148.37/2154.30 c #Conflicts: 1539000 | #Constraints: 54662
2148.37/2154.30 c #Conflicts: 1540000 | #Constraints: 55662
2148.37/2154.30 c #Conflicts: 1541000 | #Constraints: 56662
2148.37/2154.30 c INPROCESSING
2148.37/2154.30 c GARBAGE COLLECT
2148.37/2154.30 c #Conflicts: 1542000 | #Constraints: 33062
2148.37/2154.30 c #Conflicts: 1543000 | #Constraints: 34062
2148.37/2154.30 c #Conflicts: 1544000 | #Constraints: 35062
2148.37/2154.30 c #Conflicts: 1545000 | #Constraints: 36062
2148.37/2154.30 c #Conflicts: 1546000 | #Constraints: 37062
2148.37/2154.30 c #Conflicts: 1547000 | #Constraints: 38062
2148.37/2154.30 c #Conflicts: 1548000 | #Constraints: 39062
2148.37/2154.30 c #Conflicts: 1549000 | #Constraints: 40062
2148.37/2154.30 c #Conflicts: 1550000 | #Constraints: 41062
2148.37/2154.30 c #Conflicts: 1551000 | #Constraints: 42062
2148.37/2154.30 c #Conflicts: 1552000 | #Constraints: 43062
2148.37/2154.30 c #Conflicts: 1553000 | #Constraints: 44062
2148.37/2154.30 c #Conflicts: 1554000 | #Constraints: 45062
2148.37/2154.30 c #Conflicts: 1555000 | #Constraints: 46062
2148.37/2154.30 c #Conflicts: 1556000 | #Constraints: 47062
2148.37/2154.30 c #Conflicts: 1557000 | #Constraints: 48062
2148.37/2154.30 c #Conflicts: 1558000 | #Constraints: 49062
2148.37/2154.30 c #Conflicts: 1559000 | #Constraints: 50062
2148.37/2154.30 c #Conflicts: 1560000 | #Constraints: 51062
2148.37/2154.30 c #Conflicts: 1561000 | #Constraints: 52062
2148.37/2154.30 c #Conflicts: 1562000 | #Constraints: 53062
2148.37/2154.30 c #Conflicts: 1563000 | #Constraints: 54062
2148.37/2154.30 c #Conflicts: 1564000 | #Constraints: 55062
2148.37/2154.30 c #Conflicts: 1565000 | #Constraints: 56062
2148.37/2154.30 c #Conflicts: 1566000 | #Constraints: 57062
2148.37/2154.30 c INPROCESSING
2148.37/2154.30 c GARBAGE COLLECT
2148.37/2154.30 c #Conflicts: 1567000 | #Constraints: 33263
2148.37/2154.30 c #Conflicts: 1568000 | #Constraints: 34263
2148.37/2154.30 c #Conflicts: 1569000 | #Constraints: 35263
2148.37/2154.30 c #Conflicts: 1570000 | #Constraints: 36263
2148.37/2154.30 c #Conflicts: 1571000 | #Constraints: 37263
2148.37/2154.30 c #Conflicts: 1572000 | #Constraints: 38263
2148.37/2154.30 c #Conflicts: 1573000 | #Constraints: 39263
2148.37/2154.30 c #Conflicts: 1574000 | #Constraints: 40263
2148.37/2154.30 c #Conflicts: 1575000 | #Constraints: 41263
2148.37/2154.30 c #Conflicts: 1576000 | #Constraints: 42263
2148.37/2154.30 c #Conflicts: 1577000 | #Constraints: 43263
2148.37/2154.30 c #Conflicts: 1578000 | #Constraints: 44263
2148.37/2154.30 c #Conflicts: 1579000 | #Constraints: 45263
2148.37/2154.30 c #Conflicts: 1580000 | #Constraints: 46263
2148.37/2154.30 c #Conflicts: 1581000 | #Constraints: 47263
2248.03/2254.27 c #Conflicts: 1582000 | #Constraints: 48263
2248.03/2254.27 c #Conflicts: 1583000 | #Constraints: 49263
2248.03/2254.27 c #Conflicts: 1584000 | #Constraints: 50263
2248.03/2254.27 c #Conflicts: 1585000 | #Constraints: 51263
2248.03/2254.27 c #Conflicts: 1586000 | #Constraints: 52263
2248.03/2254.27 c #Conflicts: 1587000 | #Constraints: 53263
2248.03/2254.27 c #Conflicts: 1588000 | #Constraints: 54263
2248.03/2254.27 c #Conflicts: 1589000 | #Constraints: 55263
2248.03/2254.27 c #Conflicts: 1590000 | #Constraints: 56263
2248.03/2254.27 c #Conflicts: 1591000 | #Constraints: 57263
2248.03/2254.27 c INPROCESSING
2248.03/2254.27 c GARBAGE COLLECT
2248.03/2254.27 c #Conflicts: 1592000 | #Constraints: 33263
2248.03/2254.27 c #Conflicts: 1593000 | #Constraints: 34263
2248.03/2254.27 c #Conflicts: 1594000 | #Constraints: 35263
2248.03/2254.27 c #Conflicts: 1595000 | #Constraints: 36263
2248.03/2254.27 c #Conflicts: 1596000 | #Constraints: 37263
2248.03/2254.27 c #Conflicts: 1597000 | #Constraints: 38263
2248.03/2254.27 c #Conflicts: 1598000 | #Constraints: 39263
2248.03/2254.27 c #Conflicts: 1599000 | #Constraints: 40263
2248.03/2254.27 c #Conflicts: 1600000 | #Constraints: 41263
2248.03/2254.27 c #Conflicts: 1601000 | #Constraints: 42263
2248.03/2254.27 c #Conflicts: 1602000 | #Constraints: 43263
2248.03/2254.27 c #Conflicts: 1603000 | #Constraints: 44263
2248.03/2254.27 c #Conflicts: 1604000 | #Constraints: 45263
2248.03/2254.27 c #Conflicts: 1605000 | #Constraints: 46263
2248.03/2254.27 c #Conflicts: 1606000 | #Constraints: 47263
2248.03/2254.27 c #Conflicts: 1607000 | #Constraints: 48263
2248.03/2254.27 c #Conflicts: 1608000 | #Constraints: 49263
2248.03/2254.27 c #Conflicts: 1609000 | #Constraints: 50263
2248.03/2254.27 c #Conflicts: 1610000 | #Constraints: 51263
2248.03/2254.27 c #Conflicts: 1611000 | #Constraints: 52263
2248.03/2254.27 c #Conflicts: 1612000 | #Constraints: 53263
2248.03/2254.27 c #Conflicts: 1613000 | #Constraints: 54263
2248.03/2254.27 c #Conflicts: 1614000 | #Constraints: 55263
2248.03/2254.27 c #Conflicts: 1615000 | #Constraints: 56263
2248.03/2254.27 c #Conflicts: 1616000 | #Constraints: 57263
2248.03/2254.27 c INPROCESSING
2248.03/2254.27 c GARBAGE COLLECT
2248.03/2254.27 c #Conflicts: 1617000 | #Constraints: 33063
2248.03/2254.27 c #Conflicts: 1618000 | #Constraints: 34063
2248.03/2254.27 c #Conflicts: 1619000 | #Constraints: 35063
2248.03/2254.27 c #Conflicts: 1620000 | #Constraints: 36063
2248.03/2254.27 c #Conflicts: 1621000 | #Constraints: 37063
2248.03/2254.27 c #Conflicts: 1622000 | #Constraints: 38063
2248.03/2254.27 c #Conflicts: 1623000 | #Constraints: 39063
2248.03/2254.27 c #Conflicts: 1624000 | #Constraints: 40063
2248.03/2254.27 c #Conflicts: 1625000 | #Constraints: 41063
2248.03/2254.27 c #Conflicts: 1626000 | #Constraints: 42063
2248.03/2254.27 c #Conflicts: 1627000 | #Constraints: 43063
2248.03/2254.27 c #Conflicts: 1628000 | #Constraints: 44063
2248.03/2254.27 c #Conflicts: 1629000 | #Constraints: 45063
2248.03/2254.27 c #Conflicts: 1630000 | #Constraints: 46063
2248.03/2254.27 c #Conflicts: 1631000 | #Constraints: 47063
2248.03/2254.27 c #Conflicts: 1632000 | #Constraints: 48063
2248.03/2254.27 c #Conflicts: 1633000 | #Constraints: 49063
2248.03/2254.27 c #Conflicts: 1634000 | #Constraints: 50063
2248.03/2254.27 c #Conflicts: 1635000 | #Constraints: 51063
2248.03/2254.27 c #Conflicts: 1636000 | #Constraints: 52063
2248.03/2254.27 c #Conflicts: 1637000 | #Constraints: 53063
2248.03/2254.27 c #Conflicts: 1638000 | #Constraints: 54063
2248.03/2254.27 c #Conflicts: 1639000 | #Constraints: 55063
2248.03/2254.27 c #Conflicts: 1640000 | #Constraints: 56063
2248.03/2254.27 c #Conflicts: 1641000 | #Constraints: 57063
2248.03/2254.27 c #Conflicts: 1642000 | #Constraints: 58063
2248.03/2254.27 c INPROCESSING
2248.03/2254.27 c GARBAGE COLLECT
2248.03/2254.27 c #Conflicts: 1643000 | #Constraints: 33660
2248.03/2254.27 c #Conflicts: 1644000 | #Constraints: 34660
2248.03/2254.27 c #Conflicts: 1645000 | #Constraints: 35660
2248.03/2254.27 c #Conflicts: 1646000 | #Constraints: 36660
2248.03/2254.27 c #Conflicts: 1647000 | #Constraints: 37660
2248.03/2254.27 c #Conflicts: 1648000 | #Constraints: 38660
2248.03/2254.27 c #Conflicts: 1649000 | #Constraints: 39660
2248.03/2254.27 c #Conflicts: 1650000 | #Constraints: 40660
2248.03/2254.27 c #Conflicts: 1651000 | #Constraints: 41660
2248.03/2254.27 c #Conflicts: 1652000 | #Constraints: 42660
2248.03/2254.27 c #Conflicts: 1653000 | #Constraints: 43660
2248.03/2254.27 c #Conflicts: 1654000 | #Constraints: 44660
2248.03/2254.27 c #Conflicts: 1655000 | #Constraints: 45660
2248.03/2254.27 c #Conflicts: 1656000 | #Constraints: 46660
2248.03/2254.27 c #Conflicts: 1657000 | #Constraints: 47660
2248.03/2254.27 c #Conflicts: 1658000 | #Constraints: 48660
2345.28/2351.78 c #Conflicts: 1659000 | #Constraints: 49660
2345.28/2351.78 c #Conflicts: 1660000 | #Constraints: 50660
2345.28/2351.78 c #Conflicts: 1661000 | #Constraints: 51660
2345.28/2351.78 c #Conflicts: 1662000 | #Constraints: 52660
2345.28/2351.78 c #Conflicts: 1663000 | #Constraints: 53660
2345.28/2351.78 c #Conflicts: 1664000 | #Constraints: 54660
2345.28/2351.78 c #Conflicts: 1665000 | #Constraints: 55660
2345.28/2351.78 c #Conflicts: 1666000 | #Constraints: 56660
2345.28/2351.78 c #Conflicts: 1667000 | #Constraints: 57660
2345.28/2351.78 c #Conflicts: 1668000 | #Constraints: 58660
2345.28/2351.78 c INPROCESSING
2345.28/2351.78 c GARBAGE COLLECT
2345.28/2351.78 c #Conflicts: 1669000 | #Constraints: 34060
2345.28/2351.78 c #Conflicts: 1670000 | #Constraints: 35060
2345.28/2351.78 c #Conflicts: 1671000 | #Constraints: 36060
2345.28/2351.78 c #Conflicts: 1672000 | #Constraints: 37060
2345.28/2351.78 c #Conflicts: 1673000 | #Constraints: 38060
2345.28/2351.78 c #Conflicts: 1674000 | #Constraints: 39060
2345.28/2351.78 c #Conflicts: 1675000 | #Constraints: 40060
2345.28/2351.78 c #Conflicts: 1676000 | #Constraints: 41060
2345.28/2351.78 c #Conflicts: 1677000 | #Constraints: 42060
2345.28/2351.78 c #Conflicts: 1678000 | #Constraints: 43060
2345.28/2351.78 c #Conflicts: 1679000 | #Constraints: 44060
2345.28/2351.78 c #Conflicts: 1680000 | #Constraints: 45060
2345.28/2351.78 c #Conflicts: 1681000 | #Constraints: 46060
2345.28/2351.78 c #Conflicts: 1682000 | #Constraints: 47060
2345.28/2351.78 c #Conflicts: 1683000 | #Constraints: 48060
2345.28/2351.78 c #Conflicts: 1684000 | #Constraints: 49060
2345.28/2351.78 c #Conflicts: 1685000 | #Constraints: 50060
2345.28/2351.78 c #Conflicts: 1686000 | #Constraints: 51060
2345.28/2351.78 c #Conflicts: 1687000 | #Constraints: 52060
2345.28/2351.78 c #Conflicts: 1688000 | #Constraints: 53060
2345.28/2351.78 c #Conflicts: 1689000 | #Constraints: 54060
2345.28/2351.78 c #Conflicts: 1690000 | #Constraints: 55060
2345.28/2351.78 c #Conflicts: 1691000 | #Constraints: 56060
2345.28/2351.78 c #Conflicts: 1692000 | #Constraints: 57060
2345.28/2351.78 c #Conflicts: 1693000 | #Constraints: 58060
2345.28/2351.78 c #Conflicts: 1694000 | #Constraints: 59060
2345.28/2351.78 c INPROCESSING
2345.28/2351.78 c GARBAGE COLLECT
2345.28/2351.78 c #Conflicts: 1695000 | #Constraints: 34260
2345.28/2351.78 c #Conflicts: 1696000 | #Constraints: 35260
2345.28/2351.78 c #Conflicts: 1697000 | #Constraints: 36260
2345.28/2351.78 c #Conflicts: 1698000 | #Constraints: 37260
2345.28/2351.78 c #Conflicts: 1699000 | #Constraints: 38260
2345.28/2351.78 c #Conflicts: 1700000 | #Constraints: 39260
2345.28/2351.78 c #Conflicts: 1701000 | #Constraints: 40260
2345.28/2351.78 c #Conflicts: 1702000 | #Constraints: 41260
2345.28/2351.78 c #Conflicts: 1703000 | #Constraints: 42260
2345.28/2351.78 c #Conflicts: 1704000 | #Constraints: 43260
2345.28/2351.78 c #Conflicts: 1705000 | #Constraints: 44260
2345.28/2351.78 c #Conflicts: 1706000 | #Constraints: 45260
2345.28/2351.78 c #Conflicts: 1707000 | #Constraints: 46260
2345.28/2351.78 c #Conflicts: 1708000 | #Constraints: 47260
2345.28/2351.78 c #Conflicts: 1709000 | #Constraints: 48260
2345.28/2351.78 c #Conflicts: 1710000 | #Constraints: 49260
2345.28/2351.78 c #Conflicts: 1711000 | #Constraints: 50260
2345.28/2351.78 c #Conflicts: 1712000 | #Constraints: 51260
2345.28/2351.78 c #Conflicts: 1713000 | #Constraints: 52260
2345.28/2351.78 c #Conflicts: 1714000 | #Constraints: 53260
2345.28/2351.78 c #Conflicts: 1715000 | #Constraints: 54260
2345.28/2351.78 c #Conflicts: 1716000 | #Constraints: 55260
2345.28/2351.78 c #Conflicts: 1717000 | #Constraints: 56260
2345.28/2351.78 c #Conflicts: 1718000 | #Constraints: 57260
2345.28/2351.78 c #Conflicts: 1719000 | #Constraints: 58260
2345.28/2351.78 c #Conflicts: 1720000 | #Constraints: 59260
2345.28/2351.78 c INPROCESSING
2345.28/2351.78 c GARBAGE COLLECT
2345.28/2351.78 c #Conflicts: 1721000 | #Constraints: 34261
2345.28/2351.78 c #Conflicts: 1722000 | #Constraints: 35261
2345.28/2351.78 c #Conflicts: 1723000 | #Constraints: 36261
2345.28/2351.78 c #Conflicts: 1724000 | #Constraints: 37261
2345.28/2351.78 c #Conflicts: 1725000 | #Constraints: 38261
2345.28/2351.78 c #Conflicts: 1726000 | #Constraints: 39261
2345.28/2351.78 c #Conflicts: 1727000 | #Constraints: 40261
2345.28/2351.78 c #Conflicts: 1728000 | #Constraints: 41261
2345.28/2351.78 c #Conflicts: 1729000 | #Constraints: 42261
2345.28/2351.78 c #Conflicts: 1730000 | #Constraints: 43261
2345.28/2351.78 c #Conflicts: 1731000 | #Constraints: 44261
2345.28/2351.78 c #Conflicts: 1732000 | #Constraints: 45261
2345.28/2351.78 c #Conflicts: 1733000 | #Constraints: 46261
2345.28/2351.78 c #Conflicts: 1734000 | #Constraints: 47261
2345.28/2351.78 c #Conflicts: 1735000 | #Constraints: 48261
2442.35/2449.05 c #Conflicts: 1736000 | #Constraints: 49261
2442.35/2449.05 c #Conflicts: 1737000 | #Constraints: 50261
2442.35/2449.05 c #Conflicts: 1738000 | #Constraints: 51261
2442.35/2449.05 c #Conflicts: 1739000 | #Constraints: 52261
2442.35/2449.05 c #Conflicts: 1740000 | #Constraints: 53261
2442.35/2449.05 c #Conflicts: 1741000 | #Constraints: 54261
2442.35/2449.05 c #Conflicts: 1742000 | #Constraints: 55261
2442.35/2449.05 c #Conflicts: 1743000 | #Constraints: 56261
2442.35/2449.05 c #Conflicts: 1744000 | #Constraints: 57261
2442.35/2449.05 c #Conflicts: 1745000 | #Constraints: 58261
2442.35/2449.05 c #Conflicts: 1746000 | #Constraints: 59261
2442.35/2449.05 c INPROCESSING
2442.35/2449.05 c GARBAGE COLLECT
2442.35/2449.05 c #Conflicts: 1747000 | #Constraints: 34060
2442.35/2449.05 c #Conflicts: 1748000 | #Constraints: 35060
2442.35/2449.05 c #Conflicts: 1749000 | #Constraints: 36060
2442.35/2449.05 c #Conflicts: 1750000 | #Constraints: 37060
2442.35/2449.05 c #Conflicts: 1751000 | #Constraints: 38060
2442.35/2449.05 c #Conflicts: 1752000 | #Constraints: 39060
2442.35/2449.05 c #Conflicts: 1753000 | #Constraints: 40060
2442.35/2449.05 c #Conflicts: 1754000 | #Constraints: 41060
2442.35/2449.05 c #Conflicts: 1755000 | #Constraints: 42060
2442.35/2449.05 c #Conflicts: 1756000 | #Constraints: 43060
2442.35/2449.05 c #Conflicts: 1757000 | #Constraints: 44060
2442.35/2449.05 c #Conflicts: 1758000 | #Constraints: 45060
2442.35/2449.05 c #Conflicts: 1759000 | #Constraints: 46060
2442.35/2449.05 c #Conflicts: 1760000 | #Constraints: 47060
2442.35/2449.05 c #Conflicts: 1761000 | #Constraints: 48060
2442.35/2449.05 c #Conflicts: 1762000 | #Constraints: 49060
2442.35/2449.05 c #Conflicts: 1763000 | #Constraints: 50060
2442.35/2449.05 c #Conflicts: 1764000 | #Constraints: 51060
2442.35/2449.05 c #Conflicts: 1765000 | #Constraints: 52060
2442.35/2449.05 c #Conflicts: 1766000 | #Constraints: 53060
2442.35/2449.05 c #Conflicts: 1767000 | #Constraints: 54060
2442.35/2449.05 c #Conflicts: 1768000 | #Constraints: 55060
2442.35/2449.05 c #Conflicts: 1769000 | #Constraints: 56060
2442.35/2449.05 c #Conflicts: 1770000 | #Constraints: 57060
2442.35/2449.05 c #Conflicts: 1771000 | #Constraints: 58060
2442.35/2449.05 c #Conflicts: 1772000 | #Constraints: 59060
2442.35/2449.05 c #Conflicts: 1773000 | #Constraints: 60060
2442.35/2449.05 c INPROCESSING
2442.35/2449.05 c GARBAGE COLLECT
2442.35/2449.05 c #Conflicts: 1774000 | #Constraints: 34659
2442.35/2449.05 c #Conflicts: 1775000 | #Constraints: 35659
2442.35/2449.05 c #Conflicts: 1776000 | #Constraints: 36659
2442.35/2449.05 c #Conflicts: 1777000 | #Constraints: 37659
2442.35/2449.05 c #Conflicts: 1778000 | #Constraints: 38659
2442.35/2449.05 c #Conflicts: 1779000 | #Constraints: 39659
2442.35/2449.05 c #Conflicts: 1780000 | #Constraints: 40659
2442.35/2449.05 c #Conflicts: 1781000 | #Constraints: 41659
2442.35/2449.05 c #Conflicts: 1782000 | #Constraints: 42659
2442.35/2449.05 c #Conflicts: 1783000 | #Constraints: 43659
2442.35/2449.05 c #Conflicts: 1784000 | #Constraints: 44659
2442.35/2449.05 c #Conflicts: 1785000 | #Constraints: 45659
2442.35/2449.05 c #Conflicts: 1786000 | #Constraints: 46659
2442.35/2449.05 c #Conflicts: 1787000 | #Constraints: 47659
2442.35/2449.05 c #Conflicts: 1788000 | #Constraints: 48659
2442.35/2449.05 c #Conflicts: 1789000 | #Constraints: 49659
2442.35/2449.05 c #Conflicts: 1790000 | #Constraints: 50659
2442.35/2449.05 c #Conflicts: 1791000 | #Constraints: 51659
2442.35/2449.05 c #Conflicts: 1792000 | #Constraints: 52659
2442.35/2449.05 c #Conflicts: 1793000 | #Constraints: 53659
2442.35/2449.05 c #Conflicts: 1794000 | #Constraints: 54659
2442.35/2449.05 c #Conflicts: 1795000 | #Constraints: 55659
2442.35/2449.05 c #Conflicts: 1796000 | #Constraints: 56659
2442.35/2449.05 c #Conflicts: 1797000 | #Constraints: 57659
2442.35/2449.05 c #Conflicts: 1798000 | #Constraints: 58659
2442.35/2449.05 c #Conflicts: 1799000 | #Constraints: 59659
2442.35/2449.05 c #Conflicts: 1800000 | #Constraints: 60659
2442.35/2449.05 c INPROCESSING
2442.35/2449.05 c GARBAGE COLLECT
2442.35/2449.05 c #Conflicts: 1801000 | #Constraints: 35064
2442.35/2449.05 c #Conflicts: 1802000 | #Constraints: 36064
2442.35/2449.05 c #Conflicts: 1803000 | #Constraints: 37064
2442.35/2449.05 c #Conflicts: 1804000 | #Constraints: 38064
2442.35/2449.05 c #Conflicts: 1805000 | #Constraints: 39064
2442.35/2449.05 c #Conflicts: 1806000 | #Constraints: 40064
2442.35/2449.05 c #Conflicts: 1807000 | #Constraints: 41064
2442.35/2449.05 c #Conflicts: 1808000 | #Constraints: 42064
2442.35/2449.05 c #Conflicts: 1809000 | #Constraints: 43064
2442.35/2449.05 c #Conflicts: 1810000 | #Constraints: 44064
2442.35/2449.05 c #Conflicts: 1811000 | #Constraints: 45064
2442.35/2449.05 c #Conflicts: 1812000 | #Constraints: 46064
2551.66/2558.68 c #Conflicts: 1813000 | #Constraints: 47064
2551.66/2558.68 c #Conflicts: 1814000 | #Constraints: 48064
2551.66/2558.68 c #Conflicts: 1815000 | #Constraints: 49064
2551.66/2558.68 c #Conflicts: 1816000 | #Constraints: 50064
2551.66/2558.68 c #Conflicts: 1817000 | #Constraints: 51064
2551.66/2558.68 c #Conflicts: 1818000 | #Constraints: 52064
2551.66/2558.68 c #Conflicts: 1819000 | #Constraints: 53064
2551.66/2558.68 c #Conflicts: 1820000 | #Constraints: 54064
2551.66/2558.68 c #Conflicts: 1821000 | #Constraints: 55064
2551.66/2558.68 c #Conflicts: 1822000 | #Constraints: 56064
2551.66/2558.68 c #Conflicts: 1823000 | #Constraints: 57064
2551.66/2558.68 c #Conflicts: 1824000 | #Constraints: 58064
2551.66/2558.68 c #Conflicts: 1825000 | #Constraints: 59064
2551.66/2558.68 c #Conflicts: 1826000 | #Constraints: 60064
2551.66/2558.68 c #Conflicts: 1827000 | #Constraints: 61064
2551.66/2558.68 c INPROCESSING
2551.66/2558.68 c GARBAGE COLLECT
2551.66/2558.68 c #Conflicts: 1828000 | #Constraints: 35263
2551.66/2558.68 c #Conflicts: 1829000 | #Constraints: 36263
2551.66/2558.68 c #Conflicts: 1830000 | #Constraints: 37263
2551.66/2558.68 c #Conflicts: 1831000 | #Constraints: 38263
2551.66/2558.68 c #Conflicts: 1832000 | #Constraints: 39263
2551.66/2558.68 c #Conflicts: 1833000 | #Constraints: 40263
2551.66/2558.68 c #Conflicts: 1834000 | #Constraints: 41263
2551.66/2558.68 c #Conflicts: 1835000 | #Constraints: 42263
2551.66/2558.68 c #Conflicts: 1836000 | #Constraints: 43263
2551.66/2558.68 c #Conflicts: 1837000 | #Constraints: 44263
2551.66/2558.68 c #Conflicts: 1838000 | #Constraints: 45263
2551.66/2558.68 c #Conflicts: 1839000 | #Constraints: 46263
2551.66/2558.68 c #Conflicts: 1840000 | #Constraints: 47263
2551.66/2558.68 c #Conflicts: 1841000 | #Constraints: 48263
2551.66/2558.68 c #Conflicts: 1842000 | #Constraints: 49263
2551.66/2558.68 c #Conflicts: 1843000 | #Constraints: 50263
2551.66/2558.68 c #Conflicts: 1844000 | #Constraints: 51263
2551.66/2558.68 c #Conflicts: 1845000 | #Constraints: 52263
2551.66/2558.68 c #Conflicts: 1846000 | #Constraints: 53263
2551.66/2558.68 c #Conflicts: 1847000 | #Constraints: 54263
2551.66/2558.68 c #Conflicts: 1848000 | #Constraints: 55263
2551.66/2558.68 c #Conflicts: 1849000 | #Constraints: 56263
2551.66/2558.68 c #Conflicts: 1850000 | #Constraints: 57263
2551.66/2558.68 c #Conflicts: 1851000 | #Constraints: 58263
2551.66/2558.68 c #Conflicts: 1852000 | #Constraints: 59263
2551.66/2558.68 c #Conflicts: 1853000 | #Constraints: 60263
2551.66/2558.68 c #Conflicts: 1854000 | #Constraints: 61263
2551.66/2558.68 c INPROCESSING
2551.66/2558.68 c GARBAGE COLLECT
2551.66/2558.68 c #Conflicts: 1855000 | #Constraints: 35268
2551.66/2558.68 c #Conflicts: 1856000 | #Constraints: 36268
2551.66/2558.68 c #Conflicts: 1857000 | #Constraints: 37268
2551.66/2558.68 c #Conflicts: 1858000 | #Constraints: 38268
2551.66/2558.68 c #Conflicts: 1859000 | #Constraints: 39268
2551.66/2558.68 c #Conflicts: 1860000 | #Constraints: 40268
2551.66/2558.68 c #Conflicts: 1861000 | #Constraints: 41268
2551.66/2558.68 c #Conflicts: 1862000 | #Constraints: 42268
2551.66/2558.68 c #Conflicts: 1863000 | #Constraints: 43268
2551.66/2558.68 c #Conflicts: 1864000 | #Constraints: 44268
2551.66/2558.68 c #Conflicts: 1865000 | #Constraints: 45268
2551.66/2558.68 c #Conflicts: 1866000 | #Constraints: 46268
2551.66/2558.68 c #Conflicts: 1867000 | #Constraints: 47268
2551.66/2558.68 c #Conflicts: 1868000 | #Constraints: 48268
2551.66/2558.68 c #Conflicts: 1869000 | #Constraints: 49268
2551.66/2558.68 c #Conflicts: 1870000 | #Constraints: 50268
2551.66/2558.68 c #Conflicts: 1871000 | #Constraints: 51268
2551.66/2558.68 c #Conflicts: 1872000 | #Constraints: 52268
2551.66/2558.68 c #Conflicts: 1873000 | #Constraints: 53268
2551.66/2558.68 c #Conflicts: 1874000 | #Constraints: 54268
2551.66/2558.68 c #Conflicts: 1875000 | #Constraints: 55268
2551.66/2558.68 c #Conflicts: 1876000 | #Constraints: 56268
2551.66/2558.68 c #Conflicts: 1877000 | #Constraints: 57268
2551.66/2558.68 c #Conflicts: 1878000 | #Constraints: 58268
2551.66/2558.68 c #Conflicts: 1879000 | #Constraints: 59268
2551.66/2558.68 c #Conflicts: 1880000 | #Constraints: 60268
2551.66/2558.68 c #Conflicts: 1881000 | #Constraints: 61268
2551.66/2558.68 c INPROCESSING
2551.66/2558.68 c GARBAGE COLLECT
2551.66/2558.68 c #Conflicts: 1882000 | #Constraints: 35062
2551.66/2558.68 c #Conflicts: 1883000 | #Constraints: 36062
2551.66/2558.68 c #Conflicts: 1884000 | #Constraints: 37062
2551.66/2558.68 c #Conflicts: 1885000 | #Constraints: 38062
2551.66/2558.68 c #Conflicts: 1886000 | #Constraints: 39062
2551.66/2558.68 c #Conflicts: 1887000 | #Constraints: 40062
2551.66/2558.68 c #Conflicts: 1888000 | #Constraints: 41062
2654.40/2661.69 c #Conflicts: 1889000 | #Constraints: 42062
2654.40/2661.69 c #Conflicts: 1890000 | #Constraints: 43062
2654.40/2661.69 c #Conflicts: 1891000 | #Constraints: 44062
2654.40/2661.69 c #Conflicts: 1892000 | #Constraints: 45062
2654.40/2661.69 c #Conflicts: 1893000 | #Constraints: 46062
2654.40/2661.69 c #Conflicts: 1894000 | #Constraints: 47062
2654.40/2661.69 c #Conflicts: 1895000 | #Constraints: 48062
2654.40/2661.69 c #Conflicts: 1896000 | #Constraints: 49062
2654.40/2661.69 c #Conflicts: 1897000 | #Constraints: 50062
2654.40/2661.69 c #Conflicts: 1898000 | #Constraints: 51062
2654.40/2661.69 c #Conflicts: 1899000 | #Constraints: 52062
2654.40/2661.69 c #Conflicts: 1900000 | #Constraints: 53062
2654.40/2661.69 c #Conflicts: 1901000 | #Constraints: 54062
2654.40/2661.69 c #Conflicts: 1902000 | #Constraints: 55062
2654.40/2661.69 c #Conflicts: 1903000 | #Constraints: 56062
2654.40/2661.69 c #Conflicts: 1904000 | #Constraints: 57062
2654.40/2661.69 c #Conflicts: 1905000 | #Constraints: 58062
2654.40/2661.69 c #Conflicts: 1906000 | #Constraints: 59062
2654.40/2661.69 c #Conflicts: 1907000 | #Constraints: 60062
2654.40/2661.69 c #Conflicts: 1908000 | #Constraints: 61062
2654.40/2661.69 c #Conflicts: 1909000 | #Constraints: 62062
2654.40/2661.69 c INPROCESSING
2654.40/2661.69 c GARBAGE COLLECT
2654.40/2661.69 c #Conflicts: 1910000 | #Constraints: 35662
2654.40/2661.69 c #Conflicts: 1911000 | #Constraints: 36662
2654.40/2661.69 c #Conflicts: 1912000 | #Constraints: 37662
2654.40/2661.69 c #Conflicts: 1913000 | #Constraints: 38662
2654.40/2661.69 c #Conflicts: 1914000 | #Constraints: 39662
2654.40/2661.69 c #Conflicts: 1915000 | #Constraints: 40662
2654.40/2661.69 c #Conflicts: 1916000 | #Constraints: 41662
2654.40/2661.69 c #Conflicts: 1917000 | #Constraints: 42662
2654.40/2661.69 c #Conflicts: 1918000 | #Constraints: 43662
2654.40/2661.69 c #Conflicts: 1919000 | #Constraints: 44662
2654.40/2661.69 c #Conflicts: 1920000 | #Constraints: 45662
2654.40/2661.69 c #Conflicts: 1921000 | #Constraints: 46662
2654.40/2661.69 c #Conflicts: 1922000 | #Constraints: 47662
2654.40/2661.69 c #Conflicts: 1923000 | #Constraints: 48662
2654.40/2661.69 c #Conflicts: 1924000 | #Constraints: 49662
2654.40/2661.69 c #Conflicts: 1925000 | #Constraints: 50662
2654.40/2661.69 c #Conflicts: 1926000 | #Constraints: 51662
2654.40/2661.69 c #Conflicts: 1927000 | #Constraints: 52662
2654.40/2661.69 c #Conflicts: 1928000 | #Constraints: 53662
2654.40/2661.69 c #Conflicts: 1929000 | #Constraints: 54662
2654.40/2661.69 c #Conflicts: 1930000 | #Constraints: 55662
2654.40/2661.69 c #Conflicts: 1931000 | #Constraints: 56662
2654.40/2661.69 c #Conflicts: 1932000 | #Constraints: 57662
2654.40/2661.69 c #Conflicts: 1933000 | #Constraints: 58662
2654.40/2661.69 c #Conflicts: 1934000 | #Constraints: 59662
2654.40/2661.69 c #Conflicts: 1935000 | #Constraints: 60662
2654.40/2661.69 c #Conflicts: 1936000 | #Constraints: 61662
2654.40/2661.69 c #Conflicts: 1937000 | #Constraints: 62662
2654.40/2661.69 c INPROCESSING
2654.40/2661.69 c GARBAGE COLLECT
2654.40/2661.69 c #Conflicts: 1938000 | #Constraints: 36062
2654.40/2661.69 c #Conflicts: 1939000 | #Constraints: 37062
2654.40/2661.69 c #Conflicts: 1940000 | #Constraints: 38062
2654.40/2661.69 c #Conflicts: 1941000 | #Constraints: 39062
2654.40/2661.69 c #Conflicts: 1942000 | #Constraints: 40062
2654.40/2661.69 c #Conflicts: 1943000 | #Constraints: 41062
2654.40/2661.69 c #Conflicts: 1944000 | #Constraints: 42062
2654.40/2661.69 c #Conflicts: 1945000 | #Constraints: 43062
2654.40/2661.69 c #Conflicts: 1946000 | #Constraints: 44062
2654.40/2661.69 c #Conflicts: 1947000 | #Constraints: 45062
2654.40/2661.69 c #Conflicts: 1948000 | #Constraints: 46062
2654.40/2661.69 c #Conflicts: 1949000 | #Constraints: 47062
2654.40/2661.69 c #Conflicts: 1950000 | #Constraints: 48062
2654.40/2661.69 c #Conflicts: 1951000 | #Constraints: 49062
2654.40/2661.69 c #Conflicts: 1952000 | #Constraints: 50062
2654.40/2661.69 c #Conflicts: 1953000 | #Constraints: 51062
2654.40/2661.69 c #Conflicts: 1954000 | #Constraints: 52062
2654.40/2661.69 c #Conflicts: 1955000 | #Constraints: 53062
2654.40/2661.69 c #Conflicts: 1956000 | #Constraints: 54062
2654.40/2661.69 c #Conflicts: 1957000 | #Constraints: 55062
2654.40/2661.69 c #Conflicts: 1958000 | #Constraints: 56062
2654.40/2661.69 c #Conflicts: 1959000 | #Constraints: 57062
2654.40/2661.69 c #Conflicts: 1960000 | #Constraints: 58062
2654.40/2661.69 c #Conflicts: 1961000 | #Constraints: 59062
2654.40/2661.69 c #Conflicts: 1962000 | #Constraints: 60062
2654.40/2661.69 c #Conflicts: 1963000 | #Constraints: 61062
2654.40/2661.69 c #Conflicts: 1964000 | #Constraints: 62062
2654.40/2661.69 c #Conflicts: 1965000 | #Constraints: 63062
2654.40/2661.69 c INPROCESSING
2654.40/2661.69 c GARBAGE COLLECT
2761.64/2769.14 c #Conflicts: 1966000 | #Constraints: 36269
2761.64/2769.14 c #Conflicts: 1967000 | #Constraints: 37269
2761.64/2769.14 c #Conflicts: 1968000 | #Constraints: 38269
2761.64/2769.14 c #Conflicts: 1969000 | #Constraints: 39269
2761.64/2769.14 c #Conflicts: 1970000 | #Constraints: 40269
2761.64/2769.14 c #Conflicts: 1971000 | #Constraints: 41269
2761.64/2769.14 c #Conflicts: 1972000 | #Constraints: 42269
2761.64/2769.14 c #Conflicts: 1973000 | #Constraints: 43269
2761.64/2769.14 c #Conflicts: 1974000 | #Constraints: 44269
2761.64/2769.14 c #Conflicts: 1975000 | #Constraints: 45269
2761.64/2769.14 c #Conflicts: 1976000 | #Constraints: 46269
2761.64/2769.14 c #Conflicts: 1977000 | #Constraints: 47269
2761.64/2769.14 c #Conflicts: 1978000 | #Constraints: 48269
2761.64/2769.14 c #Conflicts: 1979000 | #Constraints: 49269
2761.64/2769.14 c #Conflicts: 1980000 | #Constraints: 50269
2761.64/2769.14 c #Conflicts: 1981000 | #Constraints: 51269
2761.64/2769.14 c #Conflicts: 1982000 | #Constraints: 52269
2761.64/2769.14 c #Conflicts: 1983000 | #Constraints: 53269
2761.64/2769.14 c #Conflicts: 1984000 | #Constraints: 54269
2761.64/2769.14 c #Conflicts: 1985000 | #Constraints: 55269
2761.64/2769.14 c #Conflicts: 1986000 | #Constraints: 56269
2761.64/2769.14 c #Conflicts: 1987000 | #Constraints: 57269
2761.64/2769.14 c #Conflicts: 1988000 | #Constraints: 58269
2761.64/2769.14 c #Conflicts: 1989000 | #Constraints: 59269
2761.64/2769.14 c #Conflicts: 1990000 | #Constraints: 60269
2761.64/2769.14 c #Conflicts: 1991000 | #Constraints: 61269
2761.64/2769.14 c #Conflicts: 1992000 | #Constraints: 62269
2761.64/2769.14 c #Conflicts: 1993000 | #Constraints: 63269
2761.64/2769.14 c INPROCESSING
2761.64/2769.14 c GARBAGE COLLECT
2761.64/2769.14 c #Conflicts: 1994000 | #Constraints: 36266
2761.64/2769.14 c #Conflicts: 1995000 | #Constraints: 37266
2761.64/2769.14 c #Conflicts: 1996000 | #Constraints: 38266
2761.64/2769.14 c #Conflicts: 1997000 | #Constraints: 39266
2761.64/2769.14 c #Conflicts: 1998000 | #Constraints: 40266
2761.64/2769.14 c #Conflicts: 1999000 | #Constraints: 41266
2761.64/2769.14 c #Conflicts: 2000000 | #Constraints: 42266
2761.64/2769.14 c #Conflicts: 2001000 | #Constraints: 43266
2761.64/2769.14 c #Conflicts: 2002000 | #Constraints: 44266
2761.64/2769.14 c #Conflicts: 2003000 | #Constraints: 45266
2761.64/2769.14 c #Conflicts: 2004000 | #Constraints: 46266
2761.64/2769.14 c #Conflicts: 2005000 | #Constraints: 47266
2761.64/2769.14 c #Conflicts: 2006000 | #Constraints: 48266
2761.64/2769.14 c #Conflicts: 2007000 | #Constraints: 49266
2761.64/2769.14 c #Conflicts: 2008000 | #Constraints: 50266
2761.64/2769.14 c #Conflicts: 2009000 | #Constraints: 51266
2761.64/2769.14 c #Conflicts: 2010000 | #Constraints: 52266
2761.64/2769.14 c #Conflicts: 2011000 | #Constraints: 53266
2761.64/2769.14 c #Conflicts: 2012000 | #Constraints: 54266
2761.64/2769.14 c #Conflicts: 2013000 | #Constraints: 55266
2761.64/2769.14 c #Conflicts: 2014000 | #Constraints: 56266
2761.64/2769.14 c #Conflicts: 2015000 | #Constraints: 57266
2761.64/2769.14 c #Conflicts: 2016000 | #Constraints: 58266
2761.64/2769.14 c #Conflicts: 2017000 | #Constraints: 59266
2761.64/2769.14 c #Conflicts: 2018000 | #Constraints: 60266
2761.64/2769.14 c #Conflicts: 2019000 | #Constraints: 61266
2761.64/2769.14 c #Conflicts: 2020000 | #Constraints: 62266
2761.64/2769.14 c #Conflicts: 2021000 | #Constraints: 63266
2761.64/2769.14 c INPROCESSING
2761.64/2769.14 c GARBAGE COLLECT
2761.64/2769.14 c #Conflicts: 2022000 | #Constraints: 36061
2761.64/2769.14 c #Conflicts: 2023000 | #Constraints: 37061
2761.64/2769.14 c #Conflicts: 2024000 | #Constraints: 38061
2761.64/2769.14 c #Conflicts: 2025000 | #Constraints: 39061
2761.64/2769.14 c #Conflicts: 2026000 | #Constraints: 40061
2761.64/2769.14 c #Conflicts: 2027000 | #Constraints: 41061
2761.64/2769.14 c #Conflicts: 2028000 | #Constraints: 42061
2761.64/2769.14 c #Conflicts: 2029000 | #Constraints: 43061
2761.64/2769.14 c #Conflicts: 2030000 | #Constraints: 44061
2761.64/2769.14 c #Conflicts: 2031000 | #Constraints: 45061
2761.64/2769.14 c #Conflicts: 2032000 | #Constraints: 46061
2761.64/2769.14 c #Conflicts: 2033000 | #Constraints: 47061
2761.64/2769.14 c #Conflicts: 2034000 | #Constraints: 48061
2761.64/2769.14 c #Conflicts: 2035000 | #Constraints: 49061
2761.64/2769.14 c #Conflicts: 2036000 | #Constraints: 50061
2761.64/2769.14 c #Conflicts: 2037000 | #Constraints: 51061
2761.64/2769.14 c #Conflicts: 2038000 | #Constraints: 52061
2761.64/2769.14 c #Conflicts: 2039000 | #Constraints: 53061
2761.64/2769.14 c #Conflicts: 2040000 | #Constraints: 54061
2761.64/2769.14 c #Conflicts: 2041000 | #Constraints: 55061
2761.64/2769.14 c #Conflicts: 2042000 | #Constraints: 56061
2761.64/2769.14 c #Conflicts: 2043000 | #Constraints: 57061
2874.94/2882.70 c #Conflicts: 2044000 | #Constraints: 58061
2874.94/2882.70 c #Conflicts: 2045000 | #Constraints: 59061
2874.94/2882.70 c #Conflicts: 2046000 | #Constraints: 60061
2874.94/2882.70 c #Conflicts: 2047000 | #Constraints: 61061
2874.94/2882.70 c #Conflicts: 2048000 | #Constraints: 62061
2874.94/2882.70 c #Conflicts: 2049000 | #Constraints: 63061
2874.94/2882.70 c #Conflicts: 2050000 | #Constraints: 64061
2874.94/2882.70 c INPROCESSING
2874.94/2882.70 c GARBAGE COLLECT
2874.94/2882.70 c #Conflicts: 2051000 | #Constraints: 36658
2874.94/2882.70 c #Conflicts: 2052000 | #Constraints: 37658
2874.94/2882.70 c #Conflicts: 2053000 | #Constraints: 38658
2874.94/2882.70 c #Conflicts: 2054000 | #Constraints: 39658
2874.94/2882.70 c #Conflicts: 2055000 | #Constraints: 40658
2874.94/2882.70 c #Conflicts: 2056000 | #Constraints: 41658
2874.94/2882.70 c #Conflicts: 2057000 | #Constraints: 42658
2874.94/2882.70 c #Conflicts: 2058000 | #Constraints: 43658
2874.94/2882.70 c #Conflicts: 2059000 | #Constraints: 44658
2874.94/2882.70 c #Conflicts: 2060000 | #Constraints: 45658
2874.94/2882.70 c #Conflicts: 2061000 | #Constraints: 46658
2874.94/2882.70 c #Conflicts: 2062000 | #Constraints: 47658
2874.94/2882.70 c #Conflicts: 2063000 | #Constraints: 48658
2874.94/2882.70 c #Conflicts: 2064000 | #Constraints: 49658
2874.94/2882.70 c #Conflicts: 2065000 | #Constraints: 50658
2874.94/2882.70 c #Conflicts: 2066000 | #Constraints: 51658
2874.94/2882.70 c #Conflicts: 2067000 | #Constraints: 52658
2874.94/2882.70 c #Conflicts: 2068000 | #Constraints: 53658
2874.94/2882.70 c #Conflicts: 2069000 | #Constraints: 54658
2874.94/2882.70 c #Conflicts: 2070000 | #Constraints: 55658
2874.94/2882.70 c #Conflicts: 2071000 | #Constraints: 56658
2874.94/2882.70 c #Conflicts: 2072000 | #Constraints: 57658
2874.94/2882.70 c #Conflicts: 2073000 | #Constraints: 58658
2874.94/2882.70 c #Conflicts: 2074000 | #Constraints: 59658
2874.94/2882.70 c #Conflicts: 2075000 | #Constraints: 60658
2874.94/2882.70 c #Conflicts: 2076000 | #Constraints: 61658
2874.94/2882.70 c #Conflicts: 2077000 | #Constraints: 62658
2874.94/2882.70 c #Conflicts: 2078000 | #Constraints: 63658
2874.94/2882.70 c #Conflicts: 2079000 | #Constraints: 64658
2874.94/2882.70 c INPROCESSING
2874.94/2882.70 c GARBAGE COLLECT
2874.94/2882.70 c #Conflicts: 2080000 | #Constraints: 37061
2874.94/2882.70 c #Conflicts: 2081000 | #Constraints: 38061
2874.94/2882.70 c #Conflicts: 2082000 | #Constraints: 39061
2874.94/2882.70 c #Conflicts: 2083000 | #Constraints: 40061
2874.94/2882.70 c #Conflicts: 2084000 | #Constraints: 41061
2874.94/2882.70 c #Conflicts: 2085000 | #Constraints: 42061
2874.94/2882.70 c #Conflicts: 2086000 | #Constraints: 43061
2874.94/2882.70 c #Conflicts: 2087000 | #Constraints: 44061
2874.94/2882.70 c #Conflicts: 2088000 | #Constraints: 45061
2874.94/2882.70 c #Conflicts: 2089000 | #Constraints: 46061
2874.94/2882.70 c #Conflicts: 2090000 | #Constraints: 47061
2874.94/2882.70 c #Conflicts: 2091000 | #Constraints: 48061
2874.94/2882.70 c #Conflicts: 2092000 | #Constraints: 49061
2874.94/2882.70 c #Conflicts: 2093000 | #Constraints: 50061
2874.94/2882.70 c #Conflicts: 2094000 | #Constraints: 51061
2874.94/2882.70 c #Conflicts: 2095000 | #Constraints: 52061
2874.94/2882.70 c #Conflicts: 2096000 | #Constraints: 53061
2874.94/2882.70 c #Conflicts: 2097000 | #Constraints: 54061
2874.94/2882.70 c #Conflicts: 2098000 | #Constraints: 55061
2874.94/2882.70 c #Conflicts: 2099000 | #Constraints: 56061
2874.94/2882.70 c #Conflicts: 2100000 | #Constraints: 57061
2874.94/2882.70 c #Conflicts: 2101000 | #Constraints: 58061
2874.94/2882.70 c #Conflicts: 2102000 | #Constraints: 59061
2874.94/2882.70 c #Conflicts: 2103000 | #Constraints: 60061
2874.94/2882.70 c #Conflicts: 2104000 | #Constraints: 61061
2874.94/2882.70 c #Conflicts: 2105000 | #Constraints: 62061
2874.94/2882.70 c #Conflicts: 2106000 | #Constraints: 63061
2874.94/2882.70 c #Conflicts: 2107000 | #Constraints: 64061
2874.94/2882.70 c #Conflicts: 2108000 | #Constraints: 65061
2874.94/2882.70 c INPROCESSING
2874.94/2882.70 c GARBAGE COLLECT
2874.94/2882.70 c #Conflicts: 2109000 | #Constraints: 37263
2874.94/2882.70 c #Conflicts: 2110000 | #Constraints: 38263
2874.94/2882.70 c #Conflicts: 2111000 | #Constraints: 39263
2874.94/2882.70 c #Conflicts: 2112000 | #Constraints: 40263
2874.94/2882.70 c #Conflicts: 2113000 | #Constraints: 41263
2874.94/2882.70 c #Conflicts: 2114000 | #Constraints: 42263
2874.94/2882.70 c #Conflicts: 2115000 | #Constraints: 43263
2874.94/2882.70 c #Conflicts: 2116000 | #Constraints: 44263
2874.94/2882.70 c #Conflicts: 2117000 | #Constraints: 45263
2874.94/2882.70 c #Conflicts: 2118000 | #Constraints: 46263
2874.94/2882.70 c #Conflicts: 2119000 | #Constraints: 47263
2874.94/2882.70 c #Conflicts: 2120000 | #Constraints: 48263
2990.74/2998.82 c #Conflicts: 2121000 | #Constraints: 49263
2990.74/2998.82 c #Conflicts: 2122000 | #Constraints: 50263
2990.74/2998.82 c #Conflicts: 2123000 | #Constraints: 51263
2990.74/2998.82 c #Conflicts: 2124000 | #Constraints: 52263
2990.74/2998.82 c #Conflicts: 2125000 | #Constraints: 53263
2990.74/2998.82 c #Conflicts: 2126000 | #Constraints: 54263
2990.74/2998.82 c #Conflicts: 2127000 | #Constraints: 55263
2990.74/2998.82 c #Conflicts: 2128000 | #Constraints: 56263
2990.74/2998.82 c #Conflicts: 2129000 | #Constraints: 57263
2990.74/2998.82 c #Conflicts: 2130000 | #Constraints: 58263
2990.74/2998.82 c #Conflicts: 2131000 | #Constraints: 59263
2990.74/2998.82 c #Conflicts: 2132000 | #Constraints: 60263
2990.74/2998.82 c #Conflicts: 2133000 | #Constraints: 61263
2990.74/2998.82 c #Conflicts: 2134000 | #Constraints: 62263
2990.74/2998.82 c #Conflicts: 2135000 | #Constraints: 63263
2990.74/2998.82 c #Conflicts: 2136000 | #Constraints: 64263
2990.74/2998.82 c #Conflicts: 2137000 | #Constraints: 65263
2990.74/2998.82 c INPROCESSING
2990.74/2998.82 c GARBAGE COLLECT
2990.74/2998.82 c #Conflicts: 2138000 | #Constraints: 37267
2990.74/2998.82 c #Conflicts: 2139000 | #Constraints: 38267
2990.74/2998.82 c #Conflicts: 2140000 | #Constraints: 39267
2990.74/2998.82 c #Conflicts: 2141000 | #Constraints: 40267
2990.74/2998.82 c #Conflicts: 2142000 | #Constraints: 41267
2990.74/2998.82 c #Conflicts: 2143000 | #Constraints: 42267
2990.74/2998.82 c #Conflicts: 2144000 | #Constraints: 43267
2990.74/2998.82 c #Conflicts: 2145000 | #Constraints: 44267
2990.74/2998.82 c #Conflicts: 2146000 | #Constraints: 45267
2990.74/2998.82 c #Conflicts: 2147000 | #Constraints: 46267
2990.74/2998.82 c #Conflicts: 2148000 | #Constraints: 47267
2990.74/2998.82 c #Conflicts: 2149000 | #Constraints: 48267
2990.74/2998.82 c #Conflicts: 2150000 | #Constraints: 49267
2990.74/2998.82 c #Conflicts: 2151000 | #Constraints: 50267
2990.74/2998.82 c #Conflicts: 2152000 | #Constraints: 51267
2990.74/2998.82 c #Conflicts: 2153000 | #Constraints: 52267
2990.74/2998.82 c #Conflicts: 2154000 | #Constraints: 53267
2990.74/2998.82 c #Conflicts: 2155000 | #Constraints: 54267
2990.74/2998.82 c #Conflicts: 2156000 | #Constraints: 55267
2990.74/2998.82 c #Conflicts: 2157000 | #Constraints: 56267
2990.74/2998.82 c #Conflicts: 2158000 | #Constraints: 57267
2990.74/2998.82 c #Conflicts: 2159000 | #Constraints: 58267
2990.74/2998.82 c #Conflicts: 2160000 | #Constraints: 59267
2990.74/2998.82 c #Conflicts: 2161000 | #Constraints: 60267
2990.74/2998.82 c #Conflicts: 2162000 | #Constraints: 61267
2990.74/2998.82 c #Conflicts: 2163000 | #Constraints: 62267
2990.74/2998.82 c #Conflicts: 2164000 | #Constraints: 63267
2990.74/2998.82 c #Conflicts: 2165000 | #Constraints: 64267
2990.74/2998.82 c #Conflicts: 2166000 | #Constraints: 65267
2990.74/2998.82 c INPROCESSING
2990.74/2998.82 c GARBAGE COLLECT
2990.74/2998.82 c #Conflicts: 2167000 | #Constraints: 37068
2990.74/2998.82 c #Conflicts: 2168000 | #Constraints: 38068
2990.74/2998.82 c #Conflicts: 2169000 | #Constraints: 39068
2990.74/2998.82 c #Conflicts: 2170000 | #Constraints: 40068
2990.74/2998.82 c #Conflicts: 2171000 | #Constraints: 41068
2990.74/2998.82 c #Conflicts: 2172000 | #Constraints: 42068
2990.74/2998.82 c #Conflicts: 2173000 | #Constraints: 43068
2990.74/2998.82 c #Conflicts: 2174000 | #Constraints: 44068
2990.74/2998.82 c #Conflicts: 2175000 | #Constraints: 45068
2990.74/2998.82 c #Conflicts: 2176000 | #Constraints: 46068
2990.74/2998.82 c #Conflicts: 2177000 | #Constraints: 47068
2990.74/2998.82 c #Conflicts: 2178000 | #Constraints: 48068
2990.74/2998.82 c #Conflicts: 2179000 | #Constraints: 49068
2990.74/2998.82 c #Conflicts: 2180000 | #Constraints: 50068
2990.74/2998.82 c #Conflicts: 2181000 | #Constraints: 51068
2990.74/2998.82 c #Conflicts: 2182000 | #Constraints: 52068
2990.74/2998.82 c #Conflicts: 2183000 | #Constraints: 53068
2990.74/2998.82 c #Conflicts: 2184000 | #Constraints: 54068
2990.74/2998.82 c #Conflicts: 2185000 | #Constraints: 55068
2990.74/2998.82 c #Conflicts: 2186000 | #Constraints: 56068
2990.74/2998.82 c #Conflicts: 2187000 | #Constraints: 57068
2990.74/2998.82 c #Conflicts: 2188000 | #Constraints: 58068
2990.74/2998.82 c #Conflicts: 2189000 | #Constraints: 59068
2990.74/2998.82 c #Conflicts: 2190000 | #Constraints: 60068
2990.74/2998.82 c #Conflicts: 2191000 | #Constraints: 61068
2990.74/2998.82 c #Conflicts: 2192000 | #Constraints: 62068
2990.74/2998.82 c #Conflicts: 2193000 | #Constraints: 63068
2990.74/2998.82 c #Conflicts: 2194000 | #Constraints: 64068
2990.74/2998.82 c #Conflicts: 2195000 | #Constraints: 65068
2990.74/2998.82 c #Conflicts: 2196000 | #Constraints: 66068
2990.74/2998.82 c INPROCESSING
2990.74/2998.82 c GARBAGE COLLECT
2990.74/2998.82 c #Conflicts: 2197000 | #Constraints: 37668
3106.24/3114.69 c #Conflicts: 2198000 | #Constraints: 38668
3106.24/3114.69 c #Conflicts: 2199000 | #Constraints: 39668
3106.24/3114.69 c #Conflicts: 2200000 | #Constraints: 40668
3106.24/3114.69 c #Conflicts: 2201000 | #Constraints: 41668
3106.24/3114.69 c #Conflicts: 2202000 | #Constraints: 42668
3106.24/3114.69 c #Conflicts: 2203000 | #Constraints: 43668
3106.24/3114.69 c #Conflicts: 2204000 | #Constraints: 44668
3106.24/3114.69 c #Conflicts: 2205000 | #Constraints: 45668
3106.24/3114.69 c #Conflicts: 2206000 | #Constraints: 46668
3106.24/3114.69 c #Conflicts: 2207000 | #Constraints: 47668
3106.24/3114.69 c #Conflicts: 2208000 | #Constraints: 48668
3106.24/3114.69 c #Conflicts: 2209000 | #Constraints: 49668
3106.24/3114.69 c #Conflicts: 2210000 | #Constraints: 50668
3106.24/3114.69 c #Conflicts: 2211000 | #Constraints: 51668
3106.24/3114.69 c #Conflicts: 2212000 | #Constraints: 52668
3106.24/3114.69 c #Conflicts: 2213000 | #Constraints: 53668
3106.24/3114.69 c #Conflicts: 2214000 | #Constraints: 54668
3106.24/3114.69 c #Conflicts: 2215000 | #Constraints: 55668
3106.24/3114.69 c #Conflicts: 2216000 | #Constraints: 56668
3106.24/3114.69 c #Conflicts: 2217000 | #Constraints: 57668
3106.24/3114.69 c #Conflicts: 2218000 | #Constraints: 58668
3106.24/3114.69 c #Conflicts: 2219000 | #Constraints: 59668
3106.24/3114.69 c #Conflicts: 2220000 | #Constraints: 60668
3106.24/3114.69 c #Conflicts: 2221000 | #Constraints: 61668
3106.24/3114.69 c #Conflicts: 2222000 | #Constraints: 62668
3106.24/3114.69 c #Conflicts: 2223000 | #Constraints: 63668
3106.24/3114.69 c #Conflicts: 2224000 | #Constraints: 64668
3106.24/3114.69 c #Conflicts: 2225000 | #Constraints: 65668
3106.24/3114.69 c #Conflicts: 2226000 | #Constraints: 66668
3106.24/3114.69 c INPROCESSING
3106.24/3114.69 c GARBAGE COLLECT
3106.24/3114.69 c #Conflicts: 2227000 | #Constraints: 38071
3106.24/3114.69 c #Conflicts: 2228000 | #Constraints: 39071
3106.24/3114.69 c #Conflicts: 2229000 | #Constraints: 40071
3106.24/3114.69 c #Conflicts: 2230000 | #Constraints: 41071
3106.24/3114.69 c #Conflicts: 2231000 | #Constraints: 42071
3106.24/3114.69 c #Conflicts: 2232000 | #Constraints: 43071
3106.24/3114.69 c #Conflicts: 2233000 | #Constraints: 44071
3106.24/3114.69 c #Conflicts: 2234000 | #Constraints: 45071
3106.24/3114.69 c #Conflicts: 2235000 | #Constraints: 46071
3106.24/3114.69 c #Conflicts: 2236000 | #Constraints: 47071
3106.24/3114.69 c #Conflicts: 2237000 | #Constraints: 48071
3106.24/3114.69 c #Conflicts: 2238000 | #Constraints: 49071
3106.24/3114.69 c #Conflicts: 2239000 | #Constraints: 50071
3106.24/3114.69 c #Conflicts: 2240000 | #Constraints: 51071
3106.24/3114.69 c #Conflicts: 2241000 | #Constraints: 52071
3106.24/3114.69 c #Conflicts: 2242000 | #Constraints: 53071
3106.24/3114.69 c #Conflicts: 2243000 | #Constraints: 54071
3106.24/3114.69 c #Conflicts: 2244000 | #Constraints: 55071
3106.24/3114.69 c #Conflicts: 2245000 | #Constraints: 56071
3106.24/3114.69 c #Conflicts: 2246000 | #Constraints: 57071
3106.24/3114.69 c #Conflicts: 2247000 | #Constraints: 58071
3106.24/3114.69 c #Conflicts: 2248000 | #Constraints: 59071
3106.24/3114.69 c #Conflicts: 2249000 | #Constraints: 60071
3106.24/3114.69 c #Conflicts: 2250000 | #Constraints: 61071
3106.24/3114.69 c #Conflicts: 2251000 | #Constraints: 62071
3106.24/3114.69 c #Conflicts: 2252000 | #Constraints: 63071
3106.24/3114.69 c #Conflicts: 2253000 | #Constraints: 64071
3106.24/3114.69 c #Conflicts: 2254000 | #Constraints: 65071
3106.24/3114.69 c #Conflicts: 2255000 | #Constraints: 66071
3106.24/3114.69 c #Conflicts: 2256000 | #Constraints: 67071
3106.24/3114.69 c INPROCESSING
3106.24/3114.69 c GARBAGE COLLECT
3106.24/3114.69 c #Conflicts: 2257000 | #Constraints: 38272
3106.24/3114.69 c #Conflicts: 2258000 | #Constraints: 39272
3106.24/3114.69 c #Conflicts: 2259000 | #Constraints: 40272
3106.24/3114.69 c #Conflicts: 2260000 | #Constraints: 41272
3106.24/3114.69 c #Conflicts: 2261000 | #Constraints: 42272
3106.24/3114.69 c #Conflicts: 2262000 | #Constraints: 43272
3106.24/3114.69 c #Conflicts: 2263000 | #Constraints: 44272
3106.24/3114.69 c #Conflicts: 2264000 | #Constraints: 45272
3106.24/3114.69 c #Conflicts: 2265000 | #Constraints: 46272
3106.24/3114.69 c #Conflicts: 2266000 | #Constraints: 47272
3106.24/3114.69 c #Conflicts: 2267000 | #Constraints: 48272
3106.24/3114.69 c #Conflicts: 2268000 | #Constraints: 49272
3106.24/3114.69 c #Conflicts: 2269000 | #Constraints: 50272
3106.24/3114.69 c #Conflicts: 2270000 | #Constraints: 51272
3106.24/3114.69 c #Conflicts: 2271000 | #Constraints: 52272
3106.24/3114.69 c #Conflicts: 2272000 | #Constraints: 53272
3106.24/3114.69 c #Conflicts: 2273000 | #Constraints: 54272
3106.24/3114.69 c #Conflicts: 2274000 | #Constraints: 55272
3229.63/3238.39 c #Conflicts: 2275000 | #Constraints: 56272
3229.63/3238.39 c #Conflicts: 2276000 | #Constraints: 57272
3229.63/3238.39 c #Conflicts: 2277000 | #Constraints: 58272
3229.63/3238.39 c #Conflicts: 2278000 | #Constraints: 59272
3229.63/3238.39 c #Conflicts: 2279000 | #Constraints: 60272
3229.63/3238.39 c #Conflicts: 2280000 | #Constraints: 61272
3229.63/3238.39 c #Conflicts: 2281000 | #Constraints: 62272
3229.63/3238.39 c #Conflicts: 2282000 | #Constraints: 63272
3229.63/3238.39 c #Conflicts: 2283000 | #Constraints: 64272
3229.63/3238.39 c #Conflicts: 2284000 | #Constraints: 65272
3229.63/3238.39 c #Conflicts: 2285000 | #Constraints: 66272
3229.63/3238.39 c #Conflicts: 2286000 | #Constraints: 67272
3229.63/3238.39 c INPROCESSING
3229.63/3238.39 c GARBAGE COLLECT
3229.63/3238.39 c #Conflicts: 2287000 | #Constraints: 38273
3229.63/3238.39 c #Conflicts: 2288000 | #Constraints: 39273
3229.63/3238.39 c #Conflicts: 2289000 | #Constraints: 40273
3229.63/3238.39 c #Conflicts: 2290000 | #Constraints: 41273
3229.63/3238.39 c #Conflicts: 2291000 | #Constraints: 42273
3229.63/3238.39 c #Conflicts: 2292000 | #Constraints: 43273
3229.63/3238.39 c #Conflicts: 2293000 | #Constraints: 44273
3229.63/3238.39 c #Conflicts: 2294000 | #Constraints: 45273
3229.63/3238.39 c #Conflicts: 2295000 | #Constraints: 46273
3229.63/3238.39 c #Conflicts: 2296000 | #Constraints: 47273
3229.63/3238.39 c #Conflicts: 2297000 | #Constraints: 48273
3229.63/3238.39 c #Conflicts: 2298000 | #Constraints: 49273
3229.63/3238.39 c #Conflicts: 2299000 | #Constraints: 50273
3229.63/3238.39 c #Conflicts: 2300000 | #Constraints: 51273
3229.63/3238.39 c #Conflicts: 2301000 | #Constraints: 52273
3229.63/3238.39 c #Conflicts: 2302000 | #Constraints: 53273
3229.63/3238.39 c #Conflicts: 2303000 | #Constraints: 54273
3229.63/3238.39 c #Conflicts: 2304000 | #Constraints: 55273
3229.63/3238.39 c #Conflicts: 2305000 | #Constraints: 56273
3229.63/3238.39 c #Conflicts: 2306000 | #Constraints: 57273
3229.63/3238.39 c #Conflicts: 2307000 | #Constraints: 58273
3229.63/3238.39 c #Conflicts: 2308000 | #Constraints: 59273
3229.63/3238.39 c #Conflicts: 2309000 | #Constraints: 60273
3229.63/3238.39 c #Conflicts: 2310000 | #Constraints: 61273
3229.63/3238.39 c #Conflicts: 2311000 | #Constraints: 62273
3229.63/3238.39 c #Conflicts: 2312000 | #Constraints: 63273
3229.63/3238.39 c #Conflicts: 2313000 | #Constraints: 64273
3229.63/3238.39 c #Conflicts: 2314000 | #Constraints: 65273
3229.63/3238.39 c #Conflicts: 2315000 | #Constraints: 66273
3229.63/3238.39 c #Conflicts: 2316000 | #Constraints: 67273
3229.63/3238.39 c INPROCESSING
3229.63/3238.39 c GARBAGE COLLECT
3229.63/3238.39 c #Conflicts: 2317000 | #Constraints: 38078
3229.63/3238.39 c #Conflicts: 2318000 | #Constraints: 39078
3229.63/3238.39 c #Conflicts: 2319000 | #Constraints: 40078
3229.63/3238.39 c #Conflicts: 2320000 | #Constraints: 41078
3229.63/3238.39 c #Conflicts: 2321000 | #Constraints: 42078
3229.63/3238.39 c #Conflicts: 2322000 | #Constraints: 43078
3229.63/3238.39 c #Conflicts: 2323000 | #Constraints: 44078
3229.63/3238.39 c #Conflicts: 2324000 | #Constraints: 45078
3229.63/3238.39 c #Conflicts: 2325000 | #Constraints: 46078
3229.63/3238.39 c #Conflicts: 2326000 | #Constraints: 47078
3229.63/3238.39 c #Conflicts: 2327000 | #Constraints: 48078
3229.63/3238.39 c #Conflicts: 2328000 | #Constraints: 49078
3229.63/3238.39 c #Conflicts: 2329000 | #Constraints: 50078
3229.63/3238.39 c #Conflicts: 2330000 | #Constraints: 51078
3229.63/3238.39 c #Conflicts: 2331000 | #Constraints: 52078
3229.63/3238.39 c #Conflicts: 2332000 | #Constraints: 53078
3229.63/3238.39 c #Conflicts: 2333000 | #Constraints: 54078
3229.63/3238.39 c #Conflicts: 2334000 | #Constraints: 55078
3229.63/3238.39 c #Conflicts: 2335000 | #Constraints: 56078
3229.63/3238.39 c #Conflicts: 2336000 | #Constraints: 57078
3229.63/3238.39 c #Conflicts: 2337000 | #Constraints: 58078
3229.63/3238.39 c #Conflicts: 2338000 | #Constraints: 59078
3229.63/3238.39 c #Conflicts: 2339000 | #Constraints: 60078
3229.63/3238.39 c #Conflicts: 2340000 | #Constraints: 61078
3229.63/3238.39 c #Conflicts: 2341000 | #Constraints: 62078
3229.63/3238.39 c #Conflicts: 2342000 | #Constraints: 63078
3229.63/3238.39 c #Conflicts: 2343000 | #Constraints: 64078
3229.63/3238.39 c #Conflicts: 2344000 | #Constraints: 65078
3229.63/3238.39 c #Conflicts: 2345000 | #Constraints: 66078
3229.63/3238.39 c #Conflicts: 2346000 | #Constraints: 67078
3229.63/3238.39 c #Conflicts: 2347000 | #Constraints: 68078
3229.63/3238.39 c INPROCESSING
3229.63/3238.39 c GARBAGE COLLECT
3229.63/3238.39 c #Conflicts: 2348000 | #Constraints: 38682
3229.63/3238.39 c #Conflicts: 2349000 | #Constraints: 39682
3229.63/3238.39 c #Conflicts: 2350000 | #Constraints: 40682
3229.63/3238.39 c #Conflicts: 2351000 | #Constraints: 41682
3349.42/3358.48 c #Conflicts: 2352000 | #Constraints: 42682
3349.42/3358.48 c #Conflicts: 2353000 | #Constraints: 43682
3349.42/3358.48 c #Conflicts: 2354000 | #Constraints: 44682
3349.42/3358.48 c #Conflicts: 2355000 | #Constraints: 45682
3349.42/3358.48 c #Conflicts: 2356000 | #Constraints: 46682
3349.42/3358.48 c #Conflicts: 2357000 | #Constraints: 47682
3349.42/3358.48 c #Conflicts: 2358000 | #Constraints: 48682
3349.42/3358.48 c #Conflicts: 2359000 | #Constraints: 49682
3349.42/3358.48 c #Conflicts: 2360000 | #Constraints: 50682
3349.42/3358.48 c #Conflicts: 2361000 | #Constraints: 51682
3349.42/3358.48 c #Conflicts: 2362000 | #Constraints: 52682
3349.42/3358.48 c #Conflicts: 2363000 | #Constraints: 53682
3349.42/3358.48 c #Conflicts: 2364000 | #Constraints: 54682
3349.42/3358.48 c #Conflicts: 2365000 | #Constraints: 55682
3349.42/3358.48 c #Conflicts: 2366000 | #Constraints: 56682
3349.42/3358.48 c #Conflicts: 2367000 | #Constraints: 57682
3349.42/3358.48 c #Conflicts: 2368000 | #Constraints: 58682
3349.42/3358.48 c #Conflicts: 2369000 | #Constraints: 59682
3349.42/3358.48 c #Conflicts: 2370000 | #Constraints: 60682
3349.42/3358.48 c #Conflicts: 2371000 | #Constraints: 61682
3349.42/3358.48 c #Conflicts: 2372000 | #Constraints: 62682
3349.42/3358.48 c #Conflicts: 2373000 | #Constraints: 63682
3349.42/3358.48 c #Conflicts: 2374000 | #Constraints: 64682
3349.42/3358.48 c #Conflicts: 2375000 | #Constraints: 65682
3349.42/3358.48 c #Conflicts: 2376000 | #Constraints: 66682
3349.42/3358.48 c #Conflicts: 2377000 | #Constraints: 67682
3349.42/3358.48 c #Conflicts: 2378000 | #Constraints: 68682
3349.42/3358.48 c INPROCESSING
3349.42/3358.48 c GARBAGE COLLECT
3349.42/3358.48 c #Conflicts: 2379000 | #Constraints: 39086
3349.42/3358.48 c #Conflicts: 2380000 | #Constraints: 40086
3349.42/3358.48 c #Conflicts: 2381000 | #Constraints: 41086
3349.42/3358.48 c #Conflicts: 2382000 | #Constraints: 42086
3349.42/3358.48 c #Conflicts: 2383000 | #Constraints: 43086
3349.42/3358.48 c #Conflicts: 2384000 | #Constraints: 44086
3349.42/3358.48 c #Conflicts: 2385000 | #Constraints: 45086
3349.42/3358.48 c #Conflicts: 2386000 | #Constraints: 46086
3349.42/3358.48 c #Conflicts: 2387000 | #Constraints: 47086
3349.42/3358.48 c #Conflicts: 2388000 | #Constraints: 48086
3349.42/3358.48 c #Conflicts: 2389000 | #Constraints: 49086
3349.42/3358.48 c #Conflicts: 2390000 | #Constraints: 50086
3349.42/3358.48 c #Conflicts: 2391000 | #Constraints: 51086
3349.42/3358.48 c #Conflicts: 2392000 | #Constraints: 52086
3349.42/3358.48 c #Conflicts: 2393000 | #Constraints: 53086
3349.42/3358.48 c #Conflicts: 2394000 | #Constraints: 54086
3349.42/3358.48 c #Conflicts: 2395000 | #Constraints: 55086
3349.42/3358.48 c #Conflicts: 2396000 | #Constraints: 56086
3349.42/3358.48 c #Conflicts: 2397000 | #Constraints: 57086
3349.42/3358.48 c #Conflicts: 2398000 | #Constraints: 58086
3349.42/3358.48 c #Conflicts: 2399000 | #Constraints: 59086
3349.42/3358.48 c #Conflicts: 2400000 | #Constraints: 60086
3349.42/3358.48 c #Conflicts: 2401000 | #Constraints: 61086
3349.42/3358.48 c #Conflicts: 2402000 | #Constraints: 62086
3349.42/3358.48 c #Conflicts: 2403000 | #Constraints: 63086
3349.42/3358.48 c #Conflicts: 2404000 | #Constraints: 64086
3349.42/3358.48 c #Conflicts: 2405000 | #Constraints: 65086
3349.42/3358.48 c #Conflicts: 2406000 | #Constraints: 66086
3349.42/3358.48 c #Conflicts: 2407000 | #Constraints: 67086
3349.42/3358.48 c #Conflicts: 2408000 | #Constraints: 68086
3349.42/3358.48 c #Conflicts: 2409000 | #Constraints: 69086
3349.42/3358.48 c INPROCESSING
3349.42/3358.48 c GARBAGE COLLECT
3349.42/3358.48 c #Conflicts: 2410000 | #Constraints: 39281
3349.42/3358.48 c #Conflicts: 2411000 | #Constraints: 40281
3349.42/3358.48 c #Conflicts: 2412000 | #Constraints: 41281
3349.42/3358.48 c #Conflicts: 2413000 | #Constraints: 42281
3349.42/3358.48 c #Conflicts: 2414000 | #Constraints: 43281
3349.42/3358.48 c #Conflicts: 2415000 | #Constraints: 44281
3349.42/3358.48 c #Conflicts: 2416000 | #Constraints: 45281
3349.42/3358.48 c #Conflicts: 2417000 | #Constraints: 46281
3349.42/3358.48 c #Conflicts: 2418000 | #Constraints: 47281
3349.42/3358.48 c #Conflicts: 2419000 | #Constraints: 48281
3349.42/3358.48 c #Conflicts: 2420000 | #Constraints: 49281
3349.42/3358.48 c #Conflicts: 2421000 | #Constraints: 50281
3349.42/3358.48 c #Conflicts: 2422000 | #Constraints: 51281
3349.42/3358.48 c #Conflicts: 2423000 | #Constraints: 52281
3349.42/3358.48 c #Conflicts: 2424000 | #Constraints: 53281
3349.42/3358.48 c #Conflicts: 2425000 | #Constraints: 54281
3349.42/3358.48 c #Conflicts: 2426000 | #Constraints: 55281
3349.42/3358.48 c #Conflicts: 2427000 | #Constraints: 56281
3349.42/3358.48 c #Conflicts: 2428000 | #Constraints: 57281
3471.01/3480.35 c #Conflicts: 2429000 | #Constraints: 58281
3471.01/3480.35 c #Conflicts: 2430000 | #Constraints: 59281
3471.01/3480.35 c #Conflicts: 2431000 | #Constraints: 60281
3471.01/3480.35 c #Conflicts: 2432000 | #Constraints: 61281
3471.01/3480.35 c #Conflicts: 2433000 | #Constraints: 62281
3471.01/3480.35 c #Conflicts: 2434000 | #Constraints: 63281
3471.01/3480.35 c #Conflicts: 2435000 | #Constraints: 64281
3471.01/3480.35 c #Conflicts: 2436000 | #Constraints: 65281
3471.01/3480.35 c #Conflicts: 2437000 | #Constraints: 66281
3471.01/3480.35 c #Conflicts: 2438000 | #Constraints: 67281
3471.01/3480.35 c #Conflicts: 2439000 | #Constraints: 68281
3471.01/3480.35 c #Conflicts: 2440000 | #Constraints: 69281
3471.01/3480.35 c INPROCESSING
3471.01/3480.35 c GARBAGE COLLECT
3471.01/3480.35 c #Conflicts: 2441000 | #Constraints: 39282
3471.01/3480.35 c #Conflicts: 2442000 | #Constraints: 40282
3471.01/3480.35 c #Conflicts: 2443000 | #Constraints: 41282
3471.01/3480.35 c #Conflicts: 2444000 | #Constraints: 42282
3471.01/3480.35 c #Conflicts: 2445000 | #Constraints: 43282
3471.01/3480.35 c #Conflicts: 2446000 | #Constraints: 44282
3471.01/3480.35 c #Conflicts: 2447000 | #Constraints: 45282
3471.01/3480.35 c #Conflicts: 2448000 | #Constraints: 46282
3471.01/3480.35 c #Conflicts: 2449000 | #Constraints: 47282
3471.01/3480.35 c #Conflicts: 2450000 | #Constraints: 48282
3471.01/3480.35 c #Conflicts: 2451000 | #Constraints: 49282
3471.01/3480.35 c #Conflicts: 2452000 | #Constraints: 50282
3471.01/3480.35 c #Conflicts: 2453000 | #Constraints: 51282
3471.01/3480.35 c #Conflicts: 2454000 | #Constraints: 52282
3471.01/3480.35 c #Conflicts: 2455000 | #Constraints: 53282
3471.01/3480.35 c #Conflicts: 2456000 | #Constraints: 54282
3471.01/3480.35 c #Conflicts: 2457000 | #Constraints: 55282
3471.01/3480.35 c #Conflicts: 2458000 | #Constraints: 56282
3471.01/3480.35 c #Conflicts: 2459000 | #Constraints: 57282
3471.01/3480.35 c #Conflicts: 2460000 | #Constraints: 58282
3471.01/3480.35 c #Conflicts: 2461000 | #Constraints: 59282
3471.01/3480.35 c #Conflicts: 2462000 | #Constraints: 60282
3471.01/3480.35 c #Conflicts: 2463000 | #Constraints: 61282
3471.01/3480.35 c #Conflicts: 2464000 | #Constraints: 62282
3471.01/3480.35 c #Conflicts: 2465000 | #Constraints: 63282
3471.01/3480.35 c #Conflicts: 2466000 | #Constraints: 64282
3471.01/3480.35 c #Conflicts: 2467000 | #Constraints: 65282
3471.01/3480.35 c #Conflicts: 2468000 | #Constraints: 66282
3471.01/3480.35 c #Conflicts: 2469000 | #Constraints: 67282
3471.01/3480.35 c #Conflicts: 2470000 | #Constraints: 68282
3471.01/3480.35 c #Conflicts: 2471000 | #Constraints: 69282
3471.01/3480.35 c INPROCESSING
3471.01/3480.35 c GARBAGE COLLECT
3471.01/3480.35 c #Conflicts: 2472000 | #Constraints: 39072
3471.01/3480.35 c #Conflicts: 2473000 | #Constraints: 40072
3471.01/3480.35 c #Conflicts: 2474000 | #Constraints: 41072
3471.01/3480.35 c #Conflicts: 2475000 | #Constraints: 42072
3471.01/3480.35 c #Conflicts: 2476000 | #Constraints: 43072
3471.01/3480.35 c #Conflicts: 2477000 | #Constraints: 44072
3471.01/3480.35 c #Conflicts: 2478000 | #Constraints: 45072
3471.01/3480.35 c #Conflicts: 2479000 | #Constraints: 46072
3471.01/3480.35 c #Conflicts: 2480000 | #Constraints: 47072
3471.01/3480.35 c #Conflicts: 2481000 | #Constraints: 48072
3471.01/3480.35 c #Conflicts: 2482000 | #Constraints: 49072
3471.01/3480.35 c #Conflicts: 2483000 | #Constraints: 50072
3471.01/3480.35 c #Conflicts: 2484000 | #Constraints: 51072
3471.01/3480.35 c #Conflicts: 2485000 | #Constraints: 52072
3471.01/3480.35 c #Conflicts: 2486000 | #Constraints: 53072
3471.01/3480.35 c #Conflicts: 2487000 | #Constraints: 54072
3471.01/3480.35 c #Conflicts: 2488000 | #Constraints: 55072
3471.01/3480.35 c #Conflicts: 2489000 | #Constraints: 56072
3471.01/3480.35 c #Conflicts: 2490000 | #Constraints: 57072
3471.01/3480.35 c #Conflicts: 2491000 | #Constraints: 58072
3471.01/3480.35 c #Conflicts: 2492000 | #Constraints: 59072
3471.01/3480.35 c #Conflicts: 2493000 | #Constraints: 60072
3471.01/3480.35 c #Conflicts: 2494000 | #Constraints: 61072
3471.01/3480.35 c #Conflicts: 2495000 | #Constraints: 62072
3471.01/3480.35 c #Conflicts: 2496000 | #Constraints: 63072
3471.01/3480.35 c #Conflicts: 2497000 | #Constraints: 64072
3471.01/3480.35 c #Conflicts: 2498000 | #Constraints: 65072
3471.01/3480.35 c #Conflicts: 2499000 | #Constraints: 66072
3471.01/3480.35 c #Conflicts: 2500000 | #Constraints: 67072
3471.01/3480.35 c #Conflicts: 2501000 | #Constraints: 68072
3471.01/3480.35 c #Conflicts: 2502000 | #Constraints: 69072
3471.01/3480.35 c #Conflicts: 2503000 | #Constraints: 70072
3471.01/3480.35 c INPROCESSING
3471.01/3480.35 c GARBAGE COLLECT
3471.01/3480.35 c #Conflicts: 2504000 | #Constraints: 39669
3471.01/3480.35 c #Conflicts: 2505000 | #Constraints: 40669
3593.51/3603.18 c #Conflicts: 2506000 | #Constraints: 41669
3593.51/3603.18 c #Conflicts: 2507000 | #Constraints: 42669
3593.51/3603.18 c #Conflicts: 2508000 | #Constraints: 43669
3593.51/3603.18 c #Conflicts: 2509000 | #Constraints: 44669
3593.51/3603.18 c #Conflicts: 2510000 | #Constraints: 45669
3593.51/3603.18 c #Conflicts: 2511000 | #Constraints: 46669
3593.51/3603.18 c #Conflicts: 2512000 | #Constraints: 47669
3593.51/3603.18 c #Conflicts: 2513000 | #Constraints: 48669
3593.51/3603.18 c #Conflicts: 2514000 | #Constraints: 49669
3593.51/3603.18 c #Conflicts: 2515000 | #Constraints: 50669
3593.51/3603.18 c #Conflicts: 2516000 | #Constraints: 51669
3593.51/3603.18 c #Conflicts: 2517000 | #Constraints: 52669
3593.51/3603.18 c #Conflicts: 2518000 | #Constraints: 53669
3593.51/3603.18 c #Conflicts: 2519000 | #Constraints: 54669
3593.51/3603.18 c #Conflicts: 2520000 | #Constraints: 55669
3593.51/3603.18 c #Conflicts: 2521000 | #Constraints: 56669
3593.51/3603.18 c #Conflicts: 2522000 | #Constraints: 57669
3593.51/3603.18 c #Conflicts: 2523000 | #Constraints: 58669
3593.51/3603.18 c #Conflicts: 2524000 | #Constraints: 59669
3593.51/3603.18 c #Conflicts: 2525000 | #Constraints: 60669
3593.51/3603.18 c #Conflicts: 2526000 | #Constraints: 61669
3593.51/3603.18 c #Conflicts: 2527000 | #Constraints: 62669
3593.51/3603.18 c #Conflicts: 2528000 | #Constraints: 63669
3593.51/3603.18 c #Conflicts: 2529000 | #Constraints: 64669
3593.51/3603.18 c #Conflicts: 2530000 | #Constraints: 65669
3593.51/3603.18 c #Conflicts: 2531000 | #Constraints: 66669
3593.51/3603.18 c #Conflicts: 2532000 | #Constraints: 67669
3593.51/3603.18 c #Conflicts: 2533000 | #Constraints: 68669
3593.51/3603.18 c #Conflicts: 2534000 | #Constraints: 69669
3593.51/3603.18 c #Conflicts: 2535000 | #Constraints: 70669
3593.51/3603.18 c INPROCESSING
3593.51/3603.18 c GARBAGE COLLECT
3593.51/3603.18 c #Conflicts: 2536000 | #Constraints: 40070
3593.51/3603.18 c #Conflicts: 2537000 | #Constraints: 41070
3593.51/3603.18 c #Conflicts: 2538000 | #Constraints: 42070
3593.51/3603.18 c #Conflicts: 2539000 | #Constraints: 43070
3593.51/3603.18 c #Conflicts: 2540000 | #Constraints: 44070
3593.51/3603.18 c #Conflicts: 2541000 | #Constraints: 45070
3593.51/3603.18 c #Conflicts: 2542000 | #Constraints: 46070
3593.51/3603.18 c #Conflicts: 2543000 | #Constraints: 47070
3593.51/3603.18 c #Conflicts: 2544000 | #Constraints: 48070
3593.51/3603.18 c #Conflicts: 2545000 | #Constraints: 49070
3593.51/3603.18 c #Conflicts: 2546000 | #Constraints: 50070
3593.51/3603.18 c #Conflicts: 2547000 | #Constraints: 51070
3593.51/3603.18 c #Conflicts: 2548000 | #Constraints: 52070
3593.51/3603.18 c #Conflicts: 2549000 | #Constraints: 53070
3593.51/3603.18 c #Conflicts: 2550000 | #Constraints: 54070
3593.51/3603.18 c #Conflicts: 2551000 | #Constraints: 55070
3593.51/3603.18 c #Conflicts: 2552000 | #Constraints: 56070
3593.51/3603.18 c #Conflicts: 2553000 | #Constraints: 57070
3593.51/3603.18 c #Conflicts: 2554000 | #Constraints: 58070
3593.51/3603.18 c #Conflicts: 2555000 | #Constraints: 59070
3593.51/3603.18 c #Conflicts: 2556000 | #Constraints: 60070
3593.51/3603.18 c #Conflicts: 2557000 | #Constraints: 61070
3593.51/3603.18 c #Conflicts: 2558000 | #Constraints: 62070
3593.51/3603.18 c #Conflicts: 2559000 | #Constraints: 63070
3593.51/3603.18 c #Conflicts: 2560000 | #Constraints: 64070
3593.51/3603.18 c #Conflicts: 2561000 | #Constraints: 65070
3593.51/3603.18 c #Conflicts: 2562000 | #Constraints: 66070
3593.51/3603.18 c #Conflicts: 2563000 | #Constraints: 67070
3593.51/3603.18 c #Conflicts: 2564000 | #Constraints: 68070
3593.51/3603.18 c #Conflicts: 2565000 | #Constraints: 69070
3593.51/3603.18 c #Conflicts: 2566000 | #Constraints: 70070
3593.51/3603.18 c #Conflicts: 2567000 | #Constraints: 71070
3593.51/3603.18 c INPROCESSING
3593.51/3603.18 c GARBAGE COLLECT
3593.51/3603.18 c #Conflicts: 2568000 | #Constraints: 40270
3593.51/3603.18 c #Conflicts: 2569000 | #Constraints: 41270
3593.51/3603.18 c #Conflicts: 2570000 | #Constraints: 42270
3593.51/3603.18 c #Conflicts: 2571000 | #Constraints: 43270
3593.51/3603.18 c #Conflicts: 2572000 | #Constraints: 44270
3593.51/3603.18 c #Conflicts: 2573000 | #Constraints: 45270
3593.51/3603.18 c #Conflicts: 2574000 | #Constraints: 46270
3593.51/3603.18 c #Conflicts: 2575000 | #Constraints: 47270
3593.51/3603.18 c #Conflicts: 2576000 | #Constraints: 48270
3593.51/3603.18 c #Conflicts: 2577000 | #Constraints: 49270
3593.51/3603.18 c #Conflicts: 2578000 | #Constraints: 50270
3593.51/3603.18 c #Conflicts: 2579000 | #Constraints: 51270
3593.51/3603.18 c #Conflicts: 2580000 | #Constraints: 52270
3593.51/3603.18 c #Conflicts: 2581000 | #Constraints: 53270
3593.51/3603.18 c #Conflicts: 2582000 | #Constraints: 54270
3593.51/3603.18 c #Conflicts: 2583000 | #Constraints: 55270
3600.07/3609.70 c #Conflicts: 2584000 | #Constraints: 56270
3600.07/3609.70 c #Conflicts: 2585000 | #Constraints: 57270
3600.07/3609.70 c #Conflicts: 2586000 | #Constraints: 58270
3600.07/3609.70 c #Conflicts: 2587000 | #Constraints: 59270
3600.07/3609.70 c Program interrupted by user.
3600.07/3609.70 c cpu time 3588.21 s
3600.07/3609.70 c deterministic time 60499209340 6.05e+10
3600.07/3609.70 c optimization time 30.9787 s
3600.07/3609.70 c total solve time 3258.24 s
3600.07/3609.70 c core-guided solve time 3258.24 s
3600.07/3609.70 c propagation time 1052.88 s
3600.07/3609.70 c conflict analysis time 2098.86 s
3600.07/3609.70 c propagations 1521634412
3600.07/3609.70 c resolve steps 45079438
3600.07/3609.70 c decisions 3294777
3600.07/3609.70 c conflicts 2587173
3600.07/3609.70 c restarts 4442
3600.07/3609.70 c inprocessing phases 151
3600.07/3609.70 c input clauses 3725
3600.07/3609.70 c input cardinalities 50
3600.07/3609.70 c input general constraints 3676
3600.07/3609.70 c input average constraint length 3.49
3600.07/3609.70 c input average constraint degree 9.54
3600.07/3609.70 c learned clauses 2545133
3600.07/3609.70 c learned cardinalities 29
3600.07/3609.70 c learned general constraints 42010
3600.07/3609.70 c learned average constraint length 159.94
3600.07/3609.70 c learned average constraint degree 199.76
3600.07/3609.70 c watched constraints 20019
3600.07/3609.70 c counting constraints 25667
3600.07/3609.70 c gcd simplifications 1069296
3600.07/3609.70 c detected cardinalities 0
3600.07/3609.70 c weakened non-implied lits 6935074574
3600.07/3609.70 c weakened non-implying lits 14454102
3600.07/3609.70 c original variables 3825
3600.07/3609.70 c clausal propagations 64241274
3600.07/3609.70 c cardinality propagations 1965166
3600.07/3609.70 c watched propagations 68038
3600.07/3609.70 c counting propagations 1452717418
3600.07/3609.70 c watch lookups 10609274467
3600.07/3609.70 c watch backjump lookups 10319344720
3600.07/3609.70 c watch checks 976023484
3600.07/3609.70 c propagation checks 23554482090
3600.07/3609.70 c constraint additions 11987641719
3600.07/3609.70 c trail pops 1527513670
3600.07/3609.70 c formula constraints 7450
3600.07/3609.70 c learned constraints 2587172
3600.07/3609.70 c bound constraints 1
3600.07/3609.70 c core-guided constraints 0
3600.07/3609.70 c encountered formula constraints 41759360
3600.07/3609.70 c encountered learned constraints 3787366
3600.07/3609.70 c encountered bound constraints 2119885
3600.07/3609.70 c encountered core-guided constraints 0
3600.07/3609.70 c LP total time 0 s
3600.07/3609.70 c LP solve time 0 s
3600.07/3609.70 c LP constraints added 0
3600.07/3609.70 c LP constraints removed 0
3600.07/3609.70 c LP pivots internal 0
3600.07/3609.70 c LP pivots root 0
3600.07/3609.70 c LP calls 0
3600.07/3609.70 c LP optimalities 0
3600.07/3609.70 c LP no pivot count 0
3600.07/3609.70 c LP infeasibilities 0
3600.07/3609.70 c LP valid Farkas constraints 0
3600.07/3609.70 c LP learned Farkas constraints 0
3600.07/3609.70 c LP basis resets 0
3600.07/3609.70 c LP cycling count 0
3600.07/3609.70 c LP singular count 0
3600.07/3609.70 c LP no primal count 0
3600.07/3609.70 c LP no farkas count 0
3600.07/3609.70 c LP other issue count 0
3600.07/3609.70 c LP Gomory cuts 0
3600.07/3609.70 c LP learned cuts 0
3600.07/3609.70 c LP deleted cuts 0
3600.07/3609.70 c LP encountered Gomory constraints 0
3600.07/3609.70 c LP encountered Farkas constraints 0
3600.07/3609.70 c LP encountered learned Farkas constraints 0
3600.07/3609.70 c CG auxiliary variables introduced 0
3600.07/3609.70 c CG solutions found 0
3600.07/3609.70 c CG cores constructed 0
3600.07/3609.70 c CG core cardinality constraints returned 0
3600.07/3609.70 c CG unit cores 0
3600.07/3609.70 c CG single cores 0
3600.07/3609.70 c CG blocks removed during cardinality reduction 0
3600.07/3609.70 c CG first core best 0
3600.07/3609.70 c CG decision core best 0
3600.07/3609.70 c CG core reduction tie 0
3600.07/3609.70 c CG core degree average 0.00
3600.07/3609.70 c CG core slack average 0.00
3600.07/3609.70 c CG exhausted 0
3600.07/3609.70 c CG exhaust time 0 s
3600.07/3609.70 c CG trimmed 0
3600.07/3609.70 c CG trim time 0 s
3600.07/3609.70 c CG minimized 0
3600.07/3609.70 c CG minimize time 0 s
3600.07/3609.70 c CG am1 prop time 1.8e-05 s
3600.07/3609.70 c CG # am1s reformulated 0
3600.07/3609.70 c CG lower bound derived from am1s 0
3600.07/3609.70 c CG # clausal cores 0
3600.07/3609.70 c CG # cardinality cores 0
3600.07/3609.70 c CG # pb cores 0
3600.07/3609.70 c CG # pb reforms 0
3600.07/3609.70 c CG # cores discarded because of pb reform 0
3600.07/3609.70 d LOWERBOUND 0
3600.07/3609.70 d NCORES 0
3600.07/3609.70 d NPBCORES 0
3600.07/3609.70 d NPBREFORM 0
3600.07/3609.70 d NTRIMMED 0
3600.07/3609.70 d NEXHAUSTED 0
3600.07/3609.70 d NAM1S 0
3600.07/3609.70 d AM1LB 0
3600.07/3609.70 c [Papilo Statistics]
3600.07/3609.70 c prepro time 0.103472s
3600.07/3609.70 c # tsx applied 0
3600.07/3609.70 c # tsx conflicts 0
3600.07/3609.70 c # bound changes 0
3600.07/3609.70 c # side changes 0
3600.07/3609.70 c # coef changes 0
3600.07/3609.70 c # rounds 1
3600.07/3609.70 c # deted vars 0
3600.07/3609.70 c # deted constrs 0
3600.07/3609.70 c # consecutive rounds of only bound changes 0
3600.07/3609.70 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (61973 MiB free)
memory of node 1: 64510 MiB (63197 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435750-1721170509/watcher-4435750-1721170509 -o /tmp/evaluation-result-4435750-1721170509/solver-4435750-1721170509 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721170521-868471 --watchdog 3760 mixed-bag HOME/instance-4435750-1721170509.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Current StackSize limit: 8192 KiB
Starting watchdog thread
solver pid=868669, runsolver pid=868662
[startup+0.100085 s]*
/proc/loadavg: 3.43 4.05 4.20 7/254 868745
/proc/meminfo: memFree=128133596/131655788 swapFree=131071996/131071996
[pid=868669] ppid=868662 vsize=88504 memory=14140 CPUtime=0.11 cores=1,3
/proc/868669/stat : 868669 (mixed-bag) R 868662 868669 868421 0 -1 4194304 2492 0 0 0 10 1 0 0 20 0 1 0 169207529 90628096 3535 134679101440 4194304 16487941 140723257313440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 48787456 140723257316375 140723257316452 140723257316452 140723257323467 0
/proc/868669/statm: 22126 3535 1730 3002 0 5877 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 88504 KiB
Current children cumulated memory: 14140 KiB
[startup+0.215045 s]*
/proc/loadavg: 3.43 4.05 4.20 8/253 868807
/proc/meminfo: memFree=128111376/131655788 swapFree=131071996/131071996
[pid=868669] ppid=868662 vsize=110288 memory=42116 CPUtime=0.22 cores=1,3
/proc/868669/stat : 868669 (mixed-bag) R 868662 868669 868421 0 -1 4194304 7759 0 0 0 19 3 0 0 20 0 1 0 169207529 112934912 10529 134679101440 4194304 16487941 140723257313440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 48787456 140723257316375 140723257316452 140723257316452 140723257323467 0
/proc/868669/statm: 27572 10529 3760 3002 0 11323 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 110288 KiB
Current children cumulated memory: 42116 KiB
[startup+0.314564 s]*
/proc/loadavg: 3.43 4.05 4.20 7/254 868851
/proc/meminfo: memFree=128099388/131655788 swapFree=131071996/131071996
[pid=868669] ppid=868662 vsize=115204 memory=47508 CPUtime=0.32 cores=1,3
/proc/868669/stat : 868669 (mixed-bag) R 868662 868669 868421 0 -1 4194304 9269 0 0 0 29 3 0 0 20 0 1 0 169207529 117968896 11877 134679101440 4194304 16487941 140723257313440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 48787456 140723257316375 140723257316452 140723257316452 140723257323467 0
/proc/868669/statm: 28801 11877 3760 3002 0 12552 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 115204 KiB
Current children cumulated memory: 47508 KiB
[startup+0.700373 s]
/proc/loadavg: 3.43 4.05 4.20 6/252 868881
/proc/meminfo: memFree=128060936/131655788 swapFree=131071996/131071996
[pid=868669] ppid=868662 vsize=126592 memory=58364 CPUtime=0.69 cores=1,3
/proc/868669/stat : 868669 (mixed-bag) R 868662 868669 868421 0 -1 4194304 12369 0 0 0 65 4 0 0 20 0 1 0 169207529 129630208 14591 134679101440 4194304 16487941 140723257313440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 48787456 140723257316375 140723257316452 140723257316452 140723257323467 0
/proc/868669/statm: 31648 14591 3792 3002 0 15399 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 126592 KiB
Current children cumulated memory: 58364 KiB
[startup+1.50036 s]
/proc/loadavg: 3.43 4.05 4.20 6/252 868881
/proc/meminfo: memFree=127936984/131655788 swapFree=131071996/131071996
[pid=868669] ppid=868662 vsize=164304 memory=83028 CPUtime=1.48 cores=1,3
/proc/868669/stat : 868669 (mixed-bag) R 868662 868669 868421 0 -1 4194304 18471 0 0 0 143 5 0 0 20 0 1 0 169207529 168247296 20757 134679101440 4194304 16487941 140723257313440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 48787456 140723257316375 140723257316452 140723257316452 140723257323467 0
/proc/868669/statm: 41076 20757 3822 3002 0 24827 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 164304 KiB
Current children cumulated memory: 83028 KiB
[startup+3.11359 s]
/proc/loadavg: 3.43 4.05 4.20 6/252 868927
/proc/meminfo: memFree=127546864/131655788 swapFree=131071996/131071996
[pid=868669] ppid=868662 vsize=214248 memory=129716 CPUtime=3.09 cores=1,3
/proc/868669/stat : 868669 (mixed-bag) R 868662 868669 868421 0 -1 4194304 32224 0 0 0 301 8 0 0 20 0 1 0 169207529 219389952 32429 134679101440 4194304 16487941 140723257313440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 48787456 140723257316375 140723257316452 140723257316452 140723257323467 0
/proc/868669/statm: 53562 32429 3998 3002 0 37313 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 214248 KiB
Current children cumulated memory: 129716 KiB
[startup+6.30031 s]
/proc/loadavg: 3.47 4.05 4.20 6/249 868929
/proc/meminfo: memFree=126507372/131655788 swapFree=131071996/131071996
[pid=868669] ppid=868662 vsize=230092 memory=146248 CPUtime=6.27 cores=1,3
/proc/868669/stat : 868669 (mixed-bag) R 868662 868669 868421 0 -1 4194304 37033 0 0 0 618 9 0 0 20 0 1 0 169207529 235614208 36562 134679101440 4194304 16487941 140723257313440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 48787456 140723257316375 140723257316452 140723257316452 140723257323467 0
/proc/868669/statm: 57523 36562 3998 3002 0 41274 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 230092 KiB
Current children cumulated memory: 146248 KiB
[startup+12.7003 s]
/proc/loadavg: 3.52 4.05 4.20 6/249 868929
/proc/meminfo: memFree=126231236/131655788 swapFree=131071996/131071996
[pid=868669] ppid=868662 vsize=230092 memory=146508 CPUtime=12.64 cores=1,3
/proc/868669/stat : 868669 (mixed-bag) R 868662 868669 868421 0 -1 4194304 37082 0 0 0 1255 9 0 0 20 0 1 0 169207529 235614208 36627 134679101440 4194304 16487941 140723257313440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 48787456 140723257316375 140723257316452 140723257316452 140723257323467 0
/proc/868669/statm: 57523 36627 3998 3002 0 41274 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 230092 KiB
Current children cumulated memory: 146508 KiB
[startup+25.5003 s]
/proc/loadavg: 3.70 4.06 4.20 5/249 868978
/proc/meminfo: memFree=125591768/131655788 swapFree=131071996/131071996
[pid=868669] ppid=868662 vsize=233932 memory=147640 CPUtime=25.4 cores=1,3
/proc/868669/stat : 868669 (mixed-bag) R 868662 868669 868421 0 -1 4194304 37357 0 0 0 2531 9 0 0 20 0 1 0 169207529 239546368 36910 134679101440 4194304 16487941 140723257313440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 48787456 140723257316375 140723257316452 140723257316452 140723257323467 0
/proc/868669/statm: 58483 36910 4021 3002 0 42234 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 233932 KiB
Current children cumulated memory: 147640 KiB
[startup+51.1133 s]
/proc/loadavg: 3.86 4.07 4.20 5/249 868981
/proc/meminfo: memFree=124248212/131655788 swapFree=131071996/131071996
[pid=868669] ppid=868662 vsize=294964 memory=188976 CPUtime=50.92 cores=1,3
/proc/868669/stat : 868669 (mixed-bag) R 868662 868669 868421 0 -1 4194304 49368 0 0 0 5079 13 0 0 20 0 1 0 169207529 302043136 47244 134679101440 4194304 16487941 140723257313440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 48787456 140723257316375 140723257316452 140723257316452 140723257323467 0
/proc/868669/statm: 73741 47244 4021 3002 0 57492 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 294964 KiB
Current children cumulated memory: 188976 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.20 5/249 868989
/proc/meminfo: memFree=123115144/131655788 swapFree=131071996/131071996
[pid=868669] ppid=868662 vsize=371476 memory=224520 CPUtime=101.92 cores=1,3
/proc/868669/stat : 868669 (mixed-bag) R 868662 868669 868421 0 -1 4194304 58440 0 0 0 10174 18 0 0 20 0 1 0 169207529 380391424 56130 134679101440 4194304 16487941 140723257313440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 48787456 140723257316375 140723257316452 140723257316452 140723257323467 0
/proc/868669/statm: 92869 56130 4021 3002 0 76620 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 371476 KiB
Current children cumulated memory: 224520 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.19 5/249 869000
/proc/meminfo: memFree=122523656/131655788 swapFree=131071996/131071996
[pid=868669] ppid=868662 vsize=453476 memory=267120 CPUtime=161.71 cores=1,3
/proc/868669/stat : 868669 (mixed-bag) R 868662 868669 868421 0 -1 4194304 69105 0 0 0 16149 22 0 0 20 0 1 0 169207529 464359424 66780 134679101440 4194304 16487941 140723257313440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 48787456 140723257316375 140723257316452 140723257316452 140723257323467 0
/proc/868669/statm: 113369 66780 4021 3002 0 97120 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 453476 KiB
Current children cumulated memory: 267120 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.18 5/251 869181
/proc/meminfo: memFree=122391440/131655788 swapFree=131071996/131071996
[pid=868669] ppid=868662 vsize=510608 memory=293380 CPUtime=221.51 cores=1,3
/proc/868669/stat : 868669 (mixed-bag) R 868662 868669 868421 0 -1 4194304 75676 0 0 0 22127 24 0 0 20 0 1 0 169207529 522862592 73345 134679101440 4194304 16487941 140723257313440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 48787456 140723257316375 140723257316452 140723257316452 140723257323467 0
/proc/868669/statm: 127652 73345 4021 3002 0 111403 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 510608 KiB
Current children cumulated memory: 293380 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.10 4.18 5/251 869191
/proc/meminfo: memFree=122326288/131655788 swapFree=131071996/131071996
[pid=868669] ppid=868662 vsize=564576 memory=322148 CPUtime=281.3 cores=1,3
/proc/868669/stat : 868669 (mixed-bag) R 868662 868669 868421 0 -1 4194304 82837 0 0 0 28104 26 0 0 20 0 1 0 169207529 578125824 80537 134679101440 4194304 16487941 140723257313440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 48787456 140723257316375 140723257316452 140723257316452 140723257323467 0
/proc/868669/statm: 141144 80537 4021 3002 0 124895 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 564576 KiB
Current children cumulated memory: 322148 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.10 4.17 5/246 869219
/proc/meminfo: memFree=122409640/131655788 swapFree=131071996/131071996
[pid=868669] ppid=868662 vsize=492268 memory=271112 CPUtime=341.12 cores=1,3
/proc/868669/stat : 868669 (mixed-bag) R 868662 868669 868421 0 -1 4194304 85332 0 0 0 34070 42 0 0 20 0 1 0 169207529 504082432 67778 134679101440 4194304 16487941 140723257313440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 48787456 140723257316375 140723257316452 140723257316452 140723257323467 0
/proc/868669/statm: 123067 67778 4149 3002 0 106818 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 492268 KiB
Current children cumulated memory: 271112 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.17 5/246 869229
/proc/meminfo: memFree=122249116/131655788 swapFree=131071996/131071996
[pid=868669] ppid=868662 vsize=496688 memory=273568 CPUtime=400.95 cores=1,3
/proc/868669/stat : 868669 (mixed-bag) R 868662 868669 868421 0 -1 4194304 85924 0 0 0 40032 63 0 0 20 0 1 0 169207529 508608512 68392 134679101440 4194304 16487941 140723257313440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 48787456 140723257316375 140723257316452 140723257316452 140723257323467 0
/proc/868669/statm: 124172 68392 4149 3002 0 107923 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 496688 KiB
Current children cumulated memory: 273568 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.12 4.17 5/246 869239
/proc/meminfo: memFree=121984788/131655788 swapFree=131071996/131071996
[pid=868669] ppid=868662 vsize=496688 memory=276144 CPUtime=460.78 cores=1,3
/proc/868669/stat : 868669 (mixed-bag) R 868662 868669 868421 0 -1 4194304 86078 0 0 0 45994 84 0 0 20 0 1 0 169207529 508608512 69036 134679101440 4194304 16487941 140723257313440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 48787456 140723257316375 140723257316452 140723257316452 140723257323467 0
/proc/868669/statm: 124172 69036 4149 3002 0 107923 0
################
# More data... #
################
Current children cumulated memory: 480676 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.20 4.15 5/246 870297
/proc/meminfo: memFree=115009864/131655788 swapFree=131071996/131071996
[pid=868669] ppid=868662 vsize=565332 memory=480708 CPUtime=2914.44 cores=1,3
/proc/868669/stat : 868669 (mixed-bag) R 868662 868669 868421 0 -1 4194304 89884 0 0 0 290482 962 0 0 20 0 1 0 169207529 578899968 120177 134679101440 4194304 16487941 140723257313440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 48787456 140723257316375 140723257316452 140723257316452 140723257323467 0
/proc/868669/statm: 141333 120177 4149 3002 0 125084 0
Current children cumulated CPU time: 2914.44 s
Current children cumulated vsize: 565332 KiB
Current children cumulated memory: 480708 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.17 4.14 5/246 870308
/proc/meminfo: memFree=114935632/131655788 swapFree=131071996/131071996
[pid=868669] ppid=868662 vsize=565332 memory=486852 CPUtime=2974.28 cores=1,3
/proc/868669/stat : 868669 (mixed-bag) R 868662 868669 868421 0 -1 4194304 89944 0 0 0 296447 981 0 0 20 0 1 0 169207529 578899968 121713 134679101440 4194304 16487941 140723257313440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 48787456 140723257316375 140723257316452 140723257316452 140723257323467 0
/proc/868669/statm: 141333 121713 4149 3002 0 125084 0
Current children cumulated CPU time: 2974.28 s
Current children cumulated vsize: 565332 KiB
Current children cumulated memory: 486852 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.17 4.14 5/243 870319
/proc/meminfo: memFree=114785008/131655788 swapFree=131071996/131071996
[pid=868669] ppid=868662 vsize=565332 memory=486852 CPUtime=3034.13 cores=1,3
/proc/868669/stat : 868669 (mixed-bag) R 868662 868669 868421 0 -1 4194304 90005 0 0 0 302412 1001 0 0 20 0 1 0 169207529 578899968 121713 134679101440 4194304 16487941 140723257313440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 48787456 140723257316375 140723257316452 140723257316452 140723257323467 0
/proc/868669/statm: 141333 121713 4149 3002 0 125084 0
Current children cumulated CPU time: 3034.13 s
Current children cumulated vsize: 565332 KiB
Current children cumulated memory: 486852 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.15 4.14 5/243 870329
/proc/meminfo: memFree=114708604/131655788 swapFree=131071996/131071996
[pid=868669] ppid=868662 vsize=565332 memory=486852 CPUtime=3093.98 cores=1,3
/proc/868669/stat : 868669 (mixed-bag) R 868662 868669 868421 0 -1 4194304 90063 0 0 0 308377 1021 0 0 20 0 1 0 169207529 578899968 121713 134679101440 4194304 16487941 140723257313440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 48787456 140723257316375 140723257316452 140723257316452 140723257323467 0
/proc/868669/statm: 141333 121713 4149 3002 0 125084 0
Current children cumulated CPU time: 3093.98 s
Current children cumulated vsize: 565332 KiB
Current children cumulated memory: 486852 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.15 4.14 5/242 870339
/proc/meminfo: memFree=114523932/131655788 swapFree=131071996/131071996
[pid=868669] ppid=868662 vsize=565332 memory=486852 CPUtime=3153.83 cores=1,3
/proc/868669/stat : 868669 (mixed-bag) R 868662 868669 868421 0 -1 4194304 90121 0 0 0 314342 1041 0 0 20 0 1 0 169207529 578899968 121713 134679101440 4194304 16487941 140723257313440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 48787456 140723257316375 140723257316452 140723257316452 140723257323467 0
/proc/868669/statm: 141333 121713 4149 3002 0 125084 0
Current children cumulated CPU time: 3153.83 s
Current children cumulated vsize: 565332 KiB
Current children cumulated memory: 486852 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.13 5/242 870349
/proc/meminfo: memFree=114401664/131655788 swapFree=131071996/131071996
[pid=868669] ppid=868662 vsize=565332 memory=490948 CPUtime=3213.67 cores=1,3
/proc/868669/stat : 868669 (mixed-bag) R 868662 868669 868421 0 -1 4194304 90184 0 0 0 320309 1058 0 0 20 0 1 0 169207529 578899968 122737 134679101440 4194304 16487941 140723257313440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 48787456 140723257316375 140723257316452 140723257316452 140723257323467 0
/proc/868669/statm: 141333 122737 4149 3002 0 125084 0
Current children cumulated CPU time: 3213.67 s
Current children cumulated vsize: 565332 KiB
Current children cumulated memory: 490948 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.13 4.12 5/242 870360
/proc/meminfo: memFree=114287820/131655788 swapFree=131071996/131071996
[pid=868669] ppid=868662 vsize=565332 memory=490948 CPUtime=3273.52 cores=1,3
/proc/868669/stat : 868669 (mixed-bag) R 868662 868669 868421 0 -1 4194304 90247 0 0 0 326274 1078 0 0 20 0 1 0 169207529 578899968 122737 134679101440 4194304 16487941 140723257313440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 48787456 140723257316375 140723257316452 140723257316452 140723257323467 0
/proc/868669/statm: 141333 122737 4149 3002 0 125084 0
Current children cumulated CPU time: 3273.52 s
Current children cumulated vsize: 565332 KiB
Current children cumulated memory: 490948 KiB
[startup+3342.3 s]
/proc/loadavg: 4.21 4.16 4.14 5/245 870375
/proc/meminfo: memFree=114156468/131655788 swapFree=131071996/131071996
[pid=868669] ppid=868662 vsize=565332 memory=490948 CPUtime=3333.36 cores=1,3
/proc/868669/stat : 868669 (mixed-bag) R 868662 868669 868421 0 -1 4194304 90312 0 0 0 332238 1098 0 0 20 0 1 0 169207529 578899968 122737 134679101440 4194304 16487941 140723257313440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 48787456 140723257316375 140723257316452 140723257316452 140723257323467 0
/proc/868669/statm: 141333 122737 4149 3002 0 125084 0
Current children cumulated CPU time: 3333.36 s
Current children cumulated vsize: 565332 KiB
Current children cumulated memory: 490948 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/245 870385
/proc/meminfo: memFree=113971360/131655788 swapFree=131071996/131071996
[pid=868669] ppid=868662 vsize=565332 memory=492996 CPUtime=3393.21 cores=1,3
/proc/868669/stat : 868669 (mixed-bag) R 868662 868669 868421 0 -1 4194304 90378 0 0 0 338204 1117 0 0 20 0 1 0 169207529 578899968 123249 134679101440 4194304 16487941 140723257313440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 48787456 140723257316375 140723257316452 140723257316452 140723257323467 0
/proc/868669/statm: 141333 123249 4149 3002 0 125084 0
Current children cumulated CPU time: 3393.21 s
Current children cumulated vsize: 565332 KiB
Current children cumulated memory: 492996 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.15 4.13 5/245 870396
/proc/meminfo: memFree=113809620/131655788 swapFree=131071996/131071996
[pid=868669] ppid=868662 vsize=565332 memory=492996 CPUtime=3453.06 cores=1,3
/proc/868669/stat : 868669 (mixed-bag) R 868662 868669 868421 0 -1 4194304 90445 0 0 0 344169 1137 0 0 20 0 1 0 169207529 578899968 123249 134679101440 4194304 16487941 140723257313440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 48787456 140723257316375 140723257316452 140723257316452 140723257323467 0
/proc/868669/statm: 141333 123249 4149 3002 0 125084 0
Current children cumulated CPU time: 3453.06 s
Current children cumulated vsize: 565332 KiB
Current children cumulated memory: 492996 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.12 5/245 870406
/proc/meminfo: memFree=113663324/131655788 swapFree=131071996/131071996
[pid=868669] ppid=868662 vsize=565332 memory=492996 CPUtime=3512.9 cores=1,3
/proc/868669/stat : 868669 (mixed-bag) R 868662 868669 868421 0 -1 4194304 90510 0 0 0 350134 1156 0 0 20 0 1 0 169207529 578899968 123249 134679101440 4194304 16487941 140723257313440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 48787456 140723257316375 140723257316452 140723257316452 140723257323467 0
/proc/868669/statm: 141333 123249 4149 3002 0 125084 0
Current children cumulated CPU time: 3512.9 s
Current children cumulated vsize: 565332 KiB
Current children cumulated memory: 492996 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/245 870417
/proc/meminfo: memFree=113234920/131655788 swapFree=131071996/131071996
[pid=868669] ppid=868662 vsize=565332 memory=492996 CPUtime=3572.75 cores=1,3
/proc/868669/stat : 868669 (mixed-bag) R 868662 868669 868421 0 -1 4194304 90578 0 0 0 356097 1178 0 0 20 0 1 0 169207529 578899968 123249 134679101440 4194304 16487941 140723257313440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 48787456 140723257316375 140723257316452 140723257316452 140723257323467 0
/proc/868669/statm: 141333 123249 4149 3002 0 125084 0
Current children cumulated CPU time: 3572.75 s
Current children cumulated vsize: 565332 KiB
Current children cumulated memory: 492996 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.10 4.13 4.12 5/244 870806
/proc/meminfo: memFree=113102380/131655788 swapFree=131071996/131071996
[pid=868669] ppid=868662 vsize=565332 memory=492996 CPUtime=3600.07 cores=1,3
/proc/868669/stat : 868669 (mixed-bag) R 868662 868669 868421 0 -1 4194304 90593 0 0 0 358820 1187 0 0 20 0 1 0 169207529 578899968 123249 134679101440 4194304 16487941 140723257313440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 48787456 140723257316375 140723257316452 140723257316452 140723257323467 0
/proc/868669/statm: 141333 123249 4149 3002 0 125084 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 565332 KiB
Current children cumulated memory: 492996 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.7 s]
# the end of solver process 868669 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.21 s, system=11.8819 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.10 4.13 4.12 5/244 870806
/proc/meminfo: memFree=113102380/131655788 swapFree=131071996/131071996
[pid=868669] ppid=868662 vsize=565332 memory=492996 CPUtime=3600.07 cores=1,3
/proc/868669/stat : 868669 (mixed-bag) R 868662 868669 868421 0 -1 4194304 90593 0 0 0 358820 1187 0 0 20 0 1 0 169207529 578899968 123249 134679101440 4194304 16487941 140723257313440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 48787456 140723257316375 140723257316452 140723257316452 140723257323467 0
/proc/868669/statm: 141333 123249 4149 3002 0 125084 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 565332 KiB
Current children cumulated memory: 492996 KiB
Child status: 0
Real time (s): 3609.7
CPU time (s): 3600.09
CPU user time (s): 3588.21
CPU system time (s): 11.8819
CPU usage (%): 99.7337
Max. virtual memory (cumulated for all children) (KiB): 578884
Max. memory (cumulated for all children) (KiB): 492996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.21
system time used= 11.8819
maximum resident set size= 493728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90616
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= 44
involuntary context switches= 1504
# summary of solver processes directly reported to runsolver:
# pid: 868669
# total CPU time (s): 3600.09
# total CPU user time (s): 3588.21
# total CPU system time (s): 11.8819
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4697 second user time and 35.959 second system time
The end
Begin job on nodeC007 at 2024-07-17 00:55:21
IDJOB=4435750
IDBENCH=158576
IDSOLVER=3066
FILE ID=nodeC007/4435750-1721170509
RUNJOBID= nodeC007-1721170521-868471
SLURM_JOB_ID= 7505804
Free space on /tmp= 723780 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-50.lin.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435750-1721170509/watcher-4435750-1721170509 -o /tmp/evaluation-result-4435750-1721170509/solver-4435750-1721170509 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721170521-868471 --watchdog 3760 mixed-bag HOME/instance-4435750-1721170509.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 11852bf7a05815ba1c78428ce5d4534c
RANDOM SEED=104831722
nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.142
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.130
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.129
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.140
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.644
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.130
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.131
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.130
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128181140 kB
MemAvailable: 129920512 kB
Buffers: 428320 kB
Cached: 2135140 kB
SwapCached: 0 kB
Active: 789488 kB
Inactive: 2113016 kB
Active(anon): 1360 kB
Inactive(anon): 375752 kB
Active(file): 788128 kB
Inactive(file): 1737264 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 67064 kB
Writeback: 20 kB
AnonPages: 339512 kB
Mapped: 107472 kB
Shmem: 37704 kB
KReclaimable: 108024 kB
Slab: 207548 kB
SReclaimable: 108024 kB
SUnreclaim: 99524 kB
KernelStack: 3940 kB
PageTables: 10588 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 681816 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 53792 kB
HardwareCorrupted: 0 kB
AnonHugePages: 212992 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 279368 kB
DirectMap2M: 27936768 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 723720 MiB
End job on nodeC007 at 2024-07-17 01:55:31