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.20/0.22 c [STEP] preprocessing with Papilo
0.49/0.55 c Papilo could not simplify the problem
0.49/0.55 c [STEP] solving with SCIP
299.82/300.77 c [STEP] preprocessing done, loading into solver
300.03/300.95 c [STEP] solving
300.03/300.95 c #variables 1401 #constraints 110038
300.03/300.95 c SMALL=int, LARGE=long long
300.03/300.95 d SCIPUB -47
300.03/300.95 c bounds - >= -1400 @ 299.636
300.03/300.95 c stratification level: 0
332.95/334.00 c bounds - >= -238 @ 299.69
332.95/334.00 c bounds - >= -237 @ 299.692
332.95/334.00 c bounds - >= -236 @ 299.692
332.95/334.00 c bounds - >= -235 @ 299.692
332.95/334.00 c bounds - >= -234 @ 299.692
332.95/334.00 c bounds - >= -233 @ 299.693
332.95/334.00 c bounds - >= -232 @ 299.693
332.95/334.00 c bounds - >= -231 @ 299.694
332.95/334.00 c bounds - >= -230 @ 299.694
332.95/334.00 c bounds - >= -229 @ 299.694
332.95/334.00 c bounds - >= -228 @ 299.695
332.95/334.00 c bounds - >= -227 @ 299.695
332.95/334.00 c bounds - >= -226 @ 299.695
332.95/334.00 c bounds - >= -225 @ 299.696
332.95/334.00 c bounds - >= -224 @ 299.697
332.95/334.00 c bounds - >= -223 @ 299.697
332.95/334.00 c bounds - >= -222 @ 299.697
332.95/334.00 c bounds - >= -221 @ 299.698
332.95/334.00 c bounds - >= -220 @ 299.698
332.95/334.00 c bounds - >= -219 @ 299.699
332.95/334.00 c bounds - >= -218 @ 299.7
332.95/334.00 c bounds - >= -217 @ 299.701
332.95/334.00 c bounds - >= -216 @ 299.702
332.95/334.00 c bounds - >= -215 @ 299.703
332.95/334.00 c bounds - >= -214 @ 299.703
332.95/334.00 c bounds - >= -213 @ 299.703
332.95/334.00 c #Conflicts: 1000 | #Constraints: 111301
332.95/334.00 c #Conflicts: 2000 | #Constraints: 112301
332.95/334.00 c INPROCESSING
332.95/334.00 c GARBAGE COLLECT
332.95/334.00 c #Conflicts: 3000 | #Constraints: 112296
332.95/334.00 c #Conflicts: 4000 | #Constraints: 113296
332.95/334.00 c INPROCESSING
332.95/334.00 c GARBAGE COLLECT
332.95/334.00 c #Conflicts: 5000 | #Constraints: 112711
332.95/334.00 c #Conflicts: 6000 | #Constraints: 113711
332.95/334.00 c INPROCESSING
332.95/334.00 c GARBAGE COLLECT
332.95/334.00 c #Conflicts: 7000 | #Constraints: 112727
332.95/334.00 c #Conflicts: 8000 | #Constraints: 113727
332.95/334.00 c #Conflicts: 9000 | #Constraints: 114727
332.95/334.00 c INPROCESSING
332.95/334.00 c GARBAGE COLLECT
332.95/334.00 c #Conflicts: 10000 | #Constraints: 113440
332.95/334.00 c #Conflicts: 11000 | #Constraints: 114440
332.95/334.00 c #Conflicts: 12000 | #Constraints: 115440
332.95/334.00 c INPROCESSING
332.95/334.00 c GARBAGE COLLECT
332.95/334.00 c #Conflicts: 13000 | #Constraints: 113904
332.95/334.00 c #Conflicts: 14000 | #Constraints: 114904
332.95/334.00 c #Conflicts: 15000 | #Constraints: 115904
332.95/334.00 c INPROCESSING
332.95/334.00 c GARBAGE COLLECT
332.95/334.00 c #Conflicts: 16000 | #Constraints: 114153
332.95/334.00 c #Conflicts: 17000 | #Constraints: 115153
332.95/334.00 c #Conflicts: 18000 | #Constraints: 116153
332.95/334.00 c INPROCESSING
332.95/334.00 c GARBAGE COLLECT
332.95/334.00 c #Conflicts: 19000 | #Constraints: 114173
332.95/334.00 c #Conflicts: 20000 | #Constraints: 115173
332.95/334.00 c #Conflicts: 21000 | #Constraints: 116173
332.95/334.00 c INPROCESSING
332.95/334.00 c GARBAGE COLLECT
332.95/334.00 c #Conflicts: 22000 | #Constraints: 113990
332.95/334.00 c #Conflicts: 23000 | #Constraints: 114990
332.95/334.00 c #Conflicts: 24000 | #Constraints: 115990
332.95/334.00 c #Conflicts: 25000 | #Constraints: 116990
332.95/334.00 c INPROCESSING
332.95/334.00 c GARBAGE COLLECT
332.95/334.00 c #Conflicts: 26000 | #Constraints: 114596
332.95/334.00 c #Conflicts: 27000 | #Constraints: 115596
332.95/334.00 c #Conflicts: 28000 | #Constraints: 116596
332.95/334.00 c #Conflicts: 29000 | #Constraints: 117596
332.95/334.00 c INPROCESSING
332.95/334.00 c GARBAGE COLLECT
332.95/334.00 c #Conflicts: 30000 | #Constraints: 114990
332.95/334.00 c #Conflicts: 31000 | #Constraints: 115990
332.95/334.00 c #Conflicts: 32000 | #Constraints: 116990
332.95/334.00 c #Conflicts: 33000 | #Constraints: 117990
332.95/334.00 c INPROCESSING
332.95/334.00 c GARBAGE COLLECT
332.95/334.00 c #Conflicts: 34000 | #Constraints: 115201
332.95/334.00 c #Conflicts: 35000 | #Constraints: 116201
332.95/334.00 c #Conflicts: 36000 | #Constraints: 117201
332.95/334.00 c #Conflicts: 37000 | #Constraints: 118201
332.95/334.00 c INPROCESSING
332.95/334.00 c GARBAGE COLLECT
332.95/334.00 c #Conflicts: 38000 | #Constraints: 115218
332.95/334.00 c #Conflicts: 39000 | #Constraints: 116218
332.95/334.00 c #Conflicts: 40000 | #Constraints: 117218
332.95/334.00 c #Conflicts: 41000 | #Constraints: 118218
332.95/334.00 c INPROCESSING
332.95/334.00 c GARBAGE COLLECT
332.95/334.00 c #Conflicts: 42000 | #Constraints: 115023
332.95/334.00 c #Conflicts: 43000 | #Constraints: 116023
332.95/334.00 c #Conflicts: 44000 | #Constraints: 117023
332.95/334.00 c #Conflicts: 45000 | #Constraints: 118023
332.95/334.00 c #Conflicts: 46000 | #Constraints: 119023
332.95/334.00 c INPROCESSING
332.95/334.00 c GARBAGE COLLECT
332.95/334.00 c #Conflicts: 47000 | #Constraints: 115628
332.95/334.00 c #Conflicts: 48000 | #Constraints: 116628
332.95/334.00 c #Conflicts: 49000 | #Constraints: 117628
332.95/334.00 c #Conflicts: 50000 | #Constraints: 118628
332.95/334.00 c #Conflicts: 51000 | #Constraints: 119628
332.95/334.00 c INPROCESSING
332.95/334.00 c GARBAGE COLLECT
332.95/334.00 c #Conflicts: 52000 | #Constraints: 116042
332.95/334.00 c #Conflicts: 53000 | #Constraints: 117042
332.95/334.00 c #Conflicts: 54000 | #Constraints: 118042
332.95/334.00 c #Conflicts: 55000 | #Constraints: 119042
396.79/397.96 c #Conflicts: 56000 | #Constraints: 120042
396.79/397.96 c INPROCESSING
396.79/397.96 c GARBAGE COLLECT
396.79/397.96 c #Conflicts: 57000 | #Constraints: 116246
396.79/397.96 c #Conflicts: 58000 | #Constraints: 117246
396.79/397.96 c #Conflicts: 59000 | #Constraints: 118246
396.79/397.96 c #Conflicts: 60000 | #Constraints: 119246
396.79/397.96 c #Conflicts: 61000 | #Constraints: 120246
396.79/397.96 c INPROCESSING
396.79/397.96 c GARBAGE COLLECT
396.79/397.96 c #Conflicts: 62000 | #Constraints: 116248
396.79/397.96 c #Conflicts: 63000 | #Constraints: 117248
396.79/397.96 c #Conflicts: 64000 | #Constraints: 118248
396.79/397.96 c #Conflicts: 65000 | #Constraints: 119248
396.79/397.96 c #Conflicts: 66000 | #Constraints: 120248
396.79/397.96 c INPROCESSING
396.79/397.96 c GARBAGE COLLECT
396.79/397.96 c #Conflicts: 67000 | #Constraints: 116063
396.79/397.96 c #Conflicts: 68000 | #Constraints: 117063
396.79/397.96 c #Conflicts: 69000 | #Constraints: 118063
396.79/397.96 c #Conflicts: 70000 | #Constraints: 119063
396.79/397.96 c #Conflicts: 71000 | #Constraints: 120063
396.79/397.96 c #Conflicts: 72000 | #Constraints: 121063
396.79/397.96 c INPROCESSING
396.79/397.96 c GARBAGE COLLECT
396.79/397.96 c #Conflicts: 73000 | #Constraints: 116666
396.79/397.96 c #Conflicts: 74000 | #Constraints: 117666
396.79/397.96 c #Conflicts: 75000 | #Constraints: 118666
396.79/397.96 c #Conflicts: 76000 | #Constraints: 119666
396.79/397.96 c #Conflicts: 77000 | #Constraints: 120666
396.79/397.96 c #Conflicts: 78000 | #Constraints: 121666
396.79/397.96 c INPROCESSING
396.79/397.96 c GARBAGE COLLECT
396.79/397.96 c #Conflicts: 79000 | #Constraints: 117071
396.79/397.96 c #Conflicts: 80000 | #Constraints: 118071
396.79/397.96 c #Conflicts: 81000 | #Constraints: 119071
396.79/397.96 c #Conflicts: 82000 | #Constraints: 120071
396.79/397.96 c #Conflicts: 83000 | #Constraints: 121071
396.79/397.96 c #Conflicts: 84000 | #Constraints: 122071
396.79/397.96 c INPROCESSING
396.79/397.96 c GARBAGE COLLECT
396.79/397.96 c #Conflicts: 85000 | #Constraints: 117277
396.79/397.96 c #Conflicts: 86000 | #Constraints: 118277
396.79/397.96 c #Conflicts: 87000 | #Constraints: 119277
396.79/397.96 c #Conflicts: 88000 | #Constraints: 120277
396.79/397.96 c #Conflicts: 89000 | #Constraints: 121277
396.79/397.96 c #Conflicts: 90000 | #Constraints: 122277
396.79/397.96 c INPROCESSING
396.79/397.96 c GARBAGE COLLECT
396.79/397.96 c #Conflicts: 91000 | #Constraints: 117276
396.79/397.96 c #Conflicts: 92000 | #Constraints: 118276
396.79/397.96 c #Conflicts: 93000 | #Constraints: 119276
396.79/397.96 c #Conflicts: 94000 | #Constraints: 120276
396.79/397.96 c #Conflicts: 95000 | #Constraints: 121276
396.79/397.96 c #Conflicts: 96000 | #Constraints: 122276
396.79/397.96 c INPROCESSING
396.79/397.96 c GARBAGE COLLECT
396.79/397.96 c #Conflicts: 97000 | #Constraints: 117095
396.79/397.96 c #Conflicts: 98000 | #Constraints: 118095
396.79/397.96 c #Conflicts: 99000 | #Constraints: 119095
396.79/397.96 c #Conflicts: 100000 | #Constraints: 120095
396.79/397.96 c #Conflicts: 101000 | #Constraints: 121095
396.79/397.96 c #Conflicts: 102000 | #Constraints: 122095
396.79/397.96 c #Conflicts: 103000 | #Constraints: 123095
396.79/397.96 c INPROCESSING
396.79/397.96 c GARBAGE COLLECT
396.79/397.96 c #Conflicts: 104000 | #Constraints: 117690
396.79/397.96 c #Conflicts: 105000 | #Constraints: 118690
396.79/397.96 c #Conflicts: 106000 | #Constraints: 119690
396.79/397.96 c #Conflicts: 107000 | #Constraints: 120690
396.79/397.96 c #Conflicts: 108000 | #Constraints: 121690
396.79/397.96 c #Conflicts: 109000 | #Constraints: 122690
396.79/397.96 c #Conflicts: 110000 | #Constraints: 123690
396.79/397.96 c INPROCESSING
396.79/397.96 c GARBAGE COLLECT
396.79/397.96 c #Conflicts: 111000 | #Constraints: 118077
396.79/397.96 c #Conflicts: 112000 | #Constraints: 119077
396.79/397.96 c #Conflicts: 113000 | #Constraints: 120077
396.79/397.96 c #Conflicts: 114000 | #Constraints: 121077
396.79/397.96 c #Conflicts: 115000 | #Constraints: 122077
396.79/397.96 c #Conflicts: 116000 | #Constraints: 123077
396.79/397.96 c #Conflicts: 117000 | #Constraints: 124077
396.79/397.96 c INPROCESSING
396.79/397.96 c GARBAGE COLLECT
396.79/397.96 c #Conflicts: 118000 | #Constraints: 118296
396.79/397.96 c #Conflicts: 119000 | #Constraints: 119296
396.79/397.96 c #Conflicts: 120000 | #Constraints: 120296
396.79/397.96 c #Conflicts: 121000 | #Constraints: 121296
396.79/397.96 c #Conflicts: 122000 | #Constraints: 122296
396.79/397.96 c #Conflicts: 123000 | #Constraints: 123296
396.79/397.96 c #Conflicts: 124000 | #Constraints: 124296
396.79/397.96 c INPROCESSING
396.79/397.96 c GARBAGE COLLECT
396.79/397.96 c #Conflicts: 125000 | #Constraints: 118302
396.79/397.96 c #Conflicts: 126000 | #Constraints: 119302
479.99/481.39 c #Conflicts: 127000 | #Constraints: 120302
479.99/481.39 c #Conflicts: 128000 | #Constraints: 121302
479.99/481.39 c #Conflicts: 129000 | #Constraints: 122302
479.99/481.39 c #Conflicts: 130000 | #Constraints: 123302
479.99/481.39 c #Conflicts: 131000 | #Constraints: 124302
479.99/481.39 c INPROCESSING
479.99/481.39 c GARBAGE COLLECT
479.99/481.39 c #Conflicts: 132000 | #Constraints: 118090
479.99/481.39 c #Conflicts: 133000 | #Constraints: 119090
479.99/481.39 c #Conflicts: 134000 | #Constraints: 120090
479.99/481.39 c #Conflicts: 135000 | #Constraints: 121090
479.99/481.39 c #Conflicts: 136000 | #Constraints: 122090
479.99/481.39 c #Conflicts: 137000 | #Constraints: 123090
479.99/481.39 c #Conflicts: 138000 | #Constraints: 124090
479.99/481.39 c #Conflicts: 139000 | #Constraints: 125090
479.99/481.39 c INPROCESSING
479.99/481.39 c GARBAGE COLLECT
479.99/481.39 c #Conflicts: 140000 | #Constraints: 118694
479.99/481.39 c #Conflicts: 141000 | #Constraints: 119694
479.99/481.39 c #Conflicts: 142000 | #Constraints: 120694
479.99/481.39 c #Conflicts: 143000 | #Constraints: 121694
479.99/481.39 c #Conflicts: 144000 | #Constraints: 122694
479.99/481.39 c #Conflicts: 145000 | #Constraints: 123694
479.99/481.39 c #Conflicts: 146000 | #Constraints: 124694
479.99/481.39 c #Conflicts: 147000 | #Constraints: 125694
479.99/481.39 c INPROCESSING
479.99/481.39 c GARBAGE COLLECT
479.99/481.39 c #Conflicts: 148000 | #Constraints: 119089
479.99/481.39 c #Conflicts: 149000 | #Constraints: 120089
479.99/481.39 c #Conflicts: 150000 | #Constraints: 121089
479.99/481.39 c #Conflicts: 151000 | #Constraints: 122089
479.99/481.39 c #Conflicts: 152000 | #Constraints: 123089
479.99/481.39 c #Conflicts: 153000 | #Constraints: 124089
479.99/481.39 c #Conflicts: 154000 | #Constraints: 125089
479.99/481.39 c #Conflicts: 155000 | #Constraints: 126089
479.99/481.39 c INPROCESSING
479.99/481.39 c GARBAGE COLLECT
479.99/481.39 c #Conflicts: 156000 | #Constraints: 119290
479.99/481.39 c #Conflicts: 157000 | #Constraints: 120290
479.99/481.39 c #Conflicts: 158000 | #Constraints: 121290
479.99/481.39 c #Conflicts: 159000 | #Constraints: 122290
479.99/481.39 c #Conflicts: 160000 | #Constraints: 123290
479.99/481.39 c #Conflicts: 161000 | #Constraints: 124290
479.99/481.39 c #Conflicts: 162000 | #Constraints: 125290
479.99/481.39 c #Conflicts: 163000 | #Constraints: 126290
479.99/481.39 c INPROCESSING
479.99/481.39 c GARBAGE COLLECT
479.99/481.39 c #Conflicts: 164000 | #Constraints: 119301
479.99/481.39 c #Conflicts: 165000 | #Constraints: 120301
479.99/481.39 c #Conflicts: 166000 | #Constraints: 121301
479.99/481.39 c #Conflicts: 167000 | #Constraints: 122301
479.99/481.39 c #Conflicts: 168000 | #Constraints: 123301
479.99/481.39 c #Conflicts: 169000 | #Constraints: 124301
479.99/481.39 c #Conflicts: 170000 | #Constraints: 125301
479.99/481.39 c #Conflicts: 171000 | #Constraints: 126301
479.99/481.39 c INPROCESSING
479.99/481.39 c GARBAGE COLLECT
479.99/481.39 c #Conflicts: 172000 | #Constraints: 119101
479.99/481.39 c #Conflicts: 173000 | #Constraints: 120101
479.99/481.39 c #Conflicts: 174000 | #Constraints: 121101
479.99/481.39 c #Conflicts: 175000 | #Constraints: 122101
479.99/481.39 c #Conflicts: 176000 | #Constraints: 123101
479.99/481.39 c #Conflicts: 177000 | #Constraints: 124101
479.99/481.39 c #Conflicts: 178000 | #Constraints: 125101
479.99/481.39 c #Conflicts: 179000 | #Constraints: 126101
479.99/481.39 c #Conflicts: 180000 | #Constraints: 127101
479.99/481.39 c INPROCESSING
479.99/481.39 c GARBAGE COLLECT
479.99/481.39 c #Conflicts: 181000 | #Constraints: 119691
479.99/481.39 c #Conflicts: 182000 | #Constraints: 120691
479.99/481.39 c #Conflicts: 183000 | #Constraints: 121691
479.99/481.39 c #Conflicts: 184000 | #Constraints: 122691
479.99/481.39 c #Conflicts: 185000 | #Constraints: 123691
479.99/481.39 c #Conflicts: 186000 | #Constraints: 124691
479.99/481.39 c #Conflicts: 187000 | #Constraints: 125691
479.99/481.39 c #Conflicts: 188000 | #Constraints: 126691
479.99/481.39 c #Conflicts: 189000 | #Constraints: 127691
479.99/481.39 c INPROCESSING
479.99/481.39 c GARBAGE COLLECT
479.99/481.39 c #Conflicts: 190000 | #Constraints: 120121
479.99/481.39 c #Conflicts: 191000 | #Constraints: 121121
479.99/481.39 c #Conflicts: 192000 | #Constraints: 122121
479.99/481.39 c #Conflicts: 193000 | #Constraints: 123121
479.99/481.39 c #Conflicts: 194000 | #Constraints: 124121
479.99/481.39 c #Conflicts: 195000 | #Constraints: 125121
479.99/481.39 c #Conflicts: 196000 | #Constraints: 126121
479.99/481.39 c #Conflicts: 197000 | #Constraints: 127121
479.99/481.39 c #Conflicts: 198000 | #Constraints: 128121
479.99/481.39 c INPROCESSING
479.99/481.39 c GARBAGE COLLECT
479.99/481.39 c #Conflicts: 199000 | #Constraints: 120319
479.99/481.39 c #Conflicts: 200000 | #Constraints: 121319
575.57/577.13 c #Conflicts: 201000 | #Constraints: 122319
575.57/577.13 c #Conflicts: 202000 | #Constraints: 123319
575.57/577.13 c #Conflicts: 203000 | #Constraints: 124319
575.57/577.13 c #Conflicts: 204000 | #Constraints: 125319
575.57/577.13 c #Conflicts: 205000 | #Constraints: 126319
575.57/577.13 c #Conflicts: 206000 | #Constraints: 127319
575.57/577.13 c #Conflicts: 207000 | #Constraints: 128319
575.57/577.13 c INPROCESSING
575.57/577.13 c GARBAGE COLLECT
575.57/577.13 c #Conflicts: 208000 | #Constraints: 120302
575.57/577.13 c #Conflicts: 209000 | #Constraints: 121302
575.57/577.13 c #Conflicts: 210000 | #Constraints: 122302
575.57/577.13 c #Conflicts: 211000 | #Constraints: 123302
575.57/577.13 c #Conflicts: 212000 | #Constraints: 124302
575.57/577.13 c #Conflicts: 213000 | #Constraints: 125302
575.57/577.13 c #Conflicts: 214000 | #Constraints: 126302
575.57/577.13 c #Conflicts: 215000 | #Constraints: 127302
575.57/577.13 c #Conflicts: 216000 | #Constraints: 128302
575.57/577.13 c INPROCESSING
575.57/577.13 c GARBAGE COLLECT
575.57/577.13 c #Conflicts: 217000 | #Constraints: 120096
575.57/577.13 c #Conflicts: 218000 | #Constraints: 121096
575.57/577.13 c #Conflicts: 219000 | #Constraints: 122096
575.57/577.13 c #Conflicts: 220000 | #Constraints: 123096
575.57/577.13 c #Conflicts: 221000 | #Constraints: 124096
575.57/577.13 c #Conflicts: 222000 | #Constraints: 125096
575.57/577.13 c #Conflicts: 223000 | #Constraints: 126096
575.57/577.13 c #Conflicts: 224000 | #Constraints: 127096
575.57/577.13 c #Conflicts: 225000 | #Constraints: 128096
575.57/577.13 c #Conflicts: 226000 | #Constraints: 129096
575.57/577.13 c INPROCESSING
575.57/577.13 c GARBAGE COLLECT
575.57/577.13 c #Conflicts: 227000 | #Constraints: 120696
575.57/577.13 c #Conflicts: 228000 | #Constraints: 121696
575.57/577.13 c #Conflicts: 229000 | #Constraints: 122696
575.57/577.13 c #Conflicts: 230000 | #Constraints: 123696
575.57/577.13 c #Conflicts: 231000 | #Constraints: 124696
575.57/577.13 c #Conflicts: 232000 | #Constraints: 125696
575.57/577.13 c #Conflicts: 233000 | #Constraints: 126696
575.57/577.13 c #Conflicts: 234000 | #Constraints: 127696
575.57/577.13 c #Conflicts: 235000 | #Constraints: 128696
575.57/577.13 c #Conflicts: 236000 | #Constraints: 129696
575.57/577.13 c INPROCESSING
575.57/577.13 c GARBAGE COLLECT
575.57/577.13 c #Conflicts: 237000 | #Constraints: 121087
575.57/577.13 c #Conflicts: 238000 | #Constraints: 122087
575.57/577.13 c #Conflicts: 239000 | #Constraints: 123087
575.57/577.13 c #Conflicts: 240000 | #Constraints: 124087
575.57/577.13 c #Conflicts: 241000 | #Constraints: 125087
575.57/577.13 c #Conflicts: 242000 | #Constraints: 126087
575.57/577.13 c #Conflicts: 243000 | #Constraints: 127087
575.57/577.13 c #Conflicts: 244000 | #Constraints: 128087
575.57/577.13 c #Conflicts: 245000 | #Constraints: 129087
575.57/577.13 c #Conflicts: 246000 | #Constraints: 130087
575.57/577.13 c INPROCESSING
575.57/577.13 c GARBAGE COLLECT
575.57/577.13 c #Conflicts: 247000 | #Constraints: 121304
575.57/577.13 c #Conflicts: 248000 | #Constraints: 122304
575.57/577.13 c #Conflicts: 249000 | #Constraints: 123304
575.57/577.13 c #Conflicts: 250000 | #Constraints: 124304
575.57/577.13 c #Conflicts: 251000 | #Constraints: 125304
575.57/577.13 c #Conflicts: 252000 | #Constraints: 126304
575.57/577.13 c #Conflicts: 253000 | #Constraints: 127304
575.57/577.13 c #Conflicts: 254000 | #Constraints: 128304
575.57/577.13 c #Conflicts: 255000 | #Constraints: 129304
575.57/577.13 c #Conflicts: 256000 | #Constraints: 130304
575.57/577.13 c INPROCESSING
575.57/577.13 c GARBAGE COLLECT
575.57/577.13 c #Conflicts: 257000 | #Constraints: 121309
575.57/577.13 c #Conflicts: 258000 | #Constraints: 122309
575.57/577.13 c #Conflicts: 259000 | #Constraints: 123309
575.57/577.13 c #Conflicts: 260000 | #Constraints: 124309
575.57/577.13 c #Conflicts: 261000 | #Constraints: 125309
575.57/577.13 c #Conflicts: 262000 | #Constraints: 126309
575.57/577.13 c #Conflicts: 263000 | #Constraints: 127309
575.57/577.13 c #Conflicts: 264000 | #Constraints: 128309
575.57/577.13 c #Conflicts: 265000 | #Constraints: 129309
575.57/577.13 c #Conflicts: 266000 | #Constraints: 130309
575.57/577.13 c INPROCESSING
575.57/577.13 c GARBAGE COLLECT
575.57/577.13 c #Conflicts: 267000 | #Constraints: 121117
575.57/577.13 c #Conflicts: 268000 | #Constraints: 122117
575.57/577.13 c #Conflicts: 269000 | #Constraints: 123117
575.57/577.13 c #Conflicts: 270000 | #Constraints: 124117
575.57/577.13 c #Conflicts: 271000 | #Constraints: 125117
575.57/577.13 c #Conflicts: 272000 | #Constraints: 126117
575.57/577.13 c #Conflicts: 273000 | #Constraints: 127117
575.57/577.13 c #Conflicts: 274000 | #Constraints: 128117
689.38/691.24 c #Conflicts: 275000 | #Constraints: 129117
689.38/691.24 c #Conflicts: 276000 | #Constraints: 130117
689.38/691.24 c #Conflicts: 277000 | #Constraints: 131117
689.38/691.24 c INPROCESSING
689.38/691.24 c GARBAGE COLLECT
689.38/691.24 c #Conflicts: 278000 | #Constraints: 121723
689.38/691.24 c #Conflicts: 279000 | #Constraints: 122723
689.38/691.24 c #Conflicts: 280000 | #Constraints: 123723
689.38/691.24 c #Conflicts: 281000 | #Constraints: 124723
689.38/691.24 c #Conflicts: 282000 | #Constraints: 125723
689.38/691.24 c #Conflicts: 283000 | #Constraints: 126723
689.38/691.24 c #Conflicts: 284000 | #Constraints: 127723
689.38/691.24 c #Conflicts: 285000 | #Constraints: 128723
689.38/691.24 c #Conflicts: 286000 | #Constraints: 129723
689.38/691.24 c #Conflicts: 287000 | #Constraints: 130723
689.38/691.24 c #Conflicts: 288000 | #Constraints: 131723
689.38/691.24 c INPROCESSING
689.38/691.24 c GARBAGE COLLECT
689.38/691.24 c #Conflicts: 289000 | #Constraints: 122120
689.38/691.24 c #Conflicts: 290000 | #Constraints: 123120
689.38/691.24 c #Conflicts: 291000 | #Constraints: 124120
689.38/691.24 c #Conflicts: 292000 | #Constraints: 125120
689.38/691.24 c #Conflicts: 293000 | #Constraints: 126120
689.38/691.24 c #Conflicts: 294000 | #Constraints: 127120
689.38/691.24 c #Conflicts: 295000 | #Constraints: 128120
689.38/691.24 c #Conflicts: 296000 | #Constraints: 129120
689.38/691.24 c #Conflicts: 297000 | #Constraints: 130120
689.38/691.24 c #Conflicts: 298000 | #Constraints: 131120
689.38/691.24 c #Conflicts: 299000 | #Constraints: 132120
689.38/691.24 c INPROCESSING
689.38/691.24 c GARBAGE COLLECT
689.38/691.24 c #Conflicts: 300000 | #Constraints: 122318
689.38/691.24 c #Conflicts: 301000 | #Constraints: 123318
689.38/691.24 c #Conflicts: 302000 | #Constraints: 124318
689.38/691.24 c #Conflicts: 303000 | #Constraints: 125318
689.38/691.24 c #Conflicts: 304000 | #Constraints: 126318
689.38/691.24 c #Conflicts: 305000 | #Constraints: 127318
689.38/691.24 c #Conflicts: 306000 | #Constraints: 128318
689.38/691.24 c #Conflicts: 307000 | #Constraints: 129318
689.38/691.24 c #Conflicts: 308000 | #Constraints: 130318
689.38/691.24 c #Conflicts: 309000 | #Constraints: 131318
689.38/691.24 c #Conflicts: 310000 | #Constraints: 132318
689.38/691.24 c INPROCESSING
689.38/691.24 c GARBAGE COLLECT
689.38/691.24 c #Conflicts: 311000 | #Constraints: 122329
689.38/691.24 c #Conflicts: 312000 | #Constraints: 123329
689.38/691.24 c #Conflicts: 313000 | #Constraints: 124329
689.38/691.24 c #Conflicts: 314000 | #Constraints: 125329
689.38/691.24 c #Conflicts: 315000 | #Constraints: 126329
689.38/691.24 c #Conflicts: 316000 | #Constraints: 127329
689.38/691.24 c #Conflicts: 317000 | #Constraints: 128329
689.38/691.24 c #Conflicts: 318000 | #Constraints: 129329
689.38/691.24 c #Conflicts: 319000 | #Constraints: 130329
689.38/691.24 c #Conflicts: 320000 | #Constraints: 131329
689.38/691.24 c #Conflicts: 321000 | #Constraints: 132329
689.38/691.24 c INPROCESSING
689.38/691.24 c GARBAGE COLLECT
689.38/691.24 c #Conflicts: 322000 | #Constraints: 122127
689.38/691.24 c #Conflicts: 323000 | #Constraints: 123127
689.38/691.24 c #Conflicts: 324000 | #Constraints: 124127
689.38/691.24 c #Conflicts: 325000 | #Constraints: 125127
689.38/691.24 c #Conflicts: 326000 | #Constraints: 126127
689.38/691.24 c #Conflicts: 327000 | #Constraints: 127127
689.38/691.24 c #Conflicts: 328000 | #Constraints: 128127
689.38/691.24 c #Conflicts: 329000 | #Constraints: 129127
689.38/691.24 c #Conflicts: 330000 | #Constraints: 130127
689.38/691.24 c #Conflicts: 331000 | #Constraints: 131127
689.38/691.24 c #Conflicts: 332000 | #Constraints: 132127
689.38/691.24 c #Conflicts: 333000 | #Constraints: 133127
689.38/691.24 c INPROCESSING
689.38/691.24 c GARBAGE COLLECT
689.38/691.24 c #Conflicts: 334000 | #Constraints: 122730
689.38/691.24 c #Conflicts: 335000 | #Constraints: 123730
689.38/691.24 c #Conflicts: 336000 | #Constraints: 124730
689.38/691.24 c #Conflicts: 337000 | #Constraints: 125730
689.38/691.24 c #Conflicts: 338000 | #Constraints: 126730
689.38/691.24 c #Conflicts: 339000 | #Constraints: 127730
689.38/691.24 c #Conflicts: 340000 | #Constraints: 128730
689.38/691.24 c #Conflicts: 341000 | #Constraints: 129730
689.38/691.24 c #Conflicts: 342000 | #Constraints: 130730
689.38/691.24 c #Conflicts: 343000 | #Constraints: 131730
689.38/691.24 c #Conflicts: 344000 | #Constraints: 132730
689.38/691.24 c #Conflicts: 345000 | #Constraints: 133730
689.38/691.24 c INPROCESSING
689.38/691.24 c GARBAGE COLLECT
689.38/691.24 c #Conflicts: 346000 | #Constraints: 123125
689.38/691.24 c #Conflicts: 347000 | #Constraints: 124125
689.38/691.24 c #Conflicts: 348000 | #Constraints: 125125
827.06/829.24 c #Conflicts: 349000 | #Constraints: 126125
827.06/829.24 c #Conflicts: 350000 | #Constraints: 127125
827.06/829.24 c #Conflicts: 351000 | #Constraints: 128125
827.06/829.24 c #Conflicts: 352000 | #Constraints: 129125
827.06/829.24 c #Conflicts: 353000 | #Constraints: 130125
827.06/829.24 c #Conflicts: 354000 | #Constraints: 131125
827.06/829.24 c #Conflicts: 355000 | #Constraints: 132125
827.06/829.24 c #Conflicts: 356000 | #Constraints: 133125
827.06/829.24 c #Conflicts: 357000 | #Constraints: 134125
827.06/829.24 c INPROCESSING
827.06/829.24 c GARBAGE COLLECT
827.06/829.24 c #Conflicts: 358000 | #Constraints: 123327
827.06/829.24 c #Conflicts: 359000 | #Constraints: 124327
827.06/829.24 c #Conflicts: 360000 | #Constraints: 125327
827.06/829.24 c #Conflicts: 361000 | #Constraints: 126327
827.06/829.24 c #Conflicts: 362000 | #Constraints: 127327
827.06/829.24 c #Conflicts: 363000 | #Constraints: 128327
827.06/829.24 c #Conflicts: 364000 | #Constraints: 129327
827.06/829.24 c #Conflicts: 365000 | #Constraints: 130327
827.06/829.24 c #Conflicts: 366000 | #Constraints: 131327
827.06/829.24 c #Conflicts: 367000 | #Constraints: 132327
827.06/829.24 c #Conflicts: 368000 | #Constraints: 133327
827.06/829.24 c #Conflicts: 369000 | #Constraints: 134327
827.06/829.24 c INPROCESSING
827.06/829.24 c GARBAGE COLLECT
827.06/829.24 c #Conflicts: 370000 | #Constraints: 123339
827.06/829.24 c #Conflicts: 371000 | #Constraints: 124339
827.06/829.24 c #Conflicts: 372000 | #Constraints: 125339
827.06/829.24 c #Conflicts: 373000 | #Constraints: 126339
827.06/829.24 c #Conflicts: 374000 | #Constraints: 127339
827.06/829.24 c #Conflicts: 375000 | #Constraints: 128339
827.06/829.24 c #Conflicts: 376000 | #Constraints: 129339
827.06/829.24 c #Conflicts: 377000 | #Constraints: 130339
827.06/829.24 c #Conflicts: 378000 | #Constraints: 131339
827.06/829.24 c #Conflicts: 379000 | #Constraints: 132339
827.06/829.24 c #Conflicts: 380000 | #Constraints: 133339
827.06/829.24 c #Conflicts: 381000 | #Constraints: 134339
827.06/829.24 c INPROCESSING
827.06/829.24 c GARBAGE COLLECT
827.06/829.24 c #Conflicts: 382000 | #Constraints: 123135
827.06/829.24 c #Conflicts: 383000 | #Constraints: 124135
827.06/829.24 c #Conflicts: 384000 | #Constraints: 125135
827.06/829.24 c #Conflicts: 385000 | #Constraints: 126135
827.06/829.24 c #Conflicts: 386000 | #Constraints: 127135
827.06/829.24 c #Conflicts: 387000 | #Constraints: 128135
827.06/829.24 c #Conflicts: 388000 | #Constraints: 129135
827.06/829.24 c #Conflicts: 389000 | #Constraints: 130135
827.06/829.24 c #Conflicts: 390000 | #Constraints: 131135
827.06/829.24 c #Conflicts: 391000 | #Constraints: 132135
827.06/829.24 c #Conflicts: 392000 | #Constraints: 133135
827.06/829.24 c #Conflicts: 393000 | #Constraints: 134135
827.06/829.24 c #Conflicts: 394000 | #Constraints: 135135
827.06/829.24 c INPROCESSING
827.06/829.24 c GARBAGE COLLECT
827.06/829.24 c #Conflicts: 395000 | #Constraints: 123743
827.06/829.24 c #Conflicts: 396000 | #Constraints: 124743
827.06/829.24 c #Conflicts: 397000 | #Constraints: 125743
827.06/829.24 c #Conflicts: 398000 | #Constraints: 126743
827.06/829.24 c #Conflicts: 399000 | #Constraints: 127743
827.06/829.24 c #Conflicts: 400000 | #Constraints: 128743
827.06/829.24 c #Conflicts: 401000 | #Constraints: 129743
827.06/829.24 c #Conflicts: 402000 | #Constraints: 130743
827.06/829.24 c #Conflicts: 403000 | #Constraints: 131743
827.06/829.24 c #Conflicts: 404000 | #Constraints: 132743
827.06/829.24 c #Conflicts: 405000 | #Constraints: 133743
827.06/829.24 c #Conflicts: 406000 | #Constraints: 134743
827.06/829.24 c #Conflicts: 407000 | #Constraints: 135743
827.06/829.24 c INPROCESSING
827.06/829.24 c GARBAGE COLLECT
827.06/829.24 c #Conflicts: 408000 | #Constraints: 124141
827.06/829.24 c #Conflicts: 409000 | #Constraints: 125141
827.06/829.24 c #Conflicts: 410000 | #Constraints: 126141
827.06/829.24 c #Conflicts: 411000 | #Constraints: 127141
827.06/829.24 c #Conflicts: 412000 | #Constraints: 128141
827.06/829.24 c #Conflicts: 413000 | #Constraints: 129141
827.06/829.24 c #Conflicts: 414000 | #Constraints: 130141
827.06/829.24 c #Conflicts: 415000 | #Constraints: 131141
827.06/829.24 c #Conflicts: 416000 | #Constraints: 132141
827.06/829.24 c #Conflicts: 417000 | #Constraints: 133141
827.06/829.24 c #Conflicts: 418000 | #Constraints: 134141
827.06/829.24 c #Conflicts: 419000 | #Constraints: 135141
827.06/829.24 c #Conflicts: 420000 | #Constraints: 136141
827.06/829.24 c INPROCESSING
827.06/829.24 c GARBAGE COLLECT
827.06/829.24 c #Conflicts: 421000 | #Constraints: 124341
827.06/829.24 c #Conflicts: 422000 | #Constraints: 125341
827.06/829.24 c #Conflicts: 423000 | #Constraints: 126341
981.28/983.84 c #Conflicts: 424000 | #Constraints: 127341
981.28/983.84 c #Conflicts: 425000 | #Constraints: 128341
981.28/983.84 c #Conflicts: 426000 | #Constraints: 129341
981.28/983.84 c #Conflicts: 427000 | #Constraints: 130341
981.28/983.84 c #Conflicts: 428000 | #Constraints: 131341
981.28/983.84 c #Conflicts: 429000 | #Constraints: 132341
981.28/983.84 c #Conflicts: 430000 | #Constraints: 133341
981.28/983.84 c #Conflicts: 431000 | #Constraints: 134341
981.28/983.84 c #Conflicts: 432000 | #Constraints: 135341
981.28/983.84 c #Conflicts: 433000 | #Constraints: 136341
981.28/983.84 c INPROCESSING
981.28/983.84 c GARBAGE COLLECT
981.28/983.84 c #Conflicts: 434000 | #Constraints: 124349
981.28/983.84 c #Conflicts: 435000 | #Constraints: 125349
981.28/983.84 c #Conflicts: 436000 | #Constraints: 126349
981.28/983.84 c #Conflicts: 437000 | #Constraints: 127349
981.28/983.84 c #Conflicts: 438000 | #Constraints: 128349
981.28/983.84 c #Conflicts: 439000 | #Constraints: 129349
981.28/983.84 c #Conflicts: 440000 | #Constraints: 130349
981.28/983.84 c #Conflicts: 441000 | #Constraints: 131349
981.28/983.84 c #Conflicts: 442000 | #Constraints: 132349
981.28/983.84 c #Conflicts: 443000 | #Constraints: 133349
981.28/983.84 c #Conflicts: 444000 | #Constraints: 134349
981.28/983.84 c #Conflicts: 445000 | #Constraints: 135349
981.28/983.84 c #Conflicts: 446000 | #Constraints: 136349
981.28/983.84 c INPROCESSING
981.28/983.84 c GARBAGE COLLECT
981.28/983.84 c #Conflicts: 447000 | #Constraints: 124134
981.28/983.84 c #Conflicts: 448000 | #Constraints: 125134
981.28/983.84 c #Conflicts: 449000 | #Constraints: 126134
981.28/983.84 c #Conflicts: 450000 | #Constraints: 127134
981.28/983.84 c #Conflicts: 451000 | #Constraints: 128134
981.28/983.84 c #Conflicts: 452000 | #Constraints: 129134
981.28/983.84 c #Conflicts: 453000 | #Constraints: 130134
981.28/983.84 c #Conflicts: 454000 | #Constraints: 131134
981.28/983.84 c #Conflicts: 455000 | #Constraints: 132134
981.28/983.84 c #Conflicts: 456000 | #Constraints: 133134
981.28/983.84 c #Conflicts: 457000 | #Constraints: 134134
981.28/983.84 c #Conflicts: 458000 | #Constraints: 135134
981.28/983.84 c #Conflicts: 459000 | #Constraints: 136134
981.28/983.84 c #Conflicts: 460000 | #Constraints: 137134
981.28/983.84 c INPROCESSING
981.28/983.84 c GARBAGE COLLECT
981.28/983.84 c #Conflicts: 461000 | #Constraints: 124742
981.28/983.84 c #Conflicts: 462000 | #Constraints: 125742
981.28/983.84 c #Conflicts: 463000 | #Constraints: 126742
981.28/983.84 c #Conflicts: 464000 | #Constraints: 127742
981.28/983.84 c #Conflicts: 465000 | #Constraints: 128742
981.28/983.84 c #Conflicts: 466000 | #Constraints: 129742
981.28/983.84 c #Conflicts: 467000 | #Constraints: 130742
981.28/983.84 c #Conflicts: 468000 | #Constraints: 131742
981.28/983.84 c #Conflicts: 469000 | #Constraints: 132742
981.28/983.84 c #Conflicts: 470000 | #Constraints: 133742
981.28/983.84 c #Conflicts: 471000 | #Constraints: 134742
981.28/983.84 c #Conflicts: 472000 | #Constraints: 135742
981.28/983.84 c #Conflicts: 473000 | #Constraints: 136742
981.28/983.84 c #Conflicts: 474000 | #Constraints: 137742
981.28/983.84 c INPROCESSING
981.28/983.84 c GARBAGE COLLECT
981.28/983.84 c #Conflicts: 475000 | #Constraints: 125155
981.28/983.84 c #Conflicts: 476000 | #Constraints: 126155
981.28/983.84 c #Conflicts: 477000 | #Constraints: 127155
981.28/983.84 c #Conflicts: 478000 | #Constraints: 128155
981.28/983.84 c #Conflicts: 479000 | #Constraints: 129155
981.28/983.84 c #Conflicts: 480000 | #Constraints: 130155
981.28/983.84 c #Conflicts: 481000 | #Constraints: 131155
981.28/983.84 c #Conflicts: 482000 | #Constraints: 132155
981.28/983.84 c #Conflicts: 483000 | #Constraints: 133155
981.28/983.84 c #Conflicts: 484000 | #Constraints: 134155
981.28/983.84 c #Conflicts: 485000 | #Constraints: 135155
981.28/983.84 c #Conflicts: 486000 | #Constraints: 136155
981.28/983.84 c #Conflicts: 487000 | #Constraints: 137155
981.28/983.84 c #Conflicts: 488000 | #Constraints: 138155
981.28/983.84 c INPROCESSING
981.28/983.84 c GARBAGE COLLECT
981.28/983.84 c #Conflicts: 489000 | #Constraints: 125334
981.28/983.84 c #Conflicts: 490000 | #Constraints: 126334
981.28/983.84 c #Conflicts: 491000 | #Constraints: 127334
981.28/983.84 c #Conflicts: 492000 | #Constraints: 128334
981.28/983.84 c #Conflicts: 493000 | #Constraints: 129334
981.28/983.84 c #Conflicts: 494000 | #Constraints: 130334
981.28/983.84 c #Conflicts: 495000 | #Constraints: 131334
981.28/983.84 c #Conflicts: 496000 | #Constraints: 132334
981.28/983.84 c #Conflicts: 497000 | #Constraints: 133334
981.28/983.84 c #Conflicts: 498000 | #Constraints: 134334
981.28/983.84 c #Conflicts: 499000 | #Constraints: 135334
1156.55/1159.58 c #Conflicts: 500000 | #Constraints: 136334
1156.55/1159.58 c #Conflicts: 501000 | #Constraints: 137334
1156.55/1159.58 c #Conflicts: 502000 | #Constraints: 138334
1156.55/1159.58 c INPROCESSING
1156.55/1159.58 c GARBAGE COLLECT
1156.55/1159.58 c #Conflicts: 503000 | #Constraints: 125345
1156.55/1159.58 c #Conflicts: 504000 | #Constraints: 126345
1156.55/1159.58 c #Conflicts: 505000 | #Constraints: 127345
1156.55/1159.58 c #Conflicts: 506000 | #Constraints: 128345
1156.55/1159.58 c #Conflicts: 507000 | #Constraints: 129345
1156.55/1159.58 c #Conflicts: 508000 | #Constraints: 130345
1156.55/1159.58 c #Conflicts: 509000 | #Constraints: 131345
1156.55/1159.58 c #Conflicts: 510000 | #Constraints: 132345
1156.55/1159.58 c #Conflicts: 511000 | #Constraints: 133345
1156.55/1159.58 c #Conflicts: 512000 | #Constraints: 134345
1156.55/1159.58 c #Conflicts: 513000 | #Constraints: 135345
1156.55/1159.58 c #Conflicts: 514000 | #Constraints: 136345
1156.55/1159.58 c #Conflicts: 515000 | #Constraints: 137345
1156.55/1159.58 c #Conflicts: 516000 | #Constraints: 138345
1156.55/1159.58 c INPROCESSING
1156.55/1159.58 c GARBAGE COLLECT
1156.55/1159.58 c #Conflicts: 517000 | #Constraints: 125138
1156.55/1159.58 c #Conflicts: 518000 | #Constraints: 126138
1156.55/1159.58 c #Conflicts: 519000 | #Constraints: 127138
1156.55/1159.58 c #Conflicts: 520000 | #Constraints: 128138
1156.55/1159.58 c #Conflicts: 521000 | #Constraints: 129138
1156.55/1159.58 c #Conflicts: 522000 | #Constraints: 130138
1156.55/1159.58 c #Conflicts: 523000 | #Constraints: 131138
1156.55/1159.58 c #Conflicts: 524000 | #Constraints: 132138
1156.55/1159.58 c #Conflicts: 525000 | #Constraints: 133138
1156.55/1159.58 c #Conflicts: 526000 | #Constraints: 134138
1156.55/1159.58 c #Conflicts: 527000 | #Constraints: 135138
1156.55/1159.58 c #Conflicts: 528000 | #Constraints: 136138
1156.55/1159.58 c #Conflicts: 529000 | #Constraints: 137138
1156.55/1159.58 c #Conflicts: 530000 | #Constraints: 138138
1156.55/1159.58 c #Conflicts: 531000 | #Constraints: 139138
1156.55/1159.58 c INPROCESSING
1156.55/1159.58 c GARBAGE COLLECT
1156.55/1159.58 c #Conflicts: 532000 | #Constraints: 125757
1156.55/1159.58 c #Conflicts: 533000 | #Constraints: 126757
1156.55/1159.58 c #Conflicts: 534000 | #Constraints: 127757
1156.55/1159.58 c #Conflicts: 535000 | #Constraints: 128757
1156.55/1159.58 c #Conflicts: 536000 | #Constraints: 129757
1156.55/1159.58 c #Conflicts: 537000 | #Constraints: 130757
1156.55/1159.58 c #Conflicts: 538000 | #Constraints: 131757
1156.55/1159.58 c #Conflicts: 539000 | #Constraints: 132757
1156.55/1159.58 c #Conflicts: 540000 | #Constraints: 133757
1156.55/1159.58 c #Conflicts: 541000 | #Constraints: 134757
1156.55/1159.58 c #Conflicts: 542000 | #Constraints: 135757
1156.55/1159.58 c #Conflicts: 543000 | #Constraints: 136757
1156.55/1159.58 c #Conflicts: 544000 | #Constraints: 137757
1156.55/1159.58 c #Conflicts: 545000 | #Constraints: 138757
1156.55/1159.58 c #Conflicts: 546000 | #Constraints: 139757
1156.55/1159.58 c INPROCESSING
1156.55/1159.58 c GARBAGE COLLECT
1156.55/1159.58 c #Conflicts: 547000 | #Constraints: 126160
1156.55/1159.58 c #Conflicts: 548000 | #Constraints: 127160
1156.55/1159.58 c #Conflicts: 549000 | #Constraints: 128160
1156.55/1159.58 c #Conflicts: 550000 | #Constraints: 129160
1156.55/1159.58 c #Conflicts: 551000 | #Constraints: 130160
1156.55/1159.58 c #Conflicts: 552000 | #Constraints: 131160
1156.55/1159.58 c #Conflicts: 553000 | #Constraints: 132160
1156.55/1159.58 c #Conflicts: 554000 | #Constraints: 133160
1156.55/1159.58 c #Conflicts: 555000 | #Constraints: 134160
1156.55/1159.58 c #Conflicts: 556000 | #Constraints: 135160
1156.55/1159.58 c #Conflicts: 557000 | #Constraints: 136160
1156.55/1159.58 c #Conflicts: 558000 | #Constraints: 137160
1156.55/1159.58 c #Conflicts: 559000 | #Constraints: 138160
1156.55/1159.58 c #Conflicts: 560000 | #Constraints: 139160
1156.55/1159.58 c #Conflicts: 561000 | #Constraints: 140160
1156.55/1159.58 c INPROCESSING
1156.55/1159.58 c GARBAGE COLLECT
1156.55/1159.58 c #Conflicts: 562000 | #Constraints: 126349
1156.55/1159.58 c #Conflicts: 563000 | #Constraints: 127349
1156.55/1159.58 c #Conflicts: 564000 | #Constraints: 128349
1156.55/1159.58 c #Conflicts: 565000 | #Constraints: 129349
1156.55/1159.58 c #Conflicts: 566000 | #Constraints: 130349
1156.55/1159.58 c #Conflicts: 567000 | #Constraints: 131349
1156.55/1159.58 c #Conflicts: 568000 | #Constraints: 132349
1156.55/1159.58 c #Conflicts: 569000 | #Constraints: 133349
1156.55/1159.58 c #Conflicts: 570000 | #Constraints: 134349
1156.55/1159.58 c #Conflicts: 571000 | #Constraints: 135349
1156.55/1159.58 c #Conflicts: 572000 | #Constraints: 136349
1156.55/1159.58 c #Conflicts: 573000 | #Constraints: 137349
1156.55/1159.58 c #Conflicts: 574000 | #Constraints: 138349
1352.29/1355.72 c #Conflicts: 575000 | #Constraints: 139349
1352.29/1355.72 c #Conflicts: 576000 | #Constraints: 140349
1352.29/1355.72 c INPROCESSING
1352.29/1355.72 c GARBAGE COLLECT
1352.29/1355.72 c #Conflicts: 577000 | #Constraints: 126333
1352.29/1355.72 c #Conflicts: 578000 | #Constraints: 127333
1352.29/1355.72 c #Conflicts: 579000 | #Constraints: 128333
1352.29/1355.72 c #Conflicts: 580000 | #Constraints: 129333
1352.29/1355.72 c #Conflicts: 581000 | #Constraints: 130333
1352.29/1355.72 c #Conflicts: 582000 | #Constraints: 131333
1352.29/1355.72 c #Conflicts: 583000 | #Constraints: 132333
1352.29/1355.72 c #Conflicts: 584000 | #Constraints: 133333
1352.29/1355.72 c #Conflicts: 585000 | #Constraints: 134333
1352.29/1355.72 c #Conflicts: 586000 | #Constraints: 135333
1352.29/1355.72 c #Conflicts: 587000 | #Constraints: 136333
1352.29/1355.72 c #Conflicts: 588000 | #Constraints: 137333
1352.29/1355.72 c #Conflicts: 589000 | #Constraints: 138333
1352.29/1355.72 c #Conflicts: 590000 | #Constraints: 139333
1352.29/1355.72 c #Conflicts: 591000 | #Constraints: 140333
1352.29/1355.72 c INPROCESSING
1352.29/1355.72 c GARBAGE COLLECT
1352.29/1355.72 c #Conflicts: 592000 | #Constraints: 126146
1352.29/1355.72 c #Conflicts: 593000 | #Constraints: 127146
1352.29/1355.72 c #Conflicts: 594000 | #Constraints: 128146
1352.29/1355.72 c #Conflicts: 595000 | #Constraints: 129146
1352.29/1355.72 c #Conflicts: 596000 | #Constraints: 130146
1352.29/1355.72 c #Conflicts: 597000 | #Constraints: 131146
1352.29/1355.72 c #Conflicts: 598000 | #Constraints: 132146
1352.29/1355.72 c #Conflicts: 599000 | #Constraints: 133146
1352.29/1355.72 c #Conflicts: 600000 | #Constraints: 134146
1352.29/1355.72 c #Conflicts: 601000 | #Constraints: 135146
1352.29/1355.72 c #Conflicts: 602000 | #Constraints: 136146
1352.29/1355.72 c #Conflicts: 603000 | #Constraints: 137146
1352.29/1355.72 c #Conflicts: 604000 | #Constraints: 138146
1352.29/1355.72 c #Conflicts: 605000 | #Constraints: 139146
1352.29/1355.72 c #Conflicts: 606000 | #Constraints: 140146
1352.29/1355.72 c #Conflicts: 607000 | #Constraints: 141146
1352.29/1355.72 c INPROCESSING
1352.29/1355.72 c GARBAGE COLLECT
1352.29/1355.72 c #Conflicts: 608000 | #Constraints: 126765
1352.29/1355.72 c #Conflicts: 609000 | #Constraints: 127765
1352.29/1355.72 c #Conflicts: 610000 | #Constraints: 128765
1352.29/1355.72 c #Conflicts: 611000 | #Constraints: 129765
1352.29/1355.72 c #Conflicts: 612000 | #Constraints: 130765
1352.29/1355.72 c #Conflicts: 613000 | #Constraints: 131765
1352.29/1355.72 c #Conflicts: 614000 | #Constraints: 132765
1352.29/1355.72 c #Conflicts: 615000 | #Constraints: 133765
1352.29/1355.72 c #Conflicts: 616000 | #Constraints: 134765
1352.29/1355.72 c #Conflicts: 617000 | #Constraints: 135765
1352.29/1355.72 c #Conflicts: 618000 | #Constraints: 136765
1352.29/1355.72 c #Conflicts: 619000 | #Constraints: 137765
1352.29/1355.72 c #Conflicts: 620000 | #Constraints: 138765
1352.29/1355.72 c #Conflicts: 621000 | #Constraints: 139765
1352.29/1355.72 c #Conflicts: 622000 | #Constraints: 140765
1352.29/1355.72 c #Conflicts: 623000 | #Constraints: 141765
1352.29/1355.72 c INPROCESSING
1352.29/1355.72 c GARBAGE COLLECT
1352.29/1355.72 c #Conflicts: 624000 | #Constraints: 127146
1352.29/1355.72 c #Conflicts: 625000 | #Constraints: 128146
1352.29/1355.72 c #Conflicts: 626000 | #Constraints: 129146
1352.29/1355.72 c #Conflicts: 627000 | #Constraints: 130146
1352.29/1355.72 c #Conflicts: 628000 | #Constraints: 131146
1352.29/1355.72 c #Conflicts: 629000 | #Constraints: 132146
1352.29/1355.72 c #Conflicts: 630000 | #Constraints: 133146
1352.29/1355.72 c #Conflicts: 631000 | #Constraints: 134146
1352.29/1355.72 c #Conflicts: 632000 | #Constraints: 135146
1352.29/1355.72 c #Conflicts: 633000 | #Constraints: 136146
1352.29/1355.72 c #Conflicts: 634000 | #Constraints: 137146
1352.29/1355.72 c #Conflicts: 635000 | #Constraints: 138146
1352.29/1355.72 c #Conflicts: 636000 | #Constraints: 139146
1352.29/1355.72 c #Conflicts: 637000 | #Constraints: 140146
1352.29/1355.72 c #Conflicts: 638000 | #Constraints: 141146
1352.29/1355.72 c #Conflicts: 639000 | #Constraints: 142146
1352.29/1355.72 c INPROCESSING
1352.29/1355.72 c GARBAGE COLLECT
1352.29/1355.72 c #Conflicts: 640000 | #Constraints: 127347
1352.29/1355.72 c #Conflicts: 641000 | #Constraints: 128347
1352.29/1355.72 c #Conflicts: 642000 | #Constraints: 129347
1352.29/1355.72 c #Conflicts: 643000 | #Constraints: 130347
1352.29/1355.72 c #Conflicts: 644000 | #Constraints: 131347
1352.29/1355.72 c #Conflicts: 645000 | #Constraints: 132347
1352.29/1355.72 c #Conflicts: 646000 | #Constraints: 133347
1352.29/1355.72 c #Conflicts: 647000 | #Constraints: 134347
1352.29/1355.72 c #Conflicts: 648000 | #Constraints: 135347
1352.29/1355.72 c #Conflicts: 649000 | #Constraints: 136347
1352.29/1355.72 c #Conflicts: 650000 | #Constraints: 137347
1564.96/1568.98 c #Conflicts: 651000 | #Constraints: 138347
1564.96/1568.98 c #Conflicts: 652000 | #Constraints: 139347
1564.96/1568.98 c #Conflicts: 653000 | #Constraints: 140347
1564.96/1568.98 c #Conflicts: 654000 | #Constraints: 141347
1564.96/1568.98 c #Conflicts: 655000 | #Constraints: 142347
1564.96/1568.98 c INPROCESSING
1564.96/1568.98 c GARBAGE COLLECT
1564.96/1568.98 c #Conflicts: 656000 | #Constraints: 127349
1564.96/1568.98 c #Conflicts: 657000 | #Constraints: 128349
1564.96/1568.98 c #Conflicts: 658000 | #Constraints: 129349
1564.96/1568.98 c #Conflicts: 659000 | #Constraints: 130349
1564.96/1568.98 c #Conflicts: 660000 | #Constraints: 131349
1564.96/1568.98 c #Conflicts: 661000 | #Constraints: 132349
1564.96/1568.98 c #Conflicts: 662000 | #Constraints: 133349
1564.96/1568.98 c #Conflicts: 663000 | #Constraints: 134349
1564.96/1568.98 c #Conflicts: 664000 | #Constraints: 135349
1564.96/1568.98 c #Conflicts: 665000 | #Constraints: 136349
1564.96/1568.98 c #Conflicts: 666000 | #Constraints: 137349
1564.96/1568.98 c #Conflicts: 667000 | #Constraints: 138349
1564.96/1568.98 c #Conflicts: 668000 | #Constraints: 139349
1564.96/1568.98 c #Conflicts: 669000 | #Constraints: 140349
1564.96/1568.98 c #Conflicts: 670000 | #Constraints: 141349
1564.96/1568.98 c #Conflicts: 671000 | #Constraints: 142349
1564.96/1568.98 c INPROCESSING
1564.96/1568.98 c GARBAGE COLLECT
1564.96/1568.98 c #Conflicts: 672000 | #Constraints: 127135
1564.96/1568.98 c #Conflicts: 673000 | #Constraints: 128135
1564.96/1568.98 c #Conflicts: 674000 | #Constraints: 129135
1564.96/1568.98 c #Conflicts: 675000 | #Constraints: 130135
1564.96/1568.98 c #Conflicts: 676000 | #Constraints: 131135
1564.96/1568.98 c #Conflicts: 677000 | #Constraints: 132135
1564.96/1568.98 c #Conflicts: 678000 | #Constraints: 133135
1564.96/1568.98 c #Conflicts: 679000 | #Constraints: 134135
1564.96/1568.98 c #Conflicts: 680000 | #Constraints: 135135
1564.96/1568.98 c #Conflicts: 681000 | #Constraints: 136135
1564.96/1568.98 c #Conflicts: 682000 | #Constraints: 137135
1564.96/1568.98 c #Conflicts: 683000 | #Constraints: 138135
1564.96/1568.98 c #Conflicts: 684000 | #Constraints: 139135
1564.96/1568.98 c #Conflicts: 685000 | #Constraints: 140135
1564.96/1568.98 c #Conflicts: 686000 | #Constraints: 141135
1564.96/1568.98 c #Conflicts: 687000 | #Constraints: 142135
1564.96/1568.98 c #Conflicts: 688000 | #Constraints: 143135
1564.96/1568.98 c INPROCESSING
1564.96/1568.98 c GARBAGE COLLECT
1564.96/1568.98 c #Conflicts: 689000 | #Constraints: 127759
1564.96/1568.98 c #Conflicts: 690000 | #Constraints: 128759
1564.96/1568.98 c #Conflicts: 691000 | #Constraints: 129759
1564.96/1568.98 c #Conflicts: 692000 | #Constraints: 130759
1564.96/1568.98 c #Conflicts: 693000 | #Constraints: 131759
1564.96/1568.98 c #Conflicts: 694000 | #Constraints: 132759
1564.96/1568.98 c #Conflicts: 695000 | #Constraints: 133759
1564.96/1568.98 c #Conflicts: 696000 | #Constraints: 134759
1564.96/1568.98 c #Conflicts: 697000 | #Constraints: 135759
1564.96/1568.98 c #Conflicts: 698000 | #Constraints: 136759
1564.96/1568.98 c #Conflicts: 699000 | #Constraints: 137759
1564.96/1568.98 c #Conflicts: 700000 | #Constraints: 138759
1564.96/1568.98 c #Conflicts: 701000 | #Constraints: 139759
1564.96/1568.98 c #Conflicts: 702000 | #Constraints: 140759
1564.96/1568.98 c #Conflicts: 703000 | #Constraints: 141759
1564.96/1568.98 c #Conflicts: 704000 | #Constraints: 142759
1564.96/1568.98 c #Conflicts: 705000 | #Constraints: 143759
1564.96/1568.98 c INPROCESSING
1564.96/1568.98 c GARBAGE COLLECT
1564.96/1568.98 c #Conflicts: 706000 | #Constraints: 128150
1564.96/1568.98 c #Conflicts: 707000 | #Constraints: 129150
1564.96/1568.98 c #Conflicts: 708000 | #Constraints: 130150
1564.96/1568.98 c #Conflicts: 709000 | #Constraints: 131150
1564.96/1568.98 c #Conflicts: 710000 | #Constraints: 132150
1564.96/1568.98 c #Conflicts: 711000 | #Constraints: 133150
1564.96/1568.98 c #Conflicts: 712000 | #Constraints: 134150
1564.96/1568.98 c #Conflicts: 713000 | #Constraints: 135150
1564.96/1568.98 c #Conflicts: 714000 | #Constraints: 136150
1564.96/1568.98 c #Conflicts: 715000 | #Constraints: 137150
1564.96/1568.98 c #Conflicts: 716000 | #Constraints: 138150
1564.96/1568.98 c #Conflicts: 717000 | #Constraints: 139150
1564.96/1568.98 c #Conflicts: 718000 | #Constraints: 140150
1564.96/1568.98 c #Conflicts: 719000 | #Constraints: 141150
1564.96/1568.98 c #Conflicts: 720000 | #Constraints: 142150
1564.96/1568.98 c #Conflicts: 721000 | #Constraints: 143150
1564.96/1568.98 c #Conflicts: 722000 | #Constraints: 144150
1564.96/1568.98 c INPROCESSING
1564.96/1568.98 c GARBAGE COLLECT
1564.96/1568.98 c #Conflicts: 723000 | #Constraints: 128349
1564.96/1568.98 c #Conflicts: 724000 | #Constraints: 129349
1564.96/1568.98 c #Conflicts: 725000 | #Constraints: 130349
1564.96/1568.98 c #Conflicts: 726000 | #Constraints: 131349
1781.51/1786.03 c #Conflicts: 727000 | #Constraints: 132349
1781.51/1786.03 c #Conflicts: 728000 | #Constraints: 133349
1781.51/1786.03 c #Conflicts: 729000 | #Constraints: 134349
1781.51/1786.03 c #Conflicts: 730000 | #Constraints: 135349
1781.51/1786.03 c #Conflicts: 731000 | #Constraints: 136349
1781.51/1786.03 c #Conflicts: 732000 | #Constraints: 137349
1781.51/1786.03 c #Conflicts: 733000 | #Constraints: 138349
1781.51/1786.03 c #Conflicts: 734000 | #Constraints: 139349
1781.51/1786.03 c #Conflicts: 735000 | #Constraints: 140349
1781.51/1786.03 c #Conflicts: 736000 | #Constraints: 141349
1781.51/1786.03 c #Conflicts: 737000 | #Constraints: 142349
1781.51/1786.03 c #Conflicts: 738000 | #Constraints: 143349
1781.51/1786.03 c #Conflicts: 739000 | #Constraints: 144349
1781.51/1786.03 c INPROCESSING
1781.51/1786.03 c GARBAGE COLLECT
1781.51/1786.03 c #Conflicts: 740000 | #Constraints: 128366
1781.51/1786.03 c #Conflicts: 741000 | #Constraints: 129366
1781.51/1786.03 c #Conflicts: 742000 | #Constraints: 130366
1781.51/1786.03 c #Conflicts: 743000 | #Constraints: 131366
1781.51/1786.03 c #Conflicts: 744000 | #Constraints: 132366
1781.51/1786.03 c #Conflicts: 745000 | #Constraints: 133366
1781.51/1786.03 c #Conflicts: 746000 | #Constraints: 134366
1781.51/1786.03 c #Conflicts: 747000 | #Constraints: 135366
1781.51/1786.03 c #Conflicts: 748000 | #Constraints: 136366
1781.51/1786.03 c #Conflicts: 749000 | #Constraints: 137366
1781.51/1786.03 c #Conflicts: 750000 | #Constraints: 138366
1781.51/1786.03 c #Conflicts: 751000 | #Constraints: 139366
1781.51/1786.03 c #Conflicts: 752000 | #Constraints: 140366
1781.51/1786.03 c #Conflicts: 753000 | #Constraints: 141366
1781.51/1786.03 c #Conflicts: 754000 | #Constraints: 142366
1781.51/1786.03 c #Conflicts: 755000 | #Constraints: 143366
1781.51/1786.03 c #Conflicts: 756000 | #Constraints: 144366
1781.51/1786.03 c INPROCESSING
1781.51/1786.03 c GARBAGE COLLECT
1781.51/1786.03 c #Conflicts: 757000 | #Constraints: 128159
1781.51/1786.03 c #Conflicts: 758000 | #Constraints: 129159
1781.51/1786.03 c #Conflicts: 759000 | #Constraints: 130159
1781.51/1786.03 c #Conflicts: 760000 | #Constraints: 131159
1781.51/1786.03 c #Conflicts: 761000 | #Constraints: 132159
1781.51/1786.03 c #Conflicts: 762000 | #Constraints: 133159
1781.51/1786.03 c #Conflicts: 763000 | #Constraints: 134159
1781.51/1786.03 c #Conflicts: 764000 | #Constraints: 135159
1781.51/1786.03 c #Conflicts: 765000 | #Constraints: 136159
1781.51/1786.03 c #Conflicts: 766000 | #Constraints: 137159
1781.51/1786.03 c #Conflicts: 767000 | #Constraints: 138159
1781.51/1786.03 c #Conflicts: 768000 | #Constraints: 139159
1781.51/1786.03 c #Conflicts: 769000 | #Constraints: 140159
1781.51/1786.03 c #Conflicts: 770000 | #Constraints: 141159
1781.51/1786.03 c #Conflicts: 771000 | #Constraints: 142159
1781.51/1786.03 c #Conflicts: 772000 | #Constraints: 143159
1781.51/1786.03 c #Conflicts: 773000 | #Constraints: 144159
1781.51/1786.03 c #Conflicts: 774000 | #Constraints: 145159
1781.51/1786.03 c INPROCESSING
1781.51/1786.03 c GARBAGE COLLECT
1781.51/1786.03 c #Conflicts: 775000 | #Constraints: 128744
1781.51/1786.03 c #Conflicts: 776000 | #Constraints: 129744
1781.51/1786.03 c #Conflicts: 777000 | #Constraints: 130744
1781.51/1786.03 c #Conflicts: 778000 | #Constraints: 131744
1781.51/1786.03 c #Conflicts: 779000 | #Constraints: 132744
1781.51/1786.03 c #Conflicts: 780000 | #Constraints: 133744
1781.51/1786.03 c #Conflicts: 781000 | #Constraints: 134744
1781.51/1786.03 c #Conflicts: 782000 | #Constraints: 135744
1781.51/1786.03 c #Conflicts: 783000 | #Constraints: 136744
1781.51/1786.03 c #Conflicts: 784000 | #Constraints: 137744
1781.51/1786.03 c #Conflicts: 785000 | #Constraints: 138744
1781.51/1786.03 c #Conflicts: 786000 | #Constraints: 139744
1781.51/1786.03 c #Conflicts: 787000 | #Constraints: 140744
1781.51/1786.03 c #Conflicts: 788000 | #Constraints: 141744
1781.51/1786.03 c #Conflicts: 789000 | #Constraints: 142744
1781.51/1786.03 c #Conflicts: 790000 | #Constraints: 143744
1781.51/1786.03 c #Conflicts: 791000 | #Constraints: 144744
1781.51/1786.03 c #Conflicts: 792000 | #Constraints: 145744
1781.51/1786.03 c INPROCESSING
1781.51/1786.03 c GARBAGE COLLECT
1781.51/1786.03 c #Conflicts: 793000 | #Constraints: 129159
1781.51/1786.03 c #Conflicts: 794000 | #Constraints: 130159
1781.51/1786.03 c #Conflicts: 795000 | #Constraints: 131159
1781.51/1786.03 c #Conflicts: 796000 | #Constraints: 132159
1781.51/1786.03 c #Conflicts: 797000 | #Constraints: 133159
1781.51/1786.03 c #Conflicts: 798000 | #Constraints: 134159
1781.51/1786.03 c #Conflicts: 799000 | #Constraints: 135159
1781.51/1786.03 c #Conflicts: 800000 | #Constraints: 136159
1781.51/1786.03 c #Conflicts: 801000 | #Constraints: 137159
1781.51/1786.03 c #Conflicts: 802000 | #Constraints: 138159
2014.02/2019.12 c #Conflicts: 803000 | #Constraints: 139159
2014.02/2019.12 c #Conflicts: 804000 | #Constraints: 140159
2014.02/2019.12 c #Conflicts: 805000 | #Constraints: 141159
2014.02/2019.12 c #Conflicts: 806000 | #Constraints: 142159
2014.02/2019.12 c #Conflicts: 807000 | #Constraints: 143159
2014.02/2019.12 c #Conflicts: 808000 | #Constraints: 144159
2014.02/2019.12 c #Conflicts: 809000 | #Constraints: 145159
2014.02/2019.12 c #Conflicts: 810000 | #Constraints: 146159
2014.02/2019.12 c INPROCESSING
2014.02/2019.12 c GARBAGE COLLECT
2014.02/2019.12 c #Conflicts: 811000 | #Constraints: 129351
2014.02/2019.12 c #Conflicts: 812000 | #Constraints: 130351
2014.02/2019.12 c #Conflicts: 813000 | #Constraints: 131351
2014.02/2019.12 c #Conflicts: 814000 | #Constraints: 132351
2014.02/2019.12 c #Conflicts: 815000 | #Constraints: 133351
2014.02/2019.12 c #Conflicts: 816000 | #Constraints: 134351
2014.02/2019.12 c #Conflicts: 817000 | #Constraints: 135351
2014.02/2019.12 c #Conflicts: 818000 | #Constraints: 136351
2014.02/2019.12 c #Conflicts: 819000 | #Constraints: 137351
2014.02/2019.12 c #Conflicts: 820000 | #Constraints: 138351
2014.02/2019.12 c #Conflicts: 821000 | #Constraints: 139351
2014.02/2019.12 c #Conflicts: 822000 | #Constraints: 140351
2014.02/2019.12 c #Conflicts: 823000 | #Constraints: 141351
2014.02/2019.12 c #Conflicts: 824000 | #Constraints: 142351
2014.02/2019.12 c #Conflicts: 825000 | #Constraints: 143351
2014.02/2019.12 c #Conflicts: 826000 | #Constraints: 144351
2014.02/2019.12 c #Conflicts: 827000 | #Constraints: 145351
2014.02/2019.12 c #Conflicts: 828000 | #Constraints: 146351
2014.02/2019.12 c INPROCESSING
2014.02/2019.12 c GARBAGE COLLECT
2014.02/2019.12 c #Conflicts: 829000 | #Constraints: 129343
2014.02/2019.12 c #Conflicts: 830000 | #Constraints: 130343
2014.02/2019.12 c #Conflicts: 831000 | #Constraints: 131343
2014.02/2019.12 c #Conflicts: 832000 | #Constraints: 132343
2014.02/2019.12 c #Conflicts: 833000 | #Constraints: 133343
2014.02/2019.12 c #Conflicts: 834000 | #Constraints: 134343
2014.02/2019.12 c #Conflicts: 835000 | #Constraints: 135343
2014.02/2019.12 c #Conflicts: 836000 | #Constraints: 136343
2014.02/2019.12 c #Conflicts: 837000 | #Constraints: 137343
2014.02/2019.12 c #Conflicts: 838000 | #Constraints: 138343
2014.02/2019.12 c #Conflicts: 839000 | #Constraints: 139343
2014.02/2019.12 c #Conflicts: 840000 | #Constraints: 140343
2014.02/2019.12 c #Conflicts: 841000 | #Constraints: 141343
2014.02/2019.12 c #Conflicts: 842000 | #Constraints: 142343
2014.02/2019.12 c #Conflicts: 843000 | #Constraints: 143343
2014.02/2019.12 c #Conflicts: 844000 | #Constraints: 144343
2014.02/2019.12 c #Conflicts: 845000 | #Constraints: 145343
2014.02/2019.12 c #Conflicts: 846000 | #Constraints: 146343
2014.02/2019.12 c INPROCESSING
2014.02/2019.12 c GARBAGE COLLECT
2014.02/2019.12 c #Conflicts: 847000 | #Constraints: 129131
2014.02/2019.12 c #Conflicts: 848000 | #Constraints: 130131
2014.02/2019.12 c #Conflicts: 849000 | #Constraints: 131131
2014.02/2019.12 c #Conflicts: 850000 | #Constraints: 132131
2014.02/2019.12 c #Conflicts: 851000 | #Constraints: 133131
2014.02/2019.12 c #Conflicts: 852000 | #Constraints: 134131
2014.02/2019.12 c #Conflicts: 853000 | #Constraints: 135131
2014.02/2019.12 c #Conflicts: 854000 | #Constraints: 136131
2014.02/2019.12 c #Conflicts: 855000 | #Constraints: 137131
2014.02/2019.12 c #Conflicts: 856000 | #Constraints: 138131
2014.02/2019.12 c #Conflicts: 857000 | #Constraints: 139131
2014.02/2019.12 c #Conflicts: 858000 | #Constraints: 140131
2014.02/2019.12 c #Conflicts: 859000 | #Constraints: 141131
2014.02/2019.12 c #Conflicts: 860000 | #Constraints: 142131
2014.02/2019.12 c #Conflicts: 861000 | #Constraints: 143131
2014.02/2019.12 c #Conflicts: 862000 | #Constraints: 144131
2014.02/2019.12 c #Conflicts: 863000 | #Constraints: 145131
2014.02/2019.12 c #Conflicts: 864000 | #Constraints: 146131
2014.02/2019.12 c #Conflicts: 865000 | #Constraints: 147131
2014.02/2019.12 c INPROCESSING
2014.02/2019.12 c GARBAGE COLLECT
2014.02/2019.12 c #Conflicts: 866000 | #Constraints: 129747
2014.02/2019.12 c #Conflicts: 867000 | #Constraints: 130747
2014.02/2019.12 c #Conflicts: 868000 | #Constraints: 131747
2014.02/2019.12 c #Conflicts: 869000 | #Constraints: 132747
2014.02/2019.12 c #Conflicts: 870000 | #Constraints: 133747
2014.02/2019.12 c #Conflicts: 871000 | #Constraints: 134747
2014.02/2019.12 c #Conflicts: 872000 | #Constraints: 135747
2014.02/2019.12 c #Conflicts: 873000 | #Constraints: 136747
2014.02/2019.12 c #Conflicts: 874000 | #Constraints: 137747
2014.02/2019.12 c #Conflicts: 875000 | #Constraints: 138747
2014.02/2019.12 c #Conflicts: 876000 | #Constraints: 139747
2014.02/2019.12 c #Conflicts: 877000 | #Constraints: 140747
2014.02/2019.12 c #Conflicts: 878000 | #Constraints: 141747
2228.56/2234.22 c #Conflicts: 879000 | #Constraints: 142747
2228.56/2234.22 c #Conflicts: 880000 | #Constraints: 143747
2228.56/2234.22 c #Conflicts: 881000 | #Constraints: 144747
2228.56/2234.22 c #Conflicts: 882000 | #Constraints: 145747
2228.56/2234.22 c #Conflicts: 883000 | #Constraints: 146747
2228.56/2234.22 c #Conflicts: 884000 | #Constraints: 147747
2228.56/2234.22 c INPROCESSING
2228.56/2234.22 c GARBAGE COLLECT
2228.56/2234.22 c #Conflicts: 885000 | #Constraints: 130150
2228.56/2234.22 c #Conflicts: 886000 | #Constraints: 131150
2228.56/2234.22 c #Conflicts: 887000 | #Constraints: 132150
2228.56/2234.22 c #Conflicts: 888000 | #Constraints: 133150
2228.56/2234.22 c #Conflicts: 889000 | #Constraints: 134150
2228.56/2234.22 c #Conflicts: 890000 | #Constraints: 135150
2228.56/2234.22 c #Conflicts: 891000 | #Constraints: 136150
2228.56/2234.22 c #Conflicts: 892000 | #Constraints: 137150
2228.56/2234.22 c #Conflicts: 893000 | #Constraints: 138150
2228.56/2234.22 c #Conflicts: 894000 | #Constraints: 139150
2228.56/2234.22 c #Conflicts: 895000 | #Constraints: 140150
2228.56/2234.22 c #Conflicts: 896000 | #Constraints: 141150
2228.56/2234.22 c #Conflicts: 897000 | #Constraints: 142150
2228.56/2234.22 c #Conflicts: 898000 | #Constraints: 143150
2228.56/2234.22 c #Conflicts: 899000 | #Constraints: 144150
2228.56/2234.22 c #Conflicts: 900000 | #Constraints: 145150
2228.56/2234.22 c #Conflicts: 901000 | #Constraints: 146150
2228.56/2234.22 c #Conflicts: 902000 | #Constraints: 147150
2228.56/2234.22 c #Conflicts: 903000 | #Constraints: 148150
2228.56/2234.22 c INPROCESSING
2228.56/2234.22 c GARBAGE COLLECT
2228.56/2234.22 c #Conflicts: 904000 | #Constraints: 130352
2228.56/2234.22 c #Conflicts: 905000 | #Constraints: 131352
2228.56/2234.22 c #Conflicts: 906000 | #Constraints: 132352
2228.56/2234.22 c #Conflicts: 907000 | #Constraints: 133352
2228.56/2234.22 c #Conflicts: 908000 | #Constraints: 134352
2228.56/2234.22 c #Conflicts: 909000 | #Constraints: 135352
2228.56/2234.22 c #Conflicts: 910000 | #Constraints: 136352
2228.56/2234.22 c #Conflicts: 911000 | #Constraints: 137352
2228.56/2234.22 c #Conflicts: 912000 | #Constraints: 138352
2228.56/2234.22 c #Conflicts: 913000 | #Constraints: 139352
2228.56/2234.22 c #Conflicts: 914000 | #Constraints: 140352
2228.56/2234.22 c #Conflicts: 915000 | #Constraints: 141352
2228.56/2234.22 c #Conflicts: 916000 | #Constraints: 142352
2228.56/2234.22 c #Conflicts: 917000 | #Constraints: 143352
2228.56/2234.22 c #Conflicts: 918000 | #Constraints: 144352
2228.56/2234.22 c #Conflicts: 919000 | #Constraints: 145352
2228.56/2234.22 c #Conflicts: 920000 | #Constraints: 146352
2228.56/2234.22 c #Conflicts: 921000 | #Constraints: 147352
2228.56/2234.22 c #Conflicts: 922000 | #Constraints: 148352
2228.56/2234.22 c INPROCESSING
2228.56/2234.22 c GARBAGE COLLECT
2228.56/2234.22 c #Conflicts: 923000 | #Constraints: 130343
2228.56/2234.22 c #Conflicts: 924000 | #Constraints: 131343
2228.56/2234.22 c #Conflicts: 925000 | #Constraints: 132343
2228.56/2234.22 c #Conflicts: 926000 | #Constraints: 133343
2228.56/2234.22 c #Conflicts: 927000 | #Constraints: 134343
2228.56/2234.22 c #Conflicts: 928000 | #Constraints: 135343
2228.56/2234.22 c #Conflicts: 929000 | #Constraints: 136343
2228.56/2234.22 c #Conflicts: 930000 | #Constraints: 137343
2228.56/2234.22 c #Conflicts: 931000 | #Constraints: 138343
2228.56/2234.22 c #Conflicts: 932000 | #Constraints: 139343
2228.56/2234.22 c #Conflicts: 933000 | #Constraints: 140343
2228.56/2234.22 c #Conflicts: 934000 | #Constraints: 141343
2228.56/2234.22 c #Conflicts: 935000 | #Constraints: 142343
2228.56/2234.22 c #Conflicts: 936000 | #Constraints: 143343
2228.56/2234.22 c #Conflicts: 937000 | #Constraints: 144343
2228.56/2234.22 c #Conflicts: 938000 | #Constraints: 145343
2228.56/2234.22 c #Conflicts: 939000 | #Constraints: 146343
2228.56/2234.22 c #Conflicts: 940000 | #Constraints: 147343
2228.56/2234.22 c #Conflicts: 941000 | #Constraints: 148343
2228.56/2234.22 c INPROCESSING
2228.56/2234.22 c GARBAGE COLLECT
2228.56/2234.22 c #Conflicts: 942000 | #Constraints: 130138
2228.56/2234.22 c #Conflicts: 943000 | #Constraints: 131138
2228.56/2234.22 c #Conflicts: 944000 | #Constraints: 132138
2228.56/2234.22 c #Conflicts: 945000 | #Constraints: 133138
2228.56/2234.22 c #Conflicts: 946000 | #Constraints: 134138
2228.56/2234.22 c #Conflicts: 947000 | #Constraints: 135138
2228.56/2234.22 c #Conflicts: 948000 | #Constraints: 136138
2228.56/2234.22 c #Conflicts: 949000 | #Constraints: 137138
2228.56/2234.22 c #Conflicts: 950000 | #Constraints: 138138
2228.56/2234.22 c #Conflicts: 951000 | #Constraints: 139138
2228.56/2234.22 c #Conflicts: 952000 | #Constraints: 140138
2228.56/2234.22 c #Conflicts: 953000 | #Constraints: 141138
2228.56/2234.22 c #Conflicts: 954000 | #Constraints: 142138
2450.05/2456.21 c #Conflicts: 955000 | #Constraints: 143138
2450.05/2456.21 c #Conflicts: 956000 | #Constraints: 144138
2450.05/2456.21 c #Conflicts: 957000 | #Constraints: 145138
2450.05/2456.21 c #Conflicts: 958000 | #Constraints: 146138
2450.05/2456.21 c #Conflicts: 959000 | #Constraints: 147138
2450.05/2456.21 c #Conflicts: 960000 | #Constraints: 148138
2450.05/2456.21 c #Conflicts: 961000 | #Constraints: 149138
2450.05/2456.21 c INPROCESSING
2450.05/2456.21 c GARBAGE COLLECT
2450.05/2456.21 c #Conflicts: 962000 | #Constraints: 130759
2450.05/2456.21 c #Conflicts: 963000 | #Constraints: 131759
2450.05/2456.21 c #Conflicts: 964000 | #Constraints: 132759
2450.05/2456.21 c #Conflicts: 965000 | #Constraints: 133759
2450.05/2456.21 c #Conflicts: 966000 | #Constraints: 134759
2450.05/2456.21 c #Conflicts: 967000 | #Constraints: 135759
2450.05/2456.21 c #Conflicts: 968000 | #Constraints: 136759
2450.05/2456.21 c #Conflicts: 969000 | #Constraints: 137759
2450.05/2456.21 c #Conflicts: 970000 | #Constraints: 138759
2450.05/2456.21 c #Conflicts: 971000 | #Constraints: 139759
2450.05/2456.21 c #Conflicts: 972000 | #Constraints: 140759
2450.05/2456.21 c #Conflicts: 973000 | #Constraints: 141759
2450.05/2456.21 c #Conflicts: 974000 | #Constraints: 142759
2450.05/2456.21 c #Conflicts: 975000 | #Constraints: 143759
2450.05/2456.21 c #Conflicts: 976000 | #Constraints: 144759
2450.05/2456.21 c #Conflicts: 977000 | #Constraints: 145759
2450.05/2456.21 c #Conflicts: 978000 | #Constraints: 146759
2450.05/2456.21 c #Conflicts: 979000 | #Constraints: 147759
2450.05/2456.21 c #Conflicts: 980000 | #Constraints: 148759
2450.05/2456.21 c #Conflicts: 981000 | #Constraints: 149759
2450.05/2456.21 c INPROCESSING
2450.05/2456.21 c GARBAGE COLLECT
2450.05/2456.21 c #Conflicts: 982000 | #Constraints: 131174
2450.05/2456.21 c #Conflicts: 983000 | #Constraints: 132174
2450.05/2456.21 c #Conflicts: 984000 | #Constraints: 133174
2450.05/2456.21 c #Conflicts: 985000 | #Constraints: 134174
2450.05/2456.21 c #Conflicts: 986000 | #Constraints: 135174
2450.05/2456.21 c #Conflicts: 987000 | #Constraints: 136174
2450.05/2456.21 c #Conflicts: 988000 | #Constraints: 137174
2450.05/2456.21 c #Conflicts: 989000 | #Constraints: 138174
2450.05/2456.21 c #Conflicts: 990000 | #Constraints: 139174
2450.05/2456.21 c #Conflicts: 991000 | #Constraints: 140174
2450.05/2456.21 c #Conflicts: 992000 | #Constraints: 141174
2450.05/2456.21 c #Conflicts: 993000 | #Constraints: 142174
2450.05/2456.21 c #Conflicts: 994000 | #Constraints: 143174
2450.05/2456.21 c #Conflicts: 995000 | #Constraints: 144174
2450.05/2456.21 c #Conflicts: 996000 | #Constraints: 145174
2450.05/2456.21 c #Conflicts: 997000 | #Constraints: 146174
2450.05/2456.21 c #Conflicts: 998000 | #Constraints: 147174
2450.05/2456.21 c #Conflicts: 999000 | #Constraints: 148174
2450.05/2456.21 c #Conflicts: 1000000 | #Constraints: 149174
2450.05/2456.21 c #Conflicts: 1001000 | #Constraints: 150174
2450.05/2456.21 c INPROCESSING
2450.05/2456.21 c GARBAGE COLLECT
2450.05/2456.21 c #Conflicts: 1002000 | #Constraints: 131377
2450.05/2456.21 c #Conflicts: 1003000 | #Constraints: 132377
2450.05/2456.21 c #Conflicts: 1004000 | #Constraints: 133377
2450.05/2456.21 c #Conflicts: 1005000 | #Constraints: 134377
2450.05/2456.21 c #Conflicts: 1006000 | #Constraints: 135377
2450.05/2456.21 c #Conflicts: 1007000 | #Constraints: 136377
2450.05/2456.21 c #Conflicts: 1008000 | #Constraints: 137377
2450.05/2456.21 c #Conflicts: 1009000 | #Constraints: 138377
2450.05/2456.21 c #Conflicts: 1010000 | #Constraints: 139377
2450.05/2456.21 c #Conflicts: 1011000 | #Constraints: 140377
2450.05/2456.21 c #Conflicts: 1012000 | #Constraints: 141377
2450.05/2456.21 c #Conflicts: 1013000 | #Constraints: 142377
2450.05/2456.21 c #Conflicts: 1014000 | #Constraints: 143377
2450.05/2456.21 c #Conflicts: 1015000 | #Constraints: 144377
2450.05/2456.21 c #Conflicts: 1016000 | #Constraints: 145377
2450.05/2456.21 c #Conflicts: 1017000 | #Constraints: 146377
2450.05/2456.21 c #Conflicts: 1018000 | #Constraints: 147377
2450.05/2456.21 c #Conflicts: 1019000 | #Constraints: 148377
2450.05/2456.21 c #Conflicts: 1020000 | #Constraints: 149377
2450.05/2456.21 c #Conflicts: 1021000 | #Constraints: 150377
2450.05/2456.21 c INPROCESSING
2450.05/2456.21 c GARBAGE COLLECT
2450.05/2456.21 c #Conflicts: 1022000 | #Constraints: 131374
2450.05/2456.21 c #Conflicts: 1023000 | #Constraints: 132374
2450.05/2456.21 c #Conflicts: 1024000 | #Constraints: 133374
2450.05/2456.21 c #Conflicts: 1025000 | #Constraints: 134374
2450.05/2456.21 c #Conflicts: 1026000 | #Constraints: 135374
2450.05/2456.21 c #Conflicts: 1027000 | #Constraints: 136374
2450.05/2456.21 c #Conflicts: 1028000 | #Constraints: 137374
2450.05/2456.21 c #Conflicts: 1029000 | #Constraints: 138374
2450.05/2456.21 c #Conflicts: 1030000 | #Constraints: 139374
2669.43/2676.14 c #Conflicts: 1031000 | #Constraints: 140374
2669.43/2676.14 c #Conflicts: 1032000 | #Constraints: 141374
2669.43/2676.14 c #Conflicts: 1033000 | #Constraints: 142374
2669.43/2676.14 c #Conflicts: 1034000 | #Constraints: 143374
2669.43/2676.14 c #Conflicts: 1035000 | #Constraints: 144374
2669.43/2676.14 c #Conflicts: 1036000 | #Constraints: 145374
2669.43/2676.14 c #Conflicts: 1037000 | #Constraints: 146374
2669.43/2676.14 c #Conflicts: 1038000 | #Constraints: 147374
2669.43/2676.14 c #Conflicts: 1039000 | #Constraints: 148374
2669.43/2676.14 c #Conflicts: 1040000 | #Constraints: 149374
2669.43/2676.14 c #Conflicts: 1041000 | #Constraints: 150374
2669.43/2676.14 c INPROCESSING
2669.43/2676.14 c GARBAGE COLLECT
2669.43/2676.14 c #Conflicts: 1042000 | #Constraints: 131154
2669.43/2676.14 c #Conflicts: 1043000 | #Constraints: 132154
2669.43/2676.14 c #Conflicts: 1044000 | #Constraints: 133154
2669.43/2676.14 c #Conflicts: 1045000 | #Constraints: 134154
2669.43/2676.14 c #Conflicts: 1046000 | #Constraints: 135154
2669.43/2676.14 c #Conflicts: 1047000 | #Constraints: 136154
2669.43/2676.14 c #Conflicts: 1048000 | #Constraints: 137154
2669.43/2676.14 c #Conflicts: 1049000 | #Constraints: 138154
2669.43/2676.14 c #Conflicts: 1050000 | #Constraints: 139154
2669.43/2676.14 c #Conflicts: 1051000 | #Constraints: 140154
2669.43/2676.14 c #Conflicts: 1052000 | #Constraints: 141154
2669.43/2676.14 c #Conflicts: 1053000 | #Constraints: 142154
2669.43/2676.14 c #Conflicts: 1054000 | #Constraints: 143154
2669.43/2676.14 c #Conflicts: 1055000 | #Constraints: 144154
2669.43/2676.14 c #Conflicts: 1056000 | #Constraints: 145154
2669.43/2676.14 c #Conflicts: 1057000 | #Constraints: 146154
2669.43/2676.14 c #Conflicts: 1058000 | #Constraints: 147154
2669.43/2676.14 c #Conflicts: 1059000 | #Constraints: 148154
2669.43/2676.14 c #Conflicts: 1060000 | #Constraints: 149154
2669.43/2676.14 c #Conflicts: 1061000 | #Constraints: 150154
2669.43/2676.14 c #Conflicts: 1062000 | #Constraints: 151154
2669.43/2676.14 c INPROCESSING
2669.43/2676.14 c GARBAGE COLLECT
2669.43/2676.14 c #Conflicts: 1063000 | #Constraints: 131762
2669.43/2676.14 c #Conflicts: 1064000 | #Constraints: 132762
2669.43/2676.14 c #Conflicts: 1065000 | #Constraints: 133762
2669.43/2676.14 c #Conflicts: 1066000 | #Constraints: 134762
2669.43/2676.14 c #Conflicts: 1067000 | #Constraints: 135762
2669.43/2676.14 c #Conflicts: 1068000 | #Constraints: 136762
2669.43/2676.14 c #Conflicts: 1069000 | #Constraints: 137762
2669.43/2676.14 c #Conflicts: 1070000 | #Constraints: 138762
2669.43/2676.14 c #Conflicts: 1071000 | #Constraints: 139762
2669.43/2676.14 c #Conflicts: 1072000 | #Constraints: 140762
2669.43/2676.14 c #Conflicts: 1073000 | #Constraints: 141762
2669.43/2676.14 c #Conflicts: 1074000 | #Constraints: 142762
2669.43/2676.14 c #Conflicts: 1075000 | #Constraints: 143762
2669.43/2676.14 c #Conflicts: 1076000 | #Constraints: 144762
2669.43/2676.14 c #Conflicts: 1077000 | #Constraints: 145762
2669.43/2676.14 c #Conflicts: 1078000 | #Constraints: 146762
2669.43/2676.14 c #Conflicts: 1079000 | #Constraints: 147762
2669.43/2676.14 c #Conflicts: 1080000 | #Constraints: 148762
2669.43/2676.14 c #Conflicts: 1081000 | #Constraints: 149762
2669.43/2676.14 c #Conflicts: 1082000 | #Constraints: 150762
2669.43/2676.14 c #Conflicts: 1083000 | #Constraints: 151762
2669.43/2676.14 c INPROCESSING
2669.43/2676.14 c GARBAGE COLLECT
2669.43/2676.14 c #Conflicts: 1084000 | #Constraints: 132169
2669.43/2676.14 c #Conflicts: 1085000 | #Constraints: 133169
2669.43/2676.14 c #Conflicts: 1086000 | #Constraints: 134169
2669.43/2676.14 c #Conflicts: 1087000 | #Constraints: 135169
2669.43/2676.14 c #Conflicts: 1088000 | #Constraints: 136169
2669.43/2676.14 c #Conflicts: 1089000 | #Constraints: 137169
2669.43/2676.14 c #Conflicts: 1090000 | #Constraints: 138169
2669.43/2676.14 c #Conflicts: 1091000 | #Constraints: 139169
2669.43/2676.14 c #Conflicts: 1092000 | #Constraints: 140169
2669.43/2676.14 c #Conflicts: 1093000 | #Constraints: 141169
2669.43/2676.14 c #Conflicts: 1094000 | #Constraints: 142169
2669.43/2676.14 c #Conflicts: 1095000 | #Constraints: 143169
2669.43/2676.14 c #Conflicts: 1096000 | #Constraints: 144169
2669.43/2676.14 c #Conflicts: 1097000 | #Constraints: 145169
2669.43/2676.14 c #Conflicts: 1098000 | #Constraints: 146169
2669.43/2676.14 c #Conflicts: 1099000 | #Constraints: 147169
2669.43/2676.14 c #Conflicts: 1100000 | #Constraints: 148169
2669.43/2676.14 c #Conflicts: 1101000 | #Constraints: 149169
2669.43/2676.14 c #Conflicts: 1102000 | #Constraints: 150169
2669.43/2676.14 c #Conflicts: 1103000 | #Constraints: 151169
2669.43/2676.14 c #Conflicts: 1104000 | #Constraints: 152169
2669.43/2676.14 c INPROCESSING
2669.43/2676.14 c GARBAGE COLLECT
2669.43/2676.14 c #Conflicts: 1105000 | #Constraints: 132365
2669.43/2676.14 c #Conflicts: 1106000 | #Constraints: 133365
2669.43/2676.14 c #Conflicts: 1107000 | #Constraints: 134365
2900.89/2908.18 c #Conflicts: 1108000 | #Constraints: 135365
2900.89/2908.18 c #Conflicts: 1109000 | #Constraints: 136365
2900.89/2908.18 c #Conflicts: 1110000 | #Constraints: 137365
2900.89/2908.18 c #Conflicts: 1111000 | #Constraints: 138365
2900.89/2908.18 c #Conflicts: 1112000 | #Constraints: 139365
2900.89/2908.18 c #Conflicts: 1113000 | #Constraints: 140365
2900.89/2908.18 c #Conflicts: 1114000 | #Constraints: 141365
2900.89/2908.18 c #Conflicts: 1115000 | #Constraints: 142365
2900.89/2908.18 c #Conflicts: 1116000 | #Constraints: 143365
2900.89/2908.18 c #Conflicts: 1117000 | #Constraints: 144365
2900.89/2908.18 c #Conflicts: 1118000 | #Constraints: 145365
2900.89/2908.18 c #Conflicts: 1119000 | #Constraints: 146365
2900.89/2908.18 c #Conflicts: 1120000 | #Constraints: 147365
2900.89/2908.18 c #Conflicts: 1121000 | #Constraints: 148365
2900.89/2908.18 c #Conflicts: 1122000 | #Constraints: 149365
2900.89/2908.18 c #Conflicts: 1123000 | #Constraints: 150365
2900.89/2908.18 c #Conflicts: 1124000 | #Constraints: 151365
2900.89/2908.18 c #Conflicts: 1125000 | #Constraints: 152365
2900.89/2908.18 c INPROCESSING
2900.89/2908.18 c GARBAGE COLLECT
2900.89/2908.18 c #Conflicts: 1126000 | #Constraints: 132372
2900.89/2908.18 c #Conflicts: 1127000 | #Constraints: 133372
2900.89/2908.18 c #Conflicts: 1128000 | #Constraints: 134372
2900.89/2908.18 c #Conflicts: 1129000 | #Constraints: 135372
2900.89/2908.18 c #Conflicts: 1130000 | #Constraints: 136372
2900.89/2908.18 c #Conflicts: 1131000 | #Constraints: 137372
2900.89/2908.18 c #Conflicts: 1132000 | #Constraints: 138372
2900.89/2908.18 c #Conflicts: 1133000 | #Constraints: 139372
2900.89/2908.18 c #Conflicts: 1134000 | #Constraints: 140372
2900.89/2908.18 c #Conflicts: 1135000 | #Constraints: 141372
2900.89/2908.18 c #Conflicts: 1136000 | #Constraints: 142372
2900.89/2908.18 c #Conflicts: 1137000 | #Constraints: 143372
2900.89/2908.18 c #Conflicts: 1138000 | #Constraints: 144372
2900.89/2908.18 c #Conflicts: 1139000 | #Constraints: 145372
2900.89/2908.18 c #Conflicts: 1140000 | #Constraints: 146372
2900.89/2908.18 c #Conflicts: 1141000 | #Constraints: 147372
2900.89/2908.18 c #Conflicts: 1142000 | #Constraints: 148372
2900.89/2908.18 c #Conflicts: 1143000 | #Constraints: 149372
2900.89/2908.18 c #Conflicts: 1144000 | #Constraints: 150372
2900.89/2908.18 c #Conflicts: 1145000 | #Constraints: 151372
2900.89/2908.18 c #Conflicts: 1146000 | #Constraints: 152372
2900.89/2908.18 c INPROCESSING
2900.89/2908.18 c GARBAGE COLLECT
2900.89/2908.18 c #Conflicts: 1147000 | #Constraints: 132193
2900.89/2908.18 c #Conflicts: 1148000 | #Constraints: 133193
2900.89/2908.18 c #Conflicts: 1149000 | #Constraints: 134193
2900.89/2908.18 c #Conflicts: 1150000 | #Constraints: 135193
2900.89/2908.18 c #Conflicts: 1151000 | #Constraints: 136193
2900.89/2908.18 c #Conflicts: 1152000 | #Constraints: 137193
2900.89/2908.18 c #Conflicts: 1153000 | #Constraints: 138193
2900.89/2908.18 c #Conflicts: 1154000 | #Constraints: 139193
2900.89/2908.18 c #Conflicts: 1155000 | #Constraints: 140193
2900.89/2908.18 c #Conflicts: 1156000 | #Constraints: 141193
2900.89/2908.18 c #Conflicts: 1157000 | #Constraints: 142193
2900.89/2908.18 c #Conflicts: 1158000 | #Constraints: 143193
2900.89/2908.18 c #Conflicts: 1159000 | #Constraints: 144193
2900.89/2908.18 c #Conflicts: 1160000 | #Constraints: 145193
2900.89/2908.18 c #Conflicts: 1161000 | #Constraints: 146193
2900.89/2908.18 c #Conflicts: 1162000 | #Constraints: 147193
2900.89/2908.18 c #Conflicts: 1163000 | #Constraints: 148193
2900.89/2908.18 c #Conflicts: 1164000 | #Constraints: 149193
2900.89/2908.18 c #Conflicts: 1165000 | #Constraints: 150193
2900.89/2908.18 c #Conflicts: 1166000 | #Constraints: 151193
2900.89/2908.18 c #Conflicts: 1167000 | #Constraints: 152193
2900.89/2908.18 c #Conflicts: 1168000 | #Constraints: 153193
2900.89/2908.18 c INPROCESSING
2900.89/2908.18 c GARBAGE COLLECT
2900.89/2908.18 c #Conflicts: 1169000 | #Constraints: 132778
2900.89/2908.18 c #Conflicts: 1170000 | #Constraints: 133778
2900.89/2908.18 c #Conflicts: 1171000 | #Constraints: 134778
2900.89/2908.18 c #Conflicts: 1172000 | #Constraints: 135778
2900.89/2908.18 c #Conflicts: 1173000 | #Constraints: 136778
2900.89/2908.18 c #Conflicts: 1174000 | #Constraints: 137778
2900.89/2908.18 c #Conflicts: 1175000 | #Constraints: 138778
2900.89/2908.18 c #Conflicts: 1176000 | #Constraints: 139778
2900.89/2908.18 c #Conflicts: 1177000 | #Constraints: 140778
2900.89/2908.18 c #Conflicts: 1178000 | #Constraints: 141778
2900.89/2908.18 c #Conflicts: 1179000 | #Constraints: 142778
2900.89/2908.18 c #Conflicts: 1180000 | #Constraints: 143778
2900.89/2908.18 c #Conflicts: 1181000 | #Constraints: 144778
2900.89/2908.18 c #Conflicts: 1182000 | #Constraints: 145778
2900.89/2908.18 c #Conflicts: 1183000 | #Constraints: 146778
2900.89/2908.18 c #Conflicts: 1184000 | #Constraints: 147778
3160.56/3168.40 c #Conflicts: 1185000 | #Constraints: 148778
3160.56/3168.40 c #Conflicts: 1186000 | #Constraints: 149778
3160.56/3168.40 c #Conflicts: 1187000 | #Constraints: 150778
3160.56/3168.40 c #Conflicts: 1188000 | #Constraints: 151778
3160.56/3168.40 c #Conflicts: 1189000 | #Constraints: 152778
3160.56/3168.40 c #Conflicts: 1190000 | #Constraints: 153778
3160.56/3168.40 c INPROCESSING
3160.56/3168.40 c GARBAGE COLLECT
3160.56/3168.40 c #Conflicts: 1191000 | #Constraints: 133167
3160.56/3168.40 c #Conflicts: 1192000 | #Constraints: 134167
3160.56/3168.40 c #Conflicts: 1193000 | #Constraints: 135167
3160.56/3168.40 c #Conflicts: 1194000 | #Constraints: 136167
3160.56/3168.40 c #Conflicts: 1195000 | #Constraints: 137167
3160.56/3168.40 c #Conflicts: 1196000 | #Constraints: 138167
3160.56/3168.40 c #Conflicts: 1197000 | #Constraints: 139167
3160.56/3168.40 c #Conflicts: 1198000 | #Constraints: 140167
3160.56/3168.40 c #Conflicts: 1199000 | #Constraints: 141167
3160.56/3168.40 c #Conflicts: 1200000 | #Constraints: 142167
3160.56/3168.40 c #Conflicts: 1201000 | #Constraints: 143167
3160.56/3168.40 c #Conflicts: 1202000 | #Constraints: 144167
3160.56/3168.40 c #Conflicts: 1203000 | #Constraints: 145167
3160.56/3168.40 c #Conflicts: 1204000 | #Constraints: 146167
3160.56/3168.40 c #Conflicts: 1205000 | #Constraints: 147167
3160.56/3168.40 c #Conflicts: 1206000 | #Constraints: 148167
3160.56/3168.40 c #Conflicts: 1207000 | #Constraints: 149167
3160.56/3168.40 c #Conflicts: 1208000 | #Constraints: 150167
3160.56/3168.40 c #Conflicts: 1209000 | #Constraints: 151167
3160.56/3168.40 c #Conflicts: 1210000 | #Constraints: 152167
3160.56/3168.40 c #Conflicts: 1211000 | #Constraints: 153167
3160.56/3168.40 c #Conflicts: 1212000 | #Constraints: 154167
3160.56/3168.40 c INPROCESSING
3160.56/3168.40 c GARBAGE COLLECT
3160.56/3168.40 c #Conflicts: 1213000 | #Constraints: 133362
3160.56/3168.40 c #Conflicts: 1214000 | #Constraints: 134362
3160.56/3168.40 c #Conflicts: 1215000 | #Constraints: 135362
3160.56/3168.40 c #Conflicts: 1216000 | #Constraints: 136362
3160.56/3168.40 c #Conflicts: 1217000 | #Constraints: 137362
3160.56/3168.40 c #Conflicts: 1218000 | #Constraints: 138362
3160.56/3168.40 c #Conflicts: 1219000 | #Constraints: 139362
3160.56/3168.40 c #Conflicts: 1220000 | #Constraints: 140362
3160.56/3168.40 c #Conflicts: 1221000 | #Constraints: 141362
3160.56/3168.40 c #Conflicts: 1222000 | #Constraints: 142362
3160.56/3168.40 c #Conflicts: 1223000 | #Constraints: 143362
3160.56/3168.40 c #Conflicts: 1224000 | #Constraints: 144362
3160.56/3168.40 c #Conflicts: 1225000 | #Constraints: 145362
3160.56/3168.40 c #Conflicts: 1226000 | #Constraints: 146362
3160.56/3168.40 c #Conflicts: 1227000 | #Constraints: 147362
3160.56/3168.40 c #Conflicts: 1228000 | #Constraints: 148362
3160.56/3168.40 c #Conflicts: 1229000 | #Constraints: 149362
3160.56/3168.40 c #Conflicts: 1230000 | #Constraints: 150362
3160.56/3168.40 c #Conflicts: 1231000 | #Constraints: 151362
3160.56/3168.40 c #Conflicts: 1232000 | #Constraints: 152362
3160.56/3168.40 c #Conflicts: 1233000 | #Constraints: 153362
3160.56/3168.40 c #Conflicts: 1234000 | #Constraints: 154362
3160.56/3168.40 c INPROCESSING
3160.56/3168.40 c GARBAGE COLLECT
3160.56/3168.40 c #Conflicts: 1235000 | #Constraints: 133374
3160.56/3168.40 c #Conflicts: 1236000 | #Constraints: 134374
3160.56/3168.40 c #Conflicts: 1237000 | #Constraints: 135374
3160.56/3168.40 c #Conflicts: 1238000 | #Constraints: 136374
3160.56/3168.40 c #Conflicts: 1239000 | #Constraints: 137374
3160.56/3168.40 c #Conflicts: 1240000 | #Constraints: 138374
3160.56/3168.40 c #Conflicts: 1241000 | #Constraints: 139374
3160.56/3168.40 c #Conflicts: 1242000 | #Constraints: 140374
3160.56/3168.40 c #Conflicts: 1243000 | #Constraints: 141374
3160.56/3168.40 c #Conflicts: 1244000 | #Constraints: 142374
3160.56/3168.40 c #Conflicts: 1245000 | #Constraints: 143374
3160.56/3168.40 c #Conflicts: 1246000 | #Constraints: 144374
3160.56/3168.40 c #Conflicts: 1247000 | #Constraints: 145374
3160.56/3168.40 c #Conflicts: 1248000 | #Constraints: 146374
3160.56/3168.40 c #Conflicts: 1249000 | #Constraints: 147374
3160.56/3168.40 c #Conflicts: 1250000 | #Constraints: 148374
3160.56/3168.40 c #Conflicts: 1251000 | #Constraints: 149374
3160.56/3168.40 c #Conflicts: 1252000 | #Constraints: 150374
3160.56/3168.40 c #Conflicts: 1253000 | #Constraints: 151374
3160.56/3168.40 c #Conflicts: 1254000 | #Constraints: 152374
3160.56/3168.40 c #Conflicts: 1255000 | #Constraints: 153374
3160.56/3168.40 c #Conflicts: 1256000 | #Constraints: 154374
3160.56/3168.40 c INPROCESSING
3160.56/3168.40 c GARBAGE COLLECT
3160.56/3168.40 c #Conflicts: 1257000 | #Constraints: 133171
3160.56/3168.40 c #Conflicts: 1258000 | #Constraints: 134171
3160.56/3168.40 c #Conflicts: 1259000 | #Constraints: 135171
3160.56/3168.40 c #Conflicts: 1260000 | #Constraints: 136171
3417.71/3426.25 c #Conflicts: 1261000 | #Constraints: 137171
3417.71/3426.25 c #Conflicts: 1262000 | #Constraints: 138171
3417.71/3426.25 c #Conflicts: 1263000 | #Constraints: 139171
3417.71/3426.25 c #Conflicts: 1264000 | #Constraints: 140171
3417.71/3426.25 c #Conflicts: 1265000 | #Constraints: 141171
3417.71/3426.25 c #Conflicts: 1266000 | #Constraints: 142171
3417.71/3426.25 c #Conflicts: 1267000 | #Constraints: 143171
3417.71/3426.25 c #Conflicts: 1268000 | #Constraints: 144171
3417.71/3426.25 c #Conflicts: 1269000 | #Constraints: 145171
3417.71/3426.25 c #Conflicts: 1270000 | #Constraints: 146171
3417.71/3426.25 c #Conflicts: 1271000 | #Constraints: 147171
3417.71/3426.25 c #Conflicts: 1272000 | #Constraints: 148171
3417.71/3426.25 c #Conflicts: 1273000 | #Constraints: 149171
3417.71/3426.25 c #Conflicts: 1274000 | #Constraints: 150171
3417.71/3426.25 c #Conflicts: 1275000 | #Constraints: 151171
3417.71/3426.25 c #Conflicts: 1276000 | #Constraints: 152171
3417.71/3426.25 c #Conflicts: 1277000 | #Constraints: 153171
3417.71/3426.25 c #Conflicts: 1278000 | #Constraints: 154171
3417.71/3426.25 c #Conflicts: 1279000 | #Constraints: 155171
3417.71/3426.25 c INPROCESSING
3417.71/3426.25 c GARBAGE COLLECT
3417.71/3426.25 c #Conflicts: 1280000 | #Constraints: 133793
3417.71/3426.25 c #Conflicts: 1281000 | #Constraints: 134793
3417.71/3426.25 c #Conflicts: 1282000 | #Constraints: 135793
3417.71/3426.25 c #Conflicts: 1283000 | #Constraints: 136793
3417.71/3426.25 c #Conflicts: 1284000 | #Constraints: 137793
3417.71/3426.25 c #Conflicts: 1285000 | #Constraints: 138793
3417.71/3426.25 c #Conflicts: 1286000 | #Constraints: 139793
3417.71/3426.25 c #Conflicts: 1287000 | #Constraints: 140793
3417.71/3426.25 c #Conflicts: 1288000 | #Constraints: 141793
3417.71/3426.25 c #Conflicts: 1289000 | #Constraints: 142793
3417.71/3426.25 c #Conflicts: 1290000 | #Constraints: 143793
3417.71/3426.25 c #Conflicts: 1291000 | #Constraints: 144793
3417.71/3426.25 c #Conflicts: 1292000 | #Constraints: 145793
3417.71/3426.25 c #Conflicts: 1293000 | #Constraints: 146793
3417.71/3426.25 c #Conflicts: 1294000 | #Constraints: 147793
3417.71/3426.25 c #Conflicts: 1295000 | #Constraints: 148793
3417.71/3426.25 c #Conflicts: 1296000 | #Constraints: 149793
3417.71/3426.25 c #Conflicts: 1297000 | #Constraints: 150793
3417.71/3426.25 c #Conflicts: 1298000 | #Constraints: 151793
3417.71/3426.25 c #Conflicts: 1299000 | #Constraints: 152793
3417.71/3426.25 c #Conflicts: 1300000 | #Constraints: 153793
3417.71/3426.25 c #Conflicts: 1301000 | #Constraints: 154793
3417.71/3426.25 c #Conflicts: 1302000 | #Constraints: 155793
3417.71/3426.25 c INPROCESSING
3417.71/3426.25 c GARBAGE COLLECT
3417.71/3426.25 c #Conflicts: 1303000 | #Constraints: 134165
3417.71/3426.25 c #Conflicts: 1304000 | #Constraints: 135165
3417.71/3426.25 c #Conflicts: 1305000 | #Constraints: 136165
3417.71/3426.25 c #Conflicts: 1306000 | #Constraints: 137165
3417.71/3426.25 c #Conflicts: 1307000 | #Constraints: 138165
3417.71/3426.25 c #Conflicts: 1308000 | #Constraints: 139165
3417.71/3426.25 c #Conflicts: 1309000 | #Constraints: 140165
3417.71/3426.25 c #Conflicts: 1310000 | #Constraints: 141165
3417.71/3426.25 c #Conflicts: 1311000 | #Constraints: 142165
3417.71/3426.25 c #Conflicts: 1312000 | #Constraints: 143165
3417.71/3426.25 c #Conflicts: 1313000 | #Constraints: 144165
3417.71/3426.25 c #Conflicts: 1314000 | #Constraints: 145165
3417.71/3426.25 c #Conflicts: 1315000 | #Constraints: 146165
3417.71/3426.25 c #Conflicts: 1316000 | #Constraints: 147165
3417.71/3426.25 c #Conflicts: 1317000 | #Constraints: 148165
3417.71/3426.25 c #Conflicts: 1318000 | #Constraints: 149165
3417.71/3426.25 c #Conflicts: 1319000 | #Constraints: 150165
3417.71/3426.25 c #Conflicts: 1320000 | #Constraints: 151165
3417.71/3426.25 c #Conflicts: 1321000 | #Constraints: 152165
3417.71/3426.25 c #Conflicts: 1322000 | #Constraints: 153165
3417.71/3426.25 c #Conflicts: 1323000 | #Constraints: 154165
3417.71/3426.25 c #Conflicts: 1324000 | #Constraints: 155165
3417.71/3426.25 c #Conflicts: 1325000 | #Constraints: 156165
3417.71/3426.25 c INPROCESSING
3417.71/3426.25 c GARBAGE COLLECT
3417.71/3426.25 c #Conflicts: 1326000 | #Constraints: 134365
3417.71/3426.25 c #Conflicts: 1327000 | #Constraints: 135365
3417.71/3426.25 c #Conflicts: 1328000 | #Constraints: 136365
3417.71/3426.25 c #Conflicts: 1329000 | #Constraints: 137365
3417.71/3426.25 c #Conflicts: 1330000 | #Constraints: 138365
3417.71/3426.25 c #Conflicts: 1331000 | #Constraints: 139365
3417.71/3426.25 c #Conflicts: 1332000 | #Constraints: 140365
3417.71/3426.25 c #Conflicts: 1333000 | #Constraints: 141365
3417.71/3426.25 c #Conflicts: 1334000 | #Constraints: 142365
3417.71/3426.25 c #Conflicts: 1335000 | #Constraints: 143365
3417.71/3426.25 c #Conflicts: 1336000 | #Constraints: 144365
3417.71/3426.25 c #Conflicts: 1337000 | #Constraints: 145365
3600.03/3609.11 c #Conflicts: 1338000 | #Constraints: 146365
3600.03/3609.11 c #Conflicts: 1339000 | #Constraints: 147365
3600.03/3609.11 c #Conflicts: 1340000 | #Constraints: 148365
3600.03/3609.11 c #Conflicts: 1341000 | #Constraints: 149365
3600.03/3609.11 c #Conflicts: 1342000 | #Constraints: 150365
3600.03/3609.11 c #Conflicts: 1343000 | #Constraints: 151365
3600.03/3609.11 c #Conflicts: 1344000 | #Constraints: 152365
3600.03/3609.11 c #Conflicts: 1345000 | #Constraints: 153365
3600.03/3609.11 c #Conflicts: 1346000 | #Constraints: 154365
3600.03/3609.11 c #Conflicts: 1347000 | #Constraints: 155365
3600.03/3609.11 c #Conflicts: 1348000 | #Constraints: 156365
3600.03/3609.11 c INPROCESSING
3600.03/3609.11 c GARBAGE COLLECT
3600.03/3609.11 c #Conflicts: 1349000 | #Constraints: 134373
3600.03/3609.11 c #Conflicts: 1350000 | #Constraints: 135373
3600.03/3609.11 c #Conflicts: 1351000 | #Constraints: 136373
3600.03/3609.11 c #Conflicts: 1352000 | #Constraints: 137373
3600.03/3609.11 c #Conflicts: 1353000 | #Constraints: 138373
3600.03/3609.11 c #Conflicts: 1354000 | #Constraints: 139373
3600.03/3609.11 c #Conflicts: 1355000 | #Constraints: 140373
3600.03/3609.11 c #Conflicts: 1356000 | #Constraints: 141373
3600.03/3609.11 c #Conflicts: 1357000 | #Constraints: 142373
3600.03/3609.11 c #Conflicts: 1358000 | #Constraints: 143373
3600.03/3609.11 c #Conflicts: 1359000 | #Constraints: 144373
3600.03/3609.11 c #Conflicts: 1360000 | #Constraints: 145373
3600.03/3609.11 c #Conflicts: 1361000 | #Constraints: 146373
3600.03/3609.11 c #Conflicts: 1362000 | #Constraints: 147373
3600.03/3609.11 c #Conflicts: 1363000 | #Constraints: 148373
3600.03/3609.11 c #Conflicts: 1364000 | #Constraints: 149373
3600.03/3609.11 c #Conflicts: 1365000 | #Constraints: 150373
3600.03/3609.11 c #Conflicts: 1366000 | #Constraints: 151373
3600.03/3609.11 c #Conflicts: 1367000 | #Constraints: 152373
3600.03/3609.11 c #Conflicts: 1368000 | #Constraints: 153373
3600.03/3609.11 c #Conflicts: 1369000 | #Constraints: 154373
3600.03/3609.11 c #Conflicts: 1370000 | #Constraints: 155373
3600.03/3609.11 c #Conflicts: 1371000 | #Constraints: 156373
3600.03/3609.11 c INPROCESSING
3600.03/3609.11 c GARBAGE COLLECT
3600.03/3609.11 c #Conflicts: 1372000 | #Constraints: 134177
3600.03/3609.11 c #Conflicts: 1373000 | #Constraints: 135177
3600.03/3609.11 c #Conflicts: 1374000 | #Constraints: 136177
3600.03/3609.11 c #Conflicts: 1375000 | #Constraints: 137177
3600.03/3609.11 c #Conflicts: 1376000 | #Constraints: 138177
3600.03/3609.11 c #Conflicts: 1377000 | #Constraints: 139177
3600.03/3609.11 c #Conflicts: 1378000 | #Constraints: 140177
3600.03/3609.11 c #Conflicts: 1379000 | #Constraints: 141177
3600.03/3609.11 c #Conflicts: 1380000 | #Constraints: 142177
3600.03/3609.11 c #Conflicts: 1381000 | #Constraints: 143177
3600.03/3609.11 c #Conflicts: 1382000 | #Constraints: 144177
3600.03/3609.11 c #Conflicts: 1383000 | #Constraints: 145177
3600.03/3609.11 c #Conflicts: 1384000 | #Constraints: 146177
3600.03/3609.11 c #Conflicts: 1385000 | #Constraints: 147177
3600.03/3609.11 c #Conflicts: 1386000 | #Constraints: 148177
3600.03/3609.11 c #Conflicts: 1387000 | #Constraints: 149177
3600.03/3609.11 c #Conflicts: 1388000 | #Constraints: 150177
3600.03/3609.11 c #Conflicts: 1389000 | #Constraints: 151177
3600.03/3609.11 c Program interrupted by user.
3600.03/3609.11 c cpu time 3593.9 s
3600.03/3609.11 c deterministic time 865608351219 8.66e+11
3600.03/3609.11 c optimization time 57.7489 s
3600.03/3609.11 c total solve time 3236.52 s
3600.03/3609.11 c core-guided solve time 3236.52 s
3600.03/3609.11 c propagation time 3074.59 s
3600.03/3609.11 c conflict analysis time 167.085 s
3600.03/3609.11 c propagations 32853029
3600.03/3609.11 c resolve steps 9774004
3600.03/3609.11 c decisions 1696039
3600.03/3609.11 c conflicts 1389821
3600.03/3609.11 c restarts 2666
3600.03/3609.11 c inprocessing phases 108
3600.03/3609.11 c input clauses 110275
3600.03/3609.11 c input cardinalities 27
3600.03/3609.11 c input general constraints 0
3600.03/3609.11 c input average constraint length 2.35
3600.03/3609.11 c input average constraint degree 1.28
3600.03/3609.11 c learned clauses 859703
3600.03/3609.11 c learned cardinalities 352928
3600.03/3609.11 c learned general constraints 177189
3600.03/3609.11 c learned average constraint length 1344.65
3600.03/3609.11 c learned average constraint degree 20.12
3600.03/3609.11 c watched constraints 177189
3600.03/3609.11 c counting constraints 0
3600.03/3609.11 c gcd simplifications 60588
3600.03/3609.11 c detected cardinalities 8434
3600.03/3609.11 c weakened non-implied lits 26999978
3600.03/3609.11 c weakened non-implying lits 47321
3600.03/3609.11 c original variables 1400
3600.03/3609.11 c clausal propagations 22987551
3600.03/3609.11 c cardinality propagations 5347990
3600.03/3609.11 c watched propagations 978258
3600.03/3609.11 c counting propagations 0
3600.03/3609.11 c watch lookups 17988959589
3600.03/3609.11 c watch backjump lookups 4933600
3600.03/3609.11 c watch checks 842284983291
3600.03/3609.11 c propagation checks 1502094090
3600.03/3609.11 c constraint additions 3756894294
3600.03/3609.11 c trail pops 35937286
3600.03/3609.11 c formula constraints 110038
3600.03/3609.11 c learned constraints 1389820
3600.03/3609.11 c bound constraints 27
3600.03/3609.11 c core-guided constraints 237
3600.03/3609.11 c encountered formula constraints 7473045
3600.03/3609.11 c encountered learned constraints 3611805
3600.03/3609.11 c encountered bound constraints 1279
3600.03/3609.11 c encountered core-guided constraints 77696
3600.03/3609.11 c LP total time 0 s
3600.03/3609.11 c LP solve time 0 s
3600.03/3609.11 c LP constraints added 0
3600.03/3609.11 c LP constraints removed 0
3600.03/3609.11 c LP pivots internal 0
3600.03/3609.11 c LP pivots root 0
3600.03/3609.11 c LP calls 0
3600.03/3609.11 c LP optimalities 0
3600.03/3609.11 c LP no pivot count 0
3600.03/3609.11 c LP infeasibilities 0
3600.03/3609.11 c LP valid Farkas constraints 0
3600.03/3609.11 c LP learned Farkas constraints 0
3600.03/3609.11 c LP basis resets 0
3600.03/3609.11 c LP cycling count 0
3600.03/3609.11 c LP singular count 0
3600.03/3609.11 c LP no primal count 0
3600.03/3609.11 c LP no farkas count 0
3600.03/3609.11 c LP other issue count 0
3600.03/3609.11 c LP Gomory cuts 0
3600.03/3609.11 c LP learned cuts 0
3600.03/3609.11 c LP deleted cuts 0
3600.03/3609.11 c LP encountered Gomory constraints 0
3600.03/3609.11 c LP encountered Farkas constraints 0
3600.03/3609.11 c LP encountered learned Farkas constraints 0
3600.03/3609.11 c CG auxiliary variables introduced 237
3600.03/3609.11 c CG solutions found 0
3600.03/3609.11 c CG cores constructed 26
3600.03/3609.11 c CG core cardinality constraints returned 0
3600.03/3609.11 c CG unit cores 0
3600.03/3609.11 c CG single cores 26
3600.03/3609.11 c CG blocks removed during cardinality reduction 0
3600.03/3609.11 c CG first core best 0
3600.03/3609.11 c CG decision core best 0
3600.03/3609.11 c CG core reduction tie 0
3600.03/3609.11 c CG core degree average 1.00
3600.03/3609.11 c CG core slack average 7.27
3600.03/3609.11 c CG exhausted 0
3600.03/3609.11 c CG exhaust time 0 s
3600.03/3609.11 c CG trimmed 0
3600.03/3609.11 c CG trim time 0.000251 s
3600.03/3609.11 c CG minimized 0
3600.03/3609.11 c CG minimize time 0 s
3600.03/3609.11 c CG am1 prop time 0.007786 s
3600.03/3609.11 c CG # am1s reformulated 237
3600.03/3609.11 c CG lower bound derived from am1s 1161
3600.03/3609.11 c CG # clausal cores 26
3600.03/3609.11 c CG # cardinality cores 0
3600.03/3609.11 c CG # pb cores 0
3600.03/3609.11 c CG # pb reforms 0
3600.03/3609.11 c CG # cores discarded because of pb reform 0
3600.03/3609.11 d LOWERBOUND -213
3600.03/3609.11 d NCORES 26
3600.03/3609.11 d NPBCORES 0
3600.03/3609.11 d NPBREFORM 0
3600.03/3609.11 d NTRIMMED 0
3600.03/3609.11 d NEXHAUSTED 0
3600.03/3609.11 d NAM1S 237
3600.03/3609.11 d AM1LB 1161
3600.03/3609.11 c [Papilo Statistics]
3600.03/3609.11 c prepro time 0.326892s
3600.03/3609.11 c # tsx applied 0
3600.03/3609.11 c # tsx conflicts 0
3600.03/3609.11 c # bound changes 0
3600.03/3609.11 c # side changes 0
3600.03/3609.11 c # coef changes 0
3600.03/3609.11 c # rounds 1
3600.03/3609.11 c # deted vars 0
3600.03/3609.11 c # deted constrs 0
3600.03/3609.11 c # consecutive rounds of only bound changes 0
3600.03/3609.12 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: 63665 MiB (61739 MiB free)
memory of node 1: 64507 MiB (62245 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484713-1751279943/watcher-4484713-1751279943 -o /tmp/evaluation-result-4484713-1751279943/solver-4484713-1751279943 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751279693-38726 --watchdog 3760 mixed-bag HOME/instance-4484713-1751279943.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=39382, runsolver pid=39379
Current StackSize limit: 8192 KiB
[startup+0.100069 s]*
/proc/loadavg: 4.11 3.36 3.52 5/265 39383
/proc/meminfo: memFree=126956220/131249996 swapFree=33010684/33010684
[pid=39382] ppid=39379 vsize=91192 memory=16764 CPUtime=0.09 cores=5,7
/proc/39382/stat : 39382 (mixed-bag) R 39379 39382 38713 0 -1 4194304 2294 0 0 0 9 0 0 0 20 0 1 0 43672093 93380608 4191 18446744073709551615 4235264 15874749 140726568011344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55349248 140726568020380 140726568020457 140726568020457 140726568026059 0
/proc/39382/statm: 22798 4191 2144 2842 0 5031 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 91192 KiB
Current children cumulated memory: 16764 KiB
[startup+0.205667 s]*
/proc/loadavg: 4.11 3.36 3.52 5/265 39383
/proc/meminfo: memFree=126948028/131249996 swapFree=33010684/33010684
[pid=39382] ppid=39379 vsize=111700 memory=38576 CPUtime=0.2 cores=5,7
/proc/39382/stat : 39382 (mixed-bag) R 39379 39382 38713 0 -1 4194304 5676 0 0 0 19 1 0 0 20 0 1 0 43672093 114380800 9644 18446744073709551615 4235264 15874749 140726568011344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55349248 140726568020380 140726568020457 140726568020457 140726568026059 0
/proc/39382/statm: 27925 9644 2176 2842 0 10158 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 111700 KiB
Current children cumulated memory: 38576 KiB
[startup+0.30561 s]*
/proc/loadavg: 4.11 3.36 3.52 5/265 39383
/proc/meminfo: memFree=126939596/131249996 swapFree=33010684/33010684
[pid=39382] ppid=39379 vsize=145640 memory=64488 CPUtime=0.3 cores=5,7
/proc/39382/stat : 39382 (mixed-bag) R 39379 39382 38713 0 -1 4194304 11648 0 0 0 28 2 0 0 20 0 1 0 43672093 149135360 16122 18446744073709551615 4235264 15874749 140726568011344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55349248 140726568020380 140726568020457 140726568020457 140726568026059 0
/proc/39382/statm: 36410 16122 2304 2842 0 18104 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 145640 KiB
Current children cumulated memory: 64488 KiB
[startup+0.700183 s]
/proc/loadavg: 4.11 3.36 3.52 5/265 39383
/proc/meminfo: memFree=126939596/131249996 swapFree=33010684/33010684
[pid=39382] ppid=39379 vsize=252112 memory=176976 CPUtime=0.68 cores=5,7
/proc/39382/stat : 39382 (mixed-bag) R 39379 39382 38713 0 -1 4194304 39822 0 0 0 62 6 0 0 20 0 1 0 43672093 258162688 44244 18446744073709551615 4235264 15874749 140726568011344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55349248 140726568020380 140726568020457 140726568020457 140726568026059 0
/proc/39382/statm: 63028 44244 4064 2842 0 44722 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 252112 KiB
Current children cumulated memory: 176976 KiB
[startup+1.50017 s]
/proc/loadavg: 4.11 3.36 3.52 5/265 39383
/proc/meminfo: memFree=126822852/131249996 swapFree=33010684/33010684
[pid=39382] ppid=39379 vsize=328092 memory=250172 CPUtime=1.48 cores=5,7
/proc/39382/stat : 39382 (mixed-bag) R 39379 39382 38713 0 -1 4194304 59161 0 0 0 138 10 0 0 20 0 1 0 43672093 335966208 62543 18446744073709551615 4235264 15874749 140726568011344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55349248 140726568020380 140726568020457 140726568020457 140726568026059 0
/proc/39382/statm: 82023 62543 4064 2842 0 63717 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 328092 KiB
Current children cumulated memory: 250172 KiB
[startup+3.10542 s]
/proc/loadavg: 4.10 3.38 3.53 5/265 39383
/proc/meminfo: memFree=126626064/131249996 swapFree=33010684/33010684
[pid=39382] ppid=39379 vsize=572760 memory=466164 CPUtime=3.07 cores=5,7
/proc/39382/stat : 39382 (mixed-bag) R 39379 39382 38713 0 -1 4194304 73241 0 0 0 292 15 0 0 20 0 1 0 43672093 586506240 116541 18446744073709551615 4235264 15874749 140726568011344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55349248 140726568020380 140726568020457 140726568020457 140726568026059 0
/proc/39382/statm: 143190 116541 4096 2842 0 124884 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 572760 KiB
Current children cumulated memory: 466164 KiB
[startup+6.30018 s]
/proc/loadavg: 4.10 3.38 3.53 5/265 39383
/proc/meminfo: memFree=126465840/131249996 swapFree=33010684/33010684
[pid=39382] ppid=39379 vsize=685516 memory=566720 CPUtime=6.26 cores=5,7
/proc/39382/stat : 39382 (mixed-bag) R 39379 39382 38713 0 -1 4194304 97882 0 0 0 607 19 0 0 20 0 1 0 43672093 701968384 141680 18446744073709551615 4235264 15874749 140726568011344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55349248 140726568020380 140726568020457 140726568020457 140726568026059 0
/proc/39382/statm: 171379 141680 4288 2842 0 153073 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 685516 KiB
Current children cumulated memory: 566720 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 3.40 3.53 5/265 39383
/proc/meminfo: memFree=126452992/131249996 swapFree=33010684/33010684
[pid=39382] ppid=39379 vsize=723152 memory=588988 CPUtime=12.65 cores=5,7
/proc/39382/stat : 39382 (mixed-bag) R 39379 39382 38713 0 -1 4194304 100381 0 0 0 1245 20 0 0 20 0 1 0 43672093 740507648 147247 18446744073709551615 4235264 15874749 140726568011344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55349248 140726568020380 140726568020457 140726568020457 140726568026059 0
/proc/39382/statm: 180788 147247 4288 2842 0 162482 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 723152 KiB
Current children cumulated memory: 588988 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 3.42 3.54 5/265 39384
/proc/meminfo: memFree=126423376/131249996 swapFree=33010684/33010684
[pid=39382] ppid=39379 vsize=800656 memory=596028 CPUtime=25.41 cores=5,7
/proc/39382/stat : 39382 (mixed-bag) R 39379 39382 38713 0 -1 4194304 102157 0 0 0 2521 20 0 0 20 0 1 0 43672093 819871744 149007 18446744073709551615 4235264 15874749 140726568011344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55349248 140726568020380 140726568020457 140726568020457 140726568026059 0
/proc/39382/statm: 200164 149007 4288 2842 0 181858 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 800656 KiB
Current children cumulated memory: 596028 KiB
[startup+51.1054 s]
/proc/loadavg: 4.10 3.48 3.56 5/265 39384
/proc/meminfo: memFree=126256492/131249996 swapFree=33010684/33010684
[pid=39382] ppid=39379 vsize=1042792 memory=729532 CPUtime=50.93 cores=5,7
/proc/39382/stat : 39382 (mixed-bag) R 39379 39382 38713 0 -1 4194304 135539 0 0 0 5068 25 0 0 20 0 1 0 43672093 1067819008 182383 18446744073709551615 4235264 15874749 140726568011344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55349248 140726568020380 140726568020457 140726568020457 140726568026059 0
/proc/39382/statm: 260698 182383 4288 2842 0 242392 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1042792 KiB
Current children cumulated memory: 729532 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 3.58 3.59 5/266 39432
/proc/meminfo: memFree=125903672/131249996 swapFree=33010684/33010684
[pid=39382] ppid=39379 vsize=1068592 memory=756796 CPUtime=101.98 cores=5,7
/proc/39382/stat : 39382 (mixed-bag) R 39379 39382 38713 0 -1 4194304 142394 0 0 0 10172 26 0 0 20 0 1 0 43672093 1094238208 189199 18446744073709551615 4235264 15874749 140726568011344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55349248 140726568020380 140726568020457 140726568020457 140726568026059 0
/proc/39382/statm: 267148 189199 4288 2842 0 248842 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1068592 KiB
Current children cumulated memory: 756796 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 3.69 3.63 5/266 39434
/proc/meminfo: memFree=125687136/131249996 swapFree=33010684/33010684
[pid=39382] ppid=39379 vsize=1160740 memory=756796 CPUtime=161.82 cores=5,7
/proc/39382/stat : 39382 (mixed-bag) R 39379 39382 38713 0 -1 4194304 142418 0 0 0 16156 26 0 0 20 0 1 0 43672093 1188597760 189199 18446744073709551615 4235264 15874749 140726568011344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55349248 140726568020380 140726568020457 140726568020457 140726568026059 0
/proc/39382/statm: 290185 189199 4288 2842 0 271879 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 1160740 KiB
Current children cumulated memory: 756796 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 3.77 3.66 5/266 39436
/proc/meminfo: memFree=125481940/131249996 swapFree=33010684/33010684
[pid=39382] ppid=39379 vsize=1302656 memory=841304 CPUtime=221.66 cores=5,7
/proc/39382/stat : 39382 (mixed-bag) R 39379 39382 38713 0 -1 4194304 169770 0 0 0 22135 31 0 0 20 0 1 0 43672093 1333919744 210326 18446744073709551615 4235264 15874749 140726568011344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55349248 140726568020380 140726568020457 140726568020457 140726568026059 0
/proc/39382/statm: 325664 210326 4288 2842 0 307358 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 1302656 KiB
Current children cumulated memory: 841304 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.83 3.69 5/265 39438
/proc/meminfo: memFree=125278592/131249996 swapFree=33010684/33010684
[pid=39382] ppid=39379 vsize=1330500 memory=870300 CPUtime=281.48 cores=5,7
/proc/39382/stat : 39382 (mixed-bag) R 39379 39382 38713 0 -1 4194304 202063 0 0 0 28112 36 0 0 20 0 1 0 43672093 1362432000 217575 18446744073709551615 4235264 15874749 140726568011344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55349248 140726568020380 140726568020457 140726568020457 140726568026059 0
/proc/39382/statm: 332625 217575 4288 2842 0 314319 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 1330500 KiB
Current children cumulated memory: 870300 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.89 3.72 5/265 39440
/proc/meminfo: memFree=125294360/131249996 swapFree=33010684/33010684
[pid=39382] ppid=39379 vsize=1205816 memory=745780 CPUtime=341.33 cores=5,7
/proc/39382/stat : 39382 (mixed-bag) R 39379 39382 38713 0 -1 4194304 204654 0 0 0 34062 71 0 0 20 0 1 0 43672093 1234755584 186445 18446744073709551615 4235264 15874749 140726568011344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55349248 140726568020380 140726568020457 140726568020457 140726568026059 0
/proc/39382/statm: 301454 186445 4448 2842 0 283148 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 1205816 KiB
Current children cumulated memory: 745780 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.93 3.75 5/264 39442
/proc/meminfo: memFree=125362340/131249996 swapFree=33010684/33010684
[pid=39382] ppid=39379 vsize=1205816 memory=768308 CPUtime=401.18 cores=5,7
/proc/39382/stat : 39382 (mixed-bag) R 39379 39382 38713 0 -1 4194304 204665 0 0 0 40019 99 0 0 20 0 1 0 43672093 1234755584 192077 18446744073709551615 4235264 15874749 140726568011344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55349248 140726568020380 140726568020457 140726568020457 140726568026059 0
/proc/39382/statm: 301454 192077 4448 2842 0 283148 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 1205816 KiB
Current children cumulated memory: 768308 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.97 3.78 5/264 39445
/proc/meminfo: memFree=125264464/131249996 swapFree=33010684/33010684
[pid=39382] ppid=39379 vsize=1255904 memory=780596 CPUtime=461.03 cores=5,7
/proc/39382/stat : 39382 (mixed-bag) R 39379 39382 38713 0 -1 4194304 205182 0 0 0 45983 120 0 0 20 0 1 0 43672093 1286045696 195149 18446744073709551615 4235264 15874749 140726568011344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55349248 140726568020380 140726568020457 140726568020457 140726568026059 0
/proc/39382/statm: 313976 195149 4448 2842 0 295670 0
Current children cumulated CPU time: 461.03 s
################
# More data... #
################
Current children cumulated memory: 1031376 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.14 4.06 5/263 39572
/proc/meminfo: memFree=123585948/131249996 swapFree=33010684/33010684
[pid=39382] ppid=39379 vsize=1469552 memory=1031376 CPUtime=2915.06 cores=5,7
/proc/39382/stat : 39382 (mixed-bag) R 39379 39382 38713 0 -1 4194304 206807 0 0 0 290979 527 0 0 20 0 1 0 43672093 1504821248 257844 18446744073709551615 4235264 15874749 140726568011344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55349248 140726568020380 140726568020457 140726568020457 140726568026059 0
/proc/39382/statm: 367388 257844 4448 2842 0 349082 0
Current children cumulated CPU time: 2915.06 s
Current children cumulated vsize: 1469552 KiB
Current children cumulated memory: 1031376 KiB
[startup+2982.3 s]
/proc/loadavg: 4.05 4.11 4.05 5/263 39574
/proc/meminfo: memFree=123354444/131249996 swapFree=33010684/33010684
[pid=39382] ppid=39379 vsize=1469552 memory=1031376 CPUtime=2974.91 cores=5,7
/proc/39382/stat : 39382 (mixed-bag) R 39379 39382 38713 0 -1 4194304 206807 0 0 0 296958 533 0 0 20 0 1 0 43672093 1504821248 257844 18446744073709551615 4235264 15874749 140726568011344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55349248 140726568020380 140726568020457 140726568020457 140726568026059 0
/proc/39382/statm: 367388 257844 4448 2842 0 349082 0
Current children cumulated CPU time: 2974.91 s
Current children cumulated vsize: 1469552 KiB
Current children cumulated memory: 1031376 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.06 5/264 39583
/proc/meminfo: memFree=123292496/131249996 swapFree=33010684/33010684
[pid=39382] ppid=39379 vsize=1469552 memory=1035472 CPUtime=3034.77 cores=5,7
/proc/39382/stat : 39382 (mixed-bag) R 39379 39382 38713 0 -1 4194304 206809 0 0 0 302937 540 0 0 20 0 1 0 43672093 1504821248 258868 18446744073709551615 4235264 15874749 140726568011344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55349248 140726568020380 140726568020457 140726568020457 140726568026059 0
/proc/39382/statm: 367388 258868 4448 2842 0 349082 0
Current children cumulated CPU time: 3034.77 s
Current children cumulated vsize: 1469552 KiB
Current children cumulated memory: 1035472 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.11 4.06 5/264 39585
/proc/meminfo: memFree=123074160/131249996 swapFree=33010684/33010684
[pid=39382] ppid=39379 vsize=1469552 memory=1037520 CPUtime=3094.62 cores=5,7
/proc/39382/stat : 39382 (mixed-bag) R 39379 39382 38713 0 -1 4194304 206927 0 0 0 308914 548 0 0 20 0 1 0 43672093 1504821248 259380 18446744073709551615 4235264 15874749 140726568011344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55349248 140726568020380 140726568020457 140726568020457 140726568026059 0
/proc/39382/statm: 367388 259380 4448 2842 0 349082 0
Current children cumulated CPU time: 3094.62 s
Current children cumulated vsize: 1469552 KiB
Current children cumulated memory: 1037520 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.06 5/264 39587
/proc/meminfo: memFree=122907148/131249996 swapFree=33010684/33010684
[pid=39382] ppid=39379 vsize=1469552 memory=1039568 CPUtime=3154.48 cores=5,7
/proc/39382/stat : 39382 (mixed-bag) R 39379 39382 38713 0 -1 4194304 206928 0 0 0 314894 554 0 0 20 0 1 0 43672093 1504821248 259892 18446744073709551615 4235264 15874749 140726568011344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55349248 140726568020380 140726568020457 140726568020457 140726568026059 0
/proc/39382/statm: 367388 259892 4448 2842 0 349082 0
Current children cumulated CPU time: 3154.48 s
Current children cumulated vsize: 1469552 KiB
Current children cumulated memory: 1039568 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.07 5/264 39589
/proc/meminfo: memFree=122824772/131249996 swapFree=33010684/33010684
[pid=39382] ppid=39379 vsize=1469552 memory=1039568 CPUtime=3214.34 cores=5,7
/proc/39382/stat : 39382 (mixed-bag) R 39379 39382 38713 0 -1 4194304 206928 0 0 0 320873 561 0 0 20 0 1 0 43672093 1504821248 259892 18446744073709551615 4235264 15874749 140726568011344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55349248 140726568020380 140726568020457 140726568020457 140726568026059 0
/proc/39382/statm: 367388 259892 4448 2842 0 349082 0
Current children cumulated CPU time: 3214.34 s
Current children cumulated vsize: 1469552 KiB
Current children cumulated memory: 1039568 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.07 5/264 39591
/proc/meminfo: memFree=122811932/131249996 swapFree=33010684/33010684
[pid=39382] ppid=39379 vsize=1469552 memory=1041616 CPUtime=3274.2 cores=5,7
/proc/39382/stat : 39382 (mixed-bag) R 39379 39382 38713 0 -1 4194304 206929 0 0 0 326853 567 0 0 20 0 1 0 43672093 1504821248 260404 18446744073709551615 4235264 15874749 140726568011344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55349248 140726568020380 140726568020457 140726568020457 140726568026059 0
/proc/39382/statm: 367388 260404 4448 2842 0 349082 0
Current children cumulated CPU time: 3274.2 s
Current children cumulated vsize: 1469552 KiB
Current children cumulated memory: 1041616 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.07 5/264 39593
/proc/meminfo: memFree=122809116/131249996 swapFree=33010684/33010684
[pid=39382] ppid=39379 vsize=1469552 memory=1043664 CPUtime=3334.06 cores=5,7
/proc/39382/stat : 39382 (mixed-bag) R 39379 39382 38713 0 -1 4194304 206930 0 0 0 332830 576 0 0 20 0 1 0 43672093 1504821248 260916 18446744073709551615 4235264 15874749 140726568011344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55349248 140726568020380 140726568020457 140726568020457 140726568026059 0
/proc/39382/statm: 367388 260916 4448 2842 0 349082 0
Current children cumulated CPU time: 3334.06 s
Current children cumulated vsize: 1469552 KiB
Current children cumulated memory: 1043664 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.07 5/263 39684
/proc/meminfo: memFree=125729656/131249996 swapFree=33010684/33010684
[pid=39382] ppid=39379 vsize=1469552 memory=1047760 CPUtime=3393.9 cores=5,7
/proc/39382/stat : 39382 (mixed-bag) R 39379 39382 38713 0 -1 4194304 206932 0 0 0 338806 584 0 0 20 0 1 0 43672093 1504821248 261940 18446744073709551615 4235264 15874749 140726568011344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55349248 140726568020380 140726568020457 140726568020457 140726568026059 0
/proc/39382/statm: 367388 261940 4448 2842 0 349082 0
Current children cumulated CPU time: 3393.9 s
Current children cumulated vsize: 1469552 KiB
Current children cumulated memory: 1047760 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.07 5/265 39688
/proc/meminfo: memFree=125650420/131249996 swapFree=33010684/33010684
[pid=39382] ppid=39379 vsize=1469552 memory=1047760 CPUtime=3453.7 cores=5,7
/proc/39382/stat : 39382 (mixed-bag) R 39379 39382 38713 0 -1 4194304 206932 0 0 0 344777 593 0 0 20 0 1 0 43672093 1504821248 261940 18446744073709551615 4235264 15874749 140726568011344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55349248 140726568020380 140726568020457 140726568020457 140726568026059 0
/proc/39382/statm: 367388 261940 4448 2842 0 349082 0
Current children cumulated CPU time: 3453.7 s
Current children cumulated vsize: 1469552 KiB
Current children cumulated memory: 1047760 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.08 5/265 39690
/proc/meminfo: memFree=125569088/131249996 swapFree=33010684/33010684
[pid=39382] ppid=39379 vsize=1469552 memory=1051856 CPUtime=3513.5 cores=5,7
/proc/39382/stat : 39382 (mixed-bag) R 39379 39382 38713 0 -1 4194304 206934 0 0 0 350748 602 0 0 20 0 1 0 43672093 1504821248 262964 18446744073709551615 4235264 15874749 140726568011344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55349248 140726568020380 140726568020457 140726568020457 140726568026059 0
/proc/39382/statm: 367388 262964 4448 2842 0 349082 0
Current children cumulated CPU time: 3513.5 s
Current children cumulated vsize: 1469552 KiB
Current children cumulated memory: 1051856 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.08 5/265 39692
/proc/meminfo: memFree=125440164/131249996 swapFree=33010684/33010684
[pid=39382] ppid=39379 vsize=1469552 memory=1051856 CPUtime=3573.3 cores=5,7
/proc/39382/stat : 39382 (mixed-bag) R 39379 39382 38713 0 -1 4194304 206934 0 0 0 356720 610 0 0 20 0 1 0 43672093 1504821248 262964 18446744073709551615 4235264 15874749 140726568011344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55349248 140726568020380 140726568020457 140726568020457 140726568026059 0
/proc/39382/statm: 367388 262964 4448 2842 0 349082 0
Current children cumulated CPU time: 3573.3 s
Current children cumulated vsize: 1469552 KiB
Current children cumulated memory: 1051856 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.14 4.11 4.08 5/265 39693
/proc/meminfo: memFree=125383516/131249996 swapFree=33010684/33010684
[pid=39382] ppid=39379 vsize=1469552 memory=1051856 CPUtime=3600.03 cores=5,7
/proc/39382/stat : 39382 (mixed-bag) R 39379 39382 38713 0 -1 4194304 206934 0 0 0 359389 614 0 0 20 0 1 0 43672093 1504821248 262964 18446744073709551615 4235264 15874749 140726568011344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55349248 140726568020380 140726568020457 140726568020457 140726568026059 0
/proc/39382/statm: 367388 262964 4448 2842 0 349082 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1469552 KiB
Current children cumulated memory: 1051856 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.12 s]
# the end of solver process 39382 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.91 s, system=6.14958 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.11 s]
/proc/loadavg: 4.14 4.11 4.08 5/265 39693
/proc/meminfo: memFree=125383516/131249996 swapFree=33010684/33010684
[pid=39382] ppid=39379 vsize=1469552 memory=1051856 CPUtime=3600.03 cores=5,7
/proc/39382/stat : 39382 (mixed-bag) R 39379 39382 38713 0 -1 4194304 206934 0 0 0 359389 614 0 0 20 0 1 0 43672093 1504821248 262964 18446744073709551615 4235264 15874749 140726568011344 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 55349248 140726568020380 140726568020457 140726568020457 140726568026059 0
/proc/39382/statm: 367388 262964 4448 2842 0 349082 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1469552 KiB
Current children cumulated memory: 1051856 KiB
Child status: 0
Real time (s): 3609.12
CPU time (s): 3600.06
CPU user time (s): 3593.91
CPU system time (s): 6.14958
CPU usage (%): 99.7489
Max. virtual memory (cumulated for all children) (KiB): 1469552
Max. memory (cumulated for all children) (KiB): 1051856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.91
system time used= 6.14958
maximum resident set size= 1052496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206963
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= 213
involuntary context switches= 1304
# summary of solver processes directly reported to runsolver:
# pid: 39382
# total CPU time (s): 3600.06
# total CPU user time (s): 3593.91
# total CPU system time (s): 6.14958
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.78679 second user time and 16.8049 second system time
The end
Begin job on nodeC022 at 2025-06-30 12:39:03
IDJOB=4484713
IDBENCH=146666
IDSOLVER=3340
FILE ID=nodeC022/4484713-1751279943
RUNJOBID= nodeC022-1751279693-38726
SLURM_JOB_ID= 9594218
Free space on /tmp= 433008 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484713-1751279943/watcher-4484713-1751279943 -o /tmp/evaluation-result-4484713-1751279943/solver-4484713-1751279943 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751279693-38726 --watchdog 3760 mixed-bag HOME/instance-4484713-1751279943.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 71e47456366b2ddac308424c74922847
RANDOM SEED=48940943
nodeC022 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.685
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
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 : 3599.744
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
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 : 3598.120
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
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.092
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
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 : 3599.723
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
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 : 3599.718
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
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 : 3602.353
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
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 : 3647.322
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 126960356 kB
MemAvailable: 127772220 kB
Buffers: 3280 kB
Cached: 1615064 kB
SwapCached: 0 kB
Active: 2171432 kB
Inactive: 1365444 kB
Active(anon): 1936608 kB
Inactive(anon): 0 kB
Active(file): 234824 kB
Inactive(file): 1365444 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 34444 kB
Writeback: 0 kB
AnonPages: 1921524 kB
Mapped: 136512 kB
Shmem: 18060 kB
KReclaimable: 101272 kB
Slab: 188032 kB
SReclaimable: 101272 kB
SUnreclaim: 86760 kB
KernelStack: 4272 kB
PageTables: 7300 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2573764 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 512000 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432992 MiB
End job on nodeC022 at 2025-06-30 13:39:13