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 146 #constraints 12
0.00/0.00 c SMALL=int, LARGE=long long
0.00/0.00 c bounds - >= 0 @ 0.0003
0.00/0.00 c stratification level: 64
0.00/0.02 c bounds 231 >= 0 @ 0.01824
0.00/0.02 c stratification level: 32
0.00/0.02 c bounds 138 >= 0 @ 0.019333
0.00/0.02 c stratification level: 16
0.00/0.05 c bounds 90 >= 0 @ 0.044544
0.00/0.05 c stratification level: 8
0.88/1.00 c #Conflicts: 1000 | #Constraints: 1014
0.88/1.00 c #Conflicts: 2000 | #Constraints: 2014
0.88/1.00 c INPROCESSING
0.88/1.00 c GARBAGE COLLECT
0.88/1.00 c #Conflicts: 3000 | #Constraints: 2016
0.88/1.00 c #Conflicts: 4000 | #Constraints: 3016
0.88/1.00 c INPROCESSING
0.88/1.00 c GARBAGE COLLECT
0.88/1.00 c bounds 40 >= 0 @ 0.943743
0.88/1.00 c stratification level: 4
30.32/30.45 c #Conflicts: 5000 | #Constraints: 2422
30.32/30.45 c #Conflicts: 6000 | #Constraints: 3422
30.32/30.45 c INPROCESSING
30.32/30.45 c GARBAGE COLLECT
30.32/30.45 c #Conflicts: 7000 | #Constraints: 2425
30.32/30.45 c #Conflicts: 8000 | #Constraints: 3425
30.32/30.45 c #Conflicts: 9000 | #Constraints: 4425
30.32/30.45 c INPROCESSING
30.32/30.45 c GARBAGE COLLECT
30.32/30.45 c #Conflicts: 10000 | #Constraints: 3124
30.32/30.45 c #Conflicts: 11000 | #Constraints: 4124
30.32/30.45 c #Conflicts: 12000 | #Constraints: 5124
30.32/30.45 c INPROCESSING
30.32/30.45 c GARBAGE COLLECT
30.32/30.45 c #Conflicts: 13000 | #Constraints: 3575
30.32/30.45 c #Conflicts: 14000 | #Constraints: 4575
30.32/30.45 c #Conflicts: 15000 | #Constraints: 5575
30.32/30.45 c INPROCESSING
30.32/30.45 c GARBAGE COLLECT
30.32/30.45 c #Conflicts: 16000 | #Constraints: 3802
30.32/30.45 c #Conflicts: 17000 | #Constraints: 4802
30.32/30.45 c #Conflicts: 18000 | #Constraints: 5802
30.32/30.45 c INPROCESSING
30.32/30.45 c GARBAGE COLLECT
30.32/30.45 c #Conflicts: 19000 | #Constraints: 3817
30.32/30.45 c #Conflicts: 20000 | #Constraints: 4817
30.32/30.45 c #Conflicts: 21000 | #Constraints: 5817
30.32/30.45 c INPROCESSING
30.32/30.45 c GARBAGE COLLECT
30.32/30.45 c #Conflicts: 22000 | #Constraints: 3621
30.32/30.45 c #Conflicts: 23000 | #Constraints: 4621
30.32/30.45 c #Conflicts: 24000 | #Constraints: 5621
30.32/30.45 c #Conflicts: 25000 | #Constraints: 6621
30.32/30.45 c INPROCESSING
30.32/30.45 c GARBAGE COLLECT
30.32/30.45 c #Conflicts: 26000 | #Constraints: 4225
30.32/30.45 c #Conflicts: 27000 | #Constraints: 5225
30.32/30.45 c #Conflicts: 28000 | #Constraints: 6225
30.32/30.45 c #Conflicts: 29000 | #Constraints: 7225
30.32/30.45 c INPROCESSING
30.32/30.45 c GARBAGE COLLECT
30.32/30.45 c #Conflicts: 30000 | #Constraints: 4625
30.32/30.45 c #Conflicts: 31000 | #Constraints: 5625
30.32/30.45 c #Conflicts: 32000 | #Constraints: 6625
30.32/30.45 c #Conflicts: 33000 | #Constraints: 7625
30.32/30.45 c INPROCESSING
30.32/30.45 c GARBAGE COLLECT
30.32/30.45 c #Conflicts: 34000 | #Constraints: 4825
30.32/30.45 c #Conflicts: 35000 | #Constraints: 5825
30.32/30.45 c #Conflicts: 36000 | #Constraints: 6825
30.32/30.45 c #Conflicts: 37000 | #Constraints: 7825
30.32/30.45 c INPROCESSING
30.32/30.45 c GARBAGE COLLECT
30.32/30.45 c #Conflicts: 38000 | #Constraints: 4828
30.32/30.45 c #Conflicts: 39000 | #Constraints: 5828
30.32/30.45 c #Conflicts: 40000 | #Constraints: 6828
30.32/30.45 c #Conflicts: 41000 | #Constraints: 7828
30.32/30.45 c INPROCESSING
30.32/30.45 c GARBAGE COLLECT
30.32/30.45 c #Conflicts: 42000 | #Constraints: 4627
30.32/30.45 c #Conflicts: 43000 | #Constraints: 5627
30.32/30.45 c #Conflicts: 44000 | #Constraints: 6627
30.32/30.45 c #Conflicts: 45000 | #Constraints: 7627
30.32/30.45 c #Conflicts: 46000 | #Constraints: 8627
30.32/30.45 c INPROCESSING
30.32/30.45 c GARBAGE COLLECT
30.32/30.45 c #Conflicts: 47000 | #Constraints: 5226
30.32/30.45 c #Conflicts: 48000 | #Constraints: 6226
30.32/30.45 c #Conflicts: 49000 | #Constraints: 7226
30.32/30.45 c #Conflicts: 50000 | #Constraints: 8226
30.32/30.45 c #Conflicts: 51000 | #Constraints: 9226
30.32/30.45 c INPROCESSING
30.32/30.45 c GARBAGE COLLECT
30.32/30.45 c #Conflicts: 52000 | #Constraints: 5627
30.32/30.45 c #Conflicts: 53000 | #Constraints: 6627
30.32/30.45 c #Conflicts: 54000 | #Constraints: 7627
30.32/30.45 c #Conflicts: 55000 | #Constraints: 8627
30.32/30.45 c #Conflicts: 56000 | #Constraints: 9627
30.32/30.45 c INPROCESSING
30.32/30.45 c GARBAGE COLLECT
30.32/30.45 c #Conflicts: 57000 | #Constraints: 5827
30.32/30.45 c #Conflicts: 58000 | #Constraints: 6827
30.32/30.45 c #Conflicts: 59000 | #Constraints: 7827
30.32/30.45 c #Conflicts: 60000 | #Constraints: 8827
30.32/30.45 c #Conflicts: 61000 | #Constraints: 9827
30.32/30.45 c INPROCESSING
30.32/30.45 c GARBAGE COLLECT
30.32/30.45 c #Conflicts: 62000 | #Constraints: 5827
30.32/30.45 c #Conflicts: 63000 | #Constraints: 6827
30.32/30.45 c #Conflicts: 64000 | #Constraints: 7827
30.32/30.45 c #Conflicts: 65000 | #Constraints: 8827
30.32/30.45 c #Conflicts: 66000 | #Constraints: 9827
30.32/30.45 c INPROCESSING
30.32/30.45 c GARBAGE COLLECT
30.32/30.45 c #Conflicts: 67000 | #Constraints: 5627
30.32/30.45 c #Conflicts: 68000 | #Constraints: 6627
30.32/30.45 c #Conflicts: 69000 | #Constraints: 7627
30.32/30.45 c #Conflicts: 70000 | #Constraints: 8627
30.32/30.45 c #Conflicts: 71000 | #Constraints: 9627
30.32/30.45 c #Conflicts: 72000 | #Constraints: 10627
30.32/30.45 c INPROCESSING
30.32/30.45 c GARBAGE COLLECT
85.19/85.45 c #Conflicts: 73000 | #Constraints: 6226
85.19/85.45 c #Conflicts: 74000 | #Constraints: 7226
85.19/85.45 c #Conflicts: 75000 | #Constraints: 8226
85.19/85.45 c #Conflicts: 76000 | #Constraints: 9226
85.19/85.45 c #Conflicts: 77000 | #Constraints: 10226
85.19/85.45 c #Conflicts: 78000 | #Constraints: 11226
85.19/85.45 c INPROCESSING
85.19/85.45 c GARBAGE COLLECT
85.19/85.45 c #Conflicts: 79000 | #Constraints: 6627
85.19/85.45 c #Conflicts: 80000 | #Constraints: 7627
85.19/85.45 c #Conflicts: 81000 | #Constraints: 8627
85.19/85.45 c #Conflicts: 82000 | #Constraints: 9627
85.19/85.45 c #Conflicts: 83000 | #Constraints: 10627
85.19/85.45 c #Conflicts: 84000 | #Constraints: 11627
85.19/85.45 c INPROCESSING
85.19/85.45 c GARBAGE COLLECT
85.19/85.45 c #Conflicts: 85000 | #Constraints: 6827
85.19/85.45 c #Conflicts: 86000 | #Constraints: 7827
85.19/85.45 c #Conflicts: 87000 | #Constraints: 8827
85.19/85.45 c #Conflicts: 88000 | #Constraints: 9827
85.19/85.45 c #Conflicts: 89000 | #Constraints: 10827
85.19/85.45 c #Conflicts: 90000 | #Constraints: 11827
85.19/85.45 c INPROCESSING
85.19/85.45 c GARBAGE COLLECT
85.19/85.45 c #Conflicts: 91000 | #Constraints: 6827
85.19/85.45 c #Conflicts: 92000 | #Constraints: 7827
85.19/85.45 c #Conflicts: 93000 | #Constraints: 8827
85.19/85.45 c #Conflicts: 94000 | #Constraints: 9827
85.19/85.45 c #Conflicts: 95000 | #Constraints: 10827
85.19/85.45 c #Conflicts: 96000 | #Constraints: 11827
85.19/85.45 c INPROCESSING
85.19/85.45 c GARBAGE COLLECT
85.19/85.45 c #Conflicts: 97000 | #Constraints: 6630
85.19/85.45 c #Conflicts: 98000 | #Constraints: 7630
85.19/85.45 c #Conflicts: 99000 | #Constraints: 8630
85.19/85.45 c #Conflicts: 100000 | #Constraints: 9630
85.19/85.45 c #Conflicts: 101000 | #Constraints: 10630
85.19/85.45 c #Conflicts: 102000 | #Constraints: 11630
85.19/85.45 c #Conflicts: 103000 | #Constraints: 12630
85.19/85.45 c INPROCESSING
85.19/85.45 c GARBAGE COLLECT
85.19/85.45 c #Conflicts: 104000 | #Constraints: 7229
85.19/85.45 c #Conflicts: 105000 | #Constraints: 8229
85.19/85.45 c #Conflicts: 106000 | #Constraints: 9229
85.19/85.45 c #Conflicts: 107000 | #Constraints: 10229
85.19/85.45 c #Conflicts: 108000 | #Constraints: 11229
85.19/85.45 c #Conflicts: 109000 | #Constraints: 12229
85.19/85.45 c #Conflicts: 110000 | #Constraints: 13229
85.19/85.45 c INPROCESSING
85.19/85.45 c GARBAGE COLLECT
85.19/85.45 c #Conflicts: 111000 | #Constraints: 7632
85.19/85.45 c #Conflicts: 112000 | #Constraints: 8632
85.19/85.45 c #Conflicts: 113000 | #Constraints: 9632
85.19/85.45 c #Conflicts: 114000 | #Constraints: 10632
85.19/85.45 c #Conflicts: 115000 | #Constraints: 11632
85.19/85.45 c #Conflicts: 116000 | #Constraints: 12632
85.19/85.45 c #Conflicts: 117000 | #Constraints: 13632
85.19/85.45 c INPROCESSING
85.19/85.45 c GARBAGE COLLECT
85.19/85.45 c #Conflicts: 118000 | #Constraints: 7830
85.19/85.45 c #Conflicts: 119000 | #Constraints: 8830
85.19/85.45 c #Conflicts: 120000 | #Constraints: 9830
85.19/85.45 c #Conflicts: 121000 | #Constraints: 10830
85.19/85.45 c #Conflicts: 122000 | #Constraints: 11830
85.19/85.45 c #Conflicts: 123000 | #Constraints: 12830
85.19/85.45 c #Conflicts: 124000 | #Constraints: 13830
85.19/85.45 c INPROCESSING
85.19/85.45 c GARBAGE COLLECT
85.19/85.45 c #Conflicts: 125000 | #Constraints: 7829
85.19/85.45 c #Conflicts: 126000 | #Constraints: 8829
85.19/85.45 c #Conflicts: 127000 | #Constraints: 9829
85.19/85.45 c #Conflicts: 128000 | #Constraints: 10829
85.19/85.45 c #Conflicts: 129000 | #Constraints: 11829
85.19/85.45 c #Conflicts: 130000 | #Constraints: 12829
85.19/85.45 c #Conflicts: 131000 | #Constraints: 13829
85.19/85.45 c INPROCESSING
85.19/85.45 c GARBAGE COLLECT
85.19/85.45 c #Conflicts: 132000 | #Constraints: 7629
85.19/85.45 c #Conflicts: 133000 | #Constraints: 8629
85.19/85.45 c #Conflicts: 134000 | #Constraints: 9629
85.19/85.45 c #Conflicts: 135000 | #Constraints: 10629
85.19/85.45 c #Conflicts: 136000 | #Constraints: 11629
85.19/85.45 c #Conflicts: 137000 | #Constraints: 12629
85.19/85.45 c #Conflicts: 138000 | #Constraints: 13629
85.19/85.45 c #Conflicts: 139000 | #Constraints: 14629
85.19/85.45 c INPROCESSING
85.19/85.45 c GARBAGE COLLECT
85.19/85.45 c #Conflicts: 140000 | #Constraints: 8232
85.19/85.45 c #Conflicts: 141000 | #Constraints: 9232
85.19/85.45 c #Conflicts: 142000 | #Constraints: 10232
85.19/85.45 c #Conflicts: 143000 | #Constraints: 11232
85.19/85.45 c #Conflicts: 144000 | #Constraints: 12232
85.19/85.45 c #Conflicts: 145000 | #Constraints: 13232
157.64/158.02 c #Conflicts: 146000 | #Constraints: 14232
157.64/158.02 c #Conflicts: 147000 | #Constraints: 15232
157.64/158.02 c INPROCESSING
157.64/158.02 c GARBAGE COLLECT
157.64/158.02 c #Conflicts: 148000 | #Constraints: 8631
157.64/158.02 c #Conflicts: 149000 | #Constraints: 9631
157.64/158.02 c #Conflicts: 150000 | #Constraints: 10631
157.64/158.02 c #Conflicts: 151000 | #Constraints: 11631
157.64/158.02 c #Conflicts: 152000 | #Constraints: 12631
157.64/158.02 c #Conflicts: 153000 | #Constraints: 13631
157.64/158.02 c #Conflicts: 154000 | #Constraints: 14631
157.64/158.02 c #Conflicts: 155000 | #Constraints: 15631
157.64/158.02 c INPROCESSING
157.64/158.02 c GARBAGE COLLECT
157.64/158.02 c #Conflicts: 156000 | #Constraints: 8830
157.64/158.02 c #Conflicts: 157000 | #Constraints: 9830
157.64/158.02 c #Conflicts: 158000 | #Constraints: 10830
157.64/158.02 c #Conflicts: 159000 | #Constraints: 11830
157.64/158.02 c #Conflicts: 160000 | #Constraints: 12830
157.64/158.02 c #Conflicts: 161000 | #Constraints: 13830
157.64/158.02 c #Conflicts: 162000 | #Constraints: 14830
157.64/158.02 c #Conflicts: 163000 | #Constraints: 15830
157.64/158.02 c INPROCESSING
157.64/158.02 c GARBAGE COLLECT
157.64/158.02 c #Conflicts: 164000 | #Constraints: 8831
157.64/158.02 c #Conflicts: 165000 | #Constraints: 9831
157.64/158.02 c #Conflicts: 166000 | #Constraints: 10831
157.64/158.02 c #Conflicts: 167000 | #Constraints: 11831
157.64/158.02 c #Conflicts: 168000 | #Constraints: 12831
157.64/158.02 c #Conflicts: 169000 | #Constraints: 13831
157.64/158.02 c #Conflicts: 170000 | #Constraints: 14831
157.64/158.02 c #Conflicts: 171000 | #Constraints: 15831
157.64/158.02 c INPROCESSING
157.64/158.02 c GARBAGE COLLECT
157.64/158.02 c #Conflicts: 172000 | #Constraints: 8630
157.64/158.02 c #Conflicts: 173000 | #Constraints: 9630
157.64/158.02 c #Conflicts: 174000 | #Constraints: 10630
157.64/158.02 c #Conflicts: 175000 | #Constraints: 11630
157.64/158.02 c #Conflicts: 176000 | #Constraints: 12630
157.64/158.02 c #Conflicts: 177000 | #Constraints: 13630
157.64/158.02 c #Conflicts: 178000 | #Constraints: 14630
157.64/158.02 c #Conflicts: 179000 | #Constraints: 15630
157.64/158.02 c #Conflicts: 180000 | #Constraints: 16630
157.64/158.02 c INPROCESSING
157.64/158.02 c GARBAGE COLLECT
157.64/158.02 c #Conflicts: 181000 | #Constraints: 9229
157.64/158.02 c #Conflicts: 182000 | #Constraints: 10229
157.64/158.02 c #Conflicts: 183000 | #Constraints: 11229
157.64/158.02 c #Conflicts: 184000 | #Constraints: 12229
157.64/158.02 c #Conflicts: 185000 | #Constraints: 13229
157.64/158.02 c #Conflicts: 186000 | #Constraints: 14229
157.64/158.02 c #Conflicts: 187000 | #Constraints: 15229
157.64/158.02 c #Conflicts: 188000 | #Constraints: 16229
157.64/158.02 c #Conflicts: 189000 | #Constraints: 17229
157.64/158.02 c INPROCESSING
157.64/158.02 c GARBAGE COLLECT
157.64/158.02 c #Conflicts: 190000 | #Constraints: 9629
157.64/158.02 c #Conflicts: 191000 | #Constraints: 10629
157.64/158.02 c #Conflicts: 192000 | #Constraints: 11629
157.64/158.02 c #Conflicts: 193000 | #Constraints: 12629
157.64/158.02 c #Conflicts: 194000 | #Constraints: 13629
157.64/158.02 c #Conflicts: 195000 | #Constraints: 14629
157.64/158.02 c #Conflicts: 196000 | #Constraints: 15629
157.64/158.02 c #Conflicts: 197000 | #Constraints: 16629
157.64/158.02 c #Conflicts: 198000 | #Constraints: 17629
157.64/158.02 c INPROCESSING
157.64/158.02 c GARBAGE COLLECT
157.64/158.02 c #Conflicts: 199000 | #Constraints: 9830
157.64/158.02 c #Conflicts: 200000 | #Constraints: 10830
157.64/158.02 c #Conflicts: 201000 | #Constraints: 11830
157.64/158.02 c #Conflicts: 202000 | #Constraints: 12830
157.64/158.02 c #Conflicts: 203000 | #Constraints: 13830
157.64/158.02 c #Conflicts: 204000 | #Constraints: 14830
157.64/158.02 c #Conflicts: 205000 | #Constraints: 15830
157.64/158.02 c #Conflicts: 206000 | #Constraints: 16830
157.64/158.02 c #Conflicts: 207000 | #Constraints: 17830
157.64/158.02 c INPROCESSING
157.64/158.02 c GARBAGE COLLECT
157.64/158.02 c #Conflicts: 208000 | #Constraints: 9831
157.64/158.02 c #Conflicts: 209000 | #Constraints: 10831
157.64/158.02 c #Conflicts: 210000 | #Constraints: 11831
157.64/158.02 c #Conflicts: 211000 | #Constraints: 12831
157.64/158.02 c #Conflicts: 212000 | #Constraints: 13831
157.64/158.02 c #Conflicts: 213000 | #Constraints: 14831
157.64/158.02 c #Conflicts: 214000 | #Constraints: 15831
157.64/158.02 c #Conflicts: 215000 | #Constraints: 16831
157.64/158.02 c #Conflicts: 216000 | #Constraints: 17831
157.64/158.02 c INPROCESSING
157.64/158.02 c GARBAGE COLLECT
157.64/158.02 c #Conflicts: 217000 | #Constraints: 9635
157.64/158.02 c #Conflicts: 218000 | #Constraints: 10635
245.82/246.44 c #Conflicts: 219000 | #Constraints: 11635
245.82/246.44 c #Conflicts: 220000 | #Constraints: 12635
245.82/246.44 c #Conflicts: 221000 | #Constraints: 13635
245.82/246.44 c #Conflicts: 222000 | #Constraints: 14635
245.82/246.44 c #Conflicts: 223000 | #Constraints: 15635
245.82/246.44 c #Conflicts: 224000 | #Constraints: 16635
245.82/246.44 c #Conflicts: 225000 | #Constraints: 17635
245.82/246.44 c #Conflicts: 226000 | #Constraints: 18635
245.82/246.44 c INPROCESSING
245.82/246.44 c GARBAGE COLLECT
245.82/246.44 c #Conflicts: 227000 | #Constraints: 10236
245.82/246.44 c #Conflicts: 228000 | #Constraints: 11236
245.82/246.44 c #Conflicts: 229000 | #Constraints: 12236
245.82/246.44 c #Conflicts: 230000 | #Constraints: 13236
245.82/246.44 c #Conflicts: 231000 | #Constraints: 14236
245.82/246.44 c #Conflicts: 232000 | #Constraints: 15236
245.82/246.44 c #Conflicts: 233000 | #Constraints: 16236
245.82/246.44 c #Conflicts: 234000 | #Constraints: 17236
245.82/246.44 c #Conflicts: 235000 | #Constraints: 18236
245.82/246.44 c #Conflicts: 236000 | #Constraints: 19236
245.82/246.44 c INPROCESSING
245.82/246.44 c GARBAGE COLLECT
245.82/246.44 c #Conflicts: 237000 | #Constraints: 10631
245.82/246.44 c #Conflicts: 238000 | #Constraints: 11631
245.82/246.44 c #Conflicts: 239000 | #Constraints: 12631
245.82/246.44 c #Conflicts: 240000 | #Constraints: 13631
245.82/246.44 c #Conflicts: 241000 | #Constraints: 14631
245.82/246.44 c #Conflicts: 242000 | #Constraints: 15631
245.82/246.44 c #Conflicts: 243000 | #Constraints: 16631
245.82/246.44 c #Conflicts: 244000 | #Constraints: 17631
245.82/246.44 c #Conflicts: 245000 | #Constraints: 18631
245.82/246.44 c #Conflicts: 246000 | #Constraints: 19631
245.82/246.44 c INPROCESSING
245.82/246.44 c GARBAGE COLLECT
245.82/246.44 c #Conflicts: 247000 | #Constraints: 10832
245.82/246.44 c #Conflicts: 248000 | #Constraints: 11832
245.82/246.44 c #Conflicts: 249000 | #Constraints: 12832
245.82/246.44 c #Conflicts: 250000 | #Constraints: 13832
245.82/246.44 c #Conflicts: 251000 | #Constraints: 14832
245.82/246.44 c #Conflicts: 252000 | #Constraints: 15832
245.82/246.44 c #Conflicts: 253000 | #Constraints: 16832
245.82/246.44 c #Conflicts: 254000 | #Constraints: 17832
245.82/246.44 c #Conflicts: 255000 | #Constraints: 18832
245.82/246.44 c #Conflicts: 256000 | #Constraints: 19832
245.82/246.44 c INPROCESSING
245.82/246.44 c GARBAGE COLLECT
245.82/246.44 c #Conflicts: 257000 | #Constraints: 10830
245.82/246.44 c #Conflicts: 258000 | #Constraints: 11830
245.82/246.44 c #Conflicts: 259000 | #Constraints: 12830
245.82/246.44 c #Conflicts: 260000 | #Constraints: 13830
245.82/246.44 c #Conflicts: 261000 | #Constraints: 14830
245.82/246.44 c #Conflicts: 262000 | #Constraints: 15830
245.82/246.44 c #Conflicts: 263000 | #Constraints: 16830
245.82/246.44 c #Conflicts: 264000 | #Constraints: 17830
245.82/246.44 c #Conflicts: 265000 | #Constraints: 18830
245.82/246.44 c #Conflicts: 266000 | #Constraints: 19830
245.82/246.44 c INPROCESSING
245.82/246.44 c GARBAGE COLLECT
245.82/246.44 c #Conflicts: 267000 | #Constraints: 10633
245.82/246.44 c #Conflicts: 268000 | #Constraints: 11633
245.82/246.44 c #Conflicts: 269000 | #Constraints: 12633
245.82/246.44 c #Conflicts: 270000 | #Constraints: 13633
245.82/246.44 c #Conflicts: 271000 | #Constraints: 14633
245.82/246.44 c #Conflicts: 272000 | #Constraints: 15633
245.82/246.44 c #Conflicts: 273000 | #Constraints: 16633
245.82/246.44 c #Conflicts: 274000 | #Constraints: 17633
245.82/246.44 c #Conflicts: 275000 | #Constraints: 18633
245.82/246.44 c #Conflicts: 276000 | #Constraints: 19633
245.82/246.44 c #Conflicts: 277000 | #Constraints: 20633
245.82/246.44 c INPROCESSING
245.82/246.44 c GARBAGE COLLECT
245.82/246.44 c #Conflicts: 278000 | #Constraints: 11230
245.82/246.44 c #Conflicts: 279000 | #Constraints: 12230
245.82/246.44 c #Conflicts: 280000 | #Constraints: 13230
245.82/246.44 c #Conflicts: 281000 | #Constraints: 14230
245.82/246.44 c #Conflicts: 282000 | #Constraints: 15230
245.82/246.44 c #Conflicts: 283000 | #Constraints: 16230
245.82/246.44 c #Conflicts: 284000 | #Constraints: 17230
245.82/246.44 c #Conflicts: 285000 | #Constraints: 18230
245.82/246.44 c #Conflicts: 286000 | #Constraints: 19230
245.82/246.44 c #Conflicts: 287000 | #Constraints: 20230
245.82/246.44 c #Conflicts: 288000 | #Constraints: 21230
245.82/246.44 c INPROCESSING
245.82/246.44 c GARBAGE COLLECT
245.82/246.44 c #Conflicts: 289000 | #Constraints: 11627
245.82/246.44 c #Conflicts: 290000 | #Constraints: 12627
245.82/246.44 c #Conflicts: 291000 | #Constraints: 13627
245.82/246.44 c #Conflicts: 292000 | #Constraints: 14627
338.68/339.51 c #Conflicts: 293000 | #Constraints: 15627
338.68/339.51 c #Conflicts: 294000 | #Constraints: 16627
338.68/339.51 c #Conflicts: 295000 | #Constraints: 17627
338.68/339.51 c #Conflicts: 296000 | #Constraints: 18627
338.68/339.51 c #Conflicts: 297000 | #Constraints: 19627
338.68/339.51 c #Conflicts: 298000 | #Constraints: 20627
338.68/339.51 c #Conflicts: 299000 | #Constraints: 21627
338.68/339.51 c INPROCESSING
338.68/339.51 c GARBAGE COLLECT
338.68/339.51 c #Conflicts: 300000 | #Constraints: 11830
338.68/339.51 c #Conflicts: 301000 | #Constraints: 12830
338.68/339.51 c #Conflicts: 302000 | #Constraints: 13830
338.68/339.51 c #Conflicts: 303000 | #Constraints: 14830
338.68/339.51 c #Conflicts: 304000 | #Constraints: 15830
338.68/339.51 c #Conflicts: 305000 | #Constraints: 16830
338.68/339.51 c #Conflicts: 306000 | #Constraints: 17830
338.68/339.51 c #Conflicts: 307000 | #Constraints: 18830
338.68/339.51 c #Conflicts: 308000 | #Constraints: 19830
338.68/339.51 c #Conflicts: 309000 | #Constraints: 20830
338.68/339.51 c #Conflicts: 310000 | #Constraints: 21830
338.68/339.51 c INPROCESSING
338.68/339.51 c GARBAGE COLLECT
338.68/339.51 c #Conflicts: 311000 | #Constraints: 11830
338.68/339.51 c #Conflicts: 312000 | #Constraints: 12830
338.68/339.51 c #Conflicts: 313000 | #Constraints: 13830
338.68/339.51 c #Conflicts: 314000 | #Constraints: 14830
338.68/339.51 c #Conflicts: 315000 | #Constraints: 15830
338.68/339.51 c #Conflicts: 316000 | #Constraints: 16830
338.68/339.51 c #Conflicts: 317000 | #Constraints: 17830
338.68/339.51 c #Conflicts: 318000 | #Constraints: 18830
338.68/339.51 c #Conflicts: 319000 | #Constraints: 19830
338.68/339.51 c #Conflicts: 320000 | #Constraints: 20830
338.68/339.51 c #Conflicts: 321000 | #Constraints: 21830
338.68/339.51 c INPROCESSING
338.68/339.51 c GARBAGE COLLECT
338.68/339.51 c #Conflicts: 322000 | #Constraints: 11631
338.68/339.51 c #Conflicts: 323000 | #Constraints: 12631
338.68/339.51 c #Conflicts: 324000 | #Constraints: 13631
338.68/339.51 c #Conflicts: 325000 | #Constraints: 14631
338.68/339.51 c #Conflicts: 326000 | #Constraints: 15631
338.68/339.51 c #Conflicts: 327000 | #Constraints: 16631
338.68/339.51 c #Conflicts: 328000 | #Constraints: 17631
338.68/339.51 c #Conflicts: 329000 | #Constraints: 18631
338.68/339.51 c #Conflicts: 330000 | #Constraints: 19631
338.68/339.51 c #Conflicts: 331000 | #Constraints: 20631
338.68/339.51 c #Conflicts: 332000 | #Constraints: 21631
338.68/339.51 c #Conflicts: 333000 | #Constraints: 22631
338.68/339.51 c INPROCESSING
338.68/339.51 c GARBAGE COLLECT
338.68/339.51 c #Conflicts: 334000 | #Constraints: 12228
338.68/339.51 c #Conflicts: 335000 | #Constraints: 13228
338.68/339.51 c #Conflicts: 336000 | #Constraints: 14228
338.68/339.51 c #Conflicts: 337000 | #Constraints: 15228
338.68/339.51 c #Conflicts: 338000 | #Constraints: 16228
338.68/339.51 c #Conflicts: 339000 | #Constraints: 17228
338.68/339.51 c #Conflicts: 340000 | #Constraints: 18228
338.68/339.51 c #Conflicts: 341000 | #Constraints: 19228
338.68/339.51 c #Conflicts: 342000 | #Constraints: 20228
338.68/339.51 c #Conflicts: 343000 | #Constraints: 21228
338.68/339.51 c #Conflicts: 344000 | #Constraints: 22228
338.68/339.51 c #Conflicts: 345000 | #Constraints: 23228
338.68/339.51 c INPROCESSING
338.68/339.51 c GARBAGE COLLECT
338.68/339.51 c #Conflicts: 346000 | #Constraints: 12627
338.68/339.51 c #Conflicts: 347000 | #Constraints: 13627
338.68/339.51 c #Conflicts: 348000 | #Constraints: 14627
338.68/339.51 c #Conflicts: 349000 | #Constraints: 15627
338.68/339.51 c #Conflicts: 350000 | #Constraints: 16627
338.68/339.51 c #Conflicts: 351000 | #Constraints: 17627
338.68/339.51 c #Conflicts: 352000 | #Constraints: 18627
338.68/339.51 c #Conflicts: 353000 | #Constraints: 19627
338.68/339.51 c #Conflicts: 354000 | #Constraints: 20627
338.68/339.51 c #Conflicts: 355000 | #Constraints: 21627
338.68/339.51 c #Conflicts: 356000 | #Constraints: 22627
338.68/339.51 c #Conflicts: 357000 | #Constraints: 23627
338.68/339.51 c INPROCESSING
338.68/339.51 c GARBAGE COLLECT
338.68/339.51 c #Conflicts: 358000 | #Constraints: 12828
338.68/339.51 c #Conflicts: 359000 | #Constraints: 13828
338.68/339.51 c #Conflicts: 360000 | #Constraints: 14828
338.68/339.51 c #Conflicts: 361000 | #Constraints: 15828
338.68/339.51 c bounds 17 >= 0 @ 337.109
338.68/339.51 c stratification level: 2
452.48/453.64 c #Conflicts: 362000 | #Constraints: 16829
452.48/453.64 c #Conflicts: 363000 | #Constraints: 17829
452.48/453.64 c #Conflicts: 364000 | #Constraints: 18829
452.48/453.64 c #Conflicts: 365000 | #Constraints: 19829
452.48/453.64 c #Conflicts: 366000 | #Constraints: 20829
452.48/453.64 c #Conflicts: 367000 | #Constraints: 21829
452.48/453.64 c #Conflicts: 368000 | #Constraints: 22829
452.48/453.64 c #Conflicts: 369000 | #Constraints: 23829
452.48/453.64 c INPROCESSING
452.48/453.64 c GARBAGE COLLECT
452.48/453.64 c #Conflicts: 370000 | #Constraints: 12830
452.48/453.64 c #Conflicts: 371000 | #Constraints: 13830
452.48/453.64 c #Conflicts: 372000 | #Constraints: 14830
452.48/453.64 c #Conflicts: 373000 | #Constraints: 15830
452.48/453.64 c #Conflicts: 374000 | #Constraints: 16830
452.48/453.64 c #Conflicts: 375000 | #Constraints: 17830
452.48/453.64 c #Conflicts: 376000 | #Constraints: 18830
452.48/453.64 c #Conflicts: 377000 | #Constraints: 19830
452.48/453.64 c #Conflicts: 378000 | #Constraints: 20830
452.48/453.64 c #Conflicts: 379000 | #Constraints: 21830
452.48/453.64 c #Conflicts: 380000 | #Constraints: 22830
452.48/453.64 c #Conflicts: 381000 | #Constraints: 23830
452.48/453.64 c INPROCESSING
452.48/453.64 c GARBAGE COLLECT
452.48/453.64 c #Conflicts: 382000 | #Constraints: 12629
452.48/453.64 c #Conflicts: 383000 | #Constraints: 13629
452.48/453.64 c #Conflicts: 384000 | #Constraints: 14629
452.48/453.64 c #Conflicts: 385000 | #Constraints: 15629
452.48/453.64 c #Conflicts: 386000 | #Constraints: 16629
452.48/453.64 c #Conflicts: 387000 | #Constraints: 17629
452.48/453.64 c #Conflicts: 388000 | #Constraints: 18629
452.48/453.64 c #Conflicts: 389000 | #Constraints: 19629
452.48/453.64 c #Conflicts: 390000 | #Constraints: 20629
452.48/453.64 c #Conflicts: 391000 | #Constraints: 21629
452.48/453.64 c #Conflicts: 392000 | #Constraints: 22629
452.48/453.64 c #Conflicts: 393000 | #Constraints: 23629
452.48/453.64 c #Conflicts: 394000 | #Constraints: 24629
452.48/453.64 c INPROCESSING
452.48/453.64 c GARBAGE COLLECT
452.48/453.64 c #Conflicts: 395000 | #Constraints: 13227
452.48/453.64 c #Conflicts: 396000 | #Constraints: 14227
452.48/453.64 c #Conflicts: 397000 | #Constraints: 15227
452.48/453.64 c #Conflicts: 398000 | #Constraints: 16227
452.48/453.64 c #Conflicts: 399000 | #Constraints: 17227
452.48/453.64 c #Conflicts: 400000 | #Constraints: 18227
452.48/453.64 c #Conflicts: 401000 | #Constraints: 19227
452.48/453.64 c #Conflicts: 402000 | #Constraints: 20227
452.48/453.64 c #Conflicts: 403000 | #Constraints: 21227
452.48/453.64 c #Conflicts: 404000 | #Constraints: 22227
452.48/453.64 c #Conflicts: 405000 | #Constraints: 23227
452.48/453.64 c #Conflicts: 406000 | #Constraints: 24227
452.48/453.64 c #Conflicts: 407000 | #Constraints: 25227
452.48/453.64 c INPROCESSING
452.48/453.64 c GARBAGE COLLECT
452.48/453.64 c #Conflicts: 408000 | #Constraints: 13629
452.48/453.64 c #Conflicts: 409000 | #Constraints: 14629
452.48/453.64 c #Conflicts: 410000 | #Constraints: 15629
452.48/453.64 c #Conflicts: 411000 | #Constraints: 16629
452.48/453.64 c #Conflicts: 412000 | #Constraints: 17629
452.48/453.64 c #Conflicts: 413000 | #Constraints: 18629
452.48/453.64 c #Conflicts: 414000 | #Constraints: 19629
452.48/453.64 c #Conflicts: 415000 | #Constraints: 20629
452.48/453.64 c #Conflicts: 416000 | #Constraints: 21629
452.48/453.64 c #Conflicts: 417000 | #Constraints: 22629
452.48/453.64 c #Conflicts: 418000 | #Constraints: 23629
452.48/453.64 c #Conflicts: 419000 | #Constraints: 24629
452.48/453.64 c #Conflicts: 420000 | #Constraints: 25629
452.48/453.64 c INPROCESSING
452.48/453.64 c GARBAGE COLLECT
452.48/453.64 c #Conflicts: 421000 | #Constraints: 13830
452.48/453.64 c #Conflicts: 422000 | #Constraints: 14830
452.48/453.64 c #Conflicts: 423000 | #Constraints: 15830
452.48/453.64 c #Conflicts: 424000 | #Constraints: 16830
452.48/453.64 c #Conflicts: 425000 | #Constraints: 17830
452.48/453.64 c #Conflicts: 426000 | #Constraints: 18830
452.48/453.64 c #Conflicts: 427000 | #Constraints: 19830
452.48/453.64 c #Conflicts: 428000 | #Constraints: 20830
452.48/453.64 c #Conflicts: 429000 | #Constraints: 21830
452.48/453.64 c #Conflicts: 430000 | #Constraints: 22830
452.48/453.64 c #Conflicts: 431000 | #Constraints: 23830
452.48/453.64 c #Conflicts: 432000 | #Constraints: 24830
452.48/453.64 c #Conflicts: 433000 | #Constraints: 25830
452.48/453.64 c INPROCESSING
452.48/453.64 c GARBAGE COLLECT
452.48/453.64 c #Conflicts: 434000 | #Constraints: 13832
452.48/453.64 c #Conflicts: 435000 | #Constraints: 14832
452.48/453.64 c #Conflicts: 436000 | #Constraints: 15832
594.43/596.00 c #Conflicts: 437000 | #Constraints: 16832
594.43/596.00 c #Conflicts: 438000 | #Constraints: 17832
594.43/596.00 c #Conflicts: 439000 | #Constraints: 18832
594.43/596.00 c #Conflicts: 440000 | #Constraints: 19832
594.43/596.00 c #Conflicts: 441000 | #Constraints: 20832
594.43/596.00 c #Conflicts: 442000 | #Constraints: 21832
594.43/596.00 c #Conflicts: 443000 | #Constraints: 22832
594.43/596.00 c #Conflicts: 444000 | #Constraints: 23832
594.43/596.00 c #Conflicts: 445000 | #Constraints: 24832
594.43/596.00 c #Conflicts: 446000 | #Constraints: 25832
594.43/596.00 c INPROCESSING
594.43/596.00 c GARBAGE COLLECT
594.43/596.00 c #Conflicts: 447000 | #Constraints: 13632
594.43/596.00 c #Conflicts: 448000 | #Constraints: 14632
594.43/596.00 c #Conflicts: 449000 | #Constraints: 15632
594.43/596.00 c #Conflicts: 450000 | #Constraints: 16632
594.43/596.00 c #Conflicts: 451000 | #Constraints: 17632
594.43/596.00 c #Conflicts: 452000 | #Constraints: 18632
594.43/596.00 c #Conflicts: 453000 | #Constraints: 19632
594.43/596.00 c #Conflicts: 454000 | #Constraints: 20632
594.43/596.00 c #Conflicts: 455000 | #Constraints: 21632
594.43/596.00 c #Conflicts: 456000 | #Constraints: 22632
594.43/596.00 c #Conflicts: 457000 | #Constraints: 23632
594.43/596.00 c #Conflicts: 458000 | #Constraints: 24632
594.43/596.00 c #Conflicts: 459000 | #Constraints: 25632
594.43/596.00 c #Conflicts: 460000 | #Constraints: 26632
594.43/596.00 c INPROCESSING
594.43/596.00 c GARBAGE COLLECT
594.43/596.00 c #Conflicts: 461000 | #Constraints: 14234
594.43/596.00 c #Conflicts: 462000 | #Constraints: 15234
594.43/596.00 c #Conflicts: 463000 | #Constraints: 16234
594.43/596.00 c #Conflicts: 464000 | #Constraints: 17234
594.43/596.00 c #Conflicts: 465000 | #Constraints: 18234
594.43/596.00 c #Conflicts: 466000 | #Constraints: 19234
594.43/596.00 c #Conflicts: 467000 | #Constraints: 20234
594.43/596.00 c #Conflicts: 468000 | #Constraints: 21234
594.43/596.00 c #Conflicts: 469000 | #Constraints: 22234
594.43/596.00 c #Conflicts: 470000 | #Constraints: 23234
594.43/596.00 c #Conflicts: 471000 | #Constraints: 24234
594.43/596.00 c #Conflicts: 472000 | #Constraints: 25234
594.43/596.00 c #Conflicts: 473000 | #Constraints: 26234
594.43/596.00 c #Conflicts: 474000 | #Constraints: 27234
594.43/596.00 c INPROCESSING
594.43/596.00 c GARBAGE COLLECT
594.43/596.00 c #Conflicts: 475000 | #Constraints: 14631
594.43/596.00 c #Conflicts: 476000 | #Constraints: 15631
594.43/596.00 c #Conflicts: 477000 | #Constraints: 16631
594.43/596.00 c #Conflicts: 478000 | #Constraints: 17631
594.43/596.00 c #Conflicts: 479000 | #Constraints: 18631
594.43/596.00 c #Conflicts: 480000 | #Constraints: 19631
594.43/596.00 c #Conflicts: 481000 | #Constraints: 20631
594.43/596.00 c #Conflicts: 482000 | #Constraints: 21631
594.43/596.00 c #Conflicts: 483000 | #Constraints: 22631
594.43/596.00 c #Conflicts: 484000 | #Constraints: 23631
594.43/596.00 c #Conflicts: 485000 | #Constraints: 24631
594.43/596.00 c #Conflicts: 486000 | #Constraints: 25631
594.43/596.00 c #Conflicts: 487000 | #Constraints: 26631
594.43/596.00 c #Conflicts: 488000 | #Constraints: 27631
594.43/596.00 c INPROCESSING
594.43/596.00 c GARBAGE COLLECT
594.43/596.00 c #Conflicts: 489000 | #Constraints: 14828
594.43/596.00 c #Conflicts: 490000 | #Constraints: 15828
594.43/596.00 c #Conflicts: 491000 | #Constraints: 16828
594.43/596.00 c #Conflicts: 492000 | #Constraints: 17828
594.43/596.00 c #Conflicts: 493000 | #Constraints: 18828
594.43/596.00 c #Conflicts: 494000 | #Constraints: 19828
594.43/596.00 c #Conflicts: 495000 | #Constraints: 20828
594.43/596.00 c #Conflicts: 496000 | #Constraints: 21828
594.43/596.00 c #Conflicts: 497000 | #Constraints: 22828
594.43/596.00 c #Conflicts: 498000 | #Constraints: 23828
594.43/596.00 c #Conflicts: 499000 | #Constraints: 24828
594.43/596.00 c #Conflicts: 500000 | #Constraints: 25828
594.43/596.00 c #Conflicts: 501000 | #Constraints: 26828
594.43/596.00 c #Conflicts: 502000 | #Constraints: 27828
594.43/596.00 c INPROCESSING
594.43/596.00 c GARBAGE COLLECT
594.43/596.00 c #Conflicts: 503000 | #Constraints: 14833
594.43/596.00 c #Conflicts: 504000 | #Constraints: 15833
594.43/596.00 c #Conflicts: 505000 | #Constraints: 16833
594.43/596.00 c #Conflicts: 506000 | #Constraints: 17833
594.43/596.00 c #Conflicts: 507000 | #Constraints: 18833
594.43/596.00 c #Conflicts: 508000 | #Constraints: 19833
594.43/596.00 c #Conflicts: 509000 | #Constraints: 20833
594.43/596.00 c #Conflicts: 510000 | #Constraints: 21833
594.43/596.00 c #Conflicts: 511000 | #Constraints: 22833
594.43/596.00 c #Conflicts: 512000 | #Constraints: 23833
739.50/741.38 c #Conflicts: 513000 | #Constraints: 24833
739.50/741.38 c #Conflicts: 514000 | #Constraints: 25833
739.50/741.38 c #Conflicts: 515000 | #Constraints: 26833
739.50/741.38 c #Conflicts: 516000 | #Constraints: 27833
739.50/741.38 c INPROCESSING
739.50/741.38 c GARBAGE COLLECT
739.50/741.38 c #Conflicts: 517000 | #Constraints: 14631
739.50/741.38 c #Conflicts: 518000 | #Constraints: 15631
739.50/741.38 c #Conflicts: 519000 | #Constraints: 16631
739.50/741.38 c #Conflicts: 520000 | #Constraints: 17631
739.50/741.38 c #Conflicts: 521000 | #Constraints: 18631
739.50/741.38 c #Conflicts: 522000 | #Constraints: 19631
739.50/741.38 c #Conflicts: 523000 | #Constraints: 20631
739.50/741.38 c #Conflicts: 524000 | #Constraints: 21631
739.50/741.38 c #Conflicts: 525000 | #Constraints: 22631
739.50/741.38 c #Conflicts: 526000 | #Constraints: 23631
739.50/741.38 c #Conflicts: 527000 | #Constraints: 24631
739.50/741.38 c #Conflicts: 528000 | #Constraints: 25631
739.50/741.38 c #Conflicts: 529000 | #Constraints: 26631
739.50/741.38 c #Conflicts: 530000 | #Constraints: 27631
739.50/741.38 c #Conflicts: 531000 | #Constraints: 28631
739.50/741.38 c INPROCESSING
739.50/741.38 c GARBAGE COLLECT
739.50/741.38 c #Conflicts: 532000 | #Constraints: 15232
739.50/741.38 c #Conflicts: 533000 | #Constraints: 16232
739.50/741.38 c #Conflicts: 534000 | #Constraints: 17232
739.50/741.38 c #Conflicts: 535000 | #Constraints: 18232
739.50/741.38 c #Conflicts: 536000 | #Constraints: 19232
739.50/741.38 c #Conflicts: 537000 | #Constraints: 20232
739.50/741.38 c #Conflicts: 538000 | #Constraints: 21232
739.50/741.38 c #Conflicts: 539000 | #Constraints: 22232
739.50/741.38 c #Conflicts: 540000 | #Constraints: 23232
739.50/741.38 c #Conflicts: 541000 | #Constraints: 24232
739.50/741.38 c #Conflicts: 542000 | #Constraints: 25232
739.50/741.38 c #Conflicts: 543000 | #Constraints: 26232
739.50/741.38 c #Conflicts: 544000 | #Constraints: 27232
739.50/741.38 c #Conflicts: 545000 | #Constraints: 28232
739.50/741.38 c #Conflicts: 546000 | #Constraints: 29232
739.50/741.38 c INPROCESSING
739.50/741.38 c GARBAGE COLLECT
739.50/741.38 c #Conflicts: 547000 | #Constraints: 15629
739.50/741.38 c #Conflicts: 548000 | #Constraints: 16629
739.50/741.38 c #Conflicts: 549000 | #Constraints: 17629
739.50/741.38 c #Conflicts: 550000 | #Constraints: 18629
739.50/741.38 c #Conflicts: 551000 | #Constraints: 19629
739.50/741.38 c #Conflicts: 552000 | #Constraints: 20629
739.50/741.38 c #Conflicts: 553000 | #Constraints: 21629
739.50/741.38 c #Conflicts: 554000 | #Constraints: 22629
739.50/741.38 c #Conflicts: 555000 | #Constraints: 23629
739.50/741.38 c #Conflicts: 556000 | #Constraints: 24629
739.50/741.38 c #Conflicts: 557000 | #Constraints: 25629
739.50/741.38 c #Conflicts: 558000 | #Constraints: 26629
739.50/741.38 c #Conflicts: 559000 | #Constraints: 27629
739.50/741.38 c #Conflicts: 560000 | #Constraints: 28629
739.50/741.38 c #Conflicts: 561000 | #Constraints: 29629
739.50/741.38 c INPROCESSING
739.50/741.38 c GARBAGE COLLECT
739.50/741.38 c #Conflicts: 562000 | #Constraints: 15829
739.50/741.38 c #Conflicts: 563000 | #Constraints: 16829
739.50/741.38 c #Conflicts: 564000 | #Constraints: 17829
739.50/741.38 c #Conflicts: 565000 | #Constraints: 18829
739.50/741.38 c #Conflicts: 566000 | #Constraints: 19829
739.50/741.38 c #Conflicts: 567000 | #Constraints: 20829
739.50/741.38 c #Conflicts: 568000 | #Constraints: 21829
739.50/741.38 c #Conflicts: 569000 | #Constraints: 22829
739.50/741.38 c #Conflicts: 570000 | #Constraints: 23829
739.50/741.38 c #Conflicts: 571000 | #Constraints: 24829
739.50/741.38 c #Conflicts: 572000 | #Constraints: 25829
739.50/741.38 c #Conflicts: 573000 | #Constraints: 26829
739.50/741.38 c #Conflicts: 574000 | #Constraints: 27829
739.50/741.38 c #Conflicts: 575000 | #Constraints: 28829
739.50/741.38 c #Conflicts: 576000 | #Constraints: 29829
739.50/741.38 c INPROCESSING
739.50/741.38 c GARBAGE COLLECT
739.50/741.38 c #Conflicts: 577000 | #Constraints: 15830
739.50/741.38 c #Conflicts: 578000 | #Constraints: 16830
739.50/741.38 c #Conflicts: 579000 | #Constraints: 17830
739.50/741.38 c #Conflicts: 580000 | #Constraints: 18830
739.50/741.38 c #Conflicts: 581000 | #Constraints: 19830
739.50/741.38 c #Conflicts: 582000 | #Constraints: 20830
739.50/741.38 c #Conflicts: 583000 | #Constraints: 21830
739.50/741.38 c #Conflicts: 584000 | #Constraints: 22830
739.50/741.38 c #Conflicts: 585000 | #Constraints: 23830
739.50/741.38 c #Conflicts: 586000 | #Constraints: 24830
739.50/741.38 c #Conflicts: 587000 | #Constraints: 25830
739.50/741.38 c #Conflicts: 588000 | #Constraints: 26830
896.23/898.48 c #Conflicts: 589000 | #Constraints: 27830
896.23/898.48 c #Conflicts: 590000 | #Constraints: 28830
896.23/898.48 c #Conflicts: 591000 | #Constraints: 29830
896.23/898.48 c INPROCESSING
896.23/898.48 c GARBAGE COLLECT
896.23/898.48 c #Conflicts: 592000 | #Constraints: 15632
896.23/898.48 c #Conflicts: 593000 | #Constraints: 16632
896.23/898.48 c #Conflicts: 594000 | #Constraints: 17632
896.23/898.48 c #Conflicts: 595000 | #Constraints: 18632
896.23/898.48 c #Conflicts: 596000 | #Constraints: 19632
896.23/898.48 c #Conflicts: 597000 | #Constraints: 20632
896.23/898.48 c #Conflicts: 598000 | #Constraints: 21632
896.23/898.48 c #Conflicts: 599000 | #Constraints: 22632
896.23/898.48 c #Conflicts: 600000 | #Constraints: 23632
896.23/898.48 c #Conflicts: 601000 | #Constraints: 24632
896.23/898.48 c #Conflicts: 602000 | #Constraints: 25632
896.23/898.48 c #Conflicts: 603000 | #Constraints: 26632
896.23/898.48 c #Conflicts: 604000 | #Constraints: 27632
896.23/898.48 c #Conflicts: 605000 | #Constraints: 28632
896.23/898.48 c #Conflicts: 606000 | #Constraints: 29632
896.23/898.48 c #Conflicts: 607000 | #Constraints: 30632
896.23/898.48 c INPROCESSING
896.23/898.48 c GARBAGE COLLECT
896.23/898.48 c #Conflicts: 608000 | #Constraints: 16230
896.23/898.48 c #Conflicts: 609000 | #Constraints: 17230
896.23/898.48 c #Conflicts: 610000 | #Constraints: 18230
896.23/898.48 c #Conflicts: 611000 | #Constraints: 19230
896.23/898.48 c #Conflicts: 612000 | #Constraints: 20230
896.23/898.48 c #Conflicts: 613000 | #Constraints: 21230
896.23/898.48 c #Conflicts: 614000 | #Constraints: 22230
896.23/898.48 c #Conflicts: 615000 | #Constraints: 23230
896.23/898.48 c #Conflicts: 616000 | #Constraints: 24230
896.23/898.48 c #Conflicts: 617000 | #Constraints: 25230
896.23/898.48 c #Conflicts: 618000 | #Constraints: 26230
896.23/898.48 c #Conflicts: 619000 | #Constraints: 27230
896.23/898.48 c #Conflicts: 620000 | #Constraints: 28230
896.23/898.48 c #Conflicts: 621000 | #Constraints: 29230
896.23/898.48 c #Conflicts: 622000 | #Constraints: 30230
896.23/898.48 c #Conflicts: 623000 | #Constraints: 31230
896.23/898.48 c INPROCESSING
896.23/898.48 c GARBAGE COLLECT
896.23/898.48 c #Conflicts: 624000 | #Constraints: 16628
896.23/898.48 c #Conflicts: 625000 | #Constraints: 17628
896.23/898.48 c #Conflicts: 626000 | #Constraints: 18628
896.23/898.48 c #Conflicts: 627000 | #Constraints: 19628
896.23/898.48 c #Conflicts: 628000 | #Constraints: 20628
896.23/898.48 c #Conflicts: 629000 | #Constraints: 21628
896.23/898.48 c #Conflicts: 630000 | #Constraints: 22628
896.23/898.48 c #Conflicts: 631000 | #Constraints: 23628
896.23/898.48 c #Conflicts: 632000 | #Constraints: 24628
896.23/898.48 c #Conflicts: 633000 | #Constraints: 25628
896.23/898.48 c #Conflicts: 634000 | #Constraints: 26628
896.23/898.48 c #Conflicts: 635000 | #Constraints: 27628
896.23/898.48 c #Conflicts: 636000 | #Constraints: 28628
896.23/898.48 c #Conflicts: 637000 | #Constraints: 29628
896.23/898.48 c #Conflicts: 638000 | #Constraints: 30628
896.23/898.48 c #Conflicts: 639000 | #Constraints: 31628
896.23/898.48 c INPROCESSING
896.23/898.48 c GARBAGE COLLECT
896.23/898.48 c #Conflicts: 640000 | #Constraints: 16830
896.23/898.48 c #Conflicts: 641000 | #Constraints: 17830
896.23/898.48 c #Conflicts: 642000 | #Constraints: 18830
896.23/898.48 c #Conflicts: 643000 | #Constraints: 19830
896.23/898.48 c #Conflicts: 644000 | #Constraints: 20830
896.23/898.48 c #Conflicts: 645000 | #Constraints: 21830
896.23/898.48 c #Conflicts: 646000 | #Constraints: 22830
896.23/898.48 c #Conflicts: 647000 | #Constraints: 23830
896.23/898.48 c #Conflicts: 648000 | #Constraints: 24830
896.23/898.48 c #Conflicts: 649000 | #Constraints: 25830
896.23/898.48 c #Conflicts: 650000 | #Constraints: 26830
896.23/898.48 c #Conflicts: 651000 | #Constraints: 27830
896.23/898.48 c #Conflicts: 652000 | #Constraints: 28830
896.23/898.48 c #Conflicts: 653000 | #Constraints: 29830
896.23/898.48 c #Conflicts: 654000 | #Constraints: 30830
896.23/898.48 c #Conflicts: 655000 | #Constraints: 31830
896.23/898.48 c INPROCESSING
896.23/898.48 c GARBAGE COLLECT
896.23/898.48 c #Conflicts: 656000 | #Constraints: 16828
896.23/898.48 c #Conflicts: 657000 | #Constraints: 17828
896.23/898.48 c #Conflicts: 658000 | #Constraints: 18828
896.23/898.48 c #Conflicts: 659000 | #Constraints: 19828
896.23/898.48 c #Conflicts: 660000 | #Constraints: 20828
896.23/898.48 c #Conflicts: 661000 | #Constraints: 21828
896.23/898.48 c #Conflicts: 662000 | #Constraints: 22828
896.23/898.48 c #Conflicts: 663000 | #Constraints: 23828
1074.96/1077.69 c #Conflicts: 664000 | #Constraints: 24828
1074.96/1077.69 c #Conflicts: 665000 | #Constraints: 25828
1074.96/1077.69 c #Conflicts: 666000 | #Constraints: 26828
1074.96/1077.69 c #Conflicts: 667000 | #Constraints: 27828
1074.96/1077.69 c #Conflicts: 668000 | #Constraints: 28828
1074.96/1077.69 c #Conflicts: 669000 | #Constraints: 29828
1074.96/1077.69 c #Conflicts: 670000 | #Constraints: 30828
1074.96/1077.69 c #Conflicts: 671000 | #Constraints: 31828
1074.96/1077.69 c INPROCESSING
1074.96/1077.69 c GARBAGE COLLECT
1074.96/1077.69 c #Conflicts: 672000 | #Constraints: 16626
1074.96/1077.69 c #Conflicts: 673000 | #Constraints: 17626
1074.96/1077.69 c #Conflicts: 674000 | #Constraints: 18626
1074.96/1077.69 c #Conflicts: 675000 | #Constraints: 19626
1074.96/1077.69 c #Conflicts: 676000 | #Constraints: 20626
1074.96/1077.69 c #Conflicts: 677000 | #Constraints: 21626
1074.96/1077.69 c #Conflicts: 678000 | #Constraints: 22626
1074.96/1077.69 c #Conflicts: 679000 | #Constraints: 23626
1074.96/1077.69 c #Conflicts: 680000 | #Constraints: 24626
1074.96/1077.69 c #Conflicts: 681000 | #Constraints: 25626
1074.96/1077.69 c #Conflicts: 682000 | #Constraints: 26626
1074.96/1077.69 c #Conflicts: 683000 | #Constraints: 27626
1074.96/1077.69 c #Conflicts: 684000 | #Constraints: 28626
1074.96/1077.69 c #Conflicts: 685000 | #Constraints: 29626
1074.96/1077.69 c #Conflicts: 686000 | #Constraints: 30626
1074.96/1077.69 c #Conflicts: 687000 | #Constraints: 31626
1074.96/1077.69 c #Conflicts: 688000 | #Constraints: 32626
1074.96/1077.69 c INPROCESSING
1074.96/1077.69 c GARBAGE COLLECT
1074.96/1077.69 c #Conflicts: 689000 | #Constraints: 17226
1074.96/1077.69 c #Conflicts: 690000 | #Constraints: 18226
1074.96/1077.69 c #Conflicts: 691000 | #Constraints: 19226
1074.96/1077.69 c #Conflicts: 692000 | #Constraints: 20226
1074.96/1077.69 c #Conflicts: 693000 | #Constraints: 21226
1074.96/1077.69 c #Conflicts: 694000 | #Constraints: 22226
1074.96/1077.69 c #Conflicts: 695000 | #Constraints: 23226
1074.96/1077.69 c #Conflicts: 696000 | #Constraints: 24226
1074.96/1077.69 c #Conflicts: 697000 | #Constraints: 25226
1074.96/1077.69 c #Conflicts: 698000 | #Constraints: 26226
1074.96/1077.69 c #Conflicts: 699000 | #Constraints: 27226
1074.96/1077.69 c #Conflicts: 700000 | #Constraints: 28226
1074.96/1077.69 c #Conflicts: 701000 | #Constraints: 29226
1074.96/1077.69 c #Conflicts: 702000 | #Constraints: 30226
1074.96/1077.69 c #Conflicts: 703000 | #Constraints: 31226
1074.96/1077.69 c #Conflicts: 704000 | #Constraints: 32226
1074.96/1077.69 c #Conflicts: 705000 | #Constraints: 33226
1074.96/1077.69 c INPROCESSING
1074.96/1077.69 c GARBAGE COLLECT
1074.96/1077.69 c #Conflicts: 706000 | #Constraints: 17627
1074.96/1077.69 c #Conflicts: 707000 | #Constraints: 18627
1074.96/1077.69 c #Conflicts: 708000 | #Constraints: 19627
1074.96/1077.69 c #Conflicts: 709000 | #Constraints: 20627
1074.96/1077.69 c #Conflicts: 710000 | #Constraints: 21627
1074.96/1077.69 c #Conflicts: 711000 | #Constraints: 22627
1074.96/1077.69 c #Conflicts: 712000 | #Constraints: 23627
1074.96/1077.69 c #Conflicts: 713000 | #Constraints: 24627
1074.96/1077.69 c #Conflicts: 714000 | #Constraints: 25627
1074.96/1077.69 c #Conflicts: 715000 | #Constraints: 26627
1074.96/1077.69 c #Conflicts: 716000 | #Constraints: 27627
1074.96/1077.69 c #Conflicts: 717000 | #Constraints: 28627
1074.96/1077.69 c #Conflicts: 718000 | #Constraints: 29627
1074.96/1077.69 c #Conflicts: 719000 | #Constraints: 30627
1074.96/1077.69 c #Conflicts: 720000 | #Constraints: 31627
1074.96/1077.69 c #Conflicts: 721000 | #Constraints: 32627
1074.96/1077.69 c #Conflicts: 722000 | #Constraints: 33627
1074.96/1077.69 c INPROCESSING
1074.96/1077.69 c GARBAGE COLLECT
1074.96/1077.69 c #Conflicts: 723000 | #Constraints: 17830
1074.96/1077.69 c #Conflicts: 724000 | #Constraints: 18830
1074.96/1077.69 c #Conflicts: 725000 | #Constraints: 19830
1074.96/1077.69 c #Conflicts: 726000 | #Constraints: 20830
1074.96/1077.69 c #Conflicts: 727000 | #Constraints: 21830
1074.96/1077.69 c #Conflicts: 728000 | #Constraints: 22830
1074.96/1077.69 c #Conflicts: 729000 | #Constraints: 23830
1074.96/1077.69 c #Conflicts: 730000 | #Constraints: 24830
1074.96/1077.69 c #Conflicts: 731000 | #Constraints: 25830
1074.96/1077.69 c #Conflicts: 732000 | #Constraints: 26830
1074.96/1077.69 c #Conflicts: 733000 | #Constraints: 27830
1074.96/1077.69 c #Conflicts: 734000 | #Constraints: 28830
1074.96/1077.69 c #Conflicts: 735000 | #Constraints: 29830
1074.96/1077.69 c #Conflicts: 736000 | #Constraints: 30830
1074.96/1077.69 c #Conflicts: 737000 | #Constraints: 31830
1074.96/1077.69 c #Conflicts: 738000 | #Constraints: 32830
1074.96/1077.69 c #Conflicts: 739000 | #Constraints: 33830
1253.99/1257.18 c INPROCESSING
1253.99/1257.18 c GARBAGE COLLECT
1253.99/1257.18 c #Conflicts: 740000 | #Constraints: 17829
1253.99/1257.18 c #Conflicts: 741000 | #Constraints: 18829
1253.99/1257.18 c #Conflicts: 742000 | #Constraints: 19829
1253.99/1257.18 c #Conflicts: 743000 | #Constraints: 20829
1253.99/1257.18 c #Conflicts: 744000 | #Constraints: 21829
1253.99/1257.18 c #Conflicts: 745000 | #Constraints: 22829
1253.99/1257.18 c #Conflicts: 746000 | #Constraints: 23829
1253.99/1257.18 c #Conflicts: 747000 | #Constraints: 24829
1253.99/1257.18 c #Conflicts: 748000 | #Constraints: 25829
1253.99/1257.18 c #Conflicts: 749000 | #Constraints: 26829
1253.99/1257.18 c #Conflicts: 750000 | #Constraints: 27829
1253.99/1257.18 c #Conflicts: 751000 | #Constraints: 28829
1253.99/1257.18 c #Conflicts: 752000 | #Constraints: 29829
1253.99/1257.18 c #Conflicts: 753000 | #Constraints: 30829
1253.99/1257.18 c #Conflicts: 754000 | #Constraints: 31829
1253.99/1257.18 c #Conflicts: 755000 | #Constraints: 32829
1253.99/1257.18 c #Conflicts: 756000 | #Constraints: 33829
1253.99/1257.18 c INPROCESSING
1253.99/1257.18 c GARBAGE COLLECT
1253.99/1257.18 c #Conflicts: 757000 | #Constraints: 17629
1253.99/1257.18 c #Conflicts: 758000 | #Constraints: 18629
1253.99/1257.18 c #Conflicts: 759000 | #Constraints: 19629
1253.99/1257.18 c #Conflicts: 760000 | #Constraints: 20629
1253.99/1257.18 c #Conflicts: 761000 | #Constraints: 21629
1253.99/1257.18 c #Conflicts: 762000 | #Constraints: 22629
1253.99/1257.18 c #Conflicts: 763000 | #Constraints: 23629
1253.99/1257.18 c #Conflicts: 764000 | #Constraints: 24629
1253.99/1257.18 c #Conflicts: 765000 | #Constraints: 25629
1253.99/1257.18 c #Conflicts: 766000 | #Constraints: 26629
1253.99/1257.18 c #Conflicts: 767000 | #Constraints: 27629
1253.99/1257.18 c #Conflicts: 768000 | #Constraints: 28629
1253.99/1257.18 c #Conflicts: 769000 | #Constraints: 29629
1253.99/1257.18 c #Conflicts: 770000 | #Constraints: 30629
1253.99/1257.18 c #Conflicts: 771000 | #Constraints: 31629
1253.99/1257.18 c #Conflicts: 772000 | #Constraints: 32629
1253.99/1257.18 c #Conflicts: 773000 | #Constraints: 33629
1253.99/1257.18 c #Conflicts: 774000 | #Constraints: 34629
1253.99/1257.18 c INPROCESSING
1253.99/1257.18 c GARBAGE COLLECT
1253.99/1257.18 c #Conflicts: 775000 | #Constraints: 18231
1253.99/1257.18 c #Conflicts: 776000 | #Constraints: 19231
1253.99/1257.18 c #Conflicts: 777000 | #Constraints: 20231
1253.99/1257.18 c #Conflicts: 778000 | #Constraints: 21231
1253.99/1257.18 c #Conflicts: 779000 | #Constraints: 22231
1253.99/1257.18 c #Conflicts: 780000 | #Constraints: 23231
1253.99/1257.18 c #Conflicts: 781000 | #Constraints: 24231
1253.99/1257.18 c #Conflicts: 782000 | #Constraints: 25231
1253.99/1257.18 c #Conflicts: 783000 | #Constraints: 26231
1253.99/1257.18 c #Conflicts: 784000 | #Constraints: 27231
1253.99/1257.18 c #Conflicts: 785000 | #Constraints: 28231
1253.99/1257.18 c #Conflicts: 786000 | #Constraints: 29231
1253.99/1257.18 c #Conflicts: 787000 | #Constraints: 30231
1253.99/1257.18 c #Conflicts: 788000 | #Constraints: 31231
1253.99/1257.18 c #Conflicts: 789000 | #Constraints: 32231
1253.99/1257.18 c #Conflicts: 790000 | #Constraints: 33231
1253.99/1257.18 c #Conflicts: 791000 | #Constraints: 34231
1253.99/1257.18 c #Conflicts: 792000 | #Constraints: 35231
1253.99/1257.18 c INPROCESSING
1253.99/1257.18 c GARBAGE COLLECT
1253.99/1257.18 c #Conflicts: 793000 | #Constraints: 18629
1253.99/1257.18 c #Conflicts: 794000 | #Constraints: 19629
1253.99/1257.18 c #Conflicts: 795000 | #Constraints: 20629
1253.99/1257.18 c #Conflicts: 796000 | #Constraints: 21629
1253.99/1257.18 c #Conflicts: 797000 | #Constraints: 22629
1253.99/1257.18 c #Conflicts: 798000 | #Constraints: 23629
1253.99/1257.18 c #Conflicts: 799000 | #Constraints: 24629
1253.99/1257.18 c #Conflicts: 800000 | #Constraints: 25629
1253.99/1257.18 c #Conflicts: 801000 | #Constraints: 26629
1253.99/1257.18 c #Conflicts: 802000 | #Constraints: 27629
1253.99/1257.18 c #Conflicts: 803000 | #Constraints: 28629
1253.99/1257.18 c #Conflicts: 804000 | #Constraints: 29629
1253.99/1257.18 c #Conflicts: 805000 | #Constraints: 30629
1253.99/1257.18 c #Conflicts: 806000 | #Constraints: 31629
1253.99/1257.18 c #Conflicts: 807000 | #Constraints: 32629
1253.99/1257.18 c #Conflicts: 808000 | #Constraints: 33629
1253.99/1257.18 c #Conflicts: 809000 | #Constraints: 34629
1253.99/1257.18 c #Conflicts: 810000 | #Constraints: 35629
1253.99/1257.18 c INPROCESSING
1253.99/1257.18 c GARBAGE COLLECT
1253.99/1257.18 c #Conflicts: 811000 | #Constraints: 18831
1253.99/1257.18 c #Conflicts: 812000 | #Constraints: 19831
1253.99/1257.18 c #Conflicts: 813000 | #Constraints: 20831
1253.99/1257.18 c #Conflicts: 814000 | #Constraints: 21831
1253.99/1257.18 c #Conflicts: 815000 | #Constraints: 22831
1446.66/1450.38 c #Conflicts: 816000 | #Constraints: 23831
1446.66/1450.38 c #Conflicts: 817000 | #Constraints: 24831
1446.66/1450.38 c #Conflicts: 818000 | #Constraints: 25831
1446.66/1450.38 c #Conflicts: 819000 | #Constraints: 26831
1446.66/1450.38 c #Conflicts: 820000 | #Constraints: 27831
1446.66/1450.38 c #Conflicts: 821000 | #Constraints: 28831
1446.66/1450.38 c #Conflicts: 822000 | #Constraints: 29831
1446.66/1450.38 c #Conflicts: 823000 | #Constraints: 30831
1446.66/1450.38 c #Conflicts: 824000 | #Constraints: 31831
1446.66/1450.38 c #Conflicts: 825000 | #Constraints: 32831
1446.66/1450.38 c #Conflicts: 826000 | #Constraints: 33831
1446.66/1450.38 c #Conflicts: 827000 | #Constraints: 34831
1446.66/1450.38 c #Conflicts: 828000 | #Constraints: 35831
1446.66/1450.38 c INPROCESSING
1446.66/1450.38 c GARBAGE COLLECT
1446.66/1450.38 c #Conflicts: 829000 | #Constraints: 18834
1446.66/1450.38 c #Conflicts: 830000 | #Constraints: 19834
1446.66/1450.38 c #Conflicts: 831000 | #Constraints: 20834
1446.66/1450.38 c #Conflicts: 832000 | #Constraints: 21834
1446.66/1450.38 c #Conflicts: 833000 | #Constraints: 22834
1446.66/1450.38 c #Conflicts: 834000 | #Constraints: 23834
1446.66/1450.38 c #Conflicts: 835000 | #Constraints: 24834
1446.66/1450.38 c #Conflicts: 836000 | #Constraints: 25834
1446.66/1450.38 c #Conflicts: 837000 | #Constraints: 26834
1446.66/1450.38 c #Conflicts: 838000 | #Constraints: 27834
1446.66/1450.38 c #Conflicts: 839000 | #Constraints: 28834
1446.66/1450.38 c #Conflicts: 840000 | #Constraints: 29834
1446.66/1450.38 c #Conflicts: 841000 | #Constraints: 30834
1446.66/1450.38 c #Conflicts: 842000 | #Constraints: 31834
1446.66/1450.38 c #Conflicts: 843000 | #Constraints: 32834
1446.66/1450.38 c #Conflicts: 844000 | #Constraints: 33834
1446.66/1450.38 c #Conflicts: 845000 | #Constraints: 34834
1446.66/1450.38 c #Conflicts: 846000 | #Constraints: 35834
1446.66/1450.38 c INPROCESSING
1446.66/1450.38 c GARBAGE COLLECT
1446.66/1450.38 c #Conflicts: 847000 | #Constraints: 18631
1446.66/1450.38 c #Conflicts: 848000 | #Constraints: 19631
1446.66/1450.38 c #Conflicts: 849000 | #Constraints: 20631
1446.66/1450.38 c #Conflicts: 850000 | #Constraints: 21631
1446.66/1450.38 c #Conflicts: 851000 | #Constraints: 22631
1446.66/1450.38 c #Conflicts: 852000 | #Constraints: 23631
1446.66/1450.38 c #Conflicts: 853000 | #Constraints: 24631
1446.66/1450.38 c #Conflicts: 854000 | #Constraints: 25631
1446.66/1450.38 c #Conflicts: 855000 | #Constraints: 26631
1446.66/1450.38 c #Conflicts: 856000 | #Constraints: 27631
1446.66/1450.38 c #Conflicts: 857000 | #Constraints: 28631
1446.66/1450.38 c #Conflicts: 858000 | #Constraints: 29631
1446.66/1450.38 c #Conflicts: 859000 | #Constraints: 30631
1446.66/1450.38 c #Conflicts: 860000 | #Constraints: 31631
1446.66/1450.38 c #Conflicts: 861000 | #Constraints: 32631
1446.66/1450.38 c #Conflicts: 862000 | #Constraints: 33631
1446.66/1450.38 c #Conflicts: 863000 | #Constraints: 34631
1446.66/1450.38 c #Conflicts: 864000 | #Constraints: 35631
1446.66/1450.38 c #Conflicts: 865000 | #Constraints: 36631
1446.66/1450.38 c INPROCESSING
1446.66/1450.38 c GARBAGE COLLECT
1446.66/1450.38 c #Conflicts: 866000 | #Constraints: 19229
1446.66/1450.38 c #Conflicts: 867000 | #Constraints: 20229
1446.66/1450.38 c #Conflicts: 868000 | #Constraints: 21229
1446.66/1450.38 c #Conflicts: 869000 | #Constraints: 22229
1446.66/1450.38 c #Conflicts: 870000 | #Constraints: 23229
1446.66/1450.38 c #Conflicts: 871000 | #Constraints: 24229
1446.66/1450.38 c #Conflicts: 872000 | #Constraints: 25229
1446.66/1450.38 c #Conflicts: 873000 | #Constraints: 26229
1446.66/1450.38 c #Conflicts: 874000 | #Constraints: 27229
1446.66/1450.38 c #Conflicts: 875000 | #Constraints: 28229
1446.66/1450.38 c #Conflicts: 876000 | #Constraints: 29229
1446.66/1450.38 c #Conflicts: 877000 | #Constraints: 30229
1446.66/1450.38 c #Conflicts: 878000 | #Constraints: 31229
1446.66/1450.38 c #Conflicts: 879000 | #Constraints: 32229
1446.66/1450.38 c #Conflicts: 880000 | #Constraints: 33229
1446.66/1450.38 c #Conflicts: 881000 | #Constraints: 34229
1446.66/1450.38 c #Conflicts: 882000 | #Constraints: 35229
1446.66/1450.38 c #Conflicts: 883000 | #Constraints: 36229
1446.66/1450.38 c #Conflicts: 884000 | #Constraints: 37229
1446.66/1450.38 c INPROCESSING
1446.66/1450.38 c GARBAGE COLLECT
1446.66/1450.38 c #Conflicts: 885000 | #Constraints: 19629
1446.66/1450.38 c #Conflicts: 886000 | #Constraints: 20629
1446.66/1450.38 c #Conflicts: 887000 | #Constraints: 21629
1446.66/1450.38 c #Conflicts: 888000 | #Constraints: 22629
1446.66/1450.38 c #Conflicts: 889000 | #Constraints: 23629
1446.66/1450.38 c #Conflicts: 890000 | #Constraints: 24629
1446.66/1450.38 c #Conflicts: 891000 | #Constraints: 25629
1653.31/1657.55 c #Conflicts: 892000 | #Constraints: 26629
1653.31/1657.55 c #Conflicts: 893000 | #Constraints: 27629
1653.31/1657.55 c #Conflicts: 894000 | #Constraints: 28629
1653.31/1657.55 c #Conflicts: 895000 | #Constraints: 29629
1653.31/1657.55 c #Conflicts: 896000 | #Constraints: 30629
1653.31/1657.55 c #Conflicts: 897000 | #Constraints: 31629
1653.31/1657.55 c #Conflicts: 898000 | #Constraints: 32629
1653.31/1657.55 c #Conflicts: 899000 | #Constraints: 33629
1653.31/1657.55 c #Conflicts: 900000 | #Constraints: 34629
1653.31/1657.55 c #Conflicts: 901000 | #Constraints: 35629
1653.31/1657.55 c #Conflicts: 902000 | #Constraints: 36629
1653.31/1657.55 c #Conflicts: 903000 | #Constraints: 37629
1653.31/1657.55 c INPROCESSING
1653.31/1657.55 c GARBAGE COLLECT
1653.31/1657.55 c #Conflicts: 904000 | #Constraints: 19827
1653.31/1657.55 c #Conflicts: 905000 | #Constraints: 20827
1653.31/1657.55 c #Conflicts: 906000 | #Constraints: 21827
1653.31/1657.55 c #Conflicts: 907000 | #Constraints: 22827
1653.31/1657.55 c #Conflicts: 908000 | #Constraints: 23827
1653.31/1657.55 c #Conflicts: 909000 | #Constraints: 24827
1653.31/1657.55 c #Conflicts: 910000 | #Constraints: 25827
1653.31/1657.55 c #Conflicts: 911000 | #Constraints: 26827
1653.31/1657.55 c #Conflicts: 912000 | #Constraints: 27827
1653.31/1657.55 c #Conflicts: 913000 | #Constraints: 28827
1653.31/1657.55 c #Conflicts: 914000 | #Constraints: 29827
1653.31/1657.55 c #Conflicts: 915000 | #Constraints: 30827
1653.31/1657.55 c #Conflicts: 916000 | #Constraints: 31827
1653.31/1657.55 c #Conflicts: 917000 | #Constraints: 32827
1653.31/1657.55 c #Conflicts: 918000 | #Constraints: 33827
1653.31/1657.55 c #Conflicts: 919000 | #Constraints: 34827
1653.31/1657.55 c #Conflicts: 920000 | #Constraints: 35827
1653.31/1657.55 c #Conflicts: 921000 | #Constraints: 36827
1653.31/1657.55 c #Conflicts: 922000 | #Constraints: 37827
1653.31/1657.55 c INPROCESSING
1653.31/1657.55 c GARBAGE COLLECT
1653.31/1657.55 c #Conflicts: 923000 | #Constraints: 19827
1653.31/1657.55 c #Conflicts: 924000 | #Constraints: 20827
1653.31/1657.55 c #Conflicts: 925000 | #Constraints: 21827
1653.31/1657.55 c #Conflicts: 926000 | #Constraints: 22827
1653.31/1657.55 c #Conflicts: 927000 | #Constraints: 23827
1653.31/1657.55 c #Conflicts: 928000 | #Constraints: 24827
1653.31/1657.55 c #Conflicts: 929000 | #Constraints: 25827
1653.31/1657.55 c #Conflicts: 930000 | #Constraints: 26827
1653.31/1657.55 c #Conflicts: 931000 | #Constraints: 27827
1653.31/1657.55 c #Conflicts: 932000 | #Constraints: 28827
1653.31/1657.55 c #Conflicts: 933000 | #Constraints: 29827
1653.31/1657.55 c #Conflicts: 934000 | #Constraints: 30827
1653.31/1657.55 c #Conflicts: 935000 | #Constraints: 31827
1653.31/1657.55 c #Conflicts: 936000 | #Constraints: 32827
1653.31/1657.55 c #Conflicts: 937000 | #Constraints: 33827
1653.31/1657.55 c #Conflicts: 938000 | #Constraints: 34827
1653.31/1657.55 c #Conflicts: 939000 | #Constraints: 35827
1653.31/1657.55 c #Conflicts: 940000 | #Constraints: 36827
1653.31/1657.55 c #Conflicts: 941000 | #Constraints: 37827
1653.31/1657.55 c INPROCESSING
1653.31/1657.55 c GARBAGE COLLECT
1653.31/1657.55 c #Conflicts: 942000 | #Constraints: 19630
1653.31/1657.55 c #Conflicts: 943000 | #Constraints: 20630
1653.31/1657.55 c #Conflicts: 944000 | #Constraints: 21630
1653.31/1657.55 c #Conflicts: 945000 | #Constraints: 22630
1653.31/1657.55 c #Conflicts: 946000 | #Constraints: 23630
1653.31/1657.55 c #Conflicts: 947000 | #Constraints: 24630
1653.31/1657.55 c #Conflicts: 948000 | #Constraints: 25630
1653.31/1657.55 c #Conflicts: 949000 | #Constraints: 26630
1653.31/1657.55 c #Conflicts: 950000 | #Constraints: 27630
1653.31/1657.55 c #Conflicts: 951000 | #Constraints: 28630
1653.31/1657.55 c #Conflicts: 952000 | #Constraints: 29630
1653.31/1657.55 c #Conflicts: 953000 | #Constraints: 30630
1653.31/1657.55 c #Conflicts: 954000 | #Constraints: 31630
1653.31/1657.55 c #Conflicts: 955000 | #Constraints: 32630
1653.31/1657.55 c #Conflicts: 956000 | #Constraints: 33630
1653.31/1657.55 c #Conflicts: 957000 | #Constraints: 34630
1653.31/1657.55 c #Conflicts: 958000 | #Constraints: 35630
1653.31/1657.55 c #Conflicts: 959000 | #Constraints: 36630
1653.31/1657.55 c #Conflicts: 960000 | #Constraints: 37630
1653.31/1657.55 c #Conflicts: 961000 | #Constraints: 38630
1653.31/1657.55 c INPROCESSING
1653.31/1657.55 c GARBAGE COLLECT
1653.31/1657.55 c #Conflicts: 962000 | #Constraints: 20233
1653.31/1657.55 c #Conflicts: 963000 | #Constraints: 21233
1653.31/1657.55 c #Conflicts: 964000 | #Constraints: 22233
1653.31/1657.55 c #Conflicts: 965000 | #Constraints: 23233
1653.31/1657.55 c #Conflicts: 966000 | #Constraints: 24233
1653.31/1657.55 c #Conflicts: 967000 | #Constraints: 25233
1653.31/1657.55 c #Conflicts: 968000 | #Constraints: 26233
1898.45/1903.33 c #Conflicts: 969000 | #Constraints: 27233
1898.45/1903.33 c #Conflicts: 970000 | #Constraints: 28233
1898.45/1903.33 c #Conflicts: 971000 | #Constraints: 29233
1898.45/1903.33 c #Conflicts: 972000 | #Constraints: 30233
1898.45/1903.33 c #Conflicts: 973000 | #Constraints: 31233
1898.45/1903.33 c #Conflicts: 974000 | #Constraints: 32233
1898.45/1903.33 c #Conflicts: 975000 | #Constraints: 33233
1898.45/1903.33 c #Conflicts: 976000 | #Constraints: 34233
1898.45/1903.33 c #Conflicts: 977000 | #Constraints: 35233
1898.45/1903.33 c #Conflicts: 978000 | #Constraints: 36233
1898.45/1903.33 c #Conflicts: 979000 | #Constraints: 37233
1898.45/1903.33 c #Conflicts: 980000 | #Constraints: 38233
1898.45/1903.33 c #Conflicts: 981000 | #Constraints: 39233
1898.45/1903.33 c INPROCESSING
1898.45/1903.33 c GARBAGE COLLECT
1898.45/1903.33 c #Conflicts: 982000 | #Constraints: 20630
1898.45/1903.33 c #Conflicts: 983000 | #Constraints: 21630
1898.45/1903.33 c #Conflicts: 984000 | #Constraints: 22630
1898.45/1903.33 c #Conflicts: 985000 | #Constraints: 23630
1898.45/1903.33 c #Conflicts: 986000 | #Constraints: 24630
1898.45/1903.33 c #Conflicts: 987000 | #Constraints: 25630
1898.45/1903.34 c #Conflicts: 988000 | #Constraints: 26630
1898.45/1903.34 c #Conflicts: 989000 | #Constraints: 27630
1898.45/1903.34 c #Conflicts: 990000 | #Constraints: 28630
1898.45/1903.34 c #Conflicts: 991000 | #Constraints: 29630
1898.45/1903.34 c #Conflicts: 992000 | #Constraints: 30630
1898.45/1903.34 c #Conflicts: 993000 | #Constraints: 31630
1898.45/1903.34 c #Conflicts: 994000 | #Constraints: 32630
1898.45/1903.34 c #Conflicts: 995000 | #Constraints: 33630
1898.45/1903.34 c #Conflicts: 996000 | #Constraints: 34630
1898.45/1903.34 c #Conflicts: 997000 | #Constraints: 35630
1898.45/1903.34 c #Conflicts: 998000 | #Constraints: 36630
1898.45/1903.34 c #Conflicts: 999000 | #Constraints: 37630
1898.45/1903.34 c #Conflicts: 1000000 | #Constraints: 38630
1898.45/1903.34 c #Conflicts: 1001000 | #Constraints: 39630
1898.45/1903.34 c INPROCESSING
1898.45/1903.34 c GARBAGE COLLECT
1898.45/1903.34 c #Conflicts: 1002000 | #Constraints: 20830
1898.45/1903.34 c #Conflicts: 1003000 | #Constraints: 21830
1898.45/1903.34 c #Conflicts: 1004000 | #Constraints: 22830
1898.45/1903.34 c #Conflicts: 1005000 | #Constraints: 23830
1898.45/1903.34 c #Conflicts: 1006000 | #Constraints: 24830
1898.45/1903.34 c #Conflicts: 1007000 | #Constraints: 25830
1898.45/1903.34 c #Conflicts: 1008000 | #Constraints: 26830
1898.45/1903.34 c #Conflicts: 1009000 | #Constraints: 27830
1898.45/1903.34 c #Conflicts: 1010000 | #Constraints: 28830
1898.45/1903.34 c #Conflicts: 1011000 | #Constraints: 29830
1898.45/1903.34 c #Conflicts: 1012000 | #Constraints: 30830
1898.45/1903.34 c #Conflicts: 1013000 | #Constraints: 31830
1898.45/1903.34 c #Conflicts: 1014000 | #Constraints: 32830
1898.45/1903.34 c #Conflicts: 1015000 | #Constraints: 33830
1898.45/1903.34 c #Conflicts: 1016000 | #Constraints: 34830
1898.45/1903.34 c #Conflicts: 1017000 | #Constraints: 35830
1898.45/1903.34 c #Conflicts: 1018000 | #Constraints: 36830
1898.45/1903.34 c #Conflicts: 1019000 | #Constraints: 37830
1898.45/1903.34 c #Conflicts: 1020000 | #Constraints: 38830
1898.45/1903.34 c #Conflicts: 1021000 | #Constraints: 39830
1898.45/1903.34 c INPROCESSING
1898.45/1903.34 c GARBAGE COLLECT
1898.45/1903.34 c #Conflicts: 1022000 | #Constraints: 20834
1898.45/1903.34 c #Conflicts: 1023000 | #Constraints: 21834
1898.45/1903.34 c #Conflicts: 1024000 | #Constraints: 22834
1898.45/1903.34 c #Conflicts: 1025000 | #Constraints: 23834
1898.45/1903.34 c #Conflicts: 1026000 | #Constraints: 24834
1898.45/1903.34 c #Conflicts: 1027000 | #Constraints: 25834
1898.45/1903.34 c #Conflicts: 1028000 | #Constraints: 26834
1898.45/1903.34 c #Conflicts: 1029000 | #Constraints: 27834
1898.45/1903.34 c #Conflicts: 1030000 | #Constraints: 28834
1898.45/1903.34 c #Conflicts: 1031000 | #Constraints: 29834
1898.45/1903.34 c #Conflicts: 1032000 | #Constraints: 30834
1898.45/1903.34 c #Conflicts: 1033000 | #Constraints: 31834
1898.45/1903.34 c #Conflicts: 1034000 | #Constraints: 32834
1898.45/1903.34 c #Conflicts: 1035000 | #Constraints: 33834
1898.45/1903.34 c #Conflicts: 1036000 | #Constraints: 34834
1898.45/1903.34 c #Conflicts: 1037000 | #Constraints: 35834
1898.45/1903.34 c #Conflicts: 1038000 | #Constraints: 36834
1898.45/1903.34 c #Conflicts: 1039000 | #Constraints: 37834
1898.45/1903.34 c #Conflicts: 1040000 | #Constraints: 38834
1898.45/1903.34 c #Conflicts: 1041000 | #Constraints: 39834
1898.45/1903.34 c INPROCESSING
1898.45/1903.34 c GARBAGE COLLECT
1898.45/1903.34 c #Conflicts: 1042000 | #Constraints: 20632
1898.45/1903.34 c #Conflicts: 1043000 | #Constraints: 21632
1898.45/1903.34 c #Conflicts: 1044000 | #Constraints: 22632
2151.38/2156.91 c #Conflicts: 1045000 | #Constraints: 23632
2151.38/2156.91 c #Conflicts: 1046000 | #Constraints: 24632
2151.38/2156.91 c #Conflicts: 1047000 | #Constraints: 25632
2151.38/2156.91 c #Conflicts: 1048000 | #Constraints: 26632
2151.38/2156.91 c #Conflicts: 1049000 | #Constraints: 27632
2151.38/2156.91 c #Conflicts: 1050000 | #Constraints: 28632
2151.38/2156.91 c #Conflicts: 1051000 | #Constraints: 29632
2151.38/2156.91 c #Conflicts: 1052000 | #Constraints: 30632
2151.38/2156.91 c #Conflicts: 1053000 | #Constraints: 31632
2151.38/2156.91 c #Conflicts: 1054000 | #Constraints: 32632
2151.38/2156.91 c #Conflicts: 1055000 | #Constraints: 33632
2151.38/2156.91 c #Conflicts: 1056000 | #Constraints: 34632
2151.38/2156.91 c #Conflicts: 1057000 | #Constraints: 35632
2151.38/2156.91 c #Conflicts: 1058000 | #Constraints: 36632
2151.38/2156.91 c #Conflicts: 1059000 | #Constraints: 37632
2151.38/2156.91 c #Conflicts: 1060000 | #Constraints: 38632
2151.38/2156.91 c #Conflicts: 1061000 | #Constraints: 39632
2151.38/2156.91 c #Conflicts: 1062000 | #Constraints: 40632
2151.38/2156.91 c INPROCESSING
2151.38/2156.91 c GARBAGE COLLECT
2151.38/2156.91 c #Conflicts: 1063000 | #Constraints: 21232
2151.38/2156.91 c #Conflicts: 1064000 | #Constraints: 22232
2151.38/2156.91 c #Conflicts: 1065000 | #Constraints: 23232
2151.38/2156.91 c #Conflicts: 1066000 | #Constraints: 24232
2151.38/2156.91 c #Conflicts: 1067000 | #Constraints: 25232
2151.38/2156.91 c #Conflicts: 1068000 | #Constraints: 26232
2151.38/2156.91 c #Conflicts: 1069000 | #Constraints: 27232
2151.38/2156.91 c #Conflicts: 1070000 | #Constraints: 28232
2151.38/2156.91 c #Conflicts: 1071000 | #Constraints: 29232
2151.38/2156.91 c #Conflicts: 1072000 | #Constraints: 30232
2151.38/2156.91 c #Conflicts: 1073000 | #Constraints: 31232
2151.38/2156.91 c #Conflicts: 1074000 | #Constraints: 32232
2151.38/2156.91 c #Conflicts: 1075000 | #Constraints: 33232
2151.38/2156.91 c #Conflicts: 1076000 | #Constraints: 34232
2151.38/2156.91 c #Conflicts: 1077000 | #Constraints: 35232
2151.38/2156.91 c #Conflicts: 1078000 | #Constraints: 36232
2151.38/2156.91 c #Conflicts: 1079000 | #Constraints: 37232
2151.38/2156.91 c #Conflicts: 1080000 | #Constraints: 38232
2151.38/2156.91 c #Conflicts: 1081000 | #Constraints: 39232
2151.38/2156.91 c #Conflicts: 1082000 | #Constraints: 40232
2151.38/2156.91 c #Conflicts: 1083000 | #Constraints: 41232
2151.38/2156.91 c INPROCESSING
2151.38/2156.91 c GARBAGE COLLECT
2151.38/2156.91 c #Conflicts: 1084000 | #Constraints: 21630
2151.38/2156.91 c #Conflicts: 1085000 | #Constraints: 22630
2151.38/2156.91 c #Conflicts: 1086000 | #Constraints: 23630
2151.38/2156.91 c #Conflicts: 1087000 | #Constraints: 24630
2151.38/2156.91 c #Conflicts: 1088000 | #Constraints: 25630
2151.38/2156.91 c #Conflicts: 1089000 | #Constraints: 26630
2151.38/2156.91 c #Conflicts: 1090000 | #Constraints: 27630
2151.38/2156.91 c #Conflicts: 1091000 | #Constraints: 28630
2151.38/2156.91 c #Conflicts: 1092000 | #Constraints: 29630
2151.38/2156.91 c #Conflicts: 1093000 | #Constraints: 30630
2151.38/2156.91 c #Conflicts: 1094000 | #Constraints: 31630
2151.38/2156.91 c #Conflicts: 1095000 | #Constraints: 32630
2151.38/2156.91 c #Conflicts: 1096000 | #Constraints: 33630
2151.38/2156.91 c #Conflicts: 1097000 | #Constraints: 34630
2151.38/2156.91 c #Conflicts: 1098000 | #Constraints: 35630
2151.38/2156.91 c #Conflicts: 1099000 | #Constraints: 36630
2151.38/2156.91 c #Conflicts: 1100000 | #Constraints: 37630
2151.38/2156.91 c #Conflicts: 1101000 | #Constraints: 38630
2151.38/2156.91 c #Conflicts: 1102000 | #Constraints: 39630
2151.38/2156.91 c #Conflicts: 1103000 | #Constraints: 40630
2151.38/2156.91 c #Conflicts: 1104000 | #Constraints: 41630
2151.38/2156.91 c INPROCESSING
2151.38/2156.91 c GARBAGE COLLECT
2151.38/2156.91 c #Conflicts: 1105000 | #Constraints: 21832
2151.38/2156.91 c #Conflicts: 1106000 | #Constraints: 22832
2151.38/2156.91 c #Conflicts: 1107000 | #Constraints: 23832
2151.38/2156.91 c #Conflicts: 1108000 | #Constraints: 24832
2151.38/2156.91 c #Conflicts: 1109000 | #Constraints: 25832
2151.38/2156.91 c #Conflicts: 1110000 | #Constraints: 26832
2151.38/2156.91 c #Conflicts: 1111000 | #Constraints: 27832
2151.38/2156.91 c #Conflicts: 1112000 | #Constraints: 28832
2151.38/2156.91 c #Conflicts: 1113000 | #Constraints: 29832
2151.38/2156.91 c #Conflicts: 1114000 | #Constraints: 30832
2151.38/2156.91 c #Conflicts: 1115000 | #Constraints: 31832
2151.38/2156.91 c #Conflicts: 1116000 | #Constraints: 32832
2151.38/2156.91 c #Conflicts: 1117000 | #Constraints: 33832
2151.38/2156.91 c #Conflicts: 1118000 | #Constraints: 34832
2151.38/2156.91 c #Conflicts: 1119000 | #Constraints: 35832
2151.38/2156.91 c #Conflicts: 1120000 | #Constraints: 36832
2151.38/2156.91 c #Conflicts: 1121000 | #Constraints: 37832
2385.45/2391.60 c #Conflicts: 1122000 | #Constraints: 38832
2385.45/2391.60 c #Conflicts: 1123000 | #Constraints: 39832
2385.45/2391.60 c #Conflicts: 1124000 | #Constraints: 40832
2385.45/2391.60 c #Conflicts: 1125000 | #Constraints: 41832
2385.45/2391.60 c INPROCESSING
2385.45/2391.60 c GARBAGE COLLECT
2385.45/2391.60 c #Conflicts: 1126000 | #Constraints: 21833
2385.45/2391.60 c #Conflicts: 1127000 | #Constraints: 22833
2385.45/2391.60 c #Conflicts: 1128000 | #Constraints: 23833
2385.45/2391.60 c #Conflicts: 1129000 | #Constraints: 24833
2385.45/2391.60 c #Conflicts: 1130000 | #Constraints: 25833
2385.45/2391.60 c #Conflicts: 1131000 | #Constraints: 26833
2385.45/2391.60 c #Conflicts: 1132000 | #Constraints: 27833
2385.45/2391.60 c #Conflicts: 1133000 | #Constraints: 28833
2385.45/2391.60 c #Conflicts: 1134000 | #Constraints: 29833
2385.45/2391.60 c #Conflicts: 1135000 | #Constraints: 30833
2385.45/2391.60 c #Conflicts: 1136000 | #Constraints: 31833
2385.45/2391.60 c #Conflicts: 1137000 | #Constraints: 32833
2385.45/2391.60 c #Conflicts: 1138000 | #Constraints: 33833
2385.45/2391.60 c #Conflicts: 1139000 | #Constraints: 34833
2385.45/2391.60 c #Conflicts: 1140000 | #Constraints: 35833
2385.45/2391.60 c #Conflicts: 1141000 | #Constraints: 36833
2385.45/2391.60 c #Conflicts: 1142000 | #Constraints: 37833
2385.45/2391.60 c #Conflicts: 1143000 | #Constraints: 38833
2385.45/2391.60 c #Conflicts: 1144000 | #Constraints: 39833
2385.45/2391.60 c #Conflicts: 1145000 | #Constraints: 40833
2385.45/2391.60 c #Conflicts: 1146000 | #Constraints: 41833
2385.45/2391.60 c INPROCESSING
2385.45/2391.60 c GARBAGE COLLECT
2385.45/2391.60 c #Conflicts: 1147000 | #Constraints: 21633
2385.45/2391.60 c #Conflicts: 1148000 | #Constraints: 22633
2385.45/2391.60 c #Conflicts: 1149000 | #Constraints: 23633
2385.45/2391.60 c #Conflicts: 1150000 | #Constraints: 24633
2385.45/2391.60 c #Conflicts: 1151000 | #Constraints: 25633
2385.45/2391.60 c #Conflicts: 1152000 | #Constraints: 26633
2385.45/2391.60 c #Conflicts: 1153000 | #Constraints: 27633
2385.45/2391.60 c #Conflicts: 1154000 | #Constraints: 28633
2385.45/2391.60 c #Conflicts: 1155000 | #Constraints: 29633
2385.45/2391.60 c #Conflicts: 1156000 | #Constraints: 30633
2385.45/2391.60 c #Conflicts: 1157000 | #Constraints: 31633
2385.45/2391.60 c #Conflicts: 1158000 | #Constraints: 32633
2385.45/2391.60 c #Conflicts: 1159000 | #Constraints: 33633
2385.45/2391.60 c #Conflicts: 1160000 | #Constraints: 34633
2385.45/2391.60 c #Conflicts: 1161000 | #Constraints: 35633
2385.45/2391.60 c #Conflicts: 1162000 | #Constraints: 36633
2385.45/2391.60 c #Conflicts: 1163000 | #Constraints: 37633
2385.45/2391.60 c #Conflicts: 1164000 | #Constraints: 38633
2385.45/2391.60 c #Conflicts: 1165000 | #Constraints: 39633
2385.45/2391.60 c #Conflicts: 1166000 | #Constraints: 40633
2385.45/2391.60 c #Conflicts: 1167000 | #Constraints: 41633
2385.45/2391.60 c #Conflicts: 1168000 | #Constraints: 42633
2385.45/2391.60 c INPROCESSING
2385.45/2391.60 c GARBAGE COLLECT
2385.45/2391.60 c #Conflicts: 1169000 | #Constraints: 22232
2385.45/2391.60 c #Conflicts: 1170000 | #Constraints: 23232
2385.45/2391.60 c #Conflicts: 1171000 | #Constraints: 24232
2385.45/2391.60 c #Conflicts: 1172000 | #Constraints: 25232
2385.45/2391.60 c #Conflicts: 1173000 | #Constraints: 26232
2385.45/2391.60 c #Conflicts: 1174000 | #Constraints: 27232
2385.45/2391.60 c #Conflicts: 1175000 | #Constraints: 28232
2385.45/2391.60 c #Conflicts: 1176000 | #Constraints: 29232
2385.45/2391.60 c #Conflicts: 1177000 | #Constraints: 30232
2385.45/2391.60 c #Conflicts: 1178000 | #Constraints: 31232
2385.45/2391.60 c #Conflicts: 1179000 | #Constraints: 32232
2385.45/2391.60 c #Conflicts: 1180000 | #Constraints: 33232
2385.45/2391.60 c #Conflicts: 1181000 | #Constraints: 34232
2385.45/2391.60 c #Conflicts: 1182000 | #Constraints: 35232
2385.45/2391.60 c #Conflicts: 1183000 | #Constraints: 36232
2385.45/2391.60 c #Conflicts: 1184000 | #Constraints: 37232
2385.45/2391.60 c #Conflicts: 1185000 | #Constraints: 38232
2385.45/2391.60 c #Conflicts: 1186000 | #Constraints: 39232
2385.45/2391.60 c #Conflicts: 1187000 | #Constraints: 40232
2385.45/2391.60 c #Conflicts: 1188000 | #Constraints: 41232
2385.45/2391.60 c #Conflicts: 1189000 | #Constraints: 42232
2385.45/2391.60 c #Conflicts: 1190000 | #Constraints: 43232
2385.45/2391.60 c INPROCESSING
2385.45/2391.60 c GARBAGE COLLECT
2385.45/2391.60 c #Conflicts: 1191000 | #Constraints: 22631
2385.45/2391.60 c #Conflicts: 1192000 | #Constraints: 23631
2385.45/2391.60 c #Conflicts: 1193000 | #Constraints: 24631
2385.45/2391.60 c #Conflicts: 1194000 | #Constraints: 25631
2385.45/2391.60 c #Conflicts: 1195000 | #Constraints: 26631
2385.45/2391.60 c #Conflicts: 1196000 | #Constraints: 27631
2385.45/2391.60 c #Conflicts: 1197000 | #Constraints: 28631
2655.26/2662.20 c #Conflicts: 1198000 | #Constraints: 29631
2655.26/2662.20 c #Conflicts: 1199000 | #Constraints: 30631
2655.26/2662.20 c #Conflicts: 1200000 | #Constraints: 31631
2655.26/2662.20 c #Conflicts: 1201000 | #Constraints: 32631
2655.26/2662.20 c #Conflicts: 1202000 | #Constraints: 33631
2655.26/2662.20 c #Conflicts: 1203000 | #Constraints: 34631
2655.26/2662.20 c #Conflicts: 1204000 | #Constraints: 35631
2655.26/2662.20 c #Conflicts: 1205000 | #Constraints: 36631
2655.26/2662.20 c #Conflicts: 1206000 | #Constraints: 37631
2655.26/2662.20 c #Conflicts: 1207000 | #Constraints: 38631
2655.26/2662.20 c #Conflicts: 1208000 | #Constraints: 39631
2655.26/2662.20 c #Conflicts: 1209000 | #Constraints: 40631
2655.26/2662.20 c #Conflicts: 1210000 | #Constraints: 41631
2655.26/2662.20 c #Conflicts: 1211000 | #Constraints: 42631
2655.26/2662.20 c #Conflicts: 1212000 | #Constraints: 43631
2655.26/2662.20 c INPROCESSING
2655.26/2662.20 c GARBAGE COLLECT
2655.26/2662.20 c #Conflicts: 1213000 | #Constraints: 22836
2655.26/2662.20 c #Conflicts: 1214000 | #Constraints: 23836
2655.26/2662.20 c #Conflicts: 1215000 | #Constraints: 24836
2655.26/2662.20 c #Conflicts: 1216000 | #Constraints: 25836
2655.26/2662.20 c #Conflicts: 1217000 | #Constraints: 26836
2655.26/2662.20 c #Conflicts: 1218000 | #Constraints: 27836
2655.26/2662.20 c #Conflicts: 1219000 | #Constraints: 28836
2655.26/2662.20 c #Conflicts: 1220000 | #Constraints: 29836
2655.26/2662.20 c #Conflicts: 1221000 | #Constraints: 30836
2655.26/2662.20 c #Conflicts: 1222000 | #Constraints: 31836
2655.26/2662.20 c #Conflicts: 1223000 | #Constraints: 32836
2655.26/2662.20 c #Conflicts: 1224000 | #Constraints: 33836
2655.26/2662.20 c #Conflicts: 1225000 | #Constraints: 34836
2655.26/2662.20 c #Conflicts: 1226000 | #Constraints: 35836
2655.26/2662.20 c #Conflicts: 1227000 | #Constraints: 36836
2655.26/2662.20 c #Conflicts: 1228000 | #Constraints: 37836
2655.26/2662.20 c #Conflicts: 1229000 | #Constraints: 38836
2655.26/2662.20 c #Conflicts: 1230000 | #Constraints: 39836
2655.26/2662.20 c #Conflicts: 1231000 | #Constraints: 40836
2655.26/2662.20 c #Conflicts: 1232000 | #Constraints: 41836
2655.26/2662.20 c #Conflicts: 1233000 | #Constraints: 42836
2655.26/2662.20 c #Conflicts: 1234000 | #Constraints: 43836
2655.26/2662.20 c INPROCESSING
2655.26/2662.20 c GARBAGE COLLECT
2655.26/2662.20 c #Conflicts: 1235000 | #Constraints: 22831
2655.26/2662.20 c #Conflicts: 1236000 | #Constraints: 23831
2655.26/2662.20 c #Conflicts: 1237000 | #Constraints: 24831
2655.26/2662.20 c #Conflicts: 1238000 | #Constraints: 25831
2655.26/2662.20 c #Conflicts: 1239000 | #Constraints: 26831
2655.26/2662.20 c #Conflicts: 1240000 | #Constraints: 27831
2655.26/2662.20 c #Conflicts: 1241000 | #Constraints: 28831
2655.26/2662.20 c #Conflicts: 1242000 | #Constraints: 29831
2655.26/2662.20 c #Conflicts: 1243000 | #Constraints: 30831
2655.26/2662.20 c #Conflicts: 1244000 | #Constraints: 31831
2655.26/2662.20 c #Conflicts: 1245000 | #Constraints: 32831
2655.26/2662.20 c #Conflicts: 1246000 | #Constraints: 33831
2655.26/2662.20 c #Conflicts: 1247000 | #Constraints: 34831
2655.26/2662.20 c #Conflicts: 1248000 | #Constraints: 35831
2655.26/2662.20 c #Conflicts: 1249000 | #Constraints: 36831
2655.26/2662.20 c #Conflicts: 1250000 | #Constraints: 37831
2655.26/2662.20 c #Conflicts: 1251000 | #Constraints: 38831
2655.26/2662.20 c #Conflicts: 1252000 | #Constraints: 39831
2655.26/2662.20 c #Conflicts: 1253000 | #Constraints: 40831
2655.26/2662.20 c #Conflicts: 1254000 | #Constraints: 41831
2655.26/2662.20 c #Conflicts: 1255000 | #Constraints: 42831
2655.26/2662.20 c #Conflicts: 1256000 | #Constraints: 43831
2655.26/2662.20 c INPROCESSING
2655.26/2662.20 c GARBAGE COLLECT
2655.26/2662.20 c #Conflicts: 1257000 | #Constraints: 22630
2655.26/2662.20 c #Conflicts: 1258000 | #Constraints: 23630
2655.26/2662.20 c #Conflicts: 1259000 | #Constraints: 24630
2655.26/2662.20 c #Conflicts: 1260000 | #Constraints: 25630
2655.26/2662.20 c #Conflicts: 1261000 | #Constraints: 26630
2655.26/2662.20 c #Conflicts: 1262000 | #Constraints: 27630
2655.26/2662.20 c #Conflicts: 1263000 | #Constraints: 28630
2655.26/2662.20 c #Conflicts: 1264000 | #Constraints: 29630
2655.26/2662.20 c #Conflicts: 1265000 | #Constraints: 30630
2655.26/2662.20 c #Conflicts: 1266000 | #Constraints: 31630
2655.26/2662.20 c #Conflicts: 1267000 | #Constraints: 32630
2655.26/2662.20 c #Conflicts: 1268000 | #Constraints: 33630
2655.26/2662.20 c #Conflicts: 1269000 | #Constraints: 34630
2655.26/2662.20 c #Conflicts: 1270000 | #Constraints: 35630
2655.26/2662.20 c #Conflicts: 1271000 | #Constraints: 36630
2655.26/2662.20 c #Conflicts: 1272000 | #Constraints: 37630
2655.26/2662.20 c #Conflicts: 1273000 | #Constraints: 38630
2655.26/2662.20 c #Conflicts: 1274000 | #Constraints: 39630
2933.09/2940.77 c #Conflicts: 1275000 | #Constraints: 40630
2933.09/2940.77 c #Conflicts: 1276000 | #Constraints: 41630
2933.09/2940.77 c #Conflicts: 1277000 | #Constraints: 42630
2933.09/2940.77 c #Conflicts: 1278000 | #Constraints: 43630
2933.09/2940.77 c #Conflicts: 1279000 | #Constraints: 44630
2933.09/2940.77 c INPROCESSING
2933.09/2940.77 c GARBAGE COLLECT
2933.09/2940.77 c #Conflicts: 1280000 | #Constraints: 23230
2933.09/2940.77 c #Conflicts: 1281000 | #Constraints: 24230
2933.09/2940.77 c #Conflicts: 1282000 | #Constraints: 25230
2933.09/2940.77 c #Conflicts: 1283000 | #Constraints: 26230
2933.09/2940.77 c #Conflicts: 1284000 | #Constraints: 27230
2933.09/2940.77 c #Conflicts: 1285000 | #Constraints: 28230
2933.09/2940.77 c #Conflicts: 1286000 | #Constraints: 29230
2933.09/2940.77 c #Conflicts: 1287000 | #Constraints: 30230
2933.09/2940.77 c #Conflicts: 1288000 | #Constraints: 31230
2933.09/2940.77 c #Conflicts: 1289000 | #Constraints: 32230
2933.09/2940.77 c #Conflicts: 1290000 | #Constraints: 33230
2933.09/2940.77 c #Conflicts: 1291000 | #Constraints: 34230
2933.09/2940.77 c #Conflicts: 1292000 | #Constraints: 35230
2933.09/2940.77 c #Conflicts: 1293000 | #Constraints: 36230
2933.09/2940.77 c #Conflicts: 1294000 | #Constraints: 37230
2933.09/2940.77 c #Conflicts: 1295000 | #Constraints: 38230
2933.09/2940.77 c #Conflicts: 1296000 | #Constraints: 39230
2933.09/2940.77 c #Conflicts: 1297000 | #Constraints: 40230
2933.09/2940.77 c #Conflicts: 1298000 | #Constraints: 41230
2933.09/2940.77 c #Conflicts: 1299000 | #Constraints: 42230
2933.09/2940.77 c #Conflicts: 1300000 | #Constraints: 43230
2933.09/2940.77 c #Conflicts: 1301000 | #Constraints: 44230
2933.09/2940.77 c #Conflicts: 1302000 | #Constraints: 45230
2933.09/2940.77 c INPROCESSING
2933.09/2940.77 c GARBAGE COLLECT
2933.09/2940.77 c #Conflicts: 1303000 | #Constraints: 23630
2933.09/2940.77 c #Conflicts: 1304000 | #Constraints: 24630
2933.09/2940.77 c #Conflicts: 1305000 | #Constraints: 25630
2933.09/2940.77 c #Conflicts: 1306000 | #Constraints: 26630
2933.09/2940.77 c #Conflicts: 1307000 | #Constraints: 27630
2933.09/2940.77 c #Conflicts: 1308000 | #Constraints: 28630
2933.09/2940.77 c #Conflicts: 1309000 | #Constraints: 29630
2933.09/2940.77 c #Conflicts: 1310000 | #Constraints: 30630
2933.09/2940.77 c #Conflicts: 1311000 | #Constraints: 31630
2933.09/2940.77 c #Conflicts: 1312000 | #Constraints: 32630
2933.09/2940.77 c #Conflicts: 1313000 | #Constraints: 33630
2933.09/2940.77 c #Conflicts: 1314000 | #Constraints: 34630
2933.09/2940.77 c #Conflicts: 1315000 | #Constraints: 35630
2933.09/2940.77 c #Conflicts: 1316000 | #Constraints: 36630
2933.09/2940.77 c #Conflicts: 1317000 | #Constraints: 37630
2933.09/2940.77 c #Conflicts: 1318000 | #Constraints: 38630
2933.09/2940.77 c #Conflicts: 1319000 | #Constraints: 39630
2933.09/2940.77 c #Conflicts: 1320000 | #Constraints: 40630
2933.09/2940.77 c #Conflicts: 1321000 | #Constraints: 41630
2933.09/2940.77 c #Conflicts: 1322000 | #Constraints: 42630
2933.09/2940.77 c #Conflicts: 1323000 | #Constraints: 43630
2933.09/2940.77 c #Conflicts: 1324000 | #Constraints: 44630
2933.09/2940.77 c #Conflicts: 1325000 | #Constraints: 45630
2933.09/2940.77 c INPROCESSING
2933.09/2940.77 c GARBAGE COLLECT
2933.09/2940.77 c #Conflicts: 1326000 | #Constraints: 23830
2933.09/2940.77 c #Conflicts: 1327000 | #Constraints: 24830
2933.09/2940.77 c #Conflicts: 1328000 | #Constraints: 25830
2933.09/2940.77 c #Conflicts: 1329000 | #Constraints: 26830
2933.09/2940.77 c #Conflicts: 1330000 | #Constraints: 27830
2933.09/2940.77 c #Conflicts: 1331000 | #Constraints: 28830
2933.09/2940.77 c #Conflicts: 1332000 | #Constraints: 29830
2933.09/2940.77 c #Conflicts: 1333000 | #Constraints: 30830
2933.09/2940.77 c #Conflicts: 1334000 | #Constraints: 31830
2933.09/2940.77 c #Conflicts: 1335000 | #Constraints: 32830
2933.09/2940.77 c #Conflicts: 1336000 | #Constraints: 33830
2933.09/2940.77 c #Conflicts: 1337000 | #Constraints: 34830
2933.09/2940.77 c #Conflicts: 1338000 | #Constraints: 35830
2933.09/2940.77 c #Conflicts: 1339000 | #Constraints: 36830
2933.09/2940.77 c #Conflicts: 1340000 | #Constraints: 37830
2933.09/2940.77 c #Conflicts: 1341000 | #Constraints: 38830
2933.09/2940.77 c #Conflicts: 1342000 | #Constraints: 39830
2933.09/2940.77 c #Conflicts: 1343000 | #Constraints: 40830
2933.09/2940.77 c #Conflicts: 1344000 | #Constraints: 41830
2933.09/2940.77 c #Conflicts: 1345000 | #Constraints: 42830
2933.09/2940.77 c #Conflicts: 1346000 | #Constraints: 43830
2933.09/2940.77 c #Conflicts: 1347000 | #Constraints: 44830
2933.09/2940.77 c #Conflicts: 1348000 | #Constraints: 45830
2933.09/2940.77 c INPROCESSING
2933.09/2940.77 c GARBAGE COLLECT
2933.09/2940.77 c #Conflicts: 1349000 | #Constraints: 23834
2933.09/2940.77 c #Conflicts: 1350000 | #Constraints: 24834
3213.24/3221.56 c #Conflicts: 1351000 | #Constraints: 25834
3213.24/3221.56 c #Conflicts: 1352000 | #Constraints: 26834
3213.24/3221.56 c #Conflicts: 1353000 | #Constraints: 27834
3213.24/3221.56 c #Conflicts: 1354000 | #Constraints: 28834
3213.24/3221.56 c #Conflicts: 1355000 | #Constraints: 29834
3213.24/3221.56 c #Conflicts: 1356000 | #Constraints: 30834
3213.24/3221.56 c #Conflicts: 1357000 | #Constraints: 31834
3213.24/3221.56 c #Conflicts: 1358000 | #Constraints: 32834
3213.24/3221.56 c #Conflicts: 1359000 | #Constraints: 33834
3213.24/3221.56 c #Conflicts: 1360000 | #Constraints: 34834
3213.24/3221.56 c #Conflicts: 1361000 | #Constraints: 35834
3213.24/3221.56 c #Conflicts: 1362000 | #Constraints: 36834
3213.24/3221.56 c #Conflicts: 1363000 | #Constraints: 37834
3213.24/3221.56 c #Conflicts: 1364000 | #Constraints: 38834
3213.24/3221.56 c #Conflicts: 1365000 | #Constraints: 39834
3213.24/3221.56 c #Conflicts: 1366000 | #Constraints: 40834
3213.24/3221.56 c #Conflicts: 1367000 | #Constraints: 41834
3213.24/3221.56 c #Conflicts: 1368000 | #Constraints: 42834
3213.24/3221.56 c #Conflicts: 1369000 | #Constraints: 43834
3213.24/3221.56 c #Conflicts: 1370000 | #Constraints: 44834
3213.24/3221.56 c #Conflicts: 1371000 | #Constraints: 45834
3213.24/3221.56 c INPROCESSING
3213.24/3221.56 c GARBAGE COLLECT
3213.24/3221.56 c #Conflicts: 1372000 | #Constraints: 23632
3213.24/3221.56 c #Conflicts: 1373000 | #Constraints: 24632
3213.24/3221.56 c #Conflicts: 1374000 | #Constraints: 25632
3213.24/3221.56 c #Conflicts: 1375000 | #Constraints: 26632
3213.24/3221.56 c #Conflicts: 1376000 | #Constraints: 27632
3213.24/3221.56 c #Conflicts: 1377000 | #Constraints: 28632
3213.24/3221.56 c #Conflicts: 1378000 | #Constraints: 29632
3213.24/3221.56 c #Conflicts: 1379000 | #Constraints: 30632
3213.24/3221.56 c #Conflicts: 1380000 | #Constraints: 31632
3213.24/3221.56 c #Conflicts: 1381000 | #Constraints: 32632
3213.24/3221.56 c #Conflicts: 1382000 | #Constraints: 33632
3213.24/3221.56 c #Conflicts: 1383000 | #Constraints: 34632
3213.24/3221.56 c #Conflicts: 1384000 | #Constraints: 35632
3213.24/3221.56 c #Conflicts: 1385000 | #Constraints: 36632
3213.24/3221.56 c #Conflicts: 1386000 | #Constraints: 37632
3213.24/3221.56 c #Conflicts: 1387000 | #Constraints: 38632
3213.24/3221.56 c #Conflicts: 1388000 | #Constraints: 39632
3213.24/3221.56 c #Conflicts: 1389000 | #Constraints: 40632
3213.24/3221.56 c #Conflicts: 1390000 | #Constraints: 41632
3213.24/3221.56 c #Conflicts: 1391000 | #Constraints: 42632
3213.24/3221.56 c #Conflicts: 1392000 | #Constraints: 43632
3213.24/3221.56 c #Conflicts: 1393000 | #Constraints: 44632
3213.24/3221.56 c #Conflicts: 1394000 | #Constraints: 45632
3213.24/3221.56 c #Conflicts: 1395000 | #Constraints: 46632
3213.24/3221.56 c INPROCESSING
3213.24/3221.56 c GARBAGE COLLECT
3213.24/3221.56 c #Conflicts: 1396000 | #Constraints: 24231
3213.24/3221.56 c #Conflicts: 1397000 | #Constraints: 25231
3213.24/3221.56 c #Conflicts: 1398000 | #Constraints: 26231
3213.24/3221.56 c #Conflicts: 1399000 | #Constraints: 27231
3213.24/3221.56 c #Conflicts: 1400000 | #Constraints: 28231
3213.24/3221.56 c #Conflicts: 1401000 | #Constraints: 29231
3213.24/3221.56 c #Conflicts: 1402000 | #Constraints: 30231
3213.24/3221.56 c #Conflicts: 1403000 | #Constraints: 31231
3213.24/3221.56 c #Conflicts: 1404000 | #Constraints: 32231
3213.24/3221.56 c #Conflicts: 1405000 | #Constraints: 33231
3213.24/3221.56 c #Conflicts: 1406000 | #Constraints: 34231
3213.24/3221.56 c #Conflicts: 1407000 | #Constraints: 35231
3213.24/3221.56 c #Conflicts: 1408000 | #Constraints: 36231
3213.24/3221.56 c #Conflicts: 1409000 | #Constraints: 37231
3213.24/3221.56 c #Conflicts: 1410000 | #Constraints: 38231
3213.24/3221.56 c #Conflicts: 1411000 | #Constraints: 39231
3213.24/3221.56 c #Conflicts: 1412000 | #Constraints: 40231
3213.24/3221.56 c #Conflicts: 1413000 | #Constraints: 41231
3213.24/3221.56 c #Conflicts: 1414000 | #Constraints: 42231
3213.24/3221.56 c #Conflicts: 1415000 | #Constraints: 43231
3213.24/3221.56 c #Conflicts: 1416000 | #Constraints: 44231
3213.24/3221.56 c #Conflicts: 1417000 | #Constraints: 45231
3213.24/3221.56 c #Conflicts: 1418000 | #Constraints: 46231
3213.24/3221.56 c #Conflicts: 1419000 | #Constraints: 47231
3213.24/3221.56 c INPROCESSING
3213.24/3221.56 c GARBAGE COLLECT
3213.24/3221.56 c #Conflicts: 1420000 | #Constraints: 24629
3213.24/3221.56 c #Conflicts: 1421000 | #Constraints: 25629
3213.24/3221.56 c #Conflicts: 1422000 | #Constraints: 26629
3213.24/3221.56 c #Conflicts: 1423000 | #Constraints: 27629
3213.24/3221.56 c #Conflicts: 1424000 | #Constraints: 28629
3213.24/3221.56 c #Conflicts: 1425000 | #Constraints: 29629
3213.24/3221.56 c #Conflicts: 1426000 | #Constraints: 30629
3213.24/3221.56 c #Conflicts: 1427000 | #Constraints: 31629
3511.17/3520.15 c #Conflicts: 1428000 | #Constraints: 32629
3511.17/3520.15 c #Conflicts: 1429000 | #Constraints: 33629
3511.17/3520.15 c #Conflicts: 1430000 | #Constraints: 34629
3511.17/3520.15 c #Conflicts: 1431000 | #Constraints: 35629
3511.17/3520.15 c #Conflicts: 1432000 | #Constraints: 36629
3511.17/3520.15 c #Conflicts: 1433000 | #Constraints: 37629
3511.17/3520.15 c #Conflicts: 1434000 | #Constraints: 38629
3511.17/3520.15 c #Conflicts: 1435000 | #Constraints: 39629
3511.17/3520.15 c #Conflicts: 1436000 | #Constraints: 40629
3511.17/3520.15 c #Conflicts: 1437000 | #Constraints: 41629
3511.17/3520.15 c #Conflicts: 1438000 | #Constraints: 42629
3511.17/3520.15 c #Conflicts: 1439000 | #Constraints: 43629
3511.17/3520.15 c #Conflicts: 1440000 | #Constraints: 44629
3511.17/3520.15 c #Conflicts: 1441000 | #Constraints: 45629
3511.17/3520.15 c #Conflicts: 1442000 | #Constraints: 46629
3511.17/3520.15 c #Conflicts: 1443000 | #Constraints: 47629
3511.17/3520.15 c INPROCESSING
3511.17/3520.15 c GARBAGE COLLECT
3511.17/3520.15 c #Conflicts: 1444000 | #Constraints: 24831
3511.17/3520.15 c #Conflicts: 1445000 | #Constraints: 25831
3511.17/3520.15 c #Conflicts: 1446000 | #Constraints: 26831
3511.17/3520.15 c #Conflicts: 1447000 | #Constraints: 27831
3511.17/3520.15 c #Conflicts: 1448000 | #Constraints: 28831
3511.17/3520.15 c #Conflicts: 1449000 | #Constraints: 29831
3511.17/3520.15 c #Conflicts: 1450000 | #Constraints: 30831
3511.17/3520.15 c #Conflicts: 1451000 | #Constraints: 31831
3511.17/3520.15 c #Conflicts: 1452000 | #Constraints: 32831
3511.17/3520.15 c #Conflicts: 1453000 | #Constraints: 33831
3511.17/3520.15 c #Conflicts: 1454000 | #Constraints: 34831
3511.17/3520.15 c #Conflicts: 1455000 | #Constraints: 35831
3511.17/3520.15 c #Conflicts: 1456000 | #Constraints: 36831
3511.17/3520.15 c #Conflicts: 1457000 | #Constraints: 37831
3511.17/3520.15 c #Conflicts: 1458000 | #Constraints: 38831
3511.17/3520.15 c #Conflicts: 1459000 | #Constraints: 39831
3511.17/3520.15 c #Conflicts: 1460000 | #Constraints: 40831
3511.17/3520.15 c #Conflicts: 1461000 | #Constraints: 41831
3511.17/3520.15 c #Conflicts: 1462000 | #Constraints: 42831
3511.17/3520.15 c #Conflicts: 1463000 | #Constraints: 43831
3511.17/3520.15 c #Conflicts: 1464000 | #Constraints: 44831
3511.17/3520.15 c #Conflicts: 1465000 | #Constraints: 45831
3511.17/3520.15 c #Conflicts: 1466000 | #Constraints: 46831
3511.17/3520.15 c #Conflicts: 1467000 | #Constraints: 47831
3511.17/3520.15 c INPROCESSING
3511.17/3520.15 c GARBAGE COLLECT
3511.17/3520.15 c #Conflicts: 1468000 | #Constraints: 24829
3511.17/3520.15 c #Conflicts: 1469000 | #Constraints: 25829
3511.17/3520.15 c #Conflicts: 1470000 | #Constraints: 26829
3511.17/3520.15 c #Conflicts: 1471000 | #Constraints: 27829
3511.17/3520.15 c #Conflicts: 1472000 | #Constraints: 28829
3511.17/3520.15 c #Conflicts: 1473000 | #Constraints: 29829
3511.17/3520.15 c #Conflicts: 1474000 | #Constraints: 30829
3511.17/3520.15 c #Conflicts: 1475000 | #Constraints: 31829
3511.17/3520.15 c #Conflicts: 1476000 | #Constraints: 32829
3511.17/3520.15 c #Conflicts: 1477000 | #Constraints: 33829
3511.17/3520.15 c #Conflicts: 1478000 | #Constraints: 34829
3511.17/3520.15 c #Conflicts: 1479000 | #Constraints: 35829
3511.17/3520.15 c #Conflicts: 1480000 | #Constraints: 36829
3511.17/3520.15 c #Conflicts: 1481000 | #Constraints: 37829
3511.17/3520.15 c #Conflicts: 1482000 | #Constraints: 38829
3511.17/3520.15 c #Conflicts: 1483000 | #Constraints: 39829
3511.17/3520.15 c #Conflicts: 1484000 | #Constraints: 40829
3511.17/3520.15 c #Conflicts: 1485000 | #Constraints: 41829
3511.17/3520.15 c #Conflicts: 1486000 | #Constraints: 42829
3511.17/3520.15 c #Conflicts: 1487000 | #Constraints: 43829
3511.17/3520.15 c #Conflicts: 1488000 | #Constraints: 44829
3511.17/3520.15 c #Conflicts: 1489000 | #Constraints: 45829
3511.17/3520.15 c #Conflicts: 1490000 | #Constraints: 46829
3511.17/3520.15 c #Conflicts: 1491000 | #Constraints: 47829
3511.17/3520.15 c INPROCESSING
3511.17/3520.15 c GARBAGE COLLECT
3511.17/3520.15 c #Conflicts: 1492000 | #Constraints: 24630
3511.17/3520.15 c #Conflicts: 1493000 | #Constraints: 25630
3511.17/3520.15 c #Conflicts: 1494000 | #Constraints: 26630
3511.17/3520.15 c #Conflicts: 1495000 | #Constraints: 27630
3511.17/3520.15 c #Conflicts: 1496000 | #Constraints: 28630
3511.17/3520.15 c #Conflicts: 1497000 | #Constraints: 29630
3511.17/3520.15 c #Conflicts: 1498000 | #Constraints: 30630
3511.17/3520.15 c #Conflicts: 1499000 | #Constraints: 31630
3511.17/3520.15 c #Conflicts: 1500000 | #Constraints: 32630
3511.17/3520.15 c #Conflicts: 1501000 | #Constraints: 33630
3511.17/3520.15 c #Conflicts: 1502000 | #Constraints: 34630
3511.17/3520.15 c #Conflicts: 1503000 | #Constraints: 35630
3511.17/3520.15 c #Conflicts: 1504000 | #Constraints: 36630
3600.04/3609.20 c #Conflicts: 1505000 | #Constraints: 37630
3600.04/3609.20 c #Conflicts: 1506000 | #Constraints: 38630
3600.04/3609.20 c #Conflicts: 1507000 | #Constraints: 39630
3600.04/3609.20 c #Conflicts: 1508000 | #Constraints: 40630
3600.04/3609.20 c #Conflicts: 1509000 | #Constraints: 41630
3600.04/3609.20 c #Conflicts: 1510000 | #Constraints: 42630
3600.04/3609.20 c #Conflicts: 1511000 | #Constraints: 43630
3600.04/3609.20 c #Conflicts: 1512000 | #Constraints: 44630
3600.04/3609.20 c #Conflicts: 1513000 | #Constraints: 45630
3600.04/3609.20 c #Conflicts: 1514000 | #Constraints: 46630
3600.04/3609.20 c #Conflicts: 1515000 | #Constraints: 47630
3600.04/3609.20 c #Conflicts: 1516000 | #Constraints: 48630
3600.04/3609.20 c INPROCESSING
3600.04/3609.20 c GARBAGE COLLECT
3600.04/3609.20 c #Conflicts: 1517000 | #Constraints: 25232
3600.04/3609.20 c #Conflicts: 1518000 | #Constraints: 26232
3600.04/3609.20 c #Conflicts: 1519000 | #Constraints: 27232
3600.04/3609.20 c #Conflicts: 1520000 | #Constraints: 28232
3600.04/3609.20 c #Conflicts: 1521000 | #Constraints: 29232
3600.04/3609.20 c #Conflicts: 1522000 | #Constraints: 30232
3600.04/3609.20 c #Conflicts: 1523000 | #Constraints: 31232
3600.04/3609.20 c #Conflicts: 1524000 | #Constraints: 32232
3600.04/3609.20 c #Conflicts: 1525000 | #Constraints: 33232
3600.04/3609.20 c #Conflicts: 1526000 | #Constraints: 34232
3600.04/3609.20 c #Conflicts: 1527000 | #Constraints: 35232
3600.04/3609.20 c Program interrupted by user.
3600.04/3609.20 c cpu time 3592.96 s
3600.04/3609.20 c deterministic time 697801563897 6.98e+11
3600.04/3609.20 c optimization time 41.2237 s
3600.04/3609.20 c total solve time 3551.74 s
3600.04/3609.20 c core-guided solve time 3551.74 s
3600.04/3609.20 c propagation time 3436.88 s
3600.04/3609.20 c conflict analysis time 144.549 s
3600.04/3609.20 c propagations 17951750
3600.04/3609.20 c resolve steps 7204260
3600.04/3609.20 c decisions 2821618
3600.04/3609.20 c conflicts 1527582
3600.04/3609.20 c restarts 3019
3600.04/3609.20 c inprocessing phases 114
3600.04/3609.20 c input clauses 0
3600.04/3609.20 c input cardinalities 0
3600.04/3609.20 c input general constraints 17
3600.04/3609.20 c input average constraint length 72.24
3600.04/3609.20 c input average constraint degree 1644.53
3600.04/3609.20 c learned clauses 758597
3600.04/3609.20 c learned cardinalities 0
3600.04/3609.20 c learned general constraints 768984
3600.04/3609.20 c learned average constraint length 65.26
3600.04/3609.20 c learned average constraint degree 427975.15
3600.04/3609.20 c watched constraints 767851
3600.04/3609.20 c counting constraints 1150
3600.04/3609.20 c gcd simplifications 684167
3600.04/3609.20 c detected cardinalities 0
3600.04/3609.20 c weakened non-implied lits 17718155
3600.04/3609.20 c weakened non-implying lits 1917509
3600.04/3609.20 c original variables 146
3600.04/3609.20 c clausal propagations 271169
3600.04/3609.20 c cardinality propagations 0
3600.04/3609.20 c watched propagations 13436951
3600.04/3609.20 c counting propagations 3116943
3600.04/3609.20 c watch lookups 33867863288
3600.04/3609.20 c watch backjump lookups 21858434745
3600.04/3609.20 c watch checks 437495797145
3600.04/3609.20 c propagation checks 203965979858
3600.04/3609.20 c constraint additions 570414678
3600.04/3609.20 c trail pops 22300814
3600.04/3609.20 c formula constraints 12
3600.04/3609.20 c learned constraints 1527581
3600.04/3609.20 c bound constraints 5
3600.04/3609.20 c core-guided constraints 0
3600.04/3609.20 c encountered formula constraints 1664161
3600.04/3609.20 c encountered learned constraints 7067681
3600.04/3609.20 c encountered bound constraints 0
3600.04/3609.20 c encountered core-guided constraints 0
3600.04/3609.20 c LP total time 0 s
3600.04/3609.20 c LP solve time 0 s
3600.04/3609.20 c LP constraints added 0
3600.04/3609.20 c LP constraints removed 0
3600.04/3609.20 c LP pivots internal 0
3600.04/3609.20 c LP pivots root 0
3600.04/3609.20 c LP calls 0
3600.04/3609.20 c LP optimalities 0
3600.04/3609.20 c LP no pivot count 0
3600.04/3609.20 c LP infeasibilities 0
3600.04/3609.20 c LP valid Farkas constraints 0
3600.04/3609.20 c LP learned Farkas constraints 0
3600.04/3609.20 c LP basis resets 0
3600.04/3609.20 c LP cycling count 0
3600.04/3609.20 c LP singular count 0
3600.04/3609.20 c LP no primal count 0
3600.04/3609.20 c LP no farkas count 0
3600.04/3609.20 c LP other issue count 0
3600.04/3609.20 c LP Gomory cuts 0
3600.04/3609.20 c LP learned cuts 0
3600.04/3609.20 c LP deleted cuts 0
3600.04/3609.20 c LP encountered Gomory constraints 0
3600.04/3609.20 c LP encountered Farkas constraints 0
3600.04/3609.20 c LP encountered learned Farkas constraints 0
3600.04/3609.20 c CG auxiliary variables introduced 0
3600.04/3609.20 c CG solutions found 5
3600.04/3609.20 c CG cores constructed 0
3600.04/3609.20 c CG core cardinality constraints returned 0
3600.04/3609.20 c CG unit cores 0
3600.04/3609.20 c CG single cores 0
3600.04/3609.20 c CG blocks removed during cardinality reduction 0
3600.04/3609.20 c CG first core best 0
3600.04/3609.20 c CG decision core best 0
3600.04/3609.20 c CG core reduction tie 0
3600.04/3609.20 c CG core degree average 0.00
3600.04/3609.20 c CG core slack average 0.00
3600.04/3609.20 c CG exhausted 0
3600.04/3609.20 c CG exhaust time 0 s
3600.04/3609.20 c CG trimmed 0
3600.04/3609.20 c CG trim time 0 s
3600.04/3609.20 c CG minimized 0
3600.04/3609.20 c CG minimize time 0 s
3600.04/3609.20 c CG am1 prop time 0.000373 s
3600.04/3609.20 c CG # am1s reformulated 0
3600.04/3609.20 c CG lower bound derived from am1s 0
3600.04/3609.20 c CG # clausal cores 0
3600.04/3609.20 c CG # cardinality cores 0
3600.04/3609.20 c CG # pb cores 0
3600.04/3609.20 c CG # pb reforms 0
3600.04/3609.20 c CG # cores discarded because of pb reform 0
3600.04/3609.20 d LOWERBOUND 0
3600.04/3609.20 d NCORES 0
3600.04/3609.20 d NPBCORES 0
3600.04/3609.20 d NPBREFORM 0
3600.04/3609.20 d NTRIMMED 0
3600.04/3609.20 d NEXHAUSTED 0
3600.04/3609.20 d NAM1S 0
3600.04/3609.20 d AM1LB 0
3600.04/3609.20 o 17
3600.04/3609.20 s SATISFIABLE
3600.04/3609.20 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
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: 64096 MiB (63339 MiB free)
memory of node 1: 64473 MiB (62042 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435905-1721104466/watcher-4435905-1721104466 -o /tmp/evaluation-result-4435905-1721104466/solver-4435905-1721104466 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721104478-836653 --watchdog 3760 pb-oll-rs HOME/instance-4435905-1721104466.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=836698, runsolver pid=836694
[startup+0.106046 s]*
/proc/loadavg: 3.56 4.02 4.13 6/246 836716
/proc/meminfo: memFree=128387612/131655788 swapFree=131071996/131071996
[pid=836698] ppid=836694 vsize=38924 memory=5872 CPUtime=0.1 cores=4,6
/proc/836698/stat : 836698 (pb-oll-rs) R 836694 836698 836642 0 -1 4194304 356 0 0 0 10 0 0 0 20 0 1 0 162605459 39858176 1468 134679101440 4194304 5384005 140735859631392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37462016 140735859635223 140735859635300 140735859635300 140735859642315 0
/proc/836698/statm: 9731 1468 1326 291 0 1265 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38924 KiB
Current children cumulated memory: 5872 KiB
[startup+0.214046 s]*
/proc/loadavg: 3.56 4.02 4.13 5/246 836716
/proc/meminfo: memFree=128383804/131655788 swapFree=131071996/131071996
[pid=836698] ppid=836694 vsize=39056 memory=6400 CPUtime=0.21 cores=4,6
/proc/836698/stat : 836698 (pb-oll-rs) R 836694 836698 836642 0 -1 4194304 444 0 0 0 20 1 0 0 20 0 1 0 162605459 39993344 1600 134679101440 4194304 5384005 140735859631392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37462016 140735859635223 140735859635300 140735859635300 140735859642315 0
/proc/836698/statm: 9764 1600 1326 291 0 1298 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39056 KiB
Current children cumulated memory: 6400 KiB
[startup+0.312756 s]*
/proc/loadavg: 3.56 4.02 4.13 5/246 836716
/proc/meminfo: memFree=128382656/131655788 swapFree=131071996/131071996
[pid=836698] ppid=836694 vsize=39188 memory=6664 CPUtime=0.31 cores=4,6
/proc/836698/stat : 836698 (pb-oll-rs) R 836694 836698 836642 0 -1 4194304 517 0 0 0 30 1 0 0 20 0 1 0 162605459 40128512 1666 134679101440 4194304 5384005 140735859631392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37462016 140735859635223 140735859635300 140735859635300 140735859642315 0
/proc/836698/statm: 9797 1666 1326 291 0 1331 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39188 KiB
Current children cumulated memory: 6664 KiB
[startup+0.700228 s]
/proc/loadavg: 3.56 4.02 4.13 5/246 836716
/proc/meminfo: memFree=128380752/131655788 swapFree=131071996/131071996
[pid=836698] ppid=836694 vsize=39320 memory=6928 CPUtime=0.68 cores=4,6
/proc/836698/stat : 836698 (pb-oll-rs) R 836694 836698 836642 0 -1 4194304 615 0 0 0 65 3 0 0 20 0 1 0 162605459 40263680 1732 134679101440 4194304 5384005 140735859631392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37462016 140735859635223 140735859635300 140735859635300 140735859642315 0
/proc/836698/statm: 9830 1732 1326 291 0 1364 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39320 KiB
Current children cumulated memory: 6928 KiB
[startup+1.50025 s]
/proc/loadavg: 3.59 4.02 4.13 5/246 836716
/proc/meminfo: memFree=128376976/131655788 swapFree=131071996/131071996
[pid=836698] ppid=836694 vsize=39720 memory=9992 CPUtime=1.48 cores=4,6
/proc/836698/stat : 836698 (pb-oll-rs) R 836694 836698 836642 0 -1 4194304 794 0 0 0 142 6 0 0 20 0 1 0 162605459 40673280 2498 134679101440 4194304 5384005 140735859631392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37462016 140735859635223 140735859635300 140735859635300 140735859642315 0
/proc/836698/statm: 9930 2498 1387 291 0 1464 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39720 KiB
Current children cumulated memory: 9992 KiB
[startup+3.11251 s]
/proc/loadavg: 3.59 4.02 4.13 5/246 836718
/proc/meminfo: memFree=128370692/131655788 swapFree=131071996/131071996
[pid=836698] ppid=836694 vsize=40512 memory=10860 CPUtime=3.09 cores=4,6
/proc/836698/stat : 836698 (pb-oll-rs) R 836694 836698 836642 0 -1 4194304 974 0 0 0 301 8 0 0 20 0 1 0 162605459 41484288 2715 134679101440 4194304 5384005 140735859631392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37462016 140735859635223 140735859635300 140735859635300 140735859642315 0
/proc/836698/statm: 10128 2715 1387 291 0 1662 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40512 KiB
Current children cumulated memory: 10860 KiB
[startup+6.30023 s]
/proc/loadavg: 3.62 4.02 4.13 5/246 836718
/proc/meminfo: memFree=128367092/131655788 swapFree=131071996/131071996
[pid=836698] ppid=836694 vsize=40880 memory=11100 CPUtime=6.27 cores=4,6
/proc/836698/stat : 836698 (pb-oll-rs) R 836694 836698 836642 0 -1 4194304 1087 0 0 0 615 12 0 0 20 0 1 0 162605459 41861120 2775 134679101440 4194304 5384005 140735859631392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37462016 140735859635223 140735859635300 140735859635300 140735859642315 0
/proc/836698/statm: 10220 2775 1387 291 0 1754 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40880 KiB
Current children cumulated memory: 11100 KiB
[startup+12.7002 s]
/proc/loadavg: 3.66 4.02 4.12 5/246 836718
/proc/meminfo: memFree=128363676/131655788 swapFree=131071996/131071996
[pid=836698] ppid=836694 vsize=41456 memory=11824 CPUtime=12.65 cores=4,6
/proc/836698/stat : 836698 (pb-oll-rs) R 836694 836698 836642 0 -1 4194304 1218 0 0 0 1247 18 0 0 20 0 1 0 162605459 42450944 2956 134679101440 4194304 5384005 140735859631392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37462016 140735859635223 140735859635300 140735859635300 140735859642315 0
/proc/836698/statm: 10364 2956 1387 291 0 1898 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 41456 KiB
Current children cumulated memory: 11824 KiB
[startup+25.5003 s]
/proc/loadavg: 3.71 4.02 4.12 5/246 836721
/proc/meminfo: memFree=128353488/131655788 swapFree=131071996/131071996
[pid=836698] ppid=836694 vsize=42452 memory=13676 CPUtime=25.43 cores=4,6
/proc/836698/stat : 836698 (pb-oll-rs) R 836694 836698 836642 0 -1 4194304 1683 0 0 0 2517 26 0 0 20 0 1 0 162605459 43470848 3419 134679101440 4194304 5384005 140735859631392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37462016 140735859635223 140735859635300 140735859635300 140735859642315 0
/proc/836698/statm: 10613 3419 1387 291 0 2147 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 42452 KiB
Current children cumulated memory: 13676 KiB
[startup+51.1133 s]
/proc/loadavg: 3.90 4.03 4.12 5/246 836724
/proc/meminfo: memFree=128344496/131655788 swapFree=131071996/131071996
[pid=836698] ppid=836694 vsize=45780 memory=15292 CPUtime=50.98 cores=4,6
/proc/836698/stat : 836698 (pb-oll-rs) R 836694 836698 836642 0 -1 4194304 2150 0 0 0 5058 40 0 0 20 0 1 0 162605459 46878720 3823 134679101440 4194304 5384005 140735859631392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37462016 140735859635223 140735859635300 140735859635300 140735859642315 0
/proc/836698/statm: 11445 3823 1387 291 0 2979 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 45780 KiB
Current children cumulated memory: 15292 KiB
[startup+102.3 s]
/proc/loadavg: 4.03 4.04 4.12 5/243 836778
/proc/meminfo: memFree=128339624/131655788 swapFree=131071996/131071996
[pid=836698] ppid=836694 vsize=47124 memory=18032 CPUtime=102.06 cores=4,6
/proc/836698/stat : 836698 (pb-oll-rs) R 836694 836698 836642 0 -1 4194304 2831 0 0 0 10141 65 0 0 20 0 1 0 162605459 48254976 4508 134679101440 4194304 5384005 140735859631392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37462016 140735859635223 140735859635300 140735859635300 140735859642315 0
/proc/836698/statm: 11781 4508 1387 291 0 3315 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 47124 KiB
Current children cumulated memory: 18032 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.05 4.11 5/243 836879
/proc/meminfo: memFree=128313148/131655788 swapFree=131071996/131071996
[pid=836698] ppid=836694 vsize=53208 memory=22308 CPUtime=161.92 cores=4,6
/proc/836698/stat : 836698 (pb-oll-rs) R 836694 836698 836642 0 -1 4194304 3422 0 0 0 16102 90 0 0 20 0 1 0 162605459 54484992 5577 134679101440 4194304 5384005 140735859631392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37462016 140735859635223 140735859635300 140735859635300 140735859642315 0
/proc/836698/statm: 13302 5577 1387 291 0 4836 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 53208 KiB
Current children cumulated memory: 22308 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.05 4.11 5/243 836890
/proc/meminfo: memFree=128304908/131655788 swapFree=131071996/131071996
[pid=836698] ppid=836694 vsize=53400 memory=22584 CPUtime=221.78 cores=4,6
/proc/836698/stat : 836698 (pb-oll-rs) R 836694 836698 836642 0 -1 4194304 3528 0 0 0 22061 117 0 0 20 0 1 0 162605459 54681600 5646 134679101440 4194304 5384005 140735859631392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37462016 140735859635223 140735859635300 140735859635300 140735859642315 0
/proc/836698/statm: 13350 5646 1387 291 0 4884 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 53400 KiB
Current children cumulated memory: 22584 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.06 4.10 5/243 836900
/proc/meminfo: memFree=128294356/131655788 swapFree=131071996/131071996
[pid=836698] ppid=836694 vsize=53676 memory=23144 CPUtime=281.63 cores=4,6
/proc/836698/stat : 836698 (pb-oll-rs) R 836694 836698 836642 0 -1 4194304 3752 0 0 0 28022 141 0 0 20 0 1 0 162605459 54964224 5786 134679101440 4194304 5384005 140735859631392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37462016 140735859635223 140735859635300 140735859635300 140735859642315 0
/proc/836698/statm: 13419 5786 1387 291 0 4953 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 53676 KiB
Current children cumulated memory: 23144 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.06 4.10 5/242 836911
/proc/meminfo: memFree=128280012/131655788 swapFree=131071996/131071996
[pid=836698] ppid=836694 vsize=54068 memory=24292 CPUtime=341.47 cores=4,6
/proc/836698/stat : 836698 (pb-oll-rs) R 836694 836698 836642 0 -1 4194304 4159 0 0 0 33988 159 0 0 20 0 1 0 162605459 55365632 6073 134679101440 4194304 5384005 140735859631392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37462016 140735859635223 140735859635300 140735859635300 140735859642315 0
/proc/836698/statm: 13517 6073 1387 291 0 5051 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 54068 KiB
Current children cumulated memory: 24292 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.08 4.10 5/245 836927
/proc/meminfo: memFree=128275992/131655788 swapFree=131071996/131071996
[pid=836698] ppid=836694 vsize=54296 memory=24992 CPUtime=401.31 cores=4,6
/proc/836698/stat : 836698 (pb-oll-rs) R 836694 836698 836642 0 -1 4194304 4431 0 0 0 39955 176 0 0 20 0 1 0 162605459 55599104 6248 134679101440 4194304 5384005 140735859631392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37462016 140735859635223 140735859635300 140735859635300 140735859642315 0
/proc/836698/statm: 13574 6248 1387 291 0 5108 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 54296 KiB
Current children cumulated memory: 24992 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 4.06 4.09 5/245 836937
/proc/meminfo: memFree=128267392/131655788 swapFree=131071996/131071996
[pid=836698] ppid=836694 vsize=54584 memory=25516 CPUtime=461.15 cores=4,6
/proc/836698/stat : 836698 (pb-oll-rs) R 836694 836698 836642 0 -1 4194304 4573 0 0 0 45923 192 0 0 20 0 1 0 162605459 55894016 6379 134679101440 4194304 5384005 140735859631392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37462016 140735859635223 140735859635300 140735859635300 140735859642315 0
/proc/836698/statm: 13646 6379 1387 291 0 5180 0
################
# More data... #
################
Current children cumulated memory: 43060 KiB
[startup+2862.3 s]
/proc/loadavg: 4.27 4.27 4.24 5/243 837940
/proc/meminfo: memFree=128169328/131655788 swapFree=131071996/131071996
[pid=836698] ppid=836694 vsize=80708 memory=43060 CPUtime=2854.86 cores=4,6
/proc/836698/stat : 836698 (pb-oll-rs) R 836694 836698 836642 0 -1 4194304 9436 0 0 0 284877 609 0 0 20 0 1 0 162605459 82644992 10765 134679101440 4194304 5384005 140735859631392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37462016 140735859635223 140735859635300 140735859635300 140735859642315 0
/proc/836698/statm: 20177 10765 1387 291 0 11711 0
Current children cumulated CPU time: 2854.86 s
Current children cumulated vsize: 80708 KiB
Current children cumulated memory: 43060 KiB
[startup+2922.3 s]
/proc/loadavg: 4.22 4.26 4.24 5/243 837952
/proc/meminfo: memFree=128169056/131655788 swapFree=131071996/131071996
[pid=836698] ppid=836694 vsize=80708 memory=43060 CPUtime=2914.72 cores=4,6
/proc/836698/stat : 836698 (pb-oll-rs) R 836694 836698 836642 0 -1 4194304 9454 0 0 0 290857 615 0 0 20 0 1 0 162605459 82644992 10765 134679101440 4194304 5384005 140735859631392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37462016 140735859635223 140735859635300 140735859635300 140735859642315 0
/proc/836698/statm: 20177 10765 1387 291 0 11711 0
Current children cumulated CPU time: 2914.72 s
Current children cumulated vsize: 80708 KiB
Current children cumulated memory: 43060 KiB
[startup+2982.3 s]
/proc/loadavg: 4.60 4.34 4.27 5/243 837962
/proc/meminfo: memFree=128166244/131655788 swapFree=131071996/131071996
[pid=836698] ppid=836694 vsize=80708 memory=43072 CPUtime=2974.59 cores=4,6
/proc/836698/stat : 836698 (pb-oll-rs) R 836694 836698 836642 0 -1 4194304 9607 0 0 0 296834 625 0 0 20 0 1 0 162605459 82644992 10768 134679101440 4194304 5384005 140735859631392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37462016 140735859635223 140735859635300 140735859635300 140735859642315 0
/proc/836698/statm: 20177 10768 1387 291 0 11711 0
Current children cumulated CPU time: 2974.59 s
Current children cumulated vsize: 80708 KiB
Current children cumulated memory: 43072 KiB
[startup+3042.3 s]
/proc/loadavg: 4.63 4.41 4.30 5/243 837973
/proc/meminfo: memFree=128163284/131655788 swapFree=131071996/131071996
[pid=836698] ppid=836694 vsize=80708 memory=43072 CPUtime=3034.45 cores=4,6
/proc/836698/stat : 836698 (pb-oll-rs) R 836694 836698 836642 0 -1 4194304 9759 0 0 0 302812 633 0 0 20 0 1 0 162605459 82644992 10768 134679101440 4194304 5384005 140735859631392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37462016 140735859635223 140735859635300 140735859635300 140735859642315 0
/proc/836698/statm: 20177 10768 1387 291 0 11711 0
Current children cumulated CPU time: 3034.45 s
Current children cumulated vsize: 80708 KiB
Current children cumulated memory: 43072 KiB
[startup+3102.3 s]
/proc/loadavg: 4.43 4.41 4.30 5/241 838369
/proc/meminfo: memFree=128262568/131655788 swapFree=131071996/131071996
[pid=836698] ppid=836694 vsize=80708 memory=43072 CPUtime=3094.32 cores=4,6
/proc/836698/stat : 836698 (pb-oll-rs) R 836694 836698 836642 0 -1 4194304 9778 0 0 0 308791 641 0 0 20 0 1 0 162605459 82644992 10768 134679101440 4194304 5384005 140735859631392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37462016 140735859635223 140735859635300 140735859635300 140735859642315 0
/proc/836698/statm: 20177 10768 1387 291 0 11711 0
Current children cumulated CPU time: 3094.32 s
Current children cumulated vsize: 80708 KiB
Current children cumulated memory: 43072 KiB
[startup+3162.3 s]
/proc/loadavg: 4.26 4.36 4.29 5/241 838380
/proc/meminfo: memFree=128260892/131655788 swapFree=131071996/131071996
[pid=836698] ppid=836694 vsize=80708 memory=43072 CPUtime=3154.17 cores=4,6
/proc/836698/stat : 836698 (pb-oll-rs) R 836694 836698 836642 0 -1 4194304 9930 0 0 0 314768 649 0 0 20 0 1 0 162605459 82644992 10768 134679101440 4194304 5384005 140735859631392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37462016 140735859635223 140735859635300 140735859635300 140735859642315 0
/proc/836698/statm: 20177 10768 1387 291 0 11711 0
Current children cumulated CPU time: 3154.17 s
Current children cumulated vsize: 80708 KiB
Current children cumulated memory: 43072 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.31 4.27 5/241 838390
/proc/meminfo: memFree=128260420/131655788 swapFree=131071996/131071996
[pid=836698] ppid=836694 vsize=80964 memory=43204 CPUtime=3214.04 cores=4,6
/proc/836698/stat : 836698 (pb-oll-rs) R 836694 836698 836642 0 -1 4194304 10116 0 0 0 320746 658 0 0 20 0 1 0 162605459 82907136 10801 134679101440 4194304 5384005 140735859631392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37462016 140735859635223 140735859635300 140735859635300 140735859642315 0
/proc/836698/statm: 20241 10801 1387 291 0 11775 0
Current children cumulated CPU time: 3214.04 s
Current children cumulated vsize: 80964 KiB
Current children cumulated memory: 43204 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.30 4.27 5/243 838571
/proc/meminfo: memFree=128259472/131655788 swapFree=131071996/131071996
[pid=836698] ppid=836694 vsize=80964 memory=43204 CPUtime=3273.89 cores=4,6
/proc/836698/stat : 836698 (pb-oll-rs) R 836694 836698 836642 0 -1 4194304 10135 0 0 0 326724 665 0 0 20 0 1 0 162605459 82907136 10801 134679101440 4194304 5384005 140735859631392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37462016 140735859635223 140735859635300 140735859635300 140735859642315 0
/proc/836698/statm: 20241 10801 1387 291 0 11775 0
Current children cumulated CPU time: 3273.89 s
Current children cumulated vsize: 80964 KiB
Current children cumulated memory: 43204 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.26 4.26 5/243 838581
/proc/meminfo: memFree=128259496/131655788 swapFree=131071996/131071996
[pid=836698] ppid=836694 vsize=80964 memory=43204 CPUtime=3333.75 cores=4,6
/proc/836698/stat : 836698 (pb-oll-rs) R 836694 836698 836642 0 -1 4194304 10287 0 0 0 332703 672 0 0 20 0 1 0 162605459 82907136 10801 134679101440 4194304 5384005 140735859631392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37462016 140735859635223 140735859635300 140735859635300 140735859642315 0
/proc/836698/statm: 20241 10801 1387 291 0 11775 0
Current children cumulated CPU time: 3333.75 s
Current children cumulated vsize: 80964 KiB
Current children cumulated memory: 43204 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.22 4.25 5/246 838650
/proc/meminfo: memFree=128257768/131655788 swapFree=131071996/131071996
[pid=836698] ppid=836694 vsize=81476 memory=43480 CPUtime=3393.63 cores=4,6
/proc/836698/stat : 836698 (pb-oll-rs) R 836694 836698 836642 0 -1 4194304 10509 0 0 0 338682 681 0 0 20 0 1 0 162605459 83431424 10870 134679101440 4194304 5384005 140735859631392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37462016 140735859635223 140735859635300 140735859635300 140735859642315 0
/proc/836698/statm: 20369 10870 1387 291 0 11903 0
Current children cumulated CPU time: 3393.63 s
Current children cumulated vsize: 81476 KiB
Current children cumulated memory: 43480 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.21 4.24 5/246 838660
/proc/meminfo: memFree=128254004/131655788 swapFree=131071996/131071996
[pid=836698] ppid=836694 vsize=81476 memory=44012 CPUtime=3453.48 cores=4,6
/proc/836698/stat : 836698 (pb-oll-rs) R 836694 836698 836642 0 -1 4194304 10531 0 0 0 344660 688 0 0 20 0 1 0 162605459 83431424 11003 134679101440 4194304 5384005 140735859631392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37462016 140735859635223 140735859635300 140735859635300 140735859642315 0
/proc/836698/statm: 20369 11003 1387 291 0 11903 0
Current children cumulated CPU time: 3453.48 s
Current children cumulated vsize: 81476 KiB
Current children cumulated memory: 44012 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.17 4.22 5/246 838671
/proc/meminfo: memFree=128253492/131655788 swapFree=131071996/131071996
[pid=836698] ppid=836694 vsize=81476 memory=44012 CPUtime=3513.35 cores=4,6
/proc/836698/stat : 836698 (pb-oll-rs) R 836694 836698 836642 0 -1 4194304 10685 0 0 0 350639 696 0 0 20 0 1 0 162605459 83431424 11003 134679101440 4194304 5384005 140735859631392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37462016 140735859635223 140735859635300 140735859635300 140735859642315 0
/proc/836698/statm: 20369 11003 1387 291 0 11903 0
Current children cumulated CPU time: 3513.35 s
Current children cumulated vsize: 81476 KiB
Current children cumulated memory: 44012 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.17 4.22 5/245 838681
/proc/meminfo: memFree=128252248/131655788 swapFree=131071996/131071996
[pid=836698] ppid=836694 vsize=81732 memory=44144 CPUtime=3573.21 cores=4,6
/proc/836698/stat : 836698 (pb-oll-rs) R 836694 836698 836642 0 -1 4194304 10876 0 0 0 356616 705 0 0 20 0 1 0 162605459 83693568 11036 134679101440 4194304 5384005 140735859631392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37462016 140735859635223 140735859635300 140735859635300 140735859642315 0
/proc/836698/statm: 20433 11036 1387 291 0 11967 0
Current children cumulated CPU time: 3573.21 s
Current children cumulated vsize: 81732 KiB
Current children cumulated memory: 44144 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.09 4.15 4.21 5/245 838687
/proc/meminfo: memFree=128251936/131655788 swapFree=131071996/131071996
[pid=836698] ppid=836694 vsize=81732 memory=44144 CPUtime=3600.04 cores=4,6
/proc/836698/stat : 836698 (pb-oll-rs) R 836694 836698 836642 0 -1 4194304 10876 0 0 0 359295 709 0 0 20 0 1 0 162605459 83693568 11036 134679101440 4194304 5384005 140735859631392 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 37462016 140735859635223 140735859635300 140735859635300 140735859642315 0
/proc/836698/statm: 20433 11036 1387 291 0 11967 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 81732 KiB
Current children cumulated memory: 44144 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.21 s]
# the end of solver process 836698 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.96 s, system=7.09973 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.21
CPU time (s): 3600.06
CPU user time (s): 3592.96
CPU system time (s): 7.09973
CPU usage (%): 99.7467
Max. virtual memory (cumulated for all children) (KiB): 81924
Max. memory (cumulated for all children) (KiB): 44144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.96
system time used= 7.09973
maximum resident set size= 44656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10893
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= 24
involuntary context switches= 1853
# summary of solver processes directly reported to runsolver:
# pid: 836698
# total CPU time (s): 3600.06
# total CPU user time (s): 3592.96
# total CPU system time (s): 7.09973
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5583 second user time and 34.386 second system time
The end
Begin job on nodeC005 at 2024-07-16 06:34:39
IDJOB=4435905
IDBENCH=147612
IDSOLVER=3067
FILE ID=nodeC005/4435905-1721104466
RUNJOBID= nodeC005-1721104478-836653
SLURM_JOB_ID= 7505626
Free space on /tmp= 723784 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_3.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435905-1721104466/watcher-4435905-1721104466 -o /tmp/evaluation-result-4435905-1721104466/solver-4435905-1721104466 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721104478-836653 --watchdog 3760 pb-oll-rs HOME/instance-4435905-1721104466.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8451009eff5aac10a49807ab684bf277
RANDOM SEED=1228448863
nodeC005.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 : 0xb00001f
cpu MHz : 1197.193
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.53
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 : 0xb00001f
cpu MHz : 1197.189
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
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 : 0xb00001f
cpu MHz : 1197.179
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.53
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 : 0xb00001f
cpu MHz : 1197.179
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
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 : 0xb00001f
cpu MHz : 3224.024
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.53
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 : 0xb00001f
cpu MHz : 1197.178
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
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 : 0xb00001f
cpu MHz : 1197.176
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.53
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 : 0xb00001f
cpu MHz : 1197.177
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128393584 kB
MemAvailable: 129955772 kB
Buffers: 381260 kB
Cached: 2007140 kB
SwapCached: 0 kB
Active: 688512 kB
Inactive: 2007900 kB
Active(anon): 3336 kB
Inactive(anon): 343020 kB
Active(file): 685176 kB
Inactive(file): 1664880 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 8016 kB
Writeback: 72 kB
AnonPages: 307740 kB
Mapped: 105656 kB
Shmem: 37704 kB
KReclaimable: 104660 kB
Slab: 206104 kB
SReclaimable: 104660 kB
SUnreclaim: 101444 kB
KernelStack: 3684 kB
PageTables: 10016 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 821228 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52832 kB
HardwareCorrupted: 0 kB
AnonHugePages: 184320 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: 203592 kB
DirectMap2M: 11235328 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 723772 MiB
End job on nodeC005 at 2024-07-16 07:34:48