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 198 #constraints 16
0.00/0.00 c SMALL=int, LARGE=long long
0.00/0.00 c bounds - >= 0 @ 0.000484
0.00/0.00 c stratification level: 64
0.00/0.01 c bounds 142 >= 0 @ 0.008318
0.00/0.01 c stratification level: 32
0.00/0.01 c bounds 134 >= 0 @ 0.012563
0.00/0.01 c stratification level: 16
4.28/4.34 c #Conflicts: 1000 | #Constraints: 1017
4.28/4.34 c #Conflicts: 2000 | #Constraints: 2017
4.28/4.34 c INPROCESSING
4.28/4.34 c GARBAGE COLLECT
4.28/4.34 c #Conflicts: 3000 | #Constraints: 2024
4.28/4.34 c #Conflicts: 4000 | #Constraints: 3024
4.28/4.34 c INPROCESSING
4.28/4.34 c GARBAGE COLLECT
4.28/4.34 c #Conflicts: 5000 | #Constraints: 2424
4.28/4.34 c #Conflicts: 6000 | #Constraints: 3424
4.28/4.34 c INPROCESSING
4.28/4.34 c GARBAGE COLLECT
4.28/4.34 c #Conflicts: 7000 | #Constraints: 2430
4.28/4.34 c #Conflicts: 8000 | #Constraints: 3430
4.28/4.34 c #Conflicts: 9000 | #Constraints: 4430
4.28/4.34 c INPROCESSING
4.28/4.34 c GARBAGE COLLECT
4.28/4.34 c #Conflicts: 10000 | #Constraints: 3129
4.28/4.34 c #Conflicts: 11000 | #Constraints: 4129
4.28/4.34 c #Conflicts: 12000 | #Constraints: 5129
4.28/4.34 c INPROCESSING
4.28/4.34 c GARBAGE COLLECT
4.28/4.34 c #Conflicts: 13000 | #Constraints: 3579
4.28/4.34 c #Conflicts: 14000 | #Constraints: 4579
4.28/4.34 c #Conflicts: 15000 | #Constraints: 5579
4.28/4.34 c INPROCESSING
4.28/4.34 c GARBAGE COLLECT
4.28/4.34 c #Conflicts: 16000 | #Constraints: 3806
4.28/4.34 c #Conflicts: 17000 | #Constraints: 4806
4.28/4.34 c #Conflicts: 18000 | #Constraints: 5806
4.28/4.34 c INPROCESSING
4.28/4.34 c GARBAGE COLLECT
4.28/4.34 c bounds 116 >= 0 @ 4.23476
4.28/4.34 c stratification level: 8
31.60/31.79 c #Conflicts: 19000 | #Constraints: 3822
31.60/31.79 c #Conflicts: 20000 | #Constraints: 4822
31.60/31.79 c #Conflicts: 21000 | #Constraints: 5822
31.60/31.79 c INPROCESSING
31.60/31.79 c GARBAGE COLLECT
31.60/31.79 c #Conflicts: 22000 | #Constraints: 3621
31.60/31.79 c #Conflicts: 23000 | #Constraints: 4621
31.60/31.79 c #Conflicts: 24000 | #Constraints: 5621
31.60/31.79 c #Conflicts: 25000 | #Constraints: 6621
31.60/31.79 c INPROCESSING
31.60/31.79 c GARBAGE COLLECT
31.60/31.79 c #Conflicts: 26000 | #Constraints: 4226
31.60/31.79 c #Conflicts: 27000 | #Constraints: 5226
31.60/31.79 c #Conflicts: 28000 | #Constraints: 6226
31.60/31.79 c #Conflicts: 29000 | #Constraints: 7226
31.60/31.79 c INPROCESSING
31.60/31.79 c GARBAGE COLLECT
31.60/31.79 c #Conflicts: 30000 | #Constraints: 4626
31.60/31.79 c #Conflicts: 31000 | #Constraints: 5626
31.60/31.79 c #Conflicts: 32000 | #Constraints: 6626
31.60/31.79 c #Conflicts: 33000 | #Constraints: 7626
31.60/31.79 c INPROCESSING
31.60/31.79 c GARBAGE COLLECT
31.60/31.79 c #Conflicts: 34000 | #Constraints: 4831
31.60/31.79 c #Conflicts: 35000 | #Constraints: 5831
31.60/31.79 c #Conflicts: 36000 | #Constraints: 6831
31.60/31.79 c #Conflicts: 37000 | #Constraints: 7831
31.60/31.79 c INPROCESSING
31.60/31.79 c GARBAGE COLLECT
31.60/31.79 c #Conflicts: 38000 | #Constraints: 4836
31.60/31.79 c #Conflicts: 39000 | #Constraints: 5836
31.60/31.79 c #Conflicts: 40000 | #Constraints: 6836
31.60/31.79 c #Conflicts: 41000 | #Constraints: 7836
31.60/31.79 c INPROCESSING
31.60/31.79 c GARBAGE COLLECT
31.60/31.79 c #Conflicts: 42000 | #Constraints: 4637
31.60/31.79 c #Conflicts: 43000 | #Constraints: 5637
31.60/31.79 c #Conflicts: 44000 | #Constraints: 6637
31.60/31.79 c #Conflicts: 45000 | #Constraints: 7637
31.60/31.79 c #Conflicts: 46000 | #Constraints: 8637
31.60/31.79 c INPROCESSING
31.60/31.79 c GARBAGE COLLECT
31.60/31.79 c #Conflicts: 47000 | #Constraints: 5233
31.60/31.79 c #Conflicts: 48000 | #Constraints: 6233
31.60/31.79 c #Conflicts: 49000 | #Constraints: 7233
31.60/31.79 c #Conflicts: 50000 | #Constraints: 8233
31.60/31.79 c #Conflicts: 51000 | #Constraints: 9233
31.60/31.79 c INPROCESSING
31.60/31.79 c GARBAGE COLLECT
31.60/31.79 c #Conflicts: 52000 | #Constraints: 5635
31.60/31.79 c #Conflicts: 53000 | #Constraints: 6635
31.60/31.79 c #Conflicts: 54000 | #Constraints: 7635
31.60/31.79 c #Conflicts: 55000 | #Constraints: 8635
31.60/31.79 c #Conflicts: 56000 | #Constraints: 9635
31.60/31.79 c INPROCESSING
31.60/31.79 c GARBAGE COLLECT
31.60/31.79 c #Conflicts: 57000 | #Constraints: 5831
31.60/31.79 c #Conflicts: 58000 | #Constraints: 6831
31.60/31.79 c #Conflicts: 59000 | #Constraints: 7831
31.60/31.79 c #Conflicts: 60000 | #Constraints: 8831
31.60/31.79 c #Conflicts: 61000 | #Constraints: 9831
31.60/31.79 c INPROCESSING
31.60/31.79 c GARBAGE COLLECT
31.60/31.79 c #Conflicts: 62000 | #Constraints: 5833
31.60/31.79 c #Conflicts: 63000 | #Constraints: 6833
31.60/31.79 c #Conflicts: 64000 | #Constraints: 7833
31.60/31.79 c #Conflicts: 65000 | #Constraints: 8833
31.60/31.79 c #Conflicts: 66000 | #Constraints: 9833
31.60/31.79 c INPROCESSING
31.60/31.79 c GARBAGE COLLECT
31.60/31.79 c #Conflicts: 67000 | #Constraints: 5632
31.60/31.79 c #Conflicts: 68000 | #Constraints: 6632
31.60/31.79 c #Conflicts: 69000 | #Constraints: 7632
31.60/31.79 c #Conflicts: 70000 | #Constraints: 8632
31.60/31.79 c #Conflicts: 71000 | #Constraints: 9632
31.60/31.79 c #Conflicts: 72000 | #Constraints: 10632
31.60/31.79 c INPROCESSING
31.60/31.79 c GARBAGE COLLECT
31.60/31.79 c #Conflicts: 73000 | #Constraints: 6231
31.60/31.79 c #Conflicts: 74000 | #Constraints: 7231
31.60/31.79 c #Conflicts: 75000 | #Constraints: 8231
31.60/31.79 c #Conflicts: 76000 | #Constraints: 9231
31.60/31.79 c #Conflicts: 77000 | #Constraints: 10231
31.60/31.79 c #Conflicts: 78000 | #Constraints: 11231
31.60/31.79 c INPROCESSING
31.60/31.79 c GARBAGE COLLECT
31.60/31.79 c #Conflicts: 79000 | #Constraints: 6631
31.60/31.79 c #Conflicts: 80000 | #Constraints: 7631
31.60/31.79 c #Conflicts: 81000 | #Constraints: 8631
31.60/31.79 c #Conflicts: 82000 | #Constraints: 9631
31.60/31.79 c #Conflicts: 83000 | #Constraints: 10631
31.60/31.79 c #Conflicts: 84000 | #Constraints: 11631
31.60/31.79 c INPROCESSING
31.60/31.79 c GARBAGE COLLECT
31.60/31.79 c #Conflicts: 85000 | #Constraints: 6833
31.60/31.79 c #Conflicts: 86000 | #Constraints: 7833
31.60/31.79 c #Conflicts: 87000 | #Constraints: 8833
31.60/31.79 c #Conflicts: 88000 | #Constraints: 9833
70.37/70.62 c #Conflicts: 89000 | #Constraints: 10833
70.37/70.62 c #Conflicts: 90000 | #Constraints: 11833
70.37/70.62 c INPROCESSING
70.37/70.62 c GARBAGE COLLECT
70.37/70.62 c #Conflicts: 91000 | #Constraints: 6835
70.37/70.62 c #Conflicts: 92000 | #Constraints: 7835
70.37/70.62 c #Conflicts: 93000 | #Constraints: 8835
70.37/70.62 c #Conflicts: 94000 | #Constraints: 9835
70.37/70.62 c #Conflicts: 95000 | #Constraints: 10835
70.37/70.62 c #Conflicts: 96000 | #Constraints: 11835
70.37/70.62 c INPROCESSING
70.37/70.62 c GARBAGE COLLECT
70.37/70.62 c #Conflicts: 97000 | #Constraints: 6635
70.37/70.62 c #Conflicts: 98000 | #Constraints: 7635
70.37/70.62 c #Conflicts: 99000 | #Constraints: 8635
70.37/70.62 c #Conflicts: 100000 | #Constraints: 9635
70.37/70.62 c #Conflicts: 101000 | #Constraints: 10635
70.37/70.62 c #Conflicts: 102000 | #Constraints: 11635
70.37/70.62 c #Conflicts: 103000 | #Constraints: 12635
70.37/70.62 c INPROCESSING
70.37/70.62 c GARBAGE COLLECT
70.37/70.62 c #Conflicts: 104000 | #Constraints: 7234
70.37/70.62 c #Conflicts: 105000 | #Constraints: 8234
70.37/70.62 c #Conflicts: 106000 | #Constraints: 9234
70.37/70.62 c #Conflicts: 107000 | #Constraints: 10234
70.37/70.62 c #Conflicts: 108000 | #Constraints: 11234
70.37/70.62 c #Conflicts: 109000 | #Constraints: 12234
70.37/70.62 c #Conflicts: 110000 | #Constraints: 13234
70.37/70.62 c INPROCESSING
70.37/70.62 c GARBAGE COLLECT
70.37/70.62 c #Conflicts: 111000 | #Constraints: 7638
70.37/70.62 c #Conflicts: 112000 | #Constraints: 8638
70.37/70.62 c #Conflicts: 113000 | #Constraints: 9638
70.37/70.62 c #Conflicts: 114000 | #Constraints: 10638
70.37/70.62 c #Conflicts: 115000 | #Constraints: 11638
70.37/70.62 c #Conflicts: 116000 | #Constraints: 12638
70.37/70.62 c #Conflicts: 117000 | #Constraints: 13638
70.37/70.62 c INPROCESSING
70.37/70.62 c GARBAGE COLLECT
70.37/70.62 c #Conflicts: 118000 | #Constraints: 7836
70.37/70.62 c #Conflicts: 119000 | #Constraints: 8836
70.37/70.62 c #Conflicts: 120000 | #Constraints: 9836
70.37/70.62 c #Conflicts: 121000 | #Constraints: 10836
70.37/70.62 c #Conflicts: 122000 | #Constraints: 11836
70.37/70.62 c #Conflicts: 123000 | #Constraints: 12836
70.37/70.62 c #Conflicts: 124000 | #Constraints: 13836
70.37/70.62 c INPROCESSING
70.37/70.62 c GARBAGE COLLECT
70.37/70.62 c #Conflicts: 125000 | #Constraints: 7833
70.37/70.62 c #Conflicts: 126000 | #Constraints: 8833
70.37/70.62 c #Conflicts: 127000 | #Constraints: 9833
70.37/70.62 c #Conflicts: 128000 | #Constraints: 10833
70.37/70.62 c #Conflicts: 129000 | #Constraints: 11833
70.37/70.62 c #Conflicts: 130000 | #Constraints: 12833
70.37/70.62 c #Conflicts: 131000 | #Constraints: 13833
70.37/70.62 c INPROCESSING
70.37/70.62 c GARBAGE COLLECT
70.37/70.62 c #Conflicts: 132000 | #Constraints: 7631
70.37/70.62 c #Conflicts: 133000 | #Constraints: 8631
70.37/70.62 c #Conflicts: 134000 | #Constraints: 9631
70.37/70.62 c #Conflicts: 135000 | #Constraints: 10631
70.37/70.62 c #Conflicts: 136000 | #Constraints: 11631
70.37/70.62 c #Conflicts: 137000 | #Constraints: 12631
70.37/70.62 c #Conflicts: 138000 | #Constraints: 13631
70.37/70.62 c #Conflicts: 139000 | #Constraints: 14631
70.37/70.62 c INPROCESSING
70.37/70.62 c GARBAGE COLLECT
70.37/70.62 c #Conflicts: 140000 | #Constraints: 8236
70.37/70.62 c #Conflicts: 141000 | #Constraints: 9236
70.37/70.62 c #Conflicts: 142000 | #Constraints: 10236
70.37/70.62 c #Conflicts: 143000 | #Constraints: 11236
70.37/70.62 c #Conflicts: 144000 | #Constraints: 12236
70.37/70.62 c #Conflicts: 145000 | #Constraints: 13236
70.37/70.62 c #Conflicts: 146000 | #Constraints: 14236
70.37/70.62 c #Conflicts: 147000 | #Constraints: 15236
70.37/70.62 c INPROCESSING
70.37/70.62 c GARBAGE COLLECT
70.37/70.62 c #Conflicts: 148000 | #Constraints: 8635
70.37/70.62 c #Conflicts: 149000 | #Constraints: 9635
70.37/70.62 c #Conflicts: 150000 | #Constraints: 10635
70.37/70.62 c #Conflicts: 151000 | #Constraints: 11635
70.37/70.62 c #Conflicts: 152000 | #Constraints: 12635
70.37/70.62 c #Conflicts: 153000 | #Constraints: 13635
70.37/70.62 c #Conflicts: 154000 | #Constraints: 14635
70.37/70.62 c #Conflicts: 155000 | #Constraints: 15635
70.37/70.62 c INPROCESSING
70.37/70.62 c GARBAGE COLLECT
70.37/70.62 c #Conflicts: 156000 | #Constraints: 8836
70.37/70.62 c #Conflicts: 157000 | #Constraints: 9836
70.37/70.62 c #Conflicts: 158000 | #Constraints: 10836
70.37/70.62 c #Conflicts: 159000 | #Constraints: 11836
70.37/70.62 c #Conflicts: 160000 | #Constraints: 12836
70.37/70.62 c #Conflicts: 161000 | #Constraints: 13836
125.01/125.40 c #Conflicts: 162000 | #Constraints: 14836
125.01/125.40 c #Conflicts: 163000 | #Constraints: 15836
125.01/125.40 c INPROCESSING
125.01/125.40 c GARBAGE COLLECT
125.01/125.40 c #Conflicts: 164000 | #Constraints: 8836
125.01/125.40 c #Conflicts: 165000 | #Constraints: 9836
125.01/125.40 c #Conflicts: 166000 | #Constraints: 10836
125.01/125.40 c #Conflicts: 167000 | #Constraints: 11836
125.01/125.40 c #Conflicts: 168000 | #Constraints: 12836
125.01/125.40 c #Conflicts: 169000 | #Constraints: 13836
125.01/125.40 c #Conflicts: 170000 | #Constraints: 14836
125.01/125.40 c #Conflicts: 171000 | #Constraints: 15836
125.01/125.40 c INPROCESSING
125.01/125.40 c GARBAGE COLLECT
125.01/125.40 c #Conflicts: 172000 | #Constraints: 8634
125.01/125.40 c #Conflicts: 173000 | #Constraints: 9634
125.01/125.40 c #Conflicts: 174000 | #Constraints: 10634
125.01/125.40 c #Conflicts: 175000 | #Constraints: 11634
125.01/125.40 c #Conflicts: 176000 | #Constraints: 12634
125.01/125.40 c #Conflicts: 177000 | #Constraints: 13634
125.01/125.40 c #Conflicts: 178000 | #Constraints: 14634
125.01/125.40 c #Conflicts: 179000 | #Constraints: 15634
125.01/125.40 c #Conflicts: 180000 | #Constraints: 16634
125.01/125.40 c INPROCESSING
125.01/125.40 c GARBAGE COLLECT
125.01/125.40 c #Conflicts: 181000 | #Constraints: 9236
125.01/125.40 c #Conflicts: 182000 | #Constraints: 10236
125.01/125.40 c #Conflicts: 183000 | #Constraints: 11236
125.01/125.40 c #Conflicts: 184000 | #Constraints: 12236
125.01/125.40 c #Conflicts: 185000 | #Constraints: 13236
125.01/125.40 c #Conflicts: 186000 | #Constraints: 14236
125.01/125.40 c #Conflicts: 187000 | #Constraints: 15236
125.01/125.40 c #Conflicts: 188000 | #Constraints: 16236
125.01/125.40 c #Conflicts: 189000 | #Constraints: 17236
125.01/125.40 c INPROCESSING
125.01/125.40 c GARBAGE COLLECT
125.01/125.40 c #Conflicts: 190000 | #Constraints: 9635
125.01/125.40 c #Conflicts: 191000 | #Constraints: 10635
125.01/125.40 c #Conflicts: 192000 | #Constraints: 11635
125.01/125.40 c #Conflicts: 193000 | #Constraints: 12635
125.01/125.40 c #Conflicts: 194000 | #Constraints: 13635
125.01/125.40 c #Conflicts: 195000 | #Constraints: 14635
125.01/125.40 c #Conflicts: 196000 | #Constraints: 15635
125.01/125.40 c #Conflicts: 197000 | #Constraints: 16635
125.01/125.40 c #Conflicts: 198000 | #Constraints: 17635
125.01/125.41 c INPROCESSING
125.01/125.41 c GARBAGE COLLECT
125.01/125.41 c #Conflicts: 199000 | #Constraints: 9835
125.01/125.41 c #Conflicts: 200000 | #Constraints: 10835
125.01/125.41 c #Conflicts: 201000 | #Constraints: 11835
125.01/125.41 c #Conflicts: 202000 | #Constraints: 12835
125.01/125.41 c #Conflicts: 203000 | #Constraints: 13835
125.01/125.41 c #Conflicts: 204000 | #Constraints: 14835
125.01/125.41 c #Conflicts: 205000 | #Constraints: 15835
125.01/125.41 c #Conflicts: 206000 | #Constraints: 16835
125.01/125.41 c #Conflicts: 207000 | #Constraints: 17835
125.01/125.41 c INPROCESSING
125.01/125.41 c GARBAGE COLLECT
125.01/125.41 c #Conflicts: 208000 | #Constraints: 9837
125.01/125.41 c #Conflicts: 209000 | #Constraints: 10837
125.01/125.41 c #Conflicts: 210000 | #Constraints: 11837
125.01/125.41 c #Conflicts: 211000 | #Constraints: 12837
125.01/125.41 c #Conflicts: 212000 | #Constraints: 13837
125.01/125.41 c #Conflicts: 213000 | #Constraints: 14837
125.01/125.41 c #Conflicts: 214000 | #Constraints: 15837
125.01/125.41 c #Conflicts: 215000 | #Constraints: 16837
125.01/125.41 c #Conflicts: 216000 | #Constraints: 17837
125.01/125.41 c INPROCESSING
125.01/125.41 c GARBAGE COLLECT
125.01/125.41 c #Conflicts: 217000 | #Constraints: 9637
125.01/125.41 c #Conflicts: 218000 | #Constraints: 10637
125.01/125.41 c #Conflicts: 219000 | #Constraints: 11637
125.01/125.41 c #Conflicts: 220000 | #Constraints: 12637
125.01/125.41 c #Conflicts: 221000 | #Constraints: 13637
125.01/125.41 c #Conflicts: 222000 | #Constraints: 14637
125.01/125.41 c #Conflicts: 223000 | #Constraints: 15637
125.01/125.41 c #Conflicts: 224000 | #Constraints: 16637
125.01/125.41 c #Conflicts: 225000 | #Constraints: 17637
125.01/125.41 c #Conflicts: 226000 | #Constraints: 18637
125.01/125.41 c INPROCESSING
125.01/125.41 c GARBAGE COLLECT
125.01/125.41 c #Conflicts: 227000 | #Constraints: 10237
125.01/125.41 c #Conflicts: 228000 | #Constraints: 11237
125.01/125.41 c #Conflicts: 229000 | #Constraints: 12237
125.01/125.41 c #Conflicts: 230000 | #Constraints: 13237
125.01/125.41 c #Conflicts: 231000 | #Constraints: 14237
125.01/125.41 c #Conflicts: 232000 | #Constraints: 15237
125.01/125.41 c #Conflicts: 233000 | #Constraints: 16237
125.01/125.41 c #Conflicts: 234000 | #Constraints: 17237
181.54/182.15 c #Conflicts: 235000 | #Constraints: 18237
181.54/182.15 c #Conflicts: 236000 | #Constraints: 19237
181.54/182.15 c INPROCESSING
181.54/182.15 c GARBAGE COLLECT
181.54/182.15 c #Conflicts: 237000 | #Constraints: 10635
181.54/182.15 c #Conflicts: 238000 | #Constraints: 11635
181.54/182.15 c #Conflicts: 239000 | #Constraints: 12635
181.54/182.15 c #Conflicts: 240000 | #Constraints: 13635
181.54/182.15 c #Conflicts: 241000 | #Constraints: 14635
181.54/182.15 c #Conflicts: 242000 | #Constraints: 15635
181.54/182.15 c #Conflicts: 243000 | #Constraints: 16635
181.54/182.15 c #Conflicts: 244000 | #Constraints: 17635
181.54/182.15 c #Conflicts: 245000 | #Constraints: 18635
181.54/182.15 c #Conflicts: 246000 | #Constraints: 19635
181.54/182.15 c INPROCESSING
181.54/182.15 c GARBAGE COLLECT
181.54/182.15 c #Conflicts: 247000 | #Constraints: 10838
181.54/182.15 c #Conflicts: 248000 | #Constraints: 11838
181.54/182.15 c #Conflicts: 249000 | #Constraints: 12838
181.54/182.15 c #Conflicts: 250000 | #Constraints: 13838
181.54/182.15 c #Conflicts: 251000 | #Constraints: 14838
181.54/182.15 c #Conflicts: 252000 | #Constraints: 15838
181.54/182.15 c #Conflicts: 253000 | #Constraints: 16838
181.54/182.15 c #Conflicts: 254000 | #Constraints: 17838
181.54/182.15 c #Conflicts: 255000 | #Constraints: 18838
181.54/182.15 c #Conflicts: 256000 | #Constraints: 19838
181.54/182.15 c INPROCESSING
181.54/182.15 c GARBAGE COLLECT
181.54/182.15 c #Conflicts: 257000 | #Constraints: 10836
181.54/182.15 c #Conflicts: 258000 | #Constraints: 11836
181.54/182.15 c #Conflicts: 259000 | #Constraints: 12836
181.54/182.15 c #Conflicts: 260000 | #Constraints: 13836
181.54/182.15 c #Conflicts: 261000 | #Constraints: 14836
181.54/182.15 c #Conflicts: 262000 | #Constraints: 15836
181.54/182.15 c #Conflicts: 263000 | #Constraints: 16836
181.54/182.15 c #Conflicts: 264000 | #Constraints: 17836
181.54/182.15 c #Conflicts: 265000 | #Constraints: 18836
181.54/182.15 c #Conflicts: 266000 | #Constraints: 19836
181.54/182.15 c INPROCESSING
181.54/182.15 c GARBAGE COLLECT
181.54/182.15 c #Conflicts: 267000 | #Constraints: 10640
181.54/182.15 c #Conflicts: 268000 | #Constraints: 11640
181.54/182.15 c #Conflicts: 269000 | #Constraints: 12640
181.54/182.15 c #Conflicts: 270000 | #Constraints: 13640
181.54/182.15 c #Conflicts: 271000 | #Constraints: 14640
181.54/182.15 c #Conflicts: 272000 | #Constraints: 15640
181.54/182.15 c #Conflicts: 273000 | #Constraints: 16640
181.54/182.15 c #Conflicts: 274000 | #Constraints: 17640
181.54/182.15 c #Conflicts: 275000 | #Constraints: 18640
181.54/182.15 c #Conflicts: 276000 | #Constraints: 19640
181.54/182.15 c #Conflicts: 277000 | #Constraints: 20640
181.54/182.15 c INPROCESSING
181.54/182.15 c GARBAGE COLLECT
181.54/182.15 c #Conflicts: 278000 | #Constraints: 11233
181.54/182.15 c #Conflicts: 279000 | #Constraints: 12233
181.54/182.15 c #Conflicts: 280000 | #Constraints: 13233
181.54/182.15 c #Conflicts: 281000 | #Constraints: 14233
181.54/182.15 c #Conflicts: 282000 | #Constraints: 15233
181.54/182.15 c #Conflicts: 283000 | #Constraints: 16233
181.54/182.15 c #Conflicts: 284000 | #Constraints: 17233
181.54/182.15 c #Conflicts: 285000 | #Constraints: 18233
181.54/182.15 c #Conflicts: 286000 | #Constraints: 19233
181.54/182.15 c #Conflicts: 287000 | #Constraints: 20233
181.54/182.15 c #Conflicts: 288000 | #Constraints: 21233
181.54/182.15 c INPROCESSING
181.54/182.15 c GARBAGE COLLECT
181.54/182.15 c #Conflicts: 289000 | #Constraints: 11632
181.54/182.15 c #Conflicts: 290000 | #Constraints: 12632
181.54/182.15 c #Conflicts: 291000 | #Constraints: 13632
181.54/182.15 c #Conflicts: 292000 | #Constraints: 14632
181.54/182.15 c #Conflicts: 293000 | #Constraints: 15632
181.54/182.15 c #Conflicts: 294000 | #Constraints: 16632
181.54/182.15 c #Conflicts: 295000 | #Constraints: 17632
181.54/182.15 c #Conflicts: 296000 | #Constraints: 18632
181.54/182.15 c #Conflicts: 297000 | #Constraints: 19632
181.54/182.15 c #Conflicts: 298000 | #Constraints: 20632
181.54/182.15 c #Conflicts: 299000 | #Constraints: 21632
181.54/182.15 c INPROCESSING
181.54/182.15 c GARBAGE COLLECT
181.54/182.15 c #Conflicts: 300000 | #Constraints: 11828
181.54/182.15 c #Conflicts: 301000 | #Constraints: 12828
181.54/182.15 c #Conflicts: 302000 | #Constraints: 13828
181.54/182.15 c #Conflicts: 303000 | #Constraints: 14828
181.54/182.15 c #Conflicts: 304000 | #Constraints: 15828
181.54/182.15 c #Conflicts: 305000 | #Constraints: 16828
181.54/182.15 c #Conflicts: 306000 | #Constraints: 17828
181.54/182.15 c #Conflicts: 307000 | #Constraints: 18828
181.54/182.15 c #Conflicts: 308000 | #Constraints: 19828
181.54/182.15 c #Conflicts: 309000 | #Constraints: 20828
246.43/247.23 c #Conflicts: 310000 | #Constraints: 21828
246.43/247.23 c INPROCESSING
246.43/247.23 c GARBAGE COLLECT
246.43/247.23 c #Conflicts: 311000 | #Constraints: 11833
246.43/247.23 c #Conflicts: 312000 | #Constraints: 12833
246.43/247.23 c #Conflicts: 313000 | #Constraints: 13833
246.43/247.23 c #Conflicts: 314000 | #Constraints: 14833
246.43/247.23 c #Conflicts: 315000 | #Constraints: 15833
246.43/247.23 c #Conflicts: 316000 | #Constraints: 16833
246.43/247.23 c #Conflicts: 317000 | #Constraints: 17833
246.43/247.23 c #Conflicts: 318000 | #Constraints: 18833
246.43/247.23 c #Conflicts: 319000 | #Constraints: 19833
246.43/247.23 c #Conflicts: 320000 | #Constraints: 20833
246.43/247.23 c #Conflicts: 321000 | #Constraints: 21833
246.43/247.23 c INPROCESSING
246.43/247.23 c GARBAGE COLLECT
246.43/247.23 c #Conflicts: 322000 | #Constraints: 11638
246.43/247.23 c #Conflicts: 323000 | #Constraints: 12638
246.43/247.23 c #Conflicts: 324000 | #Constraints: 13638
246.43/247.23 c #Conflicts: 325000 | #Constraints: 14638
246.43/247.23 c #Conflicts: 326000 | #Constraints: 15638
246.43/247.23 c #Conflicts: 327000 | #Constraints: 16638
246.43/247.23 c #Conflicts: 328000 | #Constraints: 17638
246.43/247.23 c #Conflicts: 329000 | #Constraints: 18638
246.43/247.23 c #Conflicts: 330000 | #Constraints: 19638
246.43/247.23 c #Conflicts: 331000 | #Constraints: 20638
246.43/247.23 c #Conflicts: 332000 | #Constraints: 21638
246.43/247.23 c #Conflicts: 333000 | #Constraints: 22638
246.43/247.23 c INPROCESSING
246.43/247.23 c GARBAGE COLLECT
246.43/247.23 c #Conflicts: 334000 | #Constraints: 12233
246.43/247.23 c #Conflicts: 335000 | #Constraints: 13233
246.43/247.23 c #Conflicts: 336000 | #Constraints: 14233
246.43/247.23 c #Conflicts: 337000 | #Constraints: 15233
246.43/247.23 c #Conflicts: 338000 | #Constraints: 16233
246.43/247.23 c #Conflicts: 339000 | #Constraints: 17233
246.43/247.23 c #Conflicts: 340000 | #Constraints: 18233
246.43/247.23 c #Conflicts: 341000 | #Constraints: 19233
246.43/247.23 c #Conflicts: 342000 | #Constraints: 20233
246.43/247.23 c #Conflicts: 343000 | #Constraints: 21233
246.43/247.23 c #Conflicts: 344000 | #Constraints: 22233
246.43/247.23 c #Conflicts: 345000 | #Constraints: 23233
246.43/247.23 c INPROCESSING
246.43/247.23 c GARBAGE COLLECT
246.43/247.23 c #Conflicts: 346000 | #Constraints: 12632
246.43/247.23 c #Conflicts: 347000 | #Constraints: 13632
246.43/247.23 c #Conflicts: 348000 | #Constraints: 14632
246.43/247.23 c #Conflicts: 349000 | #Constraints: 15632
246.43/247.23 c #Conflicts: 350000 | #Constraints: 16632
246.43/247.23 c #Conflicts: 351000 | #Constraints: 17632
246.43/247.23 c #Conflicts: 352000 | #Constraints: 18632
246.43/247.23 c #Conflicts: 353000 | #Constraints: 19632
246.43/247.23 c #Conflicts: 354000 | #Constraints: 20632
246.43/247.23 c #Conflicts: 355000 | #Constraints: 21632
246.43/247.23 c #Conflicts: 356000 | #Constraints: 22632
246.43/247.23 c #Conflicts: 357000 | #Constraints: 23632
246.43/247.23 c INPROCESSING
246.43/247.23 c GARBAGE COLLECT
246.43/247.23 c #Conflicts: 358000 | #Constraints: 12833
246.43/247.23 c #Conflicts: 359000 | #Constraints: 13833
246.43/247.23 c #Conflicts: 360000 | #Constraints: 14833
246.43/247.23 c #Conflicts: 361000 | #Constraints: 15833
246.43/247.23 c #Conflicts: 362000 | #Constraints: 16833
246.43/247.23 c #Conflicts: 363000 | #Constraints: 17833
246.43/247.23 c #Conflicts: 364000 | #Constraints: 18833
246.43/247.23 c #Conflicts: 365000 | #Constraints: 19833
246.43/247.23 c #Conflicts: 366000 | #Constraints: 20833
246.43/247.23 c #Conflicts: 367000 | #Constraints: 21833
246.43/247.23 c #Conflicts: 368000 | #Constraints: 22833
246.43/247.23 c #Conflicts: 369000 | #Constraints: 23833
246.43/247.23 c INPROCESSING
246.43/247.23 c GARBAGE COLLECT
246.43/247.23 c #Conflicts: 370000 | #Constraints: 12835
246.43/247.23 c #Conflicts: 371000 | #Constraints: 13835
246.43/247.23 c #Conflicts: 372000 | #Constraints: 14835
246.43/247.23 c #Conflicts: 373000 | #Constraints: 15835
246.43/247.23 c #Conflicts: 374000 | #Constraints: 16835
246.43/247.23 c #Conflicts: 375000 | #Constraints: 17835
246.43/247.23 c #Conflicts: 376000 | #Constraints: 18835
246.43/247.23 c #Conflicts: 377000 | #Constraints: 19835
246.43/247.23 c #Conflicts: 378000 | #Constraints: 20835
246.43/247.23 c #Conflicts: 379000 | #Constraints: 21835
246.43/247.23 c #Conflicts: 380000 | #Constraints: 22835
246.43/247.23 c #Conflicts: 381000 | #Constraints: 23835
246.43/247.23 c INPROCESSING
246.43/247.23 c GARBAGE COLLECT
246.43/247.23 c #Conflicts: 382000 | #Constraints: 12633
246.43/247.23 c #Conflicts: 383000 | #Constraints: 13633
321.78/322.87 c #Conflicts: 384000 | #Constraints: 14633
321.78/322.87 c #Conflicts: 385000 | #Constraints: 15633
321.78/322.87 c #Conflicts: 386000 | #Constraints: 16633
321.78/322.87 c #Conflicts: 387000 | #Constraints: 17633
321.78/322.87 c #Conflicts: 388000 | #Constraints: 18633
321.78/322.87 c #Conflicts: 389000 | #Constraints: 19633
321.78/322.87 c #Conflicts: 390000 | #Constraints: 20633
321.78/322.87 c #Conflicts: 391000 | #Constraints: 21633
321.78/322.87 c #Conflicts: 392000 | #Constraints: 22633
321.78/322.87 c #Conflicts: 393000 | #Constraints: 23633
321.78/322.87 c #Conflicts: 394000 | #Constraints: 24633
321.78/322.87 c INPROCESSING
321.78/322.87 c GARBAGE COLLECT
321.78/322.87 c #Conflicts: 395000 | #Constraints: 13235
321.78/322.87 c #Conflicts: 396000 | #Constraints: 14235
321.78/322.87 c #Conflicts: 397000 | #Constraints: 15235
321.78/322.87 c #Conflicts: 398000 | #Constraints: 16235
321.78/322.87 c #Conflicts: 399000 | #Constraints: 17235
321.78/322.87 c #Conflicts: 400000 | #Constraints: 18235
321.78/322.87 c #Conflicts: 401000 | #Constraints: 19235
321.78/322.87 c #Conflicts: 402000 | #Constraints: 20235
321.78/322.87 c #Conflicts: 403000 | #Constraints: 21235
321.78/322.87 c #Conflicts: 404000 | #Constraints: 22235
321.78/322.87 c #Conflicts: 405000 | #Constraints: 23235
321.78/322.87 c #Conflicts: 406000 | #Constraints: 24235
321.78/322.87 c #Conflicts: 407000 | #Constraints: 25235
321.78/322.87 c INPROCESSING
321.78/322.87 c GARBAGE COLLECT
321.78/322.87 c #Conflicts: 408000 | #Constraints: 13636
321.78/322.87 c #Conflicts: 409000 | #Constraints: 14636
321.78/322.87 c #Conflicts: 410000 | #Constraints: 15636
321.78/322.87 c #Conflicts: 411000 | #Constraints: 16636
321.78/322.87 c #Conflicts: 412000 | #Constraints: 17636
321.78/322.87 c #Conflicts: 413000 | #Constraints: 18636
321.78/322.87 c #Conflicts: 414000 | #Constraints: 19636
321.78/322.87 c #Conflicts: 415000 | #Constraints: 20636
321.78/322.87 c #Conflicts: 416000 | #Constraints: 21636
321.78/322.87 c #Conflicts: 417000 | #Constraints: 22636
321.78/322.87 c #Conflicts: 418000 | #Constraints: 23636
321.78/322.87 c #Conflicts: 419000 | #Constraints: 24636
321.78/322.87 c #Conflicts: 420000 | #Constraints: 25636
321.78/322.87 c INPROCESSING
321.78/322.87 c GARBAGE COLLECT
321.78/322.87 c #Conflicts: 421000 | #Constraints: 13836
321.78/322.87 c #Conflicts: 422000 | #Constraints: 14836
321.78/322.87 c #Conflicts: 423000 | #Constraints: 15836
321.78/322.87 c #Conflicts: 424000 | #Constraints: 16836
321.78/322.87 c #Conflicts: 425000 | #Constraints: 17836
321.78/322.87 c #Conflicts: 426000 | #Constraints: 18836
321.78/322.87 c #Conflicts: 427000 | #Constraints: 19836
321.78/322.87 c #Conflicts: 428000 | #Constraints: 20836
321.78/322.87 c #Conflicts: 429000 | #Constraints: 21836
321.78/322.87 c #Conflicts: 430000 | #Constraints: 22836
321.78/322.87 c #Conflicts: 431000 | #Constraints: 23836
321.78/322.87 c #Conflicts: 432000 | #Constraints: 24836
321.78/322.87 c #Conflicts: 433000 | #Constraints: 25836
321.78/322.87 c INPROCESSING
321.78/322.87 c GARBAGE COLLECT
321.78/322.87 c #Conflicts: 434000 | #Constraints: 13838
321.78/322.87 c #Conflicts: 435000 | #Constraints: 14838
321.78/322.87 c #Conflicts: 436000 | #Constraints: 15838
321.78/322.87 c #Conflicts: 437000 | #Constraints: 16838
321.78/322.87 c #Conflicts: 438000 | #Constraints: 17838
321.78/322.87 c #Conflicts: 439000 | #Constraints: 18838
321.78/322.87 c #Conflicts: 440000 | #Constraints: 19838
321.78/322.87 c #Conflicts: 441000 | #Constraints: 20838
321.78/322.87 c #Conflicts: 442000 | #Constraints: 21838
321.78/322.87 c #Conflicts: 443000 | #Constraints: 22838
321.78/322.87 c #Conflicts: 444000 | #Constraints: 23838
321.78/322.87 c #Conflicts: 445000 | #Constraints: 24838
321.78/322.87 c #Conflicts: 446000 | #Constraints: 25838
321.78/322.87 c INPROCESSING
321.78/322.87 c GARBAGE COLLECT
321.78/322.87 c #Conflicts: 447000 | #Constraints: 13640
321.78/322.87 c #Conflicts: 448000 | #Constraints: 14640
321.78/322.87 c #Conflicts: 449000 | #Constraints: 15640
321.78/322.87 c #Conflicts: 450000 | #Constraints: 16640
321.78/322.87 c #Conflicts: 451000 | #Constraints: 17640
321.78/322.87 c #Conflicts: 452000 | #Constraints: 18640
321.78/322.87 c #Conflicts: 453000 | #Constraints: 19640
321.78/322.87 c #Conflicts: 454000 | #Constraints: 20640
321.78/322.87 c #Conflicts: 455000 | #Constraints: 21640
321.78/322.87 c #Conflicts: 456000 | #Constraints: 22640
321.78/322.87 c #Conflicts: 457000 | #Constraints: 23640
321.78/322.87 c #Conflicts: 458000 | #Constraints: 24640
321.78/322.87 c #Conflicts: 459000 | #Constraints: 25640
403.91/405.23 c #Conflicts: 460000 | #Constraints: 26640
403.91/405.23 c INPROCESSING
403.91/405.23 c GARBAGE COLLECT
403.91/405.23 c #Conflicts: 461000 | #Constraints: 14241
403.91/405.23 c #Conflicts: 462000 | #Constraints: 15241
403.91/405.23 c #Conflicts: 463000 | #Constraints: 16241
403.91/405.23 c #Conflicts: 464000 | #Constraints: 17241
403.91/405.23 c #Conflicts: 465000 | #Constraints: 18241
403.91/405.23 c #Conflicts: 466000 | #Constraints: 19241
403.91/405.23 c #Conflicts: 467000 | #Constraints: 20241
403.91/405.23 c #Conflicts: 468000 | #Constraints: 21241
403.91/405.23 c #Conflicts: 469000 | #Constraints: 22241
403.91/405.23 c #Conflicts: 470000 | #Constraints: 23241
403.91/405.23 c #Conflicts: 471000 | #Constraints: 24241
403.91/405.23 c #Conflicts: 472000 | #Constraints: 25241
403.91/405.23 c #Conflicts: 473000 | #Constraints: 26241
403.91/405.23 c #Conflicts: 474000 | #Constraints: 27241
403.91/405.23 c INPROCESSING
403.91/405.23 c GARBAGE COLLECT
403.91/405.23 c #Conflicts: 475000 | #Constraints: 14642
403.91/405.23 c #Conflicts: 476000 | #Constraints: 15642
403.91/405.23 c #Conflicts: 477000 | #Constraints: 16642
403.91/405.23 c #Conflicts: 478000 | #Constraints: 17642
403.91/405.23 c #Conflicts: 479000 | #Constraints: 18642
403.91/405.23 c #Conflicts: 480000 | #Constraints: 19642
403.91/405.23 c #Conflicts: 481000 | #Constraints: 20642
403.91/405.23 c #Conflicts: 482000 | #Constraints: 21642
403.91/405.23 c #Conflicts: 483000 | #Constraints: 22642
403.91/405.23 c #Conflicts: 484000 | #Constraints: 23642
403.91/405.23 c #Conflicts: 485000 | #Constraints: 24642
403.91/405.23 c #Conflicts: 486000 | #Constraints: 25642
403.91/405.23 c #Conflicts: 487000 | #Constraints: 26642
403.91/405.23 c #Conflicts: 488000 | #Constraints: 27642
403.91/405.23 c INPROCESSING
403.91/405.23 c GARBAGE COLLECT
403.91/405.23 c #Conflicts: 489000 | #Constraints: 14841
403.91/405.23 c #Conflicts: 490000 | #Constraints: 15841
403.91/405.23 c #Conflicts: 491000 | #Constraints: 16841
403.91/405.23 c #Conflicts: 492000 | #Constraints: 17841
403.91/405.23 c #Conflicts: 493000 | #Constraints: 18841
403.91/405.23 c #Conflicts: 494000 | #Constraints: 19841
403.91/405.23 c #Conflicts: 495000 | #Constraints: 20841
403.91/405.23 c #Conflicts: 496000 | #Constraints: 21841
403.91/405.23 c #Conflicts: 497000 | #Constraints: 22841
403.91/405.23 c #Conflicts: 498000 | #Constraints: 23841
403.91/405.23 c #Conflicts: 499000 | #Constraints: 24841
403.91/405.23 c #Conflicts: 500000 | #Constraints: 25841
403.91/405.23 c #Conflicts: 501000 | #Constraints: 26841
403.91/405.23 c #Conflicts: 502000 | #Constraints: 27841
403.91/405.23 c INPROCESSING
403.91/405.23 c GARBAGE COLLECT
403.91/405.23 c #Conflicts: 503000 | #Constraints: 14837
403.91/405.23 c #Conflicts: 504000 | #Constraints: 15837
403.91/405.23 c #Conflicts: 505000 | #Constraints: 16837
403.91/405.23 c #Conflicts: 506000 | #Constraints: 17837
403.91/405.23 c #Conflicts: 507000 | #Constraints: 18837
403.91/405.23 c #Conflicts: 508000 | #Constraints: 19837
403.91/405.23 c #Conflicts: 509000 | #Constraints: 20837
403.91/405.23 c #Conflicts: 510000 | #Constraints: 21837
403.91/405.23 c #Conflicts: 511000 | #Constraints: 22837
403.91/405.23 c #Conflicts: 512000 | #Constraints: 23837
403.91/405.23 c #Conflicts: 513000 | #Constraints: 24837
403.91/405.23 c #Conflicts: 514000 | #Constraints: 25837
403.91/405.23 c #Conflicts: 515000 | #Constraints: 26837
403.91/405.23 c #Conflicts: 516000 | #Constraints: 27837
403.91/405.23 c INPROCESSING
403.91/405.23 c GARBAGE COLLECT
403.91/405.23 c #Conflicts: 517000 | #Constraints: 14635
403.91/405.23 c #Conflicts: 518000 | #Constraints: 15635
403.91/405.23 c #Conflicts: 519000 | #Constraints: 16635
403.91/405.23 c #Conflicts: 520000 | #Constraints: 17635
403.91/405.23 c #Conflicts: 521000 | #Constraints: 18635
403.91/405.23 c #Conflicts: 522000 | #Constraints: 19635
403.91/405.23 c #Conflicts: 523000 | #Constraints: 20635
403.91/405.23 c #Conflicts: 524000 | #Constraints: 21635
403.91/405.23 c #Conflicts: 525000 | #Constraints: 22635
403.91/405.23 c #Conflicts: 526000 | #Constraints: 23635
403.91/405.23 c #Conflicts: 527000 | #Constraints: 24635
403.91/405.23 c #Conflicts: 528000 | #Constraints: 25635
403.91/405.23 c #Conflicts: 529000 | #Constraints: 26635
403.91/405.23 c #Conflicts: 530000 | #Constraints: 27635
403.91/405.23 c #Conflicts: 531000 | #Constraints: 28635
403.91/405.23 c INPROCESSING
403.91/405.23 c GARBAGE COLLECT
403.91/405.23 c #Conflicts: 532000 | #Constraints: 15237
403.91/405.23 c #Conflicts: 533000 | #Constraints: 16237
403.91/405.23 c #Conflicts: 534000 | #Constraints: 17237
480.87/482.45 c #Conflicts: 535000 | #Constraints: 18237
480.87/482.45 c #Conflicts: 536000 | #Constraints: 19237
480.87/482.45 c #Conflicts: 537000 | #Constraints: 20237
480.87/482.45 c #Conflicts: 538000 | #Constraints: 21237
480.87/482.45 c #Conflicts: 539000 | #Constraints: 22237
480.87/482.45 c #Conflicts: 540000 | #Constraints: 23237
480.87/482.45 c #Conflicts: 541000 | #Constraints: 24237
480.87/482.45 c #Conflicts: 542000 | #Constraints: 25237
480.87/482.45 c #Conflicts: 543000 | #Constraints: 26237
480.87/482.45 c #Conflicts: 544000 | #Constraints: 27237
480.87/482.45 c #Conflicts: 545000 | #Constraints: 28237
480.87/482.45 c #Conflicts: 546000 | #Constraints: 29237
480.87/482.45 c INPROCESSING
480.87/482.45 c GARBAGE COLLECT
480.87/482.45 c #Conflicts: 547000 | #Constraints: 15636
480.87/482.45 c #Conflicts: 548000 | #Constraints: 16636
480.87/482.45 c #Conflicts: 549000 | #Constraints: 17636
480.87/482.45 c #Conflicts: 550000 | #Constraints: 18636
480.87/482.45 c #Conflicts: 551000 | #Constraints: 19636
480.87/482.45 c #Conflicts: 552000 | #Constraints: 20636
480.87/482.45 c #Conflicts: 553000 | #Constraints: 21636
480.87/482.45 c #Conflicts: 554000 | #Constraints: 22636
480.87/482.45 c #Conflicts: 555000 | #Constraints: 23636
480.87/482.45 c #Conflicts: 556000 | #Constraints: 24636
480.87/482.45 c #Conflicts: 557000 | #Constraints: 25636
480.87/482.45 c #Conflicts: 558000 | #Constraints: 26636
480.87/482.45 c #Conflicts: 559000 | #Constraints: 27636
480.87/482.45 c #Conflicts: 560000 | #Constraints: 28636
480.87/482.45 c #Conflicts: 561000 | #Constraints: 29636
480.87/482.45 c INPROCESSING
480.87/482.45 c GARBAGE COLLECT
480.87/482.45 c #Conflicts: 562000 | #Constraints: 15835
480.87/482.45 c #Conflicts: 563000 | #Constraints: 16835
480.87/482.45 c #Conflicts: 564000 | #Constraints: 17835
480.87/482.45 c #Conflicts: 565000 | #Constraints: 18835
480.87/482.45 c #Conflicts: 566000 | #Constraints: 19835
480.87/482.45 c #Conflicts: 567000 | #Constraints: 20835
480.87/482.45 c #Conflicts: 568000 | #Constraints: 21835
480.87/482.45 c #Conflicts: 569000 | #Constraints: 22835
480.87/482.45 c #Conflicts: 570000 | #Constraints: 23835
480.87/482.45 c #Conflicts: 571000 | #Constraints: 24835
480.87/482.45 c #Conflicts: 572000 | #Constraints: 25835
480.87/482.45 c #Conflicts: 573000 | #Constraints: 26835
480.87/482.45 c #Conflicts: 574000 | #Constraints: 27835
480.87/482.45 c #Conflicts: 575000 | #Constraints: 28835
480.87/482.45 c #Conflicts: 576000 | #Constraints: 29835
480.87/482.45 c INPROCESSING
480.87/482.45 c GARBAGE COLLECT
480.87/482.45 c #Conflicts: 577000 | #Constraints: 15835
480.87/482.45 c #Conflicts: 578000 | #Constraints: 16835
480.87/482.45 c #Conflicts: 579000 | #Constraints: 17835
480.87/482.45 c #Conflicts: 580000 | #Constraints: 18835
480.87/482.45 c #Conflicts: 581000 | #Constraints: 19835
480.87/482.45 c #Conflicts: 582000 | #Constraints: 20835
480.87/482.45 c #Conflicts: 583000 | #Constraints: 21835
480.87/482.45 c #Conflicts: 584000 | #Constraints: 22835
480.87/482.45 c #Conflicts: 585000 | #Constraints: 23835
480.87/482.45 c #Conflicts: 586000 | #Constraints: 24835
480.87/482.45 c #Conflicts: 587000 | #Constraints: 25835
480.87/482.45 c #Conflicts: 588000 | #Constraints: 26835
480.87/482.45 c #Conflicts: 589000 | #Constraints: 27835
480.87/482.45 c #Conflicts: 590000 | #Constraints: 28835
480.87/482.45 c #Conflicts: 591000 | #Constraints: 29835
480.87/482.45 c INPROCESSING
480.87/482.45 c GARBAGE COLLECT
480.87/482.45 c #Conflicts: 592000 | #Constraints: 15634
480.87/482.45 c #Conflicts: 593000 | #Constraints: 16634
480.87/482.45 c #Conflicts: 594000 | #Constraints: 17634
480.87/482.45 c #Conflicts: 595000 | #Constraints: 18634
480.87/482.45 c #Conflicts: 596000 | #Constraints: 19634
480.87/482.45 c #Conflicts: 597000 | #Constraints: 20634
480.87/482.45 c #Conflicts: 598000 | #Constraints: 21634
480.87/482.45 c #Conflicts: 599000 | #Constraints: 22634
480.87/482.45 c #Conflicts: 600000 | #Constraints: 23634
480.87/482.45 c #Conflicts: 601000 | #Constraints: 24634
480.87/482.45 c #Conflicts: 602000 | #Constraints: 25634
480.87/482.45 c #Conflicts: 603000 | #Constraints: 26634
480.87/482.45 c #Conflicts: 604000 | #Constraints: 27634
480.87/482.45 c #Conflicts: 605000 | #Constraints: 28634
480.87/482.45 c #Conflicts: 606000 | #Constraints: 29634
480.87/482.45 c #Conflicts: 607000 | #Constraints: 30634
480.87/482.45 c INPROCESSING
480.87/482.45 c GARBAGE COLLECT
480.87/482.45 c #Conflicts: 608000 | #Constraints: 16237
480.87/482.45 c #Conflicts: 609000 | #Constraints: 17237
566.33/568.18 c #Conflicts: 610000 | #Constraints: 18237
566.33/568.18 c #Conflicts: 611000 | #Constraints: 19237
566.33/568.18 c #Conflicts: 612000 | #Constraints: 20237
566.33/568.18 c #Conflicts: 613000 | #Constraints: 21237
566.33/568.18 c #Conflicts: 614000 | #Constraints: 22237
566.33/568.18 c #Conflicts: 615000 | #Constraints: 23237
566.33/568.18 c #Conflicts: 616000 | #Constraints: 24237
566.33/568.18 c #Conflicts: 617000 | #Constraints: 25237
566.33/568.18 c #Conflicts: 618000 | #Constraints: 26237
566.33/568.18 c #Conflicts: 619000 | #Constraints: 27237
566.33/568.18 c #Conflicts: 620000 | #Constraints: 28237
566.33/568.18 c #Conflicts: 621000 | #Constraints: 29237
566.33/568.18 c #Conflicts: 622000 | #Constraints: 30237
566.33/568.18 c #Conflicts: 623000 | #Constraints: 31237
566.33/568.18 c INPROCESSING
566.33/568.18 c GARBAGE COLLECT
566.33/568.18 c #Conflicts: 624000 | #Constraints: 16635
566.33/568.18 c #Conflicts: 625000 | #Constraints: 17635
566.33/568.18 c #Conflicts: 626000 | #Constraints: 18635
566.33/568.18 c #Conflicts: 627000 | #Constraints: 19635
566.33/568.18 c #Conflicts: 628000 | #Constraints: 20635
566.33/568.18 c #Conflicts: 629000 | #Constraints: 21635
566.33/568.18 c #Conflicts: 630000 | #Constraints: 22635
566.33/568.18 c #Conflicts: 631000 | #Constraints: 23635
566.33/568.18 c #Conflicts: 632000 | #Constraints: 24635
566.33/568.18 c #Conflicts: 633000 | #Constraints: 25635
566.33/568.18 c #Conflicts: 634000 | #Constraints: 26635
566.33/568.18 c #Conflicts: 635000 | #Constraints: 27635
566.33/568.18 c #Conflicts: 636000 | #Constraints: 28635
566.33/568.18 c #Conflicts: 637000 | #Constraints: 29635
566.33/568.18 c #Conflicts: 638000 | #Constraints: 30635
566.33/568.18 c #Conflicts: 639000 | #Constraints: 31635
566.33/568.18 c INPROCESSING
566.33/568.18 c GARBAGE COLLECT
566.33/568.18 c #Conflicts: 640000 | #Constraints: 16835
566.33/568.18 c #Conflicts: 641000 | #Constraints: 17835
566.33/568.18 c #Conflicts: 642000 | #Constraints: 18835
566.33/568.18 c #Conflicts: 643000 | #Constraints: 19835
566.33/568.18 c #Conflicts: 644000 | #Constraints: 20835
566.33/568.18 c #Conflicts: 645000 | #Constraints: 21835
566.33/568.18 c #Conflicts: 646000 | #Constraints: 22835
566.33/568.18 c #Conflicts: 647000 | #Constraints: 23835
566.33/568.18 c #Conflicts: 648000 | #Constraints: 24835
566.33/568.18 c #Conflicts: 649000 | #Constraints: 25835
566.33/568.18 c #Conflicts: 650000 | #Constraints: 26835
566.33/568.18 c #Conflicts: 651000 | #Constraints: 27835
566.33/568.18 c #Conflicts: 652000 | #Constraints: 28835
566.33/568.18 c #Conflicts: 653000 | #Constraints: 29835
566.33/568.18 c #Conflicts: 654000 | #Constraints: 30835
566.33/568.18 c #Conflicts: 655000 | #Constraints: 31835
566.33/568.18 c INPROCESSING
566.33/568.18 c GARBAGE COLLECT
566.33/568.18 c #Conflicts: 656000 | #Constraints: 16836
566.33/568.18 c #Conflicts: 657000 | #Constraints: 17836
566.33/568.18 c #Conflicts: 658000 | #Constraints: 18836
566.33/568.18 c #Conflicts: 659000 | #Constraints: 19836
566.33/568.18 c #Conflicts: 660000 | #Constraints: 20836
566.33/568.18 c #Conflicts: 661000 | #Constraints: 21836
566.33/568.18 c #Conflicts: 662000 | #Constraints: 22836
566.33/568.18 c #Conflicts: 663000 | #Constraints: 23836
566.33/568.18 c #Conflicts: 664000 | #Constraints: 24836
566.33/568.18 c #Conflicts: 665000 | #Constraints: 25836
566.33/568.18 c #Conflicts: 666000 | #Constraints: 26836
566.33/568.18 c #Conflicts: 667000 | #Constraints: 27836
566.33/568.18 c #Conflicts: 668000 | #Constraints: 28836
566.33/568.18 c #Conflicts: 669000 | #Constraints: 29836
566.33/568.18 c #Conflicts: 670000 | #Constraints: 30836
566.33/568.18 c #Conflicts: 671000 | #Constraints: 31836
566.33/568.18 c INPROCESSING
566.33/568.18 c GARBAGE COLLECT
566.33/568.18 c #Conflicts: 672000 | #Constraints: 16636
566.33/568.18 c #Conflicts: 673000 | #Constraints: 17636
566.33/568.18 c #Conflicts: 674000 | #Constraints: 18636
566.33/568.18 c #Conflicts: 675000 | #Constraints: 19636
566.33/568.18 c #Conflicts: 676000 | #Constraints: 20636
566.33/568.18 c #Conflicts: 677000 | #Constraints: 21636
566.33/568.18 c #Conflicts: 678000 | #Constraints: 22636
566.33/568.18 c #Conflicts: 679000 | #Constraints: 23636
566.33/568.18 c #Conflicts: 680000 | #Constraints: 24636
566.33/568.18 c #Conflicts: 681000 | #Constraints: 25636
566.33/568.18 c #Conflicts: 682000 | #Constraints: 26636
566.33/568.18 c #Conflicts: 683000 | #Constraints: 27636
566.33/568.18 c #Conflicts: 684000 | #Constraints: 28636
566.33/568.18 c #Conflicts: 685000 | #Constraints: 29636
566.33/568.18 c #Conflicts: 686000 | #Constraints: 30636
669.78/671.96 c #Conflicts: 687000 | #Constraints: 31636
669.78/671.96 c #Conflicts: 688000 | #Constraints: 32636
669.78/671.96 c INPROCESSING
669.78/671.96 c GARBAGE COLLECT
669.78/671.96 c #Conflicts: 689000 | #Constraints: 17235
669.78/671.96 c #Conflicts: 690000 | #Constraints: 18235
669.78/671.96 c #Conflicts: 691000 | #Constraints: 19235
669.78/671.96 c #Conflicts: 692000 | #Constraints: 20235
669.78/671.96 c #Conflicts: 693000 | #Constraints: 21235
669.78/671.96 c #Conflicts: 694000 | #Constraints: 22235
669.78/671.96 c #Conflicts: 695000 | #Constraints: 23235
669.78/671.96 c #Conflicts: 696000 | #Constraints: 24235
669.78/671.96 c #Conflicts: 697000 | #Constraints: 25235
669.78/671.96 c #Conflicts: 698000 | #Constraints: 26235
669.78/671.96 c #Conflicts: 699000 | #Constraints: 27235
669.78/671.96 c #Conflicts: 700000 | #Constraints: 28235
669.78/671.96 c #Conflicts: 701000 | #Constraints: 29235
669.78/671.96 c #Conflicts: 702000 | #Constraints: 30235
669.78/671.96 c #Conflicts: 703000 | #Constraints: 31235
669.78/671.96 c #Conflicts: 704000 | #Constraints: 32235
669.78/671.96 c #Conflicts: 705000 | #Constraints: 33235
669.78/671.96 c INPROCESSING
669.78/671.96 c GARBAGE COLLECT
669.78/671.96 c #Conflicts: 706000 | #Constraints: 17633
669.78/671.96 c #Conflicts: 707000 | #Constraints: 18633
669.78/671.96 c #Conflicts: 708000 | #Constraints: 19633
669.78/671.96 c #Conflicts: 709000 | #Constraints: 20633
669.78/671.96 c #Conflicts: 710000 | #Constraints: 21633
669.78/671.96 c #Conflicts: 711000 | #Constraints: 22633
669.78/671.96 c #Conflicts: 712000 | #Constraints: 23633
669.78/671.96 c #Conflicts: 713000 | #Constraints: 24633
669.78/671.96 c #Conflicts: 714000 | #Constraints: 25633
669.78/671.96 c #Conflicts: 715000 | #Constraints: 26633
669.78/671.96 c #Conflicts: 716000 | #Constraints: 27633
669.78/671.96 c #Conflicts: 717000 | #Constraints: 28633
669.78/671.96 c #Conflicts: 718000 | #Constraints: 29633
669.78/671.96 c #Conflicts: 719000 | #Constraints: 30633
669.78/671.96 c #Conflicts: 720000 | #Constraints: 31633
669.78/671.96 c #Conflicts: 721000 | #Constraints: 32633
669.78/671.96 c #Conflicts: 722000 | #Constraints: 33633
669.78/671.96 c INPROCESSING
669.78/671.96 c GARBAGE COLLECT
669.78/671.96 c #Conflicts: 723000 | #Constraints: 17836
669.78/671.96 c #Conflicts: 724000 | #Constraints: 18836
669.78/671.96 c #Conflicts: 725000 | #Constraints: 19836
669.78/671.96 c #Conflicts: 726000 | #Constraints: 20836
669.78/671.96 c #Conflicts: 727000 | #Constraints: 21836
669.78/671.96 c #Conflicts: 728000 | #Constraints: 22836
669.78/671.96 c #Conflicts: 729000 | #Constraints: 23836
669.78/671.96 c #Conflicts: 730000 | #Constraints: 24836
669.78/671.96 c #Conflicts: 731000 | #Constraints: 25836
669.78/671.96 c #Conflicts: 732000 | #Constraints: 26836
669.78/671.96 c #Conflicts: 733000 | #Constraints: 27836
669.78/671.96 c #Conflicts: 734000 | #Constraints: 28836
669.78/671.96 c #Conflicts: 735000 | #Constraints: 29836
669.78/671.96 c #Conflicts: 736000 | #Constraints: 30836
669.78/671.96 c #Conflicts: 737000 | #Constraints: 31836
669.78/671.96 c #Conflicts: 738000 | #Constraints: 32836
669.78/671.96 c #Conflicts: 739000 | #Constraints: 33836
669.78/671.96 c INPROCESSING
669.78/671.96 c GARBAGE COLLECT
669.78/671.96 c #Conflicts: 740000 | #Constraints: 17838
669.78/671.96 c #Conflicts: 741000 | #Constraints: 18838
669.78/671.96 c #Conflicts: 742000 | #Constraints: 19838
669.78/671.96 c #Conflicts: 743000 | #Constraints: 20838
669.78/671.96 c #Conflicts: 744000 | #Constraints: 21838
669.78/671.96 c #Conflicts: 745000 | #Constraints: 22838
669.78/671.96 c #Conflicts: 746000 | #Constraints: 23838
669.78/671.96 c #Conflicts: 747000 | #Constraints: 24838
669.78/671.96 c #Conflicts: 748000 | #Constraints: 25838
669.78/671.96 c #Conflicts: 749000 | #Constraints: 26838
669.78/671.96 c #Conflicts: 750000 | #Constraints: 27838
669.78/671.96 c #Conflicts: 751000 | #Constraints: 28838
669.78/671.96 c #Conflicts: 752000 | #Constraints: 29838
669.78/671.96 c #Conflicts: 753000 | #Constraints: 30838
669.78/671.96 c #Conflicts: 754000 | #Constraints: 31838
669.78/671.96 c #Conflicts: 755000 | #Constraints: 32838
669.78/671.96 c #Conflicts: 756000 | #Constraints: 33838
669.78/671.96 c INPROCESSING
669.78/671.96 c GARBAGE COLLECT
669.78/671.96 c #Conflicts: 757000 | #Constraints: 17634
669.78/671.96 c #Conflicts: 758000 | #Constraints: 18634
669.78/671.96 c #Conflicts: 759000 | #Constraints: 19634
669.78/671.96 c #Conflicts: 760000 | #Constraints: 20634
669.78/671.96 c #Conflicts: 761000 | #Constraints: 21634
772.67/775.16 c #Conflicts: 762000 | #Constraints: 22634
772.67/775.16 c #Conflicts: 763000 | #Constraints: 23634
772.67/775.16 c #Conflicts: 764000 | #Constraints: 24634
772.67/775.16 c #Conflicts: 765000 | #Constraints: 25634
772.67/775.16 c #Conflicts: 766000 | #Constraints: 26634
772.67/775.16 c #Conflicts: 767000 | #Constraints: 27634
772.67/775.16 c #Conflicts: 768000 | #Constraints: 28634
772.67/775.16 c #Conflicts: 769000 | #Constraints: 29634
772.67/775.16 c #Conflicts: 770000 | #Constraints: 30634
772.67/775.16 c #Conflicts: 771000 | #Constraints: 31634
772.67/775.16 c #Conflicts: 772000 | #Constraints: 32634
772.67/775.16 c #Conflicts: 773000 | #Constraints: 33634
772.67/775.16 c #Conflicts: 774000 | #Constraints: 34634
772.67/775.16 c INPROCESSING
772.67/775.16 c GARBAGE COLLECT
772.67/775.16 c #Conflicts: 775000 | #Constraints: 18234
772.67/775.16 c #Conflicts: 776000 | #Constraints: 19234
772.67/775.16 c #Conflicts: 777000 | #Constraints: 20234
772.67/775.16 c #Conflicts: 778000 | #Constraints: 21234
772.67/775.16 c #Conflicts: 779000 | #Constraints: 22234
772.67/775.16 c #Conflicts: 780000 | #Constraints: 23234
772.67/775.17 c #Conflicts: 781000 | #Constraints: 24234
772.67/775.17 c #Conflicts: 782000 | #Constraints: 25234
772.67/775.17 c #Conflicts: 783000 | #Constraints: 26234
772.67/775.17 c #Conflicts: 784000 | #Constraints: 27234
772.67/775.17 c #Conflicts: 785000 | #Constraints: 28234
772.67/775.17 c #Conflicts: 786000 | #Constraints: 29234
772.67/775.17 c #Conflicts: 787000 | #Constraints: 30234
772.67/775.17 c #Conflicts: 788000 | #Constraints: 31234
772.67/775.17 c #Conflicts: 789000 | #Constraints: 32234
772.67/775.17 c #Conflicts: 790000 | #Constraints: 33234
772.67/775.17 c #Conflicts: 791000 | #Constraints: 34234
772.67/775.17 c #Conflicts: 792000 | #Constraints: 35234
772.67/775.17 c INPROCESSING
772.67/775.17 c GARBAGE COLLECT
772.67/775.17 c #Conflicts: 793000 | #Constraints: 18636
772.67/775.17 c #Conflicts: 794000 | #Constraints: 19636
772.67/775.17 c #Conflicts: 795000 | #Constraints: 20636
772.67/775.17 c #Conflicts: 796000 | #Constraints: 21636
772.67/775.17 c #Conflicts: 797000 | #Constraints: 22636
772.67/775.17 c #Conflicts: 798000 | #Constraints: 23636
772.67/775.17 c #Conflicts: 799000 | #Constraints: 24636
772.67/775.17 c #Conflicts: 800000 | #Constraints: 25636
772.67/775.17 c #Conflicts: 801000 | #Constraints: 26636
772.67/775.17 c #Conflicts: 802000 | #Constraints: 27636
772.67/775.17 c #Conflicts: 803000 | #Constraints: 28636
772.67/775.17 c #Conflicts: 804000 | #Constraints: 29636
772.67/775.17 c #Conflicts: 805000 | #Constraints: 30636
772.67/775.17 c #Conflicts: 806000 | #Constraints: 31636
772.67/775.17 c #Conflicts: 807000 | #Constraints: 32636
772.67/775.17 c #Conflicts: 808000 | #Constraints: 33636
772.67/775.17 c #Conflicts: 809000 | #Constraints: 34636
772.67/775.17 c #Conflicts: 810000 | #Constraints: 35636
772.67/775.17 c INPROCESSING
772.67/775.17 c GARBAGE COLLECT
772.67/775.17 c #Conflicts: 811000 | #Constraints: 18834
772.67/775.17 c #Conflicts: 812000 | #Constraints: 19834
772.67/775.17 c #Conflicts: 813000 | #Constraints: 20834
772.67/775.17 c #Conflicts: 814000 | #Constraints: 21834
772.67/775.17 c #Conflicts: 815000 | #Constraints: 22834
772.67/775.17 c #Conflicts: 816000 | #Constraints: 23834
772.67/775.17 c #Conflicts: 817000 | #Constraints: 24834
772.67/775.17 c #Conflicts: 818000 | #Constraints: 25834
772.67/775.17 c #Conflicts: 819000 | #Constraints: 26834
772.67/775.17 c #Conflicts: 820000 | #Constraints: 27834
772.67/775.17 c #Conflicts: 821000 | #Constraints: 28834
772.67/775.17 c #Conflicts: 822000 | #Constraints: 29834
772.67/775.17 c #Conflicts: 823000 | #Constraints: 30834
772.67/775.17 c #Conflicts: 824000 | #Constraints: 31834
772.67/775.17 c #Conflicts: 825000 | #Constraints: 32834
772.67/775.17 c #Conflicts: 826000 | #Constraints: 33834
772.67/775.17 c #Conflicts: 827000 | #Constraints: 34834
772.67/775.17 c #Conflicts: 828000 | #Constraints: 35834
772.67/775.17 c INPROCESSING
772.67/775.17 c GARBAGE COLLECT
772.67/775.17 c #Conflicts: 829000 | #Constraints: 18838
772.67/775.17 c #Conflicts: 830000 | #Constraints: 19838
772.67/775.17 c #Conflicts: 831000 | #Constraints: 20838
772.67/775.17 c #Conflicts: 832000 | #Constraints: 21838
772.67/775.17 c #Conflicts: 833000 | #Constraints: 22838
772.67/775.17 c #Conflicts: 834000 | #Constraints: 23838
772.67/775.17 c #Conflicts: 835000 | #Constraints: 24838
772.67/775.17 c #Conflicts: 836000 | #Constraints: 25838
772.67/775.17 c #Conflicts: 837000 | #Constraints: 26838
882.32/885.13 c #Conflicts: 838000 | #Constraints: 27838
882.32/885.13 c #Conflicts: 839000 | #Constraints: 28838
882.32/885.13 c #Conflicts: 840000 | #Constraints: 29838
882.32/885.13 c #Conflicts: 841000 | #Constraints: 30838
882.32/885.13 c #Conflicts: 842000 | #Constraints: 31838
882.32/885.13 c #Conflicts: 843000 | #Constraints: 32838
882.32/885.13 c #Conflicts: 844000 | #Constraints: 33838
882.32/885.13 c #Conflicts: 845000 | #Constraints: 34838
882.32/885.13 c #Conflicts: 846000 | #Constraints: 35838
882.32/885.13 c INPROCESSING
882.32/885.13 c GARBAGE COLLECT
882.32/885.13 c #Conflicts: 847000 | #Constraints: 18637
882.32/885.13 c #Conflicts: 848000 | #Constraints: 19637
882.32/885.13 c #Conflicts: 849000 | #Constraints: 20637
882.32/885.13 c #Conflicts: 850000 | #Constraints: 21637
882.32/885.13 c #Conflicts: 851000 | #Constraints: 22637
882.32/885.13 c #Conflicts: 852000 | #Constraints: 23637
882.32/885.13 c #Conflicts: 853000 | #Constraints: 24637
882.32/885.13 c #Conflicts: 854000 | #Constraints: 25637
882.32/885.13 c #Conflicts: 855000 | #Constraints: 26637
882.32/885.13 c #Conflicts: 856000 | #Constraints: 27637
882.32/885.13 c #Conflicts: 857000 | #Constraints: 28637
882.32/885.13 c #Conflicts: 858000 | #Constraints: 29637
882.32/885.13 c #Conflicts: 859000 | #Constraints: 30637
882.32/885.13 c #Conflicts: 860000 | #Constraints: 31637
882.32/885.13 c #Conflicts: 861000 | #Constraints: 32637
882.32/885.13 c #Conflicts: 862000 | #Constraints: 33637
882.32/885.13 c #Conflicts: 863000 | #Constraints: 34637
882.32/885.13 c #Conflicts: 864000 | #Constraints: 35637
882.32/885.13 c #Conflicts: 865000 | #Constraints: 36637
882.32/885.13 c INPROCESSING
882.32/885.13 c GARBAGE COLLECT
882.32/885.13 c #Conflicts: 866000 | #Constraints: 19235
882.32/885.13 c #Conflicts: 867000 | #Constraints: 20235
882.32/885.13 c #Conflicts: 868000 | #Constraints: 21235
882.32/885.13 c #Conflicts: 869000 | #Constraints: 22235
882.32/885.13 c #Conflicts: 870000 | #Constraints: 23235
882.32/885.13 c #Conflicts: 871000 | #Constraints: 24235
882.32/885.13 c #Conflicts: 872000 | #Constraints: 25235
882.32/885.13 c #Conflicts: 873000 | #Constraints: 26235
882.32/885.13 c #Conflicts: 874000 | #Constraints: 27235
882.32/885.13 c #Conflicts: 875000 | #Constraints: 28235
882.32/885.13 c #Conflicts: 876000 | #Constraints: 29235
882.32/885.13 c #Conflicts: 877000 | #Constraints: 30235
882.32/885.13 c #Conflicts: 878000 | #Constraints: 31235
882.32/885.13 c #Conflicts: 879000 | #Constraints: 32235
882.32/885.13 c #Conflicts: 880000 | #Constraints: 33235
882.32/885.13 c #Conflicts: 881000 | #Constraints: 34235
882.32/885.13 c #Conflicts: 882000 | #Constraints: 35235
882.32/885.13 c #Conflicts: 883000 | #Constraints: 36235
882.32/885.13 c #Conflicts: 884000 | #Constraints: 37235
882.32/885.13 c INPROCESSING
882.32/885.13 c GARBAGE COLLECT
882.32/885.13 c #Conflicts: 885000 | #Constraints: 19631
882.32/885.13 c #Conflicts: 886000 | #Constraints: 20631
882.32/885.13 c #Conflicts: 887000 | #Constraints: 21631
882.32/885.13 c #Conflicts: 888000 | #Constraints: 22631
882.32/885.13 c #Conflicts: 889000 | #Constraints: 23631
882.32/885.13 c #Conflicts: 890000 | #Constraints: 24631
882.32/885.13 c #Conflicts: 891000 | #Constraints: 25631
882.32/885.13 c #Conflicts: 892000 | #Constraints: 26631
882.32/885.13 c #Conflicts: 893000 | #Constraints: 27631
882.32/885.13 c #Conflicts: 894000 | #Constraints: 28631
882.32/885.13 c #Conflicts: 895000 | #Constraints: 29631
882.32/885.13 c #Conflicts: 896000 | #Constraints: 30631
882.32/885.13 c #Conflicts: 897000 | #Constraints: 31631
882.32/885.13 c #Conflicts: 898000 | #Constraints: 32631
882.32/885.13 c #Conflicts: 899000 | #Constraints: 33631
882.32/885.13 c #Conflicts: 900000 | #Constraints: 34631
882.32/885.13 c #Conflicts: 901000 | #Constraints: 35631
882.32/885.13 c #Conflicts: 902000 | #Constraints: 36631
882.32/885.13 c #Conflicts: 903000 | #Constraints: 37631
882.32/885.13 c INPROCESSING
882.32/885.13 c GARBAGE COLLECT
882.32/885.13 c #Conflicts: 904000 | #Constraints: 19834
882.32/885.13 c #Conflicts: 905000 | #Constraints: 20834
882.32/885.13 c #Conflicts: 906000 | #Constraints: 21834
882.32/885.13 c #Conflicts: 907000 | #Constraints: 22834
882.32/885.13 c #Conflicts: 908000 | #Constraints: 23834
882.32/885.13 c #Conflicts: 909000 | #Constraints: 24834
882.32/885.13 c #Conflicts: 910000 | #Constraints: 25834
882.32/885.13 c #Conflicts: 911000 | #Constraints: 26834
882.32/885.13 c #Conflicts: 912000 | #Constraints: 27834
882.32/885.13 c #Conflicts: 913000 | #Constraints: 28834
882.32/885.13 c #Conflicts: 914000 | #Constraints: 29834
1012.88/1016.14 c #Conflicts: 915000 | #Constraints: 30834
1012.88/1016.14 c #Conflicts: 916000 | #Constraints: 31834
1012.88/1016.14 c #Conflicts: 917000 | #Constraints: 32834
1012.88/1016.14 c #Conflicts: 918000 | #Constraints: 33834
1012.88/1016.14 c #Conflicts: 919000 | #Constraints: 34834
1012.88/1016.14 c #Conflicts: 920000 | #Constraints: 35834
1012.88/1016.14 c #Conflicts: 921000 | #Constraints: 36834
1012.88/1016.14 c #Conflicts: 922000 | #Constraints: 37834
1012.88/1016.14 c INPROCESSING
1012.88/1016.14 c GARBAGE COLLECT
1012.88/1016.14 c #Conflicts: 923000 | #Constraints: 19832
1012.88/1016.14 c #Conflicts: 924000 | #Constraints: 20832
1012.88/1016.14 c #Conflicts: 925000 | #Constraints: 21832
1012.88/1016.14 c #Conflicts: 926000 | #Constraints: 22832
1012.88/1016.14 c #Conflicts: 927000 | #Constraints: 23832
1012.88/1016.14 c #Conflicts: 928000 | #Constraints: 24832
1012.88/1016.14 c #Conflicts: 929000 | #Constraints: 25832
1012.88/1016.14 c #Conflicts: 930000 | #Constraints: 26832
1012.88/1016.14 c #Conflicts: 931000 | #Constraints: 27832
1012.88/1016.14 c #Conflicts: 932000 | #Constraints: 28832
1012.88/1016.14 c #Conflicts: 933000 | #Constraints: 29832
1012.88/1016.14 c #Conflicts: 934000 | #Constraints: 30832
1012.88/1016.14 c #Conflicts: 935000 | #Constraints: 31832
1012.88/1016.14 c #Conflicts: 936000 | #Constraints: 32832
1012.88/1016.14 c #Conflicts: 937000 | #Constraints: 33832
1012.88/1016.14 c #Conflicts: 938000 | #Constraints: 34832
1012.88/1016.14 c #Conflicts: 939000 | #Constraints: 35832
1012.88/1016.14 c #Conflicts: 940000 | #Constraints: 36832
1012.88/1016.14 c #Conflicts: 941000 | #Constraints: 37832
1012.88/1016.14 c INPROCESSING
1012.88/1016.14 c GARBAGE COLLECT
1012.88/1016.14 c #Conflicts: 942000 | #Constraints: 19637
1012.88/1016.14 c #Conflicts: 943000 | #Constraints: 20637
1012.88/1016.14 c #Conflicts: 944000 | #Constraints: 21637
1012.88/1016.14 c #Conflicts: 945000 | #Constraints: 22637
1012.88/1016.14 c #Conflicts: 946000 | #Constraints: 23637
1012.88/1016.14 c #Conflicts: 947000 | #Constraints: 24637
1012.88/1016.14 c #Conflicts: 948000 | #Constraints: 25637
1012.88/1016.14 c #Conflicts: 949000 | #Constraints: 26637
1012.88/1016.14 c #Conflicts: 950000 | #Constraints: 27637
1012.88/1016.14 c #Conflicts: 951000 | #Constraints: 28637
1012.88/1016.14 c #Conflicts: 952000 | #Constraints: 29637
1012.88/1016.14 c #Conflicts: 953000 | #Constraints: 30637
1012.88/1016.14 c #Conflicts: 954000 | #Constraints: 31637
1012.88/1016.14 c #Conflicts: 955000 | #Constraints: 32637
1012.88/1016.14 c #Conflicts: 956000 | #Constraints: 33637
1012.88/1016.14 c #Conflicts: 957000 | #Constraints: 34637
1012.88/1016.14 c #Conflicts: 958000 | #Constraints: 35637
1012.88/1016.14 c #Conflicts: 959000 | #Constraints: 36637
1012.88/1016.14 c #Conflicts: 960000 | #Constraints: 37637
1012.88/1016.14 c #Conflicts: 961000 | #Constraints: 38637
1012.88/1016.14 c INPROCESSING
1012.88/1016.14 c GARBAGE COLLECT
1012.88/1016.14 c #Conflicts: 962000 | #Constraints: 20239
1012.88/1016.14 c #Conflicts: 963000 | #Constraints: 21239
1012.88/1016.14 c #Conflicts: 964000 | #Constraints: 22239
1012.88/1016.14 c #Conflicts: 965000 | #Constraints: 23239
1012.88/1016.14 c #Conflicts: 966000 | #Constraints: 24239
1012.88/1016.14 c #Conflicts: 967000 | #Constraints: 25239
1012.88/1016.14 c #Conflicts: 968000 | #Constraints: 26239
1012.88/1016.14 c #Conflicts: 969000 | #Constraints: 27239
1012.88/1016.14 c #Conflicts: 970000 | #Constraints: 28239
1012.88/1016.14 c #Conflicts: 971000 | #Constraints: 29239
1012.88/1016.14 c #Conflicts: 972000 | #Constraints: 30239
1012.88/1016.14 c #Conflicts: 973000 | #Constraints: 31239
1012.88/1016.14 c #Conflicts: 974000 | #Constraints: 32239
1012.88/1016.14 c #Conflicts: 975000 | #Constraints: 33239
1012.88/1016.14 c #Conflicts: 976000 | #Constraints: 34239
1012.88/1016.14 c #Conflicts: 977000 | #Constraints: 35239
1012.88/1016.14 c #Conflicts: 978000 | #Constraints: 36239
1012.88/1016.14 c #Conflicts: 979000 | #Constraints: 37239
1012.88/1016.14 c #Conflicts: 980000 | #Constraints: 38239
1012.88/1016.14 c #Conflicts: 981000 | #Constraints: 39239
1012.88/1016.14 c INPROCESSING
1012.88/1016.14 c GARBAGE COLLECT
1012.88/1016.14 c #Conflicts: 982000 | #Constraints: 20640
1012.88/1016.14 c #Conflicts: 983000 | #Constraints: 21640
1012.88/1016.14 c #Conflicts: 984000 | #Constraints: 22640
1012.88/1016.14 c #Conflicts: 985000 | #Constraints: 23640
1012.88/1016.14 c #Conflicts: 986000 | #Constraints: 24640
1012.88/1016.14 c #Conflicts: 987000 | #Constraints: 25640
1012.88/1016.14 c #Conflicts: 988000 | #Constraints: 26640
1012.88/1016.14 c #Conflicts: 989000 | #Constraints: 27640
1012.88/1016.14 c #Conflicts: 990000 | #Constraints: 28640
1145.85/1149.59 c #Conflicts: 991000 | #Constraints: 29640
1145.85/1149.59 c #Conflicts: 992000 | #Constraints: 30640
1145.85/1149.59 c #Conflicts: 993000 | #Constraints: 31640
1145.85/1149.59 c #Conflicts: 994000 | #Constraints: 32640
1145.85/1149.59 c #Conflicts: 995000 | #Constraints: 33640
1145.85/1149.59 c #Conflicts: 996000 | #Constraints: 34640
1145.85/1149.59 c #Conflicts: 997000 | #Constraints: 35640
1145.85/1149.59 c #Conflicts: 998000 | #Constraints: 36640
1145.85/1149.59 c #Conflicts: 999000 | #Constraints: 37640
1145.85/1149.59 c #Conflicts: 1000000 | #Constraints: 38640
1145.85/1149.59 c #Conflicts: 1001000 | #Constraints: 39640
1145.85/1149.59 c INPROCESSING
1145.85/1149.59 c GARBAGE COLLECT
1145.85/1149.59 c #Conflicts: 1002000 | #Constraints: 20842
1145.85/1149.59 c #Conflicts: 1003000 | #Constraints: 21842
1145.85/1149.59 c #Conflicts: 1004000 | #Constraints: 22842
1145.85/1149.59 c #Conflicts: 1005000 | #Constraints: 23842
1145.85/1149.59 c #Conflicts: 1006000 | #Constraints: 24842
1145.85/1149.59 c #Conflicts: 1007000 | #Constraints: 25842
1145.85/1149.59 c #Conflicts: 1008000 | #Constraints: 26842
1145.85/1149.59 c #Conflicts: 1009000 | #Constraints: 27842
1145.85/1149.59 c #Conflicts: 1010000 | #Constraints: 28842
1145.85/1149.59 c #Conflicts: 1011000 | #Constraints: 29842
1145.85/1149.59 c #Conflicts: 1012000 | #Constraints: 30842
1145.85/1149.59 c #Conflicts: 1013000 | #Constraints: 31842
1145.85/1149.59 c #Conflicts: 1014000 | #Constraints: 32842
1145.85/1149.59 c #Conflicts: 1015000 | #Constraints: 33842
1145.85/1149.59 c #Conflicts: 1016000 | #Constraints: 34842
1145.85/1149.59 c #Conflicts: 1017000 | #Constraints: 35842
1145.85/1149.59 c #Conflicts: 1018000 | #Constraints: 36842
1145.85/1149.59 c #Conflicts: 1019000 | #Constraints: 37842
1145.85/1149.59 c #Conflicts: 1020000 | #Constraints: 38842
1145.85/1149.59 c #Conflicts: 1021000 | #Constraints: 39842
1145.85/1149.59 c INPROCESSING
1145.85/1149.59 c GARBAGE COLLECT
1145.85/1149.59 c #Conflicts: 1022000 | #Constraints: 20839
1145.85/1149.59 c #Conflicts: 1023000 | #Constraints: 21839
1145.85/1149.59 c #Conflicts: 1024000 | #Constraints: 22839
1145.85/1149.59 c #Conflicts: 1025000 | #Constraints: 23839
1145.85/1149.59 c #Conflicts: 1026000 | #Constraints: 24839
1145.85/1149.59 c #Conflicts: 1027000 | #Constraints: 25839
1145.85/1149.59 c #Conflicts: 1028000 | #Constraints: 26839
1145.85/1149.59 c #Conflicts: 1029000 | #Constraints: 27839
1145.85/1149.59 c #Conflicts: 1030000 | #Constraints: 28839
1145.85/1149.59 c #Conflicts: 1031000 | #Constraints: 29839
1145.85/1149.59 c #Conflicts: 1032000 | #Constraints: 30839
1145.85/1149.59 c #Conflicts: 1033000 | #Constraints: 31839
1145.85/1149.59 c #Conflicts: 1034000 | #Constraints: 32839
1145.85/1149.59 c #Conflicts: 1035000 | #Constraints: 33839
1145.85/1149.59 c #Conflicts: 1036000 | #Constraints: 34839
1145.85/1149.59 c #Conflicts: 1037000 | #Constraints: 35839
1145.85/1149.59 c #Conflicts: 1038000 | #Constraints: 36839
1145.85/1149.59 c #Conflicts: 1039000 | #Constraints: 37839
1145.85/1149.59 c #Conflicts: 1040000 | #Constraints: 38839
1145.85/1149.59 c #Conflicts: 1041000 | #Constraints: 39839
1145.85/1149.59 c INPROCESSING
1145.85/1149.59 c GARBAGE COLLECT
1145.85/1149.59 c #Conflicts: 1042000 | #Constraints: 20640
1145.85/1149.59 c #Conflicts: 1043000 | #Constraints: 21640
1145.85/1149.59 c #Conflicts: 1044000 | #Constraints: 22640
1145.85/1149.59 c #Conflicts: 1045000 | #Constraints: 23640
1145.85/1149.59 c #Conflicts: 1046000 | #Constraints: 24640
1145.85/1149.59 c #Conflicts: 1047000 | #Constraints: 25640
1145.85/1149.59 c #Conflicts: 1048000 | #Constraints: 26640
1145.85/1149.59 c #Conflicts: 1049000 | #Constraints: 27640
1145.85/1149.59 c #Conflicts: 1050000 | #Constraints: 28640
1145.85/1149.59 c #Conflicts: 1051000 | #Constraints: 29640
1145.85/1149.59 c #Conflicts: 1052000 | #Constraints: 30640
1145.85/1149.59 c #Conflicts: 1053000 | #Constraints: 31640
1145.85/1149.59 c #Conflicts: 1054000 | #Constraints: 32640
1145.85/1149.59 c #Conflicts: 1055000 | #Constraints: 33640
1145.85/1149.59 c #Conflicts: 1056000 | #Constraints: 34640
1145.85/1149.59 c #Conflicts: 1057000 | #Constraints: 35640
1145.85/1149.59 c #Conflicts: 1058000 | #Constraints: 36640
1145.85/1149.59 c #Conflicts: 1059000 | #Constraints: 37640
1145.85/1149.59 c #Conflicts: 1060000 | #Constraints: 38640
1145.85/1149.59 c #Conflicts: 1061000 | #Constraints: 39640
1145.85/1149.59 c #Conflicts: 1062000 | #Constraints: 40640
1145.85/1149.59 c INPROCESSING
1145.85/1149.59 c GARBAGE COLLECT
1145.85/1149.59 c #Conflicts: 1063000 | #Constraints: 21239
1145.85/1149.59 c #Conflicts: 1064000 | #Constraints: 22239
1145.85/1149.59 c #Conflicts: 1065000 | #Constraints: 23239
1145.85/1149.59 c #Conflicts: 1066000 | #Constraints: 24239
1296.39/1300.53 c #Conflicts: 1067000 | #Constraints: 25239
1296.39/1300.53 c #Conflicts: 1068000 | #Constraints: 26239
1296.39/1300.53 c #Conflicts: 1069000 | #Constraints: 27239
1296.39/1300.53 c #Conflicts: 1070000 | #Constraints: 28239
1296.39/1300.53 c #Conflicts: 1071000 | #Constraints: 29239
1296.39/1300.53 c #Conflicts: 1072000 | #Constraints: 30239
1296.39/1300.53 c #Conflicts: 1073000 | #Constraints: 31239
1296.39/1300.53 c #Conflicts: 1074000 | #Constraints: 32239
1296.39/1300.53 c #Conflicts: 1075000 | #Constraints: 33239
1296.39/1300.53 c #Conflicts: 1076000 | #Constraints: 34239
1296.39/1300.53 c #Conflicts: 1077000 | #Constraints: 35239
1296.39/1300.53 c #Conflicts: 1078000 | #Constraints: 36239
1296.39/1300.53 c #Conflicts: 1079000 | #Constraints: 37239
1296.39/1300.53 c #Conflicts: 1080000 | #Constraints: 38239
1296.39/1300.53 c #Conflicts: 1081000 | #Constraints: 39239
1296.39/1300.53 c #Conflicts: 1082000 | #Constraints: 40239
1296.39/1300.53 c #Conflicts: 1083000 | #Constraints: 41239
1296.39/1300.53 c INPROCESSING
1296.39/1300.53 c GARBAGE COLLECT
1296.39/1300.53 c #Conflicts: 1084000 | #Constraints: 21639
1296.39/1300.53 c #Conflicts: 1085000 | #Constraints: 22639
1296.39/1300.53 c #Conflicts: 1086000 | #Constraints: 23639
1296.39/1300.53 c #Conflicts: 1087000 | #Constraints: 24639
1296.39/1300.53 c #Conflicts: 1088000 | #Constraints: 25639
1296.39/1300.53 c #Conflicts: 1089000 | #Constraints: 26639
1296.39/1300.53 c #Conflicts: 1090000 | #Constraints: 27639
1296.39/1300.53 c #Conflicts: 1091000 | #Constraints: 28639
1296.39/1300.53 c #Conflicts: 1092000 | #Constraints: 29639
1296.39/1300.53 c #Conflicts: 1093000 | #Constraints: 30639
1296.39/1300.53 c #Conflicts: 1094000 | #Constraints: 31639
1296.39/1300.53 c #Conflicts: 1095000 | #Constraints: 32639
1296.39/1300.53 c #Conflicts: 1096000 | #Constraints: 33639
1296.39/1300.53 c #Conflicts: 1097000 | #Constraints: 34639
1296.39/1300.53 c #Conflicts: 1098000 | #Constraints: 35639
1296.39/1300.53 c #Conflicts: 1099000 | #Constraints: 36639
1296.39/1300.53 c #Conflicts: 1100000 | #Constraints: 37639
1296.39/1300.53 c #Conflicts: 1101000 | #Constraints: 38639
1296.39/1300.53 c #Conflicts: 1102000 | #Constraints: 39639
1296.39/1300.53 c #Conflicts: 1103000 | #Constraints: 40639
1296.39/1300.53 c #Conflicts: 1104000 | #Constraints: 41639
1296.39/1300.53 c INPROCESSING
1296.39/1300.53 c GARBAGE COLLECT
1296.39/1300.53 c #Conflicts: 1105000 | #Constraints: 21842
1296.39/1300.53 c #Conflicts: 1106000 | #Constraints: 22842
1296.39/1300.53 c #Conflicts: 1107000 | #Constraints: 23842
1296.39/1300.53 c #Conflicts: 1108000 | #Constraints: 24842
1296.39/1300.53 c #Conflicts: 1109000 | #Constraints: 25842
1296.39/1300.53 c #Conflicts: 1110000 | #Constraints: 26842
1296.39/1300.53 c #Conflicts: 1111000 | #Constraints: 27842
1296.39/1300.53 c #Conflicts: 1112000 | #Constraints: 28842
1296.39/1300.53 c #Conflicts: 1113000 | #Constraints: 29842
1296.39/1300.53 c #Conflicts: 1114000 | #Constraints: 30842
1296.39/1300.53 c #Conflicts: 1115000 | #Constraints: 31842
1296.39/1300.53 c #Conflicts: 1116000 | #Constraints: 32842
1296.39/1300.53 c #Conflicts: 1117000 | #Constraints: 33842
1296.39/1300.53 c #Conflicts: 1118000 | #Constraints: 34842
1296.39/1300.53 c #Conflicts: 1119000 | #Constraints: 35842
1296.39/1300.53 c #Conflicts: 1120000 | #Constraints: 36842
1296.39/1300.53 c #Conflicts: 1121000 | #Constraints: 37842
1296.39/1300.53 c #Conflicts: 1122000 | #Constraints: 38842
1296.39/1300.53 c #Conflicts: 1123000 | #Constraints: 39842
1296.39/1300.53 c #Conflicts: 1124000 | #Constraints: 40842
1296.39/1300.53 c #Conflicts: 1125000 | #Constraints: 41842
1296.39/1300.53 c INPROCESSING
1296.39/1300.53 c GARBAGE COLLECT
1296.39/1300.53 c #Conflicts: 1126000 | #Constraints: 21843
1296.39/1300.53 c #Conflicts: 1127000 | #Constraints: 22843
1296.39/1300.53 c #Conflicts: 1128000 | #Constraints: 23843
1296.39/1300.53 c #Conflicts: 1129000 | #Constraints: 24843
1296.39/1300.53 c #Conflicts: 1130000 | #Constraints: 25843
1296.39/1300.53 c #Conflicts: 1131000 | #Constraints: 26843
1296.39/1300.53 c #Conflicts: 1132000 | #Constraints: 27843
1296.39/1300.53 c #Conflicts: 1133000 | #Constraints: 28843
1296.39/1300.53 c #Conflicts: 1134000 | #Constraints: 29843
1296.39/1300.53 c #Conflicts: 1135000 | #Constraints: 30843
1296.39/1300.53 c #Conflicts: 1136000 | #Constraints: 31843
1296.39/1300.53 c #Conflicts: 1137000 | #Constraints: 32843
1296.39/1300.53 c #Conflicts: 1138000 | #Constraints: 33843
1296.39/1300.53 c #Conflicts: 1139000 | #Constraints: 34843
1296.39/1300.53 c #Conflicts: 1140000 | #Constraints: 35843
1296.39/1300.53 c #Conflicts: 1141000 | #Constraints: 36843
1296.39/1300.53 c #Conflicts: 1142000 | #Constraints: 37843
1296.39/1300.53 c #Conflicts: 1143000 | #Constraints: 38843
1416.62/1421.18 c #Conflicts: 1144000 | #Constraints: 39843
1416.62/1421.18 c #Conflicts: 1145000 | #Constraints: 40843
1416.62/1421.18 c #Conflicts: 1146000 | #Constraints: 41843
1416.62/1421.18 c INPROCESSING
1416.62/1421.18 c GARBAGE COLLECT
1416.62/1421.18 c #Conflicts: 1147000 | #Constraints: 21639
1416.62/1421.18 c #Conflicts: 1148000 | #Constraints: 22639
1416.62/1421.18 c #Conflicts: 1149000 | #Constraints: 23639
1416.62/1421.18 c #Conflicts: 1150000 | #Constraints: 24639
1416.62/1421.18 c #Conflicts: 1151000 | #Constraints: 25639
1416.62/1421.18 c #Conflicts: 1152000 | #Constraints: 26639
1416.62/1421.18 c #Conflicts: 1153000 | #Constraints: 27639
1416.62/1421.18 c #Conflicts: 1154000 | #Constraints: 28639
1416.62/1421.18 c #Conflicts: 1155000 | #Constraints: 29639
1416.62/1421.18 c #Conflicts: 1156000 | #Constraints: 30639
1416.62/1421.18 c #Conflicts: 1157000 | #Constraints: 31639
1416.62/1421.18 c #Conflicts: 1158000 | #Constraints: 32639
1416.62/1421.18 c #Conflicts: 1159000 | #Constraints: 33639
1416.62/1421.18 c #Conflicts: 1160000 | #Constraints: 34639
1416.62/1421.18 c #Conflicts: 1161000 | #Constraints: 35639
1416.62/1421.18 c #Conflicts: 1162000 | #Constraints: 36639
1416.62/1421.18 c #Conflicts: 1163000 | #Constraints: 37639
1416.62/1421.18 c #Conflicts: 1164000 | #Constraints: 38639
1416.62/1421.18 c #Conflicts: 1165000 | #Constraints: 39639
1416.62/1421.18 c #Conflicts: 1166000 | #Constraints: 40639
1416.62/1421.18 c #Conflicts: 1167000 | #Constraints: 41639
1416.62/1421.18 c #Conflicts: 1168000 | #Constraints: 42639
1416.62/1421.18 c INPROCESSING
1416.62/1421.18 c GARBAGE COLLECT
1416.62/1421.18 c #Conflicts: 1169000 | #Constraints: 22238
1416.62/1421.18 c #Conflicts: 1170000 | #Constraints: 23238
1416.62/1421.18 c #Conflicts: 1171000 | #Constraints: 24238
1416.62/1421.18 c #Conflicts: 1172000 | #Constraints: 25238
1416.62/1421.18 c #Conflicts: 1173000 | #Constraints: 26238
1416.62/1421.18 c #Conflicts: 1174000 | #Constraints: 27238
1416.62/1421.18 c #Conflicts: 1175000 | #Constraints: 28238
1416.62/1421.18 c #Conflicts: 1176000 | #Constraints: 29238
1416.62/1421.18 c #Conflicts: 1177000 | #Constraints: 30238
1416.62/1421.18 c #Conflicts: 1178000 | #Constraints: 31238
1416.62/1421.18 c #Conflicts: 1179000 | #Constraints: 32238
1416.62/1421.18 c #Conflicts: 1180000 | #Constraints: 33238
1416.62/1421.18 c #Conflicts: 1181000 | #Constraints: 34238
1416.62/1421.18 c #Conflicts: 1182000 | #Constraints: 35238
1416.62/1421.18 c #Conflicts: 1183000 | #Constraints: 36238
1416.62/1421.18 c #Conflicts: 1184000 | #Constraints: 37238
1416.62/1421.18 c #Conflicts: 1185000 | #Constraints: 38238
1416.62/1421.18 c #Conflicts: 1186000 | #Constraints: 39238
1416.62/1421.18 c #Conflicts: 1187000 | #Constraints: 40238
1416.62/1421.18 c #Conflicts: 1188000 | #Constraints: 41238
1416.62/1421.18 c #Conflicts: 1189000 | #Constraints: 42238
1416.62/1421.18 c #Conflicts: 1190000 | #Constraints: 43238
1416.62/1421.18 c INPROCESSING
1416.62/1421.18 c GARBAGE COLLECT
1416.62/1421.18 c #Conflicts: 1191000 | #Constraints: 22640
1416.62/1421.18 c #Conflicts: 1192000 | #Constraints: 23640
1416.62/1421.18 c #Conflicts: 1193000 | #Constraints: 24640
1416.62/1421.18 c #Conflicts: 1194000 | #Constraints: 25640
1416.62/1421.18 c #Conflicts: 1195000 | #Constraints: 26640
1416.62/1421.18 c #Conflicts: 1196000 | #Constraints: 27640
1416.62/1421.18 c #Conflicts: 1197000 | #Constraints: 28640
1416.62/1421.18 c #Conflicts: 1198000 | #Constraints: 29640
1416.62/1421.18 c #Conflicts: 1199000 | #Constraints: 30640
1416.62/1421.18 c #Conflicts: 1200000 | #Constraints: 31640
1416.62/1421.18 c #Conflicts: 1201000 | #Constraints: 32640
1416.62/1421.18 c #Conflicts: 1202000 | #Constraints: 33640
1416.62/1421.18 c #Conflicts: 1203000 | #Constraints: 34640
1416.62/1421.18 c #Conflicts: 1204000 | #Constraints: 35640
1416.62/1421.18 c #Conflicts: 1205000 | #Constraints: 36640
1416.62/1421.18 c #Conflicts: 1206000 | #Constraints: 37640
1416.62/1421.18 c #Conflicts: 1207000 | #Constraints: 38640
1416.62/1421.18 c #Conflicts: 1208000 | #Constraints: 39640
1416.62/1421.18 c #Conflicts: 1209000 | #Constraints: 40640
1416.62/1421.18 c #Conflicts: 1210000 | #Constraints: 41640
1416.62/1421.18 c #Conflicts: 1211000 | #Constraints: 42640
1416.62/1421.18 c #Conflicts: 1212000 | #Constraints: 43640
1416.62/1421.18 c INPROCESSING
1416.62/1421.18 c GARBAGE COLLECT
1416.62/1421.18 c #Conflicts: 1213000 | #Constraints: 22837
1416.62/1421.18 c #Conflicts: 1214000 | #Constraints: 23837
1416.62/1421.18 c #Conflicts: 1215000 | #Constraints: 24837
1416.62/1421.18 c #Conflicts: 1216000 | #Constraints: 25837
1416.62/1421.18 c #Conflicts: 1217000 | #Constraints: 26837
1416.62/1421.18 c #Conflicts: 1218000 | #Constraints: 27837
1416.62/1421.18 c #Conflicts: 1219000 | #Constraints: 28837
1546.30/1551.27 c #Conflicts: 1220000 | #Constraints: 29837
1546.30/1551.27 c #Conflicts: 1221000 | #Constraints: 30837
1546.30/1551.27 c #Conflicts: 1222000 | #Constraints: 31837
1546.30/1551.27 c #Conflicts: 1223000 | #Constraints: 32837
1546.30/1551.27 c #Conflicts: 1224000 | #Constraints: 33837
1546.30/1551.27 c #Conflicts: 1225000 | #Constraints: 34837
1546.30/1551.27 c #Conflicts: 1226000 | #Constraints: 35837
1546.30/1551.27 c #Conflicts: 1227000 | #Constraints: 36837
1546.30/1551.27 c #Conflicts: 1228000 | #Constraints: 37837
1546.30/1551.27 c #Conflicts: 1229000 | #Constraints: 38837
1546.30/1551.27 c #Conflicts: 1230000 | #Constraints: 39837
1546.30/1551.27 c #Conflicts: 1231000 | #Constraints: 40837
1546.30/1551.27 c #Conflicts: 1232000 | #Constraints: 41837
1546.30/1551.27 c #Conflicts: 1233000 | #Constraints: 42837
1546.30/1551.27 c #Conflicts: 1234000 | #Constraints: 43837
1546.30/1551.27 c INPROCESSING
1546.30/1551.27 c GARBAGE COLLECT
1546.30/1551.27 c #Conflicts: 1235000 | #Constraints: 22835
1546.30/1551.27 c #Conflicts: 1236000 | #Constraints: 23835
1546.30/1551.27 c #Conflicts: 1237000 | #Constraints: 24835
1546.30/1551.27 c #Conflicts: 1238000 | #Constraints: 25835
1546.30/1551.27 c #Conflicts: 1239000 | #Constraints: 26835
1546.30/1551.27 c #Conflicts: 1240000 | #Constraints: 27835
1546.30/1551.27 c #Conflicts: 1241000 | #Constraints: 28835
1546.30/1551.27 c #Conflicts: 1242000 | #Constraints: 29835
1546.30/1551.27 c #Conflicts: 1243000 | #Constraints: 30835
1546.30/1551.27 c #Conflicts: 1244000 | #Constraints: 31835
1546.30/1551.27 c #Conflicts: 1245000 | #Constraints: 32835
1546.30/1551.27 c #Conflicts: 1246000 | #Constraints: 33835
1546.30/1551.27 c #Conflicts: 1247000 | #Constraints: 34835
1546.30/1551.27 c #Conflicts: 1248000 | #Constraints: 35835
1546.30/1551.27 c #Conflicts: 1249000 | #Constraints: 36835
1546.30/1551.27 c #Conflicts: 1250000 | #Constraints: 37835
1546.30/1551.27 c #Conflicts: 1251000 | #Constraints: 38835
1546.30/1551.27 c #Conflicts: 1252000 | #Constraints: 39835
1546.30/1551.27 c #Conflicts: 1253000 | #Constraints: 40835
1546.30/1551.27 c #Conflicts: 1254000 | #Constraints: 41835
1546.30/1551.27 c #Conflicts: 1255000 | #Constraints: 42835
1546.30/1551.27 c #Conflicts: 1256000 | #Constraints: 43835
1546.30/1551.27 c INPROCESSING
1546.30/1551.27 c GARBAGE COLLECT
1546.30/1551.27 c #Conflicts: 1257000 | #Constraints: 22639
1546.30/1551.27 c #Conflicts: 1258000 | #Constraints: 23639
1546.30/1551.27 c #Conflicts: 1259000 | #Constraints: 24639
1546.30/1551.27 c #Conflicts: 1260000 | #Constraints: 25639
1546.30/1551.27 c #Conflicts: 1261000 | #Constraints: 26639
1546.30/1551.27 c #Conflicts: 1262000 | #Constraints: 27639
1546.30/1551.27 c #Conflicts: 1263000 | #Constraints: 28639
1546.30/1551.27 c #Conflicts: 1264000 | #Constraints: 29639
1546.30/1551.27 c #Conflicts: 1265000 | #Constraints: 30639
1546.30/1551.27 c #Conflicts: 1266000 | #Constraints: 31639
1546.30/1551.27 c #Conflicts: 1267000 | #Constraints: 32639
1546.30/1551.27 c #Conflicts: 1268000 | #Constraints: 33639
1546.30/1551.27 c #Conflicts: 1269000 | #Constraints: 34639
1546.30/1551.27 c #Conflicts: 1270000 | #Constraints: 35639
1546.30/1551.27 c #Conflicts: 1271000 | #Constraints: 36639
1546.30/1551.27 c #Conflicts: 1272000 | #Constraints: 37639
1546.30/1551.27 c #Conflicts: 1273000 | #Constraints: 38639
1546.30/1551.27 c #Conflicts: 1274000 | #Constraints: 39639
1546.30/1551.27 c #Conflicts: 1275000 | #Constraints: 40639
1546.30/1551.27 c #Conflicts: 1276000 | #Constraints: 41639
1546.30/1551.27 c #Conflicts: 1277000 | #Constraints: 42639
1546.30/1551.27 c #Conflicts: 1278000 | #Constraints: 43639
1546.30/1551.27 c #Conflicts: 1279000 | #Constraints: 44639
1546.30/1551.27 c INPROCESSING
1546.30/1551.27 c GARBAGE COLLECT
1546.30/1551.27 c #Conflicts: 1280000 | #Constraints: 23236
1546.30/1551.27 c #Conflicts: 1281000 | #Constraints: 24236
1546.30/1551.27 c #Conflicts: 1282000 | #Constraints: 25236
1546.30/1551.27 c #Conflicts: 1283000 | #Constraints: 26236
1546.30/1551.27 c #Conflicts: 1284000 | #Constraints: 27236
1546.30/1551.27 c #Conflicts: 1285000 | #Constraints: 28236
1546.30/1551.27 c #Conflicts: 1286000 | #Constraints: 29236
1546.30/1551.27 c #Conflicts: 1287000 | #Constraints: 30236
1546.30/1551.27 c #Conflicts: 1288000 | #Constraints: 31236
1546.30/1551.27 c #Conflicts: 1289000 | #Constraints: 32236
1546.30/1551.27 c #Conflicts: 1290000 | #Constraints: 33236
1546.30/1551.27 c #Conflicts: 1291000 | #Constraints: 34236
1546.30/1551.27 c #Conflicts: 1292000 | #Constraints: 35236
1546.30/1551.27 c #Conflicts: 1293000 | #Constraints: 36236
1546.30/1551.27 c #Conflicts: 1294000 | #Constraints: 37236
1546.30/1551.27 c #Conflicts: 1295000 | #Constraints: 38236
1546.30/1551.27 c #Conflicts: 1296000 | #Constraints: 39236
1695.64/1701.03 c #Conflicts: 1297000 | #Constraints: 40236
1695.64/1701.03 c #Conflicts: 1298000 | #Constraints: 41236
1695.64/1701.03 c #Conflicts: 1299000 | #Constraints: 42236
1695.64/1701.03 c #Conflicts: 1300000 | #Constraints: 43236
1695.64/1701.03 c #Conflicts: 1301000 | #Constraints: 44236
1695.64/1701.03 c #Conflicts: 1302000 | #Constraints: 45236
1695.64/1701.03 c INPROCESSING
1695.64/1701.03 c GARBAGE COLLECT
1695.64/1701.03 c #Conflicts: 1303000 | #Constraints: 23635
1695.64/1701.03 c #Conflicts: 1304000 | #Constraints: 24635
1695.64/1701.03 c #Conflicts: 1305000 | #Constraints: 25635
1695.64/1701.03 c #Conflicts: 1306000 | #Constraints: 26635
1695.64/1701.03 c #Conflicts: 1307000 | #Constraints: 27635
1695.64/1701.03 c #Conflicts: 1308000 | #Constraints: 28635
1695.64/1701.03 c #Conflicts: 1309000 | #Constraints: 29635
1695.64/1701.03 c #Conflicts: 1310000 | #Constraints: 30635
1695.64/1701.03 c #Conflicts: 1311000 | #Constraints: 31635
1695.64/1701.03 c #Conflicts: 1312000 | #Constraints: 32635
1695.64/1701.03 c #Conflicts: 1313000 | #Constraints: 33635
1695.64/1701.03 c #Conflicts: 1314000 | #Constraints: 34635
1695.64/1701.03 c #Conflicts: 1315000 | #Constraints: 35635
1695.64/1701.03 c #Conflicts: 1316000 | #Constraints: 36635
1695.64/1701.03 c #Conflicts: 1317000 | #Constraints: 37635
1695.64/1701.03 c #Conflicts: 1318000 | #Constraints: 38635
1695.64/1701.03 c #Conflicts: 1319000 | #Constraints: 39635
1695.64/1701.03 c #Conflicts: 1320000 | #Constraints: 40635
1695.64/1701.03 c #Conflicts: 1321000 | #Constraints: 41635
1695.64/1701.03 c #Conflicts: 1322000 | #Constraints: 42635
1695.64/1701.03 c #Conflicts: 1323000 | #Constraints: 43635
1695.64/1701.03 c #Conflicts: 1324000 | #Constraints: 44635
1695.64/1701.03 c #Conflicts: 1325000 | #Constraints: 45635
1695.64/1701.03 c INPROCESSING
1695.64/1701.03 c GARBAGE COLLECT
1695.64/1701.03 c #Conflicts: 1326000 | #Constraints: 23838
1695.64/1701.03 c #Conflicts: 1327000 | #Constraints: 24838
1695.64/1701.03 c #Conflicts: 1328000 | #Constraints: 25838
1695.64/1701.03 c #Conflicts: 1329000 | #Constraints: 26838
1695.64/1701.03 c #Conflicts: 1330000 | #Constraints: 27838
1695.64/1701.03 c #Conflicts: 1331000 | #Constraints: 28838
1695.64/1701.03 c #Conflicts: 1332000 | #Constraints: 29838
1695.64/1701.03 c #Conflicts: 1333000 | #Constraints: 30838
1695.64/1701.03 c #Conflicts: 1334000 | #Constraints: 31838
1695.64/1701.03 c #Conflicts: 1335000 | #Constraints: 32838
1695.64/1701.03 c #Conflicts: 1336000 | #Constraints: 33838
1695.64/1701.03 c #Conflicts: 1337000 | #Constraints: 34838
1695.64/1701.03 c #Conflicts: 1338000 | #Constraints: 35838
1695.64/1701.03 c #Conflicts: 1339000 | #Constraints: 36838
1695.64/1701.03 c #Conflicts: 1340000 | #Constraints: 37838
1695.64/1701.03 c #Conflicts: 1341000 | #Constraints: 38838
1695.64/1701.03 c #Conflicts: 1342000 | #Constraints: 39838
1695.64/1701.03 c #Conflicts: 1343000 | #Constraints: 40838
1695.64/1701.03 c #Conflicts: 1344000 | #Constraints: 41838
1695.64/1701.03 c #Conflicts: 1345000 | #Constraints: 42838
1695.64/1701.03 c #Conflicts: 1346000 | #Constraints: 43838
1695.64/1701.03 c #Conflicts: 1347000 | #Constraints: 44838
1695.64/1701.03 c #Conflicts: 1348000 | #Constraints: 45838
1695.64/1701.03 c INPROCESSING
1695.64/1701.03 c GARBAGE COLLECT
1695.64/1701.03 c #Conflicts: 1349000 | #Constraints: 23843
1695.64/1701.03 c #Conflicts: 1350000 | #Constraints: 24843
1695.64/1701.03 c #Conflicts: 1351000 | #Constraints: 25843
1695.64/1701.03 c #Conflicts: 1352000 | #Constraints: 26843
1695.64/1701.03 c #Conflicts: 1353000 | #Constraints: 27843
1695.64/1701.03 c #Conflicts: 1354000 | #Constraints: 28843
1695.64/1701.03 c #Conflicts: 1355000 | #Constraints: 29843
1695.64/1701.03 c #Conflicts: 1356000 | #Constraints: 30843
1695.64/1701.03 c #Conflicts: 1357000 | #Constraints: 31843
1695.64/1701.03 c #Conflicts: 1358000 | #Constraints: 32843
1695.64/1701.03 c #Conflicts: 1359000 | #Constraints: 33843
1695.64/1701.03 c #Conflicts: 1360000 | #Constraints: 34843
1695.64/1701.03 c #Conflicts: 1361000 | #Constraints: 35843
1695.64/1701.03 c #Conflicts: 1362000 | #Constraints: 36843
1695.64/1701.03 c #Conflicts: 1363000 | #Constraints: 37843
1695.64/1701.03 c #Conflicts: 1364000 | #Constraints: 38843
1695.64/1701.03 c #Conflicts: 1365000 | #Constraints: 39843
1695.64/1701.03 c #Conflicts: 1366000 | #Constraints: 40843
1695.64/1701.03 c #Conflicts: 1367000 | #Constraints: 41843
1695.64/1701.03 c #Conflicts: 1368000 | #Constraints: 42843
1695.64/1701.03 c #Conflicts: 1369000 | #Constraints: 43843
1695.64/1701.03 c #Conflicts: 1370000 | #Constraints: 44843
1695.64/1701.03 c #Conflicts: 1371000 | #Constraints: 45843
1695.64/1701.03 c INPROCESSING
1695.64/1701.03 c GARBAGE COLLECT
1695.64/1701.03 c #Conflicts: 1372000 | #Constraints: 23639
1834.98/1840.82 c #Conflicts: 1373000 | #Constraints: 24639
1834.98/1840.82 c #Conflicts: 1374000 | #Constraints: 25639
1834.98/1840.82 c #Conflicts: 1375000 | #Constraints: 26639
1834.98/1840.82 c #Conflicts: 1376000 | #Constraints: 27639
1834.98/1840.82 c #Conflicts: 1377000 | #Constraints: 28639
1834.98/1840.82 c #Conflicts: 1378000 | #Constraints: 29639
1834.98/1840.82 c #Conflicts: 1379000 | #Constraints: 30639
1834.98/1840.82 c #Conflicts: 1380000 | #Constraints: 31639
1834.98/1840.82 c #Conflicts: 1381000 | #Constraints: 32639
1834.98/1840.82 c #Conflicts: 1382000 | #Constraints: 33639
1834.98/1840.82 c #Conflicts: 1383000 | #Constraints: 34639
1834.98/1840.82 c #Conflicts: 1384000 | #Constraints: 35639
1834.98/1840.82 c #Conflicts: 1385000 | #Constraints: 36639
1834.98/1840.82 c #Conflicts: 1386000 | #Constraints: 37639
1834.98/1840.82 c #Conflicts: 1387000 | #Constraints: 38639
1834.98/1840.82 c #Conflicts: 1388000 | #Constraints: 39639
1834.98/1840.82 c #Conflicts: 1389000 | #Constraints: 40639
1834.98/1840.82 c #Conflicts: 1390000 | #Constraints: 41639
1834.98/1840.82 c #Conflicts: 1391000 | #Constraints: 42639
1834.98/1840.82 c #Conflicts: 1392000 | #Constraints: 43639
1834.98/1840.82 c #Conflicts: 1393000 | #Constraints: 44639
1834.98/1840.82 c #Conflicts: 1394000 | #Constraints: 45639
1834.98/1840.82 c #Conflicts: 1395000 | #Constraints: 46639
1834.98/1840.82 c INPROCESSING
1834.98/1840.82 c GARBAGE COLLECT
1834.98/1840.82 c #Conflicts: 1396000 | #Constraints: 24238
1834.98/1840.82 c #Conflicts: 1397000 | #Constraints: 25238
1834.98/1840.82 c #Conflicts: 1398000 | #Constraints: 26238
1834.98/1840.82 c #Conflicts: 1399000 | #Constraints: 27238
1834.98/1840.82 c #Conflicts: 1400000 | #Constraints: 28238
1834.98/1840.82 c #Conflicts: 1401000 | #Constraints: 29238
1834.98/1840.82 c #Conflicts: 1402000 | #Constraints: 30238
1834.98/1840.82 c #Conflicts: 1403000 | #Constraints: 31238
1834.98/1840.82 c #Conflicts: 1404000 | #Constraints: 32238
1834.98/1840.82 c #Conflicts: 1405000 | #Constraints: 33238
1834.98/1840.82 c #Conflicts: 1406000 | #Constraints: 34238
1834.98/1840.82 c #Conflicts: 1407000 | #Constraints: 35238
1834.98/1840.82 c #Conflicts: 1408000 | #Constraints: 36238
1834.98/1840.82 c #Conflicts: 1409000 | #Constraints: 37238
1834.98/1840.82 c #Conflicts: 1410000 | #Constraints: 38238
1834.98/1840.82 c #Conflicts: 1411000 | #Constraints: 39238
1834.98/1840.82 c #Conflicts: 1412000 | #Constraints: 40238
1834.98/1840.82 c #Conflicts: 1413000 | #Constraints: 41238
1834.98/1840.82 c #Conflicts: 1414000 | #Constraints: 42238
1834.98/1840.82 c #Conflicts: 1415000 | #Constraints: 43238
1834.98/1840.82 c #Conflicts: 1416000 | #Constraints: 44238
1834.98/1840.82 c #Conflicts: 1417000 | #Constraints: 45238
1834.98/1840.82 c #Conflicts: 1418000 | #Constraints: 46238
1834.98/1840.82 c #Conflicts: 1419000 | #Constraints: 47238
1834.98/1840.82 c INPROCESSING
1834.98/1840.82 c GARBAGE COLLECT
1834.98/1840.82 c #Conflicts: 1420000 | #Constraints: 24637
1834.98/1840.82 c #Conflicts: 1421000 | #Constraints: 25637
1834.98/1840.82 c #Conflicts: 1422000 | #Constraints: 26637
1834.98/1840.82 c #Conflicts: 1423000 | #Constraints: 27637
1834.98/1840.82 c #Conflicts: 1424000 | #Constraints: 28637
1834.98/1840.82 c #Conflicts: 1425000 | #Constraints: 29637
1834.98/1840.82 c #Conflicts: 1426000 | #Constraints: 30637
1834.98/1840.82 c #Conflicts: 1427000 | #Constraints: 31637
1834.98/1840.82 c #Conflicts: 1428000 | #Constraints: 32637
1834.98/1840.82 c #Conflicts: 1429000 | #Constraints: 33637
1834.98/1840.82 c #Conflicts: 1430000 | #Constraints: 34637
1834.98/1840.82 c #Conflicts: 1431000 | #Constraints: 35637
1834.98/1840.82 c #Conflicts: 1432000 | #Constraints: 36637
1834.98/1840.82 c #Conflicts: 1433000 | #Constraints: 37637
1834.98/1840.82 c #Conflicts: 1434000 | #Constraints: 38637
1834.98/1840.82 c #Conflicts: 1435000 | #Constraints: 39637
1834.98/1840.82 c #Conflicts: 1436000 | #Constraints: 40637
1834.98/1840.82 c #Conflicts: 1437000 | #Constraints: 41637
1834.98/1840.82 c #Conflicts: 1438000 | #Constraints: 42637
1834.98/1840.82 c #Conflicts: 1439000 | #Constraints: 43637
1834.98/1840.82 c #Conflicts: 1440000 | #Constraints: 44637
1834.98/1840.82 c #Conflicts: 1441000 | #Constraints: 45637
1834.98/1840.82 c #Conflicts: 1442000 | #Constraints: 46637
1834.98/1840.82 c #Conflicts: 1443000 | #Constraints: 47637
1834.98/1840.82 c INPROCESSING
1834.98/1840.82 c GARBAGE COLLECT
1834.98/1840.82 c #Conflicts: 1444000 | #Constraints: 24836
1834.98/1840.82 c #Conflicts: 1445000 | #Constraints: 25836
1834.98/1840.82 c #Conflicts: 1446000 | #Constraints: 26836
1834.98/1840.82 c #Conflicts: 1447000 | #Constraints: 27836
1834.98/1840.82 c #Conflicts: 1448000 | #Constraints: 28836
1834.98/1840.82 c #Conflicts: 1449000 | #Constraints: 29836
1980.21/1986.51 c #Conflicts: 1450000 | #Constraints: 30836
1980.21/1986.51 c #Conflicts: 1451000 | #Constraints: 31836
1980.21/1986.51 c #Conflicts: 1452000 | #Constraints: 32836
1980.21/1986.51 c #Conflicts: 1453000 | #Constraints: 33836
1980.21/1986.51 c #Conflicts: 1454000 | #Constraints: 34836
1980.21/1986.51 c #Conflicts: 1455000 | #Constraints: 35836
1980.21/1986.51 c #Conflicts: 1456000 | #Constraints: 36836
1980.21/1986.51 c #Conflicts: 1457000 | #Constraints: 37836
1980.21/1986.51 c #Conflicts: 1458000 | #Constraints: 38836
1980.21/1986.51 c #Conflicts: 1459000 | #Constraints: 39836
1980.21/1986.51 c #Conflicts: 1460000 | #Constraints: 40836
1980.21/1986.51 c #Conflicts: 1461000 | #Constraints: 41836
1980.21/1986.51 c #Conflicts: 1462000 | #Constraints: 42836
1980.21/1986.51 c #Conflicts: 1463000 | #Constraints: 43836
1980.21/1986.51 c #Conflicts: 1464000 | #Constraints: 44836
1980.21/1986.51 c #Conflicts: 1465000 | #Constraints: 45836
1980.21/1986.51 c #Conflicts: 1466000 | #Constraints: 46836
1980.21/1986.51 c #Conflicts: 1467000 | #Constraints: 47836
1980.21/1986.51 c INPROCESSING
1980.21/1986.51 c GARBAGE COLLECT
1980.21/1986.51 c #Conflicts: 1468000 | #Constraints: 24837
1980.21/1986.51 c #Conflicts: 1469000 | #Constraints: 25837
1980.21/1986.51 c #Conflicts: 1470000 | #Constraints: 26837
1980.21/1986.51 c #Conflicts: 1471000 | #Constraints: 27837
1980.21/1986.51 c #Conflicts: 1472000 | #Constraints: 28837
1980.21/1986.51 c #Conflicts: 1473000 | #Constraints: 29837
1980.21/1986.51 c #Conflicts: 1474000 | #Constraints: 30837
1980.21/1986.51 c #Conflicts: 1475000 | #Constraints: 31837
1980.21/1986.51 c #Conflicts: 1476000 | #Constraints: 32837
1980.21/1986.51 c #Conflicts: 1477000 | #Constraints: 33837
1980.21/1986.51 c #Conflicts: 1478000 | #Constraints: 34837
1980.21/1986.51 c #Conflicts: 1479000 | #Constraints: 35837
1980.21/1986.51 c #Conflicts: 1480000 | #Constraints: 36837
1980.21/1986.51 c #Conflicts: 1481000 | #Constraints: 37837
1980.21/1986.51 c #Conflicts: 1482000 | #Constraints: 38837
1980.21/1986.51 c #Conflicts: 1483000 | #Constraints: 39837
1980.21/1986.51 c #Conflicts: 1484000 | #Constraints: 40837
1980.21/1986.51 c #Conflicts: 1485000 | #Constraints: 41837
1980.21/1986.51 c #Conflicts: 1486000 | #Constraints: 42837
1980.21/1986.51 c #Conflicts: 1487000 | #Constraints: 43837
1980.21/1986.51 c #Conflicts: 1488000 | #Constraints: 44837
1980.21/1986.51 c #Conflicts: 1489000 | #Constraints: 45837
1980.21/1986.51 c #Conflicts: 1490000 | #Constraints: 46837
1980.21/1986.51 c #Conflicts: 1491000 | #Constraints: 47837
1980.21/1986.51 c INPROCESSING
1980.21/1986.51 c GARBAGE COLLECT
1980.21/1986.51 c #Conflicts: 1492000 | #Constraints: 24634
1980.21/1986.51 c #Conflicts: 1493000 | #Constraints: 25634
1980.21/1986.51 c #Conflicts: 1494000 | #Constraints: 26634
1980.21/1986.51 c #Conflicts: 1495000 | #Constraints: 27634
1980.21/1986.51 c #Conflicts: 1496000 | #Constraints: 28634
1980.21/1986.51 c #Conflicts: 1497000 | #Constraints: 29634
1980.21/1986.51 c #Conflicts: 1498000 | #Constraints: 30634
1980.21/1986.51 c #Conflicts: 1499000 | #Constraints: 31634
1980.21/1986.51 c #Conflicts: 1500000 | #Constraints: 32634
1980.21/1986.51 c #Conflicts: 1501000 | #Constraints: 33634
1980.21/1986.51 c #Conflicts: 1502000 | #Constraints: 34634
1980.21/1986.51 c #Conflicts: 1503000 | #Constraints: 35634
1980.21/1986.51 c #Conflicts: 1504000 | #Constraints: 36634
1980.21/1986.51 c #Conflicts: 1505000 | #Constraints: 37634
1980.21/1986.51 c #Conflicts: 1506000 | #Constraints: 38634
1980.21/1986.51 c #Conflicts: 1507000 | #Constraints: 39634
1980.21/1986.51 c #Conflicts: 1508000 | #Constraints: 40634
1980.21/1986.51 c #Conflicts: 1509000 | #Constraints: 41634
1980.21/1986.51 c #Conflicts: 1510000 | #Constraints: 42634
1980.21/1986.51 c #Conflicts: 1511000 | #Constraints: 43634
1980.21/1986.51 c #Conflicts: 1512000 | #Constraints: 44634
1980.21/1986.51 c #Conflicts: 1513000 | #Constraints: 45634
1980.21/1986.51 c #Conflicts: 1514000 | #Constraints: 46634
1980.21/1986.51 c #Conflicts: 1515000 | #Constraints: 47634
1980.21/1986.51 c #Conflicts: 1516000 | #Constraints: 48634
1980.21/1986.51 c INPROCESSING
1980.21/1986.51 c GARBAGE COLLECT
1980.21/1986.51 c #Conflicts: 1517000 | #Constraints: 25235
1980.21/1986.51 c #Conflicts: 1518000 | #Constraints: 26235
1980.21/1986.51 c #Conflicts: 1519000 | #Constraints: 27235
1980.21/1986.51 c #Conflicts: 1520000 | #Constraints: 28235
1980.21/1986.51 c #Conflicts: 1521000 | #Constraints: 29235
1980.21/1986.51 c #Conflicts: 1522000 | #Constraints: 30235
1980.21/1986.51 c #Conflicts: 1523000 | #Constraints: 31235
1980.21/1986.51 c #Conflicts: 1524000 | #Constraints: 32235
1980.21/1986.51 c #Conflicts: 1525000 | #Constraints: 33235
1980.21/1986.51 c #Conflicts: 1526000 | #Constraints: 34235
2163.13/2170.08 c #Conflicts: 1527000 | #Constraints: 35235
2163.13/2170.08 c #Conflicts: 1528000 | #Constraints: 36235
2163.13/2170.08 c #Conflicts: 1529000 | #Constraints: 37235
2163.13/2170.08 c #Conflicts: 1530000 | #Constraints: 38235
2163.13/2170.08 c #Conflicts: 1531000 | #Constraints: 39235
2163.13/2170.08 c #Conflicts: 1532000 | #Constraints: 40235
2163.13/2170.08 c #Conflicts: 1533000 | #Constraints: 41235
2163.13/2170.08 c #Conflicts: 1534000 | #Constraints: 42235
2163.13/2170.08 c #Conflicts: 1535000 | #Constraints: 43235
2163.13/2170.08 c #Conflicts: 1536000 | #Constraints: 44235
2163.13/2170.08 c #Conflicts: 1537000 | #Constraints: 45235
2163.13/2170.08 c #Conflicts: 1538000 | #Constraints: 46235
2163.13/2170.08 c #Conflicts: 1539000 | #Constraints: 47235
2163.13/2170.08 c #Conflicts: 1540000 | #Constraints: 48235
2163.13/2170.08 c #Conflicts: 1541000 | #Constraints: 49235
2163.13/2170.08 c INPROCESSING
2163.13/2170.08 c GARBAGE COLLECT
2163.13/2170.08 c #Conflicts: 1542000 | #Constraints: 25640
2163.13/2170.08 c #Conflicts: 1543000 | #Constraints: 26640
2163.13/2170.08 c #Conflicts: 1544000 | #Constraints: 27640
2163.13/2170.08 c #Conflicts: 1545000 | #Constraints: 28640
2163.13/2170.08 c #Conflicts: 1546000 | #Constraints: 29640
2163.13/2170.08 c #Conflicts: 1547000 | #Constraints: 30640
2163.13/2170.08 c #Conflicts: 1548000 | #Constraints: 31640
2163.13/2170.08 c #Conflicts: 1549000 | #Constraints: 32640
2163.13/2170.08 c #Conflicts: 1550000 | #Constraints: 33640
2163.13/2170.08 c #Conflicts: 1551000 | #Constraints: 34640
2163.13/2170.08 c #Conflicts: 1552000 | #Constraints: 35640
2163.13/2170.08 c #Conflicts: 1553000 | #Constraints: 36640
2163.13/2170.08 c #Conflicts: 1554000 | #Constraints: 37640
2163.13/2170.08 c #Conflicts: 1555000 | #Constraints: 38640
2163.13/2170.08 c #Conflicts: 1556000 | #Constraints: 39640
2163.13/2170.08 c #Conflicts: 1557000 | #Constraints: 40640
2163.13/2170.08 c #Conflicts: 1558000 | #Constraints: 41640
2163.13/2170.08 c #Conflicts: 1559000 | #Constraints: 42640
2163.13/2170.08 c #Conflicts: 1560000 | #Constraints: 43640
2163.13/2170.08 c #Conflicts: 1561000 | #Constraints: 44640
2163.13/2170.08 c #Conflicts: 1562000 | #Constraints: 45640
2163.13/2170.08 c #Conflicts: 1563000 | #Constraints: 46640
2163.13/2170.08 c #Conflicts: 1564000 | #Constraints: 47640
2163.13/2170.08 c #Conflicts: 1565000 | #Constraints: 48640
2163.13/2170.08 c #Conflicts: 1566000 | #Constraints: 49640
2163.13/2170.08 c INPROCESSING
2163.13/2170.08 c GARBAGE COLLECT
2163.13/2170.08 c #Conflicts: 1567000 | #Constraints: 25838
2163.13/2170.08 c #Conflicts: 1568000 | #Constraints: 26838
2163.13/2170.08 c #Conflicts: 1569000 | #Constraints: 27838
2163.13/2170.08 c #Conflicts: 1570000 | #Constraints: 28838
2163.13/2170.08 c #Conflicts: 1571000 | #Constraints: 29838
2163.13/2170.08 c #Conflicts: 1572000 | #Constraints: 30838
2163.13/2170.08 c #Conflicts: 1573000 | #Constraints: 31838
2163.13/2170.08 c #Conflicts: 1574000 | #Constraints: 32838
2163.13/2170.08 c #Conflicts: 1575000 | #Constraints: 33838
2163.13/2170.08 c #Conflicts: 1576000 | #Constraints: 34838
2163.13/2170.08 c #Conflicts: 1577000 | #Constraints: 35838
2163.13/2170.08 c #Conflicts: 1578000 | #Constraints: 36838
2163.13/2170.08 c #Conflicts: 1579000 | #Constraints: 37838
2163.13/2170.08 c #Conflicts: 1580000 | #Constraints: 38838
2163.13/2170.08 c #Conflicts: 1581000 | #Constraints: 39838
2163.13/2170.08 c #Conflicts: 1582000 | #Constraints: 40838
2163.13/2170.08 c #Conflicts: 1583000 | #Constraints: 41838
2163.13/2170.08 c #Conflicts: 1584000 | #Constraints: 42838
2163.13/2170.08 c #Conflicts: 1585000 | #Constraints: 43838
2163.13/2170.08 c #Conflicts: 1586000 | #Constraints: 44838
2163.13/2170.08 c #Conflicts: 1587000 | #Constraints: 45838
2163.13/2170.08 c #Conflicts: 1588000 | #Constraints: 46838
2163.13/2170.08 c #Conflicts: 1589000 | #Constraints: 47838
2163.13/2170.08 c #Conflicts: 1590000 | #Constraints: 48838
2163.13/2170.08 c #Conflicts: 1591000 | #Constraints: 49838
2163.13/2170.08 c INPROCESSING
2163.13/2170.08 c GARBAGE COLLECT
2163.13/2170.08 c #Conflicts: 1592000 | #Constraints: 25840
2163.13/2170.08 c #Conflicts: 1593000 | #Constraints: 26840
2163.13/2170.08 c #Conflicts: 1594000 | #Constraints: 27840
2163.13/2170.08 c #Conflicts: 1595000 | #Constraints: 28840
2163.13/2170.08 c #Conflicts: 1596000 | #Constraints: 29840
2163.13/2170.08 c #Conflicts: 1597000 | #Constraints: 30840
2163.13/2170.08 c #Conflicts: 1598000 | #Constraints: 31840
2163.13/2170.08 c #Conflicts: 1599000 | #Constraints: 32840
2163.13/2170.08 c #Conflicts: 1600000 | #Constraints: 33840
2163.13/2170.08 c #Conflicts: 1601000 | #Constraints: 34840
2163.13/2170.08 c #Conflicts: 1602000 | #Constraints: 35840
2163.13/2170.08 c #Conflicts: 1603000 | #Constraints: 36840
2370.74/2378.32 c #Conflicts: 1604000 | #Constraints: 37840
2370.74/2378.32 c #Conflicts: 1605000 | #Constraints: 38840
2370.74/2378.32 c #Conflicts: 1606000 | #Constraints: 39840
2370.74/2378.32 c #Conflicts: 1607000 | #Constraints: 40840
2370.74/2378.32 c #Conflicts: 1608000 | #Constraints: 41840
2370.74/2378.32 c #Conflicts: 1609000 | #Constraints: 42840
2370.74/2378.32 c #Conflicts: 1610000 | #Constraints: 43840
2370.74/2378.32 c #Conflicts: 1611000 | #Constraints: 44840
2370.74/2378.32 c #Conflicts: 1612000 | #Constraints: 45840
2370.74/2378.32 c #Conflicts: 1613000 | #Constraints: 46840
2370.74/2378.32 c #Conflicts: 1614000 | #Constraints: 47840
2370.74/2378.32 c #Conflicts: 1615000 | #Constraints: 48840
2370.74/2378.32 c #Conflicts: 1616000 | #Constraints: 49840
2370.74/2378.32 c INPROCESSING
2370.74/2378.32 c GARBAGE COLLECT
2370.74/2378.32 c #Conflicts: 1617000 | #Constraints: 25641
2370.74/2378.32 c #Conflicts: 1618000 | #Constraints: 26641
2370.74/2378.32 c #Conflicts: 1619000 | #Constraints: 27641
2370.74/2378.32 c #Conflicts: 1620000 | #Constraints: 28641
2370.74/2378.32 c #Conflicts: 1621000 | #Constraints: 29641
2370.74/2378.32 c #Conflicts: 1622000 | #Constraints: 30641
2370.74/2378.32 c #Conflicts: 1623000 | #Constraints: 31641
2370.74/2378.32 c #Conflicts: 1624000 | #Constraints: 32641
2370.74/2378.32 c #Conflicts: 1625000 | #Constraints: 33641
2370.74/2378.32 c #Conflicts: 1626000 | #Constraints: 34641
2370.74/2378.32 c #Conflicts: 1627000 | #Constraints: 35641
2370.74/2378.32 c #Conflicts: 1628000 | #Constraints: 36641
2370.74/2378.32 c #Conflicts: 1629000 | #Constraints: 37641
2370.74/2378.32 c #Conflicts: 1630000 | #Constraints: 38641
2370.74/2378.32 c #Conflicts: 1631000 | #Constraints: 39641
2370.74/2378.32 c #Conflicts: 1632000 | #Constraints: 40641
2370.74/2378.32 c #Conflicts: 1633000 | #Constraints: 41641
2370.74/2378.32 c #Conflicts: 1634000 | #Constraints: 42641
2370.74/2378.32 c #Conflicts: 1635000 | #Constraints: 43641
2370.74/2378.32 c #Conflicts: 1636000 | #Constraints: 44641
2370.74/2378.32 c #Conflicts: 1637000 | #Constraints: 45641
2370.74/2378.32 c #Conflicts: 1638000 | #Constraints: 46641
2370.74/2378.32 c #Conflicts: 1639000 | #Constraints: 47641
2370.74/2378.32 c #Conflicts: 1640000 | #Constraints: 48641
2370.74/2378.32 c #Conflicts: 1641000 | #Constraints: 49641
2370.74/2378.32 c #Conflicts: 1642000 | #Constraints: 50641
2370.74/2378.32 c INPROCESSING
2370.74/2378.32 c GARBAGE COLLECT
2370.74/2378.32 c #Conflicts: 1643000 | #Constraints: 26240
2370.74/2378.32 c #Conflicts: 1644000 | #Constraints: 27240
2370.74/2378.32 c #Conflicts: 1645000 | #Constraints: 28240
2370.74/2378.32 c #Conflicts: 1646000 | #Constraints: 29240
2370.74/2378.32 c #Conflicts: 1647000 | #Constraints: 30240
2370.74/2378.32 c #Conflicts: 1648000 | #Constraints: 31240
2370.74/2378.32 c #Conflicts: 1649000 | #Constraints: 32240
2370.74/2378.32 c #Conflicts: 1650000 | #Constraints: 33240
2370.74/2378.32 c #Conflicts: 1651000 | #Constraints: 34240
2370.74/2378.32 c #Conflicts: 1652000 | #Constraints: 35240
2370.74/2378.32 c #Conflicts: 1653000 | #Constraints: 36240
2370.74/2378.32 c #Conflicts: 1654000 | #Constraints: 37240
2370.74/2378.32 c #Conflicts: 1655000 | #Constraints: 38240
2370.74/2378.32 c #Conflicts: 1656000 | #Constraints: 39240
2370.74/2378.32 c #Conflicts: 1657000 | #Constraints: 40240
2370.74/2378.32 c #Conflicts: 1658000 | #Constraints: 41240
2370.74/2378.32 c #Conflicts: 1659000 | #Constraints: 42240
2370.74/2378.32 c #Conflicts: 1660000 | #Constraints: 43240
2370.74/2378.32 c #Conflicts: 1661000 | #Constraints: 44240
2370.74/2378.32 c #Conflicts: 1662000 | #Constraints: 45240
2370.74/2378.32 c #Conflicts: 1663000 | #Constraints: 46240
2370.74/2378.32 c #Conflicts: 1664000 | #Constraints: 47240
2370.74/2378.32 c #Conflicts: 1665000 | #Constraints: 48240
2370.74/2378.32 c #Conflicts: 1666000 | #Constraints: 49240
2370.74/2378.32 c #Conflicts: 1667000 | #Constraints: 50240
2370.74/2378.32 c #Conflicts: 1668000 | #Constraints: 51240
2370.74/2378.32 c INPROCESSING
2370.74/2378.32 c GARBAGE COLLECT
2370.74/2378.32 c #Conflicts: 1669000 | #Constraints: 26636
2370.74/2378.32 c #Conflicts: 1670000 | #Constraints: 27636
2370.74/2378.32 c #Conflicts: 1671000 | #Constraints: 28636
2370.74/2378.32 c #Conflicts: 1672000 | #Constraints: 29636
2370.74/2378.32 c #Conflicts: 1673000 | #Constraints: 30636
2370.74/2378.32 c #Conflicts: 1674000 | #Constraints: 31636
2370.74/2378.32 c #Conflicts: 1675000 | #Constraints: 32636
2370.74/2378.32 c #Conflicts: 1676000 | #Constraints: 33636
2370.74/2378.32 c #Conflicts: 1677000 | #Constraints: 34636
2370.74/2378.32 c #Conflicts: 1678000 | #Constraints: 35636
2370.74/2378.32 c #Conflicts: 1679000 | #Constraints: 36636
2370.74/2378.32 c #Conflicts: 1680000 | #Constraints: 37636
2565.81/2574.08 c #Conflicts: 1681000 | #Constraints: 38636
2565.81/2574.08 c #Conflicts: 1682000 | #Constraints: 39636
2565.81/2574.08 c #Conflicts: 1683000 | #Constraints: 40636
2565.81/2574.08 c #Conflicts: 1684000 | #Constraints: 41636
2565.81/2574.08 c #Conflicts: 1685000 | #Constraints: 42636
2565.81/2574.08 c #Conflicts: 1686000 | #Constraints: 43636
2565.81/2574.08 c #Conflicts: 1687000 | #Constraints: 44636
2565.81/2574.08 c #Conflicts: 1688000 | #Constraints: 45636
2565.81/2574.08 c #Conflicts: 1689000 | #Constraints: 46636
2565.81/2574.08 c #Conflicts: 1690000 | #Constraints: 47636
2565.81/2574.08 c #Conflicts: 1691000 | #Constraints: 48636
2565.81/2574.08 c #Conflicts: 1692000 | #Constraints: 49636
2565.81/2574.08 c #Conflicts: 1693000 | #Constraints: 50636
2565.81/2574.08 c #Conflicts: 1694000 | #Constraints: 51636
2565.81/2574.08 c INPROCESSING
2565.81/2574.08 c GARBAGE COLLECT
2565.81/2574.08 c #Conflicts: 1695000 | #Constraints: 26835
2565.81/2574.08 c #Conflicts: 1696000 | #Constraints: 27835
2565.81/2574.08 c #Conflicts: 1697000 | #Constraints: 28835
2565.81/2574.08 c #Conflicts: 1698000 | #Constraints: 29835
2565.81/2574.08 c #Conflicts: 1699000 | #Constraints: 30835
2565.81/2574.08 c #Conflicts: 1700000 | #Constraints: 31835
2565.81/2574.08 c #Conflicts: 1701000 | #Constraints: 32835
2565.81/2574.08 c #Conflicts: 1702000 | #Constraints: 33835
2565.81/2574.08 c #Conflicts: 1703000 | #Constraints: 34835
2565.81/2574.08 c #Conflicts: 1704000 | #Constraints: 35835
2565.81/2574.08 c #Conflicts: 1705000 | #Constraints: 36835
2565.81/2574.08 c #Conflicts: 1706000 | #Constraints: 37835
2565.81/2574.08 c #Conflicts: 1707000 | #Constraints: 38835
2565.81/2574.08 c #Conflicts: 1708000 | #Constraints: 39835
2565.81/2574.08 c #Conflicts: 1709000 | #Constraints: 40835
2565.81/2574.08 c #Conflicts: 1710000 | #Constraints: 41835
2565.81/2574.08 c #Conflicts: 1711000 | #Constraints: 42835
2565.81/2574.08 c #Conflicts: 1712000 | #Constraints: 43835
2565.81/2574.08 c #Conflicts: 1713000 | #Constraints: 44835
2565.81/2574.08 c #Conflicts: 1714000 | #Constraints: 45835
2565.81/2574.08 c #Conflicts: 1715000 | #Constraints: 46835
2565.81/2574.08 c #Conflicts: 1716000 | #Constraints: 47835
2565.81/2574.08 c #Conflicts: 1717000 | #Constraints: 48835
2565.81/2574.08 c #Conflicts: 1718000 | #Constraints: 49835
2565.81/2574.08 c #Conflicts: 1719000 | #Constraints: 50835
2565.81/2574.08 c #Conflicts: 1720000 | #Constraints: 51835
2565.81/2574.08 c INPROCESSING
2565.81/2574.08 c GARBAGE COLLECT
2565.81/2574.08 c #Conflicts: 1721000 | #Constraints: 26834
2565.81/2574.08 c #Conflicts: 1722000 | #Constraints: 27834
2565.81/2574.08 c #Conflicts: 1723000 | #Constraints: 28834
2565.81/2574.08 c #Conflicts: 1724000 | #Constraints: 29834
2565.81/2574.08 c #Conflicts: 1725000 | #Constraints: 30834
2565.81/2574.08 c #Conflicts: 1726000 | #Constraints: 31834
2565.81/2574.08 c #Conflicts: 1727000 | #Constraints: 32834
2565.81/2574.08 c #Conflicts: 1728000 | #Constraints: 33834
2565.81/2574.08 c #Conflicts: 1729000 | #Constraints: 34834
2565.81/2574.08 c #Conflicts: 1730000 | #Constraints: 35834
2565.81/2574.08 c #Conflicts: 1731000 | #Constraints: 36834
2565.81/2574.08 c #Conflicts: 1732000 | #Constraints: 37834
2565.81/2574.08 c #Conflicts: 1733000 | #Constraints: 38834
2565.81/2574.08 c #Conflicts: 1734000 | #Constraints: 39834
2565.81/2574.08 c #Conflicts: 1735000 | #Constraints: 40834
2565.81/2574.08 c #Conflicts: 1736000 | #Constraints: 41834
2565.81/2574.08 c #Conflicts: 1737000 | #Constraints: 42834
2565.81/2574.08 c #Conflicts: 1738000 | #Constraints: 43834
2565.81/2574.08 c #Conflicts: 1739000 | #Constraints: 44834
2565.81/2574.08 c #Conflicts: 1740000 | #Constraints: 45834
2565.81/2574.08 c #Conflicts: 1741000 | #Constraints: 46834
2565.81/2574.08 c #Conflicts: 1742000 | #Constraints: 47834
2565.81/2574.08 c #Conflicts: 1743000 | #Constraints: 48834
2565.81/2574.08 c #Conflicts: 1744000 | #Constraints: 49834
2565.81/2574.08 c #Conflicts: 1745000 | #Constraints: 50834
2565.81/2574.08 c #Conflicts: 1746000 | #Constraints: 51834
2565.81/2574.08 c INPROCESSING
2565.81/2574.08 c GARBAGE COLLECT
2565.81/2574.08 c #Conflicts: 1747000 | #Constraints: 26634
2565.81/2574.08 c #Conflicts: 1748000 | #Constraints: 27634
2565.81/2574.08 c #Conflicts: 1749000 | #Constraints: 28634
2565.81/2574.08 c #Conflicts: 1750000 | #Constraints: 29634
2565.81/2574.08 c #Conflicts: 1751000 | #Constraints: 30634
2565.81/2574.08 c #Conflicts: 1752000 | #Constraints: 31634
2565.81/2574.08 c #Conflicts: 1753000 | #Constraints: 32634
2565.81/2574.08 c #Conflicts: 1754000 | #Constraints: 33634
2565.81/2574.08 c #Conflicts: 1755000 | #Constraints: 34634
2565.81/2574.08 c #Conflicts: 1756000 | #Constraints: 35634
2565.81/2574.08 c #Conflicts: 1757000 | #Constraints: 36634
2752.29/2761.12 c #Conflicts: 1758000 | #Constraints: 37634
2752.29/2761.12 c #Conflicts: 1759000 | #Constraints: 38634
2752.29/2761.12 c #Conflicts: 1760000 | #Constraints: 39634
2752.29/2761.12 c #Conflicts: 1761000 | #Constraints: 40634
2752.29/2761.12 c #Conflicts: 1762000 | #Constraints: 41634
2752.29/2761.12 c #Conflicts: 1763000 | #Constraints: 42634
2752.29/2761.12 c #Conflicts: 1764000 | #Constraints: 43634
2752.29/2761.12 c #Conflicts: 1765000 | #Constraints: 44634
2752.29/2761.12 c #Conflicts: 1766000 | #Constraints: 45634
2752.29/2761.12 c #Conflicts: 1767000 | #Constraints: 46634
2752.29/2761.12 c #Conflicts: 1768000 | #Constraints: 47634
2752.29/2761.12 c #Conflicts: 1769000 | #Constraints: 48634
2752.29/2761.12 c #Conflicts: 1770000 | #Constraints: 49634
2752.29/2761.12 c #Conflicts: 1771000 | #Constraints: 50634
2752.29/2761.12 c #Conflicts: 1772000 | #Constraints: 51634
2752.29/2761.12 c #Conflicts: 1773000 | #Constraints: 52634
2752.29/2761.12 c INPROCESSING
2752.29/2761.12 c GARBAGE COLLECT
2752.29/2761.12 c #Conflicts: 1774000 | #Constraints: 27233
2752.29/2761.12 c #Conflicts: 1775000 | #Constraints: 28233
2752.29/2761.12 c #Conflicts: 1776000 | #Constraints: 29233
2752.29/2761.12 c #Conflicts: 1777000 | #Constraints: 30233
2752.29/2761.12 c #Conflicts: 1778000 | #Constraints: 31233
2752.29/2761.12 c #Conflicts: 1779000 | #Constraints: 32233
2752.29/2761.12 c #Conflicts: 1780000 | #Constraints: 33233
2752.29/2761.12 c #Conflicts: 1781000 | #Constraints: 34233
2752.29/2761.12 c #Conflicts: 1782000 | #Constraints: 35233
2752.29/2761.12 c #Conflicts: 1783000 | #Constraints: 36233
2752.29/2761.12 c #Conflicts: 1784000 | #Constraints: 37233
2752.29/2761.12 c #Conflicts: 1785000 | #Constraints: 38233
2752.29/2761.12 c #Conflicts: 1786000 | #Constraints: 39233
2752.29/2761.12 c #Conflicts: 1787000 | #Constraints: 40233
2752.29/2761.12 c #Conflicts: 1788000 | #Constraints: 41233
2752.29/2761.12 c #Conflicts: 1789000 | #Constraints: 42233
2752.29/2761.12 c #Conflicts: 1790000 | #Constraints: 43233
2752.29/2761.12 c #Conflicts: 1791000 | #Constraints: 44233
2752.29/2761.12 c #Conflicts: 1792000 | #Constraints: 45233
2752.29/2761.12 c #Conflicts: 1793000 | #Constraints: 46233
2752.29/2761.12 c #Conflicts: 1794000 | #Constraints: 47233
2752.29/2761.12 c #Conflicts: 1795000 | #Constraints: 48233
2752.29/2761.12 c #Conflicts: 1796000 | #Constraints: 49233
2752.29/2761.12 c #Conflicts: 1797000 | #Constraints: 50233
2752.29/2761.12 c #Conflicts: 1798000 | #Constraints: 51233
2752.29/2761.12 c #Conflicts: 1799000 | #Constraints: 52233
2752.29/2761.12 c #Conflicts: 1800000 | #Constraints: 53233
2752.29/2761.12 c INPROCESSING
2752.29/2761.12 c GARBAGE COLLECT
2752.29/2761.12 c #Conflicts: 1801000 | #Constraints: 27634
2752.29/2761.12 c #Conflicts: 1802000 | #Constraints: 28634
2752.29/2761.12 c #Conflicts: 1803000 | #Constraints: 29634
2752.29/2761.12 c #Conflicts: 1804000 | #Constraints: 30634
2752.29/2761.12 c #Conflicts: 1805000 | #Constraints: 31634
2752.29/2761.12 c #Conflicts: 1806000 | #Constraints: 32634
2752.29/2761.12 c #Conflicts: 1807000 | #Constraints: 33634
2752.29/2761.12 c #Conflicts: 1808000 | #Constraints: 34634
2752.29/2761.12 c #Conflicts: 1809000 | #Constraints: 35634
2752.29/2761.12 c #Conflicts: 1810000 | #Constraints: 36634
2752.29/2761.12 c #Conflicts: 1811000 | #Constraints: 37634
2752.29/2761.12 c #Conflicts: 1812000 | #Constraints: 38634
2752.29/2761.12 c #Conflicts: 1813000 | #Constraints: 39634
2752.29/2761.12 c #Conflicts: 1814000 | #Constraints: 40634
2752.29/2761.12 c #Conflicts: 1815000 | #Constraints: 41634
2752.29/2761.12 c #Conflicts: 1816000 | #Constraints: 42634
2752.29/2761.12 c #Conflicts: 1817000 | #Constraints: 43634
2752.29/2761.12 c #Conflicts: 1818000 | #Constraints: 44634
2752.29/2761.12 c #Conflicts: 1819000 | #Constraints: 45634
2752.29/2761.12 c #Conflicts: 1820000 | #Constraints: 46634
2752.29/2761.12 c #Conflicts: 1821000 | #Constraints: 47634
2752.29/2761.12 c #Conflicts: 1822000 | #Constraints: 48634
2752.29/2761.12 c #Conflicts: 1823000 | #Constraints: 49634
2752.29/2761.12 c #Conflicts: 1824000 | #Constraints: 50634
2752.29/2761.12 c #Conflicts: 1825000 | #Constraints: 51634
2752.29/2761.12 c #Conflicts: 1826000 | #Constraints: 52634
2752.29/2761.12 c #Conflicts: 1827000 | #Constraints: 53634
2752.29/2761.12 c INPROCESSING
2752.29/2761.12 c GARBAGE COLLECT
2752.29/2761.12 c #Conflicts: 1828000 | #Constraints: 27836
2752.29/2761.12 c #Conflicts: 1829000 | #Constraints: 28836
2752.29/2761.12 c #Conflicts: 1830000 | #Constraints: 29836
2752.29/2761.12 c #Conflicts: 1831000 | #Constraints: 30836
2752.29/2761.12 c #Conflicts: 1832000 | #Constraints: 31836
2752.29/2761.12 c #Conflicts: 1833000 | #Constraints: 32836
2964.89/2974.49 c #Conflicts: 1834000 | #Constraints: 33836
2964.89/2974.49 c #Conflicts: 1835000 | #Constraints: 34836
2964.89/2974.49 c #Conflicts: 1836000 | #Constraints: 35836
2964.89/2974.49 c #Conflicts: 1837000 | #Constraints: 36836
2964.89/2974.49 c #Conflicts: 1838000 | #Constraints: 37836
2964.89/2974.49 c #Conflicts: 1839000 | #Constraints: 38836
2964.89/2974.49 c #Conflicts: 1840000 | #Constraints: 39836
2964.89/2974.49 c #Conflicts: 1841000 | #Constraints: 40836
2964.89/2974.49 c #Conflicts: 1842000 | #Constraints: 41836
2964.89/2974.49 c #Conflicts: 1843000 | #Constraints: 42836
2964.89/2974.49 c #Conflicts: 1844000 | #Constraints: 43836
2964.89/2974.49 c #Conflicts: 1845000 | #Constraints: 44836
2964.89/2974.49 c #Conflicts: 1846000 | #Constraints: 45836
2964.89/2974.49 c #Conflicts: 1847000 | #Constraints: 46836
2964.89/2974.49 c #Conflicts: 1848000 | #Constraints: 47836
2964.89/2974.49 c #Conflicts: 1849000 | #Constraints: 48836
2964.89/2974.49 c #Conflicts: 1850000 | #Constraints: 49836
2964.89/2974.49 c #Conflicts: 1851000 | #Constraints: 50836
2964.89/2974.49 c #Conflicts: 1852000 | #Constraints: 51836
2964.89/2974.49 c #Conflicts: 1853000 | #Constraints: 52836
2964.89/2974.49 c #Conflicts: 1854000 | #Constraints: 53836
2964.89/2974.49 c INPROCESSING
2964.89/2974.49 c GARBAGE COLLECT
2964.89/2974.49 c #Conflicts: 1855000 | #Constraints: 27838
2964.89/2974.49 c #Conflicts: 1856000 | #Constraints: 28838
2964.89/2974.49 c #Conflicts: 1857000 | #Constraints: 29838
2964.89/2974.49 c #Conflicts: 1858000 | #Constraints: 30838
2964.89/2974.49 c #Conflicts: 1859000 | #Constraints: 31838
2964.89/2974.49 c #Conflicts: 1860000 | #Constraints: 32838
2964.89/2974.49 c #Conflicts: 1861000 | #Constraints: 33838
2964.89/2974.49 c #Conflicts: 1862000 | #Constraints: 34838
2964.89/2974.49 c #Conflicts: 1863000 | #Constraints: 35838
2964.89/2974.49 c #Conflicts: 1864000 | #Constraints: 36838
2964.89/2974.49 c #Conflicts: 1865000 | #Constraints: 37838
2964.89/2974.49 c #Conflicts: 1866000 | #Constraints: 38838
2964.89/2974.49 c #Conflicts: 1867000 | #Constraints: 39838
2964.89/2974.49 c #Conflicts: 1868000 | #Constraints: 40838
2964.89/2974.49 c #Conflicts: 1869000 | #Constraints: 41838
2964.89/2974.49 c #Conflicts: 1870000 | #Constraints: 42838
2964.89/2974.49 c #Conflicts: 1871000 | #Constraints: 43838
2964.89/2974.49 c #Conflicts: 1872000 | #Constraints: 44838
2964.89/2974.49 c #Conflicts: 1873000 | #Constraints: 45838
2964.89/2974.49 c #Conflicts: 1874000 | #Constraints: 46838
2964.89/2974.49 c #Conflicts: 1875000 | #Constraints: 47838
2964.89/2974.49 c #Conflicts: 1876000 | #Constraints: 48838
2964.89/2974.49 c #Conflicts: 1877000 | #Constraints: 49838
2964.89/2974.49 c #Conflicts: 1878000 | #Constraints: 50838
2964.89/2974.49 c #Conflicts: 1879000 | #Constraints: 51838
2964.89/2974.49 c #Conflicts: 1880000 | #Constraints: 52838
2964.89/2974.49 c #Conflicts: 1881000 | #Constraints: 53838
2964.89/2974.49 c INPROCESSING
2964.89/2974.49 c GARBAGE COLLECT
2964.89/2974.49 c #Conflicts: 1882000 | #Constraints: 27636
2964.89/2974.49 c #Conflicts: 1883000 | #Constraints: 28636
2964.89/2974.49 c #Conflicts: 1884000 | #Constraints: 29636
2964.89/2974.49 c #Conflicts: 1885000 | #Constraints: 30636
2964.89/2974.49 c #Conflicts: 1886000 | #Constraints: 31636
2964.89/2974.49 c #Conflicts: 1887000 | #Constraints: 32636
2964.89/2974.49 c #Conflicts: 1888000 | #Constraints: 33636
2964.89/2974.49 c #Conflicts: 1889000 | #Constraints: 34636
2964.89/2974.49 c #Conflicts: 1890000 | #Constraints: 35636
2964.89/2974.49 c #Conflicts: 1891000 | #Constraints: 36636
2964.89/2974.49 c #Conflicts: 1892000 | #Constraints: 37636
2964.89/2974.49 c #Conflicts: 1893000 | #Constraints: 38636
2964.89/2974.49 c #Conflicts: 1894000 | #Constraints: 39636
2964.89/2974.49 c #Conflicts: 1895000 | #Constraints: 40636
2964.89/2974.49 c #Conflicts: 1896000 | #Constraints: 41636
2964.89/2974.49 c #Conflicts: 1897000 | #Constraints: 42636
2964.89/2974.49 c #Conflicts: 1898000 | #Constraints: 43636
2964.89/2974.49 c #Conflicts: 1899000 | #Constraints: 44636
2964.89/2974.49 c #Conflicts: 1900000 | #Constraints: 45636
2964.89/2974.49 c #Conflicts: 1901000 | #Constraints: 46636
2964.89/2974.49 c #Conflicts: 1902000 | #Constraints: 47636
2964.89/2974.49 c #Conflicts: 1903000 | #Constraints: 48636
2964.89/2974.49 c #Conflicts: 1904000 | #Constraints: 49636
2964.89/2974.49 c #Conflicts: 1905000 | #Constraints: 50636
2964.89/2974.49 c #Conflicts: 1906000 | #Constraints: 51636
2964.89/2974.49 c #Conflicts: 1907000 | #Constraints: 52636
2964.89/2974.49 c #Conflicts: 1908000 | #Constraints: 53636
2964.89/2974.49 c #Conflicts: 1909000 | #Constraints: 54636
2964.89/2974.49 c INPROCESSING
2964.89/2974.49 c GARBAGE COLLECT
2964.89/2974.49 c #Conflicts: 1910000 | #Constraints: 28238
3172.40/3182.67 c #Conflicts: 1911000 | #Constraints: 29238
3172.40/3182.67 c #Conflicts: 1912000 | #Constraints: 30238
3172.40/3182.67 c #Conflicts: 1913000 | #Constraints: 31238
3172.40/3182.67 c #Conflicts: 1914000 | #Constraints: 32238
3172.40/3182.67 c #Conflicts: 1915000 | #Constraints: 33238
3172.40/3182.67 c #Conflicts: 1916000 | #Constraints: 34238
3172.40/3182.67 c #Conflicts: 1917000 | #Constraints: 35238
3172.40/3182.67 c #Conflicts: 1918000 | #Constraints: 36238
3172.40/3182.67 c #Conflicts: 1919000 | #Constraints: 37238
3172.40/3182.67 c #Conflicts: 1920000 | #Constraints: 38238
3172.40/3182.67 c #Conflicts: 1921000 | #Constraints: 39238
3172.40/3182.67 c #Conflicts: 1922000 | #Constraints: 40238
3172.40/3182.67 c #Conflicts: 1923000 | #Constraints: 41238
3172.40/3182.67 c #Conflicts: 1924000 | #Constraints: 42238
3172.40/3182.67 c #Conflicts: 1925000 | #Constraints: 43238
3172.40/3182.67 c #Conflicts: 1926000 | #Constraints: 44238
3172.40/3182.67 c #Conflicts: 1927000 | #Constraints: 45238
3172.40/3182.67 c #Conflicts: 1928000 | #Constraints: 46238
3172.40/3182.67 c #Conflicts: 1929000 | #Constraints: 47238
3172.40/3182.67 c #Conflicts: 1930000 | #Constraints: 48238
3172.40/3182.67 c #Conflicts: 1931000 | #Constraints: 49238
3172.40/3182.67 c #Conflicts: 1932000 | #Constraints: 50238
3172.40/3182.67 c #Conflicts: 1933000 | #Constraints: 51238
3172.40/3182.67 c #Conflicts: 1934000 | #Constraints: 52238
3172.40/3182.67 c #Conflicts: 1935000 | #Constraints: 53238
3172.40/3182.67 c #Conflicts: 1936000 | #Constraints: 54238
3172.40/3182.67 c #Conflicts: 1937000 | #Constraints: 55238
3172.40/3182.67 c INPROCESSING
3172.40/3182.67 c GARBAGE COLLECT
3172.40/3182.67 c #Conflicts: 1938000 | #Constraints: 28637
3172.40/3182.67 c #Conflicts: 1939000 | #Constraints: 29637
3172.40/3182.67 c #Conflicts: 1940000 | #Constraints: 30637
3172.40/3182.67 c #Conflicts: 1941000 | #Constraints: 31637
3172.40/3182.67 c #Conflicts: 1942000 | #Constraints: 32637
3172.40/3182.67 c #Conflicts: 1943000 | #Constraints: 33637
3172.40/3182.67 c #Conflicts: 1944000 | #Constraints: 34637
3172.40/3182.67 c #Conflicts: 1945000 | #Constraints: 35637
3172.40/3182.67 c #Conflicts: 1946000 | #Constraints: 36637
3172.40/3182.67 c #Conflicts: 1947000 | #Constraints: 37637
3172.40/3182.67 c #Conflicts: 1948000 | #Constraints: 38637
3172.40/3182.67 c #Conflicts: 1949000 | #Constraints: 39637
3172.40/3182.67 c #Conflicts: 1950000 | #Constraints: 40637
3172.40/3182.67 c #Conflicts: 1951000 | #Constraints: 41637
3172.40/3182.67 c #Conflicts: 1952000 | #Constraints: 42637
3172.40/3182.67 c #Conflicts: 1953000 | #Constraints: 43637
3172.40/3182.67 c #Conflicts: 1954000 | #Constraints: 44637
3172.40/3182.67 c #Conflicts: 1955000 | #Constraints: 45637
3172.40/3182.67 c #Conflicts: 1956000 | #Constraints: 46637
3172.40/3182.67 c #Conflicts: 1957000 | #Constraints: 47637
3172.40/3182.67 c #Conflicts: 1958000 | #Constraints: 48637
3172.40/3182.67 c #Conflicts: 1959000 | #Constraints: 49637
3172.40/3182.67 c #Conflicts: 1960000 | #Constraints: 50637
3172.40/3182.67 c #Conflicts: 1961000 | #Constraints: 51637
3172.40/3182.67 c #Conflicts: 1962000 | #Constraints: 52637
3172.40/3182.67 c #Conflicts: 1963000 | #Constraints: 53637
3172.40/3182.67 c #Conflicts: 1964000 | #Constraints: 54637
3172.40/3182.67 c #Conflicts: 1965000 | #Constraints: 55637
3172.40/3182.67 c INPROCESSING
3172.40/3182.67 c GARBAGE COLLECT
3172.40/3182.67 c #Conflicts: 1966000 | #Constraints: 28837
3172.40/3182.67 c #Conflicts: 1967000 | #Constraints: 29837
3172.40/3182.67 c #Conflicts: 1968000 | #Constraints: 30837
3172.40/3182.67 c #Conflicts: 1969000 | #Constraints: 31837
3172.40/3182.67 c #Conflicts: 1970000 | #Constraints: 32837
3172.40/3182.67 c #Conflicts: 1971000 | #Constraints: 33837
3172.40/3182.67 c #Conflicts: 1972000 | #Constraints: 34837
3172.40/3182.67 c #Conflicts: 1973000 | #Constraints: 35837
3172.40/3182.67 c #Conflicts: 1974000 | #Constraints: 36837
3172.40/3182.67 c #Conflicts: 1975000 | #Constraints: 37837
3172.40/3182.67 c #Conflicts: 1976000 | #Constraints: 38837
3172.40/3182.67 c #Conflicts: 1977000 | #Constraints: 39837
3172.40/3182.67 c #Conflicts: 1978000 | #Constraints: 40837
3172.40/3182.67 c #Conflicts: 1979000 | #Constraints: 41837
3172.40/3182.67 c #Conflicts: 1980000 | #Constraints: 42837
3172.40/3182.67 c #Conflicts: 1981000 | #Constraints: 43837
3172.40/3182.67 c #Conflicts: 1982000 | #Constraints: 44837
3172.40/3182.67 c #Conflicts: 1983000 | #Constraints: 45837
3172.40/3182.67 c #Conflicts: 1984000 | #Constraints: 46837
3172.40/3182.67 c #Conflicts: 1985000 | #Constraints: 47837
3172.40/3182.67 c #Conflicts: 1986000 | #Constraints: 48837
3172.40/3182.67 c #Conflicts: 1987000 | #Constraints: 49837
3172.40/3182.67 c #Conflicts: 1988000 | #Constraints: 50837
3385.00/3395.97 c #Conflicts: 1989000 | #Constraints: 51837
3385.00/3395.97 c #Conflicts: 1990000 | #Constraints: 52837
3385.00/3395.97 c #Conflicts: 1991000 | #Constraints: 53837
3385.00/3395.97 c #Conflicts: 1992000 | #Constraints: 54837
3385.00/3395.97 c #Conflicts: 1993000 | #Constraints: 55837
3385.00/3395.97 c INPROCESSING
3385.00/3395.97 c GARBAGE COLLECT
3385.00/3395.97 c #Conflicts: 1994000 | #Constraints: 28836
3385.00/3395.97 c #Conflicts: 1995000 | #Constraints: 29836
3385.00/3395.97 c #Conflicts: 1996000 | #Constraints: 30836
3385.00/3395.97 c #Conflicts: 1997000 | #Constraints: 31836
3385.00/3395.97 c #Conflicts: 1998000 | #Constraints: 32836
3385.00/3395.97 c #Conflicts: 1999000 | #Constraints: 33836
3385.00/3395.97 c #Conflicts: 2000000 | #Constraints: 34836
3385.00/3395.97 c #Conflicts: 2001000 | #Constraints: 35836
3385.00/3395.97 c #Conflicts: 2002000 | #Constraints: 36836
3385.00/3395.97 c #Conflicts: 2003000 | #Constraints: 37836
3385.00/3395.97 c #Conflicts: 2004000 | #Constraints: 38836
3385.00/3395.97 c #Conflicts: 2005000 | #Constraints: 39836
3385.00/3395.97 c #Conflicts: 2006000 | #Constraints: 40836
3385.00/3395.97 c #Conflicts: 2007000 | #Constraints: 41836
3385.00/3395.97 c #Conflicts: 2008000 | #Constraints: 42836
3385.00/3395.97 c #Conflicts: 2009000 | #Constraints: 43836
3385.00/3395.97 c #Conflicts: 2010000 | #Constraints: 44836
3385.00/3395.97 c #Conflicts: 2011000 | #Constraints: 45836
3385.00/3395.97 c #Conflicts: 2012000 | #Constraints: 46836
3385.00/3395.97 c #Conflicts: 2013000 | #Constraints: 47836
3385.00/3395.97 c #Conflicts: 2014000 | #Constraints: 48836
3385.00/3395.97 c #Conflicts: 2015000 | #Constraints: 49836
3385.00/3395.97 c #Conflicts: 2016000 | #Constraints: 50836
3385.00/3395.97 c #Conflicts: 2017000 | #Constraints: 51836
3385.00/3395.97 c #Conflicts: 2018000 | #Constraints: 52836
3385.00/3395.97 c #Conflicts: 2019000 | #Constraints: 53836
3385.00/3395.97 c #Conflicts: 2020000 | #Constraints: 54836
3385.00/3395.97 c #Conflicts: 2021000 | #Constraints: 55836
3385.00/3395.97 c INPROCESSING
3385.00/3395.97 c GARBAGE COLLECT
3385.00/3395.97 c #Conflicts: 2022000 | #Constraints: 28638
3385.00/3395.97 c #Conflicts: 2023000 | #Constraints: 29638
3385.00/3395.97 c #Conflicts: 2024000 | #Constraints: 30638
3385.00/3395.97 c #Conflicts: 2025000 | #Constraints: 31638
3385.00/3395.97 c #Conflicts: 2026000 | #Constraints: 32638
3385.00/3395.97 c #Conflicts: 2027000 | #Constraints: 33638
3385.00/3395.97 c #Conflicts: 2028000 | #Constraints: 34638
3385.00/3395.97 c #Conflicts: 2029000 | #Constraints: 35638
3385.00/3395.97 c #Conflicts: 2030000 | #Constraints: 36638
3385.00/3395.97 c #Conflicts: 2031000 | #Constraints: 37638
3385.00/3395.97 c #Conflicts: 2032000 | #Constraints: 38638
3385.00/3395.97 c #Conflicts: 2033000 | #Constraints: 39638
3385.00/3395.97 c #Conflicts: 2034000 | #Constraints: 40638
3385.00/3395.97 c #Conflicts: 2035000 | #Constraints: 41638
3385.00/3395.97 c #Conflicts: 2036000 | #Constraints: 42638
3385.00/3395.97 c #Conflicts: 2037000 | #Constraints: 43638
3385.00/3395.97 c #Conflicts: 2038000 | #Constraints: 44638
3385.00/3395.97 c #Conflicts: 2039000 | #Constraints: 45638
3385.00/3395.97 c #Conflicts: 2040000 | #Constraints: 46638
3385.00/3395.97 c #Conflicts: 2041000 | #Constraints: 47638
3385.00/3395.97 c #Conflicts: 2042000 | #Constraints: 48638
3385.00/3395.97 c #Conflicts: 2043000 | #Constraints: 49638
3385.00/3395.97 c #Conflicts: 2044000 | #Constraints: 50638
3385.00/3395.97 c #Conflicts: 2045000 | #Constraints: 51638
3385.00/3395.97 c #Conflicts: 2046000 | #Constraints: 52638
3385.00/3395.97 c #Conflicts: 2047000 | #Constraints: 53638
3385.00/3395.97 c #Conflicts: 2048000 | #Constraints: 54638
3385.00/3395.97 c #Conflicts: 2049000 | #Constraints: 55638
3385.00/3395.97 c #Conflicts: 2050000 | #Constraints: 56638
3385.00/3395.97 c INPROCESSING
3385.00/3395.97 c GARBAGE COLLECT
3385.00/3395.97 c #Conflicts: 2051000 | #Constraints: 29240
3385.00/3395.97 c #Conflicts: 2052000 | #Constraints: 30240
3385.00/3395.97 c #Conflicts: 2053000 | #Constraints: 31240
3385.00/3395.97 c #Conflicts: 2054000 | #Constraints: 32240
3385.00/3395.97 c #Conflicts: 2055000 | #Constraints: 33240
3385.00/3395.97 c #Conflicts: 2056000 | #Constraints: 34240
3385.00/3395.97 c #Conflicts: 2057000 | #Constraints: 35240
3385.00/3395.97 c #Conflicts: 2058000 | #Constraints: 36240
3385.00/3395.97 c #Conflicts: 2059000 | #Constraints: 37240
3385.00/3395.97 c #Conflicts: 2060000 | #Constraints: 38240
3385.00/3395.97 c #Conflicts: 2061000 | #Constraints: 39240
3385.00/3395.97 c #Conflicts: 2062000 | #Constraints: 40240
3385.00/3395.97 c #Conflicts: 2063000 | #Constraints: 41240
3385.00/3395.97 c #Conflicts: 2064000 | #Constraints: 42240
3385.00/3395.97 c #Conflicts: 2065000 | #Constraints: 43240
3600.08/3611.70 c #Conflicts: 2066000 | #Constraints: 44240
3600.08/3611.70 c #Conflicts: 2067000 | #Constraints: 45240
3600.08/3611.70 c #Conflicts: 2068000 | #Constraints: 46240
3600.08/3611.70 c #Conflicts: 2069000 | #Constraints: 47240
3600.08/3611.70 c #Conflicts: 2070000 | #Constraints: 48240
3600.08/3611.70 c #Conflicts: 2071000 | #Constraints: 49240
3600.08/3611.70 c #Conflicts: 2072000 | #Constraints: 50240
3600.08/3611.70 c #Conflicts: 2073000 | #Constraints: 51240
3600.08/3611.70 c #Conflicts: 2074000 | #Constraints: 52240
3600.08/3611.70 c #Conflicts: 2075000 | #Constraints: 53240
3600.08/3611.70 c #Conflicts: 2076000 | #Constraints: 54240
3600.08/3611.70 c #Conflicts: 2077000 | #Constraints: 55240
3600.08/3611.70 c #Conflicts: 2078000 | #Constraints: 56240
3600.08/3611.70 c #Conflicts: 2079000 | #Constraints: 57240
3600.08/3611.70 c INPROCESSING
3600.08/3611.70 c GARBAGE COLLECT
3600.08/3611.70 c #Conflicts: 2080000 | #Constraints: 29641
3600.08/3611.70 c #Conflicts: 2081000 | #Constraints: 30641
3600.08/3611.70 c #Conflicts: 2082000 | #Constraints: 31641
3600.08/3611.70 c #Conflicts: 2083000 | #Constraints: 32641
3600.08/3611.70 c #Conflicts: 2084000 | #Constraints: 33641
3600.08/3611.70 c #Conflicts: 2085000 | #Constraints: 34641
3600.08/3611.70 c #Conflicts: 2086000 | #Constraints: 35641
3600.08/3611.70 c #Conflicts: 2087000 | #Constraints: 36641
3600.08/3611.70 c #Conflicts: 2088000 | #Constraints: 37641
3600.08/3611.70 c #Conflicts: 2089000 | #Constraints: 38641
3600.08/3611.70 c #Conflicts: 2090000 | #Constraints: 39641
3600.08/3611.70 c #Conflicts: 2091000 | #Constraints: 40641
3600.08/3611.70 c #Conflicts: 2092000 | #Constraints: 41641
3600.08/3611.70 c #Conflicts: 2093000 | #Constraints: 42641
3600.08/3611.70 c #Conflicts: 2094000 | #Constraints: 43641
3600.08/3611.70 c #Conflicts: 2095000 | #Constraints: 44641
3600.08/3611.70 c #Conflicts: 2096000 | #Constraints: 45641
3600.08/3611.70 c #Conflicts: 2097000 | #Constraints: 46641
3600.08/3611.70 c #Conflicts: 2098000 | #Constraints: 47641
3600.08/3611.70 c #Conflicts: 2099000 | #Constraints: 48641
3600.08/3611.70 c #Conflicts: 2100000 | #Constraints: 49641
3600.08/3611.70 c #Conflicts: 2101000 | #Constraints: 50641
3600.08/3611.70 c #Conflicts: 2102000 | #Constraints: 51641
3600.08/3611.70 c #Conflicts: 2103000 | #Constraints: 52641
3600.08/3611.70 c #Conflicts: 2104000 | #Constraints: 53641
3600.08/3611.70 c #Conflicts: 2105000 | #Constraints: 54641
3600.08/3611.70 c #Conflicts: 2106000 | #Constraints: 55641
3600.08/3611.70 c #Conflicts: 2107000 | #Constraints: 56641
3600.08/3611.70 c #Conflicts: 2108000 | #Constraints: 57641
3600.08/3611.70 c INPROCESSING
3600.08/3611.70 c GARBAGE COLLECT
3600.08/3611.70 c #Conflicts: 2109000 | #Constraints: 29840
3600.08/3611.70 c #Conflicts: 2110000 | #Constraints: 30840
3600.08/3611.70 c #Conflicts: 2111000 | #Constraints: 31840
3600.08/3611.70 c #Conflicts: 2112000 | #Constraints: 32840
3600.08/3611.70 c #Conflicts: 2113000 | #Constraints: 33840
3600.08/3611.70 c #Conflicts: 2114000 | #Constraints: 34840
3600.08/3611.70 c #Conflicts: 2115000 | #Constraints: 35840
3600.08/3611.70 c #Conflicts: 2116000 | #Constraints: 36840
3600.08/3611.70 c #Conflicts: 2117000 | #Constraints: 37840
3600.08/3611.70 c #Conflicts: 2118000 | #Constraints: 38840
3600.08/3611.70 c #Conflicts: 2119000 | #Constraints: 39840
3600.08/3611.70 c #Conflicts: 2120000 | #Constraints: 40840
3600.08/3611.70 c #Conflicts: 2121000 | #Constraints: 41840
3600.08/3611.70 c #Conflicts: 2122000 | #Constraints: 42840
3600.08/3611.70 c #Conflicts: 2123000 | #Constraints: 43840
3600.08/3611.70 c #Conflicts: 2124000 | #Constraints: 44840
3600.08/3611.70 c #Conflicts: 2125000 | #Constraints: 45840
3600.08/3611.70 c #Conflicts: 2126000 | #Constraints: 46840
3600.08/3611.70 c #Conflicts: 2127000 | #Constraints: 47840
3600.08/3611.70 c #Conflicts: 2128000 | #Constraints: 48840
3600.08/3611.70 c #Conflicts: 2129000 | #Constraints: 49840
3600.08/3611.70 c #Conflicts: 2130000 | #Constraints: 50840
3600.08/3611.70 c #Conflicts: 2131000 | #Constraints: 51840
3600.08/3611.70 c #Conflicts: 2132000 | #Constraints: 52840
3600.08/3611.70 c #Conflicts: 2133000 | #Constraints: 53840
3600.08/3611.70 c #Conflicts: 2134000 | #Constraints: 54840
3600.08/3611.70 c #Conflicts: 2135000 | #Constraints: 55840
3600.08/3611.70 c #Conflicts: 2136000 | #Constraints: 56840
3600.08/3611.70 c #Conflicts: 2137000 | #Constraints: 57840
3600.08/3611.70 c INPROCESSING
3600.08/3611.70 c GARBAGE COLLECT
3600.08/3611.70 c Program interrupted by user.
3600.08/3611.70 c cpu time 3590.45 s
3600.08/3611.70 c deterministic time 589075658145 5.89e+11
3600.08/3611.70 c optimization time 0.993744 s
3600.08/3611.70 c total solve time 3589.46 s
3600.08/3611.70 c core-guided solve time 3589.46 s
3600.08/3611.70 c propagation time 3460.46 s
3600.08/3611.70 c conflict analysis time 112.806 s
3600.08/3611.70 c propagations 27504115
3600.08/3611.70 c resolve steps 9674974
3600.08/3611.70 c decisions 4592445
3600.08/3611.70 c conflicts 2137628
3600.08/3611.70 c restarts 4092
3600.08/3611.70 c inprocessing phases 137
3600.08/3611.70 c input clauses 0
3600.08/3611.70 c input cardinalities 0
3600.08/3611.70 c input general constraints 19
3600.08/3611.70 c input average constraint length 92.00
3600.08/3611.70 c input average constraint degree 2279.37
3600.08/3611.70 c learned clauses 1038234
3600.08/3611.70 c learned cardinalities 0
3600.08/3611.70 c learned general constraints 1099393
3600.08/3611.70 c learned average constraint length 90.12
3600.08/3611.70 c learned average constraint degree 208141.19
3600.08/3611.70 c watched constraints 1099093
3600.08/3611.70 c counting constraints 319
3600.08/3611.70 c gcd simplifications 906693
3600.08/3611.70 c detected cardinalities 0
3600.08/3611.70 c weakened non-implied lits 38403982
3600.08/3611.70 c weakened non-implying lits 2443820
3600.08/3611.70 c original variables 198
3600.08/3611.70 c clausal propagations 488296
3600.08/3611.70 c cardinality propagations 0
3600.08/3611.70 c watched propagations 22144911
3600.08/3611.70 c counting propagations 3327737
3600.08/3611.70 c watch lookups 25613167414
3600.08/3611.70 c watch backjump lookups 5354454941
3600.08/3611.70 c watch checks 520489224157
3600.08/3611.70 c propagation checks 36484157974
3600.08/3611.70 c constraint additions 1068323062
3600.08/3611.70 c trail pops 34234036
3600.08/3611.70 c formula constraints 16
3600.08/3611.70 c learned constraints 2137627
3600.08/3611.70 c bound constraints 3
3600.08/3611.70 c core-guided constraints 0
3600.08/3611.70 c encountered formula constraints 3477980
3600.08/3611.70 c encountered learned constraints 8334617
3600.08/3611.70 c encountered bound constraints 5
3600.08/3611.70 c encountered core-guided constraints 0
3600.08/3611.70 c LP total time 0 s
3600.08/3611.70 c LP solve time 0 s
3600.08/3611.70 c LP constraints added 0
3600.08/3611.70 c LP constraints removed 0
3600.08/3611.70 c LP pivots internal 0
3600.08/3611.70 c LP pivots root 0
3600.08/3611.70 c LP calls 0
3600.08/3611.70 c LP optimalities 0
3600.08/3611.70 c LP no pivot count 0
3600.08/3611.70 c LP infeasibilities 0
3600.08/3611.70 c LP valid Farkas constraints 0
3600.08/3611.70 c LP learned Farkas constraints 0
3600.08/3611.70 c LP basis resets 0
3600.08/3611.70 c LP cycling count 0
3600.08/3611.70 c LP singular count 0
3600.08/3611.70 c LP no primal count 0
3600.08/3611.70 c LP no farkas count 0
3600.08/3611.70 c LP other issue count 0
3600.08/3611.70 c LP Gomory cuts 0
3600.08/3611.70 c LP learned cuts 0
3600.08/3611.70 c LP deleted cuts 0
3600.08/3611.70 c LP encountered Gomory constraints 0
3600.08/3611.70 c LP encountered Farkas constraints 0
3600.08/3611.70 c LP encountered learned Farkas constraints 0
3600.08/3611.70 c CG auxiliary variables introduced 0
3600.08/3611.70 c CG solutions found 3
3600.08/3611.70 c CG cores constructed 0
3600.08/3611.70 c CG core cardinality constraints returned 0
3600.08/3611.70 c CG unit cores 0
3600.08/3611.70 c CG single cores 0
3600.08/3611.70 c CG blocks removed during cardinality reduction 0
3600.08/3611.70 c CG first core best 0
3600.08/3611.70 c CG decision core best 0
3600.08/3611.70 c CG core reduction tie 0
3600.08/3611.70 c CG core degree average 0.00
3600.08/3611.70 c CG core slack average 0.00
3600.08/3611.70 c CG exhausted 0
3600.08/3611.70 c CG exhaust time 0 s
3600.08/3611.70 c CG trimmed 0
3600.08/3611.70 c CG trim time 0 s
3600.08/3611.70 c CG minimized 0
3600.08/3611.70 c CG minimize time 0 s
3600.08/3611.70 c CG am1 prop time 0.000141 s
3600.08/3611.70 c CG # am1s reformulated 0
3600.08/3611.70 c CG lower bound derived from am1s 0
3600.08/3611.70 c CG # clausal cores 0
3600.08/3611.70 c CG # cardinality cores 0
3600.08/3611.70 c CG # pb cores 0
3600.08/3611.70 c CG # pb reforms 0
3600.08/3611.70 c CG # cores discarded because of pb reform 0
3600.08/3611.70 d LOWERBOUND 0
3600.08/3611.70 d NCORES 0
3600.08/3611.70 d NPBCORES 0
3600.08/3611.70 d NPBREFORM 0
3600.08/3611.70 d NTRIMMED 0
3600.08/3611.70 d NEXHAUSTED 0
3600.08/3611.70 d NAM1S 0
3600.08/3611.70 d AM1LB 0
3600.08/3611.70 o 116
3600.08/3611.70 s SATISFIABLE
3600.08/3611.70 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 x10 x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 x26 x27 x28 -x29 -x30 -x31 -x32 x33 x34 x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 x75 x76 -x77 -x78 -x79 -x80 x81 x82 x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 x100 -x101 -x102 -x103 -x104 x105 x106 x107 -x108 -x109 -x110 -x111 -x112 x113 x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 x138 -x139 x140 -x141 -x142 -x143 x144 x145 -x146 -x147 x148 -x149 -x150 x151 x152 -x153 -x154 x155 x156 -x157 x158 x159 x160 -x161 x162 -x163 -x164 x165 x166 x167 x168 x169 -x170 x171 x172 -x173 x174 x175 x176 -x177 -x178 -x179 x180 x181 x182 x183 -x184 x185 -x186 -x187 -x188 x189 x190 -x191 x192 -x193 x194 -x195 -x196 -x197 x198
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (63056 MiB free)
memory of node 1: 64510 MiB (62542 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435907-1721102578/watcher-4435907-1721102578 -o /tmp/evaluation-result-4435907-1721102578/solver-4435907-1721102578 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721102552-829784 --watchdog 3760 pb-oll-rs HOME/instance-4435907-1721102578.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=830220, runsolver pid=830217
[startup+0.100095 s]*
/proc/loadavg: 4.36 4.19 4.19 5/245 830221
/proc/meminfo: memFree=128609956/131655788 swapFree=131071996/131071996
[pid=830220] ppid=830217 vsize=39184 memory=8472 CPUtime=0.1 cores=0,2
/proc/830220/stat : 830220 (pb-oll-rs) R 830217 830220 829774 0 -1 4194304 446 0 0 0 10 0 0 0 20 0 1 0 162413953 40124416 2118 134679101440 4194304 5384005 140722734987936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6619136 140722734994455 140722734994532 140722734994532 140722735001547 0
/proc/830220/statm: 9796 2118 1337 291 0 1330 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39184 KiB
Current children cumulated memory: 8472 KiB
[startup+0.212678 s]*
/proc/loadavg: 4.36 4.19 4.19 5/245 830221
/proc/meminfo: memFree=128609300/131655788 swapFree=131071996/131071996
[pid=830220] ppid=830217 vsize=39448 memory=8736 CPUtime=0.21 cores=0,2
/proc/830220/stat : 830220 (pb-oll-rs) R 830217 830220 829774 0 -1 4194304 520 0 0 0 21 0 0 0 20 0 1 0 162413953 40394752 2184 134679101440 4194304 5384005 140722734987936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6619136 140722734994455 140722734994532 140722734994532 140722735001547 0
/proc/830220/statm: 9862 2184 1337 291 0 1396 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39448 KiB
Current children cumulated memory: 8736 KiB
[startup+0.312244 s]*
/proc/loadavg: 4.34 4.19 4.18 5/245 830221
/proc/meminfo: memFree=128609188/131655788 swapFree=131071996/131071996
[pid=830220] ppid=830217 vsize=39716 memory=9228 CPUtime=0.31 cores=0,2
/proc/830220/stat : 830220 (pb-oll-rs) R 830217 830220 829774 0 -1 4194304 560 0 0 0 31 0 0 0 20 0 1 0 162413953 40669184 2307 134679101440 4194304 5384005 140722734987936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6619136 140722734994455 140722734994532 140722734994532 140722735001547 0
/proc/830220/statm: 9929 2307 1398 291 0 1463 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39716 KiB
Current children cumulated memory: 9228 KiB
[startup+0.700261 s]
/proc/loadavg: 4.34 4.19 4.18 5/245 830221
/proc/meminfo: memFree=128608712/131655788 swapFree=131071996/131071996
[pid=830220] ppid=830217 vsize=40124 memory=9492 CPUtime=0.69 cores=0,2
/proc/830220/stat : 830220 (pb-oll-rs) R 830217 830220 829774 0 -1 4194304 682 0 0 0 67 2 0 0 20 0 1 0 162413953 41086976 2373 134679101440 4194304 5384005 140722734987936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6619136 140722734994455 140722734994532 140722734994532 140722735001547 0
/proc/830220/statm: 10031 2373 1398 291 0 1565 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40124 KiB
Current children cumulated memory: 9492 KiB
[startup+1.50027 s]
/proc/loadavg: 4.34 4.19 4.18 5/245 830221
/proc/meminfo: memFree=128607676/131655788 swapFree=131071996/131071996
[pid=830220] ppid=830217 vsize=40804 memory=10812 CPUtime=1.48 cores=0,2
/proc/830220/stat : 830220 (pb-oll-rs) R 830217 830220 829774 0 -1 4194304 959 0 0 0 145 3 0 0 20 0 1 0 162413953 41783296 2703 134679101440 4194304 5384005 140722734987936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6619136 140722734994455 140722734994532 140722734994532 140722735001547 0
/proc/830220/statm: 10201 2703 1398 291 0 1735 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40804 KiB
Current children cumulated memory: 10812 KiB
[startup+3.11252 s]
/proc/loadavg: 4.34 4.19 4.18 5/245 830221
/proc/meminfo: memFree=128605660/131655788 swapFree=131071996/131071996
[pid=830220] ppid=830217 vsize=41784 memory=12604 CPUtime=3.09 cores=0,2
/proc/830220/stat : 830220 (pb-oll-rs) R 830217 830220 829774 0 -1 4194304 1398 0 0 0 303 6 0 0 20 0 1 0 162413953 42786816 3151 134679101440 4194304 5384005 140722734987936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6619136 140722734994455 140722734994532 140722734994532 140722735001547 0
/proc/830220/statm: 10446 3151 1398 291 0 1980 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 41784 KiB
Current children cumulated memory: 12604 KiB
[startup+6.30025 s]
/proc/loadavg: 4.39 4.20 4.19 5/245 830223
/proc/meminfo: memFree=128604260/131655788 swapFree=131071996/131071996
[pid=830220] ppid=830217 vsize=42200 memory=13360 CPUtime=6.27 cores=0,2
/proc/830220/stat : 830220 (pb-oll-rs) R 830217 830220 829774 0 -1 4194304 1588 0 0 0 616 11 0 0 20 0 1 0 162413953 43212800 3340 134679101440 4194304 5384005 140722734987936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6619136 140722734994455 140722734994532 140722734994532 140722735001547 0
/proc/830220/statm: 10550 3340 1398 291 0 2084 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 42200 KiB
Current children cumulated memory: 13360 KiB
[startup+12.7003 s]
/proc/loadavg: 4.36 4.20 4.19 5/243 830223
/proc/meminfo: memFree=128582928/131655788 swapFree=131071996/131071996
[pid=830220] ppid=830217 vsize=45928 memory=15460 CPUtime=12.65 cores=0,2
/proc/830220/stat : 830220 (pb-oll-rs) R 830217 830220 829774 0 -1 4194304 2114 0 0 0 1248 17 0 0 20 0 1 0 162413953 47030272 3865 134679101440 4194304 5384005 140722734987936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6619136 140722734994455 140722734994532 140722734994532 140722735001547 0
/proc/830220/statm: 11482 3865 1398 291 0 3016 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 45928 KiB
Current children cumulated memory: 15460 KiB
[startup+25.5003 s]
/proc/loadavg: 4.46 4.23 4.20 5/243 830224
/proc/meminfo: memFree=128563588/131655788 swapFree=131071996/131071996
[pid=830220] ppid=830217 vsize=47368 memory=17572 CPUtime=25.41 cores=0,2
/proc/830220/stat : 830220 (pb-oll-rs) R 830217 830220 829774 0 -1 4194304 2659 0 0 0 2513 28 0 0 20 0 1 0 162413953 48504832 4393 134679101440 4194304 5384005 140722734987936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6619136 140722734994455 140722734994532 140722734994532 140722735001547 0
/proc/830220/statm: 11842 4393 1398 291 0 3376 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 47368 KiB
Current children cumulated memory: 17572 KiB
[startup+51.1124 s]
/proc/loadavg: 4.47 4.25 4.20 5/243 830229
/proc/meminfo: memFree=128544452/131655788 swapFree=131071996/131071996
[pid=830220] ppid=830217 vsize=52684 memory=20640 CPUtime=50.95 cores=0,2
/proc/830220/stat : 830220 (pb-oll-rs) R 830217 830220 829774 0 -1 4194304 3509 0 0 0 5044 51 0 0 20 0 1 0 162413953 53948416 5160 134679101440 4194304 5384005 140722734987936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6619136 140722734994455 140722734994532 140722734994532 140722735001547 0
/proc/830220/statm: 13171 5160 1398 291 0 4705 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 52684 KiB
Current children cumulated memory: 20640 KiB
[startup+102.3 s]
/proc/loadavg: 4.28 4.24 4.20 5/243 830237
/proc/meminfo: memFree=128464108/131655788 swapFree=131071996/131071996
[pid=830220] ppid=830217 vsize=55756 memory=25512 CPUtime=101.97 cores=0,2
/proc/830220/stat : 830220 (pb-oll-rs) R 830217 830220 829774 0 -1 4194304 4280 0 0 0 10110 87 0 0 20 0 1 0 162413953 57094144 6378 134679101440 4194304 5384005 140722734987936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6619136 140722734994455 140722734994532 140722734994532 140722735001547 0
/proc/830220/statm: 13939 6378 1398 291 0 5473 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 55756 KiB
Current children cumulated memory: 25512 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.21 4.19 5/241 830249
/proc/meminfo: memFree=128442448/131655788 swapFree=131071996/131071996
[pid=830220] ppid=830217 vsize=64940 memory=28716 CPUtime=161.79 cores=0,2
/proc/830220/stat : 830220 (pb-oll-rs) R 830217 830220 829774 0 -1 4194304 5157 0 0 0 16061 118 0 0 20 0 1 0 162413953 66498560 7179 134679101440 4194304 5384005 140722734987936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6619136 140722734994455 140722734994532 140722734994532 140722735001547 0
/proc/830220/statm: 16235 7179 1398 291 0 7769 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 64940 KiB
Current children cumulated memory: 28716 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.20 4.19 5/242 830260
/proc/meminfo: memFree=128412184/131655788 swapFree=131071996/131071996
[pid=830220] ppid=830217 vsize=66676 memory=33168 CPUtime=221.6 cores=0,2
/proc/830220/stat : 830220 (pb-oll-rs) R 830217 830220 829774 0 -1 4194304 5934 0 0 0 22008 152 0 0 20 0 1 0 162413953 68276224 8292 134679101440 4194304 5384005 140722734987936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6619136 140722734994455 140722734994532 140722734994532 140722735001547 0
/proc/830220/statm: 16669 8292 1398 291 0 8203 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 66676 KiB
Current children cumulated memory: 33168 KiB
[startup+282.3 s]
/proc/loadavg: 5.17 4.46 4.28 5/242 830270
/proc/meminfo: memFree=128351652/131655788 swapFree=131071996/131071996
[pid=830220] ppid=830217 vsize=66584 memory=33256 CPUtime=281.42 cores=0,2
/proc/830220/stat : 830220 (pb-oll-rs) R 830217 830220 829774 0 -1 4194304 6131 0 0 0 27962 180 0 0 20 0 1 0 162413953 68182016 8314 134679101440 4194304 5384005 140722734987936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6619136 140722734994455 140722734994532 140722734994532 140722735001547 0
/proc/830220/statm: 16646 8314 1398 291 0 8180 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 66584 KiB
Current children cumulated memory: 33256 KiB
[startup+342.3 s]
/proc/loadavg: 5.00 4.56 4.32 5/242 830280
/proc/meminfo: memFree=128344240/131655788 swapFree=131071996/131071996
[pid=830220] ppid=830217 vsize=67672 memory=36576 CPUtime=341.21 cores=0,2
/proc/830220/stat : 830220 (pb-oll-rs) R 830217 830220 829774 0 -1 4194304 6523 0 0 0 33917 204 0 0 20 0 1 0 162413953 69296128 9144 134679101440 4194304 5384005 140722734987936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6619136 140722734994455 140722734994532 140722734994532 140722735001547 0
/proc/830220/statm: 16918 9144 1398 291 0 8452 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 67672 KiB
Current children cumulated memory: 36576 KiB
[startup+402.3 s]
/proc/loadavg: 4.40 4.47 4.30 5/242 830291
/proc/meminfo: memFree=128317540/131655788 swapFree=131071996/131071996
[pid=830220] ppid=830217 vsize=68696 memory=37996 CPUtime=401.03 cores=0,2
/proc/830220/stat : 830220 (pb-oll-rs) R 830217 830220 829774 0 -1 4194304 6840 0 0 0 39876 227 0 0 20 0 1 0 162413953 70344704 9499 134679101440 4194304 5384005 140722734987936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6619136 140722734994455 140722734994532 140722734994532 140722735001547 0
/proc/830220/statm: 17174 9499 1398 291 0 8708 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 68696 KiB
Current children cumulated memory: 37996 KiB
[startup+462.3 s]
/proc/loadavg: 4.24 4.41 4.29 5/244 830306
/proc/meminfo: memFree=128279400/131655788 swapFree=131071996/131071996
[pid=830220] ppid=830217 vsize=68696 memory=38272 CPUtime=460.84 cores=0,2
/proc/830220/stat : 830220 (pb-oll-rs) R 830217 830220 829774 0 -1 4194304 7074 0 0 0 45834 250 0 0 20 0 1 0 162413953 70344704 9568 134679101440 4194304 5384005 140722734987936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6619136 140722734994455 140722734994532 140722734994532 140722735001547 0
################
# More data... #
################
Current children cumulated memory: 65920 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.11 4.14 5/245 831365
/proc/meminfo: memFree=119421592/131655788 swapFree=131071996/131071996
[pid=830220] ppid=830217 vsize=112864 memory=65920 CPUtime=2912.96 cores=0,2
/proc/830220/stat : 830220 (pb-oll-rs) R 830217 830220 829774 0 -1 4194304 15188 0 0 0 290453 843 0 0 20 0 1 0 162413953 115572736 16480 134679101440 4194304 5384005 140722734987936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6619136 140722734994455 140722734994532 140722734994532 140722735001547 0
/proc/830220/statm: 28216 16480 1398 291 0 19750 0
Current children cumulated CPU time: 2912.96 s
Current children cumulated vsize: 112864 KiB
Current children cumulated memory: 65920 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/245 831376
/proc/meminfo: memFree=119342152/131655788 swapFree=131071996/131071996
[pid=830220] ppid=830217 vsize=112864 memory=65964 CPUtime=2972.76 cores=0,2
/proc/830220/stat : 830220 (pb-oll-rs) R 830217 830220 829774 0 -1 4194304 15215 0 0 0 296421 855 0 0 20 0 1 0 162413953 115572736 16491 134679101440 4194304 5384005 140722734987936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6619136 140722734994455 140722734994532 140722734994532 140722735001547 0
/proc/830220/statm: 28216 16491 1398 291 0 19750 0
Current children cumulated CPU time: 2972.76 s
Current children cumulated vsize: 112864 KiB
Current children cumulated memory: 65964 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.12 4.13 5/245 831386
/proc/meminfo: memFree=119159188/131655788 swapFree=131071996/131071996
[pid=830220] ppid=830217 vsize=112864 memory=65964 CPUtime=3032.57 cores=0,2
/proc/830220/stat : 830220 (pb-oll-rs) R 830217 830220 829774 0 -1 4194304 15239 0 0 0 302391 866 0 0 20 0 1 0 162413953 115572736 16491 134679101440 4194304 5384005 140722734987936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6619136 140722734994455 140722734994532 140722734994532 140722735001547 0
/proc/830220/statm: 28216 16491 1398 291 0 19750 0
Current children cumulated CPU time: 3032.57 s
Current children cumulated vsize: 112864 KiB
Current children cumulated memory: 65964 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/244 831396
/proc/meminfo: memFree=119090540/131655788 swapFree=131071996/131071996
[pid=830220] ppid=830217 vsize=112864 memory=65964 CPUtime=3092.37 cores=0,2
/proc/830220/stat : 830220 (pb-oll-rs) R 830217 830220 829774 0 -1 4194304 15263 0 0 0 308359 878 0 0 20 0 1 0 162413953 115572736 16491 134679101440 4194304 5384005 140722734987936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6619136 140722734994455 140722734994532 140722734994532 140722735001547 0
/proc/830220/statm: 28216 16491 1398 291 0 19750 0
Current children cumulated CPU time: 3092.37 s
Current children cumulated vsize: 112864 KiB
Current children cumulated memory: 65964 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.12 5/243 831792
/proc/meminfo: memFree=119037696/131655788 swapFree=131071996/131071996
[pid=830220] ppid=830217 vsize=112864 memory=65976 CPUtime=3152.17 cores=0,2
/proc/830220/stat : 830220 (pb-oll-rs) R 830217 830220 829774 0 -1 4194304 15288 0 0 0 314331 886 0 0 20 0 1 0 162413953 115572736 16494 134679101440 4194304 5384005 140722734987936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6619136 140722734994455 140722734994532 140722734994532 140722735001547 0
/proc/830220/statm: 28216 16494 1398 291 0 19750 0
Current children cumulated CPU time: 3152.17 s
Current children cumulated vsize: 112864 KiB
Current children cumulated memory: 65976 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.10 4.11 5/243 831802
/proc/meminfo: memFree=118963124/131655788 swapFree=131071996/131071996
[pid=830220] ppid=830217 vsize=113120 memory=66184 CPUtime=3211.97 cores=0,2
/proc/830220/stat : 830220 (pb-oll-rs) R 830217 830220 829774 0 -1 4194304 15374 0 0 0 320300 897 0 0 20 0 1 0 162413953 115834880 16546 134679101440 4194304 5384005 140722734987936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6619136 140722734994455 140722734994532 140722734994532 140722735001547 0
/proc/830220/statm: 28280 16546 1398 291 0 19814 0
Current children cumulated CPU time: 3211.97 s
Current children cumulated vsize: 113120 KiB
Current children cumulated memory: 66184 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.11 4.11 5/244 831813
/proc/meminfo: memFree=118831900/131655788 swapFree=131071996/131071996
[pid=830220] ppid=830217 vsize=113120 memory=66184 CPUtime=3271.78 cores=0,2
/proc/830220/stat : 830220 (pb-oll-rs) R 830217 830220 829774 0 -1 4194304 15402 0 0 0 326269 909 0 0 20 0 1 0 162413953 115834880 16546 134679101440 4194304 5384005 140722734987936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6619136 140722734994455 140722734994532 140722734994532 140722735001547 0
/proc/830220/statm: 28280 16546 1398 291 0 19814 0
Current children cumulated CPU time: 3271.78 s
Current children cumulated vsize: 113120 KiB
Current children cumulated memory: 66184 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/245 831992
/proc/meminfo: memFree=118652768/131655788 swapFree=131071996/131071996
[pid=830220] ppid=830217 vsize=113120 memory=66236 CPUtime=3331.57 cores=0,2
/proc/830220/stat : 830220 (pb-oll-rs) R 830217 830220 829774 0 -1 4194304 15425 0 0 0 332238 919 0 0 20 0 1 0 162413953 115834880 16559 134679101440 4194304 5384005 140722734987936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6619136 140722734994455 140722734994532 140722734994532 140722735001547 0
/proc/830220/statm: 28280 16559 1398 291 0 19814 0
Current children cumulated CPU time: 3331.57 s
Current children cumulated vsize: 113120 KiB
Current children cumulated memory: 66236 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/245 832003
/proc/meminfo: memFree=117933016/131655788 swapFree=131071996/131071996
[pid=830220] ppid=830217 vsize=113120 memory=66236 CPUtime=3391.38 cores=0,2
/proc/830220/stat : 830220 (pb-oll-rs) R 830217 830220 829774 0 -1 4194304 15448 0 0 0 338208 930 0 0 20 0 1 0 162413953 115834880 16559 134679101440 4194304 5384005 140722734987936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6619136 140722734994455 140722734994532 140722734994532 140722735001547 0
/proc/830220/statm: 28280 16559 1398 291 0 19814 0
Current children cumulated CPU time: 3391.38 s
Current children cumulated vsize: 113120 KiB
Current children cumulated memory: 66236 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.10 5/244 832015
/proc/meminfo: memFree=117165912/131655788 swapFree=131071996/131071996
[pid=830220] ppid=830217 vsize=113376 memory=66332 CPUtime=3451.18 cores=0,2
/proc/830220/stat : 830220 (pb-oll-rs) R 830217 830220 829774 0 -1 4194304 15538 0 0 0 344178 940 0 0 20 0 1 0 162413953 116097024 16583 134679101440 4194304 5384005 140722734987936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6619136 140722734994455 140722734994532 140722734994532 140722735001547 0
/proc/830220/statm: 28344 16583 1398 291 0 19878 0
Current children cumulated CPU time: 3451.18 s
Current children cumulated vsize: 113376 KiB
Current children cumulated memory: 66332 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.11 4.10 5/244 832036
/proc/meminfo: memFree=116825716/131655788 swapFree=131071996/131071996
[pid=830220] ppid=830217 vsize=113816 memory=68756 CPUtime=3510.98 cores=0,2
/proc/830220/stat : 830220 (pb-oll-rs) R 830217 830220 829774 0 -1 4194304 15628 0 0 0 350148 950 0 0 20 0 1 0 162413953 116547584 17189 134679101440 4194304 5384005 140722734987936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6619136 140722734994455 140722734994532 140722734994532 140722735001547 0
/proc/830220/statm: 28454 17189 1398 291 0 19988 0
Current children cumulated CPU time: 3510.98 s
Current children cumulated vsize: 113816 KiB
Current children cumulated memory: 68756 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/244 832139
/proc/meminfo: memFree=128432128/131655788 swapFree=131071996/131071996
[pid=830220] ppid=830217 vsize=114072 memory=68932 CPUtime=3570.8 cores=0,2
/proc/830220/stat : 830220 (pb-oll-rs) R 830217 830220 829774 0 -1 4194304 15796 0 0 0 356120 960 0 0 20 0 1 0 162413953 116809728 17233 134679101440 4194304 5384005 140722734987936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6619136 140722734994455 140722734994532 140722734994532 140722735001547 0
/proc/830220/statm: 28518 17233 1398 291 0 20052 0
Current children cumulated CPU time: 3570.8 s
Current children cumulated vsize: 114072 KiB
Current children cumulated memory: 68932 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.7 s]
/proc/loadavg: 4.13 4.11 4.10 5/243 832236
/proc/meminfo: memFree=127451272/131655788 swapFree=131071996/131071996
[pid=830220] ppid=830217 vsize=114840 memory=69584 CPUtime=3600.08 cores=0,2
/proc/830220/stat : 830220 (pb-oll-rs) R 830217 830220 829774 0 -1 4194304 16061 0 0 0 359044 964 0 0 20 0 1 0 162413953 117596160 17396 134679101440 4194304 5384005 140722734987936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6619136 140722734994455 140722734994532 140722734994532 140722735001547 0
/proc/830220/statm: 28710 17396 1398 291 0 20244 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 114840 KiB
Current children cumulated memory: 69584 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.7 s]
# the end of solver process 830220 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.45 s, system=9.64667 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.7 s]
/proc/loadavg: 4.13 4.11 4.10 5/243 832236
/proc/meminfo: memFree=127451272/131655788 swapFree=131071996/131071996
[pid=830220] ppid=830217 vsize=114840 memory=69584 CPUtime=3600.08 cores=0,2
/proc/830220/stat : 830220 (pb-oll-rs) R 830217 830220 829774 0 -1 4194304 16061 0 0 0 359044 964 0 0 20 0 1 0 162413953 117596160 17396 134679101440 4194304 5384005 140722734987936 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 6619136 140722734994455 140722734994532 140722734994532 140722735001547 0
/proc/830220/statm: 28710 17396 1398 291 0 20244 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 114840 KiB
Current children cumulated memory: 69584 KiB
Child status: 0
Real time (s): 3611.7
CPU time (s): 3600.1
CPU user time (s): 3590.45
CPU system time (s): 9.64667
CPU usage (%): 99.6787
Max. virtual memory (cumulated for all children) (KiB): 115396
Max. memory (cumulated for all children) (KiB): 69884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.45
system time used= 9.64667
maximum resident set size= 69884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16078
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= 30
involuntary context switches= 25197
# summary of solver processes directly reported to runsolver:
# pid: 830220
# total CPU time (s): 3600.1
# total CPU user time (s): 3590.45
# total CPU system time (s): 9.64667
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1447 second user time and 34.92 second system time
The end
Begin job on nodeC003 at 2024-07-16 06:03:11
IDJOB=4435907
IDBENCH=147578
IDSOLVER=3067
FILE ID=nodeC003/4435907-1721102578
RUNJOBID= nodeC003-1721102552-829784
SLURM_JOB_ID= 7505615
Free space on /tmp= 723744 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_8_70_1.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435907-1721102578/watcher-4435907-1721102578 -o /tmp/evaluation-result-4435907-1721102578/solver-4435907-1721102578 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721102552-829784 --watchdog 3760 pb-oll-rs HOME/instance-4435907-1721102578.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b4b357048b7fd6a2befaa81502734110
RANDOM SEED=887825813
nodeC003.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 : 3653.668
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.76
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 : 3663.759
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.30
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.224
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.76
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.345
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.30
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 : 3659.337
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.76
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 : 3664.110
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.30
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.413
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.76
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.434
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.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128613928 kB
MemAvailable: 129605984 kB
Buffers: 402804 kB
Cached: 1422896 kB
SwapCached: 0 kB
Active: 657084 kB
Inactive: 1843368 kB
Active(anon): 1460 kB
Inactive(anon): 710988 kB
Active(file): 655624 kB
Inactive(file): 1132380 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 4280 kB
Writeback: 0 kB
AnonPages: 674540 kB
Mapped: 107812 kB
Shmem: 37704 kB
KReclaimable: 88164 kB
Slab: 183888 kB
SReclaimable: 88164 kB
SUnreclaim: 95724 kB
KernelStack: 3968 kB
PageTables: 10892 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1238896 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51744 kB
HardwareCorrupted: 0 kB
AnonHugePages: 276480 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: 228168 kB
DirectMap2M: 14356480 kB
DirectMap1G: 121634816 kB
Free space on /tmp at the end= 723772 MiB
End job on nodeC003 at 2024-07-16 07:03:22