0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] solving
0.00/0.00 c #variables 198 #constraints 16
0.00/0.00 c SMALL=int, LARGE=long long
0.00/0.00 c bounds - >= 0 @ 0.000778
0.00/0.00 c stratification level: 64
0.00/0.01 c bounds 515 >= 0 @ 0.012481
0.00/0.01 c stratification level: 32
0.00/0.02 c bounds 300 >= 0 @ 0.024798
0.00/0.02 c stratification level: 16
0.40/0.48 c #Conflicts: 1000 | #Constraints: 1017
0.40/0.48 c #Conflicts: 2000 | #Constraints: 2017
0.40/0.48 c INPROCESSING
0.40/0.48 c GARBAGE COLLECT
0.40/0.48 c #Conflicts: 3000 | #Constraints: 2019
0.40/0.48 c #Conflicts: 4000 | #Constraints: 3019
0.40/0.48 c bounds 107 >= 0 @ 0.468724
0.40/0.48 c stratification level: 8
21.95/22.07 c INPROCESSING
21.95/22.07 c GARBAGE COLLECT
21.95/22.07 c #Conflicts: 5000 | #Constraints: 2423
21.95/22.07 c #Conflicts: 6000 | #Constraints: 3423
21.95/22.07 c INPROCESSING
21.95/22.07 c GARBAGE COLLECT
21.95/22.07 c #Conflicts: 7000 | #Constraints: 2427
21.95/22.07 c #Conflicts: 8000 | #Constraints: 3427
21.95/22.07 c #Conflicts: 9000 | #Constraints: 4427
21.95/22.07 c INPROCESSING
21.95/22.07 c GARBAGE COLLECT
21.95/22.07 c #Conflicts: 10000 | #Constraints: 3127
21.95/22.07 c #Conflicts: 11000 | #Constraints: 4127
21.95/22.07 c #Conflicts: 12000 | #Constraints: 5127
21.95/22.07 c INPROCESSING
21.95/22.07 c GARBAGE COLLECT
21.95/22.07 c #Conflicts: 13000 | #Constraints: 3577
21.95/22.07 c #Conflicts: 14000 | #Constraints: 4577
21.95/22.07 c #Conflicts: 15000 | #Constraints: 5577
21.95/22.07 c INPROCESSING
21.95/22.07 c GARBAGE COLLECT
21.95/22.07 c #Conflicts: 16000 | #Constraints: 3802
21.95/22.07 c #Conflicts: 17000 | #Constraints: 4802
21.95/22.07 c #Conflicts: 18000 | #Constraints: 5802
21.95/22.07 c INPROCESSING
21.95/22.07 c GARBAGE COLLECT
21.95/22.07 c #Conflicts: 19000 | #Constraints: 3822
21.95/22.07 c #Conflicts: 20000 | #Constraints: 4822
21.95/22.07 c #Conflicts: 21000 | #Constraints: 5822
21.95/22.07 c INPROCESSING
21.95/22.07 c GARBAGE COLLECT
21.95/22.07 c #Conflicts: 22000 | #Constraints: 3627
21.95/22.07 c #Conflicts: 23000 | #Constraints: 4627
21.95/22.07 c #Conflicts: 24000 | #Constraints: 5627
21.95/22.07 c #Conflicts: 25000 | #Constraints: 6627
21.95/22.07 c INPROCESSING
21.95/22.07 c GARBAGE COLLECT
21.95/22.07 c #Conflicts: 26000 | #Constraints: 4230
21.95/22.07 c #Conflicts: 27000 | #Constraints: 5230
21.95/22.07 c #Conflicts: 28000 | #Constraints: 6230
21.95/22.07 c #Conflicts: 29000 | #Constraints: 7230
21.95/22.07 c INPROCESSING
21.95/22.07 c GARBAGE COLLECT
21.95/22.07 c #Conflicts: 30000 | #Constraints: 4627
21.95/22.07 c #Conflicts: 31000 | #Constraints: 5627
21.95/22.07 c #Conflicts: 32000 | #Constraints: 6627
21.95/22.07 c #Conflicts: 33000 | #Constraints: 7627
21.95/22.07 c INPROCESSING
21.95/22.07 c GARBAGE COLLECT
21.95/22.07 c #Conflicts: 34000 | #Constraints: 4830
21.95/22.07 c #Conflicts: 35000 | #Constraints: 5830
21.95/22.07 c #Conflicts: 36000 | #Constraints: 6830
21.95/22.07 c #Conflicts: 37000 | #Constraints: 7830
21.95/22.07 c INPROCESSING
21.95/22.07 c GARBAGE COLLECT
21.95/22.07 c #Conflicts: 38000 | #Constraints: 4833
21.95/22.07 c #Conflicts: 39000 | #Constraints: 5833
21.95/22.07 c #Conflicts: 40000 | #Constraints: 6833
21.95/22.07 c #Conflicts: 41000 | #Constraints: 7833
21.95/22.07 c INPROCESSING
21.95/22.07 c GARBAGE COLLECT
21.95/22.07 c #Conflicts: 42000 | #Constraints: 4635
21.95/22.07 c #Conflicts: 43000 | #Constraints: 5635
21.95/22.07 c #Conflicts: 44000 | #Constraints: 6635
21.95/22.07 c #Conflicts: 45000 | #Constraints: 7635
21.95/22.07 c #Conflicts: 46000 | #Constraints: 8635
21.95/22.07 c INPROCESSING
21.95/22.07 c GARBAGE COLLECT
21.95/22.07 c #Conflicts: 47000 | #Constraints: 5232
21.95/22.07 c #Conflicts: 48000 | #Constraints: 6232
21.95/22.07 c #Conflicts: 49000 | #Constraints: 7232
21.95/22.07 c #Conflicts: 50000 | #Constraints: 8232
21.95/22.07 c #Conflicts: 51000 | #Constraints: 9232
21.95/22.07 c INPROCESSING
21.95/22.07 c GARBAGE COLLECT
21.95/22.07 c #Conflicts: 52000 | #Constraints: 5637
21.95/22.07 c #Conflicts: 53000 | #Constraints: 6637
21.95/22.07 c #Conflicts: 54000 | #Constraints: 7637
21.95/22.07 c #Conflicts: 55000 | #Constraints: 8637
21.95/22.07 c #Conflicts: 56000 | #Constraints: 9637
21.95/22.07 c INPROCESSING
21.95/22.07 c GARBAGE COLLECT
21.95/22.07 c #Conflicts: 57000 | #Constraints: 5834
21.95/22.07 c #Conflicts: 58000 | #Constraints: 6834
21.95/22.07 c #Conflicts: 59000 | #Constraints: 7834
21.95/22.07 c #Conflicts: 60000 | #Constraints: 8834
21.95/22.07 c #Conflicts: 61000 | #Constraints: 9834
21.95/22.07 c INPROCESSING
21.95/22.07 c GARBAGE COLLECT
21.95/22.07 c #Conflicts: 62000 | #Constraints: 5834
21.95/22.07 c #Conflicts: 63000 | #Constraints: 6834
21.95/22.07 c #Conflicts: 64000 | #Constraints: 7834
21.95/22.07 c #Conflicts: 65000 | #Constraints: 8834
21.95/22.07 c #Conflicts: 66000 | #Constraints: 9834
21.95/22.07 c INPROCESSING
21.95/22.07 c GARBAGE COLLECT
21.95/22.07 c #Conflicts: 67000 | #Constraints: 5635
21.95/22.07 c #Conflicts: 68000 | #Constraints: 6635
21.95/22.07 c #Conflicts: 69000 | #Constraints: 7635
21.95/22.07 c #Conflicts: 70000 | #Constraints: 8635
21.95/22.07 c #Conflicts: 71000 | #Constraints: 9635
21.95/22.07 c #Conflicts: 72000 | #Constraints: 10635
59.17/59.36 c INPROCESSING
59.17/59.36 c GARBAGE COLLECT
59.17/59.36 c #Conflicts: 73000 | #Constraints: 6230
59.17/59.36 c #Conflicts: 74000 | #Constraints: 7230
59.17/59.36 c #Conflicts: 75000 | #Constraints: 8230
59.17/59.36 c #Conflicts: 76000 | #Constraints: 9230
59.17/59.36 c #Conflicts: 77000 | #Constraints: 10230
59.17/59.36 c #Conflicts: 78000 | #Constraints: 11230
59.17/59.36 c INPROCESSING
59.17/59.36 c GARBAGE COLLECT
59.17/59.36 c #Conflicts: 79000 | #Constraints: 6631
59.17/59.36 c #Conflicts: 80000 | #Constraints: 7631
59.17/59.36 c #Conflicts: 81000 | #Constraints: 8631
59.17/59.36 c #Conflicts: 82000 | #Constraints: 9631
59.17/59.36 c #Conflicts: 83000 | #Constraints: 10631
59.17/59.36 c #Conflicts: 84000 | #Constraints: 11631
59.17/59.36 c INPROCESSING
59.17/59.36 c GARBAGE COLLECT
59.17/59.36 c #Conflicts: 85000 | #Constraints: 6832
59.17/59.36 c #Conflicts: 86000 | #Constraints: 7832
59.17/59.36 c #Conflicts: 87000 | #Constraints: 8832
59.17/59.36 c #Conflicts: 88000 | #Constraints: 9832
59.17/59.36 c #Conflicts: 89000 | #Constraints: 10832
59.17/59.36 c #Conflicts: 90000 | #Constraints: 11832
59.17/59.36 c INPROCESSING
59.17/59.36 c GARBAGE COLLECT
59.17/59.36 c #Conflicts: 91000 | #Constraints: 6837
59.17/59.36 c #Conflicts: 92000 | #Constraints: 7837
59.17/59.36 c #Conflicts: 93000 | #Constraints: 8837
59.17/59.36 c #Conflicts: 94000 | #Constraints: 9837
59.17/59.36 c #Conflicts: 95000 | #Constraints: 10837
59.17/59.36 c #Conflicts: 96000 | #Constraints: 11837
59.17/59.36 c INPROCESSING
59.17/59.36 c GARBAGE COLLECT
59.17/59.36 c #Conflicts: 97000 | #Constraints: 6638
59.17/59.36 c #Conflicts: 98000 | #Constraints: 7638
59.17/59.36 c #Conflicts: 99000 | #Constraints: 8638
59.17/59.36 c #Conflicts: 100000 | #Constraints: 9638
59.17/59.36 c #Conflicts: 101000 | #Constraints: 10638
59.17/59.36 c #Conflicts: 102000 | #Constraints: 11638
59.17/59.36 c #Conflicts: 103000 | #Constraints: 12638
59.17/59.36 c INPROCESSING
59.17/59.36 c GARBAGE COLLECT
59.17/59.36 c #Conflicts: 104000 | #Constraints: 7236
59.17/59.36 c #Conflicts: 105000 | #Constraints: 8236
59.17/59.36 c #Conflicts: 106000 | #Constraints: 9236
59.17/59.36 c #Conflicts: 107000 | #Constraints: 10236
59.17/59.36 c #Conflicts: 108000 | #Constraints: 11236
59.17/59.36 c #Conflicts: 109000 | #Constraints: 12236
59.17/59.36 c #Conflicts: 110000 | #Constraints: 13236
59.17/59.36 c INPROCESSING
59.17/59.36 c GARBAGE COLLECT
59.17/59.36 c #Conflicts: 111000 | #Constraints: 7636
59.17/59.36 c #Conflicts: 112000 | #Constraints: 8636
59.17/59.36 c #Conflicts: 113000 | #Constraints: 9636
59.17/59.36 c #Conflicts: 114000 | #Constraints: 10636
59.17/59.36 c #Conflicts: 115000 | #Constraints: 11636
59.17/59.36 c #Conflicts: 116000 | #Constraints: 12636
59.17/59.36 c #Conflicts: 117000 | #Constraints: 13636
59.17/59.36 c INPROCESSING
59.17/59.36 c GARBAGE COLLECT
59.17/59.36 c #Conflicts: 118000 | #Constraints: 7833
59.17/59.36 c #Conflicts: 119000 | #Constraints: 8833
59.17/59.36 c #Conflicts: 120000 | #Constraints: 9833
59.17/59.36 c #Conflicts: 121000 | #Constraints: 10833
59.17/59.36 c #Conflicts: 122000 | #Constraints: 11833
59.17/59.36 c #Conflicts: 123000 | #Constraints: 12833
59.17/59.36 c #Conflicts: 124000 | #Constraints: 13833
59.17/59.36 c INPROCESSING
59.17/59.36 c GARBAGE COLLECT
59.17/59.36 c #Conflicts: 125000 | #Constraints: 7835
59.17/59.36 c #Conflicts: 126000 | #Constraints: 8835
59.17/59.36 c #Conflicts: 127000 | #Constraints: 9835
59.17/59.36 c #Conflicts: 128000 | #Constraints: 10835
59.17/59.36 c #Conflicts: 129000 | #Constraints: 11835
59.17/59.36 c #Conflicts: 130000 | #Constraints: 12835
59.17/59.36 c #Conflicts: 131000 | #Constraints: 13835
59.17/59.36 c INPROCESSING
59.17/59.36 c GARBAGE COLLECT
59.17/59.36 c #Conflicts: 132000 | #Constraints: 7633
59.17/59.36 c #Conflicts: 133000 | #Constraints: 8633
59.17/59.36 c #Conflicts: 134000 | #Constraints: 9633
59.17/59.36 c #Conflicts: 135000 | #Constraints: 10633
59.17/59.36 c #Conflicts: 136000 | #Constraints: 11633
59.17/59.36 c #Conflicts: 137000 | #Constraints: 12633
59.17/59.36 c #Conflicts: 138000 | #Constraints: 13633
59.17/59.36 c #Conflicts: 139000 | #Constraints: 14633
59.17/59.36 c INPROCESSING
59.17/59.36 c GARBAGE COLLECT
59.17/59.36 c #Conflicts: 140000 | #Constraints: 8236
59.17/59.36 c #Conflicts: 141000 | #Constraints: 9236
59.17/59.36 c #Conflicts: 142000 | #Constraints: 10236
59.17/59.36 c #Conflicts: 143000 | #Constraints: 11236
59.17/59.36 c #Conflicts: 144000 | #Constraints: 12236
106.56/106.85 c #Conflicts: 145000 | #Constraints: 13236
106.56/106.85 c #Conflicts: 146000 | #Constraints: 14236
106.56/106.85 c #Conflicts: 147000 | #Constraints: 15236
106.56/106.85 c INPROCESSING
106.56/106.85 c GARBAGE COLLECT
106.56/106.85 c #Conflicts: 148000 | #Constraints: 8635
106.56/106.85 c #Conflicts: 149000 | #Constraints: 9635
106.56/106.85 c #Conflicts: 150000 | #Constraints: 10635
106.56/106.85 c #Conflicts: 151000 | #Constraints: 11635
106.56/106.85 c #Conflicts: 152000 | #Constraints: 12635
106.56/106.85 c #Conflicts: 153000 | #Constraints: 13635
106.56/106.85 c #Conflicts: 154000 | #Constraints: 14635
106.56/106.85 c #Conflicts: 155000 | #Constraints: 15635
106.56/106.85 c INPROCESSING
106.56/106.85 c GARBAGE COLLECT
106.56/106.85 c #Conflicts: 156000 | #Constraints: 8838
106.56/106.85 c #Conflicts: 157000 | #Constraints: 9838
106.56/106.85 c #Conflicts: 158000 | #Constraints: 10838
106.56/106.85 c #Conflicts: 159000 | #Constraints: 11838
106.56/106.85 c #Conflicts: 160000 | #Constraints: 12838
106.56/106.85 c #Conflicts: 161000 | #Constraints: 13838
106.56/106.85 c #Conflicts: 162000 | #Constraints: 14838
106.56/106.85 c #Conflicts: 163000 | #Constraints: 15838
106.56/106.85 c INPROCESSING
106.56/106.85 c GARBAGE COLLECT
106.56/106.85 c #Conflicts: 164000 | #Constraints: 8837
106.56/106.85 c #Conflicts: 165000 | #Constraints: 9837
106.56/106.85 c #Conflicts: 166000 | #Constraints: 10837
106.56/106.85 c #Conflicts: 167000 | #Constraints: 11837
106.56/106.85 c #Conflicts: 168000 | #Constraints: 12837
106.56/106.85 c #Conflicts: 169000 | #Constraints: 13837
106.56/106.85 c #Conflicts: 170000 | #Constraints: 14837
106.56/106.85 c #Conflicts: 171000 | #Constraints: 15837
106.56/106.85 c INPROCESSING
106.56/106.85 c GARBAGE COLLECT
106.56/106.85 c #Conflicts: 172000 | #Constraints: 8632
106.56/106.85 c #Conflicts: 173000 | #Constraints: 9632
106.56/106.85 c #Conflicts: 174000 | #Constraints: 10632
106.56/106.85 c #Conflicts: 175000 | #Constraints: 11632
106.56/106.85 c #Conflicts: 176000 | #Constraints: 12632
106.56/106.85 c #Conflicts: 177000 | #Constraints: 13632
106.56/106.85 c #Conflicts: 178000 | #Constraints: 14632
106.56/106.85 c #Conflicts: 179000 | #Constraints: 15632
106.56/106.85 c #Conflicts: 180000 | #Constraints: 16632
106.56/106.85 c INPROCESSING
106.56/106.85 c GARBAGE COLLECT
106.56/106.85 c #Conflicts: 181000 | #Constraints: 9232
106.56/106.85 c #Conflicts: 182000 | #Constraints: 10232
106.56/106.85 c #Conflicts: 183000 | #Constraints: 11232
106.56/106.85 c #Conflicts: 184000 | #Constraints: 12232
106.56/106.85 c #Conflicts: 185000 | #Constraints: 13232
106.56/106.85 c #Conflicts: 186000 | #Constraints: 14232
106.56/106.85 c #Conflicts: 187000 | #Constraints: 15232
106.56/106.85 c #Conflicts: 188000 | #Constraints: 16232
106.56/106.85 c #Conflicts: 189000 | #Constraints: 17232
106.56/106.85 c INPROCESSING
106.56/106.85 c GARBAGE COLLECT
106.56/106.85 c #Conflicts: 190000 | #Constraints: 9634
106.56/106.85 c #Conflicts: 191000 | #Constraints: 10634
106.56/106.85 c #Conflicts: 192000 | #Constraints: 11634
106.56/106.85 c #Conflicts: 193000 | #Constraints: 12634
106.56/106.85 c #Conflicts: 194000 | #Constraints: 13634
106.56/106.85 c #Conflicts: 195000 | #Constraints: 14634
106.56/106.85 c #Conflicts: 196000 | #Constraints: 15634
106.56/106.85 c #Conflicts: 197000 | #Constraints: 16634
106.56/106.85 c #Conflicts: 198000 | #Constraints: 17634
106.56/106.85 c INPROCESSING
106.56/106.85 c GARBAGE COLLECT
106.56/106.85 c #Conflicts: 199000 | #Constraints: 9839
106.56/106.85 c #Conflicts: 200000 | #Constraints: 10839
106.56/106.85 c #Conflicts: 201000 | #Constraints: 11839
106.56/106.85 c #Conflicts: 202000 | #Constraints: 12839
106.56/106.85 c #Conflicts: 203000 | #Constraints: 13839
106.56/106.85 c #Conflicts: 204000 | #Constraints: 14839
106.56/106.85 c #Conflicts: 205000 | #Constraints: 15839
106.56/106.85 c #Conflicts: 206000 | #Constraints: 16839
106.56/106.85 c #Conflicts: 207000 | #Constraints: 17839
106.56/106.85 c INPROCESSING
106.56/106.85 c GARBAGE COLLECT
106.56/106.85 c #Conflicts: 208000 | #Constraints: 9836
106.56/106.85 c #Conflicts: 209000 | #Constraints: 10836
106.56/106.85 c #Conflicts: 210000 | #Constraints: 11836
106.56/106.85 c #Conflicts: 211000 | #Constraints: 12836
106.56/106.85 c #Conflicts: 212000 | #Constraints: 13836
106.56/106.85 c #Conflicts: 213000 | #Constraints: 14836
106.56/106.85 c #Conflicts: 214000 | #Constraints: 15836
106.56/106.85 c #Conflicts: 215000 | #Constraints: 16836
106.56/106.85 c #Conflicts: 216000 | #Constraints: 17836
106.56/106.85 c INPROCESSING
106.56/106.85 c GARBAGE COLLECT
106.56/106.85 c #Conflicts: 217000 | #Constraints: 9641
162.66/163.02 c #Conflicts: 218000 | #Constraints: 10641
162.66/163.02 c #Conflicts: 219000 | #Constraints: 11641
162.66/163.02 c #Conflicts: 220000 | #Constraints: 12641
162.66/163.02 c #Conflicts: 221000 | #Constraints: 13641
162.66/163.02 c #Conflicts: 222000 | #Constraints: 14641
162.66/163.02 c #Conflicts: 223000 | #Constraints: 15641
162.66/163.02 c #Conflicts: 224000 | #Constraints: 16641
162.66/163.02 c #Conflicts: 225000 | #Constraints: 17641
162.66/163.02 c #Conflicts: 226000 | #Constraints: 18641
162.66/163.02 c INPROCESSING
162.66/163.02 c GARBAGE COLLECT
162.66/163.02 c #Conflicts: 227000 | #Constraints: 10238
162.66/163.02 c #Conflicts: 228000 | #Constraints: 11238
162.66/163.02 c #Conflicts: 229000 | #Constraints: 12238
162.66/163.02 c #Conflicts: 230000 | #Constraints: 13238
162.66/163.02 c #Conflicts: 231000 | #Constraints: 14238
162.66/163.02 c #Conflicts: 232000 | #Constraints: 15238
162.66/163.02 c #Conflicts: 233000 | #Constraints: 16238
162.66/163.02 c #Conflicts: 234000 | #Constraints: 17238
162.66/163.02 c #Conflicts: 235000 | #Constraints: 18238
162.66/163.02 c #Conflicts: 236000 | #Constraints: 19238
162.66/163.02 c INPROCESSING
162.66/163.02 c GARBAGE COLLECT
162.66/163.02 c #Conflicts: 237000 | #Constraints: 10636
162.66/163.02 c #Conflicts: 238000 | #Constraints: 11636
162.66/163.02 c #Conflicts: 239000 | #Constraints: 12636
162.66/163.02 c #Conflicts: 240000 | #Constraints: 13636
162.66/163.02 c #Conflicts: 241000 | #Constraints: 14636
162.66/163.02 c #Conflicts: 242000 | #Constraints: 15636
162.66/163.02 c #Conflicts: 243000 | #Constraints: 16636
162.66/163.02 c #Conflicts: 244000 | #Constraints: 17636
162.66/163.02 c #Conflicts: 245000 | #Constraints: 18636
162.66/163.02 c #Conflicts: 246000 | #Constraints: 19636
162.66/163.02 c INPROCESSING
162.66/163.02 c GARBAGE COLLECT
162.66/163.02 c #Conflicts: 247000 | #Constraints: 10833
162.66/163.02 c #Conflicts: 248000 | #Constraints: 11833
162.66/163.02 c #Conflicts: 249000 | #Constraints: 12833
162.66/163.02 c #Conflicts: 250000 | #Constraints: 13833
162.66/163.02 c #Conflicts: 251000 | #Constraints: 14833
162.66/163.02 c #Conflicts: 252000 | #Constraints: 15833
162.66/163.02 c #Conflicts: 253000 | #Constraints: 16833
162.66/163.02 c #Conflicts: 254000 | #Constraints: 17833
162.66/163.02 c #Conflicts: 255000 | #Constraints: 18833
162.66/163.02 c #Conflicts: 256000 | #Constraints: 19833
162.66/163.02 c INPROCESSING
162.66/163.02 c GARBAGE COLLECT
162.66/163.02 c #Conflicts: 257000 | #Constraints: 10832
162.66/163.02 c #Conflicts: 258000 | #Constraints: 11832
162.66/163.02 c #Conflicts: 259000 | #Constraints: 12832
162.66/163.02 c #Conflicts: 260000 | #Constraints: 13832
162.66/163.02 c #Conflicts: 261000 | #Constraints: 14832
162.66/163.02 c #Conflicts: 262000 | #Constraints: 15832
162.66/163.02 c #Conflicts: 263000 | #Constraints: 16832
162.66/163.02 c #Conflicts: 264000 | #Constraints: 17832
162.66/163.02 c #Conflicts: 265000 | #Constraints: 18832
162.66/163.02 c #Conflicts: 266000 | #Constraints: 19832
162.66/163.02 c INPROCESSING
162.66/163.02 c GARBAGE COLLECT
162.66/163.02 c #Conflicts: 267000 | #Constraints: 10635
162.66/163.02 c #Conflicts: 268000 | #Constraints: 11635
162.66/163.02 c #Conflicts: 269000 | #Constraints: 12635
162.66/163.02 c #Conflicts: 270000 | #Constraints: 13635
162.66/163.02 c #Conflicts: 271000 | #Constraints: 14635
162.66/163.02 c #Conflicts: 272000 | #Constraints: 15635
162.66/163.02 c #Conflicts: 273000 | #Constraints: 16635
162.66/163.02 c #Conflicts: 274000 | #Constraints: 17635
162.66/163.02 c #Conflicts: 275000 | #Constraints: 18635
162.66/163.02 c #Conflicts: 276000 | #Constraints: 19635
162.66/163.02 c #Conflicts: 277000 | #Constraints: 20635
162.66/163.02 c INPROCESSING
162.66/163.02 c GARBAGE COLLECT
162.66/163.02 c #Conflicts: 278000 | #Constraints: 11234
162.66/163.02 c #Conflicts: 279000 | #Constraints: 12234
162.66/163.02 c #Conflicts: 280000 | #Constraints: 13234
162.66/163.02 c #Conflicts: 281000 | #Constraints: 14234
162.66/163.02 c #Conflicts: 282000 | #Constraints: 15234
162.66/163.02 c #Conflicts: 283000 | #Constraints: 16234
162.66/163.02 c #Conflicts: 284000 | #Constraints: 17234
162.66/163.02 c #Conflicts: 285000 | #Constraints: 18234
162.66/163.02 c #Conflicts: 286000 | #Constraints: 19234
162.66/163.02 c #Conflicts: 287000 | #Constraints: 20234
162.66/163.02 c #Conflicts: 288000 | #Constraints: 21234
162.66/163.02 c INPROCESSING
162.66/163.02 c GARBAGE COLLECT
162.66/163.02 c #Conflicts: 289000 | #Constraints: 11633
162.66/163.02 c #Conflicts: 290000 | #Constraints: 12633
162.66/163.02 c #Conflicts: 291000 | #Constraints: 13633
162.66/163.02 c #Conflicts: 292000 | #Constraints: 14633
225.53/226.01 c #Conflicts: 293000 | #Constraints: 15633
225.53/226.01 c #Conflicts: 294000 | #Constraints: 16633
225.53/226.01 c #Conflicts: 295000 | #Constraints: 17633
225.53/226.01 c #Conflicts: 296000 | #Constraints: 18633
225.53/226.01 c #Conflicts: 297000 | #Constraints: 19633
225.53/226.01 c #Conflicts: 298000 | #Constraints: 20633
225.53/226.01 c #Conflicts: 299000 | #Constraints: 21633
225.53/226.01 c INPROCESSING
225.53/226.01 c GARBAGE COLLECT
225.53/226.01 c #Conflicts: 300000 | #Constraints: 11836
225.53/226.01 c #Conflicts: 301000 | #Constraints: 12836
225.53/226.01 c #Conflicts: 302000 | #Constraints: 13836
225.53/226.01 c #Conflicts: 303000 | #Constraints: 14836
225.53/226.01 c #Conflicts: 304000 | #Constraints: 15836
225.53/226.01 c #Conflicts: 305000 | #Constraints: 16836
225.53/226.01 c #Conflicts: 306000 | #Constraints: 17836
225.53/226.01 c #Conflicts: 307000 | #Constraints: 18836
225.53/226.01 c #Conflicts: 308000 | #Constraints: 19836
225.53/226.01 c #Conflicts: 309000 | #Constraints: 20836
225.53/226.01 c #Conflicts: 310000 | #Constraints: 21836
225.53/226.01 c INPROCESSING
225.53/226.01 c GARBAGE COLLECT
225.53/226.01 c #Conflicts: 311000 | #Constraints: 11839
225.53/226.01 c #Conflicts: 312000 | #Constraints: 12839
225.53/226.01 c #Conflicts: 313000 | #Constraints: 13839
225.53/226.01 c #Conflicts: 314000 | #Constraints: 14839
225.53/226.01 c #Conflicts: 315000 | #Constraints: 15839
225.53/226.01 c #Conflicts: 316000 | #Constraints: 16839
225.53/226.01 c #Conflicts: 317000 | #Constraints: 17839
225.53/226.01 c #Conflicts: 318000 | #Constraints: 18839
225.53/226.01 c #Conflicts: 319000 | #Constraints: 19839
225.53/226.01 c #Conflicts: 320000 | #Constraints: 20839
225.53/226.01 c #Conflicts: 321000 | #Constraints: 21839
225.53/226.01 c INPROCESSING
225.53/226.01 c GARBAGE COLLECT
225.53/226.01 c #Conflicts: 322000 | #Constraints: 11642
225.53/226.01 c #Conflicts: 323000 | #Constraints: 12642
225.53/226.01 c #Conflicts: 324000 | #Constraints: 13642
225.53/226.01 c #Conflicts: 325000 | #Constraints: 14642
225.53/226.01 c #Conflicts: 326000 | #Constraints: 15642
225.53/226.01 c #Conflicts: 327000 | #Constraints: 16642
225.53/226.01 c #Conflicts: 328000 | #Constraints: 17642
225.53/226.01 c #Conflicts: 329000 | #Constraints: 18642
225.53/226.01 c #Conflicts: 330000 | #Constraints: 19642
225.53/226.01 c #Conflicts: 331000 | #Constraints: 20642
225.53/226.01 c #Conflicts: 332000 | #Constraints: 21642
225.53/226.01 c #Conflicts: 333000 | #Constraints: 22642
225.53/226.01 c INPROCESSING
225.53/226.01 c GARBAGE COLLECT
225.53/226.01 c #Conflicts: 334000 | #Constraints: 12235
225.53/226.01 c #Conflicts: 335000 | #Constraints: 13235
225.53/226.01 c #Conflicts: 336000 | #Constraints: 14235
225.53/226.01 c #Conflicts: 337000 | #Constraints: 15235
225.53/226.01 c #Conflicts: 338000 | #Constraints: 16235
225.53/226.01 c #Conflicts: 339000 | #Constraints: 17235
225.53/226.01 c #Conflicts: 340000 | #Constraints: 18235
225.53/226.01 c #Conflicts: 341000 | #Constraints: 19235
225.53/226.01 c #Conflicts: 342000 | #Constraints: 20235
225.53/226.01 c #Conflicts: 343000 | #Constraints: 21235
225.53/226.01 c #Conflicts: 344000 | #Constraints: 22235
225.53/226.01 c #Conflicts: 345000 | #Constraints: 23235
225.53/226.01 c INPROCESSING
225.53/226.01 c GARBAGE COLLECT
225.53/226.01 c #Conflicts: 346000 | #Constraints: 12634
225.53/226.01 c #Conflicts: 347000 | #Constraints: 13634
225.53/226.01 c #Conflicts: 348000 | #Constraints: 14634
225.53/226.01 c #Conflicts: 349000 | #Constraints: 15634
225.53/226.01 c #Conflicts: 350000 | #Constraints: 16634
225.53/226.01 c #Conflicts: 351000 | #Constraints: 17634
225.53/226.01 c #Conflicts: 352000 | #Constraints: 18634
225.53/226.01 c #Conflicts: 353000 | #Constraints: 19634
225.53/226.01 c #Conflicts: 354000 | #Constraints: 20634
225.53/226.01 c #Conflicts: 355000 | #Constraints: 21634
225.53/226.01 c #Conflicts: 356000 | #Constraints: 22634
225.53/226.01 c #Conflicts: 357000 | #Constraints: 23634
225.53/226.01 c INPROCESSING
225.53/226.01 c GARBAGE COLLECT
225.53/226.01 c #Conflicts: 358000 | #Constraints: 12835
225.53/226.01 c #Conflicts: 359000 | #Constraints: 13835
225.53/226.01 c #Conflicts: 360000 | #Constraints: 14835
225.53/226.01 c #Conflicts: 361000 | #Constraints: 15835
225.53/226.01 c #Conflicts: 362000 | #Constraints: 16835
225.53/226.01 c #Conflicts: 363000 | #Constraints: 17835
225.53/226.01 c #Conflicts: 364000 | #Constraints: 18835
225.53/226.01 c #Conflicts: 365000 | #Constraints: 19835
225.53/226.01 c #Conflicts: 366000 | #Constraints: 20835
225.53/226.01 c #Conflicts: 367000 | #Constraints: 21835
231.61/232.16 c #Conflicts: 368000 | #Constraints: 22835
231.61/232.16 c #Conflicts: 369000 | #Constraints: 23835
231.61/232.16 c INPROCESSING
231.61/232.16 c GARBAGE COLLECT
231.61/232.16 c #Conflicts: 370000 | #Constraints: 12835
231.61/232.16 c #Conflicts: 371000 | #Constraints: 13835
231.61/232.16 c #Conflicts: 372000 | #Constraints: 14835
231.61/232.16 c #Conflicts: 373000 | #Constraints: 15835
231.61/232.16 c #Conflicts: 374000 | #Constraints: 16835
231.61/232.16 c bounds 55 >= 0 @ 230.277
231.61/232.16 c stratification level: 4
306.24/306.91 c #Conflicts: 375000 | #Constraints: 17836
306.24/306.91 c #Conflicts: 376000 | #Constraints: 18836
306.24/306.91 c #Conflicts: 377000 | #Constraints: 19836
306.24/306.91 c #Conflicts: 378000 | #Constraints: 20836
306.24/306.91 c #Conflicts: 379000 | #Constraints: 21836
306.24/306.91 c #Conflicts: 380000 | #Constraints: 22836
306.24/306.91 c #Conflicts: 381000 | #Constraints: 23836
306.24/306.91 c INPROCESSING
306.24/306.91 c GARBAGE COLLECT
306.24/306.91 c #Conflicts: 382000 | #Constraints: 12634
306.24/306.91 c #Conflicts: 383000 | #Constraints: 13634
306.24/306.91 c #Conflicts: 384000 | #Constraints: 14634
306.24/306.91 c #Conflicts: 385000 | #Constraints: 15634
306.24/306.91 c #Conflicts: 386000 | #Constraints: 16634
306.24/306.91 c #Conflicts: 387000 | #Constraints: 17634
306.24/306.91 c #Conflicts: 388000 | #Constraints: 18634
306.24/306.91 c #Conflicts: 389000 | #Constraints: 19634
306.24/306.91 c #Conflicts: 390000 | #Constraints: 20634
306.24/306.91 c #Conflicts: 391000 | #Constraints: 21634
306.24/306.91 c #Conflicts: 392000 | #Constraints: 22634
306.24/306.91 c #Conflicts: 393000 | #Constraints: 23634
306.24/306.91 c #Conflicts: 394000 | #Constraints: 24634
306.24/306.91 c INPROCESSING
306.24/306.91 c GARBAGE COLLECT
306.24/306.91 c #Conflicts: 395000 | #Constraints: 13235
306.24/306.91 c #Conflicts: 396000 | #Constraints: 14235
306.24/306.91 c #Conflicts: 397000 | #Constraints: 15235
306.24/306.91 c #Conflicts: 398000 | #Constraints: 16235
306.24/306.91 c #Conflicts: 399000 | #Constraints: 17235
306.24/306.91 c #Conflicts: 400000 | #Constraints: 18235
306.24/306.91 c #Conflicts: 401000 | #Constraints: 19235
306.24/306.91 c #Conflicts: 402000 | #Constraints: 20235
306.24/306.91 c #Conflicts: 403000 | #Constraints: 21235
306.24/306.91 c #Conflicts: 404000 | #Constraints: 22235
306.24/306.91 c #Conflicts: 405000 | #Constraints: 23235
306.24/306.91 c #Conflicts: 406000 | #Constraints: 24235
306.24/306.91 c #Conflicts: 407000 | #Constraints: 25235
306.24/306.91 c INPROCESSING
306.24/306.91 c GARBAGE COLLECT
306.24/306.91 c #Conflicts: 408000 | #Constraints: 13636
306.24/306.91 c #Conflicts: 409000 | #Constraints: 14636
306.24/306.91 c #Conflicts: 410000 | #Constraints: 15636
306.24/306.91 c #Conflicts: 411000 | #Constraints: 16636
306.24/306.91 c #Conflicts: 412000 | #Constraints: 17636
306.24/306.91 c #Conflicts: 413000 | #Constraints: 18636
306.24/306.91 c #Conflicts: 414000 | #Constraints: 19636
306.24/306.91 c #Conflicts: 415000 | #Constraints: 20636
306.24/306.91 c #Conflicts: 416000 | #Constraints: 21636
306.24/306.91 c #Conflicts: 417000 | #Constraints: 22636
306.24/306.91 c #Conflicts: 418000 | #Constraints: 23636
306.24/306.91 c #Conflicts: 419000 | #Constraints: 24636
306.24/306.91 c #Conflicts: 420000 | #Constraints: 25636
306.24/306.91 c INPROCESSING
306.24/306.91 c GARBAGE COLLECT
306.24/306.91 c #Conflicts: 421000 | #Constraints: 13834
306.24/306.91 c #Conflicts: 422000 | #Constraints: 14834
306.24/306.91 c #Conflicts: 423000 | #Constraints: 15834
306.24/306.91 c #Conflicts: 424000 | #Constraints: 16834
306.24/306.91 c #Conflicts: 425000 | #Constraints: 17834
306.24/306.91 c #Conflicts: 426000 | #Constraints: 18834
306.24/306.91 c #Conflicts: 427000 | #Constraints: 19834
306.24/306.91 c #Conflicts: 428000 | #Constraints: 20834
306.24/306.91 c #Conflicts: 429000 | #Constraints: 21834
306.24/306.91 c #Conflicts: 430000 | #Constraints: 22834
306.24/306.91 c #Conflicts: 431000 | #Constraints: 23834
306.24/306.91 c #Conflicts: 432000 | #Constraints: 24834
306.24/306.91 c #Conflicts: 433000 | #Constraints: 25834
306.24/306.91 c INPROCESSING
306.24/306.91 c GARBAGE COLLECT
306.24/306.91 c #Conflicts: 434000 | #Constraints: 13835
306.24/306.91 c #Conflicts: 435000 | #Constraints: 14835
306.24/306.91 c #Conflicts: 436000 | #Constraints: 15835
306.24/306.91 c #Conflicts: 437000 | #Constraints: 16835
306.24/306.91 c #Conflicts: 438000 | #Constraints: 17835
306.24/306.91 c #Conflicts: 439000 | #Constraints: 18835
306.24/306.91 c #Conflicts: 440000 | #Constraints: 19835
306.24/306.91 c #Conflicts: 441000 | #Constraints: 20835
306.24/306.91 c #Conflicts: 442000 | #Constraints: 21835
306.24/306.91 c #Conflicts: 443000 | #Constraints: 22835
306.24/306.91 c #Conflicts: 444000 | #Constraints: 23835
306.24/306.91 c #Conflicts: 445000 | #Constraints: 24835
306.24/306.91 c #Conflicts: 446000 | #Constraints: 25835
306.24/306.91 c INPROCESSING
306.24/306.91 c GARBAGE COLLECT
306.24/306.91 c #Conflicts: 447000 | #Constraints: 13636
306.24/306.91 c #Conflicts: 448000 | #Constraints: 14636
306.24/306.91 c #Conflicts: 449000 | #Constraints: 15636
395.13/396.04 c #Conflicts: 450000 | #Constraints: 16636
395.13/396.04 c #Conflicts: 451000 | #Constraints: 17636
395.13/396.04 c #Conflicts: 452000 | #Constraints: 18636
395.13/396.04 c #Conflicts: 453000 | #Constraints: 19636
395.13/396.04 c #Conflicts: 454000 | #Constraints: 20636
395.13/396.04 c #Conflicts: 455000 | #Constraints: 21636
395.13/396.04 c #Conflicts: 456000 | #Constraints: 22636
395.13/396.04 c #Conflicts: 457000 | #Constraints: 23636
395.13/396.04 c #Conflicts: 458000 | #Constraints: 24636
395.13/396.04 c #Conflicts: 459000 | #Constraints: 25636
395.13/396.04 c #Conflicts: 460000 | #Constraints: 26636
395.13/396.04 c INPROCESSING
395.13/396.04 c GARBAGE COLLECT
395.13/396.04 c #Conflicts: 461000 | #Constraints: 14240
395.13/396.04 c #Conflicts: 462000 | #Constraints: 15240
395.13/396.04 c #Conflicts: 463000 | #Constraints: 16240
395.13/396.04 c #Conflicts: 464000 | #Constraints: 17240
395.13/396.04 c #Conflicts: 465000 | #Constraints: 18240
395.13/396.04 c #Conflicts: 466000 | #Constraints: 19240
395.13/396.04 c #Conflicts: 467000 | #Constraints: 20240
395.13/396.04 c #Conflicts: 468000 | #Constraints: 21240
395.13/396.04 c #Conflicts: 469000 | #Constraints: 22240
395.13/396.04 c #Conflicts: 470000 | #Constraints: 23240
395.13/396.04 c #Conflicts: 471000 | #Constraints: 24240
395.13/396.04 c #Conflicts: 472000 | #Constraints: 25240
395.13/396.04 c #Conflicts: 473000 | #Constraints: 26240
395.13/396.04 c #Conflicts: 474000 | #Constraints: 27240
395.13/396.04 c INPROCESSING
395.13/396.04 c GARBAGE COLLECT
395.13/396.04 c #Conflicts: 475000 | #Constraints: 14638
395.13/396.04 c #Conflicts: 476000 | #Constraints: 15638
395.13/396.04 c #Conflicts: 477000 | #Constraints: 16638
395.13/396.04 c #Conflicts: 478000 | #Constraints: 17638
395.13/396.04 c #Conflicts: 479000 | #Constraints: 18638
395.13/396.04 c #Conflicts: 480000 | #Constraints: 19638
395.13/396.04 c #Conflicts: 481000 | #Constraints: 20638
395.13/396.04 c #Conflicts: 482000 | #Constraints: 21638
395.13/396.04 c #Conflicts: 483000 | #Constraints: 22638
395.13/396.04 c #Conflicts: 484000 | #Constraints: 23638
395.13/396.04 c #Conflicts: 485000 | #Constraints: 24638
395.13/396.04 c #Conflicts: 486000 | #Constraints: 25638
395.13/396.04 c #Conflicts: 487000 | #Constraints: 26638
395.13/396.04 c #Conflicts: 488000 | #Constraints: 27638
395.13/396.04 c INPROCESSING
395.13/396.04 c GARBAGE COLLECT
395.13/396.04 c #Conflicts: 489000 | #Constraints: 14838
395.13/396.04 c #Conflicts: 490000 | #Constraints: 15838
395.13/396.04 c #Conflicts: 491000 | #Constraints: 16838
395.13/396.04 c #Conflicts: 492000 | #Constraints: 17838
395.13/396.04 c #Conflicts: 493000 | #Constraints: 18838
395.13/396.04 c #Conflicts: 494000 | #Constraints: 19838
395.13/396.04 c #Conflicts: 495000 | #Constraints: 20838
395.13/396.04 c #Conflicts: 496000 | #Constraints: 21838
395.13/396.04 c #Conflicts: 497000 | #Constraints: 22838
395.13/396.04 c #Conflicts: 498000 | #Constraints: 23838
395.13/396.04 c #Conflicts: 499000 | #Constraints: 24838
395.13/396.04 c #Conflicts: 500000 | #Constraints: 25838
395.13/396.04 c #Conflicts: 501000 | #Constraints: 26838
395.13/396.04 c #Conflicts: 502000 | #Constraints: 27838
395.13/396.04 c INPROCESSING
395.13/396.04 c GARBAGE COLLECT
395.13/396.04 c #Conflicts: 503000 | #Constraints: 14842
395.13/396.04 c #Conflicts: 504000 | #Constraints: 15842
395.13/396.04 c #Conflicts: 505000 | #Constraints: 16842
395.13/396.04 c #Conflicts: 506000 | #Constraints: 17842
395.13/396.04 c #Conflicts: 507000 | #Constraints: 18842
395.13/396.04 c #Conflicts: 508000 | #Constraints: 19842
395.13/396.04 c #Conflicts: 509000 | #Constraints: 20842
395.13/396.04 c #Conflicts: 510000 | #Constraints: 21842
395.13/396.04 c #Conflicts: 511000 | #Constraints: 22842
395.13/396.04 c #Conflicts: 512000 | #Constraints: 23842
395.13/396.04 c #Conflicts: 513000 | #Constraints: 24842
395.13/396.04 c #Conflicts: 514000 | #Constraints: 25842
395.13/396.04 c #Conflicts: 515000 | #Constraints: 26842
395.13/396.04 c #Conflicts: 516000 | #Constraints: 27842
395.13/396.04 c INPROCESSING
395.13/396.04 c GARBAGE COLLECT
395.13/396.04 c #Conflicts: 517000 | #Constraints: 14638
395.13/396.04 c #Conflicts: 518000 | #Constraints: 15638
395.13/396.04 c #Conflicts: 519000 | #Constraints: 16638
395.13/396.04 c #Conflicts: 520000 | #Constraints: 17638
395.13/396.04 c #Conflicts: 521000 | #Constraints: 18638
395.13/396.04 c #Conflicts: 522000 | #Constraints: 19638
395.13/396.04 c #Conflicts: 523000 | #Constraints: 20638
395.13/396.04 c #Conflicts: 524000 | #Constraints: 21638
395.13/396.04 c #Conflicts: 525000 | #Constraints: 22638
484.70/485.87 c #Conflicts: 526000 | #Constraints: 23638
484.70/485.87 c #Conflicts: 527000 | #Constraints: 24638
484.70/485.87 c #Conflicts: 528000 | #Constraints: 25638
484.70/485.87 c #Conflicts: 529000 | #Constraints: 26638
484.70/485.87 c #Conflicts: 530000 | #Constraints: 27638
484.70/485.87 c #Conflicts: 531000 | #Constraints: 28638
484.70/485.87 c INPROCESSING
484.70/485.87 c GARBAGE COLLECT
484.70/485.87 c #Conflicts: 532000 | #Constraints: 15238
484.70/485.87 c #Conflicts: 533000 | #Constraints: 16238
484.70/485.87 c #Conflicts: 534000 | #Constraints: 17238
484.70/485.87 c #Conflicts: 535000 | #Constraints: 18238
484.70/485.87 c #Conflicts: 536000 | #Constraints: 19238
484.70/485.87 c #Conflicts: 537000 | #Constraints: 20238
484.70/485.87 c #Conflicts: 538000 | #Constraints: 21238
484.70/485.87 c #Conflicts: 539000 | #Constraints: 22238
484.70/485.87 c #Conflicts: 540000 | #Constraints: 23238
484.70/485.87 c #Conflicts: 541000 | #Constraints: 24238
484.70/485.87 c #Conflicts: 542000 | #Constraints: 25238
484.70/485.87 c #Conflicts: 543000 | #Constraints: 26238
484.70/485.87 c #Conflicts: 544000 | #Constraints: 27238
484.70/485.87 c #Conflicts: 545000 | #Constraints: 28238
484.70/485.87 c #Conflicts: 546000 | #Constraints: 29238
484.70/485.87 c INPROCESSING
484.70/485.87 c GARBAGE COLLECT
484.70/485.87 c #Conflicts: 547000 | #Constraints: 15636
484.70/485.87 c #Conflicts: 548000 | #Constraints: 16636
484.70/485.87 c #Conflicts: 549000 | #Constraints: 17636
484.70/485.87 c #Conflicts: 550000 | #Constraints: 18636
484.70/485.87 c #Conflicts: 551000 | #Constraints: 19636
484.70/485.87 c #Conflicts: 552000 | #Constraints: 20636
484.70/485.87 c #Conflicts: 553000 | #Constraints: 21636
484.70/485.87 c #Conflicts: 554000 | #Constraints: 22636
484.70/485.87 c #Conflicts: 555000 | #Constraints: 23636
484.70/485.87 c #Conflicts: 556000 | #Constraints: 24636
484.70/485.87 c #Conflicts: 557000 | #Constraints: 25636
484.70/485.87 c #Conflicts: 558000 | #Constraints: 26636
484.70/485.87 c #Conflicts: 559000 | #Constraints: 27636
484.70/485.87 c #Conflicts: 560000 | #Constraints: 28636
484.70/485.87 c #Conflicts: 561000 | #Constraints: 29636
484.70/485.87 c INPROCESSING
484.70/485.87 c GARBAGE COLLECT
484.70/485.87 c #Conflicts: 562000 | #Constraints: 15838
484.70/485.87 c #Conflicts: 563000 | #Constraints: 16838
484.70/485.87 c #Conflicts: 564000 | #Constraints: 17838
484.70/485.87 c #Conflicts: 565000 | #Constraints: 18838
484.70/485.87 c #Conflicts: 566000 | #Constraints: 19838
484.70/485.87 c #Conflicts: 567000 | #Constraints: 20838
484.70/485.87 c #Conflicts: 568000 | #Constraints: 21838
484.70/485.87 c #Conflicts: 569000 | #Constraints: 22838
484.70/485.87 c #Conflicts: 570000 | #Constraints: 23838
484.70/485.87 c #Conflicts: 571000 | #Constraints: 24838
484.70/485.87 c #Conflicts: 572000 | #Constraints: 25838
484.70/485.87 c #Conflicts: 573000 | #Constraints: 26838
484.70/485.87 c #Conflicts: 574000 | #Constraints: 27838
484.70/485.87 c #Conflicts: 575000 | #Constraints: 28838
484.70/485.87 c #Conflicts: 576000 | #Constraints: 29838
484.70/485.87 c INPROCESSING
484.70/485.87 c GARBAGE COLLECT
484.70/485.87 c #Conflicts: 577000 | #Constraints: 15843
484.70/485.87 c #Conflicts: 578000 | #Constraints: 16843
484.70/485.87 c #Conflicts: 579000 | #Constraints: 17843
484.70/485.87 c #Conflicts: 580000 | #Constraints: 18843
484.70/485.87 c #Conflicts: 581000 | #Constraints: 19843
484.70/485.87 c #Conflicts: 582000 | #Constraints: 20843
484.70/485.87 c #Conflicts: 583000 | #Constraints: 21843
484.70/485.87 c #Conflicts: 584000 | #Constraints: 22843
484.70/485.87 c #Conflicts: 585000 | #Constraints: 23843
484.70/485.87 c #Conflicts: 586000 | #Constraints: 24843
484.70/485.87 c #Conflicts: 587000 | #Constraints: 25843
484.70/485.87 c #Conflicts: 588000 | #Constraints: 26843
484.70/485.87 c #Conflicts: 589000 | #Constraints: 27843
484.70/485.87 c #Conflicts: 590000 | #Constraints: 28843
484.70/485.87 c #Conflicts: 591000 | #Constraints: 29843
484.70/485.87 c INPROCESSING
484.70/485.87 c GARBAGE COLLECT
484.70/485.87 c #Conflicts: 592000 | #Constraints: 15640
484.70/485.87 c #Conflicts: 593000 | #Constraints: 16640
484.70/485.87 c #Conflicts: 594000 | #Constraints: 17640
484.70/485.87 c #Conflicts: 595000 | #Constraints: 18640
484.70/485.87 c #Conflicts: 596000 | #Constraints: 19640
484.70/485.87 c #Conflicts: 597000 | #Constraints: 20640
484.70/485.87 c #Conflicts: 598000 | #Constraints: 21640
484.70/485.87 c #Conflicts: 599000 | #Constraints: 22640
484.70/485.87 c #Conflicts: 600000 | #Constraints: 23640
484.70/485.87 c #Conflicts: 601000 | #Constraints: 24640
582.03/583.47 c #Conflicts: 602000 | #Constraints: 25640
582.03/583.47 c #Conflicts: 603000 | #Constraints: 26640
582.03/583.47 c #Conflicts: 604000 | #Constraints: 27640
582.03/583.47 c #Conflicts: 605000 | #Constraints: 28640
582.03/583.47 c #Conflicts: 606000 | #Constraints: 29640
582.03/583.47 c #Conflicts: 607000 | #Constraints: 30640
582.03/583.47 c INPROCESSING
582.03/583.47 c GARBAGE COLLECT
582.03/583.47 c #Conflicts: 608000 | #Constraints: 16238
582.03/583.47 c #Conflicts: 609000 | #Constraints: 17238
582.03/583.47 c #Conflicts: 610000 | #Constraints: 18238
582.03/583.47 c #Conflicts: 611000 | #Constraints: 19238
582.03/583.47 c #Conflicts: 612000 | #Constraints: 20238
582.03/583.47 c #Conflicts: 613000 | #Constraints: 21238
582.03/583.47 c #Conflicts: 614000 | #Constraints: 22238
582.03/583.47 c #Conflicts: 615000 | #Constraints: 23238
582.03/583.47 c #Conflicts: 616000 | #Constraints: 24238
582.03/583.47 c #Conflicts: 617000 | #Constraints: 25238
582.03/583.47 c #Conflicts: 618000 | #Constraints: 26238
582.03/583.47 c #Conflicts: 619000 | #Constraints: 27238
582.03/583.47 c #Conflicts: 620000 | #Constraints: 28238
582.03/583.47 c #Conflicts: 621000 | #Constraints: 29238
582.03/583.47 c #Conflicts: 622000 | #Constraints: 30238
582.03/583.47 c #Conflicts: 623000 | #Constraints: 31238
582.03/583.47 c INPROCESSING
582.03/583.47 c GARBAGE COLLECT
582.03/583.47 c #Conflicts: 624000 | #Constraints: 16636
582.03/583.47 c #Conflicts: 625000 | #Constraints: 17636
582.03/583.47 c #Conflicts: 626000 | #Constraints: 18636
582.03/583.47 c #Conflicts: 627000 | #Constraints: 19636
582.03/583.47 c #Conflicts: 628000 | #Constraints: 20636
582.03/583.47 c #Conflicts: 629000 | #Constraints: 21636
582.03/583.47 c #Conflicts: 630000 | #Constraints: 22636
582.03/583.47 c #Conflicts: 631000 | #Constraints: 23636
582.03/583.47 c #Conflicts: 632000 | #Constraints: 24636
582.03/583.47 c #Conflicts: 633000 | #Constraints: 25636
582.03/583.47 c #Conflicts: 634000 | #Constraints: 26636
582.03/583.47 c #Conflicts: 635000 | #Constraints: 27636
582.03/583.47 c #Conflicts: 636000 | #Constraints: 28636
582.03/583.47 c #Conflicts: 637000 | #Constraints: 29636
582.03/583.47 c #Conflicts: 638000 | #Constraints: 30636
582.03/583.47 c #Conflicts: 639000 | #Constraints: 31636
582.03/583.47 c INPROCESSING
582.03/583.47 c GARBAGE COLLECT
582.03/583.47 c #Conflicts: 640000 | #Constraints: 16834
582.03/583.47 c #Conflicts: 641000 | #Constraints: 17834
582.03/583.47 c #Conflicts: 642000 | #Constraints: 18834
582.03/583.47 c #Conflicts: 643000 | #Constraints: 19834
582.03/583.47 c #Conflicts: 644000 | #Constraints: 20834
582.03/583.47 c #Conflicts: 645000 | #Constraints: 21834
582.03/583.47 c #Conflicts: 646000 | #Constraints: 22834
582.03/583.47 c #Conflicts: 647000 | #Constraints: 23834
582.03/583.47 c #Conflicts: 648000 | #Constraints: 24834
582.03/583.47 c #Conflicts: 649000 | #Constraints: 25834
582.03/583.47 c #Conflicts: 650000 | #Constraints: 26834
582.03/583.47 c #Conflicts: 651000 | #Constraints: 27834
582.03/583.47 c #Conflicts: 652000 | #Constraints: 28834
582.03/583.47 c #Conflicts: 653000 | #Constraints: 29834
582.03/583.47 c #Conflicts: 654000 | #Constraints: 30834
582.03/583.47 c #Conflicts: 655000 | #Constraints: 31834
582.03/583.47 c INPROCESSING
582.03/583.47 c GARBAGE COLLECT
582.03/583.47 c #Conflicts: 656000 | #Constraints: 16836
582.03/583.47 c #Conflicts: 657000 | #Constraints: 17836
582.03/583.47 c #Conflicts: 658000 | #Constraints: 18836
582.03/583.47 c #Conflicts: 659000 | #Constraints: 19836
582.03/583.47 c #Conflicts: 660000 | #Constraints: 20836
582.03/583.47 c #Conflicts: 661000 | #Constraints: 21836
582.03/583.47 c #Conflicts: 662000 | #Constraints: 22836
582.03/583.47 c #Conflicts: 663000 | #Constraints: 23836
582.03/583.47 c #Conflicts: 664000 | #Constraints: 24836
582.03/583.47 c #Conflicts: 665000 | #Constraints: 25836
582.03/583.47 c #Conflicts: 666000 | #Constraints: 26836
582.03/583.47 c #Conflicts: 667000 | #Constraints: 27836
582.03/583.47 c #Conflicts: 668000 | #Constraints: 28836
582.03/583.47 c #Conflicts: 669000 | #Constraints: 29836
582.03/583.47 c #Conflicts: 670000 | #Constraints: 30836
582.03/583.47 c #Conflicts: 671000 | #Constraints: 31836
582.03/583.47 c INPROCESSING
582.03/583.47 c GARBAGE COLLECT
582.03/583.47 c #Conflicts: 672000 | #Constraints: 16633
582.03/583.47 c #Conflicts: 673000 | #Constraints: 17633
582.03/583.47 c #Conflicts: 674000 | #Constraints: 18633
582.03/583.47 c #Conflicts: 675000 | #Constraints: 19633
582.03/583.47 c #Conflicts: 676000 | #Constraints: 20633
699.25/700.92 c #Conflicts: 677000 | #Constraints: 21633
699.25/700.92 c #Conflicts: 678000 | #Constraints: 22633
699.25/700.92 c #Conflicts: 679000 | #Constraints: 23633
699.25/700.92 c #Conflicts: 680000 | #Constraints: 24633
699.25/700.92 c #Conflicts: 681000 | #Constraints: 25633
699.25/700.92 c #Conflicts: 682000 | #Constraints: 26633
699.25/700.92 c #Conflicts: 683000 | #Constraints: 27633
699.25/700.92 c #Conflicts: 684000 | #Constraints: 28633
699.25/700.92 c #Conflicts: 685000 | #Constraints: 29633
699.25/700.92 c #Conflicts: 686000 | #Constraints: 30633
699.25/700.92 c #Conflicts: 687000 | #Constraints: 31633
699.25/700.92 c #Conflicts: 688000 | #Constraints: 32633
699.25/700.92 c INPROCESSING
699.25/700.92 c GARBAGE COLLECT
699.25/700.92 c #Conflicts: 689000 | #Constraints: 17233
699.25/700.92 c #Conflicts: 690000 | #Constraints: 18233
699.25/700.92 c #Conflicts: 691000 | #Constraints: 19233
699.25/700.92 c #Conflicts: 692000 | #Constraints: 20233
699.25/700.92 c #Conflicts: 693000 | #Constraints: 21233
699.25/700.92 c #Conflicts: 694000 | #Constraints: 22233
699.25/700.92 c #Conflicts: 695000 | #Constraints: 23233
699.25/700.92 c #Conflicts: 696000 | #Constraints: 24233
699.25/700.92 c #Conflicts: 697000 | #Constraints: 25233
699.25/700.92 c #Conflicts: 698000 | #Constraints: 26233
699.25/700.92 c #Conflicts: 699000 | #Constraints: 27233
699.25/700.92 c #Conflicts: 700000 | #Constraints: 28233
699.25/700.92 c #Conflicts: 701000 | #Constraints: 29233
699.25/700.92 c #Conflicts: 702000 | #Constraints: 30233
699.25/700.92 c #Conflicts: 703000 | #Constraints: 31233
699.25/700.92 c #Conflicts: 704000 | #Constraints: 32233
699.25/700.92 c #Conflicts: 705000 | #Constraints: 33233
699.25/700.92 c INPROCESSING
699.25/700.92 c GARBAGE COLLECT
699.25/700.92 c #Conflicts: 706000 | #Constraints: 17633
699.25/700.92 c #Conflicts: 707000 | #Constraints: 18633
699.25/700.92 c #Conflicts: 708000 | #Constraints: 19633
699.25/700.92 c #Conflicts: 709000 | #Constraints: 20633
699.25/700.92 c #Conflicts: 710000 | #Constraints: 21633
699.25/700.92 c #Conflicts: 711000 | #Constraints: 22633
699.25/700.92 c #Conflicts: 712000 | #Constraints: 23633
699.25/700.92 c #Conflicts: 713000 | #Constraints: 24633
699.25/700.92 c #Conflicts: 714000 | #Constraints: 25633
699.25/700.92 c #Conflicts: 715000 | #Constraints: 26633
699.25/700.92 c #Conflicts: 716000 | #Constraints: 27633
699.25/700.92 c #Conflicts: 717000 | #Constraints: 28633
699.25/700.92 c #Conflicts: 718000 | #Constraints: 29633
699.25/700.92 c #Conflicts: 719000 | #Constraints: 30633
699.25/700.92 c #Conflicts: 720000 | #Constraints: 31633
699.25/700.92 c #Conflicts: 721000 | #Constraints: 32633
699.25/700.92 c #Conflicts: 722000 | #Constraints: 33633
699.25/700.92 c INPROCESSING
699.25/700.92 c GARBAGE COLLECT
699.25/700.92 c #Conflicts: 723000 | #Constraints: 17835
699.25/700.92 c #Conflicts: 724000 | #Constraints: 18835
699.25/700.92 c #Conflicts: 725000 | #Constraints: 19835
699.25/700.92 c #Conflicts: 726000 | #Constraints: 20835
699.25/700.92 c #Conflicts: 727000 | #Constraints: 21835
699.25/700.92 c #Conflicts: 728000 | #Constraints: 22835
699.25/700.92 c #Conflicts: 729000 | #Constraints: 23835
699.25/700.92 c #Conflicts: 730000 | #Constraints: 24835
699.25/700.92 c #Conflicts: 731000 | #Constraints: 25835
699.25/700.92 c #Conflicts: 732000 | #Constraints: 26835
699.25/700.92 c #Conflicts: 733000 | #Constraints: 27835
699.25/700.92 c #Conflicts: 734000 | #Constraints: 28835
699.25/700.92 c #Conflicts: 735000 | #Constraints: 29835
699.25/700.92 c #Conflicts: 736000 | #Constraints: 30835
699.25/700.92 c #Conflicts: 737000 | #Constraints: 31835
699.25/700.92 c #Conflicts: 738000 | #Constraints: 32835
699.25/700.92 c #Conflicts: 739000 | #Constraints: 33835
699.25/700.92 c INPROCESSING
699.25/700.92 c GARBAGE COLLECT
699.25/700.92 c #Conflicts: 740000 | #Constraints: 17840
699.25/700.92 c #Conflicts: 741000 | #Constraints: 18840
699.25/700.92 c #Conflicts: 742000 | #Constraints: 19840
699.25/700.92 c #Conflicts: 743000 | #Constraints: 20840
699.25/700.92 c #Conflicts: 744000 | #Constraints: 21840
699.25/700.92 c #Conflicts: 745000 | #Constraints: 22840
699.25/700.92 c #Conflicts: 746000 | #Constraints: 23840
699.25/700.92 c #Conflicts: 747000 | #Constraints: 24840
699.25/700.92 c #Conflicts: 748000 | #Constraints: 25840
699.25/700.92 c #Conflicts: 749000 | #Constraints: 26840
699.25/700.92 c #Conflicts: 750000 | #Constraints: 27840
699.25/700.92 c #Conflicts: 751000 | #Constraints: 28840
699.25/700.92 c #Conflicts: 752000 | #Constraints: 29840
809.08/811.07 c #Conflicts: 753000 | #Constraints: 30840
809.08/811.07 c #Conflicts: 754000 | #Constraints: 31840
809.08/811.07 c #Conflicts: 755000 | #Constraints: 32840
809.08/811.07 c #Conflicts: 756000 | #Constraints: 33840
809.08/811.07 c INPROCESSING
809.08/811.07 c GARBAGE COLLECT
809.08/811.07 c #Conflicts: 757000 | #Constraints: 17640
809.08/811.07 c #Conflicts: 758000 | #Constraints: 18640
809.08/811.07 c #Conflicts: 759000 | #Constraints: 19640
809.08/811.07 c #Conflicts: 760000 | #Constraints: 20640
809.08/811.07 c #Conflicts: 761000 | #Constraints: 21640
809.08/811.07 c #Conflicts: 762000 | #Constraints: 22640
809.08/811.07 c #Conflicts: 763000 | #Constraints: 23640
809.08/811.07 c #Conflicts: 764000 | #Constraints: 24640
809.08/811.07 c #Conflicts: 765000 | #Constraints: 25640
809.08/811.07 c #Conflicts: 766000 | #Constraints: 26640
809.08/811.07 c #Conflicts: 767000 | #Constraints: 27640
809.08/811.07 c #Conflicts: 768000 | #Constraints: 28640
809.08/811.07 c #Conflicts: 769000 | #Constraints: 29640
809.08/811.07 c #Conflicts: 770000 | #Constraints: 30640
809.08/811.07 c #Conflicts: 771000 | #Constraints: 31640
809.08/811.07 c #Conflicts: 772000 | #Constraints: 32640
809.08/811.07 c #Conflicts: 773000 | #Constraints: 33640
809.08/811.07 c #Conflicts: 774000 | #Constraints: 34640
809.08/811.07 c INPROCESSING
809.08/811.07 c GARBAGE COLLECT
809.08/811.07 c #Conflicts: 775000 | #Constraints: 18236
809.08/811.07 c #Conflicts: 776000 | #Constraints: 19236
809.08/811.07 c #Conflicts: 777000 | #Constraints: 20236
809.08/811.07 c #Conflicts: 778000 | #Constraints: 21236
809.08/811.07 c #Conflicts: 779000 | #Constraints: 22236
809.08/811.07 c #Conflicts: 780000 | #Constraints: 23236
809.08/811.07 c #Conflicts: 781000 | #Constraints: 24236
809.08/811.07 c #Conflicts: 782000 | #Constraints: 25236
809.08/811.07 c #Conflicts: 783000 | #Constraints: 26236
809.08/811.07 c #Conflicts: 784000 | #Constraints: 27236
809.08/811.07 c #Conflicts: 785000 | #Constraints: 28236
809.08/811.07 c #Conflicts: 786000 | #Constraints: 29236
809.08/811.07 c #Conflicts: 787000 | #Constraints: 30236
809.08/811.07 c #Conflicts: 788000 | #Constraints: 31236
809.08/811.07 c #Conflicts: 789000 | #Constraints: 32236
809.08/811.07 c #Conflicts: 790000 | #Constraints: 33236
809.08/811.07 c #Conflicts: 791000 | #Constraints: 34236
809.08/811.07 c #Conflicts: 792000 | #Constraints: 35236
809.08/811.07 c INPROCESSING
809.08/811.07 c GARBAGE COLLECT
809.08/811.07 c #Conflicts: 793000 | #Constraints: 18634
809.08/811.07 c #Conflicts: 794000 | #Constraints: 19634
809.08/811.07 c #Conflicts: 795000 | #Constraints: 20634
809.08/811.07 c #Conflicts: 796000 | #Constraints: 21634
809.08/811.07 c #Conflicts: 797000 | #Constraints: 22634
809.08/811.07 c #Conflicts: 798000 | #Constraints: 23634
809.08/811.07 c #Conflicts: 799000 | #Constraints: 24634
809.08/811.07 c #Conflicts: 800000 | #Constraints: 25634
809.08/811.07 c #Conflicts: 801000 | #Constraints: 26634
809.08/811.07 c #Conflicts: 802000 | #Constraints: 27634
809.08/811.07 c #Conflicts: 803000 | #Constraints: 28634
809.08/811.07 c #Conflicts: 804000 | #Constraints: 29634
809.08/811.07 c #Conflicts: 805000 | #Constraints: 30634
809.08/811.07 c #Conflicts: 806000 | #Constraints: 31634
809.08/811.07 c #Conflicts: 807000 | #Constraints: 32634
809.08/811.07 c #Conflicts: 808000 | #Constraints: 33634
809.08/811.07 c #Conflicts: 809000 | #Constraints: 34634
809.08/811.07 c #Conflicts: 810000 | #Constraints: 35634
809.08/811.07 c INPROCESSING
809.08/811.07 c GARBAGE COLLECT
809.08/811.07 c #Conflicts: 811000 | #Constraints: 18836
809.08/811.07 c #Conflicts: 812000 | #Constraints: 19836
809.08/811.07 c #Conflicts: 813000 | #Constraints: 20836
809.08/811.07 c #Conflicts: 814000 | #Constraints: 21836
809.08/811.07 c #Conflicts: 815000 | #Constraints: 22836
809.08/811.07 c #Conflicts: 816000 | #Constraints: 23836
809.08/811.07 c #Conflicts: 817000 | #Constraints: 24836
809.08/811.07 c #Conflicts: 818000 | #Constraints: 25836
809.08/811.07 c #Conflicts: 819000 | #Constraints: 26836
809.08/811.07 c #Conflicts: 820000 | #Constraints: 27836
809.08/811.07 c #Conflicts: 821000 | #Constraints: 28836
809.08/811.07 c #Conflicts: 822000 | #Constraints: 29836
809.08/811.07 c #Conflicts: 823000 | #Constraints: 30836
809.08/811.07 c #Conflicts: 824000 | #Constraints: 31836
809.08/811.07 c #Conflicts: 825000 | #Constraints: 32836
809.08/811.07 c #Conflicts: 826000 | #Constraints: 33836
809.08/811.07 c #Conflicts: 827000 | #Constraints: 34836
809.08/811.07 c #Conflicts: 828000 | #Constraints: 35836
809.08/811.07 c INPROCESSING
927.68/929.94 c GARBAGE COLLECT
927.68/929.94 c #Conflicts: 829000 | #Constraints: 18834
927.68/929.94 c #Conflicts: 830000 | #Constraints: 19834
927.68/929.94 c #Conflicts: 831000 | #Constraints: 20834
927.68/929.94 c #Conflicts: 832000 | #Constraints: 21834
927.68/929.94 c #Conflicts: 833000 | #Constraints: 22834
927.68/929.94 c #Conflicts: 834000 | #Constraints: 23834
927.68/929.94 c #Conflicts: 835000 | #Constraints: 24834
927.68/929.94 c #Conflicts: 836000 | #Constraints: 25834
927.68/929.94 c #Conflicts: 837000 | #Constraints: 26834
927.68/929.94 c #Conflicts: 838000 | #Constraints: 27834
927.68/929.94 c #Conflicts: 839000 | #Constraints: 28834
927.68/929.94 c #Conflicts: 840000 | #Constraints: 29834
927.68/929.94 c #Conflicts: 841000 | #Constraints: 30834
927.68/929.94 c #Conflicts: 842000 | #Constraints: 31834
927.68/929.94 c #Conflicts: 843000 | #Constraints: 32834
927.68/929.94 c #Conflicts: 844000 | #Constraints: 33834
927.68/929.94 c #Conflicts: 845000 | #Constraints: 34834
927.68/929.94 c #Conflicts: 846000 | #Constraints: 35834
927.68/929.94 c INPROCESSING
927.68/929.94 c GARBAGE COLLECT
927.68/929.94 c #Conflicts: 847000 | #Constraints: 18634
927.68/929.94 c #Conflicts: 848000 | #Constraints: 19634
927.68/929.94 c #Conflicts: 849000 | #Constraints: 20634
927.68/929.94 c #Conflicts: 850000 | #Constraints: 21634
927.68/929.94 c #Conflicts: 851000 | #Constraints: 22634
927.68/929.94 c #Conflicts: 852000 | #Constraints: 23634
927.68/929.94 c #Conflicts: 853000 | #Constraints: 24634
927.68/929.94 c #Conflicts: 854000 | #Constraints: 25634
927.68/929.94 c #Conflicts: 855000 | #Constraints: 26634
927.68/929.94 c #Conflicts: 856000 | #Constraints: 27634
927.68/929.94 c #Conflicts: 857000 | #Constraints: 28634
927.68/929.94 c #Conflicts: 858000 | #Constraints: 29634
927.68/929.94 c #Conflicts: 859000 | #Constraints: 30634
927.68/929.94 c #Conflicts: 860000 | #Constraints: 31634
927.68/929.94 c #Conflicts: 861000 | #Constraints: 32634
927.68/929.94 c #Conflicts: 862000 | #Constraints: 33634
927.68/929.94 c #Conflicts: 863000 | #Constraints: 34634
927.68/929.94 c #Conflicts: 864000 | #Constraints: 35634
927.68/929.94 c #Conflicts: 865000 | #Constraints: 36634
927.68/929.94 c INPROCESSING
927.68/929.94 c GARBAGE COLLECT
927.68/929.94 c #Conflicts: 866000 | #Constraints: 19230
927.68/929.94 c #Conflicts: 867000 | #Constraints: 20230
927.68/929.94 c #Conflicts: 868000 | #Constraints: 21230
927.68/929.94 c #Conflicts: 869000 | #Constraints: 22230
927.68/929.94 c #Conflicts: 870000 | #Constraints: 23230
927.68/929.94 c #Conflicts: 871000 | #Constraints: 24230
927.68/929.94 c #Conflicts: 872000 | #Constraints: 25230
927.68/929.94 c #Conflicts: 873000 | #Constraints: 26230
927.68/929.94 c #Conflicts: 874000 | #Constraints: 27230
927.68/929.94 c #Conflicts: 875000 | #Constraints: 28230
927.68/929.94 c #Conflicts: 876000 | #Constraints: 29230
927.68/929.94 c #Conflicts: 877000 | #Constraints: 30230
927.68/929.94 c #Conflicts: 878000 | #Constraints: 31230
927.68/929.94 c #Conflicts: 879000 | #Constraints: 32230
927.68/929.94 c #Conflicts: 880000 | #Constraints: 33230
927.68/929.94 c #Conflicts: 881000 | #Constraints: 34230
927.68/929.94 c #Conflicts: 882000 | #Constraints: 35230
927.68/929.94 c #Conflicts: 883000 | #Constraints: 36230
927.68/929.94 c #Conflicts: 884000 | #Constraints: 37230
927.68/929.94 c INPROCESSING
927.68/929.94 c GARBAGE COLLECT
927.68/929.94 c #Conflicts: 885000 | #Constraints: 19636
927.68/929.94 c #Conflicts: 886000 | #Constraints: 20636
927.68/929.94 c #Conflicts: 887000 | #Constraints: 21636
927.68/929.94 c #Conflicts: 888000 | #Constraints: 22636
927.68/929.94 c #Conflicts: 889000 | #Constraints: 23636
927.68/929.94 c #Conflicts: 890000 | #Constraints: 24636
927.68/929.94 c #Conflicts: 891000 | #Constraints: 25636
927.68/929.94 c #Conflicts: 892000 | #Constraints: 26636
927.68/929.94 c #Conflicts: 893000 | #Constraints: 27636
927.68/929.94 c #Conflicts: 894000 | #Constraints: 28636
927.68/929.94 c #Conflicts: 895000 | #Constraints: 29636
927.68/929.94 c #Conflicts: 896000 | #Constraints: 30636
927.68/929.94 c #Conflicts: 897000 | #Constraints: 31636
927.68/929.94 c #Conflicts: 898000 | #Constraints: 32636
927.68/929.94 c #Conflicts: 899000 | #Constraints: 33636
927.68/929.94 c #Conflicts: 900000 | #Constraints: 34636
927.68/929.94 c #Conflicts: 901000 | #Constraints: 35636
927.68/929.94 c #Conflicts: 902000 | #Constraints: 36636
927.68/929.94 c #Conflicts: 903000 | #Constraints: 37636
927.68/929.94 c INPROCESSING
927.68/929.94 c GARBAGE COLLECT
927.68/929.94 c #Conflicts: 904000 | #Constraints: 19834
1065.98/1068.58 c #Conflicts: 905000 | #Constraints: 20834
1065.98/1068.58 c #Conflicts: 906000 | #Constraints: 21834
1065.98/1068.58 c #Conflicts: 907000 | #Constraints: 22834
1065.98/1068.58 c #Conflicts: 908000 | #Constraints: 23834
1065.98/1068.58 c #Conflicts: 909000 | #Constraints: 24834
1065.98/1068.58 c #Conflicts: 910000 | #Constraints: 25834
1065.98/1068.58 c #Conflicts: 911000 | #Constraints: 26834
1065.98/1068.58 c #Conflicts: 912000 | #Constraints: 27834
1065.98/1068.58 c #Conflicts: 913000 | #Constraints: 28834
1065.98/1068.58 c #Conflicts: 914000 | #Constraints: 29834
1065.98/1068.58 c #Conflicts: 915000 | #Constraints: 30834
1065.98/1068.58 c #Conflicts: 916000 | #Constraints: 31834
1065.98/1068.58 c #Conflicts: 917000 | #Constraints: 32834
1065.98/1068.58 c #Conflicts: 918000 | #Constraints: 33834
1065.98/1068.58 c #Conflicts: 919000 | #Constraints: 34834
1065.98/1068.58 c #Conflicts: 920000 | #Constraints: 35834
1065.98/1068.58 c #Conflicts: 921000 | #Constraints: 36834
1065.98/1068.58 c #Conflicts: 922000 | #Constraints: 37834
1065.98/1068.58 c INPROCESSING
1065.98/1068.58 c GARBAGE COLLECT
1065.98/1068.58 c #Conflicts: 923000 | #Constraints: 19833
1065.98/1068.58 c #Conflicts: 924000 | #Constraints: 20833
1065.98/1068.58 c #Conflicts: 925000 | #Constraints: 21833
1065.98/1068.58 c #Conflicts: 926000 | #Constraints: 22833
1065.98/1068.58 c #Conflicts: 927000 | #Constraints: 23833
1065.98/1068.58 c #Conflicts: 928000 | #Constraints: 24833
1065.98/1068.58 c #Conflicts: 929000 | #Constraints: 25833
1065.98/1068.58 c #Conflicts: 930000 | #Constraints: 26833
1065.98/1068.58 c #Conflicts: 931000 | #Constraints: 27833
1065.98/1068.58 c #Conflicts: 932000 | #Constraints: 28833
1065.98/1068.58 c #Conflicts: 933000 | #Constraints: 29833
1065.98/1068.58 c #Conflicts: 934000 | #Constraints: 30833
1065.98/1068.58 c #Conflicts: 935000 | #Constraints: 31833
1065.98/1068.58 c #Conflicts: 936000 | #Constraints: 32833
1065.98/1068.58 c #Conflicts: 937000 | #Constraints: 33833
1065.98/1068.58 c #Conflicts: 938000 | #Constraints: 34833
1065.98/1068.58 c #Conflicts: 939000 | #Constraints: 35833
1065.98/1068.58 c #Conflicts: 940000 | #Constraints: 36833
1065.98/1068.58 c #Conflicts: 941000 | #Constraints: 37833
1065.98/1068.58 c INPROCESSING
1065.98/1068.58 c GARBAGE COLLECT
1065.98/1068.58 c #Conflicts: 942000 | #Constraints: 19634
1065.98/1068.58 c #Conflicts: 943000 | #Constraints: 20634
1065.98/1068.58 c #Conflicts: 944000 | #Constraints: 21634
1065.98/1068.58 c #Conflicts: 945000 | #Constraints: 22634
1065.98/1068.58 c #Conflicts: 946000 | #Constraints: 23634
1065.98/1068.58 c #Conflicts: 947000 | #Constraints: 24634
1065.98/1068.58 c #Conflicts: 948000 | #Constraints: 25634
1065.98/1068.58 c #Conflicts: 949000 | #Constraints: 26634
1065.98/1068.58 c #Conflicts: 950000 | #Constraints: 27634
1065.98/1068.58 c #Conflicts: 951000 | #Constraints: 28634
1065.98/1068.58 c #Conflicts: 952000 | #Constraints: 29634
1065.98/1068.58 c #Conflicts: 953000 | #Constraints: 30634
1065.98/1068.58 c #Conflicts: 954000 | #Constraints: 31634
1065.98/1068.58 c #Conflicts: 955000 | #Constraints: 32634
1065.98/1068.58 c #Conflicts: 956000 | #Constraints: 33634
1065.98/1068.58 c #Conflicts: 957000 | #Constraints: 34634
1065.98/1068.58 c #Conflicts: 958000 | #Constraints: 35634
1065.98/1068.58 c #Conflicts: 959000 | #Constraints: 36634
1065.98/1068.58 c #Conflicts: 960000 | #Constraints: 37634
1065.98/1068.58 c #Conflicts: 961000 | #Constraints: 38634
1065.98/1068.58 c INPROCESSING
1065.98/1068.58 c GARBAGE COLLECT
1065.98/1068.58 c #Conflicts: 962000 | #Constraints: 20237
1065.98/1068.58 c #Conflicts: 963000 | #Constraints: 21237
1065.98/1068.58 c #Conflicts: 964000 | #Constraints: 22237
1065.98/1068.58 c #Conflicts: 965000 | #Constraints: 23237
1065.98/1068.58 c #Conflicts: 966000 | #Constraints: 24237
1065.98/1068.58 c #Conflicts: 967000 | #Constraints: 25237
1065.98/1068.58 c #Conflicts: 968000 | #Constraints: 26237
1065.98/1068.58 c #Conflicts: 969000 | #Constraints: 27237
1065.98/1068.58 c #Conflicts: 970000 | #Constraints: 28237
1065.98/1068.58 c #Conflicts: 971000 | #Constraints: 29237
1065.98/1068.58 c #Conflicts: 972000 | #Constraints: 30237
1065.98/1068.58 c #Conflicts: 973000 | #Constraints: 31237
1065.98/1068.58 c #Conflicts: 974000 | #Constraints: 32237
1065.98/1068.58 c #Conflicts: 975000 | #Constraints: 33237
1065.98/1068.58 c #Conflicts: 976000 | #Constraints: 34237
1065.98/1068.58 c #Conflicts: 977000 | #Constraints: 35237
1065.98/1068.58 c #Conflicts: 978000 | #Constraints: 36237
1065.98/1068.58 c #Conflicts: 979000 | #Constraints: 37237
1065.98/1068.58 c #Conflicts: 980000 | #Constraints: 38237
1065.98/1068.58 c #Conflicts: 981000 | #Constraints: 39237
1231.62/1234.58 c INPROCESSING
1231.62/1234.58 c GARBAGE COLLECT
1231.62/1234.58 c #Conflicts: 982000 | #Constraints: 20638
1231.62/1234.58 c #Conflicts: 983000 | #Constraints: 21638
1231.62/1234.58 c #Conflicts: 984000 | #Constraints: 22638
1231.62/1234.58 c #Conflicts: 985000 | #Constraints: 23638
1231.62/1234.58 c #Conflicts: 986000 | #Constraints: 24638
1231.62/1234.58 c #Conflicts: 987000 | #Constraints: 25638
1231.62/1234.58 c #Conflicts: 988000 | #Constraints: 26638
1231.62/1234.58 c #Conflicts: 989000 | #Constraints: 27638
1231.62/1234.58 c #Conflicts: 990000 | #Constraints: 28638
1231.62/1234.58 c #Conflicts: 991000 | #Constraints: 29638
1231.62/1234.58 c #Conflicts: 992000 | #Constraints: 30638
1231.62/1234.58 c #Conflicts: 993000 | #Constraints: 31638
1231.62/1234.58 c #Conflicts: 994000 | #Constraints: 32638
1231.62/1234.58 c #Conflicts: 995000 | #Constraints: 33638
1231.62/1234.58 c #Conflicts: 996000 | #Constraints: 34638
1231.62/1234.58 c #Conflicts: 997000 | #Constraints: 35638
1231.62/1234.58 c #Conflicts: 998000 | #Constraints: 36638
1231.62/1234.58 c #Conflicts: 999000 | #Constraints: 37638
1231.62/1234.58 c #Conflicts: 1000000 | #Constraints: 38638
1231.62/1234.58 c #Conflicts: 1001000 | #Constraints: 39638
1231.62/1234.58 c INPROCESSING
1231.62/1234.58 c GARBAGE COLLECT
1231.62/1234.58 c #Conflicts: 1002000 | #Constraints: 20843
1231.62/1234.58 c #Conflicts: 1003000 | #Constraints: 21843
1231.62/1234.58 c #Conflicts: 1004000 | #Constraints: 22843
1231.62/1234.58 c #Conflicts: 1005000 | #Constraints: 23843
1231.62/1234.58 c #Conflicts: 1006000 | #Constraints: 24843
1231.62/1234.58 c #Conflicts: 1007000 | #Constraints: 25843
1231.62/1234.58 c #Conflicts: 1008000 | #Constraints: 26843
1231.62/1234.58 c #Conflicts: 1009000 | #Constraints: 27843
1231.62/1234.58 c #Conflicts: 1010000 | #Constraints: 28843
1231.62/1234.58 c #Conflicts: 1011000 | #Constraints: 29843
1231.62/1234.58 c #Conflicts: 1012000 | #Constraints: 30843
1231.62/1234.58 c #Conflicts: 1013000 | #Constraints: 31843
1231.62/1234.58 c #Conflicts: 1014000 | #Constraints: 32843
1231.62/1234.58 c #Conflicts: 1015000 | #Constraints: 33843
1231.62/1234.58 c #Conflicts: 1016000 | #Constraints: 34843
1231.62/1234.58 c #Conflicts: 1017000 | #Constraints: 35843
1231.62/1234.58 c #Conflicts: 1018000 | #Constraints: 36843
1231.62/1234.58 c #Conflicts: 1019000 | #Constraints: 37843
1231.62/1234.58 c #Conflicts: 1020000 | #Constraints: 38843
1231.62/1234.58 c #Conflicts: 1021000 | #Constraints: 39843
1231.62/1234.58 c INPROCESSING
1231.62/1234.58 c GARBAGE COLLECT
1231.62/1234.58 c #Conflicts: 1022000 | #Constraints: 20843
1231.62/1234.58 c #Conflicts: 1023000 | #Constraints: 21843
1231.62/1234.58 c #Conflicts: 1024000 | #Constraints: 22843
1231.62/1234.58 c #Conflicts: 1025000 | #Constraints: 23843
1231.62/1234.58 c #Conflicts: 1026000 | #Constraints: 24843
1231.62/1234.58 c #Conflicts: 1027000 | #Constraints: 25843
1231.62/1234.58 c #Conflicts: 1028000 | #Constraints: 26843
1231.62/1234.58 c #Conflicts: 1029000 | #Constraints: 27843
1231.62/1234.58 c #Conflicts: 1030000 | #Constraints: 28843
1231.62/1234.58 c #Conflicts: 1031000 | #Constraints: 29843
1231.62/1234.58 c #Conflicts: 1032000 | #Constraints: 30843
1231.62/1234.58 c #Conflicts: 1033000 | #Constraints: 31843
1231.62/1234.58 c #Conflicts: 1034000 | #Constraints: 32843
1231.62/1234.58 c #Conflicts: 1035000 | #Constraints: 33843
1231.62/1234.58 c #Conflicts: 1036000 | #Constraints: 34843
1231.62/1234.58 c #Conflicts: 1037000 | #Constraints: 35843
1231.62/1234.58 c #Conflicts: 1038000 | #Constraints: 36843
1231.62/1234.58 c #Conflicts: 1039000 | #Constraints: 37843
1231.62/1234.58 c #Conflicts: 1040000 | #Constraints: 38843
1231.62/1234.58 c #Conflicts: 1041000 | #Constraints: 39843
1231.62/1234.58 c INPROCESSING
1231.62/1234.58 c GARBAGE COLLECT
1231.62/1234.58 c #Conflicts: 1042000 | #Constraints: 20641
1231.62/1234.58 c #Conflicts: 1043000 | #Constraints: 21641
1231.62/1234.58 c #Conflicts: 1044000 | #Constraints: 22641
1231.62/1234.58 c #Conflicts: 1045000 | #Constraints: 23641
1231.62/1234.58 c #Conflicts: 1046000 | #Constraints: 24641
1231.62/1234.58 c #Conflicts: 1047000 | #Constraints: 25641
1231.62/1234.58 c #Conflicts: 1048000 | #Constraints: 26641
1231.62/1234.58 c #Conflicts: 1049000 | #Constraints: 27641
1231.62/1234.58 c #Conflicts: 1050000 | #Constraints: 28641
1231.62/1234.58 c #Conflicts: 1051000 | #Constraints: 29641
1231.62/1234.58 c #Conflicts: 1052000 | #Constraints: 30641
1231.62/1234.58 c #Conflicts: 1053000 | #Constraints: 31641
1231.62/1234.58 c #Conflicts: 1054000 | #Constraints: 32641
1231.62/1234.58 c #Conflicts: 1055000 | #Constraints: 33641
1231.62/1234.58 c #Conflicts: 1056000 | #Constraints: 34641
1231.62/1234.58 c #Conflicts: 1057000 | #Constraints: 35641
1413.74/1417.02 c #Conflicts: 1058000 | #Constraints: 36641
1413.74/1417.02 c #Conflicts: 1059000 | #Constraints: 37641
1413.74/1417.02 c #Conflicts: 1060000 | #Constraints: 38641
1413.74/1417.02 c #Conflicts: 1061000 | #Constraints: 39641
1413.74/1417.02 c #Conflicts: 1062000 | #Constraints: 40641
1413.74/1417.02 c INPROCESSING
1413.74/1417.02 c GARBAGE COLLECT
1413.74/1417.02 c #Conflicts: 1063000 | #Constraints: 21241
1413.74/1417.02 c #Conflicts: 1064000 | #Constraints: 22241
1413.74/1417.02 c #Conflicts: 1065000 | #Constraints: 23241
1413.74/1417.02 c #Conflicts: 1066000 | #Constraints: 24241
1413.74/1417.02 c #Conflicts: 1067000 | #Constraints: 25241
1413.74/1417.02 c #Conflicts: 1068000 | #Constraints: 26241
1413.74/1417.02 c #Conflicts: 1069000 | #Constraints: 27241
1413.74/1417.02 c #Conflicts: 1070000 | #Constraints: 28241
1413.74/1417.02 c #Conflicts: 1071000 | #Constraints: 29241
1413.74/1417.02 c #Conflicts: 1072000 | #Constraints: 30241
1413.74/1417.02 c #Conflicts: 1073000 | #Constraints: 31241
1413.74/1417.02 c #Conflicts: 1074000 | #Constraints: 32241
1413.74/1417.02 c #Conflicts: 1075000 | #Constraints: 33241
1413.74/1417.02 c #Conflicts: 1076000 | #Constraints: 34241
1413.74/1417.02 c #Conflicts: 1077000 | #Constraints: 35241
1413.74/1417.02 c #Conflicts: 1078000 | #Constraints: 36241
1413.74/1417.02 c #Conflicts: 1079000 | #Constraints: 37241
1413.74/1417.02 c #Conflicts: 1080000 | #Constraints: 38241
1413.74/1417.02 c #Conflicts: 1081000 | #Constraints: 39241
1413.74/1417.02 c #Conflicts: 1082000 | #Constraints: 40241
1413.74/1417.02 c #Conflicts: 1083000 | #Constraints: 41241
1413.74/1417.02 c INPROCESSING
1413.74/1417.02 c GARBAGE COLLECT
1413.74/1417.02 c #Conflicts: 1084000 | #Constraints: 21641
1413.74/1417.02 c #Conflicts: 1085000 | #Constraints: 22641
1413.74/1417.02 c #Conflicts: 1086000 | #Constraints: 23641
1413.74/1417.02 c #Conflicts: 1087000 | #Constraints: 24641
1413.74/1417.02 c #Conflicts: 1088000 | #Constraints: 25641
1413.74/1417.02 c #Conflicts: 1089000 | #Constraints: 26641
1413.74/1417.02 c #Conflicts: 1090000 | #Constraints: 27641
1413.74/1417.02 c #Conflicts: 1091000 | #Constraints: 28641
1413.74/1417.02 c #Conflicts: 1092000 | #Constraints: 29641
1413.74/1417.02 c #Conflicts: 1093000 | #Constraints: 30641
1413.74/1417.02 c #Conflicts: 1094000 | #Constraints: 31641
1413.74/1417.02 c #Conflicts: 1095000 | #Constraints: 32641
1413.74/1417.02 c #Conflicts: 1096000 | #Constraints: 33641
1413.74/1417.02 c #Conflicts: 1097000 | #Constraints: 34641
1413.74/1417.02 c #Conflicts: 1098000 | #Constraints: 35641
1413.74/1417.02 c #Conflicts: 1099000 | #Constraints: 36641
1413.74/1417.02 c #Conflicts: 1100000 | #Constraints: 37641
1413.74/1417.02 c #Conflicts: 1101000 | #Constraints: 38641
1413.74/1417.02 c #Conflicts: 1102000 | #Constraints: 39641
1413.74/1417.02 c #Conflicts: 1103000 | #Constraints: 40641
1413.74/1417.02 c #Conflicts: 1104000 | #Constraints: 41641
1413.74/1417.02 c INPROCESSING
1413.74/1417.02 c GARBAGE COLLECT
1413.74/1417.02 c #Conflicts: 1105000 | #Constraints: 21842
1413.74/1417.02 c #Conflicts: 1106000 | #Constraints: 22842
1413.74/1417.02 c #Conflicts: 1107000 | #Constraints: 23842
1413.74/1417.02 c #Conflicts: 1108000 | #Constraints: 24842
1413.74/1417.02 c #Conflicts: 1109000 | #Constraints: 25842
1413.74/1417.02 c #Conflicts: 1110000 | #Constraints: 26842
1413.74/1417.02 c #Conflicts: 1111000 | #Constraints: 27842
1413.74/1417.02 c #Conflicts: 1112000 | #Constraints: 28842
1413.74/1417.02 c #Conflicts: 1113000 | #Constraints: 29842
1413.74/1417.02 c #Conflicts: 1114000 | #Constraints: 30842
1413.74/1417.02 c #Conflicts: 1115000 | #Constraints: 31842
1413.74/1417.02 c #Conflicts: 1116000 | #Constraints: 32842
1413.74/1417.02 c #Conflicts: 1117000 | #Constraints: 33842
1413.74/1417.02 c #Conflicts: 1118000 | #Constraints: 34842
1413.74/1417.02 c #Conflicts: 1119000 | #Constraints: 35842
1413.74/1417.02 c #Conflicts: 1120000 | #Constraints: 36842
1413.74/1417.02 c #Conflicts: 1121000 | #Constraints: 37842
1413.74/1417.02 c #Conflicts: 1122000 | #Constraints: 38842
1413.74/1417.02 c #Conflicts: 1123000 | #Constraints: 39842
1413.74/1417.02 c #Conflicts: 1124000 | #Constraints: 40842
1413.74/1417.02 c #Conflicts: 1125000 | #Constraints: 41842
1413.74/1417.02 c INPROCESSING
1413.74/1417.02 c GARBAGE COLLECT
1413.74/1417.02 c #Conflicts: 1126000 | #Constraints: 21840
1413.74/1417.02 c #Conflicts: 1127000 | #Constraints: 22840
1413.74/1417.02 c #Conflicts: 1128000 | #Constraints: 23840
1413.74/1417.02 c #Conflicts: 1129000 | #Constraints: 24840
1413.74/1417.02 c #Conflicts: 1130000 | #Constraints: 25840
1413.74/1417.02 c #Conflicts: 1131000 | #Constraints: 26840
1413.74/1417.02 c #Conflicts: 1132000 | #Constraints: 27840
1413.74/1417.02 c #Conflicts: 1133000 | #Constraints: 28840
1413.74/1417.02 c #Conflicts: 1134000 | #Constraints: 29840
1562.92/1566.52 c #Conflicts: 1135000 | #Constraints: 30840
1562.92/1566.52 c #Conflicts: 1136000 | #Constraints: 31840
1562.92/1566.52 c #Conflicts: 1137000 | #Constraints: 32840
1562.92/1566.52 c #Conflicts: 1138000 | #Constraints: 33840
1562.92/1566.52 c #Conflicts: 1139000 | #Constraints: 34840
1562.92/1566.52 c #Conflicts: 1140000 | #Constraints: 35840
1562.92/1566.52 c #Conflicts: 1141000 | #Constraints: 36840
1562.92/1566.52 c #Conflicts: 1142000 | #Constraints: 37840
1562.92/1566.52 c #Conflicts: 1143000 | #Constraints: 38840
1562.92/1566.52 c #Conflicts: 1144000 | #Constraints: 39840
1562.92/1566.52 c #Conflicts: 1145000 | #Constraints: 40840
1562.92/1566.52 c #Conflicts: 1146000 | #Constraints: 41840
1562.92/1566.52 c INPROCESSING
1562.92/1566.52 c GARBAGE COLLECT
1562.92/1566.52 c #Conflicts: 1147000 | #Constraints: 21637
1562.92/1566.52 c #Conflicts: 1148000 | #Constraints: 22637
1562.92/1566.52 c #Conflicts: 1149000 | #Constraints: 23637
1562.92/1566.52 c #Conflicts: 1150000 | #Constraints: 24637
1562.92/1566.52 c #Conflicts: 1151000 | #Constraints: 25637
1562.92/1566.52 c #Conflicts: 1152000 | #Constraints: 26637
1562.92/1566.52 c #Conflicts: 1153000 | #Constraints: 27637
1562.92/1566.52 c #Conflicts: 1154000 | #Constraints: 28637
1562.92/1566.52 c #Conflicts: 1155000 | #Constraints: 29637
1562.92/1566.52 c #Conflicts: 1156000 | #Constraints: 30637
1562.92/1566.52 c #Conflicts: 1157000 | #Constraints: 31637
1562.92/1566.52 c #Conflicts: 1158000 | #Constraints: 32637
1562.92/1566.52 c #Conflicts: 1159000 | #Constraints: 33637
1562.92/1566.52 c #Conflicts: 1160000 | #Constraints: 34637
1562.92/1566.52 c #Conflicts: 1161000 | #Constraints: 35637
1562.92/1566.52 c #Conflicts: 1162000 | #Constraints: 36637
1562.92/1566.52 c #Conflicts: 1163000 | #Constraints: 37637
1562.92/1566.52 c #Conflicts: 1164000 | #Constraints: 38637
1562.92/1566.52 c #Conflicts: 1165000 | #Constraints: 39637
1562.92/1566.52 c #Conflicts: 1166000 | #Constraints: 40637
1562.92/1566.52 c #Conflicts: 1167000 | #Constraints: 41637
1562.92/1566.52 c #Conflicts: 1168000 | #Constraints: 42637
1562.92/1566.52 c INPROCESSING
1562.92/1566.52 c GARBAGE COLLECT
1562.92/1566.52 c #Conflicts: 1169000 | #Constraints: 22238
1562.92/1566.52 c #Conflicts: 1170000 | #Constraints: 23238
1562.92/1566.52 c #Conflicts: 1171000 | #Constraints: 24238
1562.92/1566.52 c #Conflicts: 1172000 | #Constraints: 25238
1562.92/1566.52 c #Conflicts: 1173000 | #Constraints: 26238
1562.92/1566.52 c #Conflicts: 1174000 | #Constraints: 27238
1562.92/1566.52 c #Conflicts: 1175000 | #Constraints: 28238
1562.92/1566.52 c #Conflicts: 1176000 | #Constraints: 29238
1562.92/1566.52 c #Conflicts: 1177000 | #Constraints: 30238
1562.92/1566.52 c #Conflicts: 1178000 | #Constraints: 31238
1562.92/1566.52 c #Conflicts: 1179000 | #Constraints: 32238
1562.92/1566.52 c #Conflicts: 1180000 | #Constraints: 33238
1562.92/1566.52 c #Conflicts: 1181000 | #Constraints: 34238
1562.92/1566.52 c #Conflicts: 1182000 | #Constraints: 35238
1562.92/1566.52 c #Conflicts: 1183000 | #Constraints: 36238
1562.92/1566.52 c #Conflicts: 1184000 | #Constraints: 37238
1562.92/1566.52 c #Conflicts: 1185000 | #Constraints: 38238
1562.92/1566.52 c #Conflicts: 1186000 | #Constraints: 39238
1562.92/1566.52 c #Conflicts: 1187000 | #Constraints: 40238
1562.92/1566.52 c #Conflicts: 1188000 | #Constraints: 41238
1562.92/1566.52 c #Conflicts: 1189000 | #Constraints: 42238
1562.92/1566.52 c #Conflicts: 1190000 | #Constraints: 43238
1562.92/1566.52 c INPROCESSING
1562.92/1566.52 c GARBAGE COLLECT
1562.92/1566.52 c #Conflicts: 1191000 | #Constraints: 22641
1562.92/1566.52 c #Conflicts: 1192000 | #Constraints: 23641
1562.92/1566.52 c #Conflicts: 1193000 | #Constraints: 24641
1562.92/1566.52 c #Conflicts: 1194000 | #Constraints: 25641
1562.92/1566.52 c #Conflicts: 1195000 | #Constraints: 26641
1562.92/1566.52 c #Conflicts: 1196000 | #Constraints: 27641
1562.92/1566.52 c #Conflicts: 1197000 | #Constraints: 28641
1562.92/1566.52 c #Conflicts: 1198000 | #Constraints: 29641
1562.92/1566.52 c #Conflicts: 1199000 | #Constraints: 30641
1562.92/1566.52 c #Conflicts: 1200000 | #Constraints: 31641
1562.92/1566.52 c #Conflicts: 1201000 | #Constraints: 32641
1562.92/1566.52 c #Conflicts: 1202000 | #Constraints: 33641
1562.92/1566.52 c #Conflicts: 1203000 | #Constraints: 34641
1562.92/1566.52 c #Conflicts: 1204000 | #Constraints: 35641
1562.92/1566.52 c #Conflicts: 1205000 | #Constraints: 36641
1562.92/1566.52 c #Conflicts: 1206000 | #Constraints: 37641
1562.92/1566.52 c #Conflicts: 1207000 | #Constraints: 38641
1562.92/1566.52 c #Conflicts: 1208000 | #Constraints: 39641
1562.92/1566.52 c #Conflicts: 1209000 | #Constraints: 40641
1562.92/1566.52 c #Conflicts: 1210000 | #Constraints: 41641
1720.03/1724.02 c #Conflicts: 1211000 | #Constraints: 42641
1720.03/1724.02 c #Conflicts: 1212000 | #Constraints: 43641
1720.03/1724.02 c INPROCESSING
1720.03/1724.02 c GARBAGE COLLECT
1720.03/1724.02 c #Conflicts: 1213000 | #Constraints: 22839
1720.03/1724.02 c #Conflicts: 1214000 | #Constraints: 23839
1720.03/1724.02 c #Conflicts: 1215000 | #Constraints: 24839
1720.03/1724.02 c #Conflicts: 1216000 | #Constraints: 25839
1720.03/1724.02 c #Conflicts: 1217000 | #Constraints: 26839
1720.03/1724.02 c #Conflicts: 1218000 | #Constraints: 27839
1720.03/1724.02 c #Conflicts: 1219000 | #Constraints: 28839
1720.03/1724.02 c #Conflicts: 1220000 | #Constraints: 29839
1720.03/1724.02 c #Conflicts: 1221000 | #Constraints: 30839
1720.03/1724.02 c #Conflicts: 1222000 | #Constraints: 31839
1720.03/1724.02 c #Conflicts: 1223000 | #Constraints: 32839
1720.03/1724.02 c #Conflicts: 1224000 | #Constraints: 33839
1720.03/1724.02 c #Conflicts: 1225000 | #Constraints: 34839
1720.03/1724.02 c #Conflicts: 1226000 | #Constraints: 35839
1720.03/1724.02 c #Conflicts: 1227000 | #Constraints: 36839
1720.03/1724.02 c #Conflicts: 1228000 | #Constraints: 37839
1720.03/1724.02 c #Conflicts: 1229000 | #Constraints: 38839
1720.03/1724.02 c #Conflicts: 1230000 | #Constraints: 39839
1720.03/1724.02 c #Conflicts: 1231000 | #Constraints: 40839
1720.03/1724.02 c #Conflicts: 1232000 | #Constraints: 41839
1720.03/1724.02 c #Conflicts: 1233000 | #Constraints: 42839
1720.03/1724.02 c #Conflicts: 1234000 | #Constraints: 43839
1720.03/1724.02 c INPROCESSING
1720.03/1724.02 c GARBAGE COLLECT
1720.03/1724.02 c #Conflicts: 1235000 | #Constraints: 22841
1720.03/1724.02 c #Conflicts: 1236000 | #Constraints: 23841
1720.03/1724.02 c #Conflicts: 1237000 | #Constraints: 24841
1720.03/1724.02 c #Conflicts: 1238000 | #Constraints: 25841
1720.03/1724.02 c #Conflicts: 1239000 | #Constraints: 26841
1720.03/1724.02 c #Conflicts: 1240000 | #Constraints: 27841
1720.03/1724.02 c #Conflicts: 1241000 | #Constraints: 28841
1720.03/1724.02 c #Conflicts: 1242000 | #Constraints: 29841
1720.03/1724.02 c #Conflicts: 1243000 | #Constraints: 30841
1720.03/1724.02 c #Conflicts: 1244000 | #Constraints: 31841
1720.03/1724.02 c #Conflicts: 1245000 | #Constraints: 32841
1720.03/1724.02 c #Conflicts: 1246000 | #Constraints: 33841
1720.03/1724.02 c #Conflicts: 1247000 | #Constraints: 34841
1720.03/1724.02 c #Conflicts: 1248000 | #Constraints: 35841
1720.03/1724.02 c #Conflicts: 1249000 | #Constraints: 36841
1720.03/1724.02 c #Conflicts: 1250000 | #Constraints: 37841
1720.03/1724.02 c #Conflicts: 1251000 | #Constraints: 38841
1720.03/1724.02 c #Conflicts: 1252000 | #Constraints: 39841
1720.03/1724.02 c #Conflicts: 1253000 | #Constraints: 40841
1720.03/1724.02 c #Conflicts: 1254000 | #Constraints: 41841
1720.03/1724.02 c #Conflicts: 1255000 | #Constraints: 42841
1720.03/1724.02 c #Conflicts: 1256000 | #Constraints: 43841
1720.03/1724.02 c INPROCESSING
1720.03/1724.02 c GARBAGE COLLECT
1720.03/1724.02 c #Conflicts: 1257000 | #Constraints: 22636
1720.03/1724.02 c #Conflicts: 1258000 | #Constraints: 23636
1720.03/1724.02 c #Conflicts: 1259000 | #Constraints: 24636
1720.03/1724.02 c #Conflicts: 1260000 | #Constraints: 25636
1720.03/1724.02 c #Conflicts: 1261000 | #Constraints: 26636
1720.03/1724.02 c #Conflicts: 1262000 | #Constraints: 27636
1720.03/1724.02 c #Conflicts: 1263000 | #Constraints: 28636
1720.03/1724.02 c #Conflicts: 1264000 | #Constraints: 29636
1720.03/1724.02 c #Conflicts: 1265000 | #Constraints: 30636
1720.03/1724.02 c #Conflicts: 1266000 | #Constraints: 31636
1720.03/1724.02 c #Conflicts: 1267000 | #Constraints: 32636
1720.03/1724.02 c #Conflicts: 1268000 | #Constraints: 33636
1720.03/1724.02 c #Conflicts: 1269000 | #Constraints: 34636
1720.03/1724.02 c #Conflicts: 1270000 | #Constraints: 35636
1720.03/1724.02 c #Conflicts: 1271000 | #Constraints: 36636
1720.03/1724.02 c #Conflicts: 1272000 | #Constraints: 37636
1720.03/1724.02 c #Conflicts: 1273000 | #Constraints: 38636
1720.03/1724.02 c #Conflicts: 1274000 | #Constraints: 39636
1720.03/1724.02 c #Conflicts: 1275000 | #Constraints: 40636
1720.03/1724.02 c #Conflicts: 1276000 | #Constraints: 41636
1720.03/1724.02 c #Conflicts: 1277000 | #Constraints: 42636
1720.03/1724.02 c #Conflicts: 1278000 | #Constraints: 43636
1720.03/1724.02 c #Conflicts: 1279000 | #Constraints: 44636
1720.03/1724.02 c INPROCESSING
1720.03/1724.02 c GARBAGE COLLECT
1720.03/1724.02 c #Conflicts: 1280000 | #Constraints: 23235
1720.03/1724.02 c #Conflicts: 1281000 | #Constraints: 24235
1720.03/1724.02 c #Conflicts: 1282000 | #Constraints: 25235
1720.03/1724.02 c #Conflicts: 1283000 | #Constraints: 26235
1720.03/1724.02 c #Conflicts: 1284000 | #Constraints: 27235
1720.03/1724.02 c #Conflicts: 1285000 | #Constraints: 28235
1720.03/1724.02 c #Conflicts: 1286000 | #Constraints: 29235
1720.03/1724.02 c #Conflicts: 1287000 | #Constraints: 30235
1898.97/1903.41 c #Conflicts: 1288000 | #Constraints: 31235
1898.97/1903.41 c #Conflicts: 1289000 | #Constraints: 32235
1898.97/1903.41 c #Conflicts: 1290000 | #Constraints: 33235
1898.97/1903.41 c #Conflicts: 1291000 | #Constraints: 34235
1898.97/1903.41 c #Conflicts: 1292000 | #Constraints: 35235
1898.97/1903.41 c #Conflicts: 1293000 | #Constraints: 36235
1898.97/1903.41 c #Conflicts: 1294000 | #Constraints: 37235
1898.97/1903.41 c #Conflicts: 1295000 | #Constraints: 38235
1898.97/1903.41 c #Conflicts: 1296000 | #Constraints: 39235
1898.97/1903.41 c #Conflicts: 1297000 | #Constraints: 40235
1898.97/1903.41 c #Conflicts: 1298000 | #Constraints: 41235
1898.97/1903.41 c #Conflicts: 1299000 | #Constraints: 42235
1898.97/1903.41 c #Conflicts: 1300000 | #Constraints: 43235
1898.97/1903.41 c #Conflicts: 1301000 | #Constraints: 44235
1898.97/1903.41 c #Conflicts: 1302000 | #Constraints: 45235
1898.97/1903.41 c INPROCESSING
1898.97/1903.41 c GARBAGE COLLECT
1898.97/1903.41 c #Conflicts: 1303000 | #Constraints: 23634
1898.97/1903.41 c #Conflicts: 1304000 | #Constraints: 24634
1898.97/1903.41 c #Conflicts: 1305000 | #Constraints: 25634
1898.97/1903.41 c #Conflicts: 1306000 | #Constraints: 26634
1898.97/1903.41 c #Conflicts: 1307000 | #Constraints: 27634
1898.97/1903.41 c #Conflicts: 1308000 | #Constraints: 28634
1898.97/1903.41 c #Conflicts: 1309000 | #Constraints: 29634
1898.97/1903.41 c #Conflicts: 1310000 | #Constraints: 30634
1898.97/1903.41 c #Conflicts: 1311000 | #Constraints: 31634
1898.97/1903.41 c #Conflicts: 1312000 | #Constraints: 32634
1898.97/1903.41 c #Conflicts: 1313000 | #Constraints: 33634
1898.97/1903.41 c #Conflicts: 1314000 | #Constraints: 34634
1898.97/1903.41 c #Conflicts: 1315000 | #Constraints: 35634
1898.97/1903.41 c #Conflicts: 1316000 | #Constraints: 36634
1898.97/1903.41 c #Conflicts: 1317000 | #Constraints: 37634
1898.97/1903.41 c #Conflicts: 1318000 | #Constraints: 38634
1898.97/1903.41 c #Conflicts: 1319000 | #Constraints: 39634
1898.97/1903.41 c #Conflicts: 1320000 | #Constraints: 40634
1898.97/1903.41 c #Conflicts: 1321000 | #Constraints: 41634
1898.97/1903.41 c #Conflicts: 1322000 | #Constraints: 42634
1898.97/1903.41 c #Conflicts: 1323000 | #Constraints: 43634
1898.97/1903.41 c #Conflicts: 1324000 | #Constraints: 44634
1898.97/1903.41 c #Conflicts: 1325000 | #Constraints: 45634
1898.97/1903.41 c INPROCESSING
1898.97/1903.41 c GARBAGE COLLECT
1898.97/1903.41 c #Conflicts: 1326000 | #Constraints: 23837
1898.97/1903.41 c #Conflicts: 1327000 | #Constraints: 24837
1898.97/1903.41 c #Conflicts: 1328000 | #Constraints: 25837
1898.97/1903.41 c #Conflicts: 1329000 | #Constraints: 26837
1898.97/1903.41 c #Conflicts: 1330000 | #Constraints: 27837
1898.97/1903.41 c #Conflicts: 1331000 | #Constraints: 28837
1898.97/1903.41 c #Conflicts: 1332000 | #Constraints: 29837
1898.97/1903.41 c #Conflicts: 1333000 | #Constraints: 30837
1898.97/1903.41 c #Conflicts: 1334000 | #Constraints: 31837
1898.97/1903.41 c #Conflicts: 1335000 | #Constraints: 32837
1898.97/1903.41 c #Conflicts: 1336000 | #Constraints: 33837
1898.97/1903.41 c #Conflicts: 1337000 | #Constraints: 34837
1898.97/1903.41 c #Conflicts: 1338000 | #Constraints: 35837
1898.97/1903.41 c #Conflicts: 1339000 | #Constraints: 36837
1898.97/1903.41 c #Conflicts: 1340000 | #Constraints: 37837
1898.97/1903.41 c #Conflicts: 1341000 | #Constraints: 38837
1898.97/1903.41 c #Conflicts: 1342000 | #Constraints: 39837
1898.97/1903.41 c #Conflicts: 1343000 | #Constraints: 40837
1898.97/1903.41 c #Conflicts: 1344000 | #Constraints: 41837
1898.97/1903.41 c #Conflicts: 1345000 | #Constraints: 42837
1898.97/1903.41 c #Conflicts: 1346000 | #Constraints: 43837
1898.97/1903.41 c #Conflicts: 1347000 | #Constraints: 44837
1898.97/1903.41 c #Conflicts: 1348000 | #Constraints: 45837
1898.97/1903.41 c INPROCESSING
1898.97/1903.41 c GARBAGE COLLECT
1898.97/1903.41 c #Conflicts: 1349000 | #Constraints: 23840
1898.97/1903.41 c #Conflicts: 1350000 | #Constraints: 24840
1898.97/1903.41 c #Conflicts: 1351000 | #Constraints: 25840
1898.97/1903.41 c #Conflicts: 1352000 | #Constraints: 26840
1898.97/1903.41 c #Conflicts: 1353000 | #Constraints: 27840
1898.97/1903.41 c #Conflicts: 1354000 | #Constraints: 28840
1898.97/1903.41 c #Conflicts: 1355000 | #Constraints: 29840
1898.97/1903.41 c #Conflicts: 1356000 | #Constraints: 30840
1898.97/1903.41 c #Conflicts: 1357000 | #Constraints: 31840
1898.97/1903.41 c #Conflicts: 1358000 | #Constraints: 32840
1898.97/1903.41 c #Conflicts: 1359000 | #Constraints: 33840
1898.97/1903.41 c #Conflicts: 1360000 | #Constraints: 34840
1898.97/1903.41 c #Conflicts: 1361000 | #Constraints: 35840
1898.97/1903.41 c #Conflicts: 1362000 | #Constraints: 36840
1898.97/1903.41 c #Conflicts: 1363000 | #Constraints: 37840
1898.97/1903.41 c #Conflicts: 1364000 | #Constraints: 38840
2064.02/2068.86 c #Conflicts: 1365000 | #Constraints: 39840
2064.02/2068.86 c #Conflicts: 1366000 | #Constraints: 40840
2064.02/2068.86 c #Conflicts: 1367000 | #Constraints: 41840
2064.02/2068.86 c #Conflicts: 1368000 | #Constraints: 42840
2064.02/2068.86 c #Conflicts: 1369000 | #Constraints: 43840
2064.02/2068.86 c #Conflicts: 1370000 | #Constraints: 44840
2064.02/2068.86 c #Conflicts: 1371000 | #Constraints: 45840
2064.02/2068.86 c INPROCESSING
2064.02/2068.86 c GARBAGE COLLECT
2064.02/2068.86 c #Conflicts: 1372000 | #Constraints: 23639
2064.02/2068.86 c #Conflicts: 1373000 | #Constraints: 24639
2064.02/2068.86 c #Conflicts: 1374000 | #Constraints: 25639
2064.02/2068.86 c #Conflicts: 1375000 | #Constraints: 26639
2064.02/2068.86 c #Conflicts: 1376000 | #Constraints: 27639
2064.02/2068.86 c #Conflicts: 1377000 | #Constraints: 28639
2064.02/2068.86 c #Conflicts: 1378000 | #Constraints: 29639
2064.02/2068.86 c #Conflicts: 1379000 | #Constraints: 30639
2064.02/2068.86 c #Conflicts: 1380000 | #Constraints: 31639
2064.02/2068.86 c #Conflicts: 1381000 | #Constraints: 32639
2064.02/2068.86 c #Conflicts: 1382000 | #Constraints: 33639
2064.02/2068.86 c #Conflicts: 1383000 | #Constraints: 34639
2064.02/2068.86 c #Conflicts: 1384000 | #Constraints: 35639
2064.02/2068.86 c #Conflicts: 1385000 | #Constraints: 36639
2064.02/2068.86 c #Conflicts: 1386000 | #Constraints: 37639
2064.02/2068.86 c #Conflicts: 1387000 | #Constraints: 38639
2064.02/2068.86 c #Conflicts: 1388000 | #Constraints: 39639
2064.02/2068.86 c #Conflicts: 1389000 | #Constraints: 40639
2064.02/2068.86 c #Conflicts: 1390000 | #Constraints: 41639
2064.02/2068.86 c #Conflicts: 1391000 | #Constraints: 42639
2064.02/2068.86 c #Conflicts: 1392000 | #Constraints: 43639
2064.02/2068.86 c #Conflicts: 1393000 | #Constraints: 44639
2064.02/2068.86 c #Conflicts: 1394000 | #Constraints: 45639
2064.02/2068.86 c #Conflicts: 1395000 | #Constraints: 46639
2064.02/2068.86 c INPROCESSING
2064.02/2068.86 c GARBAGE COLLECT
2064.02/2068.86 c #Conflicts: 1396000 | #Constraints: 24238
2064.02/2068.86 c #Conflicts: 1397000 | #Constraints: 25238
2064.02/2068.86 c #Conflicts: 1398000 | #Constraints: 26238
2064.02/2068.86 c #Conflicts: 1399000 | #Constraints: 27238
2064.02/2068.86 c #Conflicts: 1400000 | #Constraints: 28238
2064.02/2068.86 c #Conflicts: 1401000 | #Constraints: 29238
2064.02/2068.86 c #Conflicts: 1402000 | #Constraints: 30238
2064.02/2068.86 c #Conflicts: 1403000 | #Constraints: 31238
2064.02/2068.86 c #Conflicts: 1404000 | #Constraints: 32238
2064.02/2068.86 c #Conflicts: 1405000 | #Constraints: 33238
2064.02/2068.86 c #Conflicts: 1406000 | #Constraints: 34238
2064.02/2068.86 c #Conflicts: 1407000 | #Constraints: 35238
2064.02/2068.86 c #Conflicts: 1408000 | #Constraints: 36238
2064.02/2068.86 c #Conflicts: 1409000 | #Constraints: 37238
2064.02/2068.86 c #Conflicts: 1410000 | #Constraints: 38238
2064.02/2068.86 c #Conflicts: 1411000 | #Constraints: 39238
2064.02/2068.86 c #Conflicts: 1412000 | #Constraints: 40238
2064.02/2068.86 c #Conflicts: 1413000 | #Constraints: 41238
2064.02/2068.86 c #Conflicts: 1414000 | #Constraints: 42238
2064.02/2068.86 c #Conflicts: 1415000 | #Constraints: 43238
2064.02/2068.86 c #Conflicts: 1416000 | #Constraints: 44238
2064.02/2068.86 c #Conflicts: 1417000 | #Constraints: 45238
2064.02/2068.86 c #Conflicts: 1418000 | #Constraints: 46238
2064.02/2068.86 c #Conflicts: 1419000 | #Constraints: 47238
2064.02/2068.86 c INPROCESSING
2064.02/2068.86 c GARBAGE COLLECT
2064.02/2068.86 c #Conflicts: 1420000 | #Constraints: 24639
2064.02/2068.86 c #Conflicts: 1421000 | #Constraints: 25639
2064.02/2068.86 c #Conflicts: 1422000 | #Constraints: 26639
2064.02/2068.86 c #Conflicts: 1423000 | #Constraints: 27639
2064.02/2068.86 c #Conflicts: 1424000 | #Constraints: 28639
2064.02/2068.86 c #Conflicts: 1425000 | #Constraints: 29639
2064.02/2068.86 c #Conflicts: 1426000 | #Constraints: 30639
2064.02/2068.86 c #Conflicts: 1427000 | #Constraints: 31639
2064.02/2068.86 c #Conflicts: 1428000 | #Constraints: 32639
2064.02/2068.86 c #Conflicts: 1429000 | #Constraints: 33639
2064.02/2068.86 c #Conflicts: 1430000 | #Constraints: 34639
2064.02/2068.86 c #Conflicts: 1431000 | #Constraints: 35639
2064.02/2068.86 c #Conflicts: 1432000 | #Constraints: 36639
2064.02/2068.86 c #Conflicts: 1433000 | #Constraints: 37639
2064.02/2068.86 c #Conflicts: 1434000 | #Constraints: 38639
2064.02/2068.86 c #Conflicts: 1435000 | #Constraints: 39639
2064.02/2068.86 c #Conflicts: 1436000 | #Constraints: 40639
2064.02/2068.86 c #Conflicts: 1437000 | #Constraints: 41639
2064.02/2068.86 c #Conflicts: 1438000 | #Constraints: 42639
2064.02/2068.86 c #Conflicts: 1439000 | #Constraints: 43639
2064.02/2068.86 c #Conflicts: 1440000 | #Constraints: 44639
2244.62/2249.86 c #Conflicts: 1441000 | #Constraints: 45639
2244.62/2249.86 c #Conflicts: 1442000 | #Constraints: 46639
2244.62/2249.86 c #Conflicts: 1443000 | #Constraints: 47639
2244.62/2249.86 c INPROCESSING
2244.62/2249.86 c GARBAGE COLLECT
2244.62/2249.86 c #Conflicts: 1444000 | #Constraints: 24837
2244.62/2249.86 c #Conflicts: 1445000 | #Constraints: 25837
2244.62/2249.86 c #Conflicts: 1446000 | #Constraints: 26837
2244.62/2249.86 c #Conflicts: 1447000 | #Constraints: 27837
2244.62/2249.86 c #Conflicts: 1448000 | #Constraints: 28837
2244.62/2249.86 c #Conflicts: 1449000 | #Constraints: 29837
2244.62/2249.86 c #Conflicts: 1450000 | #Constraints: 30837
2244.62/2249.86 c #Conflicts: 1451000 | #Constraints: 31837
2244.62/2249.86 c #Conflicts: 1452000 | #Constraints: 32837
2244.62/2249.86 c #Conflicts: 1453000 | #Constraints: 33837
2244.62/2249.86 c #Conflicts: 1454000 | #Constraints: 34837
2244.62/2249.86 c #Conflicts: 1455000 | #Constraints: 35837
2244.62/2249.86 c #Conflicts: 1456000 | #Constraints: 36837
2244.62/2249.86 c #Conflicts: 1457000 | #Constraints: 37837
2244.62/2249.86 c #Conflicts: 1458000 | #Constraints: 38837
2244.62/2249.86 c #Conflicts: 1459000 | #Constraints: 39837
2244.62/2249.86 c #Conflicts: 1460000 | #Constraints: 40837
2244.62/2249.86 c #Conflicts: 1461000 | #Constraints: 41837
2244.62/2249.86 c #Conflicts: 1462000 | #Constraints: 42837
2244.62/2249.86 c #Conflicts: 1463000 | #Constraints: 43837
2244.62/2249.86 c #Conflicts: 1464000 | #Constraints: 44837
2244.62/2249.86 c #Conflicts: 1465000 | #Constraints: 45837
2244.62/2249.86 c #Conflicts: 1466000 | #Constraints: 46837
2244.62/2249.86 c #Conflicts: 1467000 | #Constraints: 47837
2244.62/2249.86 c INPROCESSING
2244.62/2249.86 c GARBAGE COLLECT
2244.62/2249.86 c #Conflicts: 1468000 | #Constraints: 24837
2244.62/2249.86 c #Conflicts: 1469000 | #Constraints: 25837
2244.62/2249.86 c #Conflicts: 1470000 | #Constraints: 26837
2244.62/2249.86 c #Conflicts: 1471000 | #Constraints: 27837
2244.62/2249.86 c #Conflicts: 1472000 | #Constraints: 28837
2244.62/2249.86 c #Conflicts: 1473000 | #Constraints: 29837
2244.62/2249.86 c #Conflicts: 1474000 | #Constraints: 30837
2244.62/2249.86 c #Conflicts: 1475000 | #Constraints: 31837
2244.62/2249.86 c #Conflicts: 1476000 | #Constraints: 32837
2244.62/2249.86 c #Conflicts: 1477000 | #Constraints: 33837
2244.62/2249.86 c #Conflicts: 1478000 | #Constraints: 34837
2244.62/2249.86 c #Conflicts: 1479000 | #Constraints: 35837
2244.62/2249.86 c #Conflicts: 1480000 | #Constraints: 36837
2244.62/2249.86 c #Conflicts: 1481000 | #Constraints: 37837
2244.62/2249.86 c #Conflicts: 1482000 | #Constraints: 38837
2244.62/2249.86 c #Conflicts: 1483000 | #Constraints: 39837
2244.62/2249.86 c #Conflicts: 1484000 | #Constraints: 40837
2244.62/2249.86 c #Conflicts: 1485000 | #Constraints: 41837
2244.62/2249.86 c #Conflicts: 1486000 | #Constraints: 42837
2244.62/2249.86 c #Conflicts: 1487000 | #Constraints: 43837
2244.62/2249.86 c #Conflicts: 1488000 | #Constraints: 44837
2244.62/2249.86 c #Conflicts: 1489000 | #Constraints: 45837
2244.62/2249.86 c #Conflicts: 1490000 | #Constraints: 46837
2244.62/2249.86 c #Conflicts: 1491000 | #Constraints: 47837
2244.62/2249.86 c INPROCESSING
2244.62/2249.86 c GARBAGE COLLECT
2244.62/2249.86 c #Conflicts: 1492000 | #Constraints: 24637
2244.62/2249.86 c #Conflicts: 1493000 | #Constraints: 25637
2244.62/2249.86 c #Conflicts: 1494000 | #Constraints: 26637
2244.62/2249.86 c #Conflicts: 1495000 | #Constraints: 27637
2244.62/2249.86 c #Conflicts: 1496000 | #Constraints: 28637
2244.62/2249.86 c #Conflicts: 1497000 | #Constraints: 29637
2244.62/2249.86 c #Conflicts: 1498000 | #Constraints: 30637
2244.62/2249.86 c #Conflicts: 1499000 | #Constraints: 31637
2244.62/2249.86 c #Conflicts: 1500000 | #Constraints: 32637
2244.62/2249.86 c #Conflicts: 1501000 | #Constraints: 33637
2244.62/2249.86 c #Conflicts: 1502000 | #Constraints: 34637
2244.62/2249.86 c #Conflicts: 1503000 | #Constraints: 35637
2244.62/2249.86 c #Conflicts: 1504000 | #Constraints: 36637
2244.62/2249.86 c #Conflicts: 1505000 | #Constraints: 37637
2244.62/2249.86 c #Conflicts: 1506000 | #Constraints: 38637
2244.62/2249.86 c #Conflicts: 1507000 | #Constraints: 39637
2244.62/2249.86 c #Conflicts: 1508000 | #Constraints: 40637
2244.62/2249.86 c #Conflicts: 1509000 | #Constraints: 41637
2244.62/2249.86 c #Conflicts: 1510000 | #Constraints: 42637
2244.62/2249.86 c #Conflicts: 1511000 | #Constraints: 43637
2244.62/2249.86 c #Conflicts: 1512000 | #Constraints: 44637
2244.62/2249.86 c #Conflicts: 1513000 | #Constraints: 45637
2244.62/2249.86 c #Conflicts: 1514000 | #Constraints: 46637
2244.62/2249.86 c #Conflicts: 1515000 | #Constraints: 47637
2244.62/2249.86 c #Conflicts: 1516000 | #Constraints: 48637
2244.62/2249.86 c INPROCESSING
2244.62/2249.86 c GARBAGE COLLECT
2244.62/2249.86 c #Conflicts: 1517000 | #Constraints: 25239
2455.50/2461.29 c #Conflicts: 1518000 | #Constraints: 26239
2455.50/2461.29 c #Conflicts: 1519000 | #Constraints: 27239
2455.50/2461.29 c #Conflicts: 1520000 | #Constraints: 28239
2455.50/2461.29 c #Conflicts: 1521000 | #Constraints: 29239
2455.50/2461.29 c #Conflicts: 1522000 | #Constraints: 30239
2455.50/2461.29 c #Conflicts: 1523000 | #Constraints: 31239
2455.50/2461.29 c #Conflicts: 1524000 | #Constraints: 32239
2455.50/2461.29 c #Conflicts: 1525000 | #Constraints: 33239
2455.50/2461.29 c #Conflicts: 1526000 | #Constraints: 34239
2455.50/2461.29 c #Conflicts: 1527000 | #Constraints: 35239
2455.50/2461.29 c #Conflicts: 1528000 | #Constraints: 36239
2455.50/2461.29 c #Conflicts: 1529000 | #Constraints: 37239
2455.50/2461.29 c #Conflicts: 1530000 | #Constraints: 38239
2455.50/2461.29 c #Conflicts: 1531000 | #Constraints: 39239
2455.50/2461.29 c #Conflicts: 1532000 | #Constraints: 40239
2455.50/2461.29 c #Conflicts: 1533000 | #Constraints: 41239
2455.50/2461.29 c #Conflicts: 1534000 | #Constraints: 42239
2455.50/2461.29 c #Conflicts: 1535000 | #Constraints: 43239
2455.50/2461.29 c #Conflicts: 1536000 | #Constraints: 44239
2455.50/2461.29 c #Conflicts: 1537000 | #Constraints: 45239
2455.50/2461.29 c #Conflicts: 1538000 | #Constraints: 46239
2455.50/2461.29 c #Conflicts: 1539000 | #Constraints: 47239
2455.50/2461.29 c #Conflicts: 1540000 | #Constraints: 48239
2455.50/2461.29 c #Conflicts: 1541000 | #Constraints: 49239
2455.50/2461.29 c INPROCESSING
2455.50/2461.29 c GARBAGE COLLECT
2455.50/2461.29 c #Conflicts: 1542000 | #Constraints: 25640
2455.50/2461.29 c #Conflicts: 1543000 | #Constraints: 26640
2455.50/2461.29 c #Conflicts: 1544000 | #Constraints: 27640
2455.50/2461.29 c #Conflicts: 1545000 | #Constraints: 28640
2455.50/2461.29 c #Conflicts: 1546000 | #Constraints: 29640
2455.50/2461.29 c #Conflicts: 1547000 | #Constraints: 30640
2455.50/2461.29 c #Conflicts: 1548000 | #Constraints: 31640
2455.50/2461.29 c #Conflicts: 1549000 | #Constraints: 32640
2455.50/2461.29 c #Conflicts: 1550000 | #Constraints: 33640
2455.50/2461.29 c #Conflicts: 1551000 | #Constraints: 34640
2455.50/2461.29 c #Conflicts: 1552000 | #Constraints: 35640
2455.50/2461.29 c #Conflicts: 1553000 | #Constraints: 36640
2455.50/2461.29 c #Conflicts: 1554000 | #Constraints: 37640
2455.50/2461.29 c #Conflicts: 1555000 | #Constraints: 38640
2455.50/2461.29 c #Conflicts: 1556000 | #Constraints: 39640
2455.50/2461.29 c #Conflicts: 1557000 | #Constraints: 40640
2455.50/2461.29 c #Conflicts: 1558000 | #Constraints: 41640
2455.50/2461.29 c #Conflicts: 1559000 | #Constraints: 42640
2455.50/2461.29 c #Conflicts: 1560000 | #Constraints: 43640
2455.50/2461.29 c #Conflicts: 1561000 | #Constraints: 44640
2455.50/2461.29 c #Conflicts: 1562000 | #Constraints: 45640
2455.50/2461.29 c #Conflicts: 1563000 | #Constraints: 46640
2455.50/2461.29 c #Conflicts: 1564000 | #Constraints: 47640
2455.50/2461.29 c #Conflicts: 1565000 | #Constraints: 48640
2455.50/2461.29 c #Conflicts: 1566000 | #Constraints: 49640
2455.50/2461.29 c INPROCESSING
2455.50/2461.29 c GARBAGE COLLECT
2455.50/2461.29 c #Conflicts: 1567000 | #Constraints: 25838
2455.50/2461.29 c #Conflicts: 1568000 | #Constraints: 26838
2455.50/2461.29 c #Conflicts: 1569000 | #Constraints: 27838
2455.50/2461.29 c #Conflicts: 1570000 | #Constraints: 28838
2455.50/2461.29 c #Conflicts: 1571000 | #Constraints: 29838
2455.50/2461.29 c #Conflicts: 1572000 | #Constraints: 30838
2455.50/2461.29 c #Conflicts: 1573000 | #Constraints: 31838
2455.50/2461.29 c #Conflicts: 1574000 | #Constraints: 32838
2455.50/2461.29 c #Conflicts: 1575000 | #Constraints: 33838
2455.50/2461.29 c #Conflicts: 1576000 | #Constraints: 34838
2455.50/2461.29 c #Conflicts: 1577000 | #Constraints: 35838
2455.50/2461.29 c #Conflicts: 1578000 | #Constraints: 36838
2455.50/2461.29 c #Conflicts: 1579000 | #Constraints: 37838
2455.50/2461.29 c #Conflicts: 1580000 | #Constraints: 38838
2455.50/2461.29 c #Conflicts: 1581000 | #Constraints: 39838
2455.50/2461.29 c #Conflicts: 1582000 | #Constraints: 40838
2455.50/2461.29 c #Conflicts: 1583000 | #Constraints: 41838
2455.50/2461.29 c #Conflicts: 1584000 | #Constraints: 42838
2455.50/2461.29 c #Conflicts: 1585000 | #Constraints: 43838
2455.50/2461.29 c #Conflicts: 1586000 | #Constraints: 44838
2455.50/2461.29 c #Conflicts: 1587000 | #Constraints: 45838
2455.50/2461.29 c #Conflicts: 1588000 | #Constraints: 46838
2455.50/2461.29 c #Conflicts: 1589000 | #Constraints: 47838
2455.50/2461.29 c #Conflicts: 1590000 | #Constraints: 48838
2455.50/2461.29 c #Conflicts: 1591000 | #Constraints: 49838
2455.50/2461.29 c INPROCESSING
2455.50/2461.29 c GARBAGE COLLECT
2455.50/2461.29 c #Conflicts: 1592000 | #Constraints: 25839
2455.50/2461.29 c #Conflicts: 1593000 | #Constraints: 26839
2455.50/2461.29 c #Conflicts: 1594000 | #Constraints: 27839
2684.51/2690.82 c #Conflicts: 1595000 | #Constraints: 28839
2684.51/2690.82 c #Conflicts: 1596000 | #Constraints: 29839
2684.51/2690.82 c #Conflicts: 1597000 | #Constraints: 30839
2684.51/2690.82 c #Conflicts: 1598000 | #Constraints: 31839
2684.51/2690.82 c #Conflicts: 1599000 | #Constraints: 32839
2684.51/2690.82 c #Conflicts: 1600000 | #Constraints: 33839
2684.51/2690.82 c #Conflicts: 1601000 | #Constraints: 34839
2684.51/2690.82 c #Conflicts: 1602000 | #Constraints: 35839
2684.51/2690.82 c #Conflicts: 1603000 | #Constraints: 36839
2684.51/2690.82 c #Conflicts: 1604000 | #Constraints: 37839
2684.51/2690.82 c #Conflicts: 1605000 | #Constraints: 38839
2684.51/2690.82 c #Conflicts: 1606000 | #Constraints: 39839
2684.51/2690.82 c #Conflicts: 1607000 | #Constraints: 40839
2684.51/2690.82 c #Conflicts: 1608000 | #Constraints: 41839
2684.51/2690.82 c #Conflicts: 1609000 | #Constraints: 42839
2684.51/2690.82 c #Conflicts: 1610000 | #Constraints: 43839
2684.51/2690.82 c #Conflicts: 1611000 | #Constraints: 44839
2684.51/2690.82 c #Conflicts: 1612000 | #Constraints: 45839
2684.51/2690.82 c #Conflicts: 1613000 | #Constraints: 46839
2684.51/2690.82 c #Conflicts: 1614000 | #Constraints: 47839
2684.51/2690.82 c #Conflicts: 1615000 | #Constraints: 48839
2684.51/2690.82 c #Conflicts: 1616000 | #Constraints: 49839
2684.51/2690.82 c INPROCESSING
2684.51/2690.82 c GARBAGE COLLECT
2684.51/2690.82 c #Conflicts: 1617000 | #Constraints: 25641
2684.51/2690.82 c #Conflicts: 1618000 | #Constraints: 26641
2684.51/2690.82 c #Conflicts: 1619000 | #Constraints: 27641
2684.51/2690.82 c #Conflicts: 1620000 | #Constraints: 28641
2684.51/2690.82 c #Conflicts: 1621000 | #Constraints: 29641
2684.51/2690.82 c #Conflicts: 1622000 | #Constraints: 30641
2684.51/2690.82 c #Conflicts: 1623000 | #Constraints: 31641
2684.51/2690.82 c #Conflicts: 1624000 | #Constraints: 32641
2684.51/2690.82 c #Conflicts: 1625000 | #Constraints: 33641
2684.51/2690.82 c #Conflicts: 1626000 | #Constraints: 34641
2684.51/2690.82 c #Conflicts: 1627000 | #Constraints: 35641
2684.51/2690.82 c #Conflicts: 1628000 | #Constraints: 36641
2684.51/2690.82 c #Conflicts: 1629000 | #Constraints: 37641
2684.51/2690.82 c #Conflicts: 1630000 | #Constraints: 38641
2684.51/2690.82 c #Conflicts: 1631000 | #Constraints: 39641
2684.51/2690.82 c #Conflicts: 1632000 | #Constraints: 40641
2684.51/2690.82 c #Conflicts: 1633000 | #Constraints: 41641
2684.51/2690.82 c #Conflicts: 1634000 | #Constraints: 42641
2684.51/2690.82 c #Conflicts: 1635000 | #Constraints: 43641
2684.51/2690.82 c #Conflicts: 1636000 | #Constraints: 44641
2684.51/2690.82 c #Conflicts: 1637000 | #Constraints: 45641
2684.51/2690.82 c #Conflicts: 1638000 | #Constraints: 46641
2684.51/2690.82 c #Conflicts: 1639000 | #Constraints: 47641
2684.51/2690.82 c #Conflicts: 1640000 | #Constraints: 48641
2684.51/2690.82 c #Conflicts: 1641000 | #Constraints: 49641
2684.51/2690.82 c #Conflicts: 1642000 | #Constraints: 50641
2684.51/2690.82 c INPROCESSING
2684.51/2690.82 c GARBAGE COLLECT
2684.51/2690.82 c #Conflicts: 1643000 | #Constraints: 26241
2684.51/2690.82 c #Conflicts: 1644000 | #Constraints: 27241
2684.51/2690.82 c #Conflicts: 1645000 | #Constraints: 28241
2684.51/2690.82 c #Conflicts: 1646000 | #Constraints: 29241
2684.51/2690.82 c #Conflicts: 1647000 | #Constraints: 30241
2684.51/2690.82 c #Conflicts: 1648000 | #Constraints: 31241
2684.51/2690.82 c #Conflicts: 1649000 | #Constraints: 32241
2684.51/2690.82 c #Conflicts: 1650000 | #Constraints: 33241
2684.51/2690.82 c #Conflicts: 1651000 | #Constraints: 34241
2684.51/2690.82 c #Conflicts: 1652000 | #Constraints: 35241
2684.51/2690.82 c #Conflicts: 1653000 | #Constraints: 36241
2684.51/2690.82 c #Conflicts: 1654000 | #Constraints: 37241
2684.51/2690.82 c #Conflicts: 1655000 | #Constraints: 38241
2684.51/2690.82 c #Conflicts: 1656000 | #Constraints: 39241
2684.51/2690.82 c #Conflicts: 1657000 | #Constraints: 40241
2684.51/2690.82 c #Conflicts: 1658000 | #Constraints: 41241
2684.51/2690.82 c #Conflicts: 1659000 | #Constraints: 42241
2684.51/2690.82 c #Conflicts: 1660000 | #Constraints: 43241
2684.51/2690.82 c #Conflicts: 1661000 | #Constraints: 44241
2684.51/2690.82 c #Conflicts: 1662000 | #Constraints: 45241
2684.51/2690.82 c #Conflicts: 1663000 | #Constraints: 46241
2684.51/2690.82 c #Conflicts: 1664000 | #Constraints: 47241
2684.51/2690.82 c #Conflicts: 1665000 | #Constraints: 48241
2684.51/2690.82 c #Conflicts: 1666000 | #Constraints: 49241
2684.51/2690.82 c #Conflicts: 1667000 | #Constraints: 50241
2684.51/2690.82 c #Conflicts: 1668000 | #Constraints: 51241
2684.51/2690.82 c INPROCESSING
2684.51/2690.82 c GARBAGE COLLECT
2684.51/2690.82 c #Conflicts: 1669000 | #Constraints: 26636
2684.51/2690.82 c #Conflicts: 1670000 | #Constraints: 27636
2885.00/2891.80 c #Conflicts: 1671000 | #Constraints: 28636
2885.00/2891.80 c #Conflicts: 1672000 | #Constraints: 29636
2885.00/2891.80 c #Conflicts: 1673000 | #Constraints: 30636
2885.00/2891.80 c #Conflicts: 1674000 | #Constraints: 31636
2885.00/2891.80 c #Conflicts: 1675000 | #Constraints: 32636
2885.00/2891.80 c #Conflicts: 1676000 | #Constraints: 33636
2885.00/2891.80 c #Conflicts: 1677000 | #Constraints: 34636
2885.00/2891.80 c #Conflicts: 1678000 | #Constraints: 35636
2885.00/2891.80 c #Conflicts: 1679000 | #Constraints: 36636
2885.00/2891.80 c #Conflicts: 1680000 | #Constraints: 37636
2885.00/2891.80 c #Conflicts: 1681000 | #Constraints: 38636
2885.00/2891.80 c #Conflicts: 1682000 | #Constraints: 39636
2885.00/2891.80 c #Conflicts: 1683000 | #Constraints: 40636
2885.00/2891.80 c #Conflicts: 1684000 | #Constraints: 41636
2885.00/2891.80 c #Conflicts: 1685000 | #Constraints: 42636
2885.00/2891.80 c #Conflicts: 1686000 | #Constraints: 43636
2885.00/2891.80 c #Conflicts: 1687000 | #Constraints: 44636
2885.00/2891.80 c #Conflicts: 1688000 | #Constraints: 45636
2885.00/2891.80 c #Conflicts: 1689000 | #Constraints: 46636
2885.00/2891.80 c #Conflicts: 1690000 | #Constraints: 47636
2885.00/2891.80 c #Conflicts: 1691000 | #Constraints: 48636
2885.00/2891.80 c #Conflicts: 1692000 | #Constraints: 49636
2885.00/2891.80 c #Conflicts: 1693000 | #Constraints: 50636
2885.00/2891.80 c #Conflicts: 1694000 | #Constraints: 51636
2885.00/2891.80 c INPROCESSING
2885.00/2891.80 c GARBAGE COLLECT
2885.00/2891.80 c #Conflicts: 1695000 | #Constraints: 26837
2885.00/2891.80 c #Conflicts: 1696000 | #Constraints: 27837
2885.00/2891.80 c #Conflicts: 1697000 | #Constraints: 28837
2885.00/2891.80 c #Conflicts: 1698000 | #Constraints: 29837
2885.00/2891.80 c #Conflicts: 1699000 | #Constraints: 30837
2885.00/2891.80 c #Conflicts: 1700000 | #Constraints: 31837
2885.00/2891.80 c #Conflicts: 1701000 | #Constraints: 32837
2885.00/2891.80 c #Conflicts: 1702000 | #Constraints: 33837
2885.00/2891.80 c #Conflicts: 1703000 | #Constraints: 34837
2885.00/2891.80 c #Conflicts: 1704000 | #Constraints: 35837
2885.00/2891.80 c #Conflicts: 1705000 | #Constraints: 36837
2885.00/2891.80 c #Conflicts: 1706000 | #Constraints: 37837
2885.00/2891.80 c #Conflicts: 1707000 | #Constraints: 38837
2885.00/2891.80 c #Conflicts: 1708000 | #Constraints: 39837
2885.00/2891.80 c #Conflicts: 1709000 | #Constraints: 40837
2885.00/2891.80 c #Conflicts: 1710000 | #Constraints: 41837
2885.00/2891.80 c #Conflicts: 1711000 | #Constraints: 42837
2885.00/2891.80 c #Conflicts: 1712000 | #Constraints: 43837
2885.00/2891.80 c #Conflicts: 1713000 | #Constraints: 44837
2885.00/2891.80 c #Conflicts: 1714000 | #Constraints: 45837
2885.00/2891.80 c #Conflicts: 1715000 | #Constraints: 46837
2885.00/2891.80 c #Conflicts: 1716000 | #Constraints: 47837
2885.00/2891.80 c #Conflicts: 1717000 | #Constraints: 48837
2885.00/2891.80 c #Conflicts: 1718000 | #Constraints: 49837
2885.00/2891.80 c #Conflicts: 1719000 | #Constraints: 50837
2885.00/2891.80 c #Conflicts: 1720000 | #Constraints: 51837
2885.00/2891.80 c INPROCESSING
2885.00/2891.80 c GARBAGE COLLECT
2885.00/2891.80 c #Conflicts: 1721000 | #Constraints: 26838
2885.00/2891.80 c #Conflicts: 1722000 | #Constraints: 27838
2885.00/2891.80 c #Conflicts: 1723000 | #Constraints: 28838
2885.00/2891.80 c #Conflicts: 1724000 | #Constraints: 29838
2885.00/2891.80 c #Conflicts: 1725000 | #Constraints: 30838
2885.00/2891.80 c #Conflicts: 1726000 | #Constraints: 31838
2885.00/2891.80 c #Conflicts: 1727000 | #Constraints: 32838
2885.00/2891.80 c #Conflicts: 1728000 | #Constraints: 33838
2885.00/2891.80 c #Conflicts: 1729000 | #Constraints: 34838
2885.00/2891.80 c #Conflicts: 1730000 | #Constraints: 35838
2885.00/2891.80 c #Conflicts: 1731000 | #Constraints: 36838
2885.00/2891.80 c #Conflicts: 1732000 | #Constraints: 37838
2885.00/2891.80 c #Conflicts: 1733000 | #Constraints: 38838
2885.00/2891.80 c #Conflicts: 1734000 | #Constraints: 39838
2885.00/2891.80 c #Conflicts: 1735000 | #Constraints: 40838
2885.00/2891.80 c #Conflicts: 1736000 | #Constraints: 41838
2885.00/2891.80 c #Conflicts: 1737000 | #Constraints: 42838
2885.00/2891.80 c #Conflicts: 1738000 | #Constraints: 43838
2885.00/2891.80 c #Conflicts: 1739000 | #Constraints: 44838
2885.00/2891.80 c #Conflicts: 1740000 | #Constraints: 45838
2885.00/2891.80 c #Conflicts: 1741000 | #Constraints: 46838
2885.00/2891.80 c #Conflicts: 1742000 | #Constraints: 47838
2885.00/2891.80 c #Conflicts: 1743000 | #Constraints: 48838
2885.00/2891.80 c #Conflicts: 1744000 | #Constraints: 49838
2885.00/2891.80 c #Conflicts: 1745000 | #Constraints: 50838
2885.00/2891.80 c #Conflicts: 1746000 | #Constraints: 51838
2885.00/2891.80 c INPROCESSING
2885.00/2891.80 c GARBAGE COLLECT
2885.00/2891.80 c #Conflicts: 1747000 | #Constraints: 26635
3091.75/3099.07 c #Conflicts: 1748000 | #Constraints: 27635
3091.75/3099.07 c #Conflicts: 1749000 | #Constraints: 28635
3091.75/3099.07 c #Conflicts: 1750000 | #Constraints: 29635
3091.75/3099.07 c #Conflicts: 1751000 | #Constraints: 30635
3091.75/3099.07 c #Conflicts: 1752000 | #Constraints: 31635
3091.75/3099.07 c #Conflicts: 1753000 | #Constraints: 32635
3091.75/3099.07 c #Conflicts: 1754000 | #Constraints: 33635
3091.75/3099.07 c #Conflicts: 1755000 | #Constraints: 34635
3091.75/3099.07 c #Conflicts: 1756000 | #Constraints: 35635
3091.75/3099.07 c #Conflicts: 1757000 | #Constraints: 36635
3091.75/3099.07 c #Conflicts: 1758000 | #Constraints: 37635
3091.75/3099.07 c #Conflicts: 1759000 | #Constraints: 38635
3091.75/3099.07 c #Conflicts: 1760000 | #Constraints: 39635
3091.75/3099.07 c #Conflicts: 1761000 | #Constraints: 40635
3091.75/3099.07 c #Conflicts: 1762000 | #Constraints: 41635
3091.75/3099.07 c #Conflicts: 1763000 | #Constraints: 42635
3091.75/3099.07 c #Conflicts: 1764000 | #Constraints: 43635
3091.75/3099.07 c #Conflicts: 1765000 | #Constraints: 44635
3091.75/3099.07 c #Conflicts: 1766000 | #Constraints: 45635
3091.75/3099.07 c #Conflicts: 1767000 | #Constraints: 46635
3091.75/3099.07 c #Conflicts: 1768000 | #Constraints: 47635
3091.75/3099.07 c #Conflicts: 1769000 | #Constraints: 48635
3091.75/3099.07 c #Conflicts: 1770000 | #Constraints: 49635
3091.75/3099.07 c #Conflicts: 1771000 | #Constraints: 50635
3091.75/3099.07 c #Conflicts: 1772000 | #Constraints: 51635
3091.75/3099.07 c #Conflicts: 1773000 | #Constraints: 52635
3091.75/3099.07 c INPROCESSING
3091.75/3099.07 c GARBAGE COLLECT
3091.75/3099.07 c #Conflicts: 1774000 | #Constraints: 27234
3091.75/3099.07 c #Conflicts: 1775000 | #Constraints: 28234
3091.75/3099.07 c #Conflicts: 1776000 | #Constraints: 29234
3091.75/3099.07 c #Conflicts: 1777000 | #Constraints: 30234
3091.75/3099.07 c #Conflicts: 1778000 | #Constraints: 31234
3091.75/3099.07 c #Conflicts: 1779000 | #Constraints: 32234
3091.75/3099.07 c #Conflicts: 1780000 | #Constraints: 33234
3091.75/3099.07 c #Conflicts: 1781000 | #Constraints: 34234
3091.75/3099.07 c #Conflicts: 1782000 | #Constraints: 35234
3091.75/3099.07 c #Conflicts: 1783000 | #Constraints: 36234
3091.75/3099.07 c #Conflicts: 1784000 | #Constraints: 37234
3091.75/3099.07 c #Conflicts: 1785000 | #Constraints: 38234
3091.75/3099.07 c #Conflicts: 1786000 | #Constraints: 39234
3091.75/3099.07 c #Conflicts: 1787000 | #Constraints: 40234
3091.75/3099.07 c #Conflicts: 1788000 | #Constraints: 41234
3091.75/3099.07 c #Conflicts: 1789000 | #Constraints: 42234
3091.75/3099.07 c #Conflicts: 1790000 | #Constraints: 43234
3091.75/3099.07 c #Conflicts: 1791000 | #Constraints: 44234
3091.75/3099.07 c #Conflicts: 1792000 | #Constraints: 45234
3091.75/3099.07 c #Conflicts: 1793000 | #Constraints: 46234
3091.75/3099.07 c #Conflicts: 1794000 | #Constraints: 47234
3091.75/3099.07 c #Conflicts: 1795000 | #Constraints: 48234
3091.75/3099.07 c #Conflicts: 1796000 | #Constraints: 49234
3091.75/3099.07 c #Conflicts: 1797000 | #Constraints: 50234
3091.75/3099.07 c #Conflicts: 1798000 | #Constraints: 51234
3091.75/3099.07 c #Conflicts: 1799000 | #Constraints: 52234
3091.75/3099.07 c #Conflicts: 1800000 | #Constraints: 53234
3091.75/3099.07 c INPROCESSING
3091.75/3099.07 c GARBAGE COLLECT
3091.75/3099.07 c #Conflicts: 1801000 | #Constraints: 27635
3091.75/3099.07 c #Conflicts: 1802000 | #Constraints: 28635
3091.75/3099.07 c #Conflicts: 1803000 | #Constraints: 29635
3091.75/3099.07 c #Conflicts: 1804000 | #Constraints: 30635
3091.75/3099.07 c #Conflicts: 1805000 | #Constraints: 31635
3091.75/3099.07 c #Conflicts: 1806000 | #Constraints: 32635
3091.75/3099.07 c #Conflicts: 1807000 | #Constraints: 33635
3091.75/3099.07 c #Conflicts: 1808000 | #Constraints: 34635
3091.75/3099.07 c #Conflicts: 1809000 | #Constraints: 35635
3091.75/3099.07 c #Conflicts: 1810000 | #Constraints: 36635
3091.75/3099.07 c #Conflicts: 1811000 | #Constraints: 37635
3091.75/3099.07 c #Conflicts: 1812000 | #Constraints: 38635
3091.75/3099.07 c #Conflicts: 1813000 | #Constraints: 39635
3091.75/3099.07 c #Conflicts: 1814000 | #Constraints: 40635
3091.75/3099.07 c #Conflicts: 1815000 | #Constraints: 41635
3091.75/3099.07 c #Conflicts: 1816000 | #Constraints: 42635
3091.75/3099.07 c #Conflicts: 1817000 | #Constraints: 43635
3091.75/3099.07 c #Conflicts: 1818000 | #Constraints: 44635
3091.75/3099.07 c #Conflicts: 1819000 | #Constraints: 45635
3091.75/3099.07 c #Conflicts: 1820000 | #Constraints: 46635
3091.75/3099.07 c #Conflicts: 1821000 | #Constraints: 47635
3091.75/3099.07 c #Conflicts: 1822000 | #Constraints: 48635
3091.75/3099.07 c #Conflicts: 1823000 | #Constraints: 49635
3091.75/3099.07 c #Conflicts: 1824000 | #Constraints: 50635
3091.75/3099.07 c #Conflicts: 1825000 | #Constraints: 51635
3302.48/3310.21 c #Conflicts: 1826000 | #Constraints: 52635
3302.48/3310.21 c #Conflicts: 1827000 | #Constraints: 53635
3302.48/3310.21 c INPROCESSING
3302.48/3310.21 c GARBAGE COLLECT
3302.48/3310.21 c #Conflicts: 1828000 | #Constraints: 27841
3302.48/3310.21 c #Conflicts: 1829000 | #Constraints: 28841
3302.48/3310.21 c #Conflicts: 1830000 | #Constraints: 29841
3302.48/3310.21 c #Conflicts: 1831000 | #Constraints: 30841
3302.48/3310.21 c #Conflicts: 1832000 | #Constraints: 31841
3302.48/3310.21 c #Conflicts: 1833000 | #Constraints: 32841
3302.48/3310.21 c #Conflicts: 1834000 | #Constraints: 33841
3302.48/3310.21 c #Conflicts: 1835000 | #Constraints: 34841
3302.48/3310.21 c #Conflicts: 1836000 | #Constraints: 35841
3302.48/3310.21 c #Conflicts: 1837000 | #Constraints: 36841
3302.48/3310.21 c #Conflicts: 1838000 | #Constraints: 37841
3302.48/3310.21 c #Conflicts: 1839000 | #Constraints: 38841
3302.48/3310.21 c #Conflicts: 1840000 | #Constraints: 39841
3302.48/3310.21 c #Conflicts: 1841000 | #Constraints: 40841
3302.48/3310.21 c #Conflicts: 1842000 | #Constraints: 41841
3302.48/3310.21 c #Conflicts: 1843000 | #Constraints: 42841
3302.48/3310.21 c #Conflicts: 1844000 | #Constraints: 43841
3302.48/3310.21 c #Conflicts: 1845000 | #Constraints: 44841
3302.48/3310.21 c #Conflicts: 1846000 | #Constraints: 45841
3302.48/3310.21 c #Conflicts: 1847000 | #Constraints: 46841
3302.48/3310.21 c #Conflicts: 1848000 | #Constraints: 47841
3302.48/3310.21 c #Conflicts: 1849000 | #Constraints: 48841
3302.48/3310.21 c #Conflicts: 1850000 | #Constraints: 49841
3302.48/3310.21 c #Conflicts: 1851000 | #Constraints: 50841
3302.48/3310.21 c #Conflicts: 1852000 | #Constraints: 51841
3302.48/3310.21 c #Conflicts: 1853000 | #Constraints: 52841
3302.48/3310.21 c #Conflicts: 1854000 | #Constraints: 53841
3302.48/3310.21 c INPROCESSING
3302.48/3310.21 c GARBAGE COLLECT
3302.48/3310.21 c #Conflicts: 1855000 | #Constraints: 27837
3302.48/3310.21 c #Conflicts: 1856000 | #Constraints: 28837
3302.48/3310.21 c #Conflicts: 1857000 | #Constraints: 29837
3302.48/3310.21 c #Conflicts: 1858000 | #Constraints: 30837
3302.48/3310.21 c #Conflicts: 1859000 | #Constraints: 31837
3302.48/3310.21 c #Conflicts: 1860000 | #Constraints: 32837
3302.48/3310.21 c #Conflicts: 1861000 | #Constraints: 33837
3302.48/3310.21 c #Conflicts: 1862000 | #Constraints: 34837
3302.48/3310.21 c #Conflicts: 1863000 | #Constraints: 35837
3302.48/3310.21 c #Conflicts: 1864000 | #Constraints: 36837
3302.48/3310.21 c #Conflicts: 1865000 | #Constraints: 37837
3302.48/3310.21 c #Conflicts: 1866000 | #Constraints: 38837
3302.48/3310.21 c #Conflicts: 1867000 | #Constraints: 39837
3302.48/3310.21 c #Conflicts: 1868000 | #Constraints: 40837
3302.48/3310.21 c #Conflicts: 1869000 | #Constraints: 41837
3302.48/3310.21 c #Conflicts: 1870000 | #Constraints: 42837
3302.48/3310.21 c #Conflicts: 1871000 | #Constraints: 43837
3302.48/3310.21 c #Conflicts: 1872000 | #Constraints: 44837
3302.48/3310.21 c #Conflicts: 1873000 | #Constraints: 45837
3302.48/3310.21 c #Conflicts: 1874000 | #Constraints: 46837
3302.48/3310.21 c #Conflicts: 1875000 | #Constraints: 47837
3302.48/3310.21 c #Conflicts: 1876000 | #Constraints: 48837
3302.48/3310.21 c #Conflicts: 1877000 | #Constraints: 49837
3302.48/3310.21 c #Conflicts: 1878000 | #Constraints: 50837
3302.48/3310.21 c #Conflicts: 1879000 | #Constraints: 51837
3302.48/3310.21 c #Conflicts: 1880000 | #Constraints: 52837
3302.48/3310.21 c #Conflicts: 1881000 | #Constraints: 53837
3302.48/3310.21 c INPROCESSING
3302.48/3310.21 c GARBAGE COLLECT
3302.48/3310.21 c #Conflicts: 1882000 | #Constraints: 27637
3302.48/3310.21 c #Conflicts: 1883000 | #Constraints: 28637
3302.48/3310.21 c #Conflicts: 1884000 | #Constraints: 29637
3302.48/3310.21 c #Conflicts: 1885000 | #Constraints: 30637
3302.48/3310.21 c #Conflicts: 1886000 | #Constraints: 31637
3302.48/3310.21 c #Conflicts: 1887000 | #Constraints: 32637
3302.48/3310.21 c #Conflicts: 1888000 | #Constraints: 33637
3302.48/3310.21 c #Conflicts: 1889000 | #Constraints: 34637
3302.48/3310.21 c #Conflicts: 1890000 | #Constraints: 35637
3302.48/3310.21 c #Conflicts: 1891000 | #Constraints: 36637
3302.48/3310.21 c #Conflicts: 1892000 | #Constraints: 37637
3302.48/3310.21 c #Conflicts: 1893000 | #Constraints: 38637
3302.48/3310.21 c #Conflicts: 1894000 | #Constraints: 39637
3302.48/3310.21 c #Conflicts: 1895000 | #Constraints: 40637
3302.48/3310.21 c #Conflicts: 1896000 | #Constraints: 41637
3302.48/3310.21 c #Conflicts: 1897000 | #Constraints: 42637
3302.48/3310.21 c #Conflicts: 1898000 | #Constraints: 43637
3302.48/3310.21 c #Conflicts: 1899000 | #Constraints: 44637
3302.48/3310.21 c #Conflicts: 1900000 | #Constraints: 45637
3302.48/3310.21 c #Conflicts: 1901000 | #Constraints: 46637
3302.48/3310.21 c #Conflicts: 1902000 | #Constraints: 47637
3521.44/3529.73 c #Conflicts: 1903000 | #Constraints: 48637
3521.44/3529.73 c #Conflicts: 1904000 | #Constraints: 49637
3521.44/3529.73 c #Conflicts: 1905000 | #Constraints: 50637
3521.44/3529.73 c #Conflicts: 1906000 | #Constraints: 51637
3521.44/3529.73 c #Conflicts: 1907000 | #Constraints: 52637
3521.44/3529.73 c #Conflicts: 1908000 | #Constraints: 53637
3521.44/3529.73 c #Conflicts: 1909000 | #Constraints: 54637
3521.44/3529.73 c INPROCESSING
3521.44/3529.73 c GARBAGE COLLECT
3521.44/3529.73 c #Conflicts: 1910000 | #Constraints: 28237
3521.44/3529.73 c #Conflicts: 1911000 | #Constraints: 29237
3521.44/3529.73 c #Conflicts: 1912000 | #Constraints: 30237
3521.44/3529.73 c #Conflicts: 1913000 | #Constraints: 31237
3521.44/3529.73 c #Conflicts: 1914000 | #Constraints: 32237
3521.44/3529.73 c #Conflicts: 1915000 | #Constraints: 33237
3521.44/3529.73 c #Conflicts: 1916000 | #Constraints: 34237
3521.44/3529.73 c #Conflicts: 1917000 | #Constraints: 35237
3521.44/3529.73 c #Conflicts: 1918000 | #Constraints: 36237
3521.44/3529.73 c #Conflicts: 1919000 | #Constraints: 37237
3521.44/3529.73 c #Conflicts: 1920000 | #Constraints: 38237
3521.44/3529.73 c #Conflicts: 1921000 | #Constraints: 39237
3521.44/3529.73 c #Conflicts: 1922000 | #Constraints: 40237
3521.44/3529.73 c #Conflicts: 1923000 | #Constraints: 41237
3521.44/3529.73 c #Conflicts: 1924000 | #Constraints: 42237
3521.44/3529.73 c #Conflicts: 1925000 | #Constraints: 43237
3521.44/3529.73 c #Conflicts: 1926000 | #Constraints: 44237
3521.44/3529.73 c #Conflicts: 1927000 | #Constraints: 45237
3521.44/3529.73 c #Conflicts: 1928000 | #Constraints: 46237
3521.44/3529.73 c #Conflicts: 1929000 | #Constraints: 47237
3521.44/3529.73 c #Conflicts: 1930000 | #Constraints: 48237
3521.44/3529.73 c #Conflicts: 1931000 | #Constraints: 49237
3521.44/3529.73 c #Conflicts: 1932000 | #Constraints: 50237
3521.44/3529.73 c #Conflicts: 1933000 | #Constraints: 51237
3521.44/3529.73 c #Conflicts: 1934000 | #Constraints: 52237
3521.44/3529.73 c #Conflicts: 1935000 | #Constraints: 53237
3521.44/3529.73 c #Conflicts: 1936000 | #Constraints: 54237
3521.44/3529.73 c #Conflicts: 1937000 | #Constraints: 55237
3521.44/3529.73 c INPROCESSING
3521.44/3529.73 c GARBAGE COLLECT
3521.44/3529.73 c #Conflicts: 1938000 | #Constraints: 28638
3521.44/3529.73 c #Conflicts: 1939000 | #Constraints: 29638
3521.44/3529.73 c #Conflicts: 1940000 | #Constraints: 30638
3521.44/3529.73 c #Conflicts: 1941000 | #Constraints: 31638
3521.44/3529.73 c #Conflicts: 1942000 | #Constraints: 32638
3521.44/3529.73 c #Conflicts: 1943000 | #Constraints: 33638
3521.44/3529.73 c #Conflicts: 1944000 | #Constraints: 34638
3521.44/3529.73 c #Conflicts: 1945000 | #Constraints: 35638
3521.44/3529.73 c #Conflicts: 1946000 | #Constraints: 36638
3521.44/3529.73 c #Conflicts: 1947000 | #Constraints: 37638
3521.44/3529.73 c #Conflicts: 1948000 | #Constraints: 38638
3521.44/3529.73 c #Conflicts: 1949000 | #Constraints: 39638
3521.44/3529.73 c #Conflicts: 1950000 | #Constraints: 40638
3521.44/3529.73 c #Conflicts: 1951000 | #Constraints: 41638
3521.44/3529.73 c #Conflicts: 1952000 | #Constraints: 42638
3521.44/3529.73 c #Conflicts: 1953000 | #Constraints: 43638
3521.44/3529.73 c #Conflicts: 1954000 | #Constraints: 44638
3521.44/3529.73 c #Conflicts: 1955000 | #Constraints: 45638
3521.44/3529.73 c #Conflicts: 1956000 | #Constraints: 46638
3521.44/3529.73 c #Conflicts: 1957000 | #Constraints: 47638
3521.44/3529.73 c #Conflicts: 1958000 | #Constraints: 48638
3521.44/3529.73 c #Conflicts: 1959000 | #Constraints: 49638
3521.44/3529.73 c #Conflicts: 1960000 | #Constraints: 50638
3521.44/3529.73 c #Conflicts: 1961000 | #Constraints: 51638
3521.44/3529.73 c #Conflicts: 1962000 | #Constraints: 52638
3521.44/3529.73 c #Conflicts: 1963000 | #Constraints: 53638
3521.44/3529.73 c #Conflicts: 1964000 | #Constraints: 54638
3521.44/3529.73 c #Conflicts: 1965000 | #Constraints: 55638
3521.44/3529.73 c INPROCESSING
3521.44/3529.73 c GARBAGE COLLECT
3521.44/3529.73 c #Conflicts: 1966000 | #Constraints: 28843
3521.44/3529.73 c #Conflicts: 1967000 | #Constraints: 29843
3521.44/3529.73 c #Conflicts: 1968000 | #Constraints: 30843
3521.44/3529.73 c #Conflicts: 1969000 | #Constraints: 31843
3521.44/3529.73 c #Conflicts: 1970000 | #Constraints: 32843
3521.44/3529.73 c #Conflicts: 1971000 | #Constraints: 33843
3521.44/3529.73 c #Conflicts: 1972000 | #Constraints: 34843
3521.44/3529.73 c #Conflicts: 1973000 | #Constraints: 35843
3521.44/3529.73 c #Conflicts: 1974000 | #Constraints: 36843
3521.44/3529.73 c #Conflicts: 1975000 | #Constraints: 37843
3521.44/3529.73 c #Conflicts: 1976000 | #Constraints: 38843
3521.44/3529.73 c #Conflicts: 1977000 | #Constraints: 39843
3521.44/3529.73 c #Conflicts: 1978000 | #Constraints: 40843
3521.44/3529.73 c #Conflicts: 1979000 | #Constraints: 41843
3600.05/3608.50 c #Conflicts: 1980000 | #Constraints: 42843
3600.05/3608.50 c #Conflicts: 1981000 | #Constraints: 43843
3600.05/3608.50 c #Conflicts: 1982000 | #Constraints: 44843
3600.05/3608.50 c #Conflicts: 1983000 | #Constraints: 45843
3600.05/3608.50 c #Conflicts: 1984000 | #Constraints: 46843
3600.05/3608.50 c #Conflicts: 1985000 | #Constraints: 47843
3600.05/3608.50 c #Conflicts: 1986000 | #Constraints: 48843
3600.05/3608.50 c #Conflicts: 1987000 | #Constraints: 49843
3600.05/3608.50 c #Conflicts: 1988000 | #Constraints: 50843
3600.05/3608.50 c #Conflicts: 1989000 | #Constraints: 51843
3600.05/3608.50 c #Conflicts: 1990000 | #Constraints: 52843
3600.05/3608.50 c #Conflicts: 1991000 | #Constraints: 53843
3600.05/3608.50 c #Conflicts: 1992000 | #Constraints: 54843
3600.05/3608.50 c #Conflicts: 1993000 | #Constraints: 55843
3600.05/3608.50 c INPROCESSING
3600.05/3608.50 c GARBAGE COLLECT
3600.05/3608.50 c #Conflicts: 1994000 | #Constraints: 28839
3600.05/3608.50 c #Conflicts: 1995000 | #Constraints: 29839
3600.05/3608.50 c #Conflicts: 1996000 | #Constraints: 30839
3600.05/3608.50 c #Conflicts: 1997000 | #Constraints: 31839
3600.05/3608.50 c #Conflicts: 1998000 | #Constraints: 32839
3600.05/3608.50 c #Conflicts: 1999000 | #Constraints: 33839
3600.05/3608.50 c #Conflicts: 2000000 | #Constraints: 34839
3600.05/3608.50 c #Conflicts: 2001000 | #Constraints: 35839
3600.05/3608.50 c #Conflicts: 2002000 | #Constraints: 36839
3600.05/3608.50 c #Conflicts: 2003000 | #Constraints: 37839
3600.05/3608.50 c #Conflicts: 2004000 | #Constraints: 38839
3600.05/3608.50 c #Conflicts: 2005000 | #Constraints: 39839
3600.05/3608.50 c #Conflicts: 2006000 | #Constraints: 40839
3600.05/3608.50 c Program interrupted by user.
3600.05/3608.50 c cpu time 3591.63 s
3600.05/3608.50 c deterministic time 631396037555 6.31e+11
3600.05/3608.50 c optimization time 36.0396 s
3600.05/3608.50 c total solve time 3555.59 s
3600.05/3608.50 c core-guided solve time 3555.59 s
3600.05/3608.50 c propagation time 3461.34 s
3600.05/3608.50 c conflict analysis time 114.652 s
3600.05/3608.50 c propagations 25778683
3600.05/3608.50 c resolve steps 9259081
3600.05/3608.50 c decisions 4415548
3600.05/3608.50 c conflicts 2006666
3600.05/3608.50 c restarts 3960
3600.05/3608.50 c inprocessing phases 132
3600.05/3608.50 c input clauses 0
3600.05/3608.50 c input cardinalities 0
3600.05/3608.50 c input general constraints 20
3600.05/3608.50 c input average constraint length 92.50
3600.05/3608.50 c input average constraint degree 2196.30
3600.05/3608.50 c learned clauses 871822
3600.05/3608.50 c learned cardinalities 0
3600.05/3608.50 c learned general constraints 1134844
3600.05/3608.50 c learned average constraint length 92.99
3600.05/3608.50 c learned average constraint degree 177916.86
3600.05/3608.50 c watched constraints 1134780
3600.05/3608.50 c counting constraints 84
3600.05/3608.50 c gcd simplifications 765965
3600.05/3608.50 c detected cardinalities 0
3600.05/3608.50 c weakened non-implied lits 31106589
3600.05/3608.50 c weakened non-implying lits 2467748
3600.05/3608.50 c original variables 198
3600.05/3608.50 c clausal propagations 446655
3600.05/3608.50 c cardinality propagations 0
3600.05/3608.50 c watched propagations 22251351
3600.05/3608.50 c counting propagations 1732593
3600.05/3608.50 c watch lookups 26207018301
3600.05/3608.50 c watch backjump lookups 7381431851
3600.05/3608.50 c watch checks 531951090367
3600.05/3608.50 c propagation checks 64758266571
3600.05/3608.50 c constraint additions 1035835488
3600.05/3608.50 c trail pops 32200745
3600.05/3608.50 c formula constraints 16
3600.05/3608.50 c learned constraints 2006666
3600.05/3608.50 c bound constraints 4
3600.05/3608.50 c core-guided constraints 0
3600.05/3608.50 c encountered formula constraints 2386119
3600.05/3608.50 c encountered learned constraints 8879628
3600.05/3608.50 c encountered bound constraints 0
3600.05/3608.50 c encountered core-guided constraints 0
3600.05/3608.50 c LP total time 0 s
3600.05/3608.50 c LP solve time 0 s
3600.05/3608.50 c LP constraints added 0
3600.05/3608.50 c LP constraints removed 0
3600.05/3608.50 c LP pivots internal 0
3600.05/3608.50 c LP pivots root 0
3600.05/3608.50 c LP calls 0
3600.05/3608.50 c LP optimalities 0
3600.05/3608.50 c LP no pivot count 0
3600.05/3608.50 c LP infeasibilities 0
3600.05/3608.50 c LP valid Farkas constraints 0
3600.05/3608.50 c LP learned Farkas constraints 0
3600.05/3608.50 c LP basis resets 0
3600.05/3608.50 c LP cycling count 0
3600.05/3608.50 c LP singular count 0
3600.05/3608.50 c LP no primal count 0
3600.05/3608.50 c LP no farkas count 0
3600.05/3608.50 c LP other issue count 0
3600.05/3608.50 c LP Gomory cuts 0
3600.05/3608.50 c LP learned cuts 0
3600.05/3608.50 c LP deleted cuts 0
3600.05/3608.50 c LP encountered Gomory constraints 0
3600.05/3608.50 c LP encountered Farkas constraints 0
3600.05/3608.50 c LP encountered learned Farkas constraints 0
3600.05/3608.50 c CG auxiliary variables introduced 0
3600.05/3608.50 c CG solutions found 4
3600.05/3608.50 c CG cores constructed 0
3600.05/3608.50 c CG core cardinality constraints returned 0
3600.05/3608.50 c CG unit cores 0
3600.05/3608.50 c CG single cores 0
3600.05/3608.50 c CG blocks removed during cardinality reduction 0
3600.05/3608.50 c CG first core best 0
3600.05/3608.50 c CG decision core best 0
3600.05/3608.50 c CG core reduction tie 0
3600.05/3608.50 c CG core degree average 0.00
3600.05/3608.50 c CG core slack average 0.00
3600.05/3608.50 c CG exhausted 0
3600.05/3608.50 c CG exhaust time 0 s
3600.05/3608.50 c CG trimmed 0
3600.05/3608.50 c CG trim time 0 s
3600.05/3608.50 c CG minimized 0
3600.05/3608.50 c CG minimize time 0 s
3600.05/3608.50 c CG am1 prop time 0.000245 s
3600.05/3608.50 c CG # am1s reformulated 0
3600.05/3608.50 c CG lower bound derived from am1s 0
3600.05/3608.50 c CG # clausal cores 0
3600.05/3608.50 c CG # cardinality cores 0
3600.05/3608.50 c CG # pb cores 0
3600.05/3608.50 c CG # pb reforms 0
3600.05/3608.50 c CG # cores discarded because of pb reform 0
3600.05/3608.50 d LOWERBOUND 0
3600.05/3608.50 d NCORES 0
3600.05/3608.50 d NPBCORES 0
3600.05/3608.50 d NPBREFORM 0
3600.05/3608.50 d NTRIMMED 0
3600.05/3608.50 d NEXHAUSTED 0
3600.05/3608.50 d NAM1S 0
3600.05/3608.50 d AM1LB 0
3600.05/3608.50 o 55
3600.05/3608.50 s SATISFIABLE
3600.05/3608.50 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: 63931 MiB (61183 MiB free)
memory of node 1: 64510 MiB (61637 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454350-1721470955/watcher-4454350-1721470955 -o /tmp/evaluation-result-4454350-1721470955/solver-4454350-1721470955 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721470968-1064622 --watchdog 3760 pb-oll-rs HOME/instance-4454350-1721470955.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1064671, runsolver pid=1064663
Current StackSize limit: 8192 KiB
[startup+0.100085 s]*
/proc/loadavg: 1.13 1.25 2.10 6/260 1064684
/proc/meminfo: memFree=125762720/131524600 swapFree=130799640/131071996
[pid=1064671] ppid=1064663 vsize=39188 memory=7012 CPUtime=0.1 cores=5,7
/proc/1064671/stat : 1064671 (pb-oll-rs) R 1064663 1064671 1064609 0 -1 4194304 582 0 0 0 10 0 0 0 20 0 1 0 199254689 40128512 1753 134679101440 4194304 5384485 140725255875680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6787072 140725255877653 140725255877730 140725255877730 140725255884747 0
/proc/1064671/statm: 9797 1753 1347 291 0 1331 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39188 KiB
Current children cumulated memory: 7012 KiB
[startup+0.206819 s]*
/proc/loadavg: 1.13 1.25 2.10 9/260 1064684
/proc/meminfo: memFree=125760776/131524600 swapFree=130799640/131071996
[pid=1064671] ppid=1064663 vsize=39452 memory=7804 CPUtime=0.2 cores=5,7
/proc/1064671/stat : 1064671 (pb-oll-rs) R 1064663 1064671 1064609 0 -1 4194304 766 0 0 0 20 0 0 0 20 0 1 0 199254689 40398848 1951 134679101440 4194304 5384485 140725255875680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6787072 140725255877653 140725255877730 140725255877730 140725255884747 0
/proc/1064671/statm: 9863 1951 1347 291 0 1397 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39452 KiB
Current children cumulated memory: 7804 KiB
[startup+0.305627 s]*
/proc/loadavg: 1.13 1.25 2.10 8/260 1064684
/proc/meminfo: memFree=125758052/131524600 swapFree=130799640/131071996
[pid=1064671] ppid=1064663 vsize=39588 memory=7804 CPUtime=0.3 cores=5,7
/proc/1064671/stat : 1064671 (pb-oll-rs) R 1064663 1064671 1064609 0 -1 4194304 796 0 0 0 29 1 0 0 20 0 1 0 199254689 40538112 1951 134679101440 4194304 5384485 140725255875680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6787072 140725255877653 140725255877730 140725255877730 140725255884747 0
/proc/1064671/statm: 9897 1951 1347 291 0 1431 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39588 KiB
Current children cumulated memory: 7804 KiB
[startup+0.700143 s]
/proc/loadavg: 1.13 1.25 2.10 6/260 1064684
/proc/meminfo: memFree=125753692/131524600 swapFree=130799640/131071996
[pid=1064671] ppid=1064663 vsize=40132 memory=11144 CPUtime=0.69 cores=5,7
/proc/1064671/stat : 1064671 (pb-oll-rs) R 1064663 1064671 1064609 0 -1 4194304 1067 0 0 0 67 2 0 0 20 0 1 0 199254689 41095168 2786 134679101440 4194304 5384485 140725255875680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6787072 140725255877653 140725255877730 140725255877730 140725255884747 0
/proc/1064671/statm: 10033 2786 1411 291 0 1567 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40132 KiB
Current children cumulated memory: 11144 KiB
[startup+1.50014 s]
/proc/loadavg: 1.13 1.25 2.10 6/260 1064684
/proc/meminfo: memFree=125747132/131524600 swapFree=130799640/131071996
[pid=1064671] ppid=1064663 vsize=40828 memory=11936 CPUtime=1.49 cores=5,7
/proc/1064671/stat : 1064671 (pb-oll-rs) R 1064663 1064671 1064609 0 -1 4194304 1236 0 0 0 146 3 0 0 20 0 1 0 199254689 41807872 2984 134679101440 4194304 5384485 140725255875680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6787072 140725255877653 140725255877730 140725255877730 140725255884747 0
/proc/1064671/statm: 10207 2984 1411 291 0 1741 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40828 KiB
Current children cumulated memory: 11936 KiB
[startup+3.10601 s]
/proc/loadavg: 1.36 1.29 2.11 6/260 1064684
/proc/meminfo: memFree=125741688/131524600 swapFree=130799640/131071996
[pid=1064671] ppid=1064663 vsize=41424 memory=12504 CPUtime=3.09 cores=5,7
/proc/1064671/stat : 1064671 (pb-oll-rs) R 1064663 1064671 1064609 0 -1 4194304 1365 0 0 0 303 6 0 0 20 0 1 0 199254689 42418176 3126 134679101440 4194304 5384485 140725255875680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6787072 140725255877653 140725255877730 140725255877730 140725255884747 0
/proc/1064671/statm: 10356 3126 1411 291 0 1890 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 41424 KiB
Current children cumulated memory: 12504 KiB
[startup+6.30014 s]
/proc/loadavg: 1.36 1.29 2.11 6/260 1064684
/proc/meminfo: memFree=125739908/131524600 swapFree=130799640/131071996
[pid=1064671] ppid=1064663 vsize=42096 memory=13176 CPUtime=6.28 cores=5,7
/proc/1064671/stat : 1064671 (pb-oll-rs) R 1064663 1064671 1064609 0 -1 4194304 1537 0 0 0 616 12 0 0 20 0 1 0 199254689 43106304 3294 134679101440 4194304 5384485 140725255875680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6787072 140725255877653 140725255877730 140725255877730 140725255884747 0
/proc/1064671/statm: 10524 3294 1411 291 0 2058 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 42096 KiB
Current children cumulated memory: 13176 KiB
[startup+12.7001 s]
/proc/loadavg: 1.76 1.38 2.13 6/260 1064686
/proc/meminfo: memFree=125736288/131524600 swapFree=130799640/131071996
[pid=1064671] ppid=1064663 vsize=46032 memory=17036 CPUtime=12.66 cores=5,7
/proc/1064671/stat : 1064671 (pb-oll-rs) R 1064663 1064671 1064609 0 -1 4194304 2008 0 0 0 1249 17 0 0 20 0 1 0 199254689 47136768 4259 134679101440 4194304 5384485 140725255875680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6787072 140725255877653 140725255877730 140725255877730 140725255884747 0
/proc/1064671/statm: 11508 4259 1411 291 0 3042 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 46032 KiB
Current children cumulated memory: 17036 KiB
[startup+25.5002 s]
/proc/loadavg: 2.11 1.47 2.15 6/260 1064687
/proc/meminfo: memFree=125728276/131524600 swapFree=130799640/131071996
[pid=1064671] ppid=1064663 vsize=47312 memory=18328 CPUtime=25.44 cores=5,7
/proc/1064671/stat : 1064671 (pb-oll-rs) R 1064663 1064671 1064609 0 -1 4194304 2341 0 0 0 2512 32 0 0 20 0 1 0 199254689 48447488 4582 134679101440 4194304 5384485 140725255875680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6787072 140725255877653 140725255877730 140725255877730 140725255884747 0
/proc/1064671/statm: 11828 4582 1411 291 0 3362 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 47312 KiB
Current children cumulated memory: 18328 KiB
[startup+51.1064 s]
/proc/loadavg: 2.81 1.69 2.21 6/260 1064692
/proc/meminfo: memFree=125714908/131524600 swapFree=130799640/131071996
[pid=1064671] ppid=1064663 vsize=53140 memory=21224 CPUtime=50.99 cores=5,7
/proc/1064671/stat : 1064671 (pb-oll-rs) R 1064663 1064671 1064609 0 -1 4194304 2761 0 0 0 5050 49 0 0 20 0 1 0 199254689 54415360 5306 134679101440 4194304 5384485 140725255875680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6787072 140725255877653 140725255877730 140725255877730 140725255884747 0
/proc/1064671/statm: 13285 5306 1411 291 0 4819 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 53140 KiB
Current children cumulated memory: 21224 KiB
[startup+102.3 s]
/proc/loadavg: 3.65 2.11 2.33 6/260 1064703
/proc/meminfo: memFree=125700792/131524600 swapFree=130799640/131071996
[pid=1064671] ppid=1064663 vsize=56340 memory=26472 CPUtime=102.07 cores=5,7
/proc/1064671/stat : 1064671 (pb-oll-rs) R 1064663 1064671 1064609 0 -1 4194304 3619 0 0 0 10125 82 0 0 20 0 1 0 199254689 57692160 6618 134679101440 4194304 5384485 140725255875680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6787072 140725255877653 140725255877730 140725255877730 140725255884747 0
/proc/1064671/statm: 14085 6618 1411 291 0 5619 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 56340 KiB
Current children cumulated memory: 26472 KiB
[startup+162.3 s]
/proc/loadavg: 3.99 2.49 2.44 6/260 1064713
/proc/meminfo: memFree=125688716/131524600 swapFree=130799640/131071996
[pid=1064671] ppid=1064663 vsize=65012 memory=31416 CPUtime=161.95 cores=5,7
/proc/1064671/stat : 1064671 (pb-oll-rs) R 1064663 1064671 1064609 0 -1 4194304 4470 0 0 0 16084 111 0 0 20 0 1 0 199254689 66572288 7854 134679101440 4194304 5384485 140725255875680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6787072 140725255877653 140725255877730 140725255877730 140725255884747 0
/proc/1064671/statm: 16253 7854 1411 291 0 7787 0
Current children cumulated CPU time: 161.95 s
Current children cumulated vsize: 65012 KiB
Current children cumulated memory: 31416 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.78 2.55 6/259 1065108
/proc/meminfo: memFree=125682084/131524600 swapFree=130799640/131071996
[pid=1064671] ppid=1064663 vsize=65664 memory=32296 CPUtime=221.83 cores=5,7
/proc/1064671/stat : 1064671 (pb-oll-rs) R 1064663 1064671 1064609 0 -1 4194304 4868 0 0 0 22047 136 0 0 20 0 1 0 199254689 67239936 8074 134679101440 4194304 5384485 140725255875680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6787072 140725255877653 140725255877730 140725255877730 140725255884747 0
/proc/1064671/statm: 16416 8074 1411 291 0 7950 0
Current children cumulated CPU time: 221.83 s
Current children cumulated vsize: 65664 KiB
Current children cumulated memory: 32296 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 3.02 2.65 6/259 1065118
/proc/meminfo: memFree=125675784/131524600 swapFree=130799640/131071996
[pid=1064671] ppid=1064663 vsize=65864 memory=34712 CPUtime=281.69 cores=5,7
/proc/1064671/stat : 1064671 (pb-oll-rs) R 1064663 1064671 1064609 0 -1 4194304 5112 0 0 0 28009 160 0 0 20 0 1 0 199254689 67444736 8678 134679101440 4194304 5384485 140725255875680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6787072 140725255877653 140725255877730 140725255877730 140725255884747 0
/proc/1064671/statm: 16466 8678 1411 291 0 8000 0
Current children cumulated CPU time: 281.69 s
Current children cumulated vsize: 65864 KiB
Current children cumulated memory: 34712 KiB
[startup+342.3 s]
/proc/loadavg: 4.28 3.27 2.76 6/257 1065128
/proc/meminfo: memFree=125663692/131524600 swapFree=130799640/131071996
[pid=1064671] ppid=1064663 vsize=67276 memory=36204 CPUtime=341.56 cores=5,7
/proc/1064671/stat : 1064671 (pb-oll-rs) R 1064663 1064671 1064609 0 -1 4194304 5510 0 0 0 33976 180 0 0 20 0 1 0 199254689 68890624 9051 134679101440 4194304 5384485 140725255875680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6787072 140725255877653 140725255877730 140725255877730 140725255884747 0
/proc/1064671/statm: 16819 9051 1411 291 0 8353 0
Current children cumulated CPU time: 341.56 s
Current children cumulated vsize: 67276 KiB
Current children cumulated memory: 36204 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.42 2.84 6/259 1065310
/proc/meminfo: memFree=125658132/131524600 swapFree=130799640/131071996
[pid=1064671] ppid=1064663 vsize=69732 memory=39836 CPUtime=401.41 cores=5,7
/proc/1064671/stat : 1064671 (pb-oll-rs) R 1064663 1064671 1064609 0 -1 4194304 6027 0 0 0 39942 199 0 0 20 0 1 0 199254689 71405568 9959 134679101440 4194304 5384485 140725255875680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6787072 140725255877653 140725255877730 140725255877730 140725255884747 0
/proc/1064671/statm: 17433 9959 1411 291 0 8967 0
Current children cumulated CPU time: 401.41 s
Current children cumulated vsize: 69732 KiB
Current children cumulated memory: 39836 KiB
[startup+462.3 s]
/proc/loadavg: 4.20 3.57 2.93 6/259 1065321
/proc/meminfo: memFree=125651128/131524600 swapFree=130799640/131071996
[pid=1064671] ppid=1064663 vsize=71044 memory=40680 CPUtime=461.26 cores=5,7
/proc/1064671/stat : 1064671 (pb-oll-rs) R 1064663 1064671 1064609 0 -1 4194304 6367 0 0 0 45904 222 0 0 20 0 1 0 199254689 72749056 10170 134679101440 4194304 5384485 140725255875680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6787072 140725255877653 140725255877730 140725255877730 140725255884747 0
/proc/1064671/statm: 17761 10170 1411 291 0 9295 0
################
# More data... #
################
Current children cumulated memory: 66316 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.20 4.15 6/257 1066402
/proc/meminfo: memFree=125650604/131524600 swapFree=130799640/131071996
[pid=1064671] ppid=1064663 vsize=113012 memory=66508 CPUtime=2915.43 cores=5,7
/proc/1064671/stat : 1064671 (pb-oll-rs) R 1064663 1064671 1064609 0 -1 4194304 13448 0 0 0 290814 729 0 0 20 0 1 0 199254689 115724288 16627 134679101440 4194304 5384485 140725255875680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6787072 140725255877653 140725255877730 140725255877730 140725255884747 0
/proc/1064671/statm: 28253 16627 1411 291 0 19787 0
Current children cumulated CPU time: 2915.43 s
Current children cumulated vsize: 113012 KiB
Current children cumulated memory: 66508 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.19 4.15 6/257 1066412
/proc/meminfo: memFree=125648428/131524600 swapFree=130799640/131071996
[pid=1064671] ppid=1064663 vsize=113012 memory=67176 CPUtime=2975.29 cores=5,7
/proc/1064671/stat : 1064671 (pb-oll-rs) R 1064663 1064671 1064609 0 -1 4194304 13476 0 0 0 296789 740 0 0 20 0 1 0 199254689 115724288 16794 134679101440 4194304 5384485 140725255875680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6787072 140725255877653 140725255877730 140725255877730 140725255884747 0
/proc/1064671/statm: 28253 16794 1411 291 0 19787 0
Current children cumulated CPU time: 2975.29 s
Current children cumulated vsize: 113012 KiB
Current children cumulated memory: 67176 KiB
[startup+3042.3 s]
/proc/loadavg: 4.18 4.19 4.15 6/257 1066423
/proc/meminfo: memFree=125644232/131524600 swapFree=130799640/131071996
[pid=1064671] ppid=1064663 vsize=113268 memory=67300 CPUtime=3035.17 cores=5,7
/proc/1064671/stat : 1064671 (pb-oll-rs) R 1064663 1064671 1064609 0 -1 4194304 13549 0 0 0 302767 750 0 0 20 0 1 0 199254689 115986432 16825 134679101440 4194304 5384485 140725255875680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6787072 140725255877653 140725255877730 140725255877730 140725255884747 0
/proc/1064671/statm: 28317 16825 1411 291 0 19851 0
Current children cumulated CPU time: 3035.17 s
Current children cumulated vsize: 113268 KiB
Current children cumulated memory: 67300 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.17 4.14 6/257 1066435
/proc/meminfo: memFree=125643708/131524600 swapFree=130799640/131071996
[pid=1064671] ppid=1064663 vsize=113268 memory=67300 CPUtime=3095.03 cores=5,7
/proc/1064671/stat : 1064671 (pb-oll-rs) R 1064663 1064671 1064609 0 -1 4194304 13577 0 0 0 308743 760 0 0 20 0 1 0 199254689 115986432 16825 134679101440 4194304 5384485 140725255875680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6787072 140725255877653 140725255877730 140725255877730 140725255884747 0
/proc/1064671/statm: 28317 16825 1411 291 0 19851 0
Current children cumulated CPU time: 3095.03 s
Current children cumulated vsize: 113268 KiB
Current children cumulated memory: 67300 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.15 4.14 6/258 1066446
/proc/meminfo: memFree=125642524/131524600 swapFree=130799640/131071996
[pid=1064671] ppid=1064663 vsize=113452 memory=67400 CPUtime=3154.91 cores=5,7
/proc/1064671/stat : 1064671 (pb-oll-rs) R 1064663 1064671 1064609 0 -1 4194304 13622 0 0 0 314720 771 0 0 20 0 1 0 199254689 116174848 16850 134679101440 4194304 5384485 140725255875680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6787072 140725255877653 140725255877730 140725255877730 140725255884747 0
/proc/1064671/statm: 28363 16850 1411 291 0 19897 0
Current children cumulated CPU time: 3154.91 s
Current children cumulated vsize: 113452 KiB
Current children cumulated memory: 67400 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.15 4.14 6/256 1066456
/proc/meminfo: memFree=125638016/131524600 swapFree=130799640/131071996
[pid=1064671] ppid=1064663 vsize=114292 memory=69912 CPUtime=3214.77 cores=5,7
/proc/1064671/stat : 1064671 (pb-oll-rs) R 1064663 1064671 1064609 0 -1 4194304 13797 0 0 0 320698 779 0 0 20 0 1 0 199254689 117035008 17478 134679101440 4194304 5384485 140725255875680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6787072 140725255877653 140725255877730 140725255877730 140725255884747 0
/proc/1064671/statm: 28573 17478 1411 291 0 20107 0
Current children cumulated CPU time: 3214.77 s
Current children cumulated vsize: 114292 KiB
Current children cumulated memory: 69912 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.14 4.13 6/256 1066466
/proc/meminfo: memFree=125636524/131524600 swapFree=130799640/131071996
[pid=1064671] ppid=1064663 vsize=114292 memory=70052 CPUtime=3274.64 cores=5,7
/proc/1064671/stat : 1064671 (pb-oll-rs) R 1064663 1064671 1064609 0 -1 4194304 13824 0 0 0 326675 789 0 0 20 0 1 0 199254689 117035008 17513 134679101440 4194304 5384485 140725255875680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6787072 140725255877653 140725255877730 140725255877730 140725255884747 0
/proc/1064671/statm: 28573 17513 1411 291 0 20107 0
Current children cumulated CPU time: 3274.64 s
Current children cumulated vsize: 114292 KiB
Current children cumulated memory: 70052 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.12 4.13 6/256 1066477
/proc/meminfo: memFree=125633456/131524600 swapFree=130799640/131071996
[pid=1064671] ppid=1064663 vsize=114292 memory=70052 CPUtime=3334.51 cores=5,7
/proc/1064671/stat : 1064671 (pb-oll-rs) R 1064663 1064671 1064609 0 -1 4194304 13857 0 0 0 332651 800 0 0 20 0 1 0 199254689 117035008 17513 134679101440 4194304 5384485 140725255875680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6787072 140725255877653 140725255877730 140725255877730 140725255884747 0
/proc/1064671/statm: 28573 17513 1411 291 0 20107 0
Current children cumulated CPU time: 3334.51 s
Current children cumulated vsize: 114292 KiB
Current children cumulated memory: 70052 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.16 4.14 6/256 1066488
/proc/meminfo: memFree=125631536/131524600 swapFree=130799640/131071996
[pid=1064671] ppid=1064663 vsize=114292 memory=70052 CPUtime=3394.37 cores=5,7
/proc/1064671/stat : 1064671 (pb-oll-rs) R 1064663 1064671 1064609 0 -1 4194304 13885 0 0 0 338628 809 0 0 20 0 1 0 199254689 117035008 17513 134679101440 4194304 5384485 140725255875680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6787072 140725255877653 140725255877730 140725255877730 140725255884747 0
/proc/1064671/statm: 28573 17513 1411 291 0 20107 0
Current children cumulated CPU time: 3394.37 s
Current children cumulated vsize: 114292 KiB
Current children cumulated memory: 70052 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.14 4.13 6/255 1066498
/proc/meminfo: memFree=125630824/131524600 swapFree=130799640/131071996
[pid=1064671] ppid=1064663 vsize=114292 memory=70052 CPUtime=3454.22 cores=5,7
/proc/1064671/stat : 1064671 (pb-oll-rs) R 1064663 1064671 1064609 0 -1 4194304 13912 0 0 0 344604 818 0 0 20 0 1 0 199254689 117035008 17513 134679101440 4194304 5384485 140725255875680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6787072 140725255877653 140725255877730 140725255877730 140725255884747 0
/proc/1064671/statm: 28573 17513 1411 291 0 20107 0
Current children cumulated CPU time: 3454.22 s
Current children cumulated vsize: 114292 KiB
Current children cumulated memory: 70052 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.14 4.13 6/257 1066513
/proc/meminfo: memFree=125629920/131524600 swapFree=130799640/131071996
[pid=1064671] ppid=1064663 vsize=114292 memory=70056 CPUtime=3514.06 cores=5,7
/proc/1064671/stat : 1064671 (pb-oll-rs) R 1064663 1064671 1064609 0 -1 4194304 13940 0 0 0 350578 828 0 0 20 0 1 0 199254689 117035008 17514 134679101440 4194304 5384485 140725255875680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6787072 140725255877653 140725255877730 140725255877730 140725255884747 0
/proc/1064671/statm: 28573 17514 1411 291 0 20107 0
Current children cumulated CPU time: 3514.06 s
Current children cumulated vsize: 114292 KiB
Current children cumulated memory: 70056 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.13 4.12 6/257 1066523
/proc/meminfo: memFree=125623924/131524600 swapFree=130799640/131071996
[pid=1064671] ppid=1064663 vsize=114804 memory=70432 CPUtime=3573.91 cores=5,7
/proc/1064671/stat : 1064671 (pb-oll-rs) R 1064663 1064671 1064609 0 -1 4194304 14071 0 0 0 356555 836 0 0 20 0 1 0 199254689 117559296 17608 134679101440 4194304 5384485 140725255875680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6787072 140725255877653 140725255877730 140725255877730 140725255884747 0
/proc/1064671/statm: 28701 17608 1411 291 0 20235 0
Current children cumulated CPU time: 3573.91 s
Current children cumulated vsize: 114804 KiB
Current children cumulated memory: 70432 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.5 s]
/proc/loadavg: 4.14 4.14 4.12 6/257 1066529
/proc/meminfo: memFree=125623708/131524600 swapFree=130799640/131071996
[pid=1064671] ppid=1064663 vsize=114804 memory=70432 CPUtime=3600.05 cores=5,7
/proc/1064671/stat : 1064671 (pb-oll-rs) R 1064663 1064671 1064609 0 -1 4194304 14071 0 0 0 359163 842 0 0 20 0 1 0 199254689 117559296 17608 134679101440 4194304 5384485 140725255875680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6787072 140725255877653 140725255877730 140725255877730 140725255884747 0
/proc/1064671/statm: 28701 17608 1411 291 0 20235 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 114804 KiB
Current children cumulated memory: 70432 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.5 s]
# the end of solver process 1064671 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.63 s, system=8.42384 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.5 s]
/proc/loadavg: 4.14 4.14 4.12 6/257 1066529
/proc/meminfo: memFree=125623708/131524600 swapFree=130799640/131071996
[pid=1064671] ppid=1064663 vsize=114804 memory=70432 CPUtime=3600.05 cores=5,7
/proc/1064671/stat : 1064671 (pb-oll-rs) R 1064663 1064671 1064609 0 -1 4194304 14071 0 0 0 359163 842 0 0 20 0 1 0 199254689 117559296 17608 134679101440 4194304 5384485 140725255875680 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 6787072 140725255877653 140725255877730 140725255877730 140725255884747 0
/proc/1064671/statm: 28701 17608 1411 291 0 20235 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 114804 KiB
Current children cumulated memory: 70432 KiB
Child status: 0
Real time (s): 3608.5
CPU time (s): 3600.06
CPU user time (s): 3591.63
CPU system time (s): 8.42384
CPU usage (%): 99.766
Max. virtual memory (cumulated for all children) (KiB): 114804
Max. memory (cumulated for all children) (KiB): 70432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.63
system time used= 8.42384
maximum resident set size= 70656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14087
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= 27
involuntary context switches= 1525
# summary of solver processes directly reported to runsolver:
# pid: 1064671
# total CPU time (s): 3600.06
# total CPU user time (s): 3591.63
# total CPU system time (s): 8.42384
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.68709 second user time and 21.9955 second system time
The end
Begin job on nodeC014 at 2024-07-20 12:22:48
IDJOB=4454350
IDBENCH=147586
IDSOLVER=3082
FILE ID=nodeC014/4454350-1721470955
RUNJOBID= nodeC014-1721470968-1064622
SLURM_JOB_ID= 7545736
Free space on /tmp= 890036 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
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 --file-size-limit 102400 -w /tmp/evaluation-result-4454350-1721470955/watcher-4454350-1721470955 -o /tmp/evaluation-result-4454350-1721470955/solver-4454350-1721470955 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721470968-1064622 --watchdog 3760 pb-oll-rs HOME/instance-4454350-1721470955.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d6e4abba593cb3232b5d1a2a9d687dd6
RANDOM SEED=1703260688
nodeC014.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3552.818
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
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 : 3577.736
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
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 : 3367.128
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
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 : 3387.580
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
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 : 3527.618
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
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 : 3545.576
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
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 : 3436.614
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
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 : 3404.831
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125770564 kB
MemAvailable: 129980884 kB
Buffers: 518416 kB
Cached: 4486976 kB
SwapCached: 12808 kB
Active: 1549092 kB
Inactive: 3578120 kB
Active(anon): 9064 kB
Inactive(anon): 142484 kB
Active(file): 1540028 kB
Inactive(file): 3435636 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 130799640 kB
Dirty: 7932 kB
Writeback: 0 kB
AnonPages: 113276 kB
Mapped: 51064 kB
Shmem: 29720 kB
KReclaimable: 148608 kB
Slab: 251644 kB
SReclaimable: 148608 kB
SUnreclaim: 103036 kB
KernelStack: 3888 kB
PageTables: 9748 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 742308 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 37056 kB
HardwareCorrupted: 0 kB
AnonHugePages: 36864 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 303828 kB
DirectMap2M: 38266880 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 890028 MiB
End job on nodeC014 at 2024-07-20 13:22:57