0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.01 c #variables 473 #constraints 472
0.00/0.01 c objective is ce32
0.00/0.02 c initial watched CF 32, 64, 128, Arb: 3 , 0 , 0 , 0
0.00/0.02 c initial counting CF 32, 64, 128, Arb: 469 , 0 , 0 , 0
0.00/0.02 c GLOBAL bounds - >= 0 @ 0.004126
0.00/0.02 c GLOBAL bounds - >= 0 @ 0.004293
0.08/0.10 c GLOBAL bounds - >= 0 @ 0.085543
0.49/0.51 c #Conflicts: 1000 | #Constraints: 1474
0.49/0.51 c #Conflicts: 2000 | #Constraints: 2474
0.49/0.51 c INPROCESSING
0.49/0.51 c GARBAGE COLLECT
0.49/0.51 c GLOBAL bounds - >= 0 @ 0.482848
0.98/1.03 c #Conflicts: 3000 | #Constraints: 2487
0.98/1.03 c GLOBAL bounds - >= 0 @ 0.983627
1.18/1.27 c #Conflicts: 4000 | #Constraints: 3489
1.18/1.27 c INPROCESSING
1.18/1.27 c GARBAGE COLLECT
1.18/1.27 c GLOBAL bounds - >= 0 @ 1.21017
1.28/1.35 c GLOBAL bounds - >= 0 @ 1.28792
2.08/2.10 c #Conflicts: 5000 | #Constraints: 2903
2.08/2.10 c #Conflicts: 6000 | #Constraints: 3903
2.08/2.10 c INPROCESSING
2.08/2.10 c GARBAGE COLLECT
2.08/2.10 c #Conflicts: 7000 | #Constraints: 2912
2.08/2.10 c GLOBAL bounds - >= 0 @ 2.0244
2.68/2.73 c #Conflicts: 8000 | #Constraints: 3914
2.68/2.73 c GLOBAL bounds - >= 0 @ 2.63102
2.87/2.90 c #Conflicts: 9000 | #Constraints: 4916
2.87/2.90 c INPROCESSING
2.87/2.90 c GARBAGE COLLECT
2.87/2.90 c GLOBAL bounds - >= 0 @ 2.80445
3.66/3.74 c #Conflicts: 10000 | #Constraints: 3622
3.66/3.74 c #Conflicts: 11000 | #Constraints: 4622
3.66/3.74 c GLOBAL bounds - >= 0 @ 3.62225
3.87/3.96 c #Conflicts: 12000 | #Constraints: 5624
3.87/3.96 c INPROCESSING
3.87/3.96 c GARBAGE COLLECT
3.87/3.96 c GLOBAL bounds - >= 0 @ 3.8347
4.27/4.34 c #Conflicts: 13000 | #Constraints: 4081
4.27/4.34 c GLOBAL bounds - >= 0 @ 4.21071
7.26/7.32 c #Conflicts: 14000 | #Constraints: 5083
7.26/7.32 c #Conflicts: 15000 | #Constraints: 6083
7.26/7.32 c INPROCESSING
7.26/7.32 c GARBAGE COLLECT
7.26/7.32 c #Conflicts: 16000 | #Constraints: 4311
7.26/7.32 c #Conflicts: 17000 | #Constraints: 5311
7.26/7.32 c #Conflicts: 18000 | #Constraints: 6311
7.26/7.32 c INPROCESSING
7.26/7.32 c GARBAGE COLLECT
7.26/7.32 c #Conflicts: 19000 | #Constraints: 4327
7.26/7.32 c #Conflicts: 20000 | #Constraints: 5327
7.26/7.32 c GLOBAL bounds - >= 0 @ 7.13387
7.66/7.79 c #Conflicts: 21000 | #Constraints: 6329
7.66/7.79 c INPROCESSING
7.66/7.79 c GARBAGE COLLECT
7.66/7.79 c GLOBAL bounds - >= 0 @ 7.59501
8.25/8.30 c #Conflicts: 22000 | #Constraints: 4132
8.25/8.30 c #Conflicts: 23000 | #Constraints: 5132
8.25/8.30 c GLOBAL bounds - >= 0 @ 8.10284
10.16/10.26 c #Conflicts: 24000 | #Constraints: 6134
10.16/10.26 c #Conflicts: 25000 | #Constraints: 7134
10.16/10.26 c INPROCESSING
10.16/10.26 c GARBAGE COLLECT
10.16/10.26 c #Conflicts: 26000 | #Constraints: 4733
10.16/10.26 c #Conflicts: 27000 | #Constraints: 5733
10.16/10.26 c GLOBAL bounds - >= 0 @ 10.0109
11.15/11.29 c #Conflicts: 28000 | #Constraints: 6735
11.15/11.29 c #Conflicts: 29000 | #Constraints: 7735
11.15/11.29 c INPROCESSING
11.15/11.29 c GARBAGE COLLECT
11.15/11.29 c GLOBAL bounds - >= 0 @ 11.0198
11.35/11.42 c GLOBAL bounds - >= 0 @ 11.1424
11.45/11.54 c GLOBAL bounds - >= 0 @ 11.2631
11.65/11.76 c #Conflicts: 30000 | #Constraints: 5139
11.65/11.76 c GLOBAL bounds - >= 0 @ 11.4763
12.25/12.33 c #Conflicts: 31000 | #Constraints: 6141
12.25/12.33 c GLOBAL bounds - >= 0 @ 12.0344
12.95/13.01 c #Conflicts: 32000 | #Constraints: 7143
12.95/13.01 c GLOBAL bounds - >= 0 @ 12.7057
17.13/17.21 c #Conflicts: 33000 | #Constraints: 8145
17.13/17.21 c INPROCESSING
17.13/17.21 c GARBAGE COLLECT
17.13/17.21 c #Conflicts: 34000 | #Constraints: 5347
17.13/17.21 c #Conflicts: 35000 | #Constraints: 6347
17.13/17.21 c #Conflicts: 36000 | #Constraints: 7347
17.13/17.21 c #Conflicts: 37000 | #Constraints: 8347
17.13/17.21 c INPROCESSING
17.13/17.21 c GARBAGE COLLECT
17.13/17.21 c #Conflicts: 38000 | #Constraints: 5352
17.13/17.21 c #Conflicts: 39000 | #Constraints: 6352
17.13/17.21 c #Conflicts: 40000 | #Constraints: 7352
17.13/17.21 c #Conflicts: 41000 | #Constraints: 8352
17.13/17.21 c INPROCESSING
17.13/17.21 c GARBAGE COLLECT
17.13/17.21 c #Conflicts: 42000 | #Constraints: 5161
17.13/17.21 c GLOBAL bounds - >= 0 @ 16.8306
22.12/22.23 c #Conflicts: 43000 | #Constraints: 6163
22.12/22.23 c #Conflicts: 44000 | #Constraints: 7163
22.12/22.23 c #Conflicts: 45000 | #Constraints: 8163
22.12/22.23 c #Conflicts: 46000 | #Constraints: 9163
22.12/22.23 c INPROCESSING
22.12/22.23 c GARBAGE COLLECT
22.12/22.23 c #Conflicts: 47000 | #Constraints: 5763
22.12/22.23 c #Conflicts: 48000 | #Constraints: 6763
22.12/22.23 c #Conflicts: 49000 | #Constraints: 7763
22.12/22.23 c #Conflicts: 50000 | #Constraints: 8763
22.12/22.23 c #Conflicts: 51000 | #Constraints: 9763
22.12/22.23 c INPROCESSING
22.12/22.23 c GARBAGE COLLECT
22.12/22.23 c #Conflicts: 52000 | #Constraints: 6164
22.12/22.23 c #Conflicts: 53000 | #Constraints: 7164
22.12/22.23 c GLOBAL bounds - >= 0 @ 21.7515
32.68/32.89 c #Conflicts: 54000 | #Constraints: 8166
32.68/32.89 c #Conflicts: 55000 | #Constraints: 9166
32.68/32.89 c #Conflicts: 56000 | #Constraints: 10166
32.68/32.89 c INPROCESSING
32.68/32.89 c GARBAGE COLLECT
32.68/32.89 c #Conflicts: 57000 | #Constraints: 6368
32.68/32.89 c #Conflicts: 58000 | #Constraints: 7368
32.68/32.89 c #Conflicts: 59000 | #Constraints: 8368
32.68/32.89 c #Conflicts: 60000 | #Constraints: 9368
32.68/32.89 c #Conflicts: 61000 | #Constraints: 10368
32.68/32.89 c INPROCESSING
32.68/32.89 c GARBAGE COLLECT
32.68/32.89 c #Conflicts: 62000 | #Constraints: 6357
32.68/32.89 c #Conflicts: 63000 | #Constraints: 7357
32.68/32.89 c #Conflicts: 64000 | #Constraints: 8357
32.68/32.89 c #Conflicts: 65000 | #Constraints: 9357
32.68/32.89 c #Conflicts: 66000 | #Constraints: 10357
32.68/32.89 c INPROCESSING
32.68/32.89 c GARBAGE COLLECT
32.68/32.89 c #Conflicts: 67000 | #Constraints: 6157
32.68/32.89 c #Conflicts: 68000 | #Constraints: 7157
32.68/32.89 c #Conflicts: 69000 | #Constraints: 8157
32.68/32.89 c #Conflicts: 70000 | #Constraints: 9157
32.68/32.89 c #Conflicts: 71000 | #Constraints: 10157
32.68/32.89 c #Conflicts: 72000 | #Constraints: 11157
32.68/32.89 c INPROCESSING
32.68/32.89 c GARBAGE COLLECT
32.68/32.89 c GLOBAL bounds - >= 0 @ 32.2142
56.11/56.36 c #Conflicts: 73000 | #Constraints: 6762
56.11/56.36 c #Conflicts: 74000 | #Constraints: 7762
56.11/56.36 c #Conflicts: 75000 | #Constraints: 8762
56.11/56.36 c #Conflicts: 76000 | #Constraints: 9762
56.11/56.36 c #Conflicts: 77000 | #Constraints: 10762
56.11/56.36 c #Conflicts: 78000 | #Constraints: 11762
56.11/56.36 c INPROCESSING
56.11/56.36 c GARBAGE COLLECT
56.11/56.36 c #Conflicts: 79000 | #Constraints: 7161
56.11/56.36 c #Conflicts: 80000 | #Constraints: 8161
56.11/56.36 c #Conflicts: 81000 | #Constraints: 9161
56.11/56.36 c #Conflicts: 82000 | #Constraints: 10161
56.11/56.36 c #Conflicts: 83000 | #Constraints: 11161
56.11/56.36 c #Conflicts: 84000 | #Constraints: 12161
56.11/56.36 c INPROCESSING
56.11/56.36 c GARBAGE COLLECT
56.11/56.36 c #Conflicts: 85000 | #Constraints: 7362
56.11/56.36 c #Conflicts: 86000 | #Constraints: 8362
56.11/56.36 c #Conflicts: 87000 | #Constraints: 9362
56.11/56.36 c #Conflicts: 88000 | #Constraints: 10362
56.11/56.36 c #Conflicts: 89000 | #Constraints: 11362
56.11/56.36 c #Conflicts: 90000 | #Constraints: 12362
56.11/56.36 c INPROCESSING
56.11/56.36 c GARBAGE COLLECT
56.11/56.36 c #Conflicts: 91000 | #Constraints: 7363
56.11/56.36 c #Conflicts: 92000 | #Constraints: 8363
56.11/56.36 c #Conflicts: 93000 | #Constraints: 9363
56.11/56.36 c #Conflicts: 94000 | #Constraints: 10363
56.11/56.36 c #Conflicts: 95000 | #Constraints: 11363
56.11/56.36 c #Conflicts: 96000 | #Constraints: 12363
56.11/56.36 c INPROCESSING
56.11/56.36 c GARBAGE COLLECT
56.11/56.36 c #Conflicts: 97000 | #Constraints: 7164
56.11/56.36 c #Conflicts: 98000 | #Constraints: 8164
56.11/56.36 c #Conflicts: 99000 | #Constraints: 9164
56.11/56.36 c #Conflicts: 100000 | #Constraints: 10164
56.11/56.36 c #Conflicts: 101000 | #Constraints: 11164
56.11/56.36 c #Conflicts: 102000 | #Constraints: 12164
56.11/56.36 c #Conflicts: 103000 | #Constraints: 13164
56.11/56.36 c INPROCESSING
56.11/56.36 c GARBAGE COLLECT
56.11/56.36 c #Conflicts: 104000 | #Constraints: 7769
56.11/56.36 c #Conflicts: 105000 | #Constraints: 8769
56.11/56.36 c #Conflicts: 106000 | #Constraints: 9769
56.11/56.36 c #Conflicts: 107000 | #Constraints: 10769
56.11/56.36 c #Conflicts: 108000 | #Constraints: 11769
56.11/56.36 c #Conflicts: 109000 | #Constraints: 12769
56.11/56.36 c GLOBAL bounds - >= 0 @ 55.3412
59.10/59.36 c #Conflicts: 110000 | #Constraints: 13771
59.10/59.36 c INPROCESSING
59.10/59.36 c GARBAGE COLLECT
59.10/59.36 c #Conflicts: 111000 | #Constraints: 8177
59.10/59.36 c #Conflicts: 112000 | #Constraints: 9177
59.10/59.36 c #Conflicts: 113000 | #Constraints: 10177
59.10/59.36 c #Conflicts: 114000 | #Constraints: 11177
59.10/59.36 c GLOBAL bounds - >= 0 @ 58.2966
72.96/73.27 c #Conflicts: 115000 | #Constraints: 12179
72.96/73.27 c #Conflicts: 116000 | #Constraints: 13179
72.96/73.27 c #Conflicts: 117000 | #Constraints: 14179
72.96/73.27 c INPROCESSING
72.96/73.27 c GARBAGE COLLECT
72.96/73.27 c #Conflicts: 118000 | #Constraints: 8375
72.96/73.27 c #Conflicts: 119000 | #Constraints: 9375
72.96/73.27 c #Conflicts: 120000 | #Constraints: 10375
72.96/73.27 c #Conflicts: 121000 | #Constraints: 11375
72.96/73.27 c #Conflicts: 122000 | #Constraints: 12375
72.96/73.27 c #Conflicts: 123000 | #Constraints: 13375
72.96/73.27 c #Conflicts: 124000 | #Constraints: 14375
72.96/73.27 c INPROCESSING
72.96/73.27 c GARBAGE COLLECT
72.96/73.27 c #Conflicts: 125000 | #Constraints: 8371
72.96/73.27 c #Conflicts: 126000 | #Constraints: 9371
72.96/73.27 c #Conflicts: 127000 | #Constraints: 10371
72.96/73.27 c #Conflicts: 128000 | #Constraints: 11371
72.96/73.27 c #Conflicts: 129000 | #Constraints: 12371
72.96/73.27 c #Conflicts: 130000 | #Constraints: 13371
72.96/73.27 c #Conflicts: 131000 | #Constraints: 14371
72.96/73.27 c INPROCESSING
72.96/73.27 c GARBAGE COLLECT
72.96/73.27 c GLOBAL bounds - >= 0 @ 72.0151
86.91/87.24 c #Conflicts: 132000 | #Constraints: 8170
86.91/87.24 c #Conflicts: 133000 | #Constraints: 9170
86.91/87.24 c #Conflicts: 134000 | #Constraints: 10170
86.91/87.24 c #Conflicts: 135000 | #Constraints: 11170
86.91/87.24 c #Conflicts: 136000 | #Constraints: 12170
86.91/87.24 c #Conflicts: 137000 | #Constraints: 13170
86.91/87.24 c #Conflicts: 138000 | #Constraints: 14170
86.91/87.24 c #Conflicts: 139000 | #Constraints: 15170
86.91/87.24 c INPROCESSING
86.91/87.24 c GARBAGE COLLECT
86.91/87.24 c #Conflicts: 140000 | #Constraints: 8764
86.91/87.24 c #Conflicts: 141000 | #Constraints: 9764
86.91/87.24 c #Conflicts: 142000 | #Constraints: 10764
86.91/87.24 c #Conflicts: 143000 | #Constraints: 11764
86.91/87.24 c #Conflicts: 144000 | #Constraints: 12764
86.91/87.24 c #Conflicts: 145000 | #Constraints: 13764
86.91/87.24 c #Conflicts: 146000 | #Constraints: 14764
86.91/87.24 c #Conflicts: 147000 | #Constraints: 15764
86.91/87.24 c INPROCESSING
86.91/87.24 c GARBAGE COLLECT
86.91/87.24 c #Conflicts: 148000 | #Constraints: 9165
86.91/87.24 c #Conflicts: 149000 | #Constraints: 10165
86.91/87.24 c #Conflicts: 150000 | #Constraints: 11165
86.91/87.24 c #Conflicts: 151000 | #Constraints: 12165
86.91/87.24 c GLOBAL bounds - >= 0 @ 85.7933
159.00/159.59 c #Conflicts: 152000 | #Constraints: 13167
159.00/159.59 c #Conflicts: 153000 | #Constraints: 14167
159.00/159.59 c #Conflicts: 154000 | #Constraints: 15167
159.00/159.59 c #Conflicts: 155000 | #Constraints: 16167
159.00/159.59 c INPROCESSING
159.00/159.59 c GARBAGE COLLECT
159.00/159.59 c #Conflicts: 156000 | #Constraints: 9366
159.00/159.59 c #Conflicts: 157000 | #Constraints: 10366
159.00/159.59 c #Conflicts: 158000 | #Constraints: 11366
159.00/159.59 c #Conflicts: 159000 | #Constraints: 12366
159.00/159.59 c #Conflicts: 160000 | #Constraints: 13366
159.00/159.59 c #Conflicts: 161000 | #Constraints: 14366
159.00/159.59 c #Conflicts: 162000 | #Constraints: 15366
159.00/159.59 c #Conflicts: 163000 | #Constraints: 16366
159.00/159.59 c INPROCESSING
159.00/159.59 c GARBAGE COLLECT
159.00/159.59 c #Conflicts: 164000 | #Constraints: 9368
159.00/159.59 c #Conflicts: 165000 | #Constraints: 10368
159.00/159.59 c #Conflicts: 166000 | #Constraints: 11368
159.00/159.59 c #Conflicts: 167000 | #Constraints: 12368
159.00/159.59 c #Conflicts: 168000 | #Constraints: 13368
159.00/159.59 c #Conflicts: 169000 | #Constraints: 14368
159.00/159.59 c #Conflicts: 170000 | #Constraints: 15368
159.00/159.59 c #Conflicts: 171000 | #Constraints: 16368
159.00/159.59 c INPROCESSING
159.00/159.59 c GARBAGE COLLECT
159.00/159.59 c #Conflicts: 172000 | #Constraints: 9169
159.00/159.59 c #Conflicts: 173000 | #Constraints: 10169
159.00/159.59 c #Conflicts: 174000 | #Constraints: 11169
159.00/159.59 c #Conflicts: 175000 | #Constraints: 12169
159.00/159.59 c #Conflicts: 176000 | #Constraints: 13169
159.00/159.59 c #Conflicts: 177000 | #Constraints: 14169
159.00/159.59 c #Conflicts: 178000 | #Constraints: 15169
159.00/159.59 c #Conflicts: 179000 | #Constraints: 16169
159.00/159.59 c #Conflicts: 180000 | #Constraints: 17169
159.00/159.59 c INPROCESSING
159.00/159.59 c GARBAGE COLLECT
159.00/159.59 c #Conflicts: 181000 | #Constraints: 9770
159.00/159.59 c #Conflicts: 182000 | #Constraints: 10770
159.00/159.59 c #Conflicts: 183000 | #Constraints: 11770
159.00/159.59 c #Conflicts: 184000 | #Constraints: 12770
159.00/159.59 c #Conflicts: 185000 | #Constraints: 13770
159.00/159.59 c #Conflicts: 186000 | #Constraints: 14770
159.00/159.59 c #Conflicts: 187000 | #Constraints: 15770
159.00/159.59 c #Conflicts: 188000 | #Constraints: 16770
159.00/159.59 c #Conflicts: 189000 | #Constraints: 17770
159.00/159.59 c INPROCESSING
159.00/159.59 c GARBAGE COLLECT
159.00/159.59 c #Conflicts: 190000 | #Constraints: 10174
159.00/159.59 c #Conflicts: 191000 | #Constraints: 11174
159.00/159.59 c #Conflicts: 192000 | #Constraints: 12174
159.00/159.59 c #Conflicts: 193000 | #Constraints: 13174
159.00/159.59 c #Conflicts: 194000 | #Constraints: 14174
159.00/159.59 c #Conflicts: 195000 | #Constraints: 15174
159.00/159.59 c #Conflicts: 196000 | #Constraints: 16174
159.00/159.59 c #Conflicts: 197000 | #Constraints: 17174
159.00/159.59 c #Conflicts: 198000 | #Constraints: 18174
159.00/159.59 c INPROCESSING
159.00/159.59 c GARBAGE COLLECT
159.00/159.59 c #Conflicts: 199000 | #Constraints: 10374
159.00/159.59 c #Conflicts: 200000 | #Constraints: 11374
159.00/159.59 c #Conflicts: 201000 | #Constraints: 12374
159.00/159.59 c #Conflicts: 202000 | #Constraints: 13374
159.00/159.59 c #Conflicts: 203000 | #Constraints: 14374
159.00/159.59 c #Conflicts: 204000 | #Constraints: 15374
159.00/159.59 c #Conflicts: 205000 | #Constraints: 16374
159.00/159.59 c #Conflicts: 206000 | #Constraints: 17374
159.00/159.59 c #Conflicts: 207000 | #Constraints: 18374
159.00/159.59 c INPROCESSING
159.00/159.59 c GARBAGE COLLECT
159.00/159.59 c #Conflicts: 208000 | #Constraints: 10365
159.00/159.59 c #Conflicts: 209000 | #Constraints: 11365
159.00/159.59 c #Conflicts: 210000 | #Constraints: 12365
159.00/159.59 c #Conflicts: 211000 | #Constraints: 13365
159.00/159.59 c #Conflicts: 212000 | #Constraints: 14365
159.00/159.59 c #Conflicts: 213000 | #Constraints: 15365
159.00/159.59 c #Conflicts: 214000 | #Constraints: 16365
159.00/159.59 c #Conflicts: 215000 | #Constraints: 17365
159.00/159.59 c #Conflicts: 216000 | #Constraints: 18365
159.00/159.59 c INPROCESSING
159.00/159.59 c GARBAGE COLLECT
159.00/159.59 c #Conflicts: 217000 | #Constraints: 10169
159.00/159.59 c #Conflicts: 218000 | #Constraints: 11169
159.00/159.59 c #Conflicts: 219000 | #Constraints: 12169
159.00/159.59 c #Conflicts: 220000 | #Constraints: 13169
159.00/159.59 c #Conflicts: 221000 | #Constraints: 14169
159.00/159.59 c #Conflicts: 222000 | #Constraints: 15169
159.00/159.59 c #Conflicts: 223000 | #Constraints: 16169
159.00/159.59 c #Conflicts: 224000 | #Constraints: 17169
159.00/159.59 c #Conflicts: 225000 | #Constraints: 18169
165.28/165.89 c #Conflicts: 226000 | #Constraints: 19169
165.28/165.89 c INPROCESSING
165.28/165.89 c GARBAGE COLLECT
165.28/165.89 c #Conflicts: 227000 | #Constraints: 10774
165.28/165.89 c #Conflicts: 228000 | #Constraints: 11774
165.28/165.89 c #Conflicts: 229000 | #Constraints: 12774
165.28/165.89 c #Conflicts: 230000 | #Constraints: 13774
165.28/165.89 c #Conflicts: 231000 | #Constraints: 14774
165.28/165.89 c #Conflicts: 232000 | #Constraints: 15774
165.28/165.89 c GLOBAL bounds - >= 0 @ 163.564
168.27/168.81 c #Conflicts: 233000 | #Constraints: 16776
168.27/168.81 c #Conflicts: 234000 | #Constraints: 17776
168.27/168.81 c GLOBAL bounds - >= 0 @ 166.45
176.35/177.00 c #Conflicts: 235000 | #Constraints: 18778
176.35/177.00 c #Conflicts: 236000 | #Constraints: 19778
176.35/177.00 c INPROCESSING
176.35/177.00 c GARBAGE COLLECT
176.35/177.00 c #Conflicts: 237000 | #Constraints: 11172
176.35/177.00 c #Conflicts: 238000 | #Constraints: 12172
176.35/177.00 c #Conflicts: 239000 | #Constraints: 13172
176.35/177.00 c #Conflicts: 240000 | #Constraints: 14172
176.35/177.00 c #Conflicts: 241000 | #Constraints: 15172
176.35/177.00 c #Conflicts: 242000 | #Constraints: 16172
176.35/177.00 c GLOBAL bounds - >= 0 @ 174.515
256.42/257.22 c #Conflicts: 243000 | #Constraints: 17174
256.42/257.22 c #Conflicts: 244000 | #Constraints: 18174
256.42/257.22 c #Conflicts: 245000 | #Constraints: 19174
256.42/257.22 c #Conflicts: 246000 | #Constraints: 20174
256.42/257.22 c INPROCESSING
256.42/257.22 c GARBAGE COLLECT
256.42/257.22 c #Conflicts: 247000 | #Constraints: 11368
256.42/257.22 c #Conflicts: 248000 | #Constraints: 12368
256.42/257.22 c #Conflicts: 249000 | #Constraints: 13368
256.42/257.22 c #Conflicts: 250000 | #Constraints: 14368
256.42/257.22 c #Conflicts: 251000 | #Constraints: 15368
256.42/257.22 c #Conflicts: 252000 | #Constraints: 16368
256.42/257.22 c #Conflicts: 253000 | #Constraints: 17368
256.42/257.22 c #Conflicts: 254000 | #Constraints: 18368
256.42/257.22 c #Conflicts: 255000 | #Constraints: 19368
256.42/257.22 c #Conflicts: 256000 | #Constraints: 20368
256.42/257.22 c INPROCESSING
256.42/257.22 c GARBAGE COLLECT
256.42/257.22 c #Conflicts: 257000 | #Constraints: 11372
256.42/257.22 c #Conflicts: 258000 | #Constraints: 12372
256.42/257.22 c #Conflicts: 259000 | #Constraints: 13372
256.42/257.22 c #Conflicts: 260000 | #Constraints: 14372
256.42/257.22 c #Conflicts: 261000 | #Constraints: 15372
256.42/257.22 c #Conflicts: 262000 | #Constraints: 16372
256.42/257.22 c #Conflicts: 263000 | #Constraints: 17372
256.42/257.22 c #Conflicts: 264000 | #Constraints: 18372
256.42/257.22 c #Conflicts: 265000 | #Constraints: 19372
256.42/257.22 c #Conflicts: 266000 | #Constraints: 20372
256.42/257.22 c INPROCESSING
256.42/257.22 c GARBAGE COLLECT
256.42/257.22 c #Conflicts: 267000 | #Constraints: 11174
256.42/257.22 c #Conflicts: 268000 | #Constraints: 12174
256.42/257.22 c #Conflicts: 269000 | #Constraints: 13174
256.42/257.22 c #Conflicts: 270000 | #Constraints: 14174
256.42/257.22 c #Conflicts: 271000 | #Constraints: 15174
256.42/257.22 c #Conflicts: 272000 | #Constraints: 16174
256.42/257.22 c #Conflicts: 273000 | #Constraints: 17174
256.42/257.22 c #Conflicts: 274000 | #Constraints: 18174
256.42/257.22 c #Conflicts: 275000 | #Constraints: 19174
256.42/257.22 c #Conflicts: 276000 | #Constraints: 20174
256.42/257.22 c #Conflicts: 277000 | #Constraints: 21174
256.42/257.22 c INPROCESSING
256.42/257.22 c GARBAGE COLLECT
256.42/257.22 c #Conflicts: 278000 | #Constraints: 11787
256.42/257.22 c #Conflicts: 279000 | #Constraints: 12787
256.42/257.22 c #Conflicts: 280000 | #Constraints: 13787
256.42/257.22 c #Conflicts: 281000 | #Constraints: 14787
256.42/257.22 c #Conflicts: 282000 | #Constraints: 15787
256.42/257.22 c #Conflicts: 283000 | #Constraints: 16787
256.42/257.22 c #Conflicts: 284000 | #Constraints: 17787
256.42/257.22 c #Conflicts: 285000 | #Constraints: 18787
256.42/257.22 c #Conflicts: 286000 | #Constraints: 19787
256.42/257.22 c #Conflicts: 287000 | #Constraints: 20787
256.42/257.22 c #Conflicts: 288000 | #Constraints: 21787
256.42/257.22 c INPROCESSING
256.42/257.22 c GARBAGE COLLECT
256.42/257.22 c #Conflicts: 289000 | #Constraints: 12183
256.42/257.22 c #Conflicts: 290000 | #Constraints: 13183
256.42/257.22 c #Conflicts: 291000 | #Constraints: 14183
256.42/257.22 c #Conflicts: 292000 | #Constraints: 15183
256.42/257.22 c #Conflicts: 293000 | #Constraints: 16183
256.42/257.22 c #Conflicts: 294000 | #Constraints: 17183
256.42/257.22 c #Conflicts: 295000 | #Constraints: 18183
256.42/257.22 c #Conflicts: 296000 | #Constraints: 19183
256.42/257.22 c #Conflicts: 297000 | #Constraints: 20183
256.42/257.22 c #Conflicts: 298000 | #Constraints: 21183
256.42/257.22 c #Conflicts: 299000 | #Constraints: 22183
256.42/257.22 c INPROCESSING
256.42/257.22 c GARBAGE COLLECT
256.42/257.22 c #Conflicts: 300000 | #Constraints: 12384
256.42/257.22 c #Conflicts: 301000 | #Constraints: 13384
256.42/257.22 c #Conflicts: 302000 | #Constraints: 14384
256.42/257.22 c #Conflicts: 303000 | #Constraints: 15384
256.42/257.22 c #Conflicts: 304000 | #Constraints: 16384
256.42/257.22 c #Conflicts: 305000 | #Constraints: 17384
256.42/257.22 c #Conflicts: 306000 | #Constraints: 18384
256.42/257.22 c #Conflicts: 307000 | #Constraints: 19384
256.42/257.22 c #Conflicts: 308000 | #Constraints: 20384
256.42/257.22 c #Conflicts: 309000 | #Constraints: 21384
256.42/257.22 c #Conflicts: 310000 | #Constraints: 22384
256.42/257.22 c INPROCESSING
256.42/257.22 c GARBAGE COLLECT
256.42/257.22 c #Conflicts: 311000 | #Constraints: 12391
256.42/257.22 c #Conflicts: 312000 | #Constraints: 13391
256.42/257.22 c #Conflicts: 313000 | #Constraints: 14391
256.42/257.22 c #Conflicts: 314000 | #Constraints: 15391
256.42/257.22 c #Conflicts: 315000 | #Constraints: 16391
256.42/257.22 c #Conflicts: 316000 | #Constraints: 17391
256.42/257.22 c #Conflicts: 317000 | #Constraints: 18391
336.01/337.06 c #Conflicts: 318000 | #Constraints: 19391
336.01/337.06 c #Conflicts: 319000 | #Constraints: 20391
336.01/337.06 c #Conflicts: 320000 | #Constraints: 21391
336.01/337.06 c #Conflicts: 321000 | #Constraints: 22391
336.01/337.06 c INPROCESSING
336.01/337.06 c GARBAGE COLLECT
336.01/337.06 c #Conflicts: 322000 | #Constraints: 12191
336.01/337.06 c #Conflicts: 323000 | #Constraints: 13191
336.01/337.06 c #Conflicts: 324000 | #Constraints: 14191
336.01/337.06 c #Conflicts: 325000 | #Constraints: 15191
336.01/337.06 c #Conflicts: 326000 | #Constraints: 16191
336.01/337.06 c #Conflicts: 327000 | #Constraints: 17191
336.01/337.06 c #Conflicts: 328000 | #Constraints: 18191
336.01/337.06 c #Conflicts: 329000 | #Constraints: 19191
336.01/337.06 c #Conflicts: 330000 | #Constraints: 20191
336.01/337.06 c #Conflicts: 331000 | #Constraints: 21191
336.01/337.06 c #Conflicts: 332000 | #Constraints: 22191
336.01/337.06 c #Conflicts: 333000 | #Constraints: 23191
336.01/337.06 c INPROCESSING
336.01/337.06 c GARBAGE COLLECT
336.01/337.06 c #Conflicts: 334000 | #Constraints: 12792
336.01/337.06 c #Conflicts: 335000 | #Constraints: 13792
336.01/337.06 c #Conflicts: 336000 | #Constraints: 14792
336.01/337.06 c #Conflicts: 337000 | #Constraints: 15792
336.01/337.06 c #Conflicts: 338000 | #Constraints: 16792
336.01/337.06 c #Conflicts: 339000 | #Constraints: 17792
336.01/337.06 c #Conflicts: 340000 | #Constraints: 18792
336.01/337.06 c #Conflicts: 341000 | #Constraints: 19792
336.01/337.06 c #Conflicts: 342000 | #Constraints: 20792
336.01/337.06 c #Conflicts: 343000 | #Constraints: 21792
336.01/337.06 c #Conflicts: 344000 | #Constraints: 22792
336.01/337.06 c #Conflicts: 345000 | #Constraints: 23792
336.01/337.06 c INPROCESSING
336.01/337.06 c GARBAGE COLLECT
336.01/337.06 c #Conflicts: 346000 | #Constraints: 13191
336.01/337.06 c #Conflicts: 347000 | #Constraints: 14191
336.01/337.06 c #Conflicts: 348000 | #Constraints: 15191
336.01/337.06 c #Conflicts: 349000 | #Constraints: 16191
336.01/337.06 c #Conflicts: 350000 | #Constraints: 17191
336.01/337.06 c #Conflicts: 351000 | #Constraints: 18191
336.01/337.06 c #Conflicts: 352000 | #Constraints: 19191
336.01/337.06 c #Conflicts: 353000 | #Constraints: 20191
336.01/337.06 c #Conflicts: 354000 | #Constraints: 21191
336.01/337.06 c #Conflicts: 355000 | #Constraints: 22191
336.01/337.06 c #Conflicts: 356000 | #Constraints: 23191
336.01/337.06 c #Conflicts: 357000 | #Constraints: 24191
336.01/337.06 c INPROCESSING
336.01/337.06 c GARBAGE COLLECT
336.01/337.06 c #Conflicts: 358000 | #Constraints: 13396
336.01/337.06 c #Conflicts: 359000 | #Constraints: 14396
336.01/337.06 c #Conflicts: 360000 | #Constraints: 15396
336.01/337.06 c #Conflicts: 361000 | #Constraints: 16396
336.01/337.06 c #Conflicts: 362000 | #Constraints: 17396
336.01/337.06 c #Conflicts: 363000 | #Constraints: 18396
336.01/337.06 c #Conflicts: 364000 | #Constraints: 19396
336.01/337.06 c #Conflicts: 365000 | #Constraints: 20396
336.01/337.06 c #Conflicts: 366000 | #Constraints: 21396
336.01/337.06 c #Conflicts: 367000 | #Constraints: 22396
336.01/337.06 c #Conflicts: 368000 | #Constraints: 23396
336.01/337.06 c #Conflicts: 369000 | #Constraints: 24396
336.01/337.06 c INPROCESSING
336.01/337.06 c GARBAGE COLLECT
336.01/337.06 c #Conflicts: 370000 | #Constraints: 13394
336.01/337.06 c #Conflicts: 371000 | #Constraints: 14394
336.01/337.06 c #Conflicts: 372000 | #Constraints: 15394
336.01/337.06 c #Conflicts: 373000 | #Constraints: 16394
336.01/337.06 c #Conflicts: 374000 | #Constraints: 17394
336.01/337.06 c #Conflicts: 375000 | #Constraints: 18394
336.01/337.06 c #Conflicts: 376000 | #Constraints: 19394
336.01/337.06 c #Conflicts: 377000 | #Constraints: 20394
336.01/337.06 c #Conflicts: 378000 | #Constraints: 21394
336.01/337.06 c #Conflicts: 379000 | #Constraints: 22394
336.01/337.06 c #Conflicts: 380000 | #Constraints: 23394
336.01/337.06 c #Conflicts: 381000 | #Constraints: 24394
336.01/337.06 c INPROCESSING
336.01/337.06 c GARBAGE COLLECT
336.01/337.06 c #Conflicts: 382000 | #Constraints: 13199
336.01/337.06 c #Conflicts: 383000 | #Constraints: 14199
336.01/337.06 c #Conflicts: 384000 | #Constraints: 15199
336.01/337.06 c #Conflicts: 385000 | #Constraints: 16199
336.01/337.06 c #Conflicts: 386000 | #Constraints: 17199
336.01/337.06 c #Conflicts: 387000 | #Constraints: 18199
336.01/337.06 c #Conflicts: 388000 | #Constraints: 19199
336.01/337.06 c #Conflicts: 389000 | #Constraints: 20199
336.01/337.06 c #Conflicts: 390000 | #Constraints: 21199
336.01/337.06 c #Conflicts: 391000 | #Constraints: 22199
336.01/337.06 c #Conflicts: 392000 | #Constraints: 23199
380.88/382.02 c #Conflicts: 393000 | #Constraints: 24199
380.88/382.02 c #Conflicts: 394000 | #Constraints: 25199
380.88/382.02 c INPROCESSING
380.88/382.02 c GARBAGE COLLECT
380.88/382.02 c #Conflicts: 395000 | #Constraints: 13790
380.88/382.02 c #Conflicts: 396000 | #Constraints: 14790
380.88/382.02 c #Conflicts: 397000 | #Constraints: 15790
380.88/382.02 c #Conflicts: 398000 | #Constraints: 16790
380.88/382.02 c #Conflicts: 399000 | #Constraints: 17790
380.88/382.02 c #Conflicts: 400000 | #Constraints: 18790
380.88/382.02 c #Conflicts: 401000 | #Constraints: 19790
380.88/382.02 c #Conflicts: 402000 | #Constraints: 20790
380.88/382.02 c #Conflicts: 403000 | #Constraints: 21790
380.88/382.02 c #Conflicts: 404000 | #Constraints: 22790
380.88/382.02 c #Conflicts: 405000 | #Constraints: 23790
380.88/382.02 c #Conflicts: 406000 | #Constraints: 24790
380.88/382.02 c #Conflicts: 407000 | #Constraints: 25790
380.88/382.02 c INPROCESSING
380.88/382.02 c GARBAGE COLLECT
380.88/382.02 c #Conflicts: 408000 | #Constraints: 14192
380.88/382.02 c #Conflicts: 409000 | #Constraints: 15192
380.88/382.02 c #Conflicts: 410000 | #Constraints: 16192
380.88/382.02 c #Conflicts: 411000 | #Constraints: 17192
380.88/382.02 c #Conflicts: 412000 | #Constraints: 18192
380.88/382.02 c #Conflicts: 413000 | #Constraints: 19192
380.88/382.02 c #Conflicts: 414000 | #Constraints: 20192
380.88/382.02 c #Conflicts: 415000 | #Constraints: 21192
380.88/382.02 c #Conflicts: 416000 | #Constraints: 22192
380.88/382.02 c #Conflicts: 417000 | #Constraints: 23192
380.88/382.02 c #Conflicts: 418000 | #Constraints: 24192
380.88/382.02 c #Conflicts: 419000 | #Constraints: 25192
380.88/382.02 c #Conflicts: 420000 | #Constraints: 26192
380.88/382.02 c INPROCESSING
380.88/382.02 c GARBAGE COLLECT
380.88/382.02 c #Conflicts: 421000 | #Constraints: 14394
380.88/382.02 c #Conflicts: 422000 | #Constraints: 15394
380.88/382.02 c #Conflicts: 423000 | #Constraints: 16394
380.88/382.02 c #Conflicts: 424000 | #Constraints: 17394
380.88/382.02 c #Conflicts: 425000 | #Constraints: 18394
380.88/382.02 c #Conflicts: 426000 | #Constraints: 19394
380.88/382.02 c #Conflicts: 427000 | #Constraints: 20394
380.88/382.02 c #Conflicts: 428000 | #Constraints: 21394
380.88/382.02 c #Conflicts: 429000 | #Constraints: 22394
380.88/382.02 c #Conflicts: 430000 | #Constraints: 23394
380.88/382.02 c #Conflicts: 431000 | #Constraints: 24394
380.88/382.02 c #Conflicts: 432000 | #Constraints: 25394
380.88/382.02 c #Conflicts: 433000 | #Constraints: 26394
380.88/382.02 c INPROCESSING
380.88/382.02 c GARBAGE COLLECT
380.88/382.02 c GLOBAL bounds - >= 0 @ 377.504
459.65/461.02 c #Conflicts: 434000 | #Constraints: 14391
459.65/461.02 c #Conflicts: 435000 | #Constraints: 15391
459.65/461.02 c #Conflicts: 436000 | #Constraints: 16391
459.65/461.02 c #Conflicts: 437000 | #Constraints: 17391
459.65/461.02 c #Conflicts: 438000 | #Constraints: 18391
459.65/461.02 c #Conflicts: 439000 | #Constraints: 19391
459.65/461.02 c #Conflicts: 440000 | #Constraints: 20391
459.65/461.02 c #Conflicts: 441000 | #Constraints: 21391
459.65/461.02 c #Conflicts: 442000 | #Constraints: 22391
459.65/461.02 c #Conflicts: 443000 | #Constraints: 23391
459.65/461.02 c #Conflicts: 444000 | #Constraints: 24391
459.65/461.02 c #Conflicts: 445000 | #Constraints: 25391
459.65/461.02 c #Conflicts: 446000 | #Constraints: 26391
459.65/461.02 c INPROCESSING
459.65/461.02 c GARBAGE COLLECT
459.65/461.02 c #Conflicts: 447000 | #Constraints: 14193
459.65/461.02 c #Conflicts: 448000 | #Constraints: 15193
459.65/461.02 c #Conflicts: 449000 | #Constraints: 16193
459.65/461.02 c #Conflicts: 450000 | #Constraints: 17193
459.65/461.02 c #Conflicts: 451000 | #Constraints: 18193
459.65/461.02 c #Conflicts: 452000 | #Constraints: 19193
459.65/461.02 c #Conflicts: 453000 | #Constraints: 20193
459.65/461.02 c #Conflicts: 454000 | #Constraints: 21193
459.65/461.02 c #Conflicts: 455000 | #Constraints: 22193
459.65/461.02 c #Conflicts: 456000 | #Constraints: 23193
459.65/461.02 c #Conflicts: 457000 | #Constraints: 24193
459.65/461.02 c #Conflicts: 458000 | #Constraints: 25193
459.65/461.02 c #Conflicts: 459000 | #Constraints: 26193
459.65/461.02 c #Conflicts: 460000 | #Constraints: 27193
459.65/461.02 c INPROCESSING
459.65/461.02 c GARBAGE COLLECT
459.65/461.02 c #Conflicts: 461000 | #Constraints: 14795
459.65/461.02 c #Conflicts: 462000 | #Constraints: 15795
459.65/461.02 c #Conflicts: 463000 | #Constraints: 16795
459.65/461.02 c #Conflicts: 464000 | #Constraints: 17795
459.65/461.02 c #Conflicts: 465000 | #Constraints: 18795
459.65/461.02 c #Conflicts: 466000 | #Constraints: 19795
459.65/461.02 c #Conflicts: 467000 | #Constraints: 20795
459.65/461.02 c #Conflicts: 468000 | #Constraints: 21795
459.65/461.02 c #Conflicts: 469000 | #Constraints: 22795
459.65/461.02 c #Conflicts: 470000 | #Constraints: 23795
459.65/461.02 c #Conflicts: 471000 | #Constraints: 24795
459.65/461.02 c #Conflicts: 472000 | #Constraints: 25795
459.65/461.02 c #Conflicts: 473000 | #Constraints: 26795
459.65/461.02 c #Conflicts: 474000 | #Constraints: 27795
459.65/461.02 c INPROCESSING
459.65/461.02 c GARBAGE COLLECT
459.65/461.02 c #Conflicts: 475000 | #Constraints: 15192
459.65/461.02 c #Conflicts: 476000 | #Constraints: 16192
459.65/461.02 c #Conflicts: 477000 | #Constraints: 17192
459.65/461.02 c #Conflicts: 478000 | #Constraints: 18192
459.65/461.02 c #Conflicts: 479000 | #Constraints: 19192
459.65/461.02 c #Conflicts: 480000 | #Constraints: 20192
459.65/461.02 c #Conflicts: 481000 | #Constraints: 21192
459.65/461.02 c #Conflicts: 482000 | #Constraints: 22192
459.65/461.02 c #Conflicts: 483000 | #Constraints: 23192
459.65/461.02 c #Conflicts: 484000 | #Constraints: 24192
459.65/461.02 c #Conflicts: 485000 | #Constraints: 25192
459.65/461.02 c #Conflicts: 486000 | #Constraints: 26192
459.65/461.02 c #Conflicts: 487000 | #Constraints: 27192
459.65/461.02 c #Conflicts: 488000 | #Constraints: 28192
459.65/461.02 c INPROCESSING
459.65/461.02 c GARBAGE COLLECT
459.65/461.02 c #Conflicts: 489000 | #Constraints: 15385
459.65/461.02 c #Conflicts: 490000 | #Constraints: 16385
459.65/461.02 c #Conflicts: 491000 | #Constraints: 17385
459.65/461.02 c #Conflicts: 492000 | #Constraints: 18385
459.65/461.02 c #Conflicts: 493000 | #Constraints: 19385
459.65/461.02 c #Conflicts: 494000 | #Constraints: 20385
459.65/461.02 c #Conflicts: 495000 | #Constraints: 21385
459.65/461.02 c #Conflicts: 496000 | #Constraints: 22385
459.65/461.02 c #Conflicts: 497000 | #Constraints: 23385
459.65/461.02 c #Conflicts: 498000 | #Constraints: 24385
459.65/461.02 c #Conflicts: 499000 | #Constraints: 25385
459.65/461.02 c #Conflicts: 500000 | #Constraints: 26385
459.65/461.02 c #Conflicts: 501000 | #Constraints: 27385
459.65/461.02 c #Conflicts: 502000 | #Constraints: 28385
459.65/461.02 c INPROCESSING
459.65/461.02 c GARBAGE COLLECT
459.65/461.02 c #Conflicts: 503000 | #Constraints: 15392
459.65/461.02 c #Conflicts: 504000 | #Constraints: 16392
459.65/461.02 c #Conflicts: 505000 | #Constraints: 17392
459.65/461.02 c #Conflicts: 506000 | #Constraints: 18392
459.65/461.02 c #Conflicts: 507000 | #Constraints: 19392
459.65/461.02 c #Conflicts: 508000 | #Constraints: 20392
459.65/461.02 c #Conflicts: 509000 | #Constraints: 21392
561.56/563.20 c #Conflicts: 510000 | #Constraints: 22392
561.56/563.20 c #Conflicts: 511000 | #Constraints: 23392
561.56/563.20 c #Conflicts: 512000 | #Constraints: 24392
561.56/563.20 c #Conflicts: 513000 | #Constraints: 25392
561.56/563.20 c #Conflicts: 514000 | #Constraints: 26392
561.56/563.20 c #Conflicts: 515000 | #Constraints: 27392
561.56/563.20 c #Conflicts: 516000 | #Constraints: 28392
561.56/563.20 c INPROCESSING
561.56/563.20 c GARBAGE COLLECT
561.56/563.20 c #Conflicts: 517000 | #Constraints: 15189
561.56/563.20 c #Conflicts: 518000 | #Constraints: 16189
561.56/563.20 c #Conflicts: 519000 | #Constraints: 17189
561.56/563.20 c #Conflicts: 520000 | #Constraints: 18189
561.56/563.20 c #Conflicts: 521000 | #Constraints: 19189
561.56/563.20 c #Conflicts: 522000 | #Constraints: 20189
561.56/563.20 c #Conflicts: 523000 | #Constraints: 21189
561.56/563.20 c #Conflicts: 524000 | #Constraints: 22189
561.56/563.20 c #Conflicts: 525000 | #Constraints: 23189
561.56/563.20 c #Conflicts: 526000 | #Constraints: 24189
561.56/563.20 c #Conflicts: 527000 | #Constraints: 25189
561.56/563.20 c #Conflicts: 528000 | #Constraints: 26189
561.56/563.20 c #Conflicts: 529000 | #Constraints: 27189
561.56/563.20 c #Conflicts: 530000 | #Constraints: 28189
561.56/563.20 c #Conflicts: 531000 | #Constraints: 29189
561.56/563.20 c INPROCESSING
561.56/563.20 c GARBAGE COLLECT
561.56/563.20 c #Conflicts: 532000 | #Constraints: 15787
561.56/563.20 c #Conflicts: 533000 | #Constraints: 16787
561.56/563.20 c #Conflicts: 534000 | #Constraints: 17787
561.56/563.20 c #Conflicts: 535000 | #Constraints: 18787
561.56/563.20 c #Conflicts: 536000 | #Constraints: 19787
561.56/563.20 c #Conflicts: 537000 | #Constraints: 20787
561.56/563.20 c #Conflicts: 538000 | #Constraints: 21787
561.56/563.20 c #Conflicts: 539000 | #Constraints: 22787
561.56/563.20 c #Conflicts: 540000 | #Constraints: 23787
561.56/563.20 c #Conflicts: 541000 | #Constraints: 24787
561.56/563.20 c #Conflicts: 542000 | #Constraints: 25787
561.56/563.20 c #Conflicts: 543000 | #Constraints: 26787
561.56/563.20 c #Conflicts: 544000 | #Constraints: 27787
561.56/563.20 c #Conflicts: 545000 | #Constraints: 28787
561.56/563.20 c #Conflicts: 546000 | #Constraints: 29787
561.56/563.20 c INPROCESSING
561.56/563.20 c GARBAGE COLLECT
561.56/563.20 c #Conflicts: 547000 | #Constraints: 16188
561.56/563.20 c #Conflicts: 548000 | #Constraints: 17188
561.56/563.20 c #Conflicts: 549000 | #Constraints: 18188
561.56/563.20 c #Conflicts: 550000 | #Constraints: 19188
561.56/563.20 c #Conflicts: 551000 | #Constraints: 20188
561.56/563.20 c #Conflicts: 552000 | #Constraints: 21188
561.56/563.20 c #Conflicts: 553000 | #Constraints: 22188
561.56/563.20 c #Conflicts: 554000 | #Constraints: 23188
561.56/563.20 c #Conflicts: 555000 | #Constraints: 24188
561.56/563.20 c #Conflicts: 556000 | #Constraints: 25188
561.56/563.20 c #Conflicts: 557000 | #Constraints: 26188
561.56/563.20 c #Conflicts: 558000 | #Constraints: 27188
561.56/563.20 c #Conflicts: 559000 | #Constraints: 28188
561.56/563.20 c #Conflicts: 560000 | #Constraints: 29188
561.56/563.20 c #Conflicts: 561000 | #Constraints: 30188
561.56/563.20 c INPROCESSING
561.56/563.20 c GARBAGE COLLECT
561.56/563.20 c #Conflicts: 562000 | #Constraints: 16380
561.56/563.20 c #Conflicts: 563000 | #Constraints: 17380
561.56/563.20 c #Conflicts: 564000 | #Constraints: 18380
561.56/563.20 c #Conflicts: 565000 | #Constraints: 19380
561.56/563.20 c #Conflicts: 566000 | #Constraints: 20380
561.56/563.20 c #Conflicts: 567000 | #Constraints: 21380
561.56/563.20 c #Conflicts: 568000 | #Constraints: 22380
561.56/563.20 c #Conflicts: 569000 | #Constraints: 23380
561.56/563.20 c #Conflicts: 570000 | #Constraints: 24380
561.56/563.20 c #Conflicts: 571000 | #Constraints: 25380
561.56/563.20 c #Conflicts: 572000 | #Constraints: 26380
561.56/563.20 c #Conflicts: 573000 | #Constraints: 27380
561.56/563.20 c #Conflicts: 574000 | #Constraints: 28380
561.56/563.20 c #Conflicts: 575000 | #Constraints: 29380
561.56/563.20 c #Conflicts: 576000 | #Constraints: 30380
561.56/563.20 c INPROCESSING
561.56/563.20 c GARBAGE COLLECT
561.56/563.20 c #Conflicts: 577000 | #Constraints: 16381
561.56/563.20 c #Conflicts: 578000 | #Constraints: 17381
561.56/563.20 c #Conflicts: 579000 | #Constraints: 18381
561.56/563.20 c #Conflicts: 580000 | #Constraints: 19381
561.56/563.20 c #Conflicts: 581000 | #Constraints: 20381
561.56/563.20 c #Conflicts: 582000 | #Constraints: 21381
561.56/563.20 c #Conflicts: 583000 | #Constraints: 22381
561.56/563.20 c #Conflicts: 584000 | #Constraints: 23381
561.56/563.20 c #Conflicts: 585000 | #Constraints: 24381
669.23/671.28 c #Conflicts: 586000 | #Constraints: 25381
669.23/671.28 c #Conflicts: 587000 | #Constraints: 26381
669.23/671.28 c #Conflicts: 588000 | #Constraints: 27381
669.23/671.28 c #Conflicts: 589000 | #Constraints: 28381
669.23/671.28 c #Conflicts: 590000 | #Constraints: 29381
669.23/671.28 c #Conflicts: 591000 | #Constraints: 30381
669.23/671.28 c INPROCESSING
669.23/671.28 c GARBAGE COLLECT
669.23/671.28 c #Conflicts: 592000 | #Constraints: 16192
669.23/671.28 c #Conflicts: 593000 | #Constraints: 17192
669.23/671.28 c #Conflicts: 594000 | #Constraints: 18192
669.23/671.28 c #Conflicts: 595000 | #Constraints: 19192
669.23/671.28 c #Conflicts: 596000 | #Constraints: 20192
669.23/671.28 c #Conflicts: 597000 | #Constraints: 21192
669.23/671.28 c #Conflicts: 598000 | #Constraints: 22192
669.23/671.28 c #Conflicts: 599000 | #Constraints: 23192
669.23/671.28 c #Conflicts: 600000 | #Constraints: 24192
669.23/671.28 c #Conflicts: 601000 | #Constraints: 25192
669.23/671.28 c #Conflicts: 602000 | #Constraints: 26192
669.23/671.28 c #Conflicts: 603000 | #Constraints: 27192
669.23/671.28 c #Conflicts: 604000 | #Constraints: 28192
669.23/671.28 c #Conflicts: 605000 | #Constraints: 29192
669.23/671.28 c #Conflicts: 606000 | #Constraints: 30192
669.23/671.28 c #Conflicts: 607000 | #Constraints: 31192
669.23/671.28 c INPROCESSING
669.23/671.28 c GARBAGE COLLECT
669.23/671.28 c #Conflicts: 608000 | #Constraints: 16786
669.23/671.28 c #Conflicts: 609000 | #Constraints: 17786
669.23/671.28 c #Conflicts: 610000 | #Constraints: 18786
669.23/671.28 c #Conflicts: 611000 | #Constraints: 19786
669.23/671.28 c #Conflicts: 612000 | #Constraints: 20786
669.23/671.28 c #Conflicts: 613000 | #Constraints: 21786
669.23/671.28 c #Conflicts: 614000 | #Constraints: 22786
669.23/671.28 c #Conflicts: 615000 | #Constraints: 23786
669.23/671.28 c #Conflicts: 616000 | #Constraints: 24786
669.23/671.28 c #Conflicts: 617000 | #Constraints: 25786
669.23/671.28 c #Conflicts: 618000 | #Constraints: 26786
669.23/671.28 c #Conflicts: 619000 | #Constraints: 27786
669.23/671.28 c #Conflicts: 620000 | #Constraints: 28786
669.23/671.28 c #Conflicts: 621000 | #Constraints: 29786
669.23/671.28 c #Conflicts: 622000 | #Constraints: 30786
669.23/671.28 c #Conflicts: 623000 | #Constraints: 31786
669.23/671.28 c INPROCESSING
669.23/671.28 c GARBAGE COLLECT
669.23/671.28 c #Conflicts: 624000 | #Constraints: 17182
669.23/671.28 c #Conflicts: 625000 | #Constraints: 18182
669.23/671.28 c #Conflicts: 626000 | #Constraints: 19182
669.23/671.28 c #Conflicts: 627000 | #Constraints: 20182
669.23/671.28 c #Conflicts: 628000 | #Constraints: 21182
669.23/671.28 c #Conflicts: 629000 | #Constraints: 22182
669.23/671.28 c #Conflicts: 630000 | #Constraints: 23182
669.23/671.28 c #Conflicts: 631000 | #Constraints: 24182
669.23/671.28 c #Conflicts: 632000 | #Constraints: 25182
669.23/671.28 c #Conflicts: 633000 | #Constraints: 26182
669.23/671.28 c #Conflicts: 634000 | #Constraints: 27182
669.23/671.28 c #Conflicts: 635000 | #Constraints: 28182
669.23/671.28 c #Conflicts: 636000 | #Constraints: 29182
669.23/671.28 c #Conflicts: 637000 | #Constraints: 30182
669.23/671.28 c #Conflicts: 638000 | #Constraints: 31182
669.23/671.28 c #Conflicts: 639000 | #Constraints: 32182
669.23/671.28 c INPROCESSING
669.23/671.28 c GARBAGE COLLECT
669.23/671.28 c #Conflicts: 640000 | #Constraints: 17388
669.23/671.28 c #Conflicts: 641000 | #Constraints: 18388
669.23/671.28 c #Conflicts: 642000 | #Constraints: 19388
669.23/671.28 c #Conflicts: 643000 | #Constraints: 20388
669.23/671.28 c #Conflicts: 644000 | #Constraints: 21388
669.23/671.28 c #Conflicts: 645000 | #Constraints: 22388
669.23/671.28 c #Conflicts: 646000 | #Constraints: 23388
669.23/671.28 c #Conflicts: 647000 | #Constraints: 24388
669.23/671.28 c #Conflicts: 648000 | #Constraints: 25388
669.23/671.28 c #Conflicts: 649000 | #Constraints: 26388
669.23/671.28 c #Conflicts: 650000 | #Constraints: 27388
669.23/671.28 c #Conflicts: 651000 | #Constraints: 28388
669.23/671.28 c #Conflicts: 652000 | #Constraints: 29388
669.23/671.28 c #Conflicts: 653000 | #Constraints: 30388
669.23/671.28 c #Conflicts: 654000 | #Constraints: 31388
669.23/671.28 c #Conflicts: 655000 | #Constraints: 32388
669.23/671.28 c INPROCESSING
669.23/671.28 c GARBAGE COLLECT
669.23/671.28 c #Conflicts: 656000 | #Constraints: 17388
669.23/671.28 c #Conflicts: 657000 | #Constraints: 18388
669.23/671.28 c #Conflicts: 658000 | #Constraints: 19388
669.23/671.28 c #Conflicts: 659000 | #Constraints: 20388
669.23/671.28 c #Conflicts: 660000 | #Constraints: 21388
788.49/790.89 c #Conflicts: 661000 | #Constraints: 22388
788.49/790.89 c #Conflicts: 662000 | #Constraints: 23388
788.49/790.89 c #Conflicts: 663000 | #Constraints: 24388
788.49/790.89 c #Conflicts: 664000 | #Constraints: 25388
788.49/790.89 c #Conflicts: 665000 | #Constraints: 26388
788.49/790.89 c #Conflicts: 666000 | #Constraints: 27388
788.49/790.89 c #Conflicts: 667000 | #Constraints: 28388
788.49/790.89 c #Conflicts: 668000 | #Constraints: 29388
788.49/790.89 c #Conflicts: 669000 | #Constraints: 30388
788.49/790.89 c #Conflicts: 670000 | #Constraints: 31388
788.49/790.89 c #Conflicts: 671000 | #Constraints: 32388
788.49/790.89 c INPROCESSING
788.49/790.89 c GARBAGE COLLECT
788.49/790.89 c #Conflicts: 672000 | #Constraints: 17177
788.49/790.89 c #Conflicts: 673000 | #Constraints: 18177
788.49/790.89 c #Conflicts: 674000 | #Constraints: 19177
788.49/790.89 c #Conflicts: 675000 | #Constraints: 20177
788.49/790.89 c #Conflicts: 676000 | #Constraints: 21177
788.49/790.89 c #Conflicts: 677000 | #Constraints: 22177
788.49/790.89 c #Conflicts: 678000 | #Constraints: 23177
788.49/790.89 c #Conflicts: 679000 | #Constraints: 24177
788.49/790.89 c #Conflicts: 680000 | #Constraints: 25177
788.49/790.89 c #Conflicts: 681000 | #Constraints: 26177
788.49/790.89 c #Conflicts: 682000 | #Constraints: 27177
788.49/790.89 c #Conflicts: 683000 | #Constraints: 28177
788.49/790.89 c #Conflicts: 684000 | #Constraints: 29177
788.49/790.89 c #Conflicts: 685000 | #Constraints: 30177
788.49/790.89 c #Conflicts: 686000 | #Constraints: 31177
788.49/790.89 c #Conflicts: 687000 | #Constraints: 32177
788.49/790.89 c #Conflicts: 688000 | #Constraints: 33177
788.49/790.89 c INPROCESSING
788.49/790.89 c GARBAGE COLLECT
788.49/790.89 c #Conflicts: 689000 | #Constraints: 17780
788.49/790.89 c #Conflicts: 690000 | #Constraints: 18780
788.49/790.89 c #Conflicts: 691000 | #Constraints: 19780
788.49/790.89 c #Conflicts: 692000 | #Constraints: 20780
788.49/790.89 c #Conflicts: 693000 | #Constraints: 21780
788.49/790.89 c #Conflicts: 694000 | #Constraints: 22780
788.49/790.89 c #Conflicts: 695000 | #Constraints: 23780
788.49/790.89 c #Conflicts: 696000 | #Constraints: 24780
788.49/790.89 c #Conflicts: 697000 | #Constraints: 25780
788.49/790.89 c #Conflicts: 698000 | #Constraints: 26780
788.49/790.89 c #Conflicts: 699000 | #Constraints: 27780
788.49/790.89 c #Conflicts: 700000 | #Constraints: 28780
788.49/790.89 c #Conflicts: 701000 | #Constraints: 29780
788.49/790.89 c #Conflicts: 702000 | #Constraints: 30780
788.49/790.89 c #Conflicts: 703000 | #Constraints: 31780
788.49/790.89 c #Conflicts: 704000 | #Constraints: 32780
788.49/790.89 c #Conflicts: 705000 | #Constraints: 33780
788.49/790.89 c INPROCESSING
788.49/790.89 c GARBAGE COLLECT
788.49/790.89 c #Conflicts: 706000 | #Constraints: 18182
788.49/790.89 c #Conflicts: 707000 | #Constraints: 19182
788.49/790.89 c #Conflicts: 708000 | #Constraints: 20182
788.49/790.89 c #Conflicts: 709000 | #Constraints: 21182
788.49/790.89 c #Conflicts: 710000 | #Constraints: 22182
788.49/790.89 c #Conflicts: 711000 | #Constraints: 23182
788.49/790.89 c #Conflicts: 712000 | #Constraints: 24182
788.49/790.89 c #Conflicts: 713000 | #Constraints: 25182
788.49/790.89 c #Conflicts: 714000 | #Constraints: 26182
788.49/790.89 c #Conflicts: 715000 | #Constraints: 27182
788.49/790.89 c #Conflicts: 716000 | #Constraints: 28182
788.49/790.89 c #Conflicts: 717000 | #Constraints: 29182
788.49/790.89 c #Conflicts: 718000 | #Constraints: 30182
788.49/790.89 c #Conflicts: 719000 | #Constraints: 31182
788.49/790.89 c #Conflicts: 720000 | #Constraints: 32182
788.49/790.89 c #Conflicts: 721000 | #Constraints: 33182
788.49/790.89 c #Conflicts: 722000 | #Constraints: 34182
788.49/790.89 c INPROCESSING
788.49/790.89 c GARBAGE COLLECT
788.49/790.89 c #Conflicts: 723000 | #Constraints: 18385
788.49/790.89 c #Conflicts: 724000 | #Constraints: 19385
788.49/790.89 c #Conflicts: 725000 | #Constraints: 20385
788.49/790.89 c #Conflicts: 726000 | #Constraints: 21385
788.49/790.89 c #Conflicts: 727000 | #Constraints: 22385
788.49/790.89 c #Conflicts: 728000 | #Constraints: 23385
788.49/790.89 c #Conflicts: 729000 | #Constraints: 24385
788.49/790.89 c #Conflicts: 730000 | #Constraints: 25385
788.49/790.89 c #Conflicts: 731000 | #Constraints: 26385
788.49/790.89 c #Conflicts: 732000 | #Constraints: 27385
788.49/790.89 c #Conflicts: 733000 | #Constraints: 28385
788.49/790.89 c #Conflicts: 734000 | #Constraints: 29385
788.49/790.89 c #Conflicts: 735000 | #Constraints: 30385
788.49/790.89 c #Conflicts: 736000 | #Constraints: 31385
788.49/790.89 c #Conflicts: 737000 | #Constraints: 32385
930.00/932.76 c #Conflicts: 738000 | #Constraints: 33385
930.00/932.76 c #Conflicts: 739000 | #Constraints: 34385
930.00/932.76 c INPROCESSING
930.00/932.76 c GARBAGE COLLECT
930.00/932.76 c #Conflicts: 740000 | #Constraints: 18394
930.00/932.76 c #Conflicts: 741000 | #Constraints: 19394
930.00/932.76 c #Conflicts: 742000 | #Constraints: 20394
930.00/932.76 c #Conflicts: 743000 | #Constraints: 21394
930.00/932.76 c #Conflicts: 744000 | #Constraints: 22394
930.00/932.76 c #Conflicts: 745000 | #Constraints: 23394
930.00/932.76 c #Conflicts: 746000 | #Constraints: 24394
930.00/932.76 c #Conflicts: 747000 | #Constraints: 25394
930.00/932.76 c #Conflicts: 748000 | #Constraints: 26394
930.00/932.76 c #Conflicts: 749000 | #Constraints: 27394
930.00/932.76 c #Conflicts: 750000 | #Constraints: 28394
930.00/932.76 c #Conflicts: 751000 | #Constraints: 29394
930.00/932.76 c #Conflicts: 752000 | #Constraints: 30394
930.00/932.76 c #Conflicts: 753000 | #Constraints: 31394
930.00/932.76 c #Conflicts: 754000 | #Constraints: 32394
930.00/932.76 c #Conflicts: 755000 | #Constraints: 33394
930.00/932.76 c #Conflicts: 756000 | #Constraints: 34394
930.00/932.76 c INPROCESSING
930.00/932.76 c GARBAGE COLLECT
930.00/932.76 c #Conflicts: 757000 | #Constraints: 18194
930.00/932.76 c #Conflicts: 758000 | #Constraints: 19194
930.00/932.76 c #Conflicts: 759000 | #Constraints: 20194
930.00/932.76 c #Conflicts: 760000 | #Constraints: 21194
930.00/932.76 c #Conflicts: 761000 | #Constraints: 22194
930.00/932.76 c #Conflicts: 762000 | #Constraints: 23194
930.00/932.76 c #Conflicts: 763000 | #Constraints: 24194
930.00/932.76 c #Conflicts: 764000 | #Constraints: 25194
930.00/932.76 c #Conflicts: 765000 | #Constraints: 26194
930.00/932.76 c #Conflicts: 766000 | #Constraints: 27194
930.00/932.76 c #Conflicts: 767000 | #Constraints: 28194
930.00/932.76 c #Conflicts: 768000 | #Constraints: 29194
930.00/932.76 c #Conflicts: 769000 | #Constraints: 30194
930.00/932.76 c #Conflicts: 770000 | #Constraints: 31194
930.00/932.76 c #Conflicts: 771000 | #Constraints: 32194
930.00/932.76 c #Conflicts: 772000 | #Constraints: 33194
930.00/932.76 c #Conflicts: 773000 | #Constraints: 34194
930.00/932.76 c #Conflicts: 774000 | #Constraints: 35194
930.00/932.76 c INPROCESSING
930.00/932.76 c GARBAGE COLLECT
930.00/932.76 c #Conflicts: 775000 | #Constraints: 18790
930.00/932.76 c #Conflicts: 776000 | #Constraints: 19790
930.00/932.76 c #Conflicts: 777000 | #Constraints: 20790
930.00/932.76 c #Conflicts: 778000 | #Constraints: 21790
930.00/932.76 c #Conflicts: 779000 | #Constraints: 22790
930.00/932.76 c #Conflicts: 780000 | #Constraints: 23790
930.00/932.76 c #Conflicts: 781000 | #Constraints: 24790
930.00/932.76 c #Conflicts: 782000 | #Constraints: 25790
930.00/932.76 c #Conflicts: 783000 | #Constraints: 26790
930.00/932.76 c #Conflicts: 784000 | #Constraints: 27790
930.00/932.76 c #Conflicts: 785000 | #Constraints: 28790
930.00/932.76 c #Conflicts: 786000 | #Constraints: 29790
930.00/932.76 c #Conflicts: 787000 | #Constraints: 30790
930.00/932.76 c #Conflicts: 788000 | #Constraints: 31790
930.00/932.76 c #Conflicts: 789000 | #Constraints: 32790
930.00/932.76 c #Conflicts: 790000 | #Constraints: 33790
930.00/932.76 c #Conflicts: 791000 | #Constraints: 34790
930.00/932.76 c #Conflicts: 792000 | #Constraints: 35790
930.00/932.76 c INPROCESSING
930.00/932.76 c GARBAGE COLLECT
930.00/932.76 c #Conflicts: 793000 | #Constraints: 19188
930.00/932.76 c #Conflicts: 794000 | #Constraints: 20188
930.00/932.76 c #Conflicts: 795000 | #Constraints: 21188
930.00/932.76 c #Conflicts: 796000 | #Constraints: 22188
930.00/932.76 c #Conflicts: 797000 | #Constraints: 23188
930.00/932.76 c #Conflicts: 798000 | #Constraints: 24188
930.00/932.76 c #Conflicts: 799000 | #Constraints: 25188
930.00/932.76 c #Conflicts: 800000 | #Constraints: 26188
930.00/932.76 c #Conflicts: 801000 | #Constraints: 27188
930.00/932.76 c #Conflicts: 802000 | #Constraints: 28188
930.00/932.76 c #Conflicts: 803000 | #Constraints: 29188
930.00/932.76 c #Conflicts: 804000 | #Constraints: 30188
930.00/932.76 c #Conflicts: 805000 | #Constraints: 31188
930.00/932.76 c #Conflicts: 806000 | #Constraints: 32188
930.00/932.76 c #Conflicts: 807000 | #Constraints: 33188
930.00/932.76 c #Conflicts: 808000 | #Constraints: 34188
930.00/932.76 c #Conflicts: 809000 | #Constraints: 35188
930.00/932.76 c #Conflicts: 810000 | #Constraints: 36188
930.00/932.76 c INPROCESSING
930.00/932.76 c GARBAGE COLLECT
930.00/932.76 c #Conflicts: 811000 | #Constraints: 19389
930.00/932.76 c #Conflicts: 812000 | #Constraints: 20389
1058.13/1061.23 c #Conflicts: 813000 | #Constraints: 21389
1058.13/1061.23 c #Conflicts: 814000 | #Constraints: 22389
1058.13/1061.23 c #Conflicts: 815000 | #Constraints: 23389
1058.13/1061.23 c #Conflicts: 816000 | #Constraints: 24389
1058.13/1061.23 c #Conflicts: 817000 | #Constraints: 25389
1058.13/1061.23 c #Conflicts: 818000 | #Constraints: 26389
1058.13/1061.23 c #Conflicts: 819000 | #Constraints: 27389
1058.13/1061.23 c #Conflicts: 820000 | #Constraints: 28389
1058.13/1061.23 c #Conflicts: 821000 | #Constraints: 29389
1058.13/1061.23 c #Conflicts: 822000 | #Constraints: 30389
1058.13/1061.23 c #Conflicts: 823000 | #Constraints: 31389
1058.13/1061.23 c #Conflicts: 824000 | #Constraints: 32389
1058.13/1061.23 c #Conflicts: 825000 | #Constraints: 33389
1058.13/1061.23 c #Conflicts: 826000 | #Constraints: 34389
1058.13/1061.23 c #Conflicts: 827000 | #Constraints: 35389
1058.13/1061.23 c #Conflicts: 828000 | #Constraints: 36389
1058.13/1061.23 c INPROCESSING
1058.13/1061.23 c GARBAGE COLLECT
1058.13/1061.23 c #Conflicts: 829000 | #Constraints: 19388
1058.13/1061.23 c #Conflicts: 830000 | #Constraints: 20388
1058.13/1061.23 c #Conflicts: 831000 | #Constraints: 21388
1058.13/1061.23 c #Conflicts: 832000 | #Constraints: 22388
1058.13/1061.23 c #Conflicts: 833000 | #Constraints: 23388
1058.13/1061.23 c #Conflicts: 834000 | #Constraints: 24388
1058.13/1061.23 c #Conflicts: 835000 | #Constraints: 25388
1058.13/1061.23 c #Conflicts: 836000 | #Constraints: 26388
1058.13/1061.23 c #Conflicts: 837000 | #Constraints: 27388
1058.13/1061.23 c #Conflicts: 838000 | #Constraints: 28388
1058.13/1061.23 c #Conflicts: 839000 | #Constraints: 29388
1058.13/1061.23 c #Conflicts: 840000 | #Constraints: 30388
1058.13/1061.23 c #Conflicts: 841000 | #Constraints: 31388
1058.13/1061.23 c #Conflicts: 842000 | #Constraints: 32388
1058.13/1061.23 c #Conflicts: 843000 | #Constraints: 33388
1058.13/1061.23 c #Conflicts: 844000 | #Constraints: 34388
1058.13/1061.23 c #Conflicts: 845000 | #Constraints: 35388
1058.13/1061.23 c #Conflicts: 846000 | #Constraints: 36388
1058.13/1061.23 c INPROCESSING
1058.13/1061.23 c GARBAGE COLLECT
1058.13/1061.23 c #Conflicts: 847000 | #Constraints: 19191
1058.13/1061.23 c #Conflicts: 848000 | #Constraints: 20191
1058.13/1061.23 c #Conflicts: 849000 | #Constraints: 21191
1058.13/1061.23 c #Conflicts: 850000 | #Constraints: 22191
1058.13/1061.23 c #Conflicts: 851000 | #Constraints: 23191
1058.13/1061.23 c #Conflicts: 852000 | #Constraints: 24191
1058.13/1061.23 c #Conflicts: 853000 | #Constraints: 25191
1058.13/1061.23 c #Conflicts: 854000 | #Constraints: 26191
1058.13/1061.23 c #Conflicts: 855000 | #Constraints: 27191
1058.13/1061.23 c #Conflicts: 856000 | #Constraints: 28191
1058.13/1061.23 c #Conflicts: 857000 | #Constraints: 29191
1058.13/1061.23 c #Conflicts: 858000 | #Constraints: 30191
1058.13/1061.23 c #Conflicts: 859000 | #Constraints: 31191
1058.13/1061.23 c #Conflicts: 860000 | #Constraints: 32191
1058.13/1061.23 c #Conflicts: 861000 | #Constraints: 33191
1058.13/1061.23 c #Conflicts: 862000 | #Constraints: 34191
1058.13/1061.23 c #Conflicts: 863000 | #Constraints: 35191
1058.13/1061.23 c #Conflicts: 864000 | #Constraints: 36191
1058.13/1061.23 c #Conflicts: 865000 | #Constraints: 37191
1058.13/1061.23 c INPROCESSING
1058.13/1061.23 c GARBAGE COLLECT
1058.13/1061.23 c #Conflicts: 866000 | #Constraints: 19788
1058.13/1061.23 c #Conflicts: 867000 | #Constraints: 20788
1058.13/1061.23 c #Conflicts: 868000 | #Constraints: 21788
1058.13/1061.23 c #Conflicts: 869000 | #Constraints: 22788
1058.13/1061.23 c #Conflicts: 870000 | #Constraints: 23788
1058.13/1061.23 c #Conflicts: 871000 | #Constraints: 24788
1058.13/1061.23 c #Conflicts: 872000 | #Constraints: 25788
1058.13/1061.23 c #Conflicts: 873000 | #Constraints: 26788
1058.13/1061.23 c #Conflicts: 874000 | #Constraints: 27788
1058.13/1061.23 c #Conflicts: 875000 | #Constraints: 28788
1058.13/1061.23 c #Conflicts: 876000 | #Constraints: 29788
1058.13/1061.23 c #Conflicts: 877000 | #Constraints: 30788
1058.13/1061.23 c #Conflicts: 878000 | #Constraints: 31788
1058.13/1061.23 c #Conflicts: 879000 | #Constraints: 32788
1058.13/1061.23 c #Conflicts: 880000 | #Constraints: 33788
1058.13/1061.23 c #Conflicts: 881000 | #Constraints: 34788
1058.13/1061.23 c #Conflicts: 882000 | #Constraints: 35788
1058.13/1061.23 c #Conflicts: 883000 | #Constraints: 36788
1058.13/1061.23 c #Conflicts: 884000 | #Constraints: 37788
1058.13/1061.23 c INPROCESSING
1058.13/1061.23 c GARBAGE COLLECT
1058.13/1061.23 c #Conflicts: 885000 | #Constraints: 20192
1058.13/1061.23 c #Conflicts: 886000 | #Constraints: 21192
1058.13/1061.23 c #Conflicts: 887000 | #Constraints: 22192
1058.13/1061.23 c #Conflicts: 888000 | #Constraints: 23192
1181.78/1185.23 c #Conflicts: 889000 | #Constraints: 24192
1181.78/1185.23 c #Conflicts: 890000 | #Constraints: 25192
1181.78/1185.23 c #Conflicts: 891000 | #Constraints: 26192
1181.78/1185.23 c #Conflicts: 892000 | #Constraints: 27192
1181.78/1185.23 c #Conflicts: 893000 | #Constraints: 28192
1181.78/1185.23 c #Conflicts: 894000 | #Constraints: 29192
1181.78/1185.23 c #Conflicts: 895000 | #Constraints: 30192
1181.78/1185.23 c #Conflicts: 896000 | #Constraints: 31192
1181.78/1185.23 c #Conflicts: 897000 | #Constraints: 32192
1181.78/1185.23 c #Conflicts: 898000 | #Constraints: 33192
1181.78/1185.23 c #Conflicts: 899000 | #Constraints: 34192
1181.78/1185.23 c #Conflicts: 900000 | #Constraints: 35192
1181.78/1185.23 c #Conflicts: 901000 | #Constraints: 36192
1181.78/1185.23 c #Conflicts: 902000 | #Constraints: 37192
1181.78/1185.23 c #Conflicts: 903000 | #Constraints: 38192
1181.78/1185.23 c INPROCESSING
1181.78/1185.23 c GARBAGE COLLECT
1181.78/1185.23 c #Conflicts: 904000 | #Constraints: 20391
1181.78/1185.23 c #Conflicts: 905000 | #Constraints: 21391
1181.78/1185.23 c #Conflicts: 906000 | #Constraints: 22391
1181.78/1185.23 c #Conflicts: 907000 | #Constraints: 23391
1181.78/1185.23 c #Conflicts: 908000 | #Constraints: 24391
1181.78/1185.23 c #Conflicts: 909000 | #Constraints: 25391
1181.78/1185.23 c #Conflicts: 910000 | #Constraints: 26391
1181.78/1185.23 c #Conflicts: 911000 | #Constraints: 27391
1181.78/1185.23 c #Conflicts: 912000 | #Constraints: 28391
1181.78/1185.23 c #Conflicts: 913000 | #Constraints: 29391
1181.78/1185.23 c #Conflicts: 914000 | #Constraints: 30391
1181.78/1185.23 c #Conflicts: 915000 | #Constraints: 31391
1181.78/1185.23 c #Conflicts: 916000 | #Constraints: 32391
1181.78/1185.23 c #Conflicts: 917000 | #Constraints: 33391
1181.78/1185.23 c #Conflicts: 918000 | #Constraints: 34391
1181.78/1185.23 c #Conflicts: 919000 | #Constraints: 35391
1181.78/1185.23 c #Conflicts: 920000 | #Constraints: 36391
1181.78/1185.23 c #Conflicts: 921000 | #Constraints: 37391
1181.78/1185.23 c #Conflicts: 922000 | #Constraints: 38391
1181.78/1185.23 c INPROCESSING
1181.78/1185.23 c GARBAGE COLLECT
1181.78/1185.23 c #Conflicts: 923000 | #Constraints: 20396
1181.78/1185.23 c #Conflicts: 924000 | #Constraints: 21396
1181.78/1185.23 c #Conflicts: 925000 | #Constraints: 22396
1181.78/1185.23 c #Conflicts: 926000 | #Constraints: 23396
1181.78/1185.23 c #Conflicts: 927000 | #Constraints: 24396
1181.78/1185.23 c #Conflicts: 928000 | #Constraints: 25396
1181.78/1185.23 c #Conflicts: 929000 | #Constraints: 26396
1181.78/1185.23 c #Conflicts: 930000 | #Constraints: 27396
1181.78/1185.23 c #Conflicts: 931000 | #Constraints: 28396
1181.78/1185.23 c #Conflicts: 932000 | #Constraints: 29396
1181.78/1185.23 c #Conflicts: 933000 | #Constraints: 30396
1181.78/1185.23 c #Conflicts: 934000 | #Constraints: 31396
1181.78/1185.23 c #Conflicts: 935000 | #Constraints: 32396
1181.78/1185.23 c #Conflicts: 936000 | #Constraints: 33396
1181.78/1185.23 c #Conflicts: 937000 | #Constraints: 34396
1181.78/1185.23 c #Conflicts: 938000 | #Constraints: 35396
1181.78/1185.23 c #Conflicts: 939000 | #Constraints: 36396
1181.78/1185.23 c #Conflicts: 940000 | #Constraints: 37396
1181.78/1185.23 c #Conflicts: 941000 | #Constraints: 38396
1181.78/1185.23 c INPROCESSING
1181.78/1185.23 c GARBAGE COLLECT
1181.78/1185.23 c #Conflicts: 942000 | #Constraints: 20193
1181.78/1185.23 c #Conflicts: 943000 | #Constraints: 21193
1181.78/1185.23 c #Conflicts: 944000 | #Constraints: 22193
1181.78/1185.23 c #Conflicts: 945000 | #Constraints: 23193
1181.78/1185.23 c #Conflicts: 946000 | #Constraints: 24193
1181.78/1185.23 c #Conflicts: 947000 | #Constraints: 25193
1181.78/1185.23 c #Conflicts: 948000 | #Constraints: 26193
1181.78/1185.23 c #Conflicts: 949000 | #Constraints: 27193
1181.78/1185.23 c #Conflicts: 950000 | #Constraints: 28193
1181.78/1185.23 c #Conflicts: 951000 | #Constraints: 29193
1181.78/1185.23 c #Conflicts: 952000 | #Constraints: 30193
1181.78/1185.23 c #Conflicts: 953000 | #Constraints: 31193
1181.78/1185.23 c #Conflicts: 954000 | #Constraints: 32193
1181.78/1185.23 c #Conflicts: 955000 | #Constraints: 33193
1181.78/1185.23 c #Conflicts: 956000 | #Constraints: 34193
1181.78/1185.23 c #Conflicts: 957000 | #Constraints: 35193
1181.78/1185.23 c #Conflicts: 958000 | #Constraints: 36193
1181.78/1185.23 c #Conflicts: 959000 | #Constraints: 37193
1181.78/1185.23 c #Conflicts: 960000 | #Constraints: 38193
1181.78/1185.23 c #Conflicts: 961000 | #Constraints: 39193
1181.78/1185.23 c INPROCESSING
1181.78/1185.23 c GARBAGE COLLECT
1181.78/1185.23 c #Conflicts: 962000 | #Constraints: 20800
1181.78/1185.23 c #Conflicts: 963000 | #Constraints: 21800
1181.78/1185.23 c #Conflicts: 964000 | #Constraints: 22800
1181.78/1185.23 c #Conflicts: 965000 | #Constraints: 23800
1296.36/1300.17 c #Conflicts: 966000 | #Constraints: 24800
1296.36/1300.17 c #Conflicts: 967000 | #Constraints: 25800
1296.36/1300.17 c #Conflicts: 968000 | #Constraints: 26800
1296.36/1300.17 c #Conflicts: 969000 | #Constraints: 27800
1296.36/1300.17 c #Conflicts: 970000 | #Constraints: 28800
1296.36/1300.17 c #Conflicts: 971000 | #Constraints: 29800
1296.36/1300.17 c #Conflicts: 972000 | #Constraints: 30800
1296.36/1300.17 c #Conflicts: 973000 | #Constraints: 31800
1296.36/1300.17 c #Conflicts: 974000 | #Constraints: 32800
1296.36/1300.17 c #Conflicts: 975000 | #Constraints: 33800
1296.36/1300.17 c #Conflicts: 976000 | #Constraints: 34800
1296.36/1300.17 c #Conflicts: 977000 | #Constraints: 35800
1296.36/1300.17 c #Conflicts: 978000 | #Constraints: 36800
1296.36/1300.17 c #Conflicts: 979000 | #Constraints: 37800
1296.36/1300.17 c #Conflicts: 980000 | #Constraints: 38800
1296.36/1300.17 c #Conflicts: 981000 | #Constraints: 39800
1296.36/1300.17 c INPROCESSING
1296.36/1300.17 c GARBAGE COLLECT
1296.36/1300.17 c #Conflicts: 982000 | #Constraints: 21189
1296.36/1300.17 c #Conflicts: 983000 | #Constraints: 22189
1296.36/1300.17 c #Conflicts: 984000 | #Constraints: 23189
1296.36/1300.17 c #Conflicts: 985000 | #Constraints: 24189
1296.36/1300.17 c #Conflicts: 986000 | #Constraints: 25189
1296.36/1300.17 c #Conflicts: 987000 | #Constraints: 26189
1296.36/1300.17 c #Conflicts: 988000 | #Constraints: 27189
1296.36/1300.17 c #Conflicts: 989000 | #Constraints: 28189
1296.36/1300.17 c #Conflicts: 990000 | #Constraints: 29189
1296.36/1300.17 c #Conflicts: 991000 | #Constraints: 30189
1296.36/1300.17 c #Conflicts: 992000 | #Constraints: 31189
1296.36/1300.17 c #Conflicts: 993000 | #Constraints: 32189
1296.36/1300.17 c #Conflicts: 994000 | #Constraints: 33189
1296.36/1300.17 c #Conflicts: 995000 | #Constraints: 34189
1296.36/1300.17 c #Conflicts: 996000 | #Constraints: 35189
1296.36/1300.17 c #Conflicts: 997000 | #Constraints: 36189
1296.36/1300.17 c #Conflicts: 998000 | #Constraints: 37189
1296.36/1300.17 c #Conflicts: 999000 | #Constraints: 38189
1296.36/1300.17 c #Conflicts: 1000000 | #Constraints: 39189
1296.36/1300.17 c #Conflicts: 1001000 | #Constraints: 40189
1296.36/1300.17 c INPROCESSING
1296.36/1300.17 c GARBAGE COLLECT
1296.36/1300.17 c #Conflicts: 1002000 | #Constraints: 21394
1296.36/1300.17 c #Conflicts: 1003000 | #Constraints: 22394
1296.36/1300.17 c #Conflicts: 1004000 | #Constraints: 23394
1296.36/1300.17 c #Conflicts: 1005000 | #Constraints: 24394
1296.36/1300.17 c #Conflicts: 1006000 | #Constraints: 25394
1296.36/1300.17 c #Conflicts: 1007000 | #Constraints: 26394
1296.36/1300.17 c #Conflicts: 1008000 | #Constraints: 27394
1296.36/1300.17 c #Conflicts: 1009000 | #Constraints: 28394
1296.36/1300.17 c #Conflicts: 1010000 | #Constraints: 29394
1296.36/1300.17 c #Conflicts: 1011000 | #Constraints: 30394
1296.36/1300.17 c #Conflicts: 1012000 | #Constraints: 31394
1296.36/1300.17 c #Conflicts: 1013000 | #Constraints: 32394
1296.36/1300.17 c #Conflicts: 1014000 | #Constraints: 33394
1296.36/1300.17 c #Conflicts: 1015000 | #Constraints: 34394
1296.36/1300.17 c #Conflicts: 1016000 | #Constraints: 35394
1296.36/1300.17 c #Conflicts: 1017000 | #Constraints: 36394
1296.36/1300.17 c #Conflicts: 1018000 | #Constraints: 37394
1296.36/1300.17 c #Conflicts: 1019000 | #Constraints: 38394
1296.36/1300.17 c #Conflicts: 1020000 | #Constraints: 39394
1296.36/1300.17 c #Conflicts: 1021000 | #Constraints: 40394
1296.36/1300.17 c INPROCESSING
1296.36/1300.17 c GARBAGE COLLECT
1296.36/1300.17 c #Conflicts: 1022000 | #Constraints: 21388
1296.36/1300.17 c #Conflicts: 1023000 | #Constraints: 22388
1296.36/1300.17 c #Conflicts: 1024000 | #Constraints: 23388
1296.36/1300.17 c #Conflicts: 1025000 | #Constraints: 24388
1296.36/1300.17 c #Conflicts: 1026000 | #Constraints: 25388
1296.36/1300.17 c #Conflicts: 1027000 | #Constraints: 26388
1296.36/1300.17 c #Conflicts: 1028000 | #Constraints: 27388
1296.36/1300.17 c #Conflicts: 1029000 | #Constraints: 28388
1296.36/1300.17 c #Conflicts: 1030000 | #Constraints: 29388
1296.36/1300.17 c #Conflicts: 1031000 | #Constraints: 30388
1296.36/1300.17 c #Conflicts: 1032000 | #Constraints: 31388
1296.36/1300.17 c #Conflicts: 1033000 | #Constraints: 32388
1296.36/1300.17 c #Conflicts: 1034000 | #Constraints: 33388
1296.36/1300.17 c #Conflicts: 1035000 | #Constraints: 34388
1296.36/1300.17 c #Conflicts: 1036000 | #Constraints: 35388
1296.36/1300.17 c #Conflicts: 1037000 | #Constraints: 36388
1296.36/1300.17 c #Conflicts: 1038000 | #Constraints: 37388
1296.36/1300.17 c #Conflicts: 1039000 | #Constraints: 38388
1296.36/1300.17 c #Conflicts: 1040000 | #Constraints: 39388
1296.36/1300.17 c #Conflicts: 1041000 | #Constraints: 40388
1427.68/1431.82 c INPROCESSING
1427.68/1431.82 c GARBAGE COLLECT
1427.68/1431.82 c #Conflicts: 1042000 | #Constraints: 21190
1427.68/1431.82 c #Conflicts: 1043000 | #Constraints: 22190
1427.68/1431.82 c #Conflicts: 1044000 | #Constraints: 23190
1427.68/1431.82 c #Conflicts: 1045000 | #Constraints: 24190
1427.68/1431.82 c #Conflicts: 1046000 | #Constraints: 25190
1427.68/1431.82 c #Conflicts: 1047000 | #Constraints: 26190
1427.68/1431.82 c #Conflicts: 1048000 | #Constraints: 27190
1427.68/1431.82 c #Conflicts: 1049000 | #Constraints: 28190
1427.68/1431.82 c #Conflicts: 1050000 | #Constraints: 29190
1427.68/1431.82 c #Conflicts: 1051000 | #Constraints: 30190
1427.68/1431.82 c #Conflicts: 1052000 | #Constraints: 31190
1427.68/1431.82 c #Conflicts: 1053000 | #Constraints: 32190
1427.68/1431.82 c #Conflicts: 1054000 | #Constraints: 33190
1427.68/1431.82 c #Conflicts: 1055000 | #Constraints: 34190
1427.68/1431.82 c #Conflicts: 1056000 | #Constraints: 35190
1427.68/1431.82 c #Conflicts: 1057000 | #Constraints: 36190
1427.68/1431.82 c #Conflicts: 1058000 | #Constraints: 37190
1427.68/1431.82 c #Conflicts: 1059000 | #Constraints: 38190
1427.68/1431.82 c #Conflicts: 1060000 | #Constraints: 39190
1427.68/1431.82 c #Conflicts: 1061000 | #Constraints: 40190
1427.68/1431.82 c #Conflicts: 1062000 | #Constraints: 41190
1427.68/1431.82 c INPROCESSING
1427.68/1431.82 c GARBAGE COLLECT
1427.68/1431.82 c #Conflicts: 1063000 | #Constraints: 21792
1427.68/1431.82 c #Conflicts: 1064000 | #Constraints: 22792
1427.68/1431.82 c #Conflicts: 1065000 | #Constraints: 23792
1427.68/1431.82 c #Conflicts: 1066000 | #Constraints: 24792
1427.68/1431.82 c #Conflicts: 1067000 | #Constraints: 25792
1427.68/1431.82 c #Conflicts: 1068000 | #Constraints: 26792
1427.68/1431.82 c #Conflicts: 1069000 | #Constraints: 27792
1427.68/1431.82 c #Conflicts: 1070000 | #Constraints: 28792
1427.68/1431.82 c #Conflicts: 1071000 | #Constraints: 29792
1427.68/1431.82 c #Conflicts: 1072000 | #Constraints: 30792
1427.68/1431.82 c #Conflicts: 1073000 | #Constraints: 31792
1427.68/1431.82 c #Conflicts: 1074000 | #Constraints: 32792
1427.68/1431.82 c #Conflicts: 1075000 | #Constraints: 33792
1427.68/1431.82 c #Conflicts: 1076000 | #Constraints: 34792
1427.68/1431.82 c #Conflicts: 1077000 | #Constraints: 35792
1427.68/1431.82 c #Conflicts: 1078000 | #Constraints: 36792
1427.68/1431.82 c #Conflicts: 1079000 | #Constraints: 37792
1427.68/1431.82 c #Conflicts: 1080000 | #Constraints: 38792
1427.68/1431.82 c #Conflicts: 1081000 | #Constraints: 39792
1427.68/1431.82 c #Conflicts: 1082000 | #Constraints: 40792
1427.68/1431.82 c #Conflicts: 1083000 | #Constraints: 41792
1427.68/1431.82 c INPROCESSING
1427.68/1431.82 c GARBAGE COLLECT
1427.68/1431.82 c #Conflicts: 1084000 | #Constraints: 22193
1427.68/1431.82 c #Conflicts: 1085000 | #Constraints: 23193
1427.68/1431.82 c #Conflicts: 1086000 | #Constraints: 24193
1427.68/1431.82 c #Conflicts: 1087000 | #Constraints: 25193
1427.68/1431.82 c #Conflicts: 1088000 | #Constraints: 26193
1427.68/1431.82 c #Conflicts: 1089000 | #Constraints: 27193
1427.68/1431.82 c #Conflicts: 1090000 | #Constraints: 28193
1427.68/1431.82 c #Conflicts: 1091000 | #Constraints: 29193
1427.68/1431.82 c #Conflicts: 1092000 | #Constraints: 30193
1427.68/1431.82 c #Conflicts: 1093000 | #Constraints: 31193
1427.68/1431.82 c #Conflicts: 1094000 | #Constraints: 32193
1427.68/1431.82 c #Conflicts: 1095000 | #Constraints: 33193
1427.68/1431.82 c #Conflicts: 1096000 | #Constraints: 34193
1427.68/1431.82 c #Conflicts: 1097000 | #Constraints: 35193
1427.68/1431.82 c #Conflicts: 1098000 | #Constraints: 36193
1427.68/1431.82 c #Conflicts: 1099000 | #Constraints: 37193
1427.68/1431.82 c #Conflicts: 1100000 | #Constraints: 38193
1427.68/1431.82 c #Conflicts: 1101000 | #Constraints: 39193
1427.68/1431.82 c #Conflicts: 1102000 | #Constraints: 40193
1427.68/1431.82 c #Conflicts: 1103000 | #Constraints: 41193
1427.68/1431.82 c #Conflicts: 1104000 | #Constraints: 42193
1427.68/1431.82 c INPROCESSING
1427.68/1431.82 c GARBAGE COLLECT
1427.68/1431.82 c #Conflicts: 1105000 | #Constraints: 22393
1427.68/1431.82 c #Conflicts: 1106000 | #Constraints: 23393
1427.68/1431.82 c #Conflicts: 1107000 | #Constraints: 24393
1427.68/1431.82 c #Conflicts: 1108000 | #Constraints: 25393
1427.68/1431.82 c #Conflicts: 1109000 | #Constraints: 26393
1427.68/1431.82 c #Conflicts: 1110000 | #Constraints: 27393
1427.68/1431.82 c #Conflicts: 1111000 | #Constraints: 28393
1427.68/1431.82 c #Conflicts: 1112000 | #Constraints: 29393
1427.68/1431.82 c #Conflicts: 1113000 | #Constraints: 30393
1427.68/1431.82 c #Conflicts: 1114000 | #Constraints: 31393
1427.68/1431.82 c #Conflicts: 1115000 | #Constraints: 32393
1427.68/1431.82 c #Conflicts: 1116000 | #Constraints: 33393
1427.68/1431.82 c #Conflicts: 1117000 | #Constraints: 34393
1427.68/1431.82 c #Conflicts: 1118000 | #Constraints: 35393
1577.78/1582.35 c #Conflicts: 1119000 | #Constraints: 36393
1577.78/1582.35 c #Conflicts: 1120000 | #Constraints: 37393
1577.78/1582.35 c #Conflicts: 1121000 | #Constraints: 38393
1577.78/1582.35 c #Conflicts: 1122000 | #Constraints: 39393
1577.78/1582.35 c #Conflicts: 1123000 | #Constraints: 40393
1577.78/1582.35 c #Conflicts: 1124000 | #Constraints: 41393
1577.78/1582.35 c #Conflicts: 1125000 | #Constraints: 42393
1577.78/1582.35 c INPROCESSING
1577.78/1582.35 c GARBAGE COLLECT
1577.78/1582.35 c #Conflicts: 1126000 | #Constraints: 22384
1577.78/1582.35 c #Conflicts: 1127000 | #Constraints: 23384
1577.78/1582.35 c #Conflicts: 1128000 | #Constraints: 24384
1577.78/1582.35 c #Conflicts: 1129000 | #Constraints: 25384
1577.78/1582.35 c #Conflicts: 1130000 | #Constraints: 26384
1577.78/1582.35 c #Conflicts: 1131000 | #Constraints: 27384
1577.78/1582.35 c #Conflicts: 1132000 | #Constraints: 28384
1577.78/1582.35 c #Conflicts: 1133000 | #Constraints: 29384
1577.78/1582.35 c #Conflicts: 1134000 | #Constraints: 30384
1577.78/1582.35 c #Conflicts: 1135000 | #Constraints: 31384
1577.78/1582.35 c #Conflicts: 1136000 | #Constraints: 32384
1577.78/1582.35 c #Conflicts: 1137000 | #Constraints: 33384
1577.78/1582.35 c #Conflicts: 1138000 | #Constraints: 34384
1577.78/1582.35 c #Conflicts: 1139000 | #Constraints: 35384
1577.78/1582.35 c #Conflicts: 1140000 | #Constraints: 36384
1577.78/1582.35 c #Conflicts: 1141000 | #Constraints: 37384
1577.78/1582.35 c #Conflicts: 1142000 | #Constraints: 38384
1577.78/1582.35 c #Conflicts: 1143000 | #Constraints: 39384
1577.78/1582.35 c #Conflicts: 1144000 | #Constraints: 40384
1577.78/1582.35 c #Conflicts: 1145000 | #Constraints: 41384
1577.78/1582.35 c #Conflicts: 1146000 | #Constraints: 42384
1577.78/1582.35 c INPROCESSING
1577.78/1582.35 c GARBAGE COLLECT
1577.78/1582.35 c #Conflicts: 1147000 | #Constraints: 22185
1577.78/1582.35 c #Conflicts: 1148000 | #Constraints: 23185
1577.78/1582.35 c #Conflicts: 1149000 | #Constraints: 24185
1577.78/1582.35 c #Conflicts: 1150000 | #Constraints: 25185
1577.78/1582.35 c #Conflicts: 1151000 | #Constraints: 26185
1577.78/1582.35 c #Conflicts: 1152000 | #Constraints: 27185
1577.78/1582.35 c #Conflicts: 1153000 | #Constraints: 28185
1577.78/1582.35 c #Conflicts: 1154000 | #Constraints: 29185
1577.78/1582.35 c #Conflicts: 1155000 | #Constraints: 30185
1577.78/1582.35 c #Conflicts: 1156000 | #Constraints: 31185
1577.78/1582.35 c #Conflicts: 1157000 | #Constraints: 32185
1577.78/1582.35 c #Conflicts: 1158000 | #Constraints: 33185
1577.78/1582.35 c #Conflicts: 1159000 | #Constraints: 34185
1577.78/1582.35 c #Conflicts: 1160000 | #Constraints: 35185
1577.78/1582.35 c #Conflicts: 1161000 | #Constraints: 36185
1577.78/1582.35 c #Conflicts: 1162000 | #Constraints: 37185
1577.78/1582.35 c #Conflicts: 1163000 | #Constraints: 38185
1577.78/1582.35 c #Conflicts: 1164000 | #Constraints: 39185
1577.78/1582.35 c #Conflicts: 1165000 | #Constraints: 40185
1577.78/1582.35 c #Conflicts: 1166000 | #Constraints: 41185
1577.78/1582.35 c #Conflicts: 1167000 | #Constraints: 42185
1577.78/1582.35 c #Conflicts: 1168000 | #Constraints: 43185
1577.78/1582.35 c INPROCESSING
1577.78/1582.35 c GARBAGE COLLECT
1577.78/1582.35 c #Conflicts: 1169000 | #Constraints: 22787
1577.78/1582.35 c #Conflicts: 1170000 | #Constraints: 23787
1577.78/1582.35 c #Conflicts: 1171000 | #Constraints: 24787
1577.78/1582.35 c #Conflicts: 1172000 | #Constraints: 25787
1577.78/1582.35 c #Conflicts: 1173000 | #Constraints: 26787
1577.78/1582.35 c #Conflicts: 1174000 | #Constraints: 27787
1577.78/1582.35 c #Conflicts: 1175000 | #Constraints: 28787
1577.78/1582.35 c #Conflicts: 1176000 | #Constraints: 29787
1577.78/1582.35 c #Conflicts: 1177000 | #Constraints: 30787
1577.78/1582.35 c #Conflicts: 1178000 | #Constraints: 31787
1577.78/1582.35 c #Conflicts: 1179000 | #Constraints: 32787
1577.78/1582.35 c #Conflicts: 1180000 | #Constraints: 33787
1577.78/1582.35 c #Conflicts: 1181000 | #Constraints: 34787
1577.78/1582.35 c #Conflicts: 1182000 | #Constraints: 35787
1577.78/1582.35 c #Conflicts: 1183000 | #Constraints: 36787
1577.78/1582.35 c #Conflicts: 1184000 | #Constraints: 37787
1577.78/1582.35 c #Conflicts: 1185000 | #Constraints: 38787
1577.78/1582.35 c #Conflicts: 1186000 | #Constraints: 39787
1577.78/1582.35 c #Conflicts: 1187000 | #Constraints: 40787
1577.78/1582.35 c #Conflicts: 1188000 | #Constraints: 41787
1577.78/1582.35 c #Conflicts: 1189000 | #Constraints: 42787
1577.78/1582.35 c #Conflicts: 1190000 | #Constraints: 43787
1577.78/1582.35 c INPROCESSING
1577.78/1582.35 c GARBAGE COLLECT
1577.78/1582.35 c #Conflicts: 1191000 | #Constraints: 23182
1577.78/1582.35 c #Conflicts: 1192000 | #Constraints: 24182
1577.78/1582.35 c #Conflicts: 1193000 | #Constraints: 25182
1577.78/1582.35 c #Conflicts: 1194000 | #Constraints: 26182
1727.98/1733.00 c #Conflicts: 1195000 | #Constraints: 27182
1727.98/1733.00 c #Conflicts: 1196000 | #Constraints: 28182
1727.98/1733.00 c #Conflicts: 1197000 | #Constraints: 29182
1727.98/1733.00 c #Conflicts: 1198000 | #Constraints: 30182
1727.98/1733.00 c #Conflicts: 1199000 | #Constraints: 31182
1727.98/1733.00 c #Conflicts: 1200000 | #Constraints: 32182
1727.98/1733.00 c #Conflicts: 1201000 | #Constraints: 33182
1727.98/1733.00 c #Conflicts: 1202000 | #Constraints: 34182
1727.98/1733.00 c #Conflicts: 1203000 | #Constraints: 35182
1727.98/1733.00 c #Conflicts: 1204000 | #Constraints: 36182
1727.98/1733.00 c #Conflicts: 1205000 | #Constraints: 37182
1727.98/1733.00 c #Conflicts: 1206000 | #Constraints: 38182
1727.98/1733.00 c #Conflicts: 1207000 | #Constraints: 39182
1727.98/1733.00 c #Conflicts: 1208000 | #Constraints: 40182
1727.98/1733.00 c #Conflicts: 1209000 | #Constraints: 41182
1727.98/1733.00 c #Conflicts: 1210000 | #Constraints: 42182
1727.98/1733.00 c #Conflicts: 1211000 | #Constraints: 43182
1727.98/1733.00 c #Conflicts: 1212000 | #Constraints: 44182
1727.98/1733.00 c INPROCESSING
1727.98/1733.00 c GARBAGE COLLECT
1727.98/1733.00 c #Conflicts: 1213000 | #Constraints: 23387
1727.98/1733.00 c #Conflicts: 1214000 | #Constraints: 24387
1727.98/1733.00 c #Conflicts: 1215000 | #Constraints: 25387
1727.98/1733.00 c #Conflicts: 1216000 | #Constraints: 26387
1727.98/1733.00 c #Conflicts: 1217000 | #Constraints: 27387
1727.98/1733.00 c #Conflicts: 1218000 | #Constraints: 28387
1727.98/1733.00 c #Conflicts: 1219000 | #Constraints: 29387
1727.98/1733.00 c #Conflicts: 1220000 | #Constraints: 30387
1727.98/1733.00 c #Conflicts: 1221000 | #Constraints: 31387
1727.98/1733.00 c #Conflicts: 1222000 | #Constraints: 32387
1727.98/1733.00 c #Conflicts: 1223000 | #Constraints: 33387
1727.98/1733.00 c #Conflicts: 1224000 | #Constraints: 34387
1727.98/1733.00 c #Conflicts: 1225000 | #Constraints: 35387
1727.98/1733.00 c #Conflicts: 1226000 | #Constraints: 36387
1727.98/1733.00 c #Conflicts: 1227000 | #Constraints: 37387
1727.98/1733.00 c #Conflicts: 1228000 | #Constraints: 38387
1727.98/1733.00 c #Conflicts: 1229000 | #Constraints: 39387
1727.98/1733.00 c #Conflicts: 1230000 | #Constraints: 40387
1727.98/1733.00 c #Conflicts: 1231000 | #Constraints: 41387
1727.98/1733.00 c #Conflicts: 1232000 | #Constraints: 42387
1727.98/1733.00 c #Conflicts: 1233000 | #Constraints: 43387
1727.98/1733.00 c #Conflicts: 1234000 | #Constraints: 44387
1727.98/1733.00 c INPROCESSING
1727.98/1733.00 c GARBAGE COLLECT
1727.98/1733.00 c #Conflicts: 1235000 | #Constraints: 23391
1727.98/1733.00 c #Conflicts: 1236000 | #Constraints: 24391
1727.98/1733.00 c #Conflicts: 1237000 | #Constraints: 25391
1727.98/1733.00 c #Conflicts: 1238000 | #Constraints: 26391
1727.98/1733.00 c #Conflicts: 1239000 | #Constraints: 27391
1727.98/1733.00 c #Conflicts: 1240000 | #Constraints: 28391
1727.98/1733.00 c #Conflicts: 1241000 | #Constraints: 29391
1727.98/1733.00 c #Conflicts: 1242000 | #Constraints: 30391
1727.98/1733.00 c #Conflicts: 1243000 | #Constraints: 31391
1727.98/1733.00 c #Conflicts: 1244000 | #Constraints: 32391
1727.98/1733.00 c #Conflicts: 1245000 | #Constraints: 33391
1727.98/1733.00 c #Conflicts: 1246000 | #Constraints: 34391
1727.98/1733.00 c #Conflicts: 1247000 | #Constraints: 35391
1727.98/1733.00 c #Conflicts: 1248000 | #Constraints: 36391
1727.98/1733.00 c #Conflicts: 1249000 | #Constraints: 37391
1727.98/1733.00 c #Conflicts: 1250000 | #Constraints: 38391
1727.98/1733.00 c #Conflicts: 1251000 | #Constraints: 39391
1727.98/1733.00 c #Conflicts: 1252000 | #Constraints: 40391
1727.98/1733.00 c #Conflicts: 1253000 | #Constraints: 41391
1727.98/1733.00 c #Conflicts: 1254000 | #Constraints: 42391
1727.98/1733.00 c #Conflicts: 1255000 | #Constraints: 43391
1727.98/1733.00 c #Conflicts: 1256000 | #Constraints: 44391
1727.98/1733.00 c INPROCESSING
1727.98/1733.00 c GARBAGE COLLECT
1727.98/1733.00 c #Conflicts: 1257000 | #Constraints: 23193
1727.98/1733.00 c #Conflicts: 1258000 | #Constraints: 24193
1727.98/1733.00 c #Conflicts: 1259000 | #Constraints: 25193
1727.98/1733.00 c #Conflicts: 1260000 | #Constraints: 26193
1727.98/1733.00 c #Conflicts: 1261000 | #Constraints: 27193
1727.98/1733.00 c #Conflicts: 1262000 | #Constraints: 28193
1727.98/1733.00 c #Conflicts: 1263000 | #Constraints: 29193
1727.98/1733.00 c #Conflicts: 1264000 | #Constraints: 30193
1727.98/1733.00 c #Conflicts: 1265000 | #Constraints: 31193
1727.98/1733.00 c #Conflicts: 1266000 | #Constraints: 32193
1727.98/1733.00 c #Conflicts: 1267000 | #Constraints: 33193
1727.98/1733.00 c #Conflicts: 1268000 | #Constraints: 34193
1727.98/1733.00 c #Conflicts: 1269000 | #Constraints: 35193
1727.98/1733.00 c #Conflicts: 1270000 | #Constraints: 36193
1727.98/1733.00 c #Conflicts: 1271000 | #Constraints: 37193
1883.26/1888.67 c #Conflicts: 1272000 | #Constraints: 38193
1883.26/1888.67 c #Conflicts: 1273000 | #Constraints: 39193
1883.26/1888.67 c #Conflicts: 1274000 | #Constraints: 40193
1883.26/1888.67 c #Conflicts: 1275000 | #Constraints: 41193
1883.26/1888.67 c #Conflicts: 1276000 | #Constraints: 42193
1883.26/1888.67 c #Conflicts: 1277000 | #Constraints: 43193
1883.26/1888.67 c #Conflicts: 1278000 | #Constraints: 44193
1883.26/1888.67 c #Conflicts: 1279000 | #Constraints: 45193
1883.26/1888.67 c INPROCESSING
1883.26/1888.67 c GARBAGE COLLECT
1883.26/1888.67 c #Conflicts: 1280000 | #Constraints: 23791
1883.26/1888.67 c #Conflicts: 1281000 | #Constraints: 24791
1883.26/1888.67 c #Conflicts: 1282000 | #Constraints: 25791
1883.26/1888.67 c #Conflicts: 1283000 | #Constraints: 26791
1883.26/1888.67 c #Conflicts: 1284000 | #Constraints: 27791
1883.26/1888.67 c #Conflicts: 1285000 | #Constraints: 28791
1883.26/1888.67 c #Conflicts: 1286000 | #Constraints: 29791
1883.26/1888.67 c #Conflicts: 1287000 | #Constraints: 30791
1883.26/1888.67 c #Conflicts: 1288000 | #Constraints: 31791
1883.26/1888.67 c #Conflicts: 1289000 | #Constraints: 32791
1883.26/1888.67 c #Conflicts: 1290000 | #Constraints: 33791
1883.26/1888.67 c #Conflicts: 1291000 | #Constraints: 34791
1883.26/1888.67 c #Conflicts: 1292000 | #Constraints: 35791
1883.26/1888.67 c #Conflicts: 1293000 | #Constraints: 36791
1883.26/1888.67 c #Conflicts: 1294000 | #Constraints: 37791
1883.26/1888.67 c #Conflicts: 1295000 | #Constraints: 38791
1883.26/1888.67 c #Conflicts: 1296000 | #Constraints: 39791
1883.26/1888.67 c #Conflicts: 1297000 | #Constraints: 40791
1883.26/1888.67 c #Conflicts: 1298000 | #Constraints: 41791
1883.26/1888.67 c #Conflicts: 1299000 | #Constraints: 42791
1883.26/1888.67 c #Conflicts: 1300000 | #Constraints: 43791
1883.26/1888.67 c #Conflicts: 1301000 | #Constraints: 44791
1883.26/1888.67 c #Conflicts: 1302000 | #Constraints: 45791
1883.26/1888.67 c INPROCESSING
1883.26/1888.67 c GARBAGE COLLECT
1883.26/1888.67 c #Conflicts: 1303000 | #Constraints: 24189
1883.26/1888.67 c #Conflicts: 1304000 | #Constraints: 25189
1883.26/1888.67 c #Conflicts: 1305000 | #Constraints: 26189
1883.26/1888.67 c #Conflicts: 1306000 | #Constraints: 27189
1883.26/1888.67 c #Conflicts: 1307000 | #Constraints: 28189
1883.26/1888.67 c #Conflicts: 1308000 | #Constraints: 29189
1883.26/1888.67 c #Conflicts: 1309000 | #Constraints: 30189
1883.26/1888.67 c #Conflicts: 1310000 | #Constraints: 31189
1883.26/1888.67 c #Conflicts: 1311000 | #Constraints: 32189
1883.26/1888.67 c #Conflicts: 1312000 | #Constraints: 33189
1883.26/1888.67 c #Conflicts: 1313000 | #Constraints: 34189
1883.26/1888.67 c #Conflicts: 1314000 | #Constraints: 35189
1883.26/1888.67 c #Conflicts: 1315000 | #Constraints: 36189
1883.26/1888.67 c #Conflicts: 1316000 | #Constraints: 37189
1883.26/1888.67 c #Conflicts: 1317000 | #Constraints: 38189
1883.26/1888.67 c #Conflicts: 1318000 | #Constraints: 39189
1883.26/1888.67 c #Conflicts: 1319000 | #Constraints: 40189
1883.26/1888.67 c #Conflicts: 1320000 | #Constraints: 41189
1883.26/1888.67 c #Conflicts: 1321000 | #Constraints: 42189
1883.26/1888.67 c #Conflicts: 1322000 | #Constraints: 43189
1883.26/1888.67 c #Conflicts: 1323000 | #Constraints: 44189
1883.26/1888.67 c #Conflicts: 1324000 | #Constraints: 45189
1883.26/1888.67 c #Conflicts: 1325000 | #Constraints: 46189
1883.26/1888.67 c INPROCESSING
1883.26/1888.67 c GARBAGE COLLECT
1883.26/1888.67 c #Conflicts: 1326000 | #Constraints: 24382
1883.26/1888.67 c #Conflicts: 1327000 | #Constraints: 25382
1883.26/1888.67 c #Conflicts: 1328000 | #Constraints: 26382
1883.26/1888.67 c #Conflicts: 1329000 | #Constraints: 27382
1883.26/1888.67 c #Conflicts: 1330000 | #Constraints: 28382
1883.26/1888.67 c #Conflicts: 1331000 | #Constraints: 29382
1883.26/1888.67 c #Conflicts: 1332000 | #Constraints: 30382
1883.26/1888.67 c #Conflicts: 1333000 | #Constraints: 31382
1883.26/1888.67 c #Conflicts: 1334000 | #Constraints: 32382
1883.26/1888.67 c #Conflicts: 1335000 | #Constraints: 33382
1883.26/1888.67 c #Conflicts: 1336000 | #Constraints: 34382
1883.26/1888.67 c #Conflicts: 1337000 | #Constraints: 35382
1883.26/1888.67 c #Conflicts: 1338000 | #Constraints: 36382
1883.26/1888.67 c #Conflicts: 1339000 | #Constraints: 37382
1883.26/1888.67 c #Conflicts: 1340000 | #Constraints: 38382
1883.26/1888.67 c #Conflicts: 1341000 | #Constraints: 39382
1883.26/1888.67 c #Conflicts: 1342000 | #Constraints: 40382
1883.26/1888.67 c #Conflicts: 1343000 | #Constraints: 41382
1883.26/1888.67 c #Conflicts: 1344000 | #Constraints: 42382
1883.26/1888.67 c #Conflicts: 1345000 | #Constraints: 43382
1883.26/1888.67 c #Conflicts: 1346000 | #Constraints: 44382
1883.26/1888.67 c #Conflicts: 1347000 | #Constraints: 45382
1883.26/1888.67 c #Conflicts: 1348000 | #Constraints: 46382
2049.23/2055.06 c INPROCESSING
2049.23/2055.06 c GARBAGE COLLECT
2049.23/2055.06 c #Conflicts: 1349000 | #Constraints: 24383
2049.23/2055.06 c #Conflicts: 1350000 | #Constraints: 25383
2049.23/2055.06 c #Conflicts: 1351000 | #Constraints: 26383
2049.23/2055.06 c #Conflicts: 1352000 | #Constraints: 27383
2049.23/2055.06 c #Conflicts: 1353000 | #Constraints: 28383
2049.23/2055.06 c #Conflicts: 1354000 | #Constraints: 29383
2049.23/2055.06 c #Conflicts: 1355000 | #Constraints: 30383
2049.23/2055.06 c #Conflicts: 1356000 | #Constraints: 31383
2049.23/2055.06 c #Conflicts: 1357000 | #Constraints: 32383
2049.23/2055.06 c #Conflicts: 1358000 | #Constraints: 33383
2049.23/2055.06 c #Conflicts: 1359000 | #Constraints: 34383
2049.23/2055.06 c #Conflicts: 1360000 | #Constraints: 35383
2049.23/2055.06 c #Conflicts: 1361000 | #Constraints: 36383
2049.23/2055.06 c #Conflicts: 1362000 | #Constraints: 37383
2049.23/2055.06 c #Conflicts: 1363000 | #Constraints: 38383
2049.23/2055.06 c #Conflicts: 1364000 | #Constraints: 39383
2049.23/2055.06 c #Conflicts: 1365000 | #Constraints: 40383
2049.23/2055.06 c #Conflicts: 1366000 | #Constraints: 41383
2049.23/2055.06 c #Conflicts: 1367000 | #Constraints: 42383
2049.23/2055.06 c #Conflicts: 1368000 | #Constraints: 43383
2049.23/2055.06 c #Conflicts: 1369000 | #Constraints: 44383
2049.23/2055.06 c #Conflicts: 1370000 | #Constraints: 45383
2049.23/2055.06 c #Conflicts: 1371000 | #Constraints: 46383
2049.23/2055.06 c INPROCESSING
2049.23/2055.06 c GARBAGE COLLECT
2049.23/2055.06 c #Conflicts: 1372000 | #Constraints: 24186
2049.23/2055.06 c #Conflicts: 1373000 | #Constraints: 25186
2049.23/2055.06 c #Conflicts: 1374000 | #Constraints: 26186
2049.23/2055.06 c #Conflicts: 1375000 | #Constraints: 27186
2049.23/2055.06 c #Conflicts: 1376000 | #Constraints: 28186
2049.23/2055.06 c #Conflicts: 1377000 | #Constraints: 29186
2049.23/2055.06 c #Conflicts: 1378000 | #Constraints: 30186
2049.23/2055.06 c #Conflicts: 1379000 | #Constraints: 31186
2049.23/2055.06 c #Conflicts: 1380000 | #Constraints: 32186
2049.23/2055.06 c #Conflicts: 1381000 | #Constraints: 33186
2049.23/2055.06 c #Conflicts: 1382000 | #Constraints: 34186
2049.23/2055.06 c #Conflicts: 1383000 | #Constraints: 35186
2049.23/2055.06 c #Conflicts: 1384000 | #Constraints: 36186
2049.23/2055.06 c #Conflicts: 1385000 | #Constraints: 37186
2049.23/2055.06 c #Conflicts: 1386000 | #Constraints: 38186
2049.23/2055.06 c #Conflicts: 1387000 | #Constraints: 39186
2049.23/2055.06 c #Conflicts: 1388000 | #Constraints: 40186
2049.23/2055.06 c #Conflicts: 1389000 | #Constraints: 41186
2049.23/2055.06 c #Conflicts: 1390000 | #Constraints: 42186
2049.23/2055.06 c #Conflicts: 1391000 | #Constraints: 43186
2049.23/2055.06 c #Conflicts: 1392000 | #Constraints: 44186
2049.23/2055.06 c #Conflicts: 1393000 | #Constraints: 45186
2049.23/2055.06 c #Conflicts: 1394000 | #Constraints: 46186
2049.23/2055.06 c #Conflicts: 1395000 | #Constraints: 47186
2049.23/2055.06 c INPROCESSING
2049.23/2055.06 c GARBAGE COLLECT
2049.23/2055.06 c #Conflicts: 1396000 | #Constraints: 24785
2049.23/2055.06 c #Conflicts: 1397000 | #Constraints: 25785
2049.23/2055.06 c #Conflicts: 1398000 | #Constraints: 26785
2049.23/2055.06 c #Conflicts: 1399000 | #Constraints: 27785
2049.23/2055.06 c #Conflicts: 1400000 | #Constraints: 28785
2049.23/2055.06 c #Conflicts: 1401000 | #Constraints: 29785
2049.23/2055.06 c #Conflicts: 1402000 | #Constraints: 30785
2049.23/2055.06 c #Conflicts: 1403000 | #Constraints: 31785
2049.23/2055.06 c #Conflicts: 1404000 | #Constraints: 32785
2049.23/2055.06 c #Conflicts: 1405000 | #Constraints: 33785
2049.23/2055.06 c #Conflicts: 1406000 | #Constraints: 34785
2049.23/2055.06 c #Conflicts: 1407000 | #Constraints: 35785
2049.23/2055.06 c #Conflicts: 1408000 | #Constraints: 36785
2049.23/2055.06 c #Conflicts: 1409000 | #Constraints: 37785
2049.23/2055.06 c #Conflicts: 1410000 | #Constraints: 38785
2049.23/2055.06 c #Conflicts: 1411000 | #Constraints: 39785
2049.23/2055.06 c #Conflicts: 1412000 | #Constraints: 40785
2049.23/2055.06 c #Conflicts: 1413000 | #Constraints: 41785
2049.23/2055.06 c #Conflicts: 1414000 | #Constraints: 42785
2049.23/2055.06 c #Conflicts: 1415000 | #Constraints: 43785
2049.23/2055.06 c #Conflicts: 1416000 | #Constraints: 44785
2049.23/2055.06 c #Conflicts: 1417000 | #Constraints: 45785
2049.23/2055.06 c #Conflicts: 1418000 | #Constraints: 46785
2049.23/2055.06 c #Conflicts: 1419000 | #Constraints: 47785
2049.23/2055.06 c INPROCESSING
2049.23/2055.06 c GARBAGE COLLECT
2049.23/2055.06 c #Conflicts: 1420000 | #Constraints: 25187
2049.23/2055.06 c #Conflicts: 1421000 | #Constraints: 26187
2049.23/2055.06 c #Conflicts: 1422000 | #Constraints: 27187
2049.23/2055.06 c #Conflicts: 1423000 | #Constraints: 28187
2049.23/2055.06 c #Conflicts: 1424000 | #Constraints: 29187
2227.75/2234.08 c #Conflicts: 1425000 | #Constraints: 30187
2227.75/2234.08 c #Conflicts: 1426000 | #Constraints: 31187
2227.75/2234.08 c #Conflicts: 1427000 | #Constraints: 32187
2227.75/2234.08 c #Conflicts: 1428000 | #Constraints: 33187
2227.75/2234.08 c #Conflicts: 1429000 | #Constraints: 34187
2227.75/2234.08 c #Conflicts: 1430000 | #Constraints: 35187
2227.75/2234.08 c #Conflicts: 1431000 | #Constraints: 36187
2227.75/2234.08 c #Conflicts: 1432000 | #Constraints: 37187
2227.75/2234.08 c #Conflicts: 1433000 | #Constraints: 38187
2227.75/2234.08 c #Conflicts: 1434000 | #Constraints: 39187
2227.75/2234.08 c #Conflicts: 1435000 | #Constraints: 40187
2227.75/2234.08 c #Conflicts: 1436000 | #Constraints: 41187
2227.75/2234.08 c #Conflicts: 1437000 | #Constraints: 42187
2227.75/2234.08 c #Conflicts: 1438000 | #Constraints: 43187
2227.75/2234.08 c #Conflicts: 1439000 | #Constraints: 44187
2227.75/2234.08 c #Conflicts: 1440000 | #Constraints: 45187
2227.75/2234.08 c #Conflicts: 1441000 | #Constraints: 46187
2227.75/2234.08 c #Conflicts: 1442000 | #Constraints: 47187
2227.75/2234.08 c #Conflicts: 1443000 | #Constraints: 48187
2227.75/2234.08 c INPROCESSING
2227.75/2234.08 c GARBAGE COLLECT
2227.75/2234.08 c #Conflicts: 1444000 | #Constraints: 25394
2227.75/2234.08 c #Conflicts: 1445000 | #Constraints: 26394
2227.75/2234.08 c #Conflicts: 1446000 | #Constraints: 27394
2227.75/2234.08 c #Conflicts: 1447000 | #Constraints: 28394
2227.75/2234.08 c #Conflicts: 1448000 | #Constraints: 29394
2227.75/2234.08 c #Conflicts: 1449000 | #Constraints: 30394
2227.75/2234.08 c #Conflicts: 1450000 | #Constraints: 31394
2227.75/2234.08 c #Conflicts: 1451000 | #Constraints: 32394
2227.75/2234.08 c #Conflicts: 1452000 | #Constraints: 33394
2227.75/2234.08 c #Conflicts: 1453000 | #Constraints: 34394
2227.75/2234.08 c #Conflicts: 1454000 | #Constraints: 35394
2227.75/2234.08 c #Conflicts: 1455000 | #Constraints: 36394
2227.75/2234.08 c #Conflicts: 1456000 | #Constraints: 37394
2227.75/2234.08 c #Conflicts: 1457000 | #Constraints: 38394
2227.75/2234.08 c #Conflicts: 1458000 | #Constraints: 39394
2227.75/2234.08 c #Conflicts: 1459000 | #Constraints: 40394
2227.75/2234.08 c #Conflicts: 1460000 | #Constraints: 41394
2227.75/2234.08 c #Conflicts: 1461000 | #Constraints: 42394
2227.75/2234.08 c #Conflicts: 1462000 | #Constraints: 43394
2227.75/2234.08 c #Conflicts: 1463000 | #Constraints: 44394
2227.75/2234.08 c #Conflicts: 1464000 | #Constraints: 45394
2227.75/2234.08 c #Conflicts: 1465000 | #Constraints: 46394
2227.75/2234.08 c #Conflicts: 1466000 | #Constraints: 47394
2227.75/2234.08 c #Conflicts: 1467000 | #Constraints: 48394
2227.75/2234.08 c INPROCESSING
2227.75/2234.08 c GARBAGE COLLECT
2227.75/2234.08 c #Conflicts: 1468000 | #Constraints: 25394
2227.75/2234.08 c #Conflicts: 1469000 | #Constraints: 26394
2227.75/2234.08 c #Conflicts: 1470000 | #Constraints: 27394
2227.75/2234.08 c #Conflicts: 1471000 | #Constraints: 28394
2227.75/2234.08 c #Conflicts: 1472000 | #Constraints: 29394
2227.75/2234.08 c #Conflicts: 1473000 | #Constraints: 30394
2227.75/2234.08 c #Conflicts: 1474000 | #Constraints: 31394
2227.75/2234.08 c #Conflicts: 1475000 | #Constraints: 32394
2227.75/2234.08 c #Conflicts: 1476000 | #Constraints: 33394
2227.75/2234.08 c #Conflicts: 1477000 | #Constraints: 34394
2227.75/2234.08 c #Conflicts: 1478000 | #Constraints: 35394
2227.75/2234.08 c #Conflicts: 1479000 | #Constraints: 36394
2227.75/2234.08 c #Conflicts: 1480000 | #Constraints: 37394
2227.75/2234.08 c #Conflicts: 1481000 | #Constraints: 38394
2227.75/2234.08 c #Conflicts: 1482000 | #Constraints: 39394
2227.75/2234.08 c #Conflicts: 1483000 | #Constraints: 40394
2227.75/2234.08 c #Conflicts: 1484000 | #Constraints: 41394
2227.75/2234.08 c #Conflicts: 1485000 | #Constraints: 42394
2227.75/2234.08 c #Conflicts: 1486000 | #Constraints: 43394
2227.75/2234.08 c #Conflicts: 1487000 | #Constraints: 44394
2227.75/2234.08 c #Conflicts: 1488000 | #Constraints: 45394
2227.75/2234.08 c #Conflicts: 1489000 | #Constraints: 46394
2227.75/2234.08 c #Conflicts: 1490000 | #Constraints: 47394
2227.75/2234.08 c #Conflicts: 1491000 | #Constraints: 48394
2227.75/2234.08 c INPROCESSING
2227.75/2234.08 c GARBAGE COLLECT
2227.75/2234.08 c #Conflicts: 1492000 | #Constraints: 25193
2227.75/2234.08 c #Conflicts: 1493000 | #Constraints: 26193
2227.75/2234.08 c #Conflicts: 1494000 | #Constraints: 27193
2227.75/2234.08 c #Conflicts: 1495000 | #Constraints: 28193
2227.75/2234.08 c #Conflicts: 1496000 | #Constraints: 29193
2227.75/2234.08 c #Conflicts: 1497000 | #Constraints: 30193
2227.75/2234.08 c #Conflicts: 1498000 | #Constraints: 31193
2227.75/2234.08 c #Conflicts: 1499000 | #Constraints: 32193
2227.75/2234.08 c #Conflicts: 1500000 | #Constraints: 33193
2227.75/2234.08 c #Conflicts: 1501000 | #Constraints: 34193
2400.28/2407.04 c #Conflicts: 1502000 | #Constraints: 35193
2400.28/2407.04 c #Conflicts: 1503000 | #Constraints: 36193
2400.28/2407.04 c #Conflicts: 1504000 | #Constraints: 37193
2400.28/2407.04 c #Conflicts: 1505000 | #Constraints: 38193
2400.28/2407.04 c #Conflicts: 1506000 | #Constraints: 39193
2400.28/2407.04 c #Conflicts: 1507000 | #Constraints: 40193
2400.28/2407.04 c #Conflicts: 1508000 | #Constraints: 41193
2400.28/2407.04 c #Conflicts: 1509000 | #Constraints: 42193
2400.28/2407.04 c #Conflicts: 1510000 | #Constraints: 43193
2400.28/2407.04 c #Conflicts: 1511000 | #Constraints: 44193
2400.28/2407.04 c #Conflicts: 1512000 | #Constraints: 45193
2400.28/2407.04 c #Conflicts: 1513000 | #Constraints: 46193
2400.28/2407.04 c #Conflicts: 1514000 | #Constraints: 47193
2400.28/2407.04 c #Conflicts: 1515000 | #Constraints: 48193
2400.28/2407.04 c #Conflicts: 1516000 | #Constraints: 49193
2400.28/2407.04 c INPROCESSING
2400.28/2407.04 c GARBAGE COLLECT
2400.28/2407.04 c #Conflicts: 1517000 | #Constraints: 25790
2400.28/2407.04 c #Conflicts: 1518000 | #Constraints: 26790
2400.28/2407.04 c #Conflicts: 1519000 | #Constraints: 27790
2400.28/2407.04 c #Conflicts: 1520000 | #Constraints: 28790
2400.28/2407.04 c #Conflicts: 1521000 | #Constraints: 29790
2400.28/2407.04 c #Conflicts: 1522000 | #Constraints: 30790
2400.28/2407.04 c #Conflicts: 1523000 | #Constraints: 31790
2400.28/2407.04 c #Conflicts: 1524000 | #Constraints: 32790
2400.28/2407.04 c #Conflicts: 1525000 | #Constraints: 33790
2400.28/2407.04 c #Conflicts: 1526000 | #Constraints: 34790
2400.28/2407.04 c #Conflicts: 1527000 | #Constraints: 35790
2400.28/2407.04 c #Conflicts: 1528000 | #Constraints: 36790
2400.28/2407.04 c #Conflicts: 1529000 | #Constraints: 37790
2400.28/2407.04 c #Conflicts: 1530000 | #Constraints: 38790
2400.28/2407.04 c #Conflicts: 1531000 | #Constraints: 39790
2400.28/2407.04 c #Conflicts: 1532000 | #Constraints: 40790
2400.28/2407.04 c #Conflicts: 1533000 | #Constraints: 41790
2400.28/2407.04 c #Conflicts: 1534000 | #Constraints: 42790
2400.28/2407.04 c #Conflicts: 1535000 | #Constraints: 43790
2400.28/2407.04 c #Conflicts: 1536000 | #Constraints: 44790
2400.28/2407.04 c #Conflicts: 1537000 | #Constraints: 45790
2400.28/2407.04 c #Conflicts: 1538000 | #Constraints: 46790
2400.28/2407.04 c #Conflicts: 1539000 | #Constraints: 47790
2400.28/2407.04 c #Conflicts: 1540000 | #Constraints: 48790
2400.28/2407.04 c #Conflicts: 1541000 | #Constraints: 49790
2400.28/2407.04 c INPROCESSING
2400.28/2407.04 c GARBAGE COLLECT
2400.28/2407.04 c #Conflicts: 1542000 | #Constraints: 26187
2400.28/2407.04 c #Conflicts: 1543000 | #Constraints: 27187
2400.28/2407.04 c #Conflicts: 1544000 | #Constraints: 28187
2400.28/2407.04 c #Conflicts: 1545000 | #Constraints: 29187
2400.28/2407.04 c #Conflicts: 1546000 | #Constraints: 30187
2400.28/2407.04 c #Conflicts: 1547000 | #Constraints: 31187
2400.28/2407.04 c #Conflicts: 1548000 | #Constraints: 32187
2400.28/2407.04 c #Conflicts: 1549000 | #Constraints: 33187
2400.28/2407.04 c #Conflicts: 1550000 | #Constraints: 34187
2400.28/2407.04 c #Conflicts: 1551000 | #Constraints: 35187
2400.28/2407.04 c #Conflicts: 1552000 | #Constraints: 36187
2400.28/2407.04 c #Conflicts: 1553000 | #Constraints: 37187
2400.28/2407.04 c #Conflicts: 1554000 | #Constraints: 38187
2400.28/2407.04 c #Conflicts: 1555000 | #Constraints: 39187
2400.28/2407.04 c #Conflicts: 1556000 | #Constraints: 40187
2400.28/2407.04 c #Conflicts: 1557000 | #Constraints: 41187
2400.28/2407.04 c #Conflicts: 1558000 | #Constraints: 42187
2400.28/2407.04 c #Conflicts: 1559000 | #Constraints: 43187
2400.28/2407.04 c #Conflicts: 1560000 | #Constraints: 44187
2400.28/2407.04 c #Conflicts: 1561000 | #Constraints: 45187
2400.28/2407.04 c #Conflicts: 1562000 | #Constraints: 46187
2400.28/2407.04 c #Conflicts: 1563000 | #Constraints: 47187
2400.28/2407.04 c #Conflicts: 1564000 | #Constraints: 48187
2400.28/2407.04 c #Conflicts: 1565000 | #Constraints: 49187
2400.28/2407.04 c #Conflicts: 1566000 | #Constraints: 50187
2400.28/2407.04 c INPROCESSING
2400.28/2407.04 c GARBAGE COLLECT
2400.28/2407.04 c #Conflicts: 1567000 | #Constraints: 26390
2400.28/2407.04 c #Conflicts: 1568000 | #Constraints: 27390
2400.28/2407.04 c #Conflicts: 1569000 | #Constraints: 28390
2400.28/2407.04 c #Conflicts: 1570000 | #Constraints: 29390
2400.28/2407.04 c #Conflicts: 1571000 | #Constraints: 30390
2400.28/2407.04 c #Conflicts: 1572000 | #Constraints: 31390
2400.28/2407.04 c #Conflicts: 1573000 | #Constraints: 32390
2400.28/2407.04 c #Conflicts: 1574000 | #Constraints: 33390
2400.28/2407.04 c #Conflicts: 1575000 | #Constraints: 34390
2400.28/2407.04 c #Conflicts: 1576000 | #Constraints: 35390
2400.28/2407.04 c #Conflicts: 1577000 | #Constraints: 36390
2400.28/2407.04 c #Conflicts: 1578000 | #Constraints: 37390
2568.41/2575.60 c #Conflicts: 1579000 | #Constraints: 38390
2568.41/2575.60 c #Conflicts: 1580000 | #Constraints: 39390
2568.41/2575.60 c #Conflicts: 1581000 | #Constraints: 40390
2568.41/2575.60 c #Conflicts: 1582000 | #Constraints: 41390
2568.41/2575.60 c #Conflicts: 1583000 | #Constraints: 42390
2568.41/2575.60 c #Conflicts: 1584000 | #Constraints: 43390
2568.41/2575.60 c #Conflicts: 1585000 | #Constraints: 44390
2568.41/2575.60 c #Conflicts: 1586000 | #Constraints: 45390
2568.41/2575.60 c #Conflicts: 1587000 | #Constraints: 46390
2568.41/2575.60 c #Conflicts: 1588000 | #Constraints: 47390
2568.41/2575.60 c #Conflicts: 1589000 | #Constraints: 48390
2568.41/2575.60 c #Conflicts: 1590000 | #Constraints: 49390
2568.41/2575.60 c #Conflicts: 1591000 | #Constraints: 50390
2568.41/2575.60 c INPROCESSING
2568.41/2575.60 c GARBAGE COLLECT
2568.41/2575.60 c #Conflicts: 1592000 | #Constraints: 26388
2568.41/2575.60 c #Conflicts: 1593000 | #Constraints: 27388
2568.41/2575.60 c #Conflicts: 1594000 | #Constraints: 28388
2568.41/2575.60 c #Conflicts: 1595000 | #Constraints: 29388
2568.41/2575.60 c #Conflicts: 1596000 | #Constraints: 30388
2568.41/2575.60 c #Conflicts: 1597000 | #Constraints: 31388
2568.41/2575.60 c #Conflicts: 1598000 | #Constraints: 32388
2568.41/2575.60 c #Conflicts: 1599000 | #Constraints: 33388
2568.41/2575.60 c #Conflicts: 1600000 | #Constraints: 34388
2568.41/2575.60 c #Conflicts: 1601000 | #Constraints: 35388
2568.41/2575.60 c #Conflicts: 1602000 | #Constraints: 36388
2568.41/2575.60 c #Conflicts: 1603000 | #Constraints: 37388
2568.41/2575.60 c #Conflicts: 1604000 | #Constraints: 38388
2568.41/2575.60 c #Conflicts: 1605000 | #Constraints: 39388
2568.41/2575.60 c #Conflicts: 1606000 | #Constraints: 40388
2568.41/2575.60 c #Conflicts: 1607000 | #Constraints: 41388
2568.41/2575.60 c #Conflicts: 1608000 | #Constraints: 42388
2568.41/2575.60 c #Conflicts: 1609000 | #Constraints: 43388
2568.41/2575.60 c #Conflicts: 1610000 | #Constraints: 44388
2568.41/2575.60 c #Conflicts: 1611000 | #Constraints: 45388
2568.41/2575.60 c #Conflicts: 1612000 | #Constraints: 46388
2568.41/2575.60 c #Conflicts: 1613000 | #Constraints: 47388
2568.41/2575.60 c #Conflicts: 1614000 | #Constraints: 48388
2568.41/2575.60 c #Conflicts: 1615000 | #Constraints: 49388
2568.41/2575.60 c #Conflicts: 1616000 | #Constraints: 50388
2568.41/2575.60 c INPROCESSING
2568.41/2575.60 c GARBAGE COLLECT
2568.41/2575.60 c #Conflicts: 1617000 | #Constraints: 26193
2568.41/2575.60 c #Conflicts: 1618000 | #Constraints: 27193
2568.41/2575.60 c #Conflicts: 1619000 | #Constraints: 28193
2568.41/2575.60 c #Conflicts: 1620000 | #Constraints: 29193
2568.41/2575.60 c #Conflicts: 1621000 | #Constraints: 30193
2568.41/2575.60 c #Conflicts: 1622000 | #Constraints: 31193
2568.41/2575.60 c #Conflicts: 1623000 | #Constraints: 32193
2568.41/2575.60 c #Conflicts: 1624000 | #Constraints: 33193
2568.41/2575.60 c #Conflicts: 1625000 | #Constraints: 34193
2568.41/2575.60 c #Conflicts: 1626000 | #Constraints: 35193
2568.41/2575.60 c #Conflicts: 1627000 | #Constraints: 36193
2568.41/2575.60 c #Conflicts: 1628000 | #Constraints: 37193
2568.41/2575.60 c #Conflicts: 1629000 | #Constraints: 38193
2568.41/2575.60 c #Conflicts: 1630000 | #Constraints: 39193
2568.41/2575.60 c #Conflicts: 1631000 | #Constraints: 40193
2568.41/2575.60 c #Conflicts: 1632000 | #Constraints: 41193
2568.41/2575.60 c #Conflicts: 1633000 | #Constraints: 42193
2568.41/2575.60 c #Conflicts: 1634000 | #Constraints: 43193
2568.41/2575.60 c #Conflicts: 1635000 | #Constraints: 44193
2568.41/2575.60 c #Conflicts: 1636000 | #Constraints: 45193
2568.41/2575.60 c #Conflicts: 1637000 | #Constraints: 46193
2568.41/2575.60 c #Conflicts: 1638000 | #Constraints: 47193
2568.41/2575.60 c #Conflicts: 1639000 | #Constraints: 48193
2568.41/2575.60 c #Conflicts: 1640000 | #Constraints: 49193
2568.41/2575.60 c #Conflicts: 1641000 | #Constraints: 50193
2568.41/2575.60 c #Conflicts: 1642000 | #Constraints: 51193
2568.41/2575.60 c INPROCESSING
2568.41/2575.60 c GARBAGE COLLECT
2568.41/2575.60 c #Conflicts: 1643000 | #Constraints: 26796
2568.41/2575.60 c #Conflicts: 1644000 | #Constraints: 27796
2568.41/2575.60 c #Conflicts: 1645000 | #Constraints: 28796
2568.41/2575.60 c #Conflicts: 1646000 | #Constraints: 29796
2568.41/2575.60 c #Conflicts: 1647000 | #Constraints: 30796
2568.41/2575.60 c #Conflicts: 1648000 | #Constraints: 31796
2568.41/2575.60 c #Conflicts: 1649000 | #Constraints: 32796
2568.41/2575.60 c #Conflicts: 1650000 | #Constraints: 33796
2568.41/2575.60 c #Conflicts: 1651000 | #Constraints: 34796
2568.41/2575.60 c #Conflicts: 1652000 | #Constraints: 35796
2568.41/2575.60 c #Conflicts: 1653000 | #Constraints: 36796
2568.41/2575.60 c #Conflicts: 1654000 | #Constraints: 37796
2777.53/2785.38 c #Conflicts: 1655000 | #Constraints: 38796
2777.53/2785.38 c #Conflicts: 1656000 | #Constraints: 39796
2777.53/2785.38 c #Conflicts: 1657000 | #Constraints: 40796
2777.53/2785.38 c #Conflicts: 1658000 | #Constraints: 41796
2777.53/2785.38 c #Conflicts: 1659000 | #Constraints: 42796
2777.53/2785.38 c #Conflicts: 1660000 | #Constraints: 43796
2777.53/2785.38 c #Conflicts: 1661000 | #Constraints: 44796
2777.53/2785.38 c #Conflicts: 1662000 | #Constraints: 45796
2777.53/2785.38 c #Conflicts: 1663000 | #Constraints: 46796
2777.53/2785.38 c #Conflicts: 1664000 | #Constraints: 47796
2777.53/2785.38 c #Conflicts: 1665000 | #Constraints: 48796
2777.53/2785.38 c #Conflicts: 1666000 | #Constraints: 49796
2777.53/2785.38 c #Conflicts: 1667000 | #Constraints: 50796
2777.53/2785.38 c #Conflicts: 1668000 | #Constraints: 51796
2777.53/2785.38 c INPROCESSING
2777.53/2785.38 c GARBAGE COLLECT
2777.53/2785.38 c #Conflicts: 1669000 | #Constraints: 27194
2777.53/2785.38 c #Conflicts: 1670000 | #Constraints: 28194
2777.53/2785.38 c #Conflicts: 1671000 | #Constraints: 29194
2777.53/2785.38 c #Conflicts: 1672000 | #Constraints: 30194
2777.53/2785.38 c #Conflicts: 1673000 | #Constraints: 31194
2777.53/2785.38 c #Conflicts: 1674000 | #Constraints: 32194
2777.53/2785.38 c #Conflicts: 1675000 | #Constraints: 33194
2777.53/2785.38 c #Conflicts: 1676000 | #Constraints: 34194
2777.53/2785.38 c #Conflicts: 1677000 | #Constraints: 35194
2777.53/2785.38 c #Conflicts: 1678000 | #Constraints: 36194
2777.53/2785.38 c #Conflicts: 1679000 | #Constraints: 37194
2777.53/2785.38 c #Conflicts: 1680000 | #Constraints: 38194
2777.53/2785.38 c #Conflicts: 1681000 | #Constraints: 39194
2777.53/2785.38 c #Conflicts: 1682000 | #Constraints: 40194
2777.53/2785.38 c #Conflicts: 1683000 | #Constraints: 41194
2777.53/2785.38 c #Conflicts: 1684000 | #Constraints: 42194
2777.53/2785.38 c #Conflicts: 1685000 | #Constraints: 43194
2777.53/2785.38 c #Conflicts: 1686000 | #Constraints: 44194
2777.53/2785.38 c #Conflicts: 1687000 | #Constraints: 45194
2777.53/2785.38 c #Conflicts: 1688000 | #Constraints: 46194
2777.53/2785.38 c #Conflicts: 1689000 | #Constraints: 47194
2777.53/2785.38 c #Conflicts: 1690000 | #Constraints: 48194
2777.53/2785.38 c #Conflicts: 1691000 | #Constraints: 49194
2777.53/2785.38 c #Conflicts: 1692000 | #Constraints: 50194
2777.53/2785.38 c #Conflicts: 1693000 | #Constraints: 51194
2777.53/2785.38 c #Conflicts: 1694000 | #Constraints: 52194
2777.53/2785.38 c INPROCESSING
2777.53/2785.38 c GARBAGE COLLECT
2777.53/2785.38 c #Conflicts: 1695000 | #Constraints: 27393
2777.53/2785.38 c #Conflicts: 1696000 | #Constraints: 28393
2777.53/2785.38 c #Conflicts: 1697000 | #Constraints: 29393
2777.53/2785.38 c #Conflicts: 1698000 | #Constraints: 30393
2777.53/2785.38 c #Conflicts: 1699000 | #Constraints: 31393
2777.53/2785.38 c #Conflicts: 1700000 | #Constraints: 32393
2777.53/2785.38 c #Conflicts: 1701000 | #Constraints: 33393
2777.53/2785.38 c #Conflicts: 1702000 | #Constraints: 34393
2777.53/2785.38 c #Conflicts: 1703000 | #Constraints: 35393
2777.53/2785.38 c #Conflicts: 1704000 | #Constraints: 36393
2777.53/2785.38 c #Conflicts: 1705000 | #Constraints: 37393
2777.53/2785.38 c #Conflicts: 1706000 | #Constraints: 38393
2777.53/2785.38 c #Conflicts: 1707000 | #Constraints: 39393
2777.53/2785.38 c #Conflicts: 1708000 | #Constraints: 40393
2777.53/2785.38 c #Conflicts: 1709000 | #Constraints: 41393
2777.53/2785.38 c #Conflicts: 1710000 | #Constraints: 42393
2777.53/2785.38 c #Conflicts: 1711000 | #Constraints: 43393
2777.53/2785.38 c #Conflicts: 1712000 | #Constraints: 44393
2777.53/2785.38 c #Conflicts: 1713000 | #Constraints: 45393
2777.53/2785.38 c #Conflicts: 1714000 | #Constraints: 46393
2777.53/2785.38 c #Conflicts: 1715000 | #Constraints: 47393
2777.53/2785.38 c #Conflicts: 1716000 | #Constraints: 48393
2777.53/2785.38 c #Conflicts: 1717000 | #Constraints: 49393
2777.53/2785.38 c #Conflicts: 1718000 | #Constraints: 50393
2777.53/2785.38 c #Conflicts: 1719000 | #Constraints: 51393
2777.53/2785.38 c #Conflicts: 1720000 | #Constraints: 52393
2777.53/2785.38 c INPROCESSING
2777.53/2785.38 c GARBAGE COLLECT
2777.53/2785.38 c #Conflicts: 1721000 | #Constraints: 27395
2777.53/2785.38 c #Conflicts: 1722000 | #Constraints: 28395
2777.53/2785.38 c #Conflicts: 1723000 | #Constraints: 29395
2777.53/2785.38 c #Conflicts: 1724000 | #Constraints: 30395
2777.53/2785.38 c #Conflicts: 1725000 | #Constraints: 31395
2777.53/2785.38 c #Conflicts: 1726000 | #Constraints: 32395
2777.53/2785.38 c #Conflicts: 1727000 | #Constraints: 33395
2777.53/2785.38 c #Conflicts: 1728000 | #Constraints: 34395
2777.53/2785.38 c #Conflicts: 1729000 | #Constraints: 35395
2777.53/2785.38 c #Conflicts: 1730000 | #Constraints: 36395
2777.53/2785.38 c #Conflicts: 1731000 | #Constraints: 37395
3014.34/3022.87 c #Conflicts: 1732000 | #Constraints: 38395
3014.34/3022.87 c #Conflicts: 1733000 | #Constraints: 39395
3014.34/3022.87 c #Conflicts: 1734000 | #Constraints: 40395
3014.34/3022.87 c #Conflicts: 1735000 | #Constraints: 41395
3014.34/3022.87 c #Conflicts: 1736000 | #Constraints: 42395
3014.34/3022.87 c #Conflicts: 1737000 | #Constraints: 43395
3014.34/3022.87 c #Conflicts: 1738000 | #Constraints: 44395
3014.34/3022.87 c #Conflicts: 1739000 | #Constraints: 45395
3014.34/3022.87 c #Conflicts: 1740000 | #Constraints: 46395
3014.34/3022.87 c #Conflicts: 1741000 | #Constraints: 47395
3014.34/3022.87 c #Conflicts: 1742000 | #Constraints: 48395
3014.34/3022.87 c #Conflicts: 1743000 | #Constraints: 49395
3014.34/3022.87 c #Conflicts: 1744000 | #Constraints: 50395
3014.34/3022.87 c #Conflicts: 1745000 | #Constraints: 51395
3014.34/3022.87 c #Conflicts: 1746000 | #Constraints: 52395
3014.34/3022.87 c INPROCESSING
3014.34/3022.87 c GARBAGE COLLECT
3014.34/3022.87 c #Conflicts: 1747000 | #Constraints: 27196
3014.34/3022.87 c #Conflicts: 1748000 | #Constraints: 28196
3014.34/3022.87 c #Conflicts: 1749000 | #Constraints: 29196
3014.34/3022.87 c #Conflicts: 1750000 | #Constraints: 30196
3014.34/3022.87 c #Conflicts: 1751000 | #Constraints: 31196
3014.34/3022.87 c #Conflicts: 1752000 | #Constraints: 32196
3014.34/3022.87 c #Conflicts: 1753000 | #Constraints: 33196
3014.34/3022.87 c #Conflicts: 1754000 | #Constraints: 34196
3014.34/3022.87 c #Conflicts: 1755000 | #Constraints: 35196
3014.34/3022.87 c #Conflicts: 1756000 | #Constraints: 36196
3014.34/3022.87 c #Conflicts: 1757000 | #Constraints: 37196
3014.34/3022.87 c #Conflicts: 1758000 | #Constraints: 38196
3014.34/3022.87 c #Conflicts: 1759000 | #Constraints: 39196
3014.34/3022.87 c #Conflicts: 1760000 | #Constraints: 40196
3014.34/3022.87 c #Conflicts: 1761000 | #Constraints: 41196
3014.34/3022.87 c #Conflicts: 1762000 | #Constraints: 42196
3014.34/3022.87 c #Conflicts: 1763000 | #Constraints: 43196
3014.34/3022.87 c #Conflicts: 1764000 | #Constraints: 44196
3014.34/3022.87 c #Conflicts: 1765000 | #Constraints: 45196
3014.34/3022.87 c #Conflicts: 1766000 | #Constraints: 46196
3014.34/3022.87 c #Conflicts: 1767000 | #Constraints: 47196
3014.34/3022.87 c #Conflicts: 1768000 | #Constraints: 48196
3014.34/3022.87 c #Conflicts: 1769000 | #Constraints: 49196
3014.34/3022.87 c #Conflicts: 1770000 | #Constraints: 50196
3014.34/3022.87 c #Conflicts: 1771000 | #Constraints: 51196
3014.34/3022.87 c #Conflicts: 1772000 | #Constraints: 52196
3014.34/3022.87 c #Conflicts: 1773000 | #Constraints: 53196
3014.34/3022.87 c INPROCESSING
3014.34/3022.87 c GARBAGE COLLECT
3014.34/3022.87 c #Conflicts: 1774000 | #Constraints: 27799
3014.34/3022.87 c #Conflicts: 1775000 | #Constraints: 28799
3014.34/3022.87 c #Conflicts: 1776000 | #Constraints: 29799
3014.34/3022.87 c #Conflicts: 1777000 | #Constraints: 30799
3014.34/3022.87 c #Conflicts: 1778000 | #Constraints: 31799
3014.34/3022.87 c #Conflicts: 1779000 | #Constraints: 32799
3014.34/3022.87 c #Conflicts: 1780000 | #Constraints: 33799
3014.34/3022.87 c #Conflicts: 1781000 | #Constraints: 34799
3014.34/3022.87 c #Conflicts: 1782000 | #Constraints: 35799
3014.34/3022.87 c #Conflicts: 1783000 | #Constraints: 36799
3014.34/3022.87 c #Conflicts: 1784000 | #Constraints: 37799
3014.34/3022.87 c #Conflicts: 1785000 | #Constraints: 38799
3014.34/3022.87 c #Conflicts: 1786000 | #Constraints: 39799
3014.34/3022.87 c #Conflicts: 1787000 | #Constraints: 40799
3014.34/3022.87 c #Conflicts: 1788000 | #Constraints: 41799
3014.34/3022.87 c #Conflicts: 1789000 | #Constraints: 42799
3014.34/3022.87 c #Conflicts: 1790000 | #Constraints: 43799
3014.34/3022.87 c #Conflicts: 1791000 | #Constraints: 44799
3014.34/3022.87 c #Conflicts: 1792000 | #Constraints: 45799
3014.34/3022.87 c #Conflicts: 1793000 | #Constraints: 46799
3014.34/3022.87 c #Conflicts: 1794000 | #Constraints: 47799
3014.34/3022.87 c #Conflicts: 1795000 | #Constraints: 48799
3014.34/3022.87 c #Conflicts: 1796000 | #Constraints: 49799
3014.34/3022.87 c #Conflicts: 1797000 | #Constraints: 50799
3014.34/3022.87 c #Conflicts: 1798000 | #Constraints: 51799
3014.34/3022.87 c #Conflicts: 1799000 | #Constraints: 52799
3014.34/3022.87 c #Conflicts: 1800000 | #Constraints: 53799
3014.34/3022.87 c INPROCESSING
3014.34/3022.87 c GARBAGE COLLECT
3014.34/3022.87 c #Conflicts: 1801000 | #Constraints: 28192
3014.34/3022.87 c #Conflicts: 1802000 | #Constraints: 29192
3014.34/3022.87 c #Conflicts: 1803000 | #Constraints: 30192
3014.34/3022.87 c #Conflicts: 1804000 | #Constraints: 31192
3014.34/3022.87 c #Conflicts: 1805000 | #Constraints: 32192
3014.34/3022.87 c #Conflicts: 1806000 | #Constraints: 33192
3014.34/3022.87 c #Conflicts: 1807000 | #Constraints: 34192
3014.34/3022.87 c #Conflicts: 1808000 | #Constraints: 35192
3263.07/3272.27 c #Conflicts: 1809000 | #Constraints: 36192
3263.07/3272.27 c #Conflicts: 1810000 | #Constraints: 37192
3263.07/3272.27 c #Conflicts: 1811000 | #Constraints: 38192
3263.07/3272.27 c #Conflicts: 1812000 | #Constraints: 39192
3263.07/3272.27 c #Conflicts: 1813000 | #Constraints: 40192
3263.07/3272.27 c #Conflicts: 1814000 | #Constraints: 41192
3263.07/3272.27 c #Conflicts: 1815000 | #Constraints: 42192
3263.07/3272.27 c #Conflicts: 1816000 | #Constraints: 43192
3263.07/3272.27 c #Conflicts: 1817000 | #Constraints: 44192
3263.07/3272.27 c #Conflicts: 1818000 | #Constraints: 45192
3263.07/3272.27 c #Conflicts: 1819000 | #Constraints: 46192
3263.07/3272.27 c #Conflicts: 1820000 | #Constraints: 47192
3263.07/3272.27 c #Conflicts: 1821000 | #Constraints: 48192
3263.07/3272.27 c #Conflicts: 1822000 | #Constraints: 49192
3263.07/3272.27 c #Conflicts: 1823000 | #Constraints: 50192
3263.07/3272.27 c #Conflicts: 1824000 | #Constraints: 51192
3263.07/3272.27 c #Conflicts: 1825000 | #Constraints: 52192
3263.07/3272.27 c #Conflicts: 1826000 | #Constraints: 53192
3263.07/3272.27 c #Conflicts: 1827000 | #Constraints: 54192
3263.07/3272.27 c INPROCESSING
3263.07/3272.27 c GARBAGE COLLECT
3263.07/3272.27 c #Conflicts: 1828000 | #Constraints: 28396
3263.07/3272.27 c #Conflicts: 1829000 | #Constraints: 29396
3263.07/3272.27 c #Conflicts: 1830000 | #Constraints: 30396
3263.07/3272.27 c #Conflicts: 1831000 | #Constraints: 31396
3263.07/3272.27 c #Conflicts: 1832000 | #Constraints: 32396
3263.07/3272.27 c #Conflicts: 1833000 | #Constraints: 33396
3263.07/3272.27 c #Conflicts: 1834000 | #Constraints: 34396
3263.07/3272.27 c #Conflicts: 1835000 | #Constraints: 35396
3263.07/3272.27 c #Conflicts: 1836000 | #Constraints: 36396
3263.07/3272.27 c #Conflicts: 1837000 | #Constraints: 37396
3263.07/3272.27 c #Conflicts: 1838000 | #Constraints: 38396
3263.07/3272.27 c #Conflicts: 1839000 | #Constraints: 39396
3263.07/3272.27 c #Conflicts: 1840000 | #Constraints: 40396
3263.07/3272.27 c #Conflicts: 1841000 | #Constraints: 41396
3263.07/3272.27 c #Conflicts: 1842000 | #Constraints: 42396
3263.07/3272.27 c #Conflicts: 1843000 | #Constraints: 43396
3263.07/3272.27 c #Conflicts: 1844000 | #Constraints: 44396
3263.07/3272.27 c #Conflicts: 1845000 | #Constraints: 45396
3263.07/3272.27 c #Conflicts: 1846000 | #Constraints: 46396
3263.07/3272.27 c #Conflicts: 1847000 | #Constraints: 47396
3263.07/3272.27 c #Conflicts: 1848000 | #Constraints: 48396
3263.07/3272.27 c #Conflicts: 1849000 | #Constraints: 49396
3263.07/3272.27 c #Conflicts: 1850000 | #Constraints: 50396
3263.07/3272.27 c #Conflicts: 1851000 | #Constraints: 51396
3263.07/3272.27 c #Conflicts: 1852000 | #Constraints: 52396
3263.07/3272.27 c #Conflicts: 1853000 | #Constraints: 53396
3263.07/3272.27 c #Conflicts: 1854000 | #Constraints: 54396
3263.07/3272.27 c INPROCESSING
3263.07/3272.27 c GARBAGE COLLECT
3263.07/3272.27 c #Conflicts: 1855000 | #Constraints: 28392
3263.07/3272.27 c #Conflicts: 1856000 | #Constraints: 29392
3263.07/3272.27 c #Conflicts: 1857000 | #Constraints: 30392
3263.07/3272.27 c #Conflicts: 1858000 | #Constraints: 31392
3263.07/3272.27 c #Conflicts: 1859000 | #Constraints: 32392
3263.07/3272.27 c #Conflicts: 1860000 | #Constraints: 33392
3263.07/3272.27 c #Conflicts: 1861000 | #Constraints: 34392
3263.07/3272.27 c #Conflicts: 1862000 | #Constraints: 35392
3263.07/3272.27 c #Conflicts: 1863000 | #Constraints: 36392
3263.07/3272.27 c #Conflicts: 1864000 | #Constraints: 37392
3263.07/3272.27 c #Conflicts: 1865000 | #Constraints: 38392
3263.07/3272.27 c #Conflicts: 1866000 | #Constraints: 39392
3263.07/3272.27 c #Conflicts: 1867000 | #Constraints: 40392
3263.07/3272.27 c #Conflicts: 1868000 | #Constraints: 41392
3263.07/3272.27 c #Conflicts: 1869000 | #Constraints: 42392
3263.07/3272.27 c #Conflicts: 1870000 | #Constraints: 43392
3263.07/3272.27 c #Conflicts: 1871000 | #Constraints: 44392
3263.07/3272.27 c #Conflicts: 1872000 | #Constraints: 45392
3263.07/3272.27 c #Conflicts: 1873000 | #Constraints: 46392
3263.07/3272.27 c #Conflicts: 1874000 | #Constraints: 47392
3263.07/3272.27 c #Conflicts: 1875000 | #Constraints: 48392
3263.07/3272.27 c #Conflicts: 1876000 | #Constraints: 49392
3263.07/3272.27 c #Conflicts: 1877000 | #Constraints: 50392
3263.07/3272.27 c #Conflicts: 1878000 | #Constraints: 51392
3263.07/3272.27 c #Conflicts: 1879000 | #Constraints: 52392
3263.07/3272.27 c #Conflicts: 1880000 | #Constraints: 53392
3263.07/3272.27 c #Conflicts: 1881000 | #Constraints: 54392
3263.07/3272.27 c INPROCESSING
3263.07/3272.27 c GARBAGE COLLECT
3263.07/3272.27 c #Conflicts: 1882000 | #Constraints: 28195
3263.07/3272.27 c #Conflicts: 1883000 | #Constraints: 29195
3263.07/3272.27 c #Conflicts: 1884000 | #Constraints: 30195
3263.07/3272.27 c #Conflicts: 1885000 | #Constraints: 31195
3511.40/3521.26 c #Conflicts: 1886000 | #Constraints: 32195
3511.40/3521.26 c #Conflicts: 1887000 | #Constraints: 33195
3511.40/3521.26 c #Conflicts: 1888000 | #Constraints: 34195
3511.40/3521.26 c #Conflicts: 1889000 | #Constraints: 35195
3511.40/3521.26 c #Conflicts: 1890000 | #Constraints: 36195
3511.40/3521.26 c #Conflicts: 1891000 | #Constraints: 37195
3511.40/3521.26 c #Conflicts: 1892000 | #Constraints: 38195
3511.40/3521.26 c #Conflicts: 1893000 | #Constraints: 39195
3511.40/3521.26 c #Conflicts: 1894000 | #Constraints: 40195
3511.40/3521.26 c #Conflicts: 1895000 | #Constraints: 41195
3511.40/3521.26 c #Conflicts: 1896000 | #Constraints: 42195
3511.40/3521.26 c #Conflicts: 1897000 | #Constraints: 43195
3511.40/3521.26 c #Conflicts: 1898000 | #Constraints: 44195
3511.40/3521.26 c #Conflicts: 1899000 | #Constraints: 45195
3511.40/3521.26 c #Conflicts: 1900000 | #Constraints: 46195
3511.40/3521.26 c #Conflicts: 1901000 | #Constraints: 47195
3511.40/3521.26 c #Conflicts: 1902000 | #Constraints: 48195
3511.40/3521.26 c #Conflicts: 1903000 | #Constraints: 49195
3511.40/3521.26 c #Conflicts: 1904000 | #Constraints: 50195
3511.40/3521.26 c #Conflicts: 1905000 | #Constraints: 51195
3511.40/3521.26 c #Conflicts: 1906000 | #Constraints: 52195
3511.40/3521.26 c #Conflicts: 1907000 | #Constraints: 53195
3511.40/3521.26 c #Conflicts: 1908000 | #Constraints: 54195
3511.40/3521.26 c #Conflicts: 1909000 | #Constraints: 55195
3511.40/3521.26 c INPROCESSING
3511.40/3521.26 c GARBAGE COLLECT
3511.40/3521.26 c #Conflicts: 1910000 | #Constraints: 28788
3511.40/3521.26 c #Conflicts: 1911000 | #Constraints: 29788
3511.40/3521.26 c #Conflicts: 1912000 | #Constraints: 30788
3511.40/3521.26 c #Conflicts: 1913000 | #Constraints: 31788
3511.40/3521.26 c #Conflicts: 1914000 | #Constraints: 32788
3511.40/3521.26 c #Conflicts: 1915000 | #Constraints: 33788
3511.40/3521.26 c #Conflicts: 1916000 | #Constraints: 34788
3511.40/3521.26 c #Conflicts: 1917000 | #Constraints: 35788
3511.40/3521.26 c #Conflicts: 1918000 | #Constraints: 36788
3511.40/3521.26 c #Conflicts: 1919000 | #Constraints: 37788
3511.40/3521.26 c #Conflicts: 1920000 | #Constraints: 38788
3511.40/3521.26 c #Conflicts: 1921000 | #Constraints: 39788
3511.40/3521.26 c #Conflicts: 1922000 | #Constraints: 40788
3511.40/3521.26 c #Conflicts: 1923000 | #Constraints: 41788
3511.40/3521.26 c #Conflicts: 1924000 | #Constraints: 42788
3511.40/3521.26 c #Conflicts: 1925000 | #Constraints: 43788
3511.40/3521.26 c #Conflicts: 1926000 | #Constraints: 44788
3511.40/3521.26 c #Conflicts: 1927000 | #Constraints: 45788
3511.40/3521.26 c #Conflicts: 1928000 | #Constraints: 46788
3511.40/3521.26 c #Conflicts: 1929000 | #Constraints: 47788
3511.40/3521.26 c #Conflicts: 1930000 | #Constraints: 48788
3511.40/3521.26 c #Conflicts: 1931000 | #Constraints: 49788
3511.40/3521.26 c #Conflicts: 1932000 | #Constraints: 50788
3511.40/3521.26 c #Conflicts: 1933000 | #Constraints: 51788
3511.40/3521.26 c #Conflicts: 1934000 | #Constraints: 52788
3511.40/3521.26 c #Conflicts: 1935000 | #Constraints: 53788
3511.40/3521.26 c #Conflicts: 1936000 | #Constraints: 54788
3511.40/3521.26 c #Conflicts: 1937000 | #Constraints: 55788
3511.40/3521.26 c INPROCESSING
3511.40/3521.26 c GARBAGE COLLECT
3511.40/3521.26 c #Conflicts: 1938000 | #Constraints: 29187
3511.40/3521.26 c #Conflicts: 1939000 | #Constraints: 30187
3511.40/3521.26 c #Conflicts: 1940000 | #Constraints: 31187
3511.40/3521.26 c #Conflicts: 1941000 | #Constraints: 32187
3511.40/3521.26 c #Conflicts: 1942000 | #Constraints: 33187
3511.40/3521.26 c #Conflicts: 1943000 | #Constraints: 34187
3511.40/3521.26 c #Conflicts: 1944000 | #Constraints: 35187
3511.40/3521.26 c #Conflicts: 1945000 | #Constraints: 36187
3511.40/3521.26 c #Conflicts: 1946000 | #Constraints: 37187
3511.40/3521.26 c #Conflicts: 1947000 | #Constraints: 38187
3511.40/3521.26 c #Conflicts: 1948000 | #Constraints: 39187
3511.40/3521.26 c #Conflicts: 1949000 | #Constraints: 40187
3511.40/3521.26 c #Conflicts: 1950000 | #Constraints: 41187
3511.40/3521.26 c #Conflicts: 1951000 | #Constraints: 42187
3511.40/3521.26 c #Conflicts: 1952000 | #Constraints: 43187
3511.40/3521.26 c #Conflicts: 1953000 | #Constraints: 44187
3511.40/3521.26 c #Conflicts: 1954000 | #Constraints: 45187
3511.40/3521.26 c #Conflicts: 1955000 | #Constraints: 46187
3511.40/3521.26 c #Conflicts: 1956000 | #Constraints: 47187
3511.40/3521.26 c #Conflicts: 1957000 | #Constraints: 48187
3511.40/3521.26 c #Conflicts: 1958000 | #Constraints: 49187
3511.40/3521.26 c #Conflicts: 1959000 | #Constraints: 50187
3511.40/3521.26 c #Conflicts: 1960000 | #Constraints: 51187
3511.40/3521.26 c #Conflicts: 1961000 | #Constraints: 52187
3511.40/3521.26 c #Conflicts: 1962000 | #Constraints: 53187
3511.40/3521.26 c #Conflicts: 1963000 | #Constraints: 54187
3600.06/3610.10 c #Conflicts: 1964000 | #Constraints: 55187
3600.06/3610.10 c #Conflicts: 1965000 | #Constraints: 56187
3600.06/3610.10 c INPROCESSING
3600.06/3610.10 c GARBAGE COLLECT
3600.06/3610.10 c #Conflicts: 1966000 | #Constraints: 29390
3600.06/3610.10 c #Conflicts: 1967000 | #Constraints: 30390
3600.06/3610.10 c #Conflicts: 1968000 | #Constraints: 31390
3600.06/3610.10 c #Conflicts: 1969000 | #Constraints: 32390
3600.06/3610.10 c #Conflicts: 1970000 | #Constraints: 33390
3600.06/3610.10 c #Conflicts: 1971000 | #Constraints: 34390
3600.06/3610.10 c #Conflicts: 1972000 | #Constraints: 35390
3600.06/3610.10 c #Conflicts: 1973000 | #Constraints: 36390
3600.06/3610.10 c #Conflicts: 1974000 | #Constraints: 37390
3600.06/3610.10 c #Conflicts: 1975000 | #Constraints: 38390
3600.06/3610.10 c #Conflicts: 1976000 | #Constraints: 39390
3600.06/3610.10 c #Conflicts: 1977000 | #Constraints: 40390
3600.06/3610.10 c #Conflicts: 1978000 | #Constraints: 41390
3600.06/3610.10 c #Conflicts: 1979000 | #Constraints: 42390
3600.06/3610.10 c #Conflicts: 1980000 | #Constraints: 43390
3600.06/3610.10 c #Conflicts: 1981000 | #Constraints: 44390
3600.06/3610.10 c #Conflicts: 1982000 | #Constraints: 45390
3600.06/3610.10 c #Conflicts: 1983000 | #Constraints: 46390
3600.06/3610.10 c #Conflicts: 1984000 | #Constraints: 47390
3600.06/3610.10 c #Conflicts: 1985000 | #Constraints: 48390
3600.06/3610.10 c #Conflicts: 1986000 | #Constraints: 49390
3600.06/3610.10 c #Conflicts: 1987000 | #Constraints: 50390
3600.06/3610.10 c #Conflicts: 1988000 | #Constraints: 51390
3600.06/3610.10 c #Conflicts: 1989000 | #Constraints: 52390
3600.06/3610.10 c cpu time 3582.57 s
3600.06/3610.10 c deterministic time 1 1.00e+00
3600.06/3610.10 c optimization time 3582.56 s
3600.06/3610.10 c total solve time 0 s
3600.06/3610.10 c core-guided solve time 0 s
3600.06/3610.10 c propagation time 0.000137 s
3600.06/3610.10 c conflict analysis time 0 s
3600.06/3610.10 c propagations 0
3600.06/3610.10 c resolve steps 0
3600.06/3610.10 c decisions 0
3600.06/3610.10 c conflicts 0
3600.06/3610.10 c restarts 0
3600.06/3610.10 c inprocessing phases 0
3600.06/3610.10 c garbage collections 0 ,( -nan )
3600.06/3610.10 c input clauses 1 ,( 0.21 )
3600.06/3610.10 c input cardinalities 0 ,( 0.00 )
3600.06/3610.10 c input general constraints 471 ,( 99.79 )
3600.06/3610.10 c input average constraint length 9.04
3600.06/3610.10 c input average constraint degree 28.82
3600.06/3610.10 c learned clauses 0 ,( 0.00 )
3600.06/3610.10 c learned cardinalities 0 ,( 0.00 )
3600.06/3610.10 c learned general constraints 0 ,( 0.00 )
3600.06/3610.10 c learned average constraint length 0.00
3600.06/3610.10 c learned average constraint degree 0.00
3600.06/3610.10 c watched CF 32, 64, 128, Arb: 3 , 0 , 0 , 0
3600.06/3610.10 c counting CF 32, 64, 128, Arb: 469 , 0 , 0 , 0
3600.06/3610.10 c watched constraints 3 ,( 0.64 )
3600.06/3610.10 c counting constraints 468 ,( 99.36 )
3600.06/3610.10 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.06/3610.10 c gcd simplifications 1
3600.06/3610.10 c detected cardinalities 0
3600.06/3610.10 c weakened non-implied lits 0
3600.06/3610.10 c weakened non-implying lits 0
3600.06/3610.10 c original variables 473
3600.06/3610.10 c clausal propagations 0
3600.06/3610.10 c cardinality propagations 0
3600.06/3610.10 c watched propagations 0
3600.06/3610.10 c counting propagations 0
3600.06/3610.10 c watch lookups 0
3600.06/3610.10 c watch backjump lookups 0
3600.06/3610.10 c watch checks 0
3600.06/3610.10 c propagation checks 0
3600.06/3610.10 c constraint additions 0
3600.06/3610.10 c trail pops 0
3600.06/3610.10 c formula constraints 472
3600.06/3610.10 c learned constraints 0
3600.06/3610.10 c bound constraints 0
3600.06/3610.10 c core-guided constraints 0
3600.06/3610.10 c encountered formula constraints 0
3600.06/3610.10 c encountered learned constraints 0
3600.06/3610.10 c encountered bound constraints 0
3600.06/3610.10 c encountered core-guided constraints 0
3600.06/3610.10 c LP total time 0 s
3600.06/3610.10 c LP solve time 0 s
3600.06/3610.10 c LP constraints added 0
3600.06/3610.10 c LP constraints removed 0
3600.06/3610.10 c LP pivots internal 0
3600.06/3610.10 c LP pivots root 0
3600.06/3610.10 c LP calls 0
3600.06/3610.10 c LP optimalities 0
3600.06/3610.10 c LP no pivot count 0
3600.06/3610.10 c LP infeasibilities 0
3600.06/3610.10 c LP valid Farkas constraints 0
3600.06/3610.10 c LP learned Farkas constraints 0
3600.06/3610.10 c LP basis resets 0
3600.06/3610.10 c LP cycling count 0
3600.06/3610.10 c LP singular count 0
3600.06/3610.10 c LP no primal count 0
3600.06/3610.10 c LP no farkas count 0
3600.06/3610.10 c LP other issue count 0
3600.06/3610.10 c LP Gomory cuts 0
3600.06/3610.10 c LP learned cuts 0
3600.06/3610.10 c LP deleted cuts 0
3600.06/3610.10 c LP encountered Gomory constraints 0
3600.06/3610.10 c LP encountered Farkas constraints 0
3600.06/3610.10 c LP encountered learned Farkas constraints 0
3600.06/3610.10 c CG auxiliary variables introduced 0
3600.06/3610.10 c CG solutions found 0
3600.06/3610.10 c CG cores constructed 0
3600.06/3610.10 c CG core cardinality constraints returned 0
3600.06/3610.10 c CG unit cores 0
3600.06/3610.10 c CG single cores 0
3600.06/3610.10 c CG blocks removed during cardinality reduction 0
3600.06/3610.10 c CG first core best 0
3600.06/3610.10 c CG decision core best 0
3600.06/3610.10 c CG core reduction tie 0
3600.06/3610.10 c CG core degree average 0.00
3600.06/3610.10 c CG core slack average 0.00
3600.06/3610.10 c CG core upper bound improvements 0
3600.06/3610.10 c STR number of successful calls 0
3600.06/3610.10 c STR number of unsuccessful calls 0
3600.06/3610.10 c STR number of inconclusive calls 0
3600.06/3610.10 c STR number of successful attempts 0
3600.06/3610.10 c STR number of unsuccessful attempts 0
3600.06/3610.10 c STR number of inconclusive attempts 0
3600.06/3610.10 c STR average degree increase per successful call inf
3600.06/3610.10 c STR average degree increase per successful attempt inf
3600.06/3610.10 c STR total number of conflicts for successful attempts 0
3600.06/3610.10 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3610.10 c STR total number of conflicts for inconclusive attempts 0
3600.06/3610.10 c STR average number of conflicts per successful attempt inf
3600.06/3610.10 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3610.10 c STR average number of conflicts per inconclusive attempt inf
3600.06/3610.10 c AVG.sumWPerc 71.77
3600.06/3610.10 c bigint constraints 0
3600.06/3610.10 s UNKNOWN
3600.06/3610.10 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (63043 MiB free)
memory of node 1: 64507 MiB (63869 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489093-1751351890/watcher-4489093-1751351890 -o /tmp/evaluation-result-4489093-1751351890/solver-4489093-1751351890 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751348277-45607 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4489093-1751351890.opb PROOFDIR/proof-4489093-1751351890
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=46043, runsolver pid=46040
[startup+0.10006 s]*
/proc/loadavg: 4.13 4.15 4.10 5/269 46045
/proc/meminfo: memFree=129954928/131249996 swapFree=33010416/33010684
[pid=46043] ppid=46040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/46043/stat : 46043 (run-opt-log.sh) S 46040 46043 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868541 4292608 768 18446744073709551615 94232202469376 94232203363909 140734371259472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94232203602960 94232203650704 94232232562688 140734371264801 140734371264996 140734371264996 140734371270598 0
/proc/46043/statm: 1048 768 704 219 0 110 0
[pid=46045] ppid=46043 vsize=62516 memory=15280 CPUtime=0.08 cores=0,2
/proc/46045/stat : 46045 (roundingsat) R 46043 46043 45597 0 -1 4194304 1231 0 0 0 8 0 0 0 20 0 1 0 50868542 64016384 3820 18446744073709551615 4227072 8923433 140733089411232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36057088 140733089413458 140733089413672 140733089413672 140733089419242 0
/proc/46045/statm: 15629 3820 2336 1147 0 3056 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 66708 KiB
Current children cumulated memory: 18352 KiB
[startup+0.205697 s]*
/proc/loadavg: 4.13 4.15 4.10 5/269 46045
/proc/meminfo: memFree=129946800/131249996 swapFree=33010416/33010684
[pid=46043] ppid=46040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/46043/stat : 46043 (run-opt-log.sh) S 46040 46043 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868541 4292608 768 18446744073709551615 94232202469376 94232203363909 140734371259472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94232203602960 94232203650704 94232232562688 140734371264801 140734371264996 140734371264996 140734371270598 0
/proc/46043/statm: 1048 768 704 219 0 110 0
[pid=46045] ppid=46043 vsize=65400 memory=17840 CPUtime=0.19 cores=0,2
/proc/46045/stat : 46045 (roundingsat) R 46043 46043 45597 0 -1 4194304 1891 0 0 0 18 1 0 0 20 0 1 0 50868542 66969600 4460 18446744073709551615 4227072 8923433 140733089411232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36057088 140733089413458 140733089413672 140733089413672 140733089419242 0
/proc/46045/statm: 16350 4460 2336 1147 0 3777 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 69592 KiB
Current children cumulated memory: 20912 KiB
[startup+0.305642 s]*
/proc/loadavg: 4.13 4.15 4.10 5/269 46045
/proc/meminfo: memFree=129926640/131249996 swapFree=33010416/33010684
[pid=46043] ppid=46040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/46043/stat : 46043 (run-opt-log.sh) S 46040 46043 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868541 4292608 768 18446744073709551615 94232202469376 94232203363909 140734371259472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94232203602960 94232203650704 94232232562688 140734371264801 140734371264996 140734371264996 140734371270598 0
/proc/46043/statm: 1048 768 704 219 0 110 0
[pid=46045] ppid=46043 vsize=67704 memory=20400 CPUtime=0.28 cores=0,2
/proc/46045/stat : 46045 (roundingsat) R 46043 46043 45597 0 -1 4194304 2511 0 0 0 27 1 0 0 20 0 1 0 50868542 69328896 5100 18446744073709551615 4227072 8923433 140733089411232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36057088 140733089413458 140733089413672 140733089413672 140733089419242 0
/proc/46045/statm: 16926 5100 2336 1147 0 4353 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 71896 KiB
Current children cumulated memory: 23472 KiB
[startup+0.700197 s]
/proc/loadavg: 4.13 4.15 4.10 5/269 46045
/proc/meminfo: memFree=129898248/131249996 swapFree=33010416/33010684
[pid=46043] ppid=46040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/46043/stat : 46043 (run-opt-log.sh) S 46040 46043 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868541 4292608 768 18446744073709551615 94232202469376 94232203363909 140734371259472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94232203602960 94232203650704 94232232562688 140734371264801 140734371264996 140734371264996 140734371270598 0
/proc/46043/statm: 1048 768 704 219 0 110 0
[pid=46045] ppid=46043 vsize=72932 memory=25776 CPUtime=0.67 cores=0,2
/proc/46045/stat : 46045 (roundingsat) R 46043 46043 45597 0 -1 4194304 3862 0 0 0 65 2 0 0 20 0 1 0 50868542 74682368 6444 18446744073709551615 4227072 8923433 140733089411232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36057088 140733089413458 140733089413672 140733089413672 140733089419242 0
/proc/46045/statm: 18233 6444 2336 1147 0 5660 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 77124 KiB
Current children cumulated memory: 28848 KiB
[startup+1.50019 s]
/proc/loadavg: 4.13 4.15 4.10 5/269 46045
/proc/meminfo: memFree=129878276/131249996 swapFree=33010416/33010684
[pid=46043] ppid=46040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/46043/stat : 46043 (run-opt-log.sh) S 46040 46043 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868541 4292608 768 18446744073709551615 94232202469376 94232203363909 140734371259472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94232203602960 94232203650704 94232232562688 140734371264801 140734371264996 140734371264996 140734371270598 0
/proc/46043/statm: 1048 768 704 219 0 110 0
[pid=46045] ppid=46043 vsize=78372 memory=32176 CPUtime=1.47 cores=0,2
/proc/46045/stat : 46045 (roundingsat) R 46043 46043 45597 0 -1 4194304 5452 0 0 0 142 5 0 0 20 0 1 0 50868542 80252928 8044 18446744073709551615 4227072 8923433 140733089411232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36057088 140733089413458 140733089413672 140733089413672 140733089419242 0
/proc/46045/statm: 19593 8044 2336 1147 0 7020 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 82564 KiB
Current children cumulated memory: 35248 KiB
[startup+3.1055 s]
/proc/loadavg: 4.12 4.14 4.10 5/269 46046
/proc/meminfo: memFree=129767660/131249996 swapFree=33010416/33010684
[pid=46043] ppid=46040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/46043/stat : 46043 (run-opt-log.sh) S 46040 46043 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868541 4292608 768 18446744073709551615 94232202469376 94232203363909 140734371259472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94232203602960 94232203650704 94232232562688 140734371264801 140734371264996 140734371264996 140734371270598 0
/proc/46043/statm: 1048 768 704 219 0 110 0
[pid=46045] ppid=46043 vsize=96364 memory=45996 CPUtime=3.07 cores=0,2
/proc/46045/stat : 46045 (roundingsat) R 46043 46043 45597 0 -1 4194304 8427 0 0 0 299 8 0 0 20 0 1 0 50868542 98676736 11499 18446744073709551615 4227072 8923433 140733089411232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36057088 140733089413458 140733089413672 140733089413672 140733089419242 0
/proc/46045/statm: 24091 11499 2336 1147 0 11518 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 100556 KiB
Current children cumulated memory: 49068 KiB
[startup+6.30016 s]
/proc/loadavg: 4.12 4.14 4.10 5/269 46046
/proc/meminfo: memFree=129638484/131249996 swapFree=33010416/33010684
[pid=46043] ppid=46040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/46043/stat : 46043 (run-opt-log.sh) S 46040 46043 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868541 4292608 768 18446744073709551615 94232202469376 94232203363909 140734371259472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94232203602960 94232203650704 94232232562688 140734371264801 140734371264996 140734371264996 140734371270598 0
/proc/46043/statm: 1048 768 704 219 0 110 0
[pid=46045] ppid=46043 vsize=106376 memory=51116 CPUtime=6.26 cores=0,2
/proc/46045/stat : 46045 (roundingsat) R 46043 46043 45597 0 -1 4194304 9690 0 0 0 612 14 0 0 20 0 1 0 50868542 108929024 12779 18446744073709551615 4227072 8923433 140733089411232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36057088 140733089413458 140733089413672 140733089413672 140733089419242 0
/proc/46045/statm: 26594 12779 2336 1147 0 14021 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 110568 KiB
Current children cumulated memory: 54188 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.14 4.09 5/269 46046
/proc/meminfo: memFree=129509456/131249996 swapFree=33010416/33010684
[pid=46043] ppid=46040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/46043/stat : 46043 (run-opt-log.sh) S 46040 46043 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868541 4292608 768 18446744073709551615 94232202469376 94232203363909 140734371259472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94232203602960 94232203650704 94232232562688 140734371264801 140734371264996 140734371264996 140734371270598 0
/proc/46043/statm: 1048 768 704 219 0 110 0
[pid=46045] ppid=46043 vsize=127052 memory=70272 CPUtime=12.65 cores=0,2
/proc/46045/stat : 46045 (roundingsat) R 46043 46043 45597 0 -1 4194304 13468 0 0 0 1239 26 0 0 20 0 1 0 50868542 130101248 17568 18446744073709551615 4227072 8923433 140733089411232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36057088 140733089413458 140733089413672 140733089413672 140733089419242 0
/proc/46045/statm: 31763 17568 2336 1147 0 19190 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 131244 KiB
Current children cumulated memory: 73344 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.15 4.10 5/269 46046
/proc/meminfo: memFree=129064752/131249996 swapFree=33010416/33010684
[pid=46043] ppid=46040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/46043/stat : 46043 (run-opt-log.sh) S 46040 46043 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868541 4292608 768 18446744073709551615 94232202469376 94232203363909 140734371259472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94232203602960 94232203650704 94232232562688 140734371264801 140734371264996 140734371264996 140734371270598 0
/proc/46043/statm: 1048 768 704 219 0 110 0
[pid=46045] ppid=46043 vsize=136012 memory=78336 CPUtime=25.4 cores=0,2
/proc/46045/stat : 46045 (roundingsat) R 46043 46043 45597 0 -1 4194304 15493 0 0 0 2494 46 0 0 20 0 1 0 50868542 139276288 19584 18446744073709551615 4227072 8923433 140733089411232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36057088 140733089413458 140733089413672 140733089413672 140733089419242 0
/proc/46045/statm: 34003 19584 2336 1147 0 21430 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 140204 KiB
Current children cumulated memory: 81408 KiB
[startup+51.1056 s]
/proc/loadavg: 4.11 4.14 4.09 5/269 46046
/proc/meminfo: memFree=128740636/131249996 swapFree=33010416/33010684
[pid=46043] ppid=46040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/46043/stat : 46043 (run-opt-log.sh) S 46040 46043 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868541 4292608 768 18446744073709551615 94232202469376 94232203363909 140734371259472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94232203602960 94232203650704 94232232562688 140734371264801 140734371264996 140734371264996 140734371270598 0
/proc/46043/statm: 1048 768 704 219 0 110 0
[pid=46045] ppid=46043 vsize=150156 memory=89740 CPUtime=50.94 cores=0,2
/proc/46045/stat : 46045 (roundingsat) R 46043 46043 45597 0 -1 4194304 17812 0 0 0 5019 75 0 0 20 0 1 0 50868542 153759744 22435 18446744073709551615 4227072 8923433 140733089411232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36057088 140733089413458 140733089413672 140733089413672 140733089419242 0
/proc/46045/statm: 37539 22435 2336 1147 0 24966 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 154348 KiB
Current children cumulated memory: 92812 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/269 46048
/proc/meminfo: memFree=128069812/131249996 swapFree=33010416/33010684
[pid=46043] ppid=46040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/46043/stat : 46043 (run-opt-log.sh) S 46040 46043 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868541 4292608 768 18446744073709551615 94232202469376 94232203363909 140734371259472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94232203602960 94232203650704 94232232562688 140734371264801 140734371264996 140734371264996 140734371270598 0
/proc/46043/statm: 1048 768 704 219 0 110 0
[pid=46045] ppid=46043 vsize=190448 memory=122444 CPUtime=101.97 cores=0,2
/proc/46045/stat : 46045 (roundingsat) R 46043 46043 45597 0 -1 4194304 24462 0 0 0 10067 130 0 0 20 0 1 0 50868542 195018752 30611 18446744073709551615 4227072 8923433 140733089411232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36057088 140733089413458 140733089413672 140733089413672 140733089419242 0
/proc/46045/statm: 47612 30611 2336 1147 0 35039 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 194640 KiB
Current children cumulated memory: 125516 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/269 46050
/proc/meminfo: memFree=127543000/131249996 swapFree=33010416/33010684
[pid=46043] ppid=46040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/46043/stat : 46043 (run-opt-log.sh) S 46040 46043 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868541 4292608 768 18446744073709551615 94232202469376 94232203363909 140734371259472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94232203602960 94232203650704 94232232562688 140734371264801 140734371264996 140734371264996 140734371270598 0
/proc/46043/statm: 1048 768 704 219 0 110 0
[pid=46045] ppid=46043 vsize=218256 memory=137768 CPUtime=161.79 cores=0,2
/proc/46045/stat : 46045 (roundingsat) R 46043 46043 45597 0 -1 4194304 27277 0 0 0 16000 179 0 0 20 0 1 0 50868542 223494144 34442 18446744073709551615 4227072 8923433 140733089411232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36057088 140733089413458 140733089413672 140733089413672 140733089419242 0
/proc/46045/statm: 54564 34442 2336 1147 0 41991 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 222448 KiB
Current children cumulated memory: 140840 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/269 46052
/proc/meminfo: memFree=127066504/131249996 swapFree=33010416/33010684
[pid=46043] ppid=46040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/46043/stat : 46043 (run-opt-log.sh) S 46040 46043 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868541 4292608 768 18446744073709551615 94232202469376 94232203363909 140734371259472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94232203602960 94232203650704 94232232562688 140734371264801 140734371264996 140734371264996 140734371270598 0
/proc/46043/statm: 1048 768 704 219 0 110 0
[pid=46045] ppid=46043 vsize=228564 memory=150280 CPUtime=221.62 cores=0,2
/proc/46045/stat : 46045 (roundingsat) R 46043 46043 45597 0 -1 4194304 29944 0 0 0 21935 227 0 0 20 0 1 0 50868542 234049536 37570 18446744073709551615 4227072 8923433 140733089411232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36057088 140733089413458 140733089413672 140733089413672 140733089419242 0
################
# More data... #
################
/proc/46045/statm: 107236 73460 2336 1147 0 94663 0
Current children cumulated CPU time: 3093.63 s
Current children cumulated vsize: 433136 KiB
Current children cumulated memory: 296912 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/273 46217
/proc/meminfo: memFree=115019684/131249996 swapFree=33010416/33010684
[pid=46043] ppid=46040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/46043/stat : 46043 (run-opt-log.sh) S 46040 46043 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868541 4292608 768 18446744073709551615 94232202469376 94232203363909 140734371259472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94232203602960 94232203650704 94232232562688 140734371264801 140734371264996 140734371264996 140734371270598 0
/proc/46043/statm: 1048 768 704 219 0 110 0
[pid=46045] ppid=46043 vsize=429456 memory=293864 CPUtime=3153.46 cores=0,2
/proc/46045/stat : 46045 (roundingsat) R 46043 46043 45597 0 -1 4194304 67518 0 0 0 313759 1587 0 0 20 0 1 0 50868542 439762944 73466 18446744073709551615 4227072 8923433 140733089411232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36057088 140733089413458 140733089413672 140733089413672 140733089419242 0
/proc/46045/statm: 107364 73466 2336 1147 0 94791 0
Current children cumulated CPU time: 3153.46 s
Current children cumulated vsize: 433648 KiB
Current children cumulated memory: 296936 KiB
[startup+3222.3 s]
/proc/loadavg: 4.37 4.19 4.12 5/272 46219
/proc/meminfo: memFree=114873316/131249996 swapFree=33010416/33010684
[pid=46043] ppid=46040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/46043/stat : 46043 (run-opt-log.sh) S 46040 46043 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868541 4292608 768 18446744073709551615 94232202469376 94232203363909 140734371259472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94232203602960 94232203650704 94232232562688 140734371264801 140734371264996 140734371264996 140734371270598 0
/proc/46043/statm: 1048 768 704 219 0 110 0
[pid=46045] ppid=46043 vsize=436968 memory=297116 CPUtime=3213.3 cores=0,2
/proc/46045/stat : 46045 (roundingsat) R 46043 46043 45597 0 -1 4194304 69415 0 0 0 319720 1610 0 0 20 0 1 0 50868542 447455232 74279 18446744073709551615 4227072 8923433 140733089411232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36057088 140733089413458 140733089413672 140733089413672 140733089419242 0
/proc/46045/statm: 109242 74279 2336 1147 0 96669 0
Current children cumulated CPU time: 3213.3 s
Current children cumulated vsize: 441160 KiB
Current children cumulated memory: 300188 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/272 46223
/proc/meminfo: memFree=114719960/131249996 swapFree=33010416/33010684
[pid=46043] ppid=46040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/46043/stat : 46043 (run-opt-log.sh) S 46040 46043 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868541 4292608 768 18446744073709551615 94232202469376 94232203363909 140734371259472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94232203602960 94232203650704 94232232562688 140734371264801 140734371264996 140734371264996 140734371270598 0
/proc/46043/statm: 1048 768 704 219 0 110 0
[pid=46045] ppid=46043 vsize=455324 memory=301048 CPUtime=3273.14 cores=0,2
/proc/46045/stat : 46045 (roundingsat) R 46043 46043 45597 0 -1 4194304 74415 0 0 0 325682 1632 0 0 20 0 1 0 50868542 466251776 75262 18446744073709551615 4227072 8923433 140733089411232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36057088 140733089413458 140733089413672 140733089413672 140733089419242 0
/proc/46045/statm: 113831 75262 2336 1147 0 101258 0
Current children cumulated CPU time: 3273.14 s
Current children cumulated vsize: 459516 KiB
Current children cumulated memory: 304120 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/272 46226
/proc/meminfo: memFree=114586512/131249996 swapFree=33010416/33010684
[pid=46043] ppid=46040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/46043/stat : 46043 (run-opt-log.sh) S 46040 46043 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868541 4292608 768 18446744073709551615 94232202469376 94232203363909 140734371259472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94232203602960 94232203650704 94232232562688 140734371264801 140734371264996 140734371264996 140734371270598 0
/proc/46043/statm: 1048 768 704 219 0 110 0
[pid=46045] ppid=46043 vsize=455836 memory=301164 CPUtime=3332.98 cores=0,2
/proc/46045/stat : 46045 (roundingsat) R 46043 46043 45597 0 -1 4194304 74559 0 0 0 331643 1655 0 0 20 0 1 0 50868542 466776064 75291 18446744073709551615 4227072 8923433 140733089411232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36057088 140733089413458 140733089413672 140733089413672 140733089419242 0
/proc/46045/statm: 113959 75291 2336 1147 0 101386 0
Current children cumulated CPU time: 3332.98 s
Current children cumulated vsize: 460028 KiB
Current children cumulated memory: 304236 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/271 46228
/proc/meminfo: memFree=114424076/131249996 swapFree=33010416/33010684
[pid=46043] ppid=46040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/46043/stat : 46043 (run-opt-log.sh) S 46040 46043 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868541 4292608 768 18446744073709551615 94232202469376 94232203363909 140734371259472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94232203602960 94232203650704 94232232562688 140734371264801 140734371264996 140734371264996 140734371270598 0
/proc/46043/statm: 1048 768 704 219 0 110 0
[pid=46045] ppid=46043 vsize=456860 memory=301760 CPUtime=3392.81 cores=0,2
/proc/46045/stat : 46045 (roundingsat) R 46043 46043 45597 0 -1 4194304 74843 0 0 0 337601 1680 0 0 20 0 1 0 50868542 467824640 75440 18446744073709551615 4227072 8923433 140733089411232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36057088 140733089413458 140733089413672 140733089413672 140733089419242 0
/proc/46045/statm: 114215 75440 2336 1147 0 101642 0
Current children cumulated CPU time: 3392.81 s
Current children cumulated vsize: 461052 KiB
Current children cumulated memory: 304832 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/272 46231
/proc/meminfo: memFree=114292972/131249996 swapFree=33010416/33010684
[pid=46043] ppid=46040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/46043/stat : 46043 (run-opt-log.sh) S 46040 46043 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868541 4292608 768 18446744073709551615 94232202469376 94232203363909 140734371259472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94232203602960 94232203650704 94232232562688 140734371264801 140734371264996 140734371264996 140734371270598 0
/proc/46043/statm: 1048 768 704 219 0 110 0
[pid=46045] ppid=46043 vsize=457372 memory=304004 CPUtime=3452.66 cores=0,2
/proc/46045/stat : 46045 (roundingsat) R 46043 46043 45597 0 -1 4194304 75029 0 0 0 343564 1702 0 0 20 0 1 0 50868542 468348928 76001 18446744073709551615 4227072 8923433 140733089411232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36057088 140733089413458 140733089413672 140733089413672 140733089419242 0
/proc/46045/statm: 114343 76001 2336 1147 0 101770 0
Current children cumulated CPU time: 3452.66 s
Current children cumulated vsize: 461564 KiB
Current children cumulated memory: 307076 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/273 46238
/proc/meminfo: memFree=114170940/131249996 swapFree=33010416/33010684
[pid=46043] ppid=46040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/46043/stat : 46043 (run-opt-log.sh) S 46040 46043 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868541 4292608 768 18446744073709551615 94232202469376 94232203363909 140734371259472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94232203602960 94232203650704 94232232562688 140734371264801 140734371264996 140734371264996 140734371270598 0
/proc/46043/statm: 1048 768 704 219 0 110 0
[pid=46045] ppid=46043 vsize=457372 memory=304132 CPUtime=3512.49 cores=0,2
/proc/46045/stat : 46045 (roundingsat) R 46043 46043 45597 0 -1 4194304 75046 0 0 0 349532 1717 0 0 20 0 1 0 50868542 468348928 76033 18446744073709551615 4227072 8923433 140733089411232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36057088 140733089413458 140733089413672 140733089413672 140733089419242 0
/proc/46045/statm: 114343 76033 2336 1147 0 101770 0
Current children cumulated CPU time: 3512.49 s
Current children cumulated vsize: 461564 KiB
Current children cumulated memory: 307204 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/273 46240
/proc/meminfo: memFree=114015292/131249996 swapFree=33010416/33010684
[pid=46043] ppid=46040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/46043/stat : 46043 (run-opt-log.sh) S 46040 46043 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868541 4292608 768 18446744073709551615 94232202469376 94232203363909 140734371259472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94232203602960 94232203650704 94232232562688 140734371264801 140734371264996 140734371264996 140734371270598 0
/proc/46043/statm: 1048 768 704 219 0 110 0
[pid=46045] ppid=46043 vsize=457884 memory=304172 CPUtime=3572.33 cores=0,2
/proc/46045/stat : 46045 (roundingsat) R 46043 46043 45597 0 -1 4194304 75188 0 0 0 355494 1739 0 0 20 0 1 0 50868542 468873216 76043 18446744073709551615 4227072 8923433 140733089411232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36057088 140733089413458 140733089413672 140733089413672 140733089419242 0
/proc/46045/statm: 114471 76043 2336 1147 0 101898 0
Current children cumulated CPU time: 3572.33 s
Current children cumulated vsize: 462076 KiB
Current children cumulated memory: 307244 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.13 4.14 4.10 3/263 46257
/proc/meminfo: memFree=115598588/131249996 swapFree=33010416/33010684
[pid=46043] ppid=46040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/46043/stat : 46043 (run-opt-log.sh) S 46040 46043 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868541 4292608 768 18446744073709551615 94232202469376 94232203363909 140734371259472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94232203602960 94232203650704 94232232562688 140734371264801 140734371264996 140734371264996 140734371270598 0
/proc/46043/statm: 1048 768 704 219 0 110 0
[pid=46045] ppid=46043 vsize=458396 memory=304244 CPUtime=3600.06 cores=0,2
/proc/46045/stat : 46045 (roundingsat) R 46043 46043 45597 0 -1 4194304 75327 0 0 0 358256 1750 0 0 20 0 1 0 50868542 469397504 76061 18446744073709551615 4227072 8923433 140733089411232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36057088 140733089413458 140733089413672 140733089413672 140733089419242 0
/proc/46045/statm: 114599 76061 2336 1147 0 102026 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 462588 KiB
Current children cumulated memory: 307316 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 46043 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002152 s
[startup+3610.13 s]
# the end of solver process 46045 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3582.57 s, system=17.5179 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.13 4.14 4.10 3/263 46257
/proc/meminfo: memFree=115598588/131249996 swapFree=33010416/33010684
[pid=46043] ppid=46040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/46043/stat : 46043 (run-opt-log.sh) S 46040 46043 45597 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 50868541 4292608 768 18446744073709551615 94232202469376 94232203363909 140734371259472 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94232203602960 94232203650704 94232232562688 140734371264801 140734371264996 140734371264996 140734371270598 0
/proc/46043/statm: 1048 768 704 219 0 110 0
[pid=46045] ppid=46043 vsize=458396 memory=304244 CPUtime=3600.06 cores=0,2
/proc/46045/stat : 46045 (roundingsat) R 46043 46043 45597 0 -1 4194304 75327 0 0 0 358256 1750 0 0 20 0 1 0 50868542 469397504 76061 18446744073709551615 4227072 8923433 140733089411232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 36057088 140733089413458 140733089413672 140733089413672 140733089419242 0
/proc/46045/statm: 114599 76061 2336 1147 0 102026 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 462588 KiB
Current children cumulated memory: 307316 KiB
Child status: 2
Real time (s): 3610.13
CPU time (s): 3600.09
CPU user time (s): 3582.57
CPU system time (s): 17.5179
CPU usage (%): 99.7218
Max. virtual memory (cumulated for all children) (KiB): 462588
Max. memory (cumulated for all children) (KiB): 307316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.57
system time used= 17.5179
maximum resident set size= 304684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75556
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8279680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 542
involuntary context switches= 8461
# summary of solver processes directly reported to runsolver:
# pid: 46043,46045
# total CPU time (s): 3600.09
# total CPU user time (s): 3582.57
# total CPU system time (s): 17.5179
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.17307 second user time and 16.8675 second system time
The end
Begin job on nodeC030 at 2025-07-01 08:38:10
IDJOB=4489093
IDBENCH=147539
IDSOLVER=3351
FILE ID=nodeC030/4489093-1751351890
RUNJOBID= nodeC030-1751348277-45607
SLURM_JOB_ID= 9598121
Free space on /tmp= 433016 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489093-1751351890/watcher-4489093-1751351890 -o /tmp/evaluation-result-4489093-1751351890/solver-4489093-1751351890 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751348277-45607 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4489093-1751351890.opb PROOFDIR/proof-4489093-1751351890
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b5aa25dccc2460ad32c358f07bd5c94a
RANDOM SEED=1943168207
nodeC030 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.032
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.745
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.320
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.343
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.314
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.322
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.855
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.639
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129976852 kB
MemAvailable: 129715972 kB
Buffers: 2564 kB
Cached: 532868 kB
SwapCached: 16 kB
Active: 549732 kB
Inactive: 114976 kB
Active(anon): 142776 kB
Inactive(anon): 4548 kB
Active(file): 406956 kB
Inactive(file): 110428 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 33244 kB
Writeback: 0 kB
AnonPages: 132380 kB
Mapped: 116208 kB
Shmem: 18048 kB
KReclaimable: 121548 kB
Slab: 210188 kB
SReclaimable: 121548 kB
SUnreclaim: 88640 kB
KernelStack: 4320 kB
PageTables: 3220 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 491572 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 16384 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC030 at 2025-07-01 09:38:20