0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.08/0.14 c [STEP] solving
0.08/0.14 c #variables 945 #constraints 58245
0.08/0.14 c SMALL=int, LARGE=long long
0.08/0.14 c bounds - >= -945 @ 0.091541
0.08/0.14 c stratification level: 0
0.08/0.19 c bounds - >= -166 @ 0.118327
0.08/0.19 c bounds - >= -165 @ 0.119503
0.08/0.19 c bounds - >= -164 @ 0.119604
0.08/0.19 c bounds - >= -163 @ 0.120309
0.08/0.19 c bounds - >= -162 @ 0.120602
0.08/0.19 c bounds - >= -161 @ 0.121609
0.08/0.19 c bounds - >= -160 @ 0.122081
0.08/0.19 c bounds - >= -159 @ 0.122681
0.08/0.19 c bounds - >= -158 @ 0.123325
0.08/0.19 c bounds - >= -157 @ 0.123841
0.08/0.19 c bounds - >= -156 @ 0.124338
0.08/0.19 c bounds - >= -155 @ 0.124592
0.08/0.19 c bounds - >= -154 @ 0.124771
0.08/0.19 c bounds - >= -153 @ 0.125373
0.08/0.19 c bounds - >= -152 @ 0.125581
0.08/0.19 c bounds - >= -151 @ 0.125586
0.08/0.19 c bounds - >= -150 @ 0.125586
0.08/0.19 c bounds - >= -149 @ 0.126034
0.08/0.19 c bounds - >= -148 @ 0.126887
0.08/0.19 c bounds - >= -147 @ 0.127788
0.08/0.19 c finalizing WCE round: reformulating cores
21.23/21.38 c bounds -21 >= -162 @ 0.133777
21.23/21.38 c bounds -21 >= -162 @ 0.138149
21.23/21.38 c #Conflicts: 1000 | #Constraints: 59452
21.23/21.38 c bounds -23 >= -158 @ 0.269611
21.23/21.38 c bounds -24 >= -156 @ 0.367411
21.23/21.38 c #Conflicts: 2000 | #Constraints: 60465
21.23/21.38 c INPROCESSING
21.23/21.38 c GARBAGE COLLECT
21.23/21.38 c #Conflicts: 3000 | #Constraints: 60328
21.23/21.38 c bounds -28 >= -150 @ 0.858624
21.23/21.38 c bounds -29 >= -148 @ 0.939762
21.23/21.38 c #Conflicts: 4000 | #Constraints: 61343
21.23/21.38 c INPROCESSING
21.23/21.38 c GARBAGE COLLECT
21.23/21.38 c #Conflicts: 5000 | #Constraints: 60770
21.23/21.38 c #Conflicts: 6000 | #Constraints: 61772
21.23/21.38 c INPROCESSING
21.23/21.38 c GARBAGE COLLECT
21.23/21.38 c #Conflicts: 7000 | #Constraints: 60820
21.23/21.38 c #Conflicts: 8000 | #Constraints: 61822
21.23/21.38 c #Conflicts: 9000 | #Constraints: 62826
21.23/21.38 c INPROCESSING
21.23/21.38 c GARBAGE COLLECT
21.23/21.38 c bounds -29 >= -141 @ 2.95802
21.23/21.38 c bounds -29 >= -140 @ 2.9588
21.23/21.38 c bounds -29 >= -139 @ 2.96212
21.23/21.38 c #Conflicts: 10000 | #Constraints: 61573
21.23/21.38 c bounds -29 >= -138 @ 2.97059
21.23/21.38 c bounds -29 >= -137 @ 3.01132
21.23/21.38 c #Conflicts: 11000 | #Constraints: 62635
21.23/21.38 c bounds -29 >= -136 @ 3.19424
21.23/21.38 c #Conflicts: 12000 | #Constraints: 63684
21.23/21.38 c INPROCESSING
21.23/21.38 c GARBAGE COLLECT
21.23/21.38 c #Conflicts: 13000 | #Constraints: 62123
21.23/21.38 c bounds -29 >= -135 @ 3.3178
21.23/21.38 c #Conflicts: 14000 | #Constraints: 63136
21.23/21.38 c #Conflicts: 15000 | #Constraints: 64136
21.23/21.38 c INPROCESSING
21.23/21.38 c #Conflicts: 16000 | #Constraints: 62366
21.23/21.38 c #Conflicts: 17000 | #Constraints: 63366
21.23/21.38 c bounds -29 >= -134 @ 3.85494
21.23/21.38 c #Conflicts: 18000 | #Constraints: 64397
21.23/21.38 c INPROCESSING
21.23/21.38 c GARBAGE COLLECT
21.23/21.38 c #Conflicts: 19000 | #Constraints: 62400
21.23/21.38 c #Conflicts: 20000 | #Constraints: 63400
21.23/21.38 c #Conflicts: 21000 | #Constraints: 64400
21.23/21.38 c INPROCESSING
21.23/21.38 c #Conflicts: 22000 | #Constraints: 62212
21.23/21.38 c #Conflicts: 23000 | #Constraints: 63212
21.23/21.38 c #Conflicts: 24000 | #Constraints: 64212
21.23/21.38 c #Conflicts: 25000 | #Constraints: 65212
21.23/21.38 c #Conflicts: 26000 | #Constraints: 66212
21.23/21.38 c #Conflicts: 27000 | #Constraints: 67212
21.23/21.38 c #Conflicts: 28000 | #Constraints: 68212
21.23/21.38 c #Conflicts: 29000 | #Constraints: 69212
21.23/21.38 c #Conflicts: 30000 | #Constraints: 70212
21.23/21.38 c #Conflicts: 31000 | #Constraints: 71212
21.23/21.38 c #Conflicts: 32000 | #Constraints: 72212
21.23/21.38 c #Conflicts: 33000 | #Constraints: 73212
21.23/21.38 c INPROCESSING
21.23/21.38 c GARBAGE COLLECT
21.23/21.38 c #Conflicts: 34000 | #Constraints: 66785
21.23/21.38 c #Conflicts: 35000 | #Constraints: 67785
21.23/21.38 c #Conflicts: 36000 | #Constraints: 68785
21.23/21.38 c #Conflicts: 37000 | #Constraints: 69785
21.23/21.38 c #Conflicts: 38000 | #Constraints: 70785
21.23/21.38 c INPROCESSING
21.23/21.38 c GARBAGE COLLECT
21.23/21.38 c #Conflicts: 39000 | #Constraints: 65716
21.23/21.38 c #Conflicts: 40000 | #Constraints: 66716
21.23/21.38 c #Conflicts: 41000 | #Constraints: 67716
21.23/21.38 c #Conflicts: 42000 | #Constraints: 68716
21.23/21.38 c INPROCESSING
21.23/21.38 c GARBAGE COLLECT
21.23/21.38 c #Conflicts: 43000 | #Constraints: 64234
21.23/21.38 c #Conflicts: 44000 | #Constraints: 65234
21.23/21.38 c #Conflicts: 45000 | #Constraints: 66234
21.23/21.38 c #Conflicts: 46000 | #Constraints: 67234
21.23/21.38 c #Conflicts: 47000 | #Constraints: 68234
21.23/21.38 c #Conflicts: 48000 | #Constraints: 69234
21.23/21.38 c #Conflicts: 49000 | #Constraints: 70234
21.23/21.38 c #Conflicts: 50000 | #Constraints: 71234
21.23/21.38 c #Conflicts: 51000 | #Constraints: 72234
21.23/21.38 c #Conflicts: 52000 | #Constraints: 73234
21.23/21.38 c #Conflicts: 53000 | #Constraints: 74234
21.23/21.38 c #Conflicts: 54000 | #Constraints: 75234
21.23/21.38 c #Conflicts: 55000 | #Constraints: 76234
21.23/21.38 c #Conflicts: 56000 | #Constraints: 77234
21.23/21.38 c #Conflicts: 57000 | #Constraints: 78234
21.23/21.38 c #Conflicts: 58000 | #Constraints: 79234
21.23/21.38 c INPROCESSING
21.23/21.38 c GARBAGE COLLECT
21.23/21.38 c #Conflicts: 59000 | #Constraints: 69543
21.23/21.38 c #Conflicts: 60000 | #Constraints: 70543
21.23/21.38 c #Conflicts: 61000 | #Constraints: 71543
21.23/21.38 c #Conflicts: 62000 | #Constraints: 72543
21.23/21.38 c #Conflicts: 63000 | #Constraints: 73543
21.23/21.38 c #Conflicts: 64000 | #Constraints: 74543
59.32/59.50 c #Conflicts: 65000 | #Constraints: 75543
59.32/59.50 c INPROCESSING
59.32/59.50 c GARBAGE COLLECT
59.32/59.50 c #Conflicts: 66000 | #Constraints: 68098
59.32/59.50 c #Conflicts: 67000 | #Constraints: 69098
59.32/59.50 c #Conflicts: 68000 | #Constraints: 70098
59.32/59.50 c #Conflicts: 69000 | #Constraints: 71098
59.32/59.50 c #Conflicts: 70000 | #Constraints: 72098
59.32/59.50 c #Conflicts: 71000 | #Constraints: 73098
59.32/59.50 c INPROCESSING
59.32/59.50 c GARBAGE COLLECT
59.32/59.50 c #Conflicts: 72000 | #Constraints: 66688
59.32/59.50 c #Conflicts: 73000 | #Constraints: 67688
59.32/59.50 c #Conflicts: 74000 | #Constraints: 68688
59.32/59.50 c #Conflicts: 75000 | #Constraints: 69688
59.32/59.50 c #Conflicts: 76000 | #Constraints: 70688
59.32/59.50 c #Conflicts: 77000 | #Constraints: 71688
59.32/59.50 c #Conflicts: 78000 | #Constraints: 72688
59.32/59.50 c INPROCESSING
59.32/59.50 c GARBAGE COLLECT
59.32/59.50 c #Conflicts: 79000 | #Constraints: 66685
59.32/59.50 c #Conflicts: 80000 | #Constraints: 67685
59.32/59.50 c #Conflicts: 81000 | #Constraints: 68685
59.32/59.50 c #Conflicts: 82000 | #Constraints: 69685
59.32/59.50 c #Conflicts: 83000 | #Constraints: 70685
59.32/59.50 c #Conflicts: 84000 | #Constraints: 71685
59.32/59.50 c #Conflicts: 85000 | #Constraints: 72685
59.32/59.50 c #Conflicts: 86000 | #Constraints: 73685
59.32/59.50 c #Conflicts: 87000 | #Constraints: 74685
59.32/59.50 c #Conflicts: 88000 | #Constraints: 75685
59.32/59.50 c #Conflicts: 89000 | #Constraints: 76685
59.32/59.50 c #Conflicts: 90000 | #Constraints: 77685
59.32/59.50 c #Conflicts: 91000 | #Constraints: 78685
59.32/59.50 c #Conflicts: 92000 | #Constraints: 79685
59.32/59.50 c #Conflicts: 93000 | #Constraints: 80685
59.32/59.50 c #Conflicts: 94000 | #Constraints: 81685
59.32/59.50 c #Conflicts: 95000 | #Constraints: 82685
59.32/59.50 c #Conflicts: 96000 | #Constraints: 83685
59.32/59.50 c #Conflicts: 97000 | #Constraints: 84685
59.32/59.50 c #Conflicts: 98000 | #Constraints: 85685
59.32/59.50 c #Conflicts: 99000 | #Constraints: 86685
59.32/59.50 c INPROCESSING
59.32/59.50 c GARBAGE COLLECT
59.32/59.50 c #Conflicts: 100000 | #Constraints: 73579
59.32/59.50 c #Conflicts: 101000 | #Constraints: 74579
59.32/59.50 c #Conflicts: 102000 | #Constraints: 75579
59.32/59.50 c #Conflicts: 103000 | #Constraints: 76579
59.32/59.50 c #Conflicts: 104000 | #Constraints: 77579
59.32/59.50 c #Conflicts: 105000 | #Constraints: 78579
59.32/59.50 c #Conflicts: 106000 | #Constraints: 79579
59.32/59.50 c #Conflicts: 107000 | #Constraints: 80579
59.32/59.50 c INPROCESSING
59.32/59.50 c GARBAGE COLLECT
59.32/59.50 c #Conflicts: 108000 | #Constraints: 70589
59.32/59.50 c #Conflicts: 109000 | #Constraints: 71589
59.32/59.50 c #Conflicts: 110000 | #Constraints: 72589
59.32/59.50 c #Conflicts: 111000 | #Constraints: 73589
59.32/59.50 c #Conflicts: 112000 | #Constraints: 74589
59.32/59.50 c #Conflicts: 113000 | #Constraints: 75589
59.32/59.50 c #Conflicts: 114000 | #Constraints: 76589
59.32/59.50 c #Conflicts: 115000 | #Constraints: 77589
59.32/59.50 c INPROCESSING
59.32/59.50 c GARBAGE COLLECT
59.32/59.50 c #Conflicts: 116000 | #Constraints: 69029
59.32/59.50 c #Conflicts: 117000 | #Constraints: 70029
59.32/59.50 c #Conflicts: 118000 | #Constraints: 71029
59.32/59.50 c #Conflicts: 119000 | #Constraints: 72029
59.32/59.50 c #Conflicts: 120000 | #Constraints: 73029
59.32/59.50 c #Conflicts: 121000 | #Constraints: 74029
59.32/59.50 c #Conflicts: 122000 | #Constraints: 75029
59.32/59.50 c #Conflicts: 123000 | #Constraints: 76029
59.32/59.50 c INPROCESSING
59.32/59.50 c GARBAGE COLLECT
59.32/59.50 c #Conflicts: 124000 | #Constraints: 68100
59.32/59.50 c #Conflicts: 125000 | #Constraints: 69100
59.32/59.50 c #Conflicts: 126000 | #Constraints: 70100
59.32/59.50 c #Conflicts: 127000 | #Constraints: 71100
59.32/59.50 c #Conflicts: 128000 | #Constraints: 72100
59.32/59.50 c #Conflicts: 129000 | #Constraints: 73100
59.32/59.50 c #Conflicts: 130000 | #Constraints: 74100
59.32/59.50 c #Conflicts: 131000 | #Constraints: 75100
59.32/59.50 c #Conflicts: 132000 | #Constraints: 76100
59.32/59.50 c INPROCESSING
59.32/59.50 c GARBAGE COLLECT
59.32/59.50 c #Conflicts: 133000 | #Constraints: 68397
59.32/59.50 c #Conflicts: 134000 | #Constraints: 69397
59.32/59.50 c #Conflicts: 135000 | #Constraints: 70397
59.32/59.50 c #Conflicts: 136000 | #Constraints: 71397
59.32/59.50 c #Conflicts: 137000 | #Constraints: 72397
59.32/59.50 c #Conflicts: 138000 | #Constraints: 73397
101.82/102.15 c #Conflicts: 139000 | #Constraints: 74397
101.82/102.15 c #Conflicts: 140000 | #Constraints: 75397
101.82/102.15 c INPROCESSING
101.82/102.15 c GARBAGE COLLECT
101.82/102.15 c #Conflicts: 141000 | #Constraints: 67688
101.82/102.15 c #Conflicts: 142000 | #Constraints: 68688
101.82/102.15 c #Conflicts: 143000 | #Constraints: 69688
101.82/102.15 c #Conflicts: 144000 | #Constraints: 70688
101.82/102.15 c #Conflicts: 145000 | #Constraints: 71688
101.82/102.15 c #Conflicts: 146000 | #Constraints: 72688
101.82/102.15 c #Conflicts: 147000 | #Constraints: 73688
101.82/102.15 c #Conflicts: 148000 | #Constraints: 74688
101.82/102.15 c #Conflicts: 149000 | #Constraints: 75688
101.82/102.15 c #Conflicts: 150000 | #Constraints: 76688
101.82/102.15 c #Conflicts: 151000 | #Constraints: 77688
101.82/102.15 c #Conflicts: 152000 | #Constraints: 78688
101.82/102.15 c #Conflicts: 153000 | #Constraints: 79688
101.82/102.15 c #Conflicts: 154000 | #Constraints: 80688
101.82/102.15 c #Conflicts: 155000 | #Constraints: 81688
101.82/102.15 c bounds -29 >= -133 @ 68.2933
101.82/102.15 c #Conflicts: 156000 | #Constraints: 82731
101.82/102.15 c #Conflicts: 157000 | #Constraints: 83731
101.82/102.15 c #Conflicts: 158000 | #Constraints: 84731
101.82/102.15 c #Conflicts: 159000 | #Constraints: 85731
101.82/102.15 c #Conflicts: 160000 | #Constraints: 86731
101.82/102.15 c #Conflicts: 161000 | #Constraints: 87731
101.82/102.15 c #Conflicts: 162000 | #Constraints: 88731
101.82/102.15 c #Conflicts: 163000 | #Constraints: 89731
101.82/102.15 c #Conflicts: 164000 | #Constraints: 90731
101.82/102.15 c #Conflicts: 165000 | #Constraints: 91731
101.82/102.15 c #Conflicts: 166000 | #Constraints: 92731
101.82/102.15 c #Conflicts: 167000 | #Constraints: 93731
101.82/102.15 c #Conflicts: 168000 | #Constraints: 94731
101.82/102.15 c #Conflicts: 169000 | #Constraints: 95731
101.82/102.15 c INPROCESSING
101.82/102.15 c GARBAGE COLLECT
101.82/102.15 c #Conflicts: 170000 | #Constraints: 78012
101.82/102.15 c #Conflicts: 171000 | #Constraints: 79012
101.82/102.15 c #Conflicts: 172000 | #Constraints: 80012
101.82/102.15 c #Conflicts: 173000 | #Constraints: 81012
101.82/102.15 c #Conflicts: 174000 | #Constraints: 82012
101.82/102.15 c #Conflicts: 175000 | #Constraints: 83012
101.82/102.15 c #Conflicts: 176000 | #Constraints: 84012
101.82/102.15 c #Conflicts: 177000 | #Constraints: 85012
101.82/102.15 c #Conflicts: 178000 | #Constraints: 86012
101.82/102.15 c #Conflicts: 179000 | #Constraints: 87012
101.82/102.15 c INPROCESSING
101.82/102.15 c GARBAGE COLLECT
101.82/102.15 c #Conflicts: 180000 | #Constraints: 73688
101.82/102.15 c #Conflicts: 181000 | #Constraints: 74688
101.82/102.15 c #Conflicts: 182000 | #Constraints: 75688
101.82/102.15 c #Conflicts: 183000 | #Constraints: 76688
101.82/102.15 c #Conflicts: 184000 | #Constraints: 77688
101.82/102.15 c #Conflicts: 185000 | #Constraints: 78688
101.82/102.15 c #Conflicts: 186000 | #Constraints: 79688
101.82/102.15 c #Conflicts: 187000 | #Constraints: 80688
101.82/102.15 c #Conflicts: 188000 | #Constraints: 81688
101.82/102.15 c #Conflicts: 189000 | #Constraints: 82688
101.82/102.15 c INPROCESSING
101.82/102.15 c GARBAGE COLLECT
101.82/102.15 c #Conflicts: 190000 | #Constraints: 71389
101.82/102.15 c #Conflicts: 191000 | #Constraints: 72389
101.82/102.15 c #Conflicts: 192000 | #Constraints: 73389
101.82/102.15 c #Conflicts: 193000 | #Constraints: 74389
101.82/102.15 c #Conflicts: 194000 | #Constraints: 75389
101.82/102.15 c #Conflicts: 195000 | #Constraints: 76389
101.82/102.15 c #Conflicts: 196000 | #Constraints: 77389
101.82/102.15 c #Conflicts: 197000 | #Constraints: 78389
101.82/102.15 c #Conflicts: 198000 | #Constraints: 79389
101.82/102.15 c #Conflicts: 199000 | #Constraints: 80389
101.82/102.15 c #Conflicts: 200000 | #Constraints: 81389
101.82/102.15 c INPROCESSING
101.82/102.15 c GARBAGE COLLECT
101.82/102.15 c #Conflicts: 201000 | #Constraints: 71046
101.82/102.15 c #Conflicts: 202000 | #Constraints: 72046
101.82/102.15 c #Conflicts: 203000 | #Constraints: 73046
101.82/102.15 c #Conflicts: 204000 | #Constraints: 74046
101.82/102.15 c #Conflicts: 205000 | #Constraints: 75046
101.82/102.15 c #Conflicts: 206000 | #Constraints: 76046
101.82/102.15 c #Conflicts: 207000 | #Constraints: 77046
101.82/102.15 c #Conflicts: 208000 | #Constraints: 78046
101.82/102.15 c #Conflicts: 209000 | #Constraints: 79046
101.82/102.15 c #Conflicts: 210000 | #Constraints: 80046
101.82/102.15 c #Conflicts: 211000 | #Constraints: 81046
101.82/102.15 c #Conflicts: 212000 | #Constraints: 82046
101.82/102.15 c #Conflicts: 213000 | #Constraints: 83046
175.31/175.81 c #Conflicts: 214000 | #Constraints: 84046
175.31/175.81 c #Conflicts: 215000 | #Constraints: 85046
175.31/175.81 c #Conflicts: 216000 | #Constraints: 86046
175.31/175.81 c #Conflicts: 217000 | #Constraints: 87046
175.31/175.81 c #Conflicts: 218000 | #Constraints: 88046
175.31/175.81 c #Conflicts: 219000 | #Constraints: 89046
175.31/175.81 c #Conflicts: 220000 | #Constraints: 90046
175.31/175.81 c #Conflicts: 221000 | #Constraints: 91046
175.31/175.81 c #Conflicts: 222000 | #Constraints: 92046
175.31/175.81 c #Conflicts: 223000 | #Constraints: 93046
175.31/175.81 c #Conflicts: 224000 | #Constraints: 94046
175.31/175.81 c #Conflicts: 225000 | #Constraints: 95046
175.31/175.81 c #Conflicts: 226000 | #Constraints: 96046
175.31/175.81 c #Conflicts: 227000 | #Constraints: 97046
175.31/175.81 c #Conflicts: 228000 | #Constraints: 98046
175.31/175.81 c #Conflicts: 229000 | #Constraints: 99046
175.31/175.81 c #Conflicts: 230000 | #Constraints: 100046
175.31/175.81 c #Conflicts: 231000 | #Constraints: 101046
175.31/175.81 c #Conflicts: 232000 | #Constraints: 102046
175.31/175.81 c #Conflicts: 233000 | #Constraints: 103046
175.31/175.81 c #Conflicts: 234000 | #Constraints: 104046
175.31/175.81 c INPROCESSING
175.31/175.81 c GARBAGE COLLECT
175.31/175.81 c #Conflicts: 235000 | #Constraints: 82380
175.31/175.81 c #Conflicts: 236000 | #Constraints: 83380
175.31/175.81 c #Conflicts: 237000 | #Constraints: 84380
175.31/175.81 c #Conflicts: 238000 | #Constraints: 85380
175.31/175.81 c #Conflicts: 239000 | #Constraints: 86380
175.31/175.81 c #Conflicts: 240000 | #Constraints: 87380
175.31/175.81 c #Conflicts: 241000 | #Constraints: 88380
175.31/175.81 c #Conflicts: 242000 | #Constraints: 89380
175.31/175.81 c #Conflicts: 243000 | #Constraints: 90380
175.31/175.81 c #Conflicts: 244000 | #Constraints: 91380
175.31/175.81 c #Conflicts: 245000 | #Constraints: 92380
175.31/175.81 c INPROCESSING
175.31/175.81 c GARBAGE COLLECT
175.31/175.81 c #Conflicts: 246000 | #Constraints: 76209
175.31/175.81 c #Conflicts: 247000 | #Constraints: 77209
175.31/175.81 c #Conflicts: 248000 | #Constraints: 78209
175.31/175.81 c #Conflicts: 249000 | #Constraints: 79209
175.31/175.81 c #Conflicts: 250000 | #Constraints: 80209
175.31/175.81 c #Conflicts: 251000 | #Constraints: 81209
175.31/175.81 c #Conflicts: 252000 | #Constraints: 82209
175.31/175.81 c #Conflicts: 253000 | #Constraints: 83209
175.31/175.81 c #Conflicts: 254000 | #Constraints: 84209
175.31/175.81 c #Conflicts: 255000 | #Constraints: 85209
175.31/175.81 c #Conflicts: 256000 | #Constraints: 86209
175.31/175.81 c #Conflicts: 257000 | #Constraints: 87209
175.31/175.81 c INPROCESSING
175.31/175.81 c GARBAGE COLLECT
175.31/175.81 c #Conflicts: 258000 | #Constraints: 73665
175.31/175.81 c #Conflicts: 259000 | #Constraints: 74665
175.31/175.81 c #Conflicts: 260000 | #Constraints: 75665
175.31/175.81 c #Conflicts: 261000 | #Constraints: 76665
175.31/175.81 c #Conflicts: 262000 | #Constraints: 77665
175.31/175.81 c #Conflicts: 263000 | #Constraints: 78665
175.31/175.81 c #Conflicts: 264000 | #Constraints: 79665
175.31/175.81 c #Conflicts: 265000 | #Constraints: 80665
175.31/175.81 c #Conflicts: 266000 | #Constraints: 81665
175.31/175.81 c #Conflicts: 267000 | #Constraints: 82665
175.31/175.81 c #Conflicts: 268000 | #Constraints: 83665
175.31/175.81 c #Conflicts: 269000 | #Constraints: 84665
175.31/175.81 c INPROCESSING
175.31/175.81 c GARBAGE COLLECT
175.31/175.81 c #Conflicts: 270000 | #Constraints: 72369
175.31/175.81 c #Conflicts: 271000 | #Constraints: 73369
175.31/175.81 c #Conflicts: 272000 | #Constraints: 74369
175.31/175.81 c #Conflicts: 273000 | #Constraints: 75369
175.31/175.81 c #Conflicts: 274000 | #Constraints: 76369
175.31/175.81 c #Conflicts: 275000 | #Constraints: 77369
175.31/175.81 c #Conflicts: 276000 | #Constraints: 78369
175.31/175.81 c #Conflicts: 277000 | #Constraints: 79369
175.31/175.81 c #Conflicts: 278000 | #Constraints: 80369
175.31/175.81 c #Conflicts: 279000 | #Constraints: 81369
175.31/175.81 c #Conflicts: 280000 | #Constraints: 82369
175.31/175.81 c #Conflicts: 281000 | #Constraints: 83369
175.31/175.81 c #Conflicts: 282000 | #Constraints: 84369
175.31/175.81 c #Conflicts: 283000 | #Constraints: 85369
175.31/175.81 c #Conflicts: 284000 | #Constraints: 86369
175.31/175.81 c #Conflicts: 285000 | #Constraints: 87369
175.31/175.81 c #Conflicts: 286000 | #Constraints: 88369
175.31/175.81 c #Conflicts: 287000 | #Constraints: 89369
175.31/175.81 c #Conflicts: 288000 | #Constraints: 90369
175.31/175.81 c #Conflicts: 289000 | #Constraints: 91369
256.91/257.61 c #Conflicts: 290000 | #Constraints: 92369
256.91/257.61 c #Conflicts: 291000 | #Constraints: 93369
256.91/257.61 c #Conflicts: 292000 | #Constraints: 94369
256.91/257.61 c #Conflicts: 293000 | #Constraints: 95369
256.91/257.61 c #Conflicts: 294000 | #Constraints: 96369
256.91/257.61 c #Conflicts: 295000 | #Constraints: 97369
256.91/257.61 c #Conflicts: 296000 | #Constraints: 98369
256.91/257.61 c #Conflicts: 297000 | #Constraints: 99369
256.91/257.61 c #Conflicts: 298000 | #Constraints: 100369
256.91/257.61 c #Conflicts: 299000 | #Constraints: 101369
256.91/257.61 c #Conflicts: 300000 | #Constraints: 102369
256.91/257.61 c #Conflicts: 301000 | #Constraints: 103369
256.91/257.61 c #Conflicts: 302000 | #Constraints: 104369
256.91/257.61 c #Conflicts: 303000 | #Constraints: 105369
256.91/257.61 c #Conflicts: 304000 | #Constraints: 106369
256.91/257.61 c #Conflicts: 305000 | #Constraints: 107369
256.91/257.61 c #Conflicts: 306000 | #Constraints: 108369
256.91/257.61 c #Conflicts: 307000 | #Constraints: 109369
256.91/257.61 c #Conflicts: 308000 | #Constraints: 110369
256.91/257.61 c #Conflicts: 309000 | #Constraints: 111369
256.91/257.61 c INPROCESSING
256.91/257.61 c GARBAGE COLLECT
256.91/257.61 c #Conflicts: 310000 | #Constraints: 86033
256.91/257.61 c #Conflicts: 311000 | #Constraints: 87033
256.91/257.61 c #Conflicts: 312000 | #Constraints: 88033
256.91/257.61 c #Conflicts: 313000 | #Constraints: 89033
256.91/257.61 c #Conflicts: 314000 | #Constraints: 90033
256.91/257.61 c #Conflicts: 315000 | #Constraints: 91033
256.91/257.61 c #Conflicts: 316000 | #Constraints: 92033
256.91/257.61 c #Conflicts: 317000 | #Constraints: 93033
256.91/257.61 c #Conflicts: 318000 | #Constraints: 94033
256.91/257.61 c #Conflicts: 319000 | #Constraints: 95033
256.91/257.61 c #Conflicts: 320000 | #Constraints: 96033
256.91/257.61 c #Conflicts: 321000 | #Constraints: 97033
256.91/257.61 c #Conflicts: 322000 | #Constraints: 98033
256.91/257.61 c INPROCESSING
256.91/257.61 c GARBAGE COLLECT
256.91/257.61 c #Conflicts: 323000 | #Constraints: 79178
256.91/257.61 c #Conflicts: 324000 | #Constraints: 80178
256.91/257.61 c #Conflicts: 325000 | #Constraints: 81178
256.91/257.61 c #Conflicts: 326000 | #Constraints: 82178
256.91/257.61 c #Conflicts: 327000 | #Constraints: 83178
256.91/257.61 c #Conflicts: 328000 | #Constraints: 84178
256.91/257.61 c #Conflicts: 329000 | #Constraints: 85178
256.91/257.61 c #Conflicts: 330000 | #Constraints: 86178
256.91/257.61 c #Conflicts: 331000 | #Constraints: 87178
256.91/257.61 c #Conflicts: 332000 | #Constraints: 88178
256.91/257.61 c #Conflicts: 333000 | #Constraints: 89178
256.91/257.61 c #Conflicts: 334000 | #Constraints: 90178
256.91/257.61 c #Conflicts: 335000 | #Constraints: 91178
256.91/257.61 c #Conflicts: 336000 | #Constraints: 92178
256.91/257.61 c INPROCESSING
256.91/257.61 c GARBAGE COLLECT
256.91/257.61 c #Conflicts: 337000 | #Constraints: 76438
256.91/257.61 c #Conflicts: 338000 | #Constraints: 77438
256.91/257.61 c #Conflicts: 339000 | #Constraints: 78438
256.91/257.61 c #Conflicts: 340000 | #Constraints: 79438
256.91/257.61 c #Conflicts: 341000 | #Constraints: 80438
256.91/257.61 c #Conflicts: 342000 | #Constraints: 81438
256.91/257.61 c #Conflicts: 343000 | #Constraints: 82438
256.91/257.61 c #Conflicts: 344000 | #Constraints: 83438
256.91/257.61 c #Conflicts: 345000 | #Constraints: 84438
256.91/257.61 c #Conflicts: 346000 | #Constraints: 85438
256.91/257.61 c #Conflicts: 347000 | #Constraints: 86438
256.91/257.61 c #Conflicts: 348000 | #Constraints: 87438
256.91/257.61 c #Conflicts: 349000 | #Constraints: 88438
256.91/257.61 c INPROCESSING
256.91/257.61 c GARBAGE COLLECT
256.91/257.61 c #Conflicts: 350000 | #Constraints: 74189
256.91/257.61 c #Conflicts: 351000 | #Constraints: 75189
256.91/257.61 c #Conflicts: 352000 | #Constraints: 76189
256.91/257.61 c #Conflicts: 353000 | #Constraints: 77189
256.91/257.61 c #Conflicts: 354000 | #Constraints: 78189
256.91/257.61 c #Conflicts: 355000 | #Constraints: 79189
256.91/257.61 c #Conflicts: 356000 | #Constraints: 80189
256.91/257.61 c #Conflicts: 357000 | #Constraints: 81189
256.91/257.61 c #Conflicts: 358000 | #Constraints: 82189
256.91/257.61 c #Conflicts: 359000 | #Constraints: 83189
256.91/257.61 c #Conflicts: 360000 | #Constraints: 84189
256.91/257.61 c #Conflicts: 361000 | #Constraints: 85189
256.91/257.61 c #Conflicts: 362000 | #Constraints: 86189
256.91/257.61 c #Conflicts: 363000 | #Constraints: 87189
256.91/257.61 c #Conflicts: 364000 | #Constraints: 88189
256.91/257.61 c #Conflicts: 365000 | #Constraints: 89189
354.97/355.93 c #Conflicts: 366000 | #Constraints: 90189
354.97/355.93 c #Conflicts: 367000 | #Constraints: 91189
354.97/355.93 c #Conflicts: 368000 | #Constraints: 92189
354.97/355.93 c #Conflicts: 369000 | #Constraints: 93189
354.97/355.93 c #Conflicts: 370000 | #Constraints: 94189
354.97/355.93 c #Conflicts: 371000 | #Constraints: 95189
354.97/355.93 c #Conflicts: 372000 | #Constraints: 96189
354.97/355.93 c #Conflicts: 373000 | #Constraints: 97189
354.97/355.93 c #Conflicts: 374000 | #Constraints: 98189
354.97/355.93 c #Conflicts: 375000 | #Constraints: 99189
354.97/355.93 c #Conflicts: 376000 | #Constraints: 100189
354.97/355.93 c #Conflicts: 377000 | #Constraints: 101189
354.97/355.93 c #Conflicts: 378000 | #Constraints: 102189
354.97/355.93 c #Conflicts: 379000 | #Constraints: 103189
354.97/355.93 c #Conflicts: 380000 | #Constraints: 104189
354.97/355.93 c #Conflicts: 381000 | #Constraints: 105189
354.97/355.93 c #Conflicts: 382000 | #Constraints: 106189
354.97/355.93 c #Conflicts: 383000 | #Constraints: 107189
354.97/355.93 c #Conflicts: 384000 | #Constraints: 108189
354.97/355.93 c #Conflicts: 385000 | #Constraints: 109189
354.97/355.93 c #Conflicts: 386000 | #Constraints: 110189
354.97/355.93 c #Conflicts: 387000 | #Constraints: 111189
354.97/355.93 c #Conflicts: 388000 | #Constraints: 112189
354.97/355.93 c #Conflicts: 389000 | #Constraints: 113189
354.97/355.93 c #Conflicts: 390000 | #Constraints: 114189
354.97/355.93 c #Conflicts: 391000 | #Constraints: 115189
354.97/355.93 c #Conflicts: 392000 | #Constraints: 116189
354.97/355.93 c #Conflicts: 393000 | #Constraints: 117189
354.97/355.93 c #Conflicts: 394000 | #Constraints: 118189
354.97/355.93 c INPROCESSING
354.97/355.93 c GARBAGE COLLECT
354.97/355.93 c #Conflicts: 395000 | #Constraints: 89251
354.97/355.93 c #Conflicts: 396000 | #Constraints: 90251
354.97/355.93 c #Conflicts: 397000 | #Constraints: 91251
354.97/355.93 c #Conflicts: 398000 | #Constraints: 92251
354.97/355.93 c #Conflicts: 399000 | #Constraints: 93251
354.97/355.93 c #Conflicts: 400000 | #Constraints: 94251
354.97/355.93 c #Conflicts: 401000 | #Constraints: 95251
354.97/355.93 c #Conflicts: 402000 | #Constraints: 96251
354.97/355.93 c #Conflicts: 403000 | #Constraints: 97251
354.97/355.93 c #Conflicts: 404000 | #Constraints: 98251
354.97/355.93 c #Conflicts: 405000 | #Constraints: 99251
354.97/355.93 c #Conflicts: 406000 | #Constraints: 100251
354.97/355.93 c #Conflicts: 407000 | #Constraints: 101251
354.97/355.93 c #Conflicts: 408000 | #Constraints: 102251
354.97/355.93 c #Conflicts: 409000 | #Constraints: 103251
354.97/355.93 c INPROCESSING
354.97/355.93 c GARBAGE COLLECT
354.97/355.93 c #Conflicts: 410000 | #Constraints: 81747
354.97/355.93 c #Conflicts: 411000 | #Constraints: 82747
354.97/355.93 c #Conflicts: 412000 | #Constraints: 83747
354.97/355.93 c #Conflicts: 413000 | #Constraints: 84747
354.97/355.93 c #Conflicts: 414000 | #Constraints: 85747
354.97/355.93 c #Conflicts: 415000 | #Constraints: 86747
354.97/355.93 c #Conflicts: 416000 | #Constraints: 87747
354.97/355.93 c #Conflicts: 417000 | #Constraints: 88747
354.97/355.93 c #Conflicts: 418000 | #Constraints: 89747
354.97/355.93 c #Conflicts: 419000 | #Constraints: 90747
354.97/355.93 c #Conflicts: 420000 | #Constraints: 91747
354.97/355.93 c #Conflicts: 421000 | #Constraints: 92747
354.97/355.93 c #Conflicts: 422000 | #Constraints: 93747
354.97/355.93 c #Conflicts: 423000 | #Constraints: 94747
354.97/355.93 c #Conflicts: 424000 | #Constraints: 95747
354.97/355.93 c INPROCESSING
354.97/355.93 c GARBAGE COLLECT
354.97/355.93 c #Conflicts: 425000 | #Constraints: 77829
354.97/355.93 c #Conflicts: 426000 | #Constraints: 78829
354.97/355.93 c #Conflicts: 427000 | #Constraints: 79829
354.97/355.93 c #Conflicts: 428000 | #Constraints: 80829
354.97/355.93 c #Conflicts: 429000 | #Constraints: 81829
354.97/355.93 c #Conflicts: 430000 | #Constraints: 82829
354.97/355.93 c #Conflicts: 431000 | #Constraints: 83829
354.97/355.93 c #Conflicts: 432000 | #Constraints: 84829
354.97/355.93 c #Conflicts: 433000 | #Constraints: 85829
354.97/355.93 c #Conflicts: 434000 | #Constraints: 86829
354.97/355.93 c #Conflicts: 435000 | #Constraints: 87829
354.97/355.93 c #Conflicts: 436000 | #Constraints: 88829
354.97/355.93 c #Conflicts: 437000 | #Constraints: 89829
354.97/355.93 c #Conflicts: 438000 | #Constraints: 90829
354.97/355.93 c #Conflicts: 439000 | #Constraints: 91829
354.97/355.93 c #Conflicts: 440000 | #Constraints: 92829
354.97/355.93 c INPROCESSING
354.97/355.93 c GARBAGE COLLECT
354.97/355.93 c #Conflicts: 441000 | #Constraints: 76639
450.02/451.27 c #Conflicts: 442000 | #Constraints: 77639
450.02/451.27 c #Conflicts: 443000 | #Constraints: 78639
450.02/451.27 c #Conflicts: 444000 | #Constraints: 79639
450.02/451.27 c #Conflicts: 445000 | #Constraints: 80639
450.02/451.27 c #Conflicts: 446000 | #Constraints: 81639
450.02/451.27 c #Conflicts: 447000 | #Constraints: 82639
450.02/451.27 c #Conflicts: 448000 | #Constraints: 83639
450.02/451.27 c #Conflicts: 449000 | #Constraints: 84639
450.02/451.27 c #Conflicts: 450000 | #Constraints: 85639
450.02/451.27 c #Conflicts: 451000 | #Constraints: 86639
450.02/451.27 c #Conflicts: 452000 | #Constraints: 87639
450.02/451.27 c #Conflicts: 453000 | #Constraints: 88639
450.02/451.27 c #Conflicts: 454000 | #Constraints: 89639
450.02/451.27 c #Conflicts: 455000 | #Constraints: 90639
450.02/451.27 c #Conflicts: 456000 | #Constraints: 91639
450.02/451.27 c INPROCESSING
450.02/451.27 c GARBAGE COLLECT
450.02/451.27 c #Conflicts: 457000 | #Constraints: 76168
450.02/451.27 c #Conflicts: 458000 | #Constraints: 77168
450.02/451.27 c #Conflicts: 459000 | #Constraints: 78168
450.02/451.27 c #Conflicts: 460000 | #Constraints: 79168
450.02/451.27 c #Conflicts: 461000 | #Constraints: 80168
450.02/451.27 c #Conflicts: 462000 | #Constraints: 81168
450.02/451.27 c #Conflicts: 463000 | #Constraints: 82168
450.02/451.27 c #Conflicts: 464000 | #Constraints: 83168
450.02/451.27 c #Conflicts: 465000 | #Constraints: 84168
450.02/451.27 c #Conflicts: 466000 | #Constraints: 85168
450.02/451.27 c #Conflicts: 467000 | #Constraints: 86168
450.02/451.27 c #Conflicts: 468000 | #Constraints: 87168
450.02/451.27 c #Conflicts: 469000 | #Constraints: 88168
450.02/451.27 c #Conflicts: 470000 | #Constraints: 89168
450.02/451.27 c #Conflicts: 471000 | #Constraints: 90168
450.02/451.27 c #Conflicts: 472000 | #Constraints: 91168
450.02/451.27 c #Conflicts: 473000 | #Constraints: 92168
450.02/451.27 c #Conflicts: 474000 | #Constraints: 93168
450.02/451.27 c #Conflicts: 475000 | #Constraints: 94168
450.02/451.27 c #Conflicts: 476000 | #Constraints: 95168
450.02/451.27 c #Conflicts: 477000 | #Constraints: 96168
450.02/451.27 c #Conflicts: 478000 | #Constraints: 97168
450.02/451.27 c #Conflicts: 479000 | #Constraints: 98168
450.02/451.27 c #Conflicts: 480000 | #Constraints: 99168
450.02/451.27 c #Conflicts: 481000 | #Constraints: 100168
450.02/451.27 c #Conflicts: 482000 | #Constraints: 101168
450.02/451.27 c #Conflicts: 483000 | #Constraints: 102168
450.02/451.27 c #Conflicts: 484000 | #Constraints: 103168
450.02/451.27 c #Conflicts: 485000 | #Constraints: 104168
450.02/451.27 c #Conflicts: 486000 | #Constraints: 105168
450.02/451.27 c #Conflicts: 487000 | #Constraints: 106168
450.02/451.27 c #Conflicts: 488000 | #Constraints: 107168
450.02/451.27 c #Conflicts: 489000 | #Constraints: 108168
450.02/451.27 c #Conflicts: 490000 | #Constraints: 109168
450.02/451.27 c #Conflicts: 491000 | #Constraints: 110168
450.02/451.27 c #Conflicts: 492000 | #Constraints: 111168
450.02/451.27 c #Conflicts: 493000 | #Constraints: 112168
450.02/451.27 c #Conflicts: 494000 | #Constraints: 113168
450.02/451.27 c #Conflicts: 495000 | #Constraints: 114168
450.02/451.27 c #Conflicts: 496000 | #Constraints: 115168
450.02/451.27 c #Conflicts: 497000 | #Constraints: 116168
450.02/451.27 c #Conflicts: 498000 | #Constraints: 117168
450.02/451.27 c #Conflicts: 499000 | #Constraints: 118168
450.02/451.27 c #Conflicts: 500000 | #Constraints: 119168
450.02/451.27 c #Conflicts: 501000 | #Constraints: 120168
450.02/451.27 c #Conflicts: 502000 | #Constraints: 121168
450.02/451.27 c #Conflicts: 503000 | #Constraints: 122168
450.02/451.27 c #Conflicts: 504000 | #Constraints: 123168
450.02/451.27 c #Conflicts: 505000 | #Constraints: 124168
450.02/451.27 c #Conflicts: 506000 | #Constraints: 125168
450.02/451.27 c #Conflicts: 507000 | #Constraints: 126168
450.02/451.27 c INPROCESSING
450.02/451.27 c GARBAGE COLLECT
450.02/451.27 c #Conflicts: 508000 | #Constraints: 93450
450.02/451.27 c #Conflicts: 509000 | #Constraints: 94450
450.02/451.27 c #Conflicts: 510000 | #Constraints: 95450
450.02/451.27 c #Conflicts: 511000 | #Constraints: 96450
450.02/451.27 c #Conflicts: 512000 | #Constraints: 97450
450.02/451.27 c #Conflicts: 513000 | #Constraints: 98450
450.02/451.27 c #Conflicts: 514000 | #Constraints: 99450
450.02/451.27 c #Conflicts: 515000 | #Constraints: 100450
450.02/451.27 c #Conflicts: 516000 | #Constraints: 101450
450.02/451.27 c #Conflicts: 517000 | #Constraints: 102450
450.02/451.27 c #Conflicts: 518000 | #Constraints: 103450
450.02/451.27 c #Conflicts: 519000 | #Constraints: 104450
530.82/532.23 c #Conflicts: 520000 | #Constraints: 105450
530.82/532.23 c #Conflicts: 521000 | #Constraints: 106450
530.82/532.23 c #Conflicts: 522000 | #Constraints: 107450
530.82/532.23 c #Conflicts: 523000 | #Constraints: 108450
530.82/532.23 c #Conflicts: 524000 | #Constraints: 109450
530.82/532.23 c INPROCESSING
530.82/532.23 c GARBAGE COLLECT
530.82/532.23 c #Conflicts: 525000 | #Constraints: 85113
530.82/532.23 c #Conflicts: 526000 | #Constraints: 86113
530.82/532.23 c #Conflicts: 527000 | #Constraints: 87113
530.82/532.23 c #Conflicts: 528000 | #Constraints: 88113
530.82/532.23 c #Conflicts: 529000 | #Constraints: 89113
530.82/532.23 c #Conflicts: 530000 | #Constraints: 90113
530.82/532.23 c #Conflicts: 531000 | #Constraints: 91113
530.82/532.23 c #Conflicts: 532000 | #Constraints: 92113
530.82/532.23 c #Conflicts: 533000 | #Constraints: 93113
530.82/532.23 c #Conflicts: 534000 | #Constraints: 94113
530.82/532.23 c #Conflicts: 535000 | #Constraints: 95113
530.82/532.23 c #Conflicts: 536000 | #Constraints: 96113
530.82/532.23 c #Conflicts: 537000 | #Constraints: 97113
530.82/532.23 c #Conflicts: 538000 | #Constraints: 98113
530.82/532.23 c #Conflicts: 539000 | #Constraints: 99113
530.82/532.23 c #Conflicts: 540000 | #Constraints: 100113
530.82/532.23 c #Conflicts: 541000 | #Constraints: 101113
530.82/532.23 c INPROCESSING
530.82/532.23 c GARBAGE COLLECT
530.82/532.23 c #Conflicts: 542000 | #Constraints: 80833
530.82/532.23 c #Conflicts: 543000 | #Constraints: 81833
530.82/532.23 c #Conflicts: 544000 | #Constraints: 82833
530.82/532.23 c #Conflicts: 545000 | #Constraints: 83833
530.82/532.23 c #Conflicts: 546000 | #Constraints: 84833
530.82/532.23 c #Conflicts: 547000 | #Constraints: 85833
530.82/532.23 c #Conflicts: 548000 | #Constraints: 86833
530.82/532.23 c #Conflicts: 549000 | #Constraints: 87833
530.82/532.23 c #Conflicts: 550000 | #Constraints: 88833
530.82/532.23 c #Conflicts: 551000 | #Constraints: 89833
530.82/532.23 c #Conflicts: 552000 | #Constraints: 90833
530.82/532.23 c #Conflicts: 553000 | #Constraints: 91833
530.82/532.23 c #Conflicts: 554000 | #Constraints: 92833
530.82/532.23 c #Conflicts: 555000 | #Constraints: 93833
530.82/532.23 c #Conflicts: 556000 | #Constraints: 94833
530.82/532.23 c #Conflicts: 557000 | #Constraints: 95833
530.82/532.23 c #Conflicts: 558000 | #Constraints: 96833
530.82/532.23 c INPROCESSING
530.82/532.23 c GARBAGE COLLECT
530.82/532.23 c #Conflicts: 559000 | #Constraints: 78483
530.82/532.23 c #Conflicts: 560000 | #Constraints: 79483
530.82/532.23 c #Conflicts: 561000 | #Constraints: 80483
530.82/532.23 c #Conflicts: 562000 | #Constraints: 81483
530.82/532.23 c #Conflicts: 563000 | #Constraints: 82483
530.82/532.23 c #Conflicts: 564000 | #Constraints: 83483
530.82/532.23 c #Conflicts: 565000 | #Constraints: 84483
530.82/532.23 c #Conflicts: 566000 | #Constraints: 85483
530.82/532.23 c #Conflicts: 567000 | #Constraints: 86483
530.82/532.23 c #Conflicts: 568000 | #Constraints: 87483
530.82/532.23 c #Conflicts: 569000 | #Constraints: 88483
530.82/532.23 c #Conflicts: 570000 | #Constraints: 89483
530.82/532.23 c #Conflicts: 571000 | #Constraints: 90483
530.82/532.23 c #Conflicts: 572000 | #Constraints: 91483
530.82/532.23 c #Conflicts: 573000 | #Constraints: 92483
530.82/532.23 c #Conflicts: 574000 | #Constraints: 93483
530.82/532.23 c #Conflicts: 575000 | #Constraints: 94483
530.82/532.23 c #Conflicts: 576000 | #Constraints: 95483
530.82/532.23 c INPROCESSING
530.82/532.23 c GARBAGE COLLECT
530.82/532.23 c #Conflicts: 577000 | #Constraints: 78038
530.82/532.23 c #Conflicts: 578000 | #Constraints: 79038
530.82/532.23 c #Conflicts: 579000 | #Constraints: 80038
530.82/532.23 c #Conflicts: 580000 | #Constraints: 81038
530.82/532.23 c #Conflicts: 581000 | #Constraints: 82038
530.82/532.23 c #Conflicts: 582000 | #Constraints: 83038
530.82/532.23 c #Conflicts: 583000 | #Constraints: 84038
530.82/532.23 c #Conflicts: 584000 | #Constraints: 85038
530.82/532.23 c #Conflicts: 585000 | #Constraints: 86038
530.82/532.23 c #Conflicts: 586000 | #Constraints: 87038
530.82/532.23 c #Conflicts: 587000 | #Constraints: 88038
530.82/532.23 c #Conflicts: 588000 | #Constraints: 89038
530.82/532.23 c #Conflicts: 589000 | #Constraints: 90038
530.82/532.23 c #Conflicts: 590000 | #Constraints: 91038
530.82/532.23 c #Conflicts: 591000 | #Constraints: 92038
530.82/532.23 c #Conflicts: 592000 | #Constraints: 93038
530.82/532.23 c #Conflicts: 593000 | #Constraints: 94038
530.82/532.23 c #Conflicts: 594000 | #Constraints: 95038
530.82/532.23 c INPROCESSING
530.82/532.23 c GARBAGE COLLECT
666.97/668.79 c #Conflicts: 595000 | #Constraints: 77884
666.97/668.79 c #Conflicts: 596000 | #Constraints: 78884
666.97/668.79 c #Conflicts: 597000 | #Constraints: 79884
666.97/668.79 c #Conflicts: 598000 | #Constraints: 80884
666.97/668.79 c #Conflicts: 599000 | #Constraints: 81884
666.97/668.79 c #Conflicts: 600000 | #Constraints: 82884
666.97/668.79 c #Conflicts: 601000 | #Constraints: 83884
666.97/668.79 c #Conflicts: 602000 | #Constraints: 84884
666.97/668.79 c #Conflicts: 603000 | #Constraints: 85884
666.97/668.79 c #Conflicts: 604000 | #Constraints: 86884
666.97/668.79 c #Conflicts: 605000 | #Constraints: 87884
666.97/668.79 c #Conflicts: 606000 | #Constraints: 88884
666.97/668.79 c #Conflicts: 607000 | #Constraints: 89884
666.97/668.79 c #Conflicts: 608000 | #Constraints: 90884
666.97/668.79 c #Conflicts: 609000 | #Constraints: 91884
666.97/668.79 c #Conflicts: 610000 | #Constraints: 92884
666.97/668.79 c #Conflicts: 611000 | #Constraints: 93884
666.97/668.79 c #Conflicts: 612000 | #Constraints: 94884
666.97/668.79 c #Conflicts: 613000 | #Constraints: 95884
666.97/668.79 c #Conflicts: 614000 | #Constraints: 96884
666.97/668.79 c #Conflicts: 615000 | #Constraints: 97884
666.97/668.79 c #Conflicts: 616000 | #Constraints: 98884
666.97/668.79 c #Conflicts: 617000 | #Constraints: 99884
666.97/668.79 c #Conflicts: 618000 | #Constraints: 100884
666.97/668.79 c #Conflicts: 619000 | #Constraints: 101884
666.97/668.79 c #Conflicts: 620000 | #Constraints: 102884
666.97/668.79 c #Conflicts: 621000 | #Constraints: 103884
666.97/668.79 c #Conflicts: 622000 | #Constraints: 104884
666.97/668.79 c #Conflicts: 623000 | #Constraints: 105884
666.97/668.79 c #Conflicts: 624000 | #Constraints: 106884
666.97/668.79 c #Conflicts: 625000 | #Constraints: 107884
666.97/668.79 c #Conflicts: 626000 | #Constraints: 108884
666.97/668.79 c #Conflicts: 627000 | #Constraints: 109884
666.97/668.79 c #Conflicts: 628000 | #Constraints: 110884
666.97/668.79 c #Conflicts: 629000 | #Constraints: 111884
666.97/668.79 c #Conflicts: 630000 | #Constraints: 112884
666.97/668.79 c #Conflicts: 631000 | #Constraints: 113884
666.97/668.79 c #Conflicts: 632000 | #Constraints: 114884
666.97/668.79 c #Conflicts: 633000 | #Constraints: 115884
666.97/668.79 c #Conflicts: 634000 | #Constraints: 116884
666.97/668.79 c #Conflicts: 635000 | #Constraints: 117884
666.97/668.79 c #Conflicts: 636000 | #Constraints: 118884
666.97/668.79 c #Conflicts: 637000 | #Constraints: 119884
666.97/668.79 c #Conflicts: 638000 | #Constraints: 120884
666.97/668.79 c #Conflicts: 639000 | #Constraints: 121884
666.97/668.79 c #Conflicts: 640000 | #Constraints: 122884
666.97/668.79 c #Conflicts: 641000 | #Constraints: 123884
666.97/668.79 c #Conflicts: 642000 | #Constraints: 124884
666.97/668.79 c #Conflicts: 643000 | #Constraints: 125884
666.97/668.79 c #Conflicts: 644000 | #Constraints: 126884
666.97/668.79 c #Conflicts: 645000 | #Constraints: 127884
666.97/668.79 c #Conflicts: 646000 | #Constraints: 128884
666.97/668.79 c #Conflicts: 647000 | #Constraints: 129884
666.97/668.79 c #Conflicts: 648000 | #Constraints: 130884
666.97/668.79 c #Conflicts: 649000 | #Constraints: 131884
666.97/668.79 c #Conflicts: 650000 | #Constraints: 132884
666.97/668.79 c #Conflicts: 651000 | #Constraints: 133884
666.97/668.79 c #Conflicts: 652000 | #Constraints: 134884
666.97/668.79 c INPROCESSING
666.97/668.79 c GARBAGE COLLECT
666.97/668.79 c #Conflicts: 653000 | #Constraints: 97544
666.97/668.79 c #Conflicts: 654000 | #Constraints: 98544
666.97/668.79 c #Conflicts: 655000 | #Constraints: 99544
666.97/668.79 c #Conflicts: 656000 | #Constraints: 100544
666.97/668.79 c #Conflicts: 657000 | #Constraints: 101544
666.97/668.79 c #Conflicts: 658000 | #Constraints: 102544
666.97/668.79 c #Conflicts: 659000 | #Constraints: 103544
666.97/668.79 c #Conflicts: 660000 | #Constraints: 104544
666.97/668.79 c #Conflicts: 661000 | #Constraints: 105544
666.97/668.79 c #Conflicts: 662000 | #Constraints: 106544
666.97/668.79 c #Conflicts: 663000 | #Constraints: 107544
666.97/668.79 c #Conflicts: 664000 | #Constraints: 108544
666.97/668.79 c #Conflicts: 665000 | #Constraints: 109544
666.97/668.79 c #Conflicts: 666000 | #Constraints: 110544
666.97/668.79 c #Conflicts: 667000 | #Constraints: 111544
666.97/668.79 c #Conflicts: 668000 | #Constraints: 112544
666.97/668.79 c #Conflicts: 669000 | #Constraints: 113544
666.97/668.79 c #Conflicts: 670000 | #Constraints: 114544
666.97/668.79 c #Conflicts: 671000 | #Constraints: 115544
666.97/668.79 c INPROCESSING
666.97/668.79 c GARBAGE COLLECT
666.97/668.79 c #Conflicts: 672000 | #Constraints: 87842
754.96/756.98 c #Conflicts: 673000 | #Constraints: 88842
754.96/756.98 c #Conflicts: 674000 | #Constraints: 89842
754.96/756.98 c #Conflicts: 675000 | #Constraints: 90842
754.96/756.98 c #Conflicts: 676000 | #Constraints: 91842
754.96/756.98 c #Conflicts: 677000 | #Constraints: 92842
754.96/756.98 c #Conflicts: 678000 | #Constraints: 93842
754.96/756.98 c #Conflicts: 679000 | #Constraints: 94842
754.96/756.98 c #Conflicts: 680000 | #Constraints: 95842
754.96/756.98 c #Conflicts: 681000 | #Constraints: 96842
754.96/756.98 c #Conflicts: 682000 | #Constraints: 97842
754.96/756.98 c #Conflicts: 683000 | #Constraints: 98842
754.96/756.98 c #Conflicts: 684000 | #Constraints: 99842
754.96/756.98 c #Conflicts: 685000 | #Constraints: 100842
754.96/756.98 c #Conflicts: 686000 | #Constraints: 101842
754.96/756.98 c #Conflicts: 687000 | #Constraints: 102842
754.96/756.98 c #Conflicts: 688000 | #Constraints: 103842
754.96/756.98 c #Conflicts: 689000 | #Constraints: 104842
754.96/756.98 c #Conflicts: 690000 | #Constraints: 105842
754.96/756.98 c INPROCESSING
754.96/756.98 c GARBAGE COLLECT
754.96/756.98 c #Conflicts: 691000 | #Constraints: 82828
754.96/756.98 c #Conflicts: 692000 | #Constraints: 83828
754.96/756.98 c #Conflicts: 693000 | #Constraints: 84828
754.96/756.98 c #Conflicts: 694000 | #Constraints: 85828
754.96/756.98 c #Conflicts: 695000 | #Constraints: 86828
754.96/756.98 c #Conflicts: 696000 | #Constraints: 87828
754.96/756.98 c #Conflicts: 697000 | #Constraints: 88828
754.96/756.98 c #Conflicts: 698000 | #Constraints: 89828
754.96/756.98 c #Conflicts: 699000 | #Constraints: 90828
754.96/756.98 c #Conflicts: 700000 | #Constraints: 91828
754.96/756.98 c #Conflicts: 701000 | #Constraints: 92828
754.96/756.98 c #Conflicts: 702000 | #Constraints: 93828
754.96/756.98 c #Conflicts: 703000 | #Constraints: 94828
754.96/756.98 c #Conflicts: 704000 | #Constraints: 95828
754.96/756.98 c #Conflicts: 705000 | #Constraints: 96828
754.96/756.98 c #Conflicts: 706000 | #Constraints: 97828
754.96/756.98 c #Conflicts: 707000 | #Constraints: 98828
754.96/756.98 c #Conflicts: 708000 | #Constraints: 99828
754.96/756.98 c #Conflicts: 709000 | #Constraints: 100828
754.96/756.98 c #Conflicts: 710000 | #Constraints: 101828
754.96/756.98 c INPROCESSING
754.96/756.98 c GARBAGE COLLECT
754.96/756.98 c #Conflicts: 711000 | #Constraints: 81082
754.96/756.98 c #Conflicts: 712000 | #Constraints: 82082
754.96/756.98 c #Conflicts: 713000 | #Constraints: 83082
754.96/756.98 c #Conflicts: 714000 | #Constraints: 84082
754.96/756.98 c #Conflicts: 715000 | #Constraints: 85082
754.96/756.98 c #Conflicts: 716000 | #Constraints: 86082
754.96/756.98 c #Conflicts: 717000 | #Constraints: 87082
754.96/756.98 c #Conflicts: 718000 | #Constraints: 88082
754.96/756.98 c #Conflicts: 719000 | #Constraints: 89082
754.96/756.98 c #Conflicts: 720000 | #Constraints: 90082
754.96/756.98 c #Conflicts: 721000 | #Constraints: 91082
754.96/756.98 c #Conflicts: 722000 | #Constraints: 92082
754.96/756.98 c #Conflicts: 723000 | #Constraints: 93082
754.96/756.98 c #Conflicts: 724000 | #Constraints: 94082
754.96/756.98 c #Conflicts: 725000 | #Constraints: 95082
754.96/756.98 c #Conflicts: 726000 | #Constraints: 96082
754.96/756.98 c #Conflicts: 727000 | #Constraints: 97082
754.96/756.98 c #Conflicts: 728000 | #Constraints: 98082
754.96/756.98 c #Conflicts: 729000 | #Constraints: 99082
754.96/756.98 c #Conflicts: 730000 | #Constraints: 100082
754.96/756.98 c INPROCESSING
754.96/756.98 c GARBAGE COLLECT
754.96/756.98 c #Conflicts: 731000 | #Constraints: 80360
754.96/756.98 c #Conflicts: 732000 | #Constraints: 81360
754.96/756.98 c #Conflicts: 733000 | #Constraints: 82360
754.96/756.98 c #Conflicts: 734000 | #Constraints: 83360
754.96/756.98 c #Conflicts: 735000 | #Constraints: 84360
754.96/756.98 c #Conflicts: 736000 | #Constraints: 85360
754.96/756.98 c #Conflicts: 737000 | #Constraints: 86360
754.96/756.98 c #Conflicts: 738000 | #Constraints: 87360
754.96/756.98 c #Conflicts: 739000 | #Constraints: 88360
754.96/756.98 c #Conflicts: 740000 | #Constraints: 89360
754.96/756.98 c #Conflicts: 741000 | #Constraints: 90360
754.96/756.98 c #Conflicts: 742000 | #Constraints: 91360
754.96/756.98 c #Conflicts: 743000 | #Constraints: 92360
754.96/756.98 c #Conflicts: 744000 | #Constraints: 93360
754.96/756.98 c #Conflicts: 745000 | #Constraints: 94360
754.96/756.98 c #Conflicts: 746000 | #Constraints: 95360
754.96/756.98 c #Conflicts: 747000 | #Constraints: 96360
754.96/756.98 c #Conflicts: 748000 | #Constraints: 97360
754.96/756.98 c #Conflicts: 749000 | #Constraints: 98360
904.58/906.97 c #Conflicts: 750000 | #Constraints: 99360
904.58/906.97 c INPROCESSING
904.58/906.97 c GARBAGE COLLECT
904.58/906.97 c #Conflicts: 751000 | #Constraints: 80042
904.58/906.97 c #Conflicts: 752000 | #Constraints: 81042
904.58/906.97 c #Conflicts: 753000 | #Constraints: 82042
904.58/906.97 c #Conflicts: 754000 | #Constraints: 83042
904.58/906.97 c #Conflicts: 755000 | #Constraints: 84042
904.58/906.97 c #Conflicts: 756000 | #Constraints: 85042
904.58/906.97 c #Conflicts: 757000 | #Constraints: 86042
904.58/906.97 c #Conflicts: 758000 | #Constraints: 87042
904.58/906.97 c #Conflicts: 759000 | #Constraints: 88042
904.58/906.97 c #Conflicts: 760000 | #Constraints: 89042
904.58/906.97 c #Conflicts: 761000 | #Constraints: 90042
904.58/906.97 c #Conflicts: 762000 | #Constraints: 91042
904.58/906.97 c #Conflicts: 763000 | #Constraints: 92042
904.58/906.97 c #Conflicts: 764000 | #Constraints: 93042
904.58/906.97 c #Conflicts: 765000 | #Constraints: 94042
904.58/906.97 c #Conflicts: 766000 | #Constraints: 95042
904.58/906.97 c #Conflicts: 767000 | #Constraints: 96042
904.58/906.97 c #Conflicts: 768000 | #Constraints: 97042
904.58/906.97 c #Conflicts: 769000 | #Constraints: 98042
904.58/906.97 c #Conflicts: 770000 | #Constraints: 99042
904.58/906.97 c #Conflicts: 771000 | #Constraints: 100042
904.58/906.97 c #Conflicts: 772000 | #Constraints: 101042
904.58/906.97 c #Conflicts: 773000 | #Constraints: 102042
904.58/906.97 c #Conflicts: 774000 | #Constraints: 103042
904.58/906.97 c #Conflicts: 775000 | #Constraints: 104042
904.58/906.97 c #Conflicts: 776000 | #Constraints: 105042
904.58/906.97 c #Conflicts: 777000 | #Constraints: 106042
904.58/906.97 c #Conflicts: 778000 | #Constraints: 107042
904.58/906.97 c #Conflicts: 779000 | #Constraints: 108042
904.58/906.97 c #Conflicts: 780000 | #Constraints: 109042
904.58/906.97 c #Conflicts: 781000 | #Constraints: 110042
904.58/906.97 c #Conflicts: 782000 | #Constraints: 111042
904.58/906.97 c #Conflicts: 783000 | #Constraints: 112042
904.58/906.97 c #Conflicts: 784000 | #Constraints: 113042
904.58/906.97 c #Conflicts: 785000 | #Constraints: 114042
904.58/906.97 c #Conflicts: 786000 | #Constraints: 115042
904.58/906.97 c #Conflicts: 787000 | #Constraints: 116042
904.58/906.97 c #Conflicts: 788000 | #Constraints: 117042
904.58/906.97 c #Conflicts: 789000 | #Constraints: 118042
904.58/906.97 c #Conflicts: 790000 | #Constraints: 119042
904.58/906.97 c #Conflicts: 791000 | #Constraints: 120042
904.58/906.97 c #Conflicts: 792000 | #Constraints: 121042
904.58/906.97 c #Conflicts: 793000 | #Constraints: 122042
904.58/906.97 c #Conflicts: 794000 | #Constraints: 123042
904.58/906.97 c #Conflicts: 795000 | #Constraints: 124042
904.58/906.97 c #Conflicts: 796000 | #Constraints: 125042
904.58/906.97 c #Conflicts: 797000 | #Constraints: 126042
904.58/906.97 c #Conflicts: 798000 | #Constraints: 127042
904.58/906.97 c #Conflicts: 799000 | #Constraints: 128042
904.58/906.97 c #Conflicts: 800000 | #Constraints: 129042
904.58/906.97 c #Conflicts: 801000 | #Constraints: 130042
904.58/906.97 c #Conflicts: 802000 | #Constraints: 131042
904.58/906.97 c #Conflicts: 803000 | #Constraints: 132042
904.58/906.97 c #Conflicts: 804000 | #Constraints: 133042
904.58/906.97 c #Conflicts: 805000 | #Constraints: 134042
904.58/906.97 c #Conflicts: 806000 | #Constraints: 135042
904.58/906.97 c #Conflicts: 807000 | #Constraints: 136042
904.58/906.97 c #Conflicts: 808000 | #Constraints: 137042
904.58/906.97 c #Conflicts: 809000 | #Constraints: 138042
904.58/906.97 c #Conflicts: 810000 | #Constraints: 139042
904.58/906.97 c #Conflicts: 811000 | #Constraints: 140042
904.58/906.97 c #Conflicts: 812000 | #Constraints: 141042
904.58/906.97 c #Conflicts: 813000 | #Constraints: 142042
904.58/906.97 c #Conflicts: 814000 | #Constraints: 143042
904.58/906.97 c #Conflicts: 815000 | #Constraints: 144042
904.58/906.97 c #Conflicts: 816000 | #Constraints: 145042
904.58/906.97 c INPROCESSING
904.58/906.97 c GARBAGE COLLECT
904.58/906.97 c #Conflicts: 817000 | #Constraints: 102877
904.58/906.97 c #Conflicts: 818000 | #Constraints: 103877
904.58/906.97 c #Conflicts: 819000 | #Constraints: 104877
904.58/906.97 c #Conflicts: 820000 | #Constraints: 105877
904.58/906.97 c #Conflicts: 821000 | #Constraints: 106877
904.58/906.97 c #Conflicts: 822000 | #Constraints: 107877
904.58/906.97 c #Conflicts: 823000 | #Constraints: 108877
904.58/906.97 c #Conflicts: 824000 | #Constraints: 109877
904.58/906.97 c #Conflicts: 825000 | #Constraints: 110877
904.58/906.97 c #Conflicts: 826000 | #Constraints: 111877
1027.57/1030.26 c #Conflicts: 827000 | #Constraints: 112877
1027.57/1030.26 c #Conflicts: 828000 | #Constraints: 113877
1027.57/1030.26 c #Conflicts: 829000 | #Constraints: 114877
1027.57/1030.26 c #Conflicts: 830000 | #Constraints: 115877
1027.57/1030.26 c #Conflicts: 831000 | #Constraints: 116877
1027.57/1030.26 c #Conflicts: 832000 | #Constraints: 117877
1027.57/1030.26 c #Conflicts: 833000 | #Constraints: 118877
1027.57/1030.26 c #Conflicts: 834000 | #Constraints: 119877
1027.57/1030.26 c #Conflicts: 835000 | #Constraints: 120877
1027.57/1030.26 c #Conflicts: 836000 | #Constraints: 121877
1027.57/1030.26 c #Conflicts: 837000 | #Constraints: 122877
1027.57/1030.26 c INPROCESSING
1027.57/1030.26 c GARBAGE COLLECT
1027.57/1030.26 c #Conflicts: 838000 | #Constraints: 91728
1027.57/1030.26 c #Conflicts: 839000 | #Constraints: 92728
1027.57/1030.26 c #Conflicts: 840000 | #Constraints: 93728
1027.57/1030.26 c #Conflicts: 841000 | #Constraints: 94728
1027.57/1030.26 c #Conflicts: 842000 | #Constraints: 95728
1027.57/1030.26 c #Conflicts: 843000 | #Constraints: 96728
1027.57/1030.26 c #Conflicts: 844000 | #Constraints: 97728
1027.57/1030.26 c #Conflicts: 845000 | #Constraints: 98728
1027.57/1030.26 c #Conflicts: 846000 | #Constraints: 99728
1027.57/1030.26 c #Conflicts: 847000 | #Constraints: 100728
1027.57/1030.26 c #Conflicts: 848000 | #Constraints: 101728
1027.57/1030.26 c #Conflicts: 849000 | #Constraints: 102728
1027.57/1030.26 c #Conflicts: 850000 | #Constraints: 103728
1027.57/1030.26 c #Conflicts: 851000 | #Constraints: 104728
1027.57/1030.26 c #Conflicts: 852000 | #Constraints: 105728
1027.57/1030.26 c #Conflicts: 853000 | #Constraints: 106728
1027.57/1030.26 c #Conflicts: 854000 | #Constraints: 107728
1027.57/1030.26 c #Conflicts: 855000 | #Constraints: 108728
1027.57/1030.26 c #Conflicts: 856000 | #Constraints: 109728
1027.57/1030.26 c #Conflicts: 857000 | #Constraints: 110728
1027.57/1030.26 c #Conflicts: 858000 | #Constraints: 111728
1027.57/1030.26 c INPROCESSING
1027.57/1030.26 c GARBAGE COLLECT
1027.57/1030.26 c #Conflicts: 859000 | #Constraints: 85934
1027.57/1030.26 c #Conflicts: 860000 | #Constraints: 86934
1027.57/1030.26 c #Conflicts: 861000 | #Constraints: 87934
1027.57/1030.26 c #Conflicts: 862000 | #Constraints: 88934
1027.57/1030.26 c #Conflicts: 863000 | #Constraints: 89934
1027.57/1030.26 c #Conflicts: 864000 | #Constraints: 90934
1027.57/1030.26 c #Conflicts: 865000 | #Constraints: 91934
1027.57/1030.26 c #Conflicts: 866000 | #Constraints: 92934
1027.57/1030.26 c #Conflicts: 867000 | #Constraints: 93934
1027.57/1030.26 c #Conflicts: 868000 | #Constraints: 94934
1027.57/1030.26 c #Conflicts: 869000 | #Constraints: 95934
1027.57/1030.26 c #Conflicts: 870000 | #Constraints: 96934
1027.57/1030.26 c #Conflicts: 871000 | #Constraints: 97934
1027.57/1030.26 c #Conflicts: 872000 | #Constraints: 98934
1027.57/1030.26 c #Conflicts: 873000 | #Constraints: 99934
1027.57/1030.26 c #Conflicts: 874000 | #Constraints: 100934
1027.57/1030.26 c #Conflicts: 875000 | #Constraints: 101934
1027.57/1030.26 c #Conflicts: 876000 | #Constraints: 102934
1027.57/1030.26 c #Conflicts: 877000 | #Constraints: 103934
1027.57/1030.26 c #Conflicts: 878000 | #Constraints: 104934
1027.57/1030.26 c #Conflicts: 879000 | #Constraints: 105934
1027.57/1030.26 c #Conflicts: 880000 | #Constraints: 106934
1027.57/1030.26 c INPROCESSING
1027.57/1030.26 c GARBAGE COLLECT
1027.57/1030.26 c #Conflicts: 881000 | #Constraints: 83735
1027.57/1030.26 c #Conflicts: 882000 | #Constraints: 84735
1027.57/1030.26 c #Conflicts: 883000 | #Constraints: 85735
1027.57/1030.26 c #Conflicts: 884000 | #Constraints: 86735
1027.57/1030.26 c #Conflicts: 885000 | #Constraints: 87735
1027.57/1030.26 c #Conflicts: 886000 | #Constraints: 88735
1027.57/1030.26 c #Conflicts: 887000 | #Constraints: 89735
1027.57/1030.26 c #Conflicts: 888000 | #Constraints: 90735
1027.57/1030.26 c #Conflicts: 889000 | #Constraints: 91735
1027.57/1030.26 c #Conflicts: 890000 | #Constraints: 92735
1027.57/1030.26 c #Conflicts: 891000 | #Constraints: 93735
1027.57/1030.26 c #Conflicts: 892000 | #Constraints: 94735
1027.57/1030.26 c #Conflicts: 893000 | #Constraints: 95735
1027.57/1030.26 c #Conflicts: 894000 | #Constraints: 96735
1027.57/1030.26 c #Conflicts: 895000 | #Constraints: 97735
1027.57/1030.26 c #Conflicts: 896000 | #Constraints: 98735
1027.57/1030.26 c #Conflicts: 897000 | #Constraints: 99735
1027.57/1030.26 c #Conflicts: 898000 | #Constraints: 100735
1027.57/1030.26 c #Conflicts: 899000 | #Constraints: 101735
1027.57/1030.26 c #Conflicts: 900000 | #Constraints: 102735
1027.57/1030.26 c #Conflicts: 901000 | #Constraints: 103735
1027.57/1030.26 c #Conflicts: 902000 | #Constraints: 104735
1027.57/1030.26 c INPROCESSING
1027.57/1030.26 c GARBAGE COLLECT
1153.16/1156.18 c #Conflicts: 903000 | #Constraints: 82724
1153.16/1156.18 c #Conflicts: 904000 | #Constraints: 83724
1153.16/1156.18 c #Conflicts: 905000 | #Constraints: 84724
1153.16/1156.18 c #Conflicts: 906000 | #Constraints: 85724
1153.16/1156.18 c #Conflicts: 907000 | #Constraints: 86724
1153.16/1156.18 c #Conflicts: 908000 | #Constraints: 87724
1153.16/1156.18 c #Conflicts: 909000 | #Constraints: 88724
1153.16/1156.18 c #Conflicts: 910000 | #Constraints: 89724
1153.16/1156.18 c #Conflicts: 911000 | #Constraints: 90724
1153.16/1156.18 c #Conflicts: 912000 | #Constraints: 91724
1153.16/1156.18 c #Conflicts: 913000 | #Constraints: 92724
1153.16/1156.18 c #Conflicts: 914000 | #Constraints: 93724
1153.16/1156.18 c #Conflicts: 915000 | #Constraints: 94724
1153.16/1156.18 c #Conflicts: 916000 | #Constraints: 95724
1153.16/1156.18 c #Conflicts: 917000 | #Constraints: 96724
1153.16/1156.18 c #Conflicts: 918000 | #Constraints: 97724
1153.16/1156.18 c #Conflicts: 919000 | #Constraints: 98724
1153.16/1156.18 c #Conflicts: 920000 | #Constraints: 99724
1153.16/1156.18 c #Conflicts: 921000 | #Constraints: 100724
1153.16/1156.18 c #Conflicts: 922000 | #Constraints: 101724
1153.16/1156.18 c #Conflicts: 923000 | #Constraints: 102724
1153.16/1156.18 c #Conflicts: 924000 | #Constraints: 103724
1153.16/1156.18 c INPROCESSING
1153.16/1156.18 c GARBAGE COLLECT
1153.16/1156.18 c #Conflicts: 925000 | #Constraints: 82238
1153.16/1156.18 c #Conflicts: 926000 | #Constraints: 83238
1153.16/1156.18 c #Conflicts: 927000 | #Constraints: 84238
1153.16/1156.18 c #Conflicts: 928000 | #Constraints: 85238
1153.16/1156.18 c #Conflicts: 929000 | #Constraints: 86238
1153.16/1156.18 c #Conflicts: 930000 | #Constraints: 87238
1153.16/1156.18 c #Conflicts: 931000 | #Constraints: 88238
1153.16/1156.18 c #Conflicts: 932000 | #Constraints: 89238
1153.16/1156.18 c #Conflicts: 933000 | #Constraints: 90238
1153.16/1156.18 c #Conflicts: 934000 | #Constraints: 91238
1153.16/1156.18 c #Conflicts: 935000 | #Constraints: 92238
1153.16/1156.18 c #Conflicts: 936000 | #Constraints: 93238
1153.16/1156.18 c #Conflicts: 937000 | #Constraints: 94238
1153.16/1156.18 c #Conflicts: 938000 | #Constraints: 95238
1153.16/1156.18 c #Conflicts: 939000 | #Constraints: 96238
1153.16/1156.18 c #Conflicts: 940000 | #Constraints: 97238
1153.16/1156.18 c #Conflicts: 941000 | #Constraints: 98238
1153.16/1156.18 c #Conflicts: 942000 | #Constraints: 99238
1153.16/1156.18 c #Conflicts: 943000 | #Constraints: 100238
1153.16/1156.18 c #Conflicts: 944000 | #Constraints: 101238
1153.16/1156.18 c #Conflicts: 945000 | #Constraints: 102238
1153.16/1156.18 c #Conflicts: 946000 | #Constraints: 103238
1153.16/1156.18 c #Conflicts: 947000 | #Constraints: 104238
1153.16/1156.18 c #Conflicts: 948000 | #Constraints: 105238
1153.16/1156.18 c #Conflicts: 949000 | #Constraints: 106238
1153.16/1156.18 c #Conflicts: 950000 | #Constraints: 107238
1153.16/1156.18 c #Conflicts: 951000 | #Constraints: 108238
1153.16/1156.18 c #Conflicts: 952000 | #Constraints: 109238
1153.16/1156.18 c #Conflicts: 953000 | #Constraints: 110238
1153.16/1156.18 c #Conflicts: 954000 | #Constraints: 111238
1153.16/1156.18 c #Conflicts: 955000 | #Constraints: 112238
1153.16/1156.18 c #Conflicts: 956000 | #Constraints: 113238
1153.16/1156.18 c #Conflicts: 957000 | #Constraints: 114238
1153.16/1156.18 c #Conflicts: 958000 | #Constraints: 115238
1153.16/1156.18 c #Conflicts: 959000 | #Constraints: 116238
1153.16/1156.18 c #Conflicts: 960000 | #Constraints: 117238
1153.16/1156.18 c #Conflicts: 961000 | #Constraints: 118238
1153.16/1156.18 c #Conflicts: 962000 | #Constraints: 119238
1153.16/1156.18 c #Conflicts: 963000 | #Constraints: 120238
1153.16/1156.18 c #Conflicts: 964000 | #Constraints: 121238
1153.16/1156.18 c #Conflicts: 965000 | #Constraints: 122238
1153.16/1156.18 c #Conflicts: 966000 | #Constraints: 123238
1153.16/1156.18 c #Conflicts: 967000 | #Constraints: 124238
1153.16/1156.18 c #Conflicts: 968000 | #Constraints: 125238
1153.16/1156.18 c #Conflicts: 969000 | #Constraints: 126238
1153.16/1156.18 c #Conflicts: 970000 | #Constraints: 127238
1153.16/1156.18 c #Conflicts: 971000 | #Constraints: 128238
1153.16/1156.18 c #Conflicts: 972000 | #Constraints: 129238
1153.16/1156.18 c #Conflicts: 973000 | #Constraints: 130238
1153.16/1156.18 c #Conflicts: 974000 | #Constraints: 131238
1153.16/1156.18 c #Conflicts: 975000 | #Constraints: 132238
1153.16/1156.18 c #Conflicts: 976000 | #Constraints: 133238
1153.16/1156.18 c #Conflicts: 977000 | #Constraints: 134238
1153.16/1156.18 c #Conflicts: 978000 | #Constraints: 135238
1153.16/1156.18 c #Conflicts: 979000 | #Constraints: 136238
1153.16/1156.18 c #Conflicts: 980000 | #Constraints: 137238
1153.16/1156.18 c #Conflicts: 981000 | #Constraints: 138238
1332.71/1336.18 c #Conflicts: 982000 | #Constraints: 139238
1332.71/1336.18 c #Conflicts: 983000 | #Constraints: 140238
1332.71/1336.18 c #Conflicts: 984000 | #Constraints: 141238
1332.71/1336.18 c #Conflicts: 985000 | #Constraints: 142238
1332.71/1336.18 c #Conflicts: 986000 | #Constraints: 143238
1332.71/1336.18 c #Conflicts: 987000 | #Constraints: 144238
1332.71/1336.18 c #Conflicts: 988000 | #Constraints: 145238
1332.71/1336.18 c #Conflicts: 989000 | #Constraints: 146238
1332.71/1336.18 c #Conflicts: 990000 | #Constraints: 147238
1332.71/1336.18 c #Conflicts: 991000 | #Constraints: 148238
1332.71/1336.18 c #Conflicts: 992000 | #Constraints: 149238
1332.71/1336.18 c #Conflicts: 993000 | #Constraints: 150238
1332.71/1336.18 c #Conflicts: 994000 | #Constraints: 151238
1332.71/1336.18 c #Conflicts: 995000 | #Constraints: 152238
1332.71/1336.18 c #Conflicts: 996000 | #Constraints: 153238
1332.71/1336.18 c #Conflicts: 997000 | #Constraints: 154238
1332.71/1336.18 c INPROCESSING
1332.71/1336.18 c GARBAGE COLLECT
1332.71/1336.18 c #Conflicts: 998000 | #Constraints: 107245
1332.71/1336.18 c #Conflicts: 999000 | #Constraints: 108245
1332.71/1336.18 c #Conflicts: 1000000 | #Constraints: 109245
1332.71/1336.18 c #Conflicts: 1001000 | #Constraints: 110245
1332.71/1336.18 c #Conflicts: 1002000 | #Constraints: 111245
1332.71/1336.18 c #Conflicts: 1003000 | #Constraints: 112245
1332.71/1336.18 c #Conflicts: 1004000 | #Constraints: 113245
1332.71/1336.18 c #Conflicts: 1005000 | #Constraints: 114245
1332.71/1336.18 c #Conflicts: 1006000 | #Constraints: 115245
1332.71/1336.18 c #Conflicts: 1007000 | #Constraints: 116245
1332.71/1336.18 c #Conflicts: 1008000 | #Constraints: 117245
1332.71/1336.18 c #Conflicts: 1009000 | #Constraints: 118245
1332.71/1336.18 c #Conflicts: 1010000 | #Constraints: 119245
1332.71/1336.18 c #Conflicts: 1011000 | #Constraints: 120245
1332.71/1336.18 c #Conflicts: 1012000 | #Constraints: 121245
1332.71/1336.18 c #Conflicts: 1013000 | #Constraints: 122245
1332.71/1336.18 c #Conflicts: 1014000 | #Constraints: 123245
1332.71/1336.18 c #Conflicts: 1015000 | #Constraints: 124245
1332.71/1336.18 c #Conflicts: 1016000 | #Constraints: 125245
1332.71/1336.18 c #Conflicts: 1017000 | #Constraints: 126245
1332.71/1336.18 c #Conflicts: 1018000 | #Constraints: 127245
1332.71/1336.18 c #Conflicts: 1019000 | #Constraints: 128245
1332.71/1336.18 c #Conflicts: 1020000 | #Constraints: 129245
1332.71/1336.18 c INPROCESSING
1332.71/1336.18 c GARBAGE COLLECT
1332.71/1336.18 c #Conflicts: 1021000 | #Constraints: 94610
1332.71/1336.18 c #Conflicts: 1022000 | #Constraints: 95610
1332.71/1336.18 c #Conflicts: 1023000 | #Constraints: 96610
1332.71/1336.18 c #Conflicts: 1024000 | #Constraints: 97610
1332.71/1336.18 c #Conflicts: 1025000 | #Constraints: 98610
1332.71/1336.18 c #Conflicts: 1026000 | #Constraints: 99610
1332.71/1336.18 c #Conflicts: 1027000 | #Constraints: 100610
1332.71/1336.18 c #Conflicts: 1028000 | #Constraints: 101610
1332.71/1336.18 c #Conflicts: 1029000 | #Constraints: 102610
1332.71/1336.18 c #Conflicts: 1030000 | #Constraints: 103610
1332.71/1336.18 c #Conflicts: 1031000 | #Constraints: 104610
1332.71/1336.18 c #Conflicts: 1032000 | #Constraints: 105610
1332.71/1336.18 c #Conflicts: 1033000 | #Constraints: 106610
1332.71/1336.18 c #Conflicts: 1034000 | #Constraints: 107610
1332.71/1336.18 c #Conflicts: 1035000 | #Constraints: 108610
1332.71/1336.18 c #Conflicts: 1036000 | #Constraints: 109610
1332.71/1336.18 c #Conflicts: 1037000 | #Constraints: 110610
1332.71/1336.18 c #Conflicts: 1038000 | #Constraints: 111610
1332.71/1336.18 c #Conflicts: 1039000 | #Constraints: 112610
1332.71/1336.18 c #Conflicts: 1040000 | #Constraints: 113610
1332.71/1336.18 c #Conflicts: 1041000 | #Constraints: 114610
1332.71/1336.18 c #Conflicts: 1042000 | #Constraints: 115610
1332.71/1336.18 c #Conflicts: 1043000 | #Constraints: 116610
1332.71/1336.18 c #Conflicts: 1044000 | #Constraints: 117610
1332.71/1336.18 c INPROCESSING
1332.71/1336.18 c GARBAGE COLLECT
1332.71/1336.18 c #Conflicts: 1045000 | #Constraints: 89020
1332.71/1336.18 c #Conflicts: 1046000 | #Constraints: 90020
1332.71/1336.18 c #Conflicts: 1047000 | #Constraints: 91020
1332.71/1336.18 c #Conflicts: 1048000 | #Constraints: 92020
1332.71/1336.18 c #Conflicts: 1049000 | #Constraints: 93020
1332.71/1336.18 c #Conflicts: 1050000 | #Constraints: 94020
1332.71/1336.18 c #Conflicts: 1051000 | #Constraints: 95020
1332.71/1336.18 c #Conflicts: 1052000 | #Constraints: 96020
1332.71/1336.18 c #Conflicts: 1053000 | #Constraints: 97020
1332.71/1336.18 c #Conflicts: 1054000 | #Constraints: 98020
1332.71/1336.18 c #Conflicts: 1055000 | #Constraints: 99020
1332.71/1336.18 c #Conflicts: 1056000 | #Constraints: 100020
1332.71/1336.18 c #Conflicts: 1057000 | #Constraints: 101020
1430.96/1434.64 c #Conflicts: 1058000 | #Constraints: 102020
1430.96/1434.64 c #Conflicts: 1059000 | #Constraints: 103020
1430.96/1434.64 c #Conflicts: 1060000 | #Constraints: 104020
1430.96/1434.64 c #Conflicts: 1061000 | #Constraints: 105020
1430.96/1434.64 c #Conflicts: 1062000 | #Constraints: 106020
1430.96/1434.64 c #Conflicts: 1063000 | #Constraints: 107020
1430.96/1434.64 c #Conflicts: 1064000 | #Constraints: 108020
1430.96/1434.64 c #Conflicts: 1065000 | #Constraints: 109020
1430.96/1434.64 c #Conflicts: 1066000 | #Constraints: 110020
1430.96/1434.64 c #Conflicts: 1067000 | #Constraints: 111020
1430.96/1434.64 c #Conflicts: 1068000 | #Constraints: 112020
1430.96/1434.64 c INPROCESSING
1430.96/1434.64 c GARBAGE COLLECT
1430.96/1434.64 c #Conflicts: 1069000 | #Constraints: 86390
1430.96/1434.64 c #Conflicts: 1070000 | #Constraints: 87390
1430.96/1434.64 c #Conflicts: 1071000 | #Constraints: 88390
1430.96/1434.64 c #Conflicts: 1072000 | #Constraints: 89390
1430.96/1434.64 c #Conflicts: 1073000 | #Constraints: 90390
1430.96/1434.64 c #Conflicts: 1074000 | #Constraints: 91390
1430.96/1434.64 c #Conflicts: 1075000 | #Constraints: 92390
1430.96/1434.64 c #Conflicts: 1076000 | #Constraints: 93390
1430.96/1434.64 c #Conflicts: 1077000 | #Constraints: 94390
1430.96/1434.64 c #Conflicts: 1078000 | #Constraints: 95390
1430.96/1434.64 c #Conflicts: 1079000 | #Constraints: 96390
1430.96/1434.64 c #Conflicts: 1080000 | #Constraints: 97390
1430.96/1434.64 c #Conflicts: 1081000 | #Constraints: 98390
1430.96/1434.64 c #Conflicts: 1082000 | #Constraints: 99390
1430.96/1434.64 c #Conflicts: 1083000 | #Constraints: 100390
1430.96/1434.64 c #Conflicts: 1084000 | #Constraints: 101390
1430.96/1434.64 c #Conflicts: 1085000 | #Constraints: 102390
1430.96/1434.64 c #Conflicts: 1086000 | #Constraints: 103390
1430.96/1434.64 c #Conflicts: 1087000 | #Constraints: 104390
1430.96/1434.64 c #Conflicts: 1088000 | #Constraints: 105390
1430.96/1434.64 c #Conflicts: 1089000 | #Constraints: 106390
1430.96/1434.64 c #Conflicts: 1090000 | #Constraints: 107390
1430.96/1434.64 c #Conflicts: 1091000 | #Constraints: 108390
1430.96/1434.64 c INPROCESSING
1430.96/1434.64 c GARBAGE COLLECT
1430.96/1434.64 c #Conflicts: 1092000 | #Constraints: 84117
1430.96/1434.64 c #Conflicts: 1093000 | #Constraints: 85117
1430.96/1434.64 c #Conflicts: 1094000 | #Constraints: 86117
1430.96/1434.64 c #Conflicts: 1095000 | #Constraints: 87117
1430.96/1434.64 c #Conflicts: 1096000 | #Constraints: 88117
1430.96/1434.64 c #Conflicts: 1097000 | #Constraints: 89117
1430.96/1434.64 c #Conflicts: 1098000 | #Constraints: 90117
1430.96/1434.64 c #Conflicts: 1099000 | #Constraints: 91117
1430.96/1434.64 c #Conflicts: 1100000 | #Constraints: 92117
1430.96/1434.64 c #Conflicts: 1101000 | #Constraints: 93117
1430.96/1434.64 c #Conflicts: 1102000 | #Constraints: 94117
1430.96/1434.64 c #Conflicts: 1103000 | #Constraints: 95117
1430.96/1434.64 c #Conflicts: 1104000 | #Constraints: 96117
1430.96/1434.64 c #Conflicts: 1105000 | #Constraints: 97117
1430.96/1434.64 c #Conflicts: 1106000 | #Constraints: 98117
1430.96/1434.64 c #Conflicts: 1107000 | #Constraints: 99117
1430.96/1434.64 c #Conflicts: 1108000 | #Constraints: 100117
1430.96/1434.64 c #Conflicts: 1109000 | #Constraints: 101117
1430.96/1434.64 c #Conflicts: 1110000 | #Constraints: 102117
1430.96/1434.64 c #Conflicts: 1111000 | #Constraints: 103117
1430.96/1434.64 c #Conflicts: 1112000 | #Constraints: 104117
1430.96/1434.64 c #Conflicts: 1113000 | #Constraints: 105117
1430.96/1434.64 c #Conflicts: 1114000 | #Constraints: 106117
1430.96/1434.64 c #Conflicts: 1115000 | #Constraints: 107117
1430.96/1434.64 c #Conflicts: 1116000 | #Constraints: 108117
1430.96/1434.64 c INPROCESSING
1430.96/1434.64 c GARBAGE COLLECT
1430.96/1434.64 c #Conflicts: 1117000 | #Constraints: 84415
1430.96/1434.64 c #Conflicts: 1118000 | #Constraints: 85415
1430.96/1434.64 c #Conflicts: 1119000 | #Constraints: 86415
1430.96/1434.64 c #Conflicts: 1120000 | #Constraints: 87415
1430.96/1434.64 c #Conflicts: 1121000 | #Constraints: 88415
1430.96/1434.64 c #Conflicts: 1122000 | #Constraints: 89415
1430.96/1434.64 c #Conflicts: 1123000 | #Constraints: 90415
1430.96/1434.64 c #Conflicts: 1124000 | #Constraints: 91415
1430.96/1434.64 c #Conflicts: 1125000 | #Constraints: 92415
1430.96/1434.64 c #Conflicts: 1126000 | #Constraints: 93415
1430.96/1434.64 c #Conflicts: 1127000 | #Constraints: 94415
1430.96/1434.64 c #Conflicts: 1128000 | #Constraints: 95415
1430.96/1434.64 c #Conflicts: 1129000 | #Constraints: 96415
1430.96/1434.64 c #Conflicts: 1130000 | #Constraints: 97415
1430.96/1434.64 c #Conflicts: 1131000 | #Constraints: 98415
1430.96/1434.64 c #Conflicts: 1132000 | #Constraints: 99415
1430.96/1434.64 c #Conflicts: 1133000 | #Constraints: 100415
1430.96/1434.64 c #Conflicts: 1134000 | #Constraints: 101415
1597.44/1601.57 c #Conflicts: 1135000 | #Constraints: 102415
1597.44/1601.57 c #Conflicts: 1136000 | #Constraints: 103415
1597.44/1601.57 c #Conflicts: 1137000 | #Constraints: 104415
1597.44/1601.57 c #Conflicts: 1138000 | #Constraints: 105415
1597.44/1601.57 c #Conflicts: 1139000 | #Constraints: 106415
1597.44/1601.57 c #Conflicts: 1140000 | #Constraints: 107415
1597.44/1601.57 c INPROCESSING
1597.44/1601.57 c GARBAGE COLLECT
1597.44/1601.57 c #Conflicts: 1141000 | #Constraints: 83930
1597.44/1601.57 c #Conflicts: 1142000 | #Constraints: 84930
1597.44/1601.57 c #Conflicts: 1143000 | #Constraints: 85930
1597.44/1601.57 c #Conflicts: 1144000 | #Constraints: 86930
1597.44/1601.57 c #Conflicts: 1145000 | #Constraints: 87930
1597.44/1601.57 c #Conflicts: 1146000 | #Constraints: 88930
1597.44/1601.57 c #Conflicts: 1147000 | #Constraints: 89930
1597.44/1601.57 c #Conflicts: 1148000 | #Constraints: 90930
1597.44/1601.57 c #Conflicts: 1149000 | #Constraints: 91930
1597.44/1601.57 c #Conflicts: 1150000 | #Constraints: 92930
1597.44/1601.57 c #Conflicts: 1151000 | #Constraints: 93930
1597.44/1601.57 c #Conflicts: 1152000 | #Constraints: 94930
1597.44/1601.57 c #Conflicts: 1153000 | #Constraints: 95930
1597.44/1601.57 c #Conflicts: 1154000 | #Constraints: 96930
1597.44/1601.57 c #Conflicts: 1155000 | #Constraints: 97930
1597.44/1601.57 c #Conflicts: 1156000 | #Constraints: 98930
1597.44/1601.57 c #Conflicts: 1157000 | #Constraints: 99930
1597.44/1601.57 c #Conflicts: 1158000 | #Constraints: 100930
1597.44/1601.57 c #Conflicts: 1159000 | #Constraints: 101930
1597.44/1601.57 c #Conflicts: 1160000 | #Constraints: 102930
1597.44/1601.57 c #Conflicts: 1161000 | #Constraints: 103930
1597.44/1601.57 c #Conflicts: 1162000 | #Constraints: 104930
1597.44/1601.57 c #Conflicts: 1163000 | #Constraints: 105930
1597.44/1601.57 c #Conflicts: 1164000 | #Constraints: 106930
1597.44/1601.57 c #Conflicts: 1165000 | #Constraints: 107930
1597.44/1601.57 c #Conflicts: 1166000 | #Constraints: 108930
1597.44/1601.57 c #Conflicts: 1167000 | #Constraints: 109930
1597.44/1601.57 c #Conflicts: 1168000 | #Constraints: 110930
1597.44/1601.57 c #Conflicts: 1169000 | #Constraints: 111930
1597.44/1601.57 c #Conflicts: 1170000 | #Constraints: 112930
1597.44/1601.57 c #Conflicts: 1171000 | #Constraints: 113930
1597.44/1601.57 c #Conflicts: 1172000 | #Constraints: 114930
1597.44/1601.57 c #Conflicts: 1173000 | #Constraints: 115930
1597.44/1601.57 c #Conflicts: 1174000 | #Constraints: 116930
1597.44/1601.57 c #Conflicts: 1175000 | #Constraints: 117930
1597.44/1601.57 c #Conflicts: 1176000 | #Constraints: 118930
1597.44/1601.57 c #Conflicts: 1177000 | #Constraints: 119930
1597.44/1601.57 c #Conflicts: 1178000 | #Constraints: 120930
1597.44/1601.57 c #Conflicts: 1179000 | #Constraints: 121930
1597.44/1601.57 c #Conflicts: 1180000 | #Constraints: 122930
1597.44/1601.57 c #Conflicts: 1181000 | #Constraints: 123930
1597.44/1601.57 c #Conflicts: 1182000 | #Constraints: 124930
1597.44/1601.57 c #Conflicts: 1183000 | #Constraints: 125930
1597.44/1601.57 c #Conflicts: 1184000 | #Constraints: 126930
1597.44/1601.57 c #Conflicts: 1185000 | #Constraints: 127930
1597.44/1601.57 c #Conflicts: 1186000 | #Constraints: 128930
1597.44/1601.57 c #Conflicts: 1187000 | #Constraints: 129930
1597.44/1601.57 c #Conflicts: 1188000 | #Constraints: 130930
1597.44/1601.57 c #Conflicts: 1189000 | #Constraints: 131930
1597.44/1601.57 c #Conflicts: 1190000 | #Constraints: 132930
1597.44/1601.57 c #Conflicts: 1191000 | #Constraints: 133930
1597.44/1601.57 c #Conflicts: 1192000 | #Constraints: 134930
1597.44/1601.57 c #Conflicts: 1193000 | #Constraints: 135930
1597.44/1601.57 c #Conflicts: 1194000 | #Constraints: 136930
1597.44/1601.57 c #Conflicts: 1195000 | #Constraints: 137930
1597.44/1601.57 c #Conflicts: 1196000 | #Constraints: 138930
1597.44/1601.57 c #Conflicts: 1197000 | #Constraints: 139930
1597.44/1601.57 c #Conflicts: 1198000 | #Constraints: 140930
1597.44/1601.57 c #Conflicts: 1199000 | #Constraints: 141930
1597.44/1601.57 c #Conflicts: 1200000 | #Constraints: 142930
1597.44/1601.57 c #Conflicts: 1201000 | #Constraints: 143930
1597.44/1601.57 c #Conflicts: 1202000 | #Constraints: 144930
1597.44/1601.57 c #Conflicts: 1203000 | #Constraints: 145930
1597.44/1601.57 c #Conflicts: 1204000 | #Constraints: 146930
1597.44/1601.57 c #Conflicts: 1205000 | #Constraints: 147930
1597.44/1601.57 c #Conflicts: 1206000 | #Constraints: 148930
1597.44/1601.57 c #Conflicts: 1207000 | #Constraints: 149930
1597.44/1601.57 c #Conflicts: 1208000 | #Constraints: 150930
1597.44/1601.57 c #Conflicts: 1209000 | #Constraints: 151930
1597.44/1601.57 c #Conflicts: 1210000 | #Constraints: 152930
1597.44/1601.57 c #Conflicts: 1211000 | #Constraints: 153930
1597.44/1601.57 c #Conflicts: 1212000 | #Constraints: 154930
1804.08/1808.72 c #Conflicts: 1213000 | #Constraints: 155930
1804.08/1808.72 c #Conflicts: 1214000 | #Constraints: 156930
1804.08/1808.72 c #Conflicts: 1215000 | #Constraints: 157930
1804.08/1808.72 c #Conflicts: 1216000 | #Constraints: 158930
1804.08/1808.72 c #Conflicts: 1217000 | #Constraints: 159930
1804.08/1808.72 c #Conflicts: 1218000 | #Constraints: 160930
1804.08/1808.72 c #Conflicts: 1219000 | #Constraints: 161930
1804.08/1808.72 c #Conflicts: 1220000 | #Constraints: 162930
1804.08/1808.72 c #Conflicts: 1221000 | #Constraints: 163930
1804.08/1808.72 c #Conflicts: 1222000 | #Constraints: 164930
1804.08/1808.72 c INPROCESSING
1804.08/1808.72 c GARBAGE COLLECT
1804.08/1808.72 c #Conflicts: 1223000 | #Constraints: 112639
1804.08/1808.72 c #Conflicts: 1224000 | #Constraints: 113639
1804.08/1808.72 c #Conflicts: 1225000 | #Constraints: 114639
1804.08/1808.72 c #Conflicts: 1226000 | #Constraints: 115639
1804.08/1808.72 c #Conflicts: 1227000 | #Constraints: 116639
1804.08/1808.72 c #Conflicts: 1228000 | #Constraints: 117639
1804.08/1808.72 c #Conflicts: 1229000 | #Constraints: 118639
1804.08/1808.72 c #Conflicts: 1230000 | #Constraints: 119639
1804.08/1808.72 c #Conflicts: 1231000 | #Constraints: 120639
1804.08/1808.72 c #Conflicts: 1232000 | #Constraints: 121639
1804.08/1808.72 c #Conflicts: 1233000 | #Constraints: 122639
1804.08/1808.72 c #Conflicts: 1234000 | #Constraints: 123639
1804.08/1808.72 c #Conflicts: 1235000 | #Constraints: 124639
1804.08/1808.72 c #Conflicts: 1236000 | #Constraints: 125639
1804.08/1808.72 c #Conflicts: 1237000 | #Constraints: 126639
1804.08/1808.72 c #Conflicts: 1238000 | #Constraints: 127639
1804.08/1808.72 c #Conflicts: 1239000 | #Constraints: 128639
1804.08/1808.72 c #Conflicts: 1240000 | #Constraints: 129639
1804.08/1808.72 c #Conflicts: 1241000 | #Constraints: 130639
1804.08/1808.72 c #Conflicts: 1242000 | #Constraints: 131639
1804.08/1808.72 c #Conflicts: 1243000 | #Constraints: 132639
1804.08/1808.72 c #Conflicts: 1244000 | #Constraints: 133639
1804.08/1808.72 c #Conflicts: 1245000 | #Constraints: 134639
1804.08/1808.72 c #Conflicts: 1246000 | #Constraints: 135639
1804.08/1808.72 c #Conflicts: 1247000 | #Constraints: 136639
1804.08/1808.72 c #Conflicts: 1248000 | #Constraints: 137639
1804.08/1808.72 c INPROCESSING
1804.08/1808.72 c GARBAGE COLLECT
1804.08/1808.72 c #Conflicts: 1249000 | #Constraints: 99198
1804.08/1808.72 c #Conflicts: 1250000 | #Constraints: 100198
1804.08/1808.72 c #Conflicts: 1251000 | #Constraints: 101198
1804.08/1808.72 c #Conflicts: 1252000 | #Constraints: 102198
1804.08/1808.72 c #Conflicts: 1253000 | #Constraints: 103198
1804.08/1808.72 c #Conflicts: 1254000 | #Constraints: 104198
1804.08/1808.72 c #Conflicts: 1255000 | #Constraints: 105198
1804.08/1808.72 c #Conflicts: 1256000 | #Constraints: 106198
1804.08/1808.72 c #Conflicts: 1257000 | #Constraints: 107198
1804.08/1808.72 c #Conflicts: 1258000 | #Constraints: 108198
1804.08/1808.72 c #Conflicts: 1259000 | #Constraints: 109198
1804.08/1808.72 c #Conflicts: 1260000 | #Constraints: 110198
1804.08/1808.72 c #Conflicts: 1261000 | #Constraints: 111198
1804.08/1808.72 c #Conflicts: 1262000 | #Constraints: 112198
1804.08/1808.72 c #Conflicts: 1263000 | #Constraints: 113198
1804.08/1808.72 c #Conflicts: 1264000 | #Constraints: 114198
1804.08/1808.72 c #Conflicts: 1265000 | #Constraints: 115198
1804.08/1808.72 c #Conflicts: 1266000 | #Constraints: 116198
1804.08/1808.72 c #Conflicts: 1267000 | #Constraints: 117198
1804.08/1808.72 c #Conflicts: 1268000 | #Constraints: 118198
1804.08/1808.72 c #Conflicts: 1269000 | #Constraints: 119198
1804.08/1808.72 c #Conflicts: 1270000 | #Constraints: 120198
1804.08/1808.72 c #Conflicts: 1271000 | #Constraints: 121198
1804.08/1808.72 c #Conflicts: 1272000 | #Constraints: 122198
1804.08/1808.72 c #Conflicts: 1273000 | #Constraints: 123198
1804.08/1808.72 c INPROCESSING
1804.08/1808.72 c GARBAGE COLLECT
1804.08/1808.72 c #Conflicts: 1274000 | #Constraints: 91575
1804.08/1808.72 c #Conflicts: 1275000 | #Constraints: 92575
1804.08/1808.72 c #Conflicts: 1276000 | #Constraints: 93575
1804.08/1808.72 c #Conflicts: 1277000 | #Constraints: 94575
1804.08/1808.72 c #Conflicts: 1278000 | #Constraints: 95575
1804.08/1808.72 c #Conflicts: 1279000 | #Constraints: 96575
1804.08/1808.72 c #Conflicts: 1280000 | #Constraints: 97575
1804.08/1808.72 c #Conflicts: 1281000 | #Constraints: 98575
1804.08/1808.72 c #Conflicts: 1282000 | #Constraints: 99575
1804.08/1808.72 c #Conflicts: 1283000 | #Constraints: 100575
1804.08/1808.72 c #Conflicts: 1284000 | #Constraints: 101575
1804.08/1808.72 c #Conflicts: 1285000 | #Constraints: 102575
1804.08/1808.72 c #Conflicts: 1286000 | #Constraints: 103575
1804.08/1808.72 c #Conflicts: 1287000 | #Constraints: 104575
1804.08/1808.72 c #Conflicts: 1288000 | #Constraints: 105575
1804.08/1808.72 c #Conflicts: 1289000 | #Constraints: 106575
1921.85/1926.81 c #Conflicts: 1290000 | #Constraints: 107575
1921.85/1926.81 c #Conflicts: 1291000 | #Constraints: 108575
1921.85/1926.81 c #Conflicts: 1292000 | #Constraints: 109575
1921.85/1926.81 c #Conflicts: 1293000 | #Constraints: 110575
1921.85/1926.81 c #Conflicts: 1294000 | #Constraints: 111575
1921.85/1926.81 c #Conflicts: 1295000 | #Constraints: 112575
1921.85/1926.81 c #Conflicts: 1296000 | #Constraints: 113575
1921.85/1926.81 c #Conflicts: 1297000 | #Constraints: 114575
1921.85/1926.81 c #Conflicts: 1298000 | #Constraints: 115575
1921.85/1926.81 c #Conflicts: 1299000 | #Constraints: 116575
1921.85/1926.81 c INPROCESSING
1921.85/1926.81 c GARBAGE COLLECT
1921.85/1926.81 c #Conflicts: 1300000 | #Constraints: 88269
1921.85/1926.81 c #Conflicts: 1301000 | #Constraints: 89269
1921.85/1926.81 c #Conflicts: 1302000 | #Constraints: 90269
1921.85/1926.81 c #Conflicts: 1303000 | #Constraints: 91269
1921.85/1926.81 c #Conflicts: 1304000 | #Constraints: 92269
1921.85/1926.81 c #Conflicts: 1305000 | #Constraints: 93269
1921.85/1926.81 c #Conflicts: 1306000 | #Constraints: 94269
1921.85/1926.81 c #Conflicts: 1307000 | #Constraints: 95269
1921.85/1926.81 c #Conflicts: 1308000 | #Constraints: 96269
1921.85/1926.81 c #Conflicts: 1309000 | #Constraints: 97269
1921.85/1926.81 c #Conflicts: 1310000 | #Constraints: 98269
1921.85/1926.81 c #Conflicts: 1311000 | #Constraints: 99269
1921.85/1926.81 c #Conflicts: 1312000 | #Constraints: 100269
1921.85/1926.81 c #Conflicts: 1313000 | #Constraints: 101269
1921.85/1926.81 c #Conflicts: 1314000 | #Constraints: 102269
1921.85/1926.81 c #Conflicts: 1315000 | #Constraints: 103269
1921.85/1926.81 c #Conflicts: 1316000 | #Constraints: 104269
1921.85/1926.81 c #Conflicts: 1317000 | #Constraints: 105269
1921.85/1926.81 c #Conflicts: 1318000 | #Constraints: 106269
1921.85/1926.81 c #Conflicts: 1319000 | #Constraints: 107269
1921.85/1926.81 c #Conflicts: 1320000 | #Constraints: 108269
1921.85/1926.81 c #Conflicts: 1321000 | #Constraints: 109269
1921.85/1926.81 c #Conflicts: 1322000 | #Constraints: 110269
1921.85/1926.81 c #Conflicts: 1323000 | #Constraints: 111269
1921.85/1926.81 c #Conflicts: 1324000 | #Constraints: 112269
1921.85/1926.81 c #Conflicts: 1325000 | #Constraints: 113269
1921.85/1926.81 c #Conflicts: 1326000 | #Constraints: 114269
1921.85/1926.81 c INPROCESSING
1921.85/1926.81 c GARBAGE COLLECT
1921.85/1926.81 c #Conflicts: 1327000 | #Constraints: 87514
1921.85/1926.81 c #Conflicts: 1328000 | #Constraints: 88514
1921.85/1926.81 c #Conflicts: 1329000 | #Constraints: 89514
1921.85/1926.81 c #Conflicts: 1330000 | #Constraints: 90514
1921.85/1926.81 c #Conflicts: 1331000 | #Constraints: 91514
1921.85/1926.81 c #Conflicts: 1332000 | #Constraints: 92514
1921.85/1926.81 c #Conflicts: 1333000 | #Constraints: 93514
1921.85/1926.81 c #Conflicts: 1334000 | #Constraints: 94514
1921.85/1926.81 c #Conflicts: 1335000 | #Constraints: 95514
1921.85/1926.81 c #Conflicts: 1336000 | #Constraints: 96514
1921.85/1926.81 c #Conflicts: 1337000 | #Constraints: 97514
1921.85/1926.81 c #Conflicts: 1338000 | #Constraints: 98514
1921.85/1926.81 c #Conflicts: 1339000 | #Constraints: 99514
1921.85/1926.81 c #Conflicts: 1340000 | #Constraints: 100514
1921.85/1926.81 c #Conflicts: 1341000 | #Constraints: 101514
1921.85/1926.81 c #Conflicts: 1342000 | #Constraints: 102514
1921.85/1926.81 c #Conflicts: 1343000 | #Constraints: 103514
1921.85/1926.81 c #Conflicts: 1344000 | #Constraints: 104514
1921.85/1926.81 c #Conflicts: 1345000 | #Constraints: 105514
1921.85/1926.81 c #Conflicts: 1346000 | #Constraints: 106514
1921.85/1926.81 c #Conflicts: 1347000 | #Constraints: 107514
1921.85/1926.81 c #Conflicts: 1348000 | #Constraints: 108514
1921.85/1926.81 c #Conflicts: 1349000 | #Constraints: 109514
1921.85/1926.81 c #Conflicts: 1350000 | #Constraints: 110514
1921.85/1926.81 c #Conflicts: 1351000 | #Constraints: 111514
1921.85/1926.81 c #Conflicts: 1352000 | #Constraints: 112514
1921.85/1926.81 c INPROCESSING
1921.85/1926.81 c GARBAGE COLLECT
1921.85/1926.81 c #Conflicts: 1353000 | #Constraints: 86426
1921.85/1926.81 c #Conflicts: 1354000 | #Constraints: 87426
1921.85/1926.81 c #Conflicts: 1355000 | #Constraints: 88426
1921.85/1926.81 c #Conflicts: 1356000 | #Constraints: 89426
1921.85/1926.81 c #Conflicts: 1357000 | #Constraints: 90426
1921.85/1926.81 c #Conflicts: 1358000 | #Constraints: 91426
1921.85/1926.81 c #Conflicts: 1359000 | #Constraints: 92426
1921.85/1926.81 c #Conflicts: 1360000 | #Constraints: 93426
1921.85/1926.81 c #Conflicts: 1361000 | #Constraints: 94426
1921.85/1926.81 c #Conflicts: 1362000 | #Constraints: 95426
1921.85/1926.81 c #Conflicts: 1363000 | #Constraints: 96426
1921.85/1926.81 c #Conflicts: 1364000 | #Constraints: 97426
1921.85/1926.81 c #Conflicts: 1365000 | #Constraints: 98426
1921.85/1926.81 c #Conflicts: 1366000 | #Constraints: 99426
2083.35/2088.72 c #Conflicts: 1367000 | #Constraints: 100426
2083.35/2088.72 c #Conflicts: 1368000 | #Constraints: 101426
2083.35/2088.72 c #Conflicts: 1369000 | #Constraints: 102426
2083.35/2088.72 c #Conflicts: 1370000 | #Constraints: 103426
2083.35/2088.72 c #Conflicts: 1371000 | #Constraints: 104426
2083.35/2088.72 c #Conflicts: 1372000 | #Constraints: 105426
2083.35/2088.72 c #Conflicts: 1373000 | #Constraints: 106426
2083.35/2088.72 c #Conflicts: 1374000 | #Constraints: 107426
2083.35/2088.72 c #Conflicts: 1375000 | #Constraints: 108426
2083.35/2088.72 c #Conflicts: 1376000 | #Constraints: 109426
2083.35/2088.72 c #Conflicts: 1377000 | #Constraints: 110426
2083.35/2088.72 c #Conflicts: 1378000 | #Constraints: 111426
2083.35/2088.72 c #Conflicts: 1379000 | #Constraints: 112426
2083.35/2088.72 c INPROCESSING
2083.35/2088.72 c GARBAGE COLLECT
2083.35/2088.72 c #Conflicts: 1380000 | #Constraints: 86581
2083.35/2088.72 c #Conflicts: 1381000 | #Constraints: 87581
2083.35/2088.72 c #Conflicts: 1382000 | #Constraints: 88581
2083.35/2088.72 c #Conflicts: 1383000 | #Constraints: 89581
2083.35/2088.72 c #Conflicts: 1384000 | #Constraints: 90581
2083.35/2088.72 c #Conflicts: 1385000 | #Constraints: 91581
2083.35/2088.72 c #Conflicts: 1386000 | #Constraints: 92581
2083.35/2088.72 c #Conflicts: 1387000 | #Constraints: 93581
2083.35/2088.72 c #Conflicts: 1388000 | #Constraints: 94581
2083.35/2088.72 c #Conflicts: 1389000 | #Constraints: 95581
2083.35/2088.72 c #Conflicts: 1390000 | #Constraints: 96581
2083.35/2088.72 c #Conflicts: 1391000 | #Constraints: 97581
2083.35/2088.72 c #Conflicts: 1392000 | #Constraints: 98581
2083.35/2088.72 c #Conflicts: 1393000 | #Constraints: 99581
2083.35/2088.72 c #Conflicts: 1394000 | #Constraints: 100581
2083.35/2088.72 c #Conflicts: 1395000 | #Constraints: 101581
2083.35/2088.72 c #Conflicts: 1396000 | #Constraints: 102581
2083.35/2088.72 c #Conflicts: 1397000 | #Constraints: 103581
2083.35/2088.72 c #Conflicts: 1398000 | #Constraints: 104581
2083.35/2088.72 c #Conflicts: 1399000 | #Constraints: 105581
2083.35/2088.72 c #Conflicts: 1400000 | #Constraints: 106581
2083.35/2088.72 c #Conflicts: 1401000 | #Constraints: 107581
2083.35/2088.72 c #Conflicts: 1402000 | #Constraints: 108581
2083.35/2088.72 c #Conflicts: 1403000 | #Constraints: 109581
2083.35/2088.72 c #Conflicts: 1404000 | #Constraints: 110581
2083.35/2088.72 c #Conflicts: 1405000 | #Constraints: 111581
2083.35/2088.72 c #Conflicts: 1406000 | #Constraints: 112581
2083.35/2088.72 c #Conflicts: 1407000 | #Constraints: 113581
2083.35/2088.72 c #Conflicts: 1408000 | #Constraints: 114581
2083.35/2088.72 c #Conflicts: 1409000 | #Constraints: 115581
2083.35/2088.72 c #Conflicts: 1410000 | #Constraints: 116581
2083.35/2088.72 c #Conflicts: 1411000 | #Constraints: 117581
2083.35/2088.72 c #Conflicts: 1412000 | #Constraints: 118581
2083.35/2088.72 c #Conflicts: 1413000 | #Constraints: 119581
2083.35/2088.72 c #Conflicts: 1414000 | #Constraints: 120581
2083.35/2088.72 c #Conflicts: 1415000 | #Constraints: 121581
2083.35/2088.72 c #Conflicts: 1416000 | #Constraints: 122581
2083.35/2088.72 c #Conflicts: 1417000 | #Constraints: 123581
2083.35/2088.72 c #Conflicts: 1418000 | #Constraints: 124581
2083.35/2088.72 c #Conflicts: 1419000 | #Constraints: 125581
2083.35/2088.72 c #Conflicts: 1420000 | #Constraints: 126581
2083.35/2088.72 c #Conflicts: 1421000 | #Constraints: 127581
2083.35/2088.72 c #Conflicts: 1422000 | #Constraints: 128581
2083.35/2088.72 c #Conflicts: 1423000 | #Constraints: 129581
2083.35/2088.72 c #Conflicts: 1424000 | #Constraints: 130581
2083.35/2088.72 c #Conflicts: 1425000 | #Constraints: 131581
2083.35/2088.72 c #Conflicts: 1426000 | #Constraints: 132581
2083.35/2088.72 c #Conflicts: 1427000 | #Constraints: 133581
2083.35/2088.72 c #Conflicts: 1428000 | #Constraints: 134581
2083.35/2088.72 c #Conflicts: 1429000 | #Constraints: 135581
2083.35/2088.72 c #Conflicts: 1430000 | #Constraints: 136581
2083.35/2088.72 c #Conflicts: 1431000 | #Constraints: 137581
2083.35/2088.72 c #Conflicts: 1432000 | #Constraints: 138581
2083.35/2088.72 c #Conflicts: 1433000 | #Constraints: 139581
2083.35/2088.72 c #Conflicts: 1434000 | #Constraints: 140581
2083.35/2088.72 c #Conflicts: 1435000 | #Constraints: 141581
2083.35/2088.72 c #Conflicts: 1436000 | #Constraints: 142581
2083.35/2088.72 c #Conflicts: 1437000 | #Constraints: 143581
2083.35/2088.72 c #Conflicts: 1438000 | #Constraints: 144581
2083.35/2088.72 c #Conflicts: 1439000 | #Constraints: 145581
2083.35/2088.72 c #Conflicts: 1440000 | #Constraints: 146581
2083.35/2088.72 c #Conflicts: 1441000 | #Constraints: 147581
2083.35/2088.72 c #Conflicts: 1442000 | #Constraints: 148581
2083.35/2088.72 c #Conflicts: 1443000 | #Constraints: 149581
2083.35/2088.72 c #Conflicts: 1444000 | #Constraints: 150581
2312.27/2318.23 c #Conflicts: 1445000 | #Constraints: 151581
2312.27/2318.23 c #Conflicts: 1446000 | #Constraints: 152581
2312.27/2318.23 c #Conflicts: 1447000 | #Constraints: 153581
2312.27/2318.23 c #Conflicts: 1448000 | #Constraints: 154581
2312.27/2318.23 c #Conflicts: 1449000 | #Constraints: 155581
2312.27/2318.23 c #Conflicts: 1450000 | #Constraints: 156581
2312.27/2318.23 c #Conflicts: 1451000 | #Constraints: 157581
2312.27/2318.23 c #Conflicts: 1452000 | #Constraints: 158581
2312.27/2318.23 c #Conflicts: 1453000 | #Constraints: 159581
2312.27/2318.23 c #Conflicts: 1454000 | #Constraints: 160581
2312.27/2318.23 c #Conflicts: 1455000 | #Constraints: 161581
2312.27/2318.23 c #Conflicts: 1456000 | #Constraints: 162581
2312.27/2318.23 c #Conflicts: 1457000 | #Constraints: 163581
2312.27/2318.23 c #Conflicts: 1458000 | #Constraints: 164581
2312.27/2318.23 c #Conflicts: 1459000 | #Constraints: 165581
2312.27/2318.23 c #Conflicts: 1460000 | #Constraints: 166581
2312.27/2318.23 c #Conflicts: 1461000 | #Constraints: 167581
2312.27/2318.23 c #Conflicts: 1462000 | #Constraints: 168581
2312.27/2318.23 c #Conflicts: 1463000 | #Constraints: 169581
2312.27/2318.23 c #Conflicts: 1464000 | #Constraints: 170581
2312.27/2318.23 c #Conflicts: 1465000 | #Constraints: 171581
2312.27/2318.23 c #Conflicts: 1466000 | #Constraints: 172581
2312.27/2318.23 c #Conflicts: 1467000 | #Constraints: 173581
2312.27/2318.23 c #Conflicts: 1468000 | #Constraints: 174581
2312.27/2318.23 c #Conflicts: 1469000 | #Constraints: 175581
2312.27/2318.23 c INPROCESSING
2312.27/2318.23 c GARBAGE COLLECT
2312.27/2318.23 c #Conflicts: 1470000 | #Constraints: 117839
2312.27/2318.23 c #Conflicts: 1471000 | #Constraints: 118839
2312.27/2318.23 c #Conflicts: 1472000 | #Constraints: 119839
2312.27/2318.23 c #Conflicts: 1473000 | #Constraints: 120839
2312.27/2318.23 c #Conflicts: 1474000 | #Constraints: 121839
2312.27/2318.23 c #Conflicts: 1475000 | #Constraints: 122839
2312.27/2318.23 c #Conflicts: 1476000 | #Constraints: 123839
2312.27/2318.23 c #Conflicts: 1477000 | #Constraints: 124839
2312.27/2318.23 c #Conflicts: 1478000 | #Constraints: 125839
2312.27/2318.23 c #Conflicts: 1479000 | #Constraints: 126839
2312.27/2318.23 c #Conflicts: 1480000 | #Constraints: 127839
2312.27/2318.23 c #Conflicts: 1481000 | #Constraints: 128839
2312.27/2318.23 c #Conflicts: 1482000 | #Constraints: 129839
2312.27/2318.23 c #Conflicts: 1483000 | #Constraints: 130839
2312.27/2318.23 c #Conflicts: 1484000 | #Constraints: 131839
2312.27/2318.23 c #Conflicts: 1485000 | #Constraints: 132839
2312.27/2318.23 c #Conflicts: 1486000 | #Constraints: 133839
2312.27/2318.23 c #Conflicts: 1487000 | #Constraints: 134839
2312.27/2318.23 c #Conflicts: 1488000 | #Constraints: 135839
2312.27/2318.23 c #Conflicts: 1489000 | #Constraints: 136839
2312.27/2318.23 c #Conflicts: 1490000 | #Constraints: 137839
2312.27/2318.23 c #Conflicts: 1491000 | #Constraints: 138839
2312.27/2318.23 c #Conflicts: 1492000 | #Constraints: 139839
2312.27/2318.23 c #Conflicts: 1493000 | #Constraints: 140839
2312.27/2318.23 c #Conflicts: 1494000 | #Constraints: 141839
2312.27/2318.23 c #Conflicts: 1495000 | #Constraints: 142839
2312.27/2318.23 c #Conflicts: 1496000 | #Constraints: 143839
2312.27/2318.23 c #Conflicts: 1497000 | #Constraints: 144839
2312.27/2318.23 c INPROCESSING
2312.27/2318.23 c GARBAGE COLLECT
2312.27/2318.23 c #Conflicts: 1498000 | #Constraints: 102515
2312.27/2318.23 c #Conflicts: 1499000 | #Constraints: 103515
2312.27/2318.23 c #Conflicts: 1500000 | #Constraints: 104515
2312.27/2318.23 c #Conflicts: 1501000 | #Constraints: 105515
2312.27/2318.23 c #Conflicts: 1502000 | #Constraints: 106515
2312.27/2318.23 c #Conflicts: 1503000 | #Constraints: 107515
2312.27/2318.23 c #Conflicts: 1504000 | #Constraints: 108515
2312.27/2318.23 c #Conflicts: 1505000 | #Constraints: 109515
2312.27/2318.23 c #Conflicts: 1506000 | #Constraints: 110515
2312.27/2318.23 c #Conflicts: 1507000 | #Constraints: 111515
2312.27/2318.23 c #Conflicts: 1508000 | #Constraints: 112515
2312.27/2318.23 c #Conflicts: 1509000 | #Constraints: 113515
2312.27/2318.23 c #Conflicts: 1510000 | #Constraints: 114515
2312.27/2318.23 c #Conflicts: 1511000 | #Constraints: 115515
2312.27/2318.23 c #Conflicts: 1512000 | #Constraints: 116515
2312.27/2318.23 c #Conflicts: 1513000 | #Constraints: 117515
2312.27/2318.23 c #Conflicts: 1514000 | #Constraints: 118515
2312.27/2318.23 c #Conflicts: 1515000 | #Constraints: 119515
2312.27/2318.23 c #Conflicts: 1516000 | #Constraints: 120515
2312.27/2318.23 c #Conflicts: 1517000 | #Constraints: 121515
2312.27/2318.23 c #Conflicts: 1518000 | #Constraints: 122515
2312.27/2318.23 c #Conflicts: 1519000 | #Constraints: 123515
2312.27/2318.23 c #Conflicts: 1520000 | #Constraints: 124515
2312.27/2318.23 c #Conflicts: 1521000 | #Constraints: 125515
2312.27/2318.23 c #Conflicts: 1522000 | #Constraints: 126515
2431.99/2438.22 c #Conflicts: 1523000 | #Constraints: 127515
2431.99/2438.22 c #Conflicts: 1524000 | #Constraints: 128515
2431.99/2438.22 c #Conflicts: 1525000 | #Constraints: 129515
2431.99/2438.22 c INPROCESSING
2431.99/2438.22 c GARBAGE COLLECT
2431.99/2438.22 c #Conflicts: 1526000 | #Constraints: 94810
2431.99/2438.22 c #Conflicts: 1527000 | #Constraints: 95810
2431.99/2438.22 c #Conflicts: 1528000 | #Constraints: 96810
2431.99/2438.22 c #Conflicts: 1529000 | #Constraints: 97810
2431.99/2438.22 c #Conflicts: 1530000 | #Constraints: 98810
2431.99/2438.22 c #Conflicts: 1531000 | #Constraints: 99810
2431.99/2438.22 c #Conflicts: 1532000 | #Constraints: 100810
2431.99/2438.22 c #Conflicts: 1533000 | #Constraints: 101810
2431.99/2438.22 c #Conflicts: 1534000 | #Constraints: 102810
2431.99/2438.22 c #Conflicts: 1535000 | #Constraints: 103810
2431.99/2438.22 c #Conflicts: 1536000 | #Constraints: 104810
2431.99/2438.22 c #Conflicts: 1537000 | #Constraints: 105810
2431.99/2438.22 c #Conflicts: 1538000 | #Constraints: 106810
2431.99/2438.22 c #Conflicts: 1539000 | #Constraints: 107810
2431.99/2438.22 c #Conflicts: 1540000 | #Constraints: 108810
2431.99/2438.22 c #Conflicts: 1541000 | #Constraints: 109810
2431.99/2438.22 c #Conflicts: 1542000 | #Constraints: 110810
2431.99/2438.22 c #Conflicts: 1543000 | #Constraints: 111810
2431.99/2438.22 c #Conflicts: 1544000 | #Constraints: 112810
2431.99/2438.22 c #Conflicts: 1545000 | #Constraints: 113810
2431.99/2438.22 c #Conflicts: 1546000 | #Constraints: 114810
2431.99/2438.22 c #Conflicts: 1547000 | #Constraints: 115810
2431.99/2438.22 c #Conflicts: 1548000 | #Constraints: 116810
2431.99/2438.22 c #Conflicts: 1549000 | #Constraints: 117810
2431.99/2438.22 c #Conflicts: 1550000 | #Constraints: 118810
2431.99/2438.22 c #Conflicts: 1551000 | #Constraints: 119810
2431.99/2438.22 c #Conflicts: 1552000 | #Constraints: 120810
2431.99/2438.22 c #Conflicts: 1553000 | #Constraints: 121810
2431.99/2438.22 c #Conflicts: 1554000 | #Constraints: 122810
2431.99/2438.22 c INPROCESSING
2431.99/2438.22 c GARBAGE COLLECT
2431.99/2438.22 c #Conflicts: 1555000 | #Constraints: 91790
2431.99/2438.22 c #Conflicts: 1556000 | #Constraints: 92790
2431.99/2438.22 c #Conflicts: 1557000 | #Constraints: 93790
2431.99/2438.22 c #Conflicts: 1558000 | #Constraints: 94790
2431.99/2438.22 c #Conflicts: 1559000 | #Constraints: 95790
2431.99/2438.22 c #Conflicts: 1560000 | #Constraints: 96790
2431.99/2438.22 c #Conflicts: 1561000 | #Constraints: 97790
2431.99/2438.22 c #Conflicts: 1562000 | #Constraints: 98790
2431.99/2438.22 c #Conflicts: 1563000 | #Constraints: 99790
2431.99/2438.22 c #Conflicts: 1564000 | #Constraints: 100790
2431.99/2438.22 c #Conflicts: 1565000 | #Constraints: 101790
2431.99/2438.22 c #Conflicts: 1566000 | #Constraints: 102790
2431.99/2438.22 c #Conflicts: 1567000 | #Constraints: 103790
2431.99/2438.22 c #Conflicts: 1568000 | #Constraints: 104790
2431.99/2438.22 c #Conflicts: 1569000 | #Constraints: 105790
2431.99/2438.22 c #Conflicts: 1570000 | #Constraints: 106790
2431.99/2438.22 c #Conflicts: 1571000 | #Constraints: 107790
2431.99/2438.22 c #Conflicts: 1572000 | #Constraints: 108790
2431.99/2438.22 c #Conflicts: 1573000 | #Constraints: 109790
2431.99/2438.22 c #Conflicts: 1574000 | #Constraints: 110790
2431.99/2438.22 c #Conflicts: 1575000 | #Constraints: 111790
2431.99/2438.22 c #Conflicts: 1576000 | #Constraints: 112790
2431.99/2438.22 c #Conflicts: 1577000 | #Constraints: 113790
2431.99/2438.22 c #Conflicts: 1578000 | #Constraints: 114790
2431.99/2438.22 c #Conflicts: 1579000 | #Constraints: 115790
2431.99/2438.22 c #Conflicts: 1580000 | #Constraints: 116790
2431.99/2438.22 c #Conflicts: 1581000 | #Constraints: 117790
2431.99/2438.22 c #Conflicts: 1582000 | #Constraints: 118790
2431.99/2438.22 c INPROCESSING
2431.99/2438.22 c GARBAGE COLLECT
2431.99/2438.22 c #Conflicts: 1583000 | #Constraints: 89522
2431.99/2438.22 c #Conflicts: 1584000 | #Constraints: 90522
2431.99/2438.22 c #Conflicts: 1585000 | #Constraints: 91522
2431.99/2438.22 c #Conflicts: 1586000 | #Constraints: 92522
2431.99/2438.22 c #Conflicts: 1587000 | #Constraints: 93522
2431.99/2438.22 c #Conflicts: 1588000 | #Constraints: 94522
2431.99/2438.22 c #Conflicts: 1589000 | #Constraints: 95522
2431.99/2438.22 c #Conflicts: 1590000 | #Constraints: 96522
2431.99/2438.22 c #Conflicts: 1591000 | #Constraints: 97522
2431.99/2438.22 c #Conflicts: 1592000 | #Constraints: 98522
2431.99/2438.22 c #Conflicts: 1593000 | #Constraints: 99522
2431.99/2438.22 c #Conflicts: 1594000 | #Constraints: 100522
2431.99/2438.22 c #Conflicts: 1595000 | #Constraints: 101522
2431.99/2438.22 c #Conflicts: 1596000 | #Constraints: 102522
2431.99/2438.22 c #Conflicts: 1597000 | #Constraints: 103522
2431.99/2438.22 c #Conflicts: 1598000 | #Constraints: 104522
2431.99/2438.22 c #Conflicts: 1599000 | #Constraints: 105522
2540.32/2546.83 c #Conflicts: 1600000 | #Constraints: 106522
2540.32/2546.83 c #Conflicts: 1601000 | #Constraints: 107522
2540.32/2546.83 c #Conflicts: 1602000 | #Constraints: 108522
2540.32/2546.83 c #Conflicts: 1603000 | #Constraints: 109522
2540.32/2546.83 c #Conflicts: 1604000 | #Constraints: 110522
2540.32/2546.83 c #Conflicts: 1605000 | #Constraints: 111522
2540.32/2546.83 c #Conflicts: 1606000 | #Constraints: 112522
2540.32/2546.83 c #Conflicts: 1607000 | #Constraints: 113522
2540.32/2546.83 c #Conflicts: 1608000 | #Constraints: 114522
2540.32/2546.83 c #Conflicts: 1609000 | #Constraints: 115522
2540.32/2546.83 c #Conflicts: 1610000 | #Constraints: 116522
2540.32/2546.83 c #Conflicts: 1611000 | #Constraints: 117522
2540.32/2546.83 c INPROCESSING
2540.32/2546.83 c GARBAGE COLLECT
2540.32/2546.83 c #Conflicts: 1612000 | #Constraints: 89037
2540.32/2546.83 c #Conflicts: 1613000 | #Constraints: 90037
2540.32/2546.83 c #Conflicts: 1614000 | #Constraints: 91037
2540.32/2546.83 c #Conflicts: 1615000 | #Constraints: 92037
2540.32/2546.83 c #Conflicts: 1616000 | #Constraints: 93037
2540.32/2546.83 c #Conflicts: 1617000 | #Constraints: 94037
2540.32/2546.83 c #Conflicts: 1618000 | #Constraints: 95037
2540.32/2546.83 c #Conflicts: 1619000 | #Constraints: 96037
2540.32/2546.83 c #Conflicts: 1620000 | #Constraints: 97037
2540.32/2546.83 c #Conflicts: 1621000 | #Constraints: 98037
2540.32/2546.83 c #Conflicts: 1622000 | #Constraints: 99037
2540.32/2546.83 c #Conflicts: 1623000 | #Constraints: 100037
2540.32/2546.83 c #Conflicts: 1624000 | #Constraints: 101037
2540.32/2546.83 c #Conflicts: 1625000 | #Constraints: 102037
2540.32/2546.83 c #Conflicts: 1626000 | #Constraints: 103037
2540.32/2546.83 c #Conflicts: 1627000 | #Constraints: 104037
2540.32/2546.83 c #Conflicts: 1628000 | #Constraints: 105037
2540.32/2546.83 c #Conflicts: 1629000 | #Constraints: 106037
2540.32/2546.83 c #Conflicts: 1630000 | #Constraints: 107037
2540.32/2546.83 c #Conflicts: 1631000 | #Constraints: 108037
2540.32/2546.83 c #Conflicts: 1632000 | #Constraints: 109037
2540.32/2546.83 c #Conflicts: 1633000 | #Constraints: 110037
2540.32/2546.83 c #Conflicts: 1634000 | #Constraints: 111037
2540.32/2546.83 c #Conflicts: 1635000 | #Constraints: 112037
2540.32/2546.83 c #Conflicts: 1636000 | #Constraints: 113037
2540.32/2546.83 c #Conflicts: 1637000 | #Constraints: 114037
2540.32/2546.83 c #Conflicts: 1638000 | #Constraints: 115037
2540.32/2546.83 c #Conflicts: 1639000 | #Constraints: 116037
2540.32/2546.83 c #Conflicts: 1640000 | #Constraints: 117037
2540.32/2546.83 c INPROCESSING
2540.32/2546.83 c GARBAGE COLLECT
2540.32/2546.83 c #Conflicts: 1641000 | #Constraints: 88839
2540.32/2546.83 c #Conflicts: 1642000 | #Constraints: 89839
2540.32/2546.83 c #Conflicts: 1643000 | #Constraints: 90839
2540.32/2546.83 c #Conflicts: 1644000 | #Constraints: 91839
2540.32/2546.83 c #Conflicts: 1645000 | #Constraints: 92839
2540.32/2546.83 c #Conflicts: 1646000 | #Constraints: 93839
2540.32/2546.83 c #Conflicts: 1647000 | #Constraints: 94839
2540.32/2546.83 c #Conflicts: 1648000 | #Constraints: 95839
2540.32/2546.83 c #Conflicts: 1649000 | #Constraints: 96839
2540.32/2546.83 c #Conflicts: 1650000 | #Constraints: 97839
2540.32/2546.83 c #Conflicts: 1651000 | #Constraints: 98839
2540.32/2546.83 c #Conflicts: 1652000 | #Constraints: 99839
2540.32/2546.83 c #Conflicts: 1653000 | #Constraints: 100839
2540.32/2546.83 c #Conflicts: 1654000 | #Constraints: 101839
2540.32/2546.83 c #Conflicts: 1655000 | #Constraints: 102839
2540.32/2546.83 c #Conflicts: 1656000 | #Constraints: 103839
2540.32/2546.83 c #Conflicts: 1657000 | #Constraints: 104839
2540.32/2546.83 c #Conflicts: 1658000 | #Constraints: 105839
2540.32/2546.83 c #Conflicts: 1659000 | #Constraints: 106839
2540.32/2546.83 c #Conflicts: 1660000 | #Constraints: 107839
2540.32/2546.83 c #Conflicts: 1661000 | #Constraints: 108839
2540.32/2546.83 c #Conflicts: 1662000 | #Constraints: 109839
2540.32/2546.83 c #Conflicts: 1663000 | #Constraints: 110839
2540.32/2546.83 c #Conflicts: 1664000 | #Constraints: 111839
2540.32/2546.83 c #Conflicts: 1665000 | #Constraints: 112839
2540.32/2546.83 c #Conflicts: 1666000 | #Constraints: 113839
2540.32/2546.83 c #Conflicts: 1667000 | #Constraints: 114839
2540.32/2546.83 c #Conflicts: 1668000 | #Constraints: 115839
2540.32/2546.83 c #Conflicts: 1669000 | #Constraints: 116839
2540.32/2546.83 c #Conflicts: 1670000 | #Constraints: 117839
2540.32/2546.83 c #Conflicts: 1671000 | #Constraints: 118839
2540.32/2546.83 c #Conflicts: 1672000 | #Constraints: 119839
2540.32/2546.83 c #Conflicts: 1673000 | #Constraints: 120839
2540.32/2546.83 c #Conflicts: 1674000 | #Constraints: 121839
2540.32/2546.83 c #Conflicts: 1675000 | #Constraints: 122839
2540.32/2546.83 c #Conflicts: 1676000 | #Constraints: 123839
2783.23/2790.38 c #Conflicts: 1677000 | #Constraints: 124839
2783.23/2790.38 c #Conflicts: 1678000 | #Constraints: 125839
2783.23/2790.38 c #Conflicts: 1679000 | #Constraints: 126839
2783.23/2790.38 c #Conflicts: 1680000 | #Constraints: 127839
2783.23/2790.38 c #Conflicts: 1681000 | #Constraints: 128839
2783.23/2790.38 c #Conflicts: 1682000 | #Constraints: 129839
2783.23/2790.38 c #Conflicts: 1683000 | #Constraints: 130839
2783.23/2790.38 c #Conflicts: 1684000 | #Constraints: 131839
2783.23/2790.38 c #Conflicts: 1685000 | #Constraints: 132839
2783.23/2790.38 c #Conflicts: 1686000 | #Constraints: 133839
2783.23/2790.38 c #Conflicts: 1687000 | #Constraints: 134839
2783.23/2790.38 c #Conflicts: 1688000 | #Constraints: 135839
2783.23/2790.38 c #Conflicts: 1689000 | #Constraints: 136839
2783.23/2790.38 c #Conflicts: 1690000 | #Constraints: 137839
2783.23/2790.38 c #Conflicts: 1691000 | #Constraints: 138839
2783.23/2790.38 c #Conflicts: 1692000 | #Constraints: 139839
2783.23/2790.38 c #Conflicts: 1693000 | #Constraints: 140839
2783.23/2790.38 c #Conflicts: 1694000 | #Constraints: 141839
2783.23/2790.38 c #Conflicts: 1695000 | #Constraints: 142839
2783.23/2790.38 c #Conflicts: 1696000 | #Constraints: 143839
2783.23/2790.38 c #Conflicts: 1697000 | #Constraints: 144839
2783.23/2790.38 c #Conflicts: 1698000 | #Constraints: 145839
2783.23/2790.38 c #Conflicts: 1699000 | #Constraints: 146839
2783.23/2790.38 c #Conflicts: 1700000 | #Constraints: 147839
2783.23/2790.38 c #Conflicts: 1701000 | #Constraints: 148839
2783.23/2790.38 c #Conflicts: 1702000 | #Constraints: 149839
2783.23/2790.38 c #Conflicts: 1703000 | #Constraints: 150839
2783.23/2790.38 c #Conflicts: 1704000 | #Constraints: 151839
2783.23/2790.38 c #Conflicts: 1705000 | #Constraints: 152839
2783.23/2790.38 c #Conflicts: 1706000 | #Constraints: 153839
2783.23/2790.38 c #Conflicts: 1707000 | #Constraints: 154839
2783.23/2790.38 c #Conflicts: 1708000 | #Constraints: 155839
2783.23/2790.38 c #Conflicts: 1709000 | #Constraints: 156839
2783.23/2790.38 c #Conflicts: 1710000 | #Constraints: 157839
2783.23/2790.38 c #Conflicts: 1711000 | #Constraints: 158839
2783.23/2790.38 c #Conflicts: 1712000 | #Constraints: 159839
2783.23/2790.38 c #Conflicts: 1713000 | #Constraints: 160839
2783.23/2790.38 c #Conflicts: 1714000 | #Constraints: 161839
2783.23/2790.38 c #Conflicts: 1715000 | #Constraints: 162839
2783.23/2790.38 c #Conflicts: 1716000 | #Constraints: 163839
2783.23/2790.38 c #Conflicts: 1717000 | #Constraints: 164839
2783.23/2790.38 c #Conflicts: 1718000 | #Constraints: 165839
2783.23/2790.38 c #Conflicts: 1719000 | #Constraints: 166839
2783.23/2790.38 c #Conflicts: 1720000 | #Constraints: 167839
2783.23/2790.38 c #Conflicts: 1721000 | #Constraints: 168839
2783.23/2790.38 c #Conflicts: 1722000 | #Constraints: 169839
2783.23/2790.38 c #Conflicts: 1723000 | #Constraints: 170839
2783.23/2790.38 c #Conflicts: 1724000 | #Constraints: 171839
2783.23/2790.38 c #Conflicts: 1725000 | #Constraints: 172839
2783.23/2790.38 c #Conflicts: 1726000 | #Constraints: 173839
2783.23/2790.38 c #Conflicts: 1727000 | #Constraints: 174839
2783.23/2790.38 c #Conflicts: 1728000 | #Constraints: 175839
2783.23/2790.38 c #Conflicts: 1729000 | #Constraints: 176839
2783.23/2790.38 c #Conflicts: 1730000 | #Constraints: 177839
2783.23/2790.38 c #Conflicts: 1731000 | #Constraints: 178839
2783.23/2790.38 c #Conflicts: 1732000 | #Constraints: 179839
2783.23/2790.38 c #Conflicts: 1733000 | #Constraints: 180839
2783.23/2790.38 c #Conflicts: 1734000 | #Constraints: 181839
2783.23/2790.38 c #Conflicts: 1735000 | #Constraints: 182839
2783.23/2790.38 c #Conflicts: 1736000 | #Constraints: 183839
2783.23/2790.38 c #Conflicts: 1737000 | #Constraints: 184839
2783.23/2790.38 c #Conflicts: 1738000 | #Constraints: 185839
2783.23/2790.38 c #Conflicts: 1739000 | #Constraints: 186839
2783.23/2790.38 c INPROCESSING
2783.23/2790.38 c GARBAGE COLLECT
2783.23/2790.38 c #Conflicts: 1740000 | #Constraints: 123622
2783.23/2790.38 c #Conflicts: 1741000 | #Constraints: 124622
2783.23/2790.38 c #Conflicts: 1742000 | #Constraints: 125622
2783.23/2790.38 c #Conflicts: 1743000 | #Constraints: 126622
2783.23/2790.38 c #Conflicts: 1744000 | #Constraints: 127622
2783.23/2790.38 c #Conflicts: 1745000 | #Constraints: 128622
2783.23/2790.38 c #Conflicts: 1746000 | #Constraints: 129622
2783.23/2790.38 c #Conflicts: 1747000 | #Constraints: 130622
2783.23/2790.38 c #Conflicts: 1748000 | #Constraints: 131622
2783.23/2790.38 c #Conflicts: 1749000 | #Constraints: 132622
2783.23/2790.38 c #Conflicts: 1750000 | #Constraints: 133622
2783.23/2790.38 c #Conflicts: 1751000 | #Constraints: 134622
2783.23/2790.38 c #Conflicts: 1752000 | #Constraints: 135622
2783.23/2790.38 c #Conflicts: 1753000 | #Constraints: 136622
2783.23/2790.38 c #Conflicts: 1754000 | #Constraints: 137622
2972.36/2979.96 c #Conflicts: 1755000 | #Constraints: 138622
2972.36/2979.96 c #Conflicts: 1756000 | #Constraints: 139622
2972.36/2979.96 c #Conflicts: 1757000 | #Constraints: 140622
2972.36/2979.96 c #Conflicts: 1758000 | #Constraints: 141622
2972.36/2979.96 c #Conflicts: 1759000 | #Constraints: 142622
2972.36/2979.96 c #Conflicts: 1760000 | #Constraints: 143622
2972.36/2979.96 c #Conflicts: 1761000 | #Constraints: 144622
2972.36/2979.96 c #Conflicts: 1762000 | #Constraints: 145622
2972.36/2979.96 c #Conflicts: 1763000 | #Constraints: 146622
2972.36/2979.96 c #Conflicts: 1764000 | #Constraints: 147622
2972.36/2979.96 c #Conflicts: 1765000 | #Constraints: 148622
2972.36/2979.96 c #Conflicts: 1766000 | #Constraints: 149622
2972.36/2979.96 c #Conflicts: 1767000 | #Constraints: 150622
2972.36/2979.96 c #Conflicts: 1768000 | #Constraints: 151622
2972.36/2979.96 c #Conflicts: 1769000 | #Constraints: 152622
2972.36/2979.96 c INPROCESSING
2972.36/2979.96 c GARBAGE COLLECT
2972.36/2979.96 c #Conflicts: 1770000 | #Constraints: 106370
2972.36/2979.96 c #Conflicts: 1771000 | #Constraints: 107370
2972.36/2979.96 c #Conflicts: 1772000 | #Constraints: 108370
2972.36/2979.96 c #Conflicts: 1773000 | #Constraints: 109370
2972.36/2979.96 c #Conflicts: 1774000 | #Constraints: 110370
2972.36/2979.96 c #Conflicts: 1775000 | #Constraints: 111370
2972.36/2979.96 c #Conflicts: 1776000 | #Constraints: 112370
2972.36/2979.96 c #Conflicts: 1777000 | #Constraints: 113370
2972.36/2979.96 c #Conflicts: 1778000 | #Constraints: 114370
2972.36/2979.96 c #Conflicts: 1779000 | #Constraints: 115370
2972.36/2979.96 c #Conflicts: 1780000 | #Constraints: 116370
2972.36/2979.96 c #Conflicts: 1781000 | #Constraints: 117370
2972.36/2979.96 c #Conflicts: 1782000 | #Constraints: 118370
2972.36/2979.96 c #Conflicts: 1783000 | #Constraints: 119370
2972.36/2979.96 c #Conflicts: 1784000 | #Constraints: 120370
2972.36/2979.96 c #Conflicts: 1785000 | #Constraints: 121370
2972.36/2979.96 c #Conflicts: 1786000 | #Constraints: 122370
2972.36/2979.96 c #Conflicts: 1787000 | #Constraints: 123370
2972.36/2979.96 c #Conflicts: 1788000 | #Constraints: 124370
2972.36/2979.96 c #Conflicts: 1789000 | #Constraints: 125370
2972.36/2979.96 c #Conflicts: 1790000 | #Constraints: 126370
2972.36/2979.96 c #Conflicts: 1791000 | #Constraints: 127370
2972.36/2979.96 c #Conflicts: 1792000 | #Constraints: 128370
2972.36/2979.96 c #Conflicts: 1793000 | #Constraints: 129370
2972.36/2979.96 c #Conflicts: 1794000 | #Constraints: 130370
2972.36/2979.96 c #Conflicts: 1795000 | #Constraints: 131370
2972.36/2979.96 c #Conflicts: 1796000 | #Constraints: 132370
2972.36/2979.96 c #Conflicts: 1797000 | #Constraints: 133370
2972.36/2979.96 c #Conflicts: 1798000 | #Constraints: 134370
2972.36/2979.96 c #Conflicts: 1799000 | #Constraints: 135370
2972.36/2979.96 c #Conflicts: 1800000 | #Constraints: 136370
2972.36/2979.96 c INPROCESSING
2972.36/2979.96 c GARBAGE COLLECT
2972.36/2979.96 c #Conflicts: 1801000 | #Constraints: 98567
2972.36/2979.96 c #Conflicts: 1802000 | #Constraints: 99567
2972.36/2979.96 c #Conflicts: 1803000 | #Constraints: 100567
2972.36/2979.96 c #Conflicts: 1804000 | #Constraints: 101567
2972.36/2979.96 c #Conflicts: 1805000 | #Constraints: 102567
2972.36/2979.96 c #Conflicts: 1806000 | #Constraints: 103567
2972.36/2979.96 c #Conflicts: 1807000 | #Constraints: 104567
2972.36/2979.96 c #Conflicts: 1808000 | #Constraints: 105567
2972.36/2979.96 c #Conflicts: 1809000 | #Constraints: 106567
2972.36/2979.96 c #Conflicts: 1810000 | #Constraints: 107567
2972.36/2979.96 c #Conflicts: 1811000 | #Constraints: 108567
2972.36/2979.96 c #Conflicts: 1812000 | #Constraints: 109567
2972.36/2979.96 c #Conflicts: 1813000 | #Constraints: 110567
2972.36/2979.96 c #Conflicts: 1814000 | #Constraints: 111567
2972.36/2979.96 c #Conflicts: 1815000 | #Constraints: 112567
2972.36/2979.96 c #Conflicts: 1816000 | #Constraints: 113567
2972.36/2979.96 c #Conflicts: 1817000 | #Constraints: 114567
2972.36/2979.96 c #Conflicts: 1818000 | #Constraints: 115567
2972.36/2979.96 c #Conflicts: 1819000 | #Constraints: 116567
2972.36/2979.96 c #Conflicts: 1820000 | #Constraints: 117567
2972.36/2979.96 c #Conflicts: 1821000 | #Constraints: 118567
2972.36/2979.96 c #Conflicts: 1822000 | #Constraints: 119567
2972.36/2979.96 c #Conflicts: 1823000 | #Constraints: 120567
2972.36/2979.96 c #Conflicts: 1824000 | #Constraints: 121567
2972.36/2979.96 c #Conflicts: 1825000 | #Constraints: 122567
2972.36/2979.96 c #Conflicts: 1826000 | #Constraints: 123567
2972.36/2979.96 c #Conflicts: 1827000 | #Constraints: 124567
2972.36/2979.96 c #Conflicts: 1828000 | #Constraints: 125567
2972.36/2979.96 c #Conflicts: 1829000 | #Constraints: 126567
2972.36/2979.96 c #Conflicts: 1830000 | #Constraints: 127567
2972.36/2979.96 c INPROCESSING
2972.36/2979.96 c GARBAGE COLLECT
2972.36/2979.96 c #Conflicts: 1831000 | #Constraints: 93880
3088.16/3096.05 c #Conflicts: 1832000 | #Constraints: 94880
3088.16/3096.05 c #Conflicts: 1833000 | #Constraints: 95880
3088.16/3096.05 c #Conflicts: 1834000 | #Constraints: 96880
3088.16/3096.05 c #Conflicts: 1835000 | #Constraints: 97880
3088.16/3096.05 c #Conflicts: 1836000 | #Constraints: 98880
3088.16/3096.05 c #Conflicts: 1837000 | #Constraints: 99880
3088.16/3096.05 c #Conflicts: 1838000 | #Constraints: 100880
3088.16/3096.05 c #Conflicts: 1839000 | #Constraints: 101880
3088.16/3096.05 c #Conflicts: 1840000 | #Constraints: 102880
3088.16/3096.05 c #Conflicts: 1841000 | #Constraints: 103880
3088.16/3096.05 c #Conflicts: 1842000 | #Constraints: 104880
3088.16/3096.05 c #Conflicts: 1843000 | #Constraints: 105880
3088.16/3096.05 c #Conflicts: 1844000 | #Constraints: 106880
3088.16/3096.05 c #Conflicts: 1845000 | #Constraints: 107880
3088.16/3096.05 c #Conflicts: 1846000 | #Constraints: 108880
3088.16/3096.05 c #Conflicts: 1847000 | #Constraints: 109880
3088.16/3096.05 c #Conflicts: 1848000 | #Constraints: 110880
3088.16/3096.05 c #Conflicts: 1849000 | #Constraints: 111880
3088.16/3096.05 c #Conflicts: 1850000 | #Constraints: 112880
3088.16/3096.05 c #Conflicts: 1851000 | #Constraints: 113880
3088.16/3096.05 c #Conflicts: 1852000 | #Constraints: 114880
3088.16/3096.05 c #Conflicts: 1853000 | #Constraints: 115880
3088.16/3096.05 c #Conflicts: 1854000 | #Constraints: 116880
3088.16/3096.05 c #Conflicts: 1855000 | #Constraints: 117880
3088.16/3096.05 c #Conflicts: 1856000 | #Constraints: 118880
3088.16/3096.05 c #Conflicts: 1857000 | #Constraints: 119880
3088.16/3096.05 c #Conflicts: 1858000 | #Constraints: 120880
3088.16/3096.05 c #Conflicts: 1859000 | #Constraints: 121880
3088.16/3096.05 c #Conflicts: 1860000 | #Constraints: 122880
3088.16/3096.05 c #Conflicts: 1861000 | #Constraints: 123880
3088.16/3096.05 c INPROCESSING
3088.16/3096.05 c GARBAGE COLLECT
3088.16/3096.05 c #Conflicts: 1862000 | #Constraints: 92119
3088.16/3096.05 c #Conflicts: 1863000 | #Constraints: 93119
3088.16/3096.05 c #Conflicts: 1864000 | #Constraints: 94119
3088.16/3096.05 c #Conflicts: 1865000 | #Constraints: 95119
3088.16/3096.05 c #Conflicts: 1866000 | #Constraints: 96119
3088.16/3096.05 c #Conflicts: 1867000 | #Constraints: 97119
3088.16/3096.05 c #Conflicts: 1868000 | #Constraints: 98119
3088.16/3096.05 c #Conflicts: 1869000 | #Constraints: 99119
3088.16/3096.05 c #Conflicts: 1870000 | #Constraints: 100119
3088.16/3096.05 c #Conflicts: 1871000 | #Constraints: 101119
3088.16/3096.05 c #Conflicts: 1872000 | #Constraints: 102119
3088.16/3096.05 c #Conflicts: 1873000 | #Constraints: 103119
3088.16/3096.05 c #Conflicts: 1874000 | #Constraints: 104119
3088.16/3096.05 c #Conflicts: 1875000 | #Constraints: 105119
3088.16/3096.05 c #Conflicts: 1876000 | #Constraints: 106119
3088.16/3096.05 c #Conflicts: 1877000 | #Constraints: 107119
3088.16/3096.05 c #Conflicts: 1878000 | #Constraints: 108119
3088.16/3096.05 c #Conflicts: 1879000 | #Constraints: 109119
3088.16/3096.05 c #Conflicts: 1880000 | #Constraints: 110119
3088.16/3096.05 c #Conflicts: 1881000 | #Constraints: 111119
3088.16/3096.05 c #Conflicts: 1882000 | #Constraints: 112119
3088.16/3096.05 c #Conflicts: 1883000 | #Constraints: 113119
3088.16/3096.05 c #Conflicts: 1884000 | #Constraints: 114119
3088.16/3096.05 c #Conflicts: 1885000 | #Constraints: 115119
3088.16/3096.05 c #Conflicts: 1886000 | #Constraints: 116119
3088.16/3096.05 c #Conflicts: 1887000 | #Constraints: 117119
3088.16/3096.05 c #Conflicts: 1888000 | #Constraints: 118119
3088.16/3096.05 c #Conflicts: 1889000 | #Constraints: 119119
3088.16/3096.05 c #Conflicts: 1890000 | #Constraints: 120119
3088.16/3096.05 c #Conflicts: 1891000 | #Constraints: 121119
3088.16/3096.05 c #Conflicts: 1892000 | #Constraints: 122119
3088.16/3096.05 c INPROCESSING
3088.16/3096.05 c GARBAGE COLLECT
3088.16/3096.05 c #Conflicts: 1893000 | #Constraints: 91233
3088.16/3096.05 c #Conflicts: 1894000 | #Constraints: 92233
3088.16/3096.05 c #Conflicts: 1895000 | #Constraints: 93233
3088.16/3096.05 c #Conflicts: 1896000 | #Constraints: 94233
3088.16/3096.05 c #Conflicts: 1897000 | #Constraints: 95233
3088.16/3096.05 c #Conflicts: 1898000 | #Constraints: 96233
3088.16/3096.05 c #Conflicts: 1899000 | #Constraints: 97233
3088.16/3096.05 c #Conflicts: 1900000 | #Constraints: 98233
3088.16/3096.05 c #Conflicts: 1901000 | #Constraints: 99233
3088.16/3096.05 c #Conflicts: 1902000 | #Constraints: 100233
3088.16/3096.05 c #Conflicts: 1903000 | #Constraints: 101233
3088.16/3096.05 c #Conflicts: 1904000 | #Constraints: 102233
3088.16/3096.05 c #Conflicts: 1905000 | #Constraints: 103233
3088.16/3096.05 c #Conflicts: 1906000 | #Constraints: 104233
3088.16/3096.05 c #Conflicts: 1907000 | #Constraints: 105233
3088.16/3096.05 c #Conflicts: 1908000 | #Constraints: 106233
3088.16/3096.05 c #Conflicts: 1909000 | #Constraints: 107233
3247.59/3255.97 c #Conflicts: 1910000 | #Constraints: 108233
3247.59/3255.97 c #Conflicts: 1911000 | #Constraints: 109233
3247.59/3255.97 c #Conflicts: 1912000 | #Constraints: 110233
3247.59/3255.97 c #Conflicts: 1913000 | #Constraints: 111233
3247.59/3255.97 c #Conflicts: 1914000 | #Constraints: 112233
3247.59/3255.97 c #Conflicts: 1915000 | #Constraints: 113233
3247.59/3255.97 c #Conflicts: 1916000 | #Constraints: 114233
3247.59/3255.97 c #Conflicts: 1917000 | #Constraints: 115233
3247.59/3255.97 c #Conflicts: 1918000 | #Constraints: 116233
3247.59/3255.97 c #Conflicts: 1919000 | #Constraints: 117233
3247.59/3255.97 c #Conflicts: 1920000 | #Constraints: 118233
3247.59/3255.97 c #Conflicts: 1921000 | #Constraints: 119233
3247.59/3255.97 c #Conflicts: 1922000 | #Constraints: 120233
3247.59/3255.97 c #Conflicts: 1923000 | #Constraints: 121233
3247.59/3255.97 c INPROCESSING
3247.59/3255.97 c GARBAGE COLLECT
3247.59/3255.97 c #Conflicts: 1924000 | #Constraints: 90698
3247.59/3255.97 c #Conflicts: 1925000 | #Constraints: 91698
3247.59/3255.97 c #Conflicts: 1926000 | #Constraints: 92698
3247.59/3255.97 c #Conflicts: 1927000 | #Constraints: 93698
3247.59/3255.97 c #Conflicts: 1928000 | #Constraints: 94698
3247.59/3255.97 c #Conflicts: 1929000 | #Constraints: 95698
3247.59/3255.97 c #Conflicts: 1930000 | #Constraints: 96698
3247.59/3255.97 c #Conflicts: 1931000 | #Constraints: 97698
3247.59/3255.97 c #Conflicts: 1932000 | #Constraints: 98698
3247.59/3255.97 c #Conflicts: 1933000 | #Constraints: 99698
3247.59/3255.97 c #Conflicts: 1934000 | #Constraints: 100698
3247.59/3255.97 c #Conflicts: 1935000 | #Constraints: 101698
3247.59/3255.97 c #Conflicts: 1936000 | #Constraints: 102698
3247.59/3255.97 c #Conflicts: 1937000 | #Constraints: 103698
3247.59/3255.97 c #Conflicts: 1938000 | #Constraints: 104698
3247.59/3255.97 c #Conflicts: 1939000 | #Constraints: 105698
3247.59/3255.97 c #Conflicts: 1940000 | #Constraints: 106698
3247.59/3255.97 c #Conflicts: 1941000 | #Constraints: 107698
3247.59/3255.97 c #Conflicts: 1942000 | #Constraints: 108698
3247.59/3255.97 c #Conflicts: 1943000 | #Constraints: 109698
3247.59/3255.97 c #Conflicts: 1944000 | #Constraints: 110698
3247.59/3255.97 c #Conflicts: 1945000 | #Constraints: 111698
3247.59/3255.97 c #Conflicts: 1946000 | #Constraints: 112698
3247.59/3255.97 c #Conflicts: 1947000 | #Constraints: 113698
3247.59/3255.97 c #Conflicts: 1948000 | #Constraints: 114698
3247.59/3255.97 c #Conflicts: 1949000 | #Constraints: 115698
3247.59/3255.97 c #Conflicts: 1950000 | #Constraints: 116698
3247.59/3255.97 c #Conflicts: 1951000 | #Constraints: 117698
3247.59/3255.97 c #Conflicts: 1952000 | #Constraints: 118698
3247.59/3255.97 c #Conflicts: 1953000 | #Constraints: 119698
3247.59/3255.97 c #Conflicts: 1954000 | #Constraints: 120698
3247.59/3255.97 c #Conflicts: 1955000 | #Constraints: 121698
3247.59/3255.97 c #Conflicts: 1956000 | #Constraints: 122698
3247.59/3255.97 c #Conflicts: 1957000 | #Constraints: 123698
3247.59/3255.97 c #Conflicts: 1958000 | #Constraints: 124698
3247.59/3255.97 c #Conflicts: 1959000 | #Constraints: 125698
3247.59/3255.97 c #Conflicts: 1960000 | #Constraints: 126698
3247.59/3255.97 c #Conflicts: 1961000 | #Constraints: 127698
3247.59/3255.97 c #Conflicts: 1962000 | #Constraints: 128698
3247.59/3255.97 c #Conflicts: 1963000 | #Constraints: 129698
3247.59/3255.97 c #Conflicts: 1964000 | #Constraints: 130698
3247.59/3255.97 c #Conflicts: 1965000 | #Constraints: 131698
3247.59/3255.97 c #Conflicts: 1966000 | #Constraints: 132698
3247.59/3255.97 c #Conflicts: 1967000 | #Constraints: 133698
3247.59/3255.97 c #Conflicts: 1968000 | #Constraints: 134698
3247.59/3255.97 c #Conflicts: 1969000 | #Constraints: 135698
3247.59/3255.97 c #Conflicts: 1970000 | #Constraints: 136698
3247.59/3255.97 c #Conflicts: 1971000 | #Constraints: 137698
3247.59/3255.97 c #Conflicts: 1972000 | #Constraints: 138698
3247.59/3255.97 c #Conflicts: 1973000 | #Constraints: 139698
3247.59/3255.97 c #Conflicts: 1974000 | #Constraints: 140698
3247.59/3255.97 c #Conflicts: 1975000 | #Constraints: 141698
3247.59/3255.97 c #Conflicts: 1976000 | #Constraints: 142698
3247.59/3255.97 c #Conflicts: 1977000 | #Constraints: 143698
3247.59/3255.97 c #Conflicts: 1978000 | #Constraints: 144698
3247.59/3255.97 c #Conflicts: 1979000 | #Constraints: 145698
3247.59/3255.97 c #Conflicts: 1980000 | #Constraints: 146698
3247.59/3255.97 c #Conflicts: 1981000 | #Constraints: 147698
3247.59/3255.97 c #Conflicts: 1982000 | #Constraints: 148698
3247.59/3255.97 c #Conflicts: 1983000 | #Constraints: 149698
3247.59/3255.97 c #Conflicts: 1984000 | #Constraints: 150698
3247.59/3255.97 c #Conflicts: 1985000 | #Constraints: 151698
3247.59/3255.97 c #Conflicts: 1986000 | #Constraints: 152698
3247.59/3255.97 c #Conflicts: 1987000 | #Constraints: 153698
3551.30/3560.55 c #Conflicts: 1988000 | #Constraints: 154698
3551.30/3560.55 c #Conflicts: 1989000 | #Constraints: 155698
3551.30/3560.55 c #Conflicts: 1990000 | #Constraints: 156698
3551.30/3560.55 c #Conflicts: 1991000 | #Constraints: 157698
3551.30/3560.55 c #Conflicts: 1992000 | #Constraints: 158698
3551.30/3560.55 c #Conflicts: 1993000 | #Constraints: 159698
3551.30/3560.55 c #Conflicts: 1994000 | #Constraints: 160698
3551.30/3560.55 c #Conflicts: 1995000 | #Constraints: 161698
3551.30/3560.55 c #Conflicts: 1996000 | #Constraints: 162698
3551.30/3560.55 c #Conflicts: 1997000 | #Constraints: 163698
3551.30/3560.55 c #Conflicts: 1998000 | #Constraints: 164698
3551.30/3560.55 c #Conflicts: 1999000 | #Constraints: 165698
3551.30/3560.55 c #Conflicts: 2000000 | #Constraints: 166698
3551.30/3560.55 c #Conflicts: 2001000 | #Constraints: 167698
3551.30/3560.55 c #Conflicts: 2002000 | #Constraints: 168698
3551.30/3560.55 c #Conflicts: 2003000 | #Constraints: 169698
3551.30/3560.55 c #Conflicts: 2004000 | #Constraints: 170698
3551.30/3560.55 c #Conflicts: 2005000 | #Constraints: 171698
3551.30/3560.55 c #Conflicts: 2006000 | #Constraints: 172698
3551.30/3560.55 c #Conflicts: 2007000 | #Constraints: 173698
3551.30/3560.55 c #Conflicts: 2008000 | #Constraints: 174698
3551.30/3560.55 c #Conflicts: 2009000 | #Constraints: 175698
3551.30/3560.55 c #Conflicts: 2010000 | #Constraints: 176698
3551.30/3560.55 c #Conflicts: 2011000 | #Constraints: 177698
3551.30/3560.55 c #Conflicts: 2012000 | #Constraints: 178698
3551.30/3560.55 c #Conflicts: 2013000 | #Constraints: 179698
3551.30/3560.55 c #Conflicts: 2014000 | #Constraints: 180698
3551.30/3560.55 c #Conflicts: 2015000 | #Constraints: 181698
3551.30/3560.55 c #Conflicts: 2016000 | #Constraints: 182698
3551.30/3560.55 c #Conflicts: 2017000 | #Constraints: 183698
3551.30/3560.55 c #Conflicts: 2018000 | #Constraints: 184698
3551.30/3560.55 c #Conflicts: 2019000 | #Constraints: 185698
3551.30/3560.55 c #Conflicts: 2020000 | #Constraints: 186698
3551.30/3560.55 c #Conflicts: 2021000 | #Constraints: 187698
3551.30/3560.55 c #Conflicts: 2022000 | #Constraints: 188698
3551.30/3560.55 c #Conflicts: 2023000 | #Constraints: 189698
3551.30/3560.55 c #Conflicts: 2024000 | #Constraints: 190698
3551.30/3560.55 c #Conflicts: 2025000 | #Constraints: 191698
3551.30/3560.55 c #Conflicts: 2026000 | #Constraints: 192698
3551.30/3560.55 c #Conflicts: 2027000 | #Constraints: 193698
3551.30/3560.55 c #Conflicts: 2028000 | #Constraints: 194698
3551.30/3560.55 c #Conflicts: 2029000 | #Constraints: 195698
3551.30/3560.55 c #Conflicts: 2030000 | #Constraints: 196698
3551.30/3560.55 c #Conflicts: 2031000 | #Constraints: 197698
3551.30/3560.55 c INPROCESSING
3551.30/3560.55 c GARBAGE COLLECT
3551.30/3560.55 c #Conflicts: 2032000 | #Constraints: 128973
3551.30/3560.55 c #Conflicts: 2033000 | #Constraints: 129973
3551.30/3560.55 c #Conflicts: 2034000 | #Constraints: 130973
3551.30/3560.55 c #Conflicts: 2035000 | #Constraints: 131973
3551.30/3560.55 c #Conflicts: 2036000 | #Constraints: 132973
3551.30/3560.55 c #Conflicts: 2037000 | #Constraints: 133973
3551.30/3560.55 c #Conflicts: 2038000 | #Constraints: 134973
3551.30/3560.55 c #Conflicts: 2039000 | #Constraints: 135973
3551.30/3560.55 c #Conflicts: 2040000 | #Constraints: 136973
3551.30/3560.55 c #Conflicts: 2041000 | #Constraints: 137973
3551.30/3560.55 c #Conflicts: 2042000 | #Constraints: 138973
3551.30/3560.55 c #Conflicts: 2043000 | #Constraints: 139973
3551.30/3560.55 c #Conflicts: 2044000 | #Constraints: 140973
3551.30/3560.55 c #Conflicts: 2045000 | #Constraints: 141973
3551.30/3560.55 c #Conflicts: 2046000 | #Constraints: 142973
3551.30/3560.55 c #Conflicts: 2047000 | #Constraints: 143973
3551.30/3560.55 c #Conflicts: 2048000 | #Constraints: 144973
3551.30/3560.55 c #Conflicts: 2049000 | #Constraints: 145973
3551.30/3560.55 c #Conflicts: 2050000 | #Constraints: 146973
3551.30/3560.55 c #Conflicts: 2051000 | #Constraints: 147973
3551.30/3560.55 c #Conflicts: 2052000 | #Constraints: 148973
3551.30/3560.55 c #Conflicts: 2053000 | #Constraints: 149973
3551.30/3560.55 c #Conflicts: 2054000 | #Constraints: 150973
3551.30/3560.55 c #Conflicts: 2055000 | #Constraints: 151973
3551.30/3560.55 c #Conflicts: 2056000 | #Constraints: 152973
3551.30/3560.55 c #Conflicts: 2057000 | #Constraints: 153973
3551.30/3560.55 c #Conflicts: 2058000 | #Constraints: 154973
3551.30/3560.55 c #Conflicts: 2059000 | #Constraints: 155973
3551.30/3560.55 c #Conflicts: 2060000 | #Constraints: 156973
3551.30/3560.55 c #Conflicts: 2061000 | #Constraints: 157973
3551.30/3560.55 c #Conflicts: 2062000 | #Constraints: 158973
3551.30/3560.55 c #Conflicts: 2063000 | #Constraints: 159973
3551.30/3560.55 c #Conflicts: 2064000 | #Constraints: 160973
3551.30/3560.55 c INPROCESSING
3551.30/3560.55 c GARBAGE COLLECT
3600.05/3609.40 c #Conflicts: 2065000 | #Constraints: 110861
3600.05/3609.40 c #Conflicts: 2066000 | #Constraints: 111861
3600.05/3609.40 c #Conflicts: 2067000 | #Constraints: 112861
3600.05/3609.40 c #Conflicts: 2068000 | #Constraints: 113861
3600.05/3609.40 c #Conflicts: 2069000 | #Constraints: 114861
3600.05/3609.40 c #Conflicts: 2070000 | #Constraints: 115861
3600.05/3609.40 c #Conflicts: 2071000 | #Constraints: 116861
3600.05/3609.40 c #Conflicts: 2072000 | #Constraints: 117861
3600.05/3609.40 c #Conflicts: 2073000 | #Constraints: 118861
3600.05/3609.40 c #Conflicts: 2074000 | #Constraints: 119861
3600.05/3609.40 c #Conflicts: 2075000 | #Constraints: 120861
3600.05/3609.40 c #Conflicts: 2076000 | #Constraints: 121861
3600.05/3609.40 c #Conflicts: 2077000 | #Constraints: 122861
3600.05/3609.40 c #Conflicts: 2078000 | #Constraints: 123861
3600.05/3609.40 c #Conflicts: 2079000 | #Constraints: 124861
3600.05/3609.40 c #Conflicts: 2080000 | #Constraints: 125861
3600.05/3609.40 c #Conflicts: 2081000 | #Constraints: 126861
3600.05/3609.40 c #Conflicts: 2082000 | #Constraints: 127861
3600.05/3609.40 c #Conflicts: 2083000 | #Constraints: 128861
3600.05/3609.40 c #Conflicts: 2084000 | #Constraints: 129861
3600.05/3609.40 c Program interrupted by user.
3600.05/3609.40 c cpu time 3590.89 s
3600.05/3609.40 c deterministic time 387878672476 3.88e+11
3600.05/3609.40 c optimization time 51.4266 s
3600.05/3609.40 c total solve time 3539.37 s
3600.05/3609.40 c core-guided solve time 3539.37 s
3600.05/3609.40 c propagation time 3105.86 s
3600.05/3609.40 c conflict analysis time 466.075 s
3600.05/3609.40 c propagations 586595452
3600.05/3609.40 c resolve steps 38444455
3600.05/3609.40 c decisions 4259232
3600.05/3609.40 c conflicts 2084974
3600.05/3609.40 c restarts 4091
3600.05/3609.40 c inprocessing phases 86
3600.05/3609.40 c input clauses 58489
3600.05/3609.40 c input cardinalities 149
3600.05/3609.40 c input general constraints 88
3600.05/3609.40 c input average constraint length 2.70
3600.05/3609.40 c input average constraint degree 1.40
3600.05/3609.40 c learned clauses 1579003
3600.05/3609.40 c learned cardinalities 3350
3600.05/3609.40 c learned general constraints 502615
3600.05/3609.40 c learned average constraint length 57.82
3600.05/3609.40 c learned average constraint degree 88.20
3600.05/3609.40 c watched constraints 453532
3600.05/3609.40 c counting constraints 49171
3600.05/3609.40 c gcd simplifications 16873
3600.05/3609.40 c detected cardinalities 438
3600.05/3609.40 c weakened non-implied lits 11407722
3600.05/3609.40 c weakened non-implying lits 39300
3600.05/3609.40 c original variables 945
3600.05/3609.40 c clausal propagations 547119691
3600.05/3609.40 c cardinality propagations 149489
3600.05/3609.40 c watched propagations 9228275
3600.05/3609.40 c counting propagations 28412753
3600.05/3609.40 c watch lookups 81568291305
3600.05/3609.40 c watch backjump lookups 64391894211
3600.05/3609.40 c watch checks 221574103917
3600.05/3609.40 c propagation checks 18737584002
3600.05/3609.40 c constraint additions 423005379
3600.05/3609.40 c trail pops 592938977
3600.05/3609.40 c formula constraints 58245
3600.05/3609.40 c learned constraints 2084968
3600.05/3609.40 c bound constraints 41
3600.05/3609.40 c core-guided constraints 440
3600.05/3609.40 c encountered formula constraints 15689880
3600.05/3609.40 c encountered learned constraints 24090070
3600.05/3609.40 c encountered bound constraints 309
3600.05/3609.40 c encountered core-guided constraints 749170
3600.05/3609.40 c LP total time 0 s
3600.05/3609.40 c LP solve time 0 s
3600.05/3609.40 c LP constraints added 0
3600.05/3609.40 c LP constraints removed 0
3600.05/3609.40 c LP pivots internal 0
3600.05/3609.40 c LP pivots root 0
3600.05/3609.40 c LP calls 0
3600.05/3609.40 c LP optimalities 0
3600.05/3609.40 c LP no pivot count 0
3600.05/3609.40 c LP infeasibilities 0
3600.05/3609.40 c LP valid Farkas constraints 0
3600.05/3609.40 c LP learned Farkas constraints 0
3600.05/3609.40 c LP basis resets 0
3600.05/3609.40 c LP cycling count 0
3600.05/3609.40 c LP singular count 0
3600.05/3609.40 c LP no primal count 0
3600.05/3609.40 c LP no farkas count 0
3600.05/3609.40 c LP other issue count 0
3600.05/3609.40 c LP Gomory cuts 0
3600.05/3609.40 c LP learned cuts 0
3600.05/3609.40 c LP deleted cuts 0
3600.05/3609.40 c LP encountered Gomory constraints 0
3600.05/3609.40 c LP encountered Farkas constraints 0
3600.05/3609.40 c LP encountered learned Farkas constraints 0
3600.05/3609.40 c CG auxiliary variables introduced 264
3600.05/3609.40 c CG solutions found 1
3600.05/3609.40 c CG cores constructed 28
3600.05/3609.40 c CG core cardinality constraints returned 0
3600.05/3609.40 c CG unit cores 0
3600.05/3609.40 c CG single cores 28
3600.05/3609.40 c CG blocks removed during cardinality reduction 0
3600.05/3609.40 c CG first core best 0
3600.05/3609.40 c CG decision core best 0
3600.05/3609.40 c CG core reduction tie 0
3600.05/3609.40 c CG core degree average 1.00
3600.05/3609.40 c CG core slack average 7.71
3600.05/3609.40 c CG exhausted 6
3600.05/3609.40 c CG exhaust time 2.82765 s
3600.05/3609.40 c CG trimmed 0
3600.05/3609.40 c CG trim time 0.000444 s
3600.05/3609.40 c CG minimized 0
3600.05/3609.40 c CG minimize time 0 s
3600.05/3609.40 c CG am1 prop time 0.003775 s
3600.05/3609.40 c CG # am1s reformulated 166
3600.05/3609.40 c CG lower bound derived from am1s 778
3600.05/3609.40 c CG # clausal cores 28
3600.05/3609.40 c CG # cardinality cores 0
3600.05/3609.40 c CG # pb cores 0
3600.05/3609.40 c CG # pb reforms 0
3600.05/3609.40 c CG # cores discarded because of pb reform 0
3600.05/3609.40 d LOWERBOUND -133
3600.05/3609.40 d NCORES 28
3600.05/3609.40 d NPBCORES 0
3600.05/3609.40 d NPBREFORM 0
3600.05/3609.40 d NTRIMMED 0
3600.05/3609.40 d NEXHAUSTED 6
3600.05/3609.40 d NAM1S 166
3600.05/3609.40 d AM1LB 778
3600.05/3609.40 o -29
3600.05/3609.40 s SATISFIABLE
3600.05/3609.40 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 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 x945
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 (62402 MiB free)
memory of node 1: 64507 MiB (63639 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484994-1751299877/watcher-4484994-1751299877 -o /tmp/evaluation-result-4484994-1751299877/solver-4484994-1751299877 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751292654-42303 --watchdog 3760 pb-oll-rs HOME/instance-4484994-1751299877.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
solver pid=43110, runsolver pid=43107
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.12 4.10 4.09 5/265 43111
/proc/meminfo: memFree=129061344/131249996 swapFree=33010684/33010684
[pid=43110] ppid=43107 vsize=21284 memory=8348 CPUtime=0.08 cores=4,6
/proc/43110/stat : 43110 (pb-oll-rs) R 43107 43110 42292 0 -1 4194304 691 0 0 0 6 2 0 0 20 0 1 0 45665364 21794816 2087 18446744073709551615 4218880 5211445 140735023249088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9601024 140735023253916 140735023253993 140735023253993 140735023259595 0
/proc/43110/statm: 5321 2087 1120 243 0 1570 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 21284 KiB
Current children cumulated memory: 8348 KiB
[startup+0.205482 s]*
/proc/loadavg: 4.12 4.10 4.09 5/265 43111
/proc/meminfo: memFree=129026504/131249996 swapFree=33010684/33010684
[pid=43110] ppid=43107 vsize=29424 memory=19244 CPUtime=0.2 cores=4,6
/proc/43110/stat : 43110 (pb-oll-rs) R 43107 43110 42292 0 -1 4194304 2743 0 0 0 14 6 0 0 20 0 1 0 45665364 30130176 4811 18446744073709551615 4218880 5211445 140735023249088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9601024 140735023253916 140735023253993 140735023253993 140735023259595 0
/proc/43110/statm: 7356 4811 1344 243 0 3605 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 29424 KiB
Current children cumulated memory: 19244 KiB
[startup+0.30554 s]*
/proc/loadavg: 4.12 4.10 4.09 5/265 43111
/proc/meminfo: memFree=129025748/131249996 swapFree=33010684/33010684
[pid=43110] ppid=43107 vsize=29556 memory=19244 CPUtime=0.29 cores=4,6
/proc/43110/stat : 43110 (pb-oll-rs) R 43107 43110 42292 0 -1 4194304 2761 0 0 0 23 6 0 0 20 0 1 0 45665364 30265344 4811 18446744073709551615 4218880 5211445 140735023249088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9601024 140735023253916 140735023253993 140735023253993 140735023259595 0
/proc/43110/statm: 7389 4811 1344 243 0 3638 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 29556 KiB
Current children cumulated memory: 19244 KiB
[startup+0.700142 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 43111
/proc/meminfo: memFree=129014408/131249996 swapFree=33010684/33010684
[pid=43110] ppid=43107 vsize=34928 memory=24232 CPUtime=0.68 cores=4,6
/proc/43110/stat : 43110 (pb-oll-rs) R 43107 43110 42292 0 -1 4194304 4262 0 0 0 61 7 0 0 20 0 1 0 45665364 35766272 6058 18446744073709551615 4218880 5211445 140735023249088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9601024 140735023253916 140735023253993 140735023253993 140735023259595 0
/proc/43110/statm: 8732 6058 1344 243 0 4981 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 34928 KiB
Current children cumulated memory: 24232 KiB
[startup+1.50014 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 43111
/proc/meminfo: memFree=129006532/131249996 swapFree=33010684/33010684
[pid=43110] ppid=43107 vsize=41896 memory=31484 CPUtime=1.48 cores=4,6
/proc/43110/stat : 43110 (pb-oll-rs) R 43107 43110 42292 0 -1 4194304 5054 0 0 0 140 8 0 0 20 0 1 0 45665364 42901504 7871 18446744073709551615 4218880 5211445 140735023249088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9601024 140735023253916 140735023253993 140735023253993 140735023259595 0
/proc/43110/statm: 10474 7871 1344 243 0 6723 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 41896 KiB
Current children cumulated memory: 31484 KiB
[startup+3.10536 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 43111
/proc/meminfo: memFree=128982712/131249996 swapFree=33010684/33010684
[pid=43110] ppid=43107 vsize=51508 memory=40428 CPUtime=3.08 cores=4,6
/proc/43110/stat : 43110 (pb-oll-rs) R 43107 43110 42292 0 -1 4194304 5735 0 0 0 297 11 0 0 20 0 1 0 45665364 52744192 10107 18446744073709551615 4218880 5211445 140735023249088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9601024 140735023253916 140735023253993 140735023253993 140735023259595 0
/proc/43110/statm: 12877 10107 1344 243 0 9126 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 51508 KiB
Current children cumulated memory: 40428 KiB
[startup+6.30014 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 43111
/proc/meminfo: memFree=128965700/131249996 swapFree=33010684/33010684
[pid=43110] ppid=43107 vsize=52300 memory=41068 CPUtime=6.26 cores=4,6
/proc/43110/stat : 43110 (pb-oll-rs) R 43107 43110 42292 0 -1 4194304 5921 0 0 0 608 18 0 0 20 0 1 0 45665364 53555200 10267 18446744073709551615 4218880 5211445 140735023249088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9601024 140735023253916 140735023253993 140735023253993 140735023259595 0
/proc/43110/statm: 13075 10267 1344 243 0 9324 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 52300 KiB
Current children cumulated memory: 41068 KiB
[startup+12.7001 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 43111
/proc/meminfo: memFree=128961668/131249996 swapFree=33010684/33010684
[pid=43110] ppid=43107 vsize=53584 memory=42348 CPUtime=12.65 cores=4,6
/proc/43110/stat : 43110 (pb-oll-rs) R 43107 43110 42292 0 -1 4194304 6242 0 0 0 1240 25 0 0 20 0 1 0 45665364 54870016 10587 18446744073709551615 4218880 5211445 140735023249088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9601024 140735023253916 140735023253993 140735023253993 140735023259595 0
/proc/43110/statm: 13396 10587 1344 243 0 9645 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 53584 KiB
Current children cumulated memory: 42348 KiB
[startup+25.5001 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 43111
/proc/meminfo: memFree=128958644/131249996 swapFree=33010684/33010684
[pid=43110] ppid=43107 vsize=54368 memory=43244 CPUtime=25.42 cores=4,6
/proc/43110/stat : 43110 (pb-oll-rs) R 43107 43110 42292 0 -1 4194304 6444 0 0 0 2506 36 0 0 20 0 1 0 45665364 55672832 10811 18446744073709551615 4218880 5211445 140735023249088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9601024 140735023253916 140735023253993 140735023253993 140735023259595 0
/proc/43110/statm: 13592 10811 1344 243 0 9841 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 54368 KiB
Current children cumulated memory: 43244 KiB
[startup+51.1054 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 43111
/proc/meminfo: memFree=128960856/131249996 swapFree=33010684/33010684
[pid=43110] ppid=43107 vsize=55320 memory=44140 CPUtime=50.95 cores=4,6
/proc/43110/stat : 43110 (pb-oll-rs) R 43107 43110 42292 0 -1 4194304 6688 0 0 0 5040 55 0 0 20 0 1 0 45665364 56647680 11035 18446744073709551615 4218880 5211445 140735023249088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9601024 140735023253916 140735023253993 140735023253993 140735023259595 0
/proc/43110/statm: 13830 11035 1344 243 0 10079 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 55320 KiB
Current children cumulated memory: 44140 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 43115
/proc/meminfo: memFree=128940288/131249996 swapFree=33010684/33010684
[pid=43110] ppid=43107 vsize=57016 memory=45932 CPUtime=102.01 cores=4,6
/proc/43110/stat : 43110 (pb-oll-rs) R 43107 43110 42292 0 -1 4194304 7116 0 0 0 10101 100 0 0 20 0 1 0 45665364 58384384 11483 18446744073709551615 4218880 5211445 140735023249088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9601024 140735023253916 140735023253993 140735023253993 140735023259595 0
/proc/43110/statm: 14254 11483 1344 243 0 10503 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 57016 KiB
Current children cumulated memory: 45932 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/265 43117
/proc/meminfo: memFree=128889424/131249996 swapFree=33010684/33010684
[pid=43110] ppid=43107 vsize=59348 memory=48492 CPUtime=161.85 cores=4,6
/proc/43110/stat : 43110 (pb-oll-rs) R 43107 43110 42292 0 -1 4194304 7751 0 0 0 16052 133 0 0 20 0 1 0 45665364 60772352 12123 18446744073709551615 4218880 5211445 140735023249088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9601024 140735023253916 140735023253993 140735023253993 140735023259595 0
/proc/43110/statm: 14837 12123 1344 243 0 11086 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 59348 KiB
Current children cumulated memory: 48492 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 43126
/proc/meminfo: memFree=128905700/131249996 swapFree=33010684/33010684
[pid=43110] ppid=43107 vsize=60852 memory=50028 CPUtime=221.7 cores=4,6
/proc/43110/stat : 43110 (pb-oll-rs) R 43107 43110 42292 0 -1 4194304 8137 0 0 0 22013 157 0 0 20 0 1 0 45665364 62312448 12507 18446744073709551615 4218880 5211445 140735023249088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9601024 140735023253916 140735023253993 140735023253993 140735023259595 0
/proc/43110/statm: 15213 12507 1344 243 0 11462 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 60852 KiB
Current children cumulated memory: 50028 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 43128
/proc/meminfo: memFree=128904788/131249996 swapFree=33010684/33010684
[pid=43110] ppid=43107 vsize=60852 memory=50028 CPUtime=281.55 cores=4,6
/proc/43110/stat : 43110 (pb-oll-rs) R 43107 43110 42292 0 -1 4194304 8144 0 0 0 27970 185 0 0 20 0 1 0 45665364 62312448 12507 18446744073709551615 4218880 5211445 140735023249088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9601024 140735023253916 140735023253993 140735023253993 140735023259595 0
/proc/43110/statm: 15213 12507 1344 243 0 11462 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 60852 KiB
Current children cumulated memory: 50028 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 43130
/proc/meminfo: memFree=128912108/131249996 swapFree=33010684/33010684
[pid=43110] ppid=43107 vsize=62040 memory=51768 CPUtime=341.39 cores=4,6
/proc/43110/stat : 43110 (pb-oll-rs) R 43107 43110 42292 0 -1 4194304 9030 0 0 0 33938 201 0 0 20 0 1 0 45665364 63528960 12942 18446744073709551615 4218880 5211445 140735023249088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9601024 140735023253916 140735023253993 140735023253993 140735023259595 0
/proc/43110/statm: 15510 12942 1344 243 0 11759 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 62040 KiB
Current children cumulated memory: 51768 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 43132
/proc/meminfo: memFree=128910488/131249996 swapFree=33010684/33010684
[pid=43110] ppid=43107 vsize=62040 memory=51768 CPUtime=401.24 cores=4,6
/proc/43110/stat : 43110 (pb-oll-rs) R 43107 43110 42292 0 -1 4194304 9037 0 0 0 39895 229 0 0 20 0 1 0 45665364 63528960 12942 18446744073709551615 4218880 5211445 140735023249088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9601024 140735023253916 140735023253993 140735023253993 140735023259595 0
/proc/43110/statm: 15510 12942 1344 243 0 11759 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 62040 KiB
Current children cumulated memory: 51768 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 43135
/proc/meminfo: memFree=128911520/131249996 swapFree=33010684/33010684
[pid=43110] ppid=43107 vsize=75852 memory=55096 CPUtime=461.09 cores=4,6
/proc/43110/stat : 43110 (pb-oll-rs) R 43107 43110 42292 0 -1 4194304 9921 0 0 0 45865 244 0 0 20 0 1 0 45665364 77672448 13774 18446744073709551615 4218880 5211445 140735023249088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9601024 140735023253916 140735023253993 140735023253993 140735023259595 0
/proc/43110/statm: 18963 13774 1344 243 0 15212 0
Current children cumulated CPU time: 461.09 s
################
# More data... #
################
Current children cumulated memory: 84412 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/265 43300
/proc/meminfo: memFree=128836964/131249996 swapFree=33010684/33010684
[pid=43110] ppid=43107 vsize=105644 memory=84540 CPUtime=2855.05 cores=4,6
/proc/43110/stat : 43110 (pb-oll-rs) R 43107 43110 42292 0 -1 4194304 17353 0 0 0 284718 787 0 0 20 0 1 0 45665364 108179456 21135 18446744073709551615 4218880 5211445 140735023249088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9601024 140735023253916 140735023253993 140735023253993 140735023259595 0
/proc/43110/statm: 26411 21135 1344 243 0 22660 0
Current children cumulated CPU time: 2855.05 s
Current children cumulated vsize: 105644 KiB
Current children cumulated memory: 84540 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 43302
/proc/meminfo: memFree=128829888/131249996 swapFree=33010684/33010684
[pid=43110] ppid=43107 vsize=105012 memory=83908 CPUtime=2914.9 cores=4,6
/proc/43110/stat : 43110 (pb-oll-rs) R 43107 43110 42292 0 -1 4194304 17848 0 0 0 290695 795 0 0 20 0 1 0 45665364 107532288 20977 18446744073709551615 4218880 5211445 140735023249088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9601024 140735023253916 140735023253993 140735023253993 140735023259595 0
/proc/43110/statm: 26253 20977 1344 243 0 22502 0
Current children cumulated CPU time: 2914.9 s
Current children cumulated vsize: 105012 KiB
Current children cumulated memory: 83908 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 43305
/proc/meminfo: memFree=128839948/131249996 swapFree=33010684/33010684
[pid=43110] ppid=43107 vsize=105012 memory=83908 CPUtime=2974.76 cores=4,6
/proc/43110/stat : 43110 (pb-oll-rs) R 43107 43110 42292 0 -1 4194304 17848 0 0 0 296667 809 0 0 20 0 1 0 45665364 107532288 20977 18446744073709551615 4218880 5211445 140735023249088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9601024 140735023253916 140735023253993 140735023253993 140735023259595 0
/proc/43110/statm: 26253 20977 1344 243 0 22502 0
Current children cumulated CPU time: 2974.76 s
Current children cumulated vsize: 105012 KiB
Current children cumulated memory: 83908 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 43318
/proc/meminfo: memFree=128835388/131249996 swapFree=33010684/33010684
[pid=43110] ppid=43107 vsize=105012 memory=83908 CPUtime=3034.61 cores=4,6
/proc/43110/stat : 43110 (pb-oll-rs) R 43107 43110 42292 0 -1 4194304 17849 0 0 0 302638 823 0 0 20 0 1 0 45665364 107532288 20977 18446744073709551615 4218880 5211445 140735023249088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9601024 140735023253916 140735023253993 140735023253993 140735023259595 0
/proc/43110/statm: 26253 20977 1344 243 0 22502 0
Current children cumulated CPU time: 3034.61 s
Current children cumulated vsize: 105012 KiB
Current children cumulated memory: 83908 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/263 43320
/proc/meminfo: memFree=128851104/131249996 swapFree=33010684/33010684
[pid=43110] ppid=43107 vsize=105012 memory=83908 CPUtime=3094.44 cores=4,6
/proc/43110/stat : 43110 (pb-oll-rs) R 43107 43110 42292 0 -1 4194304 17849 0 0 0 308605 839 0 0 20 0 1 0 45665364 107532288 20977 18446744073709551615 4218880 5211445 140735023249088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9601024 140735023253916 140735023253993 140735023253993 140735023259595 0
/proc/43110/statm: 26253 20977 1344 243 0 22502 0
Current children cumulated CPU time: 3094.44 s
Current children cumulated vsize: 105012 KiB
Current children cumulated memory: 83908 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 43322
/proc/meminfo: memFree=128850204/131249996 swapFree=33010684/33010684
[pid=43110] ppid=43107 vsize=105012 memory=83908 CPUtime=3154.27 cores=4,6
/proc/43110/stat : 43110 (pb-oll-rs) R 43107 43110 42292 0 -1 4194304 17851 0 0 0 314573 854 0 0 20 0 1 0 45665364 107532288 20977 18446744073709551615 4218880 5211445 140735023249088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9601024 140735023253916 140735023253993 140735023253993 140735023259595 0
/proc/43110/statm: 26253 20977 1344 243 0 22502 0
Current children cumulated CPU time: 3154.27 s
Current children cumulated vsize: 105012 KiB
Current children cumulated memory: 83908 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 43331
/proc/meminfo: memFree=128838252/131249996 swapFree=33010684/33010684
[pid=43110] ppid=43107 vsize=105012 memory=83908 CPUtime=3214.09 cores=4,6
/proc/43110/stat : 43110 (pb-oll-rs) R 43107 43110 42292 0 -1 4194304 17851 0 0 0 320546 863 0 0 20 0 1 0 45665364 107532288 20977 18446744073709551615 4218880 5211445 140735023249088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9601024 140735023253916 140735023253993 140735023253993 140735023259595 0
/proc/43110/statm: 26253 20977 1344 243 0 22502 0
Current children cumulated CPU time: 3214.09 s
Current children cumulated vsize: 105012 KiB
Current children cumulated memory: 83908 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 43333
/proc/meminfo: memFree=128838380/131249996 swapFree=33010684/33010684
[pid=43110] ppid=43107 vsize=105012 memory=83908 CPUtime=3273.91 cores=4,6
/proc/43110/stat : 43110 (pb-oll-rs) R 43107 43110 42292 0 -1 4194304 17851 0 0 0 326519 872 0 0 20 0 1 0 45665364 107532288 20977 18446744073709551615 4218880 5211445 140735023249088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9601024 140735023253916 140735023253993 140735023253993 140735023259595 0
/proc/43110/statm: 26253 20977 1344 243 0 22502 0
Current children cumulated CPU time: 3273.91 s
Current children cumulated vsize: 105012 KiB
Current children cumulated memory: 83908 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 43336
/proc/meminfo: memFree=128839424/131249996 swapFree=33010684/33010684
[pid=43110] ppid=43107 vsize=105012 memory=83908 CPUtime=3333.75 cores=4,6
/proc/43110/stat : 43110 (pb-oll-rs) R 43107 43110 42292 0 -1 4194304 17851 0 0 0 332494 881 0 0 20 0 1 0 45665364 107532288 20977 18446744073709551615 4218880 5211445 140735023249088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9601024 140735023253916 140735023253993 140735023253993 140735023259595 0
/proc/43110/statm: 26253 20977 1344 243 0 22502 0
Current children cumulated CPU time: 3333.75 s
Current children cumulated vsize: 105012 KiB
Current children cumulated memory: 83908 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 43338
/proc/meminfo: memFree=128838100/131249996 swapFree=33010684/33010684
[pid=43110] ppid=43107 vsize=105012 memory=86024 CPUtime=3393.57 cores=4,6
/proc/43110/stat : 43110 (pb-oll-rs) R 43107 43110 42292 0 -1 4194304 17852 0 0 0 338469 888 0 0 20 0 1 0 45665364 107532288 21506 18446744073709551615 4218880 5211445 140735023249088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9601024 140735023253916 140735023253993 140735023253993 140735023259595 0
/proc/43110/statm: 26253 21506 1344 243 0 22502 0
Current children cumulated CPU time: 3393.57 s
Current children cumulated vsize: 105012 KiB
Current children cumulated memory: 86024 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 43340
/proc/meminfo: memFree=128824612/131249996 swapFree=33010684/33010684
[pid=43110] ppid=43107 vsize=107980 memory=90760 CPUtime=3453.39 cores=4,6
/proc/43110/stat : 43110 (pb-oll-rs) R 43107 43110 42292 0 -1 4194304 18537 0 0 0 344443 896 0 0 20 0 1 0 45665364 110571520 22690 18446744073709551615 4218880 5211445 140735023249088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9601024 140735023253916 140735023253993 140735023253993 140735023259595 0
/proc/43110/statm: 26995 22690 1344 243 0 23244 0
Current children cumulated CPU time: 3453.39 s
Current children cumulated vsize: 107980 KiB
Current children cumulated memory: 90760 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 43342
/proc/meminfo: memFree=128826328/131249996 swapFree=33010684/33010684
[pid=43110] ppid=43107 vsize=107980 memory=90760 CPUtime=3513.22 cores=4,6
/proc/43110/stat : 43110 (pb-oll-rs) R 43107 43110 42292 0 -1 4194304 18537 0 0 0 350419 903 0 0 20 0 1 0 45665364 110571520 22690 18446744073709551615 4218880 5211445 140735023249088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9601024 140735023253916 140735023253993 140735023253993 140735023259595 0
/proc/43110/statm: 26995 22690 1344 243 0 23244 0
Current children cumulated CPU time: 3513.22 s
Current children cumulated vsize: 107980 KiB
Current children cumulated memory: 90760 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 43344
/proc/meminfo: memFree=128826388/131249996 swapFree=33010684/33010684
[pid=43110] ppid=43107 vsize=107980 memory=91016 CPUtime=3573.05 cores=4,6
/proc/43110/stat : 43110 (pb-oll-rs) R 43107 43110 42292 0 -1 4194304 18591 0 0 0 356393 912 0 0 20 0 1 0 45665364 110571520 22754 18446744073709551615 4218880 5211445 140735023249088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9601024 140735023253916 140735023253993 140735023253993 140735023259595 0
/proc/43110/statm: 26995 22754 1344 243 0 23244 0
Current children cumulated CPU time: 3573.05 s
Current children cumulated vsize: 107980 KiB
Current children cumulated memory: 91016 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.07 4.08 4.09 4/259 43352
/proc/meminfo: memFree=128907036/131249996 swapFree=33010684/33010684
[pid=43110] ppid=43107 vsize=107980 memory=91016 CPUtime=3600.05 cores=4,6
/proc/43110/stat : 43110 (pb-oll-rs) R 43107 43110 42292 0 -1 4194304 18591 0 0 0 359088 917 0 0 20 0 1 0 45665364 110571520 22754 18446744073709551615 4218880 5211445 140735023249088 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 9601024 140735023253916 140735023253993 140735023253993 140735023259595 0
/proc/43110/statm: 26995 22754 1344 243 0 23244 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 107980 KiB
Current children cumulated memory: 91016 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.41 s]
# the end of solver process 43110 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.89 s, system=9.17477 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.41
CPU time (s): 3600.07
CPU user time (s): 3590.89
CPU system time (s): 9.17477
CPU usage (%): 99.7412
Max. virtual memory (cumulated for all children) (KiB): 107980
Max. memory (cumulated for all children) (KiB): 91016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.89
system time used= 9.17477
maximum resident set size= 91656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18607
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= 106
involuntary context switches= 1168
# summary of solver processes directly reported to runsolver:
# pid: 43110
# total CPU time (s): 3600.07
# total CPU user time (s): 3590.89
# total CPU system time (s): 9.17477
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.73304 second user time and 15.294 second system time
The end
Begin job on nodeC021 at 2025-06-30 18:11:17
IDJOB=4484994
IDBENCH=146684
IDSOLVER=3345
FILE ID=nodeC021/4484994-1751299877
RUNJOBID= nodeC021-1751292654-42303
SLURM_JOB_ID= 9594264
Free space on /tmp= 432580 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484994-1751299877/watcher-4484994-1751299877 -o /tmp/evaluation-result-4484994-1751299877/solver-4484994-1751299877 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751292654-42303 --watchdog 3760 pb-oll-rs HOME/instance-4484994-1751299877.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a3f6b61db250b51897503d5946a188dc
RANDOM SEED=1031270661
nodeC021 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.775
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.56
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 : 3597.710
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.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.979
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.56
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 : 3599.785
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.56
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.607
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.56
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.939
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.56
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 : 3592.950
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.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.805
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.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129067688 kB
MemAvailable: 129681552 kB
Buffers: 3280 kB
Cached: 1420416 kB
SwapCached: 0 kB
Active: 456424 kB
Inactive: 1151368 kB
Active(anon): 202160 kB
Inactive(anon): 0 kB
Active(file): 254264 kB
Inactive(file): 1151368 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 10324 kB
Writeback: 0 kB
AnonPages: 182460 kB
Mapped: 106512 kB
Shmem: 18060 kB
KReclaimable: 94540 kB
Slab: 181964 kB
SReclaimable: 94540 kB
SUnreclaim: 87424 kB
KernelStack: 4244 kB
PageTables: 3136 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 528140 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 116736 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432580 MiB
End job on nodeC021 at 2025-06-30 19:11:26