0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.03 c #variables 470 #constraints 469
0.00/0.03 c objective is ce32
0.00/0.03 c initial watched CF 32, 64, 128, Arb: 6 , 0 , 0 , 0
0.00/0.03 c initial counting CF 32, 64, 128, Arb: 464 , 0 , 0 , 0
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.004731
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.004902
0.06/0.18 c GLOBAL bounds - >= 0 @ 0.142704
0.06/0.19 c GLOBAL bounds - >= 0 @ 0.15152
0.17/0.23 c GLOBAL bounds - >= 0 @ 0.19101
0.27/0.31 c #Conflicts: 1000 | #Constraints: 1475
0.27/0.31 c GLOBAL bounds - >= 0 @ 0.269386
0.27/0.38 c GLOBAL bounds - >= 0 @ 0.337468
0.47/0.55 c #Conflicts: 2000 | #Constraints: 2479
0.47/0.55 c INPROCESSING
0.47/0.55 c GARBAGE COLLECT
0.47/0.55 c GLOBAL bounds - >= 0 @ 0.492355
0.57/0.63 c GLOBAL bounds - >= 0 @ 0.57468
0.66/0.77 c #Conflicts: 3000 | #Constraints: 2495
0.66/0.77 c GLOBAL bounds - >= 0 @ 0.705643
0.97/1.06 c GLOBAL bounds - >= 0 @ 0.994994
1.06/1.13 c #Conflicts: 4000 | #Constraints: 3499
1.06/1.13 c GLOBAL bounds - >= 0 @ 1.06319
1.36/1.40 c INPROCESSING
1.36/1.40 c GARBAGE COLLECT
1.36/1.40 c GLOBAL bounds - >= 0 @ 1.32146
2.66/2.74 c #Conflicts: 5000 | #Constraints: 2905
2.66/2.74 c #Conflicts: 6000 | #Constraints: 3905
2.66/2.74 c INPROCESSING
2.66/2.74 c GARBAGE COLLECT
2.66/2.74 c #Conflicts: 7000 | #Constraints: 2915
2.66/2.74 c #Conflicts: 8000 | #Constraints: 3915
2.66/2.74 c GLOBAL bounds - >= 0 @ 2.62379
2.96/3.03 c #Conflicts: 9000 | #Constraints: 4917
2.96/3.03 c INPROCESSING
2.96/3.03 c GARBAGE COLLECT
2.96/3.03 c GLOBAL bounds - >= 0 @ 2.90868
13.73/13.80 c #Conflicts: 10000 | #Constraints: 3624
13.73/13.80 c #Conflicts: 11000 | #Constraints: 4624
13.73/13.80 c #Conflicts: 12000 | #Constraints: 5624
13.73/13.80 c INPROCESSING
13.73/13.80 c GARBAGE COLLECT
13.73/13.80 c #Conflicts: 13000 | #Constraints: 4077
13.73/13.80 c #Conflicts: 14000 | #Constraints: 5077
13.73/13.80 c #Conflicts: 15000 | #Constraints: 6077
13.73/13.80 c INPROCESSING
13.73/13.80 c GARBAGE COLLECT
13.73/13.80 c #Conflicts: 16000 | #Constraints: 4305
13.73/13.80 c #Conflicts: 17000 | #Constraints: 5305
13.73/13.80 c #Conflicts: 18000 | #Constraints: 6305
13.73/13.80 c INPROCESSING
13.73/13.80 c GARBAGE COLLECT
13.73/13.80 c #Conflicts: 19000 | #Constraints: 4318
13.73/13.80 c #Conflicts: 20000 | #Constraints: 5318
13.73/13.80 c #Conflicts: 21000 | #Constraints: 6318
13.73/13.80 c INPROCESSING
13.73/13.80 c GARBAGE COLLECT
13.73/13.80 c #Conflicts: 22000 | #Constraints: 4124
13.73/13.80 c #Conflicts: 23000 | #Constraints: 5124
13.73/13.80 c #Conflicts: 24000 | #Constraints: 6124
13.73/13.80 c #Conflicts: 25000 | #Constraints: 7124
13.73/13.80 c INPROCESSING
13.73/13.80 c GARBAGE COLLECT
13.73/13.80 c #Conflicts: 26000 | #Constraints: 4725
13.73/13.80 c #Conflicts: 27000 | #Constraints: 5725
13.73/13.80 c #Conflicts: 28000 | #Constraints: 6725
13.73/13.80 c #Conflicts: 29000 | #Constraints: 7725
13.73/13.80 c INPROCESSING
13.73/13.80 c GARBAGE COLLECT
13.73/13.80 c #Conflicts: 30000 | #Constraints: 5127
13.73/13.80 c #Conflicts: 31000 | #Constraints: 6127
13.73/13.80 c #Conflicts: 32000 | #Constraints: 7127
13.73/13.80 c GLOBAL bounds - >= 0 @ 13.4764
32.08/32.26 c #Conflicts: 33000 | #Constraints: 8129
32.08/32.26 c INPROCESSING
32.08/32.26 c GARBAGE COLLECT
32.08/32.26 c #Conflicts: 34000 | #Constraints: 5336
32.08/32.26 c #Conflicts: 35000 | #Constraints: 6336
32.08/32.26 c #Conflicts: 36000 | #Constraints: 7336
32.08/32.26 c #Conflicts: 37000 | #Constraints: 8336
32.08/32.26 c INPROCESSING
32.08/32.26 c GARBAGE COLLECT
32.08/32.26 c #Conflicts: 38000 | #Constraints: 5333
32.08/32.26 c #Conflicts: 39000 | #Constraints: 6333
32.08/32.26 c #Conflicts: 40000 | #Constraints: 7333
32.08/32.26 c #Conflicts: 41000 | #Constraints: 8333
32.08/32.26 c INPROCESSING
32.08/32.26 c GARBAGE COLLECT
32.08/32.26 c #Conflicts: 42000 | #Constraints: 5141
32.08/32.26 c #Conflicts: 43000 | #Constraints: 6141
32.08/32.26 c #Conflicts: 44000 | #Constraints: 7141
32.08/32.26 c #Conflicts: 45000 | #Constraints: 8141
32.08/32.26 c #Conflicts: 46000 | #Constraints: 9141
32.08/32.26 c INPROCESSING
32.08/32.26 c GARBAGE COLLECT
32.08/32.26 c #Conflicts: 47000 | #Constraints: 5739
32.08/32.26 c #Conflicts: 48000 | #Constraints: 6739
32.08/32.26 c #Conflicts: 49000 | #Constraints: 7739
32.08/32.26 c #Conflicts: 50000 | #Constraints: 8739
32.08/32.26 c #Conflicts: 51000 | #Constraints: 9739
32.08/32.26 c INPROCESSING
32.08/32.26 c GARBAGE COLLECT
32.08/32.26 c #Conflicts: 52000 | #Constraints: 6137
32.08/32.26 c #Conflicts: 53000 | #Constraints: 7137
32.08/32.26 c #Conflicts: 54000 | #Constraints: 8137
32.08/32.26 c #Conflicts: 55000 | #Constraints: 9137
32.08/32.26 c #Conflicts: 56000 | #Constraints: 10137
32.08/32.26 c INPROCESSING
32.08/32.26 c GARBAGE COLLECT
32.08/32.26 c #Conflicts: 57000 | #Constraints: 6342
32.08/32.26 c #Conflicts: 58000 | #Constraints: 7342
32.08/32.26 c #Conflicts: 59000 | #Constraints: 8342
32.08/32.26 c #Conflicts: 60000 | #Constraints: 9342
32.08/32.26 c #Conflicts: 61000 | #Constraints: 10342
32.08/32.26 c INPROCESSING
32.08/32.26 c GARBAGE COLLECT
32.08/32.26 c #Conflicts: 62000 | #Constraints: 6337
32.08/32.26 c #Conflicts: 63000 | #Constraints: 7337
32.08/32.26 c #Conflicts: 64000 | #Constraints: 8337
32.08/32.26 c #Conflicts: 65000 | #Constraints: 9337
32.08/32.26 c GLOBAL bounds - >= 0 @ 31.6428
33.88/34.04 c #Conflicts: 66000 | #Constraints: 10339
33.88/34.04 c INPROCESSING
33.88/34.04 c GARBAGE COLLECT
33.88/34.04 c #Conflicts: 67000 | #Constraints: 6142
33.88/34.04 c #Conflicts: 68000 | #Constraints: 7142
33.88/34.04 c #Conflicts: 69000 | #Constraints: 8142
33.88/34.04 c GLOBAL bounds - >= 0 @ 33.4004
34.27/34.49 c GLOBAL bounds - >= 0 @ 33.8453
35.07/35.24 c #Conflicts: 70000 | #Constraints: 9146
35.07/35.24 c #Conflicts: 71000 | #Constraints: 10146
35.07/35.24 c GLOBAL bounds - >= 0 @ 34.5836
36.07/36.23 c #Conflicts: 72000 | #Constraints: 11148
36.07/36.23 c INPROCESSING
36.07/36.23 c GARBAGE COLLECT
36.07/36.23 c GLOBAL bounds - >= 0 @ 35.5574
36.57/36.71 c #Conflicts: 73000 | #Constraints: 6742
36.57/36.71 c GLOBAL bounds - >= 0 @ 36.0247
51.23/51.45 c #Conflicts: 74000 | #Constraints: 7744
51.23/51.45 c #Conflicts: 75000 | #Constraints: 8744
51.23/51.45 c #Conflicts: 76000 | #Constraints: 9744
51.23/51.45 c #Conflicts: 77000 | #Constraints: 10744
51.23/51.45 c #Conflicts: 78000 | #Constraints: 11744
51.23/51.45 c INPROCESSING
51.23/51.45 c GARBAGE COLLECT
51.23/51.45 c #Conflicts: 79000 | #Constraints: 7140
51.23/51.45 c #Conflicts: 80000 | #Constraints: 8140
51.23/51.45 c #Conflicts: 81000 | #Constraints: 9140
51.23/51.45 c #Conflicts: 82000 | #Constraints: 10140
51.23/51.45 c #Conflicts: 83000 | #Constraints: 11140
51.23/51.45 c #Conflicts: 84000 | #Constraints: 12140
51.23/51.45 c INPROCESSING
51.23/51.45 c GARBAGE COLLECT
51.23/51.45 c #Conflicts: 85000 | #Constraints: 7342
51.23/51.45 c #Conflicts: 86000 | #Constraints: 8342
51.23/51.45 c #Conflicts: 87000 | #Constraints: 9342
51.23/51.45 c #Conflicts: 88000 | #Constraints: 10342
51.23/51.45 c #Conflicts: 89000 | #Constraints: 11342
51.23/51.45 c #Conflicts: 90000 | #Constraints: 12342
51.23/51.45 c INPROCESSING
51.23/51.45 c GARBAGE COLLECT
51.23/51.45 c GLOBAL bounds - >= 0 @ 50.5891
51.33/51.55 c GLOBAL bounds - >= 0 @ 50.6895
62.00/62.24 c #Conflicts: 91000 | #Constraints: 7348
62.00/62.24 c #Conflicts: 92000 | #Constraints: 8348
62.00/62.24 c #Conflicts: 93000 | #Constraints: 9348
62.00/62.24 c #Conflicts: 94000 | #Constraints: 10348
62.00/62.24 c #Conflicts: 95000 | #Constraints: 11348
62.00/62.24 c #Conflicts: 96000 | #Constraints: 12348
62.00/62.24 c INPROCESSING
62.00/62.24 c GARBAGE COLLECT
62.00/62.24 c #Conflicts: 97000 | #Constraints: 7152
62.00/62.24 c #Conflicts: 98000 | #Constraints: 8152
62.00/62.24 c #Conflicts: 99000 | #Constraints: 9152
62.00/62.24 c #Conflicts: 100000 | #Constraints: 10152
62.00/62.24 c #Conflicts: 101000 | #Constraints: 11152
62.00/62.24 c #Conflicts: 102000 | #Constraints: 12152
62.00/62.24 c #Conflicts: 103000 | #Constraints: 13152
62.00/62.24 c INPROCESSING
62.00/62.24 c GARBAGE COLLECT
62.00/62.24 c #Conflicts: 104000 | #Constraints: 7748
62.00/62.24 c GLOBAL bounds - >= 0 @ 61.2492
62.20/62.49 c #Conflicts: 105000 | #Constraints: 8750
62.20/62.49 c GLOBAL bounds - >= 0 @ 61.4964
68.49/68.73 c #Conflicts: 106000 | #Constraints: 9752
68.49/68.73 c #Conflicts: 107000 | #Constraints: 10752
68.49/68.73 c #Conflicts: 108000 | #Constraints: 11752
68.49/68.73 c #Conflicts: 109000 | #Constraints: 12752
68.49/68.73 c #Conflicts: 110000 | #Constraints: 13752
68.49/68.73 c INPROCESSING
68.49/68.73 c GARBAGE COLLECT
68.49/68.73 c #Conflicts: 111000 | #Constraints: 8151
68.49/68.73 c #Conflicts: 112000 | #Constraints: 9151
68.49/68.73 c GLOBAL bounds - >= 0 @ 67.6428
72.47/72.74 c #Conflicts: 113000 | #Constraints: 10153
72.47/72.74 c #Conflicts: 114000 | #Constraints: 11153
72.47/72.74 c #Conflicts: 115000 | #Constraints: 12153
72.47/72.74 c #Conflicts: 116000 | #Constraints: 13153
72.47/72.74 c #Conflicts: 117000 | #Constraints: 14153
72.47/72.74 c INPROCESSING
72.47/72.74 c GARBAGE COLLECT
72.47/72.74 c GLOBAL bounds - >= 0 @ 71.6038
78.56/78.81 c #Conflicts: 118000 | #Constraints: 8358
78.56/78.81 c #Conflicts: 119000 | #Constraints: 9358
78.56/78.81 c #Conflicts: 120000 | #Constraints: 10358
78.56/78.81 c #Conflicts: 121000 | #Constraints: 11358
78.56/78.81 c #Conflicts: 122000 | #Constraints: 12358
78.56/78.81 c #Conflicts: 123000 | #Constraints: 13358
78.56/78.81 c #Conflicts: 124000 | #Constraints: 14358
78.56/78.81 c INPROCESSING
78.56/78.81 c GARBAGE COLLECT
78.56/78.81 c #Conflicts: 125000 | #Constraints: 8363
78.56/78.81 c GLOBAL bounds - >= 0 @ 77.5982
138.49/138.99 c #Conflicts: 126000 | #Constraints: 9365
138.49/138.99 c #Conflicts: 127000 | #Constraints: 10365
138.49/138.99 c #Conflicts: 128000 | #Constraints: 11365
138.49/138.99 c #Conflicts: 129000 | #Constraints: 12365
138.49/138.99 c #Conflicts: 130000 | #Constraints: 13365
138.49/138.99 c #Conflicts: 131000 | #Constraints: 14365
138.49/138.99 c INPROCESSING
138.49/138.99 c GARBAGE COLLECT
138.49/138.99 c #Conflicts: 132000 | #Constraints: 8169
138.49/138.99 c #Conflicts: 133000 | #Constraints: 9169
138.49/138.99 c #Conflicts: 134000 | #Constraints: 10169
138.49/138.99 c #Conflicts: 135000 | #Constraints: 11169
138.49/138.99 c #Conflicts: 136000 | #Constraints: 12169
138.49/138.99 c #Conflicts: 137000 | #Constraints: 13169
138.49/138.99 c #Conflicts: 138000 | #Constraints: 14169
138.49/138.99 c #Conflicts: 139000 | #Constraints: 15169
138.49/138.99 c INPROCESSING
138.49/138.99 c GARBAGE COLLECT
138.49/138.99 c #Conflicts: 140000 | #Constraints: 8766
138.49/138.99 c #Conflicts: 141000 | #Constraints: 9766
138.49/138.99 c #Conflicts: 142000 | #Constraints: 10766
138.49/138.99 c #Conflicts: 143000 | #Constraints: 11766
138.49/138.99 c #Conflicts: 144000 | #Constraints: 12766
138.49/138.99 c #Conflicts: 145000 | #Constraints: 13766
138.49/138.99 c #Conflicts: 146000 | #Constraints: 14766
138.49/138.99 c #Conflicts: 147000 | #Constraints: 15766
138.49/138.99 c INPROCESSING
138.49/138.99 c GARBAGE COLLECT
138.49/138.99 c #Conflicts: 148000 | #Constraints: 9165
138.49/138.99 c #Conflicts: 149000 | #Constraints: 10165
138.49/138.99 c #Conflicts: 150000 | #Constraints: 11165
138.49/138.99 c #Conflicts: 151000 | #Constraints: 12165
138.49/138.99 c #Conflicts: 152000 | #Constraints: 13165
138.49/138.99 c #Conflicts: 153000 | #Constraints: 14165
138.49/138.99 c #Conflicts: 154000 | #Constraints: 15165
138.49/138.99 c #Conflicts: 155000 | #Constraints: 16165
138.49/138.99 c INPROCESSING
138.49/138.99 c GARBAGE COLLECT
138.49/138.99 c #Conflicts: 156000 | #Constraints: 9364
138.49/138.99 c #Conflicts: 157000 | #Constraints: 10364
138.49/138.99 c #Conflicts: 158000 | #Constraints: 11364
138.49/138.99 c #Conflicts: 159000 | #Constraints: 12364
138.49/138.99 c #Conflicts: 160000 | #Constraints: 13364
138.49/138.99 c #Conflicts: 161000 | #Constraints: 14364
138.49/138.99 c #Conflicts: 162000 | #Constraints: 15364
138.49/138.99 c #Conflicts: 163000 | #Constraints: 16364
138.49/138.99 c INPROCESSING
138.49/138.99 c GARBAGE COLLECT
138.49/138.99 c #Conflicts: 164000 | #Constraints: 9366
138.49/138.99 c #Conflicts: 165000 | #Constraints: 10366
138.49/138.99 c #Conflicts: 166000 | #Constraints: 11366
138.49/138.99 c #Conflicts: 167000 | #Constraints: 12366
138.49/138.99 c #Conflicts: 168000 | #Constraints: 13366
138.49/138.99 c #Conflicts: 169000 | #Constraints: 14366
138.49/138.99 c #Conflicts: 170000 | #Constraints: 15366
138.49/138.99 c #Conflicts: 171000 | #Constraints: 16366
138.49/138.99 c INPROCESSING
138.49/138.99 c GARBAGE COLLECT
138.49/138.99 c #Conflicts: 172000 | #Constraints: 9166
138.49/138.99 c #Conflicts: 173000 | #Constraints: 10166
138.49/138.99 c #Conflicts: 174000 | #Constraints: 11166
138.49/138.99 c #Conflicts: 175000 | #Constraints: 12166
138.49/138.99 c #Conflicts: 176000 | #Constraints: 13166
138.49/138.99 c #Conflicts: 177000 | #Constraints: 14166
138.49/138.99 c #Conflicts: 178000 | #Constraints: 15166
138.49/138.99 c #Conflicts: 179000 | #Constraints: 16166
138.49/138.99 c #Conflicts: 180000 | #Constraints: 17166
138.49/138.99 c INPROCESSING
138.49/138.99 c GARBAGE COLLECT
138.49/138.99 c #Conflicts: 181000 | #Constraints: 9765
138.49/138.99 c #Conflicts: 182000 | #Constraints: 10765
138.49/138.99 c #Conflicts: 183000 | #Constraints: 11765
138.49/138.99 c #Conflicts: 184000 | #Constraints: 12765
138.49/138.99 c #Conflicts: 185000 | #Constraints: 13765
138.49/138.99 c #Conflicts: 186000 | #Constraints: 14765
138.49/138.99 c #Conflicts: 187000 | #Constraints: 15765
138.49/138.99 c #Conflicts: 188000 | #Constraints: 16765
138.49/138.99 c #Conflicts: 189000 | #Constraints: 17765
138.49/138.99 c INPROCESSING
138.49/138.99 c GARBAGE COLLECT
138.49/138.99 c #Conflicts: 190000 | #Constraints: 10166
138.49/138.99 c #Conflicts: 191000 | #Constraints: 11166
138.49/138.99 c #Conflicts: 192000 | #Constraints: 12166
138.49/138.99 c #Conflicts: 193000 | #Constraints: 13166
138.49/138.99 c #Conflicts: 194000 | #Constraints: 14166
138.49/138.99 c #Conflicts: 195000 | #Constraints: 15166
138.49/138.99 c #Conflicts: 196000 | #Constraints: 16166
138.49/138.99 c #Conflicts: 197000 | #Constraints: 17166
138.49/138.99 c #Conflicts: 198000 | #Constraints: 18166
138.49/138.99 c INPROCESSING
138.49/138.99 c GARBAGE COLLECT
138.49/138.99 c #Conflicts: 199000 | #Constraints: 10368
210.79/211.46 c #Conflicts: 200000 | #Constraints: 11368
210.79/211.46 c #Conflicts: 201000 | #Constraints: 12368
210.79/211.46 c #Conflicts: 202000 | #Constraints: 13368
210.79/211.46 c #Conflicts: 203000 | #Constraints: 14368
210.79/211.46 c #Conflicts: 204000 | #Constraints: 15368
210.79/211.46 c #Conflicts: 205000 | #Constraints: 16368
210.79/211.46 c #Conflicts: 206000 | #Constraints: 17368
210.79/211.46 c #Conflicts: 207000 | #Constraints: 18368
210.79/211.46 c INPROCESSING
210.79/211.46 c GARBAGE COLLECT
210.79/211.46 c #Conflicts: 208000 | #Constraints: 10361
210.79/211.46 c #Conflicts: 209000 | #Constraints: 11361
210.79/211.46 c #Conflicts: 210000 | #Constraints: 12361
210.79/211.46 c #Conflicts: 211000 | #Constraints: 13361
210.79/211.46 c #Conflicts: 212000 | #Constraints: 14361
210.79/211.46 c #Conflicts: 213000 | #Constraints: 15361
210.79/211.46 c #Conflicts: 214000 | #Constraints: 16361
210.79/211.46 c #Conflicts: 215000 | #Constraints: 17361
210.79/211.46 c #Conflicts: 216000 | #Constraints: 18361
210.79/211.46 c INPROCESSING
210.79/211.46 c GARBAGE COLLECT
210.79/211.46 c #Conflicts: 217000 | #Constraints: 10160
210.79/211.46 c #Conflicts: 218000 | #Constraints: 11160
210.79/211.46 c #Conflicts: 219000 | #Constraints: 12160
210.79/211.46 c #Conflicts: 220000 | #Constraints: 13160
210.79/211.46 c #Conflicts: 221000 | #Constraints: 14160
210.79/211.46 c #Conflicts: 222000 | #Constraints: 15160
210.79/211.46 c #Conflicts: 223000 | #Constraints: 16160
210.79/211.46 c #Conflicts: 224000 | #Constraints: 17160
210.79/211.46 c #Conflicts: 225000 | #Constraints: 18160
210.79/211.46 c #Conflicts: 226000 | #Constraints: 19160
210.79/211.46 c INPROCESSING
210.79/211.46 c GARBAGE COLLECT
210.79/211.46 c #Conflicts: 227000 | #Constraints: 10761
210.79/211.46 c #Conflicts: 228000 | #Constraints: 11761
210.79/211.46 c #Conflicts: 229000 | #Constraints: 12761
210.79/211.46 c #Conflicts: 230000 | #Constraints: 13761
210.79/211.46 c #Conflicts: 231000 | #Constraints: 14761
210.79/211.46 c #Conflicts: 232000 | #Constraints: 15761
210.79/211.46 c #Conflicts: 233000 | #Constraints: 16761
210.79/211.46 c #Conflicts: 234000 | #Constraints: 17761
210.79/211.46 c #Conflicts: 235000 | #Constraints: 18761
210.79/211.46 c #Conflicts: 236000 | #Constraints: 19761
210.79/211.46 c INPROCESSING
210.79/211.46 c GARBAGE COLLECT
210.79/211.46 c #Conflicts: 237000 | #Constraints: 11162
210.79/211.46 c #Conflicts: 238000 | #Constraints: 12162
210.79/211.46 c #Conflicts: 239000 | #Constraints: 13162
210.79/211.46 c #Conflicts: 240000 | #Constraints: 14162
210.79/211.46 c #Conflicts: 241000 | #Constraints: 15162
210.79/211.46 c #Conflicts: 242000 | #Constraints: 16162
210.79/211.46 c #Conflicts: 243000 | #Constraints: 17162
210.79/211.46 c #Conflicts: 244000 | #Constraints: 18162
210.79/211.46 c #Conflicts: 245000 | #Constraints: 19162
210.79/211.46 c #Conflicts: 246000 | #Constraints: 20162
210.79/211.46 c INPROCESSING
210.79/211.46 c GARBAGE COLLECT
210.79/211.46 c #Conflicts: 247000 | #Constraints: 11365
210.79/211.46 c #Conflicts: 248000 | #Constraints: 12365
210.79/211.46 c #Conflicts: 249000 | #Constraints: 13365
210.79/211.46 c #Conflicts: 250000 | #Constraints: 14365
210.79/211.46 c #Conflicts: 251000 | #Constraints: 15365
210.79/211.46 c #Conflicts: 252000 | #Constraints: 16365
210.79/211.46 c #Conflicts: 253000 | #Constraints: 17365
210.79/211.46 c #Conflicts: 254000 | #Constraints: 18365
210.79/211.46 c #Conflicts: 255000 | #Constraints: 19365
210.79/211.46 c #Conflicts: 256000 | #Constraints: 20365
210.79/211.46 c INPROCESSING
210.79/211.46 c GARBAGE COLLECT
210.79/211.46 c #Conflicts: 257000 | #Constraints: 11368
210.79/211.46 c #Conflicts: 258000 | #Constraints: 12368
210.79/211.46 c #Conflicts: 259000 | #Constraints: 13368
210.79/211.46 c #Conflicts: 260000 | #Constraints: 14368
210.79/211.46 c #Conflicts: 261000 | #Constraints: 15368
210.79/211.46 c #Conflicts: 262000 | #Constraints: 16368
210.79/211.46 c #Conflicts: 263000 | #Constraints: 17368
210.79/211.46 c #Conflicts: 264000 | #Constraints: 18368
210.79/211.46 c #Conflicts: 265000 | #Constraints: 19368
210.79/211.46 c #Conflicts: 266000 | #Constraints: 20368
210.79/211.46 c INPROCESSING
210.79/211.46 c GARBAGE COLLECT
210.79/211.46 c #Conflicts: 267000 | #Constraints: 11169
210.79/211.46 c #Conflicts: 268000 | #Constraints: 12169
210.79/211.46 c #Conflicts: 269000 | #Constraints: 13169
210.79/211.46 c #Conflicts: 270000 | #Constraints: 14169
210.79/211.46 c #Conflicts: 271000 | #Constraints: 15169
210.79/211.46 c #Conflicts: 272000 | #Constraints: 16169
210.79/211.46 c #Conflicts: 273000 | #Constraints: 17169
292.56/293.43 c #Conflicts: 274000 | #Constraints: 18169
292.56/293.43 c #Conflicts: 275000 | #Constraints: 19169
292.56/293.43 c #Conflicts: 276000 | #Constraints: 20169
292.56/293.43 c #Conflicts: 277000 | #Constraints: 21169
292.56/293.43 c INPROCESSING
292.56/293.43 c GARBAGE COLLECT
292.56/293.43 c #Conflicts: 278000 | #Constraints: 11768
292.56/293.43 c #Conflicts: 279000 | #Constraints: 12768
292.56/293.43 c #Conflicts: 280000 | #Constraints: 13768
292.56/293.43 c #Conflicts: 281000 | #Constraints: 14768
292.56/293.43 c #Conflicts: 282000 | #Constraints: 15768
292.56/293.43 c #Conflicts: 283000 | #Constraints: 16768
292.56/293.43 c #Conflicts: 284000 | #Constraints: 17768
292.56/293.43 c #Conflicts: 285000 | #Constraints: 18768
292.56/293.43 c #Conflicts: 286000 | #Constraints: 19768
292.56/293.43 c #Conflicts: 287000 | #Constraints: 20768
292.56/293.43 c #Conflicts: 288000 | #Constraints: 21768
292.56/293.43 c INPROCESSING
292.56/293.43 c GARBAGE COLLECT
292.56/293.43 c #Conflicts: 289000 | #Constraints: 12170
292.56/293.43 c #Conflicts: 290000 | #Constraints: 13170
292.56/293.43 c #Conflicts: 291000 | #Constraints: 14170
292.56/293.43 c #Conflicts: 292000 | #Constraints: 15170
292.56/293.43 c #Conflicts: 293000 | #Constraints: 16170
292.56/293.43 c #Conflicts: 294000 | #Constraints: 17170
292.56/293.43 c #Conflicts: 295000 | #Constraints: 18170
292.56/293.43 c #Conflicts: 296000 | #Constraints: 19170
292.56/293.43 c #Conflicts: 297000 | #Constraints: 20170
292.56/293.43 c #Conflicts: 298000 | #Constraints: 21170
292.56/293.43 c #Conflicts: 299000 | #Constraints: 22170
292.56/293.43 c INPROCESSING
292.56/293.43 c GARBAGE COLLECT
292.56/293.43 c #Conflicts: 300000 | #Constraints: 12371
292.56/293.43 c #Conflicts: 301000 | #Constraints: 13371
292.56/293.43 c #Conflicts: 302000 | #Constraints: 14371
292.56/293.43 c #Conflicts: 303000 | #Constraints: 15371
292.56/293.43 c #Conflicts: 304000 | #Constraints: 16371
292.56/293.43 c #Conflicts: 305000 | #Constraints: 17371
292.56/293.43 c #Conflicts: 306000 | #Constraints: 18371
292.56/293.43 c #Conflicts: 307000 | #Constraints: 19371
292.56/293.43 c #Conflicts: 308000 | #Constraints: 20371
292.56/293.43 c #Conflicts: 309000 | #Constraints: 21371
292.56/293.43 c #Conflicts: 310000 | #Constraints: 22371
292.56/293.43 c INPROCESSING
292.56/293.43 c GARBAGE COLLECT
292.56/293.43 c #Conflicts: 311000 | #Constraints: 12372
292.56/293.43 c #Conflicts: 312000 | #Constraints: 13372
292.56/293.43 c #Conflicts: 313000 | #Constraints: 14372
292.56/293.43 c #Conflicts: 314000 | #Constraints: 15372
292.56/293.43 c #Conflicts: 315000 | #Constraints: 16372
292.56/293.43 c #Conflicts: 316000 | #Constraints: 17372
292.56/293.43 c #Conflicts: 317000 | #Constraints: 18372
292.56/293.43 c #Conflicts: 318000 | #Constraints: 19372
292.56/293.43 c #Conflicts: 319000 | #Constraints: 20372
292.56/293.43 c #Conflicts: 320000 | #Constraints: 21372
292.56/293.43 c #Conflicts: 321000 | #Constraints: 22372
292.56/293.43 c INPROCESSING
292.56/293.43 c GARBAGE COLLECT
292.56/293.43 c #Conflicts: 322000 | #Constraints: 12168
292.56/293.43 c #Conflicts: 323000 | #Constraints: 13168
292.56/293.43 c #Conflicts: 324000 | #Constraints: 14168
292.56/293.43 c #Conflicts: 325000 | #Constraints: 15168
292.56/293.43 c #Conflicts: 326000 | #Constraints: 16168
292.56/293.43 c #Conflicts: 327000 | #Constraints: 17168
292.56/293.43 c #Conflicts: 328000 | #Constraints: 18168
292.56/293.43 c #Conflicts: 329000 | #Constraints: 19168
292.56/293.43 c #Conflicts: 330000 | #Constraints: 20168
292.56/293.43 c #Conflicts: 331000 | #Constraints: 21168
292.56/293.43 c #Conflicts: 332000 | #Constraints: 22168
292.56/293.43 c #Conflicts: 333000 | #Constraints: 23168
292.56/293.43 c INPROCESSING
292.56/293.43 c GARBAGE COLLECT
292.56/293.43 c #Conflicts: 334000 | #Constraints: 12767
292.56/293.43 c #Conflicts: 335000 | #Constraints: 13767
292.56/293.43 c #Conflicts: 336000 | #Constraints: 14767
292.56/293.43 c #Conflicts: 337000 | #Constraints: 15767
292.56/293.43 c #Conflicts: 338000 | #Constraints: 16767
292.56/293.43 c #Conflicts: 339000 | #Constraints: 17767
292.56/293.43 c #Conflicts: 340000 | #Constraints: 18767
292.56/293.43 c #Conflicts: 341000 | #Constraints: 19767
292.56/293.43 c #Conflicts: 342000 | #Constraints: 20767
292.56/293.43 c #Conflicts: 343000 | #Constraints: 21767
292.56/293.43 c #Conflicts: 344000 | #Constraints: 22767
292.56/293.43 c #Conflicts: 345000 | #Constraints: 23767
292.56/293.43 c INPROCESSING
292.56/293.43 c GARBAGE COLLECT
292.56/293.43 c #Conflicts: 346000 | #Constraints: 13169
292.56/293.43 c #Conflicts: 347000 | #Constraints: 14169
381.74/382.82 c #Conflicts: 348000 | #Constraints: 15169
381.74/382.82 c #Conflicts: 349000 | #Constraints: 16169
381.74/382.82 c #Conflicts: 350000 | #Constraints: 17169
381.74/382.82 c #Conflicts: 351000 | #Constraints: 18169
381.74/382.82 c #Conflicts: 352000 | #Constraints: 19169
381.74/382.82 c #Conflicts: 353000 | #Constraints: 20169
381.74/382.82 c #Conflicts: 354000 | #Constraints: 21169
381.74/382.82 c #Conflicts: 355000 | #Constraints: 22169
381.74/382.82 c #Conflicts: 356000 | #Constraints: 23169
381.74/382.82 c #Conflicts: 357000 | #Constraints: 24169
381.74/382.82 c INPROCESSING
381.74/382.82 c GARBAGE COLLECT
381.74/382.82 c #Conflicts: 358000 | #Constraints: 13373
381.74/382.82 c #Conflicts: 359000 | #Constraints: 14373
381.74/382.82 c #Conflicts: 360000 | #Constraints: 15373
381.74/382.82 c #Conflicts: 361000 | #Constraints: 16373
381.74/382.82 c #Conflicts: 362000 | #Constraints: 17373
381.74/382.82 c #Conflicts: 363000 | #Constraints: 18373
381.74/382.82 c #Conflicts: 364000 | #Constraints: 19373
381.74/382.82 c #Conflicts: 365000 | #Constraints: 20373
381.74/382.82 c #Conflicts: 366000 | #Constraints: 21373
381.74/382.82 c #Conflicts: 367000 | #Constraints: 22373
381.74/382.82 c #Conflicts: 368000 | #Constraints: 23373
381.74/382.82 c #Conflicts: 369000 | #Constraints: 24373
381.74/382.82 c INPROCESSING
381.74/382.82 c GARBAGE COLLECT
381.74/382.82 c #Conflicts: 370000 | #Constraints: 13375
381.74/382.82 c #Conflicts: 371000 | #Constraints: 14375
381.74/382.82 c #Conflicts: 372000 | #Constraints: 15375
381.74/382.82 c #Conflicts: 373000 | #Constraints: 16375
381.74/382.82 c #Conflicts: 374000 | #Constraints: 17375
381.74/382.82 c #Conflicts: 375000 | #Constraints: 18375
381.74/382.82 c #Conflicts: 376000 | #Constraints: 19375
381.74/382.82 c #Conflicts: 377000 | #Constraints: 20375
381.74/382.82 c #Conflicts: 378000 | #Constraints: 21375
381.74/382.82 c #Conflicts: 379000 | #Constraints: 22375
381.74/382.82 c #Conflicts: 380000 | #Constraints: 23375
381.74/382.82 c #Conflicts: 381000 | #Constraints: 24375
381.74/382.82 c INPROCESSING
381.74/382.82 c GARBAGE COLLECT
381.74/382.82 c #Conflicts: 382000 | #Constraints: 13171
381.74/382.82 c #Conflicts: 383000 | #Constraints: 14171
381.74/382.82 c #Conflicts: 384000 | #Constraints: 15171
381.74/382.82 c #Conflicts: 385000 | #Constraints: 16171
381.74/382.82 c #Conflicts: 386000 | #Constraints: 17171
381.74/382.82 c #Conflicts: 387000 | #Constraints: 18171
381.74/382.82 c #Conflicts: 388000 | #Constraints: 19171
381.74/382.82 c #Conflicts: 389000 | #Constraints: 20171
381.74/382.82 c #Conflicts: 390000 | #Constraints: 21171
381.74/382.82 c #Conflicts: 391000 | #Constraints: 22171
381.74/382.82 c #Conflicts: 392000 | #Constraints: 23171
381.74/382.82 c #Conflicts: 393000 | #Constraints: 24171
381.74/382.82 c #Conflicts: 394000 | #Constraints: 25171
381.74/382.82 c INPROCESSING
381.74/382.82 c GARBAGE COLLECT
381.74/382.82 c #Conflicts: 395000 | #Constraints: 13769
381.74/382.82 c #Conflicts: 396000 | #Constraints: 14769
381.74/382.82 c #Conflicts: 397000 | #Constraints: 15769
381.74/382.82 c #Conflicts: 398000 | #Constraints: 16769
381.74/382.82 c #Conflicts: 399000 | #Constraints: 17769
381.74/382.82 c #Conflicts: 400000 | #Constraints: 18769
381.74/382.82 c #Conflicts: 401000 | #Constraints: 19769
381.74/382.82 c #Conflicts: 402000 | #Constraints: 20769
381.74/382.82 c #Conflicts: 403000 | #Constraints: 21769
381.74/382.82 c #Conflicts: 404000 | #Constraints: 22769
381.74/382.82 c #Conflicts: 405000 | #Constraints: 23769
381.74/382.82 c #Conflicts: 406000 | #Constraints: 24769
381.74/382.82 c #Conflicts: 407000 | #Constraints: 25769
381.74/382.82 c INPROCESSING
381.74/382.82 c GARBAGE COLLECT
381.74/382.82 c #Conflicts: 408000 | #Constraints: 14166
381.74/382.82 c #Conflicts: 409000 | #Constraints: 15166
381.74/382.82 c #Conflicts: 410000 | #Constraints: 16166
381.74/382.82 c #Conflicts: 411000 | #Constraints: 17166
381.74/382.82 c #Conflicts: 412000 | #Constraints: 18166
381.74/382.82 c #Conflicts: 413000 | #Constraints: 19166
381.74/382.82 c #Conflicts: 414000 | #Constraints: 20166
381.74/382.82 c #Conflicts: 415000 | #Constraints: 21166
381.74/382.82 c #Conflicts: 416000 | #Constraints: 22166
381.74/382.82 c #Conflicts: 417000 | #Constraints: 23166
381.74/382.82 c #Conflicts: 418000 | #Constraints: 24166
381.74/382.82 c #Conflicts: 419000 | #Constraints: 25166
381.74/382.82 c #Conflicts: 420000 | #Constraints: 26166
381.74/382.82 c INPROCESSING
381.74/382.82 c GARBAGE COLLECT
381.74/382.82 c #Conflicts: 421000 | #Constraints: 14370
381.74/382.82 c #Conflicts: 422000 | #Constraints: 15370
480.39/481.74 c #Conflicts: 423000 | #Constraints: 16370
480.39/481.74 c #Conflicts: 424000 | #Constraints: 17370
480.39/481.74 c #Conflicts: 425000 | #Constraints: 18370
480.39/481.74 c #Conflicts: 426000 | #Constraints: 19370
480.39/481.74 c #Conflicts: 427000 | #Constraints: 20370
480.39/481.74 c #Conflicts: 428000 | #Constraints: 21370
480.39/481.74 c #Conflicts: 429000 | #Constraints: 22370
480.39/481.74 c #Conflicts: 430000 | #Constraints: 23370
480.39/481.74 c #Conflicts: 431000 | #Constraints: 24370
480.39/481.74 c #Conflicts: 432000 | #Constraints: 25370
480.39/481.74 c #Conflicts: 433000 | #Constraints: 26370
480.39/481.74 c INPROCESSING
480.39/481.74 c GARBAGE COLLECT
480.39/481.74 c #Conflicts: 434000 | #Constraints: 14371
480.39/481.74 c #Conflicts: 435000 | #Constraints: 15371
480.39/481.74 c #Conflicts: 436000 | #Constraints: 16371
480.39/481.74 c #Conflicts: 437000 | #Constraints: 17371
480.39/481.74 c #Conflicts: 438000 | #Constraints: 18371
480.39/481.74 c #Conflicts: 439000 | #Constraints: 19371
480.39/481.74 c #Conflicts: 440000 | #Constraints: 20371
480.39/481.74 c #Conflicts: 441000 | #Constraints: 21371
480.39/481.74 c #Conflicts: 442000 | #Constraints: 22371
480.39/481.74 c #Conflicts: 443000 | #Constraints: 23371
480.39/481.74 c #Conflicts: 444000 | #Constraints: 24371
480.39/481.74 c #Conflicts: 445000 | #Constraints: 25371
480.39/481.74 c #Conflicts: 446000 | #Constraints: 26371
480.39/481.74 c INPROCESSING
480.39/481.74 c GARBAGE COLLECT
480.39/481.74 c #Conflicts: 447000 | #Constraints: 14169
480.39/481.74 c #Conflicts: 448000 | #Constraints: 15169
480.39/481.74 c #Conflicts: 449000 | #Constraints: 16169
480.39/481.74 c #Conflicts: 450000 | #Constraints: 17169
480.39/481.74 c #Conflicts: 451000 | #Constraints: 18169
480.39/481.74 c #Conflicts: 452000 | #Constraints: 19169
480.39/481.74 c #Conflicts: 453000 | #Constraints: 20169
480.39/481.74 c #Conflicts: 454000 | #Constraints: 21169
480.39/481.74 c #Conflicts: 455000 | #Constraints: 22169
480.39/481.74 c #Conflicts: 456000 | #Constraints: 23169
480.39/481.74 c #Conflicts: 457000 | #Constraints: 24169
480.39/481.74 c #Conflicts: 458000 | #Constraints: 25169
480.39/481.74 c #Conflicts: 459000 | #Constraints: 26169
480.39/481.74 c #Conflicts: 460000 | #Constraints: 27169
480.39/481.74 c INPROCESSING
480.39/481.74 c GARBAGE COLLECT
480.39/481.74 c #Conflicts: 461000 | #Constraints: 14771
480.39/481.74 c #Conflicts: 462000 | #Constraints: 15771
480.39/481.74 c #Conflicts: 463000 | #Constraints: 16771
480.39/481.74 c #Conflicts: 464000 | #Constraints: 17771
480.39/481.74 c #Conflicts: 465000 | #Constraints: 18771
480.39/481.74 c #Conflicts: 466000 | #Constraints: 19771
480.39/481.74 c #Conflicts: 467000 | #Constraints: 20771
480.39/481.74 c #Conflicts: 468000 | #Constraints: 21771
480.39/481.74 c #Conflicts: 469000 | #Constraints: 22771
480.39/481.74 c #Conflicts: 470000 | #Constraints: 23771
480.39/481.74 c #Conflicts: 471000 | #Constraints: 24771
480.39/481.74 c #Conflicts: 472000 | #Constraints: 25771
480.39/481.74 c #Conflicts: 473000 | #Constraints: 26771
480.39/481.74 c #Conflicts: 474000 | #Constraints: 27771
480.39/481.74 c INPROCESSING
480.39/481.74 c GARBAGE COLLECT
480.39/481.74 c #Conflicts: 475000 | #Constraints: 15170
480.39/481.74 c #Conflicts: 476000 | #Constraints: 16170
480.39/481.74 c #Conflicts: 477000 | #Constraints: 17170
480.39/481.74 c #Conflicts: 478000 | #Constraints: 18170
480.39/481.74 c #Conflicts: 479000 | #Constraints: 19170
480.39/481.74 c #Conflicts: 480000 | #Constraints: 20170
480.39/481.74 c #Conflicts: 481000 | #Constraints: 21170
480.39/481.74 c #Conflicts: 482000 | #Constraints: 22170
480.39/481.74 c #Conflicts: 483000 | #Constraints: 23170
480.39/481.74 c #Conflicts: 484000 | #Constraints: 24170
480.39/481.74 c #Conflicts: 485000 | #Constraints: 25170
480.39/481.74 c #Conflicts: 486000 | #Constraints: 26170
480.39/481.74 c #Conflicts: 487000 | #Constraints: 27170
480.39/481.74 c #Conflicts: 488000 | #Constraints: 28170
480.39/481.74 c INPROCESSING
480.39/481.74 c GARBAGE COLLECT
480.39/481.74 c #Conflicts: 489000 | #Constraints: 15373
480.39/481.74 c #Conflicts: 490000 | #Constraints: 16373
480.39/481.74 c #Conflicts: 491000 | #Constraints: 17373
480.39/481.74 c #Conflicts: 492000 | #Constraints: 18373
480.39/481.74 c #Conflicts: 493000 | #Constraints: 19373
480.39/481.74 c #Conflicts: 494000 | #Constraints: 20373
480.39/481.74 c #Conflicts: 495000 | #Constraints: 21373
480.39/481.74 c #Conflicts: 496000 | #Constraints: 22373
480.39/481.74 c #Conflicts: 497000 | #Constraints: 23373
480.39/481.74 c #Conflicts: 498000 | #Constraints: 24373
605.08/606.78 c #Conflicts: 499000 | #Constraints: 25373
605.08/606.78 c #Conflicts: 500000 | #Constraints: 26373
605.08/606.78 c #Conflicts: 501000 | #Constraints: 27373
605.08/606.78 c #Conflicts: 502000 | #Constraints: 28373
605.08/606.78 c INPROCESSING
605.08/606.78 c GARBAGE COLLECT
605.08/606.78 c #Conflicts: 503000 | #Constraints: 15369
605.08/606.78 c #Conflicts: 504000 | #Constraints: 16369
605.08/606.78 c #Conflicts: 505000 | #Constraints: 17369
605.08/606.78 c #Conflicts: 506000 | #Constraints: 18369
605.08/606.78 c #Conflicts: 507000 | #Constraints: 19369
605.08/606.78 c #Conflicts: 508000 | #Constraints: 20369
605.08/606.78 c #Conflicts: 509000 | #Constraints: 21369
605.08/606.78 c #Conflicts: 510000 | #Constraints: 22369
605.08/606.78 c #Conflicts: 511000 | #Constraints: 23369
605.08/606.78 c #Conflicts: 512000 | #Constraints: 24369
605.08/606.78 c #Conflicts: 513000 | #Constraints: 25369
605.08/606.78 c #Conflicts: 514000 | #Constraints: 26369
605.08/606.78 c #Conflicts: 515000 | #Constraints: 27369
605.08/606.78 c #Conflicts: 516000 | #Constraints: 28369
605.08/606.78 c INPROCESSING
605.08/606.78 c GARBAGE COLLECT
605.08/606.78 c #Conflicts: 517000 | #Constraints: 15172
605.08/606.78 c #Conflicts: 518000 | #Constraints: 16172
605.08/606.78 c #Conflicts: 519000 | #Constraints: 17172
605.08/606.78 c #Conflicts: 520000 | #Constraints: 18172
605.08/606.78 c #Conflicts: 521000 | #Constraints: 19172
605.08/606.78 c #Conflicts: 522000 | #Constraints: 20172
605.08/606.78 c #Conflicts: 523000 | #Constraints: 21172
605.08/606.78 c #Conflicts: 524000 | #Constraints: 22172
605.08/606.78 c #Conflicts: 525000 | #Constraints: 23172
605.08/606.78 c #Conflicts: 526000 | #Constraints: 24172
605.08/606.78 c #Conflicts: 527000 | #Constraints: 25172
605.08/606.78 c #Conflicts: 528000 | #Constraints: 26172
605.08/606.78 c #Conflicts: 529000 | #Constraints: 27172
605.08/606.78 c #Conflicts: 530000 | #Constraints: 28172
605.08/606.78 c #Conflicts: 531000 | #Constraints: 29172
605.08/606.78 c INPROCESSING
605.08/606.78 c GARBAGE COLLECT
605.08/606.78 c #Conflicts: 532000 | #Constraints: 15772
605.08/606.78 c #Conflicts: 533000 | #Constraints: 16772
605.08/606.78 c #Conflicts: 534000 | #Constraints: 17772
605.08/606.78 c #Conflicts: 535000 | #Constraints: 18772
605.08/606.78 c #Conflicts: 536000 | #Constraints: 19772
605.08/606.78 c #Conflicts: 537000 | #Constraints: 20772
605.08/606.78 c #Conflicts: 538000 | #Constraints: 21772
605.08/606.78 c #Conflicts: 539000 | #Constraints: 22772
605.08/606.78 c #Conflicts: 540000 | #Constraints: 23772
605.08/606.78 c #Conflicts: 541000 | #Constraints: 24772
605.08/606.78 c #Conflicts: 542000 | #Constraints: 25772
605.08/606.78 c #Conflicts: 543000 | #Constraints: 26772
605.08/606.78 c #Conflicts: 544000 | #Constraints: 27772
605.08/606.78 c #Conflicts: 545000 | #Constraints: 28772
605.08/606.78 c #Conflicts: 546000 | #Constraints: 29772
605.08/606.78 c INPROCESSING
605.08/606.78 c GARBAGE COLLECT
605.08/606.78 c #Conflicts: 547000 | #Constraints: 16174
605.08/606.78 c #Conflicts: 548000 | #Constraints: 17174
605.08/606.78 c #Conflicts: 549000 | #Constraints: 18174
605.08/606.78 c #Conflicts: 550000 | #Constraints: 19174
605.08/606.78 c #Conflicts: 551000 | #Constraints: 20174
605.08/606.78 c #Conflicts: 552000 | #Constraints: 21174
605.08/606.78 c #Conflicts: 553000 | #Constraints: 22174
605.08/606.78 c #Conflicts: 554000 | #Constraints: 23174
605.08/606.78 c #Conflicts: 555000 | #Constraints: 24174
605.08/606.78 c #Conflicts: 556000 | #Constraints: 25174
605.08/606.78 c #Conflicts: 557000 | #Constraints: 26174
605.08/606.78 c #Conflicts: 558000 | #Constraints: 27174
605.08/606.78 c #Conflicts: 559000 | #Constraints: 28174
605.08/606.78 c #Conflicts: 560000 | #Constraints: 29174
605.08/606.78 c #Conflicts: 561000 | #Constraints: 30174
605.08/606.78 c INPROCESSING
605.08/606.78 c GARBAGE COLLECT
605.08/606.78 c #Conflicts: 562000 | #Constraints: 16375
605.08/606.78 c #Conflicts: 563000 | #Constraints: 17375
605.08/606.78 c #Conflicts: 564000 | #Constraints: 18375
605.08/606.78 c #Conflicts: 565000 | #Constraints: 19375
605.08/606.78 c #Conflicts: 566000 | #Constraints: 20375
605.08/606.78 c #Conflicts: 567000 | #Constraints: 21375
605.08/606.78 c #Conflicts: 568000 | #Constraints: 22375
605.08/606.78 c #Conflicts: 569000 | #Constraints: 23375
605.08/606.78 c #Conflicts: 570000 | #Constraints: 24375
605.08/606.78 c #Conflicts: 571000 | #Constraints: 25375
605.08/606.78 c #Conflicts: 572000 | #Constraints: 26375
605.08/606.78 c #Conflicts: 573000 | #Constraints: 27375
741.12/743.20 c #Conflicts: 574000 | #Constraints: 28375
741.12/743.20 c #Conflicts: 575000 | #Constraints: 29375
741.12/743.20 c #Conflicts: 576000 | #Constraints: 30375
741.12/743.20 c INPROCESSING
741.12/743.20 c GARBAGE COLLECT
741.12/743.20 c #Conflicts: 577000 | #Constraints: 16376
741.12/743.20 c #Conflicts: 578000 | #Constraints: 17376
741.12/743.20 c #Conflicts: 579000 | #Constraints: 18376
741.12/743.20 c #Conflicts: 580000 | #Constraints: 19376
741.12/743.20 c #Conflicts: 581000 | #Constraints: 20376
741.12/743.20 c #Conflicts: 582000 | #Constraints: 21376
741.12/743.20 c #Conflicts: 583000 | #Constraints: 22376
741.12/743.20 c #Conflicts: 584000 | #Constraints: 23376
741.12/743.20 c #Conflicts: 585000 | #Constraints: 24376
741.12/743.20 c #Conflicts: 586000 | #Constraints: 25376
741.12/743.20 c #Conflicts: 587000 | #Constraints: 26376
741.12/743.20 c #Conflicts: 588000 | #Constraints: 27376
741.12/743.20 c #Conflicts: 589000 | #Constraints: 28376
741.12/743.20 c #Conflicts: 590000 | #Constraints: 29376
741.12/743.20 c #Conflicts: 591000 | #Constraints: 30376
741.12/743.20 c INPROCESSING
741.12/743.20 c GARBAGE COLLECT
741.12/743.20 c #Conflicts: 592000 | #Constraints: 16173
741.21/743.20 c #Conflicts: 593000 | #Constraints: 17173
741.21/743.20 c #Conflicts: 594000 | #Constraints: 18173
741.21/743.20 c #Conflicts: 595000 | #Constraints: 19173
741.21/743.20 c #Conflicts: 596000 | #Constraints: 20173
741.21/743.20 c #Conflicts: 597000 | #Constraints: 21173
741.21/743.20 c #Conflicts: 598000 | #Constraints: 22173
741.21/743.20 c #Conflicts: 599000 | #Constraints: 23173
741.21/743.20 c #Conflicts: 600000 | #Constraints: 24173
741.21/743.20 c #Conflicts: 601000 | #Constraints: 25173
741.21/743.20 c #Conflicts: 602000 | #Constraints: 26173
741.21/743.20 c #Conflicts: 603000 | #Constraints: 27173
741.21/743.20 c #Conflicts: 604000 | #Constraints: 28173
741.21/743.20 c #Conflicts: 605000 | #Constraints: 29173
741.21/743.20 c #Conflicts: 606000 | #Constraints: 30173
741.21/743.20 c #Conflicts: 607000 | #Constraints: 31173
741.21/743.20 c INPROCESSING
741.21/743.20 c GARBAGE COLLECT
741.21/743.20 c #Conflicts: 608000 | #Constraints: 16772
741.21/743.20 c #Conflicts: 609000 | #Constraints: 17772
741.21/743.20 c #Conflicts: 610000 | #Constraints: 18772
741.21/743.20 c #Conflicts: 611000 | #Constraints: 19772
741.21/743.20 c #Conflicts: 612000 | #Constraints: 20772
741.21/743.20 c #Conflicts: 613000 | #Constraints: 21772
741.21/743.20 c #Conflicts: 614000 | #Constraints: 22772
741.21/743.20 c #Conflicts: 615000 | #Constraints: 23772
741.21/743.20 c #Conflicts: 616000 | #Constraints: 24772
741.21/743.20 c #Conflicts: 617000 | #Constraints: 25772
741.21/743.20 c #Conflicts: 618000 | #Constraints: 26772
741.21/743.20 c #Conflicts: 619000 | #Constraints: 27772
741.21/743.20 c #Conflicts: 620000 | #Constraints: 28772
741.21/743.20 c #Conflicts: 621000 | #Constraints: 29772
741.21/743.20 c #Conflicts: 622000 | #Constraints: 30772
741.21/743.20 c #Conflicts: 623000 | #Constraints: 31772
741.21/743.20 c INPROCESSING
741.21/743.20 c GARBAGE COLLECT
741.21/743.20 c #Conflicts: 624000 | #Constraints: 17169
741.21/743.20 c #Conflicts: 625000 | #Constraints: 18169
741.21/743.20 c #Conflicts: 626000 | #Constraints: 19169
741.21/743.20 c #Conflicts: 627000 | #Constraints: 20169
741.21/743.20 c #Conflicts: 628000 | #Constraints: 21169
741.21/743.20 c #Conflicts: 629000 | #Constraints: 22169
741.21/743.20 c #Conflicts: 630000 | #Constraints: 23169
741.21/743.20 c #Conflicts: 631000 | #Constraints: 24169
741.21/743.20 c #Conflicts: 632000 | #Constraints: 25169
741.21/743.20 c #Conflicts: 633000 | #Constraints: 26169
741.21/743.20 c #Conflicts: 634000 | #Constraints: 27169
741.21/743.20 c #Conflicts: 635000 | #Constraints: 28169
741.21/743.20 c #Conflicts: 636000 | #Constraints: 29169
741.21/743.20 c #Conflicts: 637000 | #Constraints: 30169
741.21/743.20 c #Conflicts: 638000 | #Constraints: 31169
741.21/743.20 c #Conflicts: 639000 | #Constraints: 32169
741.21/743.20 c INPROCESSING
741.21/743.20 c GARBAGE COLLECT
741.21/743.20 c #Conflicts: 640000 | #Constraints: 17370
741.21/743.20 c #Conflicts: 641000 | #Constraints: 18370
741.21/743.20 c #Conflicts: 642000 | #Constraints: 19370
741.21/743.20 c #Conflicts: 643000 | #Constraints: 20370
741.21/743.20 c #Conflicts: 644000 | #Constraints: 21370
741.21/743.20 c #Conflicts: 645000 | #Constraints: 22370
741.21/743.20 c #Conflicts: 646000 | #Constraints: 23370
741.21/743.20 c #Conflicts: 647000 | #Constraints: 24370
741.21/743.20 c #Conflicts: 648000 | #Constraints: 25370
741.21/743.20 c #Conflicts: 649000 | #Constraints: 26370
879.24/881.65 c #Conflicts: 650000 | #Constraints: 27370
879.24/881.65 c #Conflicts: 651000 | #Constraints: 28370
879.24/881.65 c #Conflicts: 652000 | #Constraints: 29370
879.24/881.65 c #Conflicts: 653000 | #Constraints: 30370
879.24/881.65 c #Conflicts: 654000 | #Constraints: 31370
879.24/881.65 c #Conflicts: 655000 | #Constraints: 32370
879.24/881.65 c INPROCESSING
879.24/881.65 c GARBAGE COLLECT
879.24/881.65 c #Conflicts: 656000 | #Constraints: 17372
879.24/881.65 c #Conflicts: 657000 | #Constraints: 18372
879.24/881.65 c #Conflicts: 658000 | #Constraints: 19372
879.24/881.65 c #Conflicts: 659000 | #Constraints: 20372
879.24/881.65 c #Conflicts: 660000 | #Constraints: 21372
879.24/881.65 c #Conflicts: 661000 | #Constraints: 22372
879.24/881.65 c #Conflicts: 662000 | #Constraints: 23372
879.24/881.65 c #Conflicts: 663000 | #Constraints: 24372
879.24/881.65 c #Conflicts: 664000 | #Constraints: 25372
879.24/881.65 c #Conflicts: 665000 | #Constraints: 26372
879.24/881.65 c #Conflicts: 666000 | #Constraints: 27372
879.24/881.65 c #Conflicts: 667000 | #Constraints: 28372
879.24/881.65 c #Conflicts: 668000 | #Constraints: 29372
879.24/881.65 c #Conflicts: 669000 | #Constraints: 30372
879.24/881.65 c #Conflicts: 670000 | #Constraints: 31372
879.24/881.65 c #Conflicts: 671000 | #Constraints: 32372
879.24/881.65 c INPROCESSING
879.24/881.65 c GARBAGE COLLECT
879.24/881.65 c #Conflicts: 672000 | #Constraints: 17167
879.24/881.65 c #Conflicts: 673000 | #Constraints: 18167
879.24/881.65 c #Conflicts: 674000 | #Constraints: 19167
879.24/881.65 c #Conflicts: 675000 | #Constraints: 20167
879.24/881.65 c #Conflicts: 676000 | #Constraints: 21167
879.24/881.65 c #Conflicts: 677000 | #Constraints: 22167
879.24/881.65 c #Conflicts: 678000 | #Constraints: 23167
879.24/881.65 c #Conflicts: 679000 | #Constraints: 24167
879.24/881.65 c #Conflicts: 680000 | #Constraints: 25167
879.24/881.65 c #Conflicts: 681000 | #Constraints: 26167
879.24/881.65 c #Conflicts: 682000 | #Constraints: 27167
879.24/881.65 c #Conflicts: 683000 | #Constraints: 28167
879.24/881.65 c #Conflicts: 684000 | #Constraints: 29167
879.24/881.65 c #Conflicts: 685000 | #Constraints: 30167
879.24/881.65 c #Conflicts: 686000 | #Constraints: 31167
879.24/881.65 c #Conflicts: 687000 | #Constraints: 32167
879.24/881.65 c #Conflicts: 688000 | #Constraints: 33167
879.24/881.65 c INPROCESSING
879.24/881.65 c GARBAGE COLLECT
879.24/881.65 c #Conflicts: 689000 | #Constraints: 17767
879.24/881.65 c #Conflicts: 690000 | #Constraints: 18767
879.24/881.65 c #Conflicts: 691000 | #Constraints: 19767
879.24/881.65 c #Conflicts: 692000 | #Constraints: 20767
879.24/881.65 c #Conflicts: 693000 | #Constraints: 21767
879.24/881.65 c #Conflicts: 694000 | #Constraints: 22767
879.24/881.65 c #Conflicts: 695000 | #Constraints: 23767
879.24/881.65 c #Conflicts: 696000 | #Constraints: 24767
879.24/881.65 c #Conflicts: 697000 | #Constraints: 25767
879.24/881.65 c #Conflicts: 698000 | #Constraints: 26767
879.24/881.65 c #Conflicts: 699000 | #Constraints: 27767
879.24/881.65 c #Conflicts: 700000 | #Constraints: 28767
879.24/881.65 c #Conflicts: 701000 | #Constraints: 29767
879.24/881.65 c #Conflicts: 702000 | #Constraints: 30767
879.24/881.65 c #Conflicts: 703000 | #Constraints: 31767
879.24/881.65 c #Conflicts: 704000 | #Constraints: 32767
879.24/881.65 c #Conflicts: 705000 | #Constraints: 33767
879.24/881.65 c INPROCESSING
879.24/881.65 c GARBAGE COLLECT
879.24/881.65 c #Conflicts: 706000 | #Constraints: 18171
879.24/881.65 c #Conflicts: 707000 | #Constraints: 19171
879.24/881.65 c #Conflicts: 708000 | #Constraints: 20171
879.24/881.65 c #Conflicts: 709000 | #Constraints: 21171
879.24/881.65 c #Conflicts: 710000 | #Constraints: 22171
879.24/881.65 c #Conflicts: 711000 | #Constraints: 23171
879.24/881.65 c #Conflicts: 712000 | #Constraints: 24171
879.24/881.65 c #Conflicts: 713000 | #Constraints: 25171
879.24/881.65 c #Conflicts: 714000 | #Constraints: 26171
879.24/881.65 c #Conflicts: 715000 | #Constraints: 27171
879.24/881.65 c #Conflicts: 716000 | #Constraints: 28171
879.24/881.65 c #Conflicts: 717000 | #Constraints: 29171
879.24/881.65 c #Conflicts: 718000 | #Constraints: 30171
879.24/881.65 c #Conflicts: 719000 | #Constraints: 31171
879.24/881.65 c #Conflicts: 720000 | #Constraints: 32171
879.24/881.65 c #Conflicts: 721000 | #Constraints: 33171
879.24/881.65 c #Conflicts: 722000 | #Constraints: 34171
879.24/881.65 c INPROCESSING
879.24/881.65 c GARBAGE COLLECT
879.24/881.65 c #Conflicts: 723000 | #Constraints: 18373
879.24/881.65 c #Conflicts: 724000 | #Constraints: 19373
879.24/881.65 c #Conflicts: 725000 | #Constraints: 20373
1028.13/1030.95 c #Conflicts: 726000 | #Constraints: 21373
1028.13/1030.95 c #Conflicts: 727000 | #Constraints: 22373
1028.13/1030.95 c #Conflicts: 728000 | #Constraints: 23373
1028.13/1030.95 c #Conflicts: 729000 | #Constraints: 24373
1028.13/1030.95 c #Conflicts: 730000 | #Constraints: 25373
1028.13/1030.95 c #Conflicts: 731000 | #Constraints: 26373
1028.13/1030.95 c #Conflicts: 732000 | #Constraints: 27373
1028.13/1030.95 c #Conflicts: 733000 | #Constraints: 28373
1028.13/1030.95 c #Conflicts: 734000 | #Constraints: 29373
1028.13/1030.95 c #Conflicts: 735000 | #Constraints: 30373
1028.13/1030.95 c #Conflicts: 736000 | #Constraints: 31373
1028.13/1030.95 c #Conflicts: 737000 | #Constraints: 32373
1028.13/1030.95 c #Conflicts: 738000 | #Constraints: 33373
1028.13/1030.95 c #Conflicts: 739000 | #Constraints: 34373
1028.13/1030.95 c INPROCESSING
1028.13/1030.95 c GARBAGE COLLECT
1028.13/1030.95 c #Conflicts: 740000 | #Constraints: 18368
1028.13/1030.95 c #Conflicts: 741000 | #Constraints: 19368
1028.13/1030.95 c #Conflicts: 742000 | #Constraints: 20368
1028.13/1030.95 c #Conflicts: 743000 | #Constraints: 21368
1028.13/1030.95 c #Conflicts: 744000 | #Constraints: 22368
1028.13/1030.95 c #Conflicts: 745000 | #Constraints: 23368
1028.13/1030.95 c #Conflicts: 746000 | #Constraints: 24368
1028.13/1030.95 c #Conflicts: 747000 | #Constraints: 25368
1028.13/1030.95 c #Conflicts: 748000 | #Constraints: 26368
1028.13/1030.95 c #Conflicts: 749000 | #Constraints: 27368
1028.13/1030.95 c #Conflicts: 750000 | #Constraints: 28368
1028.13/1030.95 c #Conflicts: 751000 | #Constraints: 29368
1028.13/1030.95 c #Conflicts: 752000 | #Constraints: 30368
1028.13/1030.95 c #Conflicts: 753000 | #Constraints: 31368
1028.13/1030.95 c #Conflicts: 754000 | #Constraints: 32368
1028.13/1030.95 c #Conflicts: 755000 | #Constraints: 33368
1028.13/1030.95 c #Conflicts: 756000 | #Constraints: 34368
1028.13/1030.95 c INPROCESSING
1028.13/1030.95 c GARBAGE COLLECT
1028.13/1030.95 c #Conflicts: 757000 | #Constraints: 18178
1028.13/1030.95 c #Conflicts: 758000 | #Constraints: 19178
1028.13/1030.95 c #Conflicts: 759000 | #Constraints: 20178
1028.13/1030.95 c #Conflicts: 760000 | #Constraints: 21178
1028.13/1030.95 c #Conflicts: 761000 | #Constraints: 22178
1028.13/1030.95 c #Conflicts: 762000 | #Constraints: 23178
1028.13/1030.95 c #Conflicts: 763000 | #Constraints: 24178
1028.13/1030.95 c #Conflicts: 764000 | #Constraints: 25178
1028.13/1030.95 c #Conflicts: 765000 | #Constraints: 26178
1028.13/1030.95 c #Conflicts: 766000 | #Constraints: 27178
1028.13/1030.95 c #Conflicts: 767000 | #Constraints: 28178
1028.13/1030.95 c #Conflicts: 768000 | #Constraints: 29178
1028.13/1030.95 c #Conflicts: 769000 | #Constraints: 30178
1028.13/1030.95 c #Conflicts: 770000 | #Constraints: 31178
1028.13/1030.95 c #Conflicts: 771000 | #Constraints: 32178
1028.13/1030.95 c #Conflicts: 772000 | #Constraints: 33178
1028.13/1030.95 c #Conflicts: 773000 | #Constraints: 34178
1028.13/1030.95 c #Conflicts: 774000 | #Constraints: 35178
1028.13/1030.95 c INPROCESSING
1028.13/1030.95 c GARBAGE COLLECT
1028.13/1030.95 c #Conflicts: 775000 | #Constraints: 18777
1028.13/1030.95 c #Conflicts: 776000 | #Constraints: 19777
1028.13/1030.95 c #Conflicts: 777000 | #Constraints: 20777
1028.13/1030.95 c #Conflicts: 778000 | #Constraints: 21777
1028.13/1030.95 c #Conflicts: 779000 | #Constraints: 22777
1028.13/1030.95 c #Conflicts: 780000 | #Constraints: 23777
1028.13/1030.95 c #Conflicts: 781000 | #Constraints: 24777
1028.13/1030.95 c #Conflicts: 782000 | #Constraints: 25777
1028.13/1030.95 c #Conflicts: 783000 | #Constraints: 26777
1028.13/1030.95 c #Conflicts: 784000 | #Constraints: 27777
1028.13/1030.95 c #Conflicts: 785000 | #Constraints: 28777
1028.13/1030.95 c #Conflicts: 786000 | #Constraints: 29777
1028.13/1030.95 c #Conflicts: 787000 | #Constraints: 30777
1028.13/1030.95 c #Conflicts: 788000 | #Constraints: 31777
1028.13/1030.95 c #Conflicts: 789000 | #Constraints: 32777
1028.13/1030.95 c #Conflicts: 790000 | #Constraints: 33777
1028.13/1030.95 c #Conflicts: 791000 | #Constraints: 34777
1028.13/1030.95 c #Conflicts: 792000 | #Constraints: 35777
1028.13/1030.95 c INPROCESSING
1028.13/1030.95 c GARBAGE COLLECT
1028.13/1030.95 c #Conflicts: 793000 | #Constraints: 19179
1028.13/1030.95 c #Conflicts: 794000 | #Constraints: 20179
1028.13/1030.95 c #Conflicts: 795000 | #Constraints: 21179
1028.13/1030.95 c #Conflicts: 796000 | #Constraints: 22179
1028.13/1030.95 c #Conflicts: 797000 | #Constraints: 23179
1028.13/1030.95 c #Conflicts: 798000 | #Constraints: 24179
1028.13/1030.95 c #Conflicts: 799000 | #Constraints: 25179
1028.13/1030.95 c #Conflicts: 800000 | #Constraints: 26179
1028.13/1030.95 c #Conflicts: 801000 | #Constraints: 27179
1193.18/1196.48 c #Conflicts: 802000 | #Constraints: 28179
1193.18/1196.48 c #Conflicts: 803000 | #Constraints: 29179
1193.18/1196.48 c #Conflicts: 804000 | #Constraints: 30179
1193.18/1196.48 c #Conflicts: 805000 | #Constraints: 31179
1193.18/1196.48 c #Conflicts: 806000 | #Constraints: 32179
1193.18/1196.48 c #Conflicts: 807000 | #Constraints: 33179
1193.18/1196.48 c #Conflicts: 808000 | #Constraints: 34179
1193.18/1196.48 c #Conflicts: 809000 | #Constraints: 35179
1193.18/1196.48 c #Conflicts: 810000 | #Constraints: 36179
1193.18/1196.48 c INPROCESSING
1193.18/1196.48 c GARBAGE COLLECT
1193.18/1196.48 c #Conflicts: 811000 | #Constraints: 19375
1193.18/1196.48 c #Conflicts: 812000 | #Constraints: 20375
1193.18/1196.48 c #Conflicts: 813000 | #Constraints: 21375
1193.18/1196.48 c #Conflicts: 814000 | #Constraints: 22375
1193.18/1196.48 c #Conflicts: 815000 | #Constraints: 23375
1193.18/1196.48 c #Conflicts: 816000 | #Constraints: 24375
1193.18/1196.48 c #Conflicts: 817000 | #Constraints: 25375
1193.18/1196.48 c #Conflicts: 818000 | #Constraints: 26375
1193.18/1196.48 c #Conflicts: 819000 | #Constraints: 27375
1193.18/1196.48 c #Conflicts: 820000 | #Constraints: 28375
1193.18/1196.48 c #Conflicts: 821000 | #Constraints: 29375
1193.18/1196.48 c #Conflicts: 822000 | #Constraints: 30375
1193.18/1196.48 c #Conflicts: 823000 | #Constraints: 31375
1193.18/1196.48 c #Conflicts: 824000 | #Constraints: 32375
1193.18/1196.48 c #Conflicts: 825000 | #Constraints: 33375
1193.18/1196.48 c #Conflicts: 826000 | #Constraints: 34375
1193.18/1196.48 c #Conflicts: 827000 | #Constraints: 35375
1193.18/1196.48 c #Conflicts: 828000 | #Constraints: 36375
1193.18/1196.48 c INPROCESSING
1193.18/1196.48 c GARBAGE COLLECT
1193.18/1196.48 c #Conflicts: 829000 | #Constraints: 19373
1193.18/1196.48 c #Conflicts: 830000 | #Constraints: 20373
1193.18/1196.48 c #Conflicts: 831000 | #Constraints: 21373
1193.18/1196.48 c #Conflicts: 832000 | #Constraints: 22373
1193.18/1196.48 c #Conflicts: 833000 | #Constraints: 23373
1193.18/1196.48 c #Conflicts: 834000 | #Constraints: 24373
1193.18/1196.48 c #Conflicts: 835000 | #Constraints: 25373
1193.18/1196.48 c #Conflicts: 836000 | #Constraints: 26373
1193.18/1196.48 c #Conflicts: 837000 | #Constraints: 27373
1193.18/1196.48 c #Conflicts: 838000 | #Constraints: 28373
1193.18/1196.48 c #Conflicts: 839000 | #Constraints: 29373
1193.18/1196.48 c #Conflicts: 840000 | #Constraints: 30373
1193.18/1196.48 c #Conflicts: 841000 | #Constraints: 31373
1193.18/1196.48 c #Conflicts: 842000 | #Constraints: 32373
1193.18/1196.48 c #Conflicts: 843000 | #Constraints: 33373
1193.18/1196.48 c #Conflicts: 844000 | #Constraints: 34373
1193.18/1196.48 c #Conflicts: 845000 | #Constraints: 35373
1193.18/1196.48 c #Conflicts: 846000 | #Constraints: 36373
1193.18/1196.48 c INPROCESSING
1193.18/1196.48 c GARBAGE COLLECT
1193.18/1196.48 c #Conflicts: 847000 | #Constraints: 19176
1193.18/1196.48 c #Conflicts: 848000 | #Constraints: 20176
1193.18/1196.48 c #Conflicts: 849000 | #Constraints: 21176
1193.18/1196.48 c #Conflicts: 850000 | #Constraints: 22176
1193.18/1196.48 c #Conflicts: 851000 | #Constraints: 23176
1193.18/1196.48 c #Conflicts: 852000 | #Constraints: 24176
1193.18/1196.48 c #Conflicts: 853000 | #Constraints: 25176
1193.18/1196.48 c #Conflicts: 854000 | #Constraints: 26176
1193.18/1196.48 c #Conflicts: 855000 | #Constraints: 27176
1193.18/1196.48 c #Conflicts: 856000 | #Constraints: 28176
1193.18/1196.48 c #Conflicts: 857000 | #Constraints: 29176
1193.18/1196.48 c #Conflicts: 858000 | #Constraints: 30176
1193.18/1196.48 c #Conflicts: 859000 | #Constraints: 31176
1193.18/1196.48 c #Conflicts: 860000 | #Constraints: 32176
1193.18/1196.48 c #Conflicts: 861000 | #Constraints: 33176
1193.18/1196.48 c #Conflicts: 862000 | #Constraints: 34176
1193.18/1196.48 c #Conflicts: 863000 | #Constraints: 35176
1193.18/1196.48 c #Conflicts: 864000 | #Constraints: 36176
1193.18/1196.48 c #Conflicts: 865000 | #Constraints: 37176
1193.18/1196.48 c INPROCESSING
1193.18/1196.48 c GARBAGE COLLECT
1193.18/1196.48 c #Conflicts: 866000 | #Constraints: 19772
1193.18/1196.48 c #Conflicts: 867000 | #Constraints: 20772
1193.18/1196.48 c #Conflicts: 868000 | #Constraints: 21772
1193.18/1196.48 c #Conflicts: 869000 | #Constraints: 22772
1193.18/1196.48 c #Conflicts: 870000 | #Constraints: 23772
1193.18/1196.48 c #Conflicts: 871000 | #Constraints: 24772
1193.18/1196.48 c #Conflicts: 872000 | #Constraints: 25772
1193.18/1196.48 c #Conflicts: 873000 | #Constraints: 26772
1193.18/1196.48 c #Conflicts: 874000 | #Constraints: 27772
1193.18/1196.48 c #Conflicts: 875000 | #Constraints: 28772
1193.18/1196.48 c #Conflicts: 876000 | #Constraints: 29772
1193.18/1196.48 c #Conflicts: 877000 | #Constraints: 30772
1362.72/1366.46 c #Conflicts: 878000 | #Constraints: 31772
1362.72/1366.46 c #Conflicts: 879000 | #Constraints: 32772
1362.72/1366.46 c #Conflicts: 880000 | #Constraints: 33772
1362.72/1366.46 c #Conflicts: 881000 | #Constraints: 34772
1362.72/1366.46 c #Conflicts: 882000 | #Constraints: 35772
1362.72/1366.46 c #Conflicts: 883000 | #Constraints: 36772
1362.72/1366.46 c #Conflicts: 884000 | #Constraints: 37772
1362.72/1366.46 c INPROCESSING
1362.72/1366.46 c GARBAGE COLLECT
1362.72/1366.46 c #Conflicts: 885000 | #Constraints: 20178
1362.72/1366.46 c #Conflicts: 886000 | #Constraints: 21178
1362.72/1366.46 c #Conflicts: 887000 | #Constraints: 22178
1362.72/1366.46 c #Conflicts: 888000 | #Constraints: 23178
1362.72/1366.46 c #Conflicts: 889000 | #Constraints: 24178
1362.72/1366.46 c #Conflicts: 890000 | #Constraints: 25178
1362.72/1366.46 c #Conflicts: 891000 | #Constraints: 26178
1362.72/1366.46 c #Conflicts: 892000 | #Constraints: 27178
1362.72/1366.46 c #Conflicts: 893000 | #Constraints: 28178
1362.72/1366.46 c #Conflicts: 894000 | #Constraints: 29178
1362.72/1366.46 c #Conflicts: 895000 | #Constraints: 30178
1362.72/1366.46 c #Conflicts: 896000 | #Constraints: 31178
1362.72/1366.46 c #Conflicts: 897000 | #Constraints: 32178
1362.72/1366.46 c #Conflicts: 898000 | #Constraints: 33178
1362.72/1366.46 c #Conflicts: 899000 | #Constraints: 34178
1362.72/1366.46 c #Conflicts: 900000 | #Constraints: 35178
1362.72/1366.46 c #Conflicts: 901000 | #Constraints: 36178
1362.72/1366.46 c #Conflicts: 902000 | #Constraints: 37178
1362.72/1366.46 c #Conflicts: 903000 | #Constraints: 38178
1362.72/1366.46 c INPROCESSING
1362.72/1366.46 c GARBAGE COLLECT
1362.72/1366.46 c #Conflicts: 904000 | #Constraints: 20378
1362.72/1366.46 c #Conflicts: 905000 | #Constraints: 21378
1362.72/1366.46 c #Conflicts: 906000 | #Constraints: 22378
1362.72/1366.46 c #Conflicts: 907000 | #Constraints: 23378
1362.72/1366.46 c #Conflicts: 908000 | #Constraints: 24378
1362.72/1366.46 c #Conflicts: 909000 | #Constraints: 25378
1362.72/1366.46 c #Conflicts: 910000 | #Constraints: 26378
1362.72/1366.46 c #Conflicts: 911000 | #Constraints: 27378
1362.72/1366.46 c #Conflicts: 912000 | #Constraints: 28378
1362.72/1366.46 c #Conflicts: 913000 | #Constraints: 29378
1362.72/1366.46 c #Conflicts: 914000 | #Constraints: 30378
1362.72/1366.46 c #Conflicts: 915000 | #Constraints: 31378
1362.72/1366.46 c #Conflicts: 916000 | #Constraints: 32378
1362.72/1366.46 c #Conflicts: 917000 | #Constraints: 33378
1362.72/1366.46 c #Conflicts: 918000 | #Constraints: 34378
1362.72/1366.46 c #Conflicts: 919000 | #Constraints: 35378
1362.72/1366.46 c #Conflicts: 920000 | #Constraints: 36378
1362.72/1366.46 c #Conflicts: 921000 | #Constraints: 37378
1362.72/1366.46 c #Conflicts: 922000 | #Constraints: 38378
1362.72/1366.46 c INPROCESSING
1362.72/1366.46 c GARBAGE COLLECT
1362.72/1366.46 c #Conflicts: 923000 | #Constraints: 20375
1362.72/1366.46 c #Conflicts: 924000 | #Constraints: 21375
1362.72/1366.46 c #Conflicts: 925000 | #Constraints: 22375
1362.72/1366.46 c #Conflicts: 926000 | #Constraints: 23375
1362.72/1366.46 c #Conflicts: 927000 | #Constraints: 24375
1362.72/1366.46 c #Conflicts: 928000 | #Constraints: 25375
1362.72/1366.46 c #Conflicts: 929000 | #Constraints: 26375
1362.72/1366.46 c #Conflicts: 930000 | #Constraints: 27375
1362.72/1366.46 c #Conflicts: 931000 | #Constraints: 28375
1362.72/1366.46 c #Conflicts: 932000 | #Constraints: 29375
1362.72/1366.46 c #Conflicts: 933000 | #Constraints: 30375
1362.72/1366.46 c #Conflicts: 934000 | #Constraints: 31375
1362.72/1366.46 c #Conflicts: 935000 | #Constraints: 32375
1362.72/1366.46 c #Conflicts: 936000 | #Constraints: 33375
1362.72/1366.46 c #Conflicts: 937000 | #Constraints: 34375
1362.72/1366.46 c #Conflicts: 938000 | #Constraints: 35375
1362.72/1366.46 c #Conflicts: 939000 | #Constraints: 36375
1362.72/1366.46 c #Conflicts: 940000 | #Constraints: 37375
1362.72/1366.46 c #Conflicts: 941000 | #Constraints: 38375
1362.72/1366.46 c INPROCESSING
1362.72/1366.46 c GARBAGE COLLECT
1362.72/1366.46 c #Conflicts: 942000 | #Constraints: 20181
1362.72/1366.46 c #Conflicts: 943000 | #Constraints: 21181
1362.72/1366.46 c #Conflicts: 944000 | #Constraints: 22181
1362.72/1366.46 c #Conflicts: 945000 | #Constraints: 23181
1362.72/1366.46 c #Conflicts: 946000 | #Constraints: 24181
1362.72/1366.46 c #Conflicts: 947000 | #Constraints: 25181
1362.72/1366.46 c #Conflicts: 948000 | #Constraints: 26181
1362.72/1366.46 c #Conflicts: 949000 | #Constraints: 27181
1362.72/1366.46 c #Conflicts: 950000 | #Constraints: 28181
1362.72/1366.46 c #Conflicts: 951000 | #Constraints: 29181
1362.72/1366.46 c #Conflicts: 952000 | #Constraints: 30181
1362.72/1366.46 c #Conflicts: 953000 | #Constraints: 31181
1522.37/1526.50 c #Conflicts: 954000 | #Constraints: 32181
1522.37/1526.50 c #Conflicts: 955000 | #Constraints: 33181
1522.37/1526.50 c #Conflicts: 956000 | #Constraints: 34181
1522.37/1526.50 c #Conflicts: 957000 | #Constraints: 35181
1522.37/1526.50 c #Conflicts: 958000 | #Constraints: 36181
1522.37/1526.50 c #Conflicts: 959000 | #Constraints: 37181
1522.37/1526.50 c #Conflicts: 960000 | #Constraints: 38181
1522.37/1526.50 c #Conflicts: 961000 | #Constraints: 39181
1522.37/1526.50 c INPROCESSING
1522.37/1526.50 c GARBAGE COLLECT
1522.37/1526.50 c #Conflicts: 962000 | #Constraints: 20778
1522.37/1526.50 c #Conflicts: 963000 | #Constraints: 21778
1522.37/1526.50 c #Conflicts: 964000 | #Constraints: 22778
1522.37/1526.50 c #Conflicts: 965000 | #Constraints: 23778
1522.37/1526.50 c #Conflicts: 966000 | #Constraints: 24778
1522.37/1526.50 c #Conflicts: 967000 | #Constraints: 25778
1522.37/1526.50 c #Conflicts: 968000 | #Constraints: 26778
1522.37/1526.50 c #Conflicts: 969000 | #Constraints: 27778
1522.37/1526.50 c #Conflicts: 970000 | #Constraints: 28778
1522.37/1526.50 c #Conflicts: 971000 | #Constraints: 29778
1522.37/1526.50 c #Conflicts: 972000 | #Constraints: 30778
1522.37/1526.50 c #Conflicts: 973000 | #Constraints: 31778
1522.37/1526.50 c #Conflicts: 974000 | #Constraints: 32778
1522.37/1526.50 c #Conflicts: 975000 | #Constraints: 33778
1522.37/1526.50 c #Conflicts: 976000 | #Constraints: 34778
1522.37/1526.50 c #Conflicts: 977000 | #Constraints: 35778
1522.37/1526.50 c #Conflicts: 978000 | #Constraints: 36778
1522.37/1526.50 c #Conflicts: 979000 | #Constraints: 37778
1522.37/1526.50 c #Conflicts: 980000 | #Constraints: 38778
1522.37/1526.50 c #Conflicts: 981000 | #Constraints: 39778
1522.37/1526.50 c INPROCESSING
1522.37/1526.50 c GARBAGE COLLECT
1522.37/1526.50 c #Conflicts: 982000 | #Constraints: 21172
1522.37/1526.50 c #Conflicts: 983000 | #Constraints: 22172
1522.37/1526.50 c #Conflicts: 984000 | #Constraints: 23172
1522.37/1526.50 c #Conflicts: 985000 | #Constraints: 24172
1522.37/1526.50 c #Conflicts: 986000 | #Constraints: 25172
1522.37/1526.50 c #Conflicts: 987000 | #Constraints: 26172
1522.37/1526.50 c #Conflicts: 988000 | #Constraints: 27172
1522.37/1526.50 c #Conflicts: 989000 | #Constraints: 28172
1522.37/1526.50 c #Conflicts: 990000 | #Constraints: 29172
1522.37/1526.50 c #Conflicts: 991000 | #Constraints: 30172
1522.37/1526.50 c #Conflicts: 992000 | #Constraints: 31172
1522.37/1526.50 c #Conflicts: 993000 | #Constraints: 32172
1522.37/1526.50 c #Conflicts: 994000 | #Constraints: 33172
1522.37/1526.50 c #Conflicts: 995000 | #Constraints: 34172
1522.37/1526.50 c #Conflicts: 996000 | #Constraints: 35172
1522.37/1526.50 c #Conflicts: 997000 | #Constraints: 36172
1522.37/1526.50 c #Conflicts: 998000 | #Constraints: 37172
1522.37/1526.50 c #Conflicts: 999000 | #Constraints: 38172
1522.37/1526.50 c #Conflicts: 1000000 | #Constraints: 39172
1522.37/1526.50 c #Conflicts: 1001000 | #Constraints: 40172
1522.37/1526.50 c INPROCESSING
1522.37/1526.50 c GARBAGE COLLECT
1522.37/1526.50 c #Conflicts: 1002000 | #Constraints: 21374
1522.37/1526.50 c #Conflicts: 1003000 | #Constraints: 22374
1522.37/1526.50 c #Conflicts: 1004000 | #Constraints: 23374
1522.37/1526.50 c #Conflicts: 1005000 | #Constraints: 24374
1522.37/1526.50 c #Conflicts: 1006000 | #Constraints: 25374
1522.37/1526.50 c #Conflicts: 1007000 | #Constraints: 26374
1522.37/1526.50 c #Conflicts: 1008000 | #Constraints: 27374
1522.37/1526.50 c #Conflicts: 1009000 | #Constraints: 28374
1522.37/1526.50 c #Conflicts: 1010000 | #Constraints: 29374
1522.37/1526.50 c #Conflicts: 1011000 | #Constraints: 30374
1522.37/1526.50 c #Conflicts: 1012000 | #Constraints: 31374
1522.37/1526.50 c #Conflicts: 1013000 | #Constraints: 32374
1522.37/1526.50 c #Conflicts: 1014000 | #Constraints: 33374
1522.37/1526.50 c #Conflicts: 1015000 | #Constraints: 34374
1522.37/1526.50 c #Conflicts: 1016000 | #Constraints: 35374
1522.37/1526.50 c #Conflicts: 1017000 | #Constraints: 36374
1522.37/1526.50 c #Conflicts: 1018000 | #Constraints: 37374
1522.37/1526.50 c #Conflicts: 1019000 | #Constraints: 38374
1522.37/1526.50 c #Conflicts: 1020000 | #Constraints: 39374
1522.37/1526.50 c #Conflicts: 1021000 | #Constraints: 40374
1522.37/1526.50 c INPROCESSING
1522.37/1526.50 c GARBAGE COLLECT
1522.37/1526.50 c #Conflicts: 1022000 | #Constraints: 21374
1522.37/1526.50 c #Conflicts: 1023000 | #Constraints: 22374
1522.37/1526.50 c #Conflicts: 1024000 | #Constraints: 23374
1522.37/1526.50 c #Conflicts: 1025000 | #Constraints: 24374
1522.37/1526.50 c #Conflicts: 1026000 | #Constraints: 25374
1522.37/1526.50 c #Conflicts: 1027000 | #Constraints: 26374
1522.37/1526.50 c #Conflicts: 1028000 | #Constraints: 27374
1522.37/1526.50 c #Conflicts: 1029000 | #Constraints: 28374
1700.28/1704.90 c #Conflicts: 1030000 | #Constraints: 29374
1700.28/1704.90 c #Conflicts: 1031000 | #Constraints: 30374
1700.28/1704.90 c #Conflicts: 1032000 | #Constraints: 31374
1700.28/1704.90 c #Conflicts: 1033000 | #Constraints: 32374
1700.28/1704.90 c #Conflicts: 1034000 | #Constraints: 33374
1700.28/1704.90 c #Conflicts: 1035000 | #Constraints: 34374
1700.28/1704.90 c #Conflicts: 1036000 | #Constraints: 35374
1700.28/1704.90 c #Conflicts: 1037000 | #Constraints: 36374
1700.28/1704.90 c #Conflicts: 1038000 | #Constraints: 37374
1700.28/1704.90 c #Conflicts: 1039000 | #Constraints: 38374
1700.28/1704.90 c #Conflicts: 1040000 | #Constraints: 39374
1700.28/1704.90 c #Conflicts: 1041000 | #Constraints: 40374
1700.28/1704.90 c INPROCESSING
1700.28/1704.90 c GARBAGE COLLECT
1700.28/1704.90 c #Conflicts: 1042000 | #Constraints: 21177
1700.28/1704.90 c #Conflicts: 1043000 | #Constraints: 22177
1700.28/1704.90 c #Conflicts: 1044000 | #Constraints: 23177
1700.28/1704.90 c #Conflicts: 1045000 | #Constraints: 24177
1700.28/1704.90 c #Conflicts: 1046000 | #Constraints: 25177
1700.28/1704.90 c #Conflicts: 1047000 | #Constraints: 26177
1700.28/1704.90 c #Conflicts: 1048000 | #Constraints: 27177
1700.28/1704.90 c #Conflicts: 1049000 | #Constraints: 28177
1700.28/1704.90 c #Conflicts: 1050000 | #Constraints: 29177
1700.28/1704.90 c #Conflicts: 1051000 | #Constraints: 30177
1700.28/1704.90 c #Conflicts: 1052000 | #Constraints: 31177
1700.28/1704.90 c #Conflicts: 1053000 | #Constraints: 32177
1700.28/1704.90 c #Conflicts: 1054000 | #Constraints: 33177
1700.28/1704.90 c #Conflicts: 1055000 | #Constraints: 34177
1700.28/1704.90 c #Conflicts: 1056000 | #Constraints: 35177
1700.28/1704.90 c #Conflicts: 1057000 | #Constraints: 36177
1700.28/1704.90 c #Conflicts: 1058000 | #Constraints: 37177
1700.28/1704.90 c #Conflicts: 1059000 | #Constraints: 38177
1700.28/1704.90 c #Conflicts: 1060000 | #Constraints: 39177
1700.28/1704.90 c #Conflicts: 1061000 | #Constraints: 40177
1700.28/1704.90 c #Conflicts: 1062000 | #Constraints: 41177
1700.28/1704.90 c INPROCESSING
1700.28/1704.90 c GARBAGE COLLECT
1700.28/1704.90 c #Conflicts: 1063000 | #Constraints: 21779
1700.28/1704.90 c #Conflicts: 1064000 | #Constraints: 22779
1700.28/1704.90 c #Conflicts: 1065000 | #Constraints: 23779
1700.28/1704.90 c #Conflicts: 1066000 | #Constraints: 24779
1700.28/1704.90 c #Conflicts: 1067000 | #Constraints: 25779
1700.28/1704.90 c #Conflicts: 1068000 | #Constraints: 26779
1700.28/1704.90 c #Conflicts: 1069000 | #Constraints: 27779
1700.28/1704.90 c #Conflicts: 1070000 | #Constraints: 28779
1700.28/1704.90 c #Conflicts: 1071000 | #Constraints: 29779
1700.28/1704.90 c #Conflicts: 1072000 | #Constraints: 30779
1700.28/1704.90 c #Conflicts: 1073000 | #Constraints: 31779
1700.28/1704.90 c #Conflicts: 1074000 | #Constraints: 32779
1700.28/1704.90 c #Conflicts: 1075000 | #Constraints: 33779
1700.28/1704.90 c #Conflicts: 1076000 | #Constraints: 34779
1700.28/1704.90 c #Conflicts: 1077000 | #Constraints: 35779
1700.28/1704.90 c #Conflicts: 1078000 | #Constraints: 36779
1700.28/1704.90 c #Conflicts: 1079000 | #Constraints: 37779
1700.28/1704.90 c #Conflicts: 1080000 | #Constraints: 38779
1700.28/1704.90 c #Conflicts: 1081000 | #Constraints: 39779
1700.28/1704.90 c #Conflicts: 1082000 | #Constraints: 40779
1700.28/1704.90 c #Conflicts: 1083000 | #Constraints: 41779
1700.28/1704.90 c INPROCESSING
1700.28/1704.90 c GARBAGE COLLECT
1700.28/1704.90 c #Conflicts: 1084000 | #Constraints: 22178
1700.28/1704.90 c #Conflicts: 1085000 | #Constraints: 23178
1700.28/1704.90 c #Conflicts: 1086000 | #Constraints: 24178
1700.28/1704.90 c #Conflicts: 1087000 | #Constraints: 25178
1700.28/1704.90 c #Conflicts: 1088000 | #Constraints: 26178
1700.28/1704.90 c #Conflicts: 1089000 | #Constraints: 27178
1700.28/1704.90 c #Conflicts: 1090000 | #Constraints: 28178
1700.28/1704.90 c #Conflicts: 1091000 | #Constraints: 29178
1700.28/1704.90 c #Conflicts: 1092000 | #Constraints: 30178
1700.28/1704.90 c #Conflicts: 1093000 | #Constraints: 31178
1700.28/1704.90 c #Conflicts: 1094000 | #Constraints: 32178
1700.28/1704.90 c #Conflicts: 1095000 | #Constraints: 33178
1700.28/1704.90 c #Conflicts: 1096000 | #Constraints: 34178
1700.28/1704.90 c #Conflicts: 1097000 | #Constraints: 35178
1700.28/1704.90 c #Conflicts: 1098000 | #Constraints: 36178
1700.28/1704.90 c #Conflicts: 1099000 | #Constraints: 37178
1700.28/1704.90 c #Conflicts: 1100000 | #Constraints: 38178
1700.28/1704.90 c #Conflicts: 1101000 | #Constraints: 39178
1700.28/1704.90 c #Conflicts: 1102000 | #Constraints: 40178
1700.28/1704.90 c #Conflicts: 1103000 | #Constraints: 41178
1700.28/1704.90 c #Conflicts: 1104000 | #Constraints: 42178
1700.28/1704.90 c INPROCESSING
1700.28/1704.90 c GARBAGE COLLECT
1700.28/1704.90 c #Conflicts: 1105000 | #Constraints: 22377
1700.28/1704.90 c #Conflicts: 1106000 | #Constraints: 23377
1895.75/1901.00 c #Conflicts: 1107000 | #Constraints: 24377
1895.75/1901.00 c #Conflicts: 1108000 | #Constraints: 25377
1895.75/1901.00 c #Conflicts: 1109000 | #Constraints: 26377
1895.75/1901.00 c #Conflicts: 1110000 | #Constraints: 27377
1895.75/1901.00 c #Conflicts: 1111000 | #Constraints: 28377
1895.75/1901.00 c #Conflicts: 1112000 | #Constraints: 29377
1895.75/1901.00 c #Conflicts: 1113000 | #Constraints: 30377
1895.75/1901.00 c #Conflicts: 1114000 | #Constraints: 31377
1895.75/1901.00 c #Conflicts: 1115000 | #Constraints: 32377
1895.75/1901.00 c #Conflicts: 1116000 | #Constraints: 33377
1895.75/1901.00 c #Conflicts: 1117000 | #Constraints: 34377
1895.75/1901.00 c #Conflicts: 1118000 | #Constraints: 35377
1895.75/1901.00 c #Conflicts: 1119000 | #Constraints: 36377
1895.75/1901.00 c #Conflicts: 1120000 | #Constraints: 37377
1895.75/1901.00 c #Conflicts: 1121000 | #Constraints: 38377
1895.75/1901.00 c #Conflicts: 1122000 | #Constraints: 39377
1895.75/1901.00 c #Conflicts: 1123000 | #Constraints: 40377
1895.75/1901.00 c #Conflicts: 1124000 | #Constraints: 41377
1895.75/1901.00 c #Conflicts: 1125000 | #Constraints: 42377
1895.75/1901.00 c INPROCESSING
1895.75/1901.00 c GARBAGE COLLECT
1895.75/1901.00 c #Conflicts: 1126000 | #Constraints: 22377
1895.75/1901.00 c #Conflicts: 1127000 | #Constraints: 23377
1895.75/1901.00 c #Conflicts: 1128000 | #Constraints: 24377
1895.75/1901.00 c #Conflicts: 1129000 | #Constraints: 25377
1895.75/1901.00 c #Conflicts: 1130000 | #Constraints: 26377
1895.75/1901.00 c #Conflicts: 1131000 | #Constraints: 27377
1895.75/1901.00 c #Conflicts: 1132000 | #Constraints: 28377
1895.75/1901.00 c #Conflicts: 1133000 | #Constraints: 29377
1895.75/1901.00 c #Conflicts: 1134000 | #Constraints: 30377
1895.75/1901.00 c #Conflicts: 1135000 | #Constraints: 31377
1895.75/1901.00 c #Conflicts: 1136000 | #Constraints: 32377
1895.75/1901.00 c #Conflicts: 1137000 | #Constraints: 33377
1895.75/1901.00 c #Conflicts: 1138000 | #Constraints: 34377
1895.75/1901.00 c #Conflicts: 1139000 | #Constraints: 35377
1895.75/1901.00 c #Conflicts: 1140000 | #Constraints: 36377
1895.75/1901.00 c #Conflicts: 1141000 | #Constraints: 37377
1895.75/1901.00 c #Conflicts: 1142000 | #Constraints: 38377
1895.75/1901.00 c #Conflicts: 1143000 | #Constraints: 39377
1895.75/1901.00 c #Conflicts: 1144000 | #Constraints: 40377
1895.75/1901.00 c #Conflicts: 1145000 | #Constraints: 41377
1895.75/1901.00 c #Conflicts: 1146000 | #Constraints: 42377
1895.75/1901.00 c INPROCESSING
1895.75/1901.00 c GARBAGE COLLECT
1895.75/1901.00 c #Conflicts: 1147000 | #Constraints: 22171
1895.75/1901.00 c #Conflicts: 1148000 | #Constraints: 23171
1895.75/1901.00 c #Conflicts: 1149000 | #Constraints: 24171
1895.75/1901.00 c #Conflicts: 1150000 | #Constraints: 25171
1895.75/1901.00 c #Conflicts: 1151000 | #Constraints: 26171
1895.75/1901.00 c #Conflicts: 1152000 | #Constraints: 27171
1895.75/1901.00 c #Conflicts: 1153000 | #Constraints: 28171
1895.75/1901.00 c #Conflicts: 1154000 | #Constraints: 29171
1895.75/1901.00 c #Conflicts: 1155000 | #Constraints: 30171
1895.75/1901.00 c #Conflicts: 1156000 | #Constraints: 31171
1895.75/1901.00 c #Conflicts: 1157000 | #Constraints: 32171
1895.75/1901.00 c #Conflicts: 1158000 | #Constraints: 33171
1895.75/1901.00 c #Conflicts: 1159000 | #Constraints: 34171
1895.75/1901.00 c #Conflicts: 1160000 | #Constraints: 35171
1895.75/1901.00 c #Conflicts: 1161000 | #Constraints: 36171
1895.75/1901.00 c #Conflicts: 1162000 | #Constraints: 37171
1895.75/1901.00 c #Conflicts: 1163000 | #Constraints: 38171
1895.75/1901.00 c #Conflicts: 1164000 | #Constraints: 39171
1895.75/1901.00 c #Conflicts: 1165000 | #Constraints: 40171
1895.75/1901.00 c #Conflicts: 1166000 | #Constraints: 41171
1895.75/1901.00 c #Conflicts: 1167000 | #Constraints: 42171
1895.75/1901.00 c #Conflicts: 1168000 | #Constraints: 43171
1895.75/1901.00 c INPROCESSING
1895.75/1901.00 c GARBAGE COLLECT
1895.75/1901.00 c #Conflicts: 1169000 | #Constraints: 22771
1895.75/1901.00 c #Conflicts: 1170000 | #Constraints: 23771
1895.75/1901.00 c #Conflicts: 1171000 | #Constraints: 24771
1895.75/1901.00 c #Conflicts: 1172000 | #Constraints: 25771
1895.75/1901.00 c #Conflicts: 1173000 | #Constraints: 26771
1895.75/1901.00 c #Conflicts: 1174000 | #Constraints: 27771
1895.75/1901.00 c #Conflicts: 1175000 | #Constraints: 28771
1895.75/1901.00 c #Conflicts: 1176000 | #Constraints: 29771
1895.75/1901.00 c #Conflicts: 1177000 | #Constraints: 30771
1895.75/1901.00 c #Conflicts: 1178000 | #Constraints: 31771
1895.75/1901.00 c #Conflicts: 1179000 | #Constraints: 32771
1895.75/1901.00 c #Conflicts: 1180000 | #Constraints: 33771
1895.75/1901.00 c #Conflicts: 1181000 | #Constraints: 34771
1895.75/1901.00 c #Conflicts: 1182000 | #Constraints: 35771
1895.75/1901.00 c #Conflicts: 1183000 | #Constraints: 36771
2097.38/2103.16 c #Conflicts: 1184000 | #Constraints: 37771
2097.38/2103.16 c #Conflicts: 1185000 | #Constraints: 38771
2097.38/2103.16 c #Conflicts: 1186000 | #Constraints: 39771
2097.38/2103.16 c #Conflicts: 1187000 | #Constraints: 40771
2097.38/2103.16 c #Conflicts: 1188000 | #Constraints: 41771
2097.38/2103.16 c #Conflicts: 1189000 | #Constraints: 42771
2097.38/2103.16 c #Conflicts: 1190000 | #Constraints: 43771
2097.38/2103.16 c INPROCESSING
2097.38/2103.16 c GARBAGE COLLECT
2097.38/2103.16 c #Conflicts: 1191000 | #Constraints: 23176
2097.38/2103.16 c #Conflicts: 1192000 | #Constraints: 24176
2097.38/2103.16 c #Conflicts: 1193000 | #Constraints: 25176
2097.38/2103.16 c #Conflicts: 1194000 | #Constraints: 26176
2097.38/2103.16 c #Conflicts: 1195000 | #Constraints: 27176
2097.38/2103.16 c #Conflicts: 1196000 | #Constraints: 28176
2097.38/2103.16 c #Conflicts: 1197000 | #Constraints: 29176
2097.38/2103.16 c #Conflicts: 1198000 | #Constraints: 30176
2097.38/2103.16 c #Conflicts: 1199000 | #Constraints: 31176
2097.38/2103.16 c #Conflicts: 1200000 | #Constraints: 32176
2097.38/2103.16 c #Conflicts: 1201000 | #Constraints: 33176
2097.38/2103.16 c #Conflicts: 1202000 | #Constraints: 34176
2097.38/2103.16 c #Conflicts: 1203000 | #Constraints: 35176
2097.38/2103.16 c #Conflicts: 1204000 | #Constraints: 36176
2097.38/2103.16 c #Conflicts: 1205000 | #Constraints: 37176
2097.38/2103.16 c #Conflicts: 1206000 | #Constraints: 38176
2097.38/2103.16 c #Conflicts: 1207000 | #Constraints: 39176
2097.38/2103.16 c #Conflicts: 1208000 | #Constraints: 40176
2097.38/2103.16 c #Conflicts: 1209000 | #Constraints: 41176
2097.38/2103.16 c #Conflicts: 1210000 | #Constraints: 42176
2097.38/2103.16 c #Conflicts: 1211000 | #Constraints: 43176
2097.38/2103.16 c #Conflicts: 1212000 | #Constraints: 44176
2097.38/2103.16 c INPROCESSING
2097.38/2103.16 c GARBAGE COLLECT
2097.38/2103.16 c #Conflicts: 1213000 | #Constraints: 23378
2097.38/2103.16 c #Conflicts: 1214000 | #Constraints: 24378
2097.38/2103.16 c #Conflicts: 1215000 | #Constraints: 25378
2097.38/2103.16 c #Conflicts: 1216000 | #Constraints: 26378
2097.38/2103.16 c #Conflicts: 1217000 | #Constraints: 27378
2097.38/2103.16 c #Conflicts: 1218000 | #Constraints: 28378
2097.38/2103.16 c #Conflicts: 1219000 | #Constraints: 29378
2097.38/2103.16 c #Conflicts: 1220000 | #Constraints: 30378
2097.38/2103.16 c #Conflicts: 1221000 | #Constraints: 31378
2097.38/2103.16 c #Conflicts: 1222000 | #Constraints: 32378
2097.38/2103.16 c #Conflicts: 1223000 | #Constraints: 33378
2097.38/2103.16 c #Conflicts: 1224000 | #Constraints: 34378
2097.38/2103.16 c #Conflicts: 1225000 | #Constraints: 35378
2097.38/2103.16 c #Conflicts: 1226000 | #Constraints: 36378
2097.38/2103.16 c #Conflicts: 1227000 | #Constraints: 37378
2097.38/2103.16 c #Conflicts: 1228000 | #Constraints: 38378
2097.38/2103.16 c #Conflicts: 1229000 | #Constraints: 39378
2097.38/2103.16 c #Conflicts: 1230000 | #Constraints: 40378
2097.38/2103.16 c #Conflicts: 1231000 | #Constraints: 41378
2097.38/2103.16 c #Conflicts: 1232000 | #Constraints: 42378
2097.38/2103.16 c #Conflicts: 1233000 | #Constraints: 43378
2097.38/2103.16 c #Conflicts: 1234000 | #Constraints: 44378
2097.38/2103.16 c INPROCESSING
2097.38/2103.16 c GARBAGE COLLECT
2097.38/2103.16 c #Conflicts: 1235000 | #Constraints: 23376
2097.38/2103.16 c #Conflicts: 1236000 | #Constraints: 24376
2097.38/2103.16 c #Conflicts: 1237000 | #Constraints: 25376
2097.38/2103.16 c #Conflicts: 1238000 | #Constraints: 26376
2097.38/2103.16 c #Conflicts: 1239000 | #Constraints: 27376
2097.38/2103.16 c #Conflicts: 1240000 | #Constraints: 28376
2097.38/2103.16 c #Conflicts: 1241000 | #Constraints: 29376
2097.38/2103.16 c #Conflicts: 1242000 | #Constraints: 30376
2097.38/2103.16 c #Conflicts: 1243000 | #Constraints: 31376
2097.38/2103.16 c #Conflicts: 1244000 | #Constraints: 32376
2097.38/2103.16 c #Conflicts: 1245000 | #Constraints: 33376
2097.38/2103.16 c #Conflicts: 1246000 | #Constraints: 34376
2097.38/2103.16 c #Conflicts: 1247000 | #Constraints: 35376
2097.38/2103.16 c #Conflicts: 1248000 | #Constraints: 36376
2097.38/2103.16 c #Conflicts: 1249000 | #Constraints: 37376
2097.38/2103.16 c #Conflicts: 1250000 | #Constraints: 38376
2097.38/2103.16 c #Conflicts: 1251000 | #Constraints: 39376
2097.38/2103.16 c #Conflicts: 1252000 | #Constraints: 40376
2097.38/2103.16 c #Conflicts: 1253000 | #Constraints: 41376
2097.38/2103.16 c #Conflicts: 1254000 | #Constraints: 42376
2097.38/2103.16 c #Conflicts: 1255000 | #Constraints: 43376
2097.38/2103.16 c #Conflicts: 1256000 | #Constraints: 44376
2097.38/2103.16 c INPROCESSING
2097.38/2103.16 c GARBAGE COLLECT
2097.38/2103.16 c #Conflicts: 1257000 | #Constraints: 23173
2097.38/2103.16 c #Conflicts: 1258000 | #Constraints: 24173
2097.38/2103.16 c #Conflicts: 1259000 | #Constraints: 25173
2301.60/2307.92 c #Conflicts: 1260000 | #Constraints: 26173
2301.60/2307.92 c #Conflicts: 1261000 | #Constraints: 27173
2301.60/2307.92 c #Conflicts: 1262000 | #Constraints: 28173
2301.60/2307.92 c #Conflicts: 1263000 | #Constraints: 29173
2301.60/2307.92 c #Conflicts: 1264000 | #Constraints: 30173
2301.60/2307.92 c #Conflicts: 1265000 | #Constraints: 31173
2301.60/2307.92 c #Conflicts: 1266000 | #Constraints: 32173
2301.60/2307.92 c #Conflicts: 1267000 | #Constraints: 33173
2301.60/2307.92 c #Conflicts: 1268000 | #Constraints: 34173
2301.60/2307.92 c #Conflicts: 1269000 | #Constraints: 35173
2301.60/2307.92 c #Conflicts: 1270000 | #Constraints: 36173
2301.60/2307.92 c #Conflicts: 1271000 | #Constraints: 37173
2301.60/2307.92 c #Conflicts: 1272000 | #Constraints: 38173
2301.60/2307.92 c #Conflicts: 1273000 | #Constraints: 39173
2301.60/2307.92 c #Conflicts: 1274000 | #Constraints: 40173
2301.60/2307.92 c #Conflicts: 1275000 | #Constraints: 41173
2301.60/2307.92 c #Conflicts: 1276000 | #Constraints: 42173
2301.60/2307.92 c #Conflicts: 1277000 | #Constraints: 43173
2301.60/2307.92 c #Conflicts: 1278000 | #Constraints: 44173
2301.60/2307.92 c #Conflicts: 1279000 | #Constraints: 45173
2301.60/2307.92 c INPROCESSING
2301.60/2307.92 c GARBAGE COLLECT
2301.60/2307.92 c #Conflicts: 1280000 | #Constraints: 23774
2301.60/2307.92 c #Conflicts: 1281000 | #Constraints: 24774
2301.60/2307.92 c #Conflicts: 1282000 | #Constraints: 25774
2301.60/2307.92 c #Conflicts: 1283000 | #Constraints: 26774
2301.60/2307.92 c #Conflicts: 1284000 | #Constraints: 27774
2301.60/2307.92 c #Conflicts: 1285000 | #Constraints: 28774
2301.60/2307.92 c #Conflicts: 1286000 | #Constraints: 29774
2301.60/2307.92 c #Conflicts: 1287000 | #Constraints: 30774
2301.60/2307.92 c #Conflicts: 1288000 | #Constraints: 31774
2301.60/2307.92 c #Conflicts: 1289000 | #Constraints: 32774
2301.60/2307.92 c #Conflicts: 1290000 | #Constraints: 33774
2301.60/2307.92 c #Conflicts: 1291000 | #Constraints: 34774
2301.60/2307.92 c #Conflicts: 1292000 | #Constraints: 35774
2301.60/2307.92 c #Conflicts: 1293000 | #Constraints: 36774
2301.60/2307.92 c #Conflicts: 1294000 | #Constraints: 37774
2301.60/2307.92 c #Conflicts: 1295000 | #Constraints: 38774
2301.60/2307.92 c #Conflicts: 1296000 | #Constraints: 39774
2301.60/2307.92 c #Conflicts: 1297000 | #Constraints: 40774
2301.60/2307.92 c #Conflicts: 1298000 | #Constraints: 41774
2301.60/2307.92 c #Conflicts: 1299000 | #Constraints: 42774
2301.60/2307.92 c #Conflicts: 1300000 | #Constraints: 43774
2301.60/2307.92 c #Conflicts: 1301000 | #Constraints: 44774
2301.60/2307.92 c #Conflicts: 1302000 | #Constraints: 45774
2301.60/2307.92 c INPROCESSING
2301.60/2307.92 c GARBAGE COLLECT
2301.60/2307.92 c #Conflicts: 1303000 | #Constraints: 24184
2301.60/2307.92 c #Conflicts: 1304000 | #Constraints: 25184
2301.60/2307.92 c #Conflicts: 1305000 | #Constraints: 26184
2301.60/2307.92 c #Conflicts: 1306000 | #Constraints: 27184
2301.60/2307.92 c #Conflicts: 1307000 | #Constraints: 28184
2301.60/2307.92 c #Conflicts: 1308000 | #Constraints: 29184
2301.60/2307.92 c #Conflicts: 1309000 | #Constraints: 30184
2301.60/2307.92 c #Conflicts: 1310000 | #Constraints: 31184
2301.60/2307.92 c #Conflicts: 1311000 | #Constraints: 32184
2301.60/2307.92 c #Conflicts: 1312000 | #Constraints: 33184
2301.60/2307.92 c #Conflicts: 1313000 | #Constraints: 34184
2301.60/2307.92 c #Conflicts: 1314000 | #Constraints: 35184
2301.60/2307.92 c #Conflicts: 1315000 | #Constraints: 36184
2301.60/2307.92 c #Conflicts: 1316000 | #Constraints: 37184
2301.60/2307.92 c #Conflicts: 1317000 | #Constraints: 38184
2301.60/2307.92 c #Conflicts: 1318000 | #Constraints: 39184
2301.60/2307.92 c #Conflicts: 1319000 | #Constraints: 40184
2301.60/2307.92 c #Conflicts: 1320000 | #Constraints: 41184
2301.60/2307.92 c #Conflicts: 1321000 | #Constraints: 42184
2301.60/2307.92 c #Conflicts: 1322000 | #Constraints: 43184
2301.60/2307.92 c #Conflicts: 1323000 | #Constraints: 44184
2301.60/2307.92 c #Conflicts: 1324000 | #Constraints: 45184
2301.60/2307.92 c #Conflicts: 1325000 | #Constraints: 46184
2301.60/2307.92 c INPROCESSING
2301.60/2307.92 c GARBAGE COLLECT
2301.60/2307.92 c #Conflicts: 1326000 | #Constraints: 24377
2301.60/2307.92 c #Conflicts: 1327000 | #Constraints: 25377
2301.60/2307.92 c #Conflicts: 1328000 | #Constraints: 26377
2301.60/2307.92 c #Conflicts: 1329000 | #Constraints: 27377
2301.60/2307.92 c #Conflicts: 1330000 | #Constraints: 28377
2301.60/2307.92 c #Conflicts: 1331000 | #Constraints: 29377
2301.60/2307.92 c #Conflicts: 1332000 | #Constraints: 30377
2301.60/2307.92 c #Conflicts: 1333000 | #Constraints: 31377
2301.60/2307.92 c #Conflicts: 1334000 | #Constraints: 32377
2301.60/2307.92 c #Conflicts: 1335000 | #Constraints: 33377
2301.60/2307.92 c #Conflicts: 1336000 | #Constraints: 34377
2401.02/2407.62 c #Conflicts: 1337000 | #Constraints: 35377
2401.02/2407.62 c #Conflicts: 1338000 | #Constraints: 36377
2401.02/2407.62 c #Conflicts: 1339000 | #Constraints: 37377
2401.02/2407.62 c #Conflicts: 1340000 | #Constraints: 38377
2401.02/2407.62 c #Conflicts: 1341000 | #Constraints: 39377
2401.02/2407.62 c #Conflicts: 1342000 | #Constraints: 40377
2401.02/2407.62 c #Conflicts: 1343000 | #Constraints: 41377
2401.02/2407.62 c #Conflicts: 1344000 | #Constraints: 42377
2401.02/2407.62 c #Conflicts: 1345000 | #Constraints: 43377
2401.02/2407.62 c #Conflicts: 1346000 | #Constraints: 44377
2401.02/2407.62 c #Conflicts: 1347000 | #Constraints: 45377
2401.02/2407.62 c #Conflicts: 1348000 | #Constraints: 46377
2401.02/2407.62 c INPROCESSING
2401.02/2407.62 c GARBAGE COLLECT
2401.02/2407.62 c #Conflicts: 1349000 | #Constraints: 24380
2401.02/2407.62 c #Conflicts: 1350000 | #Constraints: 25380
2401.02/2407.62 c #Conflicts: 1351000 | #Constraints: 26380
2401.02/2407.62 c #Conflicts: 1352000 | #Constraints: 27380
2401.02/2407.62 c #Conflicts: 1353000 | #Constraints: 28380
2401.02/2407.62 c #Conflicts: 1354000 | #Constraints: 29380
2401.02/2407.62 c #Conflicts: 1355000 | #Constraints: 30380
2401.02/2407.62 c #Conflicts: 1356000 | #Constraints: 31380
2401.02/2407.62 c #Conflicts: 1357000 | #Constraints: 32380
2401.02/2407.62 c #Conflicts: 1358000 | #Constraints: 33380
2401.02/2407.62 c #Conflicts: 1359000 | #Constraints: 34380
2401.02/2407.62 c #Conflicts: 1360000 | #Constraints: 35380
2401.02/2407.62 c #Conflicts: 1361000 | #Constraints: 36380
2401.02/2407.62 c #Conflicts: 1362000 | #Constraints: 37380
2401.02/2407.62 c #Conflicts: 1363000 | #Constraints: 38380
2401.02/2407.62 c #Conflicts: 1364000 | #Constraints: 39380
2401.02/2407.62 c #Conflicts: 1365000 | #Constraints: 40380
2401.02/2407.62 c #Conflicts: 1366000 | #Constraints: 41380
2401.02/2407.62 c #Conflicts: 1367000 | #Constraints: 42380
2401.02/2407.62 c #Conflicts: 1368000 | #Constraints: 43380
2401.02/2407.62 c #Conflicts: 1369000 | #Constraints: 44380
2401.02/2407.62 c #Conflicts: 1370000 | #Constraints: 45380
2401.02/2407.62 c GLOBAL bounds - >= 0 @ 2387.98
2587.71/2594.86 c #Conflicts: 1371000 | #Constraints: 46382
2587.71/2594.86 c INPROCESSING
2587.71/2594.86 c GARBAGE COLLECT
2587.71/2594.86 c #Conflicts: 1372000 | #Constraints: 24182
2587.71/2594.86 c #Conflicts: 1373000 | #Constraints: 25182
2587.71/2594.86 c #Conflicts: 1374000 | #Constraints: 26182
2587.71/2594.86 c #Conflicts: 1375000 | #Constraints: 27182
2587.71/2594.86 c #Conflicts: 1376000 | #Constraints: 28182
2587.71/2594.86 c #Conflicts: 1377000 | #Constraints: 29182
2587.71/2594.86 c #Conflicts: 1378000 | #Constraints: 30182
2587.71/2594.86 c #Conflicts: 1379000 | #Constraints: 31182
2587.71/2594.86 c #Conflicts: 1380000 | #Constraints: 32182
2587.71/2594.86 c #Conflicts: 1381000 | #Constraints: 33182
2587.71/2594.86 c #Conflicts: 1382000 | #Constraints: 34182
2587.71/2594.86 c #Conflicts: 1383000 | #Constraints: 35182
2587.71/2594.86 c #Conflicts: 1384000 | #Constraints: 36182
2587.71/2594.86 c #Conflicts: 1385000 | #Constraints: 37182
2587.71/2594.86 c #Conflicts: 1386000 | #Constraints: 38182
2587.71/2594.86 c #Conflicts: 1387000 | #Constraints: 39182
2587.71/2594.86 c #Conflicts: 1388000 | #Constraints: 40182
2587.71/2594.86 c #Conflicts: 1389000 | #Constraints: 41182
2587.71/2594.86 c #Conflicts: 1390000 | #Constraints: 42182
2587.71/2594.86 c #Conflicts: 1391000 | #Constraints: 43182
2587.71/2594.86 c #Conflicts: 1392000 | #Constraints: 44182
2587.71/2594.86 c #Conflicts: 1393000 | #Constraints: 45182
2587.71/2594.86 c #Conflicts: 1394000 | #Constraints: 46182
2587.71/2594.86 c #Conflicts: 1395000 | #Constraints: 47182
2587.71/2594.86 c INPROCESSING
2587.71/2594.86 c GARBAGE COLLECT
2587.71/2594.86 c #Conflicts: 1396000 | #Constraints: 24781
2587.71/2594.86 c #Conflicts: 1397000 | #Constraints: 25781
2587.71/2594.86 c #Conflicts: 1398000 | #Constraints: 26781
2587.71/2594.86 c #Conflicts: 1399000 | #Constraints: 27781
2587.71/2594.86 c #Conflicts: 1400000 | #Constraints: 28781
2587.71/2594.86 c #Conflicts: 1401000 | #Constraints: 29781
2587.71/2594.86 c #Conflicts: 1402000 | #Constraints: 30781
2587.71/2594.86 c #Conflicts: 1403000 | #Constraints: 31781
2587.71/2594.86 c #Conflicts: 1404000 | #Constraints: 32781
2587.71/2594.86 c #Conflicts: 1405000 | #Constraints: 33781
2587.71/2594.86 c #Conflicts: 1406000 | #Constraints: 34781
2587.71/2594.86 c #Conflicts: 1407000 | #Constraints: 35781
2587.71/2594.86 c #Conflicts: 1408000 | #Constraints: 36781
2587.71/2594.86 c #Conflicts: 1409000 | #Constraints: 37781
2587.71/2594.86 c #Conflicts: 1410000 | #Constraints: 38781
2587.71/2594.86 c #Conflicts: 1411000 | #Constraints: 39781
2587.71/2594.86 c #Conflicts: 1412000 | #Constraints: 40781
2587.71/2594.86 c #Conflicts: 1413000 | #Constraints: 41781
2587.71/2594.86 c #Conflicts: 1414000 | #Constraints: 42781
2587.71/2594.86 c #Conflicts: 1415000 | #Constraints: 43781
2587.71/2594.86 c #Conflicts: 1416000 | #Constraints: 44781
2587.71/2594.86 c #Conflicts: 1417000 | #Constraints: 45781
2587.71/2594.86 c #Conflicts: 1418000 | #Constraints: 46781
2587.71/2594.86 c #Conflicts: 1419000 | #Constraints: 47781
2587.71/2594.86 c INPROCESSING
2587.71/2594.86 c GARBAGE COLLECT
2587.71/2594.86 c #Conflicts: 1420000 | #Constraints: 25174
2587.71/2594.86 c #Conflicts: 1421000 | #Constraints: 26174
2587.71/2594.86 c #Conflicts: 1422000 | #Constraints: 27174
2587.71/2594.86 c #Conflicts: 1423000 | #Constraints: 28174
2587.71/2594.86 c #Conflicts: 1424000 | #Constraints: 29174
2587.71/2594.86 c #Conflicts: 1425000 | #Constraints: 30174
2587.71/2594.86 c #Conflicts: 1426000 | #Constraints: 31174
2587.71/2594.86 c #Conflicts: 1427000 | #Constraints: 32174
2587.71/2594.86 c #Conflicts: 1428000 | #Constraints: 33174
2587.71/2594.86 c #Conflicts: 1429000 | #Constraints: 34174
2587.71/2594.86 c #Conflicts: 1430000 | #Constraints: 35174
2587.71/2594.86 c #Conflicts: 1431000 | #Constraints: 36174
2587.71/2594.86 c #Conflicts: 1432000 | #Constraints: 37174
2587.71/2594.86 c #Conflicts: 1433000 | #Constraints: 38174
2587.71/2594.86 c #Conflicts: 1434000 | #Constraints: 39174
2587.71/2594.86 c #Conflicts: 1435000 | #Constraints: 40174
2587.71/2594.86 c #Conflicts: 1436000 | #Constraints: 41174
2587.71/2594.86 c #Conflicts: 1437000 | #Constraints: 42174
2587.71/2594.86 c #Conflicts: 1438000 | #Constraints: 43174
2587.71/2594.86 c #Conflicts: 1439000 | #Constraints: 44174
2587.71/2594.86 c #Conflicts: 1440000 | #Constraints: 45174
2587.71/2594.86 c #Conflicts: 1441000 | #Constraints: 46174
2587.71/2594.86 c #Conflicts: 1442000 | #Constraints: 47174
2587.71/2594.86 c #Conflicts: 1443000 | #Constraints: 48174
2587.71/2594.86 c INPROCESSING
2587.71/2594.86 c GARBAGE COLLECT
2587.71/2594.86 c #Conflicts: 1444000 | #Constraints: 25366
2587.71/2594.86 c #Conflicts: 1445000 | #Constraints: 26366
2587.71/2594.86 c #Conflicts: 1446000 | #Constraints: 27366
2587.71/2594.86 c #Conflicts: 1447000 | #Constraints: 28366
2791.97/2799.67 c #Conflicts: 1448000 | #Constraints: 29366
2791.97/2799.67 c #Conflicts: 1449000 | #Constraints: 30366
2791.97/2799.67 c #Conflicts: 1450000 | #Constraints: 31366
2791.97/2799.67 c #Conflicts: 1451000 | #Constraints: 32366
2791.97/2799.67 c #Conflicts: 1452000 | #Constraints: 33366
2791.97/2799.67 c #Conflicts: 1453000 | #Constraints: 34366
2791.97/2799.67 c #Conflicts: 1454000 | #Constraints: 35366
2791.97/2799.67 c #Conflicts: 1455000 | #Constraints: 36366
2791.97/2799.67 c #Conflicts: 1456000 | #Constraints: 37366
2791.97/2799.67 c #Conflicts: 1457000 | #Constraints: 38366
2791.97/2799.67 c #Conflicts: 1458000 | #Constraints: 39366
2791.97/2799.67 c #Conflicts: 1459000 | #Constraints: 40366
2791.97/2799.67 c #Conflicts: 1460000 | #Constraints: 41366
2791.97/2799.67 c #Conflicts: 1461000 | #Constraints: 42366
2791.97/2799.67 c #Conflicts: 1462000 | #Constraints: 43366
2791.97/2799.67 c #Conflicts: 1463000 | #Constraints: 44366
2791.97/2799.67 c #Conflicts: 1464000 | #Constraints: 45366
2791.97/2799.67 c #Conflicts: 1465000 | #Constraints: 46366
2791.97/2799.67 c #Conflicts: 1466000 | #Constraints: 47366
2791.97/2799.67 c #Conflicts: 1467000 | #Constraints: 48366
2791.97/2799.67 c INPROCESSING
2791.97/2799.67 c GARBAGE COLLECT
2791.97/2799.67 c #Conflicts: 1468000 | #Constraints: 25364
2791.97/2799.67 c #Conflicts: 1469000 | #Constraints: 26364
2791.97/2799.67 c #Conflicts: 1470000 | #Constraints: 27364
2791.97/2799.67 c #Conflicts: 1471000 | #Constraints: 28364
2791.97/2799.67 c #Conflicts: 1472000 | #Constraints: 29364
2791.97/2799.67 c #Conflicts: 1473000 | #Constraints: 30364
2791.97/2799.67 c #Conflicts: 1474000 | #Constraints: 31364
2791.97/2799.67 c #Conflicts: 1475000 | #Constraints: 32364
2791.97/2799.67 c #Conflicts: 1476000 | #Constraints: 33364
2791.97/2799.67 c #Conflicts: 1477000 | #Constraints: 34364
2791.97/2799.67 c #Conflicts: 1478000 | #Constraints: 35364
2791.97/2799.67 c #Conflicts: 1479000 | #Constraints: 36364
2791.97/2799.67 c #Conflicts: 1480000 | #Constraints: 37364
2791.97/2799.67 c #Conflicts: 1481000 | #Constraints: 38364
2791.97/2799.67 c #Conflicts: 1482000 | #Constraints: 39364
2791.97/2799.67 c #Conflicts: 1483000 | #Constraints: 40364
2791.97/2799.67 c #Conflicts: 1484000 | #Constraints: 41364
2791.97/2799.67 c #Conflicts: 1485000 | #Constraints: 42364
2791.97/2799.67 c #Conflicts: 1486000 | #Constraints: 43364
2791.97/2799.67 c #Conflicts: 1487000 | #Constraints: 44364
2791.97/2799.67 c #Conflicts: 1488000 | #Constraints: 45364
2791.97/2799.67 c #Conflicts: 1489000 | #Constraints: 46364
2791.97/2799.67 c #Conflicts: 1490000 | #Constraints: 47364
2791.97/2799.67 c #Conflicts: 1491000 | #Constraints: 48364
2791.97/2799.67 c INPROCESSING
2791.97/2799.67 c GARBAGE COLLECT
2791.97/2799.67 c #Conflicts: 1492000 | #Constraints: 25165
2791.97/2799.67 c #Conflicts: 1493000 | #Constraints: 26165
2791.97/2799.67 c #Conflicts: 1494000 | #Constraints: 27165
2791.97/2799.67 c #Conflicts: 1495000 | #Constraints: 28165
2791.97/2799.67 c #Conflicts: 1496000 | #Constraints: 29165
2791.97/2799.67 c #Conflicts: 1497000 | #Constraints: 30165
2791.97/2799.67 c #Conflicts: 1498000 | #Constraints: 31165
2791.97/2799.67 c #Conflicts: 1499000 | #Constraints: 32165
2791.97/2799.67 c #Conflicts: 1500000 | #Constraints: 33165
2791.97/2799.67 c #Conflicts: 1501000 | #Constraints: 34165
2791.97/2799.67 c #Conflicts: 1502000 | #Constraints: 35165
2791.97/2799.67 c #Conflicts: 1503000 | #Constraints: 36165
2791.97/2799.67 c #Conflicts: 1504000 | #Constraints: 37165
2791.97/2799.67 c #Conflicts: 1505000 | #Constraints: 38165
2791.97/2799.67 c #Conflicts: 1506000 | #Constraints: 39165
2791.97/2799.67 c #Conflicts: 1507000 | #Constraints: 40165
2791.97/2799.67 c #Conflicts: 1508000 | #Constraints: 41165
2791.97/2799.67 c #Conflicts: 1509000 | #Constraints: 42165
2791.97/2799.67 c #Conflicts: 1510000 | #Constraints: 43165
2791.97/2799.67 c #Conflicts: 1511000 | #Constraints: 44165
2791.97/2799.67 c #Conflicts: 1512000 | #Constraints: 45165
2791.97/2799.67 c #Conflicts: 1513000 | #Constraints: 46165
2791.97/2799.67 c #Conflicts: 1514000 | #Constraints: 47165
2791.97/2799.67 c #Conflicts: 1515000 | #Constraints: 48165
2791.97/2799.67 c #Conflicts: 1516000 | #Constraints: 49165
2791.97/2799.67 c INPROCESSING
2791.97/2799.67 c GARBAGE COLLECT
2791.97/2799.67 c #Conflicts: 1517000 | #Constraints: 25770
2791.97/2799.67 c #Conflicts: 1518000 | #Constraints: 26770
2791.97/2799.67 c #Conflicts: 1519000 | #Constraints: 27770
2791.97/2799.67 c #Conflicts: 1520000 | #Constraints: 28770
2791.97/2799.67 c #Conflicts: 1521000 | #Constraints: 29770
2791.97/2799.67 c #Conflicts: 1522000 | #Constraints: 30770
2791.97/2799.67 c #Conflicts: 1523000 | #Constraints: 31770
2791.97/2799.67 c #Conflicts: 1524000 | #Constraints: 32770
2874.25/2882.12 c #Conflicts: 1525000 | #Constraints: 33770
2874.25/2882.12 c #Conflicts: 1526000 | #Constraints: 34770
2874.25/2882.12 c #Conflicts: 1527000 | #Constraints: 35770
2874.25/2882.12 c #Conflicts: 1528000 | #Constraints: 36770
2874.25/2882.12 c #Conflicts: 1529000 | #Constraints: 37770
2874.25/2882.12 c #Conflicts: 1530000 | #Constraints: 38770
2874.25/2882.12 c #Conflicts: 1531000 | #Constraints: 39770
2874.25/2882.12 c #Conflicts: 1532000 | #Constraints: 40770
2874.25/2882.12 c #Conflicts: 1533000 | #Constraints: 41770
2874.25/2882.12 c #Conflicts: 1534000 | #Constraints: 42770
2874.25/2882.12 c #Conflicts: 1535000 | #Constraints: 43770
2874.25/2882.12 c #Conflicts: 1536000 | #Constraints: 44770
2874.25/2882.12 c #Conflicts: 1537000 | #Constraints: 45770
2874.25/2882.12 c #Conflicts: 1538000 | #Constraints: 46770
2874.25/2882.12 c #Conflicts: 1539000 | #Constraints: 47770
2874.25/2882.12 c #Conflicts: 1540000 | #Constraints: 48770
2874.25/2882.12 c #Conflicts: 1541000 | #Constraints: 49770
2874.25/2882.12 c INPROCESSING
2874.25/2882.12 c GARBAGE COLLECT
2874.25/2882.12 c #Conflicts: 1542000 | #Constraints: 26171
2874.25/2882.12 c #Conflicts: 1543000 | #Constraints: 27171
2874.25/2882.12 c #Conflicts: 1544000 | #Constraints: 28171
2874.25/2882.12 c #Conflicts: 1545000 | #Constraints: 29171
2874.25/2882.12 c #Conflicts: 1546000 | #Constraints: 30171
2874.25/2882.12 c #Conflicts: 1547000 | #Constraints: 31171
2874.25/2882.12 c #Conflicts: 1548000 | #Constraints: 32171
2874.25/2882.12 c #Conflicts: 1549000 | #Constraints: 33171
2874.25/2882.12 c #Conflicts: 1550000 | #Constraints: 34171
2874.25/2882.12 c GLOBAL bounds - >= 0 @ 2859.23
3094.46/3102.91 c #Conflicts: 1551000 | #Constraints: 35173
3094.46/3102.91 c #Conflicts: 1552000 | #Constraints: 36173
3094.46/3102.91 c #Conflicts: 1553000 | #Constraints: 37173
3094.46/3102.91 c #Conflicts: 1554000 | #Constraints: 38173
3094.46/3102.91 c #Conflicts: 1555000 | #Constraints: 39173
3094.46/3102.91 c #Conflicts: 1556000 | #Constraints: 40173
3094.46/3102.91 c #Conflicts: 1557000 | #Constraints: 41173
3094.46/3102.91 c #Conflicts: 1558000 | #Constraints: 42173
3094.46/3102.91 c #Conflicts: 1559000 | #Constraints: 43173
3094.46/3102.91 c #Conflicts: 1560000 | #Constraints: 44173
3094.46/3102.91 c #Conflicts: 1561000 | #Constraints: 45173
3094.46/3102.91 c #Conflicts: 1562000 | #Constraints: 46173
3094.46/3102.91 c #Conflicts: 1563000 | #Constraints: 47173
3094.46/3102.91 c #Conflicts: 1564000 | #Constraints: 48173
3094.46/3102.91 c #Conflicts: 1565000 | #Constraints: 49173
3094.46/3102.91 c #Conflicts: 1566000 | #Constraints: 50173
3094.46/3102.91 c INPROCESSING
3094.46/3102.91 c GARBAGE COLLECT
3094.46/3102.91 c #Conflicts: 1567000 | #Constraints: 26367
3094.46/3102.91 c #Conflicts: 1568000 | #Constraints: 27367
3094.46/3102.91 c #Conflicts: 1569000 | #Constraints: 28367
3094.46/3102.91 c #Conflicts: 1570000 | #Constraints: 29367
3094.46/3102.91 c #Conflicts: 1571000 | #Constraints: 30367
3094.46/3102.91 c #Conflicts: 1572000 | #Constraints: 31367
3094.46/3102.91 c #Conflicts: 1573000 | #Constraints: 32367
3094.46/3102.91 c #Conflicts: 1574000 | #Constraints: 33367
3094.46/3102.91 c #Conflicts: 1575000 | #Constraints: 34367
3094.46/3102.91 c #Conflicts: 1576000 | #Constraints: 35367
3094.46/3102.91 c #Conflicts: 1577000 | #Constraints: 36367
3094.46/3102.91 c #Conflicts: 1578000 | #Constraints: 37367
3094.46/3102.91 c #Conflicts: 1579000 | #Constraints: 38367
3094.46/3102.91 c #Conflicts: 1580000 | #Constraints: 39367
3094.46/3102.91 c #Conflicts: 1581000 | #Constraints: 40367
3094.46/3102.91 c #Conflicts: 1582000 | #Constraints: 41367
3094.46/3102.91 c #Conflicts: 1583000 | #Constraints: 42367
3094.46/3102.91 c #Conflicts: 1584000 | #Constraints: 43367
3094.46/3102.91 c #Conflicts: 1585000 | #Constraints: 44367
3094.46/3102.91 c #Conflicts: 1586000 | #Constraints: 45367
3094.46/3102.91 c #Conflicts: 1587000 | #Constraints: 46367
3094.46/3102.91 c #Conflicts: 1588000 | #Constraints: 47367
3094.46/3102.91 c #Conflicts: 1589000 | #Constraints: 48367
3094.46/3102.91 c #Conflicts: 1590000 | #Constraints: 49367
3094.46/3102.91 c #Conflicts: 1591000 | #Constraints: 50367
3094.46/3102.91 c INPROCESSING
3094.46/3102.91 c GARBAGE COLLECT
3094.46/3102.91 c #Conflicts: 1592000 | #Constraints: 26372
3094.46/3102.91 c #Conflicts: 1593000 | #Constraints: 27372
3094.46/3102.91 c #Conflicts: 1594000 | #Constraints: 28372
3094.46/3102.91 c #Conflicts: 1595000 | #Constraints: 29372
3094.46/3102.91 c #Conflicts: 1596000 | #Constraints: 30372
3094.46/3102.91 c #Conflicts: 1597000 | #Constraints: 31372
3094.46/3102.91 c #Conflicts: 1598000 | #Constraints: 32372
3094.46/3102.91 c #Conflicts: 1599000 | #Constraints: 33372
3094.46/3102.91 c #Conflicts: 1600000 | #Constraints: 34372
3094.46/3102.91 c #Conflicts: 1601000 | #Constraints: 35372
3094.46/3102.91 c #Conflicts: 1602000 | #Constraints: 36372
3094.46/3102.91 c #Conflicts: 1603000 | #Constraints: 37372
3094.46/3102.91 c #Conflicts: 1604000 | #Constraints: 38372
3094.46/3102.91 c #Conflicts: 1605000 | #Constraints: 39372
3094.46/3102.91 c #Conflicts: 1606000 | #Constraints: 40372
3094.46/3102.91 c #Conflicts: 1607000 | #Constraints: 41372
3094.46/3102.91 c #Conflicts: 1608000 | #Constraints: 42372
3094.46/3102.91 c #Conflicts: 1609000 | #Constraints: 43372
3094.46/3102.91 c #Conflicts: 1610000 | #Constraints: 44372
3094.46/3102.91 c #Conflicts: 1611000 | #Constraints: 45372
3094.46/3102.91 c #Conflicts: 1612000 | #Constraints: 46372
3094.46/3102.91 c #Conflicts: 1613000 | #Constraints: 47372
3094.46/3102.91 c #Conflicts: 1614000 | #Constraints: 48372
3094.46/3102.91 c #Conflicts: 1615000 | #Constraints: 49372
3094.46/3102.91 c #Conflicts: 1616000 | #Constraints: 50372
3094.46/3102.91 c INPROCESSING
3094.46/3102.91 c GARBAGE COLLECT
3094.46/3102.91 c #Conflicts: 1617000 | #Constraints: 26170
3094.46/3102.91 c #Conflicts: 1618000 | #Constraints: 27170
3094.46/3102.91 c #Conflicts: 1619000 | #Constraints: 28170
3094.46/3102.91 c #Conflicts: 1620000 | #Constraints: 29170
3094.46/3102.91 c #Conflicts: 1621000 | #Constraints: 30170
3094.46/3102.91 c #Conflicts: 1622000 | #Constraints: 31170
3094.46/3102.91 c #Conflicts: 1623000 | #Constraints: 32170
3094.46/3102.91 c #Conflicts: 1624000 | #Constraints: 33170
3094.46/3102.91 c #Conflicts: 1625000 | #Constraints: 34170
3094.46/3102.91 c #Conflicts: 1626000 | #Constraints: 35170
3094.46/3102.91 c #Conflicts: 1627000 | #Constraints: 36170
3331.33/3340.45 c #Conflicts: 1628000 | #Constraints: 37170
3331.33/3340.45 c #Conflicts: 1629000 | #Constraints: 38170
3331.33/3340.45 c #Conflicts: 1630000 | #Constraints: 39170
3331.33/3340.45 c #Conflicts: 1631000 | #Constraints: 40170
3331.33/3340.45 c #Conflicts: 1632000 | #Constraints: 41170
3331.33/3340.45 c #Conflicts: 1633000 | #Constraints: 42170
3331.33/3340.45 c #Conflicts: 1634000 | #Constraints: 43170
3331.33/3340.45 c #Conflicts: 1635000 | #Constraints: 44170
3331.33/3340.45 c #Conflicts: 1636000 | #Constraints: 45170
3331.33/3340.45 c #Conflicts: 1637000 | #Constraints: 46170
3331.33/3340.45 c #Conflicts: 1638000 | #Constraints: 47170
3331.33/3340.45 c #Conflicts: 1639000 | #Constraints: 48170
3331.33/3340.45 c #Conflicts: 1640000 | #Constraints: 49170
3331.33/3340.45 c #Conflicts: 1641000 | #Constraints: 50170
3331.33/3340.45 c #Conflicts: 1642000 | #Constraints: 51170
3331.33/3340.45 c INPROCESSING
3331.33/3340.45 c GARBAGE COLLECT
3331.33/3340.45 c #Conflicts: 1643000 | #Constraints: 26774
3331.33/3340.45 c #Conflicts: 1644000 | #Constraints: 27774
3331.33/3340.45 c #Conflicts: 1645000 | #Constraints: 28774
3331.33/3340.45 c #Conflicts: 1646000 | #Constraints: 29774
3331.33/3340.45 c #Conflicts: 1647000 | #Constraints: 30774
3331.33/3340.45 c #Conflicts: 1648000 | #Constraints: 31774
3331.33/3340.45 c #Conflicts: 1649000 | #Constraints: 32774
3331.33/3340.45 c #Conflicts: 1650000 | #Constraints: 33774
3331.33/3340.45 c #Conflicts: 1651000 | #Constraints: 34774
3331.33/3340.45 c #Conflicts: 1652000 | #Constraints: 35774
3331.33/3340.45 c #Conflicts: 1653000 | #Constraints: 36774
3331.33/3340.45 c #Conflicts: 1654000 | #Constraints: 37774
3331.33/3340.45 c #Conflicts: 1655000 | #Constraints: 38774
3331.33/3340.45 c #Conflicts: 1656000 | #Constraints: 39774
3331.33/3340.45 c #Conflicts: 1657000 | #Constraints: 40774
3331.33/3340.45 c #Conflicts: 1658000 | #Constraints: 41774
3331.33/3340.45 c #Conflicts: 1659000 | #Constraints: 42774
3331.33/3340.45 c #Conflicts: 1660000 | #Constraints: 43774
3331.33/3340.45 c #Conflicts: 1661000 | #Constraints: 44774
3331.33/3340.45 c #Conflicts: 1662000 | #Constraints: 45774
3331.33/3340.45 c #Conflicts: 1663000 | #Constraints: 46774
3331.33/3340.45 c #Conflicts: 1664000 | #Constraints: 47774
3331.33/3340.45 c #Conflicts: 1665000 | #Constraints: 48774
3331.33/3340.45 c #Conflicts: 1666000 | #Constraints: 49774
3331.33/3340.45 c #Conflicts: 1667000 | #Constraints: 50774
3331.33/3340.45 c #Conflicts: 1668000 | #Constraints: 51774
3331.33/3340.45 c INPROCESSING
3331.33/3340.45 c GARBAGE COLLECT
3331.33/3340.45 c #Conflicts: 1669000 | #Constraints: 27177
3331.33/3340.45 c #Conflicts: 1670000 | #Constraints: 28177
3331.33/3340.45 c #Conflicts: 1671000 | #Constraints: 29177
3331.33/3340.45 c #Conflicts: 1672000 | #Constraints: 30177
3331.33/3340.45 c #Conflicts: 1673000 | #Constraints: 31177
3331.33/3340.45 c #Conflicts: 1674000 | #Constraints: 32177
3331.33/3340.45 c #Conflicts: 1675000 | #Constraints: 33177
3331.33/3340.45 c #Conflicts: 1676000 | #Constraints: 34177
3331.33/3340.45 c #Conflicts: 1677000 | #Constraints: 35177
3331.33/3340.45 c #Conflicts: 1678000 | #Constraints: 36177
3331.33/3340.45 c #Conflicts: 1679000 | #Constraints: 37177
3331.33/3340.45 c #Conflicts: 1680000 | #Constraints: 38177
3331.33/3340.45 c #Conflicts: 1681000 | #Constraints: 39177
3331.33/3340.45 c #Conflicts: 1682000 | #Constraints: 40177
3331.33/3340.45 c #Conflicts: 1683000 | #Constraints: 41177
3331.33/3340.45 c #Conflicts: 1684000 | #Constraints: 42177
3331.33/3340.45 c #Conflicts: 1685000 | #Constraints: 43177
3331.33/3340.45 c #Conflicts: 1686000 | #Constraints: 44177
3331.33/3340.45 c #Conflicts: 1687000 | #Constraints: 45177
3331.33/3340.45 c #Conflicts: 1688000 | #Constraints: 46177
3331.33/3340.45 c #Conflicts: 1689000 | #Constraints: 47177
3331.33/3340.45 c #Conflicts: 1690000 | #Constraints: 48177
3331.33/3340.45 c #Conflicts: 1691000 | #Constraints: 49177
3331.33/3340.45 c #Conflicts: 1692000 | #Constraints: 50177
3331.33/3340.45 c #Conflicts: 1693000 | #Constraints: 51177
3331.33/3340.45 c #Conflicts: 1694000 | #Constraints: 52177
3331.33/3340.45 c INPROCESSING
3331.33/3340.45 c GARBAGE COLLECT
3331.33/3340.45 c #Conflicts: 1695000 | #Constraints: 27373
3331.33/3340.45 c #Conflicts: 1696000 | #Constraints: 28373
3331.33/3340.45 c #Conflicts: 1697000 | #Constraints: 29373
3331.33/3340.45 c #Conflicts: 1698000 | #Constraints: 30373
3331.33/3340.45 c #Conflicts: 1699000 | #Constraints: 31373
3331.33/3340.45 c #Conflicts: 1700000 | #Constraints: 32373
3331.33/3340.45 c #Conflicts: 1701000 | #Constraints: 33373
3331.33/3340.45 c #Conflicts: 1702000 | #Constraints: 34373
3331.33/3340.45 c #Conflicts: 1703000 | #Constraints: 35373
3331.33/3340.45 c #Conflicts: 1704000 | #Constraints: 36373
3588.73/3598.55 c #Conflicts: 1705000 | #Constraints: 37373
3588.73/3598.55 c #Conflicts: 1706000 | #Constraints: 38373
3588.73/3598.55 c #Conflicts: 1707000 | #Constraints: 39373
3588.73/3598.55 c #Conflicts: 1708000 | #Constraints: 40373
3588.73/3598.55 c #Conflicts: 1709000 | #Constraints: 41373
3588.73/3598.55 c #Conflicts: 1710000 | #Constraints: 42373
3588.73/3598.55 c #Conflicts: 1711000 | #Constraints: 43373
3588.73/3598.55 c #Conflicts: 1712000 | #Constraints: 44373
3588.73/3598.55 c #Conflicts: 1713000 | #Constraints: 45373
3588.73/3598.55 c #Conflicts: 1714000 | #Constraints: 46373
3588.73/3598.55 c #Conflicts: 1715000 | #Constraints: 47373
3588.73/3598.55 c #Conflicts: 1716000 | #Constraints: 48373
3588.73/3598.55 c #Conflicts: 1717000 | #Constraints: 49373
3588.73/3598.55 c #Conflicts: 1718000 | #Constraints: 50373
3588.73/3598.55 c #Conflicts: 1719000 | #Constraints: 51373
3588.73/3598.55 c #Conflicts: 1720000 | #Constraints: 52373
3588.73/3598.55 c INPROCESSING
3588.73/3598.55 c GARBAGE COLLECT
3588.73/3598.55 c #Conflicts: 1721000 | #Constraints: 27369
3588.73/3598.55 c #Conflicts: 1722000 | #Constraints: 28369
3588.73/3598.55 c #Conflicts: 1723000 | #Constraints: 29369
3588.73/3598.55 c #Conflicts: 1724000 | #Constraints: 30369
3588.73/3598.55 c #Conflicts: 1725000 | #Constraints: 31369
3588.73/3598.55 c #Conflicts: 1726000 | #Constraints: 32369
3588.73/3598.55 c #Conflicts: 1727000 | #Constraints: 33369
3588.73/3598.55 c #Conflicts: 1728000 | #Constraints: 34369
3588.73/3598.55 c #Conflicts: 1729000 | #Constraints: 35369
3588.73/3598.55 c #Conflicts: 1730000 | #Constraints: 36369
3588.73/3598.55 c #Conflicts: 1731000 | #Constraints: 37369
3588.73/3598.55 c #Conflicts: 1732000 | #Constraints: 38369
3588.73/3598.55 c #Conflicts: 1733000 | #Constraints: 39369
3588.73/3598.55 c #Conflicts: 1734000 | #Constraints: 40369
3588.73/3598.55 c #Conflicts: 1735000 | #Constraints: 41369
3588.73/3598.55 c #Conflicts: 1736000 | #Constraints: 42369
3588.73/3598.55 c #Conflicts: 1737000 | #Constraints: 43369
3588.73/3598.55 c #Conflicts: 1738000 | #Constraints: 44369
3588.73/3598.55 c #Conflicts: 1739000 | #Constraints: 45369
3588.73/3598.55 c #Conflicts: 1740000 | #Constraints: 46369
3588.73/3598.55 c #Conflicts: 1741000 | #Constraints: 47369
3588.73/3598.55 c #Conflicts: 1742000 | #Constraints: 48369
3588.73/3598.55 c #Conflicts: 1743000 | #Constraints: 49369
3588.73/3598.55 c #Conflicts: 1744000 | #Constraints: 50369
3588.73/3598.55 c #Conflicts: 1745000 | #Constraints: 51369
3588.73/3598.55 c #Conflicts: 1746000 | #Constraints: 52369
3588.73/3598.55 c INPROCESSING
3588.73/3598.55 c GARBAGE COLLECT
3588.73/3598.55 c #Conflicts: 1747000 | #Constraints: 27171
3588.73/3598.55 c #Conflicts: 1748000 | #Constraints: 28171
3588.73/3598.55 c #Conflicts: 1749000 | #Constraints: 29171
3588.73/3598.55 c #Conflicts: 1750000 | #Constraints: 30171
3588.73/3598.55 c #Conflicts: 1751000 | #Constraints: 31171
3588.73/3598.55 c #Conflicts: 1752000 | #Constraints: 32171
3588.73/3598.55 c #Conflicts: 1753000 | #Constraints: 33171
3588.73/3598.55 c #Conflicts: 1754000 | #Constraints: 34171
3588.73/3598.55 c #Conflicts: 1755000 | #Constraints: 35171
3588.73/3598.55 c #Conflicts: 1756000 | #Constraints: 36171
3588.73/3598.55 c #Conflicts: 1757000 | #Constraints: 37171
3588.73/3598.55 c #Conflicts: 1758000 | #Constraints: 38171
3588.73/3598.55 c #Conflicts: 1759000 | #Constraints: 39171
3588.73/3598.55 c #Conflicts: 1760000 | #Constraints: 40171
3588.73/3598.55 c #Conflicts: 1761000 | #Constraints: 41171
3588.73/3598.55 c #Conflicts: 1762000 | #Constraints: 42171
3588.73/3598.55 c #Conflicts: 1763000 | #Constraints: 43171
3588.73/3598.55 c #Conflicts: 1764000 | #Constraints: 44171
3588.73/3598.55 c #Conflicts: 1765000 | #Constraints: 45171
3588.73/3598.55 c #Conflicts: 1766000 | #Constraints: 46171
3588.73/3598.55 c #Conflicts: 1767000 | #Constraints: 47171
3588.73/3598.55 c #Conflicts: 1768000 | #Constraints: 48171
3588.73/3598.55 c #Conflicts: 1769000 | #Constraints: 49171
3588.73/3598.55 c #Conflicts: 1770000 | #Constraints: 50171
3588.73/3598.55 c #Conflicts: 1771000 | #Constraints: 51171
3588.73/3598.55 c #Conflicts: 1772000 | #Constraints: 52171
3588.73/3598.55 c #Conflicts: 1773000 | #Constraints: 53171
3588.73/3598.55 c INPROCESSING
3588.73/3598.55 c GARBAGE COLLECT
3588.73/3598.55 c #Conflicts: 1774000 | #Constraints: 27778
3588.73/3598.55 c #Conflicts: 1775000 | #Constraints: 28778
3588.73/3598.55 c #Conflicts: 1776000 | #Constraints: 29778
3588.73/3598.55 c #Conflicts: 1777000 | #Constraints: 30778
3588.73/3598.55 c #Conflicts: 1778000 | #Constraints: 31778
3588.73/3598.55 c #Conflicts: 1779000 | #Constraints: 32778
3588.73/3598.55 c #Conflicts: 1780000 | #Constraints: 33778
3588.73/3598.55 c #Conflicts: 1781000 | #Constraints: 34778
3600.01/3609.80 c #Conflicts: 1782000 | #Constraints: 35778
3600.01/3609.80 c #Conflicts: 1783000 | #Constraints: 36778
3600.01/3609.80 c #Conflicts: 1784000 | #Constraints: 37778
3600.01/3609.80 c cpu time 3582.43 s
3600.01/3609.80 c deterministic time 1 1.00e+00
3600.01/3609.80 c optimization time 3582.43 s
3600.01/3609.80 c total solve time 0 s
3600.01/3609.80 c core-guided solve time 0 s
3600.01/3609.80 c propagation time 0.000163 s
3600.01/3609.80 c conflict analysis time 0 s
3600.01/3609.80 c propagations 0
3600.01/3609.80 c resolve steps 0
3600.01/3609.80 c decisions 0
3600.01/3609.80 c conflicts 0
3600.01/3609.80 c restarts 0
3600.01/3609.80 c inprocessing phases 0
3600.01/3609.80 c garbage collections 0 ,( -nan )
3600.01/3609.80 c input clauses 0 ,( 0.00 )
3600.01/3609.80 c input cardinalities 0 ,( 0.00 )
3600.01/3609.80 c input general constraints 469 ,( 100.00 )
3600.01/3609.80 c input average constraint length 9.05
3600.01/3609.80 c input average constraint degree 28.79
3600.01/3609.80 c learned clauses 0 ,( 0.00 )
3600.01/3609.80 c learned cardinalities 0 ,( 0.00 )
3600.01/3609.80 c learned general constraints 0 ,( 0.00 )
3600.01/3609.80 c learned average constraint length 0.00
3600.01/3609.80 c learned average constraint degree 0.00
3600.01/3609.80 c watched CF 32, 64, 128, Arb: 6 , 0 , 0 , 0
3600.01/3609.80 c counting CF 32, 64, 128, Arb: 464 , 0 , 0 , 0
3600.01/3609.80 c watched constraints 6 ,( 1.28 )
3600.01/3609.80 c counting constraints 463 ,( 98.72 )
3600.01/3609.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.01/3609.80 c gcd simplifications 0
3600.01/3609.80 c detected cardinalities 0
3600.01/3609.80 c weakened non-implied lits 0
3600.01/3609.80 c weakened non-implying lits 0
3600.01/3609.80 c original variables 470
3600.01/3609.80 c clausal propagations 0
3600.01/3609.80 c cardinality propagations 0
3600.01/3609.80 c watched propagations 0
3600.01/3609.80 c counting propagations 0
3600.01/3609.80 c watch lookups 0
3600.01/3609.80 c watch backjump lookups 0
3600.01/3609.80 c watch checks 0
3600.01/3609.80 c propagation checks 0
3600.01/3609.80 c constraint additions 0
3600.01/3609.80 c trail pops 0
3600.01/3609.80 c formula constraints 469
3600.01/3609.80 c learned constraints 0
3600.01/3609.80 c bound constraints 0
3600.01/3609.80 c core-guided constraints 0
3600.01/3609.80 c encountered formula constraints 0
3600.01/3609.80 c encountered learned constraints 0
3600.01/3609.80 c encountered bound constraints 0
3600.01/3609.80 c encountered core-guided constraints 0
3600.01/3609.80 c LP total time 0 s
3600.01/3609.80 c LP solve time 0 s
3600.01/3609.80 c LP constraints added 0
3600.01/3609.80 c LP constraints removed 0
3600.01/3609.80 c LP pivots internal 0
3600.01/3609.80 c LP pivots root 0
3600.01/3609.80 c LP calls 0
3600.01/3609.80 c LP optimalities 0
3600.01/3609.80 c LP no pivot count 0
3600.01/3609.80 c LP infeasibilities 0
3600.01/3609.80 c LP valid Farkas constraints 0
3600.01/3609.80 c LP learned Farkas constraints 0
3600.01/3609.80 c LP basis resets 0
3600.01/3609.80 c LP cycling count 0
3600.01/3609.80 c LP singular count 0
3600.01/3609.80 c LP no primal count 0
3600.01/3609.80 c LP no farkas count 0
3600.01/3609.80 c LP other issue count 0
3600.01/3609.80 c LP Gomory cuts 0
3600.01/3609.80 c LP learned cuts 0
3600.01/3609.80 c LP deleted cuts 0
3600.01/3609.80 c LP encountered Gomory constraints 0
3600.01/3609.80 c LP encountered Farkas constraints 0
3600.01/3609.80 c LP encountered learned Farkas constraints 0
3600.01/3609.80 c CG auxiliary variables introduced 0
3600.01/3609.80 c CG solutions found 0
3600.01/3609.80 c CG cores constructed 0
3600.01/3609.80 c CG core cardinality constraints returned 0
3600.01/3609.80 c CG unit cores 0
3600.01/3609.80 c CG single cores 0
3600.01/3609.80 c CG blocks removed during cardinality reduction 0
3600.01/3609.80 c CG first core best 0
3600.01/3609.80 c CG decision core best 0
3600.01/3609.80 c CG core reduction tie 0
3600.01/3609.80 c CG core degree average 0.00
3600.01/3609.80 c CG core slack average 0.00
3600.01/3609.80 c CG core upper bound improvements 0
3600.01/3609.80 c STR number of successful calls 0
3600.01/3609.80 c STR number of unsuccessful calls 0
3600.01/3609.80 c STR number of inconclusive calls 0
3600.01/3609.80 c STR number of successful attempts 0
3600.01/3609.80 c STR number of unsuccessful attempts 0
3600.01/3609.80 c STR number of inconclusive attempts 0
3600.01/3609.80 c STR average degree increase per successful call inf
3600.01/3609.80 c STR average degree increase per successful attempt inf
3600.01/3609.80 c STR total number of conflicts for successful attempts 0
3600.01/3609.80 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3609.80 c STR total number of conflicts for inconclusive attempts 0
3600.01/3609.80 c STR average number of conflicts per successful attempt inf
3600.01/3609.80 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3609.80 c STR average number of conflicts per inconclusive attempt inf
3600.01/3609.80 c AVG.sumWPerc 72.90
3600.01/3609.80 c bigint constraints 0
3600.01/3609.80 s UNKNOWN
3600.01/3609.80 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62713 MiB free)
memory of node 1: 64507 MiB (63995 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489369-1751360042/watcher-4489369-1751360042 -o /tmp/evaluation-result-4489369-1751360042/solver-4489369-1751360042 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751360042-49685 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4489369-1751360042.opb PROOFDIR/proof-4489369-1751360042
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=49728, runsolver pid=49719
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 2.83 3.79 3.99 4/263 49741
/proc/meminfo: memFree=129726684/131249988 swapFree=33010160/33010684
[pid=49728] ppid=49719 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49728/stat : 49728 (run-opt-log.sh) S 49719 49728 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 736 18446744073709551615 94271852277760 94271853172293 140734929503248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94271853411344 94271853459088 94271854559232 140734929508641 140734929508836 140734929508836 140734929514438 0
/proc/49728/statm: 1048 736 672 219 0 110 0
[pid=49734] ppid=49728 vsize=62512 memory=15464 CPUtime=0.06 cores=1,3
/proc/49734/stat : 49734 (roundingsat) R 49728 49728 49673 0 -1 4194304 1238 0 0 0 6 0 0 0 20 0 1 0 51683069 64012288 3866 18446744073709551615 4227072 8923433 140731343863984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22601728 140731343866194 140731343866408 140731343866408 140731343871978 0
/proc/49734/statm: 15628 3866 2368 1147 0 3055 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 66704 KiB
Current children cumulated memory: 18408 KiB
[startup+0.20541 s]*
/proc/loadavg: 2.83 3.79 3.99 5/268 49746
/proc/meminfo: memFree=129709548/131249988 swapFree=33010160/33010684
[pid=49728] ppid=49719 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49728/stat : 49728 (run-opt-log.sh) S 49719 49728 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 736 18446744073709551615 94271852277760 94271853172293 140734929503248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94271853411344 94271853459088 94271854559232 140734929508641 140734929508836 140734929508836 140734929514438 0
/proc/49728/statm: 1048 736 672 219 0 110 0
[pid=49734] ppid=49728 vsize=64416 memory=17256 CPUtime=0.17 cores=1,3
/proc/49734/stat : 49734 (roundingsat) R 49728 49728 49673 0 -1 4194304 1690 0 0 0 16 1 0 0 20 0 1 0 51683069 65961984 4314 18446744073709551615 4227072 8923433 140731343863984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22601728 140731343866194 140731343866408 140731343866408 140731343871978 0
/proc/49734/statm: 16104 4314 2368 1147 0 3531 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 68608 KiB
Current children cumulated memory: 20200 KiB
[startup+0.305411 s]*
/proc/loadavg: 2.83 3.79 3.99 5/268 49746
/proc/meminfo: memFree=129694680/131249988 swapFree=33010160/33010684
[pid=49728] ppid=49719 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49728/stat : 49728 (run-opt-log.sh) S 49719 49728 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 736 18446744073709551615 94271852277760 94271853172293 140734929503248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94271853411344 94271853459088 94271854559232 140734929508641 140734929508836 140734929508836 140734929514438 0
/proc/49728/statm: 1048 736 672 219 0 110 0
[pid=49734] ppid=49728 vsize=67996 memory=21096 CPUtime=0.27 cores=1,3
/proc/49734/stat : 49734 (roundingsat) R 49728 49728 49673 0 -1 4194304 2668 0 0 0 26 1 0 0 20 0 1 0 51683069 69627904 5274 18446744073709551615 4227072 8923433 140731343863984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22601728 140731343866194 140731343866408 140731343866408 140731343871978 0
/proc/49734/statm: 16999 5274 2368 1147 0 4426 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 72188 KiB
Current children cumulated memory: 24040 KiB
[startup+0.700182 s]
/proc/loadavg: 2.83 3.79 3.99 5/268 49746
/proc/meminfo: memFree=129669732/131249988 swapFree=33010160/33010684
[pid=49728] ppid=49719 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49728/stat : 49728 (run-opt-log.sh) S 49719 49728 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 736 18446744073709551615 94271852277760 94271853172293 140734929503248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94271853411344 94271853459088 94271854559232 140734929508641 140734929508836 140734929508836 140734929514438 0
/proc/49728/statm: 1048 736 672 219 0 110 0
[pid=49734] ppid=49728 vsize=76900 memory=27496 CPUtime=0.66 cores=1,3
/proc/49734/stat : 49734 (roundingsat) R 49728 49728 49673 0 -1 4194304 4260 0 0 0 63 3 0 0 20 0 1 0 51683069 78745600 6874 18446744073709551615 4227072 8923433 140731343863984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22601728 140731343866194 140731343866408 140731343866408 140731343871978 0
/proc/49734/statm: 19225 6874 2368 1147 0 6652 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 81092 KiB
Current children cumulated memory: 30440 KiB
[startup+1.50019 s]
/proc/loadavg: 2.83 3.79 3.99 5/268 49746
/proc/meminfo: memFree=129613284/131249988 swapFree=33010160/33010684
[pid=49728] ppid=49719 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49728/stat : 49728 (run-opt-log.sh) S 49719 49728 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 736 18446744073709551615 94271852277760 94271853172293 140734929503248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94271853411344 94271853459088 94271854559232 140734929508641 140734929508836 140734929508836 140734929514438 0
/proc/49728/statm: 1048 736 672 219 0 110 0
[pid=49734] ppid=49728 vsize=78632 memory=32744 CPUtime=1.46 cores=1,3
/proc/49734/stat : 49734 (roundingsat) R 49728 49728 49673 0 -1 4194304 5569 0 0 0 141 5 0 0 20 0 1 0 51683069 80519168 8186 18446744073709551615 4227072 8923433 140731343863984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22601728 140731343866194 140731343866408 140731343866408 140731343871978 0
/proc/49734/statm: 19658 8186 2368 1147 0 7085 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 82824 KiB
Current children cumulated memory: 35688 KiB
[startup+3.10546 s]
/proc/loadavg: 2.92 3.80 3.99 5/268 49746
/proc/meminfo: memFree=128932556/131249988 swapFree=33010160/33010684
[pid=49728] ppid=49719 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49728/stat : 49728 (run-opt-log.sh) S 49719 49728 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 736 18446744073709551615 94271852277760 94271853172293 140734929503248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94271853411344 94271853459088 94271854559232 140734929508641 140734929508836 140734929508836 140734929514438 0
/proc/49728/statm: 1048 736 672 219 0 110 0
[pid=49734] ppid=49728 vsize=96544 memory=46212 CPUtime=3.06 cores=1,3
/proc/49734/stat : 49734 (roundingsat) R 49728 49728 49673 0 -1 4194304 8432 0 0 0 297 9 0 0 20 0 1 0 51683069 98861056 11553 18446744073709551615 4227072 8923433 140731343863984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22601728 140731343866194 140731343866408 140731343866408 140731343871978 0
/proc/49734/statm: 24136 11553 2368 1147 0 11563 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 100736 KiB
Current children cumulated memory: 49156 KiB
[startup+6.30018 s]
/proc/loadavg: 2.92 3.80 3.99 5/270 49748
/proc/meminfo: memFree=128590696/131249988 swapFree=33010160/33010684
[pid=49728] ppid=49719 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49728/stat : 49728 (run-opt-log.sh) S 49719 49728 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 736 18446744073709551615 94271852277760 94271853172293 140734929503248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94271853411344 94271853459088 94271854559232 140734929508641 140734929508836 140734929508836 140734929514438 0
/proc/49728/statm: 1048 736 672 219 0 110 0
[pid=49734] ppid=49728 vsize=98272 memory=49412 CPUtime=6.25 cores=1,3
/proc/49734/stat : 49734 (roundingsat) R 49728 49728 49673 0 -1 4194304 9224 0 0 0 610 15 0 0 20 0 1 0 51683069 100630528 12353 18446744073709551615 4227072 8923433 140731343863984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22601728 140731343866194 140731343866408 140731343866408 140731343871978 0
/proc/49734/statm: 24568 12353 2368 1147 0 11995 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 102464 KiB
Current children cumulated memory: 52356 KiB
[startup+12.7002 s]
/proc/loadavg: 3.01 3.80 3.99 5/270 49748
/proc/meminfo: memFree=128299260/131249988 swapFree=33010160/33010684
[pid=49728] ppid=49719 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49728/stat : 49728 (run-opt-log.sh) S 49719 49728 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 736 18446744073709551615 94271852277760 94271853172293 140734929503248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94271853411344 94271853459088 94271854559232 140734929508641 140734929508836 140734929508836 140734929514438 0
/proc/49728/statm: 1048 736 672 219 0 110 0
[pid=49734] ppid=49728 vsize=120108 memory=63236 CPUtime=12.63 cores=1,3
/proc/49734/stat : 49734 (roundingsat) R 49728 49728 49673 0 -1 4194304 12192 0 0 0 1239 24 0 0 20 0 1 0 51683069 122990592 15809 18446744073709551615 4227072 8923433 140731343863984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22601728 140731343866194 140731343866408 140731343866408 140731343871978 0
/proc/49734/statm: 30027 15809 2368 1147 0 17454 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 124300 KiB
Current children cumulated memory: 66180 KiB
[startup+25.5002 s]
/proc/loadavg: 3.23 3.81 3.99 5/270 49749
/proc/meminfo: memFree=127690564/131249988 swapFree=33010160/33010684
[pid=49728] ppid=49719 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49728/stat : 49728 (run-opt-log.sh) S 49719 49728 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 736 18446744073709551615 94271852277760 94271853172293 140734929503248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94271853411344 94271853459088 94271854559232 140734929508641 140734929508836 140734929508836 140734929514438 0
/proc/49728/statm: 1048 736 672 219 0 110 0
[pid=49734] ppid=49728 vsize=128300 memory=74312 CPUtime=25.39 cores=1,3
/proc/49734/stat : 49734 (roundingsat) R 49728 49728 49673 0 -1 4194304 14449 0 0 0 2496 43 0 0 20 0 1 0 51683069 131379200 18578 18446744073709551615 4227072 8923433 140731343863984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22601728 140731343866194 140731343866408 140731343866408 140731343871978 0
/proc/49734/statm: 32075 18578 2368 1147 0 19502 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 132492 KiB
Current children cumulated memory: 77256 KiB
[startup+51.1055 s]
/proc/loadavg: 3.49 3.83 4.00 5/271 49750
/proc/meminfo: memFree=126892900/131249988 swapFree=33010160/33010684
[pid=49728] ppid=49719 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49728/stat : 49728 (run-opt-log.sh) S 49719 49728 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 736 18446744073709551615 94271852277760 94271853172293 140734929503248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94271853411344 94271853459088 94271854559232 140734929508641 140734929508836 140734929508836 140734929514438 0
/proc/49728/statm: 1048 736 672 219 0 110 0
[pid=49734] ppid=49728 vsize=147316 memory=90156 CPUtime=50.93 cores=1,3
/proc/49734/stat : 49734 (roundingsat) R 49728 49728 49673 0 -1 4194304 17381 0 0 0 5024 69 0 0 20 0 1 0 51683069 150851584 22539 18446744073709551615 4227072 8923433 140731343863984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22601728 140731343866194 140731343866408 140731343866408 140731343871978 0
/proc/49734/statm: 36829 22539 2368 1147 0 24256 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 151508 KiB
Current children cumulated memory: 93100 KiB
[startup+102.3 s]
/proc/loadavg: 3.92 3.89 4.01 5/271 49753
/proc/meminfo: memFree=125382304/131249988 swapFree=33010160/33010684
[pid=49728] ppid=49719 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49728/stat : 49728 (run-opt-log.sh) S 49719 49728 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 736 18446744073709551615 94271852277760 94271853172293 140734929503248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94271853411344 94271853459088 94271854559232 140734929508641 140734929508836 140734929508836 140734929514438 0
/proc/49728/statm: 1048 736 672 219 0 110 0
[pid=49734] ppid=49728 vsize=182864 memory=118240 CPUtime=101.99 cores=1,3
/proc/49734/stat : 49734 (roundingsat) R 49728 49728 49673 0 -1 4194304 23380 0 0 0 10075 124 0 0 20 0 1 0 51683069 187252736 29560 18446744073709551615 4227072 8923433 140731343863984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22601728 140731343866194 140731343866408 140731343866408 140731343871978 0
/proc/49734/statm: 45716 29560 2368 1147 0 33143 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 187056 KiB
Current children cumulated memory: 121184 KiB
[startup+162.3 s]
/proc/loadavg: 4.01 3.92 4.01 5/272 49756
/proc/meminfo: memFree=123954224/131249988 swapFree=33010160/33010684
[pid=49728] ppid=49719 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49728/stat : 49728 (run-opt-log.sh) S 49719 49728 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 736 18446744073709551615 94271852277760 94271853172293 140734929503248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94271853411344 94271853459088 94271854559232 140734929508641 140734929508836 140734929508836 140734929514438 0
/proc/49728/statm: 1048 736 672 219 0 110 0
[pid=49734] ppid=49728 vsize=220292 memory=140144 CPUtime=161.83 cores=1,3
/proc/49734/stat : 49734 (roundingsat) R 49728 49728 49673 0 -1 4194304 27846 0 0 0 16004 179 0 0 20 0 1 0 51683069 225579008 35036 18446744073709551615 4227072 8923433 140731343863984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22601728 140731343866194 140731343866408 140731343866408 140731343871978 0
/proc/49734/statm: 55073 35036 2368 1147 0 42500 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 224484 KiB
Current children cumulated memory: 143088 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 3.97 4.01 5/272 49761
/proc/meminfo: memFree=122891832/131249988 swapFree=33010160/33010684
[pid=49728] ppid=49719 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49728/stat : 49728 (run-opt-log.sh) S 49719 49728 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 736 18446744073709551615 94271852277760 94271853172293 140734929503248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94271853411344 94271853459088 94271854559232 140734929508641 140734929508836 140734929508836 140734929514438 0
/proc/49728/statm: 1048 736 672 219 0 110 0
[pid=49734] ppid=49728 vsize=223508 memory=152228 CPUtime=221.66 cores=1,3
/proc/49734/stat : 49734 (roundingsat) R 49728 49728 49673 0 -1 4194304 29488 0 0 0 21938 228 0 0 20 0 1 0 51683069 228872192 38057 18446744073709551615 4227072 8923433 140731343863984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22601728 140731343866194 140731343866408 140731343866408 140731343871978 0
################
# More data... #
################
/proc/49734/statm: 114792 82093 2368 1147 0 102219 0
Current children cumulated CPU time: 3034.02 s
Current children cumulated vsize: 463360 KiB
Current children cumulated memory: 331316 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/273 49931
/proc/meminfo: memFree=94212732/131249988 swapFree=33010160/33010684
[pid=49728] ppid=49719 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49728/stat : 49728 (run-opt-log.sh) S 49719 49728 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 736 18446744073709551615 94271852277760 94271853172293 140734929503248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94271853411344 94271853459088 94271854559232 140734929508641 140734929508836 140734929508836 140734929514438 0
/proc/49728/statm: 1048 736 672 219 0 110 0
[pid=49734] ppid=49728 vsize=462756 memory=332460 CPUtime=3093.86 cores=1,3
/proc/49734/stat : 49734 (roundingsat) R 49728 49728 49673 0 -1 4194304 76469 0 0 0 307802 1584 0 0 20 0 1 0 51683069 473862144 83115 18446744073709551615 4227072 8923433 140731343863984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22601728 140731343866194 140731343866408 140731343866408 140731343871978 0
/proc/49734/statm: 115689 83115 2368 1147 0 103116 0
Current children cumulated CPU time: 3093.86 s
Current children cumulated vsize: 466948 KiB
Current children cumulated memory: 335404 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/273 49934
/proc/meminfo: memFree=93483692/131249988 swapFree=33010160/33010684
[pid=49728] ppid=49719 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49728/stat : 49728 (run-opt-log.sh) S 49719 49728 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 736 18446744073709551615 94271852277760 94271853172293 140734929503248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94271853411344 94271853459088 94271854559232 140734929508641 140734929508836 140734929508836 140734929514438 0
/proc/49728/statm: 1048 736 672 219 0 110 0
[pid=49734] ppid=49728 vsize=485172 memory=337224 CPUtime=3153.7 cores=1,3
/proc/49734/stat : 49734 (roundingsat) R 49728 49728 49673 0 -1 4194304 82409 0 0 0 313764 1606 0 0 20 0 1 0 51683069 496816128 84306 18446744073709551615 4227072 8923433 140731343863984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22601728 140731343866194 140731343866408 140731343866408 140731343871978 0
/proc/49734/statm: 121293 84306 2368 1147 0 108720 0
Current children cumulated CPU time: 3153.7 s
Current children cumulated vsize: 489364 KiB
Current children cumulated memory: 340168 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/274 49939
/proc/meminfo: memFree=93042476/131249988 swapFree=33010160/33010684
[pid=49728] ppid=49719 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49728/stat : 49728 (run-opt-log.sh) S 49719 49728 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 736 18446744073709551615 94271852277760 94271853172293 140734929503248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94271853411344 94271853459088 94271854559232 140734929508641 140734929508836 140734929508836 140734929514438 0
/proc/49728/statm: 1048 736 672 219 0 110 0
[pid=49734] ppid=49728 vsize=485172 memory=337224 CPUtime=3213.54 cores=1,3
/proc/49734/stat : 49734 (roundingsat) R 49728 49728 49673 0 -1 4194304 82418 0 0 0 319726 1628 0 0 20 0 1 0 51683069 496816128 84306 18446744073709551615 4227072 8923433 140731343863984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22601728 140731343866194 140731343866408 140731343866408 140731343871978 0
/proc/49734/statm: 121293 84306 2368 1147 0 108720 0
Current children cumulated CPU time: 3213.54 s
Current children cumulated vsize: 489364 KiB
Current children cumulated memory: 340168 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/273 49941
/proc/meminfo: memFree=92580740/131249988 swapFree=33010160/33010684
[pid=49728] ppid=49719 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49728/stat : 49728 (run-opt-log.sh) S 49719 49728 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 736 18446744073709551615 94271852277760 94271853172293 140734929503248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94271853411344 94271853459088 94271854559232 140734929508641 140734929508836 140734929508836 140734929514438 0
/proc/49728/statm: 1048 736 672 219 0 110 0
[pid=49734] ppid=49728 vsize=487476 memory=338248 CPUtime=3273.38 cores=1,3
/proc/49734/stat : 49734 (roundingsat) R 49728 49728 49673 0 -1 4194304 83003 0 0 0 325688 1650 0 0 20 0 1 0 51683069 499175424 84562 18446744073709551615 4227072 8923433 140731343863984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22601728 140731343866194 140731343866408 140731343866408 140731343871978 0
/proc/49734/statm: 121869 84562 2368 1147 0 109296 0
Current children cumulated CPU time: 3273.38 s
Current children cumulated vsize: 491668 KiB
Current children cumulated memory: 341192 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/273 49943
/proc/meminfo: memFree=92070880/131249988 swapFree=33010160/33010684
[pid=49728] ppid=49719 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49728/stat : 49728 (run-opt-log.sh) S 49719 49728 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 736 18446744073709551615 94271852277760 94271853172293 140734929503248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94271853411344 94271853459088 94271854559232 140734929508641 140734929508836 140734929508836 140734929514438 0
/proc/49728/statm: 1048 736 672 219 0 110 0
[pid=49734] ppid=49728 vsize=487476 memory=338376 CPUtime=3333.23 cores=1,3
/proc/49734/stat : 49734 (roundingsat) R 49728 49728 49673 0 -1 4194304 83035 0 0 0 331653 1670 0 0 20 0 1 0 51683069 499175424 84594 18446744073709551615 4227072 8923433 140731343863984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22601728 140731343866194 140731343866408 140731343866408 140731343871978 0
/proc/49734/statm: 121869 84594 2368 1147 0 109296 0
Current children cumulated CPU time: 3333.23 s
Current children cumulated vsize: 491668 KiB
Current children cumulated memory: 341320 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.11 4.10 5/273 49944
/proc/meminfo: memFree=91513932/131249988 swapFree=33010160/33010684
[pid=49728] ppid=49719 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49728/stat : 49728 (run-opt-log.sh) S 49719 49728 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 736 18446744073709551615 94271852277760 94271853172293 140734929503248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94271853411344 94271853459088 94271854559232 140734929508641 140734929508836 140734929508836 140734929514438 0
/proc/49728/statm: 1048 736 672 219 0 110 0
[pid=49734] ppid=49728 vsize=489524 memory=339312 CPUtime=3393.06 cores=1,3
/proc/49734/stat : 49734 (roundingsat) R 49728 49728 49673 0 -1 4194304 83781 0 0 0 337619 1687 0 0 20 0 1 0 51683069 501272576 84828 18446744073709551615 4227072 8923433 140731343863984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22601728 140731343866194 140731343866408 140731343866408 140731343871978 0
/proc/49734/statm: 122381 84828 2368 1147 0 109808 0
Current children cumulated CPU time: 3393.06 s
Current children cumulated vsize: 493716 KiB
Current children cumulated memory: 342256 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/273 49951
/proc/meminfo: memFree=91041724/131249988 swapFree=33010160/33010684
[pid=49728] ppid=49719 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49728/stat : 49728 (run-opt-log.sh) S 49719 49728 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 736 18446744073709551615 94271852277760 94271853172293 140734929503248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94271853411344 94271853459088 94271854559232 140734929508641 140734929508836 140734929508836 140734929514438 0
/proc/49728/statm: 1048 736 672 219 0 110 0
[pid=49734] ppid=49728 vsize=490036 memory=339404 CPUtime=3452.9 cores=1,3
/proc/49734/stat : 49734 (roundingsat) R 49728 49728 49673 0 -1 4194304 83951 0 0 0 343581 1709 0 0 20 0 1 0 51683069 501796864 84851 18446744073709551615 4227072 8923433 140731343863984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22601728 140731343866194 140731343866408 140731343866408 140731343871978 0
/proc/49734/statm: 122509 84851 2368 1147 0 109936 0
Current children cumulated CPU time: 3452.9 s
Current children cumulated vsize: 494228 KiB
Current children cumulated memory: 342348 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/273 49954
/proc/meminfo: memFree=90471216/131249988 swapFree=33010160/33010684
[pid=49728] ppid=49719 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49728/stat : 49728 (run-opt-log.sh) S 49719 49728 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 736 18446744073709551615 94271852277760 94271853172293 140734929503248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94271853411344 94271853459088 94271854559232 140734929508641 140734929508836 140734929508836 140734929514438 0
/proc/49728/statm: 1048 736 672 219 0 110 0
[pid=49734] ppid=49728 vsize=490816 memory=339900 CPUtime=3512.74 cores=1,3
/proc/49734/stat : 49734 (roundingsat) R 49728 49728 49673 0 -1 4194304 84183 0 0 0 349544 1730 0 0 20 0 1 0 51683069 502595584 84975 18446744073709551615 4227072 8923433 140731343863984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22601728 140731343866194 140731343866408 140731343866408 140731343871978 0
/proc/49734/statm: 122704 84975 2368 1147 0 110131 0
Current children cumulated CPU time: 3512.74 s
Current children cumulated vsize: 495008 KiB
Current children cumulated memory: 342844 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/273 49956
/proc/meminfo: memFree=89937304/131249988 swapFree=33010160/33010684
[pid=49728] ppid=49719 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49728/stat : 49728 (run-opt-log.sh) S 49719 49728 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 736 18446744073709551615 94271852277760 94271853172293 140734929503248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94271853411344 94271853459088 94271854559232 140734929508641 140734929508836 140734929508836 140734929514438 0
/proc/49728/statm: 1048 736 672 219 0 110 0
[pid=49734] ppid=49728 vsize=495420 memory=343840 CPUtime=3572.58 cores=1,3
/proc/49734/stat : 49734 (roundingsat) R 49728 49728 49673 0 -1 4194304 85631 0 0 0 355509 1749 0 0 20 0 1 0 51683069 507310080 85960 18446744073709551615 4227072 8923433 140731343863984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22601728 140731343866194 140731343866408 140731343866408 140731343871978 0
/proc/49734/statm: 123855 85960 2368 1147 0 111282 0
Current children cumulated CPU time: 3572.58 s
Current children cumulated vsize: 499612 KiB
Current children cumulated memory: 346784 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.14 4.10 4.09 5/273 49958
/proc/meminfo: memFree=89710076/131249988 swapFree=33010160/33010684
[pid=49728] ppid=49719 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/49728/stat : 49728 (run-opt-log.sh) S 49719 49728 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51683069 4292608 736 18446744073709551615 94271852277760 94271853172293 140734929503248 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94271853411344 94271853459088 94271854559232 140734929508641 140734929508836 140734929508836 140734929514438 0
/proc/49728/statm: 1048 736 672 219 0 110 0
[pid=49734] ppid=49728 vsize=495420 memory=343840 CPUtime=3600.01 cores=1,3
/proc/49734/stat : 49734 (roundingsat) R 49728 49728 49673 0 -1 4194304 85631 0 0 0 358243 1758 0 0 20 0 1 0 51683069 507310080 85960 18446744073709551615 4227072 8923433 140731343863984 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22601728 140731343866194 140731343866408 140731343866408 140731343871978 0
/proc/49734/statm: 123855 85960 2368 1147 0 111282 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 499612 KiB
Current children cumulated memory: 346784 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.8 s]
# the end of solver process 49728 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.002579 s
[startup+3609.83 s]
# the end of solver process 49734 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3582.43 s, system=17.5963 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): 3609.83
CPU time (s): 3600.03
CPU user time (s): 3582.43
CPU system time (s): 17.5963
CPU usage (%): 99.7286
Max. virtual memory (cumulated for all children) (KiB): 499612
Max. memory (cumulated for all children) (KiB): 346784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.43
system time used= 17.5963
maximum resident set size= 344096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85860
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7582408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 499
involuntary context switches= 4841
# summary of solver processes directly reported to runsolver:
# pid: 49728,49734
# total CPU time (s): 3600.03
# total CPU user time (s): 3582.43
# total CPU system time (s): 17.5963
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.9852 second user time and 18.4281 second system time
The end
Begin job on nodeC034 at 2025-07-01 10:54:02
IDJOB=4489369
IDBENCH=147546
IDSOLVER=3351
FILE ID=nodeC034/4489369-1751360042
RUNJOBID= nodeC034-1751360042-49685
SLURM_JOB_ID= 9598159
Free space on /tmp= 433052 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489369-1751360042/watcher-4489369-1751360042 -o /tmp/evaluation-result-4489369-1751360042/solver-4489369-1751360042 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751360042-49685 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4489369-1751360042.opb PROOFDIR/proof-4489369-1751360042
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d9affe619068a6673989e4355ed78893
RANDOM SEED=1442571434
nodeC034 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 : 3599.764
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 : 6999.53
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 : 3599.379
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 : 6999.53
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 : 3599.713
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 : 6999.53
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 : 3531.561
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 : 6999.53
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 : 3599.835
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 : 6999.53
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 : 3599.769
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 : 6999.53
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.307
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 : 6999.53
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 : 3704.168
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 : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 129762360 kB
MemAvailable: 129695328 kB
Buffers: 2128 kB
Cached: 697252 kB
SwapCached: 36 kB
Active: 529396 kB
Inactive: 257848 kB
Active(anon): 101720 kB
Inactive(anon): 4212 kB
Active(file): 427676 kB
Inactive(file): 253636 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 30132 kB
Writeback: 0 kB
AnonPages: 90916 kB
Mapped: 103440 kB
Shmem: 18068 kB
KReclaimable: 181388 kB
Slab: 272348 kB
SReclaimable: 181388 kB
SUnreclaim: 90960 kB
KernelStack: 3940 kB
PageTables: 2376 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 350032 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150376 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 30720 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC034 at 2025-07-01 11:54:12