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