0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.01 c [STEP] preprocessing with Papilo
0.00/0.01 c [STEP] solving with SCIP
299.87/300.80 c [STEP] preprocessing done, loading into solver
299.87/300.80 c [STEP] solving
299.87/300.80 c #variables 199 #constraints 16
299.87/300.80 c SMALL=int, LARGE=long long
299.87/300.80 d SCIPUB 53
299.87/300.80 c bounds - >= 0 @ 299.61
299.87/300.80 c stratification level: 32
314.93/315.94 c #Conflicts: 1000 | #Constraints: 1016
314.93/315.94 c #Conflicts: 2000 | #Constraints: 2016
314.93/315.94 c INPROCESSING
314.93/315.94 c GARBAGE COLLECT
314.93/315.94 c #Conflicts: 3000 | #Constraints: 2020
314.93/315.94 c #Conflicts: 4000 | #Constraints: 3020
314.93/315.94 c INPROCESSING
314.93/315.94 c GARBAGE COLLECT
314.93/315.94 c #Conflicts: 5000 | #Constraints: 2423
314.93/315.94 c #Conflicts: 6000 | #Constraints: 3423
314.93/315.94 c INPROCESSING
314.93/315.94 c GARBAGE COLLECT
314.93/315.94 c #Conflicts: 7000 | #Constraints: 2428
314.93/315.94 c #Conflicts: 8000 | #Constraints: 3428
314.93/315.94 c #Conflicts: 9000 | #Constraints: 4428
314.93/315.94 c INPROCESSING
314.93/315.94 c GARBAGE COLLECT
314.93/315.94 c #Conflicts: 10000 | #Constraints: 3129
314.93/315.94 c #Conflicts: 11000 | #Constraints: 4129
314.93/315.94 c #Conflicts: 12000 | #Constraints: 5129
314.93/315.94 c INPROCESSING
314.93/315.94 c GARBAGE COLLECT
314.93/315.94 c #Conflicts: 13000 | #Constraints: 3579
314.93/315.94 c #Conflicts: 14000 | #Constraints: 4579
314.93/315.94 c #Conflicts: 15000 | #Constraints: 5579
314.93/315.94 c INPROCESSING
314.93/315.94 c GARBAGE COLLECT
314.93/315.94 c #Conflicts: 16000 | #Constraints: 3807
314.93/315.94 c #Conflicts: 17000 | #Constraints: 4807
314.93/315.94 c #Conflicts: 18000 | #Constraints: 5807
314.93/315.94 c INPROCESSING
314.93/315.94 c GARBAGE COLLECT
314.93/315.94 c #Conflicts: 19000 | #Constraints: 3818
314.93/315.94 c #Conflicts: 20000 | #Constraints: 4818
314.93/315.94 c #Conflicts: 21000 | #Constraints: 5818
314.93/315.94 c INPROCESSING
314.93/315.94 c GARBAGE COLLECT
314.93/315.94 c #Conflicts: 22000 | #Constraints: 3625
314.93/315.94 c #Conflicts: 23000 | #Constraints: 4625
314.93/315.94 c #Conflicts: 24000 | #Constraints: 5625
314.93/315.94 c #Conflicts: 25000 | #Constraints: 6625
314.93/315.94 c INPROCESSING
314.93/315.94 c GARBAGE COLLECT
314.93/315.94 c #Conflicts: 26000 | #Constraints: 4231
314.93/315.94 c #Conflicts: 27000 | #Constraints: 5231
314.93/315.94 c #Conflicts: 28000 | #Constraints: 6231
314.93/315.94 c #Conflicts: 29000 | #Constraints: 7231
314.93/315.94 c INPROCESSING
314.93/315.94 c GARBAGE COLLECT
314.93/315.94 c #Conflicts: 30000 | #Constraints: 4632
314.93/315.94 c #Conflicts: 31000 | #Constraints: 5632
314.93/315.94 c #Conflicts: 32000 | #Constraints: 6632
314.93/315.94 c #Conflicts: 33000 | #Constraints: 7632
314.93/315.94 c INPROCESSING
314.93/315.94 c GARBAGE COLLECT
314.93/315.94 c #Conflicts: 34000 | #Constraints: 4830
314.93/315.94 c #Conflicts: 35000 | #Constraints: 5830
314.93/315.94 c #Conflicts: 36000 | #Constraints: 6830
314.93/315.94 c #Conflicts: 37000 | #Constraints: 7830
314.93/315.94 c INPROCESSING
314.93/315.94 c GARBAGE COLLECT
314.93/315.94 c #Conflicts: 38000 | #Constraints: 4831
314.93/315.94 c #Conflicts: 39000 | #Constraints: 5831
314.93/315.94 c #Conflicts: 40000 | #Constraints: 6831
314.93/315.94 c #Conflicts: 41000 | #Constraints: 7831
314.93/315.94 c INPROCESSING
314.93/315.94 c GARBAGE COLLECT
314.93/315.94 c #Conflicts: 42000 | #Constraints: 4636
314.93/315.94 c #Conflicts: 43000 | #Constraints: 5636
314.93/315.94 c #Conflicts: 44000 | #Constraints: 6636
314.93/315.94 c #Conflicts: 45000 | #Constraints: 7636
314.93/315.94 c #Conflicts: 46000 | #Constraints: 8636
314.93/315.94 c INPROCESSING
314.93/315.94 c GARBAGE COLLECT
314.93/315.94 c #Conflicts: 47000 | #Constraints: 5236
314.93/315.94 c #Conflicts: 48000 | #Constraints: 6236
314.93/315.94 c #Conflicts: 49000 | #Constraints: 7236
314.93/315.94 c #Conflicts: 50000 | #Constraints: 8236
314.93/315.94 c #Conflicts: 51000 | #Constraints: 9236
314.93/315.94 c INPROCESSING
314.93/315.94 c GARBAGE COLLECT
314.93/315.94 c #Conflicts: 52000 | #Constraints: 5635
314.93/315.94 c #Conflicts: 53000 | #Constraints: 6635
314.93/315.94 c #Conflicts: 54000 | #Constraints: 7635
314.93/315.94 c #Conflicts: 55000 | #Constraints: 8635
314.93/315.94 c #Conflicts: 56000 | #Constraints: 9635
314.93/315.94 c INPROCESSING
314.93/315.94 c GARBAGE COLLECT
314.93/315.94 c #Conflicts: 57000 | #Constraints: 5836
314.93/315.94 c #Conflicts: 58000 | #Constraints: 6836
314.93/315.94 c #Conflicts: 59000 | #Constraints: 7836
314.93/315.94 c #Conflicts: 60000 | #Constraints: 8836
314.93/315.94 c #Conflicts: 61000 | #Constraints: 9836
314.93/315.94 c INPROCESSING
314.93/315.94 c GARBAGE COLLECT
314.93/315.94 c #Conflicts: 62000 | #Constraints: 5836
314.93/315.94 c #Conflicts: 63000 | #Constraints: 6836
314.93/315.94 c #Conflicts: 64000 | #Constraints: 7836
314.93/315.94 c #Conflicts: 65000 | #Constraints: 8836
314.93/315.94 c #Conflicts: 66000 | #Constraints: 9836
314.93/315.94 c INPROCESSING
314.93/315.94 c GARBAGE COLLECT
314.93/315.94 c #Conflicts: 67000 | #Constraints: 5638
314.93/315.94 c #Conflicts: 68000 | #Constraints: 6638
320.21/321.24 c #Conflicts: 69000 | #Constraints: 7638
320.21/321.24 c #Conflicts: 70000 | #Constraints: 8638
320.21/321.24 c #Conflicts: 71000 | #Constraints: 9638
320.21/321.24 c #Conflicts: 72000 | #Constraints: 10638
320.21/321.24 c INPROCESSING
320.21/321.24 c GARBAGE COLLECT
320.21/321.24 c #Conflicts: 73000 | #Constraints: 6239
320.21/321.24 c #Conflicts: 74000 | #Constraints: 7239
320.21/321.24 c #Conflicts: 75000 | #Constraints: 8239
320.21/321.24 c #Conflicts: 76000 | #Constraints: 9239
320.21/321.24 c #Conflicts: 77000 | #Constraints: 10239
320.21/321.24 c #Conflicts: 78000 | #Constraints: 11239
320.21/321.24 c INPROCESSING
320.21/321.24 c GARBAGE COLLECT
320.21/321.24 c #Conflicts: 79000 | #Constraints: 6635
320.21/321.24 c #Conflicts: 80000 | #Constraints: 7635
320.21/321.24 c #Conflicts: 81000 | #Constraints: 8635
320.21/321.24 c #Conflicts: 82000 | #Constraints: 9635
320.21/321.24 c #Conflicts: 83000 | #Constraints: 10635
320.21/321.24 c bounds 47 >= 0 @ 319.7
320.21/321.24 c stratification level: 16
352.34/353.49 c #Conflicts: 84000 | #Constraints: 11636
352.34/353.49 c INPROCESSING
352.34/353.49 c GARBAGE COLLECT
352.34/353.49 c #Conflicts: 85000 | #Constraints: 6836
352.34/353.49 c #Conflicts: 86000 | #Constraints: 7836
352.34/353.49 c #Conflicts: 87000 | #Constraints: 8836
352.34/353.49 c #Conflicts: 88000 | #Constraints: 9836
352.34/353.49 c #Conflicts: 89000 | #Constraints: 10836
352.34/353.49 c #Conflicts: 90000 | #Constraints: 11836
352.34/353.49 c INPROCESSING
352.34/353.49 c GARBAGE COLLECT
352.34/353.49 c #Conflicts: 91000 | #Constraints: 6836
352.34/353.49 c #Conflicts: 92000 | #Constraints: 7836
352.34/353.49 c #Conflicts: 93000 | #Constraints: 8836
352.34/353.49 c #Conflicts: 94000 | #Constraints: 9836
352.34/353.49 c #Conflicts: 95000 | #Constraints: 10836
352.34/353.49 c #Conflicts: 96000 | #Constraints: 11836
352.34/353.49 c INPROCESSING
352.34/353.49 c GARBAGE COLLECT
352.34/353.49 c #Conflicts: 97000 | #Constraints: 6637
352.34/353.49 c #Conflicts: 98000 | #Constraints: 7637
352.34/353.49 c #Conflicts: 99000 | #Constraints: 8637
352.34/353.49 c #Conflicts: 100000 | #Constraints: 9637
352.34/353.49 c #Conflicts: 101000 | #Constraints: 10637
352.34/353.49 c #Conflicts: 102000 | #Constraints: 11637
352.34/353.49 c #Conflicts: 103000 | #Constraints: 12637
352.34/353.49 c INPROCESSING
352.34/353.49 c GARBAGE COLLECT
352.34/353.49 c #Conflicts: 104000 | #Constraints: 7238
352.34/353.49 c #Conflicts: 105000 | #Constraints: 8238
352.34/353.49 c #Conflicts: 106000 | #Constraints: 9238
352.34/353.49 c #Conflicts: 107000 | #Constraints: 10238
352.34/353.49 c #Conflicts: 108000 | #Constraints: 11238
352.34/353.49 c #Conflicts: 109000 | #Constraints: 12238
352.34/353.49 c #Conflicts: 110000 | #Constraints: 13238
352.34/353.49 c INPROCESSING
352.34/353.49 c GARBAGE COLLECT
352.34/353.49 c #Conflicts: 111000 | #Constraints: 7638
352.34/353.49 c #Conflicts: 112000 | #Constraints: 8638
352.34/353.49 c #Conflicts: 113000 | #Constraints: 9638
352.34/353.49 c #Conflicts: 114000 | #Constraints: 10638
352.34/353.49 c #Conflicts: 115000 | #Constraints: 11638
352.34/353.49 c #Conflicts: 116000 | #Constraints: 12638
352.34/353.49 c #Conflicts: 117000 | #Constraints: 13638
352.34/353.49 c INPROCESSING
352.34/353.49 c GARBAGE COLLECT
352.34/353.49 c #Conflicts: 118000 | #Constraints: 7838
352.34/353.49 c #Conflicts: 119000 | #Constraints: 8838
352.34/353.49 c #Conflicts: 120000 | #Constraints: 9838
352.34/353.49 c #Conflicts: 121000 | #Constraints: 10838
352.34/353.49 c #Conflicts: 122000 | #Constraints: 11838
352.34/353.49 c #Conflicts: 123000 | #Constraints: 12838
352.34/353.49 c #Conflicts: 124000 | #Constraints: 13838
352.34/353.49 c INPROCESSING
352.34/353.49 c GARBAGE COLLECT
352.34/353.49 c #Conflicts: 125000 | #Constraints: 7837
352.34/353.49 c #Conflicts: 126000 | #Constraints: 8837
352.34/353.49 c #Conflicts: 127000 | #Constraints: 9837
352.34/353.49 c #Conflicts: 128000 | #Constraints: 10837
352.34/353.49 c #Conflicts: 129000 | #Constraints: 11837
352.34/353.49 c #Conflicts: 130000 | #Constraints: 12837
352.34/353.49 c #Conflicts: 131000 | #Constraints: 13837
352.34/353.49 c INPROCESSING
352.34/353.49 c GARBAGE COLLECT
352.34/353.49 c #Conflicts: 132000 | #Constraints: 7634
352.34/353.49 c #Conflicts: 133000 | #Constraints: 8634
352.34/353.49 c #Conflicts: 134000 | #Constraints: 9634
352.34/353.49 c #Conflicts: 135000 | #Constraints: 10634
352.34/353.49 c #Conflicts: 136000 | #Constraints: 11634
352.34/353.49 c #Conflicts: 137000 | #Constraints: 12634
352.34/353.49 c #Conflicts: 138000 | #Constraints: 13634
352.34/353.49 c #Conflicts: 139000 | #Constraints: 14634
352.34/353.49 c INPROCESSING
352.34/353.49 c GARBAGE COLLECT
352.34/353.49 c #Conflicts: 140000 | #Constraints: 8240
352.34/353.49 c #Conflicts: 141000 | #Constraints: 9240
352.34/353.49 c #Conflicts: 142000 | #Constraints: 10240
352.34/353.49 c #Conflicts: 143000 | #Constraints: 11240
352.34/353.49 c #Conflicts: 144000 | #Constraints: 12240
352.34/353.49 c #Conflicts: 145000 | #Constraints: 13240
352.34/353.49 c #Conflicts: 146000 | #Constraints: 14240
352.34/353.49 c #Conflicts: 147000 | #Constraints: 15240
352.34/353.49 c INPROCESSING
352.34/353.49 c GARBAGE COLLECT
352.34/353.49 c #Conflicts: 148000 | #Constraints: 8643
352.34/353.49 c #Conflicts: 149000 | #Constraints: 9643
352.34/353.49 c #Conflicts: 150000 | #Constraints: 10643
352.34/353.49 c #Conflicts: 151000 | #Constraints: 11643
352.34/353.49 c #Conflicts: 152000 | #Constraints: 12643
352.34/353.49 c #Conflicts: 153000 | #Constraints: 13643
352.34/353.49 c #Conflicts: 154000 | #Constraints: 14643
352.34/353.49 c #Conflicts: 155000 | #Constraints: 15643
352.34/353.49 c INPROCESSING
352.34/353.49 c GARBAGE COLLECT
355.53/356.62 c #Conflicts: 156000 | #Constraints: 8838
355.53/356.62 c #Conflicts: 157000 | #Constraints: 9838
355.53/356.62 c #Conflicts: 158000 | #Constraints: 10838
355.53/356.62 c #Conflicts: 159000 | #Constraints: 11838
355.53/356.62 c #Conflicts: 160000 | #Constraints: 12838
355.53/356.62 c #Conflicts: 161000 | #Constraints: 13838
355.53/356.62 c bounds 46 >= 0 @ 354.722
355.53/356.62 c stratification level: 8
401.12/402.35 c #Conflicts: 162000 | #Constraints: 14839
401.12/402.35 c #Conflicts: 163000 | #Constraints: 15839
401.12/402.35 c INPROCESSING
401.12/402.35 c GARBAGE COLLECT
401.12/402.35 c #Conflicts: 164000 | #Constraints: 8839
401.12/402.35 c #Conflicts: 165000 | #Constraints: 9839
401.12/402.35 c #Conflicts: 166000 | #Constraints: 10839
401.12/402.35 c #Conflicts: 167000 | #Constraints: 11839
401.12/402.35 c #Conflicts: 168000 | #Constraints: 12839
401.12/402.35 c #Conflicts: 169000 | #Constraints: 13839
401.12/402.35 c #Conflicts: 170000 | #Constraints: 14839
401.12/402.35 c #Conflicts: 171000 | #Constraints: 15839
401.12/402.35 c INPROCESSING
401.12/402.35 c GARBAGE COLLECT
401.12/402.35 c #Conflicts: 172000 | #Constraints: 8637
401.12/402.35 c #Conflicts: 173000 | #Constraints: 9637
401.12/402.35 c #Conflicts: 174000 | #Constraints: 10637
401.12/402.35 c #Conflicts: 175000 | #Constraints: 11637
401.12/402.35 c #Conflicts: 176000 | #Constraints: 12637
401.12/402.35 c #Conflicts: 177000 | #Constraints: 13637
401.12/402.35 c #Conflicts: 178000 | #Constraints: 14637
401.12/402.35 c #Conflicts: 179000 | #Constraints: 15637
401.12/402.35 c #Conflicts: 180000 | #Constraints: 16637
401.12/402.35 c INPROCESSING
401.12/402.35 c GARBAGE COLLECT
401.12/402.35 c #Conflicts: 181000 | #Constraints: 9238
401.12/402.35 c #Conflicts: 182000 | #Constraints: 10238
401.12/402.35 c #Conflicts: 183000 | #Constraints: 11238
401.12/402.35 c #Conflicts: 184000 | #Constraints: 12238
401.12/402.35 c #Conflicts: 185000 | #Constraints: 13238
401.12/402.35 c #Conflicts: 186000 | #Constraints: 14238
401.12/402.35 c #Conflicts: 187000 | #Constraints: 15238
401.12/402.35 c #Conflicts: 188000 | #Constraints: 16238
401.12/402.35 c #Conflicts: 189000 | #Constraints: 17238
401.12/402.35 c INPROCESSING
401.12/402.35 c GARBAGE COLLECT
401.12/402.35 c #Conflicts: 190000 | #Constraints: 9640
401.12/402.35 c #Conflicts: 191000 | #Constraints: 10640
401.12/402.35 c #Conflicts: 192000 | #Constraints: 11640
401.12/402.35 c #Conflicts: 193000 | #Constraints: 12640
401.12/402.35 c #Conflicts: 194000 | #Constraints: 13640
401.12/402.35 c #Conflicts: 195000 | #Constraints: 14640
401.12/402.35 c #Conflicts: 196000 | #Constraints: 15640
401.12/402.35 c #Conflicts: 197000 | #Constraints: 16640
401.12/402.35 c #Conflicts: 198000 | #Constraints: 17640
401.12/402.35 c INPROCESSING
401.12/402.35 c GARBAGE COLLECT
401.12/402.35 c #Conflicts: 199000 | #Constraints: 9838
401.12/402.35 c #Conflicts: 200000 | #Constraints: 10838
401.12/402.35 c #Conflicts: 201000 | #Constraints: 11838
401.12/402.35 c #Conflicts: 202000 | #Constraints: 12838
401.12/402.35 c #Conflicts: 203000 | #Constraints: 13838
401.12/402.35 c #Conflicts: 204000 | #Constraints: 14838
401.12/402.35 c #Conflicts: 205000 | #Constraints: 15838
401.12/402.35 c #Conflicts: 206000 | #Constraints: 16838
401.12/402.35 c #Conflicts: 207000 | #Constraints: 17838
401.12/402.35 c INPROCESSING
401.12/402.35 c GARBAGE COLLECT
401.12/402.35 c #Conflicts: 208000 | #Constraints: 9843
401.12/402.35 c #Conflicts: 209000 | #Constraints: 10843
401.12/402.35 c #Conflicts: 210000 | #Constraints: 11843
401.12/402.35 c #Conflicts: 211000 | #Constraints: 12843
401.12/402.35 c #Conflicts: 212000 | #Constraints: 13843
401.12/402.35 c #Conflicts: 213000 | #Constraints: 14843
401.12/402.35 c #Conflicts: 214000 | #Constraints: 15843
401.12/402.35 c #Conflicts: 215000 | #Constraints: 16843
401.12/402.35 c #Conflicts: 216000 | #Constraints: 17843
401.12/402.35 c INPROCESSING
401.12/402.35 c GARBAGE COLLECT
401.12/402.35 c #Conflicts: 217000 | #Constraints: 9643
401.12/402.35 c #Conflicts: 218000 | #Constraints: 10643
401.12/402.35 c #Conflicts: 219000 | #Constraints: 11643
401.12/402.35 c #Conflicts: 220000 | #Constraints: 12643
401.12/402.35 c #Conflicts: 221000 | #Constraints: 13643
401.12/402.35 c #Conflicts: 222000 | #Constraints: 14643
401.12/402.35 c #Conflicts: 223000 | #Constraints: 15643
401.12/402.35 c #Conflicts: 224000 | #Constraints: 16643
401.12/402.35 c #Conflicts: 225000 | #Constraints: 17643
401.12/402.35 c #Conflicts: 226000 | #Constraints: 18643
401.12/402.35 c INPROCESSING
401.12/402.35 c GARBAGE COLLECT
401.12/402.35 c #Conflicts: 227000 | #Constraints: 10245
401.12/402.35 c #Conflicts: 228000 | #Constraints: 11245
401.12/402.35 c #Conflicts: 229000 | #Constraints: 12245
401.12/402.35 c #Conflicts: 230000 | #Constraints: 13245
401.12/402.35 c #Conflicts: 231000 | #Constraints: 14245
401.12/402.35 c #Conflicts: 232000 | #Constraints: 15245
401.12/402.35 c #Conflicts: 233000 | #Constraints: 16245
401.12/402.35 c #Conflicts: 234000 | #Constraints: 17245
401.12/402.35 c #Conflicts: 235000 | #Constraints: 18245
445.90/447.21 c #Conflicts: 236000 | #Constraints: 19245
445.90/447.21 c INPROCESSING
445.90/447.21 c GARBAGE COLLECT
445.90/447.21 c #Conflicts: 237000 | #Constraints: 10642
445.90/447.21 c #Conflicts: 238000 | #Constraints: 11642
445.90/447.21 c #Conflicts: 239000 | #Constraints: 12642
445.90/447.21 c #Conflicts: 240000 | #Constraints: 13642
445.90/447.21 c #Conflicts: 241000 | #Constraints: 14642
445.90/447.21 c #Conflicts: 242000 | #Constraints: 15642
445.90/447.21 c #Conflicts: 243000 | #Constraints: 16642
445.90/447.21 c #Conflicts: 244000 | #Constraints: 17642
445.90/447.21 c #Conflicts: 245000 | #Constraints: 18642
445.90/447.21 c #Conflicts: 246000 | #Constraints: 19642
445.90/447.21 c INPROCESSING
445.90/447.21 c GARBAGE COLLECT
445.90/447.21 c #Conflicts: 247000 | #Constraints: 10839
445.90/447.21 c #Conflicts: 248000 | #Constraints: 11839
445.90/447.21 c #Conflicts: 249000 | #Constraints: 12839
445.90/447.21 c #Conflicts: 250000 | #Constraints: 13839
445.90/447.21 c #Conflicts: 251000 | #Constraints: 14839
445.90/447.21 c #Conflicts: 252000 | #Constraints: 15839
445.90/447.21 c #Conflicts: 253000 | #Constraints: 16839
445.90/447.21 c #Conflicts: 254000 | #Constraints: 17839
445.90/447.21 c #Conflicts: 255000 | #Constraints: 18839
445.90/447.21 c #Conflicts: 256000 | #Constraints: 19839
445.90/447.21 c INPROCESSING
445.90/447.21 c GARBAGE COLLECT
445.90/447.21 c #Conflicts: 257000 | #Constraints: 10838
445.90/447.21 c #Conflicts: 258000 | #Constraints: 11838
445.90/447.21 c #Conflicts: 259000 | #Constraints: 12838
445.90/447.21 c #Conflicts: 260000 | #Constraints: 13838
445.90/447.21 c #Conflicts: 261000 | #Constraints: 14838
445.90/447.21 c #Conflicts: 262000 | #Constraints: 15838
445.90/447.21 c #Conflicts: 263000 | #Constraints: 16838
445.90/447.21 c #Conflicts: 264000 | #Constraints: 17838
445.90/447.21 c #Conflicts: 265000 | #Constraints: 18838
445.90/447.21 c #Conflicts: 266000 | #Constraints: 19838
445.90/447.21 c INPROCESSING
445.90/447.21 c GARBAGE COLLECT
445.90/447.21 c #Conflicts: 267000 | #Constraints: 10639
445.90/447.21 c #Conflicts: 268000 | #Constraints: 11639
445.90/447.21 c #Conflicts: 269000 | #Constraints: 12639
445.90/447.21 c #Conflicts: 270000 | #Constraints: 13639
445.90/447.21 c #Conflicts: 271000 | #Constraints: 14639
445.90/447.21 c #Conflicts: 272000 | #Constraints: 15639
445.90/447.21 c #Conflicts: 273000 | #Constraints: 16639
445.90/447.21 c #Conflicts: 274000 | #Constraints: 17639
445.90/447.21 c #Conflicts: 275000 | #Constraints: 18639
445.90/447.21 c #Conflicts: 276000 | #Constraints: 19639
445.90/447.21 c #Conflicts: 277000 | #Constraints: 20639
445.90/447.21 c INPROCESSING
445.90/447.21 c GARBAGE COLLECT
445.90/447.21 c #Conflicts: 278000 | #Constraints: 11238
445.90/447.21 c #Conflicts: 279000 | #Constraints: 12238
445.90/447.21 c #Conflicts: 280000 | #Constraints: 13238
445.90/447.21 c #Conflicts: 281000 | #Constraints: 14238
445.90/447.21 c #Conflicts: 282000 | #Constraints: 15238
445.90/447.21 c #Conflicts: 283000 | #Constraints: 16238
445.90/447.21 c #Conflicts: 284000 | #Constraints: 17238
445.90/447.21 c #Conflicts: 285000 | #Constraints: 18238
445.90/447.21 c #Conflicts: 286000 | #Constraints: 19238
445.90/447.21 c #Conflicts: 287000 | #Constraints: 20238
445.90/447.21 c #Conflicts: 288000 | #Constraints: 21238
445.90/447.21 c INPROCESSING
445.90/447.21 c GARBAGE COLLECT
445.90/447.21 c #Conflicts: 289000 | #Constraints: 11640
445.90/447.21 c #Conflicts: 290000 | #Constraints: 12640
445.90/447.21 c #Conflicts: 291000 | #Constraints: 13640
445.90/447.21 c #Conflicts: 292000 | #Constraints: 14640
445.90/447.21 c #Conflicts: 293000 | #Constraints: 15640
445.90/447.21 c #Conflicts: 294000 | #Constraints: 16640
445.90/447.21 c #Conflicts: 295000 | #Constraints: 17640
445.90/447.21 c #Conflicts: 296000 | #Constraints: 18640
445.90/447.21 c #Conflicts: 297000 | #Constraints: 19640
445.90/447.21 c #Conflicts: 298000 | #Constraints: 20640
445.90/447.21 c #Conflicts: 299000 | #Constraints: 21640
445.90/447.21 c INPROCESSING
445.90/447.21 c GARBAGE COLLECT
445.90/447.21 c #Conflicts: 300000 | #Constraints: 11838
445.90/447.21 c #Conflicts: 301000 | #Constraints: 12838
445.90/447.21 c #Conflicts: 302000 | #Constraints: 13838
445.90/447.21 c bounds 45 >= 0 @ 444.521
445.90/447.21 c stratification level: 4
507.95/509.47 c #Conflicts: 303000 | #Constraints: 14839
507.95/509.47 c #Conflicts: 304000 | #Constraints: 15839
507.95/509.47 c #Conflicts: 305000 | #Constraints: 16839
507.95/509.47 c #Conflicts: 306000 | #Constraints: 17839
507.95/509.47 c #Conflicts: 307000 | #Constraints: 18839
507.95/509.47 c #Conflicts: 308000 | #Constraints: 19839
507.95/509.47 c #Conflicts: 309000 | #Constraints: 20839
507.95/509.47 c #Conflicts: 310000 | #Constraints: 21839
507.95/509.47 c INPROCESSING
507.95/509.47 c GARBAGE COLLECT
507.95/509.47 c #Conflicts: 311000 | #Constraints: 11836
507.95/509.47 c #Conflicts: 312000 | #Constraints: 12836
507.95/509.47 c #Conflicts: 313000 | #Constraints: 13836
507.95/509.47 c #Conflicts: 314000 | #Constraints: 14836
507.95/509.47 c #Conflicts: 315000 | #Constraints: 15836
507.95/509.47 c #Conflicts: 316000 | #Constraints: 16836
507.95/509.47 c #Conflicts: 317000 | #Constraints: 17836
507.95/509.47 c #Conflicts: 318000 | #Constraints: 18836
507.95/509.47 c #Conflicts: 319000 | #Constraints: 19836
507.95/509.47 c #Conflicts: 320000 | #Constraints: 20836
507.95/509.47 c #Conflicts: 321000 | #Constraints: 21836
507.95/509.47 c INPROCESSING
507.95/509.47 c GARBAGE COLLECT
507.95/509.47 c #Conflicts: 322000 | #Constraints: 11637
507.95/509.47 c #Conflicts: 323000 | #Constraints: 12637
507.95/509.47 c #Conflicts: 324000 | #Constraints: 13637
507.95/509.47 c #Conflicts: 325000 | #Constraints: 14637
507.95/509.47 c #Conflicts: 326000 | #Constraints: 15637
507.95/509.47 c #Conflicts: 327000 | #Constraints: 16637
507.95/509.47 c #Conflicts: 328000 | #Constraints: 17637
507.95/509.47 c #Conflicts: 329000 | #Constraints: 18637
507.95/509.47 c #Conflicts: 330000 | #Constraints: 19637
507.95/509.47 c #Conflicts: 331000 | #Constraints: 20637
507.95/509.47 c #Conflicts: 332000 | #Constraints: 21637
507.95/509.47 c #Conflicts: 333000 | #Constraints: 22637
507.95/509.47 c INPROCESSING
507.95/509.47 c GARBAGE COLLECT
507.95/509.47 c #Conflicts: 334000 | #Constraints: 12239
507.95/509.47 c #Conflicts: 335000 | #Constraints: 13239
507.95/509.47 c #Conflicts: 336000 | #Constraints: 14239
507.95/509.47 c #Conflicts: 337000 | #Constraints: 15239
507.95/509.47 c #Conflicts: 338000 | #Constraints: 16239
507.95/509.47 c #Conflicts: 339000 | #Constraints: 17239
507.95/509.47 c #Conflicts: 340000 | #Constraints: 18239
507.95/509.47 c #Conflicts: 341000 | #Constraints: 19239
507.95/509.47 c #Conflicts: 342000 | #Constraints: 20239
507.95/509.47 c #Conflicts: 343000 | #Constraints: 21239
507.95/509.47 c #Conflicts: 344000 | #Constraints: 22239
507.95/509.47 c #Conflicts: 345000 | #Constraints: 23239
507.95/509.47 c INPROCESSING
507.95/509.47 c GARBAGE COLLECT
507.95/509.47 c #Conflicts: 346000 | #Constraints: 12635
507.95/509.47 c #Conflicts: 347000 | #Constraints: 13635
507.95/509.47 c #Conflicts: 348000 | #Constraints: 14635
507.95/509.47 c #Conflicts: 349000 | #Constraints: 15635
507.95/509.47 c #Conflicts: 350000 | #Constraints: 16635
507.95/509.47 c #Conflicts: 351000 | #Constraints: 17635
507.95/509.47 c #Conflicts: 352000 | #Constraints: 18635
507.95/509.47 c #Conflicts: 353000 | #Constraints: 19635
507.95/509.47 c #Conflicts: 354000 | #Constraints: 20635
507.95/509.47 c #Conflicts: 355000 | #Constraints: 21635
507.95/509.47 c #Conflicts: 356000 | #Constraints: 22635
507.95/509.47 c #Conflicts: 357000 | #Constraints: 23635
507.95/509.47 c INPROCESSING
507.95/509.47 c GARBAGE COLLECT
507.95/509.47 c #Conflicts: 358000 | #Constraints: 12834
507.95/509.47 c #Conflicts: 359000 | #Constraints: 13834
507.95/509.47 c #Conflicts: 360000 | #Constraints: 14834
507.95/509.47 c #Conflicts: 361000 | #Constraints: 15834
507.95/509.47 c #Conflicts: 362000 | #Constraints: 16834
507.95/509.47 c #Conflicts: 363000 | #Constraints: 17834
507.95/509.47 c #Conflicts: 364000 | #Constraints: 18834
507.95/509.47 c #Conflicts: 365000 | #Constraints: 19834
507.95/509.47 c #Conflicts: 366000 | #Constraints: 20834
507.95/509.47 c #Conflicts: 367000 | #Constraints: 21834
507.95/509.47 c #Conflicts: 368000 | #Constraints: 22834
507.95/509.47 c #Conflicts: 369000 | #Constraints: 23834
507.95/509.47 c INPROCESSING
507.95/509.47 c GARBAGE COLLECT
507.95/509.47 c #Conflicts: 370000 | #Constraints: 12836
507.95/509.47 c #Conflicts: 371000 | #Constraints: 13836
507.95/509.47 c #Conflicts: 372000 | #Constraints: 14836
507.95/509.47 c #Conflicts: 373000 | #Constraints: 15836
507.95/509.47 c #Conflicts: 374000 | #Constraints: 16836
507.95/509.47 c #Conflicts: 375000 | #Constraints: 17836
507.95/509.47 c #Conflicts: 376000 | #Constraints: 18836
507.95/509.47 c #Conflicts: 377000 | #Constraints: 19836
572.50/574.10 c #Conflicts: 378000 | #Constraints: 20836
572.50/574.10 c #Conflicts: 379000 | #Constraints: 21836
572.50/574.10 c #Conflicts: 380000 | #Constraints: 22836
572.50/574.10 c #Conflicts: 381000 | #Constraints: 23836
572.50/574.10 c INPROCESSING
572.50/574.10 c GARBAGE COLLECT
572.50/574.10 c #Conflicts: 382000 | #Constraints: 12638
572.50/574.10 c #Conflicts: 383000 | #Constraints: 13638
572.50/574.10 c #Conflicts: 384000 | #Constraints: 14638
572.50/574.10 c #Conflicts: 385000 | #Constraints: 15638
572.50/574.10 c #Conflicts: 386000 | #Constraints: 16638
572.50/574.10 c #Conflicts: 387000 | #Constraints: 17638
572.50/574.10 c #Conflicts: 388000 | #Constraints: 18638
572.50/574.10 c #Conflicts: 389000 | #Constraints: 19638
572.50/574.10 c #Conflicts: 390000 | #Constraints: 20638
572.50/574.10 c #Conflicts: 391000 | #Constraints: 21638
572.50/574.10 c #Conflicts: 392000 | #Constraints: 22638
572.50/574.10 c #Conflicts: 393000 | #Constraints: 23638
572.50/574.10 c #Conflicts: 394000 | #Constraints: 24638
572.50/574.10 c INPROCESSING
572.50/574.10 c GARBAGE COLLECT
572.50/574.10 c #Conflicts: 395000 | #Constraints: 13235
572.50/574.10 c #Conflicts: 396000 | #Constraints: 14235
572.50/574.10 c #Conflicts: 397000 | #Constraints: 15235
572.50/574.10 c #Conflicts: 398000 | #Constraints: 16235
572.50/574.10 c #Conflicts: 399000 | #Constraints: 17235
572.50/574.10 c #Conflicts: 400000 | #Constraints: 18235
572.50/574.10 c #Conflicts: 401000 | #Constraints: 19235
572.50/574.10 c #Conflicts: 402000 | #Constraints: 20235
572.50/574.10 c #Conflicts: 403000 | #Constraints: 21235
572.50/574.10 c #Conflicts: 404000 | #Constraints: 22235
572.50/574.10 c #Conflicts: 405000 | #Constraints: 23235
572.50/574.10 c #Conflicts: 406000 | #Constraints: 24235
572.50/574.10 c #Conflicts: 407000 | #Constraints: 25235
572.50/574.10 c INPROCESSING
572.50/574.10 c GARBAGE COLLECT
572.50/574.10 c #Conflicts: 408000 | #Constraints: 13633
572.50/574.10 c #Conflicts: 409000 | #Constraints: 14633
572.50/574.10 c #Conflicts: 410000 | #Constraints: 15633
572.50/574.10 c #Conflicts: 411000 | #Constraints: 16633
572.50/574.10 c #Conflicts: 412000 | #Constraints: 17633
572.50/574.10 c #Conflicts: 413000 | #Constraints: 18633
572.50/574.10 c #Conflicts: 414000 | #Constraints: 19633
572.50/574.10 c #Conflicts: 415000 | #Constraints: 20633
572.50/574.10 c #Conflicts: 416000 | #Constraints: 21633
572.50/574.10 c #Conflicts: 417000 | #Constraints: 22633
572.50/574.10 c #Conflicts: 418000 | #Constraints: 23633
572.50/574.10 c #Conflicts: 419000 | #Constraints: 24633
572.50/574.10 c #Conflicts: 420000 | #Constraints: 25633
572.50/574.10 c INPROCESSING
572.50/574.10 c GARBAGE COLLECT
572.50/574.10 c #Conflicts: 421000 | #Constraints: 13838
572.50/574.10 c #Conflicts: 422000 | #Constraints: 14838
572.50/574.10 c #Conflicts: 423000 | #Constraints: 15838
572.50/574.10 c #Conflicts: 424000 | #Constraints: 16838
572.50/574.10 c #Conflicts: 425000 | #Constraints: 17838
572.50/574.10 c #Conflicts: 426000 | #Constraints: 18838
572.50/574.10 c #Conflicts: 427000 | #Constraints: 19838
572.50/574.10 c #Conflicts: 428000 | #Constraints: 20838
572.50/574.10 c #Conflicts: 429000 | #Constraints: 21838
572.50/574.10 c #Conflicts: 430000 | #Constraints: 22838
572.50/574.10 c #Conflicts: 431000 | #Constraints: 23838
572.50/574.10 c #Conflicts: 432000 | #Constraints: 24838
572.50/574.10 c #Conflicts: 433000 | #Constraints: 25838
572.50/574.10 c INPROCESSING
572.50/574.10 c GARBAGE COLLECT
572.50/574.10 c #Conflicts: 434000 | #Constraints: 13842
572.50/574.10 c #Conflicts: 435000 | #Constraints: 14842
572.50/574.10 c #Conflicts: 436000 | #Constraints: 15842
572.50/574.10 c #Conflicts: 437000 | #Constraints: 16842
572.50/574.10 c #Conflicts: 438000 | #Constraints: 17842
572.50/574.10 c #Conflicts: 439000 | #Constraints: 18842
572.50/574.10 c #Conflicts: 440000 | #Constraints: 19842
572.50/574.10 c #Conflicts: 441000 | #Constraints: 20842
572.50/574.10 c #Conflicts: 442000 | #Constraints: 21842
572.50/574.10 c #Conflicts: 443000 | #Constraints: 22842
572.50/574.10 c #Conflicts: 444000 | #Constraints: 23842
572.50/574.10 c #Conflicts: 445000 | #Constraints: 24842
572.50/574.10 c #Conflicts: 446000 | #Constraints: 25842
572.50/574.10 c INPROCESSING
572.50/574.10 c GARBAGE COLLECT
572.50/574.10 c #Conflicts: 447000 | #Constraints: 13640
572.50/574.10 c #Conflicts: 448000 | #Constraints: 14640
572.50/574.10 c #Conflicts: 449000 | #Constraints: 15640
572.50/574.10 c #Conflicts: 450000 | #Constraints: 16640
572.50/574.10 c #Conflicts: 451000 | #Constraints: 17640
572.50/574.10 c #Conflicts: 452000 | #Constraints: 18640
647.22/649.07 c #Conflicts: 453000 | #Constraints: 19640
647.22/649.07 c #Conflicts: 454000 | #Constraints: 20640
647.22/649.07 c #Conflicts: 455000 | #Constraints: 21640
647.22/649.07 c #Conflicts: 456000 | #Constraints: 22640
647.22/649.07 c #Conflicts: 457000 | #Constraints: 23640
647.22/649.07 c #Conflicts: 458000 | #Constraints: 24640
647.22/649.07 c #Conflicts: 459000 | #Constraints: 25640
647.22/649.07 c #Conflicts: 460000 | #Constraints: 26640
647.22/649.07 c INPROCESSING
647.22/649.07 c GARBAGE COLLECT
647.22/649.07 c #Conflicts: 461000 | #Constraints: 14238
647.22/649.07 c #Conflicts: 462000 | #Constraints: 15238
647.22/649.07 c #Conflicts: 463000 | #Constraints: 16238
647.22/649.07 c #Conflicts: 464000 | #Constraints: 17238
647.22/649.07 c #Conflicts: 465000 | #Constraints: 18238
647.22/649.07 c #Conflicts: 466000 | #Constraints: 19238
647.22/649.07 c #Conflicts: 467000 | #Constraints: 20238
647.22/649.07 c #Conflicts: 468000 | #Constraints: 21238
647.22/649.07 c #Conflicts: 469000 | #Constraints: 22238
647.22/649.07 c #Conflicts: 470000 | #Constraints: 23238
647.22/649.07 c #Conflicts: 471000 | #Constraints: 24238
647.22/649.07 c #Conflicts: 472000 | #Constraints: 25238
647.22/649.07 c #Conflicts: 473000 | #Constraints: 26238
647.22/649.07 c #Conflicts: 474000 | #Constraints: 27238
647.22/649.07 c INPROCESSING
647.22/649.07 c GARBAGE COLLECT
647.22/649.07 c #Conflicts: 475000 | #Constraints: 14639
647.22/649.07 c #Conflicts: 476000 | #Constraints: 15639
647.22/649.07 c #Conflicts: 477000 | #Constraints: 16639
647.22/649.07 c #Conflicts: 478000 | #Constraints: 17639
647.22/649.07 c #Conflicts: 479000 | #Constraints: 18639
647.22/649.07 c #Conflicts: 480000 | #Constraints: 19639
647.22/649.07 c #Conflicts: 481000 | #Constraints: 20639
647.22/649.07 c #Conflicts: 482000 | #Constraints: 21639
647.22/649.07 c #Conflicts: 483000 | #Constraints: 22639
647.22/649.07 c #Conflicts: 484000 | #Constraints: 23639
647.22/649.07 c #Conflicts: 485000 | #Constraints: 24639
647.22/649.07 c #Conflicts: 486000 | #Constraints: 25639
647.22/649.07 c #Conflicts: 487000 | #Constraints: 26639
647.22/649.07 c #Conflicts: 488000 | #Constraints: 27639
647.22/649.07 c INPROCESSING
647.22/649.07 c GARBAGE COLLECT
647.22/649.07 c #Conflicts: 489000 | #Constraints: 14838
647.22/649.07 c #Conflicts: 490000 | #Constraints: 15838
647.22/649.07 c #Conflicts: 491000 | #Constraints: 16838
647.22/649.07 c #Conflicts: 492000 | #Constraints: 17838
647.22/649.07 c #Conflicts: 493000 | #Constraints: 18838
647.22/649.07 c #Conflicts: 494000 | #Constraints: 19838
647.22/649.07 c #Conflicts: 495000 | #Constraints: 20838
647.22/649.07 c #Conflicts: 496000 | #Constraints: 21838
647.22/649.07 c #Conflicts: 497000 | #Constraints: 22838
647.22/649.07 c #Conflicts: 498000 | #Constraints: 23838
647.22/649.07 c #Conflicts: 499000 | #Constraints: 24838
647.22/649.07 c #Conflicts: 500000 | #Constraints: 25838
647.22/649.07 c #Conflicts: 501000 | #Constraints: 26838
647.22/649.07 c #Conflicts: 502000 | #Constraints: 27838
647.22/649.07 c INPROCESSING
647.22/649.07 c GARBAGE COLLECT
647.22/649.07 c #Conflicts: 503000 | #Constraints: 14837
647.22/649.07 c #Conflicts: 504000 | #Constraints: 15837
647.22/649.07 c #Conflicts: 505000 | #Constraints: 16837
647.22/649.07 c #Conflicts: 506000 | #Constraints: 17837
647.22/649.07 c #Conflicts: 507000 | #Constraints: 18837
647.22/649.07 c #Conflicts: 508000 | #Constraints: 19837
647.22/649.07 c #Conflicts: 509000 | #Constraints: 20837
647.22/649.07 c #Conflicts: 510000 | #Constraints: 21837
647.22/649.07 c #Conflicts: 511000 | #Constraints: 22837
647.22/649.07 c #Conflicts: 512000 | #Constraints: 23837
647.22/649.07 c #Conflicts: 513000 | #Constraints: 24837
647.22/649.07 c #Conflicts: 514000 | #Constraints: 25837
647.22/649.07 c #Conflicts: 515000 | #Constraints: 26837
647.22/649.07 c #Conflicts: 516000 | #Constraints: 27837
647.22/649.07 c INPROCESSING
647.22/649.07 c GARBAGE COLLECT
647.22/649.07 c #Conflicts: 517000 | #Constraints: 14638
647.22/649.07 c #Conflicts: 518000 | #Constraints: 15638
647.22/649.07 c #Conflicts: 519000 | #Constraints: 16638
647.22/649.07 c #Conflicts: 520000 | #Constraints: 17638
647.22/649.07 c #Conflicts: 521000 | #Constraints: 18638
647.22/649.07 c #Conflicts: 522000 | #Constraints: 19638
647.22/649.07 c #Conflicts: 523000 | #Constraints: 20638
647.22/649.07 c #Conflicts: 524000 | #Constraints: 21638
647.22/649.07 c #Conflicts: 525000 | #Constraints: 22638
647.22/649.07 c #Conflicts: 526000 | #Constraints: 23638
647.22/649.07 c #Conflicts: 527000 | #Constraints: 24638
647.22/649.07 c #Conflicts: 528000 | #Constraints: 25638
720.05/722.02 c #Conflicts: 529000 | #Constraints: 26638
720.05/722.02 c #Conflicts: 530000 | #Constraints: 27638
720.05/722.02 c #Conflicts: 531000 | #Constraints: 28638
720.05/722.02 c INPROCESSING
720.05/722.02 c GARBAGE COLLECT
720.05/722.02 c #Conflicts: 532000 | #Constraints: 15238
720.05/722.02 c #Conflicts: 533000 | #Constraints: 16238
720.05/722.02 c #Conflicts: 534000 | #Constraints: 17238
720.05/722.02 c #Conflicts: 535000 | #Constraints: 18238
720.05/722.02 c #Conflicts: 536000 | #Constraints: 19238
720.05/722.02 c #Conflicts: 537000 | #Constraints: 20238
720.05/722.02 c #Conflicts: 538000 | #Constraints: 21238
720.05/722.02 c #Conflicts: 539000 | #Constraints: 22238
720.05/722.02 c #Conflicts: 540000 | #Constraints: 23238
720.05/722.02 c #Conflicts: 541000 | #Constraints: 24238
720.05/722.02 c #Conflicts: 542000 | #Constraints: 25238
720.05/722.02 c #Conflicts: 543000 | #Constraints: 26238
720.05/722.02 c #Conflicts: 544000 | #Constraints: 27238
720.05/722.02 c #Conflicts: 545000 | #Constraints: 28238
720.05/722.02 c #Conflicts: 546000 | #Constraints: 29238
720.05/722.02 c INPROCESSING
720.05/722.02 c GARBAGE COLLECT
720.05/722.02 c #Conflicts: 547000 | #Constraints: 15637
720.05/722.02 c #Conflicts: 548000 | #Constraints: 16637
720.05/722.02 c #Conflicts: 549000 | #Constraints: 17637
720.05/722.02 c #Conflicts: 550000 | #Constraints: 18637
720.05/722.02 c #Conflicts: 551000 | #Constraints: 19637
720.05/722.02 c #Conflicts: 552000 | #Constraints: 20637
720.05/722.02 c #Conflicts: 553000 | #Constraints: 21637
720.05/722.02 c #Conflicts: 554000 | #Constraints: 22637
720.05/722.02 c #Conflicts: 555000 | #Constraints: 23637
720.05/722.02 c #Conflicts: 556000 | #Constraints: 24637
720.05/722.02 c #Conflicts: 557000 | #Constraints: 25637
720.05/722.02 c #Conflicts: 558000 | #Constraints: 26637
720.05/722.02 c #Conflicts: 559000 | #Constraints: 27637
720.05/722.02 c #Conflicts: 560000 | #Constraints: 28637
720.05/722.02 c #Conflicts: 561000 | #Constraints: 29637
720.05/722.02 c INPROCESSING
720.05/722.02 c GARBAGE COLLECT
720.05/722.02 c #Conflicts: 562000 | #Constraints: 15837
720.05/722.02 c #Conflicts: 563000 | #Constraints: 16837
720.05/722.02 c #Conflicts: 564000 | #Constraints: 17837
720.05/722.02 c #Conflicts: 565000 | #Constraints: 18837
720.05/722.02 c #Conflicts: 566000 | #Constraints: 19837
720.05/722.02 c #Conflicts: 567000 | #Constraints: 20837
720.05/722.02 c #Conflicts: 568000 | #Constraints: 21837
720.05/722.02 c #Conflicts: 569000 | #Constraints: 22837
720.05/722.02 c #Conflicts: 570000 | #Constraints: 23837
720.05/722.02 c #Conflicts: 571000 | #Constraints: 24837
720.05/722.02 c #Conflicts: 572000 | #Constraints: 25837
720.05/722.02 c #Conflicts: 573000 | #Constraints: 26837
720.05/722.02 c #Conflicts: 574000 | #Constraints: 27837
720.05/722.02 c #Conflicts: 575000 | #Constraints: 28837
720.05/722.02 c #Conflicts: 576000 | #Constraints: 29837
720.05/722.02 c INPROCESSING
720.05/722.02 c GARBAGE COLLECT
720.05/722.02 c #Conflicts: 577000 | #Constraints: 15839
720.05/722.02 c #Conflicts: 578000 | #Constraints: 16839
720.05/722.02 c #Conflicts: 579000 | #Constraints: 17839
720.05/722.02 c #Conflicts: 580000 | #Constraints: 18839
720.05/722.02 c #Conflicts: 581000 | #Constraints: 19839
720.05/722.02 c #Conflicts: 582000 | #Constraints: 20839
720.05/722.02 c #Conflicts: 583000 | #Constraints: 21839
720.05/722.02 c #Conflicts: 584000 | #Constraints: 22839
720.05/722.02 c #Conflicts: 585000 | #Constraints: 23839
720.05/722.02 c #Conflicts: 586000 | #Constraints: 24839
720.05/722.02 c #Conflicts: 587000 | #Constraints: 25839
720.05/722.02 c #Conflicts: 588000 | #Constraints: 26839
720.05/722.02 c #Conflicts: 589000 | #Constraints: 27839
720.05/722.02 c #Conflicts: 590000 | #Constraints: 28839
720.05/722.02 c #Conflicts: 591000 | #Constraints: 29839
720.05/722.02 c INPROCESSING
720.05/722.02 c GARBAGE COLLECT
720.05/722.02 c #Conflicts: 592000 | #Constraints: 15637
720.05/722.02 c #Conflicts: 593000 | #Constraints: 16637
720.05/722.02 c #Conflicts: 594000 | #Constraints: 17637
720.05/722.02 c #Conflicts: 595000 | #Constraints: 18637
720.05/722.02 c #Conflicts: 596000 | #Constraints: 19637
720.05/722.02 c #Conflicts: 597000 | #Constraints: 20637
720.05/722.02 c #Conflicts: 598000 | #Constraints: 21637
720.05/722.02 c #Conflicts: 599000 | #Constraints: 22637
720.05/722.02 c #Conflicts: 600000 | #Constraints: 23637
720.05/722.02 c #Conflicts: 601000 | #Constraints: 24637
720.05/722.02 c #Conflicts: 602000 | #Constraints: 25637
720.05/722.02 c #Conflicts: 603000 | #Constraints: 26637
720.05/722.02 c #Conflicts: 604000 | #Constraints: 27637
798.35/800.59 c #Conflicts: 605000 | #Constraints: 28637
798.35/800.59 c #Conflicts: 606000 | #Constraints: 29637
798.35/800.59 c #Conflicts: 607000 | #Constraints: 30637
798.35/800.59 c INPROCESSING
798.35/800.59 c GARBAGE COLLECT
798.35/800.59 c #Conflicts: 608000 | #Constraints: 16239
798.35/800.59 c #Conflicts: 609000 | #Constraints: 17239
798.35/800.59 c #Conflicts: 610000 | #Constraints: 18239
798.35/800.59 c #Conflicts: 611000 | #Constraints: 19239
798.35/800.59 c #Conflicts: 612000 | #Constraints: 20239
798.35/800.59 c #Conflicts: 613000 | #Constraints: 21239
798.35/800.59 c #Conflicts: 614000 | #Constraints: 22239
798.35/800.59 c #Conflicts: 615000 | #Constraints: 23239
798.35/800.59 c #Conflicts: 616000 | #Constraints: 24239
798.35/800.59 c #Conflicts: 617000 | #Constraints: 25239
798.35/800.59 c #Conflicts: 618000 | #Constraints: 26239
798.35/800.59 c #Conflicts: 619000 | #Constraints: 27239
798.35/800.59 c #Conflicts: 620000 | #Constraints: 28239
798.35/800.59 c #Conflicts: 621000 | #Constraints: 29239
798.35/800.59 c #Conflicts: 622000 | #Constraints: 30239
798.35/800.59 c #Conflicts: 623000 | #Constraints: 31239
798.35/800.59 c INPROCESSING
798.35/800.59 c GARBAGE COLLECT
798.35/800.59 c #Conflicts: 624000 | #Constraints: 16640
798.35/800.59 c #Conflicts: 625000 | #Constraints: 17640
798.35/800.59 c #Conflicts: 626000 | #Constraints: 18640
798.35/800.59 c #Conflicts: 627000 | #Constraints: 19640
798.35/800.59 c #Conflicts: 628000 | #Constraints: 20640
798.35/800.59 c #Conflicts: 629000 | #Constraints: 21640
798.35/800.59 c #Conflicts: 630000 | #Constraints: 22640
798.35/800.59 c #Conflicts: 631000 | #Constraints: 23640
798.35/800.59 c #Conflicts: 632000 | #Constraints: 24640
798.35/800.59 c #Conflicts: 633000 | #Constraints: 25640
798.35/800.59 c #Conflicts: 634000 | #Constraints: 26640
798.35/800.59 c #Conflicts: 635000 | #Constraints: 27640
798.35/800.59 c #Conflicts: 636000 | #Constraints: 28640
798.35/800.59 c #Conflicts: 637000 | #Constraints: 29640
798.35/800.59 c #Conflicts: 638000 | #Constraints: 30640
798.35/800.59 c #Conflicts: 639000 | #Constraints: 31640
798.35/800.59 c INPROCESSING
798.35/800.59 c GARBAGE COLLECT
798.35/800.59 c #Conflicts: 640000 | #Constraints: 16839
798.35/800.59 c #Conflicts: 641000 | #Constraints: 17839
798.35/800.59 c #Conflicts: 642000 | #Constraints: 18839
798.35/800.59 c #Conflicts: 643000 | #Constraints: 19839
798.35/800.59 c #Conflicts: 644000 | #Constraints: 20839
798.35/800.59 c #Conflicts: 645000 | #Constraints: 21839
798.35/800.59 c #Conflicts: 646000 | #Constraints: 22839
798.35/800.59 c #Conflicts: 647000 | #Constraints: 23839
798.35/800.59 c #Conflicts: 648000 | #Constraints: 24839
798.35/800.59 c #Conflicts: 649000 | #Constraints: 25839
798.35/800.59 c #Conflicts: 650000 | #Constraints: 26839
798.35/800.59 c #Conflicts: 651000 | #Constraints: 27839
798.35/800.59 c #Conflicts: 652000 | #Constraints: 28839
798.35/800.59 c #Conflicts: 653000 | #Constraints: 29839
798.35/800.59 c #Conflicts: 654000 | #Constraints: 30839
798.35/800.59 c #Conflicts: 655000 | #Constraints: 31839
798.35/800.59 c INPROCESSING
798.35/800.59 c GARBAGE COLLECT
798.35/800.59 c #Conflicts: 656000 | #Constraints: 16840
798.35/800.59 c #Conflicts: 657000 | #Constraints: 17840
798.35/800.59 c #Conflicts: 658000 | #Constraints: 18840
798.35/800.59 c #Conflicts: 659000 | #Constraints: 19840
798.35/800.59 c #Conflicts: 660000 | #Constraints: 20840
798.35/800.59 c #Conflicts: 661000 | #Constraints: 21840
798.35/800.59 c #Conflicts: 662000 | #Constraints: 22840
798.35/800.59 c #Conflicts: 663000 | #Constraints: 23840
798.35/800.59 c #Conflicts: 664000 | #Constraints: 24840
798.35/800.59 c #Conflicts: 665000 | #Constraints: 25840
798.35/800.59 c #Conflicts: 666000 | #Constraints: 26840
798.35/800.59 c #Conflicts: 667000 | #Constraints: 27840
798.35/800.59 c #Conflicts: 668000 | #Constraints: 28840
798.35/800.59 c #Conflicts: 669000 | #Constraints: 29840
798.35/800.59 c #Conflicts: 670000 | #Constraints: 30840
798.35/800.59 c #Conflicts: 671000 | #Constraints: 31840
798.35/800.59 c INPROCESSING
798.35/800.59 c GARBAGE COLLECT
798.35/800.59 c #Conflicts: 672000 | #Constraints: 16636
798.35/800.59 c #Conflicts: 673000 | #Constraints: 17636
798.35/800.59 c #Conflicts: 674000 | #Constraints: 18636
798.35/800.59 c #Conflicts: 675000 | #Constraints: 19636
798.35/800.59 c #Conflicts: 676000 | #Constraints: 20636
798.35/800.59 c #Conflicts: 677000 | #Constraints: 21636
798.35/800.59 c #Conflicts: 678000 | #Constraints: 22636
798.35/800.59 c #Conflicts: 679000 | #Constraints: 23636
892.53/894.90 c #Conflicts: 680000 | #Constraints: 24636
892.53/894.90 c #Conflicts: 681000 | #Constraints: 25636
892.53/894.90 c #Conflicts: 682000 | #Constraints: 26636
892.53/894.90 c #Conflicts: 683000 | #Constraints: 27636
892.53/894.90 c #Conflicts: 684000 | #Constraints: 28636
892.53/894.90 c #Conflicts: 685000 | #Constraints: 29636
892.53/894.90 c #Conflicts: 686000 | #Constraints: 30636
892.53/894.90 c #Conflicts: 687000 | #Constraints: 31636
892.53/894.90 c #Conflicts: 688000 | #Constraints: 32636
892.53/894.90 c INPROCESSING
892.53/894.90 c GARBAGE COLLECT
892.53/894.90 c #Conflicts: 689000 | #Constraints: 17235
892.53/894.90 c #Conflicts: 690000 | #Constraints: 18235
892.53/894.90 c #Conflicts: 691000 | #Constraints: 19235
892.53/894.90 c #Conflicts: 692000 | #Constraints: 20235
892.53/894.90 c #Conflicts: 693000 | #Constraints: 21235
892.53/894.90 c #Conflicts: 694000 | #Constraints: 22235
892.53/894.90 c #Conflicts: 695000 | #Constraints: 23235
892.53/894.90 c #Conflicts: 696000 | #Constraints: 24235
892.53/894.90 c #Conflicts: 697000 | #Constraints: 25235
892.53/894.90 c #Conflicts: 698000 | #Constraints: 26235
892.53/894.90 c #Conflicts: 699000 | #Constraints: 27235
892.53/894.90 c #Conflicts: 700000 | #Constraints: 28235
892.53/894.90 c #Conflicts: 701000 | #Constraints: 29235
892.53/894.90 c #Conflicts: 702000 | #Constraints: 30235
892.53/894.90 c #Conflicts: 703000 | #Constraints: 31235
892.53/894.90 c #Conflicts: 704000 | #Constraints: 32235
892.53/894.90 c #Conflicts: 705000 | #Constraints: 33235
892.53/894.90 c INPROCESSING
892.53/894.90 c GARBAGE COLLECT
892.53/894.90 c #Conflicts: 706000 | #Constraints: 17638
892.53/894.90 c #Conflicts: 707000 | #Constraints: 18638
892.53/894.90 c #Conflicts: 708000 | #Constraints: 19638
892.53/894.90 c #Conflicts: 709000 | #Constraints: 20638
892.53/894.90 c #Conflicts: 710000 | #Constraints: 21638
892.53/894.90 c #Conflicts: 711000 | #Constraints: 22638
892.53/894.90 c #Conflicts: 712000 | #Constraints: 23638
892.53/894.90 c #Conflicts: 713000 | #Constraints: 24638
892.53/894.90 c #Conflicts: 714000 | #Constraints: 25638
892.53/894.90 c #Conflicts: 715000 | #Constraints: 26638
892.53/894.90 c #Conflicts: 716000 | #Constraints: 27638
892.53/894.90 c #Conflicts: 717000 | #Constraints: 28638
892.53/894.90 c #Conflicts: 718000 | #Constraints: 29638
892.53/894.90 c #Conflicts: 719000 | #Constraints: 30638
892.53/894.90 c #Conflicts: 720000 | #Constraints: 31638
892.53/894.90 c #Conflicts: 721000 | #Constraints: 32638
892.53/894.90 c #Conflicts: 722000 | #Constraints: 33638
892.53/894.90 c INPROCESSING
892.53/894.90 c GARBAGE COLLECT
892.53/894.90 c #Conflicts: 723000 | #Constraints: 17839
892.53/894.90 c #Conflicts: 724000 | #Constraints: 18839
892.53/894.90 c #Conflicts: 725000 | #Constraints: 19839
892.53/894.90 c #Conflicts: 726000 | #Constraints: 20839
892.53/894.90 c #Conflicts: 727000 | #Constraints: 21839
892.53/894.90 c #Conflicts: 728000 | #Constraints: 22839
892.53/894.90 c #Conflicts: 729000 | #Constraints: 23839
892.53/894.90 c #Conflicts: 730000 | #Constraints: 24839
892.53/894.90 c #Conflicts: 731000 | #Constraints: 25839
892.53/894.90 c #Conflicts: 732000 | #Constraints: 26839
892.53/894.90 c #Conflicts: 733000 | #Constraints: 27839
892.53/894.90 c #Conflicts: 734000 | #Constraints: 28839
892.53/894.90 c #Conflicts: 735000 | #Constraints: 29839
892.53/894.90 c #Conflicts: 736000 | #Constraints: 30839
892.53/894.90 c #Conflicts: 737000 | #Constraints: 31839
892.53/894.90 c #Conflicts: 738000 | #Constraints: 32839
892.53/894.90 c #Conflicts: 739000 | #Constraints: 33839
892.53/894.90 c INPROCESSING
892.53/894.90 c GARBAGE COLLECT
892.53/894.90 c #Conflicts: 740000 | #Constraints: 17842
892.53/894.90 c #Conflicts: 741000 | #Constraints: 18842
892.53/894.90 c #Conflicts: 742000 | #Constraints: 19842
892.53/894.90 c #Conflicts: 743000 | #Constraints: 20842
892.53/894.90 c #Conflicts: 744000 | #Constraints: 21842
892.53/894.90 c #Conflicts: 745000 | #Constraints: 22842
892.53/894.90 c #Conflicts: 746000 | #Constraints: 23842
892.53/894.90 c #Conflicts: 747000 | #Constraints: 24842
892.53/894.90 c #Conflicts: 748000 | #Constraints: 25842
892.53/894.90 c #Conflicts: 749000 | #Constraints: 26842
892.53/894.90 c #Conflicts: 750000 | #Constraints: 27842
892.53/894.90 c #Conflicts: 751000 | #Constraints: 28842
892.53/894.90 c #Conflicts: 752000 | #Constraints: 29842
892.53/894.90 c #Conflicts: 753000 | #Constraints: 30842
892.53/894.90 c #Conflicts: 754000 | #Constraints: 31842
892.53/894.90 c #Conflicts: 755000 | #Constraints: 32842
984.01/986.61 c #Conflicts: 756000 | #Constraints: 33842
984.01/986.61 c INPROCESSING
984.01/986.61 c GARBAGE COLLECT
984.01/986.61 c #Conflicts: 757000 | #Constraints: 17641
984.01/986.61 c #Conflicts: 758000 | #Constraints: 18641
984.01/986.61 c #Conflicts: 759000 | #Constraints: 19641
984.01/986.61 c #Conflicts: 760000 | #Constraints: 20641
984.01/986.61 c #Conflicts: 761000 | #Constraints: 21641
984.01/986.61 c #Conflicts: 762000 | #Constraints: 22641
984.01/986.61 c #Conflicts: 763000 | #Constraints: 23641
984.01/986.61 c #Conflicts: 764000 | #Constraints: 24641
984.01/986.61 c #Conflicts: 765000 | #Constraints: 25641
984.01/986.61 c #Conflicts: 766000 | #Constraints: 26641
984.01/986.61 c #Conflicts: 767000 | #Constraints: 27641
984.01/986.61 c #Conflicts: 768000 | #Constraints: 28641
984.01/986.61 c #Conflicts: 769000 | #Constraints: 29641
984.01/986.61 c #Conflicts: 770000 | #Constraints: 30641
984.01/986.61 c #Conflicts: 771000 | #Constraints: 31641
984.01/986.61 c #Conflicts: 772000 | #Constraints: 32641
984.01/986.61 c #Conflicts: 773000 | #Constraints: 33641
984.01/986.61 c #Conflicts: 774000 | #Constraints: 34641
984.01/986.61 c INPROCESSING
984.01/986.61 c GARBAGE COLLECT
984.01/986.61 c #Conflicts: 775000 | #Constraints: 18240
984.01/986.61 c #Conflicts: 776000 | #Constraints: 19240
984.01/986.61 c #Conflicts: 777000 | #Constraints: 20240
984.01/986.61 c #Conflicts: 778000 | #Constraints: 21240
984.01/986.61 c #Conflicts: 779000 | #Constraints: 22240
984.01/986.61 c #Conflicts: 780000 | #Constraints: 23240
984.01/986.61 c #Conflicts: 781000 | #Constraints: 24240
984.01/986.61 c #Conflicts: 782000 | #Constraints: 25240
984.01/986.61 c #Conflicts: 783000 | #Constraints: 26240
984.01/986.61 c #Conflicts: 784000 | #Constraints: 27240
984.01/986.61 c #Conflicts: 785000 | #Constraints: 28240
984.01/986.61 c #Conflicts: 786000 | #Constraints: 29240
984.01/986.61 c #Conflicts: 787000 | #Constraints: 30240
984.01/986.61 c #Conflicts: 788000 | #Constraints: 31240
984.01/986.61 c #Conflicts: 789000 | #Constraints: 32240
984.01/986.61 c #Conflicts: 790000 | #Constraints: 33240
984.01/986.61 c #Conflicts: 791000 | #Constraints: 34240
984.01/986.61 c #Conflicts: 792000 | #Constraints: 35240
984.01/986.61 c INPROCESSING
984.01/986.61 c GARBAGE COLLECT
984.01/986.61 c #Conflicts: 793000 | #Constraints: 18635
984.01/986.61 c #Conflicts: 794000 | #Constraints: 19635
984.01/986.61 c #Conflicts: 795000 | #Constraints: 20635
984.01/986.61 c #Conflicts: 796000 | #Constraints: 21635
984.01/986.61 c #Conflicts: 797000 | #Constraints: 22635
984.01/986.61 c #Conflicts: 798000 | #Constraints: 23635
984.01/986.61 c #Conflicts: 799000 | #Constraints: 24635
984.01/986.61 c #Conflicts: 800000 | #Constraints: 25635
984.01/986.61 c #Conflicts: 801000 | #Constraints: 26635
984.01/986.61 c #Conflicts: 802000 | #Constraints: 27635
984.01/986.61 c #Conflicts: 803000 | #Constraints: 28635
984.01/986.61 c #Conflicts: 804000 | #Constraints: 29635
984.01/986.61 c #Conflicts: 805000 | #Constraints: 30635
984.01/986.61 c #Conflicts: 806000 | #Constraints: 31635
984.01/986.61 c #Conflicts: 807000 | #Constraints: 32635
984.01/986.61 c #Conflicts: 808000 | #Constraints: 33635
984.01/986.61 c #Conflicts: 809000 | #Constraints: 34635
984.01/986.61 c #Conflicts: 810000 | #Constraints: 35635
984.01/986.61 c INPROCESSING
984.01/986.61 c GARBAGE COLLECT
984.01/986.61 c #Conflicts: 811000 | #Constraints: 18836
984.01/986.61 c #Conflicts: 812000 | #Constraints: 19836
984.01/986.61 c #Conflicts: 813000 | #Constraints: 20836
984.01/986.61 c #Conflicts: 814000 | #Constraints: 21836
984.01/986.61 c #Conflicts: 815000 | #Constraints: 22836
984.01/986.61 c #Conflicts: 816000 | #Constraints: 23836
984.01/986.61 c #Conflicts: 817000 | #Constraints: 24836
984.01/986.61 c #Conflicts: 818000 | #Constraints: 25836
984.01/986.61 c #Conflicts: 819000 | #Constraints: 26836
984.01/986.61 c #Conflicts: 820000 | #Constraints: 27836
984.01/986.61 c #Conflicts: 821000 | #Constraints: 28836
984.01/986.61 c #Conflicts: 822000 | #Constraints: 29836
984.01/986.61 c #Conflicts: 823000 | #Constraints: 30836
984.01/986.61 c #Conflicts: 824000 | #Constraints: 31836
984.01/986.61 c #Conflicts: 825000 | #Constraints: 32836
984.01/986.61 c #Conflicts: 826000 | #Constraints: 33836
984.01/986.61 c #Conflicts: 827000 | #Constraints: 34836
984.01/986.61 c #Conflicts: 828000 | #Constraints: 35836
984.01/986.61 c INPROCESSING
984.01/986.61 c GARBAGE COLLECT
984.01/986.61 c #Conflicts: 829000 | #Constraints: 18834
984.01/986.61 c #Conflicts: 830000 | #Constraints: 19834
984.01/986.61 c #Conflicts: 831000 | #Constraints: 20834
1083.37/1086.24 c #Conflicts: 832000 | #Constraints: 21834
1083.37/1086.24 c #Conflicts: 833000 | #Constraints: 22834
1083.37/1086.24 c #Conflicts: 834000 | #Constraints: 23834
1083.37/1086.24 c #Conflicts: 835000 | #Constraints: 24834
1083.37/1086.24 c #Conflicts: 836000 | #Constraints: 25834
1083.37/1086.24 c #Conflicts: 837000 | #Constraints: 26834
1083.37/1086.24 c #Conflicts: 838000 | #Constraints: 27834
1083.37/1086.24 c #Conflicts: 839000 | #Constraints: 28834
1083.37/1086.24 c #Conflicts: 840000 | #Constraints: 29834
1083.37/1086.24 c #Conflicts: 841000 | #Constraints: 30834
1083.37/1086.24 c #Conflicts: 842000 | #Constraints: 31834
1083.37/1086.24 c #Conflicts: 843000 | #Constraints: 32834
1083.37/1086.24 c #Conflicts: 844000 | #Constraints: 33834
1083.37/1086.24 c #Conflicts: 845000 | #Constraints: 34834
1083.37/1086.24 c #Conflicts: 846000 | #Constraints: 35834
1083.37/1086.24 c INPROCESSING
1083.37/1086.24 c GARBAGE COLLECT
1083.37/1086.24 c #Conflicts: 847000 | #Constraints: 18636
1083.37/1086.24 c #Conflicts: 848000 | #Constraints: 19636
1083.37/1086.24 c #Conflicts: 849000 | #Constraints: 20636
1083.37/1086.24 c #Conflicts: 850000 | #Constraints: 21636
1083.37/1086.24 c #Conflicts: 851000 | #Constraints: 22636
1083.37/1086.24 c #Conflicts: 852000 | #Constraints: 23636
1083.37/1086.24 c #Conflicts: 853000 | #Constraints: 24636
1083.37/1086.24 c #Conflicts: 854000 | #Constraints: 25636
1083.37/1086.24 c #Conflicts: 855000 | #Constraints: 26636
1083.37/1086.24 c #Conflicts: 856000 | #Constraints: 27636
1083.37/1086.24 c #Conflicts: 857000 | #Constraints: 28636
1083.37/1086.24 c #Conflicts: 858000 | #Constraints: 29636
1083.37/1086.24 c #Conflicts: 859000 | #Constraints: 30636
1083.37/1086.24 c #Conflicts: 860000 | #Constraints: 31636
1083.37/1086.24 c #Conflicts: 861000 | #Constraints: 32636
1083.37/1086.24 c #Conflicts: 862000 | #Constraints: 33636
1083.37/1086.24 c #Conflicts: 863000 | #Constraints: 34636
1083.37/1086.24 c #Conflicts: 864000 | #Constraints: 35636
1083.37/1086.24 c #Conflicts: 865000 | #Constraints: 36636
1083.37/1086.24 c INPROCESSING
1083.37/1086.24 c GARBAGE COLLECT
1083.37/1086.24 c #Conflicts: 866000 | #Constraints: 19233
1083.37/1086.24 c #Conflicts: 867000 | #Constraints: 20233
1083.37/1086.24 c #Conflicts: 868000 | #Constraints: 21233
1083.37/1086.24 c #Conflicts: 869000 | #Constraints: 22233
1083.37/1086.24 c #Conflicts: 870000 | #Constraints: 23233
1083.37/1086.24 c #Conflicts: 871000 | #Constraints: 24233
1083.37/1086.24 c #Conflicts: 872000 | #Constraints: 25233
1083.37/1086.24 c #Conflicts: 873000 | #Constraints: 26233
1083.37/1086.24 c #Conflicts: 874000 | #Constraints: 27233
1083.37/1086.24 c #Conflicts: 875000 | #Constraints: 28233
1083.37/1086.24 c #Conflicts: 876000 | #Constraints: 29233
1083.37/1086.24 c #Conflicts: 877000 | #Constraints: 30233
1083.37/1086.24 c #Conflicts: 878000 | #Constraints: 31233
1083.37/1086.24 c #Conflicts: 879000 | #Constraints: 32233
1083.37/1086.24 c #Conflicts: 880000 | #Constraints: 33233
1083.37/1086.24 c #Conflicts: 881000 | #Constraints: 34233
1083.37/1086.24 c #Conflicts: 882000 | #Constraints: 35233
1083.37/1086.24 c #Conflicts: 883000 | #Constraints: 36233
1083.37/1086.24 c #Conflicts: 884000 | #Constraints: 37233
1083.37/1086.24 c INPROCESSING
1083.37/1086.24 c GARBAGE COLLECT
1083.37/1086.24 c #Conflicts: 885000 | #Constraints: 19632
1083.37/1086.24 c #Conflicts: 886000 | #Constraints: 20632
1083.37/1086.24 c #Conflicts: 887000 | #Constraints: 21632
1083.37/1086.24 c #Conflicts: 888000 | #Constraints: 22632
1083.37/1086.24 c #Conflicts: 889000 | #Constraints: 23632
1083.37/1086.24 c #Conflicts: 890000 | #Constraints: 24632
1083.37/1086.24 c #Conflicts: 891000 | #Constraints: 25632
1083.37/1086.24 c #Conflicts: 892000 | #Constraints: 26632
1083.37/1086.24 c #Conflicts: 893000 | #Constraints: 27632
1083.37/1086.24 c #Conflicts: 894000 | #Constraints: 28632
1083.37/1086.24 c #Conflicts: 895000 | #Constraints: 29632
1083.37/1086.24 c #Conflicts: 896000 | #Constraints: 30632
1083.37/1086.24 c #Conflicts: 897000 | #Constraints: 31632
1083.37/1086.24 c #Conflicts: 898000 | #Constraints: 32632
1083.37/1086.24 c #Conflicts: 899000 | #Constraints: 33632
1083.37/1086.24 c #Conflicts: 900000 | #Constraints: 34632
1083.37/1086.24 c #Conflicts: 901000 | #Constraints: 35632
1083.37/1086.24 c #Conflicts: 902000 | #Constraints: 36632
1083.37/1086.24 c #Conflicts: 903000 | #Constraints: 37632
1083.37/1086.24 c INPROCESSING
1083.37/1086.24 c GARBAGE COLLECT
1083.37/1086.24 c #Conflicts: 904000 | #Constraints: 19837
1083.37/1086.24 c #Conflicts: 905000 | #Constraints: 20837
1083.37/1086.24 c #Conflicts: 906000 | #Constraints: 21837
1083.37/1086.24 c #Conflicts: 907000 | #Constraints: 22837
1180.57/1183.66 c #Conflicts: 908000 | #Constraints: 23837
1180.57/1183.66 c #Conflicts: 909000 | #Constraints: 24837
1180.57/1183.66 c #Conflicts: 910000 | #Constraints: 25837
1180.57/1183.66 c #Conflicts: 911000 | #Constraints: 26837
1180.57/1183.66 c #Conflicts: 912000 | #Constraints: 27837
1180.57/1183.66 c #Conflicts: 913000 | #Constraints: 28837
1180.57/1183.66 c #Conflicts: 914000 | #Constraints: 29837
1180.57/1183.66 c #Conflicts: 915000 | #Constraints: 30837
1180.57/1183.66 c #Conflicts: 916000 | #Constraints: 31837
1180.57/1183.66 c #Conflicts: 917000 | #Constraints: 32837
1180.57/1183.66 c #Conflicts: 918000 | #Constraints: 33837
1180.57/1183.66 c #Conflicts: 919000 | #Constraints: 34837
1180.57/1183.66 c #Conflicts: 920000 | #Constraints: 35837
1180.57/1183.66 c #Conflicts: 921000 | #Constraints: 36837
1180.57/1183.66 c #Conflicts: 922000 | #Constraints: 37837
1180.57/1183.66 c INPROCESSING
1180.57/1183.66 c GARBAGE COLLECT
1180.57/1183.66 c #Conflicts: 923000 | #Constraints: 19835
1180.57/1183.66 c #Conflicts: 924000 | #Constraints: 20835
1180.57/1183.66 c #Conflicts: 925000 | #Constraints: 21835
1180.57/1183.66 c #Conflicts: 926000 | #Constraints: 22835
1180.57/1183.66 c #Conflicts: 927000 | #Constraints: 23835
1180.57/1183.66 c #Conflicts: 928000 | #Constraints: 24835
1180.57/1183.66 c #Conflicts: 929000 | #Constraints: 25835
1180.57/1183.66 c #Conflicts: 930000 | #Constraints: 26835
1180.57/1183.66 c #Conflicts: 931000 | #Constraints: 27835
1180.57/1183.66 c #Conflicts: 932000 | #Constraints: 28835
1180.57/1183.66 c #Conflicts: 933000 | #Constraints: 29835
1180.57/1183.66 c #Conflicts: 934000 | #Constraints: 30835
1180.57/1183.66 c #Conflicts: 935000 | #Constraints: 31835
1180.57/1183.66 c #Conflicts: 936000 | #Constraints: 32835
1180.57/1183.66 c #Conflicts: 937000 | #Constraints: 33835
1180.57/1183.66 c #Conflicts: 938000 | #Constraints: 34835
1180.57/1183.66 c #Conflicts: 939000 | #Constraints: 35835
1180.57/1183.66 c #Conflicts: 940000 | #Constraints: 36835
1180.57/1183.66 c #Conflicts: 941000 | #Constraints: 37835
1180.57/1183.66 c INPROCESSING
1180.57/1183.66 c GARBAGE COLLECT
1180.57/1183.66 c #Conflicts: 942000 | #Constraints: 19637
1180.57/1183.66 c #Conflicts: 943000 | #Constraints: 20637
1180.57/1183.66 c #Conflicts: 944000 | #Constraints: 21637
1180.57/1183.66 c #Conflicts: 945000 | #Constraints: 22637
1180.57/1183.66 c #Conflicts: 946000 | #Constraints: 23637
1180.57/1183.66 c #Conflicts: 947000 | #Constraints: 24637
1180.57/1183.66 c #Conflicts: 948000 | #Constraints: 25637
1180.57/1183.66 c #Conflicts: 949000 | #Constraints: 26637
1180.57/1183.66 c #Conflicts: 950000 | #Constraints: 27637
1180.57/1183.66 c #Conflicts: 951000 | #Constraints: 28637
1180.57/1183.66 c #Conflicts: 952000 | #Constraints: 29637
1180.57/1183.66 c #Conflicts: 953000 | #Constraints: 30637
1180.57/1183.66 c #Conflicts: 954000 | #Constraints: 31637
1180.57/1183.66 c #Conflicts: 955000 | #Constraints: 32637
1180.57/1183.66 c #Conflicts: 956000 | #Constraints: 33637
1180.57/1183.66 c #Conflicts: 957000 | #Constraints: 34637
1180.57/1183.66 c #Conflicts: 958000 | #Constraints: 35637
1180.57/1183.66 c #Conflicts: 959000 | #Constraints: 36637
1180.57/1183.66 c #Conflicts: 960000 | #Constraints: 37637
1180.57/1183.66 c #Conflicts: 961000 | #Constraints: 38637
1180.57/1183.66 c INPROCESSING
1180.57/1183.66 c GARBAGE COLLECT
1180.57/1183.66 c #Conflicts: 962000 | #Constraints: 20242
1180.57/1183.66 c #Conflicts: 963000 | #Constraints: 21242
1180.57/1183.66 c #Conflicts: 964000 | #Constraints: 22242
1180.57/1183.66 c #Conflicts: 965000 | #Constraints: 23242
1180.57/1183.66 c #Conflicts: 966000 | #Constraints: 24242
1180.57/1183.66 c #Conflicts: 967000 | #Constraints: 25242
1180.57/1183.66 c #Conflicts: 968000 | #Constraints: 26242
1180.57/1183.66 c #Conflicts: 969000 | #Constraints: 27242
1180.57/1183.66 c #Conflicts: 970000 | #Constraints: 28242
1180.57/1183.66 c #Conflicts: 971000 | #Constraints: 29242
1180.57/1183.66 c #Conflicts: 972000 | #Constraints: 30242
1180.57/1183.66 c #Conflicts: 973000 | #Constraints: 31242
1180.57/1183.66 c #Conflicts: 974000 | #Constraints: 32242
1180.57/1183.66 c #Conflicts: 975000 | #Constraints: 33242
1180.57/1183.66 c #Conflicts: 976000 | #Constraints: 34242
1180.57/1183.66 c #Conflicts: 977000 | #Constraints: 35242
1180.57/1183.66 c #Conflicts: 978000 | #Constraints: 36242
1180.57/1183.66 c #Conflicts: 979000 | #Constraints: 37242
1180.57/1183.66 c #Conflicts: 980000 | #Constraints: 38242
1180.57/1183.66 c #Conflicts: 981000 | #Constraints: 39242
1180.57/1183.66 c INPROCESSING
1180.57/1183.66 c GARBAGE COLLECT
1180.57/1183.66 c #Conflicts: 982000 | #Constraints: 20640
1180.57/1183.66 c #Conflicts: 983000 | #Constraints: 21640
1289.65/1292.98 c #Conflicts: 984000 | #Constraints: 22640
1289.65/1292.98 c #Conflicts: 985000 | #Constraints: 23640
1289.65/1292.98 c #Conflicts: 986000 | #Constraints: 24640
1289.65/1292.98 c #Conflicts: 987000 | #Constraints: 25640
1289.65/1292.98 c #Conflicts: 988000 | #Constraints: 26640
1289.65/1292.98 c #Conflicts: 989000 | #Constraints: 27640
1289.65/1292.98 c #Conflicts: 990000 | #Constraints: 28640
1289.65/1292.98 c #Conflicts: 991000 | #Constraints: 29640
1289.65/1292.98 c #Conflicts: 992000 | #Constraints: 30640
1289.65/1292.98 c #Conflicts: 993000 | #Constraints: 31640
1289.65/1292.98 c #Conflicts: 994000 | #Constraints: 32640
1289.65/1292.98 c #Conflicts: 995000 | #Constraints: 33640
1289.65/1292.98 c #Conflicts: 996000 | #Constraints: 34640
1289.65/1292.98 c #Conflicts: 997000 | #Constraints: 35640
1289.65/1292.98 c #Conflicts: 998000 | #Constraints: 36640
1289.65/1292.98 c #Conflicts: 999000 | #Constraints: 37640
1289.65/1292.98 c #Conflicts: 1000000 | #Constraints: 38640
1289.65/1292.98 c #Conflicts: 1001000 | #Constraints: 39640
1289.65/1292.98 c INPROCESSING
1289.65/1292.98 c GARBAGE COLLECT
1289.65/1292.98 c #Conflicts: 1002000 | #Constraints: 20839
1289.65/1292.98 c #Conflicts: 1003000 | #Constraints: 21839
1289.65/1292.98 c #Conflicts: 1004000 | #Constraints: 22839
1289.65/1292.98 c #Conflicts: 1005000 | #Constraints: 23839
1289.65/1292.98 c #Conflicts: 1006000 | #Constraints: 24839
1289.65/1292.98 c #Conflicts: 1007000 | #Constraints: 25839
1289.65/1292.98 c #Conflicts: 1008000 | #Constraints: 26839
1289.65/1292.98 c #Conflicts: 1009000 | #Constraints: 27839
1289.65/1292.98 c #Conflicts: 1010000 | #Constraints: 28839
1289.65/1292.98 c #Conflicts: 1011000 | #Constraints: 29839
1289.65/1292.98 c #Conflicts: 1012000 | #Constraints: 30839
1289.65/1292.98 c #Conflicts: 1013000 | #Constraints: 31839
1289.65/1292.98 c #Conflicts: 1014000 | #Constraints: 32839
1289.65/1292.98 c #Conflicts: 1015000 | #Constraints: 33839
1289.65/1292.98 c #Conflicts: 1016000 | #Constraints: 34839
1289.65/1292.98 c #Conflicts: 1017000 | #Constraints: 35839
1289.65/1292.98 c #Conflicts: 1018000 | #Constraints: 36839
1289.65/1292.98 c #Conflicts: 1019000 | #Constraints: 37839
1289.65/1292.98 c #Conflicts: 1020000 | #Constraints: 38839
1289.65/1292.98 c #Conflicts: 1021000 | #Constraints: 39839
1289.65/1292.98 c INPROCESSING
1289.65/1292.98 c GARBAGE COLLECT
1289.65/1292.98 c #Conflicts: 1022000 | #Constraints: 20836
1289.65/1292.98 c #Conflicts: 1023000 | #Constraints: 21836
1289.65/1292.98 c #Conflicts: 1024000 | #Constraints: 22836
1289.65/1292.98 c #Conflicts: 1025000 | #Constraints: 23836
1289.65/1292.98 c #Conflicts: 1026000 | #Constraints: 24836
1289.65/1292.98 c #Conflicts: 1027000 | #Constraints: 25836
1289.65/1292.98 c #Conflicts: 1028000 | #Constraints: 26836
1289.65/1292.98 c #Conflicts: 1029000 | #Constraints: 27836
1289.65/1292.98 c #Conflicts: 1030000 | #Constraints: 28836
1289.65/1292.98 c #Conflicts: 1031000 | #Constraints: 29836
1289.65/1292.98 c #Conflicts: 1032000 | #Constraints: 30836
1289.65/1292.98 c #Conflicts: 1033000 | #Constraints: 31836
1289.65/1292.98 c #Conflicts: 1034000 | #Constraints: 32836
1289.65/1292.98 c #Conflicts: 1035000 | #Constraints: 33836
1289.65/1292.98 c #Conflicts: 1036000 | #Constraints: 34836
1289.65/1292.98 c #Conflicts: 1037000 | #Constraints: 35836
1289.65/1292.98 c #Conflicts: 1038000 | #Constraints: 36836
1289.65/1292.98 c #Conflicts: 1039000 | #Constraints: 37836
1289.65/1292.98 c #Conflicts: 1040000 | #Constraints: 38836
1289.65/1292.98 c #Conflicts: 1041000 | #Constraints: 39836
1289.65/1292.98 c INPROCESSING
1289.65/1292.98 c GARBAGE COLLECT
1289.65/1292.98 c #Conflicts: 1042000 | #Constraints: 20641
1289.65/1292.98 c #Conflicts: 1043000 | #Constraints: 21641
1289.65/1292.98 c #Conflicts: 1044000 | #Constraints: 22641
1289.65/1292.98 c #Conflicts: 1045000 | #Constraints: 23641
1289.65/1292.98 c #Conflicts: 1046000 | #Constraints: 24641
1289.65/1292.98 c #Conflicts: 1047000 | #Constraints: 25641
1289.65/1292.98 c #Conflicts: 1048000 | #Constraints: 26641
1289.65/1292.98 c #Conflicts: 1049000 | #Constraints: 27641
1289.65/1292.98 c #Conflicts: 1050000 | #Constraints: 28641
1289.65/1292.98 c #Conflicts: 1051000 | #Constraints: 29641
1289.65/1292.98 c #Conflicts: 1052000 | #Constraints: 30641
1289.65/1292.98 c #Conflicts: 1053000 | #Constraints: 31641
1289.65/1292.98 c #Conflicts: 1054000 | #Constraints: 32641
1289.65/1292.98 c #Conflicts: 1055000 | #Constraints: 33641
1289.65/1292.98 c #Conflicts: 1056000 | #Constraints: 34641
1289.65/1292.98 c #Conflicts: 1057000 | #Constraints: 35641
1289.65/1292.98 c #Conflicts: 1058000 | #Constraints: 36641
1289.65/1292.98 c #Conflicts: 1059000 | #Constraints: 37641
1289.65/1292.98 c #Conflicts: 1060000 | #Constraints: 38641
1403.54/1407.07 c #Conflicts: 1061000 | #Constraints: 39641
1403.54/1407.07 c #Conflicts: 1062000 | #Constraints: 40641
1403.54/1407.07 c INPROCESSING
1403.54/1407.07 c GARBAGE COLLECT
1403.54/1407.07 c #Conflicts: 1063000 | #Constraints: 21244
1403.54/1407.07 c #Conflicts: 1064000 | #Constraints: 22244
1403.54/1407.07 c #Conflicts: 1065000 | #Constraints: 23244
1403.54/1407.07 c #Conflicts: 1066000 | #Constraints: 24244
1403.54/1407.07 c #Conflicts: 1067000 | #Constraints: 25244
1403.54/1407.07 c #Conflicts: 1068000 | #Constraints: 26244
1403.54/1407.07 c #Conflicts: 1069000 | #Constraints: 27244
1403.54/1407.07 c #Conflicts: 1070000 | #Constraints: 28244
1403.54/1407.07 c #Conflicts: 1071000 | #Constraints: 29244
1403.54/1407.07 c #Conflicts: 1072000 | #Constraints: 30244
1403.54/1407.07 c #Conflicts: 1073000 | #Constraints: 31244
1403.54/1407.07 c #Conflicts: 1074000 | #Constraints: 32244
1403.54/1407.07 c #Conflicts: 1075000 | #Constraints: 33244
1403.54/1407.07 c #Conflicts: 1076000 | #Constraints: 34244
1403.54/1407.07 c #Conflicts: 1077000 | #Constraints: 35244
1403.54/1407.07 c #Conflicts: 1078000 | #Constraints: 36244
1403.54/1407.07 c #Conflicts: 1079000 | #Constraints: 37244
1403.54/1407.07 c #Conflicts: 1080000 | #Constraints: 38244
1403.54/1407.07 c #Conflicts: 1081000 | #Constraints: 39244
1403.54/1407.07 c #Conflicts: 1082000 | #Constraints: 40244
1403.54/1407.07 c #Conflicts: 1083000 | #Constraints: 41244
1403.54/1407.07 c INPROCESSING
1403.54/1407.07 c GARBAGE COLLECT
1403.54/1407.07 c #Conflicts: 1084000 | #Constraints: 21641
1403.54/1407.07 c #Conflicts: 1085000 | #Constraints: 22641
1403.54/1407.07 c #Conflicts: 1086000 | #Constraints: 23641
1403.54/1407.07 c #Conflicts: 1087000 | #Constraints: 24641
1403.54/1407.07 c #Conflicts: 1088000 | #Constraints: 25641
1403.54/1407.07 c #Conflicts: 1089000 | #Constraints: 26641
1403.54/1407.07 c #Conflicts: 1090000 | #Constraints: 27641
1403.54/1407.07 c #Conflicts: 1091000 | #Constraints: 28641
1403.54/1407.07 c #Conflicts: 1092000 | #Constraints: 29641
1403.54/1407.07 c #Conflicts: 1093000 | #Constraints: 30641
1403.54/1407.07 c #Conflicts: 1094000 | #Constraints: 31641
1403.54/1407.07 c #Conflicts: 1095000 | #Constraints: 32641
1403.54/1407.07 c #Conflicts: 1096000 | #Constraints: 33641
1403.54/1407.07 c #Conflicts: 1097000 | #Constraints: 34641
1403.54/1407.07 c #Conflicts: 1098000 | #Constraints: 35641
1403.54/1407.07 c #Conflicts: 1099000 | #Constraints: 36641
1403.54/1407.07 c #Conflicts: 1100000 | #Constraints: 37641
1403.54/1407.07 c #Conflicts: 1101000 | #Constraints: 38641
1403.54/1407.07 c #Conflicts: 1102000 | #Constraints: 39641
1403.54/1407.07 c #Conflicts: 1103000 | #Constraints: 40641
1403.54/1407.07 c #Conflicts: 1104000 | #Constraints: 41641
1403.54/1407.07 c INPROCESSING
1403.54/1407.07 c GARBAGE COLLECT
1403.54/1407.07 c #Conflicts: 1105000 | #Constraints: 21845
1403.54/1407.07 c #Conflicts: 1106000 | #Constraints: 22845
1403.54/1407.07 c #Conflicts: 1107000 | #Constraints: 23845
1403.54/1407.07 c #Conflicts: 1108000 | #Constraints: 24845
1403.54/1407.07 c #Conflicts: 1109000 | #Constraints: 25845
1403.54/1407.07 c #Conflicts: 1110000 | #Constraints: 26845
1403.54/1407.07 c #Conflicts: 1111000 | #Constraints: 27845
1403.54/1407.07 c #Conflicts: 1112000 | #Constraints: 28845
1403.54/1407.07 c #Conflicts: 1113000 | #Constraints: 29845
1403.54/1407.07 c #Conflicts: 1114000 | #Constraints: 30845
1403.54/1407.07 c #Conflicts: 1115000 | #Constraints: 31845
1403.54/1407.07 c #Conflicts: 1116000 | #Constraints: 32845
1403.54/1407.07 c #Conflicts: 1117000 | #Constraints: 33845
1403.54/1407.07 c #Conflicts: 1118000 | #Constraints: 34845
1403.54/1407.07 c #Conflicts: 1119000 | #Constraints: 35845
1403.54/1407.07 c #Conflicts: 1120000 | #Constraints: 36845
1403.54/1407.07 c #Conflicts: 1121000 | #Constraints: 37845
1403.54/1407.07 c #Conflicts: 1122000 | #Constraints: 38845
1403.54/1407.07 c #Conflicts: 1123000 | #Constraints: 39845
1403.54/1407.07 c #Conflicts: 1124000 | #Constraints: 40845
1403.54/1407.07 c #Conflicts: 1125000 | #Constraints: 41845
1403.54/1407.07 c INPROCESSING
1403.54/1407.07 c GARBAGE COLLECT
1403.54/1407.07 c #Conflicts: 1126000 | #Constraints: 21845
1403.54/1407.07 c #Conflicts: 1127000 | #Constraints: 22845
1403.54/1407.07 c #Conflicts: 1128000 | #Constraints: 23845
1403.54/1407.07 c #Conflicts: 1129000 | #Constraints: 24845
1403.54/1407.07 c #Conflicts: 1130000 | #Constraints: 25845
1403.54/1407.07 c #Conflicts: 1131000 | #Constraints: 26845
1403.54/1407.07 c #Conflicts: 1132000 | #Constraints: 27845
1403.54/1407.07 c #Conflicts: 1133000 | #Constraints: 28845
1403.54/1407.07 c #Conflicts: 1134000 | #Constraints: 29845
1403.54/1407.07 c #Conflicts: 1135000 | #Constraints: 30845
1403.54/1407.07 c #Conflicts: 1136000 | #Constraints: 31845
1403.54/1407.07 c #Conflicts: 1137000 | #Constraints: 32845
1507.22/1510.93 c #Conflicts: 1138000 | #Constraints: 33845
1507.22/1510.93 c #Conflicts: 1139000 | #Constraints: 34845
1507.22/1510.93 c #Conflicts: 1140000 | #Constraints: 35845
1507.22/1510.93 c #Conflicts: 1141000 | #Constraints: 36845
1507.22/1510.93 c #Conflicts: 1142000 | #Constraints: 37845
1507.22/1510.93 c #Conflicts: 1143000 | #Constraints: 38845
1507.22/1510.93 c #Conflicts: 1144000 | #Constraints: 39845
1507.22/1510.93 c #Conflicts: 1145000 | #Constraints: 40845
1507.22/1510.93 c #Conflicts: 1146000 | #Constraints: 41845
1507.22/1510.93 c INPROCESSING
1507.22/1510.93 c GARBAGE COLLECT
1507.22/1510.93 c #Conflicts: 1147000 | #Constraints: 21641
1507.22/1510.93 c #Conflicts: 1148000 | #Constraints: 22641
1507.22/1510.93 c #Conflicts: 1149000 | #Constraints: 23641
1507.22/1510.93 c #Conflicts: 1150000 | #Constraints: 24641
1507.22/1510.93 c #Conflicts: 1151000 | #Constraints: 25641
1507.22/1510.93 c #Conflicts: 1152000 | #Constraints: 26641
1507.22/1510.93 c #Conflicts: 1153000 | #Constraints: 27641
1507.22/1510.93 c #Conflicts: 1154000 | #Constraints: 28641
1507.22/1510.93 c #Conflicts: 1155000 | #Constraints: 29641
1507.22/1510.93 c #Conflicts: 1156000 | #Constraints: 30641
1507.22/1510.93 c #Conflicts: 1157000 | #Constraints: 31641
1507.22/1510.93 c #Conflicts: 1158000 | #Constraints: 32641
1507.22/1510.93 c #Conflicts: 1159000 | #Constraints: 33641
1507.22/1510.93 c #Conflicts: 1160000 | #Constraints: 34641
1507.22/1510.93 c #Conflicts: 1161000 | #Constraints: 35641
1507.22/1510.93 c #Conflicts: 1162000 | #Constraints: 36641
1507.22/1510.93 c #Conflicts: 1163000 | #Constraints: 37641
1507.22/1510.93 c #Conflicts: 1164000 | #Constraints: 38641
1507.22/1510.93 c #Conflicts: 1165000 | #Constraints: 39641
1507.22/1510.93 c #Conflicts: 1166000 | #Constraints: 40641
1507.22/1510.93 c #Conflicts: 1167000 | #Constraints: 41641
1507.22/1510.93 c #Conflicts: 1168000 | #Constraints: 42641
1507.22/1510.93 c INPROCESSING
1507.22/1510.93 c GARBAGE COLLECT
1507.22/1510.93 c #Conflicts: 1169000 | #Constraints: 22242
1507.22/1510.93 c #Conflicts: 1170000 | #Constraints: 23242
1507.22/1510.93 c #Conflicts: 1171000 | #Constraints: 24242
1507.22/1510.93 c #Conflicts: 1172000 | #Constraints: 25242
1507.22/1510.93 c #Conflicts: 1173000 | #Constraints: 26242
1507.22/1510.93 c #Conflicts: 1174000 | #Constraints: 27242
1507.22/1510.93 c #Conflicts: 1175000 | #Constraints: 28242
1507.22/1510.93 c #Conflicts: 1176000 | #Constraints: 29242
1507.22/1510.93 c #Conflicts: 1177000 | #Constraints: 30242
1507.22/1510.93 c #Conflicts: 1178000 | #Constraints: 31242
1507.22/1510.93 c #Conflicts: 1179000 | #Constraints: 32242
1507.22/1510.93 c #Conflicts: 1180000 | #Constraints: 33242
1507.22/1510.93 c #Conflicts: 1181000 | #Constraints: 34242
1507.22/1510.93 c #Conflicts: 1182000 | #Constraints: 35242
1507.22/1510.93 c #Conflicts: 1183000 | #Constraints: 36242
1507.22/1510.93 c #Conflicts: 1184000 | #Constraints: 37242
1507.22/1510.93 c #Conflicts: 1185000 | #Constraints: 38242
1507.22/1510.93 c #Conflicts: 1186000 | #Constraints: 39242
1507.22/1510.93 c #Conflicts: 1187000 | #Constraints: 40242
1507.22/1510.93 c #Conflicts: 1188000 | #Constraints: 41242
1507.22/1510.93 c #Conflicts: 1189000 | #Constraints: 42242
1507.22/1510.93 c #Conflicts: 1190000 | #Constraints: 43242
1507.22/1510.93 c INPROCESSING
1507.22/1510.93 c GARBAGE COLLECT
1507.22/1510.93 c #Conflicts: 1191000 | #Constraints: 22643
1507.22/1510.93 c #Conflicts: 1192000 | #Constraints: 23643
1507.22/1510.93 c #Conflicts: 1193000 | #Constraints: 24643
1507.22/1510.93 c #Conflicts: 1194000 | #Constraints: 25643
1507.22/1510.93 c #Conflicts: 1195000 | #Constraints: 26643
1507.22/1510.93 c #Conflicts: 1196000 | #Constraints: 27643
1507.22/1510.93 c #Conflicts: 1197000 | #Constraints: 28643
1507.22/1510.93 c #Conflicts: 1198000 | #Constraints: 29643
1507.22/1510.93 c #Conflicts: 1199000 | #Constraints: 30643
1507.22/1510.93 c #Conflicts: 1200000 | #Constraints: 31643
1507.22/1510.93 c #Conflicts: 1201000 | #Constraints: 32643
1507.22/1510.93 c #Conflicts: 1202000 | #Constraints: 33643
1507.22/1510.93 c #Conflicts: 1203000 | #Constraints: 34643
1507.22/1510.93 c #Conflicts: 1204000 | #Constraints: 35643
1507.22/1510.93 c #Conflicts: 1205000 | #Constraints: 36643
1507.22/1510.93 c #Conflicts: 1206000 | #Constraints: 37643
1507.22/1510.93 c #Conflicts: 1207000 | #Constraints: 38643
1507.22/1510.93 c #Conflicts: 1208000 | #Constraints: 39643
1507.22/1510.93 c #Conflicts: 1209000 | #Constraints: 40643
1507.22/1510.93 c #Conflicts: 1210000 | #Constraints: 41643
1507.22/1510.93 c #Conflicts: 1211000 | #Constraints: 42643
1507.22/1510.93 c #Conflicts: 1212000 | #Constraints: 43643
1507.22/1510.93 c INPROCESSING
1507.22/1510.93 c GARBAGE COLLECT
1507.22/1510.93 c #Conflicts: 1213000 | #Constraints: 22840
1618.80/1622.73 c #Conflicts: 1214000 | #Constraints: 23840
1618.80/1622.73 c #Conflicts: 1215000 | #Constraints: 24840
1618.80/1622.73 c #Conflicts: 1216000 | #Constraints: 25840
1618.80/1622.73 c #Conflicts: 1217000 | #Constraints: 26840
1618.80/1622.73 c #Conflicts: 1218000 | #Constraints: 27840
1618.80/1622.73 c #Conflicts: 1219000 | #Constraints: 28840
1618.80/1622.73 c #Conflicts: 1220000 | #Constraints: 29840
1618.80/1622.73 c #Conflicts: 1221000 | #Constraints: 30840
1618.80/1622.73 c #Conflicts: 1222000 | #Constraints: 31840
1618.80/1622.73 c #Conflicts: 1223000 | #Constraints: 32840
1618.80/1622.73 c #Conflicts: 1224000 | #Constraints: 33840
1618.80/1622.73 c #Conflicts: 1225000 | #Constraints: 34840
1618.80/1622.73 c #Conflicts: 1226000 | #Constraints: 35840
1618.80/1622.73 c #Conflicts: 1227000 | #Constraints: 36840
1618.80/1622.73 c #Conflicts: 1228000 | #Constraints: 37840
1618.80/1622.73 c #Conflicts: 1229000 | #Constraints: 38840
1618.80/1622.73 c #Conflicts: 1230000 | #Constraints: 39840
1618.80/1622.73 c #Conflicts: 1231000 | #Constraints: 40840
1618.80/1622.73 c #Conflicts: 1232000 | #Constraints: 41840
1618.80/1622.73 c #Conflicts: 1233000 | #Constraints: 42840
1618.80/1622.73 c #Conflicts: 1234000 | #Constraints: 43840
1618.80/1622.73 c INPROCESSING
1618.80/1622.73 c GARBAGE COLLECT
1618.80/1622.73 c #Conflicts: 1235000 | #Constraints: 22835
1618.80/1622.73 c #Conflicts: 1236000 | #Constraints: 23835
1618.80/1622.73 c #Conflicts: 1237000 | #Constraints: 24835
1618.80/1622.73 c #Conflicts: 1238000 | #Constraints: 25835
1618.80/1622.73 c #Conflicts: 1239000 | #Constraints: 26835
1618.80/1622.73 c #Conflicts: 1240000 | #Constraints: 27835
1618.80/1622.73 c #Conflicts: 1241000 | #Constraints: 28835
1618.80/1622.73 c #Conflicts: 1242000 | #Constraints: 29835
1618.80/1622.73 c #Conflicts: 1243000 | #Constraints: 30835
1618.80/1622.73 c #Conflicts: 1244000 | #Constraints: 31835
1618.80/1622.73 c #Conflicts: 1245000 | #Constraints: 32835
1618.80/1622.73 c #Conflicts: 1246000 | #Constraints: 33835
1618.80/1622.73 c #Conflicts: 1247000 | #Constraints: 34835
1618.80/1622.73 c #Conflicts: 1248000 | #Constraints: 35835
1618.80/1622.73 c #Conflicts: 1249000 | #Constraints: 36835
1618.80/1622.73 c #Conflicts: 1250000 | #Constraints: 37835
1618.80/1622.73 c #Conflicts: 1251000 | #Constraints: 38835
1618.80/1622.73 c #Conflicts: 1252000 | #Constraints: 39835
1618.80/1622.73 c #Conflicts: 1253000 | #Constraints: 40835
1618.80/1622.73 c #Conflicts: 1254000 | #Constraints: 41835
1618.80/1622.73 c #Conflicts: 1255000 | #Constraints: 42835
1618.80/1622.73 c #Conflicts: 1256000 | #Constraints: 43835
1618.80/1622.73 c INPROCESSING
1618.80/1622.73 c GARBAGE COLLECT
1618.80/1622.73 c #Conflicts: 1257000 | #Constraints: 22640
1618.80/1622.73 c #Conflicts: 1258000 | #Constraints: 23640
1618.80/1622.73 c #Conflicts: 1259000 | #Constraints: 24640
1618.80/1622.73 c #Conflicts: 1260000 | #Constraints: 25640
1618.80/1622.73 c #Conflicts: 1261000 | #Constraints: 26640
1618.80/1622.73 c #Conflicts: 1262000 | #Constraints: 27640
1618.80/1622.73 c #Conflicts: 1263000 | #Constraints: 28640
1618.80/1622.73 c #Conflicts: 1264000 | #Constraints: 29640
1618.80/1622.73 c #Conflicts: 1265000 | #Constraints: 30640
1618.80/1622.73 c #Conflicts: 1266000 | #Constraints: 31640
1618.80/1622.73 c #Conflicts: 1267000 | #Constraints: 32640
1618.80/1622.73 c #Conflicts: 1268000 | #Constraints: 33640
1618.80/1622.73 c #Conflicts: 1269000 | #Constraints: 34640
1618.80/1622.73 c #Conflicts: 1270000 | #Constraints: 35640
1618.80/1622.73 c #Conflicts: 1271000 | #Constraints: 36640
1618.80/1622.73 c #Conflicts: 1272000 | #Constraints: 37640
1618.80/1622.73 c #Conflicts: 1273000 | #Constraints: 38640
1618.80/1622.73 c #Conflicts: 1274000 | #Constraints: 39640
1618.80/1622.73 c #Conflicts: 1275000 | #Constraints: 40640
1618.80/1622.73 c #Conflicts: 1276000 | #Constraints: 41640
1618.80/1622.73 c #Conflicts: 1277000 | #Constraints: 42640
1618.80/1622.73 c #Conflicts: 1278000 | #Constraints: 43640
1618.80/1622.73 c #Conflicts: 1279000 | #Constraints: 44640
1618.80/1622.73 c INPROCESSING
1618.80/1622.73 c GARBAGE COLLECT
1618.80/1622.73 c #Conflicts: 1280000 | #Constraints: 23238
1618.80/1622.73 c #Conflicts: 1281000 | #Constraints: 24238
1618.80/1622.73 c #Conflicts: 1282000 | #Constraints: 25238
1618.80/1622.73 c #Conflicts: 1283000 | #Constraints: 26238
1618.80/1622.73 c #Conflicts: 1284000 | #Constraints: 27238
1618.80/1622.73 c #Conflicts: 1285000 | #Constraints: 28238
1618.80/1622.73 c #Conflicts: 1286000 | #Constraints: 29238
1618.80/1622.73 c #Conflicts: 1287000 | #Constraints: 30238
1618.80/1622.73 c #Conflicts: 1288000 | #Constraints: 31238
1618.80/1622.73 c #Conflicts: 1289000 | #Constraints: 32238
1618.80/1622.73 c #Conflicts: 1290000 | #Constraints: 33238
1733.57/1737.77 c #Conflicts: 1291000 | #Constraints: 34238
1733.57/1737.77 c #Conflicts: 1292000 | #Constraints: 35238
1733.57/1737.77 c #Conflicts: 1293000 | #Constraints: 36238
1733.57/1737.77 c #Conflicts: 1294000 | #Constraints: 37238
1733.57/1737.77 c #Conflicts: 1295000 | #Constraints: 38238
1733.57/1737.77 c #Conflicts: 1296000 | #Constraints: 39238
1733.57/1737.77 c #Conflicts: 1297000 | #Constraints: 40238
1733.57/1737.77 c #Conflicts: 1298000 | #Constraints: 41238
1733.57/1737.77 c #Conflicts: 1299000 | #Constraints: 42238
1733.57/1737.77 c #Conflicts: 1300000 | #Constraints: 43238
1733.57/1737.77 c #Conflicts: 1301000 | #Constraints: 44238
1733.57/1737.77 c #Conflicts: 1302000 | #Constraints: 45238
1733.57/1737.77 c INPROCESSING
1733.57/1737.77 c GARBAGE COLLECT
1733.57/1737.77 c #Conflicts: 1303000 | #Constraints: 23637
1733.57/1737.77 c #Conflicts: 1304000 | #Constraints: 24637
1733.57/1737.77 c #Conflicts: 1305000 | #Constraints: 25637
1733.57/1737.77 c #Conflicts: 1306000 | #Constraints: 26637
1733.57/1737.77 c #Conflicts: 1307000 | #Constraints: 27637
1733.57/1737.77 c #Conflicts: 1308000 | #Constraints: 28637
1733.57/1737.77 c #Conflicts: 1309000 | #Constraints: 29637
1733.57/1737.77 c #Conflicts: 1310000 | #Constraints: 30637
1733.57/1737.77 c #Conflicts: 1311000 | #Constraints: 31637
1733.57/1737.77 c #Conflicts: 1312000 | #Constraints: 32637
1733.57/1737.77 c #Conflicts: 1313000 | #Constraints: 33637
1733.57/1737.77 c #Conflicts: 1314000 | #Constraints: 34637
1733.57/1737.77 c #Conflicts: 1315000 | #Constraints: 35637
1733.57/1737.77 c #Conflicts: 1316000 | #Constraints: 36637
1733.57/1737.77 c #Conflicts: 1317000 | #Constraints: 37637
1733.57/1737.77 c #Conflicts: 1318000 | #Constraints: 38637
1733.57/1737.77 c #Conflicts: 1319000 | #Constraints: 39637
1733.57/1737.77 c #Conflicts: 1320000 | #Constraints: 40637
1733.57/1737.77 c #Conflicts: 1321000 | #Constraints: 41637
1733.57/1737.77 c #Conflicts: 1322000 | #Constraints: 42637
1733.57/1737.77 c #Conflicts: 1323000 | #Constraints: 43637
1733.57/1737.77 c #Conflicts: 1324000 | #Constraints: 44637
1733.57/1737.77 c #Conflicts: 1325000 | #Constraints: 45637
1733.57/1737.77 c INPROCESSING
1733.57/1737.77 c GARBAGE COLLECT
1733.57/1737.77 c #Conflicts: 1326000 | #Constraints: 23840
1733.57/1737.77 c #Conflicts: 1327000 | #Constraints: 24840
1733.57/1737.77 c #Conflicts: 1328000 | #Constraints: 25840
1733.57/1737.77 c #Conflicts: 1329000 | #Constraints: 26840
1733.57/1737.77 c #Conflicts: 1330000 | #Constraints: 27840
1733.57/1737.77 c #Conflicts: 1331000 | #Constraints: 28840
1733.57/1737.77 c #Conflicts: 1332000 | #Constraints: 29840
1733.57/1737.77 c #Conflicts: 1333000 | #Constraints: 30840
1733.57/1737.77 c #Conflicts: 1334000 | #Constraints: 31840
1733.57/1737.77 c #Conflicts: 1335000 | #Constraints: 32840
1733.57/1737.77 c #Conflicts: 1336000 | #Constraints: 33840
1733.57/1737.77 c #Conflicts: 1337000 | #Constraints: 34840
1733.57/1737.77 c #Conflicts: 1338000 | #Constraints: 35840
1733.57/1737.77 c #Conflicts: 1339000 | #Constraints: 36840
1733.57/1737.77 c #Conflicts: 1340000 | #Constraints: 37840
1733.57/1737.77 c #Conflicts: 1341000 | #Constraints: 38840
1733.57/1737.77 c #Conflicts: 1342000 | #Constraints: 39840
1733.57/1737.77 c #Conflicts: 1343000 | #Constraints: 40840
1733.57/1737.77 c #Conflicts: 1344000 | #Constraints: 41840
1733.57/1737.77 c #Conflicts: 1345000 | #Constraints: 42840
1733.57/1737.77 c #Conflicts: 1346000 | #Constraints: 43840
1733.57/1737.77 c #Conflicts: 1347000 | #Constraints: 44840
1733.57/1737.77 c #Conflicts: 1348000 | #Constraints: 45840
1733.57/1737.77 c INPROCESSING
1733.57/1737.77 c GARBAGE COLLECT
1733.57/1737.77 c #Conflicts: 1349000 | #Constraints: 23844
1733.57/1737.77 c #Conflicts: 1350000 | #Constraints: 24844
1733.57/1737.77 c #Conflicts: 1351000 | #Constraints: 25844
1733.57/1737.77 c #Conflicts: 1352000 | #Constraints: 26844
1733.57/1737.77 c #Conflicts: 1353000 | #Constraints: 27844
1733.57/1737.77 c #Conflicts: 1354000 | #Constraints: 28844
1733.57/1737.77 c #Conflicts: 1355000 | #Constraints: 29844
1733.57/1737.77 c #Conflicts: 1356000 | #Constraints: 30844
1733.57/1737.77 c #Conflicts: 1357000 | #Constraints: 31844
1733.57/1737.77 c #Conflicts: 1358000 | #Constraints: 32844
1733.57/1737.77 c #Conflicts: 1359000 | #Constraints: 33844
1733.57/1737.77 c #Conflicts: 1360000 | #Constraints: 34844
1733.57/1737.77 c #Conflicts: 1361000 | #Constraints: 35844
1733.57/1737.77 c #Conflicts: 1362000 | #Constraints: 36844
1733.57/1737.77 c #Conflicts: 1363000 | #Constraints: 37844
1733.57/1737.77 c #Conflicts: 1364000 | #Constraints: 38844
1733.57/1737.77 c #Conflicts: 1365000 | #Constraints: 39844
1733.57/1737.77 c #Conflicts: 1366000 | #Constraints: 40844
1733.57/1737.77 c #Conflicts: 1367000 | #Constraints: 41844
1847.04/1851.48 c #Conflicts: 1368000 | #Constraints: 42844
1847.04/1851.48 c #Conflicts: 1369000 | #Constraints: 43844
1847.04/1851.48 c #Conflicts: 1370000 | #Constraints: 44844
1847.04/1851.48 c #Conflicts: 1371000 | #Constraints: 45844
1847.04/1851.48 c INPROCESSING
1847.04/1851.48 c GARBAGE COLLECT
1847.04/1851.48 c #Conflicts: 1372000 | #Constraints: 23642
1847.04/1851.48 c #Conflicts: 1373000 | #Constraints: 24642
1847.04/1851.48 c #Conflicts: 1374000 | #Constraints: 25642
1847.04/1851.48 c #Conflicts: 1375000 | #Constraints: 26642
1847.04/1851.48 c #Conflicts: 1376000 | #Constraints: 27642
1847.04/1851.48 c #Conflicts: 1377000 | #Constraints: 28642
1847.04/1851.48 c #Conflicts: 1378000 | #Constraints: 29642
1847.04/1851.48 c #Conflicts: 1379000 | #Constraints: 30642
1847.04/1851.48 c #Conflicts: 1380000 | #Constraints: 31642
1847.04/1851.48 c #Conflicts: 1381000 | #Constraints: 32642
1847.04/1851.48 c #Conflicts: 1382000 | #Constraints: 33642
1847.04/1851.48 c #Conflicts: 1383000 | #Constraints: 34642
1847.04/1851.48 c #Conflicts: 1384000 | #Constraints: 35642
1847.04/1851.48 c #Conflicts: 1385000 | #Constraints: 36642
1847.04/1851.48 c #Conflicts: 1386000 | #Constraints: 37642
1847.04/1851.48 c #Conflicts: 1387000 | #Constraints: 38642
1847.04/1851.48 c #Conflicts: 1388000 | #Constraints: 39642
1847.04/1851.48 c #Conflicts: 1389000 | #Constraints: 40642
1847.04/1851.48 c #Conflicts: 1390000 | #Constraints: 41642
1847.04/1851.48 c #Conflicts: 1391000 | #Constraints: 42642
1847.04/1851.48 c #Conflicts: 1392000 | #Constraints: 43642
1847.04/1851.48 c #Conflicts: 1393000 | #Constraints: 44642
1847.04/1851.48 c #Conflicts: 1394000 | #Constraints: 45642
1847.04/1851.48 c #Conflicts: 1395000 | #Constraints: 46642
1847.04/1851.48 c INPROCESSING
1847.04/1851.48 c GARBAGE COLLECT
1847.04/1851.48 c #Conflicts: 1396000 | #Constraints: 24244
1847.04/1851.48 c #Conflicts: 1397000 | #Constraints: 25244
1847.04/1851.48 c #Conflicts: 1398000 | #Constraints: 26244
1847.04/1851.48 c #Conflicts: 1399000 | #Constraints: 27244
1847.04/1851.48 c #Conflicts: 1400000 | #Constraints: 28244
1847.04/1851.48 c #Conflicts: 1401000 | #Constraints: 29244
1847.04/1851.48 c #Conflicts: 1402000 | #Constraints: 30244
1847.04/1851.48 c #Conflicts: 1403000 | #Constraints: 31244
1847.04/1851.48 c #Conflicts: 1404000 | #Constraints: 32244
1847.04/1851.48 c #Conflicts: 1405000 | #Constraints: 33244
1847.04/1851.48 c #Conflicts: 1406000 | #Constraints: 34244
1847.04/1851.48 c #Conflicts: 1407000 | #Constraints: 35244
1847.04/1851.48 c #Conflicts: 1408000 | #Constraints: 36244
1847.04/1851.48 c #Conflicts: 1409000 | #Constraints: 37244
1847.04/1851.48 c #Conflicts: 1410000 | #Constraints: 38244
1847.04/1851.48 c #Conflicts: 1411000 | #Constraints: 39244
1847.04/1851.48 c #Conflicts: 1412000 | #Constraints: 40244
1847.04/1851.48 c #Conflicts: 1413000 | #Constraints: 41244
1847.04/1851.48 c #Conflicts: 1414000 | #Constraints: 42244
1847.04/1851.48 c #Conflicts: 1415000 | #Constraints: 43244
1847.04/1851.48 c #Conflicts: 1416000 | #Constraints: 44244
1847.04/1851.48 c #Conflicts: 1417000 | #Constraints: 45244
1847.04/1851.48 c #Conflicts: 1418000 | #Constraints: 46244
1847.04/1851.48 c #Conflicts: 1419000 | #Constraints: 47244
1847.04/1851.48 c INPROCESSING
1847.04/1851.48 c GARBAGE COLLECT
1847.04/1851.48 c #Conflicts: 1420000 | #Constraints: 24640
1847.04/1851.48 c #Conflicts: 1421000 | #Constraints: 25640
1847.04/1851.48 c #Conflicts: 1422000 | #Constraints: 26640
1847.04/1851.48 c #Conflicts: 1423000 | #Constraints: 27640
1847.04/1851.48 c #Conflicts: 1424000 | #Constraints: 28640
1847.04/1851.48 c #Conflicts: 1425000 | #Constraints: 29640
1847.04/1851.48 c #Conflicts: 1426000 | #Constraints: 30640
1847.04/1851.48 c #Conflicts: 1427000 | #Constraints: 31640
1847.04/1851.48 c #Conflicts: 1428000 | #Constraints: 32640
1847.04/1851.48 c #Conflicts: 1429000 | #Constraints: 33640
1847.04/1851.48 c #Conflicts: 1430000 | #Constraints: 34640
1847.04/1851.48 c #Conflicts: 1431000 | #Constraints: 35640
1847.04/1851.48 c #Conflicts: 1432000 | #Constraints: 36640
1847.04/1851.48 c #Conflicts: 1433000 | #Constraints: 37640
1847.04/1851.48 c #Conflicts: 1434000 | #Constraints: 38640
1847.04/1851.48 c #Conflicts: 1435000 | #Constraints: 39640
1847.04/1851.48 c #Conflicts: 1436000 | #Constraints: 40640
1847.04/1851.48 c #Conflicts: 1437000 | #Constraints: 41640
1847.04/1851.48 c #Conflicts: 1438000 | #Constraints: 42640
1847.04/1851.48 c #Conflicts: 1439000 | #Constraints: 43640
1847.04/1851.48 c #Conflicts: 1440000 | #Constraints: 44640
1847.04/1851.48 c #Conflicts: 1441000 | #Constraints: 45640
1847.04/1851.48 c #Conflicts: 1442000 | #Constraints: 46640
1847.04/1851.48 c #Conflicts: 1443000 | #Constraints: 47640
1968.30/1972.91 c INPROCESSING
1968.30/1972.91 c GARBAGE COLLECT
1968.30/1972.91 c #Conflicts: 1444000 | #Constraints: 24838
1968.30/1972.91 c #Conflicts: 1445000 | #Constraints: 25838
1968.30/1972.91 c #Conflicts: 1446000 | #Constraints: 26838
1968.30/1972.91 c #Conflicts: 1447000 | #Constraints: 27838
1968.30/1972.91 c #Conflicts: 1448000 | #Constraints: 28838
1968.30/1972.91 c #Conflicts: 1449000 | #Constraints: 29838
1968.30/1972.91 c #Conflicts: 1450000 | #Constraints: 30838
1968.30/1972.91 c #Conflicts: 1451000 | #Constraints: 31838
1968.30/1972.91 c #Conflicts: 1452000 | #Constraints: 32838
1968.30/1972.91 c #Conflicts: 1453000 | #Constraints: 33838
1968.30/1972.91 c #Conflicts: 1454000 | #Constraints: 34838
1968.30/1972.91 c #Conflicts: 1455000 | #Constraints: 35838
1968.30/1972.91 c #Conflicts: 1456000 | #Constraints: 36838
1968.30/1972.91 c #Conflicts: 1457000 | #Constraints: 37838
1968.30/1972.91 c #Conflicts: 1458000 | #Constraints: 38838
1968.30/1972.91 c #Conflicts: 1459000 | #Constraints: 39838
1968.30/1972.91 c #Conflicts: 1460000 | #Constraints: 40838
1968.30/1972.91 c #Conflicts: 1461000 | #Constraints: 41838
1968.30/1972.91 c #Conflicts: 1462000 | #Constraints: 42838
1968.30/1972.91 c #Conflicts: 1463000 | #Constraints: 43838
1968.30/1972.91 c #Conflicts: 1464000 | #Constraints: 44838
1968.30/1972.91 c #Conflicts: 1465000 | #Constraints: 45838
1968.30/1972.91 c #Conflicts: 1466000 | #Constraints: 46838
1968.30/1972.91 c #Conflicts: 1467000 | #Constraints: 47838
1968.30/1972.91 c INPROCESSING
1968.30/1972.91 c GARBAGE COLLECT
1968.30/1972.91 c #Conflicts: 1468000 | #Constraints: 24840
1968.30/1972.91 c #Conflicts: 1469000 | #Constraints: 25840
1968.30/1972.91 c #Conflicts: 1470000 | #Constraints: 26840
1968.30/1972.91 c #Conflicts: 1471000 | #Constraints: 27840
1968.30/1972.91 c #Conflicts: 1472000 | #Constraints: 28840
1968.30/1972.91 c #Conflicts: 1473000 | #Constraints: 29840
1968.30/1972.91 c #Conflicts: 1474000 | #Constraints: 30840
1968.30/1972.91 c #Conflicts: 1475000 | #Constraints: 31840
1968.30/1972.91 c #Conflicts: 1476000 | #Constraints: 32840
1968.30/1972.91 c #Conflicts: 1477000 | #Constraints: 33840
1968.30/1972.91 c #Conflicts: 1478000 | #Constraints: 34840
1968.30/1972.91 c #Conflicts: 1479000 | #Constraints: 35840
1968.30/1972.91 c #Conflicts: 1480000 | #Constraints: 36840
1968.30/1972.91 c #Conflicts: 1481000 | #Constraints: 37840
1968.30/1972.91 c #Conflicts: 1482000 | #Constraints: 38840
1968.30/1972.91 c #Conflicts: 1483000 | #Constraints: 39840
1968.30/1972.91 c #Conflicts: 1484000 | #Constraints: 40840
1968.30/1972.91 c #Conflicts: 1485000 | #Constraints: 41840
1968.30/1972.91 c #Conflicts: 1486000 | #Constraints: 42840
1968.30/1972.91 c #Conflicts: 1487000 | #Constraints: 43840
1968.30/1972.91 c #Conflicts: 1488000 | #Constraints: 44840
1968.30/1972.91 c #Conflicts: 1489000 | #Constraints: 45840
1968.30/1972.91 c #Conflicts: 1490000 | #Constraints: 46840
1968.30/1972.91 c #Conflicts: 1491000 | #Constraints: 47840
1968.30/1972.91 c INPROCESSING
1968.30/1972.91 c GARBAGE COLLECT
1968.30/1972.91 c #Conflicts: 1492000 | #Constraints: 24637
1968.30/1972.91 c #Conflicts: 1493000 | #Constraints: 25637
1968.30/1972.91 c #Conflicts: 1494000 | #Constraints: 26637
1968.30/1972.91 c #Conflicts: 1495000 | #Constraints: 27637
1968.30/1972.91 c #Conflicts: 1496000 | #Constraints: 28637
1968.30/1972.91 c #Conflicts: 1497000 | #Constraints: 29637
1968.30/1972.91 c #Conflicts: 1498000 | #Constraints: 30637
1968.30/1972.91 c #Conflicts: 1499000 | #Constraints: 31637
1968.30/1972.91 c #Conflicts: 1500000 | #Constraints: 32637
1968.30/1972.91 c #Conflicts: 1501000 | #Constraints: 33637
1968.30/1972.91 c #Conflicts: 1502000 | #Constraints: 34637
1968.30/1972.91 c #Conflicts: 1503000 | #Constraints: 35637
1968.30/1972.91 c #Conflicts: 1504000 | #Constraints: 36637
1968.30/1972.91 c #Conflicts: 1505000 | #Constraints: 37637
1968.30/1972.91 c #Conflicts: 1506000 | #Constraints: 38637
1968.30/1972.91 c #Conflicts: 1507000 | #Constraints: 39637
1968.30/1972.91 c #Conflicts: 1508000 | #Constraints: 40637
1968.30/1972.91 c #Conflicts: 1509000 | #Constraints: 41637
1968.30/1972.91 c #Conflicts: 1510000 | #Constraints: 42637
1968.30/1972.91 c #Conflicts: 1511000 | #Constraints: 43637
1968.30/1972.91 c #Conflicts: 1512000 | #Constraints: 44637
1968.30/1972.91 c #Conflicts: 1513000 | #Constraints: 45637
1968.30/1972.91 c #Conflicts: 1514000 | #Constraints: 46637
1968.30/1972.91 c #Conflicts: 1515000 | #Constraints: 47637
1968.30/1972.91 c #Conflicts: 1516000 | #Constraints: 48637
1968.30/1972.91 c INPROCESSING
1968.30/1972.91 c GARBAGE COLLECT
1968.30/1972.91 c #Conflicts: 1517000 | #Constraints: 25235
1968.30/1972.91 c #Conflicts: 1518000 | #Constraints: 26235
1968.30/1972.91 c #Conflicts: 1519000 | #Constraints: 27235
1968.30/1972.91 c #Conflicts: 1520000 | #Constraints: 28235
2098.54/2103.41 c #Conflicts: 1521000 | #Constraints: 29235
2098.54/2103.41 c #Conflicts: 1522000 | #Constraints: 30235
2098.54/2103.41 c #Conflicts: 1523000 | #Constraints: 31235
2098.54/2103.41 c #Conflicts: 1524000 | #Constraints: 32235
2098.54/2103.41 c #Conflicts: 1525000 | #Constraints: 33235
2098.54/2103.41 c #Conflicts: 1526000 | #Constraints: 34235
2098.54/2103.41 c #Conflicts: 1527000 | #Constraints: 35235
2098.54/2103.41 c #Conflicts: 1528000 | #Constraints: 36235
2098.54/2103.41 c #Conflicts: 1529000 | #Constraints: 37235
2098.54/2103.41 c #Conflicts: 1530000 | #Constraints: 38235
2098.54/2103.41 c #Conflicts: 1531000 | #Constraints: 39235
2098.54/2103.41 c #Conflicts: 1532000 | #Constraints: 40235
2098.54/2103.41 c #Conflicts: 1533000 | #Constraints: 41235
2098.54/2103.41 c #Conflicts: 1534000 | #Constraints: 42235
2098.54/2103.41 c #Conflicts: 1535000 | #Constraints: 43235
2098.54/2103.41 c #Conflicts: 1536000 | #Constraints: 44235
2098.54/2103.41 c #Conflicts: 1537000 | #Constraints: 45235
2098.54/2103.41 c #Conflicts: 1538000 | #Constraints: 46235
2098.54/2103.41 c #Conflicts: 1539000 | #Constraints: 47235
2098.54/2103.41 c #Conflicts: 1540000 | #Constraints: 48235
2098.54/2103.41 c #Conflicts: 1541000 | #Constraints: 49235
2098.54/2103.41 c INPROCESSING
2098.54/2103.41 c GARBAGE COLLECT
2098.54/2103.41 c #Conflicts: 1542000 | #Constraints: 25635
2098.54/2103.41 c #Conflicts: 1543000 | #Constraints: 26635
2098.54/2103.41 c #Conflicts: 1544000 | #Constraints: 27635
2098.54/2103.41 c #Conflicts: 1545000 | #Constraints: 28635
2098.54/2103.41 c #Conflicts: 1546000 | #Constraints: 29635
2098.54/2103.41 c #Conflicts: 1547000 | #Constraints: 30635
2098.54/2103.41 c #Conflicts: 1548000 | #Constraints: 31635
2098.54/2103.41 c #Conflicts: 1549000 | #Constraints: 32635
2098.54/2103.41 c #Conflicts: 1550000 | #Constraints: 33635
2098.54/2103.41 c #Conflicts: 1551000 | #Constraints: 34635
2098.54/2103.41 c #Conflicts: 1552000 | #Constraints: 35635
2098.54/2103.41 c #Conflicts: 1553000 | #Constraints: 36635
2098.54/2103.41 c #Conflicts: 1554000 | #Constraints: 37635
2098.54/2103.41 c #Conflicts: 1555000 | #Constraints: 38635
2098.54/2103.41 c #Conflicts: 1556000 | #Constraints: 39635
2098.54/2103.41 c #Conflicts: 1557000 | #Constraints: 40635
2098.54/2103.41 c #Conflicts: 1558000 | #Constraints: 41635
2098.54/2103.41 c #Conflicts: 1559000 | #Constraints: 42635
2098.54/2103.41 c #Conflicts: 1560000 | #Constraints: 43635
2098.54/2103.41 c #Conflicts: 1561000 | #Constraints: 44635
2098.54/2103.41 c #Conflicts: 1562000 | #Constraints: 45635
2098.54/2103.41 c #Conflicts: 1563000 | #Constraints: 46635
2098.54/2103.41 c #Conflicts: 1564000 | #Constraints: 47635
2098.54/2103.41 c #Conflicts: 1565000 | #Constraints: 48635
2098.54/2103.41 c #Conflicts: 1566000 | #Constraints: 49635
2098.54/2103.41 c INPROCESSING
2098.54/2103.41 c GARBAGE COLLECT
2098.54/2103.41 c #Conflicts: 1567000 | #Constraints: 25839
2098.54/2103.41 c #Conflicts: 1568000 | #Constraints: 26839
2098.54/2103.41 c #Conflicts: 1569000 | #Constraints: 27839
2098.54/2103.41 c #Conflicts: 1570000 | #Constraints: 28839
2098.54/2103.41 c #Conflicts: 1571000 | #Constraints: 29839
2098.54/2103.41 c #Conflicts: 1572000 | #Constraints: 30839
2098.54/2103.41 c #Conflicts: 1573000 | #Constraints: 31839
2098.54/2103.41 c #Conflicts: 1574000 | #Constraints: 32839
2098.54/2103.41 c #Conflicts: 1575000 | #Constraints: 33839
2098.54/2103.41 c #Conflicts: 1576000 | #Constraints: 34839
2098.54/2103.41 c #Conflicts: 1577000 | #Constraints: 35839
2098.54/2103.41 c #Conflicts: 1578000 | #Constraints: 36839
2098.54/2103.41 c #Conflicts: 1579000 | #Constraints: 37839
2098.54/2103.41 c #Conflicts: 1580000 | #Constraints: 38839
2098.54/2103.41 c #Conflicts: 1581000 | #Constraints: 39839
2098.54/2103.41 c #Conflicts: 1582000 | #Constraints: 40839
2098.54/2103.41 c #Conflicts: 1583000 | #Constraints: 41839
2098.54/2103.41 c #Conflicts: 1584000 | #Constraints: 42839
2098.54/2103.41 c #Conflicts: 1585000 | #Constraints: 43839
2098.54/2103.41 c #Conflicts: 1586000 | #Constraints: 44839
2098.54/2103.41 c #Conflicts: 1587000 | #Constraints: 45839
2098.54/2103.41 c #Conflicts: 1588000 | #Constraints: 46839
2098.54/2103.41 c #Conflicts: 1589000 | #Constraints: 47839
2098.54/2103.41 c #Conflicts: 1590000 | #Constraints: 48839
2098.54/2103.41 c #Conflicts: 1591000 | #Constraints: 49839
2098.54/2103.41 c INPROCESSING
2098.54/2103.41 c GARBAGE COLLECT
2098.54/2103.41 c #Conflicts: 1592000 | #Constraints: 25840
2098.54/2103.41 c #Conflicts: 1593000 | #Constraints: 26840
2098.54/2103.41 c #Conflicts: 1594000 | #Constraints: 27840
2098.54/2103.41 c #Conflicts: 1595000 | #Constraints: 28840
2098.54/2103.41 c #Conflicts: 1596000 | #Constraints: 29840
2098.54/2103.41 c #Conflicts: 1597000 | #Constraints: 30840
2229.97/2235.12 c #Conflicts: 1598000 | #Constraints: 31840
2229.97/2235.12 c #Conflicts: 1599000 | #Constraints: 32840
2229.97/2235.12 c #Conflicts: 1600000 | #Constraints: 33840
2229.97/2235.12 c #Conflicts: 1601000 | #Constraints: 34840
2229.97/2235.12 c #Conflicts: 1602000 | #Constraints: 35840
2229.97/2235.12 c #Conflicts: 1603000 | #Constraints: 36840
2229.97/2235.12 c #Conflicts: 1604000 | #Constraints: 37840
2229.97/2235.12 c #Conflicts: 1605000 | #Constraints: 38840
2229.97/2235.12 c #Conflicts: 1606000 | #Constraints: 39840
2229.97/2235.12 c #Conflicts: 1607000 | #Constraints: 40840
2229.97/2235.12 c #Conflicts: 1608000 | #Constraints: 41840
2229.97/2235.12 c #Conflicts: 1609000 | #Constraints: 42840
2229.97/2235.12 c #Conflicts: 1610000 | #Constraints: 43840
2229.97/2235.12 c #Conflicts: 1611000 | #Constraints: 44840
2229.97/2235.12 c #Conflicts: 1612000 | #Constraints: 45840
2229.97/2235.12 c #Conflicts: 1613000 | #Constraints: 46840
2229.97/2235.12 c #Conflicts: 1614000 | #Constraints: 47840
2229.97/2235.12 c #Conflicts: 1615000 | #Constraints: 48840
2229.97/2235.12 c #Conflicts: 1616000 | #Constraints: 49840
2229.97/2235.12 c INPROCESSING
2229.97/2235.12 c GARBAGE COLLECT
2229.97/2235.12 c #Conflicts: 1617000 | #Constraints: 25642
2229.97/2235.12 c #Conflicts: 1618000 | #Constraints: 26642
2229.97/2235.12 c #Conflicts: 1619000 | #Constraints: 27642
2229.97/2235.12 c #Conflicts: 1620000 | #Constraints: 28642
2229.97/2235.12 c #Conflicts: 1621000 | #Constraints: 29642
2229.97/2235.12 c #Conflicts: 1622000 | #Constraints: 30642
2229.97/2235.12 c #Conflicts: 1623000 | #Constraints: 31642
2229.97/2235.12 c #Conflicts: 1624000 | #Constraints: 32642
2229.97/2235.12 c #Conflicts: 1625000 | #Constraints: 33642
2229.97/2235.12 c #Conflicts: 1626000 | #Constraints: 34642
2229.97/2235.12 c #Conflicts: 1627000 | #Constraints: 35642
2229.97/2235.12 c #Conflicts: 1628000 | #Constraints: 36642
2229.97/2235.12 c #Conflicts: 1629000 | #Constraints: 37642
2229.97/2235.12 c #Conflicts: 1630000 | #Constraints: 38642
2229.97/2235.12 c #Conflicts: 1631000 | #Constraints: 39642
2229.97/2235.12 c #Conflicts: 1632000 | #Constraints: 40642
2229.97/2235.12 c #Conflicts: 1633000 | #Constraints: 41642
2229.97/2235.12 c #Conflicts: 1634000 | #Constraints: 42642
2229.97/2235.12 c #Conflicts: 1635000 | #Constraints: 43642
2229.97/2235.12 c #Conflicts: 1636000 | #Constraints: 44642
2229.97/2235.12 c #Conflicts: 1637000 | #Constraints: 45642
2229.97/2235.12 c #Conflicts: 1638000 | #Constraints: 46642
2229.97/2235.12 c #Conflicts: 1639000 | #Constraints: 47642
2229.97/2235.12 c #Conflicts: 1640000 | #Constraints: 48642
2229.97/2235.12 c #Conflicts: 1641000 | #Constraints: 49642
2229.97/2235.12 c #Conflicts: 1642000 | #Constraints: 50642
2229.97/2235.12 c INPROCESSING
2229.97/2235.12 c GARBAGE COLLECT
2229.97/2235.12 c #Conflicts: 1643000 | #Constraints: 26240
2229.97/2235.12 c #Conflicts: 1644000 | #Constraints: 27240
2229.97/2235.12 c #Conflicts: 1645000 | #Constraints: 28240
2229.97/2235.12 c #Conflicts: 1646000 | #Constraints: 29240
2229.97/2235.12 c #Conflicts: 1647000 | #Constraints: 30240
2229.97/2235.12 c #Conflicts: 1648000 | #Constraints: 31240
2229.97/2235.12 c #Conflicts: 1649000 | #Constraints: 32240
2229.97/2235.12 c #Conflicts: 1650000 | #Constraints: 33240
2229.97/2235.12 c #Conflicts: 1651000 | #Constraints: 34240
2229.97/2235.12 c #Conflicts: 1652000 | #Constraints: 35240
2229.97/2235.12 c #Conflicts: 1653000 | #Constraints: 36240
2229.97/2235.12 c #Conflicts: 1654000 | #Constraints: 37240
2229.97/2235.12 c #Conflicts: 1655000 | #Constraints: 38240
2229.97/2235.12 c #Conflicts: 1656000 | #Constraints: 39240
2229.97/2235.12 c #Conflicts: 1657000 | #Constraints: 40240
2229.97/2235.12 c #Conflicts: 1658000 | #Constraints: 41240
2229.97/2235.12 c #Conflicts: 1659000 | #Constraints: 42240
2229.97/2235.12 c #Conflicts: 1660000 | #Constraints: 43240
2229.97/2235.12 c #Conflicts: 1661000 | #Constraints: 44240
2229.97/2235.12 c #Conflicts: 1662000 | #Constraints: 45240
2229.97/2235.12 c #Conflicts: 1663000 | #Constraints: 46240
2229.97/2235.12 c #Conflicts: 1664000 | #Constraints: 47240
2229.97/2235.12 c #Conflicts: 1665000 | #Constraints: 48240
2229.97/2235.12 c #Conflicts: 1666000 | #Constraints: 49240
2229.97/2235.12 c #Conflicts: 1667000 | #Constraints: 50240
2229.97/2235.12 c #Conflicts: 1668000 | #Constraints: 51240
2229.97/2235.12 c INPROCESSING
2229.97/2235.12 c GARBAGE COLLECT
2229.97/2235.12 c #Conflicts: 1669000 | #Constraints: 26636
2229.97/2235.12 c #Conflicts: 1670000 | #Constraints: 27636
2229.97/2235.12 c #Conflicts: 1671000 | #Constraints: 28636
2229.97/2235.12 c #Conflicts: 1672000 | #Constraints: 29636
2229.97/2235.12 c #Conflicts: 1673000 | #Constraints: 30636
2371.58/2377.09 c #Conflicts: 1674000 | #Constraints: 31636
2371.58/2377.09 c #Conflicts: 1675000 | #Constraints: 32636
2371.58/2377.09 c #Conflicts: 1676000 | #Constraints: 33636
2371.58/2377.09 c #Conflicts: 1677000 | #Constraints: 34636
2371.58/2377.09 c #Conflicts: 1678000 | #Constraints: 35636
2371.58/2377.09 c #Conflicts: 1679000 | #Constraints: 36636
2371.58/2377.09 c #Conflicts: 1680000 | #Constraints: 37636
2371.58/2377.09 c #Conflicts: 1681000 | #Constraints: 38636
2371.58/2377.09 c #Conflicts: 1682000 | #Constraints: 39636
2371.58/2377.09 c #Conflicts: 1683000 | #Constraints: 40636
2371.58/2377.09 c #Conflicts: 1684000 | #Constraints: 41636
2371.58/2377.09 c #Conflicts: 1685000 | #Constraints: 42636
2371.58/2377.09 c #Conflicts: 1686000 | #Constraints: 43636
2371.58/2377.09 c #Conflicts: 1687000 | #Constraints: 44636
2371.58/2377.09 c #Conflicts: 1688000 | #Constraints: 45636
2371.58/2377.09 c #Conflicts: 1689000 | #Constraints: 46636
2371.58/2377.09 c #Conflicts: 1690000 | #Constraints: 47636
2371.58/2377.09 c #Conflicts: 1691000 | #Constraints: 48636
2371.58/2377.09 c #Conflicts: 1692000 | #Constraints: 49636
2371.58/2377.09 c #Conflicts: 1693000 | #Constraints: 50636
2371.58/2377.09 c #Conflicts: 1694000 | #Constraints: 51636
2371.58/2377.09 c INPROCESSING
2371.58/2377.09 c GARBAGE COLLECT
2371.58/2377.09 c #Conflicts: 1695000 | #Constraints: 26835
2371.58/2377.09 c #Conflicts: 1696000 | #Constraints: 27835
2371.58/2377.09 c #Conflicts: 1697000 | #Constraints: 28835
2371.58/2377.09 c #Conflicts: 1698000 | #Constraints: 29835
2371.58/2377.09 c #Conflicts: 1699000 | #Constraints: 30835
2371.58/2377.09 c #Conflicts: 1700000 | #Constraints: 31835
2371.58/2377.09 c #Conflicts: 1701000 | #Constraints: 32835
2371.58/2377.09 c #Conflicts: 1702000 | #Constraints: 33835
2371.58/2377.09 c #Conflicts: 1703000 | #Constraints: 34835
2371.58/2377.09 c #Conflicts: 1704000 | #Constraints: 35835
2371.58/2377.09 c #Conflicts: 1705000 | #Constraints: 36835
2371.58/2377.09 c #Conflicts: 1706000 | #Constraints: 37835
2371.58/2377.09 c #Conflicts: 1707000 | #Constraints: 38835
2371.58/2377.09 c #Conflicts: 1708000 | #Constraints: 39835
2371.58/2377.09 c #Conflicts: 1709000 | #Constraints: 40835
2371.58/2377.09 c #Conflicts: 1710000 | #Constraints: 41835
2371.58/2377.09 c #Conflicts: 1711000 | #Constraints: 42835
2371.58/2377.09 c #Conflicts: 1712000 | #Constraints: 43835
2371.58/2377.09 c #Conflicts: 1713000 | #Constraints: 44835
2371.58/2377.09 c #Conflicts: 1714000 | #Constraints: 45835
2371.58/2377.09 c #Conflicts: 1715000 | #Constraints: 46835
2371.58/2377.09 c #Conflicts: 1716000 | #Constraints: 47835
2371.58/2377.09 c #Conflicts: 1717000 | #Constraints: 48835
2371.58/2377.09 c #Conflicts: 1718000 | #Constraints: 49835
2371.58/2377.09 c #Conflicts: 1719000 | #Constraints: 50835
2371.58/2377.09 c #Conflicts: 1720000 | #Constraints: 51835
2371.58/2377.09 c INPROCESSING
2371.58/2377.09 c GARBAGE COLLECT
2371.58/2377.09 c #Conflicts: 1721000 | #Constraints: 26837
2371.58/2377.09 c #Conflicts: 1722000 | #Constraints: 27837
2371.58/2377.09 c #Conflicts: 1723000 | #Constraints: 28837
2371.58/2377.09 c #Conflicts: 1724000 | #Constraints: 29837
2371.58/2377.09 c #Conflicts: 1725000 | #Constraints: 30837
2371.58/2377.09 c #Conflicts: 1726000 | #Constraints: 31837
2371.58/2377.09 c #Conflicts: 1727000 | #Constraints: 32837
2371.58/2377.09 c #Conflicts: 1728000 | #Constraints: 33837
2371.58/2377.09 c #Conflicts: 1729000 | #Constraints: 34837
2371.58/2377.09 c #Conflicts: 1730000 | #Constraints: 35837
2371.58/2377.09 c #Conflicts: 1731000 | #Constraints: 36837
2371.58/2377.09 c #Conflicts: 1732000 | #Constraints: 37837
2371.58/2377.09 c #Conflicts: 1733000 | #Constraints: 38837
2371.58/2377.09 c #Conflicts: 1734000 | #Constraints: 39837
2371.58/2377.09 c #Conflicts: 1735000 | #Constraints: 40837
2371.58/2377.09 c #Conflicts: 1736000 | #Constraints: 41837
2371.58/2377.09 c #Conflicts: 1737000 | #Constraints: 42837
2371.58/2377.09 c #Conflicts: 1738000 | #Constraints: 43837
2371.58/2377.09 c #Conflicts: 1739000 | #Constraints: 44837
2371.58/2377.09 c #Conflicts: 1740000 | #Constraints: 45837
2371.58/2377.09 c #Conflicts: 1741000 | #Constraints: 46837
2371.58/2377.09 c #Conflicts: 1742000 | #Constraints: 47837
2371.58/2377.09 c #Conflicts: 1743000 | #Constraints: 48837
2371.58/2377.09 c #Conflicts: 1744000 | #Constraints: 49837
2371.58/2377.09 c #Conflicts: 1745000 | #Constraints: 50837
2371.58/2377.09 c #Conflicts: 1746000 | #Constraints: 51837
2371.58/2377.09 c INPROCESSING
2371.58/2377.09 c GARBAGE COLLECT
2371.58/2377.09 c #Conflicts: 1747000 | #Constraints: 26636
2371.58/2377.09 c #Conflicts: 1748000 | #Constraints: 27636
2371.58/2377.09 c #Conflicts: 1749000 | #Constraints: 28636
2371.58/2377.09 c #Conflicts: 1750000 | #Constraints: 29636
2508.10/2513.82 c #Conflicts: 1751000 | #Constraints: 30636
2508.10/2513.82 c #Conflicts: 1752000 | #Constraints: 31636
2508.10/2513.82 c #Conflicts: 1753000 | #Constraints: 32636
2508.10/2513.82 c #Conflicts: 1754000 | #Constraints: 33636
2508.10/2513.82 c #Conflicts: 1755000 | #Constraints: 34636
2508.10/2513.82 c #Conflicts: 1756000 | #Constraints: 35636
2508.10/2513.82 c #Conflicts: 1757000 | #Constraints: 36636
2508.10/2513.82 c #Conflicts: 1758000 | #Constraints: 37636
2508.10/2513.82 c #Conflicts: 1759000 | #Constraints: 38636
2508.10/2513.82 c #Conflicts: 1760000 | #Constraints: 39636
2508.10/2513.82 c #Conflicts: 1761000 | #Constraints: 40636
2508.10/2513.82 c #Conflicts: 1762000 | #Constraints: 41636
2508.10/2513.82 c #Conflicts: 1763000 | #Constraints: 42636
2508.10/2513.82 c #Conflicts: 1764000 | #Constraints: 43636
2508.10/2513.82 c #Conflicts: 1765000 | #Constraints: 44636
2508.10/2513.82 c #Conflicts: 1766000 | #Constraints: 45636
2508.10/2513.82 c #Conflicts: 1767000 | #Constraints: 46636
2508.10/2513.82 c #Conflicts: 1768000 | #Constraints: 47636
2508.10/2513.82 c #Conflicts: 1769000 | #Constraints: 48636
2508.10/2513.82 c #Conflicts: 1770000 | #Constraints: 49636
2508.10/2513.82 c #Conflicts: 1771000 | #Constraints: 50636
2508.10/2513.82 c #Conflicts: 1772000 | #Constraints: 51636
2508.10/2513.82 c #Conflicts: 1773000 | #Constraints: 52636
2508.10/2513.82 c INPROCESSING
2508.10/2513.82 c GARBAGE COLLECT
2508.10/2513.82 c #Conflicts: 1774000 | #Constraints: 27234
2508.10/2513.82 c #Conflicts: 1775000 | #Constraints: 28234
2508.10/2513.82 c #Conflicts: 1776000 | #Constraints: 29234
2508.10/2513.82 c #Conflicts: 1777000 | #Constraints: 30234
2508.10/2513.82 c #Conflicts: 1778000 | #Constraints: 31234
2508.10/2513.82 c #Conflicts: 1779000 | #Constraints: 32234
2508.10/2513.82 c #Conflicts: 1780000 | #Constraints: 33234
2508.10/2513.82 c #Conflicts: 1781000 | #Constraints: 34234
2508.10/2513.82 c #Conflicts: 1782000 | #Constraints: 35234
2508.10/2513.82 c #Conflicts: 1783000 | #Constraints: 36234
2508.10/2513.82 c #Conflicts: 1784000 | #Constraints: 37234
2508.10/2513.82 c #Conflicts: 1785000 | #Constraints: 38234
2508.10/2513.82 c #Conflicts: 1786000 | #Constraints: 39234
2508.10/2513.82 c #Conflicts: 1787000 | #Constraints: 40234
2508.10/2513.82 c #Conflicts: 1788000 | #Constraints: 41234
2508.10/2513.82 c #Conflicts: 1789000 | #Constraints: 42234
2508.10/2513.82 c #Conflicts: 1790000 | #Constraints: 43234
2508.10/2513.82 c #Conflicts: 1791000 | #Constraints: 44234
2508.10/2513.82 c #Conflicts: 1792000 | #Constraints: 45234
2508.10/2513.82 c #Conflicts: 1793000 | #Constraints: 46234
2508.10/2513.82 c #Conflicts: 1794000 | #Constraints: 47234
2508.10/2513.82 c #Conflicts: 1795000 | #Constraints: 48234
2508.10/2513.82 c #Conflicts: 1796000 | #Constraints: 49234
2508.10/2513.82 c #Conflicts: 1797000 | #Constraints: 50234
2508.10/2513.82 c #Conflicts: 1798000 | #Constraints: 51234
2508.10/2513.82 c #Conflicts: 1799000 | #Constraints: 52234
2508.10/2513.82 c #Conflicts: 1800000 | #Constraints: 53234
2508.10/2513.82 c INPROCESSING
2508.10/2513.82 c GARBAGE COLLECT
2508.10/2513.82 c #Conflicts: 1801000 | #Constraints: 27634
2508.10/2513.82 c #Conflicts: 1802000 | #Constraints: 28634
2508.10/2513.82 c #Conflicts: 1803000 | #Constraints: 29634
2508.10/2513.82 c #Conflicts: 1804000 | #Constraints: 30634
2508.10/2513.82 c #Conflicts: 1805000 | #Constraints: 31634
2508.10/2513.82 c #Conflicts: 1806000 | #Constraints: 32634
2508.10/2513.82 c #Conflicts: 1807000 | #Constraints: 33634
2508.10/2513.82 c #Conflicts: 1808000 | #Constraints: 34634
2508.10/2513.82 c #Conflicts: 1809000 | #Constraints: 35634
2508.10/2513.82 c #Conflicts: 1810000 | #Constraints: 36634
2508.10/2513.82 c #Conflicts: 1811000 | #Constraints: 37634
2508.10/2513.82 c #Conflicts: 1812000 | #Constraints: 38634
2508.10/2513.82 c #Conflicts: 1813000 | #Constraints: 39634
2508.10/2513.82 c #Conflicts: 1814000 | #Constraints: 40634
2508.10/2513.82 c #Conflicts: 1815000 | #Constraints: 41634
2508.10/2513.82 c #Conflicts: 1816000 | #Constraints: 42634
2508.10/2513.82 c #Conflicts: 1817000 | #Constraints: 43634
2508.10/2513.82 c #Conflicts: 1818000 | #Constraints: 44634
2508.10/2513.82 c #Conflicts: 1819000 | #Constraints: 45634
2508.10/2513.82 c #Conflicts: 1820000 | #Constraints: 46634
2508.10/2513.82 c #Conflicts: 1821000 | #Constraints: 47634
2508.10/2513.82 c #Conflicts: 1822000 | #Constraints: 48634
2508.10/2513.82 c #Conflicts: 1823000 | #Constraints: 49634
2508.10/2513.82 c #Conflicts: 1824000 | #Constraints: 50634
2508.10/2513.82 c #Conflicts: 1825000 | #Constraints: 51634
2508.10/2513.82 c #Conflicts: 1826000 | #Constraints: 52634
2508.10/2513.82 c #Conflicts: 1827000 | #Constraints: 53634
2508.10/2513.82 c INPROCESSING
2651.69/2657.76 c GARBAGE COLLECT
2651.69/2657.76 c #Conflicts: 1828000 | #Constraints: 27834
2651.69/2657.76 c #Conflicts: 1829000 | #Constraints: 28834
2651.69/2657.76 c #Conflicts: 1830000 | #Constraints: 29834
2651.69/2657.76 c #Conflicts: 1831000 | #Constraints: 30834
2651.69/2657.76 c #Conflicts: 1832000 | #Constraints: 31834
2651.69/2657.76 c #Conflicts: 1833000 | #Constraints: 32834
2651.69/2657.76 c #Conflicts: 1834000 | #Constraints: 33834
2651.69/2657.76 c #Conflicts: 1835000 | #Constraints: 34834
2651.69/2657.76 c #Conflicts: 1836000 | #Constraints: 35834
2651.69/2657.76 c #Conflicts: 1837000 | #Constraints: 36834
2651.69/2657.76 c #Conflicts: 1838000 | #Constraints: 37834
2651.69/2657.76 c #Conflicts: 1839000 | #Constraints: 38834
2651.69/2657.76 c #Conflicts: 1840000 | #Constraints: 39834
2651.69/2657.76 c #Conflicts: 1841000 | #Constraints: 40834
2651.69/2657.76 c #Conflicts: 1842000 | #Constraints: 41834
2651.69/2657.76 c #Conflicts: 1843000 | #Constraints: 42834
2651.69/2657.76 c #Conflicts: 1844000 | #Constraints: 43834
2651.69/2657.76 c #Conflicts: 1845000 | #Constraints: 44834
2651.69/2657.76 c #Conflicts: 1846000 | #Constraints: 45834
2651.69/2657.76 c #Conflicts: 1847000 | #Constraints: 46834
2651.69/2657.76 c #Conflicts: 1848000 | #Constraints: 47834
2651.69/2657.76 c #Conflicts: 1849000 | #Constraints: 48834
2651.69/2657.76 c #Conflicts: 1850000 | #Constraints: 49834
2651.69/2657.76 c #Conflicts: 1851000 | #Constraints: 50834
2651.69/2657.76 c #Conflicts: 1852000 | #Constraints: 51834
2651.69/2657.76 c #Conflicts: 1853000 | #Constraints: 52834
2651.69/2657.76 c #Conflicts: 1854000 | #Constraints: 53834
2651.69/2657.76 c INPROCESSING
2651.69/2657.76 c GARBAGE COLLECT
2651.69/2657.76 c #Conflicts: 1855000 | #Constraints: 27841
2651.69/2657.76 c #Conflicts: 1856000 | #Constraints: 28841
2651.69/2657.76 c #Conflicts: 1857000 | #Constraints: 29841
2651.69/2657.76 c #Conflicts: 1858000 | #Constraints: 30841
2651.69/2657.76 c #Conflicts: 1859000 | #Constraints: 31841
2651.69/2657.76 c #Conflicts: 1860000 | #Constraints: 32841
2651.69/2657.76 c #Conflicts: 1861000 | #Constraints: 33841
2651.69/2657.76 c #Conflicts: 1862000 | #Constraints: 34841
2651.69/2657.76 c #Conflicts: 1863000 | #Constraints: 35841
2651.69/2657.76 c #Conflicts: 1864000 | #Constraints: 36841
2651.69/2657.76 c #Conflicts: 1865000 | #Constraints: 37841
2651.69/2657.76 c #Conflicts: 1866000 | #Constraints: 38841
2651.69/2657.76 c #Conflicts: 1867000 | #Constraints: 39841
2651.69/2657.76 c #Conflicts: 1868000 | #Constraints: 40841
2651.69/2657.76 c #Conflicts: 1869000 | #Constraints: 41841
2651.69/2657.76 c #Conflicts: 1870000 | #Constraints: 42841
2651.69/2657.76 c #Conflicts: 1871000 | #Constraints: 43841
2651.69/2657.76 c #Conflicts: 1872000 | #Constraints: 44841
2651.69/2657.76 c #Conflicts: 1873000 | #Constraints: 45841
2651.69/2657.76 c #Conflicts: 1874000 | #Constraints: 46841
2651.69/2657.76 c #Conflicts: 1875000 | #Constraints: 47841
2651.69/2657.76 c #Conflicts: 1876000 | #Constraints: 48841
2651.69/2657.76 c #Conflicts: 1877000 | #Constraints: 49841
2651.69/2657.76 c #Conflicts: 1878000 | #Constraints: 50841
2651.69/2657.76 c #Conflicts: 1879000 | #Constraints: 51841
2651.69/2657.76 c #Conflicts: 1880000 | #Constraints: 52841
2651.69/2657.76 c #Conflicts: 1881000 | #Constraints: 53841
2651.69/2657.76 c INPROCESSING
2651.69/2657.76 c GARBAGE COLLECT
2651.69/2657.76 c #Conflicts: 1882000 | #Constraints: 27637
2651.69/2657.76 c #Conflicts: 1883000 | #Constraints: 28637
2651.69/2657.76 c #Conflicts: 1884000 | #Constraints: 29637
2651.69/2657.76 c #Conflicts: 1885000 | #Constraints: 30637
2651.69/2657.76 c #Conflicts: 1886000 | #Constraints: 31637
2651.69/2657.76 c #Conflicts: 1887000 | #Constraints: 32637
2651.69/2657.76 c #Conflicts: 1888000 | #Constraints: 33637
2651.69/2657.76 c #Conflicts: 1889000 | #Constraints: 34637
2651.69/2657.76 c #Conflicts: 1890000 | #Constraints: 35637
2651.69/2657.76 c #Conflicts: 1891000 | #Constraints: 36637
2651.69/2657.76 c #Conflicts: 1892000 | #Constraints: 37637
2651.69/2657.76 c #Conflicts: 1893000 | #Constraints: 38637
2651.69/2657.76 c #Conflicts: 1894000 | #Constraints: 39637
2651.69/2657.76 c #Conflicts: 1895000 | #Constraints: 40637
2651.69/2657.76 c #Conflicts: 1896000 | #Constraints: 41637
2651.69/2657.76 c #Conflicts: 1897000 | #Constraints: 42637
2651.69/2657.76 c #Conflicts: 1898000 | #Constraints: 43637
2651.69/2657.76 c #Conflicts: 1899000 | #Constraints: 44637
2651.69/2657.76 c #Conflicts: 1900000 | #Constraints: 45637
2651.69/2657.76 c #Conflicts: 1901000 | #Constraints: 46637
2651.69/2657.76 c #Conflicts: 1902000 | #Constraints: 47637
2651.69/2657.76 c #Conflicts: 1903000 | #Constraints: 48637
2651.69/2657.76 c #Conflicts: 1904000 | #Constraints: 49637
2651.69/2657.76 c #Conflicts: 1905000 | #Constraints: 50637
2792.71/2799.05 c #Conflicts: 1906000 | #Constraints: 51637
2792.71/2799.05 c #Conflicts: 1907000 | #Constraints: 52637
2792.71/2799.05 c #Conflicts: 1908000 | #Constraints: 53637
2792.71/2799.05 c #Conflicts: 1909000 | #Constraints: 54637
2792.71/2799.05 c INPROCESSING
2792.71/2799.05 c GARBAGE COLLECT
2792.71/2799.05 c #Conflicts: 1910000 | #Constraints: 28237
2792.71/2799.05 c #Conflicts: 1911000 | #Constraints: 29237
2792.71/2799.05 c #Conflicts: 1912000 | #Constraints: 30237
2792.71/2799.05 c #Conflicts: 1913000 | #Constraints: 31237
2792.71/2799.05 c #Conflicts: 1914000 | #Constraints: 32237
2792.71/2799.05 c #Conflicts: 1915000 | #Constraints: 33237
2792.71/2799.05 c #Conflicts: 1916000 | #Constraints: 34237
2792.71/2799.05 c #Conflicts: 1917000 | #Constraints: 35237
2792.71/2799.05 c #Conflicts: 1918000 | #Constraints: 36237
2792.71/2799.05 c #Conflicts: 1919000 | #Constraints: 37237
2792.71/2799.05 c #Conflicts: 1920000 | #Constraints: 38237
2792.71/2799.05 c #Conflicts: 1921000 | #Constraints: 39237
2792.71/2799.05 c #Conflicts: 1922000 | #Constraints: 40237
2792.71/2799.05 c #Conflicts: 1923000 | #Constraints: 41237
2792.71/2799.05 c #Conflicts: 1924000 | #Constraints: 42237
2792.71/2799.05 c #Conflicts: 1925000 | #Constraints: 43237
2792.71/2799.05 c #Conflicts: 1926000 | #Constraints: 44237
2792.71/2799.05 c #Conflicts: 1927000 | #Constraints: 45237
2792.71/2799.05 c #Conflicts: 1928000 | #Constraints: 46237
2792.71/2799.05 c #Conflicts: 1929000 | #Constraints: 47237
2792.71/2799.05 c #Conflicts: 1930000 | #Constraints: 48237
2792.71/2799.05 c #Conflicts: 1931000 | #Constraints: 49237
2792.71/2799.05 c #Conflicts: 1932000 | #Constraints: 50237
2792.71/2799.05 c #Conflicts: 1933000 | #Constraints: 51237
2792.71/2799.05 c #Conflicts: 1934000 | #Constraints: 52237
2792.71/2799.05 c #Conflicts: 1935000 | #Constraints: 53237
2792.71/2799.05 c #Conflicts: 1936000 | #Constraints: 54237
2792.71/2799.05 c #Conflicts: 1937000 | #Constraints: 55237
2792.71/2799.05 c INPROCESSING
2792.71/2799.05 c GARBAGE COLLECT
2792.71/2799.05 c #Conflicts: 1938000 | #Constraints: 28638
2792.71/2799.05 c #Conflicts: 1939000 | #Constraints: 29638
2792.71/2799.05 c #Conflicts: 1940000 | #Constraints: 30638
2792.71/2799.05 c #Conflicts: 1941000 | #Constraints: 31638
2792.71/2799.05 c #Conflicts: 1942000 | #Constraints: 32638
2792.71/2799.05 c #Conflicts: 1943000 | #Constraints: 33638
2792.71/2799.05 c #Conflicts: 1944000 | #Constraints: 34638
2792.71/2799.05 c #Conflicts: 1945000 | #Constraints: 35638
2792.71/2799.05 c #Conflicts: 1946000 | #Constraints: 36638
2792.71/2799.05 c #Conflicts: 1947000 | #Constraints: 37638
2792.71/2799.05 c #Conflicts: 1948000 | #Constraints: 38638
2792.71/2799.05 c #Conflicts: 1949000 | #Constraints: 39638
2792.71/2799.05 c #Conflicts: 1950000 | #Constraints: 40638
2792.71/2799.05 c #Conflicts: 1951000 | #Constraints: 41638
2792.71/2799.05 c #Conflicts: 1952000 | #Constraints: 42638
2792.71/2799.05 c #Conflicts: 1953000 | #Constraints: 43638
2792.71/2799.05 c #Conflicts: 1954000 | #Constraints: 44638
2792.71/2799.05 c #Conflicts: 1955000 | #Constraints: 45638
2792.71/2799.05 c #Conflicts: 1956000 | #Constraints: 46638
2792.71/2799.05 c #Conflicts: 1957000 | #Constraints: 47638
2792.71/2799.05 c #Conflicts: 1958000 | #Constraints: 48638
2792.71/2799.05 c #Conflicts: 1959000 | #Constraints: 49638
2792.71/2799.05 c #Conflicts: 1960000 | #Constraints: 50638
2792.71/2799.05 c #Conflicts: 1961000 | #Constraints: 51638
2792.71/2799.05 c #Conflicts: 1962000 | #Constraints: 52638
2792.71/2799.05 c #Conflicts: 1963000 | #Constraints: 53638
2792.71/2799.05 c #Conflicts: 1964000 | #Constraints: 54638
2792.71/2799.05 c #Conflicts: 1965000 | #Constraints: 55638
2792.71/2799.05 c INPROCESSING
2792.71/2799.05 c GARBAGE COLLECT
2792.71/2799.05 c #Conflicts: 1966000 | #Constraints: 28837
2792.71/2799.05 c #Conflicts: 1967000 | #Constraints: 29837
2792.71/2799.05 c #Conflicts: 1968000 | #Constraints: 30837
2792.71/2799.05 c #Conflicts: 1969000 | #Constraints: 31837
2792.71/2799.05 c #Conflicts: 1970000 | #Constraints: 32837
2792.71/2799.05 c #Conflicts: 1971000 | #Constraints: 33837
2792.71/2799.05 c #Conflicts: 1972000 | #Constraints: 34837
2792.71/2799.05 c #Conflicts: 1973000 | #Constraints: 35837
2792.71/2799.05 c #Conflicts: 1974000 | #Constraints: 36837
2792.71/2799.05 c #Conflicts: 1975000 | #Constraints: 37837
2792.71/2799.05 c #Conflicts: 1976000 | #Constraints: 38837
2792.71/2799.05 c #Conflicts: 1977000 | #Constraints: 39837
2792.71/2799.05 c #Conflicts: 1978000 | #Constraints: 40837
2792.71/2799.05 c #Conflicts: 1979000 | #Constraints: 41837
2792.71/2799.05 c #Conflicts: 1980000 | #Constraints: 42837
2792.71/2799.05 c #Conflicts: 1981000 | #Constraints: 43837
2938.32/2944.92 c #Conflicts: 1982000 | #Constraints: 44837
2938.32/2944.92 c #Conflicts: 1983000 | #Constraints: 45837
2938.32/2944.92 c #Conflicts: 1984000 | #Constraints: 46837
2938.32/2944.92 c #Conflicts: 1985000 | #Constraints: 47837
2938.32/2944.92 c #Conflicts: 1986000 | #Constraints: 48837
2938.32/2944.92 c #Conflicts: 1987000 | #Constraints: 49837
2938.32/2944.92 c #Conflicts: 1988000 | #Constraints: 50837
2938.32/2944.92 c #Conflicts: 1989000 | #Constraints: 51837
2938.32/2944.92 c #Conflicts: 1990000 | #Constraints: 52837
2938.32/2944.92 c #Conflicts: 1991000 | #Constraints: 53837
2938.32/2944.92 c #Conflicts: 1992000 | #Constraints: 54837
2938.32/2944.92 c #Conflicts: 1993000 | #Constraints: 55837
2938.32/2944.92 c INPROCESSING
2938.32/2944.92 c GARBAGE COLLECT
2938.32/2944.92 c #Conflicts: 1994000 | #Constraints: 28836
2938.32/2944.92 c #Conflicts: 1995000 | #Constraints: 29836
2938.32/2944.92 c #Conflicts: 1996000 | #Constraints: 30836
2938.32/2944.92 c #Conflicts: 1997000 | #Constraints: 31836
2938.32/2944.92 c #Conflicts: 1998000 | #Constraints: 32836
2938.32/2944.92 c #Conflicts: 1999000 | #Constraints: 33836
2938.32/2944.92 c #Conflicts: 2000000 | #Constraints: 34836
2938.32/2944.92 c #Conflicts: 2001000 | #Constraints: 35836
2938.32/2944.92 c #Conflicts: 2002000 | #Constraints: 36836
2938.32/2944.92 c #Conflicts: 2003000 | #Constraints: 37836
2938.32/2944.92 c #Conflicts: 2004000 | #Constraints: 38836
2938.32/2944.92 c #Conflicts: 2005000 | #Constraints: 39836
2938.32/2944.92 c #Conflicts: 2006000 | #Constraints: 40836
2938.32/2944.92 c #Conflicts: 2007000 | #Constraints: 41836
2938.32/2944.92 c #Conflicts: 2008000 | #Constraints: 42836
2938.32/2944.92 c #Conflicts: 2009000 | #Constraints: 43836
2938.32/2944.92 c #Conflicts: 2010000 | #Constraints: 44836
2938.32/2944.92 c #Conflicts: 2011000 | #Constraints: 45836
2938.32/2944.92 c #Conflicts: 2012000 | #Constraints: 46836
2938.32/2944.92 c #Conflicts: 2013000 | #Constraints: 47836
2938.32/2944.92 c #Conflicts: 2014000 | #Constraints: 48836
2938.32/2944.92 c #Conflicts: 2015000 | #Constraints: 49836
2938.32/2944.92 c #Conflicts: 2016000 | #Constraints: 50836
2938.32/2944.92 c #Conflicts: 2017000 | #Constraints: 51836
2938.32/2944.92 c #Conflicts: 2018000 | #Constraints: 52836
2938.32/2944.92 c #Conflicts: 2019000 | #Constraints: 53836
2938.32/2944.92 c #Conflicts: 2020000 | #Constraints: 54836
2938.32/2944.92 c #Conflicts: 2021000 | #Constraints: 55836
2938.32/2944.92 c INPROCESSING
2938.32/2944.92 c GARBAGE COLLECT
2938.32/2944.92 c #Conflicts: 2022000 | #Constraints: 28637
2938.32/2944.92 c #Conflicts: 2023000 | #Constraints: 29637
2938.32/2944.92 c #Conflicts: 2024000 | #Constraints: 30637
2938.32/2944.92 c #Conflicts: 2025000 | #Constraints: 31637
2938.32/2944.92 c #Conflicts: 2026000 | #Constraints: 32637
2938.32/2944.92 c #Conflicts: 2027000 | #Constraints: 33637
2938.32/2944.92 c #Conflicts: 2028000 | #Constraints: 34637
2938.32/2944.92 c #Conflicts: 2029000 | #Constraints: 35637
2938.32/2944.92 c #Conflicts: 2030000 | #Constraints: 36637
2938.32/2944.92 c #Conflicts: 2031000 | #Constraints: 37637
2938.32/2944.92 c #Conflicts: 2032000 | #Constraints: 38637
2938.32/2944.92 c #Conflicts: 2033000 | #Constraints: 39637
2938.32/2944.92 c #Conflicts: 2034000 | #Constraints: 40637
2938.32/2944.92 c #Conflicts: 2035000 | #Constraints: 41637
2938.32/2944.92 c #Conflicts: 2036000 | #Constraints: 42637
2938.32/2944.92 c #Conflicts: 2037000 | #Constraints: 43637
2938.32/2944.92 c #Conflicts: 2038000 | #Constraints: 44637
2938.32/2944.92 c #Conflicts: 2039000 | #Constraints: 45637
2938.32/2944.92 c #Conflicts: 2040000 | #Constraints: 46637
2938.32/2944.92 c #Conflicts: 2041000 | #Constraints: 47637
2938.32/2944.92 c #Conflicts: 2042000 | #Constraints: 48637
2938.32/2944.92 c #Conflicts: 2043000 | #Constraints: 49637
2938.32/2944.92 c #Conflicts: 2044000 | #Constraints: 50637
2938.32/2944.92 c #Conflicts: 2045000 | #Constraints: 51637
2938.32/2944.92 c #Conflicts: 2046000 | #Constraints: 52637
2938.32/2944.92 c #Conflicts: 2047000 | #Constraints: 53637
2938.32/2944.92 c #Conflicts: 2048000 | #Constraints: 54637
2938.32/2944.92 c #Conflicts: 2049000 | #Constraints: 55637
2938.32/2944.92 c #Conflicts: 2050000 | #Constraints: 56637
2938.32/2944.92 c INPROCESSING
2938.32/2944.92 c GARBAGE COLLECT
2938.32/2944.92 c #Conflicts: 2051000 | #Constraints: 29237
2938.32/2944.92 c #Conflicts: 2052000 | #Constraints: 30237
2938.32/2944.92 c #Conflicts: 2053000 | #Constraints: 31237
2938.32/2944.92 c #Conflicts: 2054000 | #Constraints: 32237
2938.32/2944.92 c #Conflicts: 2055000 | #Constraints: 33237
2938.32/2944.92 c #Conflicts: 2056000 | #Constraints: 34237
2938.32/2944.92 c #Conflicts: 2057000 | #Constraints: 35237
2938.32/2944.92 c #Conflicts: 2058000 | #Constraints: 36237
3108.07/3115.04 c #Conflicts: 2059000 | #Constraints: 37237
3108.07/3115.04 c #Conflicts: 2060000 | #Constraints: 38237
3108.07/3115.04 c #Conflicts: 2061000 | #Constraints: 39237
3108.07/3115.04 c #Conflicts: 2062000 | #Constraints: 40237
3108.07/3115.04 c #Conflicts: 2063000 | #Constraints: 41237
3108.07/3115.04 c #Conflicts: 2064000 | #Constraints: 42237
3108.07/3115.04 c #Conflicts: 2065000 | #Constraints: 43237
3108.07/3115.04 c #Conflicts: 2066000 | #Constraints: 44237
3108.07/3115.04 c #Conflicts: 2067000 | #Constraints: 45237
3108.07/3115.04 c #Conflicts: 2068000 | #Constraints: 46237
3108.07/3115.04 c #Conflicts: 2069000 | #Constraints: 47237
3108.07/3115.04 c #Conflicts: 2070000 | #Constraints: 48237
3108.07/3115.04 c #Conflicts: 2071000 | #Constraints: 49237
3108.07/3115.04 c #Conflicts: 2072000 | #Constraints: 50237
3108.07/3115.04 c #Conflicts: 2073000 | #Constraints: 51237
3108.07/3115.04 c #Conflicts: 2074000 | #Constraints: 52237
3108.07/3115.04 c #Conflicts: 2075000 | #Constraints: 53237
3108.07/3115.04 c #Conflicts: 2076000 | #Constraints: 54237
3108.07/3115.04 c #Conflicts: 2077000 | #Constraints: 55237
3108.07/3115.04 c #Conflicts: 2078000 | #Constraints: 56237
3108.07/3115.04 c #Conflicts: 2079000 | #Constraints: 57237
3108.07/3115.04 c INPROCESSING
3108.07/3115.04 c GARBAGE COLLECT
3108.07/3115.04 c #Conflicts: 2080000 | #Constraints: 29637
3108.07/3115.04 c #Conflicts: 2081000 | #Constraints: 30637
3108.07/3115.04 c #Conflicts: 2082000 | #Constraints: 31637
3108.07/3115.04 c #Conflicts: 2083000 | #Constraints: 32637
3108.07/3115.04 c #Conflicts: 2084000 | #Constraints: 33637
3108.07/3115.04 c #Conflicts: 2085000 | #Constraints: 34637
3108.07/3115.04 c #Conflicts: 2086000 | #Constraints: 35637
3108.07/3115.04 c #Conflicts: 2087000 | #Constraints: 36637
3108.07/3115.04 c #Conflicts: 2088000 | #Constraints: 37637
3108.07/3115.04 c #Conflicts: 2089000 | #Constraints: 38637
3108.07/3115.04 c #Conflicts: 2090000 | #Constraints: 39637
3108.07/3115.04 c #Conflicts: 2091000 | #Constraints: 40637
3108.07/3115.04 c #Conflicts: 2092000 | #Constraints: 41637
3108.07/3115.04 c #Conflicts: 2093000 | #Constraints: 42637
3108.07/3115.04 c #Conflicts: 2094000 | #Constraints: 43637
3108.07/3115.04 c #Conflicts: 2095000 | #Constraints: 44637
3108.07/3115.04 c #Conflicts: 2096000 | #Constraints: 45637
3108.07/3115.04 c #Conflicts: 2097000 | #Constraints: 46637
3108.07/3115.04 c #Conflicts: 2098000 | #Constraints: 47637
3108.07/3115.04 c #Conflicts: 2099000 | #Constraints: 48637
3108.07/3115.04 c #Conflicts: 2100000 | #Constraints: 49637
3108.07/3115.04 c #Conflicts: 2101000 | #Constraints: 50637
3108.07/3115.04 c #Conflicts: 2102000 | #Constraints: 51637
3108.07/3115.04 c #Conflicts: 2103000 | #Constraints: 52637
3108.07/3115.04 c #Conflicts: 2104000 | #Constraints: 53637
3108.07/3115.04 c #Conflicts: 2105000 | #Constraints: 54637
3108.07/3115.04 c #Conflicts: 2106000 | #Constraints: 55637
3108.07/3115.04 c #Conflicts: 2107000 | #Constraints: 56637
3108.07/3115.04 c #Conflicts: 2108000 | #Constraints: 57637
3108.07/3115.04 c INPROCESSING
3108.07/3115.04 c GARBAGE COLLECT
3108.07/3115.04 c #Conflicts: 2109000 | #Constraints: 29840
3108.07/3115.04 c #Conflicts: 2110000 | #Constraints: 30840
3108.07/3115.04 c #Conflicts: 2111000 | #Constraints: 31840
3108.07/3115.04 c #Conflicts: 2112000 | #Constraints: 32840
3108.07/3115.04 c #Conflicts: 2113000 | #Constraints: 33840
3108.07/3115.04 c #Conflicts: 2114000 | #Constraints: 34840
3108.07/3115.04 c #Conflicts: 2115000 | #Constraints: 35840
3108.07/3115.04 c #Conflicts: 2116000 | #Constraints: 36840
3108.07/3115.04 c #Conflicts: 2117000 | #Constraints: 37840
3108.07/3115.04 c #Conflicts: 2118000 | #Constraints: 38840
3108.07/3115.04 c #Conflicts: 2119000 | #Constraints: 39840
3108.07/3115.04 c #Conflicts: 2120000 | #Constraints: 40840
3108.07/3115.04 c #Conflicts: 2121000 | #Constraints: 41840
3108.07/3115.04 c #Conflicts: 2122000 | #Constraints: 42840
3108.07/3115.04 c #Conflicts: 2123000 | #Constraints: 43840
3108.07/3115.04 c #Conflicts: 2124000 | #Constraints: 44840
3108.07/3115.04 c #Conflicts: 2125000 | #Constraints: 45840
3108.07/3115.04 c #Conflicts: 2126000 | #Constraints: 46840
3108.07/3115.04 c #Conflicts: 2127000 | #Constraints: 47840
3108.07/3115.04 c #Conflicts: 2128000 | #Constraints: 48840
3108.07/3115.04 c #Conflicts: 2129000 | #Constraints: 49840
3108.07/3115.04 c #Conflicts: 2130000 | #Constraints: 50840
3108.07/3115.04 c #Conflicts: 2131000 | #Constraints: 51840
3108.07/3115.04 c #Conflicts: 2132000 | #Constraints: 52840
3108.07/3115.04 c #Conflicts: 2133000 | #Constraints: 53840
3108.07/3115.04 c #Conflicts: 2134000 | #Constraints: 54840
3108.07/3115.04 c #Conflicts: 2135000 | #Constraints: 55840
3108.07/3115.04 c #Conflicts: 2136000 | #Constraints: 56840
3272.93/3280.21 c #Conflicts: 2137000 | #Constraints: 57840
3272.93/3280.21 c INPROCESSING
3272.93/3280.21 c GARBAGE COLLECT
3272.93/3280.21 c #Conflicts: 2138000 | #Constraints: 29844
3272.93/3280.21 c #Conflicts: 2139000 | #Constraints: 30844
3272.93/3280.21 c #Conflicts: 2140000 | #Constraints: 31844
3272.93/3280.21 c #Conflicts: 2141000 | #Constraints: 32844
3272.93/3280.21 c #Conflicts: 2142000 | #Constraints: 33844
3272.93/3280.21 c #Conflicts: 2143000 | #Constraints: 34844
3272.93/3280.21 c #Conflicts: 2144000 | #Constraints: 35844
3272.93/3280.21 c #Conflicts: 2145000 | #Constraints: 36844
3272.93/3280.21 c #Conflicts: 2146000 | #Constraints: 37844
3272.93/3280.21 c #Conflicts: 2147000 | #Constraints: 38844
3272.93/3280.21 c #Conflicts: 2148000 | #Constraints: 39844
3272.93/3280.21 c #Conflicts: 2149000 | #Constraints: 40844
3272.93/3280.21 c #Conflicts: 2150000 | #Constraints: 41844
3272.93/3280.21 c #Conflicts: 2151000 | #Constraints: 42844
3272.93/3280.21 c #Conflicts: 2152000 | #Constraints: 43844
3272.93/3280.21 c #Conflicts: 2153000 | #Constraints: 44844
3272.93/3280.21 c #Conflicts: 2154000 | #Constraints: 45844
3272.93/3280.21 c #Conflicts: 2155000 | #Constraints: 46844
3272.93/3280.21 c #Conflicts: 2156000 | #Constraints: 47844
3272.93/3280.21 c #Conflicts: 2157000 | #Constraints: 48844
3272.93/3280.21 c #Conflicts: 2158000 | #Constraints: 49844
3272.93/3280.21 c #Conflicts: 2159000 | #Constraints: 50844
3272.93/3280.21 c #Conflicts: 2160000 | #Constraints: 51844
3272.93/3280.21 c #Conflicts: 2161000 | #Constraints: 52844
3272.93/3280.21 c #Conflicts: 2162000 | #Constraints: 53844
3272.93/3280.21 c #Conflicts: 2163000 | #Constraints: 54844
3272.93/3280.21 c #Conflicts: 2164000 | #Constraints: 55844
3272.93/3280.21 c #Conflicts: 2165000 | #Constraints: 56844
3272.93/3280.21 c #Conflicts: 2166000 | #Constraints: 57844
3272.93/3280.21 c INPROCESSING
3272.93/3280.21 c GARBAGE COLLECT
3272.93/3280.21 c #Conflicts: 2167000 | #Constraints: 29645
3272.93/3280.21 c #Conflicts: 2168000 | #Constraints: 30645
3272.93/3280.21 c #Conflicts: 2169000 | #Constraints: 31645
3272.93/3280.21 c #Conflicts: 2170000 | #Constraints: 32645
3272.93/3280.21 c #Conflicts: 2171000 | #Constraints: 33645
3272.93/3280.21 c #Conflicts: 2172000 | #Constraints: 34645
3272.93/3280.21 c #Conflicts: 2173000 | #Constraints: 35645
3272.93/3280.21 c #Conflicts: 2174000 | #Constraints: 36645
3272.93/3280.21 c #Conflicts: 2175000 | #Constraints: 37645
3272.93/3280.21 c #Conflicts: 2176000 | #Constraints: 38645
3272.93/3280.21 c #Conflicts: 2177000 | #Constraints: 39645
3272.93/3280.21 c #Conflicts: 2178000 | #Constraints: 40645
3272.93/3280.21 c #Conflicts: 2179000 | #Constraints: 41645
3272.93/3280.21 c #Conflicts: 2180000 | #Constraints: 42645
3272.93/3280.21 c #Conflicts: 2181000 | #Constraints: 43645
3272.93/3280.21 c #Conflicts: 2182000 | #Constraints: 44645
3272.93/3280.21 c #Conflicts: 2183000 | #Constraints: 45645
3272.93/3280.21 c #Conflicts: 2184000 | #Constraints: 46645
3272.93/3280.21 c #Conflicts: 2185000 | #Constraints: 47645
3272.93/3280.21 c #Conflicts: 2186000 | #Constraints: 48645
3272.93/3280.21 c #Conflicts: 2187000 | #Constraints: 49645
3272.93/3280.21 c #Conflicts: 2188000 | #Constraints: 50645
3272.93/3280.21 c #Conflicts: 2189000 | #Constraints: 51645
3272.93/3280.21 c #Conflicts: 2190000 | #Constraints: 52645
3272.93/3280.21 c #Conflicts: 2191000 | #Constraints: 53645
3272.93/3280.21 c #Conflicts: 2192000 | #Constraints: 54645
3272.93/3280.21 c #Conflicts: 2193000 | #Constraints: 55645
3272.93/3280.21 c #Conflicts: 2194000 | #Constraints: 56645
3272.93/3280.21 c #Conflicts: 2195000 | #Constraints: 57645
3272.93/3280.21 c #Conflicts: 2196000 | #Constraints: 58645
3272.93/3280.21 c INPROCESSING
3272.93/3280.21 c GARBAGE COLLECT
3272.93/3280.21 c #Conflicts: 2197000 | #Constraints: 30245
3272.93/3280.21 c #Conflicts: 2198000 | #Constraints: 31245
3272.93/3280.21 c #Conflicts: 2199000 | #Constraints: 32245
3272.93/3280.21 c #Conflicts: 2200000 | #Constraints: 33245
3272.93/3280.21 c #Conflicts: 2201000 | #Constraints: 34245
3272.93/3280.21 c #Conflicts: 2202000 | #Constraints: 35245
3272.93/3280.21 c #Conflicts: 2203000 | #Constraints: 36245
3272.93/3280.21 c #Conflicts: 2204000 | #Constraints: 37245
3272.93/3280.21 c #Conflicts: 2205000 | #Constraints: 38245
3272.93/3280.21 c #Conflicts: 2206000 | #Constraints: 39245
3272.93/3280.21 c #Conflicts: 2207000 | #Constraints: 40245
3272.93/3280.21 c #Conflicts: 2208000 | #Constraints: 41245
3272.93/3280.21 c #Conflicts: 2209000 | #Constraints: 42245
3272.93/3280.21 c #Conflicts: 2210000 | #Constraints: 43245
3272.93/3280.21 c #Conflicts: 2211000 | #Constraints: 44245
3272.93/3280.21 c #Conflicts: 2212000 | #Constraints: 45245
3272.93/3280.21 c #Conflicts: 2213000 | #Constraints: 46245
3450.66/3458.37 c #Conflicts: 2214000 | #Constraints: 47245
3450.66/3458.37 c #Conflicts: 2215000 | #Constraints: 48245
3450.66/3458.37 c #Conflicts: 2216000 | #Constraints: 49245
3450.66/3458.37 c #Conflicts: 2217000 | #Constraints: 50245
3450.66/3458.37 c #Conflicts: 2218000 | #Constraints: 51245
3450.66/3458.37 c #Conflicts: 2219000 | #Constraints: 52245
3450.66/3458.37 c #Conflicts: 2220000 | #Constraints: 53245
3450.66/3458.37 c #Conflicts: 2221000 | #Constraints: 54245
3450.66/3458.37 c #Conflicts: 2222000 | #Constraints: 55245
3450.66/3458.37 c #Conflicts: 2223000 | #Constraints: 56245
3450.66/3458.37 c #Conflicts: 2224000 | #Constraints: 57245
3450.66/3458.37 c #Conflicts: 2225000 | #Constraints: 58245
3450.66/3458.37 c #Conflicts: 2226000 | #Constraints: 59245
3450.66/3458.37 c INPROCESSING
3450.66/3458.37 c GARBAGE COLLECT
3450.66/3458.37 c #Conflicts: 2227000 | #Constraints: 30644
3450.66/3458.37 c #Conflicts: 2228000 | #Constraints: 31644
3450.66/3458.37 c #Conflicts: 2229000 | #Constraints: 32644
3450.66/3458.37 c #Conflicts: 2230000 | #Constraints: 33644
3450.66/3458.37 c #Conflicts: 2231000 | #Constraints: 34644
3450.66/3458.37 c #Conflicts: 2232000 | #Constraints: 35644
3450.66/3458.37 c #Conflicts: 2233000 | #Constraints: 36644
3450.66/3458.37 c #Conflicts: 2234000 | #Constraints: 37644
3450.66/3458.37 c #Conflicts: 2235000 | #Constraints: 38644
3450.66/3458.37 c #Conflicts: 2236000 | #Constraints: 39644
3450.66/3458.37 c #Conflicts: 2237000 | #Constraints: 40644
3450.66/3458.37 c #Conflicts: 2238000 | #Constraints: 41644
3450.66/3458.37 c #Conflicts: 2239000 | #Constraints: 42644
3450.66/3458.37 c #Conflicts: 2240000 | #Constraints: 43644
3450.66/3458.37 c #Conflicts: 2241000 | #Constraints: 44644
3450.66/3458.37 c #Conflicts: 2242000 | #Constraints: 45644
3450.66/3458.37 c #Conflicts: 2243000 | #Constraints: 46644
3450.66/3458.37 c #Conflicts: 2244000 | #Constraints: 47644
3450.66/3458.37 c #Conflicts: 2245000 | #Constraints: 48644
3450.66/3458.37 c #Conflicts: 2246000 | #Constraints: 49644
3450.66/3458.37 c #Conflicts: 2247000 | #Constraints: 50644
3450.66/3458.37 c #Conflicts: 2248000 | #Constraints: 51644
3450.66/3458.37 c #Conflicts: 2249000 | #Constraints: 52644
3450.66/3458.37 c #Conflicts: 2250000 | #Constraints: 53644
3450.66/3458.37 c #Conflicts: 2251000 | #Constraints: 54644
3450.66/3458.37 c #Conflicts: 2252000 | #Constraints: 55644
3450.66/3458.37 c #Conflicts: 2253000 | #Constraints: 56644
3450.66/3458.37 c #Conflicts: 2254000 | #Constraints: 57644
3450.66/3458.37 c #Conflicts: 2255000 | #Constraints: 58644
3450.66/3458.37 c #Conflicts: 2256000 | #Constraints: 59644
3450.66/3458.37 c INPROCESSING
3450.66/3458.37 c GARBAGE COLLECT
3450.66/3458.37 c #Conflicts: 2257000 | #Constraints: 30845
3450.66/3458.37 c #Conflicts: 2258000 | #Constraints: 31845
3450.66/3458.37 c #Conflicts: 2259000 | #Constraints: 32845
3450.66/3458.37 c #Conflicts: 2260000 | #Constraints: 33845
3450.66/3458.37 c #Conflicts: 2261000 | #Constraints: 34845
3450.66/3458.37 c #Conflicts: 2262000 | #Constraints: 35845
3450.66/3458.37 c #Conflicts: 2263000 | #Constraints: 36845
3450.66/3458.37 c #Conflicts: 2264000 | #Constraints: 37845
3450.66/3458.37 c #Conflicts: 2265000 | #Constraints: 38845
3450.66/3458.37 c #Conflicts: 2266000 | #Constraints: 39845
3450.66/3458.37 c #Conflicts: 2267000 | #Constraints: 40845
3450.66/3458.37 c #Conflicts: 2268000 | #Constraints: 41845
3450.66/3458.37 c #Conflicts: 2269000 | #Constraints: 42845
3450.66/3458.37 c #Conflicts: 2270000 | #Constraints: 43845
3450.66/3458.37 c #Conflicts: 2271000 | #Constraints: 44845
3450.66/3458.37 c #Conflicts: 2272000 | #Constraints: 45845
3450.66/3458.37 c #Conflicts: 2273000 | #Constraints: 46845
3450.66/3458.37 c #Conflicts: 2274000 | #Constraints: 47845
3450.66/3458.37 c #Conflicts: 2275000 | #Constraints: 48845
3450.66/3458.37 c #Conflicts: 2276000 | #Constraints: 49845
3450.66/3458.37 c #Conflicts: 2277000 | #Constraints: 50845
3450.66/3458.37 c #Conflicts: 2278000 | #Constraints: 51845
3450.66/3458.37 c #Conflicts: 2279000 | #Constraints: 52845
3450.66/3458.37 c #Conflicts: 2280000 | #Constraints: 53845
3450.66/3458.37 c #Conflicts: 2281000 | #Constraints: 54845
3450.66/3458.37 c #Conflicts: 2282000 | #Constraints: 55845
3450.66/3458.37 c #Conflicts: 2283000 | #Constraints: 56845
3450.66/3458.37 c #Conflicts: 2284000 | #Constraints: 57845
3450.66/3458.37 c #Conflicts: 2285000 | #Constraints: 58845
3450.66/3458.37 c #Conflicts: 2286000 | #Constraints: 59845
3450.66/3458.37 c INPROCESSING
3450.66/3458.37 c GARBAGE COLLECT
3450.66/3458.37 c #Conflicts: 2287000 | #Constraints: 30842
3450.66/3458.37 c #Conflicts: 2288000 | #Constraints: 31842
3450.66/3458.37 c #Conflicts: 2289000 | #Constraints: 32842
3450.66/3458.37 c #Conflicts: 2290000 | #Constraints: 33842
3600.06/3608.00 c #Conflicts: 2291000 | #Constraints: 34842
3600.06/3608.00 c #Conflicts: 2292000 | #Constraints: 35842
3600.06/3608.00 c #Conflicts: 2293000 | #Constraints: 36842
3600.06/3608.00 c #Conflicts: 2294000 | #Constraints: 37842
3600.06/3608.00 c #Conflicts: 2295000 | #Constraints: 38842
3600.06/3608.00 c #Conflicts: 2296000 | #Constraints: 39842
3600.06/3608.00 c #Conflicts: 2297000 | #Constraints: 40842
3600.06/3608.00 c #Conflicts: 2298000 | #Constraints: 41842
3600.06/3608.00 c #Conflicts: 2299000 | #Constraints: 42842
3600.06/3608.00 c #Conflicts: 2300000 | #Constraints: 43842
3600.06/3608.00 c #Conflicts: 2301000 | #Constraints: 44842
3600.06/3608.00 c #Conflicts: 2302000 | #Constraints: 45842
3600.06/3608.00 c #Conflicts: 2303000 | #Constraints: 46842
3600.06/3608.00 c #Conflicts: 2304000 | #Constraints: 47842
3600.06/3608.00 c #Conflicts: 2305000 | #Constraints: 48842
3600.06/3608.00 c #Conflicts: 2306000 | #Constraints: 49842
3600.06/3608.00 c #Conflicts: 2307000 | #Constraints: 50842
3600.06/3608.00 c #Conflicts: 2308000 | #Constraints: 51842
3600.06/3608.00 c #Conflicts: 2309000 | #Constraints: 52842
3600.06/3608.00 c #Conflicts: 2310000 | #Constraints: 53842
3600.06/3608.00 c #Conflicts: 2311000 | #Constraints: 54842
3600.06/3608.00 c #Conflicts: 2312000 | #Constraints: 55842
3600.06/3608.00 c #Conflicts: 2313000 | #Constraints: 56842
3600.06/3608.00 c #Conflicts: 2314000 | #Constraints: 57842
3600.06/3608.00 c #Conflicts: 2315000 | #Constraints: 58842
3600.06/3608.00 c #Conflicts: 2316000 | #Constraints: 59842
3600.06/3608.00 c INPROCESSING
3600.06/3608.00 c GARBAGE COLLECT
3600.06/3608.00 c #Conflicts: 2317000 | #Constraints: 30640
3600.06/3608.00 c #Conflicts: 2318000 | #Constraints: 31640
3600.06/3608.00 c #Conflicts: 2319000 | #Constraints: 32640
3600.06/3608.00 c #Conflicts: 2320000 | #Constraints: 33640
3600.06/3608.00 c #Conflicts: 2321000 | #Constraints: 34640
3600.06/3608.00 c #Conflicts: 2322000 | #Constraints: 35640
3600.06/3608.00 c #Conflicts: 2323000 | #Constraints: 36640
3600.06/3608.00 c #Conflicts: 2324000 | #Constraints: 37640
3600.06/3608.00 c #Conflicts: 2325000 | #Constraints: 38640
3600.06/3608.00 c #Conflicts: 2326000 | #Constraints: 39640
3600.06/3608.00 c #Conflicts: 2327000 | #Constraints: 40640
3600.06/3608.00 c #Conflicts: 2328000 | #Constraints: 41640
3600.06/3608.00 c #Conflicts: 2329000 | #Constraints: 42640
3600.06/3608.00 c #Conflicts: 2330000 | #Constraints: 43640
3600.06/3608.00 c #Conflicts: 2331000 | #Constraints: 44640
3600.06/3608.00 c #Conflicts: 2332000 | #Constraints: 45640
3600.06/3608.00 c #Conflicts: 2333000 | #Constraints: 46640
3600.06/3608.00 c #Conflicts: 2334000 | #Constraints: 47640
3600.06/3608.00 c #Conflicts: 2335000 | #Constraints: 48640
3600.06/3608.00 c #Conflicts: 2336000 | #Constraints: 49640
3600.06/3608.00 c #Conflicts: 2337000 | #Constraints: 50640
3600.06/3608.00 c #Conflicts: 2338000 | #Constraints: 51640
3600.06/3608.00 c #Conflicts: 2339000 | #Constraints: 52640
3600.06/3608.00 c #Conflicts: 2340000 | #Constraints: 53640
3600.06/3608.00 c #Conflicts: 2341000 | #Constraints: 54640
3600.06/3608.00 c #Conflicts: 2342000 | #Constraints: 55640
3600.06/3608.00 c #Conflicts: 2343000 | #Constraints: 56640
3600.06/3608.00 c #Conflicts: 2344000 | #Constraints: 57640
3600.06/3608.00 c #Conflicts: 2345000 | #Constraints: 58640
3600.06/3608.00 c #Conflicts: 2346000 | #Constraints: 59640
3600.06/3608.00 c #Conflicts: 2347000 | #Constraints: 60640
3600.06/3608.00 c INPROCESSING
3600.06/3608.00 c GARBAGE COLLECT
3600.06/3608.00 c #Conflicts: 2348000 | #Constraints: 31239
3600.06/3608.00 c #Conflicts: 2349000 | #Constraints: 32239
3600.06/3608.00 c #Conflicts: 2350000 | #Constraints: 33239
3600.06/3608.00 c #Conflicts: 2351000 | #Constraints: 34239
3600.06/3608.00 c #Conflicts: 2352000 | #Constraints: 35239
3600.06/3608.00 c Program interrupted by user.
3600.06/3608.00 c cpu time 3590.96 s
3600.06/3608.00 c deterministic time 637080357461 6.37e+11
3600.06/3608.00 c optimization time 9.65058 s
3600.06/3608.00 c total solve time 3281.7 s
3600.06/3608.00 c core-guided solve time 3281.7 s
3600.06/3608.00 c propagation time 3109.56 s
3600.06/3608.00 c conflict analysis time 163.416 s
3600.06/3608.00 c propagations 33997711
3600.06/3608.00 c resolve steps 11890809
3600.06/3608.00 c decisions 4765130
3600.06/3608.00 c conflicts 2352039
3600.06/3608.00 c restarts 4094
3600.06/3608.00 c inprocessing phases 144
3600.06/3608.00 c input clauses 0
3600.06/3608.00 c input cardinalities 0
3600.06/3608.00 c input general constraints 20
3600.06/3608.00 c input average constraint length 89.20
3600.06/3608.00 c input average constraint degree 1911.55
3600.06/3608.00 c learned clauses 1170300
3600.06/3608.00 c learned cardinalities 0
3600.06/3608.00 c learned general constraints 1181738
3600.06/3608.00 c learned average constraint length 89.25
3600.06/3608.00 c learned average constraint degree 1002731.05
3600.06/3608.00 c watched constraints 1180422
3600.06/3608.00 c counting constraints 1336
3600.06/3608.00 c gcd simplifications 1030434
3600.06/3608.00 c detected cardinalities 0
3600.06/3608.00 c weakened non-implied lits 60921845
3600.06/3608.00 c weakened non-implying lits 3224687
3600.06/3608.00 c original variables 198
3600.06/3608.00 c clausal propagations 506681
3600.06/3608.00 c cardinality propagations 0
3600.06/3608.00 c watched propagations 26132520
3600.06/3608.00 c counting propagations 5686289
3600.06/3608.00 c watch lookups 29516733010
3600.06/3608.00 c watch backjump lookups 8557938395
3600.06/3608.00 c watch checks 561106909392
3600.06/3608.00 c propagation checks 36312981706
3600.06/3608.00 c constraint additions 1505917402
3600.06/3608.00 c trail pops 41114714
3600.06/3608.00 c formula constraints 16
3600.06/3608.00 c learned constraints 2352038
3600.06/3608.00 c bound constraints 4
3600.06/3608.00 c core-guided constraints 0
3600.06/3608.00 c encountered formula constraints 2844077
3600.06/3608.00 c encountered learned constraints 11398368
3600.06/3608.00 c encountered bound constraints 403
3600.06/3608.00 c encountered core-guided constraints 0
3600.06/3608.00 c LP total time 0 s
3600.06/3608.00 c LP solve time 0 s
3600.06/3608.00 c LP constraints added 0
3600.06/3608.00 c LP constraints removed 0
3600.06/3608.00 c LP pivots internal 0
3600.06/3608.00 c LP pivots root 0
3600.06/3608.00 c LP calls 0
3600.06/3608.00 c LP optimalities 0
3600.06/3608.00 c LP no pivot count 0
3600.06/3608.00 c LP infeasibilities 0
3600.06/3608.00 c LP valid Farkas constraints 0
3600.06/3608.00 c LP learned Farkas constraints 0
3600.06/3608.00 c LP basis resets 0
3600.06/3608.00 c LP cycling count 0
3600.06/3608.00 c LP singular count 0
3600.06/3608.00 c LP no primal count 0
3600.06/3608.00 c LP no farkas count 0
3600.06/3608.00 c LP other issue count 0
3600.06/3608.00 c LP Gomory cuts 0
3600.06/3608.00 c LP learned cuts 0
3600.06/3608.00 c LP deleted cuts 0
3600.06/3608.00 c LP encountered Gomory constraints 0
3600.06/3608.00 c LP encountered Farkas constraints 0
3600.06/3608.00 c LP encountered learned Farkas constraints 0
3600.06/3608.00 c CG auxiliary variables introduced 0
3600.06/3608.00 c CG solutions found 3
3600.06/3608.00 c CG cores constructed 0
3600.06/3608.00 c CG core cardinality constraints returned 0
3600.06/3608.00 c CG unit cores 0
3600.06/3608.00 c CG single cores 0
3600.06/3608.00 c CG blocks removed during cardinality reduction 0
3600.06/3608.00 c CG first core best 0
3600.06/3608.00 c CG decision core best 0
3600.06/3608.00 c CG core reduction tie 0
3600.06/3608.00 c CG core degree average 0.00
3600.06/3608.00 c CG core slack average 0.00
3600.06/3608.00 c CG exhausted 0
3600.06/3608.00 c CG exhaust time 0 s
3600.06/3608.00 c CG trimmed 0
3600.06/3608.00 c CG trim time 0 s
3600.06/3608.00 c CG minimized 0
3600.06/3608.00 c CG minimize time 0 s
3600.06/3608.00 c CG am1 prop time 0.000164 s
3600.06/3608.00 c CG # am1s reformulated 0
3600.06/3608.00 c CG lower bound derived from am1s 0
3600.06/3608.00 c CG # clausal cores 0
3600.06/3608.00 c CG # cardinality cores 0
3600.06/3608.00 c CG # pb cores 0
3600.06/3608.00 c CG # pb reforms 0
3600.06/3608.00 c CG # cores discarded because of pb reform 0
3600.06/3608.00 d LOWERBOUND 0
3600.06/3608.00 d NCORES 0
3600.06/3608.00 d NPBCORES 0
3600.06/3608.00 d NPBREFORM 0
3600.06/3608.00 d NTRIMMED 0
3600.06/3608.00 d NEXHAUSTED 0
3600.06/3608.00 d NAM1S 0
3600.06/3608.00 d AM1LB 0
3600.06/3608.00 c [Papilo Statistics]
3600.06/3608.00 c prepro time 0.000400396s
3600.06/3608.00 c # tsx applied 8
3600.06/3608.00 c # tsx conflicts 0
3600.06/3608.00 c # bound changes 0
3600.06/3608.00 c # side changes 8
3600.06/3608.00 c # coef changes 0
3600.06/3608.00 c # rounds 2
3600.06/3608.00 c # deted vars 0
3600.06/3608.00 c # deted constrs 8
3600.06/3608.00 c # consecutive rounds of only bound changes 0
3600.06/3608.00 c [STEP] postprocessing with Papilo
3600.06/3608.00 o 45
3600.06/3608.00 s SATISFIABLE
3600.06/3608.00 v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 x59 -x60 -x61 -x62 -x63 -x64 x65 x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 x130 -x131 -x132 -x133 x134 x135 -x136 x137 -x138 x139 -x140 -x141 x142 x143 -x144 x145 x146 -x147 x148 x149 -x150 -x151 -x152 -x153 x154 x155 x156 x157 -x158 -x159 -x160 x161 x162 x163 -x164 x165 x166 -x167 x168 -x169 -x170 x171 x172 -x173 x174 -x175 x176 x177 -x178 x179 -x180 -x181 x182 -x183 -x184 x185 -x186 -x187 -x188 x189 x190 -x191 -x192 x193 x194 -x195 -x196 x197 -x198
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: 63665 MiB (62552 MiB free)
memory of node 1: 64507 MiB (63843 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490555-1751370878/watcher-4490555-1751370878 -o /tmp/evaluation-result-4490555-1751370878/solver-4490555-1751370878 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751361124-48388 --watchdog 3760 mixed-bag HOME/instance-4490555-1751370878.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=49746, runsolver pid=49743
[startup+0.10006 s]*
/proc/loadavg: 4.13 4.10 4.09 5/262 49747
/proc/meminfo: memFree=129418484/131250000 swapFree=33010416/33010684
[pid=49746] ppid=49743 vsize=103184 memory=28928 CPUtime=0.09 cores=4,6
/proc/49746/stat : 49746 (mixed-bag) R 49743 49746 48377 0 -1 4194304 3419 0 0 0 8 1 0 0 20 0 1 0 52767656 105660416 7232 18446744073709551615 4235264 15874749 140727371614656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 42274816 140727371618716 140727371618793 140727371618793 140727371624395 0
/proc/49746/statm: 25796 7232 4256 2842 0 7490 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 103184 KiB
Current children cumulated memory: 28928 KiB
[startup+0.205484 s]*
/proc/loadavg: 4.13 4.10 4.09 5/262 49747
/proc/meminfo: memFree=129406640/131250000 swapFree=33010416/33010684
[pid=49746] ppid=49743 vsize=113528 memory=37632 CPUtime=0.19 cores=4,6
/proc/49746/stat : 49746 (mixed-bag) R 49743 49746 48377 0 -1 4194304 5599 0 0 0 18 1 0 0 20 0 1 0 52767656 116252672 9408 18446744073709551615 4235264 15874749 140727371614656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 42274816 140727371618716 140727371618793 140727371618793 140727371624395 0
/proc/49746/statm: 28382 9408 4288 2842 0 10076 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 113528 KiB
Current children cumulated memory: 37632 KiB
[startup+0.305413 s]*
/proc/loadavg: 4.13 4.10 4.09 5/262 49747
/proc/meminfo: memFree=129406640/131250000 swapFree=33010416/33010684
[pid=49746] ppid=49743 vsize=113528 memory=37632 CPUtime=0.29 cores=4,6
/proc/49746/stat : 49746 (mixed-bag) R 49743 49746 48377 0 -1 4194304 5608 0 0 0 28 1 0 0 20 0 1 0 52767656 116252672 9408 18446744073709551615 4235264 15874749 140727371614656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 42274816 140727371618716 140727371618793 140727371618793 140727371624395 0
/proc/49746/statm: 28382 9408 4288 2842 0 10076 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 113528 KiB
Current children cumulated memory: 37632 KiB
[startup+0.700166 s]
/proc/loadavg: 4.13 4.10 4.09 5/262 49747
/proc/meminfo: memFree=129398576/131250000 swapFree=33010416/33010684
[pid=49746] ppid=49743 vsize=123460 memory=47872 CPUtime=0.67 cores=4,6
/proc/49746/stat : 49746 (mixed-bag) R 49743 49746 48377 0 -1 4194304 8195 0 0 0 66 1 0 0 20 0 1 0 52767656 126423040 11968 18446744073709551615 4235264 15874749 140727371614656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 42274816 140727371618716 140727371618793 140727371618793 140727371624395 0
/proc/49746/statm: 30865 11968 4288 2842 0 12559 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 123460 KiB
Current children cumulated memory: 47872 KiB
[startup+1.50017 s]
/proc/loadavg: 4.13 4.10 4.09 5/262 49747
/proc/meminfo: memFree=129396812/131250000 swapFree=33010416/33010684
[pid=49746] ppid=49743 vsize=129940 memory=54656 CPUtime=1.47 cores=4,6
/proc/49746/stat : 49746 (mixed-bag) R 49743 49746 48377 0 -1 4194304 9910 0 0 0 145 2 0 0 20 0 1 0 52767656 133058560 13664 18446744073709551615 4235264 15874749 140727371614656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 42274816 140727371618716 140727371618793 140727371618793 140727371624395 0
/proc/49746/statm: 32485 13664 4288 2842 0 14179 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 129940 KiB
Current children cumulated memory: 54656 KiB
[startup+3.10531 s]
/proc/loadavg: 4.13 4.10 4.09 5/262 49747
/proc/meminfo: memFree=129382956/131250000 swapFree=33010416/33010684
[pid=49746] ppid=49743 vsize=135572 memory=59648 CPUtime=3.07 cores=4,6
/proc/49746/stat : 49746 (mixed-bag) R 49743 49746 48377 0 -1 4194304 11145 0 0 0 305 2 0 0 20 0 1 0 52767656 138825728 14912 18446744073709551615 4235264 15874749 140727371614656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 42274816 140727371618716 140727371618793 140727371618793 140727371624395 0
/proc/49746/statm: 33893 14912 4288 2842 0 15587 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 135572 KiB
Current children cumulated memory: 59648 KiB
[startup+6.30016 s]
/proc/loadavg: 4.12 4.10 4.09 5/262 49747
/proc/meminfo: memFree=129375144/131250000 swapFree=33010416/33010684
[pid=49746] ppid=49743 vsize=150588 memory=73728 CPUtime=6.25 cores=4,6
/proc/49746/stat : 49746 (mixed-bag) R 49743 49746 48377 0 -1 4194304 14662 0 0 0 622 3 0 0 20 0 1 0 52767656 154202112 18432 18446744073709551615 4235264 15874749 140727371614656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 42274816 140727371618716 140727371618793 140727371618793 140727371624395 0
/proc/49746/statm: 37647 18432 4288 2842 0 19341 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 150588 KiB
Current children cumulated memory: 73728 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.09 4.09 5/262 49747
/proc/meminfo: memFree=129360024/131250000 swapFree=33010416/33010684
[pid=49746] ppid=49743 vsize=166160 memory=89412 CPUtime=12.63 cores=4,6
/proc/49746/stat : 49746 (mixed-bag) R 49743 49746 48377 0 -1 4194304 20010 0 0 0 1259 4 0 0 20 0 1 0 52767656 170147840 22353 18446744073709551615 4235264 15874749 140727371614656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 42274816 140727371618716 140727371618793 140727371618793 140727371624395 0
/proc/49746/statm: 41540 22353 4288 2842 0 23234 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 166160 KiB
Current children cumulated memory: 89412 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.09 5/262 49747
/proc/meminfo: memFree=129320964/131250000 swapFree=33010416/33010684
[pid=49746] ppid=49743 vsize=206148 memory=125732 CPUtime=25.4 cores=4,6
/proc/49746/stat : 49746 (mixed-bag) R 49743 49746 48377 0 -1 4194304 29318 0 0 0 2534 6 0 0 20 0 1 0 52767656 211095552 31433 18446744073709551615 4235264 15874749 140727371614656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 42274816 140727371618716 140727371618793 140727371618793 140727371624395 0
/proc/49746/statm: 51537 31433 4416 2842 0 33231 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 206148 KiB
Current children cumulated memory: 125732 KiB
[startup+51.1053 s]
/proc/loadavg: 4.12 4.10 4.09 5/262 49747
/proc/meminfo: memFree=129279436/131250000 swapFree=33010416/33010684
[pid=49746] ppid=49743 vsize=256436 memory=173464 CPUtime=50.93 cores=4,6
/proc/49746/stat : 49746 (mixed-bag) R 49743 49746 48377 0 -1 4194304 43701 0 0 0 5084 9 0 0 20 0 1 0 52767656 262590464 43366 18446744073709551615 4235264 15874749 140727371614656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 42274816 140727371618716 140727371618793 140727371618793 140727371624395 0
/proc/49746/statm: 64109 43366 4416 2842 0 45803 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 256436 KiB
Current children cumulated memory: 173464 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/262 49749
/proc/meminfo: memFree=129210500/131250000 swapFree=33010416/33010684
[pid=49746] ppid=49743 vsize=323740 memory=239148 CPUtime=101.95 cores=4,6
/proc/49746/stat : 49746 (mixed-bag) R 49743 49746 48377 0 -1 4194304 61615 0 0 0 10184 11 0 0 20 0 1 0 52767656 331509760 59787 18446744073709551615 4235264 15874749 140727371614656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 42274816 140727371618716 140727371618793 140727371618793 140727371624395 0
/proc/49746/statm: 80935 59787 4416 2842 0 62629 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 323740 KiB
Current children cumulated memory: 239148 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 49754
/proc/meminfo: memFree=129122188/131250000 swapFree=33010416/33010684
[pid=49746] ppid=49743 vsize=411244 memory=326836 CPUtime=161.77 cores=4,6
/proc/49746/stat : 49746 (mixed-bag) R 49743 49746 48377 0 -1 4194304 84195 0 0 0 16162 15 0 0 20 0 1 0 52767656 421113856 81709 18446744073709551615 4235264 15874749 140727371614656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 42274816 140727371618716 140727371618793 140727371618793 140727371624395 0
/proc/49746/statm: 102811 81709 4416 2842 0 84505 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 411244 KiB
Current children cumulated memory: 326836 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 49761
/proc/meminfo: memFree=129042736/131250000 swapFree=33010416/33010684
[pid=49746] ppid=49743 vsize=497928 memory=411444 CPUtime=221.59 cores=4,6
/proc/49746/stat : 49746 (mixed-bag) R 49743 49746 48377 0 -1 4194304 105327 0 0 0 22140 19 0 0 20 0 1 0 52767656 509878272 102861 18446744073709551615 4235264 15874749 140727371614656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 42274816 140727371618716 140727371618793 140727371618793 140727371624395 0
/proc/49746/statm: 124482 102861 4416 2842 0 106176 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 497928 KiB
Current children cumulated memory: 411444 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 49763
/proc/meminfo: memFree=128967076/131250000 swapFree=33010416/33010684
[pid=49746] ppid=49743 vsize=576272 memory=487272 CPUtime=281.42 cores=4,6
/proc/49746/stat : 49746 (mixed-bag) R 49743 49746 48377 0 -1 4194304 127360 0 0 0 28118 24 0 0 20 0 1 0 52767656 590102528 121818 18446744073709551615 4235264 15874749 140727371614656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 42274816 140727371618716 140727371618793 140727371618793 140727371624395 0
/proc/49746/statm: 144068 121818 4416 2842 0 125762 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 576272 KiB
Current children cumulated memory: 487272 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 49765
/proc/meminfo: memFree=129167140/131250000 swapFree=33010416/33010684
[pid=49746] ppid=49743 vsize=343304 memory=269208 CPUtime=341.27 cores=4,6
/proc/49746/stat : 49746 (mixed-bag) R 49743 49746 48377 0 -1 4194304 131213 0 0 0 34054 73 0 0 20 0 1 0 52767656 351543296 67302 18446744073709551615 4235264 15874749 140727371614656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 42274816 140727371618716 140727371618793 140727371618793 140727371624395 0
/proc/49746/statm: 85826 67302 4608 2842 0 67520 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 343304 KiB
Current children cumulated memory: 269208 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/264 49778
/proc/meminfo: memFree=129142896/131250000 swapFree=33010416/33010684
[pid=49746] ppid=49743 vsize=343304 memory=272956 CPUtime=401.12 cores=4,6
/proc/49746/stat : 49746 (mixed-bag) R 49743 49746 48377 0 -1 4194304 131555 0 0 0 39999 113 0 0 20 0 1 0 52767656 351543296 68239 18446744073709551615 4235264 15874749 140727371614656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 42274816 140727371618716 140727371618793 140727371618793 140727371624395 0
/proc/49746/statm: 85826 68239 4608 2842 0 67520 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 343304 KiB
Current children cumulated memory: 272956 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 49780
/proc/meminfo: memFree=129140008/131250000 swapFree=33010416/33010684
[pid=49746] ppid=49743 vsize=350484 memory=278076 CPUtime=460.96 cores=4,6
/proc/49746/stat : 49746 (mixed-bag) R 49743 49746 48377 0 -1 4194304 132040 0 0 0 45946 150 0 0 20 0 1 0 52767656 358895616 69519 18446744073709551615 4235264 15874749 140727371614656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 42274816 140727371618716 140727371618793 140727371618793 140727371624395 0
/proc/49746/statm: 87621 69519 4608 2842 0 69315 0
Current children cumulated CPU time: 460.96 s
################
# More data... #
################
Current children cumulated memory: 303300 KiB
[startup+2862.3 s]
/proc/loadavg: 1.09 1.09 1.52 2/245 49981
/proc/meminfo: memFree=129742460/131250000 swapFree=33010416/33010684
[pid=49746] ppid=49743 vsize=381128 memory=303300 CPUtime=2855.88 cores=4,6
/proc/49746/stat : 49746 (mixed-bag) R 49743 49746 48377 0 -1 4194304 133144 0 0 0 284802 786 0 0 20 0 1 0 52767656 390275072 75825 18446744073709551615 4235264 15874749 140727371614656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 42274816 140727371618716 140727371618793 140727371618793 140727371624395 0
/proc/49746/statm: 95282 75825 4608 2842 0 76976 0
Current children cumulated CPU time: 2855.88 s
Current children cumulated vsize: 381128 KiB
Current children cumulated memory: 303300 KiB
[startup+2922.3 s]
/proc/loadavg: 1.07 1.09 1.49 2/245 49983
/proc/meminfo: memFree=129741076/131250000 swapFree=33010416/33010684
[pid=49746] ppid=49743 vsize=381128 memory=303300 CPUtime=2915.76 cores=4,6
/proc/49746/stat : 49746 (mixed-bag) R 49743 49746 48377 0 -1 4194304 133144 0 0 0 290777 799 0 0 20 0 1 0 52767656 390275072 75825 18446744073709551615 4235264 15874749 140727371614656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 42274816 140727371618716 140727371618793 140727371618793 140727371624395 0
/proc/49746/statm: 95282 75825 4608 2842 0 76976 0
Current children cumulated CPU time: 2915.76 s
Current children cumulated vsize: 381128 KiB
Current children cumulated memory: 303300 KiB
[startup+2982.3 s]
/proc/loadavg: 1.08 1.09 1.46 2/244 49985
/proc/meminfo: memFree=129741188/131250000 swapFree=33010416/33010684
[pid=49746] ppid=49743 vsize=381128 memory=303300 CPUtime=2975.64 cores=4,6
/proc/49746/stat : 49746 (mixed-bag) R 49743 49746 48377 0 -1 4194304 133205 0 0 0 296755 809 0 0 20 0 1 0 52767656 390275072 75825 18446744073709551615 4235264 15874749 140727371614656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 42274816 140727371618716 140727371618793 140727371618793 140727371624395 0
/proc/49746/statm: 95282 75825 4608 2842 0 76976 0
Current children cumulated CPU time: 2975.64 s
Current children cumulated vsize: 381128 KiB
Current children cumulated memory: 303300 KiB
[startup+3042.3 s]
/proc/loadavg: 1.07 1.08 1.43 2/244 49987
/proc/meminfo: memFree=129736900/131250000 swapFree=33010416/33010684
[pid=49746] ppid=49743 vsize=381128 memory=307396 CPUtime=3035.51 cores=4,6
/proc/49746/stat : 49746 (mixed-bag) R 49743 49746 48377 0 -1 4194304 133217 0 0 0 302731 820 0 0 20 0 1 0 52767656 390275072 76849 18446744073709551615 4235264 15874749 140727371614656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 42274816 140727371618716 140727371618793 140727371618793 140727371624395 0
/proc/49746/statm: 95282 76849 4608 2842 0 76976 0
Current children cumulated CPU time: 3035.51 s
Current children cumulated vsize: 381128 KiB
Current children cumulated memory: 307396 KiB
[startup+3102.3 s]
/proc/loadavg: 1.13 1.10 1.42 2/244 49989
/proc/meminfo: memFree=129737076/131250000 swapFree=33010416/33010684
[pid=49746] ppid=49743 vsize=381128 memory=307396 CPUtime=3095.4 cores=4,6
/proc/49746/stat : 49746 (mixed-bag) R 49743 49746 48377 0 -1 4194304 133218 0 0 0 308710 830 0 0 20 0 1 0 52767656 390275072 76849 18446744073709551615 4235264 15874749 140727371614656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 42274816 140727371618716 140727371618793 140727371618793 140727371624395 0
/proc/49746/statm: 95282 76849 4608 2842 0 76976 0
Current children cumulated CPU time: 3095.4 s
Current children cumulated vsize: 381128 KiB
Current children cumulated memory: 307396 KiB
[startup+3162.3 s]
/proc/loadavg: 1.05 1.08 1.39 2/244 49991
/proc/meminfo: memFree=129737188/131250000 swapFree=33010416/33010684
[pid=49746] ppid=49743 vsize=381128 memory=307396 CPUtime=3155.27 cores=4,6
/proc/49746/stat : 49746 (mixed-bag) R 49743 49746 48377 0 -1 4194304 133220 0 0 0 314688 839 0 0 20 0 1 0 52767656 390275072 76849 18446744073709551615 4235264 15874749 140727371614656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 42274816 140727371618716 140727371618793 140727371618793 140727371624395 0
/proc/49746/statm: 95282 76849 4608 2842 0 76976 0
Current children cumulated CPU time: 3155.27 s
Current children cumulated vsize: 381128 KiB
Current children cumulated memory: 307396 KiB
[startup+3222.3 s]
/proc/loadavg: 1.13 1.09 1.37 2/245 49996
/proc/meminfo: memFree=129737044/131250000 swapFree=33010416/33010684
[pid=49746] ppid=49743 vsize=381128 memory=307396 CPUtime=3215.14 cores=4,6
/proc/49746/stat : 49746 (mixed-bag) R 49743 49746 48377 0 -1 4194304 133221 0 0 0 320666 848 0 0 20 0 1 0 52767656 390275072 76849 18446744073709551615 4235264 15874749 140727371614656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 42274816 140727371618716 140727371618793 140727371618793 140727371624395 0
/proc/49746/statm: 95282 76849 4608 2842 0 76976 0
Current children cumulated CPU time: 3215.14 s
Current children cumulated vsize: 381128 KiB
Current children cumulated memory: 307396 KiB
[startup+3282.3 s]
/proc/loadavg: 1.11 1.09 1.35 2/246 50003
/proc/meminfo: memFree=129738272/131250000 swapFree=33010416/33010684
[pid=49746] ppid=49743 vsize=381128 memory=307396 CPUtime=3275.02 cores=4,6
/proc/49746/stat : 49746 (mixed-bag) R 49743 49746 48377 0 -1 4194304 133221 0 0 0 326645 857 0 0 20 0 1 0 52767656 390275072 76849 18446744073709551615 4235264 15874749 140727371614656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 42274816 140727371618716 140727371618793 140727371618793 140727371624395 0
/proc/49746/statm: 95282 76849 4608 2842 0 76976 0
Current children cumulated CPU time: 3275.02 s
Current children cumulated vsize: 381128 KiB
Current children cumulated memory: 307396 KiB
[startup+3342.3 s]
/proc/loadavg: 1.09 1.09 1.33 2/246 50005
/proc/meminfo: memFree=129736808/131250000 swapFree=33010416/33010684
[pid=49746] ppid=49743 vsize=381128 memory=307396 CPUtime=3334.9 cores=4,6
/proc/49746/stat : 49746 (mixed-bag) R 49743 49746 48377 0 -1 4194304 133221 0 0 0 332622 868 0 0 20 0 1 0 52767656 390275072 76849 18446744073709551615 4235264 15874749 140727371614656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 42274816 140727371618716 140727371618793 140727371618793 140727371624395 0
/proc/49746/statm: 95282 76849 4608 2842 0 76976 0
Current children cumulated CPU time: 3334.9 s
Current children cumulated vsize: 381128 KiB
Current children cumulated memory: 307396 KiB
[startup+3402.3 s]
/proc/loadavg: 1.10 1.09 1.32 2/246 50007
/proc/meminfo: memFree=129737424/131250000 swapFree=33010416/33010684
[pid=49746] ppid=49743 vsize=381128 memory=307396 CPUtime=3394.78 cores=4,6
/proc/49746/stat : 49746 (mixed-bag) R 49743 49746 48377 0 -1 4194304 133221 0 0 0 338601 877 0 0 20 0 1 0 52767656 390275072 76849 18446744073709551615 4235264 15874749 140727371614656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 42274816 140727371618716 140727371618793 140727371618793 140727371624395 0
/proc/49746/statm: 95282 76849 4608 2842 0 76976 0
Current children cumulated CPU time: 3394.78 s
Current children cumulated vsize: 381128 KiB
Current children cumulated memory: 307396 KiB
[startup+3462.3 s]
/proc/loadavg: 1.09 1.08 1.30 2/247 50010
/proc/meminfo: memFree=129737600/131250000 swapFree=33010416/33010684
[pid=49746] ppid=49743 vsize=381128 memory=309444 CPUtime=3454.65 cores=4,6
/proc/49746/stat : 49746 (mixed-bag) R 49743 49746 48377 0 -1 4194304 133222 0 0 0 344578 887 0 0 20 0 1 0 52767656 390275072 77361 18446744073709551615 4235264 15874749 140727371614656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 42274816 140727371618716 140727371618793 140727371618793 140727371624395 0
/proc/49746/statm: 95282 77361 4608 2842 0 76976 0
Current children cumulated CPU time: 3454.65 s
Current children cumulated vsize: 381128 KiB
Current children cumulated memory: 309444 KiB
[startup+3522.3 s]
/proc/loadavg: 1.07 1.08 1.28 2/247 50012
/proc/meminfo: memFree=129737472/131250000 swapFree=33010416/33010684
[pid=49746] ppid=49743 vsize=381128 memory=309444 CPUtime=3514.53 cores=4,6
/proc/49746/stat : 49746 (mixed-bag) R 49743 49746 48377 0 -1 4194304 133222 0 0 0 350557 896 0 0 20 0 1 0 52767656 390275072 77361 18446744073709551615 4235264 15874749 140727371614656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 42274816 140727371618716 140727371618793 140727371618793 140727371624395 0
/proc/49746/statm: 95282 77361 4608 2842 0 76976 0
Current children cumulated CPU time: 3514.53 s
Current children cumulated vsize: 381128 KiB
Current children cumulated memory: 309444 KiB
[startup+3582.3 s]
/proc/loadavg: 1.06 1.08 1.27 2/246 50014
/proc/meminfo: memFree=129737332/131250000 swapFree=33010416/33010684
[pid=49746] ppid=49743 vsize=381128 memory=309444 CPUtime=3574.41 cores=4,6
/proc/49746/stat : 49746 (mixed-bag) R 49743 49746 48377 0 -1 4194304 133222 0 0 0 356535 906 0 0 20 0 1 0 52767656 390275072 77361 18446744073709551615 4235264 15874749 140727371614656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 42274816 140727371618716 140727371618793 140727371618793 140727371624395 0
/proc/49746/statm: 95282 77361 4608 2842 0 76976 0
Current children cumulated CPU time: 3574.41 s
Current children cumulated vsize: 381128 KiB
Current children cumulated memory: 309444 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608 s]*
/proc/loadavg: 1.12 1.09 1.26 2/246 50015
/proc/meminfo: memFree=129737140/131250000 swapFree=33010416/33010684
[pid=49746] ppid=49743 vsize=381128 memory=309444 CPUtime=3600.06 cores=4,6
/proc/49746/stat : 49746 (mixed-bag) R 49743 49746 48377 0 -1 4194304 133222 0 0 0 359096 910 0 0 20 0 1 0 52767656 390275072 77361 18446744073709551615 4235264 15874749 140727371614656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 42274816 140727371618716 140727371618793 140727371618793 140727371624395 0
/proc/49746/statm: 95282 77361 4608 2842 0 76976 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 381128 KiB
Current children cumulated memory: 309444 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.01 s]
# the end of solver process 49746 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.97 s, system=9.11028 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3608.01
CPU time (s): 3600.08
CPU user time (s): 3590.97
CPU system time (s): 9.11028
CPU usage (%): 99.7801
Max. virtual memory (cumulated for all children) (KiB): 592552
Max. memory (cumulated for all children) (KiB): 499304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.97
system time used= 9.11028
maximum resident set size= 499304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133250
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= 172
involuntary context switches= 2080
# summary of solver processes directly reported to runsolver:
# pid: 49746
# total CPU time (s): 3600.08
# total CPU user time (s): 3590.97
# total CPU system time (s): 9.11028
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.9688 second user time and 14.4633 second system time
The end
Begin job on nodeC027 at 2025-07-01 13:54:38
IDJOB=4490555
IDBENCH=147593
IDSOLVER=3340
FILE ID=nodeC027/4490555-1751370878
RUNJOBID= nodeC027-1751361124-48388
SLURM_JOB_ID= 9598168
Free space on /tmp= 433016 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_4.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490555-1751370878/watcher-4490555-1751370878 -o /tmp/evaluation-result-4490555-1751370878/solver-4490555-1751370878 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751361124-48388 --watchdog 3760 mixed-bag HOME/instance-4490555-1751370878.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c109c801c35aa8e8336c6dae8cef540e
RANDOM SEED=1068164556
nodeC027 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 : 0xb00002a
cpu MHz : 3599.596
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.649
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3679.673
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.630
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.619
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3837.588
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129429824 kB
MemAvailable: 129165220 kB
Buffers: 2488 kB
Cached: 537848 kB
SwapCached: 12 kB
Active: 987296 kB
Inactive: 236796 kB
Active(anon): 699020 kB
Inactive(anon): 2792 kB
Active(file): 288276 kB
Inactive(file): 234004 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15600 kB
Writeback: 12 kB
AnonPages: 677388 kB
Mapped: 139660 kB
Shmem: 18056 kB
KReclaimable: 104312 kB
Slab: 192448 kB
SReclaimable: 104312 kB
SUnreclaim: 88136 kB
KernelStack: 4224 kB
PageTables: 4512 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1061052 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 571392 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: 203476 kB
DirectMap2M: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433048 MiB
End job on nodeC027 at 2025-07-01 14:54:46