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.00 c [STEP] solving
0.00/0.00 c #variables 172 #constraints 14
0.00/0.00 c SMALL=int, LARGE=long long
0.00/0.00 c bounds - >= 0 @ 0.000673
0.00/0.00 c stratification level: 64
0.00/0.01 c bounds 454 >= 0 @ 0.006371
0.00/0.01 c stratification level: 32
0.00/0.01 c bounds 274 >= 0 @ 0.009539
0.00/0.01 c stratification level: 16
0.09/0.16 c #Conflicts: 1000 | #Constraints: 1015
0.09/0.16 c bounds 116 >= 0 @ 0.145687
0.09/0.16 c stratification level: 8
18.95/19.00 c #Conflicts: 2000 | #Constraints: 2016
18.95/19.00 c INPROCESSING
18.95/19.00 c GARBAGE COLLECT
18.95/19.00 c #Conflicts: 3000 | #Constraints: 2018
18.95/19.00 c #Conflicts: 4000 | #Constraints: 3018
18.95/19.00 c INPROCESSING
18.95/19.00 c GARBAGE COLLECT
18.95/19.00 c #Conflicts: 5000 | #Constraints: 2425
18.95/19.00 c #Conflicts: 6000 | #Constraints: 3425
18.95/19.00 c INPROCESSING
18.95/19.00 c GARBAGE COLLECT
18.95/19.00 c #Conflicts: 7000 | #Constraints: 2427
18.95/19.00 c #Conflicts: 8000 | #Constraints: 3427
18.95/19.00 c #Conflicts: 9000 | #Constraints: 4427
18.95/19.00 c INPROCESSING
18.95/19.00 c GARBAGE COLLECT
18.95/19.00 c #Conflicts: 10000 | #Constraints: 3128
18.95/19.00 c #Conflicts: 11000 | #Constraints: 4128
18.95/19.00 c #Conflicts: 12000 | #Constraints: 5128
18.95/19.00 c INPROCESSING
18.95/19.00 c GARBAGE COLLECT
18.95/19.00 c #Conflicts: 13000 | #Constraints: 3575
18.95/19.00 c #Conflicts: 14000 | #Constraints: 4575
18.95/19.00 c #Conflicts: 15000 | #Constraints: 5575
18.95/19.00 c INPROCESSING
18.95/19.00 c GARBAGE COLLECT
18.95/19.00 c #Conflicts: 16000 | #Constraints: 3801
18.95/19.00 c #Conflicts: 17000 | #Constraints: 4801
18.95/19.00 c #Conflicts: 18000 | #Constraints: 5801
18.95/19.00 c INPROCESSING
18.95/19.00 c GARBAGE COLLECT
18.95/19.00 c #Conflicts: 19000 | #Constraints: 3816
18.95/19.00 c #Conflicts: 20000 | #Constraints: 4816
18.95/19.00 c #Conflicts: 21000 | #Constraints: 5816
18.95/19.00 c INPROCESSING
18.95/19.00 c GARBAGE COLLECT
18.95/19.00 c #Conflicts: 22000 | #Constraints: 3622
18.95/19.00 c #Conflicts: 23000 | #Constraints: 4622
18.95/19.00 c #Conflicts: 24000 | #Constraints: 5622
18.95/19.00 c #Conflicts: 25000 | #Constraints: 6622
18.95/19.00 c INPROCESSING
18.95/19.00 c GARBAGE COLLECT
18.95/19.00 c #Conflicts: 26000 | #Constraints: 4225
18.95/19.00 c #Conflicts: 27000 | #Constraints: 5225
18.95/19.00 c #Conflicts: 28000 | #Constraints: 6225
18.95/19.00 c #Conflicts: 29000 | #Constraints: 7225
18.95/19.00 c INPROCESSING
18.95/19.00 c GARBAGE COLLECT
18.95/19.00 c #Conflicts: 30000 | #Constraints: 4622
18.95/19.00 c #Conflicts: 31000 | #Constraints: 5622
18.95/19.00 c #Conflicts: 32000 | #Constraints: 6622
18.95/19.00 c #Conflicts: 33000 | #Constraints: 7622
18.95/19.00 c INPROCESSING
18.95/19.00 c GARBAGE COLLECT
18.95/19.00 c #Conflicts: 34000 | #Constraints: 4824
18.95/19.00 c #Conflicts: 35000 | #Constraints: 5824
18.95/19.00 c #Conflicts: 36000 | #Constraints: 6824
18.95/19.00 c #Conflicts: 37000 | #Constraints: 7824
18.95/19.00 c INPROCESSING
18.95/19.00 c GARBAGE COLLECT
18.95/19.00 c #Conflicts: 38000 | #Constraints: 4829
18.95/19.00 c #Conflicts: 39000 | #Constraints: 5829
18.95/19.00 c #Conflicts: 40000 | #Constraints: 6829
18.95/19.00 c #Conflicts: 41000 | #Constraints: 7829
18.95/19.00 c INPROCESSING
18.95/19.00 c GARBAGE COLLECT
18.95/19.00 c #Conflicts: 42000 | #Constraints: 4633
18.95/19.00 c #Conflicts: 43000 | #Constraints: 5633
18.95/19.00 c #Conflicts: 44000 | #Constraints: 6633
18.95/19.00 c #Conflicts: 45000 | #Constraints: 7633
18.95/19.00 c #Conflicts: 46000 | #Constraints: 8633
18.95/19.00 c INPROCESSING
18.95/19.00 c GARBAGE COLLECT
18.95/19.00 c #Conflicts: 47000 | #Constraints: 5227
18.95/19.00 c #Conflicts: 48000 | #Constraints: 6227
18.95/19.00 c #Conflicts: 49000 | #Constraints: 7227
18.95/19.00 c #Conflicts: 50000 | #Constraints: 8227
18.95/19.00 c #Conflicts: 51000 | #Constraints: 9227
18.95/19.00 c INPROCESSING
18.95/19.00 c GARBAGE COLLECT
18.95/19.00 c #Conflicts: 52000 | #Constraints: 5629
18.95/19.00 c #Conflicts: 53000 | #Constraints: 6629
18.95/19.00 c #Conflicts: 54000 | #Constraints: 7629
18.95/19.00 c #Conflicts: 55000 | #Constraints: 8629
18.95/19.00 c #Conflicts: 56000 | #Constraints: 9629
18.95/19.00 c INPROCESSING
18.95/19.00 c GARBAGE COLLECT
18.95/19.00 c #Conflicts: 57000 | #Constraints: 5828
18.95/19.00 c #Conflicts: 58000 | #Constraints: 6828
18.95/19.00 c #Conflicts: 59000 | #Constraints: 7828
18.95/19.00 c #Conflicts: 60000 | #Constraints: 8828
18.95/19.00 c #Conflicts: 61000 | #Constraints: 9828
18.95/19.00 c INPROCESSING
18.95/19.00 c GARBAGE COLLECT
18.95/19.00 c #Conflicts: 62000 | #Constraints: 5833
18.95/19.00 c #Conflicts: 63000 | #Constraints: 6833
18.95/19.00 c #Conflicts: 64000 | #Constraints: 7833
18.95/19.00 c #Conflicts: 65000 | #Constraints: 8833
18.95/19.00 c #Conflicts: 66000 | #Constraints: 9833
18.95/19.00 c INPROCESSING
18.95/19.00 c GARBAGE COLLECT
18.95/19.00 c #Conflicts: 67000 | #Constraints: 5632
18.95/19.00 c #Conflicts: 68000 | #Constraints: 6632
18.95/19.00 c #Conflicts: 69000 | #Constraints: 7632
51.77/51.97 c #Conflicts: 70000 | #Constraints: 8632
51.77/51.97 c #Conflicts: 71000 | #Constraints: 9632
51.77/51.97 c #Conflicts: 72000 | #Constraints: 10632
51.77/51.97 c INPROCESSING
51.77/51.97 c GARBAGE COLLECT
51.77/51.97 c #Conflicts: 73000 | #Constraints: 6232
51.77/51.97 c #Conflicts: 74000 | #Constraints: 7232
51.77/51.97 c #Conflicts: 75000 | #Constraints: 8232
51.77/51.97 c #Conflicts: 76000 | #Constraints: 9232
51.77/51.97 c #Conflicts: 77000 | #Constraints: 10232
51.77/51.97 c #Conflicts: 78000 | #Constraints: 11232
51.77/51.97 c INPROCESSING
51.77/51.97 c GARBAGE COLLECT
51.77/51.97 c #Conflicts: 79000 | #Constraints: 6632
51.77/51.97 c #Conflicts: 80000 | #Constraints: 7632
51.77/51.97 c #Conflicts: 81000 | #Constraints: 8632
51.77/51.97 c #Conflicts: 82000 | #Constraints: 9632
51.77/51.97 c #Conflicts: 83000 | #Constraints: 10632
51.77/51.97 c #Conflicts: 84000 | #Constraints: 11632
51.77/51.97 c INPROCESSING
51.77/51.97 c GARBAGE COLLECT
51.77/51.97 c #Conflicts: 85000 | #Constraints: 6833
51.77/51.97 c #Conflicts: 86000 | #Constraints: 7833
51.77/51.97 c #Conflicts: 87000 | #Constraints: 8833
51.77/51.97 c #Conflicts: 88000 | #Constraints: 9833
51.77/51.97 c #Conflicts: 89000 | #Constraints: 10833
51.77/51.97 c #Conflicts: 90000 | #Constraints: 11833
51.77/51.97 c INPROCESSING
51.77/51.97 c GARBAGE COLLECT
51.77/51.97 c #Conflicts: 91000 | #Constraints: 6830
51.77/51.97 c #Conflicts: 92000 | #Constraints: 7830
51.77/51.97 c #Conflicts: 93000 | #Constraints: 8830
51.77/51.97 c #Conflicts: 94000 | #Constraints: 9830
51.77/51.97 c #Conflicts: 95000 | #Constraints: 10830
51.77/51.97 c #Conflicts: 96000 | #Constraints: 11830
51.77/51.97 c INPROCESSING
51.77/51.97 c GARBAGE COLLECT
51.77/51.97 c #Conflicts: 97000 | #Constraints: 6631
51.77/51.97 c #Conflicts: 98000 | #Constraints: 7631
51.77/51.97 c #Conflicts: 99000 | #Constraints: 8631
51.77/51.97 c #Conflicts: 100000 | #Constraints: 9631
51.77/51.97 c #Conflicts: 101000 | #Constraints: 10631
51.77/51.97 c #Conflicts: 102000 | #Constraints: 11631
51.77/51.97 c #Conflicts: 103000 | #Constraints: 12631
51.77/51.97 c INPROCESSING
51.77/51.97 c GARBAGE COLLECT
51.77/51.97 c #Conflicts: 104000 | #Constraints: 7230
51.77/51.97 c #Conflicts: 105000 | #Constraints: 8230
51.77/51.97 c #Conflicts: 106000 | #Constraints: 9230
51.77/51.97 c #Conflicts: 107000 | #Constraints: 10230
51.77/51.97 c #Conflicts: 108000 | #Constraints: 11230
51.77/51.97 c #Conflicts: 109000 | #Constraints: 12230
51.77/51.97 c #Conflicts: 110000 | #Constraints: 13230
51.77/51.97 c INPROCESSING
51.77/51.97 c GARBAGE COLLECT
51.77/51.97 c #Conflicts: 111000 | #Constraints: 7629
51.77/51.97 c #Conflicts: 112000 | #Constraints: 8629
51.77/51.97 c #Conflicts: 113000 | #Constraints: 9629
51.77/51.97 c #Conflicts: 114000 | #Constraints: 10629
51.77/51.97 c #Conflicts: 115000 | #Constraints: 11629
51.77/51.97 c #Conflicts: 116000 | #Constraints: 12629
51.77/51.97 c #Conflicts: 117000 | #Constraints: 13629
51.77/51.97 c INPROCESSING
51.77/51.97 c GARBAGE COLLECT
51.77/51.97 c #Conflicts: 118000 | #Constraints: 7830
51.77/51.97 c #Conflicts: 119000 | #Constraints: 8830
51.77/51.97 c #Conflicts: 120000 | #Constraints: 9830
51.77/51.97 c #Conflicts: 121000 | #Constraints: 10830
51.77/51.97 c #Conflicts: 122000 | #Constraints: 11830
51.77/51.97 c #Conflicts: 123000 | #Constraints: 12830
51.77/51.97 c #Conflicts: 124000 | #Constraints: 13830
51.77/51.97 c INPROCESSING
51.77/51.97 c GARBAGE COLLECT
51.77/51.97 c #Conflicts: 125000 | #Constraints: 7829
51.77/51.97 c #Conflicts: 126000 | #Constraints: 8829
51.77/51.97 c #Conflicts: 127000 | #Constraints: 9829
51.77/51.97 c #Conflicts: 128000 | #Constraints: 10829
51.77/51.97 c #Conflicts: 129000 | #Constraints: 11829
51.77/51.97 c #Conflicts: 130000 | #Constraints: 12829
51.77/51.97 c #Conflicts: 131000 | #Constraints: 13829
51.77/51.97 c INPROCESSING
51.77/51.97 c GARBAGE COLLECT
51.77/51.97 c #Conflicts: 132000 | #Constraints: 7626
51.77/51.97 c #Conflicts: 133000 | #Constraints: 8626
51.77/51.97 c #Conflicts: 134000 | #Constraints: 9626
51.77/51.97 c #Conflicts: 135000 | #Constraints: 10626
51.77/51.97 c #Conflicts: 136000 | #Constraints: 11626
51.77/51.97 c #Conflicts: 137000 | #Constraints: 12626
51.77/51.97 c #Conflicts: 138000 | #Constraints: 13626
51.77/51.97 c #Conflicts: 139000 | #Constraints: 14626
51.77/51.97 c INPROCESSING
51.77/51.97 c GARBAGE COLLECT
51.77/51.97 c #Conflicts: 140000 | #Constraints: 8231
51.77/51.97 c #Conflicts: 141000 | #Constraints: 9231
97.57/97.84 c #Conflicts: 142000 | #Constraints: 10231
97.57/97.84 c #Conflicts: 143000 | #Constraints: 11231
97.57/97.84 c #Conflicts: 144000 | #Constraints: 12231
97.57/97.84 c #Conflicts: 145000 | #Constraints: 13231
97.57/97.84 c #Conflicts: 146000 | #Constraints: 14231
97.57/97.84 c #Conflicts: 147000 | #Constraints: 15231
97.57/97.84 c INPROCESSING
97.57/97.84 c GARBAGE COLLECT
97.57/97.84 c #Conflicts: 148000 | #Constraints: 8632
97.57/97.84 c #Conflicts: 149000 | #Constraints: 9632
97.57/97.84 c #Conflicts: 150000 | #Constraints: 10632
97.57/97.84 c #Conflicts: 151000 | #Constraints: 11632
97.57/97.84 c #Conflicts: 152000 | #Constraints: 12632
97.57/97.84 c #Conflicts: 153000 | #Constraints: 13632
97.57/97.84 c #Conflicts: 154000 | #Constraints: 14632
97.57/97.84 c #Conflicts: 155000 | #Constraints: 15632
97.57/97.84 c INPROCESSING
97.57/97.84 c GARBAGE COLLECT
97.57/97.84 c #Conflicts: 156000 | #Constraints: 8830
97.57/97.84 c #Conflicts: 157000 | #Constraints: 9830
97.57/97.84 c #Conflicts: 158000 | #Constraints: 10830
97.57/97.84 c #Conflicts: 159000 | #Constraints: 11830
97.57/97.84 c #Conflicts: 160000 | #Constraints: 12830
97.57/97.84 c #Conflicts: 161000 | #Constraints: 13830
97.57/97.84 c #Conflicts: 162000 | #Constraints: 14830
97.57/97.84 c #Conflicts: 163000 | #Constraints: 15830
97.57/97.84 c INPROCESSING
97.57/97.84 c GARBAGE COLLECT
97.57/97.84 c #Conflicts: 164000 | #Constraints: 8831
97.57/97.84 c #Conflicts: 165000 | #Constraints: 9831
97.57/97.84 c #Conflicts: 166000 | #Constraints: 10831
97.57/97.84 c #Conflicts: 167000 | #Constraints: 11831
97.57/97.84 c #Conflicts: 168000 | #Constraints: 12831
97.57/97.84 c #Conflicts: 169000 | #Constraints: 13831
97.57/97.84 c #Conflicts: 170000 | #Constraints: 14831
97.57/97.84 c #Conflicts: 171000 | #Constraints: 15831
97.57/97.84 c INPROCESSING
97.57/97.84 c GARBAGE COLLECT
97.57/97.84 c #Conflicts: 172000 | #Constraints: 8627
97.57/97.84 c #Conflicts: 173000 | #Constraints: 9627
97.57/97.84 c #Conflicts: 174000 | #Constraints: 10627
97.57/97.84 c #Conflicts: 175000 | #Constraints: 11627
97.57/97.84 c #Conflicts: 176000 | #Constraints: 12627
97.57/97.84 c #Conflicts: 177000 | #Constraints: 13627
97.57/97.84 c #Conflicts: 178000 | #Constraints: 14627
97.57/97.84 c #Conflicts: 179000 | #Constraints: 15627
97.57/97.84 c #Conflicts: 180000 | #Constraints: 16627
97.57/97.84 c INPROCESSING
97.57/97.84 c GARBAGE COLLECT
97.57/97.84 c #Conflicts: 181000 | #Constraints: 9228
97.57/97.84 c #Conflicts: 182000 | #Constraints: 10228
97.57/97.84 c #Conflicts: 183000 | #Constraints: 11228
97.57/97.84 c #Conflicts: 184000 | #Constraints: 12228
97.57/97.84 c #Conflicts: 185000 | #Constraints: 13228
97.57/97.84 c #Conflicts: 186000 | #Constraints: 14228
97.57/97.84 c #Conflicts: 187000 | #Constraints: 15228
97.57/97.84 c #Conflicts: 188000 | #Constraints: 16228
97.57/97.84 c #Conflicts: 189000 | #Constraints: 17228
97.57/97.84 c INPROCESSING
97.57/97.84 c GARBAGE COLLECT
97.57/97.84 c #Conflicts: 190000 | #Constraints: 9634
97.57/97.84 c #Conflicts: 191000 | #Constraints: 10634
97.57/97.84 c #Conflicts: 192000 | #Constraints: 11634
97.57/97.84 c #Conflicts: 193000 | #Constraints: 12634
97.57/97.84 c #Conflicts: 194000 | #Constraints: 13634
97.57/97.84 c #Conflicts: 195000 | #Constraints: 14634
97.57/97.84 c #Conflicts: 196000 | #Constraints: 15634
97.57/97.84 c #Conflicts: 197000 | #Constraints: 16634
97.57/97.84 c #Conflicts: 198000 | #Constraints: 17634
97.57/97.84 c INPROCESSING
97.57/97.84 c GARBAGE COLLECT
97.57/97.84 c #Conflicts: 199000 | #Constraints: 9836
97.57/97.84 c #Conflicts: 200000 | #Constraints: 10836
97.57/97.84 c #Conflicts: 201000 | #Constraints: 11836
97.57/97.84 c #Conflicts: 202000 | #Constraints: 12836
97.57/97.84 c #Conflicts: 203000 | #Constraints: 13836
97.57/97.84 c #Conflicts: 204000 | #Constraints: 14836
97.57/97.84 c #Conflicts: 205000 | #Constraints: 15836
97.57/97.84 c #Conflicts: 206000 | #Constraints: 16836
97.57/97.84 c #Conflicts: 207000 | #Constraints: 17836
97.57/97.84 c INPROCESSING
97.57/97.84 c GARBAGE COLLECT
97.57/97.84 c #Conflicts: 208000 | #Constraints: 9834
97.57/97.84 c #Conflicts: 209000 | #Constraints: 10834
97.57/97.84 c #Conflicts: 210000 | #Constraints: 11834
97.57/97.84 c #Conflicts: 211000 | #Constraints: 12834
97.57/97.84 c #Conflicts: 212000 | #Constraints: 13834
97.57/97.84 c #Conflicts: 213000 | #Constraints: 14834
97.57/97.84 c #Conflicts: 214000 | #Constraints: 15834
154.13/154.59 c #Conflicts: 215000 | #Constraints: 16834
154.13/154.59 c #Conflicts: 216000 | #Constraints: 17834
154.13/154.59 c INPROCESSING
154.13/154.59 c GARBAGE COLLECT
154.13/154.59 c #Conflicts: 217000 | #Constraints: 9634
154.13/154.59 c #Conflicts: 218000 | #Constraints: 10634
154.13/154.59 c #Conflicts: 219000 | #Constraints: 11634
154.13/154.59 c #Conflicts: 220000 | #Constraints: 12634
154.13/154.59 c #Conflicts: 221000 | #Constraints: 13634
154.13/154.59 c #Conflicts: 222000 | #Constraints: 14634
154.13/154.59 c #Conflicts: 223000 | #Constraints: 15634
154.13/154.59 c #Conflicts: 224000 | #Constraints: 16634
154.13/154.59 c #Conflicts: 225000 | #Constraints: 17634
154.13/154.59 c #Conflicts: 226000 | #Constraints: 18634
154.13/154.59 c INPROCESSING
154.13/154.59 c GARBAGE COLLECT
154.13/154.59 c #Conflicts: 227000 | #Constraints: 10237
154.13/154.59 c #Conflicts: 228000 | #Constraints: 11237
154.13/154.59 c #Conflicts: 229000 | #Constraints: 12237
154.13/154.59 c #Conflicts: 230000 | #Constraints: 13237
154.13/154.59 c #Conflicts: 231000 | #Constraints: 14237
154.13/154.59 c #Conflicts: 232000 | #Constraints: 15237
154.13/154.59 c #Conflicts: 233000 | #Constraints: 16237
154.13/154.59 c #Conflicts: 234000 | #Constraints: 17237
154.13/154.59 c #Conflicts: 235000 | #Constraints: 18237
154.13/154.59 c #Conflicts: 236000 | #Constraints: 19237
154.13/154.59 c INPROCESSING
154.13/154.59 c GARBAGE COLLECT
154.13/154.59 c #Conflicts: 237000 | #Constraints: 10636
154.13/154.59 c #Conflicts: 238000 | #Constraints: 11636
154.13/154.59 c #Conflicts: 239000 | #Constraints: 12636
154.13/154.59 c #Conflicts: 240000 | #Constraints: 13636
154.13/154.59 c #Conflicts: 241000 | #Constraints: 14636
154.13/154.59 c #Conflicts: 242000 | #Constraints: 15636
154.13/154.59 c #Conflicts: 243000 | #Constraints: 16636
154.13/154.59 c #Conflicts: 244000 | #Constraints: 17636
154.13/154.59 c #Conflicts: 245000 | #Constraints: 18636
154.13/154.59 c #Conflicts: 246000 | #Constraints: 19636
154.13/154.59 c INPROCESSING
154.13/154.59 c GARBAGE COLLECT
154.13/154.59 c #Conflicts: 247000 | #Constraints: 10833
154.13/154.59 c #Conflicts: 248000 | #Constraints: 11833
154.13/154.59 c #Conflicts: 249000 | #Constraints: 12833
154.13/154.59 c #Conflicts: 250000 | #Constraints: 13833
154.13/154.59 c #Conflicts: 251000 | #Constraints: 14833
154.13/154.59 c #Conflicts: 252000 | #Constraints: 15833
154.13/154.59 c #Conflicts: 253000 | #Constraints: 16833
154.13/154.59 c #Conflicts: 254000 | #Constraints: 17833
154.13/154.59 c #Conflicts: 255000 | #Constraints: 18833
154.13/154.59 c #Conflicts: 256000 | #Constraints: 19833
154.13/154.59 c INPROCESSING
154.13/154.59 c GARBAGE COLLECT
154.13/154.59 c #Conflicts: 257000 | #Constraints: 10831
154.13/154.59 c #Conflicts: 258000 | #Constraints: 11831
154.13/154.59 c #Conflicts: 259000 | #Constraints: 12831
154.13/154.59 c #Conflicts: 260000 | #Constraints: 13831
154.13/154.59 c #Conflicts: 261000 | #Constraints: 14831
154.13/154.59 c #Conflicts: 262000 | #Constraints: 15831
154.13/154.59 c #Conflicts: 263000 | #Constraints: 16831
154.13/154.59 c #Conflicts: 264000 | #Constraints: 17831
154.13/154.59 c #Conflicts: 265000 | #Constraints: 18831
154.13/154.59 c #Conflicts: 266000 | #Constraints: 19831
154.13/154.59 c INPROCESSING
154.13/154.59 c GARBAGE COLLECT
154.13/154.59 c #Conflicts: 267000 | #Constraints: 10634
154.13/154.59 c #Conflicts: 268000 | #Constraints: 11634
154.13/154.59 c #Conflicts: 269000 | #Constraints: 12634
154.13/154.59 c #Conflicts: 270000 | #Constraints: 13634
154.13/154.59 c #Conflicts: 271000 | #Constraints: 14634
154.13/154.59 c #Conflicts: 272000 | #Constraints: 15634
154.13/154.59 c #Conflicts: 273000 | #Constraints: 16634
154.13/154.59 c #Conflicts: 274000 | #Constraints: 17634
154.13/154.59 c #Conflicts: 275000 | #Constraints: 18634
154.13/154.59 c #Conflicts: 276000 | #Constraints: 19634
154.13/154.59 c #Conflicts: 277000 | #Constraints: 20634
154.13/154.59 c INPROCESSING
154.13/154.59 c GARBAGE COLLECT
154.13/154.59 c #Conflicts: 278000 | #Constraints: 11231
154.13/154.59 c #Conflicts: 279000 | #Constraints: 12231
154.13/154.59 c #Conflicts: 280000 | #Constraints: 13231
154.13/154.59 c #Conflicts: 281000 | #Constraints: 14231
154.13/154.59 c #Conflicts: 282000 | #Constraints: 15231
154.13/154.59 c #Conflicts: 283000 | #Constraints: 16231
154.13/154.59 c #Conflicts: 284000 | #Constraints: 17231
154.13/154.59 c #Conflicts: 285000 | #Constraints: 18231
154.13/154.59 c #Conflicts: 286000 | #Constraints: 19231
154.13/154.59 c #Conflicts: 287000 | #Constraints: 20231
154.13/154.59 c #Conflicts: 288000 | #Constraints: 21231
154.13/154.59 c INPROCESSING
223.46/224.07 c GARBAGE COLLECT
223.46/224.07 c #Conflicts: 289000 | #Constraints: 11630
223.46/224.07 c #Conflicts: 290000 | #Constraints: 12630
223.46/224.07 c #Conflicts: 291000 | #Constraints: 13630
223.46/224.07 c #Conflicts: 292000 | #Constraints: 14630
223.46/224.07 c #Conflicts: 293000 | #Constraints: 15630
223.46/224.07 c #Conflicts: 294000 | #Constraints: 16630
223.46/224.07 c #Conflicts: 295000 | #Constraints: 17630
223.46/224.07 c #Conflicts: 296000 | #Constraints: 18630
223.46/224.07 c #Conflicts: 297000 | #Constraints: 19630
223.46/224.07 c #Conflicts: 298000 | #Constraints: 20630
223.46/224.07 c #Conflicts: 299000 | #Constraints: 21630
223.46/224.07 c INPROCESSING
223.46/224.07 c GARBAGE COLLECT
223.46/224.07 c #Conflicts: 300000 | #Constraints: 11835
223.46/224.07 c #Conflicts: 301000 | #Constraints: 12835
223.46/224.07 c #Conflicts: 302000 | #Constraints: 13835
223.46/224.07 c #Conflicts: 303000 | #Constraints: 14835
223.46/224.07 c #Conflicts: 304000 | #Constraints: 15835
223.46/224.07 c #Conflicts: 305000 | #Constraints: 16835
223.46/224.07 c #Conflicts: 306000 | #Constraints: 17835
223.46/224.07 c #Conflicts: 307000 | #Constraints: 18835
223.46/224.07 c #Conflicts: 308000 | #Constraints: 19835
223.46/224.07 c #Conflicts: 309000 | #Constraints: 20835
223.46/224.07 c #Conflicts: 310000 | #Constraints: 21835
223.46/224.07 c INPROCESSING
223.46/224.07 c GARBAGE COLLECT
223.46/224.07 c #Conflicts: 311000 | #Constraints: 11834
223.46/224.07 c #Conflicts: 312000 | #Constraints: 12834
223.46/224.07 c #Conflicts: 313000 | #Constraints: 13834
223.46/224.07 c #Conflicts: 314000 | #Constraints: 14834
223.46/224.07 c #Conflicts: 315000 | #Constraints: 15834
223.46/224.07 c #Conflicts: 316000 | #Constraints: 16834
223.46/224.07 c #Conflicts: 317000 | #Constraints: 17834
223.46/224.07 c #Conflicts: 318000 | #Constraints: 18834
223.46/224.07 c #Conflicts: 319000 | #Constraints: 19834
223.46/224.07 c #Conflicts: 320000 | #Constraints: 20834
223.46/224.07 c #Conflicts: 321000 | #Constraints: 21834
223.46/224.07 c INPROCESSING
223.46/224.07 c GARBAGE COLLECT
223.46/224.07 c #Conflicts: 322000 | #Constraints: 11636
223.46/224.07 c #Conflicts: 323000 | #Constraints: 12636
223.46/224.07 c #Conflicts: 324000 | #Constraints: 13636
223.46/224.07 c #Conflicts: 325000 | #Constraints: 14636
223.46/224.07 c #Conflicts: 326000 | #Constraints: 15636
223.46/224.07 c #Conflicts: 327000 | #Constraints: 16636
223.46/224.07 c #Conflicts: 328000 | #Constraints: 17636
223.46/224.07 c #Conflicts: 329000 | #Constraints: 18636
223.46/224.07 c #Conflicts: 330000 | #Constraints: 19636
223.46/224.07 c #Conflicts: 331000 | #Constraints: 20636
223.46/224.07 c #Conflicts: 332000 | #Constraints: 21636
223.46/224.07 c #Conflicts: 333000 | #Constraints: 22636
223.46/224.07 c INPROCESSING
223.46/224.07 c GARBAGE COLLECT
223.46/224.07 c #Conflicts: 334000 | #Constraints: 12235
223.46/224.07 c #Conflicts: 335000 | #Constraints: 13235
223.46/224.07 c #Conflicts: 336000 | #Constraints: 14235
223.46/224.07 c #Conflicts: 337000 | #Constraints: 15235
223.46/224.07 c #Conflicts: 338000 | #Constraints: 16235
223.46/224.07 c #Conflicts: 339000 | #Constraints: 17235
223.46/224.07 c #Conflicts: 340000 | #Constraints: 18235
223.46/224.07 c #Conflicts: 341000 | #Constraints: 19235
223.46/224.07 c #Conflicts: 342000 | #Constraints: 20235
223.46/224.07 c #Conflicts: 343000 | #Constraints: 21235
223.46/224.07 c #Conflicts: 344000 | #Constraints: 22235
223.46/224.07 c #Conflicts: 345000 | #Constraints: 23235
223.46/224.07 c INPROCESSING
223.46/224.07 c GARBAGE COLLECT
223.46/224.07 c #Conflicts: 346000 | #Constraints: 12634
223.46/224.07 c #Conflicts: 347000 | #Constraints: 13634
223.46/224.07 c #Conflicts: 348000 | #Constraints: 14634
223.46/224.07 c #Conflicts: 349000 | #Constraints: 15634
223.46/224.07 c #Conflicts: 350000 | #Constraints: 16634
223.46/224.07 c #Conflicts: 351000 | #Constraints: 17634
223.46/224.07 c #Conflicts: 352000 | #Constraints: 18634
223.46/224.07 c #Conflicts: 353000 | #Constraints: 19634
223.46/224.07 c #Conflicts: 354000 | #Constraints: 20634
223.46/224.07 c #Conflicts: 355000 | #Constraints: 21634
223.46/224.07 c #Conflicts: 356000 | #Constraints: 22634
223.46/224.07 c #Conflicts: 357000 | #Constraints: 23634
223.46/224.07 c INPROCESSING
223.46/224.07 c GARBAGE COLLECT
223.46/224.07 c #Conflicts: 358000 | #Constraints: 12829
223.46/224.07 c #Conflicts: 359000 | #Constraints: 13829
223.46/224.07 c #Conflicts: 360000 | #Constraints: 14829
223.46/224.07 c #Conflicts: 361000 | #Constraints: 15829
223.46/224.07 c #Conflicts: 362000 | #Constraints: 16829
223.46/224.07 c #Conflicts: 363000 | #Constraints: 17829
304.73/305.54 c #Conflicts: 364000 | #Constraints: 18829
304.73/305.54 c #Conflicts: 365000 | #Constraints: 19829
304.73/305.54 c #Conflicts: 366000 | #Constraints: 20829
304.73/305.54 c #Conflicts: 367000 | #Constraints: 21829
304.73/305.54 c #Conflicts: 368000 | #Constraints: 22829
304.73/305.54 c #Conflicts: 369000 | #Constraints: 23829
304.73/305.54 c INPROCESSING
304.73/305.54 c GARBAGE COLLECT
304.73/305.54 c #Conflicts: 370000 | #Constraints: 12831
304.73/305.54 c #Conflicts: 371000 | #Constraints: 13831
304.73/305.54 c #Conflicts: 372000 | #Constraints: 14831
304.73/305.54 c #Conflicts: 373000 | #Constraints: 15831
304.73/305.54 c #Conflicts: 374000 | #Constraints: 16831
304.73/305.54 c #Conflicts: 375000 | #Constraints: 17831
304.73/305.54 c #Conflicts: 376000 | #Constraints: 18831
304.73/305.54 c #Conflicts: 377000 | #Constraints: 19831
304.73/305.54 c #Conflicts: 378000 | #Constraints: 20831
304.73/305.54 c #Conflicts: 379000 | #Constraints: 21831
304.73/305.54 c #Conflicts: 380000 | #Constraints: 22831
304.73/305.54 c #Conflicts: 381000 | #Constraints: 23831
304.73/305.54 c INPROCESSING
304.73/305.54 c GARBAGE COLLECT
304.73/305.54 c #Conflicts: 382000 | #Constraints: 12632
304.73/305.54 c #Conflicts: 383000 | #Constraints: 13632
304.73/305.54 c #Conflicts: 384000 | #Constraints: 14632
304.73/305.54 c #Conflicts: 385000 | #Constraints: 15632
304.73/305.54 c #Conflicts: 386000 | #Constraints: 16632
304.73/305.54 c #Conflicts: 387000 | #Constraints: 17632
304.73/305.54 c #Conflicts: 388000 | #Constraints: 18632
304.73/305.54 c #Conflicts: 389000 | #Constraints: 19632
304.73/305.54 c #Conflicts: 390000 | #Constraints: 20632
304.73/305.54 c #Conflicts: 391000 | #Constraints: 21632
304.73/305.54 c #Conflicts: 392000 | #Constraints: 22632
304.73/305.54 c #Conflicts: 393000 | #Constraints: 23632
304.73/305.54 c #Conflicts: 394000 | #Constraints: 24632
304.73/305.54 c INPROCESSING
304.73/305.54 c GARBAGE COLLECT
304.73/305.54 c #Conflicts: 395000 | #Constraints: 13231
304.73/305.54 c #Conflicts: 396000 | #Constraints: 14231
304.73/305.54 c #Conflicts: 397000 | #Constraints: 15231
304.73/305.54 c #Conflicts: 398000 | #Constraints: 16231
304.73/305.54 c #Conflicts: 399000 | #Constraints: 17231
304.73/305.54 c #Conflicts: 400000 | #Constraints: 18231
304.73/305.54 c #Conflicts: 401000 | #Constraints: 19231
304.73/305.54 c #Conflicts: 402000 | #Constraints: 20231
304.73/305.54 c #Conflicts: 403000 | #Constraints: 21231
304.73/305.54 c #Conflicts: 404000 | #Constraints: 22231
304.73/305.54 c #Conflicts: 405000 | #Constraints: 23231
304.73/305.54 c #Conflicts: 406000 | #Constraints: 24231
304.73/305.54 c #Conflicts: 407000 | #Constraints: 25231
304.73/305.54 c INPROCESSING
304.73/305.54 c GARBAGE COLLECT
304.73/305.54 c #Conflicts: 408000 | #Constraints: 13630
304.73/305.54 c #Conflicts: 409000 | #Constraints: 14630
304.73/305.54 c #Conflicts: 410000 | #Constraints: 15630
304.73/305.54 c #Conflicts: 411000 | #Constraints: 16630
304.73/305.54 c #Conflicts: 412000 | #Constraints: 17630
304.73/305.54 c #Conflicts: 413000 | #Constraints: 18630
304.73/305.54 c #Conflicts: 414000 | #Constraints: 19630
304.73/305.54 c #Conflicts: 415000 | #Constraints: 20630
304.73/305.54 c #Conflicts: 416000 | #Constraints: 21630
304.73/305.54 c #Conflicts: 417000 | #Constraints: 22630
304.73/305.54 c #Conflicts: 418000 | #Constraints: 23630
304.73/305.54 c #Conflicts: 419000 | #Constraints: 24630
304.73/305.54 c #Conflicts: 420000 | #Constraints: 25630
304.73/305.54 c INPROCESSING
304.73/305.54 c GARBAGE COLLECT
304.73/305.54 c #Conflicts: 421000 | #Constraints: 13833
304.73/305.54 c #Conflicts: 422000 | #Constraints: 14833
304.73/305.54 c #Conflicts: 423000 | #Constraints: 15833
304.73/305.54 c #Conflicts: 424000 | #Constraints: 16833
304.73/305.54 c #Conflicts: 425000 | #Constraints: 17833
304.73/305.54 c #Conflicts: 426000 | #Constraints: 18833
304.73/305.54 c #Conflicts: 427000 | #Constraints: 19833
304.73/305.54 c #Conflicts: 428000 | #Constraints: 20833
304.73/305.54 c #Conflicts: 429000 | #Constraints: 21833
304.73/305.54 c #Conflicts: 430000 | #Constraints: 22833
304.73/305.54 c #Conflicts: 431000 | #Constraints: 23833
304.73/305.54 c #Conflicts: 432000 | #Constraints: 24833
304.73/305.54 c #Conflicts: 433000 | #Constraints: 25833
304.73/305.54 c INPROCESSING
304.73/305.54 c GARBAGE COLLECT
304.73/305.54 c #Conflicts: 434000 | #Constraints: 13835
304.73/305.54 c #Conflicts: 435000 | #Constraints: 14835
304.73/305.54 c #Conflicts: 436000 | #Constraints: 15835
304.73/305.54 c #Conflicts: 437000 | #Constraints: 16835
304.73/305.54 c #Conflicts: 438000 | #Constraints: 17835
338.04/338.99 c #Conflicts: 439000 | #Constraints: 18835
338.04/338.99 c #Conflicts: 440000 | #Constraints: 19835
338.04/338.99 c #Conflicts: 441000 | #Constraints: 20835
338.04/338.99 c #Conflicts: 442000 | #Constraints: 21835
338.04/338.99 c #Conflicts: 443000 | #Constraints: 22835
338.04/338.99 c #Conflicts: 444000 | #Constraints: 23835
338.04/338.99 c #Conflicts: 445000 | #Constraints: 24835
338.04/338.99 c #Conflicts: 446000 | #Constraints: 25835
338.04/338.99 c INPROCESSING
338.04/338.99 c GARBAGE COLLECT
338.04/338.99 c #Conflicts: 447000 | #Constraints: 13638
338.04/338.99 c #Conflicts: 448000 | #Constraints: 14638
338.04/338.99 c #Conflicts: 449000 | #Constraints: 15638
338.04/338.99 c #Conflicts: 450000 | #Constraints: 16638
338.04/338.99 c #Conflicts: 451000 | #Constraints: 17638
338.04/338.99 c #Conflicts: 452000 | #Constraints: 18638
338.04/338.99 c #Conflicts: 453000 | #Constraints: 19638
338.04/338.99 c #Conflicts: 454000 | #Constraints: 20638
338.04/338.99 c #Conflicts: 455000 | #Constraints: 21638
338.04/338.99 c #Conflicts: 456000 | #Constraints: 22638
338.04/338.99 c #Conflicts: 457000 | #Constraints: 23638
338.04/338.99 c #Conflicts: 458000 | #Constraints: 24638
338.04/338.99 c #Conflicts: 459000 | #Constraints: 25638
338.04/338.99 c #Conflicts: 460000 | #Constraints: 26638
338.04/338.99 c INPROCESSING
338.04/338.99 c GARBAGE COLLECT
338.04/338.99 c bounds 50 >= 0 @ 336.255
338.04/338.99 c stratification level: 4
435.68/436.84 c #Conflicts: 461000 | #Constraints: 14236
435.68/436.84 c #Conflicts: 462000 | #Constraints: 15236
435.68/436.84 c #Conflicts: 463000 | #Constraints: 16236
435.68/436.84 c #Conflicts: 464000 | #Constraints: 17236
435.68/436.84 c #Conflicts: 465000 | #Constraints: 18236
435.68/436.84 c #Conflicts: 466000 | #Constraints: 19236
435.68/436.84 c #Conflicts: 467000 | #Constraints: 20236
435.68/436.84 c #Conflicts: 468000 | #Constraints: 21236
435.68/436.84 c #Conflicts: 469000 | #Constraints: 22236
435.68/436.84 c #Conflicts: 470000 | #Constraints: 23236
435.68/436.84 c #Conflicts: 471000 | #Constraints: 24236
435.68/436.84 c #Conflicts: 472000 | #Constraints: 25236
435.68/436.84 c #Conflicts: 473000 | #Constraints: 26236
435.68/436.84 c #Conflicts: 474000 | #Constraints: 27236
435.68/436.84 c INPROCESSING
435.68/436.84 c GARBAGE COLLECT
435.68/436.84 c #Conflicts: 475000 | #Constraints: 14635
435.68/436.84 c #Conflicts: 476000 | #Constraints: 15635
435.68/436.84 c #Conflicts: 477000 | #Constraints: 16635
435.68/436.84 c #Conflicts: 478000 | #Constraints: 17635
435.68/436.84 c #Conflicts: 479000 | #Constraints: 18635
435.68/436.84 c #Conflicts: 480000 | #Constraints: 19635
435.68/436.84 c #Conflicts: 481000 | #Constraints: 20635
435.68/436.84 c #Conflicts: 482000 | #Constraints: 21635
435.68/436.84 c #Conflicts: 483000 | #Constraints: 22635
435.68/436.84 c #Conflicts: 484000 | #Constraints: 23635
435.68/436.84 c #Conflicts: 485000 | #Constraints: 24635
435.68/436.84 c #Conflicts: 486000 | #Constraints: 25635
435.68/436.84 c #Conflicts: 487000 | #Constraints: 26635
435.68/436.84 c #Conflicts: 488000 | #Constraints: 27635
435.68/436.84 c INPROCESSING
435.68/436.84 c GARBAGE COLLECT
435.68/436.84 c #Conflicts: 489000 | #Constraints: 14837
435.68/436.84 c #Conflicts: 490000 | #Constraints: 15837
435.68/436.84 c #Conflicts: 491000 | #Constraints: 16837
435.68/436.84 c #Conflicts: 492000 | #Constraints: 17837
435.68/436.84 c #Conflicts: 493000 | #Constraints: 18837
435.68/436.84 c #Conflicts: 494000 | #Constraints: 19837
435.68/436.84 c #Conflicts: 495000 | #Constraints: 20837
435.68/436.84 c #Conflicts: 496000 | #Constraints: 21837
435.68/436.84 c #Conflicts: 497000 | #Constraints: 22837
435.68/436.84 c #Conflicts: 498000 | #Constraints: 23837
435.68/436.84 c #Conflicts: 499000 | #Constraints: 24837
435.68/436.84 c #Conflicts: 500000 | #Constraints: 25837
435.68/436.84 c #Conflicts: 501000 | #Constraints: 26837
435.68/436.84 c #Conflicts: 502000 | #Constraints: 27837
435.68/436.84 c INPROCESSING
435.68/436.84 c GARBAGE COLLECT
435.68/436.84 c #Conflicts: 503000 | #Constraints: 14834
435.68/436.84 c #Conflicts: 504000 | #Constraints: 15834
435.68/436.84 c #Conflicts: 505000 | #Constraints: 16834
435.68/436.84 c #Conflicts: 506000 | #Constraints: 17834
435.68/436.84 c #Conflicts: 507000 | #Constraints: 18834
435.68/436.84 c #Conflicts: 508000 | #Constraints: 19834
435.68/436.84 c #Conflicts: 509000 | #Constraints: 20834
435.68/436.84 c #Conflicts: 510000 | #Constraints: 21834
435.68/436.84 c #Conflicts: 511000 | #Constraints: 22834
435.68/436.84 c #Conflicts: 512000 | #Constraints: 23834
435.68/436.84 c #Conflicts: 513000 | #Constraints: 24834
435.68/436.84 c #Conflicts: 514000 | #Constraints: 25834
435.68/436.84 c #Conflicts: 515000 | #Constraints: 26834
435.68/436.84 c #Conflicts: 516000 | #Constraints: 27834
435.68/436.84 c INPROCESSING
435.68/436.84 c GARBAGE COLLECT
435.68/436.84 c #Conflicts: 517000 | #Constraints: 14633
435.68/436.84 c #Conflicts: 518000 | #Constraints: 15633
435.68/436.84 c #Conflicts: 519000 | #Constraints: 16633
435.68/436.84 c #Conflicts: 520000 | #Constraints: 17633
435.68/436.84 c #Conflicts: 521000 | #Constraints: 18633
435.68/436.84 c #Conflicts: 522000 | #Constraints: 19633
435.68/436.84 c #Conflicts: 523000 | #Constraints: 20633
435.68/436.84 c #Conflicts: 524000 | #Constraints: 21633
435.68/436.84 c #Conflicts: 525000 | #Constraints: 22633
435.68/436.84 c #Conflicts: 526000 | #Constraints: 23633
435.68/436.84 c #Conflicts: 527000 | #Constraints: 24633
435.68/436.84 c #Conflicts: 528000 | #Constraints: 25633
435.68/436.84 c #Conflicts: 529000 | #Constraints: 26633
435.68/436.84 c #Conflicts: 530000 | #Constraints: 27633
435.68/436.84 c #Conflicts: 531000 | #Constraints: 28633
435.68/436.84 c INPROCESSING
435.68/436.84 c GARBAGE COLLECT
435.68/436.84 c #Conflicts: 532000 | #Constraints: 15234
435.68/436.84 c #Conflicts: 533000 | #Constraints: 16234
435.68/436.84 c #Conflicts: 534000 | #Constraints: 17234
435.68/436.84 c #Conflicts: 535000 | #Constraints: 18234
435.68/436.84 c #Conflicts: 536000 | #Constraints: 19234
541.29/542.71 c #Conflicts: 537000 | #Constraints: 20234
541.29/542.71 c #Conflicts: 538000 | #Constraints: 21234
541.29/542.71 c #Conflicts: 539000 | #Constraints: 22234
541.29/542.71 c #Conflicts: 540000 | #Constraints: 23234
541.29/542.71 c #Conflicts: 541000 | #Constraints: 24234
541.29/542.71 c #Conflicts: 542000 | #Constraints: 25234
541.29/542.71 c #Conflicts: 543000 | #Constraints: 26234
541.29/542.71 c #Conflicts: 544000 | #Constraints: 27234
541.29/542.71 c #Conflicts: 545000 | #Constraints: 28234
541.29/542.71 c #Conflicts: 546000 | #Constraints: 29234
541.29/542.71 c INPROCESSING
541.29/542.71 c GARBAGE COLLECT
541.29/542.71 c #Conflicts: 547000 | #Constraints: 15634
541.29/542.71 c #Conflicts: 548000 | #Constraints: 16634
541.29/542.71 c #Conflicts: 549000 | #Constraints: 17634
541.29/542.71 c #Conflicts: 550000 | #Constraints: 18634
541.29/542.71 c #Conflicts: 551000 | #Constraints: 19634
541.29/542.71 c #Conflicts: 552000 | #Constraints: 20634
541.29/542.71 c #Conflicts: 553000 | #Constraints: 21634
541.29/542.71 c #Conflicts: 554000 | #Constraints: 22634
541.29/542.71 c #Conflicts: 555000 | #Constraints: 23634
541.29/542.71 c #Conflicts: 556000 | #Constraints: 24634
541.29/542.71 c #Conflicts: 557000 | #Constraints: 25634
541.29/542.71 c #Conflicts: 558000 | #Constraints: 26634
541.29/542.71 c #Conflicts: 559000 | #Constraints: 27634
541.29/542.71 c #Conflicts: 560000 | #Constraints: 28634
541.29/542.71 c #Conflicts: 561000 | #Constraints: 29634
541.29/542.71 c INPROCESSING
541.29/542.71 c GARBAGE COLLECT
541.29/542.71 c #Conflicts: 562000 | #Constraints: 15830
541.29/542.71 c #Conflicts: 563000 | #Constraints: 16830
541.29/542.71 c #Conflicts: 564000 | #Constraints: 17830
541.29/542.71 c #Conflicts: 565000 | #Constraints: 18830
541.29/542.71 c #Conflicts: 566000 | #Constraints: 19830
541.29/542.71 c #Conflicts: 567000 | #Constraints: 20830
541.29/542.71 c #Conflicts: 568000 | #Constraints: 21830
541.29/542.71 c #Conflicts: 569000 | #Constraints: 22830
541.29/542.71 c #Conflicts: 570000 | #Constraints: 23830
541.29/542.71 c #Conflicts: 571000 | #Constraints: 24830
541.29/542.71 c #Conflicts: 572000 | #Constraints: 25830
541.29/542.71 c #Conflicts: 573000 | #Constraints: 26830
541.29/542.71 c #Conflicts: 574000 | #Constraints: 27830
541.29/542.71 c #Conflicts: 575000 | #Constraints: 28830
541.29/542.71 c #Conflicts: 576000 | #Constraints: 29830
541.29/542.71 c INPROCESSING
541.29/542.71 c GARBAGE COLLECT
541.29/542.71 c #Conflicts: 577000 | #Constraints: 15835
541.29/542.71 c #Conflicts: 578000 | #Constraints: 16835
541.29/542.71 c #Conflicts: 579000 | #Constraints: 17835
541.29/542.71 c #Conflicts: 580000 | #Constraints: 18835
541.29/542.71 c #Conflicts: 581000 | #Constraints: 19835
541.29/542.71 c #Conflicts: 582000 | #Constraints: 20835
541.29/542.71 c #Conflicts: 583000 | #Constraints: 21835
541.29/542.71 c #Conflicts: 584000 | #Constraints: 22835
541.29/542.71 c #Conflicts: 585000 | #Constraints: 23835
541.29/542.71 c #Conflicts: 586000 | #Constraints: 24835
541.29/542.71 c #Conflicts: 587000 | #Constraints: 25835
541.29/542.71 c #Conflicts: 588000 | #Constraints: 26835
541.29/542.71 c #Conflicts: 589000 | #Constraints: 27835
541.29/542.71 c #Conflicts: 590000 | #Constraints: 28835
541.29/542.71 c #Conflicts: 591000 | #Constraints: 29835
541.29/542.71 c INPROCESSING
541.29/542.71 c GARBAGE COLLECT
541.29/542.71 c #Conflicts: 592000 | #Constraints: 15634
541.29/542.71 c #Conflicts: 593000 | #Constraints: 16634
541.29/542.71 c #Conflicts: 594000 | #Constraints: 17634
541.29/542.71 c #Conflicts: 595000 | #Constraints: 18634
541.29/542.71 c #Conflicts: 596000 | #Constraints: 19634
541.29/542.71 c #Conflicts: 597000 | #Constraints: 20634
541.29/542.71 c #Conflicts: 598000 | #Constraints: 21634
541.29/542.71 c #Conflicts: 599000 | #Constraints: 22634
541.29/542.71 c #Conflicts: 600000 | #Constraints: 23634
541.29/542.71 c #Conflicts: 601000 | #Constraints: 24634
541.29/542.71 c #Conflicts: 602000 | #Constraints: 25634
541.29/542.71 c #Conflicts: 603000 | #Constraints: 26634
541.29/542.71 c #Conflicts: 604000 | #Constraints: 27634
541.29/542.71 c #Conflicts: 605000 | #Constraints: 28634
541.29/542.71 c #Conflicts: 606000 | #Constraints: 29634
541.29/542.71 c #Conflicts: 607000 | #Constraints: 30634
541.29/542.71 c INPROCESSING
541.29/542.71 c GARBAGE COLLECT
541.29/542.71 c #Conflicts: 608000 | #Constraints: 16236
541.29/542.71 c #Conflicts: 609000 | #Constraints: 17236
541.29/542.71 c #Conflicts: 610000 | #Constraints: 18236
541.29/542.71 c #Conflicts: 611000 | #Constraints: 19236
541.29/542.71 c #Conflicts: 612000 | #Constraints: 20236
646.80/648.52 c #Conflicts: 613000 | #Constraints: 21236
646.80/648.52 c #Conflicts: 614000 | #Constraints: 22236
646.80/648.52 c #Conflicts: 615000 | #Constraints: 23236
646.80/648.52 c #Conflicts: 616000 | #Constraints: 24236
646.80/648.52 c #Conflicts: 617000 | #Constraints: 25236
646.80/648.52 c #Conflicts: 618000 | #Constraints: 26236
646.80/648.52 c #Conflicts: 619000 | #Constraints: 27236
646.80/648.52 c #Conflicts: 620000 | #Constraints: 28236
646.80/648.52 c #Conflicts: 621000 | #Constraints: 29236
646.80/648.52 c #Conflicts: 622000 | #Constraints: 30236
646.80/648.52 c #Conflicts: 623000 | #Constraints: 31236
646.80/648.52 c INPROCESSING
646.80/648.52 c GARBAGE COLLECT
646.80/648.52 c #Conflicts: 624000 | #Constraints: 16634
646.80/648.52 c #Conflicts: 625000 | #Constraints: 17634
646.80/648.52 c #Conflicts: 626000 | #Constraints: 18634
646.80/648.52 c #Conflicts: 627000 | #Constraints: 19634
646.80/648.52 c #Conflicts: 628000 | #Constraints: 20634
646.80/648.52 c #Conflicts: 629000 | #Constraints: 21634
646.80/648.52 c #Conflicts: 630000 | #Constraints: 22634
646.80/648.52 c #Conflicts: 631000 | #Constraints: 23634
646.80/648.52 c #Conflicts: 632000 | #Constraints: 24634
646.80/648.52 c #Conflicts: 633000 | #Constraints: 25634
646.80/648.52 c #Conflicts: 634000 | #Constraints: 26634
646.80/648.52 c #Conflicts: 635000 | #Constraints: 27634
646.80/648.52 c #Conflicts: 636000 | #Constraints: 28634
646.80/648.52 c #Conflicts: 637000 | #Constraints: 29634
646.80/648.52 c #Conflicts: 638000 | #Constraints: 30634
646.80/648.52 c #Conflicts: 639000 | #Constraints: 31634
646.80/648.52 c INPROCESSING
646.80/648.52 c GARBAGE COLLECT
646.80/648.52 c #Conflicts: 640000 | #Constraints: 16832
646.80/648.52 c #Conflicts: 641000 | #Constraints: 17832
646.80/648.52 c #Conflicts: 642000 | #Constraints: 18832
646.80/648.52 c #Conflicts: 643000 | #Constraints: 19832
646.80/648.52 c #Conflicts: 644000 | #Constraints: 20832
646.80/648.52 c #Conflicts: 645000 | #Constraints: 21832
646.80/648.52 c #Conflicts: 646000 | #Constraints: 22832
646.80/648.52 c #Conflicts: 647000 | #Constraints: 23832
646.80/648.52 c #Conflicts: 648000 | #Constraints: 24832
646.80/648.52 c #Conflicts: 649000 | #Constraints: 25832
646.80/648.52 c #Conflicts: 650000 | #Constraints: 26832
646.80/648.52 c #Conflicts: 651000 | #Constraints: 27832
646.80/648.52 c #Conflicts: 652000 | #Constraints: 28832
646.80/648.52 c #Conflicts: 653000 | #Constraints: 29832
646.80/648.52 c #Conflicts: 654000 | #Constraints: 30832
646.80/648.52 c #Conflicts: 655000 | #Constraints: 31832
646.80/648.52 c INPROCESSING
646.80/648.52 c GARBAGE COLLECT
646.80/648.52 c #Conflicts: 656000 | #Constraints: 16832
646.80/648.52 c #Conflicts: 657000 | #Constraints: 17832
646.80/648.52 c #Conflicts: 658000 | #Constraints: 18832
646.80/648.52 c #Conflicts: 659000 | #Constraints: 19832
646.80/648.52 c #Conflicts: 660000 | #Constraints: 20832
646.80/648.52 c #Conflicts: 661000 | #Constraints: 21832
646.80/648.52 c #Conflicts: 662000 | #Constraints: 22832
646.80/648.52 c #Conflicts: 663000 | #Constraints: 23832
646.80/648.52 c #Conflicts: 664000 | #Constraints: 24832
646.80/648.52 c #Conflicts: 665000 | #Constraints: 25832
646.80/648.52 c #Conflicts: 666000 | #Constraints: 26832
646.80/648.52 c #Conflicts: 667000 | #Constraints: 27832
646.80/648.52 c #Conflicts: 668000 | #Constraints: 28832
646.80/648.52 c #Conflicts: 669000 | #Constraints: 29832
646.80/648.52 c #Conflicts: 670000 | #Constraints: 30832
646.80/648.52 c #Conflicts: 671000 | #Constraints: 31832
646.80/648.52 c INPROCESSING
646.80/648.52 c GARBAGE COLLECT
646.80/648.52 c #Conflicts: 672000 | #Constraints: 16627
646.80/648.52 c #Conflicts: 673000 | #Constraints: 17627
646.80/648.52 c #Conflicts: 674000 | #Constraints: 18627
646.80/648.52 c #Conflicts: 675000 | #Constraints: 19627
646.80/648.52 c #Conflicts: 676000 | #Constraints: 20627
646.80/648.52 c #Conflicts: 677000 | #Constraints: 21627
646.80/648.52 c #Conflicts: 678000 | #Constraints: 22627
646.80/648.52 c #Conflicts: 679000 | #Constraints: 23627
646.80/648.52 c #Conflicts: 680000 | #Constraints: 24627
646.80/648.52 c #Conflicts: 681000 | #Constraints: 25627
646.80/648.52 c #Conflicts: 682000 | #Constraints: 26627
646.80/648.52 c #Conflicts: 683000 | #Constraints: 27627
646.80/648.52 c #Conflicts: 684000 | #Constraints: 28627
646.80/648.52 c #Conflicts: 685000 | #Constraints: 29627
646.80/648.52 c #Conflicts: 686000 | #Constraints: 30627
646.80/648.52 c #Conflicts: 687000 | #Constraints: 31627
646.80/648.52 c #Conflicts: 688000 | #Constraints: 32627
776.86/779.00 c INPROCESSING
776.86/779.00 c GARBAGE COLLECT
776.86/779.00 c #Conflicts: 689000 | #Constraints: 17232
776.86/779.00 c #Conflicts: 690000 | #Constraints: 18232
776.86/779.00 c #Conflicts: 691000 | #Constraints: 19232
776.86/779.00 c #Conflicts: 692000 | #Constraints: 20232
776.86/779.00 c #Conflicts: 693000 | #Constraints: 21232
776.86/779.00 c #Conflicts: 694000 | #Constraints: 22232
776.86/779.00 c #Conflicts: 695000 | #Constraints: 23232
776.86/779.00 c #Conflicts: 696000 | #Constraints: 24232
776.86/779.00 c #Conflicts: 697000 | #Constraints: 25232
776.86/779.00 c #Conflicts: 698000 | #Constraints: 26232
776.86/779.00 c #Conflicts: 699000 | #Constraints: 27232
776.86/779.00 c #Conflicts: 700000 | #Constraints: 28232
776.86/779.00 c #Conflicts: 701000 | #Constraints: 29232
776.86/779.00 c #Conflicts: 702000 | #Constraints: 30232
776.86/779.00 c #Conflicts: 703000 | #Constraints: 31232
776.86/779.00 c #Conflicts: 704000 | #Constraints: 32232
776.86/779.00 c #Conflicts: 705000 | #Constraints: 33232
776.86/779.00 c INPROCESSING
776.86/779.00 c GARBAGE COLLECT
776.86/779.00 c #Conflicts: 706000 | #Constraints: 17631
776.86/779.00 c #Conflicts: 707000 | #Constraints: 18631
776.86/779.00 c #Conflicts: 708000 | #Constraints: 19631
776.86/779.00 c #Conflicts: 709000 | #Constraints: 20631
776.86/779.00 c #Conflicts: 710000 | #Constraints: 21631
776.86/779.00 c #Conflicts: 711000 | #Constraints: 22631
776.86/779.00 c #Conflicts: 712000 | #Constraints: 23631
776.86/779.00 c #Conflicts: 713000 | #Constraints: 24631
776.86/779.00 c #Conflicts: 714000 | #Constraints: 25631
776.86/779.00 c #Conflicts: 715000 | #Constraints: 26631
776.86/779.00 c #Conflicts: 716000 | #Constraints: 27631
776.86/779.00 c #Conflicts: 717000 | #Constraints: 28631
776.86/779.00 c #Conflicts: 718000 | #Constraints: 29631
776.86/779.00 c #Conflicts: 719000 | #Constraints: 30631
776.86/779.00 c #Conflicts: 720000 | #Constraints: 31631
776.86/779.00 c #Conflicts: 721000 | #Constraints: 32631
776.86/779.00 c #Conflicts: 722000 | #Constraints: 33631
776.86/779.00 c INPROCESSING
776.86/779.00 c GARBAGE COLLECT
776.86/779.00 c #Conflicts: 723000 | #Constraints: 17834
776.86/779.00 c #Conflicts: 724000 | #Constraints: 18834
776.86/779.00 c #Conflicts: 725000 | #Constraints: 19834
776.86/779.00 c #Conflicts: 726000 | #Constraints: 20834
776.86/779.00 c #Conflicts: 727000 | #Constraints: 21834
776.86/779.00 c #Conflicts: 728000 | #Constraints: 22834
776.86/779.00 c #Conflicts: 729000 | #Constraints: 23834
776.86/779.00 c #Conflicts: 730000 | #Constraints: 24834
776.86/779.00 c #Conflicts: 731000 | #Constraints: 25834
776.86/779.00 c #Conflicts: 732000 | #Constraints: 26834
776.86/779.00 c #Conflicts: 733000 | #Constraints: 27834
776.86/779.00 c #Conflicts: 734000 | #Constraints: 28834
776.86/779.00 c #Conflicts: 735000 | #Constraints: 29834
776.86/779.00 c #Conflicts: 736000 | #Constraints: 30834
776.86/779.00 c #Conflicts: 737000 | #Constraints: 31834
776.86/779.00 c #Conflicts: 738000 | #Constraints: 32834
776.86/779.00 c #Conflicts: 739000 | #Constraints: 33834
776.86/779.00 c INPROCESSING
776.86/779.00 c GARBAGE COLLECT
776.86/779.00 c #Conflicts: 740000 | #Constraints: 17836
776.86/779.00 c #Conflicts: 741000 | #Constraints: 18836
776.86/779.00 c #Conflicts: 742000 | #Constraints: 19836
776.86/779.00 c #Conflicts: 743000 | #Constraints: 20836
776.86/779.00 c #Conflicts: 744000 | #Constraints: 21836
776.86/779.00 c #Conflicts: 745000 | #Constraints: 22836
776.86/779.00 c #Conflicts: 746000 | #Constraints: 23836
776.86/779.00 c #Conflicts: 747000 | #Constraints: 24836
776.86/779.00 c #Conflicts: 748000 | #Constraints: 25836
776.86/779.00 c #Conflicts: 749000 | #Constraints: 26836
776.86/779.00 c #Conflicts: 750000 | #Constraints: 27836
776.86/779.00 c #Conflicts: 751000 | #Constraints: 28836
776.86/779.00 c #Conflicts: 752000 | #Constraints: 29836
776.86/779.00 c #Conflicts: 753000 | #Constraints: 30836
776.86/779.00 c #Conflicts: 754000 | #Constraints: 31836
776.86/779.00 c #Conflicts: 755000 | #Constraints: 32836
776.86/779.00 c #Conflicts: 756000 | #Constraints: 33836
776.86/779.00 c INPROCESSING
776.86/779.00 c GARBAGE COLLECT
776.86/779.00 c #Conflicts: 757000 | #Constraints: 17628
776.86/779.00 c #Conflicts: 758000 | #Constraints: 18628
776.86/779.00 c #Conflicts: 759000 | #Constraints: 19628
776.86/779.00 c #Conflicts: 760000 | #Constraints: 20628
776.86/779.00 c #Conflicts: 761000 | #Constraints: 21628
776.86/779.00 c #Conflicts: 762000 | #Constraints: 22628
776.86/779.00 c #Conflicts: 763000 | #Constraints: 23628
776.86/779.00 c #Conflicts: 764000 | #Constraints: 24628
907.40/909.88 c #Conflicts: 765000 | #Constraints: 25628
907.40/909.88 c #Conflicts: 766000 | #Constraints: 26628
907.40/909.88 c #Conflicts: 767000 | #Constraints: 27628
907.40/909.88 c #Conflicts: 768000 | #Constraints: 28628
907.40/909.88 c #Conflicts: 769000 | #Constraints: 29628
907.40/909.88 c #Conflicts: 770000 | #Constraints: 30628
907.40/909.88 c #Conflicts: 771000 | #Constraints: 31628
907.40/909.88 c #Conflicts: 772000 | #Constraints: 32628
907.40/909.88 c #Conflicts: 773000 | #Constraints: 33628
907.40/909.88 c #Conflicts: 774000 | #Constraints: 34628
907.40/909.88 c INPROCESSING
907.40/909.88 c GARBAGE COLLECT
907.40/909.88 c #Conflicts: 775000 | #Constraints: 18233
907.40/909.88 c #Conflicts: 776000 | #Constraints: 19233
907.40/909.88 c #Conflicts: 777000 | #Constraints: 20233
907.40/909.88 c #Conflicts: 778000 | #Constraints: 21233
907.40/909.88 c #Conflicts: 779000 | #Constraints: 22233
907.40/909.88 c #Conflicts: 780000 | #Constraints: 23233
907.40/909.88 c #Conflicts: 781000 | #Constraints: 24233
907.40/909.88 c #Conflicts: 782000 | #Constraints: 25233
907.40/909.88 c #Conflicts: 783000 | #Constraints: 26233
907.40/909.88 c #Conflicts: 784000 | #Constraints: 27233
907.40/909.88 c #Conflicts: 785000 | #Constraints: 28233
907.40/909.88 c #Conflicts: 786000 | #Constraints: 29233
907.40/909.88 c #Conflicts: 787000 | #Constraints: 30233
907.40/909.88 c #Conflicts: 788000 | #Constraints: 31233
907.40/909.88 c #Conflicts: 789000 | #Constraints: 32233
907.40/909.88 c #Conflicts: 790000 | #Constraints: 33233
907.40/909.88 c #Conflicts: 791000 | #Constraints: 34233
907.40/909.88 c #Conflicts: 792000 | #Constraints: 35233
907.40/909.88 c INPROCESSING
907.40/909.88 c GARBAGE COLLECT
907.40/909.88 c #Conflicts: 793000 | #Constraints: 18631
907.40/909.88 c #Conflicts: 794000 | #Constraints: 19631
907.40/909.88 c #Conflicts: 795000 | #Constraints: 20631
907.40/909.88 c #Conflicts: 796000 | #Constraints: 21631
907.40/909.88 c #Conflicts: 797000 | #Constraints: 22631
907.40/909.88 c #Conflicts: 798000 | #Constraints: 23631
907.40/909.88 c #Conflicts: 799000 | #Constraints: 24631
907.40/909.88 c #Conflicts: 800000 | #Constraints: 25631
907.40/909.88 c #Conflicts: 801000 | #Constraints: 26631
907.40/909.88 c #Conflicts: 802000 | #Constraints: 27631
907.40/909.88 c #Conflicts: 803000 | #Constraints: 28631
907.40/909.88 c #Conflicts: 804000 | #Constraints: 29631
907.40/909.88 c #Conflicts: 805000 | #Constraints: 30631
907.40/909.88 c #Conflicts: 806000 | #Constraints: 31631
907.40/909.88 c #Conflicts: 807000 | #Constraints: 32631
907.40/909.88 c #Conflicts: 808000 | #Constraints: 33631
907.40/909.88 c #Conflicts: 809000 | #Constraints: 34631
907.40/909.88 c #Conflicts: 810000 | #Constraints: 35631
907.40/909.88 c INPROCESSING
907.40/909.88 c GARBAGE COLLECT
907.40/909.88 c #Conflicts: 811000 | #Constraints: 18829
907.40/909.88 c #Conflicts: 812000 | #Constraints: 19829
907.40/909.88 c #Conflicts: 813000 | #Constraints: 20829
907.40/909.88 c #Conflicts: 814000 | #Constraints: 21829
907.40/909.88 c #Conflicts: 815000 | #Constraints: 22829
907.40/909.88 c #Conflicts: 816000 | #Constraints: 23829
907.40/909.88 c #Conflicts: 817000 | #Constraints: 24829
907.40/909.88 c #Conflicts: 818000 | #Constraints: 25829
907.40/909.88 c #Conflicts: 819000 | #Constraints: 26829
907.40/909.88 c #Conflicts: 820000 | #Constraints: 27829
907.40/909.88 c #Conflicts: 821000 | #Constraints: 28829
907.40/909.88 c #Conflicts: 822000 | #Constraints: 29829
907.40/909.88 c #Conflicts: 823000 | #Constraints: 30829
907.40/909.88 c #Conflicts: 824000 | #Constraints: 31829
907.40/909.88 c #Conflicts: 825000 | #Constraints: 32829
907.40/909.88 c #Conflicts: 826000 | #Constraints: 33829
907.40/909.88 c #Conflicts: 827000 | #Constraints: 34829
907.40/909.88 c #Conflicts: 828000 | #Constraints: 35829
907.40/909.88 c INPROCESSING
907.40/909.88 c GARBAGE COLLECT
907.40/909.88 c #Conflicts: 829000 | #Constraints: 18832
907.40/909.88 c #Conflicts: 830000 | #Constraints: 19832
907.40/909.88 c #Conflicts: 831000 | #Constraints: 20832
907.40/909.88 c #Conflicts: 832000 | #Constraints: 21832
907.40/909.88 c #Conflicts: 833000 | #Constraints: 22832
907.40/909.88 c #Conflicts: 834000 | #Constraints: 23832
907.40/909.88 c #Conflicts: 835000 | #Constraints: 24832
907.40/909.88 c #Conflicts: 836000 | #Constraints: 25832
907.40/909.88 c #Conflicts: 837000 | #Constraints: 26832
907.40/909.88 c #Conflicts: 838000 | #Constraints: 27832
907.40/909.88 c #Conflicts: 839000 | #Constraints: 28832
907.40/909.88 c #Conflicts: 840000 | #Constraints: 29832
1045.27/1048.04 c #Conflicts: 841000 | #Constraints: 30832
1045.27/1048.04 c #Conflicts: 842000 | #Constraints: 31832
1045.27/1048.04 c #Conflicts: 843000 | #Constraints: 32832
1045.27/1048.04 c #Conflicts: 844000 | #Constraints: 33832
1045.27/1048.04 c #Conflicts: 845000 | #Constraints: 34832
1045.27/1048.04 c #Conflicts: 846000 | #Constraints: 35832
1045.27/1048.04 c INPROCESSING
1045.27/1048.04 c GARBAGE COLLECT
1045.27/1048.04 c #Conflicts: 847000 | #Constraints: 18634
1045.27/1048.04 c #Conflicts: 848000 | #Constraints: 19634
1045.27/1048.04 c #Conflicts: 849000 | #Constraints: 20634
1045.27/1048.04 c #Conflicts: 850000 | #Constraints: 21634
1045.27/1048.04 c #Conflicts: 851000 | #Constraints: 22634
1045.27/1048.04 c #Conflicts: 852000 | #Constraints: 23634
1045.27/1048.04 c #Conflicts: 853000 | #Constraints: 24634
1045.27/1048.04 c #Conflicts: 854000 | #Constraints: 25634
1045.27/1048.04 c #Conflicts: 855000 | #Constraints: 26634
1045.27/1048.04 c #Conflicts: 856000 | #Constraints: 27634
1045.27/1048.04 c #Conflicts: 857000 | #Constraints: 28634
1045.27/1048.04 c #Conflicts: 858000 | #Constraints: 29634
1045.27/1048.04 c #Conflicts: 859000 | #Constraints: 30634
1045.27/1048.04 c #Conflicts: 860000 | #Constraints: 31634
1045.27/1048.04 c #Conflicts: 861000 | #Constraints: 32634
1045.27/1048.04 c #Conflicts: 862000 | #Constraints: 33634
1045.27/1048.04 c #Conflicts: 863000 | #Constraints: 34634
1045.27/1048.04 c #Conflicts: 864000 | #Constraints: 35634
1045.27/1048.04 c #Conflicts: 865000 | #Constraints: 36634
1045.27/1048.04 c INPROCESSING
1045.27/1048.04 c GARBAGE COLLECT
1045.27/1048.04 c #Conflicts: 866000 | #Constraints: 19229
1045.27/1048.04 c #Conflicts: 867000 | #Constraints: 20229
1045.27/1048.04 c #Conflicts: 868000 | #Constraints: 21229
1045.27/1048.04 c #Conflicts: 869000 | #Constraints: 22229
1045.27/1048.04 c #Conflicts: 870000 | #Constraints: 23229
1045.27/1048.04 c #Conflicts: 871000 | #Constraints: 24229
1045.27/1048.04 c #Conflicts: 872000 | #Constraints: 25229
1045.27/1048.04 c #Conflicts: 873000 | #Constraints: 26229
1045.27/1048.04 c #Conflicts: 874000 | #Constraints: 27229
1045.27/1048.04 c #Conflicts: 875000 | #Constraints: 28229
1045.27/1048.04 c #Conflicts: 876000 | #Constraints: 29229
1045.27/1048.04 c #Conflicts: 877000 | #Constraints: 30229
1045.27/1048.04 c #Conflicts: 878000 | #Constraints: 31229
1045.27/1048.04 c #Conflicts: 879000 | #Constraints: 32229
1045.27/1048.04 c #Conflicts: 880000 | #Constraints: 33229
1045.27/1048.04 c #Conflicts: 881000 | #Constraints: 34229
1045.27/1048.04 c #Conflicts: 882000 | #Constraints: 35229
1045.27/1048.04 c #Conflicts: 883000 | #Constraints: 36229
1045.27/1048.04 c #Conflicts: 884000 | #Constraints: 37229
1045.27/1048.04 c INPROCESSING
1045.27/1048.04 c GARBAGE COLLECT
1045.27/1048.04 c #Conflicts: 885000 | #Constraints: 19631
1045.27/1048.04 c #Conflicts: 886000 | #Constraints: 20631
1045.27/1048.04 c #Conflicts: 887000 | #Constraints: 21631
1045.27/1048.04 c #Conflicts: 888000 | #Constraints: 22631
1045.27/1048.04 c #Conflicts: 889000 | #Constraints: 23631
1045.27/1048.04 c #Conflicts: 890000 | #Constraints: 24631
1045.27/1048.04 c #Conflicts: 891000 | #Constraints: 25631
1045.27/1048.04 c #Conflicts: 892000 | #Constraints: 26631
1045.27/1048.04 c #Conflicts: 893000 | #Constraints: 27631
1045.27/1048.04 c #Conflicts: 894000 | #Constraints: 28631
1045.27/1048.04 c #Conflicts: 895000 | #Constraints: 29631
1045.27/1048.04 c #Conflicts: 896000 | #Constraints: 30631
1045.27/1048.04 c #Conflicts: 897000 | #Constraints: 31631
1045.27/1048.04 c #Conflicts: 898000 | #Constraints: 32631
1045.27/1048.04 c #Conflicts: 899000 | #Constraints: 33631
1045.27/1048.04 c #Conflicts: 900000 | #Constraints: 34631
1045.27/1048.04 c #Conflicts: 901000 | #Constraints: 35631
1045.27/1048.04 c #Conflicts: 902000 | #Constraints: 36631
1045.27/1048.04 c #Conflicts: 903000 | #Constraints: 37631
1045.27/1048.04 c INPROCESSING
1045.27/1048.04 c GARBAGE COLLECT
1045.27/1048.04 c #Conflicts: 904000 | #Constraints: 19830
1045.27/1048.04 c #Conflicts: 905000 | #Constraints: 20830
1045.27/1048.04 c #Conflicts: 906000 | #Constraints: 21830
1045.27/1048.04 c #Conflicts: 907000 | #Constraints: 22830
1045.27/1048.04 c #Conflicts: 908000 | #Constraints: 23830
1045.27/1048.04 c #Conflicts: 909000 | #Constraints: 24830
1045.27/1048.04 c #Conflicts: 910000 | #Constraints: 25830
1045.27/1048.04 c #Conflicts: 911000 | #Constraints: 26830
1045.27/1048.04 c #Conflicts: 912000 | #Constraints: 27830
1045.27/1048.04 c #Conflicts: 913000 | #Constraints: 28830
1045.27/1048.04 c #Conflicts: 914000 | #Constraints: 29830
1045.27/1048.04 c #Conflicts: 915000 | #Constraints: 30830
1045.27/1048.04 c #Conflicts: 916000 | #Constraints: 31830
1197.20/1200.30 c #Conflicts: 917000 | #Constraints: 32830
1197.20/1200.30 c #Conflicts: 918000 | #Constraints: 33830
1197.20/1200.30 c #Conflicts: 919000 | #Constraints: 34830
1197.20/1200.30 c #Conflicts: 920000 | #Constraints: 35830
1197.20/1200.30 c #Conflicts: 921000 | #Constraints: 36830
1197.20/1200.30 c #Conflicts: 922000 | #Constraints: 37830
1197.20/1200.30 c INPROCESSING
1197.20/1200.30 c GARBAGE COLLECT
1197.20/1200.30 c #Conflicts: 923000 | #Constraints: 19829
1197.20/1200.30 c #Conflicts: 924000 | #Constraints: 20829
1197.20/1200.30 c #Conflicts: 925000 | #Constraints: 21829
1197.20/1200.30 c #Conflicts: 926000 | #Constraints: 22829
1197.20/1200.30 c #Conflicts: 927000 | #Constraints: 23829
1197.20/1200.30 c #Conflicts: 928000 | #Constraints: 24829
1197.20/1200.30 c #Conflicts: 929000 | #Constraints: 25829
1197.20/1200.30 c #Conflicts: 930000 | #Constraints: 26829
1197.20/1200.30 c #Conflicts: 931000 | #Constraints: 27829
1197.20/1200.30 c #Conflicts: 932000 | #Constraints: 28829
1197.20/1200.30 c #Conflicts: 933000 | #Constraints: 29829
1197.20/1200.30 c #Conflicts: 934000 | #Constraints: 30829
1197.20/1200.30 c #Conflicts: 935000 | #Constraints: 31829
1197.20/1200.30 c #Conflicts: 936000 | #Constraints: 32829
1197.20/1200.30 c #Conflicts: 937000 | #Constraints: 33829
1197.20/1200.30 c #Conflicts: 938000 | #Constraints: 34829
1197.20/1200.30 c #Conflicts: 939000 | #Constraints: 35829
1197.20/1200.30 c #Conflicts: 940000 | #Constraints: 36829
1197.20/1200.30 c #Conflicts: 941000 | #Constraints: 37829
1197.20/1200.30 c INPROCESSING
1197.20/1200.30 c GARBAGE COLLECT
1197.20/1200.30 c #Conflicts: 942000 | #Constraints: 19632
1197.20/1200.30 c #Conflicts: 943000 | #Constraints: 20632
1197.20/1200.30 c #Conflicts: 944000 | #Constraints: 21632
1197.20/1200.30 c #Conflicts: 945000 | #Constraints: 22632
1197.20/1200.30 c #Conflicts: 946000 | #Constraints: 23632
1197.20/1200.30 c #Conflicts: 947000 | #Constraints: 24632
1197.20/1200.30 c #Conflicts: 948000 | #Constraints: 25632
1197.20/1200.30 c #Conflicts: 949000 | #Constraints: 26632
1197.20/1200.30 c #Conflicts: 950000 | #Constraints: 27632
1197.20/1200.30 c #Conflicts: 951000 | #Constraints: 28632
1197.20/1200.30 c #Conflicts: 952000 | #Constraints: 29632
1197.20/1200.30 c #Conflicts: 953000 | #Constraints: 30632
1197.20/1200.30 c #Conflicts: 954000 | #Constraints: 31632
1197.20/1200.30 c #Conflicts: 955000 | #Constraints: 32632
1197.20/1200.30 c #Conflicts: 956000 | #Constraints: 33632
1197.20/1200.30 c #Conflicts: 957000 | #Constraints: 34632
1197.20/1200.30 c #Conflicts: 958000 | #Constraints: 35632
1197.20/1200.30 c #Conflicts: 959000 | #Constraints: 36632
1197.20/1200.30 c #Conflicts: 960000 | #Constraints: 37632
1197.20/1200.30 c #Conflicts: 961000 | #Constraints: 38632
1197.20/1200.30 c INPROCESSING
1197.20/1200.30 c GARBAGE COLLECT
1197.20/1200.30 c #Conflicts: 962000 | #Constraints: 20234
1197.20/1200.30 c #Conflicts: 963000 | #Constraints: 21234
1197.20/1200.30 c #Conflicts: 964000 | #Constraints: 22234
1197.20/1200.30 c #Conflicts: 965000 | #Constraints: 23234
1197.20/1200.30 c #Conflicts: 966000 | #Constraints: 24234
1197.20/1200.30 c #Conflicts: 967000 | #Constraints: 25234
1197.20/1200.30 c #Conflicts: 968000 | #Constraints: 26234
1197.20/1200.30 c #Conflicts: 969000 | #Constraints: 27234
1197.20/1200.30 c #Conflicts: 970000 | #Constraints: 28234
1197.20/1200.30 c #Conflicts: 971000 | #Constraints: 29234
1197.20/1200.30 c #Conflicts: 972000 | #Constraints: 30234
1197.20/1200.30 c #Conflicts: 973000 | #Constraints: 31234
1197.20/1200.30 c #Conflicts: 974000 | #Constraints: 32234
1197.20/1200.30 c #Conflicts: 975000 | #Constraints: 33234
1197.20/1200.30 c #Conflicts: 976000 | #Constraints: 34234
1197.20/1200.30 c #Conflicts: 977000 | #Constraints: 35234
1197.20/1200.30 c #Conflicts: 978000 | #Constraints: 36234
1197.20/1200.30 c #Conflicts: 979000 | #Constraints: 37234
1197.20/1200.30 c #Conflicts: 980000 | #Constraints: 38234
1197.20/1200.30 c #Conflicts: 981000 | #Constraints: 39234
1197.20/1200.30 c INPROCESSING
1197.20/1200.30 c GARBAGE COLLECT
1197.20/1200.30 c #Conflicts: 982000 | #Constraints: 20635
1197.20/1200.30 c #Conflicts: 983000 | #Constraints: 21635
1197.20/1200.30 c #Conflicts: 984000 | #Constraints: 22635
1197.20/1200.30 c #Conflicts: 985000 | #Constraints: 23635
1197.20/1200.30 c #Conflicts: 986000 | #Constraints: 24635
1197.20/1200.30 c #Conflicts: 987000 | #Constraints: 25635
1197.20/1200.30 c #Conflicts: 988000 | #Constraints: 26635
1197.20/1200.30 c #Conflicts: 989000 | #Constraints: 27635
1197.20/1200.30 c #Conflicts: 990000 | #Constraints: 28635
1197.20/1200.30 c #Conflicts: 991000 | #Constraints: 29635
1197.20/1200.30 c #Conflicts: 992000 | #Constraints: 30635
1391.42/1395.02 c #Conflicts: 993000 | #Constraints: 31635
1391.42/1395.02 c #Conflicts: 994000 | #Constraints: 32635
1391.42/1395.02 c #Conflicts: 995000 | #Constraints: 33635
1391.42/1395.02 c #Conflicts: 996000 | #Constraints: 34635
1391.42/1395.02 c #Conflicts: 997000 | #Constraints: 35635
1391.42/1395.02 c #Conflicts: 998000 | #Constraints: 36635
1391.42/1395.02 c #Conflicts: 999000 | #Constraints: 37635
1391.42/1395.02 c #Conflicts: 1000000 | #Constraints: 38635
1391.42/1395.02 c #Conflicts: 1001000 | #Constraints: 39635
1391.42/1395.02 c INPROCESSING
1391.42/1395.02 c GARBAGE COLLECT
1391.42/1395.02 c #Conflicts: 1002000 | #Constraints: 20833
1391.42/1395.02 c #Conflicts: 1003000 | #Constraints: 21833
1391.42/1395.02 c #Conflicts: 1004000 | #Constraints: 22833
1391.42/1395.02 c #Conflicts: 1005000 | #Constraints: 23833
1391.42/1395.02 c #Conflicts: 1006000 | #Constraints: 24833
1391.42/1395.02 c #Conflicts: 1007000 | #Constraints: 25833
1391.42/1395.02 c #Conflicts: 1008000 | #Constraints: 26833
1391.42/1395.02 c #Conflicts: 1009000 | #Constraints: 27833
1391.42/1395.02 c #Conflicts: 1010000 | #Constraints: 28833
1391.42/1395.02 c #Conflicts: 1011000 | #Constraints: 29833
1391.42/1395.02 c #Conflicts: 1012000 | #Constraints: 30833
1391.42/1395.02 c #Conflicts: 1013000 | #Constraints: 31833
1391.42/1395.02 c #Conflicts: 1014000 | #Constraints: 32833
1391.42/1395.02 c #Conflicts: 1015000 | #Constraints: 33833
1391.42/1395.02 c #Conflicts: 1016000 | #Constraints: 34833
1391.42/1395.02 c #Conflicts: 1017000 | #Constraints: 35833
1391.42/1395.02 c #Conflicts: 1018000 | #Constraints: 36833
1391.42/1395.02 c #Conflicts: 1019000 | #Constraints: 37833
1391.42/1395.02 c #Conflicts: 1020000 | #Constraints: 38833
1391.42/1395.02 c #Conflicts: 1021000 | #Constraints: 39833
1391.42/1395.02 c INPROCESSING
1391.42/1395.02 c GARBAGE COLLECT
1391.42/1395.02 c #Conflicts: 1022000 | #Constraints: 20834
1391.42/1395.02 c #Conflicts: 1023000 | #Constraints: 21834
1391.42/1395.02 c #Conflicts: 1024000 | #Constraints: 22834
1391.42/1395.02 c #Conflicts: 1025000 | #Constraints: 23834
1391.42/1395.02 c #Conflicts: 1026000 | #Constraints: 24834
1391.42/1395.02 c #Conflicts: 1027000 | #Constraints: 25834
1391.42/1395.02 c #Conflicts: 1028000 | #Constraints: 26834
1391.42/1395.02 c #Conflicts: 1029000 | #Constraints: 27834
1391.42/1395.02 c #Conflicts: 1030000 | #Constraints: 28834
1391.42/1395.02 c #Conflicts: 1031000 | #Constraints: 29834
1391.42/1395.02 c #Conflicts: 1032000 | #Constraints: 30834
1391.42/1395.02 c #Conflicts: 1033000 | #Constraints: 31834
1391.42/1395.02 c #Conflicts: 1034000 | #Constraints: 32834
1391.42/1395.02 c #Conflicts: 1035000 | #Constraints: 33834
1391.42/1395.02 c #Conflicts: 1036000 | #Constraints: 34834
1391.42/1395.02 c #Conflicts: 1037000 | #Constraints: 35834
1391.42/1395.02 c #Conflicts: 1038000 | #Constraints: 36834
1391.42/1395.02 c #Conflicts: 1039000 | #Constraints: 37834
1391.42/1395.02 c #Conflicts: 1040000 | #Constraints: 38834
1391.42/1395.02 c #Conflicts: 1041000 | #Constraints: 39834
1391.42/1395.02 c INPROCESSING
1391.42/1395.02 c GARBAGE COLLECT
1391.42/1395.02 c #Conflicts: 1042000 | #Constraints: 20637
1391.42/1395.02 c #Conflicts: 1043000 | #Constraints: 21637
1391.42/1395.02 c #Conflicts: 1044000 | #Constraints: 22637
1391.42/1395.02 c #Conflicts: 1045000 | #Constraints: 23637
1391.42/1395.02 c #Conflicts: 1046000 | #Constraints: 24637
1391.42/1395.02 c #Conflicts: 1047000 | #Constraints: 25637
1391.42/1395.02 c #Conflicts: 1048000 | #Constraints: 26637
1391.42/1395.02 c #Conflicts: 1049000 | #Constraints: 27637
1391.42/1395.02 c #Conflicts: 1050000 | #Constraints: 28637
1391.42/1395.02 c #Conflicts: 1051000 | #Constraints: 29637
1391.42/1395.02 c #Conflicts: 1052000 | #Constraints: 30637
1391.42/1395.02 c #Conflicts: 1053000 | #Constraints: 31637
1391.42/1395.02 c #Conflicts: 1054000 | #Constraints: 32637
1391.42/1395.02 c #Conflicts: 1055000 | #Constraints: 33637
1391.42/1395.02 c #Conflicts: 1056000 | #Constraints: 34637
1391.42/1395.02 c #Conflicts: 1057000 | #Constraints: 35637
1391.42/1395.02 c #Conflicts: 1058000 | #Constraints: 36637
1391.42/1395.02 c #Conflicts: 1059000 | #Constraints: 37637
1391.42/1395.02 c #Conflicts: 1060000 | #Constraints: 38637
1391.42/1395.02 c #Conflicts: 1061000 | #Constraints: 39637
1391.42/1395.02 c #Conflicts: 1062000 | #Constraints: 40637
1391.42/1395.02 c INPROCESSING
1391.42/1395.02 c GARBAGE COLLECT
1391.42/1395.02 c #Conflicts: 1063000 | #Constraints: 21236
1391.42/1395.02 c #Conflicts: 1064000 | #Constraints: 22236
1391.42/1395.02 c #Conflicts: 1065000 | #Constraints: 23236
1391.42/1395.02 c #Conflicts: 1066000 | #Constraints: 24236
1391.42/1395.02 c #Conflicts: 1067000 | #Constraints: 25236
1391.42/1395.02 c #Conflicts: 1068000 | #Constraints: 26236
1606.63/1610.82 c #Conflicts: 1069000 | #Constraints: 27236
1606.63/1610.82 c #Conflicts: 1070000 | #Constraints: 28236
1606.63/1610.82 c #Conflicts: 1071000 | #Constraints: 29236
1606.63/1610.82 c #Conflicts: 1072000 | #Constraints: 30236
1606.63/1610.82 c #Conflicts: 1073000 | #Constraints: 31236
1606.63/1610.82 c #Conflicts: 1074000 | #Constraints: 32236
1606.63/1610.82 c #Conflicts: 1075000 | #Constraints: 33236
1606.63/1610.82 c #Conflicts: 1076000 | #Constraints: 34236
1606.63/1610.82 c #Conflicts: 1077000 | #Constraints: 35236
1606.63/1610.82 c #Conflicts: 1078000 | #Constraints: 36236
1606.63/1610.82 c #Conflicts: 1079000 | #Constraints: 37236
1606.63/1610.82 c #Conflicts: 1080000 | #Constraints: 38236
1606.63/1610.82 c #Conflicts: 1081000 | #Constraints: 39236
1606.63/1610.82 c #Conflicts: 1082000 | #Constraints: 40236
1606.63/1610.82 c #Conflicts: 1083000 | #Constraints: 41236
1606.63/1610.82 c INPROCESSING
1606.63/1610.82 c GARBAGE COLLECT
1606.63/1610.82 c #Conflicts: 1084000 | #Constraints: 21633
1606.63/1610.82 c #Conflicts: 1085000 | #Constraints: 22633
1606.63/1610.82 c #Conflicts: 1086000 | #Constraints: 23633
1606.63/1610.82 c #Conflicts: 1087000 | #Constraints: 24633
1606.63/1610.82 c #Conflicts: 1088000 | #Constraints: 25633
1606.63/1610.82 c #Conflicts: 1089000 | #Constraints: 26633
1606.63/1610.82 c #Conflicts: 1090000 | #Constraints: 27633
1606.63/1610.82 c #Conflicts: 1091000 | #Constraints: 28633
1606.63/1610.82 c #Conflicts: 1092000 | #Constraints: 29633
1606.63/1610.82 c #Conflicts: 1093000 | #Constraints: 30633
1606.63/1610.82 c #Conflicts: 1094000 | #Constraints: 31633
1606.63/1610.82 c #Conflicts: 1095000 | #Constraints: 32633
1606.63/1610.82 c #Conflicts: 1096000 | #Constraints: 33633
1606.63/1610.82 c #Conflicts: 1097000 | #Constraints: 34633
1606.63/1610.82 c #Conflicts: 1098000 | #Constraints: 35633
1606.63/1610.82 c #Conflicts: 1099000 | #Constraints: 36633
1606.63/1610.82 c #Conflicts: 1100000 | #Constraints: 37633
1606.63/1610.82 c #Conflicts: 1101000 | #Constraints: 38633
1606.63/1610.82 c #Conflicts: 1102000 | #Constraints: 39633
1606.63/1610.82 c #Conflicts: 1103000 | #Constraints: 40633
1606.63/1610.82 c #Conflicts: 1104000 | #Constraints: 41633
1606.63/1610.82 c INPROCESSING
1606.63/1610.82 c GARBAGE COLLECT
1606.63/1610.82 c #Conflicts: 1105000 | #Constraints: 21835
1606.63/1610.82 c #Conflicts: 1106000 | #Constraints: 22835
1606.63/1610.82 c #Conflicts: 1107000 | #Constraints: 23835
1606.63/1610.82 c #Conflicts: 1108000 | #Constraints: 24835
1606.63/1610.82 c #Conflicts: 1109000 | #Constraints: 25835
1606.63/1610.82 c #Conflicts: 1110000 | #Constraints: 26835
1606.63/1610.82 c #Conflicts: 1111000 | #Constraints: 27835
1606.63/1610.82 c #Conflicts: 1112000 | #Constraints: 28835
1606.63/1610.82 c #Conflicts: 1113000 | #Constraints: 29835
1606.63/1610.82 c #Conflicts: 1114000 | #Constraints: 30835
1606.63/1610.82 c #Conflicts: 1115000 | #Constraints: 31835
1606.63/1610.82 c #Conflicts: 1116000 | #Constraints: 32835
1606.63/1610.82 c #Conflicts: 1117000 | #Constraints: 33835
1606.63/1610.82 c #Conflicts: 1118000 | #Constraints: 34835
1606.63/1610.82 c #Conflicts: 1119000 | #Constraints: 35835
1606.63/1610.82 c #Conflicts: 1120000 | #Constraints: 36835
1606.63/1610.82 c #Conflicts: 1121000 | #Constraints: 37835
1606.63/1610.82 c #Conflicts: 1122000 | #Constraints: 38835
1606.63/1610.82 c #Conflicts: 1123000 | #Constraints: 39835
1606.63/1610.82 c #Conflicts: 1124000 | #Constraints: 40835
1606.63/1610.82 c #Conflicts: 1125000 | #Constraints: 41835
1606.63/1610.82 c INPROCESSING
1606.63/1610.82 c GARBAGE COLLECT
1606.63/1610.82 c #Conflicts: 1126000 | #Constraints: 21836
1606.63/1610.82 c #Conflicts: 1127000 | #Constraints: 22836
1606.63/1610.82 c #Conflicts: 1128000 | #Constraints: 23836
1606.63/1610.82 c #Conflicts: 1129000 | #Constraints: 24836
1606.63/1610.82 c #Conflicts: 1130000 | #Constraints: 25836
1606.63/1610.82 c #Conflicts: 1131000 | #Constraints: 26836
1606.63/1610.82 c #Conflicts: 1132000 | #Constraints: 27836
1606.63/1610.82 c #Conflicts: 1133000 | #Constraints: 28836
1606.63/1610.82 c #Conflicts: 1134000 | #Constraints: 29836
1606.63/1610.82 c #Conflicts: 1135000 | #Constraints: 30836
1606.63/1610.82 c #Conflicts: 1136000 | #Constraints: 31836
1606.63/1610.82 c #Conflicts: 1137000 | #Constraints: 32836
1606.63/1610.82 c #Conflicts: 1138000 | #Constraints: 33836
1606.63/1610.82 c #Conflicts: 1139000 | #Constraints: 34836
1606.63/1610.82 c #Conflicts: 1140000 | #Constraints: 35836
1606.63/1610.82 c #Conflicts: 1141000 | #Constraints: 36836
1606.63/1610.82 c #Conflicts: 1142000 | #Constraints: 37836
1606.63/1610.82 c #Conflicts: 1143000 | #Constraints: 38836
1606.63/1610.82 c #Conflicts: 1144000 | #Constraints: 39836
1606.63/1610.82 c #Conflicts: 1145000 | #Constraints: 40836
1788.94/1793.62 c #Conflicts: 1146000 | #Constraints: 41836
1788.94/1793.62 c INPROCESSING
1788.94/1793.62 c GARBAGE COLLECT
1788.94/1793.62 c #Conflicts: 1147000 | #Constraints: 21632
1788.94/1793.62 c #Conflicts: 1148000 | #Constraints: 22632
1788.94/1793.62 c #Conflicts: 1149000 | #Constraints: 23632
1788.94/1793.62 c #Conflicts: 1150000 | #Constraints: 24632
1788.94/1793.62 c #Conflicts: 1151000 | #Constraints: 25632
1788.94/1793.62 c #Conflicts: 1152000 | #Constraints: 26632
1788.94/1793.62 c #Conflicts: 1153000 | #Constraints: 27632
1788.94/1793.62 c #Conflicts: 1154000 | #Constraints: 28632
1788.94/1793.62 c #Conflicts: 1155000 | #Constraints: 29632
1788.94/1793.62 c #Conflicts: 1156000 | #Constraints: 30632
1788.94/1793.62 c #Conflicts: 1157000 | #Constraints: 31632
1788.94/1793.62 c #Conflicts: 1158000 | #Constraints: 32632
1788.94/1793.62 c #Conflicts: 1159000 | #Constraints: 33632
1788.94/1793.62 c #Conflicts: 1160000 | #Constraints: 34632
1788.94/1793.62 c #Conflicts: 1161000 | #Constraints: 35632
1788.94/1793.62 c #Conflicts: 1162000 | #Constraints: 36632
1788.94/1793.62 c #Conflicts: 1163000 | #Constraints: 37632
1788.94/1793.62 c #Conflicts: 1164000 | #Constraints: 38632
1788.94/1793.62 c #Conflicts: 1165000 | #Constraints: 39632
1788.94/1793.62 c #Conflicts: 1166000 | #Constraints: 40632
1788.94/1793.62 c #Conflicts: 1167000 | #Constraints: 41632
1788.94/1793.62 c #Conflicts: 1168000 | #Constraints: 42632
1788.94/1793.62 c INPROCESSING
1788.94/1793.62 c GARBAGE COLLECT
1788.94/1793.62 c #Conflicts: 1169000 | #Constraints: 22234
1788.94/1793.62 c #Conflicts: 1170000 | #Constraints: 23234
1788.94/1793.62 c #Conflicts: 1171000 | #Constraints: 24234
1788.94/1793.62 c #Conflicts: 1172000 | #Constraints: 25234
1788.94/1793.62 c #Conflicts: 1173000 | #Constraints: 26234
1788.94/1793.62 c #Conflicts: 1174000 | #Constraints: 27234
1788.94/1793.62 c #Conflicts: 1175000 | #Constraints: 28234
1788.94/1793.62 c #Conflicts: 1176000 | #Constraints: 29234
1788.94/1793.62 c #Conflicts: 1177000 | #Constraints: 30234
1788.94/1793.62 c #Conflicts: 1178000 | #Constraints: 31234
1788.94/1793.62 c #Conflicts: 1179000 | #Constraints: 32234
1788.94/1793.62 c #Conflicts: 1180000 | #Constraints: 33234
1788.94/1793.62 c #Conflicts: 1181000 | #Constraints: 34234
1788.94/1793.62 c #Conflicts: 1182000 | #Constraints: 35234
1788.94/1793.62 c #Conflicts: 1183000 | #Constraints: 36234
1788.94/1793.62 c #Conflicts: 1184000 | #Constraints: 37234
1788.94/1793.62 c #Conflicts: 1185000 | #Constraints: 38234
1788.94/1793.62 c #Conflicts: 1186000 | #Constraints: 39234
1788.94/1793.62 c #Conflicts: 1187000 | #Constraints: 40234
1788.94/1793.62 c #Conflicts: 1188000 | #Constraints: 41234
1788.94/1793.62 c #Conflicts: 1189000 | #Constraints: 42234
1788.94/1793.62 c #Conflicts: 1190000 | #Constraints: 43234
1788.94/1793.62 c INPROCESSING
1788.94/1793.62 c GARBAGE COLLECT
1788.94/1793.62 c #Conflicts: 1191000 | #Constraints: 22633
1788.94/1793.62 c #Conflicts: 1192000 | #Constraints: 23633
1788.94/1793.62 c #Conflicts: 1193000 | #Constraints: 24633
1788.94/1793.62 c #Conflicts: 1194000 | #Constraints: 25633
1788.94/1793.62 c #Conflicts: 1195000 | #Constraints: 26633
1788.94/1793.62 c #Conflicts: 1196000 | #Constraints: 27633
1788.94/1793.62 c #Conflicts: 1197000 | #Constraints: 28633
1788.94/1793.62 c #Conflicts: 1198000 | #Constraints: 29633
1788.94/1793.62 c #Conflicts: 1199000 | #Constraints: 30633
1788.94/1793.62 c #Conflicts: 1200000 | #Constraints: 31633
1788.94/1793.62 c #Conflicts: 1201000 | #Constraints: 32633
1788.94/1793.62 c #Conflicts: 1202000 | #Constraints: 33633
1788.94/1793.62 c #Conflicts: 1203000 | #Constraints: 34633
1788.94/1793.62 c #Conflicts: 1204000 | #Constraints: 35633
1788.94/1793.62 c #Conflicts: 1205000 | #Constraints: 36633
1788.94/1793.62 c #Conflicts: 1206000 | #Constraints: 37633
1788.94/1793.62 c #Conflicts: 1207000 | #Constraints: 38633
1788.94/1793.62 c #Conflicts: 1208000 | #Constraints: 39633
1788.94/1793.62 c #Conflicts: 1209000 | #Constraints: 40633
1788.94/1793.62 c #Conflicts: 1210000 | #Constraints: 41633
1788.94/1793.62 c #Conflicts: 1211000 | #Constraints: 42633
1788.94/1793.62 c #Conflicts: 1212000 | #Constraints: 43633
1788.94/1793.62 c INPROCESSING
1788.94/1793.62 c GARBAGE COLLECT
1788.94/1793.62 c #Conflicts: 1213000 | #Constraints: 22831
1788.94/1793.62 c #Conflicts: 1214000 | #Constraints: 23831
1788.94/1793.62 c #Conflicts: 1215000 | #Constraints: 24831
1788.94/1793.62 c #Conflicts: 1216000 | #Constraints: 25831
1788.94/1793.62 c #Conflicts: 1217000 | #Constraints: 26831
1788.94/1793.62 c #Conflicts: 1218000 | #Constraints: 27831
1788.94/1793.62 c #Conflicts: 1219000 | #Constraints: 28831
1788.94/1793.62 c #Conflicts: 1220000 | #Constraints: 29831
1788.94/1793.62 c #Conflicts: 1221000 | #Constraints: 30831
1788.94/1793.62 c #Conflicts: 1222000 | #Constraints: 31831
1974.34/1979.52 c #Conflicts: 1223000 | #Constraints: 32831
1974.34/1979.52 c #Conflicts: 1224000 | #Constraints: 33831
1974.34/1979.52 c #Conflicts: 1225000 | #Constraints: 34831
1974.34/1979.52 c #Conflicts: 1226000 | #Constraints: 35831
1974.34/1979.52 c #Conflicts: 1227000 | #Constraints: 36831
1974.34/1979.52 c #Conflicts: 1228000 | #Constraints: 37831
1974.34/1979.52 c #Conflicts: 1229000 | #Constraints: 38831
1974.34/1979.52 c #Conflicts: 1230000 | #Constraints: 39831
1974.34/1979.52 c #Conflicts: 1231000 | #Constraints: 40831
1974.34/1979.52 c #Conflicts: 1232000 | #Constraints: 41831
1974.34/1979.52 c #Conflicts: 1233000 | #Constraints: 42831
1974.34/1979.52 c #Conflicts: 1234000 | #Constraints: 43831
1974.34/1979.52 c INPROCESSING
1974.34/1979.52 c GARBAGE COLLECT
1974.34/1979.52 c #Conflicts: 1235000 | #Constraints: 22832
1974.34/1979.52 c #Conflicts: 1236000 | #Constraints: 23832
1974.34/1979.52 c #Conflicts: 1237000 | #Constraints: 24832
1974.34/1979.52 c #Conflicts: 1238000 | #Constraints: 25832
1974.34/1979.52 c #Conflicts: 1239000 | #Constraints: 26832
1974.34/1979.52 c #Conflicts: 1240000 | #Constraints: 27832
1974.34/1979.52 c #Conflicts: 1241000 | #Constraints: 28832
1974.34/1979.52 c #Conflicts: 1242000 | #Constraints: 29832
1974.34/1979.52 c #Conflicts: 1243000 | #Constraints: 30832
1974.34/1979.52 c #Conflicts: 1244000 | #Constraints: 31832
1974.34/1979.52 c #Conflicts: 1245000 | #Constraints: 32832
1974.34/1979.52 c #Conflicts: 1246000 | #Constraints: 33832
1974.34/1979.52 c #Conflicts: 1247000 | #Constraints: 34832
1974.34/1979.52 c #Conflicts: 1248000 | #Constraints: 35832
1974.34/1979.52 c #Conflicts: 1249000 | #Constraints: 36832
1974.34/1979.52 c #Conflicts: 1250000 | #Constraints: 37832
1974.34/1979.52 c #Conflicts: 1251000 | #Constraints: 38832
1974.34/1979.52 c #Conflicts: 1252000 | #Constraints: 39832
1974.34/1979.52 c #Conflicts: 1253000 | #Constraints: 40832
1974.34/1979.52 c #Conflicts: 1254000 | #Constraints: 41832
1974.34/1979.52 c #Conflicts: 1255000 | #Constraints: 42832
1974.34/1979.52 c #Conflicts: 1256000 | #Constraints: 43832
1974.34/1979.52 c INPROCESSING
1974.34/1979.52 c GARBAGE COLLECT
1974.34/1979.52 c #Conflicts: 1257000 | #Constraints: 22630
1974.34/1979.52 c #Conflicts: 1258000 | #Constraints: 23630
1974.34/1979.52 c #Conflicts: 1259000 | #Constraints: 24630
1974.34/1979.52 c #Conflicts: 1260000 | #Constraints: 25630
1974.34/1979.52 c #Conflicts: 1261000 | #Constraints: 26630
1974.34/1979.52 c #Conflicts: 1262000 | #Constraints: 27630
1974.34/1979.52 c #Conflicts: 1263000 | #Constraints: 28630
1974.34/1979.52 c #Conflicts: 1264000 | #Constraints: 29630
1974.34/1979.52 c #Conflicts: 1265000 | #Constraints: 30630
1974.34/1979.52 c #Conflicts: 1266000 | #Constraints: 31630
1974.34/1979.52 c #Conflicts: 1267000 | #Constraints: 32630
1974.34/1979.52 c #Conflicts: 1268000 | #Constraints: 33630
1974.34/1979.52 c #Conflicts: 1269000 | #Constraints: 34630
1974.34/1979.52 c #Conflicts: 1270000 | #Constraints: 35630
1974.34/1979.52 c #Conflicts: 1271000 | #Constraints: 36630
1974.34/1979.52 c #Conflicts: 1272000 | #Constraints: 37630
1974.34/1979.52 c #Conflicts: 1273000 | #Constraints: 38630
1974.34/1979.52 c #Conflicts: 1274000 | #Constraints: 39630
1974.34/1979.52 c #Conflicts: 1275000 | #Constraints: 40630
1974.34/1979.52 c #Conflicts: 1276000 | #Constraints: 41630
1974.34/1979.52 c #Conflicts: 1277000 | #Constraints: 42630
1974.34/1979.52 c #Conflicts: 1278000 | #Constraints: 43630
1974.34/1979.52 c #Conflicts: 1279000 | #Constraints: 44630
1974.34/1979.52 c INPROCESSING
1974.34/1979.52 c GARBAGE COLLECT
1974.34/1979.52 c #Conflicts: 1280000 | #Constraints: 23228
1974.34/1979.52 c #Conflicts: 1281000 | #Constraints: 24228
1974.34/1979.52 c #Conflicts: 1282000 | #Constraints: 25228
1974.34/1979.52 c #Conflicts: 1283000 | #Constraints: 26228
1974.34/1979.52 c #Conflicts: 1284000 | #Constraints: 27228
1974.34/1979.52 c #Conflicts: 1285000 | #Constraints: 28228
1974.34/1979.52 c #Conflicts: 1286000 | #Constraints: 29228
1974.34/1979.52 c #Conflicts: 1287000 | #Constraints: 30228
1974.34/1979.52 c #Conflicts: 1288000 | #Constraints: 31228
1974.34/1979.52 c #Conflicts: 1289000 | #Constraints: 32228
1974.34/1979.52 c #Conflicts: 1290000 | #Constraints: 33228
1974.34/1979.52 c #Conflicts: 1291000 | #Constraints: 34228
1974.34/1979.52 c #Conflicts: 1292000 | #Constraints: 35228
1974.34/1979.52 c #Conflicts: 1293000 | #Constraints: 36228
1974.34/1979.52 c #Conflicts: 1294000 | #Constraints: 37228
1974.34/1979.52 c #Conflicts: 1295000 | #Constraints: 38228
1974.34/1979.52 c #Conflicts: 1296000 | #Constraints: 39228
1974.34/1979.52 c #Conflicts: 1297000 | #Constraints: 40228
1974.34/1979.52 c #Conflicts: 1298000 | #Constraints: 41228
2190.65/2196.48 c #Conflicts: 1299000 | #Constraints: 42228
2190.65/2196.48 c #Conflicts: 1300000 | #Constraints: 43228
2190.65/2196.48 c #Conflicts: 1301000 | #Constraints: 44228
2190.65/2196.48 c #Conflicts: 1302000 | #Constraints: 45228
2190.65/2196.48 c INPROCESSING
2190.65/2196.48 c GARBAGE COLLECT
2190.65/2196.48 c #Conflicts: 1303000 | #Constraints: 23631
2190.65/2196.48 c #Conflicts: 1304000 | #Constraints: 24631
2190.65/2196.48 c #Conflicts: 1305000 | #Constraints: 25631
2190.65/2196.48 c #Conflicts: 1306000 | #Constraints: 26631
2190.65/2196.48 c #Conflicts: 1307000 | #Constraints: 27631
2190.65/2196.48 c #Conflicts: 1308000 | #Constraints: 28631
2190.65/2196.48 c #Conflicts: 1309000 | #Constraints: 29631
2190.65/2196.48 c #Conflicts: 1310000 | #Constraints: 30631
2190.65/2196.48 c #Conflicts: 1311000 | #Constraints: 31631
2190.65/2196.48 c #Conflicts: 1312000 | #Constraints: 32631
2190.65/2196.48 c #Conflicts: 1313000 | #Constraints: 33631
2190.65/2196.48 c #Conflicts: 1314000 | #Constraints: 34631
2190.65/2196.48 c #Conflicts: 1315000 | #Constraints: 35631
2190.65/2196.48 c #Conflicts: 1316000 | #Constraints: 36631
2190.65/2196.48 c #Conflicts: 1317000 | #Constraints: 37631
2190.65/2196.48 c #Conflicts: 1318000 | #Constraints: 38631
2190.65/2196.48 c #Conflicts: 1319000 | #Constraints: 39631
2190.65/2196.48 c #Conflicts: 1320000 | #Constraints: 40631
2190.65/2196.48 c #Conflicts: 1321000 | #Constraints: 41631
2190.65/2196.48 c #Conflicts: 1322000 | #Constraints: 42631
2190.65/2196.48 c #Conflicts: 1323000 | #Constraints: 43631
2190.65/2196.48 c #Conflicts: 1324000 | #Constraints: 44631
2190.65/2196.48 c #Conflicts: 1325000 | #Constraints: 45631
2190.65/2196.48 c INPROCESSING
2190.65/2196.48 c GARBAGE COLLECT
2190.65/2196.48 c #Conflicts: 1326000 | #Constraints: 23835
2190.65/2196.48 c #Conflicts: 1327000 | #Constraints: 24835
2190.65/2196.48 c #Conflicts: 1328000 | #Constraints: 25835
2190.65/2196.48 c #Conflicts: 1329000 | #Constraints: 26835
2190.65/2196.48 c #Conflicts: 1330000 | #Constraints: 27835
2190.65/2196.48 c #Conflicts: 1331000 | #Constraints: 28835
2190.65/2196.48 c #Conflicts: 1332000 | #Constraints: 29835
2190.65/2196.48 c #Conflicts: 1333000 | #Constraints: 30835
2190.65/2196.48 c #Conflicts: 1334000 | #Constraints: 31835
2190.65/2196.48 c #Conflicts: 1335000 | #Constraints: 32835
2190.65/2196.48 c #Conflicts: 1336000 | #Constraints: 33835
2190.65/2196.48 c #Conflicts: 1337000 | #Constraints: 34835
2190.65/2196.48 c #Conflicts: 1338000 | #Constraints: 35835
2190.65/2196.48 c #Conflicts: 1339000 | #Constraints: 36835
2190.65/2196.48 c #Conflicts: 1340000 | #Constraints: 37835
2190.65/2196.48 c #Conflicts: 1341000 | #Constraints: 38835
2190.65/2196.48 c #Conflicts: 1342000 | #Constraints: 39835
2190.65/2196.48 c #Conflicts: 1343000 | #Constraints: 40835
2190.65/2196.48 c #Conflicts: 1344000 | #Constraints: 41835
2190.65/2196.48 c #Conflicts: 1345000 | #Constraints: 42835
2190.65/2196.48 c #Conflicts: 1346000 | #Constraints: 43835
2190.65/2196.48 c #Conflicts: 1347000 | #Constraints: 44835
2190.65/2196.48 c #Conflicts: 1348000 | #Constraints: 45835
2190.65/2196.48 c INPROCESSING
2190.65/2196.48 c GARBAGE COLLECT
2190.65/2196.48 c #Conflicts: 1349000 | #Constraints: 23837
2190.65/2196.48 c #Conflicts: 1350000 | #Constraints: 24837
2190.65/2196.48 c #Conflicts: 1351000 | #Constraints: 25837
2190.65/2196.48 c #Conflicts: 1352000 | #Constraints: 26837
2190.65/2196.48 c #Conflicts: 1353000 | #Constraints: 27837
2190.65/2196.48 c #Conflicts: 1354000 | #Constraints: 28837
2190.65/2196.48 c #Conflicts: 1355000 | #Constraints: 29837
2190.65/2196.48 c #Conflicts: 1356000 | #Constraints: 30837
2190.65/2196.48 c #Conflicts: 1357000 | #Constraints: 31837
2190.65/2196.48 c #Conflicts: 1358000 | #Constraints: 32837
2190.65/2196.48 c #Conflicts: 1359000 | #Constraints: 33837
2190.65/2196.48 c #Conflicts: 1360000 | #Constraints: 34837
2190.65/2196.48 c #Conflicts: 1361000 | #Constraints: 35837
2190.65/2196.48 c #Conflicts: 1362000 | #Constraints: 36837
2190.65/2196.48 c #Conflicts: 1363000 | #Constraints: 37837
2190.65/2196.48 c #Conflicts: 1364000 | #Constraints: 38837
2190.65/2196.48 c #Conflicts: 1365000 | #Constraints: 39837
2190.65/2196.48 c #Conflicts: 1366000 | #Constraints: 40837
2190.65/2196.48 c #Conflicts: 1367000 | #Constraints: 41837
2190.65/2196.48 c #Conflicts: 1368000 | #Constraints: 42837
2190.65/2196.48 c #Conflicts: 1369000 | #Constraints: 43837
2190.65/2196.48 c #Conflicts: 1370000 | #Constraints: 44837
2190.65/2196.48 c #Conflicts: 1371000 | #Constraints: 45837
2190.65/2196.48 c INPROCESSING
2190.65/2196.48 c GARBAGE COLLECT
2190.65/2196.48 c #Conflicts: 1372000 | #Constraints: 23633
2190.65/2196.48 c #Conflicts: 1373000 | #Constraints: 24633
2190.65/2196.48 c #Conflicts: 1374000 | #Constraints: 25633
2190.65/2196.48 c #Conflicts: 1375000 | #Constraints: 26633
2399.38/2405.71 c #Conflicts: 1376000 | #Constraints: 27633
2399.38/2405.71 c #Conflicts: 1377000 | #Constraints: 28633
2399.38/2405.71 c #Conflicts: 1378000 | #Constraints: 29633
2399.38/2405.71 c #Conflicts: 1379000 | #Constraints: 30633
2399.38/2405.71 c #Conflicts: 1380000 | #Constraints: 31633
2399.38/2405.71 c #Conflicts: 1381000 | #Constraints: 32633
2399.38/2405.71 c #Conflicts: 1382000 | #Constraints: 33633
2399.38/2405.71 c #Conflicts: 1383000 | #Constraints: 34633
2399.38/2405.71 c #Conflicts: 1384000 | #Constraints: 35633
2399.38/2405.71 c #Conflicts: 1385000 | #Constraints: 36633
2399.38/2405.71 c #Conflicts: 1386000 | #Constraints: 37633
2399.38/2405.71 c #Conflicts: 1387000 | #Constraints: 38633
2399.38/2405.71 c #Conflicts: 1388000 | #Constraints: 39633
2399.38/2405.71 c #Conflicts: 1389000 | #Constraints: 40633
2399.38/2405.71 c #Conflicts: 1390000 | #Constraints: 41633
2399.38/2405.71 c #Conflicts: 1391000 | #Constraints: 42633
2399.38/2405.71 c #Conflicts: 1392000 | #Constraints: 43633
2399.38/2405.71 c #Conflicts: 1393000 | #Constraints: 44633
2399.38/2405.71 c #Conflicts: 1394000 | #Constraints: 45633
2399.38/2405.71 c #Conflicts: 1395000 | #Constraints: 46633
2399.38/2405.71 c INPROCESSING
2399.38/2405.71 c GARBAGE COLLECT
2399.38/2405.71 c #Conflicts: 1396000 | #Constraints: 24231
2399.38/2405.71 c #Conflicts: 1397000 | #Constraints: 25231
2399.38/2405.71 c #Conflicts: 1398000 | #Constraints: 26231
2399.38/2405.71 c #Conflicts: 1399000 | #Constraints: 27231
2399.38/2405.71 c #Conflicts: 1400000 | #Constraints: 28231
2399.38/2405.71 c #Conflicts: 1401000 | #Constraints: 29231
2399.38/2405.71 c #Conflicts: 1402000 | #Constraints: 30231
2399.38/2405.71 c #Conflicts: 1403000 | #Constraints: 31231
2399.38/2405.71 c #Conflicts: 1404000 | #Constraints: 32231
2399.38/2405.71 c #Conflicts: 1405000 | #Constraints: 33231
2399.38/2405.71 c #Conflicts: 1406000 | #Constraints: 34231
2399.38/2405.71 c #Conflicts: 1407000 | #Constraints: 35231
2399.38/2405.71 c #Conflicts: 1408000 | #Constraints: 36231
2399.38/2405.71 c #Conflicts: 1409000 | #Constraints: 37231
2399.38/2405.71 c #Conflicts: 1410000 | #Constraints: 38231
2399.38/2405.71 c #Conflicts: 1411000 | #Constraints: 39231
2399.38/2405.71 c #Conflicts: 1412000 | #Constraints: 40231
2399.38/2405.71 c #Conflicts: 1413000 | #Constraints: 41231
2399.38/2405.71 c #Conflicts: 1414000 | #Constraints: 42231
2399.38/2405.71 c #Conflicts: 1415000 | #Constraints: 43231
2399.38/2405.71 c #Conflicts: 1416000 | #Constraints: 44231
2399.38/2405.71 c #Conflicts: 1417000 | #Constraints: 45231
2399.38/2405.71 c #Conflicts: 1418000 | #Constraints: 46231
2399.38/2405.71 c #Conflicts: 1419000 | #Constraints: 47231
2399.38/2405.71 c INPROCESSING
2399.38/2405.71 c GARBAGE COLLECT
2399.38/2405.71 c #Conflicts: 1420000 | #Constraints: 24630
2399.38/2405.71 c #Conflicts: 1421000 | #Constraints: 25630
2399.38/2405.71 c #Conflicts: 1422000 | #Constraints: 26630
2399.38/2405.71 c #Conflicts: 1423000 | #Constraints: 27630
2399.38/2405.71 c #Conflicts: 1424000 | #Constraints: 28630
2399.38/2405.71 c #Conflicts: 1425000 | #Constraints: 29630
2399.38/2405.71 c #Conflicts: 1426000 | #Constraints: 30630
2399.38/2405.71 c #Conflicts: 1427000 | #Constraints: 31630
2399.38/2405.71 c #Conflicts: 1428000 | #Constraints: 32630
2399.38/2405.71 c #Conflicts: 1429000 | #Constraints: 33630
2399.38/2405.71 c #Conflicts: 1430000 | #Constraints: 34630
2399.38/2405.71 c #Conflicts: 1431000 | #Constraints: 35630
2399.38/2405.71 c #Conflicts: 1432000 | #Constraints: 36630
2399.38/2405.71 c #Conflicts: 1433000 | #Constraints: 37630
2399.38/2405.71 c #Conflicts: 1434000 | #Constraints: 38630
2399.38/2405.71 c #Conflicts: 1435000 | #Constraints: 39630
2399.38/2405.71 c #Conflicts: 1436000 | #Constraints: 40630
2399.38/2405.71 c #Conflicts: 1437000 | #Constraints: 41630
2399.38/2405.71 c #Conflicts: 1438000 | #Constraints: 42630
2399.38/2405.71 c #Conflicts: 1439000 | #Constraints: 43630
2399.38/2405.71 c #Conflicts: 1440000 | #Constraints: 44630
2399.38/2405.71 c #Conflicts: 1441000 | #Constraints: 45630
2399.38/2405.71 c #Conflicts: 1442000 | #Constraints: 46630
2399.38/2405.71 c #Conflicts: 1443000 | #Constraints: 47630
2399.38/2405.71 c INPROCESSING
2399.38/2405.71 c GARBAGE COLLECT
2399.38/2405.71 c #Conflicts: 1444000 | #Constraints: 24832
2399.38/2405.71 c #Conflicts: 1445000 | #Constraints: 25832
2399.38/2405.71 c #Conflicts: 1446000 | #Constraints: 26832
2399.38/2405.71 c #Conflicts: 1447000 | #Constraints: 27832
2399.38/2405.71 c #Conflicts: 1448000 | #Constraints: 28832
2399.38/2405.71 c #Conflicts: 1449000 | #Constraints: 29832
2399.38/2405.71 c #Conflicts: 1450000 | #Constraints: 30832
2399.38/2405.71 c #Conflicts: 1451000 | #Constraints: 31832
2620.66/2627.64 c #Conflicts: 1452000 | #Constraints: 32832
2620.66/2627.64 c #Conflicts: 1453000 | #Constraints: 33832
2620.66/2627.64 c #Conflicts: 1454000 | #Constraints: 34832
2620.66/2627.64 c #Conflicts: 1455000 | #Constraints: 35832
2620.66/2627.64 c #Conflicts: 1456000 | #Constraints: 36832
2620.66/2627.64 c #Conflicts: 1457000 | #Constraints: 37832
2620.66/2627.64 c #Conflicts: 1458000 | #Constraints: 38832
2620.66/2627.64 c #Conflicts: 1459000 | #Constraints: 39832
2620.66/2627.64 c #Conflicts: 1460000 | #Constraints: 40832
2620.66/2627.64 c #Conflicts: 1461000 | #Constraints: 41832
2620.66/2627.64 c #Conflicts: 1462000 | #Constraints: 42832
2620.66/2627.64 c #Conflicts: 1463000 | #Constraints: 43832
2620.66/2627.64 c #Conflicts: 1464000 | #Constraints: 44832
2620.66/2627.64 c #Conflicts: 1465000 | #Constraints: 45832
2620.66/2627.64 c #Conflicts: 1466000 | #Constraints: 46832
2620.66/2627.64 c #Conflicts: 1467000 | #Constraints: 47832
2620.66/2627.64 c INPROCESSING
2620.66/2627.64 c GARBAGE COLLECT
2620.66/2627.64 c #Conflicts: 1468000 | #Constraints: 24833
2620.66/2627.64 c #Conflicts: 1469000 | #Constraints: 25833
2620.66/2627.64 c #Conflicts: 1470000 | #Constraints: 26833
2620.66/2627.64 c #Conflicts: 1471000 | #Constraints: 27833
2620.66/2627.64 c #Conflicts: 1472000 | #Constraints: 28833
2620.66/2627.64 c #Conflicts: 1473000 | #Constraints: 29833
2620.66/2627.64 c #Conflicts: 1474000 | #Constraints: 30833
2620.66/2627.64 c #Conflicts: 1475000 | #Constraints: 31833
2620.66/2627.64 c #Conflicts: 1476000 | #Constraints: 32833
2620.66/2627.64 c #Conflicts: 1477000 | #Constraints: 33833
2620.66/2627.64 c #Conflicts: 1478000 | #Constraints: 34833
2620.66/2627.64 c #Conflicts: 1479000 | #Constraints: 35833
2620.66/2627.64 c #Conflicts: 1480000 | #Constraints: 36833
2620.66/2627.64 c #Conflicts: 1481000 | #Constraints: 37833
2620.66/2627.64 c #Conflicts: 1482000 | #Constraints: 38833
2620.66/2627.64 c #Conflicts: 1483000 | #Constraints: 39833
2620.66/2627.64 c #Conflicts: 1484000 | #Constraints: 40833
2620.66/2627.64 c #Conflicts: 1485000 | #Constraints: 41833
2620.66/2627.64 c #Conflicts: 1486000 | #Constraints: 42833
2620.66/2627.64 c #Conflicts: 1487000 | #Constraints: 43833
2620.66/2627.64 c #Conflicts: 1488000 | #Constraints: 44833
2620.66/2627.64 c #Conflicts: 1489000 | #Constraints: 45833
2620.66/2627.64 c #Conflicts: 1490000 | #Constraints: 46833
2620.66/2627.64 c #Conflicts: 1491000 | #Constraints: 47833
2620.66/2627.64 c INPROCESSING
2620.66/2627.64 c GARBAGE COLLECT
2620.66/2627.64 c #Conflicts: 1492000 | #Constraints: 24631
2620.66/2627.64 c #Conflicts: 1493000 | #Constraints: 25631
2620.66/2627.64 c #Conflicts: 1494000 | #Constraints: 26631
2620.66/2627.64 c #Conflicts: 1495000 | #Constraints: 27631
2620.66/2627.64 c #Conflicts: 1496000 | #Constraints: 28631
2620.66/2627.64 c #Conflicts: 1497000 | #Constraints: 29631
2620.66/2627.64 c #Conflicts: 1498000 | #Constraints: 30631
2620.66/2627.64 c #Conflicts: 1499000 | #Constraints: 31631
2620.66/2627.64 c #Conflicts: 1500000 | #Constraints: 32631
2620.66/2627.64 c #Conflicts: 1501000 | #Constraints: 33631
2620.66/2627.64 c #Conflicts: 1502000 | #Constraints: 34631
2620.66/2627.64 c #Conflicts: 1503000 | #Constraints: 35631
2620.66/2627.64 c #Conflicts: 1504000 | #Constraints: 36631
2620.66/2627.64 c #Conflicts: 1505000 | #Constraints: 37631
2620.66/2627.64 c #Conflicts: 1506000 | #Constraints: 38631
2620.66/2627.64 c #Conflicts: 1507000 | #Constraints: 39631
2620.66/2627.64 c #Conflicts: 1508000 | #Constraints: 40631
2620.66/2627.64 c #Conflicts: 1509000 | #Constraints: 41631
2620.66/2627.64 c #Conflicts: 1510000 | #Constraints: 42631
2620.66/2627.64 c #Conflicts: 1511000 | #Constraints: 43631
2620.66/2627.64 c #Conflicts: 1512000 | #Constraints: 44631
2620.66/2627.64 c #Conflicts: 1513000 | #Constraints: 45631
2620.66/2627.64 c #Conflicts: 1514000 | #Constraints: 46631
2620.66/2627.64 c #Conflicts: 1515000 | #Constraints: 47631
2620.66/2627.64 c #Conflicts: 1516000 | #Constraints: 48631
2620.66/2627.64 c INPROCESSING
2620.66/2627.64 c GARBAGE COLLECT
2620.66/2627.64 c #Conflicts: 1517000 | #Constraints: 25231
2620.66/2627.64 c #Conflicts: 1518000 | #Constraints: 26231
2620.66/2627.64 c #Conflicts: 1519000 | #Constraints: 27231
2620.66/2627.64 c #Conflicts: 1520000 | #Constraints: 28231
2620.66/2627.64 c #Conflicts: 1521000 | #Constraints: 29231
2620.66/2627.64 c #Conflicts: 1522000 | #Constraints: 30231
2620.66/2627.64 c #Conflicts: 1523000 | #Constraints: 31231
2620.66/2627.64 c #Conflicts: 1524000 | #Constraints: 32231
2620.66/2627.64 c #Conflicts: 1525000 | #Constraints: 33231
2620.66/2627.64 c #Conflicts: 1526000 | #Constraints: 34231
2620.66/2627.64 c #Conflicts: 1527000 | #Constraints: 35231
2620.66/2627.64 c #Conflicts: 1528000 | #Constraints: 36231
2825.80/2833.35 c #Conflicts: 1529000 | #Constraints: 37231
2825.80/2833.35 c #Conflicts: 1530000 | #Constraints: 38231
2825.80/2833.35 c #Conflicts: 1531000 | #Constraints: 39231
2825.80/2833.35 c #Conflicts: 1532000 | #Constraints: 40231
2825.80/2833.35 c #Conflicts: 1533000 | #Constraints: 41231
2825.80/2833.35 c #Conflicts: 1534000 | #Constraints: 42231
2825.80/2833.35 c #Conflicts: 1535000 | #Constraints: 43231
2825.80/2833.35 c #Conflicts: 1536000 | #Constraints: 44231
2825.80/2833.35 c #Conflicts: 1537000 | #Constraints: 45231
2825.80/2833.35 c #Conflicts: 1538000 | #Constraints: 46231
2825.80/2833.35 c #Conflicts: 1539000 | #Constraints: 47231
2825.80/2833.35 c #Conflicts: 1540000 | #Constraints: 48231
2825.80/2833.35 c #Conflicts: 1541000 | #Constraints: 49231
2825.80/2833.35 c INPROCESSING
2825.80/2833.35 c GARBAGE COLLECT
2825.80/2833.35 c #Conflicts: 1542000 | #Constraints: 25633
2825.80/2833.35 c #Conflicts: 1543000 | #Constraints: 26633
2825.80/2833.35 c #Conflicts: 1544000 | #Constraints: 27633
2825.80/2833.35 c #Conflicts: 1545000 | #Constraints: 28633
2825.80/2833.35 c #Conflicts: 1546000 | #Constraints: 29633
2825.80/2833.35 c #Conflicts: 1547000 | #Constraints: 30633
2825.80/2833.35 c #Conflicts: 1548000 | #Constraints: 31633
2825.80/2833.35 c #Conflicts: 1549000 | #Constraints: 32633
2825.80/2833.35 c #Conflicts: 1550000 | #Constraints: 33633
2825.80/2833.35 c #Conflicts: 1551000 | #Constraints: 34633
2825.80/2833.35 c #Conflicts: 1552000 | #Constraints: 35633
2825.80/2833.35 c #Conflicts: 1553000 | #Constraints: 36633
2825.80/2833.35 c #Conflicts: 1554000 | #Constraints: 37633
2825.80/2833.35 c #Conflicts: 1555000 | #Constraints: 38633
2825.80/2833.35 c #Conflicts: 1556000 | #Constraints: 39633
2825.80/2833.35 c #Conflicts: 1557000 | #Constraints: 40633
2825.80/2833.35 c #Conflicts: 1558000 | #Constraints: 41633
2825.80/2833.35 c #Conflicts: 1559000 | #Constraints: 42633
2825.80/2833.35 c #Conflicts: 1560000 | #Constraints: 43633
2825.80/2833.35 c #Conflicts: 1561000 | #Constraints: 44633
2825.80/2833.35 c #Conflicts: 1562000 | #Constraints: 45633
2825.80/2833.35 c #Conflicts: 1563000 | #Constraints: 46633
2825.80/2833.35 c #Conflicts: 1564000 | #Constraints: 47633
2825.80/2833.35 c #Conflicts: 1565000 | #Constraints: 48633
2825.80/2833.35 c #Conflicts: 1566000 | #Constraints: 49633
2825.80/2833.35 c INPROCESSING
2825.80/2833.35 c GARBAGE COLLECT
2825.80/2833.35 c #Conflicts: 1567000 | #Constraints: 25834
2825.80/2833.35 c #Conflicts: 1568000 | #Constraints: 26834
2825.80/2833.35 c #Conflicts: 1569000 | #Constraints: 27834
2825.80/2833.35 c #Conflicts: 1570000 | #Constraints: 28834
2825.80/2833.35 c #Conflicts: 1571000 | #Constraints: 29834
2825.80/2833.35 c #Conflicts: 1572000 | #Constraints: 30834
2825.80/2833.35 c #Conflicts: 1573000 | #Constraints: 31834
2825.80/2833.35 c #Conflicts: 1574000 | #Constraints: 32834
2825.80/2833.35 c #Conflicts: 1575000 | #Constraints: 33834
2825.80/2833.35 c #Conflicts: 1576000 | #Constraints: 34834
2825.80/2833.35 c #Conflicts: 1577000 | #Constraints: 35834
2825.80/2833.35 c #Conflicts: 1578000 | #Constraints: 36834
2825.80/2833.35 c #Conflicts: 1579000 | #Constraints: 37834
2825.80/2833.35 c #Conflicts: 1580000 | #Constraints: 38834
2825.80/2833.35 c #Conflicts: 1581000 | #Constraints: 39834
2825.80/2833.35 c #Conflicts: 1582000 | #Constraints: 40834
2825.80/2833.35 c #Conflicts: 1583000 | #Constraints: 41834
2825.80/2833.35 c #Conflicts: 1584000 | #Constraints: 42834
2825.80/2833.35 c #Conflicts: 1585000 | #Constraints: 43834
2825.80/2833.35 c #Conflicts: 1586000 | #Constraints: 44834
2825.80/2833.35 c #Conflicts: 1587000 | #Constraints: 45834
2825.80/2833.35 c #Conflicts: 1588000 | #Constraints: 46834
2825.80/2833.35 c #Conflicts: 1589000 | #Constraints: 47834
2825.80/2833.35 c #Conflicts: 1590000 | #Constraints: 48834
2825.80/2833.35 c #Conflicts: 1591000 | #Constraints: 49834
2825.80/2833.35 c INPROCESSING
2825.80/2833.35 c GARBAGE COLLECT
2825.80/2833.35 c #Conflicts: 1592000 | #Constraints: 25837
2825.80/2833.35 c #Conflicts: 1593000 | #Constraints: 26837
2825.80/2833.35 c #Conflicts: 1594000 | #Constraints: 27837
2825.80/2833.35 c #Conflicts: 1595000 | #Constraints: 28837
2825.80/2833.35 c #Conflicts: 1596000 | #Constraints: 29837
2825.80/2833.35 c #Conflicts: 1597000 | #Constraints: 30837
2825.80/2833.35 c #Conflicts: 1598000 | #Constraints: 31837
2825.80/2833.35 c #Conflicts: 1599000 | #Constraints: 32837
2825.80/2833.35 c #Conflicts: 1600000 | #Constraints: 33837
2825.80/2833.35 c #Conflicts: 1601000 | #Constraints: 34837
2825.80/2833.35 c #Conflicts: 1602000 | #Constraints: 35837
2825.80/2833.35 c #Conflicts: 1603000 | #Constraints: 36837
2825.80/2833.35 c #Conflicts: 1604000 | #Constraints: 37837
2825.80/2833.35 c #Conflicts: 1605000 | #Constraints: 38837
3074.52/3082.75 c #Conflicts: 1606000 | #Constraints: 39837
3074.52/3082.75 c #Conflicts: 1607000 | #Constraints: 40837
3074.52/3082.75 c #Conflicts: 1608000 | #Constraints: 41837
3074.52/3082.75 c #Conflicts: 1609000 | #Constraints: 42837
3074.52/3082.75 c #Conflicts: 1610000 | #Constraints: 43837
3074.52/3082.75 c #Conflicts: 1611000 | #Constraints: 44837
3074.52/3082.75 c #Conflicts: 1612000 | #Constraints: 45837
3074.52/3082.75 c #Conflicts: 1613000 | #Constraints: 46837
3074.52/3082.75 c #Conflicts: 1614000 | #Constraints: 47837
3074.52/3082.75 c #Conflicts: 1615000 | #Constraints: 48837
3074.52/3082.75 c #Conflicts: 1616000 | #Constraints: 49837
3074.52/3082.75 c INPROCESSING
3074.52/3082.75 c GARBAGE COLLECT
3074.52/3082.75 c #Conflicts: 1617000 | #Constraints: 25635
3074.52/3082.75 c #Conflicts: 1618000 | #Constraints: 26635
3074.52/3082.75 c #Conflicts: 1619000 | #Constraints: 27635
3074.52/3082.75 c #Conflicts: 1620000 | #Constraints: 28635
3074.52/3082.75 c #Conflicts: 1621000 | #Constraints: 29635
3074.52/3082.75 c #Conflicts: 1622000 | #Constraints: 30635
3074.52/3082.75 c #Conflicts: 1623000 | #Constraints: 31635
3074.52/3082.75 c #Conflicts: 1624000 | #Constraints: 32635
3074.52/3082.75 c #Conflicts: 1625000 | #Constraints: 33635
3074.52/3082.75 c #Conflicts: 1626000 | #Constraints: 34635
3074.52/3082.75 c #Conflicts: 1627000 | #Constraints: 35635
3074.52/3082.75 c #Conflicts: 1628000 | #Constraints: 36635
3074.52/3082.75 c #Conflicts: 1629000 | #Constraints: 37635
3074.52/3082.75 c #Conflicts: 1630000 | #Constraints: 38635
3074.52/3082.75 c #Conflicts: 1631000 | #Constraints: 39635
3074.52/3082.75 c #Conflicts: 1632000 | #Constraints: 40635
3074.52/3082.75 c #Conflicts: 1633000 | #Constraints: 41635
3074.52/3082.75 c #Conflicts: 1634000 | #Constraints: 42635
3074.52/3082.75 c #Conflicts: 1635000 | #Constraints: 43635
3074.52/3082.75 c #Conflicts: 1636000 | #Constraints: 44635
3074.52/3082.75 c #Conflicts: 1637000 | #Constraints: 45635
3074.52/3082.75 c #Conflicts: 1638000 | #Constraints: 46635
3074.52/3082.75 c #Conflicts: 1639000 | #Constraints: 47635
3074.52/3082.75 c #Conflicts: 1640000 | #Constraints: 48635
3074.52/3082.75 c #Conflicts: 1641000 | #Constraints: 49635
3074.52/3082.75 c #Conflicts: 1642000 | #Constraints: 50635
3074.52/3082.75 c INPROCESSING
3074.52/3082.75 c GARBAGE COLLECT
3074.52/3082.75 c #Conflicts: 1643000 | #Constraints: 26232
3074.52/3082.75 c #Conflicts: 1644000 | #Constraints: 27232
3074.52/3082.75 c #Conflicts: 1645000 | #Constraints: 28232
3074.52/3082.75 c #Conflicts: 1646000 | #Constraints: 29232
3074.52/3082.75 c #Conflicts: 1647000 | #Constraints: 30232
3074.52/3082.75 c #Conflicts: 1648000 | #Constraints: 31232
3074.52/3082.75 c #Conflicts: 1649000 | #Constraints: 32232
3074.52/3082.75 c #Conflicts: 1650000 | #Constraints: 33232
3074.52/3082.75 c #Conflicts: 1651000 | #Constraints: 34232
3074.52/3082.75 c #Conflicts: 1652000 | #Constraints: 35232
3074.52/3082.75 c #Conflicts: 1653000 | #Constraints: 36232
3074.52/3082.75 c #Conflicts: 1654000 | #Constraints: 37232
3074.52/3082.75 c #Conflicts: 1655000 | #Constraints: 38232
3074.52/3082.75 c #Conflicts: 1656000 | #Constraints: 39232
3074.52/3082.75 c #Conflicts: 1657000 | #Constraints: 40232
3074.52/3082.75 c #Conflicts: 1658000 | #Constraints: 41232
3074.52/3082.75 c #Conflicts: 1659000 | #Constraints: 42232
3074.52/3082.75 c #Conflicts: 1660000 | #Constraints: 43232
3074.52/3082.75 c #Conflicts: 1661000 | #Constraints: 44232
3074.52/3082.75 c #Conflicts: 1662000 | #Constraints: 45232
3074.52/3082.75 c #Conflicts: 1663000 | #Constraints: 46232
3074.52/3082.75 c #Conflicts: 1664000 | #Constraints: 47232
3074.52/3082.75 c #Conflicts: 1665000 | #Constraints: 48232
3074.52/3082.75 c #Conflicts: 1666000 | #Constraints: 49232
3074.52/3082.75 c #Conflicts: 1667000 | #Constraints: 50232
3074.52/3082.75 c #Conflicts: 1668000 | #Constraints: 51232
3074.52/3082.75 c INPROCESSING
3074.52/3082.75 c GARBAGE COLLECT
3074.52/3082.75 c #Conflicts: 1669000 | #Constraints: 26634
3074.52/3082.75 c #Conflicts: 1670000 | #Constraints: 27634
3074.52/3082.75 c #Conflicts: 1671000 | #Constraints: 28634
3074.52/3082.75 c #Conflicts: 1672000 | #Constraints: 29634
3074.52/3082.75 c #Conflicts: 1673000 | #Constraints: 30634
3074.52/3082.75 c #Conflicts: 1674000 | #Constraints: 31634
3074.52/3082.75 c #Conflicts: 1675000 | #Constraints: 32634
3074.52/3082.75 c #Conflicts: 1676000 | #Constraints: 33634
3074.52/3082.75 c #Conflicts: 1677000 | #Constraints: 34634
3074.52/3082.75 c #Conflicts: 1678000 | #Constraints: 35634
3074.52/3082.75 c #Conflicts: 1679000 | #Constraints: 36634
3074.52/3082.75 c #Conflicts: 1680000 | #Constraints: 37634
3074.52/3082.75 c #Conflicts: 1681000 | #Constraints: 38634
3074.52/3082.75 c #Conflicts: 1682000 | #Constraints: 39634
3323.95/3332.81 c #Conflicts: 1683000 | #Constraints: 40634
3323.95/3332.81 c #Conflicts: 1684000 | #Constraints: 41634
3323.95/3332.81 c #Conflicts: 1685000 | #Constraints: 42634
3323.95/3332.81 c #Conflicts: 1686000 | #Constraints: 43634
3323.95/3332.81 c #Conflicts: 1687000 | #Constraints: 44634
3323.95/3332.81 c #Conflicts: 1688000 | #Constraints: 45634
3323.95/3332.81 c #Conflicts: 1689000 | #Constraints: 46634
3323.95/3332.81 c #Conflicts: 1690000 | #Constraints: 47634
3323.95/3332.81 c #Conflicts: 1691000 | #Constraints: 48634
3323.95/3332.81 c #Conflicts: 1692000 | #Constraints: 49634
3323.95/3332.81 c #Conflicts: 1693000 | #Constraints: 50634
3323.95/3332.81 c #Conflicts: 1694000 | #Constraints: 51634
3323.95/3332.81 c INPROCESSING
3323.95/3332.81 c GARBAGE COLLECT
3323.95/3332.81 c #Conflicts: 1695000 | #Constraints: 26834
3323.95/3332.81 c #Conflicts: 1696000 | #Constraints: 27834
3323.95/3332.81 c #Conflicts: 1697000 | #Constraints: 28834
3323.95/3332.81 c #Conflicts: 1698000 | #Constraints: 29834
3323.95/3332.81 c #Conflicts: 1699000 | #Constraints: 30834
3323.95/3332.81 c #Conflicts: 1700000 | #Constraints: 31834
3323.95/3332.81 c #Conflicts: 1701000 | #Constraints: 32834
3323.95/3332.81 c #Conflicts: 1702000 | #Constraints: 33834
3323.95/3332.81 c #Conflicts: 1703000 | #Constraints: 34834
3323.95/3332.81 c #Conflicts: 1704000 | #Constraints: 35834
3323.95/3332.81 c #Conflicts: 1705000 | #Constraints: 36834
3323.95/3332.81 c #Conflicts: 1706000 | #Constraints: 37834
3323.95/3332.81 c #Conflicts: 1707000 | #Constraints: 38834
3323.95/3332.81 c #Conflicts: 1708000 | #Constraints: 39834
3323.95/3332.81 c #Conflicts: 1709000 | #Constraints: 40834
3323.95/3332.81 c #Conflicts: 1710000 | #Constraints: 41834
3323.95/3332.81 c #Conflicts: 1711000 | #Constraints: 42834
3323.95/3332.81 c #Conflicts: 1712000 | #Constraints: 43834
3323.95/3332.81 c #Conflicts: 1713000 | #Constraints: 44834
3323.95/3332.81 c #Conflicts: 1714000 | #Constraints: 45834
3323.95/3332.81 c #Conflicts: 1715000 | #Constraints: 46834
3323.95/3332.81 c #Conflicts: 1716000 | #Constraints: 47834
3323.95/3332.81 c #Conflicts: 1717000 | #Constraints: 48834
3323.95/3332.81 c #Conflicts: 1718000 | #Constraints: 49834
3323.95/3332.81 c #Conflicts: 1719000 | #Constraints: 50834
3323.95/3332.81 c #Conflicts: 1720000 | #Constraints: 51834
3323.95/3332.81 c INPROCESSING
3323.95/3332.81 c GARBAGE COLLECT
3323.95/3332.81 c #Conflicts: 1721000 | #Constraints: 26833
3323.95/3332.81 c #Conflicts: 1722000 | #Constraints: 27833
3323.95/3332.81 c #Conflicts: 1723000 | #Constraints: 28833
3323.95/3332.81 c #Conflicts: 1724000 | #Constraints: 29833
3323.95/3332.81 c #Conflicts: 1725000 | #Constraints: 30833
3323.95/3332.81 c #Conflicts: 1726000 | #Constraints: 31833
3323.95/3332.81 c #Conflicts: 1727000 | #Constraints: 32833
3323.95/3332.81 c #Conflicts: 1728000 | #Constraints: 33833
3323.95/3332.81 c #Conflicts: 1729000 | #Constraints: 34833
3323.95/3332.81 c #Conflicts: 1730000 | #Constraints: 35833
3323.95/3332.81 c #Conflicts: 1731000 | #Constraints: 36833
3323.95/3332.81 c #Conflicts: 1732000 | #Constraints: 37833
3323.95/3332.81 c #Conflicts: 1733000 | #Constraints: 38833
3323.95/3332.81 c #Conflicts: 1734000 | #Constraints: 39833
3323.95/3332.81 c #Conflicts: 1735000 | #Constraints: 40833
3323.95/3332.81 c #Conflicts: 1736000 | #Constraints: 41833
3323.95/3332.81 c #Conflicts: 1737000 | #Constraints: 42833
3323.95/3332.81 c #Conflicts: 1738000 | #Constraints: 43833
3323.95/3332.81 c #Conflicts: 1739000 | #Constraints: 44833
3323.95/3332.81 c #Conflicts: 1740000 | #Constraints: 45833
3323.95/3332.81 c #Conflicts: 1741000 | #Constraints: 46833
3323.95/3332.81 c #Conflicts: 1742000 | #Constraints: 47833
3323.95/3332.81 c #Conflicts: 1743000 | #Constraints: 48833
3323.95/3332.81 c #Conflicts: 1744000 | #Constraints: 49833
3323.95/3332.81 c #Conflicts: 1745000 | #Constraints: 50833
3323.95/3332.81 c #Conflicts: 1746000 | #Constraints: 51833
3323.95/3332.81 c INPROCESSING
3323.95/3332.81 c GARBAGE COLLECT
3323.95/3332.81 c #Conflicts: 1747000 | #Constraints: 26632
3323.95/3332.81 c #Conflicts: 1748000 | #Constraints: 27632
3323.95/3332.81 c #Conflicts: 1749000 | #Constraints: 28632
3323.95/3332.81 c #Conflicts: 1750000 | #Constraints: 29632
3323.95/3332.81 c #Conflicts: 1751000 | #Constraints: 30632
3323.95/3332.81 c #Conflicts: 1752000 | #Constraints: 31632
3323.95/3332.81 c #Conflicts: 1753000 | #Constraints: 32632
3323.95/3332.81 c #Conflicts: 1754000 | #Constraints: 33632
3323.95/3332.81 c #Conflicts: 1755000 | #Constraints: 34632
3323.95/3332.81 c #Conflicts: 1756000 | #Constraints: 35632
3323.95/3332.81 c #Conflicts: 1757000 | #Constraints: 36632
3323.95/3332.81 c #Conflicts: 1758000 | #Constraints: 37632
3323.95/3332.81 c #Conflicts: 1759000 | #Constraints: 38632
3568.95/3578.41 c #Conflicts: 1760000 | #Constraints: 39632
3568.95/3578.41 c #Conflicts: 1761000 | #Constraints: 40632
3568.95/3578.41 c #Conflicts: 1762000 | #Constraints: 41632
3568.95/3578.41 c #Conflicts: 1763000 | #Constraints: 42632
3568.95/3578.41 c #Conflicts: 1764000 | #Constraints: 43632
3568.95/3578.41 c #Conflicts: 1765000 | #Constraints: 44632
3568.95/3578.41 c #Conflicts: 1766000 | #Constraints: 45632
3568.95/3578.41 c #Conflicts: 1767000 | #Constraints: 46632
3568.95/3578.41 c #Conflicts: 1768000 | #Constraints: 47632
3568.95/3578.41 c #Conflicts: 1769000 | #Constraints: 48632
3568.95/3578.41 c #Conflicts: 1770000 | #Constraints: 49632
3568.95/3578.41 c #Conflicts: 1771000 | #Constraints: 50632
3568.95/3578.41 c #Conflicts: 1772000 | #Constraints: 51632
3568.95/3578.41 c #Conflicts: 1773000 | #Constraints: 52632
3568.95/3578.41 c INPROCESSING
3568.95/3578.41 c GARBAGE COLLECT
3568.95/3578.41 c #Conflicts: 1774000 | #Constraints: 27231
3568.95/3578.41 c #Conflicts: 1775000 | #Constraints: 28231
3568.95/3578.41 c #Conflicts: 1776000 | #Constraints: 29231
3568.95/3578.41 c #Conflicts: 1777000 | #Constraints: 30231
3568.95/3578.41 c #Conflicts: 1778000 | #Constraints: 31231
3568.95/3578.41 c #Conflicts: 1779000 | #Constraints: 32231
3568.95/3578.41 c #Conflicts: 1780000 | #Constraints: 33231
3568.95/3578.41 c #Conflicts: 1781000 | #Constraints: 34231
3568.95/3578.41 c #Conflicts: 1782000 | #Constraints: 35231
3568.95/3578.41 c #Conflicts: 1783000 | #Constraints: 36231
3568.95/3578.41 c #Conflicts: 1784000 | #Constraints: 37231
3568.95/3578.41 c #Conflicts: 1785000 | #Constraints: 38231
3568.95/3578.41 c #Conflicts: 1786000 | #Constraints: 39231
3568.95/3578.41 c #Conflicts: 1787000 | #Constraints: 40231
3568.95/3578.41 c #Conflicts: 1788000 | #Constraints: 41231
3568.95/3578.41 c #Conflicts: 1789000 | #Constraints: 42231
3568.95/3578.41 c #Conflicts: 1790000 | #Constraints: 43231
3568.95/3578.41 c #Conflicts: 1791000 | #Constraints: 44231
3568.95/3578.41 c #Conflicts: 1792000 | #Constraints: 45231
3568.95/3578.41 c #Conflicts: 1793000 | #Constraints: 46231
3568.95/3578.41 c #Conflicts: 1794000 | #Constraints: 47231
3568.95/3578.41 c #Conflicts: 1795000 | #Constraints: 48231
3568.95/3578.41 c #Conflicts: 1796000 | #Constraints: 49231
3568.95/3578.41 c #Conflicts: 1797000 | #Constraints: 50231
3568.95/3578.41 c #Conflicts: 1798000 | #Constraints: 51231
3568.95/3578.41 c #Conflicts: 1799000 | #Constraints: 52231
3568.95/3578.41 c #Conflicts: 1800000 | #Constraints: 53231
3568.95/3578.41 c INPROCESSING
3568.95/3578.41 c GARBAGE COLLECT
3568.95/3578.41 c #Conflicts: 1801000 | #Constraints: 27631
3568.95/3578.41 c #Conflicts: 1802000 | #Constraints: 28631
3568.95/3578.41 c #Conflicts: 1803000 | #Constraints: 29631
3568.95/3578.41 c #Conflicts: 1804000 | #Constraints: 30631
3568.95/3578.41 c #Conflicts: 1805000 | #Constraints: 31631
3568.95/3578.41 c #Conflicts: 1806000 | #Constraints: 32631
3568.95/3578.41 c #Conflicts: 1807000 | #Constraints: 33631
3568.95/3578.41 c #Conflicts: 1808000 | #Constraints: 34631
3568.95/3578.41 c #Conflicts: 1809000 | #Constraints: 35631
3568.95/3578.41 c #Conflicts: 1810000 | #Constraints: 36631
3568.95/3578.41 c #Conflicts: 1811000 | #Constraints: 37631
3568.95/3578.41 c #Conflicts: 1812000 | #Constraints: 38631
3568.95/3578.41 c #Conflicts: 1813000 | #Constraints: 39631
3568.95/3578.41 c #Conflicts: 1814000 | #Constraints: 40631
3568.95/3578.41 c #Conflicts: 1815000 | #Constraints: 41631
3568.95/3578.41 c #Conflicts: 1816000 | #Constraints: 42631
3568.95/3578.41 c #Conflicts: 1817000 | #Constraints: 43631
3568.95/3578.41 c #Conflicts: 1818000 | #Constraints: 44631
3568.95/3578.41 c #Conflicts: 1819000 | #Constraints: 45631
3568.95/3578.41 c #Conflicts: 1820000 | #Constraints: 46631
3568.95/3578.41 c #Conflicts: 1821000 | #Constraints: 47631
3568.95/3578.41 c #Conflicts: 1822000 | #Constraints: 48631
3568.95/3578.41 c #Conflicts: 1823000 | #Constraints: 49631
3568.95/3578.41 c #Conflicts: 1824000 | #Constraints: 50631
3568.95/3578.41 c #Conflicts: 1825000 | #Constraints: 51631
3568.95/3578.41 c #Conflicts: 1826000 | #Constraints: 52631
3568.95/3578.41 c #Conflicts: 1827000 | #Constraints: 53631
3568.95/3578.41 c INPROCESSING
3568.95/3578.41 c GARBAGE COLLECT
3568.95/3578.41 c #Conflicts: 1828000 | #Constraints: 27834
3568.95/3578.41 c #Conflicts: 1829000 | #Constraints: 28834
3568.95/3578.41 c #Conflicts: 1830000 | #Constraints: 29834
3568.95/3578.41 c #Conflicts: 1831000 | #Constraints: 30834
3568.95/3578.41 c #Conflicts: 1832000 | #Constraints: 31834
3568.95/3578.41 c #Conflicts: 1833000 | #Constraints: 32834
3568.95/3578.41 c #Conflicts: 1834000 | #Constraints: 33834
3568.95/3578.41 c #Conflicts: 1835000 | #Constraints: 34834
3568.95/3578.41 c #Conflicts: 1836000 | #Constraints: 35834
3600.08/3609.60 c #Conflicts: 1837000 | #Constraints: 36834
3600.08/3609.60 c #Conflicts: 1838000 | #Constraints: 37834
3600.08/3609.60 c #Conflicts: 1839000 | #Constraints: 38834
3600.08/3609.60 c #Conflicts: 1840000 | #Constraints: 39834
3600.08/3609.60 c #Conflicts: 1841000 | #Constraints: 40834
3600.08/3609.60 c #Conflicts: 1842000 | #Constraints: 41834
3600.08/3609.60 c #Conflicts: 1843000 | #Constraints: 42834
3600.08/3609.60 c #Conflicts: 1844000 | #Constraints: 43834
3600.08/3609.60 c Program interrupted by user.
3600.08/3609.60 c cpu time 3591.97 s
3600.08/3609.60 c deterministic time 636868086833 6.37e+11
3600.08/3609.60 c optimization time 59.0752 s
3600.08/3609.60 c total solve time 3532.89 s
3600.08/3609.60 c core-guided solve time 3532.89 s
3600.08/3609.60 c propagation time 3443.62 s
3600.08/3609.60 c conflict analysis time 133.375 s
3600.08/3609.60 c propagations 22171530
3600.08/3609.60 c resolve steps 8469520
3600.08/3609.60 c decisions 3563733
3600.08/3609.60 c conflicts 1844100
3600.08/3609.60 c restarts 3579
3600.08/3609.60 c inprocessing phases 126
3600.08/3609.60 c input clauses 0
3600.08/3609.60 c input cardinalities 0
3600.08/3609.60 c input general constraints 18
3600.08/3609.60 c input average constraint length 82.89
3600.08/3609.60 c input average constraint degree 2037.89
3600.08/3609.60 c learned clauses 958559
3600.08/3609.60 c learned cardinalities 0
3600.08/3609.60 c learned general constraints 885540
3600.08/3609.60 c learned average constraint length 78.14
3600.08/3609.60 c learned average constraint degree 479663.06
3600.08/3609.60 c watched constraints 879874
3600.08/3609.60 c counting constraints 5684
3600.08/3609.60 c gcd simplifications 849721
3600.08/3609.60 c detected cardinalities 0
3600.08/3609.60 c weakened non-implied lits 30659924
3600.08/3609.60 c weakened non-implying lits 2677639
3600.08/3609.60 c original variables 172
3600.08/3609.60 c clausal propagations 363501
3600.08/3609.60 c cardinality propagations 0
3600.08/3609.60 c watched propagations 15539840
3600.08/3609.60 c counting propagations 4834444
3600.08/3609.60 c watch lookups 30992569476
3600.08/3609.60 c watch backjump lookups 14748609344
3600.08/3609.60 c watch checks 479420926109
3600.08/3609.60 c propagation checks 110817176971
3600.08/3609.60 c constraint additions 835490450
3600.08/3609.60 c trail pops 27579219
3600.08/3609.60 c formula constraints 14
3600.08/3609.60 c learned constraints 1844099
3600.08/3609.60 c bound constraints 4
3600.08/3609.60 c core-guided constraints 0
3600.08/3609.60 c encountered formula constraints 2853141
3600.08/3609.60 c encountered learned constraints 7460479
3600.08/3609.60 c encountered bound constraints 0
3600.08/3609.60 c encountered core-guided constraints 0
3600.08/3609.60 c LP total time 0 s
3600.08/3609.60 c LP solve time 0 s
3600.08/3609.60 c LP constraints added 0
3600.08/3609.60 c LP constraints removed 0
3600.08/3609.60 c LP pivots internal 0
3600.08/3609.60 c LP pivots root 0
3600.08/3609.60 c LP calls 0
3600.08/3609.60 c LP optimalities 0
3600.08/3609.60 c LP no pivot count 0
3600.08/3609.60 c LP infeasibilities 0
3600.08/3609.60 c LP valid Farkas constraints 0
3600.08/3609.60 c LP learned Farkas constraints 0
3600.08/3609.60 c LP basis resets 0
3600.08/3609.60 c LP cycling count 0
3600.08/3609.60 c LP singular count 0
3600.08/3609.60 c LP no primal count 0
3600.08/3609.60 c LP no farkas count 0
3600.08/3609.60 c LP other issue count 0
3600.08/3609.60 c LP Gomory cuts 0
3600.08/3609.60 c LP learned cuts 0
3600.08/3609.60 c LP deleted cuts 0
3600.08/3609.60 c LP encountered Gomory constraints 0
3600.08/3609.60 c LP encountered Farkas constraints 0
3600.08/3609.60 c LP encountered learned Farkas constraints 0
3600.08/3609.60 c CG auxiliary variables introduced 0
3600.08/3609.60 c CG solutions found 4
3600.08/3609.60 c CG cores constructed 0
3600.08/3609.60 c CG core cardinality constraints returned 0
3600.08/3609.60 c CG unit cores 0
3600.08/3609.60 c CG single cores 0
3600.08/3609.60 c CG blocks removed during cardinality reduction 0
3600.08/3609.60 c CG first core best 0
3600.08/3609.60 c CG decision core best 0
3600.08/3609.60 c CG core reduction tie 0
3600.08/3609.60 c CG core degree average 0.00
3600.08/3609.60 c CG core slack average 0.00
3600.08/3609.60 c CG exhausted 0
3600.08/3609.60 c CG exhaust time 0 s
3600.08/3609.60 c CG trimmed 0
3600.08/3609.60 c CG trim time 0 s
3600.08/3609.60 c CG minimized 0
3600.08/3609.60 c CG minimize time 0 s
3600.08/3609.60 c CG am1 prop time 0.000218 s
3600.08/3609.60 c CG # am1s reformulated 0
3600.08/3609.60 c CG lower bound derived from am1s 0
3600.08/3609.60 c CG # clausal cores 0
3600.08/3609.60 c CG # cardinality cores 0
3600.08/3609.60 c CG # pb cores 0
3600.08/3609.60 c CG # pb reforms 0
3600.08/3609.60 c CG # cores discarded because of pb reform 0
3600.08/3609.60 d LOWERBOUND 0
3600.08/3609.60 d NCORES 0
3600.08/3609.60 d NPBCORES 0
3600.08/3609.60 d NPBREFORM 0
3600.08/3609.60 d NTRIMMED 0
3600.08/3609.60 d NEXHAUSTED 0
3600.08/3609.60 d NAM1S 0
3600.08/3609.60 d AM1LB 0
3600.08/3609.60 o 50
3600.08/3609.60 s SATISFIABLE
3600.08/3609.60 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: 63931 MiB (61755 MiB free)
memory of node 1: 64510 MiB (63236 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454348-1721471076/watcher-4454348-1721471076 -o /tmp/evaluation-result-4454348-1721471076/solver-4454348-1721471076 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721467479-1049282 --watchdog 3760 pb-oll-rs HOME/instance-4454348-1721471076.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1051824, runsolver pid=1051821
[startup+0.10017 s]*
/proc/loadavg: 4.16 4.13 4.09 4/254 1051835
/proc/meminfo: memFree=127989020/131524600 swapFree=131071996/131071996
[pid=1051824] ppid=1051821 vsize=39188 memory=9020 CPUtime=0.09 cores=5,7
/proc/1051824/stat : 1051824 (pb-oll-rs) R 1051821 1051824 1049269 0 -1 4194304 515 0 0 0 9 0 0 0 20 0 1 0 199272526 40128512 2255 134679101440 4194304 5384485 140733669905568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10330112 140733669909525 140733669909602 140733669909602 140733669916619 0
/proc/1051824/statm: 9797 2255 1407 291 0 1331 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39188 KiB
Current children cumulated memory: 9020 KiB
[startup+0.205378 s]*
/proc/loadavg: 4.16 4.13 4.09 5/254 1051861
/proc/meminfo: memFree=127993008/131524600 swapFree=131071996/131071996
[pid=1051824] ppid=1051821 vsize=39452 memory=9284 CPUtime=0.2 cores=5,7
/proc/1051824/stat : 1051824 (pb-oll-rs) R 1051821 1051824 1049269 0 -1 4194304 577 0 0 0 19 1 0 0 20 0 1 0 199272526 40398848 2321 134679101440 4194304 5384485 140733669905568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10330112 140733669909525 140733669909602 140733669909602 140733669916619 0
/proc/1051824/statm: 9863 2321 1407 291 0 1397 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39452 KiB
Current children cumulated memory: 9284 KiB
[startup+0.305397 s]*
/proc/loadavg: 4.16 4.13 4.09 5/257 1051867
/proc/meminfo: memFree=127989916/131524600 swapFree=131071996/131071996
[pid=1051824] ppid=1051821 vsize=39584 memory=9284 CPUtime=0.3 cores=5,7
/proc/1051824/stat : 1051824 (pb-oll-rs) R 1051821 1051824 1049269 0 -1 4194304 600 0 0 0 29 1 0 0 20 0 1 0 199272526 40534016 2321 134679101440 4194304 5384485 140733669905568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10330112 140733669909525 140733669909602 140733669909602 140733669916619 0
/proc/1051824/statm: 9896 2321 1407 291 0 1430 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39584 KiB
Current children cumulated memory: 9284 KiB
[startup+0.700149 s]
/proc/loadavg: 4.16 4.13 4.09 5/257 1051867
/proc/meminfo: memFree=127988236/131524600 swapFree=131071996/131071996
[pid=1051824] ppid=1051821 vsize=39992 memory=10048 CPUtime=0.69 cores=5,7
/proc/1051824/stat : 1051824 (pb-oll-rs) R 1051821 1051824 1049269 0 -1 4194304 695 0 0 0 66 3 0 0 20 0 1 0 199272526 40951808 2512 134679101440 4194304 5384485 140733669905568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10330112 140733669909525 140733669909602 140733669909602 140733669916619 0
/proc/1051824/statm: 9998 2512 1470 291 0 1532 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39992 KiB
Current children cumulated memory: 10048 KiB
[startup+1.50015 s]
/proc/loadavg: 4.16 4.13 4.09 5/257 1051867
/proc/meminfo: memFree=127987696/131524600 swapFree=131071996/131071996
[pid=1051824] ppid=1051821 vsize=40364 memory=10176 CPUtime=1.49 cores=5,7
/proc/1051824/stat : 1051824 (pb-oll-rs) R 1051821 1051824 1049269 0 -1 4194304 787 0 0 0 143 6 0 0 20 0 1 0 199272526 41332736 2544 134679101440 4194304 5384485 140733669905568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10330112 140733669909525 140733669909602 140733669909602 140733669916619 0
/proc/1051824/statm: 10091 2544 1470 291 0 1625 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40364 KiB
Current children cumulated memory: 10176 KiB
[startup+3.10524 s]
/proc/loadavg: 4.16 4.13 4.09 5/257 1051867
/proc/meminfo: memFree=127982724/131524600 swapFree=131071996/131071996
[pid=1051824] ppid=1051821 vsize=41044 memory=11480 CPUtime=3.09 cores=5,7
/proc/1051824/stat : 1051824 (pb-oll-rs) R 1051821 1051824 1049269 0 -1 4194304 1053 0 0 0 300 9 0 0 20 0 1 0 199272526 42029056 2870 134679101440 4194304 5384485 140733669905568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10330112 140733669909525 140733669909602 140733669909602 140733669916619 0
/proc/1051824/statm: 10261 2870 1470 291 0 1795 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 41044 KiB
Current children cumulated memory: 11480 KiB
[startup+6.30015 s]
/proc/loadavg: 4.15 4.13 4.09 5/257 1051869
/proc/meminfo: memFree=127980668/131524600 swapFree=131071996/131071996
[pid=1051824] ppid=1051821 vsize=41600 memory=12676 CPUtime=6.28 cores=5,7
/proc/1051824/stat : 1051824 (pb-oll-rs) R 1051821 1051824 1049269 0 -1 4194304 1353 0 0 0 614 14 0 0 20 0 1 0 199272526 42598400 3169 134679101440 4194304 5384485 140733669905568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10330112 140733669909525 140733669909602 140733669909602 140733669916619 0
/proc/1051824/statm: 10400 3169 1470 291 0 1934 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 41600 KiB
Current children cumulated memory: 12676 KiB
[startup+12.7001 s]
/proc/loadavg: 4.14 4.13 4.09 5/257 1051869
/proc/meminfo: memFree=127978260/131524600 swapFree=131071996/131071996
[pid=1051824] ppid=1051821 vsize=45120 memory=14004 CPUtime=12.66 cores=5,7
/proc/1051824/stat : 1051824 (pb-oll-rs) R 1051821 1051824 1049269 0 -1 4194304 1710 0 0 0 1245 21 0 0 20 0 1 0 199272526 46202880 3501 134679101440 4194304 5384485 140733669905568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10330112 140733669909525 140733669909602 140733669909602 140733669916619 0
/proc/1051824/statm: 11280 3501 1470 291 0 2814 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 45120 KiB
Current children cumulated memory: 14004 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 4.14 4.09 5/259 1052256
/proc/meminfo: memFree=127969572/131524600 swapFree=131071996/131071996
[pid=1051824] ppid=1051821 vsize=46208 memory=16152 CPUtime=25.43 cores=5,7
/proc/1051824/stat : 1051824 (pb-oll-rs) R 1051821 1051824 1049269 0 -1 4194304 2280 0 0 0 2509 34 0 0 20 0 1 0 199272526 47316992 4038 134679101440 4194304 5384485 140733669905568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10330112 140733669909525 140733669909602 140733669909602 140733669916619 0
/proc/1051824/statm: 11552 4038 1470 291 0 3086 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 46208 KiB
Current children cumulated memory: 16152 KiB
[startup+51.1055 s]
/proc/loadavg: 4.12 4.13 4.09 5/257 1052305
/proc/meminfo: memFree=128762808/131524600 swapFree=131071996/131071996
[pid=1051824] ppid=1051821 vsize=46960 memory=18360 CPUtime=50.98 cores=5,7
/proc/1051824/stat : 1051824 (pb-oll-rs) R 1051821 1051824 1049269 0 -1 4194304 2952 0 0 0 5041 57 0 0 20 0 1 0 199272526 48087040 4590 134679101440 4194304 5384485 140733669905568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10330112 140733669909525 140733669909602 140733669909602 140733669916619 0
/proc/1051824/statm: 11740 4590 1470 291 0 3274 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 46960 KiB
Current children cumulated memory: 18360 KiB
[startup+102.3 s]
/proc/loadavg: 4.25 4.15 4.10 5/257 1052451
/proc/meminfo: memFree=128752012/131524600 swapFree=131071996/131071996
[pid=1051824] ppid=1051821 vsize=54132 memory=22568 CPUtime=102.06 cores=5,7
/proc/1051824/stat : 1051824 (pb-oll-rs) R 1051821 1051824 1049269 0 -1 4194304 4017 0 0 0 10117 89 0 0 20 0 1 0 199272526 55431168 5642 134679101440 4194304 5384485 140733669905568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10330112 140733669909525 140733669909602 140733669909602 140733669916619 0
/proc/1051824/statm: 13533 5642 1470 291 0 5067 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 54132 KiB
Current children cumulated memory: 22568 KiB
[startup+162.3 s]
/proc/loadavg: 4.30 4.20 4.12 5/256 1052461
/proc/meminfo: memFree=128722988/131524600 swapFree=131071996/131071996
[pid=1051824] ppid=1051821 vsize=55432 memory=26648 CPUtime=161.91 cores=5,7
/proc/1051824/stat : 1051824 (pb-oll-rs) R 1051821 1051824 1049269 0 -1 4194304 4475 0 0 0 16071 120 0 0 20 0 1 0 199272526 56762368 6662 134679101440 4194304 5384485 140733669905568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10330112 140733669909525 140733669909602 140733669909602 140733669916619 0
/proc/1051824/statm: 13858 6662 1470 291 0 5392 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 55432 KiB
Current children cumulated memory: 26648 KiB
[startup+222.3 s]
/proc/loadavg: 4.21 4.19 4.12 5/257 1052641
/proc/meminfo: memFree=128711296/131524600 swapFree=131071996/131071996
[pid=1051824] ppid=1051821 vsize=63324 memory=27964 CPUtime=221.75 cores=5,7
/proc/1051824/stat : 1051824 (pb-oll-rs) R 1051821 1051824 1049269 0 -1 4194304 4993 0 0 0 22031 144 0 0 20 0 1 0 199272526 64843776 6991 134679101440 4194304 5384485 140733669905568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10330112 140733669909525 140733669909602 140733669909602 140733669916619 0
/proc/1051824/statm: 15831 6991 1470 291 0 7365 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 63324 KiB
Current children cumulated memory: 27964 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.18 4.12 5/257 1052651
/proc/meminfo: memFree=128703388/131524600 swapFree=131071996/131071996
[pid=1051824] ppid=1051821 vsize=63908 memory=29648 CPUtime=281.59 cores=5,7
/proc/1051824/stat : 1051824 (pb-oll-rs) R 1051821 1051824 1049269 0 -1 4194304 5549 0 0 0 27989 170 0 0 20 0 1 0 199272526 65441792 7412 134679101440 4194304 5384485 140733669905568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10330112 140733669909525 140733669909602 140733669909602 140733669916619 0
/proc/1051824/statm: 15977 7412 1470 291 0 7511 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 63908 KiB
Current children cumulated memory: 29648 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/258 1052719
/proc/meminfo: memFree=128692908/131524600 swapFree=131071996/131071996
[pid=1051824] ppid=1051821 vsize=64040 memory=32152 CPUtime=341.43 cores=5,7
/proc/1051824/stat : 1051824 (pb-oll-rs) R 1051821 1051824 1049269 0 -1 4194304 5777 0 0 0 33954 189 0 0 20 0 1 0 199272526 65576960 8038 134679101440 4194304 5384485 140733669905568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10330112 140733669909525 140733669909602 140733669909602 140733669916619 0
/proc/1051824/statm: 16010 8038 1470 291 0 7544 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 64040 KiB
Current children cumulated memory: 32152 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.15 4.11 5/258 1052731
/proc/meminfo: memFree=128684508/131524600 swapFree=131071996/131071996
[pid=1051824] ppid=1051821 vsize=66304 memory=33840 CPUtime=401.27 cores=5,7
/proc/1051824/stat : 1051824 (pb-oll-rs) R 1051821 1051824 1049269 0 -1 4194304 6273 0 0 0 39920 207 0 0 20 0 1 0 199272526 67895296 8460 134679101440 4194304 5384485 140733669905568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10330112 140733669909525 140733669909602 140733669909602 140733669916619 0
/proc/1051824/statm: 16576 8460 1470 291 0 8110 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 66304 KiB
Current children cumulated memory: 33840 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/258 1052741
/proc/meminfo: memFree=128679132/131524600 swapFree=131071996/131071996
[pid=1051824] ppid=1051821 vsize=67684 memory=34720 CPUtime=461.11 cores=5,7
/proc/1051824/stat : 1051824 (pb-oll-rs) R 1051821 1051824 1049269 0 -1 4194304 6592 0 0 0 45886 225 0 0 20 0 1 0 199272526 69308416 8680 134679101440 4194304 5384485 140733669905568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10330112 140733669909525 140733669909602 140733669909602 140733669916619 0
/proc/1051824/statm: 16921 8680 1470 291 0 8455 0
################
# More data... #
################
Current children cumulated memory: 54496 KiB
[startup+2862.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/256 1053741
/proc/meminfo: memFree=128580168/131524600 swapFree=131071996/131071996
[pid=1051824] ppid=1051821 vsize=86516 memory=54496 CPUtime=2854.73 cores=5,7
/proc/1051824/stat : 1051824 (pb-oll-rs) R 1051821 1051824 1049269 0 -1 4194304 10448 0 0 0 284774 699 0 0 20 0 1 0 199272526 88592384 13624 134679101440 4194304 5384485 140733669905568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10330112 140733669909525 140733669909602 140733669909602 140733669916619 0
/proc/1051824/statm: 21629 13624 1470 291 0 13163 0
Current children cumulated CPU time: 2854.73 s
Current children cumulated vsize: 86516 KiB
Current children cumulated memory: 54496 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 1053752
/proc/meminfo: memFree=128577580/131524600 swapFree=131071996/131071996
[pid=1051824] ppid=1051821 vsize=87028 memory=55108 CPUtime=2914.56 cores=5,7
/proc/1051824/stat : 1051824 (pb-oll-rs) R 1051821 1051824 1049269 0 -1 4194304 10595 0 0 0 290750 706 0 0 20 0 1 0 199272526 89116672 13777 134679101440 4194304 5384485 140733669905568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10330112 140733669909525 140733669909602 140733669909602 140733669916619 0
/proc/1051824/statm: 21757 13777 1470 291 0 13291 0
Current children cumulated CPU time: 2914.56 s
Current children cumulated vsize: 87028 KiB
Current children cumulated memory: 55108 KiB
[startup+2982.3 s]
/proc/loadavg: 4.23 4.14 4.10 5/256 1053763
/proc/meminfo: memFree=128575036/131524600 swapFree=131071996/131071996
[pid=1051824] ppid=1051821 vsize=88072 memory=56336 CPUtime=2974.39 cores=5,7
/proc/1051824/stat : 1051824 (pb-oll-rs) R 1051821 1051824 1049269 0 -1 4194304 10929 0 0 0 296724 715 0 0 20 0 1 0 199272526 90185728 14084 134679101440 4194304 5384485 140733669905568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10330112 140733669909525 140733669909602 140733669909602 140733669916619 0
/proc/1051824/statm: 22018 14084 1470 291 0 13552 0
Current children cumulated CPU time: 2974.39 s
Current children cumulated vsize: 88072 KiB
Current children cumulated memory: 56336 KiB
[startup+3042.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/254 1053773
/proc/meminfo: memFree=128574212/131524600 swapFree=131071996/131071996
[pid=1051824] ppid=1051821 vsize=88328 memory=56336 CPUtime=3034.23 cores=5,7
/proc/1051824/stat : 1051824 (pb-oll-rs) R 1051821 1051824 1049269 0 -1 4194304 10956 0 0 0 302698 725 0 0 20 0 1 0 199272526 90447872 14084 134679101440 4194304 5384485 140733669905568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10330112 140733669909525 140733669909602 140733669909602 140733669916619 0
/proc/1051824/statm: 22082 14084 1470 291 0 13616 0
Current children cumulated CPU time: 3034.23 s
Current children cumulated vsize: 88328 KiB
Current children cumulated memory: 56336 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/254 1053783
/proc/meminfo: memFree=128570204/131524600 swapFree=131071996/131071996
[pid=1051824] ppid=1051821 vsize=88332 memory=56484 CPUtime=3094.08 cores=5,7
/proc/1051824/stat : 1051824 (pb-oll-rs) R 1051821 1051824 1049269 0 -1 4194304 11152 0 0 0 308673 735 0 0 20 0 1 0 199272526 90451968 14121 134679101440 4194304 5384485 140733669905568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10330112 140733669909525 140733669909602 140733669909602 140733669916619 0
/proc/1051824/statm: 22083 14121 1470 291 0 13617 0
Current children cumulated CPU time: 3094.08 s
Current children cumulated vsize: 88332 KiB
Current children cumulated memory: 56484 KiB
[startup+3162.3 s]
/proc/loadavg: 4.27 4.17 4.11 5/254 1053793
/proc/meminfo: memFree=128568728/131524600 swapFree=131071996/131071996
[pid=1051824] ppid=1051821 vsize=89076 memory=56820 CPUtime=3153.91 cores=5,7
/proc/1051824/stat : 1051824 (pb-oll-rs) R 1051821 1051824 1049269 0 -1 4194304 11301 0 0 0 314646 745 0 0 20 0 1 0 199272526 91213824 14205 134679101440 4194304 5384485 140733669905568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10330112 140733669909525 140733669909602 140733669909602 140733669916619 0
/proc/1051824/statm: 22269 14205 1470 291 0 13803 0
Current children cumulated CPU time: 3153.91 s
Current children cumulated vsize: 89076 KiB
Current children cumulated memory: 56820 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/254 1053804
/proc/meminfo: memFree=128568264/131524600 swapFree=131071996/131071996
[pid=1051824] ppid=1051821 vsize=89076 memory=56988 CPUtime=3213.74 cores=5,7
/proc/1051824/stat : 1051824 (pb-oll-rs) R 1051821 1051824 1049269 0 -1 4194304 11349 0 0 0 320620 754 0 0 20 0 1 0 199272526 91213824 14247 134679101440 4194304 5384485 140733669905568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10330112 140733669909525 140733669909602 140733669909602 140733669916619 0
/proc/1051824/statm: 22269 14247 1470 291 0 13803 0
Current children cumulated CPU time: 3213.74 s
Current children cumulated vsize: 89076 KiB
Current children cumulated memory: 56988 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.14 4.09 5/254 1053814
/proc/meminfo: memFree=128567396/131524600 swapFree=131071996/131071996
[pid=1051824] ppid=1051821 vsize=89076 memory=56988 CPUtime=3273.58 cores=5,7
/proc/1051824/stat : 1051824 (pb-oll-rs) R 1051821 1051824 1049269 0 -1 4194304 11375 0 0 0 326596 762 0 0 20 0 1 0 199272526 91213824 14247 134679101440 4194304 5384485 140733669905568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10330112 140733669909525 140733669909602 140733669909602 140733669916619 0
/proc/1051824/statm: 22269 14247 1470 291 0 13803 0
Current children cumulated CPU time: 3273.58 s
Current children cumulated vsize: 89076 KiB
Current children cumulated memory: 56988 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/256 1053828
/proc/meminfo: memFree=128565820/131524600 swapFree=131071996/131071996
[pid=1051824] ppid=1051821 vsize=90452 memory=57896 CPUtime=3333.42 cores=5,7
/proc/1051824/stat : 1051824 (pb-oll-rs) R 1051821 1051824 1049269 0 -1 4194304 11599 0 0 0 332572 770 0 0 20 0 1 0 199272526 92622848 14474 134679101440 4194304 5384485 140733669905568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10330112 140733669909525 140733669909602 140733669909602 140733669916619 0
/proc/1051824/statm: 22613 14474 1470 291 0 14147 0
Current children cumulated CPU time: 3333.42 s
Current children cumulated vsize: 90452 KiB
Current children cumulated memory: 57896 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/257 1053840
/proc/meminfo: memFree=128564364/131524600 swapFree=131071996/131071996
[pid=1051824] ppid=1051821 vsize=90708 memory=58716 CPUtime=3393.27 cores=5,7
/proc/1051824/stat : 1051824 (pb-oll-rs) R 1051821 1051824 1049269 0 -1 4194304 11691 0 0 0 338547 780 0 0 20 0 1 0 199272526 92884992 14679 134679101440 4194304 5384485 140733669905568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10330112 140733669909525 140733669909602 140733669909602 140733669916619 0
/proc/1051824/statm: 22677 14679 1470 291 0 14211 0
Current children cumulated CPU time: 3393.27 s
Current children cumulated vsize: 90708 KiB
Current children cumulated memory: 58716 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/258 1053851
/proc/meminfo: memFree=128563364/131524600 swapFree=131071996/131071996
[pid=1051824] ppid=1051821 vsize=90708 memory=58716 CPUtime=3453.13 cores=5,7
/proc/1051824/stat : 1051824 (pb-oll-rs) R 1051821 1051824 1049269 0 -1 4194304 11716 0 0 0 344523 790 0 0 20 0 1 0 199272526 92884992 14679 134679101440 4194304 5384485 140733669905568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10330112 140733669909525 140733669909602 140733669909602 140733669916619 0
/proc/1051824/statm: 22677 14679 1470 291 0 14211 0
Current children cumulated CPU time: 3453.13 s
Current children cumulated vsize: 90708 KiB
Current children cumulated memory: 58716 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/258 1053862
/proc/meminfo: memFree=128561080/131524600 swapFree=131071996/131071996
[pid=1051824] ppid=1051821 vsize=90708 memory=58852 CPUtime=3512.99 cores=5,7
/proc/1051824/stat : 1051824 (pb-oll-rs) R 1051821 1051824 1049269 0 -1 4194304 11739 0 0 0 350500 799 0 0 20 0 1 0 199272526 92884992 14713 134679101440 4194304 5384485 140733669905568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10330112 140733669909525 140733669909602 140733669909602 140733669916619 0
/proc/1051824/statm: 22677 14713 1470 291 0 14211 0
Current children cumulated CPU time: 3512.99 s
Current children cumulated vsize: 90708 KiB
Current children cumulated memory: 58852 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 1053873
/proc/meminfo: memFree=128560148/131524600 swapFree=131071996/131071996
[pid=1051824] ppid=1051821 vsize=90868 memory=58944 CPUtime=3572.85 cores=5,7
/proc/1051824/stat : 1051824 (pb-oll-rs) R 1051821 1051824 1049269 0 -1 4194304 11807 0 0 0 356477 808 0 0 20 0 1 0 199272526 93048832 14736 134679101440 4194304 5384485 140733669905568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10330112 140733669909525 140733669909602 140733669909602 140733669916619 0
/proc/1051824/statm: 22717 14736 1470 291 0 14251 0
Current children cumulated CPU time: 3572.85 s
Current children cumulated vsize: 90868 KiB
Current children cumulated memory: 58944 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.10 4.11 4.09 4/255 1053893
/proc/meminfo: memFree=128598688/131524600 swapFree=131071996/131071996
[pid=1051824] ppid=1051821 vsize=90868 memory=58944 CPUtime=3600.08 cores=5,7
/proc/1051824/stat : 1051824 (pb-oll-rs) R 1051821 1051824 1049269 0 -1 4194304 11830 0 0 0 359196 812 0 0 20 0 1 0 199272526 93048832 14736 134679101440 4194304 5384485 140733669905568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 10330112 140733669909525 140733669909602 140733669909602 140733669916619 0
/proc/1051824/statm: 22717 14736 1470 291 0 14251 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 90868 KiB
Current children cumulated memory: 58944 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.6 s]
# the end of solver process 1051824 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.97 s, system=8.12693 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.6
CPU time (s): 3600.1
CPU user time (s): 3591.97
CPU system time (s): 8.12693
CPU usage (%): 99.7366
Max. virtual memory (cumulated for all children) (KiB): 90868
Max. memory (cumulated for all children) (KiB): 58944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.97
system time used= 8.12693
maximum resident set size= 58944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11847
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= 29
involuntary context switches= 1469
# summary of solver processes directly reported to runsolver:
# pid: 1051824
# total CPU time (s): 3600.1
# total CPU user time (s): 3591.97
# total CPU system time (s): 8.12693
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.25299 second user time and 17.3787 second system time
The end
Begin job on nodeC024 at 2024-07-20 12:24:49
IDJOB=4454348
IDBENCH=147611
IDSOLVER=3082
FILE ID=nodeC024/4454348-1721471076
RUNJOBID= nodeC024-1721467479-1049282
SLURM_JOB_ID= 7545720
Free space on /tmp= 890064 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
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 --file-size-limit 102400 -w /tmp/evaluation-result-4454348-1721471076/watcher-4454348-1721471076 -o /tmp/evaluation-result-4454348-1721471076/solver-4454348-1721471076 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721467479-1049282 --watchdog 3760 pb-oll-rs HOME/instance-4454348-1721471076.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 39a6e806d7aaba09f767f3cbd6afa1ec
RANDOM SEED=1357534056
nodeC024.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3669.762
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.60
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 : 3679.458
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
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.013
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.60
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 : 3526.517
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
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 : 3669.806
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.60
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 : 3657.749
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
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.086
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.60
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 : 3639.244
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127991812 kB
MemAvailable: 128906048 kB
Buffers: 555552 kB
Cached: 1202356 kB
SwapCached: 0 kB
Active: 1074464 kB
Inactive: 1842160 kB
Active(anon): 1564 kB
Inactive(anon): 1203060 kB
Active(file): 1072900 kB
Inactive(file): 639100 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 3704 kB
Writeback: 0 kB
AnonPages: 1157792 kB
Mapped: 111088 kB
Shmem: 45912 kB
KReclaimable: 83764 kB
Slab: 195604 kB
SReclaimable: 83764 kB
SUnreclaim: 111840 kB
KernelStack: 4080 kB
PageTables: 11608 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1685080 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 72224 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1236992 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 299732 kB
DirectMap2M: 36173824 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 890048 MiB
End job on nodeC024 at 2024-07-20 13:24:59