0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.09/0.19 c [STEP] preprocessing with Papilo
0.39/0.46 c Papilo could not simplify the problem
0.39/0.46 c [STEP] solving with SCIP
299.74/300.66 c [STEP] preprocessing done, loading into solver
299.94/300.80 c [STEP] solving
299.94/300.80 c #variables 1273 #constraints 94289
299.94/300.80 c SMALL=int, LARGE=long long
299.94/300.80 c bounds - >= -1272 @ 299.577
299.94/300.80 c stratification level: 0
331.36/332.40 c bounds - >= -236 @ 299.628
331.36/332.40 c bounds - >= -235 @ 299.629
331.36/332.40 c bounds - >= -234 @ 299.629
331.36/332.40 c bounds - >= -233 @ 299.629
331.36/332.40 c bounds - >= -232 @ 299.629
331.36/332.40 c bounds - >= -231 @ 299.629
331.36/332.40 c bounds - >= -230 @ 299.629
331.36/332.40 c bounds - >= -229 @ 299.629
331.36/332.40 c bounds - >= -228 @ 299.629
331.36/332.40 c bounds - >= -227 @ 299.629
331.36/332.40 c bounds - >= -226 @ 299.63
331.36/332.40 c bounds - >= -225 @ 299.63
331.36/332.40 c bounds - >= -224 @ 299.631
331.36/332.40 c bounds - >= -223 @ 299.632
331.36/332.40 c bounds - >= -222 @ 299.633
331.36/332.40 c bounds - >= -221 @ 299.633
331.36/332.40 c bounds - >= -220 @ 299.634
331.36/332.40 c bounds - >= -219 @ 299.635
331.36/332.40 c bounds - >= -218 @ 299.635
331.36/332.40 c bounds - >= -217 @ 299.636
331.36/332.40 c bounds - >= -216 @ 299.637
331.36/332.40 c bounds - >= -215 @ 299.637
331.36/332.40 c bounds - >= -214 @ 299.637
331.36/332.40 c bounds - >= -213 @ 299.638
331.36/332.40 c bounds - >= -212 @ 299.639
331.36/332.40 c bounds - >= -211 @ 299.639
331.36/332.40 c bounds - >= -210 @ 299.64
331.36/332.40 c bounds - >= -209 @ 299.64
331.36/332.40 c bounds - >= -208 @ 299.643
331.36/332.40 c #Conflicts: 1000 | #Constraints: 95556
331.36/332.40 c #Conflicts: 2000 | #Constraints: 96556
331.36/332.40 c INPROCESSING
331.36/332.40 c GARBAGE COLLECT
331.36/332.40 c #Conflicts: 3000 | #Constraints: 96535
331.36/332.40 c #Conflicts: 4000 | #Constraints: 97535
331.36/332.40 c INPROCESSING
331.36/332.40 c GARBAGE COLLECT
331.36/332.40 c #Conflicts: 5000 | #Constraints: 96939
331.36/332.40 c #Conflicts: 6000 | #Constraints: 97939
331.36/332.40 c INPROCESSING
331.36/332.40 c GARBAGE COLLECT
331.36/332.40 c #Conflicts: 7000 | #Constraints: 96939
331.36/332.40 c #Conflicts: 8000 | #Constraints: 97939
331.36/332.40 c #Conflicts: 9000 | #Constraints: 98939
331.36/332.40 c INPROCESSING
331.36/332.40 c GARBAGE COLLECT
331.36/332.40 c #Conflicts: 10000 | #Constraints: 97645
331.36/332.40 c #Conflicts: 11000 | #Constraints: 98645
331.36/332.40 c #Conflicts: 12000 | #Constraints: 99645
331.36/332.40 c INPROCESSING
331.36/332.40 c GARBAGE COLLECT
331.36/332.40 c #Conflicts: 13000 | #Constraints: 98098
331.36/332.40 c #Conflicts: 14000 | #Constraints: 99098
331.36/332.40 c #Conflicts: 15000 | #Constraints: 100098
331.36/332.40 c INPROCESSING
331.36/332.40 c GARBAGE COLLECT
331.36/332.40 c #Conflicts: 16000 | #Constraints: 98328
331.36/332.40 c #Conflicts: 17000 | #Constraints: 99328
331.36/332.40 c #Conflicts: 18000 | #Constraints: 100328
331.36/332.40 c INPROCESSING
331.36/332.40 c GARBAGE COLLECT
331.36/332.40 c #Conflicts: 19000 | #Constraints: 98337
331.36/332.40 c #Conflicts: 20000 | #Constraints: 99337
331.36/332.40 c #Conflicts: 21000 | #Constraints: 100337
331.36/332.40 c INPROCESSING
331.36/332.40 c GARBAGE COLLECT
331.36/332.40 c #Conflicts: 22000 | #Constraints: 98143
331.36/332.40 c #Conflicts: 23000 | #Constraints: 99143
331.36/332.40 c #Conflicts: 24000 | #Constraints: 100143
331.36/332.40 c #Conflicts: 25000 | #Constraints: 101143
331.36/332.40 c INPROCESSING
331.36/332.40 c GARBAGE COLLECT
331.36/332.40 c #Conflicts: 26000 | #Constraints: 98747
331.36/332.40 c #Conflicts: 27000 | #Constraints: 99747
331.36/332.40 c #Conflicts: 28000 | #Constraints: 100747
331.36/332.40 c #Conflicts: 29000 | #Constraints: 101747
331.36/332.40 c INPROCESSING
331.36/332.40 c GARBAGE COLLECT
331.36/332.40 c #Conflicts: 30000 | #Constraints: 99151
331.36/332.40 c #Conflicts: 31000 | #Constraints: 100151
331.36/332.40 c #Conflicts: 32000 | #Constraints: 101151
331.36/332.40 c #Conflicts: 33000 | #Constraints: 102151
331.36/332.40 c INPROCESSING
331.36/332.40 c GARBAGE COLLECT
331.36/332.40 c #Conflicts: 34000 | #Constraints: 99354
331.36/332.40 c #Conflicts: 35000 | #Constraints: 100354
331.36/332.40 c #Conflicts: 36000 | #Constraints: 101354
331.36/332.40 c #Conflicts: 37000 | #Constraints: 102354
331.36/332.40 c INPROCESSING
331.36/332.40 c GARBAGE COLLECT
331.36/332.40 c #Conflicts: 38000 | #Constraints: 99354
331.36/332.40 c #Conflicts: 39000 | #Constraints: 100354
331.36/332.40 c #Conflicts: 40000 | #Constraints: 101354
331.36/332.40 c #Conflicts: 41000 | #Constraints: 102354
331.36/332.40 c INPROCESSING
331.36/332.40 c GARBAGE COLLECT
331.36/332.40 c #Conflicts: 42000 | #Constraints: 99155
331.36/332.40 c #Conflicts: 43000 | #Constraints: 100155
331.36/332.40 c #Conflicts: 44000 | #Constraints: 101155
331.36/332.40 c #Conflicts: 45000 | #Constraints: 102155
331.36/332.40 c #Conflicts: 46000 | #Constraints: 103155
331.36/332.40 c INPROCESSING
331.36/332.40 c GARBAGE COLLECT
331.36/332.40 c #Conflicts: 47000 | #Constraints: 99762
331.36/332.40 c #Conflicts: 48000 | #Constraints: 100762
331.36/332.40 c #Conflicts: 49000 | #Constraints: 101762
331.36/332.40 c #Conflicts: 50000 | #Constraints: 102762
331.36/332.40 c #Conflicts: 51000 | #Constraints: 103762
331.36/332.40 c INPROCESSING
331.36/332.40 c GARBAGE COLLECT
331.36/332.40 c #Conflicts: 52000 | #Constraints: 100157
331.36/332.40 c #Conflicts: 53000 | #Constraints: 101157
331.36/332.40 c #Conflicts: 54000 | #Constraints: 102157
393.51/394.65 c #Conflicts: 55000 | #Constraints: 103157
393.51/394.65 c #Conflicts: 56000 | #Constraints: 104157
393.51/394.65 c INPROCESSING
393.51/394.65 c GARBAGE COLLECT
393.51/394.65 c #Conflicts: 57000 | #Constraints: 100360
393.51/394.65 c #Conflicts: 58000 | #Constraints: 101360
393.51/394.65 c #Conflicts: 59000 | #Constraints: 102360
393.51/394.65 c #Conflicts: 60000 | #Constraints: 103360
393.51/394.65 c #Conflicts: 61000 | #Constraints: 104360
393.51/394.65 c INPROCESSING
393.51/394.65 c GARBAGE COLLECT
393.51/394.65 c #Conflicts: 62000 | #Constraints: 100361
393.51/394.65 c #Conflicts: 63000 | #Constraints: 101361
393.51/394.65 c #Conflicts: 64000 | #Constraints: 102361
393.51/394.65 c #Conflicts: 65000 | #Constraints: 103361
393.51/394.65 c #Conflicts: 66000 | #Constraints: 104361
393.51/394.65 c INPROCESSING
393.51/394.65 c GARBAGE COLLECT
393.51/394.65 c #Conflicts: 67000 | #Constraints: 100159
393.51/394.65 c #Conflicts: 68000 | #Constraints: 101159
393.51/394.65 c #Conflicts: 69000 | #Constraints: 102159
393.51/394.65 c #Conflicts: 70000 | #Constraints: 103159
393.51/394.65 c #Conflicts: 71000 | #Constraints: 104159
393.51/394.65 c #Conflicts: 72000 | #Constraints: 105159
393.51/394.65 c INPROCESSING
393.51/394.65 c GARBAGE COLLECT
393.51/394.65 c #Conflicts: 73000 | #Constraints: 100765
393.51/394.65 c #Conflicts: 74000 | #Constraints: 101765
393.51/394.65 c #Conflicts: 75000 | #Constraints: 102765
393.51/394.65 c #Conflicts: 76000 | #Constraints: 103765
393.51/394.65 c #Conflicts: 77000 | #Constraints: 104765
393.51/394.65 c #Conflicts: 78000 | #Constraints: 105765
393.51/394.65 c INPROCESSING
393.51/394.65 c GARBAGE COLLECT
393.51/394.65 c #Conflicts: 79000 | #Constraints: 101175
393.51/394.65 c #Conflicts: 80000 | #Constraints: 102175
393.51/394.65 c #Conflicts: 81000 | #Constraints: 103175
393.51/394.65 c #Conflicts: 82000 | #Constraints: 104175
393.51/394.65 c #Conflicts: 83000 | #Constraints: 105175
393.51/394.65 c #Conflicts: 84000 | #Constraints: 106175
393.51/394.65 c INPROCESSING
393.51/394.65 c GARBAGE COLLECT
393.51/394.65 c #Conflicts: 85000 | #Constraints: 101378
393.51/394.65 c #Conflicts: 86000 | #Constraints: 102378
393.51/394.65 c #Conflicts: 87000 | #Constraints: 103378
393.51/394.65 c #Conflicts: 88000 | #Constraints: 104378
393.51/394.65 c #Conflicts: 89000 | #Constraints: 105378
393.51/394.65 c #Conflicts: 90000 | #Constraints: 106378
393.51/394.65 c INPROCESSING
393.51/394.65 c GARBAGE COLLECT
393.51/394.65 c #Conflicts: 91000 | #Constraints: 101376
393.51/394.65 c #Conflicts: 92000 | #Constraints: 102376
393.51/394.65 c #Conflicts: 93000 | #Constraints: 103376
393.51/394.65 c #Conflicts: 94000 | #Constraints: 104376
393.51/394.65 c #Conflicts: 95000 | #Constraints: 105376
393.51/394.65 c #Conflicts: 96000 | #Constraints: 106376
393.51/394.65 c INPROCESSING
393.51/394.65 c GARBAGE COLLECT
393.51/394.65 c #Conflicts: 97000 | #Constraints: 101174
393.51/394.65 c #Conflicts: 98000 | #Constraints: 102174
393.51/394.65 c #Conflicts: 99000 | #Constraints: 103174
393.51/394.65 c #Conflicts: 100000 | #Constraints: 104174
393.51/394.65 c #Conflicts: 101000 | #Constraints: 105174
393.51/394.65 c #Conflicts: 102000 | #Constraints: 106174
393.51/394.65 c #Conflicts: 103000 | #Constraints: 107174
393.51/394.65 c INPROCESSING
393.51/394.65 c GARBAGE COLLECT
393.51/394.65 c #Conflicts: 104000 | #Constraints: 101774
393.51/394.65 c #Conflicts: 105000 | #Constraints: 102774
393.51/394.65 c #Conflicts: 106000 | #Constraints: 103774
393.51/394.65 c #Conflicts: 107000 | #Constraints: 104774
393.51/394.65 c #Conflicts: 108000 | #Constraints: 105774
393.51/394.65 c #Conflicts: 109000 | #Constraints: 106774
393.51/394.65 c #Conflicts: 110000 | #Constraints: 107774
393.51/394.65 c INPROCESSING
393.51/394.65 c GARBAGE COLLECT
393.51/394.65 c #Conflicts: 111000 | #Constraints: 102186
393.51/394.65 c #Conflicts: 112000 | #Constraints: 103186
393.51/394.65 c #Conflicts: 113000 | #Constraints: 104186
393.51/394.65 c #Conflicts: 114000 | #Constraints: 105186
393.51/394.65 c #Conflicts: 115000 | #Constraints: 106186
393.51/394.65 c #Conflicts: 116000 | #Constraints: 107186
393.51/394.65 c #Conflicts: 117000 | #Constraints: 108186
393.51/394.65 c INPROCESSING
393.51/394.65 c GARBAGE COLLECT
393.51/394.65 c #Conflicts: 118000 | #Constraints: 102389
393.51/394.65 c #Conflicts: 119000 | #Constraints: 103389
393.51/394.65 c #Conflicts: 120000 | #Constraints: 104389
393.51/394.65 c #Conflicts: 121000 | #Constraints: 105389
393.51/394.65 c #Conflicts: 122000 | #Constraints: 106389
393.51/394.65 c #Conflicts: 123000 | #Constraints: 107389
393.51/394.65 c #Conflicts: 124000 | #Constraints: 108389
393.51/394.65 c INPROCESSING
393.51/394.65 c GARBAGE COLLECT
393.51/394.65 c #Conflicts: 125000 | #Constraints: 102395
474.31/475.69 c #Conflicts: 126000 | #Constraints: 103395
474.31/475.69 c #Conflicts: 127000 | #Constraints: 104395
474.31/475.69 c #Conflicts: 128000 | #Constraints: 105395
474.31/475.69 c #Conflicts: 129000 | #Constraints: 106395
474.31/475.69 c #Conflicts: 130000 | #Constraints: 107395
474.31/475.69 c #Conflicts: 131000 | #Constraints: 108395
474.31/475.69 c INPROCESSING
474.31/475.69 c GARBAGE COLLECT
474.31/475.69 c #Conflicts: 132000 | #Constraints: 102192
474.31/475.69 c #Conflicts: 133000 | #Constraints: 103192
474.31/475.69 c #Conflicts: 134000 | #Constraints: 104192
474.31/475.69 c #Conflicts: 135000 | #Constraints: 105192
474.31/475.69 c #Conflicts: 136000 | #Constraints: 106192
474.31/475.69 c #Conflicts: 137000 | #Constraints: 107192
474.31/475.69 c #Conflicts: 138000 | #Constraints: 108192
474.31/475.69 c #Conflicts: 139000 | #Constraints: 109192
474.31/475.69 c INPROCESSING
474.31/475.69 c GARBAGE COLLECT
474.31/475.69 c #Conflicts: 140000 | #Constraints: 102788
474.31/475.69 c #Conflicts: 141000 | #Constraints: 103788
474.31/475.69 c #Conflicts: 142000 | #Constraints: 104788
474.31/475.69 c #Conflicts: 143000 | #Constraints: 105788
474.31/475.69 c #Conflicts: 144000 | #Constraints: 106788
474.31/475.69 c #Conflicts: 145000 | #Constraints: 107788
474.31/475.69 c #Conflicts: 146000 | #Constraints: 108788
474.31/475.69 c #Conflicts: 147000 | #Constraints: 109788
474.31/475.69 c INPROCESSING
474.31/475.69 c GARBAGE COLLECT
474.31/475.69 c #Conflicts: 148000 | #Constraints: 103211
474.31/475.69 c #Conflicts: 149000 | #Constraints: 104211
474.31/475.69 c #Conflicts: 150000 | #Constraints: 105211
474.31/475.69 c #Conflicts: 151000 | #Constraints: 106211
474.31/475.69 c #Conflicts: 152000 | #Constraints: 107211
474.31/475.69 c #Conflicts: 153000 | #Constraints: 108211
474.31/475.69 c #Conflicts: 154000 | #Constraints: 109211
474.31/475.69 c #Conflicts: 155000 | #Constraints: 110211
474.31/475.69 c INPROCESSING
474.31/475.69 c GARBAGE COLLECT
474.31/475.69 c #Conflicts: 156000 | #Constraints: 103408
474.31/475.69 c #Conflicts: 157000 | #Constraints: 104408
474.31/475.69 c #Conflicts: 158000 | #Constraints: 105408
474.31/475.69 c #Conflicts: 159000 | #Constraints: 106408
474.31/475.69 c #Conflicts: 160000 | #Constraints: 107408
474.31/475.69 c #Conflicts: 161000 | #Constraints: 108408
474.31/475.69 c #Conflicts: 162000 | #Constraints: 109408
474.31/475.69 c #Conflicts: 163000 | #Constraints: 110408
474.31/475.69 c INPROCESSING
474.31/475.69 c GARBAGE COLLECT
474.31/475.69 c #Conflicts: 164000 | #Constraints: 103393
474.31/475.69 c #Conflicts: 165000 | #Constraints: 104393
474.31/475.69 c #Conflicts: 166000 | #Constraints: 105393
474.31/475.69 c #Conflicts: 167000 | #Constraints: 106393
474.31/475.69 c #Conflicts: 168000 | #Constraints: 107393
474.31/475.69 c #Conflicts: 169000 | #Constraints: 108393
474.31/475.69 c #Conflicts: 170000 | #Constraints: 109393
474.31/475.69 c #Conflicts: 171000 | #Constraints: 110393
474.31/475.69 c INPROCESSING
474.31/475.69 c GARBAGE COLLECT
474.31/475.69 c #Conflicts: 172000 | #Constraints: 103184
474.31/475.69 c #Conflicts: 173000 | #Constraints: 104184
474.31/475.69 c #Conflicts: 174000 | #Constraints: 105184
474.31/475.69 c #Conflicts: 175000 | #Constraints: 106184
474.31/475.69 c #Conflicts: 176000 | #Constraints: 107184
474.31/475.69 c #Conflicts: 177000 | #Constraints: 108184
474.31/475.69 c #Conflicts: 178000 | #Constraints: 109184
474.31/475.69 c #Conflicts: 179000 | #Constraints: 110184
474.31/475.69 c #Conflicts: 180000 | #Constraints: 111184
474.31/475.69 c INPROCESSING
474.31/475.69 c GARBAGE COLLECT
474.31/475.69 c #Conflicts: 181000 | #Constraints: 103780
474.31/475.69 c #Conflicts: 182000 | #Constraints: 104780
474.31/475.69 c #Conflicts: 183000 | #Constraints: 105780
474.31/475.69 c #Conflicts: 184000 | #Constraints: 106780
474.31/475.69 c #Conflicts: 185000 | #Constraints: 107780
474.31/475.69 c #Conflicts: 186000 | #Constraints: 108780
474.31/475.69 c #Conflicts: 187000 | #Constraints: 109780
474.31/475.69 c #Conflicts: 188000 | #Constraints: 110780
474.31/475.69 c #Conflicts: 189000 | #Constraints: 111780
474.31/475.69 c INPROCESSING
474.31/475.69 c GARBAGE COLLECT
474.31/475.69 c #Conflicts: 190000 | #Constraints: 104177
474.31/475.69 c #Conflicts: 191000 | #Constraints: 105177
474.31/475.69 c #Conflicts: 192000 | #Constraints: 106177
474.31/475.69 c #Conflicts: 193000 | #Constraints: 107177
474.31/475.69 c #Conflicts: 194000 | #Constraints: 108177
474.31/475.69 c #Conflicts: 195000 | #Constraints: 109177
474.31/475.69 c #Conflicts: 196000 | #Constraints: 110177
474.31/475.69 c #Conflicts: 197000 | #Constraints: 111177
474.31/475.69 c #Conflicts: 198000 | #Constraints: 112177
573.26/574.89 c INPROCESSING
573.26/574.89 c GARBAGE COLLECT
573.26/574.89 c #Conflicts: 199000 | #Constraints: 104384
573.26/574.89 c #Conflicts: 200000 | #Constraints: 105384
573.26/574.89 c #Conflicts: 201000 | #Constraints: 106384
573.26/574.89 c #Conflicts: 202000 | #Constraints: 107384
573.26/574.89 c #Conflicts: 203000 | #Constraints: 108384
573.26/574.89 c #Conflicts: 204000 | #Constraints: 109384
573.26/574.89 c #Conflicts: 205000 | #Constraints: 110384
573.26/574.89 c #Conflicts: 206000 | #Constraints: 111384
573.26/574.89 c #Conflicts: 207000 | #Constraints: 112384
573.26/574.89 c INPROCESSING
573.26/574.89 c GARBAGE COLLECT
573.26/574.89 c #Conflicts: 208000 | #Constraints: 104386
573.26/574.89 c #Conflicts: 209000 | #Constraints: 105386
573.26/574.89 c #Conflicts: 210000 | #Constraints: 106386
573.26/574.89 c #Conflicts: 211000 | #Constraints: 107386
573.26/574.89 c #Conflicts: 212000 | #Constraints: 108386
573.26/574.89 c #Conflicts: 213000 | #Constraints: 109386
573.26/574.89 c #Conflicts: 214000 | #Constraints: 110386
573.26/574.89 c #Conflicts: 215000 | #Constraints: 111386
573.26/574.89 c #Conflicts: 216000 | #Constraints: 112386
573.26/574.89 c INPROCESSING
573.26/574.89 c GARBAGE COLLECT
573.26/574.89 c #Conflicts: 217000 | #Constraints: 104185
573.26/574.89 c #Conflicts: 218000 | #Constraints: 105185
573.26/574.89 c #Conflicts: 219000 | #Constraints: 106185
573.26/574.89 c #Conflicts: 220000 | #Constraints: 107185
573.26/574.89 c #Conflicts: 221000 | #Constraints: 108185
573.26/574.89 c #Conflicts: 222000 | #Constraints: 109185
573.26/574.89 c #Conflicts: 223000 | #Constraints: 110185
573.26/574.89 c #Conflicts: 224000 | #Constraints: 111185
573.26/574.89 c #Conflicts: 225000 | #Constraints: 112185
573.26/574.89 c #Conflicts: 226000 | #Constraints: 113185
573.26/574.89 c INPROCESSING
573.26/574.89 c GARBAGE COLLECT
573.26/574.89 c #Conflicts: 227000 | #Constraints: 104788
573.26/574.89 c #Conflicts: 228000 | #Constraints: 105788
573.26/574.89 c #Conflicts: 229000 | #Constraints: 106788
573.26/574.89 c #Conflicts: 230000 | #Constraints: 107788
573.26/574.89 c #Conflicts: 231000 | #Constraints: 108788
573.26/574.89 c #Conflicts: 232000 | #Constraints: 109788
573.26/574.89 c #Conflicts: 233000 | #Constraints: 110788
573.26/574.89 c #Conflicts: 234000 | #Constraints: 111788
573.26/574.89 c #Conflicts: 235000 | #Constraints: 112788
573.26/574.89 c #Conflicts: 236000 | #Constraints: 113788
573.26/574.89 c INPROCESSING
573.26/574.89 c GARBAGE COLLECT
573.26/574.89 c #Conflicts: 237000 | #Constraints: 105205
573.26/574.89 c #Conflicts: 238000 | #Constraints: 106205
573.26/574.89 c #Conflicts: 239000 | #Constraints: 107205
573.26/574.89 c #Conflicts: 240000 | #Constraints: 108205
573.26/574.89 c #Conflicts: 241000 | #Constraints: 109205
573.26/574.89 c #Conflicts: 242000 | #Constraints: 110205
573.26/574.89 c #Conflicts: 243000 | #Constraints: 111205
573.26/574.89 c #Conflicts: 244000 | #Constraints: 112205
573.26/574.89 c #Conflicts: 245000 | #Constraints: 113205
573.26/574.89 c #Conflicts: 246000 | #Constraints: 114205
573.26/574.89 c INPROCESSING
573.26/574.89 c GARBAGE COLLECT
573.26/574.89 c #Conflicts: 247000 | #Constraints: 105405
573.26/574.89 c #Conflicts: 248000 | #Constraints: 106405
573.26/574.89 c #Conflicts: 249000 | #Constraints: 107405
573.26/574.89 c #Conflicts: 250000 | #Constraints: 108405
573.26/574.89 c #Conflicts: 251000 | #Constraints: 109405
573.26/574.89 c #Conflicts: 252000 | #Constraints: 110405
573.26/574.89 c #Conflicts: 253000 | #Constraints: 111405
573.26/574.89 c #Conflicts: 254000 | #Constraints: 112405
573.26/574.89 c #Conflicts: 255000 | #Constraints: 113405
573.26/574.89 c #Conflicts: 256000 | #Constraints: 114405
573.26/574.89 c INPROCESSING
573.26/574.89 c GARBAGE COLLECT
573.26/574.89 c #Conflicts: 257000 | #Constraints: 105412
573.26/574.89 c #Conflicts: 258000 | #Constraints: 106412
573.26/574.89 c #Conflicts: 259000 | #Constraints: 107412
573.26/574.89 c #Conflicts: 260000 | #Constraints: 108412
573.26/574.89 c #Conflicts: 261000 | #Constraints: 109412
573.26/574.89 c #Conflicts: 262000 | #Constraints: 110412
573.26/574.89 c #Conflicts: 263000 | #Constraints: 111412
573.26/574.89 c #Conflicts: 264000 | #Constraints: 112412
573.26/574.89 c #Conflicts: 265000 | #Constraints: 113412
573.26/574.89 c #Conflicts: 266000 | #Constraints: 114412
573.26/574.89 c INPROCESSING
573.26/574.89 c GARBAGE COLLECT
573.26/574.89 c #Conflicts: 267000 | #Constraints: 105201
573.26/574.89 c #Conflicts: 268000 | #Constraints: 106201
573.26/574.89 c #Conflicts: 269000 | #Constraints: 107201
573.26/574.89 c #Conflicts: 270000 | #Constraints: 108201
573.26/574.89 c #Conflicts: 271000 | #Constraints: 109201
573.26/574.89 c #Conflicts: 272000 | #Constraints: 110201
693.55/695.40 c #Conflicts: 273000 | #Constraints: 111201
693.55/695.40 c #Conflicts: 274000 | #Constraints: 112201
693.55/695.40 c #Conflicts: 275000 | #Constraints: 113201
693.55/695.40 c #Conflicts: 276000 | #Constraints: 114201
693.55/695.40 c #Conflicts: 277000 | #Constraints: 115201
693.55/695.40 c INPROCESSING
693.55/695.40 c GARBAGE COLLECT
693.55/695.40 c #Conflicts: 278000 | #Constraints: 105801
693.55/695.40 c #Conflicts: 279000 | #Constraints: 106801
693.55/695.40 c #Conflicts: 280000 | #Constraints: 107801
693.55/695.40 c #Conflicts: 281000 | #Constraints: 108801
693.55/695.40 c #Conflicts: 282000 | #Constraints: 109801
693.55/695.40 c #Conflicts: 283000 | #Constraints: 110801
693.55/695.40 c #Conflicts: 284000 | #Constraints: 111801
693.55/695.40 c #Conflicts: 285000 | #Constraints: 112801
693.55/695.40 c #Conflicts: 286000 | #Constraints: 113801
693.55/695.40 c #Conflicts: 287000 | #Constraints: 114801
693.55/695.40 c #Conflicts: 288000 | #Constraints: 115801
693.55/695.40 c INPROCESSING
693.55/695.40 c GARBAGE COLLECT
693.55/695.40 c #Conflicts: 289000 | #Constraints: 106202
693.55/695.40 c #Conflicts: 290000 | #Constraints: 107202
693.55/695.40 c #Conflicts: 291000 | #Constraints: 108202
693.55/695.40 c #Conflicts: 292000 | #Constraints: 109202
693.55/695.40 c #Conflicts: 293000 | #Constraints: 110202
693.55/695.40 c #Conflicts: 294000 | #Constraints: 111202
693.55/695.40 c #Conflicts: 295000 | #Constraints: 112202
693.55/695.40 c #Conflicts: 296000 | #Constraints: 113202
693.55/695.40 c #Conflicts: 297000 | #Constraints: 114202
693.55/695.40 c #Conflicts: 298000 | #Constraints: 115202
693.55/695.40 c #Conflicts: 299000 | #Constraints: 116202
693.55/695.40 c INPROCESSING
693.55/695.40 c GARBAGE COLLECT
693.55/695.40 c #Conflicts: 300000 | #Constraints: 106406
693.55/695.40 c #Conflicts: 301000 | #Constraints: 107406
693.55/695.40 c #Conflicts: 302000 | #Constraints: 108406
693.55/695.40 c #Conflicts: 303000 | #Constraints: 109406
693.55/695.40 c #Conflicts: 304000 | #Constraints: 110406
693.55/695.40 c #Conflicts: 305000 | #Constraints: 111406
693.55/695.40 c #Conflicts: 306000 | #Constraints: 112406
693.55/695.40 c #Conflicts: 307000 | #Constraints: 113406
693.55/695.40 c #Conflicts: 308000 | #Constraints: 114406
693.55/695.40 c #Conflicts: 309000 | #Constraints: 115406
693.55/695.40 c #Conflicts: 310000 | #Constraints: 116406
693.55/695.40 c INPROCESSING
693.55/695.40 c GARBAGE COLLECT
693.55/695.40 c #Conflicts: 311000 | #Constraints: 106407
693.55/695.40 c #Conflicts: 312000 | #Constraints: 107407
693.55/695.40 c #Conflicts: 313000 | #Constraints: 108407
693.55/695.40 c #Conflicts: 314000 | #Constraints: 109407
693.55/695.40 c #Conflicts: 315000 | #Constraints: 110407
693.55/695.40 c #Conflicts: 316000 | #Constraints: 111407
693.55/695.40 c #Conflicts: 317000 | #Constraints: 112407
693.55/695.40 c #Conflicts: 318000 | #Constraints: 113407
693.55/695.40 c #Conflicts: 319000 | #Constraints: 114407
693.55/695.40 c #Conflicts: 320000 | #Constraints: 115407
693.55/695.40 c #Conflicts: 321000 | #Constraints: 116407
693.55/695.40 c INPROCESSING
693.55/695.40 c GARBAGE COLLECT
693.55/695.40 c #Conflicts: 322000 | #Constraints: 106224
693.55/695.40 c #Conflicts: 323000 | #Constraints: 107224
693.55/695.40 c #Conflicts: 324000 | #Constraints: 108224
693.55/695.40 c #Conflicts: 325000 | #Constraints: 109224
693.55/695.40 c #Conflicts: 326000 | #Constraints: 110224
693.55/695.40 c #Conflicts: 327000 | #Constraints: 111224
693.55/695.40 c #Conflicts: 328000 | #Constraints: 112224
693.55/695.40 c #Conflicts: 329000 | #Constraints: 113224
693.55/695.40 c #Conflicts: 330000 | #Constraints: 114224
693.55/695.40 c #Conflicts: 331000 | #Constraints: 115224
693.55/695.40 c #Conflicts: 332000 | #Constraints: 116224
693.55/695.40 c #Conflicts: 333000 | #Constraints: 117224
693.55/695.40 c INPROCESSING
693.55/695.40 c GARBAGE COLLECT
693.55/695.40 c #Conflicts: 334000 | #Constraints: 106828
693.55/695.40 c #Conflicts: 335000 | #Constraints: 107828
693.55/695.40 c #Conflicts: 336000 | #Constraints: 108828
693.55/695.40 c #Conflicts: 337000 | #Constraints: 109828
693.55/695.40 c #Conflicts: 338000 | #Constraints: 110828
693.55/695.40 c #Conflicts: 339000 | #Constraints: 111828
693.55/695.40 c #Conflicts: 340000 | #Constraints: 112828
693.55/695.40 c #Conflicts: 341000 | #Constraints: 113828
693.55/695.40 c #Conflicts: 342000 | #Constraints: 114828
693.55/695.40 c #Conflicts: 343000 | #Constraints: 115828
693.55/695.40 c #Conflicts: 344000 | #Constraints: 116828
693.55/695.40 c #Conflicts: 345000 | #Constraints: 117828
693.55/695.40 c INPROCESSING
693.55/695.40 c GARBAGE COLLECT
693.55/695.40 c #Conflicts: 346000 | #Constraints: 107214
693.55/695.40 c #Conflicts: 347000 | #Constraints: 108214
826.31/828.54 c #Conflicts: 348000 | #Constraints: 109214
826.31/828.54 c #Conflicts: 349000 | #Constraints: 110214
826.31/828.54 c #Conflicts: 350000 | #Constraints: 111214
826.31/828.54 c #Conflicts: 351000 | #Constraints: 112214
826.31/828.54 c #Conflicts: 352000 | #Constraints: 113214
826.31/828.54 c #Conflicts: 353000 | #Constraints: 114214
826.31/828.54 c #Conflicts: 354000 | #Constraints: 115214
826.31/828.54 c #Conflicts: 355000 | #Constraints: 116214
826.31/828.54 c #Conflicts: 356000 | #Constraints: 117214
826.31/828.54 c #Conflicts: 357000 | #Constraints: 118214
826.31/828.54 c INPROCESSING
826.31/828.54 c GARBAGE COLLECT
826.31/828.54 c #Conflicts: 358000 | #Constraints: 107422
826.31/828.54 c #Conflicts: 359000 | #Constraints: 108422
826.31/828.54 c #Conflicts: 360000 | #Constraints: 109422
826.31/828.54 c #Conflicts: 361000 | #Constraints: 110422
826.31/828.54 c #Conflicts: 362000 | #Constraints: 111422
826.31/828.54 c #Conflicts: 363000 | #Constraints: 112422
826.31/828.54 c #Conflicts: 364000 | #Constraints: 113422
826.31/828.54 c #Conflicts: 365000 | #Constraints: 114422
826.31/828.54 c #Conflicts: 366000 | #Constraints: 115422
826.31/828.54 c #Conflicts: 367000 | #Constraints: 116422
826.31/828.54 c #Conflicts: 368000 | #Constraints: 117422
826.31/828.54 c #Conflicts: 369000 | #Constraints: 118422
826.31/828.54 c INPROCESSING
826.31/828.54 c GARBAGE COLLECT
826.31/828.54 c #Conflicts: 370000 | #Constraints: 107408
826.31/828.54 c #Conflicts: 371000 | #Constraints: 108408
826.31/828.54 c #Conflicts: 372000 | #Constraints: 109408
826.31/828.54 c #Conflicts: 373000 | #Constraints: 110408
826.31/828.54 c #Conflicts: 374000 | #Constraints: 111408
826.31/828.54 c #Conflicts: 375000 | #Constraints: 112408
826.31/828.54 c #Conflicts: 376000 | #Constraints: 113408
826.31/828.54 c #Conflicts: 377000 | #Constraints: 114408
826.31/828.54 c #Conflicts: 378000 | #Constraints: 115408
826.31/828.54 c #Conflicts: 379000 | #Constraints: 116408
826.31/828.54 c #Conflicts: 380000 | #Constraints: 117408
826.31/828.54 c #Conflicts: 381000 | #Constraints: 118408
826.31/828.54 c INPROCESSING
826.31/828.54 c GARBAGE COLLECT
826.31/828.54 c #Conflicts: 382000 | #Constraints: 107208
826.31/828.54 c #Conflicts: 383000 | #Constraints: 108208
826.31/828.54 c #Conflicts: 384000 | #Constraints: 109208
826.31/828.54 c #Conflicts: 385000 | #Constraints: 110208
826.31/828.54 c #Conflicts: 386000 | #Constraints: 111208
826.31/828.54 c #Conflicts: 387000 | #Constraints: 112208
826.31/828.54 c #Conflicts: 388000 | #Constraints: 113208
826.31/828.54 c #Conflicts: 389000 | #Constraints: 114208
826.31/828.54 c #Conflicts: 390000 | #Constraints: 115208
826.31/828.54 c #Conflicts: 391000 | #Constraints: 116208
826.31/828.54 c #Conflicts: 392000 | #Constraints: 117208
826.31/828.54 c #Conflicts: 393000 | #Constraints: 118208
826.31/828.54 c #Conflicts: 394000 | #Constraints: 119208
826.31/828.54 c INPROCESSING
826.31/828.54 c GARBAGE COLLECT
826.31/828.54 c #Conflicts: 395000 | #Constraints: 107825
826.31/828.54 c #Conflicts: 396000 | #Constraints: 108825
826.31/828.54 c #Conflicts: 397000 | #Constraints: 109825
826.31/828.54 c #Conflicts: 398000 | #Constraints: 110825
826.31/828.54 c #Conflicts: 399000 | #Constraints: 111825
826.31/828.54 c #Conflicts: 400000 | #Constraints: 112825
826.31/828.54 c #Conflicts: 401000 | #Constraints: 113825
826.31/828.54 c #Conflicts: 402000 | #Constraints: 114825
826.31/828.54 c #Conflicts: 403000 | #Constraints: 115825
826.31/828.54 c #Conflicts: 404000 | #Constraints: 116825
826.31/828.54 c #Conflicts: 405000 | #Constraints: 117825
826.31/828.54 c #Conflicts: 406000 | #Constraints: 118825
826.31/828.54 c #Conflicts: 407000 | #Constraints: 119825
826.31/828.54 c INPROCESSING
826.31/828.54 c GARBAGE COLLECT
826.31/828.54 c #Conflicts: 408000 | #Constraints: 108228
826.31/828.54 c #Conflicts: 409000 | #Constraints: 109228
826.31/828.54 c #Conflicts: 410000 | #Constraints: 110228
826.31/828.54 c #Conflicts: 411000 | #Constraints: 111228
826.31/828.54 c #Conflicts: 412000 | #Constraints: 112228
826.31/828.54 c #Conflicts: 413000 | #Constraints: 113228
826.31/828.54 c #Conflicts: 414000 | #Constraints: 114228
826.31/828.54 c #Conflicts: 415000 | #Constraints: 115228
826.31/828.54 c #Conflicts: 416000 | #Constraints: 116228
826.31/828.54 c #Conflicts: 417000 | #Constraints: 117228
826.31/828.54 c #Conflicts: 418000 | #Constraints: 118228
826.31/828.54 c #Conflicts: 419000 | #Constraints: 119228
826.31/828.54 c #Conflicts: 420000 | #Constraints: 120228
826.31/828.54 c INPROCESSING
826.31/828.54 c GARBAGE COLLECT
826.31/828.54 c #Conflicts: 421000 | #Constraints: 108414
965.36/967.92 c #Conflicts: 422000 | #Constraints: 109414
965.36/967.92 c #Conflicts: 423000 | #Constraints: 110414
965.36/967.92 c #Conflicts: 424000 | #Constraints: 111414
965.36/967.92 c #Conflicts: 425000 | #Constraints: 112414
965.36/967.92 c #Conflicts: 426000 | #Constraints: 113414
965.36/967.92 c #Conflicts: 427000 | #Constraints: 114414
965.36/967.92 c #Conflicts: 428000 | #Constraints: 115414
965.36/967.92 c #Conflicts: 429000 | #Constraints: 116414
965.36/967.92 c #Conflicts: 430000 | #Constraints: 117414
965.36/967.92 c #Conflicts: 431000 | #Constraints: 118414
965.36/967.92 c #Conflicts: 432000 | #Constraints: 119414
965.36/967.92 c #Conflicts: 433000 | #Constraints: 120414
965.36/967.92 c INPROCESSING
965.36/967.92 c GARBAGE COLLECT
965.36/967.92 c #Conflicts: 434000 | #Constraints: 108412
965.36/967.92 c #Conflicts: 435000 | #Constraints: 109412
965.36/967.92 c #Conflicts: 436000 | #Constraints: 110412
965.36/967.92 c #Conflicts: 437000 | #Constraints: 111412
965.36/967.92 c #Conflicts: 438000 | #Constraints: 112412
965.36/967.92 c #Conflicts: 439000 | #Constraints: 113412
965.36/967.92 c #Conflicts: 440000 | #Constraints: 114412
965.36/967.92 c #Conflicts: 441000 | #Constraints: 115412
965.36/967.92 c #Conflicts: 442000 | #Constraints: 116412
965.36/967.92 c #Conflicts: 443000 | #Constraints: 117412
965.36/967.92 c #Conflicts: 444000 | #Constraints: 118412
965.36/967.92 c #Conflicts: 445000 | #Constraints: 119412
965.36/967.92 c #Conflicts: 446000 | #Constraints: 120412
965.36/967.92 c INPROCESSING
965.36/967.92 c GARBAGE COLLECT
965.36/967.92 c #Conflicts: 447000 | #Constraints: 108207
965.36/967.92 c #Conflicts: 448000 | #Constraints: 109207
965.36/967.92 c #Conflicts: 449000 | #Constraints: 110207
965.36/967.92 c #Conflicts: 450000 | #Constraints: 111207
965.36/967.92 c #Conflicts: 451000 | #Constraints: 112207
965.36/967.92 c #Conflicts: 452000 | #Constraints: 113207
965.36/967.92 c #Conflicts: 453000 | #Constraints: 114207
965.36/967.92 c #Conflicts: 454000 | #Constraints: 115207
965.36/967.92 c #Conflicts: 455000 | #Constraints: 116207
965.36/967.92 c #Conflicts: 456000 | #Constraints: 117207
965.36/967.92 c #Conflicts: 457000 | #Constraints: 118207
965.36/967.92 c #Conflicts: 458000 | #Constraints: 119207
965.36/967.92 c #Conflicts: 459000 | #Constraints: 120207
965.36/967.92 c #Conflicts: 460000 | #Constraints: 121207
965.36/967.92 c INPROCESSING
965.36/967.92 c GARBAGE COLLECT
965.36/967.92 c #Conflicts: 461000 | #Constraints: 108806
965.36/967.92 c #Conflicts: 462000 | #Constraints: 109806
965.36/967.92 c #Conflicts: 463000 | #Constraints: 110806
965.36/967.92 c #Conflicts: 464000 | #Constraints: 111806
965.36/967.92 c #Conflicts: 465000 | #Constraints: 112806
965.36/967.92 c #Conflicts: 466000 | #Constraints: 113806
965.36/967.92 c #Conflicts: 467000 | #Constraints: 114806
965.36/967.92 c #Conflicts: 468000 | #Constraints: 115806
965.36/967.92 c #Conflicts: 469000 | #Constraints: 116806
965.36/967.92 c #Conflicts: 470000 | #Constraints: 117806
965.36/967.92 c #Conflicts: 471000 | #Constraints: 118806
965.36/967.92 c #Conflicts: 472000 | #Constraints: 119806
965.36/967.92 c #Conflicts: 473000 | #Constraints: 120806
965.36/967.92 c #Conflicts: 474000 | #Constraints: 121806
965.36/967.92 c INPROCESSING
965.36/967.92 c GARBAGE COLLECT
965.36/967.92 c #Conflicts: 475000 | #Constraints: 109198
965.36/967.92 c #Conflicts: 476000 | #Constraints: 110198
965.36/967.92 c #Conflicts: 477000 | #Constraints: 111198
965.36/967.92 c #Conflicts: 478000 | #Constraints: 112198
965.36/967.92 c #Conflicts: 479000 | #Constraints: 113198
965.36/967.92 c #Conflicts: 480000 | #Constraints: 114198
965.36/967.92 c #Conflicts: 481000 | #Constraints: 115198
965.36/967.92 c #Conflicts: 482000 | #Constraints: 116198
965.36/967.92 c #Conflicts: 483000 | #Constraints: 117198
965.36/967.92 c #Conflicts: 484000 | #Constraints: 118198
965.36/967.92 c #Conflicts: 485000 | #Constraints: 119198
965.36/967.92 c #Conflicts: 486000 | #Constraints: 120198
965.36/967.92 c #Conflicts: 487000 | #Constraints: 121198
965.36/967.92 c #Conflicts: 488000 | #Constraints: 122198
965.36/967.92 c INPROCESSING
965.36/967.92 c GARBAGE COLLECT
965.36/967.92 c #Conflicts: 489000 | #Constraints: 109407
965.36/967.92 c #Conflicts: 490000 | #Constraints: 110407
965.36/967.92 c #Conflicts: 491000 | #Constraints: 111407
965.36/967.92 c #Conflicts: 492000 | #Constraints: 112407
965.36/967.92 c #Conflicts: 493000 | #Constraints: 113407
965.36/967.92 c #Conflicts: 494000 | #Constraints: 114407
965.36/967.92 c #Conflicts: 495000 | #Constraints: 115407
965.36/967.92 c #Conflicts: 496000 | #Constraints: 116407
965.36/967.92 c #Conflicts: 497000 | #Constraints: 117407
1130.24/1133.22 c #Conflicts: 498000 | #Constraints: 118407
1130.24/1133.22 c #Conflicts: 499000 | #Constraints: 119407
1130.24/1133.22 c #Conflicts: 500000 | #Constraints: 120407
1130.24/1133.22 c #Conflicts: 501000 | #Constraints: 121407
1130.24/1133.22 c #Conflicts: 502000 | #Constraints: 122407
1130.24/1133.22 c INPROCESSING
1130.24/1133.22 c GARBAGE COLLECT
1130.24/1133.22 c #Conflicts: 503000 | #Constraints: 109408
1130.24/1133.22 c #Conflicts: 504000 | #Constraints: 110408
1130.24/1133.22 c #Conflicts: 505000 | #Constraints: 111408
1130.24/1133.22 c #Conflicts: 506000 | #Constraints: 112408
1130.24/1133.22 c #Conflicts: 507000 | #Constraints: 113408
1130.24/1133.22 c #Conflicts: 508000 | #Constraints: 114408
1130.24/1133.22 c #Conflicts: 509000 | #Constraints: 115408
1130.24/1133.22 c #Conflicts: 510000 | #Constraints: 116408
1130.24/1133.22 c #Conflicts: 511000 | #Constraints: 117408
1130.24/1133.22 c #Conflicts: 512000 | #Constraints: 118408
1130.24/1133.22 c #Conflicts: 513000 | #Constraints: 119408
1130.24/1133.22 c #Conflicts: 514000 | #Constraints: 120408
1130.24/1133.22 c #Conflicts: 515000 | #Constraints: 121408
1130.24/1133.22 c #Conflicts: 516000 | #Constraints: 122408
1130.24/1133.22 c INPROCESSING
1130.24/1133.22 c GARBAGE COLLECT
1130.24/1133.22 c #Conflicts: 517000 | #Constraints: 109197
1130.24/1133.22 c #Conflicts: 518000 | #Constraints: 110197
1130.24/1133.22 c #Conflicts: 519000 | #Constraints: 111197
1130.24/1133.22 c #Conflicts: 520000 | #Constraints: 112197
1130.24/1133.22 c #Conflicts: 521000 | #Constraints: 113197
1130.24/1133.22 c #Conflicts: 522000 | #Constraints: 114197
1130.24/1133.22 c #Conflicts: 523000 | #Constraints: 115197
1130.24/1133.22 c #Conflicts: 524000 | #Constraints: 116197
1130.24/1133.22 c #Conflicts: 525000 | #Constraints: 117197
1130.24/1133.22 c #Conflicts: 526000 | #Constraints: 118197
1130.24/1133.22 c #Conflicts: 527000 | #Constraints: 119197
1130.24/1133.22 c #Conflicts: 528000 | #Constraints: 120197
1130.24/1133.22 c #Conflicts: 529000 | #Constraints: 121197
1130.24/1133.22 c #Conflicts: 530000 | #Constraints: 122197
1130.24/1133.22 c #Conflicts: 531000 | #Constraints: 123197
1130.24/1133.22 c INPROCESSING
1130.24/1133.22 c GARBAGE COLLECT
1130.24/1133.22 c #Conflicts: 532000 | #Constraints: 109810
1130.24/1133.22 c #Conflicts: 533000 | #Constraints: 110810
1130.24/1133.22 c #Conflicts: 534000 | #Constraints: 111810
1130.24/1133.22 c #Conflicts: 535000 | #Constraints: 112810
1130.24/1133.22 c #Conflicts: 536000 | #Constraints: 113810
1130.24/1133.22 c #Conflicts: 537000 | #Constraints: 114810
1130.24/1133.22 c #Conflicts: 538000 | #Constraints: 115810
1130.24/1133.22 c #Conflicts: 539000 | #Constraints: 116810
1130.24/1133.22 c #Conflicts: 540000 | #Constraints: 117810
1130.24/1133.22 c #Conflicts: 541000 | #Constraints: 118810
1130.24/1133.22 c #Conflicts: 542000 | #Constraints: 119810
1130.24/1133.22 c #Conflicts: 543000 | #Constraints: 120810
1130.24/1133.22 c #Conflicts: 544000 | #Constraints: 121810
1130.24/1133.22 c #Conflicts: 545000 | #Constraints: 122810
1130.24/1133.22 c #Conflicts: 546000 | #Constraints: 123810
1130.24/1133.22 c INPROCESSING
1130.24/1133.22 c GARBAGE COLLECT
1130.24/1133.22 c #Conflicts: 547000 | #Constraints: 110207
1130.24/1133.22 c #Conflicts: 548000 | #Constraints: 111207
1130.24/1133.22 c #Conflicts: 549000 | #Constraints: 112207
1130.24/1133.22 c #Conflicts: 550000 | #Constraints: 113207
1130.24/1133.22 c #Conflicts: 551000 | #Constraints: 114207
1130.24/1133.22 c #Conflicts: 552000 | #Constraints: 115207
1130.24/1133.22 c #Conflicts: 553000 | #Constraints: 116207
1130.24/1133.22 c #Conflicts: 554000 | #Constraints: 117207
1130.24/1133.22 c #Conflicts: 555000 | #Constraints: 118207
1130.24/1133.22 c #Conflicts: 556000 | #Constraints: 119207
1130.24/1133.22 c #Conflicts: 557000 | #Constraints: 120207
1130.24/1133.22 c #Conflicts: 558000 | #Constraints: 121207
1130.24/1133.22 c #Conflicts: 559000 | #Constraints: 122207
1130.24/1133.22 c #Conflicts: 560000 | #Constraints: 123207
1130.24/1133.22 c #Conflicts: 561000 | #Constraints: 124207
1130.24/1133.22 c INPROCESSING
1130.24/1133.22 c GARBAGE COLLECT
1130.24/1133.22 c #Conflicts: 562000 | #Constraints: 110435
1130.24/1133.22 c #Conflicts: 563000 | #Constraints: 111435
1130.24/1133.22 c #Conflicts: 564000 | #Constraints: 112435
1130.24/1133.22 c #Conflicts: 565000 | #Constraints: 113435
1130.24/1133.22 c #Conflicts: 566000 | #Constraints: 114435
1130.24/1133.22 c #Conflicts: 567000 | #Constraints: 115435
1130.24/1133.22 c #Conflicts: 568000 | #Constraints: 116435
1130.24/1133.22 c #Conflicts: 569000 | #Constraints: 117435
1130.24/1133.22 c #Conflicts: 570000 | #Constraints: 118435
1130.24/1133.22 c #Conflicts: 571000 | #Constraints: 119435
1130.24/1133.22 c #Conflicts: 572000 | #Constraints: 120435
1130.24/1133.22 c #Conflicts: 573000 | #Constraints: 121435
1302.38/1305.85 c #Conflicts: 574000 | #Constraints: 122435
1302.38/1305.85 c #Conflicts: 575000 | #Constraints: 123435
1302.38/1305.85 c #Conflicts: 576000 | #Constraints: 124435
1302.38/1305.85 c INPROCESSING
1302.38/1305.85 c GARBAGE COLLECT
1302.38/1305.85 c #Conflicts: 577000 | #Constraints: 110433
1302.38/1305.85 c #Conflicts: 578000 | #Constraints: 111433
1302.38/1305.85 c #Conflicts: 579000 | #Constraints: 112433
1302.38/1305.85 c #Conflicts: 580000 | #Constraints: 113433
1302.38/1305.85 c #Conflicts: 581000 | #Constraints: 114433
1302.38/1305.85 c #Conflicts: 582000 | #Constraints: 115433
1302.38/1305.85 c #Conflicts: 583000 | #Constraints: 116433
1302.38/1305.85 c #Conflicts: 584000 | #Constraints: 117433
1302.38/1305.85 c #Conflicts: 585000 | #Constraints: 118433
1302.38/1305.85 c #Conflicts: 586000 | #Constraints: 119433
1302.38/1305.85 c #Conflicts: 587000 | #Constraints: 120433
1302.38/1305.85 c #Conflicts: 588000 | #Constraints: 121433
1302.38/1305.85 c #Conflicts: 589000 | #Constraints: 122433
1302.38/1305.85 c #Conflicts: 590000 | #Constraints: 123433
1302.38/1305.85 c #Conflicts: 591000 | #Constraints: 124433
1302.38/1305.85 c INPROCESSING
1302.38/1305.85 c GARBAGE COLLECT
1302.38/1305.85 c #Conflicts: 592000 | #Constraints: 110243
1302.38/1305.85 c #Conflicts: 593000 | #Constraints: 111243
1302.38/1305.85 c #Conflicts: 594000 | #Constraints: 112243
1302.38/1305.85 c #Conflicts: 595000 | #Constraints: 113243
1302.38/1305.85 c #Conflicts: 596000 | #Constraints: 114243
1302.38/1305.85 c #Conflicts: 597000 | #Constraints: 115243
1302.38/1305.85 c #Conflicts: 598000 | #Constraints: 116243
1302.38/1305.85 c #Conflicts: 599000 | #Constraints: 117243
1302.38/1305.85 c #Conflicts: 600000 | #Constraints: 118243
1302.38/1305.85 c #Conflicts: 601000 | #Constraints: 119243
1302.38/1305.85 c #Conflicts: 602000 | #Constraints: 120243
1302.38/1305.85 c #Conflicts: 603000 | #Constraints: 121243
1302.38/1305.85 c #Conflicts: 604000 | #Constraints: 122243
1302.38/1305.85 c #Conflicts: 605000 | #Constraints: 123243
1302.38/1305.85 c #Conflicts: 606000 | #Constraints: 124243
1302.38/1305.85 c #Conflicts: 607000 | #Constraints: 125243
1302.38/1305.85 c INPROCESSING
1302.38/1305.85 c GARBAGE COLLECT
1302.38/1305.85 c #Conflicts: 608000 | #Constraints: 110842
1302.38/1305.85 c #Conflicts: 609000 | #Constraints: 111842
1302.38/1305.85 c #Conflicts: 610000 | #Constraints: 112842
1302.38/1305.85 c #Conflicts: 611000 | #Constraints: 113842
1302.38/1305.85 c #Conflicts: 612000 | #Constraints: 114842
1302.38/1305.85 c #Conflicts: 613000 | #Constraints: 115842
1302.38/1305.85 c #Conflicts: 614000 | #Constraints: 116842
1302.38/1305.85 c #Conflicts: 615000 | #Constraints: 117842
1302.38/1305.85 c #Conflicts: 616000 | #Constraints: 118842
1302.38/1305.85 c #Conflicts: 617000 | #Constraints: 119842
1302.38/1305.85 c #Conflicts: 618000 | #Constraints: 120842
1302.38/1305.85 c #Conflicts: 619000 | #Constraints: 121842
1302.38/1305.85 c #Conflicts: 620000 | #Constraints: 122842
1302.38/1305.85 c #Conflicts: 621000 | #Constraints: 123842
1302.38/1305.85 c #Conflicts: 622000 | #Constraints: 124842
1302.38/1305.85 c #Conflicts: 623000 | #Constraints: 125842
1302.38/1305.85 c INPROCESSING
1302.38/1305.85 c GARBAGE COLLECT
1302.38/1305.85 c #Conflicts: 624000 | #Constraints: 111230
1302.38/1305.85 c #Conflicts: 625000 | #Constraints: 112230
1302.38/1305.85 c #Conflicts: 626000 | #Constraints: 113230
1302.38/1305.85 c #Conflicts: 627000 | #Constraints: 114230
1302.38/1305.85 c #Conflicts: 628000 | #Constraints: 115230
1302.38/1305.85 c #Conflicts: 629000 | #Constraints: 116230
1302.38/1305.85 c #Conflicts: 630000 | #Constraints: 117230
1302.38/1305.85 c #Conflicts: 631000 | #Constraints: 118230
1302.38/1305.85 c #Conflicts: 632000 | #Constraints: 119230
1302.38/1305.85 c #Conflicts: 633000 | #Constraints: 120230
1302.38/1305.85 c #Conflicts: 634000 | #Constraints: 121230
1302.38/1305.85 c #Conflicts: 635000 | #Constraints: 122230
1302.38/1305.85 c #Conflicts: 636000 | #Constraints: 123230
1302.38/1305.85 c #Conflicts: 637000 | #Constraints: 124230
1302.38/1305.85 c #Conflicts: 638000 | #Constraints: 125230
1302.38/1305.85 c #Conflicts: 639000 | #Constraints: 126230
1302.38/1305.85 c INPROCESSING
1302.38/1305.85 c GARBAGE COLLECT
1302.38/1305.85 c #Conflicts: 640000 | #Constraints: 111439
1302.38/1305.85 c #Conflicts: 641000 | #Constraints: 112439
1302.38/1305.85 c #Conflicts: 642000 | #Constraints: 113439
1302.38/1305.85 c #Conflicts: 643000 | #Constraints: 114439
1302.38/1305.85 c #Conflicts: 644000 | #Constraints: 115439
1302.38/1305.85 c #Conflicts: 645000 | #Constraints: 116439
1302.38/1305.85 c #Conflicts: 646000 | #Constraints: 117439
1302.38/1305.85 c #Conflicts: 647000 | #Constraints: 118439
1302.38/1305.85 c #Conflicts: 648000 | #Constraints: 119439
1490.80/1494.78 c #Conflicts: 649000 | #Constraints: 120439
1490.80/1494.78 c #Conflicts: 650000 | #Constraints: 121439
1490.80/1494.78 c #Conflicts: 651000 | #Constraints: 122439
1490.80/1494.78 c #Conflicts: 652000 | #Constraints: 123439
1490.80/1494.78 c #Conflicts: 653000 | #Constraints: 124439
1490.80/1494.78 c #Conflicts: 654000 | #Constraints: 125439
1490.80/1494.78 c #Conflicts: 655000 | #Constraints: 126439
1490.80/1494.78 c INPROCESSING
1490.80/1494.78 c GARBAGE COLLECT
1490.80/1494.78 c #Conflicts: 656000 | #Constraints: 111435
1490.80/1494.78 c #Conflicts: 657000 | #Constraints: 112435
1490.80/1494.78 c #Conflicts: 658000 | #Constraints: 113435
1490.80/1494.78 c #Conflicts: 659000 | #Constraints: 114435
1490.80/1494.78 c #Conflicts: 660000 | #Constraints: 115435
1490.80/1494.78 c #Conflicts: 661000 | #Constraints: 116435
1490.80/1494.78 c #Conflicts: 662000 | #Constraints: 117435
1490.80/1494.78 c #Conflicts: 663000 | #Constraints: 118435
1490.80/1494.78 c #Conflicts: 664000 | #Constraints: 119435
1490.80/1494.78 c #Conflicts: 665000 | #Constraints: 120435
1490.80/1494.78 c #Conflicts: 666000 | #Constraints: 121435
1490.80/1494.78 c #Conflicts: 667000 | #Constraints: 122435
1490.80/1494.78 c #Conflicts: 668000 | #Constraints: 123435
1490.80/1494.78 c #Conflicts: 669000 | #Constraints: 124435
1490.80/1494.78 c #Conflicts: 670000 | #Constraints: 125435
1490.80/1494.78 c #Conflicts: 671000 | #Constraints: 126435
1490.80/1494.78 c INPROCESSING
1490.80/1494.78 c GARBAGE COLLECT
1490.80/1494.78 c #Conflicts: 672000 | #Constraints: 111258
1490.80/1494.78 c #Conflicts: 673000 | #Constraints: 112258
1490.80/1494.78 c #Conflicts: 674000 | #Constraints: 113258
1490.80/1494.78 c #Conflicts: 675000 | #Constraints: 114258
1490.80/1494.78 c #Conflicts: 676000 | #Constraints: 115258
1490.80/1494.78 c #Conflicts: 677000 | #Constraints: 116258
1490.80/1494.78 c #Conflicts: 678000 | #Constraints: 117258
1490.80/1494.78 c #Conflicts: 679000 | #Constraints: 118258
1490.80/1494.78 c #Conflicts: 680000 | #Constraints: 119258
1490.80/1494.78 c #Conflicts: 681000 | #Constraints: 120258
1490.80/1494.78 c #Conflicts: 682000 | #Constraints: 121258
1490.80/1494.78 c #Conflicts: 683000 | #Constraints: 122258
1490.80/1494.78 c #Conflicts: 684000 | #Constraints: 123258
1490.80/1494.78 c #Conflicts: 685000 | #Constraints: 124258
1490.80/1494.78 c #Conflicts: 686000 | #Constraints: 125258
1490.80/1494.78 c #Conflicts: 687000 | #Constraints: 126258
1490.80/1494.78 c #Conflicts: 688000 | #Constraints: 127258
1490.80/1494.78 c INPROCESSING
1490.80/1494.78 c GARBAGE COLLECT
1490.80/1494.78 c #Conflicts: 689000 | #Constraints: 111855
1490.80/1494.78 c #Conflicts: 690000 | #Constraints: 112855
1490.80/1494.78 c #Conflicts: 691000 | #Constraints: 113855
1490.80/1494.78 c #Conflicts: 692000 | #Constraints: 114855
1490.80/1494.78 c #Conflicts: 693000 | #Constraints: 115855
1490.80/1494.78 c #Conflicts: 694000 | #Constraints: 116855
1490.80/1494.78 c #Conflicts: 695000 | #Constraints: 117855
1490.80/1494.78 c #Conflicts: 696000 | #Constraints: 118855
1490.80/1494.78 c #Conflicts: 697000 | #Constraints: 119855
1490.80/1494.78 c #Conflicts: 698000 | #Constraints: 120855
1490.80/1494.78 c #Conflicts: 699000 | #Constraints: 121855
1490.80/1494.78 c #Conflicts: 700000 | #Constraints: 122855
1490.80/1494.78 c #Conflicts: 701000 | #Constraints: 123855
1490.80/1494.78 c #Conflicts: 702000 | #Constraints: 124855
1490.80/1494.78 c #Conflicts: 703000 | #Constraints: 125855
1490.80/1494.78 c #Conflicts: 704000 | #Constraints: 126855
1490.80/1494.78 c #Conflicts: 705000 | #Constraints: 127855
1490.80/1494.78 c INPROCESSING
1490.80/1494.78 c GARBAGE COLLECT
1490.80/1494.78 c #Conflicts: 706000 | #Constraints: 112251
1490.80/1494.78 c #Conflicts: 707000 | #Constraints: 113251
1490.80/1494.78 c #Conflicts: 708000 | #Constraints: 114251
1490.80/1494.78 c #Conflicts: 709000 | #Constraints: 115251
1490.80/1494.78 c #Conflicts: 710000 | #Constraints: 116251
1490.80/1494.78 c #Conflicts: 711000 | #Constraints: 117251
1490.80/1494.78 c #Conflicts: 712000 | #Constraints: 118251
1490.80/1494.78 c #Conflicts: 713000 | #Constraints: 119251
1490.80/1494.78 c #Conflicts: 714000 | #Constraints: 120251
1490.80/1494.78 c #Conflicts: 715000 | #Constraints: 121251
1490.80/1494.78 c #Conflicts: 716000 | #Constraints: 122251
1490.80/1494.78 c #Conflicts: 717000 | #Constraints: 123251
1490.80/1494.78 c #Conflicts: 718000 | #Constraints: 124251
1490.80/1494.78 c #Conflicts: 719000 | #Constraints: 125251
1490.80/1494.78 c #Conflicts: 720000 | #Constraints: 126251
1490.80/1494.78 c #Conflicts: 721000 | #Constraints: 127251
1490.80/1494.78 c #Conflicts: 722000 | #Constraints: 128251
1490.80/1494.78 c INPROCESSING
1490.80/1494.78 c GARBAGE COLLECT
1490.80/1494.78 c #Conflicts: 723000 | #Constraints: 112452
1490.80/1494.78 c #Conflicts: 724000 | #Constraints: 113452
1687.50/1691.96 c #Conflicts: 725000 | #Constraints: 114452
1687.50/1691.96 c #Conflicts: 726000 | #Constraints: 115452
1687.50/1691.96 c #Conflicts: 727000 | #Constraints: 116452
1687.50/1691.96 c #Conflicts: 728000 | #Constraints: 117452
1687.50/1691.96 c #Conflicts: 729000 | #Constraints: 118452
1687.50/1691.96 c #Conflicts: 730000 | #Constraints: 119452
1687.50/1691.96 c #Conflicts: 731000 | #Constraints: 120452
1687.50/1691.96 c #Conflicts: 732000 | #Constraints: 121452
1687.50/1691.96 c #Conflicts: 733000 | #Constraints: 122452
1687.50/1691.96 c #Conflicts: 734000 | #Constraints: 123452
1687.50/1691.96 c #Conflicts: 735000 | #Constraints: 124452
1687.50/1691.96 c #Conflicts: 736000 | #Constraints: 125452
1687.50/1691.96 c #Conflicts: 737000 | #Constraints: 126452
1687.50/1691.96 c #Conflicts: 738000 | #Constraints: 127452
1687.50/1691.96 c #Conflicts: 739000 | #Constraints: 128452
1687.50/1691.96 c INPROCESSING
1687.50/1691.96 c GARBAGE COLLECT
1687.50/1691.96 c #Conflicts: 740000 | #Constraints: 112441
1687.50/1691.96 c #Conflicts: 741000 | #Constraints: 113441
1687.50/1691.96 c #Conflicts: 742000 | #Constraints: 114441
1687.50/1691.96 c #Conflicts: 743000 | #Constraints: 115441
1687.50/1691.96 c #Conflicts: 744000 | #Constraints: 116441
1687.50/1691.96 c #Conflicts: 745000 | #Constraints: 117441
1687.50/1691.96 c #Conflicts: 746000 | #Constraints: 118441
1687.50/1691.96 c #Conflicts: 747000 | #Constraints: 119441
1687.50/1691.96 c #Conflicts: 748000 | #Constraints: 120441
1687.50/1691.96 c #Conflicts: 749000 | #Constraints: 121441
1687.50/1691.96 c #Conflicts: 750000 | #Constraints: 122441
1687.50/1691.96 c #Conflicts: 751000 | #Constraints: 123441
1687.50/1691.96 c #Conflicts: 752000 | #Constraints: 124441
1687.50/1691.96 c #Conflicts: 753000 | #Constraints: 125441
1687.50/1691.96 c #Conflicts: 754000 | #Constraints: 126441
1687.50/1691.96 c #Conflicts: 755000 | #Constraints: 127441
1687.50/1691.96 c #Conflicts: 756000 | #Constraints: 128441
1687.50/1691.96 c INPROCESSING
1687.50/1691.96 c GARBAGE COLLECT
1687.50/1691.96 c #Conflicts: 757000 | #Constraints: 112244
1687.50/1691.96 c #Conflicts: 758000 | #Constraints: 113244
1687.50/1691.96 c #Conflicts: 759000 | #Constraints: 114244
1687.50/1691.96 c #Conflicts: 760000 | #Constraints: 115244
1687.50/1691.96 c #Conflicts: 761000 | #Constraints: 116244
1687.50/1691.96 c #Conflicts: 762000 | #Constraints: 117244
1687.50/1691.96 c #Conflicts: 763000 | #Constraints: 118244
1687.50/1691.96 c #Conflicts: 764000 | #Constraints: 119244
1687.50/1691.96 c #Conflicts: 765000 | #Constraints: 120244
1687.50/1691.96 c #Conflicts: 766000 | #Constraints: 121244
1687.50/1691.96 c #Conflicts: 767000 | #Constraints: 122244
1687.50/1691.96 c #Conflicts: 768000 | #Constraints: 123244
1687.50/1691.96 c #Conflicts: 769000 | #Constraints: 124244
1687.50/1691.96 c #Conflicts: 770000 | #Constraints: 125244
1687.50/1691.96 c #Conflicts: 771000 | #Constraints: 126244
1687.50/1691.96 c #Conflicts: 772000 | #Constraints: 127244
1687.50/1691.96 c #Conflicts: 773000 | #Constraints: 128244
1687.50/1691.96 c #Conflicts: 774000 | #Constraints: 129244
1687.50/1691.96 c INPROCESSING
1687.50/1691.96 c GARBAGE COLLECT
1687.50/1691.96 c #Conflicts: 775000 | #Constraints: 112847
1687.50/1691.96 c #Conflicts: 776000 | #Constraints: 113847
1687.50/1691.96 c #Conflicts: 777000 | #Constraints: 114847
1687.50/1691.96 c #Conflicts: 778000 | #Constraints: 115847
1687.50/1691.96 c #Conflicts: 779000 | #Constraints: 116847
1687.50/1691.96 c #Conflicts: 780000 | #Constraints: 117847
1687.50/1691.96 c #Conflicts: 781000 | #Constraints: 118847
1687.50/1691.96 c #Conflicts: 782000 | #Constraints: 119847
1687.50/1691.96 c #Conflicts: 783000 | #Constraints: 120847
1687.50/1691.96 c #Conflicts: 784000 | #Constraints: 121847
1687.50/1691.96 c #Conflicts: 785000 | #Constraints: 122847
1687.50/1691.96 c #Conflicts: 786000 | #Constraints: 123847
1687.50/1691.96 c #Conflicts: 787000 | #Constraints: 124847
1687.50/1691.96 c #Conflicts: 788000 | #Constraints: 125847
1687.50/1691.96 c #Conflicts: 789000 | #Constraints: 126847
1687.50/1691.96 c #Conflicts: 790000 | #Constraints: 127847
1687.50/1691.96 c #Conflicts: 791000 | #Constraints: 128847
1687.50/1691.96 c #Conflicts: 792000 | #Constraints: 129847
1687.50/1691.96 c INPROCESSING
1687.50/1691.96 c GARBAGE COLLECT
1687.50/1691.96 c #Conflicts: 793000 | #Constraints: 113239
1687.50/1691.96 c #Conflicts: 794000 | #Constraints: 114239
1687.50/1691.96 c #Conflicts: 795000 | #Constraints: 115239
1687.50/1691.96 c #Conflicts: 796000 | #Constraints: 116239
1687.50/1691.96 c #Conflicts: 797000 | #Constraints: 117239
1687.50/1691.96 c #Conflicts: 798000 | #Constraints: 118239
1687.50/1691.96 c #Conflicts: 799000 | #Constraints: 119239
1687.50/1691.96 c #Conflicts: 800000 | #Constraints: 120239
1901.54/1906.50 c #Conflicts: 801000 | #Constraints: 121239
1901.54/1906.50 c #Conflicts: 802000 | #Constraints: 122239
1901.54/1906.50 c #Conflicts: 803000 | #Constraints: 123239
1901.54/1906.50 c #Conflicts: 804000 | #Constraints: 124239
1901.54/1906.50 c #Conflicts: 805000 | #Constraints: 125239
1901.54/1906.50 c #Conflicts: 806000 | #Constraints: 126239
1901.54/1906.50 c #Conflicts: 807000 | #Constraints: 127239
1901.54/1906.50 c #Conflicts: 808000 | #Constraints: 128239
1901.54/1906.50 c #Conflicts: 809000 | #Constraints: 129239
1901.54/1906.50 c #Conflicts: 810000 | #Constraints: 130239
1901.54/1906.50 c INPROCESSING
1901.54/1906.50 c GARBAGE COLLECT
1901.54/1906.50 c #Conflicts: 811000 | #Constraints: 113446
1901.54/1906.50 c #Conflicts: 812000 | #Constraints: 114446
1901.54/1906.50 c #Conflicts: 813000 | #Constraints: 115446
1901.54/1906.50 c #Conflicts: 814000 | #Constraints: 116446
1901.54/1906.50 c #Conflicts: 815000 | #Constraints: 117446
1901.54/1906.50 c #Conflicts: 816000 | #Constraints: 118446
1901.54/1906.50 c #Conflicts: 817000 | #Constraints: 119446
1901.54/1906.50 c #Conflicts: 818000 | #Constraints: 120446
1901.54/1906.50 c #Conflicts: 819000 | #Constraints: 121446
1901.54/1906.50 c #Conflicts: 820000 | #Constraints: 122446
1901.54/1906.50 c #Conflicts: 821000 | #Constraints: 123446
1901.54/1906.50 c #Conflicts: 822000 | #Constraints: 124446
1901.54/1906.50 c #Conflicts: 823000 | #Constraints: 125446
1901.54/1906.50 c #Conflicts: 824000 | #Constraints: 126446
1901.54/1906.50 c #Conflicts: 825000 | #Constraints: 127446
1901.54/1906.50 c #Conflicts: 826000 | #Constraints: 128446
1901.54/1906.50 c #Conflicts: 827000 | #Constraints: 129446
1901.54/1906.50 c #Conflicts: 828000 | #Constraints: 130446
1901.54/1906.50 c INPROCESSING
1901.54/1906.50 c GARBAGE COLLECT
1901.54/1906.50 c #Conflicts: 829000 | #Constraints: 113431
1901.54/1906.50 c #Conflicts: 830000 | #Constraints: 114431
1901.54/1906.50 c #Conflicts: 831000 | #Constraints: 115431
1901.54/1906.50 c #Conflicts: 832000 | #Constraints: 116431
1901.54/1906.50 c #Conflicts: 833000 | #Constraints: 117431
1901.54/1906.50 c #Conflicts: 834000 | #Constraints: 118431
1901.54/1906.50 c #Conflicts: 835000 | #Constraints: 119431
1901.54/1906.50 c #Conflicts: 836000 | #Constraints: 120431
1901.54/1906.50 c #Conflicts: 837000 | #Constraints: 121431
1901.54/1906.50 c #Conflicts: 838000 | #Constraints: 122431
1901.54/1906.50 c #Conflicts: 839000 | #Constraints: 123431
1901.54/1906.50 c #Conflicts: 840000 | #Constraints: 124431
1901.54/1906.50 c #Conflicts: 841000 | #Constraints: 125431
1901.54/1906.50 c #Conflicts: 842000 | #Constraints: 126431
1901.54/1906.50 c #Conflicts: 843000 | #Constraints: 127431
1901.54/1906.50 c #Conflicts: 844000 | #Constraints: 128431
1901.54/1906.50 c #Conflicts: 845000 | #Constraints: 129431
1901.54/1906.50 c #Conflicts: 846000 | #Constraints: 130431
1901.54/1906.50 c INPROCESSING
1901.54/1906.50 c GARBAGE COLLECT
1901.54/1906.50 c #Conflicts: 847000 | #Constraints: 113231
1901.54/1906.50 c #Conflicts: 848000 | #Constraints: 114231
1901.54/1906.50 c #Conflicts: 849000 | #Constraints: 115231
1901.54/1906.50 c #Conflicts: 850000 | #Constraints: 116231
1901.54/1906.50 c #Conflicts: 851000 | #Constraints: 117231
1901.54/1906.50 c #Conflicts: 852000 | #Constraints: 118231
1901.54/1906.50 c #Conflicts: 853000 | #Constraints: 119231
1901.54/1906.50 c #Conflicts: 854000 | #Constraints: 120231
1901.54/1906.50 c #Conflicts: 855000 | #Constraints: 121231
1901.54/1906.50 c #Conflicts: 856000 | #Constraints: 122231
1901.54/1906.50 c #Conflicts: 857000 | #Constraints: 123231
1901.54/1906.50 c #Conflicts: 858000 | #Constraints: 124231
1901.54/1906.50 c #Conflicts: 859000 | #Constraints: 125231
1901.54/1906.50 c #Conflicts: 860000 | #Constraints: 126231
1901.54/1906.50 c #Conflicts: 861000 | #Constraints: 127231
1901.54/1906.50 c #Conflicts: 862000 | #Constraints: 128231
1901.54/1906.50 c #Conflicts: 863000 | #Constraints: 129231
1901.54/1906.50 c #Conflicts: 864000 | #Constraints: 130231
1901.54/1906.50 c #Conflicts: 865000 | #Constraints: 131231
1901.54/1906.50 c INPROCESSING
1901.54/1906.50 c GARBAGE COLLECT
1901.54/1906.50 c #Conflicts: 866000 | #Constraints: 113862
1901.54/1906.50 c #Conflicts: 867000 | #Constraints: 114862
1901.54/1906.50 c #Conflicts: 868000 | #Constraints: 115862
1901.54/1906.50 c #Conflicts: 869000 | #Constraints: 116862
1901.54/1906.50 c #Conflicts: 870000 | #Constraints: 117862
1901.54/1906.50 c #Conflicts: 871000 | #Constraints: 118862
1901.54/1906.50 c #Conflicts: 872000 | #Constraints: 119862
1901.54/1906.50 c #Conflicts: 873000 | #Constraints: 120862
1901.54/1906.50 c #Conflicts: 874000 | #Constraints: 121862
1901.54/1906.50 c #Conflicts: 875000 | #Constraints: 122862
1901.54/1906.50 c #Conflicts: 876000 | #Constraints: 123862
2095.36/2100.82 c #Conflicts: 877000 | #Constraints: 124862
2095.36/2100.82 c #Conflicts: 878000 | #Constraints: 125862
2095.36/2100.82 c #Conflicts: 879000 | #Constraints: 126862
2095.36/2100.82 c #Conflicts: 880000 | #Constraints: 127862
2095.36/2100.82 c #Conflicts: 881000 | #Constraints: 128862
2095.36/2100.82 c #Conflicts: 882000 | #Constraints: 129862
2095.36/2100.82 c #Conflicts: 883000 | #Constraints: 130862
2095.36/2100.82 c #Conflicts: 884000 | #Constraints: 131862
2095.36/2100.82 c INPROCESSING
2095.36/2100.82 c GARBAGE COLLECT
2095.36/2100.82 c #Conflicts: 885000 | #Constraints: 114271
2095.36/2100.82 c #Conflicts: 886000 | #Constraints: 115271
2095.36/2100.82 c #Conflicts: 887000 | #Constraints: 116271
2095.36/2100.82 c #Conflicts: 888000 | #Constraints: 117271
2095.36/2100.82 c #Conflicts: 889000 | #Constraints: 118271
2095.36/2100.82 c #Conflicts: 890000 | #Constraints: 119271
2095.36/2100.82 c #Conflicts: 891000 | #Constraints: 120271
2095.36/2100.82 c #Conflicts: 892000 | #Constraints: 121271
2095.36/2100.82 c #Conflicts: 893000 | #Constraints: 122271
2095.36/2100.82 c #Conflicts: 894000 | #Constraints: 123271
2095.36/2100.82 c #Conflicts: 895000 | #Constraints: 124271
2095.36/2100.82 c #Conflicts: 896000 | #Constraints: 125271
2095.36/2100.82 c #Conflicts: 897000 | #Constraints: 126271
2095.36/2100.82 c #Conflicts: 898000 | #Constraints: 127271
2095.36/2100.82 c #Conflicts: 899000 | #Constraints: 128271
2095.36/2100.82 c #Conflicts: 900000 | #Constraints: 129271
2095.36/2100.82 c #Conflicts: 901000 | #Constraints: 130271
2095.36/2100.82 c #Conflicts: 902000 | #Constraints: 131271
2095.36/2100.82 c #Conflicts: 903000 | #Constraints: 132271
2095.36/2100.82 c INPROCESSING
2095.36/2100.82 c GARBAGE COLLECT
2095.36/2100.82 c #Conflicts: 904000 | #Constraints: 114466
2095.36/2100.82 c #Conflicts: 905000 | #Constraints: 115466
2095.36/2100.82 c #Conflicts: 906000 | #Constraints: 116466
2095.36/2100.82 c #Conflicts: 907000 | #Constraints: 117466
2095.36/2100.82 c #Conflicts: 908000 | #Constraints: 118466
2095.36/2100.82 c #Conflicts: 909000 | #Constraints: 119466
2095.36/2100.82 c #Conflicts: 910000 | #Constraints: 120466
2095.36/2100.82 c #Conflicts: 911000 | #Constraints: 121466
2095.36/2100.82 c #Conflicts: 912000 | #Constraints: 122466
2095.36/2100.82 c #Conflicts: 913000 | #Constraints: 123466
2095.36/2100.82 c #Conflicts: 914000 | #Constraints: 124466
2095.36/2100.82 c #Conflicts: 915000 | #Constraints: 125466
2095.36/2100.82 c #Conflicts: 916000 | #Constraints: 126466
2095.36/2100.82 c #Conflicts: 917000 | #Constraints: 127466
2095.36/2100.82 c #Conflicts: 918000 | #Constraints: 128466
2095.36/2100.82 c #Conflicts: 919000 | #Constraints: 129466
2095.36/2100.82 c #Conflicts: 920000 | #Constraints: 130466
2095.36/2100.82 c #Conflicts: 921000 | #Constraints: 131466
2095.36/2100.82 c #Conflicts: 922000 | #Constraints: 132466
2095.36/2100.82 c INPROCESSING
2095.36/2100.82 c GARBAGE COLLECT
2095.36/2100.82 c #Conflicts: 923000 | #Constraints: 114461
2095.36/2100.82 c #Conflicts: 924000 | #Constraints: 115461
2095.36/2100.82 c #Conflicts: 925000 | #Constraints: 116461
2095.36/2100.82 c #Conflicts: 926000 | #Constraints: 117461
2095.36/2100.82 c #Conflicts: 927000 | #Constraints: 118461
2095.36/2100.82 c #Conflicts: 928000 | #Constraints: 119461
2095.36/2100.82 c #Conflicts: 929000 | #Constraints: 120461
2095.36/2100.82 c #Conflicts: 930000 | #Constraints: 121461
2095.36/2100.82 c #Conflicts: 931000 | #Constraints: 122461
2095.36/2100.82 c #Conflicts: 932000 | #Constraints: 123461
2095.36/2100.82 c #Conflicts: 933000 | #Constraints: 124461
2095.36/2100.82 c #Conflicts: 934000 | #Constraints: 125461
2095.36/2100.82 c #Conflicts: 935000 | #Constraints: 126461
2095.36/2100.82 c #Conflicts: 936000 | #Constraints: 127461
2095.36/2100.82 c #Conflicts: 937000 | #Constraints: 128461
2095.36/2100.82 c #Conflicts: 938000 | #Constraints: 129461
2095.36/2100.82 c #Conflicts: 939000 | #Constraints: 130461
2095.36/2100.82 c #Conflicts: 940000 | #Constraints: 131461
2095.36/2100.82 c #Conflicts: 941000 | #Constraints: 132461
2095.36/2100.82 c INPROCESSING
2095.36/2100.82 c GARBAGE COLLECT
2095.36/2100.82 c #Conflicts: 942000 | #Constraints: 114276
2095.36/2100.82 c #Conflicts: 943000 | #Constraints: 115276
2095.36/2100.82 c #Conflicts: 944000 | #Constraints: 116276
2095.36/2100.82 c #Conflicts: 945000 | #Constraints: 117276
2095.36/2100.82 c #Conflicts: 946000 | #Constraints: 118276
2095.36/2100.82 c #Conflicts: 947000 | #Constraints: 119276
2095.36/2100.82 c #Conflicts: 948000 | #Constraints: 120276
2095.36/2100.82 c #Conflicts: 949000 | #Constraints: 121276
2095.36/2100.82 c #Conflicts: 950000 | #Constraints: 122276
2095.36/2100.82 c #Conflicts: 951000 | #Constraints: 123276
2095.36/2100.82 c #Conflicts: 952000 | #Constraints: 124276
2095.36/2100.82 c #Conflicts: 953000 | #Constraints: 125276
2281.01/2286.92 c #Conflicts: 954000 | #Constraints: 126276
2281.01/2286.92 c #Conflicts: 955000 | #Constraints: 127276
2281.01/2286.92 c #Conflicts: 956000 | #Constraints: 128276
2281.01/2286.92 c #Conflicts: 957000 | #Constraints: 129276
2281.01/2286.92 c #Conflicts: 958000 | #Constraints: 130276
2281.01/2286.92 c #Conflicts: 959000 | #Constraints: 131276
2281.01/2286.92 c #Conflicts: 960000 | #Constraints: 132276
2281.01/2286.92 c #Conflicts: 961000 | #Constraints: 133276
2281.01/2286.92 c INPROCESSING
2281.01/2286.92 c GARBAGE COLLECT
2281.01/2286.92 c #Conflicts: 962000 | #Constraints: 114883
2281.01/2286.92 c #Conflicts: 963000 | #Constraints: 115883
2281.01/2286.92 c #Conflicts: 964000 | #Constraints: 116883
2281.01/2286.92 c #Conflicts: 965000 | #Constraints: 117883
2281.01/2286.92 c #Conflicts: 966000 | #Constraints: 118883
2281.01/2286.92 c #Conflicts: 967000 | #Constraints: 119883
2281.01/2286.92 c #Conflicts: 968000 | #Constraints: 120883
2281.01/2286.92 c #Conflicts: 969000 | #Constraints: 121883
2281.01/2286.92 c #Conflicts: 970000 | #Constraints: 122883
2281.01/2286.92 c #Conflicts: 971000 | #Constraints: 123883
2281.01/2286.92 c #Conflicts: 972000 | #Constraints: 124883
2281.01/2286.92 c #Conflicts: 973000 | #Constraints: 125883
2281.01/2286.92 c #Conflicts: 974000 | #Constraints: 126883
2281.01/2286.92 c #Conflicts: 975000 | #Constraints: 127883
2281.01/2286.92 c #Conflicts: 976000 | #Constraints: 128883
2281.01/2286.92 c #Conflicts: 977000 | #Constraints: 129883
2281.01/2286.92 c #Conflicts: 978000 | #Constraints: 130883
2281.01/2286.92 c #Conflicts: 979000 | #Constraints: 131883
2281.01/2286.92 c #Conflicts: 980000 | #Constraints: 132883
2281.01/2286.92 c #Conflicts: 981000 | #Constraints: 133883
2281.01/2286.92 c INPROCESSING
2281.01/2286.92 c GARBAGE COLLECT
2281.01/2286.92 c #Conflicts: 982000 | #Constraints: 115267
2281.01/2286.92 c #Conflicts: 983000 | #Constraints: 116267
2281.01/2286.92 c #Conflicts: 984000 | #Constraints: 117267
2281.01/2286.92 c #Conflicts: 985000 | #Constraints: 118267
2281.01/2286.92 c #Conflicts: 986000 | #Constraints: 119267
2281.01/2286.92 c #Conflicts: 987000 | #Constraints: 120267
2281.01/2286.92 c #Conflicts: 988000 | #Constraints: 121267
2281.01/2286.92 c #Conflicts: 989000 | #Constraints: 122267
2281.01/2286.92 c #Conflicts: 990000 | #Constraints: 123267
2281.01/2286.92 c #Conflicts: 991000 | #Constraints: 124267
2281.01/2286.92 c #Conflicts: 992000 | #Constraints: 125267
2281.01/2286.92 c #Conflicts: 993000 | #Constraints: 126267
2281.01/2286.92 c #Conflicts: 994000 | #Constraints: 127267
2281.01/2286.92 c #Conflicts: 995000 | #Constraints: 128267
2281.01/2286.92 c #Conflicts: 996000 | #Constraints: 129267
2281.01/2286.92 c #Conflicts: 997000 | #Constraints: 130267
2281.01/2286.92 c #Conflicts: 998000 | #Constraints: 131267
2281.01/2286.92 c #Conflicts: 999000 | #Constraints: 132267
2281.01/2286.92 c #Conflicts: 1000000 | #Constraints: 133267
2281.01/2286.92 c #Conflicts: 1001000 | #Constraints: 134267
2281.01/2286.92 c INPROCESSING
2281.01/2286.92 c GARBAGE COLLECT
2281.01/2286.92 c #Conflicts: 1002000 | #Constraints: 115469
2281.01/2286.92 c #Conflicts: 1003000 | #Constraints: 116469
2281.01/2286.92 c #Conflicts: 1004000 | #Constraints: 117469
2281.01/2286.92 c #Conflicts: 1005000 | #Constraints: 118469
2281.01/2286.92 c #Conflicts: 1006000 | #Constraints: 119469
2281.01/2286.92 c #Conflicts: 1007000 | #Constraints: 120469
2281.01/2286.92 c #Conflicts: 1008000 | #Constraints: 121469
2281.01/2286.92 c #Conflicts: 1009000 | #Constraints: 122469
2281.01/2286.92 c #Conflicts: 1010000 | #Constraints: 123469
2281.01/2286.92 c #Conflicts: 1011000 | #Constraints: 124469
2281.01/2286.92 c #Conflicts: 1012000 | #Constraints: 125469
2281.01/2286.92 c #Conflicts: 1013000 | #Constraints: 126469
2281.01/2286.92 c #Conflicts: 1014000 | #Constraints: 127469
2281.01/2286.92 c #Conflicts: 1015000 | #Constraints: 128469
2281.01/2286.92 c #Conflicts: 1016000 | #Constraints: 129469
2281.01/2286.92 c #Conflicts: 1017000 | #Constraints: 130469
2281.01/2286.92 c #Conflicts: 1018000 | #Constraints: 131469
2281.01/2286.92 c #Conflicts: 1019000 | #Constraints: 132469
2281.01/2286.92 c #Conflicts: 1020000 | #Constraints: 133469
2281.01/2286.92 c #Conflicts: 1021000 | #Constraints: 134469
2281.01/2286.92 c INPROCESSING
2281.01/2286.92 c GARBAGE COLLECT
2281.01/2286.92 c #Conflicts: 1022000 | #Constraints: 115448
2281.01/2286.92 c #Conflicts: 1023000 | #Constraints: 116448
2281.01/2286.92 c #Conflicts: 1024000 | #Constraints: 117448
2281.01/2286.92 c #Conflicts: 1025000 | #Constraints: 118448
2281.01/2286.92 c #Conflicts: 1026000 | #Constraints: 119448
2281.01/2286.92 c #Conflicts: 1027000 | #Constraints: 120448
2281.01/2286.92 c #Conflicts: 1028000 | #Constraints: 121448
2281.01/2286.92 c #Conflicts: 1029000 | #Constraints: 122448
2491.47/2498.00 c #Conflicts: 1030000 | #Constraints: 123448
2491.47/2498.00 c #Conflicts: 1031000 | #Constraints: 124448
2491.47/2498.00 c #Conflicts: 1032000 | #Constraints: 125448
2491.47/2498.00 c #Conflicts: 1033000 | #Constraints: 126448
2491.47/2498.00 c #Conflicts: 1034000 | #Constraints: 127448
2491.47/2498.00 c #Conflicts: 1035000 | #Constraints: 128448
2491.47/2498.00 c #Conflicts: 1036000 | #Constraints: 129448
2491.47/2498.00 c #Conflicts: 1037000 | #Constraints: 130448
2491.47/2498.00 c #Conflicts: 1038000 | #Constraints: 131448
2491.47/2498.00 c #Conflicts: 1039000 | #Constraints: 132448
2491.47/2498.00 c #Conflicts: 1040000 | #Constraints: 133448
2491.47/2498.00 c #Conflicts: 1041000 | #Constraints: 134448
2491.47/2498.00 c INPROCESSING
2491.47/2498.00 c GARBAGE COLLECT
2491.47/2498.00 c #Conflicts: 1042000 | #Constraints: 115260
2491.47/2498.00 c #Conflicts: 1043000 | #Constraints: 116260
2491.47/2498.00 c #Conflicts: 1044000 | #Constraints: 117260
2491.47/2498.00 c #Conflicts: 1045000 | #Constraints: 118260
2491.47/2498.00 c #Conflicts: 1046000 | #Constraints: 119260
2491.47/2498.00 c #Conflicts: 1047000 | #Constraints: 120260
2491.47/2498.00 c #Conflicts: 1048000 | #Constraints: 121260
2491.47/2498.00 c #Conflicts: 1049000 | #Constraints: 122260
2491.47/2498.00 c #Conflicts: 1050000 | #Constraints: 123260
2491.47/2498.00 c #Conflicts: 1051000 | #Constraints: 124260
2491.47/2498.00 c #Conflicts: 1052000 | #Constraints: 125260
2491.47/2498.00 c #Conflicts: 1053000 | #Constraints: 126260
2491.47/2498.00 c #Conflicts: 1054000 | #Constraints: 127260
2491.47/2498.00 c #Conflicts: 1055000 | #Constraints: 128260
2491.47/2498.00 c #Conflicts: 1056000 | #Constraints: 129260
2491.47/2498.00 c #Conflicts: 1057000 | #Constraints: 130260
2491.47/2498.00 c #Conflicts: 1058000 | #Constraints: 131260
2491.47/2498.00 c #Conflicts: 1059000 | #Constraints: 132260
2491.47/2498.00 c #Conflicts: 1060000 | #Constraints: 133260
2491.47/2498.00 c #Conflicts: 1061000 | #Constraints: 134260
2491.47/2498.00 c #Conflicts: 1062000 | #Constraints: 135260
2491.47/2498.00 c INPROCESSING
2491.47/2498.00 c GARBAGE COLLECT
2491.47/2498.00 c #Conflicts: 1063000 | #Constraints: 115844
2491.47/2498.00 c #Conflicts: 1064000 | #Constraints: 116844
2491.47/2498.00 c #Conflicts: 1065000 | #Constraints: 117844
2491.47/2498.00 c #Conflicts: 1066000 | #Constraints: 118844
2491.47/2498.00 c #Conflicts: 1067000 | #Constraints: 119844
2491.47/2498.00 c #Conflicts: 1068000 | #Constraints: 120844
2491.47/2498.00 c #Conflicts: 1069000 | #Constraints: 121844
2491.47/2498.00 c #Conflicts: 1070000 | #Constraints: 122844
2491.47/2498.00 c #Conflicts: 1071000 | #Constraints: 123844
2491.47/2498.00 c #Conflicts: 1072000 | #Constraints: 124844
2491.47/2498.00 c #Conflicts: 1073000 | #Constraints: 125844
2491.47/2498.00 c #Conflicts: 1074000 | #Constraints: 126844
2491.47/2498.00 c #Conflicts: 1075000 | #Constraints: 127844
2491.47/2498.00 c #Conflicts: 1076000 | #Constraints: 128844
2491.47/2498.00 c #Conflicts: 1077000 | #Constraints: 129844
2491.47/2498.00 c #Conflicts: 1078000 | #Constraints: 130844
2491.47/2498.00 c #Conflicts: 1079000 | #Constraints: 131844
2491.47/2498.00 c #Conflicts: 1080000 | #Constraints: 132844
2491.47/2498.00 c #Conflicts: 1081000 | #Constraints: 133844
2491.47/2498.00 c #Conflicts: 1082000 | #Constraints: 134844
2491.47/2498.00 c #Conflicts: 1083000 | #Constraints: 135844
2491.47/2498.00 c INPROCESSING
2491.47/2498.00 c GARBAGE COLLECT
2491.47/2498.00 c #Conflicts: 1084000 | #Constraints: 116254
2491.47/2498.00 c #Conflicts: 1085000 | #Constraints: 117254
2491.47/2498.00 c #Conflicts: 1086000 | #Constraints: 118254
2491.47/2498.00 c #Conflicts: 1087000 | #Constraints: 119254
2491.47/2498.00 c #Conflicts: 1088000 | #Constraints: 120254
2491.47/2498.00 c #Conflicts: 1089000 | #Constraints: 121254
2491.47/2498.00 c #Conflicts: 1090000 | #Constraints: 122254
2491.47/2498.00 c #Conflicts: 1091000 | #Constraints: 123254
2491.47/2498.00 c #Conflicts: 1092000 | #Constraints: 124254
2491.47/2498.00 c #Conflicts: 1093000 | #Constraints: 125254
2491.47/2498.00 c #Conflicts: 1094000 | #Constraints: 126254
2491.47/2498.00 c #Conflicts: 1095000 | #Constraints: 127254
2491.47/2498.00 c #Conflicts: 1096000 | #Constraints: 128254
2491.47/2498.00 c #Conflicts: 1097000 | #Constraints: 129254
2491.47/2498.00 c #Conflicts: 1098000 | #Constraints: 130254
2491.47/2498.00 c #Conflicts: 1099000 | #Constraints: 131254
2491.47/2498.00 c #Conflicts: 1100000 | #Constraints: 132254
2491.47/2498.00 c #Conflicts: 1101000 | #Constraints: 133254
2491.47/2498.00 c #Conflicts: 1102000 | #Constraints: 134254
2491.47/2498.00 c #Conflicts: 1103000 | #Constraints: 135254
2491.47/2498.00 c #Conflicts: 1104000 | #Constraints: 136254
2491.47/2498.00 c INPROCESSING
2491.47/2498.00 c GARBAGE COLLECT
2491.47/2498.00 c #Conflicts: 1105000 | #Constraints: 116459
2767.08/2774.29 c #Conflicts: 1106000 | #Constraints: 117459
2767.08/2774.29 c #Conflicts: 1107000 | #Constraints: 118459
2767.08/2774.29 c #Conflicts: 1108000 | #Constraints: 119459
2767.08/2774.29 c #Conflicts: 1109000 | #Constraints: 120459
2767.08/2774.29 c #Conflicts: 1110000 | #Constraints: 121459
2767.08/2774.29 c #Conflicts: 1111000 | #Constraints: 122459
2767.08/2774.29 c #Conflicts: 1112000 | #Constraints: 123459
2767.08/2774.29 c #Conflicts: 1113000 | #Constraints: 124459
2767.08/2774.29 c #Conflicts: 1114000 | #Constraints: 125459
2767.08/2774.29 c #Conflicts: 1115000 | #Constraints: 126459
2767.08/2774.29 c #Conflicts: 1116000 | #Constraints: 127459
2767.08/2774.29 c #Conflicts: 1117000 | #Constraints: 128459
2767.08/2774.29 c #Conflicts: 1118000 | #Constraints: 129459
2767.08/2774.29 c #Conflicts: 1119000 | #Constraints: 130459
2767.08/2774.29 c #Conflicts: 1120000 | #Constraints: 131459
2767.08/2774.29 c #Conflicts: 1121000 | #Constraints: 132459
2767.08/2774.29 c #Conflicts: 1122000 | #Constraints: 133459
2767.08/2774.29 c #Conflicts: 1123000 | #Constraints: 134459
2767.08/2774.29 c #Conflicts: 1124000 | #Constraints: 135459
2767.08/2774.29 c #Conflicts: 1125000 | #Constraints: 136459
2767.08/2774.29 c INPROCESSING
2767.08/2774.29 c GARBAGE COLLECT
2767.08/2774.29 c #Conflicts: 1126000 | #Constraints: 116463
2767.08/2774.29 c #Conflicts: 1127000 | #Constraints: 117463
2767.08/2774.29 c #Conflicts: 1128000 | #Constraints: 118463
2767.08/2774.29 c #Conflicts: 1129000 | #Constraints: 119463
2767.08/2774.29 c #Conflicts: 1130000 | #Constraints: 120463
2767.08/2774.29 c #Conflicts: 1131000 | #Constraints: 121463
2767.08/2774.29 c #Conflicts: 1132000 | #Constraints: 122463
2767.08/2774.29 c #Conflicts: 1133000 | #Constraints: 123463
2767.08/2774.29 c #Conflicts: 1134000 | #Constraints: 124463
2767.08/2774.29 c #Conflicts: 1135000 | #Constraints: 125463
2767.08/2774.29 c #Conflicts: 1136000 | #Constraints: 126463
2767.08/2774.29 c #Conflicts: 1137000 | #Constraints: 127463
2767.08/2774.29 c #Conflicts: 1138000 | #Constraints: 128463
2767.08/2774.29 c #Conflicts: 1139000 | #Constraints: 129463
2767.08/2774.29 c #Conflicts: 1140000 | #Constraints: 130463
2767.08/2774.29 c #Conflicts: 1141000 | #Constraints: 131463
2767.08/2774.29 c #Conflicts: 1142000 | #Constraints: 132463
2767.08/2774.29 c #Conflicts: 1143000 | #Constraints: 133463
2767.08/2774.29 c #Conflicts: 1144000 | #Constraints: 134463
2767.08/2774.29 c #Conflicts: 1145000 | #Constraints: 135463
2767.08/2774.29 c #Conflicts: 1146000 | #Constraints: 136463
2767.08/2774.29 c INPROCESSING
2767.08/2774.29 c GARBAGE COLLECT
2767.08/2774.29 c #Conflicts: 1147000 | #Constraints: 116278
2767.08/2774.29 c #Conflicts: 1148000 | #Constraints: 117278
2767.08/2774.29 c #Conflicts: 1149000 | #Constraints: 118278
2767.08/2774.29 c #Conflicts: 1150000 | #Constraints: 119278
2767.08/2774.29 c #Conflicts: 1151000 | #Constraints: 120278
2767.08/2774.29 c #Conflicts: 1152000 | #Constraints: 121278
2767.08/2774.29 c #Conflicts: 1153000 | #Constraints: 122278
2767.08/2774.29 c #Conflicts: 1154000 | #Constraints: 123278
2767.08/2774.29 c #Conflicts: 1155000 | #Constraints: 124278
2767.08/2774.29 c #Conflicts: 1156000 | #Constraints: 125278
2767.08/2774.29 c #Conflicts: 1157000 | #Constraints: 126278
2767.08/2774.29 c #Conflicts: 1158000 | #Constraints: 127278
2767.08/2774.29 c #Conflicts: 1159000 | #Constraints: 128278
2767.08/2774.29 c #Conflicts: 1160000 | #Constraints: 129278
2767.08/2774.29 c #Conflicts: 1161000 | #Constraints: 130278
2767.08/2774.29 c #Conflicts: 1162000 | #Constraints: 131278
2767.08/2774.29 c #Conflicts: 1163000 | #Constraints: 132278
2767.08/2774.29 c #Conflicts: 1164000 | #Constraints: 133278
2767.08/2774.29 c #Conflicts: 1165000 | #Constraints: 134278
2767.08/2774.29 c #Conflicts: 1166000 | #Constraints: 135278
2767.08/2774.29 c #Conflicts: 1167000 | #Constraints: 136278
2767.08/2774.29 c #Conflicts: 1168000 | #Constraints: 137278
2767.08/2774.29 c INPROCESSING
2767.08/2774.29 c GARBAGE COLLECT
2767.08/2774.29 c #Conflicts: 1169000 | #Constraints: 116882
2767.08/2774.29 c #Conflicts: 1170000 | #Constraints: 117882
2767.08/2774.29 c #Conflicts: 1171000 | #Constraints: 118882
2767.08/2774.29 c #Conflicts: 1172000 | #Constraints: 119882
2767.08/2774.29 c #Conflicts: 1173000 | #Constraints: 120882
2767.08/2774.29 c #Conflicts: 1174000 | #Constraints: 121882
2767.08/2774.29 c #Conflicts: 1175000 | #Constraints: 122882
2767.08/2774.29 c #Conflicts: 1176000 | #Constraints: 123882
2767.08/2774.29 c #Conflicts: 1177000 | #Constraints: 124882
2767.08/2774.29 c #Conflicts: 1178000 | #Constraints: 125882
2767.08/2774.29 c #Conflicts: 1179000 | #Constraints: 126882
2767.08/2774.29 c #Conflicts: 1180000 | #Constraints: 127882
2767.08/2774.29 c #Conflicts: 1181000 | #Constraints: 128882
2767.08/2774.29 c #Conflicts: 1182000 | #Constraints: 129882
3078.46/3086.48 c #Conflicts: 1183000 | #Constraints: 130882
3078.46/3086.48 c #Conflicts: 1184000 | #Constraints: 131882
3078.46/3086.48 c #Conflicts: 1185000 | #Constraints: 132882
3078.46/3086.48 c #Conflicts: 1186000 | #Constraints: 133882
3078.46/3086.48 c #Conflicts: 1187000 | #Constraints: 134882
3078.46/3086.48 c #Conflicts: 1188000 | #Constraints: 135882
3078.46/3086.48 c #Conflicts: 1189000 | #Constraints: 136882
3078.46/3086.48 c #Conflicts: 1190000 | #Constraints: 137882
3078.46/3086.48 c INPROCESSING
3078.46/3086.48 c GARBAGE COLLECT
3078.46/3086.48 c #Conflicts: 1191000 | #Constraints: 117258
3078.46/3086.48 c #Conflicts: 1192000 | #Constraints: 118258
3078.46/3086.48 c #Conflicts: 1193000 | #Constraints: 119258
3078.46/3086.48 c #Conflicts: 1194000 | #Constraints: 120258
3078.46/3086.48 c #Conflicts: 1195000 | #Constraints: 121258
3078.46/3086.48 c #Conflicts: 1196000 | #Constraints: 122258
3078.46/3086.48 c #Conflicts: 1197000 | #Constraints: 123258
3078.46/3086.48 c #Conflicts: 1198000 | #Constraints: 124258
3078.46/3086.48 c #Conflicts: 1199000 | #Constraints: 125258
3078.46/3086.48 c #Conflicts: 1200000 | #Constraints: 126258
3078.46/3086.48 c #Conflicts: 1201000 | #Constraints: 127258
3078.46/3086.48 c #Conflicts: 1202000 | #Constraints: 128258
3078.46/3086.48 c #Conflicts: 1203000 | #Constraints: 129258
3078.46/3086.48 c #Conflicts: 1204000 | #Constraints: 130258
3078.46/3086.48 c #Conflicts: 1205000 | #Constraints: 131258
3078.46/3086.48 c #Conflicts: 1206000 | #Constraints: 132258
3078.46/3086.48 c #Conflicts: 1207000 | #Constraints: 133258
3078.46/3086.48 c #Conflicts: 1208000 | #Constraints: 134258
3078.46/3086.48 c #Conflicts: 1209000 | #Constraints: 135258
3078.46/3086.48 c #Conflicts: 1210000 | #Constraints: 136258
3078.46/3086.48 c #Conflicts: 1211000 | #Constraints: 137258
3078.46/3086.48 c #Conflicts: 1212000 | #Constraints: 138258
3078.46/3086.48 c INPROCESSING
3078.46/3086.48 c GARBAGE COLLECT
3078.46/3086.48 c #Conflicts: 1213000 | #Constraints: 117472
3078.46/3086.48 c #Conflicts: 1214000 | #Constraints: 118472
3078.46/3086.48 c #Conflicts: 1215000 | #Constraints: 119472
3078.46/3086.48 c #Conflicts: 1216000 | #Constraints: 120472
3078.46/3086.48 c #Conflicts: 1217000 | #Constraints: 121472
3078.46/3086.48 c #Conflicts: 1218000 | #Constraints: 122472
3078.46/3086.48 c #Conflicts: 1219000 | #Constraints: 123472
3078.46/3086.48 c #Conflicts: 1220000 | #Constraints: 124472
3078.46/3086.48 c #Conflicts: 1221000 | #Constraints: 125472
3078.46/3086.48 c #Conflicts: 1222000 | #Constraints: 126472
3078.46/3086.48 c #Conflicts: 1223000 | #Constraints: 127472
3078.46/3086.48 c #Conflicts: 1224000 | #Constraints: 128472
3078.46/3086.48 c #Conflicts: 1225000 | #Constraints: 129472
3078.46/3086.48 c #Conflicts: 1226000 | #Constraints: 130472
3078.46/3086.48 c #Conflicts: 1227000 | #Constraints: 131472
3078.46/3086.48 c #Conflicts: 1228000 | #Constraints: 132472
3078.46/3086.48 c #Conflicts: 1229000 | #Constraints: 133472
3078.46/3086.48 c #Conflicts: 1230000 | #Constraints: 134472
3078.46/3086.48 c #Conflicts: 1231000 | #Constraints: 135472
3078.46/3086.48 c #Conflicts: 1232000 | #Constraints: 136472
3078.46/3086.48 c #Conflicts: 1233000 | #Constraints: 137472
3078.46/3086.48 c #Conflicts: 1234000 | #Constraints: 138472
3078.46/3086.48 c INPROCESSING
3078.46/3086.48 c GARBAGE COLLECT
3078.46/3086.48 c #Conflicts: 1235000 | #Constraints: 117463
3078.46/3086.48 c #Conflicts: 1236000 | #Constraints: 118463
3078.46/3086.48 c #Conflicts: 1237000 | #Constraints: 119463
3078.46/3086.48 c #Conflicts: 1238000 | #Constraints: 120463
3078.46/3086.48 c #Conflicts: 1239000 | #Constraints: 121463
3078.46/3086.48 c #Conflicts: 1240000 | #Constraints: 122463
3078.46/3086.48 c #Conflicts: 1241000 | #Constraints: 123463
3078.46/3086.48 c #Conflicts: 1242000 | #Constraints: 124463
3078.46/3086.48 c #Conflicts: 1243000 | #Constraints: 125463
3078.46/3086.48 c #Conflicts: 1244000 | #Constraints: 126463
3078.46/3086.48 c #Conflicts: 1245000 | #Constraints: 127463
3078.46/3086.48 c #Conflicts: 1246000 | #Constraints: 128463
3078.46/3086.48 c #Conflicts: 1247000 | #Constraints: 129463
3078.46/3086.48 c #Conflicts: 1248000 | #Constraints: 130463
3078.46/3086.48 c #Conflicts: 1249000 | #Constraints: 131463
3078.46/3086.48 c #Conflicts: 1250000 | #Constraints: 132463
3078.46/3086.48 c #Conflicts: 1251000 | #Constraints: 133463
3078.46/3086.48 c #Conflicts: 1252000 | #Constraints: 134463
3078.46/3086.48 c #Conflicts: 1253000 | #Constraints: 135463
3078.46/3086.48 c #Conflicts: 1254000 | #Constraints: 136463
3078.46/3086.48 c #Conflicts: 1255000 | #Constraints: 137463
3078.46/3086.48 c #Conflicts: 1256000 | #Constraints: 138463
3078.46/3086.48 c INPROCESSING
3078.46/3086.48 c GARBAGE COLLECT
3078.46/3086.48 c #Conflicts: 1257000 | #Constraints: 117261
3078.46/3086.48 c #Conflicts: 1258000 | #Constraints: 118261
3379.66/3388.45 c #Conflicts: 1259000 | #Constraints: 119261
3379.66/3388.45 c #Conflicts: 1260000 | #Constraints: 120261
3379.66/3388.45 c #Conflicts: 1261000 | #Constraints: 121261
3379.66/3388.45 c #Conflicts: 1262000 | #Constraints: 122261
3379.66/3388.45 c #Conflicts: 1263000 | #Constraints: 123261
3379.66/3388.45 c #Conflicts: 1264000 | #Constraints: 124261
3379.66/3388.45 c #Conflicts: 1265000 | #Constraints: 125261
3379.66/3388.45 c #Conflicts: 1266000 | #Constraints: 126261
3379.66/3388.45 c #Conflicts: 1267000 | #Constraints: 127261
3379.66/3388.45 c #Conflicts: 1268000 | #Constraints: 128261
3379.66/3388.45 c #Conflicts: 1269000 | #Constraints: 129261
3379.66/3388.45 c #Conflicts: 1270000 | #Constraints: 130261
3379.66/3388.45 c #Conflicts: 1271000 | #Constraints: 131261
3379.66/3388.45 c #Conflicts: 1272000 | #Constraints: 132261
3379.66/3388.45 c #Conflicts: 1273000 | #Constraints: 133261
3379.66/3388.45 c #Conflicts: 1274000 | #Constraints: 134261
3379.66/3388.45 c #Conflicts: 1275000 | #Constraints: 135261
3379.66/3388.45 c #Conflicts: 1276000 | #Constraints: 136261
3379.66/3388.45 c #Conflicts: 1277000 | #Constraints: 137261
3379.66/3388.45 c #Conflicts: 1278000 | #Constraints: 138261
3379.66/3388.45 c #Conflicts: 1279000 | #Constraints: 139261
3379.66/3388.45 c INPROCESSING
3379.66/3388.45 c GARBAGE COLLECT
3379.66/3388.45 c #Conflicts: 1280000 | #Constraints: 117844
3379.66/3388.45 c #Conflicts: 1281000 | #Constraints: 118844
3379.66/3388.45 c #Conflicts: 1282000 | #Constraints: 119844
3379.66/3388.45 c #Conflicts: 1283000 | #Constraints: 120844
3379.66/3388.45 c #Conflicts: 1284000 | #Constraints: 121844
3379.66/3388.45 c #Conflicts: 1285000 | #Constraints: 122844
3379.66/3388.45 c #Conflicts: 1286000 | #Constraints: 123844
3379.66/3388.45 c #Conflicts: 1287000 | #Constraints: 124844
3379.66/3388.45 c #Conflicts: 1288000 | #Constraints: 125844
3379.66/3388.45 c #Conflicts: 1289000 | #Constraints: 126844
3379.66/3388.45 c #Conflicts: 1290000 | #Constraints: 127844
3379.66/3388.45 c #Conflicts: 1291000 | #Constraints: 128844
3379.66/3388.45 c #Conflicts: 1292000 | #Constraints: 129844
3379.66/3388.45 c #Conflicts: 1293000 | #Constraints: 130844
3379.66/3388.45 c #Conflicts: 1294000 | #Constraints: 131844
3379.66/3388.45 c #Conflicts: 1295000 | #Constraints: 132844
3379.66/3388.45 c #Conflicts: 1296000 | #Constraints: 133844
3379.66/3388.45 c #Conflicts: 1297000 | #Constraints: 134844
3379.66/3388.45 c #Conflicts: 1298000 | #Constraints: 135844
3379.66/3388.45 c #Conflicts: 1299000 | #Constraints: 136844
3379.66/3388.45 c #Conflicts: 1300000 | #Constraints: 137844
3379.66/3388.45 c #Conflicts: 1301000 | #Constraints: 138844
3379.66/3388.45 c #Conflicts: 1302000 | #Constraints: 139844
3379.66/3388.45 c INPROCESSING
3379.66/3388.45 c GARBAGE COLLECT
3379.66/3388.45 c #Conflicts: 1303000 | #Constraints: 118231
3379.66/3388.45 c #Conflicts: 1304000 | #Constraints: 119231
3379.66/3388.45 c #Conflicts: 1305000 | #Constraints: 120231
3379.66/3388.45 c #Conflicts: 1306000 | #Constraints: 121231
3379.66/3388.45 c #Conflicts: 1307000 | #Constraints: 122231
3379.66/3388.45 c #Conflicts: 1308000 | #Constraints: 123231
3379.66/3388.45 c #Conflicts: 1309000 | #Constraints: 124231
3379.66/3388.45 c #Conflicts: 1310000 | #Constraints: 125231
3379.66/3388.45 c #Conflicts: 1311000 | #Constraints: 126231
3379.66/3388.45 c #Conflicts: 1312000 | #Constraints: 127231
3379.66/3388.45 c #Conflicts: 1313000 | #Constraints: 128231
3379.66/3388.45 c #Conflicts: 1314000 | #Constraints: 129231
3379.66/3388.45 c #Conflicts: 1315000 | #Constraints: 130231
3379.66/3388.45 c #Conflicts: 1316000 | #Constraints: 131231
3379.66/3388.45 c #Conflicts: 1317000 | #Constraints: 132231
3379.66/3388.45 c #Conflicts: 1318000 | #Constraints: 133231
3379.66/3388.45 c #Conflicts: 1319000 | #Constraints: 134231
3379.66/3388.45 c #Conflicts: 1320000 | #Constraints: 135231
3379.66/3388.45 c #Conflicts: 1321000 | #Constraints: 136231
3379.66/3388.45 c #Conflicts: 1322000 | #Constraints: 137231
3379.66/3388.45 c #Conflicts: 1323000 | #Constraints: 138231
3379.66/3388.45 c #Conflicts: 1324000 | #Constraints: 139231
3379.66/3388.45 c #Conflicts: 1325000 | #Constraints: 140231
3379.66/3388.45 c INPROCESSING
3379.66/3388.45 c GARBAGE COLLECT
3379.66/3388.45 c #Conflicts: 1326000 | #Constraints: 118430
3379.66/3388.45 c #Conflicts: 1327000 | #Constraints: 119430
3379.66/3388.45 c #Conflicts: 1328000 | #Constraints: 120430
3379.66/3388.45 c #Conflicts: 1329000 | #Constraints: 121430
3379.66/3388.45 c #Conflicts: 1330000 | #Constraints: 122430
3379.66/3388.45 c #Conflicts: 1331000 | #Constraints: 123430
3379.66/3388.45 c #Conflicts: 1332000 | #Constraints: 124430
3379.66/3388.45 c #Conflicts: 1333000 | #Constraints: 125430
3379.66/3388.45 c #Conflicts: 1334000 | #Constraints: 126430
3379.66/3388.45 c #Conflicts: 1335000 | #Constraints: 127430
3600.07/3609.50 c #Conflicts: 1336000 | #Constraints: 128430
3600.07/3609.50 c #Conflicts: 1337000 | #Constraints: 129430
3600.07/3609.50 c #Conflicts: 1338000 | #Constraints: 130430
3600.07/3609.50 c #Conflicts: 1339000 | #Constraints: 131430
3600.07/3609.50 c #Conflicts: 1340000 | #Constraints: 132430
3600.07/3609.50 c #Conflicts: 1341000 | #Constraints: 133430
3600.07/3609.50 c #Conflicts: 1342000 | #Constraints: 134430
3600.07/3609.50 c #Conflicts: 1343000 | #Constraints: 135430
3600.07/3609.50 c #Conflicts: 1344000 | #Constraints: 136430
3600.07/3609.50 c #Conflicts: 1345000 | #Constraints: 137430
3600.07/3609.50 c #Conflicts: 1346000 | #Constraints: 138430
3600.07/3609.50 c #Conflicts: 1347000 | #Constraints: 139430
3600.07/3609.50 c #Conflicts: 1348000 | #Constraints: 140430
3600.07/3609.50 c INPROCESSING
3600.07/3609.50 c GARBAGE COLLECT
3600.07/3609.50 c #Conflicts: 1349000 | #Constraints: 118435
3600.07/3609.50 c #Conflicts: 1350000 | #Constraints: 119435
3600.07/3609.50 c #Conflicts: 1351000 | #Constraints: 120435
3600.07/3609.50 c #Conflicts: 1352000 | #Constraints: 121435
3600.07/3609.50 c #Conflicts: 1353000 | #Constraints: 122435
3600.07/3609.50 c #Conflicts: 1354000 | #Constraints: 123435
3600.07/3609.50 c #Conflicts: 1355000 | #Constraints: 124435
3600.07/3609.50 c #Conflicts: 1356000 | #Constraints: 125435
3600.07/3609.50 c #Conflicts: 1357000 | #Constraints: 126435
3600.07/3609.50 c #Conflicts: 1358000 | #Constraints: 127435
3600.07/3609.50 c #Conflicts: 1359000 | #Constraints: 128435
3600.07/3609.50 c #Conflicts: 1360000 | #Constraints: 129435
3600.07/3609.50 c #Conflicts: 1361000 | #Constraints: 130435
3600.07/3609.50 c #Conflicts: 1362000 | #Constraints: 131435
3600.07/3609.50 c #Conflicts: 1363000 | #Constraints: 132435
3600.07/3609.50 c #Conflicts: 1364000 | #Constraints: 133435
3600.07/3609.50 c #Conflicts: 1365000 | #Constraints: 134435
3600.07/3609.50 c #Conflicts: 1366000 | #Constraints: 135435
3600.07/3609.50 c #Conflicts: 1367000 | #Constraints: 136435
3600.07/3609.50 c #Conflicts: 1368000 | #Constraints: 137435
3600.07/3609.50 c #Conflicts: 1369000 | #Constraints: 138435
3600.07/3609.50 c #Conflicts: 1370000 | #Constraints: 139435
3600.07/3609.50 c #Conflicts: 1371000 | #Constraints: 140435
3600.07/3609.50 c INPROCESSING
3600.07/3609.50 c GARBAGE COLLECT
3600.07/3609.50 c #Conflicts: 1372000 | #Constraints: 118246
3600.07/3609.50 c #Conflicts: 1373000 | #Constraints: 119246
3600.07/3609.50 c #Conflicts: 1374000 | #Constraints: 120246
3600.07/3609.50 c #Conflicts: 1375000 | #Constraints: 121246
3600.07/3609.50 c #Conflicts: 1376000 | #Constraints: 122246
3600.07/3609.50 c #Conflicts: 1377000 | #Constraints: 123246
3600.07/3609.50 c #Conflicts: 1378000 | #Constraints: 124246
3600.07/3609.50 c #Conflicts: 1379000 | #Constraints: 125246
3600.07/3609.50 c #Conflicts: 1380000 | #Constraints: 126246
3600.07/3609.50 c #Conflicts: 1381000 | #Constraints: 127246
3600.07/3609.50 c #Conflicts: 1382000 | #Constraints: 128246
3600.07/3609.50 c #Conflicts: 1383000 | #Constraints: 129246
3600.07/3609.50 c #Conflicts: 1384000 | #Constraints: 130246
3600.07/3609.50 c #Conflicts: 1385000 | #Constraints: 131246
3600.07/3609.50 c #Conflicts: 1386000 | #Constraints: 132246
3600.07/3609.50 c #Conflicts: 1387000 | #Constraints: 133246
3600.07/3609.50 c #Conflicts: 1388000 | #Constraints: 134246
3600.07/3609.50 c #Conflicts: 1389000 | #Constraints: 135246
3600.07/3609.50 c #Conflicts: 1390000 | #Constraints: 136246
3600.07/3609.50 c #Conflicts: 1391000 | #Constraints: 137246
3600.07/3609.50 c #Conflicts: 1392000 | #Constraints: 138246
3600.07/3609.50 c Program interrupted by user.
3600.07/3609.50 c cpu time 3592.71 s
3600.07/3609.50 c deterministic time 732455785781 7.32e+11
3600.07/3609.50 c optimization time 80.132 s
3600.07/3609.50 c total solve time 3213 s
3600.07/3609.50 c core-guided solve time 3213 s
3600.07/3609.50 c propagation time 3095.22 s
3600.07/3609.50 c conflict analysis time 152.138 s
3600.07/3609.50 c propagations 35117852
3600.07/3609.50 c resolve steps 10274813
3600.07/3609.50 c decisions 2008329
3600.07/3609.50 c conflicts 1392053
3600.07/3609.50 c restarts 2676
3600.07/3609.50 c inprocessing phases 108
3600.07/3609.50 c input clauses 94526
3600.07/3609.50 c input cardinalities 30
3600.07/3609.50 c input general constraints 0
3600.07/3609.50 c input average constraint length 2.41
3600.07/3609.50 c input average constraint degree 1.32
3600.07/3609.50 c learned clauses 829730
3600.07/3609.50 c learned cardinalities 383356
3600.07/3609.50 c learned general constraints 178967
3600.07/3609.50 c learned average constraint length 1213.97
3600.07/3609.50 c learned average constraint degree 20.65
3600.07/3609.50 c watched constraints 178967
3600.07/3609.50 c counting constraints 0
3600.07/3609.50 c gcd simplifications 85791
3600.07/3609.50 c detected cardinalities 23229
3600.07/3609.50 c weakened non-implied lits 22343431
3600.07/3609.50 c weakened non-implying lits 61304
3600.07/3609.50 c original variables 1272
3600.07/3609.50 c clausal propagations 25039858
3600.07/3609.50 c cardinality propagations 5478747
3600.07/3609.50 c watched propagations 802469
3600.07/3609.50 c counting propagations 0
3600.07/3609.50 c watch lookups 18277396041
3600.07/3609.50 c watch backjump lookups 2497034
3600.07/3609.50 c watch checks 709057684826
3600.07/3609.50 c propagation checks 1520767745
3600.07/3609.50 c constraint additions 3521797171
3600.07/3609.50 c trail pops 38516782
3600.07/3609.50 c formula constraints 94289
3600.07/3609.50 c learned constraints 1392053
3600.07/3609.50 c bound constraints 30
3600.07/3609.50 c core-guided constraints 237
3600.07/3609.50 c encountered formula constraints 8652136
3600.07/3609.50 c encountered learned constraints 2975526
3600.07/3609.50 c encountered bound constraints 2091
3600.07/3609.50 c encountered core-guided constraints 37113
3600.07/3609.50 c LP total time 0 s
3600.07/3609.50 c LP solve time 0 s
3600.07/3609.50 c LP constraints added 0
3600.07/3609.50 c LP constraints removed 0
3600.07/3609.50 c LP pivots internal 0
3600.07/3609.50 c LP pivots root 0
3600.07/3609.50 c LP calls 0
3600.07/3609.50 c LP optimalities 0
3600.07/3609.50 c LP no pivot count 0
3600.07/3609.50 c LP infeasibilities 0
3600.07/3609.50 c LP valid Farkas constraints 0
3600.07/3609.50 c LP learned Farkas constraints 0
3600.07/3609.50 c LP basis resets 0
3600.07/3609.50 c LP cycling count 0
3600.07/3609.50 c LP singular count 0
3600.07/3609.50 c LP no primal count 0
3600.07/3609.50 c LP no farkas count 0
3600.07/3609.50 c LP other issue count 0
3600.07/3609.50 c LP Gomory cuts 0
3600.07/3609.50 c LP learned cuts 0
3600.07/3609.50 c LP deleted cuts 0
3600.07/3609.50 c LP encountered Gomory constraints 0
3600.07/3609.50 c LP encountered Farkas constraints 0
3600.07/3609.50 c LP encountered learned Farkas constraints 0
3600.07/3609.50 c CG auxiliary variables introduced 237
3600.07/3609.50 c CG solutions found 0
3600.07/3609.50 c CG cores constructed 29
3600.07/3609.50 c CG core cardinality constraints returned 0
3600.07/3609.50 c CG unit cores 0
3600.07/3609.50 c CG single cores 29
3600.07/3609.50 c CG blocks removed during cardinality reduction 0
3600.07/3609.50 c CG first core best 0
3600.07/3609.50 c CG decision core best 0
3600.07/3609.50 c CG core reduction tie 0
3600.07/3609.50 c CG core degree average 1.00
3600.07/3609.50 c CG core slack average 6.76
3600.07/3609.50 c CG exhausted 0
3600.07/3609.50 c CG exhaust time 0 s
3600.07/3609.50 c CG trimmed 1
3600.07/3609.50 c CG trim time 0.000255 s
3600.07/3609.50 c CG minimized 0
3600.07/3609.50 c CG minimize time 0 s
3600.07/3609.50 c CG am1 prop time 0.006622 s
3600.07/3609.50 c CG # am1s reformulated 237
3600.07/3609.50 c CG lower bound derived from am1s 1035
3600.07/3609.50 c CG # clausal cores 29
3600.07/3609.50 c CG # cardinality cores 0
3600.07/3609.50 c CG # pb cores 0
3600.07/3609.50 c CG # pb reforms 0
3600.07/3609.50 c CG # cores discarded because of pb reform 0
3600.07/3609.50 d LOWERBOUND -208
3600.07/3609.50 d NCORES 29
3600.07/3609.50 d NPBCORES 0
3600.07/3609.50 d NPBREFORM 0
3600.07/3609.50 d NTRIMMED 1
3600.07/3609.50 d NEXHAUSTED 0
3600.07/3609.50 d NAM1S 237
3600.07/3609.50 d AM1LB 1035
3600.07/3609.50 c [Papilo Statistics]
3600.07/3609.50 c prepro time 0.269576s
3600.07/3609.50 c # tsx applied 0
3600.07/3609.50 c # tsx conflicts 0
3600.07/3609.50 c # bound changes 0
3600.07/3609.50 c # side changes 0
3600.07/3609.50 c # coef changes 0
3600.07/3609.50 c # rounds 1
3600.07/3609.50 c # deted vars 0
3600.07/3609.50 c # deted constrs 0
3600.07/3609.50 c # consecutive rounds of only bound changes 0
3600.07/3609.51 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61126 MiB free)
memory of node 1: 64510 MiB (61945 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435524-1721060778/watcher-4435524-1721060778 -o /tmp/evaluation-result-4435524-1721060778/solver-4435524-1721060778 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721060594-815231 --watchdog 3760 mixed-bag HOME/instance-4435524-1721060778.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=816308, runsolver pid=816305
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 3.99 2.59 2.31 5/260 816309
/proc/meminfo: memFree=126018320/131524600 swapFree=130795544/131071996
[pid=816308] ppid=816305 vsize=82140 memory=13524 CPUtime=0.09 cores=5,7
/proc/816308/stat : 816308 (mixed-bag) R 816305 816308 815216 0 -1 4194304 2495 0 0 0 9 0 0 0 20 0 1 0 158236982 84111360 3381 134679101440 4194304 16487941 140726971924400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 29356032 140726971929623 140726971929700 140726971929700 140726971936715 0
/proc/816308/statm: 20535 3381 1622 3002 0 4825 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 82140 KiB
Current children cumulated memory: 13524 KiB
[startup+0.205615 s]*
/proc/loadavg: 3.99 2.59 2.31 5/260 816309
/proc/meminfo: memFree=125976572/131524600 swapFree=130795544/131071996
[pid=816308] ppid=816305 vsize=130644 memory=54940 CPUtime=0.19 cores=5,7
/proc/816308/stat : 816308 (mixed-bag) R 816305 816308 815216 0 -1 4194304 10514 0 0 0 18 1 0 0 20 0 1 0 158236982 133779456 13735 134679101440 4194304 16487941 140726971924400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 29356032 140726971929623 140726971929700 140726971929700 140726971936715 0
/proc/816308/statm: 32661 13735 1728 3002 0 16412 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 130644 KiB
Current children cumulated memory: 54940 KiB
[startup+0.305552 s]*
/proc/loadavg: 3.99 2.59 2.31 5/260 816309
/proc/meminfo: memFree=125976432/131524600 swapFree=130795544/131071996
[pid=816308] ppid=816305 vsize=130644 memory=54940 CPUtime=0.29 cores=5,7
/proc/816308/stat : 816308 (mixed-bag) R 816305 816308 815216 0 -1 4194304 10527 0 0 0 28 1 0 0 20 0 1 0 158236982 133779456 13735 134679101440 4194304 16487941 140726971924400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 29356032 140726971929623 140726971929700 140726971929700 140726971936715 0
/proc/816308/statm: 32661 13735 1728 3002 0 16412 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 130644 KiB
Current children cumulated memory: 54940 KiB
[startup+0.700239 s]
/proc/loadavg: 3.99 2.59 2.31 5/260 816309
/proc/meminfo: memFree=125946956/131524600 swapFree=130795544/131071996
[pid=816308] ppid=816305 vsize=236920 memory=166716 CPUtime=0.68 cores=5,7
/proc/816308/stat : 816308 (mixed-bag) R 816305 816308 815216 0 -1 4194304 38000 0 0 0 62 6 0 0 20 0 1 0 158236982 242606080 41679 134679101440 4194304 16487941 140726971924400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 29356032 140726971929623 140726971929700 140726971929700 140726971936715 0
/proc/816308/statm: 59230 41679 3753 3002 0 42981 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 236920 KiB
Current children cumulated memory: 166716 KiB
[startup+1.50025 s]
/proc/loadavg: 3.99 2.59 2.31 5/260 816309
/proc/meminfo: memFree=125821172/131524600 swapFree=130795544/131071996
[pid=816308] ppid=816305 vsize=290956 memory=219308 CPUtime=1.47 cores=5,7
/proc/816308/stat : 816308 (mixed-bag) R 816305 816308 815216 0 -1 4194304 55529 0 0 0 139 8 0 0 20 0 1 0 158236982 297938944 54827 134679101440 4194304 16487941 140726971924400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 29356032 140726971929623 140726971929700 140726971929700 140726971936715 0
/proc/816308/statm: 72739 54827 3753 3002 0 56490 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 290956 KiB
Current children cumulated memory: 219308 KiB
[startup+3.10549 s]
/proc/loadavg: 4.00 2.61 2.32 5/259 816309
/proc/meminfo: memFree=125548288/131524600 swapFree=130795544/131071996
[pid=816308] ppid=816305 vsize=603484 memory=489988 CPUtime=3.07 cores=5,7
/proc/816308/stat : 816308 (mixed-bag) R 816305 816308 815216 0 -1 4194304 86170 0 0 0 291 16 0 0 20 0 1 0 158236982 617967616 122497 134679101440 4194304 16487941 140726971924400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 29356032 140726971929623 140726971929700 140726971929700 140726971936715 0
/proc/816308/statm: 150871 122497 3992 3002 0 134622 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 603484 KiB
Current children cumulated memory: 489988 KiB
[startup+6.30016 s]
/proc/loadavg: 4.00 2.61 2.32 5/260 816311
/proc/meminfo: memFree=125515716/131524600 swapFree=130795544/131071996
[pid=816308] ppid=816305 vsize=649176 memory=522112 CPUtime=6.26 cores=5,7
/proc/816308/stat : 816308 (mixed-bag) R 816305 816308 815216 0 -1 4194304 93229 0 0 0 609 17 0 0 20 0 1 0 158236982 664756224 130528 134679101440 4194304 16487941 140726971924400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 29356032 140726971929623 140726971929700 140726971929700 140726971936715 0
/proc/816308/statm: 162294 130528 4008 3002 0 146045 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 649176 KiB
Current children cumulated memory: 522112 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 2.67 2.34 5/260 816311
/proc/meminfo: memFree=125507756/131524600 swapFree=130795544/131071996
[pid=816308] ppid=816305 vsize=674788 memory=530152 CPUtime=12.65 cores=5,7
/proc/816308/stat : 816308 (mixed-bag) R 816305 816308 815216 0 -1 4194304 94198 0 0 0 1247 18 0 0 20 0 1 0 158236982 690982912 132538 134679101440 4194304 16487941 140726971924400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 29356032 140726971929623 140726971929700 140726971929700 140726971936715 0
/proc/816308/statm: 168697 132538 4008 3002 0 152448 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 674788 KiB
Current children cumulated memory: 530152 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 2.72 2.36 5/260 816314
/proc/meminfo: memFree=125502976/131524600 swapFree=130795544/131071996
[pid=816308] ppid=816305 vsize=732624 memory=535104 CPUtime=25.42 cores=5,7
/proc/816308/stat : 816308 (mixed-bag) R 816305 816308 815216 0 -1 4194304 95437 0 0 0 2524 18 0 0 20 0 1 0 158236982 750206976 133776 134679101440 4194304 16487941 140726971924400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 29356032 140726971929623 140726971929700 140726971929700 140726971936715 0
/proc/816308/statm: 183156 133776 4008 3002 0 166907 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 732624 KiB
Current children cumulated memory: 535104 KiB
[startup+51.1058 s]
/proc/loadavg: 4.06 2.82 2.40 5/260 816363
/proc/meminfo: memFree=125276472/131524600 swapFree=130795544/131071996
[pid=816308] ppid=816305 vsize=934468 memory=649308 CPUtime=50.95 cores=5,7
/proc/816308/stat : 816308 (mixed-bag) R 816305 816308 815216 0 -1 4194304 122992 0 0 0 5073 22 0 0 20 0 1 0 158236982 956895232 162327 134679101440 4194304 16487941 140726971924400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 29356032 140726971929623 140726971929700 140726971929700 140726971936715 0
/proc/816308/statm: 233617 162327 4024 3002 0 217368 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 934468 KiB
Current children cumulated memory: 649308 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 3.04 2.50 5/260 816372
/proc/meminfo: memFree=125014700/131524600 swapFree=130795544/131071996
[pid=816308] ppid=816305 vsize=978712 memory=649520 CPUtime=102 cores=5,7
/proc/816308/stat : 816308 (mixed-bag) R 816305 816308 815216 0 -1 4194304 123030 0 0 0 10177 23 0 0 20 0 1 0 158236982 1002201088 162380 134679101440 4194304 16487941 140726971924400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 29356032 140726971929623 140726971929700 140726971929700 140726971936715 0
/proc/816308/statm: 244678 162380 4024 3002 0 228429 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 978712 KiB
Current children cumulated memory: 649520 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 3.23 2.61 5/257 816551
/proc/meminfo: memFree=124468964/131524600 swapFree=130795544/131071996
[pid=816308] ppid=816305 vsize=1073940 memory=737180 CPUtime=161.83 cores=5,7
/proc/816308/stat : 816308 (mixed-bag) R 816305 816308 815216 0 -1 4194304 145047 0 0 0 16157 26 0 0 20 0 1 0 158236982 1099714560 184295 134679101440 4194304 16487941 140726971924400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 29356032 140726971929623 140726971929700 140726971929700 140726971936715 0
/proc/816308/statm: 268485 184295 4024 3002 0 252236 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 1073940 KiB
Current children cumulated memory: 737180 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 3.39 2.70 5/258 816563
/proc/meminfo: memFree=124129244/131524600 swapFree=130795544/131071996
[pid=816308] ppid=816305 vsize=1182204 memory=806660 CPUtime=221.66 cores=5,7
/proc/816308/stat : 816308 (mixed-bag) R 816305 816308 815216 0 -1 4194304 160928 0 0 0 22138 28 0 0 20 0 1 0 158236982 1210576896 201665 134679101440 4194304 16487941 140726971924400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 29356032 140726971929623 140726971929700 140726971929700 140726971936715 0
/proc/816308/statm: 295551 201665 4024 3002 0 279302 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 1182204 KiB
Current children cumulated memory: 806660 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.53 2.80 5/260 816632
/proc/meminfo: memFree=123890688/131524600 swapFree=130795544/131071996
[pid=816308] ppid=816305 vsize=1231392 memory=856148 CPUtime=281.49 cores=5,7
/proc/816308/stat : 816308 (mixed-bag) R 816305 816308 815216 0 -1 4194304 171296 0 0 0 28119 30 0 0 20 0 1 0 158236982 1260945408 214037 134679101440 4194304 16487941 140726971924400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 29356032 140726971929623 140726971929700 140726971929700 140726971936715 0
/proc/816308/statm: 307848 214037 4024 3002 0 291599 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 1231392 KiB
Current children cumulated memory: 856148 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.63 2.88 5/260 816643
/proc/meminfo: memFree=124138728/131524600 swapFree=130795544/131071996
[pid=816308] ppid=816305 vsize=1050496 memory=700588 CPUtime=341.34 cores=5,7
/proc/816308/stat : 816308 (mixed-bag) R 816305 816308 815216 0 -1 4194304 174638 0 0 0 34066 68 0 0 20 0 1 0 158236982 1075707904 175147 134679101440 4194304 16487941 140726971924400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 29356032 140726971929623 140726971929700 140726971929700 140726971936715 0
/proc/816308/statm: 262624 175147 4315 3002 0 246375 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 1050496 KiB
Current children cumulated memory: 700588 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.73 2.96 5/260 816654
/proc/meminfo: memFree=123975504/131524600 swapFree=130795544/131071996
[pid=816308] ppid=816305 vsize=1050496 memory=719144 CPUtime=401.19 cores=5,7
/proc/816308/stat : 816308 (mixed-bag) R 816305 816308 815216 0 -1 4194304 174699 0 0 0 40021 98 0 0 20 0 1 0 158236982 1075707904 179786 134679101440 4194304 16487941 140726971924400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 29356032 140726971929623 140726971929700 140726971929700 140726971936715 0
/proc/816308/statm: 262624 179786 4315 3002 0 246375 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 1050496 KiB
Current children cumulated memory: 719144 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 3.82 3.04 5/260 816666
/proc/meminfo: memFree=123937908/131524600 swapFree=130795544/131071996
[pid=816308] ppid=816305 vsize=1100584 memory=730392 CPUtime=461.04 cores=5,7
/proc/816308/stat : 816308 (mixed-bag) R 816305 816308 815216 0 -1 4194304 175518 0 0 0 45983 121 0 0 20 0 1 0 158236982 1126998016 182598 134679101440 4194304 16487941 140726971924400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 29356032 140726971929623 140726971929700 140726971929700 140726971936715 0
/proc/816308/statm: 275146 182598 4315 3002 0 258897 0
################
# More data... #
################
Current children cumulated memory: 964324 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.10 4.05 5/258 817696
/proc/meminfo: memFree=121427672/131524600 swapFree=130795544/131071996
[pid=816308] ppid=816305 vsize=1314232 memory=968420 CPUtime=2914.8 cores=5,7
/proc/816308/stat : 816308 (mixed-bag) R 816305 816308 815216 0 -1 4194304 181754 0 0 0 290840 640 0 0 20 0 1 0 158236982 1345773568 242105 134679101440 4194304 16487941 140726971924400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 29356032 140726971929623 140726971929700 140726971929700 140726971936715 0
/proc/816308/statm: 328558 242105 4315 3002 0 312309 0
Current children cumulated CPU time: 2914.8 s
Current children cumulated vsize: 1314232 KiB
Current children cumulated memory: 968420 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.11 4.06 5/256 817707
/proc/meminfo: memFree=121356476/131524600 swapFree=130795544/131071996
[pid=816308] ppid=816305 vsize=1314232 memory=968420 CPUtime=2974.64 cores=5,7
/proc/816308/stat : 816308 (mixed-bag) R 816305 816308 815216 0 -1 4194304 181838 0 0 0 296816 648 0 0 20 0 1 0 158236982 1345773568 242105 134679101440 4194304 16487941 140726971924400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 29356032 140726971929623 140726971929700 140726971929700 140726971936715 0
/proc/816308/statm: 328558 242105 4315 3002 0 312309 0
Current children cumulated CPU time: 2974.64 s
Current children cumulated vsize: 1314232 KiB
Current children cumulated memory: 968420 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.10 4.06 5/256 817717
/proc/meminfo: memFree=121341364/131524600 swapFree=130795544/131071996
[pid=816308] ppid=816305 vsize=1314232 memory=972516 CPUtime=3034.49 cores=5,7
/proc/816308/stat : 816308 (mixed-bag) R 816305 816308 815216 0 -1 4194304 181967 0 0 0 302792 657 0 0 20 0 1 0 158236982 1345773568 243129 134679101440 4194304 16487941 140726971924400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 29356032 140726971929623 140726971929700 140726971929700 140726971936715 0
/proc/816308/statm: 328558 243129 4315 3002 0 312309 0
Current children cumulated CPU time: 3034.49 s
Current children cumulated vsize: 1314232 KiB
Current children cumulated memory: 972516 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.06 5/256 817728
/proc/meminfo: memFree=121333752/131524600 swapFree=130795544/131071996
[pid=816308] ppid=816305 vsize=1314232 memory=972516 CPUtime=3094.33 cores=5,7
/proc/816308/stat : 816308 (mixed-bag) R 816305 816308 815216 0 -1 4194304 182084 0 0 0 308769 664 0 0 20 0 1 0 158236982 1345773568 243129 134679101440 4194304 16487941 140726971924400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 29356032 140726971929623 140726971929700 140726971929700 140726971936715 0
/proc/816308/statm: 328558 243129 4315 3002 0 312309 0
Current children cumulated CPU time: 3094.33 s
Current children cumulated vsize: 1314232 KiB
Current children cumulated memory: 972516 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.11 4.06 5/255 817738
/proc/meminfo: memFree=121240616/131524600 swapFree=130795544/131071996
[pid=816308] ppid=816305 vsize=1314232 memory=972516 CPUtime=3154.17 cores=5,7
/proc/816308/stat : 816308 (mixed-bag) R 816305 816308 815216 0 -1 4194304 182159 0 0 0 314744 673 0 0 20 0 1 0 158236982 1345773568 243129 134679101440 4194304 16487941 140726971924400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 29356032 140726971929623 140726971929700 140726971929700 140726971936715 0
/proc/816308/statm: 328558 243129 4315 3002 0 312309 0
Current children cumulated CPU time: 3154.17 s
Current children cumulated vsize: 1314232 KiB
Current children cumulated memory: 972516 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.06 5/256 817749
/proc/meminfo: memFree=121138660/131524600 swapFree=130795544/131071996
[pid=816308] ppid=816305 vsize=1314232 memory=974564 CPUtime=3214.02 cores=5,7
/proc/816308/stat : 816308 (mixed-bag) R 816305 816308 815216 0 -1 4194304 182221 0 0 0 320719 683 0 0 20 0 1 0 158236982 1345773568 243641 134679101440 4194304 16487941 140726971924400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 29356032 140726971929623 140726971929700 140726971929700 140726971936715 0
/proc/816308/statm: 328558 243641 4315 3002 0 312309 0
Current children cumulated CPU time: 3214.02 s
Current children cumulated vsize: 1314232 KiB
Current children cumulated memory: 974564 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.06 5/259 817766
/proc/meminfo: memFree=121134580/131524600 swapFree=130795544/131071996
[pid=816308] ppid=816305 vsize=1314232 memory=974564 CPUtime=3273.87 cores=5,7
/proc/816308/stat : 816308 (mixed-bag) R 816305 816308 815216 0 -1 4194304 182342 0 0 0 326696 691 0 0 20 0 1 0 158236982 1345773568 243641 134679101440 4194304 16487941 140726971924400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 29356032 140726971929623 140726971929700 140726971929700 140726971936715 0
/proc/816308/statm: 328558 243641 4315 3002 0 312309 0
Current children cumulated CPU time: 3273.87 s
Current children cumulated vsize: 1314232 KiB
Current children cumulated memory: 974564 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.07 5/260 817777
/proc/meminfo: memFree=121127928/131524600 swapFree=130795544/131071996
[pid=816308] ppid=816305 vsize=1314232 memory=974564 CPUtime=3333.69 cores=5,7
/proc/816308/stat : 816308 (mixed-bag) R 816305 816308 815216 0 -1 4194304 182430 0 0 0 332671 698 0 0 20 0 1 0 158236982 1345773568 243641 134679101440 4194304 16487941 140726971924400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 29356032 140726971929623 140726971929700 140726971929700 140726971936715 0
/proc/816308/statm: 328558 243641 4315 3002 0 312309 0
Current children cumulated CPU time: 3333.69 s
Current children cumulated vsize: 1314232 KiB
Current children cumulated memory: 974564 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.07 5/260 817787
/proc/meminfo: memFree=121116668/131524600 swapFree=130795544/131071996
[pid=816308] ppid=816305 vsize=1314232 memory=976612 CPUtime=3393.52 cores=5,7
/proc/816308/stat : 816308 (mixed-bag) R 816305 816308 815216 0 -1 4194304 182522 0 0 0 338643 709 0 0 20 0 1 0 158236982 1345773568 244153 134679101440 4194304 16487941 140726971924400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 29356032 140726971929623 140726971929700 140726971929700 140726971936715 0
/proc/816308/statm: 328558 244153 4315 3002 0 312309 0
Current children cumulated CPU time: 3393.52 s
Current children cumulated vsize: 1314232 KiB
Current children cumulated memory: 976612 KiB
[startup+3462.3 s]
/proc/loadavg: 4.27 4.15 4.09 5/260 817844
/proc/meminfo: memFree=124228764/131524600 swapFree=130795544/131071996
[pid=816308] ppid=816305 vsize=1314232 memory=980708 CPUtime=3453.34 cores=5,7
/proc/816308/stat : 816308 (mixed-bag) R 816305 816308 815216 0 -1 4194304 182621 0 0 0 344615 719 0 0 20 0 1 0 158236982 1345773568 245177 134679101440 4194304 16487941 140726971924400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 29356032 140726971929623 140726971929700 140726971929700 140726971936715 0
/proc/816308/statm: 328558 245177 4315 3002 0 312309 0
Current children cumulated CPU time: 3453.34 s
Current children cumulated vsize: 1314232 KiB
Current children cumulated memory: 980708 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/259 817900
/proc/meminfo: memFree=124571336/131524600 swapFree=130795544/131071996
[pid=816308] ppid=816305 vsize=1314232 memory=980708 CPUtime=3513.15 cores=5,7
/proc/816308/stat : 816308 (mixed-bag) R 816305 816308 815216 0 -1 4194304 182710 0 0 0 350590 725 0 0 20 0 1 0 158236982 1345773568 245177 134679101440 4194304 16487941 140726971924400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 29356032 140726971929623 140726971929700 140726971929700 140726971936715 0
/proc/816308/statm: 328558 245177 4315 3002 0 312309 0
Current children cumulated CPU time: 3513.15 s
Current children cumulated vsize: 1314232 KiB
Current children cumulated memory: 980708 KiB
[startup+3582.3 s]
/proc/loadavg: 4.23 4.16 4.10 5/257 818292
/proc/meminfo: memFree=124333888/131524600 swapFree=130795544/131071996
[pid=816308] ppid=816305 vsize=1314232 memory=980708 CPUtime=3572.96 cores=5,7
/proc/816308/stat : 816308 (mixed-bag) R 816305 816308 815216 0 -1 4194304 182823 0 0 0 356562 734 0 0 20 0 1 0 158236982 1345773568 245177 134679101440 4194304 16487941 140726971924400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 29356032 140726971929623 140726971929700 140726971929700 140726971936715 0
/proc/816308/statm: 328558 245177 4315 3002 0 312309 0
Current children cumulated CPU time: 3572.96 s
Current children cumulated vsize: 1314232 KiB
Current children cumulated memory: 980708 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.14 4.14 4.09 5/257 818298
/proc/meminfo: memFree=124295556/131524600 swapFree=130795544/131071996
[pid=816308] ppid=816305 vsize=1314232 memory=980708 CPUtime=3600.07 cores=5,7
/proc/816308/stat : 816308 (mixed-bag) R 816305 816308 815216 0 -1 4194304 182868 0 0 0 359269 738 0 0 20 0 1 0 158236982 1345773568 245177 134679101440 4194304 16487941 140726971924400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 29356032 140726971929623 140726971929700 140726971929700 140726971936715 0
/proc/816308/statm: 328558 245177 4315 3002 0 312309 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1314232 KiB
Current children cumulated memory: 980708 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.52 s]
# the end of solver process 816308 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.71 s, system=7.39496 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.14 4.14 4.09 5/257 818298
/proc/meminfo: memFree=124295556/131524600 swapFree=130795544/131071996
[pid=816308] ppid=816305 vsize=1314232 memory=980708 CPUtime=3600.07 cores=5,7
/proc/816308/stat : 816308 (mixed-bag) R 816305 816308 815216 0 -1 4194304 182868 0 0 0 359269 738 0 0 20 0 1 0 158236982 1345773568 245177 134679101440 4194304 16487941 140726971924400 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 29356032 140726971929623 140726971929700 140726971929700 140726971936715 0
/proc/816308/statm: 328558 245177 4315 3002 0 312309 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1314232 KiB
Current children cumulated memory: 980708 KiB
Child status: 0
Real time (s): 3609.52
CPU time (s): 3600.11
CPU user time (s): 3592.71
CPU system time (s): 7.39496
CPU usage (%): 99.7393
Max. virtual memory (cumulated for all children) (KiB): 1314232
Max. memory (cumulated for all children) (KiB): 980708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.71
system time used= 7.39496
maximum resident set size= 981232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182894
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= 88
involuntary context switches= 1310
# summary of solver processes directly reported to runsolver:
# pid: 816308
# total CPU time (s): 3600.11
# total CPU user time (s): 3592.71
# total CPU system time (s): 7.39496
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.4971 second user time and 16.4463 second system time
The end
Begin job on nodeC014 at 2024-07-15 18:26:31
IDJOB=4435524
IDBENCH=146673
IDSOLVER=3066
FILE ID=nodeC014/4435524-1721060778
RUNJOBID= nodeC014-1721060594-815231
SLURM_JOB_ID= 7505507
Free space on /tmp= 890032 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435524-1721060778/watcher-4435524-1721060778 -o /tmp/evaluation-result-4435524-1721060778/solver-4435524-1721060778 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721060594-815231 --watchdog 3760 mixed-bag HOME/instance-4435524-1721060778.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 800a2d87d48167b6ff5ac999f92ec0b3
RANDOM SEED=1445100047
nodeC014.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.260
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3671.603
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.803
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.342
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.299
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.846
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.988
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3669.039
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126025852 kB
MemAvailable: 128740112 kB
Buffers: 306968 kB
Cached: 3213368 kB
SwapCached: 12872 kB
Active: 1016152 kB
Inactive: 3923344 kB
Active(anon): 9444 kB
Inactive(anon): 1427104 kB
Active(file): 1006708 kB
Inactive(file): 2496240 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 130795544 kB
Dirty: 16352 kB
Writeback: 16 kB
AnonPages: 1408328 kB
Mapped: 79516 kB
Shmem: 17384 kB
KReclaimable: 101916 kB
Slab: 193472 kB
SReclaimable: 101916 kB
SUnreclaim: 91556 kB
KernelStack: 4176 kB
PageTables: 12964 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2187876 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 27616 kB
HardwareCorrupted: 0 kB
AnonHugePages: 555008 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191188 kB
DirectMap2M: 14262272 kB
DirectMap1G: 121634816 kB
Free space on /tmp at the end= 890012 MiB
End job on nodeC014 at 2024-07-15 19:26:40