0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] preprocessing with Papilo
0.00/0.00 c [STEP] solving with SCIP
299.55/300.64 c [STEP] preprocessing done, loading into solver
299.55/300.64 c [STEP] solving
299.55/300.64 c #variables 199 #constraints 16
299.55/300.64 c SMALL=int, LARGE=long long
299.55/300.64 c bounds - >= 0 @ 299.313
299.55/300.64 c stratification level: 64
300.45/301.50 c #Conflicts: 1000 | #Constraints: 1016
300.45/301.50 c #Conflicts: 2000 | #Constraints: 2016
300.45/301.50 c INPROCESSING
300.45/301.50 c GARBAGE COLLECT
300.45/301.50 c #Conflicts: 3000 | #Constraints: 2023
300.45/301.50 c #Conflicts: 4000 | #Constraints: 3023
300.45/301.50 c INPROCESSING
300.45/301.50 c GARBAGE COLLECT
300.45/301.50 c #Conflicts: 5000 | #Constraints: 2426
300.45/301.50 c #Conflicts: 6000 | #Constraints: 3426
300.45/301.50 c bounds 79 >= 0 @ 300.139
300.45/301.50 c stratification level: 32
300.45/301.50 c bounds 75 >= 0 @ 300.14
300.45/301.50 c stratification level: 16
301.45/302.54 c INPROCESSING
301.45/302.54 c GARBAGE COLLECT
301.45/302.54 c #Conflicts: 7000 | #Constraints: 2429
301.45/302.54 c #Conflicts: 8000 | #Constraints: 3429
301.45/302.54 c #Conflicts: 9000 | #Constraints: 4429
301.45/302.54 c INPROCESSING
301.45/302.54 c GARBAGE COLLECT
301.45/302.54 c #Conflicts: 10000 | #Constraints: 3128
301.45/302.54 c #Conflicts: 11000 | #Constraints: 4128
301.45/302.54 c #Conflicts: 12000 | #Constraints: 5128
301.45/302.54 c INPROCESSING
301.45/302.54 c GARBAGE COLLECT
301.45/302.54 c bounds 73 >= 0 @ 301.159
301.45/302.54 c stratification level: 8
305.94/307.02 c #Conflicts: 13000 | #Constraints: 3581
305.94/307.02 c #Conflicts: 14000 | #Constraints: 4581
305.94/307.02 c #Conflicts: 15000 | #Constraints: 5581
305.94/307.02 c INPROCESSING
305.94/307.02 c GARBAGE COLLECT
305.94/307.02 c #Conflicts: 16000 | #Constraints: 3808
305.94/307.02 c #Conflicts: 17000 | #Constraints: 4808
305.94/307.02 c #Conflicts: 18000 | #Constraints: 5808
305.94/307.02 c INPROCESSING
305.94/307.02 c GARBAGE COLLECT
305.94/307.02 c #Conflicts: 19000 | #Constraints: 3822
305.94/307.02 c #Conflicts: 20000 | #Constraints: 4822
305.94/307.02 c #Conflicts: 21000 | #Constraints: 5822
305.94/307.02 c INPROCESSING
305.94/307.02 c GARBAGE COLLECT
305.94/307.02 c #Conflicts: 22000 | #Constraints: 3629
305.94/307.02 c #Conflicts: 23000 | #Constraints: 4629
305.94/307.02 c #Conflicts: 24000 | #Constraints: 5629
305.94/307.02 c #Conflicts: 25000 | #Constraints: 6629
305.94/307.02 c INPROCESSING
305.94/307.02 c GARBAGE COLLECT
305.94/307.02 c #Conflicts: 26000 | #Constraints: 4227
305.94/307.02 c #Conflicts: 27000 | #Constraints: 5227
305.94/307.02 c #Conflicts: 28000 | #Constraints: 6227
305.94/307.02 c #Conflicts: 29000 | #Constraints: 7227
305.94/307.02 c INPROCESSING
305.94/307.02 c GARBAGE COLLECT
305.94/307.02 c #Conflicts: 30000 | #Constraints: 4627
305.94/307.02 c #Conflicts: 31000 | #Constraints: 5627
305.94/307.02 c #Conflicts: 32000 | #Constraints: 6627
305.94/307.02 c #Conflicts: 33000 | #Constraints: 7627
305.94/307.02 c INPROCESSING
305.94/307.02 c GARBAGE COLLECT
305.94/307.02 c bounds 53 >= 0 @ 305.547
305.94/307.02 c stratification level: 4
331.68/332.81 c #Conflicts: 34000 | #Constraints: 4831
331.68/332.81 c #Conflicts: 35000 | #Constraints: 5831
331.68/332.81 c #Conflicts: 36000 | #Constraints: 6831
331.68/332.81 c #Conflicts: 37000 | #Constraints: 7831
331.68/332.81 c INPROCESSING
331.68/332.81 c GARBAGE COLLECT
331.68/332.81 c #Conflicts: 38000 | #Constraints: 4833
331.68/332.81 c #Conflicts: 39000 | #Constraints: 5833
331.68/332.81 c #Conflicts: 40000 | #Constraints: 6833
331.68/332.81 c #Conflicts: 41000 | #Constraints: 7833
331.68/332.81 c INPROCESSING
331.68/332.81 c GARBAGE COLLECT
331.68/332.81 c #Conflicts: 42000 | #Constraints: 4634
331.68/332.81 c #Conflicts: 43000 | #Constraints: 5634
331.68/332.81 c #Conflicts: 44000 | #Constraints: 6634
331.68/332.81 c #Conflicts: 45000 | #Constraints: 7634
331.68/332.81 c #Conflicts: 46000 | #Constraints: 8634
331.68/332.81 c INPROCESSING
331.68/332.81 c GARBAGE COLLECT
331.68/332.81 c #Conflicts: 47000 | #Constraints: 5230
331.68/332.81 c #Conflicts: 48000 | #Constraints: 6230
331.68/332.81 c #Conflicts: 49000 | #Constraints: 7230
331.68/332.81 c #Conflicts: 50000 | #Constraints: 8230
331.68/332.81 c #Conflicts: 51000 | #Constraints: 9230
331.68/332.81 c INPROCESSING
331.68/332.81 c GARBAGE COLLECT
331.68/332.81 c #Conflicts: 52000 | #Constraints: 5630
331.68/332.81 c #Conflicts: 53000 | #Constraints: 6630
331.68/332.81 c #Conflicts: 54000 | #Constraints: 7630
331.68/332.81 c #Conflicts: 55000 | #Constraints: 8630
331.68/332.81 c #Conflicts: 56000 | #Constraints: 9630
331.68/332.81 c INPROCESSING
331.68/332.81 c GARBAGE COLLECT
331.68/332.81 c #Conflicts: 57000 | #Constraints: 5829
331.68/332.81 c #Conflicts: 58000 | #Constraints: 6829
331.68/332.81 c #Conflicts: 59000 | #Constraints: 7829
331.68/332.81 c #Conflicts: 60000 | #Constraints: 8829
331.68/332.81 c #Conflicts: 61000 | #Constraints: 9829
331.68/332.81 c INPROCESSING
331.68/332.81 c GARBAGE COLLECT
331.68/332.81 c #Conflicts: 62000 | #Constraints: 5829
331.68/332.81 c #Conflicts: 63000 | #Constraints: 6829
331.68/332.81 c #Conflicts: 64000 | #Constraints: 7829
331.68/332.81 c #Conflicts: 65000 | #Constraints: 8829
331.68/332.81 c #Conflicts: 66000 | #Constraints: 9829
331.68/332.81 c INPROCESSING
331.68/332.81 c GARBAGE COLLECT
331.68/332.81 c #Conflicts: 67000 | #Constraints: 5632
331.68/332.81 c #Conflicts: 68000 | #Constraints: 6632
331.68/332.81 c #Conflicts: 69000 | #Constraints: 7632
331.68/332.81 c #Conflicts: 70000 | #Constraints: 8632
331.68/332.81 c #Conflicts: 71000 | #Constraints: 9632
331.68/332.81 c #Conflicts: 72000 | #Constraints: 10632
331.68/332.81 c INPROCESSING
331.68/332.81 c GARBAGE COLLECT
331.68/332.81 c #Conflicts: 73000 | #Constraints: 6230
331.68/332.81 c #Conflicts: 74000 | #Constraints: 7230
331.68/332.81 c #Conflicts: 75000 | #Constraints: 8230
331.68/332.81 c #Conflicts: 76000 | #Constraints: 9230
331.68/332.81 c #Conflicts: 77000 | #Constraints: 10230
331.68/332.81 c #Conflicts: 78000 | #Constraints: 11230
331.68/332.81 c INPROCESSING
331.68/332.81 c GARBAGE COLLECT
331.68/332.81 c #Conflicts: 79000 | #Constraints: 6631
331.68/332.81 c #Conflicts: 80000 | #Constraints: 7631
331.68/332.81 c #Conflicts: 81000 | #Constraints: 8631
331.68/332.81 c #Conflicts: 82000 | #Constraints: 9631
331.68/332.81 c #Conflicts: 83000 | #Constraints: 10631
331.68/332.81 c #Conflicts: 84000 | #Constraints: 11631
331.68/332.81 c INPROCESSING
331.68/332.81 c GARBAGE COLLECT
331.68/332.81 c #Conflicts: 85000 | #Constraints: 6831
331.68/332.81 c #Conflicts: 86000 | #Constraints: 7831
331.68/332.81 c #Conflicts: 87000 | #Constraints: 8831
331.68/332.81 c #Conflicts: 88000 | #Constraints: 9831
331.68/332.81 c #Conflicts: 89000 | #Constraints: 10831
331.68/332.81 c #Conflicts: 90000 | #Constraints: 11831
331.68/332.81 c INPROCESSING
331.68/332.81 c GARBAGE COLLECT
331.68/332.81 c #Conflicts: 91000 | #Constraints: 6837
331.68/332.81 c #Conflicts: 92000 | #Constraints: 7837
331.68/332.81 c #Conflicts: 93000 | #Constraints: 8837
331.68/332.81 c #Conflicts: 94000 | #Constraints: 9837
331.68/332.81 c #Conflicts: 95000 | #Constraints: 10837
331.68/332.81 c #Conflicts: 96000 | #Constraints: 11837
331.68/332.81 c INPROCESSING
331.68/332.81 c GARBAGE COLLECT
331.68/332.81 c #Conflicts: 97000 | #Constraints: 6639
331.68/332.81 c #Conflicts: 98000 | #Constraints: 7639
331.68/332.81 c #Conflicts: 99000 | #Constraints: 8639
331.68/332.81 c #Conflicts: 100000 | #Constraints: 9639
331.68/332.81 c #Conflicts: 101000 | #Constraints: 10639
331.68/332.81 c #Conflicts: 102000 | #Constraints: 11639
331.68/332.81 c #Conflicts: 103000 | #Constraints: 12639
331.68/332.81 c INPROCESSING
331.68/332.81 c GARBAGE COLLECT
331.68/332.81 c #Conflicts: 104000 | #Constraints: 7235
369.80/371.01 c #Conflicts: 105000 | #Constraints: 8235
369.80/371.01 c #Conflicts: 106000 | #Constraints: 9235
369.80/371.01 c #Conflicts: 107000 | #Constraints: 10235
369.80/371.01 c #Conflicts: 108000 | #Constraints: 11235
369.80/371.01 c #Conflicts: 109000 | #Constraints: 12235
369.80/371.01 c #Conflicts: 110000 | #Constraints: 13235
369.80/371.01 c INPROCESSING
369.80/371.01 c GARBAGE COLLECT
369.80/371.01 c #Conflicts: 111000 | #Constraints: 7633
369.80/371.01 c #Conflicts: 112000 | #Constraints: 8633
369.80/371.01 c #Conflicts: 113000 | #Constraints: 9633
369.80/371.01 c #Conflicts: 114000 | #Constraints: 10633
369.80/371.01 c #Conflicts: 115000 | #Constraints: 11633
369.80/371.01 c #Conflicts: 116000 | #Constraints: 12633
369.80/371.01 c #Conflicts: 117000 | #Constraints: 13633
369.80/371.01 c INPROCESSING
369.80/371.01 c GARBAGE COLLECT
369.80/371.01 c #Conflicts: 118000 | #Constraints: 7830
369.80/371.01 c #Conflicts: 119000 | #Constraints: 8830
369.80/371.01 c #Conflicts: 120000 | #Constraints: 9830
369.80/371.01 c #Conflicts: 121000 | #Constraints: 10830
369.80/371.01 c #Conflicts: 122000 | #Constraints: 11830
369.80/371.01 c #Conflicts: 123000 | #Constraints: 12830
369.80/371.01 c #Conflicts: 124000 | #Constraints: 13830
369.80/371.01 c INPROCESSING
369.80/371.01 c GARBAGE COLLECT
369.80/371.01 c #Conflicts: 125000 | #Constraints: 7830
369.80/371.01 c #Conflicts: 126000 | #Constraints: 8830
369.80/371.01 c #Conflicts: 127000 | #Constraints: 9830
369.80/371.01 c #Conflicts: 128000 | #Constraints: 10830
369.80/371.01 c #Conflicts: 129000 | #Constraints: 11830
369.80/371.01 c #Conflicts: 130000 | #Constraints: 12830
369.80/371.01 c #Conflicts: 131000 | #Constraints: 13830
369.80/371.01 c INPROCESSING
369.80/371.01 c GARBAGE COLLECT
369.80/371.01 c #Conflicts: 132000 | #Constraints: 7631
369.80/371.01 c #Conflicts: 133000 | #Constraints: 8631
369.80/371.01 c #Conflicts: 134000 | #Constraints: 9631
369.80/371.01 c #Conflicts: 135000 | #Constraints: 10631
369.80/371.01 c #Conflicts: 136000 | #Constraints: 11631
369.80/371.01 c #Conflicts: 137000 | #Constraints: 12631
369.80/371.01 c #Conflicts: 138000 | #Constraints: 13631
369.80/371.01 c #Conflicts: 139000 | #Constraints: 14631
369.80/371.01 c INPROCESSING
369.80/371.01 c GARBAGE COLLECT
369.80/371.01 c #Conflicts: 140000 | #Constraints: 8232
369.80/371.01 c #Conflicts: 141000 | #Constraints: 9232
369.80/371.01 c #Conflicts: 142000 | #Constraints: 10232
369.80/371.01 c #Conflicts: 143000 | #Constraints: 11232
369.80/371.01 c #Conflicts: 144000 | #Constraints: 12232
369.80/371.01 c #Conflicts: 145000 | #Constraints: 13232
369.80/371.01 c #Conflicts: 146000 | #Constraints: 14232
369.80/371.01 c #Conflicts: 147000 | #Constraints: 15232
369.80/371.01 c INPROCESSING
369.80/371.01 c GARBAGE COLLECT
369.80/371.01 c #Conflicts: 148000 | #Constraints: 8636
369.80/371.01 c #Conflicts: 149000 | #Constraints: 9636
369.80/371.01 c #Conflicts: 150000 | #Constraints: 10636
369.80/371.01 c #Conflicts: 151000 | #Constraints: 11636
369.80/371.01 c #Conflicts: 152000 | #Constraints: 12636
369.80/371.01 c #Conflicts: 153000 | #Constraints: 13636
369.80/371.01 c #Conflicts: 154000 | #Constraints: 14636
369.80/371.01 c #Conflicts: 155000 | #Constraints: 15636
369.80/371.01 c INPROCESSING
369.80/371.01 c GARBAGE COLLECT
369.80/371.01 c #Conflicts: 156000 | #Constraints: 8833
369.80/371.01 c #Conflicts: 157000 | #Constraints: 9833
369.80/371.01 c #Conflicts: 158000 | #Constraints: 10833
369.80/371.01 c #Conflicts: 159000 | #Constraints: 11833
369.80/371.01 c #Conflicts: 160000 | #Constraints: 12833
369.80/371.01 c #Conflicts: 161000 | #Constraints: 13833
369.80/371.01 c #Conflicts: 162000 | #Constraints: 14833
369.80/371.01 c #Conflicts: 163000 | #Constraints: 15833
369.80/371.01 c INPROCESSING
369.80/371.01 c GARBAGE COLLECT
369.80/371.01 c #Conflicts: 164000 | #Constraints: 8840
369.80/371.01 c #Conflicts: 165000 | #Constraints: 9840
369.80/371.01 c #Conflicts: 166000 | #Constraints: 10840
369.80/371.01 c #Conflicts: 167000 | #Constraints: 11840
369.80/371.01 c #Conflicts: 168000 | #Constraints: 12840
369.80/371.01 c #Conflicts: 169000 | #Constraints: 13840
369.80/371.01 c #Conflicts: 170000 | #Constraints: 14840
369.80/371.01 c #Conflicts: 171000 | #Constraints: 15840
369.80/371.01 c INPROCESSING
369.80/371.01 c GARBAGE COLLECT
369.80/371.01 c #Conflicts: 172000 | #Constraints: 8637
369.80/371.01 c #Conflicts: 173000 | #Constraints: 9637
369.80/371.01 c #Conflicts: 174000 | #Constraints: 10637
369.80/371.01 c #Conflicts: 175000 | #Constraints: 11637
369.80/371.01 c #Conflicts: 176000 | #Constraints: 12637
369.80/371.01 c #Conflicts: 177000 | #Constraints: 13637
419.18/420.59 c #Conflicts: 178000 | #Constraints: 14637
419.18/420.59 c #Conflicts: 179000 | #Constraints: 15637
419.18/420.59 c #Conflicts: 180000 | #Constraints: 16637
419.18/420.59 c INPROCESSING
419.18/420.59 c GARBAGE COLLECT
419.18/420.59 c #Conflicts: 181000 | #Constraints: 9233
419.18/420.59 c #Conflicts: 182000 | #Constraints: 10233
419.18/420.59 c #Conflicts: 183000 | #Constraints: 11233
419.18/420.59 c #Conflicts: 184000 | #Constraints: 12233
419.18/420.59 c #Conflicts: 185000 | #Constraints: 13233
419.18/420.59 c #Conflicts: 186000 | #Constraints: 14233
419.18/420.59 c #Conflicts: 187000 | #Constraints: 15233
419.18/420.59 c #Conflicts: 188000 | #Constraints: 16233
419.18/420.59 c #Conflicts: 189000 | #Constraints: 17233
419.18/420.59 c INPROCESSING
419.18/420.59 c GARBAGE COLLECT
419.18/420.59 c #Conflicts: 190000 | #Constraints: 9635
419.18/420.59 c #Conflicts: 191000 | #Constraints: 10635
419.18/420.59 c #Conflicts: 192000 | #Constraints: 11635
419.18/420.59 c #Conflicts: 193000 | #Constraints: 12635
419.18/420.59 c #Conflicts: 194000 | #Constraints: 13635
419.18/420.59 c #Conflicts: 195000 | #Constraints: 14635
419.18/420.59 c #Conflicts: 196000 | #Constraints: 15635
419.18/420.59 c #Conflicts: 197000 | #Constraints: 16635
419.18/420.59 c #Conflicts: 198000 | #Constraints: 17635
419.18/420.59 c INPROCESSING
419.18/420.59 c GARBAGE COLLECT
419.18/420.59 c #Conflicts: 199000 | #Constraints: 9833
419.18/420.59 c #Conflicts: 200000 | #Constraints: 10833
419.18/420.59 c #Conflicts: 201000 | #Constraints: 11833
419.18/420.59 c #Conflicts: 202000 | #Constraints: 12833
419.18/420.59 c #Conflicts: 203000 | #Constraints: 13833
419.18/420.59 c #Conflicts: 204000 | #Constraints: 14833
419.18/420.59 c #Conflicts: 205000 | #Constraints: 15833
419.18/420.59 c #Conflicts: 206000 | #Constraints: 16833
419.18/420.59 c #Conflicts: 207000 | #Constraints: 17833
419.18/420.59 c INPROCESSING
419.18/420.59 c GARBAGE COLLECT
419.18/420.59 c #Conflicts: 208000 | #Constraints: 9837
419.18/420.59 c #Conflicts: 209000 | #Constraints: 10837
419.18/420.59 c #Conflicts: 210000 | #Constraints: 11837
419.18/420.59 c #Conflicts: 211000 | #Constraints: 12837
419.18/420.59 c #Conflicts: 212000 | #Constraints: 13837
419.18/420.59 c #Conflicts: 213000 | #Constraints: 14837
419.18/420.59 c #Conflicts: 214000 | #Constraints: 15837
419.18/420.59 c #Conflicts: 215000 | #Constraints: 16837
419.18/420.59 c #Conflicts: 216000 | #Constraints: 17837
419.18/420.59 c INPROCESSING
419.18/420.59 c GARBAGE COLLECT
419.18/420.59 c #Conflicts: 217000 | #Constraints: 9639
419.18/420.59 c #Conflicts: 218000 | #Constraints: 10639
419.18/420.59 c #Conflicts: 219000 | #Constraints: 11639
419.18/420.59 c #Conflicts: 220000 | #Constraints: 12639
419.18/420.59 c #Conflicts: 221000 | #Constraints: 13639
419.18/420.59 c #Conflicts: 222000 | #Constraints: 14639
419.18/420.59 c #Conflicts: 223000 | #Constraints: 15639
419.18/420.59 c #Conflicts: 224000 | #Constraints: 16639
419.18/420.59 c #Conflicts: 225000 | #Constraints: 17639
419.18/420.59 c #Conflicts: 226000 | #Constraints: 18639
419.18/420.59 c INPROCESSING
419.18/420.59 c GARBAGE COLLECT
419.18/420.59 c #Conflicts: 227000 | #Constraints: 10243
419.18/420.59 c #Conflicts: 228000 | #Constraints: 11243
419.18/420.59 c #Conflicts: 229000 | #Constraints: 12243
419.18/420.59 c #Conflicts: 230000 | #Constraints: 13243
419.18/420.59 c #Conflicts: 231000 | #Constraints: 14243
419.18/420.59 c #Conflicts: 232000 | #Constraints: 15243
419.18/420.59 c #Conflicts: 233000 | #Constraints: 16243
419.18/420.59 c #Conflicts: 234000 | #Constraints: 17243
419.18/420.59 c #Conflicts: 235000 | #Constraints: 18243
419.18/420.59 c #Conflicts: 236000 | #Constraints: 19243
419.18/420.59 c INPROCESSING
419.18/420.59 c GARBAGE COLLECT
419.18/420.59 c #Conflicts: 237000 | #Constraints: 10641
419.18/420.59 c #Conflicts: 238000 | #Constraints: 11641
419.18/420.59 c #Conflicts: 239000 | #Constraints: 12641
419.18/420.59 c #Conflicts: 240000 | #Constraints: 13641
419.18/420.59 c #Conflicts: 241000 | #Constraints: 14641
419.18/420.59 c #Conflicts: 242000 | #Constraints: 15641
419.18/420.59 c #Conflicts: 243000 | #Constraints: 16641
419.18/420.59 c #Conflicts: 244000 | #Constraints: 17641
419.18/420.59 c #Conflicts: 245000 | #Constraints: 18641
419.18/420.59 c #Conflicts: 246000 | #Constraints: 19641
419.18/420.59 c INPROCESSING
419.18/420.59 c GARBAGE COLLECT
419.18/420.59 c #Conflicts: 247000 | #Constraints: 10837
419.18/420.59 c #Conflicts: 248000 | #Constraints: 11837
419.18/420.59 c #Conflicts: 249000 | #Constraints: 12837
419.18/420.59 c #Conflicts: 250000 | #Constraints: 13837
419.18/420.59 c #Conflicts: 251000 | #Constraints: 14837
470.85/472.39 c #Conflicts: 252000 | #Constraints: 15837
470.85/472.39 c #Conflicts: 253000 | #Constraints: 16837
470.85/472.39 c #Conflicts: 254000 | #Constraints: 17837
470.85/472.39 c #Conflicts: 255000 | #Constraints: 18837
470.85/472.39 c #Conflicts: 256000 | #Constraints: 19837
470.85/472.39 c INPROCESSING
470.85/472.39 c GARBAGE COLLECT
470.85/472.39 c #Conflicts: 257000 | #Constraints: 10833
470.85/472.39 c #Conflicts: 258000 | #Constraints: 11833
470.85/472.39 c #Conflicts: 259000 | #Constraints: 12833
470.85/472.39 c #Conflicts: 260000 | #Constraints: 13833
470.85/472.39 c #Conflicts: 261000 | #Constraints: 14833
470.85/472.39 c #Conflicts: 262000 | #Constraints: 15833
470.85/472.39 c #Conflicts: 263000 | #Constraints: 16833
470.85/472.39 c #Conflicts: 264000 | #Constraints: 17833
470.85/472.39 c #Conflicts: 265000 | #Constraints: 18833
470.85/472.39 c #Conflicts: 266000 | #Constraints: 19833
470.85/472.39 c INPROCESSING
470.85/472.39 c GARBAGE COLLECT
470.85/472.39 c #Conflicts: 267000 | #Constraints: 10633
470.85/472.39 c #Conflicts: 268000 | #Constraints: 11633
470.85/472.39 c #Conflicts: 269000 | #Constraints: 12633
470.85/472.39 c #Conflicts: 270000 | #Constraints: 13633
470.85/472.39 c #Conflicts: 271000 | #Constraints: 14633
470.85/472.39 c #Conflicts: 272000 | #Constraints: 15633
470.85/472.39 c #Conflicts: 273000 | #Constraints: 16633
470.85/472.39 c #Conflicts: 274000 | #Constraints: 17633
470.85/472.39 c #Conflicts: 275000 | #Constraints: 18633
470.85/472.39 c #Conflicts: 276000 | #Constraints: 19633
470.85/472.39 c #Conflicts: 277000 | #Constraints: 20633
470.85/472.39 c INPROCESSING
470.85/472.39 c GARBAGE COLLECT
470.85/472.39 c #Conflicts: 278000 | #Constraints: 11232
470.85/472.39 c #Conflicts: 279000 | #Constraints: 12232
470.85/472.39 c #Conflicts: 280000 | #Constraints: 13232
470.85/472.39 c #Conflicts: 281000 | #Constraints: 14232
470.85/472.39 c #Conflicts: 282000 | #Constraints: 15232
470.85/472.39 c #Conflicts: 283000 | #Constraints: 16232
470.85/472.39 c #Conflicts: 284000 | #Constraints: 17232
470.85/472.39 c #Conflicts: 285000 | #Constraints: 18232
470.85/472.39 c #Conflicts: 286000 | #Constraints: 19232
470.85/472.39 c #Conflicts: 287000 | #Constraints: 20232
470.85/472.39 c #Conflicts: 288000 | #Constraints: 21232
470.85/472.39 c INPROCESSING
470.85/472.39 c GARBAGE COLLECT
470.85/472.39 c #Conflicts: 289000 | #Constraints: 11631
470.85/472.39 c #Conflicts: 290000 | #Constraints: 12631
470.85/472.39 c #Conflicts: 291000 | #Constraints: 13631
470.85/472.39 c #Conflicts: 292000 | #Constraints: 14631
470.85/472.39 c #Conflicts: 293000 | #Constraints: 15631
470.85/472.39 c #Conflicts: 294000 | #Constraints: 16631
470.85/472.39 c #Conflicts: 295000 | #Constraints: 17631
470.85/472.39 c #Conflicts: 296000 | #Constraints: 18631
470.85/472.39 c #Conflicts: 297000 | #Constraints: 19631
470.85/472.39 c #Conflicts: 298000 | #Constraints: 20631
470.85/472.39 c #Conflicts: 299000 | #Constraints: 21631
470.85/472.39 c INPROCESSING
470.85/472.39 c GARBAGE COLLECT
470.85/472.39 c #Conflicts: 300000 | #Constraints: 11832
470.85/472.39 c #Conflicts: 301000 | #Constraints: 12832
470.85/472.39 c #Conflicts: 302000 | #Constraints: 13832
470.85/472.39 c #Conflicts: 303000 | #Constraints: 14832
470.85/472.39 c #Conflicts: 304000 | #Constraints: 15832
470.85/472.39 c #Conflicts: 305000 | #Constraints: 16832
470.85/472.39 c #Conflicts: 306000 | #Constraints: 17832
470.85/472.39 c #Conflicts: 307000 | #Constraints: 18832
470.85/472.39 c #Conflicts: 308000 | #Constraints: 19832
470.85/472.39 c #Conflicts: 309000 | #Constraints: 20832
470.85/472.39 c #Conflicts: 310000 | #Constraints: 21832
470.85/472.39 c INPROCESSING
470.85/472.39 c GARBAGE COLLECT
470.85/472.39 c #Conflicts: 311000 | #Constraints: 11830
470.85/472.39 c #Conflicts: 312000 | #Constraints: 12830
470.85/472.39 c #Conflicts: 313000 | #Constraints: 13830
470.85/472.39 c #Conflicts: 314000 | #Constraints: 14830
470.85/472.39 c #Conflicts: 315000 | #Constraints: 15830
470.85/472.39 c #Conflicts: 316000 | #Constraints: 16830
470.85/472.39 c #Conflicts: 317000 | #Constraints: 17830
470.85/472.39 c #Conflicts: 318000 | #Constraints: 18830
470.85/472.39 c #Conflicts: 319000 | #Constraints: 19830
470.85/472.39 c #Conflicts: 320000 | #Constraints: 20830
470.85/472.39 c #Conflicts: 321000 | #Constraints: 21830
470.85/472.39 c INPROCESSING
470.85/472.39 c GARBAGE COLLECT
470.85/472.39 c #Conflicts: 322000 | #Constraints: 11633
470.85/472.39 c #Conflicts: 323000 | #Constraints: 12633
470.85/472.39 c #Conflicts: 324000 | #Constraints: 13633
470.85/472.39 c #Conflicts: 325000 | #Constraints: 14633
532.90/534.59 c #Conflicts: 326000 | #Constraints: 15633
532.90/534.59 c #Conflicts: 327000 | #Constraints: 16633
532.90/534.59 c #Conflicts: 328000 | #Constraints: 17633
532.90/534.59 c #Conflicts: 329000 | #Constraints: 18633
532.90/534.59 c #Conflicts: 330000 | #Constraints: 19633
532.90/534.59 c #Conflicts: 331000 | #Constraints: 20633
532.90/534.59 c #Conflicts: 332000 | #Constraints: 21633
532.90/534.59 c #Conflicts: 333000 | #Constraints: 22633
532.90/534.59 c INPROCESSING
532.90/534.59 c GARBAGE COLLECT
532.90/534.59 c #Conflicts: 334000 | #Constraints: 12234
532.90/534.59 c #Conflicts: 335000 | #Constraints: 13234
532.90/534.59 c #Conflicts: 336000 | #Constraints: 14234
532.90/534.59 c #Conflicts: 337000 | #Constraints: 15234
532.90/534.59 c #Conflicts: 338000 | #Constraints: 16234
532.90/534.59 c #Conflicts: 339000 | #Constraints: 17234
532.90/534.59 c #Conflicts: 340000 | #Constraints: 18234
532.90/534.59 c #Conflicts: 341000 | #Constraints: 19234
532.90/534.59 c #Conflicts: 342000 | #Constraints: 20234
532.90/534.59 c #Conflicts: 343000 | #Constraints: 21234
532.90/534.59 c #Conflicts: 344000 | #Constraints: 22234
532.90/534.59 c #Conflicts: 345000 | #Constraints: 23234
532.90/534.59 c INPROCESSING
532.90/534.59 c GARBAGE COLLECT
532.90/534.59 c #Conflicts: 346000 | #Constraints: 12630
532.90/534.59 c #Conflicts: 347000 | #Constraints: 13630
532.90/534.59 c #Conflicts: 348000 | #Constraints: 14630
532.90/534.59 c #Conflicts: 349000 | #Constraints: 15630
532.90/534.59 c #Conflicts: 350000 | #Constraints: 16630
532.90/534.59 c #Conflicts: 351000 | #Constraints: 17630
532.90/534.59 c #Conflicts: 352000 | #Constraints: 18630
532.90/534.59 c #Conflicts: 353000 | #Constraints: 19630
532.90/534.59 c #Conflicts: 354000 | #Constraints: 20630
532.90/534.59 c #Conflicts: 355000 | #Constraints: 21630
532.90/534.59 c #Conflicts: 356000 | #Constraints: 22630
532.90/534.59 c #Conflicts: 357000 | #Constraints: 23630
532.90/534.59 c INPROCESSING
532.90/534.59 c GARBAGE COLLECT
532.90/534.59 c #Conflicts: 358000 | #Constraints: 12830
532.90/534.59 c #Conflicts: 359000 | #Constraints: 13830
532.90/534.59 c #Conflicts: 360000 | #Constraints: 14830
532.90/534.59 c #Conflicts: 361000 | #Constraints: 15830
532.90/534.59 c #Conflicts: 362000 | #Constraints: 16830
532.90/534.59 c #Conflicts: 363000 | #Constraints: 17830
532.90/534.59 c #Conflicts: 364000 | #Constraints: 18830
532.90/534.59 c #Conflicts: 365000 | #Constraints: 19830
532.90/534.59 c #Conflicts: 366000 | #Constraints: 20830
532.90/534.59 c #Conflicts: 367000 | #Constraints: 21830
532.90/534.59 c #Conflicts: 368000 | #Constraints: 22830
532.90/534.59 c #Conflicts: 369000 | #Constraints: 23830
532.90/534.59 c INPROCESSING
532.90/534.59 c GARBAGE COLLECT
532.90/534.59 c #Conflicts: 370000 | #Constraints: 12833
532.90/534.59 c #Conflicts: 371000 | #Constraints: 13833
532.90/534.59 c #Conflicts: 372000 | #Constraints: 14833
532.90/534.59 c #Conflicts: 373000 | #Constraints: 15833
532.90/534.59 c #Conflicts: 374000 | #Constraints: 16833
532.90/534.59 c #Conflicts: 375000 | #Constraints: 17833
532.90/534.59 c #Conflicts: 376000 | #Constraints: 18833
532.90/534.59 c #Conflicts: 377000 | #Constraints: 19833
532.90/534.59 c #Conflicts: 378000 | #Constraints: 20833
532.90/534.59 c #Conflicts: 379000 | #Constraints: 21833
532.90/534.59 c #Conflicts: 380000 | #Constraints: 22833
532.90/534.59 c #Conflicts: 381000 | #Constraints: 23833
532.90/534.59 c INPROCESSING
532.90/534.59 c GARBAGE COLLECT
532.90/534.59 c #Conflicts: 382000 | #Constraints: 12631
532.90/534.59 c #Conflicts: 383000 | #Constraints: 13631
532.90/534.59 c #Conflicts: 384000 | #Constraints: 14631
532.90/534.59 c #Conflicts: 385000 | #Constraints: 15631
532.90/534.59 c #Conflicts: 386000 | #Constraints: 16631
532.90/534.59 c #Conflicts: 387000 | #Constraints: 17631
532.90/534.59 c #Conflicts: 388000 | #Constraints: 18631
532.90/534.59 c #Conflicts: 389000 | #Constraints: 19631
532.90/534.59 c #Conflicts: 390000 | #Constraints: 20631
532.90/534.59 c #Conflicts: 391000 | #Constraints: 21631
532.90/534.59 c #Conflicts: 392000 | #Constraints: 22631
532.90/534.59 c #Conflicts: 393000 | #Constraints: 23631
532.90/534.59 c #Conflicts: 394000 | #Constraints: 24631
532.90/534.59 c INPROCESSING
532.90/534.59 c GARBAGE COLLECT
532.90/534.59 c #Conflicts: 395000 | #Constraints: 13235
532.90/534.59 c #Conflicts: 396000 | #Constraints: 14235
532.90/534.59 c #Conflicts: 397000 | #Constraints: 15235
532.90/534.59 c #Conflicts: 398000 | #Constraints: 16235
532.90/534.59 c #Conflicts: 399000 | #Constraints: 17235
532.90/534.59 c #Conflicts: 400000 | #Constraints: 18235
615.59/617.49 c #Conflicts: 401000 | #Constraints: 19235
615.59/617.49 c #Conflicts: 402000 | #Constraints: 20235
615.59/617.49 c #Conflicts: 403000 | #Constraints: 21235
615.59/617.49 c #Conflicts: 404000 | #Constraints: 22235
615.59/617.49 c #Conflicts: 405000 | #Constraints: 23235
615.59/617.49 c #Conflicts: 406000 | #Constraints: 24235
615.59/617.49 c #Conflicts: 407000 | #Constraints: 25235
615.59/617.49 c INPROCESSING
615.59/617.49 c GARBAGE COLLECT
615.59/617.49 c #Conflicts: 408000 | #Constraints: 13636
615.59/617.49 c #Conflicts: 409000 | #Constraints: 14636
615.59/617.49 c #Conflicts: 410000 | #Constraints: 15636
615.59/617.49 c #Conflicts: 411000 | #Constraints: 16636
615.59/617.49 c #Conflicts: 412000 | #Constraints: 17636
615.59/617.49 c #Conflicts: 413000 | #Constraints: 18636
615.59/617.49 c #Conflicts: 414000 | #Constraints: 19636
615.59/617.49 c #Conflicts: 415000 | #Constraints: 20636
615.59/617.49 c #Conflicts: 416000 | #Constraints: 21636
615.59/617.49 c #Conflicts: 417000 | #Constraints: 22636
615.59/617.49 c #Conflicts: 418000 | #Constraints: 23636
615.59/617.49 c #Conflicts: 419000 | #Constraints: 24636
615.59/617.49 c #Conflicts: 420000 | #Constraints: 25636
615.59/617.49 c INPROCESSING
615.59/617.49 c GARBAGE COLLECT
615.59/617.49 c #Conflicts: 421000 | #Constraints: 13838
615.59/617.49 c #Conflicts: 422000 | #Constraints: 14838
615.59/617.49 c #Conflicts: 423000 | #Constraints: 15838
615.59/617.49 c #Conflicts: 424000 | #Constraints: 16838
615.59/617.49 c #Conflicts: 425000 | #Constraints: 17838
615.59/617.49 c #Conflicts: 426000 | #Constraints: 18838
615.59/617.49 c #Conflicts: 427000 | #Constraints: 19838
615.59/617.49 c #Conflicts: 428000 | #Constraints: 20838
615.59/617.49 c #Conflicts: 429000 | #Constraints: 21838
615.59/617.49 c #Conflicts: 430000 | #Constraints: 22838
615.59/617.49 c #Conflicts: 431000 | #Constraints: 23838
615.59/617.49 c #Conflicts: 432000 | #Constraints: 24838
615.59/617.49 c #Conflicts: 433000 | #Constraints: 25838
615.59/617.49 c INPROCESSING
615.59/617.49 c GARBAGE COLLECT
615.59/617.49 c #Conflicts: 434000 | #Constraints: 13838
615.59/617.49 c #Conflicts: 435000 | #Constraints: 14838
615.59/617.49 c #Conflicts: 436000 | #Constraints: 15838
615.59/617.49 c #Conflicts: 437000 | #Constraints: 16838
615.59/617.49 c #Conflicts: 438000 | #Constraints: 17838
615.59/617.49 c #Conflicts: 439000 | #Constraints: 18838
615.59/617.49 c #Conflicts: 440000 | #Constraints: 19838
615.59/617.49 c #Conflicts: 441000 | #Constraints: 20838
615.59/617.49 c #Conflicts: 442000 | #Constraints: 21838
615.59/617.49 c #Conflicts: 443000 | #Constraints: 22838
615.59/617.49 c #Conflicts: 444000 | #Constraints: 23838
615.59/617.49 c #Conflicts: 445000 | #Constraints: 24838
615.59/617.49 c #Conflicts: 446000 | #Constraints: 25838
615.59/617.49 c INPROCESSING
615.59/617.49 c GARBAGE COLLECT
615.59/617.49 c #Conflicts: 447000 | #Constraints: 13643
615.59/617.49 c #Conflicts: 448000 | #Constraints: 14643
615.59/617.49 c #Conflicts: 449000 | #Constraints: 15643
615.59/617.49 c #Conflicts: 450000 | #Constraints: 16643
615.59/617.49 c #Conflicts: 451000 | #Constraints: 17643
615.59/617.49 c #Conflicts: 452000 | #Constraints: 18643
615.59/617.49 c #Conflicts: 453000 | #Constraints: 19643
615.59/617.49 c #Conflicts: 454000 | #Constraints: 20643
615.59/617.49 c #Conflicts: 455000 | #Constraints: 21643
615.59/617.49 c #Conflicts: 456000 | #Constraints: 22643
615.59/617.49 c #Conflicts: 457000 | #Constraints: 23643
615.59/617.49 c #Conflicts: 458000 | #Constraints: 24643
615.59/617.49 c #Conflicts: 459000 | #Constraints: 25643
615.59/617.49 c #Conflicts: 460000 | #Constraints: 26643
615.59/617.49 c INPROCESSING
615.59/617.49 c GARBAGE COLLECT
615.59/617.49 c #Conflicts: 461000 | #Constraints: 14243
615.59/617.49 c #Conflicts: 462000 | #Constraints: 15243
615.59/617.49 c #Conflicts: 463000 | #Constraints: 16243
615.59/617.49 c #Conflicts: 464000 | #Constraints: 17243
615.59/617.49 c #Conflicts: 465000 | #Constraints: 18243
615.59/617.49 c #Conflicts: 466000 | #Constraints: 19243
615.59/617.49 c #Conflicts: 467000 | #Constraints: 20243
615.59/617.49 c #Conflicts: 468000 | #Constraints: 21243
615.59/617.49 c #Conflicts: 469000 | #Constraints: 22243
615.59/617.49 c #Conflicts: 470000 | #Constraints: 23243
615.59/617.49 c #Conflicts: 471000 | #Constraints: 24243
615.59/617.49 c #Conflicts: 472000 | #Constraints: 25243
615.59/617.49 c #Conflicts: 473000 | #Constraints: 26243
615.59/617.49 c #Conflicts: 474000 | #Constraints: 27243
615.59/617.49 c INPROCESSING
615.59/617.49 c GARBAGE COLLECT
615.59/617.49 c #Conflicts: 475000 | #Constraints: 14641
699.79/701.83 c #Conflicts: 476000 | #Constraints: 15641
699.79/701.83 c #Conflicts: 477000 | #Constraints: 16641
699.79/701.83 c #Conflicts: 478000 | #Constraints: 17641
699.79/701.83 c #Conflicts: 479000 | #Constraints: 18641
699.79/701.83 c #Conflicts: 480000 | #Constraints: 19641
699.79/701.83 c #Conflicts: 481000 | #Constraints: 20641
699.79/701.83 c #Conflicts: 482000 | #Constraints: 21641
699.79/701.83 c #Conflicts: 483000 | #Constraints: 22641
699.79/701.83 c #Conflicts: 484000 | #Constraints: 23641
699.79/701.83 c #Conflicts: 485000 | #Constraints: 24641
699.79/701.83 c #Conflicts: 486000 | #Constraints: 25641
699.79/701.83 c #Conflicts: 487000 | #Constraints: 26641
699.79/701.83 c #Conflicts: 488000 | #Constraints: 27641
699.79/701.83 c INPROCESSING
699.79/701.83 c GARBAGE COLLECT
699.79/701.83 c #Conflicts: 489000 | #Constraints: 14841
699.79/701.83 c #Conflicts: 490000 | #Constraints: 15841
699.79/701.83 c #Conflicts: 491000 | #Constraints: 16841
699.79/701.83 c #Conflicts: 492000 | #Constraints: 17841
699.79/701.83 c #Conflicts: 493000 | #Constraints: 18841
699.79/701.83 c #Conflicts: 494000 | #Constraints: 19841
699.79/701.83 c #Conflicts: 495000 | #Constraints: 20841
699.79/701.83 c #Conflicts: 496000 | #Constraints: 21841
699.79/701.83 c #Conflicts: 497000 | #Constraints: 22841
699.79/701.83 c #Conflicts: 498000 | #Constraints: 23841
699.79/701.83 c #Conflicts: 499000 | #Constraints: 24841
699.79/701.83 c #Conflicts: 500000 | #Constraints: 25841
699.79/701.83 c #Conflicts: 501000 | #Constraints: 26841
699.79/701.83 c #Conflicts: 502000 | #Constraints: 27841
699.79/701.83 c INPROCESSING
699.79/701.83 c GARBAGE COLLECT
699.79/701.83 c #Conflicts: 503000 | #Constraints: 14842
699.79/701.83 c #Conflicts: 504000 | #Constraints: 15842
699.79/701.83 c #Conflicts: 505000 | #Constraints: 16842
699.79/701.83 c #Conflicts: 506000 | #Constraints: 17842
699.79/701.83 c #Conflicts: 507000 | #Constraints: 18842
699.79/701.83 c #Conflicts: 508000 | #Constraints: 19842
699.79/701.83 c #Conflicts: 509000 | #Constraints: 20842
699.79/701.83 c #Conflicts: 510000 | #Constraints: 21842
699.79/701.83 c #Conflicts: 511000 | #Constraints: 22842
699.79/701.83 c #Conflicts: 512000 | #Constraints: 23842
699.79/701.83 c #Conflicts: 513000 | #Constraints: 24842
699.79/701.83 c #Conflicts: 514000 | #Constraints: 25842
699.79/701.83 c #Conflicts: 515000 | #Constraints: 26842
699.79/701.83 c #Conflicts: 516000 | #Constraints: 27842
699.79/701.83 c INPROCESSING
699.79/701.83 c GARBAGE COLLECT
699.79/701.83 c #Conflicts: 517000 | #Constraints: 14636
699.79/701.83 c #Conflicts: 518000 | #Constraints: 15636
699.79/701.83 c #Conflicts: 519000 | #Constraints: 16636
699.79/701.83 c #Conflicts: 520000 | #Constraints: 17636
699.79/701.83 c #Conflicts: 521000 | #Constraints: 18636
699.79/701.83 c #Conflicts: 522000 | #Constraints: 19636
699.79/701.83 c #Conflicts: 523000 | #Constraints: 20636
699.79/701.83 c #Conflicts: 524000 | #Constraints: 21636
699.79/701.83 c #Conflicts: 525000 | #Constraints: 22636
699.79/701.83 c #Conflicts: 526000 | #Constraints: 23636
699.79/701.83 c #Conflicts: 527000 | #Constraints: 24636
699.79/701.83 c #Conflicts: 528000 | #Constraints: 25636
699.79/701.83 c #Conflicts: 529000 | #Constraints: 26636
699.79/701.83 c #Conflicts: 530000 | #Constraints: 27636
699.79/701.83 c #Conflicts: 531000 | #Constraints: 28636
699.79/701.83 c INPROCESSING
699.79/701.83 c GARBAGE COLLECT
699.79/701.83 c #Conflicts: 532000 | #Constraints: 15241
699.79/701.83 c #Conflicts: 533000 | #Constraints: 16241
699.79/701.83 c #Conflicts: 534000 | #Constraints: 17241
699.79/701.83 c #Conflicts: 535000 | #Constraints: 18241
699.79/701.83 c #Conflicts: 536000 | #Constraints: 19241
699.79/701.83 c #Conflicts: 537000 | #Constraints: 20241
699.79/701.83 c #Conflicts: 538000 | #Constraints: 21241
699.79/701.83 c #Conflicts: 539000 | #Constraints: 22241
699.79/701.83 c #Conflicts: 540000 | #Constraints: 23241
699.79/701.83 c #Conflicts: 541000 | #Constraints: 24241
699.79/701.83 c #Conflicts: 542000 | #Constraints: 25241
699.79/701.83 c #Conflicts: 543000 | #Constraints: 26241
699.79/701.83 c #Conflicts: 544000 | #Constraints: 27241
699.79/701.83 c #Conflicts: 545000 | #Constraints: 28241
699.79/701.83 c #Conflicts: 546000 | #Constraints: 29241
699.79/701.83 c INPROCESSING
699.79/701.83 c GARBAGE COLLECT
699.79/701.83 c #Conflicts: 547000 | #Constraints: 15638
699.79/701.83 c #Conflicts: 548000 | #Constraints: 16638
699.79/701.83 c #Conflicts: 549000 | #Constraints: 17638
699.79/701.83 c #Conflicts: 550000 | #Constraints: 18638
699.79/701.83 c #Conflicts: 551000 | #Constraints: 19638
786.17/788.42 c #Conflicts: 552000 | #Constraints: 20638
786.17/788.42 c #Conflicts: 553000 | #Constraints: 21638
786.17/788.42 c #Conflicts: 554000 | #Constraints: 22638
786.17/788.42 c #Conflicts: 555000 | #Constraints: 23638
786.17/788.42 c #Conflicts: 556000 | #Constraints: 24638
786.17/788.42 c #Conflicts: 557000 | #Constraints: 25638
786.17/788.42 c #Conflicts: 558000 | #Constraints: 26638
786.17/788.42 c #Conflicts: 559000 | #Constraints: 27638
786.17/788.42 c #Conflicts: 560000 | #Constraints: 28638
786.17/788.42 c #Conflicts: 561000 | #Constraints: 29638
786.17/788.42 c INPROCESSING
786.17/788.42 c GARBAGE COLLECT
786.17/788.42 c #Conflicts: 562000 | #Constraints: 15837
786.17/788.42 c #Conflicts: 563000 | #Constraints: 16837
786.17/788.42 c #Conflicts: 564000 | #Constraints: 17837
786.17/788.42 c #Conflicts: 565000 | #Constraints: 18837
786.17/788.42 c #Conflicts: 566000 | #Constraints: 19837
786.17/788.42 c #Conflicts: 567000 | #Constraints: 20837
786.17/788.42 c #Conflicts: 568000 | #Constraints: 21837
786.17/788.42 c #Conflicts: 569000 | #Constraints: 22837
786.17/788.42 c #Conflicts: 570000 | #Constraints: 23837
786.17/788.42 c #Conflicts: 571000 | #Constraints: 24837
786.17/788.42 c #Conflicts: 572000 | #Constraints: 25837
786.17/788.42 c #Conflicts: 573000 | #Constraints: 26837
786.17/788.42 c #Conflicts: 574000 | #Constraints: 27837
786.17/788.42 c #Conflicts: 575000 | #Constraints: 28837
786.17/788.42 c #Conflicts: 576000 | #Constraints: 29837
786.17/788.42 c INPROCESSING
786.17/788.42 c GARBAGE COLLECT
786.17/788.42 c #Conflicts: 577000 | #Constraints: 15838
786.17/788.42 c #Conflicts: 578000 | #Constraints: 16838
786.17/788.42 c #Conflicts: 579000 | #Constraints: 17838
786.17/788.42 c #Conflicts: 580000 | #Constraints: 18838
786.17/788.42 c #Conflicts: 581000 | #Constraints: 19838
786.17/788.42 c #Conflicts: 582000 | #Constraints: 20838
786.17/788.42 c #Conflicts: 583000 | #Constraints: 21838
786.17/788.42 c #Conflicts: 584000 | #Constraints: 22838
786.17/788.42 c #Conflicts: 585000 | #Constraints: 23838
786.17/788.42 c #Conflicts: 586000 | #Constraints: 24838
786.17/788.42 c #Conflicts: 587000 | #Constraints: 25838
786.17/788.42 c #Conflicts: 588000 | #Constraints: 26838
786.17/788.42 c #Conflicts: 589000 | #Constraints: 27838
786.17/788.42 c #Conflicts: 590000 | #Constraints: 28838
786.17/788.42 c #Conflicts: 591000 | #Constraints: 29838
786.17/788.42 c INPROCESSING
786.17/788.42 c GARBAGE COLLECT
786.17/788.42 c #Conflicts: 592000 | #Constraints: 15635
786.17/788.42 c #Conflicts: 593000 | #Constraints: 16635
786.17/788.42 c #Conflicts: 594000 | #Constraints: 17635
786.17/788.42 c #Conflicts: 595000 | #Constraints: 18635
786.17/788.42 c #Conflicts: 596000 | #Constraints: 19635
786.17/788.42 c #Conflicts: 597000 | #Constraints: 20635
786.17/788.42 c #Conflicts: 598000 | #Constraints: 21635
786.17/788.42 c #Conflicts: 599000 | #Constraints: 22635
786.17/788.42 c #Conflicts: 600000 | #Constraints: 23635
786.17/788.42 c #Conflicts: 601000 | #Constraints: 24635
786.17/788.42 c #Conflicts: 602000 | #Constraints: 25635
786.17/788.42 c #Conflicts: 603000 | #Constraints: 26635
786.17/788.42 c #Conflicts: 604000 | #Constraints: 27635
786.17/788.42 c #Conflicts: 605000 | #Constraints: 28635
786.17/788.42 c #Conflicts: 606000 | #Constraints: 29635
786.17/788.42 c #Conflicts: 607000 | #Constraints: 30635
786.17/788.42 c INPROCESSING
786.17/788.42 c GARBAGE COLLECT
786.17/788.42 c #Conflicts: 608000 | #Constraints: 16236
786.17/788.42 c #Conflicts: 609000 | #Constraints: 17236
786.17/788.42 c #Conflicts: 610000 | #Constraints: 18236
786.17/788.42 c #Conflicts: 611000 | #Constraints: 19236
786.17/788.42 c #Conflicts: 612000 | #Constraints: 20236
786.17/788.42 c #Conflicts: 613000 | #Constraints: 21236
786.17/788.42 c #Conflicts: 614000 | #Constraints: 22236
786.17/788.42 c #Conflicts: 615000 | #Constraints: 23236
786.17/788.42 c #Conflicts: 616000 | #Constraints: 24236
786.17/788.42 c #Conflicts: 617000 | #Constraints: 25236
786.17/788.42 c #Conflicts: 618000 | #Constraints: 26236
786.17/788.42 c #Conflicts: 619000 | #Constraints: 27236
786.17/788.42 c #Conflicts: 620000 | #Constraints: 28236
786.17/788.42 c #Conflicts: 621000 | #Constraints: 29236
786.17/788.42 c #Conflicts: 622000 | #Constraints: 30236
786.17/788.42 c #Conflicts: 623000 | #Constraints: 31236
786.17/788.42 c INPROCESSING
786.17/788.42 c GARBAGE COLLECT
786.17/788.42 c #Conflicts: 624000 | #Constraints: 16634
786.17/788.42 c #Conflicts: 625000 | #Constraints: 17634
786.17/788.42 c #Conflicts: 626000 | #Constraints: 18634
878.34/880.81 c #Conflicts: 627000 | #Constraints: 19634
878.34/880.81 c #Conflicts: 628000 | #Constraints: 20634
878.34/880.81 c #Conflicts: 629000 | #Constraints: 21634
878.34/880.81 c #Conflicts: 630000 | #Constraints: 22634
878.34/880.81 c #Conflicts: 631000 | #Constraints: 23634
878.34/880.81 c #Conflicts: 632000 | #Constraints: 24634
878.34/880.81 c #Conflicts: 633000 | #Constraints: 25634
878.34/880.81 c #Conflicts: 634000 | #Constraints: 26634
878.34/880.81 c #Conflicts: 635000 | #Constraints: 27634
878.34/880.81 c #Conflicts: 636000 | #Constraints: 28634
878.34/880.81 c #Conflicts: 637000 | #Constraints: 29634
878.34/880.81 c #Conflicts: 638000 | #Constraints: 30634
878.34/880.81 c #Conflicts: 639000 | #Constraints: 31634
878.34/880.81 c INPROCESSING
878.34/880.81 c GARBAGE COLLECT
878.34/880.81 c #Conflicts: 640000 | #Constraints: 16830
878.34/880.81 c #Conflicts: 641000 | #Constraints: 17830
878.34/880.81 c #Conflicts: 642000 | #Constraints: 18830
878.34/880.81 c #Conflicts: 643000 | #Constraints: 19830
878.34/880.81 c #Conflicts: 644000 | #Constraints: 20830
878.34/880.81 c #Conflicts: 645000 | #Constraints: 21830
878.34/880.81 c #Conflicts: 646000 | #Constraints: 22830
878.34/880.81 c #Conflicts: 647000 | #Constraints: 23830
878.34/880.81 c #Conflicts: 648000 | #Constraints: 24830
878.34/880.81 c #Conflicts: 649000 | #Constraints: 25830
878.34/880.81 c #Conflicts: 650000 | #Constraints: 26830
878.34/880.81 c #Conflicts: 651000 | #Constraints: 27830
878.34/880.81 c #Conflicts: 652000 | #Constraints: 28830
878.34/880.81 c #Conflicts: 653000 | #Constraints: 29830
878.34/880.81 c #Conflicts: 654000 | #Constraints: 30830
878.34/880.81 c #Conflicts: 655000 | #Constraints: 31830
878.34/880.81 c INPROCESSING
878.34/880.81 c GARBAGE COLLECT
878.34/880.81 c #Conflicts: 656000 | #Constraints: 16835
878.34/880.81 c #Conflicts: 657000 | #Constraints: 17835
878.34/880.81 c #Conflicts: 658000 | #Constraints: 18835
878.34/880.81 c #Conflicts: 659000 | #Constraints: 19835
878.34/880.81 c #Conflicts: 660000 | #Constraints: 20835
878.34/880.81 c #Conflicts: 661000 | #Constraints: 21835
878.34/880.81 c #Conflicts: 662000 | #Constraints: 22835
878.34/880.81 c #Conflicts: 663000 | #Constraints: 23835
878.34/880.81 c #Conflicts: 664000 | #Constraints: 24835
878.34/880.81 c #Conflicts: 665000 | #Constraints: 25835
878.34/880.81 c #Conflicts: 666000 | #Constraints: 26835
878.34/880.81 c #Conflicts: 667000 | #Constraints: 27835
878.34/880.81 c #Conflicts: 668000 | #Constraints: 28835
878.34/880.81 c #Conflicts: 669000 | #Constraints: 29835
878.34/880.81 c #Conflicts: 670000 | #Constraints: 30835
878.34/880.81 c #Conflicts: 671000 | #Constraints: 31835
878.34/880.81 c INPROCESSING
878.34/880.81 c GARBAGE COLLECT
878.34/880.81 c #Conflicts: 672000 | #Constraints: 16634
878.34/880.81 c #Conflicts: 673000 | #Constraints: 17634
878.34/880.81 c #Conflicts: 674000 | #Constraints: 18634
878.34/880.81 c #Conflicts: 675000 | #Constraints: 19634
878.34/880.81 c #Conflicts: 676000 | #Constraints: 20634
878.34/880.81 c #Conflicts: 677000 | #Constraints: 21634
878.34/880.81 c #Conflicts: 678000 | #Constraints: 22634
878.34/880.81 c #Conflicts: 679000 | #Constraints: 23634
878.34/880.81 c #Conflicts: 680000 | #Constraints: 24634
878.34/880.81 c #Conflicts: 681000 | #Constraints: 25634
878.34/880.81 c #Conflicts: 682000 | #Constraints: 26634
878.34/880.81 c #Conflicts: 683000 | #Constraints: 27634
878.34/880.81 c #Conflicts: 684000 | #Constraints: 28634
878.34/880.81 c #Conflicts: 685000 | #Constraints: 29634
878.34/880.81 c #Conflicts: 686000 | #Constraints: 30634
878.34/880.81 c #Conflicts: 687000 | #Constraints: 31634
878.34/880.81 c #Conflicts: 688000 | #Constraints: 32634
878.34/880.81 c INPROCESSING
878.34/880.81 c GARBAGE COLLECT
878.34/880.81 c #Conflicts: 689000 | #Constraints: 17232
878.34/880.81 c #Conflicts: 690000 | #Constraints: 18232
878.34/880.81 c #Conflicts: 691000 | #Constraints: 19232
878.34/880.81 c #Conflicts: 692000 | #Constraints: 20232
878.34/880.81 c #Conflicts: 693000 | #Constraints: 21232
878.34/880.81 c #Conflicts: 694000 | #Constraints: 22232
878.34/880.81 c #Conflicts: 695000 | #Constraints: 23232
878.34/880.81 c #Conflicts: 696000 | #Constraints: 24232
878.34/880.81 c #Conflicts: 697000 | #Constraints: 25232
878.34/880.81 c #Conflicts: 698000 | #Constraints: 26232
878.34/880.81 c #Conflicts: 699000 | #Constraints: 27232
878.34/880.81 c #Conflicts: 700000 | #Constraints: 28232
878.34/880.81 c #Conflicts: 701000 | #Constraints: 29232
878.34/880.81 c #Conflicts: 702000 | #Constraints: 30232
991.36/994.17 c #Conflicts: 703000 | #Constraints: 31232
991.36/994.17 c #Conflicts: 704000 | #Constraints: 32232
991.36/994.17 c #Conflicts: 705000 | #Constraints: 33232
991.36/994.17 c INPROCESSING
991.36/994.17 c GARBAGE COLLECT
991.36/994.17 c #Conflicts: 706000 | #Constraints: 17634
991.36/994.17 c #Conflicts: 707000 | #Constraints: 18634
991.36/994.17 c #Conflicts: 708000 | #Constraints: 19634
991.36/994.17 c #Conflicts: 709000 | #Constraints: 20634
991.36/994.17 c #Conflicts: 710000 | #Constraints: 21634
991.36/994.17 c #Conflicts: 711000 | #Constraints: 22634
991.36/994.17 c #Conflicts: 712000 | #Constraints: 23634
991.36/994.17 c #Conflicts: 713000 | #Constraints: 24634
991.36/994.17 c #Conflicts: 714000 | #Constraints: 25634
991.36/994.17 c #Conflicts: 715000 | #Constraints: 26634
991.36/994.17 c #Conflicts: 716000 | #Constraints: 27634
991.36/994.17 c #Conflicts: 717000 | #Constraints: 28634
991.36/994.17 c #Conflicts: 718000 | #Constraints: 29634
991.36/994.17 c #Conflicts: 719000 | #Constraints: 30634
991.36/994.17 c #Conflicts: 720000 | #Constraints: 31634
991.36/994.17 c #Conflicts: 721000 | #Constraints: 32634
991.36/994.17 c #Conflicts: 722000 | #Constraints: 33634
991.36/994.17 c INPROCESSING
991.36/994.17 c GARBAGE COLLECT
991.36/994.17 c #Conflicts: 723000 | #Constraints: 17835
991.36/994.17 c #Conflicts: 724000 | #Constraints: 18835
991.36/994.17 c #Conflicts: 725000 | #Constraints: 19835
991.36/994.17 c #Conflicts: 726000 | #Constraints: 20835
991.36/994.17 c #Conflicts: 727000 | #Constraints: 21835
991.36/994.17 c #Conflicts: 728000 | #Constraints: 22835
991.36/994.17 c #Conflicts: 729000 | #Constraints: 23835
991.36/994.17 c #Conflicts: 730000 | #Constraints: 24835
991.36/994.17 c #Conflicts: 731000 | #Constraints: 25835
991.36/994.17 c #Conflicts: 732000 | #Constraints: 26835
991.36/994.17 c #Conflicts: 733000 | #Constraints: 27835
991.36/994.17 c #Conflicts: 734000 | #Constraints: 28835
991.36/994.17 c #Conflicts: 735000 | #Constraints: 29835
991.36/994.17 c #Conflicts: 736000 | #Constraints: 30835
991.36/994.17 c #Conflicts: 737000 | #Constraints: 31835
991.36/994.17 c #Conflicts: 738000 | #Constraints: 32835
991.36/994.17 c #Conflicts: 739000 | #Constraints: 33835
991.36/994.17 c INPROCESSING
991.36/994.17 c GARBAGE COLLECT
991.36/994.17 c #Conflicts: 740000 | #Constraints: 17838
991.36/994.17 c #Conflicts: 741000 | #Constraints: 18838
991.36/994.17 c #Conflicts: 742000 | #Constraints: 19838
991.36/994.17 c #Conflicts: 743000 | #Constraints: 20838
991.36/994.17 c #Conflicts: 744000 | #Constraints: 21838
991.36/994.17 c #Conflicts: 745000 | #Constraints: 22838
991.36/994.17 c #Conflicts: 746000 | #Constraints: 23838
991.36/994.17 c #Conflicts: 747000 | #Constraints: 24838
991.36/994.17 c #Conflicts: 748000 | #Constraints: 25838
991.36/994.17 c #Conflicts: 749000 | #Constraints: 26838
991.36/994.17 c #Conflicts: 750000 | #Constraints: 27838
991.36/994.17 c #Conflicts: 751000 | #Constraints: 28838
991.36/994.17 c #Conflicts: 752000 | #Constraints: 29838
991.36/994.17 c #Conflicts: 753000 | #Constraints: 30838
991.36/994.17 c #Conflicts: 754000 | #Constraints: 31838
991.36/994.17 c #Conflicts: 755000 | #Constraints: 32838
991.36/994.17 c #Conflicts: 756000 | #Constraints: 33838
991.36/994.17 c INPROCESSING
991.36/994.17 c GARBAGE COLLECT
991.36/994.17 c #Conflicts: 757000 | #Constraints: 17638
991.36/994.17 c #Conflicts: 758000 | #Constraints: 18638
991.36/994.17 c #Conflicts: 759000 | #Constraints: 19638
991.36/994.17 c #Conflicts: 760000 | #Constraints: 20638
991.36/994.17 c #Conflicts: 761000 | #Constraints: 21638
991.36/994.17 c #Conflicts: 762000 | #Constraints: 22638
991.36/994.17 c #Conflicts: 763000 | #Constraints: 23638
991.36/994.17 c #Conflicts: 764000 | #Constraints: 24638
991.36/994.17 c #Conflicts: 765000 | #Constraints: 25638
991.36/994.17 c #Conflicts: 766000 | #Constraints: 26638
991.36/994.17 c #Conflicts: 767000 | #Constraints: 27638
991.36/994.17 c #Conflicts: 768000 | #Constraints: 28638
991.36/994.17 c #Conflicts: 769000 | #Constraints: 29638
991.36/994.17 c #Conflicts: 770000 | #Constraints: 30638
991.36/994.17 c #Conflicts: 771000 | #Constraints: 31638
991.36/994.17 c #Conflicts: 772000 | #Constraints: 32638
991.36/994.17 c #Conflicts: 773000 | #Constraints: 33638
991.36/994.17 c #Conflicts: 774000 | #Constraints: 34638
991.36/994.17 c INPROCESSING
991.36/994.17 c GARBAGE COLLECT
991.36/994.17 c #Conflicts: 775000 | #Constraints: 18236
991.36/994.17 c #Conflicts: 776000 | #Constraints: 19236
991.36/994.17 c #Conflicts: 777000 | #Constraints: 20236
991.36/994.17 c #Conflicts: 778000 | #Constraints: 21236
1098.69/1101.74 c #Conflicts: 779000 | #Constraints: 22236
1098.69/1101.74 c #Conflicts: 780000 | #Constraints: 23236
1098.69/1101.74 c #Conflicts: 781000 | #Constraints: 24236
1098.69/1101.74 c #Conflicts: 782000 | #Constraints: 25236
1098.69/1101.74 c #Conflicts: 783000 | #Constraints: 26236
1098.69/1101.74 c #Conflicts: 784000 | #Constraints: 27236
1098.69/1101.74 c #Conflicts: 785000 | #Constraints: 28236
1098.69/1101.74 c #Conflicts: 786000 | #Constraints: 29236
1098.69/1101.74 c #Conflicts: 787000 | #Constraints: 30236
1098.69/1101.74 c #Conflicts: 788000 | #Constraints: 31236
1098.69/1101.74 c #Conflicts: 789000 | #Constraints: 32236
1098.69/1101.74 c #Conflicts: 790000 | #Constraints: 33236
1098.69/1101.74 c #Conflicts: 791000 | #Constraints: 34236
1098.69/1101.74 c #Conflicts: 792000 | #Constraints: 35236
1098.69/1101.74 c INPROCESSING
1098.69/1101.74 c GARBAGE COLLECT
1098.69/1101.74 c #Conflicts: 793000 | #Constraints: 18633
1098.69/1101.74 c #Conflicts: 794000 | #Constraints: 19633
1098.69/1101.74 c #Conflicts: 795000 | #Constraints: 20633
1098.69/1101.74 c #Conflicts: 796000 | #Constraints: 21633
1098.69/1101.74 c #Conflicts: 797000 | #Constraints: 22633
1098.69/1101.74 c #Conflicts: 798000 | #Constraints: 23633
1098.69/1101.74 c #Conflicts: 799000 | #Constraints: 24633
1098.69/1101.74 c #Conflicts: 800000 | #Constraints: 25633
1098.69/1101.74 c #Conflicts: 801000 | #Constraints: 26633
1098.69/1101.74 c #Conflicts: 802000 | #Constraints: 27633
1098.69/1101.74 c #Conflicts: 803000 | #Constraints: 28633
1098.69/1101.74 c #Conflicts: 804000 | #Constraints: 29633
1098.69/1101.74 c #Conflicts: 805000 | #Constraints: 30633
1098.69/1101.74 c #Conflicts: 806000 | #Constraints: 31633
1098.69/1101.74 c #Conflicts: 807000 | #Constraints: 32633
1098.69/1101.74 c #Conflicts: 808000 | #Constraints: 33633
1098.69/1101.74 c #Conflicts: 809000 | #Constraints: 34633
1098.69/1101.74 c #Conflicts: 810000 | #Constraints: 35633
1098.69/1101.74 c INPROCESSING
1098.69/1101.74 c GARBAGE COLLECT
1098.69/1101.74 c #Conflicts: 811000 | #Constraints: 18834
1098.69/1101.74 c #Conflicts: 812000 | #Constraints: 19834
1098.69/1101.74 c #Conflicts: 813000 | #Constraints: 20834
1098.69/1101.74 c #Conflicts: 814000 | #Constraints: 21834
1098.69/1101.74 c #Conflicts: 815000 | #Constraints: 22834
1098.69/1101.74 c #Conflicts: 816000 | #Constraints: 23834
1098.69/1101.74 c #Conflicts: 817000 | #Constraints: 24834
1098.69/1101.74 c #Conflicts: 818000 | #Constraints: 25834
1098.69/1101.74 c #Conflicts: 819000 | #Constraints: 26834
1098.69/1101.74 c #Conflicts: 820000 | #Constraints: 27834
1098.69/1101.74 c #Conflicts: 821000 | #Constraints: 28834
1098.69/1101.74 c #Conflicts: 822000 | #Constraints: 29834
1098.69/1101.74 c #Conflicts: 823000 | #Constraints: 30834
1098.69/1101.74 c #Conflicts: 824000 | #Constraints: 31834
1098.69/1101.74 c #Conflicts: 825000 | #Constraints: 32834
1098.69/1101.74 c #Conflicts: 826000 | #Constraints: 33834
1098.69/1101.74 c #Conflicts: 827000 | #Constraints: 34834
1098.69/1101.74 c #Conflicts: 828000 | #Constraints: 35834
1098.69/1101.74 c INPROCESSING
1098.69/1101.74 c GARBAGE COLLECT
1098.69/1101.74 c #Conflicts: 829000 | #Constraints: 18834
1098.69/1101.74 c #Conflicts: 830000 | #Constraints: 19834
1098.69/1101.74 c #Conflicts: 831000 | #Constraints: 20834
1098.69/1101.74 c #Conflicts: 832000 | #Constraints: 21834
1098.69/1101.74 c #Conflicts: 833000 | #Constraints: 22834
1098.69/1101.74 c #Conflicts: 834000 | #Constraints: 23834
1098.69/1101.74 c #Conflicts: 835000 | #Constraints: 24834
1098.69/1101.74 c #Conflicts: 836000 | #Constraints: 25834
1098.69/1101.74 c #Conflicts: 837000 | #Constraints: 26834
1098.69/1101.74 c #Conflicts: 838000 | #Constraints: 27834
1098.69/1101.74 c #Conflicts: 839000 | #Constraints: 28834
1098.69/1101.74 c #Conflicts: 840000 | #Constraints: 29834
1098.69/1101.74 c #Conflicts: 841000 | #Constraints: 30834
1098.69/1101.74 c #Conflicts: 842000 | #Constraints: 31834
1098.69/1101.74 c #Conflicts: 843000 | #Constraints: 32834
1098.69/1101.74 c #Conflicts: 844000 | #Constraints: 33834
1098.69/1101.74 c #Conflicts: 845000 | #Constraints: 34834
1098.69/1101.74 c #Conflicts: 846000 | #Constraints: 35834
1098.69/1101.74 c INPROCESSING
1098.69/1101.74 c GARBAGE COLLECT
1098.69/1101.74 c #Conflicts: 847000 | #Constraints: 18637
1098.69/1101.74 c #Conflicts: 848000 | #Constraints: 19637
1098.69/1101.74 c #Conflicts: 849000 | #Constraints: 20637
1098.69/1101.74 c #Conflicts: 850000 | #Constraints: 21637
1098.69/1101.74 c #Conflicts: 851000 | #Constraints: 22637
1098.69/1101.74 c #Conflicts: 852000 | #Constraints: 23637
1098.69/1101.74 c #Conflicts: 853000 | #Constraints: 24637
1098.69/1101.74 c #Conflicts: 854000 | #Constraints: 25637
1207.43/1210.76 c #Conflicts: 855000 | #Constraints: 26637
1207.43/1210.76 c #Conflicts: 856000 | #Constraints: 27637
1207.43/1210.76 c #Conflicts: 857000 | #Constraints: 28637
1207.43/1210.76 c #Conflicts: 858000 | #Constraints: 29637
1207.43/1210.76 c #Conflicts: 859000 | #Constraints: 30637
1207.43/1210.76 c #Conflicts: 860000 | #Constraints: 31637
1207.43/1210.76 c #Conflicts: 861000 | #Constraints: 32637
1207.43/1210.76 c #Conflicts: 862000 | #Constraints: 33637
1207.43/1210.76 c #Conflicts: 863000 | #Constraints: 34637
1207.43/1210.76 c #Conflicts: 864000 | #Constraints: 35637
1207.43/1210.76 c #Conflicts: 865000 | #Constraints: 36637
1207.43/1210.76 c INPROCESSING
1207.43/1210.76 c GARBAGE COLLECT
1207.43/1210.76 c #Conflicts: 866000 | #Constraints: 19234
1207.43/1210.76 c #Conflicts: 867000 | #Constraints: 20234
1207.43/1210.76 c #Conflicts: 868000 | #Constraints: 21234
1207.43/1210.76 c #Conflicts: 869000 | #Constraints: 22234
1207.43/1210.76 c #Conflicts: 870000 | #Constraints: 23234
1207.43/1210.76 c #Conflicts: 871000 | #Constraints: 24234
1207.43/1210.76 c #Conflicts: 872000 | #Constraints: 25234
1207.43/1210.76 c #Conflicts: 873000 | #Constraints: 26234
1207.43/1210.76 c #Conflicts: 874000 | #Constraints: 27234
1207.43/1210.76 c #Conflicts: 875000 | #Constraints: 28234
1207.43/1210.76 c #Conflicts: 876000 | #Constraints: 29234
1207.43/1210.76 c #Conflicts: 877000 | #Constraints: 30234
1207.43/1210.76 c #Conflicts: 878000 | #Constraints: 31234
1207.43/1210.76 c #Conflicts: 879000 | #Constraints: 32234
1207.43/1210.76 c #Conflicts: 880000 | #Constraints: 33234
1207.43/1210.76 c #Conflicts: 881000 | #Constraints: 34234
1207.43/1210.76 c #Conflicts: 882000 | #Constraints: 35234
1207.43/1210.76 c #Conflicts: 883000 | #Constraints: 36234
1207.43/1210.76 c #Conflicts: 884000 | #Constraints: 37234
1207.43/1210.76 c INPROCESSING
1207.43/1210.76 c GARBAGE COLLECT
1207.43/1210.76 c #Conflicts: 885000 | #Constraints: 19635
1207.43/1210.76 c #Conflicts: 886000 | #Constraints: 20635
1207.43/1210.76 c #Conflicts: 887000 | #Constraints: 21635
1207.43/1210.76 c #Conflicts: 888000 | #Constraints: 22635
1207.43/1210.76 c #Conflicts: 889000 | #Constraints: 23635
1207.43/1210.76 c #Conflicts: 890000 | #Constraints: 24635
1207.43/1210.76 c #Conflicts: 891000 | #Constraints: 25635
1207.43/1210.76 c #Conflicts: 892000 | #Constraints: 26635
1207.43/1210.76 c #Conflicts: 893000 | #Constraints: 27635
1207.43/1210.76 c #Conflicts: 894000 | #Constraints: 28635
1207.43/1210.76 c #Conflicts: 895000 | #Constraints: 29635
1207.43/1210.76 c #Conflicts: 896000 | #Constraints: 30635
1207.43/1210.76 c #Conflicts: 897000 | #Constraints: 31635
1207.43/1210.76 c #Conflicts: 898000 | #Constraints: 32635
1207.43/1210.76 c #Conflicts: 899000 | #Constraints: 33635
1207.43/1210.76 c #Conflicts: 900000 | #Constraints: 34635
1207.43/1210.76 c #Conflicts: 901000 | #Constraints: 35635
1207.43/1210.76 c #Conflicts: 902000 | #Constraints: 36635
1207.43/1210.76 c #Conflicts: 903000 | #Constraints: 37635
1207.43/1210.76 c INPROCESSING
1207.43/1210.76 c GARBAGE COLLECT
1207.43/1210.76 c #Conflicts: 904000 | #Constraints: 19836
1207.43/1210.76 c #Conflicts: 905000 | #Constraints: 20836
1207.43/1210.76 c #Conflicts: 906000 | #Constraints: 21836
1207.43/1210.76 c #Conflicts: 907000 | #Constraints: 22836
1207.43/1210.76 c #Conflicts: 908000 | #Constraints: 23836
1207.43/1210.76 c #Conflicts: 909000 | #Constraints: 24836
1207.43/1210.76 c #Conflicts: 910000 | #Constraints: 25836
1207.43/1210.76 c #Conflicts: 911000 | #Constraints: 26836
1207.43/1210.76 c #Conflicts: 912000 | #Constraints: 27836
1207.43/1210.76 c #Conflicts: 913000 | #Constraints: 28836
1207.43/1210.76 c #Conflicts: 914000 | #Constraints: 29836
1207.43/1210.76 c #Conflicts: 915000 | #Constraints: 30836
1207.43/1210.76 c #Conflicts: 916000 | #Constraints: 31836
1207.43/1210.76 c #Conflicts: 917000 | #Constraints: 32836
1207.43/1210.76 c #Conflicts: 918000 | #Constraints: 33836
1207.43/1210.76 c #Conflicts: 919000 | #Constraints: 34836
1207.43/1210.76 c #Conflicts: 920000 | #Constraints: 35836
1207.43/1210.76 c #Conflicts: 921000 | #Constraints: 36836
1207.43/1210.76 c #Conflicts: 922000 | #Constraints: 37836
1207.43/1210.76 c INPROCESSING
1207.43/1210.76 c GARBAGE COLLECT
1207.43/1210.76 c #Conflicts: 923000 | #Constraints: 19835
1207.43/1210.76 c #Conflicts: 924000 | #Constraints: 20835
1207.43/1210.76 c #Conflicts: 925000 | #Constraints: 21835
1207.43/1210.76 c #Conflicts: 926000 | #Constraints: 22835
1207.43/1210.76 c #Conflicts: 927000 | #Constraints: 23835
1207.43/1210.76 c #Conflicts: 928000 | #Constraints: 24835
1207.43/1210.76 c #Conflicts: 929000 | #Constraints: 25835
1207.43/1210.76 c #Conflicts: 930000 | #Constraints: 26835
1349.00/1352.64 c #Conflicts: 931000 | #Constraints: 27835
1349.00/1352.64 c #Conflicts: 932000 | #Constraints: 28835
1349.00/1352.64 c #Conflicts: 933000 | #Constraints: 29835
1349.00/1352.64 c #Conflicts: 934000 | #Constraints: 30835
1349.00/1352.64 c #Conflicts: 935000 | #Constraints: 31835
1349.00/1352.64 c #Conflicts: 936000 | #Constraints: 32835
1349.00/1352.64 c #Conflicts: 937000 | #Constraints: 33835
1349.00/1352.64 c #Conflicts: 938000 | #Constraints: 34835
1349.00/1352.64 c #Conflicts: 939000 | #Constraints: 35835
1349.00/1352.64 c #Conflicts: 940000 | #Constraints: 36835
1349.00/1352.64 c #Conflicts: 941000 | #Constraints: 37835
1349.00/1352.64 c INPROCESSING
1349.00/1352.64 c GARBAGE COLLECT
1349.00/1352.64 c #Conflicts: 942000 | #Constraints: 19639
1349.00/1352.64 c #Conflicts: 943000 | #Constraints: 20639
1349.00/1352.64 c #Conflicts: 944000 | #Constraints: 21639
1349.00/1352.64 c #Conflicts: 945000 | #Constraints: 22639
1349.00/1352.64 c #Conflicts: 946000 | #Constraints: 23639
1349.00/1352.64 c #Conflicts: 947000 | #Constraints: 24639
1349.00/1352.64 c #Conflicts: 948000 | #Constraints: 25639
1349.00/1352.64 c #Conflicts: 949000 | #Constraints: 26639
1349.00/1352.64 c #Conflicts: 950000 | #Constraints: 27639
1349.00/1352.64 c #Conflicts: 951000 | #Constraints: 28639
1349.00/1352.64 c #Conflicts: 952000 | #Constraints: 29639
1349.00/1352.64 c #Conflicts: 953000 | #Constraints: 30639
1349.00/1352.64 c #Conflicts: 954000 | #Constraints: 31639
1349.00/1352.64 c #Conflicts: 955000 | #Constraints: 32639
1349.00/1352.64 c #Conflicts: 956000 | #Constraints: 33639
1349.00/1352.64 c #Conflicts: 957000 | #Constraints: 34639
1349.00/1352.64 c #Conflicts: 958000 | #Constraints: 35639
1349.00/1352.64 c #Conflicts: 959000 | #Constraints: 36639
1349.00/1352.64 c #Conflicts: 960000 | #Constraints: 37639
1349.00/1352.64 c #Conflicts: 961000 | #Constraints: 38639
1349.00/1352.64 c INPROCESSING
1349.00/1352.64 c GARBAGE COLLECT
1349.00/1352.64 c #Conflicts: 962000 | #Constraints: 20240
1349.00/1352.64 c #Conflicts: 963000 | #Constraints: 21240
1349.00/1352.64 c #Conflicts: 964000 | #Constraints: 22240
1349.00/1352.64 c #Conflicts: 965000 | #Constraints: 23240
1349.00/1352.64 c #Conflicts: 966000 | #Constraints: 24240
1349.00/1352.64 c #Conflicts: 967000 | #Constraints: 25240
1349.00/1352.64 c #Conflicts: 968000 | #Constraints: 26240
1349.00/1352.64 c #Conflicts: 969000 | #Constraints: 27240
1349.00/1352.64 c #Conflicts: 970000 | #Constraints: 28240
1349.00/1352.64 c #Conflicts: 971000 | #Constraints: 29240
1349.00/1352.64 c #Conflicts: 972000 | #Constraints: 30240
1349.00/1352.64 c #Conflicts: 973000 | #Constraints: 31240
1349.00/1352.64 c #Conflicts: 974000 | #Constraints: 32240
1349.00/1352.64 c #Conflicts: 975000 | #Constraints: 33240
1349.00/1352.64 c #Conflicts: 976000 | #Constraints: 34240
1349.00/1352.64 c #Conflicts: 977000 | #Constraints: 35240
1349.00/1352.64 c #Conflicts: 978000 | #Constraints: 36240
1349.00/1352.64 c #Conflicts: 979000 | #Constraints: 37240
1349.00/1352.64 c #Conflicts: 980000 | #Constraints: 38240
1349.00/1352.64 c #Conflicts: 981000 | #Constraints: 39240
1349.00/1352.64 c INPROCESSING
1349.00/1352.64 c GARBAGE COLLECT
1349.00/1352.64 c #Conflicts: 982000 | #Constraints: 20642
1349.00/1352.64 c #Conflicts: 983000 | #Constraints: 21642
1349.00/1352.64 c #Conflicts: 984000 | #Constraints: 22642
1349.00/1352.64 c #Conflicts: 985000 | #Constraints: 23642
1349.00/1352.64 c #Conflicts: 986000 | #Constraints: 24642
1349.00/1352.64 c #Conflicts: 987000 | #Constraints: 25642
1349.00/1352.64 c #Conflicts: 988000 | #Constraints: 26642
1349.00/1352.64 c #Conflicts: 989000 | #Constraints: 27642
1349.00/1352.64 c #Conflicts: 990000 | #Constraints: 28642
1349.00/1352.64 c #Conflicts: 991000 | #Constraints: 29642
1349.00/1352.64 c #Conflicts: 992000 | #Constraints: 30642
1349.00/1352.64 c #Conflicts: 993000 | #Constraints: 31642
1349.00/1352.64 c #Conflicts: 994000 | #Constraints: 32642
1349.00/1352.64 c #Conflicts: 995000 | #Constraints: 33642
1349.00/1352.64 c #Conflicts: 996000 | #Constraints: 34642
1349.00/1352.64 c #Conflicts: 997000 | #Constraints: 35642
1349.00/1352.64 c #Conflicts: 998000 | #Constraints: 36642
1349.00/1352.64 c #Conflicts: 999000 | #Constraints: 37642
1349.00/1352.64 c #Conflicts: 1000000 | #Constraints: 38642
1349.00/1352.64 c #Conflicts: 1001000 | #Constraints: 39642
1349.00/1352.64 c INPROCESSING
1349.00/1352.64 c GARBAGE COLLECT
1349.00/1352.64 c #Conflicts: 1002000 | #Constraints: 20845
1349.00/1352.64 c #Conflicts: 1003000 | #Constraints: 21845
1349.00/1352.64 c #Conflicts: 1004000 | #Constraints: 22845
1349.00/1352.64 c #Conflicts: 1005000 | #Constraints: 23845
1349.00/1352.64 c #Conflicts: 1006000 | #Constraints: 24845
1349.00/1352.64 c #Conflicts: 1007000 | #Constraints: 25845
1504.95/1508.97 c #Conflicts: 1008000 | #Constraints: 26845
1504.95/1508.97 c #Conflicts: 1009000 | #Constraints: 27845
1504.95/1508.97 c #Conflicts: 1010000 | #Constraints: 28845
1504.95/1508.97 c #Conflicts: 1011000 | #Constraints: 29845
1504.95/1508.97 c #Conflicts: 1012000 | #Constraints: 30845
1504.95/1508.97 c #Conflicts: 1013000 | #Constraints: 31845
1504.95/1508.97 c #Conflicts: 1014000 | #Constraints: 32845
1504.95/1508.97 c #Conflicts: 1015000 | #Constraints: 33845
1504.95/1508.97 c #Conflicts: 1016000 | #Constraints: 34845
1504.95/1508.97 c #Conflicts: 1017000 | #Constraints: 35845
1504.95/1508.97 c #Conflicts: 1018000 | #Constraints: 36845
1504.95/1508.97 c #Conflicts: 1019000 | #Constraints: 37845
1504.95/1508.97 c #Conflicts: 1020000 | #Constraints: 38845
1504.95/1508.97 c #Conflicts: 1021000 | #Constraints: 39845
1504.95/1508.97 c INPROCESSING
1504.95/1508.97 c GARBAGE COLLECT
1504.95/1508.97 c #Conflicts: 1022000 | #Constraints: 20845
1504.95/1508.97 c #Conflicts: 1023000 | #Constraints: 21845
1504.95/1508.97 c #Conflicts: 1024000 | #Constraints: 22845
1504.95/1508.97 c #Conflicts: 1025000 | #Constraints: 23845
1504.95/1508.97 c #Conflicts: 1026000 | #Constraints: 24845
1504.95/1508.97 c #Conflicts: 1027000 | #Constraints: 25845
1504.95/1508.97 c #Conflicts: 1028000 | #Constraints: 26845
1504.95/1508.97 c #Conflicts: 1029000 | #Constraints: 27845
1504.95/1508.97 c #Conflicts: 1030000 | #Constraints: 28845
1504.95/1508.97 c #Conflicts: 1031000 | #Constraints: 29845
1504.95/1508.97 c #Conflicts: 1032000 | #Constraints: 30845
1504.95/1508.97 c #Conflicts: 1033000 | #Constraints: 31845
1504.95/1508.97 c #Conflicts: 1034000 | #Constraints: 32845
1504.95/1508.97 c #Conflicts: 1035000 | #Constraints: 33845
1504.95/1508.97 c #Conflicts: 1036000 | #Constraints: 34845
1504.95/1508.97 c #Conflicts: 1037000 | #Constraints: 35845
1504.95/1508.97 c #Conflicts: 1038000 | #Constraints: 36845
1504.95/1508.97 c #Conflicts: 1039000 | #Constraints: 37845
1504.95/1508.97 c #Conflicts: 1040000 | #Constraints: 38845
1504.95/1508.97 c #Conflicts: 1041000 | #Constraints: 39845
1504.95/1508.97 c INPROCESSING
1504.95/1508.97 c GARBAGE COLLECT
1504.95/1508.97 c #Conflicts: 1042000 | #Constraints: 20647
1504.95/1508.97 c #Conflicts: 1043000 | #Constraints: 21647
1504.95/1508.97 c #Conflicts: 1044000 | #Constraints: 22647
1504.95/1508.97 c #Conflicts: 1045000 | #Constraints: 23647
1504.95/1508.97 c #Conflicts: 1046000 | #Constraints: 24647
1504.95/1508.97 c #Conflicts: 1047000 | #Constraints: 25647
1504.95/1508.97 c #Conflicts: 1048000 | #Constraints: 26647
1504.95/1508.97 c #Conflicts: 1049000 | #Constraints: 27647
1504.95/1508.97 c #Conflicts: 1050000 | #Constraints: 28647
1504.95/1508.97 c #Conflicts: 1051000 | #Constraints: 29647
1504.95/1508.97 c #Conflicts: 1052000 | #Constraints: 30647
1504.95/1508.97 c #Conflicts: 1053000 | #Constraints: 31647
1504.95/1508.97 c #Conflicts: 1054000 | #Constraints: 32647
1504.95/1508.97 c #Conflicts: 1055000 | #Constraints: 33647
1504.95/1508.97 c #Conflicts: 1056000 | #Constraints: 34647
1504.95/1508.97 c #Conflicts: 1057000 | #Constraints: 35647
1504.95/1508.97 c #Conflicts: 1058000 | #Constraints: 36647
1504.95/1508.97 c #Conflicts: 1059000 | #Constraints: 37647
1504.95/1508.97 c #Conflicts: 1060000 | #Constraints: 38647
1504.95/1508.97 c #Conflicts: 1061000 | #Constraints: 39647
1504.95/1508.97 c #Conflicts: 1062000 | #Constraints: 40647
1504.95/1508.97 c INPROCESSING
1504.95/1508.97 c GARBAGE COLLECT
1504.95/1508.97 c #Conflicts: 1063000 | #Constraints: 21246
1504.95/1508.97 c #Conflicts: 1064000 | #Constraints: 22246
1504.95/1508.97 c #Conflicts: 1065000 | #Constraints: 23246
1504.95/1508.97 c #Conflicts: 1066000 | #Constraints: 24246
1504.95/1508.97 c #Conflicts: 1067000 | #Constraints: 25246
1504.95/1508.97 c #Conflicts: 1068000 | #Constraints: 26246
1504.95/1508.97 c #Conflicts: 1069000 | #Constraints: 27246
1504.95/1508.97 c #Conflicts: 1070000 | #Constraints: 28246
1504.95/1508.97 c #Conflicts: 1071000 | #Constraints: 29246
1504.95/1508.97 c #Conflicts: 1072000 | #Constraints: 30246
1504.95/1508.97 c #Conflicts: 1073000 | #Constraints: 31246
1504.95/1508.97 c #Conflicts: 1074000 | #Constraints: 32246
1504.95/1508.97 c #Conflicts: 1075000 | #Constraints: 33246
1504.95/1508.97 c #Conflicts: 1076000 | #Constraints: 34246
1504.95/1508.97 c #Conflicts: 1077000 | #Constraints: 35246
1504.95/1508.97 c #Conflicts: 1078000 | #Constraints: 36246
1504.95/1508.97 c #Conflicts: 1079000 | #Constraints: 37246
1504.95/1508.97 c #Conflicts: 1080000 | #Constraints: 38246
1504.95/1508.97 c #Conflicts: 1081000 | #Constraints: 39246
1504.95/1508.97 c #Conflicts: 1082000 | #Constraints: 40246
1504.95/1508.97 c #Conflicts: 1083000 | #Constraints: 41246
1504.95/1508.97 c INPROCESSING
1668.34/1672.71 c GARBAGE COLLECT
1668.34/1672.71 c #Conflicts: 1084000 | #Constraints: 21645
1668.34/1672.71 c #Conflicts: 1085000 | #Constraints: 22645
1668.34/1672.71 c #Conflicts: 1086000 | #Constraints: 23645
1668.34/1672.71 c #Conflicts: 1087000 | #Constraints: 24645
1668.34/1672.71 c #Conflicts: 1088000 | #Constraints: 25645
1668.34/1672.71 c #Conflicts: 1089000 | #Constraints: 26645
1668.34/1672.71 c #Conflicts: 1090000 | #Constraints: 27645
1668.34/1672.71 c #Conflicts: 1091000 | #Constraints: 28645
1668.34/1672.71 c #Conflicts: 1092000 | #Constraints: 29645
1668.34/1672.71 c #Conflicts: 1093000 | #Constraints: 30645
1668.34/1672.71 c #Conflicts: 1094000 | #Constraints: 31645
1668.34/1672.71 c #Conflicts: 1095000 | #Constraints: 32645
1668.34/1672.71 c #Conflicts: 1096000 | #Constraints: 33645
1668.34/1672.71 c #Conflicts: 1097000 | #Constraints: 34645
1668.34/1672.71 c #Conflicts: 1098000 | #Constraints: 35645
1668.34/1672.71 c #Conflicts: 1099000 | #Constraints: 36645
1668.34/1672.71 c #Conflicts: 1100000 | #Constraints: 37645
1668.34/1672.71 c #Conflicts: 1101000 | #Constraints: 38645
1668.34/1672.71 c #Conflicts: 1102000 | #Constraints: 39645
1668.34/1672.71 c #Conflicts: 1103000 | #Constraints: 40645
1668.34/1672.71 c #Conflicts: 1104000 | #Constraints: 41645
1668.34/1672.71 c INPROCESSING
1668.34/1672.71 c GARBAGE COLLECT
1668.34/1672.71 c #Conflicts: 1105000 | #Constraints: 21843
1668.34/1672.71 c #Conflicts: 1106000 | #Constraints: 22843
1668.34/1672.71 c #Conflicts: 1107000 | #Constraints: 23843
1668.34/1672.71 c #Conflicts: 1108000 | #Constraints: 24843
1668.34/1672.71 c #Conflicts: 1109000 | #Constraints: 25843
1668.34/1672.71 c #Conflicts: 1110000 | #Constraints: 26843
1668.34/1672.71 c #Conflicts: 1111000 | #Constraints: 27843
1668.34/1672.71 c #Conflicts: 1112000 | #Constraints: 28843
1668.34/1672.71 c #Conflicts: 1113000 | #Constraints: 29843
1668.34/1672.71 c #Conflicts: 1114000 | #Constraints: 30843
1668.34/1672.71 c #Conflicts: 1115000 | #Constraints: 31843
1668.34/1672.71 c #Conflicts: 1116000 | #Constraints: 32843
1668.34/1672.71 c #Conflicts: 1117000 | #Constraints: 33843
1668.34/1672.71 c #Conflicts: 1118000 | #Constraints: 34843
1668.34/1672.71 c #Conflicts: 1119000 | #Constraints: 35843
1668.34/1672.71 c #Conflicts: 1120000 | #Constraints: 36843
1668.34/1672.71 c #Conflicts: 1121000 | #Constraints: 37843
1668.34/1672.71 c #Conflicts: 1122000 | #Constraints: 38843
1668.34/1672.71 c #Conflicts: 1123000 | #Constraints: 39843
1668.34/1672.71 c #Conflicts: 1124000 | #Constraints: 40843
1668.34/1672.71 c #Conflicts: 1125000 | #Constraints: 41843
1668.34/1672.71 c INPROCESSING
1668.34/1672.71 c GARBAGE COLLECT
1668.34/1672.71 c #Conflicts: 1126000 | #Constraints: 21843
1668.34/1672.71 c #Conflicts: 1127000 | #Constraints: 22843
1668.34/1672.71 c #Conflicts: 1128000 | #Constraints: 23843
1668.34/1672.71 c #Conflicts: 1129000 | #Constraints: 24843
1668.34/1672.71 c #Conflicts: 1130000 | #Constraints: 25843
1668.34/1672.71 c #Conflicts: 1131000 | #Constraints: 26843
1668.34/1672.71 c #Conflicts: 1132000 | #Constraints: 27843
1668.34/1672.71 c #Conflicts: 1133000 | #Constraints: 28843
1668.34/1672.71 c #Conflicts: 1134000 | #Constraints: 29843
1668.34/1672.71 c #Conflicts: 1135000 | #Constraints: 30843
1668.34/1672.71 c #Conflicts: 1136000 | #Constraints: 31843
1668.34/1672.71 c #Conflicts: 1137000 | #Constraints: 32843
1668.34/1672.71 c #Conflicts: 1138000 | #Constraints: 33843
1668.34/1672.71 c #Conflicts: 1139000 | #Constraints: 34843
1668.34/1672.71 c #Conflicts: 1140000 | #Constraints: 35843
1668.34/1672.71 c #Conflicts: 1141000 | #Constraints: 36843
1668.34/1672.71 c #Conflicts: 1142000 | #Constraints: 37843
1668.34/1672.71 c #Conflicts: 1143000 | #Constraints: 38843
1668.34/1672.71 c #Conflicts: 1144000 | #Constraints: 39843
1668.34/1672.71 c #Conflicts: 1145000 | #Constraints: 40843
1668.34/1672.71 c #Conflicts: 1146000 | #Constraints: 41843
1668.34/1672.71 c INPROCESSING
1668.34/1672.71 c GARBAGE COLLECT
1668.34/1672.71 c #Conflicts: 1147000 | #Constraints: 21636
1668.34/1672.71 c #Conflicts: 1148000 | #Constraints: 22636
1668.34/1672.71 c #Conflicts: 1149000 | #Constraints: 23636
1668.34/1672.71 c #Conflicts: 1150000 | #Constraints: 24636
1668.34/1672.71 c #Conflicts: 1151000 | #Constraints: 25636
1668.34/1672.71 c #Conflicts: 1152000 | #Constraints: 26636
1668.34/1672.71 c #Conflicts: 1153000 | #Constraints: 27636
1668.34/1672.71 c #Conflicts: 1154000 | #Constraints: 28636
1668.34/1672.71 c #Conflicts: 1155000 | #Constraints: 29636
1668.34/1672.71 c #Conflicts: 1156000 | #Constraints: 30636
1668.34/1672.71 c #Conflicts: 1157000 | #Constraints: 31636
1668.34/1672.71 c #Conflicts: 1158000 | #Constraints: 32636
1668.34/1672.71 c #Conflicts: 1159000 | #Constraints: 33636
1668.34/1672.71 c #Conflicts: 1160000 | #Constraints: 34636
1808.55/1813.31 c #Conflicts: 1161000 | #Constraints: 35636
1808.55/1813.31 c #Conflicts: 1162000 | #Constraints: 36636
1808.55/1813.31 c #Conflicts: 1163000 | #Constraints: 37636
1808.55/1813.31 c #Conflicts: 1164000 | #Constraints: 38636
1808.55/1813.31 c #Conflicts: 1165000 | #Constraints: 39636
1808.55/1813.31 c #Conflicts: 1166000 | #Constraints: 40636
1808.55/1813.31 c #Conflicts: 1167000 | #Constraints: 41636
1808.55/1813.31 c #Conflicts: 1168000 | #Constraints: 42636
1808.55/1813.31 c INPROCESSING
1808.55/1813.31 c GARBAGE COLLECT
1808.55/1813.31 c #Conflicts: 1169000 | #Constraints: 22236
1808.55/1813.31 c #Conflicts: 1170000 | #Constraints: 23236
1808.55/1813.31 c #Conflicts: 1171000 | #Constraints: 24236
1808.55/1813.31 c #Conflicts: 1172000 | #Constraints: 25236
1808.55/1813.31 c #Conflicts: 1173000 | #Constraints: 26236
1808.55/1813.31 c #Conflicts: 1174000 | #Constraints: 27236
1808.55/1813.31 c #Conflicts: 1175000 | #Constraints: 28236
1808.55/1813.31 c #Conflicts: 1176000 | #Constraints: 29236
1808.55/1813.31 c #Conflicts: 1177000 | #Constraints: 30236
1808.55/1813.31 c #Conflicts: 1178000 | #Constraints: 31236
1808.55/1813.31 c #Conflicts: 1179000 | #Constraints: 32236
1808.55/1813.31 c #Conflicts: 1180000 | #Constraints: 33236
1808.55/1813.31 c #Conflicts: 1181000 | #Constraints: 34236
1808.55/1813.31 c #Conflicts: 1182000 | #Constraints: 35236
1808.55/1813.31 c #Conflicts: 1183000 | #Constraints: 36236
1808.55/1813.31 c #Conflicts: 1184000 | #Constraints: 37236
1808.55/1813.31 c #Conflicts: 1185000 | #Constraints: 38236
1808.55/1813.31 c #Conflicts: 1186000 | #Constraints: 39236
1808.55/1813.31 c #Conflicts: 1187000 | #Constraints: 40236
1808.55/1813.31 c #Conflicts: 1188000 | #Constraints: 41236
1808.55/1813.31 c #Conflicts: 1189000 | #Constraints: 42236
1808.55/1813.31 c #Conflicts: 1190000 | #Constraints: 43236
1808.55/1813.31 c INPROCESSING
1808.55/1813.31 c GARBAGE COLLECT
1808.55/1813.31 c #Conflicts: 1191000 | #Constraints: 22640
1808.55/1813.31 c #Conflicts: 1192000 | #Constraints: 23640
1808.55/1813.31 c #Conflicts: 1193000 | #Constraints: 24640
1808.55/1813.31 c #Conflicts: 1194000 | #Constraints: 25640
1808.55/1813.31 c #Conflicts: 1195000 | #Constraints: 26640
1808.55/1813.31 c #Conflicts: 1196000 | #Constraints: 27640
1808.55/1813.31 c #Conflicts: 1197000 | #Constraints: 28640
1808.55/1813.31 c #Conflicts: 1198000 | #Constraints: 29640
1808.55/1813.31 c #Conflicts: 1199000 | #Constraints: 30640
1808.55/1813.31 c #Conflicts: 1200000 | #Constraints: 31640
1808.55/1813.31 c #Conflicts: 1201000 | #Constraints: 32640
1808.55/1813.31 c #Conflicts: 1202000 | #Constraints: 33640
1808.55/1813.31 c #Conflicts: 1203000 | #Constraints: 34640
1808.55/1813.31 c #Conflicts: 1204000 | #Constraints: 35640
1808.55/1813.31 c #Conflicts: 1205000 | #Constraints: 36640
1808.55/1813.31 c #Conflicts: 1206000 | #Constraints: 37640
1808.55/1813.31 c #Conflicts: 1207000 | #Constraints: 38640
1808.55/1813.31 c #Conflicts: 1208000 | #Constraints: 39640
1808.55/1813.31 c #Conflicts: 1209000 | #Constraints: 40640
1808.55/1813.31 c #Conflicts: 1210000 | #Constraints: 41640
1808.55/1813.31 c #Conflicts: 1211000 | #Constraints: 42640
1808.55/1813.31 c #Conflicts: 1212000 | #Constraints: 43640
1808.55/1813.31 c INPROCESSING
1808.55/1813.31 c GARBAGE COLLECT
1808.55/1813.31 c #Conflicts: 1213000 | #Constraints: 22839
1808.55/1813.31 c #Conflicts: 1214000 | #Constraints: 23839
1808.55/1813.31 c #Conflicts: 1215000 | #Constraints: 24839
1808.55/1813.31 c #Conflicts: 1216000 | #Constraints: 25839
1808.55/1813.31 c #Conflicts: 1217000 | #Constraints: 26839
1808.55/1813.31 c #Conflicts: 1218000 | #Constraints: 27839
1808.55/1813.31 c #Conflicts: 1219000 | #Constraints: 28839
1808.55/1813.31 c #Conflicts: 1220000 | #Constraints: 29839
1808.55/1813.31 c #Conflicts: 1221000 | #Constraints: 30839
1808.55/1813.31 c #Conflicts: 1222000 | #Constraints: 31839
1808.55/1813.31 c #Conflicts: 1223000 | #Constraints: 32839
1808.55/1813.31 c #Conflicts: 1224000 | #Constraints: 33839
1808.55/1813.31 c #Conflicts: 1225000 | #Constraints: 34839
1808.55/1813.31 c #Conflicts: 1226000 | #Constraints: 35839
1808.55/1813.31 c #Conflicts: 1227000 | #Constraints: 36839
1808.55/1813.31 c #Conflicts: 1228000 | #Constraints: 37839
1808.55/1813.31 c #Conflicts: 1229000 | #Constraints: 38839
1808.55/1813.31 c #Conflicts: 1230000 | #Constraints: 39839
1808.55/1813.31 c #Conflicts: 1231000 | #Constraints: 40839
1808.55/1813.31 c #Conflicts: 1232000 | #Constraints: 41839
1808.55/1813.31 c #Conflicts: 1233000 | #Constraints: 42839
1808.55/1813.31 c #Conflicts: 1234000 | #Constraints: 43839
1808.55/1813.31 c INPROCESSING
1808.55/1813.31 c GARBAGE COLLECT
1808.55/1813.31 c #Conflicts: 1235000 | #Constraints: 22836
1808.55/1813.31 c #Conflicts: 1236000 | #Constraints: 23836
1949.27/1954.44 c #Conflicts: 1237000 | #Constraints: 24836
1949.27/1954.44 c #Conflicts: 1238000 | #Constraints: 25836
1949.27/1954.44 c #Conflicts: 1239000 | #Constraints: 26836
1949.27/1954.44 c #Conflicts: 1240000 | #Constraints: 27836
1949.27/1954.44 c #Conflicts: 1241000 | #Constraints: 28836
1949.27/1954.44 c #Conflicts: 1242000 | #Constraints: 29836
1949.27/1954.44 c #Conflicts: 1243000 | #Constraints: 30836
1949.27/1954.44 c #Conflicts: 1244000 | #Constraints: 31836
1949.27/1954.44 c #Conflicts: 1245000 | #Constraints: 32836
1949.27/1954.44 c #Conflicts: 1246000 | #Constraints: 33836
1949.27/1954.44 c #Conflicts: 1247000 | #Constraints: 34836
1949.27/1954.44 c #Conflicts: 1248000 | #Constraints: 35836
1949.27/1954.44 c #Conflicts: 1249000 | #Constraints: 36836
1949.27/1954.44 c #Conflicts: 1250000 | #Constraints: 37836
1949.27/1954.44 c #Conflicts: 1251000 | #Constraints: 38836
1949.27/1954.44 c #Conflicts: 1252000 | #Constraints: 39836
1949.27/1954.44 c #Conflicts: 1253000 | #Constraints: 40836
1949.27/1954.44 c #Conflicts: 1254000 | #Constraints: 41836
1949.27/1954.44 c #Conflicts: 1255000 | #Constraints: 42836
1949.27/1954.44 c #Conflicts: 1256000 | #Constraints: 43836
1949.27/1954.44 c INPROCESSING
1949.27/1954.44 c GARBAGE COLLECT
1949.27/1954.44 c #Conflicts: 1257000 | #Constraints: 22636
1949.27/1954.44 c #Conflicts: 1258000 | #Constraints: 23636
1949.27/1954.44 c #Conflicts: 1259000 | #Constraints: 24636
1949.27/1954.44 c #Conflicts: 1260000 | #Constraints: 25636
1949.27/1954.44 c #Conflicts: 1261000 | #Constraints: 26636
1949.27/1954.44 c #Conflicts: 1262000 | #Constraints: 27636
1949.27/1954.44 c #Conflicts: 1263000 | #Constraints: 28636
1949.27/1954.44 c #Conflicts: 1264000 | #Constraints: 29636
1949.27/1954.44 c #Conflicts: 1265000 | #Constraints: 30636
1949.27/1954.44 c #Conflicts: 1266000 | #Constraints: 31636
1949.27/1954.44 c #Conflicts: 1267000 | #Constraints: 32636
1949.27/1954.44 c #Conflicts: 1268000 | #Constraints: 33636
1949.27/1954.44 c #Conflicts: 1269000 | #Constraints: 34636
1949.27/1954.44 c #Conflicts: 1270000 | #Constraints: 35636
1949.27/1954.44 c #Conflicts: 1271000 | #Constraints: 36636
1949.27/1954.44 c #Conflicts: 1272000 | #Constraints: 37636
1949.27/1954.44 c #Conflicts: 1273000 | #Constraints: 38636
1949.27/1954.44 c #Conflicts: 1274000 | #Constraints: 39636
1949.27/1954.44 c #Conflicts: 1275000 | #Constraints: 40636
1949.27/1954.44 c #Conflicts: 1276000 | #Constraints: 41636
1949.27/1954.44 c #Conflicts: 1277000 | #Constraints: 42636
1949.27/1954.44 c #Conflicts: 1278000 | #Constraints: 43636
1949.27/1954.44 c #Conflicts: 1279000 | #Constraints: 44636
1949.27/1954.44 c INPROCESSING
1949.27/1954.44 c GARBAGE COLLECT
1949.27/1954.44 c #Conflicts: 1280000 | #Constraints: 23233
1949.27/1954.44 c #Conflicts: 1281000 | #Constraints: 24233
1949.27/1954.44 c #Conflicts: 1282000 | #Constraints: 25233
1949.27/1954.44 c #Conflicts: 1283000 | #Constraints: 26233
1949.27/1954.44 c #Conflicts: 1284000 | #Constraints: 27233
1949.27/1954.44 c #Conflicts: 1285000 | #Constraints: 28233
1949.27/1954.44 c #Conflicts: 1286000 | #Constraints: 29233
1949.27/1954.44 c #Conflicts: 1287000 | #Constraints: 30233
1949.27/1954.44 c #Conflicts: 1288000 | #Constraints: 31233
1949.27/1954.44 c #Conflicts: 1289000 | #Constraints: 32233
1949.27/1954.44 c #Conflicts: 1290000 | #Constraints: 33233
1949.27/1954.44 c #Conflicts: 1291000 | #Constraints: 34233
1949.27/1954.44 c #Conflicts: 1292000 | #Constraints: 35233
1949.27/1954.44 c #Conflicts: 1293000 | #Constraints: 36233
1949.27/1954.44 c #Conflicts: 1294000 | #Constraints: 37233
1949.27/1954.44 c #Conflicts: 1295000 | #Constraints: 38233
1949.27/1954.44 c #Conflicts: 1296000 | #Constraints: 39233
1949.27/1954.44 c #Conflicts: 1297000 | #Constraints: 40233
1949.27/1954.44 c #Conflicts: 1298000 | #Constraints: 41233
1949.27/1954.44 c #Conflicts: 1299000 | #Constraints: 42233
1949.27/1954.44 c #Conflicts: 1300000 | #Constraints: 43233
1949.27/1954.44 c #Conflicts: 1301000 | #Constraints: 44233
1949.27/1954.44 c #Conflicts: 1302000 | #Constraints: 45233
1949.27/1954.44 c INPROCESSING
1949.27/1954.44 c GARBAGE COLLECT
1949.27/1954.44 c #Conflicts: 1303000 | #Constraints: 23632
1949.27/1954.44 c #Conflicts: 1304000 | #Constraints: 24632
1949.27/1954.44 c #Conflicts: 1305000 | #Constraints: 25632
1949.27/1954.44 c #Conflicts: 1306000 | #Constraints: 26632
1949.27/1954.44 c #Conflicts: 1307000 | #Constraints: 27632
1949.27/1954.44 c #Conflicts: 1308000 | #Constraints: 28632
1949.27/1954.44 c #Conflicts: 1309000 | #Constraints: 29632
1949.27/1954.44 c #Conflicts: 1310000 | #Constraints: 30632
1949.27/1954.44 c #Conflicts: 1311000 | #Constraints: 31632
1949.27/1954.44 c #Conflicts: 1312000 | #Constraints: 32632
1949.27/1954.44 c #Conflicts: 1313000 | #Constraints: 33632
2104.83/2110.48 c #Conflicts: 1314000 | #Constraints: 34632
2104.83/2110.48 c #Conflicts: 1315000 | #Constraints: 35632
2104.83/2110.48 c #Conflicts: 1316000 | #Constraints: 36632
2104.83/2110.48 c #Conflicts: 1317000 | #Constraints: 37632
2104.83/2110.48 c #Conflicts: 1318000 | #Constraints: 38632
2104.83/2110.48 c #Conflicts: 1319000 | #Constraints: 39632
2104.83/2110.48 c #Conflicts: 1320000 | #Constraints: 40632
2104.83/2110.48 c #Conflicts: 1321000 | #Constraints: 41632
2104.83/2110.48 c #Conflicts: 1322000 | #Constraints: 42632
2104.83/2110.48 c #Conflicts: 1323000 | #Constraints: 43632
2104.83/2110.48 c #Conflicts: 1324000 | #Constraints: 44632
2104.83/2110.48 c #Conflicts: 1325000 | #Constraints: 45632
2104.83/2110.48 c INPROCESSING
2104.83/2110.48 c GARBAGE COLLECT
2104.83/2110.48 c #Conflicts: 1326000 | #Constraints: 23838
2104.83/2110.48 c #Conflicts: 1327000 | #Constraints: 24838
2104.83/2110.48 c #Conflicts: 1328000 | #Constraints: 25838
2104.83/2110.48 c #Conflicts: 1329000 | #Constraints: 26838
2104.83/2110.48 c #Conflicts: 1330000 | #Constraints: 27838
2104.83/2110.48 c #Conflicts: 1331000 | #Constraints: 28838
2104.83/2110.48 c #Conflicts: 1332000 | #Constraints: 29838
2104.83/2110.49 c #Conflicts: 1333000 | #Constraints: 30838
2104.83/2110.49 c #Conflicts: 1334000 | #Constraints: 31838
2104.83/2110.49 c #Conflicts: 1335000 | #Constraints: 32838
2104.83/2110.49 c #Conflicts: 1336000 | #Constraints: 33838
2104.83/2110.49 c #Conflicts: 1337000 | #Constraints: 34838
2104.83/2110.49 c #Conflicts: 1338000 | #Constraints: 35838
2104.83/2110.49 c #Conflicts: 1339000 | #Constraints: 36838
2104.83/2110.49 c #Conflicts: 1340000 | #Constraints: 37838
2104.83/2110.49 c #Conflicts: 1341000 | #Constraints: 38838
2104.83/2110.49 c #Conflicts: 1342000 | #Constraints: 39838
2104.83/2110.49 c #Conflicts: 1343000 | #Constraints: 40838
2104.83/2110.49 c #Conflicts: 1344000 | #Constraints: 41838
2104.83/2110.49 c #Conflicts: 1345000 | #Constraints: 42838
2104.83/2110.49 c #Conflicts: 1346000 | #Constraints: 43838
2104.83/2110.49 c #Conflicts: 1347000 | #Constraints: 44838
2104.83/2110.49 c #Conflicts: 1348000 | #Constraints: 45838
2104.83/2110.49 c INPROCESSING
2104.83/2110.49 c GARBAGE COLLECT
2104.83/2110.49 c #Conflicts: 1349000 | #Constraints: 23840
2104.83/2110.49 c #Conflicts: 1350000 | #Constraints: 24840
2104.83/2110.49 c #Conflicts: 1351000 | #Constraints: 25840
2104.83/2110.49 c #Conflicts: 1352000 | #Constraints: 26840
2104.83/2110.49 c #Conflicts: 1353000 | #Constraints: 27840
2104.83/2110.49 c #Conflicts: 1354000 | #Constraints: 28840
2104.83/2110.49 c #Conflicts: 1355000 | #Constraints: 29840
2104.83/2110.49 c #Conflicts: 1356000 | #Constraints: 30840
2104.83/2110.49 c #Conflicts: 1357000 | #Constraints: 31840
2104.83/2110.49 c #Conflicts: 1358000 | #Constraints: 32840
2104.83/2110.49 c #Conflicts: 1359000 | #Constraints: 33840
2104.83/2110.49 c #Conflicts: 1360000 | #Constraints: 34840
2104.83/2110.49 c #Conflicts: 1361000 | #Constraints: 35840
2104.83/2110.49 c #Conflicts: 1362000 | #Constraints: 36840
2104.83/2110.49 c #Conflicts: 1363000 | #Constraints: 37840
2104.83/2110.49 c #Conflicts: 1364000 | #Constraints: 38840
2104.83/2110.49 c #Conflicts: 1365000 | #Constraints: 39840
2104.83/2110.49 c #Conflicts: 1366000 | #Constraints: 40840
2104.83/2110.49 c #Conflicts: 1367000 | #Constraints: 41840
2104.83/2110.49 c #Conflicts: 1368000 | #Constraints: 42840
2104.83/2110.49 c #Conflicts: 1369000 | #Constraints: 43840
2104.83/2110.49 c #Conflicts: 1370000 | #Constraints: 44840
2104.83/2110.49 c #Conflicts: 1371000 | #Constraints: 45840
2104.83/2110.49 c INPROCESSING
2104.83/2110.49 c GARBAGE COLLECT
2104.83/2110.49 c #Conflicts: 1372000 | #Constraints: 23637
2104.83/2110.49 c #Conflicts: 1373000 | #Constraints: 24637
2104.83/2110.49 c #Conflicts: 1374000 | #Constraints: 25637
2104.83/2110.49 c #Conflicts: 1375000 | #Constraints: 26637
2104.83/2110.49 c #Conflicts: 1376000 | #Constraints: 27637
2104.83/2110.49 c #Conflicts: 1377000 | #Constraints: 28637
2104.83/2110.49 c #Conflicts: 1378000 | #Constraints: 29637
2104.83/2110.49 c #Conflicts: 1379000 | #Constraints: 30637
2104.83/2110.49 c #Conflicts: 1380000 | #Constraints: 31637
2104.83/2110.49 c #Conflicts: 1381000 | #Constraints: 32637
2104.83/2110.49 c #Conflicts: 1382000 | #Constraints: 33637
2104.83/2110.49 c #Conflicts: 1383000 | #Constraints: 34637
2104.83/2110.49 c #Conflicts: 1384000 | #Constraints: 35637
2104.83/2110.49 c #Conflicts: 1385000 | #Constraints: 36637
2104.83/2110.49 c #Conflicts: 1386000 | #Constraints: 37637
2104.83/2110.49 c #Conflicts: 1387000 | #Constraints: 38637
2104.83/2110.49 c #Conflicts: 1388000 | #Constraints: 39637
2104.83/2110.49 c #Conflicts: 1389000 | #Constraints: 40637
2104.83/2110.49 c #Conflicts: 1390000 | #Constraints: 41637
2265.59/2271.62 c #Conflicts: 1391000 | #Constraints: 42637
2265.59/2271.62 c #Conflicts: 1392000 | #Constraints: 43637
2265.59/2271.62 c #Conflicts: 1393000 | #Constraints: 44637
2265.59/2271.62 c #Conflicts: 1394000 | #Constraints: 45637
2265.59/2271.62 c #Conflicts: 1395000 | #Constraints: 46637
2265.59/2271.62 c INPROCESSING
2265.59/2271.62 c GARBAGE COLLECT
2265.59/2271.62 c #Conflicts: 1396000 | #Constraints: 24239
2265.59/2271.62 c #Conflicts: 1397000 | #Constraints: 25239
2265.59/2271.62 c #Conflicts: 1398000 | #Constraints: 26239
2265.59/2271.62 c #Conflicts: 1399000 | #Constraints: 27239
2265.59/2271.62 c #Conflicts: 1400000 | #Constraints: 28239
2265.59/2271.62 c #Conflicts: 1401000 | #Constraints: 29239
2265.59/2271.62 c #Conflicts: 1402000 | #Constraints: 30239
2265.59/2271.62 c #Conflicts: 1403000 | #Constraints: 31239
2265.59/2271.62 c #Conflicts: 1404000 | #Constraints: 32239
2265.59/2271.62 c #Conflicts: 1405000 | #Constraints: 33239
2265.59/2271.62 c #Conflicts: 1406000 | #Constraints: 34239
2265.59/2271.62 c #Conflicts: 1407000 | #Constraints: 35239
2265.59/2271.62 c #Conflicts: 1408000 | #Constraints: 36239
2265.59/2271.62 c #Conflicts: 1409000 | #Constraints: 37239
2265.59/2271.62 c #Conflicts: 1410000 | #Constraints: 38239
2265.59/2271.62 c #Conflicts: 1411000 | #Constraints: 39239
2265.59/2271.62 c #Conflicts: 1412000 | #Constraints: 40239
2265.59/2271.62 c #Conflicts: 1413000 | #Constraints: 41239
2265.59/2271.62 c #Conflicts: 1414000 | #Constraints: 42239
2265.59/2271.62 c #Conflicts: 1415000 | #Constraints: 43239
2265.59/2271.62 c #Conflicts: 1416000 | #Constraints: 44239
2265.59/2271.62 c #Conflicts: 1417000 | #Constraints: 45239
2265.59/2271.62 c #Conflicts: 1418000 | #Constraints: 46239
2265.59/2271.62 c #Conflicts: 1419000 | #Constraints: 47239
2265.59/2271.62 c INPROCESSING
2265.59/2271.62 c GARBAGE COLLECT
2265.59/2271.62 c #Conflicts: 1420000 | #Constraints: 24636
2265.59/2271.62 c #Conflicts: 1421000 | #Constraints: 25636
2265.59/2271.62 c #Conflicts: 1422000 | #Constraints: 26636
2265.59/2271.62 c #Conflicts: 1423000 | #Constraints: 27636
2265.59/2271.62 c #Conflicts: 1424000 | #Constraints: 28636
2265.59/2271.62 c #Conflicts: 1425000 | #Constraints: 29636
2265.59/2271.62 c #Conflicts: 1426000 | #Constraints: 30636
2265.59/2271.62 c #Conflicts: 1427000 | #Constraints: 31636
2265.59/2271.62 c #Conflicts: 1428000 | #Constraints: 32636
2265.59/2271.62 c #Conflicts: 1429000 | #Constraints: 33636
2265.59/2271.62 c #Conflicts: 1430000 | #Constraints: 34636
2265.59/2271.62 c #Conflicts: 1431000 | #Constraints: 35636
2265.59/2271.62 c #Conflicts: 1432000 | #Constraints: 36636
2265.59/2271.62 c #Conflicts: 1433000 | #Constraints: 37636
2265.59/2271.62 c #Conflicts: 1434000 | #Constraints: 38636
2265.59/2271.62 c #Conflicts: 1435000 | #Constraints: 39636
2265.59/2271.62 c #Conflicts: 1436000 | #Constraints: 40636
2265.59/2271.62 c #Conflicts: 1437000 | #Constraints: 41636
2265.59/2271.62 c #Conflicts: 1438000 | #Constraints: 42636
2265.59/2271.62 c #Conflicts: 1439000 | #Constraints: 43636
2265.59/2271.62 c #Conflicts: 1440000 | #Constraints: 44636
2265.59/2271.62 c #Conflicts: 1441000 | #Constraints: 45636
2265.59/2271.62 c #Conflicts: 1442000 | #Constraints: 46636
2265.59/2271.62 c #Conflicts: 1443000 | #Constraints: 47636
2265.59/2271.62 c INPROCESSING
2265.59/2271.62 c GARBAGE COLLECT
2265.59/2271.62 c #Conflicts: 1444000 | #Constraints: 24838
2265.59/2271.62 c #Conflicts: 1445000 | #Constraints: 25838
2265.59/2271.62 c #Conflicts: 1446000 | #Constraints: 26838
2265.59/2271.62 c #Conflicts: 1447000 | #Constraints: 27838
2265.59/2271.62 c #Conflicts: 1448000 | #Constraints: 28838
2265.59/2271.62 c #Conflicts: 1449000 | #Constraints: 29838
2265.59/2271.62 c #Conflicts: 1450000 | #Constraints: 30838
2265.59/2271.62 c #Conflicts: 1451000 | #Constraints: 31838
2265.59/2271.62 c #Conflicts: 1452000 | #Constraints: 32838
2265.59/2271.62 c #Conflicts: 1453000 | #Constraints: 33838
2265.59/2271.62 c #Conflicts: 1454000 | #Constraints: 34838
2265.59/2271.62 c #Conflicts: 1455000 | #Constraints: 35838
2265.59/2271.62 c #Conflicts: 1456000 | #Constraints: 36838
2265.59/2271.62 c #Conflicts: 1457000 | #Constraints: 37838
2265.59/2271.62 c #Conflicts: 1458000 | #Constraints: 38838
2265.59/2271.62 c #Conflicts: 1459000 | #Constraints: 39838
2265.59/2271.62 c #Conflicts: 1460000 | #Constraints: 40838
2265.59/2271.62 c #Conflicts: 1461000 | #Constraints: 41838
2265.59/2271.62 c #Conflicts: 1462000 | #Constraints: 42838
2265.59/2271.62 c #Conflicts: 1463000 | #Constraints: 43838
2265.59/2271.62 c #Conflicts: 1464000 | #Constraints: 44838
2265.59/2271.62 c #Conflicts: 1465000 | #Constraints: 45838
2265.59/2271.62 c #Conflicts: 1466000 | #Constraints: 46838
2265.59/2271.62 c #Conflicts: 1467000 | #Constraints: 47838
2428.84/2435.35 c INPROCESSING
2428.84/2435.35 c GARBAGE COLLECT
2428.84/2435.35 c #Conflicts: 1468000 | #Constraints: 24835
2428.84/2435.35 c #Conflicts: 1469000 | #Constraints: 25835
2428.84/2435.35 c #Conflicts: 1470000 | #Constraints: 26835
2428.84/2435.35 c #Conflicts: 1471000 | #Constraints: 27835
2428.84/2435.35 c #Conflicts: 1472000 | #Constraints: 28835
2428.84/2435.35 c #Conflicts: 1473000 | #Constraints: 29835
2428.84/2435.35 c #Conflicts: 1474000 | #Constraints: 30835
2428.84/2435.35 c #Conflicts: 1475000 | #Constraints: 31835
2428.84/2435.35 c #Conflicts: 1476000 | #Constraints: 32835
2428.84/2435.35 c #Conflicts: 1477000 | #Constraints: 33835
2428.84/2435.35 c #Conflicts: 1478000 | #Constraints: 34835
2428.84/2435.35 c #Conflicts: 1479000 | #Constraints: 35835
2428.84/2435.35 c #Conflicts: 1480000 | #Constraints: 36835
2428.84/2435.35 c #Conflicts: 1481000 | #Constraints: 37835
2428.84/2435.35 c #Conflicts: 1482000 | #Constraints: 38835
2428.84/2435.35 c #Conflicts: 1483000 | #Constraints: 39835
2428.84/2435.35 c #Conflicts: 1484000 | #Constraints: 40835
2428.84/2435.35 c #Conflicts: 1485000 | #Constraints: 41835
2428.84/2435.35 c #Conflicts: 1486000 | #Constraints: 42835
2428.84/2435.35 c #Conflicts: 1487000 | #Constraints: 43835
2428.84/2435.35 c #Conflicts: 1488000 | #Constraints: 44835
2428.84/2435.35 c #Conflicts: 1489000 | #Constraints: 45835
2428.84/2435.35 c #Conflicts: 1490000 | #Constraints: 46835
2428.84/2435.35 c #Conflicts: 1491000 | #Constraints: 47835
2428.84/2435.35 c INPROCESSING
2428.84/2435.35 c GARBAGE COLLECT
2428.84/2435.35 c #Conflicts: 1492000 | #Constraints: 24636
2428.84/2435.35 c #Conflicts: 1493000 | #Constraints: 25636
2428.84/2435.35 c #Conflicts: 1494000 | #Constraints: 26636
2428.84/2435.35 c #Conflicts: 1495000 | #Constraints: 27636
2428.84/2435.35 c #Conflicts: 1496000 | #Constraints: 28636
2428.84/2435.35 c #Conflicts: 1497000 | #Constraints: 29636
2428.84/2435.35 c #Conflicts: 1498000 | #Constraints: 30636
2428.84/2435.35 c #Conflicts: 1499000 | #Constraints: 31636
2428.84/2435.35 c #Conflicts: 1500000 | #Constraints: 32636
2428.84/2435.35 c #Conflicts: 1501000 | #Constraints: 33636
2428.84/2435.35 c #Conflicts: 1502000 | #Constraints: 34636
2428.84/2435.35 c #Conflicts: 1503000 | #Constraints: 35636
2428.84/2435.35 c #Conflicts: 1504000 | #Constraints: 36636
2428.84/2435.35 c #Conflicts: 1505000 | #Constraints: 37636
2428.84/2435.35 c #Conflicts: 1506000 | #Constraints: 38636
2428.84/2435.35 c #Conflicts: 1507000 | #Constraints: 39636
2428.84/2435.35 c #Conflicts: 1508000 | #Constraints: 40636
2428.84/2435.35 c #Conflicts: 1509000 | #Constraints: 41636
2428.84/2435.35 c #Conflicts: 1510000 | #Constraints: 42636
2428.84/2435.35 c #Conflicts: 1511000 | #Constraints: 43636
2428.84/2435.35 c #Conflicts: 1512000 | #Constraints: 44636
2428.84/2435.35 c #Conflicts: 1513000 | #Constraints: 45636
2428.84/2435.35 c #Conflicts: 1514000 | #Constraints: 46636
2428.84/2435.35 c #Conflicts: 1515000 | #Constraints: 47636
2428.84/2435.35 c #Conflicts: 1516000 | #Constraints: 48636
2428.84/2435.35 c INPROCESSING
2428.84/2435.35 c GARBAGE COLLECT
2428.84/2435.35 c #Conflicts: 1517000 | #Constraints: 25238
2428.84/2435.35 c #Conflicts: 1518000 | #Constraints: 26238
2428.84/2435.35 c #Conflicts: 1519000 | #Constraints: 27238
2428.84/2435.35 c #Conflicts: 1520000 | #Constraints: 28238
2428.84/2435.35 c #Conflicts: 1521000 | #Constraints: 29238
2428.84/2435.35 c #Conflicts: 1522000 | #Constraints: 30238
2428.84/2435.35 c #Conflicts: 1523000 | #Constraints: 31238
2428.84/2435.35 c #Conflicts: 1524000 | #Constraints: 32238
2428.84/2435.35 c #Conflicts: 1525000 | #Constraints: 33238
2428.84/2435.35 c #Conflicts: 1526000 | #Constraints: 34238
2428.84/2435.35 c #Conflicts: 1527000 | #Constraints: 35238
2428.84/2435.35 c #Conflicts: 1528000 | #Constraints: 36238
2428.84/2435.35 c #Conflicts: 1529000 | #Constraints: 37238
2428.84/2435.35 c #Conflicts: 1530000 | #Constraints: 38238
2428.84/2435.35 c #Conflicts: 1531000 | #Constraints: 39238
2428.84/2435.35 c #Conflicts: 1532000 | #Constraints: 40238
2428.84/2435.35 c #Conflicts: 1533000 | #Constraints: 41238
2428.84/2435.35 c #Conflicts: 1534000 | #Constraints: 42238
2428.84/2435.35 c #Conflicts: 1535000 | #Constraints: 43238
2428.84/2435.35 c #Conflicts: 1536000 | #Constraints: 44238
2428.84/2435.35 c #Conflicts: 1537000 | #Constraints: 45238
2428.84/2435.35 c #Conflicts: 1538000 | #Constraints: 46238
2428.84/2435.35 c #Conflicts: 1539000 | #Constraints: 47238
2428.84/2435.35 c #Conflicts: 1540000 | #Constraints: 48238
2428.84/2435.35 c #Conflicts: 1541000 | #Constraints: 49238
2428.84/2435.35 c INPROCESSING
2428.84/2435.35 c GARBAGE COLLECT
2428.84/2435.35 c #Conflicts: 1542000 | #Constraints: 25638
2428.84/2435.35 c #Conflicts: 1543000 | #Constraints: 26638
2635.17/2642.23 c #Conflicts: 1544000 | #Constraints: 27638
2635.17/2642.23 c #Conflicts: 1545000 | #Constraints: 28638
2635.17/2642.23 c #Conflicts: 1546000 | #Constraints: 29638
2635.17/2642.23 c #Conflicts: 1547000 | #Constraints: 30638
2635.17/2642.23 c #Conflicts: 1548000 | #Constraints: 31638
2635.17/2642.23 c #Conflicts: 1549000 | #Constraints: 32638
2635.17/2642.23 c #Conflicts: 1550000 | #Constraints: 33638
2635.17/2642.23 c #Conflicts: 1551000 | #Constraints: 34638
2635.17/2642.23 c #Conflicts: 1552000 | #Constraints: 35638
2635.17/2642.23 c #Conflicts: 1553000 | #Constraints: 36638
2635.17/2642.23 c #Conflicts: 1554000 | #Constraints: 37638
2635.17/2642.23 c #Conflicts: 1555000 | #Constraints: 38638
2635.17/2642.23 c #Conflicts: 1556000 | #Constraints: 39638
2635.17/2642.23 c #Conflicts: 1557000 | #Constraints: 40638
2635.17/2642.23 c #Conflicts: 1558000 | #Constraints: 41638
2635.17/2642.23 c #Conflicts: 1559000 | #Constraints: 42638
2635.17/2642.23 c #Conflicts: 1560000 | #Constraints: 43638
2635.17/2642.23 c #Conflicts: 1561000 | #Constraints: 44638
2635.17/2642.23 c #Conflicts: 1562000 | #Constraints: 45638
2635.17/2642.23 c #Conflicts: 1563000 | #Constraints: 46638
2635.17/2642.23 c #Conflicts: 1564000 | #Constraints: 47638
2635.17/2642.23 c #Conflicts: 1565000 | #Constraints: 48638
2635.17/2642.23 c #Conflicts: 1566000 | #Constraints: 49638
2635.17/2642.23 c INPROCESSING
2635.17/2642.23 c GARBAGE COLLECT
2635.17/2642.23 c #Conflicts: 1567000 | #Constraints: 25839
2635.17/2642.23 c #Conflicts: 1568000 | #Constraints: 26839
2635.17/2642.23 c #Conflicts: 1569000 | #Constraints: 27839
2635.17/2642.23 c #Conflicts: 1570000 | #Constraints: 28839
2635.17/2642.23 c #Conflicts: 1571000 | #Constraints: 29839
2635.17/2642.23 c #Conflicts: 1572000 | #Constraints: 30839
2635.17/2642.23 c #Conflicts: 1573000 | #Constraints: 31839
2635.17/2642.23 c #Conflicts: 1574000 | #Constraints: 32839
2635.17/2642.23 c #Conflicts: 1575000 | #Constraints: 33839
2635.17/2642.23 c #Conflicts: 1576000 | #Constraints: 34839
2635.17/2642.23 c #Conflicts: 1577000 | #Constraints: 35839
2635.17/2642.23 c #Conflicts: 1578000 | #Constraints: 36839
2635.17/2642.23 c #Conflicts: 1579000 | #Constraints: 37839
2635.17/2642.23 c #Conflicts: 1580000 | #Constraints: 38839
2635.17/2642.23 c #Conflicts: 1581000 | #Constraints: 39839
2635.17/2642.23 c #Conflicts: 1582000 | #Constraints: 40839
2635.17/2642.23 c #Conflicts: 1583000 | #Constraints: 41839
2635.17/2642.23 c #Conflicts: 1584000 | #Constraints: 42839
2635.17/2642.23 c #Conflicts: 1585000 | #Constraints: 43839
2635.17/2642.23 c #Conflicts: 1586000 | #Constraints: 44839
2635.17/2642.23 c #Conflicts: 1587000 | #Constraints: 45839
2635.17/2642.23 c #Conflicts: 1588000 | #Constraints: 46839
2635.17/2642.23 c #Conflicts: 1589000 | #Constraints: 47839
2635.17/2642.23 c #Conflicts: 1590000 | #Constraints: 48839
2635.17/2642.23 c #Conflicts: 1591000 | #Constraints: 49839
2635.17/2642.23 c INPROCESSING
2635.17/2642.23 c GARBAGE COLLECT
2635.17/2642.23 c #Conflicts: 1592000 | #Constraints: 25843
2635.17/2642.23 c #Conflicts: 1593000 | #Constraints: 26843
2635.17/2642.23 c #Conflicts: 1594000 | #Constraints: 27843
2635.17/2642.23 c #Conflicts: 1595000 | #Constraints: 28843
2635.17/2642.23 c #Conflicts: 1596000 | #Constraints: 29843
2635.17/2642.23 c #Conflicts: 1597000 | #Constraints: 30843
2635.17/2642.23 c #Conflicts: 1598000 | #Constraints: 31843
2635.17/2642.23 c #Conflicts: 1599000 | #Constraints: 32843
2635.17/2642.23 c #Conflicts: 1600000 | #Constraints: 33843
2635.17/2642.23 c #Conflicts: 1601000 | #Constraints: 34843
2635.17/2642.23 c #Conflicts: 1602000 | #Constraints: 35843
2635.17/2642.23 c #Conflicts: 1603000 | #Constraints: 36843
2635.17/2642.23 c #Conflicts: 1604000 | #Constraints: 37843
2635.17/2642.23 c #Conflicts: 1605000 | #Constraints: 38843
2635.17/2642.23 c #Conflicts: 1606000 | #Constraints: 39843
2635.17/2642.23 c #Conflicts: 1607000 | #Constraints: 40843
2635.17/2642.23 c #Conflicts: 1608000 | #Constraints: 41843
2635.17/2642.23 c #Conflicts: 1609000 | #Constraints: 42843
2635.17/2642.23 c #Conflicts: 1610000 | #Constraints: 43843
2635.17/2642.23 c #Conflicts: 1611000 | #Constraints: 44843
2635.17/2642.23 c #Conflicts: 1612000 | #Constraints: 45843
2635.17/2642.23 c #Conflicts: 1613000 | #Constraints: 46843
2635.17/2642.23 c #Conflicts: 1614000 | #Constraints: 47843
2635.17/2642.23 c #Conflicts: 1615000 | #Constraints: 48843
2635.17/2642.23 c #Conflicts: 1616000 | #Constraints: 49843
2635.17/2642.23 c INPROCESSING
2635.17/2642.23 c GARBAGE COLLECT
2635.17/2642.23 c #Conflicts: 1617000 | #Constraints: 25644
2635.17/2642.23 c #Conflicts: 1618000 | #Constraints: 26644
2635.17/2642.23 c #Conflicts: 1619000 | #Constraints: 27644
2635.17/2642.23 c #Conflicts: 1620000 | #Constraints: 28644
2831.78/2839.43 c #Conflicts: 1621000 | #Constraints: 29644
2831.78/2839.43 c #Conflicts: 1622000 | #Constraints: 30644
2831.78/2839.43 c #Conflicts: 1623000 | #Constraints: 31644
2831.78/2839.43 c #Conflicts: 1624000 | #Constraints: 32644
2831.78/2839.43 c #Conflicts: 1625000 | #Constraints: 33644
2831.78/2839.43 c #Conflicts: 1626000 | #Constraints: 34644
2831.78/2839.43 c #Conflicts: 1627000 | #Constraints: 35644
2831.78/2839.43 c #Conflicts: 1628000 | #Constraints: 36644
2831.78/2839.43 c #Conflicts: 1629000 | #Constraints: 37644
2831.78/2839.43 c #Conflicts: 1630000 | #Constraints: 38644
2831.78/2839.43 c #Conflicts: 1631000 | #Constraints: 39644
2831.78/2839.43 c #Conflicts: 1632000 | #Constraints: 40644
2831.78/2839.43 c #Conflicts: 1633000 | #Constraints: 41644
2831.78/2839.43 c #Conflicts: 1634000 | #Constraints: 42644
2831.78/2839.43 c #Conflicts: 1635000 | #Constraints: 43644
2831.78/2839.43 c #Conflicts: 1636000 | #Constraints: 44644
2831.78/2839.43 c #Conflicts: 1637000 | #Constraints: 45644
2831.78/2839.43 c #Conflicts: 1638000 | #Constraints: 46644
2831.78/2839.43 c #Conflicts: 1639000 | #Constraints: 47644
2831.78/2839.43 c #Conflicts: 1640000 | #Constraints: 48644
2831.78/2839.43 c #Conflicts: 1641000 | #Constraints: 49644
2831.78/2839.43 c #Conflicts: 1642000 | #Constraints: 50644
2831.78/2839.43 c INPROCESSING
2831.78/2839.43 c GARBAGE COLLECT
2831.78/2839.43 c #Conflicts: 1643000 | #Constraints: 26239
2831.78/2839.43 c #Conflicts: 1644000 | #Constraints: 27239
2831.78/2839.43 c #Conflicts: 1645000 | #Constraints: 28239
2831.78/2839.43 c #Conflicts: 1646000 | #Constraints: 29239
2831.78/2839.43 c #Conflicts: 1647000 | #Constraints: 30239
2831.78/2839.43 c #Conflicts: 1648000 | #Constraints: 31239
2831.78/2839.43 c #Conflicts: 1649000 | #Constraints: 32239
2831.78/2839.43 c #Conflicts: 1650000 | #Constraints: 33239
2831.78/2839.43 c #Conflicts: 1651000 | #Constraints: 34239
2831.78/2839.43 c #Conflicts: 1652000 | #Constraints: 35239
2831.78/2839.43 c #Conflicts: 1653000 | #Constraints: 36239
2831.78/2839.43 c #Conflicts: 1654000 | #Constraints: 37239
2831.78/2839.43 c #Conflicts: 1655000 | #Constraints: 38239
2831.78/2839.43 c #Conflicts: 1656000 | #Constraints: 39239
2831.78/2839.43 c #Conflicts: 1657000 | #Constraints: 40239
2831.78/2839.43 c #Conflicts: 1658000 | #Constraints: 41239
2831.78/2839.43 c #Conflicts: 1659000 | #Constraints: 42239
2831.78/2839.43 c #Conflicts: 1660000 | #Constraints: 43239
2831.78/2839.43 c #Conflicts: 1661000 | #Constraints: 44239
2831.78/2839.43 c #Conflicts: 1662000 | #Constraints: 45239
2831.78/2839.43 c #Conflicts: 1663000 | #Constraints: 46239
2831.78/2839.43 c #Conflicts: 1664000 | #Constraints: 47239
2831.78/2839.43 c #Conflicts: 1665000 | #Constraints: 48239
2831.78/2839.43 c #Conflicts: 1666000 | #Constraints: 49239
2831.78/2839.43 c #Conflicts: 1667000 | #Constraints: 50239
2831.78/2839.43 c #Conflicts: 1668000 | #Constraints: 51239
2831.78/2839.43 c INPROCESSING
2831.78/2839.43 c GARBAGE COLLECT
2831.78/2839.43 c #Conflicts: 1669000 | #Constraints: 26637
2831.78/2839.43 c #Conflicts: 1670000 | #Constraints: 27637
2831.78/2839.43 c #Conflicts: 1671000 | #Constraints: 28637
2831.78/2839.43 c #Conflicts: 1672000 | #Constraints: 29637
2831.78/2839.43 c #Conflicts: 1673000 | #Constraints: 30637
2831.78/2839.43 c #Conflicts: 1674000 | #Constraints: 31637
2831.78/2839.43 c #Conflicts: 1675000 | #Constraints: 32637
2831.78/2839.43 c #Conflicts: 1676000 | #Constraints: 33637
2831.78/2839.43 c #Conflicts: 1677000 | #Constraints: 34637
2831.78/2839.43 c #Conflicts: 1678000 | #Constraints: 35637
2831.78/2839.43 c #Conflicts: 1679000 | #Constraints: 36637
2831.78/2839.43 c #Conflicts: 1680000 | #Constraints: 37637
2831.78/2839.43 c #Conflicts: 1681000 | #Constraints: 38637
2831.78/2839.43 c #Conflicts: 1682000 | #Constraints: 39637
2831.78/2839.43 c #Conflicts: 1683000 | #Constraints: 40637
2831.78/2839.43 c #Conflicts: 1684000 | #Constraints: 41637
2831.78/2839.43 c #Conflicts: 1685000 | #Constraints: 42637
2831.78/2839.43 c #Conflicts: 1686000 | #Constraints: 43637
2831.78/2839.43 c #Conflicts: 1687000 | #Constraints: 44637
2831.78/2839.43 c #Conflicts: 1688000 | #Constraints: 45637
2831.78/2839.43 c #Conflicts: 1689000 | #Constraints: 46637
2831.78/2839.43 c #Conflicts: 1690000 | #Constraints: 47637
2831.78/2839.43 c #Conflicts: 1691000 | #Constraints: 48637
2831.78/2839.43 c #Conflicts: 1692000 | #Constraints: 49637
2831.78/2839.43 c #Conflicts: 1693000 | #Constraints: 50637
2831.78/2839.43 c #Conflicts: 1694000 | #Constraints: 51637
2831.78/2839.43 c INPROCESSING
2831.78/2839.43 c GARBAGE COLLECT
2831.78/2839.43 c #Conflicts: 1695000 | #Constraints: 26837
2831.78/2839.43 c #Conflicts: 1696000 | #Constraints: 27837
2831.78/2839.43 c #Conflicts: 1697000 | #Constraints: 28837
3030.21/3038.44 c #Conflicts: 1698000 | #Constraints: 29837
3030.21/3038.44 c #Conflicts: 1699000 | #Constraints: 30837
3030.21/3038.44 c #Conflicts: 1700000 | #Constraints: 31837
3030.21/3038.44 c #Conflicts: 1701000 | #Constraints: 32837
3030.21/3038.44 c #Conflicts: 1702000 | #Constraints: 33837
3030.21/3038.44 c #Conflicts: 1703000 | #Constraints: 34837
3030.21/3038.44 c #Conflicts: 1704000 | #Constraints: 35837
3030.21/3038.44 c #Conflicts: 1705000 | #Constraints: 36837
3030.21/3038.44 c #Conflicts: 1706000 | #Constraints: 37837
3030.21/3038.44 c #Conflicts: 1707000 | #Constraints: 38837
3030.21/3038.44 c #Conflicts: 1708000 | #Constraints: 39837
3030.21/3038.44 c #Conflicts: 1709000 | #Constraints: 40837
3030.21/3038.44 c #Conflicts: 1710000 | #Constraints: 41837
3030.21/3038.44 c #Conflicts: 1711000 | #Constraints: 42837
3030.21/3038.44 c #Conflicts: 1712000 | #Constraints: 43837
3030.21/3038.44 c #Conflicts: 1713000 | #Constraints: 44837
3030.21/3038.44 c #Conflicts: 1714000 | #Constraints: 45837
3030.21/3038.44 c #Conflicts: 1715000 | #Constraints: 46837
3030.21/3038.44 c #Conflicts: 1716000 | #Constraints: 47837
3030.21/3038.44 c #Conflicts: 1717000 | #Constraints: 48837
3030.21/3038.44 c #Conflicts: 1718000 | #Constraints: 49837
3030.21/3038.44 c #Conflicts: 1719000 | #Constraints: 50837
3030.21/3038.44 c #Conflicts: 1720000 | #Constraints: 51837
3030.21/3038.44 c INPROCESSING
3030.21/3038.44 c GARBAGE COLLECT
3030.21/3038.44 c #Conflicts: 1721000 | #Constraints: 26834
3030.21/3038.44 c #Conflicts: 1722000 | #Constraints: 27834
3030.21/3038.44 c #Conflicts: 1723000 | #Constraints: 28834
3030.21/3038.44 c #Conflicts: 1724000 | #Constraints: 29834
3030.21/3038.44 c #Conflicts: 1725000 | #Constraints: 30834
3030.21/3038.44 c #Conflicts: 1726000 | #Constraints: 31834
3030.21/3038.44 c #Conflicts: 1727000 | #Constraints: 32834
3030.21/3038.44 c #Conflicts: 1728000 | #Constraints: 33834
3030.21/3038.44 c #Conflicts: 1729000 | #Constraints: 34834
3030.21/3038.44 c #Conflicts: 1730000 | #Constraints: 35834
3030.21/3038.44 c #Conflicts: 1731000 | #Constraints: 36834
3030.21/3038.44 c #Conflicts: 1732000 | #Constraints: 37834
3030.21/3038.44 c #Conflicts: 1733000 | #Constraints: 38834
3030.21/3038.44 c #Conflicts: 1734000 | #Constraints: 39834
3030.21/3038.44 c #Conflicts: 1735000 | #Constraints: 40834
3030.21/3038.44 c #Conflicts: 1736000 | #Constraints: 41834
3030.21/3038.44 c #Conflicts: 1737000 | #Constraints: 42834
3030.21/3038.44 c #Conflicts: 1738000 | #Constraints: 43834
3030.21/3038.44 c #Conflicts: 1739000 | #Constraints: 44834
3030.21/3038.44 c #Conflicts: 1740000 | #Constraints: 45834
3030.21/3038.44 c #Conflicts: 1741000 | #Constraints: 46834
3030.21/3038.44 c #Conflicts: 1742000 | #Constraints: 47834
3030.21/3038.44 c #Conflicts: 1743000 | #Constraints: 48834
3030.21/3038.44 c #Conflicts: 1744000 | #Constraints: 49834
3030.21/3038.44 c #Conflicts: 1745000 | #Constraints: 50834
3030.21/3038.44 c #Conflicts: 1746000 | #Constraints: 51834
3030.21/3038.44 c INPROCESSING
3030.21/3038.44 c GARBAGE COLLECT
3030.21/3038.44 c #Conflicts: 1747000 | #Constraints: 26637
3030.21/3038.44 c #Conflicts: 1748000 | #Constraints: 27637
3030.21/3038.44 c #Conflicts: 1749000 | #Constraints: 28637
3030.21/3038.44 c #Conflicts: 1750000 | #Constraints: 29637
3030.21/3038.44 c #Conflicts: 1751000 | #Constraints: 30637
3030.21/3038.44 c #Conflicts: 1752000 | #Constraints: 31637
3030.21/3038.44 c #Conflicts: 1753000 | #Constraints: 32637
3030.21/3038.44 c #Conflicts: 1754000 | #Constraints: 33637
3030.21/3038.44 c #Conflicts: 1755000 | #Constraints: 34637
3030.21/3038.44 c #Conflicts: 1756000 | #Constraints: 35637
3030.21/3038.44 c #Conflicts: 1757000 | #Constraints: 36637
3030.21/3038.44 c #Conflicts: 1758000 | #Constraints: 37637
3030.21/3038.44 c #Conflicts: 1759000 | #Constraints: 38637
3030.21/3038.44 c #Conflicts: 1760000 | #Constraints: 39637
3030.21/3038.44 c #Conflicts: 1761000 | #Constraints: 40637
3030.21/3038.44 c #Conflicts: 1762000 | #Constraints: 41637
3030.21/3038.44 c #Conflicts: 1763000 | #Constraints: 42637
3030.21/3038.44 c #Conflicts: 1764000 | #Constraints: 43637
3030.21/3038.44 c #Conflicts: 1765000 | #Constraints: 44637
3030.21/3038.44 c #Conflicts: 1766000 | #Constraints: 45637
3030.21/3038.44 c #Conflicts: 1767000 | #Constraints: 46637
3030.21/3038.44 c #Conflicts: 1768000 | #Constraints: 47637
3030.21/3038.44 c #Conflicts: 1769000 | #Constraints: 48637
3030.21/3038.44 c #Conflicts: 1770000 | #Constraints: 49637
3030.21/3038.44 c #Conflicts: 1771000 | #Constraints: 50637
3030.21/3038.44 c #Conflicts: 1772000 | #Constraints: 51637
3030.21/3038.44 c #Conflicts: 1773000 | #Constraints: 52637
3030.21/3038.44 c INPROCESSING
3030.21/3038.44 c GARBAGE COLLECT
3225.86/3234.58 c #Conflicts: 1774000 | #Constraints: 27236
3225.86/3234.58 c #Conflicts: 1775000 | #Constraints: 28236
3225.86/3234.58 c #Conflicts: 1776000 | #Constraints: 29236
3225.86/3234.58 c #Conflicts: 1777000 | #Constraints: 30236
3225.86/3234.58 c #Conflicts: 1778000 | #Constraints: 31236
3225.86/3234.58 c #Conflicts: 1779000 | #Constraints: 32236
3225.86/3234.58 c #Conflicts: 1780000 | #Constraints: 33236
3225.86/3234.58 c #Conflicts: 1781000 | #Constraints: 34236
3225.86/3234.58 c #Conflicts: 1782000 | #Constraints: 35236
3225.86/3234.58 c #Conflicts: 1783000 | #Constraints: 36236
3225.86/3234.58 c #Conflicts: 1784000 | #Constraints: 37236
3225.86/3234.58 c #Conflicts: 1785000 | #Constraints: 38236
3225.86/3234.58 c #Conflicts: 1786000 | #Constraints: 39236
3225.86/3234.58 c #Conflicts: 1787000 | #Constraints: 40236
3225.86/3234.58 c #Conflicts: 1788000 | #Constraints: 41236
3225.86/3234.58 c #Conflicts: 1789000 | #Constraints: 42236
3225.86/3234.58 c #Conflicts: 1790000 | #Constraints: 43236
3225.86/3234.58 c #Conflicts: 1791000 | #Constraints: 44236
3225.86/3234.58 c #Conflicts: 1792000 | #Constraints: 45236
3225.86/3234.58 c #Conflicts: 1793000 | #Constraints: 46236
3225.86/3234.58 c #Conflicts: 1794000 | #Constraints: 47236
3225.86/3234.58 c #Conflicts: 1795000 | #Constraints: 48236
3225.86/3234.58 c #Conflicts: 1796000 | #Constraints: 49236
3225.86/3234.58 c #Conflicts: 1797000 | #Constraints: 50236
3225.86/3234.58 c #Conflicts: 1798000 | #Constraints: 51236
3225.86/3234.58 c #Conflicts: 1799000 | #Constraints: 52236
3225.86/3234.58 c #Conflicts: 1800000 | #Constraints: 53236
3225.86/3234.58 c INPROCESSING
3225.86/3234.58 c GARBAGE COLLECT
3225.86/3234.58 c #Conflicts: 1801000 | #Constraints: 27631
3225.86/3234.58 c #Conflicts: 1802000 | #Constraints: 28631
3225.86/3234.58 c #Conflicts: 1803000 | #Constraints: 29631
3225.86/3234.58 c #Conflicts: 1804000 | #Constraints: 30631
3225.86/3234.58 c #Conflicts: 1805000 | #Constraints: 31631
3225.86/3234.58 c #Conflicts: 1806000 | #Constraints: 32631
3225.86/3234.58 c #Conflicts: 1807000 | #Constraints: 33631
3225.86/3234.58 c #Conflicts: 1808000 | #Constraints: 34631
3225.86/3234.58 c #Conflicts: 1809000 | #Constraints: 35631
3225.86/3234.58 c #Conflicts: 1810000 | #Constraints: 36631
3225.86/3234.58 c #Conflicts: 1811000 | #Constraints: 37631
3225.86/3234.58 c #Conflicts: 1812000 | #Constraints: 38631
3225.86/3234.58 c #Conflicts: 1813000 | #Constraints: 39631
3225.86/3234.58 c #Conflicts: 1814000 | #Constraints: 40631
3225.86/3234.58 c #Conflicts: 1815000 | #Constraints: 41631
3225.86/3234.58 c #Conflicts: 1816000 | #Constraints: 42631
3225.86/3234.58 c #Conflicts: 1817000 | #Constraints: 43631
3225.86/3234.58 c #Conflicts: 1818000 | #Constraints: 44631
3225.86/3234.58 c #Conflicts: 1819000 | #Constraints: 45631
3225.86/3234.58 c #Conflicts: 1820000 | #Constraints: 46631
3225.86/3234.58 c #Conflicts: 1821000 | #Constraints: 47631
3225.86/3234.58 c #Conflicts: 1822000 | #Constraints: 48631
3225.86/3234.58 c #Conflicts: 1823000 | #Constraints: 49631
3225.86/3234.58 c #Conflicts: 1824000 | #Constraints: 50631
3225.86/3234.58 c #Conflicts: 1825000 | #Constraints: 51631
3225.86/3234.58 c #Conflicts: 1826000 | #Constraints: 52631
3225.86/3234.58 c #Conflicts: 1827000 | #Constraints: 53631
3225.86/3234.58 c INPROCESSING
3225.86/3234.58 c GARBAGE COLLECT
3225.86/3234.58 c #Conflicts: 1828000 | #Constraints: 27832
3225.86/3234.58 c #Conflicts: 1829000 | #Constraints: 28832
3225.86/3234.58 c #Conflicts: 1830000 | #Constraints: 29832
3225.86/3234.58 c #Conflicts: 1831000 | #Constraints: 30832
3225.86/3234.58 c #Conflicts: 1832000 | #Constraints: 31832
3225.86/3234.58 c #Conflicts: 1833000 | #Constraints: 32832
3225.86/3234.58 c #Conflicts: 1834000 | #Constraints: 33832
3225.86/3234.58 c #Conflicts: 1835000 | #Constraints: 34832
3225.86/3234.58 c #Conflicts: 1836000 | #Constraints: 35832
3225.86/3234.58 c #Conflicts: 1837000 | #Constraints: 36832
3225.86/3234.58 c #Conflicts: 1838000 | #Constraints: 37832
3225.86/3234.58 c #Conflicts: 1839000 | #Constraints: 38832
3225.86/3234.58 c #Conflicts: 1840000 | #Constraints: 39832
3225.86/3234.58 c #Conflicts: 1841000 | #Constraints: 40832
3225.86/3234.58 c #Conflicts: 1842000 | #Constraints: 41832
3225.86/3234.58 c #Conflicts: 1843000 | #Constraints: 42832
3225.86/3234.58 c #Conflicts: 1844000 | #Constraints: 43832
3225.86/3234.58 c #Conflicts: 1845000 | #Constraints: 44832
3225.86/3234.58 c #Conflicts: 1846000 | #Constraints: 45832
3225.86/3234.58 c #Conflicts: 1847000 | #Constraints: 46832
3225.86/3234.58 c #Conflicts: 1848000 | #Constraints: 47832
3225.86/3234.58 c #Conflicts: 1849000 | #Constraints: 48832
3225.86/3234.58 c #Conflicts: 1850000 | #Constraints: 49832
3225.86/3234.58 c #Conflicts: 1851000 | #Constraints: 50832
3418.93/3428.02 c #Conflicts: 1852000 | #Constraints: 51832
3418.93/3428.02 c #Conflicts: 1853000 | #Constraints: 52832
3418.93/3428.02 c #Conflicts: 1854000 | #Constraints: 53832
3418.93/3428.02 c INPROCESSING
3418.93/3428.02 c GARBAGE COLLECT
3418.93/3428.02 c #Conflicts: 1855000 | #Constraints: 27838
3418.93/3428.02 c #Conflicts: 1856000 | #Constraints: 28838
3418.93/3428.02 c #Conflicts: 1857000 | #Constraints: 29838
3418.93/3428.02 c #Conflicts: 1858000 | #Constraints: 30838
3418.93/3428.02 c #Conflicts: 1859000 | #Constraints: 31838
3418.93/3428.02 c #Conflicts: 1860000 | #Constraints: 32838
3418.93/3428.02 c #Conflicts: 1861000 | #Constraints: 33838
3418.93/3428.02 c #Conflicts: 1862000 | #Constraints: 34838
3418.93/3428.02 c #Conflicts: 1863000 | #Constraints: 35838
3418.93/3428.02 c #Conflicts: 1864000 | #Constraints: 36838
3418.93/3428.02 c #Conflicts: 1865000 | #Constraints: 37838
3418.93/3428.02 c #Conflicts: 1866000 | #Constraints: 38838
3418.93/3428.02 c #Conflicts: 1867000 | #Constraints: 39838
3418.93/3428.02 c #Conflicts: 1868000 | #Constraints: 40838
3418.93/3428.02 c #Conflicts: 1869000 | #Constraints: 41838
3418.93/3428.02 c #Conflicts: 1870000 | #Constraints: 42838
3418.93/3428.02 c #Conflicts: 1871000 | #Constraints: 43838
3418.93/3428.02 c #Conflicts: 1872000 | #Constraints: 44838
3418.93/3428.02 c #Conflicts: 1873000 | #Constraints: 45838
3418.93/3428.02 c #Conflicts: 1874000 | #Constraints: 46838
3418.93/3428.02 c #Conflicts: 1875000 | #Constraints: 47838
3418.93/3428.02 c #Conflicts: 1876000 | #Constraints: 48838
3418.93/3428.02 c #Conflicts: 1877000 | #Constraints: 49838
3418.93/3428.02 c #Conflicts: 1878000 | #Constraints: 50838
3418.93/3428.02 c #Conflicts: 1879000 | #Constraints: 51838
3418.93/3428.02 c #Conflicts: 1880000 | #Constraints: 52838
3418.93/3428.02 c #Conflicts: 1881000 | #Constraints: 53838
3418.93/3428.02 c INPROCESSING
3418.93/3428.02 c GARBAGE COLLECT
3418.93/3428.02 c #Conflicts: 1882000 | #Constraints: 27635
3418.93/3428.02 c #Conflicts: 1883000 | #Constraints: 28635
3418.93/3428.02 c #Conflicts: 1884000 | #Constraints: 29635
3418.93/3428.02 c #Conflicts: 1885000 | #Constraints: 30635
3418.93/3428.02 c #Conflicts: 1886000 | #Constraints: 31635
3418.93/3428.02 c #Conflicts: 1887000 | #Constraints: 32635
3418.93/3428.02 c #Conflicts: 1888000 | #Constraints: 33635
3418.93/3428.02 c #Conflicts: 1889000 | #Constraints: 34635
3418.93/3428.02 c #Conflicts: 1890000 | #Constraints: 35635
3418.93/3428.02 c #Conflicts: 1891000 | #Constraints: 36635
3418.93/3428.02 c #Conflicts: 1892000 | #Constraints: 37635
3418.93/3428.02 c #Conflicts: 1893000 | #Constraints: 38635
3418.93/3428.02 c #Conflicts: 1894000 | #Constraints: 39635
3418.93/3428.02 c #Conflicts: 1895000 | #Constraints: 40635
3418.93/3428.02 c #Conflicts: 1896000 | #Constraints: 41635
3418.93/3428.02 c #Conflicts: 1897000 | #Constraints: 42635
3418.93/3428.02 c #Conflicts: 1898000 | #Constraints: 43635
3418.93/3428.02 c #Conflicts: 1899000 | #Constraints: 44635
3418.93/3428.02 c #Conflicts: 1900000 | #Constraints: 45635
3418.93/3428.02 c #Conflicts: 1901000 | #Constraints: 46635
3418.93/3428.02 c #Conflicts: 1902000 | #Constraints: 47635
3418.93/3428.02 c #Conflicts: 1903000 | #Constraints: 48635
3418.93/3428.02 c #Conflicts: 1904000 | #Constraints: 49635
3418.93/3428.02 c #Conflicts: 1905000 | #Constraints: 50635
3418.93/3428.02 c #Conflicts: 1906000 | #Constraints: 51635
3418.93/3428.02 c #Conflicts: 1907000 | #Constraints: 52635
3418.93/3428.02 c #Conflicts: 1908000 | #Constraints: 53635
3418.93/3428.02 c #Conflicts: 1909000 | #Constraints: 54635
3418.93/3428.02 c INPROCESSING
3418.93/3428.02 c GARBAGE COLLECT
3418.93/3428.02 c #Conflicts: 1910000 | #Constraints: 28237
3418.93/3428.02 c #Conflicts: 1911000 | #Constraints: 29237
3418.93/3428.02 c #Conflicts: 1912000 | #Constraints: 30237
3418.93/3428.02 c #Conflicts: 1913000 | #Constraints: 31237
3418.93/3428.02 c #Conflicts: 1914000 | #Constraints: 32237
3418.93/3428.02 c #Conflicts: 1915000 | #Constraints: 33237
3418.93/3428.02 c #Conflicts: 1916000 | #Constraints: 34237
3418.93/3428.02 c #Conflicts: 1917000 | #Constraints: 35237
3418.93/3428.02 c #Conflicts: 1918000 | #Constraints: 36237
3418.93/3428.02 c #Conflicts: 1919000 | #Constraints: 37237
3418.93/3428.02 c #Conflicts: 1920000 | #Constraints: 38237
3418.93/3428.02 c #Conflicts: 1921000 | #Constraints: 39237
3418.93/3428.02 c #Conflicts: 1922000 | #Constraints: 40237
3418.93/3428.02 c #Conflicts: 1923000 | #Constraints: 41237
3418.93/3428.02 c #Conflicts: 1924000 | #Constraints: 42237
3418.93/3428.02 c #Conflicts: 1925000 | #Constraints: 43237
3418.93/3428.02 c #Conflicts: 1926000 | #Constraints: 44237
3418.93/3428.02 c #Conflicts: 1927000 | #Constraints: 45237
3418.93/3428.02 c #Conflicts: 1928000 | #Constraints: 46237
3600.01/3609.50 c #Conflicts: 1929000 | #Constraints: 47237
3600.01/3609.50 c #Conflicts: 1930000 | #Constraints: 48237
3600.01/3609.50 c #Conflicts: 1931000 | #Constraints: 49237
3600.01/3609.50 c #Conflicts: 1932000 | #Constraints: 50237
3600.01/3609.50 c #Conflicts: 1933000 | #Constraints: 51237
3600.01/3609.50 c #Conflicts: 1934000 | #Constraints: 52237
3600.01/3609.50 c #Conflicts: 1935000 | #Constraints: 53237
3600.01/3609.50 c #Conflicts: 1936000 | #Constraints: 54237
3600.01/3609.50 c #Conflicts: 1937000 | #Constraints: 55237
3600.01/3609.50 c INPROCESSING
3600.01/3609.50 c GARBAGE COLLECT
3600.01/3609.50 c #Conflicts: 1938000 | #Constraints: 28636
3600.01/3609.50 c #Conflicts: 1939000 | #Constraints: 29636
3600.01/3609.50 c #Conflicts: 1940000 | #Constraints: 30636
3600.01/3609.50 c #Conflicts: 1941000 | #Constraints: 31636
3600.01/3609.50 c #Conflicts: 1942000 | #Constraints: 32636
3600.01/3609.50 c #Conflicts: 1943000 | #Constraints: 33636
3600.01/3609.50 c #Conflicts: 1944000 | #Constraints: 34636
3600.01/3609.50 c #Conflicts: 1945000 | #Constraints: 35636
3600.01/3609.50 c #Conflicts: 1946000 | #Constraints: 36636
3600.01/3609.50 c #Conflicts: 1947000 | #Constraints: 37636
3600.01/3609.50 c #Conflicts: 1948000 | #Constraints: 38636
3600.01/3609.50 c #Conflicts: 1949000 | #Constraints: 39636
3600.01/3609.50 c #Conflicts: 1950000 | #Constraints: 40636
3600.01/3609.50 c #Conflicts: 1951000 | #Constraints: 41636
3600.01/3609.50 c #Conflicts: 1952000 | #Constraints: 42636
3600.01/3609.50 c #Conflicts: 1953000 | #Constraints: 43636
3600.01/3609.50 c #Conflicts: 1954000 | #Constraints: 44636
3600.01/3609.50 c #Conflicts: 1955000 | #Constraints: 45636
3600.01/3609.50 c #Conflicts: 1956000 | #Constraints: 46636
3600.01/3609.50 c #Conflicts: 1957000 | #Constraints: 47636
3600.01/3609.50 c #Conflicts: 1958000 | #Constraints: 48636
3600.01/3609.50 c #Conflicts: 1959000 | #Constraints: 49636
3600.01/3609.50 c #Conflicts: 1960000 | #Constraints: 50636
3600.01/3609.50 c #Conflicts: 1961000 | #Constraints: 51636
3600.01/3609.50 c #Conflicts: 1962000 | #Constraints: 52636
3600.01/3609.50 c #Conflicts: 1963000 | #Constraints: 53636
3600.01/3609.50 c #Conflicts: 1964000 | #Constraints: 54636
3600.01/3609.50 c #Conflicts: 1965000 | #Constraints: 55636
3600.01/3609.50 c INPROCESSING
3600.01/3609.50 c GARBAGE COLLECT
3600.01/3609.50 c #Conflicts: 1966000 | #Constraints: 28839
3600.01/3609.50 c #Conflicts: 1967000 | #Constraints: 29839
3600.01/3609.50 c #Conflicts: 1968000 | #Constraints: 30839
3600.01/3609.50 c #Conflicts: 1969000 | #Constraints: 31839
3600.01/3609.50 c #Conflicts: 1970000 | #Constraints: 32839
3600.01/3609.50 c #Conflicts: 1971000 | #Constraints: 33839
3600.01/3609.50 c #Conflicts: 1972000 | #Constraints: 34839
3600.01/3609.50 c #Conflicts: 1973000 | #Constraints: 35839
3600.01/3609.50 c #Conflicts: 1974000 | #Constraints: 36839
3600.01/3609.50 c #Conflicts: 1975000 | #Constraints: 37839
3600.01/3609.50 c #Conflicts: 1976000 | #Constraints: 38839
3600.01/3609.50 c #Conflicts: 1977000 | #Constraints: 39839
3600.01/3609.50 c #Conflicts: 1978000 | #Constraints: 40839
3600.01/3609.50 c #Conflicts: 1979000 | #Constraints: 41839
3600.01/3609.50 c #Conflicts: 1980000 | #Constraints: 42839
3600.01/3609.50 c #Conflicts: 1981000 | #Constraints: 43839
3600.01/3609.50 c #Conflicts: 1982000 | #Constraints: 44839
3600.01/3609.50 c #Conflicts: 1983000 | #Constraints: 45839
3600.01/3609.50 c #Conflicts: 1984000 | #Constraints: 46839
3600.01/3609.50 c #Conflicts: 1985000 | #Constraints: 47839
3600.01/3609.50 c #Conflicts: 1986000 | #Constraints: 48839
3600.01/3609.50 c #Conflicts: 1987000 | #Constraints: 49839
3600.01/3609.50 c #Conflicts: 1988000 | #Constraints: 50839
3600.01/3609.50 c #Conflicts: 1989000 | #Constraints: 51839
3600.01/3609.50 c #Conflicts: 1990000 | #Constraints: 52839
3600.01/3609.50 c #Conflicts: 1991000 | #Constraints: 53839
3600.01/3609.50 c #Conflicts: 1992000 | #Constraints: 54839
3600.01/3609.50 c #Conflicts: 1993000 | #Constraints: 55839
3600.01/3609.50 c INPROCESSING
3600.01/3609.50 c GARBAGE COLLECT
3600.01/3609.50 c #Conflicts: 1994000 | #Constraints: 28836
3600.01/3609.50 c #Conflicts: 1995000 | #Constraints: 29836
3600.01/3609.50 c #Conflicts: 1996000 | #Constraints: 30836
3600.01/3609.50 c #Conflicts: 1997000 | #Constraints: 31836
3600.01/3609.50 c Program interrupted by user.
3600.01/3609.50 c cpu time 3590.59 s
3600.01/3609.50 c deterministic time 546294342739 5.46e+11
3600.01/3609.50 c optimization time 11.1113 s
3600.01/3609.50 c total solve time 3280.16 s
3600.01/3609.50 c core-guided solve time 3280.16 s
3600.01/3609.50 c propagation time 3156.7 s
3600.01/3609.50 c conflict analysis time 118.469 s
3600.01/3609.50 c propagations 25605386
3600.01/3609.50 c resolve steps 9391379
3600.01/3609.50 c decisions 4284840
3600.01/3609.50 c conflicts 1997741
3600.01/3609.50 c restarts 3928
3600.01/3609.50 c inprocessing phases 132
3600.01/3609.50 c input clauses 0
3600.01/3609.50 c input cardinalities 0
3600.01/3609.50 c input general constraints 21
3600.01/3609.50 c input average constraint length 92.38
3600.01/3609.50 c input average constraint degree 2062.24
3600.01/3609.50 c learned clauses 966271
3600.01/3609.50 c learned cardinalities 0
3600.01/3609.50 c learned general constraints 1031470
3600.01/3609.50 c learned average constraint length 89.91
3600.01/3609.50 c learned average constraint degree 147172.76
3600.01/3609.50 c watched constraints 1030887
3600.01/3609.50 c counting constraints 604
3600.01/3609.50 c gcd simplifications 842116
3600.01/3609.50 c detected cardinalities 0
3600.01/3609.50 c weakened non-implied lits 36308133
3600.01/3609.50 c weakened non-implying lits 2592980
3600.01/3609.50 c original variables 198
3600.01/3609.50 c clausal propagations 463817
3600.01/3609.50 c cardinality propagations 0
3600.01/3609.50 c watched propagations 20696789
3600.01/3609.50 c counting propagations 3021259
3600.01/3609.50 c watch lookups 25812893155
3600.01/3609.50 c watch backjump lookups 7666704079
3600.01/3609.50 c watch checks 474640559708
3600.01/3609.50 c propagation checks 37042821364
3600.01/3609.50 c constraint additions 1069586395
3600.01/3609.50 c trail pops 31887811
3600.01/3609.50 c formula constraints 16
3600.01/3609.50 c learned constraints 1997741
3600.01/3609.50 c bound constraints 5
3600.01/3609.50 c core-guided constraints 0
3600.01/3609.50 c encountered formula constraints 2928795
3600.01/3609.50 c encountered learned constraints 8459673
3600.01/3609.50 c encountered bound constraints 652
3600.01/3609.50 c encountered core-guided constraints 0
3600.01/3609.50 c LP total time 0 s
3600.01/3609.50 c LP solve time 0 s
3600.01/3609.50 c LP constraints added 0
3600.01/3609.50 c LP constraints removed 0
3600.01/3609.50 c LP pivots internal 0
3600.01/3609.50 c LP pivots root 0
3600.01/3609.50 c LP calls 0
3600.01/3609.50 c LP optimalities 0
3600.01/3609.50 c LP no pivot count 0
3600.01/3609.50 c LP infeasibilities 0
3600.01/3609.50 c LP valid Farkas constraints 0
3600.01/3609.50 c LP learned Farkas constraints 0
3600.01/3609.50 c LP basis resets 0
3600.01/3609.50 c LP cycling count 0
3600.01/3609.50 c LP singular count 0
3600.01/3609.50 c LP no primal count 0
3600.01/3609.50 c LP no farkas count 0
3600.01/3609.50 c LP other issue count 0
3600.01/3609.50 c LP Gomory cuts 0
3600.01/3609.50 c LP learned cuts 0
3600.01/3609.50 c LP deleted cuts 0
3600.01/3609.50 c LP encountered Gomory constraints 0
3600.01/3609.50 c LP encountered Farkas constraints 0
3600.01/3609.50 c LP encountered learned Farkas constraints 0
3600.01/3609.50 c CG auxiliary variables introduced 0
3600.01/3609.50 c CG solutions found 4
3600.01/3609.50 c CG cores constructed 0
3600.01/3609.50 c CG core cardinality constraints returned 0
3600.01/3609.50 c CG unit cores 0
3600.01/3609.50 c CG single cores 0
3600.01/3609.50 c CG blocks removed during cardinality reduction 0
3600.01/3609.50 c CG first core best 0
3600.01/3609.50 c CG decision core best 0
3600.01/3609.50 c CG core reduction tie 0
3600.01/3609.50 c CG core degree average 0.00
3600.01/3609.50 c CG core slack average 0.00
3600.01/3609.50 c CG exhausted 0
3600.01/3609.50 c CG exhaust time 0 s
3600.01/3609.50 c CG trimmed 0
3600.01/3609.50 c CG trim time 0 s
3600.01/3609.50 c CG minimized 0
3600.01/3609.50 c CG minimize time 0 s
3600.01/3609.50 c CG am1 prop time 0.000137 s
3600.01/3609.50 c CG # am1s reformulated 0
3600.01/3609.50 c CG lower bound derived from am1s 0
3600.01/3609.50 c CG # clausal cores 0
3600.01/3609.50 c CG # cardinality cores 0
3600.01/3609.50 c CG # pb cores 0
3600.01/3609.50 c CG # pb reforms 0
3600.01/3609.50 c CG # cores discarded because of pb reform 0
3600.01/3609.50 d LOWERBOUND 0
3600.01/3609.50 d NCORES 0
3600.01/3609.50 d NPBCORES 0
3600.01/3609.50 d NPBREFORM 0
3600.01/3609.50 d NTRIMMED 0
3600.01/3609.50 d NEXHAUSTED 0
3600.01/3609.50 d NAM1S 0
3600.01/3609.50 d AM1LB 0
3600.01/3609.50 c [STEP] postprocessing with Papilo
3600.01/3609.50 o 53
3600.01/3609.50 s SATISFIABLE
3600.01/3609.50 v x1 x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 x132 -x133 -x134 x135 x136 x137 -x138 -x139 x140 x141 x142 -x143 x144 x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 x154 x155 x156 -x157 x158 x159 x160 x161 -x162 x163 -x164 -x165 x166 x167 x168 -x169 x170 -x171 x172 x173 x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 x186 -x187 -x188 x189 x190 -x191 -x192 x193 -x194 -x195 x196 x197 x198
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: 63968 MiB (61404 MiB free)
memory of node 1: 64473 MiB (60618 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435504-1721099954/watcher-4435504-1721099954 -o /tmp/evaluation-result-4435504-1721099954/solver-4435504-1721099954 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721092436-831068 --watchdog 3760 mixed-bag HOME/instance-4435504-1721099954.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=835306, runsolver pid=835303
Current StackSize limit: 8192 KiB
[startup+0.100851 s]*
/proc/loadavg: 4.17 4.16 4.11 6/253 835307
/proc/meminfo: memFree=124937012/131524600 swapFree=131071996/131071996
[pid=835306] ppid=835303 vsize=97872 memory=30132 CPUtime=0.09 cores=5,7
/proc/835306/stat : 835306 (mixed-bag) R 835303 835306 831055 0 -1 4194304 3912 0 0 0 9 0 0 0 20 0 1 0 162159242 100220928 7533 134679101440 4194304 16487941 140724393443696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 33746944 140724393448471 140724393448548 140724393448548 140724393455563 0
/proc/835306/statm: 24468 7533 4040 3002 0 8219 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 97872 KiB
Current children cumulated memory: 30132 KiB
[startup+0.20552 s]*
/proc/loadavg: 4.17 4.16 4.11 5/253 835307
/proc/meminfo: memFree=124906940/131524600 swapFree=131071996/131071996
[pid=835306] ppid=835303 vsize=111188 memory=43228 CPUtime=0.2 cores=5,7
/proc/835306/stat : 835306 (mixed-bag) R 835303 835306 831055 0 -1 4194304 7172 0 0 0 19 1 0 0 20 0 1 0 162159242 113856512 10807 134679101440 4194304 16487941 140724393443696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 33746944 140724393448471 140724393448548 140724393448548 140724393455563 0
/proc/835306/statm: 27797 10807 4040 3002 0 11548 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 111188 KiB
Current children cumulated memory: 43228 KiB
[startup+0.305635 s]*
/proc/loadavg: 4.17 4.16 4.11 5/251 835307
/proc/meminfo: memFree=125723172/131524600 swapFree=131071996/131071996
[pid=835306] ppid=835303 vsize=109048 memory=41612 CPUtime=0.29 cores=5,7
/proc/835306/stat : 835306 (mixed-bag) R 835303 835306 831055 0 -1 4194304 7495 0 0 0 28 1 0 0 20 0 1 0 162159242 111665152 10403 134679101440 4194304 16487941 140724393443696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 33746944 140724393448471 140724393448548 140724393448548 140724393455563 0
/proc/835306/statm: 27262 10403 4040 3002 0 11013 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 109048 KiB
Current children cumulated memory: 41612 KiB
[startup+0.70018 s]
/proc/loadavg: 4.17 4.16 4.11 5/251 835321
/proc/meminfo: memFree=125722900/131524600 swapFree=131071996/131071996
[pid=835306] ppid=835303 vsize=109732 memory=42664 CPUtime=0.68 cores=5,7
/proc/835306/stat : 835306 (mixed-bag) R 835303 835306 831055 0 -1 4194304 7770 0 0 0 67 1 0 0 20 0 1 0 162159242 112365568 10666 134679101440 4194304 16487941 140724393443696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 33746944 140724393448471 140724393448548 140724393448548 140724393455563 0
/proc/835306/statm: 27433 10666 4040 3002 0 11184 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 109732 KiB
Current children cumulated memory: 42664 KiB
[startup+1.50017 s]
/proc/loadavg: 4.17 4.16 4.11 5/251 835321
/proc/meminfo: memFree=125766112/131524600 swapFree=131071996/131071996
[pid=835306] ppid=835303 vsize=116588 memory=49000 CPUtime=1.48 cores=5,7
/proc/835306/stat : 835306 (mixed-bag) R 835303 835306 831055 0 -1 4194304 9348 0 0 0 147 1 0 0 20 0 1 0 162159242 119386112 12250 134679101440 4194304 16487941 140724393443696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 33746944 140724393448471 140724393448548 140724393448548 140724393455563 0
/proc/835306/statm: 29147 12250 4040 3002 0 12898 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 116588 KiB
Current children cumulated memory: 49000 KiB
[startup+3.10532 s]
/proc/loadavg: 4.15 4.15 4.11 5/251 835321
/proc/meminfo: memFree=125752872/131524600 swapFree=131071996/131071996
[pid=835306] ppid=835303 vsize=129228 memory=58616 CPUtime=3.08 cores=5,7
/proc/835306/stat : 835306 (mixed-bag) R 835303 835306 831055 0 -1 4194304 11946 0 0 0 306 2 0 0 20 0 1 0 162159242 132329472 14654 134679101440 4194304 16487941 140724393443696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 33746944 140724393448471 140724393448548 140724393448548 140724393455563 0
/proc/835306/statm: 32307 14654 4040 3002 0 16058 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 129228 KiB
Current children cumulated memory: 58616 KiB
[startup+6.3002 s]
/proc/loadavg: 4.15 4.15 4.11 5/255 835385
/proc/meminfo: memFree=125809188/131524600 swapFree=131071996/131071996
[pid=835306] ppid=835303 vsize=143080 memory=73660 CPUtime=6.26 cores=5,7
/proc/835306/stat : 835306 (mixed-bag) R 835303 835306 831055 0 -1 4194304 15567 0 0 0 624 2 0 0 20 0 1 0 162159242 146513920 18415 134679101440 4194304 16487941 140724393443696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 33746944 140724393448471 140724393448548 140724393448548 140724393455563 0
/proc/835306/statm: 35770 18415 4181 3002 0 19521 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 143080 KiB
Current children cumulated memory: 73660 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.15 4.10 5/255 835387
/proc/meminfo: memFree=125775816/131524600 swapFree=131071996/131071996
[pid=835306] ppid=835303 vsize=156468 memory=87388 CPUtime=12.64 cores=5,7
/proc/835306/stat : 835306 (mixed-bag) R 835303 835306 831055 0 -1 4194304 19340 0 0 0 1262 2 0 0 20 0 1 0 162159242 160223232 21847 134679101440 4194304 16487941 140724393443696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 33746944 140724393448471 140724393448548 140724393448548 140724393455563 0
/proc/835306/statm: 39117 21847 4181 3002 0 22868 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 156468 KiB
Current children cumulated memory: 87388 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.14 4.10 5/255 835434
/proc/meminfo: memFree=126089648/131524600 swapFree=131071996/131071996
[pid=835306] ppid=835303 vsize=186052 memory=115084 CPUtime=25.38 cores=5,7
/proc/835306/stat : 835306 (mixed-bag) R 835303 835306 831055 0 -1 4194304 28743 0 0 0 2534 4 0 0 20 0 1 0 162159242 190517248 28771 134679101440 4194304 16487941 140724393443696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 33746944 140724393448471 140724393448548 140724393448548 140724393455563 0
/proc/835306/statm: 46513 28771 4181 3002 0 30264 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 186052 KiB
Current children cumulated memory: 115084 KiB
[startup+51.1054 s]
/proc/loadavg: 4.14 4.15 4.10 5/257 835443
/proc/meminfo: memFree=125901060/131524600 swapFree=131071996/131071996
[pid=835306] ppid=835303 vsize=263000 memory=189448 CPUtime=50.9 cores=5,7
/proc/835306/stat : 835306 (mixed-bag) R 835303 835306 831055 0 -1 4194304 48066 0 0 0 5082 8 0 0 20 0 1 0 162159242 269312000 47362 134679101440 4194304 16487941 140724393443696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 33746944 140724393448471 140724393448548 140724393448548 140724393455563 0
/proc/835306/statm: 65750 47362 4181 3002 0 49501 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 263000 KiB
Current children cumulated memory: 189448 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.12 4.09 5/256 835452
/proc/meminfo: memFree=125596744/131524600 swapFree=131071996/131071996
[pid=835306] ppid=835303 vsize=363656 memory=291092 CPUtime=101.91 cores=5,7
/proc/835306/stat : 835306 (mixed-bag) R 835303 835306 831055 0 -1 4194304 74300 0 0 0 10178 13 0 0 20 0 1 0 162159242 372383744 72773 134679101440 4194304 16487941 140724393443696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 33746944 140724393448471 140724393448548 140724393448548 140724393455563 0
/proc/835306/statm: 90914 72773 4181 3002 0 74665 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 363656 KiB
Current children cumulated memory: 291092 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/256 835462
/proc/meminfo: memFree=125306356/131524600 swapFree=131071996/131071996
[pid=835306] ppid=835303 vsize=461860 memory=387060 CPUtime=161.69 cores=5,7
/proc/835306/stat : 835306 (mixed-bag) R 835303 835306 831055 0 -1 4194304 97560 0 0 0 16152 17 0 0 20 0 1 0 162159242 472944640 96765 134679101440 4194304 16487941 140724393443696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 33746944 140724393448471 140724393448548 140724393448548 140724393455563 0
/proc/835306/statm: 115465 96765 4181 3002 0 99216 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 461860 KiB
Current children cumulated memory: 387060 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/256 835472
/proc/meminfo: memFree=125054800/131524600 swapFree=131071996/131071996
[pid=835306] ppid=835303 vsize=565352 memory=487600 CPUtime=221.48 cores=5,7
/proc/835306/stat : 835306 (mixed-bag) R 835303 835306 831055 0 -1 4194304 122874 0 0 0 22126 22 0 0 20 0 1 0 162159242 578920448 121900 134679101440 4194304 16487941 140724393443696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 33746944 140724393448471 140724393448548 140724393448548 140724393455563 0
/proc/835306/statm: 141338 121900 4181 3002 0 125089 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 565352 KiB
Current children cumulated memory: 487600 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 835484
/proc/meminfo: memFree=124834836/131524600 swapFree=131071996/131071996
[pid=835306] ppid=835303 vsize=655264 memory=580396 CPUtime=281.31 cores=5,7
/proc/835306/stat : 835306 (mixed-bag) R 835303 835306 831055 0 -1 4194304 144155 0 0 0 28104 27 0 0 20 0 1 0 162159242 670990336 145099 134679101440 4194304 16487941 140724393443696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 33746944 140724393448471 140724393448548 140724393448548 140724393455563 0
/proc/835306/statm: 163816 145099 4181 3002 0 147567 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 655264 KiB
Current children cumulated memory: 580396 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/256 835879
/proc/meminfo: memFree=125434432/131524600 swapFree=131071996/131071996
[pid=835306] ppid=835303 vsize=451548 memory=387764 CPUtime=341.16 cores=5,7
/proc/835306/stat : 835306 (mixed-bag) R 835303 835306 831055 0 -1 4194304 152886 0 0 0 34036 80 0 0 20 0 1 0 162159242 462385152 96941 134679101440 4194304 16487941 140724393443696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 33746944 140724393448471 140724393448548 140724393448548 140724393455563 0
/proc/835306/statm: 112887 96941 4325 3002 0 96638 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 451548 KiB
Current children cumulated memory: 387764 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/255 835890
/proc/meminfo: memFree=125417484/131524600 swapFree=131071996/131071996
[pid=835306] ppid=835303 vsize=451548 memory=388704 CPUtime=401.02 cores=5,7
/proc/835306/stat : 835306 (mixed-bag) R 835303 835306 831055 0 -1 4194304 153131 0 0 0 39978 124 0 0 20 0 1 0 162159242 462385152 97176 134679101440 4194304 16487941 140724393443696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 33746944 140724393448471 140724393448548 140724393448548 140724393455563 0
/proc/835306/statm: 112887 97176 4325 3002 0 96638 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 451548 KiB
Current children cumulated memory: 388704 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 835900
/proc/meminfo: memFree=125410312/131524600 swapFree=131071996/131071996
[pid=835306] ppid=835303 vsize=458728 memory=389872 CPUtime=460.87 cores=5,7
/proc/835306/stat : 835306 (mixed-bag) R 835303 835306 831055 0 -1 4194304 153480 0 0 0 45921 166 0 0 20 0 1 0 162159242 469737472 97468 134679101440 4194304 16487941 140724393443696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 33746944 140724393448471 140724393448548 140724393448548 140724393455563 0
/proc/835306/statm: 114682 97468 4325 3002 0 98433 0
################
# More data... #
################
Current children cumulated memory: 413508 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/255 837140
/proc/meminfo: memFree=125295568/131524600 swapFree=131071996/131071996
[pid=835306] ppid=835303 vsize=489372 memory=413508 CPUtime=2914.43 cores=5,7
/proc/835306/stat : 835306 (mixed-bag) R 835303 835306 831055 0 -1 4194304 156405 0 0 0 290621 822 0 0 20 0 1 0 162159242 501116928 103377 134679101440 4194304 16487941 140724393443696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 33746944 140724393448471 140724393448548 140724393448548 140724393455563 0
/proc/835306/statm: 122343 103377 4325 3002 0 106094 0
Current children cumulated CPU time: 2914.43 s
Current children cumulated vsize: 489372 KiB
Current children cumulated memory: 413508 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/255 837150
/proc/meminfo: memFree=125294824/131524600 swapFree=131071996/131071996
[pid=835306] ppid=835303 vsize=489372 memory=413508 CPUtime=2974.26 cores=5,7
/proc/835306/stat : 835306 (mixed-bag) R 835303 835306 831055 0 -1 4194304 156451 0 0 0 296591 835 0 0 20 0 1 0 162159242 501116928 103377 134679101440 4194304 16487941 140724393443696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 33746944 140724393448471 140724393448548 140724393448548 140724393455563 0
/proc/835306/statm: 122343 103377 4325 3002 0 106094 0
Current children cumulated CPU time: 2974.26 s
Current children cumulated vsize: 489372 KiB
Current children cumulated memory: 413508 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/256 837164
/proc/meminfo: memFree=125292020/131524600 swapFree=131071996/131071996
[pid=835306] ppid=835303 vsize=489372 memory=413948 CPUtime=3034.1 cores=5,7
/proc/835306/stat : 835306 (mixed-bag) R 835303 835306 831055 0 -1 4194304 156517 0 0 0 302564 846 0 0 20 0 1 0 162159242 501116928 103487 134679101440 4194304 16487941 140724393443696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 33746944 140724393448471 140724393448548 140724393448548 140724393455563 0
/proc/835306/statm: 122343 103487 4325 3002 0 106094 0
Current children cumulated CPU time: 3034.1 s
Current children cumulated vsize: 489372 KiB
Current children cumulated memory: 413948 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/257 837176
/proc/meminfo: memFree=125288992/131524600 swapFree=131071996/131071996
[pid=835306] ppid=835303 vsize=489372 memory=413948 CPUtime=3093.97 cores=5,7
/proc/835306/stat : 835306 (mixed-bag) R 835303 835306 831055 0 -1 4194304 156570 0 0 0 308539 858 0 0 20 0 1 0 162159242 501116928 103487 134679101440 4194304 16487941 140724393443696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 33746944 140724393448471 140724393448548 140724393448548 140724393455563 0
/proc/835306/statm: 122343 103487 4325 3002 0 106094 0
Current children cumulated CPU time: 3093.97 s
Current children cumulated vsize: 489372 KiB
Current children cumulated memory: 413948 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/257 837186
/proc/meminfo: memFree=125288212/131524600 swapFree=131071996/131071996
[pid=835306] ppid=835303 vsize=489372 memory=413948 CPUtime=3153.82 cores=5,7
/proc/835306/stat : 835306 (mixed-bag) R 835303 835306 831055 0 -1 4194304 156625 0 0 0 314514 868 0 0 20 0 1 0 162159242 501116928 103487 134679101440 4194304 16487941 140724393443696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 33746944 140724393448471 140724393448548 140724393448548 140724393455563 0
/proc/835306/statm: 122343 103487 4325 3002 0 106094 0
Current children cumulated CPU time: 3153.82 s
Current children cumulated vsize: 489372 KiB
Current children cumulated memory: 413948 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/257 837197
/proc/meminfo: memFree=125287356/131524600 swapFree=131071996/131071996
[pid=835306] ppid=835303 vsize=489372 memory=413948 CPUtime=3213.69 cores=5,7
/proc/835306/stat : 835306 (mixed-bag) R 835303 835306 831055 0 -1 4194304 156681 0 0 0 320492 877 0 0 20 0 1 0 162159242 501116928 103487 134679101440 4194304 16487941 140724393443696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 33746944 140724393448471 140724393448548 140724393448548 140724393455563 0
/proc/835306/statm: 122343 103487 4325 3002 0 106094 0
Current children cumulated CPU time: 3213.69 s
Current children cumulated vsize: 489372 KiB
Current children cumulated memory: 413948 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/257 837209
/proc/meminfo: memFree=125284552/131524600 swapFree=131071996/131071996
[pid=835306] ppid=835303 vsize=489372 memory=415996 CPUtime=3273.55 cores=5,7
/proc/835306/stat : 835306 (mixed-bag) R 835303 835306 831055 0 -1 4194304 156736 0 0 0 326468 887 0 0 20 0 1 0 162159242 501116928 103999 134679101440 4194304 16487941 140724393443696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 33746944 140724393448471 140724393448548 140724393448548 140724393455563 0
/proc/835306/statm: 122343 103999 4325 3002 0 106094 0
Current children cumulated CPU time: 3273.55 s
Current children cumulated vsize: 489372 KiB
Current children cumulated memory: 415996 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/257 837219
/proc/meminfo: memFree=125281724/131524600 swapFree=131071996/131071996
[pid=835306] ppid=835303 vsize=489372 memory=415996 CPUtime=3333.42 cores=5,7
/proc/835306/stat : 835306 (mixed-bag) R 835303 835306 831055 0 -1 4194304 156795 0 0 0 332445 897 0 0 20 0 1 0 162159242 501116928 103999 134679101440 4194304 16487941 140724393443696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 33746944 140724393448471 140724393448548 140724393448548 140724393455563 0
/proc/835306/statm: 122343 103999 4325 3002 0 106094 0
Current children cumulated CPU time: 3333.42 s
Current children cumulated vsize: 489372 KiB
Current children cumulated memory: 415996 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/255 837229
/proc/meminfo: memFree=125281052/131524600 swapFree=131071996/131071996
[pid=835306] ppid=835303 vsize=489372 memory=415996 CPUtime=3393.29 cores=5,7
/proc/835306/stat : 835306 (mixed-bag) R 835303 835306 831055 0 -1 4194304 156851 0 0 0 338421 908 0 0 20 0 1 0 162159242 501116928 103999 134679101440 4194304 16487941 140724393443696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 33746944 140724393448471 140724393448548 140724393448548 140724393455563 0
/proc/835306/statm: 122343 103999 4325 3002 0 106094 0
Current children cumulated CPU time: 3393.29 s
Current children cumulated vsize: 489372 KiB
Current children cumulated memory: 415996 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/254 837239
/proc/meminfo: memFree=125278252/131524600 swapFree=131071996/131071996
[pid=835306] ppid=835303 vsize=489372 memory=415996 CPUtime=3453.15 cores=5,7
/proc/835306/stat : 835306 (mixed-bag) R 835303 835306 831055 0 -1 4194304 156908 0 0 0 344397 918 0 0 20 0 1 0 162159242 501116928 103999 134679101440 4194304 16487941 140724393443696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 33746944 140724393448471 140724393448548 140724393448548 140724393455563 0
/proc/835306/statm: 122343 103999 4325 3002 0 106094 0
Current children cumulated CPU time: 3453.15 s
Current children cumulated vsize: 489372 KiB
Current children cumulated memory: 415996 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/255 837252
/proc/meminfo: memFree=125277572/131524600 swapFree=131071996/131071996
[pid=835306] ppid=835303 vsize=489372 memory=415996 CPUtime=3513.01 cores=5,7
/proc/835306/stat : 835306 (mixed-bag) R 835303 835306 831055 0 -1 4194304 156963 0 0 0 350373 928 0 0 20 0 1 0 162159242 501116928 103999 134679101440 4194304 16487941 140724393443696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 33746944 140724393448471 140724393448548 140724393448548 140724393455563 0
/proc/835306/statm: 122343 103999 4325 3002 0 106094 0
Current children cumulated CPU time: 3513.01 s
Current children cumulated vsize: 489372 KiB
Current children cumulated memory: 415996 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/255 837262
/proc/meminfo: memFree=125276736/131524600 swapFree=131071996/131071996
[pid=835306] ppid=835303 vsize=489372 memory=415996 CPUtime=3572.88 cores=5,7
/proc/835306/stat : 835306 (mixed-bag) R 835303 835306 831055 0 -1 4194304 157019 0 0 0 356349 939 0 0 20 0 1 0 162159242 501116928 103999 134679101440 4194304 16487941 140724393443696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 33746944 140724393448471 140724393448548 140724393448548 140724393455563 0
/proc/835306/statm: 122343 103999 4325 3002 0 106094 0
Current children cumulated CPU time: 3572.88 s
Current children cumulated vsize: 489372 KiB
Current children cumulated memory: 415996 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.11 4.12 4.09 5/255 837267
/proc/meminfo: memFree=125276616/131524600 swapFree=131071996/131071996
[pid=835306] ppid=835303 vsize=489372 memory=415996 CPUtime=3600.01 cores=5,7
/proc/835306/stat : 835306 (mixed-bag) R 835303 835306 831055 0 -1 4194304 157023 0 0 0 359058 943 0 0 20 0 1 0 162159242 501116928 103999 134679101440 4194304 16487941 140724393443696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 33746944 140724393448471 140724393448548 140724393448548 140724393455563 0
/proc/835306/statm: 122343 103999 4325 3002 0 106094 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 489372 KiB
Current children cumulated memory: 415996 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.5 s]
# the end of solver process 835306 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.59 s, system=9.43991 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.11 4.12 4.09 5/255 837267
/proc/meminfo: memFree=125276616/131524600 swapFree=131071996/131071996
[pid=835306] ppid=835303 vsize=489372 memory=415996 CPUtime=3600.01 cores=5,7
/proc/835306/stat : 835306 (mixed-bag) R 835303 835306 831055 0 -1 4194304 157023 0 0 0 359058 943 0 0 20 0 1 0 162159242 501116928 103999 134679101440 4194304 16487941 140724393443696 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 33746944 140724393448471 140724393448548 140724393448548 140724393455563 0
/proc/835306/statm: 122343 103999 4325 3002 0 106094 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 489372 KiB
Current children cumulated memory: 415996 KiB
Child status: 0
Real time (s): 3609.5
CPU time (s): 3600.03
CPU user time (s): 3590.59
CPU system time (s): 9.43991
CPU usage (%): 99.7374
Max. virtual memory (cumulated for all children) (KiB): 685880
Max. memory (cumulated for all children) (KiB): 610596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.59
system time used= 9.43991
maximum resident set size= 610596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157040
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= 183
involuntary context switches= 1607
# summary of solver processes directly reported to runsolver:
# pid: 835306
# total CPU time (s): 3600.03
# total CPU user time (s): 3590.59
# total CPU system time (s): 9.43991
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.90404 second user time and 16.1517 second system time
The end
Begin job on nodeC021 at 2024-07-16 05:19:26
IDJOB=4435504
IDBENCH=147578
IDSOLVER=3066
FILE ID=nodeC021/4435504-1721099954
RUNJOBID= nodeC021-1721092436-831068
SLURM_JOB_ID= 7505590
Free space on /tmp= 889912 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435504-1721099954/watcher-4435504-1721099954 -o /tmp/evaluation-result-4435504-1721099954/solver-4435504-1721099954 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721092436-831068 --watchdog 3760 mixed-bag HOME/instance-4435504-1721099954.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b4b357048b7fd6a2befaa81502734110
RANDOM SEED=113364293
nodeC021.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3674.236
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3671.126
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.947
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
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 : 3636.680
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
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 : 3600.028
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.396
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
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 : 3674.307
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
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 : 3668.208
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124952264 kB
MemAvailable: 128400896 kB
Buffers: 383920 kB
Cached: 3865508 kB
SwapCached: 0 kB
Active: 859384 kB
Inactive: 5037140 kB
Active(anon): 1544 kB
Inactive(anon): 1683264 kB
Active(file): 857840 kB
Inactive(file): 3353876 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16684 kB
Writeback: 12 kB
AnonPages: 1646692 kB
Mapped: 126716 kB
Shmem: 37720 kB
KReclaimable: 153480 kB
Slab: 266704 kB
SReclaimable: 153480 kB
SUnreclaim: 113224 kB
KernelStack: 4128 kB
PageTables: 12928 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2177092 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61696 kB
HardwareCorrupted: 0 kB
AnonHugePages: 993280 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 256724 kB
DirectMap2M: 23633920 kB
DirectMap1G: 112197632 kB
Free space on /tmp at the end= 890020 MiB
End job on nodeC021 at 2024-07-16 06:19:36