0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.01 c [STEP] solving
0.00/0.01 c #variables 51 #constraints 13
0.00/0.01 c SMALL=int, LARGE=long long
16.14/16.21 c bounds - >= 0 @ 0.0009
16.14/16.21 c #Conflicts: 1000 | #Constraints: 1012
16.14/16.21 c #Conflicts: 2000 | #Constraints: 2012
16.14/16.21 c INPROCESSING
16.14/16.21 c GARBAGE COLLECT
16.14/16.21 c #Conflicts: 3000 | #Constraints: 2014
16.14/16.21 c #Conflicts: 4000 | #Constraints: 3014
16.14/16.21 c INPROCESSING
16.14/16.21 c GARBAGE COLLECT
16.14/16.21 c #Conflicts: 5000 | #Constraints: 2418
16.14/16.21 c #Conflicts: 6000 | #Constraints: 3418
16.14/16.21 c INPROCESSING
16.14/16.21 c GARBAGE COLLECT
16.14/16.21 c #Conflicts: 7000 | #Constraints: 2422
16.14/16.21 c #Conflicts: 8000 | #Constraints: 3422
16.14/16.21 c #Conflicts: 9000 | #Constraints: 4422
16.14/16.21 c INPROCESSING
16.14/16.21 c GARBAGE COLLECT
16.14/16.21 c #Conflicts: 10000 | #Constraints: 3118
16.14/16.21 c #Conflicts: 11000 | #Constraints: 4118
16.14/16.21 c #Conflicts: 12000 | #Constraints: 5118
16.14/16.21 c INPROCESSING
16.14/16.21 c GARBAGE COLLECT
16.14/16.21 c #Conflicts: 13000 | #Constraints: 3569
16.14/16.21 c #Conflicts: 14000 | #Constraints: 4569
16.14/16.21 c #Conflicts: 15000 | #Constraints: 5569
16.14/16.21 c INPROCESSING
16.14/16.21 c GARBAGE COLLECT
16.14/16.21 c #Conflicts: 16000 | #Constraints: 3795
16.14/16.21 c #Conflicts: 17000 | #Constraints: 4795
16.14/16.21 c #Conflicts: 18000 | #Constraints: 5795
16.14/16.21 c INPROCESSING
16.14/16.21 c GARBAGE COLLECT
16.14/16.21 c #Conflicts: 19000 | #Constraints: 3812
16.14/16.21 c #Conflicts: 20000 | #Constraints: 4812
16.14/16.21 c #Conflicts: 21000 | #Constraints: 5812
16.14/16.21 c INPROCESSING
16.14/16.21 c GARBAGE COLLECT
16.14/16.21 c #Conflicts: 22000 | #Constraints: 3617
16.14/16.21 c #Conflicts: 23000 | #Constraints: 4617
16.14/16.21 c #Conflicts: 24000 | #Constraints: 5617
16.14/16.21 c #Conflicts: 25000 | #Constraints: 6617
16.14/16.21 c INPROCESSING
16.14/16.21 c GARBAGE COLLECT
16.14/16.21 c #Conflicts: 26000 | #Constraints: 4218
16.14/16.21 c #Conflicts: 27000 | #Constraints: 5218
16.14/16.21 c #Conflicts: 28000 | #Constraints: 6218
16.14/16.21 c #Conflicts: 29000 | #Constraints: 7218
16.14/16.21 c INPROCESSING
16.14/16.21 c GARBAGE COLLECT
16.14/16.21 c #Conflicts: 30000 | #Constraints: 4618
16.14/16.21 c #Conflicts: 31000 | #Constraints: 5618
16.14/16.21 c #Conflicts: 32000 | #Constraints: 6618
16.14/16.21 c #Conflicts: 33000 | #Constraints: 7618
16.14/16.21 c INPROCESSING
16.14/16.21 c GARBAGE COLLECT
16.14/16.21 c #Conflicts: 34000 | #Constraints: 4822
16.14/16.21 c #Conflicts: 35000 | #Constraints: 5822
16.14/16.21 c #Conflicts: 36000 | #Constraints: 6822
16.14/16.21 c #Conflicts: 37000 | #Constraints: 7822
16.14/16.21 c INPROCESSING
16.14/16.21 c GARBAGE COLLECT
16.14/16.21 c #Conflicts: 38000 | #Constraints: 4823
16.14/16.21 c #Conflicts: 39000 | #Constraints: 5823
16.14/16.21 c #Conflicts: 40000 | #Constraints: 6823
16.14/16.21 c #Conflicts: 41000 | #Constraints: 7823
16.14/16.21 c INPROCESSING
16.14/16.21 c GARBAGE COLLECT
16.14/16.21 c #Conflicts: 42000 | #Constraints: 4622
16.14/16.21 c #Conflicts: 43000 | #Constraints: 5622
16.14/16.21 c #Conflicts: 44000 | #Constraints: 6622
16.14/16.21 c #Conflicts: 45000 | #Constraints: 7622
16.14/16.21 c #Conflicts: 46000 | #Constraints: 8622
16.14/16.21 c INPROCESSING
16.14/16.21 c GARBAGE COLLECT
16.14/16.21 c #Conflicts: 47000 | #Constraints: 5223
16.14/16.21 c #Conflicts: 48000 | #Constraints: 6223
16.14/16.21 c #Conflicts: 49000 | #Constraints: 7223
16.14/16.21 c #Conflicts: 50000 | #Constraints: 8223
16.14/16.21 c #Conflicts: 51000 | #Constraints: 9223
16.14/16.21 c INPROCESSING
16.14/16.21 c GARBAGE COLLECT
16.14/16.21 c #Conflicts: 52000 | #Constraints: 5622
16.14/16.21 c #Conflicts: 53000 | #Constraints: 6622
16.14/16.21 c #Conflicts: 54000 | #Constraints: 7622
16.14/16.21 c #Conflicts: 55000 | #Constraints: 8622
16.14/16.21 c #Conflicts: 56000 | #Constraints: 9622
16.14/16.21 c INPROCESSING
16.14/16.21 c GARBAGE COLLECT
16.14/16.21 c #Conflicts: 57000 | #Constraints: 5821
16.14/16.21 c #Conflicts: 58000 | #Constraints: 6821
16.14/16.21 c #Conflicts: 59000 | #Constraints: 7821
16.14/16.21 c #Conflicts: 60000 | #Constraints: 8821
16.14/16.21 c #Conflicts: 61000 | #Constraints: 9821
16.14/16.21 c INPROCESSING
16.14/16.21 c GARBAGE COLLECT
16.14/16.21 c #Conflicts: 62000 | #Constraints: 5822
16.14/16.21 c #Conflicts: 63000 | #Constraints: 6822
16.14/16.21 c #Conflicts: 64000 | #Constraints: 7822
16.14/16.21 c #Conflicts: 65000 | #Constraints: 8822
16.14/16.21 c #Conflicts: 66000 | #Constraints: 9822
16.14/16.21 c INPROCESSING
16.14/16.21 c GARBAGE COLLECT
16.14/16.21 c #Conflicts: 67000 | #Constraints: 5621
48.75/48.95 c #Conflicts: 68000 | #Constraints: 6621
48.75/48.95 c #Conflicts: 69000 | #Constraints: 7621
48.75/48.95 c #Conflicts: 70000 | #Constraints: 8621
48.75/48.95 c #Conflicts: 71000 | #Constraints: 9621
48.75/48.95 c #Conflicts: 72000 | #Constraints: 10621
48.75/48.95 c INPROCESSING
48.75/48.95 c GARBAGE COLLECT
48.75/48.95 c #Conflicts: 73000 | #Constraints: 6220
48.75/48.95 c #Conflicts: 74000 | #Constraints: 7220
48.75/48.95 c #Conflicts: 75000 | #Constraints: 8220
48.75/48.95 c #Conflicts: 76000 | #Constraints: 9220
48.75/48.95 c #Conflicts: 77000 | #Constraints: 10220
48.75/48.95 c #Conflicts: 78000 | #Constraints: 11220
48.75/48.95 c INPROCESSING
48.75/48.95 c GARBAGE COLLECT
48.75/48.95 c #Conflicts: 79000 | #Constraints: 6619
48.75/48.95 c #Conflicts: 80000 | #Constraints: 7619
48.75/48.95 c #Conflicts: 81000 | #Constraints: 8619
48.75/48.95 c #Conflicts: 82000 | #Constraints: 9619
48.75/48.95 c #Conflicts: 83000 | #Constraints: 10619
48.75/48.95 c #Conflicts: 84000 | #Constraints: 11619
48.75/48.95 c INPROCESSING
48.75/48.95 c GARBAGE COLLECT
48.75/48.95 c #Conflicts: 85000 | #Constraints: 6822
48.75/48.95 c #Conflicts: 86000 | #Constraints: 7822
48.75/48.95 c #Conflicts: 87000 | #Constraints: 8822
48.75/48.95 c #Conflicts: 88000 | #Constraints: 9822
48.75/48.95 c #Conflicts: 89000 | #Constraints: 10822
48.75/48.95 c #Conflicts: 90000 | #Constraints: 11822
48.75/48.95 c INPROCESSING
48.75/48.95 c GARBAGE COLLECT
48.75/48.95 c #Conflicts: 91000 | #Constraints: 6822
48.75/48.95 c #Conflicts: 92000 | #Constraints: 7822
48.75/48.95 c #Conflicts: 93000 | #Constraints: 8822
48.75/48.95 c #Conflicts: 94000 | #Constraints: 9822
48.75/48.95 c #Conflicts: 95000 | #Constraints: 10822
48.75/48.95 c #Conflicts: 96000 | #Constraints: 11822
48.75/48.95 c INPROCESSING
48.75/48.95 c GARBAGE COLLECT
48.75/48.95 c #Conflicts: 97000 | #Constraints: 6623
48.75/48.95 c #Conflicts: 98000 | #Constraints: 7623
48.75/48.95 c #Conflicts: 99000 | #Constraints: 8623
48.75/48.95 c #Conflicts: 100000 | #Constraints: 9623
48.75/48.95 c #Conflicts: 101000 | #Constraints: 10623
48.75/48.95 c #Conflicts: 102000 | #Constraints: 11623
48.75/48.95 c #Conflicts: 103000 | #Constraints: 12623
48.75/48.95 c INPROCESSING
48.75/48.95 c GARBAGE COLLECT
48.75/48.95 c #Conflicts: 104000 | #Constraints: 7222
48.75/48.95 c #Conflicts: 105000 | #Constraints: 8222
48.75/48.95 c #Conflicts: 106000 | #Constraints: 9222
48.75/48.95 c #Conflicts: 107000 | #Constraints: 10222
48.75/48.95 c #Conflicts: 108000 | #Constraints: 11222
48.75/48.95 c #Conflicts: 109000 | #Constraints: 12222
48.75/48.95 c #Conflicts: 110000 | #Constraints: 13222
48.75/48.95 c INPROCESSING
48.75/48.95 c GARBAGE COLLECT
48.75/48.95 c #Conflicts: 111000 | #Constraints: 7622
48.75/48.95 c #Conflicts: 112000 | #Constraints: 8622
48.75/48.95 c #Conflicts: 113000 | #Constraints: 9622
48.75/48.95 c #Conflicts: 114000 | #Constraints: 10622
48.75/48.95 c #Conflicts: 115000 | #Constraints: 11622
48.75/48.95 c #Conflicts: 116000 | #Constraints: 12622
48.75/48.95 c #Conflicts: 117000 | #Constraints: 13622
48.75/48.95 c INPROCESSING
48.75/48.95 c GARBAGE COLLECT
48.75/48.95 c #Conflicts: 118000 | #Constraints: 7823
48.75/48.95 c #Conflicts: 119000 | #Constraints: 8823
48.75/48.95 c #Conflicts: 120000 | #Constraints: 9823
48.75/48.95 c #Conflicts: 121000 | #Constraints: 10823
48.75/48.95 c #Conflicts: 122000 | #Constraints: 11823
48.75/48.95 c #Conflicts: 123000 | #Constraints: 12823
48.75/48.95 c #Conflicts: 124000 | #Constraints: 13823
48.75/48.95 c INPROCESSING
48.75/48.95 c GARBAGE COLLECT
48.75/48.95 c #Conflicts: 125000 | #Constraints: 7823
48.75/48.95 c #Conflicts: 126000 | #Constraints: 8823
48.75/48.95 c #Conflicts: 127000 | #Constraints: 9823
48.75/48.95 c #Conflicts: 128000 | #Constraints: 10823
48.75/48.95 c #Conflicts: 129000 | #Constraints: 11823
48.75/48.95 c #Conflicts: 130000 | #Constraints: 12823
48.75/48.95 c #Conflicts: 131000 | #Constraints: 13823
48.75/48.95 c INPROCESSING
48.75/48.95 c GARBAGE COLLECT
48.75/48.95 c #Conflicts: 132000 | #Constraints: 7622
48.75/48.95 c #Conflicts: 133000 | #Constraints: 8622
48.75/48.95 c #Conflicts: 134000 | #Constraints: 9622
48.75/48.95 c #Conflicts: 135000 | #Constraints: 10622
48.75/48.95 c #Conflicts: 136000 | #Constraints: 11622
48.75/48.95 c #Conflicts: 137000 | #Constraints: 12622
48.75/48.95 c #Conflicts: 138000 | #Constraints: 13622
48.75/48.95 c #Conflicts: 139000 | #Constraints: 14622
48.75/48.95 c INPROCESSING
92.44/92.77 c GARBAGE COLLECT
92.44/92.77 c #Conflicts: 140000 | #Constraints: 8223
92.44/92.77 c #Conflicts: 141000 | #Constraints: 9223
92.44/92.77 c #Conflicts: 142000 | #Constraints: 10223
92.44/92.77 c #Conflicts: 143000 | #Constraints: 11223
92.44/92.77 c #Conflicts: 144000 | #Constraints: 12223
92.44/92.77 c #Conflicts: 145000 | #Constraints: 13223
92.44/92.77 c #Conflicts: 146000 | #Constraints: 14223
92.44/92.77 c #Conflicts: 147000 | #Constraints: 15223
92.44/92.77 c INPROCESSING
92.44/92.77 c GARBAGE COLLECT
92.44/92.77 c #Conflicts: 148000 | #Constraints: 8626
92.44/92.77 c #Conflicts: 149000 | #Constraints: 9626
92.44/92.77 c #Conflicts: 150000 | #Constraints: 10626
92.44/92.77 c #Conflicts: 151000 | #Constraints: 11626
92.44/92.77 c #Conflicts: 152000 | #Constraints: 12626
92.44/92.77 c #Conflicts: 153000 | #Constraints: 13626
92.44/92.77 c #Conflicts: 154000 | #Constraints: 14626
92.44/92.77 c #Conflicts: 155000 | #Constraints: 15626
92.44/92.77 c INPROCESSING
92.44/92.77 c GARBAGE COLLECT
92.44/92.77 c #Conflicts: 156000 | #Constraints: 8827
92.44/92.77 c #Conflicts: 157000 | #Constraints: 9827
92.44/92.77 c #Conflicts: 158000 | #Constraints: 10827
92.44/92.77 c #Conflicts: 159000 | #Constraints: 11827
92.44/92.77 c #Conflicts: 160000 | #Constraints: 12827
92.44/92.77 c #Conflicts: 161000 | #Constraints: 13827
92.44/92.77 c #Conflicts: 162000 | #Constraints: 14827
92.44/92.77 c #Conflicts: 163000 | #Constraints: 15827
92.44/92.77 c INPROCESSING
92.44/92.77 c GARBAGE COLLECT
92.44/92.77 c #Conflicts: 164000 | #Constraints: 8827
92.44/92.77 c #Conflicts: 165000 | #Constraints: 9827
92.44/92.77 c #Conflicts: 166000 | #Constraints: 10827
92.44/92.77 c #Conflicts: 167000 | #Constraints: 11827
92.44/92.77 c #Conflicts: 168000 | #Constraints: 12827
92.44/92.77 c #Conflicts: 169000 | #Constraints: 13827
92.44/92.77 c #Conflicts: 170000 | #Constraints: 14827
92.44/92.77 c #Conflicts: 171000 | #Constraints: 15827
92.44/92.77 c INPROCESSING
92.44/92.77 c GARBAGE COLLECT
92.44/92.77 c #Conflicts: 172000 | #Constraints: 8626
92.44/92.77 c #Conflicts: 173000 | #Constraints: 9626
92.44/92.77 c #Conflicts: 174000 | #Constraints: 10626
92.44/92.77 c #Conflicts: 175000 | #Constraints: 11626
92.44/92.77 c #Conflicts: 176000 | #Constraints: 12626
92.44/92.77 c #Conflicts: 177000 | #Constraints: 13626
92.44/92.77 c #Conflicts: 178000 | #Constraints: 14626
92.44/92.77 c #Conflicts: 179000 | #Constraints: 15626
92.44/92.77 c #Conflicts: 180000 | #Constraints: 16626
92.44/92.77 c INPROCESSING
92.44/92.77 c GARBAGE COLLECT
92.44/92.77 c #Conflicts: 181000 | #Constraints: 9225
92.44/92.77 c #Conflicts: 182000 | #Constraints: 10225
92.44/92.77 c #Conflicts: 183000 | #Constraints: 11225
92.44/92.77 c #Conflicts: 184000 | #Constraints: 12225
92.44/92.77 c #Conflicts: 185000 | #Constraints: 13225
92.44/92.77 c #Conflicts: 186000 | #Constraints: 14225
92.44/92.77 c #Conflicts: 187000 | #Constraints: 15225
92.44/92.77 c #Conflicts: 188000 | #Constraints: 16225
92.44/92.77 c #Conflicts: 189000 | #Constraints: 17225
92.44/92.77 c INPROCESSING
92.44/92.77 c GARBAGE COLLECT
92.44/92.77 c #Conflicts: 190000 | #Constraints: 9625
92.44/92.77 c #Conflicts: 191000 | #Constraints: 10625
92.44/92.77 c #Conflicts: 192000 | #Constraints: 11625
92.44/92.77 c #Conflicts: 193000 | #Constraints: 12625
92.44/92.77 c #Conflicts: 194000 | #Constraints: 13625
92.44/92.77 c #Conflicts: 195000 | #Constraints: 14625
92.44/92.77 c #Conflicts: 196000 | #Constraints: 15625
92.44/92.77 c #Conflicts: 197000 | #Constraints: 16625
92.44/92.77 c #Conflicts: 198000 | #Constraints: 17625
92.44/92.77 c INPROCESSING
92.44/92.77 c GARBAGE COLLECT
92.44/92.77 c #Conflicts: 199000 | #Constraints: 9824
92.44/92.77 c #Conflicts: 200000 | #Constraints: 10824
92.44/92.77 c #Conflicts: 201000 | #Constraints: 11824
92.44/92.77 c #Conflicts: 202000 | #Constraints: 12824
92.44/92.77 c #Conflicts: 203000 | #Constraints: 13824
92.44/92.77 c #Conflicts: 204000 | #Constraints: 14824
92.44/92.77 c #Conflicts: 205000 | #Constraints: 15824
92.44/92.77 c #Conflicts: 206000 | #Constraints: 16824
92.44/92.77 c #Conflicts: 207000 | #Constraints: 17824
92.44/92.77 c INPROCESSING
92.44/92.77 c GARBAGE COLLECT
92.44/92.77 c #Conflicts: 208000 | #Constraints: 9825
92.44/92.77 c #Conflicts: 209000 | #Constraints: 10825
92.44/92.77 c #Conflicts: 210000 | #Constraints: 11825
92.44/92.77 c #Conflicts: 211000 | #Constraints: 12825
92.44/92.77 c #Conflicts: 212000 | #Constraints: 13825
92.44/92.77 c #Conflicts: 213000 | #Constraints: 14825
146.38/146.81 c #Conflicts: 214000 | #Constraints: 15825
146.38/146.81 c #Conflicts: 215000 | #Constraints: 16825
146.38/146.81 c #Conflicts: 216000 | #Constraints: 17825
146.38/146.81 c INPROCESSING
146.38/146.81 c GARBAGE COLLECT
146.38/146.81 c #Conflicts: 217000 | #Constraints: 9628
146.38/146.81 c #Conflicts: 218000 | #Constraints: 10628
146.38/146.81 c #Conflicts: 219000 | #Constraints: 11628
146.38/146.81 c #Conflicts: 220000 | #Constraints: 12628
146.38/146.81 c #Conflicts: 221000 | #Constraints: 13628
146.38/146.81 c #Conflicts: 222000 | #Constraints: 14628
146.38/146.81 c #Conflicts: 223000 | #Constraints: 15628
146.38/146.81 c #Conflicts: 224000 | #Constraints: 16628
146.38/146.81 c #Conflicts: 225000 | #Constraints: 17628
146.38/146.81 c #Conflicts: 226000 | #Constraints: 18628
146.38/146.81 c INPROCESSING
146.38/146.81 c GARBAGE COLLECT
146.38/146.81 c #Conflicts: 227000 | #Constraints: 10228
146.38/146.81 c #Conflicts: 228000 | #Constraints: 11228
146.38/146.81 c #Conflicts: 229000 | #Constraints: 12228
146.38/146.81 c #Conflicts: 230000 | #Constraints: 13228
146.38/146.81 c #Conflicts: 231000 | #Constraints: 14228
146.38/146.81 c #Conflicts: 232000 | #Constraints: 15228
146.38/146.81 c #Conflicts: 233000 | #Constraints: 16228
146.38/146.81 c #Conflicts: 234000 | #Constraints: 17228
146.38/146.81 c #Conflicts: 235000 | #Constraints: 18228
146.38/146.81 c #Conflicts: 236000 | #Constraints: 19228
146.38/146.81 c INPROCESSING
146.38/146.81 c GARBAGE COLLECT
146.38/146.81 c #Conflicts: 237000 | #Constraints: 10628
146.38/146.81 c #Conflicts: 238000 | #Constraints: 11628
146.38/146.81 c #Conflicts: 239000 | #Constraints: 12628
146.38/146.81 c #Conflicts: 240000 | #Constraints: 13628
146.38/146.81 c #Conflicts: 241000 | #Constraints: 14628
146.38/146.81 c #Conflicts: 242000 | #Constraints: 15628
146.38/146.81 c #Conflicts: 243000 | #Constraints: 16628
146.38/146.81 c #Conflicts: 244000 | #Constraints: 17628
146.38/146.81 c #Conflicts: 245000 | #Constraints: 18628
146.38/146.81 c #Conflicts: 246000 | #Constraints: 19628
146.38/146.81 c INPROCESSING
146.38/146.81 c GARBAGE COLLECT
146.38/146.81 c #Conflicts: 247000 | #Constraints: 10827
146.38/146.81 c #Conflicts: 248000 | #Constraints: 11827
146.38/146.81 c #Conflicts: 249000 | #Constraints: 12827
146.38/146.81 c #Conflicts: 250000 | #Constraints: 13827
146.38/146.81 c #Conflicts: 251000 | #Constraints: 14827
146.38/146.81 c #Conflicts: 252000 | #Constraints: 15827
146.38/146.81 c #Conflicts: 253000 | #Constraints: 16827
146.38/146.81 c #Conflicts: 254000 | #Constraints: 17827
146.38/146.81 c #Conflicts: 255000 | #Constraints: 18827
146.38/146.81 c #Conflicts: 256000 | #Constraints: 19827
146.38/146.81 c INPROCESSING
146.38/146.81 c GARBAGE COLLECT
146.38/146.81 c #Conflicts: 257000 | #Constraints: 10825
146.38/146.81 c #Conflicts: 258000 | #Constraints: 11825
146.38/146.81 c #Conflicts: 259000 | #Constraints: 12825
146.38/146.81 c #Conflicts: 260000 | #Constraints: 13825
146.38/146.81 c #Conflicts: 261000 | #Constraints: 14825
146.38/146.81 c #Conflicts: 262000 | #Constraints: 15825
146.38/146.81 c #Conflicts: 263000 | #Constraints: 16825
146.38/146.81 c #Conflicts: 264000 | #Constraints: 17825
146.38/146.81 c #Conflicts: 265000 | #Constraints: 18825
146.38/146.81 c #Conflicts: 266000 | #Constraints: 19825
146.38/146.81 c INPROCESSING
146.38/146.81 c GARBAGE COLLECT
146.38/146.81 c #Conflicts: 267000 | #Constraints: 10622
146.38/146.81 c #Conflicts: 268000 | #Constraints: 11622
146.38/146.81 c #Conflicts: 269000 | #Constraints: 12622
146.38/146.81 c #Conflicts: 270000 | #Constraints: 13622
146.38/146.81 c #Conflicts: 271000 | #Constraints: 14622
146.38/146.81 c #Conflicts: 272000 | #Constraints: 15622
146.38/146.81 c #Conflicts: 273000 | #Constraints: 16622
146.38/146.81 c #Conflicts: 274000 | #Constraints: 17622
146.38/146.81 c #Conflicts: 275000 | #Constraints: 18622
146.38/146.81 c #Conflicts: 276000 | #Constraints: 19622
146.38/146.81 c #Conflicts: 277000 | #Constraints: 20622
146.38/146.81 c INPROCESSING
146.38/146.81 c GARBAGE COLLECT
146.38/146.81 c #Conflicts: 278000 | #Constraints: 11220
146.38/146.81 c #Conflicts: 279000 | #Constraints: 12220
146.38/146.81 c #Conflicts: 280000 | #Constraints: 13220
146.38/146.81 c #Conflicts: 281000 | #Constraints: 14220
146.38/146.81 c #Conflicts: 282000 | #Constraints: 15220
146.38/146.81 c #Conflicts: 283000 | #Constraints: 16220
146.38/146.81 c #Conflicts: 284000 | #Constraints: 17220
146.38/146.81 c #Conflicts: 285000 | #Constraints: 18220
146.38/146.81 c #Conflicts: 286000 | #Constraints: 19220
146.38/146.81 c #Conflicts: 287000 | #Constraints: 20220
202.03/202.60 c #Conflicts: 288000 | #Constraints: 21220
202.03/202.60 c INPROCESSING
202.03/202.60 c GARBAGE COLLECT
202.03/202.60 c #Conflicts: 289000 | #Constraints: 11621
202.03/202.60 c #Conflicts: 290000 | #Constraints: 12621
202.03/202.60 c #Conflicts: 291000 | #Constraints: 13621
202.03/202.60 c #Conflicts: 292000 | #Constraints: 14621
202.03/202.60 c #Conflicts: 293000 | #Constraints: 15621
202.03/202.60 c #Conflicts: 294000 | #Constraints: 16621
202.03/202.60 c #Conflicts: 295000 | #Constraints: 17621
202.03/202.60 c #Conflicts: 296000 | #Constraints: 18621
202.03/202.60 c #Conflicts: 297000 | #Constraints: 19621
202.03/202.60 c #Conflicts: 298000 | #Constraints: 20621
202.03/202.60 c #Conflicts: 299000 | #Constraints: 21621
202.03/202.60 c INPROCESSING
202.03/202.60 c GARBAGE COLLECT
202.03/202.60 c #Conflicts: 300000 | #Constraints: 11824
202.03/202.60 c #Conflicts: 301000 | #Constraints: 12824
202.03/202.60 c #Conflicts: 302000 | #Constraints: 13824
202.03/202.60 c #Conflicts: 303000 | #Constraints: 14824
202.03/202.60 c #Conflicts: 304000 | #Constraints: 15824
202.03/202.60 c #Conflicts: 305000 | #Constraints: 16824
202.03/202.60 c #Conflicts: 306000 | #Constraints: 17824
202.03/202.60 c #Conflicts: 307000 | #Constraints: 18824
202.03/202.60 c #Conflicts: 308000 | #Constraints: 19824
202.03/202.60 c #Conflicts: 309000 | #Constraints: 20824
202.03/202.60 c #Conflicts: 310000 | #Constraints: 21824
202.03/202.60 c INPROCESSING
202.03/202.60 c GARBAGE COLLECT
202.03/202.60 c #Conflicts: 311000 | #Constraints: 11823
202.03/202.60 c #Conflicts: 312000 | #Constraints: 12823
202.03/202.60 c #Conflicts: 313000 | #Constraints: 13823
202.03/202.60 c #Conflicts: 314000 | #Constraints: 14823
202.03/202.60 c #Conflicts: 315000 | #Constraints: 15823
202.03/202.60 c #Conflicts: 316000 | #Constraints: 16823
202.03/202.60 c #Conflicts: 317000 | #Constraints: 17823
202.03/202.60 c #Conflicts: 318000 | #Constraints: 18823
202.03/202.60 c #Conflicts: 319000 | #Constraints: 19823
202.03/202.60 c #Conflicts: 320000 | #Constraints: 20823
202.03/202.60 c #Conflicts: 321000 | #Constraints: 21823
202.03/202.60 c INPROCESSING
202.03/202.60 c GARBAGE COLLECT
202.03/202.60 c #Conflicts: 322000 | #Constraints: 11623
202.03/202.60 c #Conflicts: 323000 | #Constraints: 12623
202.03/202.60 c #Conflicts: 324000 | #Constraints: 13623
202.03/202.60 c #Conflicts: 325000 | #Constraints: 14623
202.03/202.60 c #Conflicts: 326000 | #Constraints: 15623
202.03/202.60 c #Conflicts: 327000 | #Constraints: 16623
202.03/202.60 c #Conflicts: 328000 | #Constraints: 17623
202.03/202.60 c #Conflicts: 329000 | #Constraints: 18623
202.03/202.60 c #Conflicts: 330000 | #Constraints: 19623
202.03/202.60 c #Conflicts: 331000 | #Constraints: 20623
202.03/202.60 c #Conflicts: 332000 | #Constraints: 21623
202.03/202.60 c #Conflicts: 333000 | #Constraints: 22623
202.03/202.60 c INPROCESSING
202.03/202.60 c GARBAGE COLLECT
202.03/202.60 c #Conflicts: 334000 | #Constraints: 12222
202.03/202.60 c #Conflicts: 335000 | #Constraints: 13222
202.03/202.60 c #Conflicts: 336000 | #Constraints: 14222
202.03/202.60 c #Conflicts: 337000 | #Constraints: 15222
202.03/202.60 c #Conflicts: 338000 | #Constraints: 16222
202.03/202.60 c #Conflicts: 339000 | #Constraints: 17222
202.03/202.60 c #Conflicts: 340000 | #Constraints: 18222
202.03/202.60 c #Conflicts: 341000 | #Constraints: 19222
202.03/202.60 c #Conflicts: 342000 | #Constraints: 20222
202.03/202.60 c #Conflicts: 343000 | #Constraints: 21222
202.03/202.60 c #Conflicts: 344000 | #Constraints: 22222
202.03/202.60 c #Conflicts: 345000 | #Constraints: 23222
202.03/202.60 c INPROCESSING
202.03/202.60 c GARBAGE COLLECT
202.03/202.60 c #Conflicts: 346000 | #Constraints: 12622
202.03/202.60 c #Conflicts: 347000 | #Constraints: 13622
202.03/202.60 c #Conflicts: 348000 | #Constraints: 14622
202.03/202.60 c #Conflicts: 349000 | #Constraints: 15622
202.03/202.60 c #Conflicts: 350000 | #Constraints: 16622
202.03/202.60 c #Conflicts: 351000 | #Constraints: 17622
202.03/202.60 c #Conflicts: 352000 | #Constraints: 18622
202.03/202.60 c #Conflicts: 353000 | #Constraints: 19622
202.03/202.60 c #Conflicts: 354000 | #Constraints: 20622
202.03/202.60 c #Conflicts: 355000 | #Constraints: 21622
202.03/202.60 c #Conflicts: 356000 | #Constraints: 22622
202.03/202.60 c #Conflicts: 357000 | #Constraints: 23622
202.03/202.60 c INPROCESSING
202.03/202.60 c GARBAGE COLLECT
202.03/202.60 c #Conflicts: 358000 | #Constraints: 12821
202.03/202.60 c #Conflicts: 359000 | #Constraints: 13821
202.03/202.60 c #Conflicts: 360000 | #Constraints: 14821
202.03/202.60 c #Conflicts: 361000 | #Constraints: 15821
266.96/267.72 c #Conflicts: 362000 | #Constraints: 16821
266.96/267.72 c #Conflicts: 363000 | #Constraints: 17821
266.96/267.72 c #Conflicts: 364000 | #Constraints: 18821
266.96/267.72 c #Conflicts: 365000 | #Constraints: 19821
266.96/267.72 c #Conflicts: 366000 | #Constraints: 20821
266.96/267.72 c #Conflicts: 367000 | #Constraints: 21821
266.96/267.72 c #Conflicts: 368000 | #Constraints: 22821
266.96/267.72 c #Conflicts: 369000 | #Constraints: 23821
266.96/267.72 c INPROCESSING
266.96/267.72 c GARBAGE COLLECT
266.96/267.72 c #Conflicts: 370000 | #Constraints: 12824
266.96/267.72 c #Conflicts: 371000 | #Constraints: 13824
266.96/267.72 c #Conflicts: 372000 | #Constraints: 14824
266.96/267.72 c #Conflicts: 373000 | #Constraints: 15824
266.96/267.72 c #Conflicts: 374000 | #Constraints: 16824
266.96/267.72 c #Conflicts: 375000 | #Constraints: 17824
266.96/267.72 c #Conflicts: 376000 | #Constraints: 18824
266.96/267.72 c #Conflicts: 377000 | #Constraints: 19824
266.96/267.72 c #Conflicts: 378000 | #Constraints: 20824
266.96/267.72 c #Conflicts: 379000 | #Constraints: 21824
266.96/267.72 c #Conflicts: 380000 | #Constraints: 22824
266.96/267.72 c #Conflicts: 381000 | #Constraints: 23824
266.96/267.72 c INPROCESSING
266.96/267.72 c GARBAGE COLLECT
266.96/267.72 c #Conflicts: 382000 | #Constraints: 12623
266.96/267.72 c #Conflicts: 383000 | #Constraints: 13623
266.96/267.72 c #Conflicts: 384000 | #Constraints: 14623
266.96/267.72 c #Conflicts: 385000 | #Constraints: 15623
266.96/267.72 c #Conflicts: 386000 | #Constraints: 16623
266.96/267.72 c #Conflicts: 387000 | #Constraints: 17623
266.96/267.72 c #Conflicts: 388000 | #Constraints: 18623
266.96/267.72 c #Conflicts: 389000 | #Constraints: 19623
266.96/267.72 c #Conflicts: 390000 | #Constraints: 20623
266.96/267.72 c #Conflicts: 391000 | #Constraints: 21623
266.96/267.72 c #Conflicts: 392000 | #Constraints: 22623
266.96/267.72 c #Conflicts: 393000 | #Constraints: 23623
266.96/267.72 c #Conflicts: 394000 | #Constraints: 24623
266.96/267.72 c INPROCESSING
266.96/267.72 c GARBAGE COLLECT
266.96/267.72 c #Conflicts: 395000 | #Constraints: 13222
266.96/267.72 c #Conflicts: 396000 | #Constraints: 14222
266.96/267.72 c #Conflicts: 397000 | #Constraints: 15222
266.96/267.72 c #Conflicts: 398000 | #Constraints: 16222
266.96/267.72 c #Conflicts: 399000 | #Constraints: 17222
266.96/267.72 c #Conflicts: 400000 | #Constraints: 18222
266.96/267.72 c #Conflicts: 401000 | #Constraints: 19222
266.96/267.72 c #Conflicts: 402000 | #Constraints: 20222
266.96/267.72 c #Conflicts: 403000 | #Constraints: 21222
266.96/267.72 c #Conflicts: 404000 | #Constraints: 22222
266.96/267.72 c #Conflicts: 405000 | #Constraints: 23222
266.96/267.72 c #Conflicts: 406000 | #Constraints: 24222
266.96/267.72 c #Conflicts: 407000 | #Constraints: 25222
266.96/267.72 c INPROCESSING
266.96/267.72 c GARBAGE COLLECT
266.96/267.72 c #Conflicts: 408000 | #Constraints: 13620
266.96/267.72 c #Conflicts: 409000 | #Constraints: 14620
266.96/267.72 c #Conflicts: 410000 | #Constraints: 15620
266.96/267.72 c #Conflicts: 411000 | #Constraints: 16620
266.96/267.72 c #Conflicts: 412000 | #Constraints: 17620
266.96/267.72 c #Conflicts: 413000 | #Constraints: 18620
266.96/267.72 c #Conflicts: 414000 | #Constraints: 19620
266.96/267.72 c #Conflicts: 415000 | #Constraints: 20620
266.96/267.72 c #Conflicts: 416000 | #Constraints: 21620
266.96/267.72 c #Conflicts: 417000 | #Constraints: 22620
266.96/267.72 c #Conflicts: 418000 | #Constraints: 23620
266.96/267.72 c #Conflicts: 419000 | #Constraints: 24620
266.96/267.72 c #Conflicts: 420000 | #Constraints: 25620
266.96/267.72 c INPROCESSING
266.96/267.72 c GARBAGE COLLECT
266.96/267.72 c #Conflicts: 421000 | #Constraints: 13824
266.96/267.72 c #Conflicts: 422000 | #Constraints: 14824
266.96/267.72 c #Conflicts: 423000 | #Constraints: 15824
266.96/267.72 c #Conflicts: 424000 | #Constraints: 16824
266.96/267.72 c #Conflicts: 425000 | #Constraints: 17824
266.96/267.72 c #Conflicts: 426000 | #Constraints: 18824
266.96/267.72 c #Conflicts: 427000 | #Constraints: 19824
266.96/267.72 c #Conflicts: 428000 | #Constraints: 20824
266.96/267.72 c #Conflicts: 429000 | #Constraints: 21824
266.96/267.72 c #Conflicts: 430000 | #Constraints: 22824
266.96/267.72 c #Conflicts: 431000 | #Constraints: 23824
266.96/267.72 c #Conflicts: 432000 | #Constraints: 24824
266.96/267.72 c #Conflicts: 433000 | #Constraints: 25824
266.96/267.72 c INPROCESSING
266.96/267.72 c GARBAGE COLLECT
266.96/267.72 c #Conflicts: 434000 | #Constraints: 13827
266.96/267.72 c #Conflicts: 435000 | #Constraints: 14827
266.96/267.72 c #Conflicts: 436000 | #Constraints: 15827
353.13/354.18 c #Conflicts: 437000 | #Constraints: 16827
353.13/354.18 c #Conflicts: 438000 | #Constraints: 17827
353.13/354.18 c #Conflicts: 439000 | #Constraints: 18827
353.13/354.18 c #Conflicts: 440000 | #Constraints: 19827
353.13/354.18 c #Conflicts: 441000 | #Constraints: 20827
353.13/354.18 c #Conflicts: 442000 | #Constraints: 21827
353.13/354.18 c #Conflicts: 443000 | #Constraints: 22827
353.13/354.18 c #Conflicts: 444000 | #Constraints: 23827
353.13/354.18 c #Conflicts: 445000 | #Constraints: 24827
353.13/354.18 c #Conflicts: 446000 | #Constraints: 25827
353.13/354.18 c INPROCESSING
353.13/354.18 c GARBAGE COLLECT
353.13/354.18 c #Conflicts: 447000 | #Constraints: 13626
353.13/354.18 c #Conflicts: 448000 | #Constraints: 14626
353.13/354.18 c #Conflicts: 449000 | #Constraints: 15626
353.13/354.18 c #Conflicts: 450000 | #Constraints: 16626
353.13/354.18 c #Conflicts: 451000 | #Constraints: 17626
353.13/354.18 c #Conflicts: 452000 | #Constraints: 18626
353.13/354.18 c #Conflicts: 453000 | #Constraints: 19626
353.13/354.18 c #Conflicts: 454000 | #Constraints: 20626
353.13/354.18 c #Conflicts: 455000 | #Constraints: 21626
353.13/354.18 c #Conflicts: 456000 | #Constraints: 22626
353.13/354.18 c #Conflicts: 457000 | #Constraints: 23626
353.13/354.18 c #Conflicts: 458000 | #Constraints: 24626
353.13/354.18 c #Conflicts: 459000 | #Constraints: 25626
353.13/354.18 c #Conflicts: 460000 | #Constraints: 26626
353.13/354.18 c INPROCESSING
353.13/354.18 c GARBAGE COLLECT
353.13/354.18 c #Conflicts: 461000 | #Constraints: 14227
353.13/354.18 c #Conflicts: 462000 | #Constraints: 15227
353.13/354.18 c #Conflicts: 463000 | #Constraints: 16227
353.13/354.18 c #Conflicts: 464000 | #Constraints: 17227
353.13/354.18 c #Conflicts: 465000 | #Constraints: 18227
353.13/354.18 c #Conflicts: 466000 | #Constraints: 19227
353.13/354.18 c #Conflicts: 467000 | #Constraints: 20227
353.13/354.18 c #Conflicts: 468000 | #Constraints: 21227
353.13/354.18 c #Conflicts: 469000 | #Constraints: 22227
353.13/354.18 c #Conflicts: 470000 | #Constraints: 23227
353.13/354.18 c #Conflicts: 471000 | #Constraints: 24227
353.13/354.18 c #Conflicts: 472000 | #Constraints: 25227
353.13/354.18 c #Conflicts: 473000 | #Constraints: 26227
353.13/354.18 c #Conflicts: 474000 | #Constraints: 27227
353.13/354.18 c INPROCESSING
353.13/354.18 c GARBAGE COLLECT
353.13/354.18 c #Conflicts: 475000 | #Constraints: 14626
353.13/354.18 c #Conflicts: 476000 | #Constraints: 15626
353.13/354.18 c #Conflicts: 477000 | #Constraints: 16626
353.13/354.18 c #Conflicts: 478000 | #Constraints: 17626
353.13/354.18 c #Conflicts: 479000 | #Constraints: 18626
353.13/354.18 c #Conflicts: 480000 | #Constraints: 19626
353.13/354.18 c #Conflicts: 481000 | #Constraints: 20626
353.13/354.18 c #Conflicts: 482000 | #Constraints: 21626
353.13/354.18 c #Conflicts: 483000 | #Constraints: 22626
353.13/354.18 c #Conflicts: 484000 | #Constraints: 23626
353.13/354.18 c #Conflicts: 485000 | #Constraints: 24626
353.13/354.18 c #Conflicts: 486000 | #Constraints: 25626
353.13/354.18 c #Conflicts: 487000 | #Constraints: 26626
353.13/354.18 c #Conflicts: 488000 | #Constraints: 27626
353.13/354.18 c INPROCESSING
353.13/354.18 c GARBAGE COLLECT
353.13/354.18 c #Conflicts: 489000 | #Constraints: 14828
353.13/354.18 c #Conflicts: 490000 | #Constraints: 15828
353.13/354.18 c #Conflicts: 491000 | #Constraints: 16828
353.13/354.18 c #Conflicts: 492000 | #Constraints: 17828
353.13/354.18 c #Conflicts: 493000 | #Constraints: 18828
353.13/354.18 c #Conflicts: 494000 | #Constraints: 19828
353.13/354.18 c #Conflicts: 495000 | #Constraints: 20828
353.13/354.18 c #Conflicts: 496000 | #Constraints: 21828
353.13/354.18 c #Conflicts: 497000 | #Constraints: 22828
353.13/354.18 c #Conflicts: 498000 | #Constraints: 23828
353.13/354.18 c #Conflicts: 499000 | #Constraints: 24828
353.13/354.18 c #Conflicts: 500000 | #Constraints: 25828
353.13/354.18 c #Conflicts: 501000 | #Constraints: 26828
353.13/354.18 c #Conflicts: 502000 | #Constraints: 27828
353.13/354.18 c INPROCESSING
353.13/354.18 c GARBAGE COLLECT
353.13/354.18 c #Conflicts: 503000 | #Constraints: 14829
353.13/354.18 c #Conflicts: 504000 | #Constraints: 15829
353.13/354.18 c #Conflicts: 505000 | #Constraints: 16829
353.13/354.18 c #Conflicts: 506000 | #Constraints: 17829
353.13/354.18 c #Conflicts: 507000 | #Constraints: 18829
353.13/354.18 c #Conflicts: 508000 | #Constraints: 19829
353.13/354.18 c #Conflicts: 509000 | #Constraints: 20829
353.13/354.18 c #Conflicts: 510000 | #Constraints: 21829
353.13/354.18 c #Conflicts: 511000 | #Constraints: 22829
353.13/354.18 c #Conflicts: 512000 | #Constraints: 23829
435.82/437.03 c #Conflicts: 513000 | #Constraints: 24829
435.82/437.03 c #Conflicts: 514000 | #Constraints: 25829
435.82/437.03 c #Conflicts: 515000 | #Constraints: 26829
435.82/437.03 c #Conflicts: 516000 | #Constraints: 27829
435.82/437.03 c INPROCESSING
435.82/437.03 c GARBAGE COLLECT
435.82/437.03 c #Conflicts: 517000 | #Constraints: 14623
435.82/437.03 c #Conflicts: 518000 | #Constraints: 15623
435.82/437.03 c #Conflicts: 519000 | #Constraints: 16623
435.82/437.03 c #Conflicts: 520000 | #Constraints: 17623
435.82/437.03 c #Conflicts: 521000 | #Constraints: 18623
435.82/437.03 c #Conflicts: 522000 | #Constraints: 19623
435.82/437.03 c #Conflicts: 523000 | #Constraints: 20623
435.82/437.03 c #Conflicts: 524000 | #Constraints: 21623
435.82/437.03 c #Conflicts: 525000 | #Constraints: 22623
435.82/437.03 c #Conflicts: 526000 | #Constraints: 23623
435.82/437.03 c #Conflicts: 527000 | #Constraints: 24623
435.82/437.03 c #Conflicts: 528000 | #Constraints: 25623
435.82/437.03 c #Conflicts: 529000 | #Constraints: 26623
435.82/437.03 c #Conflicts: 530000 | #Constraints: 27623
435.82/437.03 c #Conflicts: 531000 | #Constraints: 28623
435.82/437.03 c INPROCESSING
435.82/437.03 c GARBAGE COLLECT
435.82/437.03 c #Conflicts: 532000 | #Constraints: 15226
435.82/437.03 c #Conflicts: 533000 | #Constraints: 16226
435.82/437.03 c #Conflicts: 534000 | #Constraints: 17226
435.82/437.03 c #Conflicts: 535000 | #Constraints: 18226
435.82/437.03 c #Conflicts: 536000 | #Constraints: 19226
435.82/437.03 c #Conflicts: 537000 | #Constraints: 20226
435.82/437.03 c #Conflicts: 538000 | #Constraints: 21226
435.82/437.03 c #Conflicts: 539000 | #Constraints: 22226
435.82/437.03 c #Conflicts: 540000 | #Constraints: 23226
435.82/437.03 c #Conflicts: 541000 | #Constraints: 24226
435.82/437.03 c #Conflicts: 542000 | #Constraints: 25226
435.82/437.03 c #Conflicts: 543000 | #Constraints: 26226
435.82/437.03 c #Conflicts: 544000 | #Constraints: 27226
435.82/437.03 c #Conflicts: 545000 | #Constraints: 28226
435.82/437.03 c #Conflicts: 546000 | #Constraints: 29226
435.82/437.03 c INPROCESSING
435.82/437.03 c GARBAGE COLLECT
435.82/437.03 c #Conflicts: 547000 | #Constraints: 15624
435.82/437.03 c #Conflicts: 548000 | #Constraints: 16624
435.82/437.03 c #Conflicts: 549000 | #Constraints: 17624
435.82/437.03 c #Conflicts: 550000 | #Constraints: 18624
435.82/437.03 c #Conflicts: 551000 | #Constraints: 19624
435.82/437.03 c #Conflicts: 552000 | #Constraints: 20624
435.82/437.03 c #Conflicts: 553000 | #Constraints: 21624
435.82/437.03 c #Conflicts: 554000 | #Constraints: 22624
435.82/437.03 c #Conflicts: 555000 | #Constraints: 23624
435.82/437.03 c #Conflicts: 556000 | #Constraints: 24624
435.82/437.03 c #Conflicts: 557000 | #Constraints: 25624
435.82/437.03 c #Conflicts: 558000 | #Constraints: 26624
435.82/437.03 c #Conflicts: 559000 | #Constraints: 27624
435.82/437.03 c #Conflicts: 560000 | #Constraints: 28624
435.82/437.03 c #Conflicts: 561000 | #Constraints: 29624
435.82/437.03 c INPROCESSING
435.82/437.03 c GARBAGE COLLECT
435.82/437.03 c #Conflicts: 562000 | #Constraints: 15828
435.82/437.03 c #Conflicts: 563000 | #Constraints: 16828
435.82/437.03 c #Conflicts: 564000 | #Constraints: 17828
435.82/437.03 c #Conflicts: 565000 | #Constraints: 18828
435.82/437.03 c #Conflicts: 566000 | #Constraints: 19828
435.82/437.03 c #Conflicts: 567000 | #Constraints: 20828
435.82/437.03 c #Conflicts: 568000 | #Constraints: 21828
435.82/437.03 c #Conflicts: 569000 | #Constraints: 22828
435.82/437.03 c #Conflicts: 570000 | #Constraints: 23828
435.82/437.03 c #Conflicts: 571000 | #Constraints: 24828
435.82/437.03 c #Conflicts: 572000 | #Constraints: 25828
435.82/437.03 c #Conflicts: 573000 | #Constraints: 26828
435.82/437.03 c #Conflicts: 574000 | #Constraints: 27828
435.82/437.03 c #Conflicts: 575000 | #Constraints: 28828
435.82/437.03 c #Conflicts: 576000 | #Constraints: 29828
435.82/437.03 c INPROCESSING
435.82/437.03 c GARBAGE COLLECT
435.82/437.03 c #Conflicts: 577000 | #Constraints: 15827
435.82/437.03 c #Conflicts: 578000 | #Constraints: 16827
435.82/437.03 c #Conflicts: 579000 | #Constraints: 17827
435.82/437.03 c #Conflicts: 580000 | #Constraints: 18827
435.82/437.03 c #Conflicts: 581000 | #Constraints: 19827
435.82/437.03 c #Conflicts: 582000 | #Constraints: 20827
435.82/437.03 c #Conflicts: 583000 | #Constraints: 21827
435.82/437.03 c #Conflicts: 584000 | #Constraints: 22827
435.82/437.03 c #Conflicts: 585000 | #Constraints: 23827
435.82/437.03 c #Conflicts: 586000 | #Constraints: 24827
435.82/437.03 c #Conflicts: 587000 | #Constraints: 25827
435.82/437.03 c #Conflicts: 588000 | #Constraints: 26827
522.60/524.02 c #Conflicts: 589000 | #Constraints: 27827
522.60/524.02 c #Conflicts: 590000 | #Constraints: 28827
522.60/524.02 c #Conflicts: 591000 | #Constraints: 29827
522.60/524.02 c INPROCESSING
522.60/524.02 c GARBAGE COLLECT
522.60/524.02 c #Conflicts: 592000 | #Constraints: 15629
522.60/524.02 c #Conflicts: 593000 | #Constraints: 16629
522.60/524.02 c #Conflicts: 594000 | #Constraints: 17629
522.60/524.02 c #Conflicts: 595000 | #Constraints: 18629
522.60/524.02 c #Conflicts: 596000 | #Constraints: 19629
522.60/524.02 c #Conflicts: 597000 | #Constraints: 20629
522.60/524.02 c #Conflicts: 598000 | #Constraints: 21629
522.60/524.02 c #Conflicts: 599000 | #Constraints: 22629
522.60/524.02 c #Conflicts: 600000 | #Constraints: 23629
522.60/524.02 c #Conflicts: 601000 | #Constraints: 24629
522.60/524.02 c #Conflicts: 602000 | #Constraints: 25629
522.60/524.02 c #Conflicts: 603000 | #Constraints: 26629
522.60/524.02 c #Conflicts: 604000 | #Constraints: 27629
522.60/524.02 c #Conflicts: 605000 | #Constraints: 28629
522.60/524.02 c #Conflicts: 606000 | #Constraints: 29629
522.60/524.02 c #Conflicts: 607000 | #Constraints: 30629
522.60/524.02 c INPROCESSING
522.60/524.02 c GARBAGE COLLECT
522.60/524.02 c #Conflicts: 608000 | #Constraints: 16229
522.60/524.02 c #Conflicts: 609000 | #Constraints: 17229
522.60/524.02 c #Conflicts: 610000 | #Constraints: 18229
522.60/524.02 c #Conflicts: 611000 | #Constraints: 19229
522.60/524.02 c #Conflicts: 612000 | #Constraints: 20229
522.60/524.02 c #Conflicts: 613000 | #Constraints: 21229
522.60/524.02 c #Conflicts: 614000 | #Constraints: 22229
522.60/524.02 c #Conflicts: 615000 | #Constraints: 23229
522.60/524.02 c #Conflicts: 616000 | #Constraints: 24229
522.60/524.02 c #Conflicts: 617000 | #Constraints: 25229
522.60/524.02 c #Conflicts: 618000 | #Constraints: 26229
522.60/524.02 c #Conflicts: 619000 | #Constraints: 27229
522.60/524.02 c #Conflicts: 620000 | #Constraints: 28229
522.60/524.02 c #Conflicts: 621000 | #Constraints: 29229
522.60/524.02 c #Conflicts: 622000 | #Constraints: 30229
522.60/524.02 c #Conflicts: 623000 | #Constraints: 31229
522.60/524.02 c INPROCESSING
522.60/524.02 c GARBAGE COLLECT
522.60/524.02 c #Conflicts: 624000 | #Constraints: 16625
522.60/524.02 c #Conflicts: 625000 | #Constraints: 17625
522.60/524.02 c #Conflicts: 626000 | #Constraints: 18625
522.60/524.02 c #Conflicts: 627000 | #Constraints: 19625
522.60/524.02 c #Conflicts: 628000 | #Constraints: 20625
522.60/524.02 c #Conflicts: 629000 | #Constraints: 21625
522.60/524.02 c #Conflicts: 630000 | #Constraints: 22625
522.60/524.02 c #Conflicts: 631000 | #Constraints: 23625
522.60/524.02 c #Conflicts: 632000 | #Constraints: 24625
522.60/524.02 c #Conflicts: 633000 | #Constraints: 25625
522.60/524.02 c #Conflicts: 634000 | #Constraints: 26625
522.60/524.02 c #Conflicts: 635000 | #Constraints: 27625
522.60/524.02 c #Conflicts: 636000 | #Constraints: 28625
522.60/524.02 c #Conflicts: 637000 | #Constraints: 29625
522.60/524.02 c #Conflicts: 638000 | #Constraints: 30625
522.60/524.02 c #Conflicts: 639000 | #Constraints: 31625
522.60/524.02 c INPROCESSING
522.60/524.02 c GARBAGE COLLECT
522.60/524.02 c #Conflicts: 640000 | #Constraints: 16825
522.60/524.02 c #Conflicts: 641000 | #Constraints: 17825
522.60/524.02 c #Conflicts: 642000 | #Constraints: 18825
522.60/524.02 c #Conflicts: 643000 | #Constraints: 19825
522.60/524.02 c #Conflicts: 644000 | #Constraints: 20825
522.60/524.02 c #Conflicts: 645000 | #Constraints: 21825
522.60/524.02 c #Conflicts: 646000 | #Constraints: 22825
522.60/524.02 c #Conflicts: 647000 | #Constraints: 23825
522.60/524.02 c #Conflicts: 648000 | #Constraints: 24825
522.60/524.02 c #Conflicts: 649000 | #Constraints: 25825
522.60/524.02 c #Conflicts: 650000 | #Constraints: 26825
522.60/524.02 c #Conflicts: 651000 | #Constraints: 27825
522.60/524.02 c #Conflicts: 652000 | #Constraints: 28825
522.60/524.02 c #Conflicts: 653000 | #Constraints: 29825
522.60/524.02 c #Conflicts: 654000 | #Constraints: 30825
522.60/524.02 c #Conflicts: 655000 | #Constraints: 31825
522.60/524.02 c INPROCESSING
522.60/524.02 c GARBAGE COLLECT
522.60/524.02 c #Conflicts: 656000 | #Constraints: 16827
522.60/524.02 c #Conflicts: 657000 | #Constraints: 17827
522.60/524.02 c #Conflicts: 658000 | #Constraints: 18827
522.60/524.02 c #Conflicts: 659000 | #Constraints: 19827
522.60/524.02 c #Conflicts: 660000 | #Constraints: 20827
522.60/524.02 c #Conflicts: 661000 | #Constraints: 21827
522.60/524.02 c #Conflicts: 662000 | #Constraints: 22827
522.60/524.02 c #Conflicts: 663000 | #Constraints: 23827
614.84/616.52 c #Conflicts: 664000 | #Constraints: 24827
614.84/616.52 c #Conflicts: 665000 | #Constraints: 25827
614.84/616.52 c #Conflicts: 666000 | #Constraints: 26827
614.84/616.52 c #Conflicts: 667000 | #Constraints: 27827
614.84/616.52 c #Conflicts: 668000 | #Constraints: 28827
614.84/616.52 c #Conflicts: 669000 | #Constraints: 29827
614.84/616.52 c #Conflicts: 670000 | #Constraints: 30827
614.84/616.52 c #Conflicts: 671000 | #Constraints: 31827
614.84/616.52 c INPROCESSING
614.84/616.52 c GARBAGE COLLECT
614.84/616.52 c #Conflicts: 672000 | #Constraints: 16626
614.84/616.52 c #Conflicts: 673000 | #Constraints: 17626
614.84/616.52 c #Conflicts: 674000 | #Constraints: 18626
614.84/616.52 c #Conflicts: 675000 | #Constraints: 19626
614.84/616.52 c #Conflicts: 676000 | #Constraints: 20626
614.84/616.52 c #Conflicts: 677000 | #Constraints: 21626
614.84/616.52 c #Conflicts: 678000 | #Constraints: 22626
614.84/616.52 c #Conflicts: 679000 | #Constraints: 23626
614.84/616.52 c #Conflicts: 680000 | #Constraints: 24626
614.84/616.52 c #Conflicts: 681000 | #Constraints: 25626
614.84/616.52 c #Conflicts: 682000 | #Constraints: 26626
614.84/616.52 c #Conflicts: 683000 | #Constraints: 27626
614.84/616.52 c #Conflicts: 684000 | #Constraints: 28626
614.84/616.52 c #Conflicts: 685000 | #Constraints: 29626
614.84/616.52 c #Conflicts: 686000 | #Constraints: 30626
614.84/616.52 c #Conflicts: 687000 | #Constraints: 31626
614.84/616.52 c #Conflicts: 688000 | #Constraints: 32626
614.84/616.52 c INPROCESSING
614.84/616.52 c GARBAGE COLLECT
614.84/616.52 c #Conflicts: 689000 | #Constraints: 17226
614.84/616.52 c #Conflicts: 690000 | #Constraints: 18226
614.84/616.52 c #Conflicts: 691000 | #Constraints: 19226
614.84/616.52 c #Conflicts: 692000 | #Constraints: 20226
614.84/616.52 c #Conflicts: 693000 | #Constraints: 21226
614.84/616.52 c #Conflicts: 694000 | #Constraints: 22226
614.84/616.52 c #Conflicts: 695000 | #Constraints: 23226
614.84/616.52 c #Conflicts: 696000 | #Constraints: 24226
614.84/616.52 c #Conflicts: 697000 | #Constraints: 25226
614.84/616.52 c #Conflicts: 698000 | #Constraints: 26226
614.84/616.52 c #Conflicts: 699000 | #Constraints: 27226
614.84/616.52 c #Conflicts: 700000 | #Constraints: 28226
614.84/616.52 c #Conflicts: 701000 | #Constraints: 29226
614.84/616.52 c #Conflicts: 702000 | #Constraints: 30226
614.84/616.52 c #Conflicts: 703000 | #Constraints: 31226
614.84/616.52 c #Conflicts: 704000 | #Constraints: 32226
614.84/616.52 c #Conflicts: 705000 | #Constraints: 33226
614.84/616.52 c INPROCESSING
614.84/616.52 c GARBAGE COLLECT
614.84/616.52 c #Conflicts: 706000 | #Constraints: 17627
614.84/616.52 c #Conflicts: 707000 | #Constraints: 18627
614.84/616.52 c #Conflicts: 708000 | #Constraints: 19627
614.84/616.52 c #Conflicts: 709000 | #Constraints: 20627
614.84/616.52 c #Conflicts: 710000 | #Constraints: 21627
614.84/616.52 c #Conflicts: 711000 | #Constraints: 22627
614.84/616.52 c #Conflicts: 712000 | #Constraints: 23627
614.84/616.52 c #Conflicts: 713000 | #Constraints: 24627
614.84/616.52 c #Conflicts: 714000 | #Constraints: 25627
614.84/616.52 c #Conflicts: 715000 | #Constraints: 26627
614.84/616.52 c #Conflicts: 716000 | #Constraints: 27627
614.84/616.52 c #Conflicts: 717000 | #Constraints: 28627
614.84/616.52 c #Conflicts: 718000 | #Constraints: 29627
614.84/616.52 c #Conflicts: 719000 | #Constraints: 30627
614.84/616.52 c #Conflicts: 720000 | #Constraints: 31627
614.84/616.52 c #Conflicts: 721000 | #Constraints: 32627
614.84/616.52 c #Conflicts: 722000 | #Constraints: 33627
614.84/616.52 c INPROCESSING
614.84/616.52 c GARBAGE COLLECT
614.84/616.52 c #Conflicts: 723000 | #Constraints: 17827
614.84/616.52 c #Conflicts: 724000 | #Constraints: 18827
614.84/616.52 c #Conflicts: 725000 | #Constraints: 19827
614.84/616.52 c #Conflicts: 726000 | #Constraints: 20827
614.84/616.52 c #Conflicts: 727000 | #Constraints: 21827
614.84/616.52 c #Conflicts: 728000 | #Constraints: 22827
614.84/616.52 c #Conflicts: 729000 | #Constraints: 23827
614.84/616.52 c #Conflicts: 730000 | #Constraints: 24827
614.84/616.52 c #Conflicts: 731000 | #Constraints: 25827
614.84/616.52 c #Conflicts: 732000 | #Constraints: 26827
614.84/616.52 c #Conflicts: 733000 | #Constraints: 27827
614.84/616.52 c #Conflicts: 734000 | #Constraints: 28827
614.84/616.52 c #Conflicts: 735000 | #Constraints: 29827
614.84/616.52 c #Conflicts: 736000 | #Constraints: 30827
614.84/616.52 c #Conflicts: 737000 | #Constraints: 31827
614.84/616.52 c #Conflicts: 738000 | #Constraints: 32827
614.84/616.52 c #Conflicts: 739000 | #Constraints: 33827
714.37/716.38 c INPROCESSING
714.37/716.38 c GARBAGE COLLECT
714.37/716.38 c #Conflicts: 740000 | #Constraints: 17826
714.37/716.38 c #Conflicts: 741000 | #Constraints: 18826
714.37/716.38 c #Conflicts: 742000 | #Constraints: 19826
714.37/716.38 c #Conflicts: 743000 | #Constraints: 20826
714.37/716.38 c #Conflicts: 744000 | #Constraints: 21826
714.37/716.38 c #Conflicts: 745000 | #Constraints: 22826
714.37/716.38 c #Conflicts: 746000 | #Constraints: 23826
714.37/716.38 c #Conflicts: 747000 | #Constraints: 24826
714.37/716.38 c #Conflicts: 748000 | #Constraints: 25826
714.37/716.38 c #Conflicts: 749000 | #Constraints: 26826
714.37/716.38 c #Conflicts: 750000 | #Constraints: 27826
714.37/716.38 c #Conflicts: 751000 | #Constraints: 28826
714.37/716.38 c #Conflicts: 752000 | #Constraints: 29826
714.37/716.38 c #Conflicts: 753000 | #Constraints: 30826
714.37/716.38 c #Conflicts: 754000 | #Constraints: 31826
714.37/716.38 c #Conflicts: 755000 | #Constraints: 32826
714.37/716.38 c #Conflicts: 756000 | #Constraints: 33826
714.37/716.38 c INPROCESSING
714.37/716.38 c GARBAGE COLLECT
714.37/716.38 c #Conflicts: 757000 | #Constraints: 17624
714.37/716.38 c #Conflicts: 758000 | #Constraints: 18624
714.37/716.38 c #Conflicts: 759000 | #Constraints: 19624
714.37/716.38 c #Conflicts: 760000 | #Constraints: 20624
714.37/716.38 c #Conflicts: 761000 | #Constraints: 21624
714.37/716.38 c #Conflicts: 762000 | #Constraints: 22624
714.37/716.38 c #Conflicts: 763000 | #Constraints: 23624
714.37/716.38 c #Conflicts: 764000 | #Constraints: 24624
714.37/716.38 c #Conflicts: 765000 | #Constraints: 25624
714.37/716.38 c #Conflicts: 766000 | #Constraints: 26624
714.37/716.38 c #Conflicts: 767000 | #Constraints: 27624
714.37/716.38 c #Conflicts: 768000 | #Constraints: 28624
714.37/716.38 c #Conflicts: 769000 | #Constraints: 29624
714.37/716.38 c #Conflicts: 770000 | #Constraints: 30624
714.37/716.38 c #Conflicts: 771000 | #Constraints: 31624
714.37/716.38 c #Conflicts: 772000 | #Constraints: 32624
714.37/716.38 c #Conflicts: 773000 | #Constraints: 33624
714.37/716.38 c #Conflicts: 774000 | #Constraints: 34624
714.37/716.38 c INPROCESSING
714.37/716.38 c GARBAGE COLLECT
714.37/716.38 c #Conflicts: 775000 | #Constraints: 18221
714.37/716.38 c #Conflicts: 776000 | #Constraints: 19221
714.37/716.38 c #Conflicts: 777000 | #Constraints: 20221
714.37/716.38 c #Conflicts: 778000 | #Constraints: 21221
714.37/716.38 c #Conflicts: 779000 | #Constraints: 22221
714.37/716.38 c #Conflicts: 780000 | #Constraints: 23221
714.37/716.38 c #Conflicts: 781000 | #Constraints: 24221
714.37/716.38 c #Conflicts: 782000 | #Constraints: 25221
714.37/716.38 c #Conflicts: 783000 | #Constraints: 26221
714.37/716.38 c #Conflicts: 784000 | #Constraints: 27221
714.37/716.38 c #Conflicts: 785000 | #Constraints: 28221
714.37/716.38 c #Conflicts: 786000 | #Constraints: 29221
714.37/716.38 c #Conflicts: 787000 | #Constraints: 30221
714.37/716.38 c #Conflicts: 788000 | #Constraints: 31221
714.37/716.38 c #Conflicts: 789000 | #Constraints: 32221
714.37/716.38 c #Conflicts: 790000 | #Constraints: 33221
714.37/716.38 c #Conflicts: 791000 | #Constraints: 34221
714.37/716.38 c #Conflicts: 792000 | #Constraints: 35221
714.37/716.38 c INPROCESSING
714.37/716.38 c GARBAGE COLLECT
714.37/716.38 c #Conflicts: 793000 | #Constraints: 18620
714.37/716.38 c #Conflicts: 794000 | #Constraints: 19620
714.37/716.38 c #Conflicts: 795000 | #Constraints: 20620
714.37/716.38 c #Conflicts: 796000 | #Constraints: 21620
714.37/716.38 c #Conflicts: 797000 | #Constraints: 22620
714.37/716.38 c #Conflicts: 798000 | #Constraints: 23620
714.37/716.38 c #Conflicts: 799000 | #Constraints: 24620
714.37/716.38 c #Conflicts: 800000 | #Constraints: 25620
714.37/716.38 c #Conflicts: 801000 | #Constraints: 26620
714.37/716.38 c #Conflicts: 802000 | #Constraints: 27620
714.37/716.38 c #Conflicts: 803000 | #Constraints: 28620
714.37/716.38 c #Conflicts: 804000 | #Constraints: 29620
714.37/716.38 c #Conflicts: 805000 | #Constraints: 30620
714.37/716.38 c #Conflicts: 806000 | #Constraints: 31620
714.37/716.38 c #Conflicts: 807000 | #Constraints: 32620
714.37/716.38 c #Conflicts: 808000 | #Constraints: 33620
714.37/716.38 c #Conflicts: 809000 | #Constraints: 34620
714.37/716.38 c #Conflicts: 810000 | #Constraints: 35620
714.37/716.38 c INPROCESSING
714.37/716.38 c GARBAGE COLLECT
714.37/716.38 c #Conflicts: 811000 | #Constraints: 18822
714.37/716.38 c #Conflicts: 812000 | #Constraints: 19822
714.37/716.38 c #Conflicts: 813000 | #Constraints: 20822
714.37/716.38 c #Conflicts: 814000 | #Constraints: 21822
714.37/716.38 c #Conflicts: 815000 | #Constraints: 22822
822.28/824.51 c #Conflicts: 816000 | #Constraints: 23822
822.28/824.51 c #Conflicts: 817000 | #Constraints: 24822
822.28/824.51 c #Conflicts: 818000 | #Constraints: 25822
822.28/824.51 c #Conflicts: 819000 | #Constraints: 26822
822.28/824.51 c #Conflicts: 820000 | #Constraints: 27822
822.28/824.51 c #Conflicts: 821000 | #Constraints: 28822
822.28/824.51 c #Conflicts: 822000 | #Constraints: 29822
822.28/824.51 c #Conflicts: 823000 | #Constraints: 30822
822.28/824.51 c #Conflicts: 824000 | #Constraints: 31822
822.28/824.51 c #Conflicts: 825000 | #Constraints: 32822
822.28/824.51 c #Conflicts: 826000 | #Constraints: 33822
822.28/824.51 c #Conflicts: 827000 | #Constraints: 34822
822.28/824.51 c #Conflicts: 828000 | #Constraints: 35822
822.28/824.51 c INPROCESSING
822.28/824.51 c GARBAGE COLLECT
822.28/824.51 c #Conflicts: 829000 | #Constraints: 18823
822.28/824.51 c #Conflicts: 830000 | #Constraints: 19823
822.28/824.51 c #Conflicts: 831000 | #Constraints: 20823
822.28/824.51 c #Conflicts: 832000 | #Constraints: 21823
822.28/824.51 c #Conflicts: 833000 | #Constraints: 22823
822.28/824.51 c #Conflicts: 834000 | #Constraints: 23823
822.28/824.51 c #Conflicts: 835000 | #Constraints: 24823
822.28/824.51 c #Conflicts: 836000 | #Constraints: 25823
822.28/824.51 c #Conflicts: 837000 | #Constraints: 26823
822.28/824.51 c #Conflicts: 838000 | #Constraints: 27823
822.28/824.51 c #Conflicts: 839000 | #Constraints: 28823
822.28/824.51 c #Conflicts: 840000 | #Constraints: 29823
822.28/824.51 c #Conflicts: 841000 | #Constraints: 30823
822.28/824.51 c #Conflicts: 842000 | #Constraints: 31823
822.28/824.51 c #Conflicts: 843000 | #Constraints: 32823
822.28/824.51 c #Conflicts: 844000 | #Constraints: 33823
822.28/824.51 c #Conflicts: 845000 | #Constraints: 34823
822.28/824.51 c #Conflicts: 846000 | #Constraints: 35823
822.28/824.51 c INPROCESSING
822.28/824.51 c GARBAGE COLLECT
822.28/824.51 c #Conflicts: 847000 | #Constraints: 18622
822.28/824.51 c #Conflicts: 848000 | #Constraints: 19622
822.28/824.51 c #Conflicts: 849000 | #Constraints: 20622
822.28/824.51 c #Conflicts: 850000 | #Constraints: 21622
822.28/824.51 c #Conflicts: 851000 | #Constraints: 22622
822.28/824.51 c #Conflicts: 852000 | #Constraints: 23622
822.28/824.51 c #Conflicts: 853000 | #Constraints: 24622
822.28/824.51 c #Conflicts: 854000 | #Constraints: 25622
822.28/824.51 c #Conflicts: 855000 | #Constraints: 26622
822.28/824.51 c #Conflicts: 856000 | #Constraints: 27622
822.28/824.51 c #Conflicts: 857000 | #Constraints: 28622
822.28/824.51 c #Conflicts: 858000 | #Constraints: 29622
822.28/824.51 c #Conflicts: 859000 | #Constraints: 30622
822.28/824.51 c #Conflicts: 860000 | #Constraints: 31622
822.28/824.51 c #Conflicts: 861000 | #Constraints: 32622
822.28/824.51 c #Conflicts: 862000 | #Constraints: 33622
822.28/824.51 c #Conflicts: 863000 | #Constraints: 34622
822.28/824.51 c #Conflicts: 864000 | #Constraints: 35622
822.28/824.51 c #Conflicts: 865000 | #Constraints: 36622
822.28/824.51 c INPROCESSING
822.28/824.51 c GARBAGE COLLECT
822.28/824.51 c #Conflicts: 866000 | #Constraints: 19221
822.28/824.51 c #Conflicts: 867000 | #Constraints: 20221
822.28/824.51 c #Conflicts: 868000 | #Constraints: 21221
822.28/824.51 c #Conflicts: 869000 | #Constraints: 22221
822.28/824.51 c #Conflicts: 870000 | #Constraints: 23221
822.28/824.51 c #Conflicts: 871000 | #Constraints: 24221
822.28/824.51 c #Conflicts: 872000 | #Constraints: 25221
822.28/824.51 c #Conflicts: 873000 | #Constraints: 26221
822.28/824.51 c #Conflicts: 874000 | #Constraints: 27221
822.28/824.51 c #Conflicts: 875000 | #Constraints: 28221
822.28/824.51 c #Conflicts: 876000 | #Constraints: 29221
822.28/824.51 c #Conflicts: 877000 | #Constraints: 30221
822.28/824.51 c #Conflicts: 878000 | #Constraints: 31221
822.28/824.51 c #Conflicts: 879000 | #Constraints: 32221
822.28/824.51 c #Conflicts: 880000 | #Constraints: 33221
822.28/824.51 c #Conflicts: 881000 | #Constraints: 34221
822.28/824.51 c #Conflicts: 882000 | #Constraints: 35221
822.28/824.51 c #Conflicts: 883000 | #Constraints: 36221
822.28/824.51 c #Conflicts: 884000 | #Constraints: 37221
822.28/824.51 c INPROCESSING
822.28/824.51 c GARBAGE COLLECT
822.28/824.51 c #Conflicts: 885000 | #Constraints: 19624
822.28/824.51 c #Conflicts: 886000 | #Constraints: 20624
822.28/824.51 c #Conflicts: 887000 | #Constraints: 21624
822.28/824.51 c #Conflicts: 888000 | #Constraints: 22624
822.28/824.51 c #Conflicts: 889000 | #Constraints: 23624
822.28/824.51 c #Conflicts: 890000 | #Constraints: 24624
822.28/824.51 c #Conflicts: 891000 | #Constraints: 25624
940.58/943.13 c #Conflicts: 892000 | #Constraints: 26624
940.58/943.13 c #Conflicts: 893000 | #Constraints: 27624
940.58/943.13 c #Conflicts: 894000 | #Constraints: 28624
940.58/943.13 c #Conflicts: 895000 | #Constraints: 29624
940.58/943.13 c #Conflicts: 896000 | #Constraints: 30624
940.58/943.13 c #Conflicts: 897000 | #Constraints: 31624
940.58/943.13 c #Conflicts: 898000 | #Constraints: 32624
940.58/943.13 c #Conflicts: 899000 | #Constraints: 33624
940.58/943.13 c #Conflicts: 900000 | #Constraints: 34624
940.58/943.13 c #Conflicts: 901000 | #Constraints: 35624
940.58/943.13 c #Conflicts: 902000 | #Constraints: 36624
940.58/943.13 c #Conflicts: 903000 | #Constraints: 37624
940.58/943.13 c INPROCESSING
940.58/943.13 c GARBAGE COLLECT
940.58/943.13 c #Conflicts: 904000 | #Constraints: 19822
940.58/943.13 c #Conflicts: 905000 | #Constraints: 20822
940.58/943.13 c #Conflicts: 906000 | #Constraints: 21822
940.58/943.13 c #Conflicts: 907000 | #Constraints: 22822
940.58/943.13 c #Conflicts: 908000 | #Constraints: 23822
940.58/943.13 c #Conflicts: 909000 | #Constraints: 24822
940.58/943.13 c #Conflicts: 910000 | #Constraints: 25822
940.58/943.13 c #Conflicts: 911000 | #Constraints: 26822
940.58/943.13 c #Conflicts: 912000 | #Constraints: 27822
940.58/943.13 c #Conflicts: 913000 | #Constraints: 28822
940.58/943.13 c #Conflicts: 914000 | #Constraints: 29822
940.58/943.13 c #Conflicts: 915000 | #Constraints: 30822
940.58/943.13 c #Conflicts: 916000 | #Constraints: 31822
940.58/943.13 c #Conflicts: 917000 | #Constraints: 32822
940.58/943.13 c #Conflicts: 918000 | #Constraints: 33822
940.58/943.13 c #Conflicts: 919000 | #Constraints: 34822
940.58/943.13 c #Conflicts: 920000 | #Constraints: 35822
940.58/943.13 c #Conflicts: 921000 | #Constraints: 36822
940.58/943.13 c #Conflicts: 922000 | #Constraints: 37822
940.58/943.13 c INPROCESSING
940.58/943.13 c GARBAGE COLLECT
940.58/943.13 c #Conflicts: 923000 | #Constraints: 19823
940.58/943.13 c #Conflicts: 924000 | #Constraints: 20823
940.58/943.13 c #Conflicts: 925000 | #Constraints: 21823
940.58/943.13 c #Conflicts: 926000 | #Constraints: 22823
940.58/943.13 c #Conflicts: 927000 | #Constraints: 23823
940.58/943.13 c #Conflicts: 928000 | #Constraints: 24823
940.58/943.13 c #Conflicts: 929000 | #Constraints: 25823
940.58/943.13 c #Conflicts: 930000 | #Constraints: 26823
940.58/943.13 c #Conflicts: 931000 | #Constraints: 27823
940.58/943.13 c #Conflicts: 932000 | #Constraints: 28823
940.58/943.13 c #Conflicts: 933000 | #Constraints: 29823
940.58/943.13 c #Conflicts: 934000 | #Constraints: 30823
940.58/943.13 c #Conflicts: 935000 | #Constraints: 31823
940.58/943.13 c #Conflicts: 936000 | #Constraints: 32823
940.58/943.13 c #Conflicts: 937000 | #Constraints: 33823
940.58/943.13 c #Conflicts: 938000 | #Constraints: 34823
940.58/943.13 c #Conflicts: 939000 | #Constraints: 35823
940.58/943.13 c #Conflicts: 940000 | #Constraints: 36823
940.58/943.13 c #Conflicts: 941000 | #Constraints: 37823
940.58/943.13 c INPROCESSING
940.58/943.13 c GARBAGE COLLECT
940.58/943.13 c #Conflicts: 942000 | #Constraints: 19622
940.58/943.13 c #Conflicts: 943000 | #Constraints: 20622
940.58/943.13 c #Conflicts: 944000 | #Constraints: 21622
940.58/943.13 c #Conflicts: 945000 | #Constraints: 22622
940.58/943.13 c #Conflicts: 946000 | #Constraints: 23622
940.58/943.13 c #Conflicts: 947000 | #Constraints: 24622
940.58/943.13 c #Conflicts: 948000 | #Constraints: 25622
940.58/943.13 c #Conflicts: 949000 | #Constraints: 26622
940.58/943.13 c #Conflicts: 950000 | #Constraints: 27622
940.58/943.13 c #Conflicts: 951000 | #Constraints: 28622
940.58/943.13 c #Conflicts: 952000 | #Constraints: 29622
940.58/943.13 c #Conflicts: 953000 | #Constraints: 30622
940.58/943.13 c #Conflicts: 954000 | #Constraints: 31622
940.58/943.13 c #Conflicts: 955000 | #Constraints: 32622
940.58/943.13 c #Conflicts: 956000 | #Constraints: 33622
940.58/943.13 c #Conflicts: 957000 | #Constraints: 34622
940.58/943.13 c #Conflicts: 958000 | #Constraints: 35622
940.58/943.13 c #Conflicts: 959000 | #Constraints: 36622
940.58/943.13 c #Conflicts: 960000 | #Constraints: 37622
940.58/943.13 c #Conflicts: 961000 | #Constraints: 38622
940.58/943.13 c INPROCESSING
940.58/943.13 c GARBAGE COLLECT
940.58/943.13 c #Conflicts: 962000 | #Constraints: 20222
940.58/943.13 c #Conflicts: 963000 | #Constraints: 21222
940.58/943.13 c #Conflicts: 964000 | #Constraints: 22222
940.58/943.13 c #Conflicts: 965000 | #Constraints: 23222
940.58/943.13 c #Conflicts: 966000 | #Constraints: 24222
940.58/943.13 c #Conflicts: 967000 | #Constraints: 25222
940.58/943.13 c #Conflicts: 968000 | #Constraints: 26222
1068.14/1071.01 c #Conflicts: 969000 | #Constraints: 27222
1068.14/1071.01 c #Conflicts: 970000 | #Constraints: 28222
1068.14/1071.01 c #Conflicts: 971000 | #Constraints: 29222
1068.14/1071.01 c #Conflicts: 972000 | #Constraints: 30222
1068.14/1071.01 c #Conflicts: 973000 | #Constraints: 31222
1068.14/1071.01 c #Conflicts: 974000 | #Constraints: 32222
1068.14/1071.01 c #Conflicts: 975000 | #Constraints: 33222
1068.14/1071.01 c #Conflicts: 976000 | #Constraints: 34222
1068.14/1071.01 c #Conflicts: 977000 | #Constraints: 35222
1068.14/1071.01 c #Conflicts: 978000 | #Constraints: 36222
1068.14/1071.01 c #Conflicts: 979000 | #Constraints: 37222
1068.14/1071.01 c #Conflicts: 980000 | #Constraints: 38222
1068.14/1071.01 c #Conflicts: 981000 | #Constraints: 39222
1068.14/1071.01 c INPROCESSING
1068.14/1071.01 c GARBAGE COLLECT
1068.14/1071.01 c #Conflicts: 982000 | #Constraints: 20626
1068.14/1071.01 c #Conflicts: 983000 | #Constraints: 21626
1068.14/1071.01 c #Conflicts: 984000 | #Constraints: 22626
1068.14/1071.01 c #Conflicts: 985000 | #Constraints: 23626
1068.14/1071.01 c #Conflicts: 986000 | #Constraints: 24626
1068.14/1071.01 c #Conflicts: 987000 | #Constraints: 25626
1068.14/1071.01 c #Conflicts: 988000 | #Constraints: 26626
1068.14/1071.01 c #Conflicts: 989000 | #Constraints: 27626
1068.14/1071.01 c #Conflicts: 990000 | #Constraints: 28626
1068.14/1071.01 c #Conflicts: 991000 | #Constraints: 29626
1068.14/1071.01 c #Conflicts: 992000 | #Constraints: 30626
1068.14/1071.01 c #Conflicts: 993000 | #Constraints: 31626
1068.14/1071.01 c #Conflicts: 994000 | #Constraints: 32626
1068.14/1071.01 c #Conflicts: 995000 | #Constraints: 33626
1068.14/1071.01 c #Conflicts: 996000 | #Constraints: 34626
1068.14/1071.01 c #Conflicts: 997000 | #Constraints: 35626
1068.14/1071.01 c #Conflicts: 998000 | #Constraints: 36626
1068.14/1071.01 c #Conflicts: 999000 | #Constraints: 37626
1068.14/1071.01 c #Conflicts: 1000000 | #Constraints: 38626
1068.14/1071.01 c #Conflicts: 1001000 | #Constraints: 39626
1068.14/1071.01 c INPROCESSING
1068.14/1071.01 c GARBAGE COLLECT
1068.14/1071.01 c #Conflicts: 1002000 | #Constraints: 20825
1068.14/1071.01 c #Conflicts: 1003000 | #Constraints: 21825
1068.14/1071.01 c #Conflicts: 1004000 | #Constraints: 22825
1068.14/1071.01 c #Conflicts: 1005000 | #Constraints: 23825
1068.14/1071.01 c #Conflicts: 1006000 | #Constraints: 24825
1068.14/1071.01 c #Conflicts: 1007000 | #Constraints: 25825
1068.14/1071.01 c #Conflicts: 1008000 | #Constraints: 26825
1068.14/1071.01 c #Conflicts: 1009000 | #Constraints: 27825
1068.14/1071.01 c #Conflicts: 1010000 | #Constraints: 28825
1068.14/1071.01 c #Conflicts: 1011000 | #Constraints: 29825
1068.14/1071.01 c #Conflicts: 1012000 | #Constraints: 30825
1068.14/1071.01 c #Conflicts: 1013000 | #Constraints: 31825
1068.14/1071.01 c #Conflicts: 1014000 | #Constraints: 32825
1068.14/1071.01 c #Conflicts: 1015000 | #Constraints: 33825
1068.14/1071.01 c #Conflicts: 1016000 | #Constraints: 34825
1068.14/1071.01 c #Conflicts: 1017000 | #Constraints: 35825
1068.14/1071.01 c #Conflicts: 1018000 | #Constraints: 36825
1068.14/1071.01 c #Conflicts: 1019000 | #Constraints: 37825
1068.14/1071.01 c #Conflicts: 1020000 | #Constraints: 38825
1068.14/1071.01 c #Conflicts: 1021000 | #Constraints: 39825
1068.14/1071.01 c INPROCESSING
1068.14/1071.01 c GARBAGE COLLECT
1068.14/1071.01 c #Conflicts: 1022000 | #Constraints: 20828
1068.14/1071.01 c #Conflicts: 1023000 | #Constraints: 21828
1068.14/1071.01 c #Conflicts: 1024000 | #Constraints: 22828
1068.14/1071.01 c #Conflicts: 1025000 | #Constraints: 23828
1068.14/1071.01 c #Conflicts: 1026000 | #Constraints: 24828
1068.14/1071.01 c #Conflicts: 1027000 | #Constraints: 25828
1068.14/1071.01 c #Conflicts: 1028000 | #Constraints: 26828
1068.14/1071.01 c #Conflicts: 1029000 | #Constraints: 27828
1068.14/1071.01 c #Conflicts: 1030000 | #Constraints: 28828
1068.14/1071.01 c #Conflicts: 1031000 | #Constraints: 29828
1068.14/1071.01 c #Conflicts: 1032000 | #Constraints: 30828
1068.14/1071.01 c #Conflicts: 1033000 | #Constraints: 31828
1068.14/1071.01 c #Conflicts: 1034000 | #Constraints: 32828
1068.14/1071.01 c #Conflicts: 1035000 | #Constraints: 33828
1068.14/1071.01 c #Conflicts: 1036000 | #Constraints: 34828
1068.14/1071.01 c #Conflicts: 1037000 | #Constraints: 35828
1068.14/1071.01 c #Conflicts: 1038000 | #Constraints: 36828
1068.14/1071.01 c #Conflicts: 1039000 | #Constraints: 37828
1068.14/1071.01 c #Conflicts: 1040000 | #Constraints: 38828
1068.14/1071.01 c #Conflicts: 1041000 | #Constraints: 39828
1068.14/1071.01 c INPROCESSING
1068.14/1071.01 c GARBAGE COLLECT
1068.14/1071.01 c #Conflicts: 1042000 | #Constraints: 20627
1068.14/1071.01 c #Conflicts: 1043000 | #Constraints: 21627
1068.14/1071.01 c #Conflicts: 1044000 | #Constraints: 22627
1225.30/1228.63 c #Conflicts: 1045000 | #Constraints: 23627
1225.30/1228.63 c #Conflicts: 1046000 | #Constraints: 24627
1225.30/1228.63 c #Conflicts: 1047000 | #Constraints: 25627
1225.30/1228.63 c #Conflicts: 1048000 | #Constraints: 26627
1225.30/1228.63 c #Conflicts: 1049000 | #Constraints: 27627
1225.30/1228.63 c #Conflicts: 1050000 | #Constraints: 28627
1225.30/1228.63 c #Conflicts: 1051000 | #Constraints: 29627
1225.30/1228.63 c #Conflicts: 1052000 | #Constraints: 30627
1225.30/1228.63 c #Conflicts: 1053000 | #Constraints: 31627
1225.30/1228.63 c #Conflicts: 1054000 | #Constraints: 32627
1225.30/1228.63 c #Conflicts: 1055000 | #Constraints: 33627
1225.30/1228.63 c #Conflicts: 1056000 | #Constraints: 34627
1225.30/1228.63 c #Conflicts: 1057000 | #Constraints: 35627
1225.30/1228.63 c #Conflicts: 1058000 | #Constraints: 36627
1225.30/1228.63 c #Conflicts: 1059000 | #Constraints: 37627
1225.30/1228.63 c #Conflicts: 1060000 | #Constraints: 38627
1225.30/1228.63 c #Conflicts: 1061000 | #Constraints: 39627
1225.30/1228.63 c #Conflicts: 1062000 | #Constraints: 40627
1225.30/1228.63 c INPROCESSING
1225.30/1228.63 c GARBAGE COLLECT
1225.30/1228.63 c #Conflicts: 1063000 | #Constraints: 21224
1225.30/1228.63 c #Conflicts: 1064000 | #Constraints: 22224
1225.30/1228.63 c #Conflicts: 1065000 | #Constraints: 23224
1225.30/1228.63 c #Conflicts: 1066000 | #Constraints: 24224
1225.30/1228.63 c #Conflicts: 1067000 | #Constraints: 25224
1225.30/1228.63 c #Conflicts: 1068000 | #Constraints: 26224
1225.30/1228.63 c #Conflicts: 1069000 | #Constraints: 27224
1225.30/1228.63 c #Conflicts: 1070000 | #Constraints: 28224
1225.30/1228.63 c #Conflicts: 1071000 | #Constraints: 29224
1225.30/1228.63 c #Conflicts: 1072000 | #Constraints: 30224
1225.30/1228.63 c #Conflicts: 1073000 | #Constraints: 31224
1225.30/1228.63 c #Conflicts: 1074000 | #Constraints: 32224
1225.30/1228.63 c #Conflicts: 1075000 | #Constraints: 33224
1225.30/1228.63 c #Conflicts: 1076000 | #Constraints: 34224
1225.30/1228.63 c #Conflicts: 1077000 | #Constraints: 35224
1225.30/1228.63 c #Conflicts: 1078000 | #Constraints: 36224
1225.30/1228.63 c #Conflicts: 1079000 | #Constraints: 37224
1225.30/1228.63 c #Conflicts: 1080000 | #Constraints: 38224
1225.30/1228.63 c #Conflicts: 1081000 | #Constraints: 39224
1225.30/1228.63 c #Conflicts: 1082000 | #Constraints: 40224
1225.30/1228.63 c #Conflicts: 1083000 | #Constraints: 41224
1225.30/1228.63 c INPROCESSING
1225.30/1228.63 c GARBAGE COLLECT
1225.30/1228.63 c #Conflicts: 1084000 | #Constraints: 21626
1225.30/1228.63 c #Conflicts: 1085000 | #Constraints: 22626
1225.30/1228.63 c #Conflicts: 1086000 | #Constraints: 23626
1225.30/1228.63 c #Conflicts: 1087000 | #Constraints: 24626
1225.30/1228.63 c #Conflicts: 1088000 | #Constraints: 25626
1225.30/1228.63 c #Conflicts: 1089000 | #Constraints: 26626
1225.30/1228.63 c #Conflicts: 1090000 | #Constraints: 27626
1225.30/1228.63 c #Conflicts: 1091000 | #Constraints: 28626
1225.30/1228.63 c #Conflicts: 1092000 | #Constraints: 29626
1225.30/1228.63 c #Conflicts: 1093000 | #Constraints: 30626
1225.30/1228.63 c #Conflicts: 1094000 | #Constraints: 31626
1225.30/1228.63 c #Conflicts: 1095000 | #Constraints: 32626
1225.30/1228.63 c #Conflicts: 1096000 | #Constraints: 33626
1225.30/1228.63 c #Conflicts: 1097000 | #Constraints: 34626
1225.30/1228.63 c #Conflicts: 1098000 | #Constraints: 35626
1225.30/1228.63 c #Conflicts: 1099000 | #Constraints: 36626
1225.30/1228.63 c #Conflicts: 1100000 | #Constraints: 37626
1225.30/1228.63 c #Conflicts: 1101000 | #Constraints: 38626
1225.30/1228.63 c #Conflicts: 1102000 | #Constraints: 39626
1225.30/1228.63 c #Conflicts: 1103000 | #Constraints: 40626
1225.30/1228.63 c #Conflicts: 1104000 | #Constraints: 41626
1225.30/1228.63 c INPROCESSING
1225.30/1228.63 c GARBAGE COLLECT
1225.30/1228.63 c #Conflicts: 1105000 | #Constraints: 21823
1225.30/1228.63 c #Conflicts: 1106000 | #Constraints: 22823
1225.30/1228.63 c #Conflicts: 1107000 | #Constraints: 23823
1225.30/1228.63 c #Conflicts: 1108000 | #Constraints: 24823
1225.30/1228.63 c #Conflicts: 1109000 | #Constraints: 25823
1225.30/1228.63 c #Conflicts: 1110000 | #Constraints: 26823
1225.30/1228.63 c #Conflicts: 1111000 | #Constraints: 27823
1225.30/1228.63 c #Conflicts: 1112000 | #Constraints: 28823
1225.30/1228.63 c #Conflicts: 1113000 | #Constraints: 29823
1225.30/1228.63 c #Conflicts: 1114000 | #Constraints: 30823
1225.30/1228.63 c #Conflicts: 1115000 | #Constraints: 31823
1225.30/1228.63 c #Conflicts: 1116000 | #Constraints: 32823
1225.30/1228.63 c #Conflicts: 1117000 | #Constraints: 33823
1225.30/1228.63 c #Conflicts: 1118000 | #Constraints: 34823
1225.30/1228.63 c #Conflicts: 1119000 | #Constraints: 35823
1225.30/1228.63 c #Conflicts: 1120000 | #Constraints: 36823
1225.30/1228.63 c #Conflicts: 1121000 | #Constraints: 37823
1357.85/1361.57 c #Conflicts: 1122000 | #Constraints: 38823
1357.85/1361.57 c #Conflicts: 1123000 | #Constraints: 39823
1357.85/1361.57 c #Conflicts: 1124000 | #Constraints: 40823
1357.85/1361.57 c #Conflicts: 1125000 | #Constraints: 41823
1357.85/1361.57 c INPROCESSING
1357.85/1361.57 c GARBAGE COLLECT
1357.85/1361.57 c #Conflicts: 1126000 | #Constraints: 21825
1357.85/1361.57 c #Conflicts: 1127000 | #Constraints: 22825
1357.85/1361.57 c #Conflicts: 1128000 | #Constraints: 23825
1357.85/1361.57 c #Conflicts: 1129000 | #Constraints: 24825
1357.85/1361.57 c #Conflicts: 1130000 | #Constraints: 25825
1357.85/1361.57 c #Conflicts: 1131000 | #Constraints: 26825
1357.85/1361.57 c #Conflicts: 1132000 | #Constraints: 27825
1357.85/1361.57 c #Conflicts: 1133000 | #Constraints: 28825
1357.85/1361.57 c #Conflicts: 1134000 | #Constraints: 29825
1357.85/1361.57 c #Conflicts: 1135000 | #Constraints: 30825
1357.85/1361.57 c #Conflicts: 1136000 | #Constraints: 31825
1357.85/1361.57 c #Conflicts: 1137000 | #Constraints: 32825
1357.85/1361.57 c #Conflicts: 1138000 | #Constraints: 33825
1357.85/1361.57 c #Conflicts: 1139000 | #Constraints: 34825
1357.85/1361.57 c #Conflicts: 1140000 | #Constraints: 35825
1357.85/1361.57 c #Conflicts: 1141000 | #Constraints: 36825
1357.85/1361.57 c #Conflicts: 1142000 | #Constraints: 37825
1357.85/1361.57 c #Conflicts: 1143000 | #Constraints: 38825
1357.85/1361.57 c #Conflicts: 1144000 | #Constraints: 39825
1357.85/1361.57 c #Conflicts: 1145000 | #Constraints: 40825
1357.85/1361.57 c #Conflicts: 1146000 | #Constraints: 41825
1357.85/1361.57 c INPROCESSING
1357.85/1361.57 c GARBAGE COLLECT
1357.85/1361.57 c #Conflicts: 1147000 | #Constraints: 21623
1357.85/1361.57 c #Conflicts: 1148000 | #Constraints: 22623
1357.85/1361.57 c #Conflicts: 1149000 | #Constraints: 23623
1357.85/1361.57 c #Conflicts: 1150000 | #Constraints: 24623
1357.85/1361.57 c #Conflicts: 1151000 | #Constraints: 25623
1357.85/1361.57 c #Conflicts: 1152000 | #Constraints: 26623
1357.85/1361.57 c #Conflicts: 1153000 | #Constraints: 27623
1357.85/1361.57 c #Conflicts: 1154000 | #Constraints: 28623
1357.85/1361.57 c #Conflicts: 1155000 | #Constraints: 29623
1357.85/1361.57 c #Conflicts: 1156000 | #Constraints: 30623
1357.85/1361.57 c #Conflicts: 1157000 | #Constraints: 31623
1357.85/1361.57 c #Conflicts: 1158000 | #Constraints: 32623
1357.85/1361.57 c #Conflicts: 1159000 | #Constraints: 33623
1357.85/1361.57 c #Conflicts: 1160000 | #Constraints: 34623
1357.85/1361.57 c #Conflicts: 1161000 | #Constraints: 35623
1357.85/1361.57 c #Conflicts: 1162000 | #Constraints: 36623
1357.85/1361.57 c #Conflicts: 1163000 | #Constraints: 37623
1357.85/1361.57 c #Conflicts: 1164000 | #Constraints: 38623
1357.85/1361.57 c #Conflicts: 1165000 | #Constraints: 39623
1357.85/1361.57 c #Conflicts: 1166000 | #Constraints: 40623
1357.85/1361.57 c #Conflicts: 1167000 | #Constraints: 41623
1357.85/1361.57 c #Conflicts: 1168000 | #Constraints: 42623
1357.85/1361.57 c INPROCESSING
1357.85/1361.57 c GARBAGE COLLECT
1357.85/1361.57 c #Conflicts: 1169000 | #Constraints: 22226
1357.85/1361.57 c #Conflicts: 1170000 | #Constraints: 23226
1357.85/1361.57 c #Conflicts: 1171000 | #Constraints: 24226
1357.85/1361.57 c #Conflicts: 1172000 | #Constraints: 25226
1357.85/1361.57 c #Conflicts: 1173000 | #Constraints: 26226
1357.85/1361.57 c #Conflicts: 1174000 | #Constraints: 27226
1357.85/1361.57 c #Conflicts: 1175000 | #Constraints: 28226
1357.85/1361.57 c #Conflicts: 1176000 | #Constraints: 29226
1357.85/1361.57 c #Conflicts: 1177000 | #Constraints: 30226
1357.85/1361.57 c #Conflicts: 1178000 | #Constraints: 31226
1357.85/1361.57 c #Conflicts: 1179000 | #Constraints: 32226
1357.85/1361.57 c #Conflicts: 1180000 | #Constraints: 33226
1357.85/1361.57 c #Conflicts: 1181000 | #Constraints: 34226
1357.85/1361.57 c #Conflicts: 1182000 | #Constraints: 35226
1357.85/1361.57 c #Conflicts: 1183000 | #Constraints: 36226
1357.85/1361.57 c #Conflicts: 1184000 | #Constraints: 37226
1357.85/1361.57 c #Conflicts: 1185000 | #Constraints: 38226
1357.85/1361.57 c #Conflicts: 1186000 | #Constraints: 39226
1357.85/1361.57 c #Conflicts: 1187000 | #Constraints: 40226
1357.85/1361.57 c #Conflicts: 1188000 | #Constraints: 41226
1357.85/1361.57 c #Conflicts: 1189000 | #Constraints: 42226
1357.85/1361.57 c #Conflicts: 1190000 | #Constraints: 43226
1357.85/1361.57 c INPROCESSING
1357.85/1361.57 c GARBAGE COLLECT
1357.85/1361.57 c #Conflicts: 1191000 | #Constraints: 22628
1357.85/1361.57 c #Conflicts: 1192000 | #Constraints: 23628
1357.85/1361.57 c #Conflicts: 1193000 | #Constraints: 24628
1357.85/1361.57 c #Conflicts: 1194000 | #Constraints: 25628
1357.85/1361.57 c #Conflicts: 1195000 | #Constraints: 26628
1357.85/1361.57 c #Conflicts: 1196000 | #Constraints: 27628
1357.85/1361.57 c #Conflicts: 1197000 | #Constraints: 28628
1502.08/1506.11 c #Conflicts: 1198000 | #Constraints: 29628
1502.08/1506.11 c #Conflicts: 1199000 | #Constraints: 30628
1502.08/1506.11 c #Conflicts: 1200000 | #Constraints: 31628
1502.08/1506.11 c #Conflicts: 1201000 | #Constraints: 32628
1502.08/1506.11 c #Conflicts: 1202000 | #Constraints: 33628
1502.08/1506.11 c #Conflicts: 1203000 | #Constraints: 34628
1502.08/1506.11 c #Conflicts: 1204000 | #Constraints: 35628
1502.08/1506.11 c #Conflicts: 1205000 | #Constraints: 36628
1502.08/1506.11 c #Conflicts: 1206000 | #Constraints: 37628
1502.08/1506.11 c #Conflicts: 1207000 | #Constraints: 38628
1502.08/1506.11 c #Conflicts: 1208000 | #Constraints: 39628
1502.08/1506.11 c #Conflicts: 1209000 | #Constraints: 40628
1502.08/1506.11 c #Conflicts: 1210000 | #Constraints: 41628
1502.08/1506.11 c #Conflicts: 1211000 | #Constraints: 42628
1502.08/1506.11 c #Conflicts: 1212000 | #Constraints: 43628
1502.08/1506.11 c INPROCESSING
1502.08/1506.11 c GARBAGE COLLECT
1502.08/1506.11 c #Conflicts: 1213000 | #Constraints: 22824
1502.08/1506.11 c #Conflicts: 1214000 | #Constraints: 23824
1502.08/1506.11 c #Conflicts: 1215000 | #Constraints: 24824
1502.08/1506.11 c #Conflicts: 1216000 | #Constraints: 25824
1502.08/1506.11 c #Conflicts: 1217000 | #Constraints: 26824
1502.08/1506.11 c #Conflicts: 1218000 | #Constraints: 27824
1502.08/1506.11 c #Conflicts: 1219000 | #Constraints: 28824
1502.08/1506.11 c #Conflicts: 1220000 | #Constraints: 29824
1502.08/1506.11 c #Conflicts: 1221000 | #Constraints: 30824
1502.08/1506.11 c #Conflicts: 1222000 | #Constraints: 31824
1502.08/1506.11 c #Conflicts: 1223000 | #Constraints: 32824
1502.08/1506.11 c #Conflicts: 1224000 | #Constraints: 33824
1502.08/1506.11 c #Conflicts: 1225000 | #Constraints: 34824
1502.08/1506.11 c #Conflicts: 1226000 | #Constraints: 35824
1502.08/1506.11 c #Conflicts: 1227000 | #Constraints: 36824
1502.08/1506.11 c #Conflicts: 1228000 | #Constraints: 37824
1502.08/1506.11 c #Conflicts: 1229000 | #Constraints: 38824
1502.08/1506.11 c #Conflicts: 1230000 | #Constraints: 39824
1502.08/1506.11 c #Conflicts: 1231000 | #Constraints: 40824
1502.08/1506.11 c #Conflicts: 1232000 | #Constraints: 41824
1502.08/1506.11 c #Conflicts: 1233000 | #Constraints: 42824
1502.08/1506.11 c #Conflicts: 1234000 | #Constraints: 43824
1502.08/1506.11 c INPROCESSING
1502.08/1506.11 c GARBAGE COLLECT
1502.08/1506.11 c #Conflicts: 1235000 | #Constraints: 22826
1502.08/1506.11 c #Conflicts: 1236000 | #Constraints: 23826
1502.08/1506.11 c #Conflicts: 1237000 | #Constraints: 24826
1502.08/1506.11 c #Conflicts: 1238000 | #Constraints: 25826
1502.08/1506.11 c #Conflicts: 1239000 | #Constraints: 26826
1502.08/1506.11 c #Conflicts: 1240000 | #Constraints: 27826
1502.08/1506.11 c #Conflicts: 1241000 | #Constraints: 28826
1502.08/1506.11 c #Conflicts: 1242000 | #Constraints: 29826
1502.08/1506.11 c #Conflicts: 1243000 | #Constraints: 30826
1502.08/1506.11 c #Conflicts: 1244000 | #Constraints: 31826
1502.08/1506.11 c #Conflicts: 1245000 | #Constraints: 32826
1502.08/1506.11 c #Conflicts: 1246000 | #Constraints: 33826
1502.08/1506.11 c #Conflicts: 1247000 | #Constraints: 34826
1502.08/1506.11 c #Conflicts: 1248000 | #Constraints: 35826
1502.08/1506.11 c #Conflicts: 1249000 | #Constraints: 36826
1502.08/1506.11 c #Conflicts: 1250000 | #Constraints: 37826
1502.08/1506.11 c #Conflicts: 1251000 | #Constraints: 38826
1502.08/1506.11 c #Conflicts: 1252000 | #Constraints: 39826
1502.08/1506.11 c #Conflicts: 1253000 | #Constraints: 40826
1502.08/1506.11 c #Conflicts: 1254000 | #Constraints: 41826
1502.08/1506.11 c #Conflicts: 1255000 | #Constraints: 42826
1502.08/1506.11 c #Conflicts: 1256000 | #Constraints: 43826
1502.08/1506.11 c INPROCESSING
1502.08/1506.11 c GARBAGE COLLECT
1502.08/1506.11 c #Conflicts: 1257000 | #Constraints: 22626
1502.08/1506.11 c #Conflicts: 1258000 | #Constraints: 23626
1502.08/1506.11 c #Conflicts: 1259000 | #Constraints: 24626
1502.08/1506.11 c #Conflicts: 1260000 | #Constraints: 25626
1502.08/1506.11 c #Conflicts: 1261000 | #Constraints: 26626
1502.08/1506.11 c #Conflicts: 1262000 | #Constraints: 27626
1502.08/1506.11 c #Conflicts: 1263000 | #Constraints: 28626
1502.08/1506.11 c #Conflicts: 1264000 | #Constraints: 29626
1502.08/1506.11 c #Conflicts: 1265000 | #Constraints: 30626
1502.08/1506.11 c #Conflicts: 1266000 | #Constraints: 31626
1502.08/1506.11 c #Conflicts: 1267000 | #Constraints: 32626
1502.08/1506.11 c #Conflicts: 1268000 | #Constraints: 33626
1502.08/1506.11 c #Conflicts: 1269000 | #Constraints: 34626
1502.08/1506.11 c #Conflicts: 1270000 | #Constraints: 35626
1502.08/1506.11 c #Conflicts: 1271000 | #Constraints: 36626
1502.08/1506.11 c #Conflicts: 1272000 | #Constraints: 37626
1502.08/1506.11 c #Conflicts: 1273000 | #Constraints: 38626
1502.08/1506.11 c #Conflicts: 1274000 | #Constraints: 39626
1649.58/1654.09 c #Conflicts: 1275000 | #Constraints: 40626
1649.58/1654.09 c #Conflicts: 1276000 | #Constraints: 41626
1649.58/1654.09 c #Conflicts: 1277000 | #Constraints: 42626
1649.58/1654.09 c #Conflicts: 1278000 | #Constraints: 43626
1649.58/1654.09 c #Conflicts: 1279000 | #Constraints: 44626
1649.58/1654.09 c INPROCESSING
1649.58/1654.09 c GARBAGE COLLECT
1649.58/1654.09 c #Conflicts: 1280000 | #Constraints: 23229
1649.58/1654.09 c #Conflicts: 1281000 | #Constraints: 24229
1649.58/1654.09 c #Conflicts: 1282000 | #Constraints: 25229
1649.58/1654.09 c #Conflicts: 1283000 | #Constraints: 26229
1649.58/1654.09 c #Conflicts: 1284000 | #Constraints: 27229
1649.58/1654.09 c #Conflicts: 1285000 | #Constraints: 28229
1649.58/1654.09 c #Conflicts: 1286000 | #Constraints: 29229
1649.58/1654.09 c #Conflicts: 1287000 | #Constraints: 30229
1649.58/1654.09 c #Conflicts: 1288000 | #Constraints: 31229
1649.58/1654.09 c #Conflicts: 1289000 | #Constraints: 32229
1649.58/1654.09 c #Conflicts: 1290000 | #Constraints: 33229
1649.58/1654.09 c #Conflicts: 1291000 | #Constraints: 34229
1649.58/1654.09 c #Conflicts: 1292000 | #Constraints: 35229
1649.58/1654.09 c #Conflicts: 1293000 | #Constraints: 36229
1649.58/1654.09 c #Conflicts: 1294000 | #Constraints: 37229
1649.58/1654.09 c #Conflicts: 1295000 | #Constraints: 38229
1649.58/1654.09 c #Conflicts: 1296000 | #Constraints: 39229
1649.58/1654.09 c #Conflicts: 1297000 | #Constraints: 40229
1649.58/1654.09 c #Conflicts: 1298000 | #Constraints: 41229
1649.58/1654.09 c #Conflicts: 1299000 | #Constraints: 42229
1649.58/1654.09 c #Conflicts: 1300000 | #Constraints: 43229
1649.58/1654.09 c #Conflicts: 1301000 | #Constraints: 44229
1649.58/1654.09 c #Conflicts: 1302000 | #Constraints: 45229
1649.58/1654.09 c INPROCESSING
1649.58/1654.09 c GARBAGE COLLECT
1649.58/1654.09 c #Conflicts: 1303000 | #Constraints: 23626
1649.58/1654.09 c #Conflicts: 1304000 | #Constraints: 24626
1649.58/1654.09 c #Conflicts: 1305000 | #Constraints: 25626
1649.58/1654.09 c #Conflicts: 1306000 | #Constraints: 26626
1649.58/1654.09 c #Conflicts: 1307000 | #Constraints: 27626
1649.58/1654.09 c #Conflicts: 1308000 | #Constraints: 28626
1649.58/1654.09 c #Conflicts: 1309000 | #Constraints: 29626
1649.58/1654.09 c #Conflicts: 1310000 | #Constraints: 30626
1649.58/1654.09 c #Conflicts: 1311000 | #Constraints: 31626
1649.58/1654.09 c #Conflicts: 1312000 | #Constraints: 32626
1649.58/1654.09 c #Conflicts: 1313000 | #Constraints: 33626
1649.58/1654.09 c #Conflicts: 1314000 | #Constraints: 34626
1649.58/1654.09 c #Conflicts: 1315000 | #Constraints: 35626
1649.58/1654.09 c #Conflicts: 1316000 | #Constraints: 36626
1649.58/1654.09 c #Conflicts: 1317000 | #Constraints: 37626
1649.58/1654.09 c #Conflicts: 1318000 | #Constraints: 38626
1649.58/1654.09 c #Conflicts: 1319000 | #Constraints: 39626
1649.58/1654.09 c #Conflicts: 1320000 | #Constraints: 40626
1649.58/1654.09 c #Conflicts: 1321000 | #Constraints: 41626
1649.58/1654.09 c #Conflicts: 1322000 | #Constraints: 42626
1649.58/1654.09 c #Conflicts: 1323000 | #Constraints: 43626
1649.58/1654.09 c #Conflicts: 1324000 | #Constraints: 44626
1649.58/1654.09 c #Conflicts: 1325000 | #Constraints: 45626
1649.58/1654.09 c INPROCESSING
1649.58/1654.09 c GARBAGE COLLECT
1649.58/1654.09 c #Conflicts: 1326000 | #Constraints: 23823
1649.58/1654.09 c #Conflicts: 1327000 | #Constraints: 24823
1649.58/1654.09 c #Conflicts: 1328000 | #Constraints: 25823
1649.58/1654.09 c #Conflicts: 1329000 | #Constraints: 26823
1649.58/1654.09 c #Conflicts: 1330000 | #Constraints: 27823
1649.58/1654.09 c #Conflicts: 1331000 | #Constraints: 28823
1649.58/1654.09 c #Conflicts: 1332000 | #Constraints: 29823
1649.58/1654.09 c #Conflicts: 1333000 | #Constraints: 30823
1649.58/1654.09 c #Conflicts: 1334000 | #Constraints: 31823
1649.58/1654.09 c #Conflicts: 1335000 | #Constraints: 32823
1649.58/1654.09 c #Conflicts: 1336000 | #Constraints: 33823
1649.58/1654.09 c #Conflicts: 1337000 | #Constraints: 34823
1649.58/1654.09 c #Conflicts: 1338000 | #Constraints: 35823
1649.58/1654.09 c #Conflicts: 1339000 | #Constraints: 36823
1649.58/1654.09 c #Conflicts: 1340000 | #Constraints: 37823
1649.58/1654.09 c #Conflicts: 1341000 | #Constraints: 38823
1649.58/1654.09 c #Conflicts: 1342000 | #Constraints: 39823
1649.58/1654.09 c #Conflicts: 1343000 | #Constraints: 40823
1649.58/1654.09 c #Conflicts: 1344000 | #Constraints: 41823
1649.58/1654.09 c #Conflicts: 1345000 | #Constraints: 42823
1649.58/1654.09 c #Conflicts: 1346000 | #Constraints: 43823
1649.58/1654.09 c #Conflicts: 1347000 | #Constraints: 44823
1649.58/1654.09 c #Conflicts: 1348000 | #Constraints: 45823
1649.58/1654.09 c INPROCESSING
1649.58/1654.09 c GARBAGE COLLECT
1649.58/1654.09 c #Conflicts: 1349000 | #Constraints: 23827
1649.58/1654.09 c #Conflicts: 1350000 | #Constraints: 24827
1797.76/1802.61 c #Conflicts: 1351000 | #Constraints: 25827
1797.76/1802.61 c #Conflicts: 1352000 | #Constraints: 26827
1797.76/1802.61 c #Conflicts: 1353000 | #Constraints: 27827
1797.76/1802.61 c #Conflicts: 1354000 | #Constraints: 28827
1797.76/1802.61 c #Conflicts: 1355000 | #Constraints: 29827
1797.76/1802.61 c #Conflicts: 1356000 | #Constraints: 30827
1797.76/1802.61 c #Conflicts: 1357000 | #Constraints: 31827
1797.76/1802.61 c #Conflicts: 1358000 | #Constraints: 32827
1797.76/1802.61 c #Conflicts: 1359000 | #Constraints: 33827
1797.76/1802.61 c #Conflicts: 1360000 | #Constraints: 34827
1797.76/1802.61 c #Conflicts: 1361000 | #Constraints: 35827
1797.76/1802.61 c #Conflicts: 1362000 | #Constraints: 36827
1797.76/1802.61 c #Conflicts: 1363000 | #Constraints: 37827
1797.76/1802.61 c #Conflicts: 1364000 | #Constraints: 38827
1797.76/1802.61 c #Conflicts: 1365000 | #Constraints: 39827
1797.76/1802.61 c #Conflicts: 1366000 | #Constraints: 40827
1797.76/1802.61 c #Conflicts: 1367000 | #Constraints: 41827
1797.76/1802.61 c #Conflicts: 1368000 | #Constraints: 42827
1797.76/1802.61 c #Conflicts: 1369000 | #Constraints: 43827
1797.76/1802.61 c #Conflicts: 1370000 | #Constraints: 44827
1797.76/1802.61 c #Conflicts: 1371000 | #Constraints: 45827
1797.76/1802.61 c INPROCESSING
1797.76/1802.61 c GARBAGE COLLECT
1797.76/1802.61 c #Conflicts: 1372000 | #Constraints: 23624
1797.76/1802.61 c #Conflicts: 1373000 | #Constraints: 24624
1797.76/1802.61 c #Conflicts: 1374000 | #Constraints: 25624
1797.76/1802.61 c #Conflicts: 1375000 | #Constraints: 26624
1797.76/1802.61 c #Conflicts: 1376000 | #Constraints: 27624
1797.76/1802.61 c #Conflicts: 1377000 | #Constraints: 28624
1797.76/1802.61 c #Conflicts: 1378000 | #Constraints: 29624
1797.76/1802.61 c #Conflicts: 1379000 | #Constraints: 30624
1797.76/1802.61 c #Conflicts: 1380000 | #Constraints: 31624
1797.76/1802.61 c #Conflicts: 1381000 | #Constraints: 32624
1797.76/1802.61 c #Conflicts: 1382000 | #Constraints: 33624
1797.76/1802.61 c #Conflicts: 1383000 | #Constraints: 34624
1797.76/1802.61 c #Conflicts: 1384000 | #Constraints: 35624
1797.76/1802.61 c #Conflicts: 1385000 | #Constraints: 36624
1797.76/1802.61 c #Conflicts: 1386000 | #Constraints: 37624
1797.76/1802.61 c #Conflicts: 1387000 | #Constraints: 38624
1797.76/1802.61 c #Conflicts: 1388000 | #Constraints: 39624
1797.76/1802.61 c #Conflicts: 1389000 | #Constraints: 40624
1797.76/1802.61 c #Conflicts: 1390000 | #Constraints: 41624
1797.76/1802.61 c #Conflicts: 1391000 | #Constraints: 42624
1797.76/1802.61 c #Conflicts: 1392000 | #Constraints: 43624
1797.76/1802.61 c #Conflicts: 1393000 | #Constraints: 44624
1797.76/1802.61 c #Conflicts: 1394000 | #Constraints: 45624
1797.76/1802.61 c #Conflicts: 1395000 | #Constraints: 46624
1797.76/1802.61 c INPROCESSING
1797.76/1802.61 c GARBAGE COLLECT
1797.76/1802.61 c #Conflicts: 1396000 | #Constraints: 24226
1797.76/1802.61 c #Conflicts: 1397000 | #Constraints: 25226
1797.76/1802.61 c #Conflicts: 1398000 | #Constraints: 26226
1797.76/1802.61 c #Conflicts: 1399000 | #Constraints: 27226
1797.76/1802.61 c #Conflicts: 1400000 | #Constraints: 28226
1797.76/1802.61 c #Conflicts: 1401000 | #Constraints: 29226
1797.76/1802.61 c #Conflicts: 1402000 | #Constraints: 30226
1797.76/1802.61 c #Conflicts: 1403000 | #Constraints: 31226
1797.76/1802.61 c #Conflicts: 1404000 | #Constraints: 32226
1797.76/1802.61 c #Conflicts: 1405000 | #Constraints: 33226
1797.76/1802.61 c #Conflicts: 1406000 | #Constraints: 34226
1797.76/1802.61 c #Conflicts: 1407000 | #Constraints: 35226
1797.76/1802.61 c #Conflicts: 1408000 | #Constraints: 36226
1797.76/1802.61 c #Conflicts: 1409000 | #Constraints: 37226
1797.76/1802.61 c #Conflicts: 1410000 | #Constraints: 38226
1797.76/1802.61 c #Conflicts: 1411000 | #Constraints: 39226
1797.76/1802.61 c #Conflicts: 1412000 | #Constraints: 40226
1797.76/1802.61 c #Conflicts: 1413000 | #Constraints: 41226
1797.76/1802.61 c #Conflicts: 1414000 | #Constraints: 42226
1797.76/1802.61 c #Conflicts: 1415000 | #Constraints: 43226
1797.76/1802.61 c #Conflicts: 1416000 | #Constraints: 44226
1797.76/1802.61 c #Conflicts: 1417000 | #Constraints: 45226
1797.76/1802.61 c #Conflicts: 1418000 | #Constraints: 46226
1797.76/1802.61 c #Conflicts: 1419000 | #Constraints: 47226
1797.76/1802.61 c INPROCESSING
1797.76/1802.61 c GARBAGE COLLECT
1797.76/1802.61 c #Conflicts: 1420000 | #Constraints: 24625
1797.76/1802.61 c #Conflicts: 1421000 | #Constraints: 25625
1797.76/1802.61 c #Conflicts: 1422000 | #Constraints: 26625
1797.76/1802.61 c #Conflicts: 1423000 | #Constraints: 27625
1797.76/1802.61 c #Conflicts: 1424000 | #Constraints: 28625
1797.76/1802.61 c #Conflicts: 1425000 | #Constraints: 29625
1797.76/1802.61 c #Conflicts: 1426000 | #Constraints: 30625
1797.76/1802.61 c #Conflicts: 1427000 | #Constraints: 31625
1960.46/1965.80 c #Conflicts: 1428000 | #Constraints: 32625
1960.46/1965.80 c #Conflicts: 1429000 | #Constraints: 33625
1960.46/1965.80 c #Conflicts: 1430000 | #Constraints: 34625
1960.46/1965.80 c #Conflicts: 1431000 | #Constraints: 35625
1960.46/1965.80 c #Conflicts: 1432000 | #Constraints: 36625
1960.46/1965.80 c #Conflicts: 1433000 | #Constraints: 37625
1960.46/1965.80 c #Conflicts: 1434000 | #Constraints: 38625
1960.46/1965.80 c #Conflicts: 1435000 | #Constraints: 39625
1960.46/1965.80 c #Conflicts: 1436000 | #Constraints: 40625
1960.46/1965.80 c #Conflicts: 1437000 | #Constraints: 41625
1960.46/1965.80 c #Conflicts: 1438000 | #Constraints: 42625
1960.46/1965.80 c #Conflicts: 1439000 | #Constraints: 43625
1960.46/1965.80 c #Conflicts: 1440000 | #Constraints: 44625
1960.46/1965.80 c #Conflicts: 1441000 | #Constraints: 45625
1960.46/1965.80 c #Conflicts: 1442000 | #Constraints: 46625
1960.46/1965.80 c #Conflicts: 1443000 | #Constraints: 47625
1960.46/1965.80 c INPROCESSING
1960.46/1965.80 c GARBAGE COLLECT
1960.46/1965.80 c #Conflicts: 1444000 | #Constraints: 24825
1960.46/1965.80 c #Conflicts: 1445000 | #Constraints: 25825
1960.46/1965.80 c #Conflicts: 1446000 | #Constraints: 26825
1960.46/1965.80 c #Conflicts: 1447000 | #Constraints: 27825
1960.46/1965.80 c #Conflicts: 1448000 | #Constraints: 28825
1960.46/1965.80 c #Conflicts: 1449000 | #Constraints: 29825
1960.46/1965.80 c #Conflicts: 1450000 | #Constraints: 30825
1960.46/1965.80 c #Conflicts: 1451000 | #Constraints: 31825
1960.46/1965.80 c #Conflicts: 1452000 | #Constraints: 32825
1960.46/1965.80 c #Conflicts: 1453000 | #Constraints: 33825
1960.46/1965.80 c #Conflicts: 1454000 | #Constraints: 34825
1960.46/1965.80 c #Conflicts: 1455000 | #Constraints: 35825
1960.46/1965.80 c #Conflicts: 1456000 | #Constraints: 36825
1960.46/1965.80 c #Conflicts: 1457000 | #Constraints: 37825
1960.46/1965.80 c #Conflicts: 1458000 | #Constraints: 38825
1960.46/1965.80 c #Conflicts: 1459000 | #Constraints: 39825
1960.46/1965.80 c #Conflicts: 1460000 | #Constraints: 40825
1960.46/1965.80 c #Conflicts: 1461000 | #Constraints: 41825
1960.46/1965.80 c #Conflicts: 1462000 | #Constraints: 42825
1960.46/1965.80 c #Conflicts: 1463000 | #Constraints: 43825
1960.46/1965.80 c #Conflicts: 1464000 | #Constraints: 44825
1960.46/1965.80 c #Conflicts: 1465000 | #Constraints: 45825
1960.46/1965.80 c #Conflicts: 1466000 | #Constraints: 46825
1960.46/1965.80 c #Conflicts: 1467000 | #Constraints: 47825
1960.46/1965.80 c INPROCESSING
1960.46/1965.80 c GARBAGE COLLECT
1960.46/1965.80 c #Conflicts: 1468000 | #Constraints: 24823
1960.46/1965.80 c #Conflicts: 1469000 | #Constraints: 25823
1960.46/1965.80 c #Conflicts: 1470000 | #Constraints: 26823
1960.46/1965.80 c #Conflicts: 1471000 | #Constraints: 27823
1960.46/1965.80 c #Conflicts: 1472000 | #Constraints: 28823
1960.46/1965.80 c #Conflicts: 1473000 | #Constraints: 29823
1960.46/1965.80 c #Conflicts: 1474000 | #Constraints: 30823
1960.46/1965.80 c #Conflicts: 1475000 | #Constraints: 31823
1960.46/1965.80 c #Conflicts: 1476000 | #Constraints: 32823
1960.46/1965.80 c #Conflicts: 1477000 | #Constraints: 33823
1960.46/1965.80 c #Conflicts: 1478000 | #Constraints: 34823
1960.46/1965.80 c #Conflicts: 1479000 | #Constraints: 35823
1960.46/1965.80 c #Conflicts: 1480000 | #Constraints: 36823
1960.46/1965.80 c #Conflicts: 1481000 | #Constraints: 37823
1960.46/1965.80 c #Conflicts: 1482000 | #Constraints: 38823
1960.46/1965.80 c #Conflicts: 1483000 | #Constraints: 39823
1960.46/1965.80 c #Conflicts: 1484000 | #Constraints: 40823
1960.46/1965.80 c #Conflicts: 1485000 | #Constraints: 41823
1960.46/1965.80 c #Conflicts: 1486000 | #Constraints: 42823
1960.46/1965.80 c #Conflicts: 1487000 | #Constraints: 43823
1960.46/1965.80 c #Conflicts: 1488000 | #Constraints: 44823
1960.46/1965.80 c #Conflicts: 1489000 | #Constraints: 45823
1960.46/1965.80 c #Conflicts: 1490000 | #Constraints: 46823
1960.46/1965.80 c #Conflicts: 1491000 | #Constraints: 47823
1960.46/1965.80 c INPROCESSING
1960.46/1965.80 c GARBAGE COLLECT
1960.46/1965.80 c #Conflicts: 1492000 | #Constraints: 24624
1960.46/1965.80 c #Conflicts: 1493000 | #Constraints: 25624
1960.46/1965.80 c #Conflicts: 1494000 | #Constraints: 26624
1960.46/1965.80 c #Conflicts: 1495000 | #Constraints: 27624
1960.46/1965.80 c #Conflicts: 1496000 | #Constraints: 28624
1960.46/1965.80 c #Conflicts: 1497000 | #Constraints: 29624
1960.46/1965.80 c #Conflicts: 1498000 | #Constraints: 30624
1960.46/1965.80 c #Conflicts: 1499000 | #Constraints: 31624
1960.46/1965.80 c #Conflicts: 1500000 | #Constraints: 32624
1960.46/1965.80 c #Conflicts: 1501000 | #Constraints: 33624
1960.46/1965.80 c #Conflicts: 1502000 | #Constraints: 34624
1960.46/1965.80 c #Conflicts: 1503000 | #Constraints: 35624
1960.46/1965.80 c #Conflicts: 1504000 | #Constraints: 36624
2128.72/2134.61 c #Conflicts: 1505000 | #Constraints: 37624
2128.72/2134.61 c #Conflicts: 1506000 | #Constraints: 38624
2128.72/2134.61 c #Conflicts: 1507000 | #Constraints: 39624
2128.72/2134.61 c #Conflicts: 1508000 | #Constraints: 40624
2128.72/2134.61 c #Conflicts: 1509000 | #Constraints: 41624
2128.72/2134.61 c #Conflicts: 1510000 | #Constraints: 42624
2128.72/2134.61 c #Conflicts: 1511000 | #Constraints: 43624
2128.72/2134.61 c #Conflicts: 1512000 | #Constraints: 44624
2128.72/2134.61 c #Conflicts: 1513000 | #Constraints: 45624
2128.72/2134.61 c #Conflicts: 1514000 | #Constraints: 46624
2128.72/2134.61 c #Conflicts: 1515000 | #Constraints: 47624
2128.72/2134.61 c #Conflicts: 1516000 | #Constraints: 48624
2128.72/2134.61 c INPROCESSING
2128.72/2134.61 c GARBAGE COLLECT
2128.72/2134.61 c #Conflicts: 1517000 | #Constraints: 25225
2128.72/2134.61 c #Conflicts: 1518000 | #Constraints: 26225
2128.72/2134.61 c #Conflicts: 1519000 | #Constraints: 27225
2128.72/2134.61 c #Conflicts: 1520000 | #Constraints: 28225
2128.72/2134.61 c #Conflicts: 1521000 | #Constraints: 29225
2128.72/2134.61 c #Conflicts: 1522000 | #Constraints: 30225
2128.72/2134.61 c #Conflicts: 1523000 | #Constraints: 31225
2128.72/2134.61 c #Conflicts: 1524000 | #Constraints: 32225
2128.72/2134.61 c #Conflicts: 1525000 | #Constraints: 33225
2128.72/2134.61 c #Conflicts: 1526000 | #Constraints: 34225
2128.72/2134.61 c #Conflicts: 1527000 | #Constraints: 35225
2128.72/2134.61 c #Conflicts: 1528000 | #Constraints: 36225
2128.72/2134.61 c #Conflicts: 1529000 | #Constraints: 37225
2128.72/2134.61 c #Conflicts: 1530000 | #Constraints: 38225
2128.72/2134.61 c #Conflicts: 1531000 | #Constraints: 39225
2128.72/2134.61 c #Conflicts: 1532000 | #Constraints: 40225
2128.72/2134.61 c #Conflicts: 1533000 | #Constraints: 41225
2128.72/2134.61 c #Conflicts: 1534000 | #Constraints: 42225
2128.72/2134.61 c #Conflicts: 1535000 | #Constraints: 43225
2128.72/2134.61 c #Conflicts: 1536000 | #Constraints: 44225
2128.72/2134.61 c #Conflicts: 1537000 | #Constraints: 45225
2128.72/2134.61 c #Conflicts: 1538000 | #Constraints: 46225
2128.72/2134.61 c #Conflicts: 1539000 | #Constraints: 47225
2128.72/2134.61 c #Conflicts: 1540000 | #Constraints: 48225
2128.72/2134.61 c #Conflicts: 1541000 | #Constraints: 49225
2128.72/2134.61 c INPROCESSING
2128.72/2134.61 c GARBAGE COLLECT
2128.72/2134.61 c #Conflicts: 1542000 | #Constraints: 25625
2128.72/2134.61 c #Conflicts: 1543000 | #Constraints: 26625
2128.72/2134.61 c #Conflicts: 1544000 | #Constraints: 27625
2128.72/2134.61 c #Conflicts: 1545000 | #Constraints: 28625
2128.72/2134.61 c #Conflicts: 1546000 | #Constraints: 29625
2128.72/2134.61 c #Conflicts: 1547000 | #Constraints: 30625
2128.72/2134.61 c #Conflicts: 1548000 | #Constraints: 31625
2128.72/2134.61 c #Conflicts: 1549000 | #Constraints: 32625
2128.72/2134.61 c #Conflicts: 1550000 | #Constraints: 33625
2128.72/2134.61 c #Conflicts: 1551000 | #Constraints: 34625
2128.72/2134.61 c #Conflicts: 1552000 | #Constraints: 35625
2128.72/2134.61 c #Conflicts: 1553000 | #Constraints: 36625
2128.72/2134.61 c #Conflicts: 1554000 | #Constraints: 37625
2128.72/2134.61 c #Conflicts: 1555000 | #Constraints: 38625
2128.72/2134.61 c #Conflicts: 1556000 | #Constraints: 39625
2128.72/2134.61 c #Conflicts: 1557000 | #Constraints: 40625
2128.72/2134.61 c #Conflicts: 1558000 | #Constraints: 41625
2128.72/2134.61 c #Conflicts: 1559000 | #Constraints: 42625
2128.72/2134.61 c #Conflicts: 1560000 | #Constraints: 43625
2128.72/2134.61 c #Conflicts: 1561000 | #Constraints: 44625
2128.72/2134.61 c #Conflicts: 1562000 | #Constraints: 45625
2128.72/2134.61 c #Conflicts: 1563000 | #Constraints: 46625
2128.72/2134.61 c #Conflicts: 1564000 | #Constraints: 47625
2128.72/2134.61 c #Conflicts: 1565000 | #Constraints: 48625
2128.72/2134.61 c #Conflicts: 1566000 | #Constraints: 49625
2128.72/2134.61 c INPROCESSING
2128.72/2134.61 c GARBAGE COLLECT
2128.72/2134.61 c #Conflicts: 1567000 | #Constraints: 25826
2128.72/2134.61 c #Conflicts: 1568000 | #Constraints: 26826
2128.72/2134.61 c #Conflicts: 1569000 | #Constraints: 27826
2128.72/2134.61 c #Conflicts: 1570000 | #Constraints: 28826
2128.72/2134.61 c #Conflicts: 1571000 | #Constraints: 29826
2128.72/2134.61 c #Conflicts: 1572000 | #Constraints: 30826
2128.72/2134.61 c #Conflicts: 1573000 | #Constraints: 31826
2128.72/2134.61 c #Conflicts: 1574000 | #Constraints: 32826
2128.72/2134.61 c #Conflicts: 1575000 | #Constraints: 33826
2128.72/2134.61 c #Conflicts: 1576000 | #Constraints: 34826
2128.72/2134.61 c #Conflicts: 1577000 | #Constraints: 35826
2128.72/2134.61 c #Conflicts: 1578000 | #Constraints: 36826
2128.72/2134.61 c #Conflicts: 1579000 | #Constraints: 37826
2128.72/2134.61 c #Conflicts: 1580000 | #Constraints: 38826
2128.72/2134.61 c #Conflicts: 1581000 | #Constraints: 39826
2316.38/2322.89 c #Conflicts: 1582000 | #Constraints: 40826
2316.38/2322.89 c #Conflicts: 1583000 | #Constraints: 41826
2316.38/2322.89 c #Conflicts: 1584000 | #Constraints: 42826
2316.38/2322.89 c #Conflicts: 1585000 | #Constraints: 43826
2316.38/2322.89 c #Conflicts: 1586000 | #Constraints: 44826
2316.38/2322.89 c #Conflicts: 1587000 | #Constraints: 45826
2316.38/2322.89 c #Conflicts: 1588000 | #Constraints: 46826
2316.38/2322.89 c #Conflicts: 1589000 | #Constraints: 47826
2316.38/2322.89 c #Conflicts: 1590000 | #Constraints: 48826
2316.38/2322.89 c #Conflicts: 1591000 | #Constraints: 49826
2316.38/2322.89 c INPROCESSING
2316.38/2322.89 c GARBAGE COLLECT
2316.38/2322.89 c #Conflicts: 1592000 | #Constraints: 25828
2316.38/2322.89 c #Conflicts: 1593000 | #Constraints: 26828
2316.38/2322.89 c #Conflicts: 1594000 | #Constraints: 27828
2316.38/2322.89 c #Conflicts: 1595000 | #Constraints: 28828
2316.38/2322.89 c #Conflicts: 1596000 | #Constraints: 29828
2316.38/2322.89 c #Conflicts: 1597000 | #Constraints: 30828
2316.38/2322.89 c #Conflicts: 1598000 | #Constraints: 31828
2316.38/2322.89 c #Conflicts: 1599000 | #Constraints: 32828
2316.38/2322.89 c #Conflicts: 1600000 | #Constraints: 33828
2316.38/2322.89 c #Conflicts: 1601000 | #Constraints: 34828
2316.38/2322.89 c #Conflicts: 1602000 | #Constraints: 35828
2316.38/2322.89 c #Conflicts: 1603000 | #Constraints: 36828
2316.38/2322.89 c #Conflicts: 1604000 | #Constraints: 37828
2316.38/2322.89 c #Conflicts: 1605000 | #Constraints: 38828
2316.38/2322.89 c #Conflicts: 1606000 | #Constraints: 39828
2316.38/2322.89 c #Conflicts: 1607000 | #Constraints: 40828
2316.38/2322.89 c #Conflicts: 1608000 | #Constraints: 41828
2316.38/2322.89 c #Conflicts: 1609000 | #Constraints: 42828
2316.38/2322.89 c #Conflicts: 1610000 | #Constraints: 43828
2316.38/2322.89 c #Conflicts: 1611000 | #Constraints: 44828
2316.38/2322.89 c #Conflicts: 1612000 | #Constraints: 45828
2316.38/2322.89 c #Conflicts: 1613000 | #Constraints: 46828
2316.38/2322.89 c #Conflicts: 1614000 | #Constraints: 47828
2316.38/2322.89 c #Conflicts: 1615000 | #Constraints: 48828
2316.38/2322.89 c #Conflicts: 1616000 | #Constraints: 49828
2316.38/2322.89 c INPROCESSING
2316.38/2322.89 c GARBAGE COLLECT
2316.38/2322.89 c #Conflicts: 1617000 | #Constraints: 25628
2316.38/2322.89 c #Conflicts: 1618000 | #Constraints: 26628
2316.38/2322.89 c #Conflicts: 1619000 | #Constraints: 27628
2316.38/2322.89 c #Conflicts: 1620000 | #Constraints: 28628
2316.38/2322.89 c #Conflicts: 1621000 | #Constraints: 29628
2316.38/2322.89 c #Conflicts: 1622000 | #Constraints: 30628
2316.38/2322.89 c #Conflicts: 1623000 | #Constraints: 31628
2316.38/2322.89 c #Conflicts: 1624000 | #Constraints: 32628
2316.38/2322.89 c #Conflicts: 1625000 | #Constraints: 33628
2316.38/2322.89 c #Conflicts: 1626000 | #Constraints: 34628
2316.38/2322.89 c #Conflicts: 1627000 | #Constraints: 35628
2316.38/2322.89 c #Conflicts: 1628000 | #Constraints: 36628
2316.38/2322.89 c #Conflicts: 1629000 | #Constraints: 37628
2316.38/2322.89 c #Conflicts: 1630000 | #Constraints: 38628
2316.38/2322.89 c #Conflicts: 1631000 | #Constraints: 39628
2316.38/2322.89 c #Conflicts: 1632000 | #Constraints: 40628
2316.38/2322.89 c #Conflicts: 1633000 | #Constraints: 41628
2316.38/2322.89 c #Conflicts: 1634000 | #Constraints: 42628
2316.38/2322.89 c #Conflicts: 1635000 | #Constraints: 43628
2316.38/2322.89 c #Conflicts: 1636000 | #Constraints: 44628
2316.38/2322.89 c #Conflicts: 1637000 | #Constraints: 45628
2316.38/2322.89 c #Conflicts: 1638000 | #Constraints: 46628
2316.38/2322.89 c #Conflicts: 1639000 | #Constraints: 47628
2316.38/2322.89 c #Conflicts: 1640000 | #Constraints: 48628
2316.38/2322.89 c #Conflicts: 1641000 | #Constraints: 49628
2316.38/2322.89 c #Conflicts: 1642000 | #Constraints: 50628
2316.38/2322.89 c INPROCESSING
2316.38/2322.89 c GARBAGE COLLECT
2316.38/2322.89 c #Conflicts: 1643000 | #Constraints: 26226
2316.38/2322.89 c #Conflicts: 1644000 | #Constraints: 27226
2316.38/2322.89 c #Conflicts: 1645000 | #Constraints: 28226
2316.38/2322.89 c #Conflicts: 1646000 | #Constraints: 29226
2316.38/2322.89 c #Conflicts: 1647000 | #Constraints: 30226
2316.38/2322.89 c #Conflicts: 1648000 | #Constraints: 31226
2316.38/2322.89 c #Conflicts: 1649000 | #Constraints: 32226
2316.38/2322.89 c #Conflicts: 1650000 | #Constraints: 33226
2316.38/2322.89 c #Conflicts: 1651000 | #Constraints: 34226
2316.38/2322.89 c #Conflicts: 1652000 | #Constraints: 35226
2316.38/2322.89 c #Conflicts: 1653000 | #Constraints: 36226
2316.38/2322.89 c #Conflicts: 1654000 | #Constraints: 37226
2316.38/2322.89 c #Conflicts: 1655000 | #Constraints: 38226
2316.38/2322.89 c #Conflicts: 1656000 | #Constraints: 39226
2316.38/2322.89 c #Conflicts: 1657000 | #Constraints: 40226
2488.71/2495.66 c #Conflicts: 1658000 | #Constraints: 41226
2488.71/2495.66 c #Conflicts: 1659000 | #Constraints: 42226
2488.71/2495.66 c #Conflicts: 1660000 | #Constraints: 43226
2488.71/2495.66 c #Conflicts: 1661000 | #Constraints: 44226
2488.71/2495.66 c #Conflicts: 1662000 | #Constraints: 45226
2488.71/2495.66 c #Conflicts: 1663000 | #Constraints: 46226
2488.71/2495.66 c #Conflicts: 1664000 | #Constraints: 47226
2488.71/2495.66 c #Conflicts: 1665000 | #Constraints: 48226
2488.71/2495.66 c #Conflicts: 1666000 | #Constraints: 49226
2488.71/2495.66 c #Conflicts: 1667000 | #Constraints: 50226
2488.71/2495.66 c #Conflicts: 1668000 | #Constraints: 51226
2488.71/2495.66 c INPROCESSING
2488.71/2495.66 c GARBAGE COLLECT
2488.71/2495.66 c #Conflicts: 1669000 | #Constraints: 26625
2488.71/2495.66 c #Conflicts: 1670000 | #Constraints: 27625
2488.71/2495.66 c #Conflicts: 1671000 | #Constraints: 28625
2488.71/2495.66 c #Conflicts: 1672000 | #Constraints: 29625
2488.71/2495.66 c #Conflicts: 1673000 | #Constraints: 30625
2488.71/2495.66 c #Conflicts: 1674000 | #Constraints: 31625
2488.71/2495.66 c #Conflicts: 1675000 | #Constraints: 32625
2488.71/2495.66 c #Conflicts: 1676000 | #Constraints: 33625
2488.71/2495.66 c #Conflicts: 1677000 | #Constraints: 34625
2488.71/2495.66 c #Conflicts: 1678000 | #Constraints: 35625
2488.71/2495.66 c #Conflicts: 1679000 | #Constraints: 36625
2488.71/2495.66 c #Conflicts: 1680000 | #Constraints: 37625
2488.71/2495.66 c #Conflicts: 1681000 | #Constraints: 38625
2488.71/2495.66 c #Conflicts: 1682000 | #Constraints: 39625
2488.71/2495.66 c #Conflicts: 1683000 | #Constraints: 40625
2488.71/2495.66 c #Conflicts: 1684000 | #Constraints: 41625
2488.71/2495.66 c #Conflicts: 1685000 | #Constraints: 42625
2488.71/2495.66 c #Conflicts: 1686000 | #Constraints: 43625
2488.71/2495.66 c #Conflicts: 1687000 | #Constraints: 44625
2488.71/2495.66 c #Conflicts: 1688000 | #Constraints: 45625
2488.71/2495.66 c #Conflicts: 1689000 | #Constraints: 46625
2488.71/2495.66 c #Conflicts: 1690000 | #Constraints: 47625
2488.71/2495.66 c #Conflicts: 1691000 | #Constraints: 48625
2488.71/2495.66 c #Conflicts: 1692000 | #Constraints: 49625
2488.71/2495.66 c #Conflicts: 1693000 | #Constraints: 50625
2488.71/2495.66 c #Conflicts: 1694000 | #Constraints: 51625
2488.71/2495.66 c INPROCESSING
2488.71/2495.66 c GARBAGE COLLECT
2488.71/2495.66 c #Conflicts: 1695000 | #Constraints: 26824
2488.71/2495.66 c #Conflicts: 1696000 | #Constraints: 27824
2488.71/2495.66 c #Conflicts: 1697000 | #Constraints: 28824
2488.71/2495.66 c #Conflicts: 1698000 | #Constraints: 29824
2488.71/2495.66 c #Conflicts: 1699000 | #Constraints: 30824
2488.71/2495.66 c #Conflicts: 1700000 | #Constraints: 31824
2488.71/2495.66 c #Conflicts: 1701000 | #Constraints: 32824
2488.71/2495.66 c #Conflicts: 1702000 | #Constraints: 33824
2488.71/2495.66 c #Conflicts: 1703000 | #Constraints: 34824
2488.71/2495.66 c #Conflicts: 1704000 | #Constraints: 35824
2488.71/2495.66 c #Conflicts: 1705000 | #Constraints: 36824
2488.71/2495.66 c #Conflicts: 1706000 | #Constraints: 37824
2488.71/2495.66 c #Conflicts: 1707000 | #Constraints: 38824
2488.71/2495.66 c #Conflicts: 1708000 | #Constraints: 39824
2488.71/2495.66 c #Conflicts: 1709000 | #Constraints: 40824
2488.71/2495.66 c #Conflicts: 1710000 | #Constraints: 41824
2488.71/2495.66 c #Conflicts: 1711000 | #Constraints: 42824
2488.71/2495.66 c #Conflicts: 1712000 | #Constraints: 43824
2488.71/2495.66 c #Conflicts: 1713000 | #Constraints: 44824
2488.71/2495.66 c #Conflicts: 1714000 | #Constraints: 45824
2488.71/2495.66 c #Conflicts: 1715000 | #Constraints: 46824
2488.71/2495.66 c #Conflicts: 1716000 | #Constraints: 47824
2488.71/2495.66 c #Conflicts: 1717000 | #Constraints: 48824
2488.71/2495.66 c #Conflicts: 1718000 | #Constraints: 49824
2488.71/2495.66 c #Conflicts: 1719000 | #Constraints: 50824
2488.71/2495.66 c #Conflicts: 1720000 | #Constraints: 51824
2488.71/2495.66 c INPROCESSING
2488.71/2495.66 c GARBAGE COLLECT
2488.71/2495.66 c #Conflicts: 1721000 | #Constraints: 26824
2488.71/2495.66 c #Conflicts: 1722000 | #Constraints: 27824
2488.71/2495.66 c #Conflicts: 1723000 | #Constraints: 28824
2488.71/2495.66 c #Conflicts: 1724000 | #Constraints: 29824
2488.71/2495.66 c #Conflicts: 1725000 | #Constraints: 30824
2488.71/2495.66 c #Conflicts: 1726000 | #Constraints: 31824
2488.71/2495.66 c #Conflicts: 1727000 | #Constraints: 32824
2488.71/2495.66 c #Conflicts: 1728000 | #Constraints: 33824
2488.71/2495.66 c #Conflicts: 1729000 | #Constraints: 34824
2488.71/2495.66 c #Conflicts: 1730000 | #Constraints: 35824
2488.71/2495.66 c #Conflicts: 1731000 | #Constraints: 36824
2488.71/2495.66 c #Conflicts: 1732000 | #Constraints: 37824
2488.71/2495.66 c #Conflicts: 1733000 | #Constraints: 38824
2488.71/2495.66 c #Conflicts: 1734000 | #Constraints: 39824
2673.51/2680.94 c #Conflicts: 1735000 | #Constraints: 40824
2673.51/2680.94 c #Conflicts: 1736000 | #Constraints: 41824
2673.51/2680.94 c #Conflicts: 1737000 | #Constraints: 42824
2673.51/2680.94 c #Conflicts: 1738000 | #Constraints: 43824
2673.51/2680.94 c #Conflicts: 1739000 | #Constraints: 44824
2673.51/2680.94 c #Conflicts: 1740000 | #Constraints: 45824
2673.51/2680.94 c #Conflicts: 1741000 | #Constraints: 46824
2673.51/2680.94 c #Conflicts: 1742000 | #Constraints: 47824
2673.51/2680.94 c #Conflicts: 1743000 | #Constraints: 48824
2673.51/2680.94 c #Conflicts: 1744000 | #Constraints: 49824
2673.51/2680.94 c #Conflicts: 1745000 | #Constraints: 50824
2673.51/2680.94 c #Conflicts: 1746000 | #Constraints: 51824
2673.51/2680.94 c INPROCESSING
2673.51/2680.94 c GARBAGE COLLECT
2673.51/2680.94 c #Conflicts: 1747000 | #Constraints: 26624
2673.51/2680.94 c #Conflicts: 1748000 | #Constraints: 27624
2673.51/2680.94 c #Conflicts: 1749000 | #Constraints: 28624
2673.51/2680.94 c #Conflicts: 1750000 | #Constraints: 29624
2673.51/2680.94 c #Conflicts: 1751000 | #Constraints: 30624
2673.51/2680.94 c #Conflicts: 1752000 | #Constraints: 31624
2673.51/2680.94 c #Conflicts: 1753000 | #Constraints: 32624
2673.51/2680.94 c #Conflicts: 1754000 | #Constraints: 33624
2673.51/2680.94 c #Conflicts: 1755000 | #Constraints: 34624
2673.51/2680.94 c #Conflicts: 1756000 | #Constraints: 35624
2673.51/2680.94 c #Conflicts: 1757000 | #Constraints: 36624
2673.51/2680.94 c #Conflicts: 1758000 | #Constraints: 37624
2673.51/2680.94 c #Conflicts: 1759000 | #Constraints: 38624
2673.51/2680.94 c #Conflicts: 1760000 | #Constraints: 39624
2673.51/2680.94 c #Conflicts: 1761000 | #Constraints: 40624
2673.51/2680.94 c #Conflicts: 1762000 | #Constraints: 41624
2673.51/2680.94 c #Conflicts: 1763000 | #Constraints: 42624
2673.51/2680.94 c #Conflicts: 1764000 | #Constraints: 43624
2673.51/2680.94 c #Conflicts: 1765000 | #Constraints: 44624
2673.51/2680.94 c #Conflicts: 1766000 | #Constraints: 45624
2673.51/2680.94 c #Conflicts: 1767000 | #Constraints: 46624
2673.51/2680.94 c #Conflicts: 1768000 | #Constraints: 47624
2673.51/2680.94 c #Conflicts: 1769000 | #Constraints: 48624
2673.51/2680.94 c #Conflicts: 1770000 | #Constraints: 49624
2673.51/2680.94 c #Conflicts: 1771000 | #Constraints: 50624
2673.51/2680.94 c #Conflicts: 1772000 | #Constraints: 51624
2673.51/2680.94 c #Conflicts: 1773000 | #Constraints: 52624
2673.51/2680.94 c INPROCESSING
2673.51/2680.94 c GARBAGE COLLECT
2673.51/2680.94 c #Conflicts: 1774000 | #Constraints: 27222
2673.51/2680.94 c #Conflicts: 1775000 | #Constraints: 28222
2673.51/2680.94 c #Conflicts: 1776000 | #Constraints: 29222
2673.51/2680.94 c #Conflicts: 1777000 | #Constraints: 30222
2673.51/2680.94 c #Conflicts: 1778000 | #Constraints: 31222
2673.51/2680.94 c #Conflicts: 1779000 | #Constraints: 32222
2673.51/2680.94 c #Conflicts: 1780000 | #Constraints: 33222
2673.51/2680.94 c #Conflicts: 1781000 | #Constraints: 34222
2673.51/2680.94 c #Conflicts: 1782000 | #Constraints: 35222
2673.51/2680.94 c #Conflicts: 1783000 | #Constraints: 36222
2673.51/2680.94 c #Conflicts: 1784000 | #Constraints: 37222
2673.51/2680.94 c #Conflicts: 1785000 | #Constraints: 38222
2673.51/2680.94 c #Conflicts: 1786000 | #Constraints: 39222
2673.51/2680.94 c #Conflicts: 1787000 | #Constraints: 40222
2673.51/2680.94 c #Conflicts: 1788000 | #Constraints: 41222
2673.51/2680.94 c #Conflicts: 1789000 | #Constraints: 42222
2673.51/2680.94 c #Conflicts: 1790000 | #Constraints: 43222
2673.51/2680.94 c #Conflicts: 1791000 | #Constraints: 44222
2673.51/2680.94 c #Conflicts: 1792000 | #Constraints: 45222
2673.51/2680.94 c #Conflicts: 1793000 | #Constraints: 46222
2673.51/2680.94 c #Conflicts: 1794000 | #Constraints: 47222
2673.51/2680.94 c #Conflicts: 1795000 | #Constraints: 48222
2673.51/2680.94 c #Conflicts: 1796000 | #Constraints: 49222
2673.51/2680.94 c #Conflicts: 1797000 | #Constraints: 50222
2673.51/2680.94 c #Conflicts: 1798000 | #Constraints: 51222
2673.51/2680.94 c #Conflicts: 1799000 | #Constraints: 52222
2673.51/2680.94 c #Conflicts: 1800000 | #Constraints: 53222
2673.51/2680.94 c INPROCESSING
2673.51/2680.94 c GARBAGE COLLECT
2673.51/2680.94 c #Conflicts: 1801000 | #Constraints: 27623
2673.51/2680.94 c #Conflicts: 1802000 | #Constraints: 28623
2673.51/2680.94 c #Conflicts: 1803000 | #Constraints: 29623
2673.51/2680.94 c #Conflicts: 1804000 | #Constraints: 30623
2673.51/2680.94 c #Conflicts: 1805000 | #Constraints: 31623
2673.51/2680.94 c #Conflicts: 1806000 | #Constraints: 32623
2673.51/2680.94 c #Conflicts: 1807000 | #Constraints: 33623
2673.51/2680.94 c #Conflicts: 1808000 | #Constraints: 34623
2673.51/2680.94 c #Conflicts: 1809000 | #Constraints: 35623
2673.51/2680.94 c #Conflicts: 1810000 | #Constraints: 36623
2673.51/2680.94 c #Conflicts: 1811000 | #Constraints: 37623
2875.57/2883.58 c #Conflicts: 1812000 | #Constraints: 38623
2875.57/2883.58 c #Conflicts: 1813000 | #Constraints: 39623
2875.57/2883.58 c #Conflicts: 1814000 | #Constraints: 40623
2875.57/2883.58 c #Conflicts: 1815000 | #Constraints: 41623
2875.57/2883.58 c #Conflicts: 1816000 | #Constraints: 42623
2875.57/2883.58 c #Conflicts: 1817000 | #Constraints: 43623
2875.57/2883.58 c #Conflicts: 1818000 | #Constraints: 44623
2875.57/2883.58 c #Conflicts: 1819000 | #Constraints: 45623
2875.57/2883.58 c #Conflicts: 1820000 | #Constraints: 46623
2875.57/2883.58 c #Conflicts: 1821000 | #Constraints: 47623
2875.57/2883.58 c #Conflicts: 1822000 | #Constraints: 48623
2875.57/2883.58 c #Conflicts: 1823000 | #Constraints: 49623
2875.57/2883.58 c #Conflicts: 1824000 | #Constraints: 50623
2875.57/2883.58 c #Conflicts: 1825000 | #Constraints: 51623
2875.57/2883.58 c #Conflicts: 1826000 | #Constraints: 52623
2875.57/2883.58 c #Conflicts: 1827000 | #Constraints: 53623
2875.57/2883.58 c INPROCESSING
2875.57/2883.58 c GARBAGE COLLECT
2875.57/2883.58 c #Conflicts: 1828000 | #Constraints: 27823
2875.57/2883.58 c #Conflicts: 1829000 | #Constraints: 28823
2875.57/2883.58 c #Conflicts: 1830000 | #Constraints: 29823
2875.57/2883.58 c #Conflicts: 1831000 | #Constraints: 30823
2875.57/2883.58 c #Conflicts: 1832000 | #Constraints: 31823
2875.57/2883.58 c #Conflicts: 1833000 | #Constraints: 32823
2875.57/2883.58 c #Conflicts: 1834000 | #Constraints: 33823
2875.57/2883.58 c #Conflicts: 1835000 | #Constraints: 34823
2875.57/2883.58 c #Conflicts: 1836000 | #Constraints: 35823
2875.57/2883.58 c #Conflicts: 1837000 | #Constraints: 36823
2875.57/2883.58 c #Conflicts: 1838000 | #Constraints: 37823
2875.57/2883.58 c #Conflicts: 1839000 | #Constraints: 38823
2875.57/2883.58 c #Conflicts: 1840000 | #Constraints: 39823
2875.57/2883.58 c #Conflicts: 1841000 | #Constraints: 40823
2875.57/2883.58 c #Conflicts: 1842000 | #Constraints: 41823
2875.57/2883.58 c #Conflicts: 1843000 | #Constraints: 42823
2875.57/2883.58 c #Conflicts: 1844000 | #Constraints: 43823
2875.57/2883.58 c #Conflicts: 1845000 | #Constraints: 44823
2875.57/2883.58 c #Conflicts: 1846000 | #Constraints: 45823
2875.57/2883.58 c #Conflicts: 1847000 | #Constraints: 46823
2875.57/2883.58 c #Conflicts: 1848000 | #Constraints: 47823
2875.57/2883.58 c #Conflicts: 1849000 | #Constraints: 48823
2875.57/2883.58 c #Conflicts: 1850000 | #Constraints: 49823
2875.57/2883.58 c #Conflicts: 1851000 | #Constraints: 50823
2875.57/2883.58 c #Conflicts: 1852000 | #Constraints: 51823
2875.57/2883.58 c #Conflicts: 1853000 | #Constraints: 52823
2875.57/2883.58 c #Conflicts: 1854000 | #Constraints: 53823
2875.57/2883.58 c INPROCESSING
2875.57/2883.58 c GARBAGE COLLECT
2875.57/2883.58 c #Conflicts: 1855000 | #Constraints: 27824
2875.57/2883.58 c #Conflicts: 1856000 | #Constraints: 28824
2875.57/2883.58 c #Conflicts: 1857000 | #Constraints: 29824
2875.57/2883.58 c #Conflicts: 1858000 | #Constraints: 30824
2875.57/2883.58 c #Conflicts: 1859000 | #Constraints: 31824
2875.57/2883.58 c #Conflicts: 1860000 | #Constraints: 32824
2875.57/2883.58 c #Conflicts: 1861000 | #Constraints: 33824
2875.57/2883.58 c #Conflicts: 1862000 | #Constraints: 34824
2875.57/2883.58 c #Conflicts: 1863000 | #Constraints: 35824
2875.57/2883.58 c #Conflicts: 1864000 | #Constraints: 36824
2875.57/2883.58 c #Conflicts: 1865000 | #Constraints: 37824
2875.57/2883.58 c #Conflicts: 1866000 | #Constraints: 38824
2875.57/2883.58 c #Conflicts: 1867000 | #Constraints: 39824
2875.57/2883.58 c #Conflicts: 1868000 | #Constraints: 40824
2875.57/2883.58 c #Conflicts: 1869000 | #Constraints: 41824
2875.57/2883.58 c #Conflicts: 1870000 | #Constraints: 42824
2875.57/2883.58 c #Conflicts: 1871000 | #Constraints: 43824
2875.57/2883.58 c #Conflicts: 1872000 | #Constraints: 44824
2875.57/2883.58 c #Conflicts: 1873000 | #Constraints: 45824
2875.57/2883.58 c #Conflicts: 1874000 | #Constraints: 46824
2875.57/2883.58 c #Conflicts: 1875000 | #Constraints: 47824
2875.57/2883.58 c #Conflicts: 1876000 | #Constraints: 48824
2875.57/2883.58 c #Conflicts: 1877000 | #Constraints: 49824
2875.57/2883.58 c #Conflicts: 1878000 | #Constraints: 50824
2875.57/2883.58 c #Conflicts: 1879000 | #Constraints: 51824
2875.57/2883.58 c #Conflicts: 1880000 | #Constraints: 52824
2875.57/2883.58 c #Conflicts: 1881000 | #Constraints: 53824
2875.57/2883.58 c INPROCESSING
2875.57/2883.58 c GARBAGE COLLECT
2875.57/2883.58 c #Conflicts: 1882000 | #Constraints: 27626
2875.57/2883.58 c #Conflicts: 1883000 | #Constraints: 28626
2875.57/2883.58 c #Conflicts: 1884000 | #Constraints: 29626
2875.57/2883.58 c #Conflicts: 1885000 | #Constraints: 30626
2875.57/2883.58 c #Conflicts: 1886000 | #Constraints: 31626
2875.57/2883.58 c #Conflicts: 1887000 | #Constraints: 32626
2875.57/2883.58 c #Conflicts: 1888000 | #Constraints: 33626
3077.63/3086.19 c #Conflicts: 1889000 | #Constraints: 34626
3077.63/3086.19 c #Conflicts: 1890000 | #Constraints: 35626
3077.63/3086.19 c #Conflicts: 1891000 | #Constraints: 36626
3077.63/3086.19 c #Conflicts: 1892000 | #Constraints: 37626
3077.63/3086.19 c #Conflicts: 1893000 | #Constraints: 38626
3077.63/3086.19 c #Conflicts: 1894000 | #Constraints: 39626
3077.63/3086.19 c #Conflicts: 1895000 | #Constraints: 40626
3077.63/3086.19 c #Conflicts: 1896000 | #Constraints: 41626
3077.63/3086.19 c #Conflicts: 1897000 | #Constraints: 42626
3077.63/3086.19 c #Conflicts: 1898000 | #Constraints: 43626
3077.63/3086.19 c #Conflicts: 1899000 | #Constraints: 44626
3077.63/3086.19 c #Conflicts: 1900000 | #Constraints: 45626
3077.63/3086.19 c #Conflicts: 1901000 | #Constraints: 46626
3077.63/3086.19 c #Conflicts: 1902000 | #Constraints: 47626
3077.63/3086.19 c #Conflicts: 1903000 | #Constraints: 48626
3077.63/3086.19 c #Conflicts: 1904000 | #Constraints: 49626
3077.63/3086.19 c #Conflicts: 1905000 | #Constraints: 50626
3077.63/3086.19 c #Conflicts: 1906000 | #Constraints: 51626
3077.63/3086.19 c #Conflicts: 1907000 | #Constraints: 52626
3077.63/3086.19 c #Conflicts: 1908000 | #Constraints: 53626
3077.63/3086.19 c #Conflicts: 1909000 | #Constraints: 54626
3077.63/3086.19 c INPROCESSING
3077.63/3086.19 c GARBAGE COLLECT
3077.63/3086.19 c #Conflicts: 1910000 | #Constraints: 28225
3077.63/3086.19 c #Conflicts: 1911000 | #Constraints: 29225
3077.63/3086.19 c #Conflicts: 1912000 | #Constraints: 30225
3077.63/3086.19 c #Conflicts: 1913000 | #Constraints: 31225
3077.63/3086.19 c #Conflicts: 1914000 | #Constraints: 32225
3077.63/3086.19 c #Conflicts: 1915000 | #Constraints: 33225
3077.63/3086.19 c #Conflicts: 1916000 | #Constraints: 34225
3077.63/3086.19 c #Conflicts: 1917000 | #Constraints: 35225
3077.63/3086.19 c #Conflicts: 1918000 | #Constraints: 36225
3077.63/3086.19 c #Conflicts: 1919000 | #Constraints: 37225
3077.63/3086.19 c #Conflicts: 1920000 | #Constraints: 38225
3077.63/3086.19 c #Conflicts: 1921000 | #Constraints: 39225
3077.63/3086.19 c #Conflicts: 1922000 | #Constraints: 40225
3077.63/3086.19 c #Conflicts: 1923000 | #Constraints: 41225
3077.63/3086.19 c #Conflicts: 1924000 | #Constraints: 42225
3077.63/3086.19 c #Conflicts: 1925000 | #Constraints: 43225
3077.63/3086.19 c #Conflicts: 1926000 | #Constraints: 44225
3077.63/3086.19 c #Conflicts: 1927000 | #Constraints: 45225
3077.63/3086.19 c #Conflicts: 1928000 | #Constraints: 46225
3077.63/3086.19 c #Conflicts: 1929000 | #Constraints: 47225
3077.63/3086.19 c #Conflicts: 1930000 | #Constraints: 48225
3077.63/3086.19 c #Conflicts: 1931000 | #Constraints: 49225
3077.63/3086.19 c #Conflicts: 1932000 | #Constraints: 50225
3077.63/3086.19 c #Conflicts: 1933000 | #Constraints: 51225
3077.63/3086.19 c #Conflicts: 1934000 | #Constraints: 52225
3077.63/3086.19 c #Conflicts: 1935000 | #Constraints: 53225
3077.63/3086.19 c #Conflicts: 1936000 | #Constraints: 54225
3077.63/3086.19 c #Conflicts: 1937000 | #Constraints: 55225
3077.63/3086.19 c INPROCESSING
3077.63/3086.19 c GARBAGE COLLECT
3077.63/3086.19 c #Conflicts: 1938000 | #Constraints: 28624
3077.63/3086.19 c #Conflicts: 1939000 | #Constraints: 29624
3077.63/3086.19 c #Conflicts: 1940000 | #Constraints: 30624
3077.63/3086.19 c #Conflicts: 1941000 | #Constraints: 31624
3077.63/3086.19 c #Conflicts: 1942000 | #Constraints: 32624
3077.63/3086.19 c #Conflicts: 1943000 | #Constraints: 33624
3077.63/3086.19 c #Conflicts: 1944000 | #Constraints: 34624
3077.63/3086.19 c #Conflicts: 1945000 | #Constraints: 35624
3077.63/3086.19 c #Conflicts: 1946000 | #Constraints: 36624
3077.63/3086.19 c #Conflicts: 1947000 | #Constraints: 37624
3077.63/3086.19 c #Conflicts: 1948000 | #Constraints: 38624
3077.63/3086.19 c #Conflicts: 1949000 | #Constraints: 39624
3077.63/3086.19 c #Conflicts: 1950000 | #Constraints: 40624
3077.63/3086.19 c #Conflicts: 1951000 | #Constraints: 41624
3077.63/3086.19 c #Conflicts: 1952000 | #Constraints: 42624
3077.63/3086.19 c #Conflicts: 1953000 | #Constraints: 43624
3077.63/3086.19 c #Conflicts: 1954000 | #Constraints: 44624
3077.63/3086.19 c #Conflicts: 1955000 | #Constraints: 45624
3077.63/3086.19 c #Conflicts: 1956000 | #Constraints: 46624
3077.63/3086.19 c #Conflicts: 1957000 | #Constraints: 47624
3077.63/3086.19 c #Conflicts: 1958000 | #Constraints: 48624
3077.63/3086.19 c #Conflicts: 1959000 | #Constraints: 49624
3077.63/3086.19 c #Conflicts: 1960000 | #Constraints: 50624
3077.63/3086.19 c #Conflicts: 1961000 | #Constraints: 51624
3077.63/3086.19 c #Conflicts: 1962000 | #Constraints: 52624
3077.63/3086.19 c #Conflicts: 1963000 | #Constraints: 53624
3077.63/3086.19 c #Conflicts: 1964000 | #Constraints: 54624
3077.63/3086.19 c #Conflicts: 1965000 | #Constraints: 55624
3077.63/3086.19 c INPROCESSING
3281.29/3290.47 c GARBAGE COLLECT
3281.29/3290.47 c #Conflicts: 1966000 | #Constraints: 28823
3281.29/3290.47 c #Conflicts: 1967000 | #Constraints: 29823
3281.29/3290.47 c #Conflicts: 1968000 | #Constraints: 30823
3281.29/3290.47 c #Conflicts: 1969000 | #Constraints: 31823
3281.29/3290.47 c #Conflicts: 1970000 | #Constraints: 32823
3281.29/3290.47 c #Conflicts: 1971000 | #Constraints: 33823
3281.29/3290.47 c #Conflicts: 1972000 | #Constraints: 34823
3281.29/3290.47 c #Conflicts: 1973000 | #Constraints: 35823
3281.29/3290.47 c #Conflicts: 1974000 | #Constraints: 36823
3281.29/3290.47 c #Conflicts: 1975000 | #Constraints: 37823
3281.29/3290.47 c #Conflicts: 1976000 | #Constraints: 38823
3281.29/3290.47 c #Conflicts: 1977000 | #Constraints: 39823
3281.29/3290.47 c #Conflicts: 1978000 | #Constraints: 40823
3281.29/3290.47 c #Conflicts: 1979000 | #Constraints: 41823
3281.29/3290.47 c #Conflicts: 1980000 | #Constraints: 42823
3281.29/3290.47 c #Conflicts: 1981000 | #Constraints: 43823
3281.29/3290.47 c #Conflicts: 1982000 | #Constraints: 44823
3281.29/3290.47 c #Conflicts: 1983000 | #Constraints: 45823
3281.29/3290.47 c #Conflicts: 1984000 | #Constraints: 46823
3281.29/3290.47 c #Conflicts: 1985000 | #Constraints: 47823
3281.29/3290.47 c #Conflicts: 1986000 | #Constraints: 48823
3281.29/3290.47 c #Conflicts: 1987000 | #Constraints: 49823
3281.29/3290.47 c #Conflicts: 1988000 | #Constraints: 50823
3281.29/3290.47 c #Conflicts: 1989000 | #Constraints: 51823
3281.29/3290.47 c #Conflicts: 1990000 | #Constraints: 52823
3281.29/3290.47 c #Conflicts: 1991000 | #Constraints: 53823
3281.29/3290.47 c #Conflicts: 1992000 | #Constraints: 54823
3281.29/3290.47 c #Conflicts: 1993000 | #Constraints: 55823
3281.29/3290.47 c INPROCESSING
3281.29/3290.47 c GARBAGE COLLECT
3281.29/3290.47 c #Conflicts: 1994000 | #Constraints: 28822
3281.29/3290.47 c #Conflicts: 1995000 | #Constraints: 29822
3281.29/3290.47 c #Conflicts: 1996000 | #Constraints: 30822
3281.29/3290.47 c #Conflicts: 1997000 | #Constraints: 31822
3281.29/3290.47 c #Conflicts: 1998000 | #Constraints: 32822
3281.29/3290.47 c #Conflicts: 1999000 | #Constraints: 33822
3281.29/3290.47 c #Conflicts: 2000000 | #Constraints: 34822
3281.29/3290.47 c #Conflicts: 2001000 | #Constraints: 35822
3281.29/3290.47 c #Conflicts: 2002000 | #Constraints: 36822
3281.29/3290.47 c #Conflicts: 2003000 | #Constraints: 37822
3281.29/3290.47 c #Conflicts: 2004000 | #Constraints: 38822
3281.29/3290.47 c #Conflicts: 2005000 | #Constraints: 39822
3281.29/3290.47 c #Conflicts: 2006000 | #Constraints: 40822
3281.29/3290.47 c #Conflicts: 2007000 | #Constraints: 41822
3281.29/3290.47 c #Conflicts: 2008000 | #Constraints: 42822
3281.29/3290.47 c #Conflicts: 2009000 | #Constraints: 43822
3281.29/3290.47 c #Conflicts: 2010000 | #Constraints: 44822
3281.29/3290.47 c #Conflicts: 2011000 | #Constraints: 45822
3281.29/3290.47 c #Conflicts: 2012000 | #Constraints: 46822
3281.29/3290.47 c #Conflicts: 2013000 | #Constraints: 47822
3281.29/3290.47 c #Conflicts: 2014000 | #Constraints: 48822
3281.29/3290.47 c #Conflicts: 2015000 | #Constraints: 49822
3281.29/3290.47 c #Conflicts: 2016000 | #Constraints: 50822
3281.29/3290.47 c #Conflicts: 2017000 | #Constraints: 51822
3281.29/3290.47 c #Conflicts: 2018000 | #Constraints: 52822
3281.29/3290.47 c #Conflicts: 2019000 | #Constraints: 53822
3281.29/3290.47 c #Conflicts: 2020000 | #Constraints: 54822
3281.29/3290.47 c #Conflicts: 2021000 | #Constraints: 55822
3281.29/3290.47 c INPROCESSING
3281.29/3290.47 c GARBAGE COLLECT
3281.29/3290.47 c #Conflicts: 2022000 | #Constraints: 28620
3281.29/3290.47 c #Conflicts: 2023000 | #Constraints: 29620
3281.29/3290.47 c #Conflicts: 2024000 | #Constraints: 30620
3281.29/3290.47 c #Conflicts: 2025000 | #Constraints: 31620
3281.29/3290.47 c #Conflicts: 2026000 | #Constraints: 32620
3281.29/3290.47 c #Conflicts: 2027000 | #Constraints: 33620
3281.29/3290.47 c #Conflicts: 2028000 | #Constraints: 34620
3281.29/3290.47 c #Conflicts: 2029000 | #Constraints: 35620
3281.29/3290.47 c #Conflicts: 2030000 | #Constraints: 36620
3281.29/3290.47 c #Conflicts: 2031000 | #Constraints: 37620
3281.29/3290.47 c #Conflicts: 2032000 | #Constraints: 38620
3281.29/3290.47 c #Conflicts: 2033000 | #Constraints: 39620
3281.29/3290.47 c #Conflicts: 2034000 | #Constraints: 40620
3281.29/3290.47 c #Conflicts: 2035000 | #Constraints: 41620
3281.29/3290.47 c #Conflicts: 2036000 | #Constraints: 42620
3281.29/3290.47 c #Conflicts: 2037000 | #Constraints: 43620
3281.29/3290.47 c #Conflicts: 2038000 | #Constraints: 44620
3281.29/3290.47 c #Conflicts: 2039000 | #Constraints: 45620
3281.29/3290.47 c #Conflicts: 2040000 | #Constraints: 46620
3281.29/3290.47 c #Conflicts: 2041000 | #Constraints: 47620
3281.29/3290.47 c #Conflicts: 2042000 | #Constraints: 48620
3471.41/3481.18 c #Conflicts: 2043000 | #Constraints: 49620
3471.41/3481.18 c #Conflicts: 2044000 | #Constraints: 50620
3471.41/3481.18 c #Conflicts: 2045000 | #Constraints: 51620
3471.41/3481.18 c #Conflicts: 2046000 | #Constraints: 52620
3471.41/3481.18 c #Conflicts: 2047000 | #Constraints: 53620
3471.41/3481.18 c #Conflicts: 2048000 | #Constraints: 54620
3471.41/3481.18 c #Conflicts: 2049000 | #Constraints: 55620
3471.41/3481.18 c #Conflicts: 2050000 | #Constraints: 56620
3471.41/3481.18 c INPROCESSING
3471.41/3481.18 c GARBAGE COLLECT
3471.41/3481.18 c #Conflicts: 2051000 | #Constraints: 29221
3471.41/3481.18 c #Conflicts: 2052000 | #Constraints: 30221
3471.41/3481.18 c #Conflicts: 2053000 | #Constraints: 31221
3471.41/3481.18 c #Conflicts: 2054000 | #Constraints: 32221
3471.41/3481.18 c #Conflicts: 2055000 | #Constraints: 33221
3471.41/3481.18 c #Conflicts: 2056000 | #Constraints: 34221
3471.41/3481.18 c #Conflicts: 2057000 | #Constraints: 35221
3471.41/3481.18 c #Conflicts: 2058000 | #Constraints: 36221
3471.41/3481.18 c #Conflicts: 2059000 | #Constraints: 37221
3471.41/3481.18 c #Conflicts: 2060000 | #Constraints: 38221
3471.41/3481.18 c #Conflicts: 2061000 | #Constraints: 39221
3471.41/3481.18 c #Conflicts: 2062000 | #Constraints: 40221
3471.41/3481.18 c #Conflicts: 2063000 | #Constraints: 41221
3471.41/3481.18 c #Conflicts: 2064000 | #Constraints: 42221
3471.41/3481.18 c #Conflicts: 2065000 | #Constraints: 43221
3471.41/3481.18 c #Conflicts: 2066000 | #Constraints: 44221
3471.41/3481.18 c #Conflicts: 2067000 | #Constraints: 45221
3471.41/3481.18 c #Conflicts: 2068000 | #Constraints: 46221
3471.41/3481.18 c #Conflicts: 2069000 | #Constraints: 47221
3471.41/3481.18 c #Conflicts: 2070000 | #Constraints: 48221
3471.41/3481.18 c #Conflicts: 2071000 | #Constraints: 49221
3471.41/3481.18 c #Conflicts: 2072000 | #Constraints: 50221
3471.41/3481.18 c #Conflicts: 2073000 | #Constraints: 51221
3471.41/3481.18 c #Conflicts: 2074000 | #Constraints: 52221
3471.41/3481.18 c #Conflicts: 2075000 | #Constraints: 53221
3471.41/3481.18 c #Conflicts: 2076000 | #Constraints: 54221
3471.41/3481.18 c #Conflicts: 2077000 | #Constraints: 55221
3471.41/3481.18 c #Conflicts: 2078000 | #Constraints: 56221
3471.41/3481.18 c #Conflicts: 2079000 | #Constraints: 57221
3471.41/3481.18 c INPROCESSING
3471.41/3481.18 c GARBAGE COLLECT
3471.41/3481.18 c #Conflicts: 2080000 | #Constraints: 29624
3471.41/3481.18 c #Conflicts: 2081000 | #Constraints: 30624
3471.41/3481.18 c #Conflicts: 2082000 | #Constraints: 31624
3471.41/3481.18 c #Conflicts: 2083000 | #Constraints: 32624
3471.41/3481.18 c #Conflicts: 2084000 | #Constraints: 33624
3471.41/3481.18 c #Conflicts: 2085000 | #Constraints: 34624
3471.41/3481.18 c #Conflicts: 2086000 | #Constraints: 35624
3471.41/3481.18 c #Conflicts: 2087000 | #Constraints: 36624
3471.41/3481.18 c #Conflicts: 2088000 | #Constraints: 37624
3471.41/3481.18 c #Conflicts: 2089000 | #Constraints: 38624
3471.41/3481.18 c #Conflicts: 2090000 | #Constraints: 39624
3471.41/3481.18 c #Conflicts: 2091000 | #Constraints: 40624
3471.41/3481.18 c #Conflicts: 2092000 | #Constraints: 41624
3471.41/3481.18 c #Conflicts: 2093000 | #Constraints: 42624
3471.41/3481.18 c #Conflicts: 2094000 | #Constraints: 43624
3471.41/3481.18 c #Conflicts: 2095000 | #Constraints: 44624
3471.41/3481.18 c #Conflicts: 2096000 | #Constraints: 45624
3471.41/3481.18 c #Conflicts: 2097000 | #Constraints: 46624
3471.41/3481.18 c #Conflicts: 2098000 | #Constraints: 47624
3471.41/3481.18 c #Conflicts: 2099000 | #Constraints: 48624
3471.41/3481.18 c #Conflicts: 2100000 | #Constraints: 49624
3471.41/3481.18 c #Conflicts: 2101000 | #Constraints: 50624
3471.41/3481.18 c #Conflicts: 2102000 | #Constraints: 51624
3471.41/3481.18 c #Conflicts: 2103000 | #Constraints: 52624
3471.41/3481.18 c #Conflicts: 2104000 | #Constraints: 53624
3471.41/3481.18 c #Conflicts: 2105000 | #Constraints: 54624
3471.41/3481.18 c #Conflicts: 2106000 | #Constraints: 55624
3471.41/3481.18 c #Conflicts: 2107000 | #Constraints: 56624
3471.41/3481.18 c #Conflicts: 2108000 | #Constraints: 57624
3471.41/3481.18 c INPROCESSING
3471.41/3481.18 c GARBAGE COLLECT
3471.41/3481.18 c #Conflicts: 2109000 | #Constraints: 29826
3471.41/3481.18 c #Conflicts: 2110000 | #Constraints: 30826
3471.41/3481.18 c #Conflicts: 2111000 | #Constraints: 31826
3471.41/3481.18 c #Conflicts: 2112000 | #Constraints: 32826
3471.41/3481.18 c #Conflicts: 2113000 | #Constraints: 33826
3471.41/3481.18 c #Conflicts: 2114000 | #Constraints: 34826
3471.41/3481.18 c #Conflicts: 2115000 | #Constraints: 35826
3471.41/3481.18 c #Conflicts: 2116000 | #Constraints: 36826
3471.41/3481.18 c #Conflicts: 2117000 | #Constraints: 37826
3471.41/3481.18 c #Conflicts: 2118000 | #Constraints: 38826
3471.41/3481.18 c #Conflicts: 2119000 | #Constraints: 39826
3600.00/3610.11 c #Conflicts: 2120000 | #Constraints: 40826
3600.00/3610.11 c #Conflicts: 2121000 | #Constraints: 41826
3600.00/3610.11 c #Conflicts: 2122000 | #Constraints: 42826
3600.00/3610.11 c #Conflicts: 2123000 | #Constraints: 43826
3600.00/3610.11 c #Conflicts: 2124000 | #Constraints: 44826
3600.00/3610.11 c #Conflicts: 2125000 | #Constraints: 45826
3600.00/3610.11 c #Conflicts: 2126000 | #Constraints: 46826
3600.00/3610.11 c #Conflicts: 2127000 | #Constraints: 47826
3600.00/3610.11 c #Conflicts: 2128000 | #Constraints: 48826
3600.00/3610.11 c #Conflicts: 2129000 | #Constraints: 49826
3600.00/3610.11 c #Conflicts: 2130000 | #Constraints: 50826
3600.00/3610.11 c #Conflicts: 2131000 | #Constraints: 51826
3600.00/3610.11 c #Conflicts: 2132000 | #Constraints: 52826
3600.00/3610.11 c #Conflicts: 2133000 | #Constraints: 53826
3600.00/3610.11 c #Conflicts: 2134000 | #Constraints: 54826
3600.00/3610.11 c #Conflicts: 2135000 | #Constraints: 55826
3600.00/3610.11 c #Conflicts: 2136000 | #Constraints: 56826
3600.00/3610.11 c #Conflicts: 2137000 | #Constraints: 57826
3600.00/3610.11 c INPROCESSING
3600.00/3610.11 c GARBAGE COLLECT
3600.00/3610.11 c #Conflicts: 2138000 | #Constraints: 29826
3600.00/3610.11 c #Conflicts: 2139000 | #Constraints: 30826
3600.00/3610.11 c #Conflicts: 2140000 | #Constraints: 31826
3600.00/3610.11 c #Conflicts: 2141000 | #Constraints: 32826
3600.00/3610.11 c #Conflicts: 2142000 | #Constraints: 33826
3600.00/3610.11 c #Conflicts: 2143000 | #Constraints: 34826
3600.00/3610.11 c #Conflicts: 2144000 | #Constraints: 35826
3600.00/3610.11 c #Conflicts: 2145000 | #Constraints: 36826
3600.00/3610.11 c #Conflicts: 2146000 | #Constraints: 37826
3600.00/3610.11 c #Conflicts: 2147000 | #Constraints: 38826
3600.00/3610.11 c #Conflicts: 2148000 | #Constraints: 39826
3600.00/3610.11 c #Conflicts: 2149000 | #Constraints: 40826
3600.00/3610.11 c #Conflicts: 2150000 | #Constraints: 41826
3600.00/3610.11 c #Conflicts: 2151000 | #Constraints: 42826
3600.00/3610.11 c #Conflicts: 2152000 | #Constraints: 43826
3600.00/3610.11 c #Conflicts: 2153000 | #Constraints: 44826
3600.00/3610.11 c #Conflicts: 2154000 | #Constraints: 45826
3600.00/3610.11 c #Conflicts: 2155000 | #Constraints: 46826
3600.00/3610.11 c #Conflicts: 2156000 | #Constraints: 47826
3600.00/3610.11 c #Conflicts: 2157000 | #Constraints: 48826
3600.00/3610.11 c #Conflicts: 2158000 | #Constraints: 49826
3600.00/3610.11 c #Conflicts: 2159000 | #Constraints: 50826
3600.00/3610.11 c #Conflicts: 2160000 | #Constraints: 51826
3600.00/3610.11 c #Conflicts: 2161000 | #Constraints: 52826
3600.00/3610.11 c #Conflicts: 2162000 | #Constraints: 53826
3600.00/3610.11 c #Conflicts: 2163000 | #Constraints: 54826
3600.00/3610.11 c #Conflicts: 2164000 | #Constraints: 55826
3600.00/3610.11 c #Conflicts: 2165000 | #Constraints: 56826
3600.00/3610.11 c #Conflicts: 2166000 | #Constraints: 57826
3600.00/3610.11 c INPROCESSING
3600.00/3610.11 c GARBAGE COLLECT
3600.00/3610.11 c #Conflicts: 2167000 | #Constraints: 29624
3600.00/3610.11 c #Conflicts: 2168000 | #Constraints: 30624
3600.00/3610.11 c #Conflicts: 2169000 | #Constraints: 31624
3600.00/3610.11 c #Conflicts: 2170000 | #Constraints: 32624
3600.00/3610.11 c #Conflicts: 2171000 | #Constraints: 33624
3600.00/3610.11 c #Conflicts: 2172000 | #Constraints: 34624
3600.00/3610.11 c #Conflicts: 2173000 | #Constraints: 35624
3600.00/3610.11 c #Conflicts: 2174000 | #Constraints: 36624
3600.00/3610.11 c #Conflicts: 2175000 | #Constraints: 37624
3600.00/3610.11 c #Conflicts: 2176000 | #Constraints: 38624
3600.00/3610.11 c Program interrupted by user.
3600.00/3610.11 c cpu time 3591.7 s
3600.00/3610.11 c deterministic time 534155546567 5.34e+11
3600.00/3610.11 c optimization time 17.7244 s
3600.00/3610.11 c total solve time 3573.98 s
3600.00/3610.11 c core-guided solve time 3573.98 s
3600.00/3610.11 c propagation time 3416.83 s
3600.00/3610.11 c conflict analysis time 160.664 s
3600.00/3610.11 c propagations 23542457
3600.00/3610.11 c resolve steps 10412978
3600.00/3610.11 c decisions 3486026
3600.00/3610.11 c conflicts 2176306
3600.00/3610.11 c restarts 4093
3600.00/3610.11 c inprocessing phases 138
3600.00/3610.11 c input clauses 1
3600.00/3610.11 c input cardinalities 0
3600.00/3610.11 c input general constraints 12
3600.00/3610.11 c input average constraint length 46.23
3600.00/3610.11 c input average constraint degree 1090.38
3600.00/3610.11 c learned clauses 1251889
3600.00/3610.11 c learned cardinalities 0
3600.00/3610.11 c learned general constraints 924416
3600.00/3610.11 c learned average constraint length 34.81
3600.00/3610.11 c learned average constraint degree 85556.64
3600.00/3610.11 c watched constraints 895900
3600.00/3610.11 c counting constraints 28528
3600.00/3610.11 c gcd simplifications 1143450
3600.00/3610.11 c detected cardinalities 0
3600.00/3610.11 c weakened non-implied lits 18705090
3600.00/3610.11 c weakened non-implying lits 943442
3600.00/3610.11 c original variables 51
3600.00/3610.11 c clausal propagations 370733
3600.00/3610.11 c cardinality propagations 0
3600.00/3610.11 c watched propagations 9157613
3600.00/3610.11 c counting propagations 12272048
3600.00/3610.11 c watch lookups 43918496363
3600.00/3610.11 c watch backjump lookups 21685198767
3600.00/3610.11 c watch checks 388917643550
3600.00/3610.11 c propagation checks 79002478596
3600.00/3610.11 c constraint additions 575496065
3600.00/3610.11 c trail pops 29204742
3600.00/3610.11 c formula constraints 13
3600.00/3610.11 c learned constraints 2176305
3600.00/3610.11 c bound constraints 0
3600.00/3610.11 c core-guided constraints 0
3600.00/3610.11 c encountered formula constraints 3148212
3600.00/3610.11 c encountered learned constraints 9441072
3600.00/3610.11 c encountered bound constraints 0
3600.00/3610.11 c encountered core-guided constraints 0
3600.00/3610.11 c LP total time 0 s
3600.00/3610.11 c LP solve time 0 s
3600.00/3610.11 c LP constraints added 0
3600.00/3610.11 c LP constraints removed 0
3600.00/3610.11 c LP pivots internal 0
3600.00/3610.11 c LP pivots root 0
3600.00/3610.11 c LP calls 0
3600.00/3610.11 c LP optimalities 0
3600.00/3610.11 c LP no pivot count 0
3600.00/3610.11 c LP infeasibilities 0
3600.00/3610.11 c LP valid Farkas constraints 0
3600.00/3610.11 c LP learned Farkas constraints 0
3600.00/3610.11 c LP basis resets 0
3600.00/3610.11 c LP cycling count 0
3600.00/3610.11 c LP singular count 0
3600.00/3610.11 c LP no primal count 0
3600.00/3610.11 c LP no farkas count 0
3600.00/3610.11 c LP other issue count 0
3600.00/3610.11 c LP Gomory cuts 0
3600.00/3610.11 c LP learned cuts 0
3600.00/3610.11 c LP deleted cuts 0
3600.00/3610.11 c LP encountered Gomory constraints 0
3600.00/3610.11 c LP encountered Farkas constraints 0
3600.00/3610.11 c LP encountered learned Farkas constraints 0
3600.00/3610.11 c CG auxiliary variables introduced 0
3600.00/3610.11 c CG solutions found 0
3600.00/3610.11 c CG cores constructed 0
3600.00/3610.11 c CG core cardinality constraints returned 0
3600.00/3610.11 c CG unit cores 0
3600.00/3610.11 c CG single cores 0
3600.00/3610.11 c CG blocks removed during cardinality reduction 0
3600.00/3610.11 c CG first core best 0
3600.00/3610.11 c CG decision core best 0
3600.00/3610.11 c CG core reduction tie 0
3600.00/3610.11 c CG core degree average 0.00
3600.00/3610.11 c CG core slack average 0.00
3600.00/3610.11 c CG exhausted 0
3600.00/3610.11 c CG exhaust time 0 s
3600.00/3610.11 c CG trimmed 0
3600.00/3610.11 c CG trim time 0 s
3600.00/3610.11 c CG minimized 0
3600.00/3610.11 c CG minimize time 0 s
3600.00/3610.11 c CG am1 prop time 0 s
3600.00/3610.11 c CG # am1s reformulated 0
3600.00/3610.11 c CG lower bound derived from am1s 0
3600.00/3610.11 c CG # clausal cores 0
3600.00/3610.11 c CG # cardinality cores 0
3600.00/3610.11 c CG # pb cores 0
3600.00/3610.11 c CG # pb reforms 0
3600.00/3610.11 c CG # cores discarded because of pb reform 0
3600.00/3610.11 d LOWERBOUND 0
3600.00/3610.11 d NCORES 0
3600.00/3610.11 d NPBCORES 0
3600.00/3610.11 d NPBREFORM 0
3600.00/3610.11 d NTRIMMED 0
3600.00/3610.11 d NEXHAUSTED 0
3600.00/3610.11 d NAM1S 0
3600.00/3610.11 d AM1LB 0
3600.00/3610.11 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (62968 MiB free)
memory of node 1: 64465 MiB (63657 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490652-1751367591/watcher-4490652-1751367591 -o /tmp/evaluation-result-4490652-1751367591/solver-4490652-1751367591 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751360282-61297 --watchdog 3760 pb-oll-rs HOME/instance-4490652-1751367591.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=62452, runsolver pid=62449
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 4.27 4.26 4.17 5/250 62453
/proc/meminfo: memFree=129664984/131382112 swapFree=33010684/33010684
[pid=62452] ppid=62449 vsize=20084 memory=6016 CPUtime=0.09 cores=1,3
/proc/62452/stat : 62452 (pb-oll-rs) R 62449 62452 61285 0 -1 4194304 344 0 0 0 9 0 0 0 20 0 1 0 52438204 20566016 1504 18446744073709551615 4218880 5211445 140730863873040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12292096 140730863876508 140730863876585 140730863876585 140730863882187 0
/proc/62452/statm: 5021 1504 1344 243 0 1270 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20084 KiB
Current children cumulated memory: 6016 KiB
[startup+0.212865 s]*
/proc/loadavg: 4.27 4.26 4.17 5/250 62453
/proc/meminfo: memFree=129664984/131382112 swapFree=33010684/33010684
[pid=62452] ppid=62449 vsize=20084 memory=6272 CPUtime=0.21 cores=1,3
/proc/62452/stat : 62452 (pb-oll-rs) R 62449 62452 61285 0 -1 4194304 416 0 0 0 20 1 0 0 20 0 1 0 52438204 20566016 1568 18446744073709551615 4218880 5211445 140730863873040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12292096 140730863876508 140730863876585 140730863876585 140730863882187 0
/proc/62452/statm: 5021 1568 1344 243 0 1270 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 20084 KiB
Current children cumulated memory: 6272 KiB
[startup+0.312418 s]*
/proc/loadavg: 4.27 4.26 4.17 5/250 62453
/proc/meminfo: memFree=129664984/131382112 swapFree=33010684/33010684
[pid=62452] ppid=62449 vsize=20216 memory=6528 CPUtime=0.3 cores=1,3
/proc/62452/stat : 62452 (pb-oll-rs) R 62449 62452 61285 0 -1 4194304 478 0 0 0 29 1 0 0 20 0 1 0 52438204 20701184 1632 18446744073709551615 4218880 5211445 140730863873040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12292096 140730863876508 140730863876585 140730863876585 140730863882187 0
/proc/62452/statm: 5054 1632 1344 243 0 1303 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 20216 KiB
Current children cumulated memory: 6528 KiB
[startup+0.700245 s]
/proc/loadavg: 4.27 4.26 4.17 5/250 62453
/proc/meminfo: memFree=129664984/131382112 swapFree=33010684/33010684
[pid=62452] ppid=62449 vsize=20484 memory=6912 CPUtime=0.68 cores=1,3
/proc/62452/stat : 62452 (pb-oll-rs) R 62449 62452 61285 0 -1 4194304 600 0 0 0 65 3 0 0 20 0 1 0 52438204 20975616 1728 18446744073709551615 4218880 5211445 140730863873040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12292096 140730863876508 140730863876585 140730863876585 140730863882187 0
/proc/62452/statm: 5121 1728 1344 243 0 1370 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 20484 KiB
Current children cumulated memory: 6912 KiB
[startup+1.50024 s]
/proc/loadavg: 4.27 4.26 4.17 5/250 62453
/proc/meminfo: memFree=129664984/131382112 swapFree=33010684/33010684
[pid=62452] ppid=62449 vsize=20756 memory=9736 CPUtime=1.48 cores=1,3
/proc/62452/stat : 62452 (pb-oll-rs) R 62449 62452 61285 0 -1 4194304 774 0 0 0 143 5 0 0 20 0 1 0 52438204 21254144 2434 18446744073709551615 4218880 5211445 140730863873040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12292096 140730863876508 140730863876585 140730863876585 140730863882187 0
/proc/62452/statm: 5189 2434 1344 243 0 1438 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 20756 KiB
Current children cumulated memory: 9736 KiB
[startup+3.11211 s]
/proc/loadavg: 4.25 4.26 4.17 5/250 62453
/proc/meminfo: memFree=129665220/131382112 swapFree=33010684/33010684
[pid=62452] ppid=62449 vsize=21280 memory=10120 CPUtime=3.08 cores=1,3
/proc/62452/stat : 62452 (pb-oll-rs) R 62449 62452 61285 0 -1 4194304 890 0 0 0 300 8 0 0 20 0 1 0 52438204 21790720 2530 18446744073709551615 4218880 5211445 140730863873040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12292096 140730863876508 140730863876585 140730863876585 140730863882187 0
/proc/62452/statm: 5320 2530 1344 243 0 1569 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 21280 KiB
Current children cumulated memory: 10120 KiB
[startup+6.30024 s]
/proc/loadavg: 4.25 4.26 4.17 5/250 62453
/proc/meminfo: memFree=129665220/131382112 swapFree=33010684/33010684
[pid=62452] ppid=62449 vsize=21700 memory=10632 CPUtime=6.27 cores=1,3
/proc/62452/stat : 62452 (pb-oll-rs) R 62449 62452 61285 0 -1 4194304 999 0 0 0 614 13 0 0 20 0 1 0 52438204 22220800 2658 18446744073709551615 4218880 5211445 140730863873040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12292096 140730863876508 140730863876585 140730863876585 140730863882187 0
/proc/62452/statm: 5425 2658 1344 243 0 1674 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 21700 KiB
Current children cumulated memory: 10632 KiB
[startup+12.7002 s]
/proc/loadavg: 4.23 4.25 4.17 5/249 62453
/proc/meminfo: memFree=129664716/131382112 swapFree=33010684/33010684
[pid=62452] ppid=62449 vsize=22724 memory=11400 CPUtime=12.64 cores=1,3
/proc/62452/stat : 62452 (pb-oll-rs) R 62449 62452 61285 0 -1 4194304 1206 0 0 0 1245 19 0 0 20 0 1 0 52438204 23269376 2850 18446744073709551615 4218880 5211445 140730863873040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12292096 140730863876508 140730863876585 140730863876585 140730863882187 0
/proc/62452/statm: 5681 2850 1344 243 0 1930 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 22724 KiB
Current children cumulated memory: 11400 KiB
[startup+25.5003 s]
/proc/loadavg: 4.26 4.26 4.17 5/249 62453
/proc/meminfo: memFree=129662952/131382112 swapFree=33010684/33010684
[pid=62452] ppid=62449 vsize=23300 memory=12424 CPUtime=25.42 cores=1,3
/proc/62452/stat : 62452 (pb-oll-rs) R 62449 62452 61285 0 -1 4194304 1469 0 0 0 2511 31 0 0 20 0 1 0 52438204 23859200 3106 18446744073709551615 4218880 5211445 140730863873040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12292096 140730863876508 140730863876585 140730863876585 140730863882187 0
/proc/62452/statm: 5825 3106 1344 243 0 2074 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 23300 KiB
Current children cumulated memory: 12424 KiB
[startup+51.1125 s]
/proc/loadavg: 4.59 4.33 4.20 5/249 62454
/proc/meminfo: memFree=129660684/131382112 swapFree=33010684/33010684
[pid=62452] ppid=62449 vsize=24652 memory=14216 CPUtime=50.96 cores=1,3
/proc/62452/stat : 62452 (pb-oll-rs) R 62449 62452 61285 0 -1 4194304 1938 0 0 0 5049 47 0 0 20 0 1 0 52438204 25243648 3554 18446744073709551615 4218880 5211445 140730863873040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12292096 140730863876508 140730863876585 140730863876585 140730863882187 0
/proc/62452/statm: 6163 3554 1344 243 0 2412 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 24652 KiB
Current children cumulated memory: 14216 KiB
[startup+102.3 s]
/proc/loadavg: 4.60 4.39 4.22 5/249 62467
/proc/meminfo: memFree=129651256/131382112 swapFree=33010684/33010684
[pid=62452] ppid=62449 vsize=28908 memory=16776 CPUtime=102.02 cores=1,3
/proc/62452/stat : 62452 (pb-oll-rs) R 62449 62452 61285 0 -1 4194304 2626 0 0 0 10125 77 0 0 20 0 1 0 52438204 29601792 4194 18446744073709551615 4218880 5211445 140730863873040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12292096 140730863876508 140730863876585 140730863876585 140730863882187 0
/proc/62452/statm: 7227 4194 1344 243 0 3476 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 28908 KiB
Current children cumulated memory: 16776 KiB
[startup+162.3 s]
/proc/loadavg: 4.27 4.33 4.21 5/250 62472
/proc/meminfo: memFree=129634400/131382112 swapFree=33010684/33010684
[pid=62452] ppid=62449 vsize=29420 memory=18568 CPUtime=161.84 cores=1,3
/proc/62452/stat : 62452 (pb-oll-rs) R 62449 62452 61285 0 -1 4194304 3189 0 0 0 16073 111 0 0 20 0 1 0 52438204 30126080 4642 18446744073709551615 4218880 5211445 140730863873040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12292096 140730863876508 140730863876585 140730863876585 140730863882187 0
/proc/62452/statm: 7355 4642 1344 243 0 3604 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 29420 KiB
Current children cumulated memory: 18568 KiB
[startup+222.3 s]
/proc/loadavg: 4.36 4.33 4.22 5/250 62474
/proc/meminfo: memFree=129627524/131382112 swapFree=33010684/33010684
[pid=62452] ppid=62449 vsize=29776 memory=19720 CPUtime=221.68 cores=1,3
/proc/62452/stat : 62452 (pb-oll-rs) R 62449 62452 61285 0 -1 4194304 3494 0 0 0 22029 139 0 0 20 0 1 0 52438204 30490624 4930 18446744073709551615 4218880 5211445 140730863873040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12292096 140730863876508 140730863876585 140730863876585 140730863882187 0
/proc/62452/statm: 7444 4930 1344 243 0 3693 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 29776 KiB
Current children cumulated memory: 19720 KiB
[startup+282.3 s]
/proc/loadavg: 4.74 4.45 4.27 5/250 62476
/proc/meminfo: memFree=129622536/131382112 swapFree=33010684/33010684
[pid=62452] ppid=62449 vsize=34480 memory=22600 CPUtime=281.52 cores=1,3
/proc/62452/stat : 62452 (pb-oll-rs) R 62449 62452 61285 0 -1 4194304 3759 0 0 0 27986 166 0 0 20 0 1 0 52438204 35307520 5650 18446744073709551615 4218880 5211445 140730863873040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12292096 140730863876508 140730863876585 140730863876585 140730863882187 0
/proc/62452/statm: 8620 5650 1344 243 0 4869 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 34480 KiB
Current children cumulated memory: 22600 KiB
[startup+342.3 s]
/proc/loadavg: 4.32 4.38 4.26 5/250 62482
/proc/meminfo: memFree=129615984/131382112 swapFree=33010684/33010684
[pid=62452] ppid=62449 vsize=36264 memory=23624 CPUtime=341.36 cores=1,3
/proc/62452/stat : 62452 (pb-oll-rs) R 62449 62452 61285 0 -1 4194304 4076 0 0 0 33946 190 0 0 20 0 1 0 52438204 37134336 5906 18446744073709551615 4218880 5211445 140730863873040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12292096 140730863876508 140730863876585 140730863876585 140730863882187 0
/proc/62452/statm: 9066 5906 1344 243 0 5315 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 36264 KiB
Current children cumulated memory: 23624 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.33 4.25 5/250 62483
/proc/meminfo: memFree=129614684/131382112 swapFree=33010684/33010684
[pid=62452] ppid=62449 vsize=36648 memory=24392 CPUtime=401.2 cores=1,3
/proc/62452/stat : 62452 (pb-oll-rs) R 62449 62452 61285 0 -1 4194304 4199 0 0 0 39911 209 0 0 20 0 1 0 52438204 37527552 6098 18446744073709551615 4218880 5211445 140730863873040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12292096 140730863876508 140730863876585 140730863876585 140730863882187 0
/proc/62452/statm: 9162 6098 1344 243 0 5411 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 36648 KiB
Current children cumulated memory: 24392 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.28 4.23 5/250 62485
/proc/meminfo: memFree=129614952/131382112 swapFree=33010684/33010684
[pid=62452] ppid=62449 vsize=37416 memory=24904 CPUtime=461.04 cores=1,3
/proc/62452/stat : 62452 (pb-oll-rs) R 62449 62452 61285 0 -1 4194304 4344 0 0 0 45876 228 0 0 20 0 1 0 52438204 38313984 6226 18446744073709551615 4218880 5211445 140730863873040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12292096 140730863876508 140730863876585 140730863876585 140730863882187 0
/proc/62452/statm: 9354 6226 1344 243 0 5603 0
################
# More data... #
################
Current children cumulated memory: 39752 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/249 62601
/proc/meminfo: memFree=129610300/131382112 swapFree=33010684/33010684
[pid=62452] ppid=62449 vsize=52016 memory=40136 CPUtime=2914.25 cores=1,3
/proc/62452/stat : 62452 (pb-oll-rs) R 62449 62452 61285 0 -1 4194304 9964 0 0 0 290706 719 0 0 20 0 1 0 52438204 53264384 10034 18446744073709551615 4218880 5211445 140730863873040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12292096 140730863876508 140730863876585 140730863876585 140730863882187 0
/proc/62452/statm: 13004 10034 1344 243 0 9253 0
Current children cumulated CPU time: 2914.25 s
Current children cumulated vsize: 52016 KiB
Current children cumulated memory: 40136 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/249 62602
/proc/meminfo: memFree=129608428/131382112 swapFree=33010684/33010684
[pid=62452] ppid=62449 vsize=52016 memory=40392 CPUtime=2974.09 cores=1,3
/proc/62452/stat : 62452 (pb-oll-rs) R 62449 62452 61285 0 -1 4194304 9964 0 0 0 296678 731 0 0 20 0 1 0 52438204 53264384 10098 18446744073709551615 4218880 5211445 140730863873040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12292096 140730863876508 140730863876585 140730863876585 140730863882187 0
/proc/62452/statm: 13004 10098 1344 243 0 9253 0
Current children cumulated CPU time: 2974.09 s
Current children cumulated vsize: 52016 KiB
Current children cumulated memory: 40392 KiB
[startup+3042.3 s]
/proc/loadavg: 4.66 4.27 4.14 5/249 62604
/proc/meminfo: memFree=129608396/131382112 swapFree=33010684/33010684
[pid=62452] ppid=62449 vsize=52016 memory=40392 CPUtime=3033.93 cores=1,3
/proc/62452/stat : 62452 (pb-oll-rs) R 62449 62452 61285 0 -1 4194304 9964 0 0 0 302654 739 0 0 20 0 1 0 52438204 53264384 10098 18446744073709551615 4218880 5211445 140730863873040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12292096 140730863876508 140730863876585 140730863876585 140730863882187 0
/proc/62452/statm: 13004 10098 1344 243 0 9253 0
Current children cumulated CPU time: 3033.93 s
Current children cumulated vsize: 52016 KiB
Current children cumulated memory: 40392 KiB
[startup+3102.3 s]
/proc/loadavg: 4.48 4.29 4.16 5/249 62606
/proc/meminfo: memFree=129602556/131382112 swapFree=33010684/33010684
[pid=62452] ppid=62449 vsize=52016 memory=40392 CPUtime=3093.77 cores=1,3
/proc/62452/stat : 62452 (pb-oll-rs) R 62449 62452 61285 0 -1 4194304 9964 0 0 0 308630 747 0 0 20 0 1 0 52438204 53264384 10098 18446744073709551615 4218880 5211445 140730863873040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12292096 140730863876508 140730863876585 140730863876585 140730863882187 0
/proc/62452/statm: 13004 10098 1344 243 0 9253 0
Current children cumulated CPU time: 3093.77 s
Current children cumulated vsize: 52016 KiB
Current children cumulated memory: 40392 KiB
[startup+3162.3 s]
/proc/loadavg: 4.24 4.25 4.16 5/248 62610
/proc/meminfo: memFree=129601848/131382112 swapFree=33010684/33010684
[pid=62452] ppid=62449 vsize=52016 memory=40392 CPUtime=3153.58 cores=1,3
/proc/62452/stat : 62452 (pb-oll-rs) R 62449 62452 61285 0 -1 4194304 9964 0 0 0 314603 755 0 0 20 0 1 0 52438204 53264384 10098 18446744073709551615 4218880 5211445 140730863873040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12292096 140730863876508 140730863876585 140730863876585 140730863882187 0
/proc/62452/statm: 13004 10098 1344 243 0 9253 0
Current children cumulated CPU time: 3153.58 s
Current children cumulated vsize: 52016 KiB
Current children cumulated memory: 40392 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.24 4.16 5/248 62612
/proc/meminfo: memFree=129602368/131382112 swapFree=33010684/33010684
[pid=62452] ppid=62449 vsize=52016 memory=40392 CPUtime=3213.39 cores=1,3
/proc/62452/stat : 62452 (pb-oll-rs) R 62449 62452 61285 0 -1 4194304 9964 0 0 0 320577 762 0 0 20 0 1 0 52438204 53264384 10098 18446744073709551615 4218880 5211445 140730863873040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12292096 140730863876508 140730863876585 140730863876585 140730863882187 0
/proc/62452/statm: 13004 10098 1344 243 0 9253 0
Current children cumulated CPU time: 3213.39 s
Current children cumulated vsize: 52016 KiB
Current children cumulated memory: 40392 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.22 4.16 5/248 62614
/proc/meminfo: memFree=129604380/131382112 swapFree=33010684/33010684
[pid=62452] ppid=62449 vsize=52016 memory=40392 CPUtime=3273.2 cores=1,3
/proc/62452/stat : 62452 (pb-oll-rs) R 62449 62452 61285 0 -1 4194304 9964 0 0 0 326548 772 0 0 20 0 1 0 52438204 53264384 10098 18446744073709551615 4218880 5211445 140730863873040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12292096 140730863876508 140730863876585 140730863876585 140730863882187 0
/proc/62452/statm: 13004 10098 1344 243 0 9253 0
Current children cumulated CPU time: 3273.2 s
Current children cumulated vsize: 52016 KiB
Current children cumulated memory: 40392 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.19 4.15 5/249 62621
/proc/meminfo: memFree=129601672/131382112 swapFree=33010684/33010684
[pid=62452] ppid=62449 vsize=52016 memory=40392 CPUtime=3333.03 cores=1,3
/proc/62452/stat : 62452 (pb-oll-rs) R 62449 62452 61285 0 -1 4194304 9964 0 0 0 332520 783 0 0 20 0 1 0 52438204 53264384 10098 18446744073709551615 4218880 5211445 140730863873040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12292096 140730863876508 140730863876585 140730863876585 140730863882187 0
/proc/62452/statm: 13004 10098 1344 243 0 9253 0
Current children cumulated CPU time: 3333.03 s
Current children cumulated vsize: 52016 KiB
Current children cumulated memory: 40392 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.19 4.15 5/249 62623
/proc/meminfo: memFree=129601588/131382112 swapFree=33010684/33010684
[pid=62452] ppid=62449 vsize=52528 memory=40776 CPUtime=3392.84 cores=1,3
/proc/62452/stat : 62452 (pb-oll-rs) R 62449 62452 61285 0 -1 4194304 10062 0 0 0 338491 793 0 0 20 0 1 0 52438204 53788672 10194 18446744073709551615 4218880 5211445 140730863873040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12292096 140730863876508 140730863876585 140730863876585 140730863882187 0
/proc/62452/statm: 13132 10194 1344 243 0 9381 0
Current children cumulated CPU time: 3392.84 s
Current children cumulated vsize: 52528 KiB
Current children cumulated memory: 40776 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.17 4.14 5/249 62625
/proc/meminfo: memFree=129599844/131382112 swapFree=33010684/33010684
[pid=62452] ppid=62449 vsize=54068 memory=41800 CPUtime=3452.65 cores=1,3
/proc/62452/stat : 62452 (pb-oll-rs) R 62449 62452 61285 0 -1 4194304 10301 0 0 0 344462 803 0 0 20 0 1 0 52438204 55365632 10450 18446744073709551615 4218880 5211445 140730863873040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12292096 140730863876508 140730863876585 140730863876585 140730863882187 0
/proc/62452/statm: 13517 10450 1344 243 0 9766 0
Current children cumulated CPU time: 3452.65 s
Current children cumulated vsize: 54068 KiB
Current children cumulated memory: 41800 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.15 4.14 5/249 62627
/proc/meminfo: memFree=129599860/131382112 swapFree=33010684/33010684
[pid=62452] ppid=62449 vsize=54248 memory=41800 CPUtime=3512.47 cores=1,3
/proc/62452/stat : 62452 (pb-oll-rs) R 62449 62452 61285 0 -1 4194304 10316 0 0 0 350434 813 0 0 20 0 1 0 52438204 55549952 10450 18446744073709551615 4218880 5211445 140730863873040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12292096 140730863876508 140730863876585 140730863876585 140730863882187 0
/proc/62452/statm: 13562 10450 1344 243 0 9811 0
Current children cumulated CPU time: 3512.47 s
Current children cumulated vsize: 54248 KiB
Current children cumulated memory: 41800 KiB
[startup+3582.3 s]
/proc/loadavg: 2.52 3.70 3.99 2/232 62722
/proc/meminfo: memFree=129689440/131382112 swapFree=33010684/33010684
[pid=62452] ppid=62449 vsize=54836 memory=43080 CPUtime=3572.27 cores=1,3
/proc/62452/stat : 62452 (pb-oll-rs) R 62449 62452 61285 0 -1 4194304 10440 0 0 0 356402 825 0 0 20 0 1 0 52438204 56152064 10770 18446744073709551615 4218880 5211445 140730863873040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12292096 140730863876508 140730863876585 140730863876585 140730863882187 0
/proc/62452/statm: 13709 10770 1344 243 0 9958 0
Current children cumulated CPU time: 3572.27 s
Current children cumulated vsize: 54836 KiB
Current children cumulated memory: 43080 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 1.92 3.44 3.89 2/232 62724
/proc/meminfo: memFree=129689604/131382112 swapFree=33010684/33010684
[pid=62452] ppid=62449 vsize=55348 memory=43464 CPUtime=3600 cores=1,3
/proc/62452/stat : 62452 (pb-oll-rs) R 62449 62452 61285 0 -1 4194304 10539 0 0 0 359170 830 0 0 20 0 1 0 52438204 56676352 10866 18446744073709551615 4218880 5211445 140730863873040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12292096 140730863876508 140730863876585 140730863876585 140730863882187 0
/proc/62452/statm: 13837 10866 1344 243 0 10086 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 55348 KiB
Current children cumulated memory: 43464 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 62452 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.7 s, system=8.30729 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 1.92 3.44 3.89 2/232 62724
/proc/meminfo: memFree=129689604/131382112 swapFree=33010684/33010684
[pid=62452] ppid=62449 vsize=55348 memory=43464 CPUtime=3600 cores=1,3
/proc/62452/stat : 62452 (pb-oll-rs) R 62449 62452 61285 0 -1 4194304 10539 0 0 0 359170 830 0 0 20 0 1 0 52438204 56676352 10866 18446744073709551615 4218880 5211445 140730863873040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 12292096 140730863876508 140730863876585 140730863876585 140730863882187 0
/proc/62452/statm: 13837 10866 1344 243 0 10086 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 55348 KiB
Current children cumulated memory: 43464 KiB
Child status: 0
Real time (s): 3610.12
CPU time (s): 3600.01
CPU user time (s): 3591.7
CPU system time (s): 8.30729
CPU usage (%): 99.7201
Max. virtual memory (cumulated for all children) (KiB): 55348
Max. memory (cumulated for all children) (KiB): 43464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.7
system time used= 8.30729
maximum resident set size= 43720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10553
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= 98
involuntary context switches= 1582
# summary of solver processes directly reported to runsolver:
# pid: 62452
# total CPU time (s): 3600.01
# total CPU user time (s): 3591.7
# total CPU system time (s): 8.30729
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5193 second user time and 34.2534 second system time
The end
Begin job on nodeC007 at 2025-07-01 12:59:51
IDJOB=4490652
IDBENCH=147604
IDSOLVER=3345
FILE ID=nodeC007/4490652-1751367591
RUNJOBID= nodeC007-1751360282-61297
SLURM_JOB_ID= 9598160
Free space on /tmp= 433012 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_1.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490652-1751367591/watcher-4490652-1751367591 -o /tmp/evaluation-result-4490652-1751367591/solver-4490652-1751367591 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751360282-61297 --watchdog 3760 pb-oll-rs HOME/instance-4490652-1751367591.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 24a8c00bfc22332d2e87e9d19ffbf58d
RANDOM SEED=2058029501
nodeC007 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3660.149
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.207
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.147
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.254
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3660.138
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.552
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.471
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129664984 kB
MemAvailable: 129869484 kB
Buffers: 3280 kB
Cached: 1010996 kB
SwapCached: 0 kB
Active: 370288 kB
Inactive: 764364 kB
Active(anon): 138336 kB
Inactive(anon): 0 kB
Active(file): 231952 kB
Inactive(file): 764364 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1712 kB
Writeback: 0 kB
AnonPages: 120440 kB
Mapped: 106520 kB
Shmem: 17960 kB
KReclaimable: 95624 kB
Slab: 179148 kB
SReclaimable: 95624 kB
SUnreclaim: 83524 kB
KernelStack: 4048 kB
PageTables: 3276 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 457000 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 43008 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: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433016 MiB
End job on nodeC007 at 2025-07-01 14:00:01