0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.01 c [STEP] solving
0.00/0.01 c #variables 172 #constraints 14
0.00/0.01 c SMALL=int, LARGE=long long
0.00/0.01 c bounds - >= 0 @ 0.000671
0.00/0.01 c stratification level: 64
0.00/0.01 c bounds 454 >= 0 @ 0.009036
0.00/0.01 c stratification level: 32
0.00/0.02 c bounds 274 >= 0 @ 0.012435
0.00/0.02 c stratification level: 16
0.09/0.18 c #Conflicts: 1000 | #Constraints: 1015
0.09/0.18 c bounds 116 >= 0 @ 0.161529
0.09/0.18 c stratification level: 8
19.84/19.91 c #Conflicts: 2000 | #Constraints: 2016
19.84/19.91 c INPROCESSING
19.84/19.91 c GARBAGE COLLECT
19.84/19.91 c #Conflicts: 3000 | #Constraints: 2018
19.84/19.91 c #Conflicts: 4000 | #Constraints: 3018
19.84/19.91 c INPROCESSING
19.84/19.91 c GARBAGE COLLECT
19.84/19.91 c #Conflicts: 5000 | #Constraints: 2425
19.84/19.91 c #Conflicts: 6000 | #Constraints: 3425
19.84/19.91 c INPROCESSING
19.84/19.91 c GARBAGE COLLECT
19.84/19.91 c #Conflicts: 7000 | #Constraints: 2427
19.84/19.91 c #Conflicts: 8000 | #Constraints: 3427
19.84/19.91 c #Conflicts: 9000 | #Constraints: 4427
19.84/19.91 c INPROCESSING
19.84/19.91 c GARBAGE COLLECT
19.84/19.91 c #Conflicts: 10000 | #Constraints: 3128
19.84/19.91 c #Conflicts: 11000 | #Constraints: 4128
19.84/19.91 c #Conflicts: 12000 | #Constraints: 5128
19.84/19.91 c INPROCESSING
19.84/19.91 c GARBAGE COLLECT
19.84/19.91 c #Conflicts: 13000 | #Constraints: 3575
19.84/19.91 c #Conflicts: 14000 | #Constraints: 4575
19.84/19.91 c #Conflicts: 15000 | #Constraints: 5575
19.84/19.91 c INPROCESSING
19.84/19.91 c GARBAGE COLLECT
19.84/19.91 c #Conflicts: 16000 | #Constraints: 3801
19.84/19.91 c #Conflicts: 17000 | #Constraints: 4801
19.84/19.91 c #Conflicts: 18000 | #Constraints: 5801
19.84/19.91 c INPROCESSING
19.84/19.91 c GARBAGE COLLECT
19.84/19.91 c #Conflicts: 19000 | #Constraints: 3816
19.84/19.91 c #Conflicts: 20000 | #Constraints: 4816
19.84/19.91 c #Conflicts: 21000 | #Constraints: 5816
19.84/19.91 c INPROCESSING
19.84/19.91 c GARBAGE COLLECT
19.84/19.91 c #Conflicts: 22000 | #Constraints: 3622
19.84/19.91 c #Conflicts: 23000 | #Constraints: 4622
19.84/19.91 c #Conflicts: 24000 | #Constraints: 5622
19.84/19.91 c #Conflicts: 25000 | #Constraints: 6622
19.84/19.91 c INPROCESSING
19.84/19.91 c GARBAGE COLLECT
19.84/19.91 c #Conflicts: 26000 | #Constraints: 4225
19.84/19.91 c #Conflicts: 27000 | #Constraints: 5225
19.84/19.91 c #Conflicts: 28000 | #Constraints: 6225
19.84/19.91 c #Conflicts: 29000 | #Constraints: 7225
19.84/19.91 c INPROCESSING
19.84/19.91 c GARBAGE COLLECT
19.84/19.91 c #Conflicts: 30000 | #Constraints: 4622
19.84/19.91 c #Conflicts: 31000 | #Constraints: 5622
19.84/19.91 c #Conflicts: 32000 | #Constraints: 6622
19.84/19.91 c #Conflicts: 33000 | #Constraints: 7622
19.84/19.91 c INPROCESSING
19.84/19.91 c GARBAGE COLLECT
19.84/19.91 c #Conflicts: 34000 | #Constraints: 4824
19.84/19.91 c #Conflicts: 35000 | #Constraints: 5824
19.84/19.91 c #Conflicts: 36000 | #Constraints: 6824
19.84/19.91 c #Conflicts: 37000 | #Constraints: 7824
19.84/19.91 c INPROCESSING
19.84/19.91 c GARBAGE COLLECT
19.84/19.91 c #Conflicts: 38000 | #Constraints: 4829
19.84/19.91 c #Conflicts: 39000 | #Constraints: 5829
19.84/19.91 c #Conflicts: 40000 | #Constraints: 6829
19.84/19.91 c #Conflicts: 41000 | #Constraints: 7829
19.84/19.91 c INPROCESSING
19.84/19.91 c GARBAGE COLLECT
19.84/19.91 c #Conflicts: 42000 | #Constraints: 4633
19.84/19.91 c #Conflicts: 43000 | #Constraints: 5633
19.84/19.91 c #Conflicts: 44000 | #Constraints: 6633
19.84/19.91 c #Conflicts: 45000 | #Constraints: 7633
19.84/19.91 c #Conflicts: 46000 | #Constraints: 8633
19.84/19.91 c INPROCESSING
19.84/19.91 c GARBAGE COLLECT
19.84/19.91 c #Conflicts: 47000 | #Constraints: 5227
19.84/19.91 c #Conflicts: 48000 | #Constraints: 6227
19.84/19.91 c #Conflicts: 49000 | #Constraints: 7227
19.84/19.91 c #Conflicts: 50000 | #Constraints: 8227
19.84/19.91 c #Conflicts: 51000 | #Constraints: 9227
19.84/19.91 c INPROCESSING
19.84/19.91 c GARBAGE COLLECT
19.84/19.91 c #Conflicts: 52000 | #Constraints: 5629
19.84/19.91 c #Conflicts: 53000 | #Constraints: 6629
19.84/19.91 c #Conflicts: 54000 | #Constraints: 7629
19.84/19.91 c #Conflicts: 55000 | #Constraints: 8629
19.84/19.91 c #Conflicts: 56000 | #Constraints: 9629
19.84/19.91 c INPROCESSING
19.84/19.91 c GARBAGE COLLECT
19.84/19.91 c #Conflicts: 57000 | #Constraints: 5828
19.84/19.91 c #Conflicts: 58000 | #Constraints: 6828
19.84/19.91 c #Conflicts: 59000 | #Constraints: 7828
19.84/19.91 c #Conflicts: 60000 | #Constraints: 8828
19.84/19.91 c #Conflicts: 61000 | #Constraints: 9828
19.84/19.91 c INPROCESSING
19.84/19.91 c GARBAGE COLLECT
19.84/19.91 c #Conflicts: 62000 | #Constraints: 5833
19.84/19.91 c #Conflicts: 63000 | #Constraints: 6833
19.84/19.91 c #Conflicts: 64000 | #Constraints: 7833
19.84/19.91 c #Conflicts: 65000 | #Constraints: 8833
19.84/19.91 c #Conflicts: 66000 | #Constraints: 9833
19.84/19.91 c INPROCESSING
19.84/19.91 c GARBAGE COLLECT
19.84/19.91 c #Conflicts: 67000 | #Constraints: 5632
19.84/19.91 c #Conflicts: 68000 | #Constraints: 6632
19.84/19.91 c #Conflicts: 69000 | #Constraints: 7632
53.95/54.14 c #Conflicts: 70000 | #Constraints: 8632
53.95/54.14 c #Conflicts: 71000 | #Constraints: 9632
53.95/54.14 c #Conflicts: 72000 | #Constraints: 10632
53.95/54.14 c INPROCESSING
53.95/54.14 c GARBAGE COLLECT
53.95/54.14 c #Conflicts: 73000 | #Constraints: 6232
53.95/54.14 c #Conflicts: 74000 | #Constraints: 7232
53.95/54.14 c #Conflicts: 75000 | #Constraints: 8232
53.95/54.14 c #Conflicts: 76000 | #Constraints: 9232
53.95/54.14 c #Conflicts: 77000 | #Constraints: 10232
53.95/54.14 c #Conflicts: 78000 | #Constraints: 11232
53.95/54.14 c INPROCESSING
53.95/54.14 c GARBAGE COLLECT
53.95/54.14 c #Conflicts: 79000 | #Constraints: 6632
53.95/54.14 c #Conflicts: 80000 | #Constraints: 7632
53.95/54.14 c #Conflicts: 81000 | #Constraints: 8632
53.95/54.14 c #Conflicts: 82000 | #Constraints: 9632
53.95/54.14 c #Conflicts: 83000 | #Constraints: 10632
53.95/54.14 c #Conflicts: 84000 | #Constraints: 11632
53.95/54.14 c INPROCESSING
53.95/54.14 c GARBAGE COLLECT
53.95/54.14 c #Conflicts: 85000 | #Constraints: 6833
53.95/54.14 c #Conflicts: 86000 | #Constraints: 7833
53.95/54.14 c #Conflicts: 87000 | #Constraints: 8833
53.95/54.14 c #Conflicts: 88000 | #Constraints: 9833
53.95/54.14 c #Conflicts: 89000 | #Constraints: 10833
53.95/54.14 c #Conflicts: 90000 | #Constraints: 11833
53.95/54.14 c INPROCESSING
53.95/54.14 c GARBAGE COLLECT
53.95/54.14 c #Conflicts: 91000 | #Constraints: 6830
53.95/54.14 c #Conflicts: 92000 | #Constraints: 7830
53.95/54.14 c #Conflicts: 93000 | #Constraints: 8830
53.95/54.14 c #Conflicts: 94000 | #Constraints: 9830
53.95/54.14 c #Conflicts: 95000 | #Constraints: 10830
53.95/54.14 c #Conflicts: 96000 | #Constraints: 11830
53.95/54.14 c INPROCESSING
53.95/54.14 c GARBAGE COLLECT
53.95/54.14 c #Conflicts: 97000 | #Constraints: 6631
53.95/54.14 c #Conflicts: 98000 | #Constraints: 7631
53.95/54.14 c #Conflicts: 99000 | #Constraints: 8631
53.95/54.14 c #Conflicts: 100000 | #Constraints: 9631
53.95/54.14 c #Conflicts: 101000 | #Constraints: 10631
53.95/54.14 c #Conflicts: 102000 | #Constraints: 11631
53.95/54.14 c #Conflicts: 103000 | #Constraints: 12631
53.95/54.14 c INPROCESSING
53.95/54.14 c GARBAGE COLLECT
53.95/54.14 c #Conflicts: 104000 | #Constraints: 7230
53.95/54.14 c #Conflicts: 105000 | #Constraints: 8230
53.95/54.14 c #Conflicts: 106000 | #Constraints: 9230
53.95/54.14 c #Conflicts: 107000 | #Constraints: 10230
53.95/54.14 c #Conflicts: 108000 | #Constraints: 11230
53.95/54.14 c #Conflicts: 109000 | #Constraints: 12230
53.95/54.14 c #Conflicts: 110000 | #Constraints: 13230
53.95/54.14 c INPROCESSING
53.95/54.14 c GARBAGE COLLECT
53.95/54.14 c #Conflicts: 111000 | #Constraints: 7629
53.95/54.14 c #Conflicts: 112000 | #Constraints: 8629
53.95/54.14 c #Conflicts: 113000 | #Constraints: 9629
53.95/54.14 c #Conflicts: 114000 | #Constraints: 10629
53.95/54.14 c #Conflicts: 115000 | #Constraints: 11629
53.95/54.14 c #Conflicts: 116000 | #Constraints: 12629
53.95/54.14 c #Conflicts: 117000 | #Constraints: 13629
53.95/54.14 c INPROCESSING
53.95/54.14 c GARBAGE COLLECT
53.95/54.14 c #Conflicts: 118000 | #Constraints: 7830
53.95/54.14 c #Conflicts: 119000 | #Constraints: 8830
53.95/54.14 c #Conflicts: 120000 | #Constraints: 9830
53.95/54.14 c #Conflicts: 121000 | #Constraints: 10830
53.95/54.14 c #Conflicts: 122000 | #Constraints: 11830
53.95/54.14 c #Conflicts: 123000 | #Constraints: 12830
53.95/54.14 c #Conflicts: 124000 | #Constraints: 13830
53.95/54.14 c INPROCESSING
53.95/54.14 c GARBAGE COLLECT
53.95/54.14 c #Conflicts: 125000 | #Constraints: 7829
53.95/54.14 c #Conflicts: 126000 | #Constraints: 8829
53.95/54.14 c #Conflicts: 127000 | #Constraints: 9829
53.95/54.14 c #Conflicts: 128000 | #Constraints: 10829
53.95/54.14 c #Conflicts: 129000 | #Constraints: 11829
53.95/54.14 c #Conflicts: 130000 | #Constraints: 12829
53.95/54.14 c #Conflicts: 131000 | #Constraints: 13829
53.95/54.14 c INPROCESSING
53.95/54.14 c GARBAGE COLLECT
53.95/54.14 c #Conflicts: 132000 | #Constraints: 7626
53.95/54.14 c #Conflicts: 133000 | #Constraints: 8626
53.95/54.14 c #Conflicts: 134000 | #Constraints: 9626
53.95/54.14 c #Conflicts: 135000 | #Constraints: 10626
53.95/54.14 c #Conflicts: 136000 | #Constraints: 11626
53.95/54.14 c #Conflicts: 137000 | #Constraints: 12626
53.95/54.14 c #Conflicts: 138000 | #Constraints: 13626
53.95/54.14 c #Conflicts: 139000 | #Constraints: 14626
53.95/54.14 c INPROCESSING
53.95/54.14 c GARBAGE COLLECT
53.95/54.14 c #Conflicts: 140000 | #Constraints: 8231
53.95/54.14 c #Conflicts: 141000 | #Constraints: 9231
101.62/101.91 c #Conflicts: 142000 | #Constraints: 10231
101.62/101.91 c #Conflicts: 143000 | #Constraints: 11231
101.62/101.91 c #Conflicts: 144000 | #Constraints: 12231
101.62/101.91 c #Conflicts: 145000 | #Constraints: 13231
101.62/101.91 c #Conflicts: 146000 | #Constraints: 14231
101.62/101.91 c #Conflicts: 147000 | #Constraints: 15231
101.62/101.91 c INPROCESSING
101.62/101.91 c GARBAGE COLLECT
101.62/101.91 c #Conflicts: 148000 | #Constraints: 8632
101.62/101.91 c #Conflicts: 149000 | #Constraints: 9632
101.62/101.91 c #Conflicts: 150000 | #Constraints: 10632
101.62/101.91 c #Conflicts: 151000 | #Constraints: 11632
101.62/101.91 c #Conflicts: 152000 | #Constraints: 12632
101.62/101.91 c #Conflicts: 153000 | #Constraints: 13632
101.62/101.91 c #Conflicts: 154000 | #Constraints: 14632
101.62/101.91 c #Conflicts: 155000 | #Constraints: 15632
101.62/101.91 c INPROCESSING
101.62/101.91 c GARBAGE COLLECT
101.62/101.91 c #Conflicts: 156000 | #Constraints: 8830
101.62/101.91 c #Conflicts: 157000 | #Constraints: 9830
101.62/101.91 c #Conflicts: 158000 | #Constraints: 10830
101.62/101.91 c #Conflicts: 159000 | #Constraints: 11830
101.62/101.91 c #Conflicts: 160000 | #Constraints: 12830
101.62/101.91 c #Conflicts: 161000 | #Constraints: 13830
101.62/101.91 c #Conflicts: 162000 | #Constraints: 14830
101.62/101.91 c #Conflicts: 163000 | #Constraints: 15830
101.62/101.91 c INPROCESSING
101.62/101.91 c GARBAGE COLLECT
101.62/101.91 c #Conflicts: 164000 | #Constraints: 8831
101.62/101.91 c #Conflicts: 165000 | #Constraints: 9831
101.62/101.91 c #Conflicts: 166000 | #Constraints: 10831
101.62/101.91 c #Conflicts: 167000 | #Constraints: 11831
101.62/101.91 c #Conflicts: 168000 | #Constraints: 12831
101.62/101.91 c #Conflicts: 169000 | #Constraints: 13831
101.62/101.91 c #Conflicts: 170000 | #Constraints: 14831
101.62/101.91 c #Conflicts: 171000 | #Constraints: 15831
101.62/101.91 c INPROCESSING
101.62/101.91 c GARBAGE COLLECT
101.62/101.91 c #Conflicts: 172000 | #Constraints: 8627
101.62/101.91 c #Conflicts: 173000 | #Constraints: 9627
101.62/101.91 c #Conflicts: 174000 | #Constraints: 10627
101.62/101.91 c #Conflicts: 175000 | #Constraints: 11627
101.62/101.91 c #Conflicts: 176000 | #Constraints: 12627
101.62/101.91 c #Conflicts: 177000 | #Constraints: 13627
101.62/101.91 c #Conflicts: 178000 | #Constraints: 14627
101.62/101.91 c #Conflicts: 179000 | #Constraints: 15627
101.62/101.91 c #Conflicts: 180000 | #Constraints: 16627
101.62/101.91 c INPROCESSING
101.62/101.91 c GARBAGE COLLECT
101.62/101.91 c #Conflicts: 181000 | #Constraints: 9228
101.62/101.91 c #Conflicts: 182000 | #Constraints: 10228
101.62/101.91 c #Conflicts: 183000 | #Constraints: 11228
101.62/101.91 c #Conflicts: 184000 | #Constraints: 12228
101.62/101.91 c #Conflicts: 185000 | #Constraints: 13228
101.62/101.91 c #Conflicts: 186000 | #Constraints: 14228
101.62/101.91 c #Conflicts: 187000 | #Constraints: 15228
101.62/101.91 c #Conflicts: 188000 | #Constraints: 16228
101.62/101.91 c #Conflicts: 189000 | #Constraints: 17228
101.62/101.91 c INPROCESSING
101.62/101.91 c GARBAGE COLLECT
101.62/101.91 c #Conflicts: 190000 | #Constraints: 9634
101.62/101.91 c #Conflicts: 191000 | #Constraints: 10634
101.62/101.91 c #Conflicts: 192000 | #Constraints: 11634
101.62/101.91 c #Conflicts: 193000 | #Constraints: 12634
101.62/101.91 c #Conflicts: 194000 | #Constraints: 13634
101.62/101.91 c #Conflicts: 195000 | #Constraints: 14634
101.62/101.91 c #Conflicts: 196000 | #Constraints: 15634
101.62/101.91 c #Conflicts: 197000 | #Constraints: 16634
101.62/101.91 c #Conflicts: 198000 | #Constraints: 17634
101.62/101.91 c INPROCESSING
101.62/101.91 c GARBAGE COLLECT
101.62/101.91 c #Conflicts: 199000 | #Constraints: 9836
101.62/101.91 c #Conflicts: 200000 | #Constraints: 10836
101.62/101.91 c #Conflicts: 201000 | #Constraints: 11836
101.62/101.91 c #Conflicts: 202000 | #Constraints: 12836
101.62/101.91 c #Conflicts: 203000 | #Constraints: 13836
101.62/101.91 c #Conflicts: 204000 | #Constraints: 14836
101.62/101.91 c #Conflicts: 205000 | #Constraints: 15836
101.62/101.91 c #Conflicts: 206000 | #Constraints: 16836
101.62/101.91 c #Conflicts: 207000 | #Constraints: 17836
101.62/101.91 c INPROCESSING
101.62/101.91 c GARBAGE COLLECT
101.62/101.91 c #Conflicts: 208000 | #Constraints: 9834
101.62/101.91 c #Conflicts: 209000 | #Constraints: 10834
101.62/101.91 c #Conflicts: 210000 | #Constraints: 11834
101.62/101.91 c #Conflicts: 211000 | #Constraints: 12834
101.62/101.91 c #Conflicts: 212000 | #Constraints: 13834
101.62/101.91 c #Conflicts: 213000 | #Constraints: 14834
101.62/101.91 c #Conflicts: 214000 | #Constraints: 15834
160.67/161.15 c #Conflicts: 215000 | #Constraints: 16834
160.67/161.15 c #Conflicts: 216000 | #Constraints: 17834
160.67/161.15 c INPROCESSING
160.67/161.15 c GARBAGE COLLECT
160.67/161.15 c #Conflicts: 217000 | #Constraints: 9634
160.67/161.15 c #Conflicts: 218000 | #Constraints: 10634
160.67/161.15 c #Conflicts: 219000 | #Constraints: 11634
160.67/161.15 c #Conflicts: 220000 | #Constraints: 12634
160.67/161.15 c #Conflicts: 221000 | #Constraints: 13634
160.67/161.15 c #Conflicts: 222000 | #Constraints: 14634
160.67/161.15 c #Conflicts: 223000 | #Constraints: 15634
160.67/161.15 c #Conflicts: 224000 | #Constraints: 16634
160.67/161.15 c #Conflicts: 225000 | #Constraints: 17634
160.67/161.15 c #Conflicts: 226000 | #Constraints: 18634
160.67/161.15 c INPROCESSING
160.67/161.15 c GARBAGE COLLECT
160.67/161.15 c #Conflicts: 227000 | #Constraints: 10237
160.67/161.15 c #Conflicts: 228000 | #Constraints: 11237
160.67/161.15 c #Conflicts: 229000 | #Constraints: 12237
160.67/161.15 c #Conflicts: 230000 | #Constraints: 13237
160.67/161.15 c #Conflicts: 231000 | #Constraints: 14237
160.67/161.15 c #Conflicts: 232000 | #Constraints: 15237
160.67/161.15 c #Conflicts: 233000 | #Constraints: 16237
160.67/161.15 c #Conflicts: 234000 | #Constraints: 17237
160.67/161.15 c #Conflicts: 235000 | #Constraints: 18237
160.67/161.15 c #Conflicts: 236000 | #Constraints: 19237
160.67/161.15 c INPROCESSING
160.67/161.15 c GARBAGE COLLECT
160.67/161.15 c #Conflicts: 237000 | #Constraints: 10636
160.67/161.15 c #Conflicts: 238000 | #Constraints: 11636
160.67/161.15 c #Conflicts: 239000 | #Constraints: 12636
160.67/161.15 c #Conflicts: 240000 | #Constraints: 13636
160.67/161.15 c #Conflicts: 241000 | #Constraints: 14636
160.67/161.15 c #Conflicts: 242000 | #Constraints: 15636
160.67/161.15 c #Conflicts: 243000 | #Constraints: 16636
160.67/161.15 c #Conflicts: 244000 | #Constraints: 17636
160.67/161.15 c #Conflicts: 245000 | #Constraints: 18636
160.67/161.15 c #Conflicts: 246000 | #Constraints: 19636
160.67/161.15 c INPROCESSING
160.67/161.15 c GARBAGE COLLECT
160.67/161.15 c #Conflicts: 247000 | #Constraints: 10833
160.67/161.15 c #Conflicts: 248000 | #Constraints: 11833
160.67/161.15 c #Conflicts: 249000 | #Constraints: 12833
160.67/161.15 c #Conflicts: 250000 | #Constraints: 13833
160.67/161.15 c #Conflicts: 251000 | #Constraints: 14833
160.67/161.15 c #Conflicts: 252000 | #Constraints: 15833
160.67/161.15 c #Conflicts: 253000 | #Constraints: 16833
160.67/161.15 c #Conflicts: 254000 | #Constraints: 17833
160.67/161.15 c #Conflicts: 255000 | #Constraints: 18833
160.67/161.15 c #Conflicts: 256000 | #Constraints: 19833
160.67/161.15 c INPROCESSING
160.67/161.15 c GARBAGE COLLECT
160.67/161.15 c #Conflicts: 257000 | #Constraints: 10831
160.67/161.15 c #Conflicts: 258000 | #Constraints: 11831
160.67/161.15 c #Conflicts: 259000 | #Constraints: 12831
160.67/161.15 c #Conflicts: 260000 | #Constraints: 13831
160.67/161.15 c #Conflicts: 261000 | #Constraints: 14831
160.67/161.15 c #Conflicts: 262000 | #Constraints: 15831
160.67/161.15 c #Conflicts: 263000 | #Constraints: 16831
160.67/161.15 c #Conflicts: 264000 | #Constraints: 17831
160.67/161.15 c #Conflicts: 265000 | #Constraints: 18831
160.67/161.15 c #Conflicts: 266000 | #Constraints: 19831
160.67/161.15 c INPROCESSING
160.67/161.15 c GARBAGE COLLECT
160.67/161.15 c #Conflicts: 267000 | #Constraints: 10634
160.67/161.15 c #Conflicts: 268000 | #Constraints: 11634
160.67/161.15 c #Conflicts: 269000 | #Constraints: 12634
160.67/161.15 c #Conflicts: 270000 | #Constraints: 13634
160.67/161.15 c #Conflicts: 271000 | #Constraints: 14634
160.67/161.15 c #Conflicts: 272000 | #Constraints: 15634
160.67/161.15 c #Conflicts: 273000 | #Constraints: 16634
160.67/161.15 c #Conflicts: 274000 | #Constraints: 17634
160.67/161.15 c #Conflicts: 275000 | #Constraints: 18634
160.67/161.15 c #Conflicts: 276000 | #Constraints: 19634
160.67/161.15 c #Conflicts: 277000 | #Constraints: 20634
160.67/161.15 c INPROCESSING
160.67/161.15 c GARBAGE COLLECT
160.67/161.15 c #Conflicts: 278000 | #Constraints: 11231
160.67/161.15 c #Conflicts: 279000 | #Constraints: 12231
160.67/161.15 c #Conflicts: 280000 | #Constraints: 13231
160.67/161.15 c #Conflicts: 281000 | #Constraints: 14231
160.67/161.15 c #Conflicts: 282000 | #Constraints: 15231
160.67/161.15 c #Conflicts: 283000 | #Constraints: 16231
160.67/161.15 c #Conflicts: 284000 | #Constraints: 17231
160.67/161.15 c #Conflicts: 285000 | #Constraints: 18231
160.67/161.15 c #Conflicts: 286000 | #Constraints: 19231
160.67/161.15 c #Conflicts: 287000 | #Constraints: 20231
160.67/161.15 c #Conflicts: 288000 | #Constraints: 21231
160.67/161.15 c INPROCESSING
233.78/234.47 c GARBAGE COLLECT
233.78/234.47 c #Conflicts: 289000 | #Constraints: 11630
233.78/234.47 c #Conflicts: 290000 | #Constraints: 12630
233.78/234.47 c #Conflicts: 291000 | #Constraints: 13630
233.78/234.47 c #Conflicts: 292000 | #Constraints: 14630
233.78/234.47 c #Conflicts: 293000 | #Constraints: 15630
233.78/234.47 c #Conflicts: 294000 | #Constraints: 16630
233.78/234.47 c #Conflicts: 295000 | #Constraints: 17630
233.78/234.47 c #Conflicts: 296000 | #Constraints: 18630
233.78/234.47 c #Conflicts: 297000 | #Constraints: 19630
233.78/234.47 c #Conflicts: 298000 | #Constraints: 20630
233.78/234.47 c #Conflicts: 299000 | #Constraints: 21630
233.78/234.47 c INPROCESSING
233.78/234.47 c GARBAGE COLLECT
233.78/234.47 c #Conflicts: 300000 | #Constraints: 11835
233.78/234.47 c #Conflicts: 301000 | #Constraints: 12835
233.78/234.47 c #Conflicts: 302000 | #Constraints: 13835
233.78/234.47 c #Conflicts: 303000 | #Constraints: 14835
233.78/234.47 c #Conflicts: 304000 | #Constraints: 15835
233.78/234.47 c #Conflicts: 305000 | #Constraints: 16835
233.78/234.47 c #Conflicts: 306000 | #Constraints: 17835
233.78/234.47 c #Conflicts: 307000 | #Constraints: 18835
233.78/234.47 c #Conflicts: 308000 | #Constraints: 19835
233.78/234.47 c #Conflicts: 309000 | #Constraints: 20835
233.78/234.47 c #Conflicts: 310000 | #Constraints: 21835
233.78/234.47 c INPROCESSING
233.78/234.47 c GARBAGE COLLECT
233.78/234.47 c #Conflicts: 311000 | #Constraints: 11834
233.78/234.47 c #Conflicts: 312000 | #Constraints: 12834
233.78/234.47 c #Conflicts: 313000 | #Constraints: 13834
233.78/234.47 c #Conflicts: 314000 | #Constraints: 14834
233.78/234.47 c #Conflicts: 315000 | #Constraints: 15834
233.78/234.47 c #Conflicts: 316000 | #Constraints: 16834
233.78/234.47 c #Conflicts: 317000 | #Constraints: 17834
233.78/234.47 c #Conflicts: 318000 | #Constraints: 18834
233.78/234.47 c #Conflicts: 319000 | #Constraints: 19834
233.78/234.47 c #Conflicts: 320000 | #Constraints: 20834
233.78/234.47 c #Conflicts: 321000 | #Constraints: 21834
233.78/234.47 c INPROCESSING
233.78/234.47 c GARBAGE COLLECT
233.78/234.47 c #Conflicts: 322000 | #Constraints: 11636
233.78/234.47 c #Conflicts: 323000 | #Constraints: 12636
233.78/234.47 c #Conflicts: 324000 | #Constraints: 13636
233.78/234.47 c #Conflicts: 325000 | #Constraints: 14636
233.78/234.47 c #Conflicts: 326000 | #Constraints: 15636
233.78/234.47 c #Conflicts: 327000 | #Constraints: 16636
233.78/234.47 c #Conflicts: 328000 | #Constraints: 17636
233.78/234.47 c #Conflicts: 329000 | #Constraints: 18636
233.78/234.47 c #Conflicts: 330000 | #Constraints: 19636
233.78/234.47 c #Conflicts: 331000 | #Constraints: 20636
233.78/234.47 c #Conflicts: 332000 | #Constraints: 21636
233.78/234.47 c #Conflicts: 333000 | #Constraints: 22636
233.78/234.47 c INPROCESSING
233.78/234.47 c GARBAGE COLLECT
233.78/234.47 c #Conflicts: 334000 | #Constraints: 12235
233.78/234.47 c #Conflicts: 335000 | #Constraints: 13235
233.78/234.47 c #Conflicts: 336000 | #Constraints: 14235
233.78/234.47 c #Conflicts: 337000 | #Constraints: 15235
233.78/234.47 c #Conflicts: 338000 | #Constraints: 16235
233.78/234.47 c #Conflicts: 339000 | #Constraints: 17235
233.78/234.47 c #Conflicts: 340000 | #Constraints: 18235
233.78/234.47 c #Conflicts: 341000 | #Constraints: 19235
233.78/234.47 c #Conflicts: 342000 | #Constraints: 20235
233.78/234.47 c #Conflicts: 343000 | #Constraints: 21235
233.78/234.47 c #Conflicts: 344000 | #Constraints: 22235
233.78/234.47 c #Conflicts: 345000 | #Constraints: 23235
233.78/234.47 c INPROCESSING
233.78/234.47 c GARBAGE COLLECT
233.78/234.47 c #Conflicts: 346000 | #Constraints: 12634
233.78/234.47 c #Conflicts: 347000 | #Constraints: 13634
233.78/234.47 c #Conflicts: 348000 | #Constraints: 14634
233.78/234.47 c #Conflicts: 349000 | #Constraints: 15634
233.78/234.47 c #Conflicts: 350000 | #Constraints: 16634
233.78/234.47 c #Conflicts: 351000 | #Constraints: 17634
233.78/234.47 c #Conflicts: 352000 | #Constraints: 18634
233.78/234.47 c #Conflicts: 353000 | #Constraints: 19634
233.78/234.47 c #Conflicts: 354000 | #Constraints: 20634
233.78/234.47 c #Conflicts: 355000 | #Constraints: 21634
233.78/234.47 c #Conflicts: 356000 | #Constraints: 22634
233.78/234.47 c #Conflicts: 357000 | #Constraints: 23634
233.78/234.47 c INPROCESSING
233.78/234.47 c GARBAGE COLLECT
233.78/234.47 c #Conflicts: 358000 | #Constraints: 12829
233.78/234.47 c #Conflicts: 359000 | #Constraints: 13829
233.78/234.47 c #Conflicts: 360000 | #Constraints: 14829
233.78/234.47 c #Conflicts: 361000 | #Constraints: 15829
233.78/234.47 c #Conflicts: 362000 | #Constraints: 16829
233.78/234.47 c #Conflicts: 363000 | #Constraints: 17829
319.87/320.73 c #Conflicts: 364000 | #Constraints: 18829
319.87/320.73 c #Conflicts: 365000 | #Constraints: 19829
319.87/320.73 c #Conflicts: 366000 | #Constraints: 20829
319.87/320.73 c #Conflicts: 367000 | #Constraints: 21829
319.87/320.73 c #Conflicts: 368000 | #Constraints: 22829
319.87/320.73 c #Conflicts: 369000 | #Constraints: 23829
319.87/320.73 c INPROCESSING
319.87/320.73 c GARBAGE COLLECT
319.87/320.73 c #Conflicts: 370000 | #Constraints: 12831
319.87/320.73 c #Conflicts: 371000 | #Constraints: 13831
319.87/320.73 c #Conflicts: 372000 | #Constraints: 14831
319.87/320.73 c #Conflicts: 373000 | #Constraints: 15831
319.87/320.73 c #Conflicts: 374000 | #Constraints: 16831
319.87/320.73 c #Conflicts: 375000 | #Constraints: 17831
319.87/320.73 c #Conflicts: 376000 | #Constraints: 18831
319.87/320.73 c #Conflicts: 377000 | #Constraints: 19831
319.87/320.73 c #Conflicts: 378000 | #Constraints: 20831
319.87/320.73 c #Conflicts: 379000 | #Constraints: 21831
319.87/320.73 c #Conflicts: 380000 | #Constraints: 22831
319.87/320.73 c #Conflicts: 381000 | #Constraints: 23831
319.87/320.73 c INPROCESSING
319.87/320.73 c GARBAGE COLLECT
319.87/320.73 c #Conflicts: 382000 | #Constraints: 12632
319.87/320.73 c #Conflicts: 383000 | #Constraints: 13632
319.87/320.73 c #Conflicts: 384000 | #Constraints: 14632
319.87/320.73 c #Conflicts: 385000 | #Constraints: 15632
319.87/320.73 c #Conflicts: 386000 | #Constraints: 16632
319.87/320.73 c #Conflicts: 387000 | #Constraints: 17632
319.87/320.73 c #Conflicts: 388000 | #Constraints: 18632
319.87/320.73 c #Conflicts: 389000 | #Constraints: 19632
319.87/320.73 c #Conflicts: 390000 | #Constraints: 20632
319.87/320.73 c #Conflicts: 391000 | #Constraints: 21632
319.87/320.73 c #Conflicts: 392000 | #Constraints: 22632
319.87/320.73 c #Conflicts: 393000 | #Constraints: 23632
319.87/320.73 c #Conflicts: 394000 | #Constraints: 24632
319.87/320.73 c INPROCESSING
319.87/320.73 c GARBAGE COLLECT
319.87/320.73 c #Conflicts: 395000 | #Constraints: 13231
319.87/320.73 c #Conflicts: 396000 | #Constraints: 14231
319.87/320.73 c #Conflicts: 397000 | #Constraints: 15231
319.87/320.73 c #Conflicts: 398000 | #Constraints: 16231
319.87/320.73 c #Conflicts: 399000 | #Constraints: 17231
319.87/320.73 c #Conflicts: 400000 | #Constraints: 18231
319.87/320.73 c #Conflicts: 401000 | #Constraints: 19231
319.87/320.73 c #Conflicts: 402000 | #Constraints: 20231
319.87/320.73 c #Conflicts: 403000 | #Constraints: 21231
319.87/320.73 c #Conflicts: 404000 | #Constraints: 22231
319.87/320.73 c #Conflicts: 405000 | #Constraints: 23231
319.87/320.73 c #Conflicts: 406000 | #Constraints: 24231
319.87/320.73 c #Conflicts: 407000 | #Constraints: 25231
319.87/320.73 c INPROCESSING
319.87/320.73 c GARBAGE COLLECT
319.87/320.73 c #Conflicts: 408000 | #Constraints: 13630
319.87/320.73 c #Conflicts: 409000 | #Constraints: 14630
319.87/320.73 c #Conflicts: 410000 | #Constraints: 15630
319.87/320.73 c #Conflicts: 411000 | #Constraints: 16630
319.87/320.73 c #Conflicts: 412000 | #Constraints: 17630
319.87/320.73 c #Conflicts: 413000 | #Constraints: 18630
319.87/320.73 c #Conflicts: 414000 | #Constraints: 19630
319.87/320.73 c #Conflicts: 415000 | #Constraints: 20630
319.87/320.73 c #Conflicts: 416000 | #Constraints: 21630
319.87/320.73 c #Conflicts: 417000 | #Constraints: 22630
319.87/320.73 c #Conflicts: 418000 | #Constraints: 23630
319.87/320.73 c #Conflicts: 419000 | #Constraints: 24630
319.87/320.73 c #Conflicts: 420000 | #Constraints: 25630
319.87/320.73 c INPROCESSING
319.87/320.73 c GARBAGE COLLECT
319.87/320.73 c #Conflicts: 421000 | #Constraints: 13833
319.87/320.73 c #Conflicts: 422000 | #Constraints: 14833
319.87/320.73 c #Conflicts: 423000 | #Constraints: 15833
319.87/320.73 c #Conflicts: 424000 | #Constraints: 16833
319.87/320.73 c #Conflicts: 425000 | #Constraints: 17833
319.87/320.73 c #Conflicts: 426000 | #Constraints: 18833
319.87/320.73 c #Conflicts: 427000 | #Constraints: 19833
319.87/320.73 c #Conflicts: 428000 | #Constraints: 20833
319.87/320.73 c #Conflicts: 429000 | #Constraints: 21833
319.87/320.73 c #Conflicts: 430000 | #Constraints: 22833
319.87/320.73 c #Conflicts: 431000 | #Constraints: 23833
319.87/320.73 c #Conflicts: 432000 | #Constraints: 24833
319.87/320.73 c #Conflicts: 433000 | #Constraints: 25833
319.87/320.73 c INPROCESSING
319.87/320.73 c GARBAGE COLLECT
319.87/320.73 c #Conflicts: 434000 | #Constraints: 13835
319.87/320.73 c #Conflicts: 435000 | #Constraints: 14835
319.87/320.73 c #Conflicts: 436000 | #Constraints: 15835
319.87/320.73 c #Conflicts: 437000 | #Constraints: 16835
319.87/320.73 c #Conflicts: 438000 | #Constraints: 17835
355.37/356.37 c #Conflicts: 439000 | #Constraints: 18835
355.37/356.37 c #Conflicts: 440000 | #Constraints: 19835
355.37/356.37 c #Conflicts: 441000 | #Constraints: 20835
355.37/356.37 c #Conflicts: 442000 | #Constraints: 21835
355.37/356.37 c #Conflicts: 443000 | #Constraints: 22835
355.37/356.37 c #Conflicts: 444000 | #Constraints: 23835
355.37/356.37 c #Conflicts: 445000 | #Constraints: 24835
355.37/356.37 c #Conflicts: 446000 | #Constraints: 25835
355.37/356.37 c INPROCESSING
355.37/356.37 c GARBAGE COLLECT
355.37/356.37 c #Conflicts: 447000 | #Constraints: 13638
355.37/356.37 c #Conflicts: 448000 | #Constraints: 14638
355.37/356.37 c #Conflicts: 449000 | #Constraints: 15638
355.37/356.37 c #Conflicts: 450000 | #Constraints: 16638
355.37/356.37 c #Conflicts: 451000 | #Constraints: 17638
355.37/356.37 c #Conflicts: 452000 | #Constraints: 18638
355.37/356.37 c #Conflicts: 453000 | #Constraints: 19638
355.37/356.37 c #Conflicts: 454000 | #Constraints: 20638
355.37/356.37 c #Conflicts: 455000 | #Constraints: 21638
355.37/356.37 c #Conflicts: 456000 | #Constraints: 22638
355.37/356.37 c #Conflicts: 457000 | #Constraints: 23638
355.37/356.37 c #Conflicts: 458000 | #Constraints: 24638
355.37/356.37 c #Conflicts: 459000 | #Constraints: 25638
355.37/356.37 c #Conflicts: 460000 | #Constraints: 26638
355.37/356.37 c INPROCESSING
355.37/356.37 c GARBAGE COLLECT
355.37/356.37 c bounds 50 >= 0 @ 353.654
355.37/356.37 c stratification level: 4
458.82/460.09 c #Conflicts: 461000 | #Constraints: 14236
458.82/460.09 c #Conflicts: 462000 | #Constraints: 15236
458.82/460.09 c #Conflicts: 463000 | #Constraints: 16236
458.82/460.09 c #Conflicts: 464000 | #Constraints: 17236
458.82/460.09 c #Conflicts: 465000 | #Constraints: 18236
458.82/460.09 c #Conflicts: 466000 | #Constraints: 19236
458.82/460.09 c #Conflicts: 467000 | #Constraints: 20236
458.82/460.09 c #Conflicts: 468000 | #Constraints: 21236
458.82/460.09 c #Conflicts: 469000 | #Constraints: 22236
458.82/460.09 c #Conflicts: 470000 | #Constraints: 23236
458.82/460.09 c #Conflicts: 471000 | #Constraints: 24236
458.82/460.09 c #Conflicts: 472000 | #Constraints: 25236
458.82/460.09 c #Conflicts: 473000 | #Constraints: 26236
458.82/460.09 c #Conflicts: 474000 | #Constraints: 27236
458.82/460.09 c INPROCESSING
458.82/460.09 c GARBAGE COLLECT
458.82/460.09 c #Conflicts: 475000 | #Constraints: 14635
458.82/460.09 c #Conflicts: 476000 | #Constraints: 15635
458.82/460.09 c #Conflicts: 477000 | #Constraints: 16635
458.82/460.09 c #Conflicts: 478000 | #Constraints: 17635
458.82/460.09 c #Conflicts: 479000 | #Constraints: 18635
458.82/460.09 c #Conflicts: 480000 | #Constraints: 19635
458.82/460.09 c #Conflicts: 481000 | #Constraints: 20635
458.82/460.09 c #Conflicts: 482000 | #Constraints: 21635
458.82/460.09 c #Conflicts: 483000 | #Constraints: 22635
458.82/460.09 c #Conflicts: 484000 | #Constraints: 23635
458.82/460.09 c #Conflicts: 485000 | #Constraints: 24635
458.82/460.09 c #Conflicts: 486000 | #Constraints: 25635
458.82/460.09 c #Conflicts: 487000 | #Constraints: 26635
458.82/460.09 c #Conflicts: 488000 | #Constraints: 27635
458.82/460.09 c INPROCESSING
458.82/460.09 c GARBAGE COLLECT
458.82/460.09 c #Conflicts: 489000 | #Constraints: 14837
458.82/460.09 c #Conflicts: 490000 | #Constraints: 15837
458.82/460.09 c #Conflicts: 491000 | #Constraints: 16837
458.82/460.09 c #Conflicts: 492000 | #Constraints: 17837
458.82/460.09 c #Conflicts: 493000 | #Constraints: 18837
458.82/460.09 c #Conflicts: 494000 | #Constraints: 19837
458.82/460.09 c #Conflicts: 495000 | #Constraints: 20837
458.82/460.09 c #Conflicts: 496000 | #Constraints: 21837
458.82/460.09 c #Conflicts: 497000 | #Constraints: 22837
458.82/460.09 c #Conflicts: 498000 | #Constraints: 23837
458.82/460.09 c #Conflicts: 499000 | #Constraints: 24837
458.82/460.09 c #Conflicts: 500000 | #Constraints: 25837
458.82/460.09 c #Conflicts: 501000 | #Constraints: 26837
458.82/460.09 c #Conflicts: 502000 | #Constraints: 27837
458.82/460.09 c INPROCESSING
458.82/460.09 c GARBAGE COLLECT
458.82/460.09 c #Conflicts: 503000 | #Constraints: 14834
458.82/460.09 c #Conflicts: 504000 | #Constraints: 15834
458.82/460.09 c #Conflicts: 505000 | #Constraints: 16834
458.82/460.09 c #Conflicts: 506000 | #Constraints: 17834
458.82/460.09 c #Conflicts: 507000 | #Constraints: 18834
458.82/460.09 c #Conflicts: 508000 | #Constraints: 19834
458.82/460.09 c #Conflicts: 509000 | #Constraints: 20834
458.82/460.09 c #Conflicts: 510000 | #Constraints: 21834
458.82/460.09 c #Conflicts: 511000 | #Constraints: 22834
458.82/460.09 c #Conflicts: 512000 | #Constraints: 23834
458.82/460.09 c #Conflicts: 513000 | #Constraints: 24834
458.82/460.09 c #Conflicts: 514000 | #Constraints: 25834
458.82/460.09 c #Conflicts: 515000 | #Constraints: 26834
458.82/460.09 c #Conflicts: 516000 | #Constraints: 27834
458.82/460.09 c INPROCESSING
458.82/460.09 c GARBAGE COLLECT
458.82/460.09 c #Conflicts: 517000 | #Constraints: 14633
458.82/460.09 c #Conflicts: 518000 | #Constraints: 15633
458.82/460.09 c #Conflicts: 519000 | #Constraints: 16633
458.82/460.09 c #Conflicts: 520000 | #Constraints: 17633
458.82/460.09 c #Conflicts: 521000 | #Constraints: 18633
458.82/460.09 c #Conflicts: 522000 | #Constraints: 19633
458.82/460.09 c #Conflicts: 523000 | #Constraints: 20633
458.82/460.09 c #Conflicts: 524000 | #Constraints: 21633
458.82/460.09 c #Conflicts: 525000 | #Constraints: 22633
458.82/460.09 c #Conflicts: 526000 | #Constraints: 23633
458.82/460.09 c #Conflicts: 527000 | #Constraints: 24633
458.82/460.09 c #Conflicts: 528000 | #Constraints: 25633
458.82/460.09 c #Conflicts: 529000 | #Constraints: 26633
458.82/460.09 c #Conflicts: 530000 | #Constraints: 27633
458.82/460.09 c #Conflicts: 531000 | #Constraints: 28633
458.82/460.09 c INPROCESSING
458.82/460.09 c GARBAGE COLLECT
458.82/460.09 c #Conflicts: 532000 | #Constraints: 15234
458.82/460.09 c #Conflicts: 533000 | #Constraints: 16234
458.82/460.09 c #Conflicts: 534000 | #Constraints: 17234
458.82/460.09 c #Conflicts: 535000 | #Constraints: 18234
458.82/460.09 c #Conflicts: 536000 | #Constraints: 19234
570.32/571.87 c #Conflicts: 537000 | #Constraints: 20234
570.32/571.87 c #Conflicts: 538000 | #Constraints: 21234
570.32/571.87 c #Conflicts: 539000 | #Constraints: 22234
570.32/571.87 c #Conflicts: 540000 | #Constraints: 23234
570.32/571.87 c #Conflicts: 541000 | #Constraints: 24234
570.32/571.87 c #Conflicts: 542000 | #Constraints: 25234
570.32/571.87 c #Conflicts: 543000 | #Constraints: 26234
570.32/571.87 c #Conflicts: 544000 | #Constraints: 27234
570.32/571.87 c #Conflicts: 545000 | #Constraints: 28234
570.32/571.87 c #Conflicts: 546000 | #Constraints: 29234
570.32/571.87 c INPROCESSING
570.32/571.87 c GARBAGE COLLECT
570.32/571.87 c #Conflicts: 547000 | #Constraints: 15634
570.32/571.87 c #Conflicts: 548000 | #Constraints: 16634
570.32/571.87 c #Conflicts: 549000 | #Constraints: 17634
570.32/571.87 c #Conflicts: 550000 | #Constraints: 18634
570.32/571.87 c #Conflicts: 551000 | #Constraints: 19634
570.32/571.87 c #Conflicts: 552000 | #Constraints: 20634
570.32/571.87 c #Conflicts: 553000 | #Constraints: 21634
570.32/571.87 c #Conflicts: 554000 | #Constraints: 22634
570.32/571.87 c #Conflicts: 555000 | #Constraints: 23634
570.32/571.87 c #Conflicts: 556000 | #Constraints: 24634
570.32/571.87 c #Conflicts: 557000 | #Constraints: 25634
570.32/571.87 c #Conflicts: 558000 | #Constraints: 26634
570.32/571.87 c #Conflicts: 559000 | #Constraints: 27634
570.32/571.87 c #Conflicts: 560000 | #Constraints: 28634
570.32/571.87 c #Conflicts: 561000 | #Constraints: 29634
570.32/571.87 c INPROCESSING
570.32/571.87 c GARBAGE COLLECT
570.32/571.87 c #Conflicts: 562000 | #Constraints: 15830
570.32/571.87 c #Conflicts: 563000 | #Constraints: 16830
570.32/571.87 c #Conflicts: 564000 | #Constraints: 17830
570.32/571.87 c #Conflicts: 565000 | #Constraints: 18830
570.32/571.87 c #Conflicts: 566000 | #Constraints: 19830
570.32/571.87 c #Conflicts: 567000 | #Constraints: 20830
570.32/571.87 c #Conflicts: 568000 | #Constraints: 21830
570.32/571.87 c #Conflicts: 569000 | #Constraints: 22830
570.32/571.87 c #Conflicts: 570000 | #Constraints: 23830
570.32/571.87 c #Conflicts: 571000 | #Constraints: 24830
570.32/571.87 c #Conflicts: 572000 | #Constraints: 25830
570.32/571.87 c #Conflicts: 573000 | #Constraints: 26830
570.32/571.87 c #Conflicts: 574000 | #Constraints: 27830
570.32/571.87 c #Conflicts: 575000 | #Constraints: 28830
570.32/571.87 c #Conflicts: 576000 | #Constraints: 29830
570.32/571.87 c INPROCESSING
570.32/571.87 c GARBAGE COLLECT
570.32/571.87 c #Conflicts: 577000 | #Constraints: 15835
570.32/571.87 c #Conflicts: 578000 | #Constraints: 16835
570.32/571.87 c #Conflicts: 579000 | #Constraints: 17835
570.32/571.87 c #Conflicts: 580000 | #Constraints: 18835
570.32/571.87 c #Conflicts: 581000 | #Constraints: 19835
570.32/571.87 c #Conflicts: 582000 | #Constraints: 20835
570.32/571.87 c #Conflicts: 583000 | #Constraints: 21835
570.32/571.87 c #Conflicts: 584000 | #Constraints: 22835
570.32/571.87 c #Conflicts: 585000 | #Constraints: 23835
570.32/571.87 c #Conflicts: 586000 | #Constraints: 24835
570.32/571.87 c #Conflicts: 587000 | #Constraints: 25835
570.32/571.87 c #Conflicts: 588000 | #Constraints: 26835
570.32/571.87 c #Conflicts: 589000 | #Constraints: 27835
570.32/571.87 c #Conflicts: 590000 | #Constraints: 28835
570.32/571.87 c #Conflicts: 591000 | #Constraints: 29835
570.32/571.87 c INPROCESSING
570.32/571.87 c GARBAGE COLLECT
570.32/571.87 c #Conflicts: 592000 | #Constraints: 15634
570.32/571.87 c #Conflicts: 593000 | #Constraints: 16634
570.32/571.87 c #Conflicts: 594000 | #Constraints: 17634
570.32/571.87 c #Conflicts: 595000 | #Constraints: 18634
570.32/571.87 c #Conflicts: 596000 | #Constraints: 19634
570.32/571.87 c #Conflicts: 597000 | #Constraints: 20634
570.32/571.87 c #Conflicts: 598000 | #Constraints: 21634
570.32/571.87 c #Conflicts: 599000 | #Constraints: 22634
570.32/571.87 c #Conflicts: 600000 | #Constraints: 23634
570.32/571.87 c #Conflicts: 601000 | #Constraints: 24634
570.32/571.87 c #Conflicts: 602000 | #Constraints: 25634
570.32/571.87 c #Conflicts: 603000 | #Constraints: 26634
570.32/571.87 c #Conflicts: 604000 | #Constraints: 27634
570.32/571.87 c #Conflicts: 605000 | #Constraints: 28634
570.32/571.87 c #Conflicts: 606000 | #Constraints: 29634
570.32/571.87 c #Conflicts: 607000 | #Constraints: 30634
570.32/571.87 c INPROCESSING
570.32/571.87 c GARBAGE COLLECT
570.32/571.87 c #Conflicts: 608000 | #Constraints: 16236
570.32/571.87 c #Conflicts: 609000 | #Constraints: 17236
570.32/571.87 c #Conflicts: 610000 | #Constraints: 18236
570.32/571.87 c #Conflicts: 611000 | #Constraints: 19236
570.32/571.87 c #Conflicts: 612000 | #Constraints: 20236
681.14/682.92 c #Conflicts: 613000 | #Constraints: 21236
681.14/682.92 c #Conflicts: 614000 | #Constraints: 22236
681.14/682.92 c #Conflicts: 615000 | #Constraints: 23236
681.14/682.92 c #Conflicts: 616000 | #Constraints: 24236
681.14/682.92 c #Conflicts: 617000 | #Constraints: 25236
681.14/682.92 c #Conflicts: 618000 | #Constraints: 26236
681.14/682.92 c #Conflicts: 619000 | #Constraints: 27236
681.14/682.92 c #Conflicts: 620000 | #Constraints: 28236
681.14/682.92 c #Conflicts: 621000 | #Constraints: 29236
681.14/682.92 c #Conflicts: 622000 | #Constraints: 30236
681.14/682.92 c #Conflicts: 623000 | #Constraints: 31236
681.14/682.92 c INPROCESSING
681.14/682.92 c GARBAGE COLLECT
681.14/682.92 c #Conflicts: 624000 | #Constraints: 16634
681.14/682.92 c #Conflicts: 625000 | #Constraints: 17634
681.14/682.92 c #Conflicts: 626000 | #Constraints: 18634
681.14/682.92 c #Conflicts: 627000 | #Constraints: 19634
681.14/682.92 c #Conflicts: 628000 | #Constraints: 20634
681.14/682.92 c #Conflicts: 629000 | #Constraints: 21634
681.14/682.92 c #Conflicts: 630000 | #Constraints: 22634
681.14/682.92 c #Conflicts: 631000 | #Constraints: 23634
681.14/682.92 c #Conflicts: 632000 | #Constraints: 24634
681.14/682.92 c #Conflicts: 633000 | #Constraints: 25634
681.14/682.92 c #Conflicts: 634000 | #Constraints: 26634
681.14/682.92 c #Conflicts: 635000 | #Constraints: 27634
681.14/682.92 c #Conflicts: 636000 | #Constraints: 28634
681.14/682.92 c #Conflicts: 637000 | #Constraints: 29634
681.14/682.92 c #Conflicts: 638000 | #Constraints: 30634
681.14/682.92 c #Conflicts: 639000 | #Constraints: 31634
681.14/682.92 c INPROCESSING
681.14/682.92 c GARBAGE COLLECT
681.14/682.92 c #Conflicts: 640000 | #Constraints: 16832
681.14/682.92 c #Conflicts: 641000 | #Constraints: 17832
681.14/682.92 c #Conflicts: 642000 | #Constraints: 18832
681.14/682.92 c #Conflicts: 643000 | #Constraints: 19832
681.14/682.92 c #Conflicts: 644000 | #Constraints: 20832
681.14/682.92 c #Conflicts: 645000 | #Constraints: 21832
681.14/682.92 c #Conflicts: 646000 | #Constraints: 22832
681.14/682.92 c #Conflicts: 647000 | #Constraints: 23832
681.14/682.92 c #Conflicts: 648000 | #Constraints: 24832
681.14/682.92 c #Conflicts: 649000 | #Constraints: 25832
681.14/682.92 c #Conflicts: 650000 | #Constraints: 26832
681.14/682.92 c #Conflicts: 651000 | #Constraints: 27832
681.14/682.92 c #Conflicts: 652000 | #Constraints: 28832
681.14/682.92 c #Conflicts: 653000 | #Constraints: 29832
681.14/682.92 c #Conflicts: 654000 | #Constraints: 30832
681.14/682.92 c #Conflicts: 655000 | #Constraints: 31832
681.14/682.92 c INPROCESSING
681.14/682.92 c GARBAGE COLLECT
681.14/682.92 c #Conflicts: 656000 | #Constraints: 16832
681.14/682.92 c #Conflicts: 657000 | #Constraints: 17832
681.14/682.92 c #Conflicts: 658000 | #Constraints: 18832
681.14/682.92 c #Conflicts: 659000 | #Constraints: 19832
681.14/682.92 c #Conflicts: 660000 | #Constraints: 20832
681.14/682.92 c #Conflicts: 661000 | #Constraints: 21832
681.14/682.92 c #Conflicts: 662000 | #Constraints: 22832
681.14/682.92 c #Conflicts: 663000 | #Constraints: 23832
681.14/682.92 c #Conflicts: 664000 | #Constraints: 24832
681.14/682.92 c #Conflicts: 665000 | #Constraints: 25832
681.14/682.92 c #Conflicts: 666000 | #Constraints: 26832
681.14/682.92 c #Conflicts: 667000 | #Constraints: 27832
681.14/682.92 c #Conflicts: 668000 | #Constraints: 28832
681.14/682.92 c #Conflicts: 669000 | #Constraints: 29832
681.14/682.92 c #Conflicts: 670000 | #Constraints: 30832
681.14/682.92 c #Conflicts: 671000 | #Constraints: 31832
681.14/682.92 c INPROCESSING
681.14/682.92 c GARBAGE COLLECT
681.14/682.92 c #Conflicts: 672000 | #Constraints: 16627
681.14/682.92 c #Conflicts: 673000 | #Constraints: 17627
681.14/682.92 c #Conflicts: 674000 | #Constraints: 18627
681.14/682.92 c #Conflicts: 675000 | #Constraints: 19627
681.14/682.92 c #Conflicts: 676000 | #Constraints: 20627
681.14/682.92 c #Conflicts: 677000 | #Constraints: 21627
681.14/682.92 c #Conflicts: 678000 | #Constraints: 22627
681.14/682.92 c #Conflicts: 679000 | #Constraints: 23627
681.14/682.92 c #Conflicts: 680000 | #Constraints: 24627
681.14/682.92 c #Conflicts: 681000 | #Constraints: 25627
681.14/682.92 c #Conflicts: 682000 | #Constraints: 26627
681.14/682.92 c #Conflicts: 683000 | #Constraints: 27627
681.14/682.92 c #Conflicts: 684000 | #Constraints: 28627
681.14/682.92 c #Conflicts: 685000 | #Constraints: 29627
681.14/682.92 c #Conflicts: 686000 | #Constraints: 30627
681.14/682.92 c #Conflicts: 687000 | #Constraints: 31627
681.14/682.92 c #Conflicts: 688000 | #Constraints: 32627
817.90/820.08 c INPROCESSING
817.90/820.08 c GARBAGE COLLECT
817.90/820.08 c #Conflicts: 689000 | #Constraints: 17232
817.90/820.08 c #Conflicts: 690000 | #Constraints: 18232
817.90/820.08 c #Conflicts: 691000 | #Constraints: 19232
817.90/820.08 c #Conflicts: 692000 | #Constraints: 20232
817.90/820.08 c #Conflicts: 693000 | #Constraints: 21232
817.90/820.08 c #Conflicts: 694000 | #Constraints: 22232
817.90/820.08 c #Conflicts: 695000 | #Constraints: 23232
817.90/820.08 c #Conflicts: 696000 | #Constraints: 24232
817.90/820.08 c #Conflicts: 697000 | #Constraints: 25232
817.90/820.08 c #Conflicts: 698000 | #Constraints: 26232
817.90/820.08 c #Conflicts: 699000 | #Constraints: 27232
817.90/820.08 c #Conflicts: 700000 | #Constraints: 28232
817.90/820.08 c #Conflicts: 701000 | #Constraints: 29232
817.90/820.08 c #Conflicts: 702000 | #Constraints: 30232
817.90/820.08 c #Conflicts: 703000 | #Constraints: 31232
817.90/820.08 c #Conflicts: 704000 | #Constraints: 32232
817.90/820.08 c #Conflicts: 705000 | #Constraints: 33232
817.90/820.08 c INPROCESSING
817.90/820.08 c GARBAGE COLLECT
817.90/820.08 c #Conflicts: 706000 | #Constraints: 17631
817.90/820.08 c #Conflicts: 707000 | #Constraints: 18631
817.90/820.08 c #Conflicts: 708000 | #Constraints: 19631
817.90/820.08 c #Conflicts: 709000 | #Constraints: 20631
817.90/820.08 c #Conflicts: 710000 | #Constraints: 21631
817.90/820.08 c #Conflicts: 711000 | #Constraints: 22631
817.90/820.08 c #Conflicts: 712000 | #Constraints: 23631
817.90/820.08 c #Conflicts: 713000 | #Constraints: 24631
817.90/820.08 c #Conflicts: 714000 | #Constraints: 25631
817.90/820.08 c #Conflicts: 715000 | #Constraints: 26631
817.90/820.08 c #Conflicts: 716000 | #Constraints: 27631
817.90/820.08 c #Conflicts: 717000 | #Constraints: 28631
817.90/820.08 c #Conflicts: 718000 | #Constraints: 29631
817.90/820.08 c #Conflicts: 719000 | #Constraints: 30631
817.90/820.08 c #Conflicts: 720000 | #Constraints: 31631
817.90/820.08 c #Conflicts: 721000 | #Constraints: 32631
817.90/820.08 c #Conflicts: 722000 | #Constraints: 33631
817.90/820.08 c INPROCESSING
817.90/820.08 c GARBAGE COLLECT
817.90/820.08 c #Conflicts: 723000 | #Constraints: 17834
817.90/820.08 c #Conflicts: 724000 | #Constraints: 18834
817.90/820.08 c #Conflicts: 725000 | #Constraints: 19834
817.90/820.08 c #Conflicts: 726000 | #Constraints: 20834
817.90/820.08 c #Conflicts: 727000 | #Constraints: 21834
817.90/820.08 c #Conflicts: 728000 | #Constraints: 22834
817.90/820.08 c #Conflicts: 729000 | #Constraints: 23834
817.90/820.08 c #Conflicts: 730000 | #Constraints: 24834
817.90/820.08 c #Conflicts: 731000 | #Constraints: 25834
817.90/820.08 c #Conflicts: 732000 | #Constraints: 26834
817.90/820.08 c #Conflicts: 733000 | #Constraints: 27834
817.90/820.08 c #Conflicts: 734000 | #Constraints: 28834
817.90/820.08 c #Conflicts: 735000 | #Constraints: 29834
817.90/820.08 c #Conflicts: 736000 | #Constraints: 30834
817.90/820.08 c #Conflicts: 737000 | #Constraints: 31834
817.90/820.08 c #Conflicts: 738000 | #Constraints: 32834
817.90/820.08 c #Conflicts: 739000 | #Constraints: 33834
817.90/820.08 c INPROCESSING
817.90/820.08 c GARBAGE COLLECT
817.90/820.08 c #Conflicts: 740000 | #Constraints: 17836
817.90/820.08 c #Conflicts: 741000 | #Constraints: 18836
817.90/820.08 c #Conflicts: 742000 | #Constraints: 19836
817.90/820.08 c #Conflicts: 743000 | #Constraints: 20836
817.90/820.08 c #Conflicts: 744000 | #Constraints: 21836
817.90/820.08 c #Conflicts: 745000 | #Constraints: 22836
817.90/820.08 c #Conflicts: 746000 | #Constraints: 23836
817.90/820.08 c #Conflicts: 747000 | #Constraints: 24836
817.90/820.08 c #Conflicts: 748000 | #Constraints: 25836
817.90/820.08 c #Conflicts: 749000 | #Constraints: 26836
817.90/820.08 c #Conflicts: 750000 | #Constraints: 27836
817.90/820.08 c #Conflicts: 751000 | #Constraints: 28836
817.90/820.08 c #Conflicts: 752000 | #Constraints: 29836
817.90/820.08 c #Conflicts: 753000 | #Constraints: 30836
817.90/820.08 c #Conflicts: 754000 | #Constraints: 31836
817.90/820.08 c #Conflicts: 755000 | #Constraints: 32836
817.90/820.08 c #Conflicts: 756000 | #Constraints: 33836
817.90/820.08 c INPROCESSING
817.90/820.08 c GARBAGE COLLECT
817.90/820.08 c #Conflicts: 757000 | #Constraints: 17628
817.90/820.08 c #Conflicts: 758000 | #Constraints: 18628
817.90/820.08 c #Conflicts: 759000 | #Constraints: 19628
817.90/820.08 c #Conflicts: 760000 | #Constraints: 20628
817.90/820.08 c #Conflicts: 761000 | #Constraints: 21628
817.90/820.08 c #Conflicts: 762000 | #Constraints: 22628
817.90/820.08 c #Conflicts: 763000 | #Constraints: 23628
817.90/820.08 c #Conflicts: 764000 | #Constraints: 24628
954.95/957.44 c #Conflicts: 765000 | #Constraints: 25628
954.95/957.44 c #Conflicts: 766000 | #Constraints: 26628
954.95/957.44 c #Conflicts: 767000 | #Constraints: 27628
954.95/957.44 c #Conflicts: 768000 | #Constraints: 28628
954.95/957.44 c #Conflicts: 769000 | #Constraints: 29628
954.95/957.44 c #Conflicts: 770000 | #Constraints: 30628
954.95/957.44 c #Conflicts: 771000 | #Constraints: 31628
954.95/957.44 c #Conflicts: 772000 | #Constraints: 32628
954.95/957.44 c #Conflicts: 773000 | #Constraints: 33628
954.95/957.44 c #Conflicts: 774000 | #Constraints: 34628
954.95/957.44 c INPROCESSING
954.95/957.44 c GARBAGE COLLECT
954.95/957.44 c #Conflicts: 775000 | #Constraints: 18233
954.95/957.44 c #Conflicts: 776000 | #Constraints: 19233
954.95/957.44 c #Conflicts: 777000 | #Constraints: 20233
954.95/957.44 c #Conflicts: 778000 | #Constraints: 21233
954.95/957.44 c #Conflicts: 779000 | #Constraints: 22233
954.95/957.44 c #Conflicts: 780000 | #Constraints: 23233
954.95/957.44 c #Conflicts: 781000 | #Constraints: 24233
954.95/957.44 c #Conflicts: 782000 | #Constraints: 25233
954.95/957.44 c #Conflicts: 783000 | #Constraints: 26233
954.95/957.44 c #Conflicts: 784000 | #Constraints: 27233
954.95/957.44 c #Conflicts: 785000 | #Constraints: 28233
954.95/957.44 c #Conflicts: 786000 | #Constraints: 29233
954.95/957.44 c #Conflicts: 787000 | #Constraints: 30233
954.95/957.44 c #Conflicts: 788000 | #Constraints: 31233
954.95/957.44 c #Conflicts: 789000 | #Constraints: 32233
954.95/957.44 c #Conflicts: 790000 | #Constraints: 33233
954.95/957.44 c #Conflicts: 791000 | #Constraints: 34233
954.95/957.44 c #Conflicts: 792000 | #Constraints: 35233
954.95/957.44 c INPROCESSING
954.95/957.44 c GARBAGE COLLECT
954.95/957.44 c #Conflicts: 793000 | #Constraints: 18631
954.95/957.44 c #Conflicts: 794000 | #Constraints: 19631
954.95/957.44 c #Conflicts: 795000 | #Constraints: 20631
954.95/957.44 c #Conflicts: 796000 | #Constraints: 21631
954.95/957.44 c #Conflicts: 797000 | #Constraints: 22631
954.95/957.44 c #Conflicts: 798000 | #Constraints: 23631
954.95/957.44 c #Conflicts: 799000 | #Constraints: 24631
954.95/957.44 c #Conflicts: 800000 | #Constraints: 25631
954.95/957.44 c #Conflicts: 801000 | #Constraints: 26631
954.95/957.44 c #Conflicts: 802000 | #Constraints: 27631
954.95/957.44 c #Conflicts: 803000 | #Constraints: 28631
954.95/957.44 c #Conflicts: 804000 | #Constraints: 29631
954.95/957.44 c #Conflicts: 805000 | #Constraints: 30631
954.95/957.44 c #Conflicts: 806000 | #Constraints: 31631
954.95/957.44 c #Conflicts: 807000 | #Constraints: 32631
954.95/957.44 c #Conflicts: 808000 | #Constraints: 33631
954.95/957.44 c #Conflicts: 809000 | #Constraints: 34631
954.95/957.44 c #Conflicts: 810000 | #Constraints: 35631
954.95/957.44 c INPROCESSING
954.95/957.44 c GARBAGE COLLECT
954.95/957.44 c #Conflicts: 811000 | #Constraints: 18829
954.95/957.44 c #Conflicts: 812000 | #Constraints: 19829
954.95/957.44 c #Conflicts: 813000 | #Constraints: 20829
954.95/957.44 c #Conflicts: 814000 | #Constraints: 21829
954.95/957.44 c #Conflicts: 815000 | #Constraints: 22829
954.95/957.44 c #Conflicts: 816000 | #Constraints: 23829
954.95/957.44 c #Conflicts: 817000 | #Constraints: 24829
954.95/957.44 c #Conflicts: 818000 | #Constraints: 25829
954.95/957.44 c #Conflicts: 819000 | #Constraints: 26829
954.95/957.44 c #Conflicts: 820000 | #Constraints: 27829
954.95/957.44 c #Conflicts: 821000 | #Constraints: 28829
954.95/957.44 c #Conflicts: 822000 | #Constraints: 29829
954.95/957.44 c #Conflicts: 823000 | #Constraints: 30829
954.95/957.44 c #Conflicts: 824000 | #Constraints: 31829
954.95/957.44 c #Conflicts: 825000 | #Constraints: 32829
954.95/957.44 c #Conflicts: 826000 | #Constraints: 33829
954.95/957.44 c #Conflicts: 827000 | #Constraints: 34829
954.95/957.44 c #Conflicts: 828000 | #Constraints: 35829
954.95/957.44 c INPROCESSING
954.95/957.44 c GARBAGE COLLECT
954.95/957.44 c #Conflicts: 829000 | #Constraints: 18832
954.95/957.44 c #Conflicts: 830000 | #Constraints: 19832
954.95/957.44 c #Conflicts: 831000 | #Constraints: 20832
954.95/957.44 c #Conflicts: 832000 | #Constraints: 21832
954.95/957.44 c #Conflicts: 833000 | #Constraints: 22832
954.95/957.44 c #Conflicts: 834000 | #Constraints: 23832
954.95/957.44 c #Conflicts: 835000 | #Constraints: 24832
954.95/957.44 c #Conflicts: 836000 | #Constraints: 25832
954.95/957.44 c #Conflicts: 837000 | #Constraints: 26832
954.95/957.44 c #Conflicts: 838000 | #Constraints: 27832
954.95/957.44 c #Conflicts: 839000 | #Constraints: 28832
954.95/957.44 c #Conflicts: 840000 | #Constraints: 29832
1098.79/1101.63 c #Conflicts: 841000 | #Constraints: 30832
1098.79/1101.63 c #Conflicts: 842000 | #Constraints: 31832
1098.79/1101.63 c #Conflicts: 843000 | #Constraints: 32832
1098.79/1101.63 c #Conflicts: 844000 | #Constraints: 33832
1098.79/1101.63 c #Conflicts: 845000 | #Constraints: 34832
1098.79/1101.63 c #Conflicts: 846000 | #Constraints: 35832
1098.79/1101.63 c INPROCESSING
1098.79/1101.63 c GARBAGE COLLECT
1098.79/1101.63 c #Conflicts: 847000 | #Constraints: 18634
1098.79/1101.63 c #Conflicts: 848000 | #Constraints: 19634
1098.79/1101.63 c #Conflicts: 849000 | #Constraints: 20634
1098.79/1101.63 c #Conflicts: 850000 | #Constraints: 21634
1098.79/1101.63 c #Conflicts: 851000 | #Constraints: 22634
1098.79/1101.63 c #Conflicts: 852000 | #Constraints: 23634
1098.79/1101.63 c #Conflicts: 853000 | #Constraints: 24634
1098.79/1101.63 c #Conflicts: 854000 | #Constraints: 25634
1098.79/1101.63 c #Conflicts: 855000 | #Constraints: 26634
1098.79/1101.63 c #Conflicts: 856000 | #Constraints: 27634
1098.79/1101.63 c #Conflicts: 857000 | #Constraints: 28634
1098.79/1101.63 c #Conflicts: 858000 | #Constraints: 29634
1098.79/1101.63 c #Conflicts: 859000 | #Constraints: 30634
1098.79/1101.63 c #Conflicts: 860000 | #Constraints: 31634
1098.79/1101.63 c #Conflicts: 861000 | #Constraints: 32634
1098.79/1101.63 c #Conflicts: 862000 | #Constraints: 33634
1098.79/1101.63 c #Conflicts: 863000 | #Constraints: 34634
1098.79/1101.63 c #Conflicts: 864000 | #Constraints: 35634
1098.79/1101.63 c #Conflicts: 865000 | #Constraints: 36634
1098.79/1101.63 c INPROCESSING
1098.79/1101.63 c GARBAGE COLLECT
1098.79/1101.63 c #Conflicts: 866000 | #Constraints: 19229
1098.79/1101.63 c #Conflicts: 867000 | #Constraints: 20229
1098.79/1101.63 c #Conflicts: 868000 | #Constraints: 21229
1098.79/1101.63 c #Conflicts: 869000 | #Constraints: 22229
1098.79/1101.63 c #Conflicts: 870000 | #Constraints: 23229
1098.79/1101.63 c #Conflicts: 871000 | #Constraints: 24229
1098.79/1101.63 c #Conflicts: 872000 | #Constraints: 25229
1098.79/1101.63 c #Conflicts: 873000 | #Constraints: 26229
1098.79/1101.63 c #Conflicts: 874000 | #Constraints: 27229
1098.79/1101.63 c #Conflicts: 875000 | #Constraints: 28229
1098.79/1101.63 c #Conflicts: 876000 | #Constraints: 29229
1098.79/1101.63 c #Conflicts: 877000 | #Constraints: 30229
1098.79/1101.63 c #Conflicts: 878000 | #Constraints: 31229
1098.79/1101.63 c #Conflicts: 879000 | #Constraints: 32229
1098.79/1101.63 c #Conflicts: 880000 | #Constraints: 33229
1098.79/1101.63 c #Conflicts: 881000 | #Constraints: 34229
1098.79/1101.63 c #Conflicts: 882000 | #Constraints: 35229
1098.79/1101.63 c #Conflicts: 883000 | #Constraints: 36229
1098.79/1101.63 c #Conflicts: 884000 | #Constraints: 37229
1098.79/1101.63 c INPROCESSING
1098.79/1101.63 c GARBAGE COLLECT
1098.79/1101.63 c #Conflicts: 885000 | #Constraints: 19631
1098.79/1101.63 c #Conflicts: 886000 | #Constraints: 20631
1098.79/1101.63 c #Conflicts: 887000 | #Constraints: 21631
1098.79/1101.63 c #Conflicts: 888000 | #Constraints: 22631
1098.79/1101.63 c #Conflicts: 889000 | #Constraints: 23631
1098.79/1101.63 c #Conflicts: 890000 | #Constraints: 24631
1098.79/1101.63 c #Conflicts: 891000 | #Constraints: 25631
1098.79/1101.63 c #Conflicts: 892000 | #Constraints: 26631
1098.79/1101.63 c #Conflicts: 893000 | #Constraints: 27631
1098.79/1101.63 c #Conflicts: 894000 | #Constraints: 28631
1098.79/1101.63 c #Conflicts: 895000 | #Constraints: 29631
1098.79/1101.63 c #Conflicts: 896000 | #Constraints: 30631
1098.79/1101.63 c #Conflicts: 897000 | #Constraints: 31631
1098.79/1101.63 c #Conflicts: 898000 | #Constraints: 32631
1098.79/1101.63 c #Conflicts: 899000 | #Constraints: 33631
1098.79/1101.63 c #Conflicts: 900000 | #Constraints: 34631
1098.79/1101.63 c #Conflicts: 901000 | #Constraints: 35631
1098.79/1101.63 c #Conflicts: 902000 | #Constraints: 36631
1098.79/1101.63 c #Conflicts: 903000 | #Constraints: 37631
1098.79/1101.63 c INPROCESSING
1098.79/1101.63 c GARBAGE COLLECT
1098.79/1101.63 c #Conflicts: 904000 | #Constraints: 19830
1098.79/1101.63 c #Conflicts: 905000 | #Constraints: 20830
1098.79/1101.63 c #Conflicts: 906000 | #Constraints: 21830
1098.79/1101.63 c #Conflicts: 907000 | #Constraints: 22830
1098.79/1101.63 c #Conflicts: 908000 | #Constraints: 23830
1098.79/1101.63 c #Conflicts: 909000 | #Constraints: 24830
1098.79/1101.63 c #Conflicts: 910000 | #Constraints: 25830
1098.79/1101.63 c #Conflicts: 911000 | #Constraints: 26830
1098.79/1101.63 c #Conflicts: 912000 | #Constraints: 27830
1098.79/1101.63 c #Conflicts: 913000 | #Constraints: 28830
1098.79/1101.63 c #Conflicts: 914000 | #Constraints: 29830
1098.79/1101.63 c #Conflicts: 915000 | #Constraints: 30830
1098.79/1101.63 c #Conflicts: 916000 | #Constraints: 31830
1257.89/1261.10 c #Conflicts: 917000 | #Constraints: 32830
1257.89/1261.10 c #Conflicts: 918000 | #Constraints: 33830
1257.89/1261.10 c #Conflicts: 919000 | #Constraints: 34830
1257.89/1261.10 c #Conflicts: 920000 | #Constraints: 35830
1257.89/1261.10 c #Conflicts: 921000 | #Constraints: 36830
1257.89/1261.10 c #Conflicts: 922000 | #Constraints: 37830
1257.89/1261.10 c INPROCESSING
1257.89/1261.10 c GARBAGE COLLECT
1257.89/1261.10 c #Conflicts: 923000 | #Constraints: 19829
1257.89/1261.10 c #Conflicts: 924000 | #Constraints: 20829
1257.89/1261.10 c #Conflicts: 925000 | #Constraints: 21829
1257.89/1261.10 c #Conflicts: 926000 | #Constraints: 22829
1257.89/1261.10 c #Conflicts: 927000 | #Constraints: 23829
1257.89/1261.10 c #Conflicts: 928000 | #Constraints: 24829
1257.89/1261.10 c #Conflicts: 929000 | #Constraints: 25829
1257.89/1261.10 c #Conflicts: 930000 | #Constraints: 26829
1257.89/1261.10 c #Conflicts: 931000 | #Constraints: 27829
1257.89/1261.10 c #Conflicts: 932000 | #Constraints: 28829
1257.89/1261.10 c #Conflicts: 933000 | #Constraints: 29829
1257.89/1261.10 c #Conflicts: 934000 | #Constraints: 30829
1257.89/1261.10 c #Conflicts: 935000 | #Constraints: 31829
1257.89/1261.10 c #Conflicts: 936000 | #Constraints: 32829
1257.89/1261.10 c #Conflicts: 937000 | #Constraints: 33829
1257.89/1261.10 c #Conflicts: 938000 | #Constraints: 34829
1257.89/1261.10 c #Conflicts: 939000 | #Constraints: 35829
1257.89/1261.10 c #Conflicts: 940000 | #Constraints: 36829
1257.89/1261.10 c #Conflicts: 941000 | #Constraints: 37829
1257.89/1261.10 c INPROCESSING
1257.89/1261.10 c GARBAGE COLLECT
1257.89/1261.10 c #Conflicts: 942000 | #Constraints: 19632
1257.89/1261.10 c #Conflicts: 943000 | #Constraints: 20632
1257.89/1261.10 c #Conflicts: 944000 | #Constraints: 21632
1257.89/1261.10 c #Conflicts: 945000 | #Constraints: 22632
1257.89/1261.10 c #Conflicts: 946000 | #Constraints: 23632
1257.89/1261.10 c #Conflicts: 947000 | #Constraints: 24632
1257.89/1261.10 c #Conflicts: 948000 | #Constraints: 25632
1257.89/1261.10 c #Conflicts: 949000 | #Constraints: 26632
1257.89/1261.10 c #Conflicts: 950000 | #Constraints: 27632
1257.89/1261.10 c #Conflicts: 951000 | #Constraints: 28632
1257.89/1261.10 c #Conflicts: 952000 | #Constraints: 29632
1257.89/1261.10 c #Conflicts: 953000 | #Constraints: 30632
1257.89/1261.10 c #Conflicts: 954000 | #Constraints: 31632
1257.89/1261.10 c #Conflicts: 955000 | #Constraints: 32632
1257.89/1261.10 c #Conflicts: 956000 | #Constraints: 33632
1257.89/1261.10 c #Conflicts: 957000 | #Constraints: 34632
1257.89/1261.10 c #Conflicts: 958000 | #Constraints: 35632
1257.89/1261.10 c #Conflicts: 959000 | #Constraints: 36632
1257.89/1261.10 c #Conflicts: 960000 | #Constraints: 37632
1257.89/1261.10 c #Conflicts: 961000 | #Constraints: 38632
1257.89/1261.10 c INPROCESSING
1257.89/1261.10 c GARBAGE COLLECT
1257.89/1261.10 c #Conflicts: 962000 | #Constraints: 20234
1257.89/1261.10 c #Conflicts: 963000 | #Constraints: 21234
1257.89/1261.10 c #Conflicts: 964000 | #Constraints: 22234
1257.89/1261.10 c #Conflicts: 965000 | #Constraints: 23234
1257.89/1261.10 c #Conflicts: 966000 | #Constraints: 24234
1257.89/1261.10 c #Conflicts: 967000 | #Constraints: 25234
1257.89/1261.10 c #Conflicts: 968000 | #Constraints: 26234
1257.89/1261.10 c #Conflicts: 969000 | #Constraints: 27234
1257.89/1261.10 c #Conflicts: 970000 | #Constraints: 28234
1257.89/1261.10 c #Conflicts: 971000 | #Constraints: 29234
1257.89/1261.10 c #Conflicts: 972000 | #Constraints: 30234
1257.89/1261.10 c #Conflicts: 973000 | #Constraints: 31234
1257.89/1261.10 c #Conflicts: 974000 | #Constraints: 32234
1257.89/1261.10 c #Conflicts: 975000 | #Constraints: 33234
1257.89/1261.10 c #Conflicts: 976000 | #Constraints: 34234
1257.89/1261.10 c #Conflicts: 977000 | #Constraints: 35234
1257.89/1261.10 c #Conflicts: 978000 | #Constraints: 36234
1257.89/1261.10 c #Conflicts: 979000 | #Constraints: 37234
1257.89/1261.10 c #Conflicts: 980000 | #Constraints: 38234
1257.89/1261.10 c #Conflicts: 981000 | #Constraints: 39234
1257.89/1261.10 c INPROCESSING
1257.89/1261.10 c GARBAGE COLLECT
1257.89/1261.10 c #Conflicts: 982000 | #Constraints: 20635
1257.89/1261.10 c #Conflicts: 983000 | #Constraints: 21635
1257.89/1261.10 c #Conflicts: 984000 | #Constraints: 22635
1257.89/1261.10 c #Conflicts: 985000 | #Constraints: 23635
1257.89/1261.10 c #Conflicts: 986000 | #Constraints: 24635
1257.89/1261.10 c #Conflicts: 987000 | #Constraints: 25635
1257.89/1261.10 c #Conflicts: 988000 | #Constraints: 26635
1257.89/1261.10 c #Conflicts: 989000 | #Constraints: 27635
1257.89/1261.10 c #Conflicts: 990000 | #Constraints: 28635
1257.89/1261.10 c #Conflicts: 991000 | #Constraints: 29635
1257.89/1261.10 c #Conflicts: 992000 | #Constraints: 30635
1458.88/1462.64 c #Conflicts: 993000 | #Constraints: 31635
1458.88/1462.64 c #Conflicts: 994000 | #Constraints: 32635
1458.88/1462.64 c #Conflicts: 995000 | #Constraints: 33635
1458.88/1462.64 c #Conflicts: 996000 | #Constraints: 34635
1458.88/1462.64 c #Conflicts: 997000 | #Constraints: 35635
1458.88/1462.64 c #Conflicts: 998000 | #Constraints: 36635
1458.88/1462.64 c #Conflicts: 999000 | #Constraints: 37635
1458.88/1462.64 c #Conflicts: 1000000 | #Constraints: 38635
1458.88/1462.64 c #Conflicts: 1001000 | #Constraints: 39635
1458.88/1462.64 c INPROCESSING
1458.88/1462.64 c GARBAGE COLLECT
1458.88/1462.64 c #Conflicts: 1002000 | #Constraints: 20833
1458.88/1462.64 c #Conflicts: 1003000 | #Constraints: 21833
1458.88/1462.64 c #Conflicts: 1004000 | #Constraints: 22833
1458.88/1462.64 c #Conflicts: 1005000 | #Constraints: 23833
1458.88/1462.64 c #Conflicts: 1006000 | #Constraints: 24833
1458.88/1462.64 c #Conflicts: 1007000 | #Constraints: 25833
1458.88/1462.64 c #Conflicts: 1008000 | #Constraints: 26833
1458.88/1462.64 c #Conflicts: 1009000 | #Constraints: 27833
1458.88/1462.64 c #Conflicts: 1010000 | #Constraints: 28833
1458.88/1462.64 c #Conflicts: 1011000 | #Constraints: 29833
1458.88/1462.64 c #Conflicts: 1012000 | #Constraints: 30833
1458.88/1462.64 c #Conflicts: 1013000 | #Constraints: 31833
1458.88/1462.64 c #Conflicts: 1014000 | #Constraints: 32833
1458.88/1462.64 c #Conflicts: 1015000 | #Constraints: 33833
1458.88/1462.64 c #Conflicts: 1016000 | #Constraints: 34833
1458.88/1462.64 c #Conflicts: 1017000 | #Constraints: 35833
1458.88/1462.64 c #Conflicts: 1018000 | #Constraints: 36833
1458.88/1462.64 c #Conflicts: 1019000 | #Constraints: 37833
1458.88/1462.64 c #Conflicts: 1020000 | #Constraints: 38833
1458.88/1462.64 c #Conflicts: 1021000 | #Constraints: 39833
1458.88/1462.64 c INPROCESSING
1458.88/1462.64 c GARBAGE COLLECT
1458.88/1462.64 c #Conflicts: 1022000 | #Constraints: 20834
1458.88/1462.64 c #Conflicts: 1023000 | #Constraints: 21834
1458.88/1462.64 c #Conflicts: 1024000 | #Constraints: 22834
1458.88/1462.64 c #Conflicts: 1025000 | #Constraints: 23834
1458.88/1462.64 c #Conflicts: 1026000 | #Constraints: 24834
1458.88/1462.64 c #Conflicts: 1027000 | #Constraints: 25834
1458.88/1462.64 c #Conflicts: 1028000 | #Constraints: 26834
1458.88/1462.64 c #Conflicts: 1029000 | #Constraints: 27834
1458.88/1462.64 c #Conflicts: 1030000 | #Constraints: 28834
1458.88/1462.64 c #Conflicts: 1031000 | #Constraints: 29834
1458.88/1462.64 c #Conflicts: 1032000 | #Constraints: 30834
1458.88/1462.64 c #Conflicts: 1033000 | #Constraints: 31834
1458.88/1462.64 c #Conflicts: 1034000 | #Constraints: 32834
1458.88/1462.64 c #Conflicts: 1035000 | #Constraints: 33834
1458.88/1462.64 c #Conflicts: 1036000 | #Constraints: 34834
1458.88/1462.64 c #Conflicts: 1037000 | #Constraints: 35834
1458.88/1462.64 c #Conflicts: 1038000 | #Constraints: 36834
1458.88/1462.64 c #Conflicts: 1039000 | #Constraints: 37834
1458.88/1462.64 c #Conflicts: 1040000 | #Constraints: 38834
1458.88/1462.64 c #Conflicts: 1041000 | #Constraints: 39834
1458.88/1462.64 c INPROCESSING
1458.88/1462.64 c GARBAGE COLLECT
1458.88/1462.64 c #Conflicts: 1042000 | #Constraints: 20637
1458.88/1462.64 c #Conflicts: 1043000 | #Constraints: 21637
1458.88/1462.64 c #Conflicts: 1044000 | #Constraints: 22637
1458.88/1462.64 c #Conflicts: 1045000 | #Constraints: 23637
1458.88/1462.64 c #Conflicts: 1046000 | #Constraints: 24637
1458.88/1462.64 c #Conflicts: 1047000 | #Constraints: 25637
1458.88/1462.64 c #Conflicts: 1048000 | #Constraints: 26637
1458.88/1462.64 c #Conflicts: 1049000 | #Constraints: 27637
1458.88/1462.64 c #Conflicts: 1050000 | #Constraints: 28637
1458.88/1462.64 c #Conflicts: 1051000 | #Constraints: 29637
1458.88/1462.64 c #Conflicts: 1052000 | #Constraints: 30637
1458.88/1462.64 c #Conflicts: 1053000 | #Constraints: 31637
1458.88/1462.64 c #Conflicts: 1054000 | #Constraints: 32637
1458.88/1462.64 c #Conflicts: 1055000 | #Constraints: 33637
1458.88/1462.64 c #Conflicts: 1056000 | #Constraints: 34637
1458.88/1462.64 c #Conflicts: 1057000 | #Constraints: 35637
1458.88/1462.64 c #Conflicts: 1058000 | #Constraints: 36637
1458.88/1462.64 c #Conflicts: 1059000 | #Constraints: 37637
1458.88/1462.64 c #Conflicts: 1060000 | #Constraints: 38637
1458.88/1462.64 c #Conflicts: 1061000 | #Constraints: 39637
1458.88/1462.64 c #Conflicts: 1062000 | #Constraints: 40637
1458.88/1462.64 c INPROCESSING
1458.88/1462.64 c GARBAGE COLLECT
1458.88/1462.64 c #Conflicts: 1063000 | #Constraints: 21236
1458.88/1462.64 c #Conflicts: 1064000 | #Constraints: 22236
1458.88/1462.64 c #Conflicts: 1065000 | #Constraints: 23236
1458.88/1462.64 c #Conflicts: 1066000 | #Constraints: 24236
1458.88/1462.64 c #Conflicts: 1067000 | #Constraints: 25236
1458.88/1462.64 c #Conflicts: 1068000 | #Constraints: 26236
1679.92/1684.22 c #Conflicts: 1069000 | #Constraints: 27236
1679.92/1684.22 c #Conflicts: 1070000 | #Constraints: 28236
1679.92/1684.22 c #Conflicts: 1071000 | #Constraints: 29236
1679.92/1684.22 c #Conflicts: 1072000 | #Constraints: 30236
1679.92/1684.22 c #Conflicts: 1073000 | #Constraints: 31236
1679.92/1684.22 c #Conflicts: 1074000 | #Constraints: 32236
1679.92/1684.22 c #Conflicts: 1075000 | #Constraints: 33236
1679.92/1684.22 c #Conflicts: 1076000 | #Constraints: 34236
1679.92/1684.22 c #Conflicts: 1077000 | #Constraints: 35236
1679.92/1684.22 c #Conflicts: 1078000 | #Constraints: 36236
1679.92/1684.22 c #Conflicts: 1079000 | #Constraints: 37236
1679.92/1684.22 c #Conflicts: 1080000 | #Constraints: 38236
1679.92/1684.22 c #Conflicts: 1081000 | #Constraints: 39236
1679.92/1684.22 c #Conflicts: 1082000 | #Constraints: 40236
1679.92/1684.22 c #Conflicts: 1083000 | #Constraints: 41236
1679.92/1684.22 c INPROCESSING
1679.92/1684.22 c GARBAGE COLLECT
1679.92/1684.22 c #Conflicts: 1084000 | #Constraints: 21633
1679.92/1684.22 c #Conflicts: 1085000 | #Constraints: 22633
1679.92/1684.22 c #Conflicts: 1086000 | #Constraints: 23633
1679.92/1684.22 c #Conflicts: 1087000 | #Constraints: 24633
1679.92/1684.22 c #Conflicts: 1088000 | #Constraints: 25633
1679.92/1684.22 c #Conflicts: 1089000 | #Constraints: 26633
1679.92/1684.22 c #Conflicts: 1090000 | #Constraints: 27633
1679.92/1684.22 c #Conflicts: 1091000 | #Constraints: 28633
1679.92/1684.22 c #Conflicts: 1092000 | #Constraints: 29633
1679.92/1684.22 c #Conflicts: 1093000 | #Constraints: 30633
1679.92/1684.22 c #Conflicts: 1094000 | #Constraints: 31633
1679.92/1684.22 c #Conflicts: 1095000 | #Constraints: 32633
1679.92/1684.22 c #Conflicts: 1096000 | #Constraints: 33633
1679.92/1684.22 c #Conflicts: 1097000 | #Constraints: 34633
1679.92/1684.22 c #Conflicts: 1098000 | #Constraints: 35633
1679.92/1684.22 c #Conflicts: 1099000 | #Constraints: 36633
1679.92/1684.22 c #Conflicts: 1100000 | #Constraints: 37633
1679.92/1684.22 c #Conflicts: 1101000 | #Constraints: 38633
1679.92/1684.22 c #Conflicts: 1102000 | #Constraints: 39633
1679.92/1684.22 c #Conflicts: 1103000 | #Constraints: 40633
1679.92/1684.22 c #Conflicts: 1104000 | #Constraints: 41633
1679.92/1684.22 c INPROCESSING
1679.92/1684.22 c GARBAGE COLLECT
1679.92/1684.22 c #Conflicts: 1105000 | #Constraints: 21835
1679.92/1684.22 c #Conflicts: 1106000 | #Constraints: 22835
1679.92/1684.22 c #Conflicts: 1107000 | #Constraints: 23835
1679.92/1684.22 c #Conflicts: 1108000 | #Constraints: 24835
1679.92/1684.22 c #Conflicts: 1109000 | #Constraints: 25835
1679.92/1684.22 c #Conflicts: 1110000 | #Constraints: 26835
1679.92/1684.22 c #Conflicts: 1111000 | #Constraints: 27835
1679.92/1684.22 c #Conflicts: 1112000 | #Constraints: 28835
1679.92/1684.22 c #Conflicts: 1113000 | #Constraints: 29835
1679.92/1684.22 c #Conflicts: 1114000 | #Constraints: 30835
1679.92/1684.22 c #Conflicts: 1115000 | #Constraints: 31835
1679.92/1684.22 c #Conflicts: 1116000 | #Constraints: 32835
1679.92/1684.22 c #Conflicts: 1117000 | #Constraints: 33835
1679.92/1684.22 c #Conflicts: 1118000 | #Constraints: 34835
1679.92/1684.22 c #Conflicts: 1119000 | #Constraints: 35835
1679.92/1684.22 c #Conflicts: 1120000 | #Constraints: 36835
1679.92/1684.22 c #Conflicts: 1121000 | #Constraints: 37835
1679.92/1684.22 c #Conflicts: 1122000 | #Constraints: 38835
1679.92/1684.22 c #Conflicts: 1123000 | #Constraints: 39835
1679.92/1684.22 c #Conflicts: 1124000 | #Constraints: 40835
1679.92/1684.22 c #Conflicts: 1125000 | #Constraints: 41835
1679.92/1684.22 c INPROCESSING
1679.92/1684.22 c GARBAGE COLLECT
1679.92/1684.22 c #Conflicts: 1126000 | #Constraints: 21836
1679.92/1684.22 c #Conflicts: 1127000 | #Constraints: 22836
1679.92/1684.22 c #Conflicts: 1128000 | #Constraints: 23836
1679.92/1684.22 c #Conflicts: 1129000 | #Constraints: 24836
1679.92/1684.22 c #Conflicts: 1130000 | #Constraints: 25836
1679.92/1684.22 c #Conflicts: 1131000 | #Constraints: 26836
1679.92/1684.22 c #Conflicts: 1132000 | #Constraints: 27836
1679.92/1684.22 c #Conflicts: 1133000 | #Constraints: 28836
1679.92/1684.22 c #Conflicts: 1134000 | #Constraints: 29836
1679.92/1684.22 c #Conflicts: 1135000 | #Constraints: 30836
1679.92/1684.22 c #Conflicts: 1136000 | #Constraints: 31836
1679.92/1684.22 c #Conflicts: 1137000 | #Constraints: 32836
1679.92/1684.22 c #Conflicts: 1138000 | #Constraints: 33836
1679.92/1684.22 c #Conflicts: 1139000 | #Constraints: 34836
1679.92/1684.22 c #Conflicts: 1140000 | #Constraints: 35836
1679.92/1684.22 c #Conflicts: 1141000 | #Constraints: 36836
1679.92/1684.22 c #Conflicts: 1142000 | #Constraints: 37836
1679.92/1684.22 c #Conflicts: 1143000 | #Constraints: 38836
1679.92/1684.22 c #Conflicts: 1144000 | #Constraints: 39836
1679.92/1684.22 c #Conflicts: 1145000 | #Constraints: 40836
1866.85/1871.64 c #Conflicts: 1146000 | #Constraints: 41836
1866.85/1871.64 c INPROCESSING
1866.85/1871.64 c GARBAGE COLLECT
1866.85/1871.64 c #Conflicts: 1147000 | #Constraints: 21632
1866.85/1871.64 c #Conflicts: 1148000 | #Constraints: 22632
1866.85/1871.64 c #Conflicts: 1149000 | #Constraints: 23632
1866.85/1871.64 c #Conflicts: 1150000 | #Constraints: 24632
1866.85/1871.64 c #Conflicts: 1151000 | #Constraints: 25632
1866.85/1871.64 c #Conflicts: 1152000 | #Constraints: 26632
1866.85/1871.64 c #Conflicts: 1153000 | #Constraints: 27632
1866.85/1871.64 c #Conflicts: 1154000 | #Constraints: 28632
1866.85/1871.64 c #Conflicts: 1155000 | #Constraints: 29632
1866.85/1871.64 c #Conflicts: 1156000 | #Constraints: 30632
1866.85/1871.64 c #Conflicts: 1157000 | #Constraints: 31632
1866.85/1871.64 c #Conflicts: 1158000 | #Constraints: 32632
1866.85/1871.64 c #Conflicts: 1159000 | #Constraints: 33632
1866.85/1871.64 c #Conflicts: 1160000 | #Constraints: 34632
1866.85/1871.64 c #Conflicts: 1161000 | #Constraints: 35632
1866.85/1871.64 c #Conflicts: 1162000 | #Constraints: 36632
1866.85/1871.64 c #Conflicts: 1163000 | #Constraints: 37632
1866.85/1871.64 c #Conflicts: 1164000 | #Constraints: 38632
1866.85/1871.64 c #Conflicts: 1165000 | #Constraints: 39632
1866.85/1871.64 c #Conflicts: 1166000 | #Constraints: 40632
1866.85/1871.64 c #Conflicts: 1167000 | #Constraints: 41632
1866.85/1871.64 c #Conflicts: 1168000 | #Constraints: 42632
1866.85/1871.64 c INPROCESSING
1866.85/1871.64 c GARBAGE COLLECT
1866.85/1871.64 c #Conflicts: 1169000 | #Constraints: 22234
1866.85/1871.64 c #Conflicts: 1170000 | #Constraints: 23234
1866.85/1871.64 c #Conflicts: 1171000 | #Constraints: 24234
1866.85/1871.64 c #Conflicts: 1172000 | #Constraints: 25234
1866.85/1871.64 c #Conflicts: 1173000 | #Constraints: 26234
1866.85/1871.64 c #Conflicts: 1174000 | #Constraints: 27234
1866.85/1871.64 c #Conflicts: 1175000 | #Constraints: 28234
1866.85/1871.64 c #Conflicts: 1176000 | #Constraints: 29234
1866.85/1871.64 c #Conflicts: 1177000 | #Constraints: 30234
1866.85/1871.64 c #Conflicts: 1178000 | #Constraints: 31234
1866.85/1871.64 c #Conflicts: 1179000 | #Constraints: 32234
1866.85/1871.64 c #Conflicts: 1180000 | #Constraints: 33234
1866.85/1871.64 c #Conflicts: 1181000 | #Constraints: 34234
1866.85/1871.64 c #Conflicts: 1182000 | #Constraints: 35234
1866.85/1871.64 c #Conflicts: 1183000 | #Constraints: 36234
1866.85/1871.64 c #Conflicts: 1184000 | #Constraints: 37234
1866.85/1871.64 c #Conflicts: 1185000 | #Constraints: 38234
1866.85/1871.64 c #Conflicts: 1186000 | #Constraints: 39234
1866.85/1871.64 c #Conflicts: 1187000 | #Constraints: 40234
1866.85/1871.64 c #Conflicts: 1188000 | #Constraints: 41234
1866.85/1871.64 c #Conflicts: 1189000 | #Constraints: 42234
1866.85/1871.64 c #Conflicts: 1190000 | #Constraints: 43234
1866.85/1871.64 c INPROCESSING
1866.85/1871.64 c GARBAGE COLLECT
1866.85/1871.64 c #Conflicts: 1191000 | #Constraints: 22633
1866.85/1871.64 c #Conflicts: 1192000 | #Constraints: 23633
1866.85/1871.64 c #Conflicts: 1193000 | #Constraints: 24633
1866.85/1871.64 c #Conflicts: 1194000 | #Constraints: 25633
1866.85/1871.64 c #Conflicts: 1195000 | #Constraints: 26633
1866.85/1871.64 c #Conflicts: 1196000 | #Constraints: 27633
1866.85/1871.64 c #Conflicts: 1197000 | #Constraints: 28633
1866.85/1871.64 c #Conflicts: 1198000 | #Constraints: 29633
1866.85/1871.64 c #Conflicts: 1199000 | #Constraints: 30633
1866.85/1871.64 c #Conflicts: 1200000 | #Constraints: 31633
1866.85/1871.64 c #Conflicts: 1201000 | #Constraints: 32633
1866.85/1871.64 c #Conflicts: 1202000 | #Constraints: 33633
1866.85/1871.64 c #Conflicts: 1203000 | #Constraints: 34633
1866.85/1871.64 c #Conflicts: 1204000 | #Constraints: 35633
1866.85/1871.64 c #Conflicts: 1205000 | #Constraints: 36633
1866.85/1871.64 c #Conflicts: 1206000 | #Constraints: 37633
1866.85/1871.64 c #Conflicts: 1207000 | #Constraints: 38633
1866.85/1871.64 c #Conflicts: 1208000 | #Constraints: 39633
1866.85/1871.64 c #Conflicts: 1209000 | #Constraints: 40633
1866.85/1871.64 c #Conflicts: 1210000 | #Constraints: 41633
1866.85/1871.64 c #Conflicts: 1211000 | #Constraints: 42633
1866.85/1871.64 c #Conflicts: 1212000 | #Constraints: 43633
1866.85/1871.64 c INPROCESSING
1866.85/1871.64 c GARBAGE COLLECT
1866.85/1871.64 c #Conflicts: 1213000 | #Constraints: 22831
1866.85/1871.64 c #Conflicts: 1214000 | #Constraints: 23831
1866.85/1871.64 c #Conflicts: 1215000 | #Constraints: 24831
1866.85/1871.64 c #Conflicts: 1216000 | #Constraints: 25831
1866.85/1871.64 c #Conflicts: 1217000 | #Constraints: 26831
1866.85/1871.64 c #Conflicts: 1218000 | #Constraints: 27831
1866.85/1871.64 c #Conflicts: 1219000 | #Constraints: 28831
1866.85/1871.64 c #Conflicts: 1220000 | #Constraints: 29831
1866.85/1871.64 c #Conflicts: 1221000 | #Constraints: 30831
1866.85/1871.64 c #Conflicts: 1222000 | #Constraints: 31831
2055.66/2061.00 c #Conflicts: 1223000 | #Constraints: 32831
2055.66/2061.00 c #Conflicts: 1224000 | #Constraints: 33831
2055.66/2061.00 c #Conflicts: 1225000 | #Constraints: 34831
2055.66/2061.00 c #Conflicts: 1226000 | #Constraints: 35831
2055.66/2061.00 c #Conflicts: 1227000 | #Constraints: 36831
2055.66/2061.00 c #Conflicts: 1228000 | #Constraints: 37831
2055.66/2061.00 c #Conflicts: 1229000 | #Constraints: 38831
2055.66/2061.00 c #Conflicts: 1230000 | #Constraints: 39831
2055.66/2061.00 c #Conflicts: 1231000 | #Constraints: 40831
2055.66/2061.00 c #Conflicts: 1232000 | #Constraints: 41831
2055.66/2061.00 c #Conflicts: 1233000 | #Constraints: 42831
2055.66/2061.00 c #Conflicts: 1234000 | #Constraints: 43831
2055.66/2061.00 c INPROCESSING
2055.66/2061.00 c GARBAGE COLLECT
2055.66/2061.00 c #Conflicts: 1235000 | #Constraints: 22832
2055.66/2061.00 c #Conflicts: 1236000 | #Constraints: 23832
2055.66/2061.00 c #Conflicts: 1237000 | #Constraints: 24832
2055.66/2061.00 c #Conflicts: 1238000 | #Constraints: 25832
2055.66/2061.00 c #Conflicts: 1239000 | #Constraints: 26832
2055.66/2061.00 c #Conflicts: 1240000 | #Constraints: 27832
2055.66/2061.00 c #Conflicts: 1241000 | #Constraints: 28832
2055.66/2061.00 c #Conflicts: 1242000 | #Constraints: 29832
2055.66/2061.00 c #Conflicts: 1243000 | #Constraints: 30832
2055.66/2061.00 c #Conflicts: 1244000 | #Constraints: 31832
2055.66/2061.00 c #Conflicts: 1245000 | #Constraints: 32832
2055.66/2061.00 c #Conflicts: 1246000 | #Constraints: 33832
2055.66/2061.00 c #Conflicts: 1247000 | #Constraints: 34832
2055.66/2061.00 c #Conflicts: 1248000 | #Constraints: 35832
2055.66/2061.00 c #Conflicts: 1249000 | #Constraints: 36832
2055.66/2061.00 c #Conflicts: 1250000 | #Constraints: 37832
2055.66/2061.00 c #Conflicts: 1251000 | #Constraints: 38832
2055.66/2061.00 c #Conflicts: 1252000 | #Constraints: 39832
2055.66/2061.00 c #Conflicts: 1253000 | #Constraints: 40832
2055.66/2061.00 c #Conflicts: 1254000 | #Constraints: 41832
2055.66/2061.00 c #Conflicts: 1255000 | #Constraints: 42832
2055.66/2061.00 c #Conflicts: 1256000 | #Constraints: 43832
2055.66/2061.00 c INPROCESSING
2055.66/2061.00 c GARBAGE COLLECT
2055.66/2061.00 c #Conflicts: 1257000 | #Constraints: 22630
2055.66/2061.00 c #Conflicts: 1258000 | #Constraints: 23630
2055.66/2061.00 c #Conflicts: 1259000 | #Constraints: 24630
2055.66/2061.00 c #Conflicts: 1260000 | #Constraints: 25630
2055.66/2061.00 c #Conflicts: 1261000 | #Constraints: 26630
2055.66/2061.00 c #Conflicts: 1262000 | #Constraints: 27630
2055.66/2061.00 c #Conflicts: 1263000 | #Constraints: 28630
2055.66/2061.00 c #Conflicts: 1264000 | #Constraints: 29630
2055.66/2061.00 c #Conflicts: 1265000 | #Constraints: 30630
2055.66/2061.00 c #Conflicts: 1266000 | #Constraints: 31630
2055.66/2061.00 c #Conflicts: 1267000 | #Constraints: 32630
2055.66/2061.00 c #Conflicts: 1268000 | #Constraints: 33630
2055.66/2061.00 c #Conflicts: 1269000 | #Constraints: 34630
2055.66/2061.00 c #Conflicts: 1270000 | #Constraints: 35630
2055.66/2061.00 c #Conflicts: 1271000 | #Constraints: 36630
2055.66/2061.00 c #Conflicts: 1272000 | #Constraints: 37630
2055.66/2061.00 c #Conflicts: 1273000 | #Constraints: 38630
2055.66/2061.00 c #Conflicts: 1274000 | #Constraints: 39630
2055.66/2061.00 c #Conflicts: 1275000 | #Constraints: 40630
2055.66/2061.00 c #Conflicts: 1276000 | #Constraints: 41630
2055.66/2061.00 c #Conflicts: 1277000 | #Constraints: 42630
2055.66/2061.00 c #Conflicts: 1278000 | #Constraints: 43630
2055.66/2061.00 c #Conflicts: 1279000 | #Constraints: 44630
2055.66/2061.00 c INPROCESSING
2055.66/2061.00 c GARBAGE COLLECT
2055.66/2061.00 c #Conflicts: 1280000 | #Constraints: 23228
2055.66/2061.00 c #Conflicts: 1281000 | #Constraints: 24228
2055.66/2061.00 c #Conflicts: 1282000 | #Constraints: 25228
2055.66/2061.00 c #Conflicts: 1283000 | #Constraints: 26228
2055.66/2061.00 c #Conflicts: 1284000 | #Constraints: 27228
2055.66/2061.00 c #Conflicts: 1285000 | #Constraints: 28228
2055.66/2061.00 c #Conflicts: 1286000 | #Constraints: 29228
2055.66/2061.00 c #Conflicts: 1287000 | #Constraints: 30228
2055.66/2061.00 c #Conflicts: 1288000 | #Constraints: 31228
2055.66/2061.00 c #Conflicts: 1289000 | #Constraints: 32228
2055.66/2061.00 c #Conflicts: 1290000 | #Constraints: 33228
2055.66/2061.00 c #Conflicts: 1291000 | #Constraints: 34228
2055.66/2061.00 c #Conflicts: 1292000 | #Constraints: 35228
2055.66/2061.00 c #Conflicts: 1293000 | #Constraints: 36228
2055.66/2061.00 c #Conflicts: 1294000 | #Constraints: 37228
2055.66/2061.00 c #Conflicts: 1295000 | #Constraints: 38228
2055.66/2061.00 c #Conflicts: 1296000 | #Constraints: 39228
2055.66/2061.00 c #Conflicts: 1297000 | #Constraints: 40228
2055.66/2061.00 c #Conflicts: 1298000 | #Constraints: 41228
2265.18/2271.00 c #Conflicts: 1299000 | #Constraints: 42228
2265.18/2271.00 c #Conflicts: 1300000 | #Constraints: 43228
2265.18/2271.00 c #Conflicts: 1301000 | #Constraints: 44228
2265.18/2271.00 c #Conflicts: 1302000 | #Constraints: 45228
2265.18/2271.00 c INPROCESSING
2265.18/2271.00 c GARBAGE COLLECT
2265.18/2271.00 c #Conflicts: 1303000 | #Constraints: 23631
2265.18/2271.00 c #Conflicts: 1304000 | #Constraints: 24631
2265.18/2271.00 c #Conflicts: 1305000 | #Constraints: 25631
2265.18/2271.00 c #Conflicts: 1306000 | #Constraints: 26631
2265.18/2271.00 c #Conflicts: 1307000 | #Constraints: 27631
2265.18/2271.00 c #Conflicts: 1308000 | #Constraints: 28631
2265.18/2271.00 c #Conflicts: 1309000 | #Constraints: 29631
2265.18/2271.00 c #Conflicts: 1310000 | #Constraints: 30631
2265.18/2271.00 c #Conflicts: 1311000 | #Constraints: 31631
2265.18/2271.00 c #Conflicts: 1312000 | #Constraints: 32631
2265.18/2271.00 c #Conflicts: 1313000 | #Constraints: 33631
2265.18/2271.00 c #Conflicts: 1314000 | #Constraints: 34631
2265.18/2271.00 c #Conflicts: 1315000 | #Constraints: 35631
2265.18/2271.00 c #Conflicts: 1316000 | #Constraints: 36631
2265.18/2271.00 c #Conflicts: 1317000 | #Constraints: 37631
2265.18/2271.01 c #Conflicts: 1318000 | #Constraints: 38631
2265.18/2271.01 c #Conflicts: 1319000 | #Constraints: 39631
2265.18/2271.01 c #Conflicts: 1320000 | #Constraints: 40631
2265.18/2271.01 c #Conflicts: 1321000 | #Constraints: 41631
2265.18/2271.01 c #Conflicts: 1322000 | #Constraints: 42631
2265.18/2271.01 c #Conflicts: 1323000 | #Constraints: 43631
2265.18/2271.01 c #Conflicts: 1324000 | #Constraints: 44631
2265.18/2271.01 c #Conflicts: 1325000 | #Constraints: 45631
2265.18/2271.01 c INPROCESSING
2265.18/2271.01 c GARBAGE COLLECT
2265.18/2271.01 c #Conflicts: 1326000 | #Constraints: 23835
2265.18/2271.01 c #Conflicts: 1327000 | #Constraints: 24835
2265.18/2271.01 c #Conflicts: 1328000 | #Constraints: 25835
2265.18/2271.01 c #Conflicts: 1329000 | #Constraints: 26835
2265.18/2271.01 c #Conflicts: 1330000 | #Constraints: 27835
2265.18/2271.01 c #Conflicts: 1331000 | #Constraints: 28835
2265.18/2271.01 c #Conflicts: 1332000 | #Constraints: 29835
2265.18/2271.01 c #Conflicts: 1333000 | #Constraints: 30835
2265.18/2271.01 c #Conflicts: 1334000 | #Constraints: 31835
2265.18/2271.01 c #Conflicts: 1335000 | #Constraints: 32835
2265.18/2271.01 c #Conflicts: 1336000 | #Constraints: 33835
2265.18/2271.01 c #Conflicts: 1337000 | #Constraints: 34835
2265.18/2271.01 c #Conflicts: 1338000 | #Constraints: 35835
2265.18/2271.01 c #Conflicts: 1339000 | #Constraints: 36835
2265.18/2271.01 c #Conflicts: 1340000 | #Constraints: 37835
2265.18/2271.01 c #Conflicts: 1341000 | #Constraints: 38835
2265.18/2271.01 c #Conflicts: 1342000 | #Constraints: 39835
2265.18/2271.01 c #Conflicts: 1343000 | #Constraints: 40835
2265.18/2271.01 c #Conflicts: 1344000 | #Constraints: 41835
2265.18/2271.01 c #Conflicts: 1345000 | #Constraints: 42835
2265.18/2271.01 c #Conflicts: 1346000 | #Constraints: 43835
2265.18/2271.01 c #Conflicts: 1347000 | #Constraints: 44835
2265.18/2271.01 c #Conflicts: 1348000 | #Constraints: 45835
2265.18/2271.01 c INPROCESSING
2265.18/2271.01 c GARBAGE COLLECT
2265.18/2271.01 c #Conflicts: 1349000 | #Constraints: 23837
2265.18/2271.01 c #Conflicts: 1350000 | #Constraints: 24837
2265.18/2271.01 c #Conflicts: 1351000 | #Constraints: 25837
2265.18/2271.01 c #Conflicts: 1352000 | #Constraints: 26837
2265.18/2271.01 c #Conflicts: 1353000 | #Constraints: 27837
2265.18/2271.01 c #Conflicts: 1354000 | #Constraints: 28837
2265.18/2271.01 c #Conflicts: 1355000 | #Constraints: 29837
2265.18/2271.01 c #Conflicts: 1356000 | #Constraints: 30837
2265.18/2271.01 c #Conflicts: 1357000 | #Constraints: 31837
2265.18/2271.01 c #Conflicts: 1358000 | #Constraints: 32837
2265.18/2271.01 c #Conflicts: 1359000 | #Constraints: 33837
2265.18/2271.01 c #Conflicts: 1360000 | #Constraints: 34837
2265.18/2271.01 c #Conflicts: 1361000 | #Constraints: 35837
2265.18/2271.01 c #Conflicts: 1362000 | #Constraints: 36837
2265.18/2271.01 c #Conflicts: 1363000 | #Constraints: 37837
2265.18/2271.01 c #Conflicts: 1364000 | #Constraints: 38837
2265.18/2271.01 c #Conflicts: 1365000 | #Constraints: 39837
2265.18/2271.01 c #Conflicts: 1366000 | #Constraints: 40837
2265.18/2271.01 c #Conflicts: 1367000 | #Constraints: 41837
2265.18/2271.01 c #Conflicts: 1368000 | #Constraints: 42837
2265.18/2271.01 c #Conflicts: 1369000 | #Constraints: 43837
2265.18/2271.01 c #Conflicts: 1370000 | #Constraints: 44837
2265.18/2271.01 c #Conflicts: 1371000 | #Constraints: 45837
2265.18/2271.01 c INPROCESSING
2265.18/2271.01 c GARBAGE COLLECT
2265.18/2271.01 c #Conflicts: 1372000 | #Constraints: 23633
2265.18/2271.01 c #Conflicts: 1373000 | #Constraints: 24633
2265.18/2271.01 c #Conflicts: 1374000 | #Constraints: 25633
2265.18/2271.01 c #Conflicts: 1375000 | #Constraints: 26633
2472.77/2479.24 c #Conflicts: 1376000 | #Constraints: 27633
2472.77/2479.24 c #Conflicts: 1377000 | #Constraints: 28633
2472.77/2479.24 c #Conflicts: 1378000 | #Constraints: 29633
2472.77/2479.24 c #Conflicts: 1379000 | #Constraints: 30633
2472.77/2479.24 c #Conflicts: 1380000 | #Constraints: 31633
2472.77/2479.24 c #Conflicts: 1381000 | #Constraints: 32633
2472.77/2479.24 c #Conflicts: 1382000 | #Constraints: 33633
2472.77/2479.24 c #Conflicts: 1383000 | #Constraints: 34633
2472.77/2479.24 c #Conflicts: 1384000 | #Constraints: 35633
2472.77/2479.24 c #Conflicts: 1385000 | #Constraints: 36633
2472.77/2479.24 c #Conflicts: 1386000 | #Constraints: 37633
2472.77/2479.24 c #Conflicts: 1387000 | #Constraints: 38633
2472.77/2479.24 c #Conflicts: 1388000 | #Constraints: 39633
2472.77/2479.24 c #Conflicts: 1389000 | #Constraints: 40633
2472.77/2479.24 c #Conflicts: 1390000 | #Constraints: 41633
2472.77/2479.24 c #Conflicts: 1391000 | #Constraints: 42633
2472.77/2479.24 c #Conflicts: 1392000 | #Constraints: 43633
2472.77/2479.24 c #Conflicts: 1393000 | #Constraints: 44633
2472.77/2479.24 c #Conflicts: 1394000 | #Constraints: 45633
2472.77/2479.24 c #Conflicts: 1395000 | #Constraints: 46633
2472.77/2479.24 c INPROCESSING
2472.77/2479.24 c GARBAGE COLLECT
2472.77/2479.24 c #Conflicts: 1396000 | #Constraints: 24231
2472.77/2479.24 c #Conflicts: 1397000 | #Constraints: 25231
2472.77/2479.24 c #Conflicts: 1398000 | #Constraints: 26231
2472.77/2479.24 c #Conflicts: 1399000 | #Constraints: 27231
2472.77/2479.24 c #Conflicts: 1400000 | #Constraints: 28231
2472.77/2479.24 c #Conflicts: 1401000 | #Constraints: 29231
2472.77/2479.24 c #Conflicts: 1402000 | #Constraints: 30231
2472.77/2479.24 c #Conflicts: 1403000 | #Constraints: 31231
2472.77/2479.24 c #Conflicts: 1404000 | #Constraints: 32231
2472.77/2479.24 c #Conflicts: 1405000 | #Constraints: 33231
2472.77/2479.24 c #Conflicts: 1406000 | #Constraints: 34231
2472.77/2479.24 c #Conflicts: 1407000 | #Constraints: 35231
2472.77/2479.24 c #Conflicts: 1408000 | #Constraints: 36231
2472.77/2479.24 c #Conflicts: 1409000 | #Constraints: 37231
2472.77/2479.24 c #Conflicts: 1410000 | #Constraints: 38231
2472.77/2479.24 c #Conflicts: 1411000 | #Constraints: 39231
2472.77/2479.24 c #Conflicts: 1412000 | #Constraints: 40231
2472.77/2479.24 c #Conflicts: 1413000 | #Constraints: 41231
2472.77/2479.24 c #Conflicts: 1414000 | #Constraints: 42231
2472.77/2479.24 c #Conflicts: 1415000 | #Constraints: 43231
2472.77/2479.24 c #Conflicts: 1416000 | #Constraints: 44231
2472.77/2479.24 c #Conflicts: 1417000 | #Constraints: 45231
2472.77/2479.24 c #Conflicts: 1418000 | #Constraints: 46231
2472.77/2479.24 c #Conflicts: 1419000 | #Constraints: 47231
2472.77/2479.24 c INPROCESSING
2472.77/2479.24 c GARBAGE COLLECT
2472.77/2479.24 c #Conflicts: 1420000 | #Constraints: 24630
2472.77/2479.24 c #Conflicts: 1421000 | #Constraints: 25630
2472.77/2479.24 c #Conflicts: 1422000 | #Constraints: 26630
2472.77/2479.24 c #Conflicts: 1423000 | #Constraints: 27630
2472.77/2479.24 c #Conflicts: 1424000 | #Constraints: 28630
2472.77/2479.24 c #Conflicts: 1425000 | #Constraints: 29630
2472.77/2479.24 c #Conflicts: 1426000 | #Constraints: 30630
2472.77/2479.24 c #Conflicts: 1427000 | #Constraints: 31630
2472.77/2479.24 c #Conflicts: 1428000 | #Constraints: 32630
2472.77/2479.24 c #Conflicts: 1429000 | #Constraints: 33630
2472.77/2479.24 c #Conflicts: 1430000 | #Constraints: 34630
2472.77/2479.24 c #Conflicts: 1431000 | #Constraints: 35630
2472.77/2479.24 c #Conflicts: 1432000 | #Constraints: 36630
2472.77/2479.24 c #Conflicts: 1433000 | #Constraints: 37630
2472.77/2479.24 c #Conflicts: 1434000 | #Constraints: 38630
2472.77/2479.24 c #Conflicts: 1435000 | #Constraints: 39630
2472.77/2479.24 c #Conflicts: 1436000 | #Constraints: 40630
2472.77/2479.24 c #Conflicts: 1437000 | #Constraints: 41630
2472.77/2479.24 c #Conflicts: 1438000 | #Constraints: 42630
2472.77/2479.24 c #Conflicts: 1439000 | #Constraints: 43630
2472.77/2479.24 c #Conflicts: 1440000 | #Constraints: 44630
2472.77/2479.24 c #Conflicts: 1441000 | #Constraints: 45630
2472.77/2479.24 c #Conflicts: 1442000 | #Constraints: 46630
2472.77/2479.24 c #Conflicts: 1443000 | #Constraints: 47630
2472.77/2479.24 c INPROCESSING
2472.77/2479.24 c GARBAGE COLLECT
2472.77/2479.24 c #Conflicts: 1444000 | #Constraints: 24832
2472.77/2479.24 c #Conflicts: 1445000 | #Constraints: 25832
2472.77/2479.24 c #Conflicts: 1446000 | #Constraints: 26832
2472.77/2479.24 c #Conflicts: 1447000 | #Constraints: 27832
2472.77/2479.24 c #Conflicts: 1448000 | #Constraints: 28832
2472.77/2479.24 c #Conflicts: 1449000 | #Constraints: 29832
2472.77/2479.24 c #Conflicts: 1450000 | #Constraints: 30832
2472.77/2479.24 c #Conflicts: 1451000 | #Constraints: 31832
2706.59/2713.78 c #Conflicts: 1452000 | #Constraints: 32832
2706.59/2713.78 c #Conflicts: 1453000 | #Constraints: 33832
2706.59/2713.78 c #Conflicts: 1454000 | #Constraints: 34832
2706.59/2713.78 c #Conflicts: 1455000 | #Constraints: 35832
2706.59/2713.78 c #Conflicts: 1456000 | #Constraints: 36832
2706.59/2713.78 c #Conflicts: 1457000 | #Constraints: 37832
2706.59/2713.78 c #Conflicts: 1458000 | #Constraints: 38832
2706.59/2713.78 c #Conflicts: 1459000 | #Constraints: 39832
2706.59/2713.78 c #Conflicts: 1460000 | #Constraints: 40832
2706.59/2713.78 c #Conflicts: 1461000 | #Constraints: 41832
2706.59/2713.78 c #Conflicts: 1462000 | #Constraints: 42832
2706.59/2713.78 c #Conflicts: 1463000 | #Constraints: 43832
2706.59/2713.78 c #Conflicts: 1464000 | #Constraints: 44832
2706.59/2713.78 c #Conflicts: 1465000 | #Constraints: 45832
2706.59/2713.78 c #Conflicts: 1466000 | #Constraints: 46832
2706.59/2713.78 c #Conflicts: 1467000 | #Constraints: 47832
2706.59/2713.78 c INPROCESSING
2706.59/2713.78 c GARBAGE COLLECT
2706.59/2713.78 c #Conflicts: 1468000 | #Constraints: 24833
2706.59/2713.78 c #Conflicts: 1469000 | #Constraints: 25833
2706.59/2713.78 c #Conflicts: 1470000 | #Constraints: 26833
2706.59/2713.78 c #Conflicts: 1471000 | #Constraints: 27833
2706.59/2713.78 c #Conflicts: 1472000 | #Constraints: 28833
2706.59/2713.78 c #Conflicts: 1473000 | #Constraints: 29833
2706.59/2713.78 c #Conflicts: 1474000 | #Constraints: 30833
2706.59/2713.78 c #Conflicts: 1475000 | #Constraints: 31833
2706.59/2713.78 c #Conflicts: 1476000 | #Constraints: 32833
2706.59/2713.78 c #Conflicts: 1477000 | #Constraints: 33833
2706.59/2713.78 c #Conflicts: 1478000 | #Constraints: 34833
2706.59/2713.78 c #Conflicts: 1479000 | #Constraints: 35833
2706.59/2713.78 c #Conflicts: 1480000 | #Constraints: 36833
2706.59/2713.78 c #Conflicts: 1481000 | #Constraints: 37833
2706.59/2713.78 c #Conflicts: 1482000 | #Constraints: 38833
2706.59/2713.78 c #Conflicts: 1483000 | #Constraints: 39833
2706.59/2713.78 c #Conflicts: 1484000 | #Constraints: 40833
2706.59/2713.78 c #Conflicts: 1485000 | #Constraints: 41833
2706.59/2713.78 c #Conflicts: 1486000 | #Constraints: 42833
2706.59/2713.78 c #Conflicts: 1487000 | #Constraints: 43833
2706.59/2713.78 c #Conflicts: 1488000 | #Constraints: 44833
2706.59/2713.78 c #Conflicts: 1489000 | #Constraints: 45833
2706.59/2713.78 c #Conflicts: 1490000 | #Constraints: 46833
2706.59/2713.78 c #Conflicts: 1491000 | #Constraints: 47833
2706.59/2713.78 c INPROCESSING
2706.59/2713.78 c GARBAGE COLLECT
2706.59/2713.78 c #Conflicts: 1492000 | #Constraints: 24631
2706.59/2713.78 c #Conflicts: 1493000 | #Constraints: 25631
2706.59/2713.78 c #Conflicts: 1494000 | #Constraints: 26631
2706.59/2713.78 c #Conflicts: 1495000 | #Constraints: 27631
2706.59/2713.78 c #Conflicts: 1496000 | #Constraints: 28631
2706.59/2713.78 c #Conflicts: 1497000 | #Constraints: 29631
2706.59/2713.78 c #Conflicts: 1498000 | #Constraints: 30631
2706.59/2713.78 c #Conflicts: 1499000 | #Constraints: 31631
2706.59/2713.78 c #Conflicts: 1500000 | #Constraints: 32631
2706.59/2713.78 c #Conflicts: 1501000 | #Constraints: 33631
2706.59/2713.78 c #Conflicts: 1502000 | #Constraints: 34631
2706.59/2713.78 c #Conflicts: 1503000 | #Constraints: 35631
2706.59/2713.78 c #Conflicts: 1504000 | #Constraints: 36631
2706.59/2713.78 c #Conflicts: 1505000 | #Constraints: 37631
2706.59/2713.78 c #Conflicts: 1506000 | #Constraints: 38631
2706.59/2713.78 c #Conflicts: 1507000 | #Constraints: 39631
2706.59/2713.78 c #Conflicts: 1508000 | #Constraints: 40631
2706.59/2713.78 c #Conflicts: 1509000 | #Constraints: 41631
2706.59/2713.78 c #Conflicts: 1510000 | #Constraints: 42631
2706.59/2713.78 c #Conflicts: 1511000 | #Constraints: 43631
2706.59/2713.78 c #Conflicts: 1512000 | #Constraints: 44631
2706.59/2713.78 c #Conflicts: 1513000 | #Constraints: 45631
2706.59/2713.78 c #Conflicts: 1514000 | #Constraints: 46631
2706.59/2713.78 c #Conflicts: 1515000 | #Constraints: 47631
2706.59/2713.78 c #Conflicts: 1516000 | #Constraints: 48631
2706.59/2713.78 c INPROCESSING
2706.59/2713.78 c GARBAGE COLLECT
2706.59/2713.78 c #Conflicts: 1517000 | #Constraints: 25231
2706.59/2713.78 c #Conflicts: 1518000 | #Constraints: 26231
2706.59/2713.78 c #Conflicts: 1519000 | #Constraints: 27231
2706.59/2713.78 c #Conflicts: 1520000 | #Constraints: 28231
2706.59/2713.78 c #Conflicts: 1521000 | #Constraints: 29231
2706.59/2713.78 c #Conflicts: 1522000 | #Constraints: 30231
2706.59/2713.78 c #Conflicts: 1523000 | #Constraints: 31231
2706.59/2713.78 c #Conflicts: 1524000 | #Constraints: 32231
2706.59/2713.78 c #Conflicts: 1525000 | #Constraints: 33231
2706.59/2713.78 c #Conflicts: 1526000 | #Constraints: 34231
2706.59/2713.78 c #Conflicts: 1527000 | #Constraints: 35231
2706.59/2713.78 c #Conflicts: 1528000 | #Constraints: 36231
2921.64/2929.45 c #Conflicts: 1529000 | #Constraints: 37231
2921.64/2929.45 c #Conflicts: 1530000 | #Constraints: 38231
2921.64/2929.45 c #Conflicts: 1531000 | #Constraints: 39231
2921.64/2929.45 c #Conflicts: 1532000 | #Constraints: 40231
2921.64/2929.45 c #Conflicts: 1533000 | #Constraints: 41231
2921.64/2929.45 c #Conflicts: 1534000 | #Constraints: 42231
2921.64/2929.45 c #Conflicts: 1535000 | #Constraints: 43231
2921.64/2929.45 c #Conflicts: 1536000 | #Constraints: 44231
2921.64/2929.45 c #Conflicts: 1537000 | #Constraints: 45231
2921.64/2929.45 c #Conflicts: 1538000 | #Constraints: 46231
2921.64/2929.45 c #Conflicts: 1539000 | #Constraints: 47231
2921.64/2929.45 c #Conflicts: 1540000 | #Constraints: 48231
2921.64/2929.45 c #Conflicts: 1541000 | #Constraints: 49231
2921.64/2929.45 c INPROCESSING
2921.64/2929.45 c GARBAGE COLLECT
2921.64/2929.45 c #Conflicts: 1542000 | #Constraints: 25633
2921.64/2929.45 c #Conflicts: 1543000 | #Constraints: 26633
2921.64/2929.45 c #Conflicts: 1544000 | #Constraints: 27633
2921.64/2929.45 c #Conflicts: 1545000 | #Constraints: 28633
2921.64/2929.45 c #Conflicts: 1546000 | #Constraints: 29633
2921.64/2929.45 c #Conflicts: 1547000 | #Constraints: 30633
2921.64/2929.45 c #Conflicts: 1548000 | #Constraints: 31633
2921.64/2929.45 c #Conflicts: 1549000 | #Constraints: 32633
2921.64/2929.45 c #Conflicts: 1550000 | #Constraints: 33633
2921.64/2929.45 c #Conflicts: 1551000 | #Constraints: 34633
2921.64/2929.45 c #Conflicts: 1552000 | #Constraints: 35633
2921.64/2929.45 c #Conflicts: 1553000 | #Constraints: 36633
2921.64/2929.45 c #Conflicts: 1554000 | #Constraints: 37633
2921.64/2929.45 c #Conflicts: 1555000 | #Constraints: 38633
2921.64/2929.45 c #Conflicts: 1556000 | #Constraints: 39633
2921.64/2929.45 c #Conflicts: 1557000 | #Constraints: 40633
2921.64/2929.45 c #Conflicts: 1558000 | #Constraints: 41633
2921.64/2929.45 c #Conflicts: 1559000 | #Constraints: 42633
2921.64/2929.45 c #Conflicts: 1560000 | #Constraints: 43633
2921.64/2929.45 c #Conflicts: 1561000 | #Constraints: 44633
2921.64/2929.45 c #Conflicts: 1562000 | #Constraints: 45633
2921.64/2929.45 c #Conflicts: 1563000 | #Constraints: 46633
2921.64/2929.45 c #Conflicts: 1564000 | #Constraints: 47633
2921.64/2929.45 c #Conflicts: 1565000 | #Constraints: 48633
2921.64/2929.45 c #Conflicts: 1566000 | #Constraints: 49633
2921.64/2929.45 c INPROCESSING
2921.64/2929.45 c GARBAGE COLLECT
2921.64/2929.45 c #Conflicts: 1567000 | #Constraints: 25834
2921.64/2929.45 c #Conflicts: 1568000 | #Constraints: 26834
2921.64/2929.45 c #Conflicts: 1569000 | #Constraints: 27834
2921.64/2929.45 c #Conflicts: 1570000 | #Constraints: 28834
2921.64/2929.45 c #Conflicts: 1571000 | #Constraints: 29834
2921.64/2929.45 c #Conflicts: 1572000 | #Constraints: 30834
2921.64/2929.45 c #Conflicts: 1573000 | #Constraints: 31834
2921.64/2929.45 c #Conflicts: 1574000 | #Constraints: 32834
2921.64/2929.45 c #Conflicts: 1575000 | #Constraints: 33834
2921.64/2929.45 c #Conflicts: 1576000 | #Constraints: 34834
2921.64/2929.45 c #Conflicts: 1577000 | #Constraints: 35834
2921.64/2929.45 c #Conflicts: 1578000 | #Constraints: 36834
2921.64/2929.45 c #Conflicts: 1579000 | #Constraints: 37834
2921.64/2929.45 c #Conflicts: 1580000 | #Constraints: 38834
2921.64/2929.45 c #Conflicts: 1581000 | #Constraints: 39834
2921.64/2929.45 c #Conflicts: 1582000 | #Constraints: 40834
2921.64/2929.45 c #Conflicts: 1583000 | #Constraints: 41834
2921.64/2929.45 c #Conflicts: 1584000 | #Constraints: 42834
2921.64/2929.45 c #Conflicts: 1585000 | #Constraints: 43834
2921.64/2929.45 c #Conflicts: 1586000 | #Constraints: 44834
2921.64/2929.45 c #Conflicts: 1587000 | #Constraints: 45834
2921.64/2929.45 c #Conflicts: 1588000 | #Constraints: 46834
2921.64/2929.45 c #Conflicts: 1589000 | #Constraints: 47834
2921.64/2929.45 c #Conflicts: 1590000 | #Constraints: 48834
2921.64/2929.45 c #Conflicts: 1591000 | #Constraints: 49834
2921.64/2929.45 c INPROCESSING
2921.64/2929.45 c GARBAGE COLLECT
2921.64/2929.45 c #Conflicts: 1592000 | #Constraints: 25837
2921.64/2929.45 c #Conflicts: 1593000 | #Constraints: 26837
2921.64/2929.45 c #Conflicts: 1594000 | #Constraints: 27837
2921.64/2929.45 c #Conflicts: 1595000 | #Constraints: 28837
2921.64/2929.45 c #Conflicts: 1596000 | #Constraints: 29837
2921.64/2929.45 c #Conflicts: 1597000 | #Constraints: 30837
2921.64/2929.45 c #Conflicts: 1598000 | #Constraints: 31837
2921.64/2929.45 c #Conflicts: 1599000 | #Constraints: 32837
2921.64/2929.45 c #Conflicts: 1600000 | #Constraints: 33837
2921.64/2929.45 c #Conflicts: 1601000 | #Constraints: 34837
2921.64/2929.45 c #Conflicts: 1602000 | #Constraints: 35837
2921.64/2929.45 c #Conflicts: 1603000 | #Constraints: 36837
2921.64/2929.45 c #Conflicts: 1604000 | #Constraints: 37837
2921.64/2929.45 c #Conflicts: 1605000 | #Constraints: 38837
3191.54/3200.19 c #Conflicts: 1606000 | #Constraints: 39837
3191.54/3200.19 c #Conflicts: 1607000 | #Constraints: 40837
3191.54/3200.19 c #Conflicts: 1608000 | #Constraints: 41837
3191.54/3200.19 c #Conflicts: 1609000 | #Constraints: 42837
3191.54/3200.19 c #Conflicts: 1610000 | #Constraints: 43837
3191.54/3200.19 c #Conflicts: 1611000 | #Constraints: 44837
3191.54/3200.19 c #Conflicts: 1612000 | #Constraints: 45837
3191.54/3200.19 c #Conflicts: 1613000 | #Constraints: 46837
3191.54/3200.19 c #Conflicts: 1614000 | #Constraints: 47837
3191.54/3200.19 c #Conflicts: 1615000 | #Constraints: 48837
3191.54/3200.19 c #Conflicts: 1616000 | #Constraints: 49837
3191.54/3200.19 c INPROCESSING
3191.54/3200.19 c GARBAGE COLLECT
3191.54/3200.19 c #Conflicts: 1617000 | #Constraints: 25635
3191.54/3200.19 c #Conflicts: 1618000 | #Constraints: 26635
3191.54/3200.19 c #Conflicts: 1619000 | #Constraints: 27635
3191.54/3200.19 c #Conflicts: 1620000 | #Constraints: 28635
3191.54/3200.19 c #Conflicts: 1621000 | #Constraints: 29635
3191.54/3200.19 c #Conflicts: 1622000 | #Constraints: 30635
3191.54/3200.19 c #Conflicts: 1623000 | #Constraints: 31635
3191.54/3200.19 c #Conflicts: 1624000 | #Constraints: 32635
3191.54/3200.19 c #Conflicts: 1625000 | #Constraints: 33635
3191.54/3200.19 c #Conflicts: 1626000 | #Constraints: 34635
3191.54/3200.19 c #Conflicts: 1627000 | #Constraints: 35635
3191.54/3200.19 c #Conflicts: 1628000 | #Constraints: 36635
3191.54/3200.19 c #Conflicts: 1629000 | #Constraints: 37635
3191.54/3200.19 c #Conflicts: 1630000 | #Constraints: 38635
3191.54/3200.19 c #Conflicts: 1631000 | #Constraints: 39635
3191.54/3200.19 c #Conflicts: 1632000 | #Constraints: 40635
3191.54/3200.19 c #Conflicts: 1633000 | #Constraints: 41635
3191.54/3200.19 c #Conflicts: 1634000 | #Constraints: 42635
3191.54/3200.19 c #Conflicts: 1635000 | #Constraints: 43635
3191.54/3200.19 c #Conflicts: 1636000 | #Constraints: 44635
3191.54/3200.19 c #Conflicts: 1637000 | #Constraints: 45635
3191.54/3200.19 c #Conflicts: 1638000 | #Constraints: 46635
3191.54/3200.19 c #Conflicts: 1639000 | #Constraints: 47635
3191.54/3200.19 c #Conflicts: 1640000 | #Constraints: 48635
3191.54/3200.19 c #Conflicts: 1641000 | #Constraints: 49635
3191.54/3200.19 c #Conflicts: 1642000 | #Constraints: 50635
3191.54/3200.19 c INPROCESSING
3191.54/3200.19 c GARBAGE COLLECT
3191.54/3200.19 c #Conflicts: 1643000 | #Constraints: 26232
3191.54/3200.19 c #Conflicts: 1644000 | #Constraints: 27232
3191.54/3200.19 c #Conflicts: 1645000 | #Constraints: 28232
3191.54/3200.19 c #Conflicts: 1646000 | #Constraints: 29232
3191.54/3200.19 c #Conflicts: 1647000 | #Constraints: 30232
3191.54/3200.19 c #Conflicts: 1648000 | #Constraints: 31232
3191.54/3200.19 c #Conflicts: 1649000 | #Constraints: 32232
3191.54/3200.19 c #Conflicts: 1650000 | #Constraints: 33232
3191.54/3200.19 c #Conflicts: 1651000 | #Constraints: 34232
3191.54/3200.19 c #Conflicts: 1652000 | #Constraints: 35232
3191.54/3200.19 c #Conflicts: 1653000 | #Constraints: 36232
3191.54/3200.19 c #Conflicts: 1654000 | #Constraints: 37232
3191.54/3200.19 c #Conflicts: 1655000 | #Constraints: 38232
3191.54/3200.19 c #Conflicts: 1656000 | #Constraints: 39232
3191.54/3200.19 c #Conflicts: 1657000 | #Constraints: 40232
3191.54/3200.19 c #Conflicts: 1658000 | #Constraints: 41232
3191.54/3200.19 c #Conflicts: 1659000 | #Constraints: 42232
3191.54/3200.19 c #Conflicts: 1660000 | #Constraints: 43232
3191.54/3200.19 c #Conflicts: 1661000 | #Constraints: 44232
3191.54/3200.19 c #Conflicts: 1662000 | #Constraints: 45232
3191.54/3200.19 c #Conflicts: 1663000 | #Constraints: 46232
3191.54/3200.19 c #Conflicts: 1664000 | #Constraints: 47232
3191.54/3200.19 c #Conflicts: 1665000 | #Constraints: 48232
3191.54/3200.19 c #Conflicts: 1666000 | #Constraints: 49232
3191.54/3200.19 c #Conflicts: 1667000 | #Constraints: 50232
3191.54/3200.19 c #Conflicts: 1668000 | #Constraints: 51232
3191.54/3200.19 c INPROCESSING
3191.54/3200.19 c GARBAGE COLLECT
3191.54/3200.19 c #Conflicts: 1669000 | #Constraints: 26634
3191.54/3200.19 c #Conflicts: 1670000 | #Constraints: 27634
3191.54/3200.19 c #Conflicts: 1671000 | #Constraints: 28634
3191.54/3200.19 c #Conflicts: 1672000 | #Constraints: 29634
3191.54/3200.19 c #Conflicts: 1673000 | #Constraints: 30634
3191.54/3200.19 c #Conflicts: 1674000 | #Constraints: 31634
3191.54/3200.19 c #Conflicts: 1675000 | #Constraints: 32634
3191.54/3200.19 c #Conflicts: 1676000 | #Constraints: 33634
3191.54/3200.19 c #Conflicts: 1677000 | #Constraints: 34634
3191.54/3200.19 c #Conflicts: 1678000 | #Constraints: 35634
3191.54/3200.19 c #Conflicts: 1679000 | #Constraints: 36634
3191.54/3200.19 c #Conflicts: 1680000 | #Constraints: 37634
3191.54/3200.19 c #Conflicts: 1681000 | #Constraints: 38634
3191.54/3200.19 c #Conflicts: 1682000 | #Constraints: 39634
3465.32/3474.71 c #Conflicts: 1683000 | #Constraints: 40634
3465.32/3474.71 c #Conflicts: 1684000 | #Constraints: 41634
3465.32/3474.71 c #Conflicts: 1685000 | #Constraints: 42634
3465.32/3474.71 c #Conflicts: 1686000 | #Constraints: 43634
3465.32/3474.71 c #Conflicts: 1687000 | #Constraints: 44634
3465.32/3474.71 c #Conflicts: 1688000 | #Constraints: 45634
3465.32/3474.71 c #Conflicts: 1689000 | #Constraints: 46634
3465.32/3474.71 c #Conflicts: 1690000 | #Constraints: 47634
3465.32/3474.71 c #Conflicts: 1691000 | #Constraints: 48634
3465.32/3474.71 c #Conflicts: 1692000 | #Constraints: 49634
3465.32/3474.71 c #Conflicts: 1693000 | #Constraints: 50634
3465.32/3474.71 c #Conflicts: 1694000 | #Constraints: 51634
3465.32/3474.71 c INPROCESSING
3465.32/3474.71 c GARBAGE COLLECT
3465.32/3474.71 c #Conflicts: 1695000 | #Constraints: 26834
3465.32/3474.71 c #Conflicts: 1696000 | #Constraints: 27834
3465.32/3474.71 c #Conflicts: 1697000 | #Constraints: 28834
3465.32/3474.71 c #Conflicts: 1698000 | #Constraints: 29834
3465.32/3474.71 c #Conflicts: 1699000 | #Constraints: 30834
3465.32/3474.71 c #Conflicts: 1700000 | #Constraints: 31834
3465.32/3474.71 c #Conflicts: 1701000 | #Constraints: 32834
3465.32/3474.71 c #Conflicts: 1702000 | #Constraints: 33834
3465.32/3474.71 c #Conflicts: 1703000 | #Constraints: 34834
3465.32/3474.71 c #Conflicts: 1704000 | #Constraints: 35834
3465.32/3474.71 c #Conflicts: 1705000 | #Constraints: 36834
3465.32/3474.71 c #Conflicts: 1706000 | #Constraints: 37834
3465.32/3474.71 c #Conflicts: 1707000 | #Constraints: 38834
3465.32/3474.71 c #Conflicts: 1708000 | #Constraints: 39834
3465.32/3474.71 c #Conflicts: 1709000 | #Constraints: 40834
3465.32/3474.71 c #Conflicts: 1710000 | #Constraints: 41834
3465.32/3474.71 c #Conflicts: 1711000 | #Constraints: 42834
3465.32/3474.71 c #Conflicts: 1712000 | #Constraints: 43834
3465.32/3474.71 c #Conflicts: 1713000 | #Constraints: 44834
3465.32/3474.71 c #Conflicts: 1714000 | #Constraints: 45834
3465.32/3474.71 c #Conflicts: 1715000 | #Constraints: 46834
3465.32/3474.71 c #Conflicts: 1716000 | #Constraints: 47834
3465.32/3474.71 c #Conflicts: 1717000 | #Constraints: 48834
3465.32/3474.71 c #Conflicts: 1718000 | #Constraints: 49834
3465.32/3474.71 c #Conflicts: 1719000 | #Constraints: 50834
3465.32/3474.71 c #Conflicts: 1720000 | #Constraints: 51834
3465.32/3474.71 c INPROCESSING
3465.32/3474.71 c GARBAGE COLLECT
3465.32/3474.71 c #Conflicts: 1721000 | #Constraints: 26833
3465.32/3474.71 c #Conflicts: 1722000 | #Constraints: 27833
3465.32/3474.71 c #Conflicts: 1723000 | #Constraints: 28833
3465.32/3474.71 c #Conflicts: 1724000 | #Constraints: 29833
3465.32/3474.71 c #Conflicts: 1725000 | #Constraints: 30833
3465.32/3474.71 c #Conflicts: 1726000 | #Constraints: 31833
3465.32/3474.71 c #Conflicts: 1727000 | #Constraints: 32833
3465.32/3474.71 c #Conflicts: 1728000 | #Constraints: 33833
3465.32/3474.71 c #Conflicts: 1729000 | #Constraints: 34833
3465.32/3474.71 c #Conflicts: 1730000 | #Constraints: 35833
3465.32/3474.71 c #Conflicts: 1731000 | #Constraints: 36833
3465.32/3474.71 c #Conflicts: 1732000 | #Constraints: 37833
3465.32/3474.71 c #Conflicts: 1733000 | #Constraints: 38833
3465.32/3474.71 c #Conflicts: 1734000 | #Constraints: 39833
3465.32/3474.71 c #Conflicts: 1735000 | #Constraints: 40833
3465.32/3474.71 c #Conflicts: 1736000 | #Constraints: 41833
3465.32/3474.71 c #Conflicts: 1737000 | #Constraints: 42833
3465.32/3474.71 c #Conflicts: 1738000 | #Constraints: 43833
3465.32/3474.71 c #Conflicts: 1739000 | #Constraints: 44833
3465.32/3474.71 c #Conflicts: 1740000 | #Constraints: 45833
3465.32/3474.71 c #Conflicts: 1741000 | #Constraints: 46833
3465.32/3474.71 c #Conflicts: 1742000 | #Constraints: 47833
3465.32/3474.71 c #Conflicts: 1743000 | #Constraints: 48833
3465.32/3474.71 c #Conflicts: 1744000 | #Constraints: 49833
3465.32/3474.71 c #Conflicts: 1745000 | #Constraints: 50833
3465.32/3474.71 c #Conflicts: 1746000 | #Constraints: 51833
3465.32/3474.71 c INPROCESSING
3465.32/3474.71 c GARBAGE COLLECT
3465.32/3474.71 c #Conflicts: 1747000 | #Constraints: 26632
3465.32/3474.71 c #Conflicts: 1748000 | #Constraints: 27632
3465.32/3474.71 c #Conflicts: 1749000 | #Constraints: 28632
3465.32/3474.71 c #Conflicts: 1750000 | #Constraints: 29632
3465.32/3474.71 c #Conflicts: 1751000 | #Constraints: 30632
3465.32/3474.71 c #Conflicts: 1752000 | #Constraints: 31632
3465.32/3474.71 c #Conflicts: 1753000 | #Constraints: 32632
3465.32/3474.71 c #Conflicts: 1754000 | #Constraints: 33632
3465.32/3474.71 c #Conflicts: 1755000 | #Constraints: 34632
3465.32/3474.71 c #Conflicts: 1756000 | #Constraints: 35632
3465.32/3474.71 c #Conflicts: 1757000 | #Constraints: 36632
3465.32/3474.71 c #Conflicts: 1758000 | #Constraints: 37632
3465.32/3474.71 c #Conflicts: 1759000 | #Constraints: 38632
3600.02/3609.80 c #Conflicts: 1760000 | #Constraints: 39632
3600.02/3609.80 c #Conflicts: 1761000 | #Constraints: 40632
3600.02/3609.80 c #Conflicts: 1762000 | #Constraints: 41632
3600.02/3609.80 c #Conflicts: 1763000 | #Constraints: 42632
3600.02/3609.80 c #Conflicts: 1764000 | #Constraints: 43632
3600.02/3609.80 c #Conflicts: 1765000 | #Constraints: 44632
3600.02/3609.80 c #Conflicts: 1766000 | #Constraints: 45632
3600.02/3609.80 c #Conflicts: 1767000 | #Constraints: 46632
3600.02/3609.80 c #Conflicts: 1768000 | #Constraints: 47632
3600.02/3609.80 c #Conflicts: 1769000 | #Constraints: 48632
3600.02/3609.80 c #Conflicts: 1770000 | #Constraints: 49632
3600.02/3609.80 c #Conflicts: 1771000 | #Constraints: 50632
3600.02/3609.80 c #Conflicts: 1772000 | #Constraints: 51632
3600.02/3609.80 c #Conflicts: 1773000 | #Constraints: 52632
3600.02/3609.80 c INPROCESSING
3600.02/3609.80 c GARBAGE COLLECT
3600.02/3609.80 c #Conflicts: 1774000 | #Constraints: 27231
3600.02/3609.80 c #Conflicts: 1775000 | #Constraints: 28231
3600.02/3609.80 c #Conflicts: 1776000 | #Constraints: 29231
3600.02/3609.80 c #Conflicts: 1777000 | #Constraints: 30231
3600.02/3609.80 c #Conflicts: 1778000 | #Constraints: 31231
3600.02/3609.80 c #Conflicts: 1779000 | #Constraints: 32231
3600.02/3609.80 c #Conflicts: 1780000 | #Constraints: 33231
3600.02/3609.80 c #Conflicts: 1781000 | #Constraints: 34231
3600.02/3609.80 c #Conflicts: 1782000 | #Constraints: 35231
3600.02/3609.80 c #Conflicts: 1783000 | #Constraints: 36231
3600.02/3609.80 c #Conflicts: 1784000 | #Constraints: 37231
3600.02/3609.80 c #Conflicts: 1785000 | #Constraints: 38231
3600.02/3609.80 c #Conflicts: 1786000 | #Constraints: 39231
3600.02/3609.80 c #Conflicts: 1787000 | #Constraints: 40231
3600.02/3609.80 c #Conflicts: 1788000 | #Constraints: 41231
3600.02/3609.80 c #Conflicts: 1789000 | #Constraints: 42231
3600.02/3609.80 c #Conflicts: 1790000 | #Constraints: 43231
3600.02/3609.80 c #Conflicts: 1791000 | #Constraints: 44231
3600.02/3609.80 c #Conflicts: 1792000 | #Constraints: 45231
3600.02/3609.80 c #Conflicts: 1793000 | #Constraints: 46231
3600.02/3609.80 c #Conflicts: 1794000 | #Constraints: 47231
3600.02/3609.80 c #Conflicts: 1795000 | #Constraints: 48231
3600.02/3609.80 c #Conflicts: 1796000 | #Constraints: 49231
3600.02/3609.80 c #Conflicts: 1797000 | #Constraints: 50231
3600.02/3609.80 c #Conflicts: 1798000 | #Constraints: 51231
3600.02/3609.80 c Program interrupted by user.
3600.02/3609.80 c cpu time 3592.55 s
3600.02/3609.80 c deterministic time 611344018426 6.11e+11
3600.02/3609.80 c optimization time 80.2119 s
3600.02/3609.80 c total solve time 3512.34 s
3600.02/3609.80 c core-guided solve time 3512.34 s
3600.02/3609.80 c propagation time 3434.26 s
3600.02/3609.80 c conflict analysis time 143.085 s
3600.02/3609.80 c propagations 21606641
3600.02/3609.80 c resolve steps 8249862
3600.02/3609.80 c decisions 3476133
3600.02/3609.80 c conflicts 1798130
3600.02/3609.80 c restarts 3497
3600.02/3609.80 c inprocessing phases 124
3600.02/3609.80 c input clauses 0
3600.02/3609.80 c input cardinalities 0
3600.02/3609.80 c input general constraints 18
3600.02/3609.80 c input average constraint length 82.89
3600.02/3609.80 c input average constraint degree 2037.89
3600.02/3609.80 c learned clauses 934659
3600.02/3609.80 c learned cardinalities 0
3600.02/3609.80 c learned general constraints 863470
3600.02/3609.80 c learned average constraint length 78.11
3600.02/3609.80 c learned average constraint degree 476024.40
3600.02/3609.80 c watched constraints 857926
3600.02/3609.80 c counting constraints 5562
3600.02/3609.80 c gcd simplifications 828363
3600.02/3609.80 c detected cardinalities 0
3600.02/3609.80 c weakened non-implied lits 29888475
3600.02/3609.80 c weakened non-implying lits 2608074
3600.02/3609.80 c original variables 172
3600.02/3609.80 c clausal propagations 353936
3600.02/3609.80 c cardinality propagations 0
3600.02/3609.80 c watched propagations 15154528
3600.02/3609.80 c counting propagations 4700083
3600.02/3609.80 c watch lookups 29760729122
3600.02/3609.80 c watch backjump lookups 14138577816
3600.02/3609.80 c watch checks 460489824923
3600.02/3609.80 c propagation checks 106089227056
3600.02/3609.80 c constraint additions 813695974
3600.02/3609.80 c trail pops 26880760
3600.02/3609.80 c formula constraints 14
3600.02/3609.80 c learned constraints 1798129
3600.02/3609.80 c bound constraints 4
3600.02/3609.80 c core-guided constraints 0
3600.02/3609.80 c encountered formula constraints 2791198
3600.02/3609.80 c encountered learned constraints 7256794
3600.02/3609.80 c encountered bound constraints 0
3600.02/3609.80 c encountered core-guided constraints 0
3600.02/3609.80 c LP total time 0 s
3600.02/3609.80 c LP solve time 0 s
3600.02/3609.80 c LP constraints added 0
3600.02/3609.80 c LP constraints removed 0
3600.02/3609.80 c LP pivots internal 0
3600.02/3609.80 c LP pivots root 0
3600.02/3609.80 c LP calls 0
3600.02/3609.80 c LP optimalities 0
3600.02/3609.80 c LP no pivot count 0
3600.02/3609.80 c LP infeasibilities 0
3600.02/3609.80 c LP valid Farkas constraints 0
3600.02/3609.80 c LP learned Farkas constraints 0
3600.02/3609.80 c LP basis resets 0
3600.02/3609.80 c LP cycling count 0
3600.02/3609.80 c LP singular count 0
3600.02/3609.80 c LP no primal count 0
3600.02/3609.80 c LP no farkas count 0
3600.02/3609.80 c LP other issue count 0
3600.02/3609.80 c LP Gomory cuts 0
3600.02/3609.80 c LP learned cuts 0
3600.02/3609.80 c LP deleted cuts 0
3600.02/3609.80 c LP encountered Gomory constraints 0
3600.02/3609.80 c LP encountered Farkas constraints 0
3600.02/3609.80 c LP encountered learned Farkas constraints 0
3600.02/3609.80 c CG auxiliary variables introduced 0
3600.02/3609.80 c CG solutions found 4
3600.02/3609.80 c CG cores constructed 0
3600.02/3609.80 c CG core cardinality constraints returned 0
3600.02/3609.80 c CG unit cores 0
3600.02/3609.80 c CG single cores 0
3600.02/3609.80 c CG blocks removed during cardinality reduction 0
3600.02/3609.80 c CG first core best 0
3600.02/3609.80 c CG decision core best 0
3600.02/3609.80 c CG core reduction tie 0
3600.02/3609.80 c CG core degree average 0.00
3600.02/3609.80 c CG core slack average 0.00
3600.02/3609.80 c CG exhausted 0
3600.02/3609.80 c CG exhaust time 0 s
3600.02/3609.80 c CG trimmed 0
3600.02/3609.80 c CG trim time 0 s
3600.02/3609.80 c CG minimized 0
3600.02/3609.80 c CG minimize time 0 s
3600.02/3609.80 c CG am1 prop time 0.00023 s
3600.02/3609.80 c CG # am1s reformulated 0
3600.02/3609.80 c CG lower bound derived from am1s 0
3600.02/3609.80 c CG # clausal cores 0
3600.02/3609.80 c CG # cardinality cores 0
3600.02/3609.80 c CG # pb cores 0
3600.02/3609.80 c CG # pb reforms 0
3600.02/3609.80 c CG # cores discarded because of pb reform 0
3600.02/3609.80 d LOWERBOUND 0
3600.02/3609.80 d NCORES 0
3600.02/3609.80 d NPBCORES 0
3600.02/3609.80 d NPBREFORM 0
3600.02/3609.80 d NTRIMMED 0
3600.02/3609.80 d NEXHAUSTED 0
3600.02/3609.80 d NAM1S 0
3600.02/3609.80 d AM1LB 0
3600.02/3609.80 o 50
3600.02/3609.80 s SATISFIABLE
3600.02/3609.80 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
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: 63708 MiB (62894 MiB free)
memory of node 1: 64465 MiB (63868 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490698-1751368262/watcher-4490698-1751368262 -o /tmp/evaluation-result-4490698-1751368262/solver-4490698-1751368262 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751363225-49199 --watchdog 3760 pb-oll-rs HOME/instance-4490698-1751368262.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=49747, runsolver pid=49744
[startup+0.100064 s]*
/proc/loadavg: 4.11 4.10 4.09 5/263 49748
/proc/meminfo: memFree=129804336/131250000 swapFree=33010684/33010684
[pid=49747] ppid=49744 vsize=20352 memory=6784 CPUtime=0.09 cores=4,6
/proc/49747/stat : 49747 (pb-oll-rs) R 49744 49747 49188 0 -1 4194304 552 0 0 0 9 0 0 0 20 0 1 0 52448689 20840448 1696 18446744073709551615 4218880 5211445 140726319664128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23781376 140726319667612 140726319667689 140726319667689 140726319673291 0
/proc/49747/statm: 5088 1696 1344 243 0 1337 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20352 KiB
Current children cumulated memory: 6784 KiB
[startup+0.205514 s]*
/proc/loadavg: 4.11 4.10 4.09 5/263 49748
/proc/meminfo: memFree=129803328/131250000 swapFree=33010684/33010684
[pid=49747] ppid=49744 vsize=20616 memory=9476 CPUtime=0.2 cores=4,6
/proc/49747/stat : 49747 (pb-oll-rs) R 49744 49747 49188 0 -1 4194304 722 0 0 0 19 1 0 0 20 0 1 0 52448689 21110784 2369 18446744073709551615 4218880 5211445 140726319664128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23781376 140726319667612 140726319667689 140726319667689 140726319673291 0
/proc/49747/statm: 5154 2369 1344 243 0 1403 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 20616 KiB
Current children cumulated memory: 9476 KiB
[startup+0.305428 s]*
/proc/loadavg: 4.11 4.10 4.09 5/263 49748
/proc/meminfo: memFree=129803328/131250000 swapFree=33010684/33010684
[pid=49747] ppid=49744 vsize=20616 memory=9604 CPUtime=0.29 cores=4,6
/proc/49747/stat : 49747 (pb-oll-rs) R 49744 49747 49188 0 -1 4194304 737 0 0 0 28 1 0 0 20 0 1 0 52448689 21110784 2401 18446744073709551615 4218880 5211445 140726319664128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23781376 140726319667612 140726319667689 140726319667689 140726319673291 0
/proc/49747/statm: 5154 2401 1344 243 0 1403 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 20616 KiB
Current children cumulated memory: 9604 KiB
[startup+0.700144 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 49748
/proc/meminfo: memFree=129803328/131250000 swapFree=33010684/33010684
[pid=49747] ppid=49744 vsize=21020 memory=9988 CPUtime=0.68 cores=4,6
/proc/49747/stat : 49747 (pb-oll-rs) R 49744 49747 49188 0 -1 4194304 835 0 0 0 66 2 0 0 20 0 1 0 52448689 21524480 2497 18446744073709551615 4218880 5211445 140726319664128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23781376 140726319667612 140726319667689 140726319667689 140726319673291 0
/proc/49747/statm: 5255 2497 1344 243 0 1504 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 21020 KiB
Current children cumulated memory: 9988 KiB
[startup+1.50018 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 49748
/proc/meminfo: memFree=129803328/131250000 swapFree=33010684/33010684
[pid=49747] ppid=49744 vsize=21392 memory=10372 CPUtime=1.48 cores=4,6
/proc/49747/stat : 49747 (pb-oll-rs) R 49744 49747 49188 0 -1 4194304 927 0 0 0 144 4 0 0 20 0 1 0 52448689 21905408 2593 18446744073709551615 4218880 5211445 140726319664128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23781376 140726319667612 140726319667689 140726319667689 140726319673291 0
/proc/49747/statm: 5348 2593 1344 243 0 1597 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 21392 KiB
Current children cumulated memory: 10372 KiB
[startup+3.10527 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 49748
/proc/meminfo: memFree=129801584/131250000 swapFree=33010684/33010684
[pid=49747] ppid=49744 vsize=22212 memory=11012 CPUtime=3.08 cores=4,6
/proc/49747/stat : 49747 (pb-oll-rs) R 49744 49747 49188 0 -1 4194304 1098 0 0 0 302 6 0 0 20 0 1 0 52448689 22745088 2753 18446744073709551615 4218880 5211445 140726319664128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23781376 140726319667612 140726319667689 140726319667689 140726319673291 0
/proc/49747/statm: 5553 2753 1344 243 0 1802 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 22212 KiB
Current children cumulated memory: 11012 KiB
[startup+6.30017 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 49748
/proc/meminfo: memFree=129801836/131250000 swapFree=33010684/33010684
[pid=49747] ppid=49744 vsize=22684 memory=11652 CPUtime=6.27 cores=4,6
/proc/49747/stat : 49747 (pb-oll-rs) R 49744 49747 49188 0 -1 4194304 1255 0 0 0 616 11 0 0 20 0 1 0 52448689 23228416 2913 18446744073709551615 4218880 5211445 140726319664128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23781376 140726319667612 140726319667689 140726319667689 140726319673291 0
/proc/49747/statm: 5671 2913 1344 243 0 1920 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 22684 KiB
Current children cumulated memory: 11652 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 49748
/proc/meminfo: memFree=129800828/131250000 swapFree=33010684/33010684
[pid=49747] ppid=49744 vsize=23564 memory=13188 CPUtime=12.65 cores=4,6
/proc/49747/stat : 49747 (pb-oll-rs) R 49744 49747 49188 0 -1 4194304 1665 0 0 0 1248 17 0 0 20 0 1 0 52448689 24129536 3297 18446744073709551615 4218880 5211445 140726319664128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23781376 140726319667612 140726319667689 140726319667689 140726319673291 0
/proc/49747/statm: 5891 3297 1344 243 0 2140 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 23564 KiB
Current children cumulated memory: 13188 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 49749
/proc/meminfo: memFree=129795504/131250000 swapFree=33010684/33010684
[pid=49747] ppid=49744 vsize=27308 memory=15364 CPUtime=25.42 cores=4,6
/proc/49747/stat : 49747 (pb-oll-rs) R 49744 49747 49188 0 -1 4194304 2237 0 0 0 2513 29 0 0 20 0 1 0 52448689 27963392 3841 18446744073709551615 4218880 5211445 140726319664128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23781376 140726319667612 140726319667689 140726319667689 140726319673291 0
/proc/49747/statm: 6827 3841 1344 243 0 3076 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 27308 KiB
Current children cumulated memory: 15364 KiB
[startup+51.1053 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 49749
/proc/meminfo: memFree=129795260/131250000 swapFree=33010684/33010684
[pid=49747] ppid=49744 vsize=28124 memory=17796 CPUtime=50.95 cores=4,6
/proc/49747/stat : 49747 (pb-oll-rs) R 49744 49747 49188 0 -1 4194304 2946 0 0 0 5046 49 0 0 20 0 1 0 52448689 28798976 4449 18446744073709551615 4218880 5211445 140726319664128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23781376 140726319667612 140726319667689 140726319667689 140726319673291 0
/proc/49747/statm: 7031 4449 1344 243 0 3280 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 28124 KiB
Current children cumulated memory: 17796 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/264 49752
/proc/meminfo: memFree=129795256/131250000 swapFree=33010684/33010684
[pid=49747] ppid=49744 vsize=34976 memory=22376 CPUtime=102.02 cores=4,6
/proc/49747/stat : 49747 (pb-oll-rs) R 49744 49747 49188 0 -1 4194304 3654 0 0 0 10119 83 0 0 20 0 1 0 52448689 35815424 5594 18446744073709551615 4218880 5211445 140726319664128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23781376 140726319667612 140726319667689 140726319667689 140726319673291 0
/proc/49747/statm: 8744 5594 1344 243 0 4993 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 34976 KiB
Current children cumulated memory: 22376 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 49754
/proc/meminfo: memFree=129782064/131250000 swapFree=33010684/33010684
[pid=49747] ppid=49744 vsize=36596 memory=25064 CPUtime=161.87 cores=4,6
/proc/49747/stat : 49747 (pb-oll-rs) R 49744 49747 49188 0 -1 4194304 4330 0 0 0 16075 112 0 0 20 0 1 0 52448689 37474304 6266 18446744073709551615 4218880 5211445 140726319664128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23781376 140726319667612 140726319667689 140726319667689 140726319673291 0
/proc/49747/statm: 9149 6266 1344 243 0 5398 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 36596 KiB
Current children cumulated memory: 25064 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 49756
/proc/meminfo: memFree=129782012/131250000 swapFree=33010684/33010684
[pid=49747] ppid=49744 vsize=44488 memory=29188 CPUtime=221.71 cores=4,6
/proc/49747/stat : 49747 (pb-oll-rs) R 49744 49747 49188 0 -1 4194304 5008 0 0 0 22036 135 0 0 20 0 1 0 52448689 45555712 7297 18446744073709551615 4218880 5211445 140726319664128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23781376 140726319667612 140726319667689 140726319667689 140726319673291 0
/proc/49747/statm: 11122 7297 1344 243 0 7371 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 44488 KiB
Current children cumulated memory: 29188 KiB
[startup+282.3 s]
/proc/loadavg: 4.27 4.17 4.11 5/263 49758
/proc/meminfo: memFree=129787760/131250000 swapFree=33010684/33010684
[pid=49747] ppid=49744 vsize=45072 memory=29828 CPUtime=281.56 cores=4,6
/proc/49747/stat : 49747 (pb-oll-rs) R 49744 49747 49188 0 -1 4194304 5289 0 0 0 27997 159 0 0 20 0 1 0 52448689 46153728 7457 18446744073709551615 4218880 5211445 140726319664128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23781376 140726319667612 140726319667689 140726319667689 140726319673291 0
/proc/49747/statm: 11268 7457 1344 243 0 7517 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 45072 KiB
Current children cumulated memory: 29828 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/264 49761
/proc/meminfo: memFree=129779752/131250000 swapFree=33010684/33010684
[pid=49747] ppid=49744 vsize=45076 memory=29956 CPUtime=341.41 cores=4,6
/proc/49747/stat : 49747 (pb-oll-rs) R 49744 49747 49188 0 -1 4194304 5393 0 0 0 33966 175 0 0 20 0 1 0 52448689 46157824 7489 18446744073709551615 4218880 5211445 140726319664128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23781376 140726319667612 140726319667689 140726319667689 140726319673291 0
/proc/49747/statm: 11269 7489 1344 243 0 7518 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 45076 KiB
Current children cumulated memory: 29956 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/263 49763
/proc/meminfo: memFree=129780396/131250000 swapFree=33010684/33010684
[pid=49747] ppid=49744 vsize=45912 memory=32740 CPUtime=401.25 cores=4,6
/proc/49747/stat : 49747 (pb-oll-rs) R 49744 49747 49188 0 -1 4194304 5669 0 0 0 39934 191 0 0 20 0 1 0 52448689 47013888 8185 18446744073709551615 4218880 5211445 140726319664128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23781376 140726319667612 140726319667689 140726319667689 140726319673291 0
/proc/49747/statm: 11478 8185 1344 243 0 7727 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 45912 KiB
Current children cumulated memory: 32740 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 4.12 4.09 5/264 49768
/proc/meminfo: memFree=129779232/131250000 swapFree=33010684/33010684
[pid=49747] ppid=49744 vsize=48852 memory=34532 CPUtime=461.1 cores=4,6
/proc/49747/stat : 49747 (pb-oll-rs) R 49744 49747 49188 0 -1 4194304 6212 0 0 0 45903 207 0 0 20 0 1 0 52448689 50024448 8633 18446744073709551615 4218880 5211445 140726319664128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23781376 140726319667612 140726319667689 140726319667689 140726319673291 0
/proc/49747/statm: 12213 8633 1344 243 0 8462 0
Current children cumulated CPU time: 461.1 s
################
# More data... #
################
Current children cumulated memory: 54024 KiB
[startup+2862.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 50062
/proc/meminfo: memFree=129769900/131250000 swapFree=33010684/33010684
[pid=49747] ppid=49744 vsize=67264 memory=54024 CPUtime=2854.74 cores=4,6
/proc/49747/stat : 49747 (pb-oll-rs) R 49744 49747 49188 0 -1 4194304 9318 0 0 0 284826 648 0 0 20 0 1 0 52448689 68878336 13506 18446744073709551615 4218880 5211445 140726319664128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23781376 140726319667612 140726319667689 140726319667689 140726319673291 0
/proc/49747/statm: 16816 13506 1344 243 0 13065 0
Current children cumulated CPU time: 2854.74 s
Current children cumulated vsize: 67264 KiB
Current children cumulated memory: 54024 KiB
[startup+2922.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 50069
/proc/meminfo: memFree=129761352/131250000 swapFree=33010684/33010684
[pid=49747] ppid=49744 vsize=67680 memory=54408 CPUtime=2914.57 cores=4,6
/proc/49747/stat : 49747 (pb-oll-rs) R 49744 49747 49188 0 -1 4194304 9422 0 0 0 290801 656 0 0 20 0 1 0 52448689 69304320 13602 18446744073709551615 4218880 5211445 140726319664128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23781376 140726319667612 140726319667689 140726319667689 140726319673291 0
/proc/49747/statm: 16920 13602 1344 243 0 13169 0
Current children cumulated CPU time: 2914.57 s
Current children cumulated vsize: 67680 KiB
Current children cumulated memory: 54408 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 50071
/proc/meminfo: memFree=129752736/131250000 swapFree=33010684/33010684
[pid=49747] ppid=49744 vsize=68192 memory=54920 CPUtime=2974.38 cores=4,6
/proc/49747/stat : 49747 (pb-oll-rs) R 49744 49747 49188 0 -1 4194304 9546 0 0 0 296777 661 0 0 20 0 1 0 52448689 69828608 13730 18446744073709551615 4218880 5211445 140726319664128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23781376 140726319667612 140726319667689 140726319667689 140726319673291 0
/proc/49747/statm: 17048 13730 1344 243 0 13297 0
Current children cumulated CPU time: 2974.38 s
Current children cumulated vsize: 68192 KiB
Current children cumulated memory: 54920 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 50084
/proc/meminfo: memFree=129749348/131250000 swapFree=33010684/33010684
[pid=49747] ppid=49744 vsize=68192 memory=54920 CPUtime=3034.21 cores=4,6
/proc/49747/stat : 49747 (pb-oll-rs) R 49744 49747 49188 0 -1 4194304 9546 0 0 0 302752 669 0 0 20 0 1 0 52448689 69828608 13730 18446744073709551615 4218880 5211445 140726319664128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23781376 140726319667612 140726319667689 140726319667689 140726319673291 0
/proc/49747/statm: 17048 13730 1344 243 0 13297 0
Current children cumulated CPU time: 3034.21 s
Current children cumulated vsize: 68192 KiB
Current children cumulated memory: 54920 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 50086
/proc/meminfo: memFree=129745244/131250000 swapFree=33010684/33010684
[pid=49747] ppid=49744 vsize=69240 memory=55604 CPUtime=3094.03 cores=4,6
/proc/49747/stat : 49747 (pb-oll-rs) R 49744 49747 49188 0 -1 4194304 9851 0 0 0 308727 676 0 0 20 0 1 0 52448689 70901760 13901 18446744073709551615 4218880 5211445 140726319664128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23781376 140726319667612 140726319667689 140726319667689 140726319673291 0
/proc/49747/statm: 17310 13901 1344 243 0 13559 0
Current children cumulated CPU time: 3094.03 s
Current children cumulated vsize: 69240 KiB
Current children cumulated memory: 55604 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/263 50088
/proc/meminfo: memFree=129743800/131250000 swapFree=33010684/33010684
[pid=49747] ppid=49744 vsize=69496 memory=55872 CPUtime=3153.85 cores=4,6
/proc/49747/stat : 49747 (pb-oll-rs) R 49744 49747 49188 0 -1 4194304 10027 0 0 0 314701 684 0 0 20 0 1 0 52448689 71163904 13968 18446744073709551615 4218880 5211445 140726319664128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23781376 140726319667612 140726319667689 140726319667689 140726319673291 0
/proc/49747/statm: 17374 13968 1344 243 0 13623 0
Current children cumulated CPU time: 3153.85 s
Current children cumulated vsize: 69496 KiB
Current children cumulated memory: 55872 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/262 50090
/proc/meminfo: memFree=129739940/131250000 swapFree=33010684/33010684
[pid=49747] ppid=49744 vsize=69496 memory=55872 CPUtime=3213.67 cores=4,6
/proc/49747/stat : 49747 (pb-oll-rs) R 49744 49747 49188 0 -1 4194304 10038 0 0 0 320676 691 0 0 20 0 1 0 52448689 71163904 13968 18446744073709551615 4218880 5211445 140726319664128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23781376 140726319667612 140726319667689 140726319667689 140726319673291 0
/proc/49747/statm: 17374 13968 1344 243 0 13623 0
Current children cumulated CPU time: 3213.67 s
Current children cumulated vsize: 69496 KiB
Current children cumulated memory: 55872 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 50093
/proc/meminfo: memFree=129724560/131250000 swapFree=33010684/33010684
[pid=49747] ppid=49744 vsize=70240 memory=56256 CPUtime=3273.49 cores=4,6
/proc/49747/stat : 49747 (pb-oll-rs) R 49744 49747 49188 0 -1 4194304 10163 0 0 0 326650 699 0 0 20 0 1 0 52448689 71925760 14064 18446744073709551615 4218880 5211445 140726319664128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23781376 140726319667612 140726319667689 140726319667689 140726319673291 0
/proc/49747/statm: 17560 14064 1344 243 0 13809 0
Current children cumulated CPU time: 3273.49 s
Current children cumulated vsize: 70240 KiB
Current children cumulated memory: 56256 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 50095
/proc/meminfo: memFree=129720656/131250000 swapFree=33010684/33010684
[pid=49747] ppid=49744 vsize=70240 memory=56384 CPUtime=3333.31 cores=4,6
/proc/49747/stat : 49747 (pb-oll-rs) R 49744 49747 49188 0 -1 4194304 10188 0 0 0 332623 708 0 0 20 0 1 0 52448689 71925760 14096 18446744073709551615 4218880 5211445 140726319664128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23781376 140726319667612 140726319667689 140726319667689 140726319673291 0
/proc/49747/statm: 17560 14096 1344 243 0 13809 0
Current children cumulated CPU time: 3333.31 s
Current children cumulated vsize: 70240 KiB
Current children cumulated memory: 56384 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/263 50097
/proc/meminfo: memFree=129720440/131250000 swapFree=33010684/33010684
[pid=49747] ppid=49744 vsize=70240 memory=56384 CPUtime=3393.14 cores=4,6
/proc/49747/stat : 49747 (pb-oll-rs) R 49744 49747 49188 0 -1 4194304 10190 0 0 0 338597 717 0 0 20 0 1 0 52448689 71925760 14096 18446744073709551615 4218880 5211445 140726319664128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23781376 140726319667612 140726319667689 140726319667689 140726319673291 0
/proc/49747/statm: 17560 14096 1344 243 0 13809 0
Current children cumulated CPU time: 3393.14 s
Current children cumulated vsize: 70240 KiB
Current children cumulated memory: 56384 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 50102
/proc/meminfo: memFree=129719884/131250000 swapFree=33010684/33010684
[pid=49747] ppid=49744 vsize=71616 memory=57280 CPUtime=3452.97 cores=4,6
/proc/49747/stat : 49747 (pb-oll-rs) R 49744 49747 49188 0 -1 4194304 10394 0 0 0 344571 726 0 0 20 0 1 0 52448689 73334784 14320 18446744073709551615 4218880 5211445 140726319664128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23781376 140726319667612 140726319667689 140726319667689 140726319673291 0
/proc/49747/statm: 17904 14320 1344 243 0 14153 0
Current children cumulated CPU time: 3452.97 s
Current children cumulated vsize: 71616 KiB
Current children cumulated memory: 57280 KiB
[startup+3522.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/264 50108
/proc/meminfo: memFree=129712536/131250000 swapFree=33010684/33010684
[pid=49747] ppid=49744 vsize=71616 memory=57280 CPUtime=3512.79 cores=4,6
/proc/49747/stat : 49747 (pb-oll-rs) R 49744 49747 49188 0 -1 4194304 10397 0 0 0 350544 735 0 0 20 0 1 0 52448689 73334784 14320 18446744073709551615 4218880 5211445 140726319664128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23781376 140726319667612 140726319667689 140726319667689 140726319673291 0
/proc/49747/statm: 17904 14320 1344 243 0 14153 0
Current children cumulated CPU time: 3512.79 s
Current children cumulated vsize: 71616 KiB
Current children cumulated memory: 57280 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 50111
/proc/meminfo: memFree=129712368/131250000 swapFree=33010684/33010684
[pid=49747] ppid=49744 vsize=71872 memory=57536 CPUtime=3572.61 cores=4,6
/proc/49747/stat : 49747 (pb-oll-rs) R 49744 49747 49188 0 -1 4194304 10461 0 0 0 356518 743 0 0 20 0 1 0 52448689 73596928 14384 18446744073709551615 4218880 5211445 140726319664128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23781376 140726319667612 140726319667689 140726319667689 140726319673291 0
/proc/49747/statm: 17968 14384 1344 243 0 14217 0
Current children cumulated CPU time: 3572.61 s
Current children cumulated vsize: 71872 KiB
Current children cumulated memory: 57536 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 50111
/proc/meminfo: memFree=129712216/131250000 swapFree=33010684/33010684
[pid=49747] ppid=49744 vsize=71872 memory=57536 CPUtime=3600.02 cores=4,6
/proc/49747/stat : 49747 (pb-oll-rs) R 49744 49747 49188 0 -1 4194304 10461 0 0 0 359255 747 0 0 20 0 1 0 52448689 73596928 14384 18446744073709551615 4218880 5211445 140726319664128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 23781376 140726319667612 140726319667689 140726319667689 140726319673291 0
/proc/49747/statm: 17968 14384 1344 243 0 14217 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 71872 KiB
Current children cumulated memory: 57536 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.8 s]
# the end of solver process 49747 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.56 s, system=7.47914 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.8
CPU time (s): 3600.03
CPU user time (s): 3592.56
CPU system time (s): 7.47914
CPU usage (%): 99.7294
Max. virtual memory (cumulated for all children) (KiB): 71872
Max. memory (cumulated for all children) (KiB): 57536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.56
system time used= 7.47914
maximum resident set size= 57920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10477
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= 101
involuntary context switches= 3068
# summary of solver processes directly reported to runsolver:
# pid: 49747
# total CPU time (s): 3600.03
# total CPU user time (s): 3592.56
# total CPU system time (s): 7.47914
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.77325 second user time and 15.6874 second system time
The end
Begin job on nodeC028 at 2025-07-01 13:11:02
IDJOB=4490698
IDBENCH=147611
IDSOLVER=3345
FILE ID=nodeC028/4490698-1751368262
RUNJOBID= nodeC028-1751363225-49199
SLURM_JOB_ID= 9598179
Free space on /tmp= 433056 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490698-1751368262/watcher-4490698-1751368262 -o /tmp/evaluation-result-4490698-1751368262/solver-4490698-1751368262 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751363225-49199 --watchdog 3760 pb-oll-rs HOME/instance-4490698-1751368262.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 39a6e806d7aaba09f767f3cbd6afa1ec
RANDOM SEED=299059909
nodeC028 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 : 3600.106
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 : 7000.16
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 : 3600.080
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 : 7000.16
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.242
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 : 7000.16
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 : 3700.000
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 : 7000.16
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 : 3517.157
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 : 7000.16
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 : 3600.082
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 : 7000.16
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 : 3600.076
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 : 7000.16
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 : 3601.385
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 : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129805092 kB
MemAvailable: 129679616 kB
Buffers: 3280 kB
Cached: 682028 kB
SwapCached: 0 kB
Active: 464140 kB
Inactive: 425236 kB
Active(anon): 222136 kB
Inactive(anon): 0 kB
Active(file): 242004 kB
Inactive(file): 425236 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1652 kB
Writeback: 0 kB
AnonPages: 203996 kB
Mapped: 107112 kB
Shmem: 18068 kB
KReclaimable: 93044 kB
Slab: 179408 kB
SReclaimable: 93044 kB
SUnreclaim: 86364 kB
KernelStack: 4272 kB
PageTables: 3440 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 551040 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3712 kB
HardwareCorrupted: 0 kB
AnonHugePages: 137216 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433048 MiB
End job on nodeC028 at 2025-07-01 14:11:12