0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.05 c [STEP] solving
0.00/0.05 c #variables 2460 #constraints 4760
0.00/0.05 c SMALL=int, LARGE=long long
0.00/0.05 c bounds - >= 0 @ 0.030709
0.00/0.05 c stratification level: 38
0.00/0.05 c bounds 9140 >= 0 @ 0.033305
0.00/0.05 c stratification level: 37
0.00/0.06 c bounds 8437 >= 0 @ 0.035681
0.00/0.06 c stratification level: 36
0.00/0.06 c bounds 7772 >= 0 @ 0.037809
0.00/0.06 c stratification level: 35
0.00/0.06 c bounds 7145 >= 0 @ 0.039307
0.00/0.06 c stratification level: 34
0.00/0.06 c bounds 6553 >= 0 @ 0.041741
0.00/0.06 c stratification level: 33
0.00/0.07 c bounds 5998 >= 0 @ 0.043191
0.00/0.07 c stratification level: 32
0.00/0.07 c bounds 5480 >= 0 @ 0.044728
0.00/0.07 c stratification level: 31
0.00/0.07 c bounds 4999 >= 0 @ 0.047507
0.00/0.07 c stratification level: 30
0.00/0.07 c bounds 4555 >= 0 @ 0.050169
0.00/0.07 c stratification level: 29
0.00/0.08 c bounds 4148 >= 0 @ 0.05191
0.00/0.08 c stratification level: 28
0.00/0.08 c bounds 3778 >= 0 @ 0.053804
0.00/0.08 c stratification level: 27
0.00/0.08 c bounds 3445 >= 0 @ 0.056709
0.00/0.08 c stratification level: 26
0.00/0.09 c bounds 3149 >= 0 @ 0.059774
0.00/0.09 c stratification level: 25
0.00/0.09 c bounds 2890 >= 0 @ 0.062081
0.00/0.09 c stratification level: 24
0.00/0.09 c bounds 2668 >= 0 @ 0.064353
0.00/0.09 c stratification level: 23
0.00/0.10 c bounds 2483 >= 0 @ 0.066283
0.00/0.10 c stratification level: 22
0.00/0.11 c bounds 2335 >= 0 @ 0.06816
0.00/0.11 c stratification level: 21
0.09/0.11 c bounds 2224 >= 0 @ 0.071201
0.09/0.11 c stratification level: 20
0.09/0.12 c bounds 2150 >= 0 @ 0.075149
0.09/0.12 c stratification level: 19
0.09/0.12 c bounds 2113 >= 0 @ 0.078363
0.09/0.12 c stratification level: 18
0.09/0.12 c bounds 1948 >= 0 @ 0.082048
0.09/0.12 c stratification level: 17
0.09/0.13 c bounds 1667 >= 0 @ 0.08483
0.09/0.13 c stratification level: 16
0.09/0.13 c bounds 1444 >= 0 @ 0.08757
0.09/0.13 c stratification level: 15
0.09/0.14 c bounds 1285 >= 0 @ 0.091586
0.09/0.14 c stratification level: 14
0.09/0.14 c bounds 1196 >= 0 @ 0.093787
0.09/0.14 c stratification level: 13
0.09/0.16 c bounds 1196 >= 13 @ 0.097392
0.09/0.16 c finalizing WCE round: reformulating cores
59.84/60.05 c bounds 1183 >= 13 @ 1.26126
59.84/60.05 c bounds 1183 >= 26 @ 1.44197
59.84/60.05 c #Conflicts: 1000 | #Constraints: 5789
59.84/60.05 c #Conflicts: 2000 | #Constraints: 6789
59.84/60.05 c INPROCESSING
59.84/60.05 c GARBAGE COLLECT
59.84/60.05 c #Conflicts: 3000 | #Constraints: 6774
59.84/60.05 c bounds 1183 >= 39 @ 5.10866
59.84/60.05 c #Conflicts: 4000 | #Constraints: 7775
59.84/60.05 c INPROCESSING
59.84/60.05 c GARBAGE COLLECT
59.84/60.05 c #Conflicts: 5000 | #Constraints: 7177
59.84/60.05 c #Conflicts: 6000 | #Constraints: 8177
59.84/60.05 c INPROCESSING
59.84/60.05 c GARBAGE COLLECT
59.84/60.05 c #Conflicts: 7000 | #Constraints: 7175
59.84/60.05 c #Conflicts: 8000 | #Constraints: 8175
59.84/60.05 c #Conflicts: 9000 | #Constraints: 9175
59.84/60.05 c INPROCESSING
59.84/60.05 c GARBAGE COLLECT
59.84/60.05 c #Conflicts: 10000 | #Constraints: 7872
59.84/60.05 c #Conflicts: 11000 | #Constraints: 8872
59.84/60.05 c #Conflicts: 12000 | #Constraints: 9872
59.84/60.05 c INPROCESSING
59.84/60.05 c GARBAGE COLLECT
59.84/60.05 c #Conflicts: 13000 | #Constraints: 8320
59.84/60.05 c #Conflicts: 14000 | #Constraints: 9320
59.84/60.05 c #Conflicts: 15000 | #Constraints: 10320
59.84/60.05 c INPROCESSING
59.84/60.05 c GARBAGE COLLECT
59.84/60.05 c #Conflicts: 16000 | #Constraints: 8546
59.84/60.05 c #Conflicts: 17000 | #Constraints: 9546
59.84/60.05 c #Conflicts: 18000 | #Constraints: 10546
59.84/60.05 c INPROCESSING
59.84/60.05 c GARBAGE COLLECT
59.84/60.05 c #Conflicts: 19000 | #Constraints: 8559
59.84/60.05 c #Conflicts: 20000 | #Constraints: 9559
59.84/60.05 c #Conflicts: 21000 | #Constraints: 10559
59.84/60.05 c INPROCESSING
59.84/60.05 c GARBAGE COLLECT
59.84/60.05 c #Conflicts: 22000 | #Constraints: 8366
59.84/60.05 c #Conflicts: 23000 | #Constraints: 9366
59.84/60.05 c #Conflicts: 24000 | #Constraints: 10366
59.84/60.05 c #Conflicts: 25000 | #Constraints: 11366
59.84/60.05 c INPROCESSING
59.84/60.05 c GARBAGE COLLECT
59.84/60.05 c #Conflicts: 26000 | #Constraints: 8970
59.84/60.05 c #Conflicts: 27000 | #Constraints: 9970
59.84/60.05 c #Conflicts: 28000 | #Constraints: 10970
59.84/60.05 c #Conflicts: 29000 | #Constraints: 11970
59.84/60.05 c INPROCESSING
59.84/60.05 c GARBAGE COLLECT
59.84/60.05 c #Conflicts: 30000 | #Constraints: 9374
59.84/60.05 c #Conflicts: 31000 | #Constraints: 10374
59.84/60.05 c #Conflicts: 32000 | #Constraints: 11374
59.84/60.05 c #Conflicts: 33000 | #Constraints: 12374
59.84/60.05 c INPROCESSING
59.84/60.05 c GARBAGE COLLECT
59.84/60.05 c #Conflicts: 34000 | #Constraints: 9575
59.84/60.05 c #Conflicts: 35000 | #Constraints: 10575
59.84/60.05 c #Conflicts: 36000 | #Constraints: 11575
59.84/60.05 c #Conflicts: 37000 | #Constraints: 12575
59.84/60.05 c INPROCESSING
59.84/60.05 c GARBAGE COLLECT
59.84/60.05 c #Conflicts: 38000 | #Constraints: 9578
59.84/60.05 c #Conflicts: 39000 | #Constraints: 10578
59.84/60.05 c #Conflicts: 40000 | #Constraints: 11578
59.84/60.05 c #Conflicts: 41000 | #Constraints: 12578
59.84/60.05 c INPROCESSING
59.84/60.05 c GARBAGE COLLECT
59.84/60.05 c #Conflicts: 42000 | #Constraints: 9385
59.84/60.05 c #Conflicts: 43000 | #Constraints: 10385
59.84/60.05 c #Conflicts: 44000 | #Constraints: 11385
59.84/60.05 c #Conflicts: 45000 | #Constraints: 12385
59.84/60.05 c #Conflicts: 46000 | #Constraints: 13385
59.84/60.05 c INPROCESSING
59.84/60.05 c GARBAGE COLLECT
59.84/60.05 c #Conflicts: 47000 | #Constraints: 9979
59.84/60.05 c #Conflicts: 48000 | #Constraints: 10979
59.84/60.05 c #Conflicts: 49000 | #Constraints: 11979
59.84/60.05 c #Conflicts: 50000 | #Constraints: 12979
59.84/60.05 c #Conflicts: 51000 | #Constraints: 13979
59.84/60.05 c INPROCESSING
59.84/60.05 c GARBAGE COLLECT
59.84/60.05 c #Conflicts: 52000 | #Constraints: 10384
59.84/60.05 c #Conflicts: 53000 | #Constraints: 11384
59.84/60.05 c #Conflicts: 54000 | #Constraints: 12384
59.84/60.05 c #Conflicts: 55000 | #Constraints: 13384
59.84/60.05 c #Conflicts: 56000 | #Constraints: 14384
59.84/60.05 c INPROCESSING
59.84/60.05 c GARBAGE COLLECT
59.84/60.05 c #Conflicts: 57000 | #Constraints: 10580
59.84/60.05 c #Conflicts: 58000 | #Constraints: 11580
59.84/60.05 c #Conflicts: 59000 | #Constraints: 12580
59.84/60.05 c #Conflicts: 60000 | #Constraints: 13580
59.84/60.05 c #Conflicts: 61000 | #Constraints: 14580
59.84/60.05 c INPROCESSING
59.84/60.05 c GARBAGE COLLECT
59.84/60.05 c #Conflicts: 62000 | #Constraints: 10580
59.84/60.05 c #Conflicts: 63000 | #Constraints: 11580
59.84/60.05 c #Conflicts: 64000 | #Constraints: 12580
59.84/60.05 c #Conflicts: 65000 | #Constraints: 13580
59.84/60.05 c #Conflicts: 66000 | #Constraints: 14580
59.84/60.05 c INPROCESSING
125.85/126.23 c GARBAGE COLLECT
125.85/126.23 c #Conflicts: 67000 | #Constraints: 10380
125.85/126.23 c #Conflicts: 68000 | #Constraints: 11380
125.85/126.23 c #Conflicts: 69000 | #Constraints: 12380
125.85/126.23 c #Conflicts: 70000 | #Constraints: 13380
125.85/126.23 c #Conflicts: 71000 | #Constraints: 14380
125.85/126.23 c #Conflicts: 72000 | #Constraints: 15380
125.85/126.23 c INPROCESSING
125.85/126.23 c GARBAGE COLLECT
125.85/126.23 c #Conflicts: 73000 | #Constraints: 10982
125.85/126.23 c #Conflicts: 74000 | #Constraints: 11982
125.85/126.23 c #Conflicts: 75000 | #Constraints: 12982
125.85/126.23 c #Conflicts: 76000 | #Constraints: 13982
125.85/126.23 c #Conflicts: 77000 | #Constraints: 14982
125.85/126.23 c #Conflicts: 78000 | #Constraints: 15982
125.85/126.23 c INPROCESSING
125.85/126.23 c GARBAGE COLLECT
125.85/126.23 c #Conflicts: 79000 | #Constraints: 11380
125.85/126.23 c #Conflicts: 80000 | #Constraints: 12380
125.85/126.23 c #Conflicts: 81000 | #Constraints: 13380
125.85/126.23 c #Conflicts: 82000 | #Constraints: 14380
125.85/126.23 c #Conflicts: 83000 | #Constraints: 15380
125.85/126.23 c #Conflicts: 84000 | #Constraints: 16380
125.85/126.23 c INPROCESSING
125.85/126.23 c GARBAGE COLLECT
125.85/126.23 c #Conflicts: 85000 | #Constraints: 11582
125.85/126.23 c #Conflicts: 86000 | #Constraints: 12582
125.85/126.23 c #Conflicts: 87000 | #Constraints: 13582
125.85/126.23 c #Conflicts: 88000 | #Constraints: 14582
125.85/126.23 c #Conflicts: 89000 | #Constraints: 15582
125.85/126.23 c #Conflicts: 90000 | #Constraints: 16582
125.85/126.23 c INPROCESSING
125.85/126.23 c GARBAGE COLLECT
125.85/126.23 c #Conflicts: 91000 | #Constraints: 11580
125.85/126.23 c #Conflicts: 92000 | #Constraints: 12580
125.85/126.23 c #Conflicts: 93000 | #Constraints: 13580
125.85/126.23 c #Conflicts: 94000 | #Constraints: 14580
125.85/126.23 c #Conflicts: 95000 | #Constraints: 15580
125.85/126.23 c #Conflicts: 96000 | #Constraints: 16580
125.85/126.23 c INPROCESSING
125.85/126.23 c GARBAGE COLLECT
125.85/126.23 c #Conflicts: 97000 | #Constraints: 11386
125.85/126.23 c #Conflicts: 98000 | #Constraints: 12386
125.85/126.23 c #Conflicts: 99000 | #Constraints: 13386
125.85/126.23 c #Conflicts: 100000 | #Constraints: 14386
125.85/126.23 c #Conflicts: 101000 | #Constraints: 15386
125.85/126.23 c #Conflicts: 102000 | #Constraints: 16386
125.85/126.23 c #Conflicts: 103000 | #Constraints: 17386
125.85/126.23 c INPROCESSING
125.85/126.23 c GARBAGE COLLECT
125.85/126.23 c #Conflicts: 104000 | #Constraints: 11980
125.85/126.23 c #Conflicts: 105000 | #Constraints: 12980
125.85/126.23 c #Conflicts: 106000 | #Constraints: 13980
125.85/126.23 c #Conflicts: 107000 | #Constraints: 14980
125.85/126.23 c #Conflicts: 108000 | #Constraints: 15980
125.85/126.23 c #Conflicts: 109000 | #Constraints: 16980
125.85/126.23 c #Conflicts: 110000 | #Constraints: 17980
125.85/126.23 c INPROCESSING
125.85/126.23 c GARBAGE COLLECT
125.85/126.23 c #Conflicts: 111000 | #Constraints: 12379
125.85/126.23 c #Conflicts: 112000 | #Constraints: 13379
125.85/126.23 c #Conflicts: 113000 | #Constraints: 14379
125.85/126.23 c #Conflicts: 114000 | #Constraints: 15379
125.85/126.23 c #Conflicts: 115000 | #Constraints: 16379
125.85/126.23 c #Conflicts: 116000 | #Constraints: 17379
125.85/126.23 c #Conflicts: 117000 | #Constraints: 18379
125.85/126.23 c INPROCESSING
125.85/126.23 c GARBAGE COLLECT
125.85/126.23 c #Conflicts: 118000 | #Constraints: 12575
125.85/126.23 c #Conflicts: 119000 | #Constraints: 13575
125.85/126.23 c #Conflicts: 120000 | #Constraints: 14575
125.85/126.23 c #Conflicts: 121000 | #Constraints: 15575
125.85/126.23 c #Conflicts: 122000 | #Constraints: 16575
125.85/126.23 c #Conflicts: 123000 | #Constraints: 17575
125.85/126.23 c #Conflicts: 124000 | #Constraints: 18575
125.85/126.23 c INPROCESSING
125.85/126.23 c GARBAGE COLLECT
125.85/126.23 c #Conflicts: 125000 | #Constraints: 12582
125.85/126.23 c #Conflicts: 126000 | #Constraints: 13582
125.85/126.23 c #Conflicts: 127000 | #Constraints: 14582
125.85/126.23 c #Conflicts: 128000 | #Constraints: 15582
125.85/126.23 c #Conflicts: 129000 | #Constraints: 16582
125.85/126.23 c #Conflicts: 130000 | #Constraints: 17582
125.85/126.23 c #Conflicts: 131000 | #Constraints: 18582
125.85/126.23 c INPROCESSING
125.85/126.23 c GARBAGE COLLECT
125.85/126.23 c #Conflicts: 132000 | #Constraints: 12385
125.85/126.23 c #Conflicts: 133000 | #Constraints: 13385
125.85/126.23 c #Conflicts: 134000 | #Constraints: 14385
125.85/126.23 c #Conflicts: 135000 | #Constraints: 15385
125.85/126.23 c #Conflicts: 136000 | #Constraints: 16385
125.85/126.23 c #Conflicts: 137000 | #Constraints: 17385
125.85/126.23 c #Conflicts: 138000 | #Constraints: 18385
125.85/126.23 c #Conflicts: 139000 | #Constraints: 19385
196.55/197.12 c INPROCESSING
196.55/197.12 c GARBAGE COLLECT
196.55/197.12 c #Conflicts: 140000 | #Constraints: 12983
196.55/197.12 c #Conflicts: 141000 | #Constraints: 13983
196.55/197.12 c #Conflicts: 142000 | #Constraints: 14983
196.55/197.12 c #Conflicts: 143000 | #Constraints: 15983
196.55/197.12 c #Conflicts: 144000 | #Constraints: 16983
196.55/197.12 c #Conflicts: 145000 | #Constraints: 17983
196.55/197.12 c #Conflicts: 146000 | #Constraints: 18983
196.55/197.12 c #Conflicts: 147000 | #Constraints: 19983
196.55/197.12 c INPROCESSING
196.55/197.12 c GARBAGE COLLECT
196.55/197.12 c #Conflicts: 148000 | #Constraints: 13384
196.55/197.12 c #Conflicts: 149000 | #Constraints: 14384
196.55/197.12 c #Conflicts: 150000 | #Constraints: 15384
196.55/197.12 c #Conflicts: 151000 | #Constraints: 16384
196.55/197.12 c #Conflicts: 152000 | #Constraints: 17384
196.55/197.12 c #Conflicts: 153000 | #Constraints: 18384
196.55/197.12 c #Conflicts: 154000 | #Constraints: 19384
196.55/197.12 c #Conflicts: 155000 | #Constraints: 20384
196.55/197.12 c INPROCESSING
196.55/197.12 c GARBAGE COLLECT
196.55/197.12 c #Conflicts: 156000 | #Constraints: 13588
196.55/197.12 c #Conflicts: 157000 | #Constraints: 14588
196.55/197.12 c #Conflicts: 158000 | #Constraints: 15588
196.55/197.12 c #Conflicts: 159000 | #Constraints: 16588
196.55/197.12 c #Conflicts: 160000 | #Constraints: 17588
196.55/197.12 c #Conflicts: 161000 | #Constraints: 18588
196.55/197.12 c #Conflicts: 162000 | #Constraints: 19588
196.55/197.12 c #Conflicts: 163000 | #Constraints: 20588
196.55/197.12 c INPROCESSING
196.55/197.12 c GARBAGE COLLECT
196.55/197.12 c #Conflicts: 164000 | #Constraints: 13584
196.55/197.12 c #Conflicts: 165000 | #Constraints: 14584
196.55/197.12 c #Conflicts: 166000 | #Constraints: 15584
196.55/197.12 c #Conflicts: 167000 | #Constraints: 16584
196.55/197.12 c #Conflicts: 168000 | #Constraints: 17584
196.55/197.12 c #Conflicts: 169000 | #Constraints: 18584
196.55/197.12 c #Conflicts: 170000 | #Constraints: 19584
196.55/197.12 c #Conflicts: 171000 | #Constraints: 20584
196.55/197.12 c INPROCESSING
196.55/197.12 c GARBAGE COLLECT
196.55/197.12 c #Conflicts: 172000 | #Constraints: 13385
196.55/197.12 c #Conflicts: 173000 | #Constraints: 14385
196.55/197.12 c #Conflicts: 174000 | #Constraints: 15385
196.55/197.12 c #Conflicts: 175000 | #Constraints: 16385
196.55/197.12 c #Conflicts: 176000 | #Constraints: 17385
196.55/197.12 c #Conflicts: 177000 | #Constraints: 18385
196.55/197.12 c #Conflicts: 178000 | #Constraints: 19385
196.55/197.12 c #Conflicts: 179000 | #Constraints: 20385
196.55/197.12 c #Conflicts: 180000 | #Constraints: 21385
196.55/197.12 c INPROCESSING
196.55/197.12 c GARBAGE COLLECT
196.55/197.12 c #Conflicts: 181000 | #Constraints: 13983
196.55/197.12 c #Conflicts: 182000 | #Constraints: 14983
196.55/197.12 c #Conflicts: 183000 | #Constraints: 15983
196.55/197.12 c #Conflicts: 184000 | #Constraints: 16983
196.55/197.12 c #Conflicts: 185000 | #Constraints: 17983
196.55/197.12 c #Conflicts: 186000 | #Constraints: 18983
196.55/197.12 c #Conflicts: 187000 | #Constraints: 19983
196.55/197.12 c #Conflicts: 188000 | #Constraints: 20983
196.55/197.12 c #Conflicts: 189000 | #Constraints: 21983
196.55/197.12 c INPROCESSING
196.55/197.12 c GARBAGE COLLECT
196.55/197.12 c #Conflicts: 190000 | #Constraints: 14388
196.55/197.12 c #Conflicts: 191000 | #Constraints: 15388
196.55/197.12 c #Conflicts: 192000 | #Constraints: 16388
196.55/197.12 c #Conflicts: 193000 | #Constraints: 17388
196.55/197.12 c #Conflicts: 194000 | #Constraints: 18388
196.55/197.12 c #Conflicts: 195000 | #Constraints: 19388
196.55/197.12 c #Conflicts: 196000 | #Constraints: 20388
196.55/197.12 c #Conflicts: 197000 | #Constraints: 21388
196.55/197.12 c #Conflicts: 198000 | #Constraints: 22388
196.55/197.12 c INPROCESSING
196.55/197.12 c GARBAGE COLLECT
196.55/197.12 c #Conflicts: 199000 | #Constraints: 14587
196.55/197.12 c #Conflicts: 200000 | #Constraints: 15587
196.55/197.12 c #Conflicts: 201000 | #Constraints: 16587
196.55/197.12 c #Conflicts: 202000 | #Constraints: 17587
196.55/197.12 c #Conflicts: 203000 | #Constraints: 18587
196.55/197.12 c #Conflicts: 204000 | #Constraints: 19587
196.55/197.12 c #Conflicts: 205000 | #Constraints: 20587
196.55/197.12 c #Conflicts: 206000 | #Constraints: 21587
196.55/197.12 c #Conflicts: 207000 | #Constraints: 22587
196.55/197.12 c INPROCESSING
196.55/197.12 c GARBAGE COLLECT
196.55/197.12 c #Conflicts: 208000 | #Constraints: 14591
196.55/197.12 c #Conflicts: 209000 | #Constraints: 15591
196.55/197.12 c #Conflicts: 210000 | #Constraints: 16591
196.55/197.12 c #Conflicts: 211000 | #Constraints: 17591
196.55/197.12 c #Conflicts: 212000 | #Constraints: 18591
269.13/269.96 c #Conflicts: 213000 | #Constraints: 19591
269.13/269.96 c #Conflicts: 214000 | #Constraints: 20591
269.13/269.96 c #Conflicts: 215000 | #Constraints: 21591
269.13/269.96 c #Conflicts: 216000 | #Constraints: 22591
269.13/269.96 c INPROCESSING
269.13/269.96 c GARBAGE COLLECT
269.13/269.96 c #Conflicts: 217000 | #Constraints: 14392
269.13/269.96 c #Conflicts: 218000 | #Constraints: 15392
269.13/269.96 c #Conflicts: 219000 | #Constraints: 16392
269.13/269.96 c #Conflicts: 220000 | #Constraints: 17392
269.13/269.96 c #Conflicts: 221000 | #Constraints: 18392
269.13/269.96 c #Conflicts: 222000 | #Constraints: 19392
269.13/269.96 c #Conflicts: 223000 | #Constraints: 20392
269.13/269.96 c #Conflicts: 224000 | #Constraints: 21392
269.13/269.96 c #Conflicts: 225000 | #Constraints: 22392
269.13/269.96 c #Conflicts: 226000 | #Constraints: 23392
269.13/269.96 c INPROCESSING
269.13/269.96 c GARBAGE COLLECT
269.13/269.96 c #Conflicts: 227000 | #Constraints: 14995
269.13/269.96 c #Conflicts: 228000 | #Constraints: 15995
269.13/269.96 c #Conflicts: 229000 | #Constraints: 16995
269.13/269.96 c #Conflicts: 230000 | #Constraints: 17995
269.13/269.96 c #Conflicts: 231000 | #Constraints: 18995
269.13/269.96 c #Conflicts: 232000 | #Constraints: 19995
269.13/269.96 c #Conflicts: 233000 | #Constraints: 20995
269.13/269.96 c #Conflicts: 234000 | #Constraints: 21995
269.13/269.96 c #Conflicts: 235000 | #Constraints: 22995
269.13/269.96 c #Conflicts: 236000 | #Constraints: 23995
269.13/269.96 c INPROCESSING
269.13/269.96 c GARBAGE COLLECT
269.13/269.96 c #Conflicts: 237000 | #Constraints: 15387
269.13/269.96 c #Conflicts: 238000 | #Constraints: 16387
269.13/269.96 c #Conflicts: 239000 | #Constraints: 17387
269.13/269.96 c #Conflicts: 240000 | #Constraints: 18387
269.13/269.96 c #Conflicts: 241000 | #Constraints: 19387
269.13/269.96 c #Conflicts: 242000 | #Constraints: 20387
269.13/269.96 c #Conflicts: 243000 | #Constraints: 21387
269.13/269.96 c #Conflicts: 244000 | #Constraints: 22387
269.13/269.96 c #Conflicts: 245000 | #Constraints: 23387
269.13/269.96 c #Conflicts: 246000 | #Constraints: 24387
269.13/269.96 c INPROCESSING
269.13/269.96 c GARBAGE COLLECT
269.13/269.96 c #Conflicts: 247000 | #Constraints: 15592
269.13/269.96 c #Conflicts: 248000 | #Constraints: 16592
269.13/269.96 c #Conflicts: 249000 | #Constraints: 17592
269.13/269.96 c #Conflicts: 250000 | #Constraints: 18592
269.13/269.96 c #Conflicts: 251000 | #Constraints: 19592
269.13/269.96 c #Conflicts: 252000 | #Constraints: 20592
269.13/269.96 c #Conflicts: 253000 | #Constraints: 21592
269.13/269.96 c #Conflicts: 254000 | #Constraints: 22592
269.13/269.96 c #Conflicts: 255000 | #Constraints: 23592
269.13/269.96 c #Conflicts: 256000 | #Constraints: 24592
269.13/269.96 c INPROCESSING
269.13/269.96 c GARBAGE COLLECT
269.13/269.96 c #Conflicts: 257000 | #Constraints: 15587
269.13/269.96 c #Conflicts: 258000 | #Constraints: 16587
269.13/269.96 c #Conflicts: 259000 | #Constraints: 17587
269.13/269.96 c #Conflicts: 260000 | #Constraints: 18587
269.13/269.96 c #Conflicts: 261000 | #Constraints: 19587
269.13/269.96 c #Conflicts: 262000 | #Constraints: 20587
269.13/269.96 c #Conflicts: 263000 | #Constraints: 21587
269.13/269.96 c #Conflicts: 264000 | #Constraints: 22587
269.13/269.96 c #Conflicts: 265000 | #Constraints: 23587
269.13/269.96 c #Conflicts: 266000 | #Constraints: 24587
269.13/269.96 c INPROCESSING
269.13/269.96 c GARBAGE COLLECT
269.13/269.96 c #Conflicts: 267000 | #Constraints: 15391
269.13/269.96 c #Conflicts: 268000 | #Constraints: 16391
269.13/269.96 c #Conflicts: 269000 | #Constraints: 17391
269.13/269.96 c #Conflicts: 270000 | #Constraints: 18391
269.13/269.96 c #Conflicts: 271000 | #Constraints: 19391
269.13/269.96 c #Conflicts: 272000 | #Constraints: 20391
269.13/269.96 c #Conflicts: 273000 | #Constraints: 21391
269.13/269.96 c #Conflicts: 274000 | #Constraints: 22391
269.13/269.96 c #Conflicts: 275000 | #Constraints: 23391
269.13/269.96 c #Conflicts: 276000 | #Constraints: 24391
269.13/269.96 c #Conflicts: 277000 | #Constraints: 25391
269.13/269.96 c INPROCESSING
269.13/269.96 c GARBAGE COLLECT
269.13/269.96 c #Conflicts: 278000 | #Constraints: 15988
269.13/269.96 c #Conflicts: 279000 | #Constraints: 16988
269.13/269.96 c #Conflicts: 280000 | #Constraints: 17988
269.13/269.96 c #Conflicts: 281000 | #Constraints: 18988
269.13/269.96 c #Conflicts: 282000 | #Constraints: 19988
269.13/269.96 c #Conflicts: 283000 | #Constraints: 20988
269.13/269.96 c #Conflicts: 284000 | #Constraints: 21988
269.13/269.96 c #Conflicts: 285000 | #Constraints: 22988
269.13/269.96 c #Conflicts: 286000 | #Constraints: 23988
347.00/348.09 c #Conflicts: 287000 | #Constraints: 24988
347.00/348.09 c #Conflicts: 288000 | #Constraints: 25988
347.00/348.09 c INPROCESSING
347.00/348.09 c GARBAGE COLLECT
347.00/348.09 c #Conflicts: 289000 | #Constraints: 16394
347.00/348.09 c #Conflicts: 290000 | #Constraints: 17394
347.00/348.09 c #Conflicts: 291000 | #Constraints: 18394
347.00/348.09 c #Conflicts: 292000 | #Constraints: 19394
347.00/348.09 c #Conflicts: 293000 | #Constraints: 20394
347.00/348.09 c #Conflicts: 294000 | #Constraints: 21394
347.00/348.09 c #Conflicts: 295000 | #Constraints: 22394
347.00/348.09 c #Conflicts: 296000 | #Constraints: 23394
347.00/348.09 c #Conflicts: 297000 | #Constraints: 24394
347.00/348.09 c #Conflicts: 298000 | #Constraints: 25394
347.00/348.09 c #Conflicts: 299000 | #Constraints: 26394
347.00/348.09 c INPROCESSING
347.00/348.09 c GARBAGE COLLECT
347.00/348.09 c #Conflicts: 300000 | #Constraints: 16590
347.00/348.09 c #Conflicts: 301000 | #Constraints: 17590
347.00/348.09 c #Conflicts: 302000 | #Constraints: 18590
347.00/348.09 c #Conflicts: 303000 | #Constraints: 19590
347.00/348.09 c #Conflicts: 304000 | #Constraints: 20590
347.00/348.09 c #Conflicts: 305000 | #Constraints: 21590
347.00/348.09 c #Conflicts: 306000 | #Constraints: 22590
347.00/348.09 c #Conflicts: 307000 | #Constraints: 23590
347.00/348.09 c #Conflicts: 308000 | #Constraints: 24590
347.00/348.09 c #Conflicts: 309000 | #Constraints: 25590
347.00/348.09 c #Conflicts: 310000 | #Constraints: 26590
347.00/348.09 c INPROCESSING
347.00/348.09 c GARBAGE COLLECT
347.00/348.09 c #Conflicts: 311000 | #Constraints: 16592
347.00/348.09 c #Conflicts: 312000 | #Constraints: 17592
347.00/348.09 c #Conflicts: 313000 | #Constraints: 18592
347.00/348.09 c #Conflicts: 314000 | #Constraints: 19592
347.00/348.09 c #Conflicts: 315000 | #Constraints: 20592
347.00/348.09 c #Conflicts: 316000 | #Constraints: 21592
347.00/348.09 c #Conflicts: 317000 | #Constraints: 22592
347.00/348.09 c #Conflicts: 318000 | #Constraints: 23592
347.00/348.09 c #Conflicts: 319000 | #Constraints: 24592
347.00/348.09 c #Conflicts: 320000 | #Constraints: 25592
347.00/348.09 c #Conflicts: 321000 | #Constraints: 26592
347.00/348.09 c INPROCESSING
347.00/348.09 c GARBAGE COLLECT
347.00/348.09 c #Conflicts: 322000 | #Constraints: 16388
347.00/348.09 c #Conflicts: 323000 | #Constraints: 17388
347.00/348.09 c #Conflicts: 324000 | #Constraints: 18388
347.00/348.09 c #Conflicts: 325000 | #Constraints: 19388
347.00/348.09 c #Conflicts: 326000 | #Constraints: 20388
347.00/348.09 c #Conflicts: 327000 | #Constraints: 21388
347.00/348.09 c #Conflicts: 328000 | #Constraints: 22388
347.00/348.09 c #Conflicts: 329000 | #Constraints: 23388
347.00/348.09 c #Conflicts: 330000 | #Constraints: 24388
347.00/348.09 c #Conflicts: 331000 | #Constraints: 25388
347.00/348.09 c #Conflicts: 332000 | #Constraints: 26388
347.00/348.09 c #Conflicts: 333000 | #Constraints: 27388
347.00/348.09 c INPROCESSING
347.00/348.09 c GARBAGE COLLECT
347.00/348.09 c #Conflicts: 334000 | #Constraints: 16985
347.00/348.09 c #Conflicts: 335000 | #Constraints: 17985
347.00/348.09 c #Conflicts: 336000 | #Constraints: 18985
347.00/348.09 c #Conflicts: 337000 | #Constraints: 19985
347.00/348.09 c #Conflicts: 338000 | #Constraints: 20985
347.00/348.09 c #Conflicts: 339000 | #Constraints: 21985
347.00/348.09 c #Conflicts: 340000 | #Constraints: 22985
347.00/348.09 c #Conflicts: 341000 | #Constraints: 23985
347.00/348.09 c #Conflicts: 342000 | #Constraints: 24985
347.00/348.09 c #Conflicts: 343000 | #Constraints: 25985
347.00/348.09 c #Conflicts: 344000 | #Constraints: 26985
347.00/348.09 c #Conflicts: 345000 | #Constraints: 27985
347.00/348.09 c INPROCESSING
347.00/348.09 c GARBAGE COLLECT
347.00/348.09 c #Conflicts: 346000 | #Constraints: 17388
347.00/348.09 c #Conflicts: 347000 | #Constraints: 18388
347.00/348.09 c #Conflicts: 348000 | #Constraints: 19388
347.00/348.09 c #Conflicts: 349000 | #Constraints: 20388
347.00/348.09 c #Conflicts: 350000 | #Constraints: 21388
347.00/348.09 c #Conflicts: 351000 | #Constraints: 22388
347.00/348.09 c #Conflicts: 352000 | #Constraints: 23388
347.00/348.09 c #Conflicts: 353000 | #Constraints: 24388
347.00/348.09 c #Conflicts: 354000 | #Constraints: 25388
347.00/348.09 c #Conflicts: 355000 | #Constraints: 26388
347.00/348.09 c #Conflicts: 356000 | #Constraints: 27388
347.00/348.09 c #Conflicts: 357000 | #Constraints: 28388
347.00/348.09 c INPROCESSING
347.00/348.09 c GARBAGE COLLECT
347.00/348.09 c #Conflicts: 358000 | #Constraints: 17596
347.00/348.09 c #Conflicts: 359000 | #Constraints: 18596
347.00/348.09 c #Conflicts: 360000 | #Constraints: 19596
428.24/429.58 c #Conflicts: 361000 | #Constraints: 20596
428.24/429.58 c #Conflicts: 362000 | #Constraints: 21596
428.24/429.58 c #Conflicts: 363000 | #Constraints: 22596
428.24/429.58 c #Conflicts: 364000 | #Constraints: 23596
428.24/429.58 c #Conflicts: 365000 | #Constraints: 24596
428.24/429.58 c #Conflicts: 366000 | #Constraints: 25596
428.24/429.58 c #Conflicts: 367000 | #Constraints: 26596
428.24/429.58 c #Conflicts: 368000 | #Constraints: 27596
428.24/429.58 c #Conflicts: 369000 | #Constraints: 28596
428.24/429.58 c INPROCESSING
428.24/429.58 c GARBAGE COLLECT
428.24/429.58 c #Conflicts: 370000 | #Constraints: 17596
428.24/429.58 c #Conflicts: 371000 | #Constraints: 18596
428.24/429.58 c #Conflicts: 372000 | #Constraints: 19596
428.24/429.58 c #Conflicts: 373000 | #Constraints: 20596
428.24/429.58 c #Conflicts: 374000 | #Constraints: 21596
428.24/429.58 c #Conflicts: 375000 | #Constraints: 22596
428.24/429.58 c #Conflicts: 376000 | #Constraints: 23596
428.24/429.58 c #Conflicts: 377000 | #Constraints: 24596
428.24/429.58 c #Conflicts: 378000 | #Constraints: 25596
428.24/429.58 c #Conflicts: 379000 | #Constraints: 26596
428.24/429.58 c #Conflicts: 380000 | #Constraints: 27596
428.24/429.58 c #Conflicts: 381000 | #Constraints: 28596
428.24/429.58 c INPROCESSING
428.24/429.58 c GARBAGE COLLECT
428.24/429.58 c #Conflicts: 382000 | #Constraints: 17390
428.24/429.58 c #Conflicts: 383000 | #Constraints: 18390
428.24/429.58 c #Conflicts: 384000 | #Constraints: 19390
428.24/429.58 c #Conflicts: 385000 | #Constraints: 20390
428.24/429.58 c #Conflicts: 386000 | #Constraints: 21390
428.24/429.58 c #Conflicts: 387000 | #Constraints: 22390
428.24/429.58 c #Conflicts: 388000 | #Constraints: 23390
428.24/429.58 c #Conflicts: 389000 | #Constraints: 24390
428.24/429.58 c #Conflicts: 390000 | #Constraints: 25390
428.24/429.58 c #Conflicts: 391000 | #Constraints: 26390
428.24/429.58 c #Conflicts: 392000 | #Constraints: 27390
428.24/429.58 c #Conflicts: 393000 | #Constraints: 28390
428.24/429.58 c #Conflicts: 394000 | #Constraints: 29390
428.24/429.58 c INPROCESSING
428.24/429.58 c GARBAGE COLLECT
428.24/429.58 c #Conflicts: 395000 | #Constraints: 17995
428.24/429.58 c #Conflicts: 396000 | #Constraints: 18995
428.24/429.58 c #Conflicts: 397000 | #Constraints: 19995
428.24/429.58 c #Conflicts: 398000 | #Constraints: 20995
428.24/429.58 c #Conflicts: 399000 | #Constraints: 21995
428.24/429.58 c #Conflicts: 400000 | #Constraints: 22995
428.24/429.58 c #Conflicts: 401000 | #Constraints: 23995
428.24/429.58 c #Conflicts: 402000 | #Constraints: 24995
428.24/429.58 c #Conflicts: 403000 | #Constraints: 25995
428.24/429.58 c #Conflicts: 404000 | #Constraints: 26995
428.24/429.58 c #Conflicts: 405000 | #Constraints: 27995
428.24/429.58 c #Conflicts: 406000 | #Constraints: 28995
428.24/429.58 c #Conflicts: 407000 | #Constraints: 29995
428.24/429.58 c INPROCESSING
428.24/429.58 c GARBAGE COLLECT
428.24/429.58 c #Conflicts: 408000 | #Constraints: 18395
428.24/429.58 c #Conflicts: 409000 | #Constraints: 19395
428.24/429.58 c #Conflicts: 410000 | #Constraints: 20395
428.24/429.58 c #Conflicts: 411000 | #Constraints: 21395
428.24/429.58 c #Conflicts: 412000 | #Constraints: 22395
428.24/429.58 c #Conflicts: 413000 | #Constraints: 23395
428.24/429.58 c #Conflicts: 414000 | #Constraints: 24395
428.24/429.58 c #Conflicts: 415000 | #Constraints: 25395
428.24/429.58 c #Conflicts: 416000 | #Constraints: 26395
428.24/429.58 c #Conflicts: 417000 | #Constraints: 27395
428.24/429.58 c #Conflicts: 418000 | #Constraints: 28395
428.24/429.58 c #Conflicts: 419000 | #Constraints: 29395
428.24/429.58 c #Conflicts: 420000 | #Constraints: 30395
428.24/429.58 c INPROCESSING
428.24/429.58 c GARBAGE COLLECT
428.24/429.58 c #Conflicts: 421000 | #Constraints: 18600
428.24/429.58 c #Conflicts: 422000 | #Constraints: 19600
428.24/429.58 c #Conflicts: 423000 | #Constraints: 20600
428.24/429.58 c #Conflicts: 424000 | #Constraints: 21600
428.24/429.58 c #Conflicts: 425000 | #Constraints: 22600
428.24/429.58 c #Conflicts: 426000 | #Constraints: 23600
428.24/429.58 c #Conflicts: 427000 | #Constraints: 24600
428.24/429.58 c #Conflicts: 428000 | #Constraints: 25600
428.24/429.58 c #Conflicts: 429000 | #Constraints: 26600
428.24/429.58 c #Conflicts: 430000 | #Constraints: 27600
428.24/429.58 c #Conflicts: 431000 | #Constraints: 28600
428.24/429.58 c #Conflicts: 432000 | #Constraints: 29600
428.24/429.58 c #Conflicts: 433000 | #Constraints: 30600
428.24/429.58 c INPROCESSING
428.24/429.58 c GARBAGE COLLECT
428.24/429.58 c #Conflicts: 434000 | #Constraints: 18595
428.24/429.58 c #Conflicts: 435000 | #Constraints: 19595
517.28/518.86 c #Conflicts: 436000 | #Constraints: 20595
517.28/518.86 c #Conflicts: 437000 | #Constraints: 21595
517.28/518.86 c #Conflicts: 438000 | #Constraints: 22595
517.28/518.86 c #Conflicts: 439000 | #Constraints: 23595
517.28/518.86 c #Conflicts: 440000 | #Constraints: 24595
517.28/518.86 c #Conflicts: 441000 | #Constraints: 25595
517.28/518.86 c #Conflicts: 442000 | #Constraints: 26595
517.28/518.86 c #Conflicts: 443000 | #Constraints: 27595
517.28/518.86 c #Conflicts: 444000 | #Constraints: 28595
517.28/518.86 c #Conflicts: 445000 | #Constraints: 29595
517.28/518.86 c #Conflicts: 446000 | #Constraints: 30595
517.28/518.86 c INPROCESSING
517.28/518.86 c GARBAGE COLLECT
517.28/518.86 c #Conflicts: 447000 | #Constraints: 18396
517.28/518.86 c #Conflicts: 448000 | #Constraints: 19396
517.28/518.86 c #Conflicts: 449000 | #Constraints: 20396
517.28/518.86 c #Conflicts: 450000 | #Constraints: 21396
517.28/518.86 c #Conflicts: 451000 | #Constraints: 22396
517.28/518.86 c #Conflicts: 452000 | #Constraints: 23396
517.28/518.86 c #Conflicts: 453000 | #Constraints: 24396
517.28/518.86 c #Conflicts: 454000 | #Constraints: 25396
517.28/518.86 c #Conflicts: 455000 | #Constraints: 26396
517.28/518.86 c #Conflicts: 456000 | #Constraints: 27396
517.28/518.86 c #Conflicts: 457000 | #Constraints: 28396
517.28/518.86 c #Conflicts: 458000 | #Constraints: 29396
517.28/518.86 c #Conflicts: 459000 | #Constraints: 30396
517.28/518.86 c #Conflicts: 460000 | #Constraints: 31396
517.28/518.86 c INPROCESSING
517.28/518.86 c GARBAGE COLLECT
517.28/518.86 c #Conflicts: 461000 | #Constraints: 18994
517.28/518.86 c #Conflicts: 462000 | #Constraints: 19994
517.28/518.86 c #Conflicts: 463000 | #Constraints: 20994
517.28/518.86 c #Conflicts: 464000 | #Constraints: 21994
517.28/518.86 c #Conflicts: 465000 | #Constraints: 22994
517.28/518.86 c #Conflicts: 466000 | #Constraints: 23994
517.28/518.86 c #Conflicts: 467000 | #Constraints: 24994
517.28/518.86 c #Conflicts: 468000 | #Constraints: 25994
517.28/518.86 c #Conflicts: 469000 | #Constraints: 26994
517.28/518.86 c #Conflicts: 470000 | #Constraints: 27994
517.28/518.86 c #Conflicts: 471000 | #Constraints: 28994
517.28/518.86 c #Conflicts: 472000 | #Constraints: 29994
517.28/518.86 c #Conflicts: 473000 | #Constraints: 30994
517.28/518.86 c #Conflicts: 474000 | #Constraints: 31994
517.28/518.86 c INPROCESSING
517.28/518.86 c GARBAGE COLLECT
517.28/518.86 c #Conflicts: 475000 | #Constraints: 19397
517.28/518.86 c #Conflicts: 476000 | #Constraints: 20397
517.28/518.86 c #Conflicts: 477000 | #Constraints: 21397
517.28/518.86 c #Conflicts: 478000 | #Constraints: 22397
517.28/518.86 c #Conflicts: 479000 | #Constraints: 23397
517.28/518.86 c #Conflicts: 480000 | #Constraints: 24397
517.28/518.86 c #Conflicts: 481000 | #Constraints: 25397
517.28/518.86 c #Conflicts: 482000 | #Constraints: 26397
517.28/518.86 c #Conflicts: 483000 | #Constraints: 27397
517.28/518.86 c #Conflicts: 484000 | #Constraints: 28397
517.28/518.86 c #Conflicts: 485000 | #Constraints: 29397
517.28/518.86 c #Conflicts: 486000 | #Constraints: 30397
517.28/518.86 c #Conflicts: 487000 | #Constraints: 31397
517.28/518.86 c #Conflicts: 488000 | #Constraints: 32397
517.28/518.86 c INPROCESSING
517.28/518.86 c GARBAGE COLLECT
517.28/518.86 c #Conflicts: 489000 | #Constraints: 19598
517.28/518.86 c #Conflicts: 490000 | #Constraints: 20598
517.28/518.86 c #Conflicts: 491000 | #Constraints: 21598
517.28/518.86 c #Conflicts: 492000 | #Constraints: 22598
517.28/518.86 c #Conflicts: 493000 | #Constraints: 23598
517.28/518.86 c #Conflicts: 494000 | #Constraints: 24598
517.28/518.86 c #Conflicts: 495000 | #Constraints: 25598
517.28/518.86 c #Conflicts: 496000 | #Constraints: 26598
517.28/518.86 c #Conflicts: 497000 | #Constraints: 27598
517.28/518.86 c #Conflicts: 498000 | #Constraints: 28598
517.28/518.86 c #Conflicts: 499000 | #Constraints: 29598
517.28/518.86 c #Conflicts: 500000 | #Constraints: 30598
517.28/518.86 c #Conflicts: 501000 | #Constraints: 31598
517.28/518.86 c #Conflicts: 502000 | #Constraints: 32598
517.28/518.86 c INPROCESSING
517.28/518.86 c GARBAGE COLLECT
517.28/518.86 c #Conflicts: 503000 | #Constraints: 19601
517.28/518.86 c #Conflicts: 504000 | #Constraints: 20601
517.28/518.86 c #Conflicts: 505000 | #Constraints: 21601
517.28/518.86 c #Conflicts: 506000 | #Constraints: 22601
517.28/518.86 c #Conflicts: 507000 | #Constraints: 23601
517.28/518.86 c #Conflicts: 508000 | #Constraints: 24601
517.28/518.86 c #Conflicts: 509000 | #Constraints: 25601
517.28/518.86 c #Conflicts: 510000 | #Constraints: 26601
517.28/518.86 c #Conflicts: 511000 | #Constraints: 27601
605.53/607.35 c #Conflicts: 512000 | #Constraints: 28601
605.53/607.35 c #Conflicts: 513000 | #Constraints: 29601
605.53/607.35 c #Conflicts: 514000 | #Constraints: 30601
605.53/607.35 c #Conflicts: 515000 | #Constraints: 31601
605.53/607.35 c #Conflicts: 516000 | #Constraints: 32601
605.53/607.35 c INPROCESSING
605.53/607.35 c GARBAGE COLLECT
605.53/607.35 c #Conflicts: 517000 | #Constraints: 19389
605.53/607.35 c #Conflicts: 518000 | #Constraints: 20389
605.53/607.35 c #Conflicts: 519000 | #Constraints: 21389
605.53/607.35 c #Conflicts: 520000 | #Constraints: 22389
605.53/607.35 c #Conflicts: 521000 | #Constraints: 23389
605.53/607.35 c #Conflicts: 522000 | #Constraints: 24389
605.53/607.35 c #Conflicts: 523000 | #Constraints: 25389
605.53/607.35 c #Conflicts: 524000 | #Constraints: 26389
605.53/607.35 c #Conflicts: 525000 | #Constraints: 27389
605.53/607.35 c #Conflicts: 526000 | #Constraints: 28389
605.53/607.35 c #Conflicts: 527000 | #Constraints: 29389
605.53/607.35 c #Conflicts: 528000 | #Constraints: 30389
605.53/607.35 c #Conflicts: 529000 | #Constraints: 31389
605.53/607.35 c #Conflicts: 530000 | #Constraints: 32389
605.53/607.35 c #Conflicts: 531000 | #Constraints: 33389
605.53/607.35 c INPROCESSING
605.53/607.35 c GARBAGE COLLECT
605.53/607.35 c #Conflicts: 532000 | #Constraints: 19990
605.53/607.35 c #Conflicts: 533000 | #Constraints: 20990
605.53/607.35 c #Conflicts: 534000 | #Constraints: 21990
605.53/607.35 c #Conflicts: 535000 | #Constraints: 22990
605.53/607.35 c #Conflicts: 536000 | #Constraints: 23990
605.53/607.35 c #Conflicts: 537000 | #Constraints: 24990
605.53/607.35 c #Conflicts: 538000 | #Constraints: 25990
605.53/607.35 c #Conflicts: 539000 | #Constraints: 26990
605.53/607.35 c #Conflicts: 540000 | #Constraints: 27990
605.53/607.35 c #Conflicts: 541000 | #Constraints: 28990
605.53/607.35 c #Conflicts: 542000 | #Constraints: 29990
605.53/607.35 c #Conflicts: 543000 | #Constraints: 30990
605.53/607.35 c #Conflicts: 544000 | #Constraints: 31990
605.53/607.35 c #Conflicts: 545000 | #Constraints: 32990
605.53/607.35 c #Conflicts: 546000 | #Constraints: 33990
605.53/607.35 c INPROCESSING
605.53/607.35 c GARBAGE COLLECT
605.53/607.35 c #Conflicts: 547000 | #Constraints: 20389
605.53/607.35 c #Conflicts: 548000 | #Constraints: 21389
605.53/607.36 c #Conflicts: 549000 | #Constraints: 22389
605.53/607.36 c #Conflicts: 550000 | #Constraints: 23389
605.53/607.36 c #Conflicts: 551000 | #Constraints: 24389
605.53/607.36 c #Conflicts: 552000 | #Constraints: 25389
605.53/607.36 c #Conflicts: 553000 | #Constraints: 26389
605.53/607.36 c #Conflicts: 554000 | #Constraints: 27389
605.53/607.36 c #Conflicts: 555000 | #Constraints: 28389
605.53/607.36 c #Conflicts: 556000 | #Constraints: 29389
605.53/607.36 c #Conflicts: 557000 | #Constraints: 30389
605.53/607.36 c #Conflicts: 558000 | #Constraints: 31389
605.53/607.36 c #Conflicts: 559000 | #Constraints: 32389
605.53/607.36 c #Conflicts: 560000 | #Constraints: 33389
605.53/607.36 c #Conflicts: 561000 | #Constraints: 34389
605.53/607.36 c INPROCESSING
605.53/607.36 c GARBAGE COLLECT
605.53/607.36 c #Conflicts: 562000 | #Constraints: 20584
605.53/607.36 c #Conflicts: 563000 | #Constraints: 21584
605.53/607.36 c #Conflicts: 564000 | #Constraints: 22584
605.53/607.36 c #Conflicts: 565000 | #Constraints: 23584
605.53/607.36 c #Conflicts: 566000 | #Constraints: 24584
605.53/607.36 c #Conflicts: 567000 | #Constraints: 25584
605.53/607.36 c #Conflicts: 568000 | #Constraints: 26584
605.53/607.36 c #Conflicts: 569000 | #Constraints: 27584
605.53/607.36 c #Conflicts: 570000 | #Constraints: 28584
605.53/607.36 c #Conflicts: 571000 | #Constraints: 29584
605.53/607.36 c #Conflicts: 572000 | #Constraints: 30584
605.53/607.36 c #Conflicts: 573000 | #Constraints: 31584
605.53/607.36 c #Conflicts: 574000 | #Constraints: 32584
605.53/607.36 c #Conflicts: 575000 | #Constraints: 33584
605.53/607.36 c #Conflicts: 576000 | #Constraints: 34584
605.53/607.36 c INPROCESSING
605.53/607.36 c GARBAGE COLLECT
605.53/607.36 c #Conflicts: 577000 | #Constraints: 20592
605.53/607.36 c #Conflicts: 578000 | #Constraints: 21592
605.53/607.36 c #Conflicts: 579000 | #Constraints: 22592
605.53/607.36 c #Conflicts: 580000 | #Constraints: 23592
605.53/607.36 c #Conflicts: 581000 | #Constraints: 24592
605.53/607.36 c #Conflicts: 582000 | #Constraints: 25592
605.53/607.36 c #Conflicts: 583000 | #Constraints: 26592
605.53/607.36 c #Conflicts: 584000 | #Constraints: 27592
605.53/607.36 c #Conflicts: 585000 | #Constraints: 28592
605.53/607.36 c #Conflicts: 586000 | #Constraints: 29592
694.20/696.24 c #Conflicts: 587000 | #Constraints: 30592
694.20/696.24 c #Conflicts: 588000 | #Constraints: 31592
694.20/696.24 c #Conflicts: 589000 | #Constraints: 32592
694.20/696.24 c #Conflicts: 590000 | #Constraints: 33592
694.20/696.24 c #Conflicts: 591000 | #Constraints: 34592
694.20/696.24 c INPROCESSING
694.20/696.24 c GARBAGE COLLECT
694.20/696.24 c #Conflicts: 592000 | #Constraints: 20400
694.20/696.24 c #Conflicts: 593000 | #Constraints: 21400
694.20/696.24 c #Conflicts: 594000 | #Constraints: 22400
694.20/696.24 c #Conflicts: 595000 | #Constraints: 23400
694.20/696.24 c #Conflicts: 596000 | #Constraints: 24400
694.20/696.24 c #Conflicts: 597000 | #Constraints: 25400
694.20/696.24 c #Conflicts: 598000 | #Constraints: 26400
694.20/696.24 c #Conflicts: 599000 | #Constraints: 27400
694.20/696.24 c #Conflicts: 600000 | #Constraints: 28400
694.20/696.24 c #Conflicts: 601000 | #Constraints: 29400
694.20/696.24 c #Conflicts: 602000 | #Constraints: 30400
694.20/696.24 c #Conflicts: 603000 | #Constraints: 31400
694.20/696.24 c #Conflicts: 604000 | #Constraints: 32400
694.20/696.24 c #Conflicts: 605000 | #Constraints: 33400
694.20/696.24 c #Conflicts: 606000 | #Constraints: 34400
694.20/696.24 c #Conflicts: 607000 | #Constraints: 35400
694.20/696.24 c INPROCESSING
694.20/696.24 c GARBAGE COLLECT
694.20/696.24 c #Conflicts: 608000 | #Constraints: 20996
694.20/696.24 c #Conflicts: 609000 | #Constraints: 21996
694.20/696.24 c #Conflicts: 610000 | #Constraints: 22996
694.20/696.24 c #Conflicts: 611000 | #Constraints: 23996
694.20/696.24 c #Conflicts: 612000 | #Constraints: 24996
694.20/696.24 c #Conflicts: 613000 | #Constraints: 25996
694.20/696.24 c #Conflicts: 614000 | #Constraints: 26996
694.20/696.24 c #Conflicts: 615000 | #Constraints: 27996
694.20/696.24 c #Conflicts: 616000 | #Constraints: 28996
694.20/696.24 c #Conflicts: 617000 | #Constraints: 29996
694.20/696.24 c #Conflicts: 618000 | #Constraints: 30996
694.20/696.24 c #Conflicts: 619000 | #Constraints: 31996
694.20/696.24 c #Conflicts: 620000 | #Constraints: 32996
694.20/696.24 c #Conflicts: 621000 | #Constraints: 33996
694.20/696.24 c #Conflicts: 622000 | #Constraints: 34996
694.20/696.24 c #Conflicts: 623000 | #Constraints: 35996
694.20/696.24 c INPROCESSING
694.20/696.24 c GARBAGE COLLECT
694.20/696.24 c #Conflicts: 624000 | #Constraints: 21395
694.20/696.24 c #Conflicts: 625000 | #Constraints: 22395
694.20/696.24 c #Conflicts: 626000 | #Constraints: 23395
694.20/696.24 c #Conflicts: 627000 | #Constraints: 24395
694.20/696.24 c #Conflicts: 628000 | #Constraints: 25395
694.20/696.24 c #Conflicts: 629000 | #Constraints: 26395
694.20/696.24 c #Conflicts: 630000 | #Constraints: 27395
694.20/696.24 c #Conflicts: 631000 | #Constraints: 28395
694.20/696.24 c #Conflicts: 632000 | #Constraints: 29395
694.20/696.24 c #Conflicts: 633000 | #Constraints: 30395
694.20/696.24 c #Conflicts: 634000 | #Constraints: 31395
694.20/696.24 c #Conflicts: 635000 | #Constraints: 32395
694.20/696.24 c #Conflicts: 636000 | #Constraints: 33395
694.20/696.24 c #Conflicts: 637000 | #Constraints: 34395
694.20/696.24 c #Conflicts: 638000 | #Constraints: 35395
694.20/696.24 c #Conflicts: 639000 | #Constraints: 36395
694.20/696.24 c INPROCESSING
694.20/696.24 c GARBAGE COLLECT
694.20/696.24 c #Conflicts: 640000 | #Constraints: 21593
694.20/696.24 c #Conflicts: 641000 | #Constraints: 22593
694.20/696.24 c #Conflicts: 642000 | #Constraints: 23593
694.20/696.24 c #Conflicts: 643000 | #Constraints: 24593
694.20/696.24 c #Conflicts: 644000 | #Constraints: 25593
694.20/696.24 c #Conflicts: 645000 | #Constraints: 26593
694.20/696.24 c #Conflicts: 646000 | #Constraints: 27593
694.20/696.24 c #Conflicts: 647000 | #Constraints: 28593
694.20/696.24 c #Conflicts: 648000 | #Constraints: 29593
694.20/696.24 c #Conflicts: 649000 | #Constraints: 30593
694.20/696.24 c #Conflicts: 650000 | #Constraints: 31593
694.20/696.24 c #Conflicts: 651000 | #Constraints: 32593
694.20/696.24 c #Conflicts: 652000 | #Constraints: 33593
694.20/696.24 c #Conflicts: 653000 | #Constraints: 34593
694.20/696.24 c #Conflicts: 654000 | #Constraints: 35593
694.20/696.24 c #Conflicts: 655000 | #Constraints: 36593
694.20/696.24 c INPROCESSING
694.20/696.24 c GARBAGE COLLECT
694.20/696.24 c #Conflicts: 656000 | #Constraints: 21599
694.20/696.24 c #Conflicts: 657000 | #Constraints: 22599
694.20/696.24 c #Conflicts: 658000 | #Constraints: 23599
694.20/696.24 c #Conflicts: 659000 | #Constraints: 24599
694.20/696.24 c #Conflicts: 660000 | #Constraints: 25599
694.20/696.24 c #Conflicts: 661000 | #Constraints: 26599
694.20/696.24 c #Conflicts: 662000 | #Constraints: 27599
788.96/791.22 c #Conflicts: 663000 | #Constraints: 28599
788.96/791.22 c #Conflicts: 664000 | #Constraints: 29599
788.96/791.22 c #Conflicts: 665000 | #Constraints: 30599
788.96/791.22 c #Conflicts: 666000 | #Constraints: 31599
788.96/791.22 c #Conflicts: 667000 | #Constraints: 32599
788.96/791.22 c #Conflicts: 668000 | #Constraints: 33599
788.96/791.22 c #Conflicts: 669000 | #Constraints: 34599
788.96/791.22 c #Conflicts: 670000 | #Constraints: 35599
788.96/791.22 c #Conflicts: 671000 | #Constraints: 36599
788.96/791.22 c INPROCESSING
788.96/791.22 c GARBAGE COLLECT
788.96/791.22 c #Conflicts: 672000 | #Constraints: 21400
788.96/791.22 c #Conflicts: 673000 | #Constraints: 22400
788.96/791.22 c #Conflicts: 674000 | #Constraints: 23400
788.96/791.22 c #Conflicts: 675000 | #Constraints: 24400
788.96/791.22 c #Conflicts: 676000 | #Constraints: 25400
788.96/791.22 c #Conflicts: 677000 | #Constraints: 26400
788.96/791.22 c #Conflicts: 678000 | #Constraints: 27400
788.96/791.22 c #Conflicts: 679000 | #Constraints: 28400
788.96/791.22 c #Conflicts: 680000 | #Constraints: 29400
788.96/791.22 c #Conflicts: 681000 | #Constraints: 30400
788.96/791.22 c #Conflicts: 682000 | #Constraints: 31400
788.96/791.22 c #Conflicts: 683000 | #Constraints: 32400
788.96/791.22 c #Conflicts: 684000 | #Constraints: 33400
788.96/791.22 c #Conflicts: 685000 | #Constraints: 34400
788.96/791.22 c #Conflicts: 686000 | #Constraints: 35400
788.96/791.22 c #Conflicts: 687000 | #Constraints: 36400
788.96/791.22 c #Conflicts: 688000 | #Constraints: 37400
788.96/791.22 c INPROCESSING
788.96/791.22 c GARBAGE COLLECT
788.96/791.22 c #Conflicts: 689000 | #Constraints: 21995
788.96/791.22 c #Conflicts: 690000 | #Constraints: 22995
788.96/791.22 c #Conflicts: 691000 | #Constraints: 23995
788.96/791.22 c #Conflicts: 692000 | #Constraints: 24995
788.96/791.22 c #Conflicts: 693000 | #Constraints: 25995
788.96/791.22 c #Conflicts: 694000 | #Constraints: 26995
788.96/791.22 c #Conflicts: 695000 | #Constraints: 27995
788.96/791.22 c #Conflicts: 696000 | #Constraints: 28995
788.96/791.22 c #Conflicts: 697000 | #Constraints: 29995
788.96/791.22 c #Conflicts: 698000 | #Constraints: 30995
788.96/791.22 c #Conflicts: 699000 | #Constraints: 31995
788.96/791.22 c #Conflicts: 700000 | #Constraints: 32995
788.96/791.22 c #Conflicts: 701000 | #Constraints: 33995
788.96/791.22 c #Conflicts: 702000 | #Constraints: 34995
788.96/791.22 c #Conflicts: 703000 | #Constraints: 35995
788.96/791.22 c #Conflicts: 704000 | #Constraints: 36995
788.96/791.22 c #Conflicts: 705000 | #Constraints: 37995
788.96/791.22 c INPROCESSING
788.96/791.22 c GARBAGE COLLECT
788.96/791.22 c #Conflicts: 706000 | #Constraints: 22402
788.96/791.22 c #Conflicts: 707000 | #Constraints: 23402
788.96/791.22 c #Conflicts: 708000 | #Constraints: 24402
788.96/791.22 c #Conflicts: 709000 | #Constraints: 25402
788.96/791.22 c #Conflicts: 710000 | #Constraints: 26402
788.96/791.22 c #Conflicts: 711000 | #Constraints: 27402
788.96/791.22 c #Conflicts: 712000 | #Constraints: 28402
788.96/791.22 c #Conflicts: 713000 | #Constraints: 29402
788.96/791.22 c #Conflicts: 714000 | #Constraints: 30402
788.96/791.22 c #Conflicts: 715000 | #Constraints: 31402
788.96/791.22 c #Conflicts: 716000 | #Constraints: 32402
788.96/791.22 c #Conflicts: 717000 | #Constraints: 33402
788.96/791.22 c #Conflicts: 718000 | #Constraints: 34402
788.96/791.22 c #Conflicts: 719000 | #Constraints: 35402
788.96/791.22 c #Conflicts: 720000 | #Constraints: 36402
788.96/791.22 c #Conflicts: 721000 | #Constraints: 37402
788.96/791.22 c #Conflicts: 722000 | #Constraints: 38402
788.96/791.22 c INPROCESSING
788.96/791.22 c GARBAGE COLLECT
788.96/791.22 c #Conflicts: 723000 | #Constraints: 22603
788.96/791.22 c #Conflicts: 724000 | #Constraints: 23603
788.96/791.22 c #Conflicts: 725000 | #Constraints: 24603
788.96/791.22 c #Conflicts: 726000 | #Constraints: 25603
788.96/791.22 c #Conflicts: 727000 | #Constraints: 26603
788.96/791.22 c #Conflicts: 728000 | #Constraints: 27603
788.96/791.22 c #Conflicts: 729000 | #Constraints: 28603
788.96/791.22 c #Conflicts: 730000 | #Constraints: 29603
788.96/791.22 c #Conflicts: 731000 | #Constraints: 30603
788.96/791.22 c #Conflicts: 732000 | #Constraints: 31603
788.96/791.22 c #Conflicts: 733000 | #Constraints: 32603
788.96/791.22 c #Conflicts: 734000 | #Constraints: 33603
788.96/791.22 c #Conflicts: 735000 | #Constraints: 34603
788.96/791.22 c #Conflicts: 736000 | #Constraints: 35603
788.96/791.22 c #Conflicts: 737000 | #Constraints: 36603
788.96/791.22 c #Conflicts: 738000 | #Constraints: 37603
889.51/892.09 c #Conflicts: 739000 | #Constraints: 38603
889.51/892.09 c INPROCESSING
889.51/892.09 c GARBAGE COLLECT
889.51/892.09 c #Conflicts: 740000 | #Constraints: 22603
889.51/892.09 c #Conflicts: 741000 | #Constraints: 23603
889.51/892.09 c #Conflicts: 742000 | #Constraints: 24603
889.51/892.09 c #Conflicts: 743000 | #Constraints: 25603
889.51/892.09 c #Conflicts: 744000 | #Constraints: 26603
889.51/892.09 c #Conflicts: 745000 | #Constraints: 27603
889.51/892.09 c #Conflicts: 746000 | #Constraints: 28603
889.51/892.09 c #Conflicts: 747000 | #Constraints: 29603
889.51/892.09 c #Conflicts: 748000 | #Constraints: 30603
889.51/892.09 c #Conflicts: 749000 | #Constraints: 31603
889.51/892.09 c #Conflicts: 750000 | #Constraints: 32603
889.51/892.09 c #Conflicts: 751000 | #Constraints: 33603
889.51/892.09 c #Conflicts: 752000 | #Constraints: 34603
889.51/892.09 c #Conflicts: 753000 | #Constraints: 35603
889.51/892.09 c #Conflicts: 754000 | #Constraints: 36603
889.51/892.09 c #Conflicts: 755000 | #Constraints: 37603
889.51/892.09 c #Conflicts: 756000 | #Constraints: 38603
889.51/892.09 c INPROCESSING
889.51/892.09 c GARBAGE COLLECT
889.51/892.09 c #Conflicts: 757000 | #Constraints: 22402
889.51/892.09 c #Conflicts: 758000 | #Constraints: 23402
889.51/892.09 c #Conflicts: 759000 | #Constraints: 24402
889.51/892.09 c #Conflicts: 760000 | #Constraints: 25402
889.51/892.09 c #Conflicts: 761000 | #Constraints: 26402
889.51/892.09 c #Conflicts: 762000 | #Constraints: 27402
889.51/892.09 c #Conflicts: 763000 | #Constraints: 28402
889.51/892.09 c #Conflicts: 764000 | #Constraints: 29402
889.51/892.09 c #Conflicts: 765000 | #Constraints: 30402
889.51/892.09 c #Conflicts: 766000 | #Constraints: 31402
889.51/892.09 c #Conflicts: 767000 | #Constraints: 32402
889.51/892.09 c #Conflicts: 768000 | #Constraints: 33402
889.51/892.09 c #Conflicts: 769000 | #Constraints: 34402
889.51/892.09 c #Conflicts: 770000 | #Constraints: 35402
889.51/892.09 c #Conflicts: 771000 | #Constraints: 36402
889.51/892.09 c #Conflicts: 772000 | #Constraints: 37402
889.51/892.09 c #Conflicts: 773000 | #Constraints: 38402
889.51/892.09 c #Conflicts: 774000 | #Constraints: 39402
889.51/892.09 c INPROCESSING
889.51/892.09 c GARBAGE COLLECT
889.51/892.09 c #Conflicts: 775000 | #Constraints: 22990
889.51/892.09 c #Conflicts: 776000 | #Constraints: 23990
889.51/892.09 c #Conflicts: 777000 | #Constraints: 24990
889.51/892.09 c #Conflicts: 778000 | #Constraints: 25990
889.51/892.09 c #Conflicts: 779000 | #Constraints: 26990
889.51/892.09 c #Conflicts: 780000 | #Constraints: 27990
889.51/892.09 c #Conflicts: 781000 | #Constraints: 28990
889.51/892.09 c #Conflicts: 782000 | #Constraints: 29990
889.51/892.09 c #Conflicts: 783000 | #Constraints: 30990
889.51/892.09 c #Conflicts: 784000 | #Constraints: 31990
889.51/892.09 c #Conflicts: 785000 | #Constraints: 32990
889.51/892.09 c #Conflicts: 786000 | #Constraints: 33990
889.51/892.09 c #Conflicts: 787000 | #Constraints: 34990
889.51/892.09 c #Conflicts: 788000 | #Constraints: 35990
889.51/892.09 c #Conflicts: 789000 | #Constraints: 36990
889.51/892.09 c #Conflicts: 790000 | #Constraints: 37990
889.51/892.09 c #Conflicts: 791000 | #Constraints: 38990
889.51/892.09 c #Conflicts: 792000 | #Constraints: 39990
889.51/892.09 c INPROCESSING
889.51/892.09 c GARBAGE COLLECT
889.51/892.09 c #Conflicts: 793000 | #Constraints: 23403
889.51/892.09 c #Conflicts: 794000 | #Constraints: 24403
889.51/892.09 c #Conflicts: 795000 | #Constraints: 25403
889.51/892.09 c #Conflicts: 796000 | #Constraints: 26403
889.51/892.09 c #Conflicts: 797000 | #Constraints: 27403
889.51/892.09 c #Conflicts: 798000 | #Constraints: 28403
889.51/892.09 c #Conflicts: 799000 | #Constraints: 29403
889.51/892.09 c #Conflicts: 800000 | #Constraints: 30403
889.51/892.09 c #Conflicts: 801000 | #Constraints: 31403
889.51/892.09 c #Conflicts: 802000 | #Constraints: 32403
889.51/892.09 c #Conflicts: 803000 | #Constraints: 33403
889.51/892.09 c #Conflicts: 804000 | #Constraints: 34403
889.51/892.09 c #Conflicts: 805000 | #Constraints: 35403
889.51/892.09 c #Conflicts: 806000 | #Constraints: 36403
889.51/892.09 c #Conflicts: 807000 | #Constraints: 37403
889.51/892.09 c #Conflicts: 808000 | #Constraints: 38403
889.51/892.09 c #Conflicts: 809000 | #Constraints: 39403
889.51/892.09 c #Conflicts: 810000 | #Constraints: 40403
889.51/892.09 c INPROCESSING
889.51/892.09 c GARBAGE COLLECT
889.51/892.09 c #Conflicts: 811000 | #Constraints: 23599
889.51/892.09 c #Conflicts: 812000 | #Constraints: 24599
889.51/892.09 c #Conflicts: 813000 | #Constraints: 25599
889.51/892.09 c #Conflicts: 814000 | #Constraints: 26599
994.02/996.86 c #Conflicts: 815000 | #Constraints: 27599
994.02/996.86 c #Conflicts: 816000 | #Constraints: 28599
994.02/996.86 c #Conflicts: 817000 | #Constraints: 29599
994.02/996.86 c #Conflicts: 818000 | #Constraints: 30599
994.02/996.86 c #Conflicts: 819000 | #Constraints: 31599
994.02/996.86 c #Conflicts: 820000 | #Constraints: 32599
994.02/996.86 c #Conflicts: 821000 | #Constraints: 33599
994.02/996.86 c #Conflicts: 822000 | #Constraints: 34599
994.02/996.86 c #Conflicts: 823000 | #Constraints: 35599
994.02/996.86 c #Conflicts: 824000 | #Constraints: 36599
994.02/996.86 c #Conflicts: 825000 | #Constraints: 37599
994.02/996.86 c #Conflicts: 826000 | #Constraints: 38599
994.02/996.86 c #Conflicts: 827000 | #Constraints: 39599
994.02/996.86 c #Conflicts: 828000 | #Constraints: 40599
994.02/996.86 c INPROCESSING
994.02/996.86 c GARBAGE COLLECT
994.02/996.86 c #Conflicts: 829000 | #Constraints: 23609
994.02/996.86 c #Conflicts: 830000 | #Constraints: 24609
994.02/996.86 c #Conflicts: 831000 | #Constraints: 25609
994.02/996.86 c #Conflicts: 832000 | #Constraints: 26609
994.02/996.86 c #Conflicts: 833000 | #Constraints: 27609
994.02/996.86 c #Conflicts: 834000 | #Constraints: 28609
994.02/996.86 c #Conflicts: 835000 | #Constraints: 29609
994.02/996.86 c #Conflicts: 836000 | #Constraints: 30609
994.02/996.86 c #Conflicts: 837000 | #Constraints: 31609
994.02/996.86 c #Conflicts: 838000 | #Constraints: 32609
994.02/996.86 c #Conflicts: 839000 | #Constraints: 33609
994.02/996.86 c #Conflicts: 840000 | #Constraints: 34609
994.02/996.86 c #Conflicts: 841000 | #Constraints: 35609
994.02/996.86 c #Conflicts: 842000 | #Constraints: 36609
994.02/996.86 c #Conflicts: 843000 | #Constraints: 37609
994.02/996.86 c #Conflicts: 844000 | #Constraints: 38609
994.02/996.86 c #Conflicts: 845000 | #Constraints: 39609
994.02/996.86 c #Conflicts: 846000 | #Constraints: 40609
994.02/996.86 c INPROCESSING
994.02/996.86 c GARBAGE COLLECT
994.02/996.86 c #Conflicts: 847000 | #Constraints: 23409
994.02/996.86 c #Conflicts: 848000 | #Constraints: 24409
994.02/996.86 c #Conflicts: 849000 | #Constraints: 25409
994.02/996.86 c #Conflicts: 850000 | #Constraints: 26409
994.02/996.86 c #Conflicts: 851000 | #Constraints: 27409
994.02/996.86 c #Conflicts: 852000 | #Constraints: 28409
994.02/996.86 c #Conflicts: 853000 | #Constraints: 29409
994.02/996.86 c #Conflicts: 854000 | #Constraints: 30409
994.02/996.86 c #Conflicts: 855000 | #Constraints: 31409
994.02/996.86 c #Conflicts: 856000 | #Constraints: 32409
994.02/996.86 c #Conflicts: 857000 | #Constraints: 33409
994.02/996.86 c #Conflicts: 858000 | #Constraints: 34409
994.02/996.86 c #Conflicts: 859000 | #Constraints: 35409
994.02/996.86 c #Conflicts: 860000 | #Constraints: 36409
994.02/996.86 c #Conflicts: 861000 | #Constraints: 37409
994.02/996.86 c #Conflicts: 862000 | #Constraints: 38409
994.02/996.86 c #Conflicts: 863000 | #Constraints: 39409
994.02/996.86 c #Conflicts: 864000 | #Constraints: 40409
994.02/996.86 c #Conflicts: 865000 | #Constraints: 41409
994.02/996.86 c INPROCESSING
994.02/996.86 c GARBAGE COLLECT
994.02/996.86 c #Conflicts: 866000 | #Constraints: 24005
994.02/996.86 c #Conflicts: 867000 | #Constraints: 25005
994.02/996.86 c #Conflicts: 868000 | #Constraints: 26005
994.02/996.86 c #Conflicts: 869000 | #Constraints: 27005
994.02/996.86 c #Conflicts: 870000 | #Constraints: 28005
994.02/996.86 c #Conflicts: 871000 | #Constraints: 29005
994.02/996.86 c #Conflicts: 872000 | #Constraints: 30005
994.02/996.86 c #Conflicts: 873000 | #Constraints: 31005
994.02/996.86 c #Conflicts: 874000 | #Constraints: 32005
994.02/996.86 c #Conflicts: 875000 | #Constraints: 33005
994.02/996.86 c #Conflicts: 876000 | #Constraints: 34005
994.02/996.86 c #Conflicts: 877000 | #Constraints: 35005
994.02/996.86 c #Conflicts: 878000 | #Constraints: 36005
994.02/996.86 c #Conflicts: 879000 | #Constraints: 37005
994.02/996.86 c #Conflicts: 880000 | #Constraints: 38005
994.02/996.86 c #Conflicts: 881000 | #Constraints: 39005
994.02/996.86 c #Conflicts: 882000 | #Constraints: 40005
994.02/996.86 c #Conflicts: 883000 | #Constraints: 41005
994.02/996.86 c #Conflicts: 884000 | #Constraints: 42005
994.02/996.86 c INPROCESSING
994.02/996.86 c GARBAGE COLLECT
994.02/996.86 c #Conflicts: 885000 | #Constraints: 24412
994.02/996.86 c #Conflicts: 886000 | #Constraints: 25412
994.02/996.86 c #Conflicts: 887000 | #Constraints: 26412
994.02/996.86 c #Conflicts: 888000 | #Constraints: 27412
994.02/996.86 c #Conflicts: 889000 | #Constraints: 28412
994.02/996.86 c #Conflicts: 890000 | #Constraints: 29412
1108.11/1111.24 c #Conflicts: 891000 | #Constraints: 30412
1108.11/1111.24 c #Conflicts: 892000 | #Constraints: 31412
1108.11/1111.24 c #Conflicts: 893000 | #Constraints: 32412
1108.11/1111.24 c #Conflicts: 894000 | #Constraints: 33412
1108.11/1111.24 c #Conflicts: 895000 | #Constraints: 34412
1108.11/1111.24 c #Conflicts: 896000 | #Constraints: 35412
1108.11/1111.24 c #Conflicts: 897000 | #Constraints: 36412
1108.11/1111.24 c #Conflicts: 898000 | #Constraints: 37412
1108.11/1111.24 c #Conflicts: 899000 | #Constraints: 38412
1108.11/1111.24 c #Conflicts: 900000 | #Constraints: 39412
1108.11/1111.24 c #Conflicts: 901000 | #Constraints: 40412
1108.11/1111.24 c #Conflicts: 902000 | #Constraints: 41412
1108.11/1111.24 c #Conflicts: 903000 | #Constraints: 42412
1108.11/1111.24 c INPROCESSING
1108.11/1111.24 c GARBAGE COLLECT
1108.11/1111.24 c #Conflicts: 904000 | #Constraints: 24606
1108.11/1111.24 c #Conflicts: 905000 | #Constraints: 25606
1108.11/1111.24 c #Conflicts: 906000 | #Constraints: 26606
1108.11/1111.24 c #Conflicts: 907000 | #Constraints: 27606
1108.11/1111.24 c #Conflicts: 908000 | #Constraints: 28606
1108.11/1111.24 c #Conflicts: 909000 | #Constraints: 29606
1108.11/1111.24 c #Conflicts: 910000 | #Constraints: 30606
1108.11/1111.24 c #Conflicts: 911000 | #Constraints: 31606
1108.11/1111.24 c #Conflicts: 912000 | #Constraints: 32606
1108.11/1111.24 c #Conflicts: 913000 | #Constraints: 33606
1108.11/1111.24 c #Conflicts: 914000 | #Constraints: 34606
1108.11/1111.24 c #Conflicts: 915000 | #Constraints: 35606
1108.11/1111.24 c #Conflicts: 916000 | #Constraints: 36606
1108.11/1111.24 c #Conflicts: 917000 | #Constraints: 37606
1108.11/1111.24 c #Conflicts: 918000 | #Constraints: 38606
1108.11/1111.24 c #Conflicts: 919000 | #Constraints: 39606
1108.11/1111.24 c #Conflicts: 920000 | #Constraints: 40606
1108.11/1111.24 c #Conflicts: 921000 | #Constraints: 41606
1108.11/1111.24 c #Conflicts: 922000 | #Constraints: 42606
1108.11/1111.24 c INPROCESSING
1108.11/1111.24 c GARBAGE COLLECT
1108.11/1111.24 c #Conflicts: 923000 | #Constraints: 24605
1108.11/1111.24 c #Conflicts: 924000 | #Constraints: 25605
1108.11/1111.24 c #Conflicts: 925000 | #Constraints: 26605
1108.11/1111.24 c #Conflicts: 926000 | #Constraints: 27605
1108.11/1111.24 c #Conflicts: 927000 | #Constraints: 28605
1108.11/1111.24 c #Conflicts: 928000 | #Constraints: 29605
1108.11/1111.24 c #Conflicts: 929000 | #Constraints: 30605
1108.11/1111.24 c #Conflicts: 930000 | #Constraints: 31605
1108.11/1111.24 c #Conflicts: 931000 | #Constraints: 32605
1108.11/1111.24 c #Conflicts: 932000 | #Constraints: 33605
1108.11/1111.24 c #Conflicts: 933000 | #Constraints: 34605
1108.11/1111.24 c #Conflicts: 934000 | #Constraints: 35605
1108.11/1111.24 c #Conflicts: 935000 | #Constraints: 36605
1108.11/1111.24 c #Conflicts: 936000 | #Constraints: 37605
1108.11/1111.24 c #Conflicts: 937000 | #Constraints: 38605
1108.11/1111.24 c #Conflicts: 938000 | #Constraints: 39605
1108.11/1111.24 c #Conflicts: 939000 | #Constraints: 40605
1108.11/1111.24 c #Conflicts: 940000 | #Constraints: 41605
1108.11/1111.24 c #Conflicts: 941000 | #Constraints: 42605
1108.11/1111.24 c INPROCESSING
1108.11/1111.24 c GARBAGE COLLECT
1108.11/1111.24 c #Conflicts: 942000 | #Constraints: 24406
1108.11/1111.24 c #Conflicts: 943000 | #Constraints: 25406
1108.11/1111.24 c #Conflicts: 944000 | #Constraints: 26406
1108.11/1111.24 c #Conflicts: 945000 | #Constraints: 27406
1108.11/1111.24 c #Conflicts: 946000 | #Constraints: 28406
1108.11/1111.24 c #Conflicts: 947000 | #Constraints: 29406
1108.11/1111.24 c #Conflicts: 948000 | #Constraints: 30406
1108.11/1111.24 c #Conflicts: 949000 | #Constraints: 31406
1108.11/1111.24 c #Conflicts: 950000 | #Constraints: 32406
1108.11/1111.24 c #Conflicts: 951000 | #Constraints: 33406
1108.11/1111.24 c #Conflicts: 952000 | #Constraints: 34406
1108.11/1111.24 c #Conflicts: 953000 | #Constraints: 35406
1108.11/1111.24 c #Conflicts: 954000 | #Constraints: 36406
1108.11/1111.24 c #Conflicts: 955000 | #Constraints: 37406
1108.11/1111.24 c #Conflicts: 956000 | #Constraints: 38406
1108.11/1111.24 c #Conflicts: 957000 | #Constraints: 39406
1108.11/1111.24 c #Conflicts: 958000 | #Constraints: 40406
1108.11/1111.24 c #Conflicts: 959000 | #Constraints: 41406
1108.11/1111.24 c #Conflicts: 960000 | #Constraints: 42406
1108.11/1111.24 c #Conflicts: 961000 | #Constraints: 43406
1108.11/1111.24 c INPROCESSING
1108.11/1111.24 c GARBAGE COLLECT
1108.11/1111.24 c #Conflicts: 962000 | #Constraints: 24994
1108.11/1111.24 c #Conflicts: 963000 | #Constraints: 25994
1108.11/1111.24 c #Conflicts: 964000 | #Constraints: 26994
1108.11/1111.24 c #Conflicts: 965000 | #Constraints: 27994
1108.11/1111.24 c #Conflicts: 966000 | #Constraints: 28994
1232.98/1236.41 c #Conflicts: 967000 | #Constraints: 29994
1232.98/1236.41 c #Conflicts: 968000 | #Constraints: 30994
1232.98/1236.41 c #Conflicts: 969000 | #Constraints: 31994
1232.98/1236.41 c #Conflicts: 970000 | #Constraints: 32994
1232.98/1236.41 c #Conflicts: 971000 | #Constraints: 33994
1232.98/1236.41 c #Conflicts: 972000 | #Constraints: 34994
1232.98/1236.41 c #Conflicts: 973000 | #Constraints: 35994
1232.98/1236.41 c #Conflicts: 974000 | #Constraints: 36994
1232.98/1236.41 c #Conflicts: 975000 | #Constraints: 37994
1232.98/1236.41 c #Conflicts: 976000 | #Constraints: 38994
1232.98/1236.41 c #Conflicts: 977000 | #Constraints: 39994
1232.98/1236.41 c #Conflicts: 978000 | #Constraints: 40994
1232.98/1236.41 c #Conflicts: 979000 | #Constraints: 41994
1232.98/1236.41 c #Conflicts: 980000 | #Constraints: 42994
1232.98/1236.41 c #Conflicts: 981000 | #Constraints: 43994
1232.98/1236.41 c INPROCESSING
1232.98/1236.41 c GARBAGE COLLECT
1232.98/1236.41 c #Conflicts: 982000 | #Constraints: 25403
1232.98/1236.41 c #Conflicts: 983000 | #Constraints: 26403
1232.98/1236.41 c #Conflicts: 984000 | #Constraints: 27403
1232.98/1236.41 c #Conflicts: 985000 | #Constraints: 28403
1232.98/1236.41 c #Conflicts: 986000 | #Constraints: 29403
1232.98/1236.41 c #Conflicts: 987000 | #Constraints: 30403
1232.98/1236.41 c #Conflicts: 988000 | #Constraints: 31403
1232.98/1236.41 c #Conflicts: 989000 | #Constraints: 32403
1232.98/1236.41 c #Conflicts: 990000 | #Constraints: 33403
1232.98/1236.41 c #Conflicts: 991000 | #Constraints: 34403
1232.98/1236.41 c #Conflicts: 992000 | #Constraints: 35403
1232.98/1236.41 c #Conflicts: 993000 | #Constraints: 36403
1232.98/1236.41 c #Conflicts: 994000 | #Constraints: 37403
1232.98/1236.41 c #Conflicts: 995000 | #Constraints: 38403
1232.98/1236.41 c #Conflicts: 996000 | #Constraints: 39403
1232.98/1236.41 c #Conflicts: 997000 | #Constraints: 40403
1232.98/1236.41 c #Conflicts: 998000 | #Constraints: 41403
1232.98/1236.41 c #Conflicts: 999000 | #Constraints: 42403
1232.98/1236.41 c #Conflicts: 1000000 | #Constraints: 43403
1232.98/1236.41 c #Conflicts: 1001000 | #Constraints: 44403
1232.98/1236.41 c INPROCESSING
1232.98/1236.41 c GARBAGE COLLECT
1232.98/1236.41 c #Conflicts: 1002000 | #Constraints: 25606
1232.98/1236.41 c #Conflicts: 1003000 | #Constraints: 26606
1232.98/1236.41 c #Conflicts: 1004000 | #Constraints: 27606
1232.98/1236.41 c #Conflicts: 1005000 | #Constraints: 28606
1232.98/1236.41 c #Conflicts: 1006000 | #Constraints: 29606
1232.98/1236.41 c #Conflicts: 1007000 | #Constraints: 30606
1232.98/1236.41 c #Conflicts: 1008000 | #Constraints: 31606
1232.98/1236.41 c #Conflicts: 1009000 | #Constraints: 32606
1232.98/1236.41 c #Conflicts: 1010000 | #Constraints: 33606
1232.98/1236.41 c #Conflicts: 1011000 | #Constraints: 34606
1232.98/1236.41 c #Conflicts: 1012000 | #Constraints: 35606
1232.98/1236.41 c #Conflicts: 1013000 | #Constraints: 36606
1232.98/1236.41 c #Conflicts: 1014000 | #Constraints: 37606
1232.98/1236.41 c #Conflicts: 1015000 | #Constraints: 38606
1232.98/1236.41 c #Conflicts: 1016000 | #Constraints: 39606
1232.98/1236.41 c #Conflicts: 1017000 | #Constraints: 40606
1232.98/1236.41 c #Conflicts: 1018000 | #Constraints: 41606
1232.98/1236.41 c #Conflicts: 1019000 | #Constraints: 42606
1232.98/1236.41 c #Conflicts: 1020000 | #Constraints: 43606
1232.98/1236.41 c #Conflicts: 1021000 | #Constraints: 44606
1232.98/1236.41 c INPROCESSING
1232.98/1236.41 c GARBAGE COLLECT
1232.98/1236.41 c #Conflicts: 1022000 | #Constraints: 25607
1232.98/1236.41 c #Conflicts: 1023000 | #Constraints: 26607
1232.98/1236.41 c #Conflicts: 1024000 | #Constraints: 27607
1232.98/1236.41 c #Conflicts: 1025000 | #Constraints: 28607
1232.98/1236.41 c #Conflicts: 1026000 | #Constraints: 29607
1232.98/1236.41 c #Conflicts: 1027000 | #Constraints: 30607
1232.98/1236.41 c #Conflicts: 1028000 | #Constraints: 31607
1232.98/1236.41 c #Conflicts: 1029000 | #Constraints: 32607
1232.98/1236.41 c #Conflicts: 1030000 | #Constraints: 33607
1232.98/1236.41 c #Conflicts: 1031000 | #Constraints: 34607
1232.98/1236.41 c #Conflicts: 1032000 | #Constraints: 35607
1232.98/1236.41 c #Conflicts: 1033000 | #Constraints: 36607
1232.98/1236.41 c #Conflicts: 1034000 | #Constraints: 37607
1232.98/1236.41 c #Conflicts: 1035000 | #Constraints: 38607
1232.98/1236.41 c #Conflicts: 1036000 | #Constraints: 39607
1232.98/1236.41 c #Conflicts: 1037000 | #Constraints: 40607
1232.98/1236.41 c #Conflicts: 1038000 | #Constraints: 41607
1232.98/1236.41 c #Conflicts: 1039000 | #Constraints: 42607
1232.98/1236.41 c #Conflicts: 1040000 | #Constraints: 43607
1232.98/1236.41 c #Conflicts: 1041000 | #Constraints: 44607
1232.98/1236.41 c INPROCESSING
1232.98/1236.41 c GARBAGE COLLECT
1232.98/1236.41 c #Conflicts: 1042000 | #Constraints: 25409
1232.98/1236.41 c #Conflicts: 1043000 | #Constraints: 26409
1364.42/1368.20 c #Conflicts: 1044000 | #Constraints: 27409
1364.42/1368.20 c #Conflicts: 1045000 | #Constraints: 28409
1364.42/1368.20 c #Conflicts: 1046000 | #Constraints: 29409
1364.42/1368.20 c #Conflicts: 1047000 | #Constraints: 30409
1364.42/1368.20 c #Conflicts: 1048000 | #Constraints: 31409
1364.42/1368.20 c #Conflicts: 1049000 | #Constraints: 32409
1364.42/1368.20 c #Conflicts: 1050000 | #Constraints: 33409
1364.42/1368.20 c #Conflicts: 1051000 | #Constraints: 34409
1364.42/1368.20 c #Conflicts: 1052000 | #Constraints: 35409
1364.42/1368.20 c #Conflicts: 1053000 | #Constraints: 36409
1364.42/1368.20 c #Conflicts: 1054000 | #Constraints: 37409
1364.42/1368.20 c #Conflicts: 1055000 | #Constraints: 38409
1364.42/1368.20 c #Conflicts: 1056000 | #Constraints: 39409
1364.42/1368.20 c #Conflicts: 1057000 | #Constraints: 40409
1364.42/1368.20 c #Conflicts: 1058000 | #Constraints: 41409
1364.42/1368.20 c #Conflicts: 1059000 | #Constraints: 42409
1364.42/1368.20 c #Conflicts: 1060000 | #Constraints: 43409
1364.42/1368.20 c #Conflicts: 1061000 | #Constraints: 44409
1364.42/1368.20 c #Conflicts: 1062000 | #Constraints: 45409
1364.42/1368.20 c INPROCESSING
1364.42/1368.20 c GARBAGE COLLECT
1364.42/1368.20 c #Conflicts: 1063000 | #Constraints: 26001
1364.42/1368.20 c #Conflicts: 1064000 | #Constraints: 27001
1364.42/1368.20 c #Conflicts: 1065000 | #Constraints: 28001
1364.42/1368.20 c #Conflicts: 1066000 | #Constraints: 29001
1364.42/1368.20 c #Conflicts: 1067000 | #Constraints: 30001
1364.42/1368.20 c #Conflicts: 1068000 | #Constraints: 31001
1364.42/1368.20 c #Conflicts: 1069000 | #Constraints: 32001
1364.42/1368.20 c #Conflicts: 1070000 | #Constraints: 33001
1364.42/1368.20 c #Conflicts: 1071000 | #Constraints: 34001
1364.42/1368.20 c #Conflicts: 1072000 | #Constraints: 35001
1364.42/1368.20 c #Conflicts: 1073000 | #Constraints: 36001
1364.42/1368.20 c #Conflicts: 1074000 | #Constraints: 37001
1364.42/1368.20 c #Conflicts: 1075000 | #Constraints: 38001
1364.42/1368.20 c #Conflicts: 1076000 | #Constraints: 39001
1364.42/1368.20 c #Conflicts: 1077000 | #Constraints: 40001
1364.42/1368.20 c #Conflicts: 1078000 | #Constraints: 41001
1364.42/1368.20 c #Conflicts: 1079000 | #Constraints: 42001
1364.42/1368.20 c #Conflicts: 1080000 | #Constraints: 43001
1364.42/1368.20 c #Conflicts: 1081000 | #Constraints: 44001
1364.42/1368.20 c #Conflicts: 1082000 | #Constraints: 45001
1364.42/1368.20 c #Conflicts: 1083000 | #Constraints: 46001
1364.42/1368.20 c INPROCESSING
1364.42/1368.20 c GARBAGE COLLECT
1364.42/1368.20 c #Conflicts: 1084000 | #Constraints: 26402
1364.42/1368.20 c #Conflicts: 1085000 | #Constraints: 27402
1364.42/1368.20 c #Conflicts: 1086000 | #Constraints: 28402
1364.42/1368.20 c #Conflicts: 1087000 | #Constraints: 29402
1364.42/1368.20 c #Conflicts: 1088000 | #Constraints: 30402
1364.42/1368.20 c #Conflicts: 1089000 | #Constraints: 31402
1364.42/1368.20 c #Conflicts: 1090000 | #Constraints: 32402
1364.42/1368.20 c #Conflicts: 1091000 | #Constraints: 33402
1364.42/1368.20 c #Conflicts: 1092000 | #Constraints: 34402
1364.42/1368.20 c #Conflicts: 1093000 | #Constraints: 35402
1364.42/1368.20 c #Conflicts: 1094000 | #Constraints: 36402
1364.42/1368.20 c #Conflicts: 1095000 | #Constraints: 37402
1364.42/1368.20 c #Conflicts: 1096000 | #Constraints: 38402
1364.42/1368.20 c #Conflicts: 1097000 | #Constraints: 39402
1364.42/1368.20 c #Conflicts: 1098000 | #Constraints: 40402
1364.42/1368.20 c #Conflicts: 1099000 | #Constraints: 41402
1364.42/1368.20 c #Conflicts: 1100000 | #Constraints: 42402
1364.42/1368.20 c #Conflicts: 1101000 | #Constraints: 43402
1364.42/1368.20 c #Conflicts: 1102000 | #Constraints: 44402
1364.42/1368.20 c #Conflicts: 1103000 | #Constraints: 45402
1364.42/1368.20 c #Conflicts: 1104000 | #Constraints: 46402
1364.42/1368.20 c INPROCESSING
1364.42/1368.20 c GARBAGE COLLECT
1364.42/1368.20 c #Conflicts: 1105000 | #Constraints: 26596
1364.42/1368.20 c #Conflicts: 1106000 | #Constraints: 27596
1364.42/1368.20 c #Conflicts: 1107000 | #Constraints: 28596
1364.42/1368.20 c #Conflicts: 1108000 | #Constraints: 29596
1364.42/1368.20 c #Conflicts: 1109000 | #Constraints: 30596
1364.42/1368.20 c #Conflicts: 1110000 | #Constraints: 31596
1364.42/1368.20 c #Conflicts: 1111000 | #Constraints: 32596
1364.42/1368.20 c #Conflicts: 1112000 | #Constraints: 33596
1364.42/1368.20 c #Conflicts: 1113000 | #Constraints: 34596
1364.42/1368.20 c #Conflicts: 1114000 | #Constraints: 35596
1364.42/1368.20 c #Conflicts: 1115000 | #Constraints: 36596
1364.42/1368.20 c #Conflicts: 1116000 | #Constraints: 37596
1364.42/1368.20 c #Conflicts: 1117000 | #Constraints: 38596
1364.42/1368.20 c #Conflicts: 1118000 | #Constraints: 39596
1364.42/1368.20 c #Conflicts: 1119000 | #Constraints: 40596
1508.52/1512.72 c #Conflicts: 1120000 | #Constraints: 41596
1508.52/1512.72 c #Conflicts: 1121000 | #Constraints: 42596
1508.52/1512.72 c #Conflicts: 1122000 | #Constraints: 43596
1508.52/1512.72 c #Conflicts: 1123000 | #Constraints: 44596
1508.52/1512.72 c #Conflicts: 1124000 | #Constraints: 45596
1508.52/1512.72 c #Conflicts: 1125000 | #Constraints: 46596
1508.52/1512.72 c INPROCESSING
1508.52/1512.72 c GARBAGE COLLECT
1508.52/1512.72 c #Conflicts: 1126000 | #Constraints: 26601
1508.52/1512.72 c #Conflicts: 1127000 | #Constraints: 27601
1508.52/1512.72 c #Conflicts: 1128000 | #Constraints: 28601
1508.52/1512.72 c #Conflicts: 1129000 | #Constraints: 29601
1508.52/1512.72 c #Conflicts: 1130000 | #Constraints: 30601
1508.52/1512.72 c #Conflicts: 1131000 | #Constraints: 31601
1508.52/1512.72 c #Conflicts: 1132000 | #Constraints: 32601
1508.52/1512.72 c #Conflicts: 1133000 | #Constraints: 33601
1508.52/1512.72 c #Conflicts: 1134000 | #Constraints: 34601
1508.52/1512.72 c #Conflicts: 1135000 | #Constraints: 35601
1508.52/1512.72 c #Conflicts: 1136000 | #Constraints: 36601
1508.52/1512.72 c #Conflicts: 1137000 | #Constraints: 37601
1508.52/1512.72 c #Conflicts: 1138000 | #Constraints: 38601
1508.52/1512.72 c #Conflicts: 1139000 | #Constraints: 39601
1508.52/1512.72 c #Conflicts: 1140000 | #Constraints: 40601
1508.52/1512.72 c #Conflicts: 1141000 | #Constraints: 41601
1508.52/1512.72 c #Conflicts: 1142000 | #Constraints: 42601
1508.52/1512.72 c #Conflicts: 1143000 | #Constraints: 43601
1508.52/1512.72 c #Conflicts: 1144000 | #Constraints: 44601
1508.52/1512.72 c #Conflicts: 1145000 | #Constraints: 45601
1508.52/1512.72 c #Conflicts: 1146000 | #Constraints: 46601
1508.52/1512.72 c INPROCESSING
1508.52/1512.72 c GARBAGE COLLECT
1508.52/1512.72 c #Conflicts: 1147000 | #Constraints: 26395
1508.52/1512.72 c #Conflicts: 1148000 | #Constraints: 27395
1508.52/1512.72 c #Conflicts: 1149000 | #Constraints: 28395
1508.52/1512.72 c #Conflicts: 1150000 | #Constraints: 29395
1508.52/1512.72 c #Conflicts: 1151000 | #Constraints: 30395
1508.52/1512.72 c #Conflicts: 1152000 | #Constraints: 31395
1508.52/1512.72 c #Conflicts: 1153000 | #Constraints: 32395
1508.52/1512.72 c #Conflicts: 1154000 | #Constraints: 33395
1508.52/1512.72 c #Conflicts: 1155000 | #Constraints: 34395
1508.52/1512.72 c #Conflicts: 1156000 | #Constraints: 35395
1508.52/1512.72 c #Conflicts: 1157000 | #Constraints: 36395
1508.52/1512.72 c #Conflicts: 1158000 | #Constraints: 37395
1508.52/1512.72 c #Conflicts: 1159000 | #Constraints: 38395
1508.52/1512.72 c #Conflicts: 1160000 | #Constraints: 39395
1508.52/1512.72 c #Conflicts: 1161000 | #Constraints: 40395
1508.52/1512.72 c #Conflicts: 1162000 | #Constraints: 41395
1508.52/1512.72 c #Conflicts: 1163000 | #Constraints: 42395
1508.52/1512.72 c #Conflicts: 1164000 | #Constraints: 43395
1508.52/1512.72 c #Conflicts: 1165000 | #Constraints: 44395
1508.52/1512.72 c #Conflicts: 1166000 | #Constraints: 45395
1508.52/1512.72 c #Conflicts: 1167000 | #Constraints: 46395
1508.52/1512.72 c #Conflicts: 1168000 | #Constraints: 47395
1508.52/1512.72 c INPROCESSING
1508.52/1512.72 c GARBAGE COLLECT
1508.52/1512.72 c #Conflicts: 1169000 | #Constraints: 27006
1508.52/1512.72 c #Conflicts: 1170000 | #Constraints: 28006
1508.52/1512.72 c #Conflicts: 1171000 | #Constraints: 29006
1508.52/1512.72 c #Conflicts: 1172000 | #Constraints: 30006
1508.52/1512.72 c #Conflicts: 1173000 | #Constraints: 31006
1508.52/1512.72 c #Conflicts: 1174000 | #Constraints: 32006
1508.52/1512.72 c #Conflicts: 1175000 | #Constraints: 33006
1508.52/1512.72 c #Conflicts: 1176000 | #Constraints: 34006
1508.52/1512.72 c #Conflicts: 1177000 | #Constraints: 35006
1508.52/1512.72 c #Conflicts: 1178000 | #Constraints: 36006
1508.52/1512.72 c #Conflicts: 1179000 | #Constraints: 37006
1508.52/1512.72 c #Conflicts: 1180000 | #Constraints: 38006
1508.52/1512.72 c #Conflicts: 1181000 | #Constraints: 39006
1508.52/1512.72 c #Conflicts: 1182000 | #Constraints: 40006
1508.52/1512.72 c #Conflicts: 1183000 | #Constraints: 41006
1508.52/1512.72 c #Conflicts: 1184000 | #Constraints: 42006
1508.52/1512.72 c #Conflicts: 1185000 | #Constraints: 43006
1508.52/1512.72 c #Conflicts: 1186000 | #Constraints: 44006
1508.52/1512.72 c #Conflicts: 1187000 | #Constraints: 45006
1508.52/1512.72 c #Conflicts: 1188000 | #Constraints: 46006
1508.52/1512.72 c #Conflicts: 1189000 | #Constraints: 47006
1508.52/1512.72 c #Conflicts: 1190000 | #Constraints: 48006
1508.52/1512.72 c INPROCESSING
1508.52/1512.72 c GARBAGE COLLECT
1508.52/1512.72 c #Conflicts: 1191000 | #Constraints: 27412
1508.52/1512.72 c #Conflicts: 1192000 | #Constraints: 28412
1508.52/1512.72 c #Conflicts: 1193000 | #Constraints: 29412
1508.52/1512.72 c #Conflicts: 1194000 | #Constraints: 30412
1508.52/1512.72 c #Conflicts: 1195000 | #Constraints: 31412
1508.52/1512.72 c #Conflicts: 1196000 | #Constraints: 32412
1662.70/1667.30 c #Conflicts: 1197000 | #Constraints: 33412
1662.70/1667.30 c #Conflicts: 1198000 | #Constraints: 34412
1662.70/1667.30 c #Conflicts: 1199000 | #Constraints: 35412
1662.70/1667.30 c #Conflicts: 1200000 | #Constraints: 36412
1662.70/1667.30 c #Conflicts: 1201000 | #Constraints: 37412
1662.70/1667.30 c #Conflicts: 1202000 | #Constraints: 38412
1662.70/1667.30 c #Conflicts: 1203000 | #Constraints: 39412
1662.70/1667.30 c #Conflicts: 1204000 | #Constraints: 40412
1662.70/1667.30 c #Conflicts: 1205000 | #Constraints: 41412
1662.70/1667.30 c #Conflicts: 1206000 | #Constraints: 42412
1662.70/1667.30 c #Conflicts: 1207000 | #Constraints: 43412
1662.70/1667.30 c #Conflicts: 1208000 | #Constraints: 44412
1662.70/1667.30 c #Conflicts: 1209000 | #Constraints: 45412
1662.70/1667.30 c #Conflicts: 1210000 | #Constraints: 46412
1662.70/1667.30 c #Conflicts: 1211000 | #Constraints: 47412
1662.70/1667.30 c #Conflicts: 1212000 | #Constraints: 48412
1662.70/1667.30 c INPROCESSING
1662.70/1667.30 c GARBAGE COLLECT
1662.70/1667.30 c #Conflicts: 1213000 | #Constraints: 27602
1662.70/1667.30 c #Conflicts: 1214000 | #Constraints: 28602
1662.70/1667.30 c #Conflicts: 1215000 | #Constraints: 29602
1662.70/1667.30 c #Conflicts: 1216000 | #Constraints: 30602
1662.70/1667.30 c #Conflicts: 1217000 | #Constraints: 31602
1662.70/1667.30 c #Conflicts: 1218000 | #Constraints: 32602
1662.70/1667.30 c #Conflicts: 1219000 | #Constraints: 33602
1662.70/1667.30 c #Conflicts: 1220000 | #Constraints: 34602
1662.70/1667.30 c #Conflicts: 1221000 | #Constraints: 35602
1662.70/1667.30 c #Conflicts: 1222000 | #Constraints: 36602
1662.70/1667.30 c #Conflicts: 1223000 | #Constraints: 37602
1662.70/1667.30 c #Conflicts: 1224000 | #Constraints: 38602
1662.70/1667.30 c #Conflicts: 1225000 | #Constraints: 39602
1662.70/1667.30 c #Conflicts: 1226000 | #Constraints: 40602
1662.70/1667.30 c #Conflicts: 1227000 | #Constraints: 41602
1662.70/1667.30 c #Conflicts: 1228000 | #Constraints: 42602
1662.70/1667.30 c #Conflicts: 1229000 | #Constraints: 43602
1662.70/1667.30 c #Conflicts: 1230000 | #Constraints: 44602
1662.70/1667.30 c #Conflicts: 1231000 | #Constraints: 45602
1662.70/1667.30 c #Conflicts: 1232000 | #Constraints: 46602
1662.70/1667.30 c #Conflicts: 1233000 | #Constraints: 47602
1662.70/1667.30 c #Conflicts: 1234000 | #Constraints: 48602
1662.70/1667.30 c INPROCESSING
1662.70/1667.30 c GARBAGE COLLECT
1662.70/1667.30 c #Conflicts: 1235000 | #Constraints: 27601
1662.70/1667.30 c #Conflicts: 1236000 | #Constraints: 28601
1662.70/1667.30 c #Conflicts: 1237000 | #Constraints: 29601
1662.70/1667.30 c #Conflicts: 1238000 | #Constraints: 30601
1662.70/1667.30 c #Conflicts: 1239000 | #Constraints: 31601
1662.70/1667.30 c #Conflicts: 1240000 | #Constraints: 32601
1662.70/1667.30 c #Conflicts: 1241000 | #Constraints: 33601
1662.70/1667.30 c #Conflicts: 1242000 | #Constraints: 34601
1662.70/1667.30 c #Conflicts: 1243000 | #Constraints: 35601
1662.70/1667.30 c #Conflicts: 1244000 | #Constraints: 36601
1662.70/1667.30 c #Conflicts: 1245000 | #Constraints: 37601
1662.70/1667.30 c #Conflicts: 1246000 | #Constraints: 38601
1662.70/1667.30 c #Conflicts: 1247000 | #Constraints: 39601
1662.70/1667.30 c #Conflicts: 1248000 | #Constraints: 40601
1662.70/1667.30 c #Conflicts: 1249000 | #Constraints: 41601
1662.70/1667.30 c #Conflicts: 1250000 | #Constraints: 42601
1662.70/1667.30 c #Conflicts: 1251000 | #Constraints: 43601
1662.70/1667.30 c #Conflicts: 1252000 | #Constraints: 44601
1662.70/1667.30 c #Conflicts: 1253000 | #Constraints: 45601
1662.70/1667.30 c #Conflicts: 1254000 | #Constraints: 46601
1662.70/1667.30 c #Conflicts: 1255000 | #Constraints: 47601
1662.70/1667.30 c #Conflicts: 1256000 | #Constraints: 48601
1662.70/1667.30 c INPROCESSING
1662.70/1667.30 c GARBAGE COLLECT
1662.70/1667.30 c #Conflicts: 1257000 | #Constraints: 27401
1662.70/1667.30 c #Conflicts: 1258000 | #Constraints: 28401
1662.70/1667.30 c #Conflicts: 1259000 | #Constraints: 29401
1662.70/1667.30 c #Conflicts: 1260000 | #Constraints: 30401
1662.70/1667.30 c #Conflicts: 1261000 | #Constraints: 31401
1662.70/1667.30 c #Conflicts: 1262000 | #Constraints: 32401
1662.70/1667.30 c #Conflicts: 1263000 | #Constraints: 33401
1662.70/1667.30 c #Conflicts: 1264000 | #Constraints: 34401
1662.70/1667.30 c #Conflicts: 1265000 | #Constraints: 35401
1662.70/1667.30 c #Conflicts: 1266000 | #Constraints: 36401
1662.70/1667.30 c #Conflicts: 1267000 | #Constraints: 37401
1662.70/1667.30 c #Conflicts: 1268000 | #Constraints: 38401
1662.70/1667.30 c #Conflicts: 1269000 | #Constraints: 39401
1662.70/1667.30 c #Conflicts: 1270000 | #Constraints: 40401
1662.70/1667.30 c #Conflicts: 1271000 | #Constraints: 41401
1662.70/1667.30 c #Conflicts: 1272000 | #Constraints: 42401
1826.54/1831.60 c #Conflicts: 1273000 | #Constraints: 43401
1826.54/1831.60 c #Conflicts: 1274000 | #Constraints: 44401
1826.54/1831.60 c #Conflicts: 1275000 | #Constraints: 45401
1826.54/1831.60 c #Conflicts: 1276000 | #Constraints: 46401
1826.54/1831.60 c #Conflicts: 1277000 | #Constraints: 47401
1826.54/1831.60 c #Conflicts: 1278000 | #Constraints: 48401
1826.54/1831.60 c #Conflicts: 1279000 | #Constraints: 49401
1826.54/1831.60 c INPROCESSING
1826.54/1831.60 c GARBAGE COLLECT
1826.54/1831.60 c #Conflicts: 1280000 | #Constraints: 27997
1826.54/1831.60 c #Conflicts: 1281000 | #Constraints: 28997
1826.54/1831.60 c #Conflicts: 1282000 | #Constraints: 29997
1826.54/1831.60 c #Conflicts: 1283000 | #Constraints: 30997
1826.54/1831.60 c #Conflicts: 1284000 | #Constraints: 31997
1826.54/1831.60 c #Conflicts: 1285000 | #Constraints: 32997
1826.54/1831.60 c #Conflicts: 1286000 | #Constraints: 33997
1826.54/1831.60 c #Conflicts: 1287000 | #Constraints: 34997
1826.54/1831.60 c #Conflicts: 1288000 | #Constraints: 35997
1826.54/1831.60 c #Conflicts: 1289000 | #Constraints: 36997
1826.54/1831.60 c #Conflicts: 1290000 | #Constraints: 37997
1826.54/1831.60 c #Conflicts: 1291000 | #Constraints: 38997
1826.54/1831.60 c #Conflicts: 1292000 | #Constraints: 39997
1826.54/1831.60 c #Conflicts: 1293000 | #Constraints: 40997
1826.54/1831.60 c #Conflicts: 1294000 | #Constraints: 41997
1826.54/1831.60 c #Conflicts: 1295000 | #Constraints: 42997
1826.54/1831.60 c #Conflicts: 1296000 | #Constraints: 43997
1826.54/1831.60 c #Conflicts: 1297000 | #Constraints: 44997
1826.54/1831.60 c #Conflicts: 1298000 | #Constraints: 45997
1826.54/1831.60 c #Conflicts: 1299000 | #Constraints: 46997
1826.54/1831.60 c #Conflicts: 1300000 | #Constraints: 47997
1826.54/1831.60 c #Conflicts: 1301000 | #Constraints: 48997
1826.54/1831.60 c #Conflicts: 1302000 | #Constraints: 49997
1826.54/1831.60 c INPROCESSING
1826.54/1831.60 c GARBAGE COLLECT
1826.54/1831.60 c #Conflicts: 1303000 | #Constraints: 28404
1826.54/1831.60 c #Conflicts: 1304000 | #Constraints: 29404
1826.54/1831.60 c #Conflicts: 1305000 | #Constraints: 30404
1826.54/1831.60 c #Conflicts: 1306000 | #Constraints: 31404
1826.54/1831.60 c #Conflicts: 1307000 | #Constraints: 32404
1826.54/1831.60 c #Conflicts: 1308000 | #Constraints: 33404
1826.54/1831.60 c #Conflicts: 1309000 | #Constraints: 34404
1826.54/1831.60 c #Conflicts: 1310000 | #Constraints: 35404
1826.54/1831.60 c #Conflicts: 1311000 | #Constraints: 36404
1826.54/1831.60 c #Conflicts: 1312000 | #Constraints: 37404
1826.54/1831.60 c #Conflicts: 1313000 | #Constraints: 38404
1826.54/1831.60 c #Conflicts: 1314000 | #Constraints: 39404
1826.54/1831.60 c #Conflicts: 1315000 | #Constraints: 40404
1826.54/1831.60 c #Conflicts: 1316000 | #Constraints: 41404
1826.54/1831.60 c #Conflicts: 1317000 | #Constraints: 42404
1826.54/1831.60 c #Conflicts: 1318000 | #Constraints: 43404
1826.54/1831.60 c #Conflicts: 1319000 | #Constraints: 44404
1826.54/1831.60 c #Conflicts: 1320000 | #Constraints: 45404
1826.54/1831.60 c #Conflicts: 1321000 | #Constraints: 46404
1826.54/1831.60 c #Conflicts: 1322000 | #Constraints: 47404
1826.54/1831.60 c #Conflicts: 1323000 | #Constraints: 48404
1826.54/1831.60 c #Conflicts: 1324000 | #Constraints: 49404
1826.54/1831.60 c #Conflicts: 1325000 | #Constraints: 50404
1826.54/1831.60 c INPROCESSING
1826.54/1831.60 c GARBAGE COLLECT
1826.54/1831.60 c #Conflicts: 1326000 | #Constraints: 28606
1826.54/1831.60 c #Conflicts: 1327000 | #Constraints: 29606
1826.54/1831.60 c #Conflicts: 1328000 | #Constraints: 30606
1826.54/1831.60 c #Conflicts: 1329000 | #Constraints: 31606
1826.54/1831.60 c #Conflicts: 1330000 | #Constraints: 32606
1826.54/1831.60 c #Conflicts: 1331000 | #Constraints: 33606
1826.54/1831.60 c #Conflicts: 1332000 | #Constraints: 34606
1826.54/1831.60 c #Conflicts: 1333000 | #Constraints: 35606
1826.54/1831.60 c #Conflicts: 1334000 | #Constraints: 36606
1826.54/1831.60 c #Conflicts: 1335000 | #Constraints: 37606
1826.54/1831.60 c #Conflicts: 1336000 | #Constraints: 38606
1826.54/1831.60 c #Conflicts: 1337000 | #Constraints: 39606
1826.54/1831.60 c #Conflicts: 1338000 | #Constraints: 40606
1826.54/1831.60 c #Conflicts: 1339000 | #Constraints: 41606
1826.54/1831.60 c #Conflicts: 1340000 | #Constraints: 42606
1826.54/1831.60 c #Conflicts: 1341000 | #Constraints: 43606
1826.54/1831.60 c #Conflicts: 1342000 | #Constraints: 44606
1826.54/1831.60 c #Conflicts: 1343000 | #Constraints: 45606
1826.54/1831.60 c #Conflicts: 1344000 | #Constraints: 46606
1826.54/1831.60 c #Conflicts: 1345000 | #Constraints: 47606
1826.54/1831.60 c #Conflicts: 1346000 | #Constraints: 48606
1826.54/1831.60 c #Conflicts: 1347000 | #Constraints: 49606
1826.54/1831.60 c #Conflicts: 1348000 | #Constraints: 50606
1826.54/1831.60 c INPROCESSING
1826.54/1831.60 c GARBAGE COLLECT
1826.54/1831.60 c #Conflicts: 1349000 | #Constraints: 28606
1991.78/1997.32 c #Conflicts: 1350000 | #Constraints: 29606
1991.78/1997.32 c #Conflicts: 1351000 | #Constraints: 30606
1991.78/1997.32 c #Conflicts: 1352000 | #Constraints: 31606
1991.78/1997.32 c #Conflicts: 1353000 | #Constraints: 32606
1991.78/1997.32 c #Conflicts: 1354000 | #Constraints: 33606
1991.78/1997.32 c #Conflicts: 1355000 | #Constraints: 34606
1991.78/1997.32 c #Conflicts: 1356000 | #Constraints: 35606
1991.78/1997.32 c #Conflicts: 1357000 | #Constraints: 36606
1991.78/1997.32 c #Conflicts: 1358000 | #Constraints: 37606
1991.78/1997.32 c #Conflicts: 1359000 | #Constraints: 38606
1991.78/1997.32 c #Conflicts: 1360000 | #Constraints: 39606
1991.78/1997.32 c #Conflicts: 1361000 | #Constraints: 40606
1991.78/1997.32 c #Conflicts: 1362000 | #Constraints: 41606
1991.78/1997.32 c #Conflicts: 1363000 | #Constraints: 42606
1991.78/1997.32 c #Conflicts: 1364000 | #Constraints: 43606
1991.78/1997.32 c #Conflicts: 1365000 | #Constraints: 44606
1991.78/1997.32 c #Conflicts: 1366000 | #Constraints: 45606
1991.78/1997.32 c #Conflicts: 1367000 | #Constraints: 46606
1991.78/1997.32 c #Conflicts: 1368000 | #Constraints: 47606
1991.78/1997.32 c #Conflicts: 1369000 | #Constraints: 48606
1991.78/1997.32 c #Conflicts: 1370000 | #Constraints: 49606
1991.78/1997.32 c #Conflicts: 1371000 | #Constraints: 50606
1991.78/1997.32 c INPROCESSING
1991.78/1997.32 c GARBAGE COLLECT
1991.78/1997.32 c #Conflicts: 1372000 | #Constraints: 28404
1991.78/1997.32 c #Conflicts: 1373000 | #Constraints: 29404
1991.78/1997.32 c #Conflicts: 1374000 | #Constraints: 30404
1991.78/1997.32 c #Conflicts: 1375000 | #Constraints: 31404
1991.78/1997.32 c #Conflicts: 1376000 | #Constraints: 32404
1991.78/1997.32 c #Conflicts: 1377000 | #Constraints: 33404
1991.78/1997.32 c #Conflicts: 1378000 | #Constraints: 34404
1991.78/1997.32 c #Conflicts: 1379000 | #Constraints: 35404
1991.78/1997.32 c #Conflicts: 1380000 | #Constraints: 36404
1991.78/1997.32 c #Conflicts: 1381000 | #Constraints: 37404
1991.78/1997.32 c #Conflicts: 1382000 | #Constraints: 38404
1991.78/1997.32 c #Conflicts: 1383000 | #Constraints: 39404
1991.78/1997.32 c #Conflicts: 1384000 | #Constraints: 40404
1991.78/1997.32 c #Conflicts: 1385000 | #Constraints: 41404
1991.78/1997.32 c #Conflicts: 1386000 | #Constraints: 42404
1991.78/1997.32 c #Conflicts: 1387000 | #Constraints: 43404
1991.78/1997.32 c #Conflicts: 1388000 | #Constraints: 44404
1991.78/1997.32 c #Conflicts: 1389000 | #Constraints: 45404
1991.78/1997.32 c #Conflicts: 1390000 | #Constraints: 46404
1991.78/1997.32 c #Conflicts: 1391000 | #Constraints: 47404
1991.78/1997.32 c #Conflicts: 1392000 | #Constraints: 48404
1991.78/1997.32 c #Conflicts: 1393000 | #Constraints: 49404
1991.78/1997.32 c #Conflicts: 1394000 | #Constraints: 50404
1991.78/1997.32 c #Conflicts: 1395000 | #Constraints: 51404
1991.78/1997.32 c INPROCESSING
1991.78/1997.32 c GARBAGE COLLECT
1991.78/1997.32 c #Conflicts: 1396000 | #Constraints: 29005
1991.78/1997.32 c #Conflicts: 1397000 | #Constraints: 30005
1991.78/1997.32 c #Conflicts: 1398000 | #Constraints: 31005
1991.78/1997.32 c #Conflicts: 1399000 | #Constraints: 32005
1991.78/1997.32 c #Conflicts: 1400000 | #Constraints: 33005
1991.78/1997.32 c #Conflicts: 1401000 | #Constraints: 34005
1991.78/1997.32 c #Conflicts: 1402000 | #Constraints: 35005
1991.78/1997.32 c #Conflicts: 1403000 | #Constraints: 36005
1991.78/1997.32 c #Conflicts: 1404000 | #Constraints: 37005
1991.78/1997.32 c #Conflicts: 1405000 | #Constraints: 38005
1991.78/1997.32 c #Conflicts: 1406000 | #Constraints: 39005
1991.78/1997.32 c #Conflicts: 1407000 | #Constraints: 40005
1991.78/1997.32 c #Conflicts: 1408000 | #Constraints: 41005
1991.78/1997.32 c #Conflicts: 1409000 | #Constraints: 42005
1991.78/1997.32 c #Conflicts: 1410000 | #Constraints: 43005
1991.78/1997.32 c #Conflicts: 1411000 | #Constraints: 44005
1991.78/1997.32 c #Conflicts: 1412000 | #Constraints: 45005
1991.78/1997.32 c #Conflicts: 1413000 | #Constraints: 46005
1991.78/1997.32 c #Conflicts: 1414000 | #Constraints: 47005
1991.78/1997.32 c #Conflicts: 1415000 | #Constraints: 48005
1991.78/1997.32 c #Conflicts: 1416000 | #Constraints: 49005
1991.78/1997.32 c #Conflicts: 1417000 | #Constraints: 50005
1991.78/1997.32 c #Conflicts: 1418000 | #Constraints: 51005
1991.78/1997.32 c #Conflicts: 1419000 | #Constraints: 52005
1991.78/1997.32 c INPROCESSING
1991.78/1997.32 c GARBAGE COLLECT
1991.78/1997.32 c #Conflicts: 1420000 | #Constraints: 29405
1991.78/1997.32 c #Conflicts: 1421000 | #Constraints: 30405
1991.78/1997.32 c #Conflicts: 1422000 | #Constraints: 31405
1991.78/1997.32 c #Conflicts: 1423000 | #Constraints: 32405
1991.78/1997.32 c #Conflicts: 1424000 | #Constraints: 33405
1991.78/1997.32 c #Conflicts: 1425000 | #Constraints: 34405
1991.78/1997.32 c #Conflicts: 1426000 | #Constraints: 35405
2148.34/2154.30 c #Conflicts: 1427000 | #Constraints: 36405
2148.34/2154.30 c #Conflicts: 1428000 | #Constraints: 37405
2148.34/2154.30 c #Conflicts: 1429000 | #Constraints: 38405
2148.34/2154.30 c #Conflicts: 1430000 | #Constraints: 39405
2148.34/2154.30 c #Conflicts: 1431000 | #Constraints: 40405
2148.34/2154.30 c #Conflicts: 1432000 | #Constraints: 41405
2148.34/2154.30 c #Conflicts: 1433000 | #Constraints: 42405
2148.34/2154.30 c #Conflicts: 1434000 | #Constraints: 43405
2148.34/2154.30 c #Conflicts: 1435000 | #Constraints: 44405
2148.34/2154.30 c #Conflicts: 1436000 | #Constraints: 45405
2148.34/2154.30 c #Conflicts: 1437000 | #Constraints: 46405
2148.34/2154.30 c #Conflicts: 1438000 | #Constraints: 47405
2148.34/2154.30 c #Conflicts: 1439000 | #Constraints: 48405
2148.34/2154.30 c #Conflicts: 1440000 | #Constraints: 49405
2148.34/2154.30 c #Conflicts: 1441000 | #Constraints: 50405
2148.34/2154.30 c #Conflicts: 1442000 | #Constraints: 51405
2148.34/2154.30 c #Conflicts: 1443000 | #Constraints: 52405
2148.34/2154.30 c INPROCESSING
2148.34/2154.30 c GARBAGE COLLECT
2148.34/2154.30 c #Conflicts: 1444000 | #Constraints: 29612
2148.34/2154.30 c #Conflicts: 1445000 | #Constraints: 30612
2148.34/2154.30 c #Conflicts: 1446000 | #Constraints: 31612
2148.34/2154.30 c #Conflicts: 1447000 | #Constraints: 32612
2148.34/2154.30 c #Conflicts: 1448000 | #Constraints: 33612
2148.34/2154.30 c #Conflicts: 1449000 | #Constraints: 34612
2148.34/2154.30 c #Conflicts: 1450000 | #Constraints: 35612
2148.34/2154.30 c #Conflicts: 1451000 | #Constraints: 36612
2148.34/2154.30 c #Conflicts: 1452000 | #Constraints: 37612
2148.34/2154.30 c #Conflicts: 1453000 | #Constraints: 38612
2148.34/2154.30 c #Conflicts: 1454000 | #Constraints: 39612
2148.34/2154.30 c #Conflicts: 1455000 | #Constraints: 40612
2148.34/2154.30 c #Conflicts: 1456000 | #Constraints: 41612
2148.34/2154.30 c #Conflicts: 1457000 | #Constraints: 42612
2148.34/2154.30 c #Conflicts: 1458000 | #Constraints: 43612
2148.34/2154.30 c #Conflicts: 1459000 | #Constraints: 44612
2148.34/2154.30 c #Conflicts: 1460000 | #Constraints: 45612
2148.34/2154.30 c #Conflicts: 1461000 | #Constraints: 46612
2148.34/2154.30 c #Conflicts: 1462000 | #Constraints: 47612
2148.34/2154.30 c #Conflicts: 1463000 | #Constraints: 48612
2148.34/2154.30 c #Conflicts: 1464000 | #Constraints: 49612
2148.34/2154.30 c #Conflicts: 1465000 | #Constraints: 50612
2148.34/2154.30 c #Conflicts: 1466000 | #Constraints: 51612
2148.34/2154.30 c #Conflicts: 1467000 | #Constraints: 52612
2148.34/2154.30 c INPROCESSING
2148.34/2154.30 c GARBAGE COLLECT
2148.34/2154.30 c #Conflicts: 1468000 | #Constraints: 29609
2148.34/2154.30 c #Conflicts: 1469000 | #Constraints: 30609
2148.34/2154.30 c #Conflicts: 1470000 | #Constraints: 31609
2148.34/2154.30 c #Conflicts: 1471000 | #Constraints: 32609
2148.34/2154.30 c #Conflicts: 1472000 | #Constraints: 33609
2148.34/2154.30 c #Conflicts: 1473000 | #Constraints: 34609
2148.34/2154.30 c #Conflicts: 1474000 | #Constraints: 35609
2148.34/2154.30 c #Conflicts: 1475000 | #Constraints: 36609
2148.34/2154.30 c #Conflicts: 1476000 | #Constraints: 37609
2148.34/2154.30 c #Conflicts: 1477000 | #Constraints: 38609
2148.34/2154.30 c #Conflicts: 1478000 | #Constraints: 39609
2148.34/2154.30 c #Conflicts: 1479000 | #Constraints: 40609
2148.34/2154.30 c #Conflicts: 1480000 | #Constraints: 41609
2148.34/2154.30 c #Conflicts: 1481000 | #Constraints: 42609
2148.34/2154.30 c #Conflicts: 1482000 | #Constraints: 43609
2148.34/2154.30 c #Conflicts: 1483000 | #Constraints: 44609
2148.34/2154.30 c #Conflicts: 1484000 | #Constraints: 45609
2148.34/2154.30 c #Conflicts: 1485000 | #Constraints: 46609
2148.34/2154.30 c #Conflicts: 1486000 | #Constraints: 47609
2148.34/2154.30 c #Conflicts: 1487000 | #Constraints: 48609
2148.34/2154.30 c #Conflicts: 1488000 | #Constraints: 49609
2148.34/2154.30 c #Conflicts: 1489000 | #Constraints: 50609
2148.34/2154.30 c #Conflicts: 1490000 | #Constraints: 51609
2148.34/2154.30 c #Conflicts: 1491000 | #Constraints: 52609
2148.34/2154.30 c INPROCESSING
2148.34/2154.30 c GARBAGE COLLECT
2148.34/2154.30 c #Conflicts: 1492000 | #Constraints: 29409
2148.34/2154.30 c #Conflicts: 1493000 | #Constraints: 30409
2148.34/2154.30 c #Conflicts: 1494000 | #Constraints: 31409
2148.34/2154.30 c #Conflicts: 1495000 | #Constraints: 32409
2148.34/2154.30 c #Conflicts: 1496000 | #Constraints: 33409
2148.34/2154.30 c #Conflicts: 1497000 | #Constraints: 34409
2148.34/2154.30 c #Conflicts: 1498000 | #Constraints: 35409
2148.34/2154.30 c #Conflicts: 1499000 | #Constraints: 36409
2148.34/2154.30 c #Conflicts: 1500000 | #Constraints: 37409
2148.34/2154.30 c #Conflicts: 1501000 | #Constraints: 38409
2148.34/2154.30 c #Conflicts: 1502000 | #Constraints: 39409
2319.86/2326.39 c #Conflicts: 1503000 | #Constraints: 40409
2319.86/2326.39 c #Conflicts: 1504000 | #Constraints: 41409
2319.86/2326.39 c #Conflicts: 1505000 | #Constraints: 42409
2319.86/2326.39 c #Conflicts: 1506000 | #Constraints: 43409
2319.86/2326.39 c #Conflicts: 1507000 | #Constraints: 44409
2319.86/2326.39 c #Conflicts: 1508000 | #Constraints: 45409
2319.86/2326.39 c #Conflicts: 1509000 | #Constraints: 46409
2319.86/2326.39 c #Conflicts: 1510000 | #Constraints: 47409
2319.86/2326.39 c #Conflicts: 1511000 | #Constraints: 48409
2319.86/2326.39 c #Conflicts: 1512000 | #Constraints: 49409
2319.86/2326.39 c #Conflicts: 1513000 | #Constraints: 50409
2319.86/2326.39 c #Conflicts: 1514000 | #Constraints: 51409
2319.86/2326.39 c #Conflicts: 1515000 | #Constraints: 52409
2319.86/2326.39 c #Conflicts: 1516000 | #Constraints: 53409
2319.86/2326.39 c INPROCESSING
2319.86/2326.39 c GARBAGE COLLECT
2319.86/2326.39 c #Conflicts: 1517000 | #Constraints: 30010
2319.86/2326.39 c #Conflicts: 1518000 | #Constraints: 31010
2319.86/2326.39 c #Conflicts: 1519000 | #Constraints: 32010
2319.86/2326.39 c #Conflicts: 1520000 | #Constraints: 33010
2319.86/2326.39 c #Conflicts: 1521000 | #Constraints: 34010
2319.86/2326.39 c #Conflicts: 1522000 | #Constraints: 35010
2319.86/2326.39 c #Conflicts: 1523000 | #Constraints: 36010
2319.86/2326.39 c #Conflicts: 1524000 | #Constraints: 37010
2319.86/2326.39 c #Conflicts: 1525000 | #Constraints: 38010
2319.86/2326.39 c #Conflicts: 1526000 | #Constraints: 39010
2319.86/2326.39 c #Conflicts: 1527000 | #Constraints: 40010
2319.86/2326.39 c #Conflicts: 1528000 | #Constraints: 41010
2319.86/2326.39 c #Conflicts: 1529000 | #Constraints: 42010
2319.86/2326.39 c #Conflicts: 1530000 | #Constraints: 43010
2319.86/2326.39 c #Conflicts: 1531000 | #Constraints: 44010
2319.86/2326.39 c #Conflicts: 1532000 | #Constraints: 45010
2319.86/2326.39 c #Conflicts: 1533000 | #Constraints: 46010
2319.86/2326.39 c #Conflicts: 1534000 | #Constraints: 47010
2319.86/2326.39 c #Conflicts: 1535000 | #Constraints: 48010
2319.86/2326.39 c #Conflicts: 1536000 | #Constraints: 49010
2319.86/2326.39 c #Conflicts: 1537000 | #Constraints: 50010
2319.86/2326.39 c #Conflicts: 1538000 | #Constraints: 51010
2319.86/2326.39 c #Conflicts: 1539000 | #Constraints: 52010
2319.86/2326.39 c #Conflicts: 1540000 | #Constraints: 53010
2319.86/2326.39 c #Conflicts: 1541000 | #Constraints: 54010
2319.86/2326.39 c INPROCESSING
2319.86/2326.39 c GARBAGE COLLECT
2319.86/2326.39 c #Conflicts: 1542000 | #Constraints: 30411
2319.86/2326.39 c #Conflicts: 1543000 | #Constraints: 31411
2319.86/2326.39 c #Conflicts: 1544000 | #Constraints: 32411
2319.86/2326.39 c #Conflicts: 1545000 | #Constraints: 33411
2319.86/2326.39 c #Conflicts: 1546000 | #Constraints: 34411
2319.86/2326.39 c #Conflicts: 1547000 | #Constraints: 35411
2319.86/2326.39 c #Conflicts: 1548000 | #Constraints: 36411
2319.86/2326.39 c #Conflicts: 1549000 | #Constraints: 37411
2319.86/2326.39 c #Conflicts: 1550000 | #Constraints: 38411
2319.86/2326.39 c #Conflicts: 1551000 | #Constraints: 39411
2319.86/2326.39 c #Conflicts: 1552000 | #Constraints: 40411
2319.86/2326.39 c #Conflicts: 1553000 | #Constraints: 41411
2319.86/2326.39 c #Conflicts: 1554000 | #Constraints: 42411
2319.86/2326.39 c #Conflicts: 1555000 | #Constraints: 43411
2319.86/2326.39 c #Conflicts: 1556000 | #Constraints: 44411
2319.86/2326.39 c #Conflicts: 1557000 | #Constraints: 45411
2319.86/2326.39 c #Conflicts: 1558000 | #Constraints: 46411
2319.86/2326.39 c #Conflicts: 1559000 | #Constraints: 47411
2319.86/2326.39 c #Conflicts: 1560000 | #Constraints: 48411
2319.86/2326.39 c #Conflicts: 1561000 | #Constraints: 49411
2319.86/2326.39 c #Conflicts: 1562000 | #Constraints: 50411
2319.86/2326.39 c #Conflicts: 1563000 | #Constraints: 51411
2319.86/2326.39 c #Conflicts: 1564000 | #Constraints: 52411
2319.86/2326.39 c #Conflicts: 1565000 | #Constraints: 53411
2319.86/2326.39 c #Conflicts: 1566000 | #Constraints: 54411
2319.86/2326.39 c INPROCESSING
2319.86/2326.39 c GARBAGE COLLECT
2319.86/2326.39 c #Conflicts: 1567000 | #Constraints: 30611
2319.86/2326.39 c #Conflicts: 1568000 | #Constraints: 31611
2319.86/2326.39 c #Conflicts: 1569000 | #Constraints: 32611
2319.86/2326.39 c #Conflicts: 1570000 | #Constraints: 33611
2319.86/2326.39 c #Conflicts: 1571000 | #Constraints: 34611
2319.86/2326.39 c #Conflicts: 1572000 | #Constraints: 35611
2319.86/2326.39 c #Conflicts: 1573000 | #Constraints: 36611
2319.86/2326.39 c #Conflicts: 1574000 | #Constraints: 37611
2319.86/2326.39 c #Conflicts: 1575000 | #Constraints: 38611
2319.86/2326.39 c #Conflicts: 1576000 | #Constraints: 39611
2319.86/2326.39 c #Conflicts: 1577000 | #Constraints: 40611
2319.86/2326.39 c #Conflicts: 1578000 | #Constraints: 41611
2319.86/2326.39 c #Conflicts: 1579000 | #Constraints: 42611
2496.26/2503.23 c #Conflicts: 1580000 | #Constraints: 43611
2496.26/2503.23 c #Conflicts: 1581000 | #Constraints: 44611
2496.26/2503.23 c #Conflicts: 1582000 | #Constraints: 45611
2496.26/2503.23 c #Conflicts: 1583000 | #Constraints: 46611
2496.26/2503.23 c #Conflicts: 1584000 | #Constraints: 47611
2496.26/2503.23 c #Conflicts: 1585000 | #Constraints: 48611
2496.26/2503.23 c #Conflicts: 1586000 | #Constraints: 49611
2496.26/2503.23 c #Conflicts: 1587000 | #Constraints: 50611
2496.26/2503.23 c #Conflicts: 1588000 | #Constraints: 51611
2496.26/2503.23 c #Conflicts: 1589000 | #Constraints: 52611
2496.26/2503.23 c #Conflicts: 1590000 | #Constraints: 53611
2496.26/2503.23 c #Conflicts: 1591000 | #Constraints: 54611
2496.26/2503.23 c INPROCESSING
2496.26/2503.23 c GARBAGE COLLECT
2496.26/2503.23 c #Conflicts: 1592000 | #Constraints: 30615
2496.26/2503.23 c #Conflicts: 1593000 | #Constraints: 31615
2496.26/2503.23 c #Conflicts: 1594000 | #Constraints: 32615
2496.26/2503.23 c #Conflicts: 1595000 | #Constraints: 33615
2496.26/2503.23 c #Conflicts: 1596000 | #Constraints: 34615
2496.26/2503.23 c #Conflicts: 1597000 | #Constraints: 35615
2496.26/2503.23 c #Conflicts: 1598000 | #Constraints: 36615
2496.26/2503.23 c #Conflicts: 1599000 | #Constraints: 37615
2496.26/2503.23 c #Conflicts: 1600000 | #Constraints: 38615
2496.26/2503.23 c #Conflicts: 1601000 | #Constraints: 39615
2496.26/2503.23 c #Conflicts: 1602000 | #Constraints: 40615
2496.26/2503.23 c #Conflicts: 1603000 | #Constraints: 41615
2496.26/2503.23 c #Conflicts: 1604000 | #Constraints: 42615
2496.26/2503.23 c #Conflicts: 1605000 | #Constraints: 43615
2496.26/2503.23 c #Conflicts: 1606000 | #Constraints: 44615
2496.26/2503.23 c #Conflicts: 1607000 | #Constraints: 45615
2496.26/2503.23 c #Conflicts: 1608000 | #Constraints: 46615
2496.26/2503.23 c #Conflicts: 1609000 | #Constraints: 47615
2496.26/2503.23 c #Conflicts: 1610000 | #Constraints: 48615
2496.26/2503.23 c #Conflicts: 1611000 | #Constraints: 49615
2496.26/2503.23 c #Conflicts: 1612000 | #Constraints: 50615
2496.26/2503.23 c #Conflicts: 1613000 | #Constraints: 51615
2496.26/2503.23 c #Conflicts: 1614000 | #Constraints: 52615
2496.26/2503.23 c #Conflicts: 1615000 | #Constraints: 53615
2496.26/2503.23 c #Conflicts: 1616000 | #Constraints: 54615
2496.26/2503.23 c INPROCESSING
2496.26/2503.23 c GARBAGE COLLECT
2496.26/2503.23 c #Conflicts: 1617000 | #Constraints: 30406
2496.26/2503.23 c #Conflicts: 1618000 | #Constraints: 31406
2496.26/2503.23 c #Conflicts: 1619000 | #Constraints: 32406
2496.26/2503.23 c #Conflicts: 1620000 | #Constraints: 33406
2496.26/2503.23 c #Conflicts: 1621000 | #Constraints: 34406
2496.26/2503.23 c #Conflicts: 1622000 | #Constraints: 35406
2496.26/2503.23 c #Conflicts: 1623000 | #Constraints: 36406
2496.26/2503.23 c #Conflicts: 1624000 | #Constraints: 37406
2496.26/2503.23 c #Conflicts: 1625000 | #Constraints: 38406
2496.26/2503.23 c #Conflicts: 1626000 | #Constraints: 39406
2496.26/2503.23 c #Conflicts: 1627000 | #Constraints: 40406
2496.26/2503.23 c #Conflicts: 1628000 | #Constraints: 41406
2496.26/2503.23 c #Conflicts: 1629000 | #Constraints: 42406
2496.26/2503.23 c #Conflicts: 1630000 | #Constraints: 43406
2496.26/2503.23 c #Conflicts: 1631000 | #Constraints: 44406
2496.26/2503.23 c #Conflicts: 1632000 | #Constraints: 45406
2496.26/2503.23 c #Conflicts: 1633000 | #Constraints: 46406
2496.26/2503.23 c #Conflicts: 1634000 | #Constraints: 47406
2496.26/2503.23 c #Conflicts: 1635000 | #Constraints: 48406
2496.26/2503.23 c #Conflicts: 1636000 | #Constraints: 49406
2496.26/2503.23 c #Conflicts: 1637000 | #Constraints: 50406
2496.26/2503.23 c #Conflicts: 1638000 | #Constraints: 51406
2496.26/2503.23 c #Conflicts: 1639000 | #Constraints: 52406
2496.26/2503.23 c #Conflicts: 1640000 | #Constraints: 53406
2496.26/2503.23 c #Conflicts: 1641000 | #Constraints: 54406
2496.26/2503.23 c #Conflicts: 1642000 | #Constraints: 55406
2496.26/2503.23 c INPROCESSING
2496.26/2503.23 c GARBAGE COLLECT
2496.26/2503.23 c #Conflicts: 1643000 | #Constraints: 31002
2496.26/2503.23 c #Conflicts: 1644000 | #Constraints: 32002
2496.26/2503.23 c #Conflicts: 1645000 | #Constraints: 33002
2496.26/2503.23 c #Conflicts: 1646000 | #Constraints: 34002
2496.26/2503.23 c #Conflicts: 1647000 | #Constraints: 35002
2496.26/2503.23 c #Conflicts: 1648000 | #Constraints: 36002
2496.26/2503.23 c #Conflicts: 1649000 | #Constraints: 37002
2496.26/2503.23 c #Conflicts: 1650000 | #Constraints: 38002
2496.26/2503.23 c #Conflicts: 1651000 | #Constraints: 39002
2496.26/2503.23 c #Conflicts: 1652000 | #Constraints: 40002
2496.26/2503.23 c #Conflicts: 1653000 | #Constraints: 41002
2496.26/2503.23 c #Conflicts: 1654000 | #Constraints: 42002
2496.26/2503.23 c #Conflicts: 1655000 | #Constraints: 43002
2496.26/2503.23 c #Conflicts: 1656000 | #Constraints: 44002
2656.63/2664.07 c #Conflicts: 1657000 | #Constraints: 45002
2656.63/2664.07 c #Conflicts: 1658000 | #Constraints: 46002
2656.63/2664.07 c #Conflicts: 1659000 | #Constraints: 47002
2656.63/2664.07 c #Conflicts: 1660000 | #Constraints: 48002
2656.63/2664.07 c #Conflicts: 1661000 | #Constraints: 49002
2656.63/2664.07 c #Conflicts: 1662000 | #Constraints: 50002
2656.63/2664.07 c #Conflicts: 1663000 | #Constraints: 51002
2656.63/2664.07 c #Conflicts: 1664000 | #Constraints: 52002
2656.63/2664.07 c #Conflicts: 1665000 | #Constraints: 53002
2656.63/2664.07 c #Conflicts: 1666000 | #Constraints: 54002
2656.63/2664.07 c #Conflicts: 1667000 | #Constraints: 55002
2656.63/2664.07 c #Conflicts: 1668000 | #Constraints: 56002
2656.63/2664.07 c INPROCESSING
2656.63/2664.07 c GARBAGE COLLECT
2656.63/2664.07 c #Conflicts: 1669000 | #Constraints: 31400
2656.63/2664.07 c #Conflicts: 1670000 | #Constraints: 32400
2656.63/2664.07 c #Conflicts: 1671000 | #Constraints: 33400
2656.63/2664.07 c #Conflicts: 1672000 | #Constraints: 34400
2656.63/2664.07 c #Conflicts: 1673000 | #Constraints: 35400
2656.63/2664.07 c #Conflicts: 1674000 | #Constraints: 36400
2656.63/2664.07 c #Conflicts: 1675000 | #Constraints: 37400
2656.63/2664.07 c #Conflicts: 1676000 | #Constraints: 38400
2656.63/2664.07 c #Conflicts: 1677000 | #Constraints: 39400
2656.63/2664.07 c #Conflicts: 1678000 | #Constraints: 40400
2656.63/2664.07 c #Conflicts: 1679000 | #Constraints: 41400
2656.63/2664.07 c #Conflicts: 1680000 | #Constraints: 42400
2656.63/2664.07 c #Conflicts: 1681000 | #Constraints: 43400
2656.63/2664.07 c #Conflicts: 1682000 | #Constraints: 44400
2656.63/2664.07 c #Conflicts: 1683000 | #Constraints: 45400
2656.63/2664.07 c #Conflicts: 1684000 | #Constraints: 46400
2656.63/2664.07 c #Conflicts: 1685000 | #Constraints: 47400
2656.63/2664.07 c #Conflicts: 1686000 | #Constraints: 48400
2656.63/2664.07 c #Conflicts: 1687000 | #Constraints: 49400
2656.63/2664.07 c #Conflicts: 1688000 | #Constraints: 50400
2656.63/2664.07 c #Conflicts: 1689000 | #Constraints: 51400
2656.63/2664.07 c #Conflicts: 1690000 | #Constraints: 52400
2656.63/2664.07 c #Conflicts: 1691000 | #Constraints: 53400
2656.63/2664.07 c #Conflicts: 1692000 | #Constraints: 54400
2656.63/2664.07 c #Conflicts: 1693000 | #Constraints: 55400
2656.63/2664.07 c #Conflicts: 1694000 | #Constraints: 56400
2656.63/2664.07 c INPROCESSING
2656.63/2664.07 c GARBAGE COLLECT
2656.63/2664.07 c #Conflicts: 1695000 | #Constraints: 31602
2656.63/2664.07 c #Conflicts: 1696000 | #Constraints: 32602
2656.63/2664.07 c #Conflicts: 1697000 | #Constraints: 33602
2656.63/2664.07 c #Conflicts: 1698000 | #Constraints: 34602
2656.63/2664.07 c #Conflicts: 1699000 | #Constraints: 35602
2656.63/2664.07 c #Conflicts: 1700000 | #Constraints: 36602
2656.63/2664.07 c #Conflicts: 1701000 | #Constraints: 37602
2656.63/2664.07 c #Conflicts: 1702000 | #Constraints: 38602
2656.63/2664.07 c #Conflicts: 1703000 | #Constraints: 39602
2656.63/2664.07 c #Conflicts: 1704000 | #Constraints: 40602
2656.63/2664.07 c #Conflicts: 1705000 | #Constraints: 41602
2656.63/2664.07 c #Conflicts: 1706000 | #Constraints: 42602
2656.63/2664.07 c #Conflicts: 1707000 | #Constraints: 43602
2656.63/2664.07 c #Conflicts: 1708000 | #Constraints: 44602
2656.63/2664.07 c #Conflicts: 1709000 | #Constraints: 45602
2656.63/2664.07 c #Conflicts: 1710000 | #Constraints: 46602
2656.63/2664.07 c #Conflicts: 1711000 | #Constraints: 47602
2656.63/2664.07 c #Conflicts: 1712000 | #Constraints: 48602
2656.63/2664.07 c #Conflicts: 1713000 | #Constraints: 49602
2656.63/2664.07 c #Conflicts: 1714000 | #Constraints: 50602
2656.63/2664.07 c #Conflicts: 1715000 | #Constraints: 51602
2656.63/2664.07 c #Conflicts: 1716000 | #Constraints: 52602
2656.63/2664.07 c #Conflicts: 1717000 | #Constraints: 53602
2656.63/2664.07 c #Conflicts: 1718000 | #Constraints: 54602
2656.63/2664.07 c #Conflicts: 1719000 | #Constraints: 55602
2656.63/2664.07 c #Conflicts: 1720000 | #Constraints: 56602
2656.63/2664.07 c INPROCESSING
2656.63/2664.07 c GARBAGE COLLECT
2656.63/2664.07 c #Conflicts: 1721000 | #Constraints: 31602
2656.63/2664.07 c #Conflicts: 1722000 | #Constraints: 32602
2656.63/2664.07 c #Conflicts: 1723000 | #Constraints: 33602
2656.63/2664.07 c #Conflicts: 1724000 | #Constraints: 34602
2656.63/2664.07 c #Conflicts: 1725000 | #Constraints: 35602
2656.63/2664.07 c #Conflicts: 1726000 | #Constraints: 36602
2656.63/2664.07 c #Conflicts: 1727000 | #Constraints: 37602
2656.63/2664.07 c #Conflicts: 1728000 | #Constraints: 38602
2656.63/2664.07 c #Conflicts: 1729000 | #Constraints: 39602
2656.63/2664.07 c #Conflicts: 1730000 | #Constraints: 40602
2656.63/2664.07 c #Conflicts: 1731000 | #Constraints: 41602
2656.63/2664.07 c #Conflicts: 1732000 | #Constraints: 42602
2656.63/2664.07 c #Conflicts: 1733000 | #Constraints: 43602
2812.41/2820.20 c #Conflicts: 1734000 | #Constraints: 44602
2812.41/2820.20 c #Conflicts: 1735000 | #Constraints: 45602
2812.41/2820.20 c #Conflicts: 1736000 | #Constraints: 46602
2812.41/2820.20 c #Conflicts: 1737000 | #Constraints: 47602
2812.41/2820.20 c #Conflicts: 1738000 | #Constraints: 48602
2812.41/2820.20 c #Conflicts: 1739000 | #Constraints: 49602
2812.41/2820.20 c #Conflicts: 1740000 | #Constraints: 50602
2812.41/2820.20 c #Conflicts: 1741000 | #Constraints: 51602
2812.41/2820.20 c #Conflicts: 1742000 | #Constraints: 52602
2812.41/2820.20 c #Conflicts: 1743000 | #Constraints: 53602
2812.41/2820.20 c #Conflicts: 1744000 | #Constraints: 54602
2812.41/2820.20 c #Conflicts: 1745000 | #Constraints: 55602
2812.41/2820.20 c #Conflicts: 1746000 | #Constraints: 56602
2812.41/2820.20 c INPROCESSING
2812.41/2820.20 c GARBAGE COLLECT
2812.41/2820.20 c #Conflicts: 1747000 | #Constraints: 31407
2812.41/2820.20 c #Conflicts: 1748000 | #Constraints: 32407
2812.41/2820.20 c #Conflicts: 1749000 | #Constraints: 33407
2812.41/2820.20 c #Conflicts: 1750000 | #Constraints: 34407
2812.41/2820.20 c #Conflicts: 1751000 | #Constraints: 35407
2812.41/2820.20 c #Conflicts: 1752000 | #Constraints: 36407
2812.41/2820.20 c #Conflicts: 1753000 | #Constraints: 37407
2812.41/2820.20 c #Conflicts: 1754000 | #Constraints: 38407
2812.41/2820.20 c #Conflicts: 1755000 | #Constraints: 39407
2812.41/2820.20 c #Conflicts: 1756000 | #Constraints: 40407
2812.41/2820.20 c #Conflicts: 1757000 | #Constraints: 41407
2812.41/2820.20 c #Conflicts: 1758000 | #Constraints: 42407
2812.41/2820.20 c #Conflicts: 1759000 | #Constraints: 43407
2812.41/2820.20 c #Conflicts: 1760000 | #Constraints: 44407
2812.41/2820.20 c #Conflicts: 1761000 | #Constraints: 45407
2812.41/2820.20 c #Conflicts: 1762000 | #Constraints: 46407
2812.41/2820.20 c #Conflicts: 1763000 | #Constraints: 47407
2812.41/2820.20 c #Conflicts: 1764000 | #Constraints: 48407
2812.41/2820.20 c #Conflicts: 1765000 | #Constraints: 49407
2812.41/2820.20 c #Conflicts: 1766000 | #Constraints: 50407
2812.41/2820.20 c #Conflicts: 1767000 | #Constraints: 51407
2812.41/2820.20 c #Conflicts: 1768000 | #Constraints: 52407
2812.41/2820.20 c #Conflicts: 1769000 | #Constraints: 53407
2812.41/2820.20 c #Conflicts: 1770000 | #Constraints: 54407
2812.41/2820.20 c #Conflicts: 1771000 | #Constraints: 55407
2812.41/2820.20 c #Conflicts: 1772000 | #Constraints: 56407
2812.41/2820.20 c #Conflicts: 1773000 | #Constraints: 57407
2812.41/2820.20 c INPROCESSING
2812.41/2820.20 c GARBAGE COLLECT
2812.41/2820.20 c #Conflicts: 1774000 | #Constraints: 32004
2812.41/2820.20 c #Conflicts: 1775000 | #Constraints: 33004
2812.41/2820.20 c #Conflicts: 1776000 | #Constraints: 34004
2812.41/2820.20 c #Conflicts: 1777000 | #Constraints: 35004
2812.41/2820.20 c #Conflicts: 1778000 | #Constraints: 36004
2812.41/2820.20 c #Conflicts: 1779000 | #Constraints: 37004
2812.41/2820.20 c #Conflicts: 1780000 | #Constraints: 38004
2812.41/2820.20 c #Conflicts: 1781000 | #Constraints: 39004
2812.41/2820.20 c #Conflicts: 1782000 | #Constraints: 40004
2812.41/2820.20 c #Conflicts: 1783000 | #Constraints: 41004
2812.41/2820.20 c #Conflicts: 1784000 | #Constraints: 42004
2812.41/2820.20 c #Conflicts: 1785000 | #Constraints: 43004
2812.41/2820.20 c #Conflicts: 1786000 | #Constraints: 44004
2812.41/2820.20 c #Conflicts: 1787000 | #Constraints: 45004
2812.41/2820.20 c #Conflicts: 1788000 | #Constraints: 46004
2812.41/2820.20 c #Conflicts: 1789000 | #Constraints: 47004
2812.41/2820.20 c #Conflicts: 1790000 | #Constraints: 48004
2812.41/2820.20 c #Conflicts: 1791000 | #Constraints: 49004
2812.41/2820.20 c #Conflicts: 1792000 | #Constraints: 50004
2812.41/2820.20 c #Conflicts: 1793000 | #Constraints: 51004
2812.41/2820.20 c #Conflicts: 1794000 | #Constraints: 52004
2812.41/2820.20 c #Conflicts: 1795000 | #Constraints: 53004
2812.41/2820.20 c #Conflicts: 1796000 | #Constraints: 54004
2812.41/2820.20 c #Conflicts: 1797000 | #Constraints: 55004
2812.41/2820.20 c #Conflicts: 1798000 | #Constraints: 56004
2812.41/2820.20 c #Conflicts: 1799000 | #Constraints: 57004
2812.41/2820.20 c #Conflicts: 1800000 | #Constraints: 58004
2812.41/2820.20 c INPROCESSING
2812.41/2820.20 c GARBAGE COLLECT
2812.41/2820.20 c #Conflicts: 1801000 | #Constraints: 32408
2812.41/2820.20 c #Conflicts: 1802000 | #Constraints: 33408
2812.41/2820.20 c #Conflicts: 1803000 | #Constraints: 34408
2812.41/2820.20 c #Conflicts: 1804000 | #Constraints: 35408
2812.41/2820.20 c #Conflicts: 1805000 | #Constraints: 36408
2812.41/2820.20 c #Conflicts: 1806000 | #Constraints: 37408
2812.41/2820.20 c #Conflicts: 1807000 | #Constraints: 38408
2812.41/2820.20 c #Conflicts: 1808000 | #Constraints: 39408
2812.41/2820.20 c #Conflicts: 1809000 | #Constraints: 40408
2812.41/2820.20 c #Conflicts: 1810000 | #Constraints: 41408
2978.97/2987.22 c #Conflicts: 1811000 | #Constraints: 42408
2978.97/2987.22 c #Conflicts: 1812000 | #Constraints: 43408
2978.97/2987.22 c #Conflicts: 1813000 | #Constraints: 44408
2978.97/2987.22 c #Conflicts: 1814000 | #Constraints: 45408
2978.97/2987.22 c #Conflicts: 1815000 | #Constraints: 46408
2978.97/2987.22 c #Conflicts: 1816000 | #Constraints: 47408
2978.97/2987.22 c #Conflicts: 1817000 | #Constraints: 48408
2978.97/2987.22 c #Conflicts: 1818000 | #Constraints: 49408
2978.97/2987.22 c #Conflicts: 1819000 | #Constraints: 50408
2978.97/2987.22 c #Conflicts: 1820000 | #Constraints: 51408
2978.97/2987.22 c #Conflicts: 1821000 | #Constraints: 52408
2978.97/2987.22 c #Conflicts: 1822000 | #Constraints: 53408
2978.97/2987.22 c #Conflicts: 1823000 | #Constraints: 54408
2978.97/2987.22 c #Conflicts: 1824000 | #Constraints: 55408
2978.97/2987.22 c #Conflicts: 1825000 | #Constraints: 56408
2978.97/2987.22 c #Conflicts: 1826000 | #Constraints: 57408
2978.97/2987.22 c #Conflicts: 1827000 | #Constraints: 58408
2978.97/2987.22 c INPROCESSING
2978.97/2987.22 c GARBAGE COLLECT
2978.97/2987.22 c #Conflicts: 1828000 | #Constraints: 32613
2978.97/2987.22 c #Conflicts: 1829000 | #Constraints: 33613
2978.97/2987.22 c #Conflicts: 1830000 | #Constraints: 34613
2978.97/2987.22 c #Conflicts: 1831000 | #Constraints: 35613
2978.97/2987.22 c #Conflicts: 1832000 | #Constraints: 36613
2978.97/2987.22 c #Conflicts: 1833000 | #Constraints: 37613
2978.97/2987.22 c #Conflicts: 1834000 | #Constraints: 38613
2978.97/2987.22 c #Conflicts: 1835000 | #Constraints: 39613
2978.97/2987.22 c #Conflicts: 1836000 | #Constraints: 40613
2978.97/2987.22 c #Conflicts: 1837000 | #Constraints: 41613
2978.97/2987.22 c #Conflicts: 1838000 | #Constraints: 42613
2978.97/2987.22 c #Conflicts: 1839000 | #Constraints: 43613
2978.97/2987.22 c #Conflicts: 1840000 | #Constraints: 44613
2978.97/2987.22 c #Conflicts: 1841000 | #Constraints: 45613
2978.97/2987.22 c #Conflicts: 1842000 | #Constraints: 46613
2978.97/2987.22 c #Conflicts: 1843000 | #Constraints: 47613
2978.97/2987.22 c #Conflicts: 1844000 | #Constraints: 48613
2978.97/2987.22 c #Conflicts: 1845000 | #Constraints: 49613
2978.97/2987.22 c #Conflicts: 1846000 | #Constraints: 50613
2978.97/2987.22 c #Conflicts: 1847000 | #Constraints: 51613
2978.97/2987.22 c #Conflicts: 1848000 | #Constraints: 52613
2978.97/2987.22 c #Conflicts: 1849000 | #Constraints: 53613
2978.97/2987.22 c #Conflicts: 1850000 | #Constraints: 54613
2978.97/2987.22 c #Conflicts: 1851000 | #Constraints: 55613
2978.97/2987.22 c #Conflicts: 1852000 | #Constraints: 56613
2978.97/2987.22 c #Conflicts: 1853000 | #Constraints: 57613
2978.97/2987.22 c #Conflicts: 1854000 | #Constraints: 58613
2978.97/2987.22 c INPROCESSING
2978.97/2987.22 c GARBAGE COLLECT
2978.97/2987.22 c #Conflicts: 1855000 | #Constraints: 32610
2978.97/2987.22 c #Conflicts: 1856000 | #Constraints: 33610
2978.97/2987.22 c #Conflicts: 1857000 | #Constraints: 34610
2978.97/2987.22 c #Conflicts: 1858000 | #Constraints: 35610
2978.97/2987.22 c #Conflicts: 1859000 | #Constraints: 36610
2978.97/2987.22 c #Conflicts: 1860000 | #Constraints: 37610
2978.97/2987.22 c #Conflicts: 1861000 | #Constraints: 38610
2978.97/2987.22 c #Conflicts: 1862000 | #Constraints: 39610
2978.97/2987.22 c #Conflicts: 1863000 | #Constraints: 40610
2978.97/2987.22 c #Conflicts: 1864000 | #Constraints: 41610
2978.97/2987.22 c #Conflicts: 1865000 | #Constraints: 42610
2978.97/2987.22 c #Conflicts: 1866000 | #Constraints: 43610
2978.97/2987.22 c #Conflicts: 1867000 | #Constraints: 44610
2978.97/2987.22 c #Conflicts: 1868000 | #Constraints: 45610
2978.97/2987.22 c #Conflicts: 1869000 | #Constraints: 46610
2978.97/2987.22 c #Conflicts: 1870000 | #Constraints: 47610
2978.97/2987.22 c #Conflicts: 1871000 | #Constraints: 48610
2978.97/2987.22 c #Conflicts: 1872000 | #Constraints: 49610
2978.97/2987.22 c #Conflicts: 1873000 | #Constraints: 50610
2978.97/2987.22 c #Conflicts: 1874000 | #Constraints: 51610
2978.97/2987.22 c #Conflicts: 1875000 | #Constraints: 52610
2978.97/2987.22 c #Conflicts: 1876000 | #Constraints: 53610
2978.97/2987.22 c #Conflicts: 1877000 | #Constraints: 54610
2978.97/2987.22 c #Conflicts: 1878000 | #Constraints: 55610
2978.97/2987.22 c #Conflicts: 1879000 | #Constraints: 56610
2978.97/2987.22 c #Conflicts: 1880000 | #Constraints: 57610
2978.97/2987.22 c #Conflicts: 1881000 | #Constraints: 58610
2978.97/2987.22 c INPROCESSING
2978.97/2987.22 c GARBAGE COLLECT
2978.97/2987.22 c #Conflicts: 1882000 | #Constraints: 32411
2978.97/2987.22 c #Conflicts: 1883000 | #Constraints: 33411
2978.97/2987.22 c #Conflicts: 1884000 | #Constraints: 34411
2978.97/2987.22 c #Conflicts: 1885000 | #Constraints: 35411
2978.97/2987.22 c #Conflicts: 1886000 | #Constraints: 36411
2978.97/2987.22 c #Conflicts: 1887000 | #Constraints: 37411
3145.62/3154.33 c #Conflicts: 1888000 | #Constraints: 38411
3145.62/3154.33 c #Conflicts: 1889000 | #Constraints: 39411
3145.62/3154.33 c #Conflicts: 1890000 | #Constraints: 40411
3145.62/3154.33 c #Conflicts: 1891000 | #Constraints: 41411
3145.62/3154.33 c #Conflicts: 1892000 | #Constraints: 42411
3145.62/3154.33 c #Conflicts: 1893000 | #Constraints: 43411
3145.62/3154.33 c #Conflicts: 1894000 | #Constraints: 44411
3145.62/3154.33 c #Conflicts: 1895000 | #Constraints: 45411
3145.62/3154.33 c #Conflicts: 1896000 | #Constraints: 46411
3145.62/3154.33 c #Conflicts: 1897000 | #Constraints: 47411
3145.62/3154.33 c #Conflicts: 1898000 | #Constraints: 48411
3145.62/3154.33 c #Conflicts: 1899000 | #Constraints: 49411
3145.62/3154.33 c #Conflicts: 1900000 | #Constraints: 50411
3145.62/3154.33 c #Conflicts: 1901000 | #Constraints: 51411
3145.62/3154.33 c #Conflicts: 1902000 | #Constraints: 52411
3145.62/3154.33 c #Conflicts: 1903000 | #Constraints: 53411
3145.62/3154.33 c #Conflicts: 1904000 | #Constraints: 54411
3145.62/3154.33 c #Conflicts: 1905000 | #Constraints: 55411
3145.62/3154.33 c #Conflicts: 1906000 | #Constraints: 56411
3145.62/3154.33 c #Conflicts: 1907000 | #Constraints: 57411
3145.62/3154.33 c #Conflicts: 1908000 | #Constraints: 58411
3145.62/3154.33 c #Conflicts: 1909000 | #Constraints: 59411
3145.62/3154.33 c INPROCESSING
3145.62/3154.33 c GARBAGE COLLECT
3145.62/3154.33 c #Conflicts: 1910000 | #Constraints: 33008
3145.62/3154.33 c #Conflicts: 1911000 | #Constraints: 34008
3145.62/3154.33 c #Conflicts: 1912000 | #Constraints: 35008
3145.62/3154.33 c #Conflicts: 1913000 | #Constraints: 36008
3145.62/3154.33 c #Conflicts: 1914000 | #Constraints: 37008
3145.62/3154.33 c #Conflicts: 1915000 | #Constraints: 38008
3145.62/3154.33 c #Conflicts: 1916000 | #Constraints: 39008
3145.62/3154.33 c #Conflicts: 1917000 | #Constraints: 40008
3145.62/3154.33 c #Conflicts: 1918000 | #Constraints: 41008
3145.62/3154.33 c #Conflicts: 1919000 | #Constraints: 42008
3145.62/3154.33 c #Conflicts: 1920000 | #Constraints: 43008
3145.62/3154.33 c #Conflicts: 1921000 | #Constraints: 44008
3145.62/3154.33 c #Conflicts: 1922000 | #Constraints: 45008
3145.62/3154.33 c #Conflicts: 1923000 | #Constraints: 46008
3145.62/3154.33 c #Conflicts: 1924000 | #Constraints: 47008
3145.62/3154.33 c #Conflicts: 1925000 | #Constraints: 48008
3145.62/3154.33 c #Conflicts: 1926000 | #Constraints: 49008
3145.62/3154.33 c #Conflicts: 1927000 | #Constraints: 50008
3145.62/3154.33 c #Conflicts: 1928000 | #Constraints: 51008
3145.62/3154.33 c #Conflicts: 1929000 | #Constraints: 52008
3145.62/3154.33 c #Conflicts: 1930000 | #Constraints: 53008
3145.62/3154.33 c #Conflicts: 1931000 | #Constraints: 54008
3145.62/3154.33 c #Conflicts: 1932000 | #Constraints: 55008
3145.62/3154.33 c #Conflicts: 1933000 | #Constraints: 56008
3145.62/3154.33 c #Conflicts: 1934000 | #Constraints: 57008
3145.62/3154.33 c #Conflicts: 1935000 | #Constraints: 58008
3145.62/3154.33 c #Conflicts: 1936000 | #Constraints: 59008
3145.62/3154.33 c #Conflicts: 1937000 | #Constraints: 60008
3145.62/3154.33 c INPROCESSING
3145.62/3154.33 c GARBAGE COLLECT
3145.62/3154.33 c #Conflicts: 1938000 | #Constraints: 33408
3145.62/3154.33 c #Conflicts: 1939000 | #Constraints: 34408
3145.62/3154.33 c #Conflicts: 1940000 | #Constraints: 35408
3145.62/3154.33 c #Conflicts: 1941000 | #Constraints: 36408
3145.62/3154.33 c #Conflicts: 1942000 | #Constraints: 37408
3145.62/3154.33 c #Conflicts: 1943000 | #Constraints: 38408
3145.62/3154.33 c #Conflicts: 1944000 | #Constraints: 39408
3145.62/3154.33 c #Conflicts: 1945000 | #Constraints: 40408
3145.62/3154.33 c #Conflicts: 1946000 | #Constraints: 41408
3145.62/3154.33 c #Conflicts: 1947000 | #Constraints: 42408
3145.62/3154.33 c #Conflicts: 1948000 | #Constraints: 43408
3145.62/3154.33 c #Conflicts: 1949000 | #Constraints: 44408
3145.62/3154.33 c #Conflicts: 1950000 | #Constraints: 45408
3145.62/3154.33 c #Conflicts: 1951000 | #Constraints: 46408
3145.62/3154.33 c #Conflicts: 1952000 | #Constraints: 47408
3145.62/3154.33 c #Conflicts: 1953000 | #Constraints: 48408
3145.62/3154.33 c #Conflicts: 1954000 | #Constraints: 49408
3145.62/3154.33 c #Conflicts: 1955000 | #Constraints: 50408
3145.62/3154.33 c #Conflicts: 1956000 | #Constraints: 51408
3145.62/3154.33 c #Conflicts: 1957000 | #Constraints: 52408
3145.62/3154.33 c #Conflicts: 1958000 | #Constraints: 53408
3145.62/3154.33 c #Conflicts: 1959000 | #Constraints: 54408
3145.62/3154.33 c #Conflicts: 1960000 | #Constraints: 55408
3145.62/3154.33 c #Conflicts: 1961000 | #Constraints: 56408
3145.62/3154.33 c #Conflicts: 1962000 | #Constraints: 57408
3145.62/3154.33 c #Conflicts: 1963000 | #Constraints: 58408
3145.62/3154.33 c #Conflicts: 1964000 | #Constraints: 59408
3318.47/3327.67 c #Conflicts: 1965000 | #Constraints: 60408
3318.47/3327.67 c INPROCESSING
3318.47/3327.67 c GARBAGE COLLECT
3318.47/3327.67 c #Conflicts: 1966000 | #Constraints: 33613
3318.47/3327.67 c #Conflicts: 1967000 | #Constraints: 34613
3318.47/3327.67 c #Conflicts: 1968000 | #Constraints: 35613
3318.47/3327.67 c #Conflicts: 1969000 | #Constraints: 36613
3318.47/3327.67 c #Conflicts: 1970000 | #Constraints: 37613
3318.47/3327.67 c #Conflicts: 1971000 | #Constraints: 38613
3318.47/3327.67 c #Conflicts: 1972000 | #Constraints: 39613
3318.47/3327.67 c #Conflicts: 1973000 | #Constraints: 40613
3318.47/3327.67 c #Conflicts: 1974000 | #Constraints: 41613
3318.47/3327.67 c #Conflicts: 1975000 | #Constraints: 42613
3318.47/3327.67 c #Conflicts: 1976000 | #Constraints: 43613
3318.47/3327.67 c #Conflicts: 1977000 | #Constraints: 44613
3318.47/3327.67 c #Conflicts: 1978000 | #Constraints: 45613
3318.47/3327.67 c #Conflicts: 1979000 | #Constraints: 46613
3318.47/3327.67 c #Conflicts: 1980000 | #Constraints: 47613
3318.47/3327.67 c #Conflicts: 1981000 | #Constraints: 48613
3318.47/3327.67 c #Conflicts: 1982000 | #Constraints: 49613
3318.47/3327.67 c #Conflicts: 1983000 | #Constraints: 50613
3318.47/3327.67 c #Conflicts: 1984000 | #Constraints: 51613
3318.47/3327.67 c #Conflicts: 1985000 | #Constraints: 52613
3318.47/3327.67 c #Conflicts: 1986000 | #Constraints: 53613
3318.47/3327.67 c #Conflicts: 1987000 | #Constraints: 54613
3318.47/3327.67 c #Conflicts: 1988000 | #Constraints: 55613
3318.47/3327.67 c #Conflicts: 1989000 | #Constraints: 56613
3318.47/3327.67 c #Conflicts: 1990000 | #Constraints: 57613
3318.47/3327.67 c #Conflicts: 1991000 | #Constraints: 58613
3318.47/3327.67 c #Conflicts: 1992000 | #Constraints: 59613
3318.47/3327.67 c #Conflicts: 1993000 | #Constraints: 60613
3318.47/3327.67 c INPROCESSING
3318.47/3327.67 c GARBAGE COLLECT
3318.47/3327.67 c #Conflicts: 1994000 | #Constraints: 33607
3318.47/3327.67 c #Conflicts: 1995000 | #Constraints: 34607
3318.47/3327.67 c #Conflicts: 1996000 | #Constraints: 35607
3318.47/3327.67 c #Conflicts: 1997000 | #Constraints: 36607
3318.47/3327.67 c #Conflicts: 1998000 | #Constraints: 37607
3318.47/3327.67 c #Conflicts: 1999000 | #Constraints: 38607
3318.47/3327.67 c #Conflicts: 2000000 | #Constraints: 39607
3318.47/3327.67 c #Conflicts: 2001000 | #Constraints: 40607
3318.47/3327.67 c #Conflicts: 2002000 | #Constraints: 41607
3318.47/3327.67 c #Conflicts: 2003000 | #Constraints: 42607
3318.47/3327.67 c #Conflicts: 2004000 | #Constraints: 43607
3318.47/3327.67 c #Conflicts: 2005000 | #Constraints: 44607
3318.47/3327.67 c #Conflicts: 2006000 | #Constraints: 45607
3318.47/3327.67 c #Conflicts: 2007000 | #Constraints: 46607
3318.47/3327.67 c #Conflicts: 2008000 | #Constraints: 47607
3318.47/3327.67 c #Conflicts: 2009000 | #Constraints: 48607
3318.47/3327.67 c #Conflicts: 2010000 | #Constraints: 49607
3318.47/3327.67 c #Conflicts: 2011000 | #Constraints: 50607
3318.47/3327.67 c #Conflicts: 2012000 | #Constraints: 51607
3318.47/3327.67 c #Conflicts: 2013000 | #Constraints: 52607
3318.47/3327.67 c #Conflicts: 2014000 | #Constraints: 53607
3318.47/3327.67 c #Conflicts: 2015000 | #Constraints: 54607
3318.47/3327.67 c #Conflicts: 2016000 | #Constraints: 55607
3318.47/3327.67 c #Conflicts: 2017000 | #Constraints: 56607
3318.47/3327.67 c #Conflicts: 2018000 | #Constraints: 57607
3318.47/3327.67 c #Conflicts: 2019000 | #Constraints: 58607
3318.47/3327.67 c #Conflicts: 2020000 | #Constraints: 59607
3318.47/3327.67 c #Conflicts: 2021000 | #Constraints: 60607
3318.47/3327.67 c INPROCESSING
3318.47/3327.67 c GARBAGE COLLECT
3318.47/3327.67 c #Conflicts: 2022000 | #Constraints: 33407
3318.47/3327.67 c #Conflicts: 2023000 | #Constraints: 34407
3318.47/3327.67 c #Conflicts: 2024000 | #Constraints: 35407
3318.47/3327.67 c #Conflicts: 2025000 | #Constraints: 36407
3318.47/3327.67 c #Conflicts: 2026000 | #Constraints: 37407
3318.47/3327.67 c #Conflicts: 2027000 | #Constraints: 38407
3318.47/3327.67 c #Conflicts: 2028000 | #Constraints: 39407
3318.47/3327.67 c #Conflicts: 2029000 | #Constraints: 40407
3318.47/3327.67 c #Conflicts: 2030000 | #Constraints: 41407
3318.47/3327.67 c #Conflicts: 2031000 | #Constraints: 42407
3318.47/3327.67 c #Conflicts: 2032000 | #Constraints: 43407
3318.47/3327.67 c #Conflicts: 2033000 | #Constraints: 44407
3318.47/3327.67 c #Conflicts: 2034000 | #Constraints: 45407
3318.47/3327.67 c #Conflicts: 2035000 | #Constraints: 46407
3318.47/3327.67 c #Conflicts: 2036000 | #Constraints: 47407
3318.47/3327.67 c #Conflicts: 2037000 | #Constraints: 48407
3318.47/3327.67 c #Conflicts: 2038000 | #Constraints: 49407
3318.47/3327.67 c #Conflicts: 2039000 | #Constraints: 50407
3318.47/3327.67 c #Conflicts: 2040000 | #Constraints: 51407
3318.47/3327.67 c #Conflicts: 2041000 | #Constraints: 52407
3470.90/3480.54 c #Conflicts: 2042000 | #Constraints: 53407
3470.90/3480.54 c #Conflicts: 2043000 | #Constraints: 54407
3470.90/3480.54 c #Conflicts: 2044000 | #Constraints: 55407
3470.90/3480.54 c #Conflicts: 2045000 | #Constraints: 56407
3470.90/3480.54 c #Conflicts: 2046000 | #Constraints: 57407
3470.90/3480.54 c #Conflicts: 2047000 | #Constraints: 58407
3470.90/3480.54 c #Conflicts: 2048000 | #Constraints: 59407
3470.90/3480.54 c #Conflicts: 2049000 | #Constraints: 60407
3470.90/3480.54 c #Conflicts: 2050000 | #Constraints: 61407
3470.90/3480.54 c INPROCESSING
3470.90/3480.54 c GARBAGE COLLECT
3470.90/3480.54 c #Conflicts: 2051000 | #Constraints: 34005
3470.90/3480.54 c #Conflicts: 2052000 | #Constraints: 35005
3470.90/3480.54 c #Conflicts: 2053000 | #Constraints: 36005
3470.90/3480.54 c #Conflicts: 2054000 | #Constraints: 37005
3470.90/3480.54 c #Conflicts: 2055000 | #Constraints: 38005
3470.90/3480.54 c #Conflicts: 2056000 | #Constraints: 39005
3470.90/3480.54 c #Conflicts: 2057000 | #Constraints: 40005
3470.90/3480.54 c #Conflicts: 2058000 | #Constraints: 41005
3470.90/3480.54 c #Conflicts: 2059000 | #Constraints: 42005
3470.90/3480.54 c #Conflicts: 2060000 | #Constraints: 43005
3470.90/3480.54 c #Conflicts: 2061000 | #Constraints: 44005
3470.90/3480.54 c #Conflicts: 2062000 | #Constraints: 45005
3470.90/3480.54 c #Conflicts: 2063000 | #Constraints: 46005
3470.90/3480.54 c #Conflicts: 2064000 | #Constraints: 47005
3470.90/3480.54 c #Conflicts: 2065000 | #Constraints: 48005
3470.90/3480.54 c #Conflicts: 2066000 | #Constraints: 49005
3470.90/3480.54 c #Conflicts: 2067000 | #Constraints: 50005
3470.90/3480.54 c #Conflicts: 2068000 | #Constraints: 51005
3470.90/3480.54 c #Conflicts: 2069000 | #Constraints: 52005
3470.90/3480.54 c #Conflicts: 2070000 | #Constraints: 53005
3470.90/3480.54 c #Conflicts: 2071000 | #Constraints: 54005
3470.90/3480.54 c #Conflicts: 2072000 | #Constraints: 55005
3470.90/3480.54 c #Conflicts: 2073000 | #Constraints: 56005
3470.90/3480.54 c #Conflicts: 2074000 | #Constraints: 57005
3470.90/3480.54 c #Conflicts: 2075000 | #Constraints: 58005
3470.90/3480.54 c #Conflicts: 2076000 | #Constraints: 59005
3470.90/3480.54 c #Conflicts: 2077000 | #Constraints: 60005
3470.90/3480.54 c #Conflicts: 2078000 | #Constraints: 61005
3470.90/3480.54 c #Conflicts: 2079000 | #Constraints: 62005
3470.90/3480.54 c INPROCESSING
3470.90/3480.54 c GARBAGE COLLECT
3470.90/3480.54 c #Conflicts: 2080000 | #Constraints: 34408
3470.90/3480.54 c #Conflicts: 2081000 | #Constraints: 35408
3470.90/3480.54 c #Conflicts: 2082000 | #Constraints: 36408
3470.90/3480.54 c #Conflicts: 2083000 | #Constraints: 37408
3470.90/3480.54 c #Conflicts: 2084000 | #Constraints: 38408
3470.90/3480.54 c #Conflicts: 2085000 | #Constraints: 39408
3470.90/3480.54 c #Conflicts: 2086000 | #Constraints: 40408
3470.90/3480.54 c #Conflicts: 2087000 | #Constraints: 41408
3470.90/3480.54 c #Conflicts: 2088000 | #Constraints: 42408
3470.90/3480.54 c #Conflicts: 2089000 | #Constraints: 43408
3470.90/3480.54 c #Conflicts: 2090000 | #Constraints: 44408
3470.90/3480.54 c #Conflicts: 2091000 | #Constraints: 45408
3470.90/3480.54 c #Conflicts: 2092000 | #Constraints: 46408
3470.90/3480.54 c #Conflicts: 2093000 | #Constraints: 47408
3470.90/3480.54 c #Conflicts: 2094000 | #Constraints: 48408
3470.90/3480.54 c #Conflicts: 2095000 | #Constraints: 49408
3470.90/3480.54 c #Conflicts: 2096000 | #Constraints: 50408
3470.90/3480.54 c #Conflicts: 2097000 | #Constraints: 51408
3470.90/3480.54 c #Conflicts: 2098000 | #Constraints: 52408
3470.90/3480.54 c #Conflicts: 2099000 | #Constraints: 53408
3470.90/3480.54 c #Conflicts: 2100000 | #Constraints: 54408
3470.90/3480.54 c #Conflicts: 2101000 | #Constraints: 55408
3470.90/3480.54 c #Conflicts: 2102000 | #Constraints: 56408
3470.90/3480.54 c #Conflicts: 2103000 | #Constraints: 57408
3470.90/3480.54 c #Conflicts: 2104000 | #Constraints: 58408
3470.90/3480.54 c #Conflicts: 2105000 | #Constraints: 59408
3470.90/3480.54 c #Conflicts: 2106000 | #Constraints: 60408
3470.90/3480.54 c #Conflicts: 2107000 | #Constraints: 61408
3470.90/3480.54 c #Conflicts: 2108000 | #Constraints: 62408
3470.90/3480.54 c INPROCESSING
3470.90/3480.54 c GARBAGE COLLECT
3470.90/3480.54 c #Conflicts: 2109000 | #Constraints: 34619
3470.90/3480.54 c #Conflicts: 2110000 | #Constraints: 35619
3470.90/3480.54 c #Conflicts: 2111000 | #Constraints: 36619
3470.90/3480.54 c #Conflicts: 2112000 | #Constraints: 37619
3470.90/3480.54 c #Conflicts: 2113000 | #Constraints: 38619
3470.90/3480.54 c #Conflicts: 2114000 | #Constraints: 39619
3470.90/3480.54 c #Conflicts: 2115000 | #Constraints: 40619
3470.90/3480.54 c #Conflicts: 2116000 | #Constraints: 41619
3470.90/3480.54 c #Conflicts: 2117000 | #Constraints: 42619
3470.90/3480.54 c #Conflicts: 2118000 | #Constraints: 43619
3600.00/3610.01 c #Conflicts: 2119000 | #Constraints: 44619
3600.00/3610.01 c #Conflicts: 2120000 | #Constraints: 45619
3600.00/3610.01 c #Conflicts: 2121000 | #Constraints: 46619
3600.00/3610.01 c #Conflicts: 2122000 | #Constraints: 47619
3600.00/3610.01 c #Conflicts: 2123000 | #Constraints: 48619
3600.00/3610.01 c #Conflicts: 2124000 | #Constraints: 49619
3600.00/3610.01 c #Conflicts: 2125000 | #Constraints: 50619
3600.00/3610.01 c #Conflicts: 2126000 | #Constraints: 51619
3600.00/3610.01 c #Conflicts: 2127000 | #Constraints: 52619
3600.00/3610.01 c #Conflicts: 2128000 | #Constraints: 53619
3600.00/3610.01 c #Conflicts: 2129000 | #Constraints: 54619
3600.00/3610.01 c #Conflicts: 2130000 | #Constraints: 55619
3600.00/3610.01 c #Conflicts: 2131000 | #Constraints: 56619
3600.00/3610.01 c #Conflicts: 2132000 | #Constraints: 57619
3600.00/3610.01 c #Conflicts: 2133000 | #Constraints: 58619
3600.00/3610.01 c #Conflicts: 2134000 | #Constraints: 59619
3600.00/3610.01 c #Conflicts: 2135000 | #Constraints: 60619
3600.00/3610.01 c #Conflicts: 2136000 | #Constraints: 61619
3600.00/3610.01 c #Conflicts: 2137000 | #Constraints: 62619
3600.00/3610.01 c INPROCESSING
3600.00/3610.01 c GARBAGE COLLECT
3600.00/3610.01 c #Conflicts: 2138000 | #Constraints: 34609
3600.00/3610.01 c #Conflicts: 2139000 | #Constraints: 35609
3600.00/3610.01 c #Conflicts: 2140000 | #Constraints: 36609
3600.00/3610.01 c #Conflicts: 2141000 | #Constraints: 37609
3600.00/3610.01 c #Conflicts: 2142000 | #Constraints: 38609
3600.00/3610.01 c #Conflicts: 2143000 | #Constraints: 39609
3600.00/3610.01 c #Conflicts: 2144000 | #Constraints: 40609
3600.00/3610.01 c #Conflicts: 2145000 | #Constraints: 41609
3600.00/3610.01 c #Conflicts: 2146000 | #Constraints: 42609
3600.00/3610.01 c #Conflicts: 2147000 | #Constraints: 43609
3600.00/3610.01 c #Conflicts: 2148000 | #Constraints: 44609
3600.00/3610.01 c #Conflicts: 2149000 | #Constraints: 45609
3600.00/3610.01 c #Conflicts: 2150000 | #Constraints: 46609
3600.00/3610.01 c #Conflicts: 2151000 | #Constraints: 47609
3600.00/3610.01 c #Conflicts: 2152000 | #Constraints: 48609
3600.00/3610.01 c #Conflicts: 2153000 | #Constraints: 49609
3600.00/3610.01 c #Conflicts: 2154000 | #Constraints: 50609
3600.00/3610.01 c #Conflicts: 2155000 | #Constraints: 51609
3600.00/3610.01 c #Conflicts: 2156000 | #Constraints: 52609
3600.00/3610.01 c #Conflicts: 2157000 | #Constraints: 53609
3600.00/3610.01 c #Conflicts: 2158000 | #Constraints: 54609
3600.00/3610.01 c #Conflicts: 2159000 | #Constraints: 55609
3600.00/3610.01 c #Conflicts: 2160000 | #Constraints: 56609
3600.00/3610.01 c #Conflicts: 2161000 | #Constraints: 57609
3600.00/3610.01 c #Conflicts: 2162000 | #Constraints: 58609
3600.00/3610.01 c #Conflicts: 2163000 | #Constraints: 59609
3600.00/3610.01 c #Conflicts: 2164000 | #Constraints: 60609
3600.00/3610.01 c #Conflicts: 2165000 | #Constraints: 61609
3600.00/3610.01 c #Conflicts: 2166000 | #Constraints: 62609
3600.00/3610.01 c INPROCESSING
3600.00/3610.01 c GARBAGE COLLECT
3600.00/3610.01 c #Conflicts: 2167000 | #Constraints: 34408
3600.00/3610.01 c #Conflicts: 2168000 | #Constraints: 35408
3600.00/3610.01 c #Conflicts: 2169000 | #Constraints: 36408
3600.00/3610.01 c #Conflicts: 2170000 | #Constraints: 37408
3600.00/3610.01 c #Conflicts: 2171000 | #Constraints: 38408
3600.00/3610.01 c #Conflicts: 2172000 | #Constraints: 39408
3600.00/3610.01 c #Conflicts: 2173000 | #Constraints: 40408
3600.00/3610.01 c #Conflicts: 2174000 | #Constraints: 41408
3600.00/3610.01 c #Conflicts: 2175000 | #Constraints: 42408
3600.00/3610.01 c #Conflicts: 2176000 | #Constraints: 43408
3600.00/3610.01 c #Conflicts: 2177000 | #Constraints: 44408
3600.00/3610.01 c #Conflicts: 2178000 | #Constraints: 45408
3600.00/3610.01 c #Conflicts: 2179000 | #Constraints: 46408
3600.00/3610.01 c #Conflicts: 2180000 | #Constraints: 47408
3600.00/3610.01 c #Conflicts: 2181000 | #Constraints: 48408
3600.00/3610.01 c #Conflicts: 2182000 | #Constraints: 49408
3600.00/3610.01 c Program interrupted by user.
3600.00/3610.01 c cpu time 3589.19 s
3600.00/3610.01 c deterministic time 122338994929 1.22e+11
3600.00/3610.01 c optimization time 31.8805 s
3600.00/3610.01 c total solve time 3557.28 s
3600.00/3610.01 c core-guided solve time 3557.28 s
3600.00/3610.01 c propagation time 1373.98 s
3600.00/3610.01 c conflict analysis time 2122.38 s
3600.00/3610.01 c propagations 634162564
3600.00/3610.01 c resolve steps 47469146
3600.00/3610.01 c decisions 3532947
3600.00/3610.01 c conflicts 2182589
3600.00/3610.01 c restarts 4093
3600.00/3610.01 c inprocessing phases 138
3600.00/3610.01 c input clauses 2380
3600.00/3610.01 c input cardinalities 40
3600.00/3610.01 c input general constraints 2371
3600.00/3610.01 c input average constraint length 17.16
3600.00/3610.01 c input average constraint degree 154.30
3600.00/3610.01 c learned clauses 2130862
3600.00/3610.01 c learned cardinalities 42
3600.00/3610.01 c learned general constraints 51684
3600.00/3610.01 c learned average constraint length 174.90
3600.00/3610.01 c learned average constraint degree 262.24
3600.00/3610.01 c watched constraints 23027
3600.00/3610.01 c counting constraints 31028
3600.00/3610.01 c gcd simplifications 831910
3600.00/3610.01 c detected cardinalities 0
3600.00/3610.01 c weakened non-implied lits 3116596569
3600.00/3610.01 c weakened non-implying lits 5351871
3600.00/3610.01 c original variables 2460
3600.00/3610.01 c clausal propagations 51768665
3600.00/3610.01 c cardinality propagations 2234315
3600.00/3610.01 c watched propagations 63769
3600.00/3610.01 c counting propagations 577877335
3600.00/3610.01 c watch lookups 40431986296
3600.00/3610.01 c watch backjump lookups 40208205792
3600.00/3610.01 c watch checks 940934737
3600.00/3610.01 c propagation checks 27956513056
3600.00/3610.01 c constraint additions 11523783533
3600.00/3610.01 c trail pops 639876003
3600.00/3610.01 c formula constraints 4760
3600.00/3610.01 c learned constraints 2182588
3600.00/3610.01 c bound constraints 29
3600.00/3610.01 c core-guided constraints 2
3600.00/3610.01 c encountered formula constraints 40619121
3600.00/3610.01 c encountered learned constraints 8255066
3600.00/3610.01 c encountered bound constraints 777023
3600.00/3610.01 c encountered core-guided constraints 525
3600.00/3610.01 c LP total time 0 s
3600.00/3610.01 c LP solve time 0 s
3600.00/3610.01 c LP constraints added 0
3600.00/3610.01 c LP constraints removed 0
3600.00/3610.01 c LP pivots internal 0
3600.00/3610.01 c LP pivots root 0
3600.00/3610.01 c LP calls 0
3600.00/3610.01 c LP optimalities 0
3600.00/3610.01 c LP no pivot count 0
3600.00/3610.01 c LP infeasibilities 0
3600.00/3610.01 c LP valid Farkas constraints 0
3600.00/3610.01 c LP learned Farkas constraints 0
3600.00/3610.01 c LP basis resets 0
3600.00/3610.01 c LP cycling count 0
3600.00/3610.01 c LP singular count 0
3600.00/3610.01 c LP no primal count 0
3600.00/3610.01 c LP no farkas count 0
3600.00/3610.01 c LP other issue count 0
3600.00/3610.01 c LP Gomory cuts 0
3600.00/3610.01 c LP learned cuts 0
3600.00/3610.01 c LP deleted cuts 0
3600.00/3610.01 c LP encountered Gomory constraints 0
3600.00/3610.01 c LP encountered Farkas constraints 0
3600.00/3610.01 c LP encountered learned Farkas constraints 0
3600.00/3610.01 c CG auxiliary variables introduced 1
3600.00/3610.01 c CG solutions found 26
3600.00/3610.01 c CG cores constructed 3
3600.00/3610.01 c CG core cardinality constraints returned 0
3600.00/3610.01 c CG unit cores 0
3600.00/3610.01 c CG single cores 3
3600.00/3610.01 c CG blocks removed during cardinality reduction 0
3600.00/3610.01 c CG first core best 0
3600.00/3610.01 c CG decision core best 0
3600.00/3610.01 c CG core reduction tie 0
3600.00/3610.01 c CG core degree average 1.00
3600.00/3610.01 c CG core slack average 387.67
3600.00/3610.01 c CG exhausted 0
3600.00/3610.01 c CG exhaust time 1.16115 s
3600.00/3610.01 c CG trimmed 2
3600.00/3610.01 c CG trim time 0.003211 s
3600.00/3610.01 c CG minimized 0
3600.00/3610.01 c CG minimize time 0 s
3600.00/3610.01 c CG am1 prop time 0.003631 s
3600.00/3610.01 c CG # am1s reformulated 0
3600.00/3610.01 c CG lower bound derived from am1s 0
3600.00/3610.01 c CG # clausal cores 3
3600.00/3610.01 c CG # cardinality cores 0
3600.00/3610.01 c CG # pb cores 0
3600.00/3610.01 c CG # pb reforms 1
3600.00/3610.01 c CG # cores discarded because of pb reform 0
3600.00/3610.01 d LOWERBOUND 39
3600.00/3610.01 d NCORES 3
3600.00/3610.01 d NPBCORES 0
3600.00/3610.01 d NPBREFORM 1
3600.00/3610.01 d NTRIMMED 2
3600.00/3610.01 d NEXHAUSTED 0
3600.00/3610.01 d NAM1S 0
3600.00/3610.01 d AM1LB 0
3600.00/3610.01 o 1183
3600.00/3610.01 s SATISFIABLE
3600.00/3610.01 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 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 x464 x465 x466 x467 x468 x469 x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 x572 x573 x574 x575 x576 x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 x676 x677 x678 x679 x680 x681 x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 x778 x779 x780 x781 x782 x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 x877 x878 x879 x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 x973 x974 x975 x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 x1066 x1067 x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 x1434 x1435 x1436 x1437 x1438 x1439 x1440 x1441 x1442 x1443 x1444 x1445 x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 x1512 x1513 x1514 x1515 x1516 x1517 x1518 x1519 x1520 x1521 x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 x1585 x1586 x1587 x1588 x1589 x1590 x1591 x1592 x1593 x1594 x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 x1656 x1657 x1658 x1659 x1660 x1661 x1662 x1663 x1664 x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 x1724 x1725 x1726 x1727 x1728 x1729 x1730 x1731 x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 x1789 x1790 x1791 x1792 x1793 x1794 x1795 x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 x1851 x1852 x1853 x1854 x1855 x1856 x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 x1910 x1911 x1912 x1913 x1914 x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 x1966 x1967 x1968 x1969 x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 x2019 x2020 x2021 x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 x2069 x2070 x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 x2116 x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 x2251 x2252 x2253 x2254 x2255 x2256 x2257 x2258 x2259 x2260 x2261 x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 x2285 x2286 x2287 x2288 x2289 x2290 x2291 x2292 x2293 x2294 x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 x2316 x2317 x2318 x2319 x2320 x2321 x2322 x2323 x2324 x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 x2344 x2345 x2346 x2347 x2348 x2349 x2350 x2351 x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 x2369 x2370 x2371 x2372 x2373 x2374 x2375 x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 x2391 x2392 x2393 x2394 x2395 x2396 x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 x2410 x2411 x2412 x2413 x2414 x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 x2426 x2427 x2428 x2429 x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 x2439 x2440 x2441 x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 x2449 x2450 x2451 -x2452 -x2453 -x2454 -x2455 x2456 x2457 -x2458 -x2459 x2460
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: 63794 MiB (62999 MiB free)
memory of node 1: 64507 MiB (63689 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509144-1751518351/watcher-4509144-1751518351 -o /tmp/evaluation-result-4509144-1751518351/solver-4509144-1751518351 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751518082-70848 --watchdog 3760 pb-oll-rs HOME/instance-4509144-1751518351.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=70959, runsolver pid=70956
[startup+0.100071 s]*
/proc/loadavg: 4.09 3.02 2.68 5/251 70960
/proc/meminfo: memFree=129729636/131382112 swapFree=33010416/33010684
[pid=70959] ppid=70956 vsize=21716 memory=9496 CPUtime=0.09 cores=5,7
/proc/70959/stat : 70959 (pb-oll-rs) R 70956 70959 70835 0 -1 4194304 837 0 0 0 7 2 0 0 20 0 1 0 67514775 22237184 2374 18446744073709551615 4218880 5211445 140730475368448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 38109184 140730475375004 140730475375081 140730475375081 140730475380683 0
/proc/70959/statm: 5429 2374 1312 243 0 1678 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21716 KiB
Current children cumulated memory: 9496 KiB
[startup+0.213841 s]*
/proc/loadavg: 4.09 3.02 2.68 5/251 70960
/proc/meminfo: memFree=129729684/131382112 swapFree=33010416/33010684
[pid=70959] ppid=70956 vsize=22228 memory=10008 CPUtime=0.2 cores=5,7
/proc/70959/stat : 70959 (pb-oll-rs) R 70956 70959 70835 0 -1 4194304 955 0 0 0 16 4 0 0 20 0 1 0 67514775 22761472 2502 18446744073709551615 4218880 5211445 140730475368448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 38109184 140730475375004 140730475375081 140730475375081 140730475380683 0
/proc/70959/statm: 5557 2502 1312 243 0 1806 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 22228 KiB
Current children cumulated memory: 10008 KiB
[startup+0.313626 s]*
/proc/loadavg: 4.09 3.02 2.68 5/251 70960
/proc/meminfo: memFree=129729684/131382112 swapFree=33010416/33010684
[pid=70959] ppid=70956 vsize=22228 memory=10008 CPUtime=0.3 cores=5,7
/proc/70959/stat : 70959 (pb-oll-rs) R 70956 70959 70835 0 -1 4194304 955 0 0 0 26 4 0 0 20 0 1 0 67514775 22761472 2502 18446744073709551615 4218880 5211445 140730475368448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 38109184 140730475375004 140730475375081 140730475375081 140730475380683 0
/proc/70959/statm: 5557 2502 1312 243 0 1806 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 22228 KiB
Current children cumulated memory: 10008 KiB
[startup+0.70034 s]
/proc/loadavg: 4.09 3.02 2.68 5/251 70960
/proc/meminfo: memFree=129729684/131382112 swapFree=33010416/33010684
[pid=70959] ppid=70956 vsize=22228 memory=10008 CPUtime=0.67 cores=5,7
/proc/70959/stat : 70959 (pb-oll-rs) R 70956 70959 70835 0 -1 4194304 961 0 0 0 63 4 0 0 20 0 1 0 67514775 22761472 2502 18446744073709551615 4218880 5211445 140730475368448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 38109184 140730475375004 140730475375081 140730475375081 140730475380683 0
/proc/70959/statm: 5557 2502 1312 243 0 1806 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 22228 KiB
Current children cumulated memory: 10008 KiB
[startup+1.50035 s]
/proc/loadavg: 4.09 3.02 2.68 5/251 70960
/proc/meminfo: memFree=129729684/131382112 swapFree=33010416/33010684
[pid=70959] ppid=70956 vsize=22640 memory=10392 CPUtime=1.48 cores=5,7
/proc/70959/stat : 70959 (pb-oll-rs) R 70956 70959 70835 0 -1 4194304 1041 0 0 0 143 5 0 0 20 0 1 0 67514775 23183360 2598 18446744073709551615 4218880 5211445 140730475368448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 38109184 140730475375004 140730475375081 140730475375081 140730475380683 0
/proc/70959/statm: 5660 2598 1312 243 0 1909 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 22640 KiB
Current children cumulated memory: 10392 KiB
[startup+3.11325 s]
/proc/loadavg: 4.08 3.03 2.69 5/251 70960
/proc/meminfo: memFree=129729944/131382112 swapFree=33010416/33010684
[pid=70959] ppid=70956 vsize=22776 memory=12580 CPUtime=3.08 cores=5,7
/proc/70959/stat : 70959 (pb-oll-rs) R 70956 70959 70835 0 -1 4194304 1077 0 0 0 303 5 0 0 20 0 1 0 67514775 23322624 3145 18446744073709551615 4218880 5211445 140730475368448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 38109184 140730475375004 140730475375081 140730475375081 140730475380683 0
/proc/70959/statm: 5694 3145 1312 243 0 1943 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 22776 KiB
Current children cumulated memory: 12580 KiB
[startup+6.30034 s]
/proc/loadavg: 4.08 3.03 2.69 5/251 70960
/proc/meminfo: memFree=129730228/131382112 swapFree=33010416/33010684
[pid=70959] ppid=70956 vsize=23276 memory=13092 CPUtime=6.26 cores=5,7
/proc/70959/stat : 70959 (pb-oll-rs) R 70956 70959 70835 0 -1 4194304 1202 0 0 0 619 7 0 0 20 0 1 0 67514775 23834624 3273 18446744073709551615 4218880 5211445 140730475368448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 38109184 140730475375004 140730475375081 140730475375081 140730475380683 0
/proc/70959/statm: 5819 3273 1312 243 0 2068 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 23276 KiB
Current children cumulated memory: 13092 KiB
[startup+12.7003 s]
/proc/loadavg: 4.07 3.05 2.69 5/251 70960
/proc/meminfo: memFree=129730504/131382112 swapFree=33010416/33010684
[pid=70959] ppid=70956 vsize=23564 memory=13476 CPUtime=12.65 cores=5,7
/proc/70959/stat : 70959 (pb-oll-rs) R 70956 70959 70835 0 -1 4194304 1304 0 0 0 1255 10 0 0 20 0 1 0 67514775 24129536 3369 18446744073709551615 4218880 5211445 140730475368448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 38109184 140730475375004 140730475375081 140730475375081 140730475380683 0
/proc/70959/statm: 5891 3369 1312 243 0 2140 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 23564 KiB
Current children cumulated memory: 13476 KiB
[startup+25.5003 s]
/proc/loadavg: 4.06 3.10 2.72 5/251 70960
/proc/meminfo: memFree=129725432/131382112 swapFree=33010416/33010684
[pid=70959] ppid=70956 vsize=27464 memory=15780 CPUtime=25.41 cores=5,7
/proc/70959/stat : 70959 (pb-oll-rs) R 70956 70959 70835 0 -1 4194304 1911 0 0 0 2526 15 0 0 20 0 1 0 67514775 28123136 3945 18446744073709551615 4218880 5211445 140730475368448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 38109184 140730475375004 140730475375081 140730475375081 140730475380683 0
/proc/70959/statm: 6866 3945 1312 243 0 3115 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 27464 KiB
Current children cumulated memory: 15780 KiB
[startup+51.1133 s]
/proc/loadavg: 4.17 3.20 2.76 5/251 70961
/proc/meminfo: memFree=129705484/131382112 swapFree=33010416/33010684
[pid=70959] ppid=70956 vsize=34620 memory=21412 CPUtime=50.96 cores=5,7
/proc/70959/stat : 70959 (pb-oll-rs) R 70956 70959 70835 0 -1 4194304 3341 0 0 0 5069 27 0 0 20 0 1 0 67514775 35450880 5353 18446744073709551615 4218880 5211445 140730475368448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 38109184 140730475375004 140730475375081 140730475375081 140730475380683 0
/proc/70959/statm: 8655 5353 1312 243 0 4904 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 34620 KiB
Current children cumulated memory: 21412 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 3.34 2.83 5/251 70967
/proc/meminfo: memFree=129677660/131382112 swapFree=33010416/33010684
[pid=70959] ppid=70956 vsize=36632 memory=26376 CPUtime=102.01 cores=5,7
/proc/70959/stat : 70959 (pb-oll-rs) R 70956 70959 70835 0 -1 4194304 4064 0 0 0 10152 49 0 0 20 0 1 0 67514775 37511168 6594 18446744073709551615 4218880 5211445 140730475368448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 38109184 140730475375004 140730475375081 140730475375081 140730475380683 0
/proc/70959/statm: 9158 6594 1312 243 0 5407 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 36632 KiB
Current children cumulated memory: 26376 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 3.48 2.92 5/251 70969
/proc/meminfo: memFree=129632004/131382112 swapFree=33010416/33010684
[pid=70959] ppid=70956 vsize=47868 memory=35848 CPUtime=161.84 cores=5,7
/proc/70959/stat : 70959 (pb-oll-rs) R 70956 70959 70835 0 -1 4194304 5951 0 0 0 16106 78 0 0 20 0 1 0 67514775 49016832 8962 18446744073709551615 4218880 5211445 140730475368448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 38109184 140730475375004 140730475375081 140730475375081 140730475380683 0
/proc/70959/statm: 11967 8962 1312 243 0 8216 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 47868 KiB
Current children cumulated memory: 35848 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 3.59 2.99 5/250 70971
/proc/meminfo: memFree=129594436/131382112 swapFree=33010416/33010684
[pid=70959] ppid=70956 vsize=48708 memory=38192 CPUtime=221.66 cores=5,7
/proc/70959/stat : 70959 (pb-oll-rs) R 70956 70959 70835 0 -1 4194304 7014 0 0 0 22064 102 0 0 20 0 1 0 67514775 49876992 9548 18446744073709551615 4218880 5211445 140730475368448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 38109184 140730475375004 140730475375081 140730475375081 140730475380683 0
/proc/70959/statm: 12177 9548 1312 243 0 8426 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 48708 KiB
Current children cumulated memory: 38192 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.68 3.06 5/251 70976
/proc/meminfo: memFree=129558468/131382112 swapFree=33010416/33010684
[pid=70959] ppid=70956 vsize=61576 memory=43740 CPUtime=281.48 cores=5,7
/proc/70959/stat : 70959 (pb-oll-rs) R 70956 70959 70835 0 -1 4194304 8264 0 0 0 28016 132 0 0 20 0 1 0 67514775 63053824 10935 18446744073709551615 4218880 5211445 140730475368448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 38109184 140730475375004 140730475375081 140730475375081 140730475380683 0
/proc/70959/statm: 15394 10935 1312 243 0 11643 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 61576 KiB
Current children cumulated memory: 43740 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 3.77 3.13 5/251 70978
/proc/meminfo: memFree=129542620/131382112 swapFree=33010416/33010684
[pid=70959] ppid=70956 vsize=66920 memory=51204 CPUtime=341.3 cores=5,7
/proc/70959/stat : 70959 (pb-oll-rs) R 70956 70959 70835 0 -1 4194304 9991 0 0 0 33966 164 0 0 20 0 1 0 67514775 68526080 12801 18446744073709551615 4218880 5211445 140730475368448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 38109184 140730475375004 140730475375081 140730475375081 140730475380683 0
/proc/70959/statm: 16730 12801 1312 243 0 12979 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 66920 KiB
Current children cumulated memory: 51204 KiB
[startup+402.3 s]
/proc/loadavg: 4.05 3.82 3.19 5/250 70980
/proc/meminfo: memFree=129530604/131382112 swapFree=33010416/33010684
[pid=70959] ppid=70956 vsize=70492 memory=56804 CPUtime=401.13 cores=5,7
/proc/70959/stat : 70959 (pb-oll-rs) R 70956 70959 70835 0 -1 4194304 11260 0 0 0 39919 194 0 0 20 0 1 0 67514775 72183808 14201 18446744073709551615 4218880 5211445 140730475368448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 38109184 140730475375004 140730475375081 140730475375081 140730475380683 0
/proc/70959/statm: 17623 14201 1312 243 0 13872 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 70492 KiB
Current children cumulated memory: 56804 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 3.87 3.25 5/250 70982
/proc/meminfo: memFree=129506864/131382112 swapFree=33010416/33010684
[pid=70959] ppid=70956 vsize=71004 memory=59360 CPUtime=460.95 cores=5,7
/proc/70959/stat : 70959 (pb-oll-rs) R 70956 70959 70835 0 -1 4194304 11670 0 0 0 45874 221 0 0 20 0 1 0 67514775 72708096 14840 18446744073709551615 4218880 5211445 140730475368448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 38109184 140730475375004 140730475375081 140730475375081 140730475380683 0
/proc/70959/statm: 17751 14840 1312 243 0 14000 0
Current children cumulated CPU time: 460.95 s
################
# More data... #
################
Current children cumulated memory: 124504 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/251 71149
/proc/meminfo: memFree=125614900/131382112 swapFree=33010416/33010684
[pid=70959] ppid=70956 vsize=149696 memory=124864 CPUtime=2854.4 cores=5,7
/proc/70959/stat : 70959 (pb-oll-rs) R 70956 70959 70835 0 -1 4194304 27035 0 0 0 284509 931 0 0 20 0 1 0 67514775 153288704 31216 18446744073709551615 4218880 5211445 140730475368448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 38109184 140730475375004 140730475375081 140730475375081 140730475380683 0
/proc/70959/statm: 37424 31216 1312 243 0 33673 0
Current children cumulated CPU time: 2854.4 s
Current children cumulated vsize: 149696 KiB
Current children cumulated memory: 124864 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.11 4.03 5/251 71151
/proc/meminfo: memFree=125579328/131382112 swapFree=33010416/33010684
[pid=70959] ppid=70956 vsize=150304 memory=127464 CPUtime=2914.23 cores=5,7
/proc/70959/stat : 70959 (pb-oll-rs) R 70956 70959 70835 0 -1 4194304 27285 0 0 0 290482 941 0 0 20 0 1 0 67514775 153911296 31866 18446744073709551615 4218880 5211445 140730475368448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 38109184 140730475375004 140730475375081 140730475375081 140730475380683 0
/proc/70959/statm: 37576 31866 1312 243 0 33825 0
Current children cumulated CPU time: 2914.23 s
Current children cumulated vsize: 150304 KiB
Current children cumulated memory: 127464 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.11 4.04 5/251 71153
/proc/meminfo: memFree=125518796/131382112 swapFree=33010416/33010684
[pid=70959] ppid=70956 vsize=152804 memory=131248 CPUtime=2974.08 cores=5,7
/proc/70959/stat : 70959 (pb-oll-rs) R 70956 70959 70835 0 -1 4194304 27831 0 0 0 296454 954 0 0 20 0 1 0 67514775 156471296 32812 18446744073709551615 4218880 5211445 140730475368448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 38109184 140730475375004 140730475375081 140730475375081 140730475380683 0
/proc/70959/statm: 38201 32812 1312 243 0 34450 0
Current children cumulated CPU time: 2974.08 s
Current children cumulated vsize: 152804 KiB
Current children cumulated memory: 131248 KiB
[startup+3042.3 s]
/proc/loadavg: 4.05 4.09 4.03 5/250 71155
/proc/meminfo: memFree=125507104/131382112 swapFree=33010416/33010684
[pid=70959] ppid=70956 vsize=156232 memory=133664 CPUtime=3033.92 cores=5,7
/proc/70959/stat : 70959 (pb-oll-rs) R 70956 70959 70835 0 -1 4194304 28546 0 0 0 302426 966 0 0 20 0 1 0 67514775 159981568 33416 18446744073709551615 4218880 5211445 140730475368448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 38109184 140730475375004 140730475375081 140730475375081 140730475380683 0
/proc/70959/statm: 39058 33416 1312 243 0 35307 0
Current children cumulated CPU time: 3033.92 s
Current children cumulated vsize: 156232 KiB
Current children cumulated memory: 133664 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.04 5/250 71157
/proc/meminfo: memFree=125490256/131382112 swapFree=33010416/33010684
[pid=70959] ppid=70956 vsize=156940 memory=134284 CPUtime=3093.76 cores=5,7
/proc/70959/stat : 70959 (pb-oll-rs) R 70956 70959 70835 0 -1 4194304 28811 0 0 0 308396 980 0 0 20 0 1 0 67514775 160706560 33571 18446744073709551615 4218880 5211445 140730475368448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 38109184 140730475375004 140730475375081 140730475375081 140730475380683 0
/proc/70959/statm: 39235 33571 1312 243 0 35484 0
Current children cumulated CPU time: 3093.76 s
Current children cumulated vsize: 156940 KiB
Current children cumulated memory: 134284 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.10 4.04 5/250 71164
/proc/meminfo: memFree=125474320/131382112 swapFree=33010416/33010684
[pid=70959] ppid=70956 vsize=157388 memory=134724 CPUtime=3153.6 cores=5,7
/proc/70959/stat : 70959 (pb-oll-rs) R 70956 70959 70835 0 -1 4194304 29032 0 0 0 314369 991 0 0 20 0 1 0 67514775 161165312 33681 18446744073709551615 4218880 5211445 140730475368448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 38109184 140730475375004 140730475375081 140730475375081 140730475380683 0
/proc/70959/statm: 39347 33681 1312 243 0 35596 0
Current children cumulated CPU time: 3153.6 s
Current children cumulated vsize: 157388 KiB
Current children cumulated memory: 134724 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.09 4.04 5/250 71166
/proc/meminfo: memFree=125466444/131382112 swapFree=33010416/33010684
[pid=70959] ppid=70956 vsize=164592 memory=141444 CPUtime=3213.45 cores=5,7
/proc/70959/stat : 70959 (pb-oll-rs) R 70956 70959 70835 0 -1 4194304 30218 0 0 0 320341 1004 0 0 20 0 1 0 67514775 168542208 35361 18446744073709551615 4218880 5211445 140730475368448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 38109184 140730475375004 140730475375081 140730475375081 140730475380683 0
/proc/70959/statm: 41148 35361 1312 243 0 37397 0
Current children cumulated CPU time: 3213.45 s
Current children cumulated vsize: 164592 KiB
Current children cumulated memory: 141444 KiB
[startup+3282.3 s]
/proc/loadavg: 4.37 4.15 4.06 5/250 71168
/proc/meminfo: memFree=125462412/131382112 swapFree=33010416/33010684
[pid=70959] ppid=70956 vsize=165012 memory=142000 CPUtime=3273.28 cores=5,7
/proc/70959/stat : 70959 (pb-oll-rs) R 70956 70959 70835 0 -1 4194304 30457 0 0 0 326313 1015 0 0 20 0 1 0 67514775 168972288 35500 18446744073709551615 4218880 5211445 140730475368448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 38109184 140730475375004 140730475375081 140730475375081 140730475380683 0
/proc/70959/statm: 41253 35500 1312 243 0 37502 0
Current children cumulated CPU time: 3273.28 s
Current children cumulated vsize: 165012 KiB
Current children cumulated memory: 142000 KiB
[startup+3342.3 s]
/proc/loadavg: 4.59 4.27 4.11 5/246 71201
/proc/meminfo: memFree=125776292/131382112 swapFree=33010416/33010684
[pid=70959] ppid=70956 vsize=165560 memory=142532 CPUtime=3333.12 cores=5,7
/proc/70959/stat : 70959 (pb-oll-rs) R 70956 70959 70835 0 -1 4194304 30699 0 0 0 332283 1029 0 0 20 0 1 0 67514775 169533440 35633 18446744073709551615 4218880 5211445 140730475368448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 38109184 140730475375004 140730475375081 140730475375081 140730475380683 0
/proc/70959/statm: 41390 35633 1312 243 0 37639 0
Current children cumulated CPU time: 3333.12 s
Current children cumulated vsize: 165560 KiB
Current children cumulated memory: 142532 KiB
[startup+3402.3 s]
/proc/loadavg: 4.32 4.25 4.11 5/251 71264
/proc/meminfo: memFree=124572440/131382112 swapFree=33010416/33010684
[pid=70959] ppid=70956 vsize=166384 memory=143284 CPUtime=3392.93 cores=5,7
/proc/70959/stat : 70959 (pb-oll-rs) R 70956 70959 70835 0 -1 4194304 31208 0 0 0 338253 1040 0 0 20 0 1 0 67514775 170377216 35821 18446744073709551615 4218880 5211445 140730475368448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 38109184 140730475375004 140730475375081 140730475375081 140730475380683 0
/proc/70959/statm: 41596 35821 1312 243 0 37845 0
Current children cumulated CPU time: 3392.93 s
Current children cumulated vsize: 166384 KiB
Current children cumulated memory: 143284 KiB
[startup+3462.3 s]
/proc/loadavg: 4.75 4.39 4.17 5/250 71266
/proc/meminfo: memFree=124125684/131382112 swapFree=33010416/33010684
[pid=70959] ppid=70956 vsize=166576 memory=143348 CPUtime=3452.75 cores=5,7
/proc/70959/stat : 70959 (pb-oll-rs) R 70956 70959 70835 0 -1 4194304 31432 0 0 0 344222 1053 0 0 20 0 1 0 67514775 170573824 35837 18446744073709551615 4218880 5211445 140730475368448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 38109184 140730475375004 140730475375081 140730475375081 140730475380683 0
/proc/70959/statm: 41644 35837 1312 243 0 37893 0
Current children cumulated CPU time: 3452.75 s
Current children cumulated vsize: 166576 KiB
Current children cumulated memory: 143348 KiB
[startup+3522.3 s]
/proc/loadavg: 4.49 4.39 4.18 5/250 71269
/proc/meminfo: memFree=123611696/131382112 swapFree=33010416/33010684
[pid=70959] ppid=70956 vsize=181336 memory=157400 CPUtime=3512.56 cores=5,7
/proc/70959/stat : 70959 (pb-oll-rs) R 70956 70959 70835 0 -1 4194304 34102 0 0 0 350190 1066 0 0 20 0 1 0 67514775 185688064 39350 18446744073709551615 4218880 5211445 140730475368448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 38109184 140730475375004 140730475375081 140730475375081 140730475380683 0
/proc/70959/statm: 45334 39350 1312 243 0 41583 0
Current children cumulated CPU time: 3512.56 s
Current children cumulated vsize: 181336 KiB
Current children cumulated memory: 157400 KiB
[startup+3582.3 s]
/proc/loadavg: 4.24 4.33 4.18 5/250 71271
/proc/meminfo: memFree=122968380/131382112 swapFree=33010416/33010684
[pid=70959] ppid=70956 vsize=181432 memory=157520 CPUtime=3572.37 cores=5,7
/proc/70959/stat : 70959 (pb-oll-rs) R 70956 70959 70835 0 -1 4194304 34348 0 0 0 356161 1076 0 0 20 0 1 0 67514775 185786368 39380 18446744073709551615 4218880 5211445 140730475368448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 38109184 140730475375004 140730475375081 140730475375081 140730475380683 0
/proc/70959/statm: 45358 39380 1312 243 0 41607 0
Current children cumulated CPU time: 3572.37 s
Current children cumulated vsize: 181432 KiB
Current children cumulated memory: 157520 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.22 4.32 4.18 5/250 71272
/proc/meminfo: memFree=122848316/131382112 swapFree=33010416/33010684
[pid=70959] ppid=70956 vsize=181432 memory=157520 CPUtime=3600 cores=5,7
/proc/70959/stat : 70959 (pb-oll-rs) R 70956 70959 70835 0 -1 4194304 34354 0 0 0 358918 1082 0 0 20 0 1 0 67514775 185786368 39380 18446744073709551615 4218880 5211445 140730475368448 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 38109184 140730475375004 140730475375081 140730475375081 140730475380683 0
/proc/70959/statm: 45358 39380 1312 243 0 41607 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 181432 KiB
Current children cumulated memory: 157520 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.02 s]
# the end of solver process 70959 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.19 s, system=10.8239 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.02
CPU time (s): 3600.01
CPU user time (s): 3589.19
CPU system time (s): 10.8239
CPU usage (%): 99.7228
Max. virtual memory (cumulated for all children) (KiB): 182292
Max. memory (cumulated for all children) (KiB): 158168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.19
system time used= 10.8239
maximum resident set size= 158168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34369
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= 137
involuntary context switches= 1844
# summary of solver processes directly reported to runsolver:
# pid: 70959
# total CPU time (s): 3600.01
# total CPU user time (s): 3589.19
# total CPU system time (s): 10.8239
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8021 second user time and 35.4837 second system time
The end
Begin job on nodeC012 at 2025-07-03 06:52:31
IDJOB=4509144
IDBENCH=158598
IDSOLVER=3345
FILE ID=nodeC012/4509144-1751518351
RUNJOBID= nodeC012-1751518082-70848
SLURM_JOB_ID= 9598636
Free space on /tmp= 431876 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-40.lin.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509144-1751518351/watcher-4509144-1751518351 -o /tmp/evaluation-result-4509144-1751518351/solver-4509144-1751518351 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751518082-70848 --watchdog 3760 pb-oll-rs HOME/instance-4509144-1751518351.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 38f4f8acf083ab1c186c19b7f9dc1b90
RANDOM SEED=1561879904
nodeC012 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.290
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
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 : 3661.860
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
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.728
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
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.250
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
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 : 3661.987
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.153
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
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 : 1198.021
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
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.157
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129729884 kB
MemAvailable: 129741128 kB
Buffers: 2136 kB
Cached: 812592 kB
SwapCached: 16 kB
Active: 895776 kB
Inactive: 194888 kB
Active(anon): 286884 kB
Inactive(anon): 6996 kB
Active(file): 608892 kB
Inactive(file): 187892 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 2000 kB
Writeback: 20 kB
AnonPages: 276156 kB
Mapped: 107416 kB
Shmem: 17944 kB
KReclaimable: 107788 kB
Slab: 192772 kB
SReclaimable: 107788 kB
SUnreclaim: 84984 kB
KernelStack: 4048 kB
PageTables: 3464 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 646824 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149464 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 174080 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 187208 kB
DirectMap2M: 8103936 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431860 MiB
End job on nodeC012 at 2025-07-03 07:52:41