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.09 c [STEP] solving
0.00/0.09 c #variables 351 #constraints 11700
0.00/0.09 c SMALL=int, LARGE=long long
0.00/0.09 c bounds - >= -291 @ 0.065225
0.00/0.09 c stratification level: 0
0.10/0.11 c bounds - >= -290 @ 0.067433
0.10/0.11 c bounds - >= -289 @ 0.067433
0.10/0.11 c bounds - >= -288 @ 0.067433
0.10/0.11 c bounds - >= -287 @ 0.067433
0.10/0.11 c bounds - >= -286 @ 0.067433
0.10/0.11 c bounds - >= -285 @ 0.067433
0.10/0.11 c bounds - >= -284 @ 0.067551
0.10/0.11 c bounds - >= -283 @ 0.067607
0.10/0.11 c bounds - >= -282 @ 0.067653
0.10/0.11 c bounds - >= -281 @ 0.067698
0.10/0.11 c bounds - >= -280 @ 0.067748
0.10/0.11 c bounds - >= -279 @ 0.067795
0.10/0.11 c bounds - >= -278 @ 0.067845
0.10/0.11 c bounds - >= -277 @ 0.06789
0.10/0.11 c bounds - >= -276 @ 0.067939
0.10/0.11 c bounds - >= -275 @ 0.067983
0.10/0.11 c bounds - >= -274 @ 0.068031
0.10/0.11 c bounds - >= -273 @ 0.068076
0.10/0.11 c bounds - >= -272 @ 0.068125
0.10/0.11 c bounds - >= -271 @ 0.068172
0.10/0.11 c bounds - >= -270 @ 0.068214
0.10/0.11 c bounds - >= -269 @ 0.068263
0.10/0.11 c bounds - >= -268 @ 0.068308
0.10/0.11 c bounds - >= -267 @ 0.068354
0.10/0.11 c bounds - >= -266 @ 0.068394
0.10/0.11 c bounds - >= -265 @ 0.068443
0.10/0.11 c bounds - >= -264 @ 0.068488
0.10/0.11 c bounds - >= -263 @ 0.068534
0.10/0.11 c bounds - >= -262 @ 0.068581
0.10/0.11 c bounds - >= -261 @ 0.068626
0.10/0.11 c bounds - >= -260 @ 0.068668
0.10/0.11 c bounds - >= -259 @ 0.068715
0.10/0.11 c bounds - >= -258 @ 0.068766
0.10/0.11 c bounds - >= -257 @ 0.068815
0.10/0.11 c bounds - >= -256 @ 0.068861
0.10/0.11 c bounds - >= -255 @ 0.068908
0.10/0.11 c bounds - >= -254 @ 0.068952
0.10/0.11 c bounds - >= -253 @ 0.068997
0.10/0.11 c bounds - >= -252 @ 0.069046
0.10/0.11 c bounds - >= -251 @ 0.069094
0.10/0.11 c bounds - >= -250 @ 0.069146
0.10/0.11 c bounds - >= -249 @ 0.069192
0.10/0.11 c bounds - >= -248 @ 0.06924
0.10/0.11 c bounds - >= -247 @ 0.069285
0.10/0.11 c bounds - >= -246 @ 0.069341
0.10/0.11 c bounds - >= -245 @ 0.069395
0.10/0.11 c bounds - >= -244 @ 0.069442
0.10/0.11 c bounds - >= -243 @ 0.069489
0.10/0.11 c bounds - >= -242 @ 0.069541
0.10/0.11 c bounds - >= -241 @ 0.069585
0.10/0.11 c bounds - >= -240 @ 0.06963
0.10/0.11 c bounds - >= -239 @ 0.069674
0.10/0.11 c bounds - >= -238 @ 0.069725
0.10/0.11 c bounds - >= -237 @ 0.069772
0.10/0.11 c bounds - >= -236 @ 0.069818
0.10/0.11 c bounds - >= -235 @ 0.069871
0.10/0.11 c bounds - >= -234 @ 0.069921
0.10/0.11 c bounds - >= -233 @ 0.069966
0.10/0.11 c bounds - >= -232 @ 0.07002
0.10/0.11 c bounds - >= -231 @ 0.070064
0.10/0.11 c bounds - >= -230 @ 0.070112
0.10/0.11 c bounds - >= -229 @ 0.070165
0.10/0.11 c bounds - >= -228 @ 0.070212
0.10/0.11 c bounds - >= -227 @ 0.07026
0.10/0.11 c bounds - >= -226 @ 0.070332
0.10/0.11 c bounds - >= -225 @ 0.070385
0.10/0.11 c bounds - >= -224 @ 0.07044
0.10/0.11 c bounds - >= -223 @ 0.070485
0.10/0.11 c bounds - >= -222 @ 0.070549
0.10/0.11 c bounds - >= -221 @ 0.070605
0.10/0.11 c bounds - >= -220 @ 0.070664
0.10/0.11 c bounds - >= -219 @ 0.070725
0.10/0.11 c bounds - >= -218 @ 0.070772
0.10/0.11 c bounds - >= -217 @ 0.070839
0.10/0.11 c bounds - >= -216 @ 0.070908
0.10/0.11 c bounds - >= -215 @ 0.070971
0.10/0.11 c bounds - >= -214 @ 0.071022
0.10/0.11 c bounds - >= -213 @ 0.071107
0.10/0.11 c bounds - >= -212 @ 0.071155
0.10/0.11 c bounds - >= -211 @ 0.071236
0.10/0.11 c bounds - >= -210 @ 0.071323
0.10/0.11 c bounds - >= -209 @ 0.071384
0.10/0.11 c bounds - >= -208 @ 0.071489
0.10/0.11 c finalizing WCE round: reformulating cores
10.56/10.70 c #Conflicts: 1000 | #Constraints: 12816
10.56/10.70 c #Conflicts: 2000 | #Constraints: 13820
10.56/10.70 c INPROCESSING
10.56/10.70 c GARBAGE COLLECT
10.56/10.70 c #Conflicts: 3000 | #Constraints: 13734
10.56/10.70 c #Conflicts: 4000 | #Constraints: 14736
10.56/10.70 c INPROCESSING
10.56/10.70 c GARBAGE COLLECT
10.56/10.70 c #Conflicts: 5000 | #Constraints: 14141
10.56/10.70 c #Conflicts: 6000 | #Constraints: 15143
10.56/10.70 c INPROCESSING
10.56/10.70 c GARBAGE COLLECT
10.56/10.70 c #Conflicts: 7000 | #Constraints: 14147
10.56/10.70 c #Conflicts: 8000 | #Constraints: 15149
10.56/10.70 c #Conflicts: 9000 | #Constraints: 16153
10.56/10.70 c INPROCESSING
10.56/10.70 c GARBAGE COLLECT
10.56/10.70 c #Conflicts: 10000 | #Constraints: 14856
10.56/10.70 c #Conflicts: 11000 | #Constraints: 15858
10.56/10.70 c #Conflicts: 12000 | #Constraints: 16860
10.56/10.70 c INPROCESSING
10.56/10.70 c GARBAGE COLLECT
10.56/10.70 c #Conflicts: 13000 | #Constraints: 15310
10.56/10.70 c #Conflicts: 14000 | #Constraints: 16312
10.56/10.70 c #Conflicts: 15000 | #Constraints: 17314
10.56/10.70 c INPROCESSING
10.56/10.70 c GARBAGE COLLECT
10.56/10.70 c #Conflicts: 16000 | #Constraints: 15543
10.56/10.70 c #Conflicts: 17000 | #Constraints: 16545
10.56/10.70 c #Conflicts: 18000 | #Constraints: 17547
10.56/10.70 c INPROCESSING
10.56/10.70 c GARBAGE COLLECT
10.56/10.70 c #Conflicts: 19000 | #Constraints: 15565
10.56/10.70 c #Conflicts: 20000 | #Constraints: 16567
10.56/10.70 c #Conflicts: 21000 | #Constraints: 17569
10.56/10.70 c INPROCESSING
10.56/10.70 c GARBAGE COLLECT
10.56/10.70 c #Conflicts: 22000 | #Constraints: 15379
10.56/10.70 c #Conflicts: 23000 | #Constraints: 16381
10.56/10.70 c #Conflicts: 24000 | #Constraints: 17385
10.56/10.70 c #Conflicts: 25000 | #Constraints: 18387
10.56/10.70 c INPROCESSING
10.56/10.70 c GARBAGE COLLECT
10.56/10.70 c #Conflicts: 26000 | #Constraints: 15991
10.56/10.70 c #Conflicts: 27000 | #Constraints: 16993
10.56/10.70 c #Conflicts: 28000 | #Constraints: 17995
10.56/10.70 c #Conflicts: 29000 | #Constraints: 18999
10.56/10.70 c INPROCESSING
10.56/10.70 c GARBAGE COLLECT
10.56/10.70 c #Conflicts: 30000 | #Constraints: 16402
10.56/10.70 c #Conflicts: 31000 | #Constraints: 17404
10.56/10.70 c #Conflicts: 32000 | #Constraints: 18406
10.56/10.70 c #Conflicts: 33000 | #Constraints: 19410
10.56/10.70 c INPROCESSING
10.56/10.70 c GARBAGE COLLECT
10.56/10.70 c #Conflicts: 34000 | #Constraints: 16611
10.56/10.70 c #Conflicts: 35000 | #Constraints: 17613
10.56/10.70 c #Conflicts: 36000 | #Constraints: 18615
10.56/10.70 c #Conflicts: 37000 | #Constraints: 19619
10.56/10.70 c INPROCESSING
10.56/10.70 c GARBAGE COLLECT
10.56/10.70 c #Conflicts: 38000 | #Constraints: 16622
10.56/10.70 c #Conflicts: 39000 | #Constraints: 17624
10.56/10.70 c #Conflicts: 40000 | #Constraints: 18626
10.56/10.70 c #Conflicts: 41000 | #Constraints: 19630
10.56/10.70 c INPROCESSING
10.56/10.70 c GARBAGE COLLECT
10.56/10.70 c #Conflicts: 42000 | #Constraints: 16430
10.56/10.70 c #Conflicts: 43000 | #Constraints: 17432
10.56/10.70 c #Conflicts: 44000 | #Constraints: 18436
10.56/10.70 c #Conflicts: 45000 | #Constraints: 19438
10.56/10.70 c #Conflicts: 46000 | #Constraints: 20440
10.56/10.70 c INPROCESSING
10.56/10.70 c GARBAGE COLLECT
10.56/10.70 c #Conflicts: 47000 | #Constraints: 17046
10.56/10.70 c #Conflicts: 48000 | #Constraints: 18048
10.56/10.70 c #Conflicts: 49000 | #Constraints: 19050
10.56/10.70 c #Conflicts: 50000 | #Constraints: 20054
10.56/10.70 c #Conflicts: 51000 | #Constraints: 21056
10.56/10.70 c INPROCESSING
10.56/10.70 c GARBAGE COLLECT
10.56/10.70 c #Conflicts: 52000 | #Constraints: 17460
10.56/10.70 c #Conflicts: 53000 | #Constraints: 18462
10.56/10.70 c #Conflicts: 54000 | #Constraints: 19464
10.56/10.70 c #Conflicts: 55000 | #Constraints: 20468
10.56/10.70 c #Conflicts: 56000 | #Constraints: 21470
10.56/10.70 c INPROCESSING
10.56/10.70 c GARBAGE COLLECT
10.56/10.70 c #Conflicts: 57000 | #Constraints: 17674
10.56/10.70 c #Conflicts: 58000 | #Constraints: 18676
10.56/10.70 c #Conflicts: 59000 | #Constraints: 19678
10.56/10.70 c #Conflicts: 60000 | #Constraints: 20682
10.56/10.70 c #Conflicts: 61000 | #Constraints: 21684
10.56/10.70 c INPROCESSING
10.56/10.70 c GARBAGE COLLECT
10.56/10.70 c #Conflicts: 62000 | #Constraints: 17685
10.56/10.70 c bounds -180 >= -208 @ 10.4206
10.56/10.70 c bounds -180 >= -207 @ 10.421
10.56/10.70 c bounds -180 >= -206 @ 10.421
10.56/10.70 c bounds -180 >= -205 @ 10.421
10.56/10.70 c bounds -180 >= -204 @ 10.4217
10.56/10.70 c bounds -180 >= -203 @ 10.422
10.56/10.70 c bounds -180 >= -202 @ 10.4227
10.56/10.70 c bounds -180 >= -201 @ 10.4241
10.56/10.70 c bounds -180 >= -200 @ 10.4263
10.56/10.70 c bounds -180 >= -199 @ 10.4387
28.42/28.53 c bounds -180 >= -198 @ 10.5135
28.42/28.53 c #Conflicts: 63000 | #Constraints: 18965
28.42/28.53 c #Conflicts: 64000 | #Constraints: 19965
28.42/28.53 c #Conflicts: 65000 | #Constraints: 20965
28.42/28.53 c #Conflicts: 66000 | #Constraints: 21965
28.42/28.53 c INPROCESSING
28.42/28.53 c GARBAGE COLLECT
28.42/28.53 c #Conflicts: 67000 | #Constraints: 17688
28.42/28.53 c #Conflicts: 68000 | #Constraints: 18688
28.42/28.53 c #Conflicts: 69000 | #Constraints: 19688
28.42/28.53 c #Conflicts: 70000 | #Constraints: 20688
28.42/28.53 c #Conflicts: 71000 | #Constraints: 21688
28.42/28.53 c #Conflicts: 72000 | #Constraints: 22688
28.42/28.53 c INPROCESSING
28.42/28.53 c GARBAGE COLLECT
28.42/28.53 c #Conflicts: 73000 | #Constraints: 18247
28.42/28.53 c #Conflicts: 74000 | #Constraints: 19247
28.42/28.53 c #Conflicts: 75000 | #Constraints: 20247
28.42/28.53 c #Conflicts: 76000 | #Constraints: 21247
28.42/28.53 c #Conflicts: 77000 | #Constraints: 22247
28.42/28.53 c #Conflicts: 78000 | #Constraints: 23247
28.42/28.53 c INPROCESSING
28.42/28.53 c GARBAGE COLLECT
28.42/28.53 c #Conflicts: 79000 | #Constraints: 18632
28.42/28.53 c #Conflicts: 80000 | #Constraints: 19632
28.42/28.53 c #Conflicts: 81000 | #Constraints: 20632
28.42/28.53 c #Conflicts: 82000 | #Constraints: 21632
28.42/28.53 c #Conflicts: 83000 | #Constraints: 22632
28.42/28.53 c #Conflicts: 84000 | #Constraints: 23632
28.42/28.53 c INPROCESSING
28.42/28.53 c GARBAGE COLLECT
28.42/28.53 c #Conflicts: 85000 | #Constraints: 18821
28.42/28.53 c #Conflicts: 86000 | #Constraints: 19821
28.42/28.53 c #Conflicts: 87000 | #Constraints: 20821
28.42/28.53 c #Conflicts: 88000 | #Constraints: 21821
28.42/28.53 c #Conflicts: 89000 | #Constraints: 22821
28.42/28.53 c #Conflicts: 90000 | #Constraints: 23821
28.42/28.53 c INPROCESSING
28.42/28.53 c GARBAGE COLLECT
28.42/28.53 c #Conflicts: 91000 | #Constraints: 18816
28.42/28.53 c #Conflicts: 92000 | #Constraints: 19816
28.42/28.53 c #Conflicts: 93000 | #Constraints: 20816
28.42/28.53 c #Conflicts: 94000 | #Constraints: 21816
28.42/28.53 c #Conflicts: 95000 | #Constraints: 22816
28.42/28.53 c #Conflicts: 96000 | #Constraints: 23816
28.42/28.53 c INPROCESSING
28.42/28.53 c GARBAGE COLLECT
28.42/28.53 c #Conflicts: 97000 | #Constraints: 18619
28.42/28.53 c #Conflicts: 98000 | #Constraints: 19619
28.42/28.53 c #Conflicts: 99000 | #Constraints: 20619
28.42/28.53 c #Conflicts: 100000 | #Constraints: 21619
28.42/28.53 c #Conflicts: 101000 | #Constraints: 22619
28.42/28.53 c #Conflicts: 102000 | #Constraints: 23619
28.42/28.53 c #Conflicts: 103000 | #Constraints: 24619
28.42/28.53 c INPROCESSING
28.42/28.53 c GARBAGE COLLECT
28.42/28.53 c #Conflicts: 104000 | #Constraints: 19213
28.42/28.53 c #Conflicts: 105000 | #Constraints: 20213
28.42/28.53 c #Conflicts: 106000 | #Constraints: 21213
28.42/28.53 c #Conflicts: 107000 | #Constraints: 22213
28.42/28.53 c #Conflicts: 108000 | #Constraints: 23213
28.42/28.53 c #Conflicts: 109000 | #Constraints: 24213
28.42/28.53 c #Conflicts: 110000 | #Constraints: 25213
28.42/28.53 c INPROCESSING
28.42/28.53 c GARBAGE COLLECT
28.42/28.53 c #Conflicts: 111000 | #Constraints: 19616
28.42/28.53 c #Conflicts: 112000 | #Constraints: 20616
28.42/28.53 c #Conflicts: 113000 | #Constraints: 21616
28.42/28.53 c #Conflicts: 114000 | #Constraints: 22616
28.42/28.53 c #Conflicts: 115000 | #Constraints: 23616
28.42/28.53 c #Conflicts: 116000 | #Constraints: 24616
28.42/28.53 c #Conflicts: 117000 | #Constraints: 25616
28.42/28.53 c INPROCESSING
28.42/28.53 c GARBAGE COLLECT
28.42/28.53 c #Conflicts: 118000 | #Constraints: 19819
28.42/28.53 c #Conflicts: 119000 | #Constraints: 20819
28.42/28.53 c #Conflicts: 120000 | #Constraints: 21819
28.42/28.53 c #Conflicts: 121000 | #Constraints: 22819
28.42/28.53 c #Conflicts: 122000 | #Constraints: 23819
28.42/28.53 c #Conflicts: 123000 | #Constraints: 24819
28.42/28.53 c #Conflicts: 124000 | #Constraints: 25819
28.42/28.53 c INPROCESSING
28.42/28.53 c GARBAGE COLLECT
28.42/28.53 c #Conflicts: 125000 | #Constraints: 19815
28.42/28.53 c #Conflicts: 126000 | #Constraints: 20815
28.42/28.53 c #Conflicts: 127000 | #Constraints: 21815
28.42/28.53 c #Conflicts: 128000 | #Constraints: 22815
28.42/28.53 c #Conflicts: 129000 | #Constraints: 23815
28.42/28.53 c #Conflicts: 130000 | #Constraints: 24815
28.42/28.53 c #Conflicts: 131000 | #Constraints: 25815
28.42/28.53 c INPROCESSING
28.42/28.53 c GARBAGE COLLECT
28.42/28.53 c #Conflicts: 132000 | #Constraints: 19622
28.42/28.53 c #Conflicts: 133000 | #Constraints: 20622
28.42/28.53 c #Conflicts: 134000 | #Constraints: 21622
53.06/53.21 c #Conflicts: 135000 | #Constraints: 22622
53.06/53.21 c #Conflicts: 136000 | #Constraints: 23622
53.06/53.21 c #Conflicts: 137000 | #Constraints: 24622
53.06/53.21 c #Conflicts: 138000 | #Constraints: 25622
53.06/53.21 c #Conflicts: 139000 | #Constraints: 26622
53.06/53.21 c INPROCESSING
53.06/53.21 c GARBAGE COLLECT
53.06/53.21 c #Conflicts: 140000 | #Constraints: 20222
53.06/53.21 c #Conflicts: 141000 | #Constraints: 21222
53.06/53.21 c #Conflicts: 142000 | #Constraints: 22222
53.06/53.21 c #Conflicts: 143000 | #Constraints: 23222
53.06/53.21 c #Conflicts: 144000 | #Constraints: 24222
53.06/53.21 c #Conflicts: 145000 | #Constraints: 25222
53.06/53.21 c #Conflicts: 146000 | #Constraints: 26222
53.06/53.21 c #Conflicts: 147000 | #Constraints: 27222
53.06/53.21 c INPROCESSING
53.06/53.21 c GARBAGE COLLECT
53.06/53.21 c #Conflicts: 148000 | #Constraints: 20623
53.06/53.21 c #Conflicts: 149000 | #Constraints: 21623
53.06/53.21 c #Conflicts: 150000 | #Constraints: 22623
53.06/53.21 c #Conflicts: 151000 | #Constraints: 23623
53.06/53.21 c #Conflicts: 152000 | #Constraints: 24623
53.06/53.21 c #Conflicts: 153000 | #Constraints: 25623
53.06/53.21 c #Conflicts: 154000 | #Constraints: 26623
53.06/53.21 c #Conflicts: 155000 | #Constraints: 27623
53.06/53.21 c INPROCESSING
53.06/53.21 c GARBAGE COLLECT
53.06/53.21 c #Conflicts: 156000 | #Constraints: 20822
53.06/53.21 c #Conflicts: 157000 | #Constraints: 21822
53.06/53.21 c #Conflicts: 158000 | #Constraints: 22822
53.06/53.21 c #Conflicts: 159000 | #Constraints: 23822
53.06/53.21 c #Conflicts: 160000 | #Constraints: 24822
53.06/53.21 c #Conflicts: 161000 | #Constraints: 25822
53.06/53.21 c #Conflicts: 162000 | #Constraints: 26822
53.06/53.21 c #Conflicts: 163000 | #Constraints: 27822
53.06/53.21 c INPROCESSING
53.06/53.21 c GARBAGE COLLECT
53.06/53.21 c #Conflicts: 164000 | #Constraints: 20819
53.06/53.21 c #Conflicts: 165000 | #Constraints: 21819
53.06/53.21 c #Conflicts: 166000 | #Constraints: 22819
53.06/53.21 c #Conflicts: 167000 | #Constraints: 23819
53.06/53.21 c #Conflicts: 168000 | #Constraints: 24819
53.06/53.21 c #Conflicts: 169000 | #Constraints: 25819
53.06/53.21 c #Conflicts: 170000 | #Constraints: 26819
53.06/53.21 c #Conflicts: 171000 | #Constraints: 27819
53.06/53.21 c INPROCESSING
53.06/53.21 c GARBAGE COLLECT
53.06/53.21 c #Conflicts: 172000 | #Constraints: 20622
53.06/53.21 c #Conflicts: 173000 | #Constraints: 21622
53.06/53.21 c #Conflicts: 174000 | #Constraints: 22622
53.06/53.21 c #Conflicts: 175000 | #Constraints: 23622
53.06/53.21 c #Conflicts: 176000 | #Constraints: 24622
53.06/53.21 c #Conflicts: 177000 | #Constraints: 25622
53.06/53.21 c #Conflicts: 178000 | #Constraints: 26622
53.06/53.21 c #Conflicts: 179000 | #Constraints: 27622
53.06/53.21 c #Conflicts: 180000 | #Constraints: 28622
53.06/53.21 c INPROCESSING
53.06/53.21 c GARBAGE COLLECT
53.06/53.21 c #Conflicts: 181000 | #Constraints: 21215
53.06/53.21 c #Conflicts: 182000 | #Constraints: 22215
53.06/53.21 c #Conflicts: 183000 | #Constraints: 23215
53.06/53.21 c #Conflicts: 184000 | #Constraints: 24215
53.06/53.21 c #Conflicts: 185000 | #Constraints: 25215
53.06/53.21 c #Conflicts: 186000 | #Constraints: 26215
53.06/53.21 c #Conflicts: 187000 | #Constraints: 27215
53.06/53.21 c #Conflicts: 188000 | #Constraints: 28215
53.06/53.21 c #Conflicts: 189000 | #Constraints: 29215
53.06/53.21 c INPROCESSING
53.06/53.21 c GARBAGE COLLECT
53.06/53.21 c #Conflicts: 190000 | #Constraints: 21612
53.06/53.21 c #Conflicts: 191000 | #Constraints: 22612
53.06/53.21 c #Conflicts: 192000 | #Constraints: 23612
53.06/53.21 c #Conflicts: 193000 | #Constraints: 24612
53.06/53.21 c #Conflicts: 194000 | #Constraints: 25612
53.06/53.21 c #Conflicts: 195000 | #Constraints: 26612
53.06/53.21 c #Conflicts: 196000 | #Constraints: 27612
53.06/53.21 c #Conflicts: 197000 | #Constraints: 28612
53.06/53.21 c #Conflicts: 198000 | #Constraints: 29612
53.06/53.21 c INPROCESSING
53.06/53.21 c GARBAGE COLLECT
53.06/53.21 c #Conflicts: 199000 | #Constraints: 21824
53.06/53.21 c #Conflicts: 200000 | #Constraints: 22824
53.06/53.21 c #Conflicts: 201000 | #Constraints: 23824
53.06/53.21 c #Conflicts: 202000 | #Constraints: 24824
53.06/53.21 c #Conflicts: 203000 | #Constraints: 25824
53.06/53.21 c #Conflicts: 204000 | #Constraints: 26824
53.06/53.21 c #Conflicts: 205000 | #Constraints: 27824
53.06/53.21 c #Conflicts: 206000 | #Constraints: 28824
53.06/53.21 c #Conflicts: 207000 | #Constraints: 29824
80.98/81.25 c INPROCESSING
80.98/81.25 c GARBAGE COLLECT
80.98/81.25 c #Conflicts: 208000 | #Constraints: 21824
80.98/81.25 c #Conflicts: 209000 | #Constraints: 22824
80.98/81.25 c #Conflicts: 210000 | #Constraints: 23824
80.98/81.25 c #Conflicts: 211000 | #Constraints: 24824
80.98/81.25 c #Conflicts: 212000 | #Constraints: 25824
80.98/81.25 c #Conflicts: 213000 | #Constraints: 26824
80.98/81.25 c #Conflicts: 214000 | #Constraints: 27824
80.98/81.25 c #Conflicts: 215000 | #Constraints: 28824
80.98/81.25 c #Conflicts: 216000 | #Constraints: 29824
80.98/81.25 c INPROCESSING
80.98/81.25 c GARBAGE COLLECT
80.98/81.25 c #Conflicts: 217000 | #Constraints: 21626
80.98/81.25 c #Conflicts: 218000 | #Constraints: 22626
80.98/81.25 c #Conflicts: 219000 | #Constraints: 23626
80.98/81.25 c #Conflicts: 220000 | #Constraints: 24626
80.98/81.25 c #Conflicts: 221000 | #Constraints: 25626
80.98/81.25 c #Conflicts: 222000 | #Constraints: 26626
80.98/81.25 c #Conflicts: 223000 | #Constraints: 27626
80.98/81.25 c #Conflicts: 224000 | #Constraints: 28626
80.98/81.25 c #Conflicts: 225000 | #Constraints: 29626
80.98/81.25 c #Conflicts: 226000 | #Constraints: 30626
80.98/81.25 c INPROCESSING
80.98/81.25 c GARBAGE COLLECT
80.98/81.25 c #Conflicts: 227000 | #Constraints: 22222
80.98/81.25 c #Conflicts: 228000 | #Constraints: 23222
80.98/81.25 c #Conflicts: 229000 | #Constraints: 24222
80.98/81.25 c #Conflicts: 230000 | #Constraints: 25222
80.98/81.25 c #Conflicts: 231000 | #Constraints: 26222
80.98/81.25 c #Conflicts: 232000 | #Constraints: 27222
80.98/81.25 c #Conflicts: 233000 | #Constraints: 28222
80.98/81.25 c #Conflicts: 234000 | #Constraints: 29222
80.98/81.25 c #Conflicts: 235000 | #Constraints: 30222
80.98/81.25 c #Conflicts: 236000 | #Constraints: 31222
80.98/81.25 c INPROCESSING
80.98/81.25 c GARBAGE COLLECT
80.98/81.25 c #Conflicts: 237000 | #Constraints: 22622
80.98/81.25 c #Conflicts: 238000 | #Constraints: 23622
80.98/81.25 c #Conflicts: 239000 | #Constraints: 24622
80.98/81.25 c #Conflicts: 240000 | #Constraints: 25622
80.98/81.25 c #Conflicts: 241000 | #Constraints: 26622
80.98/81.25 c #Conflicts: 242000 | #Constraints: 27622
80.98/81.25 c #Conflicts: 243000 | #Constraints: 28622
80.98/81.25 c #Conflicts: 244000 | #Constraints: 29622
80.98/81.25 c #Conflicts: 245000 | #Constraints: 30622
80.98/81.25 c #Conflicts: 246000 | #Constraints: 31622
80.98/81.25 c INPROCESSING
80.98/81.25 c GARBAGE COLLECT
80.98/81.25 c #Conflicts: 247000 | #Constraints: 22827
80.98/81.25 c #Conflicts: 248000 | #Constraints: 23827
80.98/81.25 c #Conflicts: 249000 | #Constraints: 24827
80.98/81.25 c #Conflicts: 250000 | #Constraints: 25827
80.98/81.25 c #Conflicts: 251000 | #Constraints: 26827
80.98/81.25 c #Conflicts: 252000 | #Constraints: 27827
80.98/81.25 c #Conflicts: 253000 | #Constraints: 28827
80.98/81.25 c #Conflicts: 254000 | #Constraints: 29827
80.98/81.25 c #Conflicts: 255000 | #Constraints: 30827
80.98/81.25 c #Conflicts: 256000 | #Constraints: 31827
80.98/81.25 c INPROCESSING
80.98/81.25 c GARBAGE COLLECT
80.98/81.25 c #Conflicts: 257000 | #Constraints: 22821
80.98/81.25 c #Conflicts: 258000 | #Constraints: 23821
80.98/81.25 c #Conflicts: 259000 | #Constraints: 24821
80.98/81.25 c #Conflicts: 260000 | #Constraints: 25821
80.98/81.25 c #Conflicts: 261000 | #Constraints: 26821
80.98/81.25 c #Conflicts: 262000 | #Constraints: 27821
80.98/81.25 c #Conflicts: 263000 | #Constraints: 28821
80.98/81.25 c #Conflicts: 264000 | #Constraints: 29821
80.98/81.25 c #Conflicts: 265000 | #Constraints: 30821
80.98/81.25 c #Conflicts: 266000 | #Constraints: 31821
80.98/81.25 c INPROCESSING
80.98/81.25 c GARBAGE COLLECT
80.98/81.25 c #Conflicts: 267000 | #Constraints: 22625
80.98/81.25 c #Conflicts: 268000 | #Constraints: 23625
80.98/81.25 c #Conflicts: 269000 | #Constraints: 24625
80.98/81.25 c #Conflicts: 270000 | #Constraints: 25625
80.98/81.25 c #Conflicts: 271000 | #Constraints: 26625
80.98/81.25 c #Conflicts: 272000 | #Constraints: 27625
80.98/81.25 c #Conflicts: 273000 | #Constraints: 28625
80.98/81.25 c #Conflicts: 274000 | #Constraints: 29625
80.98/81.25 c #Conflicts: 275000 | #Constraints: 30625
80.98/81.25 c #Conflicts: 276000 | #Constraints: 31625
80.98/81.25 c #Conflicts: 277000 | #Constraints: 32625
80.98/81.25 c INPROCESSING
80.98/81.25 c GARBAGE COLLECT
80.98/81.25 c #Conflicts: 278000 | #Constraints: 23222
80.98/81.25 c #Conflicts: 279000 | #Constraints: 24222
80.98/81.25 c #Conflicts: 280000 | #Constraints: 25222
80.98/81.25 c #Conflicts: 281000 | #Constraints: 26222
111.91/112.27 c #Conflicts: 282000 | #Constraints: 27222
111.91/112.27 c #Conflicts: 283000 | #Constraints: 28222
111.91/112.27 c #Conflicts: 284000 | #Constraints: 29222
111.91/112.27 c #Conflicts: 285000 | #Constraints: 30222
111.91/112.27 c #Conflicts: 286000 | #Constraints: 31222
111.91/112.27 c #Conflicts: 287000 | #Constraints: 32222
111.91/112.27 c #Conflicts: 288000 | #Constraints: 33222
111.91/112.27 c INPROCESSING
111.91/112.27 c GARBAGE COLLECT
111.91/112.27 c #Conflicts: 289000 | #Constraints: 23626
111.91/112.27 c #Conflicts: 290000 | #Constraints: 24626
111.91/112.27 c #Conflicts: 291000 | #Constraints: 25626
111.91/112.27 c #Conflicts: 292000 | #Constraints: 26626
111.91/112.27 c #Conflicts: 293000 | #Constraints: 27626
111.91/112.27 c #Conflicts: 294000 | #Constraints: 28626
111.91/112.27 c #Conflicts: 295000 | #Constraints: 29626
111.91/112.27 c #Conflicts: 296000 | #Constraints: 30626
111.91/112.27 c #Conflicts: 297000 | #Constraints: 31626
111.91/112.27 c #Conflicts: 298000 | #Constraints: 32626
111.91/112.27 c #Conflicts: 299000 | #Constraints: 33626
111.91/112.27 c INPROCESSING
111.91/112.27 c GARBAGE COLLECT
111.91/112.27 c #Conflicts: 300000 | #Constraints: 23825
111.91/112.27 c #Conflicts: 301000 | #Constraints: 24825
111.91/112.27 c #Conflicts: 302000 | #Constraints: 25825
111.91/112.27 c #Conflicts: 303000 | #Constraints: 26825
111.91/112.27 c #Conflicts: 304000 | #Constraints: 27825
111.91/112.27 c #Conflicts: 305000 | #Constraints: 28825
111.91/112.27 c #Conflicts: 306000 | #Constraints: 29825
111.91/112.27 c #Conflicts: 307000 | #Constraints: 30825
111.91/112.27 c #Conflicts: 308000 | #Constraints: 31825
111.91/112.27 c #Conflicts: 309000 | #Constraints: 32825
111.91/112.27 c #Conflicts: 310000 | #Constraints: 33825
111.91/112.27 c INPROCESSING
111.91/112.27 c GARBAGE COLLECT
111.91/112.27 c #Conflicts: 311000 | #Constraints: 23822
111.91/112.27 c #Conflicts: 312000 | #Constraints: 24822
111.91/112.27 c #Conflicts: 313000 | #Constraints: 25822
111.91/112.27 c #Conflicts: 314000 | #Constraints: 26822
111.91/112.27 c #Conflicts: 315000 | #Constraints: 27822
111.91/112.27 c #Conflicts: 316000 | #Constraints: 28822
111.91/112.27 c #Conflicts: 317000 | #Constraints: 29822
111.91/112.27 c #Conflicts: 318000 | #Constraints: 30822
111.91/112.27 c #Conflicts: 319000 | #Constraints: 31822
111.91/112.27 c #Conflicts: 320000 | #Constraints: 32822
111.91/112.27 c #Conflicts: 321000 | #Constraints: 33822
111.91/112.27 c INPROCESSING
111.91/112.27 c GARBAGE COLLECT
111.91/112.27 c #Conflicts: 322000 | #Constraints: 23626
111.91/112.27 c #Conflicts: 323000 | #Constraints: 24626
111.91/112.27 c #Conflicts: 324000 | #Constraints: 25626
111.91/112.27 c #Conflicts: 325000 | #Constraints: 26626
111.91/112.27 c #Conflicts: 326000 | #Constraints: 27626
111.91/112.27 c #Conflicts: 327000 | #Constraints: 28626
111.91/112.27 c #Conflicts: 328000 | #Constraints: 29626
111.91/112.27 c #Conflicts: 329000 | #Constraints: 30626
111.91/112.27 c #Conflicts: 330000 | #Constraints: 31626
111.91/112.27 c #Conflicts: 331000 | #Constraints: 32626
111.91/112.27 c #Conflicts: 332000 | #Constraints: 33626
111.91/112.27 c #Conflicts: 333000 | #Constraints: 34626
111.91/112.27 c INPROCESSING
111.91/112.27 c GARBAGE COLLECT
111.91/112.27 c #Conflicts: 334000 | #Constraints: 24228
111.91/112.27 c #Conflicts: 335000 | #Constraints: 25228
111.91/112.27 c #Conflicts: 336000 | #Constraints: 26228
111.91/112.27 c #Conflicts: 337000 | #Constraints: 27228
111.91/112.27 c #Conflicts: 338000 | #Constraints: 28228
111.91/112.27 c #Conflicts: 339000 | #Constraints: 29228
111.91/112.27 c #Conflicts: 340000 | #Constraints: 30228
111.91/112.27 c #Conflicts: 341000 | #Constraints: 31228
111.91/112.27 c #Conflicts: 342000 | #Constraints: 32228
111.91/112.27 c #Conflicts: 343000 | #Constraints: 33228
111.91/112.27 c #Conflicts: 344000 | #Constraints: 34228
111.91/112.27 c #Conflicts: 345000 | #Constraints: 35228
111.91/112.27 c INPROCESSING
111.91/112.27 c GARBAGE COLLECT
111.91/112.27 c #Conflicts: 346000 | #Constraints: 24629
111.91/112.27 c #Conflicts: 347000 | #Constraints: 25629
111.91/112.27 c #Conflicts: 348000 | #Constraints: 26629
111.91/112.27 c #Conflicts: 349000 | #Constraints: 27629
111.91/112.27 c #Conflicts: 350000 | #Constraints: 28629
111.91/112.27 c #Conflicts: 351000 | #Constraints: 29629
111.91/112.27 c #Conflicts: 352000 | #Constraints: 30629
111.91/112.27 c #Conflicts: 353000 | #Constraints: 31629
111.91/112.27 c #Conflicts: 354000 | #Constraints: 32629
111.91/112.27 c #Conflicts: 355000 | #Constraints: 33629
111.91/112.27 c #Conflicts: 356000 | #Constraints: 34629
146.22/146.66 c #Conflicts: 357000 | #Constraints: 35629
146.22/146.66 c INPROCESSING
146.22/146.66 c GARBAGE COLLECT
146.22/146.66 c #Conflicts: 358000 | #Constraints: 24826
146.22/146.66 c #Conflicts: 359000 | #Constraints: 25826
146.22/146.66 c #Conflicts: 360000 | #Constraints: 26826
146.22/146.66 c #Conflicts: 361000 | #Constraints: 27826
146.22/146.66 c #Conflicts: 362000 | #Constraints: 28826
146.22/146.66 c #Conflicts: 363000 | #Constraints: 29826
146.22/146.66 c #Conflicts: 364000 | #Constraints: 30826
146.22/146.66 c #Conflicts: 365000 | #Constraints: 31826
146.22/146.66 c #Conflicts: 366000 | #Constraints: 32826
146.22/146.66 c #Conflicts: 367000 | #Constraints: 33826
146.22/146.66 c #Conflicts: 368000 | #Constraints: 34826
146.22/146.66 c #Conflicts: 369000 | #Constraints: 35826
146.22/146.66 c INPROCESSING
146.22/146.66 c GARBAGE COLLECT
146.22/146.66 c #Conflicts: 370000 | #Constraints: 24826
146.22/146.66 c #Conflicts: 371000 | #Constraints: 25826
146.22/146.66 c #Conflicts: 372000 | #Constraints: 26826
146.22/146.66 c #Conflicts: 373000 | #Constraints: 27826
146.22/146.66 c #Conflicts: 374000 | #Constraints: 28826
146.22/146.66 c #Conflicts: 375000 | #Constraints: 29826
146.22/146.66 c #Conflicts: 376000 | #Constraints: 30826
146.22/146.66 c #Conflicts: 377000 | #Constraints: 31826
146.22/146.66 c #Conflicts: 378000 | #Constraints: 32826
146.22/146.66 c #Conflicts: 379000 | #Constraints: 33826
146.22/146.66 c #Conflicts: 380000 | #Constraints: 34826
146.22/146.66 c #Conflicts: 381000 | #Constraints: 35826
146.22/146.66 c INPROCESSING
146.22/146.66 c GARBAGE COLLECT
146.22/146.66 c #Conflicts: 382000 | #Constraints: 24629
146.22/146.66 c #Conflicts: 383000 | #Constraints: 25629
146.22/146.66 c #Conflicts: 384000 | #Constraints: 26629
146.22/146.66 c #Conflicts: 385000 | #Constraints: 27629
146.22/146.66 c #Conflicts: 386000 | #Constraints: 28629
146.22/146.66 c #Conflicts: 387000 | #Constraints: 29629
146.22/146.66 c #Conflicts: 388000 | #Constraints: 30629
146.22/146.66 c #Conflicts: 389000 | #Constraints: 31629
146.22/146.66 c #Conflicts: 390000 | #Constraints: 32629
146.22/146.66 c #Conflicts: 391000 | #Constraints: 33629
146.22/146.66 c #Conflicts: 392000 | #Constraints: 34629
146.22/146.66 c #Conflicts: 393000 | #Constraints: 35629
146.22/146.66 c #Conflicts: 394000 | #Constraints: 36629
146.22/146.66 c INPROCESSING
146.22/146.66 c GARBAGE COLLECT
146.22/146.66 c #Conflicts: 395000 | #Constraints: 25235
146.22/146.66 c #Conflicts: 396000 | #Constraints: 26235
146.22/146.66 c #Conflicts: 397000 | #Constraints: 27235
146.22/146.66 c #Conflicts: 398000 | #Constraints: 28235
146.22/146.66 c #Conflicts: 399000 | #Constraints: 29235
146.22/146.66 c #Conflicts: 400000 | #Constraints: 30235
146.22/146.66 c #Conflicts: 401000 | #Constraints: 31235
146.22/146.66 c #Conflicts: 402000 | #Constraints: 32235
146.22/146.66 c #Conflicts: 403000 | #Constraints: 33235
146.22/146.66 c #Conflicts: 404000 | #Constraints: 34235
146.22/146.66 c #Conflicts: 405000 | #Constraints: 35235
146.22/146.66 c #Conflicts: 406000 | #Constraints: 36235
146.22/146.66 c #Conflicts: 407000 | #Constraints: 37235
146.22/146.66 c INPROCESSING
146.22/146.66 c GARBAGE COLLECT
146.22/146.66 c #Conflicts: 408000 | #Constraints: 25634
146.22/146.66 c #Conflicts: 409000 | #Constraints: 26634
146.22/146.66 c #Conflicts: 410000 | #Constraints: 27634
146.22/146.66 c #Conflicts: 411000 | #Constraints: 28634
146.22/146.66 c #Conflicts: 412000 | #Constraints: 29634
146.22/146.66 c #Conflicts: 413000 | #Constraints: 30634
146.22/146.66 c #Conflicts: 414000 | #Constraints: 31634
146.22/146.66 c #Conflicts: 415000 | #Constraints: 32634
146.22/146.66 c #Conflicts: 416000 | #Constraints: 33634
146.22/146.66 c #Conflicts: 417000 | #Constraints: 34634
146.22/146.66 c #Conflicts: 418000 | #Constraints: 35634
146.22/146.66 c #Conflicts: 419000 | #Constraints: 36634
146.22/146.66 c #Conflicts: 420000 | #Constraints: 37634
146.22/146.66 c INPROCESSING
146.22/146.66 c GARBAGE COLLECT
146.22/146.66 c #Conflicts: 421000 | #Constraints: 25840
146.22/146.66 c #Conflicts: 422000 | #Constraints: 26840
146.22/146.66 c #Conflicts: 423000 | #Constraints: 27840
146.22/146.66 c #Conflicts: 424000 | #Constraints: 28840
146.22/146.66 c #Conflicts: 425000 | #Constraints: 29840
146.22/146.66 c #Conflicts: 426000 | #Constraints: 30840
146.22/146.66 c #Conflicts: 427000 | #Constraints: 31840
146.22/146.66 c #Conflicts: 428000 | #Constraints: 32840
146.22/146.66 c #Conflicts: 429000 | #Constraints: 33840
146.22/146.66 c #Conflicts: 430000 | #Constraints: 34840
146.22/146.66 c #Conflicts: 431000 | #Constraints: 35840
184.13/184.60 c #Conflicts: 432000 | #Constraints: 36840
184.13/184.60 c #Conflicts: 433000 | #Constraints: 37840
184.13/184.60 c INPROCESSING
184.13/184.60 c GARBAGE COLLECT
184.13/184.60 c #Conflicts: 434000 | #Constraints: 25837
184.13/184.60 c #Conflicts: 435000 | #Constraints: 26837
184.13/184.60 c #Conflicts: 436000 | #Constraints: 27837
184.13/184.60 c #Conflicts: 437000 | #Constraints: 28837
184.13/184.60 c #Conflicts: 438000 | #Constraints: 29837
184.13/184.60 c #Conflicts: 439000 | #Constraints: 30837
184.13/184.60 c #Conflicts: 440000 | #Constraints: 31837
184.13/184.60 c #Conflicts: 441000 | #Constraints: 32837
184.13/184.60 c #Conflicts: 442000 | #Constraints: 33837
184.13/184.60 c #Conflicts: 443000 | #Constraints: 34837
184.13/184.60 c #Conflicts: 444000 | #Constraints: 35837
184.13/184.60 c #Conflicts: 445000 | #Constraints: 36837
184.13/184.60 c #Conflicts: 446000 | #Constraints: 37837
184.13/184.60 c INPROCESSING
184.13/184.60 c GARBAGE COLLECT
184.13/184.60 c #Conflicts: 447000 | #Constraints: 25629
184.13/184.60 c #Conflicts: 448000 | #Constraints: 26629
184.13/184.60 c #Conflicts: 449000 | #Constraints: 27629
184.13/184.60 c #Conflicts: 450000 | #Constraints: 28629
184.13/184.60 c #Conflicts: 451000 | #Constraints: 29629
184.13/184.60 c #Conflicts: 452000 | #Constraints: 30629
184.13/184.60 c #Conflicts: 453000 | #Constraints: 31629
184.13/184.60 c #Conflicts: 454000 | #Constraints: 32629
184.13/184.60 c #Conflicts: 455000 | #Constraints: 33629
184.13/184.60 c #Conflicts: 456000 | #Constraints: 34629
184.13/184.60 c #Conflicts: 457000 | #Constraints: 35629
184.13/184.60 c #Conflicts: 458000 | #Constraints: 36629
184.13/184.60 c #Conflicts: 459000 | #Constraints: 37629
184.13/184.60 c #Conflicts: 460000 | #Constraints: 38629
184.13/184.60 c INPROCESSING
184.13/184.60 c GARBAGE COLLECT
184.13/184.60 c #Conflicts: 461000 | #Constraints: 26228
184.13/184.60 c #Conflicts: 462000 | #Constraints: 27228
184.13/184.60 c #Conflicts: 463000 | #Constraints: 28228
184.13/184.60 c #Conflicts: 464000 | #Constraints: 29228
184.13/184.60 c #Conflicts: 465000 | #Constraints: 30228
184.13/184.60 c #Conflicts: 466000 | #Constraints: 31228
184.13/184.60 c #Conflicts: 467000 | #Constraints: 32228
184.13/184.60 c #Conflicts: 468000 | #Constraints: 33228
184.13/184.60 c #Conflicts: 469000 | #Constraints: 34228
184.13/184.60 c #Conflicts: 470000 | #Constraints: 35228
184.13/184.60 c #Conflicts: 471000 | #Constraints: 36228
184.13/184.60 c #Conflicts: 472000 | #Constraints: 37228
184.13/184.60 c #Conflicts: 473000 | #Constraints: 38228
184.13/184.60 c #Conflicts: 474000 | #Constraints: 39228
184.13/184.60 c INPROCESSING
184.13/184.60 c GARBAGE COLLECT
184.13/184.60 c #Conflicts: 475000 | #Constraints: 26634
184.13/184.60 c #Conflicts: 476000 | #Constraints: 27634
184.13/184.60 c #Conflicts: 477000 | #Constraints: 28634
184.13/184.60 c #Conflicts: 478000 | #Constraints: 29634
184.13/184.60 c #Conflicts: 479000 | #Constraints: 30634
184.13/184.60 c #Conflicts: 480000 | #Constraints: 31634
184.13/184.60 c #Conflicts: 481000 | #Constraints: 32634
184.13/184.60 c #Conflicts: 482000 | #Constraints: 33634
184.13/184.60 c #Conflicts: 483000 | #Constraints: 34634
184.13/184.60 c #Conflicts: 484000 | #Constraints: 35634
184.13/184.60 c #Conflicts: 485000 | #Constraints: 36634
184.13/184.60 c #Conflicts: 486000 | #Constraints: 37634
184.13/184.60 c #Conflicts: 487000 | #Constraints: 38634
184.13/184.60 c #Conflicts: 488000 | #Constraints: 39634
184.13/184.60 c INPROCESSING
184.13/184.60 c GARBAGE COLLECT
184.13/184.60 c #Conflicts: 489000 | #Constraints: 26825
184.13/184.60 c #Conflicts: 490000 | #Constraints: 27825
184.13/184.60 c #Conflicts: 491000 | #Constraints: 28825
184.13/184.60 c #Conflicts: 492000 | #Constraints: 29825
184.13/184.60 c #Conflicts: 493000 | #Constraints: 30825
184.13/184.60 c #Conflicts: 494000 | #Constraints: 31825
184.13/184.60 c #Conflicts: 495000 | #Constraints: 32825
184.13/184.60 c #Conflicts: 496000 | #Constraints: 33825
184.13/184.60 c #Conflicts: 497000 | #Constraints: 34825
184.13/184.60 c #Conflicts: 498000 | #Constraints: 35825
184.13/184.60 c #Conflicts: 499000 | #Constraints: 36825
184.13/184.60 c #Conflicts: 500000 | #Constraints: 37825
184.13/184.60 c #Conflicts: 501000 | #Constraints: 38825
184.13/184.60 c #Conflicts: 502000 | #Constraints: 39825
184.13/184.60 c INPROCESSING
184.13/184.60 c GARBAGE COLLECT
184.13/184.60 c #Conflicts: 503000 | #Constraints: 26836
184.13/184.60 c #Conflicts: 504000 | #Constraints: 27836
184.13/184.60 c #Conflicts: 505000 | #Constraints: 28836
184.13/184.60 c #Conflicts: 506000 | #Constraints: 29836
223.13/223.75 c #Conflicts: 507000 | #Constraints: 30836
223.13/223.75 c #Conflicts: 508000 | #Constraints: 31836
223.13/223.75 c #Conflicts: 509000 | #Constraints: 32836
223.13/223.75 c #Conflicts: 510000 | #Constraints: 33836
223.13/223.75 c #Conflicts: 511000 | #Constraints: 34836
223.13/223.75 c #Conflicts: 512000 | #Constraints: 35836
223.13/223.75 c #Conflicts: 513000 | #Constraints: 36836
223.13/223.75 c #Conflicts: 514000 | #Constraints: 37836
223.13/223.75 c #Conflicts: 515000 | #Constraints: 38836
223.13/223.75 c #Conflicts: 516000 | #Constraints: 39836
223.13/223.75 c INPROCESSING
223.13/223.75 c GARBAGE COLLECT
223.13/223.75 c #Conflicts: 517000 | #Constraints: 26629
223.13/223.75 c #Conflicts: 518000 | #Constraints: 27629
223.13/223.75 c #Conflicts: 519000 | #Constraints: 28629
223.13/223.75 c #Conflicts: 520000 | #Constraints: 29629
223.13/223.75 c #Conflicts: 521000 | #Constraints: 30629
223.13/223.75 c #Conflicts: 522000 | #Constraints: 31629
223.13/223.75 c #Conflicts: 523000 | #Constraints: 32629
223.13/223.75 c #Conflicts: 524000 | #Constraints: 33629
223.13/223.75 c #Conflicts: 525000 | #Constraints: 34629
223.13/223.75 c #Conflicts: 526000 | #Constraints: 35629
223.13/223.75 c #Conflicts: 527000 | #Constraints: 36629
223.13/223.75 c #Conflicts: 528000 | #Constraints: 37629
223.13/223.75 c #Conflicts: 529000 | #Constraints: 38629
223.13/223.75 c #Conflicts: 530000 | #Constraints: 39629
223.13/223.75 c #Conflicts: 531000 | #Constraints: 40629
223.13/223.75 c INPROCESSING
223.13/223.75 c GARBAGE COLLECT
223.13/223.75 c #Conflicts: 532000 | #Constraints: 27225
223.13/223.75 c #Conflicts: 533000 | #Constraints: 28225
223.13/223.75 c #Conflicts: 534000 | #Constraints: 29225
223.13/223.75 c #Conflicts: 535000 | #Constraints: 30225
223.13/223.75 c #Conflicts: 536000 | #Constraints: 31225
223.13/223.75 c #Conflicts: 537000 | #Constraints: 32225
223.13/223.75 c #Conflicts: 538000 | #Constraints: 33225
223.13/223.75 c #Conflicts: 539000 | #Constraints: 34225
223.13/223.75 c #Conflicts: 540000 | #Constraints: 35225
223.13/223.75 c #Conflicts: 541000 | #Constraints: 36225
223.13/223.75 c #Conflicts: 542000 | #Constraints: 37225
223.13/223.75 c #Conflicts: 543000 | #Constraints: 38225
223.13/223.75 c #Conflicts: 544000 | #Constraints: 39225
223.13/223.75 c #Conflicts: 545000 | #Constraints: 40225
223.13/223.75 c #Conflicts: 546000 | #Constraints: 41225
223.13/223.75 c INPROCESSING
223.13/223.75 c GARBAGE COLLECT
223.13/223.75 c #Conflicts: 547000 | #Constraints: 27632
223.13/223.75 c #Conflicts: 548000 | #Constraints: 28632
223.13/223.75 c #Conflicts: 549000 | #Constraints: 29632
223.13/223.75 c #Conflicts: 550000 | #Constraints: 30632
223.13/223.75 c #Conflicts: 551000 | #Constraints: 31632
223.13/223.75 c #Conflicts: 552000 | #Constraints: 32632
223.13/223.75 c #Conflicts: 553000 | #Constraints: 33632
223.13/223.75 c #Conflicts: 554000 | #Constraints: 34632
223.13/223.75 c #Conflicts: 555000 | #Constraints: 35632
223.13/223.75 c #Conflicts: 556000 | #Constraints: 36632
223.13/223.75 c #Conflicts: 557000 | #Constraints: 37632
223.13/223.75 c #Conflicts: 558000 | #Constraints: 38632
223.13/223.75 c #Conflicts: 559000 | #Constraints: 39632
223.13/223.75 c #Conflicts: 560000 | #Constraints: 40632
223.13/223.75 c #Conflicts: 561000 | #Constraints: 41632
223.13/223.75 c INPROCESSING
223.13/223.75 c GARBAGE COLLECT
223.13/223.75 c #Conflicts: 562000 | #Constraints: 27833
223.13/223.75 c #Conflicts: 563000 | #Constraints: 28833
223.13/223.75 c #Conflicts: 564000 | #Constraints: 29833
223.13/223.75 c #Conflicts: 565000 | #Constraints: 30833
223.13/223.75 c #Conflicts: 566000 | #Constraints: 31833
223.13/223.75 c #Conflicts: 567000 | #Constraints: 32833
223.13/223.75 c #Conflicts: 568000 | #Constraints: 33833
223.13/223.75 c #Conflicts: 569000 | #Constraints: 34833
223.13/223.75 c #Conflicts: 570000 | #Constraints: 35833
223.13/223.75 c #Conflicts: 571000 | #Constraints: 36833
223.13/223.75 c #Conflicts: 572000 | #Constraints: 37833
223.13/223.75 c #Conflicts: 573000 | #Constraints: 38833
223.13/223.75 c #Conflicts: 574000 | #Constraints: 39833
223.13/223.75 c #Conflicts: 575000 | #Constraints: 40833
223.13/223.75 c #Conflicts: 576000 | #Constraints: 41833
223.13/223.75 c INPROCESSING
223.13/223.75 c GARBAGE COLLECT
223.13/223.75 c #Conflicts: 577000 | #Constraints: 27829
223.13/223.75 c #Conflicts: 578000 | #Constraints: 28829
223.13/223.75 c #Conflicts: 579000 | #Constraints: 29829
223.13/223.75 c #Conflicts: 580000 | #Constraints: 30829
223.13/223.75 c #Conflicts: 581000 | #Constraints: 31829
263.93/264.69 c #Conflicts: 582000 | #Constraints: 32829
263.93/264.69 c #Conflicts: 583000 | #Constraints: 33829
263.93/264.69 c #Conflicts: 584000 | #Constraints: 34829
263.93/264.69 c #Conflicts: 585000 | #Constraints: 35829
263.93/264.69 c #Conflicts: 586000 | #Constraints: 36829
263.93/264.69 c #Conflicts: 587000 | #Constraints: 37829
263.93/264.69 c #Conflicts: 588000 | #Constraints: 38829
263.93/264.69 c #Conflicts: 589000 | #Constraints: 39829
263.93/264.69 c #Conflicts: 590000 | #Constraints: 40829
263.93/264.69 c #Conflicts: 591000 | #Constraints: 41829
263.93/264.69 c INPROCESSING
263.93/264.69 c GARBAGE COLLECT
263.93/264.69 c #Conflicts: 592000 | #Constraints: 27628
263.93/264.69 c #Conflicts: 593000 | #Constraints: 28628
263.93/264.69 c #Conflicts: 594000 | #Constraints: 29628
263.93/264.69 c #Conflicts: 595000 | #Constraints: 30628
263.93/264.69 c #Conflicts: 596000 | #Constraints: 31628
263.93/264.69 c #Conflicts: 597000 | #Constraints: 32628
263.93/264.69 c #Conflicts: 598000 | #Constraints: 33628
263.93/264.69 c #Conflicts: 599000 | #Constraints: 34628
263.93/264.69 c #Conflicts: 600000 | #Constraints: 35628
263.93/264.69 c #Conflicts: 601000 | #Constraints: 36628
263.93/264.69 c #Conflicts: 602000 | #Constraints: 37628
263.93/264.69 c #Conflicts: 603000 | #Constraints: 38628
263.93/264.69 c #Conflicts: 604000 | #Constraints: 39628
263.93/264.69 c #Conflicts: 605000 | #Constraints: 40628
263.93/264.69 c #Conflicts: 606000 | #Constraints: 41628
263.93/264.69 c #Conflicts: 607000 | #Constraints: 42628
263.93/264.69 c INPROCESSING
263.93/264.69 c GARBAGE COLLECT
263.93/264.69 c #Conflicts: 608000 | #Constraints: 28227
263.93/264.69 c #Conflicts: 609000 | #Constraints: 29227
263.93/264.69 c #Conflicts: 610000 | #Constraints: 30227
263.93/264.69 c #Conflicts: 611000 | #Constraints: 31227
263.93/264.69 c #Conflicts: 612000 | #Constraints: 32227
263.93/264.69 c #Conflicts: 613000 | #Constraints: 33227
263.93/264.69 c #Conflicts: 614000 | #Constraints: 34227
263.93/264.69 c #Conflicts: 615000 | #Constraints: 35227
263.93/264.69 c #Conflicts: 616000 | #Constraints: 36227
263.93/264.69 c #Conflicts: 617000 | #Constraints: 37227
263.93/264.69 c #Conflicts: 618000 | #Constraints: 38227
263.93/264.69 c #Conflicts: 619000 | #Constraints: 39227
263.93/264.69 c #Conflicts: 620000 | #Constraints: 40227
263.93/264.69 c #Conflicts: 621000 | #Constraints: 41227
263.93/264.69 c #Conflicts: 622000 | #Constraints: 42227
263.93/264.69 c #Conflicts: 623000 | #Constraints: 43227
263.93/264.69 c INPROCESSING
263.93/264.69 c GARBAGE COLLECT
263.93/264.69 c #Conflicts: 624000 | #Constraints: 28632
263.93/264.69 c #Conflicts: 625000 | #Constraints: 29632
263.93/264.69 c #Conflicts: 626000 | #Constraints: 30632
263.93/264.69 c #Conflicts: 627000 | #Constraints: 31632
263.93/264.69 c #Conflicts: 628000 | #Constraints: 32632
263.93/264.69 c #Conflicts: 629000 | #Constraints: 33632
263.93/264.69 c #Conflicts: 630000 | #Constraints: 34632
263.93/264.69 c #Conflicts: 631000 | #Constraints: 35632
263.93/264.69 c #Conflicts: 632000 | #Constraints: 36632
263.93/264.69 c #Conflicts: 633000 | #Constraints: 37632
263.93/264.69 c #Conflicts: 634000 | #Constraints: 38632
263.93/264.69 c #Conflicts: 635000 | #Constraints: 39632
263.93/264.69 c #Conflicts: 636000 | #Constraints: 40632
263.93/264.69 c #Conflicts: 637000 | #Constraints: 41632
263.93/264.69 c #Conflicts: 638000 | #Constraints: 42632
263.93/264.69 c #Conflicts: 639000 | #Constraints: 43632
263.93/264.69 c INPROCESSING
263.93/264.69 c GARBAGE COLLECT
263.93/264.69 c #Conflicts: 640000 | #Constraints: 28825
263.93/264.69 c #Conflicts: 641000 | #Constraints: 29825
263.93/264.69 c #Conflicts: 642000 | #Constraints: 30825
263.93/264.69 c #Conflicts: 643000 | #Constraints: 31825
263.93/264.69 c #Conflicts: 644000 | #Constraints: 32825
263.93/264.69 c #Conflicts: 645000 | #Constraints: 33825
263.93/264.69 c #Conflicts: 646000 | #Constraints: 34825
263.93/264.69 c #Conflicts: 647000 | #Constraints: 35825
263.93/264.69 c #Conflicts: 648000 | #Constraints: 36825
263.93/264.69 c #Conflicts: 649000 | #Constraints: 37825
263.93/264.69 c #Conflicts: 650000 | #Constraints: 38825
263.93/264.69 c #Conflicts: 651000 | #Constraints: 39825
263.93/264.69 c #Conflicts: 652000 | #Constraints: 40825
263.93/264.69 c #Conflicts: 653000 | #Constraints: 41825
263.93/264.69 c #Conflicts: 654000 | #Constraints: 42825
263.93/264.69 c #Conflicts: 655000 | #Constraints: 43825
263.93/264.69 c INPROCESSING
263.93/264.69 c GARBAGE COLLECT
263.93/264.69 c #Conflicts: 656000 | #Constraints: 28834
263.93/264.69 c #Conflicts: 657000 | #Constraints: 29834
307.63/308.48 c #Conflicts: 658000 | #Constraints: 30834
307.63/308.48 c #Conflicts: 659000 | #Constraints: 31834
307.63/308.48 c #Conflicts: 660000 | #Constraints: 32834
307.63/308.48 c #Conflicts: 661000 | #Constraints: 33834
307.63/308.48 c #Conflicts: 662000 | #Constraints: 34834
307.63/308.48 c #Conflicts: 663000 | #Constraints: 35834
307.63/308.48 c #Conflicts: 664000 | #Constraints: 36834
307.63/308.48 c #Conflicts: 665000 | #Constraints: 37834
307.63/308.48 c #Conflicts: 666000 | #Constraints: 38834
307.63/308.48 c #Conflicts: 667000 | #Constraints: 39834
307.63/308.48 c #Conflicts: 668000 | #Constraints: 40834
307.63/308.48 c #Conflicts: 669000 | #Constraints: 41834
307.63/308.48 c #Conflicts: 670000 | #Constraints: 42834
307.63/308.48 c #Conflicts: 671000 | #Constraints: 43834
307.63/308.48 c INPROCESSING
307.63/308.48 c GARBAGE COLLECT
307.63/308.48 c #Conflicts: 672000 | #Constraints: 28633
307.63/308.48 c #Conflicts: 673000 | #Constraints: 29633
307.63/308.48 c #Conflicts: 674000 | #Constraints: 30633
307.63/308.48 c #Conflicts: 675000 | #Constraints: 31633
307.63/308.48 c #Conflicts: 676000 | #Constraints: 32633
307.63/308.48 c #Conflicts: 677000 | #Constraints: 33633
307.63/308.48 c #Conflicts: 678000 | #Constraints: 34633
307.63/308.48 c #Conflicts: 679000 | #Constraints: 35633
307.63/308.48 c #Conflicts: 680000 | #Constraints: 36633
307.63/308.48 c #Conflicts: 681000 | #Constraints: 37633
307.63/308.48 c #Conflicts: 682000 | #Constraints: 38633
307.63/308.48 c #Conflicts: 683000 | #Constraints: 39633
307.63/308.48 c #Conflicts: 684000 | #Constraints: 40633
307.63/308.48 c #Conflicts: 685000 | #Constraints: 41633
307.63/308.48 c #Conflicts: 686000 | #Constraints: 42633
307.63/308.48 c #Conflicts: 687000 | #Constraints: 43633
307.63/308.48 c #Conflicts: 688000 | #Constraints: 44633
307.63/308.48 c INPROCESSING
307.63/308.48 c GARBAGE COLLECT
307.63/308.48 c #Conflicts: 689000 | #Constraints: 29228
307.63/308.48 c #Conflicts: 690000 | #Constraints: 30228
307.63/308.48 c #Conflicts: 691000 | #Constraints: 31228
307.63/308.48 c #Conflicts: 692000 | #Constraints: 32228
307.63/308.48 c #Conflicts: 693000 | #Constraints: 33228
307.63/308.48 c #Conflicts: 694000 | #Constraints: 34228
307.63/308.48 c #Conflicts: 695000 | #Constraints: 35228
307.63/308.48 c #Conflicts: 696000 | #Constraints: 36228
307.63/308.48 c #Conflicts: 697000 | #Constraints: 37228
307.63/308.48 c #Conflicts: 698000 | #Constraints: 38228
307.63/308.48 c #Conflicts: 699000 | #Constraints: 39228
307.63/308.48 c #Conflicts: 700000 | #Constraints: 40228
307.63/308.48 c #Conflicts: 701000 | #Constraints: 41228
307.63/308.48 c #Conflicts: 702000 | #Constraints: 42228
307.63/308.48 c #Conflicts: 703000 | #Constraints: 43228
307.63/308.48 c #Conflicts: 704000 | #Constraints: 44228
307.63/308.48 c #Conflicts: 705000 | #Constraints: 45228
307.63/308.48 c INPROCESSING
307.63/308.48 c GARBAGE COLLECT
307.63/308.48 c #Conflicts: 706000 | #Constraints: 29625
307.63/308.48 c #Conflicts: 707000 | #Constraints: 30625
307.63/308.48 c #Conflicts: 708000 | #Constraints: 31625
307.63/308.48 c #Conflicts: 709000 | #Constraints: 32625
307.63/308.48 c #Conflicts: 710000 | #Constraints: 33625
307.63/308.48 c #Conflicts: 711000 | #Constraints: 34625
307.63/308.48 c #Conflicts: 712000 | #Constraints: 35625
307.63/308.48 c #Conflicts: 713000 | #Constraints: 36625
307.63/308.48 c #Conflicts: 714000 | #Constraints: 37625
307.63/308.48 c #Conflicts: 715000 | #Constraints: 38625
307.63/308.48 c #Conflicts: 716000 | #Constraints: 39625
307.63/308.48 c #Conflicts: 717000 | #Constraints: 40625
307.63/308.48 c #Conflicts: 718000 | #Constraints: 41625
307.63/308.48 c #Conflicts: 719000 | #Constraints: 42625
307.63/308.48 c #Conflicts: 720000 | #Constraints: 43625
307.63/308.48 c #Conflicts: 721000 | #Constraints: 44625
307.63/308.48 c #Conflicts: 722000 | #Constraints: 45625
307.63/308.48 c INPROCESSING
307.63/308.48 c GARBAGE COLLECT
307.63/308.48 c #Conflicts: 723000 | #Constraints: 29828
307.63/308.48 c #Conflicts: 724000 | #Constraints: 30828
307.63/308.48 c #Conflicts: 725000 | #Constraints: 31828
307.63/308.48 c #Conflicts: 726000 | #Constraints: 32828
307.63/308.48 c #Conflicts: 727000 | #Constraints: 33828
307.63/308.48 c #Conflicts: 728000 | #Constraints: 34828
307.63/308.48 c #Conflicts: 729000 | #Constraints: 35828
307.63/308.48 c #Conflicts: 730000 | #Constraints: 36828
307.63/308.48 c #Conflicts: 731000 | #Constraints: 37828
307.63/308.48 c #Conflicts: 732000 | #Constraints: 38828
307.63/308.48 c #Conflicts: 733000 | #Constraints: 39828
353.52/354.44 c #Conflicts: 734000 | #Constraints: 40828
353.52/354.44 c #Conflicts: 735000 | #Constraints: 41828
353.52/354.44 c #Conflicts: 736000 | #Constraints: 42828
353.52/354.44 c #Conflicts: 737000 | #Constraints: 43828
353.52/354.44 c #Conflicts: 738000 | #Constraints: 44828
353.52/354.44 c #Conflicts: 739000 | #Constraints: 45828
353.52/354.44 c INPROCESSING
353.52/354.44 c GARBAGE COLLECT
353.52/354.44 c #Conflicts: 740000 | #Constraints: 29821
353.52/354.44 c #Conflicts: 741000 | #Constraints: 30821
353.52/354.44 c #Conflicts: 742000 | #Constraints: 31821
353.52/354.44 c #Conflicts: 743000 | #Constraints: 32821
353.52/354.44 c #Conflicts: 744000 | #Constraints: 33821
353.52/354.44 c #Conflicts: 745000 | #Constraints: 34821
353.52/354.44 c #Conflicts: 746000 | #Constraints: 35821
353.52/354.44 c #Conflicts: 747000 | #Constraints: 36821
353.52/354.44 c #Conflicts: 748000 | #Constraints: 37821
353.52/354.44 c #Conflicts: 749000 | #Constraints: 38821
353.52/354.44 c #Conflicts: 750000 | #Constraints: 39821
353.52/354.44 c #Conflicts: 751000 | #Constraints: 40821
353.52/354.44 c #Conflicts: 752000 | #Constraints: 41821
353.52/354.44 c #Conflicts: 753000 | #Constraints: 42821
353.52/354.44 c #Conflicts: 754000 | #Constraints: 43821
353.52/354.44 c #Conflicts: 755000 | #Constraints: 44821
353.52/354.44 c #Conflicts: 756000 | #Constraints: 45821
353.52/354.44 c INPROCESSING
353.52/354.44 c GARBAGE COLLECT
353.52/354.44 c #Conflicts: 757000 | #Constraints: 29618
353.52/354.44 c #Conflicts: 758000 | #Constraints: 30618
353.52/354.44 c #Conflicts: 759000 | #Constraints: 31618
353.52/354.44 c #Conflicts: 760000 | #Constraints: 32618
353.52/354.44 c #Conflicts: 761000 | #Constraints: 33618
353.52/354.44 c #Conflicts: 762000 | #Constraints: 34618
353.52/354.44 c #Conflicts: 763000 | #Constraints: 35618
353.52/354.44 c #Conflicts: 764000 | #Constraints: 36618
353.52/354.44 c #Conflicts: 765000 | #Constraints: 37618
353.52/354.44 c #Conflicts: 766000 | #Constraints: 38618
353.52/354.44 c #Conflicts: 767000 | #Constraints: 39618
353.52/354.44 c #Conflicts: 768000 | #Constraints: 40618
353.52/354.44 c #Conflicts: 769000 | #Constraints: 41618
353.52/354.44 c #Conflicts: 770000 | #Constraints: 42618
353.52/354.44 c #Conflicts: 771000 | #Constraints: 43618
353.52/354.44 c #Conflicts: 772000 | #Constraints: 44618
353.52/354.44 c #Conflicts: 773000 | #Constraints: 45618
353.52/354.44 c #Conflicts: 774000 | #Constraints: 46618
353.52/354.44 c INPROCESSING
353.52/354.44 c GARBAGE COLLECT
353.52/354.44 c #Conflicts: 775000 | #Constraints: 30220
353.52/354.44 c #Conflicts: 776000 | #Constraints: 31220
353.52/354.44 c #Conflicts: 777000 | #Constraints: 32220
353.52/354.44 c #Conflicts: 778000 | #Constraints: 33220
353.52/354.44 c #Conflicts: 779000 | #Constraints: 34220
353.52/354.44 c #Conflicts: 780000 | #Constraints: 35220
353.52/354.44 c #Conflicts: 781000 | #Constraints: 36220
353.52/354.44 c #Conflicts: 782000 | #Constraints: 37220
353.52/354.44 c #Conflicts: 783000 | #Constraints: 38220
353.52/354.44 c #Conflicts: 784000 | #Constraints: 39220
353.52/354.44 c #Conflicts: 785000 | #Constraints: 40220
353.52/354.44 c #Conflicts: 786000 | #Constraints: 41220
353.52/354.44 c #Conflicts: 787000 | #Constraints: 42220
353.52/354.44 c #Conflicts: 788000 | #Constraints: 43220
353.52/354.44 c #Conflicts: 789000 | #Constraints: 44220
353.52/354.44 c #Conflicts: 790000 | #Constraints: 45220
353.52/354.44 c #Conflicts: 791000 | #Constraints: 46220
353.52/354.44 c #Conflicts: 792000 | #Constraints: 47220
353.52/354.44 c INPROCESSING
353.52/354.44 c GARBAGE COLLECT
353.52/354.44 c #Conflicts: 793000 | #Constraints: 30627
353.52/354.44 c #Conflicts: 794000 | #Constraints: 31627
353.52/354.44 c #Conflicts: 795000 | #Constraints: 32627
353.52/354.44 c #Conflicts: 796000 | #Constraints: 33627
353.52/354.44 c #Conflicts: 797000 | #Constraints: 34627
353.52/354.44 c #Conflicts: 798000 | #Constraints: 35627
353.52/354.44 c #Conflicts: 799000 | #Constraints: 36627
353.52/354.44 c #Conflicts: 800000 | #Constraints: 37627
353.52/354.44 c #Conflicts: 801000 | #Constraints: 38627
353.52/354.44 c #Conflicts: 802000 | #Constraints: 39627
353.52/354.44 c #Conflicts: 803000 | #Constraints: 40627
353.52/354.44 c #Conflicts: 804000 | #Constraints: 41627
353.52/354.44 c #Conflicts: 805000 | #Constraints: 42627
353.52/354.44 c #Conflicts: 806000 | #Constraints: 43627
353.52/354.44 c #Conflicts: 807000 | #Constraints: 44627
353.52/354.44 c #Conflicts: 808000 | #Constraints: 45627
353.52/354.44 c #Conflicts: 809000 | #Constraints: 46627
401.10/402.14 c #Conflicts: 810000 | #Constraints: 47627
401.10/402.14 c INPROCESSING
401.10/402.14 c GARBAGE COLLECT
401.10/402.14 c #Conflicts: 811000 | #Constraints: 30825
401.10/402.14 c #Conflicts: 812000 | #Constraints: 31825
401.10/402.14 c #Conflicts: 813000 | #Constraints: 32825
401.10/402.14 c #Conflicts: 814000 | #Constraints: 33825
401.10/402.14 c #Conflicts: 815000 | #Constraints: 34825
401.10/402.14 c #Conflicts: 816000 | #Constraints: 35825
401.10/402.14 c #Conflicts: 817000 | #Constraints: 36825
401.10/402.14 c #Conflicts: 818000 | #Constraints: 37825
401.10/402.14 c #Conflicts: 819000 | #Constraints: 38825
401.10/402.14 c #Conflicts: 820000 | #Constraints: 39825
401.10/402.14 c #Conflicts: 821000 | #Constraints: 40825
401.10/402.14 c #Conflicts: 822000 | #Constraints: 41825
401.10/402.14 c #Conflicts: 823000 | #Constraints: 42825
401.10/402.14 c #Conflicts: 824000 | #Constraints: 43825
401.10/402.14 c #Conflicts: 825000 | #Constraints: 44825
401.10/402.14 c #Conflicts: 826000 | #Constraints: 45825
401.10/402.14 c #Conflicts: 827000 | #Constraints: 46825
401.10/402.14 c #Conflicts: 828000 | #Constraints: 47825
401.10/402.14 c INPROCESSING
401.10/402.14 c GARBAGE COLLECT
401.10/402.14 c #Conflicts: 829000 | #Constraints: 30828
401.10/402.14 c #Conflicts: 830000 | #Constraints: 31828
401.10/402.14 c #Conflicts: 831000 | #Constraints: 32828
401.10/402.14 c #Conflicts: 832000 | #Constraints: 33828
401.10/402.14 c #Conflicts: 833000 | #Constraints: 34828
401.10/402.14 c #Conflicts: 834000 | #Constraints: 35828
401.10/402.14 c #Conflicts: 835000 | #Constraints: 36828
401.10/402.14 c #Conflicts: 836000 | #Constraints: 37828
401.10/402.14 c #Conflicts: 837000 | #Constraints: 38828
401.10/402.14 c #Conflicts: 838000 | #Constraints: 39828
401.10/402.14 c #Conflicts: 839000 | #Constraints: 40828
401.10/402.14 c #Conflicts: 840000 | #Constraints: 41828
401.10/402.14 c #Conflicts: 841000 | #Constraints: 42828
401.10/402.14 c #Conflicts: 842000 | #Constraints: 43828
401.10/402.14 c #Conflicts: 843000 | #Constraints: 44828
401.10/402.14 c #Conflicts: 844000 | #Constraints: 45828
401.10/402.14 c #Conflicts: 845000 | #Constraints: 46828
401.10/402.14 c #Conflicts: 846000 | #Constraints: 47828
401.10/402.14 c INPROCESSING
401.10/402.14 c GARBAGE COLLECT
401.10/402.14 c #Conflicts: 847000 | #Constraints: 30629
401.10/402.14 c #Conflicts: 848000 | #Constraints: 31629
401.10/402.14 c #Conflicts: 849000 | #Constraints: 32629
401.10/402.14 c #Conflicts: 850000 | #Constraints: 33629
401.10/402.14 c #Conflicts: 851000 | #Constraints: 34629
401.10/402.14 c #Conflicts: 852000 | #Constraints: 35629
401.10/402.14 c #Conflicts: 853000 | #Constraints: 36629
401.10/402.14 c #Conflicts: 854000 | #Constraints: 37629
401.10/402.14 c #Conflicts: 855000 | #Constraints: 38629
401.10/402.14 c #Conflicts: 856000 | #Constraints: 39629
401.10/402.14 c #Conflicts: 857000 | #Constraints: 40629
401.10/402.14 c #Conflicts: 858000 | #Constraints: 41629
401.10/402.14 c #Conflicts: 859000 | #Constraints: 42629
401.10/402.14 c #Conflicts: 860000 | #Constraints: 43629
401.10/402.14 c #Conflicts: 861000 | #Constraints: 44629
401.10/402.14 c #Conflicts: 862000 | #Constraints: 45629
401.10/402.14 c #Conflicts: 863000 | #Constraints: 46629
401.10/402.14 c #Conflicts: 864000 | #Constraints: 47629
401.10/402.14 c #Conflicts: 865000 | #Constraints: 48629
401.10/402.14 c INPROCESSING
401.10/402.14 c GARBAGE COLLECT
401.10/402.14 c #Conflicts: 866000 | #Constraints: 31226
401.10/402.14 c #Conflicts: 867000 | #Constraints: 32226
401.10/402.14 c #Conflicts: 868000 | #Constraints: 33226
401.10/402.14 c #Conflicts: 869000 | #Constraints: 34226
401.10/402.14 c #Conflicts: 870000 | #Constraints: 35226
401.10/402.14 c #Conflicts: 871000 | #Constraints: 36226
401.10/402.14 c #Conflicts: 872000 | #Constraints: 37226
401.10/402.14 c #Conflicts: 873000 | #Constraints: 38226
401.10/402.14 c #Conflicts: 874000 | #Constraints: 39226
401.10/402.14 c #Conflicts: 875000 | #Constraints: 40226
401.10/402.14 c #Conflicts: 876000 | #Constraints: 41226
401.10/402.14 c #Conflicts: 877000 | #Constraints: 42226
401.10/402.14 c #Conflicts: 878000 | #Constraints: 43226
401.10/402.14 c #Conflicts: 879000 | #Constraints: 44226
401.10/402.14 c #Conflicts: 880000 | #Constraints: 45226
401.10/402.14 c #Conflicts: 881000 | #Constraints: 46226
401.10/402.14 c #Conflicts: 882000 | #Constraints: 47226
401.10/402.14 c #Conflicts: 883000 | #Constraints: 48226
401.10/402.14 c #Conflicts: 884000 | #Constraints: 49226
401.10/402.14 c INPROCESSING
401.10/402.14 c GARBAGE COLLECT
401.10/402.14 c #Conflicts: 885000 | #Constraints: 31625
451.36/452.58 c #Conflicts: 886000 | #Constraints: 32625
451.36/452.58 c #Conflicts: 887000 | #Constraints: 33625
451.36/452.58 c #Conflicts: 888000 | #Constraints: 34625
451.36/452.58 c #Conflicts: 889000 | #Constraints: 35625
451.36/452.58 c #Conflicts: 890000 | #Constraints: 36625
451.36/452.58 c #Conflicts: 891000 | #Constraints: 37625
451.36/452.58 c #Conflicts: 892000 | #Constraints: 38625
451.36/452.58 c #Conflicts: 893000 | #Constraints: 39625
451.36/452.58 c #Conflicts: 894000 | #Constraints: 40625
451.36/452.58 c #Conflicts: 895000 | #Constraints: 41625
451.36/452.58 c #Conflicts: 896000 | #Constraints: 42625
451.36/452.58 c #Conflicts: 897000 | #Constraints: 43625
451.36/452.58 c #Conflicts: 898000 | #Constraints: 44625
451.36/452.58 c #Conflicts: 899000 | #Constraints: 45625
451.36/452.58 c #Conflicts: 900000 | #Constraints: 46625
451.36/452.58 c #Conflicts: 901000 | #Constraints: 47625
451.36/452.58 c #Conflicts: 902000 | #Constraints: 48625
451.36/452.58 c #Conflicts: 903000 | #Constraints: 49625
451.36/452.58 c INPROCESSING
451.36/452.58 c GARBAGE COLLECT
451.36/452.58 c #Conflicts: 904000 | #Constraints: 31822
451.36/452.58 c #Conflicts: 905000 | #Constraints: 32822
451.36/452.58 c #Conflicts: 906000 | #Constraints: 33822
451.36/452.58 c #Conflicts: 907000 | #Constraints: 34822
451.36/452.58 c #Conflicts: 908000 | #Constraints: 35822
451.36/452.58 c #Conflicts: 909000 | #Constraints: 36822
451.36/452.58 c #Conflicts: 910000 | #Constraints: 37822
451.36/452.58 c #Conflicts: 911000 | #Constraints: 38822
451.36/452.58 c #Conflicts: 912000 | #Constraints: 39822
451.36/452.58 c #Conflicts: 913000 | #Constraints: 40822
451.36/452.58 c #Conflicts: 914000 | #Constraints: 41822
451.36/452.58 c #Conflicts: 915000 | #Constraints: 42822
451.36/452.58 c #Conflicts: 916000 | #Constraints: 43822
451.36/452.58 c #Conflicts: 917000 | #Constraints: 44822
451.36/452.58 c #Conflicts: 918000 | #Constraints: 45822
451.36/452.58 c #Conflicts: 919000 | #Constraints: 46822
451.36/452.58 c #Conflicts: 920000 | #Constraints: 47822
451.36/452.58 c #Conflicts: 921000 | #Constraints: 48822
451.36/452.58 c #Conflicts: 922000 | #Constraints: 49822
451.36/452.58 c INPROCESSING
451.36/452.58 c GARBAGE COLLECT
451.36/452.58 c #Conflicts: 923000 | #Constraints: 31820
451.36/452.58 c #Conflicts: 924000 | #Constraints: 32820
451.36/452.58 c #Conflicts: 925000 | #Constraints: 33820
451.36/452.58 c #Conflicts: 926000 | #Constraints: 34820
451.36/452.58 c #Conflicts: 927000 | #Constraints: 35820
451.36/452.58 c #Conflicts: 928000 | #Constraints: 36820
451.36/452.58 c #Conflicts: 929000 | #Constraints: 37820
451.36/452.58 c #Conflicts: 930000 | #Constraints: 38820
451.36/452.58 c #Conflicts: 931000 | #Constraints: 39820
451.36/452.58 c #Conflicts: 932000 | #Constraints: 40820
451.36/452.58 c #Conflicts: 933000 | #Constraints: 41820
451.36/452.58 c #Conflicts: 934000 | #Constraints: 42820
451.36/452.58 c #Conflicts: 935000 | #Constraints: 43820
451.36/452.58 c #Conflicts: 936000 | #Constraints: 44820
451.36/452.58 c #Conflicts: 937000 | #Constraints: 45820
451.36/452.58 c #Conflicts: 938000 | #Constraints: 46820
451.36/452.58 c #Conflicts: 939000 | #Constraints: 47820
451.36/452.58 c #Conflicts: 940000 | #Constraints: 48820
451.36/452.58 c #Conflicts: 941000 | #Constraints: 49820
451.36/452.58 c INPROCESSING
451.36/452.58 c GARBAGE COLLECT
451.36/452.58 c #Conflicts: 942000 | #Constraints: 31631
451.36/452.58 c #Conflicts: 943000 | #Constraints: 32631
451.36/452.58 c #Conflicts: 944000 | #Constraints: 33631
451.36/452.58 c #Conflicts: 945000 | #Constraints: 34631
451.36/452.58 c #Conflicts: 946000 | #Constraints: 35631
451.36/452.58 c #Conflicts: 947000 | #Constraints: 36631
451.36/452.58 c #Conflicts: 948000 | #Constraints: 37631
451.36/452.58 c #Conflicts: 949000 | #Constraints: 38631
451.36/452.58 c #Conflicts: 950000 | #Constraints: 39631
451.36/452.58 c #Conflicts: 951000 | #Constraints: 40631
451.36/452.58 c #Conflicts: 952000 | #Constraints: 41631
451.36/452.58 c #Conflicts: 953000 | #Constraints: 42631
451.36/452.58 c #Conflicts: 954000 | #Constraints: 43631
451.36/452.58 c #Conflicts: 955000 | #Constraints: 44631
451.36/452.58 c #Conflicts: 956000 | #Constraints: 45631
451.36/452.58 c #Conflicts: 957000 | #Constraints: 46631
451.36/452.58 c #Conflicts: 958000 | #Constraints: 47631
451.36/452.58 c #Conflicts: 959000 | #Constraints: 48631
451.36/452.58 c #Conflicts: 960000 | #Constraints: 49631
451.36/452.58 c #Conflicts: 961000 | #Constraints: 50631
451.36/452.58 c INPROCESSING
451.36/452.58 c GARBAGE COLLECT
505.74/507.07 c #Conflicts: 962000 | #Constraints: 32234
505.74/507.07 c #Conflicts: 963000 | #Constraints: 33234
505.74/507.07 c #Conflicts: 964000 | #Constraints: 34234
505.74/507.07 c #Conflicts: 965000 | #Constraints: 35234
505.74/507.07 c #Conflicts: 966000 | #Constraints: 36234
505.74/507.07 c #Conflicts: 967000 | #Constraints: 37234
505.74/507.07 c #Conflicts: 968000 | #Constraints: 38234
505.74/507.07 c #Conflicts: 969000 | #Constraints: 39234
505.74/507.07 c #Conflicts: 970000 | #Constraints: 40234
505.74/507.07 c #Conflicts: 971000 | #Constraints: 41234
505.74/507.07 c #Conflicts: 972000 | #Constraints: 42234
505.74/507.07 c #Conflicts: 973000 | #Constraints: 43234
505.74/507.07 c #Conflicts: 974000 | #Constraints: 44234
505.74/507.07 c #Conflicts: 975000 | #Constraints: 45234
505.74/507.07 c #Conflicts: 976000 | #Constraints: 46234
505.74/507.07 c #Conflicts: 977000 | #Constraints: 47234
505.74/507.07 c #Conflicts: 978000 | #Constraints: 48234
505.74/507.07 c #Conflicts: 979000 | #Constraints: 49234
505.74/507.07 c #Conflicts: 980000 | #Constraints: 50234
505.74/507.07 c #Conflicts: 981000 | #Constraints: 51234
505.74/507.07 c INPROCESSING
505.74/507.07 c GARBAGE COLLECT
505.74/507.07 c #Conflicts: 982000 | #Constraints: 32633
505.74/507.07 c #Conflicts: 983000 | #Constraints: 33633
505.74/507.07 c #Conflicts: 984000 | #Constraints: 34633
505.74/507.07 c #Conflicts: 985000 | #Constraints: 35633
505.74/507.07 c #Conflicts: 986000 | #Constraints: 36633
505.74/507.07 c #Conflicts: 987000 | #Constraints: 37633
505.74/507.07 c #Conflicts: 988000 | #Constraints: 38633
505.74/507.07 c #Conflicts: 989000 | #Constraints: 39633
505.74/507.07 c #Conflicts: 990000 | #Constraints: 40633
505.74/507.07 c #Conflicts: 991000 | #Constraints: 41633
505.74/507.07 c #Conflicts: 992000 | #Constraints: 42633
505.74/507.07 c #Conflicts: 993000 | #Constraints: 43633
505.74/507.07 c #Conflicts: 994000 | #Constraints: 44633
505.74/507.07 c #Conflicts: 995000 | #Constraints: 45633
505.74/507.07 c #Conflicts: 996000 | #Constraints: 46633
505.74/507.07 c bounds -180 >= -197 @ 474.358
505.74/507.07 c #Conflicts: 997000 | #Constraints: 47640
505.74/507.07 c #Conflicts: 998000 | #Constraints: 48640
505.74/507.07 c #Conflicts: 999000 | #Constraints: 49640
505.74/507.07 c #Conflicts: 1000000 | #Constraints: 50640
505.74/507.07 c #Conflicts: 1001000 | #Constraints: 51640
505.74/507.07 c INPROCESSING
505.74/507.07 c GARBAGE COLLECT
505.74/507.07 c #Conflicts: 1002000 | #Constraints: 32830
505.74/507.07 c #Conflicts: 1003000 | #Constraints: 33830
505.74/507.07 c #Conflicts: 1004000 | #Constraints: 34830
505.74/507.07 c #Conflicts: 1005000 | #Constraints: 35830
505.74/507.07 c #Conflicts: 1006000 | #Constraints: 36830
505.74/507.07 c #Conflicts: 1007000 | #Constraints: 37830
505.74/507.07 c #Conflicts: 1008000 | #Constraints: 38830
505.74/507.07 c #Conflicts: 1009000 | #Constraints: 39830
505.74/507.07 c #Conflicts: 1010000 | #Constraints: 40830
505.74/507.07 c #Conflicts: 1011000 | #Constraints: 41830
505.74/507.07 c #Conflicts: 1012000 | #Constraints: 42830
505.74/507.07 c #Conflicts: 1013000 | #Constraints: 43830
505.74/507.07 c #Conflicts: 1014000 | #Constraints: 44830
505.74/507.07 c #Conflicts: 1015000 | #Constraints: 45830
505.74/507.07 c #Conflicts: 1016000 | #Constraints: 46830
505.74/507.07 c #Conflicts: 1017000 | #Constraints: 47830
505.74/507.07 c #Conflicts: 1018000 | #Constraints: 48830
505.74/507.07 c #Conflicts: 1019000 | #Constraints: 49830
505.74/507.07 c #Conflicts: 1020000 | #Constraints: 50830
505.74/507.07 c #Conflicts: 1021000 | #Constraints: 51830
505.74/507.07 c INPROCESSING
505.74/507.07 c GARBAGE COLLECT
505.74/507.07 c #Conflicts: 1022000 | #Constraints: 32827
505.74/507.07 c #Conflicts: 1023000 | #Constraints: 33827
505.74/507.07 c #Conflicts: 1024000 | #Constraints: 34827
505.74/507.07 c #Conflicts: 1025000 | #Constraints: 35827
505.74/507.07 c #Conflicts: 1026000 | #Constraints: 36827
505.74/507.07 c #Conflicts: 1027000 | #Constraints: 37827
505.74/507.07 c #Conflicts: 1028000 | #Constraints: 38827
505.74/507.07 c #Conflicts: 1029000 | #Constraints: 39827
505.74/507.07 c #Conflicts: 1030000 | #Constraints: 40827
505.74/507.07 c #Conflicts: 1031000 | #Constraints: 41827
505.74/507.07 c #Conflicts: 1032000 | #Constraints: 42827
505.74/507.07 c #Conflicts: 1033000 | #Constraints: 43827
505.74/507.07 c #Conflicts: 1034000 | #Constraints: 44827
505.74/507.07 c #Conflicts: 1035000 | #Constraints: 45827
505.74/507.07 c #Conflicts: 1036000 | #Constraints: 46827
505.74/507.07 c #Conflicts: 1037000 | #Constraints: 47827
505.74/507.07 c #Conflicts: 1038000 | #Constraints: 48827
557.89/559.34 c #Conflicts: 1039000 | #Constraints: 49827
557.89/559.34 c #Conflicts: 1040000 | #Constraints: 50827
557.89/559.34 c #Conflicts: 1041000 | #Constraints: 51827
557.89/559.34 c INPROCESSING
557.89/559.34 c GARBAGE COLLECT
557.89/559.34 c #Conflicts: 1042000 | #Constraints: 32632
557.89/559.34 c #Conflicts: 1043000 | #Constraints: 33632
557.89/559.34 c #Conflicts: 1044000 | #Constraints: 34632
557.89/559.34 c #Conflicts: 1045000 | #Constraints: 35632
557.89/559.34 c #Conflicts: 1046000 | #Constraints: 36632
557.89/559.34 c #Conflicts: 1047000 | #Constraints: 37632
557.89/559.34 c #Conflicts: 1048000 | #Constraints: 38632
557.89/559.34 c #Conflicts: 1049000 | #Constraints: 39632
557.89/559.34 c #Conflicts: 1050000 | #Constraints: 40632
557.89/559.34 c #Conflicts: 1051000 | #Constraints: 41632
557.89/559.34 c #Conflicts: 1052000 | #Constraints: 42632
557.89/559.34 c #Conflicts: 1053000 | #Constraints: 43632
557.89/559.34 c #Conflicts: 1054000 | #Constraints: 44632
557.89/559.34 c #Conflicts: 1055000 | #Constraints: 45632
557.89/559.34 c #Conflicts: 1056000 | #Constraints: 46632
557.89/559.34 c #Conflicts: 1057000 | #Constraints: 47632
557.89/559.34 c #Conflicts: 1058000 | #Constraints: 48632
557.89/559.34 c #Conflicts: 1059000 | #Constraints: 49632
557.89/559.34 c #Conflicts: 1060000 | #Constraints: 50632
557.89/559.34 c #Conflicts: 1061000 | #Constraints: 51632
557.89/559.34 c #Conflicts: 1062000 | #Constraints: 52632
557.89/559.34 c INPROCESSING
557.89/559.34 c GARBAGE COLLECT
557.89/559.34 c #Conflicts: 1063000 | #Constraints: 33234
557.89/559.34 c #Conflicts: 1064000 | #Constraints: 34234
557.89/559.34 c #Conflicts: 1065000 | #Constraints: 35234
557.89/559.34 c #Conflicts: 1066000 | #Constraints: 36234
557.89/559.34 c #Conflicts: 1067000 | #Constraints: 37234
557.89/559.34 c #Conflicts: 1068000 | #Constraints: 38234
557.89/559.34 c #Conflicts: 1069000 | #Constraints: 39234
557.89/559.34 c #Conflicts: 1070000 | #Constraints: 40234
557.89/559.34 c #Conflicts: 1071000 | #Constraints: 41234
557.89/559.34 c #Conflicts: 1072000 | #Constraints: 42234
557.89/559.34 c #Conflicts: 1073000 | #Constraints: 43234
557.89/559.34 c #Conflicts: 1074000 | #Constraints: 44234
557.89/559.34 c #Conflicts: 1075000 | #Constraints: 45234
557.89/559.34 c #Conflicts: 1076000 | #Constraints: 46234
557.89/559.34 c #Conflicts: 1077000 | #Constraints: 47234
557.89/559.34 c #Conflicts: 1078000 | #Constraints: 48234
557.89/559.34 c #Conflicts: 1079000 | #Constraints: 49234
557.89/559.34 c #Conflicts: 1080000 | #Constraints: 50234
557.89/559.34 c #Conflicts: 1081000 | #Constraints: 51234
557.89/559.34 c #Conflicts: 1082000 | #Constraints: 52234
557.89/559.34 c #Conflicts: 1083000 | #Constraints: 53234
557.89/559.34 c INPROCESSING
557.89/559.34 c GARBAGE COLLECT
557.89/559.34 c #Conflicts: 1084000 | #Constraints: 33630
557.89/559.34 c #Conflicts: 1085000 | #Constraints: 34630
557.89/559.34 c #Conflicts: 1086000 | #Constraints: 35630
557.89/559.34 c #Conflicts: 1087000 | #Constraints: 36630
557.89/559.34 c #Conflicts: 1088000 | #Constraints: 37630
557.89/559.34 c #Conflicts: 1089000 | #Constraints: 38630
557.89/559.34 c #Conflicts: 1090000 | #Constraints: 39630
557.89/559.34 c #Conflicts: 1091000 | #Constraints: 40630
557.89/559.34 c #Conflicts: 1092000 | #Constraints: 41630
557.89/559.34 c #Conflicts: 1093000 | #Constraints: 42630
557.89/559.34 c #Conflicts: 1094000 | #Constraints: 43630
557.89/559.34 c #Conflicts: 1095000 | #Constraints: 44630
557.89/559.34 c #Conflicts: 1096000 | #Constraints: 45630
557.89/559.34 c #Conflicts: 1097000 | #Constraints: 46630
557.89/559.34 c #Conflicts: 1098000 | #Constraints: 47630
557.89/559.34 c #Conflicts: 1099000 | #Constraints: 48630
557.89/559.34 c #Conflicts: 1100000 | #Constraints: 49630
557.89/559.34 c #Conflicts: 1101000 | #Constraints: 50630
557.89/559.34 c #Conflicts: 1102000 | #Constraints: 51630
557.89/559.34 c #Conflicts: 1103000 | #Constraints: 52630
557.89/559.34 c #Conflicts: 1104000 | #Constraints: 53630
557.89/559.34 c INPROCESSING
557.89/559.34 c GARBAGE COLLECT
557.89/559.34 c #Conflicts: 1105000 | #Constraints: 33838
557.89/559.34 c #Conflicts: 1106000 | #Constraints: 34838
557.89/559.34 c #Conflicts: 1107000 | #Constraints: 35838
557.89/559.34 c #Conflicts: 1108000 | #Constraints: 36838
557.89/559.34 c #Conflicts: 1109000 | #Constraints: 37838
557.89/559.34 c #Conflicts: 1110000 | #Constraints: 38838
557.89/559.34 c #Conflicts: 1111000 | #Constraints: 39838
557.89/559.34 c #Conflicts: 1112000 | #Constraints: 40838
557.89/559.34 c #Conflicts: 1113000 | #Constraints: 41838
557.89/559.34 c #Conflicts: 1114000 | #Constraints: 42838
574.66/576.16 c #Conflicts: 1115000 | #Constraints: 43838
574.66/576.16 c #Conflicts: 1116000 | #Constraints: 44838
574.66/576.16 c #Conflicts: 1117000 | #Constraints: 45838
574.66/576.16 c #Conflicts: 1118000 | #Constraints: 46838
574.66/576.16 c #Conflicts: 1119000 | #Constraints: 47838
574.66/576.16 c #Conflicts: 1120000 | #Constraints: 48838
574.66/576.16 c #Conflicts: 1121000 | #Constraints: 49838
574.66/576.16 c #Conflicts: 1122000 | #Constraints: 50838
574.66/576.16 c #Conflicts: 1123000 | #Constraints: 51838
574.66/576.16 c bounds -180 >= -196 @ 559.945
574.66/576.16 c #Conflicts: 1124000 | #Constraints: 52842
574.66/576.16 c #Conflicts: 1125000 | #Constraints: 53842
574.66/576.16 c INPROCESSING
574.66/576.16 c GARBAGE COLLECT
574.66/576.16 c #Conflicts: 1126000 | #Constraints: 33840
574.66/576.16 c #Conflicts: 1127000 | #Constraints: 34840
574.66/576.16 c #Conflicts: 1128000 | #Constraints: 35840
574.66/576.16 c #Conflicts: 1129000 | #Constraints: 36840
574.66/576.16 c #Conflicts: 1130000 | #Constraints: 37840
574.66/576.16 c #Conflicts: 1131000 | #Constraints: 38840
574.66/576.16 c #Conflicts: 1132000 | #Constraints: 39840
574.66/576.16 c #Conflicts: 1133000 | #Constraints: 40840
574.66/576.16 c #Conflicts: 1134000 | #Constraints: 41840
574.66/576.16 c #Conflicts: 1135000 | #Constraints: 42840
574.66/576.16 c #Conflicts: 1136000 | #Constraints: 43840
574.66/576.16 c #Conflicts: 1137000 | #Constraints: 44840
574.66/576.16 c #Conflicts: 1138000 | #Constraints: 45840
574.66/576.16 c #Conflicts: 1139000 | #Constraints: 46840
574.66/576.16 c bounds -180 >= -195 @ 569.488
574.66/576.16 c #Conflicts: 1140000 | #Constraints: 47841
574.66/576.16 c #Conflicts: 1141000 | #Constraints: 48841
574.66/576.16 d SOLVEDBY oll
574.66/576.16 c cpu time 570.815 s
574.66/576.16 c deterministic time 64020337340 6.40e+10
574.66/576.16 c optimization time 10.3577 s
574.66/576.16 c total solve time 560.392 s
574.66/576.16 c core-guided solve time 560.392 s
574.66/576.16 c propagation time 414.432 s
574.66/576.16 c conflict analysis time 146.462 s
574.66/576.16 c propagations 93165030
574.66/576.16 c resolve steps 22651670
574.66/576.16 c decisions 1233055
574.66/576.16 c conflicts 1141539
574.66/576.16 c restarts 2107
574.66/576.16 c inprocessing phases 97
574.66/576.16 c input clauses 11792
574.66/576.16 c input cardinalities 363
574.66/576.16 c input general constraints 91
574.66/576.16 c input average constraint length 5.56
574.66/576.16 c input average constraint degree 1.55
574.66/576.16 c learned clauses 1096265
574.66/576.16 c learned cardinalities 5090
574.66/576.16 c learned general constraints 40193
574.66/576.16 c learned average constraint length 67.14
574.66/576.16 c learned average constraint degree 4.07
574.66/576.16 c watched constraints 20871
574.66/576.16 c counting constraints 19413
574.66/576.16 c gcd simplifications 154553
574.66/576.16 c detected cardinalities 15
574.66/576.16 c weakened non-implied lits 69626170
574.66/576.16 c weakened non-implying lits 519679
574.66/576.16 c original variables 351
574.66/576.16 c clausal propagations 61891503
574.66/576.16 c cardinality propagations 17689907
574.66/576.16 c watched propagations 16329
574.66/576.16 c counting propagations 12170079
574.66/576.16 c watch lookups 23854954879
574.66/576.16 c watch backjump lookups 18070719109
574.66/576.16 c watch checks 20542400068
574.66/576.16 c propagation checks 1031685854
574.66/576.16 c constraint additions 330640010
574.66/576.16 c trail pops 95539334
574.66/576.16 c formula constraints 11700
574.66/576.16 c learned constraints 1141548
574.66/576.16 c bound constraints 107
574.66/576.16 c core-guided constraints 439
574.66/576.16 c encountered formula constraints 20496497
574.66/576.16 c encountered learned constraints 3070562
574.66/576.16 c encountered bound constraints 1138
574.66/576.16 c encountered core-guided constraints 225012
574.66/576.16 c LP total time 0 s
574.66/576.16 c LP solve time 0 s
574.66/576.16 c LP constraints added 0
574.66/576.16 c LP constraints removed 0
574.66/576.16 c LP pivots internal 0
574.66/576.16 c LP pivots root 0
574.66/576.16 c LP calls 0
574.66/576.16 c LP optimalities 0
574.66/576.16 c LP no pivot count 0
574.66/576.16 c LP infeasibilities 0
574.66/576.16 c LP valid Farkas constraints 0
574.66/576.16 c LP learned Farkas constraints 0
574.66/576.16 c LP basis resets 0
574.66/576.16 c LP cycling count 0
574.66/576.16 c LP singular count 0
574.66/576.16 c LP no primal count 0
574.66/576.16 c LP no farkas count 0
574.66/576.16 c LP other issue count 0
574.66/576.16 c LP Gomory cuts 0
574.66/576.16 c LP learned cuts 0
574.66/576.16 c LP deleted cuts 0
574.66/576.16 c LP encountered Gomory constraints 0
574.66/576.16 c LP encountered Farkas constraints 0
574.66/576.16 c LP encountered learned Farkas constraints 0
574.66/576.16 c CG auxiliary variables introduced 174
574.66/576.16 c CG solutions found 1
574.66/576.16 c CG cores constructed 96
574.66/576.16 c CG core cardinality constraints returned 0
574.66/576.16 c CG unit cores 1
574.66/576.16 c CG single cores 95
574.66/576.16 c CG blocks removed during cardinality reduction 0
574.66/576.16 c CG first core best 0
574.66/576.16 c CG decision core best 0
574.66/576.16 c CG core reduction tie 0
574.66/576.16 c CG core degree average 1.00
574.66/576.16 c CG core slack average 3.88
574.66/576.16 c CG exhausted 0
574.66/576.16 c CG exhaust time 10.3393 s
574.66/576.16 c CG trimmed 0
574.66/576.16 c CG trim time 0.002495 s
574.66/576.16 c CG minimized 0
574.66/576.16 c CG minimize time 0 s
574.66/576.16 c CG am1 prop time 0.001748 s
574.66/576.16 c CG # am1s reformulated 0
574.66/576.16 c CG lower bound derived from am1s 0
574.66/576.16 c CG # clausal cores 94
574.66/576.16 c CG # cardinality cores 0
574.66/576.16 c CG # pb cores 1
574.66/576.16 c CG # pb reforms 0
574.66/576.16 c CG # cores discarded because of pb reform 0
574.66/576.16 d LOWERBOUND -195
574.66/576.16 d NCORES 96
574.66/576.16 d NPBCORES 1
574.66/576.16 d NPBREFORM 0
574.66/576.16 d NTRIMMED 0
574.66/576.16 d NEXHAUSTED 0
574.66/576.16 d NAM1S 0
574.66/576.16 d AM1LB 0
574.66/576.16 o -180
574.66/576.16 s OPTIMUM FOUND
574.66/576.16 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: 64059 MiB (50500 MiB free)
memory of node 1: 64510 MiB (56392 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458892-1721892499/watcher-4458892-1721892499 -o /tmp/evaluation-result-4458892-1721892499/solver-4458892-1721892499 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721887939-273806 --watchdog 3760 pb-oll-rs HOME/instance-4458892-1721892499.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=276528, runsolver pid=276525
[startup+0.100855 s]*
/proc/loadavg: 4.16 4.12 4.09 5/242 276529
/proc/meminfo: memFree=109456960/131655788 swapFree=131070704/131071996
[pid=276528] ppid=276525 vsize=39464 memory=6904 CPUtime=0.1 cores=5,7
/proc/276528/stat : 276528 (pb-oll-rs) R 276525 276528 273793 0 -1 4194304 578 0 0 0 7 3 0 0 20 0 1 0 25239261 40411136 1726 134679101440 4194304 5384005 140720895353152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13897728 140720895362071 140720895362148 140720895362148 140720895369163 0
/proc/276528/statm: 9866 1726 1364 291 0 1400 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39464 KiB
Current children cumulated memory: 6904 KiB
[startup+0.212833 s]*
/proc/loadavg: 4.16 4.12 4.09 5/242 276529
/proc/meminfo: memFree=109455692/131655788 swapFree=131070704/131071996
[pid=276528] ppid=276525 vsize=39724 memory=7724 CPUtime=0.21 cores=5,7
/proc/276528/stat : 276528 (pb-oll-rs) R 276525 276528 273793 0 -1 4194304 737 0 0 0 18 3 0 0 20 0 1 0 25239261 40677376 1931 134679101440 4194304 5384005 140720895353152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13897728 140720895362071 140720895362148 140720895362148 140720895369163 0
/proc/276528/statm: 9931 1931 1380 291 0 1465 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39724 KiB
Current children cumulated memory: 7724 KiB
[startup+0.312666 s]*
/proc/loadavg: 4.16 4.12 4.09 5/242 276529
/proc/meminfo: memFree=109454908/131655788 swapFree=131070704/131071996
[pid=276528] ppid=276525 vsize=39984 memory=8460 CPUtime=0.31 cores=5,7
/proc/276528/stat : 276528 (pb-oll-rs) R 276525 276528 273793 0 -1 4194304 891 0 0 0 28 3 0 0 20 0 1 0 25239261 40943616 2115 134679101440 4194304 5384005 140720895353152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13897728 140720895362071 140720895362148 140720895362148 140720895369163 0
/proc/276528/statm: 9996 2115 1380 291 0 1530 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39984 KiB
Current children cumulated memory: 8460 KiB
[startup+0.700345 s]
/proc/loadavg: 4.16 4.12 4.09 5/242 276529
/proc/meminfo: memFree=109454096/131655788 swapFree=131070704/131071996
[pid=276528] ppid=276525 vsize=40620 memory=11436 CPUtime=0.68 cores=5,7
/proc/276528/stat : 276528 (pb-oll-rs) R 276525 276528 273793 0 -1 4194304 1134 0 0 0 65 3 0 0 20 0 1 0 25239261 41594880 2859 134679101440 4194304 5384005 140720895353152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13897728 140720895362071 140720895362148 140720895362148 140720895369163 0
/proc/276528/statm: 10155 2859 1454 291 0 1689 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40620 KiB
Current children cumulated memory: 11436 KiB
[startup+1.50033 s]
/proc/loadavg: 4.16 4.12 4.09 5/242 276529
/proc/meminfo: memFree=109451628/131655788 swapFree=131070704/131071996
[pid=276528] ppid=276525 vsize=41104 memory=11964 CPUtime=1.48 cores=5,7
/proc/276528/stat : 276528 (pb-oll-rs) R 276525 276528 273793 0 -1 4194304 1252 0 0 0 144 4 0 0 20 0 1 0 25239261 42090496 2991 134679101440 4194304 5384005 140720895353152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13897728 140720895362071 140720895362148 140720895362148 140720895369163 0
/proc/276528/statm: 10276 2991 1454 291 0 1810 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 41104 KiB
Current children cumulated memory: 11964 KiB
[startup+3.11251 s]
/proc/loadavg: 4.14 4.12 4.09 5/242 276529
/proc/meminfo: memFree=109450200/131655788 swapFree=131070704/131071996
[pid=276528] ppid=276525 vsize=41212 memory=12308 CPUtime=3.09 cores=5,7
/proc/276528/stat : 276528 (pb-oll-rs) R 276525 276528 273793 0 -1 4194304 1335 0 0 0 301 8 0 0 20 0 1 0 25239261 42201088 3077 134679101440 4194304 5384005 140720895353152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13897728 140720895362071 140720895362148 140720895362148 140720895369163 0
/proc/276528/statm: 10303 3077 1454 291 0 1837 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 41212 KiB
Current children cumulated memory: 12308 KiB
[startup+6.30029 s]
/proc/loadavg: 4.14 4.12 4.09 5/242 276530
/proc/meminfo: memFree=109449752/131655788 swapFree=131070704/131071996
[pid=276528] ppid=276525 vsize=41624 memory=12728 CPUtime=6.27 cores=5,7
/proc/276528/stat : 276528 (pb-oll-rs) R 276525 276528 273793 0 -1 4194304 1575 0 0 0 612 15 0 0 20 0 1 0 25239261 42622976 3182 134679101440 4194304 5384005 140720895353152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13897728 140720895362071 140720895362148 140720895362148 140720895369163 0
/proc/276528/statm: 10406 3182 1454 291 0 1940 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 41624 KiB
Current children cumulated memory: 12728 KiB
[startup+12.7003 s]
/proc/loadavg: 4.13 4.12 4.09 6/242 276530
/proc/meminfo: memFree=109446516/131655788 swapFree=131070704/131071996
[pid=276528] ppid=276525 vsize=46960 memory=15824 CPUtime=12.66 cores=5,7
/proc/276528/stat : 276528 (pb-oll-rs) R 276525 276528 273793 0 -1 4194304 2479 0 0 0 1239 27 0 0 20 0 1 0 25239261 48087040 3956 134679101440 4194304 5384005 140720895353152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13897728 140720895362071 140720895362148 140720895362148 140720895369163 0
/proc/276528/statm: 11740 3956 1454 291 0 3274 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 46960 KiB
Current children cumulated memory: 15824 KiB
[startup+25.5003 s]
/proc/loadavg: 4.10 4.11 4.09 5/243 276702
/proc/meminfo: memFree=109440676/131655788 swapFree=131070704/131071996
[pid=276528] ppid=276525 vsize=47916 memory=18916 CPUtime=25.43 cores=5,7
/proc/276528/stat : 276528 (pb-oll-rs) R 276525 276528 273793 0 -1 4194304 2744 0 0 0 2501 42 0 0 20 0 1 0 25239261 49065984 4729 134679101440 4194304 5384005 140720895353152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13897728 140720895362071 140720895362148 140720895362148 140720895369163 0
/proc/276528/statm: 11979 4729 1454 291 0 3513 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 47916 KiB
Current children cumulated memory: 18916 KiB
[startup+51.1127 s]
/proc/loadavg: 4.07 4.10 4.09 5/243 276705
/proc/meminfo: memFree=109434660/131655788 swapFree=131070704/131071996
[pid=276528] ppid=276525 vsize=48808 memory=20396 CPUtime=50.97 cores=5,7
/proc/276528/stat : 276528 (pb-oll-rs) R 276525 276528 273793 0 -1 4194304 3242 0 0 0 5029 68 0 0 20 0 1 0 25239261 49979392 5099 134679101440 4194304 5384005 140720895353152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13897728 140720895362071 140720895362148 140720895362148 140720895369163 0
/proc/276528/statm: 12202 5099 1454 291 0 3736 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 48808 KiB
Current children cumulated memory: 20396 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/243 276714
/proc/meminfo: memFree=109421808/131655788 swapFree=131070704/131071996
[pid=276528] ppid=276525 vsize=54624 memory=24820 CPUtime=102.03 cores=5,7
/proc/276528/stat : 276528 (pb-oll-rs) R 276525 276528 273793 0 -1 4194304 4085 0 0 0 10089 114 0 0 20 0 1 0 25239261 55934976 6205 134679101440 4194304 5384005 140720895353152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13897728 140720895362071 140720895362148 140720895362148 140720895369163 0
/proc/276528/statm: 13656 6205 1454 291 0 5190 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 54624 KiB
Current children cumulated memory: 24820 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/246 276784
/proc/meminfo: memFree=109418828/131655788 swapFree=131070704/131071996
[pid=276528] ppid=276525 vsize=55580 memory=25892 CPUtime=161.88 cores=5,7
/proc/276528/stat : 276528 (pb-oll-rs) R 276525 276528 273793 0 -1 4194304 5585 0 0 0 16032 156 0 0 20 0 1 0 25239261 56913920 6473 134679101440 4194304 5384005 140720895353152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13897728 140720895362071 140720895362148 140720895362148 140720895369163 0
/proc/276528/statm: 13895 6473 1454 291 0 5429 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 55580 KiB
Current children cumulated memory: 25892 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/247 276796
/proc/meminfo: memFree=109412060/131655788 swapFree=131070704/131071996
[pid=276528] ppid=276525 vsize=56472 memory=27392 CPUtime=221.74 cores=5,7
/proc/276528/stat : 276528 (pb-oll-rs) R 276525 276528 273793 0 -1 4194304 6854 0 0 0 21982 192 0 0 20 0 1 0 25239261 57827328 6848 134679101440 4194304 5384005 140720895353152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13897728 140720895362071 140720895362148 140720895362148 140720895369163 0
/proc/276528/statm: 14118 6848 1454 291 0 5652 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 56472 KiB
Current children cumulated memory: 27392 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/247 276807
/proc/meminfo: memFree=109396244/131655788 swapFree=131070704/131071996
[pid=276528] ppid=276525 vsize=56736 memory=28360 CPUtime=281.59 cores=5,7
/proc/276528/stat : 276528 (pb-oll-rs) R 276525 276528 273793 0 -1 4194304 8054 0 0 0 27926 233 0 0 20 0 1 0 25239261 58097664 7090 134679101440 4194304 5384005 140720895353152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13897728 140720895362071 140720895362148 140720895362148 140720895369163 0
/proc/276528/statm: 14184 7090 1454 291 0 5718 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 56736 KiB
Current children cumulated memory: 28360 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/245 276817
/proc/meminfo: memFree=109390812/131655788 swapFree=131070704/131071996
[pid=276528] ppid=276525 vsize=64584 memory=29360 CPUtime=341.45 cores=5,7
/proc/276528/stat : 276528 (pb-oll-rs) R 276525 276528 273793 0 -1 4194304 9020 0 0 0 33879 266 0 0 20 0 1 0 25239261 66134016 7340 134679101440 4194304 5384005 140720895353152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13897728 140720895362071 140720895362148 140720895362148 140720895369163 0
/proc/276528/statm: 16146 7340 1454 291 0 7680 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 64584 KiB
Current children cumulated memory: 29360 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/245 276827
/proc/meminfo: memFree=109378412/131655788 swapFree=131070704/131071996
[pid=276528] ppid=276525 vsize=64820 memory=31780 CPUtime=401.3 cores=5,7
/proc/276528/stat : 276528 (pb-oll-rs) R 276525 276528 273793 0 -1 4194304 9961 0 0 0 39828 302 0 0 20 0 1 0 25239261 66375680 7945 134679101440 4194304 5384005 140720895353152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13897728 140720895362071 140720895362148 140720895362148 140720895369163 0
/proc/276528/statm: 16205 7945 1454 291 0 7739 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 64820 KiB
Current children cumulated memory: 31780 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/242 276838
/proc/meminfo: memFree=109365996/131655788 swapFree=131070704/131071996
[pid=276528] ppid=276525 vsize=65280 memory=32240 CPUtime=461.13 cores=5,7
/proc/276528/stat : 276528 (pb-oll-rs) R 276525 276528 273793 0 -1 4194304 10694 0 0 0 45779 334 0 0 20 0 1 0 25239261 66846720 8060 134679101440 4194304 5384005 140720895353152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13897728 140720895362071 140720895362148 140720895362148 140720895369163 0
/proc/276528/statm: 16320 8060 1454 291 0 7854 0
Current children cumulated CPU time: 461.13 s
Current children cumulated vsize: 65280 KiB
Current children cumulated memory: 32240 KiB
[startup+522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/241 276848
/proc/meminfo: memFree=109356572/131655788 swapFree=131070704/131071996
[pid=276528] ppid=276525 vsize=65636 memory=32564 CPUtime=520.99 cores=5,7
/proc/276528/stat : 276528 (pb-oll-rs) R 276525 276528 273793 0 -1 4194304 11402 0 0 0 51736 363 0 0 20 0 1 0 25239261 67211264 8141 134679101440 4194304 5384005 140720895353152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13897728 140720895362071 140720895362148 140720895362148 140720895369163 0
/proc/276528/statm: 16409 8141 1454 291 0 7943 0
Current children cumulated CPU time: 520.99 s
Current children cumulated vsize: 65636 KiB
Current children cumulated memory: 32564 KiB
[startup+576.161 s]
# the end of solver process 276528 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=570.816 s, system=3.90702 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+537.6 s]
/proc/loadavg: 4.08 4.09 4.09 5/241 276851
/proc/meminfo: memFree=109350476/131655788 swapFree=131070704/131071996
[pid=276528] ppid=276525 vsize=65856 memory=32632 CPUtime=536.25 cores=5,7
/proc/276528/stat : 276528 (pb-oll-rs) R 276525 276528 273793 0 -1 4194304 11586 0 0 0 53254 371 0 0 20 0 1 0 25239261 67436544 8158 134679101440 4194304 5384005 140720895353152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13897728 140720895362071 140720895362148 140720895362148 140720895369163 0
/proc/276528/statm: 16464 8158 1454 291 0 7998 0
Current children cumulated CPU time: 536.25 s
Current children cumulated vsize: 65856 KiB
Current children cumulated memory: 32632 KiB
[startup+563.2 s]
/proc/loadavg: 4.11 4.09 4.09 5/241 276855
/proc/meminfo: memFree=109347756/131655788 swapFree=131070704/131071996
[pid=276528] ppid=276525 vsize=65996 memory=32880 CPUtime=561.78 cores=5,7
/proc/276528/stat : 276528 (pb-oll-rs) R 276525 276528 273793 0 -1 4194304 11958 0 0 0 55794 384 0 0 20 0 1 0 25239261 67579904 8220 134679101440 4194304 5384005 140720895353152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13897728 140720895362071 140720895362148 140720895362148 140720895369163 0
/proc/276528/statm: 16499 8220 1454 291 0 8033 0
Current children cumulated CPU time: 561.78 s
Current children cumulated vsize: 65996 KiB
Current children cumulated memory: 32880 KiB
[startup+569.6 s]
/proc/loadavg: 4.10 4.09 4.09 5/241 276856
/proc/meminfo: memFree=109347636/131655788 swapFree=131070704/131071996
[pid=276528] ppid=276525 vsize=65996 memory=32880 CPUtime=568.17 cores=5,7
/proc/276528/stat : 276528 (pb-oll-rs) R 276525 276528 273793 0 -1 4194304 12116 0 0 0 56430 387 0 0 20 0 1 0 25239261 67579904 8220 134679101440 4194304 5384005 140720895353152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13897728 140720895362071 140720895362148 140720895362148 140720895369163 0
/proc/276528/statm: 16499 8220 1454 291 0 8033 0
Current children cumulated CPU time: 568.17 s
Current children cumulated vsize: 65996 KiB
Current children cumulated memory: 32880 KiB
[startup+572.8 s]
/proc/loadavg: 4.10 4.09 4.09 5/241 276856
/proc/meminfo: memFree=109347672/131655788 swapFree=131070704/131071996
[pid=276528] ppid=276525 vsize=65996 memory=32880 CPUtime=571.36 cores=5,7
/proc/276528/stat : 276528 (pb-oll-rs) R 276525 276528 273793 0 -1 4194304 12116 0 0 0 56747 389 0 0 20 0 1 0 25239261 67579904 8220 134679101440 4194304 5384005 140720895353152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13897728 140720895362071 140720895362148 140720895362148 140720895369163 0
/proc/276528/statm: 16499 8220 1454 291 0 8033 0
Current children cumulated CPU time: 571.36 s
Current children cumulated vsize: 65996 KiB
Current children cumulated memory: 32880 KiB
[startup+574.4 s]
/proc/loadavg: 4.10 4.09 4.09 5/241 276858
/proc/meminfo: memFree=109347692/131655788 swapFree=131070704/131071996
[pid=276528] ppid=276525 vsize=65996 memory=32880 CPUtime=572.96 cores=5,7
/proc/276528/stat : 276528 (pb-oll-rs) R 276525 276528 273793 0 -1 4194304 12116 0 0 0 56906 390 0 0 20 0 1 0 25239261 67579904 8220 134679101440 4194304 5384005 140720895353152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13897728 140720895362071 140720895362148 140720895362148 140720895369163 0
/proc/276528/statm: 16499 8220 1454 291 0 8033 0
Current children cumulated CPU time: 572.96 s
Current children cumulated vsize: 65996 KiB
Current children cumulated memory: 32880 KiB
[startup+575.2 s]
/proc/loadavg: 4.10 4.09 4.09 5/241 276858
/proc/meminfo: memFree=109347608/131655788 swapFree=131070704/131071996
[pid=276528] ppid=276525 vsize=65996 memory=32880 CPUtime=573.76 cores=5,7
/proc/276528/stat : 276528 (pb-oll-rs) R 276525 276528 273793 0 -1 4194304 12116 0 0 0 56986 390 0 0 20 0 1 0 25239261 67579904 8220 134679101440 4194304 5384005 140720895353152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13897728 140720895362071 140720895362148 140720895362148 140720895369163 0
/proc/276528/statm: 16499 8220 1454 291 0 8033 0
Current children cumulated CPU time: 573.76 s
Current children cumulated vsize: 65996 KiB
Current children cumulated memory: 32880 KiB
[startup+575.6 s]
/proc/loadavg: 4.10 4.09 4.09 5/241 276858
/proc/meminfo: memFree=109347608/131655788 swapFree=131070704/131071996
[pid=276528] ppid=276525 vsize=65996 memory=32880 CPUtime=574.15 cores=5,7
/proc/276528/stat : 276528 (pb-oll-rs) R 276525 276528 273793 0 -1 4194304 12116 0 0 0 57025 390 0 0 20 0 1 0 25239261 67579904 8220 134679101440 4194304 5384005 140720895353152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13897728 140720895362071 140720895362148 140720895362148 140720895369163 0
/proc/276528/statm: 16499 8220 1454 291 0 8033 0
Current children cumulated CPU time: 574.15 s
Current children cumulated vsize: 65996 KiB
Current children cumulated memory: 32880 KiB
[startup+576 s]*
/proc/loadavg: 4.10 4.09 4.09 5/241 276858
/proc/meminfo: memFree=109347600/131655788 swapFree=131070704/131071996
[pid=276528] ppid=276525 vsize=65996 memory=32880 CPUtime=574.56 cores=5,7
/proc/276528/stat : 276528 (pb-oll-rs) R 276525 276528 273793 0 -1 4194304 12116 0 0 0 57066 390 0 0 20 0 1 0 25239261 67579904 8220 134679101440 4194304 5384005 140720895353152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13897728 140720895362071 140720895362148 140720895362148 140720895369163 0
/proc/276528/statm: 16499 8220 1454 291 0 8033 0
Current children cumulated CPU time: 574.56 s
Current children cumulated vsize: 65996 KiB
Current children cumulated memory: 32880 KiB
[startup+576.113 s]
/proc/loadavg: 4.10 4.09 4.09 5/241 276858
/proc/meminfo: memFree=109347600/131655788 swapFree=131070704/131071996
[pid=276528] ppid=276525 vsize=65996 memory=32880 CPUtime=574.66 cores=5,7
/proc/276528/stat : 276528 (pb-oll-rs) R 276525 276528 273793 0 -1 4194304 12116 0 0 0 57076 390 0 0 20 0 1 0 25239261 67579904 8220 134679101440 4194304 5384005 140720895353152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 13897728 140720895362071 140720895362148 140720895362148 140720895369163 0
/proc/276528/statm: 16499 8220 1454 291 0 8033 0
Current children cumulated CPU time: 574.66 s
Current children cumulated vsize: 65996 KiB
Current children cumulated memory: 32880 KiB
Child status: 0
Real time (s): 576.161
CPU time (s): 574.723
CPU user time (s): 570.816
CPU system time (s): 3.90702
CPU usage (%): 99.7504
Max. virtual memory (cumulated for all children) (KiB): 66804
Max. memory (cumulated for all children) (KiB): 33372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 570.816
system time used= 3.90701
maximum resident set size= 33420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12126
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= 12
involuntary context switches= 368
# summary of solver processes directly reported to runsolver:
# pid: 276528
# total CPU time (s): 574.723
# total CPU user time (s): 570.816
# total CPU system time (s): 3.90702
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.58923 second user time and 5.78498 second system time
The end
Begin job on nodeC008 at 2024-07-25 09:28:19
IDJOB=4458892
IDBENCH=178266
IDSOLVER=3067
FILE ID=nodeC008/4458892-1721892499
RUNJOBID= nodeC008-1721887939-273806
SLURM_JOB_ID= 8089302
Free space on /tmp= 723748 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
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-4458892-1721892499/watcher-4458892-1721892499 -o /tmp/evaluation-result-4458892-1721892499/solver-4458892-1721892499 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721887939-273806 --watchdog 3760 pb-oll-rs HOME/instance-4458892-1721892499.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3b9231489038b4cdb94f511f52877e11
RANDOM SEED=900313345
nodeC008.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 : 0xb00001f
cpu MHz : 3592.382
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.19
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3653.936
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.294
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.19
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.159
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3599.554
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.19
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3622.979
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.477
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.19
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.125
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 109458336 kB
MemAvailable: 129444816 kB
Buffers: 313444 kB
Cached: 20434228 kB
SwapCached: 732 kB
Active: 2762724 kB
Inactive: 18727732 kB
Active(anon): 1644 kB
Inactive(anon): 795004 kB
Active(file): 2761080 kB
Inactive(file): 17932728 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 2044 kB
Writeback: 0 kB
AnonPages: 738324 kB
Mapped: 123712 kB
Shmem: 53860 kB
KReclaimable: 265404 kB
Slab: 385632 kB
SReclaimable: 265404 kB
SUnreclaim: 120228 kB
KernelStack: 3900 kB
PageTables: 10684 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1232380 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 19456 kB
HardwareCorrupted: 0 kB
AnonHugePages: 716800 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: 400200 kB
DirectMap2M: 49836032 kB
DirectMap1G: 85983232 kB
Free space on /tmp at the end= 723744 MiB
End job on nodeC008 at 2024-07-25 09:37:55