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.002118
0.00/0.00 c stratification level: 64
0.00/0.04 c bounds 515 >= 0 @ 0.036315
0.00/0.04 c stratification level: 32
0.00/0.08 c bounds 300 >= 0 @ 0.067513
0.00/0.08 c stratification level: 16
1.00/1.11 c #Conflicts: 1000 | #Constraints: 1017
1.00/1.11 c #Conflicts: 2000 | #Constraints: 2017
1.00/1.11 c INPROCESSING
1.00/1.11 c GARBAGE COLLECT
1.00/1.11 c #Conflicts: 3000 | #Constraints: 2019
1.00/1.11 c #Conflicts: 4000 | #Constraints: 3019
1.00/1.11 c bounds 107 >= 0 @ 1.06313
1.00/1.11 c stratification level: 8
23.04/23.13 c INPROCESSING
23.04/23.13 c GARBAGE COLLECT
23.04/23.13 c #Conflicts: 5000 | #Constraints: 2423
23.04/23.13 c #Conflicts: 6000 | #Constraints: 3423
23.04/23.13 c INPROCESSING
23.04/23.13 c GARBAGE COLLECT
23.04/23.13 c #Conflicts: 7000 | #Constraints: 2427
23.04/23.13 c #Conflicts: 8000 | #Constraints: 3427
23.04/23.13 c #Conflicts: 9000 | #Constraints: 4427
23.04/23.13 c INPROCESSING
23.04/23.13 c GARBAGE COLLECT
23.04/23.13 c #Conflicts: 10000 | #Constraints: 3127
23.04/23.13 c #Conflicts: 11000 | #Constraints: 4127
23.04/23.13 c #Conflicts: 12000 | #Constraints: 5127
23.04/23.13 c INPROCESSING
23.04/23.13 c GARBAGE COLLECT
23.04/23.13 c #Conflicts: 13000 | #Constraints: 3577
23.04/23.13 c #Conflicts: 14000 | #Constraints: 4577
23.04/23.13 c #Conflicts: 15000 | #Constraints: 5577
23.04/23.13 c INPROCESSING
23.04/23.13 c GARBAGE COLLECT
23.04/23.13 c #Conflicts: 16000 | #Constraints: 3802
23.04/23.13 c #Conflicts: 17000 | #Constraints: 4802
23.04/23.13 c #Conflicts: 18000 | #Constraints: 5802
23.04/23.13 c INPROCESSING
23.04/23.13 c GARBAGE COLLECT
23.04/23.13 c #Conflicts: 19000 | #Constraints: 3822
23.04/23.13 c #Conflicts: 20000 | #Constraints: 4822
23.04/23.13 c #Conflicts: 21000 | #Constraints: 5822
23.04/23.13 c INPROCESSING
23.04/23.13 c GARBAGE COLLECT
23.04/23.13 c #Conflicts: 22000 | #Constraints: 3627
23.04/23.13 c #Conflicts: 23000 | #Constraints: 4627
23.04/23.13 c #Conflicts: 24000 | #Constraints: 5627
23.04/23.13 c #Conflicts: 25000 | #Constraints: 6627
23.04/23.13 c INPROCESSING
23.04/23.13 c GARBAGE COLLECT
23.04/23.13 c #Conflicts: 26000 | #Constraints: 4230
23.04/23.13 c #Conflicts: 27000 | #Constraints: 5230
23.04/23.13 c #Conflicts: 28000 | #Constraints: 6230
23.04/23.13 c #Conflicts: 29000 | #Constraints: 7230
23.04/23.13 c INPROCESSING
23.04/23.13 c GARBAGE COLLECT
23.04/23.13 c #Conflicts: 30000 | #Constraints: 4627
23.04/23.13 c #Conflicts: 31000 | #Constraints: 5627
23.04/23.13 c #Conflicts: 32000 | #Constraints: 6627
23.04/23.13 c #Conflicts: 33000 | #Constraints: 7627
23.04/23.13 c INPROCESSING
23.04/23.13 c GARBAGE COLLECT
23.04/23.13 c #Conflicts: 34000 | #Constraints: 4830
23.04/23.13 c #Conflicts: 35000 | #Constraints: 5830
23.04/23.13 c #Conflicts: 36000 | #Constraints: 6830
23.04/23.13 c #Conflicts: 37000 | #Constraints: 7830
23.04/23.13 c INPROCESSING
23.04/23.13 c GARBAGE COLLECT
23.04/23.13 c #Conflicts: 38000 | #Constraints: 4833
23.04/23.13 c #Conflicts: 39000 | #Constraints: 5833
23.04/23.13 c #Conflicts: 40000 | #Constraints: 6833
23.04/23.13 c #Conflicts: 41000 | #Constraints: 7833
23.04/23.13 c INPROCESSING
23.04/23.13 c GARBAGE COLLECT
23.04/23.13 c #Conflicts: 42000 | #Constraints: 4635
23.04/23.13 c #Conflicts: 43000 | #Constraints: 5635
23.04/23.13 c #Conflicts: 44000 | #Constraints: 6635
23.04/23.13 c #Conflicts: 45000 | #Constraints: 7635
23.04/23.13 c #Conflicts: 46000 | #Constraints: 8635
23.04/23.13 c INPROCESSING
23.04/23.13 c GARBAGE COLLECT
23.04/23.13 c #Conflicts: 47000 | #Constraints: 5232
23.04/23.13 c #Conflicts: 48000 | #Constraints: 6232
23.04/23.13 c #Conflicts: 49000 | #Constraints: 7232
23.04/23.13 c #Conflicts: 50000 | #Constraints: 8232
23.04/23.13 c #Conflicts: 51000 | #Constraints: 9232
23.04/23.13 c INPROCESSING
23.04/23.13 c GARBAGE COLLECT
23.04/23.13 c #Conflicts: 52000 | #Constraints: 5637
23.04/23.13 c #Conflicts: 53000 | #Constraints: 6637
23.04/23.13 c #Conflicts: 54000 | #Constraints: 7637
23.04/23.13 c #Conflicts: 55000 | #Constraints: 8637
23.04/23.13 c #Conflicts: 56000 | #Constraints: 9637
23.04/23.13 c INPROCESSING
23.04/23.13 c GARBAGE COLLECT
23.04/23.13 c #Conflicts: 57000 | #Constraints: 5834
23.04/23.13 c #Conflicts: 58000 | #Constraints: 6834
23.04/23.13 c #Conflicts: 59000 | #Constraints: 7834
23.04/23.13 c #Conflicts: 60000 | #Constraints: 8834
23.04/23.13 c #Conflicts: 61000 | #Constraints: 9834
23.04/23.13 c INPROCESSING
23.04/23.13 c GARBAGE COLLECT
23.04/23.13 c #Conflicts: 62000 | #Constraints: 5834
23.04/23.13 c #Conflicts: 63000 | #Constraints: 6834
23.04/23.13 c #Conflicts: 64000 | #Constraints: 7834
23.04/23.13 c #Conflicts: 65000 | #Constraints: 8834
23.04/23.13 c #Conflicts: 66000 | #Constraints: 9834
23.04/23.13 c INPROCESSING
23.04/23.13 c GARBAGE COLLECT
23.04/23.13 c #Conflicts: 67000 | #Constraints: 5635
23.04/23.13 c #Conflicts: 68000 | #Constraints: 6635
23.04/23.13 c #Conflicts: 69000 | #Constraints: 7635
23.04/23.13 c #Conflicts: 70000 | #Constraints: 8635
23.04/23.13 c #Conflicts: 71000 | #Constraints: 9635
23.04/23.13 c #Conflicts: 72000 | #Constraints: 10635
61.24/61.45 c INPROCESSING
61.24/61.45 c GARBAGE COLLECT
61.24/61.45 c #Conflicts: 73000 | #Constraints: 6230
61.24/61.45 c #Conflicts: 74000 | #Constraints: 7230
61.24/61.45 c #Conflicts: 75000 | #Constraints: 8230
61.24/61.45 c #Conflicts: 76000 | #Constraints: 9230
61.24/61.45 c #Conflicts: 77000 | #Constraints: 10230
61.24/61.45 c #Conflicts: 78000 | #Constraints: 11230
61.24/61.45 c INPROCESSING
61.24/61.45 c GARBAGE COLLECT
61.24/61.45 c #Conflicts: 79000 | #Constraints: 6631
61.24/61.45 c #Conflicts: 80000 | #Constraints: 7631
61.24/61.45 c #Conflicts: 81000 | #Constraints: 8631
61.24/61.45 c #Conflicts: 82000 | #Constraints: 9631
61.24/61.45 c #Conflicts: 83000 | #Constraints: 10631
61.24/61.45 c #Conflicts: 84000 | #Constraints: 11631
61.24/61.45 c INPROCESSING
61.24/61.45 c GARBAGE COLLECT
61.24/61.45 c #Conflicts: 85000 | #Constraints: 6832
61.24/61.45 c #Conflicts: 86000 | #Constraints: 7832
61.24/61.45 c #Conflicts: 87000 | #Constraints: 8832
61.24/61.45 c #Conflicts: 88000 | #Constraints: 9832
61.24/61.45 c #Conflicts: 89000 | #Constraints: 10832
61.24/61.45 c #Conflicts: 90000 | #Constraints: 11832
61.24/61.45 c INPROCESSING
61.24/61.45 c GARBAGE COLLECT
61.24/61.45 c #Conflicts: 91000 | #Constraints: 6837
61.24/61.45 c #Conflicts: 92000 | #Constraints: 7837
61.24/61.45 c #Conflicts: 93000 | #Constraints: 8837
61.24/61.45 c #Conflicts: 94000 | #Constraints: 9837
61.24/61.45 c #Conflicts: 95000 | #Constraints: 10837
61.24/61.45 c #Conflicts: 96000 | #Constraints: 11837
61.24/61.45 c INPROCESSING
61.24/61.45 c GARBAGE COLLECT
61.24/61.45 c #Conflicts: 97000 | #Constraints: 6638
61.24/61.45 c #Conflicts: 98000 | #Constraints: 7638
61.24/61.45 c #Conflicts: 99000 | #Constraints: 8638
61.24/61.45 c #Conflicts: 100000 | #Constraints: 9638
61.24/61.45 c #Conflicts: 101000 | #Constraints: 10638
61.24/61.45 c #Conflicts: 102000 | #Constraints: 11638
61.24/61.45 c #Conflicts: 103000 | #Constraints: 12638
61.24/61.45 c INPROCESSING
61.24/61.45 c GARBAGE COLLECT
61.24/61.45 c #Conflicts: 104000 | #Constraints: 7236
61.24/61.45 c #Conflicts: 105000 | #Constraints: 8236
61.24/61.45 c #Conflicts: 106000 | #Constraints: 9236
61.24/61.45 c #Conflicts: 107000 | #Constraints: 10236
61.24/61.45 c #Conflicts: 108000 | #Constraints: 11236
61.24/61.45 c #Conflicts: 109000 | #Constraints: 12236
61.24/61.45 c #Conflicts: 110000 | #Constraints: 13236
61.24/61.45 c INPROCESSING
61.24/61.45 c GARBAGE COLLECT
61.24/61.45 c #Conflicts: 111000 | #Constraints: 7636
61.24/61.45 c #Conflicts: 112000 | #Constraints: 8636
61.24/61.45 c #Conflicts: 113000 | #Constraints: 9636
61.24/61.45 c #Conflicts: 114000 | #Constraints: 10636
61.24/61.45 c #Conflicts: 115000 | #Constraints: 11636
61.24/61.45 c #Conflicts: 116000 | #Constraints: 12636
61.24/61.45 c #Conflicts: 117000 | #Constraints: 13636
61.24/61.45 c INPROCESSING
61.24/61.45 c GARBAGE COLLECT
61.24/61.45 c #Conflicts: 118000 | #Constraints: 7833
61.24/61.45 c #Conflicts: 119000 | #Constraints: 8833
61.24/61.45 c #Conflicts: 120000 | #Constraints: 9833
61.24/61.45 c #Conflicts: 121000 | #Constraints: 10833
61.24/61.45 c #Conflicts: 122000 | #Constraints: 11833
61.24/61.45 c #Conflicts: 123000 | #Constraints: 12833
61.24/61.45 c #Conflicts: 124000 | #Constraints: 13833
61.24/61.45 c INPROCESSING
61.24/61.45 c GARBAGE COLLECT
61.24/61.45 c #Conflicts: 125000 | #Constraints: 7835
61.24/61.45 c #Conflicts: 126000 | #Constraints: 8835
61.24/61.45 c #Conflicts: 127000 | #Constraints: 9835
61.24/61.45 c #Conflicts: 128000 | #Constraints: 10835
61.24/61.45 c #Conflicts: 129000 | #Constraints: 11835
61.24/61.45 c #Conflicts: 130000 | #Constraints: 12835
61.24/61.45 c #Conflicts: 131000 | #Constraints: 13835
61.24/61.45 c INPROCESSING
61.24/61.45 c GARBAGE COLLECT
61.24/61.45 c #Conflicts: 132000 | #Constraints: 7633
61.24/61.45 c #Conflicts: 133000 | #Constraints: 8633
61.24/61.45 c #Conflicts: 134000 | #Constraints: 9633
61.24/61.45 c #Conflicts: 135000 | #Constraints: 10633
61.24/61.45 c #Conflicts: 136000 | #Constraints: 11633
61.24/61.45 c #Conflicts: 137000 | #Constraints: 12633
61.24/61.45 c #Conflicts: 138000 | #Constraints: 13633
61.24/61.45 c #Conflicts: 139000 | #Constraints: 14633
61.24/61.45 c INPROCESSING
61.24/61.45 c GARBAGE COLLECT
61.24/61.45 c #Conflicts: 140000 | #Constraints: 8236
61.24/61.45 c #Conflicts: 141000 | #Constraints: 9236
61.24/61.45 c #Conflicts: 142000 | #Constraints: 10236
61.24/61.45 c #Conflicts: 143000 | #Constraints: 11236
61.24/61.45 c #Conflicts: 144000 | #Constraints: 12236
110.41/110.80 c #Conflicts: 145000 | #Constraints: 13236
110.41/110.80 c #Conflicts: 146000 | #Constraints: 14236
110.41/110.80 c #Conflicts: 147000 | #Constraints: 15236
110.41/110.80 c INPROCESSING
110.41/110.80 c GARBAGE COLLECT
110.41/110.80 c #Conflicts: 148000 | #Constraints: 8635
110.41/110.80 c #Conflicts: 149000 | #Constraints: 9635
110.41/110.80 c #Conflicts: 150000 | #Constraints: 10635
110.41/110.80 c #Conflicts: 151000 | #Constraints: 11635
110.41/110.80 c #Conflicts: 152000 | #Constraints: 12635
110.41/110.80 c #Conflicts: 153000 | #Constraints: 13635
110.41/110.80 c #Conflicts: 154000 | #Constraints: 14635
110.41/110.80 c #Conflicts: 155000 | #Constraints: 15635
110.41/110.80 c INPROCESSING
110.41/110.80 c GARBAGE COLLECT
110.41/110.80 c #Conflicts: 156000 | #Constraints: 8838
110.41/110.80 c #Conflicts: 157000 | #Constraints: 9838
110.41/110.80 c #Conflicts: 158000 | #Constraints: 10838
110.41/110.80 c #Conflicts: 159000 | #Constraints: 11838
110.41/110.80 c #Conflicts: 160000 | #Constraints: 12838
110.41/110.80 c #Conflicts: 161000 | #Constraints: 13838
110.41/110.80 c #Conflicts: 162000 | #Constraints: 14838
110.41/110.80 c #Conflicts: 163000 | #Constraints: 15838
110.41/110.80 c INPROCESSING
110.41/110.80 c GARBAGE COLLECT
110.41/110.80 c #Conflicts: 164000 | #Constraints: 8837
110.41/110.80 c #Conflicts: 165000 | #Constraints: 9837
110.41/110.80 c #Conflicts: 166000 | #Constraints: 10837
110.41/110.80 c #Conflicts: 167000 | #Constraints: 11837
110.41/110.80 c #Conflicts: 168000 | #Constraints: 12837
110.41/110.80 c #Conflicts: 169000 | #Constraints: 13837
110.41/110.80 c #Conflicts: 170000 | #Constraints: 14837
110.41/110.80 c #Conflicts: 171000 | #Constraints: 15837
110.41/110.80 c INPROCESSING
110.41/110.80 c GARBAGE COLLECT
110.41/110.80 c #Conflicts: 172000 | #Constraints: 8632
110.41/110.80 c #Conflicts: 173000 | #Constraints: 9632
110.41/110.80 c #Conflicts: 174000 | #Constraints: 10632
110.41/110.80 c #Conflicts: 175000 | #Constraints: 11632
110.41/110.80 c #Conflicts: 176000 | #Constraints: 12632
110.41/110.80 c #Conflicts: 177000 | #Constraints: 13632
110.41/110.80 c #Conflicts: 178000 | #Constraints: 14632
110.41/110.80 c #Conflicts: 179000 | #Constraints: 15632
110.41/110.80 c #Conflicts: 180000 | #Constraints: 16632
110.41/110.80 c INPROCESSING
110.41/110.80 c GARBAGE COLLECT
110.41/110.80 c #Conflicts: 181000 | #Constraints: 9232
110.41/110.80 c #Conflicts: 182000 | #Constraints: 10232
110.41/110.80 c #Conflicts: 183000 | #Constraints: 11232
110.41/110.80 c #Conflicts: 184000 | #Constraints: 12232
110.41/110.80 c #Conflicts: 185000 | #Constraints: 13232
110.41/110.80 c #Conflicts: 186000 | #Constraints: 14232
110.41/110.80 c #Conflicts: 187000 | #Constraints: 15232
110.41/110.80 c #Conflicts: 188000 | #Constraints: 16232
110.41/110.80 c #Conflicts: 189000 | #Constraints: 17232
110.41/110.80 c INPROCESSING
110.41/110.80 c GARBAGE COLLECT
110.41/110.80 c #Conflicts: 190000 | #Constraints: 9634
110.41/110.80 c #Conflicts: 191000 | #Constraints: 10634
110.41/110.80 c #Conflicts: 192000 | #Constraints: 11634
110.41/110.80 c #Conflicts: 193000 | #Constraints: 12634
110.41/110.80 c #Conflicts: 194000 | #Constraints: 13634
110.41/110.80 c #Conflicts: 195000 | #Constraints: 14634
110.41/110.80 c #Conflicts: 196000 | #Constraints: 15634
110.41/110.80 c #Conflicts: 197000 | #Constraints: 16634
110.41/110.80 c #Conflicts: 198000 | #Constraints: 17634
110.41/110.80 c INPROCESSING
110.41/110.80 c GARBAGE COLLECT
110.41/110.80 c #Conflicts: 199000 | #Constraints: 9839
110.41/110.80 c #Conflicts: 200000 | #Constraints: 10839
110.41/110.80 c #Conflicts: 201000 | #Constraints: 11839
110.41/110.80 c #Conflicts: 202000 | #Constraints: 12839
110.41/110.80 c #Conflicts: 203000 | #Constraints: 13839
110.41/110.80 c #Conflicts: 204000 | #Constraints: 14839
110.41/110.80 c #Conflicts: 205000 | #Constraints: 15839
110.41/110.80 c #Conflicts: 206000 | #Constraints: 16839
110.41/110.80 c #Conflicts: 207000 | #Constraints: 17839
110.41/110.80 c INPROCESSING
110.41/110.80 c GARBAGE COLLECT
110.41/110.80 c #Conflicts: 208000 | #Constraints: 9836
110.41/110.80 c #Conflicts: 209000 | #Constraints: 10836
110.41/110.80 c #Conflicts: 210000 | #Constraints: 11836
110.41/110.80 c #Conflicts: 211000 | #Constraints: 12836
110.41/110.80 c #Conflicts: 212000 | #Constraints: 13836
110.41/110.80 c #Conflicts: 213000 | #Constraints: 14836
110.41/110.80 c #Conflicts: 214000 | #Constraints: 15836
110.41/110.80 c #Conflicts: 215000 | #Constraints: 16836
110.41/110.80 c #Conflicts: 216000 | #Constraints: 17836
110.41/110.80 c INPROCESSING
110.41/110.80 c GARBAGE COLLECT
110.41/110.80 c #Conflicts: 217000 | #Constraints: 9641
168.87/169.36 c #Conflicts: 218000 | #Constraints: 10641
168.87/169.36 c #Conflicts: 219000 | #Constraints: 11641
168.87/169.36 c #Conflicts: 220000 | #Constraints: 12641
168.87/169.36 c #Conflicts: 221000 | #Constraints: 13641
168.87/169.36 c #Conflicts: 222000 | #Constraints: 14641
168.87/169.36 c #Conflicts: 223000 | #Constraints: 15641
168.87/169.36 c #Conflicts: 224000 | #Constraints: 16641
168.87/169.36 c #Conflicts: 225000 | #Constraints: 17641
168.87/169.36 c #Conflicts: 226000 | #Constraints: 18641
168.87/169.36 c INPROCESSING
168.87/169.36 c GARBAGE COLLECT
168.87/169.36 c #Conflicts: 227000 | #Constraints: 10238
168.87/169.36 c #Conflicts: 228000 | #Constraints: 11238
168.87/169.36 c #Conflicts: 229000 | #Constraints: 12238
168.87/169.36 c #Conflicts: 230000 | #Constraints: 13238
168.87/169.36 c #Conflicts: 231000 | #Constraints: 14238
168.87/169.36 c #Conflicts: 232000 | #Constraints: 15238
168.87/169.36 c #Conflicts: 233000 | #Constraints: 16238
168.87/169.36 c #Conflicts: 234000 | #Constraints: 17238
168.87/169.36 c #Conflicts: 235000 | #Constraints: 18238
168.87/169.36 c #Conflicts: 236000 | #Constraints: 19238
168.87/169.36 c INPROCESSING
168.87/169.36 c GARBAGE COLLECT
168.87/169.36 c #Conflicts: 237000 | #Constraints: 10636
168.87/169.36 c #Conflicts: 238000 | #Constraints: 11636
168.87/169.36 c #Conflicts: 239000 | #Constraints: 12636
168.87/169.36 c #Conflicts: 240000 | #Constraints: 13636
168.87/169.36 c #Conflicts: 241000 | #Constraints: 14636
168.87/169.36 c #Conflicts: 242000 | #Constraints: 15636
168.87/169.36 c #Conflicts: 243000 | #Constraints: 16636
168.87/169.36 c #Conflicts: 244000 | #Constraints: 17636
168.87/169.36 c #Conflicts: 245000 | #Constraints: 18636
168.87/169.36 c #Conflicts: 246000 | #Constraints: 19636
168.87/169.36 c INPROCESSING
168.87/169.36 c GARBAGE COLLECT
168.87/169.36 c #Conflicts: 247000 | #Constraints: 10833
168.87/169.36 c #Conflicts: 248000 | #Constraints: 11833
168.87/169.36 c #Conflicts: 249000 | #Constraints: 12833
168.87/169.36 c #Conflicts: 250000 | #Constraints: 13833
168.87/169.36 c #Conflicts: 251000 | #Constraints: 14833
168.87/169.36 c #Conflicts: 252000 | #Constraints: 15833
168.87/169.36 c #Conflicts: 253000 | #Constraints: 16833
168.87/169.36 c #Conflicts: 254000 | #Constraints: 17833
168.87/169.36 c #Conflicts: 255000 | #Constraints: 18833
168.87/169.36 c #Conflicts: 256000 | #Constraints: 19833
168.87/169.36 c INPROCESSING
168.87/169.36 c GARBAGE COLLECT
168.87/169.36 c #Conflicts: 257000 | #Constraints: 10832
168.87/169.36 c #Conflicts: 258000 | #Constraints: 11832
168.87/169.36 c #Conflicts: 259000 | #Constraints: 12832
168.87/169.36 c #Conflicts: 260000 | #Constraints: 13832
168.87/169.36 c #Conflicts: 261000 | #Constraints: 14832
168.87/169.36 c #Conflicts: 262000 | #Constraints: 15832
168.87/169.36 c #Conflicts: 263000 | #Constraints: 16832
168.87/169.36 c #Conflicts: 264000 | #Constraints: 17832
168.87/169.36 c #Conflicts: 265000 | #Constraints: 18832
168.87/169.36 c #Conflicts: 266000 | #Constraints: 19832
168.87/169.36 c INPROCESSING
168.87/169.36 c GARBAGE COLLECT
168.87/169.36 c #Conflicts: 267000 | #Constraints: 10635
168.87/169.36 c #Conflicts: 268000 | #Constraints: 11635
168.87/169.36 c #Conflicts: 269000 | #Constraints: 12635
168.87/169.36 c #Conflicts: 270000 | #Constraints: 13635
168.87/169.36 c #Conflicts: 271000 | #Constraints: 14635
168.87/169.36 c #Conflicts: 272000 | #Constraints: 15635
168.87/169.36 c #Conflicts: 273000 | #Constraints: 16635
168.87/169.36 c #Conflicts: 274000 | #Constraints: 17635
168.87/169.36 c #Conflicts: 275000 | #Constraints: 18635
168.87/169.36 c #Conflicts: 276000 | #Constraints: 19635
168.87/169.36 c #Conflicts: 277000 | #Constraints: 20635
168.87/169.36 c INPROCESSING
168.87/169.36 c GARBAGE COLLECT
168.87/169.36 c #Conflicts: 278000 | #Constraints: 11234
168.87/169.36 c #Conflicts: 279000 | #Constraints: 12234
168.87/169.36 c #Conflicts: 280000 | #Constraints: 13234
168.87/169.36 c #Conflicts: 281000 | #Constraints: 14234
168.87/169.36 c #Conflicts: 282000 | #Constraints: 15234
168.87/169.36 c #Conflicts: 283000 | #Constraints: 16234
168.87/169.36 c #Conflicts: 284000 | #Constraints: 17234
168.87/169.36 c #Conflicts: 285000 | #Constraints: 18234
168.87/169.36 c #Conflicts: 286000 | #Constraints: 19234
168.87/169.36 c #Conflicts: 287000 | #Constraints: 20234
168.87/169.36 c #Conflicts: 288000 | #Constraints: 21234
168.87/169.36 c INPROCESSING
168.87/169.36 c GARBAGE COLLECT
168.87/169.36 c #Conflicts: 289000 | #Constraints: 11633
168.87/169.36 c #Conflicts: 290000 | #Constraints: 12633
168.87/169.36 c #Conflicts: 291000 | #Constraints: 13633
168.87/169.36 c #Conflicts: 292000 | #Constraints: 14633
233.90/234.53 c #Conflicts: 293000 | #Constraints: 15633
233.90/234.53 c #Conflicts: 294000 | #Constraints: 16633
233.90/234.53 c #Conflicts: 295000 | #Constraints: 17633
233.90/234.53 c #Conflicts: 296000 | #Constraints: 18633
233.90/234.53 c #Conflicts: 297000 | #Constraints: 19633
233.90/234.53 c #Conflicts: 298000 | #Constraints: 20633
233.90/234.53 c #Conflicts: 299000 | #Constraints: 21633
233.90/234.53 c INPROCESSING
233.90/234.53 c GARBAGE COLLECT
233.90/234.53 c #Conflicts: 300000 | #Constraints: 11836
233.90/234.53 c #Conflicts: 301000 | #Constraints: 12836
233.90/234.53 c #Conflicts: 302000 | #Constraints: 13836
233.90/234.53 c #Conflicts: 303000 | #Constraints: 14836
233.90/234.53 c #Conflicts: 304000 | #Constraints: 15836
233.90/234.53 c #Conflicts: 305000 | #Constraints: 16836
233.90/234.53 c #Conflicts: 306000 | #Constraints: 17836
233.90/234.53 c #Conflicts: 307000 | #Constraints: 18836
233.90/234.53 c #Conflicts: 308000 | #Constraints: 19836
233.90/234.53 c #Conflicts: 309000 | #Constraints: 20836
233.90/234.53 c #Conflicts: 310000 | #Constraints: 21836
233.90/234.53 c INPROCESSING
233.90/234.53 c GARBAGE COLLECT
233.90/234.53 c #Conflicts: 311000 | #Constraints: 11839
233.90/234.53 c #Conflicts: 312000 | #Constraints: 12839
233.90/234.53 c #Conflicts: 313000 | #Constraints: 13839
233.90/234.53 c #Conflicts: 314000 | #Constraints: 14839
233.90/234.53 c #Conflicts: 315000 | #Constraints: 15839
233.90/234.53 c #Conflicts: 316000 | #Constraints: 16839
233.90/234.53 c #Conflicts: 317000 | #Constraints: 17839
233.90/234.53 c #Conflicts: 318000 | #Constraints: 18839
233.90/234.53 c #Conflicts: 319000 | #Constraints: 19839
233.90/234.53 c #Conflicts: 320000 | #Constraints: 20839
233.90/234.53 c #Conflicts: 321000 | #Constraints: 21839
233.90/234.53 c INPROCESSING
233.90/234.53 c GARBAGE COLLECT
233.90/234.53 c #Conflicts: 322000 | #Constraints: 11642
233.90/234.53 c #Conflicts: 323000 | #Constraints: 12642
233.90/234.53 c #Conflicts: 324000 | #Constraints: 13642
233.90/234.53 c #Conflicts: 325000 | #Constraints: 14642
233.90/234.53 c #Conflicts: 326000 | #Constraints: 15642
233.90/234.53 c #Conflicts: 327000 | #Constraints: 16642
233.90/234.53 c #Conflicts: 328000 | #Constraints: 17642
233.90/234.53 c #Conflicts: 329000 | #Constraints: 18642
233.90/234.53 c #Conflicts: 330000 | #Constraints: 19642
233.90/234.53 c #Conflicts: 331000 | #Constraints: 20642
233.90/234.53 c #Conflicts: 332000 | #Constraints: 21642
233.90/234.53 c #Conflicts: 333000 | #Constraints: 22642
233.90/234.53 c INPROCESSING
233.90/234.53 c GARBAGE COLLECT
233.90/234.53 c #Conflicts: 334000 | #Constraints: 12235
233.90/234.53 c #Conflicts: 335000 | #Constraints: 13235
233.90/234.53 c #Conflicts: 336000 | #Constraints: 14235
233.90/234.53 c #Conflicts: 337000 | #Constraints: 15235
233.90/234.53 c #Conflicts: 338000 | #Constraints: 16235
233.90/234.53 c #Conflicts: 339000 | #Constraints: 17235
233.90/234.53 c #Conflicts: 340000 | #Constraints: 18235
233.90/234.53 c #Conflicts: 341000 | #Constraints: 19235
233.90/234.53 c #Conflicts: 342000 | #Constraints: 20235
233.90/234.53 c #Conflicts: 343000 | #Constraints: 21235
233.90/234.53 c #Conflicts: 344000 | #Constraints: 22235
233.90/234.53 c #Conflicts: 345000 | #Constraints: 23235
233.90/234.53 c INPROCESSING
233.90/234.53 c GARBAGE COLLECT
233.90/234.53 c #Conflicts: 346000 | #Constraints: 12634
233.90/234.53 c #Conflicts: 347000 | #Constraints: 13634
233.90/234.53 c #Conflicts: 348000 | #Constraints: 14634
233.90/234.53 c #Conflicts: 349000 | #Constraints: 15634
233.90/234.53 c #Conflicts: 350000 | #Constraints: 16634
233.90/234.53 c #Conflicts: 351000 | #Constraints: 17634
233.90/234.53 c #Conflicts: 352000 | #Constraints: 18634
233.90/234.53 c #Conflicts: 353000 | #Constraints: 19634
233.90/234.53 c #Conflicts: 354000 | #Constraints: 20634
233.90/234.53 c #Conflicts: 355000 | #Constraints: 21634
233.90/234.53 c #Conflicts: 356000 | #Constraints: 22634
233.90/234.53 c #Conflicts: 357000 | #Constraints: 23634
233.90/234.53 c INPROCESSING
233.90/234.53 c GARBAGE COLLECT
233.90/234.53 c #Conflicts: 358000 | #Constraints: 12835
233.90/234.53 c #Conflicts: 359000 | #Constraints: 13835
233.90/234.53 c #Conflicts: 360000 | #Constraints: 14835
233.90/234.53 c #Conflicts: 361000 | #Constraints: 15835
233.90/234.53 c #Conflicts: 362000 | #Constraints: 16835
233.90/234.53 c #Conflicts: 363000 | #Constraints: 17835
233.90/234.53 c #Conflicts: 364000 | #Constraints: 18835
233.90/234.53 c #Conflicts: 365000 | #Constraints: 19835
233.90/234.53 c #Conflicts: 366000 | #Constraints: 20835
233.90/234.53 c #Conflicts: 367000 | #Constraints: 21835
240.18/240.80 c #Conflicts: 368000 | #Constraints: 22835
240.18/240.80 c #Conflicts: 369000 | #Constraints: 23835
240.18/240.80 c INPROCESSING
240.18/240.80 c GARBAGE COLLECT
240.18/240.80 c #Conflicts: 370000 | #Constraints: 12835
240.18/240.80 c #Conflicts: 371000 | #Constraints: 13835
240.18/240.80 c #Conflicts: 372000 | #Constraints: 14835
240.18/240.80 c #Conflicts: 373000 | #Constraints: 15835
240.18/240.80 c #Conflicts: 374000 | #Constraints: 16835
240.18/240.80 c bounds 55 >= 0 @ 238.546
240.18/240.80 c stratification level: 4
316.22/317.03 c #Conflicts: 375000 | #Constraints: 17836
316.22/317.03 c #Conflicts: 376000 | #Constraints: 18836
316.22/317.03 c #Conflicts: 377000 | #Constraints: 19836
316.22/317.03 c #Conflicts: 378000 | #Constraints: 20836
316.22/317.03 c #Conflicts: 379000 | #Constraints: 21836
316.22/317.03 c #Conflicts: 380000 | #Constraints: 22836
316.22/317.03 c #Conflicts: 381000 | #Constraints: 23836
316.22/317.03 c INPROCESSING
316.22/317.03 c GARBAGE COLLECT
316.22/317.03 c #Conflicts: 382000 | #Constraints: 12634
316.22/317.03 c #Conflicts: 383000 | #Constraints: 13634
316.22/317.03 c #Conflicts: 384000 | #Constraints: 14634
316.22/317.03 c #Conflicts: 385000 | #Constraints: 15634
316.22/317.03 c #Conflicts: 386000 | #Constraints: 16634
316.22/317.03 c #Conflicts: 387000 | #Constraints: 17634
316.22/317.03 c #Conflicts: 388000 | #Constraints: 18634
316.22/317.03 c #Conflicts: 389000 | #Constraints: 19634
316.22/317.03 c #Conflicts: 390000 | #Constraints: 20634
316.22/317.03 c #Conflicts: 391000 | #Constraints: 21634
316.22/317.03 c #Conflicts: 392000 | #Constraints: 22634
316.22/317.03 c #Conflicts: 393000 | #Constraints: 23634
316.22/317.03 c #Conflicts: 394000 | #Constraints: 24634
316.22/317.03 c INPROCESSING
316.22/317.03 c GARBAGE COLLECT
316.22/317.03 c #Conflicts: 395000 | #Constraints: 13235
316.22/317.03 c #Conflicts: 396000 | #Constraints: 14235
316.22/317.03 c #Conflicts: 397000 | #Constraints: 15235
316.22/317.03 c #Conflicts: 398000 | #Constraints: 16235
316.22/317.03 c #Conflicts: 399000 | #Constraints: 17235
316.22/317.03 c #Conflicts: 400000 | #Constraints: 18235
316.22/317.03 c #Conflicts: 401000 | #Constraints: 19235
316.22/317.03 c #Conflicts: 402000 | #Constraints: 20235
316.22/317.03 c #Conflicts: 403000 | #Constraints: 21235
316.22/317.03 c #Conflicts: 404000 | #Constraints: 22235
316.22/317.03 c #Conflicts: 405000 | #Constraints: 23235
316.22/317.03 c #Conflicts: 406000 | #Constraints: 24235
316.22/317.03 c #Conflicts: 407000 | #Constraints: 25235
316.22/317.03 c INPROCESSING
316.22/317.03 c GARBAGE COLLECT
316.22/317.03 c #Conflicts: 408000 | #Constraints: 13636
316.22/317.03 c #Conflicts: 409000 | #Constraints: 14636
316.22/317.03 c #Conflicts: 410000 | #Constraints: 15636
316.22/317.03 c #Conflicts: 411000 | #Constraints: 16636
316.22/317.03 c #Conflicts: 412000 | #Constraints: 17636
316.22/317.03 c #Conflicts: 413000 | #Constraints: 18636
316.22/317.03 c #Conflicts: 414000 | #Constraints: 19636
316.22/317.03 c #Conflicts: 415000 | #Constraints: 20636
316.22/317.03 c #Conflicts: 416000 | #Constraints: 21636
316.22/317.03 c #Conflicts: 417000 | #Constraints: 22636
316.22/317.03 c #Conflicts: 418000 | #Constraints: 23636
316.22/317.03 c #Conflicts: 419000 | #Constraints: 24636
316.22/317.03 c #Conflicts: 420000 | #Constraints: 25636
316.22/317.03 c INPROCESSING
316.22/317.03 c GARBAGE COLLECT
316.22/317.03 c #Conflicts: 421000 | #Constraints: 13834
316.22/317.03 c #Conflicts: 422000 | #Constraints: 14834
316.22/317.03 c #Conflicts: 423000 | #Constraints: 15834
316.22/317.03 c #Conflicts: 424000 | #Constraints: 16834
316.22/317.03 c #Conflicts: 425000 | #Constraints: 17834
316.22/317.03 c #Conflicts: 426000 | #Constraints: 18834
316.22/317.03 c #Conflicts: 427000 | #Constraints: 19834
316.22/317.03 c #Conflicts: 428000 | #Constraints: 20834
316.22/317.03 c #Conflicts: 429000 | #Constraints: 21834
316.22/317.03 c #Conflicts: 430000 | #Constraints: 22834
316.22/317.03 c #Conflicts: 431000 | #Constraints: 23834
316.22/317.03 c #Conflicts: 432000 | #Constraints: 24834
316.22/317.03 c #Conflicts: 433000 | #Constraints: 25834
316.22/317.03 c INPROCESSING
316.22/317.03 c GARBAGE COLLECT
316.22/317.03 c #Conflicts: 434000 | #Constraints: 13835
316.22/317.03 c #Conflicts: 435000 | #Constraints: 14835
316.22/317.03 c #Conflicts: 436000 | #Constraints: 15835
316.22/317.03 c #Conflicts: 437000 | #Constraints: 16835
316.22/317.03 c #Conflicts: 438000 | #Constraints: 17835
316.22/317.03 c #Conflicts: 439000 | #Constraints: 18835
316.22/317.03 c #Conflicts: 440000 | #Constraints: 19835
316.22/317.03 c #Conflicts: 441000 | #Constraints: 20835
316.22/317.03 c #Conflicts: 442000 | #Constraints: 21835
316.22/317.03 c #Conflicts: 443000 | #Constraints: 22835
316.22/317.03 c #Conflicts: 444000 | #Constraints: 23835
316.22/317.03 c #Conflicts: 445000 | #Constraints: 24835
316.22/317.03 c #Conflicts: 446000 | #Constraints: 25835
316.22/317.03 c INPROCESSING
316.22/317.03 c GARBAGE COLLECT
316.22/317.03 c #Conflicts: 447000 | #Constraints: 13636
316.22/317.03 c #Conflicts: 448000 | #Constraints: 14636
316.22/317.03 c #Conflicts: 449000 | #Constraints: 15636
408.00/409.08 c #Conflicts: 450000 | #Constraints: 16636
408.00/409.08 c #Conflicts: 451000 | #Constraints: 17636
408.00/409.08 c #Conflicts: 452000 | #Constraints: 18636
408.00/409.08 c #Conflicts: 453000 | #Constraints: 19636
408.00/409.08 c #Conflicts: 454000 | #Constraints: 20636
408.00/409.08 c #Conflicts: 455000 | #Constraints: 21636
408.00/409.08 c #Conflicts: 456000 | #Constraints: 22636
408.00/409.08 c #Conflicts: 457000 | #Constraints: 23636
408.00/409.08 c #Conflicts: 458000 | #Constraints: 24636
408.00/409.08 c #Conflicts: 459000 | #Constraints: 25636
408.00/409.08 c #Conflicts: 460000 | #Constraints: 26636
408.00/409.08 c INPROCESSING
408.00/409.08 c GARBAGE COLLECT
408.00/409.08 c #Conflicts: 461000 | #Constraints: 14240
408.00/409.08 c #Conflicts: 462000 | #Constraints: 15240
408.00/409.08 c #Conflicts: 463000 | #Constraints: 16240
408.00/409.08 c #Conflicts: 464000 | #Constraints: 17240
408.00/409.08 c #Conflicts: 465000 | #Constraints: 18240
408.00/409.08 c #Conflicts: 466000 | #Constraints: 19240
408.00/409.08 c #Conflicts: 467000 | #Constraints: 20240
408.00/409.08 c #Conflicts: 468000 | #Constraints: 21240
408.00/409.08 c #Conflicts: 469000 | #Constraints: 22240
408.00/409.08 c #Conflicts: 470000 | #Constraints: 23240
408.00/409.08 c #Conflicts: 471000 | #Constraints: 24240
408.00/409.08 c #Conflicts: 472000 | #Constraints: 25240
408.00/409.08 c #Conflicts: 473000 | #Constraints: 26240
408.00/409.08 c #Conflicts: 474000 | #Constraints: 27240
408.00/409.08 c INPROCESSING
408.00/409.08 c GARBAGE COLLECT
408.00/409.08 c #Conflicts: 475000 | #Constraints: 14638
408.00/409.08 c #Conflicts: 476000 | #Constraints: 15638
408.00/409.08 c #Conflicts: 477000 | #Constraints: 16638
408.00/409.08 c #Conflicts: 478000 | #Constraints: 17638
408.00/409.08 c #Conflicts: 479000 | #Constraints: 18638
408.00/409.08 c #Conflicts: 480000 | #Constraints: 19638
408.00/409.08 c #Conflicts: 481000 | #Constraints: 20638
408.00/409.08 c #Conflicts: 482000 | #Constraints: 21638
408.00/409.08 c #Conflicts: 483000 | #Constraints: 22638
408.00/409.08 c #Conflicts: 484000 | #Constraints: 23638
408.00/409.08 c #Conflicts: 485000 | #Constraints: 24638
408.00/409.08 c #Conflicts: 486000 | #Constraints: 25638
408.00/409.08 c #Conflicts: 487000 | #Constraints: 26638
408.00/409.08 c #Conflicts: 488000 | #Constraints: 27638
408.00/409.08 c INPROCESSING
408.00/409.08 c GARBAGE COLLECT
408.00/409.08 c #Conflicts: 489000 | #Constraints: 14838
408.00/409.08 c #Conflicts: 490000 | #Constraints: 15838
408.00/409.08 c #Conflicts: 491000 | #Constraints: 16838
408.00/409.08 c #Conflicts: 492000 | #Constraints: 17838
408.00/409.08 c #Conflicts: 493000 | #Constraints: 18838
408.00/409.08 c #Conflicts: 494000 | #Constraints: 19838
408.00/409.08 c #Conflicts: 495000 | #Constraints: 20838
408.00/409.08 c #Conflicts: 496000 | #Constraints: 21838
408.00/409.08 c #Conflicts: 497000 | #Constraints: 22838
408.00/409.08 c #Conflicts: 498000 | #Constraints: 23838
408.00/409.08 c #Conflicts: 499000 | #Constraints: 24838
408.00/409.08 c #Conflicts: 500000 | #Constraints: 25838
408.00/409.08 c #Conflicts: 501000 | #Constraints: 26838
408.00/409.08 c #Conflicts: 502000 | #Constraints: 27838
408.00/409.08 c INPROCESSING
408.00/409.08 c GARBAGE COLLECT
408.00/409.08 c #Conflicts: 503000 | #Constraints: 14842
408.00/409.08 c #Conflicts: 504000 | #Constraints: 15842
408.00/409.08 c #Conflicts: 505000 | #Constraints: 16842
408.00/409.08 c #Conflicts: 506000 | #Constraints: 17842
408.00/409.08 c #Conflicts: 507000 | #Constraints: 18842
408.00/409.08 c #Conflicts: 508000 | #Constraints: 19842
408.00/409.08 c #Conflicts: 509000 | #Constraints: 20842
408.00/409.08 c #Conflicts: 510000 | #Constraints: 21842
408.00/409.08 c #Conflicts: 511000 | #Constraints: 22842
408.00/409.08 c #Conflicts: 512000 | #Constraints: 23842
408.00/409.08 c #Conflicts: 513000 | #Constraints: 24842
408.00/409.08 c #Conflicts: 514000 | #Constraints: 25842
408.00/409.08 c #Conflicts: 515000 | #Constraints: 26842
408.00/409.08 c #Conflicts: 516000 | #Constraints: 27842
408.00/409.08 c INPROCESSING
408.00/409.08 c GARBAGE COLLECT
408.00/409.08 c #Conflicts: 517000 | #Constraints: 14638
408.00/409.08 c #Conflicts: 518000 | #Constraints: 15638
408.00/409.08 c #Conflicts: 519000 | #Constraints: 16638
408.00/409.08 c #Conflicts: 520000 | #Constraints: 17638
408.00/409.08 c #Conflicts: 521000 | #Constraints: 18638
408.00/409.08 c #Conflicts: 522000 | #Constraints: 19638
408.00/409.08 c #Conflicts: 523000 | #Constraints: 20638
408.00/409.08 c #Conflicts: 524000 | #Constraints: 21638
408.00/409.08 c #Conflicts: 525000 | #Constraints: 22638
501.26/502.55 c #Conflicts: 526000 | #Constraints: 23638
501.26/502.55 c #Conflicts: 527000 | #Constraints: 24638
501.26/502.55 c #Conflicts: 528000 | #Constraints: 25638
501.26/502.55 c #Conflicts: 529000 | #Constraints: 26638
501.26/502.55 c #Conflicts: 530000 | #Constraints: 27638
501.26/502.55 c #Conflicts: 531000 | #Constraints: 28638
501.26/502.55 c INPROCESSING
501.26/502.55 c GARBAGE COLLECT
501.26/502.55 c #Conflicts: 532000 | #Constraints: 15238
501.26/502.55 c #Conflicts: 533000 | #Constraints: 16238
501.26/502.55 c #Conflicts: 534000 | #Constraints: 17238
501.26/502.55 c #Conflicts: 535000 | #Constraints: 18238
501.26/502.55 c #Conflicts: 536000 | #Constraints: 19238
501.26/502.55 c #Conflicts: 537000 | #Constraints: 20238
501.26/502.55 c #Conflicts: 538000 | #Constraints: 21238
501.26/502.55 c #Conflicts: 539000 | #Constraints: 22238
501.26/502.55 c #Conflicts: 540000 | #Constraints: 23238
501.26/502.55 c #Conflicts: 541000 | #Constraints: 24238
501.26/502.55 c #Conflicts: 542000 | #Constraints: 25238
501.26/502.55 c #Conflicts: 543000 | #Constraints: 26238
501.26/502.55 c #Conflicts: 544000 | #Constraints: 27238
501.26/502.55 c #Conflicts: 545000 | #Constraints: 28238
501.26/502.55 c #Conflicts: 546000 | #Constraints: 29238
501.26/502.55 c INPROCESSING
501.26/502.55 c GARBAGE COLLECT
501.26/502.55 c #Conflicts: 547000 | #Constraints: 15636
501.26/502.55 c #Conflicts: 548000 | #Constraints: 16636
501.26/502.55 c #Conflicts: 549000 | #Constraints: 17636
501.26/502.55 c #Conflicts: 550000 | #Constraints: 18636
501.26/502.55 c #Conflicts: 551000 | #Constraints: 19636
501.26/502.55 c #Conflicts: 552000 | #Constraints: 20636
501.26/502.55 c #Conflicts: 553000 | #Constraints: 21636
501.26/502.55 c #Conflicts: 554000 | #Constraints: 22636
501.26/502.55 c #Conflicts: 555000 | #Constraints: 23636
501.26/502.55 c #Conflicts: 556000 | #Constraints: 24636
501.26/502.55 c #Conflicts: 557000 | #Constraints: 25636
501.26/502.55 c #Conflicts: 558000 | #Constraints: 26636
501.26/502.55 c #Conflicts: 559000 | #Constraints: 27636
501.26/502.55 c #Conflicts: 560000 | #Constraints: 28636
501.26/502.55 c #Conflicts: 561000 | #Constraints: 29636
501.26/502.55 c INPROCESSING
501.26/502.55 c GARBAGE COLLECT
501.26/502.55 c #Conflicts: 562000 | #Constraints: 15838
501.26/502.55 c #Conflicts: 563000 | #Constraints: 16838
501.26/502.55 c #Conflicts: 564000 | #Constraints: 17838
501.26/502.55 c #Conflicts: 565000 | #Constraints: 18838
501.26/502.55 c #Conflicts: 566000 | #Constraints: 19838
501.26/502.55 c #Conflicts: 567000 | #Constraints: 20838
501.26/502.55 c #Conflicts: 568000 | #Constraints: 21838
501.26/502.55 c #Conflicts: 569000 | #Constraints: 22838
501.26/502.55 c #Conflicts: 570000 | #Constraints: 23838
501.26/502.55 c #Conflicts: 571000 | #Constraints: 24838
501.26/502.55 c #Conflicts: 572000 | #Constraints: 25838
501.26/502.55 c #Conflicts: 573000 | #Constraints: 26838
501.26/502.55 c #Conflicts: 574000 | #Constraints: 27838
501.26/502.55 c #Conflicts: 575000 | #Constraints: 28838
501.26/502.55 c #Conflicts: 576000 | #Constraints: 29838
501.26/502.55 c INPROCESSING
501.26/502.55 c GARBAGE COLLECT
501.26/502.55 c #Conflicts: 577000 | #Constraints: 15843
501.26/502.55 c #Conflicts: 578000 | #Constraints: 16843
501.26/502.55 c #Conflicts: 579000 | #Constraints: 17843
501.26/502.55 c #Conflicts: 580000 | #Constraints: 18843
501.26/502.55 c #Conflicts: 581000 | #Constraints: 19843
501.26/502.55 c #Conflicts: 582000 | #Constraints: 20843
501.26/502.55 c #Conflicts: 583000 | #Constraints: 21843
501.26/502.55 c #Conflicts: 584000 | #Constraints: 22843
501.26/502.55 c #Conflicts: 585000 | #Constraints: 23843
501.26/502.55 c #Conflicts: 586000 | #Constraints: 24843
501.26/502.55 c #Conflicts: 587000 | #Constraints: 25843
501.26/502.55 c #Conflicts: 588000 | #Constraints: 26843
501.26/502.55 c #Conflicts: 589000 | #Constraints: 27843
501.26/502.55 c #Conflicts: 590000 | #Constraints: 28843
501.26/502.55 c #Conflicts: 591000 | #Constraints: 29843
501.26/502.55 c INPROCESSING
501.26/502.55 c GARBAGE COLLECT
501.26/502.55 c #Conflicts: 592000 | #Constraints: 15640
501.26/502.55 c #Conflicts: 593000 | #Constraints: 16640
501.26/502.55 c #Conflicts: 594000 | #Constraints: 17640
501.26/502.55 c #Conflicts: 595000 | #Constraints: 18640
501.26/502.55 c #Conflicts: 596000 | #Constraints: 19640
501.26/502.55 c #Conflicts: 597000 | #Constraints: 20640
501.26/502.55 c #Conflicts: 598000 | #Constraints: 21640
501.26/502.55 c #Conflicts: 599000 | #Constraints: 22640
501.26/502.55 c #Conflicts: 600000 | #Constraints: 23640
501.26/502.55 c #Conflicts: 601000 | #Constraints: 24640
602.61/604.18 c #Conflicts: 602000 | #Constraints: 25640
602.61/604.18 c #Conflicts: 603000 | #Constraints: 26640
602.61/604.18 c #Conflicts: 604000 | #Constraints: 27640
602.61/604.18 c #Conflicts: 605000 | #Constraints: 28640
602.61/604.18 c #Conflicts: 606000 | #Constraints: 29640
602.61/604.18 c #Conflicts: 607000 | #Constraints: 30640
602.61/604.18 c INPROCESSING
602.61/604.18 c GARBAGE COLLECT
602.61/604.18 c #Conflicts: 608000 | #Constraints: 16238
602.61/604.18 c #Conflicts: 609000 | #Constraints: 17238
602.61/604.18 c #Conflicts: 610000 | #Constraints: 18238
602.61/604.18 c #Conflicts: 611000 | #Constraints: 19238
602.61/604.18 c #Conflicts: 612000 | #Constraints: 20238
602.61/604.18 c #Conflicts: 613000 | #Constraints: 21238
602.61/604.18 c #Conflicts: 614000 | #Constraints: 22238
602.61/604.18 c #Conflicts: 615000 | #Constraints: 23238
602.61/604.18 c #Conflicts: 616000 | #Constraints: 24238
602.61/604.18 c #Conflicts: 617000 | #Constraints: 25238
602.61/604.18 c #Conflicts: 618000 | #Constraints: 26238
602.61/604.18 c #Conflicts: 619000 | #Constraints: 27238
602.61/604.18 c #Conflicts: 620000 | #Constraints: 28238
602.61/604.18 c #Conflicts: 621000 | #Constraints: 29238
602.61/604.18 c #Conflicts: 622000 | #Constraints: 30238
602.61/604.18 c #Conflicts: 623000 | #Constraints: 31238
602.61/604.18 c INPROCESSING
602.61/604.18 c GARBAGE COLLECT
602.61/604.18 c #Conflicts: 624000 | #Constraints: 16636
602.61/604.18 c #Conflicts: 625000 | #Constraints: 17636
602.61/604.18 c #Conflicts: 626000 | #Constraints: 18636
602.61/604.18 c #Conflicts: 627000 | #Constraints: 19636
602.61/604.18 c #Conflicts: 628000 | #Constraints: 20636
602.61/604.18 c #Conflicts: 629000 | #Constraints: 21636
602.61/604.18 c #Conflicts: 630000 | #Constraints: 22636
602.61/604.18 c #Conflicts: 631000 | #Constraints: 23636
602.61/604.18 c #Conflicts: 632000 | #Constraints: 24636
602.61/604.18 c #Conflicts: 633000 | #Constraints: 25636
602.61/604.18 c #Conflicts: 634000 | #Constraints: 26636
602.61/604.18 c #Conflicts: 635000 | #Constraints: 27636
602.61/604.18 c #Conflicts: 636000 | #Constraints: 28636
602.61/604.18 c #Conflicts: 637000 | #Constraints: 29636
602.61/604.18 c #Conflicts: 638000 | #Constraints: 30636
602.61/604.18 c #Conflicts: 639000 | #Constraints: 31636
602.61/604.18 c INPROCESSING
602.61/604.18 c GARBAGE COLLECT
602.61/604.18 c #Conflicts: 640000 | #Constraints: 16834
602.61/604.18 c #Conflicts: 641000 | #Constraints: 17834
602.61/604.18 c #Conflicts: 642000 | #Constraints: 18834
602.61/604.18 c #Conflicts: 643000 | #Constraints: 19834
602.61/604.18 c #Conflicts: 644000 | #Constraints: 20834
602.61/604.18 c #Conflicts: 645000 | #Constraints: 21834
602.61/604.18 c #Conflicts: 646000 | #Constraints: 22834
602.61/604.18 c #Conflicts: 647000 | #Constraints: 23834
602.61/604.18 c #Conflicts: 648000 | #Constraints: 24834
602.61/604.18 c #Conflicts: 649000 | #Constraints: 25834
602.61/604.18 c #Conflicts: 650000 | #Constraints: 26834
602.61/604.18 c #Conflicts: 651000 | #Constraints: 27834
602.61/604.18 c #Conflicts: 652000 | #Constraints: 28834
602.61/604.18 c #Conflicts: 653000 | #Constraints: 29834
602.61/604.18 c #Conflicts: 654000 | #Constraints: 30834
602.61/604.18 c #Conflicts: 655000 | #Constraints: 31834
602.61/604.18 c INPROCESSING
602.61/604.18 c GARBAGE COLLECT
602.61/604.18 c #Conflicts: 656000 | #Constraints: 16836
602.61/604.18 c #Conflicts: 657000 | #Constraints: 17836
602.61/604.18 c #Conflicts: 658000 | #Constraints: 18836
602.61/604.18 c #Conflicts: 659000 | #Constraints: 19836
602.61/604.18 c #Conflicts: 660000 | #Constraints: 20836
602.61/604.18 c #Conflicts: 661000 | #Constraints: 21836
602.61/604.18 c #Conflicts: 662000 | #Constraints: 22836
602.61/604.18 c #Conflicts: 663000 | #Constraints: 23836
602.61/604.18 c #Conflicts: 664000 | #Constraints: 24836
602.61/604.18 c #Conflicts: 665000 | #Constraints: 25836
602.61/604.18 c #Conflicts: 666000 | #Constraints: 26836
602.61/604.18 c #Conflicts: 667000 | #Constraints: 27836
602.61/604.18 c #Conflicts: 668000 | #Constraints: 28836
602.61/604.18 c #Conflicts: 669000 | #Constraints: 29836
602.61/604.18 c #Conflicts: 670000 | #Constraints: 30836
602.61/604.18 c #Conflicts: 671000 | #Constraints: 31836
602.61/604.18 c INPROCESSING
602.61/604.18 c GARBAGE COLLECT
602.61/604.18 c #Conflicts: 672000 | #Constraints: 16633
602.61/604.18 c #Conflicts: 673000 | #Constraints: 17633
602.61/604.18 c #Conflicts: 674000 | #Constraints: 18633
602.61/604.18 c #Conflicts: 675000 | #Constraints: 19633
602.61/604.18 c #Conflicts: 676000 | #Constraints: 20633
729.09/730.90 c #Conflicts: 677000 | #Constraints: 21633
729.09/730.90 c #Conflicts: 678000 | #Constraints: 22633
729.09/730.90 c #Conflicts: 679000 | #Constraints: 23633
729.09/730.90 c #Conflicts: 680000 | #Constraints: 24633
729.09/730.90 c #Conflicts: 681000 | #Constraints: 25633
729.09/730.90 c #Conflicts: 682000 | #Constraints: 26633
729.09/730.90 c #Conflicts: 683000 | #Constraints: 27633
729.09/730.90 c #Conflicts: 684000 | #Constraints: 28633
729.09/730.90 c #Conflicts: 685000 | #Constraints: 29633
729.09/730.90 c #Conflicts: 686000 | #Constraints: 30633
729.09/730.90 c #Conflicts: 687000 | #Constraints: 31633
729.09/730.90 c #Conflicts: 688000 | #Constraints: 32633
729.09/730.90 c INPROCESSING
729.09/730.90 c GARBAGE COLLECT
729.09/730.90 c #Conflicts: 689000 | #Constraints: 17233
729.09/730.90 c #Conflicts: 690000 | #Constraints: 18233
729.09/730.90 c #Conflicts: 691000 | #Constraints: 19233
729.09/730.90 c #Conflicts: 692000 | #Constraints: 20233
729.09/730.90 c #Conflicts: 693000 | #Constraints: 21233
729.09/730.90 c #Conflicts: 694000 | #Constraints: 22233
729.09/730.90 c #Conflicts: 695000 | #Constraints: 23233
729.09/730.90 c #Conflicts: 696000 | #Constraints: 24233
729.09/730.90 c #Conflicts: 697000 | #Constraints: 25233
729.09/730.90 c #Conflicts: 698000 | #Constraints: 26233
729.09/730.90 c #Conflicts: 699000 | #Constraints: 27233
729.09/730.90 c #Conflicts: 700000 | #Constraints: 28233
729.09/730.90 c #Conflicts: 701000 | #Constraints: 29233
729.09/730.90 c #Conflicts: 702000 | #Constraints: 30233
729.09/730.90 c #Conflicts: 703000 | #Constraints: 31233
729.09/730.90 c #Conflicts: 704000 | #Constraints: 32233
729.09/730.90 c #Conflicts: 705000 | #Constraints: 33233
729.09/730.90 c INPROCESSING
729.09/730.90 c GARBAGE COLLECT
729.09/730.90 c #Conflicts: 706000 | #Constraints: 17633
729.09/730.90 c #Conflicts: 707000 | #Constraints: 18633
729.09/730.90 c #Conflicts: 708000 | #Constraints: 19633
729.09/730.90 c #Conflicts: 709000 | #Constraints: 20633
729.09/730.90 c #Conflicts: 710000 | #Constraints: 21633
729.09/730.90 c #Conflicts: 711000 | #Constraints: 22633
729.09/730.90 c #Conflicts: 712000 | #Constraints: 23633
729.09/730.90 c #Conflicts: 713000 | #Constraints: 24633
729.09/730.90 c #Conflicts: 714000 | #Constraints: 25633
729.09/730.90 c #Conflicts: 715000 | #Constraints: 26633
729.09/730.90 c #Conflicts: 716000 | #Constraints: 27633
729.09/730.90 c #Conflicts: 717000 | #Constraints: 28633
729.09/730.90 c #Conflicts: 718000 | #Constraints: 29633
729.09/730.90 c #Conflicts: 719000 | #Constraints: 30633
729.09/730.90 c #Conflicts: 720000 | #Constraints: 31633
729.09/730.90 c #Conflicts: 721000 | #Constraints: 32633
729.09/730.90 c #Conflicts: 722000 | #Constraints: 33633
729.09/730.90 c INPROCESSING
729.09/730.90 c GARBAGE COLLECT
729.09/730.90 c #Conflicts: 723000 | #Constraints: 17835
729.09/730.90 c #Conflicts: 724000 | #Constraints: 18835
729.09/730.90 c #Conflicts: 725000 | #Constraints: 19835
729.09/730.90 c #Conflicts: 726000 | #Constraints: 20835
729.09/730.90 c #Conflicts: 727000 | #Constraints: 21835
729.09/730.90 c #Conflicts: 728000 | #Constraints: 22835
729.09/730.90 c #Conflicts: 729000 | #Constraints: 23835
729.09/730.90 c #Conflicts: 730000 | #Constraints: 24835
729.09/730.90 c #Conflicts: 731000 | #Constraints: 25835
729.09/730.90 c #Conflicts: 732000 | #Constraints: 26835
729.09/730.90 c #Conflicts: 733000 | #Constraints: 27835
729.09/730.90 c #Conflicts: 734000 | #Constraints: 28835
729.09/730.90 c #Conflicts: 735000 | #Constraints: 29835
729.09/730.90 c #Conflicts: 736000 | #Constraints: 30835
729.09/730.90 c #Conflicts: 737000 | #Constraints: 31835
729.09/730.90 c #Conflicts: 738000 | #Constraints: 32835
729.09/730.90 c #Conflicts: 739000 | #Constraints: 33835
729.09/730.90 c INPROCESSING
729.09/730.90 c GARBAGE COLLECT
729.09/730.90 c #Conflicts: 740000 | #Constraints: 17840
729.09/730.90 c #Conflicts: 741000 | #Constraints: 18840
729.09/730.90 c #Conflicts: 742000 | #Constraints: 19840
729.09/730.90 c #Conflicts: 743000 | #Constraints: 20840
729.09/730.90 c #Conflicts: 744000 | #Constraints: 21840
729.09/730.90 c #Conflicts: 745000 | #Constraints: 22840
729.09/730.90 c #Conflicts: 746000 | #Constraints: 23840
729.09/730.90 c #Conflicts: 747000 | #Constraints: 24840
729.09/730.90 c #Conflicts: 748000 | #Constraints: 25840
729.09/730.90 c #Conflicts: 749000 | #Constraints: 26840
729.09/730.90 c #Conflicts: 750000 | #Constraints: 27840
729.09/730.90 c #Conflicts: 751000 | #Constraints: 28840
729.09/730.90 c #Conflicts: 752000 | #Constraints: 29840
844.81/846.96 c #Conflicts: 753000 | #Constraints: 30840
844.81/846.96 c #Conflicts: 754000 | #Constraints: 31840
844.81/846.96 c #Conflicts: 755000 | #Constraints: 32840
844.81/846.96 c #Conflicts: 756000 | #Constraints: 33840
844.81/846.96 c INPROCESSING
844.81/846.96 c GARBAGE COLLECT
844.81/846.96 c #Conflicts: 757000 | #Constraints: 17640
844.81/846.96 c #Conflicts: 758000 | #Constraints: 18640
844.81/846.96 c #Conflicts: 759000 | #Constraints: 19640
844.81/846.96 c #Conflicts: 760000 | #Constraints: 20640
844.81/846.96 c #Conflicts: 761000 | #Constraints: 21640
844.81/846.96 c #Conflicts: 762000 | #Constraints: 22640
844.81/846.96 c #Conflicts: 763000 | #Constraints: 23640
844.81/846.96 c #Conflicts: 764000 | #Constraints: 24640
844.81/846.96 c #Conflicts: 765000 | #Constraints: 25640
844.81/846.96 c #Conflicts: 766000 | #Constraints: 26640
844.81/846.96 c #Conflicts: 767000 | #Constraints: 27640
844.81/846.96 c #Conflicts: 768000 | #Constraints: 28640
844.81/846.96 c #Conflicts: 769000 | #Constraints: 29640
844.81/846.96 c #Conflicts: 770000 | #Constraints: 30640
844.81/846.96 c #Conflicts: 771000 | #Constraints: 31640
844.81/846.96 c #Conflicts: 772000 | #Constraints: 32640
844.81/846.96 c #Conflicts: 773000 | #Constraints: 33640
844.81/846.96 c #Conflicts: 774000 | #Constraints: 34640
844.81/846.96 c INPROCESSING
844.81/846.96 c GARBAGE COLLECT
844.81/846.96 c #Conflicts: 775000 | #Constraints: 18236
844.81/846.96 c #Conflicts: 776000 | #Constraints: 19236
844.81/846.96 c #Conflicts: 777000 | #Constraints: 20236
844.81/846.96 c #Conflicts: 778000 | #Constraints: 21236
844.81/846.96 c #Conflicts: 779000 | #Constraints: 22236
844.81/846.96 c #Conflicts: 780000 | #Constraints: 23236
844.81/846.96 c #Conflicts: 781000 | #Constraints: 24236
844.81/846.96 c #Conflicts: 782000 | #Constraints: 25236
844.81/846.96 c #Conflicts: 783000 | #Constraints: 26236
844.81/846.96 c #Conflicts: 784000 | #Constraints: 27236
844.81/846.96 c #Conflicts: 785000 | #Constraints: 28236
844.81/846.96 c #Conflicts: 786000 | #Constraints: 29236
844.81/846.96 c #Conflicts: 787000 | #Constraints: 30236
844.81/846.96 c #Conflicts: 788000 | #Constraints: 31236
844.81/846.96 c #Conflicts: 789000 | #Constraints: 32236
844.81/846.96 c #Conflicts: 790000 | #Constraints: 33236
844.81/846.96 c #Conflicts: 791000 | #Constraints: 34236
844.81/846.96 c #Conflicts: 792000 | #Constraints: 35236
844.81/846.96 c INPROCESSING
844.81/846.96 c GARBAGE COLLECT
844.81/846.96 c #Conflicts: 793000 | #Constraints: 18634
844.81/846.96 c #Conflicts: 794000 | #Constraints: 19634
844.81/846.96 c #Conflicts: 795000 | #Constraints: 20634
844.81/846.96 c #Conflicts: 796000 | #Constraints: 21634
844.81/846.96 c #Conflicts: 797000 | #Constraints: 22634
844.81/846.96 c #Conflicts: 798000 | #Constraints: 23634
844.81/846.96 c #Conflicts: 799000 | #Constraints: 24634
844.81/846.96 c #Conflicts: 800000 | #Constraints: 25634
844.81/846.96 c #Conflicts: 801000 | #Constraints: 26634
844.81/846.96 c #Conflicts: 802000 | #Constraints: 27634
844.81/846.96 c #Conflicts: 803000 | #Constraints: 28634
844.81/846.96 c #Conflicts: 804000 | #Constraints: 29634
844.81/846.96 c #Conflicts: 805000 | #Constraints: 30634
844.81/846.96 c #Conflicts: 806000 | #Constraints: 31634
844.81/846.96 c #Conflicts: 807000 | #Constraints: 32634
844.81/846.96 c #Conflicts: 808000 | #Constraints: 33634
844.81/846.96 c #Conflicts: 809000 | #Constraints: 34634
844.81/846.96 c #Conflicts: 810000 | #Constraints: 35634
844.81/846.96 c INPROCESSING
844.81/846.96 c GARBAGE COLLECT
844.81/846.96 c #Conflicts: 811000 | #Constraints: 18836
844.81/846.96 c #Conflicts: 812000 | #Constraints: 19836
844.81/846.96 c #Conflicts: 813000 | #Constraints: 20836
844.81/846.96 c #Conflicts: 814000 | #Constraints: 21836
844.81/846.96 c #Conflicts: 815000 | #Constraints: 22836
844.81/846.96 c #Conflicts: 816000 | #Constraints: 23836
844.81/846.96 c #Conflicts: 817000 | #Constraints: 24836
844.81/846.96 c #Conflicts: 818000 | #Constraints: 25836
844.81/846.96 c #Conflicts: 819000 | #Constraints: 26836
844.81/846.96 c #Conflicts: 820000 | #Constraints: 27836
844.81/846.96 c #Conflicts: 821000 | #Constraints: 28836
844.81/846.96 c #Conflicts: 822000 | #Constraints: 29836
844.81/846.96 c #Conflicts: 823000 | #Constraints: 30836
844.81/846.96 c #Conflicts: 824000 | #Constraints: 31836
844.81/846.96 c #Conflicts: 825000 | #Constraints: 32836
844.81/846.96 c #Conflicts: 826000 | #Constraints: 33836
844.81/846.96 c #Conflicts: 827000 | #Constraints: 34836
844.81/846.96 c #Conflicts: 828000 | #Constraints: 35836
844.81/846.96 c INPROCESSING
969.92/972.36 c GARBAGE COLLECT
969.92/972.36 c #Conflicts: 829000 | #Constraints: 18834
969.92/972.36 c #Conflicts: 830000 | #Constraints: 19834
969.92/972.36 c #Conflicts: 831000 | #Constraints: 20834
969.92/972.36 c #Conflicts: 832000 | #Constraints: 21834
969.92/972.36 c #Conflicts: 833000 | #Constraints: 22834
969.92/972.36 c #Conflicts: 834000 | #Constraints: 23834
969.92/972.36 c #Conflicts: 835000 | #Constraints: 24834
969.92/972.36 c #Conflicts: 836000 | #Constraints: 25834
969.92/972.36 c #Conflicts: 837000 | #Constraints: 26834
969.92/972.36 c #Conflicts: 838000 | #Constraints: 27834
969.92/972.36 c #Conflicts: 839000 | #Constraints: 28834
969.92/972.36 c #Conflicts: 840000 | #Constraints: 29834
969.92/972.36 c #Conflicts: 841000 | #Constraints: 30834
969.92/972.36 c #Conflicts: 842000 | #Constraints: 31834
969.92/972.36 c #Conflicts: 843000 | #Constraints: 32834
969.92/972.36 c #Conflicts: 844000 | #Constraints: 33834
969.92/972.36 c #Conflicts: 845000 | #Constraints: 34834
969.92/972.36 c #Conflicts: 846000 | #Constraints: 35834
969.92/972.36 c INPROCESSING
969.92/972.36 c GARBAGE COLLECT
969.92/972.36 c #Conflicts: 847000 | #Constraints: 18634
969.92/972.36 c #Conflicts: 848000 | #Constraints: 19634
969.92/972.36 c #Conflicts: 849000 | #Constraints: 20634
969.92/972.36 c #Conflicts: 850000 | #Constraints: 21634
969.92/972.36 c #Conflicts: 851000 | #Constraints: 22634
969.92/972.36 c #Conflicts: 852000 | #Constraints: 23634
969.92/972.36 c #Conflicts: 853000 | #Constraints: 24634
969.92/972.36 c #Conflicts: 854000 | #Constraints: 25634
969.92/972.36 c #Conflicts: 855000 | #Constraints: 26634
969.92/972.36 c #Conflicts: 856000 | #Constraints: 27634
969.92/972.36 c #Conflicts: 857000 | #Constraints: 28634
969.92/972.36 c #Conflicts: 858000 | #Constraints: 29634
969.92/972.36 c #Conflicts: 859000 | #Constraints: 30634
969.92/972.36 c #Conflicts: 860000 | #Constraints: 31634
969.92/972.36 c #Conflicts: 861000 | #Constraints: 32634
969.92/972.36 c #Conflicts: 862000 | #Constraints: 33634
969.92/972.36 c #Conflicts: 863000 | #Constraints: 34634
969.92/972.36 c #Conflicts: 864000 | #Constraints: 35634
969.92/972.36 c #Conflicts: 865000 | #Constraints: 36634
969.92/972.36 c INPROCESSING
969.92/972.36 c GARBAGE COLLECT
969.92/972.36 c #Conflicts: 866000 | #Constraints: 19230
969.92/972.36 c #Conflicts: 867000 | #Constraints: 20230
969.92/972.36 c #Conflicts: 868000 | #Constraints: 21230
969.92/972.36 c #Conflicts: 869000 | #Constraints: 22230
969.92/972.36 c #Conflicts: 870000 | #Constraints: 23230
969.92/972.36 c #Conflicts: 871000 | #Constraints: 24230
969.92/972.36 c #Conflicts: 872000 | #Constraints: 25230
969.92/972.36 c #Conflicts: 873000 | #Constraints: 26230
969.92/972.36 c #Conflicts: 874000 | #Constraints: 27230
969.92/972.36 c #Conflicts: 875000 | #Constraints: 28230
969.92/972.36 c #Conflicts: 876000 | #Constraints: 29230
969.92/972.36 c #Conflicts: 877000 | #Constraints: 30230
969.92/972.36 c #Conflicts: 878000 | #Constraints: 31230
969.92/972.36 c #Conflicts: 879000 | #Constraints: 32230
969.92/972.36 c #Conflicts: 880000 | #Constraints: 33230
969.92/972.36 c #Conflicts: 881000 | #Constraints: 34230
969.92/972.36 c #Conflicts: 882000 | #Constraints: 35230
969.92/972.36 c #Conflicts: 883000 | #Constraints: 36230
969.92/972.36 c #Conflicts: 884000 | #Constraints: 37230
969.92/972.36 c INPROCESSING
969.92/972.36 c GARBAGE COLLECT
969.92/972.36 c #Conflicts: 885000 | #Constraints: 19636
969.92/972.36 c #Conflicts: 886000 | #Constraints: 20636
969.92/972.36 c #Conflicts: 887000 | #Constraints: 21636
969.92/972.36 c #Conflicts: 888000 | #Constraints: 22636
969.92/972.36 c #Conflicts: 889000 | #Constraints: 23636
969.92/972.36 c #Conflicts: 890000 | #Constraints: 24636
969.92/972.36 c #Conflicts: 891000 | #Constraints: 25636
969.92/972.36 c #Conflicts: 892000 | #Constraints: 26636
969.92/972.36 c #Conflicts: 893000 | #Constraints: 27636
969.92/972.36 c #Conflicts: 894000 | #Constraints: 28636
969.92/972.36 c #Conflicts: 895000 | #Constraints: 29636
969.92/972.36 c #Conflicts: 896000 | #Constraints: 30636
969.92/972.36 c #Conflicts: 897000 | #Constraints: 31636
969.92/972.36 c #Conflicts: 898000 | #Constraints: 32636
969.92/972.36 c #Conflicts: 899000 | #Constraints: 33636
969.92/972.36 c #Conflicts: 900000 | #Constraints: 34636
969.92/972.36 c #Conflicts: 901000 | #Constraints: 35636
969.92/972.36 c #Conflicts: 902000 | #Constraints: 36636
969.92/972.36 c #Conflicts: 903000 | #Constraints: 37636
969.92/972.36 c INPROCESSING
969.92/972.36 c GARBAGE COLLECT
969.92/972.36 c #Conflicts: 904000 | #Constraints: 19834
1116.68/1119.42 c #Conflicts: 905000 | #Constraints: 20834
1116.68/1119.42 c #Conflicts: 906000 | #Constraints: 21834
1116.68/1119.42 c #Conflicts: 907000 | #Constraints: 22834
1116.68/1119.42 c #Conflicts: 908000 | #Constraints: 23834
1116.68/1119.42 c #Conflicts: 909000 | #Constraints: 24834
1116.68/1119.42 c #Conflicts: 910000 | #Constraints: 25834
1116.68/1119.42 c #Conflicts: 911000 | #Constraints: 26834
1116.68/1119.42 c #Conflicts: 912000 | #Constraints: 27834
1116.68/1119.42 c #Conflicts: 913000 | #Constraints: 28834
1116.68/1119.42 c #Conflicts: 914000 | #Constraints: 29834
1116.68/1119.42 c #Conflicts: 915000 | #Constraints: 30834
1116.68/1119.42 c #Conflicts: 916000 | #Constraints: 31834
1116.68/1119.42 c #Conflicts: 917000 | #Constraints: 32834
1116.68/1119.42 c #Conflicts: 918000 | #Constraints: 33834
1116.68/1119.42 c #Conflicts: 919000 | #Constraints: 34834
1116.68/1119.42 c #Conflicts: 920000 | #Constraints: 35834
1116.68/1119.42 c #Conflicts: 921000 | #Constraints: 36834
1116.68/1119.42 c #Conflicts: 922000 | #Constraints: 37834
1116.68/1119.42 c INPROCESSING
1116.68/1119.42 c GARBAGE COLLECT
1116.68/1119.42 c #Conflicts: 923000 | #Constraints: 19833
1116.68/1119.42 c #Conflicts: 924000 | #Constraints: 20833
1116.68/1119.42 c #Conflicts: 925000 | #Constraints: 21833
1116.68/1119.42 c #Conflicts: 926000 | #Constraints: 22833
1116.68/1119.42 c #Conflicts: 927000 | #Constraints: 23833
1116.68/1119.42 c #Conflicts: 928000 | #Constraints: 24833
1116.68/1119.42 c #Conflicts: 929000 | #Constraints: 25833
1116.68/1119.42 c #Conflicts: 930000 | #Constraints: 26833
1116.68/1119.42 c #Conflicts: 931000 | #Constraints: 27833
1116.68/1119.42 c #Conflicts: 932000 | #Constraints: 28833
1116.68/1119.42 c #Conflicts: 933000 | #Constraints: 29833
1116.68/1119.42 c #Conflicts: 934000 | #Constraints: 30833
1116.68/1119.42 c #Conflicts: 935000 | #Constraints: 31833
1116.68/1119.42 c #Conflicts: 936000 | #Constraints: 32833
1116.68/1119.42 c #Conflicts: 937000 | #Constraints: 33833
1116.68/1119.42 c #Conflicts: 938000 | #Constraints: 34833
1116.68/1119.42 c #Conflicts: 939000 | #Constraints: 35833
1116.68/1119.42 c #Conflicts: 940000 | #Constraints: 36833
1116.68/1119.42 c #Conflicts: 941000 | #Constraints: 37833
1116.68/1119.42 c INPROCESSING
1116.68/1119.42 c GARBAGE COLLECT
1116.68/1119.42 c #Conflicts: 942000 | #Constraints: 19634
1116.68/1119.42 c #Conflicts: 943000 | #Constraints: 20634
1116.68/1119.42 c #Conflicts: 944000 | #Constraints: 21634
1116.68/1119.42 c #Conflicts: 945000 | #Constraints: 22634
1116.68/1119.42 c #Conflicts: 946000 | #Constraints: 23634
1116.68/1119.42 c #Conflicts: 947000 | #Constraints: 24634
1116.68/1119.42 c #Conflicts: 948000 | #Constraints: 25634
1116.68/1119.42 c #Conflicts: 949000 | #Constraints: 26634
1116.68/1119.42 c #Conflicts: 950000 | #Constraints: 27634
1116.68/1119.42 c #Conflicts: 951000 | #Constraints: 28634
1116.68/1119.42 c #Conflicts: 952000 | #Constraints: 29634
1116.68/1119.42 c #Conflicts: 953000 | #Constraints: 30634
1116.68/1119.42 c #Conflicts: 954000 | #Constraints: 31634
1116.68/1119.42 c #Conflicts: 955000 | #Constraints: 32634
1116.68/1119.42 c #Conflicts: 956000 | #Constraints: 33634
1116.68/1119.42 c #Conflicts: 957000 | #Constraints: 34634
1116.68/1119.42 c #Conflicts: 958000 | #Constraints: 35634
1116.68/1119.42 c #Conflicts: 959000 | #Constraints: 36634
1116.68/1119.42 c #Conflicts: 960000 | #Constraints: 37634
1116.68/1119.42 c #Conflicts: 961000 | #Constraints: 38634
1116.68/1119.42 c INPROCESSING
1116.68/1119.42 c GARBAGE COLLECT
1116.68/1119.42 c #Conflicts: 962000 | #Constraints: 20237
1116.68/1119.42 c #Conflicts: 963000 | #Constraints: 21237
1116.68/1119.42 c #Conflicts: 964000 | #Constraints: 22237
1116.68/1119.42 c #Conflicts: 965000 | #Constraints: 23237
1116.68/1119.42 c #Conflicts: 966000 | #Constraints: 24237
1116.68/1119.42 c #Conflicts: 967000 | #Constraints: 25237
1116.68/1119.42 c #Conflicts: 968000 | #Constraints: 26237
1116.68/1119.42 c #Conflicts: 969000 | #Constraints: 27237
1116.68/1119.42 c #Conflicts: 970000 | #Constraints: 28237
1116.68/1119.42 c #Conflicts: 971000 | #Constraints: 29237
1116.68/1119.42 c #Conflicts: 972000 | #Constraints: 30237
1116.68/1119.42 c #Conflicts: 973000 | #Constraints: 31237
1116.68/1119.42 c #Conflicts: 974000 | #Constraints: 32237
1116.68/1119.42 c #Conflicts: 975000 | #Constraints: 33237
1116.68/1119.42 c #Conflicts: 976000 | #Constraints: 34237
1116.68/1119.42 c #Conflicts: 977000 | #Constraints: 35237
1116.68/1119.42 c #Conflicts: 978000 | #Constraints: 36237
1116.68/1119.42 c #Conflicts: 979000 | #Constraints: 37237
1116.68/1119.42 c #Conflicts: 980000 | #Constraints: 38237
1116.68/1119.42 c #Conflicts: 981000 | #Constraints: 39237
1294.16/1297.35 c INPROCESSING
1294.16/1297.35 c GARBAGE COLLECT
1294.16/1297.35 c #Conflicts: 982000 | #Constraints: 20638
1294.16/1297.35 c #Conflicts: 983000 | #Constraints: 21638
1294.16/1297.35 c #Conflicts: 984000 | #Constraints: 22638
1294.16/1297.35 c #Conflicts: 985000 | #Constraints: 23638
1294.16/1297.35 c #Conflicts: 986000 | #Constraints: 24638
1294.16/1297.35 c #Conflicts: 987000 | #Constraints: 25638
1294.16/1297.35 c #Conflicts: 988000 | #Constraints: 26638
1294.16/1297.35 c #Conflicts: 989000 | #Constraints: 27638
1294.16/1297.35 c #Conflicts: 990000 | #Constraints: 28638
1294.16/1297.35 c #Conflicts: 991000 | #Constraints: 29638
1294.16/1297.35 c #Conflicts: 992000 | #Constraints: 30638
1294.16/1297.35 c #Conflicts: 993000 | #Constraints: 31638
1294.16/1297.35 c #Conflicts: 994000 | #Constraints: 32638
1294.16/1297.35 c #Conflicts: 995000 | #Constraints: 33638
1294.16/1297.35 c #Conflicts: 996000 | #Constraints: 34638
1294.16/1297.35 c #Conflicts: 997000 | #Constraints: 35638
1294.16/1297.35 c #Conflicts: 998000 | #Constraints: 36638
1294.16/1297.35 c #Conflicts: 999000 | #Constraints: 37638
1294.16/1297.35 c #Conflicts: 1000000 | #Constraints: 38638
1294.16/1297.35 c #Conflicts: 1001000 | #Constraints: 39638
1294.16/1297.35 c INPROCESSING
1294.16/1297.35 c GARBAGE COLLECT
1294.16/1297.35 c #Conflicts: 1002000 | #Constraints: 20843
1294.16/1297.35 c #Conflicts: 1003000 | #Constraints: 21843
1294.16/1297.35 c #Conflicts: 1004000 | #Constraints: 22843
1294.16/1297.35 c #Conflicts: 1005000 | #Constraints: 23843
1294.16/1297.35 c #Conflicts: 1006000 | #Constraints: 24843
1294.16/1297.35 c #Conflicts: 1007000 | #Constraints: 25843
1294.16/1297.35 c #Conflicts: 1008000 | #Constraints: 26843
1294.16/1297.35 c #Conflicts: 1009000 | #Constraints: 27843
1294.16/1297.35 c #Conflicts: 1010000 | #Constraints: 28843
1294.16/1297.35 c #Conflicts: 1011000 | #Constraints: 29843
1294.16/1297.35 c #Conflicts: 1012000 | #Constraints: 30843
1294.16/1297.35 c #Conflicts: 1013000 | #Constraints: 31843
1294.16/1297.35 c #Conflicts: 1014000 | #Constraints: 32843
1294.16/1297.35 c #Conflicts: 1015000 | #Constraints: 33843
1294.16/1297.35 c #Conflicts: 1016000 | #Constraints: 34843
1294.16/1297.35 c #Conflicts: 1017000 | #Constraints: 35843
1294.16/1297.35 c #Conflicts: 1018000 | #Constraints: 36843
1294.16/1297.35 c #Conflicts: 1019000 | #Constraints: 37843
1294.16/1297.35 c #Conflicts: 1020000 | #Constraints: 38843
1294.16/1297.35 c #Conflicts: 1021000 | #Constraints: 39843
1294.16/1297.35 c INPROCESSING
1294.16/1297.35 c GARBAGE COLLECT
1294.16/1297.35 c #Conflicts: 1022000 | #Constraints: 20843
1294.16/1297.35 c #Conflicts: 1023000 | #Constraints: 21843
1294.16/1297.35 c #Conflicts: 1024000 | #Constraints: 22843
1294.16/1297.35 c #Conflicts: 1025000 | #Constraints: 23843
1294.16/1297.35 c #Conflicts: 1026000 | #Constraints: 24843
1294.16/1297.35 c #Conflicts: 1027000 | #Constraints: 25843
1294.16/1297.35 c #Conflicts: 1028000 | #Constraints: 26843
1294.16/1297.35 c #Conflicts: 1029000 | #Constraints: 27843
1294.16/1297.35 c #Conflicts: 1030000 | #Constraints: 28843
1294.16/1297.35 c #Conflicts: 1031000 | #Constraints: 29843
1294.16/1297.35 c #Conflicts: 1032000 | #Constraints: 30843
1294.16/1297.35 c #Conflicts: 1033000 | #Constraints: 31843
1294.16/1297.35 c #Conflicts: 1034000 | #Constraints: 32843
1294.16/1297.35 c #Conflicts: 1035000 | #Constraints: 33843
1294.16/1297.35 c #Conflicts: 1036000 | #Constraints: 34843
1294.16/1297.35 c #Conflicts: 1037000 | #Constraints: 35843
1294.16/1297.35 c #Conflicts: 1038000 | #Constraints: 36843
1294.16/1297.35 c #Conflicts: 1039000 | #Constraints: 37843
1294.16/1297.35 c #Conflicts: 1040000 | #Constraints: 38843
1294.16/1297.35 c #Conflicts: 1041000 | #Constraints: 39843
1294.16/1297.35 c INPROCESSING
1294.16/1297.35 c GARBAGE COLLECT
1294.16/1297.35 c #Conflicts: 1042000 | #Constraints: 20641
1294.16/1297.35 c #Conflicts: 1043000 | #Constraints: 21641
1294.16/1297.35 c #Conflicts: 1044000 | #Constraints: 22641
1294.16/1297.35 c #Conflicts: 1045000 | #Constraints: 23641
1294.16/1297.35 c #Conflicts: 1046000 | #Constraints: 24641
1294.16/1297.35 c #Conflicts: 1047000 | #Constraints: 25641
1294.16/1297.35 c #Conflicts: 1048000 | #Constraints: 26641
1294.16/1297.35 c #Conflicts: 1049000 | #Constraints: 27641
1294.16/1297.35 c #Conflicts: 1050000 | #Constraints: 28641
1294.16/1297.35 c #Conflicts: 1051000 | #Constraints: 29641
1294.16/1297.35 c #Conflicts: 1052000 | #Constraints: 30641
1294.16/1297.35 c #Conflicts: 1053000 | #Constraints: 31641
1294.16/1297.35 c #Conflicts: 1054000 | #Constraints: 32641
1294.16/1297.35 c #Conflicts: 1055000 | #Constraints: 33641
1294.16/1297.35 c #Conflicts: 1056000 | #Constraints: 34641
1294.16/1297.35 c #Conflicts: 1057000 | #Constraints: 35641
1490.21/1493.84 c #Conflicts: 1058000 | #Constraints: 36641
1490.21/1493.84 c #Conflicts: 1059000 | #Constraints: 37641
1490.21/1493.84 c #Conflicts: 1060000 | #Constraints: 38641
1490.21/1493.84 c #Conflicts: 1061000 | #Constraints: 39641
1490.21/1493.84 c #Conflicts: 1062000 | #Constraints: 40641
1490.21/1493.84 c INPROCESSING
1490.21/1493.84 c GARBAGE COLLECT
1490.21/1493.84 c #Conflicts: 1063000 | #Constraints: 21241
1490.21/1493.84 c #Conflicts: 1064000 | #Constraints: 22241
1490.21/1493.84 c #Conflicts: 1065000 | #Constraints: 23241
1490.21/1493.84 c #Conflicts: 1066000 | #Constraints: 24241
1490.21/1493.84 c #Conflicts: 1067000 | #Constraints: 25241
1490.21/1493.84 c #Conflicts: 1068000 | #Constraints: 26241
1490.21/1493.84 c #Conflicts: 1069000 | #Constraints: 27241
1490.21/1493.84 c #Conflicts: 1070000 | #Constraints: 28241
1490.21/1493.84 c #Conflicts: 1071000 | #Constraints: 29241
1490.21/1493.84 c #Conflicts: 1072000 | #Constraints: 30241
1490.21/1493.84 c #Conflicts: 1073000 | #Constraints: 31241
1490.21/1493.84 c #Conflicts: 1074000 | #Constraints: 32241
1490.21/1493.84 c #Conflicts: 1075000 | #Constraints: 33241
1490.21/1493.84 c #Conflicts: 1076000 | #Constraints: 34241
1490.21/1493.84 c #Conflicts: 1077000 | #Constraints: 35241
1490.21/1493.84 c #Conflicts: 1078000 | #Constraints: 36241
1490.21/1493.84 c #Conflicts: 1079000 | #Constraints: 37241
1490.21/1493.84 c #Conflicts: 1080000 | #Constraints: 38241
1490.21/1493.84 c #Conflicts: 1081000 | #Constraints: 39241
1490.21/1493.84 c #Conflicts: 1082000 | #Constraints: 40241
1490.21/1493.84 c #Conflicts: 1083000 | #Constraints: 41241
1490.21/1493.84 c INPROCESSING
1490.21/1493.84 c GARBAGE COLLECT
1490.21/1493.84 c #Conflicts: 1084000 | #Constraints: 21641
1490.21/1493.84 c #Conflicts: 1085000 | #Constraints: 22641
1490.21/1493.84 c #Conflicts: 1086000 | #Constraints: 23641
1490.21/1493.84 c #Conflicts: 1087000 | #Constraints: 24641
1490.21/1493.84 c #Conflicts: 1088000 | #Constraints: 25641
1490.21/1493.84 c #Conflicts: 1089000 | #Constraints: 26641
1490.21/1493.84 c #Conflicts: 1090000 | #Constraints: 27641
1490.21/1493.84 c #Conflicts: 1091000 | #Constraints: 28641
1490.21/1493.84 c #Conflicts: 1092000 | #Constraints: 29641
1490.21/1493.84 c #Conflicts: 1093000 | #Constraints: 30641
1490.21/1493.84 c #Conflicts: 1094000 | #Constraints: 31641
1490.21/1493.84 c #Conflicts: 1095000 | #Constraints: 32641
1490.21/1493.84 c #Conflicts: 1096000 | #Constraints: 33641
1490.21/1493.84 c #Conflicts: 1097000 | #Constraints: 34641
1490.21/1493.84 c #Conflicts: 1098000 | #Constraints: 35641
1490.21/1493.84 c #Conflicts: 1099000 | #Constraints: 36641
1490.21/1493.84 c #Conflicts: 1100000 | #Constraints: 37641
1490.21/1493.84 c #Conflicts: 1101000 | #Constraints: 38641
1490.21/1493.84 c #Conflicts: 1102000 | #Constraints: 39641
1490.21/1493.84 c #Conflicts: 1103000 | #Constraints: 40641
1490.21/1493.84 c #Conflicts: 1104000 | #Constraints: 41641
1490.21/1493.84 c INPROCESSING
1490.21/1493.84 c GARBAGE COLLECT
1490.21/1493.84 c #Conflicts: 1105000 | #Constraints: 21842
1490.21/1493.84 c #Conflicts: 1106000 | #Constraints: 22842
1490.21/1493.84 c #Conflicts: 1107000 | #Constraints: 23842
1490.21/1493.84 c #Conflicts: 1108000 | #Constraints: 24842
1490.21/1493.84 c #Conflicts: 1109000 | #Constraints: 25842
1490.21/1493.84 c #Conflicts: 1110000 | #Constraints: 26842
1490.21/1493.84 c #Conflicts: 1111000 | #Constraints: 27842
1490.21/1493.84 c #Conflicts: 1112000 | #Constraints: 28842
1490.21/1493.84 c #Conflicts: 1113000 | #Constraints: 29842
1490.21/1493.84 c #Conflicts: 1114000 | #Constraints: 30842
1490.21/1493.84 c #Conflicts: 1115000 | #Constraints: 31842
1490.21/1493.84 c #Conflicts: 1116000 | #Constraints: 32842
1490.21/1493.84 c #Conflicts: 1117000 | #Constraints: 33842
1490.21/1493.84 c #Conflicts: 1118000 | #Constraints: 34842
1490.21/1493.84 c #Conflicts: 1119000 | #Constraints: 35842
1490.21/1493.84 c #Conflicts: 1120000 | #Constraints: 36842
1490.21/1493.84 c #Conflicts: 1121000 | #Constraints: 37842
1490.21/1493.84 c #Conflicts: 1122000 | #Constraints: 38842
1490.21/1493.84 c #Conflicts: 1123000 | #Constraints: 39842
1490.21/1493.84 c #Conflicts: 1124000 | #Constraints: 40842
1490.21/1493.84 c #Conflicts: 1125000 | #Constraints: 41842
1490.21/1493.84 c INPROCESSING
1490.21/1493.84 c GARBAGE COLLECT
1490.21/1493.84 c #Conflicts: 1126000 | #Constraints: 21840
1490.21/1493.84 c #Conflicts: 1127000 | #Constraints: 22840
1490.21/1493.84 c #Conflicts: 1128000 | #Constraints: 23840
1490.21/1493.84 c #Conflicts: 1129000 | #Constraints: 24840
1490.21/1493.84 c #Conflicts: 1130000 | #Constraints: 25840
1490.21/1493.84 c #Conflicts: 1131000 | #Constraints: 26840
1490.21/1493.84 c #Conflicts: 1132000 | #Constraints: 27840
1490.21/1493.84 c #Conflicts: 1133000 | #Constraints: 28840
1490.21/1493.84 c #Conflicts: 1134000 | #Constraints: 29840
1650.04/1654.06 c #Conflicts: 1135000 | #Constraints: 30840
1650.04/1654.06 c #Conflicts: 1136000 | #Constraints: 31840
1650.04/1654.06 c #Conflicts: 1137000 | #Constraints: 32840
1650.04/1654.06 c #Conflicts: 1138000 | #Constraints: 33840
1650.04/1654.06 c #Conflicts: 1139000 | #Constraints: 34840
1650.04/1654.06 c #Conflicts: 1140000 | #Constraints: 35840
1650.04/1654.06 c #Conflicts: 1141000 | #Constraints: 36840
1650.04/1654.06 c #Conflicts: 1142000 | #Constraints: 37840
1650.04/1654.06 c #Conflicts: 1143000 | #Constraints: 38840
1650.04/1654.06 c #Conflicts: 1144000 | #Constraints: 39840
1650.04/1654.06 c #Conflicts: 1145000 | #Constraints: 40840
1650.04/1654.06 c #Conflicts: 1146000 | #Constraints: 41840
1650.04/1654.06 c INPROCESSING
1650.04/1654.06 c GARBAGE COLLECT
1650.04/1654.06 c #Conflicts: 1147000 | #Constraints: 21637
1650.04/1654.06 c #Conflicts: 1148000 | #Constraints: 22637
1650.04/1654.06 c #Conflicts: 1149000 | #Constraints: 23637
1650.04/1654.06 c #Conflicts: 1150000 | #Constraints: 24637
1650.04/1654.06 c #Conflicts: 1151000 | #Constraints: 25637
1650.04/1654.06 c #Conflicts: 1152000 | #Constraints: 26637
1650.04/1654.06 c #Conflicts: 1153000 | #Constraints: 27637
1650.04/1654.06 c #Conflicts: 1154000 | #Constraints: 28637
1650.04/1654.06 c #Conflicts: 1155000 | #Constraints: 29637
1650.04/1654.06 c #Conflicts: 1156000 | #Constraints: 30637
1650.04/1654.06 c #Conflicts: 1157000 | #Constraints: 31637
1650.04/1654.06 c #Conflicts: 1158000 | #Constraints: 32637
1650.04/1654.06 c #Conflicts: 1159000 | #Constraints: 33637
1650.04/1654.06 c #Conflicts: 1160000 | #Constraints: 34637
1650.04/1654.06 c #Conflicts: 1161000 | #Constraints: 35637
1650.04/1654.06 c #Conflicts: 1162000 | #Constraints: 36637
1650.04/1654.06 c #Conflicts: 1163000 | #Constraints: 37637
1650.04/1654.06 c #Conflicts: 1164000 | #Constraints: 38637
1650.04/1654.06 c #Conflicts: 1165000 | #Constraints: 39637
1650.04/1654.06 c #Conflicts: 1166000 | #Constraints: 40637
1650.04/1654.06 c #Conflicts: 1167000 | #Constraints: 41637
1650.04/1654.06 c #Conflicts: 1168000 | #Constraints: 42637
1650.04/1654.06 c INPROCESSING
1650.04/1654.06 c GARBAGE COLLECT
1650.04/1654.06 c #Conflicts: 1169000 | #Constraints: 22238
1650.04/1654.06 c #Conflicts: 1170000 | #Constraints: 23238
1650.04/1654.06 c #Conflicts: 1171000 | #Constraints: 24238
1650.04/1654.06 c #Conflicts: 1172000 | #Constraints: 25238
1650.04/1654.06 c #Conflicts: 1173000 | #Constraints: 26238
1650.04/1654.06 c #Conflicts: 1174000 | #Constraints: 27238
1650.04/1654.06 c #Conflicts: 1175000 | #Constraints: 28238
1650.04/1654.06 c #Conflicts: 1176000 | #Constraints: 29238
1650.04/1654.06 c #Conflicts: 1177000 | #Constraints: 30238
1650.04/1654.06 c #Conflicts: 1178000 | #Constraints: 31238
1650.04/1654.06 c #Conflicts: 1179000 | #Constraints: 32238
1650.04/1654.06 c #Conflicts: 1180000 | #Constraints: 33238
1650.04/1654.06 c #Conflicts: 1181000 | #Constraints: 34238
1650.04/1654.06 c #Conflicts: 1182000 | #Constraints: 35238
1650.04/1654.06 c #Conflicts: 1183000 | #Constraints: 36238
1650.04/1654.06 c #Conflicts: 1184000 | #Constraints: 37238
1650.04/1654.06 c #Conflicts: 1185000 | #Constraints: 38238
1650.04/1654.06 c #Conflicts: 1186000 | #Constraints: 39238
1650.04/1654.06 c #Conflicts: 1187000 | #Constraints: 40238
1650.04/1654.06 c #Conflicts: 1188000 | #Constraints: 41238
1650.04/1654.06 c #Conflicts: 1189000 | #Constraints: 42238
1650.04/1654.06 c #Conflicts: 1190000 | #Constraints: 43238
1650.04/1654.06 c INPROCESSING
1650.04/1654.06 c GARBAGE COLLECT
1650.04/1654.06 c #Conflicts: 1191000 | #Constraints: 22641
1650.04/1654.06 c #Conflicts: 1192000 | #Constraints: 23641
1650.04/1654.06 c #Conflicts: 1193000 | #Constraints: 24641
1650.04/1654.06 c #Conflicts: 1194000 | #Constraints: 25641
1650.04/1654.06 c #Conflicts: 1195000 | #Constraints: 26641
1650.04/1654.06 c #Conflicts: 1196000 | #Constraints: 27641
1650.04/1654.06 c #Conflicts: 1197000 | #Constraints: 28641
1650.04/1654.06 c #Conflicts: 1198000 | #Constraints: 29641
1650.04/1654.06 c #Conflicts: 1199000 | #Constraints: 30641
1650.04/1654.06 c #Conflicts: 1200000 | #Constraints: 31641
1650.04/1654.06 c #Conflicts: 1201000 | #Constraints: 32641
1650.04/1654.06 c #Conflicts: 1202000 | #Constraints: 33641
1650.04/1654.06 c #Conflicts: 1203000 | #Constraints: 34641
1650.04/1654.06 c #Conflicts: 1204000 | #Constraints: 35641
1650.04/1654.06 c #Conflicts: 1205000 | #Constraints: 36641
1650.04/1654.06 c #Conflicts: 1206000 | #Constraints: 37641
1650.04/1654.06 c #Conflicts: 1207000 | #Constraints: 38641
1650.04/1654.06 c #Conflicts: 1208000 | #Constraints: 39641
1650.04/1654.06 c #Conflicts: 1209000 | #Constraints: 40641
1650.04/1654.06 c #Conflicts: 1210000 | #Constraints: 41641
1817.75/1822.17 c #Conflicts: 1211000 | #Constraints: 42641
1817.75/1822.17 c #Conflicts: 1212000 | #Constraints: 43641
1817.75/1822.17 c INPROCESSING
1817.75/1822.17 c GARBAGE COLLECT
1817.75/1822.17 c #Conflicts: 1213000 | #Constraints: 22839
1817.75/1822.17 c #Conflicts: 1214000 | #Constraints: 23839
1817.75/1822.17 c #Conflicts: 1215000 | #Constraints: 24839
1817.75/1822.17 c #Conflicts: 1216000 | #Constraints: 25839
1817.75/1822.17 c #Conflicts: 1217000 | #Constraints: 26839
1817.75/1822.17 c #Conflicts: 1218000 | #Constraints: 27839
1817.75/1822.17 c #Conflicts: 1219000 | #Constraints: 28839
1817.75/1822.17 c #Conflicts: 1220000 | #Constraints: 29839
1817.75/1822.17 c #Conflicts: 1221000 | #Constraints: 30839
1817.75/1822.17 c #Conflicts: 1222000 | #Constraints: 31839
1817.75/1822.17 c #Conflicts: 1223000 | #Constraints: 32839
1817.75/1822.17 c #Conflicts: 1224000 | #Constraints: 33839
1817.75/1822.17 c #Conflicts: 1225000 | #Constraints: 34839
1817.75/1822.17 c #Conflicts: 1226000 | #Constraints: 35839
1817.75/1822.17 c #Conflicts: 1227000 | #Constraints: 36839
1817.75/1822.17 c #Conflicts: 1228000 | #Constraints: 37839
1817.75/1822.17 c #Conflicts: 1229000 | #Constraints: 38839
1817.75/1822.17 c #Conflicts: 1230000 | #Constraints: 39839
1817.75/1822.17 c #Conflicts: 1231000 | #Constraints: 40839
1817.75/1822.17 c #Conflicts: 1232000 | #Constraints: 41839
1817.75/1822.17 c #Conflicts: 1233000 | #Constraints: 42839
1817.75/1822.17 c #Conflicts: 1234000 | #Constraints: 43839
1817.75/1822.17 c INPROCESSING
1817.75/1822.17 c GARBAGE COLLECT
1817.75/1822.17 c #Conflicts: 1235000 | #Constraints: 22841
1817.75/1822.17 c #Conflicts: 1236000 | #Constraints: 23841
1817.75/1822.17 c #Conflicts: 1237000 | #Constraints: 24841
1817.75/1822.17 c #Conflicts: 1238000 | #Constraints: 25841
1817.75/1822.17 c #Conflicts: 1239000 | #Constraints: 26841
1817.75/1822.17 c #Conflicts: 1240000 | #Constraints: 27841
1817.75/1822.17 c #Conflicts: 1241000 | #Constraints: 28841
1817.75/1822.17 c #Conflicts: 1242000 | #Constraints: 29841
1817.75/1822.17 c #Conflicts: 1243000 | #Constraints: 30841
1817.75/1822.17 c #Conflicts: 1244000 | #Constraints: 31841
1817.75/1822.17 c #Conflicts: 1245000 | #Constraints: 32841
1817.75/1822.17 c #Conflicts: 1246000 | #Constraints: 33841
1817.75/1822.17 c #Conflicts: 1247000 | #Constraints: 34841
1817.75/1822.17 c #Conflicts: 1248000 | #Constraints: 35841
1817.75/1822.17 c #Conflicts: 1249000 | #Constraints: 36841
1817.75/1822.17 c #Conflicts: 1250000 | #Constraints: 37841
1817.75/1822.17 c #Conflicts: 1251000 | #Constraints: 38841
1817.75/1822.17 c #Conflicts: 1252000 | #Constraints: 39841
1817.75/1822.17 c #Conflicts: 1253000 | #Constraints: 40841
1817.75/1822.17 c #Conflicts: 1254000 | #Constraints: 41841
1817.75/1822.17 c #Conflicts: 1255000 | #Constraints: 42841
1817.75/1822.17 c #Conflicts: 1256000 | #Constraints: 43841
1817.75/1822.17 c INPROCESSING
1817.75/1822.17 c GARBAGE COLLECT
1817.75/1822.17 c #Conflicts: 1257000 | #Constraints: 22636
1817.75/1822.17 c #Conflicts: 1258000 | #Constraints: 23636
1817.75/1822.17 c #Conflicts: 1259000 | #Constraints: 24636
1817.75/1822.17 c #Conflicts: 1260000 | #Constraints: 25636
1817.75/1822.17 c #Conflicts: 1261000 | #Constraints: 26636
1817.75/1822.17 c #Conflicts: 1262000 | #Constraints: 27636
1817.75/1822.17 c #Conflicts: 1263000 | #Constraints: 28636
1817.75/1822.17 c #Conflicts: 1264000 | #Constraints: 29636
1817.75/1822.17 c #Conflicts: 1265000 | #Constraints: 30636
1817.75/1822.17 c #Conflicts: 1266000 | #Constraints: 31636
1817.75/1822.17 c #Conflicts: 1267000 | #Constraints: 32636
1817.75/1822.17 c #Conflicts: 1268000 | #Constraints: 33636
1817.75/1822.17 c #Conflicts: 1269000 | #Constraints: 34636
1817.75/1822.17 c #Conflicts: 1270000 | #Constraints: 35636
1817.75/1822.17 c #Conflicts: 1271000 | #Constraints: 36636
1817.75/1822.17 c #Conflicts: 1272000 | #Constraints: 37636
1817.75/1822.17 c #Conflicts: 1273000 | #Constraints: 38636
1817.75/1822.17 c #Conflicts: 1274000 | #Constraints: 39636
1817.75/1822.17 c #Conflicts: 1275000 | #Constraints: 40636
1817.75/1822.17 c #Conflicts: 1276000 | #Constraints: 41636
1817.75/1822.17 c #Conflicts: 1277000 | #Constraints: 42636
1817.75/1822.17 c #Conflicts: 1278000 | #Constraints: 43636
1817.75/1822.17 c #Conflicts: 1279000 | #Constraints: 44636
1817.75/1822.17 c INPROCESSING
1817.75/1822.17 c GARBAGE COLLECT
1817.75/1822.17 c #Conflicts: 1280000 | #Constraints: 23235
1817.75/1822.17 c #Conflicts: 1281000 | #Constraints: 24235
1817.75/1822.17 c #Conflicts: 1282000 | #Constraints: 25235
1817.75/1822.17 c #Conflicts: 1283000 | #Constraints: 26235
1817.75/1822.17 c #Conflicts: 1284000 | #Constraints: 27235
1817.75/1822.17 c #Conflicts: 1285000 | #Constraints: 28235
1817.75/1822.17 c #Conflicts: 1286000 | #Constraints: 29235
1817.75/1822.17 c #Conflicts: 1287000 | #Constraints: 30235
2008.10/2012.97 c #Conflicts: 1288000 | #Constraints: 31235
2008.10/2012.97 c #Conflicts: 1289000 | #Constraints: 32235
2008.10/2012.97 c #Conflicts: 1290000 | #Constraints: 33235
2008.10/2012.97 c #Conflicts: 1291000 | #Constraints: 34235
2008.10/2012.97 c #Conflicts: 1292000 | #Constraints: 35235
2008.10/2012.97 c #Conflicts: 1293000 | #Constraints: 36235
2008.10/2012.97 c #Conflicts: 1294000 | #Constraints: 37235
2008.10/2012.97 c #Conflicts: 1295000 | #Constraints: 38235
2008.10/2012.97 c #Conflicts: 1296000 | #Constraints: 39235
2008.10/2012.97 c #Conflicts: 1297000 | #Constraints: 40235
2008.10/2012.97 c #Conflicts: 1298000 | #Constraints: 41235
2008.10/2012.97 c #Conflicts: 1299000 | #Constraints: 42235
2008.10/2012.97 c #Conflicts: 1300000 | #Constraints: 43235
2008.10/2012.97 c #Conflicts: 1301000 | #Constraints: 44235
2008.10/2012.97 c #Conflicts: 1302000 | #Constraints: 45235
2008.10/2012.97 c INPROCESSING
2008.10/2012.97 c GARBAGE COLLECT
2008.10/2012.97 c #Conflicts: 1303000 | #Constraints: 23634
2008.10/2012.97 c #Conflicts: 1304000 | #Constraints: 24634
2008.10/2012.97 c #Conflicts: 1305000 | #Constraints: 25634
2008.10/2012.97 c #Conflicts: 1306000 | #Constraints: 26634
2008.10/2012.97 c #Conflicts: 1307000 | #Constraints: 27634
2008.10/2012.97 c #Conflicts: 1308000 | #Constraints: 28634
2008.10/2012.97 c #Conflicts: 1309000 | #Constraints: 29634
2008.10/2012.97 c #Conflicts: 1310000 | #Constraints: 30634
2008.10/2012.97 c #Conflicts: 1311000 | #Constraints: 31634
2008.10/2012.97 c #Conflicts: 1312000 | #Constraints: 32634
2008.10/2012.97 c #Conflicts: 1313000 | #Constraints: 33634
2008.10/2012.97 c #Conflicts: 1314000 | #Constraints: 34634
2008.10/2012.97 c #Conflicts: 1315000 | #Constraints: 35634
2008.10/2012.97 c #Conflicts: 1316000 | #Constraints: 36634
2008.10/2012.97 c #Conflicts: 1317000 | #Constraints: 37634
2008.10/2012.97 c #Conflicts: 1318000 | #Constraints: 38634
2008.10/2012.97 c #Conflicts: 1319000 | #Constraints: 39634
2008.10/2012.97 c #Conflicts: 1320000 | #Constraints: 40634
2008.10/2012.97 c #Conflicts: 1321000 | #Constraints: 41634
2008.10/2012.97 c #Conflicts: 1322000 | #Constraints: 42634
2008.10/2012.97 c #Conflicts: 1323000 | #Constraints: 43634
2008.10/2012.97 c #Conflicts: 1324000 | #Constraints: 44634
2008.10/2012.97 c #Conflicts: 1325000 | #Constraints: 45634
2008.10/2012.97 c INPROCESSING
2008.10/2012.97 c GARBAGE COLLECT
2008.10/2012.97 c #Conflicts: 1326000 | #Constraints: 23837
2008.10/2012.97 c #Conflicts: 1327000 | #Constraints: 24837
2008.10/2012.97 c #Conflicts: 1328000 | #Constraints: 25837
2008.10/2012.97 c #Conflicts: 1329000 | #Constraints: 26837
2008.10/2012.97 c #Conflicts: 1330000 | #Constraints: 27837
2008.10/2012.97 c #Conflicts: 1331000 | #Constraints: 28837
2008.10/2012.97 c #Conflicts: 1332000 | #Constraints: 29837
2008.10/2012.97 c #Conflicts: 1333000 | #Constraints: 30837
2008.10/2012.97 c #Conflicts: 1334000 | #Constraints: 31837
2008.10/2012.97 c #Conflicts: 1335000 | #Constraints: 32837
2008.10/2012.97 c #Conflicts: 1336000 | #Constraints: 33837
2008.10/2012.97 c #Conflicts: 1337000 | #Constraints: 34837
2008.10/2012.97 c #Conflicts: 1338000 | #Constraints: 35837
2008.10/2012.97 c #Conflicts: 1339000 | #Constraints: 36837
2008.10/2012.97 c #Conflicts: 1340000 | #Constraints: 37837
2008.10/2012.97 c #Conflicts: 1341000 | #Constraints: 38837
2008.10/2012.97 c #Conflicts: 1342000 | #Constraints: 39837
2008.10/2012.97 c #Conflicts: 1343000 | #Constraints: 40837
2008.10/2012.97 c #Conflicts: 1344000 | #Constraints: 41837
2008.10/2012.97 c #Conflicts: 1345000 | #Constraints: 42837
2008.10/2012.97 c #Conflicts: 1346000 | #Constraints: 43837
2008.10/2012.97 c #Conflicts: 1347000 | #Constraints: 44837
2008.10/2012.97 c #Conflicts: 1348000 | #Constraints: 45837
2008.10/2012.97 c INPROCESSING
2008.10/2012.97 c GARBAGE COLLECT
2008.10/2012.97 c #Conflicts: 1349000 | #Constraints: 23840
2008.10/2012.97 c #Conflicts: 1350000 | #Constraints: 24840
2008.10/2012.97 c #Conflicts: 1351000 | #Constraints: 25840
2008.10/2012.97 c #Conflicts: 1352000 | #Constraints: 26840
2008.10/2012.97 c #Conflicts: 1353000 | #Constraints: 27840
2008.10/2012.97 c #Conflicts: 1354000 | #Constraints: 28840
2008.10/2012.97 c #Conflicts: 1355000 | #Constraints: 29840
2008.10/2012.97 c #Conflicts: 1356000 | #Constraints: 30840
2008.10/2012.97 c #Conflicts: 1357000 | #Constraints: 31840
2008.10/2012.97 c #Conflicts: 1358000 | #Constraints: 32840
2008.10/2012.97 c #Conflicts: 1359000 | #Constraints: 33840
2008.10/2012.97 c #Conflicts: 1360000 | #Constraints: 34840
2008.10/2012.97 c #Conflicts: 1361000 | #Constraints: 35840
2008.10/2012.97 c #Conflicts: 1362000 | #Constraints: 36840
2008.10/2012.97 c #Conflicts: 1363000 | #Constraints: 37840
2008.10/2012.97 c #Conflicts: 1364000 | #Constraints: 38840
2184.38/2189.67 c #Conflicts: 1365000 | #Constraints: 39840
2184.38/2189.67 c #Conflicts: 1366000 | #Constraints: 40840
2184.38/2189.67 c #Conflicts: 1367000 | #Constraints: 41840
2184.38/2189.67 c #Conflicts: 1368000 | #Constraints: 42840
2184.38/2189.67 c #Conflicts: 1369000 | #Constraints: 43840
2184.38/2189.67 c #Conflicts: 1370000 | #Constraints: 44840
2184.38/2189.67 c #Conflicts: 1371000 | #Constraints: 45840
2184.38/2189.67 c INPROCESSING
2184.38/2189.67 c GARBAGE COLLECT
2184.38/2189.67 c #Conflicts: 1372000 | #Constraints: 23639
2184.38/2189.67 c #Conflicts: 1373000 | #Constraints: 24639
2184.38/2189.67 c #Conflicts: 1374000 | #Constraints: 25639
2184.38/2189.67 c #Conflicts: 1375000 | #Constraints: 26639
2184.38/2189.67 c #Conflicts: 1376000 | #Constraints: 27639
2184.38/2189.67 c #Conflicts: 1377000 | #Constraints: 28639
2184.38/2189.67 c #Conflicts: 1378000 | #Constraints: 29639
2184.38/2189.67 c #Conflicts: 1379000 | #Constraints: 30639
2184.38/2189.67 c #Conflicts: 1380000 | #Constraints: 31639
2184.38/2189.67 c #Conflicts: 1381000 | #Constraints: 32639
2184.38/2189.67 c #Conflicts: 1382000 | #Constraints: 33639
2184.38/2189.67 c #Conflicts: 1383000 | #Constraints: 34639
2184.38/2189.67 c #Conflicts: 1384000 | #Constraints: 35639
2184.38/2189.67 c #Conflicts: 1385000 | #Constraints: 36639
2184.38/2189.67 c #Conflicts: 1386000 | #Constraints: 37639
2184.38/2189.67 c #Conflicts: 1387000 | #Constraints: 38639
2184.38/2189.67 c #Conflicts: 1388000 | #Constraints: 39639
2184.38/2189.67 c #Conflicts: 1389000 | #Constraints: 40639
2184.38/2189.67 c #Conflicts: 1390000 | #Constraints: 41639
2184.38/2189.67 c #Conflicts: 1391000 | #Constraints: 42639
2184.38/2189.67 c #Conflicts: 1392000 | #Constraints: 43639
2184.38/2189.67 c #Conflicts: 1393000 | #Constraints: 44639
2184.38/2189.67 c #Conflicts: 1394000 | #Constraints: 45639
2184.38/2189.67 c #Conflicts: 1395000 | #Constraints: 46639
2184.38/2189.67 c INPROCESSING
2184.38/2189.67 c GARBAGE COLLECT
2184.38/2189.67 c #Conflicts: 1396000 | #Constraints: 24238
2184.38/2189.67 c #Conflicts: 1397000 | #Constraints: 25238
2184.38/2189.67 c #Conflicts: 1398000 | #Constraints: 26238
2184.38/2189.67 c #Conflicts: 1399000 | #Constraints: 27238
2184.38/2189.67 c #Conflicts: 1400000 | #Constraints: 28238
2184.38/2189.67 c #Conflicts: 1401000 | #Constraints: 29238
2184.38/2189.67 c #Conflicts: 1402000 | #Constraints: 30238
2184.38/2189.67 c #Conflicts: 1403000 | #Constraints: 31238
2184.38/2189.67 c #Conflicts: 1404000 | #Constraints: 32238
2184.38/2189.67 c #Conflicts: 1405000 | #Constraints: 33238
2184.38/2189.67 c #Conflicts: 1406000 | #Constraints: 34238
2184.38/2189.67 c #Conflicts: 1407000 | #Constraints: 35238
2184.38/2189.67 c #Conflicts: 1408000 | #Constraints: 36238
2184.38/2189.67 c #Conflicts: 1409000 | #Constraints: 37238
2184.38/2189.67 c #Conflicts: 1410000 | #Constraints: 38238
2184.38/2189.67 c #Conflicts: 1411000 | #Constraints: 39238
2184.38/2189.67 c #Conflicts: 1412000 | #Constraints: 40238
2184.38/2189.67 c #Conflicts: 1413000 | #Constraints: 41238
2184.38/2189.67 c #Conflicts: 1414000 | #Constraints: 42238
2184.38/2189.67 c #Conflicts: 1415000 | #Constraints: 43238
2184.38/2189.67 c #Conflicts: 1416000 | #Constraints: 44238
2184.38/2189.67 c #Conflicts: 1417000 | #Constraints: 45238
2184.38/2189.67 c #Conflicts: 1418000 | #Constraints: 46238
2184.38/2189.67 c #Conflicts: 1419000 | #Constraints: 47238
2184.38/2189.67 c INPROCESSING
2184.38/2189.67 c GARBAGE COLLECT
2184.38/2189.67 c #Conflicts: 1420000 | #Constraints: 24639
2184.38/2189.67 c #Conflicts: 1421000 | #Constraints: 25639
2184.38/2189.67 c #Conflicts: 1422000 | #Constraints: 26639
2184.38/2189.67 c #Conflicts: 1423000 | #Constraints: 27639
2184.38/2189.67 c #Conflicts: 1424000 | #Constraints: 28639
2184.38/2189.67 c #Conflicts: 1425000 | #Constraints: 29639
2184.38/2189.67 c #Conflicts: 1426000 | #Constraints: 30639
2184.38/2189.67 c #Conflicts: 1427000 | #Constraints: 31639
2184.38/2189.67 c #Conflicts: 1428000 | #Constraints: 32639
2184.38/2189.67 c #Conflicts: 1429000 | #Constraints: 33639
2184.38/2189.67 c #Conflicts: 1430000 | #Constraints: 34639
2184.38/2189.67 c #Conflicts: 1431000 | #Constraints: 35639
2184.38/2189.67 c #Conflicts: 1432000 | #Constraints: 36639
2184.38/2189.67 c #Conflicts: 1433000 | #Constraints: 37639
2184.38/2189.67 c #Conflicts: 1434000 | #Constraints: 38639
2184.38/2189.67 c #Conflicts: 1435000 | #Constraints: 39639
2184.38/2189.67 c #Conflicts: 1436000 | #Constraints: 40639
2184.38/2189.67 c #Conflicts: 1437000 | #Constraints: 41639
2184.38/2189.67 c #Conflicts: 1438000 | #Constraints: 42639
2184.38/2189.67 c #Conflicts: 1439000 | #Constraints: 43639
2184.38/2189.67 c #Conflicts: 1440000 | #Constraints: 44639
2377.34/2383.03 c #Conflicts: 1441000 | #Constraints: 45639
2377.34/2383.03 c #Conflicts: 1442000 | #Constraints: 46639
2377.34/2383.03 c #Conflicts: 1443000 | #Constraints: 47639
2377.34/2383.03 c INPROCESSING
2377.34/2383.03 c GARBAGE COLLECT
2377.34/2383.03 c #Conflicts: 1444000 | #Constraints: 24837
2377.34/2383.03 c #Conflicts: 1445000 | #Constraints: 25837
2377.34/2383.03 c #Conflicts: 1446000 | #Constraints: 26837
2377.34/2383.03 c #Conflicts: 1447000 | #Constraints: 27837
2377.34/2383.03 c #Conflicts: 1448000 | #Constraints: 28837
2377.34/2383.03 c #Conflicts: 1449000 | #Constraints: 29837
2377.34/2383.03 c #Conflicts: 1450000 | #Constraints: 30837
2377.34/2383.03 c #Conflicts: 1451000 | #Constraints: 31837
2377.34/2383.03 c #Conflicts: 1452000 | #Constraints: 32837
2377.34/2383.03 c #Conflicts: 1453000 | #Constraints: 33837
2377.34/2383.03 c #Conflicts: 1454000 | #Constraints: 34837
2377.34/2383.03 c #Conflicts: 1455000 | #Constraints: 35837
2377.34/2383.03 c #Conflicts: 1456000 | #Constraints: 36837
2377.34/2383.03 c #Conflicts: 1457000 | #Constraints: 37837
2377.34/2383.03 c #Conflicts: 1458000 | #Constraints: 38837
2377.34/2383.03 c #Conflicts: 1459000 | #Constraints: 39837
2377.34/2383.03 c #Conflicts: 1460000 | #Constraints: 40837
2377.34/2383.03 c #Conflicts: 1461000 | #Constraints: 41837
2377.34/2383.03 c #Conflicts: 1462000 | #Constraints: 42837
2377.34/2383.03 c #Conflicts: 1463000 | #Constraints: 43837
2377.34/2383.03 c #Conflicts: 1464000 | #Constraints: 44837
2377.34/2383.03 c #Conflicts: 1465000 | #Constraints: 45837
2377.34/2383.03 c #Conflicts: 1466000 | #Constraints: 46837
2377.34/2383.03 c #Conflicts: 1467000 | #Constraints: 47837
2377.34/2383.03 c INPROCESSING
2377.34/2383.03 c GARBAGE COLLECT
2377.34/2383.03 c #Conflicts: 1468000 | #Constraints: 24837
2377.34/2383.03 c #Conflicts: 1469000 | #Constraints: 25837
2377.34/2383.03 c #Conflicts: 1470000 | #Constraints: 26837
2377.34/2383.03 c #Conflicts: 1471000 | #Constraints: 27837
2377.34/2383.03 c #Conflicts: 1472000 | #Constraints: 28837
2377.34/2383.03 c #Conflicts: 1473000 | #Constraints: 29837
2377.34/2383.03 c #Conflicts: 1474000 | #Constraints: 30837
2377.34/2383.03 c #Conflicts: 1475000 | #Constraints: 31837
2377.34/2383.03 c #Conflicts: 1476000 | #Constraints: 32837
2377.34/2383.03 c #Conflicts: 1477000 | #Constraints: 33837
2377.34/2383.03 c #Conflicts: 1478000 | #Constraints: 34837
2377.34/2383.03 c #Conflicts: 1479000 | #Constraints: 35837
2377.34/2383.03 c #Conflicts: 1480000 | #Constraints: 36837
2377.34/2383.03 c #Conflicts: 1481000 | #Constraints: 37837
2377.34/2383.03 c #Conflicts: 1482000 | #Constraints: 38837
2377.34/2383.03 c #Conflicts: 1483000 | #Constraints: 39837
2377.34/2383.03 c #Conflicts: 1484000 | #Constraints: 40837
2377.34/2383.03 c #Conflicts: 1485000 | #Constraints: 41837
2377.34/2383.03 c #Conflicts: 1486000 | #Constraints: 42837
2377.34/2383.03 c #Conflicts: 1487000 | #Constraints: 43837
2377.34/2383.03 c #Conflicts: 1488000 | #Constraints: 44837
2377.34/2383.03 c #Conflicts: 1489000 | #Constraints: 45837
2377.34/2383.03 c #Conflicts: 1490000 | #Constraints: 46837
2377.34/2383.03 c #Conflicts: 1491000 | #Constraints: 47837
2377.34/2383.03 c INPROCESSING
2377.34/2383.03 c GARBAGE COLLECT
2377.34/2383.03 c #Conflicts: 1492000 | #Constraints: 24637
2377.34/2383.03 c #Conflicts: 1493000 | #Constraints: 25637
2377.34/2383.03 c #Conflicts: 1494000 | #Constraints: 26637
2377.34/2383.03 c #Conflicts: 1495000 | #Constraints: 27637
2377.34/2383.03 c #Conflicts: 1496000 | #Constraints: 28637
2377.34/2383.03 c #Conflicts: 1497000 | #Constraints: 29637
2377.34/2383.03 c #Conflicts: 1498000 | #Constraints: 30637
2377.34/2383.03 c #Conflicts: 1499000 | #Constraints: 31637
2377.34/2383.03 c #Conflicts: 1500000 | #Constraints: 32637
2377.34/2383.03 c #Conflicts: 1501000 | #Constraints: 33637
2377.34/2383.03 c #Conflicts: 1502000 | #Constraints: 34637
2377.34/2383.03 c #Conflicts: 1503000 | #Constraints: 35637
2377.34/2383.03 c #Conflicts: 1504000 | #Constraints: 36637
2377.34/2383.03 c #Conflicts: 1505000 | #Constraints: 37637
2377.34/2383.03 c #Conflicts: 1506000 | #Constraints: 38637
2377.34/2383.03 c #Conflicts: 1507000 | #Constraints: 39637
2377.34/2383.03 c #Conflicts: 1508000 | #Constraints: 40637
2377.34/2383.03 c #Conflicts: 1509000 | #Constraints: 41637
2377.34/2383.03 c #Conflicts: 1510000 | #Constraints: 42637
2377.34/2383.03 c #Conflicts: 1511000 | #Constraints: 43637
2377.34/2383.03 c #Conflicts: 1512000 | #Constraints: 44637
2377.34/2383.03 c #Conflicts: 1513000 | #Constraints: 45637
2377.34/2383.03 c #Conflicts: 1514000 | #Constraints: 46637
2377.34/2383.03 c #Conflicts: 1515000 | #Constraints: 47637
2377.34/2383.03 c #Conflicts: 1516000 | #Constraints: 48637
2377.34/2383.03 c INPROCESSING
2377.34/2383.03 c GARBAGE COLLECT
2377.34/2383.03 c #Conflicts: 1517000 | #Constraints: 25239
2603.81/2610.10 c #Conflicts: 1518000 | #Constraints: 26239
2603.81/2610.10 c #Conflicts: 1519000 | #Constraints: 27239
2603.81/2610.10 c #Conflicts: 1520000 | #Constraints: 28239
2603.81/2610.10 c #Conflicts: 1521000 | #Constraints: 29239
2603.81/2610.10 c #Conflicts: 1522000 | #Constraints: 30239
2603.81/2610.10 c #Conflicts: 1523000 | #Constraints: 31239
2603.81/2610.10 c #Conflicts: 1524000 | #Constraints: 32239
2603.81/2610.10 c #Conflicts: 1525000 | #Constraints: 33239
2603.81/2610.10 c #Conflicts: 1526000 | #Constraints: 34239
2603.81/2610.10 c #Conflicts: 1527000 | #Constraints: 35239
2603.81/2610.10 c #Conflicts: 1528000 | #Constraints: 36239
2603.81/2610.10 c #Conflicts: 1529000 | #Constraints: 37239
2603.81/2610.10 c #Conflicts: 1530000 | #Constraints: 38239
2603.81/2610.10 c #Conflicts: 1531000 | #Constraints: 39239
2603.81/2610.10 c #Conflicts: 1532000 | #Constraints: 40239
2603.81/2610.10 c #Conflicts: 1533000 | #Constraints: 41239
2603.81/2610.10 c #Conflicts: 1534000 | #Constraints: 42239
2603.81/2610.10 c #Conflicts: 1535000 | #Constraints: 43239
2603.81/2610.10 c #Conflicts: 1536000 | #Constraints: 44239
2603.81/2610.10 c #Conflicts: 1537000 | #Constraints: 45239
2603.81/2610.10 c #Conflicts: 1538000 | #Constraints: 46239
2603.81/2610.10 c #Conflicts: 1539000 | #Constraints: 47239
2603.81/2610.10 c #Conflicts: 1540000 | #Constraints: 48239
2603.81/2610.10 c #Conflicts: 1541000 | #Constraints: 49239
2603.81/2610.10 c INPROCESSING
2603.81/2610.10 c GARBAGE COLLECT
2603.81/2610.10 c #Conflicts: 1542000 | #Constraints: 25640
2603.81/2610.10 c #Conflicts: 1543000 | #Constraints: 26640
2603.81/2610.10 c #Conflicts: 1544000 | #Constraints: 27640
2603.81/2610.10 c #Conflicts: 1545000 | #Constraints: 28640
2603.81/2610.10 c #Conflicts: 1546000 | #Constraints: 29640
2603.81/2610.10 c #Conflicts: 1547000 | #Constraints: 30640
2603.81/2610.10 c #Conflicts: 1548000 | #Constraints: 31640
2603.81/2610.10 c #Conflicts: 1549000 | #Constraints: 32640
2603.81/2610.10 c #Conflicts: 1550000 | #Constraints: 33640
2603.81/2610.10 c #Conflicts: 1551000 | #Constraints: 34640
2603.81/2610.10 c #Conflicts: 1552000 | #Constraints: 35640
2603.81/2610.10 c #Conflicts: 1553000 | #Constraints: 36640
2603.81/2610.10 c #Conflicts: 1554000 | #Constraints: 37640
2603.81/2610.10 c #Conflicts: 1555000 | #Constraints: 38640
2603.81/2610.10 c #Conflicts: 1556000 | #Constraints: 39640
2603.81/2610.10 c #Conflicts: 1557000 | #Constraints: 40640
2603.81/2610.10 c #Conflicts: 1558000 | #Constraints: 41640
2603.81/2610.10 c #Conflicts: 1559000 | #Constraints: 42640
2603.81/2610.10 c #Conflicts: 1560000 | #Constraints: 43640
2603.81/2610.10 c #Conflicts: 1561000 | #Constraints: 44640
2603.81/2610.10 c #Conflicts: 1562000 | #Constraints: 45640
2603.81/2610.10 c #Conflicts: 1563000 | #Constraints: 46640
2603.81/2610.10 c #Conflicts: 1564000 | #Constraints: 47640
2603.81/2610.10 c #Conflicts: 1565000 | #Constraints: 48640
2603.81/2610.10 c #Conflicts: 1566000 | #Constraints: 49640
2603.81/2610.10 c INPROCESSING
2603.81/2610.10 c GARBAGE COLLECT
2603.81/2610.10 c #Conflicts: 1567000 | #Constraints: 25838
2603.81/2610.10 c #Conflicts: 1568000 | #Constraints: 26838
2603.81/2610.10 c #Conflicts: 1569000 | #Constraints: 27838
2603.81/2610.10 c #Conflicts: 1570000 | #Constraints: 28838
2603.81/2610.10 c #Conflicts: 1571000 | #Constraints: 29838
2603.81/2610.10 c #Conflicts: 1572000 | #Constraints: 30838
2603.81/2610.10 c #Conflicts: 1573000 | #Constraints: 31838
2603.81/2610.10 c #Conflicts: 1574000 | #Constraints: 32838
2603.81/2610.10 c #Conflicts: 1575000 | #Constraints: 33838
2603.81/2610.10 c #Conflicts: 1576000 | #Constraints: 34838
2603.81/2610.10 c #Conflicts: 1577000 | #Constraints: 35838
2603.81/2610.10 c #Conflicts: 1578000 | #Constraints: 36838
2603.81/2610.10 c #Conflicts: 1579000 | #Constraints: 37838
2603.81/2610.10 c #Conflicts: 1580000 | #Constraints: 38838
2603.81/2610.10 c #Conflicts: 1581000 | #Constraints: 39838
2603.81/2610.10 c #Conflicts: 1582000 | #Constraints: 40838
2603.81/2610.10 c #Conflicts: 1583000 | #Constraints: 41838
2603.81/2610.10 c #Conflicts: 1584000 | #Constraints: 42838
2603.81/2610.10 c #Conflicts: 1585000 | #Constraints: 43838
2603.81/2610.10 c #Conflicts: 1586000 | #Constraints: 44838
2603.81/2610.10 c #Conflicts: 1587000 | #Constraints: 45838
2603.81/2610.10 c #Conflicts: 1588000 | #Constraints: 46838
2603.81/2610.10 c #Conflicts: 1589000 | #Constraints: 47838
2603.81/2610.10 c #Conflicts: 1590000 | #Constraints: 48838
2603.81/2610.10 c #Conflicts: 1591000 | #Constraints: 49838
2603.81/2610.10 c INPROCESSING
2603.81/2610.10 c GARBAGE COLLECT
2603.81/2610.10 c #Conflicts: 1592000 | #Constraints: 25839
2603.81/2610.10 c #Conflicts: 1593000 | #Constraints: 26839
2603.81/2610.10 c #Conflicts: 1594000 | #Constraints: 27839
2848.92/2855.71 c #Conflicts: 1595000 | #Constraints: 28839
2848.92/2855.71 c #Conflicts: 1596000 | #Constraints: 29839
2848.92/2855.71 c #Conflicts: 1597000 | #Constraints: 30839
2848.92/2855.71 c #Conflicts: 1598000 | #Constraints: 31839
2848.92/2855.71 c #Conflicts: 1599000 | #Constraints: 32839
2848.92/2855.71 c #Conflicts: 1600000 | #Constraints: 33839
2848.92/2855.71 c #Conflicts: 1601000 | #Constraints: 34839
2848.92/2855.71 c #Conflicts: 1602000 | #Constraints: 35839
2848.92/2855.71 c #Conflicts: 1603000 | #Constraints: 36839
2848.92/2855.71 c #Conflicts: 1604000 | #Constraints: 37839
2848.92/2855.71 c #Conflicts: 1605000 | #Constraints: 38839
2848.92/2855.71 c #Conflicts: 1606000 | #Constraints: 39839
2848.92/2855.71 c #Conflicts: 1607000 | #Constraints: 40839
2848.92/2855.71 c #Conflicts: 1608000 | #Constraints: 41839
2848.92/2855.71 c #Conflicts: 1609000 | #Constraints: 42839
2848.92/2855.71 c #Conflicts: 1610000 | #Constraints: 43839
2848.92/2855.71 c #Conflicts: 1611000 | #Constraints: 44839
2848.92/2855.71 c #Conflicts: 1612000 | #Constraints: 45839
2848.92/2855.71 c #Conflicts: 1613000 | #Constraints: 46839
2848.92/2855.71 c #Conflicts: 1614000 | #Constraints: 47839
2848.92/2855.71 c #Conflicts: 1615000 | #Constraints: 48839
2848.92/2855.71 c #Conflicts: 1616000 | #Constraints: 49839
2848.92/2855.71 c INPROCESSING
2848.92/2855.71 c GARBAGE COLLECT
2848.92/2855.71 c #Conflicts: 1617000 | #Constraints: 25641
2848.92/2855.71 c #Conflicts: 1618000 | #Constraints: 26641
2848.92/2855.71 c #Conflicts: 1619000 | #Constraints: 27641
2848.92/2855.71 c #Conflicts: 1620000 | #Constraints: 28641
2848.92/2855.71 c #Conflicts: 1621000 | #Constraints: 29641
2848.92/2855.71 c #Conflicts: 1622000 | #Constraints: 30641
2848.92/2855.71 c #Conflicts: 1623000 | #Constraints: 31641
2848.92/2855.71 c #Conflicts: 1624000 | #Constraints: 32641
2848.92/2855.71 c #Conflicts: 1625000 | #Constraints: 33641
2848.92/2855.71 c #Conflicts: 1626000 | #Constraints: 34641
2848.92/2855.71 c #Conflicts: 1627000 | #Constraints: 35641
2848.92/2855.71 c #Conflicts: 1628000 | #Constraints: 36641
2848.92/2855.71 c #Conflicts: 1629000 | #Constraints: 37641
2848.92/2855.71 c #Conflicts: 1630000 | #Constraints: 38641
2848.92/2855.71 c #Conflicts: 1631000 | #Constraints: 39641
2848.92/2855.71 c #Conflicts: 1632000 | #Constraints: 40641
2848.92/2855.71 c #Conflicts: 1633000 | #Constraints: 41641
2848.92/2855.71 c #Conflicts: 1634000 | #Constraints: 42641
2848.92/2855.71 c #Conflicts: 1635000 | #Constraints: 43641
2848.92/2855.71 c #Conflicts: 1636000 | #Constraints: 44641
2848.92/2855.71 c #Conflicts: 1637000 | #Constraints: 45641
2848.92/2855.71 c #Conflicts: 1638000 | #Constraints: 46641
2848.92/2855.71 c #Conflicts: 1639000 | #Constraints: 47641
2848.92/2855.71 c #Conflicts: 1640000 | #Constraints: 48641
2848.92/2855.71 c #Conflicts: 1641000 | #Constraints: 49641
2848.92/2855.71 c #Conflicts: 1642000 | #Constraints: 50641
2848.92/2855.71 c INPROCESSING
2848.92/2855.71 c GARBAGE COLLECT
2848.92/2855.71 c #Conflicts: 1643000 | #Constraints: 26241
2848.92/2855.71 c #Conflicts: 1644000 | #Constraints: 27241
2848.92/2855.71 c #Conflicts: 1645000 | #Constraints: 28241
2848.92/2855.71 c #Conflicts: 1646000 | #Constraints: 29241
2848.92/2855.71 c #Conflicts: 1647000 | #Constraints: 30241
2848.92/2855.71 c #Conflicts: 1648000 | #Constraints: 31241
2848.92/2855.71 c #Conflicts: 1649000 | #Constraints: 32241
2848.92/2855.71 c #Conflicts: 1650000 | #Constraints: 33241
2848.92/2855.71 c #Conflicts: 1651000 | #Constraints: 34241
2848.92/2855.71 c #Conflicts: 1652000 | #Constraints: 35241
2848.92/2855.71 c #Conflicts: 1653000 | #Constraints: 36241
2848.92/2855.71 c #Conflicts: 1654000 | #Constraints: 37241
2848.92/2855.71 c #Conflicts: 1655000 | #Constraints: 38241
2848.92/2855.71 c #Conflicts: 1656000 | #Constraints: 39241
2848.92/2855.71 c #Conflicts: 1657000 | #Constraints: 40241
2848.92/2855.71 c #Conflicts: 1658000 | #Constraints: 41241
2848.92/2855.71 c #Conflicts: 1659000 | #Constraints: 42241
2848.92/2855.71 c #Conflicts: 1660000 | #Constraints: 43241
2848.92/2855.71 c #Conflicts: 1661000 | #Constraints: 44241
2848.92/2855.71 c #Conflicts: 1662000 | #Constraints: 45241
2848.92/2855.71 c #Conflicts: 1663000 | #Constraints: 46241
2848.92/2855.71 c #Conflicts: 1664000 | #Constraints: 47241
2848.92/2855.71 c #Conflicts: 1665000 | #Constraints: 48241
2848.92/2855.71 c #Conflicts: 1666000 | #Constraints: 49241
2848.92/2855.71 c #Conflicts: 1667000 | #Constraints: 50241
2848.92/2855.71 c #Conflicts: 1668000 | #Constraints: 51241
2848.92/2855.71 c INPROCESSING
2848.92/2855.71 c GARBAGE COLLECT
2848.92/2855.71 c #Conflicts: 1669000 | #Constraints: 26636
2848.92/2855.71 c #Conflicts: 1670000 | #Constraints: 27636
3062.72/3070.08 c #Conflicts: 1671000 | #Constraints: 28636
3062.72/3070.08 c #Conflicts: 1672000 | #Constraints: 29636
3062.72/3070.08 c #Conflicts: 1673000 | #Constraints: 30636
3062.72/3070.08 c #Conflicts: 1674000 | #Constraints: 31636
3062.72/3070.08 c #Conflicts: 1675000 | #Constraints: 32636
3062.72/3070.08 c #Conflicts: 1676000 | #Constraints: 33636
3062.72/3070.08 c #Conflicts: 1677000 | #Constraints: 34636
3062.72/3070.08 c #Conflicts: 1678000 | #Constraints: 35636
3062.72/3070.08 c #Conflicts: 1679000 | #Constraints: 36636
3062.72/3070.08 c #Conflicts: 1680000 | #Constraints: 37636
3062.72/3070.08 c #Conflicts: 1681000 | #Constraints: 38636
3062.72/3070.08 c #Conflicts: 1682000 | #Constraints: 39636
3062.72/3070.08 c #Conflicts: 1683000 | #Constraints: 40636
3062.72/3070.08 c #Conflicts: 1684000 | #Constraints: 41636
3062.72/3070.08 c #Conflicts: 1685000 | #Constraints: 42636
3062.72/3070.08 c #Conflicts: 1686000 | #Constraints: 43636
3062.72/3070.08 c #Conflicts: 1687000 | #Constraints: 44636
3062.72/3070.08 c #Conflicts: 1688000 | #Constraints: 45636
3062.72/3070.08 c #Conflicts: 1689000 | #Constraints: 46636
3062.72/3070.08 c #Conflicts: 1690000 | #Constraints: 47636
3062.72/3070.08 c #Conflicts: 1691000 | #Constraints: 48636
3062.72/3070.08 c #Conflicts: 1692000 | #Constraints: 49636
3062.72/3070.08 c #Conflicts: 1693000 | #Constraints: 50636
3062.72/3070.08 c #Conflicts: 1694000 | #Constraints: 51636
3062.72/3070.08 c INPROCESSING
3062.72/3070.08 c GARBAGE COLLECT
3062.72/3070.08 c #Conflicts: 1695000 | #Constraints: 26837
3062.72/3070.08 c #Conflicts: 1696000 | #Constraints: 27837
3062.72/3070.08 c #Conflicts: 1697000 | #Constraints: 28837
3062.72/3070.08 c #Conflicts: 1698000 | #Constraints: 29837
3062.72/3070.08 c #Conflicts: 1699000 | #Constraints: 30837
3062.72/3070.08 c #Conflicts: 1700000 | #Constraints: 31837
3062.72/3070.08 c #Conflicts: 1701000 | #Constraints: 32837
3062.72/3070.08 c #Conflicts: 1702000 | #Constraints: 33837
3062.72/3070.08 c #Conflicts: 1703000 | #Constraints: 34837
3062.72/3070.08 c #Conflicts: 1704000 | #Constraints: 35837
3062.72/3070.08 c #Conflicts: 1705000 | #Constraints: 36837
3062.72/3070.08 c #Conflicts: 1706000 | #Constraints: 37837
3062.72/3070.08 c #Conflicts: 1707000 | #Constraints: 38837
3062.72/3070.08 c #Conflicts: 1708000 | #Constraints: 39837
3062.72/3070.08 c #Conflicts: 1709000 | #Constraints: 40837
3062.72/3070.08 c #Conflicts: 1710000 | #Constraints: 41837
3062.72/3070.08 c #Conflicts: 1711000 | #Constraints: 42837
3062.72/3070.08 c #Conflicts: 1712000 | #Constraints: 43837
3062.72/3070.08 c #Conflicts: 1713000 | #Constraints: 44837
3062.72/3070.08 c #Conflicts: 1714000 | #Constraints: 45837
3062.72/3070.08 c #Conflicts: 1715000 | #Constraints: 46837
3062.72/3070.08 c #Conflicts: 1716000 | #Constraints: 47837
3062.72/3070.08 c #Conflicts: 1717000 | #Constraints: 48837
3062.72/3070.08 c #Conflicts: 1718000 | #Constraints: 49837
3062.72/3070.08 c #Conflicts: 1719000 | #Constraints: 50837
3062.72/3070.08 c #Conflicts: 1720000 | #Constraints: 51837
3062.72/3070.08 c INPROCESSING
3062.72/3070.08 c GARBAGE COLLECT
3062.72/3070.08 c #Conflicts: 1721000 | #Constraints: 26838
3062.72/3070.08 c #Conflicts: 1722000 | #Constraints: 27838
3062.72/3070.08 c #Conflicts: 1723000 | #Constraints: 28838
3062.72/3070.08 c #Conflicts: 1724000 | #Constraints: 29838
3062.72/3070.08 c #Conflicts: 1725000 | #Constraints: 30838
3062.72/3070.08 c #Conflicts: 1726000 | #Constraints: 31838
3062.72/3070.08 c #Conflicts: 1727000 | #Constraints: 32838
3062.72/3070.08 c #Conflicts: 1728000 | #Constraints: 33838
3062.72/3070.08 c #Conflicts: 1729000 | #Constraints: 34838
3062.72/3070.08 c #Conflicts: 1730000 | #Constraints: 35838
3062.72/3070.08 c #Conflicts: 1731000 | #Constraints: 36838
3062.72/3070.08 c #Conflicts: 1732000 | #Constraints: 37838
3062.72/3070.08 c #Conflicts: 1733000 | #Constraints: 38838
3062.72/3070.08 c #Conflicts: 1734000 | #Constraints: 39838
3062.72/3070.08 c #Conflicts: 1735000 | #Constraints: 40838
3062.72/3070.08 c #Conflicts: 1736000 | #Constraints: 41838
3062.72/3070.08 c #Conflicts: 1737000 | #Constraints: 42838
3062.72/3070.08 c #Conflicts: 1738000 | #Constraints: 43838
3062.72/3070.08 c #Conflicts: 1739000 | #Constraints: 44838
3062.72/3070.08 c #Conflicts: 1740000 | #Constraints: 45838
3062.72/3070.08 c #Conflicts: 1741000 | #Constraints: 46838
3062.72/3070.08 c #Conflicts: 1742000 | #Constraints: 47838
3062.72/3070.08 c #Conflicts: 1743000 | #Constraints: 48838
3062.72/3070.08 c #Conflicts: 1744000 | #Constraints: 49838
3062.72/3070.08 c #Conflicts: 1745000 | #Constraints: 50838
3062.72/3070.08 c #Conflicts: 1746000 | #Constraints: 51838
3062.72/3070.08 c INPROCESSING
3062.72/3070.08 c GARBAGE COLLECT
3062.72/3070.08 c #Conflicts: 1747000 | #Constraints: 26635
3281.99/3289.86 c #Conflicts: 1748000 | #Constraints: 27635
3281.99/3289.86 c #Conflicts: 1749000 | #Constraints: 28635
3281.99/3289.86 c #Conflicts: 1750000 | #Constraints: 29635
3281.99/3289.86 c #Conflicts: 1751000 | #Constraints: 30635
3281.99/3289.86 c #Conflicts: 1752000 | #Constraints: 31635
3281.99/3289.86 c #Conflicts: 1753000 | #Constraints: 32635
3281.99/3289.86 c #Conflicts: 1754000 | #Constraints: 33635
3281.99/3289.86 c #Conflicts: 1755000 | #Constraints: 34635
3281.99/3289.86 c #Conflicts: 1756000 | #Constraints: 35635
3281.99/3289.86 c #Conflicts: 1757000 | #Constraints: 36635
3281.99/3289.86 c #Conflicts: 1758000 | #Constraints: 37635
3281.99/3289.86 c #Conflicts: 1759000 | #Constraints: 38635
3281.99/3289.86 c #Conflicts: 1760000 | #Constraints: 39635
3281.99/3289.86 c #Conflicts: 1761000 | #Constraints: 40635
3281.99/3289.86 c #Conflicts: 1762000 | #Constraints: 41635
3281.99/3289.86 c #Conflicts: 1763000 | #Constraints: 42635
3281.99/3289.86 c #Conflicts: 1764000 | #Constraints: 43635
3281.99/3289.86 c #Conflicts: 1765000 | #Constraints: 44635
3281.99/3289.86 c #Conflicts: 1766000 | #Constraints: 45635
3281.99/3289.86 c #Conflicts: 1767000 | #Constraints: 46635
3281.99/3289.86 c #Conflicts: 1768000 | #Constraints: 47635
3281.99/3289.86 c #Conflicts: 1769000 | #Constraints: 48635
3281.99/3289.86 c #Conflicts: 1770000 | #Constraints: 49635
3281.99/3289.86 c #Conflicts: 1771000 | #Constraints: 50635
3281.99/3289.86 c #Conflicts: 1772000 | #Constraints: 51635
3281.99/3289.86 c #Conflicts: 1773000 | #Constraints: 52635
3281.99/3289.86 c INPROCESSING
3281.99/3289.86 c GARBAGE COLLECT
3281.99/3289.86 c #Conflicts: 1774000 | #Constraints: 27234
3281.99/3289.86 c #Conflicts: 1775000 | #Constraints: 28234
3281.99/3289.86 c #Conflicts: 1776000 | #Constraints: 29234
3281.99/3289.86 c #Conflicts: 1777000 | #Constraints: 30234
3281.99/3289.86 c #Conflicts: 1778000 | #Constraints: 31234
3281.99/3289.86 c #Conflicts: 1779000 | #Constraints: 32234
3281.99/3289.86 c #Conflicts: 1780000 | #Constraints: 33234
3281.99/3289.86 c #Conflicts: 1781000 | #Constraints: 34234
3281.99/3289.86 c #Conflicts: 1782000 | #Constraints: 35234
3281.99/3289.86 c #Conflicts: 1783000 | #Constraints: 36234
3281.99/3289.86 c #Conflicts: 1784000 | #Constraints: 37234
3281.99/3289.86 c #Conflicts: 1785000 | #Constraints: 38234
3281.99/3289.86 c #Conflicts: 1786000 | #Constraints: 39234
3281.99/3289.86 c #Conflicts: 1787000 | #Constraints: 40234
3281.99/3289.86 c #Conflicts: 1788000 | #Constraints: 41234
3281.99/3289.86 c #Conflicts: 1789000 | #Constraints: 42234
3281.99/3289.86 c #Conflicts: 1790000 | #Constraints: 43234
3281.99/3289.86 c #Conflicts: 1791000 | #Constraints: 44234
3281.99/3289.86 c #Conflicts: 1792000 | #Constraints: 45234
3281.99/3289.86 c #Conflicts: 1793000 | #Constraints: 46234
3281.99/3289.86 c #Conflicts: 1794000 | #Constraints: 47234
3281.99/3289.86 c #Conflicts: 1795000 | #Constraints: 48234
3281.99/3289.86 c #Conflicts: 1796000 | #Constraints: 49234
3281.99/3289.86 c #Conflicts: 1797000 | #Constraints: 50234
3281.99/3289.86 c #Conflicts: 1798000 | #Constraints: 51234
3281.99/3289.86 c #Conflicts: 1799000 | #Constraints: 52234
3281.99/3289.86 c #Conflicts: 1800000 | #Constraints: 53234
3281.99/3289.86 c INPROCESSING
3281.99/3289.86 c GARBAGE COLLECT
3281.99/3289.86 c #Conflicts: 1801000 | #Constraints: 27635
3281.99/3289.86 c #Conflicts: 1802000 | #Constraints: 28635
3281.99/3289.86 c #Conflicts: 1803000 | #Constraints: 29635
3281.99/3289.86 c #Conflicts: 1804000 | #Constraints: 30635
3281.99/3289.86 c #Conflicts: 1805000 | #Constraints: 31635
3281.99/3289.86 c #Conflicts: 1806000 | #Constraints: 32635
3281.99/3289.86 c #Conflicts: 1807000 | #Constraints: 33635
3281.99/3289.86 c #Conflicts: 1808000 | #Constraints: 34635
3281.99/3289.86 c #Conflicts: 1809000 | #Constraints: 35635
3281.99/3289.86 c #Conflicts: 1810000 | #Constraints: 36635
3281.99/3289.86 c #Conflicts: 1811000 | #Constraints: 37635
3281.99/3289.86 c #Conflicts: 1812000 | #Constraints: 38635
3281.99/3289.86 c #Conflicts: 1813000 | #Constraints: 39635
3281.99/3289.86 c #Conflicts: 1814000 | #Constraints: 40635
3281.99/3289.86 c #Conflicts: 1815000 | #Constraints: 41635
3281.99/3289.86 c #Conflicts: 1816000 | #Constraints: 42635
3281.99/3289.86 c #Conflicts: 1817000 | #Constraints: 43635
3281.99/3289.86 c #Conflicts: 1818000 | #Constraints: 44635
3281.99/3289.86 c #Conflicts: 1819000 | #Constraints: 45635
3281.99/3289.86 c #Conflicts: 1820000 | #Constraints: 46635
3281.99/3289.86 c #Conflicts: 1821000 | #Constraints: 47635
3281.99/3289.86 c #Conflicts: 1822000 | #Constraints: 48635
3281.99/3289.86 c #Conflicts: 1823000 | #Constraints: 49635
3281.99/3289.86 c #Conflicts: 1824000 | #Constraints: 50635
3281.99/3289.86 c #Conflicts: 1825000 | #Constraints: 51635
3505.46/3513.80 c #Conflicts: 1826000 | #Constraints: 52635
3505.46/3513.80 c #Conflicts: 1827000 | #Constraints: 53635
3505.46/3513.80 c INPROCESSING
3505.46/3513.80 c GARBAGE COLLECT
3505.46/3513.80 c #Conflicts: 1828000 | #Constraints: 27841
3505.46/3513.80 c #Conflicts: 1829000 | #Constraints: 28841
3505.46/3513.80 c #Conflicts: 1830000 | #Constraints: 29841
3505.46/3513.80 c #Conflicts: 1831000 | #Constraints: 30841
3505.46/3513.80 c #Conflicts: 1832000 | #Constraints: 31841
3505.46/3513.80 c #Conflicts: 1833000 | #Constraints: 32841
3505.46/3513.80 c #Conflicts: 1834000 | #Constraints: 33841
3505.46/3513.80 c #Conflicts: 1835000 | #Constraints: 34841
3505.46/3513.80 c #Conflicts: 1836000 | #Constraints: 35841
3505.46/3513.80 c #Conflicts: 1837000 | #Constraints: 36841
3505.46/3513.80 c #Conflicts: 1838000 | #Constraints: 37841
3505.46/3513.80 c #Conflicts: 1839000 | #Constraints: 38841
3505.46/3513.80 c #Conflicts: 1840000 | #Constraints: 39841
3505.46/3513.80 c #Conflicts: 1841000 | #Constraints: 40841
3505.46/3513.80 c #Conflicts: 1842000 | #Constraints: 41841
3505.46/3513.80 c #Conflicts: 1843000 | #Constraints: 42841
3505.46/3513.80 c #Conflicts: 1844000 | #Constraints: 43841
3505.46/3513.80 c #Conflicts: 1845000 | #Constraints: 44841
3505.46/3513.80 c #Conflicts: 1846000 | #Constraints: 45841
3505.46/3513.80 c #Conflicts: 1847000 | #Constraints: 46841
3505.46/3513.80 c #Conflicts: 1848000 | #Constraints: 47841
3505.46/3513.80 c #Conflicts: 1849000 | #Constraints: 48841
3505.46/3513.80 c #Conflicts: 1850000 | #Constraints: 49841
3505.46/3513.80 c #Conflicts: 1851000 | #Constraints: 50841
3505.46/3513.80 c #Conflicts: 1852000 | #Constraints: 51841
3505.46/3513.80 c #Conflicts: 1853000 | #Constraints: 52841
3505.46/3513.80 c #Conflicts: 1854000 | #Constraints: 53841
3505.46/3513.80 c INPROCESSING
3505.46/3513.80 c GARBAGE COLLECT
3505.46/3513.80 c #Conflicts: 1855000 | #Constraints: 27837
3505.46/3513.80 c #Conflicts: 1856000 | #Constraints: 28837
3505.46/3513.80 c #Conflicts: 1857000 | #Constraints: 29837
3505.46/3513.80 c #Conflicts: 1858000 | #Constraints: 30837
3505.46/3513.80 c #Conflicts: 1859000 | #Constraints: 31837
3505.46/3513.80 c #Conflicts: 1860000 | #Constraints: 32837
3505.46/3513.80 c #Conflicts: 1861000 | #Constraints: 33837
3505.46/3513.80 c #Conflicts: 1862000 | #Constraints: 34837
3505.46/3513.80 c #Conflicts: 1863000 | #Constraints: 35837
3505.46/3513.80 c #Conflicts: 1864000 | #Constraints: 36837
3505.46/3513.80 c #Conflicts: 1865000 | #Constraints: 37837
3505.46/3513.80 c #Conflicts: 1866000 | #Constraints: 38837
3505.46/3513.80 c #Conflicts: 1867000 | #Constraints: 39837
3505.46/3513.80 c #Conflicts: 1868000 | #Constraints: 40837
3505.46/3513.80 c #Conflicts: 1869000 | #Constraints: 41837
3505.46/3513.80 c #Conflicts: 1870000 | #Constraints: 42837
3505.46/3513.80 c #Conflicts: 1871000 | #Constraints: 43837
3505.46/3513.80 c #Conflicts: 1872000 | #Constraints: 44837
3505.46/3513.80 c #Conflicts: 1873000 | #Constraints: 45837
3505.46/3513.80 c #Conflicts: 1874000 | #Constraints: 46837
3505.46/3513.80 c #Conflicts: 1875000 | #Constraints: 47837
3505.46/3513.80 c #Conflicts: 1876000 | #Constraints: 48837
3505.46/3513.80 c #Conflicts: 1877000 | #Constraints: 49837
3505.46/3513.80 c #Conflicts: 1878000 | #Constraints: 50837
3505.46/3513.80 c #Conflicts: 1879000 | #Constraints: 51837
3505.46/3513.80 c #Conflicts: 1880000 | #Constraints: 52837
3505.46/3513.80 c #Conflicts: 1881000 | #Constraints: 53837
3505.46/3513.80 c INPROCESSING
3505.46/3513.80 c GARBAGE COLLECT
3505.46/3513.80 c #Conflicts: 1882000 | #Constraints: 27637
3505.46/3513.80 c #Conflicts: 1883000 | #Constraints: 28637
3505.46/3513.80 c #Conflicts: 1884000 | #Constraints: 29637
3505.46/3513.80 c #Conflicts: 1885000 | #Constraints: 30637
3505.46/3513.80 c #Conflicts: 1886000 | #Constraints: 31637
3505.46/3513.80 c #Conflicts: 1887000 | #Constraints: 32637
3505.46/3513.80 c #Conflicts: 1888000 | #Constraints: 33637
3505.46/3513.80 c #Conflicts: 1889000 | #Constraints: 34637
3505.46/3513.80 c #Conflicts: 1890000 | #Constraints: 35637
3505.46/3513.80 c #Conflicts: 1891000 | #Constraints: 36637
3505.46/3513.80 c #Conflicts: 1892000 | #Constraints: 37637
3505.46/3513.80 c #Conflicts: 1893000 | #Constraints: 38637
3505.46/3513.80 c #Conflicts: 1894000 | #Constraints: 39637
3505.46/3513.80 c #Conflicts: 1895000 | #Constraints: 40637
3505.46/3513.80 c #Conflicts: 1896000 | #Constraints: 41637
3505.46/3513.80 c #Conflicts: 1897000 | #Constraints: 42637
3505.46/3513.80 c #Conflicts: 1898000 | #Constraints: 43637
3505.46/3513.80 c #Conflicts: 1899000 | #Constraints: 44637
3505.46/3513.80 c #Conflicts: 1900000 | #Constraints: 45637
3505.46/3513.80 c #Conflicts: 1901000 | #Constraints: 46637
3505.46/3513.80 c #Conflicts: 1902000 | #Constraints: 47637
3600.00/3608.60 c #Conflicts: 1903000 | #Constraints: 48637
3600.00/3608.60 c #Conflicts: 1904000 | #Constraints: 49637
3600.00/3608.60 c #Conflicts: 1905000 | #Constraints: 50637
3600.00/3608.60 c #Conflicts: 1906000 | #Constraints: 51637
3600.00/3608.60 c #Conflicts: 1907000 | #Constraints: 52637
3600.00/3608.60 c #Conflicts: 1908000 | #Constraints: 53637
3600.00/3608.60 c #Conflicts: 1909000 | #Constraints: 54637
3600.00/3608.60 c INPROCESSING
3600.00/3608.60 c GARBAGE COLLECT
3600.00/3608.60 c #Conflicts: 1910000 | #Constraints: 28237
3600.00/3608.60 c #Conflicts: 1911000 | #Constraints: 29237
3600.00/3608.60 c #Conflicts: 1912000 | #Constraints: 30237
3600.00/3608.60 c #Conflicts: 1913000 | #Constraints: 31237
3600.00/3608.60 c #Conflicts: 1914000 | #Constraints: 32237
3600.00/3608.60 c #Conflicts: 1915000 | #Constraints: 33237
3600.00/3608.60 c #Conflicts: 1916000 | #Constraints: 34237
3600.00/3608.60 c #Conflicts: 1917000 | #Constraints: 35237
3600.00/3608.60 c #Conflicts: 1918000 | #Constraints: 36237
3600.00/3608.60 c #Conflicts: 1919000 | #Constraints: 37237
3600.00/3608.60 c #Conflicts: 1920000 | #Constraints: 38237
3600.00/3608.60 c #Conflicts: 1921000 | #Constraints: 39237
3600.00/3608.60 c #Conflicts: 1922000 | #Constraints: 40237
3600.00/3608.60 c #Conflicts: 1923000 | #Constraints: 41237
3600.00/3608.60 c #Conflicts: 1924000 | #Constraints: 42237
3600.00/3608.60 c #Conflicts: 1925000 | #Constraints: 43237
3600.00/3608.60 c #Conflicts: 1926000 | #Constraints: 44237
3600.00/3608.60 c #Conflicts: 1927000 | #Constraints: 45237
3600.00/3608.60 c #Conflicts: 1928000 | #Constraints: 46237
3600.00/3608.60 c #Conflicts: 1929000 | #Constraints: 47237
3600.00/3608.60 c #Conflicts: 1930000 | #Constraints: 48237
3600.00/3608.60 c #Conflicts: 1931000 | #Constraints: 49237
3600.00/3608.60 c #Conflicts: 1932000 | #Constraints: 50237
3600.00/3608.60 c #Conflicts: 1933000 | #Constraints: 51237
3600.00/3608.60 c Program interrupted by user.
3600.00/3608.60 c cpu time 3591.32 s
3600.00/3608.60 c deterministic time 596944683530 5.97e+11
3600.00/3608.60 c optimization time 71.617 s
3600.00/3608.60 c total solve time 3519.7 s
3600.00/3608.60 c core-guided solve time 3519.7 s
3600.00/3608.60 c propagation time 3462.07 s
3600.00/3608.60 c conflict analysis time 113.549 s
3600.00/3608.60 c propagations 24822241
3600.00/3608.60 c resolve steps 8914427
3600.00/3608.60 c decisions 4251501
3600.00/3608.60 c conflicts 1933130
3600.00/3608.60 c restarts 3770
3600.00/3608.60 c inprocessing phases 129
3600.00/3608.60 c input clauses 0
3600.00/3608.60 c input cardinalities 0
3600.00/3608.60 c input general constraints 20
3600.00/3608.60 c input average constraint length 92.50
3600.00/3608.60 c input average constraint degree 2196.30
3600.00/3608.60 c learned clauses 839054
3600.00/3608.60 c learned cardinalities 0
3600.00/3608.60 c learned general constraints 1094075
3600.00/3608.60 c learned average constraint length 92.98
3600.00/3608.60 c learned average constraint degree 175467.95
3600.00/3608.60 c watched constraints 1094011
3600.00/3608.60 c counting constraints 84
3600.00/3608.60 c gcd simplifications 736984
3600.00/3608.60 c detected cardinalities 0
3600.00/3608.60 c weakened non-implied lits 29944218
3600.00/3608.60 c weakened non-implying lits 2370847
3600.00/3608.60 c original variables 198
3600.00/3608.60 c clausal propagations 430119
3600.00/3608.60 c cardinality propagations 0
3600.00/3608.60 c watched propagations 21427416
3600.00/3608.60 c counting propagations 1666674
3600.00/3608.60 c watch lookups 24769286129
3600.00/3608.60 c watch backjump lookups 6985955915
3600.00/3608.60 c watch checks 502926376922
3600.00/3608.60 c propagation checks 61205701517
3600.00/3608.60 c constraint additions 997282602
3600.00/3608.60 c trail pops 31006702
3600.00/3608.60 c formula constraints 16
3600.00/3608.60 c learned constraints 1933129
3600.00/3608.60 c bound constraints 4
3600.00/3608.60 c core-guided constraints 0
3600.00/3608.60 c encountered formula constraints 2310779
3600.00/3608.60 c encountered learned constraints 8536778
3600.00/3608.60 c encountered bound constraints 0
3600.00/3608.60 c encountered core-guided constraints 0
3600.00/3608.60 c LP total time 0 s
3600.00/3608.60 c LP solve time 0 s
3600.00/3608.60 c LP constraints added 0
3600.00/3608.60 c LP constraints removed 0
3600.00/3608.60 c LP pivots internal 0
3600.00/3608.60 c LP pivots root 0
3600.00/3608.60 c LP calls 0
3600.00/3608.60 c LP optimalities 0
3600.00/3608.60 c LP no pivot count 0
3600.00/3608.60 c LP infeasibilities 0
3600.00/3608.60 c LP valid Farkas constraints 0
3600.00/3608.60 c LP learned Farkas constraints 0
3600.00/3608.60 c LP basis resets 0
3600.00/3608.60 c LP cycling count 0
3600.00/3608.60 c LP singular count 0
3600.00/3608.60 c LP no primal count 0
3600.00/3608.60 c LP no farkas count 0
3600.00/3608.60 c LP other issue count 0
3600.00/3608.60 c LP Gomory cuts 0
3600.00/3608.60 c LP learned cuts 0
3600.00/3608.60 c LP deleted cuts 0
3600.00/3608.60 c LP encountered Gomory constraints 0
3600.00/3608.60 c LP encountered Farkas constraints 0
3600.00/3608.60 c LP encountered learned Farkas constraints 0
3600.00/3608.60 c CG auxiliary variables introduced 0
3600.00/3608.60 c CG solutions found 4
3600.00/3608.60 c CG cores constructed 0
3600.00/3608.60 c CG core cardinality constraints returned 0
3600.00/3608.60 c CG unit cores 0
3600.00/3608.60 c CG single cores 0
3600.00/3608.60 c CG blocks removed during cardinality reduction 0
3600.00/3608.60 c CG first core best 0
3600.00/3608.60 c CG decision core best 0
3600.00/3608.60 c CG core reduction tie 0
3600.00/3608.60 c CG core degree average 0.00
3600.00/3608.60 c CG core slack average 0.00
3600.00/3608.60 c CG exhausted 0
3600.00/3608.60 c CG exhaust time 0 s
3600.00/3608.60 c CG trimmed 0
3600.00/3608.60 c CG trim time 0 s
3600.00/3608.60 c CG minimized 0
3600.00/3608.60 c CG minimize time 0 s
3600.00/3608.60 c CG am1 prop time 0.00046 s
3600.00/3608.60 c CG # am1s reformulated 0
3600.00/3608.60 c CG lower bound derived from am1s 0
3600.00/3608.60 c CG # clausal cores 0
3600.00/3608.60 c CG # cardinality cores 0
3600.00/3608.60 c CG # pb cores 0
3600.00/3608.60 c CG # pb reforms 0
3600.00/3608.60 c CG # cores discarded because of pb reform 0
3600.00/3608.60 d LOWERBOUND 0
3600.00/3608.60 d NCORES 0
3600.00/3608.60 d NPBCORES 0
3600.00/3608.60 d NPBREFORM 0
3600.00/3608.60 d NTRIMMED 0
3600.00/3608.60 d NEXHAUSTED 0
3600.00/3608.60 d NAM1S 0
3600.00/3608.60 d AM1LB 0
3600.00/3608.60 o 55
3600.00/3608.60 s SATISFIABLE
3600.00/3608.60 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: 64059 MiB (63158 MiB free)
memory of node 1: 64510 MiB (63537 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435908-1721103893/watcher-4435908-1721103893 -o /tmp/evaluation-result-4435908-1721103893/solver-4435908-1721103893 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721103905-828396 --watchdog 3760 pb-oll-rs HOME/instance-4435908-1721103893.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Current StackSize limit: 8192 KiB
solver pid=828545, runsolver pid=828536
[startup+0.101061 s]*
/proc/loadavg: 1.23 1.54 2.36 9/247 828595
/proc/meminfo: memFree=129731672/131655788 swapFree=131071996/131071996
[pid=828545] ppid=828536 vsize=38924 memory=8108 CPUtime=0.1 cores=4,6
/proc/828545/stat : 828545 (pb-oll-rs) R 828536 828545 828344 0 -1 4194304 322 0 0 0 10 0 0 0 20 0 1 0 162545712 39858176 2027 134679101440 4194304 5384005 140725383320512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11886592 140725383324695 140725383324772 140725383324772 140725383331787 0
/proc/828545/statm: 9731 2027 1377 291 0 1265 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38924 KiB
Current children cumulated memory: 8108 KiB
[startup+0.213597 s]*
/proc/loadavg: 1.23 1.54 2.36 7/248 828642
/proc/meminfo: memFree=129728320/131655788 swapFree=131071996/131071996
[pid=828545] ppid=828536 vsize=39056 memory=8108 CPUtime=0.21 cores=4,6
/proc/828545/stat : 828545 (pb-oll-rs) R 828536 828545 828344 0 -1 4194304 357 0 0 0 20 1 0 0 20 0 1 0 162545712 39993344 2027 134679101440 4194304 5384005 140725383320512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11886592 140725383324695 140725383324772 140725383324772 140725383331787 0
/proc/828545/statm: 9764 2027 1377 291 0 1298 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39056 KiB
Current children cumulated memory: 8108 KiB
[startup+0.314105 s]*
/proc/loadavg: 1.23 1.54 2.36 8/248 828691
/proc/meminfo: memFree=129726832/131655788 swapFree=131071996/131071996
[pid=828545] ppid=828536 vsize=39188 memory=8372 CPUtime=0.31 cores=4,6
/proc/828545/stat : 828545 (pb-oll-rs) R 828536 828545 828344 0 -1 4194304 391 0 0 0 30 1 0 0 20 0 1 0 162545712 40128512 2093 134679101440 4194304 5384005 140725383320512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11886592 140725383324695 140725383324772 140725383324772 140725383331787 0
/proc/828545/statm: 9797 2093 1377 291 0 1331 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39188 KiB
Current children cumulated memory: 8372 KiB
[startup+0.70027 s]
/proc/loadavg: 1.23 1.54 2.36 8/249 828778
/proc/meminfo: memFree=129724908/131655788 swapFree=131071996/131071996
[pid=828545] ppid=828536 vsize=39588 memory=8636 CPUtime=0.68 cores=4,6
/proc/828545/stat : 828545 (pb-oll-rs) R 828536 828545 828344 0 -1 4194304 465 0 0 0 66 2 0 0 20 0 1 0 162545712 40538112 2159 134679101440 4194304 5384005 140725383320512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11886592 140725383324695 140725383324772 140725383324772 140725383331787 0
/proc/828545/statm: 9897 2159 1377 291 0 1431 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39588 KiB
Current children cumulated memory: 8636 KiB
[startup+1.50027 s]
/proc/loadavg: 1.23 1.54 2.36 7/246 828802
/proc/meminfo: memFree=129723964/131655788 swapFree=131071996/131071996
[pid=828545] ppid=828536 vsize=40268 memory=11672 CPUtime=1.48 cores=4,6
/proc/828545/stat : 828545 (pb-oll-rs) R 828536 828545 828344 0 -1 4194304 634 0 0 0 144 4 0 0 20 0 1 0 162545712 41234432 2918 134679101440 4194304 5384005 140725383320512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11886592 140725383324695 140725383324772 140725383324772 140725383331787 0
/proc/828545/statm: 10067 2918 1431 291 0 1601 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40268 KiB
Current children cumulated memory: 11672 KiB
[startup+3.11226 s]
/proc/loadavg: 1.45 1.58 2.37 7/246 828802
/proc/meminfo: memFree=129713776/131655788 swapFree=131071996/131071996
[pid=828545] ppid=828536 vsize=41168 memory=12596 CPUtime=3.08 cores=4,6
/proc/828545/stat : 828545 (pb-oll-rs) R 828536 828545 828344 0 -1 4194304 859 0 0 0 302 6 0 0 20 0 1 0 162545712 42156032 3149 134679101440 4194304 5384005 140725383320512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11886592 140725383324695 140725383324772 140725383324772 140725383331787 0
/proc/828545/statm: 10292 3149 1431 291 0 1826 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 41168 KiB
Current children cumulated memory: 12596 KiB
[startup+6.30023 s]
/proc/loadavg: 1.45 1.58 2.37 7/246 828802
/proc/meminfo: memFree=129711328/131655788 swapFree=131071996/131071996
[pid=828545] ppid=828536 vsize=42000 memory=13148 CPUtime=6.27 cores=4,6
/proc/828545/stat : 828545 (pb-oll-rs) R 828536 828545 828344 0 -1 4194304 1044 0 0 0 616 11 0 0 20 0 1 0 162545712 43008000 3287 134679101440 4194304 5384005 140725383320512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11886592 140725383324695 140725383324772 140725383324772 140725383331787 0
/proc/828545/statm: 10500 3287 1431 291 0 2034 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 42000 KiB
Current children cumulated memory: 13148 KiB
[startup+12.7002 s]
/proc/loadavg: 1.66 1.62 2.38 7/246 828804
/proc/meminfo: memFree=129707136/131655788 swapFree=131071996/131071996
[pid=828545] ppid=828536 vsize=45552 memory=14760 CPUtime=12.66 cores=4,6
/proc/828545/stat : 828545 (pb-oll-rs) R 828536 828545 828344 0 -1 4194304 1350 0 0 0 1247 19 0 0 20 0 1 0 162545712 46645248 3690 134679101440 4194304 5384005 140725383320512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11886592 140725383324695 140725383324772 140725383324772 140725383331787 0
/proc/828545/statm: 11388 3690 1431 291 0 2922 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 45552 KiB
Current children cumulated memory: 14760 KiB
[startup+25.5003 s]
/proc/loadavg: 2.26 1.76 2.41 7/246 828805
/proc/meminfo: memFree=129698160/131655788 swapFree=131071996/131071996
[pid=828545] ppid=828536 vsize=47312 memory=18044 CPUtime=25.42 cores=4,6
/proc/828545/stat : 828545 (pb-oll-rs) R 828536 828545 828344 0 -1 4194304 2145 0 0 0 2512 30 0 0 20 0 1 0 162545712 48447488 4511 134679101440 4194304 5384005 140725383320512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11886592 140725383324695 140725383324772 140725383324772 140725383331787 0
/proc/828545/statm: 11828 4511 1431 291 0 3362 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 47312 KiB
Current children cumulated memory: 18044 KiB
[startup+51.113 s]
/proc/loadavg: 2.93 1.95 2.46 7/245 828810
/proc/meminfo: memFree=129690272/131655788 swapFree=131071996/131071996
[pid=828545] ppid=828536 vsize=53140 memory=21112 CPUtime=50.98 cores=4,6
/proc/828545/stat : 828545 (pb-oll-rs) R 828536 828545 828344 0 -1 4194304 2959 0 0 0 5047 51 0 0 20 0 1 0 162545712 54415360 5278 134679101440 4194304 5384005 140725383320512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11886592 140725383324695 140725383324772 140725383324772 140725383331787 0
/proc/828545/statm: 13285 5278 1431 291 0 4819 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 53140 KiB
Current children cumulated memory: 21112 KiB
[startup+102.3 s]
/proc/loadavg: 3.54 2.27 2.54 7/245 828818
/proc/meminfo: memFree=129676412/131655788 swapFree=131071996/131071996
[pid=828545] ppid=828536 vsize=56276 memory=26140 CPUtime=102.04 cores=4,6
/proc/828545/stat : 828545 (pb-oll-rs) R 828536 828545 828344 0 -1 4194304 3776 0 0 0 10116 88 0 0 20 0 1 0 162545712 57626624 6535 134679101440 4194304 5384005 140725383320512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11886592 140725383324695 140725383324772 140725383324772 140725383331787 0
/proc/828545/statm: 14069 6535 1431 291 0 5603 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 56276 KiB
Current children cumulated memory: 26140 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.60 2.64 7/245 828829
/proc/meminfo: memFree=129662948/131655788 swapFree=131071996/131071996
[pid=828545] ppid=828536 vsize=64948 memory=29432 CPUtime=161.88 cores=4,6
/proc/828545/stat : 828545 (pb-oll-rs) R 828536 828545 828344 0 -1 4194304 4660 0 0 0 16064 124 0 0 20 0 1 0 162545712 66506752 7358 134679101440 4194304 5384005 140725383320512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11886592 140725383324695 140725383324772 140725383324772 140725383331787 0
/proc/828545/statm: 16237 7358 1431 291 0 7771 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 64948 KiB
Current children cumulated memory: 29432 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 2.91 2.75 7/246 829008
/proc/meminfo: memFree=129654012/131655788 swapFree=131071996/131071996
[pid=828545] ppid=828536 vsize=65660 memory=33124 CPUtime=221.73 cores=4,6
/proc/828545/stat : 828545 (pb-oll-rs) R 828536 828545 828344 0 -1 4194304 5110 0 0 0 22017 156 0 0 20 0 1 0 162545712 67235840 8281 134679101440 4194304 5384005 140725383320512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11886592 140725383324695 140725383324772 140725383324772 140725383331787 0
/proc/828545/statm: 16415 8281 1431 291 0 7949 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 65660 KiB
Current children cumulated memory: 33124 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.12 2.83 7/246 829018
/proc/meminfo: memFree=129642236/131655788 swapFree=131071996/131071996
[pid=828545] ppid=828536 vsize=65732 memory=35260 CPUtime=281.58 cores=4,6
/proc/828545/stat : 828545 (pb-oll-rs) R 828536 828545 828344 0 -1 4194304 5289 0 0 0 27977 181 0 0 20 0 1 0 162545712 67309568 8815 134679101440 4194304 5384005 140725383320512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11886592 140725383324695 140725383324772 140725383324772 140725383331787 0
/proc/828545/statm: 16433 8815 1431 291 0 7967 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 65732 KiB
Current children cumulated memory: 35260 KiB
[startup+342.3 s]
/proc/loadavg: 4.23 3.33 2.92 7/246 829088
/proc/meminfo: memFree=129637056/131655788 swapFree=131071996/131071996
[pid=828545] ppid=828536 vsize=66764 memory=36092 CPUtime=341.45 cores=4,6
/proc/828545/stat : 828545 (pb-oll-rs) R 828536 828545 828344 0 -1 4194304 5624 0 0 0 33943 202 0 0 20 0 1 0 162545712 68366336 9023 134679101440 4194304 5384005 140725383320512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11886592 140725383324695 140725383324772 140725383324772 140725383331787 0
/proc/828545/statm: 16691 9023 1431 291 0 8225 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 66764 KiB
Current children cumulated memory: 36092 KiB
[startup+402.3 s]
/proc/loadavg: 4.22 3.50 3.01 7/246 829098
/proc/meminfo: memFree=129631708/131655788 swapFree=131071996/131071996
[pid=828545] ppid=828536 vsize=69732 memory=40108 CPUtime=401.3 cores=4,6
/proc/828545/stat : 828545 (pb-oll-rs) R 828536 828545 828344 0 -1 4194304 6266 0 0 0 39910 220 0 0 20 0 1 0 162545712 71405568 10027 134679101440 4194304 5384005 140725383320512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11886592 140725383324695 140725383324772 140725383324772 140725383331787 0
/proc/828545/statm: 17433 10027 1431 291 0 8967 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 69732 KiB
Current children cumulated memory: 40108 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.61 3.08 7/246 829108
/proc/meminfo: memFree=129622712/131655788 swapFree=131071996/131071996
[pid=828545] ppid=828536 vsize=70628 memory=41420 CPUtime=461.16 cores=4,6
/proc/828545/stat : 828545 (pb-oll-rs) R 828536 828545 828344 0 -1 4194304 6556 0 0 0 45874 242 0 0 20 0 1 0 162545712 72323072 10355 134679101440 4194304 5384005 140725383320512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11886592 140725383324695 140725383324772 140725383324772 140725383331787 0
/proc/828545/statm: 17657 10355 1431 291 0 9191 0
################
# More data... #
################
Current children cumulated memory: 66468 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.10 4.05 7/243 830105
/proc/meminfo: memFree=129541868/131655788 swapFree=131071996/131071996
[pid=828545] ppid=828536 vsize=112756 memory=66604 CPUtime=2855.5 cores=4,6
/proc/828545/stat : 828545 (pb-oll-rs) R 828536 828545 828344 0 -1 4194304 13882 0 0 0 284797 753 0 0 20 0 1 0 162545712 115462144 16651 134679101440 4194304 5384005 140725383320512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11886592 140725383324695 140725383324772 140725383324772 140725383331787 0
/proc/828545/statm: 28189 16651 1431 291 0 19723 0
Current children cumulated CPU time: 2855.5 s
Current children cumulated vsize: 112756 KiB
Current children cumulated memory: 66604 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.10 4.05 7/243 830115
/proc/meminfo: memFree=129538664/131655788 swapFree=131071996/131071996
[pid=828545] ppid=828536 vsize=112756 memory=67000 CPUtime=2915.36 cores=4,6
/proc/828545/stat : 828545 (pb-oll-rs) R 828536 828545 828344 0 -1 4194304 13910 0 0 0 290773 763 0 0 20 0 1 0 162545712 115462144 16750 134679101440 4194304 5384005 140725383320512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11886592 140725383324695 140725383324772 140725383324772 140725383331787 0
/proc/828545/statm: 28189 16750 1431 291 0 19723 0
Current children cumulated CPU time: 2915.36 s
Current children cumulated vsize: 112756 KiB
Current children cumulated memory: 67000 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 4.05 7/243 830125
/proc/meminfo: memFree=129536820/131655788 swapFree=131071996/131071996
[pid=828545] ppid=828536 vsize=112756 memory=67004 CPUtime=2975.22 cores=4,6
/proc/828545/stat : 828545 (pb-oll-rs) R 828536 828545 828344 0 -1 4194304 13936 0 0 0 296750 772 0 0 20 0 1 0 162545712 115462144 16751 134679101440 4194304 5384005 140725383320512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11886592 140725383324695 140725383324772 140725383324772 140725383331787 0
/proc/828545/statm: 28189 16751 1431 291 0 19723 0
Current children cumulated CPU time: 2975.22 s
Current children cumulated vsize: 112756 KiB
Current children cumulated memory: 67004 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.10 4.06 7/243 830137
/proc/meminfo: memFree=129536036/131655788 swapFree=131071996/131071996
[pid=828545] ppid=828536 vsize=112756 memory=67004 CPUtime=3035.08 cores=4,6
/proc/828545/stat : 828545 (pb-oll-rs) R 828536 828545 828344 0 -1 4194304 13963 0 0 0 302727 781 0 0 20 0 1 0 162545712 115462144 16751 134679101440 4194304 5384005 140725383320512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11886592 140725383324695 140725383324772 140725383324772 140725383331787 0
/proc/828545/statm: 28189 16751 1431 291 0 19723 0
Current children cumulated CPU time: 3035.08 s
Current children cumulated vsize: 112756 KiB
Current children cumulated memory: 67004 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.11 4.06 7/241 830147
/proc/meminfo: memFree=129533792/131655788 swapFree=131071996/131071996
[pid=828545] ppid=828536 vsize=113012 memory=67108 CPUtime=3094.93 cores=4,6
/proc/828545/stat : 828545 (pb-oll-rs) R 828536 828545 828344 0 -1 4194304 14055 0 0 0 308703 790 0 0 20 0 1 0 162545712 115724288 16777 134679101440 4194304 5384005 140725383320512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11886592 140725383324695 140725383324772 140725383324772 140725383331787 0
/proc/828545/statm: 28253 16777 1431 291 0 19787 0
Current children cumulated CPU time: 3094.93 s
Current children cumulated vsize: 113012 KiB
Current children cumulated memory: 67108 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.09 4.06 7/241 830157
/proc/meminfo: memFree=129532784/131655788 swapFree=131071996/131071996
[pid=828545] ppid=828536 vsize=113012 memory=67264 CPUtime=3154.79 cores=4,6
/proc/828545/stat : 828545 (pb-oll-rs) R 828536 828545 828344 0 -1 4194304 14081 0 0 0 314678 801 0 0 20 0 1 0 162545712 115724288 16816 134679101440 4194304 5384005 140725383320512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11886592 140725383324695 140725383324772 140725383324772 140725383331787 0
/proc/828545/statm: 28253 16816 1431 291 0 19787 0
Current children cumulated CPU time: 3154.79 s
Current children cumulated vsize: 113012 KiB
Current children cumulated memory: 67264 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.09 4.06 7/241 830167
/proc/meminfo: memFree=129531744/131655788 swapFree=131071996/131071996
[pid=828545] ppid=828536 vsize=113268 memory=67304 CPUtime=3214.65 cores=4,6
/proc/828545/stat : 828545 (pb-oll-rs) R 828536 828545 828344 0 -1 4194304 14178 0 0 0 320654 811 0 0 20 0 1 0 162545712 115986432 16826 134679101440 4194304 5384005 140725383320512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11886592 140725383324695 140725383324772 140725383324772 140725383331787 0
/proc/828545/statm: 28317 16826 1431 291 0 19851 0
Current children cumulated CPU time: 3214.65 s
Current children cumulated vsize: 113268 KiB
Current children cumulated memory: 67304 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.06 7/241 830178
/proc/meminfo: memFree=129527548/131655788 swapFree=131071996/131071996
[pid=828545] ppid=828536 vsize=113268 memory=67520 CPUtime=3274.51 cores=4,6
/proc/828545/stat : 828545 (pb-oll-rs) R 828536 828545 828344 0 -1 4194304 14205 0 0 0 326630 821 0 0 20 0 1 0 162545712 115986432 16880 134679101440 4194304 5384005 140725383320512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11886592 140725383324695 140725383324772 140725383324772 140725383331787 0
/proc/828545/statm: 28317 16880 1431 291 0 19851 0
Current children cumulated CPU time: 3274.51 s
Current children cumulated vsize: 113268 KiB
Current children cumulated memory: 67520 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.06 7/243 830192
/proc/meminfo: memFree=129527272/131655788 swapFree=131071996/131071996
[pid=828545] ppid=828536 vsize=113452 memory=67520 CPUtime=3334.36 cores=4,6
/proc/828545/stat : 828545 (pb-oll-rs) R 828536 828545 828344 0 -1 4194304 14249 0 0 0 332606 830 0 0 20 0 1 0 162545712 116174848 16880 134679101440 4194304 5384005 140725383320512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11886592 140725383324695 140725383324772 140725383324772 140725383331787 0
/proc/828545/statm: 28363 16880 1431 291 0 19897 0
Current children cumulated CPU time: 3334.36 s
Current children cumulated vsize: 113452 KiB
Current children cumulated memory: 67520 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.06 7/243 830202
/proc/meminfo: memFree=129523400/131655788 swapFree=131071996/131071996
[pid=828545] ppid=828536 vsize=114292 memory=70180 CPUtime=3394.22 cores=4,6
/proc/828545/stat : 828545 (pb-oll-rs) R 828536 828545 828344 0 -1 4194304 14424 0 0 0 338584 838 0 0 20 0 1 0 162545712 117035008 17545 134679101440 4194304 5384005 140725383320512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11886592 140725383324695 140725383324772 140725383324772 140725383331787 0
/proc/828545/statm: 28573 17545 1431 291 0 20107 0
Current children cumulated CPU time: 3394.22 s
Current children cumulated vsize: 114292 KiB
Current children cumulated memory: 70180 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.06 7/243 830214
/proc/meminfo: memFree=129520464/131655788 swapFree=131071996/131071996
[pid=828545] ppid=828536 vsize=114292 memory=70232 CPUtime=3454.08 cores=4,6
/proc/828545/stat : 828545 (pb-oll-rs) R 828536 828545 828344 0 -1 4194304 14458 0 0 0 344562 846 0 0 20 0 1 0 162545712 117035008 17558 134679101440 4194304 5384005 140725383320512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11886592 140725383324695 140725383324772 140725383324772 140725383331787 0
/proc/828545/statm: 28573 17558 1431 291 0 20107 0
Current children cumulated CPU time: 3454.08 s
Current children cumulated vsize: 114292 KiB
Current children cumulated memory: 70232 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.11 4.07 7/243 830224
/proc/meminfo: memFree=129519408/131655788 swapFree=131071996/131071996
[pid=828545] ppid=828536 vsize=114292 memory=70720 CPUtime=3513.93 cores=4,6
/proc/828545/stat : 828545 (pb-oll-rs) R 828536 828545 828344 0 -1 4194304 14487 0 0 0 350538 855 0 0 20 0 1 0 162545712 117035008 17680 134679101440 4194304 5384005 140725383320512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11886592 140725383324695 140725383324772 140725383324772 140725383331787 0
/proc/828545/statm: 28573 17680 1431 291 0 20107 0
Current children cumulated CPU time: 3513.93 s
Current children cumulated vsize: 114292 KiB
Current children cumulated memory: 70720 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.07 7/243 830234
/proc/meminfo: memFree=129517348/131655788 swapFree=131071996/131071996
[pid=828545] ppid=828536 vsize=114292 memory=70720 CPUtime=3573.77 cores=4,6
/proc/828545/stat : 828545 (pb-oll-rs) R 828536 828545 828344 0 -1 4194304 14514 0 0 0 356513 864 0 0 20 0 1 0 162545712 117035008 17680 134679101440 4194304 5384005 140725383320512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11886592 140725383324695 140725383324772 140725383324772 140725383331787 0
/proc/828545/statm: 28573 17680 1431 291 0 20107 0
Current children cumulated CPU time: 3573.77 s
Current children cumulated vsize: 114292 KiB
Current children cumulated memory: 70720 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.6 s]
/proc/loadavg: 4.06 4.10 4.07 7/243 830239
/proc/meminfo: memFree=129514688/131655788 swapFree=131071996/131071996
[pid=828545] ppid=828536 vsize=114292 memory=70720 CPUtime=3600 cores=4,6
/proc/828545/stat : 828545 (pb-oll-rs) R 828536 828545 828344 0 -1 4194304 14517 0 0 0 359132 868 0 0 20 0 1 0 162545712 117035008 17680 134679101440 4194304 5384005 140725383320512 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 11886592 140725383324695 140725383324772 140725383324772 140725383331787 0
/proc/828545/statm: 28573 17680 1431 291 0 20107 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 114292 KiB
Current children cumulated memory: 70720 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.6 s]
# the end of solver process 828545 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.32 s, system=8.68365 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3608.6
CPU time (s): 3600.01
CPU user time (s): 3591.32
CPU system time (s): 8.68365
CPU usage (%): 99.7618
Max. virtual memory (cumulated for all children) (KiB): 114292
Max. memory (cumulated for all children) (KiB): 70720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.32
system time used= 8.68365
maximum resident set size= 70896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14533
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= 34
involuntary context switches= 2444
# summary of solver processes directly reported to runsolver:
# pid: 828545
# total CPU time (s): 3600.01
# total CPU user time (s): 3591.32
# total CPU system time (s): 8.68365
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7416 second user time and 35.0521 second system time
The end
Begin job on nodeC008 at 2024-07-16 06:25:05
IDJOB=4435908
IDBENCH=147586
IDSOLVER=3067
FILE ID=nodeC008/4435908-1721103893
RUNJOBID= nodeC008-1721103905-828396
SLURM_JOB_ID= 7505622
Free space on /tmp= 723768 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
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-4435908-1721103893/watcher-4435908-1721103893 -o /tmp/evaluation-result-4435908-1721103893/solver-4435908-1721103893 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721103905-828396 --watchdog 3760 pb-oll-rs HOME/instance-4435908-1721103893.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d6e4abba593cb3232b5d1a2a9d687dd6
RANDOM SEED=1547212356
nodeC008.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 : 0xb00001f
cpu MHz : 1197.248
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3355.328
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.246
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.248
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.249
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.253
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.245
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.252
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 129739556 kB
MemAvailable: 129987484 kB
Buffers: 408796 kB
Cached: 682912 kB
SwapCached: 0 kB
Active: 637752 kB
Inactive: 758732 kB
Active(anon): 1384 kB
Inactive(anon): 341092 kB
Active(file): 636368 kB
Inactive(file): 417640 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 7912 kB
Writeback: 0 kB
AnonPages: 304920 kB
Mapped: 104184 kB
Shmem: 37708 kB
KReclaimable: 67904 kB
Slab: 161360 kB
SReclaimable: 67904 kB
SUnreclaim: 93456 kB
KernelStack: 3636 kB
PageTables: 9712 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 688668 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51840 kB
HardwareCorrupted: 0 kB
AnonHugePages: 180224 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: 170824 kB
DirectMap2M: 19656704 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723760 MiB
End job on nodeC008 at 2024-07-16 07:25:14