0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.00/0.04 c #variables 470 #constraints 469
0.00/0.04 c objective is ce32
0.00/0.05 c initial watched CF 32, 64, 128, Arb: 6 , 0 , 0 , 0
0.00/0.05 c initial counting CF 32, 64, 128, Arb: 464 , 0 , 0 , 0
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.013192
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.013897
0.29/0.41 c GLOBAL bounds - >= 0 @ 0.348047
0.38/0.43 c GLOBAL bounds - >= 0 @ 0.370013
0.38/0.52 c GLOBAL bounds - >= 0 @ 0.454468
0.57/0.69 c #Conflicts: 1000 | #Constraints: 1475
0.57/0.69 c GLOBAL bounds - >= 0 @ 0.621824
0.76/0.85 c GLOBAL bounds - >= 0 @ 0.765699
1.07/1.12 c #Conflicts: 2000 | #Constraints: 2479
1.07/1.12 c INPROCESSING
1.07/1.12 c GARBAGE COLLECT
1.07/1.12 c GLOBAL bounds - >= 0 @ 1.02589
1.15/1.25 c GLOBAL bounds - >= 0 @ 1.1507
1.36/1.45 c #Conflicts: 3000 | #Constraints: 2495
1.36/1.45 c GLOBAL bounds - >= 0 @ 1.34305
1.75/1.83 c GLOBAL bounds - >= 0 @ 1.70458
1.85/1.92 c #Conflicts: 4000 | #Constraints: 3499
1.85/1.92 c GLOBAL bounds - >= 0 @ 1.7882
2.06/2.18 c INPROCESSING
2.06/2.18 c GARBAGE COLLECT
2.06/2.18 c GLOBAL bounds - >= 0 @ 2.04727
3.35/3.46 c #Conflicts: 5000 | #Constraints: 2905
3.35/3.46 c #Conflicts: 6000 | #Constraints: 3905
3.35/3.46 c INPROCESSING
3.35/3.46 c GARBAGE COLLECT
3.35/3.46 c #Conflicts: 7000 | #Constraints: 2915
3.35/3.46 c #Conflicts: 8000 | #Constraints: 3915
3.35/3.46 c GLOBAL bounds - >= 0 @ 3.30503
3.65/3.74 c #Conflicts: 9000 | #Constraints: 4917
3.65/3.74 c INPROCESSING
3.65/3.74 c GARBAGE COLLECT
3.65/3.74 c GLOBAL bounds - >= 0 @ 3.56803
13.22/13.32 c #Conflicts: 10000 | #Constraints: 3624
13.22/13.32 c #Conflicts: 11000 | #Constraints: 4624
13.22/13.32 c #Conflicts: 12000 | #Constraints: 5624
13.22/13.32 c INPROCESSING
13.22/13.32 c GARBAGE COLLECT
13.22/13.32 c #Conflicts: 13000 | #Constraints: 4077
13.22/13.32 c #Conflicts: 14000 | #Constraints: 5077
13.22/13.32 c #Conflicts: 15000 | #Constraints: 6077
13.22/13.32 c INPROCESSING
13.22/13.32 c GARBAGE COLLECT
13.22/13.32 c #Conflicts: 16000 | #Constraints: 4305
13.22/13.32 c #Conflicts: 17000 | #Constraints: 5305
13.22/13.32 c #Conflicts: 18000 | #Constraints: 6305
13.22/13.32 c INPROCESSING
13.22/13.32 c GARBAGE COLLECT
13.22/13.32 c #Conflicts: 19000 | #Constraints: 4318
13.22/13.32 c #Conflicts: 20000 | #Constraints: 5318
13.22/13.32 c #Conflicts: 21000 | #Constraints: 6318
13.22/13.32 c INPROCESSING
13.22/13.32 c GARBAGE COLLECT
13.22/13.32 c #Conflicts: 22000 | #Constraints: 4124
13.22/13.32 c #Conflicts: 23000 | #Constraints: 5124
13.22/13.32 c #Conflicts: 24000 | #Constraints: 6124
13.22/13.32 c #Conflicts: 25000 | #Constraints: 7124
13.22/13.32 c INPROCESSING
13.22/13.32 c GARBAGE COLLECT
13.22/13.32 c #Conflicts: 26000 | #Constraints: 4725
13.22/13.32 c #Conflicts: 27000 | #Constraints: 5725
13.22/13.32 c #Conflicts: 28000 | #Constraints: 6725
13.22/13.32 c #Conflicts: 29000 | #Constraints: 7725
13.22/13.32 c INPROCESSING
13.22/13.32 c GARBAGE COLLECT
13.22/13.32 c #Conflicts: 30000 | #Constraints: 5127
13.22/13.32 c #Conflicts: 31000 | #Constraints: 6127
13.22/13.32 c #Conflicts: 32000 | #Constraints: 7127
13.22/13.32 c GLOBAL bounds - >= 0 @ 12.9751
29.97/30.19 c #Conflicts: 33000 | #Constraints: 8129
29.97/30.19 c INPROCESSING
29.97/30.19 c GARBAGE COLLECT
29.97/30.19 c #Conflicts: 34000 | #Constraints: 5336
29.97/30.19 c #Conflicts: 35000 | #Constraints: 6336
29.97/30.19 c #Conflicts: 36000 | #Constraints: 7336
29.97/30.19 c #Conflicts: 37000 | #Constraints: 8336
29.97/30.19 c INPROCESSING
29.97/30.19 c GARBAGE COLLECT
29.97/30.19 c #Conflicts: 38000 | #Constraints: 5333
29.97/30.19 c #Conflicts: 39000 | #Constraints: 6333
29.97/30.19 c #Conflicts: 40000 | #Constraints: 7333
29.97/30.19 c #Conflicts: 41000 | #Constraints: 8333
29.97/30.19 c INPROCESSING
29.97/30.19 c GARBAGE COLLECT
29.97/30.19 c #Conflicts: 42000 | #Constraints: 5141
29.97/30.19 c #Conflicts: 43000 | #Constraints: 6141
29.97/30.19 c #Conflicts: 44000 | #Constraints: 7141
29.97/30.19 c #Conflicts: 45000 | #Constraints: 8141
29.97/30.19 c #Conflicts: 46000 | #Constraints: 9141
29.97/30.19 c INPROCESSING
29.97/30.19 c GARBAGE COLLECT
29.97/30.19 c #Conflicts: 47000 | #Constraints: 5739
29.97/30.19 c #Conflicts: 48000 | #Constraints: 6739
29.97/30.19 c #Conflicts: 49000 | #Constraints: 7739
29.97/30.19 c #Conflicts: 50000 | #Constraints: 8739
29.97/30.19 c #Conflicts: 51000 | #Constraints: 9739
29.97/30.19 c INPROCESSING
29.97/30.19 c GARBAGE COLLECT
29.97/30.19 c #Conflicts: 52000 | #Constraints: 6137
29.97/30.19 c #Conflicts: 53000 | #Constraints: 7137
29.97/30.19 c #Conflicts: 54000 | #Constraints: 8137
29.97/30.19 c #Conflicts: 55000 | #Constraints: 9137
29.97/30.19 c #Conflicts: 56000 | #Constraints: 10137
29.97/30.19 c INPROCESSING
29.97/30.19 c GARBAGE COLLECT
29.97/30.19 c #Conflicts: 57000 | #Constraints: 6342
29.97/30.19 c #Conflicts: 58000 | #Constraints: 7342
29.97/30.19 c #Conflicts: 59000 | #Constraints: 8342
29.97/30.19 c #Conflicts: 60000 | #Constraints: 9342
29.97/30.19 c #Conflicts: 61000 | #Constraints: 10342
29.97/30.19 c INPROCESSING
29.97/30.19 c GARBAGE COLLECT
29.97/30.19 c #Conflicts: 62000 | #Constraints: 6337
29.97/30.19 c #Conflicts: 63000 | #Constraints: 7337
29.97/30.19 c #Conflicts: 64000 | #Constraints: 8337
29.97/30.19 c #Conflicts: 65000 | #Constraints: 9337
29.97/30.19 c GLOBAL bounds - >= 0 @ 29.6025
31.65/31.86 c #Conflicts: 66000 | #Constraints: 10339
31.65/31.86 c INPROCESSING
31.65/31.86 c GARBAGE COLLECT
31.65/31.86 c #Conflicts: 67000 | #Constraints: 6142
31.65/31.86 c #Conflicts: 68000 | #Constraints: 7142
31.65/31.86 c #Conflicts: 69000 | #Constraints: 8142
31.65/31.86 c GLOBAL bounds - >= 0 @ 31.2451
32.05/32.29 c GLOBAL bounds - >= 0 @ 31.6687
32.74/32.99 c #Conflicts: 70000 | #Constraints: 9146
32.74/32.99 c #Conflicts: 71000 | #Constraints: 10146
32.74/32.99 c GLOBAL bounds - >= 0 @ 32.3595
33.74/33.93 c #Conflicts: 72000 | #Constraints: 11148
33.74/33.93 c INPROCESSING
33.74/33.93 c GARBAGE COLLECT
33.74/33.93 c GLOBAL bounds - >= 0 @ 33.2808
34.14/34.38 c #Conflicts: 73000 | #Constraints: 6742
34.14/34.38 c GLOBAL bounds - >= 0 @ 33.7222
48.09/48.39 c #Conflicts: 74000 | #Constraints: 7744
48.09/48.39 c #Conflicts: 75000 | #Constraints: 8744
48.09/48.39 c #Conflicts: 76000 | #Constraints: 9744
48.09/48.39 c #Conflicts: 77000 | #Constraints: 10744
48.09/48.39 c #Conflicts: 78000 | #Constraints: 11744
48.09/48.39 c INPROCESSING
48.09/48.39 c GARBAGE COLLECT
48.09/48.39 c #Conflicts: 79000 | #Constraints: 7140
48.09/48.39 c #Conflicts: 80000 | #Constraints: 8140
48.09/48.39 c #Conflicts: 81000 | #Constraints: 9140
48.09/48.39 c #Conflicts: 82000 | #Constraints: 10140
48.09/48.39 c #Conflicts: 83000 | #Constraints: 11140
48.09/48.39 c #Conflicts: 84000 | #Constraints: 12140
48.09/48.39 c INPROCESSING
48.09/48.39 c GARBAGE COLLECT
48.09/48.39 c #Conflicts: 85000 | #Constraints: 7342
48.09/48.39 c #Conflicts: 86000 | #Constraints: 8342
48.09/48.39 c #Conflicts: 87000 | #Constraints: 9342
48.09/48.39 c #Conflicts: 88000 | #Constraints: 10342
48.09/48.39 c #Conflicts: 89000 | #Constraints: 11342
48.09/48.39 c #Conflicts: 90000 | #Constraints: 12342
48.09/48.39 c INPROCESSING
48.09/48.39 c GARBAGE COLLECT
48.09/48.39 c GLOBAL bounds - >= 0 @ 47.594
48.19/48.48 c GLOBAL bounds - >= 0 @ 47.6814
58.06/58.38 c #Conflicts: 91000 | #Constraints: 7348
58.06/58.38 c #Conflicts: 92000 | #Constraints: 8348
58.06/58.38 c #Conflicts: 93000 | #Constraints: 9348
58.06/58.38 c #Conflicts: 94000 | #Constraints: 10348
58.06/58.38 c #Conflicts: 95000 | #Constraints: 11348
58.06/58.38 c #Conflicts: 96000 | #Constraints: 12348
58.06/58.38 c INPROCESSING
58.06/58.38 c GARBAGE COLLECT
58.06/58.38 c #Conflicts: 97000 | #Constraints: 7152
58.06/58.38 c #Conflicts: 98000 | #Constraints: 8152
58.06/58.38 c #Conflicts: 99000 | #Constraints: 9152
58.06/58.38 c #Conflicts: 100000 | #Constraints: 10152
58.06/58.38 c #Conflicts: 101000 | #Constraints: 11152
58.06/58.38 c #Conflicts: 102000 | #Constraints: 12152
58.06/58.38 c #Conflicts: 103000 | #Constraints: 13152
58.06/58.38 c INPROCESSING
58.06/58.38 c GARBAGE COLLECT
58.06/58.38 c #Conflicts: 104000 | #Constraints: 7748
58.06/58.38 c GLOBAL bounds - >= 0 @ 57.4704
58.36/58.61 c #Conflicts: 105000 | #Constraints: 8750
58.36/58.61 c GLOBAL bounds - >= 0 @ 57.695
64.14/64.48 c #Conflicts: 106000 | #Constraints: 9752
64.14/64.48 c #Conflicts: 107000 | #Constraints: 10752
64.14/64.48 c #Conflicts: 108000 | #Constraints: 11752
64.14/64.48 c #Conflicts: 109000 | #Constraints: 12752
64.14/64.48 c #Conflicts: 110000 | #Constraints: 13752
64.14/64.48 c INPROCESSING
64.14/64.48 c GARBAGE COLLECT
64.14/64.48 c #Conflicts: 111000 | #Constraints: 8151
64.14/64.48 c #Conflicts: 112000 | #Constraints: 9151
64.14/64.48 c GLOBAL bounds - >= 0 @ 63.4925
67.93/68.26 c #Conflicts: 113000 | #Constraints: 10153
67.93/68.26 c #Conflicts: 114000 | #Constraints: 11153
67.93/68.26 c #Conflicts: 115000 | #Constraints: 12153
67.93/68.26 c #Conflicts: 116000 | #Constraints: 13153
67.93/68.26 c #Conflicts: 117000 | #Constraints: 14153
67.93/68.26 c INPROCESSING
67.93/68.26 c GARBAGE COLLECT
67.93/68.26 c GLOBAL bounds - >= 0 @ 67.2333
73.61/73.93 c #Conflicts: 118000 | #Constraints: 8358
73.61/73.93 c #Conflicts: 119000 | #Constraints: 9358
73.61/73.93 c #Conflicts: 120000 | #Constraints: 10358
73.61/73.93 c #Conflicts: 121000 | #Constraints: 11358
73.61/73.93 c #Conflicts: 122000 | #Constraints: 12358
73.61/73.93 c #Conflicts: 123000 | #Constraints: 13358
73.61/73.93 c #Conflicts: 124000 | #Constraints: 14358
73.61/73.93 c INPROCESSING
73.61/73.93 c GARBAGE COLLECT
73.61/73.93 c #Conflicts: 125000 | #Constraints: 8363
73.61/73.93 c GLOBAL bounds - >= 0 @ 72.8337
129.91/130.44 c #Conflicts: 126000 | #Constraints: 9365
129.91/130.44 c #Conflicts: 127000 | #Constraints: 10365
129.91/130.44 c #Conflicts: 128000 | #Constraints: 11365
129.91/130.44 c #Conflicts: 129000 | #Constraints: 12365
129.91/130.44 c #Conflicts: 130000 | #Constraints: 13365
129.91/130.44 c #Conflicts: 131000 | #Constraints: 14365
129.91/130.44 c INPROCESSING
129.91/130.44 c GARBAGE COLLECT
129.91/130.44 c #Conflicts: 132000 | #Constraints: 8169
129.91/130.44 c #Conflicts: 133000 | #Constraints: 9169
129.91/130.44 c #Conflicts: 134000 | #Constraints: 10169
129.91/130.44 c #Conflicts: 135000 | #Constraints: 11169
129.91/130.44 c #Conflicts: 136000 | #Constraints: 12169
129.91/130.44 c #Conflicts: 137000 | #Constraints: 13169
129.91/130.44 c #Conflicts: 138000 | #Constraints: 14169
129.91/130.44 c #Conflicts: 139000 | #Constraints: 15169
129.91/130.44 c INPROCESSING
129.91/130.44 c GARBAGE COLLECT
129.91/130.44 c #Conflicts: 140000 | #Constraints: 8766
129.91/130.44 c #Conflicts: 141000 | #Constraints: 9766
129.91/130.44 c #Conflicts: 142000 | #Constraints: 10766
129.91/130.44 c #Conflicts: 143000 | #Constraints: 11766
129.91/130.44 c #Conflicts: 144000 | #Constraints: 12766
129.91/130.44 c #Conflicts: 145000 | #Constraints: 13766
129.91/130.44 c #Conflicts: 146000 | #Constraints: 14766
129.91/130.44 c #Conflicts: 147000 | #Constraints: 15766
129.91/130.44 c INPROCESSING
129.91/130.44 c GARBAGE COLLECT
129.91/130.44 c #Conflicts: 148000 | #Constraints: 9165
129.91/130.44 c #Conflicts: 149000 | #Constraints: 10165
129.91/130.44 c #Conflicts: 150000 | #Constraints: 11165
129.91/130.44 c #Conflicts: 151000 | #Constraints: 12165
129.91/130.44 c #Conflicts: 152000 | #Constraints: 13165
129.91/130.44 c #Conflicts: 153000 | #Constraints: 14165
129.91/130.44 c #Conflicts: 154000 | #Constraints: 15165
129.91/130.44 c #Conflicts: 155000 | #Constraints: 16165
129.91/130.44 c INPROCESSING
129.91/130.44 c GARBAGE COLLECT
129.91/130.44 c #Conflicts: 156000 | #Constraints: 9364
129.91/130.44 c #Conflicts: 157000 | #Constraints: 10364
129.91/130.44 c #Conflicts: 158000 | #Constraints: 11364
129.91/130.44 c #Conflicts: 159000 | #Constraints: 12364
129.91/130.44 c #Conflicts: 160000 | #Constraints: 13364
129.91/130.44 c #Conflicts: 161000 | #Constraints: 14364
129.91/130.44 c #Conflicts: 162000 | #Constraints: 15364
129.91/130.44 c #Conflicts: 163000 | #Constraints: 16364
129.91/130.44 c INPROCESSING
129.91/130.44 c GARBAGE COLLECT
129.91/130.44 c #Conflicts: 164000 | #Constraints: 9366
129.91/130.44 c #Conflicts: 165000 | #Constraints: 10366
129.91/130.44 c #Conflicts: 166000 | #Constraints: 11366
129.91/130.44 c #Conflicts: 167000 | #Constraints: 12366
129.91/130.44 c #Conflicts: 168000 | #Constraints: 13366
129.91/130.44 c #Conflicts: 169000 | #Constraints: 14366
129.91/130.44 c #Conflicts: 170000 | #Constraints: 15366
129.91/130.44 c #Conflicts: 171000 | #Constraints: 16366
129.91/130.44 c INPROCESSING
129.91/130.44 c GARBAGE COLLECT
129.91/130.44 c #Conflicts: 172000 | #Constraints: 9166
129.91/130.44 c #Conflicts: 173000 | #Constraints: 10166
129.91/130.44 c #Conflicts: 174000 | #Constraints: 11166
129.91/130.44 c #Conflicts: 175000 | #Constraints: 12166
129.91/130.44 c #Conflicts: 176000 | #Constraints: 13166
129.91/130.44 c #Conflicts: 177000 | #Constraints: 14166
129.91/130.44 c #Conflicts: 178000 | #Constraints: 15166
129.91/130.44 c #Conflicts: 179000 | #Constraints: 16166
129.91/130.44 c #Conflicts: 180000 | #Constraints: 17166
129.91/130.44 c INPROCESSING
129.91/130.44 c GARBAGE COLLECT
129.91/130.44 c #Conflicts: 181000 | #Constraints: 9765
129.91/130.44 c #Conflicts: 182000 | #Constraints: 10765
129.91/130.44 c #Conflicts: 183000 | #Constraints: 11765
129.91/130.44 c #Conflicts: 184000 | #Constraints: 12765
129.91/130.44 c #Conflicts: 185000 | #Constraints: 13765
129.91/130.44 c #Conflicts: 186000 | #Constraints: 14765
129.91/130.44 c #Conflicts: 187000 | #Constraints: 15765
129.91/130.44 c #Conflicts: 188000 | #Constraints: 16765
129.91/130.44 c #Conflicts: 189000 | #Constraints: 17765
129.91/130.44 c INPROCESSING
129.91/130.44 c GARBAGE COLLECT
129.91/130.44 c #Conflicts: 190000 | #Constraints: 10166
129.91/130.44 c #Conflicts: 191000 | #Constraints: 11166
129.91/130.44 c #Conflicts: 192000 | #Constraints: 12166
129.91/130.44 c #Conflicts: 193000 | #Constraints: 13166
129.91/130.44 c #Conflicts: 194000 | #Constraints: 14166
129.91/130.44 c #Conflicts: 195000 | #Constraints: 15166
129.91/130.44 c #Conflicts: 196000 | #Constraints: 16166
129.91/130.44 c #Conflicts: 197000 | #Constraints: 17166
129.91/130.44 c #Conflicts: 198000 | #Constraints: 18166
129.91/130.44 c INPROCESSING
129.91/130.44 c GARBAGE COLLECT
129.91/130.44 c #Conflicts: 199000 | #Constraints: 10368
200.16/200.96 c #Conflicts: 200000 | #Constraints: 11368
200.16/200.96 c #Conflicts: 201000 | #Constraints: 12368
200.16/200.96 c #Conflicts: 202000 | #Constraints: 13368
200.16/200.96 c #Conflicts: 203000 | #Constraints: 14368
200.16/200.96 c #Conflicts: 204000 | #Constraints: 15368
200.16/200.96 c #Conflicts: 205000 | #Constraints: 16368
200.16/200.96 c #Conflicts: 206000 | #Constraints: 17368
200.16/200.96 c #Conflicts: 207000 | #Constraints: 18368
200.16/200.96 c INPROCESSING
200.16/200.96 c GARBAGE COLLECT
200.16/200.96 c #Conflicts: 208000 | #Constraints: 10361
200.16/200.96 c #Conflicts: 209000 | #Constraints: 11361
200.16/200.96 c #Conflicts: 210000 | #Constraints: 12361
200.16/200.96 c #Conflicts: 211000 | #Constraints: 13361
200.16/200.96 c #Conflicts: 212000 | #Constraints: 14361
200.16/200.96 c #Conflicts: 213000 | #Constraints: 15361
200.16/200.96 c #Conflicts: 214000 | #Constraints: 16361
200.16/200.96 c #Conflicts: 215000 | #Constraints: 17361
200.16/200.96 c #Conflicts: 216000 | #Constraints: 18361
200.16/200.96 c INPROCESSING
200.16/200.96 c GARBAGE COLLECT
200.16/200.96 c #Conflicts: 217000 | #Constraints: 10160
200.16/200.96 c #Conflicts: 218000 | #Constraints: 11160
200.16/200.96 c #Conflicts: 219000 | #Constraints: 12160
200.16/200.96 c #Conflicts: 220000 | #Constraints: 13160
200.16/200.96 c #Conflicts: 221000 | #Constraints: 14160
200.16/200.96 c #Conflicts: 222000 | #Constraints: 15160
200.16/200.96 c #Conflicts: 223000 | #Constraints: 16160
200.16/200.96 c #Conflicts: 224000 | #Constraints: 17160
200.16/200.96 c #Conflicts: 225000 | #Constraints: 18160
200.16/200.96 c #Conflicts: 226000 | #Constraints: 19160
200.16/200.96 c INPROCESSING
200.16/200.96 c GARBAGE COLLECT
200.16/200.96 c #Conflicts: 227000 | #Constraints: 10761
200.16/200.96 c #Conflicts: 228000 | #Constraints: 11761
200.16/200.96 c #Conflicts: 229000 | #Constraints: 12761
200.16/200.96 c #Conflicts: 230000 | #Constraints: 13761
200.16/200.96 c #Conflicts: 231000 | #Constraints: 14761
200.16/200.96 c #Conflicts: 232000 | #Constraints: 15761
200.16/200.96 c #Conflicts: 233000 | #Constraints: 16761
200.16/200.96 c #Conflicts: 234000 | #Constraints: 17761
200.16/200.96 c #Conflicts: 235000 | #Constraints: 18761
200.16/200.96 c #Conflicts: 236000 | #Constraints: 19761
200.16/200.96 c INPROCESSING
200.16/200.96 c GARBAGE COLLECT
200.16/200.96 c #Conflicts: 237000 | #Constraints: 11162
200.16/200.96 c #Conflicts: 238000 | #Constraints: 12162
200.16/200.96 c #Conflicts: 239000 | #Constraints: 13162
200.16/200.96 c #Conflicts: 240000 | #Constraints: 14162
200.16/200.96 c #Conflicts: 241000 | #Constraints: 15162
200.16/200.96 c #Conflicts: 242000 | #Constraints: 16162
200.16/200.96 c #Conflicts: 243000 | #Constraints: 17162
200.16/200.96 c #Conflicts: 244000 | #Constraints: 18162
200.16/200.96 c #Conflicts: 245000 | #Constraints: 19162
200.16/200.96 c #Conflicts: 246000 | #Constraints: 20162
200.16/200.96 c INPROCESSING
200.16/200.96 c GARBAGE COLLECT
200.16/200.96 c #Conflicts: 247000 | #Constraints: 11365
200.16/200.96 c #Conflicts: 248000 | #Constraints: 12365
200.16/200.96 c #Conflicts: 249000 | #Constraints: 13365
200.16/200.96 c #Conflicts: 250000 | #Constraints: 14365
200.16/200.96 c #Conflicts: 251000 | #Constraints: 15365
200.16/200.96 c #Conflicts: 252000 | #Constraints: 16365
200.16/200.96 c #Conflicts: 253000 | #Constraints: 17365
200.16/200.96 c #Conflicts: 254000 | #Constraints: 18365
200.16/200.96 c #Conflicts: 255000 | #Constraints: 19365
200.16/200.96 c #Conflicts: 256000 | #Constraints: 20365
200.16/200.96 c INPROCESSING
200.16/200.96 c GARBAGE COLLECT
200.16/200.96 c #Conflicts: 257000 | #Constraints: 11368
200.16/200.96 c #Conflicts: 258000 | #Constraints: 12368
200.16/200.96 c #Conflicts: 259000 | #Constraints: 13368
200.16/200.96 c #Conflicts: 260000 | #Constraints: 14368
200.16/200.96 c #Conflicts: 261000 | #Constraints: 15368
200.16/200.96 c #Conflicts: 262000 | #Constraints: 16368
200.16/200.96 c #Conflicts: 263000 | #Constraints: 17368
200.16/200.96 c #Conflicts: 264000 | #Constraints: 18368
200.16/200.96 c #Conflicts: 265000 | #Constraints: 19368
200.16/200.96 c #Conflicts: 266000 | #Constraints: 20368
200.16/200.96 c INPROCESSING
200.16/200.96 c GARBAGE COLLECT
200.16/200.96 c #Conflicts: 267000 | #Constraints: 11169
200.16/200.96 c #Conflicts: 268000 | #Constraints: 12169
200.16/200.96 c #Conflicts: 269000 | #Constraints: 13169
200.16/200.96 c #Conflicts: 270000 | #Constraints: 14169
200.16/200.96 c #Conflicts: 271000 | #Constraints: 15169
200.16/200.96 c #Conflicts: 272000 | #Constraints: 16169
200.16/200.96 c #Conflicts: 273000 | #Constraints: 17169
288.35/289.44 c #Conflicts: 274000 | #Constraints: 18169
288.35/289.44 c #Conflicts: 275000 | #Constraints: 19169
288.35/289.44 c #Conflicts: 276000 | #Constraints: 20169
288.35/289.44 c #Conflicts: 277000 | #Constraints: 21169
288.35/289.44 c INPROCESSING
288.35/289.44 c GARBAGE COLLECT
288.35/289.44 c #Conflicts: 278000 | #Constraints: 11768
288.35/289.44 c #Conflicts: 279000 | #Constraints: 12768
288.35/289.44 c #Conflicts: 280000 | #Constraints: 13768
288.35/289.44 c #Conflicts: 281000 | #Constraints: 14768
288.35/289.44 c #Conflicts: 282000 | #Constraints: 15768
288.35/289.44 c #Conflicts: 283000 | #Constraints: 16768
288.35/289.44 c #Conflicts: 284000 | #Constraints: 17768
288.35/289.44 c #Conflicts: 285000 | #Constraints: 18768
288.35/289.44 c #Conflicts: 286000 | #Constraints: 19768
288.35/289.44 c #Conflicts: 287000 | #Constraints: 20768
288.35/289.44 c #Conflicts: 288000 | #Constraints: 21768
288.35/289.44 c INPROCESSING
288.35/289.44 c GARBAGE COLLECT
288.35/289.44 c #Conflicts: 289000 | #Constraints: 12170
288.35/289.44 c #Conflicts: 290000 | #Constraints: 13170
288.35/289.44 c #Conflicts: 291000 | #Constraints: 14170
288.35/289.44 c #Conflicts: 292000 | #Constraints: 15170
288.35/289.44 c #Conflicts: 293000 | #Constraints: 16170
288.35/289.44 c #Conflicts: 294000 | #Constraints: 17170
288.35/289.44 c #Conflicts: 295000 | #Constraints: 18170
288.35/289.44 c #Conflicts: 296000 | #Constraints: 19170
288.35/289.44 c #Conflicts: 297000 | #Constraints: 20170
288.35/289.44 c #Conflicts: 298000 | #Constraints: 21170
288.35/289.44 c #Conflicts: 299000 | #Constraints: 22170
288.35/289.44 c INPROCESSING
288.35/289.44 c GARBAGE COLLECT
288.35/289.44 c #Conflicts: 300000 | #Constraints: 12371
288.35/289.44 c #Conflicts: 301000 | #Constraints: 13371
288.35/289.44 c #Conflicts: 302000 | #Constraints: 14371
288.35/289.44 c #Conflicts: 303000 | #Constraints: 15371
288.35/289.44 c #Conflicts: 304000 | #Constraints: 16371
288.35/289.44 c #Conflicts: 305000 | #Constraints: 17371
288.35/289.44 c #Conflicts: 306000 | #Constraints: 18371
288.35/289.44 c #Conflicts: 307000 | #Constraints: 19371
288.35/289.44 c #Conflicts: 308000 | #Constraints: 20371
288.35/289.44 c #Conflicts: 309000 | #Constraints: 21371
288.35/289.44 c #Conflicts: 310000 | #Constraints: 22371
288.35/289.44 c INPROCESSING
288.35/289.44 c GARBAGE COLLECT
288.35/289.44 c #Conflicts: 311000 | #Constraints: 12372
288.35/289.44 c #Conflicts: 312000 | #Constraints: 13372
288.35/289.44 c #Conflicts: 313000 | #Constraints: 14372
288.35/289.44 c #Conflicts: 314000 | #Constraints: 15372
288.35/289.44 c #Conflicts: 315000 | #Constraints: 16372
288.35/289.44 c #Conflicts: 316000 | #Constraints: 17372
288.35/289.44 c #Conflicts: 317000 | #Constraints: 18372
288.35/289.44 c #Conflicts: 318000 | #Constraints: 19372
288.35/289.44 c #Conflicts: 319000 | #Constraints: 20372
288.35/289.44 c #Conflicts: 320000 | #Constraints: 21372
288.35/289.44 c #Conflicts: 321000 | #Constraints: 22372
288.35/289.44 c INPROCESSING
288.35/289.44 c GARBAGE COLLECT
288.35/289.44 c #Conflicts: 322000 | #Constraints: 12168
288.35/289.44 c #Conflicts: 323000 | #Constraints: 13168
288.35/289.44 c #Conflicts: 324000 | #Constraints: 14168
288.35/289.44 c #Conflicts: 325000 | #Constraints: 15168
288.35/289.44 c #Conflicts: 326000 | #Constraints: 16168
288.35/289.44 c #Conflicts: 327000 | #Constraints: 17168
288.35/289.44 c #Conflicts: 328000 | #Constraints: 18168
288.35/289.44 c #Conflicts: 329000 | #Constraints: 19168
288.35/289.44 c #Conflicts: 330000 | #Constraints: 20168
288.35/289.44 c #Conflicts: 331000 | #Constraints: 21168
288.35/289.44 c #Conflicts: 332000 | #Constraints: 22168
288.35/289.44 c #Conflicts: 333000 | #Constraints: 23168
288.35/289.44 c INPROCESSING
288.35/289.44 c GARBAGE COLLECT
288.35/289.44 c #Conflicts: 334000 | #Constraints: 12767
288.35/289.44 c #Conflicts: 335000 | #Constraints: 13767
288.35/289.44 c #Conflicts: 336000 | #Constraints: 14767
288.35/289.44 c #Conflicts: 337000 | #Constraints: 15767
288.35/289.44 c #Conflicts: 338000 | #Constraints: 16767
288.35/289.44 c #Conflicts: 339000 | #Constraints: 17767
288.35/289.44 c #Conflicts: 340000 | #Constraints: 18767
288.35/289.44 c #Conflicts: 341000 | #Constraints: 19767
288.35/289.44 c #Conflicts: 342000 | #Constraints: 20767
288.35/289.44 c #Conflicts: 343000 | #Constraints: 21767
288.35/289.44 c #Conflicts: 344000 | #Constraints: 22767
288.35/289.44 c #Conflicts: 345000 | #Constraints: 23767
288.35/289.44 c INPROCESSING
288.35/289.44 c GARBAGE COLLECT
288.35/289.44 c #Conflicts: 346000 | #Constraints: 13169
288.35/289.44 c #Conflicts: 347000 | #Constraints: 14169
379.86/381.29 c #Conflicts: 348000 | #Constraints: 15169
379.86/381.29 c #Conflicts: 349000 | #Constraints: 16169
379.86/381.29 c #Conflicts: 350000 | #Constraints: 17169
379.86/381.29 c #Conflicts: 351000 | #Constraints: 18169
379.86/381.29 c #Conflicts: 352000 | #Constraints: 19169
379.86/381.29 c #Conflicts: 353000 | #Constraints: 20169
379.86/381.29 c #Conflicts: 354000 | #Constraints: 21169
379.86/381.29 c #Conflicts: 355000 | #Constraints: 22169
379.86/381.29 c #Conflicts: 356000 | #Constraints: 23169
379.86/381.29 c #Conflicts: 357000 | #Constraints: 24169
379.86/381.29 c INPROCESSING
379.86/381.29 c GARBAGE COLLECT
379.86/381.29 c #Conflicts: 358000 | #Constraints: 13373
379.86/381.29 c #Conflicts: 359000 | #Constraints: 14373
379.86/381.29 c #Conflicts: 360000 | #Constraints: 15373
379.86/381.29 c #Conflicts: 361000 | #Constraints: 16373
379.86/381.29 c #Conflicts: 362000 | #Constraints: 17373
379.86/381.29 c #Conflicts: 363000 | #Constraints: 18373
379.86/381.29 c #Conflicts: 364000 | #Constraints: 19373
379.86/381.29 c #Conflicts: 365000 | #Constraints: 20373
379.86/381.29 c #Conflicts: 366000 | #Constraints: 21373
379.86/381.29 c #Conflicts: 367000 | #Constraints: 22373
379.86/381.29 c #Conflicts: 368000 | #Constraints: 23373
379.86/381.29 c #Conflicts: 369000 | #Constraints: 24373
379.86/381.29 c INPROCESSING
379.86/381.29 c GARBAGE COLLECT
379.86/381.29 c #Conflicts: 370000 | #Constraints: 13375
379.86/381.29 c #Conflicts: 371000 | #Constraints: 14375
379.86/381.29 c #Conflicts: 372000 | #Constraints: 15375
379.86/381.29 c #Conflicts: 373000 | #Constraints: 16375
379.86/381.29 c #Conflicts: 374000 | #Constraints: 17375
379.86/381.29 c #Conflicts: 375000 | #Constraints: 18375
379.86/381.29 c #Conflicts: 376000 | #Constraints: 19375
379.86/381.29 c #Conflicts: 377000 | #Constraints: 20375
379.86/381.29 c #Conflicts: 378000 | #Constraints: 21375
379.86/381.29 c #Conflicts: 379000 | #Constraints: 22375
379.86/381.29 c #Conflicts: 380000 | #Constraints: 23375
379.86/381.29 c #Conflicts: 381000 | #Constraints: 24375
379.86/381.29 c INPROCESSING
379.86/381.29 c GARBAGE COLLECT
379.86/381.29 c #Conflicts: 382000 | #Constraints: 13171
379.86/381.29 c #Conflicts: 383000 | #Constraints: 14171
379.86/381.29 c #Conflicts: 384000 | #Constraints: 15171
379.86/381.29 c #Conflicts: 385000 | #Constraints: 16171
379.86/381.29 c #Conflicts: 386000 | #Constraints: 17171
379.86/381.29 c #Conflicts: 387000 | #Constraints: 18171
379.86/381.29 c #Conflicts: 388000 | #Constraints: 19171
379.86/381.29 c #Conflicts: 389000 | #Constraints: 20171
379.86/381.29 c #Conflicts: 390000 | #Constraints: 21171
379.86/381.29 c #Conflicts: 391000 | #Constraints: 22171
379.86/381.29 c #Conflicts: 392000 | #Constraints: 23171
379.86/381.29 c #Conflicts: 393000 | #Constraints: 24171
379.86/381.29 c #Conflicts: 394000 | #Constraints: 25171
379.86/381.29 c INPROCESSING
379.86/381.29 c GARBAGE COLLECT
379.86/381.29 c #Conflicts: 395000 | #Constraints: 13769
379.86/381.29 c #Conflicts: 396000 | #Constraints: 14769
379.86/381.29 c #Conflicts: 397000 | #Constraints: 15769
379.86/381.29 c #Conflicts: 398000 | #Constraints: 16769
379.86/381.29 c #Conflicts: 399000 | #Constraints: 17769
379.86/381.29 c #Conflicts: 400000 | #Constraints: 18769
379.86/381.29 c #Conflicts: 401000 | #Constraints: 19769
379.86/381.29 c #Conflicts: 402000 | #Constraints: 20769
379.86/381.29 c #Conflicts: 403000 | #Constraints: 21769
379.86/381.29 c #Conflicts: 404000 | #Constraints: 22769
379.86/381.29 c #Conflicts: 405000 | #Constraints: 23769
379.86/381.29 c #Conflicts: 406000 | #Constraints: 24769
379.86/381.29 c #Conflicts: 407000 | #Constraints: 25769
379.86/381.29 c INPROCESSING
379.86/381.29 c GARBAGE COLLECT
379.86/381.29 c #Conflicts: 408000 | #Constraints: 14166
379.86/381.29 c #Conflicts: 409000 | #Constraints: 15166
379.86/381.29 c #Conflicts: 410000 | #Constraints: 16166
379.86/381.29 c #Conflicts: 411000 | #Constraints: 17166
379.86/381.29 c #Conflicts: 412000 | #Constraints: 18166
379.86/381.29 c #Conflicts: 413000 | #Constraints: 19166
379.86/381.29 c #Conflicts: 414000 | #Constraints: 20166
379.86/381.29 c #Conflicts: 415000 | #Constraints: 21166
379.86/381.29 c #Conflicts: 416000 | #Constraints: 22166
379.86/381.29 c #Conflicts: 417000 | #Constraints: 23166
379.86/381.29 c #Conflicts: 418000 | #Constraints: 24166
379.86/381.29 c #Conflicts: 419000 | #Constraints: 25166
379.86/381.29 c #Conflicts: 420000 | #Constraints: 26166
379.86/381.29 c INPROCESSING
379.86/381.29 c GARBAGE COLLECT
379.86/381.29 c #Conflicts: 421000 | #Constraints: 14370
379.86/381.29 c #Conflicts: 422000 | #Constraints: 15370
478.40/480.08 c #Conflicts: 423000 | #Constraints: 16370
478.40/480.08 c #Conflicts: 424000 | #Constraints: 17370
478.40/480.08 c #Conflicts: 425000 | #Constraints: 18370
478.40/480.08 c #Conflicts: 426000 | #Constraints: 19370
478.40/480.08 c #Conflicts: 427000 | #Constraints: 20370
478.40/480.08 c #Conflicts: 428000 | #Constraints: 21370
478.40/480.08 c #Conflicts: 429000 | #Constraints: 22370
478.40/480.08 c #Conflicts: 430000 | #Constraints: 23370
478.40/480.08 c #Conflicts: 431000 | #Constraints: 24370
478.40/480.08 c #Conflicts: 432000 | #Constraints: 25370
478.40/480.08 c #Conflicts: 433000 | #Constraints: 26370
478.40/480.08 c INPROCESSING
478.40/480.08 c GARBAGE COLLECT
478.40/480.08 c #Conflicts: 434000 | #Constraints: 14371
478.40/480.08 c #Conflicts: 435000 | #Constraints: 15371
478.40/480.08 c #Conflicts: 436000 | #Constraints: 16371
478.40/480.08 c #Conflicts: 437000 | #Constraints: 17371
478.40/480.08 c #Conflicts: 438000 | #Constraints: 18371
478.40/480.08 c #Conflicts: 439000 | #Constraints: 19371
478.40/480.08 c #Conflicts: 440000 | #Constraints: 20371
478.40/480.08 c #Conflicts: 441000 | #Constraints: 21371
478.40/480.08 c #Conflicts: 442000 | #Constraints: 22371
478.40/480.08 c #Conflicts: 443000 | #Constraints: 23371
478.40/480.08 c #Conflicts: 444000 | #Constraints: 24371
478.40/480.08 c #Conflicts: 445000 | #Constraints: 25371
478.40/480.08 c #Conflicts: 446000 | #Constraints: 26371
478.40/480.08 c INPROCESSING
478.40/480.08 c GARBAGE COLLECT
478.40/480.08 c #Conflicts: 447000 | #Constraints: 14169
478.40/480.08 c #Conflicts: 448000 | #Constraints: 15169
478.40/480.08 c #Conflicts: 449000 | #Constraints: 16169
478.40/480.08 c #Conflicts: 450000 | #Constraints: 17169
478.40/480.08 c #Conflicts: 451000 | #Constraints: 18169
478.40/480.08 c #Conflicts: 452000 | #Constraints: 19169
478.40/480.08 c #Conflicts: 453000 | #Constraints: 20169
478.40/480.08 c #Conflicts: 454000 | #Constraints: 21169
478.40/480.08 c #Conflicts: 455000 | #Constraints: 22169
478.40/480.08 c #Conflicts: 456000 | #Constraints: 23169
478.40/480.08 c #Conflicts: 457000 | #Constraints: 24169
478.40/480.08 c #Conflicts: 458000 | #Constraints: 25169
478.40/480.08 c #Conflicts: 459000 | #Constraints: 26169
478.40/480.08 c #Conflicts: 460000 | #Constraints: 27169
478.40/480.08 c INPROCESSING
478.40/480.08 c GARBAGE COLLECT
478.40/480.08 c #Conflicts: 461000 | #Constraints: 14771
478.40/480.08 c #Conflicts: 462000 | #Constraints: 15771
478.40/480.08 c #Conflicts: 463000 | #Constraints: 16771
478.40/480.08 c #Conflicts: 464000 | #Constraints: 17771
478.40/480.08 c #Conflicts: 465000 | #Constraints: 18771
478.40/480.08 c #Conflicts: 466000 | #Constraints: 19771
478.40/480.08 c #Conflicts: 467000 | #Constraints: 20771
478.40/480.08 c #Conflicts: 468000 | #Constraints: 21771
478.40/480.08 c #Conflicts: 469000 | #Constraints: 22771
478.40/480.08 c #Conflicts: 470000 | #Constraints: 23771
478.40/480.08 c #Conflicts: 471000 | #Constraints: 24771
478.40/480.08 c #Conflicts: 472000 | #Constraints: 25771
478.40/480.08 c #Conflicts: 473000 | #Constraints: 26771
478.40/480.08 c #Conflicts: 474000 | #Constraints: 27771
478.40/480.08 c INPROCESSING
478.40/480.08 c GARBAGE COLLECT
478.40/480.08 c #Conflicts: 475000 | #Constraints: 15170
478.40/480.08 c #Conflicts: 476000 | #Constraints: 16170
478.40/480.08 c #Conflicts: 477000 | #Constraints: 17170
478.40/480.08 c #Conflicts: 478000 | #Constraints: 18170
478.40/480.08 c #Conflicts: 479000 | #Constraints: 19170
478.40/480.08 c #Conflicts: 480000 | #Constraints: 20170
478.40/480.08 c #Conflicts: 481000 | #Constraints: 21170
478.40/480.08 c #Conflicts: 482000 | #Constraints: 22170
478.40/480.08 c #Conflicts: 483000 | #Constraints: 23170
478.40/480.08 c #Conflicts: 484000 | #Constraints: 24170
478.40/480.08 c #Conflicts: 485000 | #Constraints: 25170
478.40/480.08 c #Conflicts: 486000 | #Constraints: 26170
478.40/480.08 c #Conflicts: 487000 | #Constraints: 27170
478.40/480.08 c #Conflicts: 488000 | #Constraints: 28170
478.40/480.08 c INPROCESSING
478.40/480.08 c GARBAGE COLLECT
478.40/480.08 c #Conflicts: 489000 | #Constraints: 15373
478.40/480.08 c #Conflicts: 490000 | #Constraints: 16373
478.40/480.08 c #Conflicts: 491000 | #Constraints: 17373
478.40/480.08 c #Conflicts: 492000 | #Constraints: 18373
478.40/480.08 c #Conflicts: 493000 | #Constraints: 19373
478.40/480.08 c #Conflicts: 494000 | #Constraints: 20373
478.40/480.08 c #Conflicts: 495000 | #Constraints: 21373
478.40/480.08 c #Conflicts: 496000 | #Constraints: 22373
478.40/480.08 c #Conflicts: 497000 | #Constraints: 23373
478.40/480.08 c #Conflicts: 498000 | #Constraints: 24373
602.52/604.59 c #Conflicts: 499000 | #Constraints: 25373
602.52/604.59 c #Conflicts: 500000 | #Constraints: 26373
602.52/604.59 c #Conflicts: 501000 | #Constraints: 27373
602.52/604.59 c #Conflicts: 502000 | #Constraints: 28373
602.52/604.59 c INPROCESSING
602.52/604.59 c GARBAGE COLLECT
602.52/604.59 c #Conflicts: 503000 | #Constraints: 15369
602.52/604.59 c #Conflicts: 504000 | #Constraints: 16369
602.52/604.59 c #Conflicts: 505000 | #Constraints: 17369
602.52/604.59 c #Conflicts: 506000 | #Constraints: 18369
602.52/604.59 c #Conflicts: 507000 | #Constraints: 19369
602.52/604.59 c #Conflicts: 508000 | #Constraints: 20369
602.52/604.59 c #Conflicts: 509000 | #Constraints: 21369
602.52/604.59 c #Conflicts: 510000 | #Constraints: 22369
602.52/604.59 c #Conflicts: 511000 | #Constraints: 23369
602.52/604.59 c #Conflicts: 512000 | #Constraints: 24369
602.52/604.59 c #Conflicts: 513000 | #Constraints: 25369
602.52/604.59 c #Conflicts: 514000 | #Constraints: 26369
602.52/604.59 c #Conflicts: 515000 | #Constraints: 27369
602.52/604.59 c #Conflicts: 516000 | #Constraints: 28369
602.52/604.59 c INPROCESSING
602.52/604.59 c GARBAGE COLLECT
602.52/604.59 c #Conflicts: 517000 | #Constraints: 15172
602.52/604.59 c #Conflicts: 518000 | #Constraints: 16172
602.52/604.59 c #Conflicts: 519000 | #Constraints: 17172
602.52/604.59 c #Conflicts: 520000 | #Constraints: 18172
602.52/604.59 c #Conflicts: 521000 | #Constraints: 19172
602.52/604.59 c #Conflicts: 522000 | #Constraints: 20172
602.52/604.59 c #Conflicts: 523000 | #Constraints: 21172
602.52/604.59 c #Conflicts: 524000 | #Constraints: 22172
602.52/604.59 c #Conflicts: 525000 | #Constraints: 23172
602.52/604.59 c #Conflicts: 526000 | #Constraints: 24172
602.52/604.59 c #Conflicts: 527000 | #Constraints: 25172
602.52/604.59 c #Conflicts: 528000 | #Constraints: 26172
602.52/604.59 c #Conflicts: 529000 | #Constraints: 27172
602.52/604.59 c #Conflicts: 530000 | #Constraints: 28172
602.52/604.59 c #Conflicts: 531000 | #Constraints: 29172
602.52/604.59 c INPROCESSING
602.52/604.59 c GARBAGE COLLECT
602.52/604.59 c #Conflicts: 532000 | #Constraints: 15772
602.52/604.59 c #Conflicts: 533000 | #Constraints: 16772
602.52/604.59 c #Conflicts: 534000 | #Constraints: 17772
602.52/604.59 c #Conflicts: 535000 | #Constraints: 18772
602.52/604.59 c #Conflicts: 536000 | #Constraints: 19772
602.52/604.59 c #Conflicts: 537000 | #Constraints: 20772
602.52/604.59 c #Conflicts: 538000 | #Constraints: 21772
602.52/604.59 c #Conflicts: 539000 | #Constraints: 22772
602.52/604.59 c #Conflicts: 540000 | #Constraints: 23772
602.52/604.59 c #Conflicts: 541000 | #Constraints: 24772
602.52/604.59 c #Conflicts: 542000 | #Constraints: 25772
602.52/604.59 c #Conflicts: 543000 | #Constraints: 26772
602.52/604.59 c #Conflicts: 544000 | #Constraints: 27772
602.52/604.59 c #Conflicts: 545000 | #Constraints: 28772
602.52/604.59 c #Conflicts: 546000 | #Constraints: 29772
602.52/604.59 c INPROCESSING
602.52/604.59 c GARBAGE COLLECT
602.52/604.59 c #Conflicts: 547000 | #Constraints: 16174
602.52/604.59 c #Conflicts: 548000 | #Constraints: 17174
602.52/604.59 c #Conflicts: 549000 | #Constraints: 18174
602.52/604.59 c #Conflicts: 550000 | #Constraints: 19174
602.52/604.59 c #Conflicts: 551000 | #Constraints: 20174
602.52/604.59 c #Conflicts: 552000 | #Constraints: 21174
602.52/604.59 c #Conflicts: 553000 | #Constraints: 22174
602.52/604.59 c #Conflicts: 554000 | #Constraints: 23174
602.52/604.59 c #Conflicts: 555000 | #Constraints: 24174
602.52/604.59 c #Conflicts: 556000 | #Constraints: 25174
602.52/604.59 c #Conflicts: 557000 | #Constraints: 26174
602.52/604.59 c #Conflicts: 558000 | #Constraints: 27174
602.52/604.59 c #Conflicts: 559000 | #Constraints: 28174
602.52/604.59 c #Conflicts: 560000 | #Constraints: 29174
602.52/604.59 c #Conflicts: 561000 | #Constraints: 30174
602.52/604.59 c INPROCESSING
602.52/604.59 c GARBAGE COLLECT
602.52/604.59 c #Conflicts: 562000 | #Constraints: 16375
602.52/604.59 c #Conflicts: 563000 | #Constraints: 17375
602.52/604.59 c #Conflicts: 564000 | #Constraints: 18375
602.52/604.59 c #Conflicts: 565000 | #Constraints: 19375
602.52/604.59 c #Conflicts: 566000 | #Constraints: 20375
602.52/604.59 c #Conflicts: 567000 | #Constraints: 21375
602.52/604.59 c #Conflicts: 568000 | #Constraints: 22375
602.52/604.59 c #Conflicts: 569000 | #Constraints: 23375
602.52/604.59 c #Conflicts: 570000 | #Constraints: 24375
602.52/604.59 c #Conflicts: 571000 | #Constraints: 25375
602.52/604.59 c #Conflicts: 572000 | #Constraints: 26375
602.52/604.59 c #Conflicts: 573000 | #Constraints: 27375
737.91/740.34 c #Conflicts: 574000 | #Constraints: 28375
737.91/740.34 c #Conflicts: 575000 | #Constraints: 29375
737.91/740.34 c #Conflicts: 576000 | #Constraints: 30375
737.91/740.34 c INPROCESSING
737.91/740.34 c GARBAGE COLLECT
737.91/740.34 c #Conflicts: 577000 | #Constraints: 16376
737.91/740.34 c #Conflicts: 578000 | #Constraints: 17376
737.91/740.34 c #Conflicts: 579000 | #Constraints: 18376
737.91/740.34 c #Conflicts: 580000 | #Constraints: 19376
737.91/740.34 c #Conflicts: 581000 | #Constraints: 20376
737.91/740.34 c #Conflicts: 582000 | #Constraints: 21376
737.91/740.34 c #Conflicts: 583000 | #Constraints: 22376
737.91/740.34 c #Conflicts: 584000 | #Constraints: 23376
737.91/740.34 c #Conflicts: 585000 | #Constraints: 24376
737.91/740.34 c #Conflicts: 586000 | #Constraints: 25376
737.91/740.34 c #Conflicts: 587000 | #Constraints: 26376
737.91/740.34 c #Conflicts: 588000 | #Constraints: 27376
737.91/740.34 c #Conflicts: 589000 | #Constraints: 28376
737.91/740.34 c #Conflicts: 590000 | #Constraints: 29376
737.91/740.34 c #Conflicts: 591000 | #Constraints: 30376
737.91/740.34 c INPROCESSING
737.91/740.34 c GARBAGE COLLECT
737.91/740.34 c #Conflicts: 592000 | #Constraints: 16173
737.91/740.34 c #Conflicts: 593000 | #Constraints: 17173
737.91/740.34 c #Conflicts: 594000 | #Constraints: 18173
737.91/740.34 c #Conflicts: 595000 | #Constraints: 19173
737.91/740.34 c #Conflicts: 596000 | #Constraints: 20173
737.91/740.34 c #Conflicts: 597000 | #Constraints: 21173
737.91/740.34 c #Conflicts: 598000 | #Constraints: 22173
737.91/740.34 c #Conflicts: 599000 | #Constraints: 23173
737.91/740.34 c #Conflicts: 600000 | #Constraints: 24173
737.91/740.34 c #Conflicts: 601000 | #Constraints: 25173
737.91/740.34 c #Conflicts: 602000 | #Constraints: 26173
737.91/740.34 c #Conflicts: 603000 | #Constraints: 27173
737.91/740.34 c #Conflicts: 604000 | #Constraints: 28173
737.91/740.34 c #Conflicts: 605000 | #Constraints: 29173
737.91/740.34 c #Conflicts: 606000 | #Constraints: 30173
737.91/740.34 c #Conflicts: 607000 | #Constraints: 31173
737.91/740.34 c INPROCESSING
737.91/740.34 c GARBAGE COLLECT
737.91/740.34 c #Conflicts: 608000 | #Constraints: 16772
737.91/740.34 c #Conflicts: 609000 | #Constraints: 17772
737.91/740.34 c #Conflicts: 610000 | #Constraints: 18772
737.91/740.34 c #Conflicts: 611000 | #Constraints: 19772
737.91/740.34 c #Conflicts: 612000 | #Constraints: 20772
737.91/740.34 c #Conflicts: 613000 | #Constraints: 21772
737.91/740.34 c #Conflicts: 614000 | #Constraints: 22772
737.91/740.34 c #Conflicts: 615000 | #Constraints: 23772
737.91/740.34 c #Conflicts: 616000 | #Constraints: 24772
737.91/740.34 c #Conflicts: 617000 | #Constraints: 25772
737.91/740.34 c #Conflicts: 618000 | #Constraints: 26772
737.91/740.34 c #Conflicts: 619000 | #Constraints: 27772
737.91/740.34 c #Conflicts: 620000 | #Constraints: 28772
737.91/740.34 c #Conflicts: 621000 | #Constraints: 29772
737.91/740.34 c #Conflicts: 622000 | #Constraints: 30772
737.91/740.34 c #Conflicts: 623000 | #Constraints: 31772
737.91/740.34 c INPROCESSING
737.91/740.34 c GARBAGE COLLECT
737.91/740.34 c #Conflicts: 624000 | #Constraints: 17169
737.91/740.34 c #Conflicts: 625000 | #Constraints: 18169
737.91/740.34 c #Conflicts: 626000 | #Constraints: 19169
737.91/740.34 c #Conflicts: 627000 | #Constraints: 20169
737.91/740.34 c #Conflicts: 628000 | #Constraints: 21169
737.91/740.34 c #Conflicts: 629000 | #Constraints: 22169
737.91/740.34 c #Conflicts: 630000 | #Constraints: 23169
737.91/740.34 c #Conflicts: 631000 | #Constraints: 24169
737.91/740.34 c #Conflicts: 632000 | #Constraints: 25169
737.91/740.34 c #Conflicts: 633000 | #Constraints: 26169
737.91/740.34 c #Conflicts: 634000 | #Constraints: 27169
737.91/740.34 c #Conflicts: 635000 | #Constraints: 28169
737.91/740.34 c #Conflicts: 636000 | #Constraints: 29169
737.91/740.34 c #Conflicts: 637000 | #Constraints: 30169
737.91/740.34 c #Conflicts: 638000 | #Constraints: 31169
737.91/740.34 c #Conflicts: 639000 | #Constraints: 32169
737.91/740.34 c INPROCESSING
737.91/740.34 c GARBAGE COLLECT
737.91/740.34 c #Conflicts: 640000 | #Constraints: 17370
737.91/740.34 c #Conflicts: 641000 | #Constraints: 18370
737.91/740.34 c #Conflicts: 642000 | #Constraints: 19370
737.91/740.34 c #Conflicts: 643000 | #Constraints: 20370
737.91/740.34 c #Conflicts: 644000 | #Constraints: 21370
737.91/740.34 c #Conflicts: 645000 | #Constraints: 22370
737.91/740.34 c #Conflicts: 646000 | #Constraints: 23370
737.91/740.34 c #Conflicts: 647000 | #Constraints: 24370
737.91/740.34 c #Conflicts: 648000 | #Constraints: 25370
737.91/740.34 c #Conflicts: 649000 | #Constraints: 26370
878.08/880.93 c #Conflicts: 650000 | #Constraints: 27370
878.08/880.93 c #Conflicts: 651000 | #Constraints: 28370
878.08/880.93 c #Conflicts: 652000 | #Constraints: 29370
878.08/880.93 c #Conflicts: 653000 | #Constraints: 30370
878.08/880.93 c #Conflicts: 654000 | #Constraints: 31370
878.08/880.93 c #Conflicts: 655000 | #Constraints: 32370
878.08/880.93 c INPROCESSING
878.08/880.93 c GARBAGE COLLECT
878.08/880.93 c #Conflicts: 656000 | #Constraints: 17372
878.08/880.93 c #Conflicts: 657000 | #Constraints: 18372
878.08/880.93 c #Conflicts: 658000 | #Constraints: 19372
878.08/880.93 c #Conflicts: 659000 | #Constraints: 20372
878.08/880.93 c #Conflicts: 660000 | #Constraints: 21372
878.08/880.93 c #Conflicts: 661000 | #Constraints: 22372
878.08/880.93 c #Conflicts: 662000 | #Constraints: 23372
878.08/880.93 c #Conflicts: 663000 | #Constraints: 24372
878.08/880.93 c #Conflicts: 664000 | #Constraints: 25372
878.08/880.93 c #Conflicts: 665000 | #Constraints: 26372
878.08/880.93 c #Conflicts: 666000 | #Constraints: 27372
878.08/880.93 c #Conflicts: 667000 | #Constraints: 28372
878.08/880.93 c #Conflicts: 668000 | #Constraints: 29372
878.08/880.93 c #Conflicts: 669000 | #Constraints: 30372
878.08/880.93 c #Conflicts: 670000 | #Constraints: 31372
878.08/880.93 c #Conflicts: 671000 | #Constraints: 32372
878.08/880.93 c INPROCESSING
878.08/880.93 c GARBAGE COLLECT
878.08/880.93 c #Conflicts: 672000 | #Constraints: 17167
878.08/880.93 c #Conflicts: 673000 | #Constraints: 18167
878.08/880.93 c #Conflicts: 674000 | #Constraints: 19167
878.08/880.93 c #Conflicts: 675000 | #Constraints: 20167
878.08/880.93 c #Conflicts: 676000 | #Constraints: 21167
878.08/880.93 c #Conflicts: 677000 | #Constraints: 22167
878.08/880.93 c #Conflicts: 678000 | #Constraints: 23167
878.08/880.93 c #Conflicts: 679000 | #Constraints: 24167
878.08/880.93 c #Conflicts: 680000 | #Constraints: 25167
878.08/880.93 c #Conflicts: 681000 | #Constraints: 26167
878.08/880.93 c #Conflicts: 682000 | #Constraints: 27167
878.08/880.93 c #Conflicts: 683000 | #Constraints: 28167
878.08/880.93 c #Conflicts: 684000 | #Constraints: 29167
878.08/880.93 c #Conflicts: 685000 | #Constraints: 30167
878.08/880.93 c #Conflicts: 686000 | #Constraints: 31167
878.08/880.93 c #Conflicts: 687000 | #Constraints: 32167
878.08/880.93 c #Conflicts: 688000 | #Constraints: 33167
878.08/880.93 c INPROCESSING
878.08/880.93 c GARBAGE COLLECT
878.08/880.93 c #Conflicts: 689000 | #Constraints: 17767
878.08/880.93 c #Conflicts: 690000 | #Constraints: 18767
878.08/880.93 c #Conflicts: 691000 | #Constraints: 19767
878.08/880.93 c #Conflicts: 692000 | #Constraints: 20767
878.08/880.93 c #Conflicts: 693000 | #Constraints: 21767
878.08/880.93 c #Conflicts: 694000 | #Constraints: 22767
878.08/880.93 c #Conflicts: 695000 | #Constraints: 23767
878.08/880.93 c #Conflicts: 696000 | #Constraints: 24767
878.08/880.93 c #Conflicts: 697000 | #Constraints: 25767
878.08/880.93 c #Conflicts: 698000 | #Constraints: 26767
878.08/880.93 c #Conflicts: 699000 | #Constraints: 27767
878.08/880.93 c #Conflicts: 700000 | #Constraints: 28767
878.08/880.93 c #Conflicts: 701000 | #Constraints: 29767
878.08/880.93 c #Conflicts: 702000 | #Constraints: 30767
878.08/880.93 c #Conflicts: 703000 | #Constraints: 31767
878.08/880.93 c #Conflicts: 704000 | #Constraints: 32767
878.08/880.93 c #Conflicts: 705000 | #Constraints: 33767
878.08/880.93 c INPROCESSING
878.08/880.93 c GARBAGE COLLECT
878.08/880.93 c #Conflicts: 706000 | #Constraints: 18171
878.08/880.93 c #Conflicts: 707000 | #Constraints: 19171
878.08/880.93 c #Conflicts: 708000 | #Constraints: 20171
878.08/880.93 c #Conflicts: 709000 | #Constraints: 21171
878.08/880.93 c #Conflicts: 710000 | #Constraints: 22171
878.08/880.93 c #Conflicts: 711000 | #Constraints: 23171
878.08/880.93 c #Conflicts: 712000 | #Constraints: 24171
878.08/880.93 c #Conflicts: 713000 | #Constraints: 25171
878.08/880.93 c #Conflicts: 714000 | #Constraints: 26171
878.08/880.93 c #Conflicts: 715000 | #Constraints: 27171
878.08/880.93 c #Conflicts: 716000 | #Constraints: 28171
878.08/880.93 c #Conflicts: 717000 | #Constraints: 29171
878.08/880.93 c #Conflicts: 718000 | #Constraints: 30171
878.08/880.93 c #Conflicts: 719000 | #Constraints: 31171
878.08/880.93 c #Conflicts: 720000 | #Constraints: 32171
878.08/880.93 c #Conflicts: 721000 | #Constraints: 33171
878.08/880.93 c #Conflicts: 722000 | #Constraints: 34171
878.08/880.93 c INPROCESSING
878.08/880.93 c GARBAGE COLLECT
878.08/880.93 c #Conflicts: 723000 | #Constraints: 18373
878.08/880.93 c #Conflicts: 724000 | #Constraints: 19373
878.08/880.93 c #Conflicts: 725000 | #Constraints: 20373
1027.42/1030.74 c #Conflicts: 726000 | #Constraints: 21373
1027.42/1030.74 c #Conflicts: 727000 | #Constraints: 22373
1027.42/1030.74 c #Conflicts: 728000 | #Constraints: 23373
1027.42/1030.74 c #Conflicts: 729000 | #Constraints: 24373
1027.42/1030.74 c #Conflicts: 730000 | #Constraints: 25373
1027.42/1030.74 c #Conflicts: 731000 | #Constraints: 26373
1027.42/1030.74 c #Conflicts: 732000 | #Constraints: 27373
1027.42/1030.74 c #Conflicts: 733000 | #Constraints: 28373
1027.42/1030.74 c #Conflicts: 734000 | #Constraints: 29373
1027.42/1030.74 c #Conflicts: 735000 | #Constraints: 30373
1027.42/1030.74 c #Conflicts: 736000 | #Constraints: 31373
1027.42/1030.74 c #Conflicts: 737000 | #Constraints: 32373
1027.42/1030.74 c #Conflicts: 738000 | #Constraints: 33373
1027.42/1030.74 c #Conflicts: 739000 | #Constraints: 34373
1027.42/1030.74 c INPROCESSING
1027.42/1030.74 c GARBAGE COLLECT
1027.42/1030.74 c #Conflicts: 740000 | #Constraints: 18368
1027.42/1030.74 c #Conflicts: 741000 | #Constraints: 19368
1027.42/1030.74 c #Conflicts: 742000 | #Constraints: 20368
1027.42/1030.74 c #Conflicts: 743000 | #Constraints: 21368
1027.42/1030.74 c #Conflicts: 744000 | #Constraints: 22368
1027.42/1030.74 c #Conflicts: 745000 | #Constraints: 23368
1027.42/1030.74 c #Conflicts: 746000 | #Constraints: 24368
1027.42/1030.74 c #Conflicts: 747000 | #Constraints: 25368
1027.42/1030.74 c #Conflicts: 748000 | #Constraints: 26368
1027.42/1030.74 c #Conflicts: 749000 | #Constraints: 27368
1027.42/1030.74 c #Conflicts: 750000 | #Constraints: 28368
1027.42/1030.74 c #Conflicts: 751000 | #Constraints: 29368
1027.42/1030.74 c #Conflicts: 752000 | #Constraints: 30368
1027.42/1030.74 c #Conflicts: 753000 | #Constraints: 31368
1027.42/1030.74 c #Conflicts: 754000 | #Constraints: 32368
1027.42/1030.74 c #Conflicts: 755000 | #Constraints: 33368
1027.42/1030.74 c #Conflicts: 756000 | #Constraints: 34368
1027.42/1030.74 c INPROCESSING
1027.42/1030.74 c GARBAGE COLLECT
1027.42/1030.74 c #Conflicts: 757000 | #Constraints: 18178
1027.42/1030.74 c #Conflicts: 758000 | #Constraints: 19178
1027.42/1030.74 c #Conflicts: 759000 | #Constraints: 20178
1027.42/1030.74 c #Conflicts: 760000 | #Constraints: 21178
1027.42/1030.74 c #Conflicts: 761000 | #Constraints: 22178
1027.42/1030.74 c #Conflicts: 762000 | #Constraints: 23178
1027.42/1030.74 c #Conflicts: 763000 | #Constraints: 24178
1027.42/1030.74 c #Conflicts: 764000 | #Constraints: 25178
1027.42/1030.74 c #Conflicts: 765000 | #Constraints: 26178
1027.42/1030.74 c #Conflicts: 766000 | #Constraints: 27178
1027.42/1030.74 c #Conflicts: 767000 | #Constraints: 28178
1027.42/1030.74 c #Conflicts: 768000 | #Constraints: 29178
1027.42/1030.74 c #Conflicts: 769000 | #Constraints: 30178
1027.42/1030.74 c #Conflicts: 770000 | #Constraints: 31178
1027.42/1030.74 c #Conflicts: 771000 | #Constraints: 32178
1027.42/1030.74 c #Conflicts: 772000 | #Constraints: 33178
1027.42/1030.74 c #Conflicts: 773000 | #Constraints: 34178
1027.42/1030.74 c #Conflicts: 774000 | #Constraints: 35178
1027.42/1030.74 c INPROCESSING
1027.42/1030.74 c GARBAGE COLLECT
1027.42/1030.74 c #Conflicts: 775000 | #Constraints: 18777
1027.42/1030.74 c #Conflicts: 776000 | #Constraints: 19777
1027.42/1030.74 c #Conflicts: 777000 | #Constraints: 20777
1027.42/1030.74 c #Conflicts: 778000 | #Constraints: 21777
1027.42/1030.74 c #Conflicts: 779000 | #Constraints: 22777
1027.42/1030.74 c #Conflicts: 780000 | #Constraints: 23777
1027.42/1030.74 c #Conflicts: 781000 | #Constraints: 24777
1027.42/1030.74 c #Conflicts: 782000 | #Constraints: 25777
1027.42/1030.74 c #Conflicts: 783000 | #Constraints: 26777
1027.42/1030.74 c #Conflicts: 784000 | #Constraints: 27777
1027.42/1030.74 c #Conflicts: 785000 | #Constraints: 28777
1027.42/1030.74 c #Conflicts: 786000 | #Constraints: 29777
1027.42/1030.74 c #Conflicts: 787000 | #Constraints: 30777
1027.42/1030.74 c #Conflicts: 788000 | #Constraints: 31777
1027.42/1030.74 c #Conflicts: 789000 | #Constraints: 32777
1027.42/1030.74 c #Conflicts: 790000 | #Constraints: 33777
1027.42/1030.74 c #Conflicts: 791000 | #Constraints: 34777
1027.42/1030.74 c #Conflicts: 792000 | #Constraints: 35777
1027.42/1030.74 c INPROCESSING
1027.42/1030.74 c GARBAGE COLLECT
1027.42/1030.74 c #Conflicts: 793000 | #Constraints: 19179
1027.42/1030.74 c #Conflicts: 794000 | #Constraints: 20179
1027.42/1030.74 c #Conflicts: 795000 | #Constraints: 21179
1027.42/1030.74 c #Conflicts: 796000 | #Constraints: 22179
1027.42/1030.74 c #Conflicts: 797000 | #Constraints: 23179
1027.42/1030.74 c #Conflicts: 798000 | #Constraints: 24179
1027.42/1030.74 c #Conflicts: 799000 | #Constraints: 25179
1027.42/1030.74 c #Conflicts: 800000 | #Constraints: 26179
1027.42/1030.74 c #Conflicts: 801000 | #Constraints: 27179
1195.59/1199.40 c #Conflicts: 802000 | #Constraints: 28179
1195.59/1199.40 c #Conflicts: 803000 | #Constraints: 29179
1195.59/1199.40 c #Conflicts: 804000 | #Constraints: 30179
1195.59/1199.40 c #Conflicts: 805000 | #Constraints: 31179
1195.59/1199.40 c #Conflicts: 806000 | #Constraints: 32179
1195.59/1199.40 c #Conflicts: 807000 | #Constraints: 33179
1195.59/1199.40 c #Conflicts: 808000 | #Constraints: 34179
1195.59/1199.40 c #Conflicts: 809000 | #Constraints: 35179
1195.59/1199.40 c #Conflicts: 810000 | #Constraints: 36179
1195.59/1199.40 c INPROCESSING
1195.59/1199.40 c GARBAGE COLLECT
1195.59/1199.40 c #Conflicts: 811000 | #Constraints: 19375
1195.59/1199.40 c #Conflicts: 812000 | #Constraints: 20375
1195.59/1199.40 c #Conflicts: 813000 | #Constraints: 21375
1195.59/1199.40 c #Conflicts: 814000 | #Constraints: 22375
1195.59/1199.40 c #Conflicts: 815000 | #Constraints: 23375
1195.59/1199.40 c #Conflicts: 816000 | #Constraints: 24375
1195.59/1199.40 c #Conflicts: 817000 | #Constraints: 25375
1195.59/1199.40 c #Conflicts: 818000 | #Constraints: 26375
1195.59/1199.40 c #Conflicts: 819000 | #Constraints: 27375
1195.59/1199.40 c #Conflicts: 820000 | #Constraints: 28375
1195.59/1199.40 c #Conflicts: 821000 | #Constraints: 29375
1195.59/1199.40 c #Conflicts: 822000 | #Constraints: 30375
1195.59/1199.40 c #Conflicts: 823000 | #Constraints: 31375
1195.59/1199.40 c #Conflicts: 824000 | #Constraints: 32375
1195.59/1199.40 c #Conflicts: 825000 | #Constraints: 33375
1195.59/1199.40 c #Conflicts: 826000 | #Constraints: 34375
1195.59/1199.40 c #Conflicts: 827000 | #Constraints: 35375
1195.59/1199.40 c #Conflicts: 828000 | #Constraints: 36375
1195.59/1199.40 c INPROCESSING
1195.59/1199.40 c GARBAGE COLLECT
1195.59/1199.40 c #Conflicts: 829000 | #Constraints: 19373
1195.59/1199.40 c #Conflicts: 830000 | #Constraints: 20373
1195.59/1199.40 c #Conflicts: 831000 | #Constraints: 21373
1195.59/1199.40 c #Conflicts: 832000 | #Constraints: 22373
1195.59/1199.40 c #Conflicts: 833000 | #Constraints: 23373
1195.59/1199.40 c #Conflicts: 834000 | #Constraints: 24373
1195.59/1199.40 c #Conflicts: 835000 | #Constraints: 25373
1195.59/1199.40 c #Conflicts: 836000 | #Constraints: 26373
1195.59/1199.40 c #Conflicts: 837000 | #Constraints: 27373
1195.59/1199.40 c #Conflicts: 838000 | #Constraints: 28373
1195.59/1199.40 c #Conflicts: 839000 | #Constraints: 29373
1195.59/1199.40 c #Conflicts: 840000 | #Constraints: 30373
1195.59/1199.40 c #Conflicts: 841000 | #Constraints: 31373
1195.59/1199.40 c #Conflicts: 842000 | #Constraints: 32373
1195.59/1199.40 c #Conflicts: 843000 | #Constraints: 33373
1195.59/1199.40 c #Conflicts: 844000 | #Constraints: 34373
1195.59/1199.40 c #Conflicts: 845000 | #Constraints: 35373
1195.59/1199.40 c #Conflicts: 846000 | #Constraints: 36373
1195.59/1199.40 c INPROCESSING
1195.59/1199.40 c GARBAGE COLLECT
1195.59/1199.40 c #Conflicts: 847000 | #Constraints: 19176
1195.59/1199.40 c #Conflicts: 848000 | #Constraints: 20176
1195.59/1199.40 c #Conflicts: 849000 | #Constraints: 21176
1195.59/1199.40 c #Conflicts: 850000 | #Constraints: 22176
1195.59/1199.40 c #Conflicts: 851000 | #Constraints: 23176
1195.59/1199.40 c #Conflicts: 852000 | #Constraints: 24176
1195.59/1199.40 c #Conflicts: 853000 | #Constraints: 25176
1195.59/1199.40 c #Conflicts: 854000 | #Constraints: 26176
1195.59/1199.40 c #Conflicts: 855000 | #Constraints: 27176
1195.59/1199.40 c #Conflicts: 856000 | #Constraints: 28176
1195.59/1199.40 c #Conflicts: 857000 | #Constraints: 29176
1195.59/1199.40 c #Conflicts: 858000 | #Constraints: 30176
1195.59/1199.40 c #Conflicts: 859000 | #Constraints: 31176
1195.59/1199.40 c #Conflicts: 860000 | #Constraints: 32176
1195.59/1199.40 c #Conflicts: 861000 | #Constraints: 33176
1195.59/1199.40 c #Conflicts: 862000 | #Constraints: 34176
1195.59/1199.40 c #Conflicts: 863000 | #Constraints: 35176
1195.59/1199.40 c #Conflicts: 864000 | #Constraints: 36176
1195.59/1199.40 c #Conflicts: 865000 | #Constraints: 37176
1195.59/1199.40 c INPROCESSING
1195.59/1199.40 c GARBAGE COLLECT
1195.59/1199.40 c #Conflicts: 866000 | #Constraints: 19772
1195.59/1199.40 c #Conflicts: 867000 | #Constraints: 20772
1195.59/1199.40 c #Conflicts: 868000 | #Constraints: 21772
1195.59/1199.40 c #Conflicts: 869000 | #Constraints: 22772
1195.59/1199.40 c #Conflicts: 870000 | #Constraints: 23772
1195.59/1199.40 c #Conflicts: 871000 | #Constraints: 24772
1195.59/1199.40 c #Conflicts: 872000 | #Constraints: 25772
1195.59/1199.40 c #Conflicts: 873000 | #Constraints: 26772
1195.59/1199.40 c #Conflicts: 874000 | #Constraints: 27772
1195.59/1199.40 c #Conflicts: 875000 | #Constraints: 28772
1195.59/1199.40 c #Conflicts: 876000 | #Constraints: 29772
1195.59/1199.40 c #Conflicts: 877000 | #Constraints: 30772
1367.96/1372.34 c #Conflicts: 878000 | #Constraints: 31772
1367.96/1372.34 c #Conflicts: 879000 | #Constraints: 32772
1367.96/1372.34 c #Conflicts: 880000 | #Constraints: 33772
1367.96/1372.34 c #Conflicts: 881000 | #Constraints: 34772
1367.96/1372.34 c #Conflicts: 882000 | #Constraints: 35772
1367.96/1372.34 c #Conflicts: 883000 | #Constraints: 36772
1367.96/1372.34 c #Conflicts: 884000 | #Constraints: 37772
1367.96/1372.34 c INPROCESSING
1367.96/1372.34 c GARBAGE COLLECT
1367.96/1372.34 c #Conflicts: 885000 | #Constraints: 20178
1367.96/1372.34 c #Conflicts: 886000 | #Constraints: 21178
1367.96/1372.34 c #Conflicts: 887000 | #Constraints: 22178
1367.96/1372.34 c #Conflicts: 888000 | #Constraints: 23178
1367.96/1372.34 c #Conflicts: 889000 | #Constraints: 24178
1367.96/1372.34 c #Conflicts: 890000 | #Constraints: 25178
1367.96/1372.34 c #Conflicts: 891000 | #Constraints: 26178
1367.96/1372.34 c #Conflicts: 892000 | #Constraints: 27178
1367.96/1372.34 c #Conflicts: 893000 | #Constraints: 28178
1367.96/1372.34 c #Conflicts: 894000 | #Constraints: 29178
1367.96/1372.34 c #Conflicts: 895000 | #Constraints: 30178
1367.96/1372.34 c #Conflicts: 896000 | #Constraints: 31178
1367.96/1372.34 c #Conflicts: 897000 | #Constraints: 32178
1367.96/1372.34 c #Conflicts: 898000 | #Constraints: 33178
1367.96/1372.34 c #Conflicts: 899000 | #Constraints: 34178
1367.96/1372.34 c #Conflicts: 900000 | #Constraints: 35178
1367.96/1372.34 c #Conflicts: 901000 | #Constraints: 36178
1367.96/1372.34 c #Conflicts: 902000 | #Constraints: 37178
1367.96/1372.34 c #Conflicts: 903000 | #Constraints: 38178
1367.96/1372.34 c INPROCESSING
1367.96/1372.34 c GARBAGE COLLECT
1367.96/1372.34 c #Conflicts: 904000 | #Constraints: 20378
1367.96/1372.34 c #Conflicts: 905000 | #Constraints: 21378
1367.96/1372.34 c #Conflicts: 906000 | #Constraints: 22378
1367.96/1372.34 c #Conflicts: 907000 | #Constraints: 23378
1367.96/1372.34 c #Conflicts: 908000 | #Constraints: 24378
1367.96/1372.34 c #Conflicts: 909000 | #Constraints: 25378
1367.96/1372.34 c #Conflicts: 910000 | #Constraints: 26378
1367.96/1372.34 c #Conflicts: 911000 | #Constraints: 27378
1367.96/1372.34 c #Conflicts: 912000 | #Constraints: 28378
1367.96/1372.34 c #Conflicts: 913000 | #Constraints: 29378
1367.96/1372.34 c #Conflicts: 914000 | #Constraints: 30378
1367.96/1372.34 c #Conflicts: 915000 | #Constraints: 31378
1367.96/1372.34 c #Conflicts: 916000 | #Constraints: 32378
1367.96/1372.34 c #Conflicts: 917000 | #Constraints: 33378
1367.96/1372.34 c #Conflicts: 918000 | #Constraints: 34378
1367.96/1372.34 c #Conflicts: 919000 | #Constraints: 35378
1367.96/1372.34 c #Conflicts: 920000 | #Constraints: 36378
1367.96/1372.34 c #Conflicts: 921000 | #Constraints: 37378
1367.96/1372.34 c #Conflicts: 922000 | #Constraints: 38378
1367.96/1372.34 c INPROCESSING
1367.96/1372.34 c GARBAGE COLLECT
1367.96/1372.34 c #Conflicts: 923000 | #Constraints: 20375
1367.96/1372.34 c #Conflicts: 924000 | #Constraints: 21375
1367.96/1372.34 c #Conflicts: 925000 | #Constraints: 22375
1367.96/1372.34 c #Conflicts: 926000 | #Constraints: 23375
1367.96/1372.34 c #Conflicts: 927000 | #Constraints: 24375
1367.96/1372.34 c #Conflicts: 928000 | #Constraints: 25375
1367.96/1372.34 c #Conflicts: 929000 | #Constraints: 26375
1367.96/1372.34 c #Conflicts: 930000 | #Constraints: 27375
1367.96/1372.34 c #Conflicts: 931000 | #Constraints: 28375
1367.96/1372.34 c #Conflicts: 932000 | #Constraints: 29375
1367.96/1372.34 c #Conflicts: 933000 | #Constraints: 30375
1367.96/1372.34 c #Conflicts: 934000 | #Constraints: 31375
1367.96/1372.34 c #Conflicts: 935000 | #Constraints: 32375
1367.96/1372.34 c #Conflicts: 936000 | #Constraints: 33375
1367.96/1372.34 c #Conflicts: 937000 | #Constraints: 34375
1367.96/1372.34 c #Conflicts: 938000 | #Constraints: 35375
1367.96/1372.34 c #Conflicts: 939000 | #Constraints: 36375
1367.96/1372.34 c #Conflicts: 940000 | #Constraints: 37375
1367.96/1372.34 c #Conflicts: 941000 | #Constraints: 38375
1367.96/1372.34 c INPROCESSING
1367.96/1372.34 c GARBAGE COLLECT
1367.96/1372.34 c #Conflicts: 942000 | #Constraints: 20181
1367.96/1372.34 c #Conflicts: 943000 | #Constraints: 21181
1367.96/1372.34 c #Conflicts: 944000 | #Constraints: 22181
1367.96/1372.34 c #Conflicts: 945000 | #Constraints: 23181
1367.96/1372.34 c #Conflicts: 946000 | #Constraints: 24181
1367.96/1372.34 c #Conflicts: 947000 | #Constraints: 25181
1367.96/1372.34 c #Conflicts: 948000 | #Constraints: 26181
1367.96/1372.34 c #Conflicts: 949000 | #Constraints: 27181
1367.96/1372.34 c #Conflicts: 950000 | #Constraints: 28181
1367.96/1372.34 c #Conflicts: 951000 | #Constraints: 29181
1367.96/1372.34 c #Conflicts: 952000 | #Constraints: 30181
1367.96/1372.34 c #Conflicts: 953000 | #Constraints: 31181
1529.36/1534.23 c #Conflicts: 954000 | #Constraints: 32181
1529.36/1534.23 c #Conflicts: 955000 | #Constraints: 33181
1529.36/1534.23 c #Conflicts: 956000 | #Constraints: 34181
1529.36/1534.23 c #Conflicts: 957000 | #Constraints: 35181
1529.36/1534.23 c #Conflicts: 958000 | #Constraints: 36181
1529.36/1534.23 c #Conflicts: 959000 | #Constraints: 37181
1529.36/1534.23 c #Conflicts: 960000 | #Constraints: 38181
1529.36/1534.23 c #Conflicts: 961000 | #Constraints: 39181
1529.36/1534.23 c INPROCESSING
1529.36/1534.23 c GARBAGE COLLECT
1529.36/1534.23 c #Conflicts: 962000 | #Constraints: 20778
1529.36/1534.23 c #Conflicts: 963000 | #Constraints: 21778
1529.36/1534.23 c #Conflicts: 964000 | #Constraints: 22778
1529.36/1534.23 c #Conflicts: 965000 | #Constraints: 23778
1529.36/1534.23 c #Conflicts: 966000 | #Constraints: 24778
1529.36/1534.23 c #Conflicts: 967000 | #Constraints: 25778
1529.36/1534.23 c #Conflicts: 968000 | #Constraints: 26778
1529.36/1534.23 c #Conflicts: 969000 | #Constraints: 27778
1529.36/1534.23 c #Conflicts: 970000 | #Constraints: 28778
1529.36/1534.23 c #Conflicts: 971000 | #Constraints: 29778
1529.36/1534.23 c #Conflicts: 972000 | #Constraints: 30778
1529.36/1534.23 c #Conflicts: 973000 | #Constraints: 31778
1529.36/1534.23 c #Conflicts: 974000 | #Constraints: 32778
1529.36/1534.23 c #Conflicts: 975000 | #Constraints: 33778
1529.36/1534.23 c #Conflicts: 976000 | #Constraints: 34778
1529.36/1534.23 c #Conflicts: 977000 | #Constraints: 35778
1529.36/1534.23 c #Conflicts: 978000 | #Constraints: 36778
1529.36/1534.23 c #Conflicts: 979000 | #Constraints: 37778
1529.36/1534.23 c #Conflicts: 980000 | #Constraints: 38778
1529.36/1534.23 c #Conflicts: 981000 | #Constraints: 39778
1529.36/1534.23 c INPROCESSING
1529.36/1534.23 c GARBAGE COLLECT
1529.36/1534.23 c #Conflicts: 982000 | #Constraints: 21172
1529.36/1534.23 c #Conflicts: 983000 | #Constraints: 22172
1529.36/1534.23 c #Conflicts: 984000 | #Constraints: 23172
1529.36/1534.23 c #Conflicts: 985000 | #Constraints: 24172
1529.36/1534.23 c #Conflicts: 986000 | #Constraints: 25172
1529.36/1534.23 c #Conflicts: 987000 | #Constraints: 26172
1529.36/1534.23 c #Conflicts: 988000 | #Constraints: 27172
1529.36/1534.23 c #Conflicts: 989000 | #Constraints: 28172
1529.36/1534.23 c #Conflicts: 990000 | #Constraints: 29172
1529.36/1534.23 c #Conflicts: 991000 | #Constraints: 30172
1529.36/1534.23 c #Conflicts: 992000 | #Constraints: 31172
1529.36/1534.23 c #Conflicts: 993000 | #Constraints: 32172
1529.36/1534.23 c #Conflicts: 994000 | #Constraints: 33172
1529.36/1534.23 c #Conflicts: 995000 | #Constraints: 34172
1529.36/1534.23 c #Conflicts: 996000 | #Constraints: 35172
1529.36/1534.23 c #Conflicts: 997000 | #Constraints: 36172
1529.36/1534.23 c #Conflicts: 998000 | #Constraints: 37172
1529.36/1534.23 c #Conflicts: 999000 | #Constraints: 38172
1529.36/1534.23 c #Conflicts: 1000000 | #Constraints: 39172
1529.36/1534.23 c #Conflicts: 1001000 | #Constraints: 40172
1529.36/1534.23 c INPROCESSING
1529.36/1534.23 c GARBAGE COLLECT
1529.36/1534.23 c #Conflicts: 1002000 | #Constraints: 21374
1529.36/1534.23 c #Conflicts: 1003000 | #Constraints: 22374
1529.36/1534.23 c #Conflicts: 1004000 | #Constraints: 23374
1529.36/1534.23 c #Conflicts: 1005000 | #Constraints: 24374
1529.36/1534.23 c #Conflicts: 1006000 | #Constraints: 25374
1529.36/1534.23 c #Conflicts: 1007000 | #Constraints: 26374
1529.36/1534.23 c #Conflicts: 1008000 | #Constraints: 27374
1529.36/1534.23 c #Conflicts: 1009000 | #Constraints: 28374
1529.36/1534.23 c #Conflicts: 1010000 | #Constraints: 29374
1529.36/1534.23 c #Conflicts: 1011000 | #Constraints: 30374
1529.36/1534.23 c #Conflicts: 1012000 | #Constraints: 31374
1529.36/1534.23 c #Conflicts: 1013000 | #Constraints: 32374
1529.36/1534.23 c #Conflicts: 1014000 | #Constraints: 33374
1529.36/1534.23 c #Conflicts: 1015000 | #Constraints: 34374
1529.36/1534.23 c #Conflicts: 1016000 | #Constraints: 35374
1529.36/1534.23 c #Conflicts: 1017000 | #Constraints: 36374
1529.36/1534.23 c #Conflicts: 1018000 | #Constraints: 37374
1529.36/1534.23 c #Conflicts: 1019000 | #Constraints: 38374
1529.36/1534.23 c #Conflicts: 1020000 | #Constraints: 39374
1529.36/1534.23 c #Conflicts: 1021000 | #Constraints: 40374
1529.36/1534.23 c INPROCESSING
1529.36/1534.23 c GARBAGE COLLECT
1529.36/1534.23 c #Conflicts: 1022000 | #Constraints: 21374
1529.36/1534.23 c #Conflicts: 1023000 | #Constraints: 22374
1529.36/1534.23 c #Conflicts: 1024000 | #Constraints: 23374
1529.36/1534.23 c #Conflicts: 1025000 | #Constraints: 24374
1529.36/1534.23 c #Conflicts: 1026000 | #Constraints: 25374
1529.36/1534.23 c #Conflicts: 1027000 | #Constraints: 26374
1529.36/1534.23 c #Conflicts: 1028000 | #Constraints: 27374
1529.36/1534.23 c #Conflicts: 1029000 | #Constraints: 28374
1706.50/1711.97 c #Conflicts: 1030000 | #Constraints: 29374
1706.50/1711.97 c #Conflicts: 1031000 | #Constraints: 30374
1706.50/1711.97 c #Conflicts: 1032000 | #Constraints: 31374
1706.50/1711.97 c #Conflicts: 1033000 | #Constraints: 32374
1706.50/1711.97 c #Conflicts: 1034000 | #Constraints: 33374
1706.50/1711.97 c #Conflicts: 1035000 | #Constraints: 34374
1706.50/1711.97 c #Conflicts: 1036000 | #Constraints: 35374
1706.50/1711.97 c #Conflicts: 1037000 | #Constraints: 36374
1706.50/1711.97 c #Conflicts: 1038000 | #Constraints: 37374
1706.50/1711.97 c #Conflicts: 1039000 | #Constraints: 38374
1706.50/1711.97 c #Conflicts: 1040000 | #Constraints: 39374
1706.50/1711.97 c #Conflicts: 1041000 | #Constraints: 40374
1706.50/1711.97 c INPROCESSING
1706.50/1711.97 c GARBAGE COLLECT
1706.50/1711.97 c #Conflicts: 1042000 | #Constraints: 21177
1706.50/1711.97 c #Conflicts: 1043000 | #Constraints: 22177
1706.50/1711.97 c #Conflicts: 1044000 | #Constraints: 23177
1706.50/1711.97 c #Conflicts: 1045000 | #Constraints: 24177
1706.50/1711.97 c #Conflicts: 1046000 | #Constraints: 25177
1706.50/1711.97 c #Conflicts: 1047000 | #Constraints: 26177
1706.50/1711.97 c #Conflicts: 1048000 | #Constraints: 27177
1706.50/1711.97 c #Conflicts: 1049000 | #Constraints: 28177
1706.50/1711.97 c #Conflicts: 1050000 | #Constraints: 29177
1706.50/1711.97 c #Conflicts: 1051000 | #Constraints: 30177
1706.50/1711.97 c #Conflicts: 1052000 | #Constraints: 31177
1706.50/1711.97 c #Conflicts: 1053000 | #Constraints: 32177
1706.50/1711.97 c #Conflicts: 1054000 | #Constraints: 33177
1706.50/1711.97 c #Conflicts: 1055000 | #Constraints: 34177
1706.50/1711.97 c #Conflicts: 1056000 | #Constraints: 35177
1706.50/1711.97 c #Conflicts: 1057000 | #Constraints: 36177
1706.50/1711.97 c #Conflicts: 1058000 | #Constraints: 37177
1706.50/1711.97 c #Conflicts: 1059000 | #Constraints: 38177
1706.50/1711.97 c #Conflicts: 1060000 | #Constraints: 39177
1706.50/1711.97 c #Conflicts: 1061000 | #Constraints: 40177
1706.50/1711.97 c #Conflicts: 1062000 | #Constraints: 41177
1706.50/1711.97 c INPROCESSING
1706.50/1711.97 c GARBAGE COLLECT
1706.50/1711.97 c #Conflicts: 1063000 | #Constraints: 21779
1706.50/1711.97 c #Conflicts: 1064000 | #Constraints: 22779
1706.50/1711.97 c #Conflicts: 1065000 | #Constraints: 23779
1706.50/1711.97 c #Conflicts: 1066000 | #Constraints: 24779
1706.50/1711.97 c #Conflicts: 1067000 | #Constraints: 25779
1706.50/1711.97 c #Conflicts: 1068000 | #Constraints: 26779
1706.50/1711.97 c #Conflicts: 1069000 | #Constraints: 27779
1706.50/1711.97 c #Conflicts: 1070000 | #Constraints: 28779
1706.50/1711.97 c #Conflicts: 1071000 | #Constraints: 29779
1706.50/1711.97 c #Conflicts: 1072000 | #Constraints: 30779
1706.50/1711.97 c #Conflicts: 1073000 | #Constraints: 31779
1706.50/1711.97 c #Conflicts: 1074000 | #Constraints: 32779
1706.50/1711.97 c #Conflicts: 1075000 | #Constraints: 33779
1706.50/1711.97 c #Conflicts: 1076000 | #Constraints: 34779
1706.50/1711.97 c #Conflicts: 1077000 | #Constraints: 35779
1706.50/1711.97 c #Conflicts: 1078000 | #Constraints: 36779
1706.50/1711.97 c #Conflicts: 1079000 | #Constraints: 37779
1706.50/1711.97 c #Conflicts: 1080000 | #Constraints: 38779
1706.50/1711.97 c #Conflicts: 1081000 | #Constraints: 39779
1706.50/1711.97 c #Conflicts: 1082000 | #Constraints: 40779
1706.50/1711.97 c #Conflicts: 1083000 | #Constraints: 41779
1706.50/1711.97 c INPROCESSING
1706.50/1711.97 c GARBAGE COLLECT
1706.50/1711.97 c #Conflicts: 1084000 | #Constraints: 22178
1706.50/1711.97 c #Conflicts: 1085000 | #Constraints: 23178
1706.50/1711.97 c #Conflicts: 1086000 | #Constraints: 24178
1706.50/1711.97 c #Conflicts: 1087000 | #Constraints: 25178
1706.50/1711.97 c #Conflicts: 1088000 | #Constraints: 26178
1706.50/1711.97 c #Conflicts: 1089000 | #Constraints: 27178
1706.50/1711.97 c #Conflicts: 1090000 | #Constraints: 28178
1706.50/1711.97 c #Conflicts: 1091000 | #Constraints: 29178
1706.50/1711.97 c #Conflicts: 1092000 | #Constraints: 30178
1706.50/1711.97 c #Conflicts: 1093000 | #Constraints: 31178
1706.50/1711.97 c #Conflicts: 1094000 | #Constraints: 32178
1706.50/1711.97 c #Conflicts: 1095000 | #Constraints: 33178
1706.50/1711.97 c #Conflicts: 1096000 | #Constraints: 34178
1706.50/1711.97 c #Conflicts: 1097000 | #Constraints: 35178
1706.50/1711.97 c #Conflicts: 1098000 | #Constraints: 36178
1706.50/1711.97 c #Conflicts: 1099000 | #Constraints: 37178
1706.50/1711.97 c #Conflicts: 1100000 | #Constraints: 38178
1706.50/1711.97 c #Conflicts: 1101000 | #Constraints: 39178
1706.50/1711.97 c #Conflicts: 1102000 | #Constraints: 40178
1706.50/1711.97 c #Conflicts: 1103000 | #Constraints: 41178
1706.50/1711.97 c #Conflicts: 1104000 | #Constraints: 42178
1706.50/1711.97 c INPROCESSING
1706.50/1711.97 c GARBAGE COLLECT
1706.50/1711.97 c #Conflicts: 1105000 | #Constraints: 22377
1706.50/1711.97 c #Conflicts: 1106000 | #Constraints: 23377
1899.88/1905.97 c #Conflicts: 1107000 | #Constraints: 24377
1899.88/1905.97 c #Conflicts: 1108000 | #Constraints: 25377
1899.88/1905.97 c #Conflicts: 1109000 | #Constraints: 26377
1899.88/1905.97 c #Conflicts: 1110000 | #Constraints: 27377
1899.88/1905.97 c #Conflicts: 1111000 | #Constraints: 28377
1899.88/1905.97 c #Conflicts: 1112000 | #Constraints: 29377
1899.88/1905.97 c #Conflicts: 1113000 | #Constraints: 30377
1899.88/1905.97 c #Conflicts: 1114000 | #Constraints: 31377
1899.88/1905.97 c #Conflicts: 1115000 | #Constraints: 32377
1899.88/1905.97 c #Conflicts: 1116000 | #Constraints: 33377
1899.88/1905.97 c #Conflicts: 1117000 | #Constraints: 34377
1899.88/1905.97 c #Conflicts: 1118000 | #Constraints: 35377
1899.88/1905.97 c #Conflicts: 1119000 | #Constraints: 36377
1899.88/1905.97 c #Conflicts: 1120000 | #Constraints: 37377
1899.88/1905.97 c #Conflicts: 1121000 | #Constraints: 38377
1899.88/1905.97 c #Conflicts: 1122000 | #Constraints: 39377
1899.88/1905.97 c #Conflicts: 1123000 | #Constraints: 40377
1899.88/1905.97 c #Conflicts: 1124000 | #Constraints: 41377
1899.88/1905.97 c #Conflicts: 1125000 | #Constraints: 42377
1899.88/1905.97 c INPROCESSING
1899.88/1905.97 c GARBAGE COLLECT
1899.88/1905.97 c #Conflicts: 1126000 | #Constraints: 22377
1899.88/1905.97 c #Conflicts: 1127000 | #Constraints: 23377
1899.88/1905.97 c #Conflicts: 1128000 | #Constraints: 24377
1899.88/1905.97 c #Conflicts: 1129000 | #Constraints: 25377
1899.88/1905.97 c #Conflicts: 1130000 | #Constraints: 26377
1899.88/1905.97 c #Conflicts: 1131000 | #Constraints: 27377
1899.88/1905.97 c #Conflicts: 1132000 | #Constraints: 28377
1899.88/1905.97 c #Conflicts: 1133000 | #Constraints: 29377
1899.88/1905.97 c #Conflicts: 1134000 | #Constraints: 30377
1899.88/1905.97 c #Conflicts: 1135000 | #Constraints: 31377
1899.88/1905.97 c #Conflicts: 1136000 | #Constraints: 32377
1899.88/1905.97 c #Conflicts: 1137000 | #Constraints: 33377
1899.88/1905.97 c #Conflicts: 1138000 | #Constraints: 34377
1899.88/1905.97 c #Conflicts: 1139000 | #Constraints: 35377
1899.88/1905.97 c #Conflicts: 1140000 | #Constraints: 36377
1899.88/1905.97 c #Conflicts: 1141000 | #Constraints: 37377
1899.88/1905.97 c #Conflicts: 1142000 | #Constraints: 38377
1899.88/1905.97 c #Conflicts: 1143000 | #Constraints: 39377
1899.88/1905.97 c #Conflicts: 1144000 | #Constraints: 40377
1899.88/1905.97 c #Conflicts: 1145000 | #Constraints: 41377
1899.88/1905.97 c #Conflicts: 1146000 | #Constraints: 42377
1899.88/1905.97 c INPROCESSING
1899.88/1905.97 c GARBAGE COLLECT
1899.88/1905.97 c #Conflicts: 1147000 | #Constraints: 22171
1899.88/1905.97 c #Conflicts: 1148000 | #Constraints: 23171
1899.88/1905.97 c #Conflicts: 1149000 | #Constraints: 24171
1899.88/1905.97 c #Conflicts: 1150000 | #Constraints: 25171
1899.88/1905.97 c #Conflicts: 1151000 | #Constraints: 26171
1899.88/1905.97 c #Conflicts: 1152000 | #Constraints: 27171
1899.88/1905.97 c #Conflicts: 1153000 | #Constraints: 28171
1899.88/1905.97 c #Conflicts: 1154000 | #Constraints: 29171
1899.88/1905.97 c #Conflicts: 1155000 | #Constraints: 30171
1899.88/1905.97 c #Conflicts: 1156000 | #Constraints: 31171
1899.88/1905.97 c #Conflicts: 1157000 | #Constraints: 32171
1899.88/1905.97 c #Conflicts: 1158000 | #Constraints: 33171
1899.88/1905.97 c #Conflicts: 1159000 | #Constraints: 34171
1899.88/1905.97 c #Conflicts: 1160000 | #Constraints: 35171
1899.88/1905.97 c #Conflicts: 1161000 | #Constraints: 36171
1899.88/1905.97 c #Conflicts: 1162000 | #Constraints: 37171
1899.88/1905.97 c #Conflicts: 1163000 | #Constraints: 38171
1899.88/1905.97 c #Conflicts: 1164000 | #Constraints: 39171
1899.88/1905.97 c #Conflicts: 1165000 | #Constraints: 40171
1899.88/1905.97 c #Conflicts: 1166000 | #Constraints: 41171
1899.88/1905.97 c #Conflicts: 1167000 | #Constraints: 42171
1899.88/1905.97 c #Conflicts: 1168000 | #Constraints: 43171
1899.88/1905.97 c INPROCESSING
1899.88/1905.97 c GARBAGE COLLECT
1899.88/1905.97 c #Conflicts: 1169000 | #Constraints: 22771
1899.88/1905.97 c #Conflicts: 1170000 | #Constraints: 23771
1899.88/1905.97 c #Conflicts: 1171000 | #Constraints: 24771
1899.88/1905.97 c #Conflicts: 1172000 | #Constraints: 25771
1899.88/1905.97 c #Conflicts: 1173000 | #Constraints: 26771
1899.88/1905.97 c #Conflicts: 1174000 | #Constraints: 27771
1899.88/1905.97 c #Conflicts: 1175000 | #Constraints: 28771
1899.88/1905.97 c #Conflicts: 1176000 | #Constraints: 29771
1899.88/1905.97 c #Conflicts: 1177000 | #Constraints: 30771
1899.88/1905.97 c #Conflicts: 1178000 | #Constraints: 31771
1899.88/1905.97 c #Conflicts: 1179000 | #Constraints: 32771
1899.88/1905.97 c #Conflicts: 1180000 | #Constraints: 33771
1899.88/1905.97 c #Conflicts: 1181000 | #Constraints: 34771
1899.88/1905.97 c #Conflicts: 1182000 | #Constraints: 35771
1899.88/1905.97 c #Conflicts: 1183000 | #Constraints: 36771
2081.15/2087.77 c #Conflicts: 1184000 | #Constraints: 37771
2081.15/2087.77 c #Conflicts: 1185000 | #Constraints: 38771
2081.15/2087.77 c #Conflicts: 1186000 | #Constraints: 39771
2081.15/2087.77 c #Conflicts: 1187000 | #Constraints: 40771
2081.15/2087.77 c #Conflicts: 1188000 | #Constraints: 41771
2081.15/2087.77 c #Conflicts: 1189000 | #Constraints: 42771
2081.15/2087.77 c #Conflicts: 1190000 | #Constraints: 43771
2081.15/2087.77 c INPROCESSING
2081.15/2087.77 c GARBAGE COLLECT
2081.15/2087.77 c #Conflicts: 1191000 | #Constraints: 23176
2081.15/2087.77 c #Conflicts: 1192000 | #Constraints: 24176
2081.15/2087.77 c #Conflicts: 1193000 | #Constraints: 25176
2081.15/2087.77 c #Conflicts: 1194000 | #Constraints: 26176
2081.15/2087.77 c #Conflicts: 1195000 | #Constraints: 27176
2081.15/2087.77 c #Conflicts: 1196000 | #Constraints: 28176
2081.15/2087.77 c #Conflicts: 1197000 | #Constraints: 29176
2081.15/2087.77 c #Conflicts: 1198000 | #Constraints: 30176
2081.15/2087.77 c #Conflicts: 1199000 | #Constraints: 31176
2081.15/2087.77 c #Conflicts: 1200000 | #Constraints: 32176
2081.15/2087.77 c #Conflicts: 1201000 | #Constraints: 33176
2081.15/2087.77 c #Conflicts: 1202000 | #Constraints: 34176
2081.15/2087.77 c #Conflicts: 1203000 | #Constraints: 35176
2081.15/2087.77 c #Conflicts: 1204000 | #Constraints: 36176
2081.15/2087.77 c #Conflicts: 1205000 | #Constraints: 37176
2081.15/2087.77 c #Conflicts: 1206000 | #Constraints: 38176
2081.15/2087.77 c #Conflicts: 1207000 | #Constraints: 39176
2081.15/2087.77 c #Conflicts: 1208000 | #Constraints: 40176
2081.15/2087.77 c #Conflicts: 1209000 | #Constraints: 41176
2081.15/2087.77 c #Conflicts: 1210000 | #Constraints: 42176
2081.15/2087.77 c #Conflicts: 1211000 | #Constraints: 43176
2081.15/2087.77 c #Conflicts: 1212000 | #Constraints: 44176
2081.15/2087.77 c INPROCESSING
2081.15/2087.77 c GARBAGE COLLECT
2081.15/2087.77 c #Conflicts: 1213000 | #Constraints: 23378
2081.15/2087.77 c #Conflicts: 1214000 | #Constraints: 24378
2081.15/2087.77 c #Conflicts: 1215000 | #Constraints: 25378
2081.15/2087.77 c #Conflicts: 1216000 | #Constraints: 26378
2081.15/2087.77 c #Conflicts: 1217000 | #Constraints: 27378
2081.15/2087.77 c #Conflicts: 1218000 | #Constraints: 28378
2081.15/2087.77 c #Conflicts: 1219000 | #Constraints: 29378
2081.15/2087.77 c #Conflicts: 1220000 | #Constraints: 30378
2081.15/2087.77 c #Conflicts: 1221000 | #Constraints: 31378
2081.15/2087.77 c #Conflicts: 1222000 | #Constraints: 32378
2081.15/2087.77 c #Conflicts: 1223000 | #Constraints: 33378
2081.15/2087.77 c #Conflicts: 1224000 | #Constraints: 34378
2081.15/2087.77 c #Conflicts: 1225000 | #Constraints: 35378
2081.15/2087.77 c #Conflicts: 1226000 | #Constraints: 36378
2081.15/2087.77 c #Conflicts: 1227000 | #Constraints: 37378
2081.15/2087.77 c #Conflicts: 1228000 | #Constraints: 38378
2081.15/2087.77 c #Conflicts: 1229000 | #Constraints: 39378
2081.15/2087.77 c #Conflicts: 1230000 | #Constraints: 40378
2081.15/2087.77 c #Conflicts: 1231000 | #Constraints: 41378
2081.15/2087.77 c #Conflicts: 1232000 | #Constraints: 42378
2081.15/2087.77 c #Conflicts: 1233000 | #Constraints: 43378
2081.15/2087.77 c #Conflicts: 1234000 | #Constraints: 44378
2081.15/2087.77 c INPROCESSING
2081.15/2087.77 c GARBAGE COLLECT
2081.15/2087.77 c #Conflicts: 1235000 | #Constraints: 23376
2081.15/2087.77 c #Conflicts: 1236000 | #Constraints: 24376
2081.15/2087.77 c #Conflicts: 1237000 | #Constraints: 25376
2081.15/2087.77 c #Conflicts: 1238000 | #Constraints: 26376
2081.15/2087.77 c #Conflicts: 1239000 | #Constraints: 27376
2081.15/2087.77 c #Conflicts: 1240000 | #Constraints: 28376
2081.15/2087.78 c #Conflicts: 1241000 | #Constraints: 29376
2081.15/2087.78 c #Conflicts: 1242000 | #Constraints: 30376
2081.15/2087.78 c #Conflicts: 1243000 | #Constraints: 31376
2081.15/2087.78 c #Conflicts: 1244000 | #Constraints: 32376
2081.15/2087.78 c #Conflicts: 1245000 | #Constraints: 33376
2081.15/2087.78 c #Conflicts: 1246000 | #Constraints: 34376
2081.15/2087.78 c #Conflicts: 1247000 | #Constraints: 35376
2081.15/2087.78 c #Conflicts: 1248000 | #Constraints: 36376
2081.15/2087.78 c #Conflicts: 1249000 | #Constraints: 37376
2081.15/2087.78 c #Conflicts: 1250000 | #Constraints: 38376
2081.15/2087.78 c #Conflicts: 1251000 | #Constraints: 39376
2081.15/2087.78 c #Conflicts: 1252000 | #Constraints: 40376
2081.15/2087.78 c #Conflicts: 1253000 | #Constraints: 41376
2081.15/2087.78 c #Conflicts: 1254000 | #Constraints: 42376
2081.15/2087.78 c #Conflicts: 1255000 | #Constraints: 43376
2081.15/2087.78 c #Conflicts: 1256000 | #Constraints: 44376
2081.15/2087.78 c INPROCESSING
2081.15/2087.78 c GARBAGE COLLECT
2081.15/2087.78 c #Conflicts: 1257000 | #Constraints: 23173
2081.15/2087.78 c #Conflicts: 1258000 | #Constraints: 24173
2081.15/2087.78 c #Conflicts: 1259000 | #Constraints: 25173
2269.92/2277.10 c #Conflicts: 1260000 | #Constraints: 26173
2269.92/2277.10 c #Conflicts: 1261000 | #Constraints: 27173
2269.92/2277.10 c #Conflicts: 1262000 | #Constraints: 28173
2269.92/2277.10 c #Conflicts: 1263000 | #Constraints: 29173
2269.92/2277.10 c #Conflicts: 1264000 | #Constraints: 30173
2269.92/2277.10 c #Conflicts: 1265000 | #Constraints: 31173
2269.92/2277.10 c #Conflicts: 1266000 | #Constraints: 32173
2269.92/2277.10 c #Conflicts: 1267000 | #Constraints: 33173
2269.92/2277.10 c #Conflicts: 1268000 | #Constraints: 34173
2269.92/2277.10 c #Conflicts: 1269000 | #Constraints: 35173
2269.92/2277.10 c #Conflicts: 1270000 | #Constraints: 36173
2269.92/2277.10 c #Conflicts: 1271000 | #Constraints: 37173
2269.92/2277.10 c #Conflicts: 1272000 | #Constraints: 38173
2269.92/2277.10 c #Conflicts: 1273000 | #Constraints: 39173
2269.92/2277.10 c #Conflicts: 1274000 | #Constraints: 40173
2269.92/2277.10 c #Conflicts: 1275000 | #Constraints: 41173
2269.92/2277.10 c #Conflicts: 1276000 | #Constraints: 42173
2269.92/2277.10 c #Conflicts: 1277000 | #Constraints: 43173
2269.92/2277.10 c #Conflicts: 1278000 | #Constraints: 44173
2269.92/2277.10 c #Conflicts: 1279000 | #Constraints: 45173
2269.92/2277.10 c INPROCESSING
2269.92/2277.10 c GARBAGE COLLECT
2269.92/2277.10 c #Conflicts: 1280000 | #Constraints: 23774
2269.92/2277.10 c #Conflicts: 1281000 | #Constraints: 24774
2269.92/2277.10 c #Conflicts: 1282000 | #Constraints: 25774
2269.92/2277.10 c #Conflicts: 1283000 | #Constraints: 26774
2269.92/2277.10 c #Conflicts: 1284000 | #Constraints: 27774
2269.92/2277.10 c #Conflicts: 1285000 | #Constraints: 28774
2269.92/2277.10 c #Conflicts: 1286000 | #Constraints: 29774
2269.92/2277.10 c #Conflicts: 1287000 | #Constraints: 30774
2269.92/2277.10 c #Conflicts: 1288000 | #Constraints: 31774
2269.92/2277.10 c #Conflicts: 1289000 | #Constraints: 32774
2269.92/2277.10 c #Conflicts: 1290000 | #Constraints: 33774
2269.92/2277.10 c #Conflicts: 1291000 | #Constraints: 34774
2269.92/2277.10 c #Conflicts: 1292000 | #Constraints: 35774
2269.92/2277.10 c #Conflicts: 1293000 | #Constraints: 36774
2269.92/2277.10 c #Conflicts: 1294000 | #Constraints: 37774
2269.92/2277.10 c #Conflicts: 1295000 | #Constraints: 38774
2269.92/2277.10 c #Conflicts: 1296000 | #Constraints: 39774
2269.92/2277.10 c #Conflicts: 1297000 | #Constraints: 40774
2269.92/2277.10 c #Conflicts: 1298000 | #Constraints: 41774
2269.92/2277.10 c #Conflicts: 1299000 | #Constraints: 42774
2269.92/2277.10 c #Conflicts: 1300000 | #Constraints: 43774
2269.92/2277.10 c #Conflicts: 1301000 | #Constraints: 44774
2269.92/2277.10 c #Conflicts: 1302000 | #Constraints: 45774
2269.92/2277.10 c INPROCESSING
2269.92/2277.10 c GARBAGE COLLECT
2269.92/2277.10 c #Conflicts: 1303000 | #Constraints: 24184
2269.92/2277.10 c #Conflicts: 1304000 | #Constraints: 25184
2269.92/2277.10 c #Conflicts: 1305000 | #Constraints: 26184
2269.92/2277.10 c #Conflicts: 1306000 | #Constraints: 27184
2269.92/2277.10 c #Conflicts: 1307000 | #Constraints: 28184
2269.92/2277.10 c #Conflicts: 1308000 | #Constraints: 29184
2269.92/2277.10 c #Conflicts: 1309000 | #Constraints: 30184
2269.92/2277.10 c #Conflicts: 1310000 | #Constraints: 31184
2269.92/2277.10 c #Conflicts: 1311000 | #Constraints: 32184
2269.92/2277.10 c #Conflicts: 1312000 | #Constraints: 33184
2269.92/2277.10 c #Conflicts: 1313000 | #Constraints: 34184
2269.92/2277.10 c #Conflicts: 1314000 | #Constraints: 35184
2269.92/2277.10 c #Conflicts: 1315000 | #Constraints: 36184
2269.92/2277.10 c #Conflicts: 1316000 | #Constraints: 37184
2269.92/2277.10 c #Conflicts: 1317000 | #Constraints: 38184
2269.92/2277.10 c #Conflicts: 1318000 | #Constraints: 39184
2269.92/2277.10 c #Conflicts: 1319000 | #Constraints: 40184
2269.92/2277.10 c #Conflicts: 1320000 | #Constraints: 41184
2269.92/2277.10 c #Conflicts: 1321000 | #Constraints: 42184
2269.92/2277.10 c #Conflicts: 1322000 | #Constraints: 43184
2269.92/2277.10 c #Conflicts: 1323000 | #Constraints: 44184
2269.92/2277.10 c #Conflicts: 1324000 | #Constraints: 45184
2269.92/2277.10 c #Conflicts: 1325000 | #Constraints: 46184
2269.92/2277.10 c INPROCESSING
2269.92/2277.10 c GARBAGE COLLECT
2269.92/2277.10 c #Conflicts: 1326000 | #Constraints: 24377
2269.92/2277.10 c #Conflicts: 1327000 | #Constraints: 25377
2269.92/2277.10 c #Conflicts: 1328000 | #Constraints: 26377
2269.92/2277.10 c #Conflicts: 1329000 | #Constraints: 27377
2269.92/2277.10 c #Conflicts: 1330000 | #Constraints: 28377
2269.92/2277.10 c #Conflicts: 1331000 | #Constraints: 29377
2269.92/2277.10 c #Conflicts: 1332000 | #Constraints: 30377
2269.92/2277.10 c #Conflicts: 1333000 | #Constraints: 31377
2269.92/2277.10 c #Conflicts: 1334000 | #Constraints: 32377
2269.92/2277.10 c #Conflicts: 1335000 | #Constraints: 33377
2269.92/2277.10 c #Conflicts: 1336000 | #Constraints: 34377
2371.00/2378.40 c #Conflicts: 1337000 | #Constraints: 35377
2371.00/2378.40 c #Conflicts: 1338000 | #Constraints: 36377
2371.00/2378.40 c #Conflicts: 1339000 | #Constraints: 37377
2371.00/2378.40 c #Conflicts: 1340000 | #Constraints: 38377
2371.00/2378.40 c #Conflicts: 1341000 | #Constraints: 39377
2371.00/2378.40 c #Conflicts: 1342000 | #Constraints: 40377
2371.00/2378.40 c #Conflicts: 1343000 | #Constraints: 41377
2371.00/2378.40 c #Conflicts: 1344000 | #Constraints: 42377
2371.00/2378.40 c #Conflicts: 1345000 | #Constraints: 43377
2371.00/2378.40 c #Conflicts: 1346000 | #Constraints: 44377
2371.00/2378.40 c #Conflicts: 1347000 | #Constraints: 45377
2371.00/2378.40 c #Conflicts: 1348000 | #Constraints: 46377
2371.00/2378.40 c INPROCESSING
2371.00/2378.40 c GARBAGE COLLECT
2371.00/2378.40 c #Conflicts: 1349000 | #Constraints: 24380
2371.00/2378.40 c #Conflicts: 1350000 | #Constraints: 25380
2371.00/2378.40 c #Conflicts: 1351000 | #Constraints: 26380
2371.00/2378.40 c #Conflicts: 1352000 | #Constraints: 27380
2371.00/2378.40 c #Conflicts: 1353000 | #Constraints: 28380
2371.00/2378.40 c #Conflicts: 1354000 | #Constraints: 29380
2371.00/2378.40 c #Conflicts: 1355000 | #Constraints: 30380
2371.00/2378.40 c #Conflicts: 1356000 | #Constraints: 31380
2371.00/2378.40 c #Conflicts: 1357000 | #Constraints: 32380
2371.00/2378.40 c #Conflicts: 1358000 | #Constraints: 33380
2371.00/2378.40 c #Conflicts: 1359000 | #Constraints: 34380
2371.00/2378.40 c #Conflicts: 1360000 | #Constraints: 35380
2371.00/2378.40 c #Conflicts: 1361000 | #Constraints: 36380
2371.00/2378.40 c #Conflicts: 1362000 | #Constraints: 37380
2371.00/2378.40 c #Conflicts: 1363000 | #Constraints: 38380
2371.00/2378.40 c #Conflicts: 1364000 | #Constraints: 39380
2371.00/2378.40 c #Conflicts: 1365000 | #Constraints: 40380
2371.00/2378.40 c #Conflicts: 1366000 | #Constraints: 41380
2371.00/2378.40 c #Conflicts: 1367000 | #Constraints: 42380
2371.00/2378.40 c #Conflicts: 1368000 | #Constraints: 43380
2371.00/2378.40 c #Conflicts: 1369000 | #Constraints: 44380
2371.00/2378.40 c #Conflicts: 1370000 | #Constraints: 45380
2371.00/2378.40 c GLOBAL bounds - >= 0 @ 2362.73
2577.83/2586.01 c #Conflicts: 1371000 | #Constraints: 46382
2577.83/2586.01 c INPROCESSING
2577.83/2586.01 c GARBAGE COLLECT
2577.83/2586.01 c #Conflicts: 1372000 | #Constraints: 24182
2577.83/2586.01 c #Conflicts: 1373000 | #Constraints: 25182
2577.83/2586.01 c #Conflicts: 1374000 | #Constraints: 26182
2577.83/2586.01 c #Conflicts: 1375000 | #Constraints: 27182
2577.83/2586.01 c #Conflicts: 1376000 | #Constraints: 28182
2577.83/2586.01 c #Conflicts: 1377000 | #Constraints: 29182
2577.83/2586.01 c #Conflicts: 1378000 | #Constraints: 30182
2577.83/2586.01 c #Conflicts: 1379000 | #Constraints: 31182
2577.83/2586.01 c #Conflicts: 1380000 | #Constraints: 32182
2577.83/2586.01 c #Conflicts: 1381000 | #Constraints: 33182
2577.83/2586.01 c #Conflicts: 1382000 | #Constraints: 34182
2577.83/2586.01 c #Conflicts: 1383000 | #Constraints: 35182
2577.83/2586.01 c #Conflicts: 1384000 | #Constraints: 36182
2577.83/2586.01 c #Conflicts: 1385000 | #Constraints: 37182
2577.83/2586.01 c #Conflicts: 1386000 | #Constraints: 38182
2577.83/2586.01 c #Conflicts: 1387000 | #Constraints: 39182
2577.83/2586.01 c #Conflicts: 1388000 | #Constraints: 40182
2577.83/2586.01 c #Conflicts: 1389000 | #Constraints: 41182
2577.83/2586.01 c #Conflicts: 1390000 | #Constraints: 42182
2577.83/2586.01 c #Conflicts: 1391000 | #Constraints: 43182
2577.83/2586.01 c #Conflicts: 1392000 | #Constraints: 44182
2577.83/2586.01 c #Conflicts: 1393000 | #Constraints: 45182
2577.83/2586.01 c #Conflicts: 1394000 | #Constraints: 46182
2577.83/2586.01 c #Conflicts: 1395000 | #Constraints: 47182
2577.83/2586.01 c INPROCESSING
2577.83/2586.01 c GARBAGE COLLECT
2577.83/2586.01 c #Conflicts: 1396000 | #Constraints: 24781
2577.83/2586.01 c #Conflicts: 1397000 | #Constraints: 25781
2577.83/2586.01 c #Conflicts: 1398000 | #Constraints: 26781
2577.83/2586.01 c #Conflicts: 1399000 | #Constraints: 27781
2577.83/2586.01 c #Conflicts: 1400000 | #Constraints: 28781
2577.83/2586.01 c #Conflicts: 1401000 | #Constraints: 29781
2577.83/2586.01 c #Conflicts: 1402000 | #Constraints: 30781
2577.83/2586.01 c #Conflicts: 1403000 | #Constraints: 31781
2577.83/2586.01 c #Conflicts: 1404000 | #Constraints: 32781
2577.83/2586.01 c #Conflicts: 1405000 | #Constraints: 33781
2577.83/2586.01 c #Conflicts: 1406000 | #Constraints: 34781
2577.83/2586.01 c #Conflicts: 1407000 | #Constraints: 35781
2577.83/2586.01 c #Conflicts: 1408000 | #Constraints: 36781
2577.83/2586.01 c #Conflicts: 1409000 | #Constraints: 37781
2577.83/2586.01 c #Conflicts: 1410000 | #Constraints: 38781
2577.83/2586.01 c #Conflicts: 1411000 | #Constraints: 39781
2577.83/2586.01 c #Conflicts: 1412000 | #Constraints: 40781
2577.83/2586.01 c #Conflicts: 1413000 | #Constraints: 41781
2577.83/2586.01 c #Conflicts: 1414000 | #Constraints: 42781
2577.83/2586.01 c #Conflicts: 1415000 | #Constraints: 43781
2577.83/2586.01 c #Conflicts: 1416000 | #Constraints: 44781
2577.83/2586.01 c #Conflicts: 1417000 | #Constraints: 45781
2577.83/2586.01 c #Conflicts: 1418000 | #Constraints: 46781
2577.83/2586.01 c #Conflicts: 1419000 | #Constraints: 47781
2577.83/2586.01 c INPROCESSING
2577.83/2586.01 c GARBAGE COLLECT
2577.83/2586.01 c #Conflicts: 1420000 | #Constraints: 25174
2577.83/2586.01 c #Conflicts: 1421000 | #Constraints: 26174
2577.83/2586.01 c #Conflicts: 1422000 | #Constraints: 27174
2577.83/2586.01 c #Conflicts: 1423000 | #Constraints: 28174
2577.83/2586.01 c #Conflicts: 1424000 | #Constraints: 29174
2577.83/2586.01 c #Conflicts: 1425000 | #Constraints: 30174
2577.83/2586.01 c #Conflicts: 1426000 | #Constraints: 31174
2577.83/2586.01 c #Conflicts: 1427000 | #Constraints: 32174
2577.83/2586.01 c #Conflicts: 1428000 | #Constraints: 33174
2577.83/2586.01 c #Conflicts: 1429000 | #Constraints: 34174
2577.83/2586.01 c #Conflicts: 1430000 | #Constraints: 35174
2577.83/2586.01 c #Conflicts: 1431000 | #Constraints: 36174
2577.83/2586.01 c #Conflicts: 1432000 | #Constraints: 37174
2577.83/2586.01 c #Conflicts: 1433000 | #Constraints: 38174
2577.83/2586.01 c #Conflicts: 1434000 | #Constraints: 39174
2577.83/2586.01 c #Conflicts: 1435000 | #Constraints: 40174
2577.83/2586.01 c #Conflicts: 1436000 | #Constraints: 41174
2577.83/2586.01 c #Conflicts: 1437000 | #Constraints: 42174
2577.83/2586.01 c #Conflicts: 1438000 | #Constraints: 43174
2577.83/2586.01 c #Conflicts: 1439000 | #Constraints: 44174
2577.83/2586.01 c #Conflicts: 1440000 | #Constraints: 45174
2577.83/2586.01 c #Conflicts: 1441000 | #Constraints: 46174
2577.83/2586.01 c #Conflicts: 1442000 | #Constraints: 47174
2577.83/2586.01 c #Conflicts: 1443000 | #Constraints: 48174
2577.83/2586.01 c INPROCESSING
2577.83/2586.01 c GARBAGE COLLECT
2577.83/2586.01 c #Conflicts: 1444000 | #Constraints: 25366
2577.83/2586.01 c #Conflicts: 1445000 | #Constraints: 26366
2577.83/2586.01 c #Conflicts: 1446000 | #Constraints: 27366
2577.83/2586.01 c #Conflicts: 1447000 | #Constraints: 28366
2819.06/2827.91 c #Conflicts: 1448000 | #Constraints: 29366
2819.06/2827.91 c #Conflicts: 1449000 | #Constraints: 30366
2819.06/2827.91 c #Conflicts: 1450000 | #Constraints: 31366
2819.06/2827.91 c #Conflicts: 1451000 | #Constraints: 32366
2819.06/2827.91 c #Conflicts: 1452000 | #Constraints: 33366
2819.06/2827.91 c #Conflicts: 1453000 | #Constraints: 34366
2819.06/2827.91 c #Conflicts: 1454000 | #Constraints: 35366
2819.06/2827.91 c #Conflicts: 1455000 | #Constraints: 36366
2819.06/2827.91 c #Conflicts: 1456000 | #Constraints: 37366
2819.06/2827.91 c #Conflicts: 1457000 | #Constraints: 38366
2819.06/2827.91 c #Conflicts: 1458000 | #Constraints: 39366
2819.06/2827.91 c #Conflicts: 1459000 | #Constraints: 40366
2819.06/2827.91 c #Conflicts: 1460000 | #Constraints: 41366
2819.06/2827.91 c #Conflicts: 1461000 | #Constraints: 42366
2819.06/2827.91 c #Conflicts: 1462000 | #Constraints: 43366
2819.06/2827.91 c #Conflicts: 1463000 | #Constraints: 44366
2819.06/2827.91 c #Conflicts: 1464000 | #Constraints: 45366
2819.06/2827.91 c #Conflicts: 1465000 | #Constraints: 46366
2819.06/2827.91 c #Conflicts: 1466000 | #Constraints: 47366
2819.06/2827.91 c #Conflicts: 1467000 | #Constraints: 48366
2819.06/2827.91 c INPROCESSING
2819.06/2827.91 c GARBAGE COLLECT
2819.06/2827.91 c #Conflicts: 1468000 | #Constraints: 25364
2819.06/2827.91 c #Conflicts: 1469000 | #Constraints: 26364
2819.06/2827.91 c #Conflicts: 1470000 | #Constraints: 27364
2819.06/2827.91 c #Conflicts: 1471000 | #Constraints: 28364
2819.06/2827.91 c #Conflicts: 1472000 | #Constraints: 29364
2819.06/2827.91 c #Conflicts: 1473000 | #Constraints: 30364
2819.06/2827.91 c #Conflicts: 1474000 | #Constraints: 31364
2819.06/2827.91 c #Conflicts: 1475000 | #Constraints: 32364
2819.06/2827.91 c #Conflicts: 1476000 | #Constraints: 33364
2819.06/2827.91 c #Conflicts: 1477000 | #Constraints: 34364
2819.06/2827.91 c #Conflicts: 1478000 | #Constraints: 35364
2819.06/2827.91 c #Conflicts: 1479000 | #Constraints: 36364
2819.06/2827.91 c #Conflicts: 1480000 | #Constraints: 37364
2819.06/2827.91 c #Conflicts: 1481000 | #Constraints: 38364
2819.06/2827.91 c #Conflicts: 1482000 | #Constraints: 39364
2819.06/2827.91 c #Conflicts: 1483000 | #Constraints: 40364
2819.06/2827.91 c #Conflicts: 1484000 | #Constraints: 41364
2819.06/2827.91 c #Conflicts: 1485000 | #Constraints: 42364
2819.06/2827.91 c #Conflicts: 1486000 | #Constraints: 43364
2819.06/2827.91 c #Conflicts: 1487000 | #Constraints: 44364
2819.06/2827.91 c #Conflicts: 1488000 | #Constraints: 45364
2819.06/2827.91 c #Conflicts: 1489000 | #Constraints: 46364
2819.06/2827.91 c #Conflicts: 1490000 | #Constraints: 47364
2819.06/2827.91 c #Conflicts: 1491000 | #Constraints: 48364
2819.06/2827.91 c INPROCESSING
2819.06/2827.91 c GARBAGE COLLECT
2819.06/2827.91 c #Conflicts: 1492000 | #Constraints: 25165
2819.06/2827.91 c #Conflicts: 1493000 | #Constraints: 26165
2819.06/2827.91 c #Conflicts: 1494000 | #Constraints: 27165
2819.06/2827.91 c #Conflicts: 1495000 | #Constraints: 28165
2819.06/2827.91 c #Conflicts: 1496000 | #Constraints: 29165
2819.06/2827.91 c #Conflicts: 1497000 | #Constraints: 30165
2819.06/2827.91 c #Conflicts: 1498000 | #Constraints: 31165
2819.06/2827.91 c #Conflicts: 1499000 | #Constraints: 32165
2819.06/2827.91 c #Conflicts: 1500000 | #Constraints: 33165
2819.06/2827.91 c #Conflicts: 1501000 | #Constraints: 34165
2819.06/2827.91 c #Conflicts: 1502000 | #Constraints: 35165
2819.06/2827.91 c #Conflicts: 1503000 | #Constraints: 36165
2819.06/2827.91 c #Conflicts: 1504000 | #Constraints: 37165
2819.06/2827.91 c #Conflicts: 1505000 | #Constraints: 38165
2819.06/2827.91 c #Conflicts: 1506000 | #Constraints: 39165
2819.06/2827.91 c #Conflicts: 1507000 | #Constraints: 40165
2819.06/2827.91 c #Conflicts: 1508000 | #Constraints: 41165
2819.06/2827.91 c #Conflicts: 1509000 | #Constraints: 42165
2819.06/2827.91 c #Conflicts: 1510000 | #Constraints: 43165
2819.06/2827.91 c #Conflicts: 1511000 | #Constraints: 44165
2819.06/2827.91 c #Conflicts: 1512000 | #Constraints: 45165
2819.06/2827.91 c #Conflicts: 1513000 | #Constraints: 46165
2819.06/2827.91 c #Conflicts: 1514000 | #Constraints: 47165
2819.06/2827.91 c #Conflicts: 1515000 | #Constraints: 48165
2819.06/2827.91 c #Conflicts: 1516000 | #Constraints: 49165
2819.06/2827.91 c INPROCESSING
2819.06/2827.91 c GARBAGE COLLECT
2819.06/2827.91 c #Conflicts: 1517000 | #Constraints: 25770
2819.06/2827.91 c #Conflicts: 1518000 | #Constraints: 26770
2819.06/2827.91 c #Conflicts: 1519000 | #Constraints: 27770
2819.06/2827.91 c #Conflicts: 1520000 | #Constraints: 28770
2819.06/2827.91 c #Conflicts: 1521000 | #Constraints: 29770
2819.06/2827.91 c #Conflicts: 1522000 | #Constraints: 30770
2819.06/2827.91 c #Conflicts: 1523000 | #Constraints: 31770
2819.06/2827.91 c #Conflicts: 1524000 | #Constraints: 32770
2913.15/2922.35 c #Conflicts: 1525000 | #Constraints: 33770
2913.15/2922.35 c #Conflicts: 1526000 | #Constraints: 34770
2913.15/2922.35 c #Conflicts: 1527000 | #Constraints: 35770
2913.15/2922.35 c #Conflicts: 1528000 | #Constraints: 36770
2913.15/2922.35 c #Conflicts: 1529000 | #Constraints: 37770
2913.15/2922.35 c #Conflicts: 1530000 | #Constraints: 38770
2913.15/2922.35 c #Conflicts: 1531000 | #Constraints: 39770
2913.15/2922.35 c #Conflicts: 1532000 | #Constraints: 40770
2913.15/2922.35 c #Conflicts: 1533000 | #Constraints: 41770
2913.15/2922.35 c #Conflicts: 1534000 | #Constraints: 42770
2913.15/2922.35 c #Conflicts: 1535000 | #Constraints: 43770
2913.15/2922.35 c #Conflicts: 1536000 | #Constraints: 44770
2913.15/2922.35 c #Conflicts: 1537000 | #Constraints: 45770
2913.15/2922.35 c #Conflicts: 1538000 | #Constraints: 46770
2913.15/2922.35 c #Conflicts: 1539000 | #Constraints: 47770
2913.15/2922.35 c #Conflicts: 1540000 | #Constraints: 48770
2913.15/2922.35 c #Conflicts: 1541000 | #Constraints: 49770
2913.15/2922.35 c INPROCESSING
2913.15/2922.35 c GARBAGE COLLECT
2913.15/2922.35 c #Conflicts: 1542000 | #Constraints: 26171
2913.15/2922.35 c #Conflicts: 1543000 | #Constraints: 27171
2913.15/2922.35 c #Conflicts: 1544000 | #Constraints: 28171
2913.15/2922.35 c #Conflicts: 1545000 | #Constraints: 29171
2913.15/2922.35 c #Conflicts: 1546000 | #Constraints: 30171
2913.15/2922.35 c #Conflicts: 1547000 | #Constraints: 31171
2913.15/2922.35 c #Conflicts: 1548000 | #Constraints: 32171
2913.15/2922.35 c #Conflicts: 1549000 | #Constraints: 33171
2913.15/2922.35 c #Conflicts: 1550000 | #Constraints: 34171
2913.15/2922.35 c GLOBAL bounds - >= 0 @ 2903.64
3166.29/3176.35 c #Conflicts: 1551000 | #Constraints: 35173
3166.29/3176.35 c #Conflicts: 1552000 | #Constraints: 36173
3166.29/3176.35 c #Conflicts: 1553000 | #Constraints: 37173
3166.29/3176.35 c #Conflicts: 1554000 | #Constraints: 38173
3166.29/3176.35 c #Conflicts: 1555000 | #Constraints: 39173
3166.29/3176.35 c #Conflicts: 1556000 | #Constraints: 40173
3166.29/3176.35 c #Conflicts: 1557000 | #Constraints: 41173
3166.29/3176.35 c #Conflicts: 1558000 | #Constraints: 42173
3166.29/3176.35 c #Conflicts: 1559000 | #Constraints: 43173
3166.29/3176.35 c #Conflicts: 1560000 | #Constraints: 44173
3166.29/3176.35 c #Conflicts: 1561000 | #Constraints: 45173
3166.29/3176.35 c #Conflicts: 1562000 | #Constraints: 46173
3166.29/3176.35 c #Conflicts: 1563000 | #Constraints: 47173
3166.29/3176.35 c #Conflicts: 1564000 | #Constraints: 48173
3166.29/3176.35 c #Conflicts: 1565000 | #Constraints: 49173
3166.29/3176.35 c #Conflicts: 1566000 | #Constraints: 50173
3166.29/3176.35 c INPROCESSING
3166.29/3176.35 c GARBAGE COLLECT
3166.29/3176.35 c #Conflicts: 1567000 | #Constraints: 26367
3166.29/3176.35 c #Conflicts: 1568000 | #Constraints: 27367
3166.29/3176.35 c #Conflicts: 1569000 | #Constraints: 28367
3166.29/3176.35 c #Conflicts: 1570000 | #Constraints: 29367
3166.29/3176.35 c #Conflicts: 1571000 | #Constraints: 30367
3166.29/3176.35 c #Conflicts: 1572000 | #Constraints: 31367
3166.29/3176.35 c #Conflicts: 1573000 | #Constraints: 32367
3166.29/3176.35 c #Conflicts: 1574000 | #Constraints: 33367
3166.29/3176.35 c #Conflicts: 1575000 | #Constraints: 34367
3166.29/3176.35 c #Conflicts: 1576000 | #Constraints: 35367
3166.29/3176.35 c #Conflicts: 1577000 | #Constraints: 36367
3166.29/3176.35 c #Conflicts: 1578000 | #Constraints: 37367
3166.29/3176.35 c #Conflicts: 1579000 | #Constraints: 38367
3166.29/3176.35 c #Conflicts: 1580000 | #Constraints: 39367
3166.29/3176.35 c #Conflicts: 1581000 | #Constraints: 40367
3166.29/3176.35 c #Conflicts: 1582000 | #Constraints: 41367
3166.29/3176.35 c #Conflicts: 1583000 | #Constraints: 42367
3166.29/3176.35 c #Conflicts: 1584000 | #Constraints: 43367
3166.29/3176.35 c #Conflicts: 1585000 | #Constraints: 44367
3166.29/3176.35 c #Conflicts: 1586000 | #Constraints: 45367
3166.29/3176.35 c #Conflicts: 1587000 | #Constraints: 46367
3166.29/3176.35 c #Conflicts: 1588000 | #Constraints: 47367
3166.29/3176.35 c #Conflicts: 1589000 | #Constraints: 48367
3166.29/3176.35 c #Conflicts: 1590000 | #Constraints: 49367
3166.29/3176.35 c #Conflicts: 1591000 | #Constraints: 50367
3166.29/3176.35 c INPROCESSING
3166.29/3176.35 c GARBAGE COLLECT
3166.29/3176.35 c #Conflicts: 1592000 | #Constraints: 26372
3166.29/3176.35 c #Conflicts: 1593000 | #Constraints: 27372
3166.29/3176.35 c #Conflicts: 1594000 | #Constraints: 28372
3166.29/3176.35 c #Conflicts: 1595000 | #Constraints: 29372
3166.29/3176.35 c #Conflicts: 1596000 | #Constraints: 30372
3166.29/3176.35 c #Conflicts: 1597000 | #Constraints: 31372
3166.29/3176.35 c #Conflicts: 1598000 | #Constraints: 32372
3166.29/3176.35 c #Conflicts: 1599000 | #Constraints: 33372
3166.29/3176.35 c #Conflicts: 1600000 | #Constraints: 34372
3166.29/3176.35 c #Conflicts: 1601000 | #Constraints: 35372
3166.29/3176.35 c #Conflicts: 1602000 | #Constraints: 36372
3166.29/3176.35 c #Conflicts: 1603000 | #Constraints: 37372
3166.29/3176.35 c #Conflicts: 1604000 | #Constraints: 38372
3166.29/3176.35 c #Conflicts: 1605000 | #Constraints: 39372
3166.29/3176.35 c #Conflicts: 1606000 | #Constraints: 40372
3166.29/3176.35 c #Conflicts: 1607000 | #Constraints: 41372
3166.29/3176.35 c #Conflicts: 1608000 | #Constraints: 42372
3166.29/3176.35 c #Conflicts: 1609000 | #Constraints: 43372
3166.29/3176.35 c #Conflicts: 1610000 | #Constraints: 44372
3166.29/3176.35 c #Conflicts: 1611000 | #Constraints: 45372
3166.29/3176.35 c #Conflicts: 1612000 | #Constraints: 46372
3166.29/3176.35 c #Conflicts: 1613000 | #Constraints: 47372
3166.29/3176.35 c #Conflicts: 1614000 | #Constraints: 48372
3166.29/3176.35 c #Conflicts: 1615000 | #Constraints: 49372
3166.29/3176.35 c #Conflicts: 1616000 | #Constraints: 50372
3166.29/3176.35 c INPROCESSING
3166.29/3176.35 c GARBAGE COLLECT
3166.29/3176.35 c #Conflicts: 1617000 | #Constraints: 26170
3166.29/3176.35 c #Conflicts: 1618000 | #Constraints: 27170
3166.29/3176.35 c #Conflicts: 1619000 | #Constraints: 28170
3166.29/3176.35 c #Conflicts: 1620000 | #Constraints: 29170
3166.29/3176.35 c #Conflicts: 1621000 | #Constraints: 30170
3166.29/3176.35 c #Conflicts: 1622000 | #Constraints: 31170
3166.29/3176.35 c #Conflicts: 1623000 | #Constraints: 32170
3166.29/3176.35 c #Conflicts: 1624000 | #Constraints: 33170
3166.29/3176.35 c #Conflicts: 1625000 | #Constraints: 34170
3166.29/3176.35 c #Conflicts: 1626000 | #Constraints: 35170
3166.29/3176.35 c #Conflicts: 1627000 | #Constraints: 36170
3437.59/3448.65 c #Conflicts: 1628000 | #Constraints: 37170
3437.59/3448.65 c #Conflicts: 1629000 | #Constraints: 38170
3437.59/3448.65 c #Conflicts: 1630000 | #Constraints: 39170
3437.59/3448.65 c #Conflicts: 1631000 | #Constraints: 40170
3437.59/3448.65 c #Conflicts: 1632000 | #Constraints: 41170
3437.59/3448.65 c #Conflicts: 1633000 | #Constraints: 42170
3437.59/3448.65 c #Conflicts: 1634000 | #Constraints: 43170
3437.59/3448.65 c #Conflicts: 1635000 | #Constraints: 44170
3437.59/3448.65 c #Conflicts: 1636000 | #Constraints: 45170
3437.59/3448.65 c #Conflicts: 1637000 | #Constraints: 46170
3437.59/3448.65 c #Conflicts: 1638000 | #Constraints: 47170
3437.59/3448.65 c #Conflicts: 1639000 | #Constraints: 48170
3437.59/3448.65 c #Conflicts: 1640000 | #Constraints: 49170
3437.59/3448.65 c #Conflicts: 1641000 | #Constraints: 50170
3437.59/3448.65 c #Conflicts: 1642000 | #Constraints: 51170
3437.59/3448.65 c INPROCESSING
3437.59/3448.65 c GARBAGE COLLECT
3437.59/3448.65 c #Conflicts: 1643000 | #Constraints: 26774
3437.59/3448.65 c #Conflicts: 1644000 | #Constraints: 27774
3437.59/3448.65 c #Conflicts: 1645000 | #Constraints: 28774
3437.59/3448.65 c #Conflicts: 1646000 | #Constraints: 29774
3437.59/3448.65 c #Conflicts: 1647000 | #Constraints: 30774
3437.59/3448.65 c #Conflicts: 1648000 | #Constraints: 31774
3437.59/3448.65 c #Conflicts: 1649000 | #Constraints: 32774
3437.59/3448.65 c #Conflicts: 1650000 | #Constraints: 33774
3437.59/3448.65 c #Conflicts: 1651000 | #Constraints: 34774
3437.59/3448.65 c #Conflicts: 1652000 | #Constraints: 35774
3437.59/3448.65 c #Conflicts: 1653000 | #Constraints: 36774
3437.59/3448.65 c #Conflicts: 1654000 | #Constraints: 37774
3437.59/3448.65 c #Conflicts: 1655000 | #Constraints: 38774
3437.59/3448.65 c #Conflicts: 1656000 | #Constraints: 39774
3437.59/3448.65 c #Conflicts: 1657000 | #Constraints: 40774
3437.59/3448.65 c #Conflicts: 1658000 | #Constraints: 41774
3437.59/3448.65 c #Conflicts: 1659000 | #Constraints: 42774
3437.59/3448.65 c #Conflicts: 1660000 | #Constraints: 43774
3437.59/3448.65 c #Conflicts: 1661000 | #Constraints: 44774
3437.59/3448.65 c #Conflicts: 1662000 | #Constraints: 45774
3437.59/3448.65 c #Conflicts: 1663000 | #Constraints: 46774
3437.59/3448.65 c #Conflicts: 1664000 | #Constraints: 47774
3437.59/3448.65 c #Conflicts: 1665000 | #Constraints: 48774
3437.59/3448.65 c #Conflicts: 1666000 | #Constraints: 49774
3437.59/3448.65 c #Conflicts: 1667000 | #Constraints: 50774
3437.59/3448.65 c #Conflicts: 1668000 | #Constraints: 51774
3437.59/3448.65 c INPROCESSING
3437.59/3448.65 c GARBAGE COLLECT
3437.59/3448.65 c #Conflicts: 1669000 | #Constraints: 27177
3437.59/3448.65 c #Conflicts: 1670000 | #Constraints: 28177
3437.59/3448.65 c #Conflicts: 1671000 | #Constraints: 29177
3437.59/3448.65 c #Conflicts: 1672000 | #Constraints: 30177
3437.59/3448.65 c #Conflicts: 1673000 | #Constraints: 31177
3437.59/3448.65 c #Conflicts: 1674000 | #Constraints: 32177
3437.59/3448.65 c #Conflicts: 1675000 | #Constraints: 33177
3437.59/3448.65 c #Conflicts: 1676000 | #Constraints: 34177
3437.59/3448.65 c #Conflicts: 1677000 | #Constraints: 35177
3437.59/3448.65 c #Conflicts: 1678000 | #Constraints: 36177
3437.59/3448.65 c #Conflicts: 1679000 | #Constraints: 37177
3437.59/3448.65 c #Conflicts: 1680000 | #Constraints: 38177
3437.59/3448.65 c #Conflicts: 1681000 | #Constraints: 39177
3437.59/3448.65 c #Conflicts: 1682000 | #Constraints: 40177
3437.59/3448.65 c #Conflicts: 1683000 | #Constraints: 41177
3437.59/3448.65 c #Conflicts: 1684000 | #Constraints: 42177
3437.59/3448.65 c #Conflicts: 1685000 | #Constraints: 43177
3437.59/3448.65 c #Conflicts: 1686000 | #Constraints: 44177
3437.59/3448.65 c #Conflicts: 1687000 | #Constraints: 45177
3437.59/3448.65 c #Conflicts: 1688000 | #Constraints: 46177
3437.59/3448.65 c #Conflicts: 1689000 | #Constraints: 47177
3437.59/3448.65 c #Conflicts: 1690000 | #Constraints: 48177
3437.59/3448.65 c #Conflicts: 1691000 | #Constraints: 49177
3437.59/3448.65 c #Conflicts: 1692000 | #Constraints: 50177
3437.59/3448.65 c #Conflicts: 1693000 | #Constraints: 51177
3437.59/3448.65 c #Conflicts: 1694000 | #Constraints: 52177
3437.59/3448.65 c INPROCESSING
3437.59/3448.65 c GARBAGE COLLECT
3437.59/3448.65 c #Conflicts: 1695000 | #Constraints: 27373
3437.59/3448.65 c #Conflicts: 1696000 | #Constraints: 28373
3437.59/3448.65 c #Conflicts: 1697000 | #Constraints: 29373
3437.59/3448.65 c #Conflicts: 1698000 | #Constraints: 30373
3437.59/3448.65 c #Conflicts: 1699000 | #Constraints: 31373
3437.59/3448.65 c #Conflicts: 1700000 | #Constraints: 32373
3437.59/3448.65 c #Conflicts: 1701000 | #Constraints: 33373
3437.59/3448.65 c #Conflicts: 1702000 | #Constraints: 34373
3437.59/3448.65 c #Conflicts: 1703000 | #Constraints: 35373
3437.59/3448.65 c #Conflicts: 1704000 | #Constraints: 36373
3600.08/3611.70 c #Conflicts: 1705000 | #Constraints: 37373
3600.08/3611.70 c #Conflicts: 1706000 | #Constraints: 38373
3600.08/3611.70 c #Conflicts: 1707000 | #Constraints: 39373
3600.08/3611.70 c #Conflicts: 1708000 | #Constraints: 40373
3600.08/3611.70 c #Conflicts: 1709000 | #Constraints: 41373
3600.08/3611.70 c #Conflicts: 1710000 | #Constraints: 42373
3600.08/3611.70 c #Conflicts: 1711000 | #Constraints: 43373
3600.08/3611.70 c #Conflicts: 1712000 | #Constraints: 44373
3600.08/3611.70 c #Conflicts: 1713000 | #Constraints: 45373
3600.08/3611.70 c #Conflicts: 1714000 | #Constraints: 46373
3600.08/3611.70 c #Conflicts: 1715000 | #Constraints: 47373
3600.08/3611.70 c #Conflicts: 1716000 | #Constraints: 48373
3600.08/3611.70 c #Conflicts: 1717000 | #Constraints: 49373
3600.08/3611.70 c #Conflicts: 1718000 | #Constraints: 50373
3600.08/3611.70 c #Conflicts: 1719000 | #Constraints: 51373
3600.08/3611.70 c #Conflicts: 1720000 | #Constraints: 52373
3600.08/3611.70 c INPROCESSING
3600.08/3611.70 c GARBAGE COLLECT
3600.08/3611.70 c #Conflicts: 1721000 | #Constraints: 27369
3600.08/3611.70 c #Conflicts: 1722000 | #Constraints: 28369
3600.08/3611.70 c #Conflicts: 1723000 | #Constraints: 29369
3600.08/3611.70 c #Conflicts: 1724000 | #Constraints: 30369
3600.08/3611.70 c #Conflicts: 1725000 | #Constraints: 31369
3600.08/3611.70 c #Conflicts: 1726000 | #Constraints: 32369
3600.08/3611.70 c #Conflicts: 1727000 | #Constraints: 33369
3600.08/3611.70 c #Conflicts: 1728000 | #Constraints: 34369
3600.08/3611.70 c #Conflicts: 1729000 | #Constraints: 35369
3600.08/3611.70 c #Conflicts: 1730000 | #Constraints: 36369
3600.08/3611.70 c #Conflicts: 1731000 | #Constraints: 37369
3600.08/3611.70 c #Conflicts: 1732000 | #Constraints: 38369
3600.08/3611.70 c #Conflicts: 1733000 | #Constraints: 39369
3600.08/3611.70 c #Conflicts: 1734000 | #Constraints: 40369
3600.08/3611.70 c #Conflicts: 1735000 | #Constraints: 41369
3600.08/3611.70 c #Conflicts: 1736000 | #Constraints: 42369
3600.08/3611.70 c #Conflicts: 1737000 | #Constraints: 43369
3600.08/3611.70 c #Conflicts: 1738000 | #Constraints: 44369
3600.08/3611.70 c #Conflicts: 1739000 | #Constraints: 45369
3600.08/3611.70 c #Conflicts: 1740000 | #Constraints: 46369
3600.08/3611.70 c #Conflicts: 1741000 | #Constraints: 47369
3600.08/3611.70 c #Conflicts: 1742000 | #Constraints: 48369
3600.08/3611.70 c #Conflicts: 1743000 | #Constraints: 49369
3600.08/3611.70 c #Conflicts: 1744000 | #Constraints: 50369
3600.08/3611.70 c #Conflicts: 1745000 | #Constraints: 51369
3600.08/3611.70 c cpu time 3589.12 s
3600.08/3611.70 c deterministic time 1 1.00e+00
3600.08/3611.70 c optimization time 3589.11 s
3600.08/3611.70 c total solve time 0 s
3600.08/3611.70 c core-guided solve time 0 s
3600.08/3611.70 c propagation time 0.000484 s
3600.08/3611.70 c conflict analysis time 0 s
3600.08/3611.70 c propagations 0
3600.08/3611.70 c resolve steps 0
3600.08/3611.70 c decisions 0
3600.08/3611.70 c conflicts 0
3600.08/3611.70 c restarts 0
3600.08/3611.70 c inprocessing phases 0
3600.08/3611.70 c garbage collections 0 ,( -nan )
3600.08/3611.70 c input clauses 0 ,( 0.00 )
3600.08/3611.70 c input cardinalities 0 ,( 0.00 )
3600.08/3611.70 c input general constraints 469 ,( 100.00 )
3600.08/3611.70 c input average constraint length 9.05
3600.08/3611.70 c input average constraint degree 28.79
3600.08/3611.70 c learned clauses 0 ,( 0.00 )
3600.08/3611.70 c learned cardinalities 0 ,( 0.00 )
3600.08/3611.70 c learned general constraints 0 ,( 0.00 )
3600.08/3611.70 c learned average constraint length 0.00
3600.08/3611.70 c learned average constraint degree 0.00
3600.08/3611.70 c watched CF 32, 64, 128, Arb: 6 , 0 , 0 , 0
3600.08/3611.70 c counting CF 32, 64, 128, Arb: 464 , 0 , 0 , 0
3600.08/3611.70 c watched constraints 6 ,( 1.28 )
3600.08/3611.70 c counting constraints 463 ,( 98.72 )
3600.08/3611.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.08/3611.70 c gcd simplifications 0
3600.08/3611.70 c detected cardinalities 0
3600.08/3611.70 c weakened non-implied lits 0
3600.08/3611.70 c weakened non-implying lits 0
3600.08/3611.70 c original variables 470
3600.08/3611.70 c clausal propagations 0
3600.08/3611.70 c cardinality propagations 0
3600.08/3611.70 c watched propagations 0
3600.08/3611.70 c counting propagations 0
3600.08/3611.70 c watch lookups 0
3600.08/3611.70 c watch backjump lookups 0
3600.08/3611.70 c watch checks 0
3600.08/3611.70 c propagation checks 0
3600.08/3611.70 c constraint additions 0
3600.08/3611.70 c trail pops 0
3600.08/3611.70 c formula constraints 469
3600.08/3611.70 c learned constraints 0
3600.08/3611.70 c bound constraints 0
3600.08/3611.70 c core-guided constraints 0
3600.08/3611.70 c encountered formula constraints 0
3600.08/3611.70 c encountered learned constraints 0
3600.08/3611.70 c encountered bound constraints 0
3600.08/3611.70 c encountered core-guided constraints 0
3600.08/3611.70 c LP total time 0 s
3600.08/3611.70 c LP solve time 0 s
3600.08/3611.70 c LP constraints added 0
3600.08/3611.70 c LP constraints removed 0
3600.08/3611.70 c LP pivots internal 0
3600.08/3611.70 c LP pivots root 0
3600.08/3611.70 c LP calls 0
3600.08/3611.70 c LP optimalities 0
3600.08/3611.70 c LP no pivot count 0
3600.08/3611.70 c LP infeasibilities 0
3600.08/3611.70 c LP valid Farkas constraints 0
3600.08/3611.70 c LP learned Farkas constraints 0
3600.08/3611.70 c LP basis resets 0
3600.08/3611.70 c LP cycling count 0
3600.08/3611.70 c LP singular count 0
3600.08/3611.70 c LP no primal count 0
3600.08/3611.70 c LP no farkas count 0
3600.08/3611.70 c LP other issue count 0
3600.08/3611.70 c LP Gomory cuts 0
3600.08/3611.70 c LP learned cuts 0
3600.08/3611.70 c LP deleted cuts 0
3600.08/3611.70 c LP encountered Gomory constraints 0
3600.08/3611.70 c LP encountered Farkas constraints 0
3600.08/3611.70 c LP encountered learned Farkas constraints 0
3600.08/3611.70 c CG auxiliary variables introduced 0
3600.08/3611.70 c CG solutions found 0
3600.08/3611.70 c CG cores constructed 0
3600.08/3611.70 c CG core cardinality constraints returned 0
3600.08/3611.70 c CG unit cores 0
3600.08/3611.70 c CG single cores 0
3600.08/3611.70 c CG blocks removed during cardinality reduction 0
3600.08/3611.70 c CG first core best 0
3600.08/3611.70 c CG decision core best 0
3600.08/3611.70 c CG core reduction tie 0
3600.08/3611.70 c CG core degree average 0.00
3600.08/3611.70 c CG core slack average 0.00
3600.08/3611.70 c CG core upper bound improvements 0
3600.08/3611.70 c STR number of successful calls 0
3600.08/3611.70 c STR number of unsuccessful calls 0
3600.08/3611.70 c STR number of inconclusive calls 0
3600.08/3611.70 c STR number of successful attempts 0
3600.08/3611.70 c STR number of unsuccessful attempts 0
3600.08/3611.70 c STR number of inconclusive attempts 0
3600.08/3611.70 c STR average degree increase per successful call inf
3600.08/3611.70 c STR average degree increase per successful attempt inf
3600.08/3611.70 c STR total number of conflicts for successful attempts 0
3600.08/3611.70 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3611.70 c STR total number of conflicts for inconclusive attempts 0
3600.08/3611.70 c STR average number of conflicts per successful attempt inf
3600.08/3611.70 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3611.70 c STR average number of conflicts per inconclusive attempt inf
3600.08/3611.70 c AVG.sumWPerc 72.90
3600.08/3611.70 c bigint constraints 0
3600.08/3611.70 s UNKNOWN
3600.08/3611.70 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: 63837 MiB (63192 MiB free)
memory of node 1: 64465 MiB (63244 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489368-1751359802/watcher-4489368-1751359802 -o /tmp/evaluation-result-4489368-1751359802/solver-4489368-1751359802 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751359802-47569 --watchdog 3760 run-opt.sh HOME/instance-4489368-1751359802.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=47615, runsolver pid=47604
Current StackSize limit: 8192 KiB
[startup+0.100069 s]*
/proc/loadavg: 2.67 3.75 4.00 7/252 47619
/proc/meminfo: memFree=129467396/131382116 swapFree=33010684/33010684
[pid=47615] ppid=47604 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47615/stat : 47615 (run-opt.sh) S 47604 47615 47556 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51659621 4292608 736 18446744073709551615 94104117932032 94104118826565 140727358644048 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94104119065616 94104119113360 94104137375744 140727358646637 140727358646760 140727358646760 140727358652362 0
/proc/47615/statm: 1048 736 672 219 0 110 0
[pid=47619] ppid=47615 vsize=61552 memory=12160 CPUtime=0.07 cores=5,7
/proc/47619/stat : 47619 (roundingsat) R 47615 47615 47556 0 -1 4194304 957 0 0 0 7 0 0 0 20 0 1 0 51659623 63029248 3040 18446744073709551615 4227072 8923433 140734158400016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35024896 140734158408098 140734158408232 140734158408232 140734158413802 0
/proc/47619/statm: 15388 3040 2368 1147 0 2815 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 65744 KiB
Current children cumulated memory: 15104 KiB
[startup+0.21399 s]*
/proc/loadavg: 2.67 3.75 4.00 6/251 47620
/proc/meminfo: memFree=129461536/131382116 swapFree=33010684/33010684
[pid=47615] ppid=47604 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47615/stat : 47615 (run-opt.sh) S 47604 47615 47556 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51659621 4292608 736 18446744073709551615 94104117932032 94104118826565 140727358644048 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94104119065616 94104119113360 94104137375744 140727358646637 140727358646760 140727358646760 140727358652362 0
/proc/47615/statm: 1048 736 672 219 0 110 0
[pid=47619] ppid=47615 vsize=62476 memory=15284 CPUtime=0.19 cores=5,7
/proc/47619/stat : 47619 (roundingsat) R 47615 47615 47556 0 -1 4194304 1211 0 0 0 18 1 0 0 20 0 1 0 51659623 63975424 3821 18446744073709551615 4227072 8923433 140734158400016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35024896 140734158408098 140734158408232 140734158408232 140734158413802 0
/proc/47619/statm: 15619 3821 2368 1147 0 3046 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 66668 KiB
Current children cumulated memory: 18228 KiB
[startup+0.313945 s]*
/proc/loadavg: 2.67 3.75 4.00 6/253 47624
/proc/meminfo: memFree=129449188/131382116 swapFree=33010684/33010684
[pid=47615] ppid=47604 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47615/stat : 47615 (run-opt.sh) S 47604 47615 47556 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51659621 4292608 736 18446744073709551615 94104117932032 94104118826565 140727358644048 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94104119065616 94104119113360 94104137375744 140727358646637 140727358646760 140727358646760 140727358652362 0
/proc/47615/statm: 1048 736 672 219 0 110 0
[pid=47619] ppid=47615 vsize=63832 memory=16564 CPUtime=0.29 cores=5,7
/proc/47619/stat : 47619 (roundingsat) R 47615 47615 47556 0 -1 4194304 1544 0 0 0 27 2 0 0 20 0 1 0 51659623 65363968 4141 18446744073709551615 4227072 8923433 140734158400016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35024896 140734158408098 140734158408232 140734158408232 140734158413802 0
/proc/47619/statm: 15958 4141 2368 1147 0 3385 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 68024 KiB
Current children cumulated memory: 19508 KiB
[startup+0.700364 s]
/proc/loadavg: 2.67 3.75 4.00 7/256 47630
/proc/meminfo: memFree=129436364/131382116 swapFree=33010684/33010684
[pid=47615] ppid=47604 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47615/stat : 47615 (run-opt.sh) S 47604 47615 47556 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51659621 4292608 736 18446744073709551615 94104117932032 94104118826565 140727358644048 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94104119065616 94104119113360 94104137375744 140727358646637 140727358646760 140727358646760 140727358652362 0
/proc/47615/statm: 1048 736 672 219 0 110 0
[pid=47619] ppid=47615 vsize=67676 memory=20788 CPUtime=0.65 cores=5,7
/proc/47619/stat : 47619 (roundingsat) R 47615 47615 47556 0 -1 4194304 2596 0 0 0 62 3 0 0 20 0 1 0 51659623 69300224 5197 18446744073709551615 4227072 8923433 140734158400016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35024896 140734158408098 140734158408232 140734158408232 140734158413802 0
/proc/47619/statm: 16919 5197 2368 1147 0 4346 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 71868 KiB
Current children cumulated memory: 23732 KiB
[startup+1.50035 s]
/proc/loadavg: 2.67 3.75 4.00 7/256 47630
/proc/meminfo: memFree=129410228/131382116 swapFree=33010684/33010684
[pid=47615] ppid=47604 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47615/stat : 47615 (run-opt.sh) S 47604 47615 47556 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51659621 4292608 736 18446744073709551615 94104117932032 94104118826565 140727358644048 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94104119065616 94104119113360 94104137375744 140727358646637 140727358646760 140727358646760 140727358652362 0
/proc/47615/statm: 1048 736 672 219 0 110 0
[pid=47619] ppid=47615 vsize=77056 memory=27572 CPUtime=1.45 cores=5,7
/proc/47619/stat : 47619 (roundingsat) R 47615 47615 47556 0 -1 4194304 4299 0 0 0 138 7 0 0 20 0 1 0 51659623 78905344 6893 18446744073709551615 4227072 8923433 140734158400016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35024896 140734158408098 140734158408232 140734158408232 140734158413802 0
/proc/47619/statm: 19264 6893 2368 1147 0 6691 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 81248 KiB
Current children cumulated memory: 30516 KiB
[startup+3.11351 s]
/proc/loadavg: 2.78 3.76 4.00 7/256 47630
/proc/meminfo: memFree=129240688/131382116 swapFree=33010684/33010684
[pid=47615] ppid=47604 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47615/stat : 47615 (run-opt.sh) S 47604 47615 47556 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51659621 4292608 736 18446744073709551615 94104117932032 94104118826565 140727358644048 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94104119065616 94104119113360 94104137375744 140727358646637 140727358646760 140727358646760 140727358652362 0
/proc/47615/statm: 1048 736 672 219 0 110 0
[pid=47619] ppid=47615 vsize=88228 memory=36916 CPUtime=3.06 cores=5,7
/proc/47619/stat : 47619 (roundingsat) R 47615 47615 47556 0 -1 4194304 6646 0 0 0 296 10 0 0 20 0 1 0 51659623 90345472 9229 18446744073709551615 4227072 8923433 140734158400016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35024896 140734158408098 140734158408232 140734158408232 140734158413802 0
/proc/47619/statm: 22057 9229 2368 1147 0 9484 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 92420 KiB
Current children cumulated memory: 39860 KiB
[startup+6.30035 s]
/proc/loadavg: 2.78 3.76 4.00 7/256 47630
/proc/meminfo: memFree=128432820/131382116 swapFree=33010684/33010684
[pid=47615] ppid=47604 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47615/stat : 47615 (run-opt.sh) S 47604 47615 47556 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51659621 4292608 736 18446744073709551615 94104117932032 94104118826565 140727358644048 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94104119065616 94104119113360 94104137375744 140727358646637 140727358646760 140727358646760 140727358652362 0
/proc/47615/statm: 1048 736 672 219 0 110 0
[pid=47619] ppid=47615 vsize=98152 memory=49020 CPUtime=6.23 cores=5,7
/proc/47619/stat : 47619 (roundingsat) R 47615 47615 47556 0 -1 4194304 9157 0 0 0 607 16 0 0 20 0 1 0 51659623 100507648 12255 18446744073709551615 4227072 8923433 140734158400016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35024896 140734158408098 140734158408232 140734158408232 140734158413802 0
/proc/47619/statm: 24538 12255 2368 1147 0 11965 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 102344 KiB
Current children cumulated memory: 51964 KiB
[startup+12.7004 s]
/proc/loadavg: 2.87 3.76 4.00 7/256 47630
/proc/meminfo: memFree=128351688/131382116 swapFree=33010684/33010684
[pid=47615] ppid=47604 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47615/stat : 47615 (run-opt.sh) S 47604 47615 47556 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51659621 4292608 736 18446744073709551615 94104117932032 94104118826565 140727358644048 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94104119065616 94104119113360 94104137375744 140727358646637 140727358646760 140727358646760 140727358652362 0
/proc/47615/statm: 1048 736 672 219 0 110 0
[pid=47619] ppid=47615 vsize=119668 memory=62884 CPUtime=12.62 cores=5,7
/proc/47619/stat : 47619 (roundingsat) R 47615 47615 47556 0 -1 4194304 12109 0 0 0 1236 26 0 0 20 0 1 0 51659623 122540032 15721 18446744073709551615 4227072 8923433 140734158400016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35024896 140734158408098 140734158408232 140734158408232 140734158413802 0
/proc/47619/statm: 29917 15721 2368 1147 0 17344 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 123860 KiB
Current children cumulated memory: 65828 KiB
[startup+25.5004 s]
/proc/loadavg: 3.20 3.79 4.00 7/256 47631
/proc/meminfo: memFree=128158416/131382116 swapFree=33010684/33010684
[pid=47615] ppid=47604 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47615/stat : 47615 (run-opt.sh) S 47604 47615 47556 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51659621 4292608 736 18446744073709551615 94104117932032 94104118826565 140727358644048 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94104119065616 94104119113360 94104137375744 140727358646637 140727358646760 140727358646760 140727358652362 0
/proc/47615/statm: 1048 736 672 219 0 110 0
[pid=47619] ppid=47615 vsize=129528 memory=76444 CPUtime=25.37 cores=5,7
/proc/47619/stat : 47619 (roundingsat) R 47615 47615 47556 0 -1 4194304 15002 0 0 0 2497 40 0 0 20 0 1 0 51659623 132636672 19111 18446744073709551615 4227072 8923433 140734158400016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35024896 140734158408098 140734158408232 140734158408232 140734158413802 0
/proc/47619/statm: 32382 19111 2368 1147 0 19809 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 133720 KiB
Current children cumulated memory: 79388 KiB
[startup+51.1132 s]
/proc/loadavg: 3.47 3.81 4.00 7/256 47631
/proc/meminfo: memFree=127922392/131382116 swapFree=33010684/33010684
[pid=47615] ppid=47604 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47615/stat : 47615 (run-opt.sh) S 47604 47615 47556 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51659621 4292608 736 18446744073709551615 94104117932032 94104118826565 140727358644048 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94104119065616 94104119113360 94104137375744 140727358646637 140727358646760 140727358646760 140727358652362 0
/proc/47615/statm: 1048 736 672 219 0 110 0
[pid=47619] ppid=47615 vsize=149144 memory=91496 CPUtime=50.9 cores=5,7
/proc/47619/stat : 47619 (roundingsat) R 47615 47615 47556 0 -1 4194304 17731 0 0 0 5029 61 0 0 20 0 1 0 51659623 152723456 22874 18446744073709551615 4227072 8923433 140734158400016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35024896 140734158408098 140734158408232 140734158408232 140734158413802 0
/proc/47619/statm: 37286 22874 2368 1147 0 24713 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 153336 KiB
Current children cumulated memory: 94440 KiB
[startup+102.3 s]
/proc/loadavg: 3.82 3.85 4.00 7/256 47639
/proc/meminfo: memFree=127659512/131382116 swapFree=33010684/33010684
[pid=47615] ppid=47604 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47615/stat : 47615 (run-opt.sh) S 47604 47615 47556 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51659621 4292608 736 18446744073709551615 94104117932032 94104118826565 140727358644048 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94104119065616 94104119113360 94104137375744 140727358646637 140727358646760 140727358646760 140727358652362 0
/proc/47615/statm: 1048 736 672 219 0 110 0
[pid=47619] ppid=47615 vsize=186016 memory=120424 CPUtime=101.91 cores=5,7
/proc/47619/stat : 47619 (roundingsat) R 47615 47615 47556 0 -1 4194304 23953 0 0 0 10088 103 0 0 20 0 1 0 51659623 190480384 30106 18446744073709551615 4227072 8923433 140734158400016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35024896 140734158408098 140734158408232 140734158408232 140734158413802 0
/proc/47619/statm: 46504 30106 2368 1147 0 33931 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 190208 KiB
Current children cumulated memory: 123368 KiB
[startup+162.3 s]
/proc/loadavg: 4.00 3.90 4.00 7/255 47641
/proc/meminfo: memFree=127461664/131382116 swapFree=33010684/33010684
[pid=47615] ppid=47604 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47615/stat : 47615 (run-opt.sh) S 47604 47615 47556 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51659621 4292608 736 18446744073709551615 94104117932032 94104118826565 140727358644048 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94104119065616 94104119113360 94104137375744 140727358646637 140727358646760 140727358646760 140727358652362 0
/proc/47615/statm: 1048 736 672 219 0 110 0
[pid=47619] ppid=47615 vsize=220844 memory=141420 CPUtime=161.69 cores=5,7
/proc/47619/stat : 47619 (roundingsat) R 47615 47615 47556 0 -1 4194304 28162 0 0 0 16026 143 0 0 20 0 1 0 51659623 226144256 35355 18446744073709551615 4227072 8923433 140734158400016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35024896 140734158408098 140734158408232 140734158408232 140734158413802 0
/proc/47619/statm: 55211 35355 2368 1147 0 42638 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 225036 KiB
Current children cumulated memory: 144364 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 3.94 4.00 7/255 47643
/proc/meminfo: memFree=127441856/131382116 swapFree=33010684/33010684
[pid=47615] ppid=47604 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47615/stat : 47615 (run-opt.sh) S 47604 47615 47556 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51659621 4292608 736 18446744073709551615 94104117932032 94104118826565 140727358644048 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94104119065616 94104119113360 94104137375744 140727358646637 140727358646760 140727358646760 140727358652362 0
/proc/47615/statm: 1048 736 672 219 0 110 0
[pid=47619] ppid=47615 vsize=223444 memory=151108 CPUtime=221.49 cores=5,7
/proc/47619/stat : 47619 (roundingsat) R 47615 47615 47556 0 -1 4194304 29586 0 0 0 21974 175 0 0 20 0 1 0 51659623 228806656 37777 18446744073709551615 4227072 8923433 140734158400016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35024896 140734158408098 140734158408232 140734158408232 140734158413802 0
/proc/47619/statm: 55861 37777 2368 1147 0 43288 0
################
# More data... #
################
/proc/47619/statm: 113602 79415 2368 1147 0 101029 0
Current children cumulated CPU time: 3092.55 s
Current children cumulated vsize: 458600 KiB
Current children cumulated memory: 320604 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.09 7/256 47811
/proc/meminfo: memFree=125416208/131382116 swapFree=33010684/33010684
[pid=47615] ppid=47604 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47615/stat : 47615 (run-opt.sh) S 47604 47615 47556 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51659621 4292608 736 18446744073709551615 94104117932032 94104118826565 140727358644048 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94104119065616 94104119113360 94104137375744 140727358646637 140727358646760 140727358646760 140727358652362 0
/proc/47615/statm: 1048 736 672 219 0 110 0
[pid=47619] ppid=47615 vsize=457040 memory=321116 CPUtime=3152.34 cores=5,7
/proc/47619/stat : 47619 (roundingsat) R 47615 47615 47556 0 -1 4194304 73876 0 0 0 314233 1001 0 0 20 0 1 0 51659623 468008960 80279 18446744073709551615 4227072 8923433 140734158400016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35024896 140734158408098 140734158408232 140734158408232 140734158413802 0
/proc/47619/statm: 114260 80279 2368 1147 0 101687 0
Current children cumulated CPU time: 3152.34 s
Current children cumulated vsize: 461232 KiB
Current children cumulated memory: 324060 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.08 4.09 7/256 47813
/proc/meminfo: memFree=125414996/131382116 swapFree=33010684/33010684
[pid=47615] ppid=47604 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47615/stat : 47615 (run-opt.sh) S 47604 47615 47556 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51659621 4292608 736 18446744073709551615 94104117932032 94104118826565 140727358644048 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94104119065616 94104119113360 94104137375744 140727358646637 140727358646760 140727358646760 140727358652362 0
/proc/47615/statm: 1048 736 672 219 0 110 0
[pid=47619] ppid=47615 vsize=459088 memory=321300 CPUtime=3212.12 cores=5,7
/proc/47619/stat : 47619 (roundingsat) R 47615 47615 47556 0 -1 4194304 74414 0 0 0 320200 1012 0 0 20 0 1 0 51659623 470106112 80325 18446744073709551615 4227072 8923433 140734158400016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35024896 140734158408098 140734158408232 140734158408232 140734158413802 0
/proc/47619/statm: 114772 80325 2368 1147 0 102199 0
Current children cumulated CPU time: 3212.12 s
Current children cumulated vsize: 463280 KiB
Current children cumulated memory: 324244 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 7/256 47815
/proc/meminfo: memFree=125403420/131382116 swapFree=33010684/33010684
[pid=47615] ppid=47604 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47615/stat : 47615 (run-opt.sh) S 47604 47615 47556 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51659621 4292608 736 18446744073709551615 94104117932032 94104118826565 140727358644048 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94104119065616 94104119113360 94104137375744 140727358646637 140727358646760 140727358646760 140727358652362 0
/proc/47615/statm: 1048 736 672 219 0 110 0
[pid=47619] ppid=47615 vsize=480088 memory=326228 CPUtime=3271.91 cores=5,7
/proc/47619/stat : 47619 (roundingsat) R 47615 47615 47556 0 -1 4194304 79805 0 0 0 326162 1029 0 0 20 0 1 0 51659623 491610112 81557 18446744073709551615 4227072 8923433 140734158400016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35024896 140734158408098 140734158408232 140734158408232 140734158413802 0
/proc/47619/statm: 120022 81557 2368 1147 0 107449 0
Current children cumulated CPU time: 3271.91 s
Current children cumulated vsize: 484280 KiB
Current children cumulated memory: 329172 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.09 4.09 7/254 47817
/proc/meminfo: memFree=125401524/131382116 swapFree=33010684/33010684
[pid=47615] ppid=47604 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47615/stat : 47615 (run-opt.sh) S 47604 47615 47556 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51659621 4292608 736 18446744073709551615 94104117932032 94104118826565 140727358644048 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94104119065616 94104119113360 94104137375744 140727358646637 140727358646760 140727358646760 140727358652362 0
/proc/47615/statm: 1048 736 672 219 0 110 0
[pid=47619] ppid=47615 vsize=482388 memory=327440 CPUtime=3331.69 cores=5,7
/proc/47619/stat : 47619 (roundingsat) R 47615 47615 47556 0 -1 4194304 80435 0 0 0 332130 1039 0 0 20 0 1 0 51659623 493965312 81860 18446744073709551615 4227072 8923433 140734158400016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35024896 140734158408098 140734158408232 140734158408232 140734158413802 0
/proc/47619/statm: 120597 81860 2368 1147 0 108024 0
Current children cumulated CPU time: 3331.69 s
Current children cumulated vsize: 486580 KiB
Current children cumulated memory: 330384 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.08 4.09 7/253 47819
/proc/meminfo: memFree=125391384/131382116 swapFree=33010684/33010684
[pid=47615] ppid=47604 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47615/stat : 47615 (run-opt.sh) S 47604 47615 47556 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51659621 4292608 736 18446744073709551615 94104117932032 94104118826565 140727358644048 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94104119065616 94104119113360 94104137375744 140727358646637 140727358646760 140727358646760 140727358652362 0
/proc/47615/statm: 1048 736 672 219 0 110 0
[pid=47619] ppid=47615 vsize=482388 memory=327568 CPUtime=3391.46 cores=5,7
/proc/47619/stat : 47619 (roundingsat) R 47615 47615 47556 0 -1 4194304 80454 0 0 0 338093 1053 0 0 20 0 1 0 51659623 493965312 81892 18446744073709551615 4227072 8923433 140734158400016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35024896 140734158408098 140734158408232 140734158408232 140734158413802 0
/proc/47619/statm: 120597 81892 2368 1147 0 108024 0
Current children cumulated CPU time: 3391.46 s
Current children cumulated vsize: 486580 KiB
Current children cumulated memory: 330512 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.09 4.09 7/253 47821
/proc/meminfo: memFree=125397960/131382116 swapFree=33010684/33010684
[pid=47615] ppid=47604 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47615/stat : 47615 (run-opt.sh) S 47604 47615 47556 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51659621 4292608 736 18446744073709551615 94104117932032 94104118826565 140727358644048 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94104119065616 94104119113360 94104137375744 140727358646637 140727358646760 140727358646760 140727358652362 0
/proc/47615/statm: 1048 736 672 219 0 110 0
[pid=47619] ppid=47615 vsize=482388 memory=327568 CPUtime=3451.24 cores=5,7
/proc/47619/stat : 47619 (roundingsat) R 47615 47615 47556 0 -1 4194304 80474 0 0 0 344056 1068 0 0 20 0 1 0 51659623 493965312 81892 18446744073709551615 4227072 8923433 140734158400016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35024896 140734158408098 140734158408232 140734158408232 140734158413802 0
/proc/47619/statm: 120597 81892 2368 1147 0 108024 0
Current children cumulated CPU time: 3451.24 s
Current children cumulated vsize: 486580 KiB
Current children cumulated memory: 330512 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.09 7/253 47823
/proc/meminfo: memFree=125407976/131382116 swapFree=33010684/33010684
[pid=47615] ppid=47604 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47615/stat : 47615 (run-opt.sh) S 47604 47615 47556 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51659621 4292608 736 18446744073709551615 94104117932032 94104118826565 140727358644048 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94104119065616 94104119113360 94104137375744 140727358646637 140727358646760 140727358646760 140727358652362 0
/proc/47615/statm: 1048 736 672 219 0 110 0
[pid=47619] ppid=47615 vsize=485464 memory=329176 CPUtime=3511.02 cores=5,7
/proc/47619/stat : 47619 (roundingsat) R 47615 47615 47556 0 -1 4194304 81389 0 0 0 350023 1079 0 0 20 0 1 0 51659623 497115136 82294 18446744073709551615 4227072 8923433 140734158400016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35024896 140734158408098 140734158408232 140734158408232 140734158413802 0
/proc/47619/statm: 121366 82294 2368 1147 0 108793 0
Current children cumulated CPU time: 3511.02 s
Current children cumulated vsize: 489656 KiB
Current children cumulated memory: 332120 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.09 7/253 47825
/proc/meminfo: memFree=125403260/131382116 swapFree=33010684/33010684
[pid=47615] ppid=47604 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47615/stat : 47615 (run-opt.sh) S 47604 47615 47556 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51659621 4292608 736 18446744073709551615 94104117932032 94104118826565 140727358644048 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94104119065616 94104119113360 94104137375744 140727358646637 140727358646760 140727358646760 140727358652362 0
/proc/47615/statm: 1048 736 672 219 0 110 0
[pid=47619] ppid=47615 vsize=485464 memory=329176 CPUtime=3570.79 cores=5,7
/proc/47619/stat : 47619 (roundingsat) R 47615 47615 47556 0 -1 4194304 81396 0 0 0 355989 1090 0 0 20 0 1 0 51659623 497115136 82294 18446744073709551615 4227072 8923433 140734158400016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35024896 140734158408098 140734158408232 140734158408232 140734158413802 0
/proc/47619/statm: 121366 82294 2368 1147 0 108793 0
Current children cumulated CPU time: 3570.79 s
Current children cumulated vsize: 489656 KiB
Current children cumulated memory: 332120 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.7 s]
/proc/loadavg: 4.05 4.08 4.09 5/248 47834
/proc/meminfo: memFree=125765024/131382116 swapFree=33010684/33010684
[pid=47615] ppid=47604 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47615/stat : 47615 (run-opt.sh) S 47604 47615 47556 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51659621 4292608 736 18446744073709551615 94104117932032 94104118826565 140727358644048 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94104119065616 94104119113360 94104137375744 140727358646637 140727358646760 140727358646760 140727358652362 0
/proc/47615/statm: 1048 736 672 219 0 110 0
[pid=47619] ppid=47615 vsize=485464 memory=329304 CPUtime=3600.08 cores=5,7
/proc/47619/stat : 47619 (roundingsat) R 47615 47615 47556 0 -1 4194304 81421 0 0 0 358912 1096 0 0 20 0 1 0 51659623 497115136 82326 18446744073709551615 4227072 8923433 140734158400016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35024896 140734158408098 140734158408232 140734158408232 140734158413802 0
/proc/47619/statm: 121366 82326 2368 1147 0 108793 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 489656 KiB
Current children cumulated memory: 332248 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.71 s]
# the end of solver process 47615 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.004478 s, system=0.001764 s
[startup+3611.72 s]
# the end of solver process 47619 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3589.13 s, system=10.9749 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.7 s]
/proc/loadavg: 4.05 4.08 4.09 5/248 47834
/proc/meminfo: memFree=125765024/131382116 swapFree=33010684/33010684
[pid=47615] ppid=47604 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/47615/stat : 47615 (run-opt.sh) S 47604 47615 47556 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51659621 4292608 736 18446744073709551615 94104117932032 94104118826565 140727358644048 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94104119065616 94104119113360 94104137375744 140727358646637 140727358646760 140727358646760 140727358652362 0
/proc/47615/statm: 1048 736 672 219 0 110 0
[pid=47619] ppid=47615 vsize=485464 memory=329304 CPUtime=3600.08 cores=5,7
/proc/47619/stat : 47619 (roundingsat) R 47615 47615 47556 0 -1 4194304 81421 0 0 0 358912 1096 0 0 20 0 1 0 51659623 497115136 82326 18446744073709551615 4227072 8923433 140734158400016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 35024896 140734158408098 140734158408232 140734158408232 140734158413802 0
/proc/47619/statm: 121366 82326 2368 1147 0 108793 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 489656 KiB
Current children cumulated memory: 332248 KiB
Child status: 2
Real time (s): 3611.72
CPU time (s): 3600.11
CPU user time (s): 3589.13
CPU system time (s): 10.9749
CPU usage (%): 99.6785
Max. virtual memory (cumulated for all children) (KiB): 489656
Max. memory (cumulated for all children) (KiB): 332248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.13
system time used= 10.9749
maximum resident set size= 329688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81647
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 281
involuntary context switches= 2702
# summary of solver processes directly reported to runsolver:
# pid: 47615,47619
# total CPU time (s): 3600.11
# total CPU user time (s): 3589.13
# total CPU system time (s): 10.9749
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2368 second user time and 36.9774 second system time
The end
Begin job on nodeC010 at 2025-07-01 10:50:02
IDJOB=4489368
IDBENCH=147546
IDSOLVER=3350
FILE ID=nodeC010/4489368-1751359802
RUNJOBID= nodeC010-1751359802-47569
SLURM_JOB_ID= 9598157
Free space on /tmp= 432692 MiB
SOLVER NAME= roundingsat-ihs 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.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489368-1751359802/watcher-4489368-1751359802 -o /tmp/evaluation-result-4489368-1751359802/solver-4489368-1751359802 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751359802-47569 --watchdog 3760 run-opt.sh HOME/instance-4489368-1751359802.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d9affe619068a6673989e4355ed78893
RANDOM SEED=1421369085
nodeC010 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 : 0xb00001f
cpu MHz : 1197.148
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.443
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.162
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.141
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.157
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.149
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.149
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.326
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 129470732 kB
MemAvailable: 129928908 kB
Buffers: 3280 kB
Cached: 1265388 kB
SwapCached: 0 kB
Active: 378480 kB
Inactive: 959760 kB
Active(anon): 87532 kB
Inactive(anon): 0 kB
Active(file): 290948 kB
Inactive(file): 959760 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 26900 kB
Writeback: 0 kB
AnonPages: 72696 kB
Mapped: 103180 kB
Shmem: 17960 kB
KReclaimable: 94192 kB
Slab: 177588 kB
SReclaimable: 94192 kB
SUnreclaim: 83396 kB
KernelStack: 3816 kB
PageTables: 2364 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 339912 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149256 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 14336 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: 205640 kB
DirectMap2M: 12279808 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 432648 MiB
End job on nodeC010 at 2025-07-01 11:50:14