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