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.85/300.82 c [STEP] preprocessing done, loading into solver
299.85/300.82 c [STEP] solving
299.85/300.82 c #variables 199 #constraints 16
299.85/300.82 c SMALL=int, LARGE=long long
299.85/300.82 d SCIPUB 83
299.85/300.82 c bounds - >= 0 @ 299.508
299.85/300.82 c stratification level: 64
300.65/301.69 c #Conflicts: 1000 | #Constraints: 1016
300.65/301.69 c #Conflicts: 2000 | #Constraints: 2016
300.65/301.69 c INPROCESSING
300.65/301.69 c GARBAGE COLLECT
300.65/301.69 c #Conflicts: 3000 | #Constraints: 2023
300.65/301.69 c #Conflicts: 4000 | #Constraints: 3023
300.65/301.69 c INPROCESSING
300.65/301.69 c GARBAGE COLLECT
300.65/301.69 c #Conflicts: 5000 | #Constraints: 2426
300.65/301.69 c #Conflicts: 6000 | #Constraints: 3426
300.65/301.69 c bounds 79 >= 0 @ 300.344
300.65/301.69 c stratification level: 32
300.65/301.69 c bounds 75 >= 0 @ 300.345
300.65/301.69 c stratification level: 16
301.74/302.73 c INPROCESSING
301.74/302.73 c GARBAGE COLLECT
301.74/302.73 c #Conflicts: 7000 | #Constraints: 2429
301.74/302.73 c #Conflicts: 8000 | #Constraints: 3429
301.74/302.73 c #Conflicts: 9000 | #Constraints: 4429
301.74/302.73 c INPROCESSING
301.74/302.73 c GARBAGE COLLECT
301.74/302.73 c #Conflicts: 10000 | #Constraints: 3128
301.74/302.73 c #Conflicts: 11000 | #Constraints: 4128
301.74/302.73 c #Conflicts: 12000 | #Constraints: 5128
301.74/302.73 c INPROCESSING
301.74/302.73 c GARBAGE COLLECT
301.74/302.73 c bounds 73 >= 0 @ 301.365
301.74/302.73 c stratification level: 8
306.24/307.25 c #Conflicts: 13000 | #Constraints: 3581
306.24/307.25 c #Conflicts: 14000 | #Constraints: 4581
306.24/307.25 c #Conflicts: 15000 | #Constraints: 5581
306.24/307.25 c INPROCESSING
306.24/307.25 c GARBAGE COLLECT
306.24/307.25 c #Conflicts: 16000 | #Constraints: 3808
306.24/307.25 c #Conflicts: 17000 | #Constraints: 4808
306.24/307.25 c #Conflicts: 18000 | #Constraints: 5808
306.24/307.25 c INPROCESSING
306.24/307.25 c GARBAGE COLLECT
306.24/307.25 c #Conflicts: 19000 | #Constraints: 3822
306.24/307.25 c #Conflicts: 20000 | #Constraints: 4822
306.24/307.25 c #Conflicts: 21000 | #Constraints: 5822
306.24/307.25 c INPROCESSING
306.24/307.25 c GARBAGE COLLECT
306.24/307.25 c #Conflicts: 22000 | #Constraints: 3629
306.24/307.25 c #Conflicts: 23000 | #Constraints: 4629
306.24/307.25 c #Conflicts: 24000 | #Constraints: 5629
306.24/307.25 c #Conflicts: 25000 | #Constraints: 6629
306.24/307.25 c INPROCESSING
306.24/307.25 c GARBAGE COLLECT
306.24/307.25 c #Conflicts: 26000 | #Constraints: 4227
306.24/307.25 c #Conflicts: 27000 | #Constraints: 5227
306.24/307.25 c #Conflicts: 28000 | #Constraints: 6227
306.24/307.25 c #Conflicts: 29000 | #Constraints: 7227
306.24/307.25 c INPROCESSING
306.24/307.25 c GARBAGE COLLECT
306.24/307.25 c #Conflicts: 30000 | #Constraints: 4627
306.24/307.25 c #Conflicts: 31000 | #Constraints: 5627
306.24/307.25 c #Conflicts: 32000 | #Constraints: 6627
306.24/307.25 c #Conflicts: 33000 | #Constraints: 7627
306.24/307.25 c INPROCESSING
306.24/307.25 c GARBAGE COLLECT
306.24/307.25 c bounds 53 >= 0 @ 305.788
306.24/307.25 c stratification level: 4
332.28/333.36 c #Conflicts: 34000 | #Constraints: 4831
332.28/333.36 c #Conflicts: 35000 | #Constraints: 5831
332.28/333.36 c #Conflicts: 36000 | #Constraints: 6831
332.28/333.36 c #Conflicts: 37000 | #Constraints: 7831
332.28/333.36 c INPROCESSING
332.28/333.36 c GARBAGE COLLECT
332.28/333.36 c #Conflicts: 38000 | #Constraints: 4833
332.28/333.36 c #Conflicts: 39000 | #Constraints: 5833
332.28/333.36 c #Conflicts: 40000 | #Constraints: 6833
332.28/333.36 c #Conflicts: 41000 | #Constraints: 7833
332.28/333.36 c INPROCESSING
332.28/333.36 c GARBAGE COLLECT
332.28/333.36 c #Conflicts: 42000 | #Constraints: 4634
332.28/333.36 c #Conflicts: 43000 | #Constraints: 5634
332.28/333.36 c #Conflicts: 44000 | #Constraints: 6634
332.28/333.36 c #Conflicts: 45000 | #Constraints: 7634
332.28/333.36 c #Conflicts: 46000 | #Constraints: 8634
332.28/333.36 c INPROCESSING
332.28/333.36 c GARBAGE COLLECT
332.28/333.36 c #Conflicts: 47000 | #Constraints: 5230
332.28/333.36 c #Conflicts: 48000 | #Constraints: 6230
332.28/333.36 c #Conflicts: 49000 | #Constraints: 7230
332.28/333.36 c #Conflicts: 50000 | #Constraints: 8230
332.28/333.36 c #Conflicts: 51000 | #Constraints: 9230
332.28/333.36 c INPROCESSING
332.28/333.36 c GARBAGE COLLECT
332.28/333.36 c #Conflicts: 52000 | #Constraints: 5630
332.28/333.36 c #Conflicts: 53000 | #Constraints: 6630
332.28/333.36 c #Conflicts: 54000 | #Constraints: 7630
332.28/333.36 c #Conflicts: 55000 | #Constraints: 8630
332.28/333.36 c #Conflicts: 56000 | #Constraints: 9630
332.28/333.36 c INPROCESSING
332.28/333.36 c GARBAGE COLLECT
332.28/333.36 c #Conflicts: 57000 | #Constraints: 5829
332.28/333.36 c #Conflicts: 58000 | #Constraints: 6829
332.28/333.36 c #Conflicts: 59000 | #Constraints: 7829
332.28/333.36 c #Conflicts: 60000 | #Constraints: 8829
332.28/333.36 c #Conflicts: 61000 | #Constraints: 9829
332.28/333.36 c INPROCESSING
332.28/333.36 c GARBAGE COLLECT
332.28/333.36 c #Conflicts: 62000 | #Constraints: 5829
332.28/333.36 c #Conflicts: 63000 | #Constraints: 6829
332.28/333.36 c #Conflicts: 64000 | #Constraints: 7829
332.28/333.36 c #Conflicts: 65000 | #Constraints: 8829
332.28/333.36 c #Conflicts: 66000 | #Constraints: 9829
332.28/333.36 c INPROCESSING
332.28/333.36 c GARBAGE COLLECT
332.28/333.36 c #Conflicts: 67000 | #Constraints: 5632
332.28/333.36 c #Conflicts: 68000 | #Constraints: 6632
332.28/333.36 c #Conflicts: 69000 | #Constraints: 7632
332.28/333.36 c #Conflicts: 70000 | #Constraints: 8632
332.28/333.36 c #Conflicts: 71000 | #Constraints: 9632
332.28/333.36 c #Conflicts: 72000 | #Constraints: 10632
332.28/333.36 c INPROCESSING
332.28/333.36 c GARBAGE COLLECT
332.28/333.36 c #Conflicts: 73000 | #Constraints: 6230
332.28/333.36 c #Conflicts: 74000 | #Constraints: 7230
332.28/333.36 c #Conflicts: 75000 | #Constraints: 8230
332.28/333.36 c #Conflicts: 76000 | #Constraints: 9230
332.28/333.36 c #Conflicts: 77000 | #Constraints: 10230
332.28/333.36 c #Conflicts: 78000 | #Constraints: 11230
332.28/333.36 c INPROCESSING
332.28/333.36 c GARBAGE COLLECT
332.28/333.36 c #Conflicts: 79000 | #Constraints: 6631
332.28/333.36 c #Conflicts: 80000 | #Constraints: 7631
332.28/333.36 c #Conflicts: 81000 | #Constraints: 8631
332.28/333.36 c #Conflicts: 82000 | #Constraints: 9631
332.28/333.36 c #Conflicts: 83000 | #Constraints: 10631
332.28/333.36 c #Conflicts: 84000 | #Constraints: 11631
332.28/333.36 c INPROCESSING
332.28/333.36 c GARBAGE COLLECT
332.28/333.36 c #Conflicts: 85000 | #Constraints: 6831
332.28/333.36 c #Conflicts: 86000 | #Constraints: 7831
332.28/333.36 c #Conflicts: 87000 | #Constraints: 8831
332.28/333.36 c #Conflicts: 88000 | #Constraints: 9831
332.28/333.36 c #Conflicts: 89000 | #Constraints: 10831
332.28/333.36 c #Conflicts: 90000 | #Constraints: 11831
332.28/333.36 c INPROCESSING
332.28/333.36 c GARBAGE COLLECT
332.28/333.36 c #Conflicts: 91000 | #Constraints: 6837
332.28/333.36 c #Conflicts: 92000 | #Constraints: 7837
332.28/333.36 c #Conflicts: 93000 | #Constraints: 8837
332.28/333.36 c #Conflicts: 94000 | #Constraints: 9837
332.28/333.36 c #Conflicts: 95000 | #Constraints: 10837
332.28/333.36 c #Conflicts: 96000 | #Constraints: 11837
332.28/333.36 c INPROCESSING
332.28/333.36 c GARBAGE COLLECT
332.28/333.36 c #Conflicts: 97000 | #Constraints: 6639
332.28/333.36 c #Conflicts: 98000 | #Constraints: 7639
332.28/333.36 c #Conflicts: 99000 | #Constraints: 8639
332.28/333.36 c #Conflicts: 100000 | #Constraints: 9639
332.28/333.36 c #Conflicts: 101000 | #Constraints: 10639
332.28/333.36 c #Conflicts: 102000 | #Constraints: 11639
332.28/333.36 c #Conflicts: 103000 | #Constraints: 12639
332.28/333.36 c INPROCESSING
332.28/333.36 c GARBAGE COLLECT
332.28/333.36 c #Conflicts: 104000 | #Constraints: 7235
370.90/372.06 c #Conflicts: 105000 | #Constraints: 8235
370.90/372.06 c #Conflicts: 106000 | #Constraints: 9235
370.90/372.06 c #Conflicts: 107000 | #Constraints: 10235
370.90/372.06 c #Conflicts: 108000 | #Constraints: 11235
370.90/372.06 c #Conflicts: 109000 | #Constraints: 12235
370.90/372.06 c #Conflicts: 110000 | #Constraints: 13235
370.90/372.06 c INPROCESSING
370.90/372.06 c GARBAGE COLLECT
370.90/372.06 c #Conflicts: 111000 | #Constraints: 7633
370.90/372.06 c #Conflicts: 112000 | #Constraints: 8633
370.90/372.06 c #Conflicts: 113000 | #Constraints: 9633
370.90/372.06 c #Conflicts: 114000 | #Constraints: 10633
370.90/372.06 c #Conflicts: 115000 | #Constraints: 11633
370.90/372.06 c #Conflicts: 116000 | #Constraints: 12633
370.90/372.06 c #Conflicts: 117000 | #Constraints: 13633
370.90/372.06 c INPROCESSING
370.90/372.06 c GARBAGE COLLECT
370.90/372.06 c #Conflicts: 118000 | #Constraints: 7830
370.90/372.06 c #Conflicts: 119000 | #Constraints: 8830
370.90/372.06 c #Conflicts: 120000 | #Constraints: 9830
370.90/372.06 c #Conflicts: 121000 | #Constraints: 10830
370.90/372.06 c #Conflicts: 122000 | #Constraints: 11830
370.90/372.06 c #Conflicts: 123000 | #Constraints: 12830
370.90/372.06 c #Conflicts: 124000 | #Constraints: 13830
370.90/372.06 c INPROCESSING
370.90/372.06 c GARBAGE COLLECT
370.90/372.06 c #Conflicts: 125000 | #Constraints: 7830
370.90/372.06 c #Conflicts: 126000 | #Constraints: 8830
370.90/372.06 c #Conflicts: 127000 | #Constraints: 9830
370.90/372.06 c #Conflicts: 128000 | #Constraints: 10830
370.90/372.06 c #Conflicts: 129000 | #Constraints: 11830
370.90/372.06 c #Conflicts: 130000 | #Constraints: 12830
370.90/372.06 c #Conflicts: 131000 | #Constraints: 13830
370.90/372.06 c INPROCESSING
370.90/372.06 c GARBAGE COLLECT
370.90/372.06 c #Conflicts: 132000 | #Constraints: 7631
370.90/372.06 c #Conflicts: 133000 | #Constraints: 8631
370.90/372.06 c #Conflicts: 134000 | #Constraints: 9631
370.90/372.06 c #Conflicts: 135000 | #Constraints: 10631
370.90/372.06 c #Conflicts: 136000 | #Constraints: 11631
370.90/372.06 c #Conflicts: 137000 | #Constraints: 12631
370.90/372.06 c #Conflicts: 138000 | #Constraints: 13631
370.90/372.06 c #Conflicts: 139000 | #Constraints: 14631
370.90/372.06 c INPROCESSING
370.90/372.06 c GARBAGE COLLECT
370.90/372.06 c #Conflicts: 140000 | #Constraints: 8232
370.90/372.06 c #Conflicts: 141000 | #Constraints: 9232
370.90/372.06 c #Conflicts: 142000 | #Constraints: 10232
370.90/372.06 c #Conflicts: 143000 | #Constraints: 11232
370.90/372.06 c #Conflicts: 144000 | #Constraints: 12232
370.90/372.06 c #Conflicts: 145000 | #Constraints: 13232
370.90/372.06 c #Conflicts: 146000 | #Constraints: 14232
370.90/372.06 c #Conflicts: 147000 | #Constraints: 15232
370.90/372.06 c INPROCESSING
370.90/372.06 c GARBAGE COLLECT
370.90/372.06 c #Conflicts: 148000 | #Constraints: 8636
370.90/372.06 c #Conflicts: 149000 | #Constraints: 9636
370.90/372.06 c #Conflicts: 150000 | #Constraints: 10636
370.90/372.06 c #Conflicts: 151000 | #Constraints: 11636
370.90/372.06 c #Conflicts: 152000 | #Constraints: 12636
370.90/372.06 c #Conflicts: 153000 | #Constraints: 13636
370.90/372.06 c #Conflicts: 154000 | #Constraints: 14636
370.90/372.06 c #Conflicts: 155000 | #Constraints: 15636
370.90/372.06 c INPROCESSING
370.90/372.06 c GARBAGE COLLECT
370.90/372.06 c #Conflicts: 156000 | #Constraints: 8833
370.90/372.06 c #Conflicts: 157000 | #Constraints: 9833
370.90/372.06 c #Conflicts: 158000 | #Constraints: 10833
370.90/372.06 c #Conflicts: 159000 | #Constraints: 11833
370.90/372.06 c #Conflicts: 160000 | #Constraints: 12833
370.90/372.06 c #Conflicts: 161000 | #Constraints: 13833
370.90/372.06 c #Conflicts: 162000 | #Constraints: 14833
370.90/372.06 c #Conflicts: 163000 | #Constraints: 15833
370.90/372.06 c INPROCESSING
370.90/372.06 c GARBAGE COLLECT
370.90/372.06 c #Conflicts: 164000 | #Constraints: 8840
370.90/372.06 c #Conflicts: 165000 | #Constraints: 9840
370.90/372.06 c #Conflicts: 166000 | #Constraints: 10840
370.90/372.06 c #Conflicts: 167000 | #Constraints: 11840
370.90/372.06 c #Conflicts: 168000 | #Constraints: 12840
370.90/372.06 c #Conflicts: 169000 | #Constraints: 13840
370.90/372.06 c #Conflicts: 170000 | #Constraints: 14840
370.90/372.06 c #Conflicts: 171000 | #Constraints: 15840
370.90/372.06 c INPROCESSING
370.90/372.06 c GARBAGE COLLECT
370.90/372.06 c #Conflicts: 172000 | #Constraints: 8637
370.90/372.06 c #Conflicts: 173000 | #Constraints: 9637
370.90/372.06 c #Conflicts: 174000 | #Constraints: 10637
370.90/372.06 c #Conflicts: 175000 | #Constraints: 11637
370.90/372.06 c #Conflicts: 176000 | #Constraints: 12637
370.90/372.06 c #Conflicts: 177000 | #Constraints: 13637
420.97/422.26 c #Conflicts: 178000 | #Constraints: 14637
420.97/422.26 c #Conflicts: 179000 | #Constraints: 15637
420.97/422.26 c #Conflicts: 180000 | #Constraints: 16637
420.97/422.26 c INPROCESSING
420.97/422.26 c GARBAGE COLLECT
420.97/422.26 c #Conflicts: 181000 | #Constraints: 9233
420.97/422.26 c #Conflicts: 182000 | #Constraints: 10233
420.97/422.26 c #Conflicts: 183000 | #Constraints: 11233
420.97/422.26 c #Conflicts: 184000 | #Constraints: 12233
420.97/422.26 c #Conflicts: 185000 | #Constraints: 13233
420.97/422.26 c #Conflicts: 186000 | #Constraints: 14233
420.97/422.26 c #Conflicts: 187000 | #Constraints: 15233
420.97/422.26 c #Conflicts: 188000 | #Constraints: 16233
420.97/422.26 c #Conflicts: 189000 | #Constraints: 17233
420.97/422.26 c INPROCESSING
420.97/422.26 c GARBAGE COLLECT
420.97/422.26 c #Conflicts: 190000 | #Constraints: 9635
420.97/422.26 c #Conflicts: 191000 | #Constraints: 10635
420.97/422.26 c #Conflicts: 192000 | #Constraints: 11635
420.97/422.26 c #Conflicts: 193000 | #Constraints: 12635
420.97/422.26 c #Conflicts: 194000 | #Constraints: 13635
420.97/422.26 c #Conflicts: 195000 | #Constraints: 14635
420.97/422.26 c #Conflicts: 196000 | #Constraints: 15635
420.97/422.26 c #Conflicts: 197000 | #Constraints: 16635
420.97/422.26 c #Conflicts: 198000 | #Constraints: 17635
420.97/422.26 c INPROCESSING
420.97/422.26 c GARBAGE COLLECT
420.97/422.26 c #Conflicts: 199000 | #Constraints: 9833
420.97/422.26 c #Conflicts: 200000 | #Constraints: 10833
420.97/422.26 c #Conflicts: 201000 | #Constraints: 11833
420.97/422.26 c #Conflicts: 202000 | #Constraints: 12833
420.97/422.26 c #Conflicts: 203000 | #Constraints: 13833
420.97/422.26 c #Conflicts: 204000 | #Constraints: 14833
420.97/422.26 c #Conflicts: 205000 | #Constraints: 15833
420.97/422.26 c #Conflicts: 206000 | #Constraints: 16833
420.97/422.26 c #Conflicts: 207000 | #Constraints: 17833
420.97/422.26 c INPROCESSING
420.97/422.26 c GARBAGE COLLECT
420.97/422.26 c #Conflicts: 208000 | #Constraints: 9837
420.97/422.26 c #Conflicts: 209000 | #Constraints: 10837
420.97/422.26 c #Conflicts: 210000 | #Constraints: 11837
420.97/422.26 c #Conflicts: 211000 | #Constraints: 12837
420.97/422.26 c #Conflicts: 212000 | #Constraints: 13837
420.97/422.26 c #Conflicts: 213000 | #Constraints: 14837
420.97/422.26 c #Conflicts: 214000 | #Constraints: 15837
420.97/422.26 c #Conflicts: 215000 | #Constraints: 16837
420.97/422.26 c #Conflicts: 216000 | #Constraints: 17837
420.97/422.26 c INPROCESSING
420.97/422.26 c GARBAGE COLLECT
420.97/422.26 c #Conflicts: 217000 | #Constraints: 9639
420.97/422.26 c #Conflicts: 218000 | #Constraints: 10639
420.97/422.26 c #Conflicts: 219000 | #Constraints: 11639
420.97/422.26 c #Conflicts: 220000 | #Constraints: 12639
420.97/422.26 c #Conflicts: 221000 | #Constraints: 13639
420.97/422.26 c #Conflicts: 222000 | #Constraints: 14639
420.97/422.26 c #Conflicts: 223000 | #Constraints: 15639
420.97/422.26 c #Conflicts: 224000 | #Constraints: 16639
420.97/422.26 c #Conflicts: 225000 | #Constraints: 17639
420.97/422.26 c #Conflicts: 226000 | #Constraints: 18639
420.97/422.26 c INPROCESSING
420.97/422.26 c GARBAGE COLLECT
420.97/422.26 c #Conflicts: 227000 | #Constraints: 10243
420.97/422.26 c #Conflicts: 228000 | #Constraints: 11243
420.97/422.26 c #Conflicts: 229000 | #Constraints: 12243
420.97/422.26 c #Conflicts: 230000 | #Constraints: 13243
420.97/422.26 c #Conflicts: 231000 | #Constraints: 14243
420.97/422.26 c #Conflicts: 232000 | #Constraints: 15243
420.97/422.26 c #Conflicts: 233000 | #Constraints: 16243
420.97/422.26 c #Conflicts: 234000 | #Constraints: 17243
420.97/422.26 c #Conflicts: 235000 | #Constraints: 18243
420.97/422.26 c #Conflicts: 236000 | #Constraints: 19243
420.97/422.26 c INPROCESSING
420.97/422.26 c GARBAGE COLLECT
420.97/422.26 c #Conflicts: 237000 | #Constraints: 10641
420.97/422.26 c #Conflicts: 238000 | #Constraints: 11641
420.97/422.26 c #Conflicts: 239000 | #Constraints: 12641
420.97/422.26 c #Conflicts: 240000 | #Constraints: 13641
420.97/422.26 c #Conflicts: 241000 | #Constraints: 14641
420.97/422.26 c #Conflicts: 242000 | #Constraints: 15641
420.97/422.26 c #Conflicts: 243000 | #Constraints: 16641
420.97/422.26 c #Conflicts: 244000 | #Constraints: 17641
420.97/422.26 c #Conflicts: 245000 | #Constraints: 18641
420.97/422.26 c #Conflicts: 246000 | #Constraints: 19641
420.97/422.26 c INPROCESSING
420.97/422.26 c GARBAGE COLLECT
420.97/422.26 c #Conflicts: 247000 | #Constraints: 10837
420.97/422.26 c #Conflicts: 248000 | #Constraints: 11837
420.97/422.26 c #Conflicts: 249000 | #Constraints: 12837
420.97/422.26 c #Conflicts: 250000 | #Constraints: 13837
420.97/422.26 c #Conflicts: 251000 | #Constraints: 14837
473.14/474.58 c #Conflicts: 252000 | #Constraints: 15837
473.14/474.58 c #Conflicts: 253000 | #Constraints: 16837
473.14/474.58 c #Conflicts: 254000 | #Constraints: 17837
473.14/474.58 c #Conflicts: 255000 | #Constraints: 18837
473.14/474.58 c #Conflicts: 256000 | #Constraints: 19837
473.14/474.58 c INPROCESSING
473.14/474.58 c GARBAGE COLLECT
473.14/474.58 c #Conflicts: 257000 | #Constraints: 10833
473.14/474.58 c #Conflicts: 258000 | #Constraints: 11833
473.14/474.58 c #Conflicts: 259000 | #Constraints: 12833
473.14/474.58 c #Conflicts: 260000 | #Constraints: 13833
473.14/474.58 c #Conflicts: 261000 | #Constraints: 14833
473.14/474.58 c #Conflicts: 262000 | #Constraints: 15833
473.14/474.58 c #Conflicts: 263000 | #Constraints: 16833
473.14/474.58 c #Conflicts: 264000 | #Constraints: 17833
473.14/474.58 c #Conflicts: 265000 | #Constraints: 18833
473.14/474.58 c #Conflicts: 266000 | #Constraints: 19833
473.14/474.58 c INPROCESSING
473.14/474.58 c GARBAGE COLLECT
473.14/474.58 c #Conflicts: 267000 | #Constraints: 10633
473.14/474.58 c #Conflicts: 268000 | #Constraints: 11633
473.14/474.58 c #Conflicts: 269000 | #Constraints: 12633
473.14/474.58 c #Conflicts: 270000 | #Constraints: 13633
473.14/474.58 c #Conflicts: 271000 | #Constraints: 14633
473.14/474.58 c #Conflicts: 272000 | #Constraints: 15633
473.14/474.58 c #Conflicts: 273000 | #Constraints: 16633
473.14/474.58 c #Conflicts: 274000 | #Constraints: 17633
473.14/474.58 c #Conflicts: 275000 | #Constraints: 18633
473.14/474.58 c #Conflicts: 276000 | #Constraints: 19633
473.14/474.58 c #Conflicts: 277000 | #Constraints: 20633
473.14/474.58 c INPROCESSING
473.14/474.58 c GARBAGE COLLECT
473.14/474.58 c #Conflicts: 278000 | #Constraints: 11232
473.14/474.58 c #Conflicts: 279000 | #Constraints: 12232
473.14/474.58 c #Conflicts: 280000 | #Constraints: 13232
473.14/474.58 c #Conflicts: 281000 | #Constraints: 14232
473.14/474.58 c #Conflicts: 282000 | #Constraints: 15232
473.14/474.58 c #Conflicts: 283000 | #Constraints: 16232
473.14/474.58 c #Conflicts: 284000 | #Constraints: 17232
473.14/474.58 c #Conflicts: 285000 | #Constraints: 18232
473.14/474.58 c #Conflicts: 286000 | #Constraints: 19232
473.14/474.58 c #Conflicts: 287000 | #Constraints: 20232
473.14/474.58 c #Conflicts: 288000 | #Constraints: 21232
473.14/474.58 c INPROCESSING
473.14/474.58 c GARBAGE COLLECT
473.14/474.58 c #Conflicts: 289000 | #Constraints: 11631
473.14/474.58 c #Conflicts: 290000 | #Constraints: 12631
473.14/474.58 c #Conflicts: 291000 | #Constraints: 13631
473.14/474.58 c #Conflicts: 292000 | #Constraints: 14631
473.14/474.58 c #Conflicts: 293000 | #Constraints: 15631
473.14/474.58 c #Conflicts: 294000 | #Constraints: 16631
473.14/474.58 c #Conflicts: 295000 | #Constraints: 17631
473.14/474.58 c #Conflicts: 296000 | #Constraints: 18631
473.14/474.58 c #Conflicts: 297000 | #Constraints: 19631
473.14/474.58 c #Conflicts: 298000 | #Constraints: 20631
473.14/474.58 c #Conflicts: 299000 | #Constraints: 21631
473.14/474.58 c INPROCESSING
473.14/474.58 c GARBAGE COLLECT
473.14/474.58 c #Conflicts: 300000 | #Constraints: 11832
473.14/474.58 c #Conflicts: 301000 | #Constraints: 12832
473.14/474.58 c #Conflicts: 302000 | #Constraints: 13832
473.14/474.58 c #Conflicts: 303000 | #Constraints: 14832
473.14/474.58 c #Conflicts: 304000 | #Constraints: 15832
473.14/474.58 c #Conflicts: 305000 | #Constraints: 16832
473.14/474.58 c #Conflicts: 306000 | #Constraints: 17832
473.14/474.58 c #Conflicts: 307000 | #Constraints: 18832
473.14/474.58 c #Conflicts: 308000 | #Constraints: 19832
473.14/474.58 c #Conflicts: 309000 | #Constraints: 20832
473.14/474.58 c #Conflicts: 310000 | #Constraints: 21832
473.14/474.58 c INPROCESSING
473.14/474.58 c GARBAGE COLLECT
473.14/474.58 c #Conflicts: 311000 | #Constraints: 11830
473.14/474.58 c #Conflicts: 312000 | #Constraints: 12830
473.14/474.58 c #Conflicts: 313000 | #Constraints: 13830
473.14/474.58 c #Conflicts: 314000 | #Constraints: 14830
473.14/474.58 c #Conflicts: 315000 | #Constraints: 15830
473.14/474.58 c #Conflicts: 316000 | #Constraints: 16830
473.14/474.58 c #Conflicts: 317000 | #Constraints: 17830
473.14/474.58 c #Conflicts: 318000 | #Constraints: 18830
473.14/474.58 c #Conflicts: 319000 | #Constraints: 19830
473.14/474.58 c #Conflicts: 320000 | #Constraints: 20830
473.14/474.58 c #Conflicts: 321000 | #Constraints: 21830
473.14/474.58 c INPROCESSING
473.14/474.58 c GARBAGE COLLECT
473.14/474.58 c #Conflicts: 322000 | #Constraints: 11633
473.14/474.58 c #Conflicts: 323000 | #Constraints: 12633
473.14/474.58 c #Conflicts: 324000 | #Constraints: 13633
473.14/474.58 c #Conflicts: 325000 | #Constraints: 14633
535.59/537.13 c #Conflicts: 326000 | #Constraints: 15633
535.59/537.13 c #Conflicts: 327000 | #Constraints: 16633
535.59/537.13 c #Conflicts: 328000 | #Constraints: 17633
535.59/537.13 c #Conflicts: 329000 | #Constraints: 18633
535.59/537.13 c #Conflicts: 330000 | #Constraints: 19633
535.59/537.13 c #Conflicts: 331000 | #Constraints: 20633
535.59/537.13 c #Conflicts: 332000 | #Constraints: 21633
535.59/537.13 c #Conflicts: 333000 | #Constraints: 22633
535.59/537.13 c INPROCESSING
535.59/537.13 c GARBAGE COLLECT
535.59/537.13 c #Conflicts: 334000 | #Constraints: 12234
535.59/537.13 c #Conflicts: 335000 | #Constraints: 13234
535.59/537.13 c #Conflicts: 336000 | #Constraints: 14234
535.59/537.13 c #Conflicts: 337000 | #Constraints: 15234
535.59/537.13 c #Conflicts: 338000 | #Constraints: 16234
535.59/537.13 c #Conflicts: 339000 | #Constraints: 17234
535.59/537.13 c #Conflicts: 340000 | #Constraints: 18234
535.59/537.13 c #Conflicts: 341000 | #Constraints: 19234
535.59/537.13 c #Conflicts: 342000 | #Constraints: 20234
535.59/537.13 c #Conflicts: 343000 | #Constraints: 21234
535.59/537.13 c #Conflicts: 344000 | #Constraints: 22234
535.59/537.13 c #Conflicts: 345000 | #Constraints: 23234
535.59/537.13 c INPROCESSING
535.59/537.13 c GARBAGE COLLECT
535.59/537.13 c #Conflicts: 346000 | #Constraints: 12630
535.59/537.13 c #Conflicts: 347000 | #Constraints: 13630
535.59/537.13 c #Conflicts: 348000 | #Constraints: 14630
535.59/537.13 c #Conflicts: 349000 | #Constraints: 15630
535.59/537.13 c #Conflicts: 350000 | #Constraints: 16630
535.59/537.13 c #Conflicts: 351000 | #Constraints: 17630
535.59/537.13 c #Conflicts: 352000 | #Constraints: 18630
535.59/537.13 c #Conflicts: 353000 | #Constraints: 19630
535.59/537.13 c #Conflicts: 354000 | #Constraints: 20630
535.59/537.13 c #Conflicts: 355000 | #Constraints: 21630
535.59/537.13 c #Conflicts: 356000 | #Constraints: 22630
535.59/537.13 c #Conflicts: 357000 | #Constraints: 23630
535.59/537.13 c INPROCESSING
535.59/537.13 c GARBAGE COLLECT
535.59/537.13 c #Conflicts: 358000 | #Constraints: 12830
535.59/537.13 c #Conflicts: 359000 | #Constraints: 13830
535.59/537.13 c #Conflicts: 360000 | #Constraints: 14830
535.59/537.13 c #Conflicts: 361000 | #Constraints: 15830
535.59/537.13 c #Conflicts: 362000 | #Constraints: 16830
535.59/537.13 c #Conflicts: 363000 | #Constraints: 17830
535.59/537.13 c #Conflicts: 364000 | #Constraints: 18830
535.59/537.13 c #Conflicts: 365000 | #Constraints: 19830
535.59/537.13 c #Conflicts: 366000 | #Constraints: 20830
535.59/537.13 c #Conflicts: 367000 | #Constraints: 21830
535.59/537.13 c #Conflicts: 368000 | #Constraints: 22830
535.59/537.13 c #Conflicts: 369000 | #Constraints: 23830
535.59/537.13 c INPROCESSING
535.59/537.13 c GARBAGE COLLECT
535.59/537.13 c #Conflicts: 370000 | #Constraints: 12833
535.59/537.13 c #Conflicts: 371000 | #Constraints: 13833
535.59/537.13 c #Conflicts: 372000 | #Constraints: 14833
535.59/537.13 c #Conflicts: 373000 | #Constraints: 15833
535.59/537.13 c #Conflicts: 374000 | #Constraints: 16833
535.59/537.13 c #Conflicts: 375000 | #Constraints: 17833
535.59/537.13 c #Conflicts: 376000 | #Constraints: 18833
535.59/537.13 c #Conflicts: 377000 | #Constraints: 19833
535.59/537.13 c #Conflicts: 378000 | #Constraints: 20833
535.59/537.13 c #Conflicts: 379000 | #Constraints: 21833
535.59/537.13 c #Conflicts: 380000 | #Constraints: 22833
535.59/537.13 c #Conflicts: 381000 | #Constraints: 23833
535.59/537.13 c INPROCESSING
535.59/537.13 c GARBAGE COLLECT
535.59/537.13 c #Conflicts: 382000 | #Constraints: 12631
535.59/537.13 c #Conflicts: 383000 | #Constraints: 13631
535.59/537.13 c #Conflicts: 384000 | #Constraints: 14631
535.59/537.13 c #Conflicts: 385000 | #Constraints: 15631
535.59/537.13 c #Conflicts: 386000 | #Constraints: 16631
535.59/537.13 c #Conflicts: 387000 | #Constraints: 17631
535.59/537.13 c #Conflicts: 388000 | #Constraints: 18631
535.59/537.13 c #Conflicts: 389000 | #Constraints: 19631
535.59/537.13 c #Conflicts: 390000 | #Constraints: 20631
535.59/537.13 c #Conflicts: 391000 | #Constraints: 21631
535.59/537.13 c #Conflicts: 392000 | #Constraints: 22631
535.59/537.13 c #Conflicts: 393000 | #Constraints: 23631
535.59/537.13 c #Conflicts: 394000 | #Constraints: 24631
535.59/537.13 c INPROCESSING
535.59/537.13 c GARBAGE COLLECT
535.59/537.13 c #Conflicts: 395000 | #Constraints: 13235
535.59/537.13 c #Conflicts: 396000 | #Constraints: 14235
535.59/537.13 c #Conflicts: 397000 | #Constraints: 15235
535.59/537.13 c #Conflicts: 398000 | #Constraints: 16235
535.59/537.13 c #Conflicts: 399000 | #Constraints: 17235
535.59/537.13 c #Conflicts: 400000 | #Constraints: 18235
618.08/619.81 c #Conflicts: 401000 | #Constraints: 19235
618.08/619.81 c #Conflicts: 402000 | #Constraints: 20235
618.08/619.81 c #Conflicts: 403000 | #Constraints: 21235
618.08/619.81 c #Conflicts: 404000 | #Constraints: 22235
618.08/619.81 c #Conflicts: 405000 | #Constraints: 23235
618.08/619.81 c #Conflicts: 406000 | #Constraints: 24235
618.08/619.81 c #Conflicts: 407000 | #Constraints: 25235
618.08/619.81 c INPROCESSING
618.08/619.81 c GARBAGE COLLECT
618.08/619.81 c #Conflicts: 408000 | #Constraints: 13636
618.08/619.81 c #Conflicts: 409000 | #Constraints: 14636
618.08/619.81 c #Conflicts: 410000 | #Constraints: 15636
618.08/619.81 c #Conflicts: 411000 | #Constraints: 16636
618.08/619.81 c #Conflicts: 412000 | #Constraints: 17636
618.08/619.81 c #Conflicts: 413000 | #Constraints: 18636
618.08/619.81 c #Conflicts: 414000 | #Constraints: 19636
618.08/619.81 c #Conflicts: 415000 | #Constraints: 20636
618.08/619.81 c #Conflicts: 416000 | #Constraints: 21636
618.08/619.81 c #Conflicts: 417000 | #Constraints: 22636
618.08/619.81 c #Conflicts: 418000 | #Constraints: 23636
618.08/619.81 c #Conflicts: 419000 | #Constraints: 24636
618.08/619.81 c #Conflicts: 420000 | #Constraints: 25636
618.08/619.81 c INPROCESSING
618.08/619.81 c GARBAGE COLLECT
618.08/619.81 c #Conflicts: 421000 | #Constraints: 13838
618.08/619.81 c #Conflicts: 422000 | #Constraints: 14838
618.08/619.81 c #Conflicts: 423000 | #Constraints: 15838
618.08/619.81 c #Conflicts: 424000 | #Constraints: 16838
618.08/619.81 c #Conflicts: 425000 | #Constraints: 17838
618.08/619.81 c #Conflicts: 426000 | #Constraints: 18838
618.08/619.81 c #Conflicts: 427000 | #Constraints: 19838
618.08/619.81 c #Conflicts: 428000 | #Constraints: 20838
618.08/619.81 c #Conflicts: 429000 | #Constraints: 21838
618.08/619.81 c #Conflicts: 430000 | #Constraints: 22838
618.08/619.81 c #Conflicts: 431000 | #Constraints: 23838
618.08/619.81 c #Conflicts: 432000 | #Constraints: 24838
618.08/619.81 c #Conflicts: 433000 | #Constraints: 25838
618.08/619.81 c INPROCESSING
618.08/619.81 c GARBAGE COLLECT
618.08/619.81 c #Conflicts: 434000 | #Constraints: 13838
618.08/619.81 c #Conflicts: 435000 | #Constraints: 14838
618.08/619.81 c #Conflicts: 436000 | #Constraints: 15838
618.08/619.81 c #Conflicts: 437000 | #Constraints: 16838
618.08/619.81 c #Conflicts: 438000 | #Constraints: 17838
618.08/619.81 c #Conflicts: 439000 | #Constraints: 18838
618.08/619.81 c #Conflicts: 440000 | #Constraints: 19838
618.08/619.81 c #Conflicts: 441000 | #Constraints: 20838
618.08/619.81 c #Conflicts: 442000 | #Constraints: 21838
618.08/619.81 c #Conflicts: 443000 | #Constraints: 22838
618.08/619.81 c #Conflicts: 444000 | #Constraints: 23838
618.08/619.81 c #Conflicts: 445000 | #Constraints: 24838
618.08/619.81 c #Conflicts: 446000 | #Constraints: 25838
618.08/619.81 c INPROCESSING
618.08/619.81 c GARBAGE COLLECT
618.08/619.81 c #Conflicts: 447000 | #Constraints: 13643
618.08/619.81 c #Conflicts: 448000 | #Constraints: 14643
618.08/619.81 c #Conflicts: 449000 | #Constraints: 15643
618.08/619.81 c #Conflicts: 450000 | #Constraints: 16643
618.08/619.81 c #Conflicts: 451000 | #Constraints: 17643
618.08/619.81 c #Conflicts: 452000 | #Constraints: 18643
618.08/619.81 c #Conflicts: 453000 | #Constraints: 19643
618.08/619.81 c #Conflicts: 454000 | #Constraints: 20643
618.08/619.81 c #Conflicts: 455000 | #Constraints: 21643
618.08/619.81 c #Conflicts: 456000 | #Constraints: 22643
618.08/619.81 c #Conflicts: 457000 | #Constraints: 23643
618.08/619.81 c #Conflicts: 458000 | #Constraints: 24643
618.08/619.81 c #Conflicts: 459000 | #Constraints: 25643
618.08/619.81 c #Conflicts: 460000 | #Constraints: 26643
618.08/619.81 c INPROCESSING
618.08/619.81 c GARBAGE COLLECT
618.08/619.81 c #Conflicts: 461000 | #Constraints: 14243
618.08/619.81 c #Conflicts: 462000 | #Constraints: 15243
618.08/619.81 c #Conflicts: 463000 | #Constraints: 16243
618.08/619.81 c #Conflicts: 464000 | #Constraints: 17243
618.08/619.81 c #Conflicts: 465000 | #Constraints: 18243
618.08/619.81 c #Conflicts: 466000 | #Constraints: 19243
618.08/619.81 c #Conflicts: 467000 | #Constraints: 20243
618.08/619.81 c #Conflicts: 468000 | #Constraints: 21243
618.08/619.81 c #Conflicts: 469000 | #Constraints: 22243
618.08/619.81 c #Conflicts: 470000 | #Constraints: 23243
618.08/619.81 c #Conflicts: 471000 | #Constraints: 24243
618.08/619.81 c #Conflicts: 472000 | #Constraints: 25243
618.08/619.81 c #Conflicts: 473000 | #Constraints: 26243
618.08/619.81 c #Conflicts: 474000 | #Constraints: 27243
618.08/619.81 c INPROCESSING
618.08/619.81 c GARBAGE COLLECT
618.08/619.81 c #Conflicts: 475000 | #Constraints: 14641
701.47/703.47 c #Conflicts: 476000 | #Constraints: 15641
701.47/703.47 c #Conflicts: 477000 | #Constraints: 16641
701.47/703.47 c #Conflicts: 478000 | #Constraints: 17641
701.47/703.47 c #Conflicts: 479000 | #Constraints: 18641
701.47/703.47 c #Conflicts: 480000 | #Constraints: 19641
701.47/703.47 c #Conflicts: 481000 | #Constraints: 20641
701.47/703.47 c #Conflicts: 482000 | #Constraints: 21641
701.47/703.47 c #Conflicts: 483000 | #Constraints: 22641
701.47/703.47 c #Conflicts: 484000 | #Constraints: 23641
701.47/703.47 c #Conflicts: 485000 | #Constraints: 24641
701.47/703.47 c #Conflicts: 486000 | #Constraints: 25641
701.47/703.47 c #Conflicts: 487000 | #Constraints: 26641
701.47/703.47 c #Conflicts: 488000 | #Constraints: 27641
701.47/703.47 c INPROCESSING
701.47/703.47 c GARBAGE COLLECT
701.47/703.47 c #Conflicts: 489000 | #Constraints: 14841
701.47/703.47 c #Conflicts: 490000 | #Constraints: 15841
701.47/703.47 c #Conflicts: 491000 | #Constraints: 16841
701.47/703.47 c #Conflicts: 492000 | #Constraints: 17841
701.47/703.47 c #Conflicts: 493000 | #Constraints: 18841
701.47/703.47 c #Conflicts: 494000 | #Constraints: 19841
701.47/703.47 c #Conflicts: 495000 | #Constraints: 20841
701.47/703.47 c #Conflicts: 496000 | #Constraints: 21841
701.47/703.47 c #Conflicts: 497000 | #Constraints: 22841
701.47/703.47 c #Conflicts: 498000 | #Constraints: 23841
701.47/703.47 c #Conflicts: 499000 | #Constraints: 24841
701.47/703.47 c #Conflicts: 500000 | #Constraints: 25841
701.47/703.47 c #Conflicts: 501000 | #Constraints: 26841
701.47/703.47 c #Conflicts: 502000 | #Constraints: 27841
701.47/703.47 c INPROCESSING
701.47/703.47 c GARBAGE COLLECT
701.47/703.47 c #Conflicts: 503000 | #Constraints: 14842
701.47/703.47 c #Conflicts: 504000 | #Constraints: 15842
701.47/703.47 c #Conflicts: 505000 | #Constraints: 16842
701.47/703.47 c #Conflicts: 506000 | #Constraints: 17842
701.47/703.47 c #Conflicts: 507000 | #Constraints: 18842
701.47/703.47 c #Conflicts: 508000 | #Constraints: 19842
701.47/703.47 c #Conflicts: 509000 | #Constraints: 20842
701.47/703.47 c #Conflicts: 510000 | #Constraints: 21842
701.47/703.47 c #Conflicts: 511000 | #Constraints: 22842
701.47/703.47 c #Conflicts: 512000 | #Constraints: 23842
701.47/703.47 c #Conflicts: 513000 | #Constraints: 24842
701.47/703.47 c #Conflicts: 514000 | #Constraints: 25842
701.47/703.47 c #Conflicts: 515000 | #Constraints: 26842
701.47/703.47 c #Conflicts: 516000 | #Constraints: 27842
701.47/703.47 c INPROCESSING
701.47/703.47 c GARBAGE COLLECT
701.47/703.47 c #Conflicts: 517000 | #Constraints: 14636
701.47/703.47 c #Conflicts: 518000 | #Constraints: 15636
701.47/703.47 c #Conflicts: 519000 | #Constraints: 16636
701.47/703.47 c #Conflicts: 520000 | #Constraints: 17636
701.47/703.47 c #Conflicts: 521000 | #Constraints: 18636
701.47/703.47 c #Conflicts: 522000 | #Constraints: 19636
701.47/703.47 c #Conflicts: 523000 | #Constraints: 20636
701.47/703.47 c #Conflicts: 524000 | #Constraints: 21636
701.47/703.47 c #Conflicts: 525000 | #Constraints: 22636
701.47/703.47 c #Conflicts: 526000 | #Constraints: 23636
701.47/703.47 c #Conflicts: 527000 | #Constraints: 24636
701.47/703.47 c #Conflicts: 528000 | #Constraints: 25636
701.47/703.47 c #Conflicts: 529000 | #Constraints: 26636
701.47/703.47 c #Conflicts: 530000 | #Constraints: 27636
701.47/703.47 c #Conflicts: 531000 | #Constraints: 28636
701.47/703.47 c INPROCESSING
701.47/703.47 c GARBAGE COLLECT
701.47/703.47 c #Conflicts: 532000 | #Constraints: 15241
701.47/703.47 c #Conflicts: 533000 | #Constraints: 16241
701.47/703.47 c #Conflicts: 534000 | #Constraints: 17241
701.47/703.47 c #Conflicts: 535000 | #Constraints: 18241
701.47/703.47 c #Conflicts: 536000 | #Constraints: 19241
701.47/703.47 c #Conflicts: 537000 | #Constraints: 20241
701.47/703.47 c #Conflicts: 538000 | #Constraints: 21241
701.47/703.47 c #Conflicts: 539000 | #Constraints: 22241
701.47/703.47 c #Conflicts: 540000 | #Constraints: 23241
701.47/703.47 c #Conflicts: 541000 | #Constraints: 24241
701.47/703.47 c #Conflicts: 542000 | #Constraints: 25241
701.47/703.47 c #Conflicts: 543000 | #Constraints: 26241
701.47/703.47 c #Conflicts: 544000 | #Constraints: 27241
701.47/703.47 c #Conflicts: 545000 | #Constraints: 28241
701.47/703.47 c #Conflicts: 546000 | #Constraints: 29241
701.47/703.47 c INPROCESSING
701.47/703.47 c GARBAGE COLLECT
701.47/703.47 c #Conflicts: 547000 | #Constraints: 15638
701.47/703.47 c #Conflicts: 548000 | #Constraints: 16638
701.47/703.47 c #Conflicts: 549000 | #Constraints: 17638
701.47/703.47 c #Conflicts: 550000 | #Constraints: 18638
701.47/703.47 c #Conflicts: 551000 | #Constraints: 19638
786.56/788.79 c #Conflicts: 552000 | #Constraints: 20638
786.56/788.79 c #Conflicts: 553000 | #Constraints: 21638
786.56/788.79 c #Conflicts: 554000 | #Constraints: 22638
786.56/788.79 c #Conflicts: 555000 | #Constraints: 23638
786.56/788.79 c #Conflicts: 556000 | #Constraints: 24638
786.56/788.79 c #Conflicts: 557000 | #Constraints: 25638
786.56/788.79 c #Conflicts: 558000 | #Constraints: 26638
786.56/788.79 c #Conflicts: 559000 | #Constraints: 27638
786.56/788.79 c #Conflicts: 560000 | #Constraints: 28638
786.56/788.79 c #Conflicts: 561000 | #Constraints: 29638
786.56/788.79 c INPROCESSING
786.56/788.79 c GARBAGE COLLECT
786.56/788.79 c #Conflicts: 562000 | #Constraints: 15837
786.56/788.79 c #Conflicts: 563000 | #Constraints: 16837
786.56/788.79 c #Conflicts: 564000 | #Constraints: 17837
786.56/788.79 c #Conflicts: 565000 | #Constraints: 18837
786.56/788.79 c #Conflicts: 566000 | #Constraints: 19837
786.56/788.79 c #Conflicts: 567000 | #Constraints: 20837
786.56/788.79 c #Conflicts: 568000 | #Constraints: 21837
786.56/788.79 c #Conflicts: 569000 | #Constraints: 22837
786.56/788.79 c #Conflicts: 570000 | #Constraints: 23837
786.56/788.79 c #Conflicts: 571000 | #Constraints: 24837
786.56/788.79 c #Conflicts: 572000 | #Constraints: 25837
786.56/788.79 c #Conflicts: 573000 | #Constraints: 26837
786.56/788.79 c #Conflicts: 574000 | #Constraints: 27837
786.56/788.79 c #Conflicts: 575000 | #Constraints: 28837
786.56/788.79 c #Conflicts: 576000 | #Constraints: 29837
786.56/788.79 c INPROCESSING
786.56/788.79 c GARBAGE COLLECT
786.56/788.79 c #Conflicts: 577000 | #Constraints: 15838
786.56/788.79 c #Conflicts: 578000 | #Constraints: 16838
786.56/788.79 c #Conflicts: 579000 | #Constraints: 17838
786.56/788.79 c #Conflicts: 580000 | #Constraints: 18838
786.56/788.79 c #Conflicts: 581000 | #Constraints: 19838
786.56/788.79 c #Conflicts: 582000 | #Constraints: 20838
786.56/788.79 c #Conflicts: 583000 | #Constraints: 21838
786.56/788.79 c #Conflicts: 584000 | #Constraints: 22838
786.56/788.79 c #Conflicts: 585000 | #Constraints: 23838
786.56/788.79 c #Conflicts: 586000 | #Constraints: 24838
786.56/788.79 c #Conflicts: 587000 | #Constraints: 25838
786.56/788.79 c #Conflicts: 588000 | #Constraints: 26838
786.56/788.79 c #Conflicts: 589000 | #Constraints: 27838
786.56/788.79 c #Conflicts: 590000 | #Constraints: 28838
786.56/788.79 c #Conflicts: 591000 | #Constraints: 29838
786.56/788.79 c INPROCESSING
786.56/788.79 c GARBAGE COLLECT
786.56/788.79 c #Conflicts: 592000 | #Constraints: 15635
786.56/788.79 c #Conflicts: 593000 | #Constraints: 16635
786.56/788.79 c #Conflicts: 594000 | #Constraints: 17635
786.56/788.79 c #Conflicts: 595000 | #Constraints: 18635
786.56/788.79 c #Conflicts: 596000 | #Constraints: 19635
786.56/788.79 c #Conflicts: 597000 | #Constraints: 20635
786.56/788.79 c #Conflicts: 598000 | #Constraints: 21635
786.56/788.79 c #Conflicts: 599000 | #Constraints: 22635
786.56/788.79 c #Conflicts: 600000 | #Constraints: 23635
786.56/788.79 c #Conflicts: 601000 | #Constraints: 24635
786.56/788.79 c #Conflicts: 602000 | #Constraints: 25635
786.56/788.79 c #Conflicts: 603000 | #Constraints: 26635
786.56/788.79 c #Conflicts: 604000 | #Constraints: 27635
786.56/788.79 c #Conflicts: 605000 | #Constraints: 28635
786.56/788.79 c #Conflicts: 606000 | #Constraints: 29635
786.56/788.79 c #Conflicts: 607000 | #Constraints: 30635
786.56/788.79 c INPROCESSING
786.56/788.79 c GARBAGE COLLECT
786.56/788.79 c #Conflicts: 608000 | #Constraints: 16236
786.56/788.79 c #Conflicts: 609000 | #Constraints: 17236
786.56/788.79 c #Conflicts: 610000 | #Constraints: 18236
786.56/788.79 c #Conflicts: 611000 | #Constraints: 19236
786.56/788.79 c #Conflicts: 612000 | #Constraints: 20236
786.56/788.79 c #Conflicts: 613000 | #Constraints: 21236
786.56/788.79 c #Conflicts: 614000 | #Constraints: 22236
786.56/788.79 c #Conflicts: 615000 | #Constraints: 23236
786.56/788.79 c #Conflicts: 616000 | #Constraints: 24236
786.56/788.79 c #Conflicts: 617000 | #Constraints: 25236
786.56/788.79 c #Conflicts: 618000 | #Constraints: 26236
786.56/788.79 c #Conflicts: 619000 | #Constraints: 27236
786.56/788.79 c #Conflicts: 620000 | #Constraints: 28236
786.56/788.79 c #Conflicts: 621000 | #Constraints: 29236
786.56/788.79 c #Conflicts: 622000 | #Constraints: 30236
786.56/788.79 c #Conflicts: 623000 | #Constraints: 31236
786.56/788.79 c INPROCESSING
786.56/788.79 c GARBAGE COLLECT
786.56/788.79 c #Conflicts: 624000 | #Constraints: 16634
786.56/788.79 c #Conflicts: 625000 | #Constraints: 17634
786.56/788.79 c #Conflicts: 626000 | #Constraints: 18634
876.14/878.52 c #Conflicts: 627000 | #Constraints: 19634
876.14/878.52 c #Conflicts: 628000 | #Constraints: 20634
876.14/878.52 c #Conflicts: 629000 | #Constraints: 21634
876.14/878.52 c #Conflicts: 630000 | #Constraints: 22634
876.14/878.52 c #Conflicts: 631000 | #Constraints: 23634
876.14/878.52 c #Conflicts: 632000 | #Constraints: 24634
876.14/878.52 c #Conflicts: 633000 | #Constraints: 25634
876.14/878.52 c #Conflicts: 634000 | #Constraints: 26634
876.14/878.52 c #Conflicts: 635000 | #Constraints: 27634
876.14/878.52 c #Conflicts: 636000 | #Constraints: 28634
876.14/878.52 c #Conflicts: 637000 | #Constraints: 29634
876.14/878.52 c #Conflicts: 638000 | #Constraints: 30634
876.14/878.52 c #Conflicts: 639000 | #Constraints: 31634
876.14/878.52 c INPROCESSING
876.14/878.52 c GARBAGE COLLECT
876.14/878.52 c #Conflicts: 640000 | #Constraints: 16830
876.14/878.52 c #Conflicts: 641000 | #Constraints: 17830
876.14/878.52 c #Conflicts: 642000 | #Constraints: 18830
876.14/878.52 c #Conflicts: 643000 | #Constraints: 19830
876.14/878.52 c #Conflicts: 644000 | #Constraints: 20830
876.14/878.52 c #Conflicts: 645000 | #Constraints: 21830
876.14/878.52 c #Conflicts: 646000 | #Constraints: 22830
876.14/878.52 c #Conflicts: 647000 | #Constraints: 23830
876.14/878.52 c #Conflicts: 648000 | #Constraints: 24830
876.14/878.52 c #Conflicts: 649000 | #Constraints: 25830
876.14/878.52 c #Conflicts: 650000 | #Constraints: 26830
876.14/878.52 c #Conflicts: 651000 | #Constraints: 27830
876.14/878.52 c #Conflicts: 652000 | #Constraints: 28830
876.14/878.52 c #Conflicts: 653000 | #Constraints: 29830
876.14/878.52 c #Conflicts: 654000 | #Constraints: 30830
876.14/878.52 c #Conflicts: 655000 | #Constraints: 31830
876.14/878.52 c INPROCESSING
876.14/878.52 c GARBAGE COLLECT
876.14/878.52 c #Conflicts: 656000 | #Constraints: 16835
876.14/878.52 c #Conflicts: 657000 | #Constraints: 17835
876.14/878.52 c #Conflicts: 658000 | #Constraints: 18835
876.14/878.52 c #Conflicts: 659000 | #Constraints: 19835
876.14/878.52 c #Conflicts: 660000 | #Constraints: 20835
876.14/878.52 c #Conflicts: 661000 | #Constraints: 21835
876.14/878.52 c #Conflicts: 662000 | #Constraints: 22835
876.14/878.52 c #Conflicts: 663000 | #Constraints: 23835
876.14/878.52 c #Conflicts: 664000 | #Constraints: 24835
876.14/878.52 c #Conflicts: 665000 | #Constraints: 25835
876.14/878.52 c #Conflicts: 666000 | #Constraints: 26835
876.14/878.52 c #Conflicts: 667000 | #Constraints: 27835
876.14/878.52 c #Conflicts: 668000 | #Constraints: 28835
876.14/878.52 c #Conflicts: 669000 | #Constraints: 29835
876.14/878.52 c #Conflicts: 670000 | #Constraints: 30835
876.14/878.52 c #Conflicts: 671000 | #Constraints: 31835
876.14/878.52 c INPROCESSING
876.14/878.52 c GARBAGE COLLECT
876.14/878.52 c #Conflicts: 672000 | #Constraints: 16634
876.14/878.52 c #Conflicts: 673000 | #Constraints: 17634
876.14/878.52 c #Conflicts: 674000 | #Constraints: 18634
876.14/878.52 c #Conflicts: 675000 | #Constraints: 19634
876.14/878.52 c #Conflicts: 676000 | #Constraints: 20634
876.14/878.52 c #Conflicts: 677000 | #Constraints: 21634
876.14/878.52 c #Conflicts: 678000 | #Constraints: 22634
876.14/878.52 c #Conflicts: 679000 | #Constraints: 23634
876.14/878.52 c #Conflicts: 680000 | #Constraints: 24634
876.14/878.52 c #Conflicts: 681000 | #Constraints: 25634
876.14/878.52 c #Conflicts: 682000 | #Constraints: 26634
876.14/878.52 c #Conflicts: 683000 | #Constraints: 27634
876.14/878.52 c #Conflicts: 684000 | #Constraints: 28634
876.14/878.52 c #Conflicts: 685000 | #Constraints: 29634
876.14/878.52 c #Conflicts: 686000 | #Constraints: 30634
876.14/878.52 c #Conflicts: 687000 | #Constraints: 31634
876.14/878.52 c #Conflicts: 688000 | #Constraints: 32634
876.14/878.52 c INPROCESSING
876.14/878.52 c GARBAGE COLLECT
876.14/878.52 c #Conflicts: 689000 | #Constraints: 17232
876.14/878.52 c #Conflicts: 690000 | #Constraints: 18232
876.14/878.52 c #Conflicts: 691000 | #Constraints: 19232
876.14/878.52 c #Conflicts: 692000 | #Constraints: 20232
876.14/878.52 c #Conflicts: 693000 | #Constraints: 21232
876.14/878.52 c #Conflicts: 694000 | #Constraints: 22232
876.14/878.52 c #Conflicts: 695000 | #Constraints: 23232
876.14/878.52 c #Conflicts: 696000 | #Constraints: 24232
876.14/878.52 c #Conflicts: 697000 | #Constraints: 25232
876.14/878.52 c #Conflicts: 698000 | #Constraints: 26232
876.14/878.52 c #Conflicts: 699000 | #Constraints: 27232
876.14/878.52 c #Conflicts: 700000 | #Constraints: 28232
876.14/878.52 c #Conflicts: 701000 | #Constraints: 29232
876.14/878.52 c #Conflicts: 702000 | #Constraints: 30232
984.66/987.34 c #Conflicts: 703000 | #Constraints: 31232
984.66/987.34 c #Conflicts: 704000 | #Constraints: 32232
984.66/987.34 c #Conflicts: 705000 | #Constraints: 33232
984.66/987.34 c INPROCESSING
984.66/987.34 c GARBAGE COLLECT
984.66/987.34 c #Conflicts: 706000 | #Constraints: 17634
984.66/987.34 c #Conflicts: 707000 | #Constraints: 18634
984.66/987.34 c #Conflicts: 708000 | #Constraints: 19634
984.66/987.34 c #Conflicts: 709000 | #Constraints: 20634
984.66/987.34 c #Conflicts: 710000 | #Constraints: 21634
984.66/987.34 c #Conflicts: 711000 | #Constraints: 22634
984.66/987.34 c #Conflicts: 712000 | #Constraints: 23634
984.66/987.34 c #Conflicts: 713000 | #Constraints: 24634
984.66/987.34 c #Conflicts: 714000 | #Constraints: 25634
984.66/987.34 c #Conflicts: 715000 | #Constraints: 26634
984.66/987.34 c #Conflicts: 716000 | #Constraints: 27634
984.66/987.34 c #Conflicts: 717000 | #Constraints: 28634
984.66/987.34 c #Conflicts: 718000 | #Constraints: 29634
984.66/987.34 c #Conflicts: 719000 | #Constraints: 30634
984.66/987.34 c #Conflicts: 720000 | #Constraints: 31634
984.66/987.34 c #Conflicts: 721000 | #Constraints: 32634
984.66/987.34 c #Conflicts: 722000 | #Constraints: 33634
984.66/987.34 c INPROCESSING
984.66/987.34 c GARBAGE COLLECT
984.66/987.34 c #Conflicts: 723000 | #Constraints: 17835
984.66/987.34 c #Conflicts: 724000 | #Constraints: 18835
984.66/987.34 c #Conflicts: 725000 | #Constraints: 19835
984.66/987.34 c #Conflicts: 726000 | #Constraints: 20835
984.66/987.34 c #Conflicts: 727000 | #Constraints: 21835
984.66/987.34 c #Conflicts: 728000 | #Constraints: 22835
984.66/987.34 c #Conflicts: 729000 | #Constraints: 23835
984.66/987.34 c #Conflicts: 730000 | #Constraints: 24835
984.66/987.34 c #Conflicts: 731000 | #Constraints: 25835
984.66/987.34 c #Conflicts: 732000 | #Constraints: 26835
984.66/987.34 c #Conflicts: 733000 | #Constraints: 27835
984.66/987.34 c #Conflicts: 734000 | #Constraints: 28835
984.66/987.34 c #Conflicts: 735000 | #Constraints: 29835
984.66/987.34 c #Conflicts: 736000 | #Constraints: 30835
984.66/987.34 c #Conflicts: 737000 | #Constraints: 31835
984.66/987.34 c #Conflicts: 738000 | #Constraints: 32835
984.66/987.34 c #Conflicts: 739000 | #Constraints: 33835
984.66/987.34 c INPROCESSING
984.66/987.34 c GARBAGE COLLECT
984.66/987.34 c #Conflicts: 740000 | #Constraints: 17838
984.66/987.34 c #Conflicts: 741000 | #Constraints: 18838
984.66/987.34 c #Conflicts: 742000 | #Constraints: 19838
984.66/987.34 c #Conflicts: 743000 | #Constraints: 20838
984.66/987.34 c #Conflicts: 744000 | #Constraints: 21838
984.66/987.34 c #Conflicts: 745000 | #Constraints: 22838
984.66/987.34 c #Conflicts: 746000 | #Constraints: 23838
984.66/987.34 c #Conflicts: 747000 | #Constraints: 24838
984.66/987.34 c #Conflicts: 748000 | #Constraints: 25838
984.66/987.34 c #Conflicts: 749000 | #Constraints: 26838
984.66/987.34 c #Conflicts: 750000 | #Constraints: 27838
984.66/987.34 c #Conflicts: 751000 | #Constraints: 28838
984.66/987.34 c #Conflicts: 752000 | #Constraints: 29838
984.66/987.34 c #Conflicts: 753000 | #Constraints: 30838
984.66/987.34 c #Conflicts: 754000 | #Constraints: 31838
984.66/987.34 c #Conflicts: 755000 | #Constraints: 32838
984.66/987.34 c #Conflicts: 756000 | #Constraints: 33838
984.66/987.34 c INPROCESSING
984.66/987.34 c GARBAGE COLLECT
984.66/987.34 c #Conflicts: 757000 | #Constraints: 17638
984.66/987.34 c #Conflicts: 758000 | #Constraints: 18638
984.66/987.34 c #Conflicts: 759000 | #Constraints: 19638
984.66/987.34 c #Conflicts: 760000 | #Constraints: 20638
984.66/987.34 c #Conflicts: 761000 | #Constraints: 21638
984.66/987.34 c #Conflicts: 762000 | #Constraints: 22638
984.66/987.34 c #Conflicts: 763000 | #Constraints: 23638
984.66/987.34 c #Conflicts: 764000 | #Constraints: 24638
984.66/987.34 c #Conflicts: 765000 | #Constraints: 25638
984.66/987.34 c #Conflicts: 766000 | #Constraints: 26638
984.66/987.34 c #Conflicts: 767000 | #Constraints: 27638
984.66/987.34 c #Conflicts: 768000 | #Constraints: 28638
984.66/987.34 c #Conflicts: 769000 | #Constraints: 29638
984.66/987.34 c #Conflicts: 770000 | #Constraints: 30638
984.66/987.34 c #Conflicts: 771000 | #Constraints: 31638
984.66/987.34 c #Conflicts: 772000 | #Constraints: 32638
984.66/987.34 c #Conflicts: 773000 | #Constraints: 33638
984.66/987.34 c #Conflicts: 774000 | #Constraints: 34638
984.66/987.34 c INPROCESSING
984.66/987.34 c GARBAGE COLLECT
984.66/987.34 c #Conflicts: 775000 | #Constraints: 18236
984.66/987.34 c #Conflicts: 776000 | #Constraints: 19236
984.66/987.34 c #Conflicts: 777000 | #Constraints: 20236
984.66/987.34 c #Conflicts: 778000 | #Constraints: 21236
1088.20/1091.18 c #Conflicts: 779000 | #Constraints: 22236
1088.20/1091.18 c #Conflicts: 780000 | #Constraints: 23236
1088.20/1091.18 c #Conflicts: 781000 | #Constraints: 24236
1088.20/1091.18 c #Conflicts: 782000 | #Constraints: 25236
1088.20/1091.18 c #Conflicts: 783000 | #Constraints: 26236
1088.20/1091.18 c #Conflicts: 784000 | #Constraints: 27236
1088.20/1091.18 c #Conflicts: 785000 | #Constraints: 28236
1088.20/1091.18 c #Conflicts: 786000 | #Constraints: 29236
1088.20/1091.18 c #Conflicts: 787000 | #Constraints: 30236
1088.20/1091.18 c #Conflicts: 788000 | #Constraints: 31236
1088.20/1091.18 c #Conflicts: 789000 | #Constraints: 32236
1088.20/1091.18 c #Conflicts: 790000 | #Constraints: 33236
1088.20/1091.18 c #Conflicts: 791000 | #Constraints: 34236
1088.20/1091.18 c #Conflicts: 792000 | #Constraints: 35236
1088.20/1091.18 c INPROCESSING
1088.20/1091.18 c GARBAGE COLLECT
1088.20/1091.18 c #Conflicts: 793000 | #Constraints: 18633
1088.20/1091.18 c #Conflicts: 794000 | #Constraints: 19633
1088.20/1091.18 c #Conflicts: 795000 | #Constraints: 20633
1088.20/1091.18 c #Conflicts: 796000 | #Constraints: 21633
1088.20/1091.18 c #Conflicts: 797000 | #Constraints: 22633
1088.20/1091.18 c #Conflicts: 798000 | #Constraints: 23633
1088.20/1091.18 c #Conflicts: 799000 | #Constraints: 24633
1088.20/1091.18 c #Conflicts: 800000 | #Constraints: 25633
1088.20/1091.18 c #Conflicts: 801000 | #Constraints: 26633
1088.20/1091.18 c #Conflicts: 802000 | #Constraints: 27633
1088.20/1091.18 c #Conflicts: 803000 | #Constraints: 28633
1088.20/1091.18 c #Conflicts: 804000 | #Constraints: 29633
1088.20/1091.18 c #Conflicts: 805000 | #Constraints: 30633
1088.20/1091.18 c #Conflicts: 806000 | #Constraints: 31633
1088.20/1091.18 c #Conflicts: 807000 | #Constraints: 32633
1088.20/1091.18 c #Conflicts: 808000 | #Constraints: 33633
1088.20/1091.18 c #Conflicts: 809000 | #Constraints: 34633
1088.20/1091.18 c #Conflicts: 810000 | #Constraints: 35633
1088.20/1091.18 c INPROCESSING
1088.20/1091.18 c GARBAGE COLLECT
1088.20/1091.18 c #Conflicts: 811000 | #Constraints: 18834
1088.20/1091.18 c #Conflicts: 812000 | #Constraints: 19834
1088.20/1091.18 c #Conflicts: 813000 | #Constraints: 20834
1088.20/1091.18 c #Conflicts: 814000 | #Constraints: 21834
1088.20/1091.18 c #Conflicts: 815000 | #Constraints: 22834
1088.20/1091.18 c #Conflicts: 816000 | #Constraints: 23834
1088.20/1091.18 c #Conflicts: 817000 | #Constraints: 24834
1088.20/1091.18 c #Conflicts: 818000 | #Constraints: 25834
1088.20/1091.18 c #Conflicts: 819000 | #Constraints: 26834
1088.20/1091.18 c #Conflicts: 820000 | #Constraints: 27834
1088.20/1091.18 c #Conflicts: 821000 | #Constraints: 28834
1088.20/1091.18 c #Conflicts: 822000 | #Constraints: 29834
1088.20/1091.18 c #Conflicts: 823000 | #Constraints: 30834
1088.20/1091.18 c #Conflicts: 824000 | #Constraints: 31834
1088.20/1091.18 c #Conflicts: 825000 | #Constraints: 32834
1088.20/1091.18 c #Conflicts: 826000 | #Constraints: 33834
1088.20/1091.18 c #Conflicts: 827000 | #Constraints: 34834
1088.20/1091.18 c #Conflicts: 828000 | #Constraints: 35834
1088.20/1091.18 c INPROCESSING
1088.20/1091.18 c GARBAGE COLLECT
1088.20/1091.18 c #Conflicts: 829000 | #Constraints: 18834
1088.20/1091.18 c #Conflicts: 830000 | #Constraints: 19834
1088.20/1091.18 c #Conflicts: 831000 | #Constraints: 20834
1088.20/1091.18 c #Conflicts: 832000 | #Constraints: 21834
1088.20/1091.18 c #Conflicts: 833000 | #Constraints: 22834
1088.20/1091.18 c #Conflicts: 834000 | #Constraints: 23834
1088.20/1091.18 c #Conflicts: 835000 | #Constraints: 24834
1088.20/1091.18 c #Conflicts: 836000 | #Constraints: 25834
1088.20/1091.18 c #Conflicts: 837000 | #Constraints: 26834
1088.20/1091.18 c #Conflicts: 838000 | #Constraints: 27834
1088.20/1091.18 c #Conflicts: 839000 | #Constraints: 28834
1088.20/1091.18 c #Conflicts: 840000 | #Constraints: 29834
1088.20/1091.18 c #Conflicts: 841000 | #Constraints: 30834
1088.20/1091.18 c #Conflicts: 842000 | #Constraints: 31834
1088.20/1091.18 c #Conflicts: 843000 | #Constraints: 32834
1088.20/1091.18 c #Conflicts: 844000 | #Constraints: 33834
1088.20/1091.18 c #Conflicts: 845000 | #Constraints: 34834
1088.20/1091.18 c #Conflicts: 846000 | #Constraints: 35834
1088.20/1091.18 c INPROCESSING
1088.20/1091.18 c GARBAGE COLLECT
1088.20/1091.18 c #Conflicts: 847000 | #Constraints: 18637
1088.20/1091.18 c #Conflicts: 848000 | #Constraints: 19637
1088.20/1091.18 c #Conflicts: 849000 | #Constraints: 20637
1088.20/1091.18 c #Conflicts: 850000 | #Constraints: 21637
1088.20/1091.18 c #Conflicts: 851000 | #Constraints: 22637
1088.20/1091.18 c #Conflicts: 852000 | #Constraints: 23637
1088.20/1091.18 c #Conflicts: 853000 | #Constraints: 24637
1088.20/1091.18 c #Conflicts: 854000 | #Constraints: 25637
1196.93/1200.19 c #Conflicts: 855000 | #Constraints: 26637
1196.93/1200.19 c #Conflicts: 856000 | #Constraints: 27637
1196.93/1200.19 c #Conflicts: 857000 | #Constraints: 28637
1196.93/1200.19 c #Conflicts: 858000 | #Constraints: 29637
1196.93/1200.19 c #Conflicts: 859000 | #Constraints: 30637
1196.93/1200.19 c #Conflicts: 860000 | #Constraints: 31637
1196.93/1200.19 c #Conflicts: 861000 | #Constraints: 32637
1196.93/1200.19 c #Conflicts: 862000 | #Constraints: 33637
1196.93/1200.19 c #Conflicts: 863000 | #Constraints: 34637
1196.93/1200.19 c #Conflicts: 864000 | #Constraints: 35637
1196.93/1200.19 c #Conflicts: 865000 | #Constraints: 36637
1196.93/1200.19 c INPROCESSING
1196.93/1200.19 c GARBAGE COLLECT
1196.93/1200.19 c #Conflicts: 866000 | #Constraints: 19234
1196.93/1200.19 c #Conflicts: 867000 | #Constraints: 20234
1196.93/1200.19 c #Conflicts: 868000 | #Constraints: 21234
1196.93/1200.19 c #Conflicts: 869000 | #Constraints: 22234
1196.93/1200.19 c #Conflicts: 870000 | #Constraints: 23234
1196.93/1200.19 c #Conflicts: 871000 | #Constraints: 24234
1196.93/1200.19 c #Conflicts: 872000 | #Constraints: 25234
1196.93/1200.19 c #Conflicts: 873000 | #Constraints: 26234
1196.93/1200.19 c #Conflicts: 874000 | #Constraints: 27234
1196.93/1200.19 c #Conflicts: 875000 | #Constraints: 28234
1196.93/1200.19 c #Conflicts: 876000 | #Constraints: 29234
1196.93/1200.19 c #Conflicts: 877000 | #Constraints: 30234
1196.93/1200.19 c #Conflicts: 878000 | #Constraints: 31234
1196.93/1200.19 c #Conflicts: 879000 | #Constraints: 32234
1196.93/1200.19 c #Conflicts: 880000 | #Constraints: 33234
1196.93/1200.19 c #Conflicts: 881000 | #Constraints: 34234
1196.93/1200.19 c #Conflicts: 882000 | #Constraints: 35234
1196.93/1200.19 c #Conflicts: 883000 | #Constraints: 36234
1196.93/1200.19 c #Conflicts: 884000 | #Constraints: 37234
1196.93/1200.19 c INPROCESSING
1196.93/1200.19 c GARBAGE COLLECT
1196.93/1200.19 c #Conflicts: 885000 | #Constraints: 19635
1196.93/1200.19 c #Conflicts: 886000 | #Constraints: 20635
1196.93/1200.19 c #Conflicts: 887000 | #Constraints: 21635
1196.93/1200.19 c #Conflicts: 888000 | #Constraints: 22635
1196.93/1200.19 c #Conflicts: 889000 | #Constraints: 23635
1196.93/1200.19 c #Conflicts: 890000 | #Constraints: 24635
1196.93/1200.19 c #Conflicts: 891000 | #Constraints: 25635
1196.93/1200.19 c #Conflicts: 892000 | #Constraints: 26635
1196.93/1200.19 c #Conflicts: 893000 | #Constraints: 27635
1196.93/1200.19 c #Conflicts: 894000 | #Constraints: 28635
1196.93/1200.19 c #Conflicts: 895000 | #Constraints: 29635
1196.93/1200.19 c #Conflicts: 896000 | #Constraints: 30635
1196.93/1200.19 c #Conflicts: 897000 | #Constraints: 31635
1196.93/1200.19 c #Conflicts: 898000 | #Constraints: 32635
1196.93/1200.19 c #Conflicts: 899000 | #Constraints: 33635
1196.93/1200.19 c #Conflicts: 900000 | #Constraints: 34635
1196.93/1200.19 c #Conflicts: 901000 | #Constraints: 35635
1196.93/1200.19 c #Conflicts: 902000 | #Constraints: 36635
1196.93/1200.19 c #Conflicts: 903000 | #Constraints: 37635
1196.93/1200.19 c INPROCESSING
1196.93/1200.19 c GARBAGE COLLECT
1196.93/1200.19 c #Conflicts: 904000 | #Constraints: 19836
1196.93/1200.19 c #Conflicts: 905000 | #Constraints: 20836
1196.93/1200.19 c #Conflicts: 906000 | #Constraints: 21836
1196.93/1200.19 c #Conflicts: 907000 | #Constraints: 22836
1196.93/1200.19 c #Conflicts: 908000 | #Constraints: 23836
1196.93/1200.19 c #Conflicts: 909000 | #Constraints: 24836
1196.93/1200.19 c #Conflicts: 910000 | #Constraints: 25836
1196.93/1200.19 c #Conflicts: 911000 | #Constraints: 26836
1196.93/1200.19 c #Conflicts: 912000 | #Constraints: 27836
1196.93/1200.19 c #Conflicts: 913000 | #Constraints: 28836
1196.93/1200.19 c #Conflicts: 914000 | #Constraints: 29836
1196.93/1200.19 c #Conflicts: 915000 | #Constraints: 30836
1196.93/1200.19 c #Conflicts: 916000 | #Constraints: 31836
1196.93/1200.19 c #Conflicts: 917000 | #Constraints: 32836
1196.93/1200.19 c #Conflicts: 918000 | #Constraints: 33836
1196.93/1200.19 c #Conflicts: 919000 | #Constraints: 34836
1196.93/1200.19 c #Conflicts: 920000 | #Constraints: 35836
1196.93/1200.19 c #Conflicts: 921000 | #Constraints: 36836
1196.93/1200.19 c #Conflicts: 922000 | #Constraints: 37836
1196.93/1200.19 c INPROCESSING
1196.93/1200.19 c GARBAGE COLLECT
1196.93/1200.19 c #Conflicts: 923000 | #Constraints: 19835
1196.93/1200.19 c #Conflicts: 924000 | #Constraints: 20835
1196.93/1200.19 c #Conflicts: 925000 | #Constraints: 21835
1196.93/1200.19 c #Conflicts: 926000 | #Constraints: 22835
1196.93/1200.19 c #Conflicts: 927000 | #Constraints: 23835
1196.93/1200.19 c #Conflicts: 928000 | #Constraints: 24835
1196.93/1200.19 c #Conflicts: 929000 | #Constraints: 25835
1196.93/1200.19 c #Conflicts: 930000 | #Constraints: 26835
1336.97/1340.50 c #Conflicts: 931000 | #Constraints: 27835
1336.97/1340.50 c #Conflicts: 932000 | #Constraints: 28835
1336.97/1340.50 c #Conflicts: 933000 | #Constraints: 29835
1336.97/1340.50 c #Conflicts: 934000 | #Constraints: 30835
1336.97/1340.50 c #Conflicts: 935000 | #Constraints: 31835
1336.97/1340.50 c #Conflicts: 936000 | #Constraints: 32835
1336.97/1340.50 c #Conflicts: 937000 | #Constraints: 33835
1336.97/1340.50 c #Conflicts: 938000 | #Constraints: 34835
1336.97/1340.50 c #Conflicts: 939000 | #Constraints: 35835
1336.97/1340.50 c #Conflicts: 940000 | #Constraints: 36835
1336.97/1340.50 c #Conflicts: 941000 | #Constraints: 37835
1336.97/1340.50 c INPROCESSING
1336.97/1340.50 c GARBAGE COLLECT
1336.97/1340.50 c #Conflicts: 942000 | #Constraints: 19639
1336.97/1340.50 c #Conflicts: 943000 | #Constraints: 20639
1336.97/1340.50 c #Conflicts: 944000 | #Constraints: 21639
1336.97/1340.50 c #Conflicts: 945000 | #Constraints: 22639
1336.97/1340.50 c #Conflicts: 946000 | #Constraints: 23639
1336.97/1340.50 c #Conflicts: 947000 | #Constraints: 24639
1336.97/1340.50 c #Conflicts: 948000 | #Constraints: 25639
1336.97/1340.50 c #Conflicts: 949000 | #Constraints: 26639
1336.97/1340.50 c #Conflicts: 950000 | #Constraints: 27639
1336.97/1340.50 c #Conflicts: 951000 | #Constraints: 28639
1336.97/1340.50 c #Conflicts: 952000 | #Constraints: 29639
1336.97/1340.50 c #Conflicts: 953000 | #Constraints: 30639
1336.97/1340.50 c #Conflicts: 954000 | #Constraints: 31639
1336.97/1340.50 c #Conflicts: 955000 | #Constraints: 32639
1336.97/1340.50 c #Conflicts: 956000 | #Constraints: 33639
1336.97/1340.50 c #Conflicts: 957000 | #Constraints: 34639
1336.97/1340.50 c #Conflicts: 958000 | #Constraints: 35639
1336.97/1340.50 c #Conflicts: 959000 | #Constraints: 36639
1336.97/1340.50 c #Conflicts: 960000 | #Constraints: 37639
1336.97/1340.50 c #Conflicts: 961000 | #Constraints: 38639
1336.97/1340.50 c INPROCESSING
1336.97/1340.50 c GARBAGE COLLECT
1336.97/1340.50 c #Conflicts: 962000 | #Constraints: 20240
1336.97/1340.50 c #Conflicts: 963000 | #Constraints: 21240
1336.97/1340.50 c #Conflicts: 964000 | #Constraints: 22240
1336.97/1340.50 c #Conflicts: 965000 | #Constraints: 23240
1336.97/1340.50 c #Conflicts: 966000 | #Constraints: 24240
1336.97/1340.50 c #Conflicts: 967000 | #Constraints: 25240
1336.97/1340.50 c #Conflicts: 968000 | #Constraints: 26240
1336.97/1340.50 c #Conflicts: 969000 | #Constraints: 27240
1336.97/1340.50 c #Conflicts: 970000 | #Constraints: 28240
1336.97/1340.50 c #Conflicts: 971000 | #Constraints: 29240
1336.97/1340.50 c #Conflicts: 972000 | #Constraints: 30240
1336.97/1340.50 c #Conflicts: 973000 | #Constraints: 31240
1336.97/1340.50 c #Conflicts: 974000 | #Constraints: 32240
1336.97/1340.50 c #Conflicts: 975000 | #Constraints: 33240
1336.97/1340.50 c #Conflicts: 976000 | #Constraints: 34240
1336.97/1340.50 c #Conflicts: 977000 | #Constraints: 35240
1336.97/1340.50 c #Conflicts: 978000 | #Constraints: 36240
1336.97/1340.50 c #Conflicts: 979000 | #Constraints: 37240
1336.97/1340.50 c #Conflicts: 980000 | #Constraints: 38240
1336.97/1340.50 c #Conflicts: 981000 | #Constraints: 39240
1336.97/1340.50 c INPROCESSING
1336.97/1340.50 c GARBAGE COLLECT
1336.97/1340.50 c #Conflicts: 982000 | #Constraints: 20642
1336.97/1340.50 c #Conflicts: 983000 | #Constraints: 21642
1336.97/1340.50 c #Conflicts: 984000 | #Constraints: 22642
1336.97/1340.50 c #Conflicts: 985000 | #Constraints: 23642
1336.97/1340.50 c #Conflicts: 986000 | #Constraints: 24642
1336.97/1340.50 c #Conflicts: 987000 | #Constraints: 25642
1336.97/1340.50 c #Conflicts: 988000 | #Constraints: 26642
1336.97/1340.50 c #Conflicts: 989000 | #Constraints: 27642
1336.97/1340.50 c #Conflicts: 990000 | #Constraints: 28642
1336.97/1340.50 c #Conflicts: 991000 | #Constraints: 29642
1336.97/1340.50 c #Conflicts: 992000 | #Constraints: 30642
1336.97/1340.50 c #Conflicts: 993000 | #Constraints: 31642
1336.97/1340.50 c #Conflicts: 994000 | #Constraints: 32642
1336.97/1340.50 c #Conflicts: 995000 | #Constraints: 33642
1336.97/1340.50 c #Conflicts: 996000 | #Constraints: 34642
1336.97/1340.50 c #Conflicts: 997000 | #Constraints: 35642
1336.97/1340.50 c #Conflicts: 998000 | #Constraints: 36642
1336.97/1340.50 c #Conflicts: 999000 | #Constraints: 37642
1336.97/1340.50 c #Conflicts: 1000000 | #Constraints: 38642
1336.97/1340.50 c #Conflicts: 1001000 | #Constraints: 39642
1336.97/1340.50 c INPROCESSING
1336.97/1340.50 c GARBAGE COLLECT
1336.97/1340.50 c #Conflicts: 1002000 | #Constraints: 20845
1336.97/1340.50 c #Conflicts: 1003000 | #Constraints: 21845
1336.97/1340.50 c #Conflicts: 1004000 | #Constraints: 22845
1336.97/1340.50 c #Conflicts: 1005000 | #Constraints: 23845
1336.97/1340.50 c #Conflicts: 1006000 | #Constraints: 24845
1336.97/1340.50 c #Conflicts: 1007000 | #Constraints: 25845
1488.69/1492.61 c #Conflicts: 1008000 | #Constraints: 26845
1488.69/1492.61 c #Conflicts: 1009000 | #Constraints: 27845
1488.69/1492.61 c #Conflicts: 1010000 | #Constraints: 28845
1488.69/1492.61 c #Conflicts: 1011000 | #Constraints: 29845
1488.69/1492.61 c #Conflicts: 1012000 | #Constraints: 30845
1488.69/1492.61 c #Conflicts: 1013000 | #Constraints: 31845
1488.69/1492.61 c #Conflicts: 1014000 | #Constraints: 32845
1488.69/1492.61 c #Conflicts: 1015000 | #Constraints: 33845
1488.69/1492.61 c #Conflicts: 1016000 | #Constraints: 34845
1488.69/1492.61 c #Conflicts: 1017000 | #Constraints: 35845
1488.69/1492.61 c #Conflicts: 1018000 | #Constraints: 36845
1488.69/1492.61 c #Conflicts: 1019000 | #Constraints: 37845
1488.69/1492.61 c #Conflicts: 1020000 | #Constraints: 38845
1488.69/1492.61 c #Conflicts: 1021000 | #Constraints: 39845
1488.69/1492.61 c INPROCESSING
1488.69/1492.61 c GARBAGE COLLECT
1488.69/1492.61 c #Conflicts: 1022000 | #Constraints: 20845
1488.69/1492.61 c #Conflicts: 1023000 | #Constraints: 21845
1488.69/1492.61 c #Conflicts: 1024000 | #Constraints: 22845
1488.69/1492.61 c #Conflicts: 1025000 | #Constraints: 23845
1488.69/1492.61 c #Conflicts: 1026000 | #Constraints: 24845
1488.69/1492.61 c #Conflicts: 1027000 | #Constraints: 25845
1488.69/1492.61 c #Conflicts: 1028000 | #Constraints: 26845
1488.69/1492.61 c #Conflicts: 1029000 | #Constraints: 27845
1488.69/1492.61 c #Conflicts: 1030000 | #Constraints: 28845
1488.69/1492.61 c #Conflicts: 1031000 | #Constraints: 29845
1488.69/1492.61 c #Conflicts: 1032000 | #Constraints: 30845
1488.69/1492.61 c #Conflicts: 1033000 | #Constraints: 31845
1488.69/1492.61 c #Conflicts: 1034000 | #Constraints: 32845
1488.69/1492.61 c #Conflicts: 1035000 | #Constraints: 33845
1488.69/1492.61 c #Conflicts: 1036000 | #Constraints: 34845
1488.69/1492.61 c #Conflicts: 1037000 | #Constraints: 35845
1488.69/1492.61 c #Conflicts: 1038000 | #Constraints: 36845
1488.69/1492.61 c #Conflicts: 1039000 | #Constraints: 37845
1488.69/1492.61 c #Conflicts: 1040000 | #Constraints: 38845
1488.69/1492.61 c #Conflicts: 1041000 | #Constraints: 39845
1488.69/1492.61 c INPROCESSING
1488.69/1492.61 c GARBAGE COLLECT
1488.69/1492.61 c #Conflicts: 1042000 | #Constraints: 20647
1488.69/1492.61 c #Conflicts: 1043000 | #Constraints: 21647
1488.69/1492.61 c #Conflicts: 1044000 | #Constraints: 22647
1488.69/1492.61 c #Conflicts: 1045000 | #Constraints: 23647
1488.69/1492.61 c #Conflicts: 1046000 | #Constraints: 24647
1488.69/1492.61 c #Conflicts: 1047000 | #Constraints: 25647
1488.69/1492.61 c #Conflicts: 1048000 | #Constraints: 26647
1488.69/1492.61 c #Conflicts: 1049000 | #Constraints: 27647
1488.69/1492.61 c #Conflicts: 1050000 | #Constraints: 28647
1488.69/1492.61 c #Conflicts: 1051000 | #Constraints: 29647
1488.69/1492.61 c #Conflicts: 1052000 | #Constraints: 30647
1488.69/1492.61 c #Conflicts: 1053000 | #Constraints: 31647
1488.69/1492.61 c #Conflicts: 1054000 | #Constraints: 32647
1488.69/1492.61 c #Conflicts: 1055000 | #Constraints: 33647
1488.69/1492.61 c #Conflicts: 1056000 | #Constraints: 34647
1488.69/1492.61 c #Conflicts: 1057000 | #Constraints: 35647
1488.69/1492.61 c #Conflicts: 1058000 | #Constraints: 36647
1488.69/1492.61 c #Conflicts: 1059000 | #Constraints: 37647
1488.69/1492.61 c #Conflicts: 1060000 | #Constraints: 38647
1488.69/1492.61 c #Conflicts: 1061000 | #Constraints: 39647
1488.69/1492.61 c #Conflicts: 1062000 | #Constraints: 40647
1488.69/1492.61 c INPROCESSING
1488.69/1492.61 c GARBAGE COLLECT
1488.69/1492.61 c #Conflicts: 1063000 | #Constraints: 21246
1488.69/1492.61 c #Conflicts: 1064000 | #Constraints: 22246
1488.69/1492.61 c #Conflicts: 1065000 | #Constraints: 23246
1488.69/1492.61 c #Conflicts: 1066000 | #Constraints: 24246
1488.69/1492.61 c #Conflicts: 1067000 | #Constraints: 25246
1488.69/1492.61 c #Conflicts: 1068000 | #Constraints: 26246
1488.69/1492.61 c #Conflicts: 1069000 | #Constraints: 27246
1488.69/1492.61 c #Conflicts: 1070000 | #Constraints: 28246
1488.69/1492.61 c #Conflicts: 1071000 | #Constraints: 29246
1488.69/1492.61 c #Conflicts: 1072000 | #Constraints: 30246
1488.69/1492.61 c #Conflicts: 1073000 | #Constraints: 31246
1488.69/1492.61 c #Conflicts: 1074000 | #Constraints: 32246
1488.69/1492.61 c #Conflicts: 1075000 | #Constraints: 33246
1488.69/1492.61 c #Conflicts: 1076000 | #Constraints: 34246
1488.69/1492.61 c #Conflicts: 1077000 | #Constraints: 35246
1488.69/1492.61 c #Conflicts: 1078000 | #Constraints: 36246
1488.69/1492.61 c #Conflicts: 1079000 | #Constraints: 37246
1488.69/1492.61 c #Conflicts: 1080000 | #Constraints: 38246
1488.69/1492.61 c #Conflicts: 1081000 | #Constraints: 39246
1488.69/1492.61 c #Conflicts: 1082000 | #Constraints: 40246
1488.69/1492.61 c #Conflicts: 1083000 | #Constraints: 41246
1488.69/1492.61 c INPROCESSING
1646.59/1650.90 c GARBAGE COLLECT
1646.59/1650.90 c #Conflicts: 1084000 | #Constraints: 21645
1646.59/1650.90 c #Conflicts: 1085000 | #Constraints: 22645
1646.59/1650.90 c #Conflicts: 1086000 | #Constraints: 23645
1646.59/1650.90 c #Conflicts: 1087000 | #Constraints: 24645
1646.59/1650.90 c #Conflicts: 1088000 | #Constraints: 25645
1646.59/1650.90 c #Conflicts: 1089000 | #Constraints: 26645
1646.59/1650.90 c #Conflicts: 1090000 | #Constraints: 27645
1646.59/1650.90 c #Conflicts: 1091000 | #Constraints: 28645
1646.59/1650.90 c #Conflicts: 1092000 | #Constraints: 29645
1646.59/1650.90 c #Conflicts: 1093000 | #Constraints: 30645
1646.59/1650.90 c #Conflicts: 1094000 | #Constraints: 31645
1646.59/1650.90 c #Conflicts: 1095000 | #Constraints: 32645
1646.59/1650.90 c #Conflicts: 1096000 | #Constraints: 33645
1646.59/1650.90 c #Conflicts: 1097000 | #Constraints: 34645
1646.59/1650.90 c #Conflicts: 1098000 | #Constraints: 35645
1646.59/1650.90 c #Conflicts: 1099000 | #Constraints: 36645
1646.59/1650.90 c #Conflicts: 1100000 | #Constraints: 37645
1646.59/1650.90 c #Conflicts: 1101000 | #Constraints: 38645
1646.59/1650.90 c #Conflicts: 1102000 | #Constraints: 39645
1646.59/1650.90 c #Conflicts: 1103000 | #Constraints: 40645
1646.59/1650.90 c #Conflicts: 1104000 | #Constraints: 41645
1646.59/1650.90 c INPROCESSING
1646.59/1650.90 c GARBAGE COLLECT
1646.59/1650.90 c #Conflicts: 1105000 | #Constraints: 21843
1646.59/1650.90 c #Conflicts: 1106000 | #Constraints: 22843
1646.59/1650.90 c #Conflicts: 1107000 | #Constraints: 23843
1646.59/1650.90 c #Conflicts: 1108000 | #Constraints: 24843
1646.59/1650.90 c #Conflicts: 1109000 | #Constraints: 25843
1646.59/1650.90 c #Conflicts: 1110000 | #Constraints: 26843
1646.59/1650.90 c #Conflicts: 1111000 | #Constraints: 27843
1646.59/1650.90 c #Conflicts: 1112000 | #Constraints: 28843
1646.59/1650.90 c #Conflicts: 1113000 | #Constraints: 29843
1646.59/1650.90 c #Conflicts: 1114000 | #Constraints: 30843
1646.59/1650.90 c #Conflicts: 1115000 | #Constraints: 31843
1646.59/1650.90 c #Conflicts: 1116000 | #Constraints: 32843
1646.59/1650.90 c #Conflicts: 1117000 | #Constraints: 33843
1646.59/1650.90 c #Conflicts: 1118000 | #Constraints: 34843
1646.59/1650.90 c #Conflicts: 1119000 | #Constraints: 35843
1646.59/1650.90 c #Conflicts: 1120000 | #Constraints: 36843
1646.59/1650.90 c #Conflicts: 1121000 | #Constraints: 37843
1646.59/1650.90 c #Conflicts: 1122000 | #Constraints: 38843
1646.59/1650.90 c #Conflicts: 1123000 | #Constraints: 39843
1646.59/1650.90 c #Conflicts: 1124000 | #Constraints: 40843
1646.59/1650.90 c #Conflicts: 1125000 | #Constraints: 41843
1646.59/1650.90 c INPROCESSING
1646.59/1650.90 c GARBAGE COLLECT
1646.59/1650.90 c #Conflicts: 1126000 | #Constraints: 21843
1646.59/1650.90 c #Conflicts: 1127000 | #Constraints: 22843
1646.59/1650.90 c #Conflicts: 1128000 | #Constraints: 23843
1646.59/1650.90 c #Conflicts: 1129000 | #Constraints: 24843
1646.59/1650.90 c #Conflicts: 1130000 | #Constraints: 25843
1646.59/1650.90 c #Conflicts: 1131000 | #Constraints: 26843
1646.59/1650.90 c #Conflicts: 1132000 | #Constraints: 27843
1646.59/1650.90 c #Conflicts: 1133000 | #Constraints: 28843
1646.59/1650.90 c #Conflicts: 1134000 | #Constraints: 29843
1646.59/1650.90 c #Conflicts: 1135000 | #Constraints: 30843
1646.59/1650.90 c #Conflicts: 1136000 | #Constraints: 31843
1646.59/1650.90 c #Conflicts: 1137000 | #Constraints: 32843
1646.59/1650.90 c #Conflicts: 1138000 | #Constraints: 33843
1646.59/1650.90 c #Conflicts: 1139000 | #Constraints: 34843
1646.59/1650.90 c #Conflicts: 1140000 | #Constraints: 35843
1646.59/1650.90 c #Conflicts: 1141000 | #Constraints: 36843
1646.59/1650.90 c #Conflicts: 1142000 | #Constraints: 37843
1646.59/1650.90 c #Conflicts: 1143000 | #Constraints: 38843
1646.59/1650.90 c #Conflicts: 1144000 | #Constraints: 39843
1646.59/1650.90 c #Conflicts: 1145000 | #Constraints: 40843
1646.59/1650.90 c #Conflicts: 1146000 | #Constraints: 41843
1646.59/1650.90 c INPROCESSING
1646.59/1650.90 c GARBAGE COLLECT
1646.59/1650.90 c #Conflicts: 1147000 | #Constraints: 21636
1646.59/1650.90 c #Conflicts: 1148000 | #Constraints: 22636
1646.59/1650.90 c #Conflicts: 1149000 | #Constraints: 23636
1646.59/1650.90 c #Conflicts: 1150000 | #Constraints: 24636
1646.59/1650.90 c #Conflicts: 1151000 | #Constraints: 25636
1646.59/1650.90 c #Conflicts: 1152000 | #Constraints: 26636
1646.59/1650.90 c #Conflicts: 1153000 | #Constraints: 27636
1646.59/1650.90 c #Conflicts: 1154000 | #Constraints: 28636
1646.59/1650.90 c #Conflicts: 1155000 | #Constraints: 29636
1646.59/1650.90 c #Conflicts: 1156000 | #Constraints: 30636
1646.59/1650.90 c #Conflicts: 1157000 | #Constraints: 31636
1646.59/1650.90 c #Conflicts: 1158000 | #Constraints: 32636
1646.59/1650.90 c #Conflicts: 1159000 | #Constraints: 33636
1646.59/1650.90 c #Conflicts: 1160000 | #Constraints: 34636
1784.24/1788.97 c #Conflicts: 1161000 | #Constraints: 35636
1784.24/1788.97 c #Conflicts: 1162000 | #Constraints: 36636
1784.24/1788.97 c #Conflicts: 1163000 | #Constraints: 37636
1784.24/1788.97 c #Conflicts: 1164000 | #Constraints: 38636
1784.24/1788.97 c #Conflicts: 1165000 | #Constraints: 39636
1784.24/1788.97 c #Conflicts: 1166000 | #Constraints: 40636
1784.24/1788.97 c #Conflicts: 1167000 | #Constraints: 41636
1784.24/1788.97 c #Conflicts: 1168000 | #Constraints: 42636
1784.24/1788.97 c INPROCESSING
1784.24/1788.97 c GARBAGE COLLECT
1784.24/1788.97 c #Conflicts: 1169000 | #Constraints: 22236
1784.24/1788.97 c #Conflicts: 1170000 | #Constraints: 23236
1784.24/1788.97 c #Conflicts: 1171000 | #Constraints: 24236
1784.24/1788.97 c #Conflicts: 1172000 | #Constraints: 25236
1784.24/1788.97 c #Conflicts: 1173000 | #Constraints: 26236
1784.24/1788.97 c #Conflicts: 1174000 | #Constraints: 27236
1784.24/1788.97 c #Conflicts: 1175000 | #Constraints: 28236
1784.24/1788.97 c #Conflicts: 1176000 | #Constraints: 29236
1784.24/1788.97 c #Conflicts: 1177000 | #Constraints: 30236
1784.24/1788.97 c #Conflicts: 1178000 | #Constraints: 31236
1784.24/1788.97 c #Conflicts: 1179000 | #Constraints: 32236
1784.24/1788.97 c #Conflicts: 1180000 | #Constraints: 33236
1784.24/1788.97 c #Conflicts: 1181000 | #Constraints: 34236
1784.24/1788.97 c #Conflicts: 1182000 | #Constraints: 35236
1784.24/1788.97 c #Conflicts: 1183000 | #Constraints: 36236
1784.24/1788.97 c #Conflicts: 1184000 | #Constraints: 37236
1784.24/1788.97 c #Conflicts: 1185000 | #Constraints: 38236
1784.24/1788.97 c #Conflicts: 1186000 | #Constraints: 39236
1784.24/1788.97 c #Conflicts: 1187000 | #Constraints: 40236
1784.24/1788.97 c #Conflicts: 1188000 | #Constraints: 41236
1784.24/1788.97 c #Conflicts: 1189000 | #Constraints: 42236
1784.24/1788.97 c #Conflicts: 1190000 | #Constraints: 43236
1784.24/1788.97 c INPROCESSING
1784.24/1788.97 c GARBAGE COLLECT
1784.24/1788.97 c #Conflicts: 1191000 | #Constraints: 22640
1784.24/1788.97 c #Conflicts: 1192000 | #Constraints: 23640
1784.24/1788.97 c #Conflicts: 1193000 | #Constraints: 24640
1784.24/1788.97 c #Conflicts: 1194000 | #Constraints: 25640
1784.24/1788.97 c #Conflicts: 1195000 | #Constraints: 26640
1784.24/1788.97 c #Conflicts: 1196000 | #Constraints: 27640
1784.24/1788.97 c #Conflicts: 1197000 | #Constraints: 28640
1784.24/1788.97 c #Conflicts: 1198000 | #Constraints: 29640
1784.24/1788.97 c #Conflicts: 1199000 | #Constraints: 30640
1784.24/1788.97 c #Conflicts: 1200000 | #Constraints: 31640
1784.24/1788.97 c #Conflicts: 1201000 | #Constraints: 32640
1784.24/1788.97 c #Conflicts: 1202000 | #Constraints: 33640
1784.24/1788.97 c #Conflicts: 1203000 | #Constraints: 34640
1784.24/1788.97 c #Conflicts: 1204000 | #Constraints: 35640
1784.24/1788.97 c #Conflicts: 1205000 | #Constraints: 36640
1784.24/1788.97 c #Conflicts: 1206000 | #Constraints: 37640
1784.24/1788.97 c #Conflicts: 1207000 | #Constraints: 38640
1784.24/1788.97 c #Conflicts: 1208000 | #Constraints: 39640
1784.24/1788.97 c #Conflicts: 1209000 | #Constraints: 40640
1784.24/1788.97 c #Conflicts: 1210000 | #Constraints: 41640
1784.24/1788.97 c #Conflicts: 1211000 | #Constraints: 42640
1784.24/1788.97 c #Conflicts: 1212000 | #Constraints: 43640
1784.24/1788.97 c INPROCESSING
1784.24/1788.97 c GARBAGE COLLECT
1784.24/1788.97 c #Conflicts: 1213000 | #Constraints: 22839
1784.24/1788.97 c #Conflicts: 1214000 | #Constraints: 23839
1784.24/1788.97 c #Conflicts: 1215000 | #Constraints: 24839
1784.24/1788.97 c #Conflicts: 1216000 | #Constraints: 25839
1784.24/1788.97 c #Conflicts: 1217000 | #Constraints: 26839
1784.24/1788.97 c #Conflicts: 1218000 | #Constraints: 27839
1784.24/1788.97 c #Conflicts: 1219000 | #Constraints: 28839
1784.24/1788.97 c #Conflicts: 1220000 | #Constraints: 29839
1784.24/1788.97 c #Conflicts: 1221000 | #Constraints: 30839
1784.24/1788.97 c #Conflicts: 1222000 | #Constraints: 31839
1784.24/1788.97 c #Conflicts: 1223000 | #Constraints: 32839
1784.24/1788.97 c #Conflicts: 1224000 | #Constraints: 33839
1784.24/1788.97 c #Conflicts: 1225000 | #Constraints: 34839
1784.24/1788.97 c #Conflicts: 1226000 | #Constraints: 35839
1784.24/1788.97 c #Conflicts: 1227000 | #Constraints: 36839
1784.24/1788.97 c #Conflicts: 1228000 | #Constraints: 37839
1784.24/1788.97 c #Conflicts: 1229000 | #Constraints: 38839
1784.24/1788.97 c #Conflicts: 1230000 | #Constraints: 39839
1784.24/1788.97 c #Conflicts: 1231000 | #Constraints: 40839
1784.24/1788.97 c #Conflicts: 1232000 | #Constraints: 41839
1784.24/1788.97 c #Conflicts: 1233000 | #Constraints: 42839
1784.24/1788.97 c #Conflicts: 1234000 | #Constraints: 43839
1784.24/1788.97 c INPROCESSING
1784.24/1788.97 c GARBAGE COLLECT
1784.24/1788.97 c #Conflicts: 1235000 | #Constraints: 22836
1784.24/1788.97 c #Conflicts: 1236000 | #Constraints: 23836
1921.79/1926.83 c #Conflicts: 1237000 | #Constraints: 24836
1921.79/1926.83 c #Conflicts: 1238000 | #Constraints: 25836
1921.79/1926.83 c #Conflicts: 1239000 | #Constraints: 26836
1921.79/1926.83 c #Conflicts: 1240000 | #Constraints: 27836
1921.79/1926.83 c #Conflicts: 1241000 | #Constraints: 28836
1921.79/1926.83 c #Conflicts: 1242000 | #Constraints: 29836
1921.79/1926.83 c #Conflicts: 1243000 | #Constraints: 30836
1921.79/1926.83 c #Conflicts: 1244000 | #Constraints: 31836
1921.79/1926.83 c #Conflicts: 1245000 | #Constraints: 32836
1921.79/1926.83 c #Conflicts: 1246000 | #Constraints: 33836
1921.79/1926.83 c #Conflicts: 1247000 | #Constraints: 34836
1921.79/1926.83 c #Conflicts: 1248000 | #Constraints: 35836
1921.79/1926.83 c #Conflicts: 1249000 | #Constraints: 36836
1921.79/1926.83 c #Conflicts: 1250000 | #Constraints: 37836
1921.79/1926.83 c #Conflicts: 1251000 | #Constraints: 38836
1921.79/1926.83 c #Conflicts: 1252000 | #Constraints: 39836
1921.79/1926.83 c #Conflicts: 1253000 | #Constraints: 40836
1921.79/1926.83 c #Conflicts: 1254000 | #Constraints: 41836
1921.79/1926.83 c #Conflicts: 1255000 | #Constraints: 42836
1921.79/1926.83 c #Conflicts: 1256000 | #Constraints: 43836
1921.79/1926.83 c INPROCESSING
1921.79/1926.83 c GARBAGE COLLECT
1921.79/1926.83 c #Conflicts: 1257000 | #Constraints: 22636
1921.79/1926.83 c #Conflicts: 1258000 | #Constraints: 23636
1921.79/1926.83 c #Conflicts: 1259000 | #Constraints: 24636
1921.79/1926.83 c #Conflicts: 1260000 | #Constraints: 25636
1921.79/1926.83 c #Conflicts: 1261000 | #Constraints: 26636
1921.79/1926.83 c #Conflicts: 1262000 | #Constraints: 27636
1921.79/1926.83 c #Conflicts: 1263000 | #Constraints: 28636
1921.79/1926.83 c #Conflicts: 1264000 | #Constraints: 29636
1921.79/1926.83 c #Conflicts: 1265000 | #Constraints: 30636
1921.79/1926.83 c #Conflicts: 1266000 | #Constraints: 31636
1921.79/1926.83 c #Conflicts: 1267000 | #Constraints: 32636
1921.79/1926.83 c #Conflicts: 1268000 | #Constraints: 33636
1921.79/1926.83 c #Conflicts: 1269000 | #Constraints: 34636
1921.79/1926.83 c #Conflicts: 1270000 | #Constraints: 35636
1921.79/1926.83 c #Conflicts: 1271000 | #Constraints: 36636
1921.79/1926.83 c #Conflicts: 1272000 | #Constraints: 37636
1921.79/1926.83 c #Conflicts: 1273000 | #Constraints: 38636
1921.79/1926.83 c #Conflicts: 1274000 | #Constraints: 39636
1921.79/1926.83 c #Conflicts: 1275000 | #Constraints: 40636
1921.79/1926.83 c #Conflicts: 1276000 | #Constraints: 41636
1921.79/1926.83 c #Conflicts: 1277000 | #Constraints: 42636
1921.79/1926.83 c #Conflicts: 1278000 | #Constraints: 43636
1921.79/1926.83 c #Conflicts: 1279000 | #Constraints: 44636
1921.79/1926.83 c INPROCESSING
1921.79/1926.83 c GARBAGE COLLECT
1921.79/1926.83 c #Conflicts: 1280000 | #Constraints: 23233
1921.79/1926.83 c #Conflicts: 1281000 | #Constraints: 24233
1921.79/1926.83 c #Conflicts: 1282000 | #Constraints: 25233
1921.79/1926.83 c #Conflicts: 1283000 | #Constraints: 26233
1921.79/1926.83 c #Conflicts: 1284000 | #Constraints: 27233
1921.79/1926.83 c #Conflicts: 1285000 | #Constraints: 28233
1921.79/1926.83 c #Conflicts: 1286000 | #Constraints: 29233
1921.79/1926.83 c #Conflicts: 1287000 | #Constraints: 30233
1921.79/1926.83 c #Conflicts: 1288000 | #Constraints: 31233
1921.79/1926.83 c #Conflicts: 1289000 | #Constraints: 32233
1921.79/1926.83 c #Conflicts: 1290000 | #Constraints: 33233
1921.79/1926.83 c #Conflicts: 1291000 | #Constraints: 34233
1921.79/1926.83 c #Conflicts: 1292000 | #Constraints: 35233
1921.79/1926.83 c #Conflicts: 1293000 | #Constraints: 36233
1921.79/1926.83 c #Conflicts: 1294000 | #Constraints: 37233
1921.79/1926.83 c #Conflicts: 1295000 | #Constraints: 38233
1921.79/1926.83 c #Conflicts: 1296000 | #Constraints: 39233
1921.79/1926.83 c #Conflicts: 1297000 | #Constraints: 40233
1921.79/1926.83 c #Conflicts: 1298000 | #Constraints: 41233
1921.79/1926.83 c #Conflicts: 1299000 | #Constraints: 42233
1921.79/1926.83 c #Conflicts: 1300000 | #Constraints: 43233
1921.79/1926.83 c #Conflicts: 1301000 | #Constraints: 44233
1921.79/1926.83 c #Conflicts: 1302000 | #Constraints: 45233
1921.79/1926.83 c INPROCESSING
1921.79/1926.83 c GARBAGE COLLECT
1921.79/1926.83 c #Conflicts: 1303000 | #Constraints: 23632
1921.79/1926.83 c #Conflicts: 1304000 | #Constraints: 24632
1921.79/1926.83 c #Conflicts: 1305000 | #Constraints: 25632
1921.79/1926.83 c #Conflicts: 1306000 | #Constraints: 26632
1921.79/1926.83 c #Conflicts: 1307000 | #Constraints: 27632
1921.79/1926.83 c #Conflicts: 1308000 | #Constraints: 28632
1921.79/1926.83 c #Conflicts: 1309000 | #Constraints: 29632
1921.79/1926.83 c #Conflicts: 1310000 | #Constraints: 30632
1921.79/1926.83 c #Conflicts: 1311000 | #Constraints: 31632
1921.79/1926.83 c #Conflicts: 1312000 | #Constraints: 32632
1921.79/1926.83 c #Conflicts: 1313000 | #Constraints: 33632
2069.62/2075.03 c #Conflicts: 1314000 | #Constraints: 34632
2069.62/2075.03 c #Conflicts: 1315000 | #Constraints: 35632
2069.62/2075.03 c #Conflicts: 1316000 | #Constraints: 36632
2069.62/2075.03 c #Conflicts: 1317000 | #Constraints: 37632
2069.62/2075.03 c #Conflicts: 1318000 | #Constraints: 38632
2069.62/2075.03 c #Conflicts: 1319000 | #Constraints: 39632
2069.62/2075.03 c #Conflicts: 1320000 | #Constraints: 40632
2069.62/2075.03 c #Conflicts: 1321000 | #Constraints: 41632
2069.62/2075.03 c #Conflicts: 1322000 | #Constraints: 42632
2069.62/2075.03 c #Conflicts: 1323000 | #Constraints: 43632
2069.62/2075.03 c #Conflicts: 1324000 | #Constraints: 44632
2069.62/2075.03 c #Conflicts: 1325000 | #Constraints: 45632
2069.62/2075.03 c INPROCESSING
2069.62/2075.03 c GARBAGE COLLECT
2069.62/2075.03 c #Conflicts: 1326000 | #Constraints: 23838
2069.62/2075.03 c #Conflicts: 1327000 | #Constraints: 24838
2069.62/2075.03 c #Conflicts: 1328000 | #Constraints: 25838
2069.62/2075.03 c #Conflicts: 1329000 | #Constraints: 26838
2069.62/2075.03 c #Conflicts: 1330000 | #Constraints: 27838
2069.62/2075.03 c #Conflicts: 1331000 | #Constraints: 28838
2069.62/2075.03 c #Conflicts: 1332000 | #Constraints: 29838
2069.62/2075.03 c #Conflicts: 1333000 | #Constraints: 30838
2069.62/2075.03 c #Conflicts: 1334000 | #Constraints: 31838
2069.62/2075.03 c #Conflicts: 1335000 | #Constraints: 32838
2069.62/2075.03 c #Conflicts: 1336000 | #Constraints: 33838
2069.62/2075.03 c #Conflicts: 1337000 | #Constraints: 34838
2069.62/2075.03 c #Conflicts: 1338000 | #Constraints: 35838
2069.62/2075.03 c #Conflicts: 1339000 | #Constraints: 36838
2069.62/2075.03 c #Conflicts: 1340000 | #Constraints: 37838
2069.62/2075.03 c #Conflicts: 1341000 | #Constraints: 38838
2069.62/2075.03 c #Conflicts: 1342000 | #Constraints: 39838
2069.62/2075.03 c #Conflicts: 1343000 | #Constraints: 40838
2069.62/2075.03 c #Conflicts: 1344000 | #Constraints: 41838
2069.62/2075.03 c #Conflicts: 1345000 | #Constraints: 42838
2069.62/2075.03 c #Conflicts: 1346000 | #Constraints: 43838
2069.62/2075.03 c #Conflicts: 1347000 | #Constraints: 44838
2069.62/2075.03 c #Conflicts: 1348000 | #Constraints: 45838
2069.62/2075.03 c INPROCESSING
2069.62/2075.03 c GARBAGE COLLECT
2069.62/2075.03 c #Conflicts: 1349000 | #Constraints: 23840
2069.62/2075.03 c #Conflicts: 1350000 | #Constraints: 24840
2069.62/2075.03 c #Conflicts: 1351000 | #Constraints: 25840
2069.62/2075.03 c #Conflicts: 1352000 | #Constraints: 26840
2069.62/2075.03 c #Conflicts: 1353000 | #Constraints: 27840
2069.62/2075.03 c #Conflicts: 1354000 | #Constraints: 28840
2069.62/2075.03 c #Conflicts: 1355000 | #Constraints: 29840
2069.62/2075.03 c #Conflicts: 1356000 | #Constraints: 30840
2069.62/2075.03 c #Conflicts: 1357000 | #Constraints: 31840
2069.62/2075.03 c #Conflicts: 1358000 | #Constraints: 32840
2069.62/2075.03 c #Conflicts: 1359000 | #Constraints: 33840
2069.62/2075.03 c #Conflicts: 1360000 | #Constraints: 34840
2069.62/2075.03 c #Conflicts: 1361000 | #Constraints: 35840
2069.62/2075.03 c #Conflicts: 1362000 | #Constraints: 36840
2069.62/2075.03 c #Conflicts: 1363000 | #Constraints: 37840
2069.62/2075.03 c #Conflicts: 1364000 | #Constraints: 38840
2069.62/2075.03 c #Conflicts: 1365000 | #Constraints: 39840
2069.62/2075.03 c #Conflicts: 1366000 | #Constraints: 40840
2069.62/2075.03 c #Conflicts: 1367000 | #Constraints: 41840
2069.62/2075.03 c #Conflicts: 1368000 | #Constraints: 42840
2069.62/2075.03 c #Conflicts: 1369000 | #Constraints: 43840
2069.62/2075.03 c #Conflicts: 1370000 | #Constraints: 44840
2069.62/2075.03 c #Conflicts: 1371000 | #Constraints: 45840
2069.62/2075.03 c INPROCESSING
2069.62/2075.03 c GARBAGE COLLECT
2069.62/2075.03 c #Conflicts: 1372000 | #Constraints: 23637
2069.62/2075.03 c #Conflicts: 1373000 | #Constraints: 24637
2069.62/2075.03 c #Conflicts: 1374000 | #Constraints: 25637
2069.62/2075.03 c #Conflicts: 1375000 | #Constraints: 26637
2069.62/2075.03 c #Conflicts: 1376000 | #Constraints: 27637
2069.62/2075.03 c #Conflicts: 1377000 | #Constraints: 28637
2069.62/2075.03 c #Conflicts: 1378000 | #Constraints: 29637
2069.62/2075.03 c #Conflicts: 1379000 | #Constraints: 30637
2069.62/2075.03 c #Conflicts: 1380000 | #Constraints: 31637
2069.62/2075.03 c #Conflicts: 1381000 | #Constraints: 32637
2069.62/2075.03 c #Conflicts: 1382000 | #Constraints: 33637
2069.62/2075.03 c #Conflicts: 1383000 | #Constraints: 34637
2069.62/2075.03 c #Conflicts: 1384000 | #Constraints: 35637
2069.62/2075.03 c #Conflicts: 1385000 | #Constraints: 36637
2069.62/2075.03 c #Conflicts: 1386000 | #Constraints: 37637
2069.62/2075.03 c #Conflicts: 1387000 | #Constraints: 38637
2069.62/2075.03 c #Conflicts: 1388000 | #Constraints: 39637
2069.62/2075.03 c #Conflicts: 1389000 | #Constraints: 40637
2069.62/2075.03 c #Conflicts: 1390000 | #Constraints: 41637
2221.93/2227.75 c #Conflicts: 1391000 | #Constraints: 42637
2221.93/2227.75 c #Conflicts: 1392000 | #Constraints: 43637
2221.93/2227.75 c #Conflicts: 1393000 | #Constraints: 44637
2221.93/2227.75 c #Conflicts: 1394000 | #Constraints: 45637
2221.93/2227.75 c #Conflicts: 1395000 | #Constraints: 46637
2221.93/2227.75 c INPROCESSING
2221.93/2227.75 c GARBAGE COLLECT
2221.93/2227.75 c #Conflicts: 1396000 | #Constraints: 24239
2221.93/2227.75 c #Conflicts: 1397000 | #Constraints: 25239
2221.93/2227.75 c #Conflicts: 1398000 | #Constraints: 26239
2221.93/2227.75 c #Conflicts: 1399000 | #Constraints: 27239
2221.93/2227.75 c #Conflicts: 1400000 | #Constraints: 28239
2221.93/2227.75 c #Conflicts: 1401000 | #Constraints: 29239
2221.93/2227.75 c #Conflicts: 1402000 | #Constraints: 30239
2221.93/2227.75 c #Conflicts: 1403000 | #Constraints: 31239
2221.93/2227.75 c #Conflicts: 1404000 | #Constraints: 32239
2221.93/2227.75 c #Conflicts: 1405000 | #Constraints: 33239
2221.93/2227.75 c #Conflicts: 1406000 | #Constraints: 34239
2221.93/2227.75 c #Conflicts: 1407000 | #Constraints: 35239
2221.93/2227.75 c #Conflicts: 1408000 | #Constraints: 36239
2221.93/2227.75 c #Conflicts: 1409000 | #Constraints: 37239
2221.93/2227.75 c #Conflicts: 1410000 | #Constraints: 38239
2221.93/2227.75 c #Conflicts: 1411000 | #Constraints: 39239
2221.93/2227.75 c #Conflicts: 1412000 | #Constraints: 40239
2221.93/2227.75 c #Conflicts: 1413000 | #Constraints: 41239
2221.93/2227.75 c #Conflicts: 1414000 | #Constraints: 42239
2221.93/2227.75 c #Conflicts: 1415000 | #Constraints: 43239
2221.93/2227.75 c #Conflicts: 1416000 | #Constraints: 44239
2221.93/2227.75 c #Conflicts: 1417000 | #Constraints: 45239
2221.93/2227.75 c #Conflicts: 1418000 | #Constraints: 46239
2221.93/2227.75 c #Conflicts: 1419000 | #Constraints: 47239
2221.93/2227.75 c INPROCESSING
2221.93/2227.75 c GARBAGE COLLECT
2221.93/2227.75 c #Conflicts: 1420000 | #Constraints: 24636
2221.93/2227.75 c #Conflicts: 1421000 | #Constraints: 25636
2221.93/2227.75 c #Conflicts: 1422000 | #Constraints: 26636
2221.93/2227.75 c #Conflicts: 1423000 | #Constraints: 27636
2221.93/2227.75 c #Conflicts: 1424000 | #Constraints: 28636
2221.93/2227.75 c #Conflicts: 1425000 | #Constraints: 29636
2221.93/2227.75 c #Conflicts: 1426000 | #Constraints: 30636
2221.93/2227.75 c #Conflicts: 1427000 | #Constraints: 31636
2221.93/2227.75 c #Conflicts: 1428000 | #Constraints: 32636
2221.93/2227.75 c #Conflicts: 1429000 | #Constraints: 33636
2221.93/2227.75 c #Conflicts: 1430000 | #Constraints: 34636
2221.93/2227.75 c #Conflicts: 1431000 | #Constraints: 35636
2221.93/2227.75 c #Conflicts: 1432000 | #Constraints: 36636
2221.93/2227.75 c #Conflicts: 1433000 | #Constraints: 37636
2221.93/2227.75 c #Conflicts: 1434000 | #Constraints: 38636
2221.93/2227.75 c #Conflicts: 1435000 | #Constraints: 39636
2221.93/2227.75 c #Conflicts: 1436000 | #Constraints: 40636
2221.93/2227.75 c #Conflicts: 1437000 | #Constraints: 41636
2221.93/2227.75 c #Conflicts: 1438000 | #Constraints: 42636
2221.93/2227.75 c #Conflicts: 1439000 | #Constraints: 43636
2221.93/2227.75 c #Conflicts: 1440000 | #Constraints: 44636
2221.93/2227.75 c #Conflicts: 1441000 | #Constraints: 45636
2221.93/2227.75 c #Conflicts: 1442000 | #Constraints: 46636
2221.93/2227.75 c #Conflicts: 1443000 | #Constraints: 47636
2221.93/2227.75 c INPROCESSING
2221.93/2227.75 c GARBAGE COLLECT
2221.93/2227.75 c #Conflicts: 1444000 | #Constraints: 24838
2221.93/2227.75 c #Conflicts: 1445000 | #Constraints: 25838
2221.93/2227.75 c #Conflicts: 1446000 | #Constraints: 26838
2221.93/2227.75 c #Conflicts: 1447000 | #Constraints: 27838
2221.93/2227.75 c #Conflicts: 1448000 | #Constraints: 28838
2221.93/2227.75 c #Conflicts: 1449000 | #Constraints: 29838
2221.93/2227.75 c #Conflicts: 1450000 | #Constraints: 30838
2221.93/2227.75 c #Conflicts: 1451000 | #Constraints: 31838
2221.93/2227.75 c #Conflicts: 1452000 | #Constraints: 32838
2221.93/2227.75 c #Conflicts: 1453000 | #Constraints: 33838
2221.93/2227.75 c #Conflicts: 1454000 | #Constraints: 34838
2221.93/2227.75 c #Conflicts: 1455000 | #Constraints: 35838
2221.93/2227.75 c #Conflicts: 1456000 | #Constraints: 36838
2221.93/2227.75 c #Conflicts: 1457000 | #Constraints: 37838
2221.93/2227.75 c #Conflicts: 1458000 | #Constraints: 38838
2221.93/2227.75 c #Conflicts: 1459000 | #Constraints: 39838
2221.93/2227.75 c #Conflicts: 1460000 | #Constraints: 40838
2221.93/2227.75 c #Conflicts: 1461000 | #Constraints: 41838
2221.93/2227.75 c #Conflicts: 1462000 | #Constraints: 42838
2221.93/2227.75 c #Conflicts: 1463000 | #Constraints: 43838
2221.93/2227.75 c #Conflicts: 1464000 | #Constraints: 44838
2221.93/2227.75 c #Conflicts: 1465000 | #Constraints: 45838
2221.93/2227.75 c #Conflicts: 1466000 | #Constraints: 46838
2221.93/2227.75 c #Conflicts: 1467000 | #Constraints: 47838
2376.34/2382.50 c INPROCESSING
2376.34/2382.50 c GARBAGE COLLECT
2376.34/2382.50 c #Conflicts: 1468000 | #Constraints: 24835
2376.34/2382.50 c #Conflicts: 1469000 | #Constraints: 25835
2376.34/2382.50 c #Conflicts: 1470000 | #Constraints: 26835
2376.34/2382.50 c #Conflicts: 1471000 | #Constraints: 27835
2376.34/2382.50 c #Conflicts: 1472000 | #Constraints: 28835
2376.34/2382.50 c #Conflicts: 1473000 | #Constraints: 29835
2376.34/2382.50 c #Conflicts: 1474000 | #Constraints: 30835
2376.34/2382.50 c #Conflicts: 1475000 | #Constraints: 31835
2376.34/2382.50 c #Conflicts: 1476000 | #Constraints: 32835
2376.34/2382.50 c #Conflicts: 1477000 | #Constraints: 33835
2376.34/2382.50 c #Conflicts: 1478000 | #Constraints: 34835
2376.34/2382.50 c #Conflicts: 1479000 | #Constraints: 35835
2376.34/2382.50 c #Conflicts: 1480000 | #Constraints: 36835
2376.34/2382.50 c #Conflicts: 1481000 | #Constraints: 37835
2376.34/2382.50 c #Conflicts: 1482000 | #Constraints: 38835
2376.34/2382.50 c #Conflicts: 1483000 | #Constraints: 39835
2376.34/2382.50 c #Conflicts: 1484000 | #Constraints: 40835
2376.34/2382.50 c #Conflicts: 1485000 | #Constraints: 41835
2376.34/2382.50 c #Conflicts: 1486000 | #Constraints: 42835
2376.34/2382.50 c #Conflicts: 1487000 | #Constraints: 43835
2376.34/2382.50 c #Conflicts: 1488000 | #Constraints: 44835
2376.34/2382.50 c #Conflicts: 1489000 | #Constraints: 45835
2376.34/2382.50 c #Conflicts: 1490000 | #Constraints: 46835
2376.34/2382.50 c #Conflicts: 1491000 | #Constraints: 47835
2376.34/2382.50 c INPROCESSING
2376.34/2382.50 c GARBAGE COLLECT
2376.34/2382.50 c #Conflicts: 1492000 | #Constraints: 24636
2376.34/2382.50 c #Conflicts: 1493000 | #Constraints: 25636
2376.34/2382.50 c #Conflicts: 1494000 | #Constraints: 26636
2376.34/2382.50 c #Conflicts: 1495000 | #Constraints: 27636
2376.34/2382.50 c #Conflicts: 1496000 | #Constraints: 28636
2376.34/2382.50 c #Conflicts: 1497000 | #Constraints: 29636
2376.34/2382.50 c #Conflicts: 1498000 | #Constraints: 30636
2376.34/2382.50 c #Conflicts: 1499000 | #Constraints: 31636
2376.34/2382.50 c #Conflicts: 1500000 | #Constraints: 32636
2376.34/2382.50 c #Conflicts: 1501000 | #Constraints: 33636
2376.34/2382.50 c #Conflicts: 1502000 | #Constraints: 34636
2376.34/2382.50 c #Conflicts: 1503000 | #Constraints: 35636
2376.34/2382.50 c #Conflicts: 1504000 | #Constraints: 36636
2376.34/2382.50 c #Conflicts: 1505000 | #Constraints: 37636
2376.34/2382.50 c #Conflicts: 1506000 | #Constraints: 38636
2376.34/2382.50 c #Conflicts: 1507000 | #Constraints: 39636
2376.34/2382.50 c #Conflicts: 1508000 | #Constraints: 40636
2376.34/2382.50 c #Conflicts: 1509000 | #Constraints: 41636
2376.34/2382.50 c #Conflicts: 1510000 | #Constraints: 42636
2376.34/2382.50 c #Conflicts: 1511000 | #Constraints: 43636
2376.34/2382.50 c #Conflicts: 1512000 | #Constraints: 44636
2376.34/2382.50 c #Conflicts: 1513000 | #Constraints: 45636
2376.34/2382.50 c #Conflicts: 1514000 | #Constraints: 46636
2376.34/2382.50 c #Conflicts: 1515000 | #Constraints: 47636
2376.34/2382.50 c #Conflicts: 1516000 | #Constraints: 48636
2376.34/2382.50 c INPROCESSING
2376.34/2382.50 c GARBAGE COLLECT
2376.34/2382.50 c #Conflicts: 1517000 | #Constraints: 25238
2376.34/2382.50 c #Conflicts: 1518000 | #Constraints: 26238
2376.34/2382.50 c #Conflicts: 1519000 | #Constraints: 27238
2376.34/2382.50 c #Conflicts: 1520000 | #Constraints: 28238
2376.34/2382.50 c #Conflicts: 1521000 | #Constraints: 29238
2376.34/2382.50 c #Conflicts: 1522000 | #Constraints: 30238
2376.34/2382.50 c #Conflicts: 1523000 | #Constraints: 31238
2376.34/2382.50 c #Conflicts: 1524000 | #Constraints: 32238
2376.34/2382.50 c #Conflicts: 1525000 | #Constraints: 33238
2376.34/2382.50 c #Conflicts: 1526000 | #Constraints: 34238
2376.34/2382.50 c #Conflicts: 1527000 | #Constraints: 35238
2376.34/2382.50 c #Conflicts: 1528000 | #Constraints: 36238
2376.34/2382.50 c #Conflicts: 1529000 | #Constraints: 37238
2376.34/2382.50 c #Conflicts: 1530000 | #Constraints: 38238
2376.34/2382.50 c #Conflicts: 1531000 | #Constraints: 39238
2376.34/2382.50 c #Conflicts: 1532000 | #Constraints: 40238
2376.34/2382.50 c #Conflicts: 1533000 | #Constraints: 41238
2376.34/2382.50 c #Conflicts: 1534000 | #Constraints: 42238
2376.34/2382.50 c #Conflicts: 1535000 | #Constraints: 43238
2376.34/2382.50 c #Conflicts: 1536000 | #Constraints: 44238
2376.34/2382.50 c #Conflicts: 1537000 | #Constraints: 45238
2376.34/2382.50 c #Conflicts: 1538000 | #Constraints: 46238
2376.34/2382.50 c #Conflicts: 1539000 | #Constraints: 47238
2376.34/2382.50 c #Conflicts: 1540000 | #Constraints: 48238
2376.34/2382.50 c #Conflicts: 1541000 | #Constraints: 49238
2376.34/2382.50 c INPROCESSING
2376.34/2382.50 c GARBAGE COLLECT
2376.34/2382.50 c #Conflicts: 1542000 | #Constraints: 25638
2376.34/2382.50 c #Conflicts: 1543000 | #Constraints: 26638
2569.05/2575.77 c #Conflicts: 1544000 | #Constraints: 27638
2569.05/2575.77 c #Conflicts: 1545000 | #Constraints: 28638
2569.05/2575.77 c #Conflicts: 1546000 | #Constraints: 29638
2569.05/2575.77 c #Conflicts: 1547000 | #Constraints: 30638
2569.05/2575.77 c #Conflicts: 1548000 | #Constraints: 31638
2569.05/2575.77 c #Conflicts: 1549000 | #Constraints: 32638
2569.05/2575.77 c #Conflicts: 1550000 | #Constraints: 33638
2569.05/2575.77 c #Conflicts: 1551000 | #Constraints: 34638
2569.05/2575.77 c #Conflicts: 1552000 | #Constraints: 35638
2569.05/2575.77 c #Conflicts: 1553000 | #Constraints: 36638
2569.05/2575.77 c #Conflicts: 1554000 | #Constraints: 37638
2569.05/2575.77 c #Conflicts: 1555000 | #Constraints: 38638
2569.05/2575.77 c #Conflicts: 1556000 | #Constraints: 39638
2569.05/2575.77 c #Conflicts: 1557000 | #Constraints: 40638
2569.05/2575.77 c #Conflicts: 1558000 | #Constraints: 41638
2569.05/2575.77 c #Conflicts: 1559000 | #Constraints: 42638
2569.05/2575.77 c #Conflicts: 1560000 | #Constraints: 43638
2569.05/2575.77 c #Conflicts: 1561000 | #Constraints: 44638
2569.05/2575.77 c #Conflicts: 1562000 | #Constraints: 45638
2569.05/2575.77 c #Conflicts: 1563000 | #Constraints: 46638
2569.05/2575.77 c #Conflicts: 1564000 | #Constraints: 47638
2569.05/2575.77 c #Conflicts: 1565000 | #Constraints: 48638
2569.05/2575.77 c #Conflicts: 1566000 | #Constraints: 49638
2569.05/2575.77 c INPROCESSING
2569.05/2575.77 c GARBAGE COLLECT
2569.05/2575.77 c #Conflicts: 1567000 | #Constraints: 25839
2569.05/2575.77 c #Conflicts: 1568000 | #Constraints: 26839
2569.05/2575.77 c #Conflicts: 1569000 | #Constraints: 27839
2569.05/2575.77 c #Conflicts: 1570000 | #Constraints: 28839
2569.05/2575.77 c #Conflicts: 1571000 | #Constraints: 29839
2569.05/2575.77 c #Conflicts: 1572000 | #Constraints: 30839
2569.05/2575.77 c #Conflicts: 1573000 | #Constraints: 31839
2569.05/2575.77 c #Conflicts: 1574000 | #Constraints: 32839
2569.05/2575.77 c #Conflicts: 1575000 | #Constraints: 33839
2569.05/2575.77 c #Conflicts: 1576000 | #Constraints: 34839
2569.05/2575.77 c #Conflicts: 1577000 | #Constraints: 35839
2569.05/2575.77 c #Conflicts: 1578000 | #Constraints: 36839
2569.05/2575.77 c #Conflicts: 1579000 | #Constraints: 37839
2569.05/2575.77 c #Conflicts: 1580000 | #Constraints: 38839
2569.05/2575.77 c #Conflicts: 1581000 | #Constraints: 39839
2569.05/2575.77 c #Conflicts: 1582000 | #Constraints: 40839
2569.05/2575.77 c #Conflicts: 1583000 | #Constraints: 41839
2569.05/2575.77 c #Conflicts: 1584000 | #Constraints: 42839
2569.05/2575.77 c #Conflicts: 1585000 | #Constraints: 43839
2569.05/2575.77 c #Conflicts: 1586000 | #Constraints: 44839
2569.05/2575.77 c #Conflicts: 1587000 | #Constraints: 45839
2569.05/2575.77 c #Conflicts: 1588000 | #Constraints: 46839
2569.05/2575.77 c #Conflicts: 1589000 | #Constraints: 47839
2569.05/2575.77 c #Conflicts: 1590000 | #Constraints: 48839
2569.05/2575.77 c #Conflicts: 1591000 | #Constraints: 49839
2569.05/2575.77 c INPROCESSING
2569.05/2575.77 c GARBAGE COLLECT
2569.05/2575.77 c #Conflicts: 1592000 | #Constraints: 25843
2569.05/2575.77 c #Conflicts: 1593000 | #Constraints: 26843
2569.05/2575.77 c #Conflicts: 1594000 | #Constraints: 27843
2569.05/2575.77 c #Conflicts: 1595000 | #Constraints: 28843
2569.05/2575.77 c #Conflicts: 1596000 | #Constraints: 29843
2569.05/2575.77 c #Conflicts: 1597000 | #Constraints: 30843
2569.05/2575.77 c #Conflicts: 1598000 | #Constraints: 31843
2569.05/2575.77 c #Conflicts: 1599000 | #Constraints: 32843
2569.05/2575.77 c #Conflicts: 1600000 | #Constraints: 33843
2569.05/2575.77 c #Conflicts: 1601000 | #Constraints: 34843
2569.05/2575.77 c #Conflicts: 1602000 | #Constraints: 35843
2569.05/2575.77 c #Conflicts: 1603000 | #Constraints: 36843
2569.05/2575.77 c #Conflicts: 1604000 | #Constraints: 37843
2569.05/2575.77 c #Conflicts: 1605000 | #Constraints: 38843
2569.05/2575.77 c #Conflicts: 1606000 | #Constraints: 39843
2569.05/2575.77 c #Conflicts: 1607000 | #Constraints: 40843
2569.05/2575.77 c #Conflicts: 1608000 | #Constraints: 41843
2569.05/2575.77 c #Conflicts: 1609000 | #Constraints: 42843
2569.05/2575.77 c #Conflicts: 1610000 | #Constraints: 43843
2569.05/2575.77 c #Conflicts: 1611000 | #Constraints: 44843
2569.05/2575.77 c #Conflicts: 1612000 | #Constraints: 45843
2569.05/2575.77 c #Conflicts: 1613000 | #Constraints: 46843
2569.05/2575.77 c #Conflicts: 1614000 | #Constraints: 47843
2569.05/2575.77 c #Conflicts: 1615000 | #Constraints: 48843
2569.05/2575.77 c #Conflicts: 1616000 | #Constraints: 49843
2569.05/2575.77 c INPROCESSING
2569.05/2575.77 c GARBAGE COLLECT
2569.05/2575.77 c #Conflicts: 1617000 | #Constraints: 25644
2569.05/2575.77 c #Conflicts: 1618000 | #Constraints: 26644
2569.05/2575.77 c #Conflicts: 1619000 | #Constraints: 27644
2569.05/2575.77 c #Conflicts: 1620000 | #Constraints: 28644
2746.11/2753.27 c #Conflicts: 1621000 | #Constraints: 29644
2746.11/2753.27 c #Conflicts: 1622000 | #Constraints: 30644
2746.11/2753.27 c #Conflicts: 1623000 | #Constraints: 31644
2746.11/2753.27 c #Conflicts: 1624000 | #Constraints: 32644
2746.11/2753.27 c #Conflicts: 1625000 | #Constraints: 33644
2746.11/2753.27 c #Conflicts: 1626000 | #Constraints: 34644
2746.11/2753.27 c #Conflicts: 1627000 | #Constraints: 35644
2746.11/2753.27 c #Conflicts: 1628000 | #Constraints: 36644
2746.11/2753.27 c #Conflicts: 1629000 | #Constraints: 37644
2746.11/2753.27 c #Conflicts: 1630000 | #Constraints: 38644
2746.11/2753.27 c #Conflicts: 1631000 | #Constraints: 39644
2746.11/2753.27 c #Conflicts: 1632000 | #Constraints: 40644
2746.11/2753.27 c #Conflicts: 1633000 | #Constraints: 41644
2746.11/2753.27 c #Conflicts: 1634000 | #Constraints: 42644
2746.11/2753.27 c #Conflicts: 1635000 | #Constraints: 43644
2746.11/2753.27 c #Conflicts: 1636000 | #Constraints: 44644
2746.11/2753.27 c #Conflicts: 1637000 | #Constraints: 45644
2746.11/2753.27 c #Conflicts: 1638000 | #Constraints: 46644
2746.11/2753.27 c #Conflicts: 1639000 | #Constraints: 47644
2746.11/2753.27 c #Conflicts: 1640000 | #Constraints: 48644
2746.11/2753.27 c #Conflicts: 1641000 | #Constraints: 49644
2746.11/2753.27 c #Conflicts: 1642000 | #Constraints: 50644
2746.11/2753.27 c INPROCESSING
2746.11/2753.27 c GARBAGE COLLECT
2746.11/2753.27 c #Conflicts: 1643000 | #Constraints: 26239
2746.11/2753.27 c #Conflicts: 1644000 | #Constraints: 27239
2746.11/2753.27 c #Conflicts: 1645000 | #Constraints: 28239
2746.11/2753.27 c #Conflicts: 1646000 | #Constraints: 29239
2746.11/2753.27 c #Conflicts: 1647000 | #Constraints: 30239
2746.11/2753.27 c #Conflicts: 1648000 | #Constraints: 31239
2746.11/2753.27 c #Conflicts: 1649000 | #Constraints: 32239
2746.11/2753.27 c #Conflicts: 1650000 | #Constraints: 33239
2746.11/2753.27 c #Conflicts: 1651000 | #Constraints: 34239
2746.11/2753.27 c #Conflicts: 1652000 | #Constraints: 35239
2746.11/2753.27 c #Conflicts: 1653000 | #Constraints: 36239
2746.11/2753.27 c #Conflicts: 1654000 | #Constraints: 37239
2746.11/2753.27 c #Conflicts: 1655000 | #Constraints: 38239
2746.11/2753.27 c #Conflicts: 1656000 | #Constraints: 39239
2746.11/2753.27 c #Conflicts: 1657000 | #Constraints: 40239
2746.11/2753.27 c #Conflicts: 1658000 | #Constraints: 41239
2746.11/2753.27 c #Conflicts: 1659000 | #Constraints: 42239
2746.11/2753.27 c #Conflicts: 1660000 | #Constraints: 43239
2746.11/2753.27 c #Conflicts: 1661000 | #Constraints: 44239
2746.11/2753.27 c #Conflicts: 1662000 | #Constraints: 45239
2746.11/2753.27 c #Conflicts: 1663000 | #Constraints: 46239
2746.11/2753.27 c #Conflicts: 1664000 | #Constraints: 47239
2746.11/2753.27 c #Conflicts: 1665000 | #Constraints: 48239
2746.11/2753.27 c #Conflicts: 1666000 | #Constraints: 49239
2746.11/2753.27 c #Conflicts: 1667000 | #Constraints: 50239
2746.11/2753.27 c #Conflicts: 1668000 | #Constraints: 51239
2746.11/2753.27 c INPROCESSING
2746.11/2753.27 c GARBAGE COLLECT
2746.11/2753.27 c #Conflicts: 1669000 | #Constraints: 26637
2746.11/2753.27 c #Conflicts: 1670000 | #Constraints: 27637
2746.11/2753.27 c #Conflicts: 1671000 | #Constraints: 28637
2746.11/2753.27 c #Conflicts: 1672000 | #Constraints: 29637
2746.11/2753.27 c #Conflicts: 1673000 | #Constraints: 30637
2746.11/2753.27 c #Conflicts: 1674000 | #Constraints: 31637
2746.11/2753.27 c #Conflicts: 1675000 | #Constraints: 32637
2746.11/2753.27 c #Conflicts: 1676000 | #Constraints: 33637
2746.11/2753.27 c #Conflicts: 1677000 | #Constraints: 34637
2746.11/2753.27 c #Conflicts: 1678000 | #Constraints: 35637
2746.11/2753.27 c #Conflicts: 1679000 | #Constraints: 36637
2746.11/2753.27 c #Conflicts: 1680000 | #Constraints: 37637
2746.11/2753.27 c #Conflicts: 1681000 | #Constraints: 38637
2746.11/2753.27 c #Conflicts: 1682000 | #Constraints: 39637
2746.11/2753.27 c #Conflicts: 1683000 | #Constraints: 40637
2746.11/2753.27 c #Conflicts: 1684000 | #Constraints: 41637
2746.11/2753.27 c #Conflicts: 1685000 | #Constraints: 42637
2746.11/2753.27 c #Conflicts: 1686000 | #Constraints: 43637
2746.11/2753.27 c #Conflicts: 1687000 | #Constraints: 44637
2746.11/2753.27 c #Conflicts: 1688000 | #Constraints: 45637
2746.11/2753.27 c #Conflicts: 1689000 | #Constraints: 46637
2746.11/2753.27 c #Conflicts: 1690000 | #Constraints: 47637
2746.11/2753.27 c #Conflicts: 1691000 | #Constraints: 48637
2746.11/2753.27 c #Conflicts: 1692000 | #Constraints: 49637
2746.11/2753.27 c #Conflicts: 1693000 | #Constraints: 50637
2746.11/2753.27 c #Conflicts: 1694000 | #Constraints: 51637
2746.11/2753.27 c INPROCESSING
2746.11/2753.27 c GARBAGE COLLECT
2746.11/2753.27 c #Conflicts: 1695000 | #Constraints: 26837
2746.11/2753.27 c #Conflicts: 1696000 | #Constraints: 27837
2746.11/2753.27 c #Conflicts: 1697000 | #Constraints: 28837
2927.45/2935.06 c #Conflicts: 1698000 | #Constraints: 29837
2927.45/2935.06 c #Conflicts: 1699000 | #Constraints: 30837
2927.45/2935.06 c #Conflicts: 1700000 | #Constraints: 31837
2927.45/2935.06 c #Conflicts: 1701000 | #Constraints: 32837
2927.45/2935.06 c #Conflicts: 1702000 | #Constraints: 33837
2927.45/2935.06 c #Conflicts: 1703000 | #Constraints: 34837
2927.45/2935.06 c #Conflicts: 1704000 | #Constraints: 35837
2927.45/2935.06 c #Conflicts: 1705000 | #Constraints: 36837
2927.45/2935.06 c #Conflicts: 1706000 | #Constraints: 37837
2927.45/2935.06 c #Conflicts: 1707000 | #Constraints: 38837
2927.45/2935.06 c #Conflicts: 1708000 | #Constraints: 39837
2927.45/2935.06 c #Conflicts: 1709000 | #Constraints: 40837
2927.45/2935.06 c #Conflicts: 1710000 | #Constraints: 41837
2927.45/2935.06 c #Conflicts: 1711000 | #Constraints: 42837
2927.45/2935.06 c #Conflicts: 1712000 | #Constraints: 43837
2927.45/2935.06 c #Conflicts: 1713000 | #Constraints: 44837
2927.45/2935.06 c #Conflicts: 1714000 | #Constraints: 45837
2927.45/2935.06 c #Conflicts: 1715000 | #Constraints: 46837
2927.45/2935.06 c #Conflicts: 1716000 | #Constraints: 47837
2927.45/2935.06 c #Conflicts: 1717000 | #Constraints: 48837
2927.45/2935.06 c #Conflicts: 1718000 | #Constraints: 49837
2927.45/2935.06 c #Conflicts: 1719000 | #Constraints: 50837
2927.45/2935.06 c #Conflicts: 1720000 | #Constraints: 51837
2927.45/2935.06 c INPROCESSING
2927.45/2935.06 c GARBAGE COLLECT
2927.45/2935.06 c #Conflicts: 1721000 | #Constraints: 26834
2927.45/2935.06 c #Conflicts: 1722000 | #Constraints: 27834
2927.45/2935.06 c #Conflicts: 1723000 | #Constraints: 28834
2927.45/2935.06 c #Conflicts: 1724000 | #Constraints: 29834
2927.45/2935.06 c #Conflicts: 1725000 | #Constraints: 30834
2927.45/2935.06 c #Conflicts: 1726000 | #Constraints: 31834
2927.45/2935.06 c #Conflicts: 1727000 | #Constraints: 32834
2927.45/2935.06 c #Conflicts: 1728000 | #Constraints: 33834
2927.45/2935.06 c #Conflicts: 1729000 | #Constraints: 34834
2927.45/2935.06 c #Conflicts: 1730000 | #Constraints: 35834
2927.45/2935.06 c #Conflicts: 1731000 | #Constraints: 36834
2927.45/2935.06 c #Conflicts: 1732000 | #Constraints: 37834
2927.45/2935.06 c #Conflicts: 1733000 | #Constraints: 38834
2927.45/2935.06 c #Conflicts: 1734000 | #Constraints: 39834
2927.45/2935.06 c #Conflicts: 1735000 | #Constraints: 40834
2927.45/2935.06 c #Conflicts: 1736000 | #Constraints: 41834
2927.45/2935.06 c #Conflicts: 1737000 | #Constraints: 42834
2927.45/2935.06 c #Conflicts: 1738000 | #Constraints: 43834
2927.45/2935.06 c #Conflicts: 1739000 | #Constraints: 44834
2927.45/2935.06 c #Conflicts: 1740000 | #Constraints: 45834
2927.45/2935.06 c #Conflicts: 1741000 | #Constraints: 46834
2927.45/2935.06 c #Conflicts: 1742000 | #Constraints: 47834
2927.45/2935.06 c #Conflicts: 1743000 | #Constraints: 48834
2927.45/2935.06 c #Conflicts: 1744000 | #Constraints: 49834
2927.45/2935.06 c #Conflicts: 1745000 | #Constraints: 50834
2927.45/2935.06 c #Conflicts: 1746000 | #Constraints: 51834
2927.45/2935.06 c INPROCESSING
2927.45/2935.06 c GARBAGE COLLECT
2927.45/2935.06 c #Conflicts: 1747000 | #Constraints: 26637
2927.45/2935.06 c #Conflicts: 1748000 | #Constraints: 27637
2927.45/2935.06 c #Conflicts: 1749000 | #Constraints: 28637
2927.45/2935.06 c #Conflicts: 1750000 | #Constraints: 29637
2927.45/2935.06 c #Conflicts: 1751000 | #Constraints: 30637
2927.45/2935.06 c #Conflicts: 1752000 | #Constraints: 31637
2927.45/2935.06 c #Conflicts: 1753000 | #Constraints: 32637
2927.45/2935.06 c #Conflicts: 1754000 | #Constraints: 33637
2927.45/2935.06 c #Conflicts: 1755000 | #Constraints: 34637
2927.45/2935.06 c #Conflicts: 1756000 | #Constraints: 35637
2927.45/2935.06 c #Conflicts: 1757000 | #Constraints: 36637
2927.45/2935.06 c #Conflicts: 1758000 | #Constraints: 37637
2927.45/2935.06 c #Conflicts: 1759000 | #Constraints: 38637
2927.45/2935.06 c #Conflicts: 1760000 | #Constraints: 39637
2927.45/2935.06 c #Conflicts: 1761000 | #Constraints: 40637
2927.45/2935.06 c #Conflicts: 1762000 | #Constraints: 41637
2927.45/2935.06 c #Conflicts: 1763000 | #Constraints: 42637
2927.45/2935.06 c #Conflicts: 1764000 | #Constraints: 43637
2927.45/2935.06 c #Conflicts: 1765000 | #Constraints: 44637
2927.45/2935.06 c #Conflicts: 1766000 | #Constraints: 45637
2927.45/2935.06 c #Conflicts: 1767000 | #Constraints: 46637
2927.45/2935.06 c #Conflicts: 1768000 | #Constraints: 47637
2927.45/2935.06 c #Conflicts: 1769000 | #Constraints: 48637
2927.45/2935.06 c #Conflicts: 1770000 | #Constraints: 49637
2927.45/2935.06 c #Conflicts: 1771000 | #Constraints: 50637
2927.45/2935.06 c #Conflicts: 1772000 | #Constraints: 51637
2927.45/2935.06 c #Conflicts: 1773000 | #Constraints: 52637
2927.45/2935.06 c INPROCESSING
2927.45/2935.06 c GARBAGE COLLECT
3113.87/3121.96 c #Conflicts: 1774000 | #Constraints: 27236
3113.87/3121.96 c #Conflicts: 1775000 | #Constraints: 28236
3113.87/3121.96 c #Conflicts: 1776000 | #Constraints: 29236
3113.87/3121.96 c #Conflicts: 1777000 | #Constraints: 30236
3113.87/3121.96 c #Conflicts: 1778000 | #Constraints: 31236
3113.87/3121.96 c #Conflicts: 1779000 | #Constraints: 32236
3113.87/3121.96 c #Conflicts: 1780000 | #Constraints: 33236
3113.87/3121.96 c #Conflicts: 1781000 | #Constraints: 34236
3113.87/3121.96 c #Conflicts: 1782000 | #Constraints: 35236
3113.87/3121.96 c #Conflicts: 1783000 | #Constraints: 36236
3113.87/3121.96 c #Conflicts: 1784000 | #Constraints: 37236
3113.87/3121.96 c #Conflicts: 1785000 | #Constraints: 38236
3113.87/3121.96 c #Conflicts: 1786000 | #Constraints: 39236
3113.87/3121.96 c #Conflicts: 1787000 | #Constraints: 40236
3113.87/3121.96 c #Conflicts: 1788000 | #Constraints: 41236
3113.87/3121.96 c #Conflicts: 1789000 | #Constraints: 42236
3113.87/3121.96 c #Conflicts: 1790000 | #Constraints: 43236
3113.87/3121.96 c #Conflicts: 1791000 | #Constraints: 44236
3113.87/3121.96 c #Conflicts: 1792000 | #Constraints: 45236
3113.87/3121.96 c #Conflicts: 1793000 | #Constraints: 46236
3113.87/3121.96 c #Conflicts: 1794000 | #Constraints: 47236
3113.87/3121.96 c #Conflicts: 1795000 | #Constraints: 48236
3113.87/3121.96 c #Conflicts: 1796000 | #Constraints: 49236
3113.87/3121.96 c #Conflicts: 1797000 | #Constraints: 50236
3113.87/3121.96 c #Conflicts: 1798000 | #Constraints: 51236
3113.87/3121.96 c #Conflicts: 1799000 | #Constraints: 52236
3113.87/3121.96 c #Conflicts: 1800000 | #Constraints: 53236
3113.87/3121.96 c INPROCESSING
3113.87/3121.96 c GARBAGE COLLECT
3113.87/3121.96 c #Conflicts: 1801000 | #Constraints: 27631
3113.87/3121.96 c #Conflicts: 1802000 | #Constraints: 28631
3113.87/3121.96 c #Conflicts: 1803000 | #Constraints: 29631
3113.87/3121.96 c #Conflicts: 1804000 | #Constraints: 30631
3113.87/3121.96 c #Conflicts: 1805000 | #Constraints: 31631
3113.87/3121.96 c #Conflicts: 1806000 | #Constraints: 32631
3113.87/3121.96 c #Conflicts: 1807000 | #Constraints: 33631
3113.87/3121.96 c #Conflicts: 1808000 | #Constraints: 34631
3113.87/3121.96 c #Conflicts: 1809000 | #Constraints: 35631
3113.87/3121.96 c #Conflicts: 1810000 | #Constraints: 36631
3113.87/3121.96 c #Conflicts: 1811000 | #Constraints: 37631
3113.87/3121.96 c #Conflicts: 1812000 | #Constraints: 38631
3113.87/3121.96 c #Conflicts: 1813000 | #Constraints: 39631
3113.87/3121.96 c #Conflicts: 1814000 | #Constraints: 40631
3113.87/3121.96 c #Conflicts: 1815000 | #Constraints: 41631
3113.87/3121.96 c #Conflicts: 1816000 | #Constraints: 42631
3113.87/3121.96 c #Conflicts: 1817000 | #Constraints: 43631
3113.87/3121.96 c #Conflicts: 1818000 | #Constraints: 44631
3113.87/3121.96 c #Conflicts: 1819000 | #Constraints: 45631
3113.87/3121.96 c #Conflicts: 1820000 | #Constraints: 46631
3113.87/3121.96 c #Conflicts: 1821000 | #Constraints: 47631
3113.87/3121.96 c #Conflicts: 1822000 | #Constraints: 48631
3113.87/3121.96 c #Conflicts: 1823000 | #Constraints: 49631
3113.87/3121.96 c #Conflicts: 1824000 | #Constraints: 50631
3113.87/3121.96 c #Conflicts: 1825000 | #Constraints: 51631
3113.87/3121.96 c #Conflicts: 1826000 | #Constraints: 52631
3113.87/3121.96 c #Conflicts: 1827000 | #Constraints: 53631
3113.87/3121.96 c INPROCESSING
3113.87/3121.96 c GARBAGE COLLECT
3113.87/3121.96 c #Conflicts: 1828000 | #Constraints: 27832
3113.87/3121.96 c #Conflicts: 1829000 | #Constraints: 28832
3113.87/3121.96 c #Conflicts: 1830000 | #Constraints: 29832
3113.87/3121.96 c #Conflicts: 1831000 | #Constraints: 30832
3113.87/3121.96 c #Conflicts: 1832000 | #Constraints: 31832
3113.87/3121.96 c #Conflicts: 1833000 | #Constraints: 32832
3113.87/3121.96 c #Conflicts: 1834000 | #Constraints: 33832
3113.87/3121.96 c #Conflicts: 1835000 | #Constraints: 34832
3113.87/3121.96 c #Conflicts: 1836000 | #Constraints: 35832
3113.87/3121.96 c #Conflicts: 1837000 | #Constraints: 36832
3113.87/3121.96 c #Conflicts: 1838000 | #Constraints: 37832
3113.87/3121.96 c #Conflicts: 1839000 | #Constraints: 38832
3113.87/3121.96 c #Conflicts: 1840000 | #Constraints: 39832
3113.87/3121.96 c #Conflicts: 1841000 | #Constraints: 40832
3113.87/3121.96 c #Conflicts: 1842000 | #Constraints: 41832
3113.87/3121.96 c #Conflicts: 1843000 | #Constraints: 42832
3113.87/3121.96 c #Conflicts: 1844000 | #Constraints: 43832
3113.87/3121.96 c #Conflicts: 1845000 | #Constraints: 44832
3113.87/3121.96 c #Conflicts: 1846000 | #Constraints: 45832
3113.87/3121.96 c #Conflicts: 1847000 | #Constraints: 46832
3113.87/3121.96 c #Conflicts: 1848000 | #Constraints: 47832
3113.87/3121.96 c #Conflicts: 1849000 | #Constraints: 48832
3113.87/3121.96 c #Conflicts: 1850000 | #Constraints: 49832
3113.87/3121.96 c #Conflicts: 1851000 | #Constraints: 50832
3298.80/3307.31 c #Conflicts: 1852000 | #Constraints: 51832
3298.80/3307.31 c #Conflicts: 1853000 | #Constraints: 52832
3298.80/3307.31 c #Conflicts: 1854000 | #Constraints: 53832
3298.80/3307.31 c INPROCESSING
3298.80/3307.31 c GARBAGE COLLECT
3298.80/3307.31 c #Conflicts: 1855000 | #Constraints: 27838
3298.80/3307.31 c #Conflicts: 1856000 | #Constraints: 28838
3298.80/3307.31 c #Conflicts: 1857000 | #Constraints: 29838
3298.80/3307.31 c #Conflicts: 1858000 | #Constraints: 30838
3298.80/3307.31 c #Conflicts: 1859000 | #Constraints: 31838
3298.80/3307.31 c #Conflicts: 1860000 | #Constraints: 32838
3298.80/3307.31 c #Conflicts: 1861000 | #Constraints: 33838
3298.80/3307.31 c #Conflicts: 1862000 | #Constraints: 34838
3298.80/3307.31 c #Conflicts: 1863000 | #Constraints: 35838
3298.80/3307.31 c #Conflicts: 1864000 | #Constraints: 36838
3298.80/3307.31 c #Conflicts: 1865000 | #Constraints: 37838
3298.80/3307.31 c #Conflicts: 1866000 | #Constraints: 38838
3298.80/3307.31 c #Conflicts: 1867000 | #Constraints: 39838
3298.80/3307.31 c #Conflicts: 1868000 | #Constraints: 40838
3298.80/3307.31 c #Conflicts: 1869000 | #Constraints: 41838
3298.80/3307.31 c #Conflicts: 1870000 | #Constraints: 42838
3298.80/3307.31 c #Conflicts: 1871000 | #Constraints: 43838
3298.80/3307.31 c #Conflicts: 1872000 | #Constraints: 44838
3298.80/3307.31 c #Conflicts: 1873000 | #Constraints: 45838
3298.80/3307.31 c #Conflicts: 1874000 | #Constraints: 46838
3298.80/3307.31 c #Conflicts: 1875000 | #Constraints: 47838
3298.80/3307.31 c #Conflicts: 1876000 | #Constraints: 48838
3298.80/3307.31 c #Conflicts: 1877000 | #Constraints: 49838
3298.80/3307.31 c #Conflicts: 1878000 | #Constraints: 50838
3298.80/3307.31 c #Conflicts: 1879000 | #Constraints: 51838
3298.80/3307.31 c #Conflicts: 1880000 | #Constraints: 52838
3298.80/3307.31 c #Conflicts: 1881000 | #Constraints: 53838
3298.80/3307.31 c INPROCESSING
3298.80/3307.31 c GARBAGE COLLECT
3298.80/3307.31 c #Conflicts: 1882000 | #Constraints: 27635
3298.80/3307.31 c #Conflicts: 1883000 | #Constraints: 28635
3298.80/3307.31 c #Conflicts: 1884000 | #Constraints: 29635
3298.80/3307.31 c #Conflicts: 1885000 | #Constraints: 30635
3298.80/3307.31 c #Conflicts: 1886000 | #Constraints: 31635
3298.80/3307.31 c #Conflicts: 1887000 | #Constraints: 32635
3298.80/3307.31 c #Conflicts: 1888000 | #Constraints: 33635
3298.80/3307.31 c #Conflicts: 1889000 | #Constraints: 34635
3298.80/3307.31 c #Conflicts: 1890000 | #Constraints: 35635
3298.80/3307.31 c #Conflicts: 1891000 | #Constraints: 36635
3298.80/3307.31 c #Conflicts: 1892000 | #Constraints: 37635
3298.80/3307.31 c #Conflicts: 1893000 | #Constraints: 38635
3298.80/3307.31 c #Conflicts: 1894000 | #Constraints: 39635
3298.80/3307.31 c #Conflicts: 1895000 | #Constraints: 40635
3298.80/3307.31 c #Conflicts: 1896000 | #Constraints: 41635
3298.80/3307.31 c #Conflicts: 1897000 | #Constraints: 42635
3298.80/3307.31 c #Conflicts: 1898000 | #Constraints: 43635
3298.80/3307.31 c #Conflicts: 1899000 | #Constraints: 44635
3298.80/3307.31 c #Conflicts: 1900000 | #Constraints: 45635
3298.80/3307.31 c #Conflicts: 1901000 | #Constraints: 46635
3298.80/3307.31 c #Conflicts: 1902000 | #Constraints: 47635
3298.80/3307.31 c #Conflicts: 1903000 | #Constraints: 48635
3298.80/3307.31 c #Conflicts: 1904000 | #Constraints: 49635
3298.80/3307.31 c #Conflicts: 1905000 | #Constraints: 50635
3298.80/3307.31 c #Conflicts: 1906000 | #Constraints: 51635
3298.80/3307.31 c #Conflicts: 1907000 | #Constraints: 52635
3298.80/3307.31 c #Conflicts: 1908000 | #Constraints: 53635
3298.80/3307.31 c #Conflicts: 1909000 | #Constraints: 54635
3298.80/3307.31 c INPROCESSING
3298.80/3307.31 c GARBAGE COLLECT
3298.80/3307.31 c #Conflicts: 1910000 | #Constraints: 28237
3298.80/3307.31 c #Conflicts: 1911000 | #Constraints: 29237
3298.80/3307.31 c #Conflicts: 1912000 | #Constraints: 30237
3298.80/3307.31 c #Conflicts: 1913000 | #Constraints: 31237
3298.80/3307.31 c #Conflicts: 1914000 | #Constraints: 32237
3298.80/3307.31 c #Conflicts: 1915000 | #Constraints: 33237
3298.80/3307.31 c #Conflicts: 1916000 | #Constraints: 34237
3298.80/3307.31 c #Conflicts: 1917000 | #Constraints: 35237
3298.80/3307.31 c #Conflicts: 1918000 | #Constraints: 36237
3298.80/3307.31 c #Conflicts: 1919000 | #Constraints: 37237
3298.80/3307.31 c #Conflicts: 1920000 | #Constraints: 38237
3298.80/3307.31 c #Conflicts: 1921000 | #Constraints: 39237
3298.80/3307.31 c #Conflicts: 1922000 | #Constraints: 40237
3298.80/3307.31 c #Conflicts: 1923000 | #Constraints: 41237
3298.80/3307.31 c #Conflicts: 1924000 | #Constraints: 42237
3298.80/3307.31 c #Conflicts: 1925000 | #Constraints: 43237
3298.80/3307.31 c #Conflicts: 1926000 | #Constraints: 44237
3298.80/3307.31 c #Conflicts: 1927000 | #Constraints: 45237
3298.80/3307.31 c #Conflicts: 1928000 | #Constraints: 46237
3491.52/3500.50 c #Conflicts: 1929000 | #Constraints: 47237
3491.52/3500.50 c #Conflicts: 1930000 | #Constraints: 48237
3491.52/3500.50 c #Conflicts: 1931000 | #Constraints: 49237
3491.52/3500.50 c #Conflicts: 1932000 | #Constraints: 50237
3491.52/3500.50 c #Conflicts: 1933000 | #Constraints: 51237
3491.52/3500.50 c #Conflicts: 1934000 | #Constraints: 52237
3491.52/3500.50 c #Conflicts: 1935000 | #Constraints: 53237
3491.52/3500.50 c #Conflicts: 1936000 | #Constraints: 54237
3491.52/3500.50 c #Conflicts: 1937000 | #Constraints: 55237
3491.52/3500.50 c INPROCESSING
3491.52/3500.50 c GARBAGE COLLECT
3491.52/3500.50 c #Conflicts: 1938000 | #Constraints: 28636
3491.52/3500.50 c #Conflicts: 1939000 | #Constraints: 29636
3491.52/3500.50 c #Conflicts: 1940000 | #Constraints: 30636
3491.52/3500.50 c #Conflicts: 1941000 | #Constraints: 31636
3491.52/3500.50 c #Conflicts: 1942000 | #Constraints: 32636
3491.52/3500.50 c #Conflicts: 1943000 | #Constraints: 33636
3491.52/3500.50 c #Conflicts: 1944000 | #Constraints: 34636
3491.52/3500.50 c #Conflicts: 1945000 | #Constraints: 35636
3491.52/3500.50 c #Conflicts: 1946000 | #Constraints: 36636
3491.52/3500.50 c #Conflicts: 1947000 | #Constraints: 37636
3491.52/3500.50 c #Conflicts: 1948000 | #Constraints: 38636
3491.52/3500.50 c #Conflicts: 1949000 | #Constraints: 39636
3491.52/3500.50 c #Conflicts: 1950000 | #Constraints: 40636
3491.52/3500.50 c #Conflicts: 1951000 | #Constraints: 41636
3491.52/3500.50 c #Conflicts: 1952000 | #Constraints: 42636
3491.52/3500.50 c #Conflicts: 1953000 | #Constraints: 43636
3491.52/3500.50 c #Conflicts: 1954000 | #Constraints: 44636
3491.52/3500.50 c #Conflicts: 1955000 | #Constraints: 45636
3491.52/3500.50 c #Conflicts: 1956000 | #Constraints: 46636
3491.52/3500.50 c #Conflicts: 1957000 | #Constraints: 47636
3491.52/3500.50 c #Conflicts: 1958000 | #Constraints: 48636
3491.52/3500.50 c #Conflicts: 1959000 | #Constraints: 49636
3491.52/3500.50 c #Conflicts: 1960000 | #Constraints: 50636
3491.52/3500.50 c #Conflicts: 1961000 | #Constraints: 51636
3491.52/3500.50 c #Conflicts: 1962000 | #Constraints: 52636
3491.52/3500.50 c #Conflicts: 1963000 | #Constraints: 53636
3491.52/3500.50 c #Conflicts: 1964000 | #Constraints: 54636
3491.52/3500.50 c #Conflicts: 1965000 | #Constraints: 55636
3491.52/3500.50 c INPROCESSING
3491.52/3500.50 c GARBAGE COLLECT
3491.52/3500.50 c #Conflicts: 1966000 | #Constraints: 28839
3491.52/3500.50 c #Conflicts: 1967000 | #Constraints: 29839
3491.52/3500.50 c #Conflicts: 1968000 | #Constraints: 30839
3491.52/3500.50 c #Conflicts: 1969000 | #Constraints: 31839
3491.52/3500.50 c #Conflicts: 1970000 | #Constraints: 32839
3491.52/3500.50 c #Conflicts: 1971000 | #Constraints: 33839
3491.52/3500.50 c #Conflicts: 1972000 | #Constraints: 34839
3491.52/3500.50 c #Conflicts: 1973000 | #Constraints: 35839
3491.52/3500.50 c #Conflicts: 1974000 | #Constraints: 36839
3491.52/3500.50 c #Conflicts: 1975000 | #Constraints: 37839
3491.52/3500.50 c #Conflicts: 1976000 | #Constraints: 38839
3491.52/3500.50 c #Conflicts: 1977000 | #Constraints: 39839
3491.52/3500.50 c #Conflicts: 1978000 | #Constraints: 40839
3491.52/3500.50 c #Conflicts: 1979000 | #Constraints: 41839
3491.52/3500.50 c #Conflicts: 1980000 | #Constraints: 42839
3491.52/3500.50 c #Conflicts: 1981000 | #Constraints: 43839
3491.52/3500.50 c #Conflicts: 1982000 | #Constraints: 44839
3491.52/3500.50 c #Conflicts: 1983000 | #Constraints: 45839
3491.52/3500.50 c #Conflicts: 1984000 | #Constraints: 46839
3491.52/3500.50 c #Conflicts: 1985000 | #Constraints: 47839
3491.52/3500.50 c #Conflicts: 1986000 | #Constraints: 48839
3491.52/3500.50 c #Conflicts: 1987000 | #Constraints: 49839
3491.52/3500.50 c #Conflicts: 1988000 | #Constraints: 50839
3491.52/3500.50 c #Conflicts: 1989000 | #Constraints: 51839
3491.52/3500.50 c #Conflicts: 1990000 | #Constraints: 52839
3491.52/3500.50 c #Conflicts: 1991000 | #Constraints: 53839
3491.52/3500.50 c #Conflicts: 1992000 | #Constraints: 54839
3491.52/3500.50 c #Conflicts: 1993000 | #Constraints: 55839
3491.52/3500.50 c INPROCESSING
3491.52/3500.50 c GARBAGE COLLECT
3491.52/3500.50 c #Conflicts: 1994000 | #Constraints: 28836
3491.52/3500.50 c #Conflicts: 1995000 | #Constraints: 29836
3491.52/3500.50 c #Conflicts: 1996000 | #Constraints: 30836
3491.52/3500.50 c #Conflicts: 1997000 | #Constraints: 31836
3491.52/3500.50 c #Conflicts: 1998000 | #Constraints: 32836
3491.52/3500.50 c #Conflicts: 1999000 | #Constraints: 33836
3491.52/3500.50 c #Conflicts: 2000000 | #Constraints: 34836
3491.52/3500.50 c #Conflicts: 2001000 | #Constraints: 35836
3491.52/3500.50 c #Conflicts: 2002000 | #Constraints: 36836
3491.52/3500.50 c #Conflicts: 2003000 | #Constraints: 37836
3491.52/3500.50 c #Conflicts: 2004000 | #Constraints: 38836
3491.52/3500.50 c #Conflicts: 2005000 | #Constraints: 39836
3600.05/3609.30 c #Conflicts: 2006000 | #Constraints: 40836
3600.05/3609.30 c #Conflicts: 2007000 | #Constraints: 41836
3600.05/3609.30 c #Conflicts: 2008000 | #Constraints: 42836
3600.05/3609.30 c #Conflicts: 2009000 | #Constraints: 43836
3600.05/3609.30 c #Conflicts: 2010000 | #Constraints: 44836
3600.05/3609.30 c #Conflicts: 2011000 | #Constraints: 45836
3600.05/3609.30 c #Conflicts: 2012000 | #Constraints: 46836
3600.05/3609.30 c #Conflicts: 2013000 | #Constraints: 47836
3600.05/3609.30 c #Conflicts: 2014000 | #Constraints: 48836
3600.05/3609.30 c #Conflicts: 2015000 | #Constraints: 49836
3600.05/3609.30 c #Conflicts: 2016000 | #Constraints: 50836
3600.05/3609.30 c #Conflicts: 2017000 | #Constraints: 51836
3600.05/3609.30 c #Conflicts: 2018000 | #Constraints: 52836
3600.05/3609.30 c #Conflicts: 2019000 | #Constraints: 53836
3600.05/3609.30 c #Conflicts: 2020000 | #Constraints: 54836
3600.05/3609.30 c #Conflicts: 2021000 | #Constraints: 55836
3600.05/3609.30 c INPROCESSING
3600.05/3609.30 c GARBAGE COLLECT
3600.05/3609.30 c #Conflicts: 2022000 | #Constraints: 28636
3600.05/3609.30 c #Conflicts: 2023000 | #Constraints: 29636
3600.05/3609.30 c #Conflicts: 2024000 | #Constraints: 30636
3600.05/3609.30 c #Conflicts: 2025000 | #Constraints: 31636
3600.05/3609.30 c #Conflicts: 2026000 | #Constraints: 32636
3600.05/3609.30 c #Conflicts: 2027000 | #Constraints: 33636
3600.05/3609.30 c #Conflicts: 2028000 | #Constraints: 34636
3600.05/3609.30 c #Conflicts: 2029000 | #Constraints: 35636
3600.05/3609.30 c #Conflicts: 2030000 | #Constraints: 36636
3600.05/3609.30 c #Conflicts: 2031000 | #Constraints: 37636
3600.05/3609.30 c #Conflicts: 2032000 | #Constraints: 38636
3600.05/3609.30 c #Conflicts: 2033000 | #Constraints: 39636
3600.05/3609.30 c #Conflicts: 2034000 | #Constraints: 40636
3600.05/3609.30 c #Conflicts: 2035000 | #Constraints: 41636
3600.05/3609.30 c #Conflicts: 2036000 | #Constraints: 42636
3600.05/3609.30 c #Conflicts: 2037000 | #Constraints: 43636
3600.05/3609.30 c #Conflicts: 2038000 | #Constraints: 44636
3600.05/3609.30 c #Conflicts: 2039000 | #Constraints: 45636
3600.05/3609.30 c #Conflicts: 2040000 | #Constraints: 46636
3600.05/3609.30 c #Conflicts: 2041000 | #Constraints: 47636
3600.05/3609.30 c #Conflicts: 2042000 | #Constraints: 48636
3600.05/3609.30 c #Conflicts: 2043000 | #Constraints: 49636
3600.05/3609.30 c #Conflicts: 2044000 | #Constraints: 50636
3600.05/3609.30 c #Conflicts: 2045000 | #Constraints: 51636
3600.05/3609.30 c #Conflicts: 2046000 | #Constraints: 52636
3600.05/3609.30 c #Conflicts: 2047000 | #Constraints: 53636
3600.05/3609.30 c #Conflicts: 2048000 | #Constraints: 54636
3600.05/3609.30 c #Conflicts: 2049000 | #Constraints: 55636
3600.05/3609.30 c Program interrupted by user.
3600.05/3609.30 c cpu time 3588.63 s
3600.05/3609.30 c deterministic time 568010661739 5.68e+11
3600.05/3609.30 c optimization time 66.7143 s
3600.05/3609.30 c total solve time 3222.41 s
3600.05/3609.30 c core-guided solve time 3222.41 s
3600.05/3609.30 c propagation time 3150.69 s
3600.05/3609.30 c conflict analysis time 121.118 s
3600.05/3609.30 c propagations 26296741
3600.05/3609.30 c resolve steps 9638620
3600.05/3609.30 c decisions 4403877
3600.05/3609.30 c conflicts 2049501
3600.05/3609.30 c restarts 4081
3600.05/3609.30 c inprocessing phases 133
3600.05/3609.30 c input clauses 0
3600.05/3609.30 c input cardinalities 0
3600.05/3609.30 c input general constraints 21
3600.05/3609.30 c input average constraint length 92.38
3600.05/3609.30 c input average constraint degree 2062.24
3600.05/3609.30 c learned clauses 991023
3600.05/3609.30 c learned cardinalities 0
3600.05/3609.30 c learned general constraints 1058477
3600.05/3609.30 c learned average constraint length 89.92
3600.05/3609.30 c learned average constraint degree 146488.05
3600.05/3609.30 c watched constraints 1057883
3600.05/3609.30 c counting constraints 615
3600.05/3609.30 c gcd simplifications 863715
3600.05/3609.30 c detected cardinalities 0
3600.05/3609.30 c weakened non-implied lits 37324584
3600.05/3609.30 c weakened non-implying lits 2664525
3600.05/3609.30 c original variables 198
3600.05/3609.30 c clausal propagations 476005
3600.05/3609.30 c cardinality propagations 0
3600.05/3609.30 c watched propagations 21252866
3600.05/3609.30 c counting propagations 3107505
3600.05/3609.30 c watch lookups 26840046369
3600.05/3609.30 c watch backjump lookups 7939845085
3600.05/3609.30 c watch checks 493525270938
3600.05/3609.30 c propagation checks 38543530217
3600.05/3609.30 c constraint additions 1098518562
3600.05/3609.30 c trail pops 32749949
3600.05/3609.30 c formula constraints 16
3600.05/3609.30 c learned constraints 2049500
3600.05/3609.30 c bound constraints 5
3600.05/3609.30 c core-guided constraints 0
3600.05/3609.30 c encountered formula constraints 3001426
3600.05/3609.30 c encountered learned constraints 8686043
3600.05/3609.30 c encountered bound constraints 652
3600.05/3609.30 c encountered core-guided constraints 0
3600.05/3609.30 c LP total time 0 s
3600.05/3609.30 c LP solve time 0 s
3600.05/3609.30 c LP constraints added 0
3600.05/3609.30 c LP constraints removed 0
3600.05/3609.30 c LP pivots internal 0
3600.05/3609.30 c LP pivots root 0
3600.05/3609.30 c LP calls 0
3600.05/3609.30 c LP optimalities 0
3600.05/3609.30 c LP no pivot count 0
3600.05/3609.30 c LP infeasibilities 0
3600.05/3609.30 c LP valid Farkas constraints 0
3600.05/3609.30 c LP learned Farkas constraints 0
3600.05/3609.30 c LP basis resets 0
3600.05/3609.30 c LP cycling count 0
3600.05/3609.30 c LP singular count 0
3600.05/3609.30 c LP no primal count 0
3600.05/3609.30 c LP no farkas count 0
3600.05/3609.30 c LP other issue count 0
3600.05/3609.30 c LP Gomory cuts 0
3600.05/3609.30 c LP learned cuts 0
3600.05/3609.30 c LP deleted cuts 0
3600.05/3609.30 c LP encountered Gomory constraints 0
3600.05/3609.30 c LP encountered Farkas constraints 0
3600.05/3609.30 c LP encountered learned Farkas constraints 0
3600.05/3609.30 c CG auxiliary variables introduced 0
3600.05/3609.30 c CG solutions found 4
3600.05/3609.30 c CG cores constructed 0
3600.05/3609.30 c CG core cardinality constraints returned 0
3600.05/3609.30 c CG unit cores 0
3600.05/3609.30 c CG single cores 0
3600.05/3609.30 c CG blocks removed during cardinality reduction 0
3600.05/3609.30 c CG first core best 0
3600.05/3609.30 c CG decision core best 0
3600.05/3609.30 c CG core reduction tie 0
3600.05/3609.30 c CG core degree average 0.00
3600.05/3609.30 c CG core slack average 0.00
3600.05/3609.30 c CG exhausted 0
3600.05/3609.30 c CG exhaust time 0 s
3600.05/3609.30 c CG trimmed 0
3600.05/3609.30 c CG trim time 0 s
3600.05/3609.30 c CG minimized 0
3600.05/3609.30 c CG minimize time 0 s
3600.05/3609.30 c CG am1 prop time 0.000156 s
3600.05/3609.30 c CG # am1s reformulated 0
3600.05/3609.30 c CG lower bound derived from am1s 0
3600.05/3609.30 c CG # clausal cores 0
3600.05/3609.30 c CG # cardinality cores 0
3600.05/3609.30 c CG # pb cores 0
3600.05/3609.30 c CG # pb reforms 0
3600.05/3609.30 c CG # cores discarded because of pb reform 0
3600.05/3609.30 d LOWERBOUND 0
3600.05/3609.30 d NCORES 0
3600.05/3609.30 d NPBCORES 0
3600.05/3609.30 d NPBREFORM 0
3600.05/3609.30 d NTRIMMED 0
3600.05/3609.30 d NEXHAUSTED 0
3600.05/3609.30 d NAM1S 0
3600.05/3609.30 d AM1LB 0
3600.05/3609.30 c [Papilo Statistics]
3600.05/3609.30 c prepro time 0.000464418s
3600.05/3609.30 c # tsx applied 8
3600.05/3609.30 c # tsx conflicts 0
3600.05/3609.30 c # bound changes 0
3600.05/3609.30 c # side changes 8
3600.05/3609.30 c # coef changes 0
3600.05/3609.30 c # rounds 2
3600.05/3609.30 c # deted vars 0
3600.05/3609.30 c # deted constrs 8
3600.05/3609.30 c # consecutive rounds of only bound changes 0
3600.05/3609.30 c [STEP] postprocessing with Papilo
3600.05/3609.30 o 53
3600.05/3609.30 s SATISFIABLE
3600.05/3609.30 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 (57689 MiB free)
memory of node 1: 64473 MiB (59188 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454762-1721470397/watcher-4454762-1721470397 -o /tmp/evaluation-result-4454762-1721470397/solver-4454762-1721470397 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721470098-1062224 --watchdog 3760 mixed-bag HOME/instance-4454762-1721470397.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1062390, runsolver pid=1062387
[startup+0.10009 s]*
/proc/loadavg: 4.07 3.08 2.51 5/257 1062391
/proc/meminfo: memFree=119666660/131524600 swapFree=131071996/131071996
[pid=1062390] ppid=1062387 vsize=97880 memory=30144 CPUtime=0.09 cores=5,7
/proc/1062390/stat : 1062390 (mixed-bag) R 1062387 1062390 1062211 0 -1 4194304 3915 0 0 0 9 0 0 0 20 0 1 0 199210579 100229120 7536 134679101440 4194304 16488053 140727224808800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24891392 140727224816661 140727224816738 140727224816738 140727224823755 0
/proc/1062390/statm: 24470 7536 4043 3002 0 8219 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 97880 KiB
Current children cumulated memory: 30144 KiB
[startup+0.205641 s]*
/proc/loadavg: 4.07 3.08 2.51 5/257 1062391
/proc/meminfo: memFree=119653052/131524600 swapFree=131071996/131071996
[pid=1062390] ppid=1062387 vsize=112436 memory=44292 CPUtime=0.2 cores=5,7
/proc/1062390/stat : 1062390 (mixed-bag) R 1062387 1062390 1062211 0 -1 4194304 7422 0 0 0 19 1 0 0 20 0 1 0 199210579 115134464 11073 134679101440 4194304 16488053 140727224808800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24891392 140727224816661 140727224816738 140727224816738 140727224823755 0
/proc/1062390/statm: 28109 11073 4043 3002 0 11858 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 112436 KiB
Current children cumulated memory: 44292 KiB
[startup+0.305627 s]*
/proc/loadavg: 4.07 3.08 2.51 5/257 1062391
/proc/meminfo: memFree=119652056/131524600 swapFree=131071996/131071996
[pid=1062390] ppid=1062387 vsize=109056 memory=41620 CPUtime=0.3 cores=5,7
/proc/1062390/stat : 1062390 (mixed-bag) R 1062387 1062390 1062211 0 -1 4194304 7498 0 0 0 29 1 0 0 20 0 1 0 199210579 111673344 10405 134679101440 4194304 16488053 140727224808800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24891392 140727224816661 140727224816738 140727224816738 140727224823755 0
/proc/1062390/statm: 27264 10405 4043 3002 0 11013 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 109056 KiB
Current children cumulated memory: 41620 KiB
[startup+0.700208 s]
/proc/loadavg: 4.07 3.08 2.51 5/257 1062391
/proc/meminfo: memFree=119649488/131524600 swapFree=131071996/131071996
[pid=1062390] ppid=1062387 vsize=109740 memory=42672 CPUtime=0.68 cores=5,7
/proc/1062390/stat : 1062390 (mixed-bag) R 1062387 1062390 1062211 0 -1 4194304 7773 0 0 0 67 1 0 0 20 0 1 0 199210579 112373760 10668 134679101440 4194304 16488053 140727224808800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24891392 140727224816661 140727224816738 140727224816738 140727224823755 0
/proc/1062390/statm: 27435 10668 4043 3002 0 11184 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 109740 KiB
Current children cumulated memory: 42672 KiB
[startup+1.50021 s]
/proc/loadavg: 4.07 3.08 2.51 5/257 1062391
/proc/meminfo: memFree=119638264/131524600 swapFree=131071996/131071996
[pid=1062390] ppid=1062387 vsize=116596 memory=49008 CPUtime=1.48 cores=5,7
/proc/1062390/stat : 1062390 (mixed-bag) R 1062387 1062390 1062211 0 -1 4194304 9351 0 0 0 147 1 0 0 20 0 1 0 199210579 119394304 12252 134679101440 4194304 16488053 140727224808800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24891392 140727224816661 140727224816738 140727224816738 140727224823755 0
/proc/1062390/statm: 29149 12252 4043 3002 0 12898 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 116596 KiB
Current children cumulated memory: 49008 KiB
[startup+3.10555 s]
/proc/loadavg: 4.07 3.10 2.51 5/257 1062393
/proc/meminfo: memFree=119597868/131524600 swapFree=131071996/131071996
[pid=1062390] ppid=1062387 vsize=129236 memory=58628 CPUtime=3.08 cores=5,7
/proc/1062390/stat : 1062390 (mixed-bag) R 1062387 1062390 1062211 0 -1 4194304 11950 0 0 0 306 2 0 0 20 0 1 0 199210579 132337664 14657 134679101440 4194304 16488053 140727224808800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24891392 140727224816661 140727224816738 140727224816738 140727224823755 0
/proc/1062390/statm: 32309 14657 4043 3002 0 16058 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 129236 KiB
Current children cumulated memory: 58628 KiB
[startup+6.3002 s]
/proc/loadavg: 4.07 3.10 2.51 5/257 1062393
/proc/meminfo: memFree=119559852/131524600 swapFree=131071996/131071996
[pid=1062390] ppid=1062387 vsize=143088 memory=73616 CPUtime=6.26 cores=5,7
/proc/1062390/stat : 1062390 (mixed-bag) R 1062387 1062390 1062211 0 -1 4194304 15570 0 0 0 624 2 0 0 20 0 1 0 199210579 146522112 18404 134679101440 4194304 16488053 140727224808800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24891392 140727224816661 140727224816738 140727224816738 140727224823755 0
/proc/1062390/statm: 35772 18404 4169 3002 0 19521 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 143088 KiB
Current children cumulated memory: 73616 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 3.13 2.53 5/257 1062395
/proc/meminfo: memFree=119507068/131524600 swapFree=131071996/131071996
[pid=1062390] ppid=1062387 vsize=156476 memory=87340 CPUtime=12.65 cores=5,7
/proc/1062390/stat : 1062390 (mixed-bag) R 1062387 1062390 1062211 0 -1 4194304 19343 0 0 0 1262 3 0 0 20 0 1 0 199210579 160231424 21835 134679101440 4194304 16488053 140727224808800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24891392 140727224816661 140727224816738 140727224816738 140727224823755 0
/proc/1062390/statm: 39119 21835 4169 3002 0 22868 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 156476 KiB
Current children cumulated memory: 87340 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 3.17 2.55 5/257 1062396
/proc/meminfo: memFree=119415956/131524600 swapFree=131071996/131071996
[pid=1062390] ppid=1062387 vsize=186060 memory=114784 CPUtime=25.41 cores=5,7
/proc/1062390/stat : 1062390 (mixed-bag) R 1062387 1062390 1062211 0 -1 4194304 28712 0 0 0 2536 5 0 0 20 0 1 0 199210579 190525440 28696 134679101440 4194304 16488053 140727224808800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24891392 140727224816661 140727224816738 140727224816738 140727224823755 0
/proc/1062390/statm: 46515 28696 4169 3002 0 30264 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 186060 KiB
Current children cumulated memory: 114784 KiB
[startup+51.1055 s]
/proc/loadavg: 4.07 3.24 2.59 5/257 1062400
/proc/meminfo: memFree=119239992/131524600 swapFree=131071996/131071996
[pid=1062390] ppid=1062387 vsize=263008 memory=188920 CPUtime=50.93 cores=5,7
/proc/1062390/stat : 1062390 (mixed-bag) R 1062387 1062390 1062211 0 -1 4194304 47994 0 0 0 5083 10 0 0 20 0 1 0 199210579 269320192 47230 134679101440 4194304 16488053 140727224808800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24891392 140727224816661 140727224816738 140727224816738 140727224823755 0
/proc/1062390/statm: 65752 47230 4169 3002 0 49501 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 263008 KiB
Current children cumulated memory: 188920 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 3.39 2.68 5/257 1062410
/proc/meminfo: memFree=119027164/131524600 swapFree=131071996/131071996
[pid=1062390] ppid=1062387 vsize=364648 memory=289328 CPUtime=101.96 cores=5,7
/proc/1062390/stat : 1062390 (mixed-bag) R 1062387 1062390 1062211 0 -1 4194304 74577 0 0 0 10179 17 0 0 20 0 1 0 199210579 373399552 72332 134679101440 4194304 16488053 140727224808800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24891392 140727224816661 140727224816738 140727224816738 140727224823755 0
/proc/1062390/statm: 91162 72332 4169 3002 0 74911 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 364648 KiB
Current children cumulated memory: 289328 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 3.52 2.77 5/255 1062420
/proc/meminfo: memFree=118856004/131524600 swapFree=131071996/131071996
[pid=1062390] ppid=1062387 vsize=464044 memory=385052 CPUtime=161.78 cores=5,7
/proc/1062390/stat : 1062390 (mixed-bag) R 1062387 1062390 1062211 0 -1 4194304 98505 0 0 0 16154 24 0 0 20 0 1 0 199210579 475181056 96263 134679101440 4194304 16488053 140727224808800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24891392 140727224816661 140727224816738 140727224816738 140727224823755 0
/proc/1062390/statm: 116011 96263 4169 3002 0 99760 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 464044 KiB
Current children cumulated memory: 385052 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 3.61 2.85 5/255 1062431
/proc/meminfo: memFree=118684252/131524600 swapFree=131071996/131071996
[pid=1062390] ppid=1062387 vsize=569824 memory=486904 CPUtime=221.58 cores=5,7
/proc/1062390/stat : 1062390 (mixed-bag) R 1062387 1062390 1062211 0 -1 4194304 125594 0 0 0 22129 29 0 0 20 0 1 0 199210579 583499776 121726 134679101440 4194304 16488053 140727224808800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24891392 140727224816661 140727224816738 140727224816738 140727224823755 0
/proc/1062390/statm: 142456 121726 4169 3002 0 126205 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 569824 KiB
Current children cumulated memory: 486904 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.71 2.93 5/255 1062442
/proc/meminfo: memFree=118474452/131524600 swapFree=131071996/131071996
[pid=1062390] ppid=1062387 vsize=674384 memory=587980 CPUtime=281.41 cores=5,7
/proc/1062390/stat : 1062390 (mixed-bag) R 1062387 1062390 1062211 0 -1 4194304 150370 0 0 0 28106 35 0 0 20 0 1 0 199210579 690569216 146995 134679101440 4194304 16488053 140727224808800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24891392 140727224816661 140727224816738 140727224816738 140727224823755 0
/proc/1062390/statm: 168596 146995 4169 3002 0 152345 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 674384 KiB
Current children cumulated memory: 587980 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.78 3.01 5/256 1062456
/proc/meminfo: memFree=118682076/131524600 swapFree=131071996/131071996
[pid=1062390] ppid=1062387 vsize=434312 memory=365512 CPUtime=341.26 cores=5,7
/proc/1062390/stat : 1062390 (mixed-bag) R 1062387 1062390 1062211 0 -1 4194304 158288 0 0 0 34038 88 0 0 20 0 1 0 199210579 444735488 91378 134679101440 4194304 16488053 140727224808800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24891392 140727224816661 140727224816738 140727224816738 140727224823755 0
/proc/1062390/statm: 108578 91378 4312 3002 0 92327 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 434312 KiB
Current children cumulated memory: 365512 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.84 3.08 5/257 1062469
/proc/meminfo: memFree=118625476/131524600 swapFree=131071996/131071996
[pid=1062390] ppid=1062387 vsize=434312 memory=368604 CPUtime=401.12 cores=5,7
/proc/1062390/stat : 1062390 (mixed-bag) R 1062387 1062390 1062211 0 -1 4194304 158552 0 0 0 39980 132 0 0 20 0 1 0 199210579 444735488 92151 134679101440 4194304 16488053 140727224808800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24891392 140727224816661 140727224816738 140727224816738 140727224823755 0
/proc/1062390/statm: 108578 92151 4312 3002 0 92327 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 434312 KiB
Current children cumulated memory: 368604 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.89 3.15 5/257 1062480
/proc/meminfo: memFree=118578636/131524600 swapFree=131071996/131071996
[pid=1062390] ppid=1062387 vsize=441492 memory=369940 CPUtime=460.97 cores=5,7
/proc/1062390/stat : 1062390 (mixed-bag) R 1062387 1062390 1062211 0 -1 4194304 158866 0 0 0 45926 171 0 0 20 0 1 0 199210579 452087808 92485 134679101440 4194304 16488053 140727224808800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24891392 140727224816661 140727224816738 140727224816738 140727224823755 0
/proc/1062390/statm: 110373 92485 4312 3002 0 94122 0
################
# More data... #
################
Current children cumulated memory: 388384 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.14 4.08 5/259 1064107
/proc/meminfo: memFree=115386444/131524600 swapFree=131071996/131071996
[pid=1062390] ppid=1062387 vsize=472136 memory=388384 CPUtime=2914.78 cores=5,7
/proc/1062390/stat : 1062390 (mixed-bag) R 1062387 1062390 1062211 0 -1 4194304 160239 0 0 0 290500 978 0 0 20 0 1 0 199210579 483467264 97096 134679101440 4194304 16488053 140727224808800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24891392 140727224816661 140727224816738 140727224816738 140727224823755 0
/proc/1062390/statm: 118034 97096 4312 3002 0 101783 0
Current children cumulated CPU time: 2914.78 s
Current children cumulated vsize: 472136 KiB
Current children cumulated memory: 388384 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.13 4.08 5/259 1064118
/proc/meminfo: memFree=115385552/131524600 swapFree=131071996/131071996
[pid=1062390] ppid=1062387 vsize=472136 memory=388384 CPUtime=2974.62 cores=5,7
/proc/1062390/stat : 1062390 (mixed-bag) R 1062387 1062390 1062211 0 -1 4194304 160277 0 0 0 296469 993 0 0 20 0 1 0 199210579 483467264 97096 134679101440 4194304 16488053 140727224808800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24891392 140727224816661 140727224816738 140727224816738 140727224823755 0
/proc/1062390/statm: 118034 97096 4312 3002 0 101783 0
Current children cumulated CPU time: 2974.62 s
Current children cumulated vsize: 472136 KiB
Current children cumulated memory: 388384 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/257 1064131
/proc/meminfo: memFree=115345840/131524600 swapFree=131071996/131071996
[pid=1062390] ppid=1062387 vsize=472136 memory=388648 CPUtime=3034.47 cores=5,7
/proc/1062390/stat : 1062390 (mixed-bag) R 1062387 1062390 1062211 0 -1 4194304 160330 0 0 0 302440 1007 0 0 20 0 1 0 199210579 483467264 97162 134679101440 4194304 16488053 140727224808800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24891392 140727224816661 140727224816738 140727224816738 140727224823755 0
/proc/1062390/statm: 118034 97162 4312 3002 0 101783 0
Current children cumulated CPU time: 3034.47 s
Current children cumulated vsize: 472136 KiB
Current children cumulated memory: 388648 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/257 1064141
/proc/meminfo: memFree=115322128/131524600 swapFree=131071996/131071996
[pid=1062390] ppid=1062387 vsize=472136 memory=388648 CPUtime=3094.32 cores=5,7
/proc/1062390/stat : 1062390 (mixed-bag) R 1062387 1062390 1062211 0 -1 4194304 160330 0 0 0 308410 1022 0 0 20 0 1 0 199210579 483467264 97162 134679101440 4194304 16488053 140727224808800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24891392 140727224816661 140727224816738 140727224816738 140727224823755 0
/proc/1062390/statm: 118034 97162 4312 3002 0 101783 0
Current children cumulated CPU time: 3094.32 s
Current children cumulated vsize: 472136 KiB
Current children cumulated memory: 388648 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/254 1064151
/proc/meminfo: memFree=115320632/131524600 swapFree=131071996/131071996
[pid=1062390] ppid=1062387 vsize=472136 memory=390696 CPUtime=3154.17 cores=5,7
/proc/1062390/stat : 1062390 (mixed-bag) R 1062387 1062390 1062211 0 -1 4194304 160332 0 0 0 314382 1035 0 0 20 0 1 0 199210579 483467264 97674 134679101440 4194304 16488053 140727224808800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24891392 140727224816661 140727224816738 140727224816738 140727224823755 0
/proc/1062390/statm: 118034 97674 4312 3002 0 101783 0
Current children cumulated CPU time: 3154.17 s
Current children cumulated vsize: 472136 KiB
Current children cumulated memory: 390696 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/254 1064161
/proc/meminfo: memFree=115288932/131524600 swapFree=131071996/131071996
[pid=1062390] ppid=1062387 vsize=472136 memory=390696 CPUtime=3214.02 cores=5,7
/proc/1062390/stat : 1062390 (mixed-bag) R 1062387 1062390 1062211 0 -1 4194304 160332 0 0 0 320352 1050 0 0 20 0 1 0 199210579 483467264 97674 134679101440 4194304 16488053 140727224808800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24891392 140727224816661 140727224816738 140727224816738 140727224823755 0
/proc/1062390/statm: 118034 97674 4312 3002 0 101783 0
Current children cumulated CPU time: 3214.02 s
Current children cumulated vsize: 472136 KiB
Current children cumulated memory: 390696 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/254 1064173
/proc/meminfo: memFree=115288364/131524600 swapFree=131071996/131071996
[pid=1062390] ppid=1062387 vsize=472136 memory=390696 CPUtime=3273.86 cores=5,7
/proc/1062390/stat : 1062390 (mixed-bag) R 1062387 1062390 1062211 0 -1 4194304 160333 0 0 0 326321 1065 0 0 20 0 1 0 199210579 483467264 97674 134679101440 4194304 16488053 140727224808800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24891392 140727224816661 140727224816738 140727224816738 140727224823755 0
/proc/1062390/statm: 118034 97674 4312 3002 0 101783 0
Current children cumulated CPU time: 3273.86 s
Current children cumulated vsize: 472136 KiB
Current children cumulated memory: 390696 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/254 1064320
/proc/meminfo: memFree=124945312/131524600 swapFree=131071996/131071996
[pid=1062390] ppid=1062387 vsize=472136 memory=391184 CPUtime=3333.71 cores=5,7
/proc/1062390/stat : 1062390 (mixed-bag) R 1062387 1062390 1062211 0 -1 4194304 160343 0 0 0 332291 1080 0 0 20 0 1 0 199210579 483467264 97796 134679101440 4194304 16488053 140727224808800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24891392 140727224816661 140727224816738 140727224816738 140727224823755 0
/proc/1062390/statm: 118034 97796 4312 3002 0 101783 0
Current children cumulated CPU time: 3333.71 s
Current children cumulated vsize: 472136 KiB
Current children cumulated memory: 391184 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 1064334
/proc/meminfo: memFree=124877232/131524600 swapFree=131071996/131071996
[pid=1062390] ppid=1062387 vsize=472136 memory=392016 CPUtime=3393.56 cores=5,7
/proc/1062390/stat : 1062390 (mixed-bag) R 1062387 1062390 1062211 0 -1 4194304 160362 0 0 0 338265 1091 0 0 20 0 1 0 199210579 483467264 98004 134679101440 4194304 16488053 140727224808800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24891392 140727224816661 140727224816738 140727224816738 140727224823755 0
/proc/1062390/statm: 118034 98004 4312 3002 0 101783 0
Current children cumulated CPU time: 3393.56 s
Current children cumulated vsize: 472136 KiB
Current children cumulated memory: 392016 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/256 1064345
/proc/meminfo: memFree=124834468/131524600 swapFree=131071996/131071996
[pid=1062390] ppid=1062387 vsize=472136 memory=394676 CPUtime=3453.41 cores=5,7
/proc/1062390/stat : 1062390 (mixed-bag) R 1062387 1062390 1062211 0 -1 4194304 160389 0 0 0 344234 1107 0 0 20 0 1 0 199210579 483467264 98669 134679101440 4194304 16488053 140727224808800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24891392 140727224816661 140727224816738 140727224816738 140727224823755 0
/proc/1062390/statm: 118034 98669 4312 3002 0 101783 0
Current children cumulated CPU time: 3453.41 s
Current children cumulated vsize: 472136 KiB
Current children cumulated memory: 394676 KiB
[startup+3522.3 s]
/proc/loadavg: 4.35 4.17 4.11 5/256 1064355
/proc/meminfo: memFree=124812760/131524600 swapFree=131071996/131071996
[pid=1062390] ppid=1062387 vsize=472136 memory=396736 CPUtime=3513.25 cores=5,7
/proc/1062390/stat : 1062390 (mixed-bag) R 1062387 1062390 1062211 0 -1 4194304 160455 0 0 0 350201 1124 0 0 20 0 1 0 199210579 483467264 99184 134679101440 4194304 16488053 140727224808800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24891392 140727224816661 140727224816738 140727224816738 140727224823755 0
/proc/1062390/statm: 118034 99184 4312 3002 0 101783 0
Current children cumulated CPU time: 3513.25 s
Current children cumulated vsize: 472136 KiB
Current children cumulated memory: 396736 KiB
[startup+3582.3 s]
/proc/loadavg: 4.31 4.20 4.12 5/256 1064366
/proc/meminfo: memFree=124793700/131524600 swapFree=131071996/131071996
[pid=1062390] ppid=1062387 vsize=472136 memory=400816 CPUtime=3573.11 cores=5,7
/proc/1062390/stat : 1062390 (mixed-bag) R 1062387 1062390 1062211 0 -1 4194304 160524 0 0 0 356175 1136 0 0 20 0 1 0 199210579 483467264 100204 134679101440 4194304 16488053 140727224808800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24891392 140727224816661 140727224816738 140727224816738 140727224823755 0
/proc/1062390/statm: 118034 100204 4312 3002 0 101783 0
Current children cumulated CPU time: 3573.11 s
Current children cumulated vsize: 472136 KiB
Current children cumulated memory: 400816 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.24 4.19 4.12 5/256 1064371
/proc/meminfo: memFree=124703608/131524600 swapFree=131071996/131071996
[pid=1062390] ppid=1062387 vsize=472136 memory=400816 CPUtime=3600.05 cores=5,7
/proc/1062390/stat : 1062390 (mixed-bag) R 1062387 1062390 1062211 0 -1 4194304 160527 0 0 0 358863 1142 0 0 20 0 1 0 199210579 483467264 100204 134679101440 4194304 16488053 140727224808800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24891392 140727224816661 140727224816738 140727224816738 140727224823755 0
/proc/1062390/statm: 118034 100204 4312 3002 0 101783 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 472136 KiB
Current children cumulated memory: 400816 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.3 s]
# the end of solver process 1062390 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.64 s, system=11.4261 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.24 4.19 4.12 5/256 1064371
/proc/meminfo: memFree=124703608/131524600 swapFree=131071996/131071996
[pid=1062390] ppid=1062387 vsize=472136 memory=400816 CPUtime=3600.05 cores=5,7
/proc/1062390/stat : 1062390 (mixed-bag) R 1062387 1062390 1062211 0 -1 4194304 160527 0 0 0 358863 1142 0 0 20 0 1 0 199210579 483467264 100204 134679101440 4194304 16488053 140727224808800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 24891392 140727224816661 140727224816738 140727224816738 140727224823755 0
/proc/1062390/statm: 118034 100204 4312 3002 0 101783 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 472136 KiB
Current children cumulated memory: 400816 KiB
Child status: 0
Real time (s): 3609.3
CPU time (s): 3600.06
CPU user time (s): 3588.64
CPU system time (s): 11.4261
CPU usage (%): 99.744
Max. virtual memory (cumulated for all children) (KiB): 701020
Max. memory (cumulated for all children) (KiB): 615696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.64
system time used= 11.4261
maximum resident set size= 615696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160553
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= 50
involuntary context switches= 1577
# summary of solver processes directly reported to runsolver:
# pid: 1062390
# total CPU time (s): 3600.06
# total CPU user time (s): 3588.64
# total CPU system time (s): 11.4261
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.94444 second user time and 16.2956 second system time
The end
Begin job on nodeC035 at 2024-07-20 12:13:30
IDJOB=4454762
IDBENCH=147578
IDSOLVER=3083
FILE ID=nodeC035/4454762-1721470397
RUNJOBID= nodeC035-1721470098-1062224
SLURM_JOB_ID= 7545732
Free space on /tmp= 889972 MiB
SOLVER NAME= mixed-bag 2024-07-19
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-4454762-1721470397/watcher-4454762-1721470397 -o /tmp/evaluation-result-4454762-1721470397/solver-4454762-1721470397 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721470098-1062224 --watchdog 3760 mixed-bag HOME/instance-4454762-1721470397.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b4b357048b7fd6a2befaa81502734110
RANDOM SEED=171405281
nodeC035.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 : 3667.947
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.65
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 : 3670.611
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.79
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.938
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.65
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 : 3646.744
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.79
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 : 3668.016
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.65
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 : 3668.544
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.952
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.65
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 : 3662.168
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 119683336 kB
MemAvailable: 123519952 kB
Buffers: 576032 kB
Cached: 4064164 kB
SwapCached: 0 kB
Active: 1137696 kB
Inactive: 9985496 kB
Active(anon): 1536 kB
Inactive(anon): 6527392 kB
Active(file): 1136160 kB
Inactive(file): 3458104 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16656 kB
Writeback: 0 kB
AnonPages: 6476460 kB
Mapped: 142224 kB
Shmem: 45916 kB
KReclaimable: 164352 kB
Slab: 284708 kB
SReclaimable: 164352 kB
SUnreclaim: 120356 kB
KernelStack: 4176 kB
PageTables: 22316 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 7053768 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 74496 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2144256 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: 209620 kB
DirectMap2M: 19486720 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 890000 MiB
End job on nodeC035 at 2024-07-20 13:13:39