0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.02 c #variables 792 #constraints 1188
0.00/0.02 c objective is ce32
0.00/0.02 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.02 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.02 c GLOBAL bounds - >= 0 @ 0.003914
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.005779
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.006386
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.00666
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.00666
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.006748
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.006748
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.006827
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.006827
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.007209
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.007737
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.008716
0.00/0.03 c GLOBAL bounds - >= 0 @ 0.009031
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.011567
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.012364
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.013147
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.01346
0.00/0.08 c GLOBAL bounds - >= 0 @ 0.055025
0.08/0.14 c GLOBAL bounds - >= 0 @ 0.107686
0.19/0.25 c #Conflicts: 1000 | #Constraints: 2096
0.19/0.25 c GLOBAL bounds - >= 0 @ 0.210702
0.88/0.99 c #Conflicts: 2000 | #Constraints: 3098
0.88/0.99 c INPROCESSING
0.88/0.99 c GARBAGE COLLECT
0.88/0.99 c #Conflicts: 3000 | #Constraints: 3104
0.88/0.99 c #Conflicts: 4000 | #Constraints: 4104
0.88/0.99 c INPROCESSING
0.88/0.99 c GARBAGE COLLECT
0.88/0.99 c #Conflicts: 5000 | #Constraints: 3508
0.88/0.99 c GLOBAL bounds - >= 0 @ 0.926715
0.88/0.99 c GLOBAL bounds - >= 0 @ 0.92889
0.88/0.99 c GLOBAL bounds - >= 0 @ 0.930476
1.17/1.25 c #Conflicts: 6000 | #Constraints: 4514
1.17/1.25 c GLOBAL bounds - >= 0 @ 1.17737
25.81/25.95 c INPROCESSING
25.81/25.95 c GARBAGE COLLECT
25.81/25.95 c #Conflicts: 7000 | #Constraints: 3517
25.81/25.95 c #Conflicts: 8000 | #Constraints: 4517
25.81/25.95 c #Conflicts: 9000 | #Constraints: 5517
25.81/25.95 c INPROCESSING
25.81/25.95 c GARBAGE COLLECT
25.81/25.95 c #Conflicts: 10000 | #Constraints: 4218
25.81/25.95 c #Conflicts: 11000 | #Constraints: 5218
25.81/25.95 c #Conflicts: 12000 | #Constraints: 6218
25.81/25.95 c INPROCESSING
25.81/25.95 c GARBAGE COLLECT
25.81/25.95 c #Conflicts: 13000 | #Constraints: 4671
25.81/25.95 c #Conflicts: 14000 | #Constraints: 5671
25.81/25.95 c #Conflicts: 15000 | #Constraints: 6671
25.81/25.95 c INPROCESSING
25.81/25.95 c GARBAGE COLLECT
25.81/25.95 c #Conflicts: 16000 | #Constraints: 4898
25.81/25.95 c #Conflicts: 17000 | #Constraints: 5898
25.81/25.95 c #Conflicts: 18000 | #Constraints: 6898
25.81/25.95 c INPROCESSING
25.81/25.95 c GARBAGE COLLECT
25.81/25.95 c #Conflicts: 19000 | #Constraints: 4930
25.81/25.95 c #Conflicts: 20000 | #Constraints: 5930
25.81/25.95 c #Conflicts: 21000 | #Constraints: 6930
25.81/25.95 c INPROCESSING
25.81/25.95 c GARBAGE COLLECT
25.81/25.95 c #Conflicts: 22000 | #Constraints: 4737
25.81/25.95 c #Conflicts: 23000 | #Constraints: 5737
25.81/25.95 c #Conflicts: 24000 | #Constraints: 6737
25.81/25.95 c #Conflicts: 25000 | #Constraints: 7737
25.81/25.95 c INPROCESSING
25.81/25.95 c GARBAGE COLLECT
25.81/25.95 c #Conflicts: 26000 | #Constraints: 5338
25.81/25.95 c #Conflicts: 27000 | #Constraints: 6338
25.81/25.95 c #Conflicts: 28000 | #Constraints: 7338
25.81/25.95 c #Conflicts: 29000 | #Constraints: 8338
25.81/25.95 c INPROCESSING
25.81/25.95 c GARBAGE COLLECT
25.81/25.95 c #Conflicts: 30000 | #Constraints: 5740
25.81/25.95 c #Conflicts: 31000 | #Constraints: 6740
25.81/25.95 c #Conflicts: 32000 | #Constraints: 7740
25.81/25.95 c #Conflicts: 33000 | #Constraints: 8740
25.81/25.95 c INPROCESSING
25.81/25.95 c GARBAGE COLLECT
25.81/25.95 c #Conflicts: 34000 | #Constraints: 5937
25.81/25.95 c #Conflicts: 35000 | #Constraints: 6937
25.81/25.95 c #Conflicts: 36000 | #Constraints: 7937
25.81/25.95 c #Conflicts: 37000 | #Constraints: 8937
25.81/25.95 c INPROCESSING
25.81/25.95 c GARBAGE COLLECT
25.81/25.95 c #Conflicts: 38000 | #Constraints: 5932
25.81/25.95 c #Conflicts: 39000 | #Constraints: 6932
25.81/25.95 c #Conflicts: 40000 | #Constraints: 7932
25.81/25.95 c #Conflicts: 41000 | #Constraints: 8932
25.81/25.95 c INPROCESSING
25.81/25.95 c GARBAGE COLLECT
25.81/25.95 c #Conflicts: 42000 | #Constraints: 5728
25.81/25.95 c #Conflicts: 43000 | #Constraints: 6728
25.81/25.95 c #Conflicts: 44000 | #Constraints: 7728
25.81/25.95 c #Conflicts: 45000 | #Constraints: 8728
25.81/25.95 c #Conflicts: 46000 | #Constraints: 9728
25.81/25.95 c INPROCESSING
25.81/25.95 c GARBAGE COLLECT
25.81/25.95 c #Conflicts: 47000 | #Constraints: 6330
25.81/25.95 c #Conflicts: 48000 | #Constraints: 7330
25.81/25.95 c #Conflicts: 49000 | #Constraints: 8330
25.81/25.95 c #Conflicts: 50000 | #Constraints: 9330
25.81/25.95 c #Conflicts: 51000 | #Constraints: 10330
25.81/25.95 c INPROCESSING
25.81/25.95 c GARBAGE COLLECT
25.81/25.95 c #Conflicts: 52000 | #Constraints: 6740
25.81/25.95 c #Conflicts: 53000 | #Constraints: 7740
25.81/25.95 c #Conflicts: 54000 | #Constraints: 8740
25.81/25.95 c #Conflicts: 55000 | #Constraints: 9740
25.81/25.95 c #Conflicts: 56000 | #Constraints: 10740
25.81/25.95 c INPROCESSING
25.81/25.95 c GARBAGE COLLECT
25.81/25.95 c #Conflicts: 57000 | #Constraints: 6952
25.81/25.95 c #Conflicts: 58000 | #Constraints: 7952
25.81/25.95 c #Conflicts: 59000 | #Constraints: 8952
25.81/25.95 c #Conflicts: 60000 | #Constraints: 9952
25.81/25.95 c #Conflicts: 61000 | #Constraints: 10952
25.81/25.95 c INPROCESSING
25.81/25.95 c GARBAGE COLLECT
25.81/25.95 c #Conflicts: 62000 | #Constraints: 6954
25.81/25.95 c #Conflicts: 63000 | #Constraints: 7954
25.81/25.95 c #Conflicts: 64000 | #Constraints: 8954
25.81/25.95 c #Conflicts: 65000 | #Constraints: 9954
25.81/25.95 c #Conflicts: 66000 | #Constraints: 10954
25.81/25.95 c INPROCESSING
25.81/25.95 c GARBAGE COLLECT
25.81/25.95 c #Conflicts: 67000 | #Constraints: 6746
25.81/25.95 c #Conflicts: 68000 | #Constraints: 7746
25.81/25.95 c #Conflicts: 69000 | #Constraints: 8746
25.81/25.95 c #Conflicts: 70000 | #Constraints: 9746
25.81/25.95 c #Conflicts: 71000 | #Constraints: 10746
25.81/25.95 c #Conflicts: 72000 | #Constraints: 11746
25.81/25.95 c INPROCESSING
25.81/25.95 c GARBAGE COLLECT
25.81/25.95 c #Conflicts: 73000 | #Constraints: 7341
25.81/25.95 c #Conflicts: 74000 | #Constraints: 8341
63.41/63.69 c #Conflicts: 75000 | #Constraints: 9341
63.41/63.69 c #Conflicts: 76000 | #Constraints: 10341
63.41/63.69 c #Conflicts: 77000 | #Constraints: 11341
63.41/63.69 c #Conflicts: 78000 | #Constraints: 12341
63.41/63.69 c INPROCESSING
63.41/63.69 c GARBAGE COLLECT
63.41/63.69 c #Conflicts: 79000 | #Constraints: 7737
63.41/63.69 c #Conflicts: 80000 | #Constraints: 8737
63.41/63.69 c #Conflicts: 81000 | #Constraints: 9737
63.41/63.69 c #Conflicts: 82000 | #Constraints: 10737
63.41/63.69 c #Conflicts: 83000 | #Constraints: 11737
63.41/63.69 c #Conflicts: 84000 | #Constraints: 12737
63.41/63.69 c INPROCESSING
63.41/63.69 c GARBAGE COLLECT
63.41/63.69 c #Conflicts: 85000 | #Constraints: 7943
63.41/63.69 c #Conflicts: 86000 | #Constraints: 8943
63.41/63.69 c #Conflicts: 87000 | #Constraints: 9943
63.41/63.69 c #Conflicts: 88000 | #Constraints: 10943
63.41/63.69 c #Conflicts: 89000 | #Constraints: 11943
63.41/63.69 c #Conflicts: 90000 | #Constraints: 12943
63.41/63.69 c INPROCESSING
63.41/63.69 c GARBAGE COLLECT
63.41/63.69 c #Conflicts: 91000 | #Constraints: 7957
63.41/63.69 c #Conflicts: 92000 | #Constraints: 8957
63.41/63.69 c #Conflicts: 93000 | #Constraints: 9957
63.41/63.69 c #Conflicts: 94000 | #Constraints: 10957
63.41/63.69 c #Conflicts: 95000 | #Constraints: 11957
63.41/63.69 c #Conflicts: 96000 | #Constraints: 12957
63.41/63.69 c INPROCESSING
63.41/63.69 c GARBAGE COLLECT
63.41/63.69 c #Conflicts: 97000 | #Constraints: 7762
63.41/63.69 c #Conflicts: 98000 | #Constraints: 8762
63.41/63.69 c #Conflicts: 99000 | #Constraints: 9762
63.41/63.69 c #Conflicts: 100000 | #Constraints: 10762
63.41/63.69 c #Conflicts: 101000 | #Constraints: 11762
63.41/63.69 c #Conflicts: 102000 | #Constraints: 12762
63.41/63.69 c #Conflicts: 103000 | #Constraints: 13762
63.41/63.69 c INPROCESSING
63.41/63.69 c GARBAGE COLLECT
63.41/63.69 c #Conflicts: 104000 | #Constraints: 8356
63.41/63.69 c #Conflicts: 105000 | #Constraints: 9356
63.41/63.69 c #Conflicts: 106000 | #Constraints: 10356
63.41/63.69 c #Conflicts: 107000 | #Constraints: 11356
63.41/63.69 c #Conflicts: 108000 | #Constraints: 12356
63.41/63.69 c #Conflicts: 109000 | #Constraints: 13356
63.41/63.69 c #Conflicts: 110000 | #Constraints: 14356
63.41/63.69 c INPROCESSING
63.41/63.69 c GARBAGE COLLECT
63.41/63.69 c #Conflicts: 111000 | #Constraints: 8748
63.41/63.69 c #Conflicts: 112000 | #Constraints: 9748
63.41/63.69 c #Conflicts: 113000 | #Constraints: 10748
63.41/63.69 c #Conflicts: 114000 | #Constraints: 11748
63.41/63.69 c #Conflicts: 115000 | #Constraints: 12748
63.41/63.69 c #Conflicts: 116000 | #Constraints: 13748
63.41/63.69 c #Conflicts: 117000 | #Constraints: 14748
63.41/63.69 c INPROCESSING
63.41/63.69 c GARBAGE COLLECT
63.41/63.69 c #Conflicts: 118000 | #Constraints: 8943
63.41/63.69 c #Conflicts: 119000 | #Constraints: 9943
63.41/63.69 c #Conflicts: 120000 | #Constraints: 10943
63.41/63.69 c #Conflicts: 121000 | #Constraints: 11943
63.41/63.69 c #Conflicts: 122000 | #Constraints: 12943
63.41/63.69 c #Conflicts: 123000 | #Constraints: 13943
63.41/63.69 c #Conflicts: 124000 | #Constraints: 14943
63.41/63.69 c INPROCESSING
63.41/63.69 c GARBAGE COLLECT
63.41/63.69 c #Conflicts: 125000 | #Constraints: 8940
63.41/63.69 c #Conflicts: 126000 | #Constraints: 9940
63.41/63.69 c #Conflicts: 127000 | #Constraints: 10940
63.41/63.69 c #Conflicts: 128000 | #Constraints: 11940
63.41/63.69 c #Conflicts: 129000 | #Constraints: 12940
63.41/63.69 c #Conflicts: 130000 | #Constraints: 13940
63.41/63.69 c #Conflicts: 131000 | #Constraints: 14940
63.41/63.69 c INPROCESSING
63.41/63.69 c GARBAGE COLLECT
63.41/63.69 c #Conflicts: 132000 | #Constraints: 8742
63.41/63.69 c #Conflicts: 133000 | #Constraints: 9742
63.41/63.69 c #Conflicts: 134000 | #Constraints: 10742
63.41/63.69 c #Conflicts: 135000 | #Constraints: 11742
63.41/63.69 c #Conflicts: 136000 | #Constraints: 12742
63.41/63.69 c #Conflicts: 137000 | #Constraints: 13742
63.41/63.69 c #Conflicts: 138000 | #Constraints: 14742
63.41/63.69 c #Conflicts: 139000 | #Constraints: 15742
63.41/63.69 c INPROCESSING
63.41/63.69 c GARBAGE COLLECT
63.41/63.69 c #Conflicts: 140000 | #Constraints: 9349
63.41/63.69 c #Conflicts: 141000 | #Constraints: 10349
63.41/63.69 c #Conflicts: 142000 | #Constraints: 11349
63.41/63.69 c #Conflicts: 143000 | #Constraints: 12349
63.41/63.69 c #Conflicts: 144000 | #Constraints: 13349
63.41/63.69 c #Conflicts: 145000 | #Constraints: 14349
63.41/63.69 c #Conflicts: 146000 | #Constraints: 15349
63.41/63.69 c #Conflicts: 147000 | #Constraints: 16349
107.30/107.69 c INPROCESSING
107.30/107.69 c GARBAGE COLLECT
107.30/107.69 c #Conflicts: 148000 | #Constraints: 9752
107.30/107.69 c #Conflicts: 149000 | #Constraints: 10752
107.30/107.69 c #Conflicts: 150000 | #Constraints: 11752
107.30/107.69 c #Conflicts: 151000 | #Constraints: 12752
107.30/107.69 c #Conflicts: 152000 | #Constraints: 13752
107.30/107.69 c #Conflicts: 153000 | #Constraints: 14752
107.30/107.69 c #Conflicts: 154000 | #Constraints: 15752
107.30/107.69 c #Conflicts: 155000 | #Constraints: 16752
107.30/107.69 c INPROCESSING
107.30/107.69 c GARBAGE COLLECT
107.30/107.69 c #Conflicts: 156000 | #Constraints: 9951
107.30/107.69 c #Conflicts: 157000 | #Constraints: 10951
107.30/107.69 c #Conflicts: 158000 | #Constraints: 11951
107.30/107.69 c #Conflicts: 159000 | #Constraints: 12951
107.30/107.69 c #Conflicts: 160000 | #Constraints: 13951
107.30/107.69 c #Conflicts: 161000 | #Constraints: 14951
107.30/107.69 c #Conflicts: 162000 | #Constraints: 15951
107.30/107.69 c #Conflicts: 163000 | #Constraints: 16951
107.30/107.69 c INPROCESSING
107.30/107.69 c GARBAGE COLLECT
107.30/107.69 c #Conflicts: 164000 | #Constraints: 9947
107.30/107.69 c #Conflicts: 165000 | #Constraints: 10947
107.30/107.69 c #Conflicts: 166000 | #Constraints: 11947
107.30/107.69 c #Conflicts: 167000 | #Constraints: 12947
107.30/107.69 c #Conflicts: 168000 | #Constraints: 13947
107.30/107.69 c #Conflicts: 169000 | #Constraints: 14947
107.30/107.69 c #Conflicts: 170000 | #Constraints: 15947
107.30/107.69 c #Conflicts: 171000 | #Constraints: 16947
107.30/107.69 c INPROCESSING
107.30/107.69 c GARBAGE COLLECT
107.30/107.69 c #Conflicts: 172000 | #Constraints: 9743
107.30/107.69 c #Conflicts: 173000 | #Constraints: 10743
107.30/107.69 c #Conflicts: 174000 | #Constraints: 11743
107.30/107.69 c #Conflicts: 175000 | #Constraints: 12743
107.30/107.69 c #Conflicts: 176000 | #Constraints: 13743
107.30/107.69 c #Conflicts: 177000 | #Constraints: 14743
107.30/107.69 c #Conflicts: 178000 | #Constraints: 15743
107.30/107.69 c #Conflicts: 179000 | #Constraints: 16743
107.30/107.69 c #Conflicts: 180000 | #Constraints: 17743
107.30/107.69 c INPROCESSING
107.30/107.69 c GARBAGE COLLECT
107.30/107.69 c #Conflicts: 181000 | #Constraints: 10351
107.30/107.69 c #Conflicts: 182000 | #Constraints: 11351
107.30/107.69 c #Conflicts: 183000 | #Constraints: 12351
107.30/107.69 c #Conflicts: 184000 | #Constraints: 13351
107.30/107.69 c #Conflicts: 185000 | #Constraints: 14351
107.30/107.69 c #Conflicts: 186000 | #Constraints: 15351
107.30/107.69 c #Conflicts: 187000 | #Constraints: 16351
107.30/107.69 c #Conflicts: 188000 | #Constraints: 17351
107.30/107.69 c #Conflicts: 189000 | #Constraints: 18351
107.30/107.69 c INPROCESSING
107.30/107.69 c GARBAGE COLLECT
107.30/107.69 c #Conflicts: 190000 | #Constraints: 10752
107.30/107.69 c #Conflicts: 191000 | #Constraints: 11752
107.30/107.69 c #Conflicts: 192000 | #Constraints: 12752
107.30/107.69 c #Conflicts: 193000 | #Constraints: 13752
107.30/107.69 c #Conflicts: 194000 | #Constraints: 14752
107.30/107.69 c #Conflicts: 195000 | #Constraints: 15752
107.30/107.69 c #Conflicts: 196000 | #Constraints: 16752
107.30/107.69 c #Conflicts: 197000 | #Constraints: 17752
107.30/107.69 c #Conflicts: 198000 | #Constraints: 18752
107.30/107.69 c INPROCESSING
107.30/107.69 c GARBAGE COLLECT
107.30/107.69 c #Conflicts: 199000 | #Constraints: 10967
107.30/107.69 c #Conflicts: 200000 | #Constraints: 11967
107.30/107.69 c #Conflicts: 201000 | #Constraints: 12967
107.30/107.69 c #Conflicts: 202000 | #Constraints: 13967
107.30/107.69 c #Conflicts: 203000 | #Constraints: 14967
107.30/107.69 c #Conflicts: 204000 | #Constraints: 15967
107.30/107.69 c #Conflicts: 205000 | #Constraints: 16967
107.30/107.69 c #Conflicts: 206000 | #Constraints: 17967
107.30/107.69 c #Conflicts: 207000 | #Constraints: 18967
107.30/107.69 c INPROCESSING
107.30/107.69 c GARBAGE COLLECT
107.30/107.69 c #Conflicts: 208000 | #Constraints: 10961
107.30/107.69 c #Conflicts: 209000 | #Constraints: 11961
107.30/107.69 c #Conflicts: 210000 | #Constraints: 12961
107.30/107.69 c #Conflicts: 211000 | #Constraints: 13961
107.30/107.69 c #Conflicts: 212000 | #Constraints: 14961
107.30/107.69 c #Conflicts: 213000 | #Constraints: 15961
107.30/107.69 c #Conflicts: 214000 | #Constraints: 16961
107.30/107.69 c #Conflicts: 215000 | #Constraints: 17961
107.30/107.69 c #Conflicts: 216000 | #Constraints: 18961
107.30/107.69 c INPROCESSING
107.30/107.69 c GARBAGE COLLECT
107.30/107.69 c #Conflicts: 217000 | #Constraints: 10756
107.30/107.69 c #Conflicts: 218000 | #Constraints: 11756
107.30/107.69 c #Conflicts: 219000 | #Constraints: 12756
107.30/107.69 c #Conflicts: 220000 | #Constraints: 13756
161.24/161.78 c #Conflicts: 221000 | #Constraints: 14756
161.24/161.78 c #Conflicts: 222000 | #Constraints: 15756
161.24/161.78 c #Conflicts: 223000 | #Constraints: 16756
161.24/161.78 c #Conflicts: 224000 | #Constraints: 17756
161.24/161.78 c #Conflicts: 225000 | #Constraints: 18756
161.24/161.78 c #Conflicts: 226000 | #Constraints: 19756
161.24/161.78 c INPROCESSING
161.24/161.78 c GARBAGE COLLECT
161.24/161.78 c #Conflicts: 227000 | #Constraints: 11361
161.24/161.78 c #Conflicts: 228000 | #Constraints: 12361
161.24/161.78 c #Conflicts: 229000 | #Constraints: 13361
161.24/161.78 c #Conflicts: 230000 | #Constraints: 14361
161.24/161.78 c #Conflicts: 231000 | #Constraints: 15361
161.24/161.78 c #Conflicts: 232000 | #Constraints: 16361
161.24/161.78 c #Conflicts: 233000 | #Constraints: 17361
161.24/161.78 c #Conflicts: 234000 | #Constraints: 18361
161.24/161.78 c #Conflicts: 235000 | #Constraints: 19361
161.24/161.78 c #Conflicts: 236000 | #Constraints: 20361
161.24/161.78 c INPROCESSING
161.24/161.78 c GARBAGE COLLECT
161.24/161.78 c #Conflicts: 237000 | #Constraints: 11756
161.24/161.78 c #Conflicts: 238000 | #Constraints: 12756
161.24/161.78 c #Conflicts: 239000 | #Constraints: 13756
161.24/161.78 c #Conflicts: 240000 | #Constraints: 14756
161.24/161.78 c #Conflicts: 241000 | #Constraints: 15756
161.24/161.78 c #Conflicts: 242000 | #Constraints: 16756
161.24/161.78 c #Conflicts: 243000 | #Constraints: 17756
161.24/161.78 c #Conflicts: 244000 | #Constraints: 18756
161.24/161.78 c #Conflicts: 245000 | #Constraints: 19756
161.24/161.78 c #Conflicts: 246000 | #Constraints: 20756
161.24/161.78 c INPROCESSING
161.24/161.78 c GARBAGE COLLECT
161.24/161.78 c #Conflicts: 247000 | #Constraints: 11949
161.24/161.78 c #Conflicts: 248000 | #Constraints: 12949
161.24/161.78 c #Conflicts: 249000 | #Constraints: 13949
161.24/161.78 c #Conflicts: 250000 | #Constraints: 14949
161.24/161.78 c #Conflicts: 251000 | #Constraints: 15949
161.24/161.78 c #Conflicts: 252000 | #Constraints: 16949
161.24/161.78 c #Conflicts: 253000 | #Constraints: 17949
161.24/161.78 c #Conflicts: 254000 | #Constraints: 18949
161.24/161.78 c #Conflicts: 255000 | #Constraints: 19949
161.24/161.78 c #Conflicts: 256000 | #Constraints: 20949
161.24/161.78 c INPROCESSING
161.24/161.78 c GARBAGE COLLECT
161.24/161.78 c #Conflicts: 257000 | #Constraints: 11952
161.24/161.78 c #Conflicts: 258000 | #Constraints: 12952
161.24/161.78 c #Conflicts: 259000 | #Constraints: 13952
161.24/161.78 c #Conflicts: 260000 | #Constraints: 14952
161.24/161.78 c #Conflicts: 261000 | #Constraints: 15952
161.24/161.78 c #Conflicts: 262000 | #Constraints: 16952
161.24/161.78 c #Conflicts: 263000 | #Constraints: 17952
161.24/161.78 c #Conflicts: 264000 | #Constraints: 18952
161.24/161.78 c #Conflicts: 265000 | #Constraints: 19952
161.24/161.78 c #Conflicts: 266000 | #Constraints: 20952
161.24/161.78 c INPROCESSING
161.24/161.78 c GARBAGE COLLECT
161.24/161.78 c #Conflicts: 267000 | #Constraints: 11749
161.24/161.78 c #Conflicts: 268000 | #Constraints: 12749
161.24/161.78 c #Conflicts: 269000 | #Constraints: 13749
161.24/161.78 c #Conflicts: 270000 | #Constraints: 14749
161.24/161.78 c #Conflicts: 271000 | #Constraints: 15749
161.24/161.78 c #Conflicts: 272000 | #Constraints: 16749
161.24/161.78 c #Conflicts: 273000 | #Constraints: 17749
161.24/161.78 c #Conflicts: 274000 | #Constraints: 18749
161.24/161.78 c #Conflicts: 275000 | #Constraints: 19749
161.24/161.78 c #Conflicts: 276000 | #Constraints: 20749
161.24/161.78 c #Conflicts: 277000 | #Constraints: 21749
161.24/161.78 c INPROCESSING
161.24/161.78 c GARBAGE COLLECT
161.24/161.78 c #Conflicts: 278000 | #Constraints: 12352
161.24/161.78 c #Conflicts: 279000 | #Constraints: 13352
161.24/161.78 c #Conflicts: 280000 | #Constraints: 14352
161.24/161.78 c #Conflicts: 281000 | #Constraints: 15352
161.24/161.78 c #Conflicts: 282000 | #Constraints: 16352
161.24/161.78 c #Conflicts: 283000 | #Constraints: 17352
161.24/161.78 c #Conflicts: 284000 | #Constraints: 18352
161.24/161.78 c #Conflicts: 285000 | #Constraints: 19352
161.24/161.78 c #Conflicts: 286000 | #Constraints: 20352
161.24/161.78 c #Conflicts: 287000 | #Constraints: 21352
161.24/161.78 c #Conflicts: 288000 | #Constraints: 22352
161.24/161.78 c INPROCESSING
161.24/161.78 c GARBAGE COLLECT
161.24/161.78 c #Conflicts: 289000 | #Constraints: 12765
161.24/161.78 c #Conflicts: 290000 | #Constraints: 13765
161.24/161.78 c #Conflicts: 291000 | #Constraints: 14765
161.24/161.78 c #Conflicts: 292000 | #Constraints: 15765
161.24/161.78 c #Conflicts: 293000 | #Constraints: 16765
161.24/161.78 c #Conflicts: 294000 | #Constraints: 17765
219.98/220.66 c #Conflicts: 295000 | #Constraints: 18765
219.98/220.66 c #Conflicts: 296000 | #Constraints: 19765
219.98/220.66 c #Conflicts: 297000 | #Constraints: 20765
219.98/220.66 c #Conflicts: 298000 | #Constraints: 21765
219.98/220.66 c #Conflicts: 299000 | #Constraints: 22765
219.98/220.66 c INPROCESSING
219.98/220.66 c GARBAGE COLLECT
219.98/220.66 c #Conflicts: 300000 | #Constraints: 12961
219.98/220.66 c #Conflicts: 301000 | #Constraints: 13961
219.98/220.66 c #Conflicts: 302000 | #Constraints: 14961
219.98/220.66 c #Conflicts: 303000 | #Constraints: 15961
219.98/220.66 c #Conflicts: 304000 | #Constraints: 16961
219.98/220.66 c #Conflicts: 305000 | #Constraints: 17961
219.98/220.66 c #Conflicts: 306000 | #Constraints: 18961
219.98/220.66 c #Conflicts: 307000 | #Constraints: 19961
219.98/220.66 c #Conflicts: 308000 | #Constraints: 20961
219.98/220.66 c #Conflicts: 309000 | #Constraints: 21961
219.98/220.66 c #Conflicts: 310000 | #Constraints: 22961
219.98/220.66 c INPROCESSING
219.98/220.66 c GARBAGE COLLECT
219.98/220.66 c #Conflicts: 311000 | #Constraints: 12967
219.98/220.66 c #Conflicts: 312000 | #Constraints: 13967
219.98/220.66 c #Conflicts: 313000 | #Constraints: 14967
219.98/220.66 c #Conflicts: 314000 | #Constraints: 15967
219.98/220.66 c #Conflicts: 315000 | #Constraints: 16967
219.98/220.66 c #Conflicts: 316000 | #Constraints: 17967
219.98/220.66 c #Conflicts: 317000 | #Constraints: 18967
219.98/220.66 c #Conflicts: 318000 | #Constraints: 19967
219.98/220.66 c #Conflicts: 319000 | #Constraints: 20967
219.98/220.66 c #Conflicts: 320000 | #Constraints: 21967
219.98/220.66 c #Conflicts: 321000 | #Constraints: 22967
219.98/220.66 c INPROCESSING
219.98/220.66 c GARBAGE COLLECT
219.98/220.66 c #Conflicts: 322000 | #Constraints: 12772
219.98/220.66 c #Conflicts: 323000 | #Constraints: 13772
219.98/220.66 c #Conflicts: 324000 | #Constraints: 14772
219.98/220.66 c #Conflicts: 325000 | #Constraints: 15772
219.98/220.66 c #Conflicts: 326000 | #Constraints: 16772
219.98/220.66 c #Conflicts: 327000 | #Constraints: 17772
219.98/220.66 c #Conflicts: 328000 | #Constraints: 18772
219.98/220.66 c #Conflicts: 329000 | #Constraints: 19772
219.98/220.66 c #Conflicts: 330000 | #Constraints: 20772
219.98/220.66 c #Conflicts: 331000 | #Constraints: 21772
219.98/220.66 c #Conflicts: 332000 | #Constraints: 22772
219.98/220.66 c #Conflicts: 333000 | #Constraints: 23772
219.98/220.66 c INPROCESSING
219.98/220.66 c GARBAGE COLLECT
219.98/220.66 c #Conflicts: 334000 | #Constraints: 13375
219.98/220.66 c #Conflicts: 335000 | #Constraints: 14375
219.98/220.66 c #Conflicts: 336000 | #Constraints: 15375
219.98/220.66 c #Conflicts: 337000 | #Constraints: 16375
219.98/220.66 c #Conflicts: 338000 | #Constraints: 17375
219.98/220.66 c #Conflicts: 339000 | #Constraints: 18375
219.98/220.66 c #Conflicts: 340000 | #Constraints: 19375
219.98/220.66 c #Conflicts: 341000 | #Constraints: 20375
219.98/220.66 c #Conflicts: 342000 | #Constraints: 21375
219.98/220.66 c #Conflicts: 343000 | #Constraints: 22375
219.98/220.66 c #Conflicts: 344000 | #Constraints: 23375
219.98/220.66 c #Conflicts: 345000 | #Constraints: 24375
219.98/220.66 c INPROCESSING
219.98/220.66 c GARBAGE COLLECT
219.98/220.66 c #Conflicts: 346000 | #Constraints: 13771
219.98/220.66 c #Conflicts: 347000 | #Constraints: 14771
219.98/220.66 c #Conflicts: 348000 | #Constraints: 15771
219.98/220.66 c #Conflicts: 349000 | #Constraints: 16771
219.98/220.66 c #Conflicts: 350000 | #Constraints: 17771
219.98/220.66 c #Conflicts: 351000 | #Constraints: 18771
219.98/220.66 c #Conflicts: 352000 | #Constraints: 19771
219.98/220.66 c #Conflicts: 353000 | #Constraints: 20771
219.98/220.66 c #Conflicts: 354000 | #Constraints: 21771
219.98/220.66 c #Conflicts: 355000 | #Constraints: 22771
219.98/220.66 c #Conflicts: 356000 | #Constraints: 23771
219.98/220.66 c #Conflicts: 357000 | #Constraints: 24771
219.98/220.66 c INPROCESSING
219.98/220.66 c GARBAGE COLLECT
219.98/220.66 c #Conflicts: 358000 | #Constraints: 13972
219.98/220.66 c #Conflicts: 359000 | #Constraints: 14972
219.98/220.66 c #Conflicts: 360000 | #Constraints: 15972
219.98/220.66 c #Conflicts: 361000 | #Constraints: 16972
219.98/220.66 c #Conflicts: 362000 | #Constraints: 17972
219.98/220.66 c #Conflicts: 363000 | #Constraints: 18972
219.98/220.66 c #Conflicts: 364000 | #Constraints: 19972
219.98/220.66 c #Conflicts: 365000 | #Constraints: 20972
219.98/220.66 c #Conflicts: 366000 | #Constraints: 21972
219.98/220.66 c #Conflicts: 367000 | #Constraints: 22972
219.98/220.66 c #Conflicts: 368000 | #Constraints: 23972
219.98/220.66 c #Conflicts: 369000 | #Constraints: 24972
279.49/280.32 c INPROCESSING
279.49/280.32 c GARBAGE COLLECT
279.49/280.32 c #Conflicts: 370000 | #Constraints: 13970
279.49/280.32 c #Conflicts: 371000 | #Constraints: 14970
279.49/280.32 c #Conflicts: 372000 | #Constraints: 15970
279.49/280.32 c #Conflicts: 373000 | #Constraints: 16970
279.49/280.32 c #Conflicts: 374000 | #Constraints: 17970
279.49/280.32 c #Conflicts: 375000 | #Constraints: 18970
279.49/280.32 c #Conflicts: 376000 | #Constraints: 19970
279.49/280.32 c #Conflicts: 377000 | #Constraints: 20970
279.49/280.32 c #Conflicts: 378000 | #Constraints: 21970
279.49/280.32 c #Conflicts: 379000 | #Constraints: 22970
279.49/280.32 c #Conflicts: 380000 | #Constraints: 23970
279.49/280.32 c #Conflicts: 381000 | #Constraints: 24970
279.49/280.32 c INPROCESSING
279.49/280.32 c GARBAGE COLLECT
279.49/280.32 c #Conflicts: 382000 | #Constraints: 13763
279.49/280.32 c #Conflicts: 383000 | #Constraints: 14763
279.49/280.32 c #Conflicts: 384000 | #Constraints: 15763
279.49/280.32 c #Conflicts: 385000 | #Constraints: 16763
279.49/280.32 c #Conflicts: 386000 | #Constraints: 17763
279.49/280.32 c #Conflicts: 387000 | #Constraints: 18763
279.49/280.32 c #Conflicts: 388000 | #Constraints: 19763
279.49/280.32 c #Conflicts: 389000 | #Constraints: 20763
279.49/280.32 c #Conflicts: 390000 | #Constraints: 21763
279.49/280.32 c #Conflicts: 391000 | #Constraints: 22763
279.49/280.32 c #Conflicts: 392000 | #Constraints: 23763
279.49/280.32 c #Conflicts: 393000 | #Constraints: 24763
279.49/280.32 c #Conflicts: 394000 | #Constraints: 25763
279.49/280.32 c INPROCESSING
279.49/280.32 c GARBAGE COLLECT
279.49/280.32 c #Conflicts: 395000 | #Constraints: 14373
279.49/280.32 c #Conflicts: 396000 | #Constraints: 15373
279.49/280.32 c #Conflicts: 397000 | #Constraints: 16373
279.49/280.32 c #Conflicts: 398000 | #Constraints: 17373
279.49/280.32 c #Conflicts: 399000 | #Constraints: 18373
279.49/280.32 c #Conflicts: 400000 | #Constraints: 19373
279.49/280.32 c #Conflicts: 401000 | #Constraints: 20373
279.49/280.32 c #Conflicts: 402000 | #Constraints: 21373
279.49/280.32 c #Conflicts: 403000 | #Constraints: 22373
279.49/280.32 c #Conflicts: 404000 | #Constraints: 23373
279.49/280.32 c #Conflicts: 405000 | #Constraints: 24373
279.49/280.32 c #Conflicts: 406000 | #Constraints: 25373
279.49/280.32 c #Conflicts: 407000 | #Constraints: 26373
279.49/280.32 c INPROCESSING
279.49/280.32 c GARBAGE COLLECT
279.49/280.32 c #Conflicts: 408000 | #Constraints: 14776
279.49/280.32 c #Conflicts: 409000 | #Constraints: 15776
279.49/280.32 c #Conflicts: 410000 | #Constraints: 16776
279.49/280.32 c #Conflicts: 411000 | #Constraints: 17776
279.49/280.32 c #Conflicts: 412000 | #Constraints: 18776
279.49/280.32 c #Conflicts: 413000 | #Constraints: 19776
279.49/280.32 c #Conflicts: 414000 | #Constraints: 20776
279.49/280.32 c #Conflicts: 415000 | #Constraints: 21776
279.49/280.32 c #Conflicts: 416000 | #Constraints: 22776
279.49/280.32 c #Conflicts: 417000 | #Constraints: 23776
279.49/280.32 c #Conflicts: 418000 | #Constraints: 24776
279.49/280.32 c #Conflicts: 419000 | #Constraints: 25776
279.49/280.32 c #Conflicts: 420000 | #Constraints: 26776
279.49/280.32 c INPROCESSING
279.49/280.32 c GARBAGE COLLECT
279.49/280.32 c #Conflicts: 421000 | #Constraints: 14963
279.49/280.32 c #Conflicts: 422000 | #Constraints: 15963
279.49/280.32 c #Conflicts: 423000 | #Constraints: 16963
279.49/280.32 c #Conflicts: 424000 | #Constraints: 17963
279.49/280.32 c #Conflicts: 425000 | #Constraints: 18963
279.49/280.32 c #Conflicts: 426000 | #Constraints: 19963
279.49/280.32 c #Conflicts: 427000 | #Constraints: 20963
279.49/280.32 c #Conflicts: 428000 | #Constraints: 21963
279.49/280.32 c #Conflicts: 429000 | #Constraints: 22963
279.49/280.32 c #Conflicts: 430000 | #Constraints: 23963
279.49/280.32 c #Conflicts: 431000 | #Constraints: 24963
279.49/280.32 c #Conflicts: 432000 | #Constraints: 25963
279.49/280.32 c #Conflicts: 433000 | #Constraints: 26963
279.49/280.32 c INPROCESSING
279.49/280.32 c GARBAGE COLLECT
279.49/280.32 c #Conflicts: 434000 | #Constraints: 14965
279.49/280.32 c #Conflicts: 435000 | #Constraints: 15965
279.49/280.32 c #Conflicts: 436000 | #Constraints: 16965
279.49/280.32 c #Conflicts: 437000 | #Constraints: 17965
279.49/280.32 c #Conflicts: 438000 | #Constraints: 18965
279.49/280.32 c #Conflicts: 439000 | #Constraints: 19965
279.49/280.32 c #Conflicts: 440000 | #Constraints: 20965
279.49/280.32 c #Conflicts: 441000 | #Constraints: 21965
279.49/280.32 c #Conflicts: 442000 | #Constraints: 22965
279.49/280.32 c #Conflicts: 443000 | #Constraints: 23965
279.49/280.32 c #Conflicts: 444000 | #Constraints: 24965
343.51/344.58 c #Conflicts: 445000 | #Constraints: 25965
343.51/344.58 c #Conflicts: 446000 | #Constraints: 26965
343.51/344.58 c INPROCESSING
343.51/344.58 c GARBAGE COLLECT
343.51/344.58 c #Conflicts: 447000 | #Constraints: 14775
343.51/344.58 c #Conflicts: 448000 | #Constraints: 15775
343.51/344.58 c #Conflicts: 449000 | #Constraints: 16775
343.51/344.58 c #Conflicts: 450000 | #Constraints: 17775
343.51/344.58 c #Conflicts: 451000 | #Constraints: 18775
343.51/344.58 c #Conflicts: 452000 | #Constraints: 19775
343.51/344.58 c #Conflicts: 453000 | #Constraints: 20775
343.51/344.58 c #Conflicts: 454000 | #Constraints: 21775
343.51/344.58 c #Conflicts: 455000 | #Constraints: 22775
343.51/344.58 c #Conflicts: 456000 | #Constraints: 23775
343.51/344.58 c #Conflicts: 457000 | #Constraints: 24775
343.51/344.58 c #Conflicts: 458000 | #Constraints: 25775
343.51/344.58 c #Conflicts: 459000 | #Constraints: 26775
343.51/344.58 c #Conflicts: 460000 | #Constraints: 27775
343.51/344.58 c INPROCESSING
343.51/344.58 c GARBAGE COLLECT
343.51/344.58 c #Conflicts: 461000 | #Constraints: 15389
343.51/344.58 c #Conflicts: 462000 | #Constraints: 16389
343.51/344.58 c #Conflicts: 463000 | #Constraints: 17389
343.51/344.58 c #Conflicts: 464000 | #Constraints: 18389
343.51/344.58 c #Conflicts: 465000 | #Constraints: 19389
343.51/344.58 c #Conflicts: 466000 | #Constraints: 20389
343.51/344.58 c #Conflicts: 467000 | #Constraints: 21389
343.51/344.58 c #Conflicts: 468000 | #Constraints: 22389
343.51/344.58 c #Conflicts: 469000 | #Constraints: 23389
343.51/344.58 c #Conflicts: 470000 | #Constraints: 24389
343.51/344.58 c #Conflicts: 471000 | #Constraints: 25389
343.51/344.58 c #Conflicts: 472000 | #Constraints: 26389
343.51/344.58 c #Conflicts: 473000 | #Constraints: 27389
343.51/344.58 c #Conflicts: 474000 | #Constraints: 28389
343.51/344.58 c INPROCESSING
343.51/344.58 c GARBAGE COLLECT
343.51/344.58 c #Conflicts: 475000 | #Constraints: 15782
343.51/344.58 c #Conflicts: 476000 | #Constraints: 16782
343.51/344.58 c #Conflicts: 477000 | #Constraints: 17782
343.51/344.58 c #Conflicts: 478000 | #Constraints: 18782
343.51/344.58 c #Conflicts: 479000 | #Constraints: 19782
343.51/344.58 c #Conflicts: 480000 | #Constraints: 20782
343.51/344.58 c #Conflicts: 481000 | #Constraints: 21782
343.51/344.58 c #Conflicts: 482000 | #Constraints: 22782
343.51/344.58 c #Conflicts: 483000 | #Constraints: 23782
343.51/344.58 c #Conflicts: 484000 | #Constraints: 24782
343.51/344.58 c #Conflicts: 485000 | #Constraints: 25782
343.51/344.58 c #Conflicts: 486000 | #Constraints: 26782
343.51/344.58 c #Conflicts: 487000 | #Constraints: 27782
343.51/344.58 c #Conflicts: 488000 | #Constraints: 28782
343.51/344.58 c INPROCESSING
343.51/344.58 c GARBAGE COLLECT
343.51/344.58 c #Conflicts: 489000 | #Constraints: 15976
343.51/344.58 c #Conflicts: 490000 | #Constraints: 16976
343.51/344.58 c #Conflicts: 491000 | #Constraints: 17976
343.51/344.58 c #Conflicts: 492000 | #Constraints: 18976
343.51/344.58 c #Conflicts: 493000 | #Constraints: 19976
343.51/344.58 c #Conflicts: 494000 | #Constraints: 20976
343.51/344.58 c #Conflicts: 495000 | #Constraints: 21976
343.51/344.58 c #Conflicts: 496000 | #Constraints: 22976
343.51/344.58 c #Conflicts: 497000 | #Constraints: 23976
343.51/344.58 c #Conflicts: 498000 | #Constraints: 24976
343.51/344.58 c #Conflicts: 499000 | #Constraints: 25976
343.51/344.58 c #Conflicts: 500000 | #Constraints: 26976
343.51/344.58 c #Conflicts: 501000 | #Constraints: 27976
343.51/344.58 c #Conflicts: 502000 | #Constraints: 28976
343.51/344.58 c INPROCESSING
343.51/344.58 c GARBAGE COLLECT
343.51/344.58 c #Conflicts: 503000 | #Constraints: 15972
343.51/344.58 c #Conflicts: 504000 | #Constraints: 16972
343.51/344.58 c #Conflicts: 505000 | #Constraints: 17972
343.51/344.58 c #Conflicts: 506000 | #Constraints: 18972
343.51/344.58 c #Conflicts: 507000 | #Constraints: 19972
343.51/344.58 c #Conflicts: 508000 | #Constraints: 20972
343.51/344.58 c #Conflicts: 509000 | #Constraints: 21972
343.51/344.58 c #Conflicts: 510000 | #Constraints: 22972
343.51/344.58 c #Conflicts: 511000 | #Constraints: 23972
343.51/344.58 c #Conflicts: 512000 | #Constraints: 24972
343.51/344.58 c #Conflicts: 513000 | #Constraints: 25972
343.51/344.58 c #Conflicts: 514000 | #Constraints: 26972
343.51/344.58 c #Conflicts: 515000 | #Constraints: 27972
343.51/344.58 c #Conflicts: 516000 | #Constraints: 28972
343.51/344.58 c INPROCESSING
343.51/344.58 c GARBAGE COLLECT
343.51/344.58 c #Conflicts: 517000 | #Constraints: 15765
343.51/344.58 c #Conflicts: 518000 | #Constraints: 16765
343.51/344.58 c #Conflicts: 519000 | #Constraints: 17765
413.20/414.44 c #Conflicts: 520000 | #Constraints: 18765
413.20/414.44 c #Conflicts: 521000 | #Constraints: 19765
413.20/414.44 c #Conflicts: 522000 | #Constraints: 20765
413.20/414.44 c #Conflicts: 523000 | #Constraints: 21765
413.20/414.44 c #Conflicts: 524000 | #Constraints: 22765
413.20/414.44 c #Conflicts: 525000 | #Constraints: 23765
413.20/414.44 c #Conflicts: 526000 | #Constraints: 24765
413.20/414.44 c #Conflicts: 527000 | #Constraints: 25765
413.20/414.44 c #Conflicts: 528000 | #Constraints: 26765
413.20/414.44 c #Conflicts: 529000 | #Constraints: 27765
413.20/414.44 c #Conflicts: 530000 | #Constraints: 28765
413.20/414.44 c #Conflicts: 531000 | #Constraints: 29765
413.20/414.44 c INPROCESSING
413.20/414.44 c GARBAGE COLLECT
413.20/414.44 c #Conflicts: 532000 | #Constraints: 16370
413.20/414.44 c #Conflicts: 533000 | #Constraints: 17370
413.20/414.44 c #Conflicts: 534000 | #Constraints: 18370
413.20/414.44 c #Conflicts: 535000 | #Constraints: 19370
413.20/414.44 c #Conflicts: 536000 | #Constraints: 20370
413.20/414.44 c #Conflicts: 537000 | #Constraints: 21370
413.20/414.44 c #Conflicts: 538000 | #Constraints: 22370
413.20/414.44 c #Conflicts: 539000 | #Constraints: 23370
413.20/414.44 c #Conflicts: 540000 | #Constraints: 24370
413.20/414.44 c #Conflicts: 541000 | #Constraints: 25370
413.20/414.44 c #Conflicts: 542000 | #Constraints: 26370
413.20/414.44 c #Conflicts: 543000 | #Constraints: 27370
413.20/414.44 c #Conflicts: 544000 | #Constraints: 28370
413.20/414.44 c #Conflicts: 545000 | #Constraints: 29370
413.20/414.44 c #Conflicts: 546000 | #Constraints: 30370
413.20/414.44 c INPROCESSING
413.20/414.44 c GARBAGE COLLECT
413.20/414.44 c #Conflicts: 547000 | #Constraints: 16769
413.20/414.44 c #Conflicts: 548000 | #Constraints: 17769
413.20/414.44 c #Conflicts: 549000 | #Constraints: 18769
413.20/414.44 c #Conflicts: 550000 | #Constraints: 19769
413.20/414.44 c #Conflicts: 551000 | #Constraints: 20769
413.20/414.44 c #Conflicts: 552000 | #Constraints: 21769
413.20/414.44 c #Conflicts: 553000 | #Constraints: 22769
413.20/414.44 c #Conflicts: 554000 | #Constraints: 23769
413.20/414.44 c #Conflicts: 555000 | #Constraints: 24769
413.20/414.44 c #Conflicts: 556000 | #Constraints: 25769
413.20/414.44 c #Conflicts: 557000 | #Constraints: 26769
413.20/414.44 c #Conflicts: 558000 | #Constraints: 27769
413.20/414.44 c #Conflicts: 559000 | #Constraints: 28769
413.20/414.44 c #Conflicts: 560000 | #Constraints: 29769
413.20/414.44 c #Conflicts: 561000 | #Constraints: 30769
413.20/414.44 c INPROCESSING
413.20/414.44 c GARBAGE COLLECT
413.20/414.44 c #Conflicts: 562000 | #Constraints: 16974
413.20/414.44 c #Conflicts: 563000 | #Constraints: 17974
413.20/414.44 c #Conflicts: 564000 | #Constraints: 18974
413.20/414.44 c #Conflicts: 565000 | #Constraints: 19974
413.20/414.44 c #Conflicts: 566000 | #Constraints: 20974
413.20/414.44 c #Conflicts: 567000 | #Constraints: 21974
413.20/414.44 c #Conflicts: 568000 | #Constraints: 22974
413.20/414.44 c #Conflicts: 569000 | #Constraints: 23974
413.20/414.44 c #Conflicts: 570000 | #Constraints: 24974
413.20/414.44 c #Conflicts: 571000 | #Constraints: 25974
413.20/414.44 c #Conflicts: 572000 | #Constraints: 26974
413.20/414.44 c #Conflicts: 573000 | #Constraints: 27974
413.20/414.44 c #Conflicts: 574000 | #Constraints: 28974
413.20/414.44 c #Conflicts: 575000 | #Constraints: 29974
413.20/414.44 c #Conflicts: 576000 | #Constraints: 30974
413.20/414.44 c INPROCESSING
413.20/414.44 c GARBAGE COLLECT
413.20/414.44 c #Conflicts: 577000 | #Constraints: 16968
413.20/414.44 c #Conflicts: 578000 | #Constraints: 17968
413.20/414.44 c #Conflicts: 579000 | #Constraints: 18968
413.20/414.44 c #Conflicts: 580000 | #Constraints: 19968
413.20/414.44 c #Conflicts: 581000 | #Constraints: 20968
413.20/414.44 c #Conflicts: 582000 | #Constraints: 21968
413.20/414.44 c #Conflicts: 583000 | #Constraints: 22968
413.20/414.44 c #Conflicts: 584000 | #Constraints: 23968
413.20/414.44 c #Conflicts: 585000 | #Constraints: 24968
413.20/414.44 c #Conflicts: 586000 | #Constraints: 25968
413.20/414.44 c #Conflicts: 587000 | #Constraints: 26968
413.20/414.44 c #Conflicts: 588000 | #Constraints: 27968
413.20/414.44 c #Conflicts: 589000 | #Constraints: 28968
413.20/414.44 c #Conflicts: 590000 | #Constraints: 29968
413.20/414.44 c #Conflicts: 591000 | #Constraints: 30968
413.20/414.44 c INPROCESSING
413.20/414.44 c GARBAGE COLLECT
413.20/414.44 c #Conflicts: 592000 | #Constraints: 16760
413.20/414.44 c #Conflicts: 593000 | #Constraints: 17760
413.20/414.44 c #Conflicts: 594000 | #Constraints: 18760
413.20/414.44 c #Conflicts: 595000 | #Constraints: 19760
489.78/491.22 c #Conflicts: 596000 | #Constraints: 20760
489.78/491.22 c #Conflicts: 597000 | #Constraints: 21760
489.78/491.22 c #Conflicts: 598000 | #Constraints: 22760
489.78/491.22 c #Conflicts: 599000 | #Constraints: 23760
489.78/491.22 c #Conflicts: 600000 | #Constraints: 24760
489.78/491.22 c #Conflicts: 601000 | #Constraints: 25760
489.78/491.22 c #Conflicts: 602000 | #Constraints: 26760
489.78/491.22 c #Conflicts: 603000 | #Constraints: 27760
489.78/491.22 c #Conflicts: 604000 | #Constraints: 28760
489.78/491.22 c #Conflicts: 605000 | #Constraints: 29760
489.78/491.22 c #Conflicts: 606000 | #Constraints: 30760
489.78/491.22 c #Conflicts: 607000 | #Constraints: 31760
489.78/491.22 c INPROCESSING
489.78/491.22 c GARBAGE COLLECT
489.78/491.22 c #Conflicts: 608000 | #Constraints: 17360
489.78/491.22 c #Conflicts: 609000 | #Constraints: 18360
489.78/491.22 c #Conflicts: 610000 | #Constraints: 19360
489.78/491.22 c #Conflicts: 611000 | #Constraints: 20360
489.78/491.22 c #Conflicts: 612000 | #Constraints: 21360
489.78/491.22 c #Conflicts: 613000 | #Constraints: 22360
489.78/491.22 c #Conflicts: 614000 | #Constraints: 23360
489.78/491.22 c #Conflicts: 615000 | #Constraints: 24360
489.78/491.22 c #Conflicts: 616000 | #Constraints: 25360
489.78/491.22 c #Conflicts: 617000 | #Constraints: 26360
489.78/491.22 c #Conflicts: 618000 | #Constraints: 27360
489.78/491.22 c #Conflicts: 619000 | #Constraints: 28360
489.78/491.22 c #Conflicts: 620000 | #Constraints: 29360
489.78/491.22 c #Conflicts: 621000 | #Constraints: 30360
489.78/491.22 c #Conflicts: 622000 | #Constraints: 31360
489.78/491.22 c #Conflicts: 623000 | #Constraints: 32360
489.78/491.22 c INPROCESSING
489.78/491.22 c GARBAGE COLLECT
489.78/491.22 c #Conflicts: 624000 | #Constraints: 17752
489.78/491.22 c #Conflicts: 625000 | #Constraints: 18752
489.78/491.22 c #Conflicts: 626000 | #Constraints: 19752
489.78/491.22 c #Conflicts: 627000 | #Constraints: 20752
489.78/491.22 c #Conflicts: 628000 | #Constraints: 21752
489.78/491.22 c #Conflicts: 629000 | #Constraints: 22752
489.78/491.22 c #Conflicts: 630000 | #Constraints: 23752
489.78/491.22 c #Conflicts: 631000 | #Constraints: 24752
489.78/491.22 c #Conflicts: 632000 | #Constraints: 25752
489.78/491.22 c #Conflicts: 633000 | #Constraints: 26752
489.78/491.22 c #Conflicts: 634000 | #Constraints: 27752
489.78/491.22 c #Conflicts: 635000 | #Constraints: 28752
489.78/491.22 c #Conflicts: 636000 | #Constraints: 29752
489.78/491.22 c #Conflicts: 637000 | #Constraints: 30752
489.78/491.22 c #Conflicts: 638000 | #Constraints: 31752
489.78/491.22 c #Conflicts: 639000 | #Constraints: 32752
489.78/491.22 c INPROCESSING
489.78/491.22 c GARBAGE COLLECT
489.78/491.22 c #Conflicts: 640000 | #Constraints: 17963
489.78/491.22 c #Conflicts: 641000 | #Constraints: 18963
489.78/491.22 c #Conflicts: 642000 | #Constraints: 19963
489.78/491.22 c #Conflicts: 643000 | #Constraints: 20963
489.78/491.22 c #Conflicts: 644000 | #Constraints: 21963
489.78/491.22 c #Conflicts: 645000 | #Constraints: 22963
489.78/491.22 c #Conflicts: 646000 | #Constraints: 23963
489.78/491.22 c #Conflicts: 647000 | #Constraints: 24963
489.78/491.22 c #Conflicts: 648000 | #Constraints: 25963
489.78/491.22 c #Conflicts: 649000 | #Constraints: 26963
489.78/491.22 c #Conflicts: 650000 | #Constraints: 27963
489.78/491.22 c #Conflicts: 651000 | #Constraints: 28963
489.78/491.22 c #Conflicts: 652000 | #Constraints: 29963
489.78/491.22 c #Conflicts: 653000 | #Constraints: 30963
489.78/491.22 c #Conflicts: 654000 | #Constraints: 31963
489.78/491.22 c #Conflicts: 655000 | #Constraints: 32963
489.78/491.22 c INPROCESSING
489.78/491.22 c GARBAGE COLLECT
489.78/491.22 c #Conflicts: 656000 | #Constraints: 17971
489.78/491.22 c #Conflicts: 657000 | #Constraints: 18971
489.78/491.22 c #Conflicts: 658000 | #Constraints: 19971
489.78/491.22 c #Conflicts: 659000 | #Constraints: 20971
489.78/491.22 c #Conflicts: 660000 | #Constraints: 21971
489.78/491.22 c #Conflicts: 661000 | #Constraints: 22971
489.78/491.22 c #Conflicts: 662000 | #Constraints: 23971
489.78/491.22 c #Conflicts: 663000 | #Constraints: 24971
489.78/491.22 c #Conflicts: 664000 | #Constraints: 25971
489.78/491.22 c #Conflicts: 665000 | #Constraints: 26971
489.78/491.22 c #Conflicts: 666000 | #Constraints: 27971
489.78/491.22 c #Conflicts: 667000 | #Constraints: 28971
489.78/491.22 c #Conflicts: 668000 | #Constraints: 29971
489.78/491.22 c #Conflicts: 669000 | #Constraints: 30971
489.78/491.22 c #Conflicts: 670000 | #Constraints: 31971
489.78/491.22 c #Conflicts: 671000 | #Constraints: 32971
566.74/568.46 c INPROCESSING
566.74/568.46 c GARBAGE COLLECT
566.74/568.46 c #Conflicts: 672000 | #Constraints: 17764
566.74/568.46 c #Conflicts: 673000 | #Constraints: 18764
566.74/568.46 c #Conflicts: 674000 | #Constraints: 19764
566.74/568.46 c #Conflicts: 675000 | #Constraints: 20764
566.74/568.46 c #Conflicts: 676000 | #Constraints: 21764
566.74/568.46 c #Conflicts: 677000 | #Constraints: 22764
566.74/568.46 c #Conflicts: 678000 | #Constraints: 23764
566.74/568.46 c #Conflicts: 679000 | #Constraints: 24764
566.74/568.46 c #Conflicts: 680000 | #Constraints: 25764
566.74/568.46 c #Conflicts: 681000 | #Constraints: 26764
566.74/568.46 c #Conflicts: 682000 | #Constraints: 27764
566.74/568.46 c #Conflicts: 683000 | #Constraints: 28764
566.74/568.46 c #Conflicts: 684000 | #Constraints: 29764
566.74/568.46 c #Conflicts: 685000 | #Constraints: 30764
566.74/568.46 c #Conflicts: 686000 | #Constraints: 31764
566.74/568.46 c #Conflicts: 687000 | #Constraints: 32764
566.74/568.46 c #Conflicts: 688000 | #Constraints: 33764
566.74/568.46 c INPROCESSING
566.74/568.46 c GARBAGE COLLECT
566.74/568.46 c #Conflicts: 689000 | #Constraints: 18363
566.74/568.46 c #Conflicts: 690000 | #Constraints: 19363
566.74/568.46 c #Conflicts: 691000 | #Constraints: 20363
566.74/568.46 c #Conflicts: 692000 | #Constraints: 21363
566.74/568.46 c #Conflicts: 693000 | #Constraints: 22363
566.74/568.46 c #Conflicts: 694000 | #Constraints: 23363
566.74/568.46 c #Conflicts: 695000 | #Constraints: 24363
566.74/568.46 c #Conflicts: 696000 | #Constraints: 25363
566.74/568.46 c #Conflicts: 697000 | #Constraints: 26363
566.74/568.46 c #Conflicts: 698000 | #Constraints: 27363
566.74/568.46 c #Conflicts: 699000 | #Constraints: 28363
566.74/568.46 c #Conflicts: 700000 | #Constraints: 29363
566.74/568.46 c #Conflicts: 701000 | #Constraints: 30363
566.74/568.46 c #Conflicts: 702000 | #Constraints: 31363
566.74/568.46 c #Conflicts: 703000 | #Constraints: 32363
566.74/568.46 c #Conflicts: 704000 | #Constraints: 33363
566.74/568.46 c #Conflicts: 705000 | #Constraints: 34363
566.74/568.46 c INPROCESSING
566.74/568.46 c GARBAGE COLLECT
566.74/568.46 c #Conflicts: 706000 | #Constraints: 18767
566.74/568.46 c #Conflicts: 707000 | #Constraints: 19767
566.74/568.46 c #Conflicts: 708000 | #Constraints: 20767
566.74/568.46 c #Conflicts: 709000 | #Constraints: 21767
566.74/568.46 c #Conflicts: 710000 | #Constraints: 22767
566.74/568.46 c #Conflicts: 711000 | #Constraints: 23767
566.74/568.46 c #Conflicts: 712000 | #Constraints: 24767
566.74/568.46 c #Conflicts: 713000 | #Constraints: 25767
566.74/568.46 c #Conflicts: 714000 | #Constraints: 26767
566.74/568.46 c #Conflicts: 715000 | #Constraints: 27767
566.74/568.46 c #Conflicts: 716000 | #Constraints: 28767
566.74/568.46 c #Conflicts: 717000 | #Constraints: 29767
566.74/568.46 c #Conflicts: 718000 | #Constraints: 30767
566.74/568.46 c #Conflicts: 719000 | #Constraints: 31767
566.74/568.46 c #Conflicts: 720000 | #Constraints: 32767
566.74/568.46 c #Conflicts: 721000 | #Constraints: 33767
566.74/568.46 c #Conflicts: 722000 | #Constraints: 34767
566.74/568.46 c INPROCESSING
566.74/568.46 c GARBAGE COLLECT
566.74/568.46 c #Conflicts: 723000 | #Constraints: 18973
566.74/568.46 c #Conflicts: 724000 | #Constraints: 19973
566.74/568.46 c #Conflicts: 725000 | #Constraints: 20973
566.74/568.46 c #Conflicts: 726000 | #Constraints: 21973
566.74/568.46 c #Conflicts: 727000 | #Constraints: 22973
566.74/568.46 c #Conflicts: 728000 | #Constraints: 23973
566.74/568.46 c #Conflicts: 729000 | #Constraints: 24973
566.74/568.46 c #Conflicts: 730000 | #Constraints: 25973
566.74/568.46 c #Conflicts: 731000 | #Constraints: 26973
566.74/568.46 c #Conflicts: 732000 | #Constraints: 27973
566.74/568.46 c #Conflicts: 733000 | #Constraints: 28973
566.74/568.46 c #Conflicts: 734000 | #Constraints: 29973
566.74/568.46 c #Conflicts: 735000 | #Constraints: 30973
566.74/568.46 c #Conflicts: 736000 | #Constraints: 31973
566.74/568.46 c #Conflicts: 737000 | #Constraints: 32973
566.74/568.46 c #Conflicts: 738000 | #Constraints: 33973
566.74/568.46 c #Conflicts: 739000 | #Constraints: 34973
566.74/568.46 c INPROCESSING
566.74/568.46 c GARBAGE COLLECT
566.74/568.46 c #Conflicts: 740000 | #Constraints: 18965
566.74/568.46 c #Conflicts: 741000 | #Constraints: 19965
566.74/568.46 c #Conflicts: 742000 | #Constraints: 20965
566.74/568.46 c #Conflicts: 743000 | #Constraints: 21965
566.74/568.46 c #Conflicts: 744000 | #Constraints: 22965
566.74/568.46 c #Conflicts: 745000 | #Constraints: 23965
566.74/568.46 c #Conflicts: 746000 | #Constraints: 24965
566.74/568.46 c #Conflicts: 747000 | #Constraints: 25965
649.90/651.81 c #Conflicts: 748000 | #Constraints: 26965
649.90/651.81 c #Conflicts: 749000 | #Constraints: 27965
649.90/651.81 c #Conflicts: 750000 | #Constraints: 28965
649.90/651.81 c #Conflicts: 751000 | #Constraints: 29965
649.90/651.81 c #Conflicts: 752000 | #Constraints: 30965
649.90/651.81 c #Conflicts: 753000 | #Constraints: 31965
649.90/651.81 c #Conflicts: 754000 | #Constraints: 32965
649.90/651.81 c #Conflicts: 755000 | #Constraints: 33965
649.90/651.81 c #Conflicts: 756000 | #Constraints: 34965
649.90/651.81 c INPROCESSING
649.90/651.81 c GARBAGE COLLECT
649.90/651.81 c #Conflicts: 757000 | #Constraints: 18779
649.90/651.81 c #Conflicts: 758000 | #Constraints: 19779
649.90/651.81 c #Conflicts: 759000 | #Constraints: 20779
649.90/651.81 c #Conflicts: 760000 | #Constraints: 21779
649.90/651.81 c #Conflicts: 761000 | #Constraints: 22779
649.90/651.81 c #Conflicts: 762000 | #Constraints: 23779
649.90/651.81 c #Conflicts: 763000 | #Constraints: 24779
649.90/651.81 c #Conflicts: 764000 | #Constraints: 25779
649.90/651.81 c #Conflicts: 765000 | #Constraints: 26779
649.90/651.81 c #Conflicts: 766000 | #Constraints: 27779
649.90/651.81 c #Conflicts: 767000 | #Constraints: 28779
649.90/651.81 c #Conflicts: 768000 | #Constraints: 29779
649.90/651.81 c #Conflicts: 769000 | #Constraints: 30779
649.90/651.81 c #Conflicts: 770000 | #Constraints: 31779
649.90/651.81 c #Conflicts: 771000 | #Constraints: 32779
649.90/651.81 c #Conflicts: 772000 | #Constraints: 33779
649.90/651.81 c #Conflicts: 773000 | #Constraints: 34779
649.90/651.81 c #Conflicts: 774000 | #Constraints: 35779
649.90/651.81 c INPROCESSING
649.90/651.81 c GARBAGE COLLECT
649.90/651.81 c #Conflicts: 775000 | #Constraints: 19361
649.90/651.81 c #Conflicts: 776000 | #Constraints: 20361
649.90/651.81 c #Conflicts: 777000 | #Constraints: 21361
649.90/651.81 c #Conflicts: 778000 | #Constraints: 22361
649.90/651.81 c #Conflicts: 779000 | #Constraints: 23361
649.90/651.81 c #Conflicts: 780000 | #Constraints: 24361
649.90/651.81 c #Conflicts: 781000 | #Constraints: 25361
649.90/651.81 c #Conflicts: 782000 | #Constraints: 26361
649.90/651.81 c #Conflicts: 783000 | #Constraints: 27361
649.90/651.81 c #Conflicts: 784000 | #Constraints: 28361
649.90/651.81 c #Conflicts: 785000 | #Constraints: 29361
649.90/651.81 c #Conflicts: 786000 | #Constraints: 30361
649.90/651.81 c #Conflicts: 787000 | #Constraints: 31361
649.90/651.81 c #Conflicts: 788000 | #Constraints: 32361
649.90/651.81 c #Conflicts: 789000 | #Constraints: 33361
649.90/651.81 c #Conflicts: 790000 | #Constraints: 34361
649.90/651.81 c #Conflicts: 791000 | #Constraints: 35361
649.90/651.81 c #Conflicts: 792000 | #Constraints: 36361
649.90/651.81 c INPROCESSING
649.90/651.81 c GARBAGE COLLECT
649.90/651.81 c #Conflicts: 793000 | #Constraints: 19775
649.90/651.81 c #Conflicts: 794000 | #Constraints: 20775
649.90/651.81 c #Conflicts: 795000 | #Constraints: 21775
649.90/651.81 c #Conflicts: 796000 | #Constraints: 22775
649.90/651.81 c #Conflicts: 797000 | #Constraints: 23775
649.90/651.81 c #Conflicts: 798000 | #Constraints: 24775
649.90/651.81 c #Conflicts: 799000 | #Constraints: 25775
649.90/651.81 c #Conflicts: 800000 | #Constraints: 26775
649.90/651.81 c #Conflicts: 801000 | #Constraints: 27775
649.90/651.81 c #Conflicts: 802000 | #Constraints: 28775
649.90/651.81 c #Conflicts: 803000 | #Constraints: 29775
649.90/651.81 c #Conflicts: 804000 | #Constraints: 30775
649.90/651.81 c #Conflicts: 805000 | #Constraints: 31775
649.90/651.81 c #Conflicts: 806000 | #Constraints: 32775
649.90/651.81 c #Conflicts: 807000 | #Constraints: 33775
649.90/651.81 c #Conflicts: 808000 | #Constraints: 34775
649.90/651.81 c #Conflicts: 809000 | #Constraints: 35775
649.90/651.81 c #Conflicts: 810000 | #Constraints: 36775
649.90/651.81 c INPROCESSING
649.90/651.81 c GARBAGE COLLECT
649.90/651.81 c #Conflicts: 811000 | #Constraints: 19986
649.90/651.81 c #Conflicts: 812000 | #Constraints: 20986
649.90/651.81 c #Conflicts: 813000 | #Constraints: 21986
649.90/651.81 c #Conflicts: 814000 | #Constraints: 22986
649.90/651.81 c #Conflicts: 815000 | #Constraints: 23986
649.90/651.81 c #Conflicts: 816000 | #Constraints: 24986
649.90/651.81 c #Conflicts: 817000 | #Constraints: 25986
649.90/651.81 c #Conflicts: 818000 | #Constraints: 26986
649.90/651.81 c #Conflicts: 819000 | #Constraints: 27986
649.90/651.81 c #Conflicts: 820000 | #Constraints: 28986
649.90/651.81 c #Conflicts: 821000 | #Constraints: 29986
649.90/651.81 c #Conflicts: 822000 | #Constraints: 30986
649.90/651.81 c #Conflicts: 823000 | #Constraints: 31986
733.15/735.37 c #Conflicts: 824000 | #Constraints: 32986
733.15/735.37 c #Conflicts: 825000 | #Constraints: 33986
733.15/735.37 c #Conflicts: 826000 | #Constraints: 34986
733.15/735.37 c #Conflicts: 827000 | #Constraints: 35986
733.15/735.37 c #Conflicts: 828000 | #Constraints: 36986
733.15/735.37 c INPROCESSING
733.15/735.37 c GARBAGE COLLECT
733.15/735.37 c #Conflicts: 829000 | #Constraints: 19972
733.15/735.37 c #Conflicts: 830000 | #Constraints: 20972
733.15/735.37 c #Conflicts: 831000 | #Constraints: 21972
733.15/735.37 c #Conflicts: 832000 | #Constraints: 22972
733.15/735.37 c #Conflicts: 833000 | #Constraints: 23972
733.15/735.37 c #Conflicts: 834000 | #Constraints: 24972
733.15/735.37 c #Conflicts: 835000 | #Constraints: 25972
733.15/735.37 c #Conflicts: 836000 | #Constraints: 26972
733.15/735.37 c #Conflicts: 837000 | #Constraints: 27972
733.15/735.37 c #Conflicts: 838000 | #Constraints: 28972
733.15/735.37 c #Conflicts: 839000 | #Constraints: 29972
733.15/735.37 c #Conflicts: 840000 | #Constraints: 30972
733.15/735.37 c #Conflicts: 841000 | #Constraints: 31972
733.15/735.37 c #Conflicts: 842000 | #Constraints: 32972
733.15/735.37 c #Conflicts: 843000 | #Constraints: 33972
733.15/735.37 c #Conflicts: 844000 | #Constraints: 34972
733.15/735.37 c #Conflicts: 845000 | #Constraints: 35972
733.15/735.37 c #Conflicts: 846000 | #Constraints: 36972
733.15/735.37 c INPROCESSING
733.15/735.37 c GARBAGE COLLECT
733.15/735.37 c #Conflicts: 847000 | #Constraints: 19765
733.15/735.37 c #Conflicts: 848000 | #Constraints: 20765
733.15/735.37 c #Conflicts: 849000 | #Constraints: 21765
733.15/735.37 c #Conflicts: 850000 | #Constraints: 22765
733.15/735.37 c #Conflicts: 851000 | #Constraints: 23765
733.15/735.37 c #Conflicts: 852000 | #Constraints: 24765
733.15/735.37 c #Conflicts: 853000 | #Constraints: 25765
733.15/735.37 c #Conflicts: 854000 | #Constraints: 26765
733.15/735.37 c #Conflicts: 855000 | #Constraints: 27765
733.15/735.37 c #Conflicts: 856000 | #Constraints: 28765
733.15/735.37 c #Conflicts: 857000 | #Constraints: 29765
733.15/735.37 c #Conflicts: 858000 | #Constraints: 30765
733.15/735.37 c #Conflicts: 859000 | #Constraints: 31765
733.15/735.37 c #Conflicts: 860000 | #Constraints: 32765
733.15/735.37 c #Conflicts: 861000 | #Constraints: 33765
733.15/735.37 c #Conflicts: 862000 | #Constraints: 34765
733.15/735.37 c #Conflicts: 863000 | #Constraints: 35765
733.15/735.37 c #Conflicts: 864000 | #Constraints: 36765
733.15/735.37 c #Conflicts: 865000 | #Constraints: 37765
733.15/735.37 c INPROCESSING
733.15/735.37 c GARBAGE COLLECT
733.15/735.37 c #Conflicts: 866000 | #Constraints: 20371
733.15/735.37 c #Conflicts: 867000 | #Constraints: 21371
733.15/735.37 c #Conflicts: 868000 | #Constraints: 22371
733.15/735.37 c #Conflicts: 869000 | #Constraints: 23371
733.15/735.37 c #Conflicts: 870000 | #Constraints: 24371
733.15/735.37 c #Conflicts: 871000 | #Constraints: 25371
733.15/735.37 c #Conflicts: 872000 | #Constraints: 26371
733.15/735.37 c #Conflicts: 873000 | #Constraints: 27371
733.15/735.37 c #Conflicts: 874000 | #Constraints: 28371
733.15/735.37 c #Conflicts: 875000 | #Constraints: 29371
733.15/735.37 c #Conflicts: 876000 | #Constraints: 30371
733.15/735.37 c #Conflicts: 877000 | #Constraints: 31371
733.15/735.37 c #Conflicts: 878000 | #Constraints: 32371
733.15/735.37 c #Conflicts: 879000 | #Constraints: 33371
733.15/735.37 c #Conflicts: 880000 | #Constraints: 34371
733.15/735.37 c #Conflicts: 881000 | #Constraints: 35371
733.15/735.37 c #Conflicts: 882000 | #Constraints: 36371
733.15/735.37 c #Conflicts: 883000 | #Constraints: 37371
733.15/735.37 c #Conflicts: 884000 | #Constraints: 38371
733.15/735.37 c INPROCESSING
733.15/735.37 c GARBAGE COLLECT
733.15/735.37 c #Conflicts: 885000 | #Constraints: 20772
733.15/735.37 c #Conflicts: 886000 | #Constraints: 21772
733.15/735.37 c #Conflicts: 887000 | #Constraints: 22772
733.15/735.37 c #Conflicts: 888000 | #Constraints: 23772
733.15/735.37 c #Conflicts: 889000 | #Constraints: 24772
733.15/735.37 c #Conflicts: 890000 | #Constraints: 25772
733.15/735.37 c #Conflicts: 891000 | #Constraints: 26772
733.15/735.37 c #Conflicts: 892000 | #Constraints: 27772
733.15/735.37 c #Conflicts: 893000 | #Constraints: 28772
733.15/735.37 c #Conflicts: 894000 | #Constraints: 29772
733.15/735.37 c #Conflicts: 895000 | #Constraints: 30772
733.15/735.37 c #Conflicts: 896000 | #Constraints: 31772
733.15/735.37 c #Conflicts: 897000 | #Constraints: 32772
733.15/735.37 c #Conflicts: 898000 | #Constraints: 33772
733.15/735.37 c #Conflicts: 899000 | #Constraints: 34772
825.67/828.10 c #Conflicts: 900000 | #Constraints: 35772
825.67/828.10 c #Conflicts: 901000 | #Constraints: 36772
825.67/828.10 c #Conflicts: 902000 | #Constraints: 37772
825.67/828.10 c #Conflicts: 903000 | #Constraints: 38772
825.67/828.10 c INPROCESSING
825.67/828.10 c GARBAGE COLLECT
825.67/828.10 c #Conflicts: 904000 | #Constraints: 20974
825.67/828.10 c #Conflicts: 905000 | #Constraints: 21974
825.67/828.10 c #Conflicts: 906000 | #Constraints: 22974
825.67/828.10 c #Conflicts: 907000 | #Constraints: 23974
825.67/828.10 c #Conflicts: 908000 | #Constraints: 24974
825.67/828.10 c #Conflicts: 909000 | #Constraints: 25974
825.67/828.10 c #Conflicts: 910000 | #Constraints: 26974
825.67/828.10 c #Conflicts: 911000 | #Constraints: 27974
825.67/828.10 c #Conflicts: 912000 | #Constraints: 28974
825.67/828.10 c #Conflicts: 913000 | #Constraints: 29974
825.67/828.10 c #Conflicts: 914000 | #Constraints: 30974
825.67/828.10 c #Conflicts: 915000 | #Constraints: 31974
825.67/828.10 c #Conflicts: 916000 | #Constraints: 32974
825.67/828.10 c #Conflicts: 917000 | #Constraints: 33974
825.67/828.10 c #Conflicts: 918000 | #Constraints: 34974
825.67/828.10 c #Conflicts: 919000 | #Constraints: 35974
825.67/828.10 c #Conflicts: 920000 | #Constraints: 36974
825.67/828.10 c #Conflicts: 921000 | #Constraints: 37974
825.67/828.10 c #Conflicts: 922000 | #Constraints: 38974
825.67/828.10 c INPROCESSING
825.67/828.10 c GARBAGE COLLECT
825.67/828.10 c #Conflicts: 923000 | #Constraints: 20961
825.67/828.10 c #Conflicts: 924000 | #Constraints: 21961
825.67/828.10 c #Conflicts: 925000 | #Constraints: 22961
825.67/828.10 c #Conflicts: 926000 | #Constraints: 23961
825.67/828.10 c #Conflicts: 927000 | #Constraints: 24961
825.67/828.10 c #Conflicts: 928000 | #Constraints: 25961
825.67/828.10 c #Conflicts: 929000 | #Constraints: 26961
825.67/828.10 c #Conflicts: 930000 | #Constraints: 27961
825.67/828.10 c #Conflicts: 931000 | #Constraints: 28961
825.67/828.10 c #Conflicts: 932000 | #Constraints: 29961
825.67/828.10 c #Conflicts: 933000 | #Constraints: 30961
825.67/828.10 c #Conflicts: 934000 | #Constraints: 31961
825.67/828.10 c #Conflicts: 935000 | #Constraints: 32961
825.67/828.10 c #Conflicts: 936000 | #Constraints: 33961
825.67/828.10 c #Conflicts: 937000 | #Constraints: 34961
825.67/828.10 c #Conflicts: 938000 | #Constraints: 35961
825.67/828.10 c #Conflicts: 939000 | #Constraints: 36961
825.67/828.10 c #Conflicts: 940000 | #Constraints: 37961
825.67/828.10 c #Conflicts: 941000 | #Constraints: 38961
825.67/828.10 c INPROCESSING
825.67/828.10 c GARBAGE COLLECT
825.67/828.10 c #Conflicts: 942000 | #Constraints: 20763
825.67/828.10 c #Conflicts: 943000 | #Constraints: 21763
825.67/828.10 c #Conflicts: 944000 | #Constraints: 22763
825.67/828.10 c #Conflicts: 945000 | #Constraints: 23763
825.67/828.10 c #Conflicts: 946000 | #Constraints: 24763
825.67/828.10 c #Conflicts: 947000 | #Constraints: 25763
825.67/828.10 c #Conflicts: 948000 | #Constraints: 26763
825.67/828.10 c #Conflicts: 949000 | #Constraints: 27763
825.67/828.10 c #Conflicts: 950000 | #Constraints: 28763
825.67/828.10 c #Conflicts: 951000 | #Constraints: 29763
825.67/828.10 c #Conflicts: 952000 | #Constraints: 30763
825.67/828.10 c #Conflicts: 953000 | #Constraints: 31763
825.67/828.10 c #Conflicts: 954000 | #Constraints: 32763
825.67/828.10 c #Conflicts: 955000 | #Constraints: 33763
825.67/828.10 c #Conflicts: 956000 | #Constraints: 34763
825.67/828.10 c #Conflicts: 957000 | #Constraints: 35763
825.67/828.10 c #Conflicts: 958000 | #Constraints: 36763
825.67/828.10 c #Conflicts: 959000 | #Constraints: 37763
825.67/828.10 c #Conflicts: 960000 | #Constraints: 38763
825.67/828.10 c #Conflicts: 961000 | #Constraints: 39763
825.67/828.10 c INPROCESSING
825.67/828.10 c GARBAGE COLLECT
825.67/828.10 c #Conflicts: 962000 | #Constraints: 21379
825.67/828.10 c #Conflicts: 963000 | #Constraints: 22379
825.67/828.10 c #Conflicts: 964000 | #Constraints: 23379
825.67/828.10 c #Conflicts: 965000 | #Constraints: 24379
825.67/828.10 c #Conflicts: 966000 | #Constraints: 25379
825.67/828.10 c #Conflicts: 967000 | #Constraints: 26379
825.67/828.10 c #Conflicts: 968000 | #Constraints: 27379
825.67/828.10 c #Conflicts: 969000 | #Constraints: 28379
825.67/828.10 c #Conflicts: 970000 | #Constraints: 29379
825.67/828.10 c #Conflicts: 971000 | #Constraints: 30379
825.67/828.10 c #Conflicts: 972000 | #Constraints: 31379
825.67/828.10 c #Conflicts: 973000 | #Constraints: 32379
825.67/828.10 c #Conflicts: 974000 | #Constraints: 33379
825.67/828.10 c #Conflicts: 975000 | #Constraints: 34379
944.79/947.67 c #Conflicts: 976000 | #Constraints: 35379
944.79/947.67 c #Conflicts: 977000 | #Constraints: 36379
944.79/947.67 c #Conflicts: 978000 | #Constraints: 37379
944.79/947.67 c #Conflicts: 979000 | #Constraints: 38379
944.79/947.67 c #Conflicts: 980000 | #Constraints: 39379
944.79/947.67 c #Conflicts: 981000 | #Constraints: 40379
944.79/947.67 c INPROCESSING
944.79/947.67 c GARBAGE COLLECT
944.79/947.67 c #Conflicts: 982000 | #Constraints: 21788
944.79/947.67 c #Conflicts: 983000 | #Constraints: 22788
944.79/947.67 c #Conflicts: 984000 | #Constraints: 23788
944.79/947.67 c #Conflicts: 985000 | #Constraints: 24788
944.79/947.67 c #Conflicts: 986000 | #Constraints: 25788
944.79/947.67 c #Conflicts: 987000 | #Constraints: 26788
944.79/947.67 c #Conflicts: 988000 | #Constraints: 27788
944.79/947.67 c #Conflicts: 989000 | #Constraints: 28788
944.79/947.67 c #Conflicts: 990000 | #Constraints: 29788
944.79/947.67 c #Conflicts: 991000 | #Constraints: 30788
944.79/947.67 c #Conflicts: 992000 | #Constraints: 31788
944.79/947.67 c #Conflicts: 993000 | #Constraints: 32788
944.79/947.67 c #Conflicts: 994000 | #Constraints: 33788
944.79/947.67 c #Conflicts: 995000 | #Constraints: 34788
944.79/947.67 c #Conflicts: 996000 | #Constraints: 35788
944.79/947.67 c #Conflicts: 997000 | #Constraints: 36788
944.79/947.67 c #Conflicts: 998000 | #Constraints: 37788
944.79/947.67 c #Conflicts: 999000 | #Constraints: 38788
944.79/947.67 c #Conflicts: 1000000 | #Constraints: 39788
944.79/947.67 c #Conflicts: 1001000 | #Constraints: 40788
944.79/947.67 c INPROCESSING
944.79/947.67 c GARBAGE COLLECT
944.79/947.67 c #Conflicts: 1002000 | #Constraints: 21976
944.79/947.67 c #Conflicts: 1003000 | #Constraints: 22976
944.79/947.67 c #Conflicts: 1004000 | #Constraints: 23976
944.79/947.67 c #Conflicts: 1005000 | #Constraints: 24976
944.79/947.67 c #Conflicts: 1006000 | #Constraints: 25976
944.79/947.67 c #Conflicts: 1007000 | #Constraints: 26976
944.79/947.67 c #Conflicts: 1008000 | #Constraints: 27976
944.79/947.67 c #Conflicts: 1009000 | #Constraints: 28976
944.79/947.67 c #Conflicts: 1010000 | #Constraints: 29976
944.79/947.67 c #Conflicts: 1011000 | #Constraints: 30976
944.79/947.67 c #Conflicts: 1012000 | #Constraints: 31976
944.79/947.67 c #Conflicts: 1013000 | #Constraints: 32976
944.79/947.67 c #Conflicts: 1014000 | #Constraints: 33976
944.79/947.67 c #Conflicts: 1015000 | #Constraints: 34976
944.79/947.67 c #Conflicts: 1016000 | #Constraints: 35976
944.79/947.67 c #Conflicts: 1017000 | #Constraints: 36976
944.79/947.67 c #Conflicts: 1018000 | #Constraints: 37976
944.79/947.67 c #Conflicts: 1019000 | #Constraints: 38976
944.79/947.67 c #Conflicts: 1020000 | #Constraints: 39976
944.79/947.67 c #Conflicts: 1021000 | #Constraints: 40976
944.79/947.67 c INPROCESSING
944.79/947.67 c GARBAGE COLLECT
944.79/947.67 c #Conflicts: 1022000 | #Constraints: 21980
944.79/947.67 c #Conflicts: 1023000 | #Constraints: 22980
944.79/947.67 c #Conflicts: 1024000 | #Constraints: 23980
944.79/947.67 c #Conflicts: 1025000 | #Constraints: 24980
944.79/947.67 c #Conflicts: 1026000 | #Constraints: 25980
944.79/947.67 c #Conflicts: 1027000 | #Constraints: 26980
944.79/947.67 c #Conflicts: 1028000 | #Constraints: 27980
944.79/947.67 c #Conflicts: 1029000 | #Constraints: 28980
944.79/947.67 c #Conflicts: 1030000 | #Constraints: 29980
944.79/947.67 c #Conflicts: 1031000 | #Constraints: 30980
944.79/947.67 c #Conflicts: 1032000 | #Constraints: 31980
944.79/947.67 c #Conflicts: 1033000 | #Constraints: 32980
944.79/947.67 c #Conflicts: 1034000 | #Constraints: 33980
944.79/947.67 c #Conflicts: 1035000 | #Constraints: 34980
944.79/947.67 c #Conflicts: 1036000 | #Constraints: 35980
944.79/947.67 c #Conflicts: 1037000 | #Constraints: 36980
944.79/947.67 c #Conflicts: 1038000 | #Constraints: 37980
944.79/947.67 c #Conflicts: 1039000 | #Constraints: 38980
944.79/947.67 c #Conflicts: 1040000 | #Constraints: 39980
944.79/947.67 c #Conflicts: 1041000 | #Constraints: 40980
944.79/947.67 c INPROCESSING
944.79/947.67 c GARBAGE COLLECT
944.79/947.67 c #Conflicts: 1042000 | #Constraints: 21799
944.79/947.67 c #Conflicts: 1043000 | #Constraints: 22799
944.79/947.67 c #Conflicts: 1044000 | #Constraints: 23799
944.79/947.67 c #Conflicts: 1045000 | #Constraints: 24799
944.79/947.67 c #Conflicts: 1046000 | #Constraints: 25799
944.79/947.67 c #Conflicts: 1047000 | #Constraints: 26799
944.79/947.67 c #Conflicts: 1048000 | #Constraints: 27799
944.79/947.67 c #Conflicts: 1049000 | #Constraints: 28799
944.79/947.67 c #Conflicts: 1050000 | #Constraints: 29799
944.79/947.67 c #Conflicts: 1051000 | #Constraints: 30799
944.79/947.67 c #Conflicts: 1052000 | #Constraints: 31799
1043.68/1046.86 c #Conflicts: 1053000 | #Constraints: 32799
1043.68/1046.86 c #Conflicts: 1054000 | #Constraints: 33799
1043.68/1046.86 c #Conflicts: 1055000 | #Constraints: 34799
1043.68/1046.86 c #Conflicts: 1056000 | #Constraints: 35799
1043.68/1046.86 c #Conflicts: 1057000 | #Constraints: 36799
1043.68/1046.86 c #Conflicts: 1058000 | #Constraints: 37799
1043.68/1046.86 c #Conflicts: 1059000 | #Constraints: 38799
1043.68/1046.86 c #Conflicts: 1060000 | #Constraints: 39799
1043.68/1046.86 c #Conflicts: 1061000 | #Constraints: 40799
1043.68/1046.86 c #Conflicts: 1062000 | #Constraints: 41799
1043.68/1046.86 c INPROCESSING
1043.68/1046.86 c GARBAGE COLLECT
1043.68/1046.86 c #Conflicts: 1063000 | #Constraints: 22387
1043.68/1046.86 c #Conflicts: 1064000 | #Constraints: 23387
1043.68/1046.86 c #Conflicts: 1065000 | #Constraints: 24387
1043.68/1046.86 c #Conflicts: 1066000 | #Constraints: 25387
1043.68/1046.86 c #Conflicts: 1067000 | #Constraints: 26387
1043.68/1046.86 c #Conflicts: 1068000 | #Constraints: 27387
1043.68/1046.86 c #Conflicts: 1069000 | #Constraints: 28387
1043.68/1046.86 c #Conflicts: 1070000 | #Constraints: 29387
1043.68/1046.86 c #Conflicts: 1071000 | #Constraints: 30387
1043.68/1046.86 c #Conflicts: 1072000 | #Constraints: 31387
1043.68/1046.86 c #Conflicts: 1073000 | #Constraints: 32387
1043.68/1046.86 c #Conflicts: 1074000 | #Constraints: 33387
1043.68/1046.86 c #Conflicts: 1075000 | #Constraints: 34387
1043.68/1046.86 c #Conflicts: 1076000 | #Constraints: 35387
1043.68/1046.86 c #Conflicts: 1077000 | #Constraints: 36387
1043.68/1046.86 c #Conflicts: 1078000 | #Constraints: 37387
1043.68/1046.86 c #Conflicts: 1079000 | #Constraints: 38387
1043.68/1046.86 c #Conflicts: 1080000 | #Constraints: 39387
1043.68/1046.86 c #Conflicts: 1081000 | #Constraints: 40387
1043.68/1046.86 c #Conflicts: 1082000 | #Constraints: 41387
1043.68/1046.86 c #Conflicts: 1083000 | #Constraints: 42387
1043.68/1046.86 c INPROCESSING
1043.68/1046.86 c GARBAGE COLLECT
1043.68/1046.86 c #Conflicts: 1084000 | #Constraints: 22782
1043.68/1046.86 c #Conflicts: 1085000 | #Constraints: 23782
1043.68/1046.86 c #Conflicts: 1086000 | #Constraints: 24782
1043.68/1046.86 c #Conflicts: 1087000 | #Constraints: 25782
1043.68/1046.86 c #Conflicts: 1088000 | #Constraints: 26782
1043.68/1046.86 c #Conflicts: 1089000 | #Constraints: 27782
1043.68/1046.86 c #Conflicts: 1090000 | #Constraints: 28782
1043.68/1046.86 c #Conflicts: 1091000 | #Constraints: 29782
1043.68/1046.86 c #Conflicts: 1092000 | #Constraints: 30782
1043.68/1046.86 c #Conflicts: 1093000 | #Constraints: 31782
1043.68/1046.86 c #Conflicts: 1094000 | #Constraints: 32782
1043.68/1046.86 c #Conflicts: 1095000 | #Constraints: 33782
1043.68/1046.86 c #Conflicts: 1096000 | #Constraints: 34782
1043.68/1046.86 c #Conflicts: 1097000 | #Constraints: 35782
1043.68/1046.86 c #Conflicts: 1098000 | #Constraints: 36782
1043.68/1046.86 c #Conflicts: 1099000 | #Constraints: 37782
1043.68/1046.86 c #Conflicts: 1100000 | #Constraints: 38782
1043.68/1046.86 c #Conflicts: 1101000 | #Constraints: 39782
1043.68/1046.86 c #Conflicts: 1102000 | #Constraints: 40782
1043.68/1046.86 c #Conflicts: 1103000 | #Constraints: 41782
1043.68/1046.86 c #Conflicts: 1104000 | #Constraints: 42782
1043.68/1046.86 c INPROCESSING
1043.68/1046.86 c GARBAGE COLLECT
1043.68/1046.86 c #Conflicts: 1105000 | #Constraints: 22972
1043.68/1046.86 c #Conflicts: 1106000 | #Constraints: 23972
1043.68/1046.86 c #Conflicts: 1107000 | #Constraints: 24972
1043.68/1046.86 c #Conflicts: 1108000 | #Constraints: 25972
1043.68/1046.86 c #Conflicts: 1109000 | #Constraints: 26972
1043.68/1046.86 c #Conflicts: 1110000 | #Constraints: 27972
1043.68/1046.86 c #Conflicts: 1111000 | #Constraints: 28972
1043.68/1046.86 c #Conflicts: 1112000 | #Constraints: 29972
1043.68/1046.86 c #Conflicts: 1113000 | #Constraints: 30972
1043.68/1046.86 c #Conflicts: 1114000 | #Constraints: 31972
1043.68/1046.86 c #Conflicts: 1115000 | #Constraints: 32972
1043.68/1046.86 c #Conflicts: 1116000 | #Constraints: 33972
1043.68/1046.86 c #Conflicts: 1117000 | #Constraints: 34972
1043.68/1046.86 c #Conflicts: 1118000 | #Constraints: 35972
1043.68/1046.86 c #Conflicts: 1119000 | #Constraints: 36972
1043.68/1046.86 c #Conflicts: 1120000 | #Constraints: 37972
1043.68/1046.86 c #Conflicts: 1121000 | #Constraints: 38972
1043.68/1046.86 c #Conflicts: 1122000 | #Constraints: 39972
1043.68/1046.86 c #Conflicts: 1123000 | #Constraints: 40972
1043.68/1046.86 c #Conflicts: 1124000 | #Constraints: 41972
1043.68/1046.86 c #Conflicts: 1125000 | #Constraints: 42972
1043.68/1046.86 c INPROCESSING
1043.68/1046.86 c GARBAGE COLLECT
1043.68/1046.86 c #Conflicts: 1126000 | #Constraints: 22977
1043.68/1046.86 c #Conflicts: 1127000 | #Constraints: 23977
1043.68/1046.86 c #Conflicts: 1128000 | #Constraints: 24977
1152.53/1156.06 c #Conflicts: 1129000 | #Constraints: 25977
1152.53/1156.06 c #Conflicts: 1130000 | #Constraints: 26977
1152.53/1156.06 c #Conflicts: 1131000 | #Constraints: 27977
1152.53/1156.06 c #Conflicts: 1132000 | #Constraints: 28977
1152.53/1156.06 c #Conflicts: 1133000 | #Constraints: 29977
1152.53/1156.06 c #Conflicts: 1134000 | #Constraints: 30977
1152.53/1156.06 c #Conflicts: 1135000 | #Constraints: 31977
1152.53/1156.06 c #Conflicts: 1136000 | #Constraints: 32977
1152.53/1156.06 c #Conflicts: 1137000 | #Constraints: 33977
1152.53/1156.06 c #Conflicts: 1138000 | #Constraints: 34977
1152.53/1156.06 c #Conflicts: 1139000 | #Constraints: 35977
1152.53/1156.06 c #Conflicts: 1140000 | #Constraints: 36977
1152.53/1156.06 c #Conflicts: 1141000 | #Constraints: 37977
1152.53/1156.06 c #Conflicts: 1142000 | #Constraints: 38977
1152.53/1156.06 c #Conflicts: 1143000 | #Constraints: 39977
1152.53/1156.06 c #Conflicts: 1144000 | #Constraints: 40977
1152.53/1156.06 c #Conflicts: 1145000 | #Constraints: 41977
1152.53/1156.06 c #Conflicts: 1146000 | #Constraints: 42977
1152.53/1156.06 c INPROCESSING
1152.53/1156.06 c GARBAGE COLLECT
1152.53/1156.06 c #Conflicts: 1147000 | #Constraints: 22767
1152.53/1156.06 c #Conflicts: 1148000 | #Constraints: 23767
1152.53/1156.06 c #Conflicts: 1149000 | #Constraints: 24767
1152.53/1156.06 c #Conflicts: 1150000 | #Constraints: 25767
1152.53/1156.06 c #Conflicts: 1151000 | #Constraints: 26767
1152.53/1156.06 c #Conflicts: 1152000 | #Constraints: 27767
1152.53/1156.06 c #Conflicts: 1153000 | #Constraints: 28767
1152.53/1156.06 c #Conflicts: 1154000 | #Constraints: 29767
1152.53/1156.06 c #Conflicts: 1155000 | #Constraints: 30767
1152.53/1156.06 c #Conflicts: 1156000 | #Constraints: 31767
1152.53/1156.06 c #Conflicts: 1157000 | #Constraints: 32767
1152.53/1156.06 c #Conflicts: 1158000 | #Constraints: 33767
1152.53/1156.06 c #Conflicts: 1159000 | #Constraints: 34767
1152.53/1156.06 c #Conflicts: 1160000 | #Constraints: 35767
1152.53/1156.06 c #Conflicts: 1161000 | #Constraints: 36767
1152.53/1156.06 c #Conflicts: 1162000 | #Constraints: 37767
1152.53/1156.06 c #Conflicts: 1163000 | #Constraints: 38767
1152.53/1156.06 c #Conflicts: 1164000 | #Constraints: 39767
1152.53/1156.06 c #Conflicts: 1165000 | #Constraints: 40767
1152.53/1156.06 c #Conflicts: 1166000 | #Constraints: 41767
1152.53/1156.06 c #Conflicts: 1167000 | #Constraints: 42767
1152.53/1156.06 c #Conflicts: 1168000 | #Constraints: 43767
1152.53/1156.06 c INPROCESSING
1152.53/1156.06 c GARBAGE COLLECT
1152.53/1156.06 c #Conflicts: 1169000 | #Constraints: 23366
1152.53/1156.06 c #Conflicts: 1170000 | #Constraints: 24366
1152.53/1156.06 c #Conflicts: 1171000 | #Constraints: 25366
1152.53/1156.06 c #Conflicts: 1172000 | #Constraints: 26366
1152.53/1156.06 c #Conflicts: 1173000 | #Constraints: 27366
1152.53/1156.06 c #Conflicts: 1174000 | #Constraints: 28366
1152.53/1156.06 c #Conflicts: 1175000 | #Constraints: 29366
1152.53/1156.06 c #Conflicts: 1176000 | #Constraints: 30366
1152.53/1156.06 c #Conflicts: 1177000 | #Constraints: 31366
1152.53/1156.06 c #Conflicts: 1178000 | #Constraints: 32366
1152.53/1156.06 c #Conflicts: 1179000 | #Constraints: 33366
1152.53/1156.06 c #Conflicts: 1180000 | #Constraints: 34366
1152.53/1156.06 c #Conflicts: 1181000 | #Constraints: 35366
1152.53/1156.06 c #Conflicts: 1182000 | #Constraints: 36366
1152.53/1156.06 c #Conflicts: 1183000 | #Constraints: 37366
1152.53/1156.06 c #Conflicts: 1184000 | #Constraints: 38366
1152.53/1156.06 c #Conflicts: 1185000 | #Constraints: 39366
1152.53/1156.06 c #Conflicts: 1186000 | #Constraints: 40366
1152.53/1156.06 c #Conflicts: 1187000 | #Constraints: 41366
1152.53/1156.06 c #Conflicts: 1188000 | #Constraints: 42366
1152.53/1156.06 c #Conflicts: 1189000 | #Constraints: 43366
1152.53/1156.06 c #Conflicts: 1190000 | #Constraints: 44366
1152.53/1156.06 c INPROCESSING
1152.53/1156.06 c GARBAGE COLLECT
1152.53/1156.06 c #Conflicts: 1191000 | #Constraints: 23764
1152.53/1156.06 c #Conflicts: 1192000 | #Constraints: 24764
1152.53/1156.06 c #Conflicts: 1193000 | #Constraints: 25764
1152.53/1156.06 c #Conflicts: 1194000 | #Constraints: 26764
1152.53/1156.06 c #Conflicts: 1195000 | #Constraints: 27764
1152.53/1156.06 c #Conflicts: 1196000 | #Constraints: 28764
1152.53/1156.06 c #Conflicts: 1197000 | #Constraints: 29764
1152.53/1156.06 c #Conflicts: 1198000 | #Constraints: 30764
1152.53/1156.06 c #Conflicts: 1199000 | #Constraints: 31764
1152.53/1156.06 c #Conflicts: 1200000 | #Constraints: 32764
1152.53/1156.06 c #Conflicts: 1201000 | #Constraints: 33764
1152.53/1156.06 c #Conflicts: 1202000 | #Constraints: 34764
1152.53/1156.06 c #Conflicts: 1203000 | #Constraints: 35764
1152.53/1156.06 c #Conflicts: 1204000 | #Constraints: 36764
1152.53/1156.06 c #Conflicts: 1205000 | #Constraints: 37764
1272.15/1276.07 c #Conflicts: 1206000 | #Constraints: 38764
1272.15/1276.07 c #Conflicts: 1207000 | #Constraints: 39764
1272.15/1276.07 c #Conflicts: 1208000 | #Constraints: 40764
1272.15/1276.07 c #Conflicts: 1209000 | #Constraints: 41764
1272.15/1276.07 c #Conflicts: 1210000 | #Constraints: 42764
1272.15/1276.07 c #Conflicts: 1211000 | #Constraints: 43764
1272.15/1276.07 c #Conflicts: 1212000 | #Constraints: 44764
1272.15/1276.07 c INPROCESSING
1272.15/1276.07 c GARBAGE COLLECT
1272.15/1276.07 c #Conflicts: 1213000 | #Constraints: 23973
1272.15/1276.07 c #Conflicts: 1214000 | #Constraints: 24973
1272.15/1276.07 c #Conflicts: 1215000 | #Constraints: 25973
1272.15/1276.07 c #Conflicts: 1216000 | #Constraints: 26973
1272.15/1276.07 c #Conflicts: 1217000 | #Constraints: 27973
1272.15/1276.07 c #Conflicts: 1218000 | #Constraints: 28973
1272.15/1276.07 c #Conflicts: 1219000 | #Constraints: 29973
1272.15/1276.07 c #Conflicts: 1220000 | #Constraints: 30973
1272.15/1276.07 c #Conflicts: 1221000 | #Constraints: 31973
1272.15/1276.07 c #Conflicts: 1222000 | #Constraints: 32973
1272.15/1276.07 c #Conflicts: 1223000 | #Constraints: 33973
1272.15/1276.07 c #Conflicts: 1224000 | #Constraints: 34973
1272.15/1276.07 c #Conflicts: 1225000 | #Constraints: 35973
1272.15/1276.07 c #Conflicts: 1226000 | #Constraints: 36973
1272.15/1276.07 c #Conflicts: 1227000 | #Constraints: 37973
1272.15/1276.07 c #Conflicts: 1228000 | #Constraints: 38973
1272.15/1276.07 c #Conflicts: 1229000 | #Constraints: 39973
1272.15/1276.07 c #Conflicts: 1230000 | #Constraints: 40973
1272.15/1276.07 c #Conflicts: 1231000 | #Constraints: 41973
1272.15/1276.07 c #Conflicts: 1232000 | #Constraints: 42973
1272.15/1276.07 c #Conflicts: 1233000 | #Constraints: 43973
1272.15/1276.07 c #Conflicts: 1234000 | #Constraints: 44973
1272.15/1276.07 c INPROCESSING
1272.15/1276.07 c GARBAGE COLLECT
1272.15/1276.07 c #Conflicts: 1235000 | #Constraints: 23966
1272.15/1276.07 c #Conflicts: 1236000 | #Constraints: 24966
1272.15/1276.07 c #Conflicts: 1237000 | #Constraints: 25966
1272.15/1276.07 c #Conflicts: 1238000 | #Constraints: 26966
1272.15/1276.07 c #Conflicts: 1239000 | #Constraints: 27966
1272.15/1276.07 c #Conflicts: 1240000 | #Constraints: 28966
1272.15/1276.07 c #Conflicts: 1241000 | #Constraints: 29966
1272.15/1276.07 c #Conflicts: 1242000 | #Constraints: 30966
1272.15/1276.07 c #Conflicts: 1243000 | #Constraints: 31966
1272.15/1276.07 c #Conflicts: 1244000 | #Constraints: 32966
1272.15/1276.07 c #Conflicts: 1245000 | #Constraints: 33966
1272.15/1276.07 c #Conflicts: 1246000 | #Constraints: 34966
1272.15/1276.07 c #Conflicts: 1247000 | #Constraints: 35966
1272.15/1276.07 c #Conflicts: 1248000 | #Constraints: 36966
1272.15/1276.07 c #Conflicts: 1249000 | #Constraints: 37966
1272.15/1276.07 c #Conflicts: 1250000 | #Constraints: 38966
1272.15/1276.07 c #Conflicts: 1251000 | #Constraints: 39966
1272.15/1276.07 c #Conflicts: 1252000 | #Constraints: 40966
1272.15/1276.07 c #Conflicts: 1253000 | #Constraints: 41966
1272.15/1276.07 c #Conflicts: 1254000 | #Constraints: 42966
1272.15/1276.07 c #Conflicts: 1255000 | #Constraints: 43966
1272.15/1276.07 c #Conflicts: 1256000 | #Constraints: 44966
1272.15/1276.07 c INPROCESSING
1272.15/1276.07 c GARBAGE COLLECT
1272.15/1276.07 c #Conflicts: 1257000 | #Constraints: 23764
1272.15/1276.07 c #Conflicts: 1258000 | #Constraints: 24764
1272.15/1276.07 c #Conflicts: 1259000 | #Constraints: 25764
1272.15/1276.07 c #Conflicts: 1260000 | #Constraints: 26764
1272.15/1276.07 c #Conflicts: 1261000 | #Constraints: 27764
1272.15/1276.07 c #Conflicts: 1262000 | #Constraints: 28764
1272.15/1276.07 c #Conflicts: 1263000 | #Constraints: 29764
1272.15/1276.07 c #Conflicts: 1264000 | #Constraints: 30764
1272.15/1276.07 c #Conflicts: 1265000 | #Constraints: 31764
1272.15/1276.07 c #Conflicts: 1266000 | #Constraints: 32764
1272.15/1276.07 c #Conflicts: 1267000 | #Constraints: 33764
1272.15/1276.07 c #Conflicts: 1268000 | #Constraints: 34764
1272.15/1276.07 c #Conflicts: 1269000 | #Constraints: 35764
1272.15/1276.07 c #Conflicts: 1270000 | #Constraints: 36764
1272.15/1276.07 c #Conflicts: 1271000 | #Constraints: 37764
1272.15/1276.07 c #Conflicts: 1272000 | #Constraints: 38764
1272.15/1276.07 c #Conflicts: 1273000 | #Constraints: 39764
1272.15/1276.07 c #Conflicts: 1274000 | #Constraints: 40764
1272.15/1276.07 c #Conflicts: 1275000 | #Constraints: 41764
1272.15/1276.07 c #Conflicts: 1276000 | #Constraints: 42764
1272.15/1276.07 c #Conflicts: 1277000 | #Constraints: 43764
1272.15/1276.07 c #Conflicts: 1278000 | #Constraints: 44764
1272.15/1276.07 c #Conflicts: 1279000 | #Constraints: 45764
1272.15/1276.07 c INPROCESSING
1272.15/1276.07 c GARBAGE COLLECT
1272.15/1276.07 c #Conflicts: 1280000 | #Constraints: 24366
1272.15/1276.07 c #Conflicts: 1281000 | #Constraints: 25366
1387.77/1392.09 c #Conflicts: 1282000 | #Constraints: 26366
1387.77/1392.09 c #Conflicts: 1283000 | #Constraints: 27366
1387.77/1392.09 c #Conflicts: 1284000 | #Constraints: 28366
1387.77/1392.09 c #Conflicts: 1285000 | #Constraints: 29366
1387.77/1392.09 c #Conflicts: 1286000 | #Constraints: 30366
1387.77/1392.09 c #Conflicts: 1287000 | #Constraints: 31366
1387.77/1392.09 c #Conflicts: 1288000 | #Constraints: 32366
1387.77/1392.09 c #Conflicts: 1289000 | #Constraints: 33366
1387.77/1392.09 c #Conflicts: 1290000 | #Constraints: 34366
1387.77/1392.09 c #Conflicts: 1291000 | #Constraints: 35366
1387.77/1392.09 c #Conflicts: 1292000 | #Constraints: 36366
1387.77/1392.09 c #Conflicts: 1293000 | #Constraints: 37366
1387.77/1392.09 c #Conflicts: 1294000 | #Constraints: 38366
1387.77/1392.09 c #Conflicts: 1295000 | #Constraints: 39366
1387.77/1392.09 c #Conflicts: 1296000 | #Constraints: 40366
1387.77/1392.09 c #Conflicts: 1297000 | #Constraints: 41366
1387.77/1392.09 c #Conflicts: 1298000 | #Constraints: 42366
1387.77/1392.09 c #Conflicts: 1299000 | #Constraints: 43366
1387.77/1392.09 c #Conflicts: 1300000 | #Constraints: 44366
1387.77/1392.09 c #Conflicts: 1301000 | #Constraints: 45366
1387.77/1392.09 c #Conflicts: 1302000 | #Constraints: 46366
1387.77/1392.09 c INPROCESSING
1387.77/1392.09 c GARBAGE COLLECT
1387.77/1392.09 c #Conflicts: 1303000 | #Constraints: 24768
1387.77/1392.09 c #Conflicts: 1304000 | #Constraints: 25768
1387.77/1392.09 c #Conflicts: 1305000 | #Constraints: 26768
1387.77/1392.09 c #Conflicts: 1306000 | #Constraints: 27768
1387.77/1392.09 c #Conflicts: 1307000 | #Constraints: 28768
1387.77/1392.09 c #Conflicts: 1308000 | #Constraints: 29768
1387.77/1392.09 c #Conflicts: 1309000 | #Constraints: 30768
1387.77/1392.09 c #Conflicts: 1310000 | #Constraints: 31768
1387.77/1392.09 c #Conflicts: 1311000 | #Constraints: 32768
1387.77/1392.09 c #Conflicts: 1312000 | #Constraints: 33768
1387.77/1392.09 c #Conflicts: 1313000 | #Constraints: 34768
1387.77/1392.09 c #Conflicts: 1314000 | #Constraints: 35768
1387.77/1392.09 c #Conflicts: 1315000 | #Constraints: 36768
1387.77/1392.09 c #Conflicts: 1316000 | #Constraints: 37768
1387.77/1392.09 c #Conflicts: 1317000 | #Constraints: 38768
1387.77/1392.09 c #Conflicts: 1318000 | #Constraints: 39768
1387.77/1392.09 c #Conflicts: 1319000 | #Constraints: 40768
1387.77/1392.09 c #Conflicts: 1320000 | #Constraints: 41768
1387.77/1392.09 c #Conflicts: 1321000 | #Constraints: 42768
1387.77/1392.09 c #Conflicts: 1322000 | #Constraints: 43768
1387.77/1392.09 c #Conflicts: 1323000 | #Constraints: 44768
1387.77/1392.09 c #Conflicts: 1324000 | #Constraints: 45768
1387.77/1392.09 c #Conflicts: 1325000 | #Constraints: 46768
1387.77/1392.09 c INPROCESSING
1387.77/1392.09 c GARBAGE COLLECT
1387.77/1392.09 c #Conflicts: 1326000 | #Constraints: 24981
1387.77/1392.09 c #Conflicts: 1327000 | #Constraints: 25981
1387.77/1392.09 c #Conflicts: 1328000 | #Constraints: 26981
1387.77/1392.09 c #Conflicts: 1329000 | #Constraints: 27981
1387.77/1392.09 c #Conflicts: 1330000 | #Constraints: 28981
1387.77/1392.09 c #Conflicts: 1331000 | #Constraints: 29981
1387.77/1392.09 c #Conflicts: 1332000 | #Constraints: 30981
1387.77/1392.09 c #Conflicts: 1333000 | #Constraints: 31981
1387.77/1392.09 c #Conflicts: 1334000 | #Constraints: 32981
1387.77/1392.09 c #Conflicts: 1335000 | #Constraints: 33981
1387.77/1392.09 c #Conflicts: 1336000 | #Constraints: 34981
1387.77/1392.09 c #Conflicts: 1337000 | #Constraints: 35981
1387.77/1392.09 c #Conflicts: 1338000 | #Constraints: 36981
1387.77/1392.09 c #Conflicts: 1339000 | #Constraints: 37981
1387.77/1392.09 c #Conflicts: 1340000 | #Constraints: 38981
1387.77/1392.09 c #Conflicts: 1341000 | #Constraints: 39981
1387.77/1392.09 c #Conflicts: 1342000 | #Constraints: 40981
1387.77/1392.09 c #Conflicts: 1343000 | #Constraints: 41981
1387.77/1392.09 c #Conflicts: 1344000 | #Constraints: 42981
1387.77/1392.09 c #Conflicts: 1345000 | #Constraints: 43981
1387.77/1392.09 c #Conflicts: 1346000 | #Constraints: 44981
1387.77/1392.09 c #Conflicts: 1347000 | #Constraints: 45981
1387.77/1392.09 c #Conflicts: 1348000 | #Constraints: 46981
1387.77/1392.09 c INPROCESSING
1387.77/1392.09 c GARBAGE COLLECT
1387.77/1392.09 c #Conflicts: 1349000 | #Constraints: 24974
1387.77/1392.09 c #Conflicts: 1350000 | #Constraints: 25974
1387.77/1392.09 c #Conflicts: 1351000 | #Constraints: 26974
1387.77/1392.09 c #Conflicts: 1352000 | #Constraints: 27974
1387.77/1392.09 c #Conflicts: 1353000 | #Constraints: 28974
1387.77/1392.09 c #Conflicts: 1354000 | #Constraints: 29974
1387.77/1392.09 c #Conflicts: 1355000 | #Constraints: 30974
1387.77/1392.09 c #Conflicts: 1356000 | #Constraints: 31974
1387.77/1392.09 c #Conflicts: 1357000 | #Constraints: 32974
1387.77/1392.09 c #Conflicts: 1358000 | #Constraints: 33974
1509.08/1513.75 c #Conflicts: 1359000 | #Constraints: 34974
1509.08/1513.75 c #Conflicts: 1360000 | #Constraints: 35974
1509.08/1513.75 c #Conflicts: 1361000 | #Constraints: 36974
1509.08/1513.75 c #Conflicts: 1362000 | #Constraints: 37974
1509.08/1513.75 c #Conflicts: 1363000 | #Constraints: 38974
1509.08/1513.75 c #Conflicts: 1364000 | #Constraints: 39974
1509.08/1513.75 c #Conflicts: 1365000 | #Constraints: 40974
1509.08/1513.75 c #Conflicts: 1366000 | #Constraints: 41974
1509.08/1513.75 c #Conflicts: 1367000 | #Constraints: 42974
1509.08/1513.75 c #Conflicts: 1368000 | #Constraints: 43974
1509.08/1513.75 c #Conflicts: 1369000 | #Constraints: 44974
1509.08/1513.75 c #Conflicts: 1370000 | #Constraints: 45974
1509.08/1513.75 c #Conflicts: 1371000 | #Constraints: 46974
1509.08/1513.75 c INPROCESSING
1509.08/1513.75 c GARBAGE COLLECT
1509.08/1513.75 c #Conflicts: 1372000 | #Constraints: 24761
1509.08/1513.75 c #Conflicts: 1373000 | #Constraints: 25761
1509.08/1513.75 c #Conflicts: 1374000 | #Constraints: 26761
1509.08/1513.75 c #Conflicts: 1375000 | #Constraints: 27761
1509.08/1513.75 c #Conflicts: 1376000 | #Constraints: 28761
1509.08/1513.75 c #Conflicts: 1377000 | #Constraints: 29761
1509.08/1513.75 c #Conflicts: 1378000 | #Constraints: 30761
1509.08/1513.75 c #Conflicts: 1379000 | #Constraints: 31761
1509.08/1513.75 c #Conflicts: 1380000 | #Constraints: 32761
1509.08/1513.75 c #Conflicts: 1381000 | #Constraints: 33761
1509.08/1513.75 c #Conflicts: 1382000 | #Constraints: 34761
1509.08/1513.75 c #Conflicts: 1383000 | #Constraints: 35761
1509.08/1513.75 c #Conflicts: 1384000 | #Constraints: 36761
1509.08/1513.75 c #Conflicts: 1385000 | #Constraints: 37761
1509.08/1513.75 c #Conflicts: 1386000 | #Constraints: 38761
1509.08/1513.75 c #Conflicts: 1387000 | #Constraints: 39761
1509.08/1513.75 c #Conflicts: 1388000 | #Constraints: 40761
1509.08/1513.75 c #Conflicts: 1389000 | #Constraints: 41761
1509.08/1513.75 c #Conflicts: 1390000 | #Constraints: 42761
1509.08/1513.75 c #Conflicts: 1391000 | #Constraints: 43761
1509.08/1513.75 c #Conflicts: 1392000 | #Constraints: 44761
1509.08/1513.75 c #Conflicts: 1393000 | #Constraints: 45761
1509.08/1513.75 c #Conflicts: 1394000 | #Constraints: 46761
1509.08/1513.75 c #Conflicts: 1395000 | #Constraints: 47761
1509.08/1513.75 c INPROCESSING
1509.08/1513.75 c GARBAGE COLLECT
1509.08/1513.75 c #Conflicts: 1396000 | #Constraints: 25369
1509.08/1513.75 c #Conflicts: 1397000 | #Constraints: 26369
1509.08/1513.75 c #Conflicts: 1398000 | #Constraints: 27369
1509.08/1513.75 c #Conflicts: 1399000 | #Constraints: 28369
1509.08/1513.75 c #Conflicts: 1400000 | #Constraints: 29369
1509.08/1513.75 c #Conflicts: 1401000 | #Constraints: 30369
1509.08/1513.75 c #Conflicts: 1402000 | #Constraints: 31369
1509.08/1513.75 c #Conflicts: 1403000 | #Constraints: 32369
1509.08/1513.75 c #Conflicts: 1404000 | #Constraints: 33369
1509.08/1513.75 c #Conflicts: 1405000 | #Constraints: 34369
1509.08/1513.75 c #Conflicts: 1406000 | #Constraints: 35369
1509.08/1513.75 c #Conflicts: 1407000 | #Constraints: 36369
1509.08/1513.75 c #Conflicts: 1408000 | #Constraints: 37369
1509.08/1513.75 c #Conflicts: 1409000 | #Constraints: 38369
1509.08/1513.75 c #Conflicts: 1410000 | #Constraints: 39369
1509.08/1513.75 c #Conflicts: 1411000 | #Constraints: 40369
1509.08/1513.75 c #Conflicts: 1412000 | #Constraints: 41369
1509.08/1513.75 c #Conflicts: 1413000 | #Constraints: 42369
1509.08/1513.75 c #Conflicts: 1414000 | #Constraints: 43369
1509.08/1513.75 c #Conflicts: 1415000 | #Constraints: 44369
1509.08/1513.75 c #Conflicts: 1416000 | #Constraints: 45369
1509.08/1513.75 c #Conflicts: 1417000 | #Constraints: 46369
1509.08/1513.75 c #Conflicts: 1418000 | #Constraints: 47369
1509.08/1513.75 c #Conflicts: 1419000 | #Constraints: 48369
1509.08/1513.75 c INPROCESSING
1509.08/1513.75 c GARBAGE COLLECT
1509.08/1513.75 c #Conflicts: 1420000 | #Constraints: 25757
1509.08/1513.75 c #Conflicts: 1421000 | #Constraints: 26757
1509.08/1513.75 c #Conflicts: 1422000 | #Constraints: 27757
1509.08/1513.75 c #Conflicts: 1423000 | #Constraints: 28757
1509.08/1513.75 c #Conflicts: 1424000 | #Constraints: 29757
1509.08/1513.75 c #Conflicts: 1425000 | #Constraints: 30757
1509.08/1513.75 c #Conflicts: 1426000 | #Constraints: 31757
1509.08/1513.75 c #Conflicts: 1427000 | #Constraints: 32757
1509.08/1513.75 c #Conflicts: 1428000 | #Constraints: 33757
1509.08/1513.75 c #Conflicts: 1429000 | #Constraints: 34757
1509.08/1513.75 c #Conflicts: 1430000 | #Constraints: 35757
1509.08/1513.75 c #Conflicts: 1431000 | #Constraints: 36757
1509.08/1513.75 c #Conflicts: 1432000 | #Constraints: 37757
1509.08/1513.75 c #Conflicts: 1433000 | #Constraints: 38757
1509.08/1513.75 c #Conflicts: 1434000 | #Constraints: 39757
1509.08/1513.75 c #Conflicts: 1435000 | #Constraints: 40757
1634.58/1639.69 c #Conflicts: 1436000 | #Constraints: 41757
1634.58/1639.69 c #Conflicts: 1437000 | #Constraints: 42757
1634.58/1639.69 c #Conflicts: 1438000 | #Constraints: 43757
1634.58/1639.69 c #Conflicts: 1439000 | #Constraints: 44757
1634.58/1639.69 c #Conflicts: 1440000 | #Constraints: 45757
1634.58/1639.69 c #Conflicts: 1441000 | #Constraints: 46757
1634.58/1639.69 c #Conflicts: 1442000 | #Constraints: 47757
1634.58/1639.69 c #Conflicts: 1443000 | #Constraints: 48757
1634.58/1639.69 c INPROCESSING
1634.58/1639.69 c GARBAGE COLLECT
1634.58/1639.69 c #Conflicts: 1444000 | #Constraints: 25965
1634.58/1639.69 c #Conflicts: 1445000 | #Constraints: 26965
1634.58/1639.69 c #Conflicts: 1446000 | #Constraints: 27965
1634.58/1639.69 c #Conflicts: 1447000 | #Constraints: 28965
1634.58/1639.69 c #Conflicts: 1448000 | #Constraints: 29965
1634.58/1639.69 c #Conflicts: 1449000 | #Constraints: 30965
1634.58/1639.69 c #Conflicts: 1450000 | #Constraints: 31965
1634.58/1639.69 c #Conflicts: 1451000 | #Constraints: 32965
1634.58/1639.69 c #Conflicts: 1452000 | #Constraints: 33965
1634.58/1639.69 c #Conflicts: 1453000 | #Constraints: 34965
1634.58/1639.69 c #Conflicts: 1454000 | #Constraints: 35965
1634.58/1639.69 c #Conflicts: 1455000 | #Constraints: 36965
1634.58/1639.69 c #Conflicts: 1456000 | #Constraints: 37965
1634.58/1639.69 c #Conflicts: 1457000 | #Constraints: 38965
1634.58/1639.69 c #Conflicts: 1458000 | #Constraints: 39965
1634.58/1639.69 c #Conflicts: 1459000 | #Constraints: 40965
1634.58/1639.69 c #Conflicts: 1460000 | #Constraints: 41965
1634.58/1639.69 c #Conflicts: 1461000 | #Constraints: 42965
1634.58/1639.69 c #Conflicts: 1462000 | #Constraints: 43965
1634.58/1639.69 c #Conflicts: 1463000 | #Constraints: 44965
1634.58/1639.69 c #Conflicts: 1464000 | #Constraints: 45965
1634.58/1639.69 c #Conflicts: 1465000 | #Constraints: 46965
1634.58/1639.69 c #Conflicts: 1466000 | #Constraints: 47965
1634.58/1639.69 c #Conflicts: 1467000 | #Constraints: 48965
1634.58/1639.69 c INPROCESSING
1634.58/1639.69 c GARBAGE COLLECT
1634.58/1639.69 c #Conflicts: 1468000 | #Constraints: 25960
1634.58/1639.69 c #Conflicts: 1469000 | #Constraints: 26960
1634.58/1639.69 c #Conflicts: 1470000 | #Constraints: 27960
1634.58/1639.69 c #Conflicts: 1471000 | #Constraints: 28960
1634.58/1639.69 c #Conflicts: 1472000 | #Constraints: 29960
1634.58/1639.69 c #Conflicts: 1473000 | #Constraints: 30960
1634.58/1639.69 c #Conflicts: 1474000 | #Constraints: 31960
1634.58/1639.69 c #Conflicts: 1475000 | #Constraints: 32960
1634.58/1639.69 c #Conflicts: 1476000 | #Constraints: 33960
1634.58/1639.69 c #Conflicts: 1477000 | #Constraints: 34960
1634.58/1639.69 c #Conflicts: 1478000 | #Constraints: 35960
1634.58/1639.69 c #Conflicts: 1479000 | #Constraints: 36960
1634.58/1639.69 c #Conflicts: 1480000 | #Constraints: 37960
1634.58/1639.69 c #Conflicts: 1481000 | #Constraints: 38960
1634.58/1639.69 c #Conflicts: 1482000 | #Constraints: 39960
1634.58/1639.69 c #Conflicts: 1483000 | #Constraints: 40960
1634.58/1639.69 c #Conflicts: 1484000 | #Constraints: 41960
1634.58/1639.69 c #Conflicts: 1485000 | #Constraints: 42960
1634.58/1639.69 c #Conflicts: 1486000 | #Constraints: 43960
1634.58/1639.69 c #Conflicts: 1487000 | #Constraints: 44960
1634.58/1639.69 c #Conflicts: 1488000 | #Constraints: 45960
1634.58/1639.69 c #Conflicts: 1489000 | #Constraints: 46960
1634.58/1639.69 c #Conflicts: 1490000 | #Constraints: 47960
1634.58/1639.69 c #Conflicts: 1491000 | #Constraints: 48960
1634.58/1639.69 c INPROCESSING
1634.58/1639.69 c GARBAGE COLLECT
1634.58/1639.69 c #Conflicts: 1492000 | #Constraints: 25769
1634.58/1639.69 c #Conflicts: 1493000 | #Constraints: 26769
1634.58/1639.69 c #Conflicts: 1494000 | #Constraints: 27769
1634.58/1639.69 c #Conflicts: 1495000 | #Constraints: 28769
1634.58/1639.69 c #Conflicts: 1496000 | #Constraints: 29769
1634.58/1639.69 c #Conflicts: 1497000 | #Constraints: 30769
1634.58/1639.69 c #Conflicts: 1498000 | #Constraints: 31769
1634.58/1639.69 c #Conflicts: 1499000 | #Constraints: 32769
1634.58/1639.69 c #Conflicts: 1500000 | #Constraints: 33769
1634.58/1639.69 c #Conflicts: 1501000 | #Constraints: 34769
1634.58/1639.69 c #Conflicts: 1502000 | #Constraints: 35769
1634.58/1639.69 c #Conflicts: 1503000 | #Constraints: 36769
1634.58/1639.69 c #Conflicts: 1504000 | #Constraints: 37769
1634.58/1639.69 c #Conflicts: 1505000 | #Constraints: 38769
1634.58/1639.69 c #Conflicts: 1506000 | #Constraints: 39769
1634.58/1639.69 c #Conflicts: 1507000 | #Constraints: 40769
1634.58/1639.69 c #Conflicts: 1508000 | #Constraints: 41769
1634.58/1639.69 c #Conflicts: 1509000 | #Constraints: 42769
1634.58/1639.69 c #Conflicts: 1510000 | #Constraints: 43769
1634.58/1639.69 c #Conflicts: 1511000 | #Constraints: 44769
1753.10/1758.58 c #Conflicts: 1512000 | #Constraints: 45769
1753.10/1758.58 c #Conflicts: 1513000 | #Constraints: 46769
1753.10/1758.58 c #Conflicts: 1514000 | #Constraints: 47769
1753.10/1758.58 c #Conflicts: 1515000 | #Constraints: 48769
1753.10/1758.58 c #Conflicts: 1516000 | #Constraints: 49769
1753.10/1758.58 c INPROCESSING
1753.10/1758.58 c GARBAGE COLLECT
1753.10/1758.58 c #Conflicts: 1517000 | #Constraints: 26360
1753.10/1758.58 c #Conflicts: 1518000 | #Constraints: 27360
1753.10/1758.58 c #Conflicts: 1519000 | #Constraints: 28360
1753.10/1758.58 c #Conflicts: 1520000 | #Constraints: 29360
1753.10/1758.58 c #Conflicts: 1521000 | #Constraints: 30360
1753.10/1758.58 c #Conflicts: 1522000 | #Constraints: 31360
1753.10/1758.58 c #Conflicts: 1523000 | #Constraints: 32360
1753.10/1758.58 c #Conflicts: 1524000 | #Constraints: 33360
1753.10/1758.58 c #Conflicts: 1525000 | #Constraints: 34360
1753.10/1758.58 c #Conflicts: 1526000 | #Constraints: 35360
1753.10/1758.58 c #Conflicts: 1527000 | #Constraints: 36360
1753.10/1758.58 c #Conflicts: 1528000 | #Constraints: 37360
1753.10/1758.58 c #Conflicts: 1529000 | #Constraints: 38360
1753.10/1758.58 c #Conflicts: 1530000 | #Constraints: 39360
1753.10/1758.58 c #Conflicts: 1531000 | #Constraints: 40360
1753.10/1758.58 c #Conflicts: 1532000 | #Constraints: 41360
1753.10/1758.58 c #Conflicts: 1533000 | #Constraints: 42360
1753.10/1758.58 c #Conflicts: 1534000 | #Constraints: 43360
1753.10/1758.58 c #Conflicts: 1535000 | #Constraints: 44360
1753.10/1758.58 c #Conflicts: 1536000 | #Constraints: 45360
1753.10/1758.58 c #Conflicts: 1537000 | #Constraints: 46360
1753.10/1758.58 c #Conflicts: 1538000 | #Constraints: 47360
1753.10/1758.58 c #Conflicts: 1539000 | #Constraints: 48360
1753.10/1758.58 c #Conflicts: 1540000 | #Constraints: 49360
1753.10/1758.58 c #Conflicts: 1541000 | #Constraints: 50360
1753.10/1758.58 c INPROCESSING
1753.10/1758.58 c GARBAGE COLLECT
1753.10/1758.58 c #Conflicts: 1542000 | #Constraints: 26759
1753.10/1758.58 c #Conflicts: 1543000 | #Constraints: 27759
1753.10/1758.58 c #Conflicts: 1544000 | #Constraints: 28759
1753.10/1758.58 c #Conflicts: 1545000 | #Constraints: 29759
1753.10/1758.58 c #Conflicts: 1546000 | #Constraints: 30759
1753.10/1758.58 c #Conflicts: 1547000 | #Constraints: 31759
1753.10/1758.58 c #Conflicts: 1548000 | #Constraints: 32759
1753.10/1758.58 c #Conflicts: 1549000 | #Constraints: 33759
1753.10/1758.58 c #Conflicts: 1550000 | #Constraints: 34759
1753.10/1758.58 c #Conflicts: 1551000 | #Constraints: 35759
1753.10/1758.58 c #Conflicts: 1552000 | #Constraints: 36759
1753.10/1758.58 c #Conflicts: 1553000 | #Constraints: 37759
1753.10/1758.58 c #Conflicts: 1554000 | #Constraints: 38759
1753.10/1758.58 c #Conflicts: 1555000 | #Constraints: 39759
1753.10/1758.58 c #Conflicts: 1556000 | #Constraints: 40759
1753.10/1758.58 c #Conflicts: 1557000 | #Constraints: 41759
1753.10/1758.58 c #Conflicts: 1558000 | #Constraints: 42759
1753.10/1758.58 c #Conflicts: 1559000 | #Constraints: 43759
1753.10/1758.58 c #Conflicts: 1560000 | #Constraints: 44759
1753.10/1758.58 c #Conflicts: 1561000 | #Constraints: 45759
1753.10/1758.58 c #Conflicts: 1562000 | #Constraints: 46759
1753.10/1758.58 c #Conflicts: 1563000 | #Constraints: 47759
1753.10/1758.58 c #Conflicts: 1564000 | #Constraints: 48759
1753.10/1758.58 c #Conflicts: 1565000 | #Constraints: 49759
1753.10/1758.58 c #Conflicts: 1566000 | #Constraints: 50759
1753.10/1758.58 c INPROCESSING
1753.10/1758.58 c GARBAGE COLLECT
1753.10/1758.58 c #Conflicts: 1567000 | #Constraints: 26968
1753.10/1758.58 c #Conflicts: 1568000 | #Constraints: 27968
1753.10/1758.58 c #Conflicts: 1569000 | #Constraints: 28968
1753.10/1758.58 c #Conflicts: 1570000 | #Constraints: 29968
1753.10/1758.58 c #Conflicts: 1571000 | #Constraints: 30968
1753.10/1758.58 c #Conflicts: 1572000 | #Constraints: 31968
1753.10/1758.58 c #Conflicts: 1573000 | #Constraints: 32968
1753.10/1758.58 c #Conflicts: 1574000 | #Constraints: 33968
1753.10/1758.58 c #Conflicts: 1575000 | #Constraints: 34968
1753.10/1758.58 c #Conflicts: 1576000 | #Constraints: 35968
1753.10/1758.58 c #Conflicts: 1577000 | #Constraints: 36968
1753.10/1758.58 c #Conflicts: 1578000 | #Constraints: 37968
1753.10/1758.58 c #Conflicts: 1579000 | #Constraints: 38968
1753.10/1758.58 c #Conflicts: 1580000 | #Constraints: 39968
1753.10/1758.58 c #Conflicts: 1581000 | #Constraints: 40968
1753.10/1758.58 c #Conflicts: 1582000 | #Constraints: 41968
1753.10/1758.58 c #Conflicts: 1583000 | #Constraints: 42968
1753.10/1758.58 c #Conflicts: 1584000 | #Constraints: 43968
1753.10/1758.58 c #Conflicts: 1585000 | #Constraints: 44968
1753.10/1758.58 c #Conflicts: 1586000 | #Constraints: 45968
1753.10/1758.58 c #Conflicts: 1587000 | #Constraints: 46968
1753.10/1758.58 c #Conflicts: 1588000 | #Constraints: 47968
1887.18/1893.01 c #Conflicts: 1589000 | #Constraints: 48968
1887.18/1893.01 c #Conflicts: 1590000 | #Constraints: 49968
1887.18/1893.01 c #Conflicts: 1591000 | #Constraints: 50968
1887.18/1893.01 c INPROCESSING
1887.18/1893.01 c GARBAGE COLLECT
1887.18/1893.01 c #Conflicts: 1592000 | #Constraints: 26973
1887.18/1893.01 c #Conflicts: 1593000 | #Constraints: 27973
1887.18/1893.01 c #Conflicts: 1594000 | #Constraints: 28973
1887.18/1893.01 c #Conflicts: 1595000 | #Constraints: 29973
1887.18/1893.01 c #Conflicts: 1596000 | #Constraints: 30973
1887.18/1893.01 c #Conflicts: 1597000 | #Constraints: 31973
1887.18/1893.01 c #Conflicts: 1598000 | #Constraints: 32973
1887.18/1893.01 c #Conflicts: 1599000 | #Constraints: 33973
1887.18/1893.01 c #Conflicts: 1600000 | #Constraints: 34973
1887.18/1893.01 c #Conflicts: 1601000 | #Constraints: 35973
1887.18/1893.01 c #Conflicts: 1602000 | #Constraints: 36973
1887.18/1893.01 c #Conflicts: 1603000 | #Constraints: 37973
1887.18/1893.01 c #Conflicts: 1604000 | #Constraints: 38973
1887.18/1893.01 c #Conflicts: 1605000 | #Constraints: 39973
1887.18/1893.01 c #Conflicts: 1606000 | #Constraints: 40973
1887.18/1893.01 c #Conflicts: 1607000 | #Constraints: 41973
1887.18/1893.01 c #Conflicts: 1608000 | #Constraints: 42973
1887.18/1893.01 c #Conflicts: 1609000 | #Constraints: 43973
1887.18/1893.01 c #Conflicts: 1610000 | #Constraints: 44973
1887.18/1893.01 c #Conflicts: 1611000 | #Constraints: 45973
1887.18/1893.01 c #Conflicts: 1612000 | #Constraints: 46973
1887.18/1893.01 c #Conflicts: 1613000 | #Constraints: 47973
1887.18/1893.01 c #Conflicts: 1614000 | #Constraints: 48973
1887.18/1893.01 c #Conflicts: 1615000 | #Constraints: 49973
1887.18/1893.01 c #Conflicts: 1616000 | #Constraints: 50973
1887.18/1893.01 c INPROCESSING
1887.18/1893.01 c GARBAGE COLLECT
1887.18/1893.01 c #Conflicts: 1617000 | #Constraints: 26768
1887.18/1893.01 c #Conflicts: 1618000 | #Constraints: 27768
1887.18/1893.01 c #Conflicts: 1619000 | #Constraints: 28768
1887.18/1893.01 c #Conflicts: 1620000 | #Constraints: 29768
1887.18/1893.01 c #Conflicts: 1621000 | #Constraints: 30768
1887.18/1893.01 c #Conflicts: 1622000 | #Constraints: 31768
1887.18/1893.01 c #Conflicts: 1623000 | #Constraints: 32768
1887.18/1893.01 c #Conflicts: 1624000 | #Constraints: 33768
1887.18/1893.01 c #Conflicts: 1625000 | #Constraints: 34768
1887.18/1893.01 c #Conflicts: 1626000 | #Constraints: 35768
1887.18/1893.01 c #Conflicts: 1627000 | #Constraints: 36768
1887.18/1893.01 c #Conflicts: 1628000 | #Constraints: 37768
1887.18/1893.01 c #Conflicts: 1629000 | #Constraints: 38768
1887.18/1893.01 c #Conflicts: 1630000 | #Constraints: 39768
1887.18/1893.01 c #Conflicts: 1631000 | #Constraints: 40768
1887.18/1893.01 c #Conflicts: 1632000 | #Constraints: 41768
1887.18/1893.01 c #Conflicts: 1633000 | #Constraints: 42768
1887.18/1893.01 c #Conflicts: 1634000 | #Constraints: 43768
1887.18/1893.01 c #Conflicts: 1635000 | #Constraints: 44768
1887.18/1893.01 c #Conflicts: 1636000 | #Constraints: 45768
1887.18/1893.01 c #Conflicts: 1637000 | #Constraints: 46768
1887.18/1893.01 c #Conflicts: 1638000 | #Constraints: 47768
1887.18/1893.01 c #Conflicts: 1639000 | #Constraints: 48768
1887.18/1893.01 c #Conflicts: 1640000 | #Constraints: 49768
1887.18/1893.01 c #Conflicts: 1641000 | #Constraints: 50768
1887.18/1893.01 c #Conflicts: 1642000 | #Constraints: 51768
1887.18/1893.01 c INPROCESSING
1887.18/1893.01 c GARBAGE COLLECT
1887.18/1893.01 c #Conflicts: 1643000 | #Constraints: 27376
1887.18/1893.01 c #Conflicts: 1644000 | #Constraints: 28376
1887.18/1893.01 c #Conflicts: 1645000 | #Constraints: 29376
1887.18/1893.01 c #Conflicts: 1646000 | #Constraints: 30376
1887.18/1893.01 c #Conflicts: 1647000 | #Constraints: 31376
1887.18/1893.01 c #Conflicts: 1648000 | #Constraints: 32376
1887.18/1893.01 c #Conflicts: 1649000 | #Constraints: 33376
1887.18/1893.01 c #Conflicts: 1650000 | #Constraints: 34376
1887.18/1893.01 c #Conflicts: 1651000 | #Constraints: 35376
1887.18/1893.01 c #Conflicts: 1652000 | #Constraints: 36376
1887.18/1893.01 c #Conflicts: 1653000 | #Constraints: 37376
1887.18/1893.01 c #Conflicts: 1654000 | #Constraints: 38376
1887.18/1893.01 c #Conflicts: 1655000 | #Constraints: 39376
1887.18/1893.01 c #Conflicts: 1656000 | #Constraints: 40376
1887.18/1893.01 c #Conflicts: 1657000 | #Constraints: 41376
1887.18/1893.01 c #Conflicts: 1658000 | #Constraints: 42376
1887.18/1893.01 c #Conflicts: 1659000 | #Constraints: 43376
1887.18/1893.01 c #Conflicts: 1660000 | #Constraints: 44376
1887.18/1893.01 c #Conflicts: 1661000 | #Constraints: 45376
1887.18/1893.01 c #Conflicts: 1662000 | #Constraints: 46376
1887.18/1893.01 c #Conflicts: 1663000 | #Constraints: 47376
1887.18/1893.01 c #Conflicts: 1664000 | #Constraints: 48376
1887.18/1893.01 c #Conflicts: 1665000 | #Constraints: 49376
2021.34/2027.68 c #Conflicts: 1666000 | #Constraints: 50376
2021.34/2027.68 c #Conflicts: 1667000 | #Constraints: 51376
2021.34/2027.68 c #Conflicts: 1668000 | #Constraints: 52376
2021.34/2027.68 c INPROCESSING
2021.34/2027.68 c GARBAGE COLLECT
2021.34/2027.68 c #Conflicts: 1669000 | #Constraints: 27781
2021.34/2027.68 c #Conflicts: 1670000 | #Constraints: 28781
2021.34/2027.68 c #Conflicts: 1671000 | #Constraints: 29781
2021.34/2027.68 c #Conflicts: 1672000 | #Constraints: 30781
2021.34/2027.68 c #Conflicts: 1673000 | #Constraints: 31781
2021.34/2027.68 c #Conflicts: 1674000 | #Constraints: 32781
2021.34/2027.68 c #Conflicts: 1675000 | #Constraints: 33781
2021.34/2027.68 c #Conflicts: 1676000 | #Constraints: 34781
2021.34/2027.68 c #Conflicts: 1677000 | #Constraints: 35781
2021.34/2027.68 c #Conflicts: 1678000 | #Constraints: 36781
2021.34/2027.68 c #Conflicts: 1679000 | #Constraints: 37781
2021.34/2027.68 c #Conflicts: 1680000 | #Constraints: 38781
2021.34/2027.68 c #Conflicts: 1681000 | #Constraints: 39781
2021.34/2027.68 c #Conflicts: 1682000 | #Constraints: 40781
2021.34/2027.68 c #Conflicts: 1683000 | #Constraints: 41781
2021.34/2027.68 c #Conflicts: 1684000 | #Constraints: 42781
2021.34/2027.68 c #Conflicts: 1685000 | #Constraints: 43781
2021.34/2027.68 c #Conflicts: 1686000 | #Constraints: 44781
2021.34/2027.68 c #Conflicts: 1687000 | #Constraints: 45781
2021.34/2027.68 c #Conflicts: 1688000 | #Constraints: 46781
2021.34/2027.68 c #Conflicts: 1689000 | #Constraints: 47781
2021.34/2027.68 c #Conflicts: 1690000 | #Constraints: 48781
2021.34/2027.68 c #Conflicts: 1691000 | #Constraints: 49781
2021.34/2027.68 c #Conflicts: 1692000 | #Constraints: 50781
2021.34/2027.68 c #Conflicts: 1693000 | #Constraints: 51781
2021.34/2027.68 c #Conflicts: 1694000 | #Constraints: 52781
2021.34/2027.68 c INPROCESSING
2021.34/2027.68 c GARBAGE COLLECT
2021.34/2027.68 c #Conflicts: 1695000 | #Constraints: 27977
2021.34/2027.68 c #Conflicts: 1696000 | #Constraints: 28977
2021.34/2027.68 c #Conflicts: 1697000 | #Constraints: 29977
2021.34/2027.68 c #Conflicts: 1698000 | #Constraints: 30977
2021.34/2027.68 c #Conflicts: 1699000 | #Constraints: 31977
2021.34/2027.68 c #Conflicts: 1700000 | #Constraints: 32977
2021.34/2027.68 c #Conflicts: 1701000 | #Constraints: 33977
2021.34/2027.68 c #Conflicts: 1702000 | #Constraints: 34977
2021.34/2027.68 c #Conflicts: 1703000 | #Constraints: 35977
2021.34/2027.68 c #Conflicts: 1704000 | #Constraints: 36977
2021.34/2027.68 c #Conflicts: 1705000 | #Constraints: 37977
2021.34/2027.68 c #Conflicts: 1706000 | #Constraints: 38977
2021.34/2027.68 c #Conflicts: 1707000 | #Constraints: 39977
2021.34/2027.68 c #Conflicts: 1708000 | #Constraints: 40977
2021.34/2027.68 c #Conflicts: 1709000 | #Constraints: 41977
2021.34/2027.68 c #Conflicts: 1710000 | #Constraints: 42977
2021.34/2027.68 c #Conflicts: 1711000 | #Constraints: 43977
2021.34/2027.68 c #Conflicts: 1712000 | #Constraints: 44977
2021.34/2027.68 c #Conflicts: 1713000 | #Constraints: 45977
2021.34/2027.68 c #Conflicts: 1714000 | #Constraints: 46977
2021.34/2027.68 c #Conflicts: 1715000 | #Constraints: 47977
2021.34/2027.68 c #Conflicts: 1716000 | #Constraints: 48977
2021.34/2027.68 c #Conflicts: 1717000 | #Constraints: 49977
2021.34/2027.68 c #Conflicts: 1718000 | #Constraints: 50977
2021.34/2027.68 c #Conflicts: 1719000 | #Constraints: 51977
2021.34/2027.68 c #Conflicts: 1720000 | #Constraints: 52977
2021.34/2027.68 c INPROCESSING
2021.34/2027.68 c GARBAGE COLLECT
2021.34/2027.68 c #Conflicts: 1721000 | #Constraints: 27966
2021.34/2027.68 c #Conflicts: 1722000 | #Constraints: 28966
2021.34/2027.68 c #Conflicts: 1723000 | #Constraints: 29966
2021.34/2027.68 c #Conflicts: 1724000 | #Constraints: 30966
2021.34/2027.68 c #Conflicts: 1725000 | #Constraints: 31966
2021.34/2027.68 c #Conflicts: 1726000 | #Constraints: 32966
2021.34/2027.68 c #Conflicts: 1727000 | #Constraints: 33966
2021.34/2027.68 c #Conflicts: 1728000 | #Constraints: 34966
2021.34/2027.68 c #Conflicts: 1729000 | #Constraints: 35966
2021.34/2027.68 c #Conflicts: 1730000 | #Constraints: 36966
2021.34/2027.68 c #Conflicts: 1731000 | #Constraints: 37966
2021.34/2027.68 c #Conflicts: 1732000 | #Constraints: 38966
2021.34/2027.68 c #Conflicts: 1733000 | #Constraints: 39966
2021.34/2027.68 c #Conflicts: 1734000 | #Constraints: 40966
2021.34/2027.68 c #Conflicts: 1735000 | #Constraints: 41966
2021.34/2027.68 c #Conflicts: 1736000 | #Constraints: 42966
2021.34/2027.68 c #Conflicts: 1737000 | #Constraints: 43966
2021.34/2027.68 c #Conflicts: 1738000 | #Constraints: 44966
2021.34/2027.68 c #Conflicts: 1739000 | #Constraints: 45966
2021.34/2027.68 c #Conflicts: 1740000 | #Constraints: 46966
2021.34/2027.68 c #Conflicts: 1741000 | #Constraints: 47966
2021.34/2027.68 c #Conflicts: 1742000 | #Constraints: 48966
2161.49/2168.29 c #Conflicts: 1743000 | #Constraints: 49966
2161.49/2168.29 c #Conflicts: 1744000 | #Constraints: 50966
2161.49/2168.29 c #Conflicts: 1745000 | #Constraints: 51966
2161.49/2168.29 c #Conflicts: 1746000 | #Constraints: 52966
2161.49/2168.29 c INPROCESSING
2161.49/2168.29 c GARBAGE COLLECT
2161.49/2168.29 c #Conflicts: 1747000 | #Constraints: 27772
2161.49/2168.29 c #Conflicts: 1748000 | #Constraints: 28772
2161.49/2168.29 c #Conflicts: 1749000 | #Constraints: 29772
2161.49/2168.29 c #Conflicts: 1750000 | #Constraints: 30772
2161.49/2168.29 c #Conflicts: 1751000 | #Constraints: 31772
2161.49/2168.29 c #Conflicts: 1752000 | #Constraints: 32772
2161.49/2168.29 c #Conflicts: 1753000 | #Constraints: 33772
2161.49/2168.29 c #Conflicts: 1754000 | #Constraints: 34772
2161.49/2168.29 c #Conflicts: 1755000 | #Constraints: 35772
2161.49/2168.29 c #Conflicts: 1756000 | #Constraints: 36772
2161.49/2168.29 c #Conflicts: 1757000 | #Constraints: 37772
2161.49/2168.29 c #Conflicts: 1758000 | #Constraints: 38772
2161.49/2168.29 c #Conflicts: 1759000 | #Constraints: 39772
2161.49/2168.29 c #Conflicts: 1760000 | #Constraints: 40772
2161.49/2168.29 c #Conflicts: 1761000 | #Constraints: 41772
2161.49/2168.29 c #Conflicts: 1762000 | #Constraints: 42772
2161.49/2168.29 c #Conflicts: 1763000 | #Constraints: 43772
2161.49/2168.29 c #Conflicts: 1764000 | #Constraints: 44772
2161.49/2168.29 c #Conflicts: 1765000 | #Constraints: 45772
2161.49/2168.29 c #Conflicts: 1766000 | #Constraints: 46772
2161.49/2168.29 c #Conflicts: 1767000 | #Constraints: 47772
2161.49/2168.29 c #Conflicts: 1768000 | #Constraints: 48772
2161.49/2168.29 c #Conflicts: 1769000 | #Constraints: 49772
2161.49/2168.29 c #Conflicts: 1770000 | #Constraints: 50772
2161.49/2168.29 c #Conflicts: 1771000 | #Constraints: 51772
2161.49/2168.29 c #Conflicts: 1772000 | #Constraints: 52772
2161.49/2168.29 c #Conflicts: 1773000 | #Constraints: 53772
2161.49/2168.29 c INPROCESSING
2161.49/2168.29 c GARBAGE COLLECT
2161.49/2168.29 c #Conflicts: 1774000 | #Constraints: 28385
2161.49/2168.29 c #Conflicts: 1775000 | #Constraints: 29385
2161.49/2168.29 c #Conflicts: 1776000 | #Constraints: 30385
2161.49/2168.29 c #Conflicts: 1777000 | #Constraints: 31385
2161.49/2168.29 c #Conflicts: 1778000 | #Constraints: 32385
2161.49/2168.29 c #Conflicts: 1779000 | #Constraints: 33385
2161.49/2168.29 c #Conflicts: 1780000 | #Constraints: 34385
2161.49/2168.29 c #Conflicts: 1781000 | #Constraints: 35385
2161.49/2168.29 c #Conflicts: 1782000 | #Constraints: 36385
2161.49/2168.29 c #Conflicts: 1783000 | #Constraints: 37385
2161.49/2168.29 c #Conflicts: 1784000 | #Constraints: 38385
2161.49/2168.29 c #Conflicts: 1785000 | #Constraints: 39385
2161.49/2168.29 c #Conflicts: 1786000 | #Constraints: 40385
2161.49/2168.29 c #Conflicts: 1787000 | #Constraints: 41385
2161.49/2168.29 c #Conflicts: 1788000 | #Constraints: 42385
2161.49/2168.29 c #Conflicts: 1789000 | #Constraints: 43385
2161.49/2168.29 c #Conflicts: 1790000 | #Constraints: 44385
2161.49/2168.29 c #Conflicts: 1791000 | #Constraints: 45385
2161.49/2168.29 c #Conflicts: 1792000 | #Constraints: 46385
2161.49/2168.29 c #Conflicts: 1793000 | #Constraints: 47385
2161.49/2168.29 c #Conflicts: 1794000 | #Constraints: 48385
2161.49/2168.29 c #Conflicts: 1795000 | #Constraints: 49385
2161.49/2168.29 c #Conflicts: 1796000 | #Constraints: 50385
2161.49/2168.29 c #Conflicts: 1797000 | #Constraints: 51385
2161.49/2168.29 c #Conflicts: 1798000 | #Constraints: 52385
2161.49/2168.29 c #Conflicts: 1799000 | #Constraints: 53385
2161.49/2168.29 c #Conflicts: 1800000 | #Constraints: 54385
2161.49/2168.29 c INPROCESSING
2161.49/2168.29 c GARBAGE COLLECT
2161.49/2168.29 c #Conflicts: 1801000 | #Constraints: 28776
2161.49/2168.29 c #Conflicts: 1802000 | #Constraints: 29776
2161.49/2168.29 c #Conflicts: 1803000 | #Constraints: 30776
2161.49/2168.29 c #Conflicts: 1804000 | #Constraints: 31776
2161.49/2168.29 c #Conflicts: 1805000 | #Constraints: 32776
2161.49/2168.29 c #Conflicts: 1806000 | #Constraints: 33776
2161.49/2168.29 c #Conflicts: 1807000 | #Constraints: 34776
2161.49/2168.29 c #Conflicts: 1808000 | #Constraints: 35776
2161.49/2168.29 c #Conflicts: 1809000 | #Constraints: 36776
2161.49/2168.29 c #Conflicts: 1810000 | #Constraints: 37776
2161.49/2168.29 c #Conflicts: 1811000 | #Constraints: 38776
2161.49/2168.29 c #Conflicts: 1812000 | #Constraints: 39776
2161.49/2168.29 c #Conflicts: 1813000 | #Constraints: 40776
2161.49/2168.29 c #Conflicts: 1814000 | #Constraints: 41776
2161.49/2168.29 c #Conflicts: 1815000 | #Constraints: 42776
2161.49/2168.29 c #Conflicts: 1816000 | #Constraints: 43776
2161.49/2168.29 c #Conflicts: 1817000 | #Constraints: 44776
2161.49/2168.29 c #Conflicts: 1818000 | #Constraints: 45776
2161.49/2168.29 c #Conflicts: 1819000 | #Constraints: 46776
2306.83/2314.06 c #Conflicts: 1820000 | #Constraints: 47776
2306.83/2314.06 c #Conflicts: 1821000 | #Constraints: 48776
2306.83/2314.06 c #Conflicts: 1822000 | #Constraints: 49776
2306.83/2314.06 c #Conflicts: 1823000 | #Constraints: 50776
2306.83/2314.06 c #Conflicts: 1824000 | #Constraints: 51776
2306.83/2314.06 c #Conflicts: 1825000 | #Constraints: 52776
2306.83/2314.06 c #Conflicts: 1826000 | #Constraints: 53776
2306.83/2314.06 c #Conflicts: 1827000 | #Constraints: 54776
2306.83/2314.06 c INPROCESSING
2306.83/2314.06 c GARBAGE COLLECT
2306.83/2314.06 c #Conflicts: 1828000 | #Constraints: 28971
2306.83/2314.06 c #Conflicts: 1829000 | #Constraints: 29971
2306.83/2314.06 c #Conflicts: 1830000 | #Constraints: 30971
2306.83/2314.06 c #Conflicts: 1831000 | #Constraints: 31971
2306.83/2314.06 c #Conflicts: 1832000 | #Constraints: 32971
2306.83/2314.06 c #Conflicts: 1833000 | #Constraints: 33971
2306.83/2314.06 c #Conflicts: 1834000 | #Constraints: 34971
2306.83/2314.06 c #Conflicts: 1835000 | #Constraints: 35971
2306.83/2314.06 c #Conflicts: 1836000 | #Constraints: 36971
2306.83/2314.06 c #Conflicts: 1837000 | #Constraints: 37971
2306.83/2314.06 c #Conflicts: 1838000 | #Constraints: 38971
2306.83/2314.06 c #Conflicts: 1839000 | #Constraints: 39971
2306.83/2314.06 c #Conflicts: 1840000 | #Constraints: 40971
2306.83/2314.06 c #Conflicts: 1841000 | #Constraints: 41971
2306.83/2314.06 c #Conflicts: 1842000 | #Constraints: 42971
2306.83/2314.06 c #Conflicts: 1843000 | #Constraints: 43971
2306.83/2314.06 c #Conflicts: 1844000 | #Constraints: 44971
2306.83/2314.06 c #Conflicts: 1845000 | #Constraints: 45971
2306.83/2314.06 c #Conflicts: 1846000 | #Constraints: 46971
2306.83/2314.06 c #Conflicts: 1847000 | #Constraints: 47971
2306.83/2314.06 c #Conflicts: 1848000 | #Constraints: 48971
2306.83/2314.06 c #Conflicts: 1849000 | #Constraints: 49971
2306.83/2314.06 c #Conflicts: 1850000 | #Constraints: 50971
2306.83/2314.06 c #Conflicts: 1851000 | #Constraints: 51971
2306.83/2314.06 c #Conflicts: 1852000 | #Constraints: 52971
2306.83/2314.06 c #Conflicts: 1853000 | #Constraints: 53971
2306.83/2314.06 c #Conflicts: 1854000 | #Constraints: 54971
2306.83/2314.06 c INPROCESSING
2306.83/2314.06 c GARBAGE COLLECT
2306.83/2314.06 c #Conflicts: 1855000 | #Constraints: 28978
2306.83/2314.06 c #Conflicts: 1856000 | #Constraints: 29978
2306.83/2314.06 c #Conflicts: 1857000 | #Constraints: 30978
2306.83/2314.06 c #Conflicts: 1858000 | #Constraints: 31978
2306.83/2314.06 c #Conflicts: 1859000 | #Constraints: 32978
2306.83/2314.06 c #Conflicts: 1860000 | #Constraints: 33978
2306.83/2314.06 c #Conflicts: 1861000 | #Constraints: 34978
2306.83/2314.06 c #Conflicts: 1862000 | #Constraints: 35978
2306.83/2314.06 c #Conflicts: 1863000 | #Constraints: 36978
2306.83/2314.06 c #Conflicts: 1864000 | #Constraints: 37978
2306.83/2314.06 c #Conflicts: 1865000 | #Constraints: 38978
2306.83/2314.06 c #Conflicts: 1866000 | #Constraints: 39978
2306.83/2314.06 c #Conflicts: 1867000 | #Constraints: 40978
2306.83/2314.06 c #Conflicts: 1868000 | #Constraints: 41978
2306.83/2314.06 c #Conflicts: 1869000 | #Constraints: 42978
2306.83/2314.06 c #Conflicts: 1870000 | #Constraints: 43978
2306.83/2314.06 c #Conflicts: 1871000 | #Constraints: 44978
2306.83/2314.06 c #Conflicts: 1872000 | #Constraints: 45978
2306.83/2314.06 c #Conflicts: 1873000 | #Constraints: 46978
2306.83/2314.06 c #Conflicts: 1874000 | #Constraints: 47978
2306.83/2314.06 c #Conflicts: 1875000 | #Constraints: 48978
2306.83/2314.06 c #Conflicts: 1876000 | #Constraints: 49978
2306.83/2314.06 c #Conflicts: 1877000 | #Constraints: 50978
2306.83/2314.06 c #Conflicts: 1878000 | #Constraints: 51978
2306.83/2314.06 c #Conflicts: 1879000 | #Constraints: 52978
2306.83/2314.06 c #Conflicts: 1880000 | #Constraints: 53978
2306.83/2314.06 c #Conflicts: 1881000 | #Constraints: 54978
2306.83/2314.06 c INPROCESSING
2306.83/2314.06 c GARBAGE COLLECT
2306.83/2314.06 c #Conflicts: 1882000 | #Constraints: 28775
2306.83/2314.06 c #Conflicts: 1883000 | #Constraints: 29775
2306.83/2314.06 c #Conflicts: 1884000 | #Constraints: 30775
2306.83/2314.06 c #Conflicts: 1885000 | #Constraints: 31775
2306.83/2314.06 c #Conflicts: 1886000 | #Constraints: 32775
2306.83/2314.06 c #Conflicts: 1887000 | #Constraints: 33775
2306.83/2314.06 c #Conflicts: 1888000 | #Constraints: 34775
2306.83/2314.06 c #Conflicts: 1889000 | #Constraints: 35775
2306.83/2314.06 c #Conflicts: 1890000 | #Constraints: 36775
2306.83/2314.06 c #Conflicts: 1891000 | #Constraints: 37775
2306.83/2314.06 c #Conflicts: 1892000 | #Constraints: 38775
2306.83/2314.06 c #Conflicts: 1893000 | #Constraints: 39775
2306.83/2314.06 c #Conflicts: 1894000 | #Constraints: 40775
2306.83/2314.06 c #Conflicts: 1895000 | #Constraints: 41775
2306.83/2314.06 c #Conflicts: 1896000 | #Constraints: 42775
2456.84/2464.57 c #Conflicts: 1897000 | #Constraints: 43775
2456.84/2464.57 c #Conflicts: 1898000 | #Constraints: 44775
2456.84/2464.57 c #Conflicts: 1899000 | #Constraints: 45775
2456.84/2464.57 c #Conflicts: 1900000 | #Constraints: 46775
2456.84/2464.57 c #Conflicts: 1901000 | #Constraints: 47775
2456.84/2464.57 c #Conflicts: 1902000 | #Constraints: 48775
2456.84/2464.57 c #Conflicts: 1903000 | #Constraints: 49775
2456.84/2464.57 c #Conflicts: 1904000 | #Constraints: 50775
2456.84/2464.57 c #Conflicts: 1905000 | #Constraints: 51775
2456.84/2464.57 c #Conflicts: 1906000 | #Constraints: 52775
2456.84/2464.57 c #Conflicts: 1907000 | #Constraints: 53775
2456.84/2464.57 c #Conflicts: 1908000 | #Constraints: 54775
2456.84/2464.57 c #Conflicts: 1909000 | #Constraints: 55775
2456.84/2464.57 c INPROCESSING
2456.84/2464.57 c GARBAGE COLLECT
2456.84/2464.57 c #Conflicts: 1910000 | #Constraints: 29367
2456.84/2464.57 c #Conflicts: 1911000 | #Constraints: 30367
2456.84/2464.57 c #Conflicts: 1912000 | #Constraints: 31367
2456.84/2464.57 c #Conflicts: 1913000 | #Constraints: 32367
2456.84/2464.57 c #Conflicts: 1914000 | #Constraints: 33367
2456.84/2464.57 c #Conflicts: 1915000 | #Constraints: 34367
2456.84/2464.57 c #Conflicts: 1916000 | #Constraints: 35367
2456.84/2464.57 c #Conflicts: 1917000 | #Constraints: 36367
2456.84/2464.57 c #Conflicts: 1918000 | #Constraints: 37367
2456.84/2464.57 c #Conflicts: 1919000 | #Constraints: 38367
2456.84/2464.57 c #Conflicts: 1920000 | #Constraints: 39367
2456.84/2464.57 c #Conflicts: 1921000 | #Constraints: 40367
2456.84/2464.57 c #Conflicts: 1922000 | #Constraints: 41367
2456.84/2464.57 c #Conflicts: 1923000 | #Constraints: 42367
2456.84/2464.57 c #Conflicts: 1924000 | #Constraints: 43367
2456.84/2464.57 c #Conflicts: 1925000 | #Constraints: 44367
2456.84/2464.57 c #Conflicts: 1926000 | #Constraints: 45367
2456.84/2464.57 c #Conflicts: 1927000 | #Constraints: 46367
2456.84/2464.57 c #Conflicts: 1928000 | #Constraints: 47367
2456.84/2464.57 c #Conflicts: 1929000 | #Constraints: 48367
2456.84/2464.57 c #Conflicts: 1930000 | #Constraints: 49367
2456.84/2464.57 c #Conflicts: 1931000 | #Constraints: 50367
2456.84/2464.57 c #Conflicts: 1932000 | #Constraints: 51367
2456.84/2464.57 c #Conflicts: 1933000 | #Constraints: 52367
2456.84/2464.57 c #Conflicts: 1934000 | #Constraints: 53367
2456.84/2464.57 c #Conflicts: 1935000 | #Constraints: 54367
2456.84/2464.57 c #Conflicts: 1936000 | #Constraints: 55367
2456.84/2464.57 c #Conflicts: 1937000 | #Constraints: 56367
2456.84/2464.57 c INPROCESSING
2456.84/2464.57 c GARBAGE COLLECT
2456.84/2464.57 c #Conflicts: 1938000 | #Constraints: 29763
2456.84/2464.57 c #Conflicts: 1939000 | #Constraints: 30763
2456.84/2464.57 c #Conflicts: 1940000 | #Constraints: 31763
2456.84/2464.57 c #Conflicts: 1941000 | #Constraints: 32763
2456.84/2464.57 c #Conflicts: 1942000 | #Constraints: 33763
2456.84/2464.57 c #Conflicts: 1943000 | #Constraints: 34763
2456.84/2464.57 c #Conflicts: 1944000 | #Constraints: 35763
2456.84/2464.57 c #Conflicts: 1945000 | #Constraints: 36763
2456.84/2464.57 c #Conflicts: 1946000 | #Constraints: 37763
2456.84/2464.57 c #Conflicts: 1947000 | #Constraints: 38763
2456.84/2464.57 c #Conflicts: 1948000 | #Constraints: 39763
2456.84/2464.57 c #Conflicts: 1949000 | #Constraints: 40763
2456.84/2464.57 c #Conflicts: 1950000 | #Constraints: 41763
2456.84/2464.57 c #Conflicts: 1951000 | #Constraints: 42763
2456.84/2464.57 c #Conflicts: 1952000 | #Constraints: 43763
2456.84/2464.57 c #Conflicts: 1953000 | #Constraints: 44763
2456.84/2464.57 c #Conflicts: 1954000 | #Constraints: 45763
2456.84/2464.57 c #Conflicts: 1955000 | #Constraints: 46763
2456.84/2464.57 c #Conflicts: 1956000 | #Constraints: 47763
2456.84/2464.57 c #Conflicts: 1957000 | #Constraints: 48763
2456.84/2464.57 c #Conflicts: 1958000 | #Constraints: 49763
2456.84/2464.57 c #Conflicts: 1959000 | #Constraints: 50763
2456.84/2464.57 c #Conflicts: 1960000 | #Constraints: 51763
2456.84/2464.57 c #Conflicts: 1961000 | #Constraints: 52763
2456.84/2464.57 c #Conflicts: 1962000 | #Constraints: 53763
2456.84/2464.57 c #Conflicts: 1963000 | #Constraints: 54763
2456.84/2464.57 c #Conflicts: 1964000 | #Constraints: 55763
2456.84/2464.57 c #Conflicts: 1965000 | #Constraints: 56763
2456.84/2464.57 c INPROCESSING
2456.84/2464.57 c GARBAGE COLLECT
2456.84/2464.57 c #Conflicts: 1966000 | #Constraints: 29965
2456.84/2464.57 c #Conflicts: 1967000 | #Constraints: 30965
2456.84/2464.57 c #Conflicts: 1968000 | #Constraints: 31965
2456.84/2464.57 c #Conflicts: 1969000 | #Constraints: 32965
2456.84/2464.57 c #Conflicts: 1970000 | #Constraints: 33965
2456.84/2464.57 c #Conflicts: 1971000 | #Constraints: 34965
2456.84/2464.57 c #Conflicts: 1972000 | #Constraints: 35965
2456.84/2464.57 c #Conflicts: 1973000 | #Constraints: 36965
2621.61/2629.85 c #Conflicts: 1974000 | #Constraints: 37965
2621.61/2629.85 c #Conflicts: 1975000 | #Constraints: 38965
2621.61/2629.85 c #Conflicts: 1976000 | #Constraints: 39965
2621.61/2629.85 c #Conflicts: 1977000 | #Constraints: 40965
2621.61/2629.85 c #Conflicts: 1978000 | #Constraints: 41965
2621.61/2629.85 c #Conflicts: 1979000 | #Constraints: 42965
2621.61/2629.85 c #Conflicts: 1980000 | #Constraints: 43965
2621.61/2629.85 c #Conflicts: 1981000 | #Constraints: 44965
2621.61/2629.85 c #Conflicts: 1982000 | #Constraints: 45965
2621.61/2629.85 c #Conflicts: 1983000 | #Constraints: 46965
2621.61/2629.85 c #Conflicts: 1984000 | #Constraints: 47965
2621.61/2629.85 c #Conflicts: 1985000 | #Constraints: 48965
2621.61/2629.85 c #Conflicts: 1986000 | #Constraints: 49965
2621.61/2629.85 c #Conflicts: 1987000 | #Constraints: 50965
2621.61/2629.85 c #Conflicts: 1988000 | #Constraints: 51965
2621.61/2629.85 c #Conflicts: 1989000 | #Constraints: 52965
2621.61/2629.85 c #Conflicts: 1990000 | #Constraints: 53965
2621.61/2629.85 c #Conflicts: 1991000 | #Constraints: 54965
2621.61/2629.85 c #Conflicts: 1992000 | #Constraints: 55965
2621.61/2629.85 c #Conflicts: 1993000 | #Constraints: 56965
2621.61/2629.85 c INPROCESSING
2621.61/2629.85 c GARBAGE COLLECT
2621.61/2629.85 c #Conflicts: 1994000 | #Constraints: 29980
2621.61/2629.85 c #Conflicts: 1995000 | #Constraints: 30980
2621.61/2629.85 c #Conflicts: 1996000 | #Constraints: 31980
2621.61/2629.85 c #Conflicts: 1997000 | #Constraints: 32980
2621.61/2629.85 c #Conflicts: 1998000 | #Constraints: 33980
2621.61/2629.85 c #Conflicts: 1999000 | #Constraints: 34980
2621.61/2629.85 c #Conflicts: 2000000 | #Constraints: 35980
2621.61/2629.85 c #Conflicts: 2001000 | #Constraints: 36980
2621.61/2629.85 c #Conflicts: 2002000 | #Constraints: 37980
2621.61/2629.85 c #Conflicts: 2003000 | #Constraints: 38980
2621.61/2629.85 c #Conflicts: 2004000 | #Constraints: 39980
2621.61/2629.85 c #Conflicts: 2005000 | #Constraints: 40980
2621.61/2629.85 c #Conflicts: 2006000 | #Constraints: 41980
2621.61/2629.85 c #Conflicts: 2007000 | #Constraints: 42980
2621.61/2629.85 c #Conflicts: 2008000 | #Constraints: 43980
2621.61/2629.85 c #Conflicts: 2009000 | #Constraints: 44980
2621.61/2629.85 c #Conflicts: 2010000 | #Constraints: 45980
2621.61/2629.85 c #Conflicts: 2011000 | #Constraints: 46980
2621.61/2629.85 c #Conflicts: 2012000 | #Constraints: 47980
2621.61/2629.85 c #Conflicts: 2013000 | #Constraints: 48980
2621.61/2629.85 c #Conflicts: 2014000 | #Constraints: 49980
2621.61/2629.85 c #Conflicts: 2015000 | #Constraints: 50980
2621.61/2629.85 c #Conflicts: 2016000 | #Constraints: 51980
2621.61/2629.85 c #Conflicts: 2017000 | #Constraints: 52980
2621.61/2629.85 c #Conflicts: 2018000 | #Constraints: 53980
2621.61/2629.85 c #Conflicts: 2019000 | #Constraints: 54980
2621.61/2629.85 c #Conflicts: 2020000 | #Constraints: 55980
2621.61/2629.85 c #Conflicts: 2021000 | #Constraints: 56980
2621.61/2629.85 c INPROCESSING
2621.61/2629.85 c GARBAGE COLLECT
2621.61/2629.85 c #Conflicts: 2022000 | #Constraints: 29776
2621.61/2629.85 c #Conflicts: 2023000 | #Constraints: 30776
2621.61/2629.85 c #Conflicts: 2024000 | #Constraints: 31776
2621.61/2629.85 c #Conflicts: 2025000 | #Constraints: 32776
2621.61/2629.85 c #Conflicts: 2026000 | #Constraints: 33776
2621.61/2629.85 c #Conflicts: 2027000 | #Constraints: 34776
2621.61/2629.85 c #Conflicts: 2028000 | #Constraints: 35776
2621.61/2629.85 c #Conflicts: 2029000 | #Constraints: 36776
2621.61/2629.85 c #Conflicts: 2030000 | #Constraints: 37776
2621.61/2629.85 c #Conflicts: 2031000 | #Constraints: 38776
2621.61/2629.85 c #Conflicts: 2032000 | #Constraints: 39776
2621.61/2629.85 c #Conflicts: 2033000 | #Constraints: 40776
2621.61/2629.85 c #Conflicts: 2034000 | #Constraints: 41776
2621.61/2629.85 c #Conflicts: 2035000 | #Constraints: 42776
2621.61/2629.85 c #Conflicts: 2036000 | #Constraints: 43776
2621.61/2629.85 c #Conflicts: 2037000 | #Constraints: 44776
2621.61/2629.85 c #Conflicts: 2038000 | #Constraints: 45776
2621.61/2629.85 c #Conflicts: 2039000 | #Constraints: 46776
2621.61/2629.85 c #Conflicts: 2040000 | #Constraints: 47776
2621.61/2629.85 c #Conflicts: 2041000 | #Constraints: 48776
2621.61/2629.85 c #Conflicts: 2042000 | #Constraints: 49776
2621.61/2629.85 c #Conflicts: 2043000 | #Constraints: 50776
2621.61/2629.85 c #Conflicts: 2044000 | #Constraints: 51776
2621.61/2629.85 c #Conflicts: 2045000 | #Constraints: 52776
2621.61/2629.85 c #Conflicts: 2046000 | #Constraints: 53776
2621.61/2629.85 c #Conflicts: 2047000 | #Constraints: 54776
2621.61/2629.85 c #Conflicts: 2048000 | #Constraints: 55776
2621.61/2629.85 c #Conflicts: 2049000 | #Constraints: 56776
2621.61/2629.85 c #Conflicts: 2050000 | #Constraints: 57776
2767.45/2776.16 c INPROCESSING
2767.45/2776.16 c GARBAGE COLLECT
2767.45/2776.16 c #Conflicts: 2051000 | #Constraints: 30370
2767.45/2776.16 c #Conflicts: 2052000 | #Constraints: 31370
2767.45/2776.16 c #Conflicts: 2053000 | #Constraints: 32370
2767.45/2776.16 c #Conflicts: 2054000 | #Constraints: 33370
2767.45/2776.16 c #Conflicts: 2055000 | #Constraints: 34370
2767.45/2776.16 c #Conflicts: 2056000 | #Constraints: 35370
2767.45/2776.16 c #Conflicts: 2057000 | #Constraints: 36370
2767.45/2776.16 c #Conflicts: 2058000 | #Constraints: 37370
2767.45/2776.16 c #Conflicts: 2059000 | #Constraints: 38370
2767.45/2776.16 c #Conflicts: 2060000 | #Constraints: 39370
2767.45/2776.16 c #Conflicts: 2061000 | #Constraints: 40370
2767.45/2776.16 c #Conflicts: 2062000 | #Constraints: 41370
2767.45/2776.16 c #Conflicts: 2063000 | #Constraints: 42370
2767.45/2776.16 c #Conflicts: 2064000 | #Constraints: 43370
2767.45/2776.16 c #Conflicts: 2065000 | #Constraints: 44370
2767.45/2776.16 c #Conflicts: 2066000 | #Constraints: 45370
2767.45/2776.16 c #Conflicts: 2067000 | #Constraints: 46370
2767.45/2776.16 c #Conflicts: 2068000 | #Constraints: 47370
2767.45/2776.16 c #Conflicts: 2069000 | #Constraints: 48370
2767.45/2776.16 c #Conflicts: 2070000 | #Constraints: 49370
2767.45/2776.16 c #Conflicts: 2071000 | #Constraints: 50370
2767.45/2776.16 c #Conflicts: 2072000 | #Constraints: 51370
2767.45/2776.16 c #Conflicts: 2073000 | #Constraints: 52370
2767.45/2776.16 c #Conflicts: 2074000 | #Constraints: 53370
2767.45/2776.16 c #Conflicts: 2075000 | #Constraints: 54370
2767.45/2776.16 c #Conflicts: 2076000 | #Constraints: 55370
2767.45/2776.16 c #Conflicts: 2077000 | #Constraints: 56370
2767.45/2776.16 c #Conflicts: 2078000 | #Constraints: 57370
2767.45/2776.16 c #Conflicts: 2079000 | #Constraints: 58370
2767.45/2776.16 c INPROCESSING
2767.45/2776.16 c GARBAGE COLLECT
2767.45/2776.16 c #Conflicts: 2080000 | #Constraints: 30787
2767.45/2776.16 c #Conflicts: 2081000 | #Constraints: 31787
2767.45/2776.16 c #Conflicts: 2082000 | #Constraints: 32787
2767.45/2776.16 c #Conflicts: 2083000 | #Constraints: 33787
2767.45/2776.16 c #Conflicts: 2084000 | #Constraints: 34787
2767.45/2776.16 c #Conflicts: 2085000 | #Constraints: 35787
2767.45/2776.16 c #Conflicts: 2086000 | #Constraints: 36787
2767.45/2776.16 c #Conflicts: 2087000 | #Constraints: 37787
2767.45/2776.16 c #Conflicts: 2088000 | #Constraints: 38787
2767.45/2776.16 c #Conflicts: 2089000 | #Constraints: 39787
2767.45/2776.16 c #Conflicts: 2090000 | #Constraints: 40787
2767.45/2776.16 c #Conflicts: 2091000 | #Constraints: 41787
2767.45/2776.16 c #Conflicts: 2092000 | #Constraints: 42787
2767.45/2776.16 c #Conflicts: 2093000 | #Constraints: 43787
2767.45/2776.16 c #Conflicts: 2094000 | #Constraints: 44787
2767.45/2776.16 c #Conflicts: 2095000 | #Constraints: 45787
2767.45/2776.16 c #Conflicts: 2096000 | #Constraints: 46787
2767.45/2776.16 c #Conflicts: 2097000 | #Constraints: 47787
2767.45/2776.16 c #Conflicts: 2098000 | #Constraints: 48787
2767.45/2776.16 c #Conflicts: 2099000 | #Constraints: 49787
2767.45/2776.16 c #Conflicts: 2100000 | #Constraints: 50787
2767.45/2776.16 c #Conflicts: 2101000 | #Constraints: 51787
2767.45/2776.16 c #Conflicts: 2102000 | #Constraints: 52787
2767.45/2776.16 c #Conflicts: 2103000 | #Constraints: 53787
2767.45/2776.16 c #Conflicts: 2104000 | #Constraints: 54787
2767.45/2776.16 c #Conflicts: 2105000 | #Constraints: 55787
2767.45/2776.16 c #Conflicts: 2106000 | #Constraints: 56787
2767.45/2776.16 c #Conflicts: 2107000 | #Constraints: 57787
2767.45/2776.16 c #Conflicts: 2108000 | #Constraints: 58787
2767.45/2776.16 c INPROCESSING
2767.45/2776.16 c GARBAGE COLLECT
2767.45/2776.16 c #Conflicts: 2109000 | #Constraints: 31008
2767.45/2776.16 c #Conflicts: 2110000 | #Constraints: 32008
2767.45/2776.16 c #Conflicts: 2111000 | #Constraints: 33008
2767.45/2776.16 c #Conflicts: 2112000 | #Constraints: 34008
2767.45/2776.16 c #Conflicts: 2113000 | #Constraints: 35008
2767.45/2776.16 c #Conflicts: 2114000 | #Constraints: 36008
2767.45/2776.16 c #Conflicts: 2115000 | #Constraints: 37008
2767.45/2776.16 c #Conflicts: 2116000 | #Constraints: 38008
2767.45/2776.16 c #Conflicts: 2117000 | #Constraints: 39008
2767.45/2776.16 c #Conflicts: 2118000 | #Constraints: 40008
2767.45/2776.16 c #Conflicts: 2119000 | #Constraints: 41008
2767.45/2776.16 c #Conflicts: 2120000 | #Constraints: 42008
2767.45/2776.16 c #Conflicts: 2121000 | #Constraints: 43008
2767.45/2776.16 c #Conflicts: 2122000 | #Constraints: 44008
2767.45/2776.16 c #Conflicts: 2123000 | #Constraints: 45008
2767.45/2776.16 c #Conflicts: 2124000 | #Constraints: 46008
2767.45/2776.16 c #Conflicts: 2125000 | #Constraints: 47008
2767.45/2776.16 c #Conflicts: 2126000 | #Constraints: 48008
2767.45/2776.16 c #Conflicts: 2127000 | #Constraints: 49008
2932.71/2941.99 c #Conflicts: 2128000 | #Constraints: 50008
2932.71/2941.99 c #Conflicts: 2129000 | #Constraints: 51008
2932.71/2941.99 c #Conflicts: 2130000 | #Constraints: 52008
2932.71/2941.99 c #Conflicts: 2131000 | #Constraints: 53008
2932.71/2941.99 c #Conflicts: 2132000 | #Constraints: 54008
2932.71/2941.99 c #Conflicts: 2133000 | #Constraints: 55008
2932.71/2941.99 c #Conflicts: 2134000 | #Constraints: 56008
2932.71/2941.99 c #Conflicts: 2135000 | #Constraints: 57008
2932.71/2941.99 c #Conflicts: 2136000 | #Constraints: 58008
2932.71/2941.99 c #Conflicts: 2137000 | #Constraints: 59008
2932.71/2941.99 c INPROCESSING
2932.71/2941.99 c GARBAGE COLLECT
2932.71/2941.99 c #Conflicts: 2138000 | #Constraints: 30993
2932.71/2941.99 c #Conflicts: 2139000 | #Constraints: 31993
2932.71/2941.99 c #Conflicts: 2140000 | #Constraints: 32993
2932.71/2941.99 c #Conflicts: 2141000 | #Constraints: 33993
2932.71/2941.99 c #Conflicts: 2142000 | #Constraints: 34993
2932.71/2941.99 c #Conflicts: 2143000 | #Constraints: 35993
2932.71/2941.99 c #Conflicts: 2144000 | #Constraints: 36993
2932.71/2941.99 c #Conflicts: 2145000 | #Constraints: 37993
2932.71/2941.99 c #Conflicts: 2146000 | #Constraints: 38993
2932.71/2941.99 c #Conflicts: 2147000 | #Constraints: 39993
2932.71/2941.99 c #Conflicts: 2148000 | #Constraints: 40993
2932.71/2941.99 c #Conflicts: 2149000 | #Constraints: 41993
2932.71/2941.99 c #Conflicts: 2150000 | #Constraints: 42993
2932.71/2941.99 c #Conflicts: 2151000 | #Constraints: 43993
2932.71/2941.99 c #Conflicts: 2152000 | #Constraints: 44993
2932.71/2941.99 c #Conflicts: 2153000 | #Constraints: 45993
2932.71/2941.99 c #Conflicts: 2154000 | #Constraints: 46993
2932.71/2941.99 c #Conflicts: 2155000 | #Constraints: 47993
2932.71/2941.99 c #Conflicts: 2156000 | #Constraints: 48993
2932.71/2941.99 c #Conflicts: 2157000 | #Constraints: 49993
2932.71/2941.99 c #Conflicts: 2158000 | #Constraints: 50993
2932.71/2941.99 c #Conflicts: 2159000 | #Constraints: 51993
2932.71/2941.99 c #Conflicts: 2160000 | #Constraints: 52993
2932.71/2941.99 c #Conflicts: 2161000 | #Constraints: 53993
2932.71/2941.99 c #Conflicts: 2162000 | #Constraints: 54993
2932.71/2941.99 c #Conflicts: 2163000 | #Constraints: 55993
2932.71/2941.99 c #Conflicts: 2164000 | #Constraints: 56993
2932.71/2941.99 c #Conflicts: 2165000 | #Constraints: 57993
2932.71/2941.99 c #Conflicts: 2166000 | #Constraints: 58993
2932.71/2941.99 c INPROCESSING
2932.71/2941.99 c GARBAGE COLLECT
2932.71/2941.99 c #Conflicts: 2167000 | #Constraints: 30808
2932.71/2941.99 c #Conflicts: 2168000 | #Constraints: 31808
2932.71/2941.99 c #Conflicts: 2169000 | #Constraints: 32808
2932.71/2941.99 c #Conflicts: 2170000 | #Constraints: 33808
2932.71/2941.99 c #Conflicts: 2171000 | #Constraints: 34808
2932.71/2941.99 c #Conflicts: 2172000 | #Constraints: 35808
2932.71/2941.99 c #Conflicts: 2173000 | #Constraints: 36808
2932.71/2941.99 c #Conflicts: 2174000 | #Constraints: 37808
2932.71/2941.99 c #Conflicts: 2175000 | #Constraints: 38808
2932.71/2941.99 c #Conflicts: 2176000 | #Constraints: 39808
2932.71/2941.99 c #Conflicts: 2177000 | #Constraints: 40808
2932.71/2941.99 c #Conflicts: 2178000 | #Constraints: 41808
2932.71/2941.99 c #Conflicts: 2179000 | #Constraints: 42808
2932.71/2941.99 c #Conflicts: 2180000 | #Constraints: 43808
2932.71/2941.99 c #Conflicts: 2181000 | #Constraints: 44808
2932.71/2941.99 c #Conflicts: 2182000 | #Constraints: 45808
2932.71/2941.99 c #Conflicts: 2183000 | #Constraints: 46808
2932.71/2941.99 c #Conflicts: 2184000 | #Constraints: 47808
2932.71/2941.99 c #Conflicts: 2185000 | #Constraints: 48808
2932.71/2941.99 c #Conflicts: 2186000 | #Constraints: 49808
2932.71/2941.99 c #Conflicts: 2187000 | #Constraints: 50808
2932.71/2941.99 c #Conflicts: 2188000 | #Constraints: 51808
2932.71/2941.99 c #Conflicts: 2189000 | #Constraints: 52808
2932.71/2941.99 c #Conflicts: 2190000 | #Constraints: 53808
2932.71/2941.99 c #Conflicts: 2191000 | #Constraints: 54808
2932.71/2941.99 c #Conflicts: 2192000 | #Constraints: 55808
2932.71/2941.99 c #Conflicts: 2193000 | #Constraints: 56808
2932.71/2941.99 c #Conflicts: 2194000 | #Constraints: 57808
2932.71/2941.99 c #Conflicts: 2195000 | #Constraints: 58808
2932.71/2941.99 c #Conflicts: 2196000 | #Constraints: 59808
2932.71/2941.99 c INPROCESSING
2932.71/2941.99 c GARBAGE COLLECT
2932.71/2941.99 c #Conflicts: 2197000 | #Constraints: 31398
2932.71/2941.99 c #Conflicts: 2198000 | #Constraints: 32398
2932.71/2941.99 c #Conflicts: 2199000 | #Constraints: 33398
2932.71/2941.99 c #Conflicts: 2200000 | #Constraints: 34398
2932.71/2941.99 c #Conflicts: 2201000 | #Constraints: 35398
2932.71/2941.99 c #Conflicts: 2202000 | #Constraints: 36398
2932.71/2941.99 c #Conflicts: 2203000 | #Constraints: 37398
2932.71/2941.99 c #Conflicts: 2204000 | #Constraints: 38398
3086.82/3096.56 c #Conflicts: 2205000 | #Constraints: 39398
3086.82/3096.56 c #Conflicts: 2206000 | #Constraints: 40398
3086.82/3096.56 c #Conflicts: 2207000 | #Constraints: 41398
3086.82/3096.56 c #Conflicts: 2208000 | #Constraints: 42398
3086.82/3096.56 c #Conflicts: 2209000 | #Constraints: 43398
3086.82/3096.56 c #Conflicts: 2210000 | #Constraints: 44398
3086.82/3096.56 c #Conflicts: 2211000 | #Constraints: 45398
3086.82/3096.56 c #Conflicts: 2212000 | #Constraints: 46398
3086.82/3096.56 c #Conflicts: 2213000 | #Constraints: 47398
3086.82/3096.56 c #Conflicts: 2214000 | #Constraints: 48398
3086.82/3096.56 c #Conflicts: 2215000 | #Constraints: 49398
3086.82/3096.56 c #Conflicts: 2216000 | #Constraints: 50398
3086.82/3096.56 c #Conflicts: 2217000 | #Constraints: 51398
3086.82/3096.56 c #Conflicts: 2218000 | #Constraints: 52398
3086.82/3096.56 c #Conflicts: 2219000 | #Constraints: 53398
3086.82/3096.56 c #Conflicts: 2220000 | #Constraints: 54398
3086.82/3096.56 c #Conflicts: 2221000 | #Constraints: 55398
3086.82/3096.56 c #Conflicts: 2222000 | #Constraints: 56398
3086.82/3096.56 c #Conflicts: 2223000 | #Constraints: 57398
3086.82/3096.56 c #Conflicts: 2224000 | #Constraints: 58398
3086.82/3096.56 c #Conflicts: 2225000 | #Constraints: 59398
3086.82/3096.56 c #Conflicts: 2226000 | #Constraints: 60398
3086.82/3096.56 c INPROCESSING
3086.82/3096.56 c GARBAGE COLLECT
3086.82/3096.56 c #Conflicts: 2227000 | #Constraints: 31789
3086.82/3096.56 c #Conflicts: 2228000 | #Constraints: 32789
3086.82/3096.56 c #Conflicts: 2229000 | #Constraints: 33789
3086.82/3096.56 c #Conflicts: 2230000 | #Constraints: 34789
3086.82/3096.56 c #Conflicts: 2231000 | #Constraints: 35789
3086.82/3096.56 c #Conflicts: 2232000 | #Constraints: 36789
3086.82/3096.56 c #Conflicts: 2233000 | #Constraints: 37789
3086.82/3096.56 c #Conflicts: 2234000 | #Constraints: 38789
3086.82/3096.56 c #Conflicts: 2235000 | #Constraints: 39789
3086.82/3096.56 c #Conflicts: 2236000 | #Constraints: 40789
3086.82/3096.56 c #Conflicts: 2237000 | #Constraints: 41789
3086.82/3096.56 c #Conflicts: 2238000 | #Constraints: 42789
3086.82/3096.56 c #Conflicts: 2239000 | #Constraints: 43789
3086.82/3096.56 c #Conflicts: 2240000 | #Constraints: 44789
3086.82/3096.56 c #Conflicts: 2241000 | #Constraints: 45789
3086.82/3096.56 c #Conflicts: 2242000 | #Constraints: 46789
3086.82/3096.56 c #Conflicts: 2243000 | #Constraints: 47789
3086.82/3096.56 c #Conflicts: 2244000 | #Constraints: 48789
3086.82/3096.56 c #Conflicts: 2245000 | #Constraints: 49789
3086.82/3096.56 c #Conflicts: 2246000 | #Constraints: 50789
3086.82/3096.56 c #Conflicts: 2247000 | #Constraints: 51789
3086.82/3096.56 c #Conflicts: 2248000 | #Constraints: 52789
3086.82/3096.56 c #Conflicts: 2249000 | #Constraints: 53789
3086.82/3096.56 c #Conflicts: 2250000 | #Constraints: 54789
3086.82/3096.56 c #Conflicts: 2251000 | #Constraints: 55789
3086.82/3096.56 c #Conflicts: 2252000 | #Constraints: 56789
3086.82/3096.56 c #Conflicts: 2253000 | #Constraints: 57789
3086.82/3096.56 c #Conflicts: 2254000 | #Constraints: 58789
3086.82/3096.56 c #Conflicts: 2255000 | #Constraints: 59789
3086.82/3096.56 c #Conflicts: 2256000 | #Constraints: 60789
3086.82/3096.56 c INPROCESSING
3086.82/3096.56 c GARBAGE COLLECT
3086.82/3096.56 c #Conflicts: 2257000 | #Constraints: 31986
3086.82/3096.56 c #Conflicts: 2258000 | #Constraints: 32986
3086.82/3096.56 c #Conflicts: 2259000 | #Constraints: 33986
3086.82/3096.56 c #Conflicts: 2260000 | #Constraints: 34986
3086.82/3096.56 c #Conflicts: 2261000 | #Constraints: 35986
3086.82/3096.56 c #Conflicts: 2262000 | #Constraints: 36986
3086.82/3096.56 c #Conflicts: 2263000 | #Constraints: 37986
3086.82/3096.56 c #Conflicts: 2264000 | #Constraints: 38986
3086.82/3096.56 c #Conflicts: 2265000 | #Constraints: 39986
3086.82/3096.56 c #Conflicts: 2266000 | #Constraints: 40986
3086.82/3096.56 c #Conflicts: 2267000 | #Constraints: 41986
3086.82/3096.56 c #Conflicts: 2268000 | #Constraints: 42986
3086.82/3096.56 c #Conflicts: 2269000 | #Constraints: 43986
3086.82/3096.56 c #Conflicts: 2270000 | #Constraints: 44986
3086.82/3096.56 c #Conflicts: 2271000 | #Constraints: 45986
3086.82/3096.56 c #Conflicts: 2272000 | #Constraints: 46986
3086.82/3096.56 c #Conflicts: 2273000 | #Constraints: 47986
3086.82/3096.56 c #Conflicts: 2274000 | #Constraints: 48986
3086.82/3096.56 c #Conflicts: 2275000 | #Constraints: 49986
3086.82/3096.56 c #Conflicts: 2276000 | #Constraints: 50986
3086.82/3096.56 c #Conflicts: 2277000 | #Constraints: 51986
3086.82/3096.56 c #Conflicts: 2278000 | #Constraints: 52986
3086.82/3096.56 c #Conflicts: 2279000 | #Constraints: 53986
3086.82/3096.56 c #Conflicts: 2280000 | #Constraints: 54986
3086.82/3096.56 c #Conflicts: 2281000 | #Constraints: 55986
3247.03/3257.13 c #Conflicts: 2282000 | #Constraints: 56986
3247.03/3257.13 c #Conflicts: 2283000 | #Constraints: 57986
3247.03/3257.13 c #Conflicts: 2284000 | #Constraints: 58986
3247.03/3257.13 c #Conflicts: 2285000 | #Constraints: 59986
3247.03/3257.13 c #Conflicts: 2286000 | #Constraints: 60986
3247.03/3257.13 c INPROCESSING
3247.03/3257.13 c GARBAGE COLLECT
3247.03/3257.13 c #Conflicts: 2287000 | #Constraints: 31975
3247.03/3257.13 c #Conflicts: 2288000 | #Constraints: 32975
3247.03/3257.13 c #Conflicts: 2289000 | #Constraints: 33975
3247.03/3257.13 c #Conflicts: 2290000 | #Constraints: 34975
3247.03/3257.13 c #Conflicts: 2291000 | #Constraints: 35975
3247.03/3257.13 c #Conflicts: 2292000 | #Constraints: 36975
3247.03/3257.13 c #Conflicts: 2293000 | #Constraints: 37975
3247.03/3257.13 c #Conflicts: 2294000 | #Constraints: 38975
3247.03/3257.13 c #Conflicts: 2295000 | #Constraints: 39975
3247.03/3257.13 c #Conflicts: 2296000 | #Constraints: 40975
3247.03/3257.13 c #Conflicts: 2297000 | #Constraints: 41975
3247.03/3257.13 c #Conflicts: 2298000 | #Constraints: 42975
3247.03/3257.13 c #Conflicts: 2299000 | #Constraints: 43975
3247.03/3257.13 c #Conflicts: 2300000 | #Constraints: 44975
3247.03/3257.13 c #Conflicts: 2301000 | #Constraints: 45975
3247.03/3257.13 c #Conflicts: 2302000 | #Constraints: 46975
3247.03/3257.13 c #Conflicts: 2303000 | #Constraints: 47975
3247.03/3257.13 c #Conflicts: 2304000 | #Constraints: 48975
3247.03/3257.13 c #Conflicts: 2305000 | #Constraints: 49975
3247.03/3257.13 c #Conflicts: 2306000 | #Constraints: 50975
3247.03/3257.13 c #Conflicts: 2307000 | #Constraints: 51975
3247.03/3257.13 c #Conflicts: 2308000 | #Constraints: 52975
3247.03/3257.13 c #Conflicts: 2309000 | #Constraints: 53975
3247.03/3257.13 c #Conflicts: 2310000 | #Constraints: 54975
3247.03/3257.13 c #Conflicts: 2311000 | #Constraints: 55975
3247.03/3257.13 c #Conflicts: 2312000 | #Constraints: 56975
3247.03/3257.13 c #Conflicts: 2313000 | #Constraints: 57975
3247.03/3257.13 c #Conflicts: 2314000 | #Constraints: 58975
3247.03/3257.13 c #Conflicts: 2315000 | #Constraints: 59975
3247.03/3257.13 c #Conflicts: 2316000 | #Constraints: 60975
3247.03/3257.13 c INPROCESSING
3247.03/3257.13 c GARBAGE COLLECT
3247.03/3257.13 c #Conflicts: 2317000 | #Constraints: 31772
3247.03/3257.13 c #Conflicts: 2318000 | #Constraints: 32772
3247.03/3257.13 c #Conflicts: 2319000 | #Constraints: 33772
3247.03/3257.13 c #Conflicts: 2320000 | #Constraints: 34772
3247.03/3257.13 c #Conflicts: 2321000 | #Constraints: 35772
3247.03/3257.13 c #Conflicts: 2322000 | #Constraints: 36772
3247.03/3257.13 c #Conflicts: 2323000 | #Constraints: 37772
3247.03/3257.13 c #Conflicts: 2324000 | #Constraints: 38772
3247.03/3257.13 c #Conflicts: 2325000 | #Constraints: 39772
3247.03/3257.13 c #Conflicts: 2326000 | #Constraints: 40772
3247.03/3257.13 c #Conflicts: 2327000 | #Constraints: 41772
3247.03/3257.13 c #Conflicts: 2328000 | #Constraints: 42772
3247.03/3257.13 c #Conflicts: 2329000 | #Constraints: 43772
3247.03/3257.13 c #Conflicts: 2330000 | #Constraints: 44772
3247.03/3257.13 c #Conflicts: 2331000 | #Constraints: 45772
3247.03/3257.13 c #Conflicts: 2332000 | #Constraints: 46772
3247.03/3257.13 c #Conflicts: 2333000 | #Constraints: 47772
3247.03/3257.13 c #Conflicts: 2334000 | #Constraints: 48772
3247.03/3257.13 c #Conflicts: 2335000 | #Constraints: 49772
3247.03/3257.13 c #Conflicts: 2336000 | #Constraints: 50772
3247.03/3257.13 c #Conflicts: 2337000 | #Constraints: 51772
3247.03/3257.13 c #Conflicts: 2338000 | #Constraints: 52772
3247.03/3257.13 c #Conflicts: 2339000 | #Constraints: 53772
3247.03/3257.13 c #Conflicts: 2340000 | #Constraints: 54772
3247.03/3257.13 c #Conflicts: 2341000 | #Constraints: 55772
3247.03/3257.13 c #Conflicts: 2342000 | #Constraints: 56772
3247.03/3257.13 c #Conflicts: 2343000 | #Constraints: 57772
3247.03/3257.13 c #Conflicts: 2344000 | #Constraints: 58772
3247.03/3257.13 c #Conflicts: 2345000 | #Constraints: 59772
3247.03/3257.13 c #Conflicts: 2346000 | #Constraints: 60772
3247.03/3257.13 c #Conflicts: 2347000 | #Constraints: 61772
3247.03/3257.13 c INPROCESSING
3247.03/3257.13 c GARBAGE COLLECT
3247.03/3257.13 c #Conflicts: 2348000 | #Constraints: 32382
3247.03/3257.13 c #Conflicts: 2349000 | #Constraints: 33382
3247.03/3257.13 c #Conflicts: 2350000 | #Constraints: 34382
3247.03/3257.13 c #Conflicts: 2351000 | #Constraints: 35382
3247.03/3257.13 c #Conflicts: 2352000 | #Constraints: 36382
3247.03/3257.13 c #Conflicts: 2353000 | #Constraints: 37382
3247.03/3257.13 c #Conflicts: 2354000 | #Constraints: 38382
3247.03/3257.13 c #Conflicts: 2355000 | #Constraints: 39382
3247.03/3257.13 c #Conflicts: 2356000 | #Constraints: 40382
3247.03/3257.13 c #Conflicts: 2357000 | #Constraints: 41382
3247.03/3257.13 c #Conflicts: 2358000 | #Constraints: 42382
3385.40/3395.89 c #Conflicts: 2359000 | #Constraints: 43382
3385.40/3395.89 c #Conflicts: 2360000 | #Constraints: 44382
3385.40/3395.89 c #Conflicts: 2361000 | #Constraints: 45382
3385.40/3395.89 c #Conflicts: 2362000 | #Constraints: 46382
3385.40/3395.89 c #Conflicts: 2363000 | #Constraints: 47382
3385.40/3395.89 c #Conflicts: 2364000 | #Constraints: 48382
3385.40/3395.89 c #Conflicts: 2365000 | #Constraints: 49382
3385.40/3395.89 c #Conflicts: 2366000 | #Constraints: 50382
3385.40/3395.89 c #Conflicts: 2367000 | #Constraints: 51382
3385.40/3395.89 c #Conflicts: 2368000 | #Constraints: 52382
3385.40/3395.89 c #Conflicts: 2369000 | #Constraints: 53382
3385.40/3395.89 c #Conflicts: 2370000 | #Constraints: 54382
3385.40/3395.89 c #Conflicts: 2371000 | #Constraints: 55382
3385.40/3395.89 c #Conflicts: 2372000 | #Constraints: 56382
3385.40/3395.89 c #Conflicts: 2373000 | #Constraints: 57382
3385.40/3395.89 c #Conflicts: 2374000 | #Constraints: 58382
3385.40/3395.89 c #Conflicts: 2375000 | #Constraints: 59382
3385.40/3395.89 c #Conflicts: 2376000 | #Constraints: 60382
3385.40/3395.89 c #Conflicts: 2377000 | #Constraints: 61382
3385.40/3395.89 c #Conflicts: 2378000 | #Constraints: 62382
3385.40/3395.89 c INPROCESSING
3385.40/3395.89 c GARBAGE COLLECT
3385.40/3395.89 c #Conflicts: 2379000 | #Constraints: 32792
3385.40/3395.89 c #Conflicts: 2380000 | #Constraints: 33792
3385.40/3395.89 c #Conflicts: 2381000 | #Constraints: 34792
3385.40/3395.89 c #Conflicts: 2382000 | #Constraints: 35792
3385.40/3395.89 c #Conflicts: 2383000 | #Constraints: 36792
3385.40/3395.89 c #Conflicts: 2384000 | #Constraints: 37792
3385.40/3395.89 c #Conflicts: 2385000 | #Constraints: 38792
3385.40/3395.89 c #Conflicts: 2386000 | #Constraints: 39792
3385.40/3395.89 c #Conflicts: 2387000 | #Constraints: 40792
3385.40/3395.89 c #Conflicts: 2388000 | #Constraints: 41792
3385.40/3395.89 c #Conflicts: 2389000 | #Constraints: 42792
3385.40/3395.89 c #Conflicts: 2390000 | #Constraints: 43792
3385.40/3395.89 c #Conflicts: 2391000 | #Constraints: 44792
3385.40/3395.89 c #Conflicts: 2392000 | #Constraints: 45792
3385.40/3395.89 c #Conflicts: 2393000 | #Constraints: 46792
3385.40/3395.89 c #Conflicts: 2394000 | #Constraints: 47792
3385.40/3395.89 c #Conflicts: 2395000 | #Constraints: 48792
3385.40/3395.89 c #Conflicts: 2396000 | #Constraints: 49792
3385.40/3395.89 c #Conflicts: 2397000 | #Constraints: 50792
3385.40/3395.89 c #Conflicts: 2398000 | #Constraints: 51792
3385.40/3395.89 c #Conflicts: 2399000 | #Constraints: 52792
3385.40/3395.89 c #Conflicts: 2400000 | #Constraints: 53792
3385.40/3395.89 c #Conflicts: 2401000 | #Constraints: 54792
3385.40/3395.89 c #Conflicts: 2402000 | #Constraints: 55792
3385.40/3395.89 c #Conflicts: 2403000 | #Constraints: 56792
3385.40/3395.89 c #Conflicts: 2404000 | #Constraints: 57792
3385.40/3395.89 c #Conflicts: 2405000 | #Constraints: 58792
3385.40/3395.89 c #Conflicts: 2406000 | #Constraints: 59792
3385.40/3395.89 c #Conflicts: 2407000 | #Constraints: 60792
3385.40/3395.89 c #Conflicts: 2408000 | #Constraints: 61792
3385.40/3395.89 c #Conflicts: 2409000 | #Constraints: 62792
3385.40/3395.89 c INPROCESSING
3385.40/3395.89 c GARBAGE COLLECT
3385.40/3395.89 c #Conflicts: 2410000 | #Constraints: 32993
3385.40/3395.89 c #Conflicts: 2411000 | #Constraints: 33993
3385.40/3395.89 c #Conflicts: 2412000 | #Constraints: 34993
3385.40/3395.89 c #Conflicts: 2413000 | #Constraints: 35993
3385.40/3395.89 c #Conflicts: 2414000 | #Constraints: 36993
3385.40/3395.89 c #Conflicts: 2415000 | #Constraints: 37993
3385.40/3395.89 c #Conflicts: 2416000 | #Constraints: 38993
3385.40/3395.89 c #Conflicts: 2417000 | #Constraints: 39993
3385.40/3395.89 c #Conflicts: 2418000 | #Constraints: 40993
3385.40/3395.89 c #Conflicts: 2419000 | #Constraints: 41993
3385.40/3395.89 c #Conflicts: 2420000 | #Constraints: 42993
3385.40/3395.89 c #Conflicts: 2421000 | #Constraints: 43993
3385.40/3395.89 c #Conflicts: 2422000 | #Constraints: 44993
3385.40/3395.89 c #Conflicts: 2423000 | #Constraints: 45993
3385.40/3395.89 c #Conflicts: 2424000 | #Constraints: 46993
3385.40/3395.89 c #Conflicts: 2425000 | #Constraints: 47993
3385.40/3395.89 c #Conflicts: 2426000 | #Constraints: 48993
3385.40/3395.89 c #Conflicts: 2427000 | #Constraints: 49993
3385.40/3395.89 c #Conflicts: 2428000 | #Constraints: 50993
3385.40/3395.89 c #Conflicts: 2429000 | #Constraints: 51993
3385.40/3395.89 c #Conflicts: 2430000 | #Constraints: 52993
3385.40/3395.89 c #Conflicts: 2431000 | #Constraints: 53993
3385.40/3395.89 c #Conflicts: 2432000 | #Constraints: 54993
3385.40/3395.89 c #Conflicts: 2433000 | #Constraints: 55993
3385.40/3395.89 c #Conflicts: 2434000 | #Constraints: 56993
3385.40/3395.89 c #Conflicts: 2435000 | #Constraints: 57993
3385.40/3395.89 c #Conflicts: 2436000 | #Constraints: 58993
3558.28/3569.18 c #Conflicts: 2437000 | #Constraints: 59993
3558.28/3569.18 c #Conflicts: 2438000 | #Constraints: 60993
3558.28/3569.18 c #Conflicts: 2439000 | #Constraints: 61993
3558.28/3569.18 c #Conflicts: 2440000 | #Constraints: 62993
3558.28/3569.18 c INPROCESSING
3558.28/3569.18 c GARBAGE COLLECT
3558.28/3569.18 c #Conflicts: 2441000 | #Constraints: 32990
3558.28/3569.18 c #Conflicts: 2442000 | #Constraints: 33990
3558.28/3569.18 c #Conflicts: 2443000 | #Constraints: 34990
3558.28/3569.18 c #Conflicts: 2444000 | #Constraints: 35990
3558.28/3569.18 c #Conflicts: 2445000 | #Constraints: 36990
3558.28/3569.18 c #Conflicts: 2446000 | #Constraints: 37990
3558.28/3569.18 c #Conflicts: 2447000 | #Constraints: 38990
3558.28/3569.18 c #Conflicts: 2448000 | #Constraints: 39990
3558.28/3569.18 c #Conflicts: 2449000 | #Constraints: 40990
3558.28/3569.18 c #Conflicts: 2450000 | #Constraints: 41990
3558.28/3569.18 c #Conflicts: 2451000 | #Constraints: 42990
3558.28/3569.18 c #Conflicts: 2452000 | #Constraints: 43990
3558.28/3569.18 c #Conflicts: 2453000 | #Constraints: 44990
3558.28/3569.18 c #Conflicts: 2454000 | #Constraints: 45990
3558.28/3569.18 c #Conflicts: 2455000 | #Constraints: 46990
3558.28/3569.18 c #Conflicts: 2456000 | #Constraints: 47990
3558.28/3569.18 c #Conflicts: 2457000 | #Constraints: 48990
3558.28/3569.18 c #Conflicts: 2458000 | #Constraints: 49990
3558.28/3569.18 c #Conflicts: 2459000 | #Constraints: 50990
3558.28/3569.18 c #Conflicts: 2460000 | #Constraints: 51990
3558.28/3569.18 c #Conflicts: 2461000 | #Constraints: 52990
3558.28/3569.18 c #Conflicts: 2462000 | #Constraints: 53990
3558.28/3569.18 c #Conflicts: 2463000 | #Constraints: 54990
3558.28/3569.18 c #Conflicts: 2464000 | #Constraints: 55990
3558.28/3569.18 c #Conflicts: 2465000 | #Constraints: 56990
3558.28/3569.18 c #Conflicts: 2466000 | #Constraints: 57990
3558.28/3569.18 c #Conflicts: 2467000 | #Constraints: 58990
3558.28/3569.18 c #Conflicts: 2468000 | #Constraints: 59990
3558.28/3569.18 c #Conflicts: 2469000 | #Constraints: 60990
3558.28/3569.18 c #Conflicts: 2470000 | #Constraints: 61990
3558.28/3569.18 c #Conflicts: 2471000 | #Constraints: 62990
3558.28/3569.18 c INPROCESSING
3558.28/3569.18 c GARBAGE COLLECT
3558.28/3569.18 c #Conflicts: 2472000 | #Constraints: 32788
3558.28/3569.18 c #Conflicts: 2473000 | #Constraints: 33788
3558.28/3569.18 c #Conflicts: 2474000 | #Constraints: 34788
3558.28/3569.18 c #Conflicts: 2475000 | #Constraints: 35788
3558.28/3569.18 c #Conflicts: 2476000 | #Constraints: 36788
3558.28/3569.18 c #Conflicts: 2477000 | #Constraints: 37788
3558.28/3569.18 c #Conflicts: 2478000 | #Constraints: 38788
3558.28/3569.18 c #Conflicts: 2479000 | #Constraints: 39788
3558.28/3569.18 c #Conflicts: 2480000 | #Constraints: 40788
3558.28/3569.18 c #Conflicts: 2481000 | #Constraints: 41788
3558.28/3569.18 c #Conflicts: 2482000 | #Constraints: 42788
3558.28/3569.18 c #Conflicts: 2483000 | #Constraints: 43788
3558.28/3569.18 c #Conflicts: 2484000 | #Constraints: 44788
3558.28/3569.18 c #Conflicts: 2485000 | #Constraints: 45788
3558.28/3569.18 c #Conflicts: 2486000 | #Constraints: 46788
3558.28/3569.18 c #Conflicts: 2487000 | #Constraints: 47788
3558.28/3569.18 c #Conflicts: 2488000 | #Constraints: 48788
3558.28/3569.18 c #Conflicts: 2489000 | #Constraints: 49788
3558.28/3569.18 c #Conflicts: 2490000 | #Constraints: 50788
3558.28/3569.18 c #Conflicts: 2491000 | #Constraints: 51788
3558.28/3569.18 c #Conflicts: 2492000 | #Constraints: 52788
3558.28/3569.18 c #Conflicts: 2493000 | #Constraints: 53788
3558.28/3569.18 c #Conflicts: 2494000 | #Constraints: 54788
3558.28/3569.18 c #Conflicts: 2495000 | #Constraints: 55788
3558.28/3569.18 c #Conflicts: 2496000 | #Constraints: 56788
3558.28/3569.18 c #Conflicts: 2497000 | #Constraints: 57788
3558.28/3569.18 c #Conflicts: 2498000 | #Constraints: 58788
3558.28/3569.18 c #Conflicts: 2499000 | #Constraints: 59788
3558.28/3569.18 c #Conflicts: 2500000 | #Constraints: 60788
3558.28/3569.18 c #Conflicts: 2501000 | #Constraints: 61788
3558.28/3569.18 c #Conflicts: 2502000 | #Constraints: 62788
3558.28/3569.18 c #Conflicts: 2503000 | #Constraints: 63788
3558.28/3569.18 c INPROCESSING
3558.28/3569.18 c GARBAGE COLLECT
3558.28/3569.18 c #Conflicts: 2504000 | #Constraints: 33390
3558.28/3569.18 c #Conflicts: 2505000 | #Constraints: 34390
3558.28/3569.18 c #Conflicts: 2506000 | #Constraints: 35390
3558.28/3569.18 c #Conflicts: 2507000 | #Constraints: 36390
3558.28/3569.18 c #Conflicts: 2508000 | #Constraints: 37390
3558.28/3569.18 c #Conflicts: 2509000 | #Constraints: 38390
3558.28/3569.18 c #Conflicts: 2510000 | #Constraints: 39390
3558.28/3569.18 c #Conflicts: 2511000 | #Constraints: 40390
3558.28/3569.18 c #Conflicts: 2512000 | #Constraints: 41390
3558.28/3569.18 c #Conflicts: 2513000 | #Constraints: 42390
3600.08/3611.00 c #Conflicts: 2514000 | #Constraints: 43390
3600.08/3611.00 c #Conflicts: 2515000 | #Constraints: 44390
3600.08/3611.00 c #Conflicts: 2516000 | #Constraints: 45390
3600.08/3611.00 c #Conflicts: 2517000 | #Constraints: 46390
3600.08/3611.00 c #Conflicts: 2518000 | #Constraints: 47390
3600.08/3611.00 c #Conflicts: 2519000 | #Constraints: 48390
3600.08/3611.00 c #Conflicts: 2520000 | #Constraints: 49390
3600.08/3611.00 c #Conflicts: 2521000 | #Constraints: 50390
3600.08/3611.00 c #Conflicts: 2522000 | #Constraints: 51390
3600.08/3611.00 c #Conflicts: 2523000 | #Constraints: 52390
3600.08/3611.00 c #Conflicts: 2524000 | #Constraints: 53390
3600.08/3611.00 c #Conflicts: 2525000 | #Constraints: 54390
3600.08/3611.00 c #Conflicts: 2526000 | #Constraints: 55390
3600.08/3611.00 c #Conflicts: 2527000 | #Constraints: 56390
3600.08/3611.00 c #Conflicts: 2528000 | #Constraints: 57390
3600.08/3611.00 c #Conflicts: 2529000 | #Constraints: 58390
3600.08/3611.00 c cpu time 3584.2 s
3600.08/3611.00 c deterministic time 1 1.00e+00
3600.08/3611.00 c optimization time 3584.2 s
3600.08/3611.00 c total solve time 0 s
3600.08/3611.00 c core-guided solve time 0 s
3600.08/3611.00 c propagation time 0.000292 s
3600.08/3611.00 c conflict analysis time 0 s
3600.08/3611.00 c propagations 0
3600.08/3611.00 c resolve steps 0
3600.08/3611.00 c decisions 0
3600.08/3611.00 c conflicts 0
3600.08/3611.00 c restarts 0
3600.08/3611.00 c inprocessing phases 0
3600.08/3611.00 c garbage collections 0 ,( -nan )
3600.08/3611.00 c input clauses 1161 ,( 97.73 )
3600.08/3611.00 c input cardinalities 27 ,( 2.27 )
3600.08/3611.00 c input general constraints 0 ,( 0.00 )
3600.08/3611.00 c input average constraint length 3.41
3600.08/3611.00 c input average constraint degree 1.22
3600.08/3611.00 c learned clauses 0 ,( 0.00 )
3600.08/3611.00 c learned cardinalities 0 ,( 0.00 )
3600.08/3611.00 c learned general constraints 0 ,( 0.00 )
3600.08/3611.00 c learned average constraint length 0.00
3600.08/3611.00 c learned average constraint degree 0.00
3600.08/3611.00 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.08/3611.00 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.08/3611.00 c watched constraints 0 ,( -nan )
3600.08/3611.00 c counting constraints 0 ,( -nan )
3600.08/3611.00 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.08/3611.00 c gcd simplifications 0
3600.08/3611.00 c detected cardinalities 0
3600.08/3611.00 c weakened non-implied lits 0
3600.08/3611.00 c weakened non-implying lits 0
3600.08/3611.00 c original variables 792
3600.08/3611.00 c clausal propagations 0
3600.08/3611.00 c cardinality propagations 0
3600.08/3611.00 c watched propagations 0
3600.08/3611.00 c counting propagations 0
3600.08/3611.00 c watch lookups 0
3600.08/3611.00 c watch backjump lookups 0
3600.08/3611.00 c watch checks 0
3600.08/3611.00 c propagation checks 0
3600.08/3611.00 c constraint additions 0
3600.08/3611.00 c trail pops 0
3600.08/3611.00 c formula constraints 1188
3600.08/3611.00 c learned constraints 0
3600.08/3611.00 c bound constraints 0
3600.08/3611.00 c core-guided constraints 0
3600.08/3611.00 c encountered formula constraints 0
3600.08/3611.00 c encountered learned constraints 0
3600.08/3611.00 c encountered bound constraints 0
3600.08/3611.00 c encountered core-guided constraints 0
3600.08/3611.00 c LP total time 0 s
3600.08/3611.00 c LP solve time 0 s
3600.08/3611.00 c LP constraints added 0
3600.08/3611.00 c LP constraints removed 0
3600.08/3611.00 c LP pivots internal 0
3600.08/3611.00 c LP pivots root 0
3600.08/3611.00 c LP calls 0
3600.08/3611.00 c LP optimalities 0
3600.08/3611.00 c LP no pivot count 0
3600.08/3611.00 c LP infeasibilities 0
3600.08/3611.00 c LP valid Farkas constraints 0
3600.08/3611.00 c LP learned Farkas constraints 0
3600.08/3611.00 c LP basis resets 0
3600.08/3611.00 c LP cycling count 0
3600.08/3611.00 c LP singular count 0
3600.08/3611.00 c LP no primal count 0
3600.08/3611.00 c LP no farkas count 0
3600.08/3611.00 c LP other issue count 0
3600.08/3611.00 c LP Gomory cuts 0
3600.08/3611.00 c LP learned cuts 0
3600.08/3611.00 c LP deleted cuts 0
3600.08/3611.00 c LP encountered Gomory constraints 0
3600.08/3611.00 c LP encountered Farkas constraints 0
3600.08/3611.00 c LP encountered learned Farkas constraints 0
3600.08/3611.00 c CG auxiliary variables introduced 0
3600.08/3611.00 c CG solutions found 0
3600.08/3611.00 c CG cores constructed 0
3600.08/3611.00 c CG core cardinality constraints returned 0
3600.08/3611.00 c CG unit cores 0
3600.08/3611.00 c CG single cores 0
3600.08/3611.00 c CG blocks removed during cardinality reduction 0
3600.08/3611.00 c CG first core best 0
3600.08/3611.00 c CG decision core best 0
3600.08/3611.00 c CG core reduction tie 0
3600.08/3611.00 c CG core degree average 0.00
3600.08/3611.00 c CG core slack average 0.00
3600.08/3611.00 c CG core upper bound improvements 0
3600.08/3611.00 c STR number of successful calls 0
3600.08/3611.00 c STR number of unsuccessful calls 0
3600.08/3611.00 c STR number of inconclusive calls 0
3600.08/3611.00 c STR number of successful attempts 0
3600.08/3611.00 c STR number of unsuccessful attempts 0
3600.08/3611.00 c STR number of inconclusive attempts 0
3600.08/3611.00 c STR average degree increase per successful call inf
3600.08/3611.00 c STR average degree increase per successful attempt inf
3600.08/3611.00 c STR total number of conflicts for successful attempts 0
3600.08/3611.00 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3611.00 c STR total number of conflicts for inconclusive attempts 0
3600.08/3611.00 c STR average number of conflicts per successful attempt inf
3600.08/3611.00 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3611.00 c STR average number of conflicts per inconclusive attempt inf
3600.08/3611.00 c AVG.sumWPerc -nan
3600.08/3611.00 c bigint constraints 0
3600.08/3611.00 s UNKNOWN
3600.08/3611.00 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62367 MiB free)
memory of node 1: 64465 MiB (62615 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502600-1751477637/watcher-4502600-1751477637 -o /tmp/evaluation-result-4502600-1751477637/solver-4502600-1751477637 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751477637-67546 --watchdog 3760 run-opt.sh HOME/instance-4502600-1751477637.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=67598, runsolver pid=67589
[startup+0.100057 s]*
/proc/loadavg: 0.64 1.91 3.11 4/266 67606
/proc/meminfo: memFree=127999376/131250000 swapFree=33010672/33010684
[pid=67598] ppid=67589 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/67598/stat : 67598 (run-opt.sh) S 67589 67598 67533 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63440289 4292608 768 18446744073709551615 94206965399552 94206966294085 140721345816224 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94206966533136 94206966580880 94206981365760 140721345821037 140721345821160 140721345821160 140721345826762 0
/proc/67598/statm: 1048 768 704 219 0 110 0
[pid=67605] ppid=67598 vsize=62456 memory=13008 CPUtime=0.08 cores=5,7
/proc/67605/stat : 67605 (roundingsat) R 67598 67598 67533 0 -1 4194304 1318 0 0 0 7 1 0 0 20 0 1 0 63440290 63954944 3252 18446744073709551615 4227072 8923433 140723663888080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29073408 140723663890850 140723663890984 140723663890984 140723663896554 0
/proc/67605/statm: 15614 3252 2400 1147 0 3041 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 66648 KiB
Current children cumulated memory: 16080 KiB
[startup+0.205275 s]*
/proc/loadavg: 0.64 1.91 3.11 4/264 67614
/proc/meminfo: memFree=128007388/131250000 swapFree=33010672/33010684
[pid=67598] ppid=67589 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/67598/stat : 67598 (run-opt.sh) S 67589 67598 67533 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63440289 4292608 768 18446744073709551615 94206965399552 94206966294085 140721345816224 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94206966533136 94206966580880 94206981365760 140721345821037 140721345821160 140721345821160 140721345826762 0
/proc/67598/statm: 1048 768 704 219 0 110 0
[pid=67605] ppid=67598 vsize=63140 memory=14032 CPUtime=0.19 cores=5,7
/proc/67605/stat : 67605 (roundingsat) R 67598 67598 67533 0 -1 4194304 1566 0 0 0 17 2 0 0 20 0 1 0 63440290 64655360 3508 18446744073709551615 4227072 8923433 140723663888080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29073408 140723663890850 140723663890984 140723663890984 140723663896554 0
/proc/67605/statm: 15785 3508 2400 1147 0 3212 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 67332 KiB
Current children cumulated memory: 17104 KiB
[startup+0.305049 s]*
/proc/loadavg: 0.64 1.91 3.11 4/264 67614
/proc/meminfo: memFree=128002968/131250000 swapFree=33010672/33010684
[pid=67598] ppid=67589 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/67598/stat : 67598 (run-opt.sh) S 67589 67598 67533 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63440289 4292608 768 18446744073709551615 94206965399552 94206966294085 140721345816224 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94206966533136 94206966580880 94206981365760 140721345821037 140721345821160 140721345821160 140721345826762 0
/proc/67598/statm: 1048 768 704 219 0 110 0
[pid=67605] ppid=67598 vsize=64484 memory=15824 CPUtime=0.28 cores=5,7
/proc/67605/stat : 67605 (roundingsat) R 67598 67598 67533 0 -1 4194304 2014 0 0 0 26 2 0 0 20 0 1 0 63440290 66031616 3956 18446744073709551615 4227072 8923433 140723663888080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29073408 140723663890850 140723663890984 140723663890984 140723663896554 0
/proc/67605/statm: 16121 3956 2400 1147 0 3548 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 68676 KiB
Current children cumulated memory: 18896 KiB
[startup+0.700127 s]
/proc/loadavg: 0.64 1.91 3.11 3/259 67622
/proc/meminfo: memFree=127982556/131250000 swapFree=33010672/33010684
[pid=67598] ppid=67589 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/67598/stat : 67598 (run-opt.sh) S 67589 67598 67533 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63440289 4292608 768 18446744073709551615 94206965399552 94206966294085 140721345816224 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94206966533136 94206966580880 94206981365760 140721345821037 140721345821160 140721345821160 140721345826762 0
/proc/67598/statm: 1048 768 704 219 0 110 0
[pid=67605] ppid=67598 vsize=67004 memory=20400 CPUtime=0.67 cores=5,7
/proc/67605/stat : 67605 (roundingsat) R 67598 67598 67533 0 -1 4194304 2668 0 0 0 64 3 0 0 20 0 1 0 63440290 68612096 5100 18446744073709551615 4227072 8923433 140723663888080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29073408 140723663890850 140723663890984 140723663890984 140723663896554 0
/proc/67605/statm: 16751 5100 2400 1147 0 4178 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 71196 KiB
Current children cumulated memory: 23472 KiB
[startup+1.50013 s]
/proc/loadavg: 0.64 1.91 3.11 3/259 67622
/proc/meminfo: memFree=127948416/131250000 swapFree=33010672/33010684
[pid=67598] ppid=67589 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/67598/stat : 67598 (run-opt.sh) S 67589 67598 67533 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63440289 4292608 768 18446744073709551615 94206965399552 94206966294085 140721345816224 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94206966533136 94206966580880 94206981365760 140721345821037 140721345821160 140721345821160 140721345826762 0
/proc/67598/statm: 1048 768 704 219 0 110 0
[pid=67605] ppid=67598 vsize=70920 memory=23984 CPUtime=1.47 cores=5,7
/proc/67605/stat : 67605 (roundingsat) R 67598 67598 67533 0 -1 4194304 3562 0 0 0 141 6 0 0 20 0 1 0 63440290 72622080 5996 18446744073709551615 4227072 8923433 140723663888080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29073408 140723663890850 140723663890984 140723663890984 140723663896554 0
/proc/67605/statm: 17730 5996 2400 1147 0 5157 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 75112 KiB
Current children cumulated memory: 27056 KiB
[startup+3.10484 s]
/proc/loadavg: 0.64 1.91 3.11 5/270 67699
/proc/meminfo: memFree=127849544/131250000 swapFree=33010672/33010684
[pid=67598] ppid=67589 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/67598/stat : 67598 (run-opt.sh) S 67589 67598 67533 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63440289 4292608 768 18446744073709551615 94206965399552 94206966294085 140721345816224 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94206966533136 94206966580880 94206981365760 140721345821037 140721345821160 140721345821160 140721345826762 0
/proc/67598/statm: 1048 768 704 219 0 110 0
[pid=67605] ppid=67598 vsize=76728 memory=29848 CPUtime=3.07 cores=5,7
/proc/67605/stat : 67605 (roundingsat) R 67598 67598 67533 0 -1 4194304 4512 0 0 0 298 9 0 0 20 0 1 0 63440290 78569472 7462 18446744073709551615 4227072 8923433 140723663888080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29073408 140723663890850 140723663890984 140723663890984 140723663896554 0
/proc/67605/statm: 19182 7462 2400 1147 0 6609 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 80920 KiB
Current children cumulated memory: 32920 KiB
[startup+6.30014 s]
/proc/loadavg: 0.91 1.95 3.12 5/270 67745
/proc/meminfo: memFree=127840796/131250000 swapFree=33010672/33010684
[pid=67598] ppid=67589 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/67598/stat : 67598 (run-opt.sh) S 67589 67598 67533 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63440289 4292608 768 18446744073709551615 94206965399552 94206966294085 140721345816224 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94206966533136 94206966580880 94206981365760 140721345821037 140721345821160 140721345821160 140721345826762 0
/proc/67598/statm: 1048 768 704 219 0 110 0
[pid=67605] ppid=67598 vsize=83292 memory=35480 CPUtime=6.26 cores=5,7
/proc/67605/stat : 67605 (roundingsat) R 67598 67598 67533 0 -1 4194304 5920 0 0 0 612 14 0 0 20 0 1 0 63440290 85291008 8870 18446744073709551615 4227072 8923433 140723663888080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29073408 140723663890850 140723663890984 140723663890984 140723663896554 0
/proc/67605/statm: 20823 8870 2400 1147 0 8250 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 87484 KiB
Current children cumulated memory: 38552 KiB
[startup+12.7001 s]
/proc/loadavg: 1.16 1.98 3.12 5/270 67791
/proc/meminfo: memFree=127404620/131250000 swapFree=33010672/33010684
[pid=67598] ppid=67589 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/67598/stat : 67598 (run-opt.sh) S 67589 67598 67533 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63440289 4292608 768 18446744073709551615 94206965399552 94206966294085 140721345816224 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94206966533136 94206966580880 94206981365760 140721345821037 140721345821160 140721345821160 140721345826762 0
/proc/67598/statm: 1048 768 704 219 0 110 0
[pid=67605] ppid=67598 vsize=98860 memory=47588 CPUtime=12.64 cores=5,7
/proc/67605/stat : 67605 (roundingsat) R 67598 67598 67533 0 -1 4194304 8435 0 0 0 1239 25 0 0 20 0 1 0 63440290 101232640 11897 18446744073709551615 4227072 8923433 140723663888080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29073408 140723663890850 140723663890984 140723663890984 140723663896554 0
/proc/67605/statm: 24715 11897 2400 1147 0 12142 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 103052 KiB
Current children cumulated memory: 50660 KiB
[startup+25.5002 s]
/proc/loadavg: 1.79 2.08 3.14 5/270 67791
/proc/meminfo: memFree=126793840/131250000 swapFree=33010672/33010684
[pid=67598] ppid=67589 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/67598/stat : 67598 (run-opt.sh) S 67589 67598 67533 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63440289 4292608 768 18446744073709551615 94206965399552 94206966294085 140721345816224 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94206966533136 94206966580880 94206981365760 140721345821037 140721345821160 140721345821160 140721345826762 0
/proc/67598/statm: 1048 768 704 219 0 110 0
[pid=67605] ppid=67598 vsize=113328 memory=57424 CPUtime=25.41 cores=5,7
/proc/67605/stat : 67605 (roundingsat) R 67598 67598 67533 0 -1 4194304 10396 0 0 0 2499 42 0 0 20 0 1 0 63440290 116047872 14356 18446744073709551615 4227072 8923433 140723663888080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29073408 140723663890850 140723663890984 140723663890984 140723663896554 0
/proc/67605/statm: 28332 14356 2400 1147 0 15759 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 117520 KiB
Current children cumulated memory: 60496 KiB
[startup+51.1054 s]
/proc/loadavg: 2.61 2.25 3.17 5/270 67792
/proc/meminfo: memFree=126086332/131250000 swapFree=33010672/33010684
[pid=67598] ppid=67589 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/67598/stat : 67598 (run-opt.sh) S 67589 67598 67533 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63440289 4292608 768 18446744073709551615 94206965399552 94206966294085 140721345816224 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94206966533136 94206966580880 94206981365760 140721345821037 140721345821160 140721345821160 140721345826762 0
/proc/67598/statm: 1048 768 704 219 0 110 0
[pid=67605] ppid=67598 vsize=120176 memory=69712 CPUtime=50.96 cores=5,7
/proc/67605/stat : 67605 (roundingsat) R 67598 67598 67533 0 -1 4194304 12445 0 0 0 5023 73 0 0 20 0 1 0 63440290 123060224 17428 18446744073709551615 4227072 8923433 140723663888080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29073408 140723663890850 140723663890984 140723663890984 140723663896554 0
/proc/67605/statm: 30044 17428 2400 1147 0 17471 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 124368 KiB
Current children cumulated memory: 72784 KiB
[startup+102.3 s]
/proc/loadavg: 3.40 2.53 3.21 5/268 67793
/proc/meminfo: memFree=123775348/131250000 swapFree=33010672/33010684
[pid=67598] ppid=67589 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/67598/stat : 67598 (run-opt.sh) S 67589 67598 67533 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63440289 4292608 768 18446744073709551615 94206965399552 94206966294085 140721345816224 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94206966533136 94206966580880 94206981365760 140721345821037 140721345821160 140721345821160 140721345826762 0
/proc/67598/statm: 1048 768 704 219 0 110 0
[pid=67605] ppid=67598 vsize=147036 memory=85560 CPUtime=102.01 cores=5,7
/proc/67605/stat : 67605 (roundingsat) R 67598 67598 67533 0 -1 4194304 15872 0 0 0 10074 127 0 0 20 0 1 0 63440290 150564864 21390 18446744073709551615 4227072 8923433 140723663888080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29073408 140723663890850 140723663890984 140723663890984 140723663896554 0
/proc/67605/statm: 36759 21390 2400 1147 0 24186 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 151228 KiB
Current children cumulated memory: 88632 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.83 3.28 5/269 67796
/proc/meminfo: memFree=122896320/131250000 swapFree=33010672/33010684
[pid=67598] ppid=67589 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/67598/stat : 67598 (run-opt.sh) S 67589 67598 67533 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63440289 4292608 768 18446744073709551615 94206965399552 94206966294085 140721345816224 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94206966533136 94206966580880 94206981365760 140721345821037 140721345821160 140721345821160 140721345826762 0
/proc/67598/statm: 1048 768 704 219 0 110 0
[pid=67605] ppid=67598 vsize=162116 memory=113696 CPUtime=161.85 cores=5,7
/proc/67605/stat : 67605 (roundingsat) R 67598 67598 67533 0 -1 4194304 18360 0 0 0 16005 180 0 0 20 0 1 0 63440290 166006784 28424 18446744073709551615 4227072 8923433 140723663888080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29073408 140723663890850 140723663890984 140723663890984 140723663896554 0
/proc/67605/statm: 40529 28424 2400 1147 0 27956 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 166308 KiB
Current children cumulated memory: 116768 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 3.06 3.33 5/269 67805
/proc/meminfo: memFree=122159224/131250000 swapFree=33010672/33010684
[pid=67598] ppid=67589 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/67598/stat : 67598 (run-opt.sh) S 67589 67598 67533 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63440289 4292608 768 18446744073709551615 94206965399552 94206966294085 140721345816224 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94206966533136 94206966580880 94206981365760 140721345821037 140721345821160 140721345821160 140721345826762 0
/proc/67598/statm: 1048 768 704 219 0 110 0
[pid=67605] ppid=67598 vsize=167012 memory=119604 CPUtime=221.67 cores=5,7
/proc/67605/stat : 67605 (roundingsat) R 67598 67598 67533 0 -1 4194304 19318 0 0 0 21943 224 0 0 20 0 1 0 63440290 171020288 29901 18446744073709551615 4227072 8923433 140723663888080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29073408 140723663890850 140723663890984 140723663890984 140723663896554 0
/proc/67605/statm: 41753 29901 2400 1147 0 29180 0
Current children cumulated CPU time: 221.67 s
################
# More data... #
################
/proc/67605/statm: 89277 68148 2400 1147 0 76704 0
Current children cumulated CPU time: 3032.79 s
Current children cumulated vsize: 361300 KiB
Current children cumulated memory: 275664 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.07 5/268 67949
/proc/meminfo: memFree=116049528/131250000 swapFree=33010672/33010684
[pid=67598] ppid=67589 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/67598/stat : 67598 (run-opt.sh) S 67589 67598 67533 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63440289 4292608 768 18446744073709551615 94206965399552 94206966294085 140721345816224 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94206966533136 94206966580880 94206981365760 140721345821037 140721345821160 140721345821160 140721345826762 0
/proc/67598/statm: 1048 768 704 219 0 110 0
[pid=67605] ppid=67598 vsize=367888 memory=279120 CPUtime=3092.61 cores=5,7
/proc/67605/stat : 67605 (roundingsat) R 67598 67598 67533 0 -1 4194304 55825 0 0 0 307815 1446 0 0 20 0 1 0 63440290 376717312 69780 18446744073709551615 4227072 8923433 140723663888080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29073408 140723663890850 140723663890984 140723663890984 140723663896554 0
/proc/67605/statm: 91972 69780 2400 1147 0 79399 0
Current children cumulated CPU time: 3092.61 s
Current children cumulated vsize: 372080 KiB
Current children cumulated memory: 282192 KiB
[startup+3162.3 s]
/proc/loadavg: 4.04 4.08 4.06 5/266 67951
/proc/meminfo: memFree=115810284/131250000 swapFree=33010672/33010684
[pid=67598] ppid=67589 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/67598/stat : 67598 (run-opt.sh) S 67589 67598 67533 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63440289 4292608 768 18446744073709551615 94206965399552 94206966294085 140721345816224 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94206966533136 94206966580880 94206981365760 140721345821037 140721345821160 140721345821160 140721345826762 0
/proc/67598/statm: 1048 768 704 219 0 110 0
[pid=67605] ppid=67598 vsize=374568 memory=304656 CPUtime=3152.46 cores=5,7
/proc/67605/stat : 67605 (roundingsat) R 67598 67598 67533 0 -1 4194304 57168 0 0 0 313780 1466 0 0 20 0 1 0 63440290 383557632 76164 18446744073709551615 4227072 8923433 140723663888080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29073408 140723663890850 140723663890984 140723663890984 140723663896554 0
/proc/67605/statm: 93642 76164 2400 1147 0 81069 0
Current children cumulated CPU time: 3152.46 s
Current children cumulated vsize: 378760 KiB
Current children cumulated memory: 307728 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.09 4.07 5/268 67961
/proc/meminfo: memFree=115810696/131250000 swapFree=33010672/33010684
[pid=67598] ppid=67589 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/67598/stat : 67598 (run-opt.sh) S 67589 67598 67533 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63440289 4292608 768 18446744073709551615 94206965399552 94206966294085 140721345816224 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94206966533136 94206966580880 94206981365760 140721345821037 140721345821160 140721345821160 140721345826762 0
/proc/67598/statm: 1048 768 704 219 0 110 0
[pid=67605] ppid=67598 vsize=375048 memory=315680 CPUtime=3212.31 cores=5,7
/proc/67605/stat : 67605 (roundingsat) R 67598 67598 67533 0 -1 4194304 57303 0 0 0 319748 1483 0 0 20 0 1 0 63440290 384049152 78920 18446744073709551615 4227072 8923433 140723663888080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29073408 140723663890850 140723663890984 140723663890984 140723663896554 0
/proc/67605/statm: 93762 78920 2400 1147 0 81189 0
Current children cumulated CPU time: 3212.31 s
Current children cumulated vsize: 379240 KiB
Current children cumulated memory: 318752 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.07 5/268 67963
/proc/meminfo: memFree=115791800/131250000 swapFree=33010672/33010684
[pid=67598] ppid=67589 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/67598/stat : 67598 (run-opt.sh) S 67589 67598 67533 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63440289 4292608 768 18446744073709551615 94206965399552 94206966294085 140721345816224 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94206966533136 94206966580880 94206981365760 140721345821037 140721345821160 140721345821160 140721345826762 0
/proc/67598/statm: 1048 768 704 219 0 110 0
[pid=67605] ppid=67598 vsize=375048 memory=328548 CPUtime=3272.17 cores=5,7
/proc/67605/stat : 67605 (roundingsat) R 67598 67598 67533 0 -1 4194304 57305 0 0 0 325718 1499 0 0 20 0 1 0 63440290 384049152 82137 18446744073709551615 4227072 8923433 140723663888080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29073408 140723663890850 140723663890984 140723663890984 140723663896554 0
/proc/67605/statm: 93762 82137 2400 1147 0 81189 0
Current children cumulated CPU time: 3272.17 s
Current children cumulated vsize: 379240 KiB
Current children cumulated memory: 331620 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.12 4.08 5/268 67965
/proc/meminfo: memFree=115793868/131250000 swapFree=33010672/33010684
[pid=67598] ppid=67589 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/67598/stat : 67598 (run-opt.sh) S 67589 67598 67533 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63440289 4292608 768 18446744073709551615 94206965399552 94206966294085 140721345816224 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94206966533136 94206966580880 94206981365760 140721345821037 140721345821160 140721345821160 140721345826762 0
/proc/67598/statm: 1048 768 704 219 0 110 0
[pid=67605] ppid=67598 vsize=375048 memory=328548 CPUtime=3332.03 cores=5,7
/proc/67605/stat : 67605 (roundingsat) R 67598 67598 67533 0 -1 4194304 57307 0 0 0 331690 1513 0 0 20 0 1 0 63440290 384049152 82137 18446744073709551615 4227072 8923433 140723663888080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29073408 140723663890850 140723663890984 140723663890984 140723663896554 0
/proc/67605/statm: 93762 82137 2400 1147 0 81189 0
Current children cumulated CPU time: 3332.03 s
Current children cumulated vsize: 379240 KiB
Current children cumulated memory: 331620 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.08 5/268 67967
/proc/meminfo: memFree=115732492/131250000 swapFree=33010672/33010684
[pid=67598] ppid=67589 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/67598/stat : 67598 (run-opt.sh) S 67589 67598 67533 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63440289 4292608 768 18446744073709551615 94206965399552 94206966294085 140721345816224 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94206966533136 94206966580880 94206981365760 140721345821037 140721345821160 140721345821160 140721345826762 0
/proc/67598/statm: 1048 768 704 219 0 110 0
[pid=67605] ppid=67598 vsize=375048 memory=328548 CPUtime=3391.88 cores=5,7
/proc/67605/stat : 67605 (roundingsat) R 67598 67598 67533 0 -1 4194304 57308 0 0 0 337661 1527 0 0 20 0 1 0 63440290 384049152 82137 18446744073709551615 4227072 8923433 140723663888080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29073408 140723663890850 140723663890984 140723663890984 140723663896554 0
/proc/67605/statm: 93762 82137 2400 1147 0 81189 0
Current children cumulated CPU time: 3391.88 s
Current children cumulated vsize: 379240 KiB
Current children cumulated memory: 331620 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.08 5/268 67969
/proc/meminfo: memFree=115733136/131250000 swapFree=33010672/33010684
[pid=67598] ppid=67589 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/67598/stat : 67598 (run-opt.sh) S 67589 67598 67533 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63440289 4292608 768 18446744073709551615 94206965399552 94206966294085 140721345816224 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94206966533136 94206966580880 94206981365760 140721345821037 140721345821160 140721345821160 140721345826762 0
/proc/67598/statm: 1048 768 704 219 0 110 0
[pid=67605] ppid=67598 vsize=377128 memory=329572 CPUtime=3451.74 cores=5,7
/proc/67605/stat : 67605 (roundingsat) R 67598 67598 67533 0 -1 4194304 57572 0 0 0 343631 1543 0 0 20 0 1 0 63440290 386179072 82393 18446744073709551615 4227072 8923433 140723663888080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29073408 140723663890850 140723663890984 140723663890984 140723663896554 0
/proc/67605/statm: 94282 82393 2400 1147 0 81709 0
Current children cumulated CPU time: 3451.74 s
Current children cumulated vsize: 381320 KiB
Current children cumulated memory: 332644 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.11 4.08 5/268 67971
/proc/meminfo: memFree=115469400/131250000 swapFree=33010672/33010684
[pid=67598] ppid=67589 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/67598/stat : 67598 (run-opt.sh) S 67589 67598 67533 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63440289 4292608 768 18446744073709551615 94206965399552 94206966294085 140721345816224 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94206966533136 94206966580880 94206981365760 140721345821037 140721345821160 140721345821160 140721345826762 0
/proc/67598/statm: 1048 768 704 219 0 110 0
[pid=67605] ppid=67598 vsize=431808 memory=335476 CPUtime=3511.6 cores=5,7
/proc/67605/stat : 67605 (roundingsat) R 67598 67598 67533 0 -1 4194304 58548 0 0 0 349598 1562 0 0 20 0 1 0 63440290 442171392 83869 18446744073709551615 4227072 8923433 140723663888080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29073408 140723663890850 140723663890984 140723663890984 140723663896554 0
/proc/67605/statm: 107952 83869 2400 1147 0 95379 0
Current children cumulated CPU time: 3511.6 s
Current children cumulated vsize: 436000 KiB
Current children cumulated memory: 338548 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.09 4.08 5/267 67973
/proc/meminfo: memFree=115469148/131250000 swapFree=33010672/33010684
[pid=67598] ppid=67589 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/67598/stat : 67598 (run-opt.sh) S 67589 67598 67533 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63440289 4292608 768 18446744073709551615 94206965399552 94206966294085 140721345816224 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94206966533136 94206966580880 94206981365760 140721345821037 140721345821160 140721345821160 140721345826762 0
/proc/67598/statm: 1048 768 704 219 0 110 0
[pid=67605] ppid=67598 vsize=431808 memory=335476 CPUtime=3571.45 cores=5,7
/proc/67605/stat : 67605 (roundingsat) R 67598 67598 67533 0 -1 4194304 58550 0 0 0 355564 1581 0 0 20 0 1 0 63440290 442171392 83869 18446744073709551615 4227072 8923433 140723663888080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29073408 140723663890850 140723663890984 140723663890984 140723663896554 0
/proc/67605/statm: 107952 83869 2400 1147 0 95379 0
Current children cumulated CPU time: 3571.45 s
Current children cumulated vsize: 436000 KiB
Current children cumulated memory: 338548 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 4.10 4.10 4.08 3/261 68009
/proc/meminfo: memFree=117033300/131250000 swapFree=33010672/33010684
[pid=67598] ppid=67589 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/67598/stat : 67598 (run-opt.sh) S 67589 67598 67533 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63440289 4292608 768 18446744073709551615 94206965399552 94206966294085 140721345816224 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94206966533136 94206966580880 94206981365760 140721345821037 140721345821160 140721345821160 140721345826762 0
/proc/67598/statm: 1048 768 704 219 0 110 0
[pid=67605] ppid=67598 vsize=431808 memory=335476 CPUtime=3600.08 cores=5,7
/proc/67605/stat : 67605 (roundingsat) R 67598 67598 67533 0 -1 4194304 58550 0 0 0 358419 1589 0 0 20 0 1 0 63440290 442171392 83869 18446744073709551615 4227072 8923433 140723663888080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 29073408 140723663890850 140723663890984 140723663890984 140723663896554 0
/proc/67605/statm: 107952 83869 2400 1147 0 95379 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 436000 KiB
Current children cumulated memory: 338548 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.01 s]
# the end of solver process 67598 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002452 s
Sleeping 2 seconds
[startup+3611.01 s]
# the end of solver process 67605 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3584.2 s, system=15.8987 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3611.01
CPU time (s): 3600.1
CPU user time (s): 3584.2
CPU system time (s): 15.8987
CPU usage (%): 99.6979
Max. virtual memory (cumulated for all children) (KiB): 436000
Max. memory (cumulated for all children) (KiB): 338548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.2
system time used= 15.8987
maximum resident set size= 335732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58778
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= 236
involuntary context switches= 2196
# summary of solver processes directly reported to runsolver:
# pid: 67598,67605
# total CPU time (s): 3600.1
# total CPU user time (s): 3584.2
# total CPU system time (s): 15.8987
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.81769 second user time and 16.0656 second system time
The end
Begin job on nodeC014 at 2025-07-02 19:33:57
IDJOB=4502600
IDBENCH=155354
IDSOLVER=3350
FILE ID=nodeC014/4502600-1751477637
RUNJOBID= nodeC014-1751477637-67546
SLURM_JOB_ID= 9598515
Free space on /tmp= 430540 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-neos-538867.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502600-1751477637/watcher-4502600-1751477637 -o /tmp/evaluation-result-4502600-1751477637/solver-4502600-1751477637 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751477637-67546 --watchdog 3760 run-opt.sh HOME/instance-4502600-1751477637.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fe13d2dbd64f41a692445fbdcafba3bd
RANDOM SEED=1794160063
nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.288
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.214
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.161
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.145
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.112
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.630
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3603.679
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.119
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127978652 kB
MemAvailable: 129709364 kB
Buffers: 2508 kB
Cached: 2526456 kB
SwapCached: 4 kB
Active: 625280 kB
Inactive: 1979060 kB
Active(anon): 89588 kB
Inactive(anon): 3852 kB
Active(file): 535692 kB
Inactive(file): 1975208 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 28512 kB
Writeback: 0 kB
AnonPages: 78516 kB
Mapped: 103652 kB
Shmem: 18064 kB
KReclaimable: 118104 kB
Slab: 208788 kB
SReclaimable: 118104 kB
SUnreclaim: 90684 kB
KernelStack: 3956 kB
PageTables: 2720 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 349044 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150376 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 18432 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430456 MiB
End job on nodeC014 at 2025-07-02 20:34:08