0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.01 c #variables 468 #constraints 468
0.00/0.01 c objective is ce32
0.00/0.01 c initial watched CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
0.00/0.01 c initial counting CF 32, 64, 128, Arb: 467 , 0 , 0 , 0
0.00/0.01 c GLOBAL bounds - >= 0 @ 0.004664
0.00/0.01 c GLOBAL bounds - >= 0 @ 0.00503
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.017168
0.00/0.07 c GLOBAL bounds - >= 0 @ 0.053208
0.00/0.08 c GLOBAL bounds - >= 0 @ 0.066407
0.08/0.18 c GLOBAL bounds - >= 0 @ 0.160558
0.29/0.34 c #Conflicts: 1000 | #Constraints: 1476
0.29/0.34 c GLOBAL bounds - >= 0 @ 0.322804
0.49/0.59 c #Conflicts: 2000 | #Constraints: 2478
0.49/0.59 c INPROCESSING
0.49/0.59 c GARBAGE COLLECT
0.49/0.59 c GLOBAL bounds - >= 0 @ 0.570399
0.58/0.61 c #Conflicts: 3000 | #Constraints: 2495
0.58/0.61 c GLOBAL bounds - >= 0 @ 0.586124
0.67/0.78 c GLOBAL bounds - >= 0 @ 0.749853
0.98/1.05 c #Conflicts: 4000 | #Constraints: 3499
0.98/1.05 c INPROCESSING
0.98/1.05 c GARBAGE COLLECT
0.98/1.05 c GLOBAL bounds - >= 0 @ 1.01078
0.98/1.09 c GLOBAL bounds - >= 0 @ 1.05396
1.47/1.54 c #Conflicts: 5000 | #Constraints: 2912
1.47/1.54 c #Conflicts: 6000 | #Constraints: 3912
1.47/1.54 c GLOBAL bounds - >= 0 @ 1.48769
2.17/2.25 c INPROCESSING
2.17/2.25 c GARBAGE COLLECT
2.17/2.25 c #Conflicts: 7000 | #Constraints: 2920
2.17/2.25 c #Conflicts: 8000 | #Constraints: 3920
2.17/2.25 c GLOBAL bounds - >= 0 @ 2.18544
2.87/2.92 c #Conflicts: 9000 | #Constraints: 4922
2.87/2.92 c INPROCESSING
2.87/2.92 c GARBAGE COLLECT
2.87/2.92 c #Conflicts: 10000 | #Constraints: 3622
2.87/2.92 c GLOBAL bounds - >= 0 @ 2.83658
5.07/5.16 c #Conflicts: 11000 | #Constraints: 4624
5.07/5.16 c #Conflicts: 12000 | #Constraints: 5624
5.07/5.16 c INPROCESSING
5.07/5.16 c GARBAGE COLLECT
5.07/5.16 c #Conflicts: 13000 | #Constraints: 4074
5.07/5.16 c #Conflicts: 14000 | #Constraints: 5074
5.07/5.16 c #Conflicts: 15000 | #Constraints: 6074
5.07/5.16 c INPROCESSING
5.07/5.16 c GARBAGE COLLECT
5.07/5.16 c #Conflicts: 16000 | #Constraints: 4301
5.07/5.16 c GLOBAL bounds - >= 0 @ 5.04119
6.96/7.10 c #Conflicts: 17000 | #Constraints: 5303
6.96/7.10 c #Conflicts: 18000 | #Constraints: 6303
6.96/7.10 c INPROCESSING
6.96/7.10 c GARBAGE COLLECT
6.96/7.10 c #Conflicts: 19000 | #Constraints: 4316
6.96/7.10 c #Conflicts: 20000 | #Constraints: 5316
6.96/7.10 c GLOBAL bounds - >= 0 @ 6.95533
10.55/10.64 c #Conflicts: 21000 | #Constraints: 6318
10.55/10.64 c INPROCESSING
10.55/10.64 c GARBAGE COLLECT
10.55/10.64 c #Conflicts: 22000 | #Constraints: 4121
10.55/10.64 c #Conflicts: 23000 | #Constraints: 5121
10.55/10.64 c #Conflicts: 24000 | #Constraints: 6121
10.55/10.64 c #Conflicts: 25000 | #Constraints: 7121
10.55/10.64 c INPROCESSING
10.55/10.64 c GARBAGE COLLECT
10.55/10.64 c #Conflicts: 26000 | #Constraints: 4731
10.55/10.64 c #Conflicts: 27000 | #Constraints: 5731
10.55/10.64 c GLOBAL bounds - >= 0 @ 10.4386
12.25/12.31 c #Conflicts: 28000 | #Constraints: 6733
12.25/12.31 c #Conflicts: 29000 | #Constraints: 7733
12.25/12.31 c INPROCESSING
12.25/12.31 c GARBAGE COLLECT
12.25/12.31 c #Conflicts: 30000 | #Constraints: 5133
12.25/12.31 c #Conflicts: 31000 | #Constraints: 6133
12.25/12.31 c GLOBAL bounds - >= 0 @ 12.0882
18.33/18.45 c #Conflicts: 32000 | #Constraints: 7135
18.33/18.45 c #Conflicts: 33000 | #Constraints: 8135
18.33/18.45 c INPROCESSING
18.33/18.45 c GARBAGE COLLECT
18.33/18.45 c #Conflicts: 34000 | #Constraints: 5333
18.33/18.45 c #Conflicts: 35000 | #Constraints: 6333
18.33/18.45 c #Conflicts: 36000 | #Constraints: 7333
18.33/18.45 c #Conflicts: 37000 | #Constraints: 8333
18.33/18.45 c INPROCESSING
18.33/18.45 c GARBAGE COLLECT
18.33/18.45 c #Conflicts: 38000 | #Constraints: 5337
18.33/18.45 c #Conflicts: 39000 | #Constraints: 6337
18.33/18.45 c #Conflicts: 40000 | #Constraints: 7337
18.33/18.45 c #Conflicts: 41000 | #Constraints: 8337
18.33/18.45 c INPROCESSING
18.33/18.45 c GARBAGE COLLECT
18.33/18.45 c #Conflicts: 42000 | #Constraints: 5141
18.33/18.45 c #Conflicts: 43000 | #Constraints: 6141
18.33/18.45 c #Conflicts: 44000 | #Constraints: 7141
18.33/18.45 c GLOBAL bounds - >= 0 @ 18.156
18.63/18.70 c #Conflicts: 45000 | #Constraints: 8143
18.63/18.70 c GLOBAL bounds - >= 0 @ 18.4018
19.03/19.16 c #Conflicts: 46000 | #Constraints: 9145
19.03/19.16 c INPROCESSING
19.03/19.16 c GARBAGE COLLECT
19.03/19.16 c GLOBAL bounds - >= 0 @ 18.8587
23.22/23.36 c #Conflicts: 47000 | #Constraints: 5739
23.22/23.36 c #Conflicts: 48000 | #Constraints: 6739
23.22/23.36 c #Conflicts: 49000 | #Constraints: 7739
23.22/23.36 c #Conflicts: 50000 | #Constraints: 8739
23.22/23.36 c #Conflicts: 51000 | #Constraints: 9739
23.22/23.36 c INPROCESSING
23.22/23.36 c GARBAGE COLLECT
23.22/23.36 c #Conflicts: 52000 | #Constraints: 6141
23.22/23.36 c #Conflicts: 53000 | #Constraints: 7141
23.22/23.36 c GLOBAL bounds - >= 0 @ 22.9952
25.31/25.43 c #Conflicts: 54000 | #Constraints: 8143
25.31/25.43 c #Conflicts: 55000 | #Constraints: 9143
25.31/25.43 c #Conflicts: 56000 | #Constraints: 10143
25.31/25.43 c INPROCESSING
25.31/25.43 c GARBAGE COLLECT
25.31/25.43 c GLOBAL bounds - >= 0 @ 25.0353
27.02/27.14 c #Conflicts: 57000 | #Constraints: 6348
27.02/27.14 c #Conflicts: 58000 | #Constraints: 7348
27.02/27.14 c #Conflicts: 59000 | #Constraints: 8348
27.02/27.14 c GLOBAL bounds - >= 0 @ 26.716
30.50/30.68 c #Conflicts: 60000 | #Constraints: 9350
30.50/30.68 c #Conflicts: 61000 | #Constraints: 10350
30.50/30.68 c INPROCESSING
30.50/30.68 c GARBAGE COLLECT
30.50/30.68 c #Conflicts: 62000 | #Constraints: 6346
30.50/30.68 c #Conflicts: 63000 | #Constraints: 7346
30.50/30.68 c #Conflicts: 64000 | #Constraints: 8346
30.50/30.68 c #Conflicts: 65000 | #Constraints: 9346
30.50/30.68 c GLOBAL bounds - >= 0 @ 30.2262
32.50/32.66 c #Conflicts: 66000 | #Constraints: 10348
32.50/32.66 c INPROCESSING
32.50/32.66 c GARBAGE COLLECT
32.50/32.66 c #Conflicts: 67000 | #Constraints: 6152
32.50/32.66 c #Conflicts: 68000 | #Constraints: 7152
32.50/32.66 c GLOBAL bounds - >= 0 @ 32.1694
35.48/35.64 c #Conflicts: 69000 | #Constraints: 8154
35.48/35.64 c #Conflicts: 70000 | #Constraints: 9154
35.48/35.64 c #Conflicts: 71000 | #Constraints: 10154
35.48/35.64 c #Conflicts: 72000 | #Constraints: 11154
35.48/35.64 c INPROCESSING
35.48/35.64 c GARBAGE COLLECT
35.48/35.64 c #Conflicts: 73000 | #Constraints: 6754
35.48/35.64 c GLOBAL bounds - >= 0 @ 35.1114
37.89/38.08 c #Conflicts: 74000 | #Constraints: 7756
37.89/38.08 c #Conflicts: 75000 | #Constraints: 8756
37.89/38.08 c #Conflicts: 76000 | #Constraints: 9756
37.89/38.08 c GLOBAL bounds - >= 0 @ 37.5176
38.38/38.54 c #Conflicts: 77000 | #Constraints: 10758
38.38/38.54 c GLOBAL bounds - >= 0 @ 37.9729
43.47/43.63 c #Conflicts: 78000 | #Constraints: 11760
43.47/43.63 c INPROCESSING
43.47/43.63 c GARBAGE COLLECT
43.47/43.63 c #Conflicts: 79000 | #Constraints: 7154
43.47/43.63 c #Conflicts: 80000 | #Constraints: 8154
43.47/43.63 c #Conflicts: 81000 | #Constraints: 9154
43.47/43.63 c #Conflicts: 82000 | #Constraints: 10154
43.47/43.63 c #Conflicts: 83000 | #Constraints: 11154
43.47/43.63 c #Conflicts: 84000 | #Constraints: 12154
43.47/43.63 c INPROCESSING
43.47/43.63 c GARBAGE COLLECT
43.47/43.63 c #Conflicts: 85000 | #Constraints: 7357
43.47/43.63 c GLOBAL bounds - >= 0 @ 43.0008
77.38/77.63 c #Conflicts: 86000 | #Constraints: 8359
77.38/77.63 c #Conflicts: 87000 | #Constraints: 9359
77.38/77.63 c #Conflicts: 88000 | #Constraints: 10359
77.38/77.63 c #Conflicts: 89000 | #Constraints: 11359
77.38/77.63 c #Conflicts: 90000 | #Constraints: 12359
77.38/77.63 c INPROCESSING
77.38/77.63 c GARBAGE COLLECT
77.38/77.63 c #Conflicts: 91000 | #Constraints: 7353
77.38/77.63 c #Conflicts: 92000 | #Constraints: 8353
77.38/77.63 c #Conflicts: 93000 | #Constraints: 9353
77.38/77.63 c #Conflicts: 94000 | #Constraints: 10353
77.38/77.63 c #Conflicts: 95000 | #Constraints: 11353
77.38/77.63 c #Conflicts: 96000 | #Constraints: 12353
77.38/77.63 c INPROCESSING
77.38/77.63 c GARBAGE COLLECT
77.38/77.63 c #Conflicts: 97000 | #Constraints: 7162
77.38/77.63 c #Conflicts: 98000 | #Constraints: 8162
77.38/77.63 c #Conflicts: 99000 | #Constraints: 9162
77.38/77.63 c #Conflicts: 100000 | #Constraints: 10162
77.38/77.63 c #Conflicts: 101000 | #Constraints: 11162
77.38/77.63 c #Conflicts: 102000 | #Constraints: 12162
77.38/77.63 c #Conflicts: 103000 | #Constraints: 13162
77.38/77.63 c INPROCESSING
77.38/77.63 c GARBAGE COLLECT
77.38/77.63 c #Conflicts: 104000 | #Constraints: 7759
77.38/77.63 c #Conflicts: 105000 | #Constraints: 8759
77.38/77.63 c #Conflicts: 106000 | #Constraints: 9759
77.38/77.63 c #Conflicts: 107000 | #Constraints: 10759
77.38/77.63 c #Conflicts: 108000 | #Constraints: 11759
77.38/77.63 c #Conflicts: 109000 | #Constraints: 12759
77.38/77.63 c #Conflicts: 110000 | #Constraints: 13759
77.38/77.63 c INPROCESSING
77.38/77.63 c GARBAGE COLLECT
77.38/77.63 c #Conflicts: 111000 | #Constraints: 8161
77.38/77.63 c #Conflicts: 112000 | #Constraints: 9161
77.38/77.63 c #Conflicts: 113000 | #Constraints: 10161
77.38/77.63 c #Conflicts: 114000 | #Constraints: 11161
77.38/77.63 c #Conflicts: 115000 | #Constraints: 12161
77.38/77.63 c #Conflicts: 116000 | #Constraints: 13161
77.38/77.63 c #Conflicts: 117000 | #Constraints: 14161
77.38/77.63 c INPROCESSING
77.38/77.63 c GARBAGE COLLECT
77.38/77.63 c #Conflicts: 118000 | #Constraints: 8362
77.38/77.63 c #Conflicts: 119000 | #Constraints: 9362
77.38/77.63 c #Conflicts: 120000 | #Constraints: 10362
77.38/77.63 c #Conflicts: 121000 | #Constraints: 11362
77.38/77.63 c #Conflicts: 122000 | #Constraints: 12362
77.38/77.63 c #Conflicts: 123000 | #Constraints: 13362
77.38/77.63 c #Conflicts: 124000 | #Constraints: 14362
77.38/77.63 c INPROCESSING
77.38/77.63 c GARBAGE COLLECT
77.38/77.63 c #Conflicts: 125000 | #Constraints: 8362
77.38/77.63 c #Conflicts: 126000 | #Constraints: 9362
77.38/77.63 c #Conflicts: 127000 | #Constraints: 10362
77.38/77.63 c #Conflicts: 128000 | #Constraints: 11362
77.38/77.63 c #Conflicts: 129000 | #Constraints: 12362
77.38/77.63 c #Conflicts: 130000 | #Constraints: 13362
77.38/77.63 c #Conflicts: 131000 | #Constraints: 14362
77.38/77.63 c GLOBAL bounds - >= 0 @ 76.6498
145.61/146.03 c INPROCESSING
145.61/146.03 c GARBAGE COLLECT
145.61/146.03 c #Conflicts: 132000 | #Constraints: 8171
145.61/146.03 c #Conflicts: 133000 | #Constraints: 9171
145.61/146.03 c #Conflicts: 134000 | #Constraints: 10171
145.61/146.03 c #Conflicts: 135000 | #Constraints: 11171
145.61/146.03 c #Conflicts: 136000 | #Constraints: 12171
145.61/146.03 c #Conflicts: 137000 | #Constraints: 13171
145.61/146.03 c #Conflicts: 138000 | #Constraints: 14171
145.61/146.03 c #Conflicts: 139000 | #Constraints: 15171
145.61/146.03 c INPROCESSING
145.61/146.03 c GARBAGE COLLECT
145.61/146.03 c #Conflicts: 140000 | #Constraints: 8770
145.61/146.03 c #Conflicts: 141000 | #Constraints: 9770
145.61/146.03 c #Conflicts: 142000 | #Constraints: 10770
145.61/146.03 c #Conflicts: 143000 | #Constraints: 11770
145.61/146.03 c #Conflicts: 144000 | #Constraints: 12770
145.61/146.03 c #Conflicts: 145000 | #Constraints: 13770
145.61/146.03 c #Conflicts: 146000 | #Constraints: 14770
145.61/146.03 c #Conflicts: 147000 | #Constraints: 15770
145.61/146.03 c INPROCESSING
145.61/146.03 c GARBAGE COLLECT
145.61/146.03 c #Conflicts: 148000 | #Constraints: 9167
145.61/146.03 c #Conflicts: 149000 | #Constraints: 10167
145.61/146.03 c #Conflicts: 150000 | #Constraints: 11167
145.61/146.03 c #Conflicts: 151000 | #Constraints: 12167
145.61/146.03 c #Conflicts: 152000 | #Constraints: 13167
145.61/146.03 c #Conflicts: 153000 | #Constraints: 14167
145.61/146.03 c #Conflicts: 154000 | #Constraints: 15167
145.61/146.03 c #Conflicts: 155000 | #Constraints: 16167
145.61/146.03 c INPROCESSING
145.61/146.03 c GARBAGE COLLECT
145.61/146.03 c #Conflicts: 156000 | #Constraints: 9366
145.61/146.03 c #Conflicts: 157000 | #Constraints: 10366
145.61/146.03 c #Conflicts: 158000 | #Constraints: 11366
145.61/146.03 c #Conflicts: 159000 | #Constraints: 12366
145.61/146.03 c #Conflicts: 160000 | #Constraints: 13366
145.61/146.03 c #Conflicts: 161000 | #Constraints: 14366
145.61/146.03 c #Conflicts: 162000 | #Constraints: 15366
145.61/146.03 c #Conflicts: 163000 | #Constraints: 16366
145.61/146.03 c INPROCESSING
145.61/146.03 c GARBAGE COLLECT
145.61/146.03 c #Conflicts: 164000 | #Constraints: 9367
145.61/146.03 c #Conflicts: 165000 | #Constraints: 10367
145.61/146.03 c #Conflicts: 166000 | #Constraints: 11367
145.61/146.03 c #Conflicts: 167000 | #Constraints: 12367
145.61/146.03 c #Conflicts: 168000 | #Constraints: 13367
145.61/146.03 c #Conflicts: 169000 | #Constraints: 14367
145.61/146.03 c #Conflicts: 170000 | #Constraints: 15367
145.61/146.03 c #Conflicts: 171000 | #Constraints: 16367
145.61/146.03 c INPROCESSING
145.61/146.03 c GARBAGE COLLECT
145.61/146.03 c #Conflicts: 172000 | #Constraints: 9164
145.61/146.03 c #Conflicts: 173000 | #Constraints: 10164
145.61/146.03 c #Conflicts: 174000 | #Constraints: 11164
145.61/146.03 c #Conflicts: 175000 | #Constraints: 12164
145.61/146.03 c #Conflicts: 176000 | #Constraints: 13164
145.61/146.03 c #Conflicts: 177000 | #Constraints: 14164
145.61/146.03 c #Conflicts: 178000 | #Constraints: 15164
145.61/146.03 c #Conflicts: 179000 | #Constraints: 16164
145.61/146.03 c #Conflicts: 180000 | #Constraints: 17164
145.61/146.03 c INPROCESSING
145.61/146.03 c GARBAGE COLLECT
145.61/146.03 c #Conflicts: 181000 | #Constraints: 9765
145.61/146.03 c #Conflicts: 182000 | #Constraints: 10765
145.61/146.03 c #Conflicts: 183000 | #Constraints: 11765
145.61/146.03 c #Conflicts: 184000 | #Constraints: 12765
145.61/146.03 c #Conflicts: 185000 | #Constraints: 13765
145.61/146.03 c #Conflicts: 186000 | #Constraints: 14765
145.61/146.03 c #Conflicts: 187000 | #Constraints: 15765
145.61/146.03 c #Conflicts: 188000 | #Constraints: 16765
145.61/146.03 c #Conflicts: 189000 | #Constraints: 17765
145.61/146.03 c INPROCESSING
145.61/146.03 c GARBAGE COLLECT
145.61/146.03 c #Conflicts: 190000 | #Constraints: 10172
145.61/146.03 c #Conflicts: 191000 | #Constraints: 11172
145.61/146.03 c #Conflicts: 192000 | #Constraints: 12172
145.61/146.03 c #Conflicts: 193000 | #Constraints: 13172
145.61/146.03 c #Conflicts: 194000 | #Constraints: 14172
145.61/146.03 c #Conflicts: 195000 | #Constraints: 15172
145.61/146.03 c #Conflicts: 196000 | #Constraints: 16172
145.61/146.03 c #Conflicts: 197000 | #Constraints: 17172
145.61/146.03 c #Conflicts: 198000 | #Constraints: 18172
145.61/146.03 c INPROCESSING
145.61/146.03 c GARBAGE COLLECT
145.61/146.03 c #Conflicts: 199000 | #Constraints: 10368
145.61/146.03 c #Conflicts: 200000 | #Constraints: 11368
145.61/146.03 c #Conflicts: 201000 | #Constraints: 12368
145.61/146.03 c #Conflicts: 202000 | #Constraints: 13368
145.61/146.03 c #Conflicts: 203000 | #Constraints: 14368
145.61/146.03 c #Conflicts: 204000 | #Constraints: 15368
145.61/146.03 c #Conflicts: 205000 | #Constraints: 16368
195.28/195.83 c #Conflicts: 206000 | #Constraints: 17368
195.28/195.83 c #Conflicts: 207000 | #Constraints: 18368
195.28/195.83 c INPROCESSING
195.28/195.83 c GARBAGE COLLECT
195.28/195.83 c #Conflicts: 208000 | #Constraints: 10366
195.28/195.83 c #Conflicts: 209000 | #Constraints: 11366
195.28/195.83 c #Conflicts: 210000 | #Constraints: 12366
195.28/195.83 c #Conflicts: 211000 | #Constraints: 13366
195.28/195.83 c #Conflicts: 212000 | #Constraints: 14366
195.28/195.83 c #Conflicts: 213000 | #Constraints: 15366
195.28/195.83 c #Conflicts: 214000 | #Constraints: 16366
195.28/195.83 c #Conflicts: 215000 | #Constraints: 17366
195.28/195.83 c #Conflicts: 216000 | #Constraints: 18366
195.28/195.83 c INPROCESSING
195.28/195.83 c GARBAGE COLLECT
195.28/195.83 c #Conflicts: 217000 | #Constraints: 10168
195.28/195.83 c #Conflicts: 218000 | #Constraints: 11168
195.28/195.83 c #Conflicts: 219000 | #Constraints: 12168
195.28/195.83 c #Conflicts: 220000 | #Constraints: 13168
195.28/195.83 c #Conflicts: 221000 | #Constraints: 14168
195.28/195.83 c #Conflicts: 222000 | #Constraints: 15168
195.28/195.83 c #Conflicts: 223000 | #Constraints: 16168
195.28/195.83 c #Conflicts: 224000 | #Constraints: 17168
195.28/195.83 c #Conflicts: 225000 | #Constraints: 18168
195.28/195.83 c #Conflicts: 226000 | #Constraints: 19168
195.28/195.83 c INPROCESSING
195.28/195.83 c GARBAGE COLLECT
195.28/195.83 c #Conflicts: 227000 | #Constraints: 10767
195.28/195.83 c #Conflicts: 228000 | #Constraints: 11767
195.28/195.83 c #Conflicts: 229000 | #Constraints: 12767
195.28/195.83 c #Conflicts: 230000 | #Constraints: 13767
195.28/195.83 c #Conflicts: 231000 | #Constraints: 14767
195.28/195.83 c #Conflicts: 232000 | #Constraints: 15767
195.28/195.83 c #Conflicts: 233000 | #Constraints: 16767
195.28/195.83 c #Conflicts: 234000 | #Constraints: 17767
195.28/195.83 c #Conflicts: 235000 | #Constraints: 18767
195.28/195.83 c #Conflicts: 236000 | #Constraints: 19767
195.28/195.83 c INPROCESSING
195.28/195.83 c GARBAGE COLLECT
195.28/195.83 c #Conflicts: 237000 | #Constraints: 11163
195.28/195.83 c #Conflicts: 238000 | #Constraints: 12163
195.28/195.83 c #Conflicts: 239000 | #Constraints: 13163
195.28/195.83 c #Conflicts: 240000 | #Constraints: 14163
195.28/195.83 c #Conflicts: 241000 | #Constraints: 15163
195.28/195.83 c #Conflicts: 242000 | #Constraints: 16163
195.28/195.83 c #Conflicts: 243000 | #Constraints: 17163
195.28/195.83 c #Conflicts: 244000 | #Constraints: 18163
195.28/195.83 c #Conflicts: 245000 | #Constraints: 19163
195.28/195.83 c #Conflicts: 246000 | #Constraints: 20163
195.28/195.83 c INPROCESSING
195.28/195.83 c GARBAGE COLLECT
195.28/195.83 c #Conflicts: 247000 | #Constraints: 11369
195.28/195.83 c #Conflicts: 248000 | #Constraints: 12369
195.28/195.83 c #Conflicts: 249000 | #Constraints: 13369
195.28/195.83 c #Conflicts: 250000 | #Constraints: 14369
195.28/195.83 c GLOBAL bounds - >= 0 @ 193.866
237.66/238.38 c #Conflicts: 251000 | #Constraints: 15371
237.66/238.38 c #Conflicts: 252000 | #Constraints: 16371
237.66/238.38 c #Conflicts: 253000 | #Constraints: 17371
237.66/238.38 c #Conflicts: 254000 | #Constraints: 18371
237.66/238.38 c #Conflicts: 255000 | #Constraints: 19371
237.66/238.38 c #Conflicts: 256000 | #Constraints: 20371
237.66/238.38 c INPROCESSING
237.66/238.38 c GARBAGE COLLECT
237.66/238.38 c #Conflicts: 257000 | #Constraints: 11370
237.66/238.38 c #Conflicts: 258000 | #Constraints: 12370
237.66/238.38 c #Conflicts: 259000 | #Constraints: 13370
237.66/238.38 c #Conflicts: 260000 | #Constraints: 14370
237.66/238.38 c #Conflicts: 261000 | #Constraints: 15370
237.66/238.38 c #Conflicts: 262000 | #Constraints: 16370
237.66/238.38 c #Conflicts: 263000 | #Constraints: 17370
237.66/238.38 c #Conflicts: 264000 | #Constraints: 18370
237.66/238.38 c #Conflicts: 265000 | #Constraints: 19370
237.66/238.38 c #Conflicts: 266000 | #Constraints: 20370
237.66/238.38 c INPROCESSING
237.66/238.38 c GARBAGE COLLECT
237.66/238.38 c #Conflicts: 267000 | #Constraints: 11172
237.66/238.38 c #Conflicts: 268000 | #Constraints: 12172
237.66/238.38 c #Conflicts: 269000 | #Constraints: 13172
237.66/238.38 c #Conflicts: 270000 | #Constraints: 14172
237.66/238.38 c #Conflicts: 271000 | #Constraints: 15172
237.66/238.38 c #Conflicts: 272000 | #Constraints: 16172
237.66/238.38 c #Conflicts: 273000 | #Constraints: 17172
237.66/238.38 c #Conflicts: 274000 | #Constraints: 18172
237.66/238.38 c #Conflicts: 275000 | #Constraints: 19172
237.66/238.38 c #Conflicts: 276000 | #Constraints: 20172
237.66/238.38 c #Conflicts: 277000 | #Constraints: 21172
237.66/238.38 c INPROCESSING
237.66/238.38 c GARBAGE COLLECT
237.66/238.38 c #Conflicts: 278000 | #Constraints: 11774
237.66/238.38 c #Conflicts: 279000 | #Constraints: 12774
237.66/238.38 c #Conflicts: 280000 | #Constraints: 13774
237.66/238.38 c #Conflicts: 281000 | #Constraints: 14774
237.66/238.38 c #Conflicts: 282000 | #Constraints: 15774
237.66/238.38 c #Conflicts: 283000 | #Constraints: 16774
237.66/238.38 c #Conflicts: 284000 | #Constraints: 17774
237.66/238.38 c #Conflicts: 285000 | #Constraints: 18774
237.66/238.38 c #Conflicts: 286000 | #Constraints: 19774
237.66/238.38 c #Conflicts: 287000 | #Constraints: 20774
237.66/238.38 c #Conflicts: 288000 | #Constraints: 21774
237.66/238.38 c INPROCESSING
237.66/238.38 c GARBAGE COLLECT
237.66/238.38 c GLOBAL bounds - >= 0 @ 236.058
333.12/334.04 c #Conflicts: 289000 | #Constraints: 12177
333.12/334.04 c #Conflicts: 290000 | #Constraints: 13177
333.12/334.04 c #Conflicts: 291000 | #Constraints: 14177
333.12/334.04 c #Conflicts: 292000 | #Constraints: 15177
333.12/334.04 c #Conflicts: 293000 | #Constraints: 16177
333.12/334.04 c #Conflicts: 294000 | #Constraints: 17177
333.12/334.04 c #Conflicts: 295000 | #Constraints: 18177
333.12/334.04 c #Conflicts: 296000 | #Constraints: 19177
333.12/334.04 c #Conflicts: 297000 | #Constraints: 20177
333.12/334.04 c #Conflicts: 298000 | #Constraints: 21177
333.12/334.04 c #Conflicts: 299000 | #Constraints: 22177
333.12/334.04 c INPROCESSING
333.12/334.04 c GARBAGE COLLECT
333.12/334.04 c #Conflicts: 300000 | #Constraints: 12376
333.12/334.04 c #Conflicts: 301000 | #Constraints: 13376
333.12/334.04 c #Conflicts: 302000 | #Constraints: 14376
333.12/334.04 c #Conflicts: 303000 | #Constraints: 15376
333.12/334.04 c #Conflicts: 304000 | #Constraints: 16376
333.12/334.04 c #Conflicts: 305000 | #Constraints: 17376
333.12/334.04 c #Conflicts: 306000 | #Constraints: 18376
333.12/334.04 c #Conflicts: 307000 | #Constraints: 19376
333.12/334.04 c #Conflicts: 308000 | #Constraints: 20376
333.12/334.04 c #Conflicts: 309000 | #Constraints: 21376
333.12/334.04 c #Conflicts: 310000 | #Constraints: 22376
333.12/334.04 c INPROCESSING
333.12/334.04 c GARBAGE COLLECT
333.12/334.04 c #Conflicts: 311000 | #Constraints: 12378
333.12/334.04 c #Conflicts: 312000 | #Constraints: 13378
333.12/334.04 c #Conflicts: 313000 | #Constraints: 14378
333.12/334.04 c #Conflicts: 314000 | #Constraints: 15378
333.12/334.04 c #Conflicts: 315000 | #Constraints: 16378
333.12/334.04 c #Conflicts: 316000 | #Constraints: 17378
333.12/334.04 c #Conflicts: 317000 | #Constraints: 18378
333.12/334.04 c #Conflicts: 318000 | #Constraints: 19378
333.12/334.04 c #Conflicts: 319000 | #Constraints: 20378
333.12/334.04 c #Conflicts: 320000 | #Constraints: 21378
333.12/334.04 c #Conflicts: 321000 | #Constraints: 22378
333.12/334.04 c INPROCESSING
333.12/334.04 c GARBAGE COLLECT
333.12/334.04 c #Conflicts: 322000 | #Constraints: 12174
333.12/334.04 c #Conflicts: 323000 | #Constraints: 13174
333.12/334.04 c #Conflicts: 324000 | #Constraints: 14174
333.12/334.04 c #Conflicts: 325000 | #Constraints: 15174
333.12/334.04 c #Conflicts: 326000 | #Constraints: 16174
333.12/334.04 c #Conflicts: 327000 | #Constraints: 17174
333.12/334.04 c #Conflicts: 328000 | #Constraints: 18174
333.12/334.04 c #Conflicts: 329000 | #Constraints: 19174
333.12/334.04 c #Conflicts: 330000 | #Constraints: 20174
333.12/334.04 c #Conflicts: 331000 | #Constraints: 21174
333.12/334.04 c #Conflicts: 332000 | #Constraints: 22174
333.12/334.04 c #Conflicts: 333000 | #Constraints: 23174
333.12/334.04 c INPROCESSING
333.12/334.04 c GARBAGE COLLECT
333.12/334.04 c #Conflicts: 334000 | #Constraints: 12780
333.12/334.04 c #Conflicts: 335000 | #Constraints: 13780
333.12/334.04 c #Conflicts: 336000 | #Constraints: 14780
333.12/334.04 c #Conflicts: 337000 | #Constraints: 15780
333.12/334.04 c #Conflicts: 338000 | #Constraints: 16780
333.12/334.04 c #Conflicts: 339000 | #Constraints: 17780
333.12/334.04 c #Conflicts: 340000 | #Constraints: 18780
333.12/334.04 c #Conflicts: 341000 | #Constraints: 19780
333.12/334.04 c #Conflicts: 342000 | #Constraints: 20780
333.12/334.04 c #Conflicts: 343000 | #Constraints: 21780
333.12/334.04 c #Conflicts: 344000 | #Constraints: 22780
333.12/334.04 c #Conflicts: 345000 | #Constraints: 23780
333.12/334.04 c INPROCESSING
333.12/334.04 c GARBAGE COLLECT
333.12/334.04 c #Conflicts: 346000 | #Constraints: 13182
333.12/334.04 c #Conflicts: 347000 | #Constraints: 14182
333.12/334.04 c #Conflicts: 348000 | #Constraints: 15182
333.12/334.04 c #Conflicts: 349000 | #Constraints: 16182
333.12/334.04 c #Conflicts: 350000 | #Constraints: 17182
333.12/334.04 c #Conflicts: 351000 | #Constraints: 18182
333.12/334.04 c #Conflicts: 352000 | #Constraints: 19182
333.12/334.04 c #Conflicts: 353000 | #Constraints: 20182
333.12/334.04 c #Conflicts: 354000 | #Constraints: 21182
333.12/334.04 c #Conflicts: 355000 | #Constraints: 22182
333.12/334.04 c #Conflicts: 356000 | #Constraints: 23182
333.12/334.04 c #Conflicts: 357000 | #Constraints: 24182
333.12/334.04 c INPROCESSING
333.12/334.04 c GARBAGE COLLECT
333.12/334.04 c #Conflicts: 358000 | #Constraints: 13383
333.12/334.04 c #Conflicts: 359000 | #Constraints: 14383
333.12/334.04 c #Conflicts: 360000 | #Constraints: 15383
333.12/334.04 c #Conflicts: 361000 | #Constraints: 16383
333.12/334.04 c #Conflicts: 362000 | #Constraints: 17383
333.12/334.04 c #Conflicts: 363000 | #Constraints: 18383
421.48/422.66 c #Conflicts: 364000 | #Constraints: 19383
421.48/422.66 c #Conflicts: 365000 | #Constraints: 20383
421.48/422.66 c #Conflicts: 366000 | #Constraints: 21383
421.48/422.66 c #Conflicts: 367000 | #Constraints: 22383
421.48/422.66 c #Conflicts: 368000 | #Constraints: 23383
421.48/422.66 c #Conflicts: 369000 | #Constraints: 24383
421.48/422.66 c INPROCESSING
421.48/422.66 c GARBAGE COLLECT
421.48/422.66 c #Conflicts: 370000 | #Constraints: 13384
421.48/422.66 c #Conflicts: 371000 | #Constraints: 14384
421.48/422.66 c #Conflicts: 372000 | #Constraints: 15384
421.48/422.66 c #Conflicts: 373000 | #Constraints: 16384
421.48/422.66 c #Conflicts: 374000 | #Constraints: 17384
421.48/422.66 c #Conflicts: 375000 | #Constraints: 18384
421.48/422.66 c #Conflicts: 376000 | #Constraints: 19384
421.48/422.66 c #Conflicts: 377000 | #Constraints: 20384
421.48/422.66 c #Conflicts: 378000 | #Constraints: 21384
421.48/422.66 c #Conflicts: 379000 | #Constraints: 22384
421.48/422.66 c #Conflicts: 380000 | #Constraints: 23384
421.48/422.66 c #Conflicts: 381000 | #Constraints: 24384
421.48/422.66 c INPROCESSING
421.48/422.66 c GARBAGE COLLECT
421.48/422.66 c #Conflicts: 382000 | #Constraints: 13180
421.48/422.66 c #Conflicts: 383000 | #Constraints: 14180
421.48/422.66 c #Conflicts: 384000 | #Constraints: 15180
421.48/422.66 c #Conflicts: 385000 | #Constraints: 16180
421.48/422.66 c #Conflicts: 386000 | #Constraints: 17180
421.48/422.66 c #Conflicts: 387000 | #Constraints: 18180
421.48/422.66 c #Conflicts: 388000 | #Constraints: 19180
421.48/422.66 c #Conflicts: 389000 | #Constraints: 20180
421.48/422.66 c #Conflicts: 390000 | #Constraints: 21180
421.48/422.66 c #Conflicts: 391000 | #Constraints: 22180
421.48/422.66 c #Conflicts: 392000 | #Constraints: 23180
421.48/422.66 c #Conflicts: 393000 | #Constraints: 24180
421.48/422.66 c #Conflicts: 394000 | #Constraints: 25180
421.48/422.66 c INPROCESSING
421.48/422.66 c GARBAGE COLLECT
421.48/422.66 c #Conflicts: 395000 | #Constraints: 13782
421.48/422.66 c #Conflicts: 396000 | #Constraints: 14782
421.48/422.66 c #Conflicts: 397000 | #Constraints: 15782
421.48/422.66 c #Conflicts: 398000 | #Constraints: 16782
421.48/422.66 c #Conflicts: 399000 | #Constraints: 17782
421.48/422.66 c #Conflicts: 400000 | #Constraints: 18782
421.48/422.66 c #Conflicts: 401000 | #Constraints: 19782
421.48/422.66 c #Conflicts: 402000 | #Constraints: 20782
421.48/422.66 c #Conflicts: 403000 | #Constraints: 21782
421.48/422.66 c #Conflicts: 404000 | #Constraints: 22782
421.48/422.66 c #Conflicts: 405000 | #Constraints: 23782
421.48/422.66 c #Conflicts: 406000 | #Constraints: 24782
421.48/422.66 c #Conflicts: 407000 | #Constraints: 25782
421.48/422.66 c INPROCESSING
421.48/422.66 c GARBAGE COLLECT
421.48/422.66 c #Conflicts: 408000 | #Constraints: 14180
421.48/422.66 c #Conflicts: 409000 | #Constraints: 15180
421.48/422.66 c #Conflicts: 410000 | #Constraints: 16180
421.48/422.66 c #Conflicts: 411000 | #Constraints: 17180
421.48/422.66 c #Conflicts: 412000 | #Constraints: 18180
421.48/422.66 c #Conflicts: 413000 | #Constraints: 19180
421.48/422.66 c #Conflicts: 414000 | #Constraints: 20180
421.48/422.66 c #Conflicts: 415000 | #Constraints: 21180
421.48/422.66 c #Conflicts: 416000 | #Constraints: 22180
421.48/422.66 c #Conflicts: 417000 | #Constraints: 23180
421.48/422.66 c #Conflicts: 418000 | #Constraints: 24180
421.48/422.66 c #Conflicts: 419000 | #Constraints: 25180
421.48/422.66 c #Conflicts: 420000 | #Constraints: 26180
421.48/422.66 c INPROCESSING
421.48/422.66 c GARBAGE COLLECT
421.48/422.66 c #Conflicts: 421000 | #Constraints: 14383
421.48/422.66 c #Conflicts: 422000 | #Constraints: 15383
421.48/422.66 c #Conflicts: 423000 | #Constraints: 16383
421.48/422.66 c #Conflicts: 424000 | #Constraints: 17383
421.48/422.66 c #Conflicts: 425000 | #Constraints: 18383
421.48/422.66 c #Conflicts: 426000 | #Constraints: 19383
421.48/422.66 c #Conflicts: 427000 | #Constraints: 20383
421.48/422.66 c #Conflicts: 428000 | #Constraints: 21383
421.48/422.66 c #Conflicts: 429000 | #Constraints: 22383
421.48/422.66 c #Conflicts: 430000 | #Constraints: 23383
421.48/422.66 c #Conflicts: 431000 | #Constraints: 24383
421.48/422.66 c #Conflicts: 432000 | #Constraints: 25383
421.48/422.66 c #Conflicts: 433000 | #Constraints: 26383
421.48/422.66 c INPROCESSING
421.48/422.66 c GARBAGE COLLECT
421.48/422.66 c #Conflicts: 434000 | #Constraints: 14382
421.48/422.66 c #Conflicts: 435000 | #Constraints: 15382
421.48/422.66 c #Conflicts: 436000 | #Constraints: 16382
421.48/422.66 c #Conflicts: 437000 | #Constraints: 17382
421.48/422.66 c #Conflicts: 438000 | #Constraints: 18382
515.54/516.98 c #Conflicts: 439000 | #Constraints: 19382
515.54/516.98 c #Conflicts: 440000 | #Constraints: 20382
515.54/516.98 c #Conflicts: 441000 | #Constraints: 21382
515.54/516.98 c #Conflicts: 442000 | #Constraints: 22382
515.54/516.98 c #Conflicts: 443000 | #Constraints: 23382
515.54/516.98 c #Conflicts: 444000 | #Constraints: 24382
515.54/516.98 c #Conflicts: 445000 | #Constraints: 25382
515.54/516.98 c #Conflicts: 446000 | #Constraints: 26382
515.54/516.98 c INPROCESSING
515.54/516.98 c GARBAGE COLLECT
515.54/516.98 c #Conflicts: 447000 | #Constraints: 14187
515.54/516.98 c #Conflicts: 448000 | #Constraints: 15187
515.54/516.98 c #Conflicts: 449000 | #Constraints: 16187
515.54/516.98 c #Conflicts: 450000 | #Constraints: 17187
515.54/516.98 c #Conflicts: 451000 | #Constraints: 18187
515.54/516.98 c #Conflicts: 452000 | #Constraints: 19187
515.54/516.98 c #Conflicts: 453000 | #Constraints: 20187
515.54/516.98 c #Conflicts: 454000 | #Constraints: 21187
515.54/516.98 c #Conflicts: 455000 | #Constraints: 22187
515.54/516.98 c #Conflicts: 456000 | #Constraints: 23187
515.54/516.98 c #Conflicts: 457000 | #Constraints: 24187
515.54/516.98 c #Conflicts: 458000 | #Constraints: 25187
515.54/516.98 c #Conflicts: 459000 | #Constraints: 26187
515.54/516.98 c #Conflicts: 460000 | #Constraints: 27187
515.54/516.98 c INPROCESSING
515.54/516.98 c GARBAGE COLLECT
515.54/516.98 c #Conflicts: 461000 | #Constraints: 14784
515.54/516.98 c #Conflicts: 462000 | #Constraints: 15784
515.54/516.98 c #Conflicts: 463000 | #Constraints: 16784
515.54/516.98 c #Conflicts: 464000 | #Constraints: 17784
515.54/516.98 c #Conflicts: 465000 | #Constraints: 18784
515.54/516.98 c #Conflicts: 466000 | #Constraints: 19784
515.54/516.98 c #Conflicts: 467000 | #Constraints: 20784
515.54/516.98 c #Conflicts: 468000 | #Constraints: 21784
515.54/516.98 c #Conflicts: 469000 | #Constraints: 22784
515.54/516.98 c #Conflicts: 470000 | #Constraints: 23784
515.54/516.98 c #Conflicts: 471000 | #Constraints: 24784
515.54/516.98 c #Conflicts: 472000 | #Constraints: 25784
515.54/516.98 c #Conflicts: 473000 | #Constraints: 26784
515.54/516.98 c #Conflicts: 474000 | #Constraints: 27784
515.54/516.98 c INPROCESSING
515.54/516.98 c GARBAGE COLLECT
515.54/516.98 c #Conflicts: 475000 | #Constraints: 15183
515.54/516.98 c #Conflicts: 476000 | #Constraints: 16183
515.54/516.98 c #Conflicts: 477000 | #Constraints: 17183
515.54/516.98 c #Conflicts: 478000 | #Constraints: 18183
515.54/516.98 c #Conflicts: 479000 | #Constraints: 19183
515.54/516.98 c #Conflicts: 480000 | #Constraints: 20183
515.54/516.98 c #Conflicts: 481000 | #Constraints: 21183
515.54/516.98 c #Conflicts: 482000 | #Constraints: 22183
515.54/516.98 c #Conflicts: 483000 | #Constraints: 23183
515.54/516.98 c #Conflicts: 484000 | #Constraints: 24183
515.54/516.98 c #Conflicts: 485000 | #Constraints: 25183
515.54/516.98 c #Conflicts: 486000 | #Constraints: 26183
515.54/516.98 c #Conflicts: 487000 | #Constraints: 27183
515.54/516.98 c #Conflicts: 488000 | #Constraints: 28183
515.54/516.98 c INPROCESSING
515.54/516.98 c GARBAGE COLLECT
515.54/516.98 c #Conflicts: 489000 | #Constraints: 15393
515.54/516.98 c #Conflicts: 490000 | #Constraints: 16393
515.54/516.98 c #Conflicts: 491000 | #Constraints: 17393
515.54/516.98 c #Conflicts: 492000 | #Constraints: 18393
515.54/516.98 c #Conflicts: 493000 | #Constraints: 19393
515.54/516.98 c #Conflicts: 494000 | #Constraints: 20393
515.54/516.98 c #Conflicts: 495000 | #Constraints: 21393
515.54/516.98 c #Conflicts: 496000 | #Constraints: 22393
515.54/516.98 c #Conflicts: 497000 | #Constraints: 23393
515.54/516.98 c #Conflicts: 498000 | #Constraints: 24393
515.54/516.98 c #Conflicts: 499000 | #Constraints: 25393
515.54/516.98 c #Conflicts: 500000 | #Constraints: 26393
515.54/516.98 c #Conflicts: 501000 | #Constraints: 27393
515.54/516.98 c #Conflicts: 502000 | #Constraints: 28393
515.54/516.98 c INPROCESSING
515.54/516.98 c GARBAGE COLLECT
515.54/516.98 c #Conflicts: 503000 | #Constraints: 15387
515.54/516.98 c #Conflicts: 504000 | #Constraints: 16387
515.54/516.98 c #Conflicts: 505000 | #Constraints: 17387
515.54/516.98 c #Conflicts: 506000 | #Constraints: 18387
515.54/516.98 c #Conflicts: 507000 | #Constraints: 19387
515.54/516.98 c #Conflicts: 508000 | #Constraints: 20387
515.54/516.98 c #Conflicts: 509000 | #Constraints: 21387
515.54/516.98 c #Conflicts: 510000 | #Constraints: 22387
515.54/516.98 c #Conflicts: 511000 | #Constraints: 23387
515.54/516.98 c #Conflicts: 512000 | #Constraints: 24387
515.54/516.98 c #Conflicts: 513000 | #Constraints: 25387
515.54/516.98 c #Conflicts: 514000 | #Constraints: 26387
638.31/640.03 c #Conflicts: 515000 | #Constraints: 27387
638.31/640.03 c #Conflicts: 516000 | #Constraints: 28387
638.31/640.03 c INPROCESSING
638.31/640.03 c GARBAGE COLLECT
638.31/640.03 c #Conflicts: 517000 | #Constraints: 15185
638.31/640.03 c #Conflicts: 518000 | #Constraints: 16185
638.31/640.03 c #Conflicts: 519000 | #Constraints: 17185
638.31/640.03 c #Conflicts: 520000 | #Constraints: 18185
638.31/640.03 c #Conflicts: 521000 | #Constraints: 19185
638.31/640.03 c #Conflicts: 522000 | #Constraints: 20185
638.31/640.03 c #Conflicts: 523000 | #Constraints: 21185
638.31/640.03 c #Conflicts: 524000 | #Constraints: 22185
638.31/640.03 c #Conflicts: 525000 | #Constraints: 23185
638.31/640.03 c #Conflicts: 526000 | #Constraints: 24185
638.31/640.03 c #Conflicts: 527000 | #Constraints: 25185
638.31/640.03 c #Conflicts: 528000 | #Constraints: 26185
638.31/640.03 c #Conflicts: 529000 | #Constraints: 27185
638.31/640.03 c #Conflicts: 530000 | #Constraints: 28185
638.31/640.03 c #Conflicts: 531000 | #Constraints: 29185
638.31/640.03 c INPROCESSING
638.31/640.03 c GARBAGE COLLECT
638.31/640.03 c #Conflicts: 532000 | #Constraints: 15779
638.31/640.03 c #Conflicts: 533000 | #Constraints: 16779
638.31/640.03 c #Conflicts: 534000 | #Constraints: 17779
638.31/640.03 c #Conflicts: 535000 | #Constraints: 18779
638.31/640.03 c #Conflicts: 536000 | #Constraints: 19779
638.31/640.03 c #Conflicts: 537000 | #Constraints: 20779
638.31/640.03 c #Conflicts: 538000 | #Constraints: 21779
638.31/640.03 c #Conflicts: 539000 | #Constraints: 22779
638.31/640.03 c #Conflicts: 540000 | #Constraints: 23779
638.31/640.03 c #Conflicts: 541000 | #Constraints: 24779
638.31/640.03 c #Conflicts: 542000 | #Constraints: 25779
638.31/640.03 c #Conflicts: 543000 | #Constraints: 26779
638.31/640.03 c #Conflicts: 544000 | #Constraints: 27779
638.31/640.03 c #Conflicts: 545000 | #Constraints: 28779
638.31/640.03 c #Conflicts: 546000 | #Constraints: 29779
638.31/640.03 c INPROCESSING
638.31/640.03 c GARBAGE COLLECT
638.31/640.03 c #Conflicts: 547000 | #Constraints: 16185
638.31/640.03 c #Conflicts: 548000 | #Constraints: 17185
638.31/640.03 c #Conflicts: 549000 | #Constraints: 18185
638.31/640.03 c #Conflicts: 550000 | #Constraints: 19185
638.31/640.03 c #Conflicts: 551000 | #Constraints: 20185
638.31/640.03 c #Conflicts: 552000 | #Constraints: 21185
638.31/640.03 c #Conflicts: 553000 | #Constraints: 22185
638.31/640.03 c #Conflicts: 554000 | #Constraints: 23185
638.31/640.03 c #Conflicts: 555000 | #Constraints: 24185
638.31/640.03 c #Conflicts: 556000 | #Constraints: 25185
638.31/640.03 c #Conflicts: 557000 | #Constraints: 26185
638.31/640.03 c #Conflicts: 558000 | #Constraints: 27185
638.31/640.03 c #Conflicts: 559000 | #Constraints: 28185
638.31/640.03 c #Conflicts: 560000 | #Constraints: 29185
638.31/640.03 c #Conflicts: 561000 | #Constraints: 30185
638.31/640.03 c INPROCESSING
638.31/640.03 c GARBAGE COLLECT
638.31/640.03 c #Conflicts: 562000 | #Constraints: 16380
638.31/640.03 c #Conflicts: 563000 | #Constraints: 17380
638.31/640.03 c #Conflicts: 564000 | #Constraints: 18380
638.31/640.03 c #Conflicts: 565000 | #Constraints: 19380
638.31/640.03 c #Conflicts: 566000 | #Constraints: 20380
638.31/640.03 c #Conflicts: 567000 | #Constraints: 21380
638.31/640.03 c #Conflicts: 568000 | #Constraints: 22380
638.31/640.03 c #Conflicts: 569000 | #Constraints: 23380
638.31/640.03 c #Conflicts: 570000 | #Constraints: 24380
638.31/640.03 c #Conflicts: 571000 | #Constraints: 25380
638.31/640.03 c #Conflicts: 572000 | #Constraints: 26380
638.31/640.03 c #Conflicts: 573000 | #Constraints: 27380
638.31/640.03 c #Conflicts: 574000 | #Constraints: 28380
638.31/640.03 c #Conflicts: 575000 | #Constraints: 29380
638.31/640.03 c #Conflicts: 576000 | #Constraints: 30380
638.31/640.03 c INPROCESSING
638.31/640.03 c GARBAGE COLLECT
638.31/640.03 c #Conflicts: 577000 | #Constraints: 16378
638.31/640.03 c #Conflicts: 578000 | #Constraints: 17378
638.31/640.03 c #Conflicts: 579000 | #Constraints: 18378
638.31/640.03 c #Conflicts: 580000 | #Constraints: 19378
638.31/640.03 c #Conflicts: 581000 | #Constraints: 20378
638.31/640.03 c #Conflicts: 582000 | #Constraints: 21378
638.31/640.03 c #Conflicts: 583000 | #Constraints: 22378
638.31/640.03 c #Conflicts: 584000 | #Constraints: 23378
638.31/640.03 c #Conflicts: 585000 | #Constraints: 24378
638.31/640.03 c #Conflicts: 586000 | #Constraints: 25378
638.31/640.03 c #Conflicts: 587000 | #Constraints: 26378
638.31/640.03 c #Conflicts: 588000 | #Constraints: 27378
638.31/640.03 c #Conflicts: 589000 | #Constraints: 28378
638.31/640.03 c #Conflicts: 590000 | #Constraints: 29378
759.28/761.36 c #Conflicts: 591000 | #Constraints: 30378
759.28/761.36 c INPROCESSING
759.28/761.36 c GARBAGE COLLECT
759.28/761.36 c #Conflicts: 592000 | #Constraints: 16181
759.28/761.36 c #Conflicts: 593000 | #Constraints: 17181
759.28/761.36 c #Conflicts: 594000 | #Constraints: 18181
759.28/761.36 c #Conflicts: 595000 | #Constraints: 19181
759.28/761.36 c #Conflicts: 596000 | #Constraints: 20181
759.28/761.36 c #Conflicts: 597000 | #Constraints: 21181
759.28/761.36 c #Conflicts: 598000 | #Constraints: 22181
759.28/761.36 c #Conflicts: 599000 | #Constraints: 23181
759.28/761.36 c #Conflicts: 600000 | #Constraints: 24181
759.28/761.36 c #Conflicts: 601000 | #Constraints: 25181
759.28/761.36 c #Conflicts: 602000 | #Constraints: 26181
759.28/761.36 c #Conflicts: 603000 | #Constraints: 27181
759.28/761.36 c #Conflicts: 604000 | #Constraints: 28181
759.28/761.36 c #Conflicts: 605000 | #Constraints: 29181
759.28/761.36 c #Conflicts: 606000 | #Constraints: 30181
759.28/761.36 c #Conflicts: 607000 | #Constraints: 31181
759.28/761.36 c INPROCESSING
759.28/761.36 c GARBAGE COLLECT
759.28/761.36 c #Conflicts: 608000 | #Constraints: 16764
759.28/761.36 c #Conflicts: 609000 | #Constraints: 17764
759.28/761.36 c #Conflicts: 610000 | #Constraints: 18764
759.28/761.36 c #Conflicts: 611000 | #Constraints: 19764
759.28/761.36 c #Conflicts: 612000 | #Constraints: 20764
759.28/761.36 c #Conflicts: 613000 | #Constraints: 21764
759.28/761.36 c #Conflicts: 614000 | #Constraints: 22764
759.28/761.36 c #Conflicts: 615000 | #Constraints: 23764
759.28/761.36 c #Conflicts: 616000 | #Constraints: 24764
759.28/761.36 c #Conflicts: 617000 | #Constraints: 25764
759.28/761.36 c #Conflicts: 618000 | #Constraints: 26764
759.28/761.36 c #Conflicts: 619000 | #Constraints: 27764
759.28/761.36 c #Conflicts: 620000 | #Constraints: 28764
759.28/761.36 c #Conflicts: 621000 | #Constraints: 29764
759.28/761.36 c #Conflicts: 622000 | #Constraints: 30764
759.28/761.36 c #Conflicts: 623000 | #Constraints: 31764
759.28/761.36 c INPROCESSING
759.28/761.36 c GARBAGE COLLECT
759.28/761.36 c #Conflicts: 624000 | #Constraints: 17176
759.28/761.36 c #Conflicts: 625000 | #Constraints: 18176
759.28/761.36 c #Conflicts: 626000 | #Constraints: 19176
759.28/761.36 c #Conflicts: 627000 | #Constraints: 20176
759.28/761.36 c #Conflicts: 628000 | #Constraints: 21176
759.28/761.36 c #Conflicts: 629000 | #Constraints: 22176
759.28/761.36 c #Conflicts: 630000 | #Constraints: 23176
759.28/761.36 c #Conflicts: 631000 | #Constraints: 24176
759.28/761.36 c #Conflicts: 632000 | #Constraints: 25176
759.28/761.36 c #Conflicts: 633000 | #Constraints: 26176
759.28/761.36 c #Conflicts: 634000 | #Constraints: 27176
759.28/761.36 c #Conflicts: 635000 | #Constraints: 28176
759.28/761.36 c #Conflicts: 636000 | #Constraints: 29176
759.28/761.36 c #Conflicts: 637000 | #Constraints: 30176
759.28/761.36 c #Conflicts: 638000 | #Constraints: 31176
759.28/761.36 c #Conflicts: 639000 | #Constraints: 32176
759.28/761.36 c INPROCESSING
759.28/761.36 c GARBAGE COLLECT
759.28/761.36 c #Conflicts: 640000 | #Constraints: 17383
759.28/761.36 c #Conflicts: 641000 | #Constraints: 18383
759.28/761.36 c #Conflicts: 642000 | #Constraints: 19383
759.28/761.36 c #Conflicts: 643000 | #Constraints: 20383
759.28/761.36 c #Conflicts: 644000 | #Constraints: 21383
759.28/761.36 c #Conflicts: 645000 | #Constraints: 22383
759.28/761.36 c #Conflicts: 646000 | #Constraints: 23383
759.28/761.36 c #Conflicts: 647000 | #Constraints: 24383
759.28/761.36 c #Conflicts: 648000 | #Constraints: 25383
759.28/761.36 c #Conflicts: 649000 | #Constraints: 26383
759.28/761.36 c #Conflicts: 650000 | #Constraints: 27383
759.28/761.36 c #Conflicts: 651000 | #Constraints: 28383
759.28/761.36 c #Conflicts: 652000 | #Constraints: 29383
759.28/761.36 c #Conflicts: 653000 | #Constraints: 30383
759.28/761.36 c #Conflicts: 654000 | #Constraints: 31383
759.28/761.36 c #Conflicts: 655000 | #Constraints: 32383
759.28/761.36 c INPROCESSING
759.28/761.36 c GARBAGE COLLECT
759.28/761.36 c #Conflicts: 656000 | #Constraints: 17381
759.28/761.36 c #Conflicts: 657000 | #Constraints: 18381
759.28/761.36 c #Conflicts: 658000 | #Constraints: 19381
759.28/761.36 c #Conflicts: 659000 | #Constraints: 20381
759.28/761.36 c #Conflicts: 660000 | #Constraints: 21381
759.28/761.36 c #Conflicts: 661000 | #Constraints: 22381
759.28/761.36 c #Conflicts: 662000 | #Constraints: 23381
759.28/761.36 c #Conflicts: 663000 | #Constraints: 24381
759.28/761.36 c #Conflicts: 664000 | #Constraints: 25381
759.28/761.36 c #Conflicts: 665000 | #Constraints: 26381
803.37/805.58 c #Conflicts: 666000 | #Constraints: 27381
803.37/805.58 c #Conflicts: 667000 | #Constraints: 28381
803.37/805.58 c #Conflicts: 668000 | #Constraints: 29381
803.37/805.58 c #Conflicts: 669000 | #Constraints: 30381
803.37/805.58 c #Conflicts: 670000 | #Constraints: 31381
803.37/805.58 c #Conflicts: 671000 | #Constraints: 32381
803.37/805.58 c INPROCESSING
803.37/805.58 c GARBAGE COLLECT
803.37/805.58 c #Conflicts: 672000 | #Constraints: 17190
803.37/805.58 c #Conflicts: 673000 | #Constraints: 18190
803.37/805.58 c #Conflicts: 674000 | #Constraints: 19190
803.37/805.58 c #Conflicts: 675000 | #Constraints: 20190
803.37/805.58 c #Conflicts: 676000 | #Constraints: 21190
803.37/805.58 c #Conflicts: 677000 | #Constraints: 22190
803.37/805.58 c #Conflicts: 678000 | #Constraints: 23190
803.37/805.58 c #Conflicts: 679000 | #Constraints: 24190
803.37/805.58 c #Conflicts: 680000 | #Constraints: 25190
803.37/805.58 c #Conflicts: 681000 | #Constraints: 26190
803.37/805.58 c #Conflicts: 682000 | #Constraints: 27190
803.37/805.58 c #Conflicts: 683000 | #Constraints: 28190
803.37/805.58 c #Conflicts: 684000 | #Constraints: 29190
803.37/805.58 c #Conflicts: 685000 | #Constraints: 30190
803.37/805.58 c #Conflicts: 686000 | #Constraints: 31190
803.37/805.58 c #Conflicts: 687000 | #Constraints: 32190
803.37/805.58 c #Conflicts: 688000 | #Constraints: 33190
803.37/805.58 c INPROCESSING
803.37/805.58 c GARBAGE COLLECT
803.37/805.58 c GLOBAL bounds - >= 0 @ 799.669
933.64/936.14 c #Conflicts: 689000 | #Constraints: 17799
933.64/936.14 c #Conflicts: 690000 | #Constraints: 18799
933.64/936.14 c #Conflicts: 691000 | #Constraints: 19799
933.64/936.14 c #Conflicts: 692000 | #Constraints: 20799
933.64/936.14 c #Conflicts: 693000 | #Constraints: 21799
933.64/936.14 c #Conflicts: 694000 | #Constraints: 22799
933.64/936.14 c #Conflicts: 695000 | #Constraints: 23799
933.64/936.14 c #Conflicts: 696000 | #Constraints: 24799
933.64/936.14 c #Conflicts: 697000 | #Constraints: 25799
933.64/936.14 c #Conflicts: 698000 | #Constraints: 26799
933.64/936.14 c #Conflicts: 699000 | #Constraints: 27799
933.64/936.14 c #Conflicts: 700000 | #Constraints: 28799
933.64/936.14 c #Conflicts: 701000 | #Constraints: 29799
933.64/936.14 c #Conflicts: 702000 | #Constraints: 30799
933.64/936.14 c #Conflicts: 703000 | #Constraints: 31799
933.64/936.14 c #Conflicts: 704000 | #Constraints: 32799
933.64/936.14 c #Conflicts: 705000 | #Constraints: 33799
933.64/936.14 c INPROCESSING
933.64/936.14 c GARBAGE COLLECT
933.64/936.14 c #Conflicts: 706000 | #Constraints: 18187
933.64/936.14 c #Conflicts: 707000 | #Constraints: 19187
933.64/936.14 c #Conflicts: 708000 | #Constraints: 20187
933.64/936.14 c #Conflicts: 709000 | #Constraints: 21187
933.64/936.14 c #Conflicts: 710000 | #Constraints: 22187
933.64/936.14 c #Conflicts: 711000 | #Constraints: 23187
933.64/936.14 c #Conflicts: 712000 | #Constraints: 24187
933.64/936.14 c #Conflicts: 713000 | #Constraints: 25187
933.64/936.14 c #Conflicts: 714000 | #Constraints: 26187
933.64/936.14 c #Conflicts: 715000 | #Constraints: 27187
933.64/936.14 c #Conflicts: 716000 | #Constraints: 28187
933.64/936.14 c #Conflicts: 717000 | #Constraints: 29187
933.64/936.14 c #Conflicts: 718000 | #Constraints: 30187
933.64/936.14 c #Conflicts: 719000 | #Constraints: 31187
933.64/936.14 c #Conflicts: 720000 | #Constraints: 32187
933.64/936.14 c #Conflicts: 721000 | #Constraints: 33187
933.64/936.14 c #Conflicts: 722000 | #Constraints: 34187
933.64/936.14 c INPROCESSING
933.64/936.14 c GARBAGE COLLECT
933.64/936.14 c #Conflicts: 723000 | #Constraints: 18385
933.64/936.14 c #Conflicts: 724000 | #Constraints: 19385
933.64/936.14 c #Conflicts: 725000 | #Constraints: 20385
933.64/936.14 c #Conflicts: 726000 | #Constraints: 21385
933.64/936.14 c #Conflicts: 727000 | #Constraints: 22385
933.64/936.14 c #Conflicts: 728000 | #Constraints: 23385
933.64/936.14 c #Conflicts: 729000 | #Constraints: 24385
933.64/936.14 c #Conflicts: 730000 | #Constraints: 25385
933.64/936.14 c #Conflicts: 731000 | #Constraints: 26385
933.64/936.14 c #Conflicts: 732000 | #Constraints: 27385
933.64/936.14 c #Conflicts: 733000 | #Constraints: 28385
933.64/936.14 c #Conflicts: 734000 | #Constraints: 29385
933.64/936.14 c #Conflicts: 735000 | #Constraints: 30385
933.64/936.14 c #Conflicts: 736000 | #Constraints: 31385
933.64/936.14 c #Conflicts: 737000 | #Constraints: 32385
933.64/936.14 c #Conflicts: 738000 | #Constraints: 33385
933.64/936.14 c #Conflicts: 739000 | #Constraints: 34385
933.64/936.14 c INPROCESSING
933.64/936.14 c GARBAGE COLLECT
933.64/936.14 c #Conflicts: 740000 | #Constraints: 18385
933.64/936.14 c #Conflicts: 741000 | #Constraints: 19385
933.64/936.14 c #Conflicts: 742000 | #Constraints: 20385
933.64/936.14 c #Conflicts: 743000 | #Constraints: 21385
933.64/936.14 c #Conflicts: 744000 | #Constraints: 22385
933.64/936.14 c #Conflicts: 745000 | #Constraints: 23385
933.64/936.14 c #Conflicts: 746000 | #Constraints: 24385
933.64/936.14 c #Conflicts: 747000 | #Constraints: 25385
933.64/936.14 c #Conflicts: 748000 | #Constraints: 26385
933.64/936.14 c #Conflicts: 749000 | #Constraints: 27385
933.64/936.14 c #Conflicts: 750000 | #Constraints: 28385
933.64/936.14 c #Conflicts: 751000 | #Constraints: 29385
933.64/936.14 c #Conflicts: 752000 | #Constraints: 30385
933.64/936.14 c #Conflicts: 753000 | #Constraints: 31385
933.64/936.14 c #Conflicts: 754000 | #Constraints: 32385
933.64/936.14 c #Conflicts: 755000 | #Constraints: 33385
933.64/936.14 c #Conflicts: 756000 | #Constraints: 34385
933.64/936.14 c INPROCESSING
933.64/936.14 c GARBAGE COLLECT
933.64/936.14 c #Conflicts: 757000 | #Constraints: 18182
933.64/936.14 c #Conflicts: 758000 | #Constraints: 19182
933.64/936.14 c #Conflicts: 759000 | #Constraints: 20182
933.64/936.14 c #Conflicts: 760000 | #Constraints: 21182
933.64/936.14 c #Conflicts: 761000 | #Constraints: 22182
933.64/936.14 c #Conflicts: 762000 | #Constraints: 23182
933.64/936.14 c #Conflicts: 763000 | #Constraints: 24182
933.64/936.14 c #Conflicts: 764000 | #Constraints: 25182
933.64/936.14 c #Conflicts: 765000 | #Constraints: 26182
1087.25/1090.13 c #Conflicts: 766000 | #Constraints: 27182
1087.25/1090.13 c #Conflicts: 767000 | #Constraints: 28182
1087.25/1090.13 c #Conflicts: 768000 | #Constraints: 29182
1087.25/1090.13 c #Conflicts: 769000 | #Constraints: 30182
1087.25/1090.13 c #Conflicts: 770000 | #Constraints: 31182
1087.25/1090.13 c #Conflicts: 771000 | #Constraints: 32182
1087.25/1090.13 c #Conflicts: 772000 | #Constraints: 33182
1087.25/1090.13 c #Conflicts: 773000 | #Constraints: 34182
1087.25/1090.13 c #Conflicts: 774000 | #Constraints: 35182
1087.25/1090.13 c INPROCESSING
1087.25/1090.13 c GARBAGE COLLECT
1087.25/1090.13 c #Conflicts: 775000 | #Constraints: 18782
1087.25/1090.13 c #Conflicts: 776000 | #Constraints: 19782
1087.25/1090.13 c #Conflicts: 777000 | #Constraints: 20782
1087.25/1090.13 c #Conflicts: 778000 | #Constraints: 21782
1087.25/1090.13 c #Conflicts: 779000 | #Constraints: 22782
1087.25/1090.13 c #Conflicts: 780000 | #Constraints: 23782
1087.25/1090.13 c #Conflicts: 781000 | #Constraints: 24782
1087.25/1090.13 c #Conflicts: 782000 | #Constraints: 25782
1087.25/1090.13 c #Conflicts: 783000 | #Constraints: 26782
1087.25/1090.13 c #Conflicts: 784000 | #Constraints: 27782
1087.25/1090.13 c #Conflicts: 785000 | #Constraints: 28782
1087.25/1090.13 c #Conflicts: 786000 | #Constraints: 29782
1087.25/1090.13 c #Conflicts: 787000 | #Constraints: 30782
1087.25/1090.13 c #Conflicts: 788000 | #Constraints: 31782
1087.25/1090.13 c #Conflicts: 789000 | #Constraints: 32782
1087.25/1090.13 c #Conflicts: 790000 | #Constraints: 33782
1087.25/1090.13 c #Conflicts: 791000 | #Constraints: 34782
1087.25/1090.13 c #Conflicts: 792000 | #Constraints: 35782
1087.25/1090.13 c INPROCESSING
1087.25/1090.13 c GARBAGE COLLECT
1087.25/1090.13 c #Conflicts: 793000 | #Constraints: 19178
1087.25/1090.13 c #Conflicts: 794000 | #Constraints: 20178
1087.25/1090.13 c #Conflicts: 795000 | #Constraints: 21178
1087.25/1090.13 c #Conflicts: 796000 | #Constraints: 22178
1087.25/1090.13 c #Conflicts: 797000 | #Constraints: 23178
1087.25/1090.13 c #Conflicts: 798000 | #Constraints: 24178
1087.25/1090.13 c #Conflicts: 799000 | #Constraints: 25178
1087.25/1090.13 c #Conflicts: 800000 | #Constraints: 26178
1087.25/1090.13 c #Conflicts: 801000 | #Constraints: 27178
1087.25/1090.13 c #Conflicts: 802000 | #Constraints: 28178
1087.25/1090.13 c #Conflicts: 803000 | #Constraints: 29178
1087.25/1090.13 c #Conflicts: 804000 | #Constraints: 30178
1087.25/1090.13 c #Conflicts: 805000 | #Constraints: 31178
1087.25/1090.13 c #Conflicts: 806000 | #Constraints: 32178
1087.25/1090.13 c #Conflicts: 807000 | #Constraints: 33178
1087.25/1090.13 c #Conflicts: 808000 | #Constraints: 34178
1087.25/1090.13 c #Conflicts: 809000 | #Constraints: 35178
1087.25/1090.13 c #Conflicts: 810000 | #Constraints: 36178
1087.25/1090.13 c INPROCESSING
1087.25/1090.13 c GARBAGE COLLECT
1087.25/1090.13 c #Conflicts: 811000 | #Constraints: 19382
1087.25/1090.13 c #Conflicts: 812000 | #Constraints: 20382
1087.25/1090.13 c #Conflicts: 813000 | #Constraints: 21382
1087.25/1090.13 c #Conflicts: 814000 | #Constraints: 22382
1087.25/1090.13 c #Conflicts: 815000 | #Constraints: 23382
1087.25/1090.13 c #Conflicts: 816000 | #Constraints: 24382
1087.25/1090.13 c #Conflicts: 817000 | #Constraints: 25382
1087.25/1090.13 c #Conflicts: 818000 | #Constraints: 26382
1087.25/1090.13 c #Conflicts: 819000 | #Constraints: 27382
1087.25/1090.13 c #Conflicts: 820000 | #Constraints: 28382
1087.25/1090.13 c #Conflicts: 821000 | #Constraints: 29382
1087.25/1090.13 c #Conflicts: 822000 | #Constraints: 30382
1087.25/1090.13 c #Conflicts: 823000 | #Constraints: 31382
1087.25/1090.13 c #Conflicts: 824000 | #Constraints: 32382
1087.25/1090.13 c #Conflicts: 825000 | #Constraints: 33382
1087.25/1090.13 c #Conflicts: 826000 | #Constraints: 34382
1087.25/1090.13 c #Conflicts: 827000 | #Constraints: 35382
1087.25/1090.13 c #Conflicts: 828000 | #Constraints: 36382
1087.25/1090.13 c INPROCESSING
1087.25/1090.13 c GARBAGE COLLECT
1087.25/1090.13 c #Conflicts: 829000 | #Constraints: 19381
1087.25/1090.13 c #Conflicts: 830000 | #Constraints: 20381
1087.25/1090.13 c #Conflicts: 831000 | #Constraints: 21381
1087.25/1090.13 c #Conflicts: 832000 | #Constraints: 22381
1087.25/1090.13 c #Conflicts: 833000 | #Constraints: 23381
1087.25/1090.13 c #Conflicts: 834000 | #Constraints: 24381
1087.25/1090.13 c #Conflicts: 835000 | #Constraints: 25381
1087.25/1090.13 c #Conflicts: 836000 | #Constraints: 26381
1087.25/1090.13 c #Conflicts: 837000 | #Constraints: 27381
1087.25/1090.13 c #Conflicts: 838000 | #Constraints: 28381
1087.25/1090.13 c #Conflicts: 839000 | #Constraints: 29381
1087.25/1090.13 c #Conflicts: 840000 | #Constraints: 30381
1087.25/1090.13 c #Conflicts: 841000 | #Constraints: 31381
1240.15/1243.48 c #Conflicts: 842000 | #Constraints: 32381
1240.15/1243.48 c #Conflicts: 843000 | #Constraints: 33381
1240.15/1243.48 c #Conflicts: 844000 | #Constraints: 34381
1240.15/1243.48 c #Conflicts: 845000 | #Constraints: 35381
1240.15/1243.48 c #Conflicts: 846000 | #Constraints: 36381
1240.15/1243.48 c INPROCESSING
1240.15/1243.48 c GARBAGE COLLECT
1240.15/1243.48 c #Conflicts: 847000 | #Constraints: 19192
1240.15/1243.48 c #Conflicts: 848000 | #Constraints: 20192
1240.15/1243.48 c #Conflicts: 849000 | #Constraints: 21192
1240.15/1243.48 c #Conflicts: 850000 | #Constraints: 22192
1240.15/1243.48 c #Conflicts: 851000 | #Constraints: 23192
1240.15/1243.48 c #Conflicts: 852000 | #Constraints: 24192
1240.15/1243.48 c #Conflicts: 853000 | #Constraints: 25192
1240.15/1243.48 c #Conflicts: 854000 | #Constraints: 26192
1240.15/1243.48 c #Conflicts: 855000 | #Constraints: 27192
1240.15/1243.48 c #Conflicts: 856000 | #Constraints: 28192
1240.15/1243.48 c #Conflicts: 857000 | #Constraints: 29192
1240.15/1243.48 c #Conflicts: 858000 | #Constraints: 30192
1240.15/1243.48 c #Conflicts: 859000 | #Constraints: 31192
1240.15/1243.48 c #Conflicts: 860000 | #Constraints: 32192
1240.15/1243.48 c #Conflicts: 861000 | #Constraints: 33192
1240.15/1243.48 c #Conflicts: 862000 | #Constraints: 34192
1240.15/1243.48 c #Conflicts: 863000 | #Constraints: 35192
1240.15/1243.48 c #Conflicts: 864000 | #Constraints: 36192
1240.15/1243.48 c #Conflicts: 865000 | #Constraints: 37192
1240.15/1243.48 c INPROCESSING
1240.15/1243.48 c GARBAGE COLLECT
1240.15/1243.48 c #Conflicts: 866000 | #Constraints: 19781
1240.15/1243.48 c #Conflicts: 867000 | #Constraints: 20781
1240.15/1243.48 c #Conflicts: 868000 | #Constraints: 21781
1240.15/1243.48 c #Conflicts: 869000 | #Constraints: 22781
1240.15/1243.48 c #Conflicts: 870000 | #Constraints: 23781
1240.15/1243.48 c #Conflicts: 871000 | #Constraints: 24781
1240.15/1243.48 c #Conflicts: 872000 | #Constraints: 25781
1240.15/1243.48 c #Conflicts: 873000 | #Constraints: 26781
1240.15/1243.48 c #Conflicts: 874000 | #Constraints: 27781
1240.15/1243.48 c #Conflicts: 875000 | #Constraints: 28781
1240.15/1243.48 c #Conflicts: 876000 | #Constraints: 29781
1240.15/1243.48 c #Conflicts: 877000 | #Constraints: 30781
1240.15/1243.48 c #Conflicts: 878000 | #Constraints: 31781
1240.15/1243.48 c #Conflicts: 879000 | #Constraints: 32781
1240.15/1243.48 c #Conflicts: 880000 | #Constraints: 33781
1240.15/1243.48 c #Conflicts: 881000 | #Constraints: 34781
1240.15/1243.48 c #Conflicts: 882000 | #Constraints: 35781
1240.15/1243.48 c #Conflicts: 883000 | #Constraints: 36781
1240.15/1243.48 c #Conflicts: 884000 | #Constraints: 37781
1240.15/1243.48 c INPROCESSING
1240.15/1243.48 c GARBAGE COLLECT
1240.15/1243.48 c #Conflicts: 885000 | #Constraints: 20183
1240.15/1243.48 c #Conflicts: 886000 | #Constraints: 21183
1240.15/1243.48 c #Conflicts: 887000 | #Constraints: 22183
1240.15/1243.48 c #Conflicts: 888000 | #Constraints: 23183
1240.15/1243.48 c #Conflicts: 889000 | #Constraints: 24183
1240.15/1243.48 c #Conflicts: 890000 | #Constraints: 25183
1240.15/1243.48 c #Conflicts: 891000 | #Constraints: 26183
1240.15/1243.48 c #Conflicts: 892000 | #Constraints: 27183
1240.15/1243.48 c #Conflicts: 893000 | #Constraints: 28183
1240.15/1243.48 c #Conflicts: 894000 | #Constraints: 29183
1240.15/1243.48 c #Conflicts: 895000 | #Constraints: 30183
1240.15/1243.48 c #Conflicts: 896000 | #Constraints: 31183
1240.15/1243.48 c #Conflicts: 897000 | #Constraints: 32183
1240.15/1243.48 c #Conflicts: 898000 | #Constraints: 33183
1240.15/1243.48 c #Conflicts: 899000 | #Constraints: 34183
1240.15/1243.48 c #Conflicts: 900000 | #Constraints: 35183
1240.15/1243.48 c #Conflicts: 901000 | #Constraints: 36183
1240.15/1243.48 c #Conflicts: 902000 | #Constraints: 37183
1240.15/1243.48 c #Conflicts: 903000 | #Constraints: 38183
1240.15/1243.48 c INPROCESSING
1240.15/1243.48 c GARBAGE COLLECT
1240.15/1243.48 c #Conflicts: 904000 | #Constraints: 20381
1240.15/1243.48 c #Conflicts: 905000 | #Constraints: 21381
1240.15/1243.48 c #Conflicts: 906000 | #Constraints: 22381
1240.15/1243.48 c #Conflicts: 907000 | #Constraints: 23381
1240.15/1243.48 c #Conflicts: 908000 | #Constraints: 24381
1240.15/1243.48 c #Conflicts: 909000 | #Constraints: 25381
1240.15/1243.48 c #Conflicts: 910000 | #Constraints: 26381
1240.15/1243.48 c #Conflicts: 911000 | #Constraints: 27381
1240.15/1243.48 c #Conflicts: 912000 | #Constraints: 28381
1240.15/1243.48 c #Conflicts: 913000 | #Constraints: 29381
1240.15/1243.48 c #Conflicts: 914000 | #Constraints: 30381
1240.15/1243.48 c #Conflicts: 915000 | #Constraints: 31381
1240.15/1243.48 c #Conflicts: 916000 | #Constraints: 32381
1240.15/1243.48 c #Conflicts: 917000 | #Constraints: 33381
1398.49/1402.22 c #Conflicts: 918000 | #Constraints: 34381
1398.49/1402.22 c #Conflicts: 919000 | #Constraints: 35381
1398.49/1402.22 c #Conflicts: 920000 | #Constraints: 36381
1398.49/1402.22 c #Conflicts: 921000 | #Constraints: 37381
1398.49/1402.22 c #Conflicts: 922000 | #Constraints: 38381
1398.49/1402.22 c INPROCESSING
1398.49/1402.22 c GARBAGE COLLECT
1398.49/1402.22 c #Conflicts: 923000 | #Constraints: 20380
1398.49/1402.22 c #Conflicts: 924000 | #Constraints: 21380
1398.49/1402.22 c #Conflicts: 925000 | #Constraints: 22380
1398.49/1402.22 c #Conflicts: 926000 | #Constraints: 23380
1398.49/1402.22 c #Conflicts: 927000 | #Constraints: 24380
1398.49/1402.22 c #Conflicts: 928000 | #Constraints: 25380
1398.49/1402.22 c #Conflicts: 929000 | #Constraints: 26380
1398.49/1402.22 c #Conflicts: 930000 | #Constraints: 27380
1398.49/1402.22 c #Conflicts: 931000 | #Constraints: 28380
1398.49/1402.22 c #Conflicts: 932000 | #Constraints: 29380
1398.49/1402.22 c #Conflicts: 933000 | #Constraints: 30380
1398.49/1402.22 c #Conflicts: 934000 | #Constraints: 31380
1398.49/1402.22 c #Conflicts: 935000 | #Constraints: 32380
1398.49/1402.22 c #Conflicts: 936000 | #Constraints: 33380
1398.49/1402.22 c #Conflicts: 937000 | #Constraints: 34380
1398.49/1402.22 c #Conflicts: 938000 | #Constraints: 35380
1398.49/1402.22 c #Conflicts: 939000 | #Constraints: 36380
1398.49/1402.22 c #Conflicts: 940000 | #Constraints: 37380
1398.49/1402.22 c #Conflicts: 941000 | #Constraints: 38380
1398.49/1402.22 c INPROCESSING
1398.49/1402.22 c GARBAGE COLLECT
1398.49/1402.22 c #Conflicts: 942000 | #Constraints: 20179
1398.49/1402.22 c #Conflicts: 943000 | #Constraints: 21179
1398.49/1402.22 c #Conflicts: 944000 | #Constraints: 22179
1398.49/1402.22 c #Conflicts: 945000 | #Constraints: 23179
1398.49/1402.22 c #Conflicts: 946000 | #Constraints: 24179
1398.49/1402.22 c #Conflicts: 947000 | #Constraints: 25179
1398.49/1402.22 c #Conflicts: 948000 | #Constraints: 26179
1398.49/1402.22 c #Conflicts: 949000 | #Constraints: 27179
1398.49/1402.22 c #Conflicts: 950000 | #Constraints: 28179
1398.49/1402.22 c #Conflicts: 951000 | #Constraints: 29179
1398.49/1402.22 c #Conflicts: 952000 | #Constraints: 30179
1398.49/1402.22 c #Conflicts: 953000 | #Constraints: 31179
1398.49/1402.22 c #Conflicts: 954000 | #Constraints: 32179
1398.49/1402.22 c #Conflicts: 955000 | #Constraints: 33179
1398.49/1402.22 c #Conflicts: 956000 | #Constraints: 34179
1398.49/1402.22 c #Conflicts: 957000 | #Constraints: 35179
1398.49/1402.22 c #Conflicts: 958000 | #Constraints: 36179
1398.49/1402.22 c #Conflicts: 959000 | #Constraints: 37179
1398.49/1402.22 c #Conflicts: 960000 | #Constraints: 38179
1398.49/1402.22 c #Conflicts: 961000 | #Constraints: 39179
1398.49/1402.22 c INPROCESSING
1398.49/1402.22 c GARBAGE COLLECT
1398.49/1402.22 c #Conflicts: 962000 | #Constraints: 20787
1398.49/1402.22 c #Conflicts: 963000 | #Constraints: 21787
1398.49/1402.22 c #Conflicts: 964000 | #Constraints: 22787
1398.49/1402.22 c #Conflicts: 965000 | #Constraints: 23787
1398.49/1402.22 c #Conflicts: 966000 | #Constraints: 24787
1398.49/1402.22 c #Conflicts: 967000 | #Constraints: 25787
1398.49/1402.22 c #Conflicts: 968000 | #Constraints: 26787
1398.49/1402.22 c #Conflicts: 969000 | #Constraints: 27787
1398.49/1402.22 c #Conflicts: 970000 | #Constraints: 28787
1398.49/1402.22 c #Conflicts: 971000 | #Constraints: 29787
1398.49/1402.22 c #Conflicts: 972000 | #Constraints: 30787
1398.49/1402.22 c #Conflicts: 973000 | #Constraints: 31787
1398.49/1402.22 c #Conflicts: 974000 | #Constraints: 32787
1398.49/1402.22 c #Conflicts: 975000 | #Constraints: 33787
1398.49/1402.22 c #Conflicts: 976000 | #Constraints: 34787
1398.49/1402.22 c #Conflicts: 977000 | #Constraints: 35787
1398.49/1402.22 c #Conflicts: 978000 | #Constraints: 36787
1398.49/1402.22 c #Conflicts: 979000 | #Constraints: 37787
1398.49/1402.22 c #Conflicts: 980000 | #Constraints: 38787
1398.49/1402.22 c #Conflicts: 981000 | #Constraints: 39787
1398.49/1402.22 c INPROCESSING
1398.49/1402.22 c GARBAGE COLLECT
1398.49/1402.22 c #Conflicts: 982000 | #Constraints: 21180
1398.49/1402.22 c #Conflicts: 983000 | #Constraints: 22180
1398.49/1402.22 c #Conflicts: 984000 | #Constraints: 23180
1398.49/1402.22 c #Conflicts: 985000 | #Constraints: 24180
1398.49/1402.22 c #Conflicts: 986000 | #Constraints: 25180
1398.49/1402.22 c #Conflicts: 987000 | #Constraints: 26180
1398.49/1402.22 c #Conflicts: 988000 | #Constraints: 27180
1398.49/1402.22 c #Conflicts: 989000 | #Constraints: 28180
1398.49/1402.22 c #Conflicts: 990000 | #Constraints: 29180
1398.49/1402.22 c #Conflicts: 991000 | #Constraints: 30180
1398.49/1402.22 c #Conflicts: 992000 | #Constraints: 31180
1398.49/1402.22 c #Conflicts: 993000 | #Constraints: 32180
1561.38/1565.62 c #Conflicts: 994000 | #Constraints: 33180
1561.38/1565.62 c #Conflicts: 995000 | #Constraints: 34180
1561.38/1565.62 c #Conflicts: 996000 | #Constraints: 35180
1561.38/1565.62 c #Conflicts: 997000 | #Constraints: 36180
1561.38/1565.62 c #Conflicts: 998000 | #Constraints: 37180
1561.38/1565.62 c #Conflicts: 999000 | #Constraints: 38180
1561.38/1565.62 c #Conflicts: 1000000 | #Constraints: 39180
1561.38/1565.62 c #Conflicts: 1001000 | #Constraints: 40180
1561.38/1565.62 c INPROCESSING
1561.38/1565.62 c GARBAGE COLLECT
1561.38/1565.62 c #Conflicts: 1002000 | #Constraints: 21383
1561.38/1565.62 c #Conflicts: 1003000 | #Constraints: 22383
1561.38/1565.62 c #Conflicts: 1004000 | #Constraints: 23383
1561.38/1565.62 c #Conflicts: 1005000 | #Constraints: 24383
1561.38/1565.62 c #Conflicts: 1006000 | #Constraints: 25383
1561.38/1565.62 c #Conflicts: 1007000 | #Constraints: 26383
1561.38/1565.62 c #Conflicts: 1008000 | #Constraints: 27383
1561.38/1565.62 c #Conflicts: 1009000 | #Constraints: 28383
1561.38/1565.62 c #Conflicts: 1010000 | #Constraints: 29383
1561.38/1565.62 c #Conflicts: 1011000 | #Constraints: 30383
1561.38/1565.62 c #Conflicts: 1012000 | #Constraints: 31383
1561.38/1565.62 c #Conflicts: 1013000 | #Constraints: 32383
1561.38/1565.62 c #Conflicts: 1014000 | #Constraints: 33383
1561.38/1565.62 c #Conflicts: 1015000 | #Constraints: 34383
1561.38/1565.62 c #Conflicts: 1016000 | #Constraints: 35383
1561.38/1565.62 c #Conflicts: 1017000 | #Constraints: 36383
1561.38/1565.62 c #Conflicts: 1018000 | #Constraints: 37383
1561.38/1565.62 c #Conflicts: 1019000 | #Constraints: 38383
1561.38/1565.62 c #Conflicts: 1020000 | #Constraints: 39383
1561.38/1565.62 c #Conflicts: 1021000 | #Constraints: 40383
1561.38/1565.62 c INPROCESSING
1561.38/1565.62 c GARBAGE COLLECT
1561.38/1565.62 c #Conflicts: 1022000 | #Constraints: 21380
1561.38/1565.62 c #Conflicts: 1023000 | #Constraints: 22380
1561.38/1565.62 c #Conflicts: 1024000 | #Constraints: 23380
1561.38/1565.62 c #Conflicts: 1025000 | #Constraints: 24380
1561.38/1565.62 c #Conflicts: 1026000 | #Constraints: 25380
1561.38/1565.62 c #Conflicts: 1027000 | #Constraints: 26380
1561.38/1565.62 c #Conflicts: 1028000 | #Constraints: 27380
1561.38/1565.62 c #Conflicts: 1029000 | #Constraints: 28380
1561.38/1565.62 c #Conflicts: 1030000 | #Constraints: 29380
1561.38/1565.62 c #Conflicts: 1031000 | #Constraints: 30380
1561.38/1565.62 c #Conflicts: 1032000 | #Constraints: 31380
1561.38/1565.62 c #Conflicts: 1033000 | #Constraints: 32380
1561.38/1565.62 c #Conflicts: 1034000 | #Constraints: 33380
1561.38/1565.62 c #Conflicts: 1035000 | #Constraints: 34380
1561.38/1565.62 c #Conflicts: 1036000 | #Constraints: 35380
1561.38/1565.62 c #Conflicts: 1037000 | #Constraints: 36380
1561.38/1565.62 c #Conflicts: 1038000 | #Constraints: 37380
1561.38/1565.62 c #Conflicts: 1039000 | #Constraints: 38380
1561.38/1565.62 c #Conflicts: 1040000 | #Constraints: 39380
1561.38/1565.62 c #Conflicts: 1041000 | #Constraints: 40380
1561.38/1565.62 c INPROCESSING
1561.38/1565.62 c GARBAGE COLLECT
1561.38/1565.62 c #Conflicts: 1042000 | #Constraints: 21181
1561.38/1565.62 c #Conflicts: 1043000 | #Constraints: 22181
1561.38/1565.62 c #Conflicts: 1044000 | #Constraints: 23181
1561.38/1565.62 c #Conflicts: 1045000 | #Constraints: 24181
1561.38/1565.62 c #Conflicts: 1046000 | #Constraints: 25181
1561.38/1565.62 c #Conflicts: 1047000 | #Constraints: 26181
1561.38/1565.62 c #Conflicts: 1048000 | #Constraints: 27181
1561.38/1565.62 c #Conflicts: 1049000 | #Constraints: 28181
1561.38/1565.62 c #Conflicts: 1050000 | #Constraints: 29181
1561.38/1565.62 c #Conflicts: 1051000 | #Constraints: 30181
1561.38/1565.62 c #Conflicts: 1052000 | #Constraints: 31181
1561.38/1565.62 c #Conflicts: 1053000 | #Constraints: 32181
1561.38/1565.62 c #Conflicts: 1054000 | #Constraints: 33181
1561.38/1565.62 c #Conflicts: 1055000 | #Constraints: 34181
1561.38/1565.62 c #Conflicts: 1056000 | #Constraints: 35181
1561.38/1565.62 c #Conflicts: 1057000 | #Constraints: 36181
1561.38/1565.62 c #Conflicts: 1058000 | #Constraints: 37181
1561.38/1565.62 c #Conflicts: 1059000 | #Constraints: 38181
1561.38/1565.62 c #Conflicts: 1060000 | #Constraints: 39181
1561.38/1565.62 c #Conflicts: 1061000 | #Constraints: 40181
1561.38/1565.62 c #Conflicts: 1062000 | #Constraints: 41181
1561.38/1565.62 c INPROCESSING
1561.38/1565.62 c GARBAGE COLLECT
1561.38/1565.62 c #Conflicts: 1063000 | #Constraints: 21785
1561.38/1565.62 c #Conflicts: 1064000 | #Constraints: 22785
1561.38/1565.62 c #Conflicts: 1065000 | #Constraints: 23785
1561.38/1565.62 c #Conflicts: 1066000 | #Constraints: 24785
1561.38/1565.62 c #Conflicts: 1067000 | #Constraints: 25785
1561.38/1565.62 c #Conflicts: 1068000 | #Constraints: 26785
1561.38/1565.62 c #Conflicts: 1069000 | #Constraints: 27785
1561.38/1565.62 c #Conflicts: 1070000 | #Constraints: 28785
1744.61/1749.47 c #Conflicts: 1071000 | #Constraints: 29785
1744.61/1749.47 c #Conflicts: 1072000 | #Constraints: 30785
1744.61/1749.47 c #Conflicts: 1073000 | #Constraints: 31785
1744.61/1749.47 c #Conflicts: 1074000 | #Constraints: 32785
1744.61/1749.47 c #Conflicts: 1075000 | #Constraints: 33785
1744.61/1749.47 c #Conflicts: 1076000 | #Constraints: 34785
1744.61/1749.47 c #Conflicts: 1077000 | #Constraints: 35785
1744.61/1749.47 c #Conflicts: 1078000 | #Constraints: 36785
1744.61/1749.47 c #Conflicts: 1079000 | #Constraints: 37785
1744.61/1749.47 c #Conflicts: 1080000 | #Constraints: 38785
1744.61/1749.47 c #Conflicts: 1081000 | #Constraints: 39785
1744.61/1749.47 c #Conflicts: 1082000 | #Constraints: 40785
1744.61/1749.47 c #Conflicts: 1083000 | #Constraints: 41785
1744.61/1749.47 c INPROCESSING
1744.61/1749.47 c GARBAGE COLLECT
1744.61/1749.47 c #Conflicts: 1084000 | #Constraints: 22179
1744.61/1749.47 c #Conflicts: 1085000 | #Constraints: 23179
1744.61/1749.47 c #Conflicts: 1086000 | #Constraints: 24179
1744.61/1749.47 c #Conflicts: 1087000 | #Constraints: 25179
1744.61/1749.47 c #Conflicts: 1088000 | #Constraints: 26179
1744.61/1749.47 c #Conflicts: 1089000 | #Constraints: 27179
1744.61/1749.47 c #Conflicts: 1090000 | #Constraints: 28179
1744.61/1749.47 c #Conflicts: 1091000 | #Constraints: 29179
1744.61/1749.47 c #Conflicts: 1092000 | #Constraints: 30179
1744.61/1749.47 c #Conflicts: 1093000 | #Constraints: 31179
1744.61/1749.47 c #Conflicts: 1094000 | #Constraints: 32179
1744.61/1749.47 c #Conflicts: 1095000 | #Constraints: 33179
1744.61/1749.47 c #Conflicts: 1096000 | #Constraints: 34179
1744.61/1749.47 c #Conflicts: 1097000 | #Constraints: 35179
1744.61/1749.47 c #Conflicts: 1098000 | #Constraints: 36179
1744.61/1749.47 c #Conflicts: 1099000 | #Constraints: 37179
1744.61/1749.47 c #Conflicts: 1100000 | #Constraints: 38179
1744.61/1749.47 c #Conflicts: 1101000 | #Constraints: 39179
1744.61/1749.47 c #Conflicts: 1102000 | #Constraints: 40179
1744.61/1749.47 c #Conflicts: 1103000 | #Constraints: 41179
1744.61/1749.47 c #Conflicts: 1104000 | #Constraints: 42179
1744.61/1749.47 c INPROCESSING
1744.61/1749.47 c GARBAGE COLLECT
1744.61/1749.47 c #Conflicts: 1105000 | #Constraints: 22378
1744.61/1749.47 c #Conflicts: 1106000 | #Constraints: 23378
1744.61/1749.47 c #Conflicts: 1107000 | #Constraints: 24378
1744.61/1749.47 c #Conflicts: 1108000 | #Constraints: 25378
1744.61/1749.47 c #Conflicts: 1109000 | #Constraints: 26378
1744.61/1749.47 c #Conflicts: 1110000 | #Constraints: 27378
1744.61/1749.47 c #Conflicts: 1111000 | #Constraints: 28378
1744.61/1749.47 c #Conflicts: 1112000 | #Constraints: 29378
1744.61/1749.47 c #Conflicts: 1113000 | #Constraints: 30378
1744.61/1749.47 c #Conflicts: 1114000 | #Constraints: 31378
1744.61/1749.47 c #Conflicts: 1115000 | #Constraints: 32378
1744.61/1749.47 c #Conflicts: 1116000 | #Constraints: 33378
1744.61/1749.47 c #Conflicts: 1117000 | #Constraints: 34378
1744.61/1749.47 c #Conflicts: 1118000 | #Constraints: 35378
1744.61/1749.47 c #Conflicts: 1119000 | #Constraints: 36378
1744.61/1749.47 c #Conflicts: 1120000 | #Constraints: 37378
1744.61/1749.47 c #Conflicts: 1121000 | #Constraints: 38378
1744.61/1749.47 c #Conflicts: 1122000 | #Constraints: 39378
1744.61/1749.47 c #Conflicts: 1123000 | #Constraints: 40378
1744.61/1749.47 c #Conflicts: 1124000 | #Constraints: 41378
1744.61/1749.47 c #Conflicts: 1125000 | #Constraints: 42378
1744.61/1749.47 c INPROCESSING
1744.61/1749.47 c GARBAGE COLLECT
1744.61/1749.47 c #Conflicts: 1126000 | #Constraints: 22383
1744.61/1749.47 c #Conflicts: 1127000 | #Constraints: 23383
1744.61/1749.47 c #Conflicts: 1128000 | #Constraints: 24383
1744.61/1749.47 c #Conflicts: 1129000 | #Constraints: 25383
1744.61/1749.47 c #Conflicts: 1130000 | #Constraints: 26383
1744.61/1749.47 c #Conflicts: 1131000 | #Constraints: 27383
1744.61/1749.47 c #Conflicts: 1132000 | #Constraints: 28383
1744.61/1749.47 c #Conflicts: 1133000 | #Constraints: 29383
1744.61/1749.47 c #Conflicts: 1134000 | #Constraints: 30383
1744.61/1749.47 c #Conflicts: 1135000 | #Constraints: 31383
1744.61/1749.47 c #Conflicts: 1136000 | #Constraints: 32383
1744.61/1749.47 c #Conflicts: 1137000 | #Constraints: 33383
1744.61/1749.47 c #Conflicts: 1138000 | #Constraints: 34383
1744.61/1749.47 c #Conflicts: 1139000 | #Constraints: 35383
1744.61/1749.47 c #Conflicts: 1140000 | #Constraints: 36383
1744.61/1749.47 c #Conflicts: 1141000 | #Constraints: 37383
1744.61/1749.47 c #Conflicts: 1142000 | #Constraints: 38383
1744.61/1749.47 c #Conflicts: 1143000 | #Constraints: 39383
1744.61/1749.47 c #Conflicts: 1144000 | #Constraints: 40383
1744.61/1749.47 c #Conflicts: 1145000 | #Constraints: 41383
1744.61/1749.47 c #Conflicts: 1146000 | #Constraints: 42383
1744.61/1749.47 c INPROCESSING
1946.58/1952.07 c GARBAGE COLLECT
1946.58/1952.07 c #Conflicts: 1147000 | #Constraints: 22175
1946.58/1952.07 c #Conflicts: 1148000 | #Constraints: 23175
1946.58/1952.07 c #Conflicts: 1149000 | #Constraints: 24175
1946.58/1952.07 c #Conflicts: 1150000 | #Constraints: 25175
1946.58/1952.07 c #Conflicts: 1151000 | #Constraints: 26175
1946.58/1952.07 c #Conflicts: 1152000 | #Constraints: 27175
1946.58/1952.07 c #Conflicts: 1153000 | #Constraints: 28175
1946.58/1952.07 c #Conflicts: 1154000 | #Constraints: 29175
1946.58/1952.07 c #Conflicts: 1155000 | #Constraints: 30175
1946.58/1952.07 c #Conflicts: 1156000 | #Constraints: 31175
1946.58/1952.07 c #Conflicts: 1157000 | #Constraints: 32175
1946.58/1952.07 c #Conflicts: 1158000 | #Constraints: 33175
1946.58/1952.07 c #Conflicts: 1159000 | #Constraints: 34175
1946.58/1952.07 c #Conflicts: 1160000 | #Constraints: 35175
1946.58/1952.07 c #Conflicts: 1161000 | #Constraints: 36175
1946.58/1952.07 c #Conflicts: 1162000 | #Constraints: 37175
1946.58/1952.07 c #Conflicts: 1163000 | #Constraints: 38175
1946.58/1952.07 c #Conflicts: 1164000 | #Constraints: 39175
1946.58/1952.07 c #Conflicts: 1165000 | #Constraints: 40175
1946.58/1952.07 c #Conflicts: 1166000 | #Constraints: 41175
1946.58/1952.07 c #Conflicts: 1167000 | #Constraints: 42175
1946.58/1952.07 c #Conflicts: 1168000 | #Constraints: 43175
1946.58/1952.07 c INPROCESSING
1946.58/1952.07 c GARBAGE COLLECT
1946.58/1952.07 c #Conflicts: 1169000 | #Constraints: 22778
1946.58/1952.07 c #Conflicts: 1170000 | #Constraints: 23778
1946.58/1952.07 c #Conflicts: 1171000 | #Constraints: 24778
1946.58/1952.07 c #Conflicts: 1172000 | #Constraints: 25778
1946.58/1952.07 c #Conflicts: 1173000 | #Constraints: 26778
1946.58/1952.07 c #Conflicts: 1174000 | #Constraints: 27778
1946.58/1952.07 c #Conflicts: 1175000 | #Constraints: 28778
1946.58/1952.07 c #Conflicts: 1176000 | #Constraints: 29778
1946.58/1952.07 c #Conflicts: 1177000 | #Constraints: 30778
1946.58/1952.07 c #Conflicts: 1178000 | #Constraints: 31778
1946.58/1952.07 c #Conflicts: 1179000 | #Constraints: 32778
1946.58/1952.07 c #Conflicts: 1180000 | #Constraints: 33778
1946.58/1952.07 c #Conflicts: 1181000 | #Constraints: 34778
1946.58/1952.07 c #Conflicts: 1182000 | #Constraints: 35778
1946.58/1952.07 c #Conflicts: 1183000 | #Constraints: 36778
1946.58/1952.07 c #Conflicts: 1184000 | #Constraints: 37778
1946.58/1952.07 c #Conflicts: 1185000 | #Constraints: 38778
1946.58/1952.07 c #Conflicts: 1186000 | #Constraints: 39778
1946.58/1952.07 c #Conflicts: 1187000 | #Constraints: 40778
1946.58/1952.07 c #Conflicts: 1188000 | #Constraints: 41778
1946.58/1952.07 c #Conflicts: 1189000 | #Constraints: 42778
1946.58/1952.07 c #Conflicts: 1190000 | #Constraints: 43778
1946.58/1952.07 c INPROCESSING
1946.58/1952.07 c GARBAGE COLLECT
1946.58/1952.07 c #Conflicts: 1191000 | #Constraints: 23177
1946.58/1952.07 c #Conflicts: 1192000 | #Constraints: 24177
1946.58/1952.07 c #Conflicts: 1193000 | #Constraints: 25177
1946.58/1952.07 c #Conflicts: 1194000 | #Constraints: 26177
1946.58/1952.07 c #Conflicts: 1195000 | #Constraints: 27177
1946.58/1952.07 c #Conflicts: 1196000 | #Constraints: 28177
1946.58/1952.07 c #Conflicts: 1197000 | #Constraints: 29177
1946.58/1952.07 c #Conflicts: 1198000 | #Constraints: 30177
1946.58/1952.07 c #Conflicts: 1199000 | #Constraints: 31177
1946.58/1952.07 c #Conflicts: 1200000 | #Constraints: 32177
1946.58/1952.07 c #Conflicts: 1201000 | #Constraints: 33177
1946.58/1952.07 c #Conflicts: 1202000 | #Constraints: 34177
1946.58/1952.07 c #Conflicts: 1203000 | #Constraints: 35177
1946.58/1952.07 c #Conflicts: 1204000 | #Constraints: 36177
1946.58/1952.07 c #Conflicts: 1205000 | #Constraints: 37177
1946.58/1952.07 c #Conflicts: 1206000 | #Constraints: 38177
1946.58/1952.07 c #Conflicts: 1207000 | #Constraints: 39177
1946.58/1952.07 c #Conflicts: 1208000 | #Constraints: 40177
1946.58/1952.07 c #Conflicts: 1209000 | #Constraints: 41177
1946.58/1952.07 c #Conflicts: 1210000 | #Constraints: 42177
1946.58/1952.07 c #Conflicts: 1211000 | #Constraints: 43177
1946.58/1952.07 c #Conflicts: 1212000 | #Constraints: 44177
1946.58/1952.07 c INPROCESSING
1946.58/1952.07 c GARBAGE COLLECT
1946.58/1952.07 c #Conflicts: 1213000 | #Constraints: 23376
1946.58/1952.07 c #Conflicts: 1214000 | #Constraints: 24376
1946.58/1952.07 c #Conflicts: 1215000 | #Constraints: 25376
1946.58/1952.07 c #Conflicts: 1216000 | #Constraints: 26376
1946.58/1952.07 c #Conflicts: 1217000 | #Constraints: 27376
1946.58/1952.07 c #Conflicts: 1218000 | #Constraints: 28376
1946.58/1952.07 c #Conflicts: 1219000 | #Constraints: 29376
1946.58/1952.07 c #Conflicts: 1220000 | #Constraints: 30376
1946.58/1952.07 c #Conflicts: 1221000 | #Constraints: 31376
1946.58/1952.07 c #Conflicts: 1222000 | #Constraints: 32376
1946.58/1952.07 c #Conflicts: 1223000 | #Constraints: 33376
2173.17/2179.33 c #Conflicts: 1224000 | #Constraints: 34376
2173.17/2179.33 c #Conflicts: 1225000 | #Constraints: 35376
2173.17/2179.33 c #Conflicts: 1226000 | #Constraints: 36376
2173.17/2179.33 c #Conflicts: 1227000 | #Constraints: 37376
2173.17/2179.33 c #Conflicts: 1228000 | #Constraints: 38376
2173.17/2179.33 c #Conflicts: 1229000 | #Constraints: 39376
2173.17/2179.33 c #Conflicts: 1230000 | #Constraints: 40376
2173.17/2179.33 c #Conflicts: 1231000 | #Constraints: 41376
2173.17/2179.33 c #Conflicts: 1232000 | #Constraints: 42376
2173.17/2179.33 c #Conflicts: 1233000 | #Constraints: 43376
2173.17/2179.33 c #Conflicts: 1234000 | #Constraints: 44376
2173.17/2179.33 c INPROCESSING
2173.17/2179.33 c GARBAGE COLLECT
2173.17/2179.33 c #Conflicts: 1235000 | #Constraints: 23378
2173.17/2179.33 c #Conflicts: 1236000 | #Constraints: 24378
2173.17/2179.33 c #Conflicts: 1237000 | #Constraints: 25378
2173.17/2179.33 c #Conflicts: 1238000 | #Constraints: 26378
2173.17/2179.33 c #Conflicts: 1239000 | #Constraints: 27378
2173.17/2179.33 c #Conflicts: 1240000 | #Constraints: 28378
2173.17/2179.33 c #Conflicts: 1241000 | #Constraints: 29378
2173.17/2179.33 c #Conflicts: 1242000 | #Constraints: 30378
2173.17/2179.33 c #Conflicts: 1243000 | #Constraints: 31378
2173.17/2179.33 c #Conflicts: 1244000 | #Constraints: 32378
2173.17/2179.33 c #Conflicts: 1245000 | #Constraints: 33378
2173.17/2179.33 c #Conflicts: 1246000 | #Constraints: 34378
2173.17/2179.33 c #Conflicts: 1247000 | #Constraints: 35378
2173.17/2179.33 c #Conflicts: 1248000 | #Constraints: 36378
2173.17/2179.33 c #Conflicts: 1249000 | #Constraints: 37378
2173.17/2179.33 c #Conflicts: 1250000 | #Constraints: 38378
2173.17/2179.33 c #Conflicts: 1251000 | #Constraints: 39378
2173.17/2179.33 c #Conflicts: 1252000 | #Constraints: 40378
2173.17/2179.33 c #Conflicts: 1253000 | #Constraints: 41378
2173.17/2179.33 c #Conflicts: 1254000 | #Constraints: 42378
2173.17/2179.33 c #Conflicts: 1255000 | #Constraints: 43378
2173.17/2179.33 c #Conflicts: 1256000 | #Constraints: 44378
2173.17/2179.33 c INPROCESSING
2173.17/2179.33 c GARBAGE COLLECT
2173.17/2179.33 c #Conflicts: 1257000 | #Constraints: 23179
2173.17/2179.33 c #Conflicts: 1258000 | #Constraints: 24179
2173.17/2179.33 c #Conflicts: 1259000 | #Constraints: 25179
2173.17/2179.33 c #Conflicts: 1260000 | #Constraints: 26179
2173.17/2179.33 c #Conflicts: 1261000 | #Constraints: 27179
2173.17/2179.33 c #Conflicts: 1262000 | #Constraints: 28179
2173.17/2179.33 c #Conflicts: 1263000 | #Constraints: 29179
2173.17/2179.33 c #Conflicts: 1264000 | #Constraints: 30179
2173.17/2179.33 c #Conflicts: 1265000 | #Constraints: 31179
2173.17/2179.33 c #Conflicts: 1266000 | #Constraints: 32179
2173.17/2179.33 c #Conflicts: 1267000 | #Constraints: 33179
2173.17/2179.33 c #Conflicts: 1268000 | #Constraints: 34179
2173.17/2179.33 c #Conflicts: 1269000 | #Constraints: 35179
2173.17/2179.33 c #Conflicts: 1270000 | #Constraints: 36179
2173.17/2179.33 c #Conflicts: 1271000 | #Constraints: 37179
2173.17/2179.33 c #Conflicts: 1272000 | #Constraints: 38179
2173.17/2179.33 c #Conflicts: 1273000 | #Constraints: 39179
2173.17/2179.33 c #Conflicts: 1274000 | #Constraints: 40179
2173.17/2179.33 c #Conflicts: 1275000 | #Constraints: 41179
2173.17/2179.33 c #Conflicts: 1276000 | #Constraints: 42179
2173.17/2179.33 c #Conflicts: 1277000 | #Constraints: 43179
2173.17/2179.33 c #Conflicts: 1278000 | #Constraints: 44179
2173.17/2179.33 c #Conflicts: 1279000 | #Constraints: 45179
2173.17/2179.33 c INPROCESSING
2173.17/2179.33 c GARBAGE COLLECT
2173.17/2179.33 c #Conflicts: 1280000 | #Constraints: 23786
2173.17/2179.33 c #Conflicts: 1281000 | #Constraints: 24786
2173.17/2179.33 c #Conflicts: 1282000 | #Constraints: 25786
2173.17/2179.33 c #Conflicts: 1283000 | #Constraints: 26786
2173.17/2179.33 c #Conflicts: 1284000 | #Constraints: 27786
2173.17/2179.33 c #Conflicts: 1285000 | #Constraints: 28786
2173.17/2179.33 c #Conflicts: 1286000 | #Constraints: 29786
2173.17/2179.33 c #Conflicts: 1287000 | #Constraints: 30786
2173.17/2179.33 c #Conflicts: 1288000 | #Constraints: 31786
2173.17/2179.33 c #Conflicts: 1289000 | #Constraints: 32786
2173.17/2179.33 c #Conflicts: 1290000 | #Constraints: 33786
2173.17/2179.33 c #Conflicts: 1291000 | #Constraints: 34786
2173.17/2179.33 c #Conflicts: 1292000 | #Constraints: 35786
2173.17/2179.33 c #Conflicts: 1293000 | #Constraints: 36786
2173.17/2179.33 c #Conflicts: 1294000 | #Constraints: 37786
2173.17/2179.33 c #Conflicts: 1295000 | #Constraints: 38786
2173.17/2179.33 c #Conflicts: 1296000 | #Constraints: 39786
2173.17/2179.33 c #Conflicts: 1297000 | #Constraints: 40786
2173.17/2179.33 c #Conflicts: 1298000 | #Constraints: 41786
2173.17/2179.33 c #Conflicts: 1299000 | #Constraints: 42786
2173.17/2179.33 c #Conflicts: 1300000 | #Constraints: 43786
2432.98/2440.06 c #Conflicts: 1301000 | #Constraints: 44786
2432.98/2440.06 c #Conflicts: 1302000 | #Constraints: 45786
2432.98/2440.06 c INPROCESSING
2432.98/2440.06 c GARBAGE COLLECT
2432.98/2440.06 c #Conflicts: 1303000 | #Constraints: 24178
2432.98/2440.06 c #Conflicts: 1304000 | #Constraints: 25178
2432.98/2440.06 c #Conflicts: 1305000 | #Constraints: 26178
2432.98/2440.06 c #Conflicts: 1306000 | #Constraints: 27178
2432.98/2440.06 c #Conflicts: 1307000 | #Constraints: 28178
2432.98/2440.06 c #Conflicts: 1308000 | #Constraints: 29178
2432.98/2440.06 c #Conflicts: 1309000 | #Constraints: 30178
2432.98/2440.06 c #Conflicts: 1310000 | #Constraints: 31178
2432.98/2440.06 c #Conflicts: 1311000 | #Constraints: 32178
2432.98/2440.06 c #Conflicts: 1312000 | #Constraints: 33178
2432.98/2440.06 c #Conflicts: 1313000 | #Constraints: 34178
2432.98/2440.06 c #Conflicts: 1314000 | #Constraints: 35178
2432.98/2440.06 c #Conflicts: 1315000 | #Constraints: 36178
2432.98/2440.06 c #Conflicts: 1316000 | #Constraints: 37178
2432.98/2440.06 c #Conflicts: 1317000 | #Constraints: 38178
2432.98/2440.06 c #Conflicts: 1318000 | #Constraints: 39178
2432.98/2440.06 c #Conflicts: 1319000 | #Constraints: 40178
2432.98/2440.06 c #Conflicts: 1320000 | #Constraints: 41178
2432.98/2440.06 c #Conflicts: 1321000 | #Constraints: 42178
2432.98/2440.06 c #Conflicts: 1322000 | #Constraints: 43178
2432.98/2440.06 c #Conflicts: 1323000 | #Constraints: 44178
2432.98/2440.06 c #Conflicts: 1324000 | #Constraints: 45178
2432.98/2440.06 c #Conflicts: 1325000 | #Constraints: 46178
2432.98/2440.06 c INPROCESSING
2432.98/2440.06 c GARBAGE COLLECT
2432.98/2440.06 c #Conflicts: 1326000 | #Constraints: 24376
2432.98/2440.06 c #Conflicts: 1327000 | #Constraints: 25376
2432.98/2440.06 c #Conflicts: 1328000 | #Constraints: 26376
2432.98/2440.06 c #Conflicts: 1329000 | #Constraints: 27376
2432.98/2440.06 c #Conflicts: 1330000 | #Constraints: 28376
2432.98/2440.06 c #Conflicts: 1331000 | #Constraints: 29376
2432.98/2440.06 c #Conflicts: 1332000 | #Constraints: 30376
2432.98/2440.06 c #Conflicts: 1333000 | #Constraints: 31376
2432.98/2440.06 c #Conflicts: 1334000 | #Constraints: 32376
2432.98/2440.06 c #Conflicts: 1335000 | #Constraints: 33376
2432.98/2440.06 c #Conflicts: 1336000 | #Constraints: 34376
2432.98/2440.06 c #Conflicts: 1337000 | #Constraints: 35376
2432.98/2440.06 c #Conflicts: 1338000 | #Constraints: 36376
2432.98/2440.06 c #Conflicts: 1339000 | #Constraints: 37376
2432.98/2440.06 c #Conflicts: 1340000 | #Constraints: 38376
2432.98/2440.06 c #Conflicts: 1341000 | #Constraints: 39376
2432.98/2440.06 c #Conflicts: 1342000 | #Constraints: 40376
2432.98/2440.06 c #Conflicts: 1343000 | #Constraints: 41376
2432.98/2440.06 c #Conflicts: 1344000 | #Constraints: 42376
2432.98/2440.06 c #Conflicts: 1345000 | #Constraints: 43376
2432.98/2440.06 c #Conflicts: 1346000 | #Constraints: 44376
2432.98/2440.06 c #Conflicts: 1347000 | #Constraints: 45376
2432.98/2440.06 c #Conflicts: 1348000 | #Constraints: 46376
2432.98/2440.06 c INPROCESSING
2432.98/2440.06 c GARBAGE COLLECT
2432.98/2440.06 c #Conflicts: 1349000 | #Constraints: 24374
2432.98/2440.06 c #Conflicts: 1350000 | #Constraints: 25374
2432.98/2440.06 c #Conflicts: 1351000 | #Constraints: 26374
2432.98/2440.06 c #Conflicts: 1352000 | #Constraints: 27374
2432.98/2440.06 c #Conflicts: 1353000 | #Constraints: 28374
2432.98/2440.06 c #Conflicts: 1354000 | #Constraints: 29374
2432.98/2440.06 c #Conflicts: 1355000 | #Constraints: 30374
2432.98/2440.06 c #Conflicts: 1356000 | #Constraints: 31374
2432.98/2440.06 c #Conflicts: 1357000 | #Constraints: 32374
2432.98/2440.06 c #Conflicts: 1358000 | #Constraints: 33374
2432.98/2440.06 c #Conflicts: 1359000 | #Constraints: 34374
2432.98/2440.06 c #Conflicts: 1360000 | #Constraints: 35374
2432.98/2440.06 c #Conflicts: 1361000 | #Constraints: 36374
2432.98/2440.06 c #Conflicts: 1362000 | #Constraints: 37374
2432.98/2440.06 c #Conflicts: 1363000 | #Constraints: 38374
2432.98/2440.06 c #Conflicts: 1364000 | #Constraints: 39374
2432.98/2440.06 c #Conflicts: 1365000 | #Constraints: 40374
2432.98/2440.06 c #Conflicts: 1366000 | #Constraints: 41374
2432.98/2440.06 c #Conflicts: 1367000 | #Constraints: 42374
2432.98/2440.06 c #Conflicts: 1368000 | #Constraints: 43374
2432.98/2440.06 c #Conflicts: 1369000 | #Constraints: 44374
2432.98/2440.06 c #Conflicts: 1370000 | #Constraints: 45374
2432.98/2440.06 c #Conflicts: 1371000 | #Constraints: 46374
2432.98/2440.06 c INPROCESSING
2432.98/2440.06 c GARBAGE COLLECT
2432.98/2440.06 c #Conflicts: 1372000 | #Constraints: 24175
2432.98/2440.06 c #Conflicts: 1373000 | #Constraints: 25175
2432.98/2440.06 c #Conflicts: 1374000 | #Constraints: 26175
2432.98/2440.06 c #Conflicts: 1375000 | #Constraints: 27175
2432.98/2440.06 c #Conflicts: 1376000 | #Constraints: 28175
2713.50/2721.51 c #Conflicts: 1377000 | #Constraints: 29175
2713.50/2721.51 c #Conflicts: 1378000 | #Constraints: 30175
2713.50/2721.51 c #Conflicts: 1379000 | #Constraints: 31175
2713.50/2721.51 c #Conflicts: 1380000 | #Constraints: 32175
2713.50/2721.51 c #Conflicts: 1381000 | #Constraints: 33175
2713.50/2721.51 c #Conflicts: 1382000 | #Constraints: 34175
2713.50/2721.51 c #Conflicts: 1383000 | #Constraints: 35175
2713.50/2721.51 c #Conflicts: 1384000 | #Constraints: 36175
2713.50/2721.51 c #Conflicts: 1385000 | #Constraints: 37175
2713.50/2721.51 c #Conflicts: 1386000 | #Constraints: 38175
2713.50/2721.51 c #Conflicts: 1387000 | #Constraints: 39175
2713.50/2721.51 c #Conflicts: 1388000 | #Constraints: 40175
2713.50/2721.51 c #Conflicts: 1389000 | #Constraints: 41175
2713.50/2721.51 c #Conflicts: 1390000 | #Constraints: 42175
2713.50/2721.51 c #Conflicts: 1391000 | #Constraints: 43175
2713.50/2721.51 c #Conflicts: 1392000 | #Constraints: 44175
2713.50/2721.51 c #Conflicts: 1393000 | #Constraints: 45175
2713.50/2721.51 c #Conflicts: 1394000 | #Constraints: 46175
2713.50/2721.51 c #Conflicts: 1395000 | #Constraints: 47175
2713.50/2721.51 c INPROCESSING
2713.50/2721.51 c GARBAGE COLLECT
2713.50/2721.51 c #Conflicts: 1396000 | #Constraints: 24785
2713.50/2721.51 c #Conflicts: 1397000 | #Constraints: 25785
2713.50/2721.51 c #Conflicts: 1398000 | #Constraints: 26785
2713.50/2721.51 c #Conflicts: 1399000 | #Constraints: 27785
2713.50/2721.51 c #Conflicts: 1400000 | #Constraints: 28785
2713.50/2721.51 c #Conflicts: 1401000 | #Constraints: 29785
2713.50/2721.51 c #Conflicts: 1402000 | #Constraints: 30785
2713.50/2721.51 c #Conflicts: 1403000 | #Constraints: 31785
2713.50/2721.51 c #Conflicts: 1404000 | #Constraints: 32785
2713.50/2721.51 c #Conflicts: 1405000 | #Constraints: 33785
2713.50/2721.51 c #Conflicts: 1406000 | #Constraints: 34785
2713.50/2721.51 c #Conflicts: 1407000 | #Constraints: 35785
2713.50/2721.51 c #Conflicts: 1408000 | #Constraints: 36785
2713.50/2721.51 c #Conflicts: 1409000 | #Constraints: 37785
2713.50/2721.51 c #Conflicts: 1410000 | #Constraints: 38785
2713.50/2721.51 c #Conflicts: 1411000 | #Constraints: 39785
2713.50/2721.51 c #Conflicts: 1412000 | #Constraints: 40785
2713.50/2721.51 c #Conflicts: 1413000 | #Constraints: 41785
2713.50/2721.51 c #Conflicts: 1414000 | #Constraints: 42785
2713.50/2721.51 c #Conflicts: 1415000 | #Constraints: 43785
2713.50/2721.51 c #Conflicts: 1416000 | #Constraints: 44785
2713.50/2721.51 c #Conflicts: 1417000 | #Constraints: 45785
2713.50/2721.51 c #Conflicts: 1418000 | #Constraints: 46785
2713.50/2721.51 c #Conflicts: 1419000 | #Constraints: 47785
2713.50/2721.51 c INPROCESSING
2713.50/2721.51 c GARBAGE COLLECT
2713.50/2721.51 c #Conflicts: 1420000 | #Constraints: 25184
2713.50/2721.51 c #Conflicts: 1421000 | #Constraints: 26184
2713.50/2721.51 c #Conflicts: 1422000 | #Constraints: 27184
2713.50/2721.51 c #Conflicts: 1423000 | #Constraints: 28184
2713.50/2721.51 c #Conflicts: 1424000 | #Constraints: 29184
2713.50/2721.51 c #Conflicts: 1425000 | #Constraints: 30184
2713.50/2721.51 c #Conflicts: 1426000 | #Constraints: 31184
2713.50/2721.51 c #Conflicts: 1427000 | #Constraints: 32184
2713.50/2721.51 c #Conflicts: 1428000 | #Constraints: 33184
2713.50/2721.51 c #Conflicts: 1429000 | #Constraints: 34184
2713.50/2721.51 c #Conflicts: 1430000 | #Constraints: 35184
2713.50/2721.51 c #Conflicts: 1431000 | #Constraints: 36184
2713.50/2721.51 c #Conflicts: 1432000 | #Constraints: 37184
2713.50/2721.51 c #Conflicts: 1433000 | #Constraints: 38184
2713.50/2721.51 c #Conflicts: 1434000 | #Constraints: 39184
2713.50/2721.51 c #Conflicts: 1435000 | #Constraints: 40184
2713.50/2721.51 c #Conflicts: 1436000 | #Constraints: 41184
2713.50/2721.51 c #Conflicts: 1437000 | #Constraints: 42184
2713.50/2721.51 c #Conflicts: 1438000 | #Constraints: 43184
2713.50/2721.51 c #Conflicts: 1439000 | #Constraints: 44184
2713.50/2721.51 c #Conflicts: 1440000 | #Constraints: 45184
2713.50/2721.51 c #Conflicts: 1441000 | #Constraints: 46184
2713.50/2721.51 c #Conflicts: 1442000 | #Constraints: 47184
2713.50/2721.51 c #Conflicts: 1443000 | #Constraints: 48184
2713.50/2721.51 c INPROCESSING
2713.50/2721.51 c GARBAGE COLLECT
2713.50/2721.51 c #Conflicts: 1444000 | #Constraints: 25379
2713.50/2721.51 c #Conflicts: 1445000 | #Constraints: 26379
2713.50/2721.51 c #Conflicts: 1446000 | #Constraints: 27379
2713.50/2721.51 c #Conflicts: 1447000 | #Constraints: 28379
2713.50/2721.51 c #Conflicts: 1448000 | #Constraints: 29379
2713.50/2721.51 c #Conflicts: 1449000 | #Constraints: 30379
2713.50/2721.51 c #Conflicts: 1450000 | #Constraints: 31379
2713.50/2721.51 c #Conflicts: 1451000 | #Constraints: 32379
2713.50/2721.51 c #Conflicts: 1452000 | #Constraints: 33379
2713.50/2721.51 c #Conflicts: 1453000 | #Constraints: 34379
2964.34/2973.02 c #Conflicts: 1454000 | #Constraints: 35379
2964.34/2973.02 c #Conflicts: 1455000 | #Constraints: 36379
2964.34/2973.02 c #Conflicts: 1456000 | #Constraints: 37379
2964.34/2973.02 c #Conflicts: 1457000 | #Constraints: 38379
2964.34/2973.02 c #Conflicts: 1458000 | #Constraints: 39379
2964.34/2973.02 c #Conflicts: 1459000 | #Constraints: 40379
2964.34/2973.02 c #Conflicts: 1460000 | #Constraints: 41379
2964.34/2973.02 c #Conflicts: 1461000 | #Constraints: 42379
2964.34/2973.02 c #Conflicts: 1462000 | #Constraints: 43379
2964.34/2973.02 c #Conflicts: 1463000 | #Constraints: 44379
2964.34/2973.02 c #Conflicts: 1464000 | #Constraints: 45379
2964.34/2973.02 c #Conflicts: 1465000 | #Constraints: 46379
2964.34/2973.02 c #Conflicts: 1466000 | #Constraints: 47379
2964.34/2973.02 c #Conflicts: 1467000 | #Constraints: 48379
2964.34/2973.02 c INPROCESSING
2964.34/2973.02 c GARBAGE COLLECT
2964.34/2973.02 c #Conflicts: 1468000 | #Constraints: 25383
2964.34/2973.02 c #Conflicts: 1469000 | #Constraints: 26383
2964.34/2973.02 c #Conflicts: 1470000 | #Constraints: 27383
2964.34/2973.02 c #Conflicts: 1471000 | #Constraints: 28383
2964.34/2973.02 c #Conflicts: 1472000 | #Constraints: 29383
2964.34/2973.02 c #Conflicts: 1473000 | #Constraints: 30383
2964.34/2973.02 c #Conflicts: 1474000 | #Constraints: 31383
2964.34/2973.02 c #Conflicts: 1475000 | #Constraints: 32383
2964.34/2973.02 c #Conflicts: 1476000 | #Constraints: 33383
2964.34/2973.02 c #Conflicts: 1477000 | #Constraints: 34383
2964.34/2973.02 c #Conflicts: 1478000 | #Constraints: 35383
2964.34/2973.02 c #Conflicts: 1479000 | #Constraints: 36383
2964.34/2973.02 c #Conflicts: 1480000 | #Constraints: 37383
2964.34/2973.02 c #Conflicts: 1481000 | #Constraints: 38383
2964.34/2973.02 c #Conflicts: 1482000 | #Constraints: 39383
2964.34/2973.02 c #Conflicts: 1483000 | #Constraints: 40383
2964.34/2973.02 c #Conflicts: 1484000 | #Constraints: 41383
2964.34/2973.02 c #Conflicts: 1485000 | #Constraints: 42383
2964.34/2973.02 c #Conflicts: 1486000 | #Constraints: 43383
2964.34/2973.02 c #Conflicts: 1487000 | #Constraints: 44383
2964.34/2973.02 c #Conflicts: 1488000 | #Constraints: 45383
2964.34/2973.02 c #Conflicts: 1489000 | #Constraints: 46383
2964.34/2973.02 c #Conflicts: 1490000 | #Constraints: 47383
2964.34/2973.02 c #Conflicts: 1491000 | #Constraints: 48383
2964.34/2973.02 c INPROCESSING
2964.34/2973.02 c GARBAGE COLLECT
2964.34/2973.02 c #Conflicts: 1492000 | #Constraints: 25186
2964.34/2973.02 c #Conflicts: 1493000 | #Constraints: 26186
2964.34/2973.02 c #Conflicts: 1494000 | #Constraints: 27186
2964.34/2973.02 c #Conflicts: 1495000 | #Constraints: 28186
2964.34/2973.02 c #Conflicts: 1496000 | #Constraints: 29186
2964.34/2973.02 c #Conflicts: 1497000 | #Constraints: 30186
2964.34/2973.02 c #Conflicts: 1498000 | #Constraints: 31186
2964.34/2973.02 c #Conflicts: 1499000 | #Constraints: 32186
2964.34/2973.02 c #Conflicts: 1500000 | #Constraints: 33186
2964.34/2973.02 c #Conflicts: 1501000 | #Constraints: 34186
2964.34/2973.02 c #Conflicts: 1502000 | #Constraints: 35186
2964.34/2973.02 c #Conflicts: 1503000 | #Constraints: 36186
2964.34/2973.02 c #Conflicts: 1504000 | #Constraints: 37186
2964.34/2973.02 c #Conflicts: 1505000 | #Constraints: 38186
2964.34/2973.02 c #Conflicts: 1506000 | #Constraints: 39186
2964.34/2973.02 c #Conflicts: 1507000 | #Constraints: 40186
2964.34/2973.02 c #Conflicts: 1508000 | #Constraints: 41186
2964.34/2973.02 c #Conflicts: 1509000 | #Constraints: 42186
2964.34/2973.02 c #Conflicts: 1510000 | #Constraints: 43186
2964.34/2973.02 c #Conflicts: 1511000 | #Constraints: 44186
2964.34/2973.02 c #Conflicts: 1512000 | #Constraints: 45186
2964.34/2973.02 c #Conflicts: 1513000 | #Constraints: 46186
2964.34/2973.02 c #Conflicts: 1514000 | #Constraints: 47186
2964.34/2973.02 c #Conflicts: 1515000 | #Constraints: 48186
2964.34/2973.02 c #Conflicts: 1516000 | #Constraints: 49186
2964.34/2973.02 c INPROCESSING
2964.34/2973.02 c GARBAGE COLLECT
2964.34/2973.02 c #Conflicts: 1517000 | #Constraints: 25779
2964.34/2973.02 c #Conflicts: 1518000 | #Constraints: 26779
2964.34/2973.02 c #Conflicts: 1519000 | #Constraints: 27779
2964.34/2973.02 c #Conflicts: 1520000 | #Constraints: 28779
2964.34/2973.02 c #Conflicts: 1521000 | #Constraints: 29779
2964.34/2973.02 c #Conflicts: 1522000 | #Constraints: 30779
2964.34/2973.02 c #Conflicts: 1523000 | #Constraints: 31779
2964.34/2973.02 c #Conflicts: 1524000 | #Constraints: 32779
2964.34/2973.02 c #Conflicts: 1525000 | #Constraints: 33779
2964.34/2973.02 c #Conflicts: 1526000 | #Constraints: 34779
2964.34/2973.02 c #Conflicts: 1527000 | #Constraints: 35779
2964.34/2973.02 c #Conflicts: 1528000 | #Constraints: 36779
2964.34/2973.02 c #Conflicts: 1529000 | #Constraints: 37779
2964.34/2973.02 c #Conflicts: 1530000 | #Constraints: 38779
3196.51/3205.88 c #Conflicts: 1531000 | #Constraints: 39779
3196.51/3205.88 c #Conflicts: 1532000 | #Constraints: 40779
3196.51/3205.88 c #Conflicts: 1533000 | #Constraints: 41779
3196.51/3205.88 c #Conflicts: 1534000 | #Constraints: 42779
3196.51/3205.88 c #Conflicts: 1535000 | #Constraints: 43779
3196.51/3205.88 c #Conflicts: 1536000 | #Constraints: 44779
3196.51/3205.88 c #Conflicts: 1537000 | #Constraints: 45779
3196.51/3205.88 c #Conflicts: 1538000 | #Constraints: 46779
3196.51/3205.88 c #Conflicts: 1539000 | #Constraints: 47779
3196.51/3205.88 c #Conflicts: 1540000 | #Constraints: 48779
3196.51/3205.88 c #Conflicts: 1541000 | #Constraints: 49779
3196.51/3205.88 c INPROCESSING
3196.51/3205.88 c GARBAGE COLLECT
3196.51/3205.88 c #Conflicts: 1542000 | #Constraints: 26174
3196.51/3205.88 c #Conflicts: 1543000 | #Constraints: 27174
3196.51/3205.88 c #Conflicts: 1544000 | #Constraints: 28174
3196.51/3205.88 c #Conflicts: 1545000 | #Constraints: 29174
3196.51/3205.88 c #Conflicts: 1546000 | #Constraints: 30174
3196.51/3205.88 c #Conflicts: 1547000 | #Constraints: 31174
3196.51/3205.88 c #Conflicts: 1548000 | #Constraints: 32174
3196.51/3205.88 c #Conflicts: 1549000 | #Constraints: 33174
3196.51/3205.88 c #Conflicts: 1550000 | #Constraints: 34174
3196.51/3205.88 c #Conflicts: 1551000 | #Constraints: 35174
3196.51/3205.88 c #Conflicts: 1552000 | #Constraints: 36174
3196.51/3205.88 c #Conflicts: 1553000 | #Constraints: 37174
3196.51/3205.88 c #Conflicts: 1554000 | #Constraints: 38174
3196.51/3205.88 c #Conflicts: 1555000 | #Constraints: 39174
3196.51/3205.88 c #Conflicts: 1556000 | #Constraints: 40174
3196.51/3205.88 c #Conflicts: 1557000 | #Constraints: 41174
3196.51/3205.88 c #Conflicts: 1558000 | #Constraints: 42174
3196.51/3205.88 c #Conflicts: 1559000 | #Constraints: 43174
3196.51/3205.88 c #Conflicts: 1560000 | #Constraints: 44174
3196.51/3205.88 c #Conflicts: 1561000 | #Constraints: 45174
3196.51/3205.88 c #Conflicts: 1562000 | #Constraints: 46174
3196.51/3205.88 c #Conflicts: 1563000 | #Constraints: 47174
3196.51/3205.88 c #Conflicts: 1564000 | #Constraints: 48174
3196.51/3205.88 c #Conflicts: 1565000 | #Constraints: 49174
3196.51/3205.88 c #Conflicts: 1566000 | #Constraints: 50174
3196.51/3205.88 c INPROCESSING
3196.51/3205.88 c GARBAGE COLLECT
3196.51/3205.88 c #Conflicts: 1567000 | #Constraints: 26381
3196.51/3205.88 c #Conflicts: 1568000 | #Constraints: 27381
3196.51/3205.88 c #Conflicts: 1569000 | #Constraints: 28381
3196.51/3205.88 c #Conflicts: 1570000 | #Constraints: 29381
3196.51/3205.88 c #Conflicts: 1571000 | #Constraints: 30381
3196.51/3205.88 c #Conflicts: 1572000 | #Constraints: 31381
3196.51/3205.88 c #Conflicts: 1573000 | #Constraints: 32381
3196.51/3205.88 c #Conflicts: 1574000 | #Constraints: 33381
3196.51/3205.88 c #Conflicts: 1575000 | #Constraints: 34381
3196.51/3205.88 c #Conflicts: 1576000 | #Constraints: 35381
3196.51/3205.88 c #Conflicts: 1577000 | #Constraints: 36381
3196.51/3205.88 c #Conflicts: 1578000 | #Constraints: 37381
3196.51/3205.88 c #Conflicts: 1579000 | #Constraints: 38381
3196.51/3205.88 c #Conflicts: 1580000 | #Constraints: 39381
3196.51/3205.88 c #Conflicts: 1581000 | #Constraints: 40381
3196.51/3205.88 c #Conflicts: 1582000 | #Constraints: 41381
3196.51/3205.88 c #Conflicts: 1583000 | #Constraints: 42381
3196.51/3205.88 c #Conflicts: 1584000 | #Constraints: 43381
3196.51/3205.88 c #Conflicts: 1585000 | #Constraints: 44381
3196.51/3205.88 c #Conflicts: 1586000 | #Constraints: 45381
3196.51/3205.88 c #Conflicts: 1587000 | #Constraints: 46381
3196.51/3205.88 c #Conflicts: 1588000 | #Constraints: 47381
3196.51/3205.88 c #Conflicts: 1589000 | #Constraints: 48381
3196.51/3205.88 c #Conflicts: 1590000 | #Constraints: 49381
3196.51/3205.88 c #Conflicts: 1591000 | #Constraints: 50381
3196.51/3205.88 c INPROCESSING
3196.51/3205.88 c GARBAGE COLLECT
3196.51/3205.88 c #Conflicts: 1592000 | #Constraints: 26387
3196.51/3205.88 c #Conflicts: 1593000 | #Constraints: 27387
3196.51/3205.88 c #Conflicts: 1594000 | #Constraints: 28387
3196.51/3205.88 c #Conflicts: 1595000 | #Constraints: 29387
3196.51/3205.88 c #Conflicts: 1596000 | #Constraints: 30387
3196.51/3205.88 c #Conflicts: 1597000 | #Constraints: 31387
3196.51/3205.88 c #Conflicts: 1598000 | #Constraints: 32387
3196.51/3205.88 c #Conflicts: 1599000 | #Constraints: 33387
3196.51/3205.88 c #Conflicts: 1600000 | #Constraints: 34387
3196.51/3205.88 c #Conflicts: 1601000 | #Constraints: 35387
3196.51/3205.88 c #Conflicts: 1602000 | #Constraints: 36387
3196.51/3205.88 c #Conflicts: 1603000 | #Constraints: 37387
3196.51/3205.88 c #Conflicts: 1604000 | #Constraints: 38387
3196.51/3205.88 c #Conflicts: 1605000 | #Constraints: 39387
3196.51/3205.88 c #Conflicts: 1606000 | #Constraints: 40387
3429.39/3439.37 c #Conflicts: 1607000 | #Constraints: 41387
3429.39/3439.37 c #Conflicts: 1608000 | #Constraints: 42387
3429.39/3439.37 c #Conflicts: 1609000 | #Constraints: 43387
3429.39/3439.37 c #Conflicts: 1610000 | #Constraints: 44387
3429.39/3439.37 c #Conflicts: 1611000 | #Constraints: 45387
3429.39/3439.37 c #Conflicts: 1612000 | #Constraints: 46387
3429.39/3439.37 c #Conflicts: 1613000 | #Constraints: 47387
3429.39/3439.37 c #Conflicts: 1614000 | #Constraints: 48387
3429.39/3439.37 c #Conflicts: 1615000 | #Constraints: 49387
3429.39/3439.37 c #Conflicts: 1616000 | #Constraints: 50387
3429.39/3439.37 c INPROCESSING
3429.39/3439.37 c GARBAGE COLLECT
3429.39/3439.37 c #Conflicts: 1617000 | #Constraints: 26184
3429.39/3439.37 c #Conflicts: 1618000 | #Constraints: 27184
3429.39/3439.37 c #Conflicts: 1619000 | #Constraints: 28184
3429.39/3439.37 c #Conflicts: 1620000 | #Constraints: 29184
3429.39/3439.37 c #Conflicts: 1621000 | #Constraints: 30184
3429.39/3439.37 c #Conflicts: 1622000 | #Constraints: 31184
3429.39/3439.37 c #Conflicts: 1623000 | #Constraints: 32184
3429.39/3439.37 c #Conflicts: 1624000 | #Constraints: 33184
3429.39/3439.37 c #Conflicts: 1625000 | #Constraints: 34184
3429.39/3439.37 c #Conflicts: 1626000 | #Constraints: 35184
3429.39/3439.37 c #Conflicts: 1627000 | #Constraints: 36184
3429.39/3439.37 c #Conflicts: 1628000 | #Constraints: 37184
3429.39/3439.37 c #Conflicts: 1629000 | #Constraints: 38184
3429.39/3439.37 c #Conflicts: 1630000 | #Constraints: 39184
3429.39/3439.37 c #Conflicts: 1631000 | #Constraints: 40184
3429.39/3439.37 c #Conflicts: 1632000 | #Constraints: 41184
3429.39/3439.37 c #Conflicts: 1633000 | #Constraints: 42184
3429.39/3439.37 c #Conflicts: 1634000 | #Constraints: 43184
3429.39/3439.37 c #Conflicts: 1635000 | #Constraints: 44184
3429.39/3439.37 c #Conflicts: 1636000 | #Constraints: 45184
3429.39/3439.37 c #Conflicts: 1637000 | #Constraints: 46184
3429.39/3439.37 c #Conflicts: 1638000 | #Constraints: 47184
3429.39/3439.37 c #Conflicts: 1639000 | #Constraints: 48184
3429.39/3439.37 c #Conflicts: 1640000 | #Constraints: 49184
3429.39/3439.37 c #Conflicts: 1641000 | #Constraints: 50184
3429.39/3439.37 c #Conflicts: 1642000 | #Constraints: 51184
3429.39/3439.37 c INPROCESSING
3429.39/3439.37 c GARBAGE COLLECT
3429.39/3439.37 c #Conflicts: 1643000 | #Constraints: 26781
3429.39/3439.37 c #Conflicts: 1644000 | #Constraints: 27781
3429.39/3439.37 c #Conflicts: 1645000 | #Constraints: 28781
3429.39/3439.37 c #Conflicts: 1646000 | #Constraints: 29781
3429.39/3439.37 c #Conflicts: 1647000 | #Constraints: 30781
3429.39/3439.37 c #Conflicts: 1648000 | #Constraints: 31781
3429.39/3439.37 c #Conflicts: 1649000 | #Constraints: 32781
3429.39/3439.37 c #Conflicts: 1650000 | #Constraints: 33781
3429.39/3439.37 c #Conflicts: 1651000 | #Constraints: 34781
3429.39/3439.37 c #Conflicts: 1652000 | #Constraints: 35781
3429.39/3439.37 c #Conflicts: 1653000 | #Constraints: 36781
3429.39/3439.37 c #Conflicts: 1654000 | #Constraints: 37781
3429.39/3439.37 c #Conflicts: 1655000 | #Constraints: 38781
3429.39/3439.37 c #Conflicts: 1656000 | #Constraints: 39781
3429.39/3439.37 c #Conflicts: 1657000 | #Constraints: 40781
3429.39/3439.37 c #Conflicts: 1658000 | #Constraints: 41781
3429.39/3439.37 c #Conflicts: 1659000 | #Constraints: 42781
3429.39/3439.37 c #Conflicts: 1660000 | #Constraints: 43781
3429.39/3439.37 c #Conflicts: 1661000 | #Constraints: 44781
3429.39/3439.37 c #Conflicts: 1662000 | #Constraints: 45781
3429.39/3439.37 c #Conflicts: 1663000 | #Constraints: 46781
3429.39/3439.37 c #Conflicts: 1664000 | #Constraints: 47781
3429.39/3439.37 c #Conflicts: 1665000 | #Constraints: 48781
3429.39/3439.37 c #Conflicts: 1666000 | #Constraints: 49781
3429.39/3439.37 c #Conflicts: 1667000 | #Constraints: 50781
3429.39/3439.37 c #Conflicts: 1668000 | #Constraints: 51781
3429.39/3439.37 c INPROCESSING
3429.39/3439.37 c GARBAGE COLLECT
3429.39/3439.37 c #Conflicts: 1669000 | #Constraints: 27185
3429.39/3439.37 c #Conflicts: 1670000 | #Constraints: 28185
3429.39/3439.37 c #Conflicts: 1671000 | #Constraints: 29185
3429.39/3439.37 c #Conflicts: 1672000 | #Constraints: 30185
3429.39/3439.37 c #Conflicts: 1673000 | #Constraints: 31185
3429.39/3439.37 c #Conflicts: 1674000 | #Constraints: 32185
3429.39/3439.37 c #Conflicts: 1675000 | #Constraints: 33185
3429.39/3439.37 c #Conflicts: 1676000 | #Constraints: 34185
3429.39/3439.37 c #Conflicts: 1677000 | #Constraints: 35185
3429.39/3439.37 c #Conflicts: 1678000 | #Constraints: 36185
3429.39/3439.37 c #Conflicts: 1679000 | #Constraints: 37185
3429.39/3439.37 c #Conflicts: 1680000 | #Constraints: 38185
3429.39/3439.37 c #Conflicts: 1681000 | #Constraints: 39185
3429.39/3439.37 c #Conflicts: 1682000 | #Constraints: 40185
3429.39/3439.37 c #Conflicts: 1683000 | #Constraints: 41185
3600.05/3610.40 c #Conflicts: 1684000 | #Constraints: 42185
3600.05/3610.40 c #Conflicts: 1685000 | #Constraints: 43185
3600.05/3610.40 c #Conflicts: 1686000 | #Constraints: 44185
3600.05/3610.40 c #Conflicts: 1687000 | #Constraints: 45185
3600.05/3610.40 c #Conflicts: 1688000 | #Constraints: 46185
3600.05/3610.40 c #Conflicts: 1689000 | #Constraints: 47185
3600.05/3610.40 c #Conflicts: 1690000 | #Constraints: 48185
3600.05/3610.40 c #Conflicts: 1691000 | #Constraints: 49185
3600.05/3610.40 c #Conflicts: 1692000 | #Constraints: 50185
3600.05/3610.40 c #Conflicts: 1693000 | #Constraints: 51185
3600.05/3610.40 c #Conflicts: 1694000 | #Constraints: 52185
3600.05/3610.40 c INPROCESSING
3600.05/3610.40 c GARBAGE COLLECT
3600.05/3610.40 c #Conflicts: 1695000 | #Constraints: 27384
3600.05/3610.40 c #Conflicts: 1696000 | #Constraints: 28384
3600.05/3610.40 c #Conflicts: 1697000 | #Constraints: 29384
3600.05/3610.40 c #Conflicts: 1698000 | #Constraints: 30384
3600.05/3610.40 c #Conflicts: 1699000 | #Constraints: 31384
3600.05/3610.40 c #Conflicts: 1700000 | #Constraints: 32384
3600.05/3610.40 c #Conflicts: 1701000 | #Constraints: 33384
3600.05/3610.40 c #Conflicts: 1702000 | #Constraints: 34384
3600.05/3610.40 c #Conflicts: 1703000 | #Constraints: 35384
3600.05/3610.40 c #Conflicts: 1704000 | #Constraints: 36384
3600.05/3610.40 c #Conflicts: 1705000 | #Constraints: 37384
3600.05/3610.40 c #Conflicts: 1706000 | #Constraints: 38384
3600.05/3610.40 c #Conflicts: 1707000 | #Constraints: 39384
3600.05/3610.40 c #Conflicts: 1708000 | #Constraints: 40384
3600.05/3610.40 c #Conflicts: 1709000 | #Constraints: 41384
3600.05/3610.40 c #Conflicts: 1710000 | #Constraints: 42384
3600.05/3610.40 c #Conflicts: 1711000 | #Constraints: 43384
3600.05/3610.40 c #Conflicts: 1712000 | #Constraints: 44384
3600.05/3610.40 c #Conflicts: 1713000 | #Constraints: 45384
3600.05/3610.40 c #Conflicts: 1714000 | #Constraints: 46384
3600.05/3610.40 c #Conflicts: 1715000 | #Constraints: 47384
3600.05/3610.40 c #Conflicts: 1716000 | #Constraints: 48384
3600.05/3610.40 c #Conflicts: 1717000 | #Constraints: 49384
3600.05/3610.40 c #Conflicts: 1718000 | #Constraints: 50384
3600.05/3610.40 c #Conflicts: 1719000 | #Constraints: 51384
3600.05/3610.40 c #Conflicts: 1720000 | #Constraints: 52384
3600.05/3610.40 c INPROCESSING
3600.05/3610.40 c GARBAGE COLLECT
3600.05/3610.40 c #Conflicts: 1721000 | #Constraints: 27377
3600.05/3610.40 c #Conflicts: 1722000 | #Constraints: 28377
3600.05/3610.40 c #Conflicts: 1723000 | #Constraints: 29377
3600.05/3610.40 c #Conflicts: 1724000 | #Constraints: 30377
3600.05/3610.40 c #Conflicts: 1725000 | #Constraints: 31377
3600.05/3610.40 c #Conflicts: 1726000 | #Constraints: 32377
3600.05/3610.40 c #Conflicts: 1727000 | #Constraints: 33377
3600.05/3610.40 c #Conflicts: 1728000 | #Constraints: 34377
3600.05/3610.40 c #Conflicts: 1729000 | #Constraints: 35377
3600.05/3610.40 c #Conflicts: 1730000 | #Constraints: 36377
3600.05/3610.40 c #Conflicts: 1731000 | #Constraints: 37377
3600.05/3610.40 c #Conflicts: 1732000 | #Constraints: 38377
3600.05/3610.40 c cpu time 3590.46 s
3600.05/3610.40 c deterministic time 1 1.00e+00
3600.05/3610.40 c optimization time 3590.46 s
3600.05/3610.40 c total solve time 0 s
3600.05/3610.40 c core-guided solve time 0 s
3600.05/3610.40 c propagation time 0.000199 s
3600.05/3610.40 c conflict analysis time 0 s
3600.05/3610.40 c propagations 0
3600.05/3610.40 c resolve steps 0
3600.05/3610.40 c decisions 0
3600.05/3610.40 c conflicts 0
3600.05/3610.40 c restarts 0
3600.05/3610.40 c inprocessing phases 0
3600.05/3610.40 c garbage collections 0 ,( -nan )
3600.05/3610.40 c input clauses 0 ,( 0.00 )
3600.05/3610.40 c input cardinalities 0 ,( 0.00 )
3600.05/3610.40 c input general constraints 468 ,( 100.00 )
3600.05/3610.40 c input average constraint length 9.04
3600.05/3610.40 c input average constraint degree 28.55
3600.05/3610.40 c learned clauses 0 ,( 0.00 )
3600.05/3610.40 c learned cardinalities 0 ,( 0.00 )
3600.05/3610.40 c learned general constraints 0 ,( 0.00 )
3600.05/3610.40 c learned average constraint length 0.00
3600.05/3610.40 c learned average constraint degree 0.00
3600.05/3610.40 c watched CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
3600.05/3610.40 c counting CF 32, 64, 128, Arb: 467 , 0 , 0 , 0
3600.05/3610.40 c watched constraints 2 ,( 0.43 )
3600.05/3610.40 c counting constraints 466 ,( 99.57 )
3600.05/3610.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.05/3610.40 c gcd simplifications 0
3600.05/3610.40 c detected cardinalities 0
3600.05/3610.40 c weakened non-implied lits 0
3600.05/3610.40 c weakened non-implying lits 0
3600.05/3610.40 c original variables 468
3600.05/3610.40 c clausal propagations 0
3600.05/3610.40 c cardinality propagations 0
3600.05/3610.40 c watched propagations 0
3600.05/3610.40 c counting propagations 0
3600.05/3610.40 c watch lookups 0
3600.05/3610.40 c watch backjump lookups 0
3600.05/3610.40 c watch checks 0
3600.05/3610.40 c propagation checks 0
3600.05/3610.40 c constraint additions 0
3600.05/3610.40 c trail pops 0
3600.05/3610.40 c formula constraints 468
3600.05/3610.40 c learned constraints 0
3600.05/3610.40 c bound constraints 0
3600.05/3610.40 c core-guided constraints 0
3600.05/3610.40 c encountered formula constraints 0
3600.05/3610.40 c encountered learned constraints 0
3600.05/3610.40 c encountered bound constraints 0
3600.05/3610.40 c encountered core-guided constraints 0
3600.05/3610.40 c LP total time 0 s
3600.05/3610.40 c LP solve time 0 s
3600.05/3610.40 c LP constraints added 0
3600.05/3610.40 c LP constraints removed 0
3600.05/3610.40 c LP pivots internal 0
3600.05/3610.40 c LP pivots root 0
3600.05/3610.40 c LP calls 0
3600.05/3610.40 c LP optimalities 0
3600.05/3610.40 c LP no pivot count 0
3600.05/3610.40 c LP infeasibilities 0
3600.05/3610.40 c LP valid Farkas constraints 0
3600.05/3610.40 c LP learned Farkas constraints 0
3600.05/3610.40 c LP basis resets 0
3600.05/3610.40 c LP cycling count 0
3600.05/3610.40 c LP singular count 0
3600.05/3610.40 c LP no primal count 0
3600.05/3610.40 c LP no farkas count 0
3600.05/3610.40 c LP other issue count 0
3600.05/3610.40 c LP Gomory cuts 0
3600.05/3610.40 c LP learned cuts 0
3600.05/3610.40 c LP deleted cuts 0
3600.05/3610.40 c LP encountered Gomory constraints 0
3600.05/3610.40 c LP encountered Farkas constraints 0
3600.05/3610.40 c LP encountered learned Farkas constraints 0
3600.05/3610.40 c CG auxiliary variables introduced 0
3600.05/3610.40 c CG solutions found 0
3600.05/3610.40 c CG cores constructed 0
3600.05/3610.40 c CG core cardinality constraints returned 0
3600.05/3610.40 c CG unit cores 0
3600.05/3610.40 c CG single cores 0
3600.05/3610.40 c CG blocks removed during cardinality reduction 0
3600.05/3610.40 c CG first core best 0
3600.05/3610.40 c CG decision core best 0
3600.05/3610.40 c CG core reduction tie 0
3600.05/3610.40 c CG core degree average 0.00
3600.05/3610.40 c CG core slack average 0.00
3600.05/3610.40 c CG core upper bound improvements 0
3600.05/3610.40 c STR number of successful calls 0
3600.05/3610.40 c STR number of unsuccessful calls 0
3600.05/3610.40 c STR number of inconclusive calls 0
3600.05/3610.40 c STR number of successful attempts 0
3600.05/3610.40 c STR number of unsuccessful attempts 0
3600.05/3610.40 c STR number of inconclusive attempts 0
3600.05/3610.40 c STR average degree increase per successful call inf
3600.05/3610.40 c STR average degree increase per successful attempt inf
3600.05/3610.40 c STR total number of conflicts for successful attempts 0
3600.05/3610.40 c STR total number of conflicts for unsuccessful attempts 0
3600.05/3610.40 c STR total number of conflicts for inconclusive attempts 0
3600.05/3610.40 c STR average number of conflicts per successful attempt inf
3600.05/3610.40 c STR average number of conflicts per unsuccessful attempt inf
3600.05/3610.40 c STR average number of conflicts per inconclusive attempt inf
3600.05/3610.40 c AVG.sumWPerc 71.62
3600.05/3610.40 c bigint constraints 0
3600.05/3610.40 s UNKNOWN
3600.05/3610.40 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 (62996 MiB free)
memory of node 1: 64465 MiB (64047 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489276-1751355440/watcher-4489276-1751355440 -o /tmp/evaluation-result-4489276-1751355440/solver-4489276-1751355440 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751348216-50579 --watchdog 3760 run-opt.sh HOME/instance-4489276-1751355440.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=51397, runsolver pid=51394
[startup+0.10006 s]*
/proc/loadavg: 4.04 4.07 4.08 5/267 51399
/proc/meminfo: memFree=130092948/131249996 swapFree=33006296/33010684
[pid=51397] ppid=51394 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51397/stat : 51397 (run-opt.sh) S 51394 51397 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221521 4292608 768 18446744073709551615 93975543230464 93975544124997 140734660062240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93975544364048 93975544411792 93975575027712 140734660065645 140734660065768 140734660065768 140734660071370 0
/proc/51397/statm: 1048 768 704 219 0 110 0
[pid=51399] ppid=51397 vsize=64244 memory=17332 CPUtime=0.08 cores=5,7
/proc/51399/stat : 51399 (roundingsat) R 51397 51397 50566 0 -1 4194304 1671 0 0 0 8 0 0 0 20 0 1 0 51221522 65785856 4333 18446744073709551615 4227072 8923433 140731350041088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30609408 140731350043042 140731350043176 140731350043176 140731350048746 0
/proc/51399/statm: 16061 4333 2400 1147 0 3488 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 68436 KiB
Current children cumulated memory: 20404 KiB
[startup+0.205118 s]*
/proc/loadavg: 4.04 4.07 4.08 5/267 51399
/proc/meminfo: memFree=130089168/131249996 swapFree=33006296/33010684
[pid=51397] ppid=51394 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51397/stat : 51397 (run-opt.sh) S 51394 51397 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221521 4292608 768 18446744073709551615 93975543230464 93975544124997 140734660062240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93975544364048 93975544411792 93975575027712 140734660065645 140734660065768 140734660065768 140734660071370 0
/proc/51397/statm: 1048 768 704 219 0 110 0
[pid=51399] ppid=51397 vsize=67824 memory=20660 CPUtime=0.19 cores=5,7
/proc/51399/stat : 51399 (roundingsat) R 51397 51397 50566 0 -1 4194304 2511 0 0 0 18 1 0 0 20 0 1 0 51221522 69451776 5165 18446744073709551615 4227072 8923433 140731350041088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30609408 140731350043042 140731350043176 140731350043176 140731350048746 0
/proc/51399/statm: 16956 5165 2400 1147 0 4383 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 72016 KiB
Current children cumulated memory: 23732 KiB
[startup+0.305478 s]*
/proc/loadavg: 4.04 4.07 4.08 5/267 51399
/proc/meminfo: memFree=130088412/131249996 swapFree=33006296/33010684
[pid=51397] ppid=51394 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51397/stat : 51397 (run-opt.sh) S 51394 51397 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221521 4292608 768 18446744073709551615 93975543230464 93975544124997 140734660062240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93975544364048 93975544411792 93975575027712 140734660065645 140734660065768 140734660065768 140734660071370 0
/proc/51397/statm: 1048 768 704 219 0 110 0
[pid=51399] ppid=51397 vsize=68128 memory=22324 CPUtime=0.29 cores=5,7
/proc/51399/stat : 51399 (roundingsat) R 51397 51397 50566 0 -1 4194304 2941 0 0 0 28 1 0 0 20 0 1 0 51221522 69763072 5581 18446744073709551615 4227072 8923433 140731350041088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30609408 140731350043042 140731350043176 140731350043176 140731350048746 0
/proc/51399/statm: 17032 5581 2400 1147 0 4459 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 72320 KiB
Current children cumulated memory: 25396 KiB
[startup+0.700181 s]
/proc/loadavg: 4.04 4.07 4.08 5/267 51399
/proc/meminfo: memFree=130075812/131249996 swapFree=33006296/33010684
[pid=51397] ppid=51394 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51397/stat : 51397 (run-opt.sh) S 51394 51397 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221521 4292608 768 18446744073709551615 93975543230464 93975544124997 140734660062240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93975544364048 93975544411792 93975575027712 140734660065645 140734660065768 140734660065768 140734660071370 0
/proc/51397/statm: 1048 768 704 219 0 110 0
[pid=51399] ppid=51397 vsize=77380 memory=28852 CPUtime=0.67 cores=5,7
/proc/51399/stat : 51399 (roundingsat) R 51397 51397 50566 0 -1 4194304 4563 0 0 0 66 1 0 0 20 0 1 0 51221522 79237120 7213 18446744073709551615 4227072 8923433 140731350041088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30609408 140731350043042 140731350043176 140731350043176 140731350048746 0
/proc/51399/statm: 19345 7213 2400 1147 0 6772 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 81572 KiB
Current children cumulated memory: 31924 KiB
[startup+1.50019 s]
/proc/loadavg: 4.04 4.07 4.08 5/267 51399
/proc/meminfo: memFree=130059104/131249996 swapFree=33006296/33010684
[pid=51397] ppid=51394 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51397/stat : 51397 (run-opt.sh) S 51394 51397 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221521 4292608 768 18446744073709551615 93975543230464 93975544124997 140734660062240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93975544364048 93975544411792 93975575027712 140734660065645 140734660065768 140734660065768 140734660071370 0
/proc/51397/statm: 1048 768 704 219 0 110 0
[pid=51399] ppid=51397 vsize=93708 memory=40500 CPUtime=1.47 cores=5,7
/proc/51399/stat : 51399 (roundingsat) R 51397 51397 50566 0 -1 4194304 7488 0 0 0 144 3 0 0 20 0 1 0 51221522 95956992 10125 18446744073709551615 4227072 8923433 140731350041088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30609408 140731350043042 140731350043176 140731350043176 140731350048746 0
/proc/51399/statm: 23427 10125 2400 1147 0 10854 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 97900 KiB
Current children cumulated memory: 43572 KiB
[startup+3.10535 s]
/proc/loadavg: 4.04 4.07 4.08 5/267 51399
/proc/meminfo: memFree=130007912/131249996 swapFree=33006296/33010684
[pid=51397] ppid=51394 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51397/stat : 51397 (run-opt.sh) S 51394 51397 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221521 4292608 768 18446744073709551615 93975543230464 93975544124997 140734660062240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93975544364048 93975544411792 93975575027712 140734660065645 140734660065768 140734660065768 140734660071370 0
/proc/51397/statm: 1048 768 704 219 0 110 0
[pid=51399] ppid=51397 vsize=95436 memory=45380 CPUtime=3.07 cores=5,7
/proc/51399/stat : 51399 (roundingsat) R 51397 51397 50566 0 -1 4194304 8197 0 0 0 301 6 0 0 20 0 1 0 51221522 97726464 11345 18446744073709551615 4227072 8923433 140731350041088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30609408 140731350043042 140731350043176 140731350043176 140731350048746 0
/proc/51399/statm: 23859 11345 2400 1147 0 11286 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 99628 KiB
Current children cumulated memory: 48452 KiB
[startup+6.30019 s]
/proc/loadavg: 4.04 4.07 4.08 5/267 51399
/proc/meminfo: memFree=130006524/131249996 swapFree=33006296/33010684
[pid=51397] ppid=51394 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51397/stat : 51397 (run-opt.sh) S 51394 51397 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221521 4292608 768 18446744073709551615 93975543230464 93975544124997 140734660062240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93975544364048 93975544411792 93975575027712 140734660065645 140734660065768 140734660065768 140734660071370 0
/proc/51397/statm: 1048 768 704 219 0 110 0
[pid=51399] ppid=51397 vsize=105688 memory=50756 CPUtime=6.26 cores=5,7
/proc/51399/stat : 51399 (roundingsat) R 51397 51397 50566 0 -1 4194304 9532 0 0 0 616 10 0 0 20 0 1 0 51221522 108224512 12689 18446744073709551615 4227072 8923433 140731350041088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30609408 140731350043042 140731350043176 140731350043176 140731350048746 0
/proc/51399/statm: 26422 12689 2400 1147 0 13849 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 109880 KiB
Current children cumulated memory: 53828 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.09 4.09 5/267 51399
/proc/meminfo: memFree=129937360/131249996 swapFree=33006296/33010684
[pid=51397] ppid=51394 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51397/stat : 51397 (run-opt.sh) S 51394 51397 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221521 4292608 768 18446744073709551615 93975543230464 93975544124997 140734660062240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93975544364048 93975544411792 93975575027712 140734660065645 140734660065768 140734660065768 140734660071370 0
/proc/51397/statm: 1048 768 704 219 0 110 0
[pid=51399] ppid=51397 vsize=123484 memory=66100 CPUtime=12.65 cores=5,7
/proc/51399/stat : 51399 (roundingsat) R 51397 51397 50566 0 -1 4194304 12874 0 0 0 1246 19 0 0 20 0 1 0 51221522 126447616 16525 18446744073709551615 4227072 8923433 140731350041088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30609408 140731350043042 140731350043176 140731350043176 140731350048746 0
/proc/51399/statm: 30871 16525 2400 1147 0 18298 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 127676 KiB
Current children cumulated memory: 69172 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.08 4.09 5/267 51400
/proc/meminfo: memFree=129844748/131249996 swapFree=33006296/33010684
[pid=51397] ppid=51394 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51397/stat : 51397 (run-opt.sh) S 51394 51397 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221521 4292608 768 18446744073709551615 93975543230464 93975544124997 140734660062240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93975544364048 93975544411792 93975575027712 140734660065645 140734660065768 140734660065768 140734660071370 0
/proc/51397/statm: 1048 768 704 219 0 110 0
[pid=51399] ppid=51397 vsize=146680 memory=80368 CPUtime=25.41 cores=5,7
/proc/51399/stat : 51399 (roundingsat) R 51397 51397 50566 0 -1 4194304 15929 0 0 0 2509 32 0 0 20 0 1 0 51221522 150200320 20092 18446744073709551615 4227072 8923433 140731350041088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30609408 140731350043042 140731350043176 140731350043176 140731350048746 0
/proc/51399/statm: 36670 20092 2400 1147 0 24097 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 150872 KiB
Current children cumulated memory: 83440 KiB
[startup+51.1058 s]
/proc/loadavg: 4.06 4.08 4.09 5/268 51401
/proc/meminfo: memFree=129797096/131249996 swapFree=33006296/33010684
[pid=51397] ppid=51394 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51397/stat : 51397 (run-opt.sh) S 51394 51397 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221521 4292608 768 18446744073709551615 93975543230464 93975544124997 140734660062240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93975544364048 93975544411792 93975575027712 140734660065645 140734660065768 140734660065768 140734660071370 0
/proc/51397/statm: 1048 768 704 219 0 110 0
[pid=51399] ppid=51397 vsize=153340 memory=95412 CPUtime=50.96 cores=5,7
/proc/51399/stat : 51399 (roundingsat) R 51397 51397 50566 0 -1 4194304 18663 0 0 0 5039 57 0 0 20 0 1 0 51221522 157020160 23853 18446744073709551615 4227072 8923433 140731350041088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30609408 140731350043042 140731350043176 140731350043176 140731350048746 0
/proc/51399/statm: 38335 23853 2400 1147 0 25762 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 157532 KiB
Current children cumulated memory: 98484 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/269 51404
/proc/meminfo: memFree=129641952/131249996 swapFree=33006296/33010684
[pid=51397] ppid=51394 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51397/stat : 51397 (run-opt.sh) S 51394 51397 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221521 4292608 768 18446744073709551615 93975543230464 93975544124997 140734660062240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93975544364048 93975544411792 93975575027712 140734660065645 140734660065768 140734660065768 140734660071370 0
/proc/51397/statm: 1048 768 704 219 0 110 0
[pid=51399] ppid=51397 vsize=193896 memory=127108 CPUtime=102.01 cores=5,7
/proc/51399/stat : 51399 (roundingsat) R 51397 51397 50566 0 -1 4194304 25554 0 0 0 10106 95 0 0 20 0 1 0 51221522 198549504 31777 18446744073709551615 4227072 8923433 140731350041088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30609408 140731350043042 140731350043176 140731350043176 140731350048746 0
/proc/51399/statm: 48474 31777 2400 1147 0 35901 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 198088 KiB
Current children cumulated memory: 130180 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/270 51409
/proc/meminfo: memFree=129557432/131249996 swapFree=33006296/33010684
[pid=51397] ppid=51394 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51397/stat : 51397 (run-opt.sh) S 51394 51397 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221521 4292608 768 18446744073709551615 93975543230464 93975544124997 140734660062240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93975544364048 93975544411792 93975575027712 140734660065645 140734660065768 140734660065768 140734660071370 0
/proc/51397/statm: 1048 768 704 219 0 110 0
[pid=51399] ppid=51397 vsize=219884 memory=140284 CPUtime=161.86 cores=5,7
/proc/51399/stat : 51399 (roundingsat) R 51397 51397 50566 0 -1 4194304 27846 0 0 0 16059 127 0 0 20 0 1 0 51221522 225161216 35071 18446744073709551615 4227072 8923433 140731350041088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30609408 140731350043042 140731350043176 140731350043176 140731350048746 0
/proc/51399/statm: 54971 35071 2400 1147 0 42398 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 224076 KiB
Current children cumulated memory: 143356 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/270 51411
/proc/meminfo: memFree=129437336/131249996 swapFree=33006296/33010684
[pid=51397] ppid=51394 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51397/stat : 51397 (run-opt.sh) S 51394 51397 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221521 4292608 768 18446744073709551615 93975543230464 93975544124997 140734660062240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93975544364048 93975544411792 93975575027712 140734660065645 140734660065768 140734660065768 140734660071370 0
/proc/51397/statm: 1048 768 704 219 0 110 0
[pid=51399] ppid=51397 vsize=228724 memory=151704 CPUtime=221.71 cores=5,7
/proc/51399/stat : 51399 (roundingsat) R 51397 51397 50566 0 -1 4194304 30191 0 0 0 22010 161 0 0 20 0 1 0 51221522 234213376 37926 18446744073709551615 4227072 8923433 140731350041088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30609408 140731350043042 140731350043176 140731350043176 140731350048746 0
/proc/51399/statm: 57181 37926 2400 1147 0 44608 0
################
# More data... #
################
/proc/51399/statm: 112623 82729 2400 1147 0 100050 0
Current children cumulated CPU time: 3033.45 s
Current children cumulated vsize: 454684 KiB
Current children cumulated memory: 333988 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.11 4.10 5/269 51570
/proc/meminfo: memFree=128510692/131249996 swapFree=33006296/33010684
[pid=51397] ppid=51394 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51397/stat : 51397 (run-opt.sh) S 51394 51397 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221521 4292608 768 18446744073709551615 93975543230464 93975544124997 140734660062240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93975544364048 93975544411792 93975575027712 140734660065645 140734660065768 140734660065768 140734660071370 0
/proc/51397/statm: 1048 768 704 219 0 110 0
[pid=51399] ppid=51397 vsize=450492 memory=330916 CPUtime=3093.28 cores=5,7
/proc/51399/stat : 51399 (roundingsat) R 51397 51397 50566 0 -1 4194304 70970 0 0 0 308457 871 0 0 20 0 1 0 51221522 461303808 82729 18446744073709551615 4227072 8923433 140731350041088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30609408 140731350043042 140731350043176 140731350043176 140731350048746 0
/proc/51399/statm: 112623 82729 2400 1147 0 100050 0
Current children cumulated CPU time: 3093.28 s
Current children cumulated vsize: 454684 KiB
Current children cumulated memory: 333988 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/270 51575
/proc/meminfo: memFree=128475212/131249996 swapFree=33006296/33010684
[pid=51397] ppid=51394 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51397/stat : 51397 (run-opt.sh) S 51394 51397 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221521 4292608 768 18446744073709551615 93975543230464 93975544124997 140734660062240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93975544364048 93975544411792 93975575027712 140734660065645 140734660065768 140734660065768 140734660071370 0
/proc/51397/statm: 1048 768 704 219 0 110 0
[pid=51399] ppid=51397 vsize=450492 memory=330916 CPUtime=3153.13 cores=5,7
/proc/51399/stat : 51399 (roundingsat) R 51397 51397 50566 0 -1 4194304 70977 0 0 0 314431 882 0 0 20 0 1 0 51221522 461303808 82729 18446744073709551615 4227072 8923433 140731350041088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30609408 140731350043042 140731350043176 140731350043176 140731350048746 0
/proc/51399/statm: 112623 82729 2400 1147 0 100050 0
Current children cumulated CPU time: 3153.13 s
Current children cumulated vsize: 454684 KiB
Current children cumulated memory: 333988 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/269 51577
/proc/meminfo: memFree=128470968/131249996 swapFree=33006296/33010684
[pid=51397] ppid=51394 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51397/stat : 51397 (run-opt.sh) S 51394 51397 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221521 4292608 768 18446744073709551615 93975543230464 93975544124997 140734660062240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93975544364048 93975544411792 93975575027712 140734660065645 140734660065768 140734660065768 140734660071370 0
/proc/51397/statm: 1048 768 704 219 0 110 0
[pid=51399] ppid=51397 vsize=452280 memory=331564 CPUtime=3212.98 cores=5,7
/proc/51399/stat : 51399 (roundingsat) R 51397 51397 50566 0 -1 4194304 71366 0 0 0 320404 894 0 0 20 0 1 0 51221522 463134720 82891 18446744073709551615 4227072 8923433 140731350041088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30609408 140731350043042 140731350043176 140731350043176 140731350048746 0
/proc/51399/statm: 113070 82891 2400 1147 0 100497 0
Current children cumulated CPU time: 3212.98 s
Current children cumulated vsize: 456472 KiB
Current children cumulated memory: 334636 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/269 51579
/proc/meminfo: memFree=128470936/131249996 swapFree=33006296/33010684
[pid=51397] ppid=51394 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51397/stat : 51397 (run-opt.sh) S 51394 51397 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221521 4292608 768 18446744073709551615 93975543230464 93975544124997 140734660062240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93975544364048 93975544411792 93975575027712 140734660065645 140734660065768 140734660065768 140734660071370 0
/proc/51397/statm: 1048 768 704 219 0 110 0
[pid=51399] ppid=51397 vsize=453044 memory=336016 CPUtime=3272.81 cores=5,7
/proc/51399/stat : 51399 (roundingsat) R 51397 51397 50566 0 -1 4194304 71542 0 0 0 326378 903 0 0 20 0 1 0 51221522 463917056 84004 18446744073709551615 4227072 8923433 140731350041088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30609408 140731350043042 140731350043176 140731350043176 140731350048746 0
/proc/51399/statm: 113261 84004 2400 1147 0 100688 0
Current children cumulated CPU time: 3272.81 s
Current children cumulated vsize: 457236 KiB
Current children cumulated memory: 339088 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/270 51586
/proc/meminfo: memFree=128445108/131249996 swapFree=33006296/33010684
[pid=51397] ppid=51394 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51397/stat : 51397 (run-opt.sh) S 51394 51397 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221521 4292608 768 18446744073709551615 93975543230464 93975544124997 140734660062240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93975544364048 93975544411792 93975575027712 140734660065645 140734660065768 140734660065768 140734660071370 0
/proc/51397/statm: 1048 768 704 219 0 110 0
[pid=51399] ppid=51397 vsize=466620 memory=338456 CPUtime=3332.65 cores=5,7
/proc/51399/stat : 51399 (roundingsat) R 51397 51397 50566 0 -1 4194304 74911 0 0 0 332352 913 0 0 20 0 1 0 51221522 477818880 84614 18446744073709551615 4227072 8923433 140731350041088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30609408 140731350043042 140731350043176 140731350043176 140731350048746 0
/proc/51399/statm: 116655 84614 2400 1147 0 104082 0
Current children cumulated CPU time: 3332.65 s
Current children cumulated vsize: 470812 KiB
Current children cumulated memory: 341528 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/270 51588
/proc/meminfo: memFree=128418708/131249996 swapFree=33006296/33010684
[pid=51397] ppid=51394 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51397/stat : 51397 (run-opt.sh) S 51394 51397 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221521 4292608 768 18446744073709551615 93975543230464 93975544124997 140734660062240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93975544364048 93975544411792 93975575027712 140734660065645 140734660065768 140734660065768 140734660071370 0
/proc/51397/statm: 1048 768 704 219 0 110 0
[pid=51399] ppid=51397 vsize=469952 memory=339632 CPUtime=3392.5 cores=5,7
/proc/51399/stat : 51399 (roundingsat) R 51397 51397 50566 0 -1 4194304 75670 0 0 0 338328 922 0 0 20 0 1 0 51221522 481230848 84908 18446744073709551615 4227072 8923433 140731350041088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30609408 140731350043042 140731350043176 140731350043176 140731350048746 0
/proc/51399/statm: 117488 84908 2400 1147 0 104915 0
Current children cumulated CPU time: 3392.5 s
Current children cumulated vsize: 474144 KiB
Current children cumulated memory: 342704 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/269 51590
/proc/meminfo: memFree=128418584/131249996 swapFree=33006296/33010684
[pid=51397] ppid=51394 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51397/stat : 51397 (run-opt.sh) S 51394 51397 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221521 4292608 768 18446744073709551615 93975543230464 93975544124997 140734660062240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93975544364048 93975544411792 93975575027712 140734660065645 140734660065768 140734660065768 140734660071370 0
/proc/51397/statm: 1048 768 704 219 0 110 0
[pid=51399] ppid=51397 vsize=469952 memory=339632 CPUtime=3452.33 cores=5,7
/proc/51399/stat : 51399 (roundingsat) R 51397 51397 50566 0 -1 4194304 75674 0 0 0 344301 932 0 0 20 0 1 0 51221522 481230848 84908 18446744073709551615 4227072 8923433 140731350041088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30609408 140731350043042 140731350043176 140731350043176 140731350048746 0
/proc/51399/statm: 117488 84908 2400 1147 0 104915 0
Current children cumulated CPU time: 3452.33 s
Current children cumulated vsize: 474144 KiB
Current children cumulated memory: 342704 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/269 51592
/proc/meminfo: memFree=128410220/131249996 swapFree=33006296/33010684
[pid=51397] ppid=51394 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51397/stat : 51397 (run-opt.sh) S 51394 51397 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221521 4292608 768 18446744073709551615 93975543230464 93975544124997 140734660062240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93975544364048 93975544411792 93975575027712 140734660065645 140734660065768 140734660065768 140734660071370 0
/proc/51397/statm: 1048 768 704 219 0 110 0
[pid=51399] ppid=51397 vsize=472252 memory=339824 CPUtime=3512.18 cores=5,7
/proc/51399/stat : 51399 (roundingsat) R 51397 51397 50566 0 -1 4194304 76303 0 0 0 350274 944 0 0 20 0 1 0 51221522 483586048 84956 18446744073709551615 4227072 8923433 140731350041088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30609408 140731350043042 140731350043176 140731350043176 140731350048746 0
/proc/51399/statm: 118063 84956 2400 1147 0 105490 0
Current children cumulated CPU time: 3512.18 s
Current children cumulated vsize: 476444 KiB
Current children cumulated memory: 342896 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 51594
/proc/meminfo: memFree=128361656/131249996 swapFree=33006296/33010684
[pid=51397] ppid=51394 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51397/stat : 51397 (run-opt.sh) S 51394 51397 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221521 4292608 768 18446744073709551615 93975543230464 93975544124997 140734660062240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93975544364048 93975544411792 93975575027712 140734660065645 140734660065768 140734660065768 140734660071370 0
/proc/51397/statm: 1048 768 704 219 0 110 0
[pid=51399] ppid=51397 vsize=480956 memory=341132 CPUtime=3572.02 cores=5,7
/proc/51399/stat : 51399 (roundingsat) R 51397 51397 50566 0 -1 4194304 78807 0 0 0 356248 954 0 0 20 0 1 0 51221522 492498944 85283 18446744073709551615 4227072 8923433 140731350041088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30609408 140731350043042 140731350043176 140731350043176 140731350048746 0
/proc/51399/statm: 120239 85283 2400 1147 0 107666 0
Current children cumulated CPU time: 3572.02 s
Current children cumulated vsize: 485148 KiB
Current children cumulated memory: 344204 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.25 4.12 4.10 3/261 51611
/proc/meminfo: memFree=129256716/131249996 swapFree=33006296/33010684
[pid=51397] ppid=51394 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/51397/stat : 51397 (run-opt.sh) S 51394 51397 50566 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51221521 4292608 768 18446744073709551615 93975543230464 93975544124997 140734660062240 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93975544364048 93975544411792 93975575027712 140734660065645 140734660065768 140734660065768 140734660071370 0
/proc/51397/statm: 1048 768 704 219 0 110 0
[pid=51399] ppid=51397 vsize=480956 memory=341132 CPUtime=3600.05 cores=5,7
/proc/51399/stat : 51399 (roundingsat) R 51397 51397 50566 0 -1 4194304 78807 0 0 0 359046 959 0 0 20 0 1 0 51221522 492498944 85283 18446744073709551615 4227072 8923433 140731350041088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 30609408 140731350043042 140731350043176 140731350043176 140731350048746 0
/proc/51399/statm: 120239 85283 2400 1147 0 107666 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 485148 KiB
Current children cumulated memory: 344204 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.4 s]
# the end of solver process 51397 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.002069 s
Sleeping 2 seconds
[startup+3610.41 s]
# the end of solver process 51399 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3590.46 s, system=9.60447 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
Child status: 2
Real time (s): 3610.41
CPU time (s): 3600.07
CPU user time (s): 3590.46
CPU system time (s): 9.60447
CPU usage (%): 99.7135
Max. virtual memory (cumulated for all children) (KiB): 485148
Max. memory (cumulated for all children) (KiB): 344204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.46
system time used= 9.60447
maximum resident set size= 341388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79033
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= 242
involuntary context switches= 2416
# summary of solver processes directly reported to runsolver:
# pid: 51397,51399
# total CPU time (s): 3600.07
# total CPU user time (s): 3590.46
# total CPU system time (s): 9.60447
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.59229 second user time and 16.3321 second system time
The end
Begin job on nodeC015 at 2025-07-01 09:37:20
IDJOB=4489276
IDBENCH=147544
IDSOLVER=3350
FILE ID=nodeC015/4489276-1751355440
RUNJOBID= nodeC015-1751348216-50579
SLURM_JOB_ID= 9598120
Free space on /tmp= 432996 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489276-1751355440/watcher-4489276-1751355440 -o /tmp/evaluation-result-4489276-1751355440/solver-4489276-1751355440 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751348216-50579 --watchdog 3760 run-opt.sh HOME/instance-4489276-1751355440.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c9dbdd12375057f4b915bf781d219fad
RANDOM SEED=1503438144
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 : 3600.053
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.074
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.282
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 : 3599.851
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.070
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 : 3482.788
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 : 3599.033
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.051
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: 130092868 kB
MemAvailable: 129739604 kB
Buffers: 1508 kB
Cached: 409084 kB
SwapCached: 3876 kB
Active: 353108 kB
Inactive: 175000 kB
Active(anon): 82588 kB
Inactive(anon): 49080 kB
Active(file): 270520 kB
Inactive(file): 125920 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 29528 kB
Writeback: 0 kB
AnonPages: 116816 kB
Mapped: 112416 kB
Shmem: 14144 kB
KReclaimable: 132392 kB
Slab: 222628 kB
SReclaimable: 132392 kB
SUnreclaim: 90236 kB
KernelStack: 4304 kB
PageTables: 3388 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 468828 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 32768 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 10:37:31