0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.03 c [STEP] solving
0.00/0.03 c #variables 351 #constraints 11700
0.00/0.03 c SMALL=int, LARGE=long long
0.00/0.03 c bounds - >= -291 @ 0.024692
0.00/0.03 c stratification level: 0
0.00/0.03 c bounds - >= -290 @ 0.025432
0.00/0.03 c bounds - >= -289 @ 0.025432
0.00/0.03 c bounds - >= -288 @ 0.025432
0.00/0.03 c bounds - >= -287 @ 0.025432
0.00/0.03 c bounds - >= -286 @ 0.025432
0.00/0.03 c bounds - >= -285 @ 0.025432
0.00/0.03 c bounds - >= -284 @ 0.025432
0.00/0.03 c bounds - >= -283 @ 0.025432
0.00/0.03 c bounds - >= -282 @ 0.025432
0.00/0.03 c bounds - >= -281 @ 0.025432
0.00/0.03 c bounds - >= -280 @ 0.025432
0.00/0.03 c bounds - >= -279 @ 0.025432
0.00/0.03 c bounds - >= -278 @ 0.025432
0.00/0.03 c bounds - >= -277 @ 0.025432
0.00/0.03 c bounds - >= -276 @ 0.025432
0.00/0.03 c bounds - >= -275 @ 0.025432
0.00/0.03 c bounds - >= -274 @ 0.025432
0.00/0.03 c bounds - >= -273 @ 0.025432
0.00/0.03 c bounds - >= -272 @ 0.025432
0.00/0.03 c bounds - >= -271 @ 0.025432
0.00/0.03 c bounds - >= -270 @ 0.025432
0.00/0.03 c bounds - >= -269 @ 0.025479
0.00/0.03 c bounds - >= -268 @ 0.025521
0.00/0.03 c bounds - >= -267 @ 0.025564
0.00/0.03 c bounds - >= -266 @ 0.025606
0.00/0.03 c bounds - >= -265 @ 0.025649
0.00/0.03 c bounds - >= -264 @ 0.02569
0.00/0.03 c bounds - >= -263 @ 0.025733
0.00/0.03 c bounds - >= -262 @ 0.025776
0.00/0.03 c bounds - >= -261 @ 0.025818
0.00/0.03 c bounds - >= -260 @ 0.025858
0.00/0.03 c bounds - >= -259 @ 0.025902
0.00/0.03 c bounds - >= -258 @ 0.025948
0.00/0.03 c bounds - >= -257 @ 0.025992
0.00/0.03 c bounds - >= -256 @ 0.026035
0.00/0.03 c bounds - >= -255 @ 0.026078
0.00/0.03 c bounds - >= -254 @ 0.026118
0.00/0.03 c bounds - >= -253 @ 0.026161
0.00/0.03 c bounds - >= -252 @ 0.026209
0.00/0.03 c bounds - >= -251 @ 0.026252
0.00/0.03 c bounds - >= -250 @ 0.026299
0.00/0.03 c bounds - >= -249 @ 0.026343
0.00/0.03 c bounds - >= -248 @ 0.026381
0.00/0.03 c bounds - >= -247 @ 0.026412
0.00/0.03 c bounds - >= -246 @ 0.026465
0.00/0.03 c bounds - >= -245 @ 0.026514
0.00/0.03 c bounds - >= -244 @ 0.026574
0.00/0.03 c bounds - >= -243 @ 0.026618
0.00/0.03 c bounds - >= -242 @ 0.026668
0.00/0.03 c bounds - >= -241 @ 0.02671
0.00/0.03 c bounds - >= -240 @ 0.026754
0.00/0.03 c bounds - >= -239 @ 0.026796
0.00/0.03 c bounds - >= -238 @ 0.026859
0.00/0.03 c bounds - >= -237 @ 0.026904
0.00/0.03 c bounds - >= -236 @ 0.026947
0.00/0.03 c bounds - >= -235 @ 0.026996
0.00/0.03 c bounds - >= -234 @ 0.027043
0.00/0.03 c bounds - >= -233 @ 0.027083
0.00/0.03 c bounds - >= -232 @ 0.027135
0.00/0.03 c bounds - >= -231 @ 0.027177
0.00/0.03 c bounds - >= -230 @ 0.027221
0.00/0.03 c bounds - >= -229 @ 0.027271
0.00/0.03 c bounds - >= -228 @ 0.027315
0.00/0.03 c bounds - >= -227 @ 0.027358
0.00/0.03 c bounds - >= -226 @ 0.02744
0.00/0.03 c bounds - >= -225 @ 0.027494
0.00/0.03 c bounds - >= -224 @ 0.027541
0.00/0.03 c bounds - >= -223 @ 0.027584
0.00/0.03 c bounds - >= -222 @ 0.027645
0.00/0.03 c bounds - >= -221 @ 0.027699
0.00/0.03 c bounds - >= -220 @ 0.027768
0.00/0.03 c bounds - >= -219 @ 0.027816
0.00/0.03 c bounds - >= -218 @ 0.02786
0.00/0.03 c bounds - >= -217 @ 0.027923
0.00/0.03 c bounds - >= -216 @ 0.027987
0.00/0.03 c bounds - >= -215 @ 0.028047
0.00/0.03 c bounds - >= -214 @ 0.028094
0.00/0.03 c bounds - >= -213 @ 0.028173
0.00/0.03 c bounds - >= -212 @ 0.028219
0.00/0.03 c bounds - >= -211 @ 0.028295
0.00/0.03 c bounds - >= -210 @ 0.028377
0.00/0.03 c bounds - >= -209 @ 0.028454
0.00/0.03 c bounds - >= -208 @ 0.028554
0.00/0.03 c finalizing WCE round: reformulating cores
10.47/10.50 c #Conflicts: 1000 | #Constraints: 12816
10.47/10.50 c #Conflicts: 2000 | #Constraints: 13820
10.47/10.50 c INPROCESSING
10.47/10.50 c GARBAGE COLLECT
10.47/10.50 c #Conflicts: 3000 | #Constraints: 13734
10.47/10.50 c #Conflicts: 4000 | #Constraints: 14736
10.47/10.50 c INPROCESSING
10.47/10.50 c GARBAGE COLLECT
10.47/10.50 c #Conflicts: 5000 | #Constraints: 14141
10.47/10.50 c #Conflicts: 6000 | #Constraints: 15143
10.47/10.50 c INPROCESSING
10.47/10.50 c GARBAGE COLLECT
10.47/10.50 c #Conflicts: 7000 | #Constraints: 14147
10.47/10.50 c #Conflicts: 8000 | #Constraints: 15149
10.47/10.50 c #Conflicts: 9000 | #Constraints: 16153
10.47/10.50 c INPROCESSING
10.47/10.50 c GARBAGE COLLECT
10.47/10.50 c #Conflicts: 10000 | #Constraints: 14856
10.47/10.50 c #Conflicts: 11000 | #Constraints: 15858
10.47/10.50 c #Conflicts: 12000 | #Constraints: 16860
10.47/10.50 c INPROCESSING
10.47/10.50 c GARBAGE COLLECT
10.47/10.50 c #Conflicts: 13000 | #Constraints: 15310
10.47/10.50 c #Conflicts: 14000 | #Constraints: 16312
10.47/10.50 c #Conflicts: 15000 | #Constraints: 17314
10.47/10.50 c INPROCESSING
10.47/10.50 c GARBAGE COLLECT
10.47/10.50 c #Conflicts: 16000 | #Constraints: 15543
10.47/10.50 c #Conflicts: 17000 | #Constraints: 16545
10.47/10.50 c #Conflicts: 18000 | #Constraints: 17547
10.47/10.50 c INPROCESSING
10.47/10.50 c GARBAGE COLLECT
10.47/10.50 c #Conflicts: 19000 | #Constraints: 15565
10.47/10.50 c #Conflicts: 20000 | #Constraints: 16567
10.47/10.50 c #Conflicts: 21000 | #Constraints: 17569
10.47/10.50 c INPROCESSING
10.47/10.50 c GARBAGE COLLECT
10.47/10.50 c #Conflicts: 22000 | #Constraints: 15379
10.47/10.50 c #Conflicts: 23000 | #Constraints: 16381
10.47/10.50 c #Conflicts: 24000 | #Constraints: 17385
10.47/10.50 c #Conflicts: 25000 | #Constraints: 18387
10.47/10.50 c INPROCESSING
10.47/10.50 c GARBAGE COLLECT
10.47/10.50 c #Conflicts: 26000 | #Constraints: 15991
10.47/10.50 c #Conflicts: 27000 | #Constraints: 16993
10.47/10.50 c #Conflicts: 28000 | #Constraints: 17995
10.47/10.50 c #Conflicts: 29000 | #Constraints: 18999
10.47/10.50 c INPROCESSING
10.47/10.50 c GARBAGE COLLECT
10.47/10.50 c #Conflicts: 30000 | #Constraints: 16402
10.47/10.50 c #Conflicts: 31000 | #Constraints: 17404
10.47/10.50 c #Conflicts: 32000 | #Constraints: 18406
10.47/10.50 c #Conflicts: 33000 | #Constraints: 19410
10.47/10.50 c INPROCESSING
10.47/10.50 c GARBAGE COLLECT
10.47/10.50 c #Conflicts: 34000 | #Constraints: 16611
10.47/10.50 c #Conflicts: 35000 | #Constraints: 17613
10.47/10.50 c #Conflicts: 36000 | #Constraints: 18615
10.47/10.50 c #Conflicts: 37000 | #Constraints: 19619
10.47/10.50 c INPROCESSING
10.47/10.50 c GARBAGE COLLECT
10.47/10.50 c #Conflicts: 38000 | #Constraints: 16622
10.47/10.50 c #Conflicts: 39000 | #Constraints: 17624
10.47/10.50 c #Conflicts: 40000 | #Constraints: 18626
10.47/10.50 c #Conflicts: 41000 | #Constraints: 19630
10.47/10.50 c INPROCESSING
10.47/10.50 c GARBAGE COLLECT
10.47/10.50 c #Conflicts: 42000 | #Constraints: 16430
10.47/10.50 c #Conflicts: 43000 | #Constraints: 17432
10.47/10.50 c #Conflicts: 44000 | #Constraints: 18436
10.47/10.50 c #Conflicts: 45000 | #Constraints: 19438
10.47/10.50 c #Conflicts: 46000 | #Constraints: 20440
10.47/10.50 c INPROCESSING
10.47/10.50 c GARBAGE COLLECT
10.47/10.50 c #Conflicts: 47000 | #Constraints: 17046
10.47/10.50 c #Conflicts: 48000 | #Constraints: 18048
10.47/10.50 c #Conflicts: 49000 | #Constraints: 19050
10.47/10.50 c #Conflicts: 50000 | #Constraints: 20054
10.47/10.50 c #Conflicts: 51000 | #Constraints: 21056
10.47/10.50 c INPROCESSING
10.47/10.50 c GARBAGE COLLECT
10.47/10.50 c #Conflicts: 52000 | #Constraints: 17460
10.47/10.50 c #Conflicts: 53000 | #Constraints: 18462
10.47/10.50 c #Conflicts: 54000 | #Constraints: 19464
10.47/10.50 c #Conflicts: 55000 | #Constraints: 20468
10.47/10.50 c #Conflicts: 56000 | #Constraints: 21470
10.47/10.50 c INPROCESSING
10.47/10.50 c GARBAGE COLLECT
10.47/10.50 c #Conflicts: 57000 | #Constraints: 17674
10.47/10.50 c #Conflicts: 58000 | #Constraints: 18676
10.47/10.50 c #Conflicts: 59000 | #Constraints: 19678
10.47/10.50 c #Conflicts: 60000 | #Constraints: 20682
10.47/10.50 c #Conflicts: 61000 | #Constraints: 21684
10.47/10.50 c INPROCESSING
10.47/10.50 c GARBAGE COLLECT
10.47/10.50 c #Conflicts: 62000 | #Constraints: 17685
10.47/10.50 c bounds -180 >= -208 @ 10.2706
10.47/10.50 c bounds -180 >= -207 @ 10.2711
10.47/10.50 c bounds -180 >= -206 @ 10.2714
10.47/10.50 c bounds -180 >= -205 @ 10.2719
10.47/10.50 c bounds -180 >= -204 @ 10.2726
10.47/10.50 c bounds -180 >= -203 @ 10.273
10.47/10.50 c bounds -180 >= -202 @ 10.2736
10.47/10.50 c bounds -180 >= -201 @ 10.2751
10.47/10.50 c bounds -180 >= -200 @ 10.2773
10.47/10.50 c bounds -180 >= -199 @ 10.2893
28.22/28.34 c bounds -180 >= -198 @ 10.3685
28.22/28.34 c #Conflicts: 63000 | #Constraints: 18965
28.22/28.34 c #Conflicts: 64000 | #Constraints: 19965
28.22/28.34 c #Conflicts: 65000 | #Constraints: 20965
28.22/28.34 c #Conflicts: 66000 | #Constraints: 21965
28.22/28.34 c INPROCESSING
28.22/28.34 c GARBAGE COLLECT
28.22/28.34 c #Conflicts: 67000 | #Constraints: 17688
28.22/28.34 c #Conflicts: 68000 | #Constraints: 18688
28.22/28.34 c #Conflicts: 69000 | #Constraints: 19688
28.22/28.34 c #Conflicts: 70000 | #Constraints: 20688
28.22/28.34 c #Conflicts: 71000 | #Constraints: 21688
28.22/28.34 c #Conflicts: 72000 | #Constraints: 22688
28.22/28.34 c INPROCESSING
28.22/28.34 c GARBAGE COLLECT
28.22/28.34 c #Conflicts: 73000 | #Constraints: 18247
28.22/28.34 c #Conflicts: 74000 | #Constraints: 19247
28.22/28.34 c #Conflicts: 75000 | #Constraints: 20247
28.22/28.34 c #Conflicts: 76000 | #Constraints: 21247
28.22/28.34 c #Conflicts: 77000 | #Constraints: 22247
28.22/28.34 c #Conflicts: 78000 | #Constraints: 23247
28.22/28.34 c INPROCESSING
28.22/28.34 c GARBAGE COLLECT
28.22/28.34 c #Conflicts: 79000 | #Constraints: 18632
28.22/28.34 c #Conflicts: 80000 | #Constraints: 19632
28.22/28.34 c #Conflicts: 81000 | #Constraints: 20632
28.22/28.34 c #Conflicts: 82000 | #Constraints: 21632
28.22/28.34 c #Conflicts: 83000 | #Constraints: 22632
28.22/28.34 c #Conflicts: 84000 | #Constraints: 23632
28.22/28.34 c INPROCESSING
28.22/28.34 c GARBAGE COLLECT
28.22/28.34 c #Conflicts: 85000 | #Constraints: 18821
28.22/28.34 c #Conflicts: 86000 | #Constraints: 19821
28.22/28.34 c #Conflicts: 87000 | #Constraints: 20821
28.22/28.34 c #Conflicts: 88000 | #Constraints: 21821
28.22/28.34 c #Conflicts: 89000 | #Constraints: 22821
28.22/28.34 c #Conflicts: 90000 | #Constraints: 23821
28.22/28.34 c INPROCESSING
28.22/28.34 c GARBAGE COLLECT
28.22/28.34 c #Conflicts: 91000 | #Constraints: 18816
28.22/28.34 c #Conflicts: 92000 | #Constraints: 19816
28.22/28.34 c #Conflicts: 93000 | #Constraints: 20816
28.22/28.34 c #Conflicts: 94000 | #Constraints: 21816
28.22/28.34 c #Conflicts: 95000 | #Constraints: 22816
28.22/28.34 c #Conflicts: 96000 | #Constraints: 23816
28.22/28.34 c INPROCESSING
28.22/28.34 c GARBAGE COLLECT
28.22/28.34 c #Conflicts: 97000 | #Constraints: 18619
28.22/28.34 c #Conflicts: 98000 | #Constraints: 19619
28.22/28.34 c #Conflicts: 99000 | #Constraints: 20619
28.22/28.34 c #Conflicts: 100000 | #Constraints: 21619
28.22/28.34 c #Conflicts: 101000 | #Constraints: 22619
28.22/28.34 c #Conflicts: 102000 | #Constraints: 23619
28.22/28.34 c #Conflicts: 103000 | #Constraints: 24619
28.22/28.34 c INPROCESSING
28.22/28.34 c GARBAGE COLLECT
28.22/28.34 c #Conflicts: 104000 | #Constraints: 19213
28.22/28.34 c #Conflicts: 105000 | #Constraints: 20213
28.22/28.34 c #Conflicts: 106000 | #Constraints: 21213
28.22/28.34 c #Conflicts: 107000 | #Constraints: 22213
28.22/28.34 c #Conflicts: 108000 | #Constraints: 23213
28.22/28.34 c #Conflicts: 109000 | #Constraints: 24213
28.22/28.34 c #Conflicts: 110000 | #Constraints: 25213
28.22/28.34 c INPROCESSING
28.22/28.34 c GARBAGE COLLECT
28.22/28.34 c #Conflicts: 111000 | #Constraints: 19616
28.22/28.34 c #Conflicts: 112000 | #Constraints: 20616
28.22/28.34 c #Conflicts: 113000 | #Constraints: 21616
28.22/28.34 c #Conflicts: 114000 | #Constraints: 22616
28.22/28.34 c #Conflicts: 115000 | #Constraints: 23616
28.22/28.34 c #Conflicts: 116000 | #Constraints: 24616
28.22/28.34 c #Conflicts: 117000 | #Constraints: 25616
28.22/28.34 c INPROCESSING
28.22/28.34 c GARBAGE COLLECT
28.22/28.34 c #Conflicts: 118000 | #Constraints: 19819
28.22/28.34 c #Conflicts: 119000 | #Constraints: 20819
28.22/28.34 c #Conflicts: 120000 | #Constraints: 21819
28.22/28.34 c #Conflicts: 121000 | #Constraints: 22819
28.22/28.34 c #Conflicts: 122000 | #Constraints: 23819
28.22/28.34 c #Conflicts: 123000 | #Constraints: 24819
28.22/28.34 c #Conflicts: 124000 | #Constraints: 25819
28.22/28.34 c INPROCESSING
28.22/28.34 c GARBAGE COLLECT
28.22/28.34 c #Conflicts: 125000 | #Constraints: 19815
28.22/28.34 c #Conflicts: 126000 | #Constraints: 20815
28.22/28.34 c #Conflicts: 127000 | #Constraints: 21815
28.22/28.34 c #Conflicts: 128000 | #Constraints: 22815
28.22/28.34 c #Conflicts: 129000 | #Constraints: 23815
28.22/28.34 c #Conflicts: 130000 | #Constraints: 24815
28.22/28.34 c #Conflicts: 131000 | #Constraints: 25815
28.22/28.34 c INPROCESSING
28.22/28.34 c GARBAGE COLLECT
28.22/28.34 c #Conflicts: 132000 | #Constraints: 19622
28.22/28.34 c #Conflicts: 133000 | #Constraints: 20622
28.22/28.34 c #Conflicts: 134000 | #Constraints: 21622
53.06/53.26 c #Conflicts: 135000 | #Constraints: 22622
53.06/53.26 c #Conflicts: 136000 | #Constraints: 23622
53.06/53.26 c #Conflicts: 137000 | #Constraints: 24622
53.06/53.26 c #Conflicts: 138000 | #Constraints: 25622
53.06/53.26 c #Conflicts: 139000 | #Constraints: 26622
53.06/53.26 c INPROCESSING
53.06/53.26 c GARBAGE COLLECT
53.06/53.26 c #Conflicts: 140000 | #Constraints: 20222
53.06/53.26 c #Conflicts: 141000 | #Constraints: 21222
53.06/53.26 c #Conflicts: 142000 | #Constraints: 22222
53.06/53.26 c #Conflicts: 143000 | #Constraints: 23222
53.06/53.26 c #Conflicts: 144000 | #Constraints: 24222
53.06/53.26 c #Conflicts: 145000 | #Constraints: 25222
53.06/53.26 c #Conflicts: 146000 | #Constraints: 26222
53.06/53.26 c #Conflicts: 147000 | #Constraints: 27222
53.06/53.26 c INPROCESSING
53.06/53.26 c GARBAGE COLLECT
53.06/53.26 c #Conflicts: 148000 | #Constraints: 20623
53.06/53.26 c #Conflicts: 149000 | #Constraints: 21623
53.06/53.26 c #Conflicts: 150000 | #Constraints: 22623
53.06/53.26 c #Conflicts: 151000 | #Constraints: 23623
53.06/53.26 c #Conflicts: 152000 | #Constraints: 24623
53.06/53.26 c #Conflicts: 153000 | #Constraints: 25623
53.06/53.26 c #Conflicts: 154000 | #Constraints: 26623
53.06/53.26 c #Conflicts: 155000 | #Constraints: 27623
53.06/53.26 c INPROCESSING
53.06/53.26 c GARBAGE COLLECT
53.06/53.26 c #Conflicts: 156000 | #Constraints: 20822
53.06/53.26 c #Conflicts: 157000 | #Constraints: 21822
53.06/53.26 c #Conflicts: 158000 | #Constraints: 22822
53.06/53.26 c #Conflicts: 159000 | #Constraints: 23822
53.06/53.26 c #Conflicts: 160000 | #Constraints: 24822
53.06/53.26 c #Conflicts: 161000 | #Constraints: 25822
53.06/53.26 c #Conflicts: 162000 | #Constraints: 26822
53.06/53.26 c #Conflicts: 163000 | #Constraints: 27822
53.06/53.26 c INPROCESSING
53.06/53.26 c GARBAGE COLLECT
53.06/53.26 c #Conflicts: 164000 | #Constraints: 20819
53.06/53.26 c #Conflicts: 165000 | #Constraints: 21819
53.06/53.26 c #Conflicts: 166000 | #Constraints: 22819
53.06/53.26 c #Conflicts: 167000 | #Constraints: 23819
53.06/53.26 c #Conflicts: 168000 | #Constraints: 24819
53.06/53.26 c #Conflicts: 169000 | #Constraints: 25819
53.06/53.26 c #Conflicts: 170000 | #Constraints: 26819
53.06/53.26 c #Conflicts: 171000 | #Constraints: 27819
53.06/53.26 c INPROCESSING
53.06/53.26 c GARBAGE COLLECT
53.06/53.26 c #Conflicts: 172000 | #Constraints: 20622
53.06/53.26 c #Conflicts: 173000 | #Constraints: 21622
53.06/53.26 c #Conflicts: 174000 | #Constraints: 22622
53.06/53.26 c #Conflicts: 175000 | #Constraints: 23622
53.06/53.26 c #Conflicts: 176000 | #Constraints: 24622
53.06/53.26 c #Conflicts: 177000 | #Constraints: 25622
53.06/53.26 c #Conflicts: 178000 | #Constraints: 26622
53.06/53.26 c #Conflicts: 179000 | #Constraints: 27622
53.06/53.26 c #Conflicts: 180000 | #Constraints: 28622
53.06/53.26 c INPROCESSING
53.06/53.26 c GARBAGE COLLECT
53.06/53.26 c #Conflicts: 181000 | #Constraints: 21215
53.06/53.26 c #Conflicts: 182000 | #Constraints: 22215
53.06/53.26 c #Conflicts: 183000 | #Constraints: 23215
53.06/53.26 c #Conflicts: 184000 | #Constraints: 24215
53.06/53.26 c #Conflicts: 185000 | #Constraints: 25215
53.06/53.26 c #Conflicts: 186000 | #Constraints: 26215
53.06/53.26 c #Conflicts: 187000 | #Constraints: 27215
53.06/53.26 c #Conflicts: 188000 | #Constraints: 28215
53.06/53.26 c #Conflicts: 189000 | #Constraints: 29215
53.06/53.26 c INPROCESSING
53.06/53.26 c GARBAGE COLLECT
53.06/53.26 c #Conflicts: 190000 | #Constraints: 21612
53.06/53.26 c #Conflicts: 191000 | #Constraints: 22612
53.06/53.26 c #Conflicts: 192000 | #Constraints: 23612
53.06/53.26 c #Conflicts: 193000 | #Constraints: 24612
53.06/53.26 c #Conflicts: 194000 | #Constraints: 25612
53.06/53.26 c #Conflicts: 195000 | #Constraints: 26612
53.06/53.26 c #Conflicts: 196000 | #Constraints: 27612
53.06/53.26 c #Conflicts: 197000 | #Constraints: 28612
53.06/53.26 c #Conflicts: 198000 | #Constraints: 29612
53.06/53.26 c INPROCESSING
53.06/53.26 c GARBAGE COLLECT
53.06/53.26 c #Conflicts: 199000 | #Constraints: 21824
53.06/53.26 c #Conflicts: 200000 | #Constraints: 22824
53.06/53.26 c #Conflicts: 201000 | #Constraints: 23824
53.06/53.26 c #Conflicts: 202000 | #Constraints: 24824
53.06/53.26 c #Conflicts: 203000 | #Constraints: 25824
53.06/53.26 c #Conflicts: 204000 | #Constraints: 26824
53.06/53.26 c #Conflicts: 205000 | #Constraints: 27824
53.06/53.26 c #Conflicts: 206000 | #Constraints: 28824
53.06/53.26 c #Conflicts: 207000 | #Constraints: 29824
81.69/81.98 c INPROCESSING
81.69/81.98 c GARBAGE COLLECT
81.69/81.98 c #Conflicts: 208000 | #Constraints: 21824
81.69/81.98 c #Conflicts: 209000 | #Constraints: 22824
81.69/81.98 c #Conflicts: 210000 | #Constraints: 23824
81.69/81.98 c #Conflicts: 211000 | #Constraints: 24824
81.69/81.98 c #Conflicts: 212000 | #Constraints: 25824
81.69/81.98 c #Conflicts: 213000 | #Constraints: 26824
81.69/81.98 c #Conflicts: 214000 | #Constraints: 27824
81.69/81.98 c #Conflicts: 215000 | #Constraints: 28824
81.69/81.98 c #Conflicts: 216000 | #Constraints: 29824
81.69/81.98 c INPROCESSING
81.69/81.98 c GARBAGE COLLECT
81.69/81.98 c #Conflicts: 217000 | #Constraints: 21626
81.69/81.98 c #Conflicts: 218000 | #Constraints: 22626
81.69/81.98 c #Conflicts: 219000 | #Constraints: 23626
81.69/81.98 c #Conflicts: 220000 | #Constraints: 24626
81.69/81.98 c #Conflicts: 221000 | #Constraints: 25626
81.69/81.98 c #Conflicts: 222000 | #Constraints: 26626
81.69/81.98 c #Conflicts: 223000 | #Constraints: 27626
81.69/81.98 c #Conflicts: 224000 | #Constraints: 28626
81.69/81.98 c #Conflicts: 225000 | #Constraints: 29626
81.69/81.98 c #Conflicts: 226000 | #Constraints: 30626
81.69/81.98 c INPROCESSING
81.69/81.98 c GARBAGE COLLECT
81.69/81.98 c #Conflicts: 227000 | #Constraints: 22222
81.69/81.98 c #Conflicts: 228000 | #Constraints: 23222
81.69/81.98 c #Conflicts: 229000 | #Constraints: 24222
81.69/81.98 c #Conflicts: 230000 | #Constraints: 25222
81.69/81.98 c #Conflicts: 231000 | #Constraints: 26222
81.69/81.98 c #Conflicts: 232000 | #Constraints: 27222
81.69/81.98 c #Conflicts: 233000 | #Constraints: 28222
81.69/81.98 c #Conflicts: 234000 | #Constraints: 29222
81.69/81.98 c #Conflicts: 235000 | #Constraints: 30222
81.69/81.98 c #Conflicts: 236000 | #Constraints: 31222
81.69/81.98 c INPROCESSING
81.69/81.98 c GARBAGE COLLECT
81.69/81.98 c #Conflicts: 237000 | #Constraints: 22622
81.69/81.98 c #Conflicts: 238000 | #Constraints: 23622
81.69/81.98 c #Conflicts: 239000 | #Constraints: 24622
81.69/81.98 c #Conflicts: 240000 | #Constraints: 25622
81.69/81.98 c #Conflicts: 241000 | #Constraints: 26622
81.69/81.98 c #Conflicts: 242000 | #Constraints: 27622
81.69/81.98 c #Conflicts: 243000 | #Constraints: 28622
81.69/81.98 c #Conflicts: 244000 | #Constraints: 29622
81.69/81.98 c #Conflicts: 245000 | #Constraints: 30622
81.69/81.98 c #Conflicts: 246000 | #Constraints: 31622
81.69/81.98 c INPROCESSING
81.69/81.98 c GARBAGE COLLECT
81.69/81.98 c #Conflicts: 247000 | #Constraints: 22827
81.69/81.98 c #Conflicts: 248000 | #Constraints: 23827
81.69/81.98 c #Conflicts: 249000 | #Constraints: 24827
81.69/81.98 c #Conflicts: 250000 | #Constraints: 25827
81.69/81.98 c #Conflicts: 251000 | #Constraints: 26827
81.69/81.98 c #Conflicts: 252000 | #Constraints: 27827
81.69/81.98 c #Conflicts: 253000 | #Constraints: 28827
81.69/81.98 c #Conflicts: 254000 | #Constraints: 29827
81.69/81.98 c #Conflicts: 255000 | #Constraints: 30827
81.69/81.98 c #Conflicts: 256000 | #Constraints: 31827
81.69/81.98 c INPROCESSING
81.69/81.98 c GARBAGE COLLECT
81.69/81.98 c #Conflicts: 257000 | #Constraints: 22821
81.69/81.98 c #Conflicts: 258000 | #Constraints: 23821
81.69/81.98 c #Conflicts: 259000 | #Constraints: 24821
81.69/81.98 c #Conflicts: 260000 | #Constraints: 25821
81.69/81.98 c #Conflicts: 261000 | #Constraints: 26821
81.69/81.98 c #Conflicts: 262000 | #Constraints: 27821
81.69/81.98 c #Conflicts: 263000 | #Constraints: 28821
81.69/81.98 c #Conflicts: 264000 | #Constraints: 29821
81.69/81.98 c #Conflicts: 265000 | #Constraints: 30821
81.69/81.98 c #Conflicts: 266000 | #Constraints: 31821
81.69/81.98 c INPROCESSING
81.69/81.98 c GARBAGE COLLECT
81.69/81.98 c #Conflicts: 267000 | #Constraints: 22625
81.69/81.98 c #Conflicts: 268000 | #Constraints: 23625
81.69/81.98 c #Conflicts: 269000 | #Constraints: 24625
81.69/81.98 c #Conflicts: 270000 | #Constraints: 25625
81.69/81.98 c #Conflicts: 271000 | #Constraints: 26625
81.69/81.98 c #Conflicts: 272000 | #Constraints: 27625
81.69/81.98 c #Conflicts: 273000 | #Constraints: 28625
81.69/81.98 c #Conflicts: 274000 | #Constraints: 29625
81.69/81.98 c #Conflicts: 275000 | #Constraints: 30625
81.69/81.98 c #Conflicts: 276000 | #Constraints: 31625
81.69/81.98 c #Conflicts: 277000 | #Constraints: 32625
81.69/81.98 c INPROCESSING
81.69/81.98 c GARBAGE COLLECT
81.69/81.98 c #Conflicts: 278000 | #Constraints: 23222
81.69/81.98 c #Conflicts: 279000 | #Constraints: 24222
81.69/81.98 c #Conflicts: 280000 | #Constraints: 25222
81.69/81.98 c #Conflicts: 281000 | #Constraints: 26222
114.11/114.47 c #Conflicts: 282000 | #Constraints: 27222
114.11/114.47 c #Conflicts: 283000 | #Constraints: 28222
114.11/114.47 c #Conflicts: 284000 | #Constraints: 29222
114.11/114.47 c #Conflicts: 285000 | #Constraints: 30222
114.11/114.47 c #Conflicts: 286000 | #Constraints: 31222
114.11/114.47 c #Conflicts: 287000 | #Constraints: 32222
114.11/114.47 c #Conflicts: 288000 | #Constraints: 33222
114.11/114.47 c INPROCESSING
114.11/114.47 c GARBAGE COLLECT
114.11/114.47 c #Conflicts: 289000 | #Constraints: 23626
114.11/114.47 c #Conflicts: 290000 | #Constraints: 24626
114.11/114.47 c #Conflicts: 291000 | #Constraints: 25626
114.11/114.47 c #Conflicts: 292000 | #Constraints: 26626
114.11/114.47 c #Conflicts: 293000 | #Constraints: 27626
114.11/114.47 c #Conflicts: 294000 | #Constraints: 28626
114.11/114.47 c #Conflicts: 295000 | #Constraints: 29626
114.11/114.47 c #Conflicts: 296000 | #Constraints: 30626
114.11/114.47 c #Conflicts: 297000 | #Constraints: 31626
114.11/114.47 c #Conflicts: 298000 | #Constraints: 32626
114.11/114.47 c #Conflicts: 299000 | #Constraints: 33626
114.11/114.47 c INPROCESSING
114.11/114.47 c GARBAGE COLLECT
114.11/114.47 c #Conflicts: 300000 | #Constraints: 23825
114.11/114.47 c #Conflicts: 301000 | #Constraints: 24825
114.11/114.47 c #Conflicts: 302000 | #Constraints: 25825
114.11/114.47 c #Conflicts: 303000 | #Constraints: 26825
114.11/114.47 c #Conflicts: 304000 | #Constraints: 27825
114.11/114.47 c #Conflicts: 305000 | #Constraints: 28825
114.11/114.47 c #Conflicts: 306000 | #Constraints: 29825
114.11/114.47 c #Conflicts: 307000 | #Constraints: 30825
114.11/114.47 c #Conflicts: 308000 | #Constraints: 31825
114.11/114.47 c #Conflicts: 309000 | #Constraints: 32825
114.11/114.47 c #Conflicts: 310000 | #Constraints: 33825
114.11/114.47 c INPROCESSING
114.11/114.47 c GARBAGE COLLECT
114.11/114.47 c #Conflicts: 311000 | #Constraints: 23822
114.11/114.47 c #Conflicts: 312000 | #Constraints: 24822
114.11/114.47 c #Conflicts: 313000 | #Constraints: 25822
114.11/114.47 c #Conflicts: 314000 | #Constraints: 26822
114.11/114.47 c #Conflicts: 315000 | #Constraints: 27822
114.11/114.47 c #Conflicts: 316000 | #Constraints: 28822
114.11/114.47 c #Conflicts: 317000 | #Constraints: 29822
114.11/114.47 c #Conflicts: 318000 | #Constraints: 30822
114.11/114.47 c #Conflicts: 319000 | #Constraints: 31822
114.11/114.47 c #Conflicts: 320000 | #Constraints: 32822
114.11/114.47 c #Conflicts: 321000 | #Constraints: 33822
114.11/114.47 c INPROCESSING
114.11/114.47 c GARBAGE COLLECT
114.11/114.47 c #Conflicts: 322000 | #Constraints: 23626
114.11/114.47 c #Conflicts: 323000 | #Constraints: 24626
114.11/114.47 c #Conflicts: 324000 | #Constraints: 25626
114.11/114.47 c #Conflicts: 325000 | #Constraints: 26626
114.11/114.47 c #Conflicts: 326000 | #Constraints: 27626
114.11/114.47 c #Conflicts: 327000 | #Constraints: 28626
114.11/114.47 c #Conflicts: 328000 | #Constraints: 29626
114.11/114.47 c #Conflicts: 329000 | #Constraints: 30626
114.11/114.47 c #Conflicts: 330000 | #Constraints: 31626
114.11/114.47 c #Conflicts: 331000 | #Constraints: 32626
114.11/114.47 c #Conflicts: 332000 | #Constraints: 33626
114.11/114.47 c #Conflicts: 333000 | #Constraints: 34626
114.11/114.47 c INPROCESSING
114.11/114.47 c GARBAGE COLLECT
114.11/114.47 c #Conflicts: 334000 | #Constraints: 24228
114.11/114.47 c #Conflicts: 335000 | #Constraints: 25228
114.11/114.47 c #Conflicts: 336000 | #Constraints: 26228
114.11/114.47 c #Conflicts: 337000 | #Constraints: 27228
114.11/114.47 c #Conflicts: 338000 | #Constraints: 28228
114.11/114.47 c #Conflicts: 339000 | #Constraints: 29228
114.11/114.47 c #Conflicts: 340000 | #Constraints: 30228
114.11/114.47 c #Conflicts: 341000 | #Constraints: 31228
114.11/114.47 c #Conflicts: 342000 | #Constraints: 32228
114.11/114.47 c #Conflicts: 343000 | #Constraints: 33228
114.11/114.47 c #Conflicts: 344000 | #Constraints: 34228
114.11/114.47 c #Conflicts: 345000 | #Constraints: 35228
114.11/114.47 c INPROCESSING
114.11/114.47 c GARBAGE COLLECT
114.11/114.47 c #Conflicts: 346000 | #Constraints: 24629
114.11/114.47 c #Conflicts: 347000 | #Constraints: 25629
114.11/114.47 c #Conflicts: 348000 | #Constraints: 26629
114.11/114.47 c #Conflicts: 349000 | #Constraints: 27629
114.11/114.47 c #Conflicts: 350000 | #Constraints: 28629
114.11/114.47 c #Conflicts: 351000 | #Constraints: 29629
114.11/114.47 c #Conflicts: 352000 | #Constraints: 30629
114.11/114.47 c #Conflicts: 353000 | #Constraints: 31629
114.11/114.47 c #Conflicts: 354000 | #Constraints: 32629
114.11/114.47 c #Conflicts: 355000 | #Constraints: 33629
114.11/114.47 c #Conflicts: 356000 | #Constraints: 34629
150.11/150.57 c #Conflicts: 357000 | #Constraints: 35629
150.11/150.57 c INPROCESSING
150.11/150.57 c GARBAGE COLLECT
150.11/150.57 c #Conflicts: 358000 | #Constraints: 24826
150.11/150.57 c #Conflicts: 359000 | #Constraints: 25826
150.11/150.57 c #Conflicts: 360000 | #Constraints: 26826
150.11/150.57 c #Conflicts: 361000 | #Constraints: 27826
150.11/150.57 c #Conflicts: 362000 | #Constraints: 28826
150.11/150.57 c #Conflicts: 363000 | #Constraints: 29826
150.11/150.57 c #Conflicts: 364000 | #Constraints: 30826
150.11/150.57 c #Conflicts: 365000 | #Constraints: 31826
150.11/150.57 c #Conflicts: 366000 | #Constraints: 32826
150.11/150.57 c #Conflicts: 367000 | #Constraints: 33826
150.11/150.57 c #Conflicts: 368000 | #Constraints: 34826
150.11/150.57 c #Conflicts: 369000 | #Constraints: 35826
150.11/150.57 c INPROCESSING
150.11/150.57 c GARBAGE COLLECT
150.11/150.57 c #Conflicts: 370000 | #Constraints: 24826
150.11/150.57 c #Conflicts: 371000 | #Constraints: 25826
150.11/150.57 c #Conflicts: 372000 | #Constraints: 26826
150.11/150.57 c #Conflicts: 373000 | #Constraints: 27826
150.11/150.57 c #Conflicts: 374000 | #Constraints: 28826
150.11/150.57 c #Conflicts: 375000 | #Constraints: 29826
150.11/150.57 c #Conflicts: 376000 | #Constraints: 30826
150.11/150.57 c #Conflicts: 377000 | #Constraints: 31826
150.11/150.57 c #Conflicts: 378000 | #Constraints: 32826
150.11/150.57 c #Conflicts: 379000 | #Constraints: 33826
150.11/150.57 c #Conflicts: 380000 | #Constraints: 34826
150.11/150.57 c #Conflicts: 381000 | #Constraints: 35826
150.11/150.57 c INPROCESSING
150.11/150.57 c GARBAGE COLLECT
150.11/150.57 c #Conflicts: 382000 | #Constraints: 24629
150.11/150.57 c #Conflicts: 383000 | #Constraints: 25629
150.11/150.57 c #Conflicts: 384000 | #Constraints: 26629
150.11/150.57 c #Conflicts: 385000 | #Constraints: 27629
150.11/150.57 c #Conflicts: 386000 | #Constraints: 28629
150.11/150.57 c #Conflicts: 387000 | #Constraints: 29629
150.11/150.57 c #Conflicts: 388000 | #Constraints: 30629
150.11/150.57 c #Conflicts: 389000 | #Constraints: 31629
150.11/150.57 c #Conflicts: 390000 | #Constraints: 32629
150.11/150.57 c #Conflicts: 391000 | #Constraints: 33629
150.11/150.57 c #Conflicts: 392000 | #Constraints: 34629
150.11/150.57 c #Conflicts: 393000 | #Constraints: 35629
150.11/150.57 c #Conflicts: 394000 | #Constraints: 36629
150.11/150.57 c INPROCESSING
150.11/150.57 c GARBAGE COLLECT
150.11/150.57 c #Conflicts: 395000 | #Constraints: 25235
150.11/150.57 c #Conflicts: 396000 | #Constraints: 26235
150.11/150.57 c #Conflicts: 397000 | #Constraints: 27235
150.11/150.57 c #Conflicts: 398000 | #Constraints: 28235
150.11/150.57 c #Conflicts: 399000 | #Constraints: 29235
150.11/150.57 c #Conflicts: 400000 | #Constraints: 30235
150.11/150.57 c #Conflicts: 401000 | #Constraints: 31235
150.11/150.57 c #Conflicts: 402000 | #Constraints: 32235
150.11/150.57 c #Conflicts: 403000 | #Constraints: 33235
150.11/150.57 c #Conflicts: 404000 | #Constraints: 34235
150.11/150.57 c #Conflicts: 405000 | #Constraints: 35235
150.11/150.57 c #Conflicts: 406000 | #Constraints: 36235
150.11/150.57 c #Conflicts: 407000 | #Constraints: 37235
150.11/150.57 c INPROCESSING
150.11/150.57 c GARBAGE COLLECT
150.11/150.57 c #Conflicts: 408000 | #Constraints: 25634
150.11/150.57 c #Conflicts: 409000 | #Constraints: 26634
150.11/150.57 c #Conflicts: 410000 | #Constraints: 27634
150.11/150.57 c #Conflicts: 411000 | #Constraints: 28634
150.11/150.57 c #Conflicts: 412000 | #Constraints: 29634
150.11/150.57 c #Conflicts: 413000 | #Constraints: 30634
150.11/150.57 c #Conflicts: 414000 | #Constraints: 31634
150.11/150.57 c #Conflicts: 415000 | #Constraints: 32634
150.11/150.57 c #Conflicts: 416000 | #Constraints: 33634
150.11/150.57 c #Conflicts: 417000 | #Constraints: 34634
150.11/150.57 c #Conflicts: 418000 | #Constraints: 35634
150.11/150.57 c #Conflicts: 419000 | #Constraints: 36634
150.11/150.57 c #Conflicts: 420000 | #Constraints: 37634
150.11/150.57 c INPROCESSING
150.11/150.57 c GARBAGE COLLECT
150.11/150.57 c #Conflicts: 421000 | #Constraints: 25840
150.11/150.57 c #Conflicts: 422000 | #Constraints: 26840
150.11/150.57 c #Conflicts: 423000 | #Constraints: 27840
150.11/150.57 c #Conflicts: 424000 | #Constraints: 28840
150.11/150.57 c #Conflicts: 425000 | #Constraints: 29840
150.11/150.57 c #Conflicts: 426000 | #Constraints: 30840
150.11/150.57 c #Conflicts: 427000 | #Constraints: 31840
150.11/150.57 c #Conflicts: 428000 | #Constraints: 32840
150.11/150.57 c #Conflicts: 429000 | #Constraints: 33840
150.11/150.57 c #Conflicts: 430000 | #Constraints: 34840
150.11/150.57 c #Conflicts: 431000 | #Constraints: 35840
190.01/190.59 c #Conflicts: 432000 | #Constraints: 36840
190.01/190.59 c #Conflicts: 433000 | #Constraints: 37840
190.01/190.59 c INPROCESSING
190.01/190.59 c GARBAGE COLLECT
190.01/190.59 c #Conflicts: 434000 | #Constraints: 25837
190.01/190.59 c #Conflicts: 435000 | #Constraints: 26837
190.01/190.59 c #Conflicts: 436000 | #Constraints: 27837
190.01/190.59 c #Conflicts: 437000 | #Constraints: 28837
190.01/190.59 c #Conflicts: 438000 | #Constraints: 29837
190.01/190.59 c #Conflicts: 439000 | #Constraints: 30837
190.01/190.59 c #Conflicts: 440000 | #Constraints: 31837
190.01/190.59 c #Conflicts: 441000 | #Constraints: 32837
190.01/190.59 c #Conflicts: 442000 | #Constraints: 33837
190.01/190.59 c #Conflicts: 443000 | #Constraints: 34837
190.01/190.59 c #Conflicts: 444000 | #Constraints: 35837
190.01/190.59 c #Conflicts: 445000 | #Constraints: 36837
190.01/190.59 c #Conflicts: 446000 | #Constraints: 37837
190.01/190.59 c INPROCESSING
190.01/190.59 c GARBAGE COLLECT
190.01/190.59 c #Conflicts: 447000 | #Constraints: 25629
190.01/190.59 c #Conflicts: 448000 | #Constraints: 26629
190.01/190.59 c #Conflicts: 449000 | #Constraints: 27629
190.01/190.59 c #Conflicts: 450000 | #Constraints: 28629
190.01/190.59 c #Conflicts: 451000 | #Constraints: 29629
190.01/190.59 c #Conflicts: 452000 | #Constraints: 30629
190.01/190.59 c #Conflicts: 453000 | #Constraints: 31629
190.01/190.59 c #Conflicts: 454000 | #Constraints: 32629
190.01/190.59 c #Conflicts: 455000 | #Constraints: 33629
190.01/190.59 c #Conflicts: 456000 | #Constraints: 34629
190.01/190.59 c #Conflicts: 457000 | #Constraints: 35629
190.01/190.59 c #Conflicts: 458000 | #Constraints: 36629
190.01/190.59 c #Conflicts: 459000 | #Constraints: 37629
190.01/190.59 c #Conflicts: 460000 | #Constraints: 38629
190.01/190.59 c INPROCESSING
190.01/190.59 c GARBAGE COLLECT
190.01/190.59 c #Conflicts: 461000 | #Constraints: 26228
190.01/190.59 c #Conflicts: 462000 | #Constraints: 27228
190.01/190.59 c #Conflicts: 463000 | #Constraints: 28228
190.01/190.59 c #Conflicts: 464000 | #Constraints: 29228
190.01/190.59 c #Conflicts: 465000 | #Constraints: 30228
190.01/190.59 c #Conflicts: 466000 | #Constraints: 31228
190.01/190.59 c #Conflicts: 467000 | #Constraints: 32228
190.01/190.59 c #Conflicts: 468000 | #Constraints: 33228
190.01/190.59 c #Conflicts: 469000 | #Constraints: 34228
190.01/190.59 c #Conflicts: 470000 | #Constraints: 35228
190.01/190.59 c #Conflicts: 471000 | #Constraints: 36228
190.01/190.59 c #Conflicts: 472000 | #Constraints: 37228
190.01/190.59 c #Conflicts: 473000 | #Constraints: 38228
190.01/190.59 c #Conflicts: 474000 | #Constraints: 39228
190.01/190.59 c INPROCESSING
190.01/190.59 c GARBAGE COLLECT
190.01/190.59 c #Conflicts: 475000 | #Constraints: 26634
190.01/190.59 c #Conflicts: 476000 | #Constraints: 27634
190.01/190.59 c #Conflicts: 477000 | #Constraints: 28634
190.01/190.59 c #Conflicts: 478000 | #Constraints: 29634
190.01/190.59 c #Conflicts: 479000 | #Constraints: 30634
190.01/190.59 c #Conflicts: 480000 | #Constraints: 31634
190.01/190.59 c #Conflicts: 481000 | #Constraints: 32634
190.01/190.59 c #Conflicts: 482000 | #Constraints: 33634
190.01/190.59 c #Conflicts: 483000 | #Constraints: 34634
190.01/190.59 c #Conflicts: 484000 | #Constraints: 35634
190.01/190.59 c #Conflicts: 485000 | #Constraints: 36634
190.01/190.59 c #Conflicts: 486000 | #Constraints: 37634
190.01/190.59 c #Conflicts: 487000 | #Constraints: 38634
190.01/190.59 c #Conflicts: 488000 | #Constraints: 39634
190.01/190.59 c INPROCESSING
190.01/190.59 c GARBAGE COLLECT
190.01/190.59 c #Conflicts: 489000 | #Constraints: 26825
190.01/190.59 c #Conflicts: 490000 | #Constraints: 27825
190.01/190.59 c #Conflicts: 491000 | #Constraints: 28825
190.01/190.59 c #Conflicts: 492000 | #Constraints: 29825
190.01/190.59 c #Conflicts: 493000 | #Constraints: 30825
190.01/190.59 c #Conflicts: 494000 | #Constraints: 31825
190.01/190.59 c #Conflicts: 495000 | #Constraints: 32825
190.01/190.59 c #Conflicts: 496000 | #Constraints: 33825
190.01/190.59 c #Conflicts: 497000 | #Constraints: 34825
190.01/190.59 c #Conflicts: 498000 | #Constraints: 35825
190.01/190.59 c #Conflicts: 499000 | #Constraints: 36825
190.01/190.59 c #Conflicts: 500000 | #Constraints: 37825
190.01/190.59 c #Conflicts: 501000 | #Constraints: 38825
190.01/190.59 c #Conflicts: 502000 | #Constraints: 39825
190.01/190.59 c INPROCESSING
190.01/190.59 c GARBAGE COLLECT
190.01/190.59 c #Conflicts: 503000 | #Constraints: 26836
190.01/190.59 c #Conflicts: 504000 | #Constraints: 27836
190.01/190.59 c #Conflicts: 505000 | #Constraints: 28836
190.01/190.59 c #Conflicts: 506000 | #Constraints: 29836
231.69/232.32 c #Conflicts: 507000 | #Constraints: 30836
231.69/232.32 c #Conflicts: 508000 | #Constraints: 31836
231.69/232.32 c #Conflicts: 509000 | #Constraints: 32836
231.69/232.32 c #Conflicts: 510000 | #Constraints: 33836
231.69/232.32 c #Conflicts: 511000 | #Constraints: 34836
231.69/232.32 c #Conflicts: 512000 | #Constraints: 35836
231.69/232.32 c #Conflicts: 513000 | #Constraints: 36836
231.69/232.32 c #Conflicts: 514000 | #Constraints: 37836
231.69/232.32 c #Conflicts: 515000 | #Constraints: 38836
231.69/232.32 c #Conflicts: 516000 | #Constraints: 39836
231.69/232.32 c INPROCESSING
231.69/232.32 c GARBAGE COLLECT
231.69/232.32 c #Conflicts: 517000 | #Constraints: 26629
231.69/232.32 c #Conflicts: 518000 | #Constraints: 27629
231.69/232.32 c #Conflicts: 519000 | #Constraints: 28629
231.69/232.32 c #Conflicts: 520000 | #Constraints: 29629
231.69/232.32 c #Conflicts: 521000 | #Constraints: 30629
231.69/232.32 c #Conflicts: 522000 | #Constraints: 31629
231.69/232.32 c #Conflicts: 523000 | #Constraints: 32629
231.69/232.32 c #Conflicts: 524000 | #Constraints: 33629
231.69/232.32 c #Conflicts: 525000 | #Constraints: 34629
231.69/232.32 c #Conflicts: 526000 | #Constraints: 35629
231.69/232.32 c #Conflicts: 527000 | #Constraints: 36629
231.69/232.32 c #Conflicts: 528000 | #Constraints: 37629
231.69/232.32 c #Conflicts: 529000 | #Constraints: 38629
231.69/232.32 c #Conflicts: 530000 | #Constraints: 39629
231.69/232.32 c #Conflicts: 531000 | #Constraints: 40629
231.69/232.32 c INPROCESSING
231.69/232.32 c GARBAGE COLLECT
231.69/232.32 c #Conflicts: 532000 | #Constraints: 27225
231.69/232.32 c #Conflicts: 533000 | #Constraints: 28225
231.69/232.32 c #Conflicts: 534000 | #Constraints: 29225
231.69/232.32 c #Conflicts: 535000 | #Constraints: 30225
231.69/232.32 c #Conflicts: 536000 | #Constraints: 31225
231.69/232.32 c #Conflicts: 537000 | #Constraints: 32225
231.69/232.32 c #Conflicts: 538000 | #Constraints: 33225
231.69/232.32 c #Conflicts: 539000 | #Constraints: 34225
231.69/232.32 c #Conflicts: 540000 | #Constraints: 35225
231.69/232.32 c #Conflicts: 541000 | #Constraints: 36225
231.69/232.32 c #Conflicts: 542000 | #Constraints: 37225
231.69/232.32 c #Conflicts: 543000 | #Constraints: 38225
231.69/232.32 c #Conflicts: 544000 | #Constraints: 39225
231.69/232.32 c #Conflicts: 545000 | #Constraints: 40225
231.69/232.32 c #Conflicts: 546000 | #Constraints: 41225
231.69/232.32 c INPROCESSING
231.69/232.32 c GARBAGE COLLECT
231.69/232.32 c #Conflicts: 547000 | #Constraints: 27632
231.69/232.32 c #Conflicts: 548000 | #Constraints: 28632
231.69/232.32 c #Conflicts: 549000 | #Constraints: 29632
231.69/232.32 c #Conflicts: 550000 | #Constraints: 30632
231.69/232.32 c #Conflicts: 551000 | #Constraints: 31632
231.69/232.32 c #Conflicts: 552000 | #Constraints: 32632
231.69/232.32 c #Conflicts: 553000 | #Constraints: 33632
231.69/232.32 c #Conflicts: 554000 | #Constraints: 34632
231.69/232.32 c #Conflicts: 555000 | #Constraints: 35632
231.69/232.32 c #Conflicts: 556000 | #Constraints: 36632
231.69/232.32 c #Conflicts: 557000 | #Constraints: 37632
231.69/232.32 c #Conflicts: 558000 | #Constraints: 38632
231.69/232.32 c #Conflicts: 559000 | #Constraints: 39632
231.69/232.32 c #Conflicts: 560000 | #Constraints: 40632
231.69/232.32 c #Conflicts: 561000 | #Constraints: 41632
231.69/232.32 c INPROCESSING
231.69/232.32 c GARBAGE COLLECT
231.69/232.32 c #Conflicts: 562000 | #Constraints: 27833
231.69/232.32 c #Conflicts: 563000 | #Constraints: 28833
231.69/232.32 c #Conflicts: 564000 | #Constraints: 29833
231.69/232.32 c #Conflicts: 565000 | #Constraints: 30833
231.69/232.32 c #Conflicts: 566000 | #Constraints: 31833
231.69/232.32 c #Conflicts: 567000 | #Constraints: 32833
231.69/232.32 c #Conflicts: 568000 | #Constraints: 33833
231.69/232.32 c #Conflicts: 569000 | #Constraints: 34833
231.69/232.32 c #Conflicts: 570000 | #Constraints: 35833
231.69/232.32 c #Conflicts: 571000 | #Constraints: 36833
231.69/232.32 c #Conflicts: 572000 | #Constraints: 37833
231.69/232.32 c #Conflicts: 573000 | #Constraints: 38833
231.69/232.32 c #Conflicts: 574000 | #Constraints: 39833
231.69/232.32 c #Conflicts: 575000 | #Constraints: 40833
231.69/232.32 c #Conflicts: 576000 | #Constraints: 41833
231.69/232.32 c INPROCESSING
231.69/232.32 c GARBAGE COLLECT
231.69/232.32 c #Conflicts: 577000 | #Constraints: 27829
231.69/232.32 c #Conflicts: 578000 | #Constraints: 28829
231.69/232.32 c #Conflicts: 579000 | #Constraints: 29829
231.69/232.32 c #Conflicts: 580000 | #Constraints: 30829
231.69/232.32 c #Conflicts: 581000 | #Constraints: 31829
274.78/275.58 c #Conflicts: 582000 | #Constraints: 32829
274.78/275.58 c #Conflicts: 583000 | #Constraints: 33829
274.78/275.58 c #Conflicts: 584000 | #Constraints: 34829
274.78/275.58 c #Conflicts: 585000 | #Constraints: 35829
274.78/275.58 c #Conflicts: 586000 | #Constraints: 36829
274.78/275.58 c #Conflicts: 587000 | #Constraints: 37829
274.78/275.58 c #Conflicts: 588000 | #Constraints: 38829
274.78/275.58 c #Conflicts: 589000 | #Constraints: 39829
274.78/275.58 c #Conflicts: 590000 | #Constraints: 40829
274.78/275.58 c #Conflicts: 591000 | #Constraints: 41829
274.78/275.58 c INPROCESSING
274.78/275.58 c GARBAGE COLLECT
274.78/275.58 c #Conflicts: 592000 | #Constraints: 27628
274.78/275.58 c #Conflicts: 593000 | #Constraints: 28628
274.78/275.58 c #Conflicts: 594000 | #Constraints: 29628
274.78/275.58 c #Conflicts: 595000 | #Constraints: 30628
274.78/275.58 c #Conflicts: 596000 | #Constraints: 31628
274.78/275.58 c #Conflicts: 597000 | #Constraints: 32628
274.78/275.58 c #Conflicts: 598000 | #Constraints: 33628
274.78/275.58 c #Conflicts: 599000 | #Constraints: 34628
274.78/275.58 c #Conflicts: 600000 | #Constraints: 35628
274.78/275.58 c #Conflicts: 601000 | #Constraints: 36628
274.78/275.58 c #Conflicts: 602000 | #Constraints: 37628
274.78/275.58 c #Conflicts: 603000 | #Constraints: 38628
274.78/275.58 c #Conflicts: 604000 | #Constraints: 39628
274.78/275.58 c #Conflicts: 605000 | #Constraints: 40628
274.78/275.58 c #Conflicts: 606000 | #Constraints: 41628
274.78/275.58 c #Conflicts: 607000 | #Constraints: 42628
274.78/275.58 c INPROCESSING
274.78/275.58 c GARBAGE COLLECT
274.78/275.58 c #Conflicts: 608000 | #Constraints: 28227
274.78/275.58 c #Conflicts: 609000 | #Constraints: 29227
274.78/275.58 c #Conflicts: 610000 | #Constraints: 30227
274.78/275.58 c #Conflicts: 611000 | #Constraints: 31227
274.78/275.58 c #Conflicts: 612000 | #Constraints: 32227
274.78/275.58 c #Conflicts: 613000 | #Constraints: 33227
274.78/275.58 c #Conflicts: 614000 | #Constraints: 34227
274.78/275.58 c #Conflicts: 615000 | #Constraints: 35227
274.78/275.58 c #Conflicts: 616000 | #Constraints: 36227
274.78/275.58 c #Conflicts: 617000 | #Constraints: 37227
274.78/275.58 c #Conflicts: 618000 | #Constraints: 38227
274.78/275.58 c #Conflicts: 619000 | #Constraints: 39227
274.78/275.58 c #Conflicts: 620000 | #Constraints: 40227
274.78/275.58 c #Conflicts: 621000 | #Constraints: 41227
274.78/275.58 c #Conflicts: 622000 | #Constraints: 42227
274.78/275.58 c #Conflicts: 623000 | #Constraints: 43227
274.78/275.58 c INPROCESSING
274.78/275.58 c GARBAGE COLLECT
274.78/275.58 c #Conflicts: 624000 | #Constraints: 28632
274.78/275.58 c #Conflicts: 625000 | #Constraints: 29632
274.78/275.58 c #Conflicts: 626000 | #Constraints: 30632
274.78/275.58 c #Conflicts: 627000 | #Constraints: 31632
274.78/275.58 c #Conflicts: 628000 | #Constraints: 32632
274.78/275.58 c #Conflicts: 629000 | #Constraints: 33632
274.78/275.58 c #Conflicts: 630000 | #Constraints: 34632
274.78/275.58 c #Conflicts: 631000 | #Constraints: 35632
274.78/275.58 c #Conflicts: 632000 | #Constraints: 36632
274.78/275.58 c #Conflicts: 633000 | #Constraints: 37632
274.78/275.58 c #Conflicts: 634000 | #Constraints: 38632
274.78/275.58 c #Conflicts: 635000 | #Constraints: 39632
274.78/275.58 c #Conflicts: 636000 | #Constraints: 40632
274.78/275.58 c #Conflicts: 637000 | #Constraints: 41632
274.78/275.58 c #Conflicts: 638000 | #Constraints: 42632
274.78/275.58 c #Conflicts: 639000 | #Constraints: 43632
274.78/275.58 c INPROCESSING
274.78/275.58 c GARBAGE COLLECT
274.78/275.58 c #Conflicts: 640000 | #Constraints: 28825
274.78/275.58 c #Conflicts: 641000 | #Constraints: 29825
274.78/275.58 c #Conflicts: 642000 | #Constraints: 30825
274.78/275.58 c #Conflicts: 643000 | #Constraints: 31825
274.78/275.58 c #Conflicts: 644000 | #Constraints: 32825
274.78/275.58 c #Conflicts: 645000 | #Constraints: 33825
274.78/275.58 c #Conflicts: 646000 | #Constraints: 34825
274.78/275.58 c #Conflicts: 647000 | #Constraints: 35825
274.78/275.58 c #Conflicts: 648000 | #Constraints: 36825
274.78/275.58 c #Conflicts: 649000 | #Constraints: 37825
274.78/275.58 c #Conflicts: 650000 | #Constraints: 38825
274.78/275.58 c #Conflicts: 651000 | #Constraints: 39825
274.78/275.58 c #Conflicts: 652000 | #Constraints: 40825
274.78/275.58 c #Conflicts: 653000 | #Constraints: 41825
274.78/275.58 c #Conflicts: 654000 | #Constraints: 42825
274.78/275.58 c #Conflicts: 655000 | #Constraints: 43825
274.78/275.58 c INPROCESSING
274.78/275.58 c GARBAGE COLLECT
274.78/275.58 c #Conflicts: 656000 | #Constraints: 28834
274.78/275.58 c #Conflicts: 657000 | #Constraints: 29834
320.86/321.76 c #Conflicts: 658000 | #Constraints: 30834
320.86/321.76 c #Conflicts: 659000 | #Constraints: 31834
320.86/321.76 c #Conflicts: 660000 | #Constraints: 32834
320.86/321.76 c #Conflicts: 661000 | #Constraints: 33834
320.86/321.76 c #Conflicts: 662000 | #Constraints: 34834
320.86/321.76 c #Conflicts: 663000 | #Constraints: 35834
320.86/321.76 c #Conflicts: 664000 | #Constraints: 36834
320.86/321.76 c #Conflicts: 665000 | #Constraints: 37834
320.86/321.76 c #Conflicts: 666000 | #Constraints: 38834
320.86/321.76 c #Conflicts: 667000 | #Constraints: 39834
320.86/321.76 c #Conflicts: 668000 | #Constraints: 40834
320.86/321.76 c #Conflicts: 669000 | #Constraints: 41834
320.86/321.76 c #Conflicts: 670000 | #Constraints: 42834
320.86/321.76 c #Conflicts: 671000 | #Constraints: 43834
320.86/321.76 c INPROCESSING
320.86/321.76 c GARBAGE COLLECT
320.86/321.76 c #Conflicts: 672000 | #Constraints: 28633
320.86/321.76 c #Conflicts: 673000 | #Constraints: 29633
320.86/321.76 c #Conflicts: 674000 | #Constraints: 30633
320.86/321.76 c #Conflicts: 675000 | #Constraints: 31633
320.86/321.76 c #Conflicts: 676000 | #Constraints: 32633
320.86/321.76 c #Conflicts: 677000 | #Constraints: 33633
320.86/321.76 c #Conflicts: 678000 | #Constraints: 34633
320.86/321.76 c #Conflicts: 679000 | #Constraints: 35633
320.86/321.76 c #Conflicts: 680000 | #Constraints: 36633
320.86/321.76 c #Conflicts: 681000 | #Constraints: 37633
320.86/321.76 c #Conflicts: 682000 | #Constraints: 38633
320.86/321.76 c #Conflicts: 683000 | #Constraints: 39633
320.86/321.76 c #Conflicts: 684000 | #Constraints: 40633
320.86/321.76 c #Conflicts: 685000 | #Constraints: 41633
320.86/321.76 c #Conflicts: 686000 | #Constraints: 42633
320.86/321.76 c #Conflicts: 687000 | #Constraints: 43633
320.86/321.76 c #Conflicts: 688000 | #Constraints: 44633
320.86/321.76 c INPROCESSING
320.86/321.76 c GARBAGE COLLECT
320.86/321.76 c #Conflicts: 689000 | #Constraints: 29228
320.86/321.76 c #Conflicts: 690000 | #Constraints: 30228
320.86/321.76 c #Conflicts: 691000 | #Constraints: 31228
320.86/321.76 c #Conflicts: 692000 | #Constraints: 32228
320.86/321.76 c #Conflicts: 693000 | #Constraints: 33228
320.86/321.76 c #Conflicts: 694000 | #Constraints: 34228
320.86/321.76 c #Conflicts: 695000 | #Constraints: 35228
320.86/321.76 c #Conflicts: 696000 | #Constraints: 36228
320.86/321.76 c #Conflicts: 697000 | #Constraints: 37228
320.86/321.76 c #Conflicts: 698000 | #Constraints: 38228
320.86/321.76 c #Conflicts: 699000 | #Constraints: 39228
320.86/321.76 c #Conflicts: 700000 | #Constraints: 40228
320.86/321.76 c #Conflicts: 701000 | #Constraints: 41228
320.86/321.76 c #Conflicts: 702000 | #Constraints: 42228
320.86/321.76 c #Conflicts: 703000 | #Constraints: 43228
320.86/321.76 c #Conflicts: 704000 | #Constraints: 44228
320.86/321.76 c #Conflicts: 705000 | #Constraints: 45228
320.86/321.76 c INPROCESSING
320.86/321.76 c GARBAGE COLLECT
320.86/321.76 c #Conflicts: 706000 | #Constraints: 29625
320.86/321.76 c #Conflicts: 707000 | #Constraints: 30625
320.86/321.76 c #Conflicts: 708000 | #Constraints: 31625
320.86/321.76 c #Conflicts: 709000 | #Constraints: 32625
320.86/321.76 c #Conflicts: 710000 | #Constraints: 33625
320.86/321.76 c #Conflicts: 711000 | #Constraints: 34625
320.86/321.76 c #Conflicts: 712000 | #Constraints: 35625
320.86/321.76 c #Conflicts: 713000 | #Constraints: 36625
320.86/321.76 c #Conflicts: 714000 | #Constraints: 37625
320.86/321.76 c #Conflicts: 715000 | #Constraints: 38625
320.86/321.76 c #Conflicts: 716000 | #Constraints: 39625
320.86/321.76 c #Conflicts: 717000 | #Constraints: 40625
320.86/321.76 c #Conflicts: 718000 | #Constraints: 41625
320.86/321.76 c #Conflicts: 719000 | #Constraints: 42625
320.86/321.76 c #Conflicts: 720000 | #Constraints: 43625
320.86/321.76 c #Conflicts: 721000 | #Constraints: 44625
320.86/321.76 c #Conflicts: 722000 | #Constraints: 45625
320.86/321.76 c INPROCESSING
320.86/321.76 c GARBAGE COLLECT
320.86/321.76 c #Conflicts: 723000 | #Constraints: 29828
320.86/321.76 c #Conflicts: 724000 | #Constraints: 30828
320.86/321.76 c #Conflicts: 725000 | #Constraints: 31828
320.86/321.76 c #Conflicts: 726000 | #Constraints: 32828
320.86/321.76 c #Conflicts: 727000 | #Constraints: 33828
320.86/321.76 c #Conflicts: 728000 | #Constraints: 34828
320.86/321.76 c #Conflicts: 729000 | #Constraints: 35828
320.86/321.76 c #Conflicts: 730000 | #Constraints: 36828
320.86/321.76 c #Conflicts: 731000 | #Constraints: 37828
320.86/321.76 c #Conflicts: 732000 | #Constraints: 38828
320.86/321.76 c #Conflicts: 733000 | #Constraints: 39828
368.64/369.65 c #Conflicts: 734000 | #Constraints: 40828
368.64/369.65 c #Conflicts: 735000 | #Constraints: 41828
368.64/369.65 c #Conflicts: 736000 | #Constraints: 42828
368.64/369.65 c #Conflicts: 737000 | #Constraints: 43828
368.64/369.65 c #Conflicts: 738000 | #Constraints: 44828
368.64/369.65 c #Conflicts: 739000 | #Constraints: 45828
368.64/369.65 c INPROCESSING
368.64/369.65 c GARBAGE COLLECT
368.64/369.65 c #Conflicts: 740000 | #Constraints: 29821
368.64/369.65 c #Conflicts: 741000 | #Constraints: 30821
368.64/369.65 c #Conflicts: 742000 | #Constraints: 31821
368.64/369.65 c #Conflicts: 743000 | #Constraints: 32821
368.64/369.65 c #Conflicts: 744000 | #Constraints: 33821
368.64/369.65 c #Conflicts: 745000 | #Constraints: 34821
368.64/369.65 c #Conflicts: 746000 | #Constraints: 35821
368.64/369.65 c #Conflicts: 747000 | #Constraints: 36821
368.64/369.65 c #Conflicts: 748000 | #Constraints: 37821
368.64/369.65 c #Conflicts: 749000 | #Constraints: 38821
368.64/369.65 c #Conflicts: 750000 | #Constraints: 39821
368.64/369.65 c #Conflicts: 751000 | #Constraints: 40821
368.64/369.65 c #Conflicts: 752000 | #Constraints: 41821
368.64/369.65 c #Conflicts: 753000 | #Constraints: 42821
368.64/369.65 c #Conflicts: 754000 | #Constraints: 43821
368.64/369.65 c #Conflicts: 755000 | #Constraints: 44821
368.64/369.65 c #Conflicts: 756000 | #Constraints: 45821
368.64/369.65 c INPROCESSING
368.64/369.65 c GARBAGE COLLECT
368.64/369.65 c #Conflicts: 757000 | #Constraints: 29618
368.64/369.65 c #Conflicts: 758000 | #Constraints: 30618
368.64/369.65 c #Conflicts: 759000 | #Constraints: 31618
368.64/369.65 c #Conflicts: 760000 | #Constraints: 32618
368.64/369.65 c #Conflicts: 761000 | #Constraints: 33618
368.64/369.65 c #Conflicts: 762000 | #Constraints: 34618
368.64/369.65 c #Conflicts: 763000 | #Constraints: 35618
368.64/369.65 c #Conflicts: 764000 | #Constraints: 36618
368.64/369.65 c #Conflicts: 765000 | #Constraints: 37618
368.64/369.65 c #Conflicts: 766000 | #Constraints: 38618
368.64/369.65 c #Conflicts: 767000 | #Constraints: 39618
368.64/369.65 c #Conflicts: 768000 | #Constraints: 40618
368.64/369.65 c #Conflicts: 769000 | #Constraints: 41618
368.64/369.65 c #Conflicts: 770000 | #Constraints: 42618
368.64/369.65 c #Conflicts: 771000 | #Constraints: 43618
368.64/369.65 c #Conflicts: 772000 | #Constraints: 44618
368.64/369.65 c #Conflicts: 773000 | #Constraints: 45618
368.64/369.65 c #Conflicts: 774000 | #Constraints: 46618
368.64/369.65 c INPROCESSING
368.64/369.65 c GARBAGE COLLECT
368.64/369.65 c #Conflicts: 775000 | #Constraints: 30220
368.64/369.65 c #Conflicts: 776000 | #Constraints: 31220
368.64/369.65 c #Conflicts: 777000 | #Constraints: 32220
368.64/369.65 c #Conflicts: 778000 | #Constraints: 33220
368.64/369.65 c #Conflicts: 779000 | #Constraints: 34220
368.64/369.65 c #Conflicts: 780000 | #Constraints: 35220
368.64/369.65 c #Conflicts: 781000 | #Constraints: 36220
368.64/369.65 c #Conflicts: 782000 | #Constraints: 37220
368.64/369.65 c #Conflicts: 783000 | #Constraints: 38220
368.64/369.65 c #Conflicts: 784000 | #Constraints: 39220
368.64/369.65 c #Conflicts: 785000 | #Constraints: 40220
368.64/369.65 c #Conflicts: 786000 | #Constraints: 41220
368.64/369.65 c #Conflicts: 787000 | #Constraints: 42220
368.64/369.65 c #Conflicts: 788000 | #Constraints: 43220
368.64/369.65 c #Conflicts: 789000 | #Constraints: 44220
368.64/369.65 c #Conflicts: 790000 | #Constraints: 45220
368.64/369.65 c #Conflicts: 791000 | #Constraints: 46220
368.64/369.65 c #Conflicts: 792000 | #Constraints: 47220
368.64/369.65 c INPROCESSING
368.64/369.65 c GARBAGE COLLECT
368.64/369.65 c #Conflicts: 793000 | #Constraints: 30627
368.64/369.65 c #Conflicts: 794000 | #Constraints: 31627
368.64/369.65 c #Conflicts: 795000 | #Constraints: 32627
368.64/369.65 c #Conflicts: 796000 | #Constraints: 33627
368.64/369.65 c #Conflicts: 797000 | #Constraints: 34627
368.64/369.65 c #Conflicts: 798000 | #Constraints: 35627
368.64/369.65 c #Conflicts: 799000 | #Constraints: 36627
368.64/369.65 c #Conflicts: 800000 | #Constraints: 37627
368.64/369.65 c #Conflicts: 801000 | #Constraints: 38627
368.64/369.65 c #Conflicts: 802000 | #Constraints: 39627
368.64/369.65 c #Conflicts: 803000 | #Constraints: 40627
368.64/369.65 c #Conflicts: 804000 | #Constraints: 41627
368.64/369.65 c #Conflicts: 805000 | #Constraints: 42627
368.64/369.65 c #Conflicts: 806000 | #Constraints: 43627
368.64/369.65 c #Conflicts: 807000 | #Constraints: 44627
368.64/369.65 c #Conflicts: 808000 | #Constraints: 45627
368.64/369.65 c #Conflicts: 809000 | #Constraints: 46627
419.50/420.60 c #Conflicts: 810000 | #Constraints: 47627
419.50/420.60 c INPROCESSING
419.50/420.60 c GARBAGE COLLECT
419.50/420.60 c #Conflicts: 811000 | #Constraints: 30825
419.50/420.60 c #Conflicts: 812000 | #Constraints: 31825
419.50/420.60 c #Conflicts: 813000 | #Constraints: 32825
419.50/420.60 c #Conflicts: 814000 | #Constraints: 33825
419.50/420.60 c #Conflicts: 815000 | #Constraints: 34825
419.50/420.60 c #Conflicts: 816000 | #Constraints: 35825
419.50/420.60 c #Conflicts: 817000 | #Constraints: 36825
419.50/420.60 c #Conflicts: 818000 | #Constraints: 37825
419.50/420.60 c #Conflicts: 819000 | #Constraints: 38825
419.50/420.60 c #Conflicts: 820000 | #Constraints: 39825
419.50/420.60 c #Conflicts: 821000 | #Constraints: 40825
419.50/420.60 c #Conflicts: 822000 | #Constraints: 41825
419.50/420.60 c #Conflicts: 823000 | #Constraints: 42825
419.50/420.60 c #Conflicts: 824000 | #Constraints: 43825
419.50/420.60 c #Conflicts: 825000 | #Constraints: 44825
419.50/420.60 c #Conflicts: 826000 | #Constraints: 45825
419.50/420.60 c #Conflicts: 827000 | #Constraints: 46825
419.50/420.60 c #Conflicts: 828000 | #Constraints: 47825
419.50/420.60 c INPROCESSING
419.50/420.60 c GARBAGE COLLECT
419.50/420.60 c #Conflicts: 829000 | #Constraints: 30828
419.50/420.60 c #Conflicts: 830000 | #Constraints: 31828
419.50/420.60 c #Conflicts: 831000 | #Constraints: 32828
419.50/420.60 c #Conflicts: 832000 | #Constraints: 33828
419.50/420.60 c #Conflicts: 833000 | #Constraints: 34828
419.50/420.60 c #Conflicts: 834000 | #Constraints: 35828
419.50/420.60 c #Conflicts: 835000 | #Constraints: 36828
419.50/420.60 c #Conflicts: 836000 | #Constraints: 37828
419.50/420.60 c #Conflicts: 837000 | #Constraints: 38828
419.50/420.60 c #Conflicts: 838000 | #Constraints: 39828
419.50/420.60 c #Conflicts: 839000 | #Constraints: 40828
419.50/420.60 c #Conflicts: 840000 | #Constraints: 41828
419.50/420.60 c #Conflicts: 841000 | #Constraints: 42828
419.50/420.60 c #Conflicts: 842000 | #Constraints: 43828
419.50/420.60 c #Conflicts: 843000 | #Constraints: 44828
419.50/420.60 c #Conflicts: 844000 | #Constraints: 45828
419.50/420.60 c #Conflicts: 845000 | #Constraints: 46828
419.50/420.60 c #Conflicts: 846000 | #Constraints: 47828
419.50/420.60 c INPROCESSING
419.50/420.60 c GARBAGE COLLECT
419.50/420.60 c #Conflicts: 847000 | #Constraints: 30629
419.50/420.60 c #Conflicts: 848000 | #Constraints: 31629
419.50/420.60 c #Conflicts: 849000 | #Constraints: 32629
419.50/420.60 c #Conflicts: 850000 | #Constraints: 33629
419.50/420.60 c #Conflicts: 851000 | #Constraints: 34629
419.50/420.60 c #Conflicts: 852000 | #Constraints: 35629
419.50/420.60 c #Conflicts: 853000 | #Constraints: 36629
419.50/420.60 c #Conflicts: 854000 | #Constraints: 37629
419.50/420.60 c #Conflicts: 855000 | #Constraints: 38629
419.50/420.60 c #Conflicts: 856000 | #Constraints: 39629
419.50/420.60 c #Conflicts: 857000 | #Constraints: 40629
419.50/420.60 c #Conflicts: 858000 | #Constraints: 41629
419.50/420.60 c #Conflicts: 859000 | #Constraints: 42629
419.50/420.60 c #Conflicts: 860000 | #Constraints: 43629
419.50/420.60 c #Conflicts: 861000 | #Constraints: 44629
419.50/420.60 c #Conflicts: 862000 | #Constraints: 45629
419.50/420.60 c #Conflicts: 863000 | #Constraints: 46629
419.50/420.60 c #Conflicts: 864000 | #Constraints: 47629
419.50/420.60 c #Conflicts: 865000 | #Constraints: 48629
419.50/420.60 c INPROCESSING
419.50/420.60 c GARBAGE COLLECT
419.50/420.60 c #Conflicts: 866000 | #Constraints: 31226
419.50/420.60 c #Conflicts: 867000 | #Constraints: 32226
419.50/420.60 c #Conflicts: 868000 | #Constraints: 33226
419.50/420.60 c #Conflicts: 869000 | #Constraints: 34226
419.50/420.60 c #Conflicts: 870000 | #Constraints: 35226
419.50/420.60 c #Conflicts: 871000 | #Constraints: 36226
419.50/420.60 c #Conflicts: 872000 | #Constraints: 37226
419.50/420.60 c #Conflicts: 873000 | #Constraints: 38226
419.50/420.60 c #Conflicts: 874000 | #Constraints: 39226
419.50/420.60 c #Conflicts: 875000 | #Constraints: 40226
419.50/420.60 c #Conflicts: 876000 | #Constraints: 41226
419.50/420.60 c #Conflicts: 877000 | #Constraints: 42226
419.50/420.60 c #Conflicts: 878000 | #Constraints: 43226
419.50/420.60 c #Conflicts: 879000 | #Constraints: 44226
419.50/420.60 c #Conflicts: 880000 | #Constraints: 45226
419.50/420.60 c #Conflicts: 881000 | #Constraints: 46226
419.50/420.60 c #Conflicts: 882000 | #Constraints: 47226
419.50/420.60 c #Conflicts: 883000 | #Constraints: 48226
419.50/420.60 c #Conflicts: 884000 | #Constraints: 49226
419.50/420.60 c INPROCESSING
419.50/420.60 c GARBAGE COLLECT
419.50/420.60 c #Conflicts: 885000 | #Constraints: 31625
472.66/473.93 c #Conflicts: 886000 | #Constraints: 32625
472.66/473.93 c #Conflicts: 887000 | #Constraints: 33625
472.66/473.93 c #Conflicts: 888000 | #Constraints: 34625
472.66/473.93 c #Conflicts: 889000 | #Constraints: 35625
472.66/473.93 c #Conflicts: 890000 | #Constraints: 36625
472.66/473.93 c #Conflicts: 891000 | #Constraints: 37625
472.66/473.93 c #Conflicts: 892000 | #Constraints: 38625
472.66/473.93 c #Conflicts: 893000 | #Constraints: 39625
472.66/473.93 c #Conflicts: 894000 | #Constraints: 40625
472.66/473.93 c #Conflicts: 895000 | #Constraints: 41625
472.66/473.93 c #Conflicts: 896000 | #Constraints: 42625
472.66/473.93 c #Conflicts: 897000 | #Constraints: 43625
472.66/473.93 c #Conflicts: 898000 | #Constraints: 44625
472.66/473.93 c #Conflicts: 899000 | #Constraints: 45625
472.66/473.93 c #Conflicts: 900000 | #Constraints: 46625
472.66/473.93 c #Conflicts: 901000 | #Constraints: 47625
472.66/473.93 c #Conflicts: 902000 | #Constraints: 48625
472.66/473.93 c #Conflicts: 903000 | #Constraints: 49625
472.66/473.93 c INPROCESSING
472.66/473.93 c GARBAGE COLLECT
472.66/473.93 c #Conflicts: 904000 | #Constraints: 31822
472.66/473.93 c #Conflicts: 905000 | #Constraints: 32822
472.66/473.93 c #Conflicts: 906000 | #Constraints: 33822
472.66/473.93 c #Conflicts: 907000 | #Constraints: 34822
472.66/473.93 c #Conflicts: 908000 | #Constraints: 35822
472.66/473.93 c #Conflicts: 909000 | #Constraints: 36822
472.66/473.93 c #Conflicts: 910000 | #Constraints: 37822
472.66/473.93 c #Conflicts: 911000 | #Constraints: 38822
472.66/473.93 c #Conflicts: 912000 | #Constraints: 39822
472.66/473.93 c #Conflicts: 913000 | #Constraints: 40822
472.66/473.93 c #Conflicts: 914000 | #Constraints: 41822
472.66/473.93 c #Conflicts: 915000 | #Constraints: 42822
472.66/473.93 c #Conflicts: 916000 | #Constraints: 43822
472.66/473.93 c #Conflicts: 917000 | #Constraints: 44822
472.66/473.93 c #Conflicts: 918000 | #Constraints: 45822
472.66/473.93 c #Conflicts: 919000 | #Constraints: 46822
472.66/473.93 c #Conflicts: 920000 | #Constraints: 47822
472.66/473.93 c #Conflicts: 921000 | #Constraints: 48822
472.66/473.93 c #Conflicts: 922000 | #Constraints: 49822
472.66/473.93 c INPROCESSING
472.66/473.93 c GARBAGE COLLECT
472.66/473.93 c #Conflicts: 923000 | #Constraints: 31820
472.66/473.93 c #Conflicts: 924000 | #Constraints: 32820
472.66/473.93 c #Conflicts: 925000 | #Constraints: 33820
472.66/473.93 c #Conflicts: 926000 | #Constraints: 34820
472.66/473.93 c #Conflicts: 927000 | #Constraints: 35820
472.66/473.93 c #Conflicts: 928000 | #Constraints: 36820
472.66/473.93 c #Conflicts: 929000 | #Constraints: 37820
472.66/473.93 c #Conflicts: 930000 | #Constraints: 38820
472.66/473.93 c #Conflicts: 931000 | #Constraints: 39820
472.66/473.93 c #Conflicts: 932000 | #Constraints: 40820
472.66/473.93 c #Conflicts: 933000 | #Constraints: 41820
472.66/473.93 c #Conflicts: 934000 | #Constraints: 42820
472.66/473.93 c #Conflicts: 935000 | #Constraints: 43820
472.66/473.93 c #Conflicts: 936000 | #Constraints: 44820
472.66/473.93 c #Conflicts: 937000 | #Constraints: 45820
472.66/473.93 c #Conflicts: 938000 | #Constraints: 46820
472.66/473.93 c #Conflicts: 939000 | #Constraints: 47820
472.66/473.93 c #Conflicts: 940000 | #Constraints: 48820
472.66/473.93 c #Conflicts: 941000 | #Constraints: 49820
472.66/473.93 c INPROCESSING
472.66/473.93 c GARBAGE COLLECT
472.66/473.93 c #Conflicts: 942000 | #Constraints: 31631
472.66/473.93 c #Conflicts: 943000 | #Constraints: 32631
472.66/473.93 c #Conflicts: 944000 | #Constraints: 33631
472.66/473.93 c #Conflicts: 945000 | #Constraints: 34631
472.66/473.93 c #Conflicts: 946000 | #Constraints: 35631
472.66/473.93 c #Conflicts: 947000 | #Constraints: 36631
472.66/473.93 c #Conflicts: 948000 | #Constraints: 37631
472.66/473.93 c #Conflicts: 949000 | #Constraints: 38631
472.66/473.93 c #Conflicts: 950000 | #Constraints: 39631
472.66/473.93 c #Conflicts: 951000 | #Constraints: 40631
472.66/473.93 c #Conflicts: 952000 | #Constraints: 41631
472.66/473.93 c #Conflicts: 953000 | #Constraints: 42631
472.66/473.93 c #Conflicts: 954000 | #Constraints: 43631
472.66/473.93 c #Conflicts: 955000 | #Constraints: 44631
472.66/473.93 c #Conflicts: 956000 | #Constraints: 45631
472.66/473.93 c #Conflicts: 957000 | #Constraints: 46631
472.66/473.93 c #Conflicts: 958000 | #Constraints: 47631
472.66/473.93 c #Conflicts: 959000 | #Constraints: 48631
472.66/473.93 c #Conflicts: 960000 | #Constraints: 49631
472.66/473.93 c #Conflicts: 961000 | #Constraints: 50631
472.66/473.93 c INPROCESSING
472.66/473.93 c GARBAGE COLLECT
530.11/531.54 c #Conflicts: 962000 | #Constraints: 32234
530.11/531.54 c #Conflicts: 963000 | #Constraints: 33234
530.11/531.54 c #Conflicts: 964000 | #Constraints: 34234
530.11/531.54 c #Conflicts: 965000 | #Constraints: 35234
530.11/531.54 c #Conflicts: 966000 | #Constraints: 36234
530.11/531.54 c #Conflicts: 967000 | #Constraints: 37234
530.11/531.54 c #Conflicts: 968000 | #Constraints: 38234
530.11/531.54 c #Conflicts: 969000 | #Constraints: 39234
530.11/531.54 c #Conflicts: 970000 | #Constraints: 40234
530.11/531.54 c #Conflicts: 971000 | #Constraints: 41234
530.11/531.54 c #Conflicts: 972000 | #Constraints: 42234
530.11/531.54 c #Conflicts: 973000 | #Constraints: 43234
530.11/531.54 c #Conflicts: 974000 | #Constraints: 44234
530.11/531.54 c #Conflicts: 975000 | #Constraints: 45234
530.11/531.54 c #Conflicts: 976000 | #Constraints: 46234
530.11/531.54 c #Conflicts: 977000 | #Constraints: 47234
530.11/531.54 c #Conflicts: 978000 | #Constraints: 48234
530.11/531.54 c #Conflicts: 979000 | #Constraints: 49234
530.11/531.54 c #Conflicts: 980000 | #Constraints: 50234
530.11/531.54 c #Conflicts: 981000 | #Constraints: 51234
530.11/531.54 c INPROCESSING
530.11/531.54 c GARBAGE COLLECT
530.11/531.54 c #Conflicts: 982000 | #Constraints: 32633
530.11/531.54 c #Conflicts: 983000 | #Constraints: 33633
530.11/531.54 c #Conflicts: 984000 | #Constraints: 34633
530.11/531.54 c #Conflicts: 985000 | #Constraints: 35633
530.11/531.54 c #Conflicts: 986000 | #Constraints: 36633
530.11/531.54 c #Conflicts: 987000 | #Constraints: 37633
530.11/531.54 c #Conflicts: 988000 | #Constraints: 38633
530.11/531.54 c #Conflicts: 989000 | #Constraints: 39633
530.11/531.54 c #Conflicts: 990000 | #Constraints: 40633
530.11/531.54 c #Conflicts: 991000 | #Constraints: 41633
530.11/531.54 c #Conflicts: 992000 | #Constraints: 42633
530.11/531.54 c #Conflicts: 993000 | #Constraints: 43633
530.11/531.54 c #Conflicts: 994000 | #Constraints: 44633
530.11/531.54 c #Conflicts: 995000 | #Constraints: 45633
530.11/531.54 c #Conflicts: 996000 | #Constraints: 46633
530.11/531.54 c bounds -180 >= -197 @ 496.074
530.11/531.54 c #Conflicts: 997000 | #Constraints: 47640
530.11/531.54 c #Conflicts: 998000 | #Constraints: 48640
530.11/531.54 c #Conflicts: 999000 | #Constraints: 49640
530.11/531.54 c #Conflicts: 1000000 | #Constraints: 50640
530.11/531.54 c #Conflicts: 1001000 | #Constraints: 51640
530.11/531.54 c INPROCESSING
530.11/531.54 c GARBAGE COLLECT
530.11/531.54 c #Conflicts: 1002000 | #Constraints: 32830
530.11/531.54 c #Conflicts: 1003000 | #Constraints: 33830
530.11/531.54 c #Conflicts: 1004000 | #Constraints: 34830
530.11/531.54 c #Conflicts: 1005000 | #Constraints: 35830
530.11/531.54 c #Conflicts: 1006000 | #Constraints: 36830
530.11/531.54 c #Conflicts: 1007000 | #Constraints: 37830
530.11/531.54 c #Conflicts: 1008000 | #Constraints: 38830
530.11/531.54 c #Conflicts: 1009000 | #Constraints: 39830
530.11/531.54 c #Conflicts: 1010000 | #Constraints: 40830
530.11/531.54 c #Conflicts: 1011000 | #Constraints: 41830
530.11/531.54 c #Conflicts: 1012000 | #Constraints: 42830
530.11/531.54 c #Conflicts: 1013000 | #Constraints: 43830
530.11/531.54 c #Conflicts: 1014000 | #Constraints: 44830
530.11/531.54 c #Conflicts: 1015000 | #Constraints: 45830
530.11/531.54 c #Conflicts: 1016000 | #Constraints: 46830
530.11/531.54 c #Conflicts: 1017000 | #Constraints: 47830
530.11/531.54 c #Conflicts: 1018000 | #Constraints: 48830
530.11/531.54 c #Conflicts: 1019000 | #Constraints: 49830
530.11/531.54 c #Conflicts: 1020000 | #Constraints: 50830
530.11/531.54 c #Conflicts: 1021000 | #Constraints: 51830
530.11/531.54 c INPROCESSING
530.11/531.54 c GARBAGE COLLECT
530.11/531.54 c #Conflicts: 1022000 | #Constraints: 32827
530.11/531.54 c #Conflicts: 1023000 | #Constraints: 33827
530.11/531.54 c #Conflicts: 1024000 | #Constraints: 34827
530.11/531.54 c #Conflicts: 1025000 | #Constraints: 35827
530.11/531.54 c #Conflicts: 1026000 | #Constraints: 36827
530.11/531.54 c #Conflicts: 1027000 | #Constraints: 37827
530.11/531.54 c #Conflicts: 1028000 | #Constraints: 38827
530.11/531.54 c #Conflicts: 1029000 | #Constraints: 39827
530.11/531.54 c #Conflicts: 1030000 | #Constraints: 40827
530.11/531.54 c #Conflicts: 1031000 | #Constraints: 41827
530.11/531.54 c #Conflicts: 1032000 | #Constraints: 42827
530.11/531.54 c #Conflicts: 1033000 | #Constraints: 43827
530.11/531.54 c #Conflicts: 1034000 | #Constraints: 44827
530.11/531.54 c #Conflicts: 1035000 | #Constraints: 45827
530.11/531.54 c #Conflicts: 1036000 | #Constraints: 46827
530.11/531.54 c #Conflicts: 1037000 | #Constraints: 47827
530.11/531.54 c #Conflicts: 1038000 | #Constraints: 48827
585.66/587.30 c #Conflicts: 1039000 | #Constraints: 49827
585.66/587.30 c #Conflicts: 1040000 | #Constraints: 50827
585.66/587.30 c #Conflicts: 1041000 | #Constraints: 51827
585.66/587.30 c INPROCESSING
585.66/587.30 c GARBAGE COLLECT
585.66/587.30 c #Conflicts: 1042000 | #Constraints: 32632
585.66/587.30 c #Conflicts: 1043000 | #Constraints: 33632
585.66/587.30 c #Conflicts: 1044000 | #Constraints: 34632
585.66/587.30 c #Conflicts: 1045000 | #Constraints: 35632
585.66/587.30 c #Conflicts: 1046000 | #Constraints: 36632
585.66/587.30 c #Conflicts: 1047000 | #Constraints: 37632
585.66/587.30 c #Conflicts: 1048000 | #Constraints: 38632
585.66/587.30 c #Conflicts: 1049000 | #Constraints: 39632
585.66/587.30 c #Conflicts: 1050000 | #Constraints: 40632
585.66/587.30 c #Conflicts: 1051000 | #Constraints: 41632
585.66/587.30 c #Conflicts: 1052000 | #Constraints: 42632
585.66/587.30 c #Conflicts: 1053000 | #Constraints: 43632
585.66/587.30 c #Conflicts: 1054000 | #Constraints: 44632
585.66/587.30 c #Conflicts: 1055000 | #Constraints: 45632
585.66/587.30 c #Conflicts: 1056000 | #Constraints: 46632
585.66/587.30 c #Conflicts: 1057000 | #Constraints: 47632
585.66/587.30 c #Conflicts: 1058000 | #Constraints: 48632
585.66/587.30 c #Conflicts: 1059000 | #Constraints: 49632
585.66/587.30 c #Conflicts: 1060000 | #Constraints: 50632
585.66/587.30 c #Conflicts: 1061000 | #Constraints: 51632
585.66/587.30 c #Conflicts: 1062000 | #Constraints: 52632
585.66/587.30 c INPROCESSING
585.66/587.30 c GARBAGE COLLECT
585.66/587.30 c #Conflicts: 1063000 | #Constraints: 33234
585.66/587.30 c #Conflicts: 1064000 | #Constraints: 34234
585.66/587.30 c #Conflicts: 1065000 | #Constraints: 35234
585.66/587.30 c #Conflicts: 1066000 | #Constraints: 36234
585.66/587.30 c #Conflicts: 1067000 | #Constraints: 37234
585.66/587.30 c #Conflicts: 1068000 | #Constraints: 38234
585.66/587.30 c #Conflicts: 1069000 | #Constraints: 39234
585.66/587.30 c #Conflicts: 1070000 | #Constraints: 40234
585.66/587.30 c #Conflicts: 1071000 | #Constraints: 41234
585.66/587.30 c #Conflicts: 1072000 | #Constraints: 42234
585.66/587.30 c #Conflicts: 1073000 | #Constraints: 43234
585.66/587.30 c #Conflicts: 1074000 | #Constraints: 44234
585.66/587.30 c #Conflicts: 1075000 | #Constraints: 45234
585.66/587.30 c #Conflicts: 1076000 | #Constraints: 46234
585.66/587.30 c #Conflicts: 1077000 | #Constraints: 47234
585.66/587.30 c #Conflicts: 1078000 | #Constraints: 48234
585.66/587.30 c #Conflicts: 1079000 | #Constraints: 49234
585.66/587.30 c #Conflicts: 1080000 | #Constraints: 50234
585.66/587.30 c #Conflicts: 1081000 | #Constraints: 51234
585.66/587.30 c #Conflicts: 1082000 | #Constraints: 52234
585.66/587.30 c #Conflicts: 1083000 | #Constraints: 53234
585.66/587.30 c INPROCESSING
585.66/587.30 c GARBAGE COLLECT
585.66/587.30 c #Conflicts: 1084000 | #Constraints: 33630
585.66/587.30 c #Conflicts: 1085000 | #Constraints: 34630
585.66/587.30 c #Conflicts: 1086000 | #Constraints: 35630
585.66/587.30 c #Conflicts: 1087000 | #Constraints: 36630
585.66/587.30 c #Conflicts: 1088000 | #Constraints: 37630
585.66/587.30 c #Conflicts: 1089000 | #Constraints: 38630
585.66/587.30 c #Conflicts: 1090000 | #Constraints: 39630
585.66/587.30 c #Conflicts: 1091000 | #Constraints: 40630
585.66/587.30 c #Conflicts: 1092000 | #Constraints: 41630
585.66/587.30 c #Conflicts: 1093000 | #Constraints: 42630
585.66/587.30 c #Conflicts: 1094000 | #Constraints: 43630
585.66/587.30 c #Conflicts: 1095000 | #Constraints: 44630
585.66/587.30 c #Conflicts: 1096000 | #Constraints: 45630
585.66/587.30 c #Conflicts: 1097000 | #Constraints: 46630
585.66/587.30 c #Conflicts: 1098000 | #Constraints: 47630
585.66/587.30 c #Conflicts: 1099000 | #Constraints: 48630
585.66/587.30 c #Conflicts: 1100000 | #Constraints: 49630
585.66/587.30 c #Conflicts: 1101000 | #Constraints: 50630
585.66/587.30 c #Conflicts: 1102000 | #Constraints: 51630
585.66/587.30 c #Conflicts: 1103000 | #Constraints: 52630
585.66/587.30 c #Conflicts: 1104000 | #Constraints: 53630
585.66/587.30 c INPROCESSING
585.66/587.30 c GARBAGE COLLECT
585.66/587.30 c #Conflicts: 1105000 | #Constraints: 33838
585.66/587.30 c #Conflicts: 1106000 | #Constraints: 34838
585.66/587.30 c #Conflicts: 1107000 | #Constraints: 35838
585.66/587.30 c #Conflicts: 1108000 | #Constraints: 36838
585.66/587.30 c #Conflicts: 1109000 | #Constraints: 37838
585.66/587.30 c #Conflicts: 1110000 | #Constraints: 38838
585.66/587.30 c #Conflicts: 1111000 | #Constraints: 39838
585.66/587.30 c #Conflicts: 1112000 | #Constraints: 40838
585.66/587.30 c #Conflicts: 1113000 | #Constraints: 41838
585.66/587.30 c #Conflicts: 1114000 | #Constraints: 42838
603.42/605.10 c #Conflicts: 1115000 | #Constraints: 43838
603.42/605.10 c #Conflicts: 1116000 | #Constraints: 44838
603.42/605.10 c #Conflicts: 1117000 | #Constraints: 45838
603.42/605.10 c #Conflicts: 1118000 | #Constraints: 46838
603.42/605.10 c #Conflicts: 1119000 | #Constraints: 47838
603.42/605.10 c #Conflicts: 1120000 | #Constraints: 48838
603.42/605.10 c #Conflicts: 1121000 | #Constraints: 49838
603.42/605.10 c #Conflicts: 1122000 | #Constraints: 50838
603.42/605.10 c #Conflicts: 1123000 | #Constraints: 51838
603.42/605.10 c bounds -180 >= -196 @ 586.943
603.42/605.10 c #Conflicts: 1124000 | #Constraints: 52842
603.42/605.10 c #Conflicts: 1125000 | #Constraints: 53842
603.42/605.10 c INPROCESSING
603.42/605.10 c GARBAGE COLLECT
603.42/605.10 c #Conflicts: 1126000 | #Constraints: 33840
603.42/605.10 c #Conflicts: 1127000 | #Constraints: 34840
603.42/605.10 c #Conflicts: 1128000 | #Constraints: 35840
603.42/605.10 c #Conflicts: 1129000 | #Constraints: 36840
603.42/605.10 c #Conflicts: 1130000 | #Constraints: 37840
603.42/605.10 c #Conflicts: 1131000 | #Constraints: 38840
603.42/605.10 c #Conflicts: 1132000 | #Constraints: 39840
603.42/605.10 c #Conflicts: 1133000 | #Constraints: 40840
603.42/605.10 c #Conflicts: 1134000 | #Constraints: 41840
603.42/605.10 c #Conflicts: 1135000 | #Constraints: 42840
603.42/605.10 c #Conflicts: 1136000 | #Constraints: 43840
603.42/605.10 c #Conflicts: 1137000 | #Constraints: 44840
603.42/605.10 c #Conflicts: 1138000 | #Constraints: 45840
603.42/605.10 c #Conflicts: 1139000 | #Constraints: 46840
603.42/605.10 c bounds -180 >= -195 @ 597.005
603.42/605.10 c #Conflicts: 1140000 | #Constraints: 47841
603.42/605.10 c #Conflicts: 1141000 | #Constraints: 48841
603.42/605.10 c bounds -180 >= -195 @ 598.418
603.42/605.10 d SOLVEDBY oll
603.42/605.10 c cpu time 598.418 s
603.42/605.10 c deterministic time 64020337340 6.40e+10
603.42/605.10 c optimization time 10.2493 s
603.42/605.10 c total solve time 588.144 s
603.42/605.10 c core-guided solve time 588.144 s
603.42/605.10 c propagation time 440.134 s
603.42/605.10 c conflict analysis time 147.458 s
603.42/605.10 c propagations 93165030
603.42/605.10 c resolve steps 22651670
603.42/605.10 c decisions 1233055
603.42/605.10 c conflicts 1141539
603.42/605.10 c restarts 2107
603.42/605.10 c inprocessing phases 97
603.42/605.10 c input clauses 11792
603.42/605.10 c input cardinalities 363
603.42/605.10 c input general constraints 91
603.42/605.10 c input average constraint length 5.56
603.42/605.10 c input average constraint degree 1.55
603.42/605.10 c learned clauses 1096265
603.42/605.10 c learned cardinalities 5090
603.42/605.10 c learned general constraints 40193
603.42/605.10 c learned average constraint length 67.14
603.42/605.10 c learned average constraint degree 4.07
603.42/605.10 c watched constraints 20871
603.42/605.10 c counting constraints 19413
603.42/605.10 c gcd simplifications 154553
603.42/605.10 c detected cardinalities 15
603.42/605.10 c weakened non-implied lits 69626170
603.42/605.10 c weakened non-implying lits 519679
603.42/605.10 c original variables 351
603.42/605.10 c clausal propagations 61891503
603.42/605.10 c cardinality propagations 17689907
603.42/605.10 c watched propagations 16329
603.42/605.10 c counting propagations 12170079
603.42/605.10 c watch lookups 23854954879
603.42/605.10 c watch backjump lookups 18070719109
603.42/605.10 c watch checks 20542400068
603.42/605.10 c propagation checks 1031685854
603.42/605.10 c constraint additions 330640010
603.42/605.10 c trail pops 95539334
603.42/605.10 c formula constraints 11700
603.42/605.10 c learned constraints 1141548
603.42/605.10 c bound constraints 107
603.42/605.10 c core-guided constraints 439
603.42/605.10 c encountered formula constraints 20496497
603.42/605.10 c encountered learned constraints 3070562
603.42/605.10 c encountered bound constraints 1138
603.42/605.10 c encountered core-guided constraints 225012
603.42/605.10 c LP total time 0 s
603.42/605.10 c LP solve time 0 s
603.42/605.10 c LP constraints added 0
603.42/605.10 c LP constraints removed 0
603.42/605.10 c LP pivots internal 0
603.42/605.10 c LP pivots root 0
603.42/605.10 c LP calls 0
603.42/605.10 c LP optimalities 0
603.42/605.10 c LP no pivot count 0
603.42/605.10 c LP infeasibilities 0
603.42/605.10 c LP valid Farkas constraints 0
603.42/605.10 c LP learned Farkas constraints 0
603.42/605.10 c LP basis resets 0
603.42/605.10 c LP cycling count 0
603.42/605.10 c LP singular count 0
603.42/605.10 c LP no primal count 0
603.42/605.10 c LP no farkas count 0
603.42/605.10 c LP other issue count 0
603.42/605.10 c LP Gomory cuts 0
603.42/605.10 c LP learned cuts 0
603.42/605.10 c LP deleted cuts 0
603.42/605.10 c LP encountered Gomory constraints 0
603.42/605.10 c LP encountered Farkas constraints 0
603.42/605.10 c LP encountered learned Farkas constraints 0
603.42/605.10 c CG auxiliary variables introduced 174
603.42/605.10 c CG solutions found 1
603.42/605.10 c CG cores constructed 96
603.42/605.10 c CG core cardinality constraints returned 0
603.42/605.10 c CG unit cores 1
603.42/605.10 c CG single cores 95
603.42/605.10 c CG blocks removed during cardinality reduction 0
603.42/605.10 c CG first core best 0
603.42/605.10 c CG decision core best 0
603.42/605.10 c CG core reduction tie 0
603.42/605.10 c CG core degree average 1.00
603.42/605.10 c CG core slack average 3.88
603.42/605.10 c CG exhausted 0
603.42/605.10 c CG exhaust time 10.2323 s
603.42/605.10 c CG trimmed 0
603.42/605.10 c CG trim time 0.002628 s
603.42/605.10 c CG minimized 0
603.42/605.10 c CG minimize time 0 s
603.42/605.10 c CG am1 prop time 0.000882 s
603.42/605.10 c CG # am1s reformulated 0
603.42/605.10 c CG lower bound derived from am1s 0
603.42/605.10 c CG # clausal cores 94
603.42/605.10 c CG # cardinality cores 0
603.42/605.10 c CG # pb cores 1
603.42/605.10 c CG # pb reforms 0
603.42/605.10 c CG # cores discarded because of pb reform 0
603.42/605.10 d LOWERBOUND -195
603.42/605.10 d NCORES 96
603.42/605.10 d NPBCORES 1
603.42/605.10 d NPBREFORM 0
603.42/605.10 d NTRIMMED 0
603.42/605.10 d NEXHAUSTED 0
603.42/605.10 d NAM1S 0
603.42/605.10 d AM1LB 0
603.42/605.10 o -180
603.42/605.10 s OPTIMUM FOUND
603.42/605.10 v -x1 x2 x3 x4 -x5 -x6 x7 x8 x9 -x10 -x11 x12 x13 x14 -x15 -x16 x17 x18 x19 -x20 -x21 x22 x23 x24 -x25 -x26 x27 x28 x29 -x30 -x31 x32 x33 x34 -x35 -x36 x37 x38 x39 -x40 -x41 x42 x43 x44 -x45 -x46 x47 x48 x49 -x50 -x51 -x52 -x53 x54 x55 -x56 -x57 -x58 x59 x60 -x61 -x62 -x63 x64 x65 -x66 -x67 -x68 x69 x70 -x71 -x72 -x73 x74 x75 -x76 x77 x78 -x79 -x80 -x81 x82 x83 -x84 -x85 -x86 x87 x88 -x89 -x90 -x91 x92 x93 -x94 -x95 -x96 x97 x98 x99 x100 -x101 -x102 -x103 x104 x105 -x106 -x107 -x108 x109 x110 -x111 -x112 -x113 x114 x115 -x116 -x117 -x118 x119 x120 -x121 x122 x123 x124 -x125 -x126 x127 x128 x129 -x130 -x131 x132 x133 x134 -x135 -x136 x137 x138 x139 -x140 -x141 x142 x143 x144 -x145 -x146 x147 x148 x149 -x150 -x151 x152 x153 x154 -x155 -x156 x157 x158 x159 -x160 -x161 -x162 -x163 x164 x165 -x166 -x167 -x168 x169 x170 -x171 -x172 -x173 x174 x175 -x176 -x177 -x178 x179 x180 -x181 x182 x183 -x184 -x185 -x186 x187 x188 -x189 -x190 -x191 x192 x193 -x194 -x195 -x196 x197 x198 x199 x200 -x201 -x202 -x203 x204 x205 -x206 -x207 -x208 x209 x210 -x211 -x212 -x213 x214 x215 -x216 x217 x218 x219 -x220 -x221 x222 x223 x224 -x225 -x226 x227 x228 x229 -x230 -x231 x232 x233 x234 -x235 -x236 x237 x238 x239 -x240 -x241 x242 x243 x244 -x245 -x246 -x247 -x248 x249 x250 -x251 -x252 -x253 x254 x255 -x256 -x257 -x258 x259 x260 -x261 x262 x263 -x264 -x265 -x266 x267 x268 -x269 -x270 -x271 x272 x273 x274 x275 -x276 -x277 -x278 x279 x280 -x281 -x282 -x283 x284 x285 -x286 x287 x288 x289 -x290 -x291 x292 x293 x294 -x295 -x296 x297 x298 x299 -x300 -x301 x302 x303 x304 -x305 -x306 -x307 -x308 x309 x310 -x311 -x312 -x313 x314 x315 -x316 x317 x318 -x319 -x320 -x321 x322 x323 x324 x325 -x326 -x327 -x328 x329 x330 -x331 x332 x333 x334 -x335 -x336 x337 x338 x339 -x340 -x341 -x342 -x343 x344 x345 -x346 x347 x348 x349 x350 -x351
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: 63931 MiB (61361 MiB free)
memory of node 1: 64510 MiB (56072 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458906-1721884584/watcher-4458906-1721884584 -o /tmp/evaluation-result-4458906-1721884584/solver-4458906-1721884584 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721875931-217936 --watchdog 3760 pb-oll-rs HOME/instance-4458906-1721884584.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=223071, runsolver pid=223068
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 4.08 4.11 4.11 5/254 223072
/proc/meminfo: memFree=120250096/131524600 swapFree=131056028/131071996
[pid=223071] ppid=223068 vsize=39596 memory=7400 CPUtime=0.1 cores=4,6
/proc/223071/stat : 223071 (pb-oll-rs) R 223068 223071 217925 0 -1 4194304 682 0 0 0 9 1 0 0 20 0 1 0 24986889 40546304 1850 134679101440 4194304 5384485 140727702231856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26271744 140727702238231 140727702238308 140727702238308 140727702245323 0
/proc/223071/statm: 9899 1850 1356 291 0 1433 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39596 KiB
Current children cumulated memory: 7400 KiB
[startup+0.205528 s]*
/proc/loadavg: 4.08 4.11 4.11 5/254 223072
/proc/meminfo: memFree=120247712/131524600 swapFree=131056028/131071996
[pid=223071] ppid=223068 vsize=39856 memory=9648 CPUtime=0.2 cores=4,6
/proc/223071/stat : 223071 (pb-oll-rs) R 223068 223071 217925 0 -1 4194304 742 0 0 0 19 1 0 0 20 0 1 0 24986889 40812544 2412 134679101440 4194304 5384485 140727702231856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26271744 140727702238231 140727702238308 140727702238308 140727702245323 0
/proc/223071/statm: 9964 2412 1356 291 0 1498 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39856 KiB
Current children cumulated memory: 9648 KiB
[startup+0.305428 s]*
/proc/loadavg: 4.08 4.11 4.11 5/254 223072
/proc/meminfo: memFree=120244552/131524600 swapFree=131056028/131071996
[pid=223071] ppid=223068 vsize=40248 memory=10236 CPUtime=0.3 cores=4,6
/proc/223071/stat : 223071 (pb-oll-rs) R 223068 223071 217925 0 -1 4194304 897 0 0 0 29 1 0 0 20 0 1 0 24986889 41213952 2559 134679101440 4194304 5384485 140727702231856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26271744 140727702238231 140727702238308 140727702238308 140727702245323 0
/proc/223071/statm: 10062 2559 1356 291 0 1596 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40248 KiB
Current children cumulated memory: 10236 KiB
[startup+0.700209 s]
/proc/loadavg: 4.08 4.11 4.11 5/254 223072
/proc/meminfo: memFree=120244380/131524600 swapFree=131056028/131071996
[pid=223071] ppid=223068 vsize=40620 memory=10732 CPUtime=0.69 cores=4,6
/proc/223071/stat : 223071 (pb-oll-rs) R 223068 223071 217925 0 -1 4194304 975 0 0 0 67 2 0 0 20 0 1 0 24986889 41594880 2683 134679101440 4194304 5384485 140727702231856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26271744 140727702238231 140727702238308 140727702238308 140727702245323 0
/proc/223071/statm: 10155 2683 1419 291 0 1689 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40620 KiB
Current children cumulated memory: 10732 KiB
[startup+1.50022 s]
/proc/loadavg: 4.08 4.11 4.11 5/254 223072
/proc/meminfo: memFree=120241300/131524600 swapFree=131056028/131071996
[pid=223071] ppid=223068 vsize=41104 memory=11260 CPUtime=1.48 cores=4,6
/proc/223071/stat : 223071 (pb-oll-rs) R 223068 223071 217925 0 -1 4194304 1093 0 0 0 145 3 0 0 20 0 1 0 24986889 42090496 2815 134679101440 4194304 5384485 140727702231856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26271744 140727702238231 140727702238308 140727702238308 140727702245323 0
/proc/223071/statm: 10276 2815 1419 291 0 1810 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 41104 KiB
Current children cumulated memory: 11260 KiB
[startup+3.10552 s]
/proc/loadavg: 4.07 4.11 4.11 5/254 223072
/proc/meminfo: memFree=120228700/131524600 swapFree=131056028/131071996
[pid=223071] ppid=223068 vsize=41212 memory=11532 CPUtime=3.09 cores=4,6
/proc/223071/stat : 223071 (pb-oll-rs) R 223068 223071 217925 0 -1 4194304 1176 0 0 0 303 6 0 0 20 0 1 0 24986889 42201088 2883 134679101440 4194304 5384485 140727702231856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26271744 140727702238231 140727702238308 140727702238308 140727702245323 0
/proc/223071/statm: 10303 2883 1419 291 0 1837 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 41212 KiB
Current children cumulated memory: 11532 KiB
[startup+6.30021 s]
/proc/loadavg: 4.07 4.11 4.11 6/254 223072
/proc/meminfo: memFree=120219428/131524600 swapFree=131056028/131071996
[pid=223071] ppid=223068 vsize=41624 memory=12456 CPUtime=6.27 cores=4,6
/proc/223071/stat : 223071 (pb-oll-rs) R 223068 223071 217925 0 -1 4194304 1542 0 0 0 615 12 0 0 20 0 1 0 24986889 42622976 3114 134679101440 4194304 5384485 140727702231856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26271744 140727702238231 140727702238308 140727702238308 140727702245323 0
/proc/223071/statm: 10406 3114 1419 291 0 1940 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 41624 KiB
Current children cumulated memory: 12456 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.12 4.11 5/254 223073
/proc/meminfo: memFree=120193828/131524600 swapFree=131056028/131071996
[pid=223071] ppid=223068 vsize=46960 memory=15680 CPUtime=12.66 cores=4,6
/proc/223071/stat : 223071 (pb-oll-rs) R 223068 223071 217925 0 -1 4194304 2480 0 0 0 1244 22 0 0 20 0 1 0 24986889 48087040 3920 134679101440 4194304 5384485 140727702231856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26271744 140727702238231 140727702238308 140727702238308 140727702245323 0
/proc/223071/statm: 11740 3920 1419 291 0 3274 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 46960 KiB
Current children cumulated memory: 15680 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.12 4.11 6/254 223076
/proc/meminfo: memFree=120144144/131524600 swapFree=131056028/131071996
[pid=223071] ppid=223068 vsize=47916 memory=17792 CPUtime=25.43 cores=4,6
/proc/223071/stat : 223071 (pb-oll-rs) R 223068 223071 217925 0 -1 4194304 2980 0 0 0 2503 40 0 0 20 0 1 0 24986889 49065984 4448 134679101440 4194304 5384485 140727702231856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26271744 140727702238231 140727702238308 140727702238308 140727702245323 0
/proc/223071/statm: 11979 4448 1419 291 0 3513 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 47916 KiB
Current children cumulated memory: 17792 KiB
[startup+51.1054 s]
/proc/loadavg: 4.08 4.11 4.11 5/254 223080
/proc/meminfo: memFree=120031404/131524600 swapFree=131056028/131071996
[pid=223071] ppid=223068 vsize=48808 memory=20252 CPUtime=50.97 cores=4,6
/proc/223071/stat : 223071 (pb-oll-rs) R 223068 223071 217925 0 -1 4194304 3747 0 0 0 5031 66 0 0 20 0 1 0 24986889 49979392 5063 134679101440 4194304 5384485 140727702231856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26271744 140727702238231 140727702238308 140727702238308 140727702245323 0
/proc/223071/statm: 12202 5063 1419 291 0 3736 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 48808 KiB
Current children cumulated memory: 20252 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.11 6/254 223089
/proc/meminfo: memFree=119803108/131524600 swapFree=131056028/131071996
[pid=223071] ppid=223068 vsize=54624 memory=24056 CPUtime=102.04 cores=4,6
/proc/223071/stat : 223071 (pb-oll-rs) R 223068 223071 217925 0 -1 4194304 4545 0 0 0 10086 118 0 0 20 0 1 0 24986889 55934976 6014 134679101440 4194304 5384485 140727702231856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26271744 140727702238231 140727702238308 140727702238308 140727702245323 0
/proc/223071/statm: 13656 6014 1419 291 0 5190 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 54624 KiB
Current children cumulated memory: 24056 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/254 223100
/proc/meminfo: memFree=119526396/131524600 swapFree=131056028/131071996
[pid=223071] ppid=223068 vsize=55412 memory=26888 CPUtime=161.88 cores=4,6
/proc/223071/stat : 223071 (pb-oll-rs) R 223068 223071 217925 0 -1 4194304 5859 0 0 0 16012 176 0 0 20 0 1 0 24986889 56741888 6722 134679101440 4194304 5384485 140727702231856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26271744 140727702238231 140727702238308 140727702238308 140727702245323 0
/proc/223071/statm: 13853 6722 1419 291 0 5387 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 55412 KiB
Current children cumulated memory: 26888 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.10 4.10 6/254 223111
/proc/meminfo: memFree=119329432/131524600 swapFree=131056028/131071996
[pid=223071] ppid=223068 vsize=56412 memory=27888 CPUtime=221.73 cores=4,6
/proc/223071/stat : 223071 (pb-oll-rs) R 223068 223071 217925 0 -1 4194304 6999 0 0 0 21946 227 0 0 20 0 1 0 24986889 57765888 6972 134679101440 4194304 5384485 140727702231856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26271744 140727702238231 140727702238308 140727702238308 140727702245323 0
/proc/223071/statm: 14103 6972 1419 291 0 5637 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 56412 KiB
Current children cumulated memory: 27888 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/256 223125
/proc/meminfo: memFree=119102828/131524600 swapFree=131056028/131071996
[pid=223071] ppid=223068 vsize=56440 memory=27932 CPUtime=281.57 cores=4,6
/proc/223071/stat : 223071 (pb-oll-rs) R 223068 223071 217925 0 -1 4194304 7787 0 0 0 27878 279 0 0 20 0 1 0 24986889 57794560 6983 134679101440 4194304 5384485 140727702231856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26271744 140727702238231 140727702238308 140727702238308 140727702245323 0
/proc/223071/statm: 14110 6983 1419 291 0 5644 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 56440 KiB
Current children cumulated memory: 27932 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 223136
/proc/meminfo: memFree=119057548/131524600 swapFree=131056028/131071996
[pid=223071] ppid=223068 vsize=64096 memory=28696 CPUtime=341.4 cores=4,6
/proc/223071/stat : 223071 (pb-oll-rs) R 223068 223071 217925 0 -1 4194304 8852 0 0 0 33815 325 0 0 20 0 1 0 24986889 65634304 7174 134679101440 4194304 5384485 140727702231856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26271744 140727702238231 140727702238308 140727702238308 140727702245323 0
/proc/223071/statm: 16024 7174 1419 291 0 7558 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 64096 KiB
Current children cumulated memory: 28696 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/256 223146
/proc/meminfo: memFree=118969272/131524600 swapFree=131056028/131071996
[pid=223071] ppid=223068 vsize=64868 memory=29812 CPUtime=401.24 cores=4,6
/proc/223071/stat : 223071 (pb-oll-rs) R 223068 223071 217925 0 -1 4194304 9791 0 0 0 39752 372 0 0 20 0 1 0 24986889 66424832 7453 134679101440 4194304 5384485 140727702231856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26271744 140727702238231 140727702238308 140727702238308 140727702245323 0
/proc/223071/statm: 16217 7453 1419 291 0 7751 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 64868 KiB
Current children cumulated memory: 29812 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/256 223157
/proc/meminfo: memFree=118858604/131524600 swapFree=131056028/131071996
[pid=223071] ppid=223068 vsize=65144 memory=30808 CPUtime=461.09 cores=4,6
/proc/223071/stat : 223071 (pb-oll-rs) R 223068 223071 217925 0 -1 4194304 10803 0 0 0 45693 416 0 0 20 0 1 0 24986889 66707456 7702 134679101440 4194304 5384485 140727702231856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26271744 140727702238231 140727702238308 140727702238308 140727702245323 0
/proc/223071/statm: 16286 7702 1419 291 0 7820 0
Current children cumulated CPU time: 461.09 s
Current children cumulated vsize: 65144 KiB
Current children cumulated memory: 30808 KiB
[startup+522.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/256 223167
/proc/meminfo: memFree=118582008/131524600 swapFree=131056028/131071996
[pid=223071] ppid=223068 vsize=65560 memory=31688 CPUtime=520.93 cores=4,6
/proc/223071/stat : 223071 (pb-oll-rs) R 223068 223071 217925 0 -1 4194304 11642 0 0 0 51637 456 0 0 20 0 1 0 24986889 67133440 7922 134679101440 4194304 5384485 140727702231856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26271744 140727702238231 140727702238308 140727702238308 140727702245323 0
/proc/223071/statm: 16390 7922 1419 291 0 7924 0
Current children cumulated CPU time: 520.93 s
Current children cumulated vsize: 65560 KiB
Current children cumulated memory: 31688 KiB
[startup+582.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 223560
/proc/meminfo: memFree=118361832/131524600 swapFree=131056028/131071996
[pid=223071] ppid=223068 vsize=65996 memory=34148 CPUtime=580.77 cores=4,6
/proc/223071/stat : 223071 (pb-oll-rs) R 223068 223071 217925 0 -1 4194304 12373 0 0 0 57582 495 0 0 20 0 1 0 24986889 67579904 8537 134679101440 4194304 5384485 140727702231856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26271744 140727702238231 140727702238308 140727702238308 140727702245323 0
/proc/223071/statm: 16499 8537 1419 291 0 8033 0
Current children cumulated CPU time: 580.77 s
Current children cumulated vsize: 65996 KiB
Current children cumulated memory: 34148 KiB
[startup+605.103 s]
# the end of solver process 223071 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=598.419 s, system=5.10381 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+588.8 s]
/proc/loadavg: 4.06 4.10 4.09 5/256 223560
/proc/meminfo: memFree=118321692/131524600 swapFree=131056028/131071996
[pid=223071] ppid=223068 vsize=65996 memory=34148 CPUtime=587.25 cores=4,6
/proc/223071/stat : 223071 (pb-oll-rs) R 223068 223071 217925 0 -1 4194304 12373 0 0 0 58225 500 0 0 20 0 1 0 24986889 67579904 8537 134679101440 4194304 5384485 140727702231856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26271744 140727702238231 140727702238308 140727702238308 140727702245323 0
/proc/223071/statm: 16499 8537 1419 291 0 8033 0
Current children cumulated CPU time: 587.25 s
Current children cumulated vsize: 65996 KiB
Current children cumulated memory: 34148 KiB
[startup+595.2 s]
/proc/loadavg: 4.06 4.09 4.09 5/256 223562
/proc/meminfo: memFree=118281552/131524600 swapFree=131056028/131071996
[pid=223071] ppid=223068 vsize=65996 memory=34148 CPUtime=593.63 cores=4,6
/proc/223071/stat : 223071 (pb-oll-rs) R 223068 223071 217925 0 -1 4194304 12531 0 0 0 58860 503 0 0 20 0 1 0 24986889 67579904 8537 134679101440 4194304 5384485 140727702231856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26271744 140727702238231 140727702238308 140727702238308 140727702245323 0
/proc/223071/statm: 16499 8537 1419 291 0 8033 0
Current children cumulated CPU time: 593.63 s
Current children cumulated vsize: 65996 KiB
Current children cumulated memory: 34148 KiB
[startup+601.6 s]
/proc/loadavg: 4.05 4.09 4.09 5/256 223564
/proc/meminfo: memFree=118242340/131524600 swapFree=131056028/131071996
[pid=223071] ppid=223068 vsize=65996 memory=34148 CPUtime=600.02 cores=4,6
/proc/223071/stat : 223071 (pb-oll-rs) R 223068 223071 217925 0 -1 4194304 12531 0 0 0 59494 508 0 0 20 0 1 0 24986889 67579904 8537 134679101440 4194304 5384485 140727702231856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26271744 140727702238231 140727702238308 140727702238308 140727702245323 0
/proc/223071/statm: 16499 8537 1419 291 0 8033 0
Current children cumulated CPU time: 600.02 s
Current children cumulated vsize: 65996 KiB
Current children cumulated memory: 34148 KiB
[startup+603.2 s]
/proc/loadavg: 4.05 4.09 4.09 5/256 223564
/proc/meminfo: memFree=118230160/131524600 swapFree=131056028/131071996
[pid=223071] ppid=223068 vsize=65996 memory=34148 CPUtime=601.61 cores=4,6
/proc/223071/stat : 223071 (pb-oll-rs) R 223068 223071 217925 0 -1 4194304 12531 0 0 0 59652 509 0 0 20 0 1 0 24986889 67579904 8537 134679101440 4194304 5384485 140727702231856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26271744 140727702238231 140727702238308 140727702238308 140727702245323 0
/proc/223071/statm: 16499 8537 1419 291 0 8033 0
Current children cumulated CPU time: 601.61 s
Current children cumulated vsize: 65996 KiB
Current children cumulated memory: 34148 KiB
[startup+604 s]*
/proc/loadavg: 4.05 4.09 4.09 5/256 223564
/proc/meminfo: memFree=118224432/131524600 swapFree=131056028/131071996
[pid=223071] ppid=223068 vsize=65996 memory=34148 CPUtime=602.41 cores=4,6
/proc/223071/stat : 223071 (pb-oll-rs) R 223068 223071 217925 0 -1 4194304 12531 0 0 0 59732 509 0 0 20 0 1 0 24986889 67579904 8537 134679101440 4194304 5384485 140727702231856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26271744 140727702238231 140727702238308 140727702238308 140727702245323 0
/proc/223071/statm: 16499 8537 1419 291 0 8033 0
Current children cumulated CPU time: 602.41 s
Current children cumulated vsize: 65996 KiB
Current children cumulated memory: 34148 KiB
[startup+604.8 s]
/proc/loadavg: 4.05 4.09 4.09 5/256 223564
/proc/meminfo: memFree=118224432/131524600 swapFree=131056028/131071996
[pid=223071] ppid=223068 vsize=65996 memory=34148 CPUtime=603.21 cores=4,6
/proc/223071/stat : 223071 (pb-oll-rs) R 223068 223071 217925 0 -1 4194304 12531 0 0 0 59812 509 0 0 20 0 1 0 24986889 67579904 8537 134679101440 4194304 5384485 140727702231856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26271744 140727702238231 140727702238308 140727702238308 140727702245323 0
/proc/223071/statm: 16499 8537 1419 291 0 8033 0
Current children cumulated CPU time: 603.21 s
Current children cumulated vsize: 65996 KiB
Current children cumulated memory: 34148 KiB
[startup+605 s]*
/proc/loadavg: 4.05 4.09 4.09 6/256 223564
/proc/meminfo: memFree=118219280/131524600 swapFree=131056028/131071996
[pid=223071] ppid=223068 vsize=65996 memory=34148 CPUtime=603.42 cores=4,6
/proc/223071/stat : 223071 (pb-oll-rs) R 223068 223071 217925 0 -1 4194304 12531 0 0 0 59832 510 0 0 20 0 1 0 24986889 67579904 8537 134679101440 4194304 5384485 140727702231856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 26271744 140727702238231 140727702238308 140727702238308 140727702245323 0
/proc/223071/statm: 16499 8537 1419 291 0 8033 0
Current children cumulated CPU time: 603.42 s
Current children cumulated vsize: 65996 KiB
Current children cumulated memory: 34148 KiB
Child status: 0
Real time (s): 605.103
CPU time (s): 603.523
CPU user time (s): 598.419
CPU system time (s): 5.10381
CPU usage (%): 99.7389
Max. virtual memory (cumulated for all children) (KiB): 66804
Max. memory (cumulated for all children) (KiB): 34600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 598.419
system time used= 5.10381
maximum resident set size= 34680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12542
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= 6
involuntary context switches= 378
# summary of solver processes directly reported to runsolver:
# pid: 223071
# total CPU time (s): 603.523
# total CPU user time (s): 598.419
# total CPU system time (s): 5.10381
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.42921 second user time and 1.46662 second system time
The end
Begin job on nodeC016 at 2024-07-25 07:16:24
IDJOB=4458906
IDBENCH=178266
IDSOLVER=3082
FILE ID=nodeC016/4458906-1721884584
RUNJOBID= nodeC016-1721875931-217936
SLURM_JOB_ID= 8089230
Free space on /tmp= 890072 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/normalized-maxcut_opt_complete_5-partite_inlv_nvert_27.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458906-1721884584/watcher-4458906-1721884584 -o /tmp/evaluation-result-4458906-1721884584/solver-4458906-1721884584 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721875931-217936 --watchdog 3760 pb-oll-rs HOME/instance-4458906-1721884584.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3b9231489038b4cdb94f511f52877e11
RANDOM SEED=1936121471
nodeC016.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3674.914
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3686.463
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3669.711
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.033
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3619.754
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3686.471
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3649.674
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.790
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 120252988 kB
MemAvailable: 123239976 kB
Buffers: 293864 kB
Cached: 3374900 kB
SwapCached: 284 kB
Active: 2334684 kB
Inactive: 8029184 kB
Active(anon): 2408 kB
Inactive(anon): 6745136 kB
Active(file): 2332276 kB
Inactive(file): 1284048 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131056028 kB
Dirty: 2420 kB
Writeback: 0 kB
AnonPages: 6694928 kB
Mapped: 107500 kB
Shmem: 52400 kB
KReclaimable: 420620 kB
Slab: 541132 kB
SReclaimable: 420620 kB
SUnreclaim: 120512 kB
KernelStack: 4096 kB
PageTables: 23484 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 8120532 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 17184 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3702784 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 373460 kB
DirectMap2M: 42391552 kB
DirectMap1G: 93323264 kB
Free space on /tmp at the end= 890072 MiB
End job on nodeC016 at 2024-07-25 07:26:29