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 198 #constraints 16
0.00/0.01 c SMALL=int, LARGE=long long
0.00/0.01 c bounds - >= 0 @ 0.000191
0.00/0.01 c stratification level: 64
0.00/0.02 c bounds 515 >= 0 @ 0.010789
0.00/0.02 c stratification level: 32
0.00/0.03 c bounds 300 >= 0 @ 0.023157
0.00/0.03 c stratification level: 16
0.49/0.53 c #Conflicts: 1000 | #Constraints: 1017
0.49/0.53 c #Conflicts: 2000 | #Constraints: 2017
0.49/0.53 c INPROCESSING
0.49/0.53 c GARBAGE COLLECT
0.49/0.53 c #Conflicts: 3000 | #Constraints: 2019
0.49/0.53 c #Conflicts: 4000 | #Constraints: 3019
0.49/0.53 c bounds 107 >= 0 @ 0.501286
0.49/0.53 c stratification level: 8
22.93/23.09 c INPROCESSING
22.93/23.09 c GARBAGE COLLECT
22.93/23.09 c #Conflicts: 5000 | #Constraints: 2423
22.93/23.09 c #Conflicts: 6000 | #Constraints: 3423
22.93/23.09 c INPROCESSING
22.93/23.09 c GARBAGE COLLECT
22.93/23.09 c #Conflicts: 7000 | #Constraints: 2427
22.93/23.09 c #Conflicts: 8000 | #Constraints: 3427
22.93/23.09 c #Conflicts: 9000 | #Constraints: 4427
22.93/23.09 c INPROCESSING
22.93/23.09 c GARBAGE COLLECT
22.93/23.09 c #Conflicts: 10000 | #Constraints: 3127
22.93/23.09 c #Conflicts: 11000 | #Constraints: 4127
22.93/23.09 c #Conflicts: 12000 | #Constraints: 5127
22.93/23.09 c INPROCESSING
22.93/23.09 c GARBAGE COLLECT
22.93/23.09 c #Conflicts: 13000 | #Constraints: 3577
22.93/23.09 c #Conflicts: 14000 | #Constraints: 4577
22.93/23.09 c #Conflicts: 15000 | #Constraints: 5577
22.93/23.09 c INPROCESSING
22.93/23.09 c GARBAGE COLLECT
22.93/23.09 c #Conflicts: 16000 | #Constraints: 3802
22.93/23.09 c #Conflicts: 17000 | #Constraints: 4802
22.93/23.09 c #Conflicts: 18000 | #Constraints: 5802
22.93/23.09 c INPROCESSING
22.93/23.09 c GARBAGE COLLECT
22.93/23.09 c #Conflicts: 19000 | #Constraints: 3822
22.93/23.09 c #Conflicts: 20000 | #Constraints: 4822
22.93/23.09 c #Conflicts: 21000 | #Constraints: 5822
22.93/23.09 c INPROCESSING
22.93/23.09 c GARBAGE COLLECT
22.93/23.09 c #Conflicts: 22000 | #Constraints: 3627
22.93/23.09 c #Conflicts: 23000 | #Constraints: 4627
22.93/23.09 c #Conflicts: 24000 | #Constraints: 5627
22.93/23.09 c #Conflicts: 25000 | #Constraints: 6627
22.93/23.09 c INPROCESSING
22.93/23.09 c GARBAGE COLLECT
22.93/23.09 c #Conflicts: 26000 | #Constraints: 4230
22.93/23.09 c #Conflicts: 27000 | #Constraints: 5230
22.93/23.09 c #Conflicts: 28000 | #Constraints: 6230
22.93/23.09 c #Conflicts: 29000 | #Constraints: 7230
22.93/23.09 c INPROCESSING
22.93/23.09 c GARBAGE COLLECT
22.93/23.09 c #Conflicts: 30000 | #Constraints: 4627
22.93/23.09 c #Conflicts: 31000 | #Constraints: 5627
22.93/23.09 c #Conflicts: 32000 | #Constraints: 6627
22.93/23.09 c #Conflicts: 33000 | #Constraints: 7627
22.93/23.09 c INPROCESSING
22.93/23.09 c GARBAGE COLLECT
22.93/23.09 c #Conflicts: 34000 | #Constraints: 4830
22.93/23.09 c #Conflicts: 35000 | #Constraints: 5830
22.93/23.09 c #Conflicts: 36000 | #Constraints: 6830
22.93/23.09 c #Conflicts: 37000 | #Constraints: 7830
22.93/23.09 c INPROCESSING
22.93/23.09 c GARBAGE COLLECT
22.93/23.09 c #Conflicts: 38000 | #Constraints: 4833
22.93/23.09 c #Conflicts: 39000 | #Constraints: 5833
22.93/23.09 c #Conflicts: 40000 | #Constraints: 6833
22.93/23.09 c #Conflicts: 41000 | #Constraints: 7833
22.93/23.09 c INPROCESSING
22.93/23.09 c GARBAGE COLLECT
22.93/23.09 c #Conflicts: 42000 | #Constraints: 4635
22.93/23.09 c #Conflicts: 43000 | #Constraints: 5635
22.93/23.09 c #Conflicts: 44000 | #Constraints: 6635
22.93/23.09 c #Conflicts: 45000 | #Constraints: 7635
22.93/23.09 c #Conflicts: 46000 | #Constraints: 8635
22.93/23.09 c INPROCESSING
22.93/23.09 c GARBAGE COLLECT
22.93/23.09 c #Conflicts: 47000 | #Constraints: 5232
22.93/23.09 c #Conflicts: 48000 | #Constraints: 6232
22.93/23.09 c #Conflicts: 49000 | #Constraints: 7232
22.93/23.09 c #Conflicts: 50000 | #Constraints: 8232
22.93/23.09 c #Conflicts: 51000 | #Constraints: 9232
22.93/23.09 c INPROCESSING
22.93/23.09 c GARBAGE COLLECT
22.93/23.09 c #Conflicts: 52000 | #Constraints: 5637
22.93/23.09 c #Conflicts: 53000 | #Constraints: 6637
22.93/23.09 c #Conflicts: 54000 | #Constraints: 7637
22.93/23.09 c #Conflicts: 55000 | #Constraints: 8637
22.93/23.09 c #Conflicts: 56000 | #Constraints: 9637
22.93/23.09 c INPROCESSING
22.93/23.09 c GARBAGE COLLECT
22.93/23.09 c #Conflicts: 57000 | #Constraints: 5834
22.93/23.09 c #Conflicts: 58000 | #Constraints: 6834
22.93/23.09 c #Conflicts: 59000 | #Constraints: 7834
22.93/23.09 c #Conflicts: 60000 | #Constraints: 8834
22.93/23.09 c #Conflicts: 61000 | #Constraints: 9834
22.93/23.09 c INPROCESSING
22.93/23.09 c GARBAGE COLLECT
22.93/23.09 c #Conflicts: 62000 | #Constraints: 5834
22.93/23.09 c #Conflicts: 63000 | #Constraints: 6834
22.93/23.09 c #Conflicts: 64000 | #Constraints: 7834
22.93/23.09 c #Conflicts: 65000 | #Constraints: 8834
22.93/23.09 c #Conflicts: 66000 | #Constraints: 9834
22.93/23.09 c INPROCESSING
22.93/23.09 c GARBAGE COLLECT
22.93/23.09 c #Conflicts: 67000 | #Constraints: 5635
22.93/23.09 c #Conflicts: 68000 | #Constraints: 6635
22.93/23.09 c #Conflicts: 69000 | #Constraints: 7635
22.93/23.09 c #Conflicts: 70000 | #Constraints: 8635
22.93/23.09 c #Conflicts: 71000 | #Constraints: 9635
22.93/23.09 c #Conflicts: 72000 | #Constraints: 10635
62.02/62.20 c INPROCESSING
62.02/62.20 c GARBAGE COLLECT
62.02/62.20 c #Conflicts: 73000 | #Constraints: 6230
62.02/62.20 c #Conflicts: 74000 | #Constraints: 7230
62.02/62.20 c #Conflicts: 75000 | #Constraints: 8230
62.02/62.20 c #Conflicts: 76000 | #Constraints: 9230
62.02/62.20 c #Conflicts: 77000 | #Constraints: 10230
62.02/62.20 c #Conflicts: 78000 | #Constraints: 11230
62.02/62.20 c INPROCESSING
62.02/62.20 c GARBAGE COLLECT
62.02/62.20 c #Conflicts: 79000 | #Constraints: 6631
62.02/62.20 c #Conflicts: 80000 | #Constraints: 7631
62.02/62.20 c #Conflicts: 81000 | #Constraints: 8631
62.02/62.20 c #Conflicts: 82000 | #Constraints: 9631
62.02/62.20 c #Conflicts: 83000 | #Constraints: 10631
62.02/62.20 c #Conflicts: 84000 | #Constraints: 11631
62.02/62.20 c INPROCESSING
62.02/62.20 c GARBAGE COLLECT
62.02/62.20 c #Conflicts: 85000 | #Constraints: 6832
62.02/62.20 c #Conflicts: 86000 | #Constraints: 7832
62.02/62.20 c #Conflicts: 87000 | #Constraints: 8832
62.02/62.20 c #Conflicts: 88000 | #Constraints: 9832
62.02/62.20 c #Conflicts: 89000 | #Constraints: 10832
62.02/62.20 c #Conflicts: 90000 | #Constraints: 11832
62.02/62.20 c INPROCESSING
62.02/62.20 c GARBAGE COLLECT
62.02/62.20 c #Conflicts: 91000 | #Constraints: 6837
62.02/62.20 c #Conflicts: 92000 | #Constraints: 7837
62.02/62.20 c #Conflicts: 93000 | #Constraints: 8837
62.02/62.20 c #Conflicts: 94000 | #Constraints: 9837
62.02/62.20 c #Conflicts: 95000 | #Constraints: 10837
62.02/62.20 c #Conflicts: 96000 | #Constraints: 11837
62.02/62.20 c INPROCESSING
62.02/62.20 c GARBAGE COLLECT
62.02/62.20 c #Conflicts: 97000 | #Constraints: 6638
62.02/62.20 c #Conflicts: 98000 | #Constraints: 7638
62.02/62.20 c #Conflicts: 99000 | #Constraints: 8638
62.02/62.20 c #Conflicts: 100000 | #Constraints: 9638
62.02/62.20 c #Conflicts: 101000 | #Constraints: 10638
62.02/62.20 c #Conflicts: 102000 | #Constraints: 11638
62.02/62.20 c #Conflicts: 103000 | #Constraints: 12638
62.02/62.20 c INPROCESSING
62.02/62.20 c GARBAGE COLLECT
62.02/62.20 c #Conflicts: 104000 | #Constraints: 7236
62.02/62.20 c #Conflicts: 105000 | #Constraints: 8236
62.02/62.20 c #Conflicts: 106000 | #Constraints: 9236
62.02/62.20 c #Conflicts: 107000 | #Constraints: 10236
62.02/62.20 c #Conflicts: 108000 | #Constraints: 11236
62.02/62.20 c #Conflicts: 109000 | #Constraints: 12236
62.02/62.20 c #Conflicts: 110000 | #Constraints: 13236
62.02/62.20 c INPROCESSING
62.02/62.20 c GARBAGE COLLECT
62.02/62.20 c #Conflicts: 111000 | #Constraints: 7636
62.02/62.20 c #Conflicts: 112000 | #Constraints: 8636
62.02/62.20 c #Conflicts: 113000 | #Constraints: 9636
62.02/62.20 c #Conflicts: 114000 | #Constraints: 10636
62.02/62.20 c #Conflicts: 115000 | #Constraints: 11636
62.02/62.20 c #Conflicts: 116000 | #Constraints: 12636
62.02/62.20 c #Conflicts: 117000 | #Constraints: 13636
62.02/62.20 c INPROCESSING
62.02/62.20 c GARBAGE COLLECT
62.02/62.20 c #Conflicts: 118000 | #Constraints: 7833
62.02/62.20 c #Conflicts: 119000 | #Constraints: 8833
62.02/62.20 c #Conflicts: 120000 | #Constraints: 9833
62.02/62.20 c #Conflicts: 121000 | #Constraints: 10833
62.02/62.20 c #Conflicts: 122000 | #Constraints: 11833
62.02/62.20 c #Conflicts: 123000 | #Constraints: 12833
62.02/62.20 c #Conflicts: 124000 | #Constraints: 13833
62.02/62.20 c INPROCESSING
62.02/62.20 c GARBAGE COLLECT
62.02/62.20 c #Conflicts: 125000 | #Constraints: 7835
62.02/62.20 c #Conflicts: 126000 | #Constraints: 8835
62.02/62.20 c #Conflicts: 127000 | #Constraints: 9835
62.02/62.20 c #Conflicts: 128000 | #Constraints: 10835
62.02/62.20 c #Conflicts: 129000 | #Constraints: 11835
62.02/62.20 c #Conflicts: 130000 | #Constraints: 12835
62.02/62.20 c #Conflicts: 131000 | #Constraints: 13835
62.02/62.20 c INPROCESSING
62.02/62.20 c GARBAGE COLLECT
62.02/62.20 c #Conflicts: 132000 | #Constraints: 7633
62.02/62.20 c #Conflicts: 133000 | #Constraints: 8633
62.02/62.20 c #Conflicts: 134000 | #Constraints: 9633
62.02/62.20 c #Conflicts: 135000 | #Constraints: 10633
62.02/62.20 c #Conflicts: 136000 | #Constraints: 11633
62.02/62.20 c #Conflicts: 137000 | #Constraints: 12633
62.02/62.20 c #Conflicts: 138000 | #Constraints: 13633
62.02/62.20 c #Conflicts: 139000 | #Constraints: 14633
62.02/62.20 c INPROCESSING
62.02/62.20 c GARBAGE COLLECT
62.02/62.20 c #Conflicts: 140000 | #Constraints: 8236
62.02/62.20 c #Conflicts: 141000 | #Constraints: 9236
62.02/62.20 c #Conflicts: 142000 | #Constraints: 10236
62.02/62.20 c #Conflicts: 143000 | #Constraints: 11236
62.02/62.20 c #Conflicts: 144000 | #Constraints: 12236
110.80/111.15 c #Conflicts: 145000 | #Constraints: 13236
110.80/111.15 c #Conflicts: 146000 | #Constraints: 14236
110.80/111.15 c #Conflicts: 147000 | #Constraints: 15236
110.80/111.15 c INPROCESSING
110.80/111.15 c GARBAGE COLLECT
110.80/111.15 c #Conflicts: 148000 | #Constraints: 8635
110.80/111.15 c #Conflicts: 149000 | #Constraints: 9635
110.80/111.15 c #Conflicts: 150000 | #Constraints: 10635
110.80/111.15 c #Conflicts: 151000 | #Constraints: 11635
110.80/111.15 c #Conflicts: 152000 | #Constraints: 12635
110.80/111.15 c #Conflicts: 153000 | #Constraints: 13635
110.80/111.15 c #Conflicts: 154000 | #Constraints: 14635
110.80/111.15 c #Conflicts: 155000 | #Constraints: 15635
110.80/111.15 c INPROCESSING
110.80/111.15 c GARBAGE COLLECT
110.80/111.15 c #Conflicts: 156000 | #Constraints: 8838
110.80/111.15 c #Conflicts: 157000 | #Constraints: 9838
110.80/111.15 c #Conflicts: 158000 | #Constraints: 10838
110.80/111.15 c #Conflicts: 159000 | #Constraints: 11838
110.80/111.15 c #Conflicts: 160000 | #Constraints: 12838
110.80/111.15 c #Conflicts: 161000 | #Constraints: 13838
110.80/111.15 c #Conflicts: 162000 | #Constraints: 14838
110.80/111.15 c #Conflicts: 163000 | #Constraints: 15838
110.80/111.15 c INPROCESSING
110.80/111.15 c GARBAGE COLLECT
110.80/111.15 c #Conflicts: 164000 | #Constraints: 8837
110.80/111.15 c #Conflicts: 165000 | #Constraints: 9837
110.80/111.15 c #Conflicts: 166000 | #Constraints: 10837
110.80/111.15 c #Conflicts: 167000 | #Constraints: 11837
110.80/111.15 c #Conflicts: 168000 | #Constraints: 12837
110.80/111.15 c #Conflicts: 169000 | #Constraints: 13837
110.80/111.15 c #Conflicts: 170000 | #Constraints: 14837
110.80/111.15 c #Conflicts: 171000 | #Constraints: 15837
110.80/111.15 c INPROCESSING
110.80/111.15 c GARBAGE COLLECT
110.80/111.15 c #Conflicts: 172000 | #Constraints: 8632
110.80/111.15 c #Conflicts: 173000 | #Constraints: 9632
110.80/111.15 c #Conflicts: 174000 | #Constraints: 10632
110.80/111.15 c #Conflicts: 175000 | #Constraints: 11632
110.80/111.15 c #Conflicts: 176000 | #Constraints: 12632
110.80/111.15 c #Conflicts: 177000 | #Constraints: 13632
110.80/111.15 c #Conflicts: 178000 | #Constraints: 14632
110.80/111.15 c #Conflicts: 179000 | #Constraints: 15632
110.80/111.15 c #Conflicts: 180000 | #Constraints: 16632
110.80/111.15 c INPROCESSING
110.80/111.15 c GARBAGE COLLECT
110.80/111.15 c #Conflicts: 181000 | #Constraints: 9232
110.80/111.15 c #Conflicts: 182000 | #Constraints: 10232
110.80/111.15 c #Conflicts: 183000 | #Constraints: 11232
110.80/111.15 c #Conflicts: 184000 | #Constraints: 12232
110.80/111.15 c #Conflicts: 185000 | #Constraints: 13232
110.80/111.15 c #Conflicts: 186000 | #Constraints: 14232
110.80/111.15 c #Conflicts: 187000 | #Constraints: 15232
110.80/111.15 c #Conflicts: 188000 | #Constraints: 16232
110.80/111.15 c #Conflicts: 189000 | #Constraints: 17232
110.80/111.15 c INPROCESSING
110.80/111.15 c GARBAGE COLLECT
110.80/111.15 c #Conflicts: 190000 | #Constraints: 9634
110.80/111.15 c #Conflicts: 191000 | #Constraints: 10634
110.80/111.15 c #Conflicts: 192000 | #Constraints: 11634
110.80/111.15 c #Conflicts: 193000 | #Constraints: 12634
110.80/111.15 c #Conflicts: 194000 | #Constraints: 13634
110.80/111.15 c #Conflicts: 195000 | #Constraints: 14634
110.80/111.15 c #Conflicts: 196000 | #Constraints: 15634
110.80/111.15 c #Conflicts: 197000 | #Constraints: 16634
110.80/111.15 c #Conflicts: 198000 | #Constraints: 17634
110.80/111.15 c INPROCESSING
110.80/111.15 c GARBAGE COLLECT
110.80/111.15 c #Conflicts: 199000 | #Constraints: 9839
110.80/111.15 c #Conflicts: 200000 | #Constraints: 10839
110.80/111.15 c #Conflicts: 201000 | #Constraints: 11839
110.80/111.15 c #Conflicts: 202000 | #Constraints: 12839
110.80/111.15 c #Conflicts: 203000 | #Constraints: 13839
110.80/111.15 c #Conflicts: 204000 | #Constraints: 14839
110.80/111.15 c #Conflicts: 205000 | #Constraints: 15839
110.80/111.15 c #Conflicts: 206000 | #Constraints: 16839
110.80/111.15 c #Conflicts: 207000 | #Constraints: 17839
110.80/111.15 c INPROCESSING
110.80/111.15 c GARBAGE COLLECT
110.80/111.15 c #Conflicts: 208000 | #Constraints: 9836
110.80/111.15 c #Conflicts: 209000 | #Constraints: 10836
110.80/111.15 c #Conflicts: 210000 | #Constraints: 11836
110.80/111.15 c #Conflicts: 211000 | #Constraints: 12836
110.80/111.15 c #Conflicts: 212000 | #Constraints: 13836
110.80/111.15 c #Conflicts: 213000 | #Constraints: 14836
110.80/111.15 c #Conflicts: 214000 | #Constraints: 15836
110.80/111.15 c #Conflicts: 215000 | #Constraints: 16836
110.80/111.15 c #Conflicts: 216000 | #Constraints: 17836
110.80/111.15 c INPROCESSING
110.80/111.15 c GARBAGE COLLECT
110.80/111.15 c #Conflicts: 217000 | #Constraints: 9641
168.56/169.02 c #Conflicts: 218000 | #Constraints: 10641
168.56/169.02 c #Conflicts: 219000 | #Constraints: 11641
168.56/169.02 c #Conflicts: 220000 | #Constraints: 12641
168.56/169.02 c #Conflicts: 221000 | #Constraints: 13641
168.56/169.02 c #Conflicts: 222000 | #Constraints: 14641
168.56/169.02 c #Conflicts: 223000 | #Constraints: 15641
168.56/169.02 c #Conflicts: 224000 | #Constraints: 16641
168.56/169.02 c #Conflicts: 225000 | #Constraints: 17641
168.56/169.02 c #Conflicts: 226000 | #Constraints: 18641
168.56/169.02 c INPROCESSING
168.56/169.02 c GARBAGE COLLECT
168.56/169.02 c #Conflicts: 227000 | #Constraints: 10238
168.56/169.02 c #Conflicts: 228000 | #Constraints: 11238
168.56/169.02 c #Conflicts: 229000 | #Constraints: 12238
168.56/169.02 c #Conflicts: 230000 | #Constraints: 13238
168.56/169.02 c #Conflicts: 231000 | #Constraints: 14238
168.56/169.02 c #Conflicts: 232000 | #Constraints: 15238
168.56/169.02 c #Conflicts: 233000 | #Constraints: 16238
168.56/169.02 c #Conflicts: 234000 | #Constraints: 17238
168.56/169.02 c #Conflicts: 235000 | #Constraints: 18238
168.56/169.02 c #Conflicts: 236000 | #Constraints: 19238
168.56/169.02 c INPROCESSING
168.56/169.02 c GARBAGE COLLECT
168.56/169.02 c #Conflicts: 237000 | #Constraints: 10636
168.56/169.02 c #Conflicts: 238000 | #Constraints: 11636
168.56/169.02 c #Conflicts: 239000 | #Constraints: 12636
168.56/169.02 c #Conflicts: 240000 | #Constraints: 13636
168.56/169.02 c #Conflicts: 241000 | #Constraints: 14636
168.56/169.02 c #Conflicts: 242000 | #Constraints: 15636
168.56/169.02 c #Conflicts: 243000 | #Constraints: 16636
168.56/169.02 c #Conflicts: 244000 | #Constraints: 17636
168.56/169.02 c #Conflicts: 245000 | #Constraints: 18636
168.56/169.02 c #Conflicts: 246000 | #Constraints: 19636
168.56/169.02 c INPROCESSING
168.56/169.02 c GARBAGE COLLECT
168.56/169.02 c #Conflicts: 247000 | #Constraints: 10833
168.56/169.02 c #Conflicts: 248000 | #Constraints: 11833
168.56/169.02 c #Conflicts: 249000 | #Constraints: 12833
168.56/169.02 c #Conflicts: 250000 | #Constraints: 13833
168.56/169.02 c #Conflicts: 251000 | #Constraints: 14833
168.56/169.02 c #Conflicts: 252000 | #Constraints: 15833
168.56/169.02 c #Conflicts: 253000 | #Constraints: 16833
168.56/169.02 c #Conflicts: 254000 | #Constraints: 17833
168.56/169.02 c #Conflicts: 255000 | #Constraints: 18833
168.56/169.02 c #Conflicts: 256000 | #Constraints: 19833
168.56/169.02 c INPROCESSING
168.56/169.02 c GARBAGE COLLECT
168.56/169.02 c #Conflicts: 257000 | #Constraints: 10832
168.56/169.02 c #Conflicts: 258000 | #Constraints: 11832
168.56/169.02 c #Conflicts: 259000 | #Constraints: 12832
168.56/169.02 c #Conflicts: 260000 | #Constraints: 13832
168.56/169.02 c #Conflicts: 261000 | #Constraints: 14832
168.56/169.02 c #Conflicts: 262000 | #Constraints: 15832
168.56/169.02 c #Conflicts: 263000 | #Constraints: 16832
168.56/169.02 c #Conflicts: 264000 | #Constraints: 17832
168.56/169.02 c #Conflicts: 265000 | #Constraints: 18832
168.56/169.02 c #Conflicts: 266000 | #Constraints: 19832
168.56/169.02 c INPROCESSING
168.56/169.02 c GARBAGE COLLECT
168.56/169.02 c #Conflicts: 267000 | #Constraints: 10635
168.56/169.02 c #Conflicts: 268000 | #Constraints: 11635
168.56/169.02 c #Conflicts: 269000 | #Constraints: 12635
168.56/169.02 c #Conflicts: 270000 | #Constraints: 13635
168.56/169.02 c #Conflicts: 271000 | #Constraints: 14635
168.56/169.02 c #Conflicts: 272000 | #Constraints: 15635
168.56/169.02 c #Conflicts: 273000 | #Constraints: 16635
168.56/169.02 c #Conflicts: 274000 | #Constraints: 17635
168.56/169.02 c #Conflicts: 275000 | #Constraints: 18635
168.56/169.02 c #Conflicts: 276000 | #Constraints: 19635
168.56/169.02 c #Conflicts: 277000 | #Constraints: 20635
168.56/169.02 c INPROCESSING
168.56/169.02 c GARBAGE COLLECT
168.56/169.02 c #Conflicts: 278000 | #Constraints: 11234
168.56/169.02 c #Conflicts: 279000 | #Constraints: 12234
168.56/169.02 c #Conflicts: 280000 | #Constraints: 13234
168.56/169.02 c #Conflicts: 281000 | #Constraints: 14234
168.56/169.02 c #Conflicts: 282000 | #Constraints: 15234
168.56/169.02 c #Conflicts: 283000 | #Constraints: 16234
168.56/169.02 c #Conflicts: 284000 | #Constraints: 17234
168.56/169.02 c #Conflicts: 285000 | #Constraints: 18234
168.56/169.02 c #Conflicts: 286000 | #Constraints: 19234
168.56/169.02 c #Conflicts: 287000 | #Constraints: 20234
168.56/169.02 c #Conflicts: 288000 | #Constraints: 21234
168.56/169.02 c INPROCESSING
168.56/169.02 c GARBAGE COLLECT
168.56/169.02 c #Conflicts: 289000 | #Constraints: 11633
168.56/169.02 c #Conflicts: 290000 | #Constraints: 12633
168.56/169.02 c #Conflicts: 291000 | #Constraints: 13633
168.56/169.02 c #Conflicts: 292000 | #Constraints: 14633
233.08/233.79 c #Conflicts: 293000 | #Constraints: 15633
233.08/233.79 c #Conflicts: 294000 | #Constraints: 16633
233.08/233.79 c #Conflicts: 295000 | #Constraints: 17633
233.08/233.79 c #Conflicts: 296000 | #Constraints: 18633
233.08/233.79 c #Conflicts: 297000 | #Constraints: 19633
233.08/233.79 c #Conflicts: 298000 | #Constraints: 20633
233.08/233.79 c #Conflicts: 299000 | #Constraints: 21633
233.08/233.79 c INPROCESSING
233.08/233.79 c GARBAGE COLLECT
233.08/233.79 c #Conflicts: 300000 | #Constraints: 11836
233.08/233.79 c #Conflicts: 301000 | #Constraints: 12836
233.08/233.79 c #Conflicts: 302000 | #Constraints: 13836
233.08/233.79 c #Conflicts: 303000 | #Constraints: 14836
233.08/233.79 c #Conflicts: 304000 | #Constraints: 15836
233.08/233.79 c #Conflicts: 305000 | #Constraints: 16836
233.08/233.79 c #Conflicts: 306000 | #Constraints: 17836
233.08/233.79 c #Conflicts: 307000 | #Constraints: 18836
233.08/233.79 c #Conflicts: 308000 | #Constraints: 19836
233.08/233.79 c #Conflicts: 309000 | #Constraints: 20836
233.08/233.79 c #Conflicts: 310000 | #Constraints: 21836
233.08/233.79 c INPROCESSING
233.08/233.79 c GARBAGE COLLECT
233.08/233.79 c #Conflicts: 311000 | #Constraints: 11839
233.08/233.79 c #Conflicts: 312000 | #Constraints: 12839
233.08/233.79 c #Conflicts: 313000 | #Constraints: 13839
233.08/233.79 c #Conflicts: 314000 | #Constraints: 14839
233.08/233.79 c #Conflicts: 315000 | #Constraints: 15839
233.08/233.79 c #Conflicts: 316000 | #Constraints: 16839
233.08/233.79 c #Conflicts: 317000 | #Constraints: 17839
233.08/233.79 c #Conflicts: 318000 | #Constraints: 18839
233.08/233.79 c #Conflicts: 319000 | #Constraints: 19839
233.08/233.79 c #Conflicts: 320000 | #Constraints: 20839
233.08/233.79 c #Conflicts: 321000 | #Constraints: 21839
233.08/233.79 c INPROCESSING
233.08/233.79 c GARBAGE COLLECT
233.08/233.79 c #Conflicts: 322000 | #Constraints: 11642
233.08/233.79 c #Conflicts: 323000 | #Constraints: 12642
233.08/233.79 c #Conflicts: 324000 | #Constraints: 13642
233.08/233.79 c #Conflicts: 325000 | #Constraints: 14642
233.08/233.79 c #Conflicts: 326000 | #Constraints: 15642
233.08/233.79 c #Conflicts: 327000 | #Constraints: 16642
233.08/233.79 c #Conflicts: 328000 | #Constraints: 17642
233.08/233.79 c #Conflicts: 329000 | #Constraints: 18642
233.08/233.79 c #Conflicts: 330000 | #Constraints: 19642
233.08/233.79 c #Conflicts: 331000 | #Constraints: 20642
233.08/233.79 c #Conflicts: 332000 | #Constraints: 21642
233.08/233.79 c #Conflicts: 333000 | #Constraints: 22642
233.08/233.79 c INPROCESSING
233.08/233.79 c GARBAGE COLLECT
233.08/233.79 c #Conflicts: 334000 | #Constraints: 12235
233.08/233.79 c #Conflicts: 335000 | #Constraints: 13235
233.08/233.79 c #Conflicts: 336000 | #Constraints: 14235
233.08/233.79 c #Conflicts: 337000 | #Constraints: 15235
233.08/233.79 c #Conflicts: 338000 | #Constraints: 16235
233.08/233.79 c #Conflicts: 339000 | #Constraints: 17235
233.08/233.79 c #Conflicts: 340000 | #Constraints: 18235
233.08/233.79 c #Conflicts: 341000 | #Constraints: 19235
233.08/233.79 c #Conflicts: 342000 | #Constraints: 20235
233.08/233.79 c #Conflicts: 343000 | #Constraints: 21235
233.08/233.79 c #Conflicts: 344000 | #Constraints: 22235
233.08/233.79 c #Conflicts: 345000 | #Constraints: 23235
233.08/233.79 c INPROCESSING
233.08/233.79 c GARBAGE COLLECT
233.08/233.79 c #Conflicts: 346000 | #Constraints: 12634
233.08/233.79 c #Conflicts: 347000 | #Constraints: 13634
233.08/233.79 c #Conflicts: 348000 | #Constraints: 14634
233.08/233.79 c #Conflicts: 349000 | #Constraints: 15634
233.08/233.79 c #Conflicts: 350000 | #Constraints: 16634
233.08/233.79 c #Conflicts: 351000 | #Constraints: 17634
233.08/233.79 c #Conflicts: 352000 | #Constraints: 18634
233.08/233.79 c #Conflicts: 353000 | #Constraints: 19634
233.08/233.79 c #Conflicts: 354000 | #Constraints: 20634
233.08/233.79 c #Conflicts: 355000 | #Constraints: 21634
233.08/233.79 c #Conflicts: 356000 | #Constraints: 22634
233.08/233.79 c #Conflicts: 357000 | #Constraints: 23634
233.08/233.79 c INPROCESSING
233.08/233.79 c GARBAGE COLLECT
233.08/233.79 c #Conflicts: 358000 | #Constraints: 12835
233.08/233.79 c #Conflicts: 359000 | #Constraints: 13835
233.08/233.79 c #Conflicts: 360000 | #Constraints: 14835
233.08/233.79 c #Conflicts: 361000 | #Constraints: 15835
233.08/233.79 c #Conflicts: 362000 | #Constraints: 16835
233.08/233.79 c #Conflicts: 363000 | #Constraints: 17835
233.08/233.79 c #Conflicts: 364000 | #Constraints: 18835
233.08/233.79 c #Conflicts: 365000 | #Constraints: 19835
233.08/233.79 c #Conflicts: 366000 | #Constraints: 20835
233.08/233.79 c #Conflicts: 367000 | #Constraints: 21835
239.46/240.13 c #Conflicts: 368000 | #Constraints: 22835
239.46/240.13 c #Conflicts: 369000 | #Constraints: 23835
239.46/240.13 c INPROCESSING
239.46/240.13 c GARBAGE COLLECT
239.46/240.13 c #Conflicts: 370000 | #Constraints: 12835
239.46/240.13 c #Conflicts: 371000 | #Constraints: 13835
239.46/240.13 c #Conflicts: 372000 | #Constraints: 14835
239.46/240.13 c #Conflicts: 373000 | #Constraints: 15835
239.46/240.13 c #Conflicts: 374000 | #Constraints: 16835
239.46/240.13 c bounds 55 >= 0 @ 238.141
239.46/240.13 c stratification level: 4
315.76/316.67 c #Conflicts: 375000 | #Constraints: 17836
315.76/316.67 c #Conflicts: 376000 | #Constraints: 18836
315.76/316.67 c #Conflicts: 377000 | #Constraints: 19836
315.76/316.67 c #Conflicts: 378000 | #Constraints: 20836
315.76/316.67 c #Conflicts: 379000 | #Constraints: 21836
315.76/316.67 c #Conflicts: 380000 | #Constraints: 22836
315.76/316.67 c #Conflicts: 381000 | #Constraints: 23836
315.76/316.67 c INPROCESSING
315.76/316.67 c GARBAGE COLLECT
315.76/316.67 c #Conflicts: 382000 | #Constraints: 12634
315.76/316.67 c #Conflicts: 383000 | #Constraints: 13634
315.76/316.67 c #Conflicts: 384000 | #Constraints: 14634
315.76/316.67 c #Conflicts: 385000 | #Constraints: 15634
315.76/316.67 c #Conflicts: 386000 | #Constraints: 16634
315.76/316.67 c #Conflicts: 387000 | #Constraints: 17634
315.76/316.67 c #Conflicts: 388000 | #Constraints: 18634
315.76/316.67 c #Conflicts: 389000 | #Constraints: 19634
315.76/316.67 c #Conflicts: 390000 | #Constraints: 20634
315.76/316.67 c #Conflicts: 391000 | #Constraints: 21634
315.76/316.67 c #Conflicts: 392000 | #Constraints: 22634
315.76/316.67 c #Conflicts: 393000 | #Constraints: 23634
315.76/316.67 c #Conflicts: 394000 | #Constraints: 24634
315.76/316.67 c INPROCESSING
315.76/316.67 c GARBAGE COLLECT
315.76/316.67 c #Conflicts: 395000 | #Constraints: 13235
315.76/316.67 c #Conflicts: 396000 | #Constraints: 14235
315.76/316.67 c #Conflicts: 397000 | #Constraints: 15235
315.76/316.67 c #Conflicts: 398000 | #Constraints: 16235
315.76/316.67 c #Conflicts: 399000 | #Constraints: 17235
315.76/316.67 c #Conflicts: 400000 | #Constraints: 18235
315.76/316.67 c #Conflicts: 401000 | #Constraints: 19235
315.76/316.67 c #Conflicts: 402000 | #Constraints: 20235
315.76/316.67 c #Conflicts: 403000 | #Constraints: 21235
315.76/316.67 c #Conflicts: 404000 | #Constraints: 22235
315.76/316.67 c #Conflicts: 405000 | #Constraints: 23235
315.76/316.67 c #Conflicts: 406000 | #Constraints: 24235
315.76/316.67 c #Conflicts: 407000 | #Constraints: 25235
315.76/316.67 c INPROCESSING
315.76/316.67 c GARBAGE COLLECT
315.76/316.67 c #Conflicts: 408000 | #Constraints: 13636
315.76/316.67 c #Conflicts: 409000 | #Constraints: 14636
315.76/316.67 c #Conflicts: 410000 | #Constraints: 15636
315.76/316.67 c #Conflicts: 411000 | #Constraints: 16636
315.76/316.67 c #Conflicts: 412000 | #Constraints: 17636
315.76/316.67 c #Conflicts: 413000 | #Constraints: 18636
315.76/316.67 c #Conflicts: 414000 | #Constraints: 19636
315.76/316.67 c #Conflicts: 415000 | #Constraints: 20636
315.76/316.67 c #Conflicts: 416000 | #Constraints: 21636
315.76/316.67 c #Conflicts: 417000 | #Constraints: 22636
315.76/316.67 c #Conflicts: 418000 | #Constraints: 23636
315.76/316.67 c #Conflicts: 419000 | #Constraints: 24636
315.76/316.67 c #Conflicts: 420000 | #Constraints: 25636
315.76/316.67 c INPROCESSING
315.76/316.67 c GARBAGE COLLECT
315.76/316.67 c #Conflicts: 421000 | #Constraints: 13834
315.76/316.67 c #Conflicts: 422000 | #Constraints: 14834
315.76/316.67 c #Conflicts: 423000 | #Constraints: 15834
315.76/316.67 c #Conflicts: 424000 | #Constraints: 16834
315.76/316.67 c #Conflicts: 425000 | #Constraints: 17834
315.76/316.67 c #Conflicts: 426000 | #Constraints: 18834
315.76/316.67 c #Conflicts: 427000 | #Constraints: 19834
315.76/316.67 c #Conflicts: 428000 | #Constraints: 20834
315.76/316.67 c #Conflicts: 429000 | #Constraints: 21834
315.76/316.67 c #Conflicts: 430000 | #Constraints: 22834
315.76/316.67 c #Conflicts: 431000 | #Constraints: 23834
315.76/316.67 c #Conflicts: 432000 | #Constraints: 24834
315.76/316.67 c #Conflicts: 433000 | #Constraints: 25834
315.76/316.67 c INPROCESSING
315.76/316.67 c GARBAGE COLLECT
315.76/316.67 c #Conflicts: 434000 | #Constraints: 13835
315.76/316.67 c #Conflicts: 435000 | #Constraints: 14835
315.76/316.67 c #Conflicts: 436000 | #Constraints: 15835
315.76/316.67 c #Conflicts: 437000 | #Constraints: 16835
315.76/316.67 c #Conflicts: 438000 | #Constraints: 17835
315.76/316.67 c #Conflicts: 439000 | #Constraints: 18835
315.76/316.67 c #Conflicts: 440000 | #Constraints: 19835
315.76/316.67 c #Conflicts: 441000 | #Constraints: 20835
315.76/316.67 c #Conflicts: 442000 | #Constraints: 21835
315.76/316.67 c #Conflicts: 443000 | #Constraints: 22835
315.76/316.67 c #Conflicts: 444000 | #Constraints: 23835
315.76/316.67 c #Conflicts: 445000 | #Constraints: 24835
315.76/316.67 c #Conflicts: 446000 | #Constraints: 25835
315.76/316.67 c INPROCESSING
315.76/316.67 c GARBAGE COLLECT
315.76/316.67 c #Conflicts: 447000 | #Constraints: 13636
315.76/316.67 c #Conflicts: 448000 | #Constraints: 14636
315.76/316.67 c #Conflicts: 449000 | #Constraints: 15636
407.13/408.20 c #Conflicts: 450000 | #Constraints: 16636
407.13/408.20 c #Conflicts: 451000 | #Constraints: 17636
407.13/408.20 c #Conflicts: 452000 | #Constraints: 18636
407.13/408.20 c #Conflicts: 453000 | #Constraints: 19636
407.13/408.20 c #Conflicts: 454000 | #Constraints: 20636
407.13/408.20 c #Conflicts: 455000 | #Constraints: 21636
407.13/408.20 c #Conflicts: 456000 | #Constraints: 22636
407.13/408.20 c #Conflicts: 457000 | #Constraints: 23636
407.13/408.20 c #Conflicts: 458000 | #Constraints: 24636
407.13/408.20 c #Conflicts: 459000 | #Constraints: 25636
407.13/408.20 c #Conflicts: 460000 | #Constraints: 26636
407.13/408.20 c INPROCESSING
407.13/408.20 c GARBAGE COLLECT
407.13/408.20 c #Conflicts: 461000 | #Constraints: 14240
407.13/408.20 c #Conflicts: 462000 | #Constraints: 15240
407.13/408.20 c #Conflicts: 463000 | #Constraints: 16240
407.13/408.20 c #Conflicts: 464000 | #Constraints: 17240
407.13/408.20 c #Conflicts: 465000 | #Constraints: 18240
407.13/408.20 c #Conflicts: 466000 | #Constraints: 19240
407.13/408.20 c #Conflicts: 467000 | #Constraints: 20240
407.13/408.20 c #Conflicts: 468000 | #Constraints: 21240
407.13/408.20 c #Conflicts: 469000 | #Constraints: 22240
407.13/408.20 c #Conflicts: 470000 | #Constraints: 23240
407.13/408.20 c #Conflicts: 471000 | #Constraints: 24240
407.13/408.20 c #Conflicts: 472000 | #Constraints: 25240
407.13/408.20 c #Conflicts: 473000 | #Constraints: 26240
407.13/408.20 c #Conflicts: 474000 | #Constraints: 27240
407.13/408.20 c INPROCESSING
407.13/408.20 c GARBAGE COLLECT
407.13/408.20 c #Conflicts: 475000 | #Constraints: 14638
407.13/408.20 c #Conflicts: 476000 | #Constraints: 15638
407.13/408.20 c #Conflicts: 477000 | #Constraints: 16638
407.13/408.20 c #Conflicts: 478000 | #Constraints: 17638
407.13/408.20 c #Conflicts: 479000 | #Constraints: 18638
407.13/408.20 c #Conflicts: 480000 | #Constraints: 19638
407.13/408.20 c #Conflicts: 481000 | #Constraints: 20638
407.13/408.20 c #Conflicts: 482000 | #Constraints: 21638
407.13/408.20 c #Conflicts: 483000 | #Constraints: 22638
407.13/408.20 c #Conflicts: 484000 | #Constraints: 23638
407.13/408.20 c #Conflicts: 485000 | #Constraints: 24638
407.13/408.20 c #Conflicts: 486000 | #Constraints: 25638
407.13/408.20 c #Conflicts: 487000 | #Constraints: 26638
407.13/408.20 c #Conflicts: 488000 | #Constraints: 27638
407.13/408.20 c INPROCESSING
407.13/408.20 c GARBAGE COLLECT
407.13/408.20 c #Conflicts: 489000 | #Constraints: 14838
407.13/408.20 c #Conflicts: 490000 | #Constraints: 15838
407.13/408.20 c #Conflicts: 491000 | #Constraints: 16838
407.13/408.20 c #Conflicts: 492000 | #Constraints: 17838
407.13/408.20 c #Conflicts: 493000 | #Constraints: 18838
407.13/408.20 c #Conflicts: 494000 | #Constraints: 19838
407.13/408.20 c #Conflicts: 495000 | #Constraints: 20838
407.13/408.20 c #Conflicts: 496000 | #Constraints: 21838
407.13/408.20 c #Conflicts: 497000 | #Constraints: 22838
407.13/408.20 c #Conflicts: 498000 | #Constraints: 23838
407.13/408.20 c #Conflicts: 499000 | #Constraints: 24838
407.13/408.20 c #Conflicts: 500000 | #Constraints: 25838
407.13/408.20 c #Conflicts: 501000 | #Constraints: 26838
407.13/408.20 c #Conflicts: 502000 | #Constraints: 27838
407.13/408.20 c INPROCESSING
407.13/408.20 c GARBAGE COLLECT
407.13/408.20 c #Conflicts: 503000 | #Constraints: 14842
407.13/408.20 c #Conflicts: 504000 | #Constraints: 15842
407.13/408.20 c #Conflicts: 505000 | #Constraints: 16842
407.13/408.20 c #Conflicts: 506000 | #Constraints: 17842
407.13/408.20 c #Conflicts: 507000 | #Constraints: 18842
407.13/408.20 c #Conflicts: 508000 | #Constraints: 19842
407.13/408.20 c #Conflicts: 509000 | #Constraints: 20842
407.13/408.20 c #Conflicts: 510000 | #Constraints: 21842
407.13/408.20 c #Conflicts: 511000 | #Constraints: 22842
407.13/408.20 c #Conflicts: 512000 | #Constraints: 23842
407.13/408.20 c #Conflicts: 513000 | #Constraints: 24842
407.13/408.20 c #Conflicts: 514000 | #Constraints: 25842
407.13/408.20 c #Conflicts: 515000 | #Constraints: 26842
407.13/408.20 c #Conflicts: 516000 | #Constraints: 27842
407.13/408.20 c INPROCESSING
407.13/408.20 c GARBAGE COLLECT
407.13/408.20 c #Conflicts: 517000 | #Constraints: 14638
407.13/408.20 c #Conflicts: 518000 | #Constraints: 15638
407.13/408.20 c #Conflicts: 519000 | #Constraints: 16638
407.13/408.20 c #Conflicts: 520000 | #Constraints: 17638
407.13/408.20 c #Conflicts: 521000 | #Constraints: 18638
407.13/408.20 c #Conflicts: 522000 | #Constraints: 19638
407.13/408.20 c #Conflicts: 523000 | #Constraints: 20638
407.13/408.20 c #Conflicts: 524000 | #Constraints: 21638
407.13/408.20 c #Conflicts: 525000 | #Constraints: 22638
499.40/500.76 c #Conflicts: 526000 | #Constraints: 23638
499.40/500.76 c #Conflicts: 527000 | #Constraints: 24638
499.40/500.76 c #Conflicts: 528000 | #Constraints: 25638
499.40/500.76 c #Conflicts: 529000 | #Constraints: 26638
499.40/500.76 c #Conflicts: 530000 | #Constraints: 27638
499.40/500.76 c #Conflicts: 531000 | #Constraints: 28638
499.40/500.76 c INPROCESSING
499.40/500.76 c GARBAGE COLLECT
499.40/500.76 c #Conflicts: 532000 | #Constraints: 15238
499.40/500.76 c #Conflicts: 533000 | #Constraints: 16238
499.40/500.76 c #Conflicts: 534000 | #Constraints: 17238
499.40/500.76 c #Conflicts: 535000 | #Constraints: 18238
499.40/500.76 c #Conflicts: 536000 | #Constraints: 19238
499.40/500.76 c #Conflicts: 537000 | #Constraints: 20238
499.40/500.76 c #Conflicts: 538000 | #Constraints: 21238
499.40/500.76 c #Conflicts: 539000 | #Constraints: 22238
499.40/500.76 c #Conflicts: 540000 | #Constraints: 23238
499.40/500.76 c #Conflicts: 541000 | #Constraints: 24238
499.40/500.76 c #Conflicts: 542000 | #Constraints: 25238
499.40/500.76 c #Conflicts: 543000 | #Constraints: 26238
499.40/500.76 c #Conflicts: 544000 | #Constraints: 27238
499.40/500.76 c #Conflicts: 545000 | #Constraints: 28238
499.40/500.76 c #Conflicts: 546000 | #Constraints: 29238
499.40/500.76 c INPROCESSING
499.40/500.76 c GARBAGE COLLECT
499.40/500.76 c #Conflicts: 547000 | #Constraints: 15636
499.40/500.76 c #Conflicts: 548000 | #Constraints: 16636
499.40/500.76 c #Conflicts: 549000 | #Constraints: 17636
499.40/500.76 c #Conflicts: 550000 | #Constraints: 18636
499.40/500.76 c #Conflicts: 551000 | #Constraints: 19636
499.40/500.76 c #Conflicts: 552000 | #Constraints: 20636
499.40/500.76 c #Conflicts: 553000 | #Constraints: 21636
499.40/500.76 c #Conflicts: 554000 | #Constraints: 22636
499.40/500.76 c #Conflicts: 555000 | #Constraints: 23636
499.40/500.76 c #Conflicts: 556000 | #Constraints: 24636
499.40/500.76 c #Conflicts: 557000 | #Constraints: 25636
499.40/500.76 c #Conflicts: 558000 | #Constraints: 26636
499.40/500.76 c #Conflicts: 559000 | #Constraints: 27636
499.40/500.76 c #Conflicts: 560000 | #Constraints: 28636
499.40/500.76 c #Conflicts: 561000 | #Constraints: 29636
499.40/500.76 c INPROCESSING
499.40/500.76 c GARBAGE COLLECT
499.40/500.76 c #Conflicts: 562000 | #Constraints: 15838
499.40/500.76 c #Conflicts: 563000 | #Constraints: 16838
499.40/500.76 c #Conflicts: 564000 | #Constraints: 17838
499.40/500.76 c #Conflicts: 565000 | #Constraints: 18838
499.40/500.76 c #Conflicts: 566000 | #Constraints: 19838
499.40/500.76 c #Conflicts: 567000 | #Constraints: 20838
499.40/500.76 c #Conflicts: 568000 | #Constraints: 21838
499.40/500.76 c #Conflicts: 569000 | #Constraints: 22838
499.40/500.76 c #Conflicts: 570000 | #Constraints: 23838
499.40/500.76 c #Conflicts: 571000 | #Constraints: 24838
499.40/500.76 c #Conflicts: 572000 | #Constraints: 25838
499.40/500.76 c #Conflicts: 573000 | #Constraints: 26838
499.40/500.76 c #Conflicts: 574000 | #Constraints: 27838
499.40/500.76 c #Conflicts: 575000 | #Constraints: 28838
499.40/500.76 c #Conflicts: 576000 | #Constraints: 29838
499.40/500.76 c INPROCESSING
499.40/500.76 c GARBAGE COLLECT
499.40/500.76 c #Conflicts: 577000 | #Constraints: 15843
499.40/500.76 c #Conflicts: 578000 | #Constraints: 16843
499.40/500.76 c #Conflicts: 579000 | #Constraints: 17843
499.40/500.76 c #Conflicts: 580000 | #Constraints: 18843
499.40/500.76 c #Conflicts: 581000 | #Constraints: 19843
499.40/500.76 c #Conflicts: 582000 | #Constraints: 20843
499.40/500.76 c #Conflicts: 583000 | #Constraints: 21843
499.40/500.76 c #Conflicts: 584000 | #Constraints: 22843
499.40/500.76 c #Conflicts: 585000 | #Constraints: 23843
499.40/500.76 c #Conflicts: 586000 | #Constraints: 24843
499.40/500.76 c #Conflicts: 587000 | #Constraints: 25843
499.40/500.76 c #Conflicts: 588000 | #Constraints: 26843
499.40/500.76 c #Conflicts: 589000 | #Constraints: 27843
499.40/500.76 c #Conflicts: 590000 | #Constraints: 28843
499.40/500.76 c #Conflicts: 591000 | #Constraints: 29843
499.40/500.76 c INPROCESSING
499.40/500.76 c GARBAGE COLLECT
499.40/500.76 c #Conflicts: 592000 | #Constraints: 15640
499.40/500.76 c #Conflicts: 593000 | #Constraints: 16640
499.40/500.76 c #Conflicts: 594000 | #Constraints: 17640
499.40/500.76 c #Conflicts: 595000 | #Constraints: 18640
499.40/500.76 c #Conflicts: 596000 | #Constraints: 19640
499.40/500.76 c #Conflicts: 597000 | #Constraints: 20640
499.40/500.76 c #Conflicts: 598000 | #Constraints: 21640
499.40/500.76 c #Conflicts: 599000 | #Constraints: 22640
499.40/500.76 c #Conflicts: 600000 | #Constraints: 23640
499.40/500.76 c #Conflicts: 601000 | #Constraints: 24640
600.22/601.82 c #Conflicts: 602000 | #Constraints: 25640
600.22/601.82 c #Conflicts: 603000 | #Constraints: 26640
600.22/601.82 c #Conflicts: 604000 | #Constraints: 27640
600.22/601.82 c #Conflicts: 605000 | #Constraints: 28640
600.22/601.82 c #Conflicts: 606000 | #Constraints: 29640
600.22/601.82 c #Conflicts: 607000 | #Constraints: 30640
600.22/601.82 c INPROCESSING
600.22/601.82 c GARBAGE COLLECT
600.22/601.82 c #Conflicts: 608000 | #Constraints: 16238
600.22/601.82 c #Conflicts: 609000 | #Constraints: 17238
600.22/601.82 c #Conflicts: 610000 | #Constraints: 18238
600.22/601.82 c #Conflicts: 611000 | #Constraints: 19238
600.22/601.82 c #Conflicts: 612000 | #Constraints: 20238
600.22/601.82 c #Conflicts: 613000 | #Constraints: 21238
600.22/601.82 c #Conflicts: 614000 | #Constraints: 22238
600.22/601.82 c #Conflicts: 615000 | #Constraints: 23238
600.22/601.82 c #Conflicts: 616000 | #Constraints: 24238
600.22/601.82 c #Conflicts: 617000 | #Constraints: 25238
600.22/601.82 c #Conflicts: 618000 | #Constraints: 26238
600.22/601.82 c #Conflicts: 619000 | #Constraints: 27238
600.22/601.82 c #Conflicts: 620000 | #Constraints: 28238
600.22/601.82 c #Conflicts: 621000 | #Constraints: 29238
600.22/601.82 c #Conflicts: 622000 | #Constraints: 30238
600.22/601.82 c #Conflicts: 623000 | #Constraints: 31238
600.22/601.82 c INPROCESSING
600.22/601.82 c GARBAGE COLLECT
600.22/601.82 c #Conflicts: 624000 | #Constraints: 16636
600.22/601.82 c #Conflicts: 625000 | #Constraints: 17636
600.22/601.82 c #Conflicts: 626000 | #Constraints: 18636
600.22/601.82 c #Conflicts: 627000 | #Constraints: 19636
600.22/601.82 c #Conflicts: 628000 | #Constraints: 20636
600.22/601.82 c #Conflicts: 629000 | #Constraints: 21636
600.22/601.82 c #Conflicts: 630000 | #Constraints: 22636
600.22/601.82 c #Conflicts: 631000 | #Constraints: 23636
600.22/601.82 c #Conflicts: 632000 | #Constraints: 24636
600.22/601.82 c #Conflicts: 633000 | #Constraints: 25636
600.22/601.82 c #Conflicts: 634000 | #Constraints: 26636
600.22/601.82 c #Conflicts: 635000 | #Constraints: 27636
600.22/601.82 c #Conflicts: 636000 | #Constraints: 28636
600.22/601.82 c #Conflicts: 637000 | #Constraints: 29636
600.22/601.82 c #Conflicts: 638000 | #Constraints: 30636
600.22/601.82 c #Conflicts: 639000 | #Constraints: 31636
600.22/601.82 c INPROCESSING
600.22/601.82 c GARBAGE COLLECT
600.22/601.82 c #Conflicts: 640000 | #Constraints: 16834
600.22/601.82 c #Conflicts: 641000 | #Constraints: 17834
600.22/601.82 c #Conflicts: 642000 | #Constraints: 18834
600.22/601.82 c #Conflicts: 643000 | #Constraints: 19834
600.22/601.82 c #Conflicts: 644000 | #Constraints: 20834
600.22/601.82 c #Conflicts: 645000 | #Constraints: 21834
600.22/601.82 c #Conflicts: 646000 | #Constraints: 22834
600.22/601.82 c #Conflicts: 647000 | #Constraints: 23834
600.22/601.82 c #Conflicts: 648000 | #Constraints: 24834
600.22/601.82 c #Conflicts: 649000 | #Constraints: 25834
600.22/601.82 c #Conflicts: 650000 | #Constraints: 26834
600.22/601.82 c #Conflicts: 651000 | #Constraints: 27834
600.22/601.82 c #Conflicts: 652000 | #Constraints: 28834
600.22/601.82 c #Conflicts: 653000 | #Constraints: 29834
600.22/601.82 c #Conflicts: 654000 | #Constraints: 30834
600.22/601.82 c #Conflicts: 655000 | #Constraints: 31834
600.22/601.82 c INPROCESSING
600.22/601.82 c GARBAGE COLLECT
600.22/601.82 c #Conflicts: 656000 | #Constraints: 16836
600.22/601.82 c #Conflicts: 657000 | #Constraints: 17836
600.22/601.82 c #Conflicts: 658000 | #Constraints: 18836
600.22/601.82 c #Conflicts: 659000 | #Constraints: 19836
600.22/601.82 c #Conflicts: 660000 | #Constraints: 20836
600.22/601.82 c #Conflicts: 661000 | #Constraints: 21836
600.22/601.82 c #Conflicts: 662000 | #Constraints: 22836
600.22/601.82 c #Conflicts: 663000 | #Constraints: 23836
600.22/601.82 c #Conflicts: 664000 | #Constraints: 24836
600.22/601.82 c #Conflicts: 665000 | #Constraints: 25836
600.22/601.82 c #Conflicts: 666000 | #Constraints: 26836
600.22/601.82 c #Conflicts: 667000 | #Constraints: 27836
600.22/601.82 c #Conflicts: 668000 | #Constraints: 28836
600.22/601.82 c #Conflicts: 669000 | #Constraints: 29836
600.22/601.82 c #Conflicts: 670000 | #Constraints: 30836
600.22/601.82 c #Conflicts: 671000 | #Constraints: 31836
600.22/601.82 c INPROCESSING
600.22/601.82 c GARBAGE COLLECT
600.22/601.82 c #Conflicts: 672000 | #Constraints: 16633
600.22/601.82 c #Conflicts: 673000 | #Constraints: 17633
600.22/601.82 c #Conflicts: 674000 | #Constraints: 18633
600.22/601.82 c #Conflicts: 675000 | #Constraints: 19633
600.22/601.82 c #Conflicts: 676000 | #Constraints: 20633
721.81/723.71 c #Conflicts: 677000 | #Constraints: 21633
721.81/723.71 c #Conflicts: 678000 | #Constraints: 22633
721.81/723.71 c #Conflicts: 679000 | #Constraints: 23633
721.81/723.71 c #Conflicts: 680000 | #Constraints: 24633
721.81/723.71 c #Conflicts: 681000 | #Constraints: 25633
721.81/723.71 c #Conflicts: 682000 | #Constraints: 26633
721.81/723.71 c #Conflicts: 683000 | #Constraints: 27633
721.81/723.71 c #Conflicts: 684000 | #Constraints: 28633
721.81/723.71 c #Conflicts: 685000 | #Constraints: 29633
721.81/723.71 c #Conflicts: 686000 | #Constraints: 30633
721.81/723.71 c #Conflicts: 687000 | #Constraints: 31633
721.81/723.71 c #Conflicts: 688000 | #Constraints: 32633
721.81/723.71 c INPROCESSING
721.81/723.71 c GARBAGE COLLECT
721.81/723.71 c #Conflicts: 689000 | #Constraints: 17233
721.81/723.71 c #Conflicts: 690000 | #Constraints: 18233
721.81/723.71 c #Conflicts: 691000 | #Constraints: 19233
721.81/723.71 c #Conflicts: 692000 | #Constraints: 20233
721.81/723.71 c #Conflicts: 693000 | #Constraints: 21233
721.81/723.71 c #Conflicts: 694000 | #Constraints: 22233
721.81/723.71 c #Conflicts: 695000 | #Constraints: 23233
721.81/723.71 c #Conflicts: 696000 | #Constraints: 24233
721.81/723.71 c #Conflicts: 697000 | #Constraints: 25233
721.81/723.71 c #Conflicts: 698000 | #Constraints: 26233
721.81/723.71 c #Conflicts: 699000 | #Constraints: 27233
721.81/723.71 c #Conflicts: 700000 | #Constraints: 28233
721.81/723.71 c #Conflicts: 701000 | #Constraints: 29233
721.81/723.71 c #Conflicts: 702000 | #Constraints: 30233
721.81/723.71 c #Conflicts: 703000 | #Constraints: 31233
721.81/723.71 c #Conflicts: 704000 | #Constraints: 32233
721.81/723.71 c #Conflicts: 705000 | #Constraints: 33233
721.81/723.71 c INPROCESSING
721.81/723.71 c GARBAGE COLLECT
721.81/723.71 c #Conflicts: 706000 | #Constraints: 17633
721.81/723.71 c #Conflicts: 707000 | #Constraints: 18633
721.81/723.71 c #Conflicts: 708000 | #Constraints: 19633
721.81/723.71 c #Conflicts: 709000 | #Constraints: 20633
721.81/723.71 c #Conflicts: 710000 | #Constraints: 21633
721.81/723.71 c #Conflicts: 711000 | #Constraints: 22633
721.81/723.71 c #Conflicts: 712000 | #Constraints: 23633
721.81/723.71 c #Conflicts: 713000 | #Constraints: 24633
721.81/723.71 c #Conflicts: 714000 | #Constraints: 25633
721.81/723.71 c #Conflicts: 715000 | #Constraints: 26633
721.81/723.71 c #Conflicts: 716000 | #Constraints: 27633
721.81/723.71 c #Conflicts: 717000 | #Constraints: 28633
721.81/723.71 c #Conflicts: 718000 | #Constraints: 29633
721.81/723.71 c #Conflicts: 719000 | #Constraints: 30633
721.81/723.71 c #Conflicts: 720000 | #Constraints: 31633
721.81/723.71 c #Conflicts: 721000 | #Constraints: 32633
721.81/723.71 c #Conflicts: 722000 | #Constraints: 33633
721.81/723.71 c INPROCESSING
721.81/723.71 c GARBAGE COLLECT
721.81/723.71 c #Conflicts: 723000 | #Constraints: 17835
721.81/723.71 c #Conflicts: 724000 | #Constraints: 18835
721.81/723.71 c #Conflicts: 725000 | #Constraints: 19835
721.81/723.71 c #Conflicts: 726000 | #Constraints: 20835
721.81/723.71 c #Conflicts: 727000 | #Constraints: 21835
721.81/723.71 c #Conflicts: 728000 | #Constraints: 22835
721.81/723.71 c #Conflicts: 729000 | #Constraints: 23835
721.81/723.71 c #Conflicts: 730000 | #Constraints: 24835
721.81/723.71 c #Conflicts: 731000 | #Constraints: 25835
721.81/723.71 c #Conflicts: 732000 | #Constraints: 26835
721.81/723.71 c #Conflicts: 733000 | #Constraints: 27835
721.81/723.71 c #Conflicts: 734000 | #Constraints: 28835
721.81/723.71 c #Conflicts: 735000 | #Constraints: 29835
721.81/723.71 c #Conflicts: 736000 | #Constraints: 30835
721.81/723.71 c #Conflicts: 737000 | #Constraints: 31835
721.81/723.71 c #Conflicts: 738000 | #Constraints: 32835
721.81/723.71 c #Conflicts: 739000 | #Constraints: 33835
721.81/723.71 c INPROCESSING
721.81/723.71 c GARBAGE COLLECT
721.81/723.71 c #Conflicts: 740000 | #Constraints: 17840
721.81/723.71 c #Conflicts: 741000 | #Constraints: 18840
721.81/723.71 c #Conflicts: 742000 | #Constraints: 19840
721.81/723.71 c #Conflicts: 743000 | #Constraints: 20840
721.81/723.71 c #Conflicts: 744000 | #Constraints: 21840
721.81/723.71 c #Conflicts: 745000 | #Constraints: 22840
721.81/723.71 c #Conflicts: 746000 | #Constraints: 23840
721.81/723.71 c #Conflicts: 747000 | #Constraints: 24840
721.81/723.71 c #Conflicts: 748000 | #Constraints: 25840
721.81/723.71 c #Conflicts: 749000 | #Constraints: 26840
721.81/723.71 c #Conflicts: 750000 | #Constraints: 27840
721.81/723.71 c #Conflicts: 751000 | #Constraints: 28840
721.81/723.71 c #Conflicts: 752000 | #Constraints: 29840
835.51/837.73 c #Conflicts: 753000 | #Constraints: 30840
835.51/837.73 c #Conflicts: 754000 | #Constraints: 31840
835.51/837.73 c #Conflicts: 755000 | #Constraints: 32840
835.51/837.73 c #Conflicts: 756000 | #Constraints: 33840
835.51/837.73 c INPROCESSING
835.51/837.73 c GARBAGE COLLECT
835.51/837.73 c #Conflicts: 757000 | #Constraints: 17640
835.51/837.73 c #Conflicts: 758000 | #Constraints: 18640
835.51/837.73 c #Conflicts: 759000 | #Constraints: 19640
835.51/837.73 c #Conflicts: 760000 | #Constraints: 20640
835.51/837.73 c #Conflicts: 761000 | #Constraints: 21640
835.51/837.73 c #Conflicts: 762000 | #Constraints: 22640
835.51/837.73 c #Conflicts: 763000 | #Constraints: 23640
835.51/837.73 c #Conflicts: 764000 | #Constraints: 24640
835.51/837.73 c #Conflicts: 765000 | #Constraints: 25640
835.51/837.73 c #Conflicts: 766000 | #Constraints: 26640
835.51/837.73 c #Conflicts: 767000 | #Constraints: 27640
835.51/837.73 c #Conflicts: 768000 | #Constraints: 28640
835.51/837.73 c #Conflicts: 769000 | #Constraints: 29640
835.51/837.73 c #Conflicts: 770000 | #Constraints: 30640
835.51/837.73 c #Conflicts: 771000 | #Constraints: 31640
835.51/837.73 c #Conflicts: 772000 | #Constraints: 32640
835.51/837.73 c #Conflicts: 773000 | #Constraints: 33640
835.51/837.73 c #Conflicts: 774000 | #Constraints: 34640
835.51/837.73 c INPROCESSING
835.51/837.73 c GARBAGE COLLECT
835.51/837.73 c #Conflicts: 775000 | #Constraints: 18236
835.51/837.73 c #Conflicts: 776000 | #Constraints: 19236
835.51/837.73 c #Conflicts: 777000 | #Constraints: 20236
835.51/837.73 c #Conflicts: 778000 | #Constraints: 21236
835.51/837.73 c #Conflicts: 779000 | #Constraints: 22236
835.51/837.73 c #Conflicts: 780000 | #Constraints: 23236
835.51/837.73 c #Conflicts: 781000 | #Constraints: 24236
835.51/837.73 c #Conflicts: 782000 | #Constraints: 25236
835.51/837.73 c #Conflicts: 783000 | #Constraints: 26236
835.51/837.73 c #Conflicts: 784000 | #Constraints: 27236
835.51/837.73 c #Conflicts: 785000 | #Constraints: 28236
835.51/837.73 c #Conflicts: 786000 | #Constraints: 29236
835.51/837.73 c #Conflicts: 787000 | #Constraints: 30236
835.51/837.73 c #Conflicts: 788000 | #Constraints: 31236
835.51/837.73 c #Conflicts: 789000 | #Constraints: 32236
835.51/837.73 c #Conflicts: 790000 | #Constraints: 33236
835.51/837.73 c #Conflicts: 791000 | #Constraints: 34236
835.51/837.73 c #Conflicts: 792000 | #Constraints: 35236
835.51/837.73 c INPROCESSING
835.51/837.73 c GARBAGE COLLECT
835.51/837.73 c #Conflicts: 793000 | #Constraints: 18634
835.51/837.73 c #Conflicts: 794000 | #Constraints: 19634
835.51/837.73 c #Conflicts: 795000 | #Constraints: 20634
835.51/837.73 c #Conflicts: 796000 | #Constraints: 21634
835.51/837.73 c #Conflicts: 797000 | #Constraints: 22634
835.51/837.73 c #Conflicts: 798000 | #Constraints: 23634
835.51/837.73 c #Conflicts: 799000 | #Constraints: 24634
835.51/837.73 c #Conflicts: 800000 | #Constraints: 25634
835.51/837.73 c #Conflicts: 801000 | #Constraints: 26634
835.51/837.73 c #Conflicts: 802000 | #Constraints: 27634
835.51/837.73 c #Conflicts: 803000 | #Constraints: 28634
835.51/837.73 c #Conflicts: 804000 | #Constraints: 29634
835.51/837.73 c #Conflicts: 805000 | #Constraints: 30634
835.51/837.73 c #Conflicts: 806000 | #Constraints: 31634
835.51/837.73 c #Conflicts: 807000 | #Constraints: 32634
835.51/837.73 c #Conflicts: 808000 | #Constraints: 33634
835.51/837.73 c #Conflicts: 809000 | #Constraints: 34634
835.51/837.73 c #Conflicts: 810000 | #Constraints: 35634
835.51/837.73 c INPROCESSING
835.51/837.73 c GARBAGE COLLECT
835.51/837.73 c #Conflicts: 811000 | #Constraints: 18836
835.51/837.73 c #Conflicts: 812000 | #Constraints: 19836
835.51/837.73 c #Conflicts: 813000 | #Constraints: 20836
835.51/837.73 c #Conflicts: 814000 | #Constraints: 21836
835.51/837.73 c #Conflicts: 815000 | #Constraints: 22836
835.51/837.73 c #Conflicts: 816000 | #Constraints: 23836
835.51/837.73 c #Conflicts: 817000 | #Constraints: 24836
835.51/837.73 c #Conflicts: 818000 | #Constraints: 25836
835.51/837.73 c #Conflicts: 819000 | #Constraints: 26836
835.51/837.73 c #Conflicts: 820000 | #Constraints: 27836
835.51/837.73 c #Conflicts: 821000 | #Constraints: 28836
835.51/837.73 c #Conflicts: 822000 | #Constraints: 29836
835.51/837.73 c #Conflicts: 823000 | #Constraints: 30836
835.51/837.73 c #Conflicts: 824000 | #Constraints: 31836
835.51/837.73 c #Conflicts: 825000 | #Constraints: 32836
835.51/837.73 c #Conflicts: 826000 | #Constraints: 33836
835.51/837.73 c #Conflicts: 827000 | #Constraints: 34836
835.51/837.73 c #Conflicts: 828000 | #Constraints: 35836
835.51/837.73 c INPROCESSING
958.00/960.58 c GARBAGE COLLECT
958.00/960.58 c #Conflicts: 829000 | #Constraints: 18834
958.00/960.58 c #Conflicts: 830000 | #Constraints: 19834
958.00/960.58 c #Conflicts: 831000 | #Constraints: 20834
958.00/960.58 c #Conflicts: 832000 | #Constraints: 21834
958.00/960.58 c #Conflicts: 833000 | #Constraints: 22834
958.00/960.58 c #Conflicts: 834000 | #Constraints: 23834
958.00/960.58 c #Conflicts: 835000 | #Constraints: 24834
958.00/960.58 c #Conflicts: 836000 | #Constraints: 25834
958.00/960.58 c #Conflicts: 837000 | #Constraints: 26834
958.00/960.58 c #Conflicts: 838000 | #Constraints: 27834
958.00/960.58 c #Conflicts: 839000 | #Constraints: 28834
958.00/960.58 c #Conflicts: 840000 | #Constraints: 29834
958.00/960.58 c #Conflicts: 841000 | #Constraints: 30834
958.00/960.58 c #Conflicts: 842000 | #Constraints: 31834
958.00/960.58 c #Conflicts: 843000 | #Constraints: 32834
958.00/960.58 c #Conflicts: 844000 | #Constraints: 33834
958.00/960.58 c #Conflicts: 845000 | #Constraints: 34834
958.00/960.58 c #Conflicts: 846000 | #Constraints: 35834
958.00/960.58 c INPROCESSING
958.00/960.58 c GARBAGE COLLECT
958.00/960.58 c #Conflicts: 847000 | #Constraints: 18634
958.00/960.58 c #Conflicts: 848000 | #Constraints: 19634
958.00/960.58 c #Conflicts: 849000 | #Constraints: 20634
958.00/960.58 c #Conflicts: 850000 | #Constraints: 21634
958.00/960.58 c #Conflicts: 851000 | #Constraints: 22634
958.00/960.58 c #Conflicts: 852000 | #Constraints: 23634
958.00/960.58 c #Conflicts: 853000 | #Constraints: 24634
958.00/960.58 c #Conflicts: 854000 | #Constraints: 25634
958.00/960.58 c #Conflicts: 855000 | #Constraints: 26634
958.00/960.58 c #Conflicts: 856000 | #Constraints: 27634
958.00/960.58 c #Conflicts: 857000 | #Constraints: 28634
958.00/960.58 c #Conflicts: 858000 | #Constraints: 29634
958.00/960.58 c #Conflicts: 859000 | #Constraints: 30634
958.00/960.58 c #Conflicts: 860000 | #Constraints: 31634
958.00/960.58 c #Conflicts: 861000 | #Constraints: 32634
958.00/960.58 c #Conflicts: 862000 | #Constraints: 33634
958.00/960.58 c #Conflicts: 863000 | #Constraints: 34634
958.00/960.58 c #Conflicts: 864000 | #Constraints: 35634
958.00/960.58 c #Conflicts: 865000 | #Constraints: 36634
958.00/960.58 c INPROCESSING
958.00/960.58 c GARBAGE COLLECT
958.00/960.58 c #Conflicts: 866000 | #Constraints: 19230
958.00/960.58 c #Conflicts: 867000 | #Constraints: 20230
958.00/960.58 c #Conflicts: 868000 | #Constraints: 21230
958.00/960.58 c #Conflicts: 869000 | #Constraints: 22230
958.00/960.58 c #Conflicts: 870000 | #Constraints: 23230
958.00/960.58 c #Conflicts: 871000 | #Constraints: 24230
958.00/960.58 c #Conflicts: 872000 | #Constraints: 25230
958.00/960.58 c #Conflicts: 873000 | #Constraints: 26230
958.00/960.58 c #Conflicts: 874000 | #Constraints: 27230
958.00/960.58 c #Conflicts: 875000 | #Constraints: 28230
958.00/960.58 c #Conflicts: 876000 | #Constraints: 29230
958.00/960.58 c #Conflicts: 877000 | #Constraints: 30230
958.00/960.58 c #Conflicts: 878000 | #Constraints: 31230
958.00/960.58 c #Conflicts: 879000 | #Constraints: 32230
958.00/960.58 c #Conflicts: 880000 | #Constraints: 33230
958.00/960.58 c #Conflicts: 881000 | #Constraints: 34230
958.00/960.58 c #Conflicts: 882000 | #Constraints: 35230
958.00/960.58 c #Conflicts: 883000 | #Constraints: 36230
958.00/960.58 c #Conflicts: 884000 | #Constraints: 37230
958.00/960.58 c INPROCESSING
958.00/960.58 c GARBAGE COLLECT
958.00/960.58 c #Conflicts: 885000 | #Constraints: 19636
958.00/960.58 c #Conflicts: 886000 | #Constraints: 20636
958.00/960.58 c #Conflicts: 887000 | #Constraints: 21636
958.00/960.58 c #Conflicts: 888000 | #Constraints: 22636
958.00/960.58 c #Conflicts: 889000 | #Constraints: 23636
958.00/960.58 c #Conflicts: 890000 | #Constraints: 24636
958.00/960.58 c #Conflicts: 891000 | #Constraints: 25636
958.00/960.58 c #Conflicts: 892000 | #Constraints: 26636
958.00/960.58 c #Conflicts: 893000 | #Constraints: 27636
958.00/960.58 c #Conflicts: 894000 | #Constraints: 28636
958.00/960.58 c #Conflicts: 895000 | #Constraints: 29636
958.00/960.58 c #Conflicts: 896000 | #Constraints: 30636
958.00/960.58 c #Conflicts: 897000 | #Constraints: 31636
958.00/960.58 c #Conflicts: 898000 | #Constraints: 32636
958.00/960.58 c #Conflicts: 899000 | #Constraints: 33636
958.00/960.58 c #Conflicts: 900000 | #Constraints: 34636
958.00/960.58 c #Conflicts: 901000 | #Constraints: 35636
958.00/960.58 c #Conflicts: 902000 | #Constraints: 36636
958.00/960.58 c #Conflicts: 903000 | #Constraints: 37636
958.00/960.58 c INPROCESSING
958.00/960.58 c GARBAGE COLLECT
958.00/960.58 c #Conflicts: 904000 | #Constraints: 19834
1100.91/1103.80 c #Conflicts: 905000 | #Constraints: 20834
1100.91/1103.80 c #Conflicts: 906000 | #Constraints: 21834
1100.91/1103.80 c #Conflicts: 907000 | #Constraints: 22834
1100.91/1103.80 c #Conflicts: 908000 | #Constraints: 23834
1100.91/1103.80 c #Conflicts: 909000 | #Constraints: 24834
1100.91/1103.80 c #Conflicts: 910000 | #Constraints: 25834
1100.91/1103.80 c #Conflicts: 911000 | #Constraints: 26834
1100.91/1103.80 c #Conflicts: 912000 | #Constraints: 27834
1100.91/1103.80 c #Conflicts: 913000 | #Constraints: 28834
1100.91/1103.80 c #Conflicts: 914000 | #Constraints: 29834
1100.91/1103.80 c #Conflicts: 915000 | #Constraints: 30834
1100.91/1103.80 c #Conflicts: 916000 | #Constraints: 31834
1100.91/1103.80 c #Conflicts: 917000 | #Constraints: 32834
1100.91/1103.80 c #Conflicts: 918000 | #Constraints: 33834
1100.91/1103.80 c #Conflicts: 919000 | #Constraints: 34834
1100.91/1103.80 c #Conflicts: 920000 | #Constraints: 35834
1100.91/1103.80 c #Conflicts: 921000 | #Constraints: 36834
1100.91/1103.80 c #Conflicts: 922000 | #Constraints: 37834
1100.91/1103.80 c INPROCESSING
1100.91/1103.80 c GARBAGE COLLECT
1100.91/1103.80 c #Conflicts: 923000 | #Constraints: 19833
1100.91/1103.80 c #Conflicts: 924000 | #Constraints: 20833
1100.91/1103.80 c #Conflicts: 925000 | #Constraints: 21833
1100.91/1103.80 c #Conflicts: 926000 | #Constraints: 22833
1100.91/1103.80 c #Conflicts: 927000 | #Constraints: 23833
1100.91/1103.80 c #Conflicts: 928000 | #Constraints: 24833
1100.91/1103.80 c #Conflicts: 929000 | #Constraints: 25833
1100.91/1103.80 c #Conflicts: 930000 | #Constraints: 26833
1100.91/1103.80 c #Conflicts: 931000 | #Constraints: 27833
1100.91/1103.80 c #Conflicts: 932000 | #Constraints: 28833
1100.91/1103.80 c #Conflicts: 933000 | #Constraints: 29833
1100.91/1103.80 c #Conflicts: 934000 | #Constraints: 30833
1100.91/1103.80 c #Conflicts: 935000 | #Constraints: 31833
1100.91/1103.80 c #Conflicts: 936000 | #Constraints: 32833
1100.91/1103.80 c #Conflicts: 937000 | #Constraints: 33833
1100.91/1103.80 c #Conflicts: 938000 | #Constraints: 34833
1100.91/1103.80 c #Conflicts: 939000 | #Constraints: 35833
1100.91/1103.80 c #Conflicts: 940000 | #Constraints: 36833
1100.91/1103.80 c #Conflicts: 941000 | #Constraints: 37833
1100.91/1103.80 c INPROCESSING
1100.91/1103.80 c GARBAGE COLLECT
1100.91/1103.80 c #Conflicts: 942000 | #Constraints: 19634
1100.91/1103.80 c #Conflicts: 943000 | #Constraints: 20634
1100.91/1103.80 c #Conflicts: 944000 | #Constraints: 21634
1100.91/1103.80 c #Conflicts: 945000 | #Constraints: 22634
1100.91/1103.80 c #Conflicts: 946000 | #Constraints: 23634
1100.91/1103.80 c #Conflicts: 947000 | #Constraints: 24634
1100.91/1103.80 c #Conflicts: 948000 | #Constraints: 25634
1100.91/1103.80 c #Conflicts: 949000 | #Constraints: 26634
1100.91/1103.80 c #Conflicts: 950000 | #Constraints: 27634
1100.91/1103.80 c #Conflicts: 951000 | #Constraints: 28634
1100.91/1103.80 c #Conflicts: 952000 | #Constraints: 29634
1100.91/1103.80 c #Conflicts: 953000 | #Constraints: 30634
1100.91/1103.80 c #Conflicts: 954000 | #Constraints: 31634
1100.91/1103.80 c #Conflicts: 955000 | #Constraints: 32634
1100.91/1103.80 c #Conflicts: 956000 | #Constraints: 33634
1100.91/1103.80 c #Conflicts: 957000 | #Constraints: 34634
1100.91/1103.80 c #Conflicts: 958000 | #Constraints: 35634
1100.91/1103.80 c #Conflicts: 959000 | #Constraints: 36634
1100.91/1103.80 c #Conflicts: 960000 | #Constraints: 37634
1100.91/1103.80 c #Conflicts: 961000 | #Constraints: 38634
1100.91/1103.80 c INPROCESSING
1100.91/1103.80 c GARBAGE COLLECT
1100.91/1103.80 c #Conflicts: 962000 | #Constraints: 20237
1100.91/1103.80 c #Conflicts: 963000 | #Constraints: 21237
1100.91/1103.80 c #Conflicts: 964000 | #Constraints: 22237
1100.91/1103.80 c #Conflicts: 965000 | #Constraints: 23237
1100.91/1103.80 c #Conflicts: 966000 | #Constraints: 24237
1100.91/1103.80 c #Conflicts: 967000 | #Constraints: 25237
1100.91/1103.80 c #Conflicts: 968000 | #Constraints: 26237
1100.91/1103.80 c #Conflicts: 969000 | #Constraints: 27237
1100.91/1103.80 c #Conflicts: 970000 | #Constraints: 28237
1100.91/1103.80 c #Conflicts: 971000 | #Constraints: 29237
1100.91/1103.80 c #Conflicts: 972000 | #Constraints: 30237
1100.91/1103.80 c #Conflicts: 973000 | #Constraints: 31237
1100.91/1103.80 c #Conflicts: 974000 | #Constraints: 32237
1100.91/1103.80 c #Conflicts: 975000 | #Constraints: 33237
1100.91/1103.80 c #Conflicts: 976000 | #Constraints: 34237
1100.91/1103.80 c #Conflicts: 977000 | #Constraints: 35237
1100.91/1103.80 c #Conflicts: 978000 | #Constraints: 36237
1100.91/1103.80 c #Conflicts: 979000 | #Constraints: 37237
1100.91/1103.80 c #Conflicts: 980000 | #Constraints: 38237
1100.91/1103.80 c #Conflicts: 981000 | #Constraints: 39237
1273.36/1276.79 c INPROCESSING
1273.36/1276.79 c GARBAGE COLLECT
1273.36/1276.79 c #Conflicts: 982000 | #Constraints: 20638
1273.36/1276.79 c #Conflicts: 983000 | #Constraints: 21638
1273.36/1276.79 c #Conflicts: 984000 | #Constraints: 22638
1273.36/1276.79 c #Conflicts: 985000 | #Constraints: 23638
1273.36/1276.79 c #Conflicts: 986000 | #Constraints: 24638
1273.36/1276.79 c #Conflicts: 987000 | #Constraints: 25638
1273.36/1276.79 c #Conflicts: 988000 | #Constraints: 26638
1273.36/1276.79 c #Conflicts: 989000 | #Constraints: 27638
1273.36/1276.79 c #Conflicts: 990000 | #Constraints: 28638
1273.36/1276.79 c #Conflicts: 991000 | #Constraints: 29638
1273.36/1276.79 c #Conflicts: 992000 | #Constraints: 30638
1273.36/1276.79 c #Conflicts: 993000 | #Constraints: 31638
1273.36/1276.79 c #Conflicts: 994000 | #Constraints: 32638
1273.36/1276.79 c #Conflicts: 995000 | #Constraints: 33638
1273.36/1276.79 c #Conflicts: 996000 | #Constraints: 34638
1273.36/1276.79 c #Conflicts: 997000 | #Constraints: 35638
1273.36/1276.79 c #Conflicts: 998000 | #Constraints: 36638
1273.36/1276.79 c #Conflicts: 999000 | #Constraints: 37638
1273.36/1276.79 c #Conflicts: 1000000 | #Constraints: 38638
1273.36/1276.79 c #Conflicts: 1001000 | #Constraints: 39638
1273.36/1276.79 c INPROCESSING
1273.36/1276.79 c GARBAGE COLLECT
1273.36/1276.79 c #Conflicts: 1002000 | #Constraints: 20843
1273.36/1276.79 c #Conflicts: 1003000 | #Constraints: 21843
1273.36/1276.79 c #Conflicts: 1004000 | #Constraints: 22843
1273.36/1276.79 c #Conflicts: 1005000 | #Constraints: 23843
1273.36/1276.79 c #Conflicts: 1006000 | #Constraints: 24843
1273.36/1276.79 c #Conflicts: 1007000 | #Constraints: 25843
1273.36/1276.79 c #Conflicts: 1008000 | #Constraints: 26843
1273.36/1276.79 c #Conflicts: 1009000 | #Constraints: 27843
1273.36/1276.79 c #Conflicts: 1010000 | #Constraints: 28843
1273.36/1276.79 c #Conflicts: 1011000 | #Constraints: 29843
1273.36/1276.79 c #Conflicts: 1012000 | #Constraints: 30843
1273.36/1276.79 c #Conflicts: 1013000 | #Constraints: 31843
1273.36/1276.79 c #Conflicts: 1014000 | #Constraints: 32843
1273.36/1276.79 c #Conflicts: 1015000 | #Constraints: 33843
1273.36/1276.79 c #Conflicts: 1016000 | #Constraints: 34843
1273.36/1276.79 c #Conflicts: 1017000 | #Constraints: 35843
1273.36/1276.79 c #Conflicts: 1018000 | #Constraints: 36843
1273.36/1276.79 c #Conflicts: 1019000 | #Constraints: 37843
1273.36/1276.79 c #Conflicts: 1020000 | #Constraints: 38843
1273.36/1276.79 c #Conflicts: 1021000 | #Constraints: 39843
1273.36/1276.79 c INPROCESSING
1273.36/1276.79 c GARBAGE COLLECT
1273.36/1276.79 c #Conflicts: 1022000 | #Constraints: 20843
1273.36/1276.79 c #Conflicts: 1023000 | #Constraints: 21843
1273.36/1276.79 c #Conflicts: 1024000 | #Constraints: 22843
1273.36/1276.79 c #Conflicts: 1025000 | #Constraints: 23843
1273.36/1276.79 c #Conflicts: 1026000 | #Constraints: 24843
1273.36/1276.79 c #Conflicts: 1027000 | #Constraints: 25843
1273.36/1276.79 c #Conflicts: 1028000 | #Constraints: 26843
1273.36/1276.79 c #Conflicts: 1029000 | #Constraints: 27843
1273.36/1276.79 c #Conflicts: 1030000 | #Constraints: 28843
1273.36/1276.79 c #Conflicts: 1031000 | #Constraints: 29843
1273.36/1276.79 c #Conflicts: 1032000 | #Constraints: 30843
1273.36/1276.79 c #Conflicts: 1033000 | #Constraints: 31843
1273.36/1276.79 c #Conflicts: 1034000 | #Constraints: 32843
1273.36/1276.79 c #Conflicts: 1035000 | #Constraints: 33843
1273.36/1276.79 c #Conflicts: 1036000 | #Constraints: 34843
1273.36/1276.79 c #Conflicts: 1037000 | #Constraints: 35843
1273.36/1276.79 c #Conflicts: 1038000 | #Constraints: 36843
1273.36/1276.79 c #Conflicts: 1039000 | #Constraints: 37843
1273.36/1276.79 c #Conflicts: 1040000 | #Constraints: 38843
1273.36/1276.79 c #Conflicts: 1041000 | #Constraints: 39843
1273.36/1276.79 c INPROCESSING
1273.36/1276.79 c GARBAGE COLLECT
1273.36/1276.79 c #Conflicts: 1042000 | #Constraints: 20641
1273.36/1276.79 c #Conflicts: 1043000 | #Constraints: 21641
1273.36/1276.79 c #Conflicts: 1044000 | #Constraints: 22641
1273.36/1276.79 c #Conflicts: 1045000 | #Constraints: 23641
1273.36/1276.79 c #Conflicts: 1046000 | #Constraints: 24641
1273.36/1276.79 c #Conflicts: 1047000 | #Constraints: 25641
1273.36/1276.79 c #Conflicts: 1048000 | #Constraints: 26641
1273.36/1276.79 c #Conflicts: 1049000 | #Constraints: 27641
1273.36/1276.79 c #Conflicts: 1050000 | #Constraints: 28641
1273.36/1276.79 c #Conflicts: 1051000 | #Constraints: 29641
1273.36/1276.79 c #Conflicts: 1052000 | #Constraints: 30641
1273.36/1276.79 c #Conflicts: 1053000 | #Constraints: 31641
1273.36/1276.79 c #Conflicts: 1054000 | #Constraints: 32641
1273.36/1276.79 c #Conflicts: 1055000 | #Constraints: 33641
1273.36/1276.79 c #Conflicts: 1056000 | #Constraints: 34641
1273.36/1276.79 c #Conflicts: 1057000 | #Constraints: 35641
1458.79/1462.65 c #Conflicts: 1058000 | #Constraints: 36641
1458.79/1462.65 c #Conflicts: 1059000 | #Constraints: 37641
1458.79/1462.65 c #Conflicts: 1060000 | #Constraints: 38641
1458.79/1462.65 c #Conflicts: 1061000 | #Constraints: 39641
1458.79/1462.65 c #Conflicts: 1062000 | #Constraints: 40641
1458.79/1462.65 c INPROCESSING
1458.79/1462.65 c GARBAGE COLLECT
1458.79/1462.65 c #Conflicts: 1063000 | #Constraints: 21241
1458.79/1462.65 c #Conflicts: 1064000 | #Constraints: 22241
1458.79/1462.65 c #Conflicts: 1065000 | #Constraints: 23241
1458.79/1462.65 c #Conflicts: 1066000 | #Constraints: 24241
1458.79/1462.65 c #Conflicts: 1067000 | #Constraints: 25241
1458.79/1462.65 c #Conflicts: 1068000 | #Constraints: 26241
1458.79/1462.65 c #Conflicts: 1069000 | #Constraints: 27241
1458.79/1462.65 c #Conflicts: 1070000 | #Constraints: 28241
1458.79/1462.65 c #Conflicts: 1071000 | #Constraints: 29241
1458.79/1462.65 c #Conflicts: 1072000 | #Constraints: 30241
1458.79/1462.65 c #Conflicts: 1073000 | #Constraints: 31241
1458.79/1462.65 c #Conflicts: 1074000 | #Constraints: 32241
1458.79/1462.65 c #Conflicts: 1075000 | #Constraints: 33241
1458.79/1462.65 c #Conflicts: 1076000 | #Constraints: 34241
1458.79/1462.65 c #Conflicts: 1077000 | #Constraints: 35241
1458.79/1462.65 c #Conflicts: 1078000 | #Constraints: 36241
1458.79/1462.65 c #Conflicts: 1079000 | #Constraints: 37241
1458.79/1462.65 c #Conflicts: 1080000 | #Constraints: 38241
1458.79/1462.65 c #Conflicts: 1081000 | #Constraints: 39241
1458.79/1462.65 c #Conflicts: 1082000 | #Constraints: 40241
1458.79/1462.65 c #Conflicts: 1083000 | #Constraints: 41241
1458.79/1462.65 c INPROCESSING
1458.79/1462.65 c GARBAGE COLLECT
1458.79/1462.65 c #Conflicts: 1084000 | #Constraints: 21641
1458.79/1462.65 c #Conflicts: 1085000 | #Constraints: 22641
1458.79/1462.65 c #Conflicts: 1086000 | #Constraints: 23641
1458.79/1462.65 c #Conflicts: 1087000 | #Constraints: 24641
1458.79/1462.65 c #Conflicts: 1088000 | #Constraints: 25641
1458.79/1462.65 c #Conflicts: 1089000 | #Constraints: 26641
1458.79/1462.65 c #Conflicts: 1090000 | #Constraints: 27641
1458.79/1462.65 c #Conflicts: 1091000 | #Constraints: 28641
1458.79/1462.65 c #Conflicts: 1092000 | #Constraints: 29641
1458.79/1462.65 c #Conflicts: 1093000 | #Constraints: 30641
1458.79/1462.65 c #Conflicts: 1094000 | #Constraints: 31641
1458.79/1462.65 c #Conflicts: 1095000 | #Constraints: 32641
1458.79/1462.65 c #Conflicts: 1096000 | #Constraints: 33641
1458.79/1462.65 c #Conflicts: 1097000 | #Constraints: 34641
1458.79/1462.65 c #Conflicts: 1098000 | #Constraints: 35641
1458.79/1462.65 c #Conflicts: 1099000 | #Constraints: 36641
1458.79/1462.65 c #Conflicts: 1100000 | #Constraints: 37641
1458.79/1462.65 c #Conflicts: 1101000 | #Constraints: 38641
1458.79/1462.65 c #Conflicts: 1102000 | #Constraints: 39641
1458.79/1462.65 c #Conflicts: 1103000 | #Constraints: 40641
1458.79/1462.65 c #Conflicts: 1104000 | #Constraints: 41641
1458.79/1462.65 c INPROCESSING
1458.79/1462.65 c GARBAGE COLLECT
1458.79/1462.65 c #Conflicts: 1105000 | #Constraints: 21842
1458.79/1462.65 c #Conflicts: 1106000 | #Constraints: 22842
1458.79/1462.65 c #Conflicts: 1107000 | #Constraints: 23842
1458.79/1462.65 c #Conflicts: 1108000 | #Constraints: 24842
1458.79/1462.65 c #Conflicts: 1109000 | #Constraints: 25842
1458.79/1462.65 c #Conflicts: 1110000 | #Constraints: 26842
1458.79/1462.65 c #Conflicts: 1111000 | #Constraints: 27842
1458.79/1462.65 c #Conflicts: 1112000 | #Constraints: 28842
1458.79/1462.65 c #Conflicts: 1113000 | #Constraints: 29842
1458.79/1462.65 c #Conflicts: 1114000 | #Constraints: 30842
1458.79/1462.65 c #Conflicts: 1115000 | #Constraints: 31842
1458.79/1462.65 c #Conflicts: 1116000 | #Constraints: 32842
1458.79/1462.65 c #Conflicts: 1117000 | #Constraints: 33842
1458.79/1462.65 c #Conflicts: 1118000 | #Constraints: 34842
1458.79/1462.65 c #Conflicts: 1119000 | #Constraints: 35842
1458.79/1462.65 c #Conflicts: 1120000 | #Constraints: 36842
1458.79/1462.65 c #Conflicts: 1121000 | #Constraints: 37842
1458.79/1462.65 c #Conflicts: 1122000 | #Constraints: 38842
1458.79/1462.65 c #Conflicts: 1123000 | #Constraints: 39842
1458.79/1462.65 c #Conflicts: 1124000 | #Constraints: 40842
1458.79/1462.65 c #Conflicts: 1125000 | #Constraints: 41842
1458.79/1462.65 c INPROCESSING
1458.79/1462.65 c GARBAGE COLLECT
1458.79/1462.65 c #Conflicts: 1126000 | #Constraints: 21840
1458.79/1462.65 c #Conflicts: 1127000 | #Constraints: 22840
1458.79/1462.65 c #Conflicts: 1128000 | #Constraints: 23840
1458.79/1462.65 c #Conflicts: 1129000 | #Constraints: 24840
1458.79/1462.65 c #Conflicts: 1130000 | #Constraints: 25840
1458.79/1462.65 c #Conflicts: 1131000 | #Constraints: 26840
1458.79/1462.65 c #Conflicts: 1132000 | #Constraints: 27840
1458.79/1462.65 c #Conflicts: 1133000 | #Constraints: 28840
1458.79/1462.65 c #Conflicts: 1134000 | #Constraints: 29840
1606.31/1610.51 c #Conflicts: 1135000 | #Constraints: 30840
1606.31/1610.51 c #Conflicts: 1136000 | #Constraints: 31840
1606.31/1610.51 c #Conflicts: 1137000 | #Constraints: 32840
1606.31/1610.51 c #Conflicts: 1138000 | #Constraints: 33840
1606.31/1610.51 c #Conflicts: 1139000 | #Constraints: 34840
1606.31/1610.51 c #Conflicts: 1140000 | #Constraints: 35840
1606.31/1610.51 c #Conflicts: 1141000 | #Constraints: 36840
1606.31/1610.51 c #Conflicts: 1142000 | #Constraints: 37840
1606.31/1610.51 c #Conflicts: 1143000 | #Constraints: 38840
1606.31/1610.51 c #Conflicts: 1144000 | #Constraints: 39840
1606.31/1610.51 c #Conflicts: 1145000 | #Constraints: 40840
1606.31/1610.51 c #Conflicts: 1146000 | #Constraints: 41840
1606.31/1610.51 c INPROCESSING
1606.31/1610.51 c GARBAGE COLLECT
1606.31/1610.51 c #Conflicts: 1147000 | #Constraints: 21637
1606.31/1610.51 c #Conflicts: 1148000 | #Constraints: 22637
1606.31/1610.51 c #Conflicts: 1149000 | #Constraints: 23637
1606.31/1610.51 c #Conflicts: 1150000 | #Constraints: 24637
1606.31/1610.51 c #Conflicts: 1151000 | #Constraints: 25637
1606.31/1610.51 c #Conflicts: 1152000 | #Constraints: 26637
1606.31/1610.51 c #Conflicts: 1153000 | #Constraints: 27637
1606.31/1610.51 c #Conflicts: 1154000 | #Constraints: 28637
1606.31/1610.51 c #Conflicts: 1155000 | #Constraints: 29637
1606.31/1610.51 c #Conflicts: 1156000 | #Constraints: 30637
1606.31/1610.51 c #Conflicts: 1157000 | #Constraints: 31637
1606.31/1610.51 c #Conflicts: 1158000 | #Constraints: 32637
1606.31/1610.51 c #Conflicts: 1159000 | #Constraints: 33637
1606.31/1610.51 c #Conflicts: 1160000 | #Constraints: 34637
1606.31/1610.51 c #Conflicts: 1161000 | #Constraints: 35637
1606.31/1610.51 c #Conflicts: 1162000 | #Constraints: 36637
1606.31/1610.51 c #Conflicts: 1163000 | #Constraints: 37637
1606.31/1610.51 c #Conflicts: 1164000 | #Constraints: 38637
1606.31/1610.51 c #Conflicts: 1165000 | #Constraints: 39637
1606.31/1610.51 c #Conflicts: 1166000 | #Constraints: 40637
1606.31/1610.51 c #Conflicts: 1167000 | #Constraints: 41637
1606.31/1610.51 c #Conflicts: 1168000 | #Constraints: 42637
1606.31/1610.51 c INPROCESSING
1606.31/1610.51 c GARBAGE COLLECT
1606.31/1610.51 c #Conflicts: 1169000 | #Constraints: 22238
1606.31/1610.51 c #Conflicts: 1170000 | #Constraints: 23238
1606.31/1610.51 c #Conflicts: 1171000 | #Constraints: 24238
1606.31/1610.51 c #Conflicts: 1172000 | #Constraints: 25238
1606.31/1610.51 c #Conflicts: 1173000 | #Constraints: 26238
1606.31/1610.51 c #Conflicts: 1174000 | #Constraints: 27238
1606.31/1610.51 c #Conflicts: 1175000 | #Constraints: 28238
1606.31/1610.51 c #Conflicts: 1176000 | #Constraints: 29238
1606.31/1610.51 c #Conflicts: 1177000 | #Constraints: 30238
1606.31/1610.51 c #Conflicts: 1178000 | #Constraints: 31238
1606.31/1610.51 c #Conflicts: 1179000 | #Constraints: 32238
1606.31/1610.51 c #Conflicts: 1180000 | #Constraints: 33238
1606.31/1610.51 c #Conflicts: 1181000 | #Constraints: 34238
1606.31/1610.51 c #Conflicts: 1182000 | #Constraints: 35238
1606.31/1610.51 c #Conflicts: 1183000 | #Constraints: 36238
1606.31/1610.51 c #Conflicts: 1184000 | #Constraints: 37238
1606.31/1610.51 c #Conflicts: 1185000 | #Constraints: 38238
1606.31/1610.51 c #Conflicts: 1186000 | #Constraints: 39238
1606.31/1610.51 c #Conflicts: 1187000 | #Constraints: 40238
1606.31/1610.51 c #Conflicts: 1188000 | #Constraints: 41238
1606.31/1610.51 c #Conflicts: 1189000 | #Constraints: 42238
1606.31/1610.51 c #Conflicts: 1190000 | #Constraints: 43238
1606.31/1610.51 c INPROCESSING
1606.31/1610.51 c GARBAGE COLLECT
1606.31/1610.51 c #Conflicts: 1191000 | #Constraints: 22641
1606.31/1610.51 c #Conflicts: 1192000 | #Constraints: 23641
1606.31/1610.51 c #Conflicts: 1193000 | #Constraints: 24641
1606.31/1610.51 c #Conflicts: 1194000 | #Constraints: 25641
1606.31/1610.51 c #Conflicts: 1195000 | #Constraints: 26641
1606.31/1610.51 c #Conflicts: 1196000 | #Constraints: 27641
1606.31/1610.51 c #Conflicts: 1197000 | #Constraints: 28641
1606.31/1610.51 c #Conflicts: 1198000 | #Constraints: 29641
1606.31/1610.51 c #Conflicts: 1199000 | #Constraints: 30641
1606.31/1610.51 c #Conflicts: 1200000 | #Constraints: 31641
1606.31/1610.51 c #Conflicts: 1201000 | #Constraints: 32641
1606.31/1610.51 c #Conflicts: 1202000 | #Constraints: 33641
1606.31/1610.51 c #Conflicts: 1203000 | #Constraints: 34641
1606.31/1610.51 c #Conflicts: 1204000 | #Constraints: 35641
1606.31/1610.51 c #Conflicts: 1205000 | #Constraints: 36641
1606.31/1610.51 c #Conflicts: 1206000 | #Constraints: 37641
1606.31/1610.51 c #Conflicts: 1207000 | #Constraints: 38641
1606.31/1610.51 c #Conflicts: 1208000 | #Constraints: 39641
1606.31/1610.51 c #Conflicts: 1209000 | #Constraints: 40641
1606.31/1610.51 c #Conflicts: 1210000 | #Constraints: 41641
1764.71/1769.38 c #Conflicts: 1211000 | #Constraints: 42641
1764.71/1769.38 c #Conflicts: 1212000 | #Constraints: 43641
1764.71/1769.38 c INPROCESSING
1764.71/1769.38 c GARBAGE COLLECT
1764.71/1769.38 c #Conflicts: 1213000 | #Constraints: 22839
1764.71/1769.38 c #Conflicts: 1214000 | #Constraints: 23839
1764.71/1769.38 c #Conflicts: 1215000 | #Constraints: 24839
1764.71/1769.38 c #Conflicts: 1216000 | #Constraints: 25839
1764.71/1769.38 c #Conflicts: 1217000 | #Constraints: 26839
1764.71/1769.38 c #Conflicts: 1218000 | #Constraints: 27839
1764.71/1769.38 c #Conflicts: 1219000 | #Constraints: 28839
1764.71/1769.38 c #Conflicts: 1220000 | #Constraints: 29839
1764.71/1769.38 c #Conflicts: 1221000 | #Constraints: 30839
1764.71/1769.38 c #Conflicts: 1222000 | #Constraints: 31839
1764.71/1769.38 c #Conflicts: 1223000 | #Constraints: 32839
1764.71/1769.38 c #Conflicts: 1224000 | #Constraints: 33839
1764.71/1769.38 c #Conflicts: 1225000 | #Constraints: 34839
1764.71/1769.38 c #Conflicts: 1226000 | #Constraints: 35839
1764.71/1769.38 c #Conflicts: 1227000 | #Constraints: 36839
1764.71/1769.38 c #Conflicts: 1228000 | #Constraints: 37839
1764.71/1769.38 c #Conflicts: 1229000 | #Constraints: 38839
1764.71/1769.38 c #Conflicts: 1230000 | #Constraints: 39839
1764.71/1769.38 c #Conflicts: 1231000 | #Constraints: 40839
1764.71/1769.38 c #Conflicts: 1232000 | #Constraints: 41839
1764.71/1769.38 c #Conflicts: 1233000 | #Constraints: 42839
1764.71/1769.38 c #Conflicts: 1234000 | #Constraints: 43839
1764.71/1769.38 c INPROCESSING
1764.71/1769.38 c GARBAGE COLLECT
1764.71/1769.38 c #Conflicts: 1235000 | #Constraints: 22841
1764.71/1769.38 c #Conflicts: 1236000 | #Constraints: 23841
1764.71/1769.38 c #Conflicts: 1237000 | #Constraints: 24841
1764.71/1769.38 c #Conflicts: 1238000 | #Constraints: 25841
1764.71/1769.38 c #Conflicts: 1239000 | #Constraints: 26841
1764.71/1769.38 c #Conflicts: 1240000 | #Constraints: 27841
1764.71/1769.38 c #Conflicts: 1241000 | #Constraints: 28841
1764.71/1769.38 c #Conflicts: 1242000 | #Constraints: 29841
1764.71/1769.38 c #Conflicts: 1243000 | #Constraints: 30841
1764.71/1769.38 c #Conflicts: 1244000 | #Constraints: 31841
1764.71/1769.38 c #Conflicts: 1245000 | #Constraints: 32841
1764.71/1769.38 c #Conflicts: 1246000 | #Constraints: 33841
1764.71/1769.38 c #Conflicts: 1247000 | #Constraints: 34841
1764.71/1769.38 c #Conflicts: 1248000 | #Constraints: 35841
1764.71/1769.38 c #Conflicts: 1249000 | #Constraints: 36841
1764.71/1769.38 c #Conflicts: 1250000 | #Constraints: 37841
1764.71/1769.38 c #Conflicts: 1251000 | #Constraints: 38841
1764.71/1769.38 c #Conflicts: 1252000 | #Constraints: 39841
1764.71/1769.38 c #Conflicts: 1253000 | #Constraints: 40841
1764.71/1769.38 c #Conflicts: 1254000 | #Constraints: 41841
1764.71/1769.38 c #Conflicts: 1255000 | #Constraints: 42841
1764.71/1769.38 c #Conflicts: 1256000 | #Constraints: 43841
1764.71/1769.38 c INPROCESSING
1764.71/1769.38 c GARBAGE COLLECT
1764.71/1769.38 c #Conflicts: 1257000 | #Constraints: 22636
1764.71/1769.38 c #Conflicts: 1258000 | #Constraints: 23636
1764.71/1769.38 c #Conflicts: 1259000 | #Constraints: 24636
1764.71/1769.38 c #Conflicts: 1260000 | #Constraints: 25636
1764.71/1769.38 c #Conflicts: 1261000 | #Constraints: 26636
1764.71/1769.38 c #Conflicts: 1262000 | #Constraints: 27636
1764.71/1769.38 c #Conflicts: 1263000 | #Constraints: 28636
1764.71/1769.38 c #Conflicts: 1264000 | #Constraints: 29636
1764.71/1769.38 c #Conflicts: 1265000 | #Constraints: 30636
1764.71/1769.38 c #Conflicts: 1266000 | #Constraints: 31636
1764.71/1769.38 c #Conflicts: 1267000 | #Constraints: 32636
1764.71/1769.38 c #Conflicts: 1268000 | #Constraints: 33636
1764.71/1769.38 c #Conflicts: 1269000 | #Constraints: 34636
1764.71/1769.38 c #Conflicts: 1270000 | #Constraints: 35636
1764.71/1769.38 c #Conflicts: 1271000 | #Constraints: 36636
1764.71/1769.38 c #Conflicts: 1272000 | #Constraints: 37636
1764.71/1769.38 c #Conflicts: 1273000 | #Constraints: 38636
1764.71/1769.38 c #Conflicts: 1274000 | #Constraints: 39636
1764.71/1769.38 c #Conflicts: 1275000 | #Constraints: 40636
1764.71/1769.38 c #Conflicts: 1276000 | #Constraints: 41636
1764.71/1769.38 c #Conflicts: 1277000 | #Constraints: 42636
1764.71/1769.38 c #Conflicts: 1278000 | #Constraints: 43636
1764.71/1769.38 c #Conflicts: 1279000 | #Constraints: 44636
1764.71/1769.38 c INPROCESSING
1764.71/1769.38 c GARBAGE COLLECT
1764.71/1769.38 c #Conflicts: 1280000 | #Constraints: 23235
1764.71/1769.38 c #Conflicts: 1281000 | #Constraints: 24235
1764.71/1769.38 c #Conflicts: 1282000 | #Constraints: 25235
1764.71/1769.38 c #Conflicts: 1283000 | #Constraints: 26235
1764.71/1769.38 c #Conflicts: 1284000 | #Constraints: 27235
1764.71/1769.38 c #Conflicts: 1285000 | #Constraints: 28235
1764.71/1769.38 c #Conflicts: 1286000 | #Constraints: 29235
1764.71/1769.38 c #Conflicts: 1287000 | #Constraints: 30235
1946.33/1951.47 c #Conflicts: 1288000 | #Constraints: 31235
1946.33/1951.47 c #Conflicts: 1289000 | #Constraints: 32235
1946.33/1951.47 c #Conflicts: 1290000 | #Constraints: 33235
1946.33/1951.47 c #Conflicts: 1291000 | #Constraints: 34235
1946.33/1951.47 c #Conflicts: 1292000 | #Constraints: 35235
1946.33/1951.47 c #Conflicts: 1293000 | #Constraints: 36235
1946.33/1951.47 c #Conflicts: 1294000 | #Constraints: 37235
1946.33/1951.47 c #Conflicts: 1295000 | #Constraints: 38235
1946.33/1951.47 c #Conflicts: 1296000 | #Constraints: 39235
1946.33/1951.47 c #Conflicts: 1297000 | #Constraints: 40235
1946.33/1951.47 c #Conflicts: 1298000 | #Constraints: 41235
1946.33/1951.47 c #Conflicts: 1299000 | #Constraints: 42235
1946.33/1951.47 c #Conflicts: 1300000 | #Constraints: 43235
1946.33/1951.47 c #Conflicts: 1301000 | #Constraints: 44235
1946.33/1951.47 c #Conflicts: 1302000 | #Constraints: 45235
1946.33/1951.47 c INPROCESSING
1946.33/1951.47 c GARBAGE COLLECT
1946.33/1951.47 c #Conflicts: 1303000 | #Constraints: 23634
1946.33/1951.47 c #Conflicts: 1304000 | #Constraints: 24634
1946.33/1951.47 c #Conflicts: 1305000 | #Constraints: 25634
1946.33/1951.47 c #Conflicts: 1306000 | #Constraints: 26634
1946.33/1951.47 c #Conflicts: 1307000 | #Constraints: 27634
1946.33/1951.47 c #Conflicts: 1308000 | #Constraints: 28634
1946.33/1951.47 c #Conflicts: 1309000 | #Constraints: 29634
1946.33/1951.47 c #Conflicts: 1310000 | #Constraints: 30634
1946.33/1951.47 c #Conflicts: 1311000 | #Constraints: 31634
1946.33/1951.47 c #Conflicts: 1312000 | #Constraints: 32634
1946.33/1951.47 c #Conflicts: 1313000 | #Constraints: 33634
1946.33/1951.47 c #Conflicts: 1314000 | #Constraints: 34634
1946.33/1951.47 c #Conflicts: 1315000 | #Constraints: 35634
1946.33/1951.47 c #Conflicts: 1316000 | #Constraints: 36634
1946.33/1951.47 c #Conflicts: 1317000 | #Constraints: 37634
1946.33/1951.47 c #Conflicts: 1318000 | #Constraints: 38634
1946.33/1951.47 c #Conflicts: 1319000 | #Constraints: 39634
1946.33/1951.47 c #Conflicts: 1320000 | #Constraints: 40634
1946.33/1951.47 c #Conflicts: 1321000 | #Constraints: 41634
1946.33/1951.47 c #Conflicts: 1322000 | #Constraints: 42634
1946.33/1951.47 c #Conflicts: 1323000 | #Constraints: 43634
1946.33/1951.47 c #Conflicts: 1324000 | #Constraints: 44634
1946.33/1951.47 c #Conflicts: 1325000 | #Constraints: 45634
1946.33/1951.47 c INPROCESSING
1946.33/1951.47 c GARBAGE COLLECT
1946.33/1951.47 c #Conflicts: 1326000 | #Constraints: 23837
1946.33/1951.47 c #Conflicts: 1327000 | #Constraints: 24837
1946.33/1951.47 c #Conflicts: 1328000 | #Constraints: 25837
1946.33/1951.47 c #Conflicts: 1329000 | #Constraints: 26837
1946.33/1951.47 c #Conflicts: 1330000 | #Constraints: 27837
1946.33/1951.47 c #Conflicts: 1331000 | #Constraints: 28837
1946.33/1951.47 c #Conflicts: 1332000 | #Constraints: 29837
1946.33/1951.47 c #Conflicts: 1333000 | #Constraints: 30837
1946.33/1951.47 c #Conflicts: 1334000 | #Constraints: 31837
1946.33/1951.47 c #Conflicts: 1335000 | #Constraints: 32837
1946.33/1951.47 c #Conflicts: 1336000 | #Constraints: 33837
1946.33/1951.47 c #Conflicts: 1337000 | #Constraints: 34837
1946.33/1951.47 c #Conflicts: 1338000 | #Constraints: 35837
1946.33/1951.47 c #Conflicts: 1339000 | #Constraints: 36837
1946.33/1951.47 c #Conflicts: 1340000 | #Constraints: 37837
1946.33/1951.47 c #Conflicts: 1341000 | #Constraints: 38837
1946.33/1951.47 c #Conflicts: 1342000 | #Constraints: 39837
1946.33/1951.47 c #Conflicts: 1343000 | #Constraints: 40837
1946.33/1951.47 c #Conflicts: 1344000 | #Constraints: 41837
1946.33/1951.47 c #Conflicts: 1345000 | #Constraints: 42837
1946.33/1951.47 c #Conflicts: 1346000 | #Constraints: 43837
1946.33/1951.47 c #Conflicts: 1347000 | #Constraints: 44837
1946.33/1951.47 c #Conflicts: 1348000 | #Constraints: 45837
1946.33/1951.47 c INPROCESSING
1946.33/1951.47 c GARBAGE COLLECT
1946.33/1951.47 c #Conflicts: 1349000 | #Constraints: 23840
1946.33/1951.47 c #Conflicts: 1350000 | #Constraints: 24840
1946.33/1951.47 c #Conflicts: 1351000 | #Constraints: 25840
1946.33/1951.47 c #Conflicts: 1352000 | #Constraints: 26840
1946.33/1951.47 c #Conflicts: 1353000 | #Constraints: 27840
1946.33/1951.47 c #Conflicts: 1354000 | #Constraints: 28840
1946.33/1951.47 c #Conflicts: 1355000 | #Constraints: 29840
1946.33/1951.47 c #Conflicts: 1356000 | #Constraints: 30840
1946.33/1951.47 c #Conflicts: 1357000 | #Constraints: 31840
1946.33/1951.47 c #Conflicts: 1358000 | #Constraints: 32840
1946.33/1951.47 c #Conflicts: 1359000 | #Constraints: 33840
1946.33/1951.47 c #Conflicts: 1360000 | #Constraints: 34840
1946.33/1951.47 c #Conflicts: 1361000 | #Constraints: 35840
1946.33/1951.47 c #Conflicts: 1362000 | #Constraints: 36840
1946.33/1951.47 c #Conflicts: 1363000 | #Constraints: 37840
1946.33/1951.47 c #Conflicts: 1364000 | #Constraints: 38840
2114.86/2120.41 c #Conflicts: 1365000 | #Constraints: 39840
2114.86/2120.41 c #Conflicts: 1366000 | #Constraints: 40840
2114.86/2120.41 c #Conflicts: 1367000 | #Constraints: 41840
2114.86/2120.41 c #Conflicts: 1368000 | #Constraints: 42840
2114.86/2120.41 c #Conflicts: 1369000 | #Constraints: 43840
2114.86/2120.41 c #Conflicts: 1370000 | #Constraints: 44840
2114.86/2120.41 c #Conflicts: 1371000 | #Constraints: 45840
2114.86/2120.41 c INPROCESSING
2114.86/2120.41 c GARBAGE COLLECT
2114.86/2120.41 c #Conflicts: 1372000 | #Constraints: 23639
2114.86/2120.41 c #Conflicts: 1373000 | #Constraints: 24639
2114.86/2120.41 c #Conflicts: 1374000 | #Constraints: 25639
2114.86/2120.41 c #Conflicts: 1375000 | #Constraints: 26639
2114.86/2120.41 c #Conflicts: 1376000 | #Constraints: 27639
2114.86/2120.41 c #Conflicts: 1377000 | #Constraints: 28639
2114.86/2120.41 c #Conflicts: 1378000 | #Constraints: 29639
2114.86/2120.41 c #Conflicts: 1379000 | #Constraints: 30639
2114.86/2120.41 c #Conflicts: 1380000 | #Constraints: 31639
2114.86/2120.41 c #Conflicts: 1381000 | #Constraints: 32639
2114.86/2120.41 c #Conflicts: 1382000 | #Constraints: 33639
2114.86/2120.41 c #Conflicts: 1383000 | #Constraints: 34639
2114.86/2120.41 c #Conflicts: 1384000 | #Constraints: 35639
2114.86/2120.41 c #Conflicts: 1385000 | #Constraints: 36639
2114.86/2120.41 c #Conflicts: 1386000 | #Constraints: 37639
2114.86/2120.41 c #Conflicts: 1387000 | #Constraints: 38639
2114.86/2120.41 c #Conflicts: 1388000 | #Constraints: 39639
2114.86/2120.41 c #Conflicts: 1389000 | #Constraints: 40639
2114.86/2120.41 c #Conflicts: 1390000 | #Constraints: 41639
2114.86/2120.41 c #Conflicts: 1391000 | #Constraints: 42639
2114.86/2120.41 c #Conflicts: 1392000 | #Constraints: 43639
2114.86/2120.41 c #Conflicts: 1393000 | #Constraints: 44639
2114.86/2120.41 c #Conflicts: 1394000 | #Constraints: 45639
2114.86/2120.41 c #Conflicts: 1395000 | #Constraints: 46639
2114.86/2120.41 c INPROCESSING
2114.86/2120.41 c GARBAGE COLLECT
2114.86/2120.41 c #Conflicts: 1396000 | #Constraints: 24238
2114.86/2120.41 c #Conflicts: 1397000 | #Constraints: 25238
2114.86/2120.41 c #Conflicts: 1398000 | #Constraints: 26238
2114.86/2120.41 c #Conflicts: 1399000 | #Constraints: 27238
2114.86/2120.41 c #Conflicts: 1400000 | #Constraints: 28238
2114.86/2120.41 c #Conflicts: 1401000 | #Constraints: 29238
2114.86/2120.41 c #Conflicts: 1402000 | #Constraints: 30238
2114.86/2120.41 c #Conflicts: 1403000 | #Constraints: 31238
2114.86/2120.41 c #Conflicts: 1404000 | #Constraints: 32238
2114.86/2120.41 c #Conflicts: 1405000 | #Constraints: 33238
2114.86/2120.41 c #Conflicts: 1406000 | #Constraints: 34238
2114.86/2120.41 c #Conflicts: 1407000 | #Constraints: 35238
2114.86/2120.41 c #Conflicts: 1408000 | #Constraints: 36238
2114.86/2120.41 c #Conflicts: 1409000 | #Constraints: 37238
2114.86/2120.41 c #Conflicts: 1410000 | #Constraints: 38238
2114.86/2120.41 c #Conflicts: 1411000 | #Constraints: 39238
2114.86/2120.41 c #Conflicts: 1412000 | #Constraints: 40238
2114.86/2120.41 c #Conflicts: 1413000 | #Constraints: 41238
2114.86/2120.41 c #Conflicts: 1414000 | #Constraints: 42238
2114.86/2120.41 c #Conflicts: 1415000 | #Constraints: 43238
2114.86/2120.41 c #Conflicts: 1416000 | #Constraints: 44238
2114.86/2120.41 c #Conflicts: 1417000 | #Constraints: 45238
2114.86/2120.41 c #Conflicts: 1418000 | #Constraints: 46238
2114.86/2120.41 c #Conflicts: 1419000 | #Constraints: 47238
2114.86/2120.41 c INPROCESSING
2114.86/2120.41 c GARBAGE COLLECT
2114.86/2120.41 c #Conflicts: 1420000 | #Constraints: 24639
2114.86/2120.41 c #Conflicts: 1421000 | #Constraints: 25639
2114.86/2120.41 c #Conflicts: 1422000 | #Constraints: 26639
2114.86/2120.41 c #Conflicts: 1423000 | #Constraints: 27639
2114.86/2120.41 c #Conflicts: 1424000 | #Constraints: 28639
2114.86/2120.41 c #Conflicts: 1425000 | #Constraints: 29639
2114.86/2120.41 c #Conflicts: 1426000 | #Constraints: 30639
2114.86/2120.41 c #Conflicts: 1427000 | #Constraints: 31639
2114.86/2120.41 c #Conflicts: 1428000 | #Constraints: 32639
2114.86/2120.41 c #Conflicts: 1429000 | #Constraints: 33639
2114.86/2120.41 c #Conflicts: 1430000 | #Constraints: 34639
2114.86/2120.41 c #Conflicts: 1431000 | #Constraints: 35639
2114.86/2120.41 c #Conflicts: 1432000 | #Constraints: 36639
2114.86/2120.41 c #Conflicts: 1433000 | #Constraints: 37639
2114.86/2120.41 c #Conflicts: 1434000 | #Constraints: 38639
2114.86/2120.41 c #Conflicts: 1435000 | #Constraints: 39639
2114.86/2120.41 c #Conflicts: 1436000 | #Constraints: 40639
2114.86/2120.41 c #Conflicts: 1437000 | #Constraints: 41639
2114.86/2120.41 c #Conflicts: 1438000 | #Constraints: 42639
2114.86/2120.41 c #Conflicts: 1439000 | #Constraints: 43639
2114.86/2120.41 c #Conflicts: 1440000 | #Constraints: 44639
2300.53/2306.69 c #Conflicts: 1441000 | #Constraints: 45639
2300.53/2306.69 c #Conflicts: 1442000 | #Constraints: 46639
2300.53/2306.69 c #Conflicts: 1443000 | #Constraints: 47639
2300.53/2306.69 c INPROCESSING
2300.53/2306.69 c GARBAGE COLLECT
2300.53/2306.69 c #Conflicts: 1444000 | #Constraints: 24837
2300.53/2306.69 c #Conflicts: 1445000 | #Constraints: 25837
2300.53/2306.69 c #Conflicts: 1446000 | #Constraints: 26837
2300.53/2306.69 c #Conflicts: 1447000 | #Constraints: 27837
2300.53/2306.69 c #Conflicts: 1448000 | #Constraints: 28837
2300.53/2306.69 c #Conflicts: 1449000 | #Constraints: 29837
2300.53/2306.69 c #Conflicts: 1450000 | #Constraints: 30837
2300.53/2306.69 c #Conflicts: 1451000 | #Constraints: 31837
2300.53/2306.69 c #Conflicts: 1452000 | #Constraints: 32837
2300.53/2306.69 c #Conflicts: 1453000 | #Constraints: 33837
2300.53/2306.69 c #Conflicts: 1454000 | #Constraints: 34837
2300.53/2306.69 c #Conflicts: 1455000 | #Constraints: 35837
2300.53/2306.69 c #Conflicts: 1456000 | #Constraints: 36837
2300.53/2306.69 c #Conflicts: 1457000 | #Constraints: 37837
2300.53/2306.69 c #Conflicts: 1458000 | #Constraints: 38837
2300.53/2306.69 c #Conflicts: 1459000 | #Constraints: 39837
2300.53/2306.69 c #Conflicts: 1460000 | #Constraints: 40837
2300.53/2306.69 c #Conflicts: 1461000 | #Constraints: 41837
2300.53/2306.69 c #Conflicts: 1462000 | #Constraints: 42837
2300.53/2306.69 c #Conflicts: 1463000 | #Constraints: 43837
2300.53/2306.69 c #Conflicts: 1464000 | #Constraints: 44837
2300.53/2306.69 c #Conflicts: 1465000 | #Constraints: 45837
2300.53/2306.69 c #Conflicts: 1466000 | #Constraints: 46837
2300.53/2306.69 c #Conflicts: 1467000 | #Constraints: 47837
2300.53/2306.69 c INPROCESSING
2300.53/2306.69 c GARBAGE COLLECT
2300.53/2306.69 c #Conflicts: 1468000 | #Constraints: 24837
2300.53/2306.69 c #Conflicts: 1469000 | #Constraints: 25837
2300.53/2306.69 c #Conflicts: 1470000 | #Constraints: 26837
2300.53/2306.69 c #Conflicts: 1471000 | #Constraints: 27837
2300.53/2306.69 c #Conflicts: 1472000 | #Constraints: 28837
2300.53/2306.69 c #Conflicts: 1473000 | #Constraints: 29837
2300.53/2306.69 c #Conflicts: 1474000 | #Constraints: 30837
2300.53/2306.69 c #Conflicts: 1475000 | #Constraints: 31837
2300.53/2306.69 c #Conflicts: 1476000 | #Constraints: 32837
2300.53/2306.69 c #Conflicts: 1477000 | #Constraints: 33837
2300.53/2306.69 c #Conflicts: 1478000 | #Constraints: 34837
2300.53/2306.69 c #Conflicts: 1479000 | #Constraints: 35837
2300.53/2306.69 c #Conflicts: 1480000 | #Constraints: 36837
2300.53/2306.69 c #Conflicts: 1481000 | #Constraints: 37837
2300.53/2306.69 c #Conflicts: 1482000 | #Constraints: 38837
2300.53/2306.69 c #Conflicts: 1483000 | #Constraints: 39837
2300.53/2306.69 c #Conflicts: 1484000 | #Constraints: 40837
2300.53/2306.69 c #Conflicts: 1485000 | #Constraints: 41837
2300.53/2306.69 c #Conflicts: 1486000 | #Constraints: 42837
2300.53/2306.69 c #Conflicts: 1487000 | #Constraints: 43837
2300.53/2306.69 c #Conflicts: 1488000 | #Constraints: 44837
2300.53/2306.69 c #Conflicts: 1489000 | #Constraints: 45837
2300.53/2306.69 c #Conflicts: 1490000 | #Constraints: 46837
2300.53/2306.69 c #Conflicts: 1491000 | #Constraints: 47837
2300.53/2306.69 c INPROCESSING
2300.53/2306.69 c GARBAGE COLLECT
2300.53/2306.69 c #Conflicts: 1492000 | #Constraints: 24637
2300.53/2306.69 c #Conflicts: 1493000 | #Constraints: 25637
2300.53/2306.69 c #Conflicts: 1494000 | #Constraints: 26637
2300.53/2306.69 c #Conflicts: 1495000 | #Constraints: 27637
2300.53/2306.69 c #Conflicts: 1496000 | #Constraints: 28637
2300.53/2306.69 c #Conflicts: 1497000 | #Constraints: 29637
2300.53/2306.69 c #Conflicts: 1498000 | #Constraints: 30637
2300.53/2306.69 c #Conflicts: 1499000 | #Constraints: 31637
2300.53/2306.69 c #Conflicts: 1500000 | #Constraints: 32637
2300.53/2306.69 c #Conflicts: 1501000 | #Constraints: 33637
2300.53/2306.69 c #Conflicts: 1502000 | #Constraints: 34637
2300.53/2306.69 c #Conflicts: 1503000 | #Constraints: 35637
2300.53/2306.69 c #Conflicts: 1504000 | #Constraints: 36637
2300.53/2306.69 c #Conflicts: 1505000 | #Constraints: 37637
2300.53/2306.69 c #Conflicts: 1506000 | #Constraints: 38637
2300.53/2306.69 c #Conflicts: 1507000 | #Constraints: 39637
2300.53/2306.69 c #Conflicts: 1508000 | #Constraints: 40637
2300.53/2306.69 c #Conflicts: 1509000 | #Constraints: 41637
2300.53/2306.69 c #Conflicts: 1510000 | #Constraints: 42637
2300.53/2306.69 c #Conflicts: 1511000 | #Constraints: 43637
2300.53/2306.69 c #Conflicts: 1512000 | #Constraints: 44637
2300.53/2306.69 c #Conflicts: 1513000 | #Constraints: 45637
2300.53/2306.69 c #Conflicts: 1514000 | #Constraints: 46637
2300.53/2306.69 c #Conflicts: 1515000 | #Constraints: 47637
2300.53/2306.69 c #Conflicts: 1516000 | #Constraints: 48637
2300.53/2306.69 c INPROCESSING
2300.53/2306.69 c GARBAGE COLLECT
2300.53/2306.69 c #Conflicts: 1517000 | #Constraints: 25239
2517.82/2524.58 c #Conflicts: 1518000 | #Constraints: 26239
2517.82/2524.58 c #Conflicts: 1519000 | #Constraints: 27239
2517.82/2524.58 c #Conflicts: 1520000 | #Constraints: 28239
2517.82/2524.58 c #Conflicts: 1521000 | #Constraints: 29239
2517.82/2524.58 c #Conflicts: 1522000 | #Constraints: 30239
2517.82/2524.58 c #Conflicts: 1523000 | #Constraints: 31239
2517.82/2524.58 c #Conflicts: 1524000 | #Constraints: 32239
2517.82/2524.58 c #Conflicts: 1525000 | #Constraints: 33239
2517.82/2524.58 c #Conflicts: 1526000 | #Constraints: 34239
2517.82/2524.58 c #Conflicts: 1527000 | #Constraints: 35239
2517.82/2524.58 c #Conflicts: 1528000 | #Constraints: 36239
2517.82/2524.58 c #Conflicts: 1529000 | #Constraints: 37239
2517.82/2524.58 c #Conflicts: 1530000 | #Constraints: 38239
2517.82/2524.58 c #Conflicts: 1531000 | #Constraints: 39239
2517.82/2524.58 c #Conflicts: 1532000 | #Constraints: 40239
2517.82/2524.58 c #Conflicts: 1533000 | #Constraints: 41239
2517.82/2524.58 c #Conflicts: 1534000 | #Constraints: 42239
2517.82/2524.58 c #Conflicts: 1535000 | #Constraints: 43239
2517.82/2524.58 c #Conflicts: 1536000 | #Constraints: 44239
2517.82/2524.58 c #Conflicts: 1537000 | #Constraints: 45239
2517.82/2524.58 c #Conflicts: 1538000 | #Constraints: 46239
2517.82/2524.58 c #Conflicts: 1539000 | #Constraints: 47239
2517.82/2524.58 c #Conflicts: 1540000 | #Constraints: 48239
2517.82/2524.58 c #Conflicts: 1541000 | #Constraints: 49239
2517.82/2524.58 c INPROCESSING
2517.82/2524.58 c GARBAGE COLLECT
2517.82/2524.58 c #Conflicts: 1542000 | #Constraints: 25640
2517.82/2524.58 c #Conflicts: 1543000 | #Constraints: 26640
2517.82/2524.58 c #Conflicts: 1544000 | #Constraints: 27640
2517.82/2524.58 c #Conflicts: 1545000 | #Constraints: 28640
2517.82/2524.58 c #Conflicts: 1546000 | #Constraints: 29640
2517.82/2524.58 c #Conflicts: 1547000 | #Constraints: 30640
2517.82/2524.58 c #Conflicts: 1548000 | #Constraints: 31640
2517.82/2524.58 c #Conflicts: 1549000 | #Constraints: 32640
2517.82/2524.58 c #Conflicts: 1550000 | #Constraints: 33640
2517.82/2524.58 c #Conflicts: 1551000 | #Constraints: 34640
2517.82/2524.58 c #Conflicts: 1552000 | #Constraints: 35640
2517.82/2524.58 c #Conflicts: 1553000 | #Constraints: 36640
2517.82/2524.58 c #Conflicts: 1554000 | #Constraints: 37640
2517.82/2524.58 c #Conflicts: 1555000 | #Constraints: 38640
2517.82/2524.58 c #Conflicts: 1556000 | #Constraints: 39640
2517.82/2524.58 c #Conflicts: 1557000 | #Constraints: 40640
2517.82/2524.58 c #Conflicts: 1558000 | #Constraints: 41640
2517.82/2524.58 c #Conflicts: 1559000 | #Constraints: 42640
2517.82/2524.58 c #Conflicts: 1560000 | #Constraints: 43640
2517.82/2524.58 c #Conflicts: 1561000 | #Constraints: 44640
2517.82/2524.58 c #Conflicts: 1562000 | #Constraints: 45640
2517.82/2524.58 c #Conflicts: 1563000 | #Constraints: 46640
2517.82/2524.58 c #Conflicts: 1564000 | #Constraints: 47640
2517.82/2524.58 c #Conflicts: 1565000 | #Constraints: 48640
2517.82/2524.58 c #Conflicts: 1566000 | #Constraints: 49640
2517.82/2524.58 c INPROCESSING
2517.82/2524.58 c GARBAGE COLLECT
2517.82/2524.58 c #Conflicts: 1567000 | #Constraints: 25838
2517.82/2524.58 c #Conflicts: 1568000 | #Constraints: 26838
2517.82/2524.58 c #Conflicts: 1569000 | #Constraints: 27838
2517.82/2524.58 c #Conflicts: 1570000 | #Constraints: 28838
2517.82/2524.58 c #Conflicts: 1571000 | #Constraints: 29838
2517.82/2524.58 c #Conflicts: 1572000 | #Constraints: 30838
2517.82/2524.58 c #Conflicts: 1573000 | #Constraints: 31838
2517.82/2524.58 c #Conflicts: 1574000 | #Constraints: 32838
2517.82/2524.58 c #Conflicts: 1575000 | #Constraints: 33838
2517.82/2524.58 c #Conflicts: 1576000 | #Constraints: 34838
2517.82/2524.58 c #Conflicts: 1577000 | #Constraints: 35838
2517.82/2524.58 c #Conflicts: 1578000 | #Constraints: 36838
2517.82/2524.58 c #Conflicts: 1579000 | #Constraints: 37838
2517.82/2524.58 c #Conflicts: 1580000 | #Constraints: 38838
2517.82/2524.58 c #Conflicts: 1581000 | #Constraints: 39838
2517.82/2524.58 c #Conflicts: 1582000 | #Constraints: 40838
2517.82/2524.58 c #Conflicts: 1583000 | #Constraints: 41838
2517.82/2524.58 c #Conflicts: 1584000 | #Constraints: 42838
2517.82/2524.58 c #Conflicts: 1585000 | #Constraints: 43838
2517.82/2524.58 c #Conflicts: 1586000 | #Constraints: 44838
2517.82/2524.58 c #Conflicts: 1587000 | #Constraints: 45838
2517.82/2524.58 c #Conflicts: 1588000 | #Constraints: 46838
2517.82/2524.58 c #Conflicts: 1589000 | #Constraints: 47838
2517.82/2524.58 c #Conflicts: 1590000 | #Constraints: 48838
2517.82/2524.58 c #Conflicts: 1591000 | #Constraints: 49838
2517.82/2524.58 c INPROCESSING
2517.82/2524.58 c GARBAGE COLLECT
2517.82/2524.58 c #Conflicts: 1592000 | #Constraints: 25839
2517.82/2524.58 c #Conflicts: 1593000 | #Constraints: 26839
2517.82/2524.58 c #Conflicts: 1594000 | #Constraints: 27839
2753.33/2760.70 c #Conflicts: 1595000 | #Constraints: 28839
2753.33/2760.70 c #Conflicts: 1596000 | #Constraints: 29839
2753.33/2760.70 c #Conflicts: 1597000 | #Constraints: 30839
2753.33/2760.70 c #Conflicts: 1598000 | #Constraints: 31839
2753.33/2760.70 c #Conflicts: 1599000 | #Constraints: 32839
2753.33/2760.70 c #Conflicts: 1600000 | #Constraints: 33839
2753.33/2760.70 c #Conflicts: 1601000 | #Constraints: 34839
2753.33/2760.70 c #Conflicts: 1602000 | #Constraints: 35839
2753.33/2760.70 c #Conflicts: 1603000 | #Constraints: 36839
2753.33/2760.70 c #Conflicts: 1604000 | #Constraints: 37839
2753.33/2760.70 c #Conflicts: 1605000 | #Constraints: 38839
2753.33/2760.70 c #Conflicts: 1606000 | #Constraints: 39839
2753.33/2760.70 c #Conflicts: 1607000 | #Constraints: 40839
2753.33/2760.70 c #Conflicts: 1608000 | #Constraints: 41839
2753.33/2760.70 c #Conflicts: 1609000 | #Constraints: 42839
2753.33/2760.70 c #Conflicts: 1610000 | #Constraints: 43839
2753.33/2760.70 c #Conflicts: 1611000 | #Constraints: 44839
2753.33/2760.70 c #Conflicts: 1612000 | #Constraints: 45839
2753.33/2760.70 c #Conflicts: 1613000 | #Constraints: 46839
2753.33/2760.70 c #Conflicts: 1614000 | #Constraints: 47839
2753.33/2760.70 c #Conflicts: 1615000 | #Constraints: 48839
2753.33/2760.70 c #Conflicts: 1616000 | #Constraints: 49839
2753.33/2760.70 c INPROCESSING
2753.33/2760.70 c GARBAGE COLLECT
2753.33/2760.70 c #Conflicts: 1617000 | #Constraints: 25641
2753.33/2760.70 c #Conflicts: 1618000 | #Constraints: 26641
2753.33/2760.70 c #Conflicts: 1619000 | #Constraints: 27641
2753.33/2760.70 c #Conflicts: 1620000 | #Constraints: 28641
2753.33/2760.70 c #Conflicts: 1621000 | #Constraints: 29641
2753.33/2760.70 c #Conflicts: 1622000 | #Constraints: 30641
2753.33/2760.70 c #Conflicts: 1623000 | #Constraints: 31641
2753.33/2760.70 c #Conflicts: 1624000 | #Constraints: 32641
2753.33/2760.70 c #Conflicts: 1625000 | #Constraints: 33641
2753.33/2760.70 c #Conflicts: 1626000 | #Constraints: 34641
2753.33/2760.70 c #Conflicts: 1627000 | #Constraints: 35641
2753.33/2760.70 c #Conflicts: 1628000 | #Constraints: 36641
2753.33/2760.70 c #Conflicts: 1629000 | #Constraints: 37641
2753.33/2760.70 c #Conflicts: 1630000 | #Constraints: 38641
2753.33/2760.70 c #Conflicts: 1631000 | #Constraints: 39641
2753.33/2760.70 c #Conflicts: 1632000 | #Constraints: 40641
2753.33/2760.70 c #Conflicts: 1633000 | #Constraints: 41641
2753.33/2760.70 c #Conflicts: 1634000 | #Constraints: 42641
2753.33/2760.70 c #Conflicts: 1635000 | #Constraints: 43641
2753.33/2760.70 c #Conflicts: 1636000 | #Constraints: 44641
2753.33/2760.70 c #Conflicts: 1637000 | #Constraints: 45641
2753.33/2760.70 c #Conflicts: 1638000 | #Constraints: 46641
2753.33/2760.70 c #Conflicts: 1639000 | #Constraints: 47641
2753.33/2760.70 c #Conflicts: 1640000 | #Constraints: 48641
2753.33/2760.70 c #Conflicts: 1641000 | #Constraints: 49641
2753.33/2760.70 c #Conflicts: 1642000 | #Constraints: 50641
2753.33/2760.70 c INPROCESSING
2753.33/2760.70 c GARBAGE COLLECT
2753.33/2760.70 c #Conflicts: 1643000 | #Constraints: 26241
2753.33/2760.70 c #Conflicts: 1644000 | #Constraints: 27241
2753.33/2760.70 c #Conflicts: 1645000 | #Constraints: 28241
2753.33/2760.70 c #Conflicts: 1646000 | #Constraints: 29241
2753.33/2760.70 c #Conflicts: 1647000 | #Constraints: 30241
2753.33/2760.70 c #Conflicts: 1648000 | #Constraints: 31241
2753.33/2760.70 c #Conflicts: 1649000 | #Constraints: 32241
2753.33/2760.70 c #Conflicts: 1650000 | #Constraints: 33241
2753.33/2760.70 c #Conflicts: 1651000 | #Constraints: 34241
2753.33/2760.70 c #Conflicts: 1652000 | #Constraints: 35241
2753.33/2760.70 c #Conflicts: 1653000 | #Constraints: 36241
2753.33/2760.70 c #Conflicts: 1654000 | #Constraints: 37241
2753.33/2760.70 c #Conflicts: 1655000 | #Constraints: 38241
2753.33/2760.70 c #Conflicts: 1656000 | #Constraints: 39241
2753.33/2760.70 c #Conflicts: 1657000 | #Constraints: 40241
2753.33/2760.70 c #Conflicts: 1658000 | #Constraints: 41241
2753.33/2760.70 c #Conflicts: 1659000 | #Constraints: 42241
2753.33/2760.70 c #Conflicts: 1660000 | #Constraints: 43241
2753.33/2760.70 c #Conflicts: 1661000 | #Constraints: 44241
2753.33/2760.70 c #Conflicts: 1662000 | #Constraints: 45241
2753.33/2760.70 c #Conflicts: 1663000 | #Constraints: 46241
2753.33/2760.70 c #Conflicts: 1664000 | #Constraints: 47241
2753.33/2760.70 c #Conflicts: 1665000 | #Constraints: 48241
2753.33/2760.70 c #Conflicts: 1666000 | #Constraints: 49241
2753.33/2760.70 c #Conflicts: 1667000 | #Constraints: 50241
2753.33/2760.70 c #Conflicts: 1668000 | #Constraints: 51241
2753.33/2760.70 c INPROCESSING
2753.33/2760.70 c GARBAGE COLLECT
2753.33/2760.70 c #Conflicts: 1669000 | #Constraints: 26636
2753.33/2760.70 c #Conflicts: 1670000 | #Constraints: 27636
2960.84/2968.89 c #Conflicts: 1671000 | #Constraints: 28636
2960.84/2968.89 c #Conflicts: 1672000 | #Constraints: 29636
2960.84/2968.89 c #Conflicts: 1673000 | #Constraints: 30636
2960.84/2968.89 c #Conflicts: 1674000 | #Constraints: 31636
2960.84/2968.89 c #Conflicts: 1675000 | #Constraints: 32636
2960.84/2968.89 c #Conflicts: 1676000 | #Constraints: 33636
2960.84/2968.89 c #Conflicts: 1677000 | #Constraints: 34636
2960.84/2968.89 c #Conflicts: 1678000 | #Constraints: 35636
2960.84/2968.89 c #Conflicts: 1679000 | #Constraints: 36636
2960.84/2968.89 c #Conflicts: 1680000 | #Constraints: 37636
2960.84/2968.89 c #Conflicts: 1681000 | #Constraints: 38636
2960.84/2968.89 c #Conflicts: 1682000 | #Constraints: 39636
2960.84/2968.89 c #Conflicts: 1683000 | #Constraints: 40636
2960.84/2968.89 c #Conflicts: 1684000 | #Constraints: 41636
2960.84/2968.89 c #Conflicts: 1685000 | #Constraints: 42636
2960.84/2968.89 c #Conflicts: 1686000 | #Constraints: 43636
2960.84/2968.89 c #Conflicts: 1687000 | #Constraints: 44636
2960.84/2968.89 c #Conflicts: 1688000 | #Constraints: 45636
2960.84/2968.89 c #Conflicts: 1689000 | #Constraints: 46636
2960.84/2968.89 c #Conflicts: 1690000 | #Constraints: 47636
2960.84/2968.89 c #Conflicts: 1691000 | #Constraints: 48636
2960.84/2968.89 c #Conflicts: 1692000 | #Constraints: 49636
2960.84/2968.89 c #Conflicts: 1693000 | #Constraints: 50636
2960.84/2968.89 c #Conflicts: 1694000 | #Constraints: 51636
2960.84/2968.89 c INPROCESSING
2960.84/2968.89 c GARBAGE COLLECT
2960.84/2968.89 c #Conflicts: 1695000 | #Constraints: 26837
2960.84/2968.89 c #Conflicts: 1696000 | #Constraints: 27837
2960.84/2968.89 c #Conflicts: 1697000 | #Constraints: 28837
2960.84/2968.89 c #Conflicts: 1698000 | #Constraints: 29837
2960.84/2968.89 c #Conflicts: 1699000 | #Constraints: 30837
2960.84/2968.89 c #Conflicts: 1700000 | #Constraints: 31837
2960.84/2968.89 c #Conflicts: 1701000 | #Constraints: 32837
2960.84/2968.89 c #Conflicts: 1702000 | #Constraints: 33837
2960.84/2968.89 c #Conflicts: 1703000 | #Constraints: 34837
2960.84/2968.89 c #Conflicts: 1704000 | #Constraints: 35837
2960.84/2968.89 c #Conflicts: 1705000 | #Constraints: 36837
2960.84/2968.89 c #Conflicts: 1706000 | #Constraints: 37837
2960.84/2968.89 c #Conflicts: 1707000 | #Constraints: 38837
2960.84/2968.89 c #Conflicts: 1708000 | #Constraints: 39837
2960.84/2968.89 c #Conflicts: 1709000 | #Constraints: 40837
2960.84/2968.89 c #Conflicts: 1710000 | #Constraints: 41837
2960.84/2968.89 c #Conflicts: 1711000 | #Constraints: 42837
2960.84/2968.89 c #Conflicts: 1712000 | #Constraints: 43837
2960.84/2968.89 c #Conflicts: 1713000 | #Constraints: 44837
2960.84/2968.89 c #Conflicts: 1714000 | #Constraints: 45837
2960.84/2968.89 c #Conflicts: 1715000 | #Constraints: 46837
2960.84/2968.89 c #Conflicts: 1716000 | #Constraints: 47837
2960.84/2968.89 c #Conflicts: 1717000 | #Constraints: 48837
2960.84/2968.89 c #Conflicts: 1718000 | #Constraints: 49837
2960.84/2968.89 c #Conflicts: 1719000 | #Constraints: 50837
2960.84/2968.89 c #Conflicts: 1720000 | #Constraints: 51837
2960.84/2968.89 c INPROCESSING
2960.84/2968.89 c GARBAGE COLLECT
2960.84/2968.89 c #Conflicts: 1721000 | #Constraints: 26838
2960.84/2968.89 c #Conflicts: 1722000 | #Constraints: 27838
2960.84/2968.89 c #Conflicts: 1723000 | #Constraints: 28838
2960.84/2968.89 c #Conflicts: 1724000 | #Constraints: 29838
2960.84/2968.89 c #Conflicts: 1725000 | #Constraints: 30838
2960.84/2968.89 c #Conflicts: 1726000 | #Constraints: 31838
2960.84/2968.89 c #Conflicts: 1727000 | #Constraints: 32838
2960.84/2968.89 c #Conflicts: 1728000 | #Constraints: 33838
2960.84/2968.89 c #Conflicts: 1729000 | #Constraints: 34838
2960.84/2968.89 c #Conflicts: 1730000 | #Constraints: 35838
2960.84/2968.89 c #Conflicts: 1731000 | #Constraints: 36838
2960.84/2968.89 c #Conflicts: 1732000 | #Constraints: 37838
2960.84/2968.89 c #Conflicts: 1733000 | #Constraints: 38838
2960.84/2968.89 c #Conflicts: 1734000 | #Constraints: 39838
2960.84/2968.89 c #Conflicts: 1735000 | #Constraints: 40838
2960.84/2968.89 c #Conflicts: 1736000 | #Constraints: 41838
2960.84/2968.89 c #Conflicts: 1737000 | #Constraints: 42838
2960.84/2968.89 c #Conflicts: 1738000 | #Constraints: 43838
2960.84/2968.89 c #Conflicts: 1739000 | #Constraints: 44838
2960.84/2968.89 c #Conflicts: 1740000 | #Constraints: 45838
2960.84/2968.89 c #Conflicts: 1741000 | #Constraints: 46838
2960.84/2968.89 c #Conflicts: 1742000 | #Constraints: 47838
2960.84/2968.89 c #Conflicts: 1743000 | #Constraints: 48838
2960.84/2968.89 c #Conflicts: 1744000 | #Constraints: 49838
2960.84/2968.89 c #Conflicts: 1745000 | #Constraints: 50838
2960.84/2968.89 c #Conflicts: 1746000 | #Constraints: 51838
2960.84/2968.89 c INPROCESSING
2960.84/2968.89 c GARBAGE COLLECT
2960.84/2968.89 c #Conflicts: 1747000 | #Constraints: 26635
3174.13/3182.78 c #Conflicts: 1748000 | #Constraints: 27635
3174.13/3182.78 c #Conflicts: 1749000 | #Constraints: 28635
3174.13/3182.78 c #Conflicts: 1750000 | #Constraints: 29635
3174.13/3182.78 c #Conflicts: 1751000 | #Constraints: 30635
3174.13/3182.78 c #Conflicts: 1752000 | #Constraints: 31635
3174.13/3182.78 c #Conflicts: 1753000 | #Constraints: 32635
3174.13/3182.78 c #Conflicts: 1754000 | #Constraints: 33635
3174.13/3182.78 c #Conflicts: 1755000 | #Constraints: 34635
3174.13/3182.78 c #Conflicts: 1756000 | #Constraints: 35635
3174.13/3182.78 c #Conflicts: 1757000 | #Constraints: 36635
3174.13/3182.78 c #Conflicts: 1758000 | #Constraints: 37635
3174.13/3182.78 c #Conflicts: 1759000 | #Constraints: 38635
3174.13/3182.78 c #Conflicts: 1760000 | #Constraints: 39635
3174.13/3182.78 c #Conflicts: 1761000 | #Constraints: 40635
3174.13/3182.78 c #Conflicts: 1762000 | #Constraints: 41635
3174.13/3182.78 c #Conflicts: 1763000 | #Constraints: 42635
3174.13/3182.78 c #Conflicts: 1764000 | #Constraints: 43635
3174.13/3182.78 c #Conflicts: 1765000 | #Constraints: 44635
3174.13/3182.78 c #Conflicts: 1766000 | #Constraints: 45635
3174.13/3182.78 c #Conflicts: 1767000 | #Constraints: 46635
3174.13/3182.78 c #Conflicts: 1768000 | #Constraints: 47635
3174.13/3182.78 c #Conflicts: 1769000 | #Constraints: 48635
3174.13/3182.78 c #Conflicts: 1770000 | #Constraints: 49635
3174.13/3182.78 c #Conflicts: 1771000 | #Constraints: 50635
3174.13/3182.78 c #Conflicts: 1772000 | #Constraints: 51635
3174.13/3182.78 c #Conflicts: 1773000 | #Constraints: 52635
3174.13/3182.78 c INPROCESSING
3174.13/3182.78 c GARBAGE COLLECT
3174.13/3182.78 c #Conflicts: 1774000 | #Constraints: 27234
3174.13/3182.78 c #Conflicts: 1775000 | #Constraints: 28234
3174.13/3182.78 c #Conflicts: 1776000 | #Constraints: 29234
3174.13/3182.78 c #Conflicts: 1777000 | #Constraints: 30234
3174.13/3182.78 c #Conflicts: 1778000 | #Constraints: 31234
3174.13/3182.78 c #Conflicts: 1779000 | #Constraints: 32234
3174.13/3182.78 c #Conflicts: 1780000 | #Constraints: 33234
3174.13/3182.78 c #Conflicts: 1781000 | #Constraints: 34234
3174.13/3182.78 c #Conflicts: 1782000 | #Constraints: 35234
3174.13/3182.78 c #Conflicts: 1783000 | #Constraints: 36234
3174.13/3182.78 c #Conflicts: 1784000 | #Constraints: 37234
3174.13/3182.78 c #Conflicts: 1785000 | #Constraints: 38234
3174.13/3182.78 c #Conflicts: 1786000 | #Constraints: 39234
3174.13/3182.78 c #Conflicts: 1787000 | #Constraints: 40234
3174.13/3182.78 c #Conflicts: 1788000 | #Constraints: 41234
3174.13/3182.78 c #Conflicts: 1789000 | #Constraints: 42234
3174.13/3182.78 c #Conflicts: 1790000 | #Constraints: 43234
3174.13/3182.78 c #Conflicts: 1791000 | #Constraints: 44234
3174.13/3182.78 c #Conflicts: 1792000 | #Constraints: 45234
3174.13/3182.78 c #Conflicts: 1793000 | #Constraints: 46234
3174.13/3182.78 c #Conflicts: 1794000 | #Constraints: 47234
3174.13/3182.78 c #Conflicts: 1795000 | #Constraints: 48234
3174.13/3182.78 c #Conflicts: 1796000 | #Constraints: 49234
3174.13/3182.78 c #Conflicts: 1797000 | #Constraints: 50234
3174.13/3182.78 c #Conflicts: 1798000 | #Constraints: 51234
3174.13/3182.78 c #Conflicts: 1799000 | #Constraints: 52234
3174.13/3182.78 c #Conflicts: 1800000 | #Constraints: 53234
3174.13/3182.78 c INPROCESSING
3174.13/3182.78 c GARBAGE COLLECT
3174.13/3182.78 c #Conflicts: 1801000 | #Constraints: 27635
3174.13/3182.78 c #Conflicts: 1802000 | #Constraints: 28635
3174.13/3182.78 c #Conflicts: 1803000 | #Constraints: 29635
3174.13/3182.78 c #Conflicts: 1804000 | #Constraints: 30635
3174.13/3182.78 c #Conflicts: 1805000 | #Constraints: 31635
3174.13/3182.78 c #Conflicts: 1806000 | #Constraints: 32635
3174.13/3182.78 c #Conflicts: 1807000 | #Constraints: 33635
3174.13/3182.78 c #Conflicts: 1808000 | #Constraints: 34635
3174.13/3182.78 c #Conflicts: 1809000 | #Constraints: 35635
3174.13/3182.78 c #Conflicts: 1810000 | #Constraints: 36635
3174.13/3182.78 c #Conflicts: 1811000 | #Constraints: 37635
3174.13/3182.78 c #Conflicts: 1812000 | #Constraints: 38635
3174.13/3182.78 c #Conflicts: 1813000 | #Constraints: 39635
3174.13/3182.78 c #Conflicts: 1814000 | #Constraints: 40635
3174.13/3182.78 c #Conflicts: 1815000 | #Constraints: 41635
3174.13/3182.78 c #Conflicts: 1816000 | #Constraints: 42635
3174.13/3182.78 c #Conflicts: 1817000 | #Constraints: 43635
3174.13/3182.78 c #Conflicts: 1818000 | #Constraints: 44635
3174.13/3182.78 c #Conflicts: 1819000 | #Constraints: 45635
3174.13/3182.78 c #Conflicts: 1820000 | #Constraints: 46635
3174.13/3182.78 c #Conflicts: 1821000 | #Constraints: 47635
3174.13/3182.78 c #Conflicts: 1822000 | #Constraints: 48635
3174.13/3182.78 c #Conflicts: 1823000 | #Constraints: 49635
3174.13/3182.78 c #Conflicts: 1824000 | #Constraints: 50635
3174.13/3182.78 c #Conflicts: 1825000 | #Constraints: 51635
3390.72/3399.93 c #Conflicts: 1826000 | #Constraints: 52635
3390.72/3399.93 c #Conflicts: 1827000 | #Constraints: 53635
3390.72/3399.93 c INPROCESSING
3390.72/3399.93 c GARBAGE COLLECT
3390.72/3399.93 c #Conflicts: 1828000 | #Constraints: 27841
3390.72/3399.93 c #Conflicts: 1829000 | #Constraints: 28841
3390.72/3399.93 c #Conflicts: 1830000 | #Constraints: 29841
3390.72/3399.93 c #Conflicts: 1831000 | #Constraints: 30841
3390.72/3399.93 c #Conflicts: 1832000 | #Constraints: 31841
3390.72/3399.93 c #Conflicts: 1833000 | #Constraints: 32841
3390.72/3399.93 c #Conflicts: 1834000 | #Constraints: 33841
3390.72/3399.93 c #Conflicts: 1835000 | #Constraints: 34841
3390.72/3399.93 c #Conflicts: 1836000 | #Constraints: 35841
3390.72/3399.93 c #Conflicts: 1837000 | #Constraints: 36841
3390.72/3399.93 c #Conflicts: 1838000 | #Constraints: 37841
3390.72/3399.93 c #Conflicts: 1839000 | #Constraints: 38841
3390.72/3399.93 c #Conflicts: 1840000 | #Constraints: 39841
3390.72/3399.93 c #Conflicts: 1841000 | #Constraints: 40841
3390.72/3399.93 c #Conflicts: 1842000 | #Constraints: 41841
3390.72/3399.93 c #Conflicts: 1843000 | #Constraints: 42841
3390.72/3399.93 c #Conflicts: 1844000 | #Constraints: 43841
3390.72/3399.93 c #Conflicts: 1845000 | #Constraints: 44841
3390.72/3399.93 c #Conflicts: 1846000 | #Constraints: 45841
3390.72/3399.93 c #Conflicts: 1847000 | #Constraints: 46841
3390.72/3399.93 c #Conflicts: 1848000 | #Constraints: 47841
3390.72/3399.93 c #Conflicts: 1849000 | #Constraints: 48841
3390.72/3399.93 c #Conflicts: 1850000 | #Constraints: 49841
3390.72/3399.93 c #Conflicts: 1851000 | #Constraints: 50841
3390.72/3399.93 c #Conflicts: 1852000 | #Constraints: 51841
3390.72/3399.93 c #Conflicts: 1853000 | #Constraints: 52841
3390.72/3399.93 c #Conflicts: 1854000 | #Constraints: 53841
3390.72/3399.93 c INPROCESSING
3390.72/3399.93 c GARBAGE COLLECT
3390.72/3399.93 c #Conflicts: 1855000 | #Constraints: 27837
3390.72/3399.93 c #Conflicts: 1856000 | #Constraints: 28837
3390.72/3399.93 c #Conflicts: 1857000 | #Constraints: 29837
3390.72/3399.93 c #Conflicts: 1858000 | #Constraints: 30837
3390.72/3399.93 c #Conflicts: 1859000 | #Constraints: 31837
3390.72/3399.93 c #Conflicts: 1860000 | #Constraints: 32837
3390.72/3399.93 c #Conflicts: 1861000 | #Constraints: 33837
3390.72/3399.93 c #Conflicts: 1862000 | #Constraints: 34837
3390.72/3399.93 c #Conflicts: 1863000 | #Constraints: 35837
3390.72/3399.93 c #Conflicts: 1864000 | #Constraints: 36837
3390.72/3399.93 c #Conflicts: 1865000 | #Constraints: 37837
3390.72/3399.93 c #Conflicts: 1866000 | #Constraints: 38837
3390.72/3399.93 c #Conflicts: 1867000 | #Constraints: 39837
3390.72/3399.93 c #Conflicts: 1868000 | #Constraints: 40837
3390.72/3399.93 c #Conflicts: 1869000 | #Constraints: 41837
3390.72/3399.93 c #Conflicts: 1870000 | #Constraints: 42837
3390.72/3399.93 c #Conflicts: 1871000 | #Constraints: 43837
3390.72/3399.93 c #Conflicts: 1872000 | #Constraints: 44837
3390.72/3399.93 c #Conflicts: 1873000 | #Constraints: 45837
3390.72/3399.93 c #Conflicts: 1874000 | #Constraints: 46837
3390.72/3399.93 c #Conflicts: 1875000 | #Constraints: 47837
3390.72/3399.93 c #Conflicts: 1876000 | #Constraints: 48837
3390.72/3399.93 c #Conflicts: 1877000 | #Constraints: 49837
3390.72/3399.93 c #Conflicts: 1878000 | #Constraints: 50837
3390.72/3399.93 c #Conflicts: 1879000 | #Constraints: 51837
3390.72/3399.93 c #Conflicts: 1880000 | #Constraints: 52837
3390.72/3399.93 c #Conflicts: 1881000 | #Constraints: 53837
3390.72/3399.93 c INPROCESSING
3390.72/3399.93 c GARBAGE COLLECT
3390.72/3399.93 c #Conflicts: 1882000 | #Constraints: 27637
3390.72/3399.93 c #Conflicts: 1883000 | #Constraints: 28637
3390.72/3399.93 c #Conflicts: 1884000 | #Constraints: 29637
3390.72/3399.93 c #Conflicts: 1885000 | #Constraints: 30637
3390.72/3399.93 c #Conflicts: 1886000 | #Constraints: 31637
3390.72/3399.93 c #Conflicts: 1887000 | #Constraints: 32637
3390.72/3399.93 c #Conflicts: 1888000 | #Constraints: 33637
3390.72/3399.93 c #Conflicts: 1889000 | #Constraints: 34637
3390.72/3399.93 c #Conflicts: 1890000 | #Constraints: 35637
3390.72/3399.93 c #Conflicts: 1891000 | #Constraints: 36637
3390.72/3399.93 c #Conflicts: 1892000 | #Constraints: 37637
3390.72/3399.93 c #Conflicts: 1893000 | #Constraints: 38637
3390.72/3399.93 c #Conflicts: 1894000 | #Constraints: 39637
3390.72/3399.93 c #Conflicts: 1895000 | #Constraints: 40637
3390.72/3399.93 c #Conflicts: 1896000 | #Constraints: 41637
3390.72/3399.93 c #Conflicts: 1897000 | #Constraints: 42637
3390.72/3399.93 c #Conflicts: 1898000 | #Constraints: 43637
3390.72/3399.93 c #Conflicts: 1899000 | #Constraints: 44637
3390.72/3399.93 c #Conflicts: 1900000 | #Constraints: 45637
3390.72/3399.93 c #Conflicts: 1901000 | #Constraints: 46637
3390.72/3399.93 c #Conflicts: 1902000 | #Constraints: 47637
3600.03/3609.80 c #Conflicts: 1903000 | #Constraints: 48637
3600.03/3609.80 c #Conflicts: 1904000 | #Constraints: 49637
3600.03/3609.80 c #Conflicts: 1905000 | #Constraints: 50637
3600.03/3609.80 c #Conflicts: 1906000 | #Constraints: 51637
3600.03/3609.80 c #Conflicts: 1907000 | #Constraints: 52637
3600.03/3609.80 c #Conflicts: 1908000 | #Constraints: 53637
3600.03/3609.80 c #Conflicts: 1909000 | #Constraints: 54637
3600.03/3609.80 c INPROCESSING
3600.03/3609.80 c GARBAGE COLLECT
3600.03/3609.80 c #Conflicts: 1910000 | #Constraints: 28237
3600.03/3609.80 c #Conflicts: 1911000 | #Constraints: 29237
3600.03/3609.80 c #Conflicts: 1912000 | #Constraints: 30237
3600.03/3609.80 c #Conflicts: 1913000 | #Constraints: 31237
3600.03/3609.80 c #Conflicts: 1914000 | #Constraints: 32237
3600.03/3609.80 c #Conflicts: 1915000 | #Constraints: 33237
3600.03/3609.80 c #Conflicts: 1916000 | #Constraints: 34237
3600.03/3609.80 c #Conflicts: 1917000 | #Constraints: 35237
3600.03/3609.80 c #Conflicts: 1918000 | #Constraints: 36237
3600.03/3609.80 c #Conflicts: 1919000 | #Constraints: 37237
3600.03/3609.80 c #Conflicts: 1920000 | #Constraints: 38237
3600.03/3609.80 c #Conflicts: 1921000 | #Constraints: 39237
3600.03/3609.80 c #Conflicts: 1922000 | #Constraints: 40237
3600.03/3609.80 c #Conflicts: 1923000 | #Constraints: 41237
3600.03/3609.80 c #Conflicts: 1924000 | #Constraints: 42237
3600.03/3609.80 c #Conflicts: 1925000 | #Constraints: 43237
3600.03/3609.80 c #Conflicts: 1926000 | #Constraints: 44237
3600.03/3609.80 c #Conflicts: 1927000 | #Constraints: 45237
3600.03/3609.80 c #Conflicts: 1928000 | #Constraints: 46237
3600.03/3609.80 c #Conflicts: 1929000 | #Constraints: 47237
3600.03/3609.80 c #Conflicts: 1930000 | #Constraints: 48237
3600.03/3609.80 c #Conflicts: 1931000 | #Constraints: 49237
3600.03/3609.80 c #Conflicts: 1932000 | #Constraints: 50237
3600.03/3609.80 c #Conflicts: 1933000 | #Constraints: 51237
3600.03/3609.80 c #Conflicts: 1934000 | #Constraints: 52237
3600.03/3609.80 c #Conflicts: 1935000 | #Constraints: 53237
3600.03/3609.80 c #Conflicts: 1936000 | #Constraints: 54237
3600.03/3609.80 c #Conflicts: 1937000 | #Constraints: 55237
3600.03/3609.80 c INPROCESSING
3600.03/3609.80 c GARBAGE COLLECT
3600.03/3609.80 c #Conflicts: 1938000 | #Constraints: 28638
3600.03/3609.80 c #Conflicts: 1939000 | #Constraints: 29638
3600.03/3609.80 c #Conflicts: 1940000 | #Constraints: 30638
3600.03/3609.80 c #Conflicts: 1941000 | #Constraints: 31638
3600.03/3609.80 c #Conflicts: 1942000 | #Constraints: 32638
3600.03/3609.80 c #Conflicts: 1943000 | #Constraints: 33638
3600.03/3609.80 c #Conflicts: 1944000 | #Constraints: 34638
3600.03/3609.80 c #Conflicts: 1945000 | #Constraints: 35638
3600.03/3609.80 c #Conflicts: 1946000 | #Constraints: 36638
3600.03/3609.80 c #Conflicts: 1947000 | #Constraints: 37638
3600.03/3609.80 c #Conflicts: 1948000 | #Constraints: 38638
3600.03/3609.80 c #Conflicts: 1949000 | #Constraints: 39638
3600.03/3609.80 c #Conflicts: 1950000 | #Constraints: 40638
3600.03/3609.80 c #Conflicts: 1951000 | #Constraints: 41638
3600.03/3609.80 c #Conflicts: 1952000 | #Constraints: 42638
3600.03/3609.80 c #Conflicts: 1953000 | #Constraints: 43638
3600.03/3609.80 c #Conflicts: 1954000 | #Constraints: 44638
3600.03/3609.80 c #Conflicts: 1955000 | #Constraints: 45638
3600.03/3609.80 c #Conflicts: 1956000 | #Constraints: 46638
3600.03/3609.80 c #Conflicts: 1957000 | #Constraints: 47638
3600.03/3609.80 c #Conflicts: 1958000 | #Constraints: 48638
3600.03/3609.80 c #Conflicts: 1959000 | #Constraints: 49638
3600.03/3609.80 c #Conflicts: 1960000 | #Constraints: 50638
3600.03/3609.80 c #Conflicts: 1961000 | #Constraints: 51638
3600.03/3609.80 c #Conflicts: 1962000 | #Constraints: 52638
3600.03/3609.80 c #Conflicts: 1963000 | #Constraints: 53638
3600.03/3609.80 c #Conflicts: 1964000 | #Constraints: 54638
3600.03/3609.80 c #Conflicts: 1965000 | #Constraints: 55638
3600.03/3609.80 c INPROCESSING
3600.03/3609.80 c GARBAGE COLLECT
3600.03/3609.80 c #Conflicts: 1966000 | #Constraints: 28843
3600.03/3609.80 c #Conflicts: 1967000 | #Constraints: 29843
3600.03/3609.80 c #Conflicts: 1968000 | #Constraints: 30843
3600.03/3609.80 c #Conflicts: 1969000 | #Constraints: 31843
3600.03/3609.80 c #Conflicts: 1970000 | #Constraints: 32843
3600.03/3609.80 c #Conflicts: 1971000 | #Constraints: 33843
3600.03/3609.80 c #Conflicts: 1972000 | #Constraints: 34843
3600.03/3609.80 c #Conflicts: 1973000 | #Constraints: 35843
3600.03/3609.80 c Program interrupted by user.
3600.03/3609.80 c cpu time 3592.3 s
3600.03/3609.80 c deterministic time 615585766494 6.16e+11
3600.03/3609.80 c optimization time 22.0428 s
3600.03/3609.80 c total solve time 3570.26 s
3600.03/3609.80 c core-guided solve time 3570.26 s
3600.03/3609.80 c propagation time 3448.58 s
3600.03/3609.80 c conflict analysis time 127.881 s
3600.03/3609.80 c propagations 25348821
3600.03/3609.80 c resolve steps 9103109
3600.03/3609.80 c decisions 4338197
3600.03/3609.80 c conflicts 1973225
3600.03/3609.80 c restarts 3841
3600.03/3609.80 c inprocessing phases 131
3600.03/3609.80 c input clauses 0
3600.03/3609.80 c input cardinalities 0
3600.03/3609.80 c input general constraints 20
3600.03/3609.80 c input average constraint length 92.50
3600.03/3609.80 c input average constraint degree 2196.30
3600.03/3609.80 c learned clauses 857368
3600.03/3609.80 c learned cardinalities 0
3600.03/3609.80 c learned general constraints 1115857
3600.03/3609.80 c learned average constraint length 92.99
3600.03/3609.80 c learned average constraint degree 175351.73
3600.03/3609.80 c watched constraints 1115793
3600.03/3609.80 c counting constraints 84
3600.03/3609.80 c gcd simplifications 753107
3600.03/3609.80 c detected cardinalities 0
3600.03/3609.80 c weakened non-implied lits 30579659
3600.03/3609.80 c weakened non-implying lits 2424481
3600.03/3609.80 c original variables 198
3600.03/3609.80 c clausal propagations 439896
3600.03/3609.80 c cardinality propagations 0
3600.03/3609.80 c watched propagations 21881215
3600.03/3609.80 c counting propagations 1702211
3600.03/3609.80 c watch lookups 25552882028
3600.03/3609.80 c watch backjump lookups 7187786055
3600.03/3609.80 c watch checks 518787256079
3600.03/3609.80 c propagation checks 62978132562
3600.03/3609.80 c constraint additions 1018362666
3600.03/3609.80 c trail pops 31660085
3600.03/3609.80 c formula constraints 16
3600.03/3609.80 c learned constraints 1973225
3600.03/3609.80 c bound constraints 4
3600.03/3609.80 c core-guided constraints 0
3600.03/3609.80 c encountered formula constraints 2349789
3600.03/3609.80 c encountered learned constraints 8726545
3600.03/3609.80 c encountered bound constraints 0
3600.03/3609.80 c encountered core-guided constraints 0
3600.03/3609.80 c LP total time 0 s
3600.03/3609.80 c LP solve time 0 s
3600.03/3609.80 c LP constraints added 0
3600.03/3609.80 c LP constraints removed 0
3600.03/3609.80 c LP pivots internal 0
3600.03/3609.80 c LP pivots root 0
3600.03/3609.80 c LP calls 0
3600.03/3609.80 c LP optimalities 0
3600.03/3609.80 c LP no pivot count 0
3600.03/3609.80 c LP infeasibilities 0
3600.03/3609.80 c LP valid Farkas constraints 0
3600.03/3609.80 c LP learned Farkas constraints 0
3600.03/3609.80 c LP basis resets 0
3600.03/3609.80 c LP cycling count 0
3600.03/3609.80 c LP singular count 0
3600.03/3609.80 c LP no primal count 0
3600.03/3609.80 c LP no farkas count 0
3600.03/3609.80 c LP other issue count 0
3600.03/3609.80 c LP Gomory cuts 0
3600.03/3609.80 c LP learned cuts 0
3600.03/3609.80 c LP deleted cuts 0
3600.03/3609.80 c LP encountered Gomory constraints 0
3600.03/3609.80 c LP encountered Farkas constraints 0
3600.03/3609.80 c LP encountered learned Farkas constraints 0
3600.03/3609.80 c CG auxiliary variables introduced 0
3600.03/3609.80 c CG solutions found 4
3600.03/3609.80 c CG cores constructed 0
3600.03/3609.80 c CG core cardinality constraints returned 0
3600.03/3609.80 c CG unit cores 0
3600.03/3609.80 c CG single cores 0
3600.03/3609.80 c CG blocks removed during cardinality reduction 0
3600.03/3609.80 c CG first core best 0
3600.03/3609.80 c CG decision core best 0
3600.03/3609.80 c CG core reduction tie 0
3600.03/3609.80 c CG core degree average 0.00
3600.03/3609.80 c CG core slack average 0.00
3600.03/3609.80 c CG exhausted 0
3600.03/3609.80 c CG exhaust time 0 s
3600.03/3609.80 c CG trimmed 0
3600.03/3609.80 c CG trim time 0 s
3600.03/3609.80 c CG minimized 0
3600.03/3609.80 c CG minimize time 0 s
3600.03/3609.80 c CG am1 prop time 0.000193 s
3600.03/3609.80 c CG # am1s reformulated 0
3600.03/3609.80 c CG lower bound derived from am1s 0
3600.03/3609.80 c CG # clausal cores 0
3600.03/3609.80 c CG # cardinality cores 0
3600.03/3609.80 c CG # pb cores 0
3600.03/3609.80 c CG # pb reforms 0
3600.03/3609.80 c CG # cores discarded because of pb reform 0
3600.03/3609.80 d LOWERBOUND 0
3600.03/3609.80 d NCORES 0
3600.03/3609.80 d NPBCORES 0
3600.03/3609.80 d NPBREFORM 0
3600.03/3609.80 d NTRIMMED 0
3600.03/3609.80 d NEXHAUSTED 0
3600.03/3609.80 d NAM1S 0
3600.03/3609.80 d AM1LB 0
3600.03/3609.80 o 55
3600.03/3609.80 s SATISFIABLE
3600.03/3609.80 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 x33 x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 x123 -x124 -x125 -x126 -x127 -x128 x129 x130 x131 -x132 -x133 x134 -x135 x136 -x137 x138 -x139 x140 x141 x142 x143 -x144 x145 x146 -x147 x148 x149 -x150 x151 -x152 x153 -x154 -x155 x156 x157 -x158 -x159 x160 -x161 x162 x163 -x164 -x165 x166 x167 -x168 -x169 -x170 x171 x172 -x173 -x174 -x175 -x176 x177 x178 -x179 -x180 x181 x182 -x183 -x184 x185 -x186 -x187 x188 -x189 -x190 x191 x192 -x193 x194 x195 -x196 x197 -x198
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62903 MiB free)
memory of node 1: 64465 MiB (63893 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490422-1751366838/watcher-4490422-1751366838 -o /tmp/evaluation-result-4490422-1751366838/solver-4490422-1751366838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751363225-49198 --watchdog 3760 pb-oll-rs HOME/instance-4490422-1751366838.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=49597, runsolver pid=49591
Current StackSize limit: 8192 KiB
[startup+0.100055 s]*
/proc/loadavg: 4.08 4.10 4.09 4/261 49606
/proc/meminfo: memFree=129865684/131250000 swapFree=33010684/33010684
[pid=49597] ppid=49591 vsize=20352 memory=8372 CPUtime=0.08 cores=0,2
/proc/49597/stat : 49597 (pb-oll-rs) R 49591 49597 49188 0 -1 4194304 437 0 0 0 8 0 0 0 20 0 1 0 52306299 20840448 2093 18446744073709551615 4218880 5211445 140725697788432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9449472 140725697796508 140725697796585 140725697796585 140725697802187 0
/proc/49597/statm: 5088 2093 1344 243 0 1337 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 20352 KiB
Current children cumulated memory: 8372 KiB
[startup+0.20534 s]*
/proc/loadavg: 4.08 4.10 4.09 4/262 49610
/proc/meminfo: memFree=129865672/131250000 swapFree=33010684/33010684
[pid=49597] ppid=49591 vsize=20616 memory=8628 CPUtime=0.19 cores=0,2
/proc/49597/stat : 49597 (pb-oll-rs) R 49591 49597 49188 0 -1 4194304 506 0 0 0 18 1 0 0 20 0 1 0 52306299 21110784 2157 18446744073709551615 4218880 5211445 140725697788432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9449472 140725697796508 140725697796585 140725697796585 140725697802187 0
/proc/49597/statm: 5154 2157 1344 243 0 1403 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 20616 KiB
Current children cumulated memory: 8628 KiB
[startup+0.304839 s]*
/proc/loadavg: 4.08 4.10 4.09 5/261 49616
/proc/meminfo: memFree=129861892/131250000 swapFree=33010684/33010684
[pid=49597] ppid=49591 vsize=20752 memory=8756 CPUtime=0.29 cores=0,2
/proc/49597/stat : 49597 (pb-oll-rs) R 49591 49597 49188 0 -1 4194304 532 0 0 0 28 1 0 0 20 0 1 0 52306299 21250048 2189 18446744073709551615 4218880 5211445 140725697788432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9449472 140725697796508 140725697796585 140725697796585 140725697802187 0
/proc/49597/statm: 5188 2189 1344 243 0 1437 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 20752 KiB
Current children cumulated memory: 8756 KiB
[startup+0.700104 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 49620
/proc/meminfo: memFree=129857796/131250000 swapFree=33010684/33010684
[pid=49597] ppid=49591 vsize=21292 memory=9268 CPUtime=0.68 cores=0,2
/proc/49597/stat : 49597 (pb-oll-rs) R 49591 49597 49188 0 -1 4194304 667 0 0 0 66 2 0 0 20 0 1 0 52306299 21803008 2317 18446744073709551615 4218880 5211445 140725697788432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9449472 140725697796508 140725697796585 140725697796585 140725697802187 0
/proc/49597/statm: 5323 2317 1344 243 0 1572 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 21292 KiB
Current children cumulated memory: 9268 KiB
[startup+1.50009 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 49620
/proc/meminfo: memFree=129857576/131250000 swapFree=33010684/33010684
[pid=49597] ppid=49591 vsize=21996 memory=12008 CPUtime=1.47 cores=0,2
/proc/49597/stat : 49597 (pb-oll-rs) R 49591 49597 49188 0 -1 4194304 814 0 0 0 144 3 0 0 20 0 1 0 52306299 22523904 3002 18446744073709551615 4218880 5211445 140725697788432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9449472 140725697796508 140725697796585 140725697796585 140725697802187 0
/proc/49597/statm: 5499 3002 1344 243 0 1748 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 21996 KiB
Current children cumulated memory: 12008 KiB
[startup+3.10468 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 49620
/proc/meminfo: memFree=129856468/131250000 swapFree=33010684/33010684
[pid=49597] ppid=49591 vsize=22572 memory=12520 CPUtime=3.07 cores=0,2
/proc/49597/stat : 49597 (pb-oll-rs) R 49591 49597 49188 0 -1 4194304 965 0 0 0 301 6 0 0 20 0 1 0 52306299 23113728 3130 18446744073709551615 4218880 5211445 140725697788432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9449472 140725697796508 140725697796585 140725697796585 140725697802187 0
/proc/49597/statm: 5643 3130 1344 243 0 1892 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 22572 KiB
Current children cumulated memory: 12520 KiB
[startup+6.3001 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 49620
/proc/meminfo: memFree=129854944/131250000 swapFree=33010684/33010684
[pid=49597] ppid=49591 vsize=23260 memory=13160 CPUtime=6.27 cores=0,2
/proc/49597/stat : 49597 (pb-oll-rs) R 49591 49597 49188 0 -1 4194304 1133 0 0 0 616 11 0 0 20 0 1 0 52306299 23818240 3290 18446744073709551615 4218880 5211445 140725697788432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9449472 140725697796508 140725697796585 140725697796585 140725697802187 0
/proc/49597/statm: 5815 3290 1344 243 0 2064 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 23260 KiB
Current children cumulated memory: 13160 KiB
[startup+12.7001 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 49620
/proc/meminfo: memFree=129854452/131250000 swapFree=33010684/33010684
[pid=49597] ppid=49591 vsize=27036 memory=14568 CPUtime=12.65 cores=0,2
/proc/49597/stat : 49597 (pb-oll-rs) R 49591 49597 49188 0 -1 4194304 1492 0 0 0 1248 17 0 0 20 0 1 0 52306299 27684864 3642 18446744073709551615 4218880 5211445 140725697788432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9449472 140725697796508 140725697796585 140725697796585 140725697802187 0
/proc/49597/statm: 6759 3642 1344 243 0 3008 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 27036 KiB
Current children cumulated memory: 14568 KiB
[startup+25.5001 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 49620
/proc/meminfo: memFree=129853192/131250000 swapFree=33010684/33010684
[pid=49597] ppid=49591 vsize=28348 memory=17512 CPUtime=25.41 cores=0,2
/proc/49597/stat : 49597 (pb-oll-rs) R 49591 49597 49188 0 -1 4194304 2250 0 0 0 2513 28 0 0 20 0 1 0 52306299 29028352 4378 18446744073709551615 4218880 5211445 140725697788432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9449472 140725697796508 140725697796585 140725697796585 140725697802187 0
/proc/49597/statm: 7087 4378 1344 243 0 3336 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 28348 KiB
Current children cumulated memory: 17512 KiB
[startup+51.1051 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 49621
/proc/meminfo: memFree=129842224/131250000 swapFree=33010684/33010684
[pid=49597] ppid=49591 vsize=34304 memory=20840 CPUtime=50.96 cores=0,2
/proc/49597/stat : 49597 (pb-oll-rs) R 49591 49597 49188 0 -1 4194304 3085 0 0 0 5051 45 0 0 20 0 1 0 52306299 35127296 5210 18446744073709551615 4218880 5211445 140725697788432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9449472 140725697796508 140725697796585 140725697796585 140725697802187 0
/proc/49597/statm: 8576 5210 1344 243 0 4825 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 34304 KiB
Current children cumulated memory: 20840 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 49627
/proc/meminfo: memFree=129829744/131250000 swapFree=33010684/33010684
[pid=49597] ppid=49591 vsize=37444 memory=25704 CPUtime=102.02 cores=0,2
/proc/49597/stat : 49597 (pb-oll-rs) R 49591 49597 49188 0 -1 4194304 3772 0 0 0 10127 75 0 0 20 0 1 0 52306299 38342656 6426 18446744073709551615 4218880 5211445 140725697788432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9449472 140725697796508 140725697796585 140725697796585 140725697802187 0
/proc/49597/statm: 9361 6426 1344 243 0 5610 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 37444 KiB
Current children cumulated memory: 25704 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/266 49631
/proc/meminfo: memFree=129835384/131250000 swapFree=33010684/33010684
[pid=49597] ppid=49591 vsize=46112 memory=29160 CPUtime=161.87 cores=0,2
/proc/49597/stat : 49597 (pb-oll-rs) R 49591 49597 49188 0 -1 4194304 4684 0 0 0 16085 102 0 0 20 0 1 0 52306299 47218688 7290 18446744073709551615 4218880 5211445 140725697788432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9449472 140725697796508 140725697796585 140725697796585 140725697802187 0
/proc/49597/statm: 11528 7290 1344 243 0 7777 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 46112 KiB
Current children cumulated memory: 29160 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/266 49634
/proc/meminfo: memFree=129829616/131250000 swapFree=33010684/33010684
[pid=49597] ppid=49591 vsize=46824 memory=32476 CPUtime=221.71 cores=0,2
/proc/49597/stat : 49597 (pb-oll-rs) R 49591 49597 49188 0 -1 4194304 5172 0 0 0 22044 127 0 0 20 0 1 0 52306299 47947776 8119 18446744073709551615 4218880 5211445 140725697788432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9449472 140725697796508 140725697796585 140725697796585 140725697802187 0
/proc/49597/statm: 11706 8119 1344 243 0 7955 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 46824 KiB
Current children cumulated memory: 32476 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 49639
/proc/meminfo: memFree=129800976/131250000 swapFree=33010684/33010684
[pid=49597] ppid=49591 vsize=46896 memory=35032 CPUtime=281.55 cores=0,2
/proc/49597/stat : 49597 (pb-oll-rs) R 49591 49597 49188 0 -1 4194304 5340 0 0 0 28004 151 0 0 20 0 1 0 52306299 48021504 8758 18446744073709551615 4218880 5211445 140725697788432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9449472 140725697796508 140725697796585 140725697796585 140725697802187 0
/proc/49597/statm: 11724 8758 1344 243 0 7973 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 46896 KiB
Current children cumulated memory: 35032 KiB
[startup+342.3 s]
/proc/loadavg: 4.31 4.16 4.11 5/267 49641
/proc/meminfo: memFree=129812948/131250000 swapFree=33010684/33010684
[pid=49597] ppid=49591 vsize=47928 memory=35928 CPUtime=341.39 cores=0,2
/proc/49597/stat : 49597 (pb-oll-rs) R 49591 49597 49188 0 -1 4194304 5660 0 0 0 33972 167 0 0 20 0 1 0 52306299 49078272 8982 18446744073709551615 4218880 5211445 140725697788432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9449472 140725697796508 140725697796585 140725697796585 140725697802187 0
/proc/49597/statm: 11982 8982 1344 243 0 8231 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 47928 KiB
Current children cumulated memory: 35928 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/267 49643
/proc/meminfo: memFree=129797948/131250000 swapFree=33010684/33010684
[pid=49597] ppid=49591 vsize=50896 memory=37964 CPUtime=401.24 cores=0,2
/proc/49597/stat : 49597 (pb-oll-rs) R 49591 49597 49188 0 -1 4194304 6338 0 0 0 39938 186 0 0 20 0 1 0 52306299 52117504 9491 18446744073709551615 4218880 5211445 140725697788432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9449472 140725697796508 140725697796585 140725697796585 140725697802187 0
/proc/49597/statm: 12724 9491 1344 243 0 8973 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 50896 KiB
Current children cumulated memory: 37964 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/267 49645
/proc/meminfo: memFree=129794168/131250000 swapFree=33010684/33010684
[pid=49597] ppid=49591 vsize=51792 memory=40652 CPUtime=461.09 cores=0,2
/proc/49597/stat : 49597 (pb-oll-rs) R 49591 49597 49188 0 -1 4194304 6910 0 0 0 45902 207 0 0 20 0 1 0 52306299 53035008 10163 18446744073709551615 4218880 5211445 140725697788432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9449472 140725697796508 140725697796585 140725697796585 140725697802187 0
/proc/49597/statm: 12948 10163 1344 243 0 9197 0
################
# More data... #
################
Current children cumulated memory: 66712 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 49813
/proc/meminfo: memFree=129751656/131250000 swapFree=33010684/33010684
[pid=49597] ppid=49591 vsize=93920 memory=66712 CPUtime=2854.65 cores=0,2
/proc/49597/stat : 49597 (pb-oll-rs) R 49591 49597 49188 0 -1 4194304 13594 0 0 0 284801 664 0 0 20 0 1 0 52306299 96174080 16678 18446744073709551615 4218880 5211445 140725697788432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9449472 140725697796508 140725697796585 140725697796585 140725697802187 0
/proc/49597/statm: 23480 16678 1344 243 0 19729 0
Current children cumulated CPU time: 2854.65 s
Current children cumulated vsize: 93920 KiB
Current children cumulated memory: 66712 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 49815
/proc/meminfo: memFree=129753216/131250000 swapFree=33010684/33010684
[pid=49597] ppid=49591 vsize=93920 memory=66712 CPUtime=2914.48 cores=0,2
/proc/49597/stat : 49597 (pb-oll-rs) R 49591 49597 49188 0 -1 4194304 13594 0 0 0 290774 674 0 0 20 0 1 0 52306299 96174080 16678 18446744073709551615 4218880 5211445 140725697788432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9449472 140725697796508 140725697796585 140725697796585 140725697802187 0
/proc/49597/statm: 23480 16678 1344 243 0 19729 0
Current children cumulated CPU time: 2914.48 s
Current children cumulated vsize: 93920 KiB
Current children cumulated memory: 66712 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 49817
/proc/meminfo: memFree=129753100/131250000 swapFree=33010684/33010684
[pid=49597] ppid=49591 vsize=94176 memory=66968 CPUtime=2974.3 cores=0,2
/proc/49597/stat : 49597 (pb-oll-rs) R 49591 49597 49188 0 -1 4194304 13659 0 0 0 296749 681 0 0 20 0 1 0 52306299 96436224 16742 18446744073709551615 4218880 5211445 140725697788432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9449472 140725697796508 140725697796585 140725697796585 140725697802187 0
/proc/49597/statm: 23544 16742 1344 243 0 19793 0
Current children cumulated CPU time: 2974.3 s
Current children cumulated vsize: 94176 KiB
Current children cumulated memory: 66968 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 49819
/proc/meminfo: memFree=129752484/131250000 swapFree=33010684/33010684
[pid=49597] ppid=49591 vsize=94176 memory=66968 CPUtime=3034.14 cores=0,2
/proc/49597/stat : 49597 (pb-oll-rs) R 49591 49597 49188 0 -1 4194304 13659 0 0 0 302723 691 0 0 20 0 1 0 52306299 96436224 16742 18446744073709551615 4218880 5211445 140725697788432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9449472 140725697796508 140725697796585 140725697796585 140725697802187 0
/proc/49597/statm: 23544 16742 1344 243 0 19793 0
Current children cumulated CPU time: 3034.14 s
Current children cumulated vsize: 94176 KiB
Current children cumulated memory: 66968 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 49824
/proc/meminfo: memFree=129752136/131250000 swapFree=33010684/33010684
[pid=49597] ppid=49591 vsize=94176 memory=66968 CPUtime=3093.97 cores=0,2
/proc/49597/stat : 49597 (pb-oll-rs) R 49591 49597 49188 0 -1 4194304 13687 0 0 0 308699 698 0 0 20 0 1 0 52306299 96436224 16742 18446744073709551615 4218880 5211445 140725697788432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9449472 140725697796508 140725697796585 140725697796585 140725697802187 0
/proc/49597/statm: 23544 16742 1344 243 0 19793 0
Current children cumulated CPU time: 3093.97 s
Current children cumulated vsize: 94176 KiB
Current children cumulated memory: 66968 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 49831
/proc/meminfo: memFree=129752096/131250000 swapFree=33010684/33010684
[pid=49597] ppid=49591 vsize=94432 memory=67224 CPUtime=3153.8 cores=0,2
/proc/49597/stat : 49597 (pb-oll-rs) R 49591 49597 49188 0 -1 4194304 13752 0 0 0 314673 707 0 0 20 0 1 0 52306299 96698368 16806 18446744073709551615 4218880 5211445 140725697788432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9449472 140725697796508 140725697796585 140725697796585 140725697802187 0
/proc/49597/statm: 23608 16806 1344 243 0 19857 0
Current children cumulated CPU time: 3153.8 s
Current children cumulated vsize: 94432 KiB
Current children cumulated memory: 67224 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/265 49834
/proc/meminfo: memFree=129747852/131250000 swapFree=33010684/33010684
[pid=49597] ppid=49591 vsize=94432 memory=67224 CPUtime=3213.63 cores=0,2
/proc/49597/stat : 49597 (pb-oll-rs) R 49591 49597 49188 0 -1 4194304 13753 0 0 0 320645 718 0 0 20 0 1 0 52306299 96698368 16806 18446744073709551615 4218880 5211445 140725697788432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9449472 140725697796508 140725697796585 140725697796585 140725697802187 0
/proc/49597/statm: 23608 16806 1344 243 0 19857 0
Current children cumulated CPU time: 3213.63 s
Current children cumulated vsize: 94432 KiB
Current children cumulated memory: 67224 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/265 49835
/proc/meminfo: memFree=129739836/131250000 swapFree=33010684/33010684
[pid=49597] ppid=49591 vsize=95456 memory=69936 CPUtime=3273.46 cores=0,2
/proc/49597/stat : 49597 (pb-oll-rs) R 49591 49597 49188 0 -1 4194304 13920 0 0 0 326619 727 0 0 20 0 1 0 52306299 97746944 17484 18446744073709551615 4218880 5211445 140725697788432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9449472 140725697796508 140725697796585 140725697796585 140725697802187 0
/proc/49597/statm: 23864 17484 1344 243 0 20113 0
Current children cumulated CPU time: 3273.46 s
Current children cumulated vsize: 95456 KiB
Current children cumulated memory: 69936 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 49837
/proc/meminfo: memFree=129736152/131250000 swapFree=33010684/33010684
[pid=49597] ppid=49591 vsize=95456 memory=69936 CPUtime=3333.29 cores=0,2
/proc/49597/stat : 49597 (pb-oll-rs) R 49591 49597 49188 0 -1 4194304 13921 0 0 0 332594 735 0 0 20 0 1 0 52306299 97746944 17484 18446744073709551615 4218880 5211445 140725697788432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9449472 140725697796508 140725697796585 140725697796585 140725697802187 0
/proc/49597/statm: 23864 17484 1344 243 0 20113 0
Current children cumulated CPU time: 3333.29 s
Current children cumulated vsize: 95456 KiB
Current children cumulated memory: 69936 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/264 49839
/proc/meminfo: memFree=129737908/131250000 swapFree=33010684/33010684
[pid=49597] ppid=49591 vsize=95456 memory=69936 CPUtime=3393.12 cores=0,2
/proc/49597/stat : 49597 (pb-oll-rs) R 49591 49597 49188 0 -1 4194304 13921 0 0 0 338569 743 0 0 20 0 1 0 52306299 97746944 17484 18446744073709551615 4218880 5211445 140725697788432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9449472 140725697796508 140725697796585 140725697796585 140725697802187 0
/proc/49597/statm: 23864 17484 1344 243 0 20113 0
Current children cumulated CPU time: 3393.12 s
Current children cumulated vsize: 95456 KiB
Current children cumulated memory: 69936 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 49841
/proc/meminfo: memFree=129735164/131250000 swapFree=33010684/33010684
[pid=49597] ppid=49591 vsize=95456 memory=69936 CPUtime=3452.95 cores=0,2
/proc/49597/stat : 49597 (pb-oll-rs) R 49591 49597 49188 0 -1 4194304 13921 0 0 0 344544 751 0 0 20 0 1 0 52306299 97746944 17484 18446744073709551615 4218880 5211445 140725697788432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9449472 140725697796508 140725697796585 140725697796585 140725697802187 0
/proc/49597/statm: 23864 17484 1344 243 0 20113 0
Current children cumulated CPU time: 3452.95 s
Current children cumulated vsize: 95456 KiB
Current children cumulated memory: 69936 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 49844
/proc/meminfo: memFree=129735276/131250000 swapFree=33010684/33010684
[pid=49597] ppid=49591 vsize=95456 memory=69936 CPUtime=3512.78 cores=0,2
/proc/49597/stat : 49597 (pb-oll-rs) R 49591 49597 49188 0 -1 4194304 13921 0 0 0 350516 762 0 0 20 0 1 0 52306299 97746944 17484 18446744073709551615 4218880 5211445 140725697788432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9449472 140725697796508 140725697796585 140725697796585 140725697802187 0
/proc/49597/statm: 23864 17484 1344 243 0 20113 0
Current children cumulated CPU time: 3512.78 s
Current children cumulated vsize: 95456 KiB
Current children cumulated memory: 69936 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/263 49846
/proc/meminfo: memFree=129735396/131250000 swapFree=33010684/33010684
[pid=49597] ppid=49591 vsize=95456 memory=69936 CPUtime=3572.61 cores=0,2
/proc/49597/stat : 49597 (pb-oll-rs) R 49591 49597 49188 0 -1 4194304 13921 0 0 0 356492 769 0 0 20 0 1 0 52306299 97746944 17484 18446744073709551615 4218880 5211445 140725697788432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9449472 140725697796508 140725697796585 140725697796585 140725697802187 0
/proc/49597/statm: 23864 17484 1344 243 0 20113 0
Current children cumulated CPU time: 3572.61 s
Current children cumulated vsize: 95456 KiB
Current children cumulated memory: 69936 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.09 4.10 4.09 4/260 49857
/proc/meminfo: memFree=129751128/131250000 swapFree=33010684/33010684
[pid=49597] ppid=49591 vsize=95456 memory=69936 CPUtime=3600.03 cores=0,2
/proc/49597/stat : 49597 (pb-oll-rs) R 49591 49597 49188 0 -1 4194304 13922 0 0 0 359230 773 0 0 20 0 1 0 52306299 97746944 17484 18446744073709551615 4218880 5211445 140725697788432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 9449472 140725697796508 140725697796585 140725697796585 140725697802187 0
/proc/49597/statm: 23864 17484 1344 243 0 20113 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 95456 KiB
Current children cumulated memory: 69936 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.8 s]
# the end of solver process 49597 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.3 s, system=7.73283 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.8
CPU time (s): 3600.03
CPU user time (s): 3592.3
CPU system time (s): 7.73283
CPU usage (%): 99.7294
Max. virtual memory (cumulated for all children) (KiB): 95456
Max. memory (cumulated for all children) (KiB): 69936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.3
system time used= 7.73283
maximum resident set size= 70320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13938
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106
involuntary context switches= 5105
# summary of solver processes directly reported to runsolver:
# pid: 49597
# total CPU time (s): 3600.03
# total CPU user time (s): 3592.3
# total CPU system time (s): 7.73283
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.85494 second user time and 15.2669 second system time
The end
Begin job on nodeC028 at 2025-07-01 12:47:18
IDJOB=4490422
IDBENCH=147586
IDSOLVER=3345
FILE ID=nodeC028/4490422-1751366838
RUNJOBID= nodeC028-1751363225-49198
SLURM_JOB_ID= 9598179
Free space on /tmp= 433040 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_3.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490422-1751366838/watcher-4490422-1751366838 -o /tmp/evaluation-result-4490422-1751366838/solver-4490422-1751366838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751363225-49198 --watchdog 3760 pb-oll-rs HOME/instance-4490422-1751366838.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d6e4abba593cb3232b5d1a2a9d687dd6
RANDOM SEED=1197497759
nodeC028 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.050
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.022
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.424
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.083
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3604.401
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.081
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.121
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.403
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129840404 kB
MemAvailable: 129731104 kB
Buffers: 3280 kB
Cached: 698200 kB
SwapCached: 0 kB
Active: 335792 kB
Inactive: 441408 kB
Active(anon): 93788 kB
Inactive(anon): 0 kB
Active(file): 242004 kB
Inactive(file): 441408 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 5476 kB
Writeback: 0 kB
AnonPages: 78668 kB
Mapped: 105832 kB
Shmem: 18068 kB
KReclaimable: 93056 kB
Slab: 179352 kB
SReclaimable: 93056 kB
SUnreclaim: 86296 kB
KernelStack: 4240 kB
PageTables: 3156 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 392692 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3712 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433056 MiB
End job on nodeC028 at 2025-07-01 13:47:28