0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c with Papilo
0.00/0.02 c with SCIP
0.00/0.02 c [STEP] parsing instance
0.10/0.17 c [STEP] preprocessing with Papilo
0.20/0.28 c Papilo could not simplify the problem
0.20/0.28 c [STEP] solving with SCIP
299.34/300.39 c [STEP] preprocessing done, loading into solver
299.43/300.44 c [STEP] solving
299.43/300.44 c #variables 596 #constraints 27931
299.43/300.44 c SMALL=int, LARGE=long long
299.43/300.44 d SCIPUB -31
299.43/300.44 c bounds - >= -595 @ 299.174
299.43/300.44 c stratification level: 0
319.69/320.79 c bounds - >= -115 @ 299.187
319.69/320.79 c bounds - >= -114 @ 299.188
319.69/320.79 c bounds - >= -113 @ 299.188
319.69/320.79 c bounds - >= -112 @ 299.189
319.69/320.79 c bounds - >= -111 @ 299.189
319.69/320.79 c bounds - >= -110 @ 299.189
319.69/320.79 c bounds - >= -109 @ 299.189
319.69/320.79 c bounds - >= -108 @ 299.189
319.69/320.79 c bounds - >= -107 @ 299.19
319.69/320.79 c bounds - >= -106 @ 299.19
319.69/320.79 c bounds - >= -105 @ 299.19
319.69/320.79 c bounds - >= -104 @ 299.19
319.69/320.79 c #Conflicts: 1000 | #Constraints: 29058
319.69/320.79 c #Conflicts: 2000 | #Constraints: 30058
319.69/320.79 c INPROCESSING
319.69/320.79 c GARBAGE COLLECT
319.69/320.79 c #Conflicts: 3000 | #Constraints: 30055
319.69/320.79 c #Conflicts: 4000 | #Constraints: 31055
319.69/320.79 c INPROCESSING
319.69/320.79 c GARBAGE COLLECT
319.69/320.79 c #Conflicts: 5000 | #Constraints: 30461
319.69/320.79 c #Conflicts: 6000 | #Constraints: 31461
319.69/320.79 c INPROCESSING
319.69/320.79 c GARBAGE COLLECT
319.69/320.79 c #Conflicts: 7000 | #Constraints: 30465
319.69/320.79 c #Conflicts: 8000 | #Constraints: 31465
319.69/320.79 c #Conflicts: 9000 | #Constraints: 32465
319.69/320.79 c INPROCESSING
319.69/320.79 c GARBAGE COLLECT
319.69/320.79 c #Conflicts: 10000 | #Constraints: 31170
319.69/320.79 c #Conflicts: 11000 | #Constraints: 32170
319.69/320.79 c #Conflicts: 12000 | #Constraints: 33170
319.69/320.79 c INPROCESSING
319.69/320.79 c GARBAGE COLLECT
319.69/320.79 c #Conflicts: 13000 | #Constraints: 31630
319.69/320.79 c #Conflicts: 14000 | #Constraints: 32630
319.69/320.79 c #Conflicts: 15000 | #Constraints: 33630
319.69/320.79 c INPROCESSING
319.69/320.79 c GARBAGE COLLECT
319.69/320.79 c #Conflicts: 16000 | #Constraints: 31849
319.69/320.79 c #Conflicts: 17000 | #Constraints: 32849
319.69/320.79 c #Conflicts: 18000 | #Constraints: 33849
319.69/320.79 c INPROCESSING
319.69/320.79 c GARBAGE COLLECT
319.69/320.79 c #Conflicts: 19000 | #Constraints: 31870
319.69/320.79 c #Conflicts: 20000 | #Constraints: 32870
319.69/320.79 c #Conflicts: 21000 | #Constraints: 33870
319.69/320.79 c INPROCESSING
319.69/320.79 c GARBAGE COLLECT
319.69/320.79 c #Conflicts: 22000 | #Constraints: 31669
319.69/320.79 c #Conflicts: 23000 | #Constraints: 32669
319.69/320.79 c #Conflicts: 24000 | #Constraints: 33669
319.69/320.79 c #Conflicts: 25000 | #Constraints: 34669
319.69/320.79 c INPROCESSING
319.69/320.79 c GARBAGE COLLECT
319.69/320.79 c #Conflicts: 26000 | #Constraints: 32284
319.69/320.79 c #Conflicts: 27000 | #Constraints: 33284
319.69/320.79 c #Conflicts: 28000 | #Constraints: 34284
319.69/320.79 c #Conflicts: 29000 | #Constraints: 35284
319.69/320.79 c INPROCESSING
319.69/320.79 c GARBAGE COLLECT
319.69/320.79 c #Conflicts: 30000 | #Constraints: 32689
319.69/320.79 c #Conflicts: 31000 | #Constraints: 33689
319.69/320.79 c #Conflicts: 32000 | #Constraints: 34689
319.69/320.79 c #Conflicts: 33000 | #Constraints: 35689
319.69/320.79 c INPROCESSING
319.69/320.79 c GARBAGE COLLECT
319.69/320.79 c #Conflicts: 34000 | #Constraints: 32893
319.69/320.79 c #Conflicts: 35000 | #Constraints: 33893
319.69/320.79 c #Conflicts: 36000 | #Constraints: 34893
319.69/320.79 c #Conflicts: 37000 | #Constraints: 35893
319.69/320.79 c INPROCESSING
319.69/320.79 c GARBAGE COLLECT
319.69/320.79 c #Conflicts: 38000 | #Constraints: 32892
319.69/320.79 c #Conflicts: 39000 | #Constraints: 33892
319.69/320.79 c #Conflicts: 40000 | #Constraints: 34892
319.69/320.79 c #Conflicts: 41000 | #Constraints: 35892
319.69/320.79 c INPROCESSING
319.69/320.79 c GARBAGE COLLECT
319.69/320.79 c #Conflicts: 42000 | #Constraints: 32702
319.69/320.79 c #Conflicts: 43000 | #Constraints: 33702
319.69/320.79 c #Conflicts: 44000 | #Constraints: 34702
319.69/320.79 c #Conflicts: 45000 | #Constraints: 35702
319.69/320.79 c #Conflicts: 46000 | #Constraints: 36702
319.69/320.79 c INPROCESSING
319.69/320.79 c GARBAGE COLLECT
319.69/320.79 c #Conflicts: 47000 | #Constraints: 33309
319.69/320.79 c #Conflicts: 48000 | #Constraints: 34309
319.69/320.79 c #Conflicts: 49000 | #Constraints: 35309
319.69/320.79 c #Conflicts: 50000 | #Constraints: 36309
319.69/320.79 c #Conflicts: 51000 | #Constraints: 37309
319.69/320.79 c INPROCESSING
319.69/320.79 c GARBAGE COLLECT
319.69/320.79 c #Conflicts: 52000 | #Constraints: 33708
319.69/320.79 c #Conflicts: 53000 | #Constraints: 34708
319.69/320.79 c #Conflicts: 54000 | #Constraints: 35708
319.69/320.79 c #Conflicts: 55000 | #Constraints: 36708
319.69/320.79 c #Conflicts: 56000 | #Constraints: 37708
319.69/320.79 c INPROCESSING
319.69/320.79 c GARBAGE COLLECT
319.69/320.79 c #Conflicts: 57000 | #Constraints: 33908
319.69/320.79 c #Conflicts: 58000 | #Constraints: 34908
319.69/320.79 c #Conflicts: 59000 | #Constraints: 35908
319.69/320.79 c #Conflicts: 60000 | #Constraints: 36908
319.69/320.79 c #Conflicts: 61000 | #Constraints: 37908
319.69/320.79 c INPROCESSING
319.69/320.79 c GARBAGE COLLECT
319.69/320.79 c #Conflicts: 62000 | #Constraints: 33919
355.29/356.41 c #Conflicts: 63000 | #Constraints: 34919
355.29/356.41 c #Conflicts: 64000 | #Constraints: 35919
355.29/356.41 c #Conflicts: 65000 | #Constraints: 36919
355.29/356.41 c #Conflicts: 66000 | #Constraints: 37919
355.29/356.41 c INPROCESSING
355.29/356.41 c GARBAGE COLLECT
355.29/356.41 c #Conflicts: 67000 | #Constraints: 33718
355.29/356.41 c #Conflicts: 68000 | #Constraints: 34718
355.29/356.41 c #Conflicts: 69000 | #Constraints: 35718
355.29/356.41 c #Conflicts: 70000 | #Constraints: 36718
355.29/356.41 c #Conflicts: 71000 | #Constraints: 37718
355.29/356.41 c #Conflicts: 72000 | #Constraints: 38718
355.29/356.41 c INPROCESSING
355.29/356.41 c GARBAGE COLLECT
355.29/356.41 c #Conflicts: 73000 | #Constraints: 34306
355.29/356.41 c #Conflicts: 74000 | #Constraints: 35306
355.29/356.41 c #Conflicts: 75000 | #Constraints: 36306
355.29/356.41 c #Conflicts: 76000 | #Constraints: 37306
355.29/356.41 c #Conflicts: 77000 | #Constraints: 38306
355.29/356.41 c #Conflicts: 78000 | #Constraints: 39306
355.29/356.41 c INPROCESSING
355.29/356.41 c GARBAGE COLLECT
355.29/356.41 c #Conflicts: 79000 | #Constraints: 34704
355.29/356.41 c #Conflicts: 80000 | #Constraints: 35704
355.29/356.41 c #Conflicts: 81000 | #Constraints: 36704
355.29/356.41 c #Conflicts: 82000 | #Constraints: 37704
355.29/356.41 c #Conflicts: 83000 | #Constraints: 38704
355.29/356.41 c #Conflicts: 84000 | #Constraints: 39704
355.29/356.41 c INPROCESSING
355.29/356.41 c GARBAGE COLLECT
355.29/356.41 c #Conflicts: 85000 | #Constraints: 34910
355.29/356.41 c #Conflicts: 86000 | #Constraints: 35910
355.29/356.41 c #Conflicts: 87000 | #Constraints: 36910
355.29/356.41 c #Conflicts: 88000 | #Constraints: 37910
355.29/356.41 c #Conflicts: 89000 | #Constraints: 38910
355.29/356.41 c #Conflicts: 90000 | #Constraints: 39910
355.29/356.41 c INPROCESSING
355.29/356.41 c GARBAGE COLLECT
355.29/356.41 c #Conflicts: 91000 | #Constraints: 34914
355.29/356.41 c #Conflicts: 92000 | #Constraints: 35914
355.29/356.41 c #Conflicts: 93000 | #Constraints: 36914
355.29/356.41 c #Conflicts: 94000 | #Constraints: 37914
355.29/356.41 c #Conflicts: 95000 | #Constraints: 38914
355.29/356.41 c #Conflicts: 96000 | #Constraints: 39914
355.29/356.41 c INPROCESSING
355.29/356.41 c GARBAGE COLLECT
355.29/356.41 c #Conflicts: 97000 | #Constraints: 34713
355.29/356.41 c #Conflicts: 98000 | #Constraints: 35713
355.29/356.41 c #Conflicts: 99000 | #Constraints: 36713
355.29/356.41 c #Conflicts: 100000 | #Constraints: 37713
355.29/356.41 c #Conflicts: 101000 | #Constraints: 38713
355.29/356.41 c #Conflicts: 102000 | #Constraints: 39713
355.29/356.41 c #Conflicts: 103000 | #Constraints: 40713
355.29/356.41 c INPROCESSING
355.29/356.41 c GARBAGE COLLECT
355.29/356.41 c #Conflicts: 104000 | #Constraints: 35323
355.29/356.41 c #Conflicts: 105000 | #Constraints: 36323
355.29/356.41 c #Conflicts: 106000 | #Constraints: 37323
355.29/356.41 c #Conflicts: 107000 | #Constraints: 38323
355.29/356.41 c #Conflicts: 108000 | #Constraints: 39323
355.29/356.41 c #Conflicts: 109000 | #Constraints: 40323
355.29/356.41 c #Conflicts: 110000 | #Constraints: 41323
355.29/356.41 c INPROCESSING
355.29/356.41 c GARBAGE COLLECT
355.29/356.41 c #Conflicts: 111000 | #Constraints: 35718
355.29/356.41 c #Conflicts: 112000 | #Constraints: 36718
355.29/356.41 c #Conflicts: 113000 | #Constraints: 37718
355.29/356.41 c #Conflicts: 114000 | #Constraints: 38718
355.29/356.41 c #Conflicts: 115000 | #Constraints: 39718
355.29/356.41 c #Conflicts: 116000 | #Constraints: 40718
355.29/356.41 c #Conflicts: 117000 | #Constraints: 41718
355.29/356.41 c INPROCESSING
355.29/356.41 c GARBAGE COLLECT
355.29/356.41 c #Conflicts: 118000 | #Constraints: 35914
355.29/356.41 c #Conflicts: 119000 | #Constraints: 36914
355.29/356.41 c #Conflicts: 120000 | #Constraints: 37914
355.29/356.41 c #Conflicts: 121000 | #Constraints: 38914
355.29/356.41 c #Conflicts: 122000 | #Constraints: 39914
355.29/356.41 c #Conflicts: 123000 | #Constraints: 40914
355.29/356.41 c #Conflicts: 124000 | #Constraints: 41914
355.29/356.41 c INPROCESSING
355.29/356.41 c GARBAGE COLLECT
355.29/356.41 c #Conflicts: 125000 | #Constraints: 35907
355.29/356.41 c #Conflicts: 126000 | #Constraints: 36907
355.29/356.41 c #Conflicts: 127000 | #Constraints: 37907
355.29/356.41 c #Conflicts: 128000 | #Constraints: 38907
355.29/356.41 c #Conflicts: 129000 | #Constraints: 39907
355.29/356.41 c #Conflicts: 130000 | #Constraints: 40907
355.29/356.41 c #Conflicts: 131000 | #Constraints: 41907
355.29/356.41 c INPROCESSING
355.29/356.41 c GARBAGE COLLECT
355.29/356.41 c #Conflicts: 132000 | #Constraints: 35731
355.29/356.41 c #Conflicts: 133000 | #Constraints: 36731
355.29/356.41 c #Conflicts: 134000 | #Constraints: 37731
402.36/403.68 c #Conflicts: 135000 | #Constraints: 38731
402.36/403.68 c #Conflicts: 136000 | #Constraints: 39731
402.36/403.68 c #Conflicts: 137000 | #Constraints: 40731
402.36/403.68 c #Conflicts: 138000 | #Constraints: 41731
402.36/403.68 c #Conflicts: 139000 | #Constraints: 42731
402.36/403.68 c INPROCESSING
402.36/403.68 c GARBAGE COLLECT
402.36/403.68 c #Conflicts: 140000 | #Constraints: 36336
402.36/403.68 c #Conflicts: 141000 | #Constraints: 37336
402.36/403.68 c #Conflicts: 142000 | #Constraints: 38336
402.36/403.68 c #Conflicts: 143000 | #Constraints: 39336
402.36/403.68 c #Conflicts: 144000 | #Constraints: 40336
402.36/403.68 c #Conflicts: 145000 | #Constraints: 41336
402.36/403.68 c #Conflicts: 146000 | #Constraints: 42336
402.36/403.68 c #Conflicts: 147000 | #Constraints: 43336
402.36/403.68 c INPROCESSING
402.36/403.68 c GARBAGE COLLECT
402.36/403.68 c #Conflicts: 148000 | #Constraints: 36722
402.36/403.68 c #Conflicts: 149000 | #Constraints: 37722
402.36/403.68 c #Conflicts: 150000 | #Constraints: 38722
402.36/403.68 c #Conflicts: 151000 | #Constraints: 39722
402.36/403.68 c #Conflicts: 152000 | #Constraints: 40722
402.36/403.69 c #Conflicts: 153000 | #Constraints: 41722
402.36/403.69 c #Conflicts: 154000 | #Constraints: 42722
402.36/403.69 c #Conflicts: 155000 | #Constraints: 43722
402.36/403.69 c INPROCESSING
402.36/403.69 c GARBAGE COLLECT
402.36/403.69 c #Conflicts: 156000 | #Constraints: 36926
402.36/403.69 c #Conflicts: 157000 | #Constraints: 37926
402.36/403.69 c #Conflicts: 158000 | #Constraints: 38926
402.36/403.69 c #Conflicts: 159000 | #Constraints: 39926
402.36/403.69 c #Conflicts: 160000 | #Constraints: 40926
402.36/403.69 c #Conflicts: 161000 | #Constraints: 41926
402.36/403.69 c #Conflicts: 162000 | #Constraints: 42926
402.36/403.69 c #Conflicts: 163000 | #Constraints: 43926
402.36/403.69 c INPROCESSING
402.36/403.69 c GARBAGE COLLECT
402.36/403.69 c #Conflicts: 164000 | #Constraints: 36922
402.36/403.69 c #Conflicts: 165000 | #Constraints: 37922
402.36/403.69 c #Conflicts: 166000 | #Constraints: 38922
402.36/403.69 c #Conflicts: 167000 | #Constraints: 39922
402.36/403.69 c #Conflicts: 168000 | #Constraints: 40922
402.36/403.69 c #Conflicts: 169000 | #Constraints: 41922
402.36/403.69 c #Conflicts: 170000 | #Constraints: 42922
402.36/403.69 c #Conflicts: 171000 | #Constraints: 43922
402.36/403.69 c INPROCESSING
402.36/403.69 c GARBAGE COLLECT
402.36/403.69 c #Conflicts: 172000 | #Constraints: 36725
402.36/403.69 c #Conflicts: 173000 | #Constraints: 37725
402.36/403.69 c #Conflicts: 174000 | #Constraints: 38725
402.36/403.69 c #Conflicts: 175000 | #Constraints: 39725
402.36/403.69 c #Conflicts: 176000 | #Constraints: 40725
402.36/403.69 c #Conflicts: 177000 | #Constraints: 41725
402.36/403.69 c #Conflicts: 178000 | #Constraints: 42725
402.36/403.69 c #Conflicts: 179000 | #Constraints: 43725
402.36/403.69 c #Conflicts: 180000 | #Constraints: 44725
402.36/403.69 c INPROCESSING
402.36/403.69 c GARBAGE COLLECT
402.36/403.69 c #Conflicts: 181000 | #Constraints: 37321
402.36/403.69 c #Conflicts: 182000 | #Constraints: 38321
402.36/403.69 c #Conflicts: 183000 | #Constraints: 39321
402.36/403.69 c #Conflicts: 184000 | #Constraints: 40321
402.36/403.69 c #Conflicts: 185000 | #Constraints: 41321
402.36/403.69 c #Conflicts: 186000 | #Constraints: 42321
402.36/403.69 c #Conflicts: 187000 | #Constraints: 43321
402.36/403.69 c #Conflicts: 188000 | #Constraints: 44321
402.36/403.69 c #Conflicts: 189000 | #Constraints: 45321
402.36/403.69 c INPROCESSING
402.36/403.69 c GARBAGE COLLECT
402.36/403.69 c #Conflicts: 190000 | #Constraints: 37719
402.36/403.69 c #Conflicts: 191000 | #Constraints: 38719
402.36/403.69 c #Conflicts: 192000 | #Constraints: 39719
402.36/403.69 c #Conflicts: 193000 | #Constraints: 40719
402.36/403.69 c #Conflicts: 194000 | #Constraints: 41719
402.36/403.69 c #Conflicts: 195000 | #Constraints: 42719
402.36/403.69 c #Conflicts: 196000 | #Constraints: 43719
402.36/403.69 c #Conflicts: 197000 | #Constraints: 44719
402.36/403.69 c #Conflicts: 198000 | #Constraints: 45719
402.36/403.69 c INPROCESSING
402.36/403.69 c GARBAGE COLLECT
402.36/403.69 c #Conflicts: 199000 | #Constraints: 37922
402.36/403.69 c #Conflicts: 200000 | #Constraints: 38922
402.36/403.69 c #Conflicts: 201000 | #Constraints: 39922
402.36/403.69 c #Conflicts: 202000 | #Constraints: 40922
402.36/403.69 c #Conflicts: 203000 | #Constraints: 41922
402.36/403.69 c #Conflicts: 204000 | #Constraints: 42922
402.36/403.69 c #Conflicts: 205000 | #Constraints: 43922
402.36/403.69 c #Conflicts: 206000 | #Constraints: 44922
402.36/403.69 c #Conflicts: 207000 | #Constraints: 45922
459.72/461.15 c INPROCESSING
459.72/461.15 c GARBAGE COLLECT
459.72/461.15 c #Conflicts: 208000 | #Constraints: 37921
459.72/461.15 c #Conflicts: 209000 | #Constraints: 38921
459.72/461.15 c #Conflicts: 210000 | #Constraints: 39921
459.72/461.15 c #Conflicts: 211000 | #Constraints: 40921
459.72/461.15 c #Conflicts: 212000 | #Constraints: 41921
459.72/461.15 c #Conflicts: 213000 | #Constraints: 42921
459.72/461.15 c #Conflicts: 214000 | #Constraints: 43921
459.72/461.15 c #Conflicts: 215000 | #Constraints: 44921
459.72/461.15 c #Conflicts: 216000 | #Constraints: 45921
459.72/461.15 c INPROCESSING
459.72/461.15 c GARBAGE COLLECT
459.72/461.15 c #Conflicts: 217000 | #Constraints: 37714
459.72/461.15 c #Conflicts: 218000 | #Constraints: 38714
459.72/461.15 c #Conflicts: 219000 | #Constraints: 39714
459.72/461.15 c #Conflicts: 220000 | #Constraints: 40714
459.72/461.15 c #Conflicts: 221000 | #Constraints: 41714
459.72/461.15 c #Conflicts: 222000 | #Constraints: 42714
459.72/461.15 c #Conflicts: 223000 | #Constraints: 43714
459.72/461.15 c #Conflicts: 224000 | #Constraints: 44714
459.72/461.15 c #Conflicts: 225000 | #Constraints: 45714
459.72/461.15 c #Conflicts: 226000 | #Constraints: 46714
459.72/461.15 c INPROCESSING
459.72/461.15 c GARBAGE COLLECT
459.72/461.15 c #Conflicts: 227000 | #Constraints: 38323
459.72/461.15 c #Conflicts: 228000 | #Constraints: 39323
459.72/461.15 c #Conflicts: 229000 | #Constraints: 40323
459.72/461.15 c #Conflicts: 230000 | #Constraints: 41323
459.72/461.15 c #Conflicts: 231000 | #Constraints: 42323
459.72/461.15 c #Conflicts: 232000 | #Constraints: 43323
459.72/461.15 c #Conflicts: 233000 | #Constraints: 44323
459.72/461.15 c #Conflicts: 234000 | #Constraints: 45323
459.72/461.15 c #Conflicts: 235000 | #Constraints: 46323
459.72/461.15 c #Conflicts: 236000 | #Constraints: 47323
459.72/461.15 c INPROCESSING
459.72/461.15 c GARBAGE COLLECT
459.72/461.15 c #Conflicts: 237000 | #Constraints: 38729
459.72/461.15 c #Conflicts: 238000 | #Constraints: 39729
459.72/461.15 c #Conflicts: 239000 | #Constraints: 40729
459.72/461.15 c #Conflicts: 240000 | #Constraints: 41729
459.72/461.15 c #Conflicts: 241000 | #Constraints: 42729
459.72/461.15 c #Conflicts: 242000 | #Constraints: 43729
459.72/461.15 c #Conflicts: 243000 | #Constraints: 44729
459.72/461.15 c #Conflicts: 244000 | #Constraints: 45729
459.72/461.15 c #Conflicts: 245000 | #Constraints: 46729
459.72/461.15 c #Conflicts: 246000 | #Constraints: 47729
459.72/461.15 c INPROCESSING
459.72/461.15 c GARBAGE COLLECT
459.72/461.15 c #Conflicts: 247000 | #Constraints: 38931
459.72/461.15 c #Conflicts: 248000 | #Constraints: 39931
459.72/461.15 c #Conflicts: 249000 | #Constraints: 40931
459.72/461.15 c #Conflicts: 250000 | #Constraints: 41931
459.72/461.15 c #Conflicts: 251000 | #Constraints: 42931
459.72/461.15 c #Conflicts: 252000 | #Constraints: 43931
459.72/461.15 c #Conflicts: 253000 | #Constraints: 44931
459.72/461.15 c #Conflicts: 254000 | #Constraints: 45931
459.72/461.15 c #Conflicts: 255000 | #Constraints: 46931
459.72/461.15 c #Conflicts: 256000 | #Constraints: 47931
459.72/461.15 c INPROCESSING
459.72/461.15 c GARBAGE COLLECT
459.72/461.15 c #Conflicts: 257000 | #Constraints: 38937
459.72/461.15 c #Conflicts: 258000 | #Constraints: 39937
459.72/461.15 c #Conflicts: 259000 | #Constraints: 40937
459.72/461.15 c #Conflicts: 260000 | #Constraints: 41937
459.72/461.15 c #Conflicts: 261000 | #Constraints: 42937
459.72/461.15 c #Conflicts: 262000 | #Constraints: 43937
459.72/461.15 c #Conflicts: 263000 | #Constraints: 44937
459.72/461.15 c #Conflicts: 264000 | #Constraints: 45937
459.72/461.15 c #Conflicts: 265000 | #Constraints: 46937
459.72/461.15 c #Conflicts: 266000 | #Constraints: 47937
459.72/461.15 c INPROCESSING
459.72/461.15 c GARBAGE COLLECT
459.72/461.15 c #Conflicts: 267000 | #Constraints: 38730
459.72/461.15 c #Conflicts: 268000 | #Constraints: 39730
459.72/461.15 c #Conflicts: 269000 | #Constraints: 40730
459.72/461.15 c #Conflicts: 270000 | #Constraints: 41730
459.72/461.15 c #Conflicts: 271000 | #Constraints: 42730
459.72/461.15 c #Conflicts: 272000 | #Constraints: 43730
459.72/461.15 c #Conflicts: 273000 | #Constraints: 44730
459.72/461.15 c #Conflicts: 274000 | #Constraints: 45730
459.72/461.15 c #Conflicts: 275000 | #Constraints: 46730
459.72/461.15 c #Conflicts: 276000 | #Constraints: 47730
459.72/461.15 c #Conflicts: 277000 | #Constraints: 48730
459.72/461.15 c INPROCESSING
459.72/461.15 c GARBAGE COLLECT
459.72/461.15 c #Conflicts: 278000 | #Constraints: 39346
459.72/461.15 c #Conflicts: 279000 | #Constraints: 40346
459.72/461.15 c #Conflicts: 280000 | #Constraints: 41346
459.72/461.15 c #Conflicts: 281000 | #Constraints: 42346
530.41/532.09 c #Conflicts: 282000 | #Constraints: 43346
530.41/532.09 c #Conflicts: 283000 | #Constraints: 44346
530.41/532.09 c #Conflicts: 284000 | #Constraints: 45346
530.41/532.09 c #Conflicts: 285000 | #Constraints: 46346
530.41/532.09 c #Conflicts: 286000 | #Constraints: 47346
530.41/532.09 c #Conflicts: 287000 | #Constraints: 48346
530.41/532.09 c #Conflicts: 288000 | #Constraints: 49346
530.41/532.09 c INPROCESSING
530.41/532.09 c GARBAGE COLLECT
530.41/532.09 c #Conflicts: 289000 | #Constraints: 39736
530.41/532.09 c #Conflicts: 290000 | #Constraints: 40736
530.41/532.09 c #Conflicts: 291000 | #Constraints: 41736
530.41/532.09 c #Conflicts: 292000 | #Constraints: 42736
530.41/532.09 c #Conflicts: 293000 | #Constraints: 43736
530.41/532.09 c #Conflicts: 294000 | #Constraints: 44736
530.41/532.09 c #Conflicts: 295000 | #Constraints: 45736
530.41/532.09 c #Conflicts: 296000 | #Constraints: 46736
530.41/532.09 c #Conflicts: 297000 | #Constraints: 47736
530.41/532.09 c #Conflicts: 298000 | #Constraints: 48736
530.41/532.09 c #Conflicts: 299000 | #Constraints: 49736
530.41/532.09 c INPROCESSING
530.41/532.09 c GARBAGE COLLECT
530.41/532.09 c #Conflicts: 300000 | #Constraints: 39923
530.41/532.09 c #Conflicts: 301000 | #Constraints: 40923
530.41/532.09 c #Conflicts: 302000 | #Constraints: 41923
530.41/532.09 c #Conflicts: 303000 | #Constraints: 42923
530.41/532.09 c #Conflicts: 304000 | #Constraints: 43923
530.41/532.09 c #Conflicts: 305000 | #Constraints: 44923
530.41/532.09 c #Conflicts: 306000 | #Constraints: 45923
530.41/532.09 c #Conflicts: 307000 | #Constraints: 46923
530.41/532.09 c #Conflicts: 308000 | #Constraints: 47923
530.41/532.09 c #Conflicts: 309000 | #Constraints: 48923
530.41/532.09 c #Conflicts: 310000 | #Constraints: 49923
530.41/532.09 c INPROCESSING
530.41/532.09 c GARBAGE COLLECT
530.41/532.09 c #Conflicts: 311000 | #Constraints: 39916
530.41/532.09 c #Conflicts: 312000 | #Constraints: 40916
530.41/532.09 c #Conflicts: 313000 | #Constraints: 41916
530.41/532.09 c #Conflicts: 314000 | #Constraints: 42916
530.41/532.09 c #Conflicts: 315000 | #Constraints: 43916
530.41/532.09 c #Conflicts: 316000 | #Constraints: 44916
530.41/532.09 c #Conflicts: 317000 | #Constraints: 45916
530.41/532.09 c #Conflicts: 318000 | #Constraints: 46916
530.41/532.09 c #Conflicts: 319000 | #Constraints: 47916
530.41/532.09 c #Conflicts: 320000 | #Constraints: 48916
530.41/532.09 c #Conflicts: 321000 | #Constraints: 49916
530.41/532.09 c INPROCESSING
530.41/532.09 c GARBAGE COLLECT
530.41/532.09 c #Conflicts: 322000 | #Constraints: 39725
530.41/532.09 c #Conflicts: 323000 | #Constraints: 40725
530.41/532.09 c #Conflicts: 324000 | #Constraints: 41725
530.41/532.09 c #Conflicts: 325000 | #Constraints: 42725
530.41/532.09 c #Conflicts: 326000 | #Constraints: 43725
530.41/532.09 c #Conflicts: 327000 | #Constraints: 44725
530.41/532.09 c #Conflicts: 328000 | #Constraints: 45725
530.41/532.09 c #Conflicts: 329000 | #Constraints: 46725
530.41/532.09 c #Conflicts: 330000 | #Constraints: 47725
530.41/532.09 c #Conflicts: 331000 | #Constraints: 48725
530.41/532.09 c #Conflicts: 332000 | #Constraints: 49725
530.41/532.09 c #Conflicts: 333000 | #Constraints: 50725
530.41/532.09 c INPROCESSING
530.41/532.09 c GARBAGE COLLECT
530.41/532.09 c #Conflicts: 334000 | #Constraints: 40323
530.41/532.09 c #Conflicts: 335000 | #Constraints: 41323
530.41/532.09 c #Conflicts: 336000 | #Constraints: 42323
530.41/532.09 c #Conflicts: 337000 | #Constraints: 43323
530.41/532.09 c #Conflicts: 338000 | #Constraints: 44323
530.41/532.09 c #Conflicts: 339000 | #Constraints: 45323
530.41/532.09 c #Conflicts: 340000 | #Constraints: 46323
530.41/532.09 c #Conflicts: 341000 | #Constraints: 47323
530.41/532.09 c #Conflicts: 342000 | #Constraints: 48323
530.41/532.09 c #Conflicts: 343000 | #Constraints: 49323
530.41/532.09 c #Conflicts: 344000 | #Constraints: 50323
530.41/532.09 c #Conflicts: 345000 | #Constraints: 51323
530.41/532.09 c INPROCESSING
530.41/532.09 c GARBAGE COLLECT
530.41/532.09 c #Conflicts: 346000 | #Constraints: 40722
530.41/532.09 c #Conflicts: 347000 | #Constraints: 41722
530.41/532.09 c #Conflicts: 348000 | #Constraints: 42722
530.41/532.09 c #Conflicts: 349000 | #Constraints: 43722
530.41/532.09 c #Conflicts: 350000 | #Constraints: 44722
530.41/532.09 c #Conflicts: 351000 | #Constraints: 45722
530.41/532.09 c #Conflicts: 352000 | #Constraints: 46722
530.41/532.09 c #Conflicts: 353000 | #Constraints: 47722
530.41/532.09 c #Conflicts: 354000 | #Constraints: 48722
530.41/532.09 c #Conflicts: 355000 | #Constraints: 49722
530.41/532.09 c #Conflicts: 356000 | #Constraints: 50722
603.98/605.88 c #Conflicts: 357000 | #Constraints: 51722
603.98/605.88 c INPROCESSING
603.98/605.88 c GARBAGE COLLECT
603.98/605.88 c #Conflicts: 358000 | #Constraints: 40924
603.98/605.88 c #Conflicts: 359000 | #Constraints: 41924
603.98/605.88 c #Conflicts: 360000 | #Constraints: 42924
603.98/605.88 c #Conflicts: 361000 | #Constraints: 43924
603.98/605.88 c #Conflicts: 362000 | #Constraints: 44924
603.98/605.88 c #Conflicts: 363000 | #Constraints: 45924
603.98/605.88 c #Conflicts: 364000 | #Constraints: 46924
603.98/605.88 c #Conflicts: 365000 | #Constraints: 47924
603.98/605.88 c #Conflicts: 366000 | #Constraints: 48924
603.98/605.88 c #Conflicts: 367000 | #Constraints: 49924
603.98/605.88 c #Conflicts: 368000 | #Constraints: 50924
603.98/605.88 c #Conflicts: 369000 | #Constraints: 51924
603.98/605.88 c INPROCESSING
603.98/605.88 c GARBAGE COLLECT
603.98/605.88 c #Conflicts: 370000 | #Constraints: 40917
603.98/605.88 c #Conflicts: 371000 | #Constraints: 41917
603.98/605.88 c #Conflicts: 372000 | #Constraints: 42917
603.98/605.88 c #Conflicts: 373000 | #Constraints: 43917
603.98/605.88 c #Conflicts: 374000 | #Constraints: 44917
603.98/605.88 c #Conflicts: 375000 | #Constraints: 45917
603.98/605.88 c #Conflicts: 376000 | #Constraints: 46917
603.98/605.88 c #Conflicts: 377000 | #Constraints: 47917
603.98/605.88 c #Conflicts: 378000 | #Constraints: 48917
603.98/605.88 c #Conflicts: 379000 | #Constraints: 49917
603.98/605.88 c #Conflicts: 380000 | #Constraints: 50917
603.98/605.88 c #Conflicts: 381000 | #Constraints: 51917
603.98/605.88 c INPROCESSING
603.98/605.88 c GARBAGE COLLECT
603.98/605.88 c #Conflicts: 382000 | #Constraints: 40725
603.98/605.88 c #Conflicts: 383000 | #Constraints: 41725
603.98/605.88 c #Conflicts: 384000 | #Constraints: 42725
603.98/605.88 c #Conflicts: 385000 | #Constraints: 43725
603.98/605.88 c #Conflicts: 386000 | #Constraints: 44725
603.98/605.88 c #Conflicts: 387000 | #Constraints: 45725
603.98/605.88 c #Conflicts: 388000 | #Constraints: 46725
603.98/605.88 c #Conflicts: 389000 | #Constraints: 47725
603.98/605.88 c #Conflicts: 390000 | #Constraints: 48725
603.98/605.88 c #Conflicts: 391000 | #Constraints: 49725
603.98/605.88 c #Conflicts: 392000 | #Constraints: 50725
603.98/605.88 c #Conflicts: 393000 | #Constraints: 51725
603.98/605.88 c #Conflicts: 394000 | #Constraints: 52725
603.98/605.88 c INPROCESSING
603.98/605.88 c GARBAGE COLLECT
603.98/605.88 c #Conflicts: 395000 | #Constraints: 41335
603.98/605.88 c #Conflicts: 396000 | #Constraints: 42335
603.98/605.88 c #Conflicts: 397000 | #Constraints: 43335
603.98/605.88 c #Conflicts: 398000 | #Constraints: 44335
603.98/605.88 c #Conflicts: 399000 | #Constraints: 45335
603.98/605.88 c #Conflicts: 400000 | #Constraints: 46335
603.98/605.88 c #Conflicts: 401000 | #Constraints: 47335
603.98/605.88 c #Conflicts: 402000 | #Constraints: 48335
603.98/605.88 c #Conflicts: 403000 | #Constraints: 49335
603.98/605.88 c #Conflicts: 404000 | #Constraints: 50335
603.98/605.88 c #Conflicts: 405000 | #Constraints: 51335
603.98/605.88 c #Conflicts: 406000 | #Constraints: 52335
603.98/605.88 c #Conflicts: 407000 | #Constraints: 53335
603.98/605.88 c INPROCESSING
603.98/605.88 c GARBAGE COLLECT
603.98/605.88 c #Conflicts: 408000 | #Constraints: 41722
603.98/605.88 c #Conflicts: 409000 | #Constraints: 42722
603.98/605.88 c #Conflicts: 410000 | #Constraints: 43722
603.98/605.88 c #Conflicts: 411000 | #Constraints: 44722
603.98/605.88 c #Conflicts: 412000 | #Constraints: 45722
603.98/605.88 c #Conflicts: 413000 | #Constraints: 46722
603.98/605.88 c #Conflicts: 414000 | #Constraints: 47722
603.98/605.88 c #Conflicts: 415000 | #Constraints: 48722
603.98/605.88 c #Conflicts: 416000 | #Constraints: 49722
603.98/605.88 c #Conflicts: 417000 | #Constraints: 50722
603.98/605.88 c #Conflicts: 418000 | #Constraints: 51722
603.98/605.88 c #Conflicts: 419000 | #Constraints: 52722
603.98/605.88 c #Conflicts: 420000 | #Constraints: 53722
603.98/605.88 c INPROCESSING
603.98/605.88 c GARBAGE COLLECT
603.98/605.88 c #Conflicts: 421000 | #Constraints: 41921
603.98/605.88 c #Conflicts: 422000 | #Constraints: 42921
603.98/605.88 c #Conflicts: 423000 | #Constraints: 43921
603.98/605.88 c #Conflicts: 424000 | #Constraints: 44921
603.98/605.88 c #Conflicts: 425000 | #Constraints: 45921
603.98/605.88 c #Conflicts: 426000 | #Constraints: 46921
603.98/605.88 c #Conflicts: 427000 | #Constraints: 47921
603.98/605.88 c #Conflicts: 428000 | #Constraints: 48921
603.98/605.88 c #Conflicts: 429000 | #Constraints: 49921
603.98/605.88 c #Conflicts: 430000 | #Constraints: 50921
603.98/605.88 c #Conflicts: 431000 | #Constraints: 51921
683.54/685.63 c #Conflicts: 432000 | #Constraints: 52921
683.54/685.63 c #Conflicts: 433000 | #Constraints: 53921
683.54/685.63 c INPROCESSING
683.54/685.63 c GARBAGE COLLECT
683.54/685.63 c #Conflicts: 434000 | #Constraints: 41936
683.54/685.63 c #Conflicts: 435000 | #Constraints: 42936
683.54/685.63 c #Conflicts: 436000 | #Constraints: 43936
683.54/685.63 c #Conflicts: 437000 | #Constraints: 44936
683.54/685.63 c #Conflicts: 438000 | #Constraints: 45936
683.54/685.63 c #Conflicts: 439000 | #Constraints: 46936
683.54/685.63 c #Conflicts: 440000 | #Constraints: 47936
683.54/685.63 c #Conflicts: 441000 | #Constraints: 48936
683.54/685.63 c #Conflicts: 442000 | #Constraints: 49936
683.54/685.63 c #Conflicts: 443000 | #Constraints: 50936
683.54/685.63 c #Conflicts: 444000 | #Constraints: 51936
683.54/685.63 c #Conflicts: 445000 | #Constraints: 52936
683.54/685.63 c #Conflicts: 446000 | #Constraints: 53936
683.54/685.63 c INPROCESSING
683.54/685.63 c GARBAGE COLLECT
683.54/685.63 c #Conflicts: 447000 | #Constraints: 41734
683.54/685.63 c #Conflicts: 448000 | #Constraints: 42734
683.54/685.63 c #Conflicts: 449000 | #Constraints: 43734
683.54/685.63 c #Conflicts: 450000 | #Constraints: 44734
683.54/685.63 c #Conflicts: 451000 | #Constraints: 45734
683.54/685.63 c #Conflicts: 452000 | #Constraints: 46734
683.54/685.63 c #Conflicts: 453000 | #Constraints: 47734
683.54/685.63 c #Conflicts: 454000 | #Constraints: 48734
683.54/685.63 c #Conflicts: 455000 | #Constraints: 49734
683.54/685.63 c #Conflicts: 456000 | #Constraints: 50734
683.54/685.63 c #Conflicts: 457000 | #Constraints: 51734
683.54/685.63 c #Conflicts: 458000 | #Constraints: 52734
683.54/685.63 c #Conflicts: 459000 | #Constraints: 53734
683.54/685.63 c #Conflicts: 460000 | #Constraints: 54734
683.54/685.63 c INPROCESSING
683.54/685.63 c GARBAGE COLLECT
683.54/685.63 c #Conflicts: 461000 | #Constraints: 42337
683.54/685.63 c #Conflicts: 462000 | #Constraints: 43337
683.54/685.63 c #Conflicts: 463000 | #Constraints: 44337
683.54/685.63 c #Conflicts: 464000 | #Constraints: 45337
683.54/685.63 c #Conflicts: 465000 | #Constraints: 46337
683.54/685.63 c #Conflicts: 466000 | #Constraints: 47337
683.54/685.63 c #Conflicts: 467000 | #Constraints: 48337
683.54/685.63 c #Conflicts: 468000 | #Constraints: 49337
683.54/685.63 c #Conflicts: 469000 | #Constraints: 50337
683.54/685.63 c #Conflicts: 470000 | #Constraints: 51337
683.54/685.63 c #Conflicts: 471000 | #Constraints: 52337
683.54/685.63 c #Conflicts: 472000 | #Constraints: 53337
683.54/685.63 c #Conflicts: 473000 | #Constraints: 54337
683.54/685.63 c #Conflicts: 474000 | #Constraints: 55337
683.54/685.63 c INPROCESSING
683.54/685.63 c GARBAGE COLLECT
683.54/685.63 c #Conflicts: 475000 | #Constraints: 42744
683.54/685.63 c #Conflicts: 476000 | #Constraints: 43744
683.54/685.63 c #Conflicts: 477000 | #Constraints: 44744
683.54/685.63 c #Conflicts: 478000 | #Constraints: 45744
683.54/685.63 c #Conflicts: 479000 | #Constraints: 46744
683.54/685.63 c #Conflicts: 480000 | #Constraints: 47744
683.54/685.63 c #Conflicts: 481000 | #Constraints: 48744
683.54/685.63 c #Conflicts: 482000 | #Constraints: 49744
683.54/685.63 c #Conflicts: 483000 | #Constraints: 50744
683.54/685.63 c #Conflicts: 484000 | #Constraints: 51744
683.54/685.63 c #Conflicts: 485000 | #Constraints: 52744
683.54/685.63 c #Conflicts: 486000 | #Constraints: 53744
683.54/685.63 c #Conflicts: 487000 | #Constraints: 54744
683.54/685.63 c #Conflicts: 488000 | #Constraints: 55744
683.54/685.63 c INPROCESSING
683.54/685.63 c GARBAGE COLLECT
683.54/685.63 c #Conflicts: 489000 | #Constraints: 42944
683.54/685.63 c #Conflicts: 490000 | #Constraints: 43944
683.54/685.63 c #Conflicts: 491000 | #Constraints: 44944
683.54/685.63 c #Conflicts: 492000 | #Constraints: 45944
683.54/685.63 c #Conflicts: 493000 | #Constraints: 46944
683.54/685.63 c #Conflicts: 494000 | #Constraints: 47944
683.54/685.63 c #Conflicts: 495000 | #Constraints: 48944
683.54/685.63 c #Conflicts: 496000 | #Constraints: 49944
683.54/685.63 c #Conflicts: 497000 | #Constraints: 50944
683.54/685.63 c #Conflicts: 498000 | #Constraints: 51944
683.54/685.63 c #Conflicts: 499000 | #Constraints: 52944
683.54/685.63 c #Conflicts: 500000 | #Constraints: 53944
683.54/685.63 c #Conflicts: 501000 | #Constraints: 54944
683.54/685.63 c #Conflicts: 502000 | #Constraints: 55944
683.54/685.63 c INPROCESSING
683.54/685.63 c GARBAGE COLLECT
683.54/685.63 c #Conflicts: 503000 | #Constraints: 42947
683.54/685.63 c #Conflicts: 504000 | #Constraints: 43947
683.54/685.63 c #Conflicts: 505000 | #Constraints: 44947
683.54/685.63 c #Conflicts: 506000 | #Constraints: 45947
780.25/782.63 c #Conflicts: 507000 | #Constraints: 46947
780.25/782.63 c #Conflicts: 508000 | #Constraints: 47947
780.25/782.63 c #Conflicts: 509000 | #Constraints: 48947
780.25/782.63 c #Conflicts: 510000 | #Constraints: 49947
780.25/782.63 c #Conflicts: 511000 | #Constraints: 50947
780.25/782.63 c #Conflicts: 512000 | #Constraints: 51947
780.25/782.63 c #Conflicts: 513000 | #Constraints: 52947
780.25/782.63 c #Conflicts: 514000 | #Constraints: 53947
780.25/782.63 c #Conflicts: 515000 | #Constraints: 54947
780.25/782.63 c #Conflicts: 516000 | #Constraints: 55947
780.25/782.63 c INPROCESSING
780.25/782.63 c GARBAGE COLLECT
780.25/782.63 c #Conflicts: 517000 | #Constraints: 42745
780.25/782.63 c #Conflicts: 518000 | #Constraints: 43745
780.25/782.63 c #Conflicts: 519000 | #Constraints: 44745
780.25/782.63 c #Conflicts: 520000 | #Constraints: 45745
780.25/782.63 c #Conflicts: 521000 | #Constraints: 46745
780.25/782.63 c #Conflicts: 522000 | #Constraints: 47745
780.25/782.63 c #Conflicts: 523000 | #Constraints: 48745
780.25/782.63 c #Conflicts: 524000 | #Constraints: 49745
780.25/782.63 c #Conflicts: 525000 | #Constraints: 50745
780.25/782.63 c #Conflicts: 526000 | #Constraints: 51745
780.25/782.63 c #Conflicts: 527000 | #Constraints: 52745
780.25/782.63 c #Conflicts: 528000 | #Constraints: 53745
780.25/782.63 c #Conflicts: 529000 | #Constraints: 54745
780.25/782.63 c #Conflicts: 530000 | #Constraints: 55745
780.25/782.63 c #Conflicts: 531000 | #Constraints: 56745
780.25/782.63 c INPROCESSING
780.25/782.63 c GARBAGE COLLECT
780.25/782.63 c #Conflicts: 532000 | #Constraints: 43347
780.25/782.63 c #Conflicts: 533000 | #Constraints: 44347
780.25/782.63 c #Conflicts: 534000 | #Constraints: 45347
780.25/782.63 c #Conflicts: 535000 | #Constraints: 46347
780.25/782.63 c #Conflicts: 536000 | #Constraints: 47347
780.25/782.63 c #Conflicts: 537000 | #Constraints: 48347
780.25/782.63 c #Conflicts: 538000 | #Constraints: 49347
780.25/782.63 c #Conflicts: 539000 | #Constraints: 50347
780.25/782.63 c #Conflicts: 540000 | #Constraints: 51347
780.25/782.63 c #Conflicts: 541000 | #Constraints: 52347
780.25/782.63 c #Conflicts: 542000 | #Constraints: 53347
780.25/782.63 c #Conflicts: 543000 | #Constraints: 54347
780.25/782.63 c #Conflicts: 544000 | #Constraints: 55347
780.25/782.63 c #Conflicts: 545000 | #Constraints: 56347
780.25/782.63 c #Conflicts: 546000 | #Constraints: 57347
780.25/782.63 c INPROCESSING
780.25/782.63 c GARBAGE COLLECT
780.25/782.63 c #Conflicts: 547000 | #Constraints: 43737
780.25/782.63 c #Conflicts: 548000 | #Constraints: 44737
780.25/782.63 c #Conflicts: 549000 | #Constraints: 45737
780.25/782.63 c #Conflicts: 550000 | #Constraints: 46737
780.25/782.63 c #Conflicts: 551000 | #Constraints: 47737
780.25/782.63 c #Conflicts: 552000 | #Constraints: 48737
780.25/782.63 c #Conflicts: 553000 | #Constraints: 49737
780.25/782.63 c #Conflicts: 554000 | #Constraints: 50737
780.25/782.63 c #Conflicts: 555000 | #Constraints: 51737
780.25/782.63 c #Conflicts: 556000 | #Constraints: 52737
780.25/782.63 c #Conflicts: 557000 | #Constraints: 53737
780.25/782.63 c #Conflicts: 558000 | #Constraints: 54737
780.25/782.63 c #Conflicts: 559000 | #Constraints: 55737
780.25/782.63 c #Conflicts: 560000 | #Constraints: 56737
780.25/782.63 c #Conflicts: 561000 | #Constraints: 57737
780.25/782.63 c INPROCESSING
780.25/782.63 c GARBAGE COLLECT
780.25/782.63 c #Conflicts: 562000 | #Constraints: 43941
780.25/782.63 c #Conflicts: 563000 | #Constraints: 44941
780.25/782.63 c #Conflicts: 564000 | #Constraints: 45941
780.25/782.63 c #Conflicts: 565000 | #Constraints: 46941
780.25/782.63 c #Conflicts: 566000 | #Constraints: 47941
780.25/782.63 c #Conflicts: 567000 | #Constraints: 48941
780.25/782.63 c #Conflicts: 568000 | #Constraints: 49941
780.25/782.63 c #Conflicts: 569000 | #Constraints: 50941
780.25/782.63 c #Conflicts: 570000 | #Constraints: 51941
780.25/782.63 c #Conflicts: 571000 | #Constraints: 52941
780.25/782.63 c #Conflicts: 572000 | #Constraints: 53941
780.25/782.63 c #Conflicts: 573000 | #Constraints: 54941
780.25/782.63 c #Conflicts: 574000 | #Constraints: 55941
780.25/782.63 c #Conflicts: 575000 | #Constraints: 56941
780.25/782.63 c #Conflicts: 576000 | #Constraints: 57941
780.25/782.63 c INPROCESSING
780.25/782.63 c GARBAGE COLLECT
780.25/782.63 c #Conflicts: 577000 | #Constraints: 43960
780.25/782.63 c #Conflicts: 578000 | #Constraints: 44960
780.25/782.63 c #Conflicts: 579000 | #Constraints: 45960
780.25/782.63 c #Conflicts: 580000 | #Constraints: 46960
780.25/782.63 c #Conflicts: 581000 | #Constraints: 47960
780.25/782.63 c #Conflicts: 582000 | #Constraints: 48960
880.55/883.22 c #Conflicts: 583000 | #Constraints: 49960
880.55/883.22 c #Conflicts: 584000 | #Constraints: 50960
880.55/883.22 c #Conflicts: 585000 | #Constraints: 51960
880.55/883.22 c #Conflicts: 586000 | #Constraints: 52960
880.55/883.22 c #Conflicts: 587000 | #Constraints: 53960
880.55/883.22 c #Conflicts: 588000 | #Constraints: 54960
880.55/883.22 c #Conflicts: 589000 | #Constraints: 55960
880.55/883.22 c #Conflicts: 590000 | #Constraints: 56960
880.55/883.22 c #Conflicts: 591000 | #Constraints: 57960
880.55/883.22 c INPROCESSING
880.55/883.22 c GARBAGE COLLECT
880.55/883.22 c #Conflicts: 592000 | #Constraints: 43749
880.55/883.22 c #Conflicts: 593000 | #Constraints: 44749
880.55/883.22 c #Conflicts: 594000 | #Constraints: 45749
880.55/883.22 c #Conflicts: 595000 | #Constraints: 46749
880.55/883.22 c #Conflicts: 596000 | #Constraints: 47749
880.55/883.22 c #Conflicts: 597000 | #Constraints: 48749
880.55/883.22 c #Conflicts: 598000 | #Constraints: 49749
880.55/883.22 c #Conflicts: 599000 | #Constraints: 50749
880.55/883.22 c #Conflicts: 600000 | #Constraints: 51749
880.55/883.22 c #Conflicts: 601000 | #Constraints: 52749
880.55/883.22 c #Conflicts: 602000 | #Constraints: 53749
880.55/883.22 c #Conflicts: 603000 | #Constraints: 54749
880.55/883.22 c #Conflicts: 604000 | #Constraints: 55749
880.55/883.22 c #Conflicts: 605000 | #Constraints: 56749
880.55/883.22 c #Conflicts: 606000 | #Constraints: 57749
880.55/883.22 c #Conflicts: 607000 | #Constraints: 58749
880.55/883.22 c INPROCESSING
880.55/883.22 c GARBAGE COLLECT
880.55/883.22 c #Conflicts: 608000 | #Constraints: 44344
880.55/883.22 c #Conflicts: 609000 | #Constraints: 45344
880.55/883.22 c #Conflicts: 610000 | #Constraints: 46344
880.55/883.22 c #Conflicts: 611000 | #Constraints: 47344
880.55/883.22 c #Conflicts: 612000 | #Constraints: 48344
880.55/883.22 c #Conflicts: 613000 | #Constraints: 49344
880.55/883.22 c #Conflicts: 614000 | #Constraints: 50344
880.55/883.22 c #Conflicts: 615000 | #Constraints: 51344
880.55/883.22 c #Conflicts: 616000 | #Constraints: 52344
880.55/883.22 c #Conflicts: 617000 | #Constraints: 53344
880.55/883.22 c #Conflicts: 618000 | #Constraints: 54344
880.55/883.22 c #Conflicts: 619000 | #Constraints: 55344
880.55/883.22 c #Conflicts: 620000 | #Constraints: 56344
880.55/883.22 c #Conflicts: 621000 | #Constraints: 57344
880.55/883.22 c #Conflicts: 622000 | #Constraints: 58344
880.55/883.22 c #Conflicts: 623000 | #Constraints: 59344
880.55/883.22 c INPROCESSING
880.55/883.22 c GARBAGE COLLECT
880.55/883.22 c #Conflicts: 624000 | #Constraints: 44764
880.55/883.22 c #Conflicts: 625000 | #Constraints: 45764
880.55/883.22 c #Conflicts: 626000 | #Constraints: 46764
880.55/883.22 c #Conflicts: 627000 | #Constraints: 47764
880.55/883.22 c #Conflicts: 628000 | #Constraints: 48764
880.55/883.22 c #Conflicts: 629000 | #Constraints: 49764
880.55/883.22 c #Conflicts: 630000 | #Constraints: 50764
880.55/883.22 c #Conflicts: 631000 | #Constraints: 51764
880.55/883.22 c #Conflicts: 632000 | #Constraints: 52764
880.55/883.22 c #Conflicts: 633000 | #Constraints: 53764
880.55/883.22 c #Conflicts: 634000 | #Constraints: 54764
880.55/883.22 c #Conflicts: 635000 | #Constraints: 55764
880.55/883.22 c #Conflicts: 636000 | #Constraints: 56764
880.55/883.22 c #Conflicts: 637000 | #Constraints: 57764
880.55/883.22 c #Conflicts: 638000 | #Constraints: 58764
880.55/883.22 c #Conflicts: 639000 | #Constraints: 59764
880.55/883.22 c INPROCESSING
880.55/883.22 c GARBAGE COLLECT
880.55/883.22 c #Conflicts: 640000 | #Constraints: 44958
880.55/883.22 c #Conflicts: 641000 | #Constraints: 45958
880.55/883.22 c #Conflicts: 642000 | #Constraints: 46958
880.55/883.22 c #Conflicts: 643000 | #Constraints: 47958
880.55/883.22 c #Conflicts: 644000 | #Constraints: 48958
880.55/883.22 c #Conflicts: 645000 | #Constraints: 49958
880.55/883.22 c #Conflicts: 646000 | #Constraints: 50958
880.55/883.22 c #Conflicts: 647000 | #Constraints: 51958
880.55/883.22 c #Conflicts: 648000 | #Constraints: 52958
880.55/883.22 c #Conflicts: 649000 | #Constraints: 53958
880.55/883.22 c #Conflicts: 650000 | #Constraints: 54958
880.55/883.22 c #Conflicts: 651000 | #Constraints: 55958
880.55/883.22 c #Conflicts: 652000 | #Constraints: 56958
880.55/883.22 c #Conflicts: 653000 | #Constraints: 57958
880.55/883.22 c #Conflicts: 654000 | #Constraints: 58958
880.55/883.22 c #Conflicts: 655000 | #Constraints: 59958
880.55/883.22 c INPROCESSING
880.55/883.22 c GARBAGE COLLECT
880.55/883.22 c #Conflicts: 656000 | #Constraints: 44939
880.55/883.22 c #Conflicts: 657000 | #Constraints: 45939
979.95/983.00 c #Conflicts: 658000 | #Constraints: 46939
979.95/983.00 c #Conflicts: 659000 | #Constraints: 47939
979.95/983.00 c #Conflicts: 660000 | #Constraints: 48939
979.95/983.00 c #Conflicts: 661000 | #Constraints: 49939
979.95/983.00 c #Conflicts: 662000 | #Constraints: 50939
979.95/983.00 c #Conflicts: 663000 | #Constraints: 51939
979.95/983.00 c #Conflicts: 664000 | #Constraints: 52939
979.95/983.00 c #Conflicts: 665000 | #Constraints: 53939
979.95/983.00 c #Conflicts: 666000 | #Constraints: 54939
979.95/983.00 c #Conflicts: 667000 | #Constraints: 55939
979.95/983.00 c #Conflicts: 668000 | #Constraints: 56939
979.95/983.00 c #Conflicts: 669000 | #Constraints: 57939
979.95/983.00 c #Conflicts: 670000 | #Constraints: 58939
979.95/983.00 c #Conflicts: 671000 | #Constraints: 59939
979.95/983.00 c INPROCESSING
979.95/983.00 c GARBAGE COLLECT
979.95/983.00 c #Conflicts: 672000 | #Constraints: 44747
979.95/983.00 c #Conflicts: 673000 | #Constraints: 45747
979.95/983.00 c #Conflicts: 674000 | #Constraints: 46747
979.95/983.00 c #Conflicts: 675000 | #Constraints: 47747
979.95/983.00 c #Conflicts: 676000 | #Constraints: 48747
979.95/983.00 c #Conflicts: 677000 | #Constraints: 49747
979.95/983.00 c #Conflicts: 678000 | #Constraints: 50747
979.95/983.00 c #Conflicts: 679000 | #Constraints: 51747
979.95/983.00 c #Conflicts: 680000 | #Constraints: 52747
979.95/983.00 c #Conflicts: 681000 | #Constraints: 53747
979.95/983.00 c #Conflicts: 682000 | #Constraints: 54747
979.95/983.00 c #Conflicts: 683000 | #Constraints: 55747
979.95/983.00 c #Conflicts: 684000 | #Constraints: 56747
979.95/983.00 c #Conflicts: 685000 | #Constraints: 57747
979.95/983.00 c #Conflicts: 686000 | #Constraints: 58747
979.95/983.00 c #Conflicts: 687000 | #Constraints: 59747
979.95/983.00 c #Conflicts: 688000 | #Constraints: 60747
979.95/983.00 c INPROCESSING
979.95/983.00 c GARBAGE COLLECT
979.95/983.00 c #Conflicts: 689000 | #Constraints: 45355
979.95/983.00 c #Conflicts: 690000 | #Constraints: 46355
979.95/983.00 c #Conflicts: 691000 | #Constraints: 47355
979.95/983.00 c #Conflicts: 692000 | #Constraints: 48355
979.95/983.00 c #Conflicts: 693000 | #Constraints: 49355
979.95/983.00 c #Conflicts: 694000 | #Constraints: 50355
979.95/983.00 c #Conflicts: 695000 | #Constraints: 51355
979.95/983.00 c #Conflicts: 696000 | #Constraints: 52355
979.95/983.00 c #Conflicts: 697000 | #Constraints: 53355
979.95/983.00 c #Conflicts: 698000 | #Constraints: 54355
979.95/983.00 c #Conflicts: 699000 | #Constraints: 55355
979.95/983.00 c #Conflicts: 700000 | #Constraints: 56355
979.95/983.00 c #Conflicts: 701000 | #Constraints: 57355
979.95/983.00 c #Conflicts: 702000 | #Constraints: 58355
979.95/983.00 c #Conflicts: 703000 | #Constraints: 59355
979.95/983.00 c #Conflicts: 704000 | #Constraints: 60355
979.95/983.00 c #Conflicts: 705000 | #Constraints: 61355
979.95/983.00 c INPROCESSING
979.95/983.00 c GARBAGE COLLECT
979.95/983.00 c #Conflicts: 706000 | #Constraints: 45743
979.95/983.00 c #Conflicts: 707000 | #Constraints: 46743
979.95/983.00 c #Conflicts: 708000 | #Constraints: 47743
979.95/983.00 c #Conflicts: 709000 | #Constraints: 48743
979.95/983.00 c #Conflicts: 710000 | #Constraints: 49743
979.95/983.00 c #Conflicts: 711000 | #Constraints: 50743
979.95/983.00 c #Conflicts: 712000 | #Constraints: 51743
979.95/983.00 c #Conflicts: 713000 | #Constraints: 52743
979.95/983.00 c #Conflicts: 714000 | #Constraints: 53743
979.95/983.00 c #Conflicts: 715000 | #Constraints: 54743
979.95/983.00 c #Conflicts: 716000 | #Constraints: 55743
979.95/983.00 c #Conflicts: 717000 | #Constraints: 56743
979.95/983.00 c #Conflicts: 718000 | #Constraints: 57743
979.95/983.00 c #Conflicts: 719000 | #Constraints: 58743
979.95/983.00 c #Conflicts: 720000 | #Constraints: 59743
979.95/983.00 c #Conflicts: 721000 | #Constraints: 60743
979.95/983.00 c #Conflicts: 722000 | #Constraints: 61743
979.95/983.00 c INPROCESSING
979.95/983.00 c GARBAGE COLLECT
979.95/983.00 c #Conflicts: 723000 | #Constraints: 45946
979.95/983.00 c #Conflicts: 724000 | #Constraints: 46946
979.95/983.00 c #Conflicts: 725000 | #Constraints: 47946
979.95/983.00 c #Conflicts: 726000 | #Constraints: 48946
979.95/983.00 c #Conflicts: 727000 | #Constraints: 49946
979.95/983.00 c #Conflicts: 728000 | #Constraints: 50946
979.95/983.00 c #Conflicts: 729000 | #Constraints: 51946
979.95/983.00 c #Conflicts: 730000 | #Constraints: 52946
979.95/983.00 c #Conflicts: 731000 | #Constraints: 53946
979.95/983.00 c #Conflicts: 732000 | #Constraints: 54946
979.95/983.00 c #Conflicts: 733000 | #Constraints: 55946
1103.25/1106.61 c #Conflicts: 734000 | #Constraints: 56946
1103.25/1106.61 c #Conflicts: 735000 | #Constraints: 57946
1103.25/1106.61 c #Conflicts: 736000 | #Constraints: 58946
1103.25/1106.61 c #Conflicts: 737000 | #Constraints: 59946
1103.25/1106.61 c #Conflicts: 738000 | #Constraints: 60946
1103.25/1106.61 c #Conflicts: 739000 | #Constraints: 61946
1103.25/1106.61 c INPROCESSING
1103.25/1106.61 c GARBAGE COLLECT
1103.25/1106.61 c #Conflicts: 740000 | #Constraints: 45942
1103.25/1106.61 c #Conflicts: 741000 | #Constraints: 46942
1103.25/1106.61 c #Conflicts: 742000 | #Constraints: 47942
1103.25/1106.61 c #Conflicts: 743000 | #Constraints: 48942
1103.25/1106.61 c #Conflicts: 744000 | #Constraints: 49942
1103.25/1106.61 c #Conflicts: 745000 | #Constraints: 50942
1103.25/1106.61 c #Conflicts: 746000 | #Constraints: 51942
1103.25/1106.61 c #Conflicts: 747000 | #Constraints: 52942
1103.25/1106.61 c #Conflicts: 748000 | #Constraints: 53942
1103.25/1106.61 c #Conflicts: 749000 | #Constraints: 54942
1103.25/1106.61 c #Conflicts: 750000 | #Constraints: 55942
1103.25/1106.61 c #Conflicts: 751000 | #Constraints: 56942
1103.25/1106.61 c #Conflicts: 752000 | #Constraints: 57942
1103.25/1106.61 c #Conflicts: 753000 | #Constraints: 58942
1103.25/1106.61 c #Conflicts: 754000 | #Constraints: 59942
1103.25/1106.61 c #Conflicts: 755000 | #Constraints: 60942
1103.25/1106.61 c #Conflicts: 756000 | #Constraints: 61942
1103.25/1106.61 c INPROCESSING
1103.25/1106.61 c GARBAGE COLLECT
1103.25/1106.61 c #Conflicts: 757000 | #Constraints: 45739
1103.25/1106.61 c #Conflicts: 758000 | #Constraints: 46739
1103.25/1106.61 c #Conflicts: 759000 | #Constraints: 47739
1103.25/1106.61 c #Conflicts: 760000 | #Constraints: 48739
1103.25/1106.61 c #Conflicts: 761000 | #Constraints: 49739
1103.25/1106.61 c #Conflicts: 762000 | #Constraints: 50739
1103.25/1106.61 c #Conflicts: 763000 | #Constraints: 51739
1103.25/1106.61 c #Conflicts: 764000 | #Constraints: 52739
1103.25/1106.61 c #Conflicts: 765000 | #Constraints: 53739
1103.25/1106.61 c #Conflicts: 766000 | #Constraints: 54739
1103.25/1106.61 c #Conflicts: 767000 | #Constraints: 55739
1103.25/1106.61 c #Conflicts: 768000 | #Constraints: 56739
1103.25/1106.61 c #Conflicts: 769000 | #Constraints: 57739
1103.25/1106.61 c #Conflicts: 770000 | #Constraints: 58739
1103.25/1106.61 c #Conflicts: 771000 | #Constraints: 59739
1103.25/1106.61 c #Conflicts: 772000 | #Constraints: 60739
1103.25/1106.61 c #Conflicts: 773000 | #Constraints: 61739
1103.25/1106.61 c #Conflicts: 774000 | #Constraints: 62739
1103.25/1106.61 c INPROCESSING
1103.25/1106.61 c GARBAGE COLLECT
1103.25/1106.61 c #Conflicts: 775000 | #Constraints: 46346
1103.25/1106.61 c #Conflicts: 776000 | #Constraints: 47346
1103.25/1106.61 c #Conflicts: 777000 | #Constraints: 48346
1103.25/1106.61 c #Conflicts: 778000 | #Constraints: 49346
1103.25/1106.61 c #Conflicts: 779000 | #Constraints: 50346
1103.25/1106.61 c #Conflicts: 780000 | #Constraints: 51346
1103.25/1106.61 c #Conflicts: 781000 | #Constraints: 52346
1103.25/1106.61 c #Conflicts: 782000 | #Constraints: 53346
1103.25/1106.61 c #Conflicts: 783000 | #Constraints: 54346
1103.25/1106.61 c #Conflicts: 784000 | #Constraints: 55346
1103.25/1106.61 c #Conflicts: 785000 | #Constraints: 56346
1103.25/1106.61 c #Conflicts: 786000 | #Constraints: 57346
1103.25/1106.61 c #Conflicts: 787000 | #Constraints: 58346
1103.25/1106.61 c #Conflicts: 788000 | #Constraints: 59346
1103.25/1106.61 c #Conflicts: 789000 | #Constraints: 60346
1103.25/1106.61 c #Conflicts: 790000 | #Constraints: 61346
1103.25/1106.61 c #Conflicts: 791000 | #Constraints: 62346
1103.25/1106.61 c #Conflicts: 792000 | #Constraints: 63346
1103.25/1106.61 c INPROCESSING
1103.25/1106.61 c GARBAGE COLLECT
1103.25/1106.61 c #Conflicts: 793000 | #Constraints: 46745
1103.25/1106.61 c #Conflicts: 794000 | #Constraints: 47745
1103.25/1106.61 c #Conflicts: 795000 | #Constraints: 48745
1103.25/1106.61 c #Conflicts: 796000 | #Constraints: 49745
1103.25/1106.61 c #Conflicts: 797000 | #Constraints: 50745
1103.25/1106.61 c #Conflicts: 798000 | #Constraints: 51745
1103.25/1106.61 c #Conflicts: 799000 | #Constraints: 52745
1103.25/1106.61 c #Conflicts: 800000 | #Constraints: 53745
1103.25/1106.61 c #Conflicts: 801000 | #Constraints: 54745
1103.25/1106.61 c #Conflicts: 802000 | #Constraints: 55745
1103.25/1106.61 c #Conflicts: 803000 | #Constraints: 56745
1103.25/1106.61 c #Conflicts: 804000 | #Constraints: 57745
1103.25/1106.61 c #Conflicts: 805000 | #Constraints: 58745
1103.25/1106.61 c #Conflicts: 806000 | #Constraints: 59745
1103.25/1106.61 c #Conflicts: 807000 | #Constraints: 60745
1103.25/1106.61 c #Conflicts: 808000 | #Constraints: 61745
1103.25/1106.61 c #Conflicts: 809000 | #Constraints: 62745
1103.25/1106.61 c #Conflicts: 810000 | #Constraints: 63745
1212.27/1216.01 c INPROCESSING
1212.27/1216.01 c GARBAGE COLLECT
1212.27/1216.01 c #Conflicts: 811000 | #Constraints: 46955
1212.27/1216.01 c #Conflicts: 812000 | #Constraints: 47955
1212.27/1216.01 c #Conflicts: 813000 | #Constraints: 48955
1212.27/1216.01 c #Conflicts: 814000 | #Constraints: 49955
1212.27/1216.01 c #Conflicts: 815000 | #Constraints: 50955
1212.27/1216.01 c #Conflicts: 816000 | #Constraints: 51955
1212.27/1216.01 c #Conflicts: 817000 | #Constraints: 52955
1212.27/1216.01 c #Conflicts: 818000 | #Constraints: 53955
1212.27/1216.01 c #Conflicts: 819000 | #Constraints: 54955
1212.27/1216.01 c #Conflicts: 820000 | #Constraints: 55955
1212.27/1216.01 c #Conflicts: 821000 | #Constraints: 56955
1212.27/1216.01 c #Conflicts: 822000 | #Constraints: 57955
1212.27/1216.01 c #Conflicts: 823000 | #Constraints: 58955
1212.27/1216.01 c #Conflicts: 824000 | #Constraints: 59955
1212.27/1216.01 c #Conflicts: 825000 | #Constraints: 60955
1212.27/1216.01 c #Conflicts: 826000 | #Constraints: 61955
1212.27/1216.01 c #Conflicts: 827000 | #Constraints: 62955
1212.27/1216.01 c #Conflicts: 828000 | #Constraints: 63955
1212.27/1216.01 c INPROCESSING
1212.27/1216.01 c GARBAGE COLLECT
1212.27/1216.01 c #Conflicts: 829000 | #Constraints: 46949
1212.27/1216.01 c #Conflicts: 830000 | #Constraints: 47949
1212.27/1216.01 c #Conflicts: 831000 | #Constraints: 48949
1212.27/1216.01 c #Conflicts: 832000 | #Constraints: 49949
1212.27/1216.01 c #Conflicts: 833000 | #Constraints: 50949
1212.27/1216.01 c #Conflicts: 834000 | #Constraints: 51949
1212.27/1216.01 c #Conflicts: 835000 | #Constraints: 52949
1212.27/1216.01 c #Conflicts: 836000 | #Constraints: 53949
1212.27/1216.01 c #Conflicts: 837000 | #Constraints: 54949
1212.27/1216.01 c #Conflicts: 838000 | #Constraints: 55949
1212.27/1216.01 c #Conflicts: 839000 | #Constraints: 56949
1212.27/1216.01 c #Conflicts: 840000 | #Constraints: 57949
1212.27/1216.01 c #Conflicts: 841000 | #Constraints: 58949
1212.27/1216.01 c #Conflicts: 842000 | #Constraints: 59949
1212.27/1216.01 c #Conflicts: 843000 | #Constraints: 60949
1212.27/1216.01 c #Conflicts: 844000 | #Constraints: 61949
1212.27/1216.01 c #Conflicts: 845000 | #Constraints: 62949
1212.27/1216.01 c #Conflicts: 846000 | #Constraints: 63949
1212.27/1216.01 c INPROCESSING
1212.27/1216.01 c GARBAGE COLLECT
1212.27/1216.01 c #Conflicts: 847000 | #Constraints: 46742
1212.27/1216.01 c #Conflicts: 848000 | #Constraints: 47742
1212.27/1216.01 c #Conflicts: 849000 | #Constraints: 48742
1212.27/1216.01 c #Conflicts: 850000 | #Constraints: 49742
1212.27/1216.01 c #Conflicts: 851000 | #Constraints: 50742
1212.27/1216.01 c #Conflicts: 852000 | #Constraints: 51742
1212.27/1216.01 c #Conflicts: 853000 | #Constraints: 52742
1212.27/1216.01 c #Conflicts: 854000 | #Constraints: 53742
1212.27/1216.01 c #Conflicts: 855000 | #Constraints: 54742
1212.27/1216.01 c #Conflicts: 856000 | #Constraints: 55742
1212.27/1216.01 c #Conflicts: 857000 | #Constraints: 56742
1212.27/1216.01 c #Conflicts: 858000 | #Constraints: 57742
1212.27/1216.01 c #Conflicts: 859000 | #Constraints: 58742
1212.27/1216.01 c #Conflicts: 860000 | #Constraints: 59742
1212.27/1216.01 c #Conflicts: 861000 | #Constraints: 60742
1212.27/1216.01 c #Conflicts: 862000 | #Constraints: 61742
1212.27/1216.01 c #Conflicts: 863000 | #Constraints: 62742
1212.27/1216.01 c #Conflicts: 864000 | #Constraints: 63742
1212.27/1216.01 c #Conflicts: 865000 | #Constraints: 64742
1212.27/1216.01 c INPROCESSING
1212.27/1216.01 c GARBAGE COLLECT
1212.27/1216.01 c #Conflicts: 866000 | #Constraints: 47360
1212.27/1216.01 c #Conflicts: 867000 | #Constraints: 48360
1212.27/1216.01 c #Conflicts: 868000 | #Constraints: 49360
1212.27/1216.01 c #Conflicts: 869000 | #Constraints: 50360
1212.27/1216.01 c #Conflicts: 870000 | #Constraints: 51360
1212.27/1216.01 c #Conflicts: 871000 | #Constraints: 52360
1212.27/1216.01 c #Conflicts: 872000 | #Constraints: 53360
1212.27/1216.01 c #Conflicts: 873000 | #Constraints: 54360
1212.27/1216.01 c #Conflicts: 874000 | #Constraints: 55360
1212.27/1216.01 c #Conflicts: 875000 | #Constraints: 56360
1212.27/1216.01 c #Conflicts: 876000 | #Constraints: 57360
1212.27/1216.01 c #Conflicts: 877000 | #Constraints: 58360
1212.27/1216.01 c #Conflicts: 878000 | #Constraints: 59360
1212.27/1216.01 c #Conflicts: 879000 | #Constraints: 60360
1212.27/1216.01 c #Conflicts: 880000 | #Constraints: 61360
1212.27/1216.01 c #Conflicts: 881000 | #Constraints: 62360
1212.27/1216.01 c #Conflicts: 882000 | #Constraints: 63360
1212.27/1216.01 c #Conflicts: 883000 | #Constraints: 64360
1212.27/1216.01 c #Conflicts: 884000 | #Constraints: 65360
1212.27/1216.01 c INPROCESSING
1212.27/1216.01 c GARBAGE COLLECT
1212.27/1216.01 c #Conflicts: 885000 | #Constraints: 47761
1319.12/1323.10 c #Conflicts: 886000 | #Constraints: 48761
1319.12/1323.10 c #Conflicts: 887000 | #Constraints: 49761
1319.12/1323.10 c #Conflicts: 888000 | #Constraints: 50761
1319.12/1323.10 c #Conflicts: 889000 | #Constraints: 51761
1319.12/1323.10 c #Conflicts: 890000 | #Constraints: 52761
1319.12/1323.10 c #Conflicts: 891000 | #Constraints: 53761
1319.12/1323.10 c #Conflicts: 892000 | #Constraints: 54761
1319.12/1323.10 c #Conflicts: 893000 | #Constraints: 55761
1319.12/1323.10 c #Conflicts: 894000 | #Constraints: 56761
1319.12/1323.10 c #Conflicts: 895000 | #Constraints: 57761
1319.12/1323.10 c #Conflicts: 896000 | #Constraints: 58761
1319.12/1323.10 c #Conflicts: 897000 | #Constraints: 59761
1319.12/1323.10 c #Conflicts: 898000 | #Constraints: 60761
1319.12/1323.10 c #Conflicts: 899000 | #Constraints: 61761
1319.12/1323.10 c #Conflicts: 900000 | #Constraints: 62761
1319.12/1323.10 c #Conflicts: 901000 | #Constraints: 63761
1319.12/1323.10 c #Conflicts: 902000 | #Constraints: 64761
1319.12/1323.10 c #Conflicts: 903000 | #Constraints: 65761
1319.12/1323.10 c INPROCESSING
1319.12/1323.10 c GARBAGE COLLECT
1319.12/1323.10 c #Conflicts: 904000 | #Constraints: 47951
1319.12/1323.10 c #Conflicts: 905000 | #Constraints: 48951
1319.12/1323.10 c #Conflicts: 906000 | #Constraints: 49951
1319.12/1323.10 c #Conflicts: 907000 | #Constraints: 50951
1319.12/1323.10 c #Conflicts: 908000 | #Constraints: 51951
1319.12/1323.10 c #Conflicts: 909000 | #Constraints: 52951
1319.12/1323.10 c #Conflicts: 910000 | #Constraints: 53951
1319.12/1323.10 c #Conflicts: 911000 | #Constraints: 54951
1319.12/1323.10 c #Conflicts: 912000 | #Constraints: 55951
1319.12/1323.10 c #Conflicts: 913000 | #Constraints: 56951
1319.12/1323.10 c #Conflicts: 914000 | #Constraints: 57951
1319.12/1323.10 c #Conflicts: 915000 | #Constraints: 58951
1319.12/1323.10 c #Conflicts: 916000 | #Constraints: 59951
1319.12/1323.10 c #Conflicts: 917000 | #Constraints: 60951
1319.12/1323.10 c #Conflicts: 918000 | #Constraints: 61951
1319.12/1323.10 c #Conflicts: 919000 | #Constraints: 62951
1319.12/1323.10 c #Conflicts: 920000 | #Constraints: 63951
1319.12/1323.10 c #Conflicts: 921000 | #Constraints: 64951
1319.12/1323.10 c #Conflicts: 922000 | #Constraints: 65951
1319.12/1323.10 c INPROCESSING
1319.12/1323.10 c GARBAGE COLLECT
1319.12/1323.10 c #Conflicts: 923000 | #Constraints: 47942
1319.12/1323.10 c #Conflicts: 924000 | #Constraints: 48942
1319.12/1323.10 c #Conflicts: 925000 | #Constraints: 49942
1319.12/1323.10 c #Conflicts: 926000 | #Constraints: 50942
1319.12/1323.10 c #Conflicts: 927000 | #Constraints: 51942
1319.12/1323.10 c #Conflicts: 928000 | #Constraints: 52942
1319.12/1323.10 c #Conflicts: 929000 | #Constraints: 53942
1319.12/1323.10 c #Conflicts: 930000 | #Constraints: 54942
1319.12/1323.10 c #Conflicts: 931000 | #Constraints: 55942
1319.12/1323.10 c #Conflicts: 932000 | #Constraints: 56942
1319.12/1323.10 c #Conflicts: 933000 | #Constraints: 57942
1319.12/1323.10 c #Conflicts: 934000 | #Constraints: 58942
1319.12/1323.10 c #Conflicts: 935000 | #Constraints: 59942
1319.12/1323.10 c #Conflicts: 936000 | #Constraints: 60942
1319.12/1323.10 c #Conflicts: 937000 | #Constraints: 61942
1319.12/1323.10 c #Conflicts: 938000 | #Constraints: 62942
1319.12/1323.10 c #Conflicts: 939000 | #Constraints: 63942
1319.12/1323.10 c #Conflicts: 940000 | #Constraints: 64942
1319.12/1323.10 c #Conflicts: 941000 | #Constraints: 65942
1319.12/1323.10 c INPROCESSING
1319.12/1323.10 c GARBAGE COLLECT
1319.12/1323.10 c #Conflicts: 942000 | #Constraints: 47749
1319.12/1323.10 c #Conflicts: 943000 | #Constraints: 48749
1319.12/1323.10 c #Conflicts: 944000 | #Constraints: 49749
1319.12/1323.10 c #Conflicts: 945000 | #Constraints: 50749
1319.12/1323.10 c #Conflicts: 946000 | #Constraints: 51749
1319.12/1323.10 c #Conflicts: 947000 | #Constraints: 52749
1319.12/1323.10 c #Conflicts: 948000 | #Constraints: 53749
1319.12/1323.10 c #Conflicts: 949000 | #Constraints: 54749
1319.12/1323.10 c #Conflicts: 950000 | #Constraints: 55749
1319.12/1323.10 c #Conflicts: 951000 | #Constraints: 56749
1319.12/1323.10 c #Conflicts: 952000 | #Constraints: 57749
1319.12/1323.10 c #Conflicts: 953000 | #Constraints: 58749
1319.12/1323.10 c #Conflicts: 954000 | #Constraints: 59749
1319.12/1323.10 c #Conflicts: 955000 | #Constraints: 60749
1319.12/1323.10 c #Conflicts: 956000 | #Constraints: 61749
1319.12/1323.10 c #Conflicts: 957000 | #Constraints: 62749
1319.12/1323.10 c #Conflicts: 958000 | #Constraints: 63749
1319.12/1323.10 c #Conflicts: 959000 | #Constraints: 64749
1319.12/1323.10 c #Conflicts: 960000 | #Constraints: 65749
1319.12/1323.10 c #Conflicts: 961000 | #Constraints: 66749
1319.12/1323.10 c INPROCESSING
1319.12/1323.10 c GARBAGE COLLECT
1427.13/1431.39 c #Conflicts: 962000 | #Constraints: 48350
1427.13/1431.39 c #Conflicts: 963000 | #Constraints: 49350
1427.13/1431.39 c #Conflicts: 964000 | #Constraints: 50350
1427.13/1431.39 c #Conflicts: 965000 | #Constraints: 51350
1427.13/1431.39 c #Conflicts: 966000 | #Constraints: 52350
1427.13/1431.39 c #Conflicts: 967000 | #Constraints: 53350
1427.13/1431.39 c #Conflicts: 968000 | #Constraints: 54350
1427.13/1431.39 c #Conflicts: 969000 | #Constraints: 55350
1427.13/1431.39 c #Conflicts: 970000 | #Constraints: 56350
1427.13/1431.39 c #Conflicts: 971000 | #Constraints: 57350
1427.13/1431.39 c #Conflicts: 972000 | #Constraints: 58350
1427.13/1431.39 c #Conflicts: 973000 | #Constraints: 59350
1427.13/1431.39 c #Conflicts: 974000 | #Constraints: 60350
1427.13/1431.39 c #Conflicts: 975000 | #Constraints: 61350
1427.13/1431.39 c #Conflicts: 976000 | #Constraints: 62350
1427.13/1431.39 c #Conflicts: 977000 | #Constraints: 63350
1427.13/1431.39 c #Conflicts: 978000 | #Constraints: 64350
1427.13/1431.39 c #Conflicts: 979000 | #Constraints: 65350
1427.13/1431.39 c #Conflicts: 980000 | #Constraints: 66350
1427.13/1431.39 c #Conflicts: 981000 | #Constraints: 67350
1427.13/1431.39 c INPROCESSING
1427.13/1431.39 c GARBAGE COLLECT
1427.13/1431.39 c #Conflicts: 982000 | #Constraints: 48733
1427.13/1431.39 c #Conflicts: 983000 | #Constraints: 49733
1427.13/1431.39 c #Conflicts: 984000 | #Constraints: 50733
1427.13/1431.39 c #Conflicts: 985000 | #Constraints: 51733
1427.13/1431.39 c #Conflicts: 986000 | #Constraints: 52733
1427.13/1431.39 c #Conflicts: 987000 | #Constraints: 53733
1427.13/1431.39 c #Conflicts: 988000 | #Constraints: 54733
1427.13/1431.39 c #Conflicts: 989000 | #Constraints: 55733
1427.13/1431.39 c #Conflicts: 990000 | #Constraints: 56733
1427.13/1431.39 c #Conflicts: 991000 | #Constraints: 57733
1427.13/1431.39 c #Conflicts: 992000 | #Constraints: 58733
1427.13/1431.39 c #Conflicts: 993000 | #Constraints: 59733
1427.13/1431.39 c #Conflicts: 994000 | #Constraints: 60733
1427.13/1431.39 c #Conflicts: 995000 | #Constraints: 61733
1427.13/1431.39 c #Conflicts: 996000 | #Constraints: 62733
1427.13/1431.39 c #Conflicts: 997000 | #Constraints: 63733
1427.13/1431.39 c #Conflicts: 998000 | #Constraints: 64733
1427.13/1431.39 c #Conflicts: 999000 | #Constraints: 65733
1427.13/1431.39 c #Conflicts: 1000000 | #Constraints: 66733
1427.13/1431.39 c #Conflicts: 1001000 | #Constraints: 67733
1427.13/1431.39 c INPROCESSING
1427.13/1431.39 c GARBAGE COLLECT
1427.13/1431.39 c #Conflicts: 1002000 | #Constraints: 48923
1427.13/1431.39 c #Conflicts: 1003000 | #Constraints: 49923
1427.13/1431.39 c #Conflicts: 1004000 | #Constraints: 50923
1427.13/1431.39 c #Conflicts: 1005000 | #Constraints: 51923
1427.13/1431.39 c #Conflicts: 1006000 | #Constraints: 52923
1427.13/1431.39 c #Conflicts: 1007000 | #Constraints: 53923
1427.13/1431.39 c #Conflicts: 1008000 | #Constraints: 54923
1427.13/1431.39 c #Conflicts: 1009000 | #Constraints: 55923
1427.13/1431.39 c #Conflicts: 1010000 | #Constraints: 56923
1427.13/1431.39 c #Conflicts: 1011000 | #Constraints: 57923
1427.13/1431.39 c #Conflicts: 1012000 | #Constraints: 58923
1427.13/1431.39 c #Conflicts: 1013000 | #Constraints: 59923
1427.13/1431.39 c #Conflicts: 1014000 | #Constraints: 60923
1427.13/1431.39 c #Conflicts: 1015000 | #Constraints: 61923
1427.13/1431.39 c #Conflicts: 1016000 | #Constraints: 62923
1427.13/1431.39 c #Conflicts: 1017000 | #Constraints: 63923
1427.13/1431.39 c #Conflicts: 1018000 | #Constraints: 64923
1427.13/1431.39 c #Conflicts: 1019000 | #Constraints: 65923
1427.13/1431.39 c #Conflicts: 1020000 | #Constraints: 66923
1427.13/1431.39 c #Conflicts: 1021000 | #Constraints: 67923
1427.13/1431.39 c INPROCESSING
1427.13/1431.39 c GARBAGE COLLECT
1427.13/1431.39 c #Conflicts: 1022000 | #Constraints: 48943
1427.13/1431.39 c #Conflicts: 1023000 | #Constraints: 49943
1427.13/1431.39 c #Conflicts: 1024000 | #Constraints: 50943
1427.13/1431.39 c #Conflicts: 1025000 | #Constraints: 51943
1427.13/1431.39 c #Conflicts: 1026000 | #Constraints: 52943
1427.13/1431.39 c #Conflicts: 1027000 | #Constraints: 53943
1427.13/1431.39 c #Conflicts: 1028000 | #Constraints: 54943
1427.13/1431.39 c #Conflicts: 1029000 | #Constraints: 55943
1427.13/1431.39 c #Conflicts: 1030000 | #Constraints: 56943
1427.13/1431.39 c #Conflicts: 1031000 | #Constraints: 57943
1427.13/1431.39 c #Conflicts: 1032000 | #Constraints: 58943
1427.13/1431.39 c #Conflicts: 1033000 | #Constraints: 59943
1427.13/1431.39 c #Conflicts: 1034000 | #Constraints: 60943
1427.13/1431.39 c #Conflicts: 1035000 | #Constraints: 61943
1427.13/1431.39 c #Conflicts: 1036000 | #Constraints: 62943
1427.13/1431.39 c #Conflicts: 1037000 | #Constraints: 63943
1427.13/1431.39 c #Conflicts: 1038000 | #Constraints: 64943
1548.93/1553.40 c #Conflicts: 1039000 | #Constraints: 65943
1548.93/1553.40 c #Conflicts: 1040000 | #Constraints: 66943
1548.93/1553.40 c #Conflicts: 1041000 | #Constraints: 67943
1548.93/1553.40 c INPROCESSING
1548.93/1553.40 c GARBAGE COLLECT
1548.93/1553.40 c #Conflicts: 1042000 | #Constraints: 48755
1548.93/1553.40 c #Conflicts: 1043000 | #Constraints: 49755
1548.93/1553.40 c #Conflicts: 1044000 | #Constraints: 50755
1548.93/1553.40 c #Conflicts: 1045000 | #Constraints: 51755
1548.93/1553.40 c #Conflicts: 1046000 | #Constraints: 52755
1548.93/1553.40 c #Conflicts: 1047000 | #Constraints: 53755
1548.93/1553.40 c #Conflicts: 1048000 | #Constraints: 54755
1548.93/1553.40 c #Conflicts: 1049000 | #Constraints: 55755
1548.93/1553.40 c #Conflicts: 1050000 | #Constraints: 56755
1548.93/1553.40 c #Conflicts: 1051000 | #Constraints: 57755
1548.93/1553.40 c #Conflicts: 1052000 | #Constraints: 58755
1548.93/1553.40 c #Conflicts: 1053000 | #Constraints: 59755
1548.93/1553.40 c #Conflicts: 1054000 | #Constraints: 60755
1548.93/1553.40 c #Conflicts: 1055000 | #Constraints: 61755
1548.93/1553.40 c #Conflicts: 1056000 | #Constraints: 62755
1548.93/1553.40 c #Conflicts: 1057000 | #Constraints: 63755
1548.93/1553.40 c #Conflicts: 1058000 | #Constraints: 64755
1548.93/1553.40 c #Conflicts: 1059000 | #Constraints: 65755
1548.93/1553.40 c #Conflicts: 1060000 | #Constraints: 66755
1548.93/1553.40 c #Conflicts: 1061000 | #Constraints: 67755
1548.93/1553.40 c #Conflicts: 1062000 | #Constraints: 68755
1548.93/1553.40 c INPROCESSING
1548.93/1553.40 c GARBAGE COLLECT
1548.93/1553.40 c #Conflicts: 1063000 | #Constraints: 49362
1548.93/1553.40 c #Conflicts: 1064000 | #Constraints: 50362
1548.93/1553.40 c #Conflicts: 1065000 | #Constraints: 51362
1548.93/1553.40 c #Conflicts: 1066000 | #Constraints: 52362
1548.93/1553.40 c #Conflicts: 1067000 | #Constraints: 53362
1548.93/1553.40 c #Conflicts: 1068000 | #Constraints: 54362
1548.93/1553.40 c #Conflicts: 1069000 | #Constraints: 55362
1548.93/1553.40 c #Conflicts: 1070000 | #Constraints: 56362
1548.93/1553.40 c #Conflicts: 1071000 | #Constraints: 57362
1548.93/1553.40 c #Conflicts: 1072000 | #Constraints: 58362
1548.93/1553.40 c #Conflicts: 1073000 | #Constraints: 59362
1548.93/1553.40 c #Conflicts: 1074000 | #Constraints: 60362
1548.93/1553.40 c #Conflicts: 1075000 | #Constraints: 61362
1548.93/1553.40 c #Conflicts: 1076000 | #Constraints: 62362
1548.93/1553.40 c #Conflicts: 1077000 | #Constraints: 63362
1548.93/1553.40 c #Conflicts: 1078000 | #Constraints: 64362
1548.93/1553.40 c #Conflicts: 1079000 | #Constraints: 65362
1548.93/1553.40 c #Conflicts: 1080000 | #Constraints: 66362
1548.93/1553.40 c #Conflicts: 1081000 | #Constraints: 67362
1548.93/1553.40 c #Conflicts: 1082000 | #Constraints: 68362
1548.93/1553.40 c #Conflicts: 1083000 | #Constraints: 69362
1548.93/1553.40 c INPROCESSING
1548.93/1553.40 c GARBAGE COLLECT
1548.93/1553.40 c #Conflicts: 1084000 | #Constraints: 49748
1548.93/1553.40 c #Conflicts: 1085000 | #Constraints: 50748
1548.93/1553.40 c #Conflicts: 1086000 | #Constraints: 51748
1548.93/1553.40 c #Conflicts: 1087000 | #Constraints: 52748
1548.93/1553.40 c #Conflicts: 1088000 | #Constraints: 53748
1548.93/1553.40 c #Conflicts: 1089000 | #Constraints: 54748
1548.93/1553.40 c #Conflicts: 1090000 | #Constraints: 55748
1548.93/1553.40 c #Conflicts: 1091000 | #Constraints: 56748
1548.93/1553.40 c #Conflicts: 1092000 | #Constraints: 57748
1548.93/1553.40 c #Conflicts: 1093000 | #Constraints: 58748
1548.93/1553.40 c #Conflicts: 1094000 | #Constraints: 59748
1548.93/1553.40 c #Conflicts: 1095000 | #Constraints: 60748
1548.93/1553.40 c #Conflicts: 1096000 | #Constraints: 61748
1548.93/1553.40 c #Conflicts: 1097000 | #Constraints: 62748
1548.93/1553.40 c #Conflicts: 1098000 | #Constraints: 63748
1548.93/1553.40 c #Conflicts: 1099000 | #Constraints: 64748
1548.93/1553.40 c #Conflicts: 1100000 | #Constraints: 65748
1548.93/1553.40 c #Conflicts: 1101000 | #Constraints: 66748
1548.93/1553.40 c #Conflicts: 1102000 | #Constraints: 67748
1548.93/1553.40 c #Conflicts: 1103000 | #Constraints: 68748
1548.93/1553.40 c #Conflicts: 1104000 | #Constraints: 69748
1548.93/1553.40 c INPROCESSING
1548.93/1553.40 c GARBAGE COLLECT
1548.93/1553.40 c #Conflicts: 1105000 | #Constraints: 49939
1548.93/1553.40 c #Conflicts: 1106000 | #Constraints: 50939
1548.93/1553.40 c #Conflicts: 1107000 | #Constraints: 51939
1548.93/1553.40 c #Conflicts: 1108000 | #Constraints: 52939
1548.93/1553.40 c #Conflicts: 1109000 | #Constraints: 53939
1548.93/1553.40 c #Conflicts: 1110000 | #Constraints: 54939
1548.93/1553.40 c #Conflicts: 1111000 | #Constraints: 55939
1548.93/1553.40 c #Conflicts: 1112000 | #Constraints: 56939
1548.93/1553.40 c #Conflicts: 1113000 | #Constraints: 57939
1548.93/1553.40 c #Conflicts: 1114000 | #Constraints: 58939
1687.80/1692.61 c #Conflicts: 1115000 | #Constraints: 59939
1687.80/1692.61 c #Conflicts: 1116000 | #Constraints: 60939
1687.80/1692.61 c #Conflicts: 1117000 | #Constraints: 61939
1687.80/1692.61 c #Conflicts: 1118000 | #Constraints: 62939
1687.80/1692.61 c #Conflicts: 1119000 | #Constraints: 63939
1687.80/1692.61 c #Conflicts: 1120000 | #Constraints: 64939
1687.80/1692.61 c #Conflicts: 1121000 | #Constraints: 65939
1687.80/1692.61 c #Conflicts: 1122000 | #Constraints: 66939
1687.80/1692.61 c #Conflicts: 1123000 | #Constraints: 67939
1687.80/1692.61 c #Conflicts: 1124000 | #Constraints: 68939
1687.80/1692.61 c #Conflicts: 1125000 | #Constraints: 69939
1687.80/1692.61 c INPROCESSING
1687.80/1692.61 c GARBAGE COLLECT
1687.80/1692.61 c #Conflicts: 1126000 | #Constraints: 49948
1687.80/1692.61 c #Conflicts: 1127000 | #Constraints: 50948
1687.80/1692.61 c #Conflicts: 1128000 | #Constraints: 51948
1687.80/1692.61 c #Conflicts: 1129000 | #Constraints: 52948
1687.80/1692.61 c #Conflicts: 1130000 | #Constraints: 53948
1687.80/1692.61 c #Conflicts: 1131000 | #Constraints: 54948
1687.80/1692.61 c #Conflicts: 1132000 | #Constraints: 55948
1687.80/1692.61 c #Conflicts: 1133000 | #Constraints: 56948
1687.80/1692.61 c #Conflicts: 1134000 | #Constraints: 57948
1687.80/1692.61 c #Conflicts: 1135000 | #Constraints: 58948
1687.80/1692.61 c #Conflicts: 1136000 | #Constraints: 59948
1687.80/1692.61 c #Conflicts: 1137000 | #Constraints: 60948
1687.80/1692.61 c #Conflicts: 1138000 | #Constraints: 61948
1687.80/1692.61 c #Conflicts: 1139000 | #Constraints: 62948
1687.80/1692.61 c #Conflicts: 1140000 | #Constraints: 63948
1687.80/1692.61 c #Conflicts: 1141000 | #Constraints: 64948
1687.80/1692.61 c #Conflicts: 1142000 | #Constraints: 65948
1687.80/1692.61 c #Conflicts: 1143000 | #Constraints: 66948
1687.80/1692.61 c #Conflicts: 1144000 | #Constraints: 67948
1687.80/1692.61 c #Conflicts: 1145000 | #Constraints: 68948
1687.80/1692.61 c #Conflicts: 1146000 | #Constraints: 69948
1687.80/1692.61 c INPROCESSING
1687.80/1692.61 c GARBAGE COLLECT
1687.80/1692.61 c #Conflicts: 1147000 | #Constraints: 49739
1687.80/1692.61 c #Conflicts: 1148000 | #Constraints: 50739
1687.80/1692.61 c #Conflicts: 1149000 | #Constraints: 51739
1687.80/1692.61 c #Conflicts: 1150000 | #Constraints: 52739
1687.80/1692.61 c #Conflicts: 1151000 | #Constraints: 53739
1687.80/1692.61 c #Conflicts: 1152000 | #Constraints: 54739
1687.80/1692.61 c #Conflicts: 1153000 | #Constraints: 55739
1687.80/1692.61 c #Conflicts: 1154000 | #Constraints: 56739
1687.80/1692.61 c #Conflicts: 1155000 | #Constraints: 57739
1687.80/1692.61 c #Conflicts: 1156000 | #Constraints: 58739
1687.80/1692.61 c #Conflicts: 1157000 | #Constraints: 59739
1687.80/1692.61 c #Conflicts: 1158000 | #Constraints: 60739
1687.80/1692.61 c #Conflicts: 1159000 | #Constraints: 61739
1687.80/1692.61 c #Conflicts: 1160000 | #Constraints: 62739
1687.80/1692.61 c #Conflicts: 1161000 | #Constraints: 63739
1687.80/1692.61 c #Conflicts: 1162000 | #Constraints: 64739
1687.80/1692.61 c #Conflicts: 1163000 | #Constraints: 65739
1687.80/1692.61 c #Conflicts: 1164000 | #Constraints: 66739
1687.80/1692.61 c #Conflicts: 1165000 | #Constraints: 67739
1687.80/1692.61 c #Conflicts: 1166000 | #Constraints: 68739
1687.80/1692.61 c #Conflicts: 1167000 | #Constraints: 69739
1687.80/1692.61 c #Conflicts: 1168000 | #Constraints: 70739
1687.80/1692.61 c INPROCESSING
1687.80/1692.61 c GARBAGE COLLECT
1687.80/1692.61 c #Conflicts: 1169000 | #Constraints: 50337
1687.80/1692.61 c #Conflicts: 1170000 | #Constraints: 51337
1687.80/1692.61 c #Conflicts: 1171000 | #Constraints: 52337
1687.80/1692.61 c #Conflicts: 1172000 | #Constraints: 53337
1687.80/1692.61 c #Conflicts: 1173000 | #Constraints: 54337
1687.80/1692.61 c #Conflicts: 1174000 | #Constraints: 55337
1687.80/1692.61 c #Conflicts: 1175000 | #Constraints: 56337
1687.80/1692.61 c #Conflicts: 1176000 | #Constraints: 57337
1687.80/1692.61 c #Conflicts: 1177000 | #Constraints: 58337
1687.80/1692.61 c #Conflicts: 1178000 | #Constraints: 59337
1687.80/1692.61 c #Conflicts: 1179000 | #Constraints: 60337
1687.80/1692.61 c #Conflicts: 1180000 | #Constraints: 61337
1687.80/1692.61 c #Conflicts: 1181000 | #Constraints: 62337
1687.80/1692.61 c #Conflicts: 1182000 | #Constraints: 63337
1687.80/1692.61 c #Conflicts: 1183000 | #Constraints: 64337
1687.80/1692.61 c #Conflicts: 1184000 | #Constraints: 65337
1687.80/1692.61 c #Conflicts: 1185000 | #Constraints: 66337
1687.80/1692.61 c #Conflicts: 1186000 | #Constraints: 67337
1687.80/1692.61 c #Conflicts: 1187000 | #Constraints: 68337
1687.80/1692.61 c #Conflicts: 1188000 | #Constraints: 69337
1687.80/1692.61 c #Conflicts: 1189000 | #Constraints: 70337
1687.80/1692.61 c #Conflicts: 1190000 | #Constraints: 71337
1687.80/1692.61 c INPROCESSING
1687.80/1692.61 c GARBAGE COLLECT
1687.80/1692.61 c #Conflicts: 1191000 | #Constraints: 50747
1823.36/1828.56 c #Conflicts: 1192000 | #Constraints: 51747
1823.36/1828.56 c #Conflicts: 1193000 | #Constraints: 52747
1823.36/1828.56 c #Conflicts: 1194000 | #Constraints: 53747
1823.36/1828.56 c #Conflicts: 1195000 | #Constraints: 54747
1823.36/1828.56 c #Conflicts: 1196000 | #Constraints: 55747
1823.36/1828.56 c #Conflicts: 1197000 | #Constraints: 56747
1823.36/1828.56 c #Conflicts: 1198000 | #Constraints: 57747
1823.36/1828.56 c #Conflicts: 1199000 | #Constraints: 58747
1823.36/1828.56 c #Conflicts: 1200000 | #Constraints: 59747
1823.36/1828.56 c #Conflicts: 1201000 | #Constraints: 60747
1823.36/1828.56 c #Conflicts: 1202000 | #Constraints: 61747
1823.36/1828.56 c #Conflicts: 1203000 | #Constraints: 62747
1823.36/1828.56 c #Conflicts: 1204000 | #Constraints: 63747
1823.36/1828.56 c #Conflicts: 1205000 | #Constraints: 64747
1823.36/1828.56 c #Conflicts: 1206000 | #Constraints: 65747
1823.36/1828.56 c #Conflicts: 1207000 | #Constraints: 66747
1823.36/1828.56 c #Conflicts: 1208000 | #Constraints: 67747
1823.36/1828.56 c #Conflicts: 1209000 | #Constraints: 68747
1823.36/1828.56 c #Conflicts: 1210000 | #Constraints: 69747
1823.36/1828.56 c #Conflicts: 1211000 | #Constraints: 70747
1823.36/1828.56 c #Conflicts: 1212000 | #Constraints: 71747
1823.36/1828.56 c INPROCESSING
1823.36/1828.56 c GARBAGE COLLECT
1823.36/1828.56 c #Conflicts: 1213000 | #Constraints: 50966
1823.36/1828.56 c #Conflicts: 1214000 | #Constraints: 51966
1823.36/1828.56 c #Conflicts: 1215000 | #Constraints: 52966
1823.36/1828.56 c #Conflicts: 1216000 | #Constraints: 53966
1823.36/1828.56 c #Conflicts: 1217000 | #Constraints: 54966
1823.36/1828.56 c #Conflicts: 1218000 | #Constraints: 55966
1823.36/1828.56 c #Conflicts: 1219000 | #Constraints: 56966
1823.36/1828.56 c #Conflicts: 1220000 | #Constraints: 57966
1823.36/1828.56 c #Conflicts: 1221000 | #Constraints: 58966
1823.36/1828.56 c #Conflicts: 1222000 | #Constraints: 59966
1823.36/1828.56 c #Conflicts: 1223000 | #Constraints: 60966
1823.36/1828.56 c #Conflicts: 1224000 | #Constraints: 61966
1823.36/1828.56 c #Conflicts: 1225000 | #Constraints: 62966
1823.36/1828.56 c #Conflicts: 1226000 | #Constraints: 63966
1823.36/1828.56 c #Conflicts: 1227000 | #Constraints: 64966
1823.36/1828.56 c #Conflicts: 1228000 | #Constraints: 65966
1823.36/1828.56 c #Conflicts: 1229000 | #Constraints: 66966
1823.36/1828.56 c #Conflicts: 1230000 | #Constraints: 67966
1823.36/1828.56 c #Conflicts: 1231000 | #Constraints: 68966
1823.36/1828.56 c #Conflicts: 1232000 | #Constraints: 69966
1823.36/1828.56 c #Conflicts: 1233000 | #Constraints: 70966
1823.36/1828.56 c #Conflicts: 1234000 | #Constraints: 71966
1823.36/1828.56 c INPROCESSING
1823.36/1828.56 c GARBAGE COLLECT
1823.36/1828.56 c #Conflicts: 1235000 | #Constraints: 50957
1823.36/1828.56 c #Conflicts: 1236000 | #Constraints: 51957
1823.36/1828.56 c #Conflicts: 1237000 | #Constraints: 52957
1823.36/1828.56 c #Conflicts: 1238000 | #Constraints: 53957
1823.36/1828.56 c #Conflicts: 1239000 | #Constraints: 54957
1823.36/1828.56 c #Conflicts: 1240000 | #Constraints: 55957
1823.36/1828.56 c #Conflicts: 1241000 | #Constraints: 56957
1823.36/1828.56 c #Conflicts: 1242000 | #Constraints: 57957
1823.36/1828.56 c #Conflicts: 1243000 | #Constraints: 58957
1823.36/1828.56 c #Conflicts: 1244000 | #Constraints: 59957
1823.36/1828.56 c #Conflicts: 1245000 | #Constraints: 60957
1823.36/1828.56 c #Conflicts: 1246000 | #Constraints: 61957
1823.36/1828.56 c #Conflicts: 1247000 | #Constraints: 62957
1823.36/1828.56 c #Conflicts: 1248000 | #Constraints: 63957
1823.36/1828.56 c #Conflicts: 1249000 | #Constraints: 64957
1823.36/1828.56 c #Conflicts: 1250000 | #Constraints: 65957
1823.36/1828.56 c #Conflicts: 1251000 | #Constraints: 66957
1823.36/1828.56 c #Conflicts: 1252000 | #Constraints: 67957
1823.36/1828.56 c #Conflicts: 1253000 | #Constraints: 68957
1823.36/1828.56 c #Conflicts: 1254000 | #Constraints: 69957
1823.36/1828.56 c #Conflicts: 1255000 | #Constraints: 70957
1823.36/1828.56 c #Conflicts: 1256000 | #Constraints: 71957
1823.36/1828.56 c INPROCESSING
1823.36/1828.56 c GARBAGE COLLECT
1823.36/1828.56 c #Conflicts: 1257000 | #Constraints: 50745
1823.36/1828.56 c #Conflicts: 1258000 | #Constraints: 51745
1823.36/1828.56 c #Conflicts: 1259000 | #Constraints: 52745
1823.36/1828.56 c #Conflicts: 1260000 | #Constraints: 53745
1823.36/1828.56 c #Conflicts: 1261000 | #Constraints: 54745
1823.36/1828.56 c #Conflicts: 1262000 | #Constraints: 55745
1823.36/1828.56 c #Conflicts: 1263000 | #Constraints: 56745
1823.36/1828.56 c #Conflicts: 1264000 | #Constraints: 57745
1823.36/1828.56 c #Conflicts: 1265000 | #Constraints: 58745
1823.36/1828.56 c #Conflicts: 1266000 | #Constraints: 59745
1823.36/1828.56 c #Conflicts: 1267000 | #Constraints: 60745
1823.36/1828.56 c #Conflicts: 1268000 | #Constraints: 61745
1964.63/1970.16 c #Conflicts: 1269000 | #Constraints: 62745
1964.63/1970.16 c #Conflicts: 1270000 | #Constraints: 63745
1964.63/1970.16 c #Conflicts: 1271000 | #Constraints: 64745
1964.63/1970.16 c #Conflicts: 1272000 | #Constraints: 65745
1964.63/1970.16 c #Conflicts: 1273000 | #Constraints: 66745
1964.63/1970.16 c #Conflicts: 1274000 | #Constraints: 67745
1964.63/1970.16 c #Conflicts: 1275000 | #Constraints: 68745
1964.63/1970.16 c #Conflicts: 1276000 | #Constraints: 69745
1964.63/1970.16 c #Conflicts: 1277000 | #Constraints: 70745
1964.63/1970.16 c #Conflicts: 1278000 | #Constraints: 71745
1964.63/1970.16 c #Conflicts: 1279000 | #Constraints: 72745
1964.63/1970.16 c INPROCESSING
1964.63/1970.16 c GARBAGE COLLECT
1964.63/1970.16 c #Conflicts: 1280000 | #Constraints: 51348
1964.63/1970.16 c #Conflicts: 1281000 | #Constraints: 52348
1964.63/1970.16 c #Conflicts: 1282000 | #Constraints: 53348
1964.63/1970.16 c #Conflicts: 1283000 | #Constraints: 54348
1964.63/1970.16 c #Conflicts: 1284000 | #Constraints: 55348
1964.63/1970.16 c #Conflicts: 1285000 | #Constraints: 56348
1964.63/1970.16 c #Conflicts: 1286000 | #Constraints: 57348
1964.63/1970.16 c #Conflicts: 1287000 | #Constraints: 58348
1964.63/1970.16 c #Conflicts: 1288000 | #Constraints: 59348
1964.63/1970.16 c #Conflicts: 1289000 | #Constraints: 60348
1964.63/1970.16 c #Conflicts: 1290000 | #Constraints: 61348
1964.63/1970.16 c #Conflicts: 1291000 | #Constraints: 62348
1964.63/1970.16 c #Conflicts: 1292000 | #Constraints: 63348
1964.63/1970.16 c #Conflicts: 1293000 | #Constraints: 64348
1964.63/1970.16 c #Conflicts: 1294000 | #Constraints: 65348
1964.63/1970.16 c #Conflicts: 1295000 | #Constraints: 66348
1964.63/1970.16 c #Conflicts: 1296000 | #Constraints: 67348
1964.63/1970.16 c #Conflicts: 1297000 | #Constraints: 68348
1964.63/1970.16 c #Conflicts: 1298000 | #Constraints: 69348
1964.63/1970.16 c #Conflicts: 1299000 | #Constraints: 70348
1964.63/1970.16 c #Conflicts: 1300000 | #Constraints: 71348
1964.63/1970.16 c #Conflicts: 1301000 | #Constraints: 72348
1964.63/1970.16 c #Conflicts: 1302000 | #Constraints: 73348
1964.63/1970.16 c INPROCESSING
1964.63/1970.16 c GARBAGE COLLECT
1964.63/1970.16 c #Conflicts: 1303000 | #Constraints: 51762
1964.63/1970.16 c #Conflicts: 1304000 | #Constraints: 52762
1964.63/1970.16 c #Conflicts: 1305000 | #Constraints: 53762
1964.63/1970.16 c #Conflicts: 1306000 | #Constraints: 54762
1964.63/1970.16 c #Conflicts: 1307000 | #Constraints: 55762
1964.63/1970.16 c #Conflicts: 1308000 | #Constraints: 56762
1964.63/1970.16 c #Conflicts: 1309000 | #Constraints: 57762
1964.63/1970.16 c #Conflicts: 1310000 | #Constraints: 58762
1964.63/1970.16 c #Conflicts: 1311000 | #Constraints: 59762
1964.63/1970.16 c #Conflicts: 1312000 | #Constraints: 60762
1964.63/1970.16 c #Conflicts: 1313000 | #Constraints: 61762
1964.63/1970.16 c #Conflicts: 1314000 | #Constraints: 62762
1964.63/1970.16 c #Conflicts: 1315000 | #Constraints: 63762
1964.63/1970.16 c #Conflicts: 1316000 | #Constraints: 64762
1964.63/1970.16 c #Conflicts: 1317000 | #Constraints: 65762
1964.63/1970.16 c #Conflicts: 1318000 | #Constraints: 66762
1964.63/1970.16 c #Conflicts: 1319000 | #Constraints: 67762
1964.63/1970.16 c #Conflicts: 1320000 | #Constraints: 68762
1964.63/1970.16 c #Conflicts: 1321000 | #Constraints: 69762
1964.63/1970.16 c #Conflicts: 1322000 | #Constraints: 70762
1964.63/1970.16 c #Conflicts: 1323000 | #Constraints: 71762
1964.63/1970.16 c #Conflicts: 1324000 | #Constraints: 72762
1964.63/1970.16 c #Conflicts: 1325000 | #Constraints: 73762
1964.63/1970.16 c INPROCESSING
1964.63/1970.16 c GARBAGE COLLECT
1964.63/1970.16 c #Conflicts: 1326000 | #Constraints: 51948
1964.63/1970.16 c #Conflicts: 1327000 | #Constraints: 52948
1964.63/1970.16 c #Conflicts: 1328000 | #Constraints: 53948
1964.63/1970.16 c #Conflicts: 1329000 | #Constraints: 54948
1964.63/1970.16 c #Conflicts: 1330000 | #Constraints: 55948
1964.63/1970.16 c #Conflicts: 1331000 | #Constraints: 56948
1964.63/1970.16 c #Conflicts: 1332000 | #Constraints: 57948
1964.63/1970.16 c #Conflicts: 1333000 | #Constraints: 58948
1964.63/1970.16 c #Conflicts: 1334000 | #Constraints: 59948
1964.63/1970.16 c #Conflicts: 1335000 | #Constraints: 60948
1964.63/1970.16 c #Conflicts: 1336000 | #Constraints: 61948
1964.63/1970.16 c #Conflicts: 1337000 | #Constraints: 62948
1964.63/1970.16 c #Conflicts: 1338000 | #Constraints: 63948
1964.63/1970.16 c #Conflicts: 1339000 | #Constraints: 64948
1964.63/1970.16 c #Conflicts: 1340000 | #Constraints: 65948
1964.63/1970.16 c #Conflicts: 1341000 | #Constraints: 66948
1964.63/1970.16 c #Conflicts: 1342000 | #Constraints: 67948
1964.63/1970.16 c #Conflicts: 1343000 | #Constraints: 68948
1964.63/1970.16 c #Conflicts: 1344000 | #Constraints: 69948
2121.24/2127.17 c #Conflicts: 1345000 | #Constraints: 70948
2121.24/2127.17 c #Conflicts: 1346000 | #Constraints: 71948
2121.24/2127.17 c #Conflicts: 1347000 | #Constraints: 72948
2121.24/2127.17 c #Conflicts: 1348000 | #Constraints: 73948
2121.24/2127.17 c INPROCESSING
2121.24/2127.17 c GARBAGE COLLECT
2121.24/2127.17 c #Conflicts: 1349000 | #Constraints: 51939
2121.24/2127.17 c #Conflicts: 1350000 | #Constraints: 52939
2121.24/2127.17 c #Conflicts: 1351000 | #Constraints: 53939
2121.24/2127.17 c #Conflicts: 1352000 | #Constraints: 54939
2121.24/2127.17 c #Conflicts: 1353000 | #Constraints: 55939
2121.24/2127.17 c #Conflicts: 1354000 | #Constraints: 56939
2121.24/2127.17 c #Conflicts: 1355000 | #Constraints: 57939
2121.24/2127.17 c #Conflicts: 1356000 | #Constraints: 58939
2121.24/2127.17 c #Conflicts: 1357000 | #Constraints: 59939
2121.24/2127.17 c #Conflicts: 1358000 | #Constraints: 60939
2121.24/2127.17 c #Conflicts: 1359000 | #Constraints: 61939
2121.24/2127.17 c #Conflicts: 1360000 | #Constraints: 62939
2121.24/2127.17 c #Conflicts: 1361000 | #Constraints: 63939
2121.24/2127.17 c #Conflicts: 1362000 | #Constraints: 64939
2121.24/2127.17 c #Conflicts: 1363000 | #Constraints: 65939
2121.24/2127.17 c #Conflicts: 1364000 | #Constraints: 66939
2121.24/2127.17 c #Conflicts: 1365000 | #Constraints: 67939
2121.24/2127.17 c #Conflicts: 1366000 | #Constraints: 68939
2121.24/2127.17 c #Conflicts: 1367000 | #Constraints: 69939
2121.24/2127.17 c #Conflicts: 1368000 | #Constraints: 70939
2121.24/2127.17 c #Conflicts: 1369000 | #Constraints: 71939
2121.24/2127.17 c #Conflicts: 1370000 | #Constraints: 72939
2121.24/2127.17 c #Conflicts: 1371000 | #Constraints: 73939
2121.24/2127.17 c INPROCESSING
2121.24/2127.17 c GARBAGE COLLECT
2121.24/2127.17 c #Conflicts: 1372000 | #Constraints: 51738
2121.24/2127.17 c #Conflicts: 1373000 | #Constraints: 52738
2121.24/2127.17 c #Conflicts: 1374000 | #Constraints: 53738
2121.24/2127.17 c #Conflicts: 1375000 | #Constraints: 54738
2121.24/2127.17 c #Conflicts: 1376000 | #Constraints: 55738
2121.24/2127.17 c #Conflicts: 1377000 | #Constraints: 56738
2121.24/2127.17 c #Conflicts: 1378000 | #Constraints: 57738
2121.24/2127.17 c #Conflicts: 1379000 | #Constraints: 58738
2121.24/2127.17 c #Conflicts: 1380000 | #Constraints: 59738
2121.24/2127.17 c #Conflicts: 1381000 | #Constraints: 60738
2121.24/2127.17 c #Conflicts: 1382000 | #Constraints: 61738
2121.24/2127.17 c #Conflicts: 1383000 | #Constraints: 62738
2121.24/2127.17 c #Conflicts: 1384000 | #Constraints: 63738
2121.24/2127.17 c #Conflicts: 1385000 | #Constraints: 64738
2121.24/2127.17 c #Conflicts: 1386000 | #Constraints: 65738
2121.24/2127.17 c #Conflicts: 1387000 | #Constraints: 66738
2121.24/2127.17 c #Conflicts: 1388000 | #Constraints: 67738
2121.24/2127.17 c #Conflicts: 1389000 | #Constraints: 68738
2121.24/2127.17 c #Conflicts: 1390000 | #Constraints: 69738
2121.24/2127.17 c #Conflicts: 1391000 | #Constraints: 70738
2121.24/2127.17 c #Conflicts: 1392000 | #Constraints: 71738
2121.24/2127.17 c #Conflicts: 1393000 | #Constraints: 72738
2121.24/2127.17 c #Conflicts: 1394000 | #Constraints: 73738
2121.24/2127.17 c #Conflicts: 1395000 | #Constraints: 74738
2121.24/2127.17 c INPROCESSING
2121.24/2127.17 c GARBAGE COLLECT
2121.24/2127.17 c #Conflicts: 1396000 | #Constraints: 52356
2121.24/2127.17 c #Conflicts: 1397000 | #Constraints: 53356
2121.24/2127.17 c #Conflicts: 1398000 | #Constraints: 54356
2121.24/2127.17 c #Conflicts: 1399000 | #Constraints: 55356
2121.24/2127.17 c #Conflicts: 1400000 | #Constraints: 56356
2121.24/2127.17 c #Conflicts: 1401000 | #Constraints: 57356
2121.24/2127.17 c #Conflicts: 1402000 | #Constraints: 58356
2121.24/2127.17 c #Conflicts: 1403000 | #Constraints: 59356
2121.24/2127.17 c #Conflicts: 1404000 | #Constraints: 60356
2121.24/2127.17 c #Conflicts: 1405000 | #Constraints: 61356
2121.24/2127.17 c #Conflicts: 1406000 | #Constraints: 62356
2121.24/2127.17 c #Conflicts: 1407000 | #Constraints: 63356
2121.24/2127.17 c #Conflicts: 1408000 | #Constraints: 64356
2121.24/2127.17 c #Conflicts: 1409000 | #Constraints: 65356
2121.24/2127.17 c #Conflicts: 1410000 | #Constraints: 66356
2121.24/2127.17 c #Conflicts: 1411000 | #Constraints: 67356
2121.24/2127.17 c #Conflicts: 1412000 | #Constraints: 68356
2121.24/2127.17 c #Conflicts: 1413000 | #Constraints: 69356
2121.24/2127.17 c #Conflicts: 1414000 | #Constraints: 70356
2121.24/2127.17 c #Conflicts: 1415000 | #Constraints: 71356
2121.24/2127.17 c #Conflicts: 1416000 | #Constraints: 72356
2121.24/2127.17 c #Conflicts: 1417000 | #Constraints: 73356
2121.24/2127.17 c #Conflicts: 1418000 | #Constraints: 74356
2121.24/2127.17 c #Conflicts: 1419000 | #Constraints: 75356
2121.24/2127.17 c INPROCESSING
2121.24/2127.17 c GARBAGE COLLECT
2121.24/2127.17 c #Conflicts: 1420000 | #Constraints: 52780
2121.24/2127.17 c #Conflicts: 1421000 | #Constraints: 53780
2280.13/2286.47 c #Conflicts: 1422000 | #Constraints: 54780
2280.13/2286.47 c #Conflicts: 1423000 | #Constraints: 55780
2280.13/2286.47 c #Conflicts: 1424000 | #Constraints: 56780
2280.13/2286.47 c #Conflicts: 1425000 | #Constraints: 57780
2280.13/2286.47 c #Conflicts: 1426000 | #Constraints: 58780
2280.13/2286.47 c #Conflicts: 1427000 | #Constraints: 59780
2280.13/2286.47 c #Conflicts: 1428000 | #Constraints: 60780
2280.13/2286.47 c #Conflicts: 1429000 | #Constraints: 61780
2280.13/2286.47 c #Conflicts: 1430000 | #Constraints: 62780
2280.13/2286.47 c #Conflicts: 1431000 | #Constraints: 63780
2280.13/2286.47 c #Conflicts: 1432000 | #Constraints: 64780
2280.13/2286.47 c #Conflicts: 1433000 | #Constraints: 65780
2280.13/2286.47 c #Conflicts: 1434000 | #Constraints: 66780
2280.13/2286.47 c #Conflicts: 1435000 | #Constraints: 67780
2280.13/2286.47 c #Conflicts: 1436000 | #Constraints: 68780
2280.13/2286.47 c #Conflicts: 1437000 | #Constraints: 69780
2280.13/2286.47 c #Conflicts: 1438000 | #Constraints: 70780
2280.13/2286.47 c #Conflicts: 1439000 | #Constraints: 71780
2280.13/2286.47 c #Conflicts: 1440000 | #Constraints: 72780
2280.13/2286.47 c #Conflicts: 1441000 | #Constraints: 73780
2280.13/2286.47 c #Conflicts: 1442000 | #Constraints: 74780
2280.13/2286.47 c #Conflicts: 1443000 | #Constraints: 75780
2280.13/2286.47 c INPROCESSING
2280.13/2286.47 c GARBAGE COLLECT
2280.13/2286.47 c #Conflicts: 1444000 | #Constraints: 52968
2280.13/2286.47 c #Conflicts: 1445000 | #Constraints: 53968
2280.13/2286.47 c #Conflicts: 1446000 | #Constraints: 54968
2280.13/2286.47 c #Conflicts: 1447000 | #Constraints: 55968
2280.13/2286.47 c #Conflicts: 1448000 | #Constraints: 56968
2280.13/2286.47 c #Conflicts: 1449000 | #Constraints: 57968
2280.13/2286.47 c #Conflicts: 1450000 | #Constraints: 58968
2280.13/2286.47 c #Conflicts: 1451000 | #Constraints: 59968
2280.13/2286.47 c #Conflicts: 1452000 | #Constraints: 60968
2280.13/2286.47 c #Conflicts: 1453000 | #Constraints: 61968
2280.13/2286.47 c #Conflicts: 1454000 | #Constraints: 62968
2280.13/2286.47 c #Conflicts: 1455000 | #Constraints: 63968
2280.13/2286.47 c #Conflicts: 1456000 | #Constraints: 64968
2280.13/2286.47 c #Conflicts: 1457000 | #Constraints: 65968
2280.13/2286.47 c #Conflicts: 1458000 | #Constraints: 66968
2280.13/2286.47 c #Conflicts: 1459000 | #Constraints: 67968
2280.13/2286.47 c #Conflicts: 1460000 | #Constraints: 68968
2280.13/2286.47 c #Conflicts: 1461000 | #Constraints: 69968
2280.13/2286.47 c #Conflicts: 1462000 | #Constraints: 70968
2280.13/2286.47 c #Conflicts: 1463000 | #Constraints: 71968
2280.13/2286.47 c #Conflicts: 1464000 | #Constraints: 72968
2280.13/2286.47 c #Conflicts: 1465000 | #Constraints: 73968
2280.13/2286.47 c #Conflicts: 1466000 | #Constraints: 74968
2280.13/2286.47 c #Conflicts: 1467000 | #Constraints: 75968
2280.13/2286.47 c INPROCESSING
2280.13/2286.47 c GARBAGE COLLECT
2280.13/2286.47 c #Conflicts: 1468000 | #Constraints: 52965
2280.13/2286.47 c #Conflicts: 1469000 | #Constraints: 53965
2280.13/2286.47 c #Conflicts: 1470000 | #Constraints: 54965
2280.13/2286.47 c #Conflicts: 1471000 | #Constraints: 55965
2280.13/2286.47 c #Conflicts: 1472000 | #Constraints: 56965
2280.13/2286.47 c #Conflicts: 1473000 | #Constraints: 57965
2280.13/2286.47 c #Conflicts: 1474000 | #Constraints: 58965
2280.13/2286.47 c #Conflicts: 1475000 | #Constraints: 59965
2280.13/2286.47 c #Conflicts: 1476000 | #Constraints: 60965
2280.13/2286.47 c #Conflicts: 1477000 | #Constraints: 61965
2280.13/2286.47 c #Conflicts: 1478000 | #Constraints: 62965
2280.13/2286.47 c #Conflicts: 1479000 | #Constraints: 63965
2280.13/2286.47 c #Conflicts: 1480000 | #Constraints: 64965
2280.13/2286.47 c #Conflicts: 1481000 | #Constraints: 65965
2280.13/2286.47 c #Conflicts: 1482000 | #Constraints: 66965
2280.13/2286.47 c #Conflicts: 1483000 | #Constraints: 67965
2280.13/2286.47 c #Conflicts: 1484000 | #Constraints: 68965
2280.13/2286.47 c #Conflicts: 1485000 | #Constraints: 69965
2280.13/2286.47 c #Conflicts: 1486000 | #Constraints: 70965
2280.13/2286.47 c #Conflicts: 1487000 | #Constraints: 71965
2280.13/2286.47 c #Conflicts: 1488000 | #Constraints: 72965
2280.13/2286.47 c #Conflicts: 1489000 | #Constraints: 73965
2280.13/2286.47 c #Conflicts: 1490000 | #Constraints: 74965
2280.13/2286.47 c #Conflicts: 1491000 | #Constraints: 75965
2280.13/2286.47 c INPROCESSING
2280.13/2286.47 c GARBAGE COLLECT
2280.13/2286.47 c #Conflicts: 1492000 | #Constraints: 52757
2280.13/2286.47 c #Conflicts: 1493000 | #Constraints: 53757
2280.13/2286.47 c #Conflicts: 1494000 | #Constraints: 54757
2280.13/2286.47 c #Conflicts: 1495000 | #Constraints: 55757
2280.13/2286.47 c #Conflicts: 1496000 | #Constraints: 56757
2280.13/2286.47 c #Conflicts: 1497000 | #Constraints: 57757
2280.13/2286.47 c #Conflicts: 1498000 | #Constraints: 58757
2437.56/2444.28 c #Conflicts: 1499000 | #Constraints: 59757
2437.56/2444.28 c #Conflicts: 1500000 | #Constraints: 60757
2437.56/2444.28 c #Conflicts: 1501000 | #Constraints: 61757
2437.56/2444.28 c #Conflicts: 1502000 | #Constraints: 62757
2437.56/2444.28 c #Conflicts: 1503000 | #Constraints: 63757
2437.56/2444.28 c #Conflicts: 1504000 | #Constraints: 64757
2437.56/2444.28 c #Conflicts: 1505000 | #Constraints: 65757
2437.56/2444.28 c #Conflicts: 1506000 | #Constraints: 66757
2437.56/2444.28 c #Conflicts: 1507000 | #Constraints: 67757
2437.56/2444.28 c #Conflicts: 1508000 | #Constraints: 68757
2437.56/2444.28 c #Conflicts: 1509000 | #Constraints: 69757
2437.56/2444.28 c #Conflicts: 1510000 | #Constraints: 70757
2437.56/2444.28 c #Conflicts: 1511000 | #Constraints: 71757
2437.56/2444.28 c #Conflicts: 1512000 | #Constraints: 72757
2437.56/2444.28 c #Conflicts: 1513000 | #Constraints: 73757
2437.56/2444.28 c #Conflicts: 1514000 | #Constraints: 74757
2437.56/2444.28 c #Conflicts: 1515000 | #Constraints: 75757
2437.56/2444.28 c #Conflicts: 1516000 | #Constraints: 76757
2437.56/2444.28 c INPROCESSING
2437.56/2444.28 c GARBAGE COLLECT
2437.56/2444.28 c #Conflicts: 1517000 | #Constraints: 53345
2437.56/2444.28 c #Conflicts: 1518000 | #Constraints: 54345
2437.56/2444.28 c #Conflicts: 1519000 | #Constraints: 55345
2437.56/2444.28 c #Conflicts: 1520000 | #Constraints: 56345
2437.56/2444.28 c #Conflicts: 1521000 | #Constraints: 57345
2437.56/2444.28 c #Conflicts: 1522000 | #Constraints: 58345
2437.56/2444.28 c #Conflicts: 1523000 | #Constraints: 59345
2437.56/2444.28 c #Conflicts: 1524000 | #Constraints: 60345
2437.56/2444.28 c #Conflicts: 1525000 | #Constraints: 61345
2437.56/2444.28 c #Conflicts: 1526000 | #Constraints: 62345
2437.56/2444.28 c #Conflicts: 1527000 | #Constraints: 63345
2437.56/2444.28 c #Conflicts: 1528000 | #Constraints: 64345
2437.56/2444.28 c #Conflicts: 1529000 | #Constraints: 65345
2437.56/2444.28 c #Conflicts: 1530000 | #Constraints: 66345
2437.56/2444.28 c #Conflicts: 1531000 | #Constraints: 67345
2437.56/2444.28 c #Conflicts: 1532000 | #Constraints: 68345
2437.56/2444.28 c #Conflicts: 1533000 | #Constraints: 69345
2437.56/2444.28 c #Conflicts: 1534000 | #Constraints: 70345
2437.56/2444.28 c #Conflicts: 1535000 | #Constraints: 71345
2437.56/2444.28 c #Conflicts: 1536000 | #Constraints: 72345
2437.56/2444.28 c #Conflicts: 1537000 | #Constraints: 73345
2437.56/2444.28 c #Conflicts: 1538000 | #Constraints: 74345
2437.56/2444.28 c #Conflicts: 1539000 | #Constraints: 75345
2437.56/2444.28 c #Conflicts: 1540000 | #Constraints: 76345
2437.56/2444.28 c #Conflicts: 1541000 | #Constraints: 77345
2437.56/2444.28 c INPROCESSING
2437.56/2444.28 c GARBAGE COLLECT
2437.56/2444.28 c #Conflicts: 1542000 | #Constraints: 53741
2437.56/2444.28 c #Conflicts: 1543000 | #Constraints: 54741
2437.56/2444.28 c #Conflicts: 1544000 | #Constraints: 55741
2437.56/2444.28 c #Conflicts: 1545000 | #Constraints: 56741
2437.56/2444.28 c #Conflicts: 1546000 | #Constraints: 57741
2437.56/2444.28 c #Conflicts: 1547000 | #Constraints: 58741
2437.56/2444.28 c #Conflicts: 1548000 | #Constraints: 59741
2437.56/2444.28 c #Conflicts: 1549000 | #Constraints: 60741
2437.56/2444.28 c #Conflicts: 1550000 | #Constraints: 61741
2437.56/2444.28 c #Conflicts: 1551000 | #Constraints: 62741
2437.56/2444.28 c #Conflicts: 1552000 | #Constraints: 63741
2437.56/2444.28 c #Conflicts: 1553000 | #Constraints: 64741
2437.56/2444.28 c #Conflicts: 1554000 | #Constraints: 65741
2437.56/2444.28 c #Conflicts: 1555000 | #Constraints: 66741
2437.56/2444.28 c #Conflicts: 1556000 | #Constraints: 67741
2437.56/2444.28 c #Conflicts: 1557000 | #Constraints: 68741
2437.56/2444.28 c #Conflicts: 1558000 | #Constraints: 69741
2437.56/2444.28 c #Conflicts: 1559000 | #Constraints: 70741
2437.56/2444.28 c #Conflicts: 1560000 | #Constraints: 71741
2437.56/2444.28 c #Conflicts: 1561000 | #Constraints: 72741
2437.56/2444.28 c #Conflicts: 1562000 | #Constraints: 73741
2437.56/2444.28 c #Conflicts: 1563000 | #Constraints: 74741
2437.56/2444.28 c #Conflicts: 1564000 | #Constraints: 75741
2437.56/2444.28 c #Conflicts: 1565000 | #Constraints: 76741
2437.56/2444.28 c #Conflicts: 1566000 | #Constraints: 77741
2437.56/2444.28 c INPROCESSING
2437.56/2444.28 c GARBAGE COLLECT
2437.56/2444.28 c #Conflicts: 1567000 | #Constraints: 53953
2437.56/2444.28 c #Conflicts: 1568000 | #Constraints: 54953
2437.56/2444.28 c #Conflicts: 1569000 | #Constraints: 55953
2437.56/2444.28 c #Conflicts: 1570000 | #Constraints: 56953
2437.56/2444.28 c #Conflicts: 1571000 | #Constraints: 57953
2437.56/2444.28 c #Conflicts: 1572000 | #Constraints: 58953
2437.56/2444.28 c #Conflicts: 1573000 | #Constraints: 59953
2437.56/2444.28 c #Conflicts: 1574000 | #Constraints: 60953
2585.11/2592.11 c #Conflicts: 1575000 | #Constraints: 61953
2585.11/2592.11 c #Conflicts: 1576000 | #Constraints: 62953
2585.11/2592.11 c #Conflicts: 1577000 | #Constraints: 63953
2585.11/2592.11 c #Conflicts: 1578000 | #Constraints: 64953
2585.11/2592.11 c #Conflicts: 1579000 | #Constraints: 65953
2585.11/2592.11 c #Conflicts: 1580000 | #Constraints: 66953
2585.11/2592.11 c #Conflicts: 1581000 | #Constraints: 67953
2585.11/2592.11 c #Conflicts: 1582000 | #Constraints: 68953
2585.11/2592.11 c #Conflicts: 1583000 | #Constraints: 69953
2585.11/2592.11 c #Conflicts: 1584000 | #Constraints: 70953
2585.11/2592.11 c #Conflicts: 1585000 | #Constraints: 71953
2585.11/2592.11 c #Conflicts: 1586000 | #Constraints: 72953
2585.11/2592.11 c #Conflicts: 1587000 | #Constraints: 73953
2585.11/2592.11 c #Conflicts: 1588000 | #Constraints: 74953
2585.11/2592.11 c #Conflicts: 1589000 | #Constraints: 75953
2585.11/2592.11 c #Conflicts: 1590000 | #Constraints: 76953
2585.11/2592.11 c #Conflicts: 1591000 | #Constraints: 77953
2585.11/2592.11 c INPROCESSING
2585.11/2592.11 c GARBAGE COLLECT
2585.11/2592.11 c #Conflicts: 1592000 | #Constraints: 53962
2585.11/2592.11 c #Conflicts: 1593000 | #Constraints: 54962
2585.11/2592.11 c #Conflicts: 1594000 | #Constraints: 55962
2585.11/2592.11 c #Conflicts: 1595000 | #Constraints: 56962
2585.11/2592.11 c #Conflicts: 1596000 | #Constraints: 57962
2585.11/2592.11 c #Conflicts: 1597000 | #Constraints: 58962
2585.11/2592.11 c #Conflicts: 1598000 | #Constraints: 59962
2585.11/2592.11 c #Conflicts: 1599000 | #Constraints: 60962
2585.11/2592.11 c #Conflicts: 1600000 | #Constraints: 61962
2585.11/2592.11 c #Conflicts: 1601000 | #Constraints: 62962
2585.11/2592.11 c #Conflicts: 1602000 | #Constraints: 63962
2585.11/2592.11 c #Conflicts: 1603000 | #Constraints: 64962
2585.11/2592.11 c #Conflicts: 1604000 | #Constraints: 65962
2585.11/2592.11 c #Conflicts: 1605000 | #Constraints: 66962
2585.11/2592.11 c #Conflicts: 1606000 | #Constraints: 67962
2585.11/2592.11 c #Conflicts: 1607000 | #Constraints: 68962
2585.11/2592.11 c #Conflicts: 1608000 | #Constraints: 69962
2585.11/2592.11 c #Conflicts: 1609000 | #Constraints: 70962
2585.11/2592.11 c #Conflicts: 1610000 | #Constraints: 71962
2585.11/2592.11 c #Conflicts: 1611000 | #Constraints: 72962
2585.11/2592.11 c #Conflicts: 1612000 | #Constraints: 73962
2585.11/2592.11 c #Conflicts: 1613000 | #Constraints: 74962
2585.11/2592.11 c #Conflicts: 1614000 | #Constraints: 75962
2585.11/2592.11 c #Conflicts: 1615000 | #Constraints: 76962
2585.11/2592.11 c #Conflicts: 1616000 | #Constraints: 77962
2585.11/2592.11 c INPROCESSING
2585.11/2592.11 c GARBAGE COLLECT
2585.11/2592.11 c #Conflicts: 1617000 | #Constraints: 53745
2585.11/2592.11 c #Conflicts: 1618000 | #Constraints: 54745
2585.11/2592.11 c #Conflicts: 1619000 | #Constraints: 55745
2585.11/2592.11 c #Conflicts: 1620000 | #Constraints: 56745
2585.11/2592.11 c #Conflicts: 1621000 | #Constraints: 57745
2585.11/2592.11 c #Conflicts: 1622000 | #Constraints: 58745
2585.11/2592.11 c #Conflicts: 1623000 | #Constraints: 59745
2585.11/2592.11 c #Conflicts: 1624000 | #Constraints: 60745
2585.11/2592.11 c #Conflicts: 1625000 | #Constraints: 61745
2585.11/2592.11 c #Conflicts: 1626000 | #Constraints: 62745
2585.11/2592.11 c #Conflicts: 1627000 | #Constraints: 63745
2585.11/2592.11 c #Conflicts: 1628000 | #Constraints: 64745
2585.11/2592.11 c #Conflicts: 1629000 | #Constraints: 65745
2585.11/2592.11 c #Conflicts: 1630000 | #Constraints: 66745
2585.11/2592.11 c #Conflicts: 1631000 | #Constraints: 67745
2585.11/2592.11 c #Conflicts: 1632000 | #Constraints: 68745
2585.11/2592.11 c #Conflicts: 1633000 | #Constraints: 69745
2585.11/2592.11 c #Conflicts: 1634000 | #Constraints: 70745
2585.11/2592.11 c #Conflicts: 1635000 | #Constraints: 71745
2585.11/2592.11 c #Conflicts: 1636000 | #Constraints: 72745
2585.11/2592.11 c #Conflicts: 1637000 | #Constraints: 73745
2585.11/2592.11 c #Conflicts: 1638000 | #Constraints: 74745
2585.11/2592.11 c #Conflicts: 1639000 | #Constraints: 75745
2585.11/2592.11 c #Conflicts: 1640000 | #Constraints: 76745
2585.11/2592.11 c #Conflicts: 1641000 | #Constraints: 77745
2585.11/2592.11 c #Conflicts: 1642000 | #Constraints: 78745
2585.11/2592.11 c INPROCESSING
2585.11/2592.11 c GARBAGE COLLECT
2585.11/2592.11 c #Conflicts: 1643000 | #Constraints: 54336
2585.11/2592.11 c #Conflicts: 1644000 | #Constraints: 55336
2585.11/2592.11 c #Conflicts: 1645000 | #Constraints: 56336
2585.11/2592.11 c #Conflicts: 1646000 | #Constraints: 57336
2585.11/2592.11 c #Conflicts: 1647000 | #Constraints: 58336
2585.11/2592.11 c #Conflicts: 1648000 | #Constraints: 59336
2585.11/2592.11 c #Conflicts: 1649000 | #Constraints: 60336
2585.11/2592.11 c #Conflicts: 1650000 | #Constraints: 61336
2585.11/2592.11 c #Conflicts: 1651000 | #Constraints: 62336
2762.76/2770.28 c #Conflicts: 1652000 | #Constraints: 63336
2762.76/2770.28 c #Conflicts: 1653000 | #Constraints: 64336
2762.76/2770.28 c #Conflicts: 1654000 | #Constraints: 65336
2762.76/2770.28 c #Conflicts: 1655000 | #Constraints: 66336
2762.76/2770.28 c #Conflicts: 1656000 | #Constraints: 67336
2762.76/2770.28 c #Conflicts: 1657000 | #Constraints: 68336
2762.76/2770.28 c #Conflicts: 1658000 | #Constraints: 69336
2762.76/2770.28 c #Conflicts: 1659000 | #Constraints: 70336
2762.76/2770.28 c #Conflicts: 1660000 | #Constraints: 71336
2762.76/2770.28 c #Conflicts: 1661000 | #Constraints: 72336
2762.76/2770.28 c #Conflicts: 1662000 | #Constraints: 73336
2762.76/2770.28 c #Conflicts: 1663000 | #Constraints: 74336
2762.76/2770.28 c #Conflicts: 1664000 | #Constraints: 75336
2762.76/2770.28 c #Conflicts: 1665000 | #Constraints: 76336
2762.76/2770.28 c #Conflicts: 1666000 | #Constraints: 77336
2762.76/2770.28 c #Conflicts: 1667000 | #Constraints: 78336
2762.76/2770.28 c #Conflicts: 1668000 | #Constraints: 79336
2762.76/2770.28 c INPROCESSING
2762.76/2770.28 c GARBAGE COLLECT
2762.76/2770.28 c #Conflicts: 1669000 | #Constraints: 54742
2762.76/2770.28 c #Conflicts: 1670000 | #Constraints: 55742
2762.76/2770.28 c #Conflicts: 1671000 | #Constraints: 56742
2762.76/2770.28 c #Conflicts: 1672000 | #Constraints: 57742
2762.76/2770.28 c #Conflicts: 1673000 | #Constraints: 58742
2762.76/2770.28 c #Conflicts: 1674000 | #Constraints: 59742
2762.76/2770.28 c #Conflicts: 1675000 | #Constraints: 60742
2762.76/2770.28 c #Conflicts: 1676000 | #Constraints: 61742
2762.76/2770.28 c #Conflicts: 1677000 | #Constraints: 62742
2762.76/2770.28 c #Conflicts: 1678000 | #Constraints: 63742
2762.76/2770.28 c #Conflicts: 1679000 | #Constraints: 64742
2762.76/2770.28 c #Conflicts: 1680000 | #Constraints: 65742
2762.76/2770.28 c #Conflicts: 1681000 | #Constraints: 66742
2762.76/2770.28 c #Conflicts: 1682000 | #Constraints: 67742
2762.76/2770.28 c #Conflicts: 1683000 | #Constraints: 68742
2762.76/2770.28 c #Conflicts: 1684000 | #Constraints: 69742
2762.76/2770.28 c #Conflicts: 1685000 | #Constraints: 70742
2762.76/2770.28 c #Conflicts: 1686000 | #Constraints: 71742
2762.76/2770.28 c #Conflicts: 1687000 | #Constraints: 72742
2762.76/2770.28 c #Conflicts: 1688000 | #Constraints: 73742
2762.76/2770.28 c #Conflicts: 1689000 | #Constraints: 74742
2762.76/2770.28 c #Conflicts: 1690000 | #Constraints: 75742
2762.76/2770.28 c #Conflicts: 1691000 | #Constraints: 76742
2762.76/2770.28 c #Conflicts: 1692000 | #Constraints: 77742
2762.76/2770.28 c #Conflicts: 1693000 | #Constraints: 78742
2762.76/2770.28 c #Conflicts: 1694000 | #Constraints: 79742
2762.76/2770.28 c INPROCESSING
2762.76/2770.28 c GARBAGE COLLECT
2762.76/2770.28 c #Conflicts: 1695000 | #Constraints: 54961
2762.76/2770.28 c #Conflicts: 1696000 | #Constraints: 55961
2762.76/2770.28 c #Conflicts: 1697000 | #Constraints: 56961
2762.76/2770.28 c #Conflicts: 1698000 | #Constraints: 57961
2762.76/2770.28 c #Conflicts: 1699000 | #Constraints: 58961
2762.76/2770.28 c #Conflicts: 1700000 | #Constraints: 59961
2762.76/2770.28 c #Conflicts: 1701000 | #Constraints: 60961
2762.76/2770.28 c #Conflicts: 1702000 | #Constraints: 61961
2762.76/2770.28 c #Conflicts: 1703000 | #Constraints: 62961
2762.76/2770.28 c #Conflicts: 1704000 | #Constraints: 63961
2762.76/2770.28 c #Conflicts: 1705000 | #Constraints: 64961
2762.76/2770.28 c #Conflicts: 1706000 | #Constraints: 65961
2762.76/2770.28 c #Conflicts: 1707000 | #Constraints: 66961
2762.76/2770.28 c #Conflicts: 1708000 | #Constraints: 67961
2762.76/2770.28 c #Conflicts: 1709000 | #Constraints: 68961
2762.76/2770.28 c #Conflicts: 1710000 | #Constraints: 69961
2762.76/2770.28 c #Conflicts: 1711000 | #Constraints: 70961
2762.76/2770.28 c #Conflicts: 1712000 | #Constraints: 71961
2762.76/2770.28 c #Conflicts: 1713000 | #Constraints: 72961
2762.76/2770.28 c #Conflicts: 1714000 | #Constraints: 73961
2762.76/2770.28 c #Conflicts: 1715000 | #Constraints: 74961
2762.76/2770.28 c #Conflicts: 1716000 | #Constraints: 75961
2762.76/2770.28 c #Conflicts: 1717000 | #Constraints: 76961
2762.76/2770.28 c #Conflicts: 1718000 | #Constraints: 77961
2762.76/2770.28 c #Conflicts: 1719000 | #Constraints: 78961
2762.76/2770.28 c #Conflicts: 1720000 | #Constraints: 79961
2762.76/2770.28 c INPROCESSING
2762.76/2770.28 c GARBAGE COLLECT
2762.76/2770.28 c #Conflicts: 1721000 | #Constraints: 54974
2762.76/2770.28 c #Conflicts: 1722000 | #Constraints: 55974
2762.76/2770.28 c #Conflicts: 1723000 | #Constraints: 56974
2762.76/2770.28 c #Conflicts: 1724000 | #Constraints: 57974
2762.76/2770.28 c #Conflicts: 1725000 | #Constraints: 58974
2762.76/2770.28 c #Conflicts: 1726000 | #Constraints: 59974
2762.76/2770.28 c #Conflicts: 1727000 | #Constraints: 60974
2762.76/2770.28 c #Conflicts: 1728000 | #Constraints: 61974
2936.93/2944.81 c #Conflicts: 1729000 | #Constraints: 62974
2936.93/2944.81 c #Conflicts: 1730000 | #Constraints: 63974
2936.93/2944.81 c #Conflicts: 1731000 | #Constraints: 64974
2936.93/2944.81 c #Conflicts: 1732000 | #Constraints: 65974
2936.93/2944.81 c #Conflicts: 1733000 | #Constraints: 66974
2936.93/2944.81 c #Conflicts: 1734000 | #Constraints: 67974
2936.93/2944.81 c #Conflicts: 1735000 | #Constraints: 68974
2936.93/2944.81 c #Conflicts: 1736000 | #Constraints: 69974
2936.93/2944.81 c #Conflicts: 1737000 | #Constraints: 70974
2936.93/2944.81 c #Conflicts: 1738000 | #Constraints: 71974
2936.93/2944.81 c #Conflicts: 1739000 | #Constraints: 72974
2936.93/2944.81 c #Conflicts: 1740000 | #Constraints: 73974
2936.93/2944.81 c #Conflicts: 1741000 | #Constraints: 74974
2936.93/2944.81 c #Conflicts: 1742000 | #Constraints: 75974
2936.93/2944.81 c #Conflicts: 1743000 | #Constraints: 76974
2936.93/2944.81 c #Conflicts: 1744000 | #Constraints: 77974
2936.93/2944.81 c #Conflicts: 1745000 | #Constraints: 78974
2936.93/2944.81 c #Conflicts: 1746000 | #Constraints: 79974
2936.93/2944.81 c INPROCESSING
2936.93/2944.81 c GARBAGE COLLECT
2936.93/2944.81 c #Conflicts: 1747000 | #Constraints: 54757
2936.93/2944.81 c #Conflicts: 1748000 | #Constraints: 55757
2936.93/2944.81 c #Conflicts: 1749000 | #Constraints: 56757
2936.93/2944.81 c #Conflicts: 1750000 | #Constraints: 57757
2936.93/2944.81 c #Conflicts: 1751000 | #Constraints: 58757
2936.93/2944.81 c #Conflicts: 1752000 | #Constraints: 59757
2936.93/2944.81 c #Conflicts: 1753000 | #Constraints: 60757
2936.93/2944.81 c #Conflicts: 1754000 | #Constraints: 61757
2936.93/2944.81 c #Conflicts: 1755000 | #Constraints: 62757
2936.93/2944.81 c #Conflicts: 1756000 | #Constraints: 63757
2936.93/2944.81 c #Conflicts: 1757000 | #Constraints: 64757
2936.93/2944.81 c #Conflicts: 1758000 | #Constraints: 65757
2936.93/2944.81 c #Conflicts: 1759000 | #Constraints: 66757
2936.93/2944.81 c #Conflicts: 1760000 | #Constraints: 67757
2936.93/2944.81 c #Conflicts: 1761000 | #Constraints: 68757
2936.93/2944.81 c #Conflicts: 1762000 | #Constraints: 69757
2936.93/2944.81 c #Conflicts: 1763000 | #Constraints: 70757
2936.93/2944.81 c #Conflicts: 1764000 | #Constraints: 71757
2936.93/2944.81 c #Conflicts: 1765000 | #Constraints: 72757
2936.93/2944.81 c #Conflicts: 1766000 | #Constraints: 73757
2936.93/2944.81 c #Conflicts: 1767000 | #Constraints: 74757
2936.93/2944.81 c #Conflicts: 1768000 | #Constraints: 75757
2936.93/2944.81 c #Conflicts: 1769000 | #Constraints: 76757
2936.93/2944.81 c #Conflicts: 1770000 | #Constraints: 77757
2936.93/2944.81 c #Conflicts: 1771000 | #Constraints: 78757
2936.93/2944.81 c #Conflicts: 1772000 | #Constraints: 79757
2936.93/2944.81 c #Conflicts: 1773000 | #Constraints: 80757
2936.93/2944.81 c INPROCESSING
2936.93/2944.81 c GARBAGE COLLECT
2936.93/2944.81 c #Conflicts: 1774000 | #Constraints: 55342
2936.93/2944.81 c #Conflicts: 1775000 | #Constraints: 56342
2936.93/2944.81 c #Conflicts: 1776000 | #Constraints: 57342
2936.93/2944.81 c #Conflicts: 1777000 | #Constraints: 58342
2936.93/2944.81 c #Conflicts: 1778000 | #Constraints: 59342
2936.93/2944.81 c #Conflicts: 1779000 | #Constraints: 60342
2936.93/2944.81 c #Conflicts: 1780000 | #Constraints: 61342
2936.93/2944.81 c #Conflicts: 1781000 | #Constraints: 62342
2936.93/2944.81 c #Conflicts: 1782000 | #Constraints: 63342
2936.93/2944.81 c #Conflicts: 1783000 | #Constraints: 64342
2936.93/2944.81 c #Conflicts: 1784000 | #Constraints: 65342
2936.93/2944.81 c #Conflicts: 1785000 | #Constraints: 66342
2936.93/2944.81 c #Conflicts: 1786000 | #Constraints: 67342
2936.93/2944.81 c #Conflicts: 1787000 | #Constraints: 68342
2936.93/2944.81 c #Conflicts: 1788000 | #Constraints: 69342
2936.93/2944.81 c #Conflicts: 1789000 | #Constraints: 70342
2936.93/2944.81 c #Conflicts: 1790000 | #Constraints: 71342
2936.93/2944.81 c #Conflicts: 1791000 | #Constraints: 72342
2936.93/2944.81 c #Conflicts: 1792000 | #Constraints: 73342
2936.93/2944.81 c #Conflicts: 1793000 | #Constraints: 74342
2936.93/2944.81 c #Conflicts: 1794000 | #Constraints: 75342
2936.93/2944.81 c #Conflicts: 1795000 | #Constraints: 76342
2936.93/2944.81 c #Conflicts: 1796000 | #Constraints: 77342
2936.93/2944.81 c #Conflicts: 1797000 | #Constraints: 78342
2936.93/2944.81 c #Conflicts: 1798000 | #Constraints: 79342
2936.93/2944.81 c #Conflicts: 1799000 | #Constraints: 80342
2936.93/2944.81 c #Conflicts: 1800000 | #Constraints: 81342
2936.93/2944.81 c INPROCESSING
2936.93/2944.81 c GARBAGE COLLECT
2936.93/2944.81 c #Conflicts: 1801000 | #Constraints: 55751
2936.93/2944.81 c #Conflicts: 1802000 | #Constraints: 56751
2936.93/2944.81 c #Conflicts: 1803000 | #Constraints: 57751
2936.93/2944.81 c #Conflicts: 1804000 | #Constraints: 58751
2936.93/2944.81 c #Conflicts: 1805000 | #Constraints: 59751
3124.71/3133.13 c #Conflicts: 1806000 | #Constraints: 60751
3124.71/3133.13 c #Conflicts: 1807000 | #Constraints: 61751
3124.71/3133.13 c #Conflicts: 1808000 | #Constraints: 62751
3124.71/3133.13 c #Conflicts: 1809000 | #Constraints: 63751
3124.71/3133.13 c #Conflicts: 1810000 | #Constraints: 64751
3124.71/3133.13 c #Conflicts: 1811000 | #Constraints: 65751
3124.71/3133.13 c #Conflicts: 1812000 | #Constraints: 66751
3124.71/3133.13 c #Conflicts: 1813000 | #Constraints: 67751
3124.71/3133.13 c #Conflicts: 1814000 | #Constraints: 68751
3124.71/3133.13 c #Conflicts: 1815000 | #Constraints: 69751
3124.71/3133.13 c #Conflicts: 1816000 | #Constraints: 70751
3124.71/3133.13 c #Conflicts: 1817000 | #Constraints: 71751
3124.71/3133.13 c #Conflicts: 1818000 | #Constraints: 72751
3124.71/3133.13 c #Conflicts: 1819000 | #Constraints: 73751
3124.71/3133.13 c #Conflicts: 1820000 | #Constraints: 74751
3124.71/3133.13 c #Conflicts: 1821000 | #Constraints: 75751
3124.71/3133.13 c #Conflicts: 1822000 | #Constraints: 76751
3124.71/3133.13 c #Conflicts: 1823000 | #Constraints: 77751
3124.71/3133.13 c #Conflicts: 1824000 | #Constraints: 78751
3124.71/3133.13 c #Conflicts: 1825000 | #Constraints: 79751
3124.71/3133.13 c #Conflicts: 1826000 | #Constraints: 80751
3124.71/3133.13 c #Conflicts: 1827000 | #Constraints: 81751
3124.71/3133.13 c INPROCESSING
3124.71/3133.13 c GARBAGE COLLECT
3124.71/3133.13 c #Conflicts: 1828000 | #Constraints: 55953
3124.71/3133.13 c #Conflicts: 1829000 | #Constraints: 56953
3124.71/3133.13 c #Conflicts: 1830000 | #Constraints: 57953
3124.71/3133.13 c #Conflicts: 1831000 | #Constraints: 58953
3124.71/3133.13 c #Conflicts: 1832000 | #Constraints: 59953
3124.71/3133.13 c #Conflicts: 1833000 | #Constraints: 60953
3124.71/3133.13 c #Conflicts: 1834000 | #Constraints: 61953
3124.71/3133.13 c #Conflicts: 1835000 | #Constraints: 62953
3124.71/3133.13 c #Conflicts: 1836000 | #Constraints: 63953
3124.71/3133.13 c #Conflicts: 1837000 | #Constraints: 64953
3124.71/3133.13 c #Conflicts: 1838000 | #Constraints: 65953
3124.71/3133.13 c #Conflicts: 1839000 | #Constraints: 66953
3124.71/3133.13 c #Conflicts: 1840000 | #Constraints: 67953
3124.71/3133.13 c #Conflicts: 1841000 | #Constraints: 68953
3124.71/3133.13 c #Conflicts: 1842000 | #Constraints: 69953
3124.71/3133.13 c #Conflicts: 1843000 | #Constraints: 70953
3124.71/3133.13 c #Conflicts: 1844000 | #Constraints: 71953
3124.71/3133.13 c #Conflicts: 1845000 | #Constraints: 72953
3124.71/3133.13 c #Conflicts: 1846000 | #Constraints: 73953
3124.71/3133.13 c #Conflicts: 1847000 | #Constraints: 74953
3124.71/3133.13 c #Conflicts: 1848000 | #Constraints: 75953
3124.71/3133.13 c #Conflicts: 1849000 | #Constraints: 76953
3124.71/3133.13 c #Conflicts: 1850000 | #Constraints: 77953
3124.71/3133.13 c #Conflicts: 1851000 | #Constraints: 78953
3124.71/3133.13 c #Conflicts: 1852000 | #Constraints: 79953
3124.71/3133.13 c #Conflicts: 1853000 | #Constraints: 80953
3124.71/3133.13 c #Conflicts: 1854000 | #Constraints: 81953
3124.71/3133.13 c INPROCESSING
3124.71/3133.13 c GARBAGE COLLECT
3124.71/3133.13 c #Conflicts: 1855000 | #Constraints: 55941
3124.71/3133.13 c #Conflicts: 1856000 | #Constraints: 56941
3124.71/3133.13 c #Conflicts: 1857000 | #Constraints: 57941
3124.71/3133.13 c #Conflicts: 1858000 | #Constraints: 58941
3124.71/3133.13 c #Conflicts: 1859000 | #Constraints: 59941
3124.71/3133.13 c #Conflicts: 1860000 | #Constraints: 60941
3124.71/3133.13 c #Conflicts: 1861000 | #Constraints: 61941
3124.71/3133.13 c #Conflicts: 1862000 | #Constraints: 62941
3124.71/3133.13 c #Conflicts: 1863000 | #Constraints: 63941
3124.71/3133.13 c #Conflicts: 1864000 | #Constraints: 64941
3124.71/3133.13 c #Conflicts: 1865000 | #Constraints: 65941
3124.71/3133.13 c #Conflicts: 1866000 | #Constraints: 66941
3124.71/3133.13 c #Conflicts: 1867000 | #Constraints: 67941
3124.71/3133.13 c #Conflicts: 1868000 | #Constraints: 68941
3124.71/3133.13 c #Conflicts: 1869000 | #Constraints: 69941
3124.71/3133.13 c #Conflicts: 1870000 | #Constraints: 70941
3124.71/3133.13 c #Conflicts: 1871000 | #Constraints: 71941
3124.71/3133.13 c #Conflicts: 1872000 | #Constraints: 72941
3124.71/3133.13 c #Conflicts: 1873000 | #Constraints: 73941
3124.71/3133.13 c #Conflicts: 1874000 | #Constraints: 74941
3124.71/3133.13 c #Conflicts: 1875000 | #Constraints: 75941
3124.71/3133.13 c #Conflicts: 1876000 | #Constraints: 76941
3124.71/3133.13 c #Conflicts: 1877000 | #Constraints: 77941
3124.71/3133.13 c #Conflicts: 1878000 | #Constraints: 78941
3124.71/3133.13 c #Conflicts: 1879000 | #Constraints: 79941
3124.71/3133.13 c #Conflicts: 1880000 | #Constraints: 80941
3124.71/3133.13 c #Conflicts: 1881000 | #Constraints: 81941
3124.71/3133.13 c INPROCESSING
3124.71/3133.13 c GARBAGE COLLECT
3124.71/3133.13 c #Conflicts: 1882000 | #Constraints: 55750
3331.72/3340.75 c #Conflicts: 1883000 | #Constraints: 56750
3331.72/3340.75 c #Conflicts: 1884000 | #Constraints: 57750
3331.72/3340.75 c #Conflicts: 1885000 | #Constraints: 58750
3331.72/3340.75 c #Conflicts: 1886000 | #Constraints: 59750
3331.72/3340.75 c #Conflicts: 1887000 | #Constraints: 60750
3331.72/3340.75 c #Conflicts: 1888000 | #Constraints: 61750
3331.72/3340.75 c #Conflicts: 1889000 | #Constraints: 62750
3331.72/3340.75 c #Conflicts: 1890000 | #Constraints: 63750
3331.72/3340.75 c #Conflicts: 1891000 | #Constraints: 64750
3331.72/3340.75 c #Conflicts: 1892000 | #Constraints: 65750
3331.72/3340.75 c #Conflicts: 1893000 | #Constraints: 66750
3331.72/3340.75 c #Conflicts: 1894000 | #Constraints: 67750
3331.72/3340.75 c #Conflicts: 1895000 | #Constraints: 68750
3331.72/3340.75 c #Conflicts: 1896000 | #Constraints: 69750
3331.72/3340.75 c #Conflicts: 1897000 | #Constraints: 70750
3331.72/3340.75 c #Conflicts: 1898000 | #Constraints: 71750
3331.72/3340.75 c #Conflicts: 1899000 | #Constraints: 72750
3331.72/3340.75 c #Conflicts: 1900000 | #Constraints: 73750
3331.72/3340.75 c #Conflicts: 1901000 | #Constraints: 74750
3331.72/3340.75 c #Conflicts: 1902000 | #Constraints: 75750
3331.72/3340.75 c #Conflicts: 1903000 | #Constraints: 76750
3331.72/3340.75 c #Conflicts: 1904000 | #Constraints: 77750
3331.72/3340.75 c #Conflicts: 1905000 | #Constraints: 78750
3331.72/3340.75 c #Conflicts: 1906000 | #Constraints: 79750
3331.72/3340.75 c #Conflicts: 1907000 | #Constraints: 80750
3331.72/3340.75 c #Conflicts: 1908000 | #Constraints: 81750
3331.72/3340.75 c #Conflicts: 1909000 | #Constraints: 82750
3331.72/3340.75 c INPROCESSING
3331.72/3340.75 c GARBAGE COLLECT
3331.72/3340.75 c #Conflicts: 1910000 | #Constraints: 56347
3331.72/3340.75 c #Conflicts: 1911000 | #Constraints: 57347
3331.72/3340.75 c #Conflicts: 1912000 | #Constraints: 58347
3331.72/3340.75 c #Conflicts: 1913000 | #Constraints: 59347
3331.72/3340.75 c #Conflicts: 1914000 | #Constraints: 60347
3331.72/3340.75 c #Conflicts: 1915000 | #Constraints: 61347
3331.72/3340.75 c #Conflicts: 1916000 | #Constraints: 62347
3331.72/3340.75 c #Conflicts: 1917000 | #Constraints: 63347
3331.72/3340.75 c #Conflicts: 1918000 | #Constraints: 64347
3331.72/3340.75 c #Conflicts: 1919000 | #Constraints: 65347
3331.72/3340.75 c #Conflicts: 1920000 | #Constraints: 66347
3331.72/3340.75 c #Conflicts: 1921000 | #Constraints: 67347
3331.72/3340.75 c #Conflicts: 1922000 | #Constraints: 68347
3331.72/3340.75 c #Conflicts: 1923000 | #Constraints: 69347
3331.72/3340.75 c #Conflicts: 1924000 | #Constraints: 70347
3331.72/3340.75 c #Conflicts: 1925000 | #Constraints: 71347
3331.72/3340.75 c #Conflicts: 1926000 | #Constraints: 72347
3331.72/3340.75 c #Conflicts: 1927000 | #Constraints: 73347
3331.72/3340.75 c #Conflicts: 1928000 | #Constraints: 74347
3331.72/3340.75 c #Conflicts: 1929000 | #Constraints: 75347
3331.72/3340.75 c #Conflicts: 1930000 | #Constraints: 76347
3331.72/3340.75 c #Conflicts: 1931000 | #Constraints: 77347
3331.72/3340.75 c #Conflicts: 1932000 | #Constraints: 78347
3331.72/3340.75 c #Conflicts: 1933000 | #Constraints: 79347
3331.72/3340.75 c #Conflicts: 1934000 | #Constraints: 80347
3331.72/3340.75 c #Conflicts: 1935000 | #Constraints: 81347
3331.72/3340.75 c #Conflicts: 1936000 | #Constraints: 82347
3331.72/3340.75 c #Conflicts: 1937000 | #Constraints: 83347
3331.72/3340.75 c INPROCESSING
3331.72/3340.75 c GARBAGE COLLECT
3331.72/3340.75 c #Conflicts: 1938000 | #Constraints: 56731
3331.72/3340.75 c #Conflicts: 1939000 | #Constraints: 57731
3331.72/3340.75 c #Conflicts: 1940000 | #Constraints: 58731
3331.72/3340.75 c #Conflicts: 1941000 | #Constraints: 59731
3331.72/3340.75 c #Conflicts: 1942000 | #Constraints: 60731
3331.72/3340.75 c #Conflicts: 1943000 | #Constraints: 61731
3331.72/3340.75 c #Conflicts: 1944000 | #Constraints: 62731
3331.72/3340.75 c #Conflicts: 1945000 | #Constraints: 63731
3331.72/3340.75 c #Conflicts: 1946000 | #Constraints: 64731
3331.72/3340.75 c #Conflicts: 1947000 | #Constraints: 65731
3331.72/3340.75 c #Conflicts: 1948000 | #Constraints: 66731
3331.72/3340.75 c #Conflicts: 1949000 | #Constraints: 67731
3331.72/3340.75 c #Conflicts: 1950000 | #Constraints: 68731
3331.72/3340.75 c #Conflicts: 1951000 | #Constraints: 69731
3331.72/3340.75 c #Conflicts: 1952000 | #Constraints: 70731
3331.72/3340.75 c #Conflicts: 1953000 | #Constraints: 71731
3331.72/3340.75 c #Conflicts: 1954000 | #Constraints: 72731
3331.72/3340.75 c #Conflicts: 1955000 | #Constraints: 73731
3331.72/3340.75 c #Conflicts: 1956000 | #Constraints: 74731
3331.72/3340.75 c #Conflicts: 1957000 | #Constraints: 75731
3331.72/3340.75 c #Conflicts: 1958000 | #Constraints: 76731
3331.72/3340.75 c #Conflicts: 1959000 | #Constraints: 77731
3539.72/3549.39 c #Conflicts: 1960000 | #Constraints: 78731
3539.72/3549.39 c #Conflicts: 1961000 | #Constraints: 79731
3539.72/3549.39 c #Conflicts: 1962000 | #Constraints: 80731
3539.72/3549.39 c #Conflicts: 1963000 | #Constraints: 81731
3539.72/3549.39 c #Conflicts: 1964000 | #Constraints: 82731
3539.72/3549.39 c #Conflicts: 1965000 | #Constraints: 83731
3539.72/3549.39 c INPROCESSING
3539.72/3549.39 c GARBAGE COLLECT
3539.72/3549.39 c #Conflicts: 1966000 | #Constraints: 56941
3539.72/3549.39 c #Conflicts: 1967000 | #Constraints: 57941
3539.72/3549.39 c #Conflicts: 1968000 | #Constraints: 58941
3539.72/3549.39 c #Conflicts: 1969000 | #Constraints: 59941
3539.72/3549.39 c #Conflicts: 1970000 | #Constraints: 60941
3539.72/3549.39 c #Conflicts: 1971000 | #Constraints: 61941
3539.72/3549.39 c #Conflicts: 1972000 | #Constraints: 62941
3539.72/3549.39 c #Conflicts: 1973000 | #Constraints: 63941
3539.72/3549.39 c #Conflicts: 1974000 | #Constraints: 64941
3539.72/3549.39 c #Conflicts: 1975000 | #Constraints: 65941
3539.72/3549.39 c #Conflicts: 1976000 | #Constraints: 66941
3539.72/3549.39 c #Conflicts: 1977000 | #Constraints: 67941
3539.72/3549.39 c #Conflicts: 1978000 | #Constraints: 68941
3539.72/3549.39 c #Conflicts: 1979000 | #Constraints: 69941
3539.72/3549.39 c #Conflicts: 1980000 | #Constraints: 70941
3539.72/3549.39 c #Conflicts: 1981000 | #Constraints: 71941
3539.72/3549.39 c #Conflicts: 1982000 | #Constraints: 72941
3539.72/3549.39 c #Conflicts: 1983000 | #Constraints: 73941
3539.72/3549.39 c #Conflicts: 1984000 | #Constraints: 74941
3539.72/3549.39 c #Conflicts: 1985000 | #Constraints: 75941
3539.72/3549.39 c #Conflicts: 1986000 | #Constraints: 76941
3539.72/3549.39 c #Conflicts: 1987000 | #Constraints: 77941
3539.72/3549.39 c #Conflicts: 1988000 | #Constraints: 78941
3539.72/3549.39 c #Conflicts: 1989000 | #Constraints: 79941
3539.72/3549.39 c #Conflicts: 1990000 | #Constraints: 80941
3539.72/3549.39 c #Conflicts: 1991000 | #Constraints: 81941
3539.72/3549.39 c #Conflicts: 1992000 | #Constraints: 82941
3539.72/3549.39 c #Conflicts: 1993000 | #Constraints: 83941
3539.72/3549.39 c INPROCESSING
3539.72/3549.39 c GARBAGE COLLECT
3539.72/3549.39 c #Conflicts: 1994000 | #Constraints: 56950
3539.72/3549.39 c #Conflicts: 1995000 | #Constraints: 57950
3539.72/3549.39 c #Conflicts: 1996000 | #Constraints: 58950
3539.72/3549.39 c #Conflicts: 1997000 | #Constraints: 59950
3539.72/3549.39 c #Conflicts: 1998000 | #Constraints: 60950
3539.72/3549.39 c #Conflicts: 1999000 | #Constraints: 61950
3539.72/3549.39 c #Conflicts: 2000000 | #Constraints: 62950
3539.72/3549.39 c #Conflicts: 2001000 | #Constraints: 63950
3539.72/3549.39 c #Conflicts: 2002000 | #Constraints: 64950
3539.72/3549.39 c #Conflicts: 2003000 | #Constraints: 65950
3539.72/3549.39 c #Conflicts: 2004000 | #Constraints: 66950
3539.72/3549.39 c #Conflicts: 2005000 | #Constraints: 67950
3539.72/3549.39 c #Conflicts: 2006000 | #Constraints: 68950
3539.72/3549.39 c #Conflicts: 2007000 | #Constraints: 69950
3539.72/3549.39 c #Conflicts: 2008000 | #Constraints: 70950
3539.72/3549.39 c #Conflicts: 2009000 | #Constraints: 71950
3539.72/3549.39 c #Conflicts: 2010000 | #Constraints: 72950
3539.72/3549.39 c #Conflicts: 2011000 | #Constraints: 73950
3539.72/3549.39 c #Conflicts: 2012000 | #Constraints: 74950
3539.72/3549.39 c #Conflicts: 2013000 | #Constraints: 75950
3539.72/3549.39 c #Conflicts: 2014000 | #Constraints: 76950
3539.72/3549.39 c #Conflicts: 2015000 | #Constraints: 77950
3539.72/3549.39 c #Conflicts: 2016000 | #Constraints: 78950
3539.72/3549.39 c #Conflicts: 2017000 | #Constraints: 79950
3539.72/3549.39 c #Conflicts: 2018000 | #Constraints: 80950
3539.72/3549.39 c #Conflicts: 2019000 | #Constraints: 81950
3539.72/3549.39 c #Conflicts: 2020000 | #Constraints: 82950
3539.72/3549.39 c #Conflicts: 2021000 | #Constraints: 83950
3539.72/3549.39 c INPROCESSING
3539.72/3549.39 c GARBAGE COLLECT
3539.72/3549.39 c #Conflicts: 2022000 | #Constraints: 56765
3539.72/3549.39 c #Conflicts: 2023000 | #Constraints: 57765
3539.72/3549.39 c #Conflicts: 2024000 | #Constraints: 58765
3539.72/3549.39 c #Conflicts: 2025000 | #Constraints: 59765
3539.72/3549.39 c #Conflicts: 2026000 | #Constraints: 60765
3539.72/3549.39 c #Conflicts: 2027000 | #Constraints: 61765
3539.72/3549.39 c #Conflicts: 2028000 | #Constraints: 62765
3539.72/3549.39 c #Conflicts: 2029000 | #Constraints: 63765
3539.72/3549.39 c #Conflicts: 2030000 | #Constraints: 64765
3539.72/3549.39 c #Conflicts: 2031000 | #Constraints: 65765
3539.72/3549.39 c #Conflicts: 2032000 | #Constraints: 66765
3539.72/3549.39 c #Conflicts: 2033000 | #Constraints: 67765
3539.72/3549.39 c #Conflicts: 2034000 | #Constraints: 68765
3539.72/3549.39 c #Conflicts: 2035000 | #Constraints: 69765
3539.72/3549.39 c #Conflicts: 2036000 | #Constraints: 70765
3600.04/3609.80 c #Conflicts: 2037000 | #Constraints: 71765
3600.04/3609.80 c #Conflicts: 2038000 | #Constraints: 72765
3600.04/3609.80 c #Conflicts: 2039000 | #Constraints: 73765
3600.04/3609.80 c #Conflicts: 2040000 | #Constraints: 74765
3600.04/3609.80 c #Conflicts: 2041000 | #Constraints: 75765
3600.04/3609.80 c #Conflicts: 2042000 | #Constraints: 76765
3600.04/3609.80 c #Conflicts: 2043000 | #Constraints: 77765
3600.04/3609.80 c #Conflicts: 2044000 | #Constraints: 78765
3600.04/3609.80 c #Conflicts: 2045000 | #Constraints: 79765
3600.04/3609.80 c #Conflicts: 2046000 | #Constraints: 80765
3600.04/3609.80 c #Conflicts: 2047000 | #Constraints: 81765
3600.04/3609.80 c #Conflicts: 2048000 | #Constraints: 82765
3600.04/3609.80 c #Conflicts: 2049000 | #Constraints: 83765
3600.04/3609.80 c #Conflicts: 2050000 | #Constraints: 84765
3600.04/3609.80 c INPROCESSING
3600.04/3609.80 c GARBAGE COLLECT
3600.04/3609.80 c #Conflicts: 2051000 | #Constraints: 57376
3600.04/3609.80 c #Conflicts: 2052000 | #Constraints: 58376
3600.04/3609.80 c #Conflicts: 2053000 | #Constraints: 59376
3600.04/3609.80 c #Conflicts: 2054000 | #Constraints: 60376
3600.04/3609.80 c #Conflicts: 2055000 | #Constraints: 61376
3600.04/3609.80 c Program interrupted by user.
3600.04/3609.80 c cpu time 3592.75 s
3600.04/3609.80 c deterministic time 672203117232 6.72e+11
3600.04/3609.80 c optimization time 10.9166 s
3600.04/3609.80 c total solve time 3282.66 s
3600.04/3609.80 c core-guided solve time 3282.66 s
3600.04/3609.80 c propagation time 3151.24 s
3600.04/3609.80 c conflict analysis time 108.481 s
3600.04/3609.80 c propagations 40264120
3600.04/3609.80 c resolve steps 14230078
3600.04/3609.80 c decisions 2451838
3600.04/3609.80 c conflicts 2055746
3600.04/3609.80 c restarts 4087
3600.04/3609.80 c inprocessing phases 134
3600.04/3609.80 c input clauses 28046
3600.04/3609.80 c input cardinalities 13
3600.04/3609.80 c input general constraints 0
3600.04/3609.80 c input average constraint length 2.29
3600.04/3609.80 c input average constraint degree 1.21
3600.04/3609.80 c learned clauses 1269078
3600.04/3609.80 c learned cardinalities 551945
3600.04/3609.80 c learned general constraints 234723
3600.04/3609.80 c learned average constraint length 555.12
3600.04/3609.80 c learned average constraint degree 11.48
3600.04/3609.80 c watched constraints 234723
3600.04/3609.80 c counting constraints 0
3600.04/3609.80 c gcd simplifications 106631
3600.04/3609.80 c detected cardinalities 22865
3600.04/3609.80 c weakened non-implied lits 23557203
3600.04/3609.80 c weakened non-implying lits 62656
3600.04/3609.80 c original variables 595
3600.04/3609.80 c clausal propagations 27501292
3600.04/3609.80 c cardinality propagations 7203225
3600.04/3609.80 c watched propagations 899626
3600.04/3609.80 c counting propagations 0
3600.04/3609.80 c watch lookups 29420147647
3600.04/3609.80 c watch backjump lookups 4361033
3600.04/3609.80 c watch checks 639530580534
3600.04/3609.80 c propagation checks 840467403
3600.04/3609.80 c constraint additions 2320073615
3600.04/3609.80 c trail pops 44771041
3600.04/3609.80 c formula constraints 27931
3600.04/3609.80 c learned constraints 2055746
3600.04/3609.80 c bound constraints 13
3600.04/3609.80 c core-guided constraints 115
3600.04/3609.80 c encountered formula constraints 11384249
3600.04/3609.80 c encountered learned constraints 4866445
3600.04/3609.80 c encountered bound constraints 1825
3600.04/3609.80 c encountered core-guided constraints 33305
3600.04/3609.80 c LP total time 0 s
3600.04/3609.80 c LP solve time 0 s
3600.04/3609.80 c LP constraints added 0
3600.04/3609.80 c LP constraints removed 0
3600.04/3609.80 c LP pivots internal 0
3600.04/3609.80 c LP pivots root 0
3600.04/3609.80 c LP calls 0
3600.04/3609.80 c LP optimalities 0
3600.04/3609.80 c LP no pivot count 0
3600.04/3609.80 c LP infeasibilities 0
3600.04/3609.80 c LP valid Farkas constraints 0
3600.04/3609.80 c LP learned Farkas constraints 0
3600.04/3609.80 c LP basis resets 0
3600.04/3609.80 c LP cycling count 0
3600.04/3609.80 c LP singular count 0
3600.04/3609.80 c LP no primal count 0
3600.04/3609.80 c LP no farkas count 0
3600.04/3609.80 c LP other issue count 0
3600.04/3609.80 c LP Gomory cuts 0
3600.04/3609.80 c LP learned cuts 0
3600.04/3609.80 c LP deleted cuts 0
3600.04/3609.80 c LP encountered Gomory constraints 0
3600.04/3609.80 c LP encountered Farkas constraints 0
3600.04/3609.80 c LP encountered learned Farkas constraints 0
3600.04/3609.80 c CG auxiliary variables introduced 115
3600.04/3609.80 c CG solutions found 0
3600.04/3609.80 c CG cores constructed 12
3600.04/3609.80 c CG core cardinality constraints returned 0
3600.04/3609.80 c CG unit cores 0
3600.04/3609.80 c CG single cores 12
3600.04/3609.80 c CG blocks removed during cardinality reduction 0
3600.04/3609.80 c CG first core best 0
3600.04/3609.80 c CG decision core best 0
3600.04/3609.80 c CG core reduction tie 0
3600.04/3609.80 c CG core degree average 1.00
3600.04/3609.80 c CG core slack average 7.83
3600.04/3609.80 c CG exhausted 0
3600.04/3609.80 c CG exhaust time 0 s
3600.04/3609.80 c CG trimmed 0
3600.04/3609.80 c CG trim time 7.9e-05 s
3600.04/3609.80 c CG minimized 0
3600.04/3609.80 c CG minimize time 0 s
3600.04/3609.80 c CG am1 prop time 0.002228 s
3600.04/3609.80 c CG # am1s reformulated 115
3600.04/3609.80 c CG lower bound derived from am1s 479
3600.04/3609.80 c CG # clausal cores 12
3600.04/3609.80 c CG # cardinality cores 0
3600.04/3609.80 c CG # pb cores 0
3600.04/3609.80 c CG # pb reforms 0
3600.04/3609.80 c CG # cores discarded because of pb reform 0
3600.04/3609.80 d LOWERBOUND -104
3600.04/3609.80 d NCORES 12
3600.04/3609.80 d NPBCORES 0
3600.04/3609.80 d NPBREFORM 0
3600.04/3609.80 d NTRIMMED 0
3600.04/3609.80 d NEXHAUSTED 0
3600.04/3609.80 d NAM1S 115
3600.04/3609.80 d AM1LB 479
3600.04/3609.80 c [Papilo Statistics]
3600.04/3609.80 c prepro time 0.103864s
3600.04/3609.80 c # tsx applied 0
3600.04/3609.80 c # tsx conflicts 0
3600.04/3609.80 c # bound changes 0
3600.04/3609.80 c # side changes 0
3600.04/3609.80 c # coef changes 0
3600.04/3609.80 c # rounds 1
3600.04/3609.80 c # deted vars 0
3600.04/3609.80 c # deted constrs 0
3600.04/3609.80 c # consecutive rounds of only bound changes 0
3600.04/3609.80 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: 63794 MiB (60890 MiB free)
memory of node 1: 64507 MiB (63014 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528979-1752254228/watcher-4528979-1752254228 -o /tmp/evaluation-result-4528979-1752254228/solver-4528979-1752254228 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1752254228-117006 --watchdog 3760 mixed-bag HOME/instance-4528979-1752254228.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=117062, runsolver pid=117047
[startup+0.100067 s]*
/proc/loadavg: 1.27 2.93 3.68 7/253 117063
/proc/meminfo: memFree=126872328/131382112 swapFree=33010160/33010684
[pid=117062] ppid=117047 vsize=82884 memory=11552 CPUtime=0.1 cores=1,3
/proc/117062/stat : 117062 (mixed-bag) R 117047 117062 116989 0 -1 4194304 1525 0 0 0 9 1 0 0 20 0 1 0 141102656 84873216 2888 18446744073709551615 4235264 15840557 140731993561984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 36528128 140731993569690 140731993569767 140731993569767 140731993575371 0
/proc/117062/statm: 20721 2888 2112 2834 0 3473 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 82884 KiB
Current children cumulated memory: 11552 KiB
[startup+0.213057 s]*
/proc/loadavg: 1.27 2.93 3.68 7/253 117063
/proc/meminfo: memFree=126848640/131382112 swapFree=33010160/33010684
[pid=117062] ppid=117047 vsize=102392 memory=24152 CPUtime=0.2 cores=1,3
/proc/117062/stat : 117062 (mixed-bag) R 117047 117062 116989 0 -1 4194304 5085 0 0 0 18 2 0 0 20 0 1 0 141102656 104849408 6038 18446744073709551615 4235264 15840557 140731993561984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 36528128 140731993569690 140731993569767 140731993569767 140731993575371 0
/proc/117062/statm: 25598 6038 2272 2834 0 7803 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 102392 KiB
Current children cumulated memory: 24152 KiB
[startup+0.313619 s]*
/proc/loadavg: 1.27 2.93 3.68 6/253 117063
/proc/meminfo: memFree=126809584/131382112 swapFree=33010160/33010684
[pid=117062] ppid=117047 vsize=114828 memory=43056 CPUtime=0.3 cores=1,3
/proc/117062/stat : 117062 (mixed-bag) R 117047 117062 116989 0 -1 4194304 8729 0 0 0 27 3 0 0 20 0 1 0 141102656 117583872 10764 18446744073709551615 4235264 15840557 140731993561984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 36528128 140731993569690 140731993569767 140731993569767 140731993575371 0
/proc/117062/statm: 28707 10764 3904 2834 0 10912 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 114828 KiB
Current children cumulated memory: 43056 KiB
[startup+0.700318 s]
/proc/loadavg: 1.27 2.93 3.68 6/253 117063
/proc/meminfo: memFree=126700972/131382112 swapFree=33010160/33010684
[pid=117062] ppid=117047 vsize=151820 memory=78864 CPUtime=0.68 cores=1,3
/proc/117062/stat : 117062 (mixed-bag) R 117047 117062 116989 0 -1 4194304 18759 0 0 0 60 8 0 0 20 0 1 0 141102656 155463680 19716 18446744073709551615 4235264 15840557 140731993561984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 36528128 140731993569690 140731993569767 140731993569767 140731993575371 0
/proc/117062/statm: 37955 19716 3968 2834 0 20160 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 151820 KiB
Current children cumulated memory: 78864 KiB
[startup+1.50029 s]
/proc/loadavg: 1.49 2.95 3.68 6/253 117063
/proc/meminfo: memFree=126624048/131382112 swapFree=33010160/33010684
[pid=117062] ppid=117047 vsize=226340 memory=149564 CPUtime=1.47 cores=1,3
/proc/117062/stat : 117062 (mixed-bag) R 117047 117062 116989 0 -1 4194304 32728 0 0 0 135 12 0 0 20 0 1 0 141102656 231772160 37391 18446744073709551615 4235264 15840557 140731993561984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 36528128 140731993569690 140731993569767 140731993569767 140731993575371 0
/proc/117062/statm: 56585 37391 4224 2834 0 38790 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 226340 KiB
Current children cumulated memory: 149564 KiB
[startup+3.11224 s]
/proc/loadavg: 1.49 2.95 3.68 6/253 117063
/proc/meminfo: memFree=126381556/131382112 swapFree=33010160/33010684
[pid=117062] ppid=117047 vsize=245476 memory=164052 CPUtime=3.08 cores=1,3
/proc/117062/stat : 117062 (mixed-bag) R 117047 117062 116989 0 -1 4194304 35844 0 0 0 295 13 0 0 20 0 1 0 141102656 251367424 41013 18446744073709551615 4235264 15840557 140731993561984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 36528128 140731993569690 140731993569767 140731993569767 140731993575371 0
/proc/117062/statm: 61369 41013 4224 2834 0 43574 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 245476 KiB
Current children cumulated memory: 164052 KiB
[startup+6.30024 s]
/proc/loadavg: 1.69 2.96 3.68 6/253 117063
/proc/meminfo: memFree=126329584/131382112 swapFree=33010160/33010684
[pid=117062] ppid=117047 vsize=272572 memory=172624 CPUtime=6.26 cores=1,3
/proc/117062/stat : 117062 (mixed-bag) R 117047 117062 116989 0 -1 4194304 37470 0 0 0 613 13 0 0 20 0 1 0 141102656 279113728 43156 18446744073709551615 4235264 15840557 140731993561984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 36528128 140731993569690 140731993569767 140731993569767 140731993575371 0
/proc/117062/statm: 68143 43156 4224 2834 0 50348 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 272572 KiB
Current children cumulated memory: 172624 KiB
[startup+12.7003 s]
/proc/loadavg: 1.87 2.98 3.68 6/253 117063
/proc/meminfo: memFree=126184460/131382112 swapFree=33010160/33010684
[pid=117062] ppid=117047 vsize=348500 memory=221904 CPUtime=12.64 cores=1,3
/proc/117062/stat : 117062 (mixed-bag) R 117047 117062 116989 0 -1 4194304 49780 0 0 0 1249 15 0 0 20 0 1 0 141102656 356864000 55476 18446744073709551615 4235264 15840557 140731993561984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 36528128 140731993569690 140731993569767 140731993569767 140731993575371 0
/proc/117062/statm: 87125 55476 4256 2834 0 69330 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 348500 KiB
Current children cumulated memory: 221904 KiB
[startup+25.5004 s]
/proc/loadavg: 2.20 3.02 3.69 6/253 117063
/proc/meminfo: memFree=126144588/131382112 swapFree=33010160/33010684
[pid=117062] ppid=117047 vsize=350996 memory=222032 CPUtime=25.39 cores=1,3
/proc/117062/stat : 117062 (mixed-bag) R 117047 117062 116989 0 -1 4194304 49819 0 0 0 2524 15 0 0 20 0 1 0 141102656 359419904 55508 18446744073709551615 4235264 15840557 140731993561984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 36528128 140731993569690 140731993569767 140731993569767 140731993575371 0
/proc/117062/statm: 87749 55508 4256 2834 0 69954 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 350996 KiB
Current children cumulated memory: 222032 KiB
[startup+51.113 s]
/proc/loadavg: 3.03 3.14 3.71 6/253 117064
/proc/meminfo: memFree=126091728/131382112 swapFree=33010160/33010684
[pid=117062] ppid=117047 vsize=401256 memory=243600 CPUtime=50.92 cores=1,3
/proc/117062/stat : 117062 (mixed-bag) R 117047 117062 116989 0 -1 4194304 61463 0 0 0 5075 17 0 0 20 0 1 0 141102656 410886144 60900 18446744073709551615 4235264 15840557 140731993561984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 36528128 140731993569690 140731993569767 140731993569767 140731993575371 0
/proc/117062/statm: 100314 60900 4256 2834 0 82519 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 401256 KiB
Current children cumulated memory: 243600 KiB
[startup+102.3 s]
/proc/loadavg: 3.63 3.29 3.73 6/255 117068
/proc/meminfo: memFree=125844680/131382112 swapFree=33010160/33010684
[pid=117062] ppid=117047 vsize=491192 memory=307712 CPUtime=101.95 cores=1,3
/proc/117062/stat : 117062 (mixed-bag) R 117047 117062 116989 0 -1 4194304 75344 0 0 0 10174 21 0 0 20 0 1 0 141102656 502980608 76928 18446744073709551615 4235264 15840557 140731993561984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 36528128 140731993569690 140731993569767 140731993569767 140731993575371 0
/proc/117062/statm: 122798 76928 4256 2834 0 105003 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 491192 KiB
Current children cumulated memory: 307712 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 3.44 3.76 6/254 117070
/proc/meminfo: memFree=125604564/131382112 swapFree=33010160/33010684
[pid=117062] ppid=117047 vsize=537960 memory=337212 CPUtime=161.77 cores=1,3
/proc/117062/stat : 117062 (mixed-bag) R 117047 117062 116989 0 -1 4194304 80174 0 0 0 16155 22 0 0 20 0 1 0 141102656 550871040 84303 18446744073709551615 4235264 15840557 140731993561984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 36528128 140731993569690 140731993569767 140731993569767 140731993575371 0
/proc/117062/statm: 134490 84303 4256 2834 0 116695 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 537960 KiB
Current children cumulated memory: 337212 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 3.56 3.78 6/254 117071
/proc/meminfo: memFree=125426112/131382112 swapFree=33010160/33010684
[pid=117062] ppid=117047 vsize=615040 memory=400324 CPUtime=221.59 cores=1,3
/proc/117062/stat : 117062 (mixed-bag) R 117047 117062 116989 0 -1 4194304 93304 0 0 0 22133 26 0 0 20 0 1 0 141102656 629800960 100081 18446744073709551615 4235264 15840557 140731993561984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 36528128 140731993569690 140731993569767 140731993569767 140731993575371 0
/proc/117062/statm: 153760 100081 4352 2834 0 135965 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 615040 KiB
Current children cumulated memory: 400324 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 3.66 3.80 6/253 117073
/proc/meminfo: memFree=125263660/131382112 swapFree=33010160/33010684
[pid=117062] ppid=117047 vsize=647664 memory=433276 CPUtime=281.4 cores=1,3
/proc/117062/stat : 117062 (mixed-bag) R 117047 117062 116989 0 -1 4194304 102508 0 0 0 28112 28 0 0 20 0 1 0 141102656 663207936 108319 18446744073709551615 4235264 15840557 140731993561984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 36528128 140731993569690 140731993569767 140731993569767 140731993575371 0
/proc/117062/statm: 161916 108319 4352 2834 0 144121 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 647664 KiB
Current children cumulated memory: 433276 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.75 3.83 6/253 117121
/proc/meminfo: memFree=125179512/131382112 swapFree=33010160/33010684
[pid=117062] ppid=117047 vsize=556624 memory=343312 CPUtime=341.23 cores=1,3
/proc/117062/stat : 117062 (mixed-bag) R 117047 117062 116989 0 -1 4194304 104982 0 0 0 34058 65 0 0 20 0 1 0 141102656 569982976 85828 18446744073709551615 4235264 15840557 140731993561984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 36528128 140731993569690 140731993569767 140731993569767 140731993575371 0
/proc/117062/statm: 139156 85828 4544 2834 0 121361 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 556624 KiB
Current children cumulated memory: 343312 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.81 3.85 6/252 117123
/proc/meminfo: memFree=125078152/131382112 swapFree=33010160/33010684
[pid=117062] ppid=117047 vsize=556624 memory=353556 CPUtime=401.06 cores=1,3
/proc/117062/stat : 117062 (mixed-bag) R 117047 117062 116989 0 -1 4194304 104987 0 0 0 40009 97 0 0 20 0 1 0 141102656 569982976 88389 18446744073709551615 4235264 15840557 140731993561984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 36528128 140731993569690 140731993569767 140731993569767 140731993575371 0
/proc/117062/statm: 139156 88389 4544 2834 0 121361 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 556624 KiB
Current children cumulated memory: 353556 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.87 3.86 6/251 117125
/proc/meminfo: memFree=124993232/131382112 swapFree=33010160/33010684
[pid=117062] ppid=117047 vsize=556624 memory=359700 CPUtime=460.9 cores=1,3
/proc/117062/stat : 117062 (mixed-bag) R 117047 117062 116989 0 -1 4194304 104990 0 0 0 45969 121 0 0 20 0 1 0 141102656 569982976 89925 18446744073709551615 4235264 15840557 140731993561984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 36528128 140731993569690 140731993569767 140731993569767 140731993575371 0
/proc/117062/statm: 139156 89925 4544 2834 0 121361 0
################
# More data... #
################
Current children cumulated memory: 543448 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.11 4.13 6/249 117294
/proc/meminfo: memFree=121870724/131382112 swapFree=33010160/33010684
[pid=117062] ppid=117047 vsize=637532 memory=547544 CPUtime=2854.63 cores=1,3
/proc/117062/stat : 117062 (mixed-bag) R 117047 117062 116989 0 -1 4194304 106434 0 0 0 284838 625 0 0 20 0 1 0 141102656 652832768 136886 18446744073709551615 4235264 15840557 140731993561984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 36528128 140731993569690 140731993569767 140731993569767 140731993575371 0
/proc/117062/statm: 159383 136886 4544 2834 0 141588 0
Current children cumulated CPU time: 2854.63 s
Current children cumulated vsize: 637532 KiB
Current children cumulated memory: 547544 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.12 4.13 6/250 117297
/proc/meminfo: memFree=121873172/131382112 swapFree=33010160/33010684
[pid=117062] ppid=117047 vsize=637532 memory=547544 CPUtime=2914.49 cores=1,3
/proc/117062/stat : 117062 (mixed-bag) R 117047 117062 116989 0 -1 4194304 106434 0 0 0 290814 635 0 0 20 0 1 0 141102656 652832768 136886 18446744073709551615 4235264 15840557 140731993561984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 36528128 140731993569690 140731993569767 140731993569767 140731993575371 0
/proc/117062/statm: 159383 136886 4544 2834 0 141588 0
Current children cumulated CPU time: 2914.49 s
Current children cumulated vsize: 637532 KiB
Current children cumulated memory: 547544 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.11 4.12 6/251 117302
/proc/meminfo: memFree=121866276/131382112 swapFree=33010160/33010684
[pid=117062] ppid=117047 vsize=637532 memory=549592 CPUtime=2974.34 cores=1,3
/proc/117062/stat : 117062 (mixed-bag) R 117047 117062 116989 0 -1 4194304 106436 0 0 0 296792 642 0 0 20 0 1 0 141102656 652832768 137398 18446744073709551615 4235264 15840557 140731993561984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 36528128 140731993569690 140731993569767 140731993569767 140731993575371 0
/proc/117062/statm: 159383 137398 4544 2834 0 141588 0
Current children cumulated CPU time: 2974.34 s
Current children cumulated vsize: 637532 KiB
Current children cumulated memory: 549592 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.12 4.12 6/252 117309
/proc/meminfo: memFree=121870780/131382112 swapFree=33010160/33010684
[pid=117062] ppid=117047 vsize=637532 memory=549592 CPUtime=3034.17 cores=1,3
/proc/117062/stat : 117062 (mixed-bag) R 117047 117062 116989 0 -1 4194304 106436 0 0 0 302765 652 0 0 20 0 1 0 141102656 652832768 137398 18446744073709551615 4235264 15840557 140731993561984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 36528128 140731993569690 140731993569767 140731993569767 140731993575371 0
/proc/117062/statm: 159383 137398 4544 2834 0 141588 0
Current children cumulated CPU time: 3034.17 s
Current children cumulated vsize: 637532 KiB
Current children cumulated memory: 549592 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.11 4.12 6/252 117311
/proc/meminfo: memFree=121816024/131382112 swapFree=33010160/33010684
[pid=117062] ppid=117047 vsize=637532 memory=551640 CPUtime=3094 cores=1,3
/proc/117062/stat : 117062 (mixed-bag) R 117047 117062 116989 0 -1 4194304 106437 0 0 0 308740 660 0 0 20 0 1 0 141102656 652832768 137910 18446744073709551615 4235264 15840557 140731993561984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 36528128 140731993569690 140731993569767 140731993569767 140731993575371 0
/proc/117062/statm: 159383 137910 4544 2834 0 141588 0
Current children cumulated CPU time: 3094 s
Current children cumulated vsize: 637532 KiB
Current children cumulated memory: 551640 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.11 6/252 117313
/proc/meminfo: memFree=121811380/131382112 swapFree=33010160/33010684
[pid=117062] ppid=117047 vsize=637532 memory=553688 CPUtime=3153.82 cores=1,3
/proc/117062/stat : 117062 (mixed-bag) R 117047 117062 116989 0 -1 4194304 106439 0 0 0 314714 668 0 0 20 0 1 0 141102656 652832768 138422 18446744073709551615 4235264 15840557 140731993561984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 36528128 140731993569690 140731993569767 140731993569767 140731993575371 0
/proc/117062/statm: 159383 138422 4544 2834 0 141588 0
Current children cumulated CPU time: 3153.82 s
Current children cumulated vsize: 637532 KiB
Current children cumulated memory: 553688 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.11 6/251 117315
/proc/meminfo: memFree=121804124/131382112 swapFree=33010160/33010684
[pid=117062] ppid=117047 vsize=637532 memory=553688 CPUtime=3213.65 cores=1,3
/proc/117062/stat : 117062 (mixed-bag) R 117047 117062 116989 0 -1 4194304 106440 0 0 0 320689 676 0 0 20 0 1 0 141102656 652832768 138422 18446744073709551615 4235264 15840557 140731993561984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 36528128 140731993569690 140731993569767 140731993569767 140731993575371 0
/proc/117062/statm: 159383 138422 4544 2834 0 141588 0
Current children cumulated CPU time: 3213.65 s
Current children cumulated vsize: 637532 KiB
Current children cumulated memory: 553688 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.10 6/251 117317
/proc/meminfo: memFree=121660848/131382112 swapFree=33010160/33010684
[pid=117062] ppid=117047 vsize=637532 memory=553688 CPUtime=3273.48 cores=1,3
/proc/117062/stat : 117062 (mixed-bag) R 117047 117062 116989 0 -1 4194304 106440 0 0 0 326664 684 0 0 20 0 1 0 141102656 652832768 138422 18446744073709551615 4235264 15840557 140731993561984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 36528128 140731993569690 140731993569767 140731993569767 140731993575371 0
/proc/117062/statm: 159383 138422 4544 2834 0 141588 0
Current children cumulated CPU time: 3273.48 s
Current children cumulated vsize: 637532 KiB
Current children cumulated memory: 553688 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.10 6/250 117319
/proc/meminfo: memFree=121660992/131382112 swapFree=33010160/33010684
[pid=117062] ppid=117047 vsize=637532 memory=553688 CPUtime=3333.31 cores=1,3
/proc/117062/stat : 117062 (mixed-bag) R 117047 117062 116989 0 -1 4194304 106440 0 0 0 332637 694 0 0 20 0 1 0 141102656 652832768 138422 18446744073709551615 4235264 15840557 140731993561984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 36528128 140731993569690 140731993569767 140731993569767 140731993575371 0
/proc/117062/statm: 159383 138422 4544 2834 0 141588 0
Current children cumulated CPU time: 3333.31 s
Current children cumulated vsize: 637532 KiB
Current children cumulated memory: 553688 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.10 6/250 117321
/proc/meminfo: memFree=121649820/131382112 swapFree=33010160/33010684
[pid=117062] ppid=117047 vsize=718920 memory=554200 CPUtime=3393.13 cores=1,3
/proc/117062/stat : 117062 (mixed-bag) R 117047 117062 116989 0 -1 4194304 106575 0 0 0 338611 702 0 0 20 0 1 0 141102656 736174080 138550 18446744073709551615 4235264 15840557 140731993561984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 36528128 140731993569690 140731993569767 140731993569767 140731993575371 0
/proc/117062/statm: 179730 138550 4544 2834 0 161935 0
Current children cumulated CPU time: 3393.13 s
Current children cumulated vsize: 718920 KiB
Current children cumulated memory: 554200 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/250 117323
/proc/meminfo: memFree=121647444/131382112 swapFree=33010160/33010684
[pid=117062] ppid=117047 vsize=718920 memory=554456 CPUtime=3452.96 cores=1,3
/proc/117062/stat : 117062 (mixed-bag) R 117047 117062 116989 0 -1 4194304 106635 0 0 0 344587 709 0 0 20 0 1 0 141102656 736174080 138614 18446744073709551615 4235264 15840557 140731993561984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 36528128 140731993569690 140731993569767 140731993569767 140731993575371 0
/proc/117062/statm: 179730 138614 4544 2834 0 161935 0
Current children cumulated CPU time: 3452.96 s
Current children cumulated vsize: 718920 KiB
Current children cumulated memory: 554456 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/251 117326
/proc/meminfo: memFree=121639380/131382112 swapFree=33010160/33010684
[pid=117062] ppid=117047 vsize=718920 memory=557784 CPUtime=3512.79 cores=1,3
/proc/117062/stat : 117062 (mixed-bag) R 117047 117062 116989 0 -1 4194304 106957 0 0 0 350562 717 0 0 20 0 1 0 141102656 736174080 139446 18446744073709551615 4235264 15840557 140731993561984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 36528128 140731993569690 140731993569767 140731993569767 140731993575371 0
/proc/117062/statm: 179730 139446 4544 2834 0 161935 0
Current children cumulated CPU time: 3512.79 s
Current children cumulated vsize: 718920 KiB
Current children cumulated memory: 557784 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/251 117330
/proc/meminfo: memFree=121641204/131382112 swapFree=33010160/33010684
[pid=117062] ppid=117047 vsize=718920 memory=557784 CPUtime=3572.62 cores=1,3
/proc/117062/stat : 117062 (mixed-bag) R 117047 117062 116989 0 -1 4194304 106957 0 0 0 356536 726 0 0 20 0 1 0 141102656 736174080 139446 18446744073709551615 4235264 15840557 140731993561984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 36528128 140731993569690 140731993569767 140731993569767 140731993575371 0
/proc/117062/statm: 179730 139446 4544 2834 0 161935 0
Current children cumulated CPU time: 3572.62 s
Current children cumulated vsize: 718920 KiB
Current children cumulated memory: 557784 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.14 4.10 4.09 6/250 117331
/proc/meminfo: memFree=121644584/131382112 swapFree=33010160/33010684
[pid=117062] ppid=117047 vsize=718920 memory=557784 CPUtime=3600.04 cores=1,3
/proc/117062/stat : 117062 (mixed-bag) R 117047 117062 116989 0 -1 4194304 106958 0 0 0 359275 729 0 0 20 0 1 0 141102656 736174080 139446 18446744073709551615 4235264 15840557 140731993561984 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 36528128 140731993569690 140731993569767 140731993569767 140731993575371 0
/proc/117062/statm: 179730 139446 4544 2834 0 161935 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 718920 KiB
Current children cumulated memory: 557784 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.81 s]
# the end of solver process 117062 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.76 s, system=7.30154 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.81
CPU time (s): 3600.06
CPU user time (s): 3592.76
CPU system time (s): 7.30154
CPU usage (%): 99.7299
Max. virtual memory (cumulated for all children) (KiB): 718920
Max. memory (cumulated for all children) (KiB): 557784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.76
system time used= 7.30154
maximum resident set size= 558424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106984
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= 166
involuntary context switches= 1301
# summary of solver processes directly reported to runsolver:
# pid: 117062
# total CPU time (s): 3600.06
# total CPU user time (s): 3592.76
# total CPU system time (s): 7.30154
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7784 second user time and 35.0919 second system time
The end
Begin job on nodeC009 at 2025-07-11 19:17:09
IDJOB=4528979
IDBENCH=146691
IDSOLVER=3386
FILE ID=nodeC009/4528979-1752254228
RUNJOBID= nodeC009-1752254228-117006
SLURM_JOB_ID= 9682591
Free space on /tmp= 431224 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528979-1752254228/watcher-4528979-1752254228 -o /tmp/evaluation-result-4528979-1752254228/solver-4528979-1752254228 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1752254228-117006 --watchdog 3760 mixed-bag HOME/instance-4528979-1752254228.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e50abc2725c4e3a238fbda7c772437b2
RANDOM SEED=1706202925
nodeC009 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.238
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.225
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.313
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.244
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.212
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 126877356 kB
MemAvailable: 129845436 kB
Buffers: 2144 kB
Cached: 3699076 kB
SwapCached: 24 kB
Active: 752052 kB
Inactive: 3016452 kB
Active(anon): 81040 kB
Inactive(anon): 4180 kB
Active(file): 671012 kB
Inactive(file): 3012272 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 63188 kB
Writeback: 0 kB
AnonPages: 70368 kB
Mapped: 104872 kB
Shmem: 17936 kB
KReclaimable: 248460 kB
Slab: 338996 kB
SReclaimable: 248460 kB
SUnreclaim: 90536 kB
KernelStack: 3748 kB
PageTables: 2380 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 332568 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149304 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 172872 kB
DirectMap2M: 9166848 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431164 MiB
End job on nodeC009 at 2025-07-11 20:17:19