0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.02 c #variables 473 #constraints 472
0.00/0.02 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.00424
0.00/0.02 c GLOBAL bounds - >= 0 @ 0.004375
0.00/0.09 c GLOBAL bounds - >= 0 @ 0.072662
0.38/0.43 c #Conflicts: 1000 | #Constraints: 1474
0.38/0.43 c #Conflicts: 2000 | #Constraints: 2474
0.38/0.43 c INPROCESSING
0.38/0.43 c GARBAGE COLLECT
0.38/0.43 c GLOBAL bounds - >= 0 @ 0.405404
0.78/0.87 c #Conflicts: 3000 | #Constraints: 2487
0.78/0.87 c GLOBAL bounds - >= 0 @ 0.830454
0.98/1.08 c #Conflicts: 4000 | #Constraints: 3489
0.98/1.08 c INPROCESSING
0.98/1.08 c GARBAGE COLLECT
0.98/1.08 c GLOBAL bounds - >= 0 @ 1.02913
1.08/1.15 c GLOBAL bounds - >= 0 @ 1.09804
1.77/1.81 c #Conflicts: 5000 | #Constraints: 2903
1.77/1.81 c #Conflicts: 6000 | #Constraints: 3903
1.77/1.81 c INPROCESSING
1.77/1.81 c GARBAGE COLLECT
1.77/1.81 c #Conflicts: 7000 | #Constraints: 2912
1.77/1.81 c GLOBAL bounds - >= 0 @ 1.73697
2.27/2.35 c #Conflicts: 8000 | #Constraints: 3914
2.27/2.35 c GLOBAL bounds - >= 0 @ 2.27245
2.47/2.51 c #Conflicts: 9000 | #Constraints: 4916
2.47/2.51 c INPROCESSING
2.47/2.51 c GARBAGE COLLECT
2.47/2.51 c GLOBAL bounds - >= 0 @ 2.42646
3.17/3.25 c #Conflicts: 10000 | #Constraints: 3622
3.17/3.25 c #Conflicts: 11000 | #Constraints: 4622
3.17/3.25 c GLOBAL bounds - >= 0 @ 3.15297
3.37/3.45 c #Conflicts: 12000 | #Constraints: 5624
3.37/3.45 c INPROCESSING
3.37/3.45 c GARBAGE COLLECT
3.37/3.45 c GLOBAL bounds - >= 0 @ 3.34049
3.67/3.79 c #Conflicts: 13000 | #Constraints: 4081
3.67/3.79 c GLOBAL bounds - >= 0 @ 3.67599
6.36/6.44 c #Conflicts: 14000 | #Constraints: 5083
6.36/6.44 c #Conflicts: 15000 | #Constraints: 6083
6.36/6.44 c INPROCESSING
6.36/6.44 c GARBAGE COLLECT
6.36/6.44 c #Conflicts: 16000 | #Constraints: 4311
6.36/6.44 c #Conflicts: 17000 | #Constraints: 5311
6.36/6.44 c #Conflicts: 18000 | #Constraints: 6311
6.36/6.44 c INPROCESSING
6.36/6.44 c GARBAGE COLLECT
6.36/6.44 c #Conflicts: 19000 | #Constraints: 4327
6.36/6.44 c #Conflicts: 20000 | #Constraints: 5327
6.36/6.44 c GLOBAL bounds - >= 0 @ 6.28579
6.76/6.87 c #Conflicts: 21000 | #Constraints: 6329
6.76/6.87 c INPROCESSING
6.76/6.87 c GARBAGE COLLECT
6.76/6.87 c GLOBAL bounds - >= 0 @ 6.69965
7.26/7.33 c #Conflicts: 22000 | #Constraints: 4132
7.26/7.33 c #Conflicts: 23000 | #Constraints: 5132
7.26/7.33 c GLOBAL bounds - >= 0 @ 7.161
8.96/9.09 c #Conflicts: 24000 | #Constraints: 6134
8.96/9.09 c #Conflicts: 25000 | #Constraints: 7134
8.96/9.09 c INPROCESSING
8.96/9.09 c GARBAGE COLLECT
8.96/9.09 c #Conflicts: 26000 | #Constraints: 4733
8.96/9.09 c #Conflicts: 27000 | #Constraints: 5733
8.96/9.09 c GLOBAL bounds - >= 0 @ 8.88671
9.96/10.05 c #Conflicts: 28000 | #Constraints: 6735
9.96/10.05 c #Conflicts: 29000 | #Constraints: 7735
9.96/10.05 c INPROCESSING
9.96/10.05 c GARBAGE COLLECT
9.96/10.05 c GLOBAL bounds - >= 0 @ 9.83061
10.06/10.16 c GLOBAL bounds - >= 0 @ 9.94077
10.15/10.27 c GLOBAL bounds - >= 0 @ 10.0485
10.36/10.47 c #Conflicts: 30000 | #Constraints: 5139
10.36/10.47 c GLOBAL bounds - >= 0 @ 10.2429
10.85/10.99 c #Conflicts: 31000 | #Constraints: 6141
10.85/10.99 c GLOBAL bounds - >= 0 @ 10.754
11.55/11.62 c #Conflicts: 32000 | #Constraints: 7143
11.55/11.62 c GLOBAL bounds - >= 0 @ 11.3713
15.24/15.39 c #Conflicts: 33000 | #Constraints: 8145
15.24/15.39 c INPROCESSING
15.24/15.39 c GARBAGE COLLECT
15.24/15.39 c #Conflicts: 34000 | #Constraints: 5347
15.24/15.39 c #Conflicts: 35000 | #Constraints: 6347
15.24/15.39 c #Conflicts: 36000 | #Constraints: 7347
15.24/15.39 c #Conflicts: 37000 | #Constraints: 8347
15.24/15.39 c INPROCESSING
15.24/15.39 c GARBAGE COLLECT
15.24/15.39 c #Conflicts: 38000 | #Constraints: 5352
15.24/15.39 c #Conflicts: 39000 | #Constraints: 6352
15.24/15.39 c #Conflicts: 40000 | #Constraints: 7352
15.24/15.39 c #Conflicts: 41000 | #Constraints: 8352
15.24/15.39 c INPROCESSING
15.24/15.39 c GARBAGE COLLECT
15.24/15.39 c #Conflicts: 42000 | #Constraints: 5161
15.24/15.39 c GLOBAL bounds - >= 0 @ 15.0852
19.83/19.90 c #Conflicts: 43000 | #Constraints: 6163
19.83/19.90 c #Conflicts: 44000 | #Constraints: 7163
19.83/19.90 c #Conflicts: 45000 | #Constraints: 8163
19.83/19.90 c #Conflicts: 46000 | #Constraints: 9163
19.83/19.90 c INPROCESSING
19.83/19.90 c GARBAGE COLLECT
19.83/19.90 c #Conflicts: 47000 | #Constraints: 5763
19.83/19.90 c #Conflicts: 48000 | #Constraints: 6763
19.83/19.90 c #Conflicts: 49000 | #Constraints: 7763
19.83/19.90 c #Conflicts: 50000 | #Constraints: 8763
19.83/19.90 c #Conflicts: 51000 | #Constraints: 9763
19.83/19.90 c INPROCESSING
19.83/19.90 c GARBAGE COLLECT
19.83/19.90 c #Conflicts: 52000 | #Constraints: 6164
19.83/19.90 c #Conflicts: 53000 | #Constraints: 7164
19.83/19.90 c GLOBAL bounds - >= 0 @ 19.5413
29.50/29.69 c #Conflicts: 54000 | #Constraints: 8166
29.50/29.69 c #Conflicts: 55000 | #Constraints: 9166
29.50/29.69 c #Conflicts: 56000 | #Constraints: 10166
29.50/29.69 c INPROCESSING
29.50/29.69 c GARBAGE COLLECT
29.50/29.69 c #Conflicts: 57000 | #Constraints: 6368
29.50/29.69 c #Conflicts: 58000 | #Constraints: 7368
29.50/29.69 c #Conflicts: 59000 | #Constraints: 8368
29.50/29.69 c #Conflicts: 60000 | #Constraints: 9368
29.50/29.69 c #Conflicts: 61000 | #Constraints: 10368
29.50/29.69 c INPROCESSING
29.50/29.69 c GARBAGE COLLECT
29.50/29.69 c #Conflicts: 62000 | #Constraints: 6357
29.50/29.69 c #Conflicts: 63000 | #Constraints: 7357
29.50/29.69 c #Conflicts: 64000 | #Constraints: 8357
29.50/29.69 c #Conflicts: 65000 | #Constraints: 9357
29.50/29.69 c #Conflicts: 66000 | #Constraints: 10357
29.50/29.69 c INPROCESSING
29.50/29.69 c GARBAGE COLLECT
29.50/29.69 c #Conflicts: 67000 | #Constraints: 6157
29.50/29.69 c #Conflicts: 68000 | #Constraints: 7157
29.50/29.69 c #Conflicts: 69000 | #Constraints: 8157
29.50/29.69 c #Conflicts: 70000 | #Constraints: 9157
29.50/29.69 c #Conflicts: 71000 | #Constraints: 10157
29.50/29.69 c #Conflicts: 72000 | #Constraints: 11157
29.50/29.69 c INPROCESSING
29.50/29.69 c GARBAGE COLLECT
29.50/29.69 c GLOBAL bounds - >= 0 @ 29.1895
51.05/51.28 c #Conflicts: 73000 | #Constraints: 6762
51.05/51.28 c #Conflicts: 74000 | #Constraints: 7762
51.05/51.28 c #Conflicts: 75000 | #Constraints: 8762
51.05/51.28 c #Conflicts: 76000 | #Constraints: 9762
51.05/51.28 c #Conflicts: 77000 | #Constraints: 10762
51.05/51.28 c #Conflicts: 78000 | #Constraints: 11762
51.05/51.28 c INPROCESSING
51.05/51.28 c GARBAGE COLLECT
51.05/51.28 c #Conflicts: 79000 | #Constraints: 7161
51.05/51.28 c #Conflicts: 80000 | #Constraints: 8161
51.05/51.28 c #Conflicts: 81000 | #Constraints: 9161
51.05/51.28 c #Conflicts: 82000 | #Constraints: 10161
51.05/51.28 c #Conflicts: 83000 | #Constraints: 11161
51.05/51.28 c #Conflicts: 84000 | #Constraints: 12161
51.05/51.28 c INPROCESSING
51.05/51.28 c GARBAGE COLLECT
51.05/51.28 c #Conflicts: 85000 | #Constraints: 7362
51.05/51.28 c #Conflicts: 86000 | #Constraints: 8362
51.05/51.28 c #Conflicts: 87000 | #Constraints: 9362
51.05/51.28 c #Conflicts: 88000 | #Constraints: 10362
51.05/51.28 c #Conflicts: 89000 | #Constraints: 11362
51.05/51.28 c #Conflicts: 90000 | #Constraints: 12362
51.05/51.28 c INPROCESSING
51.05/51.28 c GARBAGE COLLECT
51.05/51.28 c #Conflicts: 91000 | #Constraints: 7363
51.05/51.28 c #Conflicts: 92000 | #Constraints: 8363
51.05/51.28 c #Conflicts: 93000 | #Constraints: 9363
51.05/51.28 c #Conflicts: 94000 | #Constraints: 10363
51.05/51.28 c #Conflicts: 95000 | #Constraints: 11363
51.05/51.28 c #Conflicts: 96000 | #Constraints: 12363
51.05/51.28 c INPROCESSING
51.05/51.28 c GARBAGE COLLECT
51.05/51.28 c #Conflicts: 97000 | #Constraints: 7164
51.05/51.28 c #Conflicts: 98000 | #Constraints: 8164
51.05/51.28 c #Conflicts: 99000 | #Constraints: 9164
51.05/51.28 c #Conflicts: 100000 | #Constraints: 10164
51.05/51.28 c #Conflicts: 101000 | #Constraints: 11164
51.05/51.28 c #Conflicts: 102000 | #Constraints: 12164
51.05/51.28 c #Conflicts: 103000 | #Constraints: 13164
51.05/51.28 c INPROCESSING
51.05/51.28 c GARBAGE COLLECT
51.05/51.28 c #Conflicts: 104000 | #Constraints: 7769
51.05/51.28 c #Conflicts: 105000 | #Constraints: 8769
51.05/51.28 c #Conflicts: 106000 | #Constraints: 9769
51.05/51.28 c #Conflicts: 107000 | #Constraints: 10769
51.05/51.28 c #Conflicts: 108000 | #Constraints: 11769
51.05/51.28 c #Conflicts: 109000 | #Constraints: 12769
51.05/51.28 c GLOBAL bounds - >= 0 @ 50.5135
53.85/54.07 c #Conflicts: 110000 | #Constraints: 13771
53.85/54.07 c INPROCESSING
53.85/54.07 c GARBAGE COLLECT
53.85/54.07 c #Conflicts: 111000 | #Constraints: 8177
53.85/54.07 c #Conflicts: 112000 | #Constraints: 9177
53.85/54.07 c #Conflicts: 113000 | #Constraints: 10177
53.85/54.07 c #Conflicts: 114000 | #Constraints: 11177
53.85/54.07 c GLOBAL bounds - >= 0 @ 53.2678
66.91/67.18 c #Conflicts: 115000 | #Constraints: 12179
66.91/67.18 c #Conflicts: 116000 | #Constraints: 13179
66.91/67.18 c #Conflicts: 117000 | #Constraints: 14179
66.91/67.18 c INPROCESSING
66.91/67.18 c GARBAGE COLLECT
66.91/67.18 c #Conflicts: 118000 | #Constraints: 8375
66.91/67.18 c #Conflicts: 119000 | #Constraints: 9375
66.91/67.18 c #Conflicts: 120000 | #Constraints: 10375
66.91/67.18 c #Conflicts: 121000 | #Constraints: 11375
66.91/67.18 c #Conflicts: 122000 | #Constraints: 12375
66.91/67.18 c #Conflicts: 123000 | #Constraints: 13375
66.91/67.18 c #Conflicts: 124000 | #Constraints: 14375
66.91/67.18 c INPROCESSING
66.91/67.18 c GARBAGE COLLECT
66.91/67.18 c #Conflicts: 125000 | #Constraints: 8371
66.91/67.18 c #Conflicts: 126000 | #Constraints: 9371
66.91/67.18 c #Conflicts: 127000 | #Constraints: 10371
66.91/67.18 c #Conflicts: 128000 | #Constraints: 11371
66.91/67.18 c #Conflicts: 129000 | #Constraints: 12371
66.91/67.18 c #Conflicts: 130000 | #Constraints: 13371
66.91/67.18 c #Conflicts: 131000 | #Constraints: 14371
66.91/67.18 c INPROCESSING
66.91/67.18 c GARBAGE COLLECT
66.91/67.18 c GLOBAL bounds - >= 0 @ 66.2535
79.88/80.17 c #Conflicts: 132000 | #Constraints: 8170
79.88/80.17 c #Conflicts: 133000 | #Constraints: 9170
79.88/80.17 c #Conflicts: 134000 | #Constraints: 10170
79.88/80.17 c #Conflicts: 135000 | #Constraints: 11170
79.88/80.17 c #Conflicts: 136000 | #Constraints: 12170
79.88/80.17 c #Conflicts: 137000 | #Constraints: 13170
79.88/80.17 c #Conflicts: 138000 | #Constraints: 14170
79.88/80.17 c #Conflicts: 139000 | #Constraints: 15170
79.88/80.17 c INPROCESSING
79.88/80.17 c GARBAGE COLLECT
79.88/80.17 c #Conflicts: 140000 | #Constraints: 8764
79.88/80.17 c #Conflicts: 141000 | #Constraints: 9764
79.88/80.17 c #Conflicts: 142000 | #Constraints: 10764
79.88/80.17 c #Conflicts: 143000 | #Constraints: 11764
79.88/80.17 c #Conflicts: 144000 | #Constraints: 12764
79.88/80.17 c #Conflicts: 145000 | #Constraints: 13764
79.88/80.17 c #Conflicts: 146000 | #Constraints: 14764
79.88/80.17 c #Conflicts: 147000 | #Constraints: 15764
79.88/80.17 c INPROCESSING
79.88/80.17 c GARBAGE COLLECT
79.88/80.17 c #Conflicts: 148000 | #Constraints: 9165
79.88/80.17 c #Conflicts: 149000 | #Constraints: 10165
79.88/80.17 c #Conflicts: 150000 | #Constraints: 11165
79.88/80.17 c #Conflicts: 151000 | #Constraints: 12165
79.88/80.17 c GLOBAL bounds - >= 0 @ 79.1106
148.09/148.53 c #Conflicts: 152000 | #Constraints: 13167
148.09/148.53 c #Conflicts: 153000 | #Constraints: 14167
148.09/148.53 c #Conflicts: 154000 | #Constraints: 15167
148.09/148.53 c #Conflicts: 155000 | #Constraints: 16167
148.09/148.53 c INPROCESSING
148.09/148.53 c GARBAGE COLLECT
148.09/148.53 c #Conflicts: 156000 | #Constraints: 9366
148.09/148.53 c #Conflicts: 157000 | #Constraints: 10366
148.09/148.53 c #Conflicts: 158000 | #Constraints: 11366
148.09/148.53 c #Conflicts: 159000 | #Constraints: 12366
148.09/148.53 c #Conflicts: 160000 | #Constraints: 13366
148.09/148.53 c #Conflicts: 161000 | #Constraints: 14366
148.09/148.53 c #Conflicts: 162000 | #Constraints: 15366
148.09/148.53 c #Conflicts: 163000 | #Constraints: 16366
148.09/148.53 c INPROCESSING
148.09/148.53 c GARBAGE COLLECT
148.09/148.53 c #Conflicts: 164000 | #Constraints: 9368
148.09/148.53 c #Conflicts: 165000 | #Constraints: 10368
148.09/148.53 c #Conflicts: 166000 | #Constraints: 11368
148.09/148.53 c #Conflicts: 167000 | #Constraints: 12368
148.09/148.53 c #Conflicts: 168000 | #Constraints: 13368
148.09/148.53 c #Conflicts: 169000 | #Constraints: 14368
148.09/148.53 c #Conflicts: 170000 | #Constraints: 15368
148.09/148.53 c #Conflicts: 171000 | #Constraints: 16368
148.09/148.53 c INPROCESSING
148.09/148.53 c GARBAGE COLLECT
148.09/148.53 c #Conflicts: 172000 | #Constraints: 9169
148.09/148.53 c #Conflicts: 173000 | #Constraints: 10169
148.09/148.53 c #Conflicts: 174000 | #Constraints: 11169
148.09/148.53 c #Conflicts: 175000 | #Constraints: 12169
148.09/148.53 c #Conflicts: 176000 | #Constraints: 13169
148.09/148.53 c #Conflicts: 177000 | #Constraints: 14169
148.09/148.53 c #Conflicts: 178000 | #Constraints: 15169
148.09/148.53 c #Conflicts: 179000 | #Constraints: 16169
148.09/148.53 c #Conflicts: 180000 | #Constraints: 17169
148.09/148.53 c INPROCESSING
148.09/148.53 c GARBAGE COLLECT
148.09/148.53 c #Conflicts: 181000 | #Constraints: 9770
148.09/148.53 c #Conflicts: 182000 | #Constraints: 10770
148.09/148.53 c #Conflicts: 183000 | #Constraints: 11770
148.09/148.53 c #Conflicts: 184000 | #Constraints: 12770
148.09/148.53 c #Conflicts: 185000 | #Constraints: 13770
148.09/148.53 c #Conflicts: 186000 | #Constraints: 14770
148.09/148.53 c #Conflicts: 187000 | #Constraints: 15770
148.09/148.53 c #Conflicts: 188000 | #Constraints: 16770
148.09/148.53 c #Conflicts: 189000 | #Constraints: 17770
148.09/148.53 c INPROCESSING
148.09/148.53 c GARBAGE COLLECT
148.09/148.53 c #Conflicts: 190000 | #Constraints: 10174
148.09/148.53 c #Conflicts: 191000 | #Constraints: 11174
148.09/148.53 c #Conflicts: 192000 | #Constraints: 12174
148.09/148.53 c #Conflicts: 193000 | #Constraints: 13174
148.09/148.53 c #Conflicts: 194000 | #Constraints: 14174
148.09/148.53 c #Conflicts: 195000 | #Constraints: 15174
148.09/148.53 c #Conflicts: 196000 | #Constraints: 16174
148.09/148.53 c #Conflicts: 197000 | #Constraints: 17174
148.09/148.53 c #Conflicts: 198000 | #Constraints: 18174
148.09/148.53 c INPROCESSING
148.09/148.53 c GARBAGE COLLECT
148.09/148.53 c #Conflicts: 199000 | #Constraints: 10374
148.09/148.53 c #Conflicts: 200000 | #Constraints: 11374
148.09/148.53 c #Conflicts: 201000 | #Constraints: 12374
148.09/148.53 c #Conflicts: 202000 | #Constraints: 13374
148.09/148.53 c #Conflicts: 203000 | #Constraints: 14374
148.09/148.53 c #Conflicts: 204000 | #Constraints: 15374
148.09/148.53 c #Conflicts: 205000 | #Constraints: 16374
148.09/148.53 c #Conflicts: 206000 | #Constraints: 17374
148.09/148.53 c #Conflicts: 207000 | #Constraints: 18374
148.09/148.53 c INPROCESSING
148.09/148.53 c GARBAGE COLLECT
148.09/148.53 c #Conflicts: 208000 | #Constraints: 10365
148.09/148.53 c #Conflicts: 209000 | #Constraints: 11365
148.09/148.53 c #Conflicts: 210000 | #Constraints: 12365
148.09/148.53 c #Conflicts: 211000 | #Constraints: 13365
148.09/148.53 c #Conflicts: 212000 | #Constraints: 14365
148.09/148.53 c #Conflicts: 213000 | #Constraints: 15365
148.09/148.53 c #Conflicts: 214000 | #Constraints: 16365
148.09/148.53 c #Conflicts: 215000 | #Constraints: 17365
148.09/148.53 c #Conflicts: 216000 | #Constraints: 18365
148.09/148.53 c INPROCESSING
148.09/148.53 c GARBAGE COLLECT
148.09/148.53 c #Conflicts: 217000 | #Constraints: 10169
148.09/148.53 c #Conflicts: 218000 | #Constraints: 11169
148.09/148.53 c #Conflicts: 219000 | #Constraints: 12169
148.09/148.53 c #Conflicts: 220000 | #Constraints: 13169
148.09/148.53 c #Conflicts: 221000 | #Constraints: 14169
148.09/148.53 c #Conflicts: 222000 | #Constraints: 15169
148.09/148.53 c #Conflicts: 223000 | #Constraints: 16169
148.09/148.53 c #Conflicts: 224000 | #Constraints: 17169
148.09/148.53 c #Conflicts: 225000 | #Constraints: 18169
154.08/154.50 c #Conflicts: 226000 | #Constraints: 19169
154.08/154.50 c INPROCESSING
154.08/154.50 c GARBAGE COLLECT
154.08/154.50 c #Conflicts: 227000 | #Constraints: 10774
154.08/154.50 c #Conflicts: 228000 | #Constraints: 11774
154.08/154.50 c #Conflicts: 229000 | #Constraints: 12774
154.08/154.50 c #Conflicts: 230000 | #Constraints: 13774
154.08/154.50 c #Conflicts: 231000 | #Constraints: 14774
154.08/154.50 c #Conflicts: 232000 | #Constraints: 15774
154.08/154.50 c GLOBAL bounds - >= 0 @ 152.804
156.77/157.29 c #Conflicts: 233000 | #Constraints: 16776
156.77/157.29 c #Conflicts: 234000 | #Constraints: 17776
156.77/157.29 c GLOBAL bounds - >= 0 @ 155.563
164.66/165.12 c #Conflicts: 235000 | #Constraints: 18778
164.66/165.12 c #Conflicts: 236000 | #Constraints: 19778
164.66/165.12 c INPROCESSING
164.66/165.12 c GARBAGE COLLECT
164.66/165.12 c #Conflicts: 237000 | #Constraints: 11172
164.66/165.12 c #Conflicts: 238000 | #Constraints: 12172
164.66/165.12 c #Conflicts: 239000 | #Constraints: 13172
164.66/165.12 c #Conflicts: 240000 | #Constraints: 14172
164.66/165.12 c #Conflicts: 241000 | #Constraints: 15172
164.66/165.12 c #Conflicts: 242000 | #Constraints: 16172
164.66/165.12 c GLOBAL bounds - >= 0 @ 163.312
240.96/241.65 c #Conflicts: 243000 | #Constraints: 17174
240.96/241.65 c #Conflicts: 244000 | #Constraints: 18174
240.96/241.65 c #Conflicts: 245000 | #Constraints: 19174
240.96/241.65 c #Conflicts: 246000 | #Constraints: 20174
240.96/241.65 c INPROCESSING
240.96/241.65 c GARBAGE COLLECT
240.96/241.65 c #Conflicts: 247000 | #Constraints: 11368
240.96/241.65 c #Conflicts: 248000 | #Constraints: 12368
240.96/241.65 c #Conflicts: 249000 | #Constraints: 13368
240.96/241.65 c #Conflicts: 250000 | #Constraints: 14368
240.96/241.65 c #Conflicts: 251000 | #Constraints: 15368
240.96/241.65 c #Conflicts: 252000 | #Constraints: 16368
240.96/241.65 c #Conflicts: 253000 | #Constraints: 17368
240.96/241.65 c #Conflicts: 254000 | #Constraints: 18368
240.96/241.65 c #Conflicts: 255000 | #Constraints: 19368
240.96/241.65 c #Conflicts: 256000 | #Constraints: 20368
240.96/241.65 c INPROCESSING
240.96/241.65 c GARBAGE COLLECT
240.96/241.65 c #Conflicts: 257000 | #Constraints: 11372
240.96/241.65 c #Conflicts: 258000 | #Constraints: 12372
240.96/241.65 c #Conflicts: 259000 | #Constraints: 13372
240.96/241.65 c #Conflicts: 260000 | #Constraints: 14372
240.96/241.65 c #Conflicts: 261000 | #Constraints: 15372
240.96/241.65 c #Conflicts: 262000 | #Constraints: 16372
240.96/241.65 c #Conflicts: 263000 | #Constraints: 17372
240.96/241.65 c #Conflicts: 264000 | #Constraints: 18372
240.96/241.65 c #Conflicts: 265000 | #Constraints: 19372
240.96/241.65 c #Conflicts: 266000 | #Constraints: 20372
240.96/241.65 c INPROCESSING
240.96/241.65 c GARBAGE COLLECT
240.96/241.65 c #Conflicts: 267000 | #Constraints: 11174
240.96/241.65 c #Conflicts: 268000 | #Constraints: 12174
240.96/241.65 c #Conflicts: 269000 | #Constraints: 13174
240.96/241.65 c #Conflicts: 270000 | #Constraints: 14174
240.96/241.65 c #Conflicts: 271000 | #Constraints: 15174
240.96/241.65 c #Conflicts: 272000 | #Constraints: 16174
240.96/241.65 c #Conflicts: 273000 | #Constraints: 17174
240.96/241.65 c #Conflicts: 274000 | #Constraints: 18174
240.96/241.65 c #Conflicts: 275000 | #Constraints: 19174
240.96/241.65 c #Conflicts: 276000 | #Constraints: 20174
240.96/241.65 c #Conflicts: 277000 | #Constraints: 21174
240.96/241.65 c INPROCESSING
240.96/241.65 c GARBAGE COLLECT
240.96/241.65 c #Conflicts: 278000 | #Constraints: 11787
240.96/241.65 c #Conflicts: 279000 | #Constraints: 12787
240.96/241.65 c #Conflicts: 280000 | #Constraints: 13787
240.96/241.65 c #Conflicts: 281000 | #Constraints: 14787
240.96/241.65 c #Conflicts: 282000 | #Constraints: 15787
240.96/241.65 c #Conflicts: 283000 | #Constraints: 16787
240.96/241.65 c #Conflicts: 284000 | #Constraints: 17787
240.96/241.65 c #Conflicts: 285000 | #Constraints: 18787
240.96/241.65 c #Conflicts: 286000 | #Constraints: 19787
240.96/241.65 c #Conflicts: 287000 | #Constraints: 20787
240.96/241.65 c #Conflicts: 288000 | #Constraints: 21787
240.96/241.65 c INPROCESSING
240.96/241.65 c GARBAGE COLLECT
240.96/241.65 c #Conflicts: 289000 | #Constraints: 12183
240.96/241.65 c #Conflicts: 290000 | #Constraints: 13183
240.96/241.65 c #Conflicts: 291000 | #Constraints: 14183
240.96/241.65 c #Conflicts: 292000 | #Constraints: 15183
240.96/241.65 c #Conflicts: 293000 | #Constraints: 16183
240.96/241.65 c #Conflicts: 294000 | #Constraints: 17183
240.96/241.65 c #Conflicts: 295000 | #Constraints: 18183
240.96/241.65 c #Conflicts: 296000 | #Constraints: 19183
240.96/241.65 c #Conflicts: 297000 | #Constraints: 20183
240.96/241.65 c #Conflicts: 298000 | #Constraints: 21183
240.96/241.65 c #Conflicts: 299000 | #Constraints: 22183
240.96/241.65 c INPROCESSING
240.96/241.65 c GARBAGE COLLECT
240.96/241.65 c #Conflicts: 300000 | #Constraints: 12384
240.96/241.65 c #Conflicts: 301000 | #Constraints: 13384
240.96/241.65 c #Conflicts: 302000 | #Constraints: 14384
240.96/241.65 c #Conflicts: 303000 | #Constraints: 15384
240.96/241.65 c #Conflicts: 304000 | #Constraints: 16384
240.96/241.65 c #Conflicts: 305000 | #Constraints: 17384
240.96/241.65 c #Conflicts: 306000 | #Constraints: 18384
240.96/241.65 c #Conflicts: 307000 | #Constraints: 19384
240.96/241.65 c #Conflicts: 308000 | #Constraints: 20384
240.96/241.65 c #Conflicts: 309000 | #Constraints: 21384
240.96/241.65 c #Conflicts: 310000 | #Constraints: 22384
240.96/241.65 c INPROCESSING
240.96/241.65 c GARBAGE COLLECT
240.96/241.65 c #Conflicts: 311000 | #Constraints: 12391
240.96/241.65 c #Conflicts: 312000 | #Constraints: 13391
240.96/241.65 c #Conflicts: 313000 | #Constraints: 14391
240.96/241.65 c #Conflicts: 314000 | #Constraints: 15391
240.96/241.65 c #Conflicts: 315000 | #Constraints: 16391
240.96/241.65 c #Conflicts: 316000 | #Constraints: 17391
240.96/241.65 c #Conflicts: 317000 | #Constraints: 18391
315.75/316.69 c #Conflicts: 318000 | #Constraints: 19391
315.75/316.69 c #Conflicts: 319000 | #Constraints: 20391
315.75/316.69 c #Conflicts: 320000 | #Constraints: 21391
315.75/316.69 c #Conflicts: 321000 | #Constraints: 22391
315.75/316.69 c INPROCESSING
315.75/316.69 c GARBAGE COLLECT
315.75/316.69 c #Conflicts: 322000 | #Constraints: 12191
315.75/316.69 c #Conflicts: 323000 | #Constraints: 13191
315.75/316.69 c #Conflicts: 324000 | #Constraints: 14191
315.75/316.69 c #Conflicts: 325000 | #Constraints: 15191
315.75/316.69 c #Conflicts: 326000 | #Constraints: 16191
315.75/316.69 c #Conflicts: 327000 | #Constraints: 17191
315.75/316.69 c #Conflicts: 328000 | #Constraints: 18191
315.75/316.69 c #Conflicts: 329000 | #Constraints: 19191
315.75/316.69 c #Conflicts: 330000 | #Constraints: 20191
315.75/316.69 c #Conflicts: 331000 | #Constraints: 21191
315.75/316.69 c #Conflicts: 332000 | #Constraints: 22191
315.75/316.69 c #Conflicts: 333000 | #Constraints: 23191
315.75/316.69 c INPROCESSING
315.75/316.69 c GARBAGE COLLECT
315.75/316.69 c #Conflicts: 334000 | #Constraints: 12792
315.75/316.69 c #Conflicts: 335000 | #Constraints: 13792
315.75/316.69 c #Conflicts: 336000 | #Constraints: 14792
315.75/316.69 c #Conflicts: 337000 | #Constraints: 15792
315.75/316.69 c #Conflicts: 338000 | #Constraints: 16792
315.75/316.69 c #Conflicts: 339000 | #Constraints: 17792
315.75/316.69 c #Conflicts: 340000 | #Constraints: 18792
315.75/316.69 c #Conflicts: 341000 | #Constraints: 19792
315.75/316.69 c #Conflicts: 342000 | #Constraints: 20792
315.75/316.69 c #Conflicts: 343000 | #Constraints: 21792
315.75/316.69 c #Conflicts: 344000 | #Constraints: 22792
315.75/316.69 c #Conflicts: 345000 | #Constraints: 23792
315.75/316.69 c INPROCESSING
315.75/316.69 c GARBAGE COLLECT
315.75/316.69 c #Conflicts: 346000 | #Constraints: 13191
315.75/316.69 c #Conflicts: 347000 | #Constraints: 14191
315.75/316.69 c #Conflicts: 348000 | #Constraints: 15191
315.75/316.69 c #Conflicts: 349000 | #Constraints: 16191
315.75/316.69 c #Conflicts: 350000 | #Constraints: 17191
315.75/316.69 c #Conflicts: 351000 | #Constraints: 18191
315.75/316.69 c #Conflicts: 352000 | #Constraints: 19191
315.75/316.69 c #Conflicts: 353000 | #Constraints: 20191
315.75/316.69 c #Conflicts: 354000 | #Constraints: 21191
315.75/316.69 c #Conflicts: 355000 | #Constraints: 22191
315.75/316.69 c #Conflicts: 356000 | #Constraints: 23191
315.75/316.69 c #Conflicts: 357000 | #Constraints: 24191
315.75/316.69 c INPROCESSING
315.75/316.69 c GARBAGE COLLECT
315.75/316.69 c #Conflicts: 358000 | #Constraints: 13396
315.75/316.69 c #Conflicts: 359000 | #Constraints: 14396
315.75/316.69 c #Conflicts: 360000 | #Constraints: 15396
315.75/316.69 c #Conflicts: 361000 | #Constraints: 16396
315.75/316.69 c #Conflicts: 362000 | #Constraints: 17396
315.75/316.69 c #Conflicts: 363000 | #Constraints: 18396
315.75/316.69 c #Conflicts: 364000 | #Constraints: 19396
315.75/316.69 c #Conflicts: 365000 | #Constraints: 20396
315.75/316.69 c #Conflicts: 366000 | #Constraints: 21396
315.75/316.69 c #Conflicts: 367000 | #Constraints: 22396
315.75/316.69 c #Conflicts: 368000 | #Constraints: 23396
315.75/316.69 c #Conflicts: 369000 | #Constraints: 24396
315.75/316.69 c INPROCESSING
315.75/316.69 c GARBAGE COLLECT
315.75/316.69 c #Conflicts: 370000 | #Constraints: 13394
315.75/316.69 c #Conflicts: 371000 | #Constraints: 14394
315.75/316.69 c #Conflicts: 372000 | #Constraints: 15394
315.75/316.69 c #Conflicts: 373000 | #Constraints: 16394
315.75/316.69 c #Conflicts: 374000 | #Constraints: 17394
315.75/316.69 c #Conflicts: 375000 | #Constraints: 18394
315.75/316.69 c #Conflicts: 376000 | #Constraints: 19394
315.75/316.69 c #Conflicts: 377000 | #Constraints: 20394
315.75/316.69 c #Conflicts: 378000 | #Constraints: 21394
315.75/316.69 c #Conflicts: 379000 | #Constraints: 22394
315.75/316.69 c #Conflicts: 380000 | #Constraints: 23394
315.75/316.69 c #Conflicts: 381000 | #Constraints: 24394
315.75/316.69 c INPROCESSING
315.75/316.69 c GARBAGE COLLECT
315.75/316.69 c #Conflicts: 382000 | #Constraints: 13199
315.75/316.69 c #Conflicts: 383000 | #Constraints: 14199
315.75/316.69 c #Conflicts: 384000 | #Constraints: 15199
315.75/316.69 c #Conflicts: 385000 | #Constraints: 16199
315.75/316.69 c #Conflicts: 386000 | #Constraints: 17199
315.75/316.69 c #Conflicts: 387000 | #Constraints: 18199
315.75/316.69 c #Conflicts: 388000 | #Constraints: 19199
315.75/316.69 c #Conflicts: 389000 | #Constraints: 20199
315.75/316.69 c #Conflicts: 390000 | #Constraints: 21199
315.75/316.69 c #Conflicts: 391000 | #Constraints: 22199
315.75/316.69 c #Conflicts: 392000 | #Constraints: 23199
353.84/354.88 c #Conflicts: 393000 | #Constraints: 24199
353.84/354.88 c #Conflicts: 394000 | #Constraints: 25199
353.84/354.88 c INPROCESSING
353.84/354.88 c GARBAGE COLLECT
353.84/354.88 c #Conflicts: 395000 | #Constraints: 13790
353.84/354.88 c #Conflicts: 396000 | #Constraints: 14790
353.84/354.88 c #Conflicts: 397000 | #Constraints: 15790
353.84/354.88 c #Conflicts: 398000 | #Constraints: 16790
353.84/354.88 c #Conflicts: 399000 | #Constraints: 17790
353.84/354.88 c #Conflicts: 400000 | #Constraints: 18790
353.84/354.88 c #Conflicts: 401000 | #Constraints: 19790
353.84/354.88 c #Conflicts: 402000 | #Constraints: 20790
353.84/354.88 c #Conflicts: 403000 | #Constraints: 21790
353.84/354.88 c #Conflicts: 404000 | #Constraints: 22790
353.84/354.88 c #Conflicts: 405000 | #Constraints: 23790
353.84/354.88 c #Conflicts: 406000 | #Constraints: 24790
353.84/354.88 c #Conflicts: 407000 | #Constraints: 25790
353.84/354.88 c INPROCESSING
353.84/354.88 c GARBAGE COLLECT
353.84/354.88 c #Conflicts: 408000 | #Constraints: 14192
353.84/354.88 c #Conflicts: 409000 | #Constraints: 15192
353.84/354.88 c #Conflicts: 410000 | #Constraints: 16192
353.84/354.88 c #Conflicts: 411000 | #Constraints: 17192
353.84/354.88 c #Conflicts: 412000 | #Constraints: 18192
353.84/354.88 c #Conflicts: 413000 | #Constraints: 19192
353.84/354.88 c #Conflicts: 414000 | #Constraints: 20192
353.84/354.88 c #Conflicts: 415000 | #Constraints: 21192
353.84/354.88 c #Conflicts: 416000 | #Constraints: 22192
353.84/354.88 c #Conflicts: 417000 | #Constraints: 23192
353.84/354.88 c #Conflicts: 418000 | #Constraints: 24192
353.84/354.88 c #Conflicts: 419000 | #Constraints: 25192
353.84/354.88 c #Conflicts: 420000 | #Constraints: 26192
353.84/354.88 c INPROCESSING
353.84/354.88 c GARBAGE COLLECT
353.84/354.88 c #Conflicts: 421000 | #Constraints: 14394
353.84/354.88 c #Conflicts: 422000 | #Constraints: 15394
353.84/354.88 c #Conflicts: 423000 | #Constraints: 16394
353.84/354.88 c #Conflicts: 424000 | #Constraints: 17394
353.84/354.88 c #Conflicts: 425000 | #Constraints: 18394
353.84/354.88 c #Conflicts: 426000 | #Constraints: 19394
353.84/354.88 c #Conflicts: 427000 | #Constraints: 20394
353.84/354.88 c #Conflicts: 428000 | #Constraints: 21394
353.84/354.88 c #Conflicts: 429000 | #Constraints: 22394
353.84/354.88 c #Conflicts: 430000 | #Constraints: 23394
353.84/354.88 c #Conflicts: 431000 | #Constraints: 24394
353.84/354.88 c #Conflicts: 432000 | #Constraints: 25394
353.84/354.88 c #Conflicts: 433000 | #Constraints: 26394
353.84/354.88 c INPROCESSING
353.84/354.88 c GARBAGE COLLECT
353.84/354.88 c GLOBAL bounds - >= 0 @ 351.554
420.69/421.82 c #Conflicts: 434000 | #Constraints: 14391
420.69/421.82 c #Conflicts: 435000 | #Constraints: 15391
420.69/421.82 c #Conflicts: 436000 | #Constraints: 16391
420.69/421.82 c #Conflicts: 437000 | #Constraints: 17391
420.69/421.82 c #Conflicts: 438000 | #Constraints: 18391
420.69/421.82 c #Conflicts: 439000 | #Constraints: 19391
420.69/421.82 c #Conflicts: 440000 | #Constraints: 20391
420.69/421.82 c #Conflicts: 441000 | #Constraints: 21391
420.69/421.82 c #Conflicts: 442000 | #Constraints: 22391
420.69/421.82 c #Conflicts: 443000 | #Constraints: 23391
420.69/421.82 c #Conflicts: 444000 | #Constraints: 24391
420.69/421.82 c #Conflicts: 445000 | #Constraints: 25391
420.69/421.82 c #Conflicts: 446000 | #Constraints: 26391
420.69/421.82 c INPROCESSING
420.69/421.82 c GARBAGE COLLECT
420.69/421.82 c #Conflicts: 447000 | #Constraints: 14193
420.69/421.82 c #Conflicts: 448000 | #Constraints: 15193
420.69/421.82 c #Conflicts: 449000 | #Constraints: 16193
420.69/421.82 c #Conflicts: 450000 | #Constraints: 17193
420.69/421.82 c #Conflicts: 451000 | #Constraints: 18193
420.69/421.82 c #Conflicts: 452000 | #Constraints: 19193
420.69/421.82 c #Conflicts: 453000 | #Constraints: 20193
420.69/421.82 c #Conflicts: 454000 | #Constraints: 21193
420.69/421.82 c #Conflicts: 455000 | #Constraints: 22193
420.69/421.82 c #Conflicts: 456000 | #Constraints: 23193
420.69/421.82 c #Conflicts: 457000 | #Constraints: 24193
420.69/421.82 c #Conflicts: 458000 | #Constraints: 25193
420.69/421.82 c #Conflicts: 459000 | #Constraints: 26193
420.69/421.82 c #Conflicts: 460000 | #Constraints: 27193
420.69/421.82 c INPROCESSING
420.69/421.82 c GARBAGE COLLECT
420.69/421.82 c #Conflicts: 461000 | #Constraints: 14795
420.69/421.82 c #Conflicts: 462000 | #Constraints: 15795
420.69/421.82 c #Conflicts: 463000 | #Constraints: 16795
420.69/421.82 c #Conflicts: 464000 | #Constraints: 17795
420.69/421.82 c #Conflicts: 465000 | #Constraints: 18795
420.69/421.82 c #Conflicts: 466000 | #Constraints: 19795
420.69/421.82 c #Conflicts: 467000 | #Constraints: 20795
420.69/421.82 c #Conflicts: 468000 | #Constraints: 21795
420.69/421.82 c #Conflicts: 469000 | #Constraints: 22795
420.69/421.82 c #Conflicts: 470000 | #Constraints: 23795
420.69/421.82 c #Conflicts: 471000 | #Constraints: 24795
420.69/421.82 c #Conflicts: 472000 | #Constraints: 25795
420.69/421.82 c #Conflicts: 473000 | #Constraints: 26795
420.69/421.82 c #Conflicts: 474000 | #Constraints: 27795
420.69/421.82 c INPROCESSING
420.69/421.82 c GARBAGE COLLECT
420.69/421.82 c #Conflicts: 475000 | #Constraints: 15192
420.69/421.82 c #Conflicts: 476000 | #Constraints: 16192
420.69/421.82 c #Conflicts: 477000 | #Constraints: 17192
420.69/421.82 c #Conflicts: 478000 | #Constraints: 18192
420.69/421.82 c #Conflicts: 479000 | #Constraints: 19192
420.69/421.82 c #Conflicts: 480000 | #Constraints: 20192
420.69/421.82 c #Conflicts: 481000 | #Constraints: 21192
420.69/421.82 c #Conflicts: 482000 | #Constraints: 22192
420.69/421.82 c #Conflicts: 483000 | #Constraints: 23192
420.69/421.82 c #Conflicts: 484000 | #Constraints: 24192
420.69/421.82 c #Conflicts: 485000 | #Constraints: 25192
420.69/421.82 c #Conflicts: 486000 | #Constraints: 26192
420.69/421.82 c #Conflicts: 487000 | #Constraints: 27192
420.69/421.82 c #Conflicts: 488000 | #Constraints: 28192
420.69/421.82 c INPROCESSING
420.69/421.82 c GARBAGE COLLECT
420.69/421.82 c #Conflicts: 489000 | #Constraints: 15385
420.69/421.82 c #Conflicts: 490000 | #Constraints: 16385
420.69/421.82 c #Conflicts: 491000 | #Constraints: 17385
420.69/421.82 c #Conflicts: 492000 | #Constraints: 18385
420.69/421.82 c #Conflicts: 493000 | #Constraints: 19385
420.69/421.82 c #Conflicts: 494000 | #Constraints: 20385
420.69/421.82 c #Conflicts: 495000 | #Constraints: 21385
420.69/421.82 c #Conflicts: 496000 | #Constraints: 22385
420.69/421.82 c #Conflicts: 497000 | #Constraints: 23385
420.69/421.82 c #Conflicts: 498000 | #Constraints: 24385
420.69/421.82 c #Conflicts: 499000 | #Constraints: 25385
420.69/421.82 c #Conflicts: 500000 | #Constraints: 26385
420.69/421.82 c #Conflicts: 501000 | #Constraints: 27385
420.69/421.82 c #Conflicts: 502000 | #Constraints: 28385
420.69/421.82 c INPROCESSING
420.69/421.82 c GARBAGE COLLECT
420.69/421.82 c #Conflicts: 503000 | #Constraints: 15392
420.69/421.82 c #Conflicts: 504000 | #Constraints: 16392
420.69/421.82 c #Conflicts: 505000 | #Constraints: 17392
420.69/421.82 c #Conflicts: 506000 | #Constraints: 18392
420.69/421.82 c #Conflicts: 507000 | #Constraints: 19392
420.69/421.82 c #Conflicts: 508000 | #Constraints: 20392
420.69/421.82 c #Conflicts: 509000 | #Constraints: 21392
508.68/510.01 c #Conflicts: 510000 | #Constraints: 22392
508.68/510.01 c #Conflicts: 511000 | #Constraints: 23392
508.68/510.01 c #Conflicts: 512000 | #Constraints: 24392
508.68/510.01 c #Conflicts: 513000 | #Constraints: 25392
508.68/510.01 c #Conflicts: 514000 | #Constraints: 26392
508.68/510.01 c #Conflicts: 515000 | #Constraints: 27392
508.68/510.01 c #Conflicts: 516000 | #Constraints: 28392
508.68/510.01 c INPROCESSING
508.68/510.01 c GARBAGE COLLECT
508.68/510.01 c #Conflicts: 517000 | #Constraints: 15189
508.68/510.01 c #Conflicts: 518000 | #Constraints: 16189
508.68/510.01 c #Conflicts: 519000 | #Constraints: 17189
508.68/510.01 c #Conflicts: 520000 | #Constraints: 18189
508.68/510.01 c #Conflicts: 521000 | #Constraints: 19189
508.68/510.01 c #Conflicts: 522000 | #Constraints: 20189
508.68/510.01 c #Conflicts: 523000 | #Constraints: 21189
508.68/510.01 c #Conflicts: 524000 | #Constraints: 22189
508.68/510.01 c #Conflicts: 525000 | #Constraints: 23189
508.68/510.01 c #Conflicts: 526000 | #Constraints: 24189
508.68/510.01 c #Conflicts: 527000 | #Constraints: 25189
508.68/510.01 c #Conflicts: 528000 | #Constraints: 26189
508.68/510.01 c #Conflicts: 529000 | #Constraints: 27189
508.68/510.01 c #Conflicts: 530000 | #Constraints: 28189
508.68/510.01 c #Conflicts: 531000 | #Constraints: 29189
508.68/510.01 c INPROCESSING
508.68/510.01 c GARBAGE COLLECT
508.68/510.01 c #Conflicts: 532000 | #Constraints: 15787
508.68/510.01 c #Conflicts: 533000 | #Constraints: 16787
508.68/510.01 c #Conflicts: 534000 | #Constraints: 17787
508.68/510.01 c #Conflicts: 535000 | #Constraints: 18787
508.68/510.01 c #Conflicts: 536000 | #Constraints: 19787
508.68/510.01 c #Conflicts: 537000 | #Constraints: 20787
508.68/510.01 c #Conflicts: 538000 | #Constraints: 21787
508.68/510.01 c #Conflicts: 539000 | #Constraints: 22787
508.68/510.01 c #Conflicts: 540000 | #Constraints: 23787
508.68/510.01 c #Conflicts: 541000 | #Constraints: 24787
508.68/510.01 c #Conflicts: 542000 | #Constraints: 25787
508.68/510.01 c #Conflicts: 543000 | #Constraints: 26787
508.68/510.01 c #Conflicts: 544000 | #Constraints: 27787
508.68/510.01 c #Conflicts: 545000 | #Constraints: 28787
508.68/510.01 c #Conflicts: 546000 | #Constraints: 29787
508.68/510.01 c INPROCESSING
508.68/510.01 c GARBAGE COLLECT
508.68/510.01 c #Conflicts: 547000 | #Constraints: 16188
508.68/510.01 c #Conflicts: 548000 | #Constraints: 17188
508.68/510.01 c #Conflicts: 549000 | #Constraints: 18188
508.68/510.01 c #Conflicts: 550000 | #Constraints: 19188
508.68/510.01 c #Conflicts: 551000 | #Constraints: 20188
508.68/510.01 c #Conflicts: 552000 | #Constraints: 21188
508.68/510.01 c #Conflicts: 553000 | #Constraints: 22188
508.68/510.01 c #Conflicts: 554000 | #Constraints: 23188
508.68/510.01 c #Conflicts: 555000 | #Constraints: 24188
508.68/510.01 c #Conflicts: 556000 | #Constraints: 25188
508.68/510.01 c #Conflicts: 557000 | #Constraints: 26188
508.68/510.01 c #Conflicts: 558000 | #Constraints: 27188
508.68/510.01 c #Conflicts: 559000 | #Constraints: 28188
508.68/510.01 c #Conflicts: 560000 | #Constraints: 29188
508.68/510.01 c #Conflicts: 561000 | #Constraints: 30188
508.68/510.01 c INPROCESSING
508.68/510.01 c GARBAGE COLLECT
508.68/510.01 c #Conflicts: 562000 | #Constraints: 16380
508.68/510.01 c #Conflicts: 563000 | #Constraints: 17380
508.68/510.01 c #Conflicts: 564000 | #Constraints: 18380
508.68/510.01 c #Conflicts: 565000 | #Constraints: 19380
508.68/510.01 c #Conflicts: 566000 | #Constraints: 20380
508.68/510.01 c #Conflicts: 567000 | #Constraints: 21380
508.68/510.01 c #Conflicts: 568000 | #Constraints: 22380
508.68/510.01 c #Conflicts: 569000 | #Constraints: 23380
508.68/510.01 c #Conflicts: 570000 | #Constraints: 24380
508.68/510.01 c #Conflicts: 571000 | #Constraints: 25380
508.68/510.01 c #Conflicts: 572000 | #Constraints: 26380
508.68/510.01 c #Conflicts: 573000 | #Constraints: 27380
508.68/510.01 c #Conflicts: 574000 | #Constraints: 28380
508.68/510.01 c #Conflicts: 575000 | #Constraints: 29380
508.68/510.01 c #Conflicts: 576000 | #Constraints: 30380
508.68/510.01 c INPROCESSING
508.68/510.01 c GARBAGE COLLECT
508.68/510.01 c #Conflicts: 577000 | #Constraints: 16381
508.68/510.01 c #Conflicts: 578000 | #Constraints: 17381
508.68/510.01 c #Conflicts: 579000 | #Constraints: 18381
508.68/510.01 c #Conflicts: 580000 | #Constraints: 19381
508.68/510.01 c #Conflicts: 581000 | #Constraints: 20381
508.68/510.01 c #Conflicts: 582000 | #Constraints: 21381
508.68/510.01 c #Conflicts: 583000 | #Constraints: 22381
508.68/510.01 c #Conflicts: 584000 | #Constraints: 23381
508.68/510.01 c #Conflicts: 585000 | #Constraints: 24381
605.97/607.67 c #Conflicts: 586000 | #Constraints: 25381
605.97/607.67 c #Conflicts: 587000 | #Constraints: 26381
605.97/607.67 c #Conflicts: 588000 | #Constraints: 27381
605.97/607.67 c #Conflicts: 589000 | #Constraints: 28381
605.97/607.67 c #Conflicts: 590000 | #Constraints: 29381
605.97/607.67 c #Conflicts: 591000 | #Constraints: 30381
605.97/607.67 c INPROCESSING
605.97/607.67 c GARBAGE COLLECT
605.97/607.67 c #Conflicts: 592000 | #Constraints: 16192
605.97/607.67 c #Conflicts: 593000 | #Constraints: 17192
605.97/607.67 c #Conflicts: 594000 | #Constraints: 18192
605.97/607.67 c #Conflicts: 595000 | #Constraints: 19192
605.97/607.67 c #Conflicts: 596000 | #Constraints: 20192
605.97/607.67 c #Conflicts: 597000 | #Constraints: 21192
605.97/607.67 c #Conflicts: 598000 | #Constraints: 22192
605.97/607.67 c #Conflicts: 599000 | #Constraints: 23192
605.97/607.67 c #Conflicts: 600000 | #Constraints: 24192
605.97/607.67 c #Conflicts: 601000 | #Constraints: 25192
605.97/607.67 c #Conflicts: 602000 | #Constraints: 26192
605.97/607.67 c #Conflicts: 603000 | #Constraints: 27192
605.97/607.67 c #Conflicts: 604000 | #Constraints: 28192
605.97/607.67 c #Conflicts: 605000 | #Constraints: 29192
605.97/607.67 c #Conflicts: 606000 | #Constraints: 30192
605.97/607.67 c #Conflicts: 607000 | #Constraints: 31192
605.97/607.67 c INPROCESSING
605.97/607.67 c GARBAGE COLLECT
605.97/607.67 c #Conflicts: 608000 | #Constraints: 16786
605.97/607.67 c #Conflicts: 609000 | #Constraints: 17786
605.97/607.67 c #Conflicts: 610000 | #Constraints: 18786
605.97/607.67 c #Conflicts: 611000 | #Constraints: 19786
605.97/607.67 c #Conflicts: 612000 | #Constraints: 20786
605.97/607.67 c #Conflicts: 613000 | #Constraints: 21786
605.97/607.67 c #Conflicts: 614000 | #Constraints: 22786
605.97/607.67 c #Conflicts: 615000 | #Constraints: 23786
605.97/607.67 c #Conflicts: 616000 | #Constraints: 24786
605.97/607.67 c #Conflicts: 617000 | #Constraints: 25786
605.97/607.67 c #Conflicts: 618000 | #Constraints: 26786
605.97/607.67 c #Conflicts: 619000 | #Constraints: 27786
605.97/607.67 c #Conflicts: 620000 | #Constraints: 28786
605.97/607.67 c #Conflicts: 621000 | #Constraints: 29786
605.97/607.67 c #Conflicts: 622000 | #Constraints: 30786
605.97/607.67 c #Conflicts: 623000 | #Constraints: 31786
605.97/607.67 c INPROCESSING
605.97/607.67 c GARBAGE COLLECT
605.97/607.67 c #Conflicts: 624000 | #Constraints: 17182
605.97/607.67 c #Conflicts: 625000 | #Constraints: 18182
605.97/607.67 c #Conflicts: 626000 | #Constraints: 19182
605.97/607.67 c #Conflicts: 627000 | #Constraints: 20182
605.97/607.67 c #Conflicts: 628000 | #Constraints: 21182
605.97/607.67 c #Conflicts: 629000 | #Constraints: 22182
605.97/607.67 c #Conflicts: 630000 | #Constraints: 23182
605.97/607.67 c #Conflicts: 631000 | #Constraints: 24182
605.97/607.67 c #Conflicts: 632000 | #Constraints: 25182
605.97/607.67 c #Conflicts: 633000 | #Constraints: 26182
605.97/607.67 c #Conflicts: 634000 | #Constraints: 27182
605.97/607.67 c #Conflicts: 635000 | #Constraints: 28182
605.97/607.67 c #Conflicts: 636000 | #Constraints: 29182
605.97/607.67 c #Conflicts: 637000 | #Constraints: 30182
605.97/607.67 c #Conflicts: 638000 | #Constraints: 31182
605.97/607.67 c #Conflicts: 639000 | #Constraints: 32182
605.97/607.67 c INPROCESSING
605.97/607.67 c GARBAGE COLLECT
605.97/607.67 c #Conflicts: 640000 | #Constraints: 17388
605.97/607.67 c #Conflicts: 641000 | #Constraints: 18388
605.97/607.67 c #Conflicts: 642000 | #Constraints: 19388
605.97/607.67 c #Conflicts: 643000 | #Constraints: 20388
605.97/607.67 c #Conflicts: 644000 | #Constraints: 21388
605.97/607.67 c #Conflicts: 645000 | #Constraints: 22388
605.97/607.67 c #Conflicts: 646000 | #Constraints: 23388
605.97/607.67 c #Conflicts: 647000 | #Constraints: 24388
605.97/607.67 c #Conflicts: 648000 | #Constraints: 25388
605.97/607.67 c #Conflicts: 649000 | #Constraints: 26388
605.97/607.67 c #Conflicts: 650000 | #Constraints: 27388
605.97/607.67 c #Conflicts: 651000 | #Constraints: 28388
605.97/607.67 c #Conflicts: 652000 | #Constraints: 29388
605.97/607.67 c #Conflicts: 653000 | #Constraints: 30388
605.97/607.67 c #Conflicts: 654000 | #Constraints: 31388
605.97/607.67 c #Conflicts: 655000 | #Constraints: 32388
605.97/607.67 c INPROCESSING
605.97/607.67 c GARBAGE COLLECT
605.97/607.67 c #Conflicts: 656000 | #Constraints: 17388
605.97/607.67 c #Conflicts: 657000 | #Constraints: 18388
605.97/607.67 c #Conflicts: 658000 | #Constraints: 19388
605.97/607.67 c #Conflicts: 659000 | #Constraints: 20388
605.97/607.67 c #Conflicts: 660000 | #Constraints: 21388
721.39/723.40 c #Conflicts: 661000 | #Constraints: 22388
721.39/723.40 c #Conflicts: 662000 | #Constraints: 23388
721.39/723.40 c #Conflicts: 663000 | #Constraints: 24388
721.39/723.40 c #Conflicts: 664000 | #Constraints: 25388
721.39/723.40 c #Conflicts: 665000 | #Constraints: 26388
721.39/723.40 c #Conflicts: 666000 | #Constraints: 27388
721.39/723.40 c #Conflicts: 667000 | #Constraints: 28388
721.39/723.40 c #Conflicts: 668000 | #Constraints: 29388
721.39/723.40 c #Conflicts: 669000 | #Constraints: 30388
721.39/723.40 c #Conflicts: 670000 | #Constraints: 31388
721.39/723.40 c #Conflicts: 671000 | #Constraints: 32388
721.39/723.40 c INPROCESSING
721.39/723.40 c GARBAGE COLLECT
721.39/723.40 c #Conflicts: 672000 | #Constraints: 17177
721.39/723.40 c #Conflicts: 673000 | #Constraints: 18177
721.39/723.40 c #Conflicts: 674000 | #Constraints: 19177
721.39/723.40 c #Conflicts: 675000 | #Constraints: 20177
721.39/723.40 c #Conflicts: 676000 | #Constraints: 21177
721.39/723.40 c #Conflicts: 677000 | #Constraints: 22177
721.39/723.40 c #Conflicts: 678000 | #Constraints: 23177
721.39/723.40 c #Conflicts: 679000 | #Constraints: 24177
721.39/723.40 c #Conflicts: 680000 | #Constraints: 25177
721.39/723.40 c #Conflicts: 681000 | #Constraints: 26177
721.39/723.40 c #Conflicts: 682000 | #Constraints: 27177
721.39/723.40 c #Conflicts: 683000 | #Constraints: 28177
721.39/723.40 c #Conflicts: 684000 | #Constraints: 29177
721.39/723.40 c #Conflicts: 685000 | #Constraints: 30177
721.39/723.40 c #Conflicts: 686000 | #Constraints: 31177
721.39/723.40 c #Conflicts: 687000 | #Constraints: 32177
721.39/723.40 c #Conflicts: 688000 | #Constraints: 33177
721.39/723.40 c INPROCESSING
721.39/723.40 c GARBAGE COLLECT
721.39/723.40 c #Conflicts: 689000 | #Constraints: 17780
721.39/723.40 c #Conflicts: 690000 | #Constraints: 18780
721.39/723.40 c #Conflicts: 691000 | #Constraints: 19780
721.39/723.40 c #Conflicts: 692000 | #Constraints: 20780
721.39/723.40 c #Conflicts: 693000 | #Constraints: 21780
721.39/723.40 c #Conflicts: 694000 | #Constraints: 22780
721.39/723.40 c #Conflicts: 695000 | #Constraints: 23780
721.39/723.40 c #Conflicts: 696000 | #Constraints: 24780
721.39/723.40 c #Conflicts: 697000 | #Constraints: 25780
721.39/723.40 c #Conflicts: 698000 | #Constraints: 26780
721.39/723.40 c #Conflicts: 699000 | #Constraints: 27780
721.39/723.40 c #Conflicts: 700000 | #Constraints: 28780
721.39/723.40 c #Conflicts: 701000 | #Constraints: 29780
721.39/723.40 c #Conflicts: 702000 | #Constraints: 30780
721.39/723.40 c #Conflicts: 703000 | #Constraints: 31780
721.39/723.40 c #Conflicts: 704000 | #Constraints: 32780
721.39/723.40 c #Conflicts: 705000 | #Constraints: 33780
721.39/723.40 c INPROCESSING
721.39/723.40 c GARBAGE COLLECT
721.39/723.40 c #Conflicts: 706000 | #Constraints: 18182
721.39/723.40 c #Conflicts: 707000 | #Constraints: 19182
721.39/723.40 c #Conflicts: 708000 | #Constraints: 20182
721.39/723.40 c #Conflicts: 709000 | #Constraints: 21182
721.39/723.40 c #Conflicts: 710000 | #Constraints: 22182
721.39/723.40 c #Conflicts: 711000 | #Constraints: 23182
721.39/723.40 c #Conflicts: 712000 | #Constraints: 24182
721.39/723.40 c #Conflicts: 713000 | #Constraints: 25182
721.39/723.40 c #Conflicts: 714000 | #Constraints: 26182
721.39/723.40 c #Conflicts: 715000 | #Constraints: 27182
721.39/723.40 c #Conflicts: 716000 | #Constraints: 28182
721.39/723.40 c #Conflicts: 717000 | #Constraints: 29182
721.39/723.40 c #Conflicts: 718000 | #Constraints: 30182
721.39/723.40 c #Conflicts: 719000 | #Constraints: 31182
721.39/723.40 c #Conflicts: 720000 | #Constraints: 32182
721.39/723.40 c #Conflicts: 721000 | #Constraints: 33182
721.39/723.40 c #Conflicts: 722000 | #Constraints: 34182
721.39/723.40 c INPROCESSING
721.39/723.40 c GARBAGE COLLECT
721.39/723.40 c #Conflicts: 723000 | #Constraints: 18385
721.39/723.40 c #Conflicts: 724000 | #Constraints: 19385
721.39/723.40 c #Conflicts: 725000 | #Constraints: 20385
721.39/723.40 c #Conflicts: 726000 | #Constraints: 21385
721.39/723.40 c #Conflicts: 727000 | #Constraints: 22385
721.39/723.40 c #Conflicts: 728000 | #Constraints: 23385
721.39/723.40 c #Conflicts: 729000 | #Constraints: 24385
721.39/723.40 c #Conflicts: 730000 | #Constraints: 25385
721.39/723.40 c #Conflicts: 731000 | #Constraints: 26385
721.39/723.40 c #Conflicts: 732000 | #Constraints: 27385
721.39/723.40 c #Conflicts: 733000 | #Constraints: 28385
721.39/723.40 c #Conflicts: 734000 | #Constraints: 29385
721.39/723.40 c #Conflicts: 735000 | #Constraints: 30385
721.39/723.40 c #Conflicts: 736000 | #Constraints: 31385
721.39/723.40 c #Conflicts: 737000 | #Constraints: 32385
861.02/863.52 c #Conflicts: 738000 | #Constraints: 33385
861.02/863.52 c #Conflicts: 739000 | #Constraints: 34385
861.02/863.52 c INPROCESSING
861.02/863.52 c GARBAGE COLLECT
861.02/863.52 c #Conflicts: 740000 | #Constraints: 18394
861.02/863.52 c #Conflicts: 741000 | #Constraints: 19394
861.02/863.52 c #Conflicts: 742000 | #Constraints: 20394
861.02/863.52 c #Conflicts: 743000 | #Constraints: 21394
861.02/863.52 c #Conflicts: 744000 | #Constraints: 22394
861.02/863.52 c #Conflicts: 745000 | #Constraints: 23394
861.02/863.52 c #Conflicts: 746000 | #Constraints: 24394
861.02/863.52 c #Conflicts: 747000 | #Constraints: 25394
861.02/863.52 c #Conflicts: 748000 | #Constraints: 26394
861.02/863.52 c #Conflicts: 749000 | #Constraints: 27394
861.02/863.52 c #Conflicts: 750000 | #Constraints: 28394
861.02/863.52 c #Conflicts: 751000 | #Constraints: 29394
861.02/863.52 c #Conflicts: 752000 | #Constraints: 30394
861.02/863.52 c #Conflicts: 753000 | #Constraints: 31394
861.02/863.52 c #Conflicts: 754000 | #Constraints: 32394
861.02/863.52 c #Conflicts: 755000 | #Constraints: 33394
861.02/863.52 c #Conflicts: 756000 | #Constraints: 34394
861.02/863.52 c INPROCESSING
861.02/863.52 c GARBAGE COLLECT
861.02/863.52 c #Conflicts: 757000 | #Constraints: 18194
861.02/863.52 c #Conflicts: 758000 | #Constraints: 19194
861.02/863.52 c #Conflicts: 759000 | #Constraints: 20194
861.02/863.52 c #Conflicts: 760000 | #Constraints: 21194
861.02/863.52 c #Conflicts: 761000 | #Constraints: 22194
861.02/863.52 c #Conflicts: 762000 | #Constraints: 23194
861.02/863.52 c #Conflicts: 763000 | #Constraints: 24194
861.02/863.52 c #Conflicts: 764000 | #Constraints: 25194
861.02/863.52 c #Conflicts: 765000 | #Constraints: 26194
861.02/863.52 c #Conflicts: 766000 | #Constraints: 27194
861.02/863.52 c #Conflicts: 767000 | #Constraints: 28194
861.02/863.52 c #Conflicts: 768000 | #Constraints: 29194
861.02/863.52 c #Conflicts: 769000 | #Constraints: 30194
861.02/863.52 c #Conflicts: 770000 | #Constraints: 31194
861.02/863.52 c #Conflicts: 771000 | #Constraints: 32194
861.02/863.52 c #Conflicts: 772000 | #Constraints: 33194
861.02/863.52 c #Conflicts: 773000 | #Constraints: 34194
861.02/863.52 c #Conflicts: 774000 | #Constraints: 35194
861.02/863.52 c INPROCESSING
861.02/863.52 c GARBAGE COLLECT
861.02/863.52 c #Conflicts: 775000 | #Constraints: 18790
861.02/863.52 c #Conflicts: 776000 | #Constraints: 19790
861.02/863.52 c #Conflicts: 777000 | #Constraints: 20790
861.02/863.52 c #Conflicts: 778000 | #Constraints: 21790
861.02/863.52 c #Conflicts: 779000 | #Constraints: 22790
861.02/863.52 c #Conflicts: 780000 | #Constraints: 23790
861.02/863.52 c #Conflicts: 781000 | #Constraints: 24790
861.02/863.52 c #Conflicts: 782000 | #Constraints: 25790
861.02/863.52 c #Conflicts: 783000 | #Constraints: 26790
861.02/863.52 c #Conflicts: 784000 | #Constraints: 27790
861.02/863.52 c #Conflicts: 785000 | #Constraints: 28790
861.02/863.52 c #Conflicts: 786000 | #Constraints: 29790
861.02/863.52 c #Conflicts: 787000 | #Constraints: 30790
861.02/863.52 c #Conflicts: 788000 | #Constraints: 31790
861.02/863.52 c #Conflicts: 789000 | #Constraints: 32790
861.02/863.52 c #Conflicts: 790000 | #Constraints: 33790
861.02/863.52 c #Conflicts: 791000 | #Constraints: 34790
861.02/863.52 c #Conflicts: 792000 | #Constraints: 35790
861.02/863.52 c INPROCESSING
861.02/863.52 c GARBAGE COLLECT
861.02/863.52 c #Conflicts: 793000 | #Constraints: 19188
861.02/863.52 c #Conflicts: 794000 | #Constraints: 20188
861.02/863.52 c #Conflicts: 795000 | #Constraints: 21188
861.02/863.52 c #Conflicts: 796000 | #Constraints: 22188
861.02/863.52 c #Conflicts: 797000 | #Constraints: 23188
861.02/863.52 c #Conflicts: 798000 | #Constraints: 24188
861.02/863.52 c #Conflicts: 799000 | #Constraints: 25188
861.02/863.52 c #Conflicts: 800000 | #Constraints: 26188
861.02/863.52 c #Conflicts: 801000 | #Constraints: 27188
861.02/863.52 c #Conflicts: 802000 | #Constraints: 28188
861.02/863.52 c #Conflicts: 803000 | #Constraints: 29188
861.02/863.52 c #Conflicts: 804000 | #Constraints: 30188
861.02/863.52 c #Conflicts: 805000 | #Constraints: 31188
861.02/863.52 c #Conflicts: 806000 | #Constraints: 32188
861.02/863.52 c #Conflicts: 807000 | #Constraints: 33188
861.02/863.52 c #Conflicts: 808000 | #Constraints: 34188
861.02/863.52 c #Conflicts: 809000 | #Constraints: 35188
861.02/863.52 c #Conflicts: 810000 | #Constraints: 36188
861.02/863.52 c INPROCESSING
861.02/863.52 c GARBAGE COLLECT
861.02/863.52 c #Conflicts: 811000 | #Constraints: 19389
861.02/863.52 c #Conflicts: 812000 | #Constraints: 20389
998.66/1001.67 c #Conflicts: 813000 | #Constraints: 21389
998.66/1001.67 c #Conflicts: 814000 | #Constraints: 22389
998.66/1001.67 c #Conflicts: 815000 | #Constraints: 23389
998.66/1001.67 c #Conflicts: 816000 | #Constraints: 24389
998.66/1001.67 c #Conflicts: 817000 | #Constraints: 25389
998.66/1001.67 c #Conflicts: 818000 | #Constraints: 26389
998.66/1001.67 c #Conflicts: 819000 | #Constraints: 27389
998.66/1001.67 c #Conflicts: 820000 | #Constraints: 28389
998.66/1001.67 c #Conflicts: 821000 | #Constraints: 29389
998.66/1001.67 c #Conflicts: 822000 | #Constraints: 30389
998.66/1001.67 c #Conflicts: 823000 | #Constraints: 31389
998.66/1001.67 c #Conflicts: 824000 | #Constraints: 32389
998.66/1001.67 c #Conflicts: 825000 | #Constraints: 33389
998.66/1001.67 c #Conflicts: 826000 | #Constraints: 34389
998.66/1001.67 c #Conflicts: 827000 | #Constraints: 35389
998.66/1001.67 c #Conflicts: 828000 | #Constraints: 36389
998.66/1001.67 c INPROCESSING
998.66/1001.67 c GARBAGE COLLECT
998.66/1001.67 c #Conflicts: 829000 | #Constraints: 19388
998.66/1001.67 c #Conflicts: 830000 | #Constraints: 20388
998.66/1001.67 c #Conflicts: 831000 | #Constraints: 21388
998.66/1001.67 c #Conflicts: 832000 | #Constraints: 22388
998.66/1001.67 c #Conflicts: 833000 | #Constraints: 23388
998.66/1001.67 c #Conflicts: 834000 | #Constraints: 24388
998.66/1001.67 c #Conflicts: 835000 | #Constraints: 25388
998.66/1001.67 c #Conflicts: 836000 | #Constraints: 26388
998.66/1001.67 c #Conflicts: 837000 | #Constraints: 27388
998.66/1001.67 c #Conflicts: 838000 | #Constraints: 28388
998.66/1001.67 c #Conflicts: 839000 | #Constraints: 29388
998.66/1001.67 c #Conflicts: 840000 | #Constraints: 30388
998.66/1001.67 c #Conflicts: 841000 | #Constraints: 31388
998.66/1001.67 c #Conflicts: 842000 | #Constraints: 32388
998.66/1001.67 c #Conflicts: 843000 | #Constraints: 33388
998.66/1001.67 c #Conflicts: 844000 | #Constraints: 34388
998.66/1001.67 c #Conflicts: 845000 | #Constraints: 35388
998.66/1001.67 c #Conflicts: 846000 | #Constraints: 36388
998.66/1001.67 c INPROCESSING
998.66/1001.67 c GARBAGE COLLECT
998.66/1001.67 c #Conflicts: 847000 | #Constraints: 19191
998.66/1001.67 c #Conflicts: 848000 | #Constraints: 20191
998.66/1001.67 c #Conflicts: 849000 | #Constraints: 21191
998.66/1001.67 c #Conflicts: 850000 | #Constraints: 22191
998.66/1001.67 c #Conflicts: 851000 | #Constraints: 23191
998.66/1001.67 c #Conflicts: 852000 | #Constraints: 24191
998.66/1001.67 c #Conflicts: 853000 | #Constraints: 25191
998.66/1001.67 c #Conflicts: 854000 | #Constraints: 26191
998.66/1001.67 c #Conflicts: 855000 | #Constraints: 27191
998.66/1001.67 c #Conflicts: 856000 | #Constraints: 28191
998.66/1001.67 c #Conflicts: 857000 | #Constraints: 29191
998.66/1001.67 c #Conflicts: 858000 | #Constraints: 30191
998.66/1001.67 c #Conflicts: 859000 | #Constraints: 31191
998.66/1001.67 c #Conflicts: 860000 | #Constraints: 32191
998.66/1001.67 c #Conflicts: 861000 | #Constraints: 33191
998.66/1001.67 c #Conflicts: 862000 | #Constraints: 34191
998.66/1001.67 c #Conflicts: 863000 | #Constraints: 35191
998.66/1001.67 c #Conflicts: 864000 | #Constraints: 36191
998.66/1001.67 c #Conflicts: 865000 | #Constraints: 37191
998.66/1001.67 c INPROCESSING
998.66/1001.67 c GARBAGE COLLECT
998.66/1001.67 c #Conflicts: 866000 | #Constraints: 19788
998.66/1001.67 c #Conflicts: 867000 | #Constraints: 20788
998.66/1001.67 c #Conflicts: 868000 | #Constraints: 21788
998.66/1001.67 c #Conflicts: 869000 | #Constraints: 22788
998.66/1001.67 c #Conflicts: 870000 | #Constraints: 23788
998.66/1001.67 c #Conflicts: 871000 | #Constraints: 24788
998.66/1001.67 c #Conflicts: 872000 | #Constraints: 25788
998.66/1001.67 c #Conflicts: 873000 | #Constraints: 26788
998.66/1001.67 c #Conflicts: 874000 | #Constraints: 27788
998.66/1001.67 c #Conflicts: 875000 | #Constraints: 28788
998.66/1001.67 c #Conflicts: 876000 | #Constraints: 29788
998.66/1001.67 c #Conflicts: 877000 | #Constraints: 30788
998.66/1001.67 c #Conflicts: 878000 | #Constraints: 31788
998.66/1001.67 c #Conflicts: 879000 | #Constraints: 32788
998.66/1001.67 c #Conflicts: 880000 | #Constraints: 33788
998.66/1001.67 c #Conflicts: 881000 | #Constraints: 34788
998.66/1001.67 c #Conflicts: 882000 | #Constraints: 35788
998.66/1001.67 c #Conflicts: 883000 | #Constraints: 36788
998.66/1001.67 c #Conflicts: 884000 | #Constraints: 37788
998.66/1001.67 c INPROCESSING
998.66/1001.67 c GARBAGE COLLECT
998.66/1001.67 c #Conflicts: 885000 | #Constraints: 20192
998.66/1001.67 c #Conflicts: 886000 | #Constraints: 21192
998.66/1001.67 c #Conflicts: 887000 | #Constraints: 22192
998.66/1001.67 c #Conflicts: 888000 | #Constraints: 23192
1138.69/1142.11 c #Conflicts: 889000 | #Constraints: 24192
1138.69/1142.11 c #Conflicts: 890000 | #Constraints: 25192
1138.69/1142.11 c #Conflicts: 891000 | #Constraints: 26192
1138.69/1142.11 c #Conflicts: 892000 | #Constraints: 27192
1138.69/1142.11 c #Conflicts: 893000 | #Constraints: 28192
1138.69/1142.11 c #Conflicts: 894000 | #Constraints: 29192
1138.69/1142.11 c #Conflicts: 895000 | #Constraints: 30192
1138.69/1142.11 c #Conflicts: 896000 | #Constraints: 31192
1138.69/1142.11 c #Conflicts: 897000 | #Constraints: 32192
1138.69/1142.11 c #Conflicts: 898000 | #Constraints: 33192
1138.69/1142.11 c #Conflicts: 899000 | #Constraints: 34192
1138.69/1142.11 c #Conflicts: 900000 | #Constraints: 35192
1138.69/1142.11 c #Conflicts: 901000 | #Constraints: 36192
1138.69/1142.11 c #Conflicts: 902000 | #Constraints: 37192
1138.69/1142.11 c #Conflicts: 903000 | #Constraints: 38192
1138.69/1142.11 c INPROCESSING
1138.69/1142.11 c GARBAGE COLLECT
1138.69/1142.11 c #Conflicts: 904000 | #Constraints: 20391
1138.69/1142.11 c #Conflicts: 905000 | #Constraints: 21391
1138.69/1142.11 c #Conflicts: 906000 | #Constraints: 22391
1138.69/1142.11 c #Conflicts: 907000 | #Constraints: 23391
1138.69/1142.11 c #Conflicts: 908000 | #Constraints: 24391
1138.69/1142.11 c #Conflicts: 909000 | #Constraints: 25391
1138.69/1142.11 c #Conflicts: 910000 | #Constraints: 26391
1138.69/1142.11 c #Conflicts: 911000 | #Constraints: 27391
1138.69/1142.11 c #Conflicts: 912000 | #Constraints: 28391
1138.69/1142.11 c #Conflicts: 913000 | #Constraints: 29391
1138.69/1142.11 c #Conflicts: 914000 | #Constraints: 30391
1138.69/1142.11 c #Conflicts: 915000 | #Constraints: 31391
1138.69/1142.11 c #Conflicts: 916000 | #Constraints: 32391
1138.69/1142.11 c #Conflicts: 917000 | #Constraints: 33391
1138.69/1142.11 c #Conflicts: 918000 | #Constraints: 34391
1138.69/1142.11 c #Conflicts: 919000 | #Constraints: 35391
1138.69/1142.11 c #Conflicts: 920000 | #Constraints: 36391
1138.69/1142.11 c #Conflicts: 921000 | #Constraints: 37391
1138.69/1142.11 c #Conflicts: 922000 | #Constraints: 38391
1138.69/1142.11 c INPROCESSING
1138.69/1142.11 c GARBAGE COLLECT
1138.69/1142.11 c #Conflicts: 923000 | #Constraints: 20396
1138.69/1142.11 c #Conflicts: 924000 | #Constraints: 21396
1138.69/1142.11 c #Conflicts: 925000 | #Constraints: 22396
1138.69/1142.11 c #Conflicts: 926000 | #Constraints: 23396
1138.69/1142.11 c #Conflicts: 927000 | #Constraints: 24396
1138.69/1142.11 c #Conflicts: 928000 | #Constraints: 25396
1138.69/1142.11 c #Conflicts: 929000 | #Constraints: 26396
1138.69/1142.11 c #Conflicts: 930000 | #Constraints: 27396
1138.69/1142.11 c #Conflicts: 931000 | #Constraints: 28396
1138.69/1142.11 c #Conflicts: 932000 | #Constraints: 29396
1138.69/1142.11 c #Conflicts: 933000 | #Constraints: 30396
1138.69/1142.11 c #Conflicts: 934000 | #Constraints: 31396
1138.69/1142.11 c #Conflicts: 935000 | #Constraints: 32396
1138.69/1142.11 c #Conflicts: 936000 | #Constraints: 33396
1138.69/1142.11 c #Conflicts: 937000 | #Constraints: 34396
1138.69/1142.11 c #Conflicts: 938000 | #Constraints: 35396
1138.69/1142.11 c #Conflicts: 939000 | #Constraints: 36396
1138.69/1142.11 c #Conflicts: 940000 | #Constraints: 37396
1138.69/1142.11 c #Conflicts: 941000 | #Constraints: 38396
1138.69/1142.11 c INPROCESSING
1138.69/1142.11 c GARBAGE COLLECT
1138.69/1142.11 c #Conflicts: 942000 | #Constraints: 20193
1138.69/1142.11 c #Conflicts: 943000 | #Constraints: 21193
1138.69/1142.11 c #Conflicts: 944000 | #Constraints: 22193
1138.69/1142.11 c #Conflicts: 945000 | #Constraints: 23193
1138.69/1142.11 c #Conflicts: 946000 | #Constraints: 24193
1138.69/1142.11 c #Conflicts: 947000 | #Constraints: 25193
1138.69/1142.11 c #Conflicts: 948000 | #Constraints: 26193
1138.69/1142.11 c #Conflicts: 949000 | #Constraints: 27193
1138.69/1142.11 c #Conflicts: 950000 | #Constraints: 28193
1138.69/1142.11 c #Conflicts: 951000 | #Constraints: 29193
1138.69/1142.11 c #Conflicts: 952000 | #Constraints: 30193
1138.69/1142.11 c #Conflicts: 953000 | #Constraints: 31193
1138.69/1142.11 c #Conflicts: 954000 | #Constraints: 32193
1138.69/1142.11 c #Conflicts: 955000 | #Constraints: 33193
1138.69/1142.11 c #Conflicts: 956000 | #Constraints: 34193
1138.69/1142.11 c #Conflicts: 957000 | #Constraints: 35193
1138.69/1142.11 c #Conflicts: 958000 | #Constraints: 36193
1138.69/1142.11 c #Conflicts: 959000 | #Constraints: 37193
1138.69/1142.11 c #Conflicts: 960000 | #Constraints: 38193
1138.69/1142.11 c #Conflicts: 961000 | #Constraints: 39193
1138.69/1142.11 c INPROCESSING
1138.69/1142.11 c GARBAGE COLLECT
1138.69/1142.11 c #Conflicts: 962000 | #Constraints: 20800
1138.69/1142.11 c #Conflicts: 963000 | #Constraints: 21800
1138.69/1142.11 c #Conflicts: 964000 | #Constraints: 22800
1138.69/1142.11 c #Conflicts: 965000 | #Constraints: 23800
1266.76/1270.64 c #Conflicts: 966000 | #Constraints: 24800
1266.76/1270.64 c #Conflicts: 967000 | #Constraints: 25800
1266.76/1270.64 c #Conflicts: 968000 | #Constraints: 26800
1266.76/1270.64 c #Conflicts: 969000 | #Constraints: 27800
1266.76/1270.64 c #Conflicts: 970000 | #Constraints: 28800
1266.76/1270.64 c #Conflicts: 971000 | #Constraints: 29800
1266.76/1270.64 c #Conflicts: 972000 | #Constraints: 30800
1266.76/1270.64 c #Conflicts: 973000 | #Constraints: 31800
1266.76/1270.64 c #Conflicts: 974000 | #Constraints: 32800
1266.76/1270.64 c #Conflicts: 975000 | #Constraints: 33800
1266.76/1270.64 c #Conflicts: 976000 | #Constraints: 34800
1266.76/1270.64 c #Conflicts: 977000 | #Constraints: 35800
1266.76/1270.64 c #Conflicts: 978000 | #Constraints: 36800
1266.76/1270.64 c #Conflicts: 979000 | #Constraints: 37800
1266.76/1270.64 c #Conflicts: 980000 | #Constraints: 38800
1266.76/1270.64 c #Conflicts: 981000 | #Constraints: 39800
1266.76/1270.64 c INPROCESSING
1266.76/1270.64 c GARBAGE COLLECT
1266.76/1270.64 c #Conflicts: 982000 | #Constraints: 21189
1266.76/1270.64 c #Conflicts: 983000 | #Constraints: 22189
1266.76/1270.64 c #Conflicts: 984000 | #Constraints: 23189
1266.76/1270.64 c #Conflicts: 985000 | #Constraints: 24189
1266.76/1270.64 c #Conflicts: 986000 | #Constraints: 25189
1266.76/1270.64 c #Conflicts: 987000 | #Constraints: 26189
1266.76/1270.64 c #Conflicts: 988000 | #Constraints: 27189
1266.76/1270.64 c #Conflicts: 989000 | #Constraints: 28189
1266.76/1270.64 c #Conflicts: 990000 | #Constraints: 29189
1266.76/1270.64 c #Conflicts: 991000 | #Constraints: 30189
1266.76/1270.64 c #Conflicts: 992000 | #Constraints: 31189
1266.76/1270.64 c #Conflicts: 993000 | #Constraints: 32189
1266.76/1270.64 c #Conflicts: 994000 | #Constraints: 33189
1266.76/1270.64 c #Conflicts: 995000 | #Constraints: 34189
1266.76/1270.64 c #Conflicts: 996000 | #Constraints: 35189
1266.76/1270.64 c #Conflicts: 997000 | #Constraints: 36189
1266.76/1270.64 c #Conflicts: 998000 | #Constraints: 37189
1266.76/1270.64 c #Conflicts: 999000 | #Constraints: 38189
1266.76/1270.64 c #Conflicts: 1000000 | #Constraints: 39189
1266.76/1270.64 c #Conflicts: 1001000 | #Constraints: 40189
1266.76/1270.64 c INPROCESSING
1266.76/1270.64 c GARBAGE COLLECT
1266.76/1270.64 c #Conflicts: 1002000 | #Constraints: 21394
1266.76/1270.64 c #Conflicts: 1003000 | #Constraints: 22394
1266.76/1270.64 c #Conflicts: 1004000 | #Constraints: 23394
1266.76/1270.64 c #Conflicts: 1005000 | #Constraints: 24394
1266.76/1270.64 c #Conflicts: 1006000 | #Constraints: 25394
1266.76/1270.64 c #Conflicts: 1007000 | #Constraints: 26394
1266.76/1270.64 c #Conflicts: 1008000 | #Constraints: 27394
1266.76/1270.64 c #Conflicts: 1009000 | #Constraints: 28394
1266.76/1270.64 c #Conflicts: 1010000 | #Constraints: 29394
1266.76/1270.64 c #Conflicts: 1011000 | #Constraints: 30394
1266.76/1270.64 c #Conflicts: 1012000 | #Constraints: 31394
1266.76/1270.64 c #Conflicts: 1013000 | #Constraints: 32394
1266.76/1270.64 c #Conflicts: 1014000 | #Constraints: 33394
1266.76/1270.64 c #Conflicts: 1015000 | #Constraints: 34394
1266.76/1270.64 c #Conflicts: 1016000 | #Constraints: 35394
1266.76/1270.64 c #Conflicts: 1017000 | #Constraints: 36394
1266.76/1270.64 c #Conflicts: 1018000 | #Constraints: 37394
1266.76/1270.64 c #Conflicts: 1019000 | #Constraints: 38394
1266.76/1270.64 c #Conflicts: 1020000 | #Constraints: 39394
1266.76/1270.64 c #Conflicts: 1021000 | #Constraints: 40394
1266.76/1270.64 c INPROCESSING
1266.76/1270.64 c GARBAGE COLLECT
1266.76/1270.64 c #Conflicts: 1022000 | #Constraints: 21388
1266.76/1270.64 c #Conflicts: 1023000 | #Constraints: 22388
1266.76/1270.64 c #Conflicts: 1024000 | #Constraints: 23388
1266.76/1270.64 c #Conflicts: 1025000 | #Constraints: 24388
1266.76/1270.64 c #Conflicts: 1026000 | #Constraints: 25388
1266.76/1270.64 c #Conflicts: 1027000 | #Constraints: 26388
1266.76/1270.64 c #Conflicts: 1028000 | #Constraints: 27388
1266.76/1270.64 c #Conflicts: 1029000 | #Constraints: 28388
1266.76/1270.64 c #Conflicts: 1030000 | #Constraints: 29388
1266.76/1270.64 c #Conflicts: 1031000 | #Constraints: 30388
1266.76/1270.64 c #Conflicts: 1032000 | #Constraints: 31388
1266.76/1270.64 c #Conflicts: 1033000 | #Constraints: 32388
1266.76/1270.64 c #Conflicts: 1034000 | #Constraints: 33388
1266.76/1270.64 c #Conflicts: 1035000 | #Constraints: 34388
1266.76/1270.64 c #Conflicts: 1036000 | #Constraints: 35388
1266.76/1270.64 c #Conflicts: 1037000 | #Constraints: 36388
1266.76/1270.64 c #Conflicts: 1038000 | #Constraints: 37388
1266.76/1270.64 c #Conflicts: 1039000 | #Constraints: 38388
1266.76/1270.64 c #Conflicts: 1040000 | #Constraints: 39388
1266.76/1270.64 c #Conflicts: 1041000 | #Constraints: 40388
1412.38/1416.73 c INPROCESSING
1412.38/1416.73 c GARBAGE COLLECT
1412.38/1416.73 c #Conflicts: 1042000 | #Constraints: 21190
1412.38/1416.73 c #Conflicts: 1043000 | #Constraints: 22190
1412.38/1416.73 c #Conflicts: 1044000 | #Constraints: 23190
1412.38/1416.73 c #Conflicts: 1045000 | #Constraints: 24190
1412.38/1416.73 c #Conflicts: 1046000 | #Constraints: 25190
1412.38/1416.73 c #Conflicts: 1047000 | #Constraints: 26190
1412.38/1416.73 c #Conflicts: 1048000 | #Constraints: 27190
1412.38/1416.73 c #Conflicts: 1049000 | #Constraints: 28190
1412.38/1416.73 c #Conflicts: 1050000 | #Constraints: 29190
1412.38/1416.73 c #Conflicts: 1051000 | #Constraints: 30190
1412.38/1416.73 c #Conflicts: 1052000 | #Constraints: 31190
1412.38/1416.73 c #Conflicts: 1053000 | #Constraints: 32190
1412.38/1416.73 c #Conflicts: 1054000 | #Constraints: 33190
1412.38/1416.73 c #Conflicts: 1055000 | #Constraints: 34190
1412.38/1416.73 c #Conflicts: 1056000 | #Constraints: 35190
1412.38/1416.73 c #Conflicts: 1057000 | #Constraints: 36190
1412.38/1416.73 c #Conflicts: 1058000 | #Constraints: 37190
1412.38/1416.73 c #Conflicts: 1059000 | #Constraints: 38190
1412.38/1416.73 c #Conflicts: 1060000 | #Constraints: 39190
1412.38/1416.73 c #Conflicts: 1061000 | #Constraints: 40190
1412.38/1416.73 c #Conflicts: 1062000 | #Constraints: 41190
1412.38/1416.73 c INPROCESSING
1412.38/1416.73 c GARBAGE COLLECT
1412.38/1416.73 c #Conflicts: 1063000 | #Constraints: 21792
1412.38/1416.73 c #Conflicts: 1064000 | #Constraints: 22792
1412.38/1416.73 c #Conflicts: 1065000 | #Constraints: 23792
1412.38/1416.73 c #Conflicts: 1066000 | #Constraints: 24792
1412.38/1416.73 c #Conflicts: 1067000 | #Constraints: 25792
1412.38/1416.73 c #Conflicts: 1068000 | #Constraints: 26792
1412.38/1416.73 c #Conflicts: 1069000 | #Constraints: 27792
1412.38/1416.73 c #Conflicts: 1070000 | #Constraints: 28792
1412.38/1416.73 c #Conflicts: 1071000 | #Constraints: 29792
1412.38/1416.73 c #Conflicts: 1072000 | #Constraints: 30792
1412.38/1416.73 c #Conflicts: 1073000 | #Constraints: 31792
1412.38/1416.73 c #Conflicts: 1074000 | #Constraints: 32792
1412.38/1416.73 c #Conflicts: 1075000 | #Constraints: 33792
1412.38/1416.73 c #Conflicts: 1076000 | #Constraints: 34792
1412.38/1416.73 c #Conflicts: 1077000 | #Constraints: 35792
1412.38/1416.73 c #Conflicts: 1078000 | #Constraints: 36792
1412.38/1416.73 c #Conflicts: 1079000 | #Constraints: 37792
1412.38/1416.73 c #Conflicts: 1080000 | #Constraints: 38792
1412.38/1416.73 c #Conflicts: 1081000 | #Constraints: 39792
1412.38/1416.73 c #Conflicts: 1082000 | #Constraints: 40792
1412.38/1416.73 c #Conflicts: 1083000 | #Constraints: 41792
1412.38/1416.73 c INPROCESSING
1412.38/1416.73 c GARBAGE COLLECT
1412.38/1416.73 c #Conflicts: 1084000 | #Constraints: 22193
1412.38/1416.73 c #Conflicts: 1085000 | #Constraints: 23193
1412.38/1416.73 c #Conflicts: 1086000 | #Constraints: 24193
1412.38/1416.73 c #Conflicts: 1087000 | #Constraints: 25193
1412.38/1416.73 c #Conflicts: 1088000 | #Constraints: 26193
1412.38/1416.73 c #Conflicts: 1089000 | #Constraints: 27193
1412.38/1416.73 c #Conflicts: 1090000 | #Constraints: 28193
1412.38/1416.73 c #Conflicts: 1091000 | #Constraints: 29193
1412.38/1416.73 c #Conflicts: 1092000 | #Constraints: 30193
1412.38/1416.73 c #Conflicts: 1093000 | #Constraints: 31193
1412.38/1416.73 c #Conflicts: 1094000 | #Constraints: 32193
1412.38/1416.73 c #Conflicts: 1095000 | #Constraints: 33193
1412.38/1416.73 c #Conflicts: 1096000 | #Constraints: 34193
1412.38/1416.73 c #Conflicts: 1097000 | #Constraints: 35193
1412.38/1416.73 c #Conflicts: 1098000 | #Constraints: 36193
1412.38/1416.73 c #Conflicts: 1099000 | #Constraints: 37193
1412.38/1416.73 c #Conflicts: 1100000 | #Constraints: 38193
1412.38/1416.73 c #Conflicts: 1101000 | #Constraints: 39193
1412.38/1416.73 c #Conflicts: 1102000 | #Constraints: 40193
1412.38/1416.73 c #Conflicts: 1103000 | #Constraints: 41193
1412.38/1416.73 c #Conflicts: 1104000 | #Constraints: 42193
1412.38/1416.73 c INPROCESSING
1412.38/1416.73 c GARBAGE COLLECT
1412.38/1416.73 c #Conflicts: 1105000 | #Constraints: 22393
1412.38/1416.73 c #Conflicts: 1106000 | #Constraints: 23393
1412.38/1416.73 c #Conflicts: 1107000 | #Constraints: 24393
1412.38/1416.73 c #Conflicts: 1108000 | #Constraints: 25393
1412.38/1416.73 c #Conflicts: 1109000 | #Constraints: 26393
1412.38/1416.73 c #Conflicts: 1110000 | #Constraints: 27393
1412.38/1416.73 c #Conflicts: 1111000 | #Constraints: 28393
1412.38/1416.73 c #Conflicts: 1112000 | #Constraints: 29393
1412.38/1416.73 c #Conflicts: 1113000 | #Constraints: 30393
1412.38/1416.73 c #Conflicts: 1114000 | #Constraints: 31393
1412.38/1416.73 c #Conflicts: 1115000 | #Constraints: 32393
1412.38/1416.73 c #Conflicts: 1116000 | #Constraints: 33393
1412.38/1416.73 c #Conflicts: 1117000 | #Constraints: 34393
1412.38/1416.73 c #Conflicts: 1118000 | #Constraints: 35393
1568.26/1573.07 c #Conflicts: 1119000 | #Constraints: 36393
1568.26/1573.07 c #Conflicts: 1120000 | #Constraints: 37393
1568.26/1573.07 c #Conflicts: 1121000 | #Constraints: 38393
1568.26/1573.07 c #Conflicts: 1122000 | #Constraints: 39393
1568.26/1573.07 c #Conflicts: 1123000 | #Constraints: 40393
1568.26/1573.07 c #Conflicts: 1124000 | #Constraints: 41393
1568.26/1573.07 c #Conflicts: 1125000 | #Constraints: 42393
1568.26/1573.07 c INPROCESSING
1568.26/1573.07 c GARBAGE COLLECT
1568.26/1573.07 c #Conflicts: 1126000 | #Constraints: 22384
1568.26/1573.07 c #Conflicts: 1127000 | #Constraints: 23384
1568.26/1573.07 c #Conflicts: 1128000 | #Constraints: 24384
1568.26/1573.07 c #Conflicts: 1129000 | #Constraints: 25384
1568.26/1573.07 c #Conflicts: 1130000 | #Constraints: 26384
1568.26/1573.07 c #Conflicts: 1131000 | #Constraints: 27384
1568.26/1573.07 c #Conflicts: 1132000 | #Constraints: 28384
1568.26/1573.07 c #Conflicts: 1133000 | #Constraints: 29384
1568.26/1573.07 c #Conflicts: 1134000 | #Constraints: 30384
1568.26/1573.07 c #Conflicts: 1135000 | #Constraints: 31384
1568.26/1573.07 c #Conflicts: 1136000 | #Constraints: 32384
1568.26/1573.07 c #Conflicts: 1137000 | #Constraints: 33384
1568.26/1573.07 c #Conflicts: 1138000 | #Constraints: 34384
1568.26/1573.07 c #Conflicts: 1139000 | #Constraints: 35384
1568.26/1573.07 c #Conflicts: 1140000 | #Constraints: 36384
1568.26/1573.07 c #Conflicts: 1141000 | #Constraints: 37384
1568.26/1573.07 c #Conflicts: 1142000 | #Constraints: 38384
1568.26/1573.07 c #Conflicts: 1143000 | #Constraints: 39384
1568.26/1573.07 c #Conflicts: 1144000 | #Constraints: 40384
1568.26/1573.07 c #Conflicts: 1145000 | #Constraints: 41384
1568.26/1573.07 c #Conflicts: 1146000 | #Constraints: 42384
1568.26/1573.07 c INPROCESSING
1568.26/1573.07 c GARBAGE COLLECT
1568.26/1573.07 c #Conflicts: 1147000 | #Constraints: 22185
1568.26/1573.07 c #Conflicts: 1148000 | #Constraints: 23185
1568.26/1573.07 c #Conflicts: 1149000 | #Constraints: 24185
1568.26/1573.07 c #Conflicts: 1150000 | #Constraints: 25185
1568.26/1573.07 c #Conflicts: 1151000 | #Constraints: 26185
1568.26/1573.07 c #Conflicts: 1152000 | #Constraints: 27185
1568.26/1573.07 c #Conflicts: 1153000 | #Constraints: 28185
1568.26/1573.07 c #Conflicts: 1154000 | #Constraints: 29185
1568.26/1573.07 c #Conflicts: 1155000 | #Constraints: 30185
1568.26/1573.07 c #Conflicts: 1156000 | #Constraints: 31185
1568.26/1573.07 c #Conflicts: 1157000 | #Constraints: 32185
1568.26/1573.07 c #Conflicts: 1158000 | #Constraints: 33185
1568.26/1573.07 c #Conflicts: 1159000 | #Constraints: 34185
1568.26/1573.07 c #Conflicts: 1160000 | #Constraints: 35185
1568.26/1573.07 c #Conflicts: 1161000 | #Constraints: 36185
1568.26/1573.07 c #Conflicts: 1162000 | #Constraints: 37185
1568.26/1573.07 c #Conflicts: 1163000 | #Constraints: 38185
1568.26/1573.07 c #Conflicts: 1164000 | #Constraints: 39185
1568.26/1573.07 c #Conflicts: 1165000 | #Constraints: 40185
1568.26/1573.07 c #Conflicts: 1166000 | #Constraints: 41185
1568.26/1573.07 c #Conflicts: 1167000 | #Constraints: 42185
1568.26/1573.07 c #Conflicts: 1168000 | #Constraints: 43185
1568.26/1573.07 c INPROCESSING
1568.26/1573.07 c GARBAGE COLLECT
1568.26/1573.07 c #Conflicts: 1169000 | #Constraints: 22787
1568.26/1573.07 c #Conflicts: 1170000 | #Constraints: 23787
1568.26/1573.07 c #Conflicts: 1171000 | #Constraints: 24787
1568.26/1573.07 c #Conflicts: 1172000 | #Constraints: 25787
1568.26/1573.07 c #Conflicts: 1173000 | #Constraints: 26787
1568.26/1573.07 c #Conflicts: 1174000 | #Constraints: 27787
1568.26/1573.07 c #Conflicts: 1175000 | #Constraints: 28787
1568.26/1573.07 c #Conflicts: 1176000 | #Constraints: 29787
1568.26/1573.07 c #Conflicts: 1177000 | #Constraints: 30787
1568.26/1573.07 c #Conflicts: 1178000 | #Constraints: 31787
1568.26/1573.07 c #Conflicts: 1179000 | #Constraints: 32787
1568.26/1573.07 c #Conflicts: 1180000 | #Constraints: 33787
1568.26/1573.07 c #Conflicts: 1181000 | #Constraints: 34787
1568.26/1573.07 c #Conflicts: 1182000 | #Constraints: 35787
1568.26/1573.07 c #Conflicts: 1183000 | #Constraints: 36787
1568.26/1573.07 c #Conflicts: 1184000 | #Constraints: 37787
1568.26/1573.07 c #Conflicts: 1185000 | #Constraints: 38787
1568.26/1573.07 c #Conflicts: 1186000 | #Constraints: 39787
1568.26/1573.07 c #Conflicts: 1187000 | #Constraints: 40787
1568.26/1573.07 c #Conflicts: 1188000 | #Constraints: 41787
1568.26/1573.07 c #Conflicts: 1189000 | #Constraints: 42787
1568.26/1573.07 c #Conflicts: 1190000 | #Constraints: 43787
1568.26/1573.07 c INPROCESSING
1568.26/1573.07 c GARBAGE COLLECT
1568.26/1573.07 c #Conflicts: 1191000 | #Constraints: 23182
1568.26/1573.07 c #Conflicts: 1192000 | #Constraints: 24182
1568.26/1573.07 c #Conflicts: 1193000 | #Constraints: 25182
1568.26/1573.07 c #Conflicts: 1194000 | #Constraints: 26182
1721.16/1726.30 c #Conflicts: 1195000 | #Constraints: 27182
1721.16/1726.30 c #Conflicts: 1196000 | #Constraints: 28182
1721.16/1726.30 c #Conflicts: 1197000 | #Constraints: 29182
1721.16/1726.30 c #Conflicts: 1198000 | #Constraints: 30182
1721.16/1726.30 c #Conflicts: 1199000 | #Constraints: 31182
1721.16/1726.30 c #Conflicts: 1200000 | #Constraints: 32182
1721.16/1726.30 c #Conflicts: 1201000 | #Constraints: 33182
1721.16/1726.30 c #Conflicts: 1202000 | #Constraints: 34182
1721.16/1726.30 c #Conflicts: 1203000 | #Constraints: 35182
1721.16/1726.30 c #Conflicts: 1204000 | #Constraints: 36182
1721.16/1726.30 c #Conflicts: 1205000 | #Constraints: 37182
1721.16/1726.30 c #Conflicts: 1206000 | #Constraints: 38182
1721.16/1726.30 c #Conflicts: 1207000 | #Constraints: 39182
1721.16/1726.30 c #Conflicts: 1208000 | #Constraints: 40182
1721.16/1726.30 c #Conflicts: 1209000 | #Constraints: 41182
1721.16/1726.30 c #Conflicts: 1210000 | #Constraints: 42182
1721.16/1726.30 c #Conflicts: 1211000 | #Constraints: 43182
1721.16/1726.30 c #Conflicts: 1212000 | #Constraints: 44182
1721.16/1726.30 c INPROCESSING
1721.16/1726.30 c GARBAGE COLLECT
1721.16/1726.30 c #Conflicts: 1213000 | #Constraints: 23387
1721.16/1726.30 c #Conflicts: 1214000 | #Constraints: 24387
1721.16/1726.30 c #Conflicts: 1215000 | #Constraints: 25387
1721.16/1726.30 c #Conflicts: 1216000 | #Constraints: 26387
1721.16/1726.30 c #Conflicts: 1217000 | #Constraints: 27387
1721.16/1726.30 c #Conflicts: 1218000 | #Constraints: 28387
1721.16/1726.30 c #Conflicts: 1219000 | #Constraints: 29387
1721.16/1726.30 c #Conflicts: 1220000 | #Constraints: 30387
1721.16/1726.30 c #Conflicts: 1221000 | #Constraints: 31387
1721.16/1726.30 c #Conflicts: 1222000 | #Constraints: 32387
1721.16/1726.30 c #Conflicts: 1223000 | #Constraints: 33387
1721.16/1726.30 c #Conflicts: 1224000 | #Constraints: 34387
1721.16/1726.30 c #Conflicts: 1225000 | #Constraints: 35387
1721.16/1726.30 c #Conflicts: 1226000 | #Constraints: 36387
1721.16/1726.30 c #Conflicts: 1227000 | #Constraints: 37387
1721.16/1726.30 c #Conflicts: 1228000 | #Constraints: 38387
1721.16/1726.30 c #Conflicts: 1229000 | #Constraints: 39387
1721.16/1726.30 c #Conflicts: 1230000 | #Constraints: 40387
1721.16/1726.30 c #Conflicts: 1231000 | #Constraints: 41387
1721.16/1726.30 c #Conflicts: 1232000 | #Constraints: 42387
1721.16/1726.30 c #Conflicts: 1233000 | #Constraints: 43387
1721.16/1726.30 c #Conflicts: 1234000 | #Constraints: 44387
1721.16/1726.30 c INPROCESSING
1721.16/1726.30 c GARBAGE COLLECT
1721.16/1726.30 c #Conflicts: 1235000 | #Constraints: 23391
1721.16/1726.30 c #Conflicts: 1236000 | #Constraints: 24391
1721.16/1726.30 c #Conflicts: 1237000 | #Constraints: 25391
1721.16/1726.30 c #Conflicts: 1238000 | #Constraints: 26391
1721.16/1726.30 c #Conflicts: 1239000 | #Constraints: 27391
1721.16/1726.30 c #Conflicts: 1240000 | #Constraints: 28391
1721.16/1726.30 c #Conflicts: 1241000 | #Constraints: 29391
1721.16/1726.30 c #Conflicts: 1242000 | #Constraints: 30391
1721.16/1726.30 c #Conflicts: 1243000 | #Constraints: 31391
1721.16/1726.30 c #Conflicts: 1244000 | #Constraints: 32391
1721.16/1726.30 c #Conflicts: 1245000 | #Constraints: 33391
1721.16/1726.30 c #Conflicts: 1246000 | #Constraints: 34391
1721.16/1726.30 c #Conflicts: 1247000 | #Constraints: 35391
1721.16/1726.30 c #Conflicts: 1248000 | #Constraints: 36391
1721.16/1726.30 c #Conflicts: 1249000 | #Constraints: 37391
1721.16/1726.30 c #Conflicts: 1250000 | #Constraints: 38391
1721.16/1726.30 c #Conflicts: 1251000 | #Constraints: 39391
1721.16/1726.30 c #Conflicts: 1252000 | #Constraints: 40391
1721.16/1726.30 c #Conflicts: 1253000 | #Constraints: 41391
1721.16/1726.30 c #Conflicts: 1254000 | #Constraints: 42391
1721.16/1726.30 c #Conflicts: 1255000 | #Constraints: 43391
1721.16/1726.30 c #Conflicts: 1256000 | #Constraints: 44391
1721.16/1726.30 c INPROCESSING
1721.16/1726.30 c GARBAGE COLLECT
1721.16/1726.30 c #Conflicts: 1257000 | #Constraints: 23193
1721.16/1726.30 c #Conflicts: 1258000 | #Constraints: 24193
1721.16/1726.30 c #Conflicts: 1259000 | #Constraints: 25193
1721.16/1726.30 c #Conflicts: 1260000 | #Constraints: 26193
1721.16/1726.30 c #Conflicts: 1261000 | #Constraints: 27193
1721.16/1726.30 c #Conflicts: 1262000 | #Constraints: 28193
1721.16/1726.30 c #Conflicts: 1263000 | #Constraints: 29193
1721.16/1726.30 c #Conflicts: 1264000 | #Constraints: 30193
1721.16/1726.30 c #Conflicts: 1265000 | #Constraints: 31193
1721.16/1726.30 c #Conflicts: 1266000 | #Constraints: 32193
1721.16/1726.30 c #Conflicts: 1267000 | #Constraints: 33193
1721.16/1726.30 c #Conflicts: 1268000 | #Constraints: 34193
1721.16/1726.30 c #Conflicts: 1269000 | #Constraints: 35193
1721.16/1726.30 c #Conflicts: 1270000 | #Constraints: 36193
1721.16/1726.30 c #Conflicts: 1271000 | #Constraints: 37193
1879.47/1885.05 c #Conflicts: 1272000 | #Constraints: 38193
1879.47/1885.05 c #Conflicts: 1273000 | #Constraints: 39193
1879.47/1885.05 c #Conflicts: 1274000 | #Constraints: 40193
1879.47/1885.05 c #Conflicts: 1275000 | #Constraints: 41193
1879.47/1885.05 c #Conflicts: 1276000 | #Constraints: 42193
1879.47/1885.05 c #Conflicts: 1277000 | #Constraints: 43193
1879.47/1885.05 c #Conflicts: 1278000 | #Constraints: 44193
1879.47/1885.05 c #Conflicts: 1279000 | #Constraints: 45193
1879.47/1885.05 c INPROCESSING
1879.47/1885.05 c GARBAGE COLLECT
1879.47/1885.05 c #Conflicts: 1280000 | #Constraints: 23791
1879.47/1885.05 c #Conflicts: 1281000 | #Constraints: 24791
1879.47/1885.05 c #Conflicts: 1282000 | #Constraints: 25791
1879.47/1885.05 c #Conflicts: 1283000 | #Constraints: 26791
1879.47/1885.05 c #Conflicts: 1284000 | #Constraints: 27791
1879.47/1885.05 c #Conflicts: 1285000 | #Constraints: 28791
1879.47/1885.05 c #Conflicts: 1286000 | #Constraints: 29791
1879.47/1885.05 c #Conflicts: 1287000 | #Constraints: 30791
1879.47/1885.05 c #Conflicts: 1288000 | #Constraints: 31791
1879.47/1885.05 c #Conflicts: 1289000 | #Constraints: 32791
1879.47/1885.05 c #Conflicts: 1290000 | #Constraints: 33791
1879.47/1885.05 c #Conflicts: 1291000 | #Constraints: 34791
1879.47/1885.05 c #Conflicts: 1292000 | #Constraints: 35791
1879.47/1885.05 c #Conflicts: 1293000 | #Constraints: 36791
1879.47/1885.05 c #Conflicts: 1294000 | #Constraints: 37791
1879.47/1885.05 c #Conflicts: 1295000 | #Constraints: 38791
1879.47/1885.05 c #Conflicts: 1296000 | #Constraints: 39791
1879.47/1885.05 c #Conflicts: 1297000 | #Constraints: 40791
1879.47/1885.05 c #Conflicts: 1298000 | #Constraints: 41791
1879.47/1885.05 c #Conflicts: 1299000 | #Constraints: 42791
1879.47/1885.05 c #Conflicts: 1300000 | #Constraints: 43791
1879.47/1885.05 c #Conflicts: 1301000 | #Constraints: 44791
1879.47/1885.05 c #Conflicts: 1302000 | #Constraints: 45791
1879.47/1885.05 c INPROCESSING
1879.47/1885.05 c GARBAGE COLLECT
1879.47/1885.05 c #Conflicts: 1303000 | #Constraints: 24189
1879.47/1885.05 c #Conflicts: 1304000 | #Constraints: 25189
1879.47/1885.05 c #Conflicts: 1305000 | #Constraints: 26189
1879.47/1885.05 c #Conflicts: 1306000 | #Constraints: 27189
1879.47/1885.05 c #Conflicts: 1307000 | #Constraints: 28189
1879.47/1885.05 c #Conflicts: 1308000 | #Constraints: 29189
1879.47/1885.05 c #Conflicts: 1309000 | #Constraints: 30189
1879.47/1885.05 c #Conflicts: 1310000 | #Constraints: 31189
1879.47/1885.05 c #Conflicts: 1311000 | #Constraints: 32189
1879.47/1885.05 c #Conflicts: 1312000 | #Constraints: 33189
1879.47/1885.05 c #Conflicts: 1313000 | #Constraints: 34189
1879.47/1885.05 c #Conflicts: 1314000 | #Constraints: 35189
1879.47/1885.05 c #Conflicts: 1315000 | #Constraints: 36189
1879.47/1885.05 c #Conflicts: 1316000 | #Constraints: 37189
1879.47/1885.05 c #Conflicts: 1317000 | #Constraints: 38189
1879.47/1885.05 c #Conflicts: 1318000 | #Constraints: 39189
1879.47/1885.05 c #Conflicts: 1319000 | #Constraints: 40189
1879.47/1885.05 c #Conflicts: 1320000 | #Constraints: 41189
1879.47/1885.05 c #Conflicts: 1321000 | #Constraints: 42189
1879.47/1885.05 c #Conflicts: 1322000 | #Constraints: 43189
1879.47/1885.05 c #Conflicts: 1323000 | #Constraints: 44189
1879.47/1885.05 c #Conflicts: 1324000 | #Constraints: 45189
1879.47/1885.05 c #Conflicts: 1325000 | #Constraints: 46189
1879.47/1885.05 c INPROCESSING
1879.47/1885.05 c GARBAGE COLLECT
1879.47/1885.05 c #Conflicts: 1326000 | #Constraints: 24382
1879.47/1885.05 c #Conflicts: 1327000 | #Constraints: 25382
1879.47/1885.05 c #Conflicts: 1328000 | #Constraints: 26382
1879.47/1885.05 c #Conflicts: 1329000 | #Constraints: 27382
1879.47/1885.05 c #Conflicts: 1330000 | #Constraints: 28382
1879.47/1885.05 c #Conflicts: 1331000 | #Constraints: 29382
1879.47/1885.05 c #Conflicts: 1332000 | #Constraints: 30382
1879.47/1885.05 c #Conflicts: 1333000 | #Constraints: 31382
1879.47/1885.05 c #Conflicts: 1334000 | #Constraints: 32382
1879.47/1885.05 c #Conflicts: 1335000 | #Constraints: 33382
1879.47/1885.05 c #Conflicts: 1336000 | #Constraints: 34382
1879.47/1885.05 c #Conflicts: 1337000 | #Constraints: 35382
1879.47/1885.05 c #Conflicts: 1338000 | #Constraints: 36382
1879.47/1885.05 c #Conflicts: 1339000 | #Constraints: 37382
1879.47/1885.05 c #Conflicts: 1340000 | #Constraints: 38382
1879.47/1885.05 c #Conflicts: 1341000 | #Constraints: 39382
1879.47/1885.05 c #Conflicts: 1342000 | #Constraints: 40382
1879.47/1885.05 c #Conflicts: 1343000 | #Constraints: 41382
1879.47/1885.05 c #Conflicts: 1344000 | #Constraints: 42382
1879.47/1885.05 c #Conflicts: 1345000 | #Constraints: 43382
1879.47/1885.05 c #Conflicts: 1346000 | #Constraints: 44382
1879.47/1885.05 c #Conflicts: 1347000 | #Constraints: 45382
1879.47/1885.05 c #Conflicts: 1348000 | #Constraints: 46382
2048.93/2054.94 c INPROCESSING
2048.93/2054.94 c GARBAGE COLLECT
2048.93/2054.94 c #Conflicts: 1349000 | #Constraints: 24383
2048.93/2054.94 c #Conflicts: 1350000 | #Constraints: 25383
2048.93/2054.94 c #Conflicts: 1351000 | #Constraints: 26383
2048.93/2054.94 c #Conflicts: 1352000 | #Constraints: 27383
2048.93/2054.94 c #Conflicts: 1353000 | #Constraints: 28383
2048.93/2054.94 c #Conflicts: 1354000 | #Constraints: 29383
2048.93/2054.94 c #Conflicts: 1355000 | #Constraints: 30383
2048.93/2054.94 c #Conflicts: 1356000 | #Constraints: 31383
2048.93/2054.94 c #Conflicts: 1357000 | #Constraints: 32383
2048.93/2054.94 c #Conflicts: 1358000 | #Constraints: 33383
2048.93/2054.94 c #Conflicts: 1359000 | #Constraints: 34383
2048.93/2054.94 c #Conflicts: 1360000 | #Constraints: 35383
2048.93/2054.94 c #Conflicts: 1361000 | #Constraints: 36383
2048.93/2054.94 c #Conflicts: 1362000 | #Constraints: 37383
2048.93/2054.94 c #Conflicts: 1363000 | #Constraints: 38383
2048.93/2054.94 c #Conflicts: 1364000 | #Constraints: 39383
2048.93/2054.94 c #Conflicts: 1365000 | #Constraints: 40383
2048.93/2054.94 c #Conflicts: 1366000 | #Constraints: 41383
2048.93/2054.94 c #Conflicts: 1367000 | #Constraints: 42383
2048.93/2054.94 c #Conflicts: 1368000 | #Constraints: 43383
2048.93/2054.94 c #Conflicts: 1369000 | #Constraints: 44383
2048.93/2054.94 c #Conflicts: 1370000 | #Constraints: 45383
2048.93/2054.94 c #Conflicts: 1371000 | #Constraints: 46383
2048.93/2054.94 c INPROCESSING
2048.93/2054.94 c GARBAGE COLLECT
2048.93/2054.94 c #Conflicts: 1372000 | #Constraints: 24186
2048.93/2054.94 c #Conflicts: 1373000 | #Constraints: 25186
2048.93/2054.94 c #Conflicts: 1374000 | #Constraints: 26186
2048.93/2054.94 c #Conflicts: 1375000 | #Constraints: 27186
2048.93/2054.94 c #Conflicts: 1376000 | #Constraints: 28186
2048.93/2054.94 c #Conflicts: 1377000 | #Constraints: 29186
2048.93/2054.94 c #Conflicts: 1378000 | #Constraints: 30186
2048.93/2054.94 c #Conflicts: 1379000 | #Constraints: 31186
2048.93/2054.94 c #Conflicts: 1380000 | #Constraints: 32186
2048.93/2054.94 c #Conflicts: 1381000 | #Constraints: 33186
2048.93/2054.94 c #Conflicts: 1382000 | #Constraints: 34186
2048.93/2054.94 c #Conflicts: 1383000 | #Constraints: 35186
2048.93/2054.94 c #Conflicts: 1384000 | #Constraints: 36186
2048.93/2054.94 c #Conflicts: 1385000 | #Constraints: 37186
2048.93/2054.94 c #Conflicts: 1386000 | #Constraints: 38186
2048.93/2054.94 c #Conflicts: 1387000 | #Constraints: 39186
2048.93/2054.94 c #Conflicts: 1388000 | #Constraints: 40186
2048.93/2054.94 c #Conflicts: 1389000 | #Constraints: 41186
2048.93/2054.94 c #Conflicts: 1390000 | #Constraints: 42186
2048.93/2054.94 c #Conflicts: 1391000 | #Constraints: 43186
2048.93/2054.94 c #Conflicts: 1392000 | #Constraints: 44186
2048.93/2054.94 c #Conflicts: 1393000 | #Constraints: 45186
2048.93/2054.94 c #Conflicts: 1394000 | #Constraints: 46186
2048.93/2054.94 c #Conflicts: 1395000 | #Constraints: 47186
2048.93/2054.94 c INPROCESSING
2048.93/2054.94 c GARBAGE COLLECT
2048.93/2054.94 c #Conflicts: 1396000 | #Constraints: 24785
2048.93/2054.94 c #Conflicts: 1397000 | #Constraints: 25785
2048.93/2054.94 c #Conflicts: 1398000 | #Constraints: 26785
2048.93/2054.94 c #Conflicts: 1399000 | #Constraints: 27785
2048.93/2054.94 c #Conflicts: 1400000 | #Constraints: 28785
2048.93/2054.94 c #Conflicts: 1401000 | #Constraints: 29785
2048.93/2054.94 c #Conflicts: 1402000 | #Constraints: 30785
2048.93/2054.94 c #Conflicts: 1403000 | #Constraints: 31785
2048.93/2054.94 c #Conflicts: 1404000 | #Constraints: 32785
2048.93/2054.94 c #Conflicts: 1405000 | #Constraints: 33785
2048.93/2054.94 c #Conflicts: 1406000 | #Constraints: 34785
2048.93/2054.94 c #Conflicts: 1407000 | #Constraints: 35785
2048.93/2054.94 c #Conflicts: 1408000 | #Constraints: 36785
2048.93/2054.94 c #Conflicts: 1409000 | #Constraints: 37785
2048.93/2054.94 c #Conflicts: 1410000 | #Constraints: 38785
2048.93/2054.94 c #Conflicts: 1411000 | #Constraints: 39785
2048.93/2054.94 c #Conflicts: 1412000 | #Constraints: 40785
2048.93/2054.94 c #Conflicts: 1413000 | #Constraints: 41785
2048.93/2054.94 c #Conflicts: 1414000 | #Constraints: 42785
2048.93/2054.94 c #Conflicts: 1415000 | #Constraints: 43785
2048.93/2054.94 c #Conflicts: 1416000 | #Constraints: 44785
2048.93/2054.94 c #Conflicts: 1417000 | #Constraints: 45785
2048.93/2054.94 c #Conflicts: 1418000 | #Constraints: 46785
2048.93/2054.94 c #Conflicts: 1419000 | #Constraints: 47785
2048.93/2054.94 c INPROCESSING
2048.93/2054.94 c GARBAGE COLLECT
2048.93/2054.94 c #Conflicts: 1420000 | #Constraints: 25187
2048.93/2054.94 c #Conflicts: 1421000 | #Constraints: 26187
2048.93/2054.94 c #Conflicts: 1422000 | #Constraints: 27187
2048.93/2054.94 c #Conflicts: 1423000 | #Constraints: 28187
2048.93/2054.94 c #Conflicts: 1424000 | #Constraints: 29187
2229.97/2236.40 c #Conflicts: 1425000 | #Constraints: 30187
2229.97/2236.40 c #Conflicts: 1426000 | #Constraints: 31187
2229.97/2236.40 c #Conflicts: 1427000 | #Constraints: 32187
2229.97/2236.40 c #Conflicts: 1428000 | #Constraints: 33187
2229.97/2236.40 c #Conflicts: 1429000 | #Constraints: 34187
2229.97/2236.40 c #Conflicts: 1430000 | #Constraints: 35187
2229.97/2236.40 c #Conflicts: 1431000 | #Constraints: 36187
2229.97/2236.40 c #Conflicts: 1432000 | #Constraints: 37187
2229.97/2236.40 c #Conflicts: 1433000 | #Constraints: 38187
2229.97/2236.40 c #Conflicts: 1434000 | #Constraints: 39187
2229.97/2236.40 c #Conflicts: 1435000 | #Constraints: 40187
2229.97/2236.40 c #Conflicts: 1436000 | #Constraints: 41187
2229.97/2236.40 c #Conflicts: 1437000 | #Constraints: 42187
2229.97/2236.40 c #Conflicts: 1438000 | #Constraints: 43187
2229.97/2236.40 c #Conflicts: 1439000 | #Constraints: 44187
2229.97/2236.40 c #Conflicts: 1440000 | #Constraints: 45187
2229.97/2236.40 c #Conflicts: 1441000 | #Constraints: 46187
2229.97/2236.40 c #Conflicts: 1442000 | #Constraints: 47187
2229.97/2236.40 c #Conflicts: 1443000 | #Constraints: 48187
2229.97/2236.40 c INPROCESSING
2229.97/2236.40 c GARBAGE COLLECT
2229.97/2236.40 c #Conflicts: 1444000 | #Constraints: 25394
2229.97/2236.40 c #Conflicts: 1445000 | #Constraints: 26394
2229.97/2236.40 c #Conflicts: 1446000 | #Constraints: 27394
2229.97/2236.40 c #Conflicts: 1447000 | #Constraints: 28394
2229.97/2236.40 c #Conflicts: 1448000 | #Constraints: 29394
2229.97/2236.40 c #Conflicts: 1449000 | #Constraints: 30394
2229.97/2236.40 c #Conflicts: 1450000 | #Constraints: 31394
2229.97/2236.40 c #Conflicts: 1451000 | #Constraints: 32394
2229.97/2236.40 c #Conflicts: 1452000 | #Constraints: 33394
2229.97/2236.40 c #Conflicts: 1453000 | #Constraints: 34394
2229.97/2236.40 c #Conflicts: 1454000 | #Constraints: 35394
2229.97/2236.40 c #Conflicts: 1455000 | #Constraints: 36394
2229.97/2236.40 c #Conflicts: 1456000 | #Constraints: 37394
2229.97/2236.40 c #Conflicts: 1457000 | #Constraints: 38394
2229.97/2236.40 c #Conflicts: 1458000 | #Constraints: 39394
2229.97/2236.40 c #Conflicts: 1459000 | #Constraints: 40394
2229.97/2236.40 c #Conflicts: 1460000 | #Constraints: 41394
2229.97/2236.40 c #Conflicts: 1461000 | #Constraints: 42394
2229.97/2236.40 c #Conflicts: 1462000 | #Constraints: 43394
2229.97/2236.40 c #Conflicts: 1463000 | #Constraints: 44394
2229.97/2236.40 c #Conflicts: 1464000 | #Constraints: 45394
2229.97/2236.40 c #Conflicts: 1465000 | #Constraints: 46394
2229.97/2236.40 c #Conflicts: 1466000 | #Constraints: 47394
2229.97/2236.40 c #Conflicts: 1467000 | #Constraints: 48394
2229.97/2236.40 c INPROCESSING
2229.97/2236.40 c GARBAGE COLLECT
2229.97/2236.40 c #Conflicts: 1468000 | #Constraints: 25394
2229.97/2236.40 c #Conflicts: 1469000 | #Constraints: 26394
2229.97/2236.40 c #Conflicts: 1470000 | #Constraints: 27394
2229.97/2236.40 c #Conflicts: 1471000 | #Constraints: 28394
2229.97/2236.40 c #Conflicts: 1472000 | #Constraints: 29394
2229.97/2236.40 c #Conflicts: 1473000 | #Constraints: 30394
2229.97/2236.40 c #Conflicts: 1474000 | #Constraints: 31394
2229.97/2236.40 c #Conflicts: 1475000 | #Constraints: 32394
2229.97/2236.40 c #Conflicts: 1476000 | #Constraints: 33394
2229.97/2236.40 c #Conflicts: 1477000 | #Constraints: 34394
2229.97/2236.40 c #Conflicts: 1478000 | #Constraints: 35394
2229.97/2236.40 c #Conflicts: 1479000 | #Constraints: 36394
2229.97/2236.40 c #Conflicts: 1480000 | #Constraints: 37394
2229.97/2236.40 c #Conflicts: 1481000 | #Constraints: 38394
2229.97/2236.40 c #Conflicts: 1482000 | #Constraints: 39394
2229.97/2236.40 c #Conflicts: 1483000 | #Constraints: 40394
2229.97/2236.40 c #Conflicts: 1484000 | #Constraints: 41394
2229.97/2236.40 c #Conflicts: 1485000 | #Constraints: 42394
2229.97/2236.40 c #Conflicts: 1486000 | #Constraints: 43394
2229.97/2236.40 c #Conflicts: 1487000 | #Constraints: 44394
2229.97/2236.40 c #Conflicts: 1488000 | #Constraints: 45394
2229.97/2236.40 c #Conflicts: 1489000 | #Constraints: 46394
2229.97/2236.40 c #Conflicts: 1490000 | #Constraints: 47394
2229.97/2236.40 c #Conflicts: 1491000 | #Constraints: 48394
2229.97/2236.40 c INPROCESSING
2229.97/2236.40 c GARBAGE COLLECT
2229.97/2236.40 c #Conflicts: 1492000 | #Constraints: 25193
2229.97/2236.40 c #Conflicts: 1493000 | #Constraints: 26193
2229.97/2236.40 c #Conflicts: 1494000 | #Constraints: 27193
2229.97/2236.40 c #Conflicts: 1495000 | #Constraints: 28193
2229.97/2236.40 c #Conflicts: 1496000 | #Constraints: 29193
2229.97/2236.40 c #Conflicts: 1497000 | #Constraints: 30193
2229.97/2236.40 c #Conflicts: 1498000 | #Constraints: 31193
2229.97/2236.40 c #Conflicts: 1499000 | #Constraints: 32193
2229.97/2236.40 c #Conflicts: 1500000 | #Constraints: 33193
2229.97/2236.40 c #Conflicts: 1501000 | #Constraints: 34193
2406.62/2413.50 c #Conflicts: 1502000 | #Constraints: 35193
2406.62/2413.50 c #Conflicts: 1503000 | #Constraints: 36193
2406.62/2413.50 c #Conflicts: 1504000 | #Constraints: 37193
2406.62/2413.50 c #Conflicts: 1505000 | #Constraints: 38193
2406.62/2413.50 c #Conflicts: 1506000 | #Constraints: 39193
2406.62/2413.50 c #Conflicts: 1507000 | #Constraints: 40193
2406.62/2413.50 c #Conflicts: 1508000 | #Constraints: 41193
2406.62/2413.50 c #Conflicts: 1509000 | #Constraints: 42193
2406.62/2413.50 c #Conflicts: 1510000 | #Constraints: 43193
2406.62/2413.50 c #Conflicts: 1511000 | #Constraints: 44193
2406.62/2413.50 c #Conflicts: 1512000 | #Constraints: 45193
2406.62/2413.50 c #Conflicts: 1513000 | #Constraints: 46193
2406.62/2413.50 c #Conflicts: 1514000 | #Constraints: 47193
2406.62/2413.50 c #Conflicts: 1515000 | #Constraints: 48193
2406.62/2413.50 c #Conflicts: 1516000 | #Constraints: 49193
2406.62/2413.50 c INPROCESSING
2406.62/2413.50 c GARBAGE COLLECT
2406.62/2413.50 c #Conflicts: 1517000 | #Constraints: 25790
2406.62/2413.50 c #Conflicts: 1518000 | #Constraints: 26790
2406.62/2413.50 c #Conflicts: 1519000 | #Constraints: 27790
2406.62/2413.50 c #Conflicts: 1520000 | #Constraints: 28790
2406.62/2413.50 c #Conflicts: 1521000 | #Constraints: 29790
2406.62/2413.50 c #Conflicts: 1522000 | #Constraints: 30790
2406.62/2413.50 c #Conflicts: 1523000 | #Constraints: 31790
2406.62/2413.50 c #Conflicts: 1524000 | #Constraints: 32790
2406.62/2413.50 c #Conflicts: 1525000 | #Constraints: 33790
2406.62/2413.50 c #Conflicts: 1526000 | #Constraints: 34790
2406.62/2413.50 c #Conflicts: 1527000 | #Constraints: 35790
2406.62/2413.50 c #Conflicts: 1528000 | #Constraints: 36790
2406.62/2413.50 c #Conflicts: 1529000 | #Constraints: 37790
2406.62/2413.50 c #Conflicts: 1530000 | #Constraints: 38790
2406.62/2413.50 c #Conflicts: 1531000 | #Constraints: 39790
2406.62/2413.50 c #Conflicts: 1532000 | #Constraints: 40790
2406.62/2413.50 c #Conflicts: 1533000 | #Constraints: 41790
2406.62/2413.50 c #Conflicts: 1534000 | #Constraints: 42790
2406.62/2413.50 c #Conflicts: 1535000 | #Constraints: 43790
2406.62/2413.50 c #Conflicts: 1536000 | #Constraints: 44790
2406.62/2413.50 c #Conflicts: 1537000 | #Constraints: 45790
2406.62/2413.50 c #Conflicts: 1538000 | #Constraints: 46790
2406.62/2413.50 c #Conflicts: 1539000 | #Constraints: 47790
2406.62/2413.50 c #Conflicts: 1540000 | #Constraints: 48790
2406.62/2413.50 c #Conflicts: 1541000 | #Constraints: 49790
2406.62/2413.50 c INPROCESSING
2406.62/2413.50 c GARBAGE COLLECT
2406.62/2413.50 c #Conflicts: 1542000 | #Constraints: 26187
2406.62/2413.50 c #Conflicts: 1543000 | #Constraints: 27187
2406.62/2413.50 c #Conflicts: 1544000 | #Constraints: 28187
2406.62/2413.50 c #Conflicts: 1545000 | #Constraints: 29187
2406.62/2413.50 c #Conflicts: 1546000 | #Constraints: 30187
2406.62/2413.50 c #Conflicts: 1547000 | #Constraints: 31187
2406.62/2413.50 c #Conflicts: 1548000 | #Constraints: 32187
2406.62/2413.50 c #Conflicts: 1549000 | #Constraints: 33187
2406.62/2413.50 c #Conflicts: 1550000 | #Constraints: 34187
2406.62/2413.50 c #Conflicts: 1551000 | #Constraints: 35187
2406.62/2413.50 c #Conflicts: 1552000 | #Constraints: 36187
2406.62/2413.50 c #Conflicts: 1553000 | #Constraints: 37187
2406.62/2413.50 c #Conflicts: 1554000 | #Constraints: 38187
2406.62/2413.50 c #Conflicts: 1555000 | #Constraints: 39187
2406.62/2413.50 c #Conflicts: 1556000 | #Constraints: 40187
2406.62/2413.50 c #Conflicts: 1557000 | #Constraints: 41187
2406.62/2413.50 c #Conflicts: 1558000 | #Constraints: 42187
2406.62/2413.50 c #Conflicts: 1559000 | #Constraints: 43187
2406.62/2413.50 c #Conflicts: 1560000 | #Constraints: 44187
2406.62/2413.50 c #Conflicts: 1561000 | #Constraints: 45187
2406.62/2413.50 c #Conflicts: 1562000 | #Constraints: 46187
2406.62/2413.50 c #Conflicts: 1563000 | #Constraints: 47187
2406.62/2413.50 c #Conflicts: 1564000 | #Constraints: 48187
2406.62/2413.50 c #Conflicts: 1565000 | #Constraints: 49187
2406.62/2413.50 c #Conflicts: 1566000 | #Constraints: 50187
2406.62/2413.50 c INPROCESSING
2406.62/2413.50 c GARBAGE COLLECT
2406.62/2413.50 c #Conflicts: 1567000 | #Constraints: 26390
2406.62/2413.50 c #Conflicts: 1568000 | #Constraints: 27390
2406.62/2413.50 c #Conflicts: 1569000 | #Constraints: 28390
2406.62/2413.50 c #Conflicts: 1570000 | #Constraints: 29390
2406.62/2413.50 c #Conflicts: 1571000 | #Constraints: 30390
2406.62/2413.50 c #Conflicts: 1572000 | #Constraints: 31390
2406.62/2413.50 c #Conflicts: 1573000 | #Constraints: 32390
2406.62/2413.50 c #Conflicts: 1574000 | #Constraints: 33390
2406.62/2413.50 c #Conflicts: 1575000 | #Constraints: 34390
2406.62/2413.50 c #Conflicts: 1576000 | #Constraints: 35390
2406.62/2413.50 c #Conflicts: 1577000 | #Constraints: 36390
2406.62/2413.50 c #Conflicts: 1578000 | #Constraints: 37390
2577.99/2585.39 c #Conflicts: 1579000 | #Constraints: 38390
2577.99/2585.39 c #Conflicts: 1580000 | #Constraints: 39390
2577.99/2585.39 c #Conflicts: 1581000 | #Constraints: 40390
2577.99/2585.39 c #Conflicts: 1582000 | #Constraints: 41390
2577.99/2585.39 c #Conflicts: 1583000 | #Constraints: 42390
2577.99/2585.39 c #Conflicts: 1584000 | #Constraints: 43390
2577.99/2585.39 c #Conflicts: 1585000 | #Constraints: 44390
2577.99/2585.39 c #Conflicts: 1586000 | #Constraints: 45390
2577.99/2585.39 c #Conflicts: 1587000 | #Constraints: 46390
2577.99/2585.39 c #Conflicts: 1588000 | #Constraints: 47390
2577.99/2585.39 c #Conflicts: 1589000 | #Constraints: 48390
2577.99/2585.39 c #Conflicts: 1590000 | #Constraints: 49390
2577.99/2585.39 c #Conflicts: 1591000 | #Constraints: 50390
2577.99/2585.39 c INPROCESSING
2577.99/2585.39 c GARBAGE COLLECT
2577.99/2585.39 c #Conflicts: 1592000 | #Constraints: 26388
2577.99/2585.39 c #Conflicts: 1593000 | #Constraints: 27388
2577.99/2585.39 c #Conflicts: 1594000 | #Constraints: 28388
2577.99/2585.39 c #Conflicts: 1595000 | #Constraints: 29388
2577.99/2585.39 c #Conflicts: 1596000 | #Constraints: 30388
2577.99/2585.39 c #Conflicts: 1597000 | #Constraints: 31388
2577.99/2585.39 c #Conflicts: 1598000 | #Constraints: 32388
2577.99/2585.39 c #Conflicts: 1599000 | #Constraints: 33388
2577.99/2585.39 c #Conflicts: 1600000 | #Constraints: 34388
2577.99/2585.39 c #Conflicts: 1601000 | #Constraints: 35388
2577.99/2585.39 c #Conflicts: 1602000 | #Constraints: 36388
2577.99/2585.39 c #Conflicts: 1603000 | #Constraints: 37388
2577.99/2585.39 c #Conflicts: 1604000 | #Constraints: 38388
2577.99/2585.39 c #Conflicts: 1605000 | #Constraints: 39388
2577.99/2585.39 c #Conflicts: 1606000 | #Constraints: 40388
2577.99/2585.39 c #Conflicts: 1607000 | #Constraints: 41388
2577.99/2585.39 c #Conflicts: 1608000 | #Constraints: 42388
2577.99/2585.39 c #Conflicts: 1609000 | #Constraints: 43388
2577.99/2585.39 c #Conflicts: 1610000 | #Constraints: 44388
2577.99/2585.39 c #Conflicts: 1611000 | #Constraints: 45388
2577.99/2585.39 c #Conflicts: 1612000 | #Constraints: 46388
2577.99/2585.39 c #Conflicts: 1613000 | #Constraints: 47388
2577.99/2585.39 c #Conflicts: 1614000 | #Constraints: 48388
2577.99/2585.39 c #Conflicts: 1615000 | #Constraints: 49388
2577.99/2585.39 c #Conflicts: 1616000 | #Constraints: 50388
2577.99/2585.39 c INPROCESSING
2577.99/2585.39 c GARBAGE COLLECT
2577.99/2585.39 c #Conflicts: 1617000 | #Constraints: 26193
2577.99/2585.39 c #Conflicts: 1618000 | #Constraints: 27193
2577.99/2585.39 c #Conflicts: 1619000 | #Constraints: 28193
2577.99/2585.39 c #Conflicts: 1620000 | #Constraints: 29193
2577.99/2585.39 c #Conflicts: 1621000 | #Constraints: 30193
2577.99/2585.39 c #Conflicts: 1622000 | #Constraints: 31193
2577.99/2585.39 c #Conflicts: 1623000 | #Constraints: 32193
2577.99/2585.39 c #Conflicts: 1624000 | #Constraints: 33193
2577.99/2585.39 c #Conflicts: 1625000 | #Constraints: 34193
2577.99/2585.39 c #Conflicts: 1626000 | #Constraints: 35193
2577.99/2585.39 c #Conflicts: 1627000 | #Constraints: 36193
2577.99/2585.39 c #Conflicts: 1628000 | #Constraints: 37193
2577.99/2585.39 c #Conflicts: 1629000 | #Constraints: 38193
2577.99/2585.39 c #Conflicts: 1630000 | #Constraints: 39193
2577.99/2585.39 c #Conflicts: 1631000 | #Constraints: 40193
2577.99/2585.39 c #Conflicts: 1632000 | #Constraints: 41193
2577.99/2585.39 c #Conflicts: 1633000 | #Constraints: 42193
2577.99/2585.39 c #Conflicts: 1634000 | #Constraints: 43193
2577.99/2585.39 c #Conflicts: 1635000 | #Constraints: 44193
2577.99/2585.39 c #Conflicts: 1636000 | #Constraints: 45193
2577.99/2585.39 c #Conflicts: 1637000 | #Constraints: 46193
2577.99/2585.39 c #Conflicts: 1638000 | #Constraints: 47193
2577.99/2585.39 c #Conflicts: 1639000 | #Constraints: 48193
2577.99/2585.39 c #Conflicts: 1640000 | #Constraints: 49193
2577.99/2585.39 c #Conflicts: 1641000 | #Constraints: 50193
2577.99/2585.39 c #Conflicts: 1642000 | #Constraints: 51193
2577.99/2585.39 c INPROCESSING
2577.99/2585.39 c GARBAGE COLLECT
2577.99/2585.39 c #Conflicts: 1643000 | #Constraints: 26796
2577.99/2585.39 c #Conflicts: 1644000 | #Constraints: 27796
2577.99/2585.39 c #Conflicts: 1645000 | #Constraints: 28796
2577.99/2585.39 c #Conflicts: 1646000 | #Constraints: 29796
2577.99/2585.39 c #Conflicts: 1647000 | #Constraints: 30796
2577.99/2585.39 c #Conflicts: 1648000 | #Constraints: 31796
2577.99/2585.39 c #Conflicts: 1649000 | #Constraints: 32796
2577.99/2585.39 c #Conflicts: 1650000 | #Constraints: 33796
2577.99/2585.39 c #Conflicts: 1651000 | #Constraints: 34796
2577.99/2585.39 c #Conflicts: 1652000 | #Constraints: 35796
2577.99/2585.39 c #Conflicts: 1653000 | #Constraints: 36796
2577.99/2585.39 c #Conflicts: 1654000 | #Constraints: 37796
2790.83/2798.75 c #Conflicts: 1655000 | #Constraints: 38796
2790.83/2798.75 c #Conflicts: 1656000 | #Constraints: 39796
2790.83/2798.75 c #Conflicts: 1657000 | #Constraints: 40796
2790.83/2798.75 c #Conflicts: 1658000 | #Constraints: 41796
2790.83/2798.75 c #Conflicts: 1659000 | #Constraints: 42796
2790.83/2798.75 c #Conflicts: 1660000 | #Constraints: 43796
2790.83/2798.75 c #Conflicts: 1661000 | #Constraints: 44796
2790.83/2798.75 c #Conflicts: 1662000 | #Constraints: 45796
2790.83/2798.75 c #Conflicts: 1663000 | #Constraints: 46796
2790.83/2798.75 c #Conflicts: 1664000 | #Constraints: 47796
2790.83/2798.75 c #Conflicts: 1665000 | #Constraints: 48796
2790.83/2798.75 c #Conflicts: 1666000 | #Constraints: 49796
2790.83/2798.75 c #Conflicts: 1667000 | #Constraints: 50796
2790.83/2798.75 c #Conflicts: 1668000 | #Constraints: 51796
2790.83/2798.75 c INPROCESSING
2790.83/2798.75 c GARBAGE COLLECT
2790.83/2798.75 c #Conflicts: 1669000 | #Constraints: 27194
2790.83/2798.75 c #Conflicts: 1670000 | #Constraints: 28194
2790.83/2798.75 c #Conflicts: 1671000 | #Constraints: 29194
2790.83/2798.75 c #Conflicts: 1672000 | #Constraints: 30194
2790.83/2798.75 c #Conflicts: 1673000 | #Constraints: 31194
2790.83/2798.75 c #Conflicts: 1674000 | #Constraints: 32194
2790.83/2798.75 c #Conflicts: 1675000 | #Constraints: 33194
2790.83/2798.75 c #Conflicts: 1676000 | #Constraints: 34194
2790.83/2798.75 c #Conflicts: 1677000 | #Constraints: 35194
2790.83/2798.75 c #Conflicts: 1678000 | #Constraints: 36194
2790.83/2798.75 c #Conflicts: 1679000 | #Constraints: 37194
2790.83/2798.75 c #Conflicts: 1680000 | #Constraints: 38194
2790.83/2798.75 c #Conflicts: 1681000 | #Constraints: 39194
2790.83/2798.75 c #Conflicts: 1682000 | #Constraints: 40194
2790.83/2798.75 c #Conflicts: 1683000 | #Constraints: 41194
2790.83/2798.75 c #Conflicts: 1684000 | #Constraints: 42194
2790.83/2798.75 c #Conflicts: 1685000 | #Constraints: 43194
2790.83/2798.75 c #Conflicts: 1686000 | #Constraints: 44194
2790.83/2798.75 c #Conflicts: 1687000 | #Constraints: 45194
2790.83/2798.75 c #Conflicts: 1688000 | #Constraints: 46194
2790.83/2798.75 c #Conflicts: 1689000 | #Constraints: 47194
2790.83/2798.75 c #Conflicts: 1690000 | #Constraints: 48194
2790.83/2798.75 c #Conflicts: 1691000 | #Constraints: 49194
2790.83/2798.75 c #Conflicts: 1692000 | #Constraints: 50194
2790.83/2798.75 c #Conflicts: 1693000 | #Constraints: 51194
2790.83/2798.75 c #Conflicts: 1694000 | #Constraints: 52194
2790.83/2798.75 c INPROCESSING
2790.83/2798.75 c GARBAGE COLLECT
2790.83/2798.75 c #Conflicts: 1695000 | #Constraints: 27393
2790.83/2798.75 c #Conflicts: 1696000 | #Constraints: 28393
2790.83/2798.75 c #Conflicts: 1697000 | #Constraints: 29393
2790.83/2798.75 c #Conflicts: 1698000 | #Constraints: 30393
2790.83/2798.75 c #Conflicts: 1699000 | #Constraints: 31393
2790.83/2798.75 c #Conflicts: 1700000 | #Constraints: 32393
2790.83/2798.75 c #Conflicts: 1701000 | #Constraints: 33393
2790.83/2798.75 c #Conflicts: 1702000 | #Constraints: 34393
2790.83/2798.75 c #Conflicts: 1703000 | #Constraints: 35393
2790.83/2798.75 c #Conflicts: 1704000 | #Constraints: 36393
2790.83/2798.75 c #Conflicts: 1705000 | #Constraints: 37393
2790.83/2798.75 c #Conflicts: 1706000 | #Constraints: 38393
2790.83/2798.75 c #Conflicts: 1707000 | #Constraints: 39393
2790.83/2798.75 c #Conflicts: 1708000 | #Constraints: 40393
2790.83/2798.75 c #Conflicts: 1709000 | #Constraints: 41393
2790.83/2798.75 c #Conflicts: 1710000 | #Constraints: 42393
2790.83/2798.75 c #Conflicts: 1711000 | #Constraints: 43393
2790.83/2798.75 c #Conflicts: 1712000 | #Constraints: 44393
2790.83/2798.75 c #Conflicts: 1713000 | #Constraints: 45393
2790.83/2798.75 c #Conflicts: 1714000 | #Constraints: 46393
2790.83/2798.75 c #Conflicts: 1715000 | #Constraints: 47393
2790.83/2798.75 c #Conflicts: 1716000 | #Constraints: 48393
2790.83/2798.75 c #Conflicts: 1717000 | #Constraints: 49393
2790.83/2798.75 c #Conflicts: 1718000 | #Constraints: 50393
2790.83/2798.75 c #Conflicts: 1719000 | #Constraints: 51393
2790.83/2798.75 c #Conflicts: 1720000 | #Constraints: 52393
2790.83/2798.75 c INPROCESSING
2790.83/2798.75 c GARBAGE COLLECT
2790.83/2798.75 c #Conflicts: 1721000 | #Constraints: 27395
2790.83/2798.75 c #Conflicts: 1722000 | #Constraints: 28395
2790.83/2798.75 c #Conflicts: 1723000 | #Constraints: 29395
2790.83/2798.75 c #Conflicts: 1724000 | #Constraints: 30395
2790.83/2798.75 c #Conflicts: 1725000 | #Constraints: 31395
2790.83/2798.75 c #Conflicts: 1726000 | #Constraints: 32395
2790.83/2798.75 c #Conflicts: 1727000 | #Constraints: 33395
2790.83/2798.75 c #Conflicts: 1728000 | #Constraints: 34395
2790.83/2798.75 c #Conflicts: 1729000 | #Constraints: 35395
2790.83/2798.75 c #Conflicts: 1730000 | #Constraints: 36395
2790.83/2798.75 c #Conflicts: 1731000 | #Constraints: 37395
3016.11/3024.62 c #Conflicts: 1732000 | #Constraints: 38395
3016.11/3024.62 c #Conflicts: 1733000 | #Constraints: 39395
3016.11/3024.62 c #Conflicts: 1734000 | #Constraints: 40395
3016.11/3024.62 c #Conflicts: 1735000 | #Constraints: 41395
3016.11/3024.62 c #Conflicts: 1736000 | #Constraints: 42395
3016.11/3024.62 c #Conflicts: 1737000 | #Constraints: 43395
3016.11/3024.62 c #Conflicts: 1738000 | #Constraints: 44395
3016.11/3024.62 c #Conflicts: 1739000 | #Constraints: 45395
3016.11/3024.62 c #Conflicts: 1740000 | #Constraints: 46395
3016.11/3024.62 c #Conflicts: 1741000 | #Constraints: 47395
3016.11/3024.62 c #Conflicts: 1742000 | #Constraints: 48395
3016.11/3024.62 c #Conflicts: 1743000 | #Constraints: 49395
3016.11/3024.62 c #Conflicts: 1744000 | #Constraints: 50395
3016.11/3024.62 c #Conflicts: 1745000 | #Constraints: 51395
3016.11/3024.62 c #Conflicts: 1746000 | #Constraints: 52395
3016.11/3024.62 c INPROCESSING
3016.11/3024.62 c GARBAGE COLLECT
3016.11/3024.62 c #Conflicts: 1747000 | #Constraints: 27196
3016.11/3024.62 c #Conflicts: 1748000 | #Constraints: 28196
3016.11/3024.62 c #Conflicts: 1749000 | #Constraints: 29196
3016.11/3024.62 c #Conflicts: 1750000 | #Constraints: 30196
3016.11/3024.62 c #Conflicts: 1751000 | #Constraints: 31196
3016.11/3024.62 c #Conflicts: 1752000 | #Constraints: 32196
3016.11/3024.62 c #Conflicts: 1753000 | #Constraints: 33196
3016.11/3024.62 c #Conflicts: 1754000 | #Constraints: 34196
3016.11/3024.62 c #Conflicts: 1755000 | #Constraints: 35196
3016.11/3024.62 c #Conflicts: 1756000 | #Constraints: 36196
3016.11/3024.62 c #Conflicts: 1757000 | #Constraints: 37196
3016.11/3024.62 c #Conflicts: 1758000 | #Constraints: 38196
3016.11/3024.62 c #Conflicts: 1759000 | #Constraints: 39196
3016.11/3024.62 c #Conflicts: 1760000 | #Constraints: 40196
3016.11/3024.62 c #Conflicts: 1761000 | #Constraints: 41196
3016.11/3024.62 c #Conflicts: 1762000 | #Constraints: 42196
3016.11/3024.62 c #Conflicts: 1763000 | #Constraints: 43196
3016.11/3024.62 c #Conflicts: 1764000 | #Constraints: 44196
3016.11/3024.62 c #Conflicts: 1765000 | #Constraints: 45196
3016.11/3024.62 c #Conflicts: 1766000 | #Constraints: 46196
3016.11/3024.62 c #Conflicts: 1767000 | #Constraints: 47196
3016.11/3024.62 c #Conflicts: 1768000 | #Constraints: 48196
3016.11/3024.62 c #Conflicts: 1769000 | #Constraints: 49196
3016.11/3024.62 c #Conflicts: 1770000 | #Constraints: 50196
3016.11/3024.62 c #Conflicts: 1771000 | #Constraints: 51196
3016.11/3024.62 c #Conflicts: 1772000 | #Constraints: 52196
3016.11/3024.62 c #Conflicts: 1773000 | #Constraints: 53196
3016.11/3024.62 c INPROCESSING
3016.11/3024.62 c GARBAGE COLLECT
3016.11/3024.62 c #Conflicts: 1774000 | #Constraints: 27799
3016.11/3024.62 c #Conflicts: 1775000 | #Constraints: 28799
3016.11/3024.62 c #Conflicts: 1776000 | #Constraints: 29799
3016.11/3024.62 c #Conflicts: 1777000 | #Constraints: 30799
3016.11/3024.62 c #Conflicts: 1778000 | #Constraints: 31799
3016.11/3024.62 c #Conflicts: 1779000 | #Constraints: 32799
3016.11/3024.62 c #Conflicts: 1780000 | #Constraints: 33799
3016.11/3024.62 c #Conflicts: 1781000 | #Constraints: 34799
3016.11/3024.62 c #Conflicts: 1782000 | #Constraints: 35799
3016.11/3024.62 c #Conflicts: 1783000 | #Constraints: 36799
3016.11/3024.62 c #Conflicts: 1784000 | #Constraints: 37799
3016.11/3024.62 c #Conflicts: 1785000 | #Constraints: 38799
3016.11/3024.62 c #Conflicts: 1786000 | #Constraints: 39799
3016.11/3024.62 c #Conflicts: 1787000 | #Constraints: 40799
3016.11/3024.62 c #Conflicts: 1788000 | #Constraints: 41799
3016.11/3024.62 c #Conflicts: 1789000 | #Constraints: 42799
3016.11/3024.62 c #Conflicts: 1790000 | #Constraints: 43799
3016.11/3024.62 c #Conflicts: 1791000 | #Constraints: 44799
3016.11/3024.62 c #Conflicts: 1792000 | #Constraints: 45799
3016.11/3024.62 c #Conflicts: 1793000 | #Constraints: 46799
3016.11/3024.62 c #Conflicts: 1794000 | #Constraints: 47799
3016.11/3024.62 c #Conflicts: 1795000 | #Constraints: 48799
3016.11/3024.62 c #Conflicts: 1796000 | #Constraints: 49799
3016.11/3024.62 c #Conflicts: 1797000 | #Constraints: 50799
3016.11/3024.62 c #Conflicts: 1798000 | #Constraints: 51799
3016.11/3024.62 c #Conflicts: 1799000 | #Constraints: 52799
3016.11/3024.62 c #Conflicts: 1800000 | #Constraints: 53799
3016.11/3024.62 c INPROCESSING
3016.11/3024.62 c GARBAGE COLLECT
3016.11/3024.62 c #Conflicts: 1801000 | #Constraints: 28192
3016.11/3024.62 c #Conflicts: 1802000 | #Constraints: 29192
3016.11/3024.62 c #Conflicts: 1803000 | #Constraints: 30192
3016.11/3024.62 c #Conflicts: 1804000 | #Constraints: 31192
3016.11/3024.62 c #Conflicts: 1805000 | #Constraints: 32192
3016.11/3024.62 c #Conflicts: 1806000 | #Constraints: 33192
3016.11/3024.62 c #Conflicts: 1807000 | #Constraints: 34192
3016.11/3024.62 c #Conflicts: 1808000 | #Constraints: 35192
3244.24/3253.44 c #Conflicts: 1809000 | #Constraints: 36192
3244.24/3253.44 c #Conflicts: 1810000 | #Constraints: 37192
3244.24/3253.44 c #Conflicts: 1811000 | #Constraints: 38192
3244.24/3253.44 c #Conflicts: 1812000 | #Constraints: 39192
3244.24/3253.44 c #Conflicts: 1813000 | #Constraints: 40192
3244.24/3253.44 c #Conflicts: 1814000 | #Constraints: 41192
3244.24/3253.44 c #Conflicts: 1815000 | #Constraints: 42192
3244.24/3253.44 c #Conflicts: 1816000 | #Constraints: 43192
3244.24/3253.44 c #Conflicts: 1817000 | #Constraints: 44192
3244.24/3253.44 c #Conflicts: 1818000 | #Constraints: 45192
3244.24/3253.44 c #Conflicts: 1819000 | #Constraints: 46192
3244.24/3253.44 c #Conflicts: 1820000 | #Constraints: 47192
3244.24/3253.44 c #Conflicts: 1821000 | #Constraints: 48192
3244.24/3253.44 c #Conflicts: 1822000 | #Constraints: 49192
3244.24/3253.44 c #Conflicts: 1823000 | #Constraints: 50192
3244.24/3253.44 c #Conflicts: 1824000 | #Constraints: 51192
3244.24/3253.44 c #Conflicts: 1825000 | #Constraints: 52192
3244.24/3253.44 c #Conflicts: 1826000 | #Constraints: 53192
3244.24/3253.44 c #Conflicts: 1827000 | #Constraints: 54192
3244.24/3253.44 c INPROCESSING
3244.24/3253.44 c GARBAGE COLLECT
3244.24/3253.44 c #Conflicts: 1828000 | #Constraints: 28396
3244.24/3253.44 c #Conflicts: 1829000 | #Constraints: 29396
3244.24/3253.44 c #Conflicts: 1830000 | #Constraints: 30396
3244.24/3253.44 c #Conflicts: 1831000 | #Constraints: 31396
3244.24/3253.44 c #Conflicts: 1832000 | #Constraints: 32396
3244.24/3253.44 c #Conflicts: 1833000 | #Constraints: 33396
3244.24/3253.44 c #Conflicts: 1834000 | #Constraints: 34396
3244.24/3253.44 c #Conflicts: 1835000 | #Constraints: 35396
3244.24/3253.44 c #Conflicts: 1836000 | #Constraints: 36396
3244.24/3253.44 c #Conflicts: 1837000 | #Constraints: 37396
3244.24/3253.44 c #Conflicts: 1838000 | #Constraints: 38396
3244.24/3253.44 c #Conflicts: 1839000 | #Constraints: 39396
3244.24/3253.44 c #Conflicts: 1840000 | #Constraints: 40396
3244.24/3253.44 c #Conflicts: 1841000 | #Constraints: 41396
3244.24/3253.44 c #Conflicts: 1842000 | #Constraints: 42396
3244.24/3253.44 c #Conflicts: 1843000 | #Constraints: 43396
3244.24/3253.44 c #Conflicts: 1844000 | #Constraints: 44396
3244.24/3253.44 c #Conflicts: 1845000 | #Constraints: 45396
3244.24/3253.44 c #Conflicts: 1846000 | #Constraints: 46396
3244.24/3253.44 c #Conflicts: 1847000 | #Constraints: 47396
3244.24/3253.44 c #Conflicts: 1848000 | #Constraints: 48396
3244.24/3253.44 c #Conflicts: 1849000 | #Constraints: 49396
3244.24/3253.44 c #Conflicts: 1850000 | #Constraints: 50396
3244.24/3253.44 c #Conflicts: 1851000 | #Constraints: 51396
3244.24/3253.44 c #Conflicts: 1852000 | #Constraints: 52396
3244.24/3253.44 c #Conflicts: 1853000 | #Constraints: 53396
3244.24/3253.44 c #Conflicts: 1854000 | #Constraints: 54396
3244.24/3253.44 c INPROCESSING
3244.24/3253.44 c GARBAGE COLLECT
3244.24/3253.44 c #Conflicts: 1855000 | #Constraints: 28392
3244.24/3253.44 c #Conflicts: 1856000 | #Constraints: 29392
3244.24/3253.44 c #Conflicts: 1857000 | #Constraints: 30392
3244.24/3253.44 c #Conflicts: 1858000 | #Constraints: 31392
3244.24/3253.44 c #Conflicts: 1859000 | #Constraints: 32392
3244.24/3253.44 c #Conflicts: 1860000 | #Constraints: 33392
3244.24/3253.44 c #Conflicts: 1861000 | #Constraints: 34392
3244.24/3253.44 c #Conflicts: 1862000 | #Constraints: 35392
3244.24/3253.44 c #Conflicts: 1863000 | #Constraints: 36392
3244.24/3253.44 c #Conflicts: 1864000 | #Constraints: 37392
3244.24/3253.44 c #Conflicts: 1865000 | #Constraints: 38392
3244.24/3253.44 c #Conflicts: 1866000 | #Constraints: 39392
3244.24/3253.44 c #Conflicts: 1867000 | #Constraints: 40392
3244.24/3253.44 c #Conflicts: 1868000 | #Constraints: 41392
3244.24/3253.44 c #Conflicts: 1869000 | #Constraints: 42392
3244.24/3253.44 c #Conflicts: 1870000 | #Constraints: 43392
3244.24/3253.44 c #Conflicts: 1871000 | #Constraints: 44392
3244.24/3253.44 c #Conflicts: 1872000 | #Constraints: 45392
3244.24/3253.44 c #Conflicts: 1873000 | #Constraints: 46392
3244.24/3253.44 c #Conflicts: 1874000 | #Constraints: 47392
3244.24/3253.44 c #Conflicts: 1875000 | #Constraints: 48392
3244.24/3253.44 c #Conflicts: 1876000 | #Constraints: 49392
3244.24/3253.44 c #Conflicts: 1877000 | #Constraints: 50392
3244.24/3253.44 c #Conflicts: 1878000 | #Constraints: 51392
3244.24/3253.44 c #Conflicts: 1879000 | #Constraints: 52392
3244.24/3253.44 c #Conflicts: 1880000 | #Constraints: 53392
3244.24/3253.44 c #Conflicts: 1881000 | #Constraints: 54392
3244.24/3253.44 c INPROCESSING
3244.24/3253.44 c GARBAGE COLLECT
3244.24/3253.44 c #Conflicts: 1882000 | #Constraints: 28195
3244.24/3253.44 c #Conflicts: 1883000 | #Constraints: 29195
3244.24/3253.44 c #Conflicts: 1884000 | #Constraints: 30195
3244.24/3253.44 c #Conflicts: 1885000 | #Constraints: 31195
3468.26/3478.11 c #Conflicts: 1886000 | #Constraints: 32195
3468.26/3478.11 c #Conflicts: 1887000 | #Constraints: 33195
3468.26/3478.11 c #Conflicts: 1888000 | #Constraints: 34195
3468.26/3478.11 c #Conflicts: 1889000 | #Constraints: 35195
3468.26/3478.11 c #Conflicts: 1890000 | #Constraints: 36195
3468.26/3478.11 c #Conflicts: 1891000 | #Constraints: 37195
3468.26/3478.11 c #Conflicts: 1892000 | #Constraints: 38195
3468.26/3478.11 c #Conflicts: 1893000 | #Constraints: 39195
3468.26/3478.11 c #Conflicts: 1894000 | #Constraints: 40195
3468.26/3478.11 c #Conflicts: 1895000 | #Constraints: 41195
3468.26/3478.11 c #Conflicts: 1896000 | #Constraints: 42195
3468.26/3478.11 c #Conflicts: 1897000 | #Constraints: 43195
3468.26/3478.11 c #Conflicts: 1898000 | #Constraints: 44195
3468.26/3478.11 c #Conflicts: 1899000 | #Constraints: 45195
3468.26/3478.11 c #Conflicts: 1900000 | #Constraints: 46195
3468.26/3478.11 c #Conflicts: 1901000 | #Constraints: 47195
3468.26/3478.11 c #Conflicts: 1902000 | #Constraints: 48195
3468.26/3478.11 c #Conflicts: 1903000 | #Constraints: 49195
3468.26/3478.11 c #Conflicts: 1904000 | #Constraints: 50195
3468.26/3478.11 c #Conflicts: 1905000 | #Constraints: 51195
3468.26/3478.11 c #Conflicts: 1906000 | #Constraints: 52195
3468.26/3478.11 c #Conflicts: 1907000 | #Constraints: 53195
3468.26/3478.11 c #Conflicts: 1908000 | #Constraints: 54195
3468.26/3478.11 c #Conflicts: 1909000 | #Constraints: 55195
3468.26/3478.11 c INPROCESSING
3468.26/3478.11 c GARBAGE COLLECT
3468.26/3478.11 c #Conflicts: 1910000 | #Constraints: 28788
3468.26/3478.11 c #Conflicts: 1911000 | #Constraints: 29788
3468.26/3478.11 c #Conflicts: 1912000 | #Constraints: 30788
3468.26/3478.11 c #Conflicts: 1913000 | #Constraints: 31788
3468.26/3478.11 c #Conflicts: 1914000 | #Constraints: 32788
3468.26/3478.11 c #Conflicts: 1915000 | #Constraints: 33788
3468.26/3478.11 c #Conflicts: 1916000 | #Constraints: 34788
3468.26/3478.11 c #Conflicts: 1917000 | #Constraints: 35788
3468.26/3478.11 c #Conflicts: 1918000 | #Constraints: 36788
3468.26/3478.11 c #Conflicts: 1919000 | #Constraints: 37788
3468.26/3478.11 c #Conflicts: 1920000 | #Constraints: 38788
3468.26/3478.11 c #Conflicts: 1921000 | #Constraints: 39788
3468.26/3478.11 c #Conflicts: 1922000 | #Constraints: 40788
3468.26/3478.11 c #Conflicts: 1923000 | #Constraints: 41788
3468.26/3478.11 c #Conflicts: 1924000 | #Constraints: 42788
3468.26/3478.11 c #Conflicts: 1925000 | #Constraints: 43788
3468.26/3478.11 c #Conflicts: 1926000 | #Constraints: 44788
3468.26/3478.11 c #Conflicts: 1927000 | #Constraints: 45788
3468.26/3478.11 c #Conflicts: 1928000 | #Constraints: 46788
3468.26/3478.11 c #Conflicts: 1929000 | #Constraints: 47788
3468.26/3478.11 c #Conflicts: 1930000 | #Constraints: 48788
3468.26/3478.11 c #Conflicts: 1931000 | #Constraints: 49788
3468.26/3478.11 c #Conflicts: 1932000 | #Constraints: 50788
3468.26/3478.11 c #Conflicts: 1933000 | #Constraints: 51788
3468.26/3478.11 c #Conflicts: 1934000 | #Constraints: 52788
3468.26/3478.11 c #Conflicts: 1935000 | #Constraints: 53788
3468.26/3478.11 c #Conflicts: 1936000 | #Constraints: 54788
3468.26/3478.11 c #Conflicts: 1937000 | #Constraints: 55788
3468.26/3478.11 c INPROCESSING
3468.26/3478.11 c GARBAGE COLLECT
3468.26/3478.11 c #Conflicts: 1938000 | #Constraints: 29187
3468.26/3478.11 c #Conflicts: 1939000 | #Constraints: 30187
3468.26/3478.11 c #Conflicts: 1940000 | #Constraints: 31187
3468.26/3478.11 c #Conflicts: 1941000 | #Constraints: 32187
3468.26/3478.11 c #Conflicts: 1942000 | #Constraints: 33187
3468.26/3478.11 c #Conflicts: 1943000 | #Constraints: 34187
3468.26/3478.11 c #Conflicts: 1944000 | #Constraints: 35187
3468.26/3478.11 c #Conflicts: 1945000 | #Constraints: 36187
3468.26/3478.11 c #Conflicts: 1946000 | #Constraints: 37187
3468.26/3478.11 c #Conflicts: 1947000 | #Constraints: 38187
3468.26/3478.11 c #Conflicts: 1948000 | #Constraints: 39187
3468.26/3478.11 c #Conflicts: 1949000 | #Constraints: 40187
3468.26/3478.11 c #Conflicts: 1950000 | #Constraints: 41187
3468.26/3478.11 c #Conflicts: 1951000 | #Constraints: 42187
3468.26/3478.11 c #Conflicts: 1952000 | #Constraints: 43187
3468.26/3478.11 c #Conflicts: 1953000 | #Constraints: 44187
3468.26/3478.11 c #Conflicts: 1954000 | #Constraints: 45187
3468.26/3478.11 c #Conflicts: 1955000 | #Constraints: 46187
3468.26/3478.11 c #Conflicts: 1956000 | #Constraints: 47187
3468.26/3478.11 c #Conflicts: 1957000 | #Constraints: 48187
3468.26/3478.11 c #Conflicts: 1958000 | #Constraints: 49187
3468.26/3478.11 c #Conflicts: 1959000 | #Constraints: 50187
3468.26/3478.11 c #Conflicts: 1960000 | #Constraints: 51187
3468.26/3478.11 c #Conflicts: 1961000 | #Constraints: 52187
3468.26/3478.11 c #Conflicts: 1962000 | #Constraints: 53187
3468.26/3478.11 c #Conflicts: 1963000 | #Constraints: 54187
3600.04/3610.30 c #Conflicts: 1964000 | #Constraints: 55187
3600.04/3610.30 c #Conflicts: 1965000 | #Constraints: 56187
3600.04/3610.30 c INPROCESSING
3600.04/3610.30 c GARBAGE COLLECT
3600.04/3610.30 c #Conflicts: 1966000 | #Constraints: 29390
3600.04/3610.30 c #Conflicts: 1967000 | #Constraints: 30390
3600.04/3610.30 c #Conflicts: 1968000 | #Constraints: 31390
3600.04/3610.30 c #Conflicts: 1969000 | #Constraints: 32390
3600.04/3610.30 c #Conflicts: 1970000 | #Constraints: 33390
3600.04/3610.30 c #Conflicts: 1971000 | #Constraints: 34390
3600.04/3610.30 c #Conflicts: 1972000 | #Constraints: 35390
3600.04/3610.30 c #Conflicts: 1973000 | #Constraints: 36390
3600.04/3610.30 c #Conflicts: 1974000 | #Constraints: 37390
3600.04/3610.30 c #Conflicts: 1975000 | #Constraints: 38390
3600.04/3610.30 c #Conflicts: 1976000 | #Constraints: 39390
3600.04/3610.30 c #Conflicts: 1977000 | #Constraints: 40390
3600.04/3610.30 c #Conflicts: 1978000 | #Constraints: 41390
3600.04/3610.30 c #Conflicts: 1979000 | #Constraints: 42390
3600.04/3610.30 c #Conflicts: 1980000 | #Constraints: 43390
3600.04/3610.30 c #Conflicts: 1981000 | #Constraints: 44390
3600.04/3610.30 c #Conflicts: 1982000 | #Constraints: 45390
3600.04/3610.30 c #Conflicts: 1983000 | #Constraints: 46390
3600.04/3610.30 c #Conflicts: 1984000 | #Constraints: 47390
3600.04/3610.30 c #Conflicts: 1985000 | #Constraints: 48390
3600.04/3610.30 c #Conflicts: 1986000 | #Constraints: 49390
3600.04/3610.30 c #Conflicts: 1987000 | #Constraints: 50390
3600.04/3610.30 c #Conflicts: 1988000 | #Constraints: 51390
3600.04/3610.30 c #Conflicts: 1989000 | #Constraints: 52390
3600.04/3610.30 c #Conflicts: 1990000 | #Constraints: 53390
3600.04/3610.30 c #Conflicts: 1991000 | #Constraints: 54390
3600.04/3610.30 c #Conflicts: 1992000 | #Constraints: 55390
3600.04/3610.30 c #Conflicts: 1993000 | #Constraints: 56390
3600.04/3610.30 c INPROCESSING
3600.04/3610.30 c GARBAGE COLLECT
3600.04/3610.30 c #Conflicts: 1994000 | #Constraints: 29389
3600.04/3610.30 c #Conflicts: 1995000 | #Constraints: 30389
3600.04/3610.30 c #Conflicts: 1996000 | #Constraints: 31389
3600.04/3610.30 c #Conflicts: 1997000 | #Constraints: 32389
3600.04/3610.30 c #Conflicts: 1998000 | #Constraints: 33389
3600.04/3610.30 c #Conflicts: 1999000 | #Constraints: 34389
3600.04/3610.30 c #Conflicts: 2000000 | #Constraints: 35389
3600.04/3610.30 c #Conflicts: 2001000 | #Constraints: 36389
3600.04/3610.30 c #Conflicts: 2002000 | #Constraints: 37389
3600.04/3610.30 c #Conflicts: 2003000 | #Constraints: 38389
3600.04/3610.30 c #Conflicts: 2004000 | #Constraints: 39389
3600.04/3610.30 c #Conflicts: 2005000 | #Constraints: 40389
3600.04/3610.30 c #Conflicts: 2006000 | #Constraints: 41389
3600.04/3610.30 c #Conflicts: 2007000 | #Constraints: 42389
3600.04/3610.30 c #Conflicts: 2008000 | #Constraints: 43389
3600.04/3610.30 c cpu time 3589.3 s
3600.04/3610.30 c deterministic time 1 1.00e+00
3600.04/3610.30 c optimization time 3589.29 s
3600.04/3610.30 c total solve time 0 s
3600.04/3610.30 c core-guided solve time 0 s
3600.04/3610.30 c propagation time 0.000188 s
3600.04/3610.30 c conflict analysis time 0 s
3600.04/3610.30 c propagations 0
3600.04/3610.30 c resolve steps 0
3600.04/3610.30 c decisions 0
3600.04/3610.30 c conflicts 0
3600.04/3610.30 c restarts 0
3600.04/3610.30 c inprocessing phases 0
3600.04/3610.30 c garbage collections 0 ,( -nan )
3600.04/3610.30 c input clauses 1 ,( 0.21 )
3600.04/3610.30 c input cardinalities 0 ,( 0.00 )
3600.04/3610.30 c input general constraints 471 ,( 99.79 )
3600.04/3610.30 c input average constraint length 9.04
3600.04/3610.30 c input average constraint degree 28.82
3600.04/3610.30 c learned clauses 0 ,( 0.00 )
3600.04/3610.30 c learned cardinalities 0 ,( 0.00 )
3600.04/3610.30 c learned general constraints 0 ,( 0.00 )
3600.04/3610.30 c learned average constraint length 0.00
3600.04/3610.30 c learned average constraint degree 0.00
3600.04/3610.30 c watched CF 32, 64, 128, Arb: 3 , 0 , 0 , 0
3600.04/3610.30 c counting CF 32, 64, 128, Arb: 469 , 0 , 0 , 0
3600.04/3610.30 c watched constraints 3 ,( 0.64 )
3600.04/3610.30 c counting constraints 468 ,( 99.36 )
3600.04/3610.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.04/3610.30 c gcd simplifications 1
3600.04/3610.30 c detected cardinalities 0
3600.04/3610.30 c weakened non-implied lits 0
3600.04/3610.30 c weakened non-implying lits 0
3600.04/3610.30 c original variables 473
3600.04/3610.30 c clausal propagations 0
3600.04/3610.30 c cardinality propagations 0
3600.04/3610.30 c watched propagations 0
3600.04/3610.30 c counting propagations 0
3600.04/3610.30 c watch lookups 0
3600.04/3610.30 c watch backjump lookups 0
3600.04/3610.30 c watch checks 0
3600.04/3610.30 c propagation checks 0
3600.04/3610.30 c constraint additions 0
3600.04/3610.30 c trail pops 0
3600.04/3610.30 c formula constraints 472
3600.04/3610.30 c learned constraints 0
3600.04/3610.30 c bound constraints 0
3600.04/3610.30 c core-guided constraints 0
3600.04/3610.30 c encountered formula constraints 0
3600.04/3610.30 c encountered learned constraints 0
3600.04/3610.30 c encountered bound constraints 0
3600.04/3610.30 c encountered core-guided constraints 0
3600.04/3610.30 c LP total time 0 s
3600.04/3610.30 c LP solve time 0 s
3600.04/3610.30 c LP constraints added 0
3600.04/3610.30 c LP constraints removed 0
3600.04/3610.30 c LP pivots internal 0
3600.04/3610.30 c LP pivots root 0
3600.04/3610.30 c LP calls 0
3600.04/3610.30 c LP optimalities 0
3600.04/3610.30 c LP no pivot count 0
3600.04/3610.30 c LP infeasibilities 0
3600.04/3610.30 c LP valid Farkas constraints 0
3600.04/3610.30 c LP learned Farkas constraints 0
3600.04/3610.30 c LP basis resets 0
3600.04/3610.30 c LP cycling count 0
3600.04/3610.30 c LP singular count 0
3600.04/3610.30 c LP no primal count 0
3600.04/3610.30 c LP no farkas count 0
3600.04/3610.30 c LP other issue count 0
3600.04/3610.30 c LP Gomory cuts 0
3600.04/3610.30 c LP learned cuts 0
3600.04/3610.30 c LP deleted cuts 0
3600.04/3610.30 c LP encountered Gomory constraints 0
3600.04/3610.30 c LP encountered Farkas constraints 0
3600.04/3610.30 c LP encountered learned Farkas constraints 0
3600.04/3610.30 c CG auxiliary variables introduced 0
3600.04/3610.30 c CG solutions found 0
3600.04/3610.30 c CG cores constructed 0
3600.04/3610.30 c CG core cardinality constraints returned 0
3600.04/3610.30 c CG unit cores 0
3600.04/3610.30 c CG single cores 0
3600.04/3610.30 c CG blocks removed during cardinality reduction 0
3600.04/3610.30 c CG first core best 0
3600.04/3610.30 c CG decision core best 0
3600.04/3610.30 c CG core reduction tie 0
3600.04/3610.30 c CG core degree average 0.00
3600.04/3610.30 c CG core slack average 0.00
3600.04/3610.30 c CG core upper bound improvements 0
3600.04/3610.30 c STR number of successful calls 0
3600.04/3610.30 c STR number of unsuccessful calls 0
3600.04/3610.30 c STR number of inconclusive calls 0
3600.04/3610.30 c STR number of successful attempts 0
3600.04/3610.30 c STR number of unsuccessful attempts 0
3600.04/3610.30 c STR number of inconclusive attempts 0
3600.04/3610.30 c STR average degree increase per successful call inf
3600.04/3610.30 c STR average degree increase per successful attempt inf
3600.04/3610.30 c STR total number of conflicts for successful attempts 0
3600.04/3610.30 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3610.30 c STR total number of conflicts for inconclusive attempts 0
3600.04/3610.30 c STR average number of conflicts per successful attempt inf
3600.04/3610.30 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3610.30 c STR average number of conflicts per inconclusive attempt inf
3600.04/3610.30 c AVG.sumWPerc 71.77
3600.04/3610.30 c bigint constraints 0
3600.04/3610.30 s UNKNOWN
3600.04/3610.30 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: 63708 MiB (63046 MiB free)
memory of node 1: 64465 MiB (64035 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489092-1751351829/watcher-4489092-1751351829 -o /tmp/evaluation-result-4489092-1751351829/solver-4489092-1751351829 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751348216-50579 --watchdog 3760 run-opt.sh HOME/instance-4489092-1751351829.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=51011, runsolver pid=50999
[startup+0.100057 s]*
/proc/loadavg: 4.07 4.08 4.09 5/269 51020
/proc/meminfo: memFree=130109772/131249996 swapFree=33006296/33010684
[pid=51011] ppid=50999 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51011/stat : 51011 (run-opt.sh) S 50999 51011 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94748644814848 94748645709381 140729724918384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748645948432 94748645996176 94748653838336 140729724922221 140729724922344 140729724922344 140729724927946 0
/proc/51011/statm: 1048 768 704 219 0 110 0
[pid=51019] ppid=51011 vsize=63568 memory=16392 CPUtime=0.08 cores=5,7
/proc/51019/stat : 51019 (roundingsat) R 51011 51011 50566 0 -1 4194304 1499 0 0 0 8 0 0 0 20 0 1 0 50860362 65093632 4098 18446744073709551615 4227072 8923433 140728868559808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32952320 140728868567458 140728868567592 140728868567592 140728868573162 0
/proc/51019/statm: 15892 4098 2336 1147 0 3319 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 67760 KiB
Current children cumulated memory: 19464 KiB
[startup+0.205578 s]*
/proc/loadavg: 4.07 4.08 4.09 5/269 51020
/proc/meminfo: memFree=130088544/131249996 swapFree=33006296/33010684
[pid=51011] ppid=50999 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51011/stat : 51011 (run-opt.sh) S 50999 51011 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94748644814848 94748645709381 140729724918384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748645948432 94748645996176 94748653838336 140729724922221 140729724922344 140729724922344 140729724927946 0
/proc/51011/statm: 1048 768 704 219 0 110 0
[pid=51019] ppid=51011 vsize=67260 memory=19464 CPUtime=0.19 cores=5,7
/proc/51019/stat : 51019 (roundingsat) R 51011 51011 50566 0 -1 4194304 2268 0 0 0 18 1 0 0 20 0 1 0 50860362 68874240 4866 18446744073709551615 4227072 8923433 140728868559808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32952320 140728868567458 140728868567592 140728868567592 140728868573162 0
/proc/51019/statm: 16815 4866 2336 1147 0 4242 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 71452 KiB
Current children cumulated memory: 22536 KiB
[startup+0.305375 s]*
/proc/loadavg: 4.07 4.08 4.09 5/269 51020
/proc/meminfo: memFree=130068320/131249996 swapFree=33006296/33010684
[pid=51011] ppid=50999 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51011/stat : 51011 (run-opt.sh) S 50999 51011 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94748644814848 94748645709381 140729724918384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748645948432 94748645996176 94748653838336 140729724922221 140729724922344 140729724922344 140729724927946 0
/proc/51011/statm: 1048 768 704 219 0 110 0
[pid=51019] ppid=51011 vsize=67692 memory=21128 CPUtime=0.29 cores=5,7
/proc/51019/stat : 51019 (roundingsat) R 51011 51011 50566 0 -1 4194304 2686 0 0 0 28 1 0 0 20 0 1 0 50860362 69316608 5282 18446744073709551615 4227072 8923433 140728868559808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32952320 140728868567458 140728868567592 140728868567592 140728868573162 0
/proc/51019/statm: 16923 5282 2336 1147 0 4350 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 71884 KiB
Current children cumulated memory: 24200 KiB
[startup+0.700161 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 51020
/proc/meminfo: memFree=130032536/131249996 swapFree=33006296/33010684
[pid=51011] ppid=50999 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51011/stat : 51011 (run-opt.sh) S 50999 51011 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94748644814848 94748645709381 140729724918384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748645948432 94748645996176 94748653838336 140729724922221 140729724922344 140729724922344 140729724927946 0
/proc/51011/statm: 1048 768 704 219 0 110 0
[pid=51019] ppid=51011 vsize=76448 memory=26632 CPUtime=0.68 cores=5,7
/proc/51019/stat : 51019 (roundingsat) R 51011 51011 50566 0 -1 4194304 4077 0 0 0 66 2 0 0 20 0 1 0 50860362 78282752 6658 18446744073709551615 4227072 8923433 140728868559808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32952320 140728868567458 140728868567592 140728868567592 140728868573162 0
/proc/51019/statm: 19112 6658 2336 1147 0 6539 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 80640 KiB
Current children cumulated memory: 29704 KiB
[startup+1.5002 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 51020
/proc/meminfo: memFree=129990072/131249996 swapFree=33006296/33010684
[pid=51011] ppid=50999 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51011/stat : 51011 (run-opt.sh) S 50999 51011 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94748644814848 94748645709381 140729724918384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748645948432 94748645996176 94748653838336 140729724922221 140729724922344 140729724922344 140729724927946 0
/proc/51011/statm: 1048 768 704 219 0 110 0
[pid=51019] ppid=51011 vsize=90984 memory=38536 CPUtime=1.47 cores=5,7
/proc/51019/stat : 51019 (roundingsat) R 51011 51011 50566 0 -1 4194304 7034 0 0 0 143 4 0 0 20 0 1 0 50860362 93167616 9634 18446744073709551615 4227072 8923433 140728868559808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32952320 140728868567458 140728868567592 140728868567592 140728868573162 0
/proc/51019/statm: 22746 9634 2336 1147 0 10173 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 95176 KiB
Current children cumulated memory: 41608 KiB
[startup+3.10548 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 51021
/proc/meminfo: memFree=129917416/131249996 swapFree=33006296/33010684
[pid=51011] ppid=50999 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51011/stat : 51011 (run-opt.sh) S 50999 51011 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94748644814848 94748645709381 140729724918384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748645948432 94748645996176 94748653838336 140729724922221 140729724922344 140729724922344 140729724927946 0
/proc/51011/statm: 1048 768 704 219 0 110 0
[pid=51019] ppid=51011 vsize=96360 memory=46108 CPUtime=3.07 cores=5,7
/proc/51019/stat : 51019 (roundingsat) R 51011 51011 50566 0 -1 4194304 8437 0 0 0 300 7 0 0 20 0 1 0 50860362 98672640 11527 18446744073709551615 4227072 8923433 140728868559808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32952320 140728868567458 140728868567592 140728868567592 140728868573162 0
/proc/51019/statm: 24090 11527 2336 1147 0 11517 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 100552 KiB
Current children cumulated memory: 49180 KiB
[startup+6.30019 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 51021
/proc/meminfo: memFree=129833600/131249996 swapFree=33006296/33010684
[pid=51011] ppid=50999 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51011/stat : 51011 (run-opt.sh) S 50999 51011 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94748644814848 94748645709381 140729724918384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748645948432 94748645996176 94748653838336 140729724922221 140729724922344 140729724922344 140729724927946 0
/proc/51011/statm: 1048 768 704 219 0 110 0
[pid=51019] ppid=51011 vsize=106036 memory=50844 CPUtime=6.26 cores=5,7
/proc/51019/stat : 51019 (roundingsat) R 51011 51011 50566 0 -1 4194304 9612 0 0 0 614 12 0 0 20 0 1 0 50860362 108580864 12711 18446744073709551615 4227072 8923433 140728868559808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32952320 140728868567458 140728868567592 140728868567592 140728868573162 0
/proc/51019/statm: 26509 12711 2336 1147 0 13936 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 110228 KiB
Current children cumulated memory: 53916 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.10 4.09 5/269 51021
/proc/meminfo: memFree=129753324/131249996 swapFree=33006296/33010684
[pid=51011] ppid=50999 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51011/stat : 51011 (run-opt.sh) S 50999 51011 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94748644814848 94748645709381 140729724918384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748645948432 94748645996176 94748653838336 140729724922221 140729724922344 140729724922344 140729724927946 0
/proc/51011/statm: 1048 768 704 219 0 110 0
[pid=51019] ppid=51011 vsize=129976 memory=72508 CPUtime=12.65 cores=5,7
/proc/51019/stat : 51019 (roundingsat) R 51011 51011 50566 0 -1 4194304 14002 0 0 0 1242 23 0 0 20 0 1 0 50860362 133095424 18127 18446744073709551615 4227072 8923433 140728868559808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32952320 140728868567458 140728868567592 140728868567592 140728868573162 0
/proc/51019/statm: 32494 18127 2336 1147 0 19921 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 134168 KiB
Current children cumulated memory: 75580 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.09 4.09 5/270 51022
/proc/meminfo: memFree=129449552/131249996 swapFree=33006296/33010684
[pid=51011] ppid=50999 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51011/stat : 51011 (run-opt.sh) S 50999 51011 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94748644814848 94748645709381 140729724918384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748645948432 94748645996176 94748653838336 140729724922221 140729724922344 140729724922344 140729724927946 0
/proc/51011/statm: 1048 768 704 219 0 110 0
[pid=51019] ppid=51011 vsize=146772 memory=79804 CPUtime=25.41 cores=5,7
/proc/51019/stat : 51019 (roundingsat) R 51011 51011 50566 0 -1 4194304 15835 0 0 0 2505 36 0 0 20 0 1 0 50860362 150294528 19951 18446744073709551615 4227072 8923433 140728868559808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32952320 140728868567458 140728868567592 140728868567592 140728868573162 0
/proc/51019/statm: 36693 19951 2336 1147 0 24120 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 150964 KiB
Current children cumulated memory: 82876 KiB
[startup+51.1056 s]
/proc/loadavg: 4.07 4.08 4.09 5/270 51022
/proc/meminfo: memFree=129391248/131249996 swapFree=33006296/33010684
[pid=51011] ppid=50999 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51011/stat : 51011 (run-opt.sh) S 50999 51011 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94748644814848 94748645709381 140729724918384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748645948432 94748645996176 94748653838336 140729724922221 140729724922344 140729724922344 140729724927946 0
/proc/51011/statm: 1048 768 704 219 0 110 0
[pid=51019] ppid=51011 vsize=148824 memory=90156 CPUtime=50.95 cores=5,7
/proc/51019/stat : 51019 (roundingsat) R 51011 51011 50566 0 -1 4194304 17904 0 0 0 5033 62 0 0 20 0 1 0 50860362 152395776 22539 18446744073709551615 4227072 8923433 140728868559808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32952320 140728868567458 140728868567592 140728868567592 140728868573162 0
/proc/51019/statm: 37206 22539 2336 1147 0 24633 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 153016 KiB
Current children cumulated memory: 93228 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/270 51024
/proc/meminfo: memFree=129203412/131249996 swapFree=33006296/33010684
[pid=51011] ppid=50999 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51011/stat : 51011 (run-opt.sh) S 50999 51011 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94748644814848 94748645709381 140729724918384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748645948432 94748645996176 94748653838336 140729724922221 140729724922344 140729724922344 140729724927946 0
/proc/51011/statm: 1048 768 704 219 0 110 0
[pid=51019] ppid=51011 vsize=188600 memory=122564 CPUtime=102.02 cores=5,7
/proc/51019/stat : 51019 (roundingsat) R 51011 51011 50566 0 -1 4194304 24509 0 0 0 10102 100 0 0 20 0 1 0 50860362 193126400 30641 18446744073709551615 4227072 8923433 140728868559808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32952320 140728868567458 140728868567592 140728868567592 140728868573162 0
/proc/51019/statm: 47150 30641 2336 1147 0 34577 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 192792 KiB
Current children cumulated memory: 125636 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/269 51028
/proc/meminfo: memFree=129107288/131249996 swapFree=33006296/33010684
[pid=51011] ppid=50999 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51011/stat : 51011 (run-opt.sh) S 50999 51011 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94748644814848 94748645709381 140729724918384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748645948432 94748645996176 94748653838336 140729724922221 140729724922344 140729724922344 140729724927946 0
/proc/51011/statm: 1048 768 704 219 0 110 0
[pid=51019] ppid=51011 vsize=220308 memory=140956 CPUtime=161.87 cores=5,7
/proc/51019/stat : 51019 (roundingsat) R 51011 51011 50566 0 -1 4194304 28088 0 0 0 16052 135 0 0 20 0 1 0 50860362 225595392 35239 18446744073709551615 4227072 8923433 140728868559808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32952320 140728868567458 140728868567592 140728868567592 140728868573162 0
/proc/51019/statm: 55077 35239 2336 1147 0 42504 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 224500 KiB
Current children cumulated memory: 144028 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/270 51031
/proc/meminfo: memFree=128982432/131249996 swapFree=33006296/33010684
[pid=51011] ppid=50999 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51011/stat : 51011 (run-opt.sh) S 50999 51011 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94748644814848 94748645709381 140729724918384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748645948432 94748645996176 94748653838336 140729724922221 140729724922344 140729724922344 140729724927946 0
/proc/51011/statm: 1048 768 704 219 0 110 0
[pid=51019] ppid=51011 vsize=228368 memory=150156 CPUtime=221.71 cores=5,7
/proc/51019/stat : 51019 (roundingsat) R 51011 51011 50566 0 -1 4194304 29870 0 0 0 22004 167 0 0 20 0 1 0 50860362 233848832 37539 18446744073709551615 4227072 8923433 140728868559808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32952320 140728868567458 140728868567592 140728868567592 140728868573162 0
/proc/51019/statm: 57092 37539 2336 1147 0 44519 0
################
# More data... #
################
/proc/51019/statm: 106451 79323 2336 1147 0 93878 0
Current children cumulated CPU time: 3093.59 s
Current children cumulated vsize: 429996 KiB
Current children cumulated memory: 320364 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 51191
/proc/meminfo: memFree=127690652/131249996 swapFree=33006296/33010684
[pid=51011] ppid=50999 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51011/stat : 51011 (run-opt.sh) S 50999 51011 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94748644814848 94748645709381 140729724918384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748645948432 94748645996176 94748653838336 140729724922221 140729724922344 140729724922344 140729724927946 0
/proc/51011/statm: 1048 768 704 219 0 110 0
[pid=51019] ppid=51011 vsize=432460 memory=317840 CPUtime=3153.41 cores=5,7
/proc/51019/stat : 51019 (roundingsat) R 51011 51011 50566 0 -1 4194304 67306 0 0 0 314351 990 0 0 20 0 1 0 50860362 442839040 79460 18446744073709551615 4227072 8923433 140728868559808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32952320 140728868567458 140728868567592 140728868567592 140728868573162 0
/proc/51019/statm: 108115 79460 2336 1147 0 95542 0
Current children cumulated CPU time: 3153.41 s
Current children cumulated vsize: 436652 KiB
Current children cumulated memory: 320912 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 51197
/proc/meminfo: memFree=127709620/131249996 swapFree=33006296/33010684
[pid=51011] ppid=50999 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51011/stat : 51011 (run-opt.sh) S 50999 51011 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94748644814848 94748645709381 140729724918384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748645948432 94748645996176 94748653838336 140729724922221 140729724922344 140729724922344 140729724927946 0
/proc/51011/statm: 1048 768 704 219 0 110 0
[pid=51019] ppid=51011 vsize=434248 memory=318456 CPUtime=3213.23 cores=5,7
/proc/51019/stat : 51019 (roundingsat) R 51011 51011 50566 0 -1 4194304 67660 0 0 0 320321 1002 0 0 20 0 1 0 50860362 444669952 79614 18446744073709551615 4227072 8923433 140728868559808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32952320 140728868567458 140728868567592 140728868567592 140728868573162 0
/proc/51019/statm: 108562 79614 2336 1147 0 95989 0
Current children cumulated CPU time: 3213.23 s
Current children cumulated vsize: 438440 KiB
Current children cumulated memory: 321528 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/269 51199
/proc/meminfo: memFree=127696312/131249996 swapFree=33006296/33010684
[pid=51011] ppid=50999 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51011/stat : 51011 (run-opt.sh) S 50999 51011 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94748644814848 94748645709381 140729724918384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748645948432 94748645996176 94748653838336 140729724922221 140729724922344 140729724922344 140729724927946 0
/proc/51011/statm: 1048 768 704 219 0 110 0
[pid=51019] ppid=51011 vsize=452684 memory=323660 CPUtime=3273.04 cores=5,7
/proc/51019/stat : 51019 (roundingsat) R 51011 51011 50566 0 -1 4194304 72442 0 0 0 326290 1014 0 0 20 0 1 0 50860362 463548416 80915 18446744073709551615 4227072 8923433 140728868559808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32952320 140728868567458 140728868567592 140728868567592 140728868573162 0
/proc/51019/statm: 113171 80915 2336 1147 0 100598 0
Current children cumulated CPU time: 3273.04 s
Current children cumulated vsize: 456876 KiB
Current children cumulated memory: 326732 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/270 51206
/proc/meminfo: memFree=127701428/131249996 swapFree=33006296/33010684
[pid=51011] ppid=50999 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51011/stat : 51011 (run-opt.sh) S 50999 51011 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94748644814848 94748645709381 140729724918384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748645948432 94748645996176 94748653838336 140729724922221 140729724922344 140729724922344 140729724927946 0
/proc/51011/statm: 1048 768 704 219 0 110 0
[pid=51019] ppid=51011 vsize=453708 memory=323816 CPUtime=3332.87 cores=5,7
/proc/51019/stat : 51019 (roundingsat) R 51011 51011 50566 0 -1 4194304 72729 0 0 0 332260 1027 0 0 20 0 1 0 50860362 464596992 80954 18446744073709551615 4227072 8923433 140728868559808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32952320 140728868567458 140728868567592 140728868567592 140728868573162 0
/proc/51019/statm: 113427 80954 2336 1147 0 100854 0
Current children cumulated CPU time: 3332.87 s
Current children cumulated vsize: 457900 KiB
Current children cumulated memory: 326888 KiB
[startup+3402.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/270 51208
/proc/meminfo: memFree=127698000/131249996 swapFree=33006296/33010684
[pid=51011] ppid=50999 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51011/stat : 51011 (run-opt.sh) S 50999 51011 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94748644814848 94748645709381 140729724918384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748645948432 94748645996176 94748653838336 140729724922221 140729724922344 140729724922344 140729724927946 0
/proc/51011/statm: 1048 768 704 219 0 110 0
[pid=51019] ppid=51011 vsize=453708 memory=323816 CPUtime=3392.68 cores=5,7
/proc/51019/stat : 51019 (roundingsat) R 51011 51011 50566 0 -1 4194304 72734 0 0 0 338232 1036 0 0 20 0 1 0 50860362 464596992 80954 18446744073709551615 4227072 8923433 140728868559808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32952320 140728868567458 140728868567592 140728868567592 140728868573162 0
/proc/51019/statm: 113427 80954 2336 1147 0 100854 0
Current children cumulated CPU time: 3392.68 s
Current children cumulated vsize: 457900 KiB
Current children cumulated memory: 326888 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/269 51210
/proc/meminfo: memFree=127695856/131249996 swapFree=33006296/33010684
[pid=51011] ppid=50999 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51011/stat : 51011 (run-opt.sh) S 50999 51011 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94748644814848 94748645709381 140729724918384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748645948432 94748645996176 94748653838336 140729724922221 140729724922344 140729724922344 140729724927946 0
/proc/51011/statm: 1048 768 704 219 0 110 0
[pid=51019] ppid=51011 vsize=454220 memory=323876 CPUtime=3452.5 cores=5,7
/proc/51019/stat : 51019 (roundingsat) R 51011 51011 50566 0 -1 4194304 72883 0 0 0 344202 1048 0 0 20 0 1 0 50860362 465121280 80969 18446744073709551615 4227072 8923433 140728868559808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32952320 140728868567458 140728868567592 140728868567592 140728868573162 0
/proc/51019/statm: 113555 80969 2336 1147 0 100982 0
Current children cumulated CPU time: 3452.5 s
Current children cumulated vsize: 458412 KiB
Current children cumulated memory: 326948 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/268 51212
/proc/meminfo: memFree=127696512/131249996 swapFree=33006296/33010684
[pid=51011] ppid=50999 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51011/stat : 51011 (run-opt.sh) S 50999 51011 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94748644814848 94748645709381 140729724918384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748645948432 94748645996176 94748653838336 140729724922221 140729724922344 140729724922344 140729724927946 0
/proc/51011/statm: 1048 768 704 219 0 110 0
[pid=51019] ppid=51011 vsize=454732 memory=323964 CPUtime=3512.31 cores=5,7
/proc/51019/stat : 51019 (roundingsat) R 51011 51011 50566 0 -1 4194304 73032 0 0 0 350173 1058 0 0 20 0 1 0 50860362 465645568 80991 18446744073709551615 4227072 8923433 140728868559808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32952320 140728868567458 140728868567592 140728868567592 140728868573162 0
/proc/51019/statm: 113683 80991 2336 1147 0 101110 0
Current children cumulated CPU time: 3512.31 s
Current children cumulated vsize: 458924 KiB
Current children cumulated memory: 327036 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 51214
/proc/meminfo: memFree=127693896/131249996 swapFree=33006296/33010684
[pid=51011] ppid=50999 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51011/stat : 51011 (run-opt.sh) S 50999 51011 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94748644814848 94748645709381 140729724918384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748645948432 94748645996176 94748653838336 140729724922221 140729724922344 140729724922344 140729724927946 0
/proc/51011/statm: 1048 768 704 219 0 110 0
[pid=51019] ppid=51011 vsize=456780 memory=324092 CPUtime=3572.13 cores=5,7
/proc/51019/stat : 51019 (roundingsat) R 51011 51011 50566 0 -1 4194304 73582 0 0 0 356145 1068 0 0 20 0 1 0 50860362 467742720 81023 18446744073709551615 4227072 8923433 140728868559808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32952320 140728868567458 140728868567592 140728868567592 140728868573162 0
/proc/51019/statm: 114195 81023 2336 1147 0 101622 0
Current children cumulated CPU time: 3572.13 s
Current children cumulated vsize: 460972 KiB
Current children cumulated memory: 327164 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.04 4.07 4.08 3/257 51231
/proc/meminfo: memFree=128550396/131249996 swapFree=33006296/33010684
[pid=51011] ppid=50999 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51011/stat : 51011 (run-opt.sh) S 50999 51011 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94748644814848 94748645709381 140729724918384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748645948432 94748645996176 94748653838336 140729724922221 140729724922344 140729724922344 140729724927946 0
/proc/51011/statm: 1048 768 704 219 0 110 0
[pid=51019] ppid=51011 vsize=456780 memory=324092 CPUtime=3600.04 cores=5,7
/proc/51019/stat : 51019 (roundingsat) R 51011 51011 50566 0 -1 4194304 73582 0 0 0 358929 1075 0 0 20 0 1 0 50860362 467742720 81023 18446744073709551615 4227072 8923433 140728868559808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32952320 140728868567458 140728868567592 140728868567592 140728868573162 0
/proc/51019/statm: 114195 81023 2336 1147 0 101622 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 460972 KiB
Current children cumulated memory: 327164 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.3 s]
# the end of solver process 51011 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.002413 s
Sleeping 2 seconds
[startup+3610.31 s]
# the end of solver process 51019 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3589.3 s, system=10.765 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.3 s]
/proc/loadavg: 4.04 4.07 4.08 3/257 51231
/proc/meminfo: memFree=128550396/131249996 swapFree=33006296/33010684
[pid=51011] ppid=50999 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51011/stat : 51011 (run-opt.sh) S 50999 51011 50566 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 50860361 4292608 768 18446744073709551615 94748644814848 94748645709381 140729724918384 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94748645948432 94748645996176 94748653838336 140729724922221 140729724922344 140729724922344 140729724927946 0
/proc/51011/statm: 1048 768 704 219 0 110 0
[pid=51019] ppid=51011 vsize=456780 memory=324092 CPUtime=3600.04 cores=5,7
/proc/51019/stat : 51019 (roundingsat) R 51011 51011 50566 0 -1 4194304 73582 0 0 0 358929 1075 0 0 20 0 1 0 50860362 467742720 81023 18446744073709551615 4227072 8923433 140728868559808 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32952320 140728868567458 140728868567592 140728868567592 140728868573162 0
/proc/51019/statm: 114195 81023 2336 1147 0 101622 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 460972 KiB
Current children cumulated memory: 327164 KiB
Child status: 2
Real time (s): 3610.31
CPU time (s): 3600.06
CPU user time (s): 3589.3
CPU system time (s): 10.765
CPU usage (%): 99.7162
Max. virtual memory (cumulated for all children) (KiB): 460972
Max. memory (cumulated for all children) (KiB): 327164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.3
system time used= 10.765
maximum resident set size= 324568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73808
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 279
involuntary context switches= 2555
# summary of solver processes directly reported to runsolver:
# pid: 51011,51019
# total CPU time (s): 3600.06
# total CPU user time (s): 3589.3
# total CPU system time (s): 10.765
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.69395 second user time and 16.2241 second system time
The end
Begin job on nodeC015 at 2025-07-01 08:37:09
IDJOB=4489092
IDBENCH=147539
IDSOLVER=3350
FILE ID=nodeC015/4489092-1751351829
RUNJOBID= nodeC015-1751348216-50579
SLURM_JOB_ID= 9598120
Free space on /tmp= 433016 MiB
SOLVER NAME= roundingsat-ihs 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.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489092-1751351829/watcher-4489092-1751351829 -o /tmp/evaluation-result-4489092-1751351829/solver-4489092-1751351829 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751348216-50579 --watchdog 3760 run-opt.sh HOME/instance-4489092-1751351829.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b5aa25dccc2460ad32c358f07bd5c94a
RANDOM SEED=444160848
nodeC015 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 : 3598.522
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.14
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.810
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.14
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.077
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.14
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.074
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.14
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.313
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.14
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 : 3602.275
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.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.075
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.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.072
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.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130132368 kB
MemAvailable: 129778112 kB
Buffers: 1508 kB
Cached: 407104 kB
SwapCached: 3876 kB
Active: 315908 kB
Inactive: 173028 kB
Active(anon): 45388 kB
Inactive(anon): 49080 kB
Active(file): 270520 kB
Inactive(file): 123948 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 28956 kB
Writeback: 28 kB
AnonPages: 79520 kB
Mapped: 99020 kB
Shmem: 14144 kB
KReclaimable: 132372 kB
Slab: 222452 kB
SReclaimable: 132372 kB
SUnreclaim: 90080 kB
KernelStack: 4176 kB
PageTables: 2892 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 341040 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150376 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432988 MiB
End job on nodeC015 at 2025-07-01 09:37:19