0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.01 c [STEP] preprocessing with Papilo
0.00/0.01 c [STEP] solving with SCIP
300.04/301.04 c [STEP] preprocessing done, loading into solver
300.04/301.04 c [STEP] solving
300.04/301.04 c #variables 199 #constraints 16
300.04/301.04 c SMALL=int, LARGE=long long
300.04/301.04 d SCIPUB 83
300.04/301.04 c bounds - >= 0 @ 299.839
300.04/301.04 c stratification level: 64
300.93/301.95 c #Conflicts: 1000 | #Constraints: 1016
300.93/301.95 c #Conflicts: 2000 | #Constraints: 2016
300.93/301.95 c INPROCESSING
300.93/301.95 c GARBAGE COLLECT
300.93/301.95 c #Conflicts: 3000 | #Constraints: 2023
300.93/301.95 c #Conflicts: 4000 | #Constraints: 3023
300.93/301.95 c INPROCESSING
300.93/301.95 c GARBAGE COLLECT
300.93/301.95 c #Conflicts: 5000 | #Constraints: 2426
300.93/301.95 c #Conflicts: 6000 | #Constraints: 3426
300.93/301.95 c bounds 79 >= 0 @ 300.721
300.93/301.95 c stratification level: 32
300.93/301.95 c bounds 75 >= 0 @ 300.723
300.93/301.95 c stratification level: 16
302.03/303.03 c INPROCESSING
302.03/303.03 c GARBAGE COLLECT
302.03/303.03 c #Conflicts: 7000 | #Constraints: 2429
302.03/303.03 c #Conflicts: 8000 | #Constraints: 3429
302.03/303.03 c #Conflicts: 9000 | #Constraints: 4429
302.03/303.03 c INPROCESSING
302.03/303.03 c GARBAGE COLLECT
302.03/303.03 c #Conflicts: 10000 | #Constraints: 3128
302.03/303.03 c #Conflicts: 11000 | #Constraints: 4128
302.03/303.03 c #Conflicts: 12000 | #Constraints: 5128
302.03/303.03 c INPROCESSING
302.03/303.03 c GARBAGE COLLECT
302.03/303.03 c bounds 73 >= 0 @ 301.786
302.03/303.03 c stratification level: 8
306.61/307.67 c #Conflicts: 13000 | #Constraints: 3581
306.61/307.67 c #Conflicts: 14000 | #Constraints: 4581
306.61/307.67 c #Conflicts: 15000 | #Constraints: 5581
306.61/307.67 c INPROCESSING
306.61/307.67 c GARBAGE COLLECT
306.61/307.67 c #Conflicts: 16000 | #Constraints: 3808
306.61/307.67 c #Conflicts: 17000 | #Constraints: 4808
306.61/307.67 c #Conflicts: 18000 | #Constraints: 5808
306.61/307.67 c INPROCESSING
306.61/307.67 c GARBAGE COLLECT
306.61/307.67 c #Conflicts: 19000 | #Constraints: 3822
306.61/307.67 c #Conflicts: 20000 | #Constraints: 4822
306.61/307.67 c #Conflicts: 21000 | #Constraints: 5822
306.61/307.67 c INPROCESSING
306.61/307.67 c GARBAGE COLLECT
306.61/307.67 c #Conflicts: 22000 | #Constraints: 3629
306.61/307.67 c #Conflicts: 23000 | #Constraints: 4629
306.61/307.67 c #Conflicts: 24000 | #Constraints: 5629
306.61/307.67 c #Conflicts: 25000 | #Constraints: 6629
306.61/307.67 c INPROCESSING
306.61/307.67 c GARBAGE COLLECT
306.61/307.67 c #Conflicts: 26000 | #Constraints: 4227
306.61/307.67 c #Conflicts: 27000 | #Constraints: 5227
306.61/307.67 c #Conflicts: 28000 | #Constraints: 6227
306.61/307.67 c #Conflicts: 29000 | #Constraints: 7227
306.61/307.67 c INPROCESSING
306.61/307.67 c GARBAGE COLLECT
306.61/307.67 c #Conflicts: 30000 | #Constraints: 4627
306.61/307.67 c #Conflicts: 31000 | #Constraints: 5627
306.61/307.67 c #Conflicts: 32000 | #Constraints: 6627
306.61/307.67 c #Conflicts: 33000 | #Constraints: 7627
306.61/307.67 c INPROCESSING
306.61/307.67 c GARBAGE COLLECT
306.61/307.67 c bounds 53 >= 0 @ 306.347
306.61/307.67 c stratification level: 4
333.55/334.69 c #Conflicts: 34000 | #Constraints: 4831
333.55/334.69 c #Conflicts: 35000 | #Constraints: 5831
333.55/334.69 c #Conflicts: 36000 | #Constraints: 6831
333.55/334.69 c #Conflicts: 37000 | #Constraints: 7831
333.55/334.69 c INPROCESSING
333.55/334.69 c GARBAGE COLLECT
333.55/334.69 c #Conflicts: 38000 | #Constraints: 4833
333.55/334.69 c #Conflicts: 39000 | #Constraints: 5833
333.55/334.69 c #Conflicts: 40000 | #Constraints: 6833
333.55/334.69 c #Conflicts: 41000 | #Constraints: 7833
333.55/334.69 c INPROCESSING
333.55/334.69 c GARBAGE COLLECT
333.55/334.69 c #Conflicts: 42000 | #Constraints: 4634
333.55/334.69 c #Conflicts: 43000 | #Constraints: 5634
333.55/334.69 c #Conflicts: 44000 | #Constraints: 6634
333.55/334.69 c #Conflicts: 45000 | #Constraints: 7634
333.55/334.69 c #Conflicts: 46000 | #Constraints: 8634
333.55/334.69 c INPROCESSING
333.55/334.69 c GARBAGE COLLECT
333.55/334.69 c #Conflicts: 47000 | #Constraints: 5230
333.55/334.69 c #Conflicts: 48000 | #Constraints: 6230
333.55/334.69 c #Conflicts: 49000 | #Constraints: 7230
333.55/334.69 c #Conflicts: 50000 | #Constraints: 8230
333.55/334.69 c #Conflicts: 51000 | #Constraints: 9230
333.55/334.69 c INPROCESSING
333.55/334.69 c GARBAGE COLLECT
333.55/334.69 c #Conflicts: 52000 | #Constraints: 5630
333.55/334.69 c #Conflicts: 53000 | #Constraints: 6630
333.55/334.69 c #Conflicts: 54000 | #Constraints: 7630
333.55/334.69 c #Conflicts: 55000 | #Constraints: 8630
333.55/334.69 c #Conflicts: 56000 | #Constraints: 9630
333.55/334.69 c INPROCESSING
333.55/334.69 c GARBAGE COLLECT
333.55/334.69 c #Conflicts: 57000 | #Constraints: 5829
333.55/334.69 c #Conflicts: 58000 | #Constraints: 6829
333.55/334.69 c #Conflicts: 59000 | #Constraints: 7829
333.55/334.69 c #Conflicts: 60000 | #Constraints: 8829
333.55/334.69 c #Conflicts: 61000 | #Constraints: 9829
333.55/334.69 c INPROCESSING
333.55/334.69 c GARBAGE COLLECT
333.55/334.69 c #Conflicts: 62000 | #Constraints: 5829
333.55/334.69 c #Conflicts: 63000 | #Constraints: 6829
333.55/334.69 c #Conflicts: 64000 | #Constraints: 7829
333.55/334.69 c #Conflicts: 65000 | #Constraints: 8829
333.55/334.69 c #Conflicts: 66000 | #Constraints: 9829
333.55/334.69 c INPROCESSING
333.55/334.69 c GARBAGE COLLECT
333.55/334.69 c #Conflicts: 67000 | #Constraints: 5632
333.55/334.69 c #Conflicts: 68000 | #Constraints: 6632
333.55/334.69 c #Conflicts: 69000 | #Constraints: 7632
333.55/334.69 c #Conflicts: 70000 | #Constraints: 8632
333.55/334.69 c #Conflicts: 71000 | #Constraints: 9632
333.55/334.69 c #Conflicts: 72000 | #Constraints: 10632
333.55/334.69 c INPROCESSING
333.55/334.69 c GARBAGE COLLECT
333.55/334.69 c #Conflicts: 73000 | #Constraints: 6230
333.55/334.69 c #Conflicts: 74000 | #Constraints: 7230
333.55/334.69 c #Conflicts: 75000 | #Constraints: 8230
333.55/334.69 c #Conflicts: 76000 | #Constraints: 9230
333.55/334.69 c #Conflicts: 77000 | #Constraints: 10230
333.55/334.69 c #Conflicts: 78000 | #Constraints: 11230
333.55/334.69 c INPROCESSING
333.55/334.69 c GARBAGE COLLECT
333.55/334.69 c #Conflicts: 79000 | #Constraints: 6631
333.55/334.69 c #Conflicts: 80000 | #Constraints: 7631
333.55/334.69 c #Conflicts: 81000 | #Constraints: 8631
333.55/334.69 c #Conflicts: 82000 | #Constraints: 9631
333.55/334.69 c #Conflicts: 83000 | #Constraints: 10631
333.55/334.69 c #Conflicts: 84000 | #Constraints: 11631
333.55/334.69 c INPROCESSING
333.55/334.69 c GARBAGE COLLECT
333.55/334.69 c #Conflicts: 85000 | #Constraints: 6831
333.55/334.69 c #Conflicts: 86000 | #Constraints: 7831
333.55/334.69 c #Conflicts: 87000 | #Constraints: 8831
333.55/334.69 c #Conflicts: 88000 | #Constraints: 9831
333.55/334.69 c #Conflicts: 89000 | #Constraints: 10831
333.55/334.69 c #Conflicts: 90000 | #Constraints: 11831
333.55/334.69 c INPROCESSING
333.55/334.69 c GARBAGE COLLECT
333.55/334.69 c #Conflicts: 91000 | #Constraints: 6837
333.55/334.69 c #Conflicts: 92000 | #Constraints: 7837
333.55/334.69 c #Conflicts: 93000 | #Constraints: 8837
333.55/334.69 c #Conflicts: 94000 | #Constraints: 9837
333.55/334.69 c #Conflicts: 95000 | #Constraints: 10837
333.55/334.69 c #Conflicts: 96000 | #Constraints: 11837
333.55/334.69 c INPROCESSING
333.55/334.69 c GARBAGE COLLECT
333.55/334.69 c #Conflicts: 97000 | #Constraints: 6639
333.55/334.69 c #Conflicts: 98000 | #Constraints: 7639
333.55/334.69 c #Conflicts: 99000 | #Constraints: 8639
333.55/334.69 c #Conflicts: 100000 | #Constraints: 9639
333.55/334.69 c #Conflicts: 101000 | #Constraints: 10639
333.55/334.69 c #Conflicts: 102000 | #Constraints: 11639
333.55/334.69 c #Conflicts: 103000 | #Constraints: 12639
333.55/334.69 c INPROCESSING
333.55/334.69 c GARBAGE COLLECT
333.55/334.69 c #Conflicts: 104000 | #Constraints: 7235
373.95/375.17 c #Conflicts: 105000 | #Constraints: 8235
373.95/375.17 c #Conflicts: 106000 | #Constraints: 9235
373.95/375.17 c #Conflicts: 107000 | #Constraints: 10235
373.95/375.17 c #Conflicts: 108000 | #Constraints: 11235
373.95/375.17 c #Conflicts: 109000 | #Constraints: 12235
373.95/375.17 c #Conflicts: 110000 | #Constraints: 13235
373.95/375.17 c INPROCESSING
373.95/375.17 c GARBAGE COLLECT
373.95/375.17 c #Conflicts: 111000 | #Constraints: 7633
373.95/375.17 c #Conflicts: 112000 | #Constraints: 8633
373.95/375.17 c #Conflicts: 113000 | #Constraints: 9633
373.95/375.17 c #Conflicts: 114000 | #Constraints: 10633
373.95/375.17 c #Conflicts: 115000 | #Constraints: 11633
373.95/375.17 c #Conflicts: 116000 | #Constraints: 12633
373.95/375.17 c #Conflicts: 117000 | #Constraints: 13633
373.95/375.17 c INPROCESSING
373.95/375.17 c GARBAGE COLLECT
373.95/375.17 c #Conflicts: 118000 | #Constraints: 7830
373.95/375.17 c #Conflicts: 119000 | #Constraints: 8830
373.95/375.17 c #Conflicts: 120000 | #Constraints: 9830
373.95/375.17 c #Conflicts: 121000 | #Constraints: 10830
373.95/375.17 c #Conflicts: 122000 | #Constraints: 11830
373.95/375.17 c #Conflicts: 123000 | #Constraints: 12830
373.95/375.17 c #Conflicts: 124000 | #Constraints: 13830
373.95/375.17 c INPROCESSING
373.95/375.17 c GARBAGE COLLECT
373.95/375.17 c #Conflicts: 125000 | #Constraints: 7830
373.95/375.17 c #Conflicts: 126000 | #Constraints: 8830
373.95/375.17 c #Conflicts: 127000 | #Constraints: 9830
373.95/375.17 c #Conflicts: 128000 | #Constraints: 10830
373.95/375.17 c #Conflicts: 129000 | #Constraints: 11830
373.95/375.17 c #Conflicts: 130000 | #Constraints: 12830
373.95/375.17 c #Conflicts: 131000 | #Constraints: 13830
373.95/375.17 c INPROCESSING
373.95/375.17 c GARBAGE COLLECT
373.95/375.17 c #Conflicts: 132000 | #Constraints: 7631
373.95/375.17 c #Conflicts: 133000 | #Constraints: 8631
373.95/375.17 c #Conflicts: 134000 | #Constraints: 9631
373.95/375.17 c #Conflicts: 135000 | #Constraints: 10631
373.95/375.17 c #Conflicts: 136000 | #Constraints: 11631
373.95/375.17 c #Conflicts: 137000 | #Constraints: 12631
373.95/375.17 c #Conflicts: 138000 | #Constraints: 13631
373.95/375.17 c #Conflicts: 139000 | #Constraints: 14631
373.95/375.17 c INPROCESSING
373.95/375.17 c GARBAGE COLLECT
373.95/375.17 c #Conflicts: 140000 | #Constraints: 8232
373.95/375.17 c #Conflicts: 141000 | #Constraints: 9232
373.95/375.17 c #Conflicts: 142000 | #Constraints: 10232
373.95/375.17 c #Conflicts: 143000 | #Constraints: 11232
373.95/375.17 c #Conflicts: 144000 | #Constraints: 12232
373.95/375.17 c #Conflicts: 145000 | #Constraints: 13232
373.95/375.17 c #Conflicts: 146000 | #Constraints: 14232
373.95/375.17 c #Conflicts: 147000 | #Constraints: 15232
373.95/375.17 c INPROCESSING
373.95/375.17 c GARBAGE COLLECT
373.95/375.17 c #Conflicts: 148000 | #Constraints: 8636
373.95/375.17 c #Conflicts: 149000 | #Constraints: 9636
373.95/375.17 c #Conflicts: 150000 | #Constraints: 10636
373.95/375.17 c #Conflicts: 151000 | #Constraints: 11636
373.95/375.17 c #Conflicts: 152000 | #Constraints: 12636
373.95/375.17 c #Conflicts: 153000 | #Constraints: 13636
373.95/375.17 c #Conflicts: 154000 | #Constraints: 14636
373.95/375.17 c #Conflicts: 155000 | #Constraints: 15636
373.95/375.17 c INPROCESSING
373.95/375.17 c GARBAGE COLLECT
373.95/375.17 c #Conflicts: 156000 | #Constraints: 8833
373.95/375.17 c #Conflicts: 157000 | #Constraints: 9833
373.95/375.17 c #Conflicts: 158000 | #Constraints: 10833
373.95/375.17 c #Conflicts: 159000 | #Constraints: 11833
373.95/375.17 c #Conflicts: 160000 | #Constraints: 12833
373.95/375.17 c #Conflicts: 161000 | #Constraints: 13833
373.95/375.17 c #Conflicts: 162000 | #Constraints: 14833
373.95/375.17 c #Conflicts: 163000 | #Constraints: 15833
373.95/375.17 c INPROCESSING
373.95/375.17 c GARBAGE COLLECT
373.95/375.17 c #Conflicts: 164000 | #Constraints: 8840
373.95/375.17 c #Conflicts: 165000 | #Constraints: 9840
373.95/375.17 c #Conflicts: 166000 | #Constraints: 10840
373.95/375.17 c #Conflicts: 167000 | #Constraints: 11840
373.95/375.17 c #Conflicts: 168000 | #Constraints: 12840
373.95/375.17 c #Conflicts: 169000 | #Constraints: 13840
373.95/375.17 c #Conflicts: 170000 | #Constraints: 14840
373.95/375.17 c #Conflicts: 171000 | #Constraints: 15840
373.95/375.17 c INPROCESSING
373.95/375.17 c GARBAGE COLLECT
373.95/375.17 c #Conflicts: 172000 | #Constraints: 8637
373.95/375.17 c #Conflicts: 173000 | #Constraints: 9637
373.95/375.17 c #Conflicts: 174000 | #Constraints: 10637
373.95/375.17 c #Conflicts: 175000 | #Constraints: 11637
373.95/375.17 c #Conflicts: 176000 | #Constraints: 12637
373.95/375.17 c #Conflicts: 177000 | #Constraints: 13637
427.11/428.49 c #Conflicts: 178000 | #Constraints: 14637
427.11/428.49 c #Conflicts: 179000 | #Constraints: 15637
427.11/428.49 c #Conflicts: 180000 | #Constraints: 16637
427.11/428.49 c INPROCESSING
427.11/428.49 c GARBAGE COLLECT
427.11/428.49 c #Conflicts: 181000 | #Constraints: 9233
427.11/428.49 c #Conflicts: 182000 | #Constraints: 10233
427.11/428.49 c #Conflicts: 183000 | #Constraints: 11233
427.11/428.49 c #Conflicts: 184000 | #Constraints: 12233
427.11/428.49 c #Conflicts: 185000 | #Constraints: 13233
427.11/428.49 c #Conflicts: 186000 | #Constraints: 14233
427.11/428.49 c #Conflicts: 187000 | #Constraints: 15233
427.11/428.49 c #Conflicts: 188000 | #Constraints: 16233
427.11/428.49 c #Conflicts: 189000 | #Constraints: 17233
427.11/428.49 c INPROCESSING
427.11/428.49 c GARBAGE COLLECT
427.11/428.49 c #Conflicts: 190000 | #Constraints: 9635
427.11/428.49 c #Conflicts: 191000 | #Constraints: 10635
427.11/428.49 c #Conflicts: 192000 | #Constraints: 11635
427.11/428.49 c #Conflicts: 193000 | #Constraints: 12635
427.11/428.49 c #Conflicts: 194000 | #Constraints: 13635
427.11/428.49 c #Conflicts: 195000 | #Constraints: 14635
427.11/428.49 c #Conflicts: 196000 | #Constraints: 15635
427.11/428.49 c #Conflicts: 197000 | #Constraints: 16635
427.11/428.49 c #Conflicts: 198000 | #Constraints: 17635
427.11/428.49 c INPROCESSING
427.11/428.49 c GARBAGE COLLECT
427.11/428.49 c #Conflicts: 199000 | #Constraints: 9833
427.11/428.49 c #Conflicts: 200000 | #Constraints: 10833
427.11/428.49 c #Conflicts: 201000 | #Constraints: 11833
427.11/428.49 c #Conflicts: 202000 | #Constraints: 12833
427.11/428.49 c #Conflicts: 203000 | #Constraints: 13833
427.11/428.49 c #Conflicts: 204000 | #Constraints: 14833
427.11/428.49 c #Conflicts: 205000 | #Constraints: 15833
427.11/428.49 c #Conflicts: 206000 | #Constraints: 16833
427.11/428.49 c #Conflicts: 207000 | #Constraints: 17833
427.11/428.49 c INPROCESSING
427.11/428.49 c GARBAGE COLLECT
427.11/428.49 c #Conflicts: 208000 | #Constraints: 9837
427.11/428.49 c #Conflicts: 209000 | #Constraints: 10837
427.11/428.49 c #Conflicts: 210000 | #Constraints: 11837
427.11/428.49 c #Conflicts: 211000 | #Constraints: 12837
427.11/428.49 c #Conflicts: 212000 | #Constraints: 13837
427.11/428.49 c #Conflicts: 213000 | #Constraints: 14837
427.11/428.49 c #Conflicts: 214000 | #Constraints: 15837
427.11/428.49 c #Conflicts: 215000 | #Constraints: 16837
427.11/428.49 c #Conflicts: 216000 | #Constraints: 17837
427.11/428.49 c INPROCESSING
427.11/428.49 c GARBAGE COLLECT
427.11/428.49 c #Conflicts: 217000 | #Constraints: 9639
427.11/428.49 c #Conflicts: 218000 | #Constraints: 10639
427.11/428.49 c #Conflicts: 219000 | #Constraints: 11639
427.11/428.49 c #Conflicts: 220000 | #Constraints: 12639
427.11/428.49 c #Conflicts: 221000 | #Constraints: 13639
427.11/428.49 c #Conflicts: 222000 | #Constraints: 14639
427.11/428.49 c #Conflicts: 223000 | #Constraints: 15639
427.11/428.49 c #Conflicts: 224000 | #Constraints: 16639
427.11/428.49 c #Conflicts: 225000 | #Constraints: 17639
427.11/428.49 c #Conflicts: 226000 | #Constraints: 18639
427.11/428.49 c INPROCESSING
427.11/428.49 c GARBAGE COLLECT
427.11/428.49 c #Conflicts: 227000 | #Constraints: 10243
427.11/428.49 c #Conflicts: 228000 | #Constraints: 11243
427.11/428.49 c #Conflicts: 229000 | #Constraints: 12243
427.11/428.49 c #Conflicts: 230000 | #Constraints: 13243
427.11/428.49 c #Conflicts: 231000 | #Constraints: 14243
427.11/428.49 c #Conflicts: 232000 | #Constraints: 15243
427.11/428.49 c #Conflicts: 233000 | #Constraints: 16243
427.11/428.49 c #Conflicts: 234000 | #Constraints: 17243
427.11/428.49 c #Conflicts: 235000 | #Constraints: 18243
427.11/428.49 c #Conflicts: 236000 | #Constraints: 19243
427.11/428.49 c INPROCESSING
427.11/428.49 c GARBAGE COLLECT
427.11/428.49 c #Conflicts: 237000 | #Constraints: 10641
427.11/428.49 c #Conflicts: 238000 | #Constraints: 11641
427.11/428.49 c #Conflicts: 239000 | #Constraints: 12641
427.11/428.49 c #Conflicts: 240000 | #Constraints: 13641
427.11/428.49 c #Conflicts: 241000 | #Constraints: 14641
427.11/428.49 c #Conflicts: 242000 | #Constraints: 15641
427.11/428.49 c #Conflicts: 243000 | #Constraints: 16641
427.11/428.49 c #Conflicts: 244000 | #Constraints: 17641
427.11/428.49 c #Conflicts: 245000 | #Constraints: 18641
427.11/428.49 c #Conflicts: 246000 | #Constraints: 19641
427.11/428.49 c INPROCESSING
427.11/428.49 c GARBAGE COLLECT
427.11/428.49 c #Conflicts: 247000 | #Constraints: 10837
427.11/428.49 c #Conflicts: 248000 | #Constraints: 11837
427.11/428.49 c #Conflicts: 249000 | #Constraints: 12837
427.11/428.49 c #Conflicts: 250000 | #Constraints: 13837
427.11/428.49 c #Conflicts: 251000 | #Constraints: 14837
482.97/484.46 c #Conflicts: 252000 | #Constraints: 15837
482.97/484.46 c #Conflicts: 253000 | #Constraints: 16837
482.97/484.46 c #Conflicts: 254000 | #Constraints: 17837
482.97/484.46 c #Conflicts: 255000 | #Constraints: 18837
482.97/484.46 c #Conflicts: 256000 | #Constraints: 19837
482.97/484.46 c INPROCESSING
482.97/484.46 c GARBAGE COLLECT
482.97/484.46 c #Conflicts: 257000 | #Constraints: 10833
482.97/484.46 c #Conflicts: 258000 | #Constraints: 11833
482.97/484.46 c #Conflicts: 259000 | #Constraints: 12833
482.97/484.46 c #Conflicts: 260000 | #Constraints: 13833
482.97/484.46 c #Conflicts: 261000 | #Constraints: 14833
482.97/484.46 c #Conflicts: 262000 | #Constraints: 15833
482.97/484.46 c #Conflicts: 263000 | #Constraints: 16833
482.97/484.46 c #Conflicts: 264000 | #Constraints: 17833
482.97/484.46 c #Conflicts: 265000 | #Constraints: 18833
482.97/484.46 c #Conflicts: 266000 | #Constraints: 19833
482.97/484.46 c INPROCESSING
482.97/484.46 c GARBAGE COLLECT
482.97/484.46 c #Conflicts: 267000 | #Constraints: 10633
482.97/484.46 c #Conflicts: 268000 | #Constraints: 11633
482.97/484.46 c #Conflicts: 269000 | #Constraints: 12633
482.97/484.46 c #Conflicts: 270000 | #Constraints: 13633
482.97/484.46 c #Conflicts: 271000 | #Constraints: 14633
482.97/484.46 c #Conflicts: 272000 | #Constraints: 15633
482.97/484.46 c #Conflicts: 273000 | #Constraints: 16633
482.97/484.46 c #Conflicts: 274000 | #Constraints: 17633
482.97/484.46 c #Conflicts: 275000 | #Constraints: 18633
482.97/484.46 c #Conflicts: 276000 | #Constraints: 19633
482.97/484.46 c #Conflicts: 277000 | #Constraints: 20633
482.97/484.46 c INPROCESSING
482.97/484.46 c GARBAGE COLLECT
482.97/484.46 c #Conflicts: 278000 | #Constraints: 11232
482.97/484.46 c #Conflicts: 279000 | #Constraints: 12232
482.97/484.46 c #Conflicts: 280000 | #Constraints: 13232
482.97/484.46 c #Conflicts: 281000 | #Constraints: 14232
482.97/484.46 c #Conflicts: 282000 | #Constraints: 15232
482.97/484.46 c #Conflicts: 283000 | #Constraints: 16232
482.97/484.46 c #Conflicts: 284000 | #Constraints: 17232
482.97/484.46 c #Conflicts: 285000 | #Constraints: 18232
482.97/484.46 c #Conflicts: 286000 | #Constraints: 19232
482.97/484.46 c #Conflicts: 287000 | #Constraints: 20232
482.97/484.46 c #Conflicts: 288000 | #Constraints: 21232
482.97/484.46 c INPROCESSING
482.97/484.46 c GARBAGE COLLECT
482.97/484.46 c #Conflicts: 289000 | #Constraints: 11631
482.97/484.46 c #Conflicts: 290000 | #Constraints: 12631
482.97/484.46 c #Conflicts: 291000 | #Constraints: 13631
482.97/484.46 c #Conflicts: 292000 | #Constraints: 14631
482.97/484.46 c #Conflicts: 293000 | #Constraints: 15631
482.97/484.46 c #Conflicts: 294000 | #Constraints: 16631
482.97/484.46 c #Conflicts: 295000 | #Constraints: 17631
482.97/484.46 c #Conflicts: 296000 | #Constraints: 18631
482.97/484.46 c #Conflicts: 297000 | #Constraints: 19631
482.97/484.46 c #Conflicts: 298000 | #Constraints: 20631
482.97/484.46 c #Conflicts: 299000 | #Constraints: 21631
482.97/484.46 c INPROCESSING
482.97/484.46 c GARBAGE COLLECT
482.97/484.46 c #Conflicts: 300000 | #Constraints: 11832
482.97/484.46 c #Conflicts: 301000 | #Constraints: 12832
482.97/484.46 c #Conflicts: 302000 | #Constraints: 13832
482.97/484.46 c #Conflicts: 303000 | #Constraints: 14832
482.97/484.46 c #Conflicts: 304000 | #Constraints: 15832
482.97/484.46 c #Conflicts: 305000 | #Constraints: 16832
482.97/484.46 c #Conflicts: 306000 | #Constraints: 17832
482.97/484.46 c #Conflicts: 307000 | #Constraints: 18832
482.97/484.46 c #Conflicts: 308000 | #Constraints: 19832
482.97/484.46 c #Conflicts: 309000 | #Constraints: 20832
482.97/484.46 c #Conflicts: 310000 | #Constraints: 21832
482.97/484.46 c INPROCESSING
482.97/484.46 c GARBAGE COLLECT
482.97/484.46 c #Conflicts: 311000 | #Constraints: 11830
482.97/484.46 c #Conflicts: 312000 | #Constraints: 12830
482.97/484.46 c #Conflicts: 313000 | #Constraints: 13830
482.97/484.46 c #Conflicts: 314000 | #Constraints: 14830
482.97/484.46 c #Conflicts: 315000 | #Constraints: 15830
482.97/484.46 c #Conflicts: 316000 | #Constraints: 16830
482.97/484.46 c #Conflicts: 317000 | #Constraints: 17830
482.97/484.46 c #Conflicts: 318000 | #Constraints: 18830
482.97/484.46 c #Conflicts: 319000 | #Constraints: 19830
482.97/484.46 c #Conflicts: 320000 | #Constraints: 20830
482.97/484.46 c #Conflicts: 321000 | #Constraints: 21830
482.97/484.46 c INPROCESSING
482.97/484.46 c GARBAGE COLLECT
482.97/484.46 c #Conflicts: 322000 | #Constraints: 11633
482.97/484.46 c #Conflicts: 323000 | #Constraints: 12633
482.97/484.46 c #Conflicts: 324000 | #Constraints: 13633
482.97/484.46 c #Conflicts: 325000 | #Constraints: 14633
550.60/552.23 c #Conflicts: 326000 | #Constraints: 15633
550.60/552.23 c #Conflicts: 327000 | #Constraints: 16633
550.60/552.23 c #Conflicts: 328000 | #Constraints: 17633
550.60/552.23 c #Conflicts: 329000 | #Constraints: 18633
550.60/552.23 c #Conflicts: 330000 | #Constraints: 19633
550.60/552.23 c #Conflicts: 331000 | #Constraints: 20633
550.60/552.23 c #Conflicts: 332000 | #Constraints: 21633
550.60/552.23 c #Conflicts: 333000 | #Constraints: 22633
550.60/552.23 c INPROCESSING
550.60/552.23 c GARBAGE COLLECT
550.60/552.23 c #Conflicts: 334000 | #Constraints: 12234
550.60/552.23 c #Conflicts: 335000 | #Constraints: 13234
550.60/552.23 c #Conflicts: 336000 | #Constraints: 14234
550.60/552.23 c #Conflicts: 337000 | #Constraints: 15234
550.60/552.23 c #Conflicts: 338000 | #Constraints: 16234
550.60/552.23 c #Conflicts: 339000 | #Constraints: 17234
550.60/552.23 c #Conflicts: 340000 | #Constraints: 18234
550.60/552.23 c #Conflicts: 341000 | #Constraints: 19234
550.60/552.23 c #Conflicts: 342000 | #Constraints: 20234
550.60/552.23 c #Conflicts: 343000 | #Constraints: 21234
550.60/552.23 c #Conflicts: 344000 | #Constraints: 22234
550.60/552.23 c #Conflicts: 345000 | #Constraints: 23234
550.60/552.23 c INPROCESSING
550.60/552.23 c GARBAGE COLLECT
550.60/552.23 c #Conflicts: 346000 | #Constraints: 12630
550.60/552.23 c #Conflicts: 347000 | #Constraints: 13630
550.60/552.23 c #Conflicts: 348000 | #Constraints: 14630
550.60/552.23 c #Conflicts: 349000 | #Constraints: 15630
550.60/552.23 c #Conflicts: 350000 | #Constraints: 16630
550.60/552.23 c #Conflicts: 351000 | #Constraints: 17630
550.60/552.23 c #Conflicts: 352000 | #Constraints: 18630
550.60/552.23 c #Conflicts: 353000 | #Constraints: 19630
550.60/552.23 c #Conflicts: 354000 | #Constraints: 20630
550.60/552.23 c #Conflicts: 355000 | #Constraints: 21630
550.60/552.23 c #Conflicts: 356000 | #Constraints: 22630
550.60/552.23 c #Conflicts: 357000 | #Constraints: 23630
550.60/552.23 c INPROCESSING
550.60/552.23 c GARBAGE COLLECT
550.60/552.23 c #Conflicts: 358000 | #Constraints: 12830
550.60/552.23 c #Conflicts: 359000 | #Constraints: 13830
550.60/552.23 c #Conflicts: 360000 | #Constraints: 14830
550.60/552.23 c #Conflicts: 361000 | #Constraints: 15830
550.60/552.23 c #Conflicts: 362000 | #Constraints: 16830
550.60/552.23 c #Conflicts: 363000 | #Constraints: 17830
550.60/552.23 c #Conflicts: 364000 | #Constraints: 18830
550.60/552.23 c #Conflicts: 365000 | #Constraints: 19830
550.60/552.23 c #Conflicts: 366000 | #Constraints: 20830
550.60/552.23 c #Conflicts: 367000 | #Constraints: 21830
550.60/552.23 c #Conflicts: 368000 | #Constraints: 22830
550.60/552.23 c #Conflicts: 369000 | #Constraints: 23830
550.60/552.23 c INPROCESSING
550.60/552.23 c GARBAGE COLLECT
550.60/552.23 c #Conflicts: 370000 | #Constraints: 12833
550.60/552.23 c #Conflicts: 371000 | #Constraints: 13833
550.60/552.23 c #Conflicts: 372000 | #Constraints: 14833
550.60/552.23 c #Conflicts: 373000 | #Constraints: 15833
550.60/552.23 c #Conflicts: 374000 | #Constraints: 16833
550.60/552.23 c #Conflicts: 375000 | #Constraints: 17833
550.60/552.23 c #Conflicts: 376000 | #Constraints: 18833
550.60/552.23 c #Conflicts: 377000 | #Constraints: 19833
550.60/552.23 c #Conflicts: 378000 | #Constraints: 20833
550.60/552.23 c #Conflicts: 379000 | #Constraints: 21833
550.60/552.23 c #Conflicts: 380000 | #Constraints: 22833
550.60/552.23 c #Conflicts: 381000 | #Constraints: 23833
550.60/552.23 c INPROCESSING
550.60/552.23 c GARBAGE COLLECT
550.60/552.23 c #Conflicts: 382000 | #Constraints: 12631
550.60/552.23 c #Conflicts: 383000 | #Constraints: 13631
550.60/552.23 c #Conflicts: 384000 | #Constraints: 14631
550.60/552.23 c #Conflicts: 385000 | #Constraints: 15631
550.60/552.23 c #Conflicts: 386000 | #Constraints: 16631
550.60/552.23 c #Conflicts: 387000 | #Constraints: 17631
550.60/552.23 c #Conflicts: 388000 | #Constraints: 18631
550.60/552.23 c #Conflicts: 389000 | #Constraints: 19631
550.60/552.23 c #Conflicts: 390000 | #Constraints: 20631
550.60/552.23 c #Conflicts: 391000 | #Constraints: 21631
550.60/552.23 c #Conflicts: 392000 | #Constraints: 22631
550.60/552.23 c #Conflicts: 393000 | #Constraints: 23631
550.60/552.23 c #Conflicts: 394000 | #Constraints: 24631
550.60/552.23 c INPROCESSING
550.60/552.23 c GARBAGE COLLECT
550.60/552.23 c #Conflicts: 395000 | #Constraints: 13235
550.60/552.23 c #Conflicts: 396000 | #Constraints: 14235
550.60/552.23 c #Conflicts: 397000 | #Constraints: 15235
550.60/552.23 c #Conflicts: 398000 | #Constraints: 16235
550.60/552.23 c #Conflicts: 399000 | #Constraints: 17235
550.60/552.23 c #Conflicts: 400000 | #Constraints: 18235
641.07/642.92 c #Conflicts: 401000 | #Constraints: 19235
641.07/642.92 c #Conflicts: 402000 | #Constraints: 20235
641.07/642.92 c #Conflicts: 403000 | #Constraints: 21235
641.07/642.92 c #Conflicts: 404000 | #Constraints: 22235
641.07/642.92 c #Conflicts: 405000 | #Constraints: 23235
641.07/642.92 c #Conflicts: 406000 | #Constraints: 24235
641.07/642.92 c #Conflicts: 407000 | #Constraints: 25235
641.07/642.92 c INPROCESSING
641.07/642.92 c GARBAGE COLLECT
641.07/642.92 c #Conflicts: 408000 | #Constraints: 13636
641.07/642.92 c #Conflicts: 409000 | #Constraints: 14636
641.07/642.92 c #Conflicts: 410000 | #Constraints: 15636
641.07/642.92 c #Conflicts: 411000 | #Constraints: 16636
641.07/642.92 c #Conflicts: 412000 | #Constraints: 17636
641.07/642.92 c #Conflicts: 413000 | #Constraints: 18636
641.07/642.92 c #Conflicts: 414000 | #Constraints: 19636
641.07/642.92 c #Conflicts: 415000 | #Constraints: 20636
641.07/642.92 c #Conflicts: 416000 | #Constraints: 21636
641.07/642.92 c #Conflicts: 417000 | #Constraints: 22636
641.07/642.92 c #Conflicts: 418000 | #Constraints: 23636
641.07/642.92 c #Conflicts: 419000 | #Constraints: 24636
641.07/642.92 c #Conflicts: 420000 | #Constraints: 25636
641.07/642.92 c INPROCESSING
641.07/642.92 c GARBAGE COLLECT
641.07/642.92 c #Conflicts: 421000 | #Constraints: 13838
641.07/642.92 c #Conflicts: 422000 | #Constraints: 14838
641.07/642.92 c #Conflicts: 423000 | #Constraints: 15838
641.07/642.92 c #Conflicts: 424000 | #Constraints: 16838
641.07/642.92 c #Conflicts: 425000 | #Constraints: 17838
641.07/642.92 c #Conflicts: 426000 | #Constraints: 18838
641.07/642.92 c #Conflicts: 427000 | #Constraints: 19838
641.07/642.92 c #Conflicts: 428000 | #Constraints: 20838
641.07/642.92 c #Conflicts: 429000 | #Constraints: 21838
641.07/642.92 c #Conflicts: 430000 | #Constraints: 22838
641.07/642.92 c #Conflicts: 431000 | #Constraints: 23838
641.07/642.92 c #Conflicts: 432000 | #Constraints: 24838
641.07/642.92 c #Conflicts: 433000 | #Constraints: 25838
641.07/642.92 c INPROCESSING
641.07/642.92 c GARBAGE COLLECT
641.07/642.92 c #Conflicts: 434000 | #Constraints: 13838
641.07/642.92 c #Conflicts: 435000 | #Constraints: 14838
641.07/642.92 c #Conflicts: 436000 | #Constraints: 15838
641.07/642.92 c #Conflicts: 437000 | #Constraints: 16838
641.07/642.92 c #Conflicts: 438000 | #Constraints: 17838
641.07/642.92 c #Conflicts: 439000 | #Constraints: 18838
641.07/642.92 c #Conflicts: 440000 | #Constraints: 19838
641.07/642.92 c #Conflicts: 441000 | #Constraints: 20838
641.07/642.92 c #Conflicts: 442000 | #Constraints: 21838
641.07/642.92 c #Conflicts: 443000 | #Constraints: 22838
641.07/642.92 c #Conflicts: 444000 | #Constraints: 23838
641.07/642.92 c #Conflicts: 445000 | #Constraints: 24838
641.07/642.92 c #Conflicts: 446000 | #Constraints: 25838
641.07/642.92 c INPROCESSING
641.07/642.92 c GARBAGE COLLECT
641.07/642.92 c #Conflicts: 447000 | #Constraints: 13643
641.07/642.92 c #Conflicts: 448000 | #Constraints: 14643
641.07/642.92 c #Conflicts: 449000 | #Constraints: 15643
641.07/642.92 c #Conflicts: 450000 | #Constraints: 16643
641.07/642.92 c #Conflicts: 451000 | #Constraints: 17643
641.07/642.92 c #Conflicts: 452000 | #Constraints: 18643
641.07/642.92 c #Conflicts: 453000 | #Constraints: 19643
641.07/642.92 c #Conflicts: 454000 | #Constraints: 20643
641.07/642.92 c #Conflicts: 455000 | #Constraints: 21643
641.07/642.92 c #Conflicts: 456000 | #Constraints: 22643
641.07/642.92 c #Conflicts: 457000 | #Constraints: 23643
641.07/642.92 c #Conflicts: 458000 | #Constraints: 24643
641.07/642.92 c #Conflicts: 459000 | #Constraints: 25643
641.07/642.92 c #Conflicts: 460000 | #Constraints: 26643
641.07/642.92 c INPROCESSING
641.07/642.92 c GARBAGE COLLECT
641.07/642.92 c #Conflicts: 461000 | #Constraints: 14243
641.07/642.92 c #Conflicts: 462000 | #Constraints: 15243
641.07/642.92 c #Conflicts: 463000 | #Constraints: 16243
641.07/642.92 c #Conflicts: 464000 | #Constraints: 17243
641.07/642.92 c #Conflicts: 465000 | #Constraints: 18243
641.07/642.92 c #Conflicts: 466000 | #Constraints: 19243
641.07/642.92 c #Conflicts: 467000 | #Constraints: 20243
641.07/642.92 c #Conflicts: 468000 | #Constraints: 21243
641.07/642.92 c #Conflicts: 469000 | #Constraints: 22243
641.07/642.92 c #Conflicts: 470000 | #Constraints: 23243
641.07/642.92 c #Conflicts: 471000 | #Constraints: 24243
641.07/642.92 c #Conflicts: 472000 | #Constraints: 25243
641.07/642.92 c #Conflicts: 473000 | #Constraints: 26243
641.07/642.92 c #Conflicts: 474000 | #Constraints: 27243
641.07/642.92 c INPROCESSING
641.07/642.92 c GARBAGE COLLECT
641.07/642.92 c #Conflicts: 475000 | #Constraints: 14641
733.45/735.54 c #Conflicts: 476000 | #Constraints: 15641
733.45/735.54 c #Conflicts: 477000 | #Constraints: 16641
733.45/735.54 c #Conflicts: 478000 | #Constraints: 17641
733.45/735.54 c #Conflicts: 479000 | #Constraints: 18641
733.45/735.54 c #Conflicts: 480000 | #Constraints: 19641
733.45/735.54 c #Conflicts: 481000 | #Constraints: 20641
733.45/735.54 c #Conflicts: 482000 | #Constraints: 21641
733.45/735.54 c #Conflicts: 483000 | #Constraints: 22641
733.45/735.54 c #Conflicts: 484000 | #Constraints: 23641
733.45/735.54 c #Conflicts: 485000 | #Constraints: 24641
733.45/735.54 c #Conflicts: 486000 | #Constraints: 25641
733.45/735.54 c #Conflicts: 487000 | #Constraints: 26641
733.45/735.54 c #Conflicts: 488000 | #Constraints: 27641
733.45/735.54 c INPROCESSING
733.45/735.54 c GARBAGE COLLECT
733.45/735.54 c #Conflicts: 489000 | #Constraints: 14841
733.45/735.54 c #Conflicts: 490000 | #Constraints: 15841
733.45/735.54 c #Conflicts: 491000 | #Constraints: 16841
733.45/735.54 c #Conflicts: 492000 | #Constraints: 17841
733.45/735.54 c #Conflicts: 493000 | #Constraints: 18841
733.45/735.54 c #Conflicts: 494000 | #Constraints: 19841
733.45/735.54 c #Conflicts: 495000 | #Constraints: 20841
733.45/735.54 c #Conflicts: 496000 | #Constraints: 21841
733.45/735.54 c #Conflicts: 497000 | #Constraints: 22841
733.45/735.54 c #Conflicts: 498000 | #Constraints: 23841
733.45/735.54 c #Conflicts: 499000 | #Constraints: 24841
733.45/735.54 c #Conflicts: 500000 | #Constraints: 25841
733.45/735.54 c #Conflicts: 501000 | #Constraints: 26841
733.45/735.54 c #Conflicts: 502000 | #Constraints: 27841
733.45/735.54 c INPROCESSING
733.45/735.54 c GARBAGE COLLECT
733.45/735.54 c #Conflicts: 503000 | #Constraints: 14842
733.45/735.54 c #Conflicts: 504000 | #Constraints: 15842
733.45/735.54 c #Conflicts: 505000 | #Constraints: 16842
733.45/735.54 c #Conflicts: 506000 | #Constraints: 17842
733.45/735.54 c #Conflicts: 507000 | #Constraints: 18842
733.45/735.54 c #Conflicts: 508000 | #Constraints: 19842
733.45/735.54 c #Conflicts: 509000 | #Constraints: 20842
733.45/735.54 c #Conflicts: 510000 | #Constraints: 21842
733.45/735.54 c #Conflicts: 511000 | #Constraints: 22842
733.45/735.54 c #Conflicts: 512000 | #Constraints: 23842
733.45/735.54 c #Conflicts: 513000 | #Constraints: 24842
733.45/735.54 c #Conflicts: 514000 | #Constraints: 25842
733.45/735.54 c #Conflicts: 515000 | #Constraints: 26842
733.45/735.54 c #Conflicts: 516000 | #Constraints: 27842
733.45/735.54 c INPROCESSING
733.45/735.54 c GARBAGE COLLECT
733.45/735.54 c #Conflicts: 517000 | #Constraints: 14636
733.45/735.54 c #Conflicts: 518000 | #Constraints: 15636
733.45/735.54 c #Conflicts: 519000 | #Constraints: 16636
733.45/735.54 c #Conflicts: 520000 | #Constraints: 17636
733.45/735.54 c #Conflicts: 521000 | #Constraints: 18636
733.45/735.54 c #Conflicts: 522000 | #Constraints: 19636
733.45/735.54 c #Conflicts: 523000 | #Constraints: 20636
733.45/735.54 c #Conflicts: 524000 | #Constraints: 21636
733.45/735.54 c #Conflicts: 525000 | #Constraints: 22636
733.45/735.54 c #Conflicts: 526000 | #Constraints: 23636
733.45/735.54 c #Conflicts: 527000 | #Constraints: 24636
733.45/735.54 c #Conflicts: 528000 | #Constraints: 25636
733.45/735.54 c #Conflicts: 529000 | #Constraints: 26636
733.45/735.54 c #Conflicts: 530000 | #Constraints: 27636
733.45/735.54 c #Conflicts: 531000 | #Constraints: 28636
733.45/735.54 c INPROCESSING
733.45/735.54 c GARBAGE COLLECT
733.45/735.54 c #Conflicts: 532000 | #Constraints: 15241
733.45/735.54 c #Conflicts: 533000 | #Constraints: 16241
733.45/735.54 c #Conflicts: 534000 | #Constraints: 17241
733.45/735.54 c #Conflicts: 535000 | #Constraints: 18241
733.45/735.54 c #Conflicts: 536000 | #Constraints: 19241
733.45/735.54 c #Conflicts: 537000 | #Constraints: 20241
733.45/735.54 c #Conflicts: 538000 | #Constraints: 21241
733.45/735.54 c #Conflicts: 539000 | #Constraints: 22241
733.45/735.54 c #Conflicts: 540000 | #Constraints: 23241
733.45/735.54 c #Conflicts: 541000 | #Constraints: 24241
733.45/735.54 c #Conflicts: 542000 | #Constraints: 25241
733.45/735.54 c #Conflicts: 543000 | #Constraints: 26241
733.45/735.54 c #Conflicts: 544000 | #Constraints: 27241
733.45/735.54 c #Conflicts: 545000 | #Constraints: 28241
733.45/735.54 c #Conflicts: 546000 | #Constraints: 29241
733.45/735.54 c INPROCESSING
733.45/735.54 c GARBAGE COLLECT
733.45/735.54 c #Conflicts: 547000 | #Constraints: 15638
733.45/735.54 c #Conflicts: 548000 | #Constraints: 16638
733.45/735.54 c #Conflicts: 549000 | #Constraints: 17638
733.45/735.54 c #Conflicts: 550000 | #Constraints: 18638
733.45/735.54 c #Conflicts: 551000 | #Constraints: 19638
828.82/831.17 c #Conflicts: 552000 | #Constraints: 20638
828.82/831.17 c #Conflicts: 553000 | #Constraints: 21638
828.82/831.17 c #Conflicts: 554000 | #Constraints: 22638
828.82/831.17 c #Conflicts: 555000 | #Constraints: 23638
828.82/831.17 c #Conflicts: 556000 | #Constraints: 24638
828.82/831.17 c #Conflicts: 557000 | #Constraints: 25638
828.82/831.17 c #Conflicts: 558000 | #Constraints: 26638
828.82/831.17 c #Conflicts: 559000 | #Constraints: 27638
828.82/831.17 c #Conflicts: 560000 | #Constraints: 28638
828.82/831.17 c #Conflicts: 561000 | #Constraints: 29638
828.82/831.17 c INPROCESSING
828.82/831.17 c GARBAGE COLLECT
828.82/831.17 c #Conflicts: 562000 | #Constraints: 15837
828.82/831.17 c #Conflicts: 563000 | #Constraints: 16837
828.82/831.17 c #Conflicts: 564000 | #Constraints: 17837
828.82/831.17 c #Conflicts: 565000 | #Constraints: 18837
828.82/831.17 c #Conflicts: 566000 | #Constraints: 19837
828.82/831.17 c #Conflicts: 567000 | #Constraints: 20837
828.82/831.17 c #Conflicts: 568000 | #Constraints: 21837
828.82/831.17 c #Conflicts: 569000 | #Constraints: 22837
828.82/831.17 c #Conflicts: 570000 | #Constraints: 23837
828.82/831.17 c #Conflicts: 571000 | #Constraints: 24837
828.82/831.17 c #Conflicts: 572000 | #Constraints: 25837
828.82/831.17 c #Conflicts: 573000 | #Constraints: 26837
828.82/831.17 c #Conflicts: 574000 | #Constraints: 27837
828.82/831.17 c #Conflicts: 575000 | #Constraints: 28837
828.82/831.17 c #Conflicts: 576000 | #Constraints: 29837
828.82/831.17 c INPROCESSING
828.82/831.17 c GARBAGE COLLECT
828.82/831.17 c #Conflicts: 577000 | #Constraints: 15838
828.82/831.17 c #Conflicts: 578000 | #Constraints: 16838
828.82/831.17 c #Conflicts: 579000 | #Constraints: 17838
828.82/831.17 c #Conflicts: 580000 | #Constraints: 18838
828.82/831.17 c #Conflicts: 581000 | #Constraints: 19838
828.82/831.17 c #Conflicts: 582000 | #Constraints: 20838
828.82/831.17 c #Conflicts: 583000 | #Constraints: 21838
828.82/831.17 c #Conflicts: 584000 | #Constraints: 22838
828.82/831.17 c #Conflicts: 585000 | #Constraints: 23838
828.82/831.17 c #Conflicts: 586000 | #Constraints: 24838
828.82/831.17 c #Conflicts: 587000 | #Constraints: 25838
828.82/831.17 c #Conflicts: 588000 | #Constraints: 26838
828.82/831.17 c #Conflicts: 589000 | #Constraints: 27838
828.82/831.17 c #Conflicts: 590000 | #Constraints: 28838
828.82/831.17 c #Conflicts: 591000 | #Constraints: 29838
828.82/831.17 c INPROCESSING
828.82/831.17 c GARBAGE COLLECT
828.82/831.17 c #Conflicts: 592000 | #Constraints: 15635
828.82/831.17 c #Conflicts: 593000 | #Constraints: 16635
828.82/831.17 c #Conflicts: 594000 | #Constraints: 17635
828.82/831.17 c #Conflicts: 595000 | #Constraints: 18635
828.82/831.17 c #Conflicts: 596000 | #Constraints: 19635
828.82/831.17 c #Conflicts: 597000 | #Constraints: 20635
828.82/831.17 c #Conflicts: 598000 | #Constraints: 21635
828.82/831.17 c #Conflicts: 599000 | #Constraints: 22635
828.82/831.17 c #Conflicts: 600000 | #Constraints: 23635
828.82/831.17 c #Conflicts: 601000 | #Constraints: 24635
828.82/831.17 c #Conflicts: 602000 | #Constraints: 25635
828.82/831.17 c #Conflicts: 603000 | #Constraints: 26635
828.82/831.17 c #Conflicts: 604000 | #Constraints: 27635
828.82/831.17 c #Conflicts: 605000 | #Constraints: 28635
828.82/831.17 c #Conflicts: 606000 | #Constraints: 29635
828.82/831.17 c #Conflicts: 607000 | #Constraints: 30635
828.82/831.17 c INPROCESSING
828.82/831.17 c GARBAGE COLLECT
828.82/831.17 c #Conflicts: 608000 | #Constraints: 16236
828.82/831.17 c #Conflicts: 609000 | #Constraints: 17236
828.82/831.17 c #Conflicts: 610000 | #Constraints: 18236
828.82/831.17 c #Conflicts: 611000 | #Constraints: 19236
828.82/831.17 c #Conflicts: 612000 | #Constraints: 20236
828.82/831.17 c #Conflicts: 613000 | #Constraints: 21236
828.82/831.17 c #Conflicts: 614000 | #Constraints: 22236
828.82/831.17 c #Conflicts: 615000 | #Constraints: 23236
828.82/831.17 c #Conflicts: 616000 | #Constraints: 24236
828.82/831.17 c #Conflicts: 617000 | #Constraints: 25236
828.82/831.17 c #Conflicts: 618000 | #Constraints: 26236
828.82/831.17 c #Conflicts: 619000 | #Constraints: 27236
828.82/831.17 c #Conflicts: 620000 | #Constraints: 28236
828.82/831.17 c #Conflicts: 621000 | #Constraints: 29236
828.82/831.17 c #Conflicts: 622000 | #Constraints: 30236
828.82/831.17 c #Conflicts: 623000 | #Constraints: 31236
828.82/831.17 c INPROCESSING
828.82/831.17 c GARBAGE COLLECT
828.82/831.17 c #Conflicts: 624000 | #Constraints: 16634
828.82/831.17 c #Conflicts: 625000 | #Constraints: 17634
828.82/831.17 c #Conflicts: 626000 | #Constraints: 18634
929.36/931.91 c #Conflicts: 627000 | #Constraints: 19634
929.36/931.91 c #Conflicts: 628000 | #Constraints: 20634
929.36/931.91 c #Conflicts: 629000 | #Constraints: 21634
929.36/931.91 c #Conflicts: 630000 | #Constraints: 22634
929.36/931.91 c #Conflicts: 631000 | #Constraints: 23634
929.36/931.91 c #Conflicts: 632000 | #Constraints: 24634
929.36/931.91 c #Conflicts: 633000 | #Constraints: 25634
929.36/931.91 c #Conflicts: 634000 | #Constraints: 26634
929.36/931.91 c #Conflicts: 635000 | #Constraints: 27634
929.36/931.91 c #Conflicts: 636000 | #Constraints: 28634
929.36/931.91 c #Conflicts: 637000 | #Constraints: 29634
929.36/931.91 c #Conflicts: 638000 | #Constraints: 30634
929.36/931.91 c #Conflicts: 639000 | #Constraints: 31634
929.36/931.91 c INPROCESSING
929.36/931.91 c GARBAGE COLLECT
929.36/931.91 c #Conflicts: 640000 | #Constraints: 16830
929.36/931.91 c #Conflicts: 641000 | #Constraints: 17830
929.36/931.91 c #Conflicts: 642000 | #Constraints: 18830
929.36/931.91 c #Conflicts: 643000 | #Constraints: 19830
929.36/931.91 c #Conflicts: 644000 | #Constraints: 20830
929.36/931.91 c #Conflicts: 645000 | #Constraints: 21830
929.36/931.91 c #Conflicts: 646000 | #Constraints: 22830
929.36/931.91 c #Conflicts: 647000 | #Constraints: 23830
929.36/931.91 c #Conflicts: 648000 | #Constraints: 24830
929.36/931.91 c #Conflicts: 649000 | #Constraints: 25830
929.36/931.91 c #Conflicts: 650000 | #Constraints: 26830
929.36/931.91 c #Conflicts: 651000 | #Constraints: 27830
929.36/931.91 c #Conflicts: 652000 | #Constraints: 28830
929.36/931.91 c #Conflicts: 653000 | #Constraints: 29830
929.36/931.91 c #Conflicts: 654000 | #Constraints: 30830
929.36/931.91 c #Conflicts: 655000 | #Constraints: 31830
929.36/931.91 c INPROCESSING
929.36/931.91 c GARBAGE COLLECT
929.36/931.91 c #Conflicts: 656000 | #Constraints: 16835
929.36/931.91 c #Conflicts: 657000 | #Constraints: 17835
929.36/931.91 c #Conflicts: 658000 | #Constraints: 18835
929.36/931.91 c #Conflicts: 659000 | #Constraints: 19835
929.36/931.91 c #Conflicts: 660000 | #Constraints: 20835
929.36/931.91 c #Conflicts: 661000 | #Constraints: 21835
929.36/931.91 c #Conflicts: 662000 | #Constraints: 22835
929.36/931.91 c #Conflicts: 663000 | #Constraints: 23835
929.36/931.91 c #Conflicts: 664000 | #Constraints: 24835
929.36/931.91 c #Conflicts: 665000 | #Constraints: 25835
929.36/931.91 c #Conflicts: 666000 | #Constraints: 26835
929.36/931.91 c #Conflicts: 667000 | #Constraints: 27835
929.36/931.91 c #Conflicts: 668000 | #Constraints: 28835
929.36/931.91 c #Conflicts: 669000 | #Constraints: 29835
929.36/931.91 c #Conflicts: 670000 | #Constraints: 30835
929.36/931.91 c #Conflicts: 671000 | #Constraints: 31835
929.36/931.91 c INPROCESSING
929.36/931.91 c GARBAGE COLLECT
929.36/931.91 c #Conflicts: 672000 | #Constraints: 16634
929.36/931.91 c #Conflicts: 673000 | #Constraints: 17634
929.36/931.91 c #Conflicts: 674000 | #Constraints: 18634
929.36/931.91 c #Conflicts: 675000 | #Constraints: 19634
929.36/931.91 c #Conflicts: 676000 | #Constraints: 20634
929.36/931.91 c #Conflicts: 677000 | #Constraints: 21634
929.36/931.91 c #Conflicts: 678000 | #Constraints: 22634
929.36/931.91 c #Conflicts: 679000 | #Constraints: 23634
929.36/931.91 c #Conflicts: 680000 | #Constraints: 24634
929.36/931.91 c #Conflicts: 681000 | #Constraints: 25634
929.36/931.91 c #Conflicts: 682000 | #Constraints: 26634
929.36/931.91 c #Conflicts: 683000 | #Constraints: 27634
929.36/931.91 c #Conflicts: 684000 | #Constraints: 28634
929.36/931.91 c #Conflicts: 685000 | #Constraints: 29634
929.36/931.91 c #Conflicts: 686000 | #Constraints: 30634
929.36/931.91 c #Conflicts: 687000 | #Constraints: 31634
929.36/931.91 c #Conflicts: 688000 | #Constraints: 32634
929.36/931.91 c INPROCESSING
929.36/931.91 c GARBAGE COLLECT
929.36/931.91 c #Conflicts: 689000 | #Constraints: 17232
929.36/931.91 c #Conflicts: 690000 | #Constraints: 18232
929.36/931.91 c #Conflicts: 691000 | #Constraints: 19232
929.36/931.91 c #Conflicts: 692000 | #Constraints: 20232
929.36/931.91 c #Conflicts: 693000 | #Constraints: 21232
929.36/931.91 c #Conflicts: 694000 | #Constraints: 22232
929.36/931.91 c #Conflicts: 695000 | #Constraints: 23232
929.36/931.91 c #Conflicts: 696000 | #Constraints: 24232
929.36/931.91 c #Conflicts: 697000 | #Constraints: 25232
929.36/931.91 c #Conflicts: 698000 | #Constraints: 26232
929.36/931.91 c #Conflicts: 699000 | #Constraints: 27232
929.36/931.91 c #Conflicts: 700000 | #Constraints: 28232
929.36/931.91 c #Conflicts: 701000 | #Constraints: 29232
929.36/931.91 c #Conflicts: 702000 | #Constraints: 30232
1053.55/1056.46 c #Conflicts: 703000 | #Constraints: 31232
1053.55/1056.46 c #Conflicts: 704000 | #Constraints: 32232
1053.55/1056.46 c #Conflicts: 705000 | #Constraints: 33232
1053.55/1056.46 c INPROCESSING
1053.55/1056.46 c GARBAGE COLLECT
1053.55/1056.46 c #Conflicts: 706000 | #Constraints: 17634
1053.55/1056.46 c #Conflicts: 707000 | #Constraints: 18634
1053.55/1056.46 c #Conflicts: 708000 | #Constraints: 19634
1053.55/1056.46 c #Conflicts: 709000 | #Constraints: 20634
1053.55/1056.46 c #Conflicts: 710000 | #Constraints: 21634
1053.55/1056.46 c #Conflicts: 711000 | #Constraints: 22634
1053.55/1056.46 c #Conflicts: 712000 | #Constraints: 23634
1053.55/1056.46 c #Conflicts: 713000 | #Constraints: 24634
1053.55/1056.46 c #Conflicts: 714000 | #Constraints: 25634
1053.55/1056.46 c #Conflicts: 715000 | #Constraints: 26634
1053.55/1056.46 c #Conflicts: 716000 | #Constraints: 27634
1053.55/1056.46 c #Conflicts: 717000 | #Constraints: 28634
1053.55/1056.46 c #Conflicts: 718000 | #Constraints: 29634
1053.55/1056.46 c #Conflicts: 719000 | #Constraints: 30634
1053.55/1056.46 c #Conflicts: 720000 | #Constraints: 31634
1053.55/1056.46 c #Conflicts: 721000 | #Constraints: 32634
1053.55/1056.46 c #Conflicts: 722000 | #Constraints: 33634
1053.55/1056.46 c INPROCESSING
1053.55/1056.46 c GARBAGE COLLECT
1053.55/1056.46 c #Conflicts: 723000 | #Constraints: 17835
1053.55/1056.46 c #Conflicts: 724000 | #Constraints: 18835
1053.55/1056.46 c #Conflicts: 725000 | #Constraints: 19835
1053.55/1056.46 c #Conflicts: 726000 | #Constraints: 20835
1053.55/1056.46 c #Conflicts: 727000 | #Constraints: 21835
1053.55/1056.46 c #Conflicts: 728000 | #Constraints: 22835
1053.55/1056.46 c #Conflicts: 729000 | #Constraints: 23835
1053.55/1056.46 c #Conflicts: 730000 | #Constraints: 24835
1053.55/1056.46 c #Conflicts: 731000 | #Constraints: 25835
1053.55/1056.46 c #Conflicts: 732000 | #Constraints: 26835
1053.55/1056.46 c #Conflicts: 733000 | #Constraints: 27835
1053.55/1056.46 c #Conflicts: 734000 | #Constraints: 28835
1053.55/1056.46 c #Conflicts: 735000 | #Constraints: 29835
1053.55/1056.46 c #Conflicts: 736000 | #Constraints: 30835
1053.55/1056.46 c #Conflicts: 737000 | #Constraints: 31835
1053.55/1056.46 c #Conflicts: 738000 | #Constraints: 32835
1053.55/1056.46 c #Conflicts: 739000 | #Constraints: 33835
1053.55/1056.46 c INPROCESSING
1053.55/1056.46 c GARBAGE COLLECT
1053.55/1056.46 c #Conflicts: 740000 | #Constraints: 17838
1053.55/1056.46 c #Conflicts: 741000 | #Constraints: 18838
1053.55/1056.46 c #Conflicts: 742000 | #Constraints: 19838
1053.55/1056.46 c #Conflicts: 743000 | #Constraints: 20838
1053.55/1056.46 c #Conflicts: 744000 | #Constraints: 21838
1053.55/1056.46 c #Conflicts: 745000 | #Constraints: 22838
1053.55/1056.46 c #Conflicts: 746000 | #Constraints: 23838
1053.55/1056.46 c #Conflicts: 747000 | #Constraints: 24838
1053.55/1056.46 c #Conflicts: 748000 | #Constraints: 25838
1053.55/1056.46 c #Conflicts: 749000 | #Constraints: 26838
1053.55/1056.46 c #Conflicts: 750000 | #Constraints: 27838
1053.55/1056.46 c #Conflicts: 751000 | #Constraints: 28838
1053.55/1056.46 c #Conflicts: 752000 | #Constraints: 29838
1053.55/1056.46 c #Conflicts: 753000 | #Constraints: 30838
1053.55/1056.46 c #Conflicts: 754000 | #Constraints: 31838
1053.55/1056.46 c #Conflicts: 755000 | #Constraints: 32838
1053.55/1056.46 c #Conflicts: 756000 | #Constraints: 33838
1053.55/1056.46 c INPROCESSING
1053.55/1056.46 c GARBAGE COLLECT
1053.55/1056.46 c #Conflicts: 757000 | #Constraints: 17638
1053.55/1056.46 c #Conflicts: 758000 | #Constraints: 18638
1053.55/1056.46 c #Conflicts: 759000 | #Constraints: 19638
1053.55/1056.46 c #Conflicts: 760000 | #Constraints: 20638
1053.55/1056.46 c #Conflicts: 761000 | #Constraints: 21638
1053.55/1056.46 c #Conflicts: 762000 | #Constraints: 22638
1053.55/1056.46 c #Conflicts: 763000 | #Constraints: 23638
1053.55/1056.46 c #Conflicts: 764000 | #Constraints: 24638
1053.55/1056.46 c #Conflicts: 765000 | #Constraints: 25638
1053.55/1056.46 c #Conflicts: 766000 | #Constraints: 26638
1053.55/1056.46 c #Conflicts: 767000 | #Constraints: 27638
1053.55/1056.46 c #Conflicts: 768000 | #Constraints: 28638
1053.55/1056.46 c #Conflicts: 769000 | #Constraints: 29638
1053.55/1056.46 c #Conflicts: 770000 | #Constraints: 30638
1053.55/1056.46 c #Conflicts: 771000 | #Constraints: 31638
1053.55/1056.46 c #Conflicts: 772000 | #Constraints: 32638
1053.55/1056.46 c #Conflicts: 773000 | #Constraints: 33638
1053.55/1056.46 c #Conflicts: 774000 | #Constraints: 34638
1053.55/1056.46 c INPROCESSING
1053.55/1056.46 c GARBAGE COLLECT
1053.55/1056.46 c #Conflicts: 775000 | #Constraints: 18236
1053.55/1056.46 c #Conflicts: 776000 | #Constraints: 19236
1053.55/1056.46 c #Conflicts: 777000 | #Constraints: 20236
1053.55/1056.46 c #Conflicts: 778000 | #Constraints: 21236
1165.03/1168.26 c #Conflicts: 779000 | #Constraints: 22236
1165.03/1168.26 c #Conflicts: 780000 | #Constraints: 23236
1165.03/1168.26 c #Conflicts: 781000 | #Constraints: 24236
1165.03/1168.26 c #Conflicts: 782000 | #Constraints: 25236
1165.03/1168.26 c #Conflicts: 783000 | #Constraints: 26236
1165.03/1168.26 c #Conflicts: 784000 | #Constraints: 27236
1165.03/1168.26 c #Conflicts: 785000 | #Constraints: 28236
1165.03/1168.26 c #Conflicts: 786000 | #Constraints: 29236
1165.03/1168.26 c #Conflicts: 787000 | #Constraints: 30236
1165.03/1168.26 c #Conflicts: 788000 | #Constraints: 31236
1165.03/1168.26 c #Conflicts: 789000 | #Constraints: 32236
1165.03/1168.26 c #Conflicts: 790000 | #Constraints: 33236
1165.03/1168.26 c #Conflicts: 791000 | #Constraints: 34236
1165.03/1168.26 c #Conflicts: 792000 | #Constraints: 35236
1165.03/1168.26 c INPROCESSING
1165.03/1168.26 c GARBAGE COLLECT
1165.03/1168.26 c #Conflicts: 793000 | #Constraints: 18633
1165.03/1168.26 c #Conflicts: 794000 | #Constraints: 19633
1165.03/1168.26 c #Conflicts: 795000 | #Constraints: 20633
1165.03/1168.26 c #Conflicts: 796000 | #Constraints: 21633
1165.03/1168.26 c #Conflicts: 797000 | #Constraints: 22633
1165.03/1168.26 c #Conflicts: 798000 | #Constraints: 23633
1165.03/1168.26 c #Conflicts: 799000 | #Constraints: 24633
1165.03/1168.26 c #Conflicts: 800000 | #Constraints: 25633
1165.03/1168.26 c #Conflicts: 801000 | #Constraints: 26633
1165.03/1168.26 c #Conflicts: 802000 | #Constraints: 27633
1165.03/1168.26 c #Conflicts: 803000 | #Constraints: 28633
1165.03/1168.26 c #Conflicts: 804000 | #Constraints: 29633
1165.03/1168.26 c #Conflicts: 805000 | #Constraints: 30633
1165.03/1168.26 c #Conflicts: 806000 | #Constraints: 31633
1165.03/1168.26 c #Conflicts: 807000 | #Constraints: 32633
1165.03/1168.26 c #Conflicts: 808000 | #Constraints: 33633
1165.03/1168.26 c #Conflicts: 809000 | #Constraints: 34633
1165.03/1168.26 c #Conflicts: 810000 | #Constraints: 35633
1165.03/1168.26 c INPROCESSING
1165.03/1168.26 c GARBAGE COLLECT
1165.03/1168.26 c #Conflicts: 811000 | #Constraints: 18834
1165.03/1168.26 c #Conflicts: 812000 | #Constraints: 19834
1165.03/1168.26 c #Conflicts: 813000 | #Constraints: 20834
1165.03/1168.26 c #Conflicts: 814000 | #Constraints: 21834
1165.03/1168.26 c #Conflicts: 815000 | #Constraints: 22834
1165.03/1168.26 c #Conflicts: 816000 | #Constraints: 23834
1165.03/1168.26 c #Conflicts: 817000 | #Constraints: 24834
1165.03/1168.26 c #Conflicts: 818000 | #Constraints: 25834
1165.03/1168.26 c #Conflicts: 819000 | #Constraints: 26834
1165.03/1168.26 c #Conflicts: 820000 | #Constraints: 27834
1165.03/1168.26 c #Conflicts: 821000 | #Constraints: 28834
1165.03/1168.26 c #Conflicts: 822000 | #Constraints: 29834
1165.03/1168.26 c #Conflicts: 823000 | #Constraints: 30834
1165.03/1168.26 c #Conflicts: 824000 | #Constraints: 31834
1165.03/1168.26 c #Conflicts: 825000 | #Constraints: 32834
1165.03/1168.26 c #Conflicts: 826000 | #Constraints: 33834
1165.03/1168.26 c #Conflicts: 827000 | #Constraints: 34834
1165.03/1168.26 c #Conflicts: 828000 | #Constraints: 35834
1165.03/1168.26 c INPROCESSING
1165.03/1168.26 c GARBAGE COLLECT
1165.03/1168.26 c #Conflicts: 829000 | #Constraints: 18834
1165.03/1168.26 c #Conflicts: 830000 | #Constraints: 19834
1165.03/1168.26 c #Conflicts: 831000 | #Constraints: 20834
1165.03/1168.26 c #Conflicts: 832000 | #Constraints: 21834
1165.03/1168.26 c #Conflicts: 833000 | #Constraints: 22834
1165.03/1168.26 c #Conflicts: 834000 | #Constraints: 23834
1165.03/1168.26 c #Conflicts: 835000 | #Constraints: 24834
1165.03/1168.26 c #Conflicts: 836000 | #Constraints: 25834
1165.03/1168.26 c #Conflicts: 837000 | #Constraints: 26834
1165.03/1168.26 c #Conflicts: 838000 | #Constraints: 27834
1165.03/1168.26 c #Conflicts: 839000 | #Constraints: 28834
1165.03/1168.26 c #Conflicts: 840000 | #Constraints: 29834
1165.03/1168.26 c #Conflicts: 841000 | #Constraints: 30834
1165.03/1168.26 c #Conflicts: 842000 | #Constraints: 31834
1165.03/1168.26 c #Conflicts: 843000 | #Constraints: 32834
1165.03/1168.26 c #Conflicts: 844000 | #Constraints: 33834
1165.03/1168.26 c #Conflicts: 845000 | #Constraints: 34834
1165.03/1168.26 c #Conflicts: 846000 | #Constraints: 35834
1165.03/1168.26 c INPROCESSING
1165.03/1168.26 c GARBAGE COLLECT
1165.03/1168.26 c #Conflicts: 847000 | #Constraints: 18637
1165.03/1168.26 c #Conflicts: 848000 | #Constraints: 19637
1165.03/1168.26 c #Conflicts: 849000 | #Constraints: 20637
1165.03/1168.26 c #Conflicts: 850000 | #Constraints: 21637
1165.03/1168.26 c #Conflicts: 851000 | #Constraints: 22637
1165.03/1168.26 c #Conflicts: 852000 | #Constraints: 23637
1165.03/1168.26 c #Conflicts: 853000 | #Constraints: 24637
1165.03/1168.26 c #Conflicts: 854000 | #Constraints: 25637
1280.64/1284.16 c #Conflicts: 855000 | #Constraints: 26637
1280.64/1284.16 c #Conflicts: 856000 | #Constraints: 27637
1280.64/1284.16 c #Conflicts: 857000 | #Constraints: 28637
1280.64/1284.16 c #Conflicts: 858000 | #Constraints: 29637
1280.64/1284.16 c #Conflicts: 859000 | #Constraints: 30637
1280.64/1284.16 c #Conflicts: 860000 | #Constraints: 31637
1280.64/1284.16 c #Conflicts: 861000 | #Constraints: 32637
1280.64/1284.16 c #Conflicts: 862000 | #Constraints: 33637
1280.64/1284.16 c #Conflicts: 863000 | #Constraints: 34637
1280.64/1284.16 c #Conflicts: 864000 | #Constraints: 35637
1280.64/1284.16 c #Conflicts: 865000 | #Constraints: 36637
1280.64/1284.16 c INPROCESSING
1280.64/1284.16 c GARBAGE COLLECT
1280.64/1284.16 c #Conflicts: 866000 | #Constraints: 19234
1280.64/1284.16 c #Conflicts: 867000 | #Constraints: 20234
1280.64/1284.16 c #Conflicts: 868000 | #Constraints: 21234
1280.64/1284.16 c #Conflicts: 869000 | #Constraints: 22234
1280.64/1284.16 c #Conflicts: 870000 | #Constraints: 23234
1280.64/1284.16 c #Conflicts: 871000 | #Constraints: 24234
1280.64/1284.16 c #Conflicts: 872000 | #Constraints: 25234
1280.64/1284.16 c #Conflicts: 873000 | #Constraints: 26234
1280.64/1284.16 c #Conflicts: 874000 | #Constraints: 27234
1280.64/1284.16 c #Conflicts: 875000 | #Constraints: 28234
1280.64/1284.16 c #Conflicts: 876000 | #Constraints: 29234
1280.64/1284.16 c #Conflicts: 877000 | #Constraints: 30234
1280.64/1284.16 c #Conflicts: 878000 | #Constraints: 31234
1280.64/1284.16 c #Conflicts: 879000 | #Constraints: 32234
1280.64/1284.16 c #Conflicts: 880000 | #Constraints: 33234
1280.64/1284.16 c #Conflicts: 881000 | #Constraints: 34234
1280.64/1284.16 c #Conflicts: 882000 | #Constraints: 35234
1280.64/1284.16 c #Conflicts: 883000 | #Constraints: 36234
1280.64/1284.16 c #Conflicts: 884000 | #Constraints: 37234
1280.64/1284.16 c INPROCESSING
1280.64/1284.16 c GARBAGE COLLECT
1280.64/1284.16 c #Conflicts: 885000 | #Constraints: 19635
1280.64/1284.16 c #Conflicts: 886000 | #Constraints: 20635
1280.64/1284.16 c #Conflicts: 887000 | #Constraints: 21635
1280.64/1284.16 c #Conflicts: 888000 | #Constraints: 22635
1280.64/1284.16 c #Conflicts: 889000 | #Constraints: 23635
1280.64/1284.16 c #Conflicts: 890000 | #Constraints: 24635
1280.64/1284.16 c #Conflicts: 891000 | #Constraints: 25635
1280.64/1284.16 c #Conflicts: 892000 | #Constraints: 26635
1280.64/1284.16 c #Conflicts: 893000 | #Constraints: 27635
1280.64/1284.16 c #Conflicts: 894000 | #Constraints: 28635
1280.64/1284.16 c #Conflicts: 895000 | #Constraints: 29635
1280.64/1284.16 c #Conflicts: 896000 | #Constraints: 30635
1280.64/1284.16 c #Conflicts: 897000 | #Constraints: 31635
1280.64/1284.16 c #Conflicts: 898000 | #Constraints: 32635
1280.64/1284.16 c #Conflicts: 899000 | #Constraints: 33635
1280.64/1284.16 c #Conflicts: 900000 | #Constraints: 34635
1280.64/1284.16 c #Conflicts: 901000 | #Constraints: 35635
1280.64/1284.16 c #Conflicts: 902000 | #Constraints: 36635
1280.64/1284.16 c #Conflicts: 903000 | #Constraints: 37635
1280.64/1284.16 c INPROCESSING
1280.64/1284.16 c GARBAGE COLLECT
1280.64/1284.16 c #Conflicts: 904000 | #Constraints: 19836
1280.64/1284.16 c #Conflicts: 905000 | #Constraints: 20836
1280.64/1284.16 c #Conflicts: 906000 | #Constraints: 21836
1280.64/1284.16 c #Conflicts: 907000 | #Constraints: 22836
1280.64/1284.16 c #Conflicts: 908000 | #Constraints: 23836
1280.64/1284.16 c #Conflicts: 909000 | #Constraints: 24836
1280.64/1284.16 c #Conflicts: 910000 | #Constraints: 25836
1280.64/1284.16 c #Conflicts: 911000 | #Constraints: 26836
1280.64/1284.16 c #Conflicts: 912000 | #Constraints: 27836
1280.64/1284.16 c #Conflicts: 913000 | #Constraints: 28836
1280.64/1284.16 c #Conflicts: 914000 | #Constraints: 29836
1280.64/1284.16 c #Conflicts: 915000 | #Constraints: 30836
1280.64/1284.16 c #Conflicts: 916000 | #Constraints: 31836
1280.64/1284.16 c #Conflicts: 917000 | #Constraints: 32836
1280.64/1284.16 c #Conflicts: 918000 | #Constraints: 33836
1280.64/1284.16 c #Conflicts: 919000 | #Constraints: 34836
1280.64/1284.16 c #Conflicts: 920000 | #Constraints: 35836
1280.64/1284.16 c #Conflicts: 921000 | #Constraints: 36836
1280.64/1284.16 c #Conflicts: 922000 | #Constraints: 37836
1280.64/1284.16 c INPROCESSING
1280.64/1284.16 c GARBAGE COLLECT
1280.64/1284.16 c #Conflicts: 923000 | #Constraints: 19835
1280.64/1284.16 c #Conflicts: 924000 | #Constraints: 20835
1280.64/1284.16 c #Conflicts: 925000 | #Constraints: 21835
1280.64/1284.16 c #Conflicts: 926000 | #Constraints: 22835
1280.64/1284.16 c #Conflicts: 927000 | #Constraints: 23835
1280.64/1284.16 c #Conflicts: 928000 | #Constraints: 24835
1280.64/1284.16 c #Conflicts: 929000 | #Constraints: 25835
1280.64/1284.16 c #Conflicts: 930000 | #Constraints: 26835
1421.03/1424.91 c #Conflicts: 931000 | #Constraints: 27835
1421.03/1424.91 c #Conflicts: 932000 | #Constraints: 28835
1421.03/1424.91 c #Conflicts: 933000 | #Constraints: 29835
1421.03/1424.91 c #Conflicts: 934000 | #Constraints: 30835
1421.03/1424.91 c #Conflicts: 935000 | #Constraints: 31835
1421.03/1424.91 c #Conflicts: 936000 | #Constraints: 32835
1421.03/1424.91 c #Conflicts: 937000 | #Constraints: 33835
1421.03/1424.91 c #Conflicts: 938000 | #Constraints: 34835
1421.03/1424.91 c #Conflicts: 939000 | #Constraints: 35835
1421.03/1424.91 c #Conflicts: 940000 | #Constraints: 36835
1421.03/1424.91 c #Conflicts: 941000 | #Constraints: 37835
1421.03/1424.91 c INPROCESSING
1421.03/1424.91 c GARBAGE COLLECT
1421.03/1424.91 c #Conflicts: 942000 | #Constraints: 19639
1421.03/1424.91 c #Conflicts: 943000 | #Constraints: 20639
1421.03/1424.91 c #Conflicts: 944000 | #Constraints: 21639
1421.03/1424.91 c #Conflicts: 945000 | #Constraints: 22639
1421.03/1424.91 c #Conflicts: 946000 | #Constraints: 23639
1421.03/1424.91 c #Conflicts: 947000 | #Constraints: 24639
1421.03/1424.91 c #Conflicts: 948000 | #Constraints: 25639
1421.03/1424.91 c #Conflicts: 949000 | #Constraints: 26639
1421.03/1424.91 c #Conflicts: 950000 | #Constraints: 27639
1421.03/1424.91 c #Conflicts: 951000 | #Constraints: 28639
1421.03/1424.91 c #Conflicts: 952000 | #Constraints: 29639
1421.03/1424.91 c #Conflicts: 953000 | #Constraints: 30639
1421.03/1424.91 c #Conflicts: 954000 | #Constraints: 31639
1421.03/1424.91 c #Conflicts: 955000 | #Constraints: 32639
1421.03/1424.91 c #Conflicts: 956000 | #Constraints: 33639
1421.03/1424.91 c #Conflicts: 957000 | #Constraints: 34639
1421.03/1424.91 c #Conflicts: 958000 | #Constraints: 35639
1421.03/1424.91 c #Conflicts: 959000 | #Constraints: 36639
1421.03/1424.91 c #Conflicts: 960000 | #Constraints: 37639
1421.03/1424.91 c #Conflicts: 961000 | #Constraints: 38639
1421.03/1424.91 c INPROCESSING
1421.03/1424.91 c GARBAGE COLLECT
1421.03/1424.91 c #Conflicts: 962000 | #Constraints: 20240
1421.03/1424.91 c #Conflicts: 963000 | #Constraints: 21240
1421.03/1424.91 c #Conflicts: 964000 | #Constraints: 22240
1421.03/1424.91 c #Conflicts: 965000 | #Constraints: 23240
1421.03/1424.91 c #Conflicts: 966000 | #Constraints: 24240
1421.03/1424.91 c #Conflicts: 967000 | #Constraints: 25240
1421.03/1424.91 c #Conflicts: 968000 | #Constraints: 26240
1421.03/1424.91 c #Conflicts: 969000 | #Constraints: 27240
1421.03/1424.91 c #Conflicts: 970000 | #Constraints: 28240
1421.03/1424.91 c #Conflicts: 971000 | #Constraints: 29240
1421.03/1424.91 c #Conflicts: 972000 | #Constraints: 30240
1421.03/1424.91 c #Conflicts: 973000 | #Constraints: 31240
1421.03/1424.91 c #Conflicts: 974000 | #Constraints: 32240
1421.03/1424.91 c #Conflicts: 975000 | #Constraints: 33240
1421.03/1424.91 c #Conflicts: 976000 | #Constraints: 34240
1421.03/1424.91 c #Conflicts: 977000 | #Constraints: 35240
1421.03/1424.91 c #Conflicts: 978000 | #Constraints: 36240
1421.03/1424.91 c #Conflicts: 979000 | #Constraints: 37240
1421.03/1424.91 c #Conflicts: 980000 | #Constraints: 38240
1421.03/1424.91 c #Conflicts: 981000 | #Constraints: 39240
1421.03/1424.91 c INPROCESSING
1421.03/1424.91 c GARBAGE COLLECT
1421.03/1424.91 c #Conflicts: 982000 | #Constraints: 20642
1421.03/1424.91 c #Conflicts: 983000 | #Constraints: 21642
1421.03/1424.91 c #Conflicts: 984000 | #Constraints: 22642
1421.03/1424.91 c #Conflicts: 985000 | #Constraints: 23642
1421.03/1424.91 c #Conflicts: 986000 | #Constraints: 24642
1421.03/1424.91 c #Conflicts: 987000 | #Constraints: 25642
1421.03/1424.91 c #Conflicts: 988000 | #Constraints: 26642
1421.03/1424.91 c #Conflicts: 989000 | #Constraints: 27642
1421.03/1424.91 c #Conflicts: 990000 | #Constraints: 28642
1421.03/1424.91 c #Conflicts: 991000 | #Constraints: 29642
1421.03/1424.91 c #Conflicts: 992000 | #Constraints: 30642
1421.03/1424.91 c #Conflicts: 993000 | #Constraints: 31642
1421.03/1424.91 c #Conflicts: 994000 | #Constraints: 32642
1421.03/1424.91 c #Conflicts: 995000 | #Constraints: 33642
1421.03/1424.91 c #Conflicts: 996000 | #Constraints: 34642
1421.03/1424.91 c #Conflicts: 997000 | #Constraints: 35642
1421.03/1424.91 c #Conflicts: 998000 | #Constraints: 36642
1421.03/1424.91 c #Conflicts: 999000 | #Constraints: 37642
1421.03/1424.91 c #Conflicts: 1000000 | #Constraints: 38642
1421.03/1424.91 c #Conflicts: 1001000 | #Constraints: 39642
1421.03/1424.91 c INPROCESSING
1421.03/1424.91 c GARBAGE COLLECT
1421.03/1424.91 c #Conflicts: 1002000 | #Constraints: 20845
1421.03/1424.91 c #Conflicts: 1003000 | #Constraints: 21845
1421.03/1424.91 c #Conflicts: 1004000 | #Constraints: 22845
1421.03/1424.91 c #Conflicts: 1005000 | #Constraints: 23845
1421.03/1424.91 c #Conflicts: 1006000 | #Constraints: 24845
1421.03/1424.91 c #Conflicts: 1007000 | #Constraints: 25845
1569.51/1573.82 c #Conflicts: 1008000 | #Constraints: 26845
1569.51/1573.82 c #Conflicts: 1009000 | #Constraints: 27845
1569.51/1573.82 c #Conflicts: 1010000 | #Constraints: 28845
1569.51/1573.82 c #Conflicts: 1011000 | #Constraints: 29845
1569.51/1573.82 c #Conflicts: 1012000 | #Constraints: 30845
1569.51/1573.82 c #Conflicts: 1013000 | #Constraints: 31845
1569.51/1573.82 c #Conflicts: 1014000 | #Constraints: 32845
1569.51/1573.82 c #Conflicts: 1015000 | #Constraints: 33845
1569.51/1573.82 c #Conflicts: 1016000 | #Constraints: 34845
1569.51/1573.82 c #Conflicts: 1017000 | #Constraints: 35845
1569.51/1573.82 c #Conflicts: 1018000 | #Constraints: 36845
1569.51/1573.82 c #Conflicts: 1019000 | #Constraints: 37845
1569.51/1573.82 c #Conflicts: 1020000 | #Constraints: 38845
1569.51/1573.82 c #Conflicts: 1021000 | #Constraints: 39845
1569.51/1573.82 c INPROCESSING
1569.51/1573.82 c GARBAGE COLLECT
1569.51/1573.82 c #Conflicts: 1022000 | #Constraints: 20845
1569.51/1573.82 c #Conflicts: 1023000 | #Constraints: 21845
1569.51/1573.82 c #Conflicts: 1024000 | #Constraints: 22845
1569.51/1573.82 c #Conflicts: 1025000 | #Constraints: 23845
1569.51/1573.82 c #Conflicts: 1026000 | #Constraints: 24845
1569.51/1573.82 c #Conflicts: 1027000 | #Constraints: 25845
1569.51/1573.82 c #Conflicts: 1028000 | #Constraints: 26845
1569.51/1573.82 c #Conflicts: 1029000 | #Constraints: 27845
1569.51/1573.82 c #Conflicts: 1030000 | #Constraints: 28845
1569.51/1573.82 c #Conflicts: 1031000 | #Constraints: 29845
1569.51/1573.82 c #Conflicts: 1032000 | #Constraints: 30845
1569.51/1573.82 c #Conflicts: 1033000 | #Constraints: 31845
1569.51/1573.82 c #Conflicts: 1034000 | #Constraints: 32845
1569.51/1573.82 c #Conflicts: 1035000 | #Constraints: 33845
1569.51/1573.82 c #Conflicts: 1036000 | #Constraints: 34845
1569.51/1573.82 c #Conflicts: 1037000 | #Constraints: 35845
1569.51/1573.82 c #Conflicts: 1038000 | #Constraints: 36845
1569.51/1573.82 c #Conflicts: 1039000 | #Constraints: 37845
1569.51/1573.82 c #Conflicts: 1040000 | #Constraints: 38845
1569.51/1573.82 c #Conflicts: 1041000 | #Constraints: 39845
1569.51/1573.82 c INPROCESSING
1569.51/1573.82 c GARBAGE COLLECT
1569.51/1573.82 c #Conflicts: 1042000 | #Constraints: 20647
1569.51/1573.82 c #Conflicts: 1043000 | #Constraints: 21647
1569.51/1573.82 c #Conflicts: 1044000 | #Constraints: 22647
1569.51/1573.82 c #Conflicts: 1045000 | #Constraints: 23647
1569.51/1573.82 c #Conflicts: 1046000 | #Constraints: 24647
1569.51/1573.82 c #Conflicts: 1047000 | #Constraints: 25647
1569.51/1573.82 c #Conflicts: 1048000 | #Constraints: 26647
1569.51/1573.82 c #Conflicts: 1049000 | #Constraints: 27647
1569.51/1573.82 c #Conflicts: 1050000 | #Constraints: 28647
1569.51/1573.82 c #Conflicts: 1051000 | #Constraints: 29647
1569.51/1573.82 c #Conflicts: 1052000 | #Constraints: 30647
1569.51/1573.82 c #Conflicts: 1053000 | #Constraints: 31647
1569.51/1573.82 c #Conflicts: 1054000 | #Constraints: 32647
1569.51/1573.82 c #Conflicts: 1055000 | #Constraints: 33647
1569.51/1573.82 c #Conflicts: 1056000 | #Constraints: 34647
1569.51/1573.82 c #Conflicts: 1057000 | #Constraints: 35647
1569.51/1573.82 c #Conflicts: 1058000 | #Constraints: 36647
1569.51/1573.82 c #Conflicts: 1059000 | #Constraints: 37647
1569.51/1573.82 c #Conflicts: 1060000 | #Constraints: 38647
1569.51/1573.82 c #Conflicts: 1061000 | #Constraints: 39647
1569.51/1573.82 c #Conflicts: 1062000 | #Constraints: 40647
1569.51/1573.82 c INPROCESSING
1569.51/1573.82 c GARBAGE COLLECT
1569.51/1573.82 c #Conflicts: 1063000 | #Constraints: 21246
1569.51/1573.82 c #Conflicts: 1064000 | #Constraints: 22246
1569.51/1573.82 c #Conflicts: 1065000 | #Constraints: 23246
1569.51/1573.82 c #Conflicts: 1066000 | #Constraints: 24246
1569.51/1573.82 c #Conflicts: 1067000 | #Constraints: 25246
1569.51/1573.82 c #Conflicts: 1068000 | #Constraints: 26246
1569.51/1573.82 c #Conflicts: 1069000 | #Constraints: 27246
1569.51/1573.82 c #Conflicts: 1070000 | #Constraints: 28246
1569.51/1573.82 c #Conflicts: 1071000 | #Constraints: 29246
1569.51/1573.82 c #Conflicts: 1072000 | #Constraints: 30246
1569.51/1573.82 c #Conflicts: 1073000 | #Constraints: 31246
1569.51/1573.82 c #Conflicts: 1074000 | #Constraints: 32246
1569.51/1573.82 c #Conflicts: 1075000 | #Constraints: 33246
1569.51/1573.82 c #Conflicts: 1076000 | #Constraints: 34246
1569.51/1573.82 c #Conflicts: 1077000 | #Constraints: 35246
1569.51/1573.82 c #Conflicts: 1078000 | #Constraints: 36246
1569.51/1573.82 c #Conflicts: 1079000 | #Constraints: 37246
1569.51/1573.82 c #Conflicts: 1080000 | #Constraints: 38246
1569.51/1573.82 c #Conflicts: 1081000 | #Constraints: 39246
1569.51/1573.82 c #Conflicts: 1082000 | #Constraints: 40246
1569.51/1573.82 c #Conflicts: 1083000 | #Constraints: 41246
1569.51/1573.82 c INPROCESSING
1728.56/1733.38 c GARBAGE COLLECT
1728.56/1733.38 c #Conflicts: 1084000 | #Constraints: 21645
1728.56/1733.38 c #Conflicts: 1085000 | #Constraints: 22645
1728.56/1733.38 c #Conflicts: 1086000 | #Constraints: 23645
1728.56/1733.38 c #Conflicts: 1087000 | #Constraints: 24645
1728.56/1733.38 c #Conflicts: 1088000 | #Constraints: 25645
1728.56/1733.38 c #Conflicts: 1089000 | #Constraints: 26645
1728.56/1733.38 c #Conflicts: 1090000 | #Constraints: 27645
1728.56/1733.38 c #Conflicts: 1091000 | #Constraints: 28645
1728.56/1733.38 c #Conflicts: 1092000 | #Constraints: 29645
1728.56/1733.38 c #Conflicts: 1093000 | #Constraints: 30645
1728.56/1733.38 c #Conflicts: 1094000 | #Constraints: 31645
1728.56/1733.38 c #Conflicts: 1095000 | #Constraints: 32645
1728.56/1733.38 c #Conflicts: 1096000 | #Constraints: 33645
1728.56/1733.38 c #Conflicts: 1097000 | #Constraints: 34645
1728.56/1733.38 c #Conflicts: 1098000 | #Constraints: 35645
1728.56/1733.38 c #Conflicts: 1099000 | #Constraints: 36645
1728.56/1733.38 c #Conflicts: 1100000 | #Constraints: 37645
1728.56/1733.38 c #Conflicts: 1101000 | #Constraints: 38645
1728.56/1733.38 c #Conflicts: 1102000 | #Constraints: 39645
1728.56/1733.38 c #Conflicts: 1103000 | #Constraints: 40645
1728.56/1733.38 c #Conflicts: 1104000 | #Constraints: 41645
1728.56/1733.38 c INPROCESSING
1728.56/1733.38 c GARBAGE COLLECT
1728.56/1733.38 c #Conflicts: 1105000 | #Constraints: 21843
1728.56/1733.38 c #Conflicts: 1106000 | #Constraints: 22843
1728.56/1733.38 c #Conflicts: 1107000 | #Constraints: 23843
1728.56/1733.38 c #Conflicts: 1108000 | #Constraints: 24843
1728.56/1733.38 c #Conflicts: 1109000 | #Constraints: 25843
1728.56/1733.38 c #Conflicts: 1110000 | #Constraints: 26843
1728.56/1733.38 c #Conflicts: 1111000 | #Constraints: 27843
1728.56/1733.38 c #Conflicts: 1112000 | #Constraints: 28843
1728.56/1733.38 c #Conflicts: 1113000 | #Constraints: 29843
1728.56/1733.38 c #Conflicts: 1114000 | #Constraints: 30843
1728.56/1733.38 c #Conflicts: 1115000 | #Constraints: 31843
1728.56/1733.38 c #Conflicts: 1116000 | #Constraints: 32843
1728.56/1733.38 c #Conflicts: 1117000 | #Constraints: 33843
1728.56/1733.38 c #Conflicts: 1118000 | #Constraints: 34843
1728.56/1733.38 c #Conflicts: 1119000 | #Constraints: 35843
1728.56/1733.38 c #Conflicts: 1120000 | #Constraints: 36843
1728.56/1733.38 c #Conflicts: 1121000 | #Constraints: 37843
1728.56/1733.38 c #Conflicts: 1122000 | #Constraints: 38843
1728.56/1733.38 c #Conflicts: 1123000 | #Constraints: 39843
1728.56/1733.38 c #Conflicts: 1124000 | #Constraints: 40843
1728.56/1733.38 c #Conflicts: 1125000 | #Constraints: 41843
1728.56/1733.38 c INPROCESSING
1728.56/1733.38 c GARBAGE COLLECT
1728.56/1733.38 c #Conflicts: 1126000 | #Constraints: 21843
1728.56/1733.38 c #Conflicts: 1127000 | #Constraints: 22843
1728.56/1733.38 c #Conflicts: 1128000 | #Constraints: 23843
1728.56/1733.38 c #Conflicts: 1129000 | #Constraints: 24843
1728.56/1733.38 c #Conflicts: 1130000 | #Constraints: 25843
1728.56/1733.38 c #Conflicts: 1131000 | #Constraints: 26843
1728.56/1733.38 c #Conflicts: 1132000 | #Constraints: 27843
1728.56/1733.38 c #Conflicts: 1133000 | #Constraints: 28843
1728.56/1733.38 c #Conflicts: 1134000 | #Constraints: 29843
1728.56/1733.38 c #Conflicts: 1135000 | #Constraints: 30843
1728.56/1733.38 c #Conflicts: 1136000 | #Constraints: 31843
1728.56/1733.38 c #Conflicts: 1137000 | #Constraints: 32843
1728.56/1733.38 c #Conflicts: 1138000 | #Constraints: 33843
1728.56/1733.38 c #Conflicts: 1139000 | #Constraints: 34843
1728.56/1733.38 c #Conflicts: 1140000 | #Constraints: 35843
1728.56/1733.38 c #Conflicts: 1141000 | #Constraints: 36843
1728.56/1733.38 c #Conflicts: 1142000 | #Constraints: 37843
1728.56/1733.38 c #Conflicts: 1143000 | #Constraints: 38843
1728.56/1733.38 c #Conflicts: 1144000 | #Constraints: 39843
1728.56/1733.38 c #Conflicts: 1145000 | #Constraints: 40843
1728.56/1733.38 c #Conflicts: 1146000 | #Constraints: 41843
1728.56/1733.38 c INPROCESSING
1728.56/1733.38 c GARBAGE COLLECT
1728.56/1733.38 c #Conflicts: 1147000 | #Constraints: 21636
1728.56/1733.38 c #Conflicts: 1148000 | #Constraints: 22636
1728.56/1733.38 c #Conflicts: 1149000 | #Constraints: 23636
1728.56/1733.38 c #Conflicts: 1150000 | #Constraints: 24636
1728.56/1733.38 c #Conflicts: 1151000 | #Constraints: 25636
1728.56/1733.38 c #Conflicts: 1152000 | #Constraints: 26636
1728.56/1733.38 c #Conflicts: 1153000 | #Constraints: 27636
1728.56/1733.38 c #Conflicts: 1154000 | #Constraints: 28636
1728.56/1733.38 c #Conflicts: 1155000 | #Constraints: 29636
1728.56/1733.38 c #Conflicts: 1156000 | #Constraints: 30636
1728.56/1733.38 c #Conflicts: 1157000 | #Constraints: 31636
1728.56/1733.38 c #Conflicts: 1158000 | #Constraints: 32636
1728.56/1733.38 c #Conflicts: 1159000 | #Constraints: 33636
1728.56/1733.38 c #Conflicts: 1160000 | #Constraints: 34636
1867.77/1872.94 c #Conflicts: 1161000 | #Constraints: 35636
1867.77/1872.94 c #Conflicts: 1162000 | #Constraints: 36636
1867.77/1872.94 c #Conflicts: 1163000 | #Constraints: 37636
1867.77/1872.94 c #Conflicts: 1164000 | #Constraints: 38636
1867.77/1872.94 c #Conflicts: 1165000 | #Constraints: 39636
1867.77/1872.94 c #Conflicts: 1166000 | #Constraints: 40636
1867.77/1872.94 c #Conflicts: 1167000 | #Constraints: 41636
1867.77/1872.94 c #Conflicts: 1168000 | #Constraints: 42636
1867.77/1872.94 c INPROCESSING
1867.77/1872.94 c GARBAGE COLLECT
1867.77/1872.94 c #Conflicts: 1169000 | #Constraints: 22236
1867.77/1872.94 c #Conflicts: 1170000 | #Constraints: 23236
1867.77/1872.94 c #Conflicts: 1171000 | #Constraints: 24236
1867.77/1872.94 c #Conflicts: 1172000 | #Constraints: 25236
1867.77/1872.94 c #Conflicts: 1173000 | #Constraints: 26236
1867.77/1872.94 c #Conflicts: 1174000 | #Constraints: 27236
1867.77/1872.94 c #Conflicts: 1175000 | #Constraints: 28236
1867.77/1872.94 c #Conflicts: 1176000 | #Constraints: 29236
1867.77/1872.94 c #Conflicts: 1177000 | #Constraints: 30236
1867.77/1872.94 c #Conflicts: 1178000 | #Constraints: 31236
1867.77/1872.94 c #Conflicts: 1179000 | #Constraints: 32236
1867.77/1872.94 c #Conflicts: 1180000 | #Constraints: 33236
1867.77/1872.94 c #Conflicts: 1181000 | #Constraints: 34236
1867.77/1872.94 c #Conflicts: 1182000 | #Constraints: 35236
1867.77/1872.94 c #Conflicts: 1183000 | #Constraints: 36236
1867.77/1872.94 c #Conflicts: 1184000 | #Constraints: 37236
1867.77/1872.94 c #Conflicts: 1185000 | #Constraints: 38236
1867.77/1872.94 c #Conflicts: 1186000 | #Constraints: 39236
1867.77/1872.94 c #Conflicts: 1187000 | #Constraints: 40236
1867.77/1872.94 c #Conflicts: 1188000 | #Constraints: 41236
1867.77/1872.94 c #Conflicts: 1189000 | #Constraints: 42236
1867.77/1872.94 c #Conflicts: 1190000 | #Constraints: 43236
1867.77/1872.94 c INPROCESSING
1867.77/1872.94 c GARBAGE COLLECT
1867.77/1872.94 c #Conflicts: 1191000 | #Constraints: 22640
1867.77/1872.94 c #Conflicts: 1192000 | #Constraints: 23640
1867.77/1872.94 c #Conflicts: 1193000 | #Constraints: 24640
1867.77/1872.94 c #Conflicts: 1194000 | #Constraints: 25640
1867.77/1872.94 c #Conflicts: 1195000 | #Constraints: 26640
1867.77/1872.94 c #Conflicts: 1196000 | #Constraints: 27640
1867.77/1872.94 c #Conflicts: 1197000 | #Constraints: 28640
1867.77/1872.94 c #Conflicts: 1198000 | #Constraints: 29640
1867.77/1872.94 c #Conflicts: 1199000 | #Constraints: 30640
1867.77/1872.94 c #Conflicts: 1200000 | #Constraints: 31640
1867.77/1872.94 c #Conflicts: 1201000 | #Constraints: 32640
1867.77/1872.94 c #Conflicts: 1202000 | #Constraints: 33640
1867.77/1872.94 c #Conflicts: 1203000 | #Constraints: 34640
1867.77/1872.94 c #Conflicts: 1204000 | #Constraints: 35640
1867.77/1872.94 c #Conflicts: 1205000 | #Constraints: 36640
1867.77/1872.94 c #Conflicts: 1206000 | #Constraints: 37640
1867.77/1872.94 c #Conflicts: 1207000 | #Constraints: 38640
1867.77/1872.94 c #Conflicts: 1208000 | #Constraints: 39640
1867.77/1872.94 c #Conflicts: 1209000 | #Constraints: 40640
1867.77/1872.94 c #Conflicts: 1210000 | #Constraints: 41640
1867.77/1872.94 c #Conflicts: 1211000 | #Constraints: 42640
1867.77/1872.94 c #Conflicts: 1212000 | #Constraints: 43640
1867.77/1872.94 c INPROCESSING
1867.77/1872.94 c GARBAGE COLLECT
1867.77/1872.94 c #Conflicts: 1213000 | #Constraints: 22839
1867.77/1872.94 c #Conflicts: 1214000 | #Constraints: 23839
1867.77/1872.94 c #Conflicts: 1215000 | #Constraints: 24839
1867.77/1872.94 c #Conflicts: 1216000 | #Constraints: 25839
1867.77/1872.94 c #Conflicts: 1217000 | #Constraints: 26839
1867.77/1872.94 c #Conflicts: 1218000 | #Constraints: 27839
1867.77/1872.94 c #Conflicts: 1219000 | #Constraints: 28839
1867.77/1872.94 c #Conflicts: 1220000 | #Constraints: 29839
1867.77/1872.94 c #Conflicts: 1221000 | #Constraints: 30839
1867.77/1872.94 c #Conflicts: 1222000 | #Constraints: 31839
1867.77/1872.94 c #Conflicts: 1223000 | #Constraints: 32839
1867.77/1872.94 c #Conflicts: 1224000 | #Constraints: 33839
1867.77/1872.94 c #Conflicts: 1225000 | #Constraints: 34839
1867.77/1872.94 c #Conflicts: 1226000 | #Constraints: 35839
1867.77/1872.94 c #Conflicts: 1227000 | #Constraints: 36839
1867.77/1872.94 c #Conflicts: 1228000 | #Constraints: 37839
1867.77/1872.94 c #Conflicts: 1229000 | #Constraints: 38839
1867.77/1872.94 c #Conflicts: 1230000 | #Constraints: 39839
1867.77/1872.94 c #Conflicts: 1231000 | #Constraints: 40839
1867.77/1872.94 c #Conflicts: 1232000 | #Constraints: 41839
1867.77/1872.94 c #Conflicts: 1233000 | #Constraints: 42839
1867.77/1872.94 c #Conflicts: 1234000 | #Constraints: 43839
1867.77/1872.94 c INPROCESSING
1867.77/1872.94 c GARBAGE COLLECT
1867.77/1872.94 c #Conflicts: 1235000 | #Constraints: 22836
1867.77/1872.94 c #Conflicts: 1236000 | #Constraints: 23836
2007.78/2013.36 c #Conflicts: 1237000 | #Constraints: 24836
2007.78/2013.36 c #Conflicts: 1238000 | #Constraints: 25836
2007.78/2013.36 c #Conflicts: 1239000 | #Constraints: 26836
2007.78/2013.36 c #Conflicts: 1240000 | #Constraints: 27836
2007.78/2013.36 c #Conflicts: 1241000 | #Constraints: 28836
2007.78/2013.36 c #Conflicts: 1242000 | #Constraints: 29836
2007.78/2013.36 c #Conflicts: 1243000 | #Constraints: 30836
2007.78/2013.36 c #Conflicts: 1244000 | #Constraints: 31836
2007.78/2013.36 c #Conflicts: 1245000 | #Constraints: 32836
2007.78/2013.36 c #Conflicts: 1246000 | #Constraints: 33836
2007.78/2013.36 c #Conflicts: 1247000 | #Constraints: 34836
2007.78/2013.36 c #Conflicts: 1248000 | #Constraints: 35836
2007.78/2013.36 c #Conflicts: 1249000 | #Constraints: 36836
2007.78/2013.36 c #Conflicts: 1250000 | #Constraints: 37836
2007.78/2013.36 c #Conflicts: 1251000 | #Constraints: 38836
2007.78/2013.36 c #Conflicts: 1252000 | #Constraints: 39836
2007.78/2013.36 c #Conflicts: 1253000 | #Constraints: 40836
2007.78/2013.36 c #Conflicts: 1254000 | #Constraints: 41836
2007.78/2013.36 c #Conflicts: 1255000 | #Constraints: 42836
2007.78/2013.36 c #Conflicts: 1256000 | #Constraints: 43836
2007.78/2013.36 c INPROCESSING
2007.78/2013.36 c GARBAGE COLLECT
2007.78/2013.36 c #Conflicts: 1257000 | #Constraints: 22636
2007.78/2013.36 c #Conflicts: 1258000 | #Constraints: 23636
2007.78/2013.36 c #Conflicts: 1259000 | #Constraints: 24636
2007.78/2013.36 c #Conflicts: 1260000 | #Constraints: 25636
2007.78/2013.36 c #Conflicts: 1261000 | #Constraints: 26636
2007.78/2013.36 c #Conflicts: 1262000 | #Constraints: 27636
2007.78/2013.36 c #Conflicts: 1263000 | #Constraints: 28636
2007.78/2013.36 c #Conflicts: 1264000 | #Constraints: 29636
2007.78/2013.36 c #Conflicts: 1265000 | #Constraints: 30636
2007.78/2013.36 c #Conflicts: 1266000 | #Constraints: 31636
2007.78/2013.36 c #Conflicts: 1267000 | #Constraints: 32636
2007.78/2013.36 c #Conflicts: 1268000 | #Constraints: 33636
2007.78/2013.36 c #Conflicts: 1269000 | #Constraints: 34636
2007.78/2013.36 c #Conflicts: 1270000 | #Constraints: 35636
2007.78/2013.36 c #Conflicts: 1271000 | #Constraints: 36636
2007.78/2013.36 c #Conflicts: 1272000 | #Constraints: 37636
2007.78/2013.36 c #Conflicts: 1273000 | #Constraints: 38636
2007.78/2013.36 c #Conflicts: 1274000 | #Constraints: 39636
2007.78/2013.36 c #Conflicts: 1275000 | #Constraints: 40636
2007.78/2013.36 c #Conflicts: 1276000 | #Constraints: 41636
2007.78/2013.36 c #Conflicts: 1277000 | #Constraints: 42636
2007.78/2013.36 c #Conflicts: 1278000 | #Constraints: 43636
2007.78/2013.36 c #Conflicts: 1279000 | #Constraints: 44636
2007.78/2013.36 c INPROCESSING
2007.78/2013.36 c GARBAGE COLLECT
2007.78/2013.36 c #Conflicts: 1280000 | #Constraints: 23233
2007.78/2013.36 c #Conflicts: 1281000 | #Constraints: 24233
2007.78/2013.36 c #Conflicts: 1282000 | #Constraints: 25233
2007.78/2013.36 c #Conflicts: 1283000 | #Constraints: 26233
2007.78/2013.36 c #Conflicts: 1284000 | #Constraints: 27233
2007.78/2013.36 c #Conflicts: 1285000 | #Constraints: 28233
2007.78/2013.36 c #Conflicts: 1286000 | #Constraints: 29233
2007.78/2013.36 c #Conflicts: 1287000 | #Constraints: 30233
2007.78/2013.36 c #Conflicts: 1288000 | #Constraints: 31233
2007.78/2013.36 c #Conflicts: 1289000 | #Constraints: 32233
2007.78/2013.36 c #Conflicts: 1290000 | #Constraints: 33233
2007.78/2013.36 c #Conflicts: 1291000 | #Constraints: 34233
2007.78/2013.36 c #Conflicts: 1292000 | #Constraints: 35233
2007.78/2013.36 c #Conflicts: 1293000 | #Constraints: 36233
2007.78/2013.36 c #Conflicts: 1294000 | #Constraints: 37233
2007.78/2013.36 c #Conflicts: 1295000 | #Constraints: 38233
2007.78/2013.36 c #Conflicts: 1296000 | #Constraints: 39233
2007.78/2013.36 c #Conflicts: 1297000 | #Constraints: 40233
2007.78/2013.36 c #Conflicts: 1298000 | #Constraints: 41233
2007.78/2013.36 c #Conflicts: 1299000 | #Constraints: 42233
2007.78/2013.36 c #Conflicts: 1300000 | #Constraints: 43233
2007.78/2013.36 c #Conflicts: 1301000 | #Constraints: 44233
2007.78/2013.36 c #Conflicts: 1302000 | #Constraints: 45233
2007.78/2013.36 c INPROCESSING
2007.78/2013.36 c GARBAGE COLLECT
2007.78/2013.36 c #Conflicts: 1303000 | #Constraints: 23632
2007.78/2013.36 c #Conflicts: 1304000 | #Constraints: 24632
2007.78/2013.36 c #Conflicts: 1305000 | #Constraints: 25632
2007.78/2013.36 c #Conflicts: 1306000 | #Constraints: 26632
2007.78/2013.36 c #Conflicts: 1307000 | #Constraints: 27632
2007.78/2013.36 c #Conflicts: 1308000 | #Constraints: 28632
2007.78/2013.36 c #Conflicts: 1309000 | #Constraints: 29632
2007.78/2013.36 c #Conflicts: 1310000 | #Constraints: 30632
2007.78/2013.36 c #Conflicts: 1311000 | #Constraints: 31632
2007.78/2013.36 c #Conflicts: 1312000 | #Constraints: 32632
2007.78/2013.36 c #Conflicts: 1313000 | #Constraints: 33632
2161.15/2167.19 c #Conflicts: 1314000 | #Constraints: 34632
2161.15/2167.19 c #Conflicts: 1315000 | #Constraints: 35632
2161.15/2167.19 c #Conflicts: 1316000 | #Constraints: 36632
2161.15/2167.19 c #Conflicts: 1317000 | #Constraints: 37632
2161.15/2167.19 c #Conflicts: 1318000 | #Constraints: 38632
2161.15/2167.19 c #Conflicts: 1319000 | #Constraints: 39632
2161.15/2167.19 c #Conflicts: 1320000 | #Constraints: 40632
2161.15/2167.19 c #Conflicts: 1321000 | #Constraints: 41632
2161.15/2167.19 c #Conflicts: 1322000 | #Constraints: 42632
2161.15/2167.19 c #Conflicts: 1323000 | #Constraints: 43632
2161.15/2167.19 c #Conflicts: 1324000 | #Constraints: 44632
2161.15/2167.19 c #Conflicts: 1325000 | #Constraints: 45632
2161.15/2167.19 c INPROCESSING
2161.15/2167.19 c GARBAGE COLLECT
2161.15/2167.19 c #Conflicts: 1326000 | #Constraints: 23838
2161.15/2167.19 c #Conflicts: 1327000 | #Constraints: 24838
2161.15/2167.19 c #Conflicts: 1328000 | #Constraints: 25838
2161.15/2167.19 c #Conflicts: 1329000 | #Constraints: 26838
2161.15/2167.19 c #Conflicts: 1330000 | #Constraints: 27838
2161.15/2167.19 c #Conflicts: 1331000 | #Constraints: 28838
2161.15/2167.19 c #Conflicts: 1332000 | #Constraints: 29838
2161.15/2167.19 c #Conflicts: 1333000 | #Constraints: 30838
2161.15/2167.19 c #Conflicts: 1334000 | #Constraints: 31838
2161.15/2167.19 c #Conflicts: 1335000 | #Constraints: 32838
2161.15/2167.19 c #Conflicts: 1336000 | #Constraints: 33838
2161.15/2167.19 c #Conflicts: 1337000 | #Constraints: 34838
2161.15/2167.19 c #Conflicts: 1338000 | #Constraints: 35838
2161.15/2167.19 c #Conflicts: 1339000 | #Constraints: 36838
2161.15/2167.19 c #Conflicts: 1340000 | #Constraints: 37838
2161.15/2167.19 c #Conflicts: 1341000 | #Constraints: 38838
2161.15/2167.19 c #Conflicts: 1342000 | #Constraints: 39838
2161.15/2167.19 c #Conflicts: 1343000 | #Constraints: 40838
2161.15/2167.19 c #Conflicts: 1344000 | #Constraints: 41838
2161.15/2167.19 c #Conflicts: 1345000 | #Constraints: 42838
2161.15/2167.19 c #Conflicts: 1346000 | #Constraints: 43838
2161.15/2167.19 c #Conflicts: 1347000 | #Constraints: 44838
2161.15/2167.19 c #Conflicts: 1348000 | #Constraints: 45838
2161.15/2167.19 c INPROCESSING
2161.15/2167.19 c GARBAGE COLLECT
2161.15/2167.19 c #Conflicts: 1349000 | #Constraints: 23840
2161.15/2167.19 c #Conflicts: 1350000 | #Constraints: 24840
2161.15/2167.19 c #Conflicts: 1351000 | #Constraints: 25840
2161.15/2167.19 c #Conflicts: 1352000 | #Constraints: 26840
2161.15/2167.19 c #Conflicts: 1353000 | #Constraints: 27840
2161.15/2167.19 c #Conflicts: 1354000 | #Constraints: 28840
2161.15/2167.19 c #Conflicts: 1355000 | #Constraints: 29840
2161.15/2167.19 c #Conflicts: 1356000 | #Constraints: 30840
2161.15/2167.19 c #Conflicts: 1357000 | #Constraints: 31840
2161.15/2167.19 c #Conflicts: 1358000 | #Constraints: 32840
2161.15/2167.19 c #Conflicts: 1359000 | #Constraints: 33840
2161.15/2167.19 c #Conflicts: 1360000 | #Constraints: 34840
2161.15/2167.19 c #Conflicts: 1361000 | #Constraints: 35840
2161.15/2167.19 c #Conflicts: 1362000 | #Constraints: 36840
2161.15/2167.19 c #Conflicts: 1363000 | #Constraints: 37840
2161.15/2167.19 c #Conflicts: 1364000 | #Constraints: 38840
2161.15/2167.19 c #Conflicts: 1365000 | #Constraints: 39840
2161.15/2167.19 c #Conflicts: 1366000 | #Constraints: 40840
2161.15/2167.19 c #Conflicts: 1367000 | #Constraints: 41840
2161.15/2167.19 c #Conflicts: 1368000 | #Constraints: 42840
2161.15/2167.19 c #Conflicts: 1369000 | #Constraints: 43840
2161.15/2167.19 c #Conflicts: 1370000 | #Constraints: 44840
2161.15/2167.19 c #Conflicts: 1371000 | #Constraints: 45840
2161.15/2167.19 c INPROCESSING
2161.15/2167.19 c GARBAGE COLLECT
2161.15/2167.19 c #Conflicts: 1372000 | #Constraints: 23637
2161.15/2167.19 c #Conflicts: 1373000 | #Constraints: 24637
2161.15/2167.19 c #Conflicts: 1374000 | #Constraints: 25637
2161.15/2167.19 c #Conflicts: 1375000 | #Constraints: 26637
2161.15/2167.19 c #Conflicts: 1376000 | #Constraints: 27637
2161.15/2167.19 c #Conflicts: 1377000 | #Constraints: 28637
2161.15/2167.19 c #Conflicts: 1378000 | #Constraints: 29637
2161.15/2167.19 c #Conflicts: 1379000 | #Constraints: 30637
2161.15/2167.19 c #Conflicts: 1380000 | #Constraints: 31637
2161.15/2167.19 c #Conflicts: 1381000 | #Constraints: 32637
2161.15/2167.19 c #Conflicts: 1382000 | #Constraints: 33637
2161.15/2167.19 c #Conflicts: 1383000 | #Constraints: 34637
2161.15/2167.19 c #Conflicts: 1384000 | #Constraints: 35637
2161.15/2167.19 c #Conflicts: 1385000 | #Constraints: 36637
2161.15/2167.19 c #Conflicts: 1386000 | #Constraints: 37637
2161.15/2167.19 c #Conflicts: 1387000 | #Constraints: 38637
2161.15/2167.19 c #Conflicts: 1388000 | #Constraints: 39637
2161.15/2167.19 c #Conflicts: 1389000 | #Constraints: 40637
2161.15/2167.19 c #Conflicts: 1390000 | #Constraints: 41637
2320.39/2326.85 c #Conflicts: 1391000 | #Constraints: 42637
2320.39/2326.85 c #Conflicts: 1392000 | #Constraints: 43637
2320.39/2326.85 c #Conflicts: 1393000 | #Constraints: 44637
2320.39/2326.85 c #Conflicts: 1394000 | #Constraints: 45637
2320.39/2326.85 c #Conflicts: 1395000 | #Constraints: 46637
2320.39/2326.85 c INPROCESSING
2320.39/2326.85 c GARBAGE COLLECT
2320.39/2326.85 c #Conflicts: 1396000 | #Constraints: 24239
2320.39/2326.85 c #Conflicts: 1397000 | #Constraints: 25239
2320.39/2326.85 c #Conflicts: 1398000 | #Constraints: 26239
2320.39/2326.85 c #Conflicts: 1399000 | #Constraints: 27239
2320.39/2326.85 c #Conflicts: 1400000 | #Constraints: 28239
2320.39/2326.85 c #Conflicts: 1401000 | #Constraints: 29239
2320.39/2326.85 c #Conflicts: 1402000 | #Constraints: 30239
2320.39/2326.85 c #Conflicts: 1403000 | #Constraints: 31239
2320.39/2326.85 c #Conflicts: 1404000 | #Constraints: 32239
2320.39/2326.85 c #Conflicts: 1405000 | #Constraints: 33239
2320.39/2326.85 c #Conflicts: 1406000 | #Constraints: 34239
2320.39/2326.85 c #Conflicts: 1407000 | #Constraints: 35239
2320.39/2326.85 c #Conflicts: 1408000 | #Constraints: 36239
2320.39/2326.85 c #Conflicts: 1409000 | #Constraints: 37239
2320.39/2326.85 c #Conflicts: 1410000 | #Constraints: 38239
2320.39/2326.85 c #Conflicts: 1411000 | #Constraints: 39239
2320.39/2326.85 c #Conflicts: 1412000 | #Constraints: 40239
2320.39/2326.85 c #Conflicts: 1413000 | #Constraints: 41239
2320.39/2326.85 c #Conflicts: 1414000 | #Constraints: 42239
2320.39/2326.85 c #Conflicts: 1415000 | #Constraints: 43239
2320.39/2326.85 c #Conflicts: 1416000 | #Constraints: 44239
2320.39/2326.85 c #Conflicts: 1417000 | #Constraints: 45239
2320.39/2326.85 c #Conflicts: 1418000 | #Constraints: 46239
2320.39/2326.85 c #Conflicts: 1419000 | #Constraints: 47239
2320.39/2326.85 c INPROCESSING
2320.39/2326.85 c GARBAGE COLLECT
2320.39/2326.85 c #Conflicts: 1420000 | #Constraints: 24636
2320.39/2326.85 c #Conflicts: 1421000 | #Constraints: 25636
2320.39/2326.85 c #Conflicts: 1422000 | #Constraints: 26636
2320.39/2326.85 c #Conflicts: 1423000 | #Constraints: 27636
2320.39/2326.85 c #Conflicts: 1424000 | #Constraints: 28636
2320.39/2326.85 c #Conflicts: 1425000 | #Constraints: 29636
2320.39/2326.85 c #Conflicts: 1426000 | #Constraints: 30636
2320.39/2326.85 c #Conflicts: 1427000 | #Constraints: 31636
2320.39/2326.85 c #Conflicts: 1428000 | #Constraints: 32636
2320.39/2326.85 c #Conflicts: 1429000 | #Constraints: 33636
2320.39/2326.85 c #Conflicts: 1430000 | #Constraints: 34636
2320.39/2326.85 c #Conflicts: 1431000 | #Constraints: 35636
2320.39/2326.85 c #Conflicts: 1432000 | #Constraints: 36636
2320.39/2326.85 c #Conflicts: 1433000 | #Constraints: 37636
2320.39/2326.85 c #Conflicts: 1434000 | #Constraints: 38636
2320.39/2326.85 c #Conflicts: 1435000 | #Constraints: 39636
2320.39/2326.85 c #Conflicts: 1436000 | #Constraints: 40636
2320.39/2326.85 c #Conflicts: 1437000 | #Constraints: 41636
2320.39/2326.85 c #Conflicts: 1438000 | #Constraints: 42636
2320.39/2326.85 c #Conflicts: 1439000 | #Constraints: 43636
2320.39/2326.85 c #Conflicts: 1440000 | #Constraints: 44636
2320.39/2326.85 c #Conflicts: 1441000 | #Constraints: 45636
2320.39/2326.85 c #Conflicts: 1442000 | #Constraints: 46636
2320.39/2326.85 c #Conflicts: 1443000 | #Constraints: 47636
2320.39/2326.85 c INPROCESSING
2320.39/2326.85 c GARBAGE COLLECT
2320.39/2326.85 c #Conflicts: 1444000 | #Constraints: 24838
2320.39/2326.85 c #Conflicts: 1445000 | #Constraints: 25838
2320.39/2326.85 c #Conflicts: 1446000 | #Constraints: 26838
2320.39/2326.85 c #Conflicts: 1447000 | #Constraints: 27838
2320.39/2326.85 c #Conflicts: 1448000 | #Constraints: 28838
2320.39/2326.85 c #Conflicts: 1449000 | #Constraints: 29838
2320.39/2326.85 c #Conflicts: 1450000 | #Constraints: 30838
2320.39/2326.85 c #Conflicts: 1451000 | #Constraints: 31838
2320.39/2326.85 c #Conflicts: 1452000 | #Constraints: 32838
2320.39/2326.85 c #Conflicts: 1453000 | #Constraints: 33838
2320.39/2326.85 c #Conflicts: 1454000 | #Constraints: 34838
2320.39/2326.85 c #Conflicts: 1455000 | #Constraints: 35838
2320.39/2326.85 c #Conflicts: 1456000 | #Constraints: 36838
2320.39/2326.85 c #Conflicts: 1457000 | #Constraints: 37838
2320.39/2326.85 c #Conflicts: 1458000 | #Constraints: 38838
2320.39/2326.85 c #Conflicts: 1459000 | #Constraints: 39838
2320.39/2326.85 c #Conflicts: 1460000 | #Constraints: 40838
2320.39/2326.85 c #Conflicts: 1461000 | #Constraints: 41838
2320.39/2326.85 c #Conflicts: 1462000 | #Constraints: 42838
2320.39/2326.85 c #Conflicts: 1463000 | #Constraints: 43838
2320.39/2326.85 c #Conflicts: 1464000 | #Constraints: 44838
2320.39/2326.85 c #Conflicts: 1465000 | #Constraints: 45838
2320.39/2326.85 c #Conflicts: 1466000 | #Constraints: 46838
2320.39/2326.85 c #Conflicts: 1467000 | #Constraints: 47838
2484.02/2490.93 c INPROCESSING
2484.02/2490.93 c GARBAGE COLLECT
2484.02/2490.93 c #Conflicts: 1468000 | #Constraints: 24835
2484.02/2490.93 c #Conflicts: 1469000 | #Constraints: 25835
2484.02/2490.93 c #Conflicts: 1470000 | #Constraints: 26835
2484.02/2490.93 c #Conflicts: 1471000 | #Constraints: 27835
2484.02/2490.93 c #Conflicts: 1472000 | #Constraints: 28835
2484.02/2490.93 c #Conflicts: 1473000 | #Constraints: 29835
2484.02/2490.93 c #Conflicts: 1474000 | #Constraints: 30835
2484.02/2490.93 c #Conflicts: 1475000 | #Constraints: 31835
2484.02/2490.93 c #Conflicts: 1476000 | #Constraints: 32835
2484.02/2490.93 c #Conflicts: 1477000 | #Constraints: 33835
2484.02/2490.93 c #Conflicts: 1478000 | #Constraints: 34835
2484.02/2490.93 c #Conflicts: 1479000 | #Constraints: 35835
2484.02/2490.93 c #Conflicts: 1480000 | #Constraints: 36835
2484.02/2490.93 c #Conflicts: 1481000 | #Constraints: 37835
2484.02/2490.93 c #Conflicts: 1482000 | #Constraints: 38835
2484.02/2490.93 c #Conflicts: 1483000 | #Constraints: 39835
2484.02/2490.93 c #Conflicts: 1484000 | #Constraints: 40835
2484.02/2490.93 c #Conflicts: 1485000 | #Constraints: 41835
2484.02/2490.93 c #Conflicts: 1486000 | #Constraints: 42835
2484.02/2490.93 c #Conflicts: 1487000 | #Constraints: 43835
2484.02/2490.93 c #Conflicts: 1488000 | #Constraints: 44835
2484.02/2490.93 c #Conflicts: 1489000 | #Constraints: 45835
2484.02/2490.93 c #Conflicts: 1490000 | #Constraints: 46835
2484.02/2490.93 c #Conflicts: 1491000 | #Constraints: 47835
2484.02/2490.93 c INPROCESSING
2484.02/2490.93 c GARBAGE COLLECT
2484.02/2490.93 c #Conflicts: 1492000 | #Constraints: 24636
2484.02/2490.93 c #Conflicts: 1493000 | #Constraints: 25636
2484.02/2490.93 c #Conflicts: 1494000 | #Constraints: 26636
2484.02/2490.93 c #Conflicts: 1495000 | #Constraints: 27636
2484.02/2490.93 c #Conflicts: 1496000 | #Constraints: 28636
2484.02/2490.93 c #Conflicts: 1497000 | #Constraints: 29636
2484.02/2490.93 c #Conflicts: 1498000 | #Constraints: 30636
2484.02/2490.93 c #Conflicts: 1499000 | #Constraints: 31636
2484.02/2490.93 c #Conflicts: 1500000 | #Constraints: 32636
2484.02/2490.93 c #Conflicts: 1501000 | #Constraints: 33636
2484.02/2490.93 c #Conflicts: 1502000 | #Constraints: 34636
2484.02/2490.93 c #Conflicts: 1503000 | #Constraints: 35636
2484.02/2490.93 c #Conflicts: 1504000 | #Constraints: 36636
2484.02/2490.93 c #Conflicts: 1505000 | #Constraints: 37636
2484.02/2490.93 c #Conflicts: 1506000 | #Constraints: 38636
2484.02/2490.93 c #Conflicts: 1507000 | #Constraints: 39636
2484.02/2490.93 c #Conflicts: 1508000 | #Constraints: 40636
2484.02/2490.93 c #Conflicts: 1509000 | #Constraints: 41636
2484.02/2490.93 c #Conflicts: 1510000 | #Constraints: 42636
2484.02/2490.93 c #Conflicts: 1511000 | #Constraints: 43636
2484.02/2490.93 c #Conflicts: 1512000 | #Constraints: 44636
2484.02/2490.93 c #Conflicts: 1513000 | #Constraints: 45636
2484.02/2490.93 c #Conflicts: 1514000 | #Constraints: 46636
2484.02/2490.93 c #Conflicts: 1515000 | #Constraints: 47636
2484.02/2490.93 c #Conflicts: 1516000 | #Constraints: 48636
2484.02/2490.93 c INPROCESSING
2484.02/2490.93 c GARBAGE COLLECT
2484.02/2490.93 c #Conflicts: 1517000 | #Constraints: 25238
2484.02/2490.93 c #Conflicts: 1518000 | #Constraints: 26238
2484.02/2490.93 c #Conflicts: 1519000 | #Constraints: 27238
2484.02/2490.93 c #Conflicts: 1520000 | #Constraints: 28238
2484.02/2490.93 c #Conflicts: 1521000 | #Constraints: 29238
2484.02/2490.93 c #Conflicts: 1522000 | #Constraints: 30238
2484.02/2490.93 c #Conflicts: 1523000 | #Constraints: 31238
2484.02/2490.93 c #Conflicts: 1524000 | #Constraints: 32238
2484.02/2490.93 c #Conflicts: 1525000 | #Constraints: 33238
2484.02/2490.93 c #Conflicts: 1526000 | #Constraints: 34238
2484.02/2490.93 c #Conflicts: 1527000 | #Constraints: 35238
2484.02/2490.93 c #Conflicts: 1528000 | #Constraints: 36238
2484.02/2490.93 c #Conflicts: 1529000 | #Constraints: 37238
2484.02/2490.93 c #Conflicts: 1530000 | #Constraints: 38238
2484.02/2490.93 c #Conflicts: 1531000 | #Constraints: 39238
2484.02/2490.93 c #Conflicts: 1532000 | #Constraints: 40238
2484.02/2490.93 c #Conflicts: 1533000 | #Constraints: 41238
2484.02/2490.93 c #Conflicts: 1534000 | #Constraints: 42238
2484.02/2490.93 c #Conflicts: 1535000 | #Constraints: 43238
2484.02/2490.93 c #Conflicts: 1536000 | #Constraints: 44238
2484.02/2490.93 c #Conflicts: 1537000 | #Constraints: 45238
2484.02/2490.93 c #Conflicts: 1538000 | #Constraints: 46238
2484.02/2490.93 c #Conflicts: 1539000 | #Constraints: 47238
2484.02/2490.93 c #Conflicts: 1540000 | #Constraints: 48238
2484.02/2490.93 c #Conflicts: 1541000 | #Constraints: 49238
2484.02/2490.93 c INPROCESSING
2484.02/2490.93 c GARBAGE COLLECT
2484.02/2490.93 c #Conflicts: 1542000 | #Constraints: 25638
2484.02/2490.93 c #Conflicts: 1543000 | #Constraints: 26638
2691.24/2698.75 c #Conflicts: 1544000 | #Constraints: 27638
2691.24/2698.75 c #Conflicts: 1545000 | #Constraints: 28638
2691.24/2698.75 c #Conflicts: 1546000 | #Constraints: 29638
2691.24/2698.75 c #Conflicts: 1547000 | #Constraints: 30638
2691.24/2698.75 c #Conflicts: 1548000 | #Constraints: 31638
2691.24/2698.75 c #Conflicts: 1549000 | #Constraints: 32638
2691.24/2698.75 c #Conflicts: 1550000 | #Constraints: 33638
2691.24/2698.75 c #Conflicts: 1551000 | #Constraints: 34638
2691.24/2698.75 c #Conflicts: 1552000 | #Constraints: 35638
2691.24/2698.75 c #Conflicts: 1553000 | #Constraints: 36638
2691.24/2698.75 c #Conflicts: 1554000 | #Constraints: 37638
2691.24/2698.75 c #Conflicts: 1555000 | #Constraints: 38638
2691.24/2698.75 c #Conflicts: 1556000 | #Constraints: 39638
2691.24/2698.75 c #Conflicts: 1557000 | #Constraints: 40638
2691.24/2698.75 c #Conflicts: 1558000 | #Constraints: 41638
2691.24/2698.75 c #Conflicts: 1559000 | #Constraints: 42638
2691.24/2698.75 c #Conflicts: 1560000 | #Constraints: 43638
2691.24/2698.75 c #Conflicts: 1561000 | #Constraints: 44638
2691.24/2698.75 c #Conflicts: 1562000 | #Constraints: 45638
2691.24/2698.75 c #Conflicts: 1563000 | #Constraints: 46638
2691.24/2698.75 c #Conflicts: 1564000 | #Constraints: 47638
2691.24/2698.75 c #Conflicts: 1565000 | #Constraints: 48638
2691.24/2698.75 c #Conflicts: 1566000 | #Constraints: 49638
2691.24/2698.75 c INPROCESSING
2691.24/2698.75 c GARBAGE COLLECT
2691.24/2698.75 c #Conflicts: 1567000 | #Constraints: 25839
2691.24/2698.75 c #Conflicts: 1568000 | #Constraints: 26839
2691.24/2698.75 c #Conflicts: 1569000 | #Constraints: 27839
2691.24/2698.75 c #Conflicts: 1570000 | #Constraints: 28839
2691.24/2698.75 c #Conflicts: 1571000 | #Constraints: 29839
2691.24/2698.75 c #Conflicts: 1572000 | #Constraints: 30839
2691.24/2698.75 c #Conflicts: 1573000 | #Constraints: 31839
2691.24/2698.75 c #Conflicts: 1574000 | #Constraints: 32839
2691.24/2698.75 c #Conflicts: 1575000 | #Constraints: 33839
2691.24/2698.75 c #Conflicts: 1576000 | #Constraints: 34839
2691.24/2698.75 c #Conflicts: 1577000 | #Constraints: 35839
2691.24/2698.75 c #Conflicts: 1578000 | #Constraints: 36839
2691.24/2698.75 c #Conflicts: 1579000 | #Constraints: 37839
2691.24/2698.75 c #Conflicts: 1580000 | #Constraints: 38839
2691.24/2698.75 c #Conflicts: 1581000 | #Constraints: 39839
2691.24/2698.75 c #Conflicts: 1582000 | #Constraints: 40839
2691.24/2698.75 c #Conflicts: 1583000 | #Constraints: 41839
2691.24/2698.75 c #Conflicts: 1584000 | #Constraints: 42839
2691.24/2698.75 c #Conflicts: 1585000 | #Constraints: 43839
2691.24/2698.75 c #Conflicts: 1586000 | #Constraints: 44839
2691.24/2698.75 c #Conflicts: 1587000 | #Constraints: 45839
2691.24/2698.75 c #Conflicts: 1588000 | #Constraints: 46839
2691.24/2698.75 c #Conflicts: 1589000 | #Constraints: 47839
2691.24/2698.75 c #Conflicts: 1590000 | #Constraints: 48839
2691.24/2698.75 c #Conflicts: 1591000 | #Constraints: 49839
2691.24/2698.75 c INPROCESSING
2691.24/2698.75 c GARBAGE COLLECT
2691.24/2698.75 c #Conflicts: 1592000 | #Constraints: 25843
2691.24/2698.75 c #Conflicts: 1593000 | #Constraints: 26843
2691.24/2698.75 c #Conflicts: 1594000 | #Constraints: 27843
2691.24/2698.75 c #Conflicts: 1595000 | #Constraints: 28843
2691.24/2698.75 c #Conflicts: 1596000 | #Constraints: 29843
2691.24/2698.75 c #Conflicts: 1597000 | #Constraints: 30843
2691.24/2698.75 c #Conflicts: 1598000 | #Constraints: 31843
2691.24/2698.75 c #Conflicts: 1599000 | #Constraints: 32843
2691.24/2698.75 c #Conflicts: 1600000 | #Constraints: 33843
2691.24/2698.75 c #Conflicts: 1601000 | #Constraints: 34843
2691.24/2698.75 c #Conflicts: 1602000 | #Constraints: 35843
2691.24/2698.75 c #Conflicts: 1603000 | #Constraints: 36843
2691.24/2698.75 c #Conflicts: 1604000 | #Constraints: 37843
2691.24/2698.75 c #Conflicts: 1605000 | #Constraints: 38843
2691.24/2698.75 c #Conflicts: 1606000 | #Constraints: 39843
2691.24/2698.75 c #Conflicts: 1607000 | #Constraints: 40843
2691.24/2698.75 c #Conflicts: 1608000 | #Constraints: 41843
2691.24/2698.75 c #Conflicts: 1609000 | #Constraints: 42843
2691.24/2698.75 c #Conflicts: 1610000 | #Constraints: 43843
2691.24/2698.75 c #Conflicts: 1611000 | #Constraints: 44843
2691.24/2698.75 c #Conflicts: 1612000 | #Constraints: 45843
2691.24/2698.75 c #Conflicts: 1613000 | #Constraints: 46843
2691.24/2698.75 c #Conflicts: 1614000 | #Constraints: 47843
2691.24/2698.75 c #Conflicts: 1615000 | #Constraints: 48843
2691.24/2698.75 c #Conflicts: 1616000 | #Constraints: 49843
2691.24/2698.75 c INPROCESSING
2691.24/2698.75 c GARBAGE COLLECT
2691.24/2698.75 c #Conflicts: 1617000 | #Constraints: 25644
2691.24/2698.75 c #Conflicts: 1618000 | #Constraints: 26644
2691.24/2698.75 c #Conflicts: 1619000 | #Constraints: 27644
2691.24/2698.75 c #Conflicts: 1620000 | #Constraints: 28644
2878.87/2886.84 c #Conflicts: 1621000 | #Constraints: 29644
2878.87/2886.84 c #Conflicts: 1622000 | #Constraints: 30644
2878.87/2886.84 c #Conflicts: 1623000 | #Constraints: 31644
2878.87/2886.84 c #Conflicts: 1624000 | #Constraints: 32644
2878.87/2886.84 c #Conflicts: 1625000 | #Constraints: 33644
2878.87/2886.84 c #Conflicts: 1626000 | #Constraints: 34644
2878.87/2886.84 c #Conflicts: 1627000 | #Constraints: 35644
2878.87/2886.84 c #Conflicts: 1628000 | #Constraints: 36644
2878.87/2886.84 c #Conflicts: 1629000 | #Constraints: 37644
2878.87/2886.84 c #Conflicts: 1630000 | #Constraints: 38644
2878.87/2886.84 c #Conflicts: 1631000 | #Constraints: 39644
2878.87/2886.84 c #Conflicts: 1632000 | #Constraints: 40644
2878.87/2886.84 c #Conflicts: 1633000 | #Constraints: 41644
2878.87/2886.84 c #Conflicts: 1634000 | #Constraints: 42644
2878.87/2886.84 c #Conflicts: 1635000 | #Constraints: 43644
2878.87/2886.84 c #Conflicts: 1636000 | #Constraints: 44644
2878.87/2886.84 c #Conflicts: 1637000 | #Constraints: 45644
2878.87/2886.84 c #Conflicts: 1638000 | #Constraints: 46644
2878.87/2886.84 c #Conflicts: 1639000 | #Constraints: 47644
2878.87/2886.84 c #Conflicts: 1640000 | #Constraints: 48644
2878.87/2886.84 c #Conflicts: 1641000 | #Constraints: 49644
2878.87/2886.84 c #Conflicts: 1642000 | #Constraints: 50644
2878.87/2886.84 c INPROCESSING
2878.87/2886.84 c GARBAGE COLLECT
2878.87/2886.84 c #Conflicts: 1643000 | #Constraints: 26239
2878.87/2886.84 c #Conflicts: 1644000 | #Constraints: 27239
2878.87/2886.84 c #Conflicts: 1645000 | #Constraints: 28239
2878.87/2886.84 c #Conflicts: 1646000 | #Constraints: 29239
2878.87/2886.84 c #Conflicts: 1647000 | #Constraints: 30239
2878.87/2886.84 c #Conflicts: 1648000 | #Constraints: 31239
2878.87/2886.84 c #Conflicts: 1649000 | #Constraints: 32239
2878.87/2886.84 c #Conflicts: 1650000 | #Constraints: 33239
2878.87/2886.84 c #Conflicts: 1651000 | #Constraints: 34239
2878.87/2886.84 c #Conflicts: 1652000 | #Constraints: 35239
2878.87/2886.84 c #Conflicts: 1653000 | #Constraints: 36239
2878.87/2886.84 c #Conflicts: 1654000 | #Constraints: 37239
2878.87/2886.84 c #Conflicts: 1655000 | #Constraints: 38239
2878.87/2886.84 c #Conflicts: 1656000 | #Constraints: 39239
2878.87/2886.84 c #Conflicts: 1657000 | #Constraints: 40239
2878.87/2886.84 c #Conflicts: 1658000 | #Constraints: 41239
2878.87/2886.84 c #Conflicts: 1659000 | #Constraints: 42239
2878.87/2886.84 c #Conflicts: 1660000 | #Constraints: 43239
2878.87/2886.84 c #Conflicts: 1661000 | #Constraints: 44239
2878.87/2886.84 c #Conflicts: 1662000 | #Constraints: 45239
2878.87/2886.84 c #Conflicts: 1663000 | #Constraints: 46239
2878.87/2886.84 c #Conflicts: 1664000 | #Constraints: 47239
2878.87/2886.84 c #Conflicts: 1665000 | #Constraints: 48239
2878.87/2886.84 c #Conflicts: 1666000 | #Constraints: 49239
2878.87/2886.84 c #Conflicts: 1667000 | #Constraints: 50239
2878.87/2886.84 c #Conflicts: 1668000 | #Constraints: 51239
2878.87/2886.84 c INPROCESSING
2878.87/2886.84 c GARBAGE COLLECT
2878.87/2886.84 c #Conflicts: 1669000 | #Constraints: 26637
2878.87/2886.84 c #Conflicts: 1670000 | #Constraints: 27637
2878.87/2886.84 c #Conflicts: 1671000 | #Constraints: 28637
2878.87/2886.84 c #Conflicts: 1672000 | #Constraints: 29637
2878.87/2886.84 c #Conflicts: 1673000 | #Constraints: 30637
2878.87/2886.84 c #Conflicts: 1674000 | #Constraints: 31637
2878.87/2886.84 c #Conflicts: 1675000 | #Constraints: 32637
2878.87/2886.84 c #Conflicts: 1676000 | #Constraints: 33637
2878.87/2886.84 c #Conflicts: 1677000 | #Constraints: 34637
2878.87/2886.84 c #Conflicts: 1678000 | #Constraints: 35637
2878.87/2886.84 c #Conflicts: 1679000 | #Constraints: 36637
2878.87/2886.84 c #Conflicts: 1680000 | #Constraints: 37637
2878.87/2886.84 c #Conflicts: 1681000 | #Constraints: 38637
2878.87/2886.84 c #Conflicts: 1682000 | #Constraints: 39637
2878.87/2886.84 c #Conflicts: 1683000 | #Constraints: 40637
2878.87/2886.84 c #Conflicts: 1684000 | #Constraints: 41637
2878.87/2886.84 c #Conflicts: 1685000 | #Constraints: 42637
2878.87/2886.84 c #Conflicts: 1686000 | #Constraints: 43637
2878.87/2886.84 c #Conflicts: 1687000 | #Constraints: 44637
2878.87/2886.84 c #Conflicts: 1688000 | #Constraints: 45637
2878.87/2886.84 c #Conflicts: 1689000 | #Constraints: 46637
2878.87/2886.84 c #Conflicts: 1690000 | #Constraints: 47637
2878.87/2886.84 c #Conflicts: 1691000 | #Constraints: 48637
2878.87/2886.84 c #Conflicts: 1692000 | #Constraints: 49637
2878.87/2886.84 c #Conflicts: 1693000 | #Constraints: 50637
2878.87/2886.84 c #Conflicts: 1694000 | #Constraints: 51637
2878.87/2886.84 c INPROCESSING
2878.87/2886.84 c GARBAGE COLLECT
2878.87/2886.84 c #Conflicts: 1695000 | #Constraints: 26837
2878.87/2886.84 c #Conflicts: 1696000 | #Constraints: 27837
2878.87/2886.84 c #Conflicts: 1697000 | #Constraints: 28837
3069.51/3077.93 c #Conflicts: 1698000 | #Constraints: 29837
3069.51/3077.93 c #Conflicts: 1699000 | #Constraints: 30837
3069.51/3077.93 c #Conflicts: 1700000 | #Constraints: 31837
3069.51/3077.93 c #Conflicts: 1701000 | #Constraints: 32837
3069.51/3077.93 c #Conflicts: 1702000 | #Constraints: 33837
3069.51/3077.93 c #Conflicts: 1703000 | #Constraints: 34837
3069.51/3077.93 c #Conflicts: 1704000 | #Constraints: 35837
3069.51/3077.93 c #Conflicts: 1705000 | #Constraints: 36837
3069.51/3077.93 c #Conflicts: 1706000 | #Constraints: 37837
3069.51/3077.93 c #Conflicts: 1707000 | #Constraints: 38837
3069.51/3077.93 c #Conflicts: 1708000 | #Constraints: 39837
3069.51/3077.93 c #Conflicts: 1709000 | #Constraints: 40837
3069.51/3077.93 c #Conflicts: 1710000 | #Constraints: 41837
3069.51/3077.93 c #Conflicts: 1711000 | #Constraints: 42837
3069.51/3077.93 c #Conflicts: 1712000 | #Constraints: 43837
3069.51/3077.93 c #Conflicts: 1713000 | #Constraints: 44837
3069.51/3077.93 c #Conflicts: 1714000 | #Constraints: 45837
3069.51/3077.93 c #Conflicts: 1715000 | #Constraints: 46837
3069.51/3077.93 c #Conflicts: 1716000 | #Constraints: 47837
3069.51/3077.93 c #Conflicts: 1717000 | #Constraints: 48837
3069.51/3077.93 c #Conflicts: 1718000 | #Constraints: 49837
3069.51/3077.93 c #Conflicts: 1719000 | #Constraints: 50837
3069.51/3077.93 c #Conflicts: 1720000 | #Constraints: 51837
3069.51/3077.93 c INPROCESSING
3069.51/3077.93 c GARBAGE COLLECT
3069.51/3077.93 c #Conflicts: 1721000 | #Constraints: 26834
3069.51/3077.93 c #Conflicts: 1722000 | #Constraints: 27834
3069.51/3077.93 c #Conflicts: 1723000 | #Constraints: 28834
3069.51/3077.93 c #Conflicts: 1724000 | #Constraints: 29834
3069.51/3077.93 c #Conflicts: 1725000 | #Constraints: 30834
3069.51/3077.93 c #Conflicts: 1726000 | #Constraints: 31834
3069.51/3077.93 c #Conflicts: 1727000 | #Constraints: 32834
3069.51/3077.93 c #Conflicts: 1728000 | #Constraints: 33834
3069.51/3077.93 c #Conflicts: 1729000 | #Constraints: 34834
3069.51/3077.93 c #Conflicts: 1730000 | #Constraints: 35834
3069.51/3077.93 c #Conflicts: 1731000 | #Constraints: 36834
3069.51/3077.93 c #Conflicts: 1732000 | #Constraints: 37834
3069.51/3077.93 c #Conflicts: 1733000 | #Constraints: 38834
3069.51/3077.93 c #Conflicts: 1734000 | #Constraints: 39834
3069.51/3077.93 c #Conflicts: 1735000 | #Constraints: 40834
3069.51/3077.93 c #Conflicts: 1736000 | #Constraints: 41834
3069.51/3077.93 c #Conflicts: 1737000 | #Constraints: 42834
3069.51/3077.93 c #Conflicts: 1738000 | #Constraints: 43834
3069.51/3077.93 c #Conflicts: 1739000 | #Constraints: 44834
3069.51/3077.93 c #Conflicts: 1740000 | #Constraints: 45834
3069.51/3077.93 c #Conflicts: 1741000 | #Constraints: 46834
3069.51/3077.93 c #Conflicts: 1742000 | #Constraints: 47834
3069.51/3077.93 c #Conflicts: 1743000 | #Constraints: 48834
3069.51/3077.93 c #Conflicts: 1744000 | #Constraints: 49834
3069.51/3077.93 c #Conflicts: 1745000 | #Constraints: 50834
3069.51/3077.93 c #Conflicts: 1746000 | #Constraints: 51834
3069.51/3077.93 c INPROCESSING
3069.51/3077.93 c GARBAGE COLLECT
3069.51/3077.93 c #Conflicts: 1747000 | #Constraints: 26637
3069.51/3077.93 c #Conflicts: 1748000 | #Constraints: 27637
3069.51/3077.93 c #Conflicts: 1749000 | #Constraints: 28637
3069.51/3077.93 c #Conflicts: 1750000 | #Constraints: 29637
3069.51/3077.93 c #Conflicts: 1751000 | #Constraints: 30637
3069.51/3077.93 c #Conflicts: 1752000 | #Constraints: 31637
3069.51/3077.93 c #Conflicts: 1753000 | #Constraints: 32637
3069.51/3077.93 c #Conflicts: 1754000 | #Constraints: 33637
3069.51/3077.93 c #Conflicts: 1755000 | #Constraints: 34637
3069.51/3077.93 c #Conflicts: 1756000 | #Constraints: 35637
3069.51/3077.93 c #Conflicts: 1757000 | #Constraints: 36637
3069.51/3077.93 c #Conflicts: 1758000 | #Constraints: 37637
3069.51/3077.93 c #Conflicts: 1759000 | #Constraints: 38637
3069.51/3077.93 c #Conflicts: 1760000 | #Constraints: 39637
3069.51/3077.93 c #Conflicts: 1761000 | #Constraints: 40637
3069.51/3077.93 c #Conflicts: 1762000 | #Constraints: 41637
3069.51/3077.93 c #Conflicts: 1763000 | #Constraints: 42637
3069.51/3077.93 c #Conflicts: 1764000 | #Constraints: 43637
3069.51/3077.93 c #Conflicts: 1765000 | #Constraints: 44637
3069.51/3077.93 c #Conflicts: 1766000 | #Constraints: 45637
3069.51/3077.93 c #Conflicts: 1767000 | #Constraints: 46637
3069.51/3077.93 c #Conflicts: 1768000 | #Constraints: 47637
3069.51/3077.93 c #Conflicts: 1769000 | #Constraints: 48637
3069.51/3077.93 c #Conflicts: 1770000 | #Constraints: 49637
3069.51/3077.93 c #Conflicts: 1771000 | #Constraints: 50637
3069.51/3077.93 c #Conflicts: 1772000 | #Constraints: 51637
3069.51/3077.93 c #Conflicts: 1773000 | #Constraints: 52637
3069.51/3077.93 c INPROCESSING
3069.51/3077.93 c GARBAGE COLLECT
3266.66/3275.55 c #Conflicts: 1774000 | #Constraints: 27236
3266.66/3275.55 c #Conflicts: 1775000 | #Constraints: 28236
3266.66/3275.55 c #Conflicts: 1776000 | #Constraints: 29236
3266.66/3275.55 c #Conflicts: 1777000 | #Constraints: 30236
3266.66/3275.55 c #Conflicts: 1778000 | #Constraints: 31236
3266.66/3275.55 c #Conflicts: 1779000 | #Constraints: 32236
3266.66/3275.55 c #Conflicts: 1780000 | #Constraints: 33236
3266.66/3275.55 c #Conflicts: 1781000 | #Constraints: 34236
3266.66/3275.55 c #Conflicts: 1782000 | #Constraints: 35236
3266.66/3275.55 c #Conflicts: 1783000 | #Constraints: 36236
3266.66/3275.55 c #Conflicts: 1784000 | #Constraints: 37236
3266.66/3275.55 c #Conflicts: 1785000 | #Constraints: 38236
3266.66/3275.55 c #Conflicts: 1786000 | #Constraints: 39236
3266.66/3275.55 c #Conflicts: 1787000 | #Constraints: 40236
3266.66/3275.55 c #Conflicts: 1788000 | #Constraints: 41236
3266.66/3275.55 c #Conflicts: 1789000 | #Constraints: 42236
3266.66/3275.55 c #Conflicts: 1790000 | #Constraints: 43236
3266.66/3275.55 c #Conflicts: 1791000 | #Constraints: 44236
3266.66/3275.55 c #Conflicts: 1792000 | #Constraints: 45236
3266.66/3275.55 c #Conflicts: 1793000 | #Constraints: 46236
3266.66/3275.55 c #Conflicts: 1794000 | #Constraints: 47236
3266.66/3275.55 c #Conflicts: 1795000 | #Constraints: 48236
3266.66/3275.55 c #Conflicts: 1796000 | #Constraints: 49236
3266.66/3275.55 c #Conflicts: 1797000 | #Constraints: 50236
3266.66/3275.55 c #Conflicts: 1798000 | #Constraints: 51236
3266.66/3275.55 c #Conflicts: 1799000 | #Constraints: 52236
3266.66/3275.55 c #Conflicts: 1800000 | #Constraints: 53236
3266.66/3275.55 c INPROCESSING
3266.66/3275.55 c GARBAGE COLLECT
3266.66/3275.55 c #Conflicts: 1801000 | #Constraints: 27631
3266.66/3275.55 c #Conflicts: 1802000 | #Constraints: 28631
3266.66/3275.55 c #Conflicts: 1803000 | #Constraints: 29631
3266.66/3275.55 c #Conflicts: 1804000 | #Constraints: 30631
3266.66/3275.55 c #Conflicts: 1805000 | #Constraints: 31631
3266.66/3275.55 c #Conflicts: 1806000 | #Constraints: 32631
3266.66/3275.55 c #Conflicts: 1807000 | #Constraints: 33631
3266.66/3275.55 c #Conflicts: 1808000 | #Constraints: 34631
3266.66/3275.55 c #Conflicts: 1809000 | #Constraints: 35631
3266.66/3275.55 c #Conflicts: 1810000 | #Constraints: 36631
3266.66/3275.55 c #Conflicts: 1811000 | #Constraints: 37631
3266.66/3275.55 c #Conflicts: 1812000 | #Constraints: 38631
3266.66/3275.55 c #Conflicts: 1813000 | #Constraints: 39631
3266.66/3275.55 c #Conflicts: 1814000 | #Constraints: 40631
3266.66/3275.55 c #Conflicts: 1815000 | #Constraints: 41631
3266.66/3275.55 c #Conflicts: 1816000 | #Constraints: 42631
3266.66/3275.55 c #Conflicts: 1817000 | #Constraints: 43631
3266.66/3275.55 c #Conflicts: 1818000 | #Constraints: 44631
3266.66/3275.55 c #Conflicts: 1819000 | #Constraints: 45631
3266.66/3275.55 c #Conflicts: 1820000 | #Constraints: 46631
3266.66/3275.55 c #Conflicts: 1821000 | #Constraints: 47631
3266.66/3275.55 c #Conflicts: 1822000 | #Constraints: 48631
3266.66/3275.55 c #Conflicts: 1823000 | #Constraints: 49631
3266.66/3275.55 c #Conflicts: 1824000 | #Constraints: 50631
3266.66/3275.55 c #Conflicts: 1825000 | #Constraints: 51631
3266.66/3275.55 c #Conflicts: 1826000 | #Constraints: 52631
3266.66/3275.55 c #Conflicts: 1827000 | #Constraints: 53631
3266.66/3275.55 c INPROCESSING
3266.66/3275.55 c GARBAGE COLLECT
3266.66/3275.55 c #Conflicts: 1828000 | #Constraints: 27832
3266.66/3275.55 c #Conflicts: 1829000 | #Constraints: 28832
3266.66/3275.55 c #Conflicts: 1830000 | #Constraints: 29832
3266.66/3275.55 c #Conflicts: 1831000 | #Constraints: 30832
3266.66/3275.55 c #Conflicts: 1832000 | #Constraints: 31832
3266.66/3275.55 c #Conflicts: 1833000 | #Constraints: 32832
3266.66/3275.55 c #Conflicts: 1834000 | #Constraints: 33832
3266.66/3275.55 c #Conflicts: 1835000 | #Constraints: 34832
3266.66/3275.55 c #Conflicts: 1836000 | #Constraints: 35832
3266.66/3275.55 c #Conflicts: 1837000 | #Constraints: 36832
3266.66/3275.55 c #Conflicts: 1838000 | #Constraints: 37832
3266.66/3275.55 c #Conflicts: 1839000 | #Constraints: 38832
3266.66/3275.55 c #Conflicts: 1840000 | #Constraints: 39832
3266.66/3275.55 c #Conflicts: 1841000 | #Constraints: 40832
3266.66/3275.55 c #Conflicts: 1842000 | #Constraints: 41832
3266.66/3275.55 c #Conflicts: 1843000 | #Constraints: 42832
3266.66/3275.55 c #Conflicts: 1844000 | #Constraints: 43832
3266.66/3275.55 c #Conflicts: 1845000 | #Constraints: 44832
3266.66/3275.55 c #Conflicts: 1846000 | #Constraints: 45832
3266.66/3275.55 c #Conflicts: 1847000 | #Constraints: 46832
3266.66/3275.55 c #Conflicts: 1848000 | #Constraints: 47832
3266.66/3275.55 c #Conflicts: 1849000 | #Constraints: 48832
3266.66/3275.55 c #Conflicts: 1850000 | #Constraints: 49832
3266.66/3275.55 c #Conflicts: 1851000 | #Constraints: 50832
3463.49/3472.80 c #Conflicts: 1852000 | #Constraints: 51832
3463.49/3472.80 c #Conflicts: 1853000 | #Constraints: 52832
3463.49/3472.80 c #Conflicts: 1854000 | #Constraints: 53832
3463.49/3472.80 c INPROCESSING
3463.49/3472.80 c GARBAGE COLLECT
3463.49/3472.80 c #Conflicts: 1855000 | #Constraints: 27838
3463.49/3472.80 c #Conflicts: 1856000 | #Constraints: 28838
3463.49/3472.80 c #Conflicts: 1857000 | #Constraints: 29838
3463.49/3472.80 c #Conflicts: 1858000 | #Constraints: 30838
3463.49/3472.80 c #Conflicts: 1859000 | #Constraints: 31838
3463.49/3472.80 c #Conflicts: 1860000 | #Constraints: 32838
3463.49/3472.80 c #Conflicts: 1861000 | #Constraints: 33838
3463.49/3472.80 c #Conflicts: 1862000 | #Constraints: 34838
3463.49/3472.80 c #Conflicts: 1863000 | #Constraints: 35838
3463.49/3472.80 c #Conflicts: 1864000 | #Constraints: 36838
3463.49/3472.80 c #Conflicts: 1865000 | #Constraints: 37838
3463.49/3472.80 c #Conflicts: 1866000 | #Constraints: 38838
3463.49/3472.80 c #Conflicts: 1867000 | #Constraints: 39838
3463.49/3472.80 c #Conflicts: 1868000 | #Constraints: 40838
3463.49/3472.80 c #Conflicts: 1869000 | #Constraints: 41838
3463.49/3472.80 c #Conflicts: 1870000 | #Constraints: 42838
3463.49/3472.80 c #Conflicts: 1871000 | #Constraints: 43838
3463.49/3472.80 c #Conflicts: 1872000 | #Constraints: 44838
3463.49/3472.80 c #Conflicts: 1873000 | #Constraints: 45838
3463.49/3472.80 c #Conflicts: 1874000 | #Constraints: 46838
3463.49/3472.80 c #Conflicts: 1875000 | #Constraints: 47838
3463.49/3472.80 c #Conflicts: 1876000 | #Constraints: 48838
3463.49/3472.80 c #Conflicts: 1877000 | #Constraints: 49838
3463.49/3472.80 c #Conflicts: 1878000 | #Constraints: 50838
3463.49/3472.80 c #Conflicts: 1879000 | #Constraints: 51838
3463.49/3472.80 c #Conflicts: 1880000 | #Constraints: 52838
3463.49/3472.80 c #Conflicts: 1881000 | #Constraints: 53838
3463.49/3472.80 c INPROCESSING
3463.49/3472.80 c GARBAGE COLLECT
3463.49/3472.80 c #Conflicts: 1882000 | #Constraints: 27635
3463.49/3472.80 c #Conflicts: 1883000 | #Constraints: 28635
3463.49/3472.80 c #Conflicts: 1884000 | #Constraints: 29635
3463.49/3472.80 c #Conflicts: 1885000 | #Constraints: 30635
3463.49/3472.80 c #Conflicts: 1886000 | #Constraints: 31635
3463.49/3472.80 c #Conflicts: 1887000 | #Constraints: 32635
3463.49/3472.80 c #Conflicts: 1888000 | #Constraints: 33635
3463.49/3472.80 c #Conflicts: 1889000 | #Constraints: 34635
3463.49/3472.80 c #Conflicts: 1890000 | #Constraints: 35635
3463.49/3472.80 c #Conflicts: 1891000 | #Constraints: 36635
3463.49/3472.80 c #Conflicts: 1892000 | #Constraints: 37635
3463.49/3472.80 c #Conflicts: 1893000 | #Constraints: 38635
3463.49/3472.80 c #Conflicts: 1894000 | #Constraints: 39635
3463.49/3472.80 c #Conflicts: 1895000 | #Constraints: 40635
3463.49/3472.80 c #Conflicts: 1896000 | #Constraints: 41635
3463.49/3472.80 c #Conflicts: 1897000 | #Constraints: 42635
3463.49/3472.80 c #Conflicts: 1898000 | #Constraints: 43635
3463.49/3472.80 c #Conflicts: 1899000 | #Constraints: 44635
3463.49/3472.80 c #Conflicts: 1900000 | #Constraints: 45635
3463.49/3472.80 c #Conflicts: 1901000 | #Constraints: 46635
3463.49/3472.80 c #Conflicts: 1902000 | #Constraints: 47635
3463.49/3472.80 c #Conflicts: 1903000 | #Constraints: 48635
3463.49/3472.80 c #Conflicts: 1904000 | #Constraints: 49635
3463.49/3472.80 c #Conflicts: 1905000 | #Constraints: 50635
3463.49/3472.80 c #Conflicts: 1906000 | #Constraints: 51635
3463.49/3472.80 c #Conflicts: 1907000 | #Constraints: 52635
3463.49/3472.80 c #Conflicts: 1908000 | #Constraints: 53635
3463.49/3472.80 c #Conflicts: 1909000 | #Constraints: 54635
3463.49/3472.80 c INPROCESSING
3463.49/3472.80 c GARBAGE COLLECT
3463.49/3472.80 c #Conflicts: 1910000 | #Constraints: 28237
3463.49/3472.80 c #Conflicts: 1911000 | #Constraints: 29237
3463.49/3472.80 c #Conflicts: 1912000 | #Constraints: 30237
3463.49/3472.80 c #Conflicts: 1913000 | #Constraints: 31237
3463.49/3472.80 c #Conflicts: 1914000 | #Constraints: 32237
3463.49/3472.80 c #Conflicts: 1915000 | #Constraints: 33237
3463.49/3472.80 c #Conflicts: 1916000 | #Constraints: 34237
3463.49/3472.80 c #Conflicts: 1917000 | #Constraints: 35237
3463.49/3472.80 c #Conflicts: 1918000 | #Constraints: 36237
3463.49/3472.80 c #Conflicts: 1919000 | #Constraints: 37237
3463.49/3472.80 c #Conflicts: 1920000 | #Constraints: 38237
3463.49/3472.80 c #Conflicts: 1921000 | #Constraints: 39237
3463.49/3472.80 c #Conflicts: 1922000 | #Constraints: 40237
3463.49/3472.80 c #Conflicts: 1923000 | #Constraints: 41237
3463.49/3472.80 c #Conflicts: 1924000 | #Constraints: 42237
3463.49/3472.80 c #Conflicts: 1925000 | #Constraints: 43237
3463.49/3472.80 c #Conflicts: 1926000 | #Constraints: 44237
3463.49/3472.80 c #Conflicts: 1927000 | #Constraints: 45237
3463.49/3472.80 c #Conflicts: 1928000 | #Constraints: 46237
3600.06/3609.70 c #Conflicts: 1929000 | #Constraints: 47237
3600.06/3609.70 c #Conflicts: 1930000 | #Constraints: 48237
3600.06/3609.70 c #Conflicts: 1931000 | #Constraints: 49237
3600.06/3609.70 c #Conflicts: 1932000 | #Constraints: 50237
3600.06/3609.70 c #Conflicts: 1933000 | #Constraints: 51237
3600.06/3609.70 c #Conflicts: 1934000 | #Constraints: 52237
3600.06/3609.70 c #Conflicts: 1935000 | #Constraints: 53237
3600.06/3609.70 c #Conflicts: 1936000 | #Constraints: 54237
3600.06/3609.70 c #Conflicts: 1937000 | #Constraints: 55237
3600.06/3609.70 c INPROCESSING
3600.06/3609.70 c GARBAGE COLLECT
3600.06/3609.70 c #Conflicts: 1938000 | #Constraints: 28636
3600.06/3609.70 c #Conflicts: 1939000 | #Constraints: 29636
3600.06/3609.70 c #Conflicts: 1940000 | #Constraints: 30636
3600.06/3609.70 c #Conflicts: 1941000 | #Constraints: 31636
3600.06/3609.70 c #Conflicts: 1942000 | #Constraints: 32636
3600.06/3609.70 c #Conflicts: 1943000 | #Constraints: 33636
3600.06/3609.70 c #Conflicts: 1944000 | #Constraints: 34636
3600.06/3609.70 c #Conflicts: 1945000 | #Constraints: 35636
3600.06/3609.70 c #Conflicts: 1946000 | #Constraints: 36636
3600.06/3609.70 c #Conflicts: 1947000 | #Constraints: 37636
3600.06/3609.70 c #Conflicts: 1948000 | #Constraints: 38636
3600.06/3609.70 c #Conflicts: 1949000 | #Constraints: 39636
3600.06/3609.70 c #Conflicts: 1950000 | #Constraints: 40636
3600.06/3609.70 c #Conflicts: 1951000 | #Constraints: 41636
3600.06/3609.70 c #Conflicts: 1952000 | #Constraints: 42636
3600.06/3609.70 c #Conflicts: 1953000 | #Constraints: 43636
3600.06/3609.70 c #Conflicts: 1954000 | #Constraints: 44636
3600.06/3609.70 c #Conflicts: 1955000 | #Constraints: 45636
3600.06/3609.70 c #Conflicts: 1956000 | #Constraints: 46636
3600.06/3609.70 c #Conflicts: 1957000 | #Constraints: 47636
3600.06/3609.70 c #Conflicts: 1958000 | #Constraints: 48636
3600.06/3609.70 c #Conflicts: 1959000 | #Constraints: 49636
3600.06/3609.70 c #Conflicts: 1960000 | #Constraints: 50636
3600.06/3609.70 c #Conflicts: 1961000 | #Constraints: 51636
3600.06/3609.70 c #Conflicts: 1962000 | #Constraints: 52636
3600.06/3609.70 c #Conflicts: 1963000 | #Constraints: 53636
3600.06/3609.70 c #Conflicts: 1964000 | #Constraints: 54636
3600.06/3609.70 c #Conflicts: 1965000 | #Constraints: 55636
3600.06/3609.70 c INPROCESSING
3600.06/3609.70 c GARBAGE COLLECT
3600.06/3609.70 c #Conflicts: 1966000 | #Constraints: 28839
3600.06/3609.70 c #Conflicts: 1967000 | #Constraints: 29839
3600.06/3609.70 c #Conflicts: 1968000 | #Constraints: 30839
3600.06/3609.70 c #Conflicts: 1969000 | #Constraints: 31839
3600.06/3609.70 c #Conflicts: 1970000 | #Constraints: 32839
3600.06/3609.70 c #Conflicts: 1971000 | #Constraints: 33839
3600.06/3609.70 c #Conflicts: 1972000 | #Constraints: 34839
3600.06/3609.70 c #Conflicts: 1973000 | #Constraints: 35839
3600.06/3609.70 c #Conflicts: 1974000 | #Constraints: 36839
3600.06/3609.70 c #Conflicts: 1975000 | #Constraints: 37839
3600.06/3609.70 c #Conflicts: 1976000 | #Constraints: 38839
3600.06/3609.70 c #Conflicts: 1977000 | #Constraints: 39839
3600.06/3609.70 c #Conflicts: 1978000 | #Constraints: 40839
3600.06/3609.70 c #Conflicts: 1979000 | #Constraints: 41839
3600.06/3609.70 c #Conflicts: 1980000 | #Constraints: 42839
3600.06/3609.70 c Program interrupted by user.
3600.06/3609.70 c cpu time 3591.1 s
3600.06/3609.70 c deterministic time 539430116515 5.39e+11
3600.06/3609.70 c optimization time 35.6302 s
3600.06/3609.70 c total solve time 3255.63 s
3600.06/3609.70 c core-guided solve time 3255.63 s
3600.06/3609.70 c propagation time 3147.61 s
3600.06/3609.70 c conflict analysis time 126.89 s
3600.06/3609.70 c propagations 25378681
3600.06/3609.70 c resolve steps 9309490
3600.06/3609.70 c decisions 4242399
3600.06/3609.70 c conflicts 1980261
3600.06/3609.70 c restarts 3866
3600.06/3609.70 c inprocessing phases 131
3600.06/3609.70 c input clauses 0
3600.06/3609.70 c input cardinalities 0
3600.06/3609.70 c input general constraints 21
3600.06/3609.70 c input average constraint length 92.38
3600.06/3609.70 c input average constraint degree 2062.24
3600.06/3609.70 c learned clauses 957548
3600.06/3609.70 c learned cardinalities 0
3600.06/3609.70 c learned general constraints 1022712
3600.06/3609.70 c learned average constraint length 89.90
3600.06/3609.70 c learned average constraint degree 146210.12
3600.06/3609.70 c watched constraints 1022133
3600.06/3609.70 c counting constraints 600
3600.06/3609.70 c gcd simplifications 834528
3600.06/3609.70 c detected cardinalities 0
3600.06/3609.70 c weakened non-implied lits 35976346
3600.06/3609.70 c weakened non-implying lits 2568395
3600.06/3609.70 c original variables 198
3600.06/3609.70 c clausal propagations 459625
3600.06/3609.70 c cardinality propagations 0
3600.06/3609.70 c watched propagations 20514363
3600.06/3609.70 c counting propagations 2993669
3600.06/3609.70 c watch lookups 25483973924
3600.06/3609.70 c watch backjump lookups 7587322452
3600.06/3609.70 c watch checks 468641197027
3600.06/3609.70 c propagation checks 36596317512
3600.06/3609.70 c constraint additions 1060083348
3600.06/3609.70 c trail pops 31601171
3600.06/3609.70 c formula constraints 16
3600.06/3609.70 c learned constraints 1980260
3600.06/3609.70 c bound constraints 5
3600.06/3609.70 c core-guided constraints 0
3600.06/3609.70 c encountered formula constraints 2902018
3600.06/3609.70 c encountered learned constraints 8387081
3600.06/3609.70 c encountered bound constraints 652
3600.06/3609.70 c encountered core-guided constraints 0
3600.06/3609.70 c LP total time 0 s
3600.06/3609.70 c LP solve time 0 s
3600.06/3609.70 c LP constraints added 0
3600.06/3609.70 c LP constraints removed 0
3600.06/3609.70 c LP pivots internal 0
3600.06/3609.70 c LP pivots root 0
3600.06/3609.70 c LP calls 0
3600.06/3609.70 c LP optimalities 0
3600.06/3609.70 c LP no pivot count 0
3600.06/3609.70 c LP infeasibilities 0
3600.06/3609.70 c LP valid Farkas constraints 0
3600.06/3609.70 c LP learned Farkas constraints 0
3600.06/3609.70 c LP basis resets 0
3600.06/3609.70 c LP cycling count 0
3600.06/3609.70 c LP singular count 0
3600.06/3609.70 c LP no primal count 0
3600.06/3609.70 c LP no farkas count 0
3600.06/3609.70 c LP other issue count 0
3600.06/3609.70 c LP Gomory cuts 0
3600.06/3609.70 c LP learned cuts 0
3600.06/3609.70 c LP deleted cuts 0
3600.06/3609.70 c LP encountered Gomory constraints 0
3600.06/3609.70 c LP encountered Farkas constraints 0
3600.06/3609.70 c LP encountered learned Farkas constraints 0
3600.06/3609.70 c CG auxiliary variables introduced 0
3600.06/3609.70 c CG solutions found 4
3600.06/3609.70 c CG cores constructed 0
3600.06/3609.70 c CG core cardinality constraints returned 0
3600.06/3609.70 c CG unit cores 0
3600.06/3609.70 c CG single cores 0
3600.06/3609.70 c CG blocks removed during cardinality reduction 0
3600.06/3609.70 c CG first core best 0
3600.06/3609.70 c CG decision core best 0
3600.06/3609.70 c CG core reduction tie 0
3600.06/3609.70 c CG core degree average 0.00
3600.06/3609.70 c CG core slack average 0.00
3600.06/3609.70 c CG exhausted 0
3600.06/3609.70 c CG exhaust time 0 s
3600.06/3609.70 c CG trimmed 0
3600.06/3609.70 c CG trim time 0 s
3600.06/3609.70 c CG minimized 0
3600.06/3609.70 c CG minimize time 0 s
3600.06/3609.70 c CG am1 prop time 0.000142 s
3600.06/3609.70 c CG # am1s reformulated 0
3600.06/3609.70 c CG lower bound derived from am1s 0
3600.06/3609.70 c CG # clausal cores 0
3600.06/3609.70 c CG # cardinality cores 0
3600.06/3609.70 c CG # pb cores 0
3600.06/3609.70 c CG # pb reforms 0
3600.06/3609.70 c CG # cores discarded because of pb reform 0
3600.06/3609.70 d LOWERBOUND 0
3600.06/3609.70 d NCORES 0
3600.06/3609.70 d NPBCORES 0
3600.06/3609.70 d NPBREFORM 0
3600.06/3609.70 d NTRIMMED 0
3600.06/3609.70 d NEXHAUSTED 0
3600.06/3609.70 d NAM1S 0
3600.06/3609.70 d AM1LB 0
3600.06/3609.70 c [Papilo Statistics]
3600.06/3609.70 c prepro time 0.000401679s
3600.06/3609.70 c # tsx applied 8
3600.06/3609.70 c # tsx conflicts 0
3600.06/3609.70 c # bound changes 0
3600.06/3609.70 c # side changes 8
3600.06/3609.70 c # coef changes 0
3600.06/3609.70 c # rounds 2
3600.06/3609.70 c # deted vars 0
3600.06/3609.70 c # deted constrs 8
3600.06/3609.70 c # consecutive rounds of only bound changes 0
3600.06/3609.70 c [STEP] postprocessing with Papilo
3600.06/3609.70 o 53
3600.06/3609.70 s SATISFIABLE
3600.06/3609.70 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: 63665 MiB (58786 MiB free)
memory of node 1: 64507 MiB (58748 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490325-1751367266/watcher-4490325-1751367266 -o /tmp/evaluation-result-4490325-1751367266/solver-4490325-1751367266 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751361124-48388 --watchdog 3760 mixed-bag HOME/instance-4490325-1751367266.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=49343, runsolver pid=49340
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.09 4.09 4.09 5/263 49344
/proc/meminfo: memFree=120354004/131250000 swapFree=33010416/33010684
[pid=49343] ppid=49340 vsize=103420 memory=29568 CPUtime=0.08 cores=4,6
/proc/49343/stat : 49343 (mixed-bag) R 49340 49343 48377 0 -1 4194304 3546 0 0 0 8 0 0 0 20 0 1 0 52406518 105902080 7392 18446744073709551615 4235264 15874749 140726840291456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26173440 140726840297884 140726840297961 140726840297961 140726840303563 0
/proc/49343/statm: 25855 7392 4288 2842 0 7549 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 103420 KiB
Current children cumulated memory: 29568 KiB
[startup+0.205647 s]*
/proc/loadavg: 4.09 4.09 4.09 5/263 49344
/proc/meminfo: memFree=120339892/131250000 swapFree=33010416/33010684
[pid=49343] ppid=49340 vsize=118092 memory=43136 CPUtime=0.19 cores=4,6
/proc/49343/stat : 49343 (mixed-bag) R 49340 49343 48377 0 -1 4194304 6938 0 0 0 18 1 0 0 20 0 1 0 52406518 120926208 10784 18446744073709551615 4235264 15874749 140726840291456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26173440 140726840297884 140726840297961 140726840297961 140726840303563 0
/proc/49343/statm: 29523 10784 4288 2842 0 11217 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 118092 KiB
Current children cumulated memory: 43136 KiB
[startup+0.305611 s]*
/proc/loadavg: 4.09 4.09 4.09 5/263 49344
/proc/meminfo: memFree=120338128/131250000 swapFree=33010416/33010684
[pid=49343] ppid=49340 vsize=117328 memory=42744 CPUtime=0.29 cores=4,6
/proc/49343/stat : 49343 (mixed-bag) R 49340 49343 48377 0 -1 4194304 7590 0 0 0 28 1 0 0 20 0 1 0 52406518 120143872 10686 18446744073709551615 4235264 15874749 140726840291456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26173440 140726840297884 140726840297961 140726840297961 140726840303563 0
/proc/49343/statm: 29332 10686 4288 2842 0 11026 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 117328 KiB
Current children cumulated memory: 42744 KiB
[startup+0.70017 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 49344
/proc/meminfo: memFree=120338128/131250000 swapFree=33010416/33010684
[pid=49343] ppid=49340 vsize=117824 memory=43640 CPUtime=0.68 cores=4,6
/proc/49343/stat : 49343 (mixed-bag) R 49340 49343 48377 0 -1 4194304 7831 0 0 0 67 1 0 0 20 0 1 0 52406518 120651776 10910 18446744073709551615 4235264 15874749 140726840291456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26173440 140726840297884 140726840297961 140726840297961 140726840303563 0
/proc/49343/statm: 29456 10910 4288 2842 0 11150 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 117824 KiB
Current children cumulated memory: 43640 KiB
[startup+1.50016 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 49344
/proc/meminfo: memFree=120334364/131250000 swapFree=33010416/33010684
[pid=49343] ppid=49340 vsize=124936 memory=50148 CPUtime=1.47 cores=4,6
/proc/49343/stat : 49343 (mixed-bag) R 49340 49343 48377 0 -1 4194304 9884 0 0 0 146 1 0 0 20 0 1 0 52406518 127934464 12537 18446744073709551615 4235264 15874749 140726840291456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26173440 140726840297884 140726840297961 140726840297961 140726840303563 0
/proc/49343/statm: 31234 12537 4288 2842 0 12928 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 124936 KiB
Current children cumulated memory: 50148 KiB
[startup+3.10547 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 49344
/proc/meminfo: memFree=120322772/131250000 swapFree=33010416/33010684
[pid=49343] ppid=49340 vsize=137540 memory=60348 CPUtime=3.07 cores=4,6
/proc/49343/stat : 49343 (mixed-bag) R 49340 49343 48377 0 -1 4194304 12570 0 0 0 305 2 0 0 20 0 1 0 52406518 140840960 15087 18446744073709551615 4235264 15874749 140726840291456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26173440 140726840297884 140726840297961 140726840297961 140726840303563 0
/proc/49343/statm: 34385 15087 4288 2842 0 16079 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 137540 KiB
Current children cumulated memory: 60348 KiB
[startup+6.30016 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 49344
/proc/meminfo: memFree=120310676/131250000 swapFree=33010416/33010684
[pid=49343] ppid=49340 vsize=151356 memory=75452 CPUtime=6.26 cores=4,6
/proc/49343/stat : 49343 (mixed-bag) R 49340 49343 48377 0 -1 4194304 16214 0 0 0 624 2 0 0 20 0 1 0 52406518 154988544 18863 18446744073709551615 4235264 15874749 140726840291456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26173440 140726840297884 140726840297961 140726840297961 140726840303563 0
/proc/49343/statm: 37839 18863 4448 2842 0 19533 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 151356 KiB
Current children cumulated memory: 75452 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 49344
/proc/meminfo: memFree=120298516/131250000 swapFree=33010416/33010684
[pid=49343] ppid=49340 vsize=158592 memory=82492 CPUtime=12.64 cores=4,6
/proc/49343/stat : 49343 (mixed-bag) R 49340 49343 48377 0 -1 4194304 17978 0 0 0 1261 3 0 0 20 0 1 0 52406518 162398208 20623 18446744073709551615 4235264 15874749 140726840291456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26173440 140726840297884 140726840297961 140726840297961 140726840303563 0
/proc/49343/statm: 39648 20623 4448 2842 0 21342 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 158592 KiB
Current children cumulated memory: 82492 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 49344
/proc/meminfo: memFree=120246916/131250000 swapFree=33010416/33010684
[pid=49343] ppid=49340 vsize=193868 memory=115652 CPUtime=25.39 cores=4,6
/proc/49343/stat : 49343 (mixed-bag) R 49340 49343 48377 0 -1 4194304 29078 0 0 0 2535 4 0 0 20 0 1 0 52406518 198520832 28913 18446744073709551615 4235264 15874749 140726840291456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26173440 140726840297884 140726840297961 140726840297961 140726840303563 0
/proc/49343/statm: 48467 28913 4448 2842 0 30161 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 193868 KiB
Current children cumulated memory: 115652 KiB
[startup+51.1056 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 49346
/proc/meminfo: memFree=120177856/131250000 swapFree=33010416/33010684
[pid=49343] ppid=49340 vsize=270304 memory=187468 CPUtime=50.91 cores=4,6
/proc/49343/stat : 49343 (mixed-bag) R 49340 49343 48377 0 -1 4194304 47791 0 0 0 5084 7 0 0 20 0 1 0 52406518 276791296 46867 18446744073709551615 4235264 15874749 140726840291456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26173440 140726840297884 140726840297961 140726840297961 140726840303563 0
/proc/49343/statm: 67576 46867 4448 2842 0 49270 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 270304 KiB
Current children cumulated memory: 187468 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 49349
/proc/meminfo: memFree=120062908/131250000 swapFree=33010416/33010684
[pid=49343] ppid=49340 vsize=374556 memory=288588 CPUtime=101.95 cores=4,6
/proc/49343/stat : 49343 (mixed-bag) R 49340 49343 48377 0 -1 4194304 73080 0 0 0 10183 12 0 0 20 0 1 0 52406518 383545344 72147 18446744073709551615 4235264 15874749 140726840291456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26173440 140726840297884 140726840297961 140726840297961 140726840303563 0
/proc/49343/statm: 93639 72147 4448 2842 0 75333 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 374556 KiB
Current children cumulated memory: 288588 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 49356
/proc/meminfo: memFree=119827236/131250000 swapFree=33010416/33010684
[pid=49343] ppid=49340 vsize=451784 memory=362204 CPUtime=161.75 cores=4,6
/proc/49343/stat : 49343 (mixed-bag) R 49340 49343 48377 0 -1 4194304 92415 0 0 0 16160 15 0 0 20 0 1 0 52406518 462626816 90551 18446744073709551615 4235264 15874749 140726840291456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26173440 140726840297884 140726840297961 140726840297961 140726840303563 0
/proc/49343/statm: 112946 90551 4448 2842 0 94640 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 451784 KiB
Current children cumulated memory: 362204 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 49358
/proc/meminfo: memFree=119488540/131250000 swapFree=33010416/33010684
[pid=49343] ppid=49340 vsize=556004 memory=466824 CPUtime=221.57 cores=4,6
/proc/49343/stat : 49343 (mixed-bag) R 49340 49343 48377 0 -1 4194304 119731 0 0 0 22137 20 0 0 20 0 1 0 52406518 569348096 116706 18446744073709551615 4235264 15874749 140726840291456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26173440 140726840297884 140726840297961 140726840297961 140726840303563 0
/proc/49343/statm: 139001 116706 4448 2842 0 120695 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 556004 KiB
Current children cumulated memory: 466824 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 49360
/proc/meminfo: memFree=119400620/131250000 swapFree=33010416/33010684
[pid=49343] ppid=49340 vsize=617472 memory=528160 CPUtime=281.39 cores=4,6
/proc/49343/stat : 49343 (mixed-bag) R 49340 49343 48377 0 -1 4194304 134573 0 0 0 28116 23 0 0 20 0 1 0 52406518 632291328 132040 18446744073709551615 4235264 15874749 140726840291456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26173440 140726840297884 140726840297961 140726840297961 140726840303563 0
/proc/49343/statm: 154368 132040 4448 2842 0 136062 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 617472 KiB
Current children cumulated memory: 528160 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 49362
/proc/meminfo: memFree=119540496/131250000 swapFree=33010416/33010684
[pid=49343] ppid=49340 vsize=420812 memory=345568 CPUtime=341.23 cores=4,6
/proc/49343/stat : 49343 (mixed-bag) R 49340 49343 48377 0 -1 4194304 139305 0 0 0 34057 66 0 0 20 0 1 0 52406518 430911488 86392 18446744073709551615 4235264 15874749 140726840291456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26173440 140726840297884 140726840297961 140726840297961 140726840303563 0
/proc/49343/statm: 105203 86392 4608 2842 0 86897 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 420812 KiB
Current children cumulated memory: 345568 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 49375
/proc/meminfo: memFree=119531932/131250000 swapFree=33010416/33010684
[pid=49343] ppid=49340 vsize=420812 memory=348532 CPUtime=401.08 cores=4,6
/proc/49343/stat : 49343 (mixed-bag) R 49340 49343 48377 0 -1 4194304 139505 0 0 0 40002 106 0 0 20 0 1 0 52406518 430911488 87133 18446744073709551615 4235264 15874749 140726840291456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26173440 140726840297884 140726840297961 140726840297961 140726840303563 0
/proc/49343/statm: 105203 87133 4608 2842 0 86897 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 420812 KiB
Current children cumulated memory: 348532 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/262 49377
/proc/meminfo: memFree=119528592/131250000 swapFree=33010416/33010684
[pid=49343] ppid=49340 vsize=427992 memory=349556 CPUtime=460.92 cores=4,6
/proc/49343/stat : 49343 (mixed-bag) R 49340 49343 48377 0 -1 4194304 139779 0 0 0 45950 142 0 0 20 0 1 0 52406518 438263808 87389 18446744073709551615 4235264 15874749 140726840291456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26173440 140726840297884 140726840297961 140726840297961 140726840303563 0
/proc/49343/statm: 106998 87389 4608 2842 0 88692 0
################
# More data... #
################
Current children cumulated memory: 378728 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.18 4.12 5/263 49671
/proc/meminfo: memFree=129065288/131250000 swapFree=33010416/33010684
[pid=49343] ppid=49340 vsize=458636 memory=378728 CPUtime=2914.29 cores=4,6
/proc/49343/stat : 49343 (mixed-bag) R 49340 49343 48377 0 -1 4194304 141113 0 0 0 290650 779 0 0 20 0 1 0 52406518 469643264 94682 18446744073709551615 4235264 15874749 140726840291456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26173440 140726840297884 140726840297961 140726840297961 140726840303563 0
/proc/49343/statm: 114659 94682 4608 2842 0 96353 0
Current children cumulated CPU time: 2914.29 s
Current children cumulated vsize: 458636 KiB
Current children cumulated memory: 378728 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.16 4.12 5/263 49673
/proc/meminfo: memFree=129065424/131250000 swapFree=33010416/33010684
[pid=49343] ppid=49340 vsize=458636 memory=378728 CPUtime=2974.14 cores=4,6
/proc/49343/stat : 49343 (mixed-bag) R 49340 49343 48377 0 -1 4194304 141156 0 0 0 296626 788 0 0 20 0 1 0 52406518 469643264 94682 18446744073709551615 4235264 15874749 140726840291456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26173440 140726840297884 140726840297961 140726840297961 140726840303563 0
/proc/49343/statm: 114659 94682 4608 2842 0 96353 0
Current children cumulated CPU time: 2974.14 s
Current children cumulated vsize: 458636 KiB
Current children cumulated memory: 378728 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.14 4.11 5/263 49675
/proc/meminfo: memFree=129066080/131250000 swapFree=33010416/33010684
[pid=49343] ppid=49340 vsize=458636 memory=378728 CPUtime=3034 cores=4,6
/proc/49343/stat : 49343 (mixed-bag) R 49340 49343 48377 0 -1 4194304 141161 0 0 0 302600 800 0 0 20 0 1 0 52406518 469643264 94682 18446744073709551615 4235264 15874749 140726840291456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26173440 140726840297884 140726840297961 140726840297961 140726840303563 0
/proc/49343/statm: 114659 94682 4608 2842 0 96353 0
Current children cumulated CPU time: 3034 s
Current children cumulated vsize: 458636 KiB
Current children cumulated memory: 378728 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.13 4.11 5/263 49677
/proc/meminfo: memFree=129065440/131250000 swapFree=33010416/33010684
[pid=49343] ppid=49340 vsize=458636 memory=378728 CPUtime=3093.86 cores=4,6
/proc/49343/stat : 49343 (mixed-bag) R 49340 49343 48377 0 -1 4194304 141161 0 0 0 308575 811 0 0 20 0 1 0 52406518 469643264 94682 18446744073709551615 4235264 15874749 140726840291456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26173440 140726840297884 140726840297961 140726840297961 140726840303563 0
/proc/49343/statm: 114659 94682 4608 2842 0 96353 0
Current children cumulated CPU time: 3093.86 s
Current children cumulated vsize: 458636 KiB
Current children cumulated memory: 378728 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/263 49681
/proc/meminfo: memFree=129062192/131250000 swapFree=33010416/33010684
[pid=49343] ppid=49340 vsize=458636 memory=378728 CPUtime=3153.72 cores=4,6
/proc/49343/stat : 49343 (mixed-bag) R 49340 49343 48377 0 -1 4194304 141161 0 0 0 314550 822 0 0 20 0 1 0 52406518 469643264 94682 18446744073709551615 4235264 15874749 140726840291456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26173440 140726840297884 140726840297961 140726840297961 140726840303563 0
/proc/49343/statm: 114659 94682 4608 2842 0 96353 0
Current children cumulated CPU time: 3153.72 s
Current children cumulated vsize: 458636 KiB
Current children cumulated memory: 378728 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/262 49687
/proc/meminfo: memFree=129063220/131250000 swapFree=33010416/33010684
[pid=49343] ppid=49340 vsize=458636 memory=378728 CPUtime=3213.58 cores=4,6
/proc/49343/stat : 49343 (mixed-bag) R 49340 49343 48377 0 -1 4194304 141161 0 0 0 320525 833 0 0 20 0 1 0 52406518 469643264 94682 18446744073709551615 4235264 15874749 140726840291456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26173440 140726840297884 140726840297961 140726840297961 140726840303563 0
/proc/49343/statm: 114659 94682 4608 2842 0 96353 0
Current children cumulated CPU time: 3213.58 s
Current children cumulated vsize: 458636 KiB
Current children cumulated memory: 378728 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/262 49689
/proc/meminfo: memFree=129063380/131250000 swapFree=33010416/33010684
[pid=49343] ppid=49340 vsize=458636 memory=378728 CPUtime=3273.44 cores=4,6
/proc/49343/stat : 49343 (mixed-bag) R 49340 49343 48377 0 -1 4194304 141161 0 0 0 326503 841 0 0 20 0 1 0 52406518 469643264 94682 18446744073709551615 4235264 15874749 140726840291456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26173440 140726840297884 140726840297961 140726840297961 140726840303563 0
/proc/49343/statm: 114659 94682 4608 2842 0 96353 0
Current children cumulated CPU time: 3273.44 s
Current children cumulated vsize: 458636 KiB
Current children cumulated memory: 378728 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/262 49691
/proc/meminfo: memFree=129063268/131250000 swapFree=33010416/33010684
[pid=49343] ppid=49340 vsize=458636 memory=380780 CPUtime=3333.3 cores=4,6
/proc/49343/stat : 49343 (mixed-bag) R 49340 49343 48377 0 -1 4194304 141162 0 0 0 332479 851 0 0 20 0 1 0 52406518 469643264 95195 18446744073709551615 4235264 15874749 140726840291456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26173440 140726840297884 140726840297961 140726840297961 140726840303563 0
/proc/49343/statm: 114659 95195 4608 2842 0 96353 0
Current children cumulated CPU time: 3333.3 s
Current children cumulated vsize: 458636 KiB
Current children cumulated memory: 380780 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/262 49694
/proc/meminfo: memFree=129063444/131250000 swapFree=33010416/33010684
[pid=49343] ppid=49340 vsize=458636 memory=380780 CPUtime=3393.15 cores=4,6
/proc/49343/stat : 49343 (mixed-bag) R 49340 49343 48377 0 -1 4194304 141162 0 0 0 338452 863 0 0 20 0 1 0 52406518 469643264 95195 18446744073709551615 4235264 15874749 140726840291456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26173440 140726840297884 140726840297961 140726840297961 140726840303563 0
/proc/49343/statm: 114659 95195 4608 2842 0 96353 0
Current children cumulated CPU time: 3393.15 s
Current children cumulated vsize: 458636 KiB
Current children cumulated memory: 380780 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/262 49696
/proc/meminfo: memFree=129064080/131250000 swapFree=33010416/33010684
[pid=49343] ppid=49340 vsize=458636 memory=380780 CPUtime=3453.01 cores=4,6
/proc/49343/stat : 49343 (mixed-bag) R 49340 49343 48377 0 -1 4194304 141162 0 0 0 344428 873 0 0 20 0 1 0 52406518 469643264 95195 18446744073709551615 4235264 15874749 140726840291456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26173440 140726840297884 140726840297961 140726840297961 140726840303563 0
/proc/49343/statm: 114659 95195 4608 2842 0 96353 0
Current children cumulated CPU time: 3453.01 s
Current children cumulated vsize: 458636 KiB
Current children cumulated memory: 380780 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/262 49698
/proc/meminfo: memFree=129063208/131250000 swapFree=33010416/33010684
[pid=49343] ppid=49340 vsize=458636 memory=380780 CPUtime=3512.87 cores=4,6
/proc/49343/stat : 49343 (mixed-bag) R 49340 49343 48377 0 -1 4194304 141162 0 0 0 350404 883 0 0 20 0 1 0 52406518 469643264 95195 18446744073709551615 4235264 15874749 140726840291456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26173440 140726840297884 140726840297961 140726840297961 140726840303563 0
/proc/49343/statm: 114659 95195 4608 2842 0 96353 0
Current children cumulated CPU time: 3512.87 s
Current children cumulated vsize: 458636 KiB
Current children cumulated memory: 380780 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/262 49700
/proc/meminfo: memFree=129056980/131250000 swapFree=33010416/33010684
[pid=49343] ppid=49340 vsize=458636 memory=380780 CPUtime=3572.72 cores=4,6
/proc/49343/stat : 49343 (mixed-bag) R 49340 49343 48377 0 -1 4194304 141162 0 0 0 356380 892 0 0 20 0 1 0 52406518 469643264 95195 18446744073709551615 4235264 15874749 140726840291456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26173440 140726840297884 140726840297961 140726840297961 140726840303563 0
/proc/49343/statm: 114659 95195 4608 2842 0 96353 0
Current children cumulated CPU time: 3572.72 s
Current children cumulated vsize: 458636 KiB
Current children cumulated memory: 380780 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.14 4.10 4.09 5/262 49702
/proc/meminfo: memFree=129060616/131250000 swapFree=33010416/33010684
[pid=49343] ppid=49340 vsize=458636 memory=380780 CPUtime=3600.06 cores=4,6
/proc/49343/stat : 49343 (mixed-bag) R 49340 49343 48377 0 -1 4194304 141162 0 0 0 359109 897 0 0 20 0 1 0 52406518 469643264 95195 18446744073709551615 4235264 15874749 140726840291456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26173440 140726840297884 140726840297961 140726840297961 140726840303563 0
/proc/49343/statm: 114659 95195 4608 2842 0 96353 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 458636 KiB
Current children cumulated memory: 380780 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.71 s]
# the end of solver process 49343 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.1 s, system=8.97587 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.14 4.10 4.09 5/262 49702
/proc/meminfo: memFree=129060616/131250000 swapFree=33010416/33010684
[pid=49343] ppid=49340 vsize=458636 memory=380780 CPUtime=3600.06 cores=4,6
/proc/49343/stat : 49343 (mixed-bag) R 49340 49343 48377 0 -1 4194304 141162 0 0 0 359109 897 0 0 20 0 1 0 52406518 469643264 95195 18446744073709551615 4235264 15874749 140726840291456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 26173440 140726840297884 140726840297961 140726840297961 140726840303563 0
/proc/49343/statm: 114659 95195 4608 2842 0 96353 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 458636 KiB
Current children cumulated memory: 380780 KiB
Child status: 0
Real time (s): 3609.71
CPU time (s): 3600.07
CPU user time (s): 3591.1
CPU system time (s): 8.97587
CPU usage (%): 99.7332
Max. virtual memory (cumulated for all children) (KiB): 631548
Max. memory (cumulated for all children) (KiB): 543136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.1
system time used= 8.97587
maximum resident set size= 543136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141197
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= 163
involuntary context switches= 2077
# summary of solver processes directly reported to runsolver:
# pid: 49343
# total CPU time (s): 3600.07
# total CPU user time (s): 3591.1
# total CPU system time (s): 8.97587
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.39142 second user time and 15.0709 second system time
The end
Begin job on nodeC027 at 2025-07-01 12:54:26
IDJOB=4490325
IDBENCH=147578
IDSOLVER=3340
FILE ID=nodeC027/4490325-1751367266
RUNJOBID= nodeC027-1751361124-48388
SLURM_JOB_ID= 9598168
Free space on /tmp= 432968 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
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 -w /tmp/evaluation-result-4490325-1751367266/watcher-4490325-1751367266 -o /tmp/evaluation-result-4490325-1751367266/solver-4490325-1751367266 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751361124-48388 --watchdog 3760 mixed-bag HOME/instance-4490325-1751367266.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b4b357048b7fd6a2befaa81502734110
RANDOM SEED=2001785816
nodeC027 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.653
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.622
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
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 : 3600.461
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
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 : 3594.878
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.632
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.603
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
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 : 3601.261
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
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 : 3756.797
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 120355768 kB
MemAvailable: 120139948 kB
Buffers: 2488 kB
Cached: 586648 kB
SwapCached: 12 kB
Active: 9962872 kB
Inactive: 285596 kB
Active(anon): 9674596 kB
Inactive(anon): 2792 kB
Active(file): 288276 kB
Inactive(file): 282804 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15608 kB
Writeback: 4 kB
AnonPages: 9661052 kB
Mapped: 138576 kB
Shmem: 18056 kB
KReclaimable: 104276 kB
Slab: 192512 kB
SReclaimable: 104276 kB
SUnreclaim: 88236 kB
KernelStack: 4240 kB
PageTables: 22488 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 11557364 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4999168 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433000 MiB
End job on nodeC027 at 2025-07-01 13:54:36