0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.03 c #variables 201 #constraints 802
2.25/2.39 c #Conflicts: 1000 | #Constraints: 1801
2.25/2.39 c #Conflicts: 2000 | #Constraints: 2801
2.25/2.39 c INPROCESSING
2.25/2.39 c GARBAGE COLLECT
2.25/2.39 c #Conflicts: 3000 | #Constraints: 2810
2.25/2.39 c #Conflicts: 4000 | #Constraints: 3810
2.25/2.39 c INPROCESSING
2.25/2.39 c GARBAGE COLLECT
2.25/2.39 c #Conflicts: 5000 | #Constraints: 3216
2.25/2.39 c #Conflicts: 6000 | #Constraints: 4216
2.25/2.39 c INPROCESSING
2.25/2.39 c GARBAGE COLLECT
2.25/2.39 c #Conflicts: 7000 | #Constraints: 3216
2.25/2.39 c #Conflicts: 8000 | #Constraints: 4216
2.25/2.39 c #Conflicts: 9000 | #Constraints: 5216
2.25/2.39 c INPROCESSING
2.25/2.39 c GARBAGE COLLECT
2.25/2.39 c #Conflicts: 10000 | #Constraints: 3915
2.25/2.39 c #Conflicts: 11000 | #Constraints: 4915
2.25/2.39 c #Conflicts: 12000 | #Constraints: 5915
2.25/2.39 c INPROCESSING
2.25/2.39 c GARBAGE COLLECT
2.25/2.39 c #Conflicts: 13000 | #Constraints: 4368
2.25/2.39 c #Conflicts: 14000 | #Constraints: 5368
2.25/2.39 c #Conflicts: 15000 | #Constraints: 6368
2.25/2.39 c INPROCESSING
2.25/2.39 c GARBAGE COLLECT
2.25/2.39 c #Conflicts: 16000 | #Constraints: 4601
2.25/2.39 c #Conflicts: 17000 | #Constraints: 5601
2.25/2.39 c #Conflicts: 18000 | #Constraints: 6601
2.25/2.39 c INPROCESSING
2.25/2.39 c GARBAGE COLLECT
2.25/2.39 c #Conflicts: 19000 | #Constraints: 4621
2.25/2.39 c #Conflicts: 20000 | #Constraints: 5621
2.25/2.39 c #Conflicts: 21000 | #Constraints: 6621
2.25/2.39 c INPROCESSING
2.25/2.39 c GARBAGE COLLECT
2.25/2.39 c #Conflicts: 22000 | #Constraints: 4424
2.25/2.39 c #Conflicts: 23000 | #Constraints: 5424
2.25/2.39 c #Conflicts: 24000 | #Constraints: 6424
2.25/2.39 c #Conflicts: 25000 | #Constraints: 7424
2.25/2.39 c INPROCESSING
2.25/2.39 c GARBAGE COLLECT
2.25/2.39 c #Conflicts: 26000 | #Constraints: 5025
2.25/2.39 c #Conflicts: 27000 | #Constraints: 6025
2.25/2.39 c #Conflicts: 28000 | #Constraints: 7025
2.25/2.39 c #Conflicts: 29000 | #Constraints: 8025
2.25/2.39 c INPROCESSING
2.25/2.39 c GARBAGE COLLECT
2.25/2.39 c #Conflicts: 30000 | #Constraints: 5426
2.25/2.39 c #Conflicts: 31000 | #Constraints: 6426
2.25/2.39 c #Conflicts: 32000 | #Constraints: 7426
2.25/2.39 c #Conflicts: 33000 | #Constraints: 8426
2.25/2.39 c INPROCESSING
2.25/2.39 c GARBAGE COLLECT
2.25/2.39 c #Conflicts: 34000 | #Constraints: 5630
2.25/2.39 c #Conflicts: 35000 | #Constraints: 6630
2.25/2.39 c #Conflicts: 36000 | #Constraints: 7630
2.25/2.39 c #Conflicts: 37000 | #Constraints: 8630
2.25/2.39 c INPROCESSING
2.25/2.39 c GARBAGE COLLECT
2.25/2.39 c #Conflicts: 38000 | #Constraints: 5640
2.25/2.39 c #Conflicts: 39000 | #Constraints: 6640
2.25/2.39 c #Conflicts: 40000 | #Constraints: 7640
2.25/2.39 c #Conflicts: 41000 | #Constraints: 8640
2.25/2.39 c INPROCESSING
2.25/2.39 c GARBAGE COLLECT
2.25/2.39 c #Conflicts: 42000 | #Constraints: 5449
2.25/2.39 c #Conflicts: 43000 | #Constraints: 6449
2.25/2.39 c #Conflicts: 44000 | #Constraints: 7449
2.25/2.39 c #Conflicts: 45000 | #Constraints: 8449
2.25/2.39 c #Conflicts: 46000 | #Constraints: 9449
2.25/2.39 c INPROCESSING
2.25/2.39 c GARBAGE COLLECT
2.25/2.39 c #Conflicts: 47000 | #Constraints: 6044
2.25/2.39 c #Conflicts: 48000 | #Constraints: 7044
2.25/2.39 c #Conflicts: 49000 | #Constraints: 8044
2.25/2.39 c #Conflicts: 50000 | #Constraints: 9044
2.25/2.39 c #Conflicts: 51000 | #Constraints: 10044
2.25/2.39 c #Conflicts: 52000 | #Constraints: 11044
2.25/2.39 c #Conflicts: 53000 | #Constraints: 12044
2.25/2.39 c #Conflicts: 54000 | #Constraints: 13044
2.25/2.39 c #Conflicts: 55000 | #Constraints: 14044
2.25/2.39 c #Conflicts: 56000 | #Constraints: 15044
2.25/2.39 c #Conflicts: 57000 | #Constraints: 16044
2.25/2.39 c #Conflicts: 58000 | #Constraints: 17044
2.25/2.39 c #Conflicts: 59000 | #Constraints: 18044
2.25/2.39 c #Conflicts: 60000 | #Constraints: 19044
2.25/2.39 c #Conflicts: 61000 | #Constraints: 20044
2.25/2.39 c #Conflicts: 62000 | #Constraints: 21044
2.25/2.39 c #Conflicts: 63000 | #Constraints: 22044
2.25/2.39 c #Conflicts: 64000 | #Constraints: 23044
2.25/2.39 c INPROCESSING
2.25/2.39 c GARBAGE COLLECT
2.25/2.39 c #Conflicts: 65000 | #Constraints: 12688
2.25/2.39 c #Conflicts: 66000 | #Constraints: 13688
2.25/2.39 c #Conflicts: 67000 | #Constraints: 14688
2.25/2.39 c #Conflicts: 68000 | #Constraints: 15688
2.25/2.39 c #Conflicts: 69000 | #Constraints: 16688
2.25/2.39 c #Conflicts: 70000 | #Constraints: 17688
4.14/4.28 c INPROCESSING
4.14/4.28 c GARBAGE COLLECT
4.14/4.28 c #Conflicts: 71000 | #Constraints: 10067
4.14/4.28 c #Conflicts: 72000 | #Constraints: 11067
4.14/4.28 c #Conflicts: 73000 | #Constraints: 12067
4.14/4.28 c #Conflicts: 74000 | #Constraints: 13067
4.14/4.28 c #Conflicts: 75000 | #Constraints: 14067
4.14/4.28 c #Conflicts: 76000 | #Constraints: 15067
4.14/4.28 c INPROCESSING
4.14/4.28 c GARBAGE COLLECT
4.14/4.28 c #Conflicts: 77000 | #Constraints: 8706
4.14/4.28 c #Conflicts: 78000 | #Constraints: 9706
4.14/4.28 c #Conflicts: 79000 | #Constraints: 10706
4.14/4.28 c #Conflicts: 80000 | #Constraints: 11706
4.14/4.28 c #Conflicts: 81000 | #Constraints: 12706
4.14/4.28 c #Conflicts: 82000 | #Constraints: 13706
4.14/4.28 c INPROCESSING
4.14/4.28 c GARBAGE COLLECT
4.14/4.28 c #Conflicts: 83000 | #Constraints: 7885
4.14/4.28 c #Conflicts: 84000 | #Constraints: 8885
4.14/4.28 c #Conflicts: 85000 | #Constraints: 9885
4.14/4.28 c #Conflicts: 86000 | #Constraints: 10885
4.14/4.28 c #Conflicts: 87000 | #Constraints: 11885
4.14/4.28 c #Conflicts: 88000 | #Constraints: 12885
4.14/4.28 c #Conflicts: 89000 | #Constraints: 13885
4.14/4.28 c #Conflicts: 90000 | #Constraints: 14885
4.14/4.28 c #Conflicts: 91000 | #Constraints: 15885
4.14/4.28 c #Conflicts: 92000 | #Constraints: 16885
4.14/4.28 c #Conflicts: 93000 | #Constraints: 17885
4.14/4.28 c #Conflicts: 94000 | #Constraints: 18885
4.14/4.28 c #Conflicts: 95000 | #Constraints: 19885
4.14/4.28 c #Conflicts: 96000 | #Constraints: 20885
4.14/4.28 c #Conflicts: 97000 | #Constraints: 21885
4.14/4.28 c #Conflicts: 98000 | #Constraints: 22885
4.14/4.28 c #Conflicts: 99000 | #Constraints: 23885
4.14/4.28 c #Conflicts: 100000 | #Constraints: 24885
4.14/4.28 c #Conflicts: 101000 | #Constraints: 25885
4.14/4.28 c #Conflicts: 102000 | #Constraints: 26885
4.14/4.28 c #Conflicts: 103000 | #Constraints: 27885
4.14/4.28 c #Conflicts: 104000 | #Constraints: 28885
4.14/4.28 c #Conflicts: 105000 | #Constraints: 29885
4.14/4.28 c #Conflicts: 106000 | #Constraints: 30885
4.14/4.28 c INPROCESSING
4.14/4.28 c GARBAGE COLLECT
4.14/4.28 c #Conflicts: 107000 | #Constraints: 16664
4.14/4.28 c #Conflicts: 108000 | #Constraints: 17664
4.14/4.28 c #Conflicts: 109000 | #Constraints: 18664
4.14/4.28 c #Conflicts: 110000 | #Constraints: 19664
4.14/4.28 c #Conflicts: 111000 | #Constraints: 20664
4.14/4.28 c #Conflicts: 112000 | #Constraints: 21664
4.14/4.28 c #Conflicts: 113000 | #Constraints: 22664
4.14/4.28 c #Conflicts: 114000 | #Constraints: 23664
4.14/4.28 c INPROCESSING
4.14/4.28 c GARBAGE COLLECT
4.14/4.28 c #Conflicts: 115000 | #Constraints: 13259
4.14/4.28 c #Conflicts: 116000 | #Constraints: 14259
4.14/4.28 c #Conflicts: 117000 | #Constraints: 15259
4.14/4.28 c #Conflicts: 118000 | #Constraints: 16259
4.14/4.28 c #Conflicts: 119000 | #Constraints: 17259
4.14/4.28 c #Conflicts: 120000 | #Constraints: 18259
4.14/4.28 c #Conflicts: 121000 | #Constraints: 19259
4.14/4.28 c INPROCESSING
4.14/4.28 c GARBAGE COLLECT
4.14/4.28 c #Conflicts: 122000 | #Constraints: 10660
4.14/4.28 c #Conflicts: 123000 | #Constraints: 11660
4.14/4.28 c #Conflicts: 124000 | #Constraints: 12660
4.14/4.28 c #Conflicts: 125000 | #Constraints: 13660
4.14/4.28 c #Conflicts: 126000 | #Constraints: 14660
4.14/4.28 c #Conflicts: 127000 | #Constraints: 15660
4.14/4.28 c #Conflicts: 128000 | #Constraints: 16660
4.14/4.28 c #Conflicts: 129000 | #Constraints: 17660
4.14/4.28 c #Conflicts: 130000 | #Constraints: 18660
4.14/4.28 c #Conflicts: 131000 | #Constraints: 19660
4.14/4.28 c #Conflicts: 132000 | #Constraints: 20660
4.14/4.28 c #Conflicts: 133000 | #Constraints: 21660
4.14/4.28 c #Conflicts: 134000 | #Constraints: 22660
4.14/4.28 c #Conflicts: 135000 | #Constraints: 23660
4.14/4.28 c #Conflicts: 136000 | #Constraints: 24660
4.14/4.28 c #Conflicts: 137000 | #Constraints: 25660
4.14/4.28 c #Conflicts: 138000 | #Constraints: 26660
4.14/4.28 c #Conflicts: 139000 | #Constraints: 27660
4.14/4.28 c #Conflicts: 140000 | #Constraints: 28660
4.14/4.28 c #Conflicts: 141000 | #Constraints: 29660
4.14/4.28 c #Conflicts: 142000 | #Constraints: 30660
4.14/4.28 c #Conflicts: 143000 | #Constraints: 31660
4.14/4.28 c #Conflicts: 144000 | #Constraints: 32660
4.14/4.28 c #Conflicts: 145000 | #Constraints: 33660
6.44/6.50 c #Conflicts: 146000 | #Constraints: 34660
6.44/6.50 c #Conflicts: 147000 | #Constraints: 35660
6.44/6.50 c #Conflicts: 148000 | #Constraints: 36660
6.44/6.50 c #Conflicts: 149000 | #Constraints: 37660
6.44/6.50 c INPROCESSING
6.44/6.50 c GARBAGE COLLECT
6.44/6.50 c #Conflicts: 150000 | #Constraints: 19959
6.44/6.50 c #Conflicts: 151000 | #Constraints: 20959
6.44/6.50 c #Conflicts: 152000 | #Constraints: 21959
6.44/6.50 c #Conflicts: 153000 | #Constraints: 22959
6.44/6.50 c #Conflicts: 154000 | #Constraints: 23959
6.44/6.50 c #Conflicts: 155000 | #Constraints: 24959
6.44/6.50 c #Conflicts: 156000 | #Constraints: 25959
6.44/6.50 c #Conflicts: 157000 | #Constraints: 26959
6.44/6.50 c #Conflicts: 158000 | #Constraints: 27959
6.44/6.50 c INPROCESSING
6.44/6.50 c GARBAGE COLLECT
6.44/6.50 c #Conflicts: 159000 | #Constraints: 15061
6.44/6.50 c #Conflicts: 160000 | #Constraints: 16061
6.44/6.50 c #Conflicts: 161000 | #Constraints: 17061
6.44/6.50 c #Conflicts: 162000 | #Constraints: 18061
6.44/6.50 c #Conflicts: 163000 | #Constraints: 19061
6.44/6.50 c #Conflicts: 164000 | #Constraints: 20061
6.44/6.50 c #Conflicts: 165000 | #Constraints: 21061
6.44/6.50 c #Conflicts: 166000 | #Constraints: 22061
6.44/6.50 c #Conflicts: 167000 | #Constraints: 23061
6.44/6.50 c #Conflicts: 168000 | #Constraints: 24061
6.44/6.50 c INPROCESSING
6.44/6.50 c GARBAGE COLLECT
6.44/6.50 c #Conflicts: 169000 | #Constraints: 13463
6.44/6.50 c #Conflicts: 170000 | #Constraints: 14463
6.44/6.50 c #Conflicts: 171000 | #Constraints: 15463
6.44/6.50 c #Conflicts: 172000 | #Constraints: 16463
6.44/6.50 c #Conflicts: 173000 | #Constraints: 17463
6.44/6.50 c #Conflicts: 174000 | #Constraints: 18463
6.44/6.50 c #Conflicts: 175000 | #Constraints: 19463
6.44/6.50 c #Conflicts: 176000 | #Constraints: 20463
6.44/6.50 c #Conflicts: 177000 | #Constraints: 21463
6.44/6.50 c #Conflicts: 178000 | #Constraints: 22463
6.44/6.50 c #Conflicts: 179000 | #Constraints: 23463
6.44/6.50 c #Conflicts: 180000 | #Constraints: 24463
6.44/6.50 c #Conflicts: 181000 | #Constraints: 25463
6.44/6.50 c #Conflicts: 182000 | #Constraints: 26463
6.44/6.50 c #Conflicts: 183000 | #Constraints: 27463
6.44/6.50 c #Conflicts: 184000 | #Constraints: 28463
6.44/6.50 c #Conflicts: 185000 | #Constraints: 29463
6.44/6.50 c #Conflicts: 186000 | #Constraints: 30463
6.44/6.50 c #Conflicts: 187000 | #Constraints: 31463
6.44/6.50 c #Conflicts: 188000 | #Constraints: 32463
6.44/6.50 c #Conflicts: 189000 | #Constraints: 33463
6.44/6.50 c #Conflicts: 190000 | #Constraints: 34463
6.44/6.50 c #Conflicts: 191000 | #Constraints: 35463
6.44/6.50 c #Conflicts: 192000 | #Constraints: 36463
6.44/6.50 c #Conflicts: 193000 | #Constraints: 37463
6.44/6.50 c #Conflicts: 194000 | #Constraints: 38463
6.44/6.50 c #Conflicts: 195000 | #Constraints: 39463
6.44/6.50 c #Conflicts: 196000 | #Constraints: 40463
6.44/6.50 c #Conflicts: 197000 | #Constraints: 41463
6.44/6.50 c #Conflicts: 198000 | #Constraints: 42463
6.44/6.50 c #Conflicts: 199000 | #Constraints: 43463
6.44/6.50 c #Conflicts: 200000 | #Constraints: 44463
6.44/6.50 c INPROCESSING
6.44/6.50 c GARBAGE COLLECT
6.44/6.50 c #Conflicts: 201000 | #Constraints: 23668
6.44/6.50 c #Conflicts: 202000 | #Constraints: 24668
6.44/6.50 c #Conflicts: 203000 | #Constraints: 25668
6.44/6.50 c #Conflicts: 204000 | #Constraints: 26668
6.44/6.50 c #Conflicts: 205000 | #Constraints: 27668
6.44/6.50 c #Conflicts: 206000 | #Constraints: 28668
6.44/6.50 c #Conflicts: 207000 | #Constraints: 29668
6.44/6.50 c #Conflicts: 208000 | #Constraints: 30668
6.44/6.50 c #Conflicts: 209000 | #Constraints: 31668
6.44/6.50 c #Conflicts: 210000 | #Constraints: 32668
6.44/6.50 c INPROCESSING
6.44/6.50 c GARBAGE COLLECT
6.44/6.50 c #Conflicts: 211000 | #Constraints: 17475
6.44/6.50 c #Conflicts: 212000 | #Constraints: 18475
6.44/6.50 c #Conflicts: 213000 | #Constraints: 19475
6.44/6.50 c #Conflicts: 214000 | #Constraints: 20475
6.44/6.50 c #Conflicts: 215000 | #Constraints: 21475
6.44/6.50 c #Conflicts: 216000 | #Constraints: 22475
6.44/6.50 c #Conflicts: 217000 | #Constraints: 23475
6.44/6.50 c #Conflicts: 218000 | #Constraints: 24475
6.44/6.50 c #Conflicts: 219000 | #Constraints: 25475
6.44/6.50 c #Conflicts: 220000 | #Constraints: 26475
8.94/9.02 c #Conflicts: 221000 | #Constraints: 27475
8.94/9.02 c INPROCESSING
8.94/9.02 c GARBAGE COLLECT
8.94/9.02 c #Conflicts: 222000 | #Constraints: 14972
8.94/9.02 c #Conflicts: 223000 | #Constraints: 15972
8.94/9.02 c #Conflicts: 224000 | #Constraints: 16972
8.94/9.02 c #Conflicts: 225000 | #Constraints: 17972
8.94/9.02 c #Conflicts: 226000 | #Constraints: 18972
8.94/9.02 c #Conflicts: 227000 | #Constraints: 19972
8.94/9.02 c #Conflicts: 228000 | #Constraints: 20972
8.94/9.02 c #Conflicts: 229000 | #Constraints: 21972
8.94/9.02 c #Conflicts: 230000 | #Constraints: 22972
8.94/9.02 c #Conflicts: 231000 | #Constraints: 23972
8.94/9.02 c #Conflicts: 232000 | #Constraints: 24972
8.94/9.02 c #Conflicts: 233000 | #Constraints: 25972
8.94/9.02 c #Conflicts: 234000 | #Constraints: 26972
8.94/9.02 c #Conflicts: 235000 | #Constraints: 27972
8.94/9.02 c #Conflicts: 236000 | #Constraints: 28972
8.94/9.02 c #Conflicts: 237000 | #Constraints: 29972
8.94/9.02 c #Conflicts: 238000 | #Constraints: 30972
8.94/9.02 c #Conflicts: 239000 | #Constraints: 31972
8.94/9.02 c #Conflicts: 240000 | #Constraints: 32972
8.94/9.02 c #Conflicts: 241000 | #Constraints: 33972
8.94/9.02 c #Conflicts: 242000 | #Constraints: 34972
8.94/9.02 c #Conflicts: 243000 | #Constraints: 35972
8.94/9.02 c #Conflicts: 244000 | #Constraints: 36972
8.94/9.02 c #Conflicts: 245000 | #Constraints: 37972
8.94/9.02 c #Conflicts: 246000 | #Constraints: 38972
8.94/9.02 c #Conflicts: 247000 | #Constraints: 39972
8.94/9.02 c #Conflicts: 248000 | #Constraints: 40972
8.94/9.02 c #Conflicts: 249000 | #Constraints: 41972
8.94/9.02 c #Conflicts: 250000 | #Constraints: 42972
8.94/9.02 c #Conflicts: 251000 | #Constraints: 43972
8.94/9.02 c #Conflicts: 252000 | #Constraints: 44972
8.94/9.02 c #Conflicts: 253000 | #Constraints: 45972
8.94/9.02 c #Conflicts: 254000 | #Constraints: 46972
8.94/9.02 c #Conflicts: 255000 | #Constraints: 47972
8.94/9.02 c #Conflicts: 256000 | #Constraints: 48972
8.94/9.02 c #Conflicts: 257000 | #Constraints: 49972
8.94/9.02 c INPROCESSING
8.94/9.02 c GARBAGE COLLECT
8.94/9.02 c #Conflicts: 258000 | #Constraints: 26126
8.94/9.02 c #Conflicts: 259000 | #Constraints: 27126
8.94/9.02 c #Conflicts: 260000 | #Constraints: 28126
8.94/9.02 c #Conflicts: 261000 | #Constraints: 29126
8.94/9.02 c #Conflicts: 262000 | #Constraints: 30126
8.94/9.02 c #Conflicts: 263000 | #Constraints: 31126
8.94/9.02 c #Conflicts: 264000 | #Constraints: 32126
8.94/9.02 c #Conflicts: 265000 | #Constraints: 33126
8.94/9.02 c #Conflicts: 266000 | #Constraints: 34126
8.94/9.02 c #Conflicts: 267000 | #Constraints: 35126
8.94/9.02 c #Conflicts: 268000 | #Constraints: 36126
8.94/9.02 c #Conflicts: 269000 | #Constraints: 37126
8.94/9.02 c INPROCESSING
8.94/9.02 c GARBAGE COLLECT
8.94/9.02 c #Conflicts: 270000 | #Constraints: 19640
8.94/9.02 c #Conflicts: 271000 | #Constraints: 20640
8.94/9.02 c #Conflicts: 272000 | #Constraints: 21640
8.94/9.02 c #Conflicts: 273000 | #Constraints: 22640
8.94/9.02 c #Conflicts: 274000 | #Constraints: 23640
8.94/9.02 c #Conflicts: 275000 | #Constraints: 24640
8.94/9.02 c #Conflicts: 276000 | #Constraints: 25640
8.94/9.02 c #Conflicts: 277000 | #Constraints: 26640
8.94/9.02 c #Conflicts: 278000 | #Constraints: 27640
8.94/9.02 c #Conflicts: 279000 | #Constraints: 28640
8.94/9.02 c #Conflicts: 280000 | #Constraints: 29640
8.94/9.02 c #Conflicts: 281000 | #Constraints: 30640
8.94/9.02 c #Conflicts: 282000 | #Constraints: 31640
8.94/9.02 c INPROCESSING
8.94/9.02 c GARBAGE COLLECT
8.94/9.02 c #Conflicts: 283000 | #Constraints: 17252
8.94/9.02 c #Conflicts: 284000 | #Constraints: 18252
8.94/9.02 c #Conflicts: 285000 | #Constraints: 19252
8.94/9.02 c #Conflicts: 286000 | #Constraints: 20252
8.94/9.02 c #Conflicts: 287000 | #Constraints: 21252
8.94/9.02 c #Conflicts: 288000 | #Constraints: 22252
8.94/9.02 c #Conflicts: 289000 | #Constraints: 23252
8.94/9.02 c #Conflicts: 290000 | #Constraints: 24252
8.94/9.02 c #Conflicts: 291000 | #Constraints: 25252
8.94/9.02 c #Conflicts: 292000 | #Constraints: 26252
8.94/9.02 c #Conflicts: 293000 | #Constraints: 27252
8.94/9.02 c #Conflicts: 294000 | #Constraints: 28252
8.94/9.02 c #Conflicts: 295000 | #Constraints: 29252
8.94/9.02 c #Conflicts: 296000 | #Constraints: 30252
8.94/9.02 c #Conflicts: 297000 | #Constraints: 31252
11.52/11.69 c #Conflicts: 298000 | #Constraints: 32252
11.52/11.69 c #Conflicts: 299000 | #Constraints: 33252
11.52/11.69 c #Conflicts: 300000 | #Constraints: 34252
11.52/11.69 c #Conflicts: 301000 | #Constraints: 35252
11.52/11.69 c #Conflicts: 302000 | #Constraints: 36252
11.52/11.69 c #Conflicts: 303000 | #Constraints: 37252
11.52/11.69 c #Conflicts: 304000 | #Constraints: 38252
11.52/11.69 c #Conflicts: 305000 | #Constraints: 39252
11.52/11.69 c #Conflicts: 306000 | #Constraints: 40252
11.52/11.69 c #Conflicts: 307000 | #Constraints: 41252
11.52/11.69 c #Conflicts: 308000 | #Constraints: 42252
11.52/11.69 c #Conflicts: 309000 | #Constraints: 43252
11.52/11.69 c #Conflicts: 310000 | #Constraints: 44252
11.52/11.69 c #Conflicts: 311000 | #Constraints: 45252
11.52/11.69 c #Conflicts: 312000 | #Constraints: 46252
11.52/11.69 c #Conflicts: 313000 | #Constraints: 47252
11.52/11.69 c #Conflicts: 314000 | #Constraints: 48252
11.52/11.69 c #Conflicts: 315000 | #Constraints: 49252
11.52/11.69 c #Conflicts: 316000 | #Constraints: 50252
11.52/11.69 c #Conflicts: 317000 | #Constraints: 51252
11.52/11.69 c #Conflicts: 318000 | #Constraints: 52252
11.52/11.69 c #Conflicts: 319000 | #Constraints: 53252
11.52/11.69 c #Conflicts: 320000 | #Constraints: 54252
11.52/11.69 c #Conflicts: 321000 | #Constraints: 55252
11.52/11.69 c #Conflicts: 322000 | #Constraints: 56252
11.52/11.69 c INPROCESSING
11.52/11.69 c GARBAGE COLLECT
11.52/11.69 c #Conflicts: 323000 | #Constraints: 29369
11.52/11.69 c #Conflicts: 324000 | #Constraints: 30369
11.52/11.69 c #Conflicts: 325000 | #Constraints: 31369
11.52/11.69 c #Conflicts: 326000 | #Constraints: 32369
11.52/11.69 c #Conflicts: 327000 | #Constraints: 33369
11.52/11.69 c #Conflicts: 328000 | #Constraints: 34369
11.52/11.69 c #Conflicts: 329000 | #Constraints: 35369
11.52/11.69 c #Conflicts: 330000 | #Constraints: 36369
11.52/11.69 c #Conflicts: 331000 | #Constraints: 37369
11.52/11.69 c #Conflicts: 332000 | #Constraints: 38369
11.52/11.69 c #Conflicts: 333000 | #Constraints: 39369
11.52/11.69 c #Conflicts: 334000 | #Constraints: 40369
11.52/11.69 c #Conflicts: 335000 | #Constraints: 41369
11.52/11.69 c #Conflicts: 336000 | #Constraints: 42369
11.52/11.69 c INPROCESSING
11.52/11.69 c GARBAGE COLLECT
11.52/11.69 c #Conflicts: 337000 | #Constraints: 22614
11.52/11.69 c #Conflicts: 338000 | #Constraints: 23614
11.52/11.69 c #Conflicts: 339000 | #Constraints: 24614
11.52/11.69 c #Conflicts: 340000 | #Constraints: 25614
11.52/11.69 c #Conflicts: 341000 | #Constraints: 26614
11.52/11.69 c #Conflicts: 342000 | #Constraints: 27614
11.52/11.69 c #Conflicts: 343000 | #Constraints: 28614
11.52/11.69 c #Conflicts: 344000 | #Constraints: 29614
11.52/11.69 c #Conflicts: 345000 | #Constraints: 30614
11.52/11.69 c #Conflicts: 346000 | #Constraints: 31614
11.52/11.69 c #Conflicts: 347000 | #Constraints: 32614
11.52/11.69 c #Conflicts: 348000 | #Constraints: 33614
11.52/11.69 c #Conflicts: 349000 | #Constraints: 34614
11.52/11.69 c INPROCESSING
11.52/11.69 c GARBAGE COLLECT
11.52/11.69 c #Conflicts: 350000 | #Constraints: 18340
11.52/11.69 c #Conflicts: 351000 | #Constraints: 19340
11.52/11.69 c #Conflicts: 352000 | #Constraints: 20340
11.52/11.69 c #Conflicts: 353000 | #Constraints: 21340
11.52/11.69 c #Conflicts: 354000 | #Constraints: 22340
11.52/11.69 c #Conflicts: 355000 | #Constraints: 23340
11.52/11.69 c #Conflicts: 356000 | #Constraints: 24340
11.52/11.69 c #Conflicts: 357000 | #Constraints: 25340
11.52/11.69 c #Conflicts: 358000 | #Constraints: 26340
11.52/11.69 c #Conflicts: 359000 | #Constraints: 27340
11.52/11.69 c #Conflicts: 360000 | #Constraints: 28340
11.52/11.69 c #Conflicts: 361000 | #Constraints: 29340
11.52/11.69 c #Conflicts: 362000 | #Constraints: 30340
11.52/11.69 c #Conflicts: 363000 | #Constraints: 31340
11.52/11.69 c #Conflicts: 364000 | #Constraints: 32340
11.52/11.69 c #Conflicts: 365000 | #Constraints: 33340
11.52/11.69 c #Conflicts: 366000 | #Constraints: 34340
11.52/11.69 c #Conflicts: 367000 | #Constraints: 35340
11.52/11.69 c #Conflicts: 368000 | #Constraints: 36340
11.52/11.69 c #Conflicts: 369000 | #Constraints: 37340
11.52/11.69 c #Conflicts: 370000 | #Constraints: 38340
11.52/11.69 c #Conflicts: 371000 | #Constraints: 39340
11.52/11.69 c #Conflicts: 372000 | #Constraints: 40340
11.52/11.69 c #Conflicts: 373000 | #Constraints: 41340
14.62/14.72 c #Conflicts: 374000 | #Constraints: 42340
14.62/14.72 c #Conflicts: 375000 | #Constraints: 43340
14.62/14.72 c #Conflicts: 376000 | #Constraints: 44340
14.62/14.72 c #Conflicts: 377000 | #Constraints: 45340
14.62/14.72 c #Conflicts: 378000 | #Constraints: 46340
14.62/14.72 c #Conflicts: 379000 | #Constraints: 47340
14.62/14.72 c #Conflicts: 380000 | #Constraints: 48340
14.62/14.72 c #Conflicts: 381000 | #Constraints: 49340
14.62/14.72 c #Conflicts: 382000 | #Constraints: 50340
14.62/14.72 c #Conflicts: 383000 | #Constraints: 51340
14.62/14.72 c #Conflicts: 384000 | #Constraints: 52340
14.62/14.72 c #Conflicts: 385000 | #Constraints: 53340
14.62/14.72 c #Conflicts: 386000 | #Constraints: 54340
14.62/14.72 c #Conflicts: 387000 | #Constraints: 55340
14.62/14.72 c #Conflicts: 388000 | #Constraints: 56340
14.62/14.72 c #Conflicts: 389000 | #Constraints: 57340
14.62/14.72 c #Conflicts: 390000 | #Constraints: 58340
14.62/14.72 c #Conflicts: 391000 | #Constraints: 59340
14.62/14.72 c #Conflicts: 392000 | #Constraints: 60340
14.62/14.72 c #Conflicts: 393000 | #Constraints: 61340
14.62/14.72 c #Conflicts: 394000 | #Constraints: 62340
14.62/14.72 c INPROCESSING
14.62/14.72 c GARBAGE COLLECT
14.62/14.72 c #Conflicts: 395000 | #Constraints: 32400
14.62/14.72 c #Conflicts: 396000 | #Constraints: 33400
14.62/14.72 c #Conflicts: 397000 | #Constraints: 34400
14.62/14.72 c #Conflicts: 398000 | #Constraints: 35400
14.62/14.72 c #Conflicts: 399000 | #Constraints: 36400
14.62/14.72 c #Conflicts: 400000 | #Constraints: 37400
14.62/14.72 c #Conflicts: 401000 | #Constraints: 38400
14.62/14.72 c #Conflicts: 402000 | #Constraints: 39400
14.62/14.72 c #Conflicts: 403000 | #Constraints: 40400
14.62/14.72 c #Conflicts: 404000 | #Constraints: 41400
14.62/14.72 c #Conflicts: 405000 | #Constraints: 42400
14.62/14.72 c #Conflicts: 406000 | #Constraints: 43400
14.62/14.72 c #Conflicts: 407000 | #Constraints: 44400
14.62/14.72 c #Conflicts: 408000 | #Constraints: 45400
14.62/14.72 c #Conflicts: 409000 | #Constraints: 46400
14.62/14.72 c INPROCESSING
14.62/14.72 c GARBAGE COLLECT
14.62/14.72 c #Conflicts: 410000 | #Constraints: 24384
14.62/14.72 c #Conflicts: 411000 | #Constraints: 25384
14.62/14.72 c #Conflicts: 412000 | #Constraints: 26384
14.62/14.72 c #Conflicts: 413000 | #Constraints: 27384
14.62/14.72 c #Conflicts: 414000 | #Constraints: 28384
14.62/14.72 c #Conflicts: 415000 | #Constraints: 29384
14.62/14.72 c #Conflicts: 416000 | #Constraints: 30384
14.62/14.72 c #Conflicts: 417000 | #Constraints: 31384
14.62/14.72 c #Conflicts: 418000 | #Constraints: 32384
14.62/14.72 c #Conflicts: 419000 | #Constraints: 33384
14.62/14.72 c #Conflicts: 420000 | #Constraints: 34384
14.62/14.72 c #Conflicts: 421000 | #Constraints: 35384
14.62/14.72 c #Conflicts: 422000 | #Constraints: 36384
14.62/14.72 c #Conflicts: 423000 | #Constraints: 37384
14.62/14.72 c #Conflicts: 424000 | #Constraints: 38384
14.62/14.72 c INPROCESSING
14.62/14.72 c GARBAGE COLLECT
14.62/14.72 c #Conflicts: 425000 | #Constraints: 20219
14.62/14.72 c #Conflicts: 426000 | #Constraints: 21219
14.62/14.72 c #Conflicts: 427000 | #Constraints: 22219
14.62/14.72 c #Conflicts: 428000 | #Constraints: 23219
14.62/14.72 c #Conflicts: 429000 | #Constraints: 24219
14.62/14.72 c #Conflicts: 430000 | #Constraints: 25219
14.62/14.72 c #Conflicts: 431000 | #Constraints: 26219
14.62/14.72 c #Conflicts: 432000 | #Constraints: 27219
14.62/14.72 c #Conflicts: 433000 | #Constraints: 28219
14.62/14.72 c #Conflicts: 434000 | #Constraints: 29219
14.62/14.72 c #Conflicts: 435000 | #Constraints: 30219
14.62/14.72 c #Conflicts: 436000 | #Constraints: 31219
14.62/14.72 c #Conflicts: 437000 | #Constraints: 32219
14.62/14.72 c #Conflicts: 438000 | #Constraints: 33219
14.62/14.72 c #Conflicts: 439000 | #Constraints: 34219
14.62/14.72 c #Conflicts: 440000 | #Constraints: 35219
14.62/14.72 c #Conflicts: 441000 | #Constraints: 36219
14.62/14.72 c #Conflicts: 442000 | #Constraints: 37219
14.62/14.72 c #Conflicts: 443000 | #Constraints: 38219
14.62/14.72 c #Conflicts: 444000 | #Constraints: 39219
14.62/14.72 c #Conflicts: 445000 | #Constraints: 40219
14.62/14.72 c #Conflicts: 446000 | #Constraints: 41219
14.62/14.72 c #Conflicts: 447000 | #Constraints: 42219
14.62/14.72 c #Conflicts: 448000 | #Constraints: 43219
14.62/14.72 c #Conflicts: 449000 | #Constraints: 44219
14.62/14.72 c #Conflicts: 450000 | #Constraints: 45219
17.80/17.92 c #Conflicts: 451000 | #Constraints: 46219
17.80/17.92 c #Conflicts: 452000 | #Constraints: 47219
17.80/17.92 c #Conflicts: 453000 | #Constraints: 48219
17.80/17.92 c #Conflicts: 454000 | #Constraints: 49219
17.80/17.92 c #Conflicts: 455000 | #Constraints: 50219
17.80/17.92 c #Conflicts: 456000 | #Constraints: 51219
17.80/17.92 c #Conflicts: 457000 | #Constraints: 52219
17.80/17.92 c #Conflicts: 458000 | #Constraints: 53219
17.80/17.92 c #Conflicts: 459000 | #Constraints: 54219
17.80/17.92 c #Conflicts: 460000 | #Constraints: 55219
17.80/17.92 c #Conflicts: 461000 | #Constraints: 56219
17.80/17.92 c #Conflicts: 462000 | #Constraints: 57219
17.80/17.92 c #Conflicts: 463000 | #Constraints: 58219
17.80/17.92 c #Conflicts: 464000 | #Constraints: 59219
17.80/17.92 c #Conflicts: 465000 | #Constraints: 60219
17.80/17.92 c #Conflicts: 466000 | #Constraints: 61219
17.80/17.92 c #Conflicts: 467000 | #Constraints: 62219
17.80/17.92 c #Conflicts: 468000 | #Constraints: 63219
17.80/17.92 c #Conflicts: 469000 | #Constraints: 64219
17.80/17.92 c #Conflicts: 470000 | #Constraints: 65219
17.80/17.92 c #Conflicts: 471000 | #Constraints: 66219
17.80/17.92 c #Conflicts: 472000 | #Constraints: 67219
17.80/17.92 c #Conflicts: 473000 | #Constraints: 68219
17.80/17.92 c INPROCESSING
17.80/17.92 c GARBAGE COLLECT
17.80/17.92 c #Conflicts: 474000 | #Constraints: 35253
17.80/17.92 c #Conflicts: 475000 | #Constraints: 36253
17.80/17.92 c #Conflicts: 476000 | #Constraints: 37253
17.80/17.92 c #Conflicts: 477000 | #Constraints: 38253
17.80/17.92 c #Conflicts: 478000 | #Constraints: 39253
17.80/17.92 c #Conflicts: 479000 | #Constraints: 40253
17.80/17.92 c #Conflicts: 480000 | #Constraints: 41253
17.80/17.92 c #Conflicts: 481000 | #Constraints: 42253
17.80/17.92 c #Conflicts: 482000 | #Constraints: 43253
17.80/17.92 c #Conflicts: 483000 | #Constraints: 44253
17.80/17.92 c #Conflicts: 484000 | #Constraints: 45253
17.80/17.92 c #Conflicts: 485000 | #Constraints: 46253
17.80/17.92 c #Conflicts: 486000 | #Constraints: 47253
17.80/17.92 c #Conflicts: 487000 | #Constraints: 48253
17.80/17.92 c #Conflicts: 488000 | #Constraints: 49253
17.80/17.92 c #Conflicts: 489000 | #Constraints: 50253
17.80/17.92 c #Conflicts: 490000 | #Constraints: 51253
17.80/17.92 c INPROCESSING
17.80/17.92 c GARBAGE COLLECT
17.80/17.92 c #Conflicts: 491000 | #Constraints: 26976
17.80/17.92 c #Conflicts: 492000 | #Constraints: 27976
17.80/17.92 c #Conflicts: 493000 | #Constraints: 28976
17.80/17.92 c #Conflicts: 494000 | #Constraints: 29976
17.80/17.92 c #Conflicts: 495000 | #Constraints: 30976
17.80/17.92 c #Conflicts: 496000 | #Constraints: 31976
17.80/17.92 c #Conflicts: 497000 | #Constraints: 32976
17.80/17.92 c #Conflicts: 498000 | #Constraints: 33976
17.80/17.92 c #Conflicts: 499000 | #Constraints: 34976
17.80/17.92 c #Conflicts: 500000 | #Constraints: 35976
17.80/17.92 c #Conflicts: 501000 | #Constraints: 36976
17.80/17.92 c #Conflicts: 502000 | #Constraints: 37976
17.80/17.92 c #Conflicts: 503000 | #Constraints: 38976
17.80/17.92 c #Conflicts: 504000 | #Constraints: 39976
17.80/17.92 c #Conflicts: 505000 | #Constraints: 40976
17.80/17.92 c #Conflicts: 506000 | #Constraints: 41976
17.80/17.92 c #Conflicts: 507000 | #Constraints: 42976
17.80/17.92 c INPROCESSING
17.80/17.92 c GARBAGE COLLECT
17.80/17.92 c #Conflicts: 508000 | #Constraints: 22929
17.80/17.92 c #Conflicts: 509000 | #Constraints: 23929
17.80/17.92 c #Conflicts: 510000 | #Constraints: 24929
17.80/17.92 c #Conflicts: 511000 | #Constraints: 25929
17.80/17.92 c #Conflicts: 512000 | #Constraints: 26929
17.80/17.92 c #Conflicts: 513000 | #Constraints: 27929
17.80/17.92 c #Conflicts: 514000 | #Constraints: 28929
17.80/17.92 c #Conflicts: 515000 | #Constraints: 29929
17.80/17.92 c #Conflicts: 516000 | #Constraints: 30929
17.80/17.92 c #Conflicts: 517000 | #Constraints: 31929
17.80/17.92 c #Conflicts: 518000 | #Constraints: 32929
17.80/17.92 c #Conflicts: 519000 | #Constraints: 33929
17.80/17.92 c #Conflicts: 520000 | #Constraints: 34929
17.80/17.92 c #Conflicts: 521000 | #Constraints: 35929
17.80/17.92 c #Conflicts: 522000 | #Constraints: 36929
17.80/17.92 c #Conflicts: 523000 | #Constraints: 37929
17.80/17.92 c #Conflicts: 524000 | #Constraints: 38929
17.80/17.92 c #Conflicts: 525000 | #Constraints: 39929
17.80/17.92 c #Conflicts: 526000 | #Constraints: 40929
17.80/17.92 c #Conflicts: 527000 | #Constraints: 41929
21.30/21.41 c #Conflicts: 528000 | #Constraints: 42929
21.30/21.41 c #Conflicts: 529000 | #Constraints: 43929
21.30/21.41 c #Conflicts: 530000 | #Constraints: 44929
21.30/21.41 c #Conflicts: 531000 | #Constraints: 45929
21.30/21.41 c #Conflicts: 532000 | #Constraints: 46929
21.30/21.41 c #Conflicts: 533000 | #Constraints: 47929
21.30/21.41 c #Conflicts: 534000 | #Constraints: 48929
21.30/21.41 c #Conflicts: 535000 | #Constraints: 49929
21.30/21.41 c #Conflicts: 536000 | #Constraints: 50929
21.30/21.41 c #Conflicts: 537000 | #Constraints: 51929
21.30/21.41 c #Conflicts: 538000 | #Constraints: 52929
21.30/21.41 c #Conflicts: 539000 | #Constraints: 53929
21.30/21.41 c #Conflicts: 540000 | #Constraints: 54929
21.30/21.41 c #Conflicts: 541000 | #Constraints: 55929
21.30/21.41 c #Conflicts: 542000 | #Constraints: 56929
21.30/21.41 c #Conflicts: 543000 | #Constraints: 57929
21.30/21.41 c #Conflicts: 544000 | #Constraints: 58929
21.30/21.41 c #Conflicts: 545000 | #Constraints: 59929
21.30/21.41 c #Conflicts: 546000 | #Constraints: 60929
21.30/21.41 c #Conflicts: 547000 | #Constraints: 61929
21.30/21.41 c #Conflicts: 548000 | #Constraints: 62929
21.30/21.41 c #Conflicts: 549000 | #Constraints: 63929
21.30/21.41 c #Conflicts: 550000 | #Constraints: 64929
21.30/21.41 c #Conflicts: 551000 | #Constraints: 65929
21.30/21.41 c #Conflicts: 552000 | #Constraints: 66929
21.30/21.41 c #Conflicts: 553000 | #Constraints: 67929
21.30/21.41 c #Conflicts: 554000 | #Constraints: 68929
21.30/21.41 c #Conflicts: 555000 | #Constraints: 69929
21.30/21.41 c #Conflicts: 556000 | #Constraints: 70929
21.30/21.41 c #Conflicts: 557000 | #Constraints: 71929
21.30/21.41 c #Conflicts: 558000 | #Constraints: 72929
21.30/21.41 c #Conflicts: 559000 | #Constraints: 73929
21.30/21.41 c #Conflicts: 560000 | #Constraints: 74929
21.30/21.41 c INPROCESSING
21.30/21.41 c GARBAGE COLLECT
21.30/21.41 c #Conflicts: 561000 | #Constraints: 38900
21.30/21.41 c #Conflicts: 562000 | #Constraints: 39900
21.30/21.41 c #Conflicts: 563000 | #Constraints: 40900
21.30/21.41 c #Conflicts: 564000 | #Constraints: 41900
21.30/21.41 c #Conflicts: 565000 | #Constraints: 42900
21.30/21.41 c #Conflicts: 566000 | #Constraints: 43900
21.30/21.41 c #Conflicts: 567000 | #Constraints: 44900
21.30/21.41 c #Conflicts: 568000 | #Constraints: 45900
21.30/21.41 c #Conflicts: 569000 | #Constraints: 46900
21.30/21.41 c #Conflicts: 570000 | #Constraints: 47900
21.30/21.41 c #Conflicts: 571000 | #Constraints: 48900
21.30/21.41 c #Conflicts: 572000 | #Constraints: 49900
21.30/21.41 c #Conflicts: 573000 | #Constraints: 50900
21.30/21.41 c #Conflicts: 574000 | #Constraints: 51900
21.30/21.41 c #Conflicts: 575000 | #Constraints: 52900
21.30/21.41 c #Conflicts: 576000 | #Constraints: 53900
21.30/21.41 c #Conflicts: 577000 | #Constraints: 54900
21.30/21.41 c #Conflicts: 578000 | #Constraints: 55900
21.30/21.41 c INPROCESSING
21.30/21.41 c GARBAGE COLLECT
21.30/21.41 c #Conflicts: 579000 | #Constraints: 29342
21.30/21.41 c #Conflicts: 580000 | #Constraints: 30342
21.30/21.41 c #Conflicts: 581000 | #Constraints: 31342
21.30/21.41 c #Conflicts: 582000 | #Constraints: 32342
21.30/21.41 c #Conflicts: 583000 | #Constraints: 33342
21.30/21.41 c #Conflicts: 584000 | #Constraints: 34342
21.30/21.41 c #Conflicts: 585000 | #Constraints: 35342
21.30/21.41 c #Conflicts: 586000 | #Constraints: 36342
21.30/21.41 c #Conflicts: 587000 | #Constraints: 37342
21.30/21.41 c #Conflicts: 588000 | #Constraints: 38342
21.30/21.41 c #Conflicts: 589000 | #Constraints: 39342
21.30/21.41 c #Conflicts: 590000 | #Constraints: 40342
21.30/21.41 c #Conflicts: 591000 | #Constraints: 41342
21.30/21.41 c #Conflicts: 592000 | #Constraints: 42342
21.30/21.41 c #Conflicts: 593000 | #Constraints: 43342
21.30/21.41 c #Conflicts: 594000 | #Constraints: 44342
21.30/21.41 c #Conflicts: 595000 | #Constraints: 45342
21.30/21.41 c #Conflicts: 596000 | #Constraints: 46342
21.30/21.41 c INPROCESSING
21.30/21.41 c GARBAGE COLLECT
21.30/21.41 c #Conflicts: 597000 | #Constraints: 24401
21.30/21.41 c #Conflicts: 598000 | #Constraints: 25401
21.30/21.41 c #Conflicts: 599000 | #Constraints: 26401
21.30/21.41 c #Conflicts: 600000 | #Constraints: 27401
21.30/21.41 c #Conflicts: 601000 | #Constraints: 28401
21.30/21.41 c #Conflicts: 602000 | #Constraints: 29401
21.30/21.41 c #Conflicts: 603000 | #Constraints: 30401
21.30/21.41 c #Conflicts: 604000 | #Constraints: 31401
24.90/25.04 c #Conflicts: 605000 | #Constraints: 32401
24.90/25.04 c #Conflicts: 606000 | #Constraints: 33401
24.90/25.04 c #Conflicts: 607000 | #Constraints: 34401
24.90/25.04 c #Conflicts: 608000 | #Constraints: 35401
24.90/25.04 c #Conflicts: 609000 | #Constraints: 36401
24.90/25.04 c #Conflicts: 610000 | #Constraints: 37401
24.90/25.04 c #Conflicts: 611000 | #Constraints: 38401
24.90/25.04 c #Conflicts: 612000 | #Constraints: 39401
24.90/25.04 c #Conflicts: 613000 | #Constraints: 40401
24.90/25.04 c #Conflicts: 614000 | #Constraints: 41401
24.90/25.04 c #Conflicts: 615000 | #Constraints: 42401
24.90/25.04 c #Conflicts: 616000 | #Constraints: 43401
24.90/25.04 c #Conflicts: 617000 | #Constraints: 44401
24.90/25.04 c #Conflicts: 618000 | #Constraints: 45401
24.90/25.04 c #Conflicts: 619000 | #Constraints: 46401
24.90/25.04 c #Conflicts: 620000 | #Constraints: 47401
24.90/25.04 c #Conflicts: 621000 | #Constraints: 48401
24.90/25.04 c #Conflicts: 622000 | #Constraints: 49401
24.90/25.04 c #Conflicts: 623000 | #Constraints: 50401
24.90/25.04 c #Conflicts: 624000 | #Constraints: 51401
24.90/25.04 c #Conflicts: 625000 | #Constraints: 52401
24.90/25.04 c #Conflicts: 626000 | #Constraints: 53401
24.90/25.04 c #Conflicts: 627000 | #Constraints: 54401
24.90/25.04 c #Conflicts: 628000 | #Constraints: 55401
24.90/25.04 c #Conflicts: 629000 | #Constraints: 56401
24.90/25.04 c #Conflicts: 630000 | #Constraints: 57401
24.90/25.04 c #Conflicts: 631000 | #Constraints: 58401
24.90/25.04 c #Conflicts: 632000 | #Constraints: 59401
24.90/25.04 c #Conflicts: 633000 | #Constraints: 60401
24.90/25.04 c #Conflicts: 634000 | #Constraints: 61401
24.90/25.04 c #Conflicts: 635000 | #Constraints: 62401
24.90/25.04 c #Conflicts: 636000 | #Constraints: 63401
24.90/25.04 c #Conflicts: 637000 | #Constraints: 64401
24.90/25.04 c #Conflicts: 638000 | #Constraints: 65401
24.90/25.04 c #Conflicts: 639000 | #Constraints: 66401
24.90/25.04 c #Conflicts: 640000 | #Constraints: 67401
24.90/25.04 c #Conflicts: 641000 | #Constraints: 68401
24.90/25.04 c #Conflicts: 642000 | #Constraints: 69401
24.90/25.04 c #Conflicts: 643000 | #Constraints: 70401
24.90/25.04 c #Conflicts: 644000 | #Constraints: 71401
24.90/25.04 c #Conflicts: 645000 | #Constraints: 72401
24.90/25.04 c #Conflicts: 646000 | #Constraints: 73401
24.90/25.04 c #Conflicts: 647000 | #Constraints: 74401
24.90/25.04 c #Conflicts: 648000 | #Constraints: 75401
24.90/25.04 c #Conflicts: 649000 | #Constraints: 76401
24.90/25.04 c #Conflicts: 650000 | #Constraints: 77401
24.90/25.04 c #Conflicts: 651000 | #Constraints: 78401
24.90/25.04 c #Conflicts: 652000 | #Constraints: 79401
24.90/25.04 c #Conflicts: 653000 | #Constraints: 80401
24.90/25.04 c INPROCESSING
24.90/25.04 c GARBAGE COLLECT
24.90/25.04 c #Conflicts: 654000 | #Constraints: 41346
24.90/25.04 c #Conflicts: 655000 | #Constraints: 42346
24.90/25.04 c #Conflicts: 656000 | #Constraints: 43346
24.90/25.04 c #Conflicts: 657000 | #Constraints: 44346
24.90/25.04 c #Conflicts: 658000 | #Constraints: 45346
24.90/25.04 c #Conflicts: 659000 | #Constraints: 46346
24.90/25.04 c #Conflicts: 660000 | #Constraints: 47346
24.90/25.04 c #Conflicts: 661000 | #Constraints: 48346
24.90/25.04 c #Conflicts: 662000 | #Constraints: 49346
24.90/25.04 c #Conflicts: 663000 | #Constraints: 50346
24.90/25.04 c #Conflicts: 664000 | #Constraints: 51346
24.90/25.04 c #Conflicts: 665000 | #Constraints: 52346
24.90/25.04 c #Conflicts: 666000 | #Constraints: 53346
24.90/25.04 c #Conflicts: 667000 | #Constraints: 54346
24.90/25.04 c #Conflicts: 668000 | #Constraints: 55346
24.90/25.04 c #Conflicts: 669000 | #Constraints: 56346
24.90/25.04 c #Conflicts: 670000 | #Constraints: 57346
24.90/25.04 c #Conflicts: 671000 | #Constraints: 58346
24.90/25.04 c #Conflicts: 672000 | #Constraints: 59346
24.90/25.04 c #Conflicts: 673000 | #Constraints: 60346
24.90/25.04 c INPROCESSING
24.90/25.04 c GARBAGE COLLECT
24.90/25.04 c #Conflicts: 674000 | #Constraints: 31514
24.90/25.04 c #Conflicts: 675000 | #Constraints: 32514
24.90/25.04 c #Conflicts: 676000 | #Constraints: 33514
24.90/25.04 c #Conflicts: 677000 | #Constraints: 34514
24.90/25.04 c #Conflicts: 678000 | #Constraints: 35514
24.90/25.04 c #Conflicts: 679000 | #Constraints: 36514
24.90/25.04 c #Conflicts: 680000 | #Constraints: 37514
24.90/25.04 c #Conflicts: 681000 | #Constraints: 38514
28.18/28.38 c #Conflicts: 682000 | #Constraints: 39514
28.18/28.38 c #Conflicts: 683000 | #Constraints: 40514
28.18/28.38 c #Conflicts: 684000 | #Constraints: 41514
28.18/28.38 c #Conflicts: 685000 | #Constraints: 42514
28.18/28.38 c #Conflicts: 686000 | #Constraints: 43514
28.18/28.38 c #Conflicts: 687000 | #Constraints: 44514
28.18/28.38 c #Conflicts: 688000 | #Constraints: 45514
28.18/28.38 c #Conflicts: 689000 | #Constraints: 46514
28.18/28.38 c #Conflicts: 690000 | #Constraints: 47514
28.18/28.38 c #Conflicts: 691000 | #Constraints: 48514
28.18/28.38 c #Conflicts: 692000 | #Constraints: 49514
28.18/28.38 c #Conflicts: 693000 | #Constraints: 50514
28.18/28.38 c INPROCESSING
28.18/28.38 c GARBAGE COLLECT
28.18/28.38 c #Conflicts: 694000 | #Constraints: 26696
28.18/28.38 c #Conflicts: 695000 | #Constraints: 27696
28.18/28.38 c #Conflicts: 696000 | #Constraints: 28696
28.18/28.38 c #Conflicts: 697000 | #Constraints: 29696
28.18/28.38 c #Conflicts: 698000 | #Constraints: 30696
28.18/28.38 c #Conflicts: 699000 | #Constraints: 31696
28.18/28.38 c #Conflicts: 700000 | #Constraints: 32696
28.18/28.38 c #Conflicts: 701000 | #Constraints: 33696
28.18/28.38 c #Conflicts: 702000 | #Constraints: 34696
28.18/28.38 c #Conflicts: 703000 | #Constraints: 35696
28.18/28.38 c #Conflicts: 704000 | #Constraints: 36696
28.18/28.38 c #Conflicts: 705000 | #Constraints: 37696
28.18/28.38 c #Conflicts: 706000 | #Constraints: 38696
28.18/28.38 c #Conflicts: 707000 | #Constraints: 39696
28.18/28.38 c #Conflicts: 708000 | #Constraints: 40696
28.18/28.38 c #Conflicts: 709000 | #Constraints: 41696
28.18/28.38 c #Conflicts: 710000 | #Constraints: 42696
28.18/28.38 c #Conflicts: 711000 | #Constraints: 43696
28.18/28.38 c #Conflicts: 712000 | #Constraints: 44696
28.18/28.38 c #Conflicts: 713000 | #Constraints: 45696
28.18/28.38 c #Conflicts: 714000 | #Constraints: 46696
28.18/28.38 c #Conflicts: 715000 | #Constraints: 47696
28.18/28.38 c #Conflicts: 716000 | #Constraints: 48696
28.18/28.38 c #Conflicts: 717000 | #Constraints: 49696
28.18/28.38 c #Conflicts: 718000 | #Constraints: 50696
28.18/28.38 c #Conflicts: 719000 | #Constraints: 51696
28.18/28.38 c #Conflicts: 720000 | #Constraints: 52696
28.18/28.38 c #Conflicts: 721000 | #Constraints: 53696
28.18/28.38 c #Conflicts: 722000 | #Constraints: 54696
28.18/28.38 c #Conflicts: 723000 | #Constraints: 55696
28.18/28.38 c #Conflicts: 724000 | #Constraints: 56696
28.18/28.38 c #Conflicts: 725000 | #Constraints: 57696
28.18/28.38 c #Conflicts: 726000 | #Constraints: 58696
28.18/28.38 c #Conflicts: 727000 | #Constraints: 59696
28.18/28.38 c #Conflicts: 728000 | #Constraints: 60696
28.18/28.38 c #Conflicts: 729000 | #Constraints: 61696
28.18/28.38 c #Conflicts: 730000 | #Constraints: 62696
28.18/28.38 c #Conflicts: 731000 | #Constraints: 63696
28.18/28.38 c #Conflicts: 732000 | #Constraints: 64696
28.18/28.38 c #Conflicts: 733000 | #Constraints: 65696
28.18/28.38 c #Conflicts: 734000 | #Constraints: 66696
28.18/28.38 c #Conflicts: 735000 | #Constraints: 67696
28.18/28.38 c #Conflicts: 736000 | #Constraints: 68696
28.18/28.38 c #Conflicts: 737000 | #Constraints: 69696
28.18/28.38 c #Conflicts: 738000 | #Constraints: 70696
28.18/28.38 c #Conflicts: 739000 | #Constraints: 71696
28.18/28.38 c #Conflicts: 740000 | #Constraints: 72696
28.18/28.38 c #Conflicts: 741000 | #Constraints: 73696
28.18/28.38 c #Conflicts: 742000 | #Constraints: 74696
28.18/28.38 c #Conflicts: 743000 | #Constraints: 75696
28.18/28.38 c #Conflicts: 744000 | #Constraints: 76696
28.18/28.38 c #Conflicts: 745000 | #Constraints: 77696
28.18/28.38 c #Conflicts: 746000 | #Constraints: 78696
28.18/28.38 c #Conflicts: 747000 | #Constraints: 79696
28.18/28.38 c #Conflicts: 748000 | #Constraints: 80696
28.18/28.38 c #Conflicts: 749000 | #Constraints: 81696
28.18/28.38 c #Conflicts: 750000 | #Constraints: 82696
28.18/28.38 c #Conflicts: 751000 | #Constraints: 83696
28.18/28.38 c #Conflicts: 752000 | #Constraints: 84696
28.18/28.38 c #Conflicts: 753000 | #Constraints: 85696
28.18/28.38 c #Conflicts: 754000 | #Constraints: 86696
28.18/28.38 c INPROCESSING
28.18/28.38 c GARBAGE COLLECT
28.18/28.38 c #Conflicts: 755000 | #Constraints: 44590
28.18/28.38 c #Conflicts: 756000 | #Constraints: 45590
28.18/28.38 c #Conflicts: 757000 | #Constraints: 46590
28.18/28.38 c #Conflicts: 758000 | #Constraints: 47590
28.18/28.38 c #Conflicts: 759000 | #Constraints: 48590
31.07/31.21 c #Conflicts: 760000 | #Constraints: 49590
31.07/31.21 c #Conflicts: 761000 | #Constraints: 50590
31.07/31.21 c #Conflicts: 762000 | #Constraints: 51590
31.07/31.21 c #Conflicts: 763000 | #Constraints: 52590
31.07/31.21 c #Conflicts: 764000 | #Constraints: 53590
31.07/31.21 c #Conflicts: 765000 | #Constraints: 54590
31.07/31.21 c #Conflicts: 766000 | #Constraints: 55590
31.07/31.21 c #Conflicts: 767000 | #Constraints: 56590
31.07/31.21 c #Conflicts: 768000 | #Constraints: 57590
31.07/31.21 c #Conflicts: 769000 | #Constraints: 58590
31.07/31.21 c #Conflicts: 770000 | #Constraints: 59590
31.07/31.21 c #Conflicts: 771000 | #Constraints: 60590
31.07/31.21 c #Conflicts: 772000 | #Constraints: 61590
31.07/31.21 c #Conflicts: 773000 | #Constraints: 62590
31.07/31.21 c #Conflicts: 774000 | #Constraints: 63590
31.07/31.21 c #Conflicts: 775000 | #Constraints: 64590
31.07/31.21 c INPROCESSING
31.07/31.21 c GARBAGE COLLECT
31.07/31.21 c #Conflicts: 776000 | #Constraints: 33481
31.07/31.21 c #Conflicts: 777000 | #Constraints: 34481
31.07/31.21 c #Conflicts: 778000 | #Constraints: 35481
31.07/31.21 c #Conflicts: 779000 | #Constraints: 36481
31.07/31.21 c #Conflicts: 780000 | #Constraints: 37481
31.07/31.21 c #Conflicts: 781000 | #Constraints: 38481
31.07/31.21 c #Conflicts: 782000 | #Constraints: 39481
31.07/31.21 c #Conflicts: 783000 | #Constraints: 40481
31.07/31.21 c #Conflicts: 784000 | #Constraints: 41481
31.07/31.21 c #Conflicts: 785000 | #Constraints: 42481
31.07/31.21 c #Conflicts: 786000 | #Constraints: 43481
31.07/31.21 c #Conflicts: 787000 | #Constraints: 44481
31.07/31.21 c #Conflicts: 788000 | #Constraints: 45481
31.07/31.21 c #Conflicts: 789000 | #Constraints: 46481
31.07/31.21 c #Conflicts: 790000 | #Constraints: 47481
31.07/31.21 c #Conflicts: 791000 | #Constraints: 48481
31.07/31.21 c #Conflicts: 792000 | #Constraints: 49481
31.07/31.21 c #Conflicts: 793000 | #Constraints: 50481
31.07/31.21 c #Conflicts: 794000 | #Constraints: 51481
31.07/31.21 c #Conflicts: 795000 | #Constraints: 52481
31.07/31.21 c #Conflicts: 796000 | #Constraints: 53481
31.07/31.21 c INPROCESSING
31.07/31.21 c GARBAGE COLLECT
31.07/31.21 c #Conflicts: 797000 | #Constraints: 27782
31.07/31.21 c #Conflicts: 798000 | #Constraints: 28782
31.07/31.21 c #Conflicts: 799000 | #Constraints: 29782
31.07/31.21 c #Conflicts: 800000 | #Constraints: 30782
31.07/31.21 c #Conflicts: 801000 | #Constraints: 31782
31.07/31.21 c #Conflicts: 802000 | #Constraints: 32782
31.07/31.21 c #Conflicts: 803000 | #Constraints: 33782
31.07/31.21 c #Conflicts: 804000 | #Constraints: 34782
31.07/31.21 c #Conflicts: 805000 | #Constraints: 35782
31.07/31.21 c #Conflicts: 806000 | #Constraints: 36782
31.07/31.21 c #Conflicts: 807000 | #Constraints: 37782
31.07/31.21 c #Conflicts: 808000 | #Constraints: 38782
31.07/31.21 c #Conflicts: 809000 | #Constraints: 39782
31.07/31.21 c #Conflicts: 810000 | #Constraints: 40782
31.07/31.21 c #Conflicts: 811000 | #Constraints: 41782
31.07/31.21 c #Conflicts: 812000 | #Constraints: 42782
31.07/31.21 c #Conflicts: 813000 | #Constraints: 43782
31.07/31.21 c #Conflicts: 814000 | #Constraints: 44782
31.07/31.21 c #Conflicts: 815000 | #Constraints: 45782
31.07/31.21 c #Conflicts: 816000 | #Constraints: 46782
31.07/31.21 c #Conflicts: 817000 | #Constraints: 47782
31.07/31.21 c #Conflicts: 818000 | #Constraints: 48782
31.07/31.21 c INPROCESSING
31.07/31.21 c GARBAGE COLLECT
31.07/31.21 c #Conflicts: 819000 | #Constraints: 25677
31.07/31.21 c #Conflicts: 820000 | #Constraints: 26677
31.07/31.21 c #Conflicts: 821000 | #Constraints: 27677
31.07/31.21 c #Conflicts: 822000 | #Constraints: 28677
31.07/31.21 c #Conflicts: 823000 | #Constraints: 29677
31.07/31.21 c #Conflicts: 824000 | #Constraints: 30677
31.07/31.21 c #Conflicts: 825000 | #Constraints: 31677
31.07/31.21 c #Conflicts: 826000 | #Constraints: 32677
31.07/31.21 c #Conflicts: 827000 | #Constraints: 33677
31.07/31.21 c #Conflicts: 828000 | #Constraints: 34677
31.07/31.21 c #Conflicts: 829000 | #Constraints: 35677
31.07/31.21 c #Conflicts: 830000 | #Constraints: 36677
31.07/31.21 c #Conflicts: 831000 | #Constraints: 37677
31.07/31.21 c #Conflicts: 832000 | #Constraints: 38677
31.07/31.21 c #Conflicts: 833000 | #Constraints: 39677
31.07/31.21 c #Conflicts: 834000 | #Constraints: 40677
31.07/31.21 c #Conflicts: 835000 | #Constraints: 41677
31.07/31.21 c #Conflicts: 836000 | #Constraints: 42677
34.67/34.83 c #Conflicts: 837000 | #Constraints: 43677
34.67/34.83 c #Conflicts: 838000 | #Constraints: 44677
34.67/34.83 c #Conflicts: 839000 | #Constraints: 45677
34.67/34.83 c #Conflicts: 840000 | #Constraints: 46677
34.67/34.83 c #Conflicts: 841000 | #Constraints: 47677
34.67/34.83 c #Conflicts: 842000 | #Constraints: 48677
34.67/34.83 c #Conflicts: 843000 | #Constraints: 49677
34.67/34.83 c #Conflicts: 844000 | #Constraints: 50677
34.67/34.83 c #Conflicts: 845000 | #Constraints: 51677
34.67/34.83 c #Conflicts: 846000 | #Constraints: 52677
34.67/34.83 c #Conflicts: 847000 | #Constraints: 53677
34.67/34.83 c #Conflicts: 848000 | #Constraints: 54677
34.67/34.83 c #Conflicts: 849000 | #Constraints: 55677
34.67/34.83 c #Conflicts: 850000 | #Constraints: 56677
34.67/34.83 c #Conflicts: 851000 | #Constraints: 57677
34.67/34.83 c #Conflicts: 852000 | #Constraints: 58677
34.67/34.83 c #Conflicts: 853000 | #Constraints: 59677
34.67/34.83 c #Conflicts: 854000 | #Constraints: 60677
34.67/34.83 c #Conflicts: 855000 | #Constraints: 61677
34.67/34.83 c #Conflicts: 856000 | #Constraints: 62677
34.67/34.83 c #Conflicts: 857000 | #Constraints: 63677
34.67/34.83 c #Conflicts: 858000 | #Constraints: 64677
34.67/34.83 c #Conflicts: 859000 | #Constraints: 65677
34.67/34.83 c #Conflicts: 860000 | #Constraints: 66677
34.67/34.83 c #Conflicts: 861000 | #Constraints: 67677
34.67/34.83 c #Conflicts: 862000 | #Constraints: 68677
34.67/34.83 c #Conflicts: 863000 | #Constraints: 69677
34.67/34.83 c #Conflicts: 864000 | #Constraints: 70677
34.67/34.83 c #Conflicts: 865000 | #Constraints: 71677
34.67/34.83 c #Conflicts: 866000 | #Constraints: 72677
34.67/34.83 c #Conflicts: 867000 | #Constraints: 73677
34.67/34.83 c #Conflicts: 868000 | #Constraints: 74677
34.67/34.83 c #Conflicts: 869000 | #Constraints: 75677
34.67/34.83 c #Conflicts: 870000 | #Constraints: 76677
34.67/34.83 c #Conflicts: 871000 | #Constraints: 77677
34.67/34.83 c #Conflicts: 872000 | #Constraints: 78677
34.67/34.83 c #Conflicts: 873000 | #Constraints: 79677
34.67/34.83 c #Conflicts: 874000 | #Constraints: 80677
34.67/34.83 c #Conflicts: 875000 | #Constraints: 81677
34.67/34.83 c #Conflicts: 876000 | #Constraints: 82677
34.67/34.83 c #Conflicts: 877000 | #Constraints: 83677
34.67/34.83 c #Conflicts: 878000 | #Constraints: 84677
34.67/34.83 c #Conflicts: 879000 | #Constraints: 85677
34.67/34.83 c #Conflicts: 880000 | #Constraints: 86677
34.67/34.83 c #Conflicts: 881000 | #Constraints: 87677
34.67/34.83 c #Conflicts: 882000 | #Constraints: 88677
34.67/34.83 c #Conflicts: 883000 | #Constraints: 89677
34.67/34.83 c #Conflicts: 884000 | #Constraints: 90677
34.67/34.83 c #Conflicts: 885000 | #Constraints: 91677
34.67/34.83 c INPROCESSING
34.67/34.83 c GARBAGE COLLECT
34.67/34.83 c #Conflicts: 886000 | #Constraints: 47292
34.67/34.83 c #Conflicts: 887000 | #Constraints: 48292
34.67/34.83 c #Conflicts: 888000 | #Constraints: 49292
34.67/34.83 c #Conflicts: 889000 | #Constraints: 50292
34.67/34.83 c #Conflicts: 890000 | #Constraints: 51292
34.67/34.83 c #Conflicts: 891000 | #Constraints: 52292
34.67/34.83 c #Conflicts: 892000 | #Constraints: 53292
34.67/34.83 c #Conflicts: 893000 | #Constraints: 54292
34.67/34.83 c #Conflicts: 894000 | #Constraints: 55292
34.67/34.83 c #Conflicts: 895000 | #Constraints: 56292
34.67/34.83 c #Conflicts: 896000 | #Constraints: 57292
34.67/34.83 c #Conflicts: 897000 | #Constraints: 58292
34.67/34.83 c #Conflicts: 898000 | #Constraints: 59292
34.67/34.83 c #Conflicts: 899000 | #Constraints: 60292
34.67/34.83 c #Conflicts: 900000 | #Constraints: 61292
34.67/34.83 c #Conflicts: 901000 | #Constraints: 62292
34.67/34.83 c #Conflicts: 902000 | #Constraints: 63292
34.67/34.83 c #Conflicts: 903000 | #Constraints: 64292
34.67/34.83 c #Conflicts: 904000 | #Constraints: 65292
34.67/34.83 c #Conflicts: 905000 | #Constraints: 66292
34.67/34.83 c #Conflicts: 906000 | #Constraints: 67292
34.67/34.83 c #Conflicts: 907000 | #Constraints: 68292
34.67/34.83 c INPROCESSING
34.67/34.83 c GARBAGE COLLECT
34.67/34.83 c #Conflicts: 908000 | #Constraints: 35192
34.67/34.83 c #Conflicts: 909000 | #Constraints: 36192
34.67/34.83 c #Conflicts: 910000 | #Constraints: 37192
34.67/34.83 c #Conflicts: 911000 | #Constraints: 38192
34.67/34.83 c #Conflicts: 912000 | #Constraints: 39192
34.67/34.83 c #Conflicts: 913000 | #Constraints: 40192
37.16/37.39 c #Conflicts: 914000 | #Constraints: 41192
37.16/37.39 c #Conflicts: 915000 | #Constraints: 42192
37.16/37.39 c #Conflicts: 916000 | #Constraints: 43192
37.16/37.39 c #Conflicts: 917000 | #Constraints: 44192
37.16/37.39 c #Conflicts: 918000 | #Constraints: 45192
37.16/37.39 c #Conflicts: 919000 | #Constraints: 46192
37.16/37.39 c #Conflicts: 920000 | #Constraints: 47192
37.16/37.39 c #Conflicts: 921000 | #Constraints: 48192
37.16/37.39 c #Conflicts: 922000 | #Constraints: 49192
37.16/37.39 c #Conflicts: 923000 | #Constraints: 50192
37.16/37.39 c #Conflicts: 924000 | #Constraints: 51192
37.16/37.39 c #Conflicts: 925000 | #Constraints: 52192
37.16/37.39 c #Conflicts: 926000 | #Constraints: 53192
37.16/37.39 c #Conflicts: 927000 | #Constraints: 54192
37.16/37.39 c #Conflicts: 928000 | #Constraints: 55192
37.16/37.39 c #Conflicts: 929000 | #Constraints: 56192
37.16/37.39 c #Conflicts: 930000 | #Constraints: 57192
37.16/37.39 c INPROCESSING
37.16/37.39 c GARBAGE COLLECT
37.16/37.39 c #Conflicts: 931000 | #Constraints: 29641
37.16/37.39 c #Conflicts: 932000 | #Constraints: 30641
37.16/37.39 c #Conflicts: 933000 | #Constraints: 31641
37.16/37.39 c #Conflicts: 934000 | #Constraints: 32641
37.16/37.39 c #Conflicts: 935000 | #Constraints: 33641
37.16/37.39 c #Conflicts: 936000 | #Constraints: 34641
37.16/37.39 c #Conflicts: 937000 | #Constraints: 35641
37.16/37.39 c #Conflicts: 938000 | #Constraints: 36641
37.16/37.39 c #Conflicts: 939000 | #Constraints: 37641
37.16/37.39 c #Conflicts: 940000 | #Constraints: 38641
37.16/37.39 c #Conflicts: 941000 | #Constraints: 39641
37.16/37.39 c #Conflicts: 942000 | #Constraints: 40641
37.16/37.39 c #Conflicts: 943000 | #Constraints: 41641
37.16/37.39 c #Conflicts: 944000 | #Constraints: 42641
37.16/37.39 c #Conflicts: 945000 | #Constraints: 43641
37.16/37.39 c #Conflicts: 946000 | #Constraints: 44641
37.16/37.39 c #Conflicts: 947000 | #Constraints: 45641
37.16/37.39 c #Conflicts: 948000 | #Constraints: 46641
37.16/37.39 c #Conflicts: 949000 | #Constraints: 47641
37.16/37.39 c #Conflicts: 950000 | #Constraints: 48641
37.16/37.39 c #Conflicts: 951000 | #Constraints: 49641
37.16/37.39 c #Conflicts: 952000 | #Constraints: 50641
37.16/37.39 c #Conflicts: 953000 | #Constraints: 51641
37.16/37.39 c #Conflicts: 954000 | #Constraints: 52641
37.16/37.39 c INPROCESSING
37.16/37.39 c GARBAGE COLLECT
37.16/37.39 c #Conflicts: 955000 | #Constraints: 27759
37.16/37.39 c #Conflicts: 956000 | #Constraints: 28759
37.16/37.39 c #Conflicts: 957000 | #Constraints: 29759
37.16/37.39 c #Conflicts: 958000 | #Constraints: 30759
37.16/37.39 c #Conflicts: 959000 | #Constraints: 31759
37.16/37.39 c #Conflicts: 960000 | #Constraints: 32759
37.16/37.39 c #Conflicts: 961000 | #Constraints: 33759
37.16/37.39 c #Conflicts: 962000 | #Constraints: 34759
37.16/37.39 c #Conflicts: 963000 | #Constraints: 35759
37.16/37.39 c #Conflicts: 964000 | #Constraints: 36759
37.16/37.39 c #Conflicts: 965000 | #Constraints: 37759
37.16/37.39 c #Conflicts: 966000 | #Constraints: 38759
37.16/37.39 c #Conflicts: 967000 | #Constraints: 39759
37.16/37.39 c #Conflicts: 968000 | #Constraints: 40759
37.16/37.39 c #Conflicts: 969000 | #Constraints: 41759
37.16/37.39 c #Conflicts: 970000 | #Constraints: 42759
37.16/37.39 c #Conflicts: 971000 | #Constraints: 43759
37.16/37.39 c #Conflicts: 972000 | #Constraints: 44759
37.16/37.39 c #Conflicts: 973000 | #Constraints: 45759
37.16/37.39 c #Conflicts: 974000 | #Constraints: 46759
37.16/37.39 c #Conflicts: 975000 | #Constraints: 47759
37.16/37.39 c #Conflicts: 976000 | #Constraints: 48759
37.16/37.39 c #Conflicts: 977000 | #Constraints: 49759
37.16/37.39 c INPROCESSING
37.16/37.39 c GARBAGE COLLECT
37.16/37.39 c #Conflicts: 978000 | #Constraints: 26128
37.16/37.39 c #Conflicts: 979000 | #Constraints: 27128
37.16/37.39 c #Conflicts: 980000 | #Constraints: 28128
37.16/37.39 c #Conflicts: 981000 | #Constraints: 29128
37.16/37.39 c #Conflicts: 982000 | #Constraints: 30128
37.16/37.39 c #Conflicts: 983000 | #Constraints: 31128
37.16/37.39 c #Conflicts: 984000 | #Constraints: 32128
37.16/37.39 c #Conflicts: 985000 | #Constraints: 33128
37.16/37.39 c #Conflicts: 986000 | #Constraints: 34128
37.16/37.39 c #Conflicts: 987000 | #Constraints: 35128
37.16/37.39 c #Conflicts: 988000 | #Constraints: 36128
37.16/37.39 c #Conflicts: 989000 | #Constraints: 37128
37.16/37.39 c #Conflicts: 990000 | #Constraints: 38128
40.96/41.18 c #Conflicts: 991000 | #Constraints: 39128
40.96/41.18 c #Conflicts: 992000 | #Constraints: 40128
40.96/41.18 c #Conflicts: 993000 | #Constraints: 41128
40.96/41.18 c #Conflicts: 994000 | #Constraints: 42128
40.96/41.18 c #Conflicts: 995000 | #Constraints: 43128
40.96/41.18 c #Conflicts: 996000 | #Constraints: 44128
40.96/41.18 c #Conflicts: 997000 | #Constraints: 45128
40.96/41.18 c #Conflicts: 998000 | #Constraints: 46128
40.96/41.18 c #Conflicts: 999000 | #Constraints: 47128
40.96/41.18 c #Conflicts: 1000000 | #Constraints: 48128
40.96/41.18 c #Conflicts: 1001000 | #Constraints: 49128
40.96/41.18 c #Conflicts: 1002000 | #Constraints: 50128
40.96/41.18 c #Conflicts: 1003000 | #Constraints: 51128
40.96/41.18 c #Conflicts: 1004000 | #Constraints: 52128
40.96/41.18 c #Conflicts: 1005000 | #Constraints: 53128
40.96/41.18 c #Conflicts: 1006000 | #Constraints: 54128
40.96/41.18 c #Conflicts: 1007000 | #Constraints: 55128
40.96/41.18 c #Conflicts: 1008000 | #Constraints: 56128
40.96/41.18 c #Conflicts: 1009000 | #Constraints: 57128
40.96/41.18 c #Conflicts: 1010000 | #Constraints: 58128
40.96/41.18 c #Conflicts: 1011000 | #Constraints: 59128
40.96/41.18 c #Conflicts: 1012000 | #Constraints: 60128
40.96/41.18 c #Conflicts: 1013000 | #Constraints: 61128
40.96/41.18 c #Conflicts: 1014000 | #Constraints: 62128
40.96/41.18 c #Conflicts: 1015000 | #Constraints: 63128
40.96/41.18 c #Conflicts: 1016000 | #Constraints: 64128
40.96/41.18 c #Conflicts: 1017000 | #Constraints: 65128
40.96/41.18 c #Conflicts: 1018000 | #Constraints: 66128
40.96/41.18 c #Conflicts: 1019000 | #Constraints: 67128
40.96/41.18 c #Conflicts: 1020000 | #Constraints: 68128
40.96/41.18 c #Conflicts: 1021000 | #Constraints: 69128
40.96/41.18 c #Conflicts: 1022000 | #Constraints: 70128
40.96/41.18 c #Conflicts: 1023000 | #Constraints: 71128
40.96/41.18 c #Conflicts: 1024000 | #Constraints: 72128
40.96/41.18 c #Conflicts: 1025000 | #Constraints: 73128
40.96/41.18 c #Conflicts: 1026000 | #Constraints: 74128
40.96/41.18 c #Conflicts: 1027000 | #Constraints: 75128
40.96/41.18 c #Conflicts: 1028000 | #Constraints: 76128
40.96/41.18 c #Conflicts: 1029000 | #Constraints: 77128
40.96/41.18 c #Conflicts: 1030000 | #Constraints: 78128
40.96/41.18 c #Conflicts: 1031000 | #Constraints: 79128
40.96/41.18 c #Conflicts: 1032000 | #Constraints: 80128
40.96/41.18 c #Conflicts: 1033000 | #Constraints: 81128
40.96/41.18 c #Conflicts: 1034000 | #Constraints: 82128
40.96/41.18 c #Conflicts: 1035000 | #Constraints: 83128
40.96/41.18 c #Conflicts: 1036000 | #Constraints: 84128
40.96/41.18 c #Conflicts: 1037000 | #Constraints: 85128
40.96/41.18 c #Conflicts: 1038000 | #Constraints: 86128
40.96/41.18 c #Conflicts: 1039000 | #Constraints: 87128
40.96/41.18 c #Conflicts: 1040000 | #Constraints: 88128
40.96/41.18 c #Conflicts: 1041000 | #Constraints: 89128
40.96/41.18 c #Conflicts: 1042000 | #Constraints: 90128
40.96/41.18 c #Conflicts: 1043000 | #Constraints: 91128
40.96/41.18 c #Conflicts: 1044000 | #Constraints: 92128
40.96/41.18 c #Conflicts: 1045000 | #Constraints: 93128
40.96/41.18 c #Conflicts: 1046000 | #Constraints: 94128
40.96/41.18 c #Conflicts: 1047000 | #Constraints: 95128
40.96/41.18 c #Conflicts: 1048000 | #Constraints: 96128
40.96/41.18 c #Conflicts: 1049000 | #Constraints: 97128
40.96/41.18 c #Conflicts: 1050000 | #Constraints: 98128
40.96/41.18 c INPROCESSING
40.96/41.18 c GARBAGE COLLECT
40.96/41.18 c #Conflicts: 1051000 | #Constraints: 50253
40.96/41.18 c #Conflicts: 1052000 | #Constraints: 51253
40.96/41.18 c #Conflicts: 1053000 | #Constraints: 52253
40.96/41.18 c #Conflicts: 1054000 | #Constraints: 53253
40.96/41.18 c #Conflicts: 1055000 | #Constraints: 54253
40.96/41.18 c #Conflicts: 1056000 | #Constraints: 55253
40.96/41.18 c #Conflicts: 1057000 | #Constraints: 56253
40.96/41.18 c #Conflicts: 1058000 | #Constraints: 57253
40.96/41.18 c #Conflicts: 1059000 | #Constraints: 58253
40.96/41.18 c #Conflicts: 1060000 | #Constraints: 59253
40.96/41.18 c #Conflicts: 1061000 | #Constraints: 60253
40.96/41.18 c #Conflicts: 1062000 | #Constraints: 61253
40.96/41.18 c #Conflicts: 1063000 | #Constraints: 62253
40.96/41.18 c #Conflicts: 1064000 | #Constraints: 63253
40.96/41.18 c #Conflicts: 1065000 | #Constraints: 64253
40.96/41.18 c #Conflicts: 1066000 | #Constraints: 65253
40.96/41.18 c #Conflicts: 1067000 | #Constraints: 66253
40.96/41.18 c #Conflicts: 1068000 | #Constraints: 67253
43.64/43.88 c #Conflicts: 1069000 | #Constraints: 68253
43.64/43.88 c #Conflicts: 1070000 | #Constraints: 69253
43.64/43.88 c #Conflicts: 1071000 | #Constraints: 70253
43.64/43.88 c #Conflicts: 1072000 | #Constraints: 71253
43.64/43.88 c #Conflicts: 1073000 | #Constraints: 72253
43.64/43.88 c #Conflicts: 1074000 | #Constraints: 73253
43.64/43.88 c #Conflicts: 1075000 | #Constraints: 74253
43.64/43.88 c INPROCESSING
43.64/43.88 c GARBAGE COLLECT
43.64/43.88 c #Conflicts: 1076000 | #Constraints: 38471
43.64/43.88 c #Conflicts: 1077000 | #Constraints: 39471
43.64/43.88 c #Conflicts: 1078000 | #Constraints: 40471
43.64/43.88 c #Conflicts: 1079000 | #Constraints: 41471
43.64/43.88 c #Conflicts: 1080000 | #Constraints: 42471
43.64/43.88 c #Conflicts: 1081000 | #Constraints: 43471
43.64/43.88 c #Conflicts: 1082000 | #Constraints: 44471
43.64/43.88 c #Conflicts: 1083000 | #Constraints: 45471
43.64/43.88 c #Conflicts: 1084000 | #Constraints: 46471
43.64/43.88 c #Conflicts: 1085000 | #Constraints: 47471
43.64/43.88 c #Conflicts: 1086000 | #Constraints: 48471
43.64/43.88 c #Conflicts: 1087000 | #Constraints: 49471
43.64/43.88 c #Conflicts: 1088000 | #Constraints: 50471
43.64/43.88 c #Conflicts: 1089000 | #Constraints: 51471
43.64/43.88 c #Conflicts: 1090000 | #Constraints: 52471
43.64/43.88 c #Conflicts: 1091000 | #Constraints: 53471
43.64/43.88 c #Conflicts: 1092000 | #Constraints: 54471
43.64/43.88 c #Conflicts: 1093000 | #Constraints: 55471
43.64/43.88 c #Conflicts: 1094000 | #Constraints: 56471
43.64/43.88 c #Conflicts: 1095000 | #Constraints: 57471
43.64/43.88 c #Conflicts: 1096000 | #Constraints: 58471
43.64/43.88 c #Conflicts: 1097000 | #Constraints: 59471
43.64/43.88 c #Conflicts: 1098000 | #Constraints: 60471
43.64/43.88 c #Conflicts: 1099000 | #Constraints: 61471
43.64/43.88 c #Conflicts: 1100000 | #Constraints: 62471
43.64/43.88 c INPROCESSING
43.64/43.88 c GARBAGE COLLECT
43.64/43.88 c #Conflicts: 1101000 | #Constraints: 32629
43.64/43.88 c #Conflicts: 1102000 | #Constraints: 33629
43.64/43.88 c #Conflicts: 1103000 | #Constraints: 34629
43.64/43.88 c #Conflicts: 1104000 | #Constraints: 35629
43.64/43.88 c #Conflicts: 1105000 | #Constraints: 36629
43.64/43.88 c #Conflicts: 1106000 | #Constraints: 37629
43.64/43.88 c #Conflicts: 1107000 | #Constraints: 38629
43.64/43.88 c #Conflicts: 1108000 | #Constraints: 39629
43.64/43.88 c #Conflicts: 1109000 | #Constraints: 40629
43.64/43.88 c #Conflicts: 1110000 | #Constraints: 41629
43.64/43.88 c #Conflicts: 1111000 | #Constraints: 42629
43.64/43.88 c #Conflicts: 1112000 | #Constraints: 43629
43.64/43.88 c #Conflicts: 1113000 | #Constraints: 44629
43.64/43.88 c #Conflicts: 1114000 | #Constraints: 45629
43.64/43.88 c #Conflicts: 1115000 | #Constraints: 46629
43.64/43.88 c #Conflicts: 1116000 | #Constraints: 47629
43.64/43.88 c #Conflicts: 1117000 | #Constraints: 48629
43.64/43.88 c #Conflicts: 1118000 | #Constraints: 49629
43.64/43.88 c #Conflicts: 1119000 | #Constraints: 50629
43.64/43.88 c #Conflicts: 1120000 | #Constraints: 51629
43.64/43.88 c #Conflicts: 1121000 | #Constraints: 52629
43.64/43.88 c #Conflicts: 1122000 | #Constraints: 53629
43.64/43.88 c #Conflicts: 1123000 | #Constraints: 54629
43.64/43.88 c #Conflicts: 1124000 | #Constraints: 55629
43.64/43.88 c #Conflicts: 1125000 | #Constraints: 56629
43.64/43.88 c INPROCESSING
43.64/43.88 c GARBAGE COLLECT
43.64/43.88 c #Conflicts: 1126000 | #Constraints: 29665
43.64/43.88 c #Conflicts: 1127000 | #Constraints: 30665
43.64/43.88 c #Conflicts: 1128000 | #Constraints: 31665
43.64/43.88 c #Conflicts: 1129000 | #Constraints: 32665
43.64/43.88 c #Conflicts: 1130000 | #Constraints: 33665
43.64/43.88 c #Conflicts: 1131000 | #Constraints: 34665
43.64/43.88 c #Conflicts: 1132000 | #Constraints: 35665
43.64/43.88 c #Conflicts: 1133000 | #Constraints: 36665
43.64/43.88 c #Conflicts: 1134000 | #Constraints: 37665
43.64/43.88 c #Conflicts: 1135000 | #Constraints: 38665
43.64/43.88 c #Conflicts: 1136000 | #Constraints: 39665
43.64/43.88 c #Conflicts: 1137000 | #Constraints: 40665
43.64/43.88 c #Conflicts: 1138000 | #Constraints: 41665
43.64/43.88 c #Conflicts: 1139000 | #Constraints: 42665
43.64/43.88 c #Conflicts: 1140000 | #Constraints: 43665
43.64/43.88 c #Conflicts: 1141000 | #Constraints: 44665
43.64/43.88 c #Conflicts: 1142000 | #Constraints: 45665
43.64/43.88 c #Conflicts: 1143000 | #Constraints: 46665
43.64/43.88 c #Conflicts: 1144000 | #Constraints: 47665
43.64/43.88 c #Conflicts: 1145000 | #Constraints: 48665
46.13/46.32 c #Conflicts: 1146000 | #Constraints: 49665
46.13/46.32 c #Conflicts: 1147000 | #Constraints: 50665
46.13/46.32 c #Conflicts: 1148000 | #Constraints: 51665
46.13/46.32 c #Conflicts: 1149000 | #Constraints: 52665
46.13/46.32 c #Conflicts: 1150000 | #Constraints: 53665
46.13/46.32 c INPROCESSING
46.13/46.32 c GARBAGE COLLECT
46.13/46.32 c #Conflicts: 1151000 | #Constraints: 28025
46.13/46.32 c #Conflicts: 1152000 | #Constraints: 29025
46.13/46.32 c #Conflicts: 1153000 | #Constraints: 30025
46.13/46.32 c #Conflicts: 1154000 | #Constraints: 31025
46.13/46.32 c #Conflicts: 1155000 | #Constraints: 32025
46.13/46.32 c #Conflicts: 1156000 | #Constraints: 33025
46.13/46.32 c #Conflicts: 1157000 | #Constraints: 34025
46.13/46.32 c #Conflicts: 1158000 | #Constraints: 35025
46.13/46.32 c #Conflicts: 1159000 | #Constraints: 36025
46.13/46.32 c #Conflicts: 1160000 | #Constraints: 37025
46.13/46.32 c #Conflicts: 1161000 | #Constraints: 38025
46.13/46.32 c #Conflicts: 1162000 | #Constraints: 39025
46.13/46.32 c #Conflicts: 1163000 | #Constraints: 40025
46.13/46.32 c #Conflicts: 1164000 | #Constraints: 41025
46.13/46.32 c #Conflicts: 1165000 | #Constraints: 42025
46.13/46.32 c #Conflicts: 1166000 | #Constraints: 43025
46.13/46.32 c #Conflicts: 1167000 | #Constraints: 44025
46.13/46.32 c #Conflicts: 1168000 | #Constraints: 45025
46.13/46.32 c #Conflicts: 1169000 | #Constraints: 46025
46.13/46.32 c #Conflicts: 1170000 | #Constraints: 47025
46.13/46.32 c #Conflicts: 1171000 | #Constraints: 48025
46.13/46.32 c #Conflicts: 1172000 | #Constraints: 49025
46.13/46.32 c #Conflicts: 1173000 | #Constraints: 50025
46.13/46.32 c #Conflicts: 1174000 | #Constraints: 51025
46.13/46.32 c #Conflicts: 1175000 | #Constraints: 52025
46.13/46.32 c #Conflicts: 1176000 | #Constraints: 53025
46.13/46.32 c INPROCESSING
46.13/46.32 c GARBAGE COLLECT
46.13/46.32 c #Conflicts: 1177000 | #Constraints: 27958
46.13/46.32 c #Conflicts: 1178000 | #Constraints: 28958
46.13/46.32 c #Conflicts: 1179000 | #Constraints: 29958
46.13/46.32 c #Conflicts: 1180000 | #Constraints: 30958
46.13/46.32 c #Conflicts: 1181000 | #Constraints: 31958
46.13/46.32 c #Conflicts: 1182000 | #Constraints: 32958
46.13/46.32 c #Conflicts: 1183000 | #Constraints: 33958
46.13/46.32 c #Conflicts: 1184000 | #Constraints: 34958
46.13/46.32 c #Conflicts: 1185000 | #Constraints: 35958
46.13/46.32 c #Conflicts: 1186000 | #Constraints: 36958
46.13/46.32 c #Conflicts: 1187000 | #Constraints: 37958
46.13/46.32 c #Conflicts: 1188000 | #Constraints: 38958
46.13/46.32 c #Conflicts: 1189000 | #Constraints: 39958
46.13/46.32 c #Conflicts: 1190000 | #Constraints: 40958
46.13/46.32 c #Conflicts: 1191000 | #Constraints: 41958
46.13/46.32 c #Conflicts: 1192000 | #Constraints: 42958
46.13/46.32 c #Conflicts: 1193000 | #Constraints: 43958
46.13/46.32 c #Conflicts: 1194000 | #Constraints: 44958
46.13/46.32 c #Conflicts: 1195000 | #Constraints: 45958
46.13/46.32 c #Conflicts: 1196000 | #Constraints: 46958
46.13/46.32 c #Conflicts: 1197000 | #Constraints: 47958
46.13/46.32 c #Conflicts: 1198000 | #Constraints: 48958
46.13/46.32 c #Conflicts: 1199000 | #Constraints: 49958
46.13/46.32 c #Conflicts: 1200000 | #Constraints: 50958
46.13/46.32 c #Conflicts: 1201000 | #Constraints: 51958
46.13/46.32 c INPROCESSING
46.13/46.32 c GARBAGE COLLECT
46.13/46.32 c #Conflicts: 1202000 | #Constraints: 27073
46.13/46.32 c #Conflicts: 1203000 | #Constraints: 28073
46.13/46.32 c #Conflicts: 1204000 | #Constraints: 29073
46.13/46.32 c #Conflicts: 1205000 | #Constraints: 30073
46.13/46.32 c #Conflicts: 1206000 | #Constraints: 31073
46.13/46.32 c #Conflicts: 1207000 | #Constraints: 32073
46.13/46.32 c #Conflicts: 1208000 | #Constraints: 33073
46.13/46.32 c #Conflicts: 1209000 | #Constraints: 34073
46.13/46.32 c #Conflicts: 1210000 | #Constraints: 35073
46.13/46.32 c #Conflicts: 1211000 | #Constraints: 36073
46.13/46.32 c #Conflicts: 1212000 | #Constraints: 37073
46.13/46.32 c #Conflicts: 1213000 | #Constraints: 38073
46.13/46.32 c #Conflicts: 1214000 | #Constraints: 39073
46.13/46.32 c #Conflicts: 1215000 | #Constraints: 40073
46.13/46.32 c #Conflicts: 1216000 | #Constraints: 41073
46.13/46.32 c #Conflicts: 1217000 | #Constraints: 42073
46.13/46.32 c #Conflicts: 1218000 | #Constraints: 43073
46.13/46.32 c #Conflicts: 1219000 | #Constraints: 44073
46.13/46.32 c #Conflicts: 1220000 | #Constraints: 45073
46.13/46.32 c #Conflicts: 1221000 | #Constraints: 46073
46.13/46.32 c #Conflicts: 1222000 | #Constraints: 47073
50.43/50.66 c #Conflicts: 1223000 | #Constraints: 48073
50.43/50.66 c #Conflicts: 1224000 | #Constraints: 49073
50.43/50.66 c #Conflicts: 1225000 | #Constraints: 50073
50.43/50.66 c #Conflicts: 1226000 | #Constraints: 51073
50.43/50.66 c #Conflicts: 1227000 | #Constraints: 52073
50.43/50.66 c #Conflicts: 1228000 | #Constraints: 53073
50.43/50.66 c #Conflicts: 1229000 | #Constraints: 54073
50.43/50.66 c #Conflicts: 1230000 | #Constraints: 55073
50.43/50.66 c #Conflicts: 1231000 | #Constraints: 56073
50.43/50.66 c #Conflicts: 1232000 | #Constraints: 57073
50.43/50.66 c #Conflicts: 1233000 | #Constraints: 58073
50.43/50.66 c #Conflicts: 1234000 | #Constraints: 59073
50.43/50.66 c #Conflicts: 1235000 | #Constraints: 60073
50.43/50.66 c #Conflicts: 1236000 | #Constraints: 61073
50.43/50.66 c #Conflicts: 1237000 | #Constraints: 62073
50.43/50.66 c #Conflicts: 1238000 | #Constraints: 63073
50.43/50.66 c #Conflicts: 1239000 | #Constraints: 64073
50.43/50.66 c #Conflicts: 1240000 | #Constraints: 65073
50.43/50.66 c #Conflicts: 1241000 | #Constraints: 66073
50.43/50.66 c #Conflicts: 1242000 | #Constraints: 67073
50.43/50.66 c #Conflicts: 1243000 | #Constraints: 68073
50.43/50.66 c #Conflicts: 1244000 | #Constraints: 69073
50.43/50.66 c #Conflicts: 1245000 | #Constraints: 70073
50.43/50.66 c #Conflicts: 1246000 | #Constraints: 71073
50.43/50.66 c #Conflicts: 1247000 | #Constraints: 72073
50.43/50.66 c #Conflicts: 1248000 | #Constraints: 73073
50.43/50.66 c #Conflicts: 1249000 | #Constraints: 74073
50.43/50.66 c #Conflicts: 1250000 | #Constraints: 75073
50.43/50.66 c #Conflicts: 1251000 | #Constraints: 76073
50.43/50.66 c #Conflicts: 1252000 | #Constraints: 77073
50.43/50.66 c #Conflicts: 1253000 | #Constraints: 78073
50.43/50.66 c #Conflicts: 1254000 | #Constraints: 79073
50.43/50.66 c #Conflicts: 1255000 | #Constraints: 80073
50.43/50.66 c #Conflicts: 1256000 | #Constraints: 81073
50.43/50.66 c #Conflicts: 1257000 | #Constraints: 82073
50.43/50.66 c #Conflicts: 1258000 | #Constraints: 83073
50.43/50.66 c #Conflicts: 1259000 | #Constraints: 84073
50.43/50.66 c #Conflicts: 1260000 | #Constraints: 85073
50.43/50.66 c #Conflicts: 1261000 | #Constraints: 86073
50.43/50.66 c #Conflicts: 1262000 | #Constraints: 87073
50.43/50.66 c #Conflicts: 1263000 | #Constraints: 88073
50.43/50.66 c #Conflicts: 1264000 | #Constraints: 89073
50.43/50.66 c #Conflicts: 1265000 | #Constraints: 90073
50.43/50.66 c #Conflicts: 1266000 | #Constraints: 91073
50.43/50.66 c #Conflicts: 1267000 | #Constraints: 92073
50.43/50.66 c #Conflicts: 1268000 | #Constraints: 93073
50.43/50.66 c #Conflicts: 1269000 | #Constraints: 94073
50.43/50.66 c #Conflicts: 1270000 | #Constraints: 95073
50.43/50.66 c #Conflicts: 1271000 | #Constraints: 96073
50.43/50.66 c #Conflicts: 1272000 | #Constraints: 97073
50.43/50.66 c #Conflicts: 1273000 | #Constraints: 98073
50.43/50.66 c #Conflicts: 1274000 | #Constraints: 99073
50.43/50.66 c #Conflicts: 1275000 | #Constraints: 100073
50.43/50.66 c #Conflicts: 1276000 | #Constraints: 101073
50.43/50.66 c #Conflicts: 1277000 | #Constraints: 102073
50.43/50.66 c #Conflicts: 1278000 | #Constraints: 103073
50.43/50.66 c #Conflicts: 1279000 | #Constraints: 104073
50.43/50.66 c #Conflicts: 1280000 | #Constraints: 105073
50.43/50.66 c #Conflicts: 1281000 | #Constraints: 106073
50.43/50.66 c #Conflicts: 1282000 | #Constraints: 107073
50.43/50.66 c #Conflicts: 1283000 | #Constraints: 108073
50.43/50.66 c INPROCESSING
50.43/50.66 c GARBAGE COLLECT
50.43/50.66 c #Conflicts: 1284000 | #Constraints: 55282
50.43/50.66 c #Conflicts: 1285000 | #Constraints: 56282
50.43/50.66 c #Conflicts: 1286000 | #Constraints: 57282
50.43/50.66 c #Conflicts: 1287000 | #Constraints: 58282
50.43/50.66 c #Conflicts: 1288000 | #Constraints: 59282
50.43/50.66 c #Conflicts: 1289000 | #Constraints: 60282
50.43/50.66 c #Conflicts: 1290000 | #Constraints: 61282
50.43/50.66 c #Conflicts: 1291000 | #Constraints: 62282
50.43/50.66 c #Conflicts: 1292000 | #Constraints: 63282
50.43/50.66 c #Conflicts: 1293000 | #Constraints: 64282
50.43/50.66 c #Conflicts: 1294000 | #Constraints: 65282
50.43/50.66 c #Conflicts: 1295000 | #Constraints: 66282
50.43/50.66 c #Conflicts: 1296000 | #Constraints: 67282
50.43/50.66 c #Conflicts: 1297000 | #Constraints: 68282
50.43/50.66 c #Conflicts: 1298000 | #Constraints: 69282
50.43/50.66 c #Conflicts: 1299000 | #Constraints: 70282
50.43/50.66 c #Conflicts: 1300000 | #Constraints: 71282
53.61/53.89 c #Conflicts: 1301000 | #Constraints: 72282
53.61/53.89 c #Conflicts: 1302000 | #Constraints: 73282
53.61/53.89 c #Conflicts: 1303000 | #Constraints: 74282
53.61/53.89 c #Conflicts: 1304000 | #Constraints: 75282
53.61/53.89 c #Conflicts: 1305000 | #Constraints: 76282
53.61/53.89 c #Conflicts: 1306000 | #Constraints: 77282
53.61/53.89 c #Conflicts: 1307000 | #Constraints: 78282
53.61/53.89 c #Conflicts: 1308000 | #Constraints: 79282
53.61/53.89 c #Conflicts: 1309000 | #Constraints: 80282
53.61/53.89 c #Conflicts: 1310000 | #Constraints: 81282
53.61/53.89 c INPROCESSING
53.61/53.89 c GARBAGE COLLECT
53.61/53.89 c #Conflicts: 1311000 | #Constraints: 41884
53.61/53.89 c #Conflicts: 1312000 | #Constraints: 42884
53.61/53.89 c #Conflicts: 1313000 | #Constraints: 43884
53.61/53.89 c #Conflicts: 1314000 | #Constraints: 44884
53.61/53.89 c #Conflicts: 1315000 | #Constraints: 45884
53.61/53.89 c #Conflicts: 1316000 | #Constraints: 46884
53.61/53.89 c #Conflicts: 1317000 | #Constraints: 47884
53.61/53.89 c #Conflicts: 1318000 | #Constraints: 48884
53.61/53.89 c #Conflicts: 1319000 | #Constraints: 49884
53.61/53.89 c #Conflicts: 1320000 | #Constraints: 50884
53.61/53.89 c #Conflicts: 1321000 | #Constraints: 51884
53.61/53.89 c #Conflicts: 1322000 | #Constraints: 52884
53.61/53.89 c #Conflicts: 1323000 | #Constraints: 53884
53.61/53.89 c #Conflicts: 1324000 | #Constraints: 54884
53.61/53.89 c #Conflicts: 1325000 | #Constraints: 55884
53.61/53.89 c #Conflicts: 1326000 | #Constraints: 56884
53.61/53.89 c #Conflicts: 1327000 | #Constraints: 57884
53.61/53.89 c #Conflicts: 1328000 | #Constraints: 58884
53.61/53.89 c #Conflicts: 1329000 | #Constraints: 59884
53.61/53.89 c #Conflicts: 1330000 | #Constraints: 60884
53.61/53.89 c #Conflicts: 1331000 | #Constraints: 61884
53.61/53.89 c #Conflicts: 1332000 | #Constraints: 62884
53.61/53.89 c #Conflicts: 1333000 | #Constraints: 63884
53.61/53.89 c #Conflicts: 1334000 | #Constraints: 64884
53.61/53.89 c #Conflicts: 1335000 | #Constraints: 65884
53.61/53.89 c #Conflicts: 1336000 | #Constraints: 66884
53.61/53.89 c #Conflicts: 1337000 | #Constraints: 67884
53.61/53.89 c INPROCESSING
53.61/53.89 c GARBAGE COLLECT
53.61/53.89 c #Conflicts: 1338000 | #Constraints: 35089
53.61/53.89 c #Conflicts: 1339000 | #Constraints: 36089
53.61/53.89 c #Conflicts: 1340000 | #Constraints: 37089
53.61/53.89 c #Conflicts: 1341000 | #Constraints: 38089
53.61/53.89 c #Conflicts: 1342000 | #Constraints: 39089
53.61/53.89 c #Conflicts: 1343000 | #Constraints: 40089
53.61/53.89 c #Conflicts: 1344000 | #Constraints: 41089
53.61/53.89 c #Conflicts: 1345000 | #Constraints: 42089
53.61/53.89 c #Conflicts: 1346000 | #Constraints: 43089
53.61/53.89 c #Conflicts: 1347000 | #Constraints: 44089
53.61/53.89 c #Conflicts: 1348000 | #Constraints: 45089
53.61/53.89 c #Conflicts: 1349000 | #Constraints: 46089
53.61/53.89 c #Conflicts: 1350000 | #Constraints: 47089
53.61/53.89 c #Conflicts: 1351000 | #Constraints: 48089
53.61/53.89 c #Conflicts: 1352000 | #Constraints: 49089
53.61/53.89 c #Conflicts: 1353000 | #Constraints: 50089
53.61/53.89 c #Conflicts: 1354000 | #Constraints: 51089
53.61/53.89 c #Conflicts: 1355000 | #Constraints: 52089
53.61/53.89 c #Conflicts: 1356000 | #Constraints: 53089
53.61/53.89 c #Conflicts: 1357000 | #Constraints: 54089
53.61/53.89 c #Conflicts: 1358000 | #Constraints: 55089
53.61/53.89 c #Conflicts: 1359000 | #Constraints: 56089
53.61/53.89 c #Conflicts: 1360000 | #Constraints: 57089
53.61/53.89 c #Conflicts: 1361000 | #Constraints: 58089
53.61/53.89 c #Conflicts: 1362000 | #Constraints: 59089
53.61/53.89 c #Conflicts: 1363000 | #Constraints: 60089
53.61/53.89 c #Conflicts: 1364000 | #Constraints: 61089
53.61/53.89 c #Conflicts: 1365000 | #Constraints: 62089
53.61/53.89 c INPROCESSING
53.61/53.89 c GARBAGE COLLECT
53.61/53.89 c #Conflicts: 1366000 | #Constraints: 32494
53.61/53.89 c #Conflicts: 1367000 | #Constraints: 33494
53.61/53.89 c #Conflicts: 1368000 | #Constraints: 34494
53.61/53.89 c #Conflicts: 1369000 | #Constraints: 35494
53.61/53.89 c #Conflicts: 1370000 | #Constraints: 36494
53.61/53.89 c #Conflicts: 1371000 | #Constraints: 37494
53.61/53.89 c #Conflicts: 1372000 | #Constraints: 38494
53.61/53.89 c #Conflicts: 1373000 | #Constraints: 39494
53.61/53.89 c #Conflicts: 1374000 | #Constraints: 40494
53.61/53.89 c #Conflicts: 1375000 | #Constraints: 41494
53.61/53.89 c #Conflicts: 1376000 | #Constraints: 42494
53.61/53.89 c #Conflicts: 1377000 | #Constraints: 43494
56.31/56.59 c #Conflicts: 1378000 | #Constraints: 44494
56.31/56.59 c #Conflicts: 1379000 | #Constraints: 45494
56.31/56.59 c #Conflicts: 1380000 | #Constraints: 46494
56.31/56.59 c #Conflicts: 1381000 | #Constraints: 47494
56.31/56.59 c #Conflicts: 1382000 | #Constraints: 48494
56.31/56.59 c #Conflicts: 1383000 | #Constraints: 49494
56.31/56.59 c #Conflicts: 1384000 | #Constraints: 50494
56.31/56.59 c #Conflicts: 1385000 | #Constraints: 51494
56.31/56.59 c #Conflicts: 1386000 | #Constraints: 52494
56.31/56.59 c #Conflicts: 1387000 | #Constraints: 53494
56.31/56.59 c #Conflicts: 1388000 | #Constraints: 54494
56.31/56.59 c #Conflicts: 1389000 | #Constraints: 55494
56.31/56.59 c #Conflicts: 1390000 | #Constraints: 56494
56.31/56.59 c #Conflicts: 1391000 | #Constraints: 57494
56.31/56.59 c #Conflicts: 1392000 | #Constraints: 58494
56.31/56.59 c INPROCESSING
56.31/56.59 c GARBAGE COLLECT
56.31/56.59 c #Conflicts: 1393000 | #Constraints: 30395
56.31/56.59 c #Conflicts: 1394000 | #Constraints: 31395
56.31/56.59 c #Conflicts: 1395000 | #Constraints: 32395
56.31/56.59 c #Conflicts: 1396000 | #Constraints: 33395
56.31/56.59 c #Conflicts: 1397000 | #Constraints: 34395
56.31/56.59 c #Conflicts: 1398000 | #Constraints: 35395
56.31/56.59 c #Conflicts: 1399000 | #Constraints: 36395
56.31/56.59 c #Conflicts: 1400000 | #Constraints: 37395
56.31/56.59 c #Conflicts: 1401000 | #Constraints: 38395
56.31/56.59 c #Conflicts: 1402000 | #Constraints: 39395
56.31/56.59 c #Conflicts: 1403000 | #Constraints: 40395
56.31/56.59 c #Conflicts: 1404000 | #Constraints: 41395
56.31/56.59 c #Conflicts: 1405000 | #Constraints: 42395
56.31/56.59 c #Conflicts: 1406000 | #Constraints: 43395
56.31/56.59 c #Conflicts: 1407000 | #Constraints: 44395
56.31/56.59 c #Conflicts: 1408000 | #Constraints: 45395
56.31/56.59 c #Conflicts: 1409000 | #Constraints: 46395
56.31/56.59 c #Conflicts: 1410000 | #Constraints: 47395
56.31/56.59 c #Conflicts: 1411000 | #Constraints: 48395
56.31/56.59 c #Conflicts: 1412000 | #Constraints: 49395
56.31/56.59 c #Conflicts: 1413000 | #Constraints: 50395
56.31/56.59 c #Conflicts: 1414000 | #Constraints: 51395
56.31/56.59 c #Conflicts: 1415000 | #Constraints: 52395
56.31/56.59 c #Conflicts: 1416000 | #Constraints: 53395
56.31/56.59 c #Conflicts: 1417000 | #Constraints: 54395
56.31/56.59 c #Conflicts: 1418000 | #Constraints: 55395
56.31/56.59 c #Conflicts: 1419000 | #Constraints: 56395
56.31/56.59 c #Conflicts: 1420000 | #Constraints: 57395
56.31/56.59 c INPROCESSING
56.31/56.59 c GARBAGE COLLECT
56.31/56.59 c #Conflicts: 1421000 | #Constraints: 29949
56.31/56.59 c #Conflicts: 1422000 | #Constraints: 30949
56.31/56.59 c #Conflicts: 1423000 | #Constraints: 31949
56.31/56.59 c #Conflicts: 1424000 | #Constraints: 32949
56.31/56.59 c #Conflicts: 1425000 | #Constraints: 33949
56.31/56.59 c #Conflicts: 1426000 | #Constraints: 34949
56.31/56.59 c #Conflicts: 1427000 | #Constraints: 35949
56.31/56.59 c #Conflicts: 1428000 | #Constraints: 36949
56.31/56.59 c #Conflicts: 1429000 | #Constraints: 37949
56.31/56.59 c #Conflicts: 1430000 | #Constraints: 38949
56.31/56.59 c #Conflicts: 1431000 | #Constraints: 39949
56.31/56.59 c #Conflicts: 1432000 | #Constraints: 40949
56.31/56.59 c #Conflicts: 1433000 | #Constraints: 41949
56.31/56.59 c #Conflicts: 1434000 | #Constraints: 42949
56.31/56.59 c #Conflicts: 1435000 | #Constraints: 43949
56.31/56.59 c #Conflicts: 1436000 | #Constraints: 44949
56.31/56.59 c #Conflicts: 1437000 | #Constraints: 45949
56.31/56.59 c #Conflicts: 1438000 | #Constraints: 46949
56.31/56.59 c #Conflicts: 1439000 | #Constraints: 47949
56.31/56.59 c #Conflicts: 1440000 | #Constraints: 48949
56.31/56.59 c #Conflicts: 1441000 | #Constraints: 49949
56.31/56.59 c #Conflicts: 1442000 | #Constraints: 50949
56.31/56.59 c #Conflicts: 1443000 | #Constraints: 51949
56.31/56.59 c #Conflicts: 1444000 | #Constraints: 52949
56.31/56.59 c #Conflicts: 1445000 | #Constraints: 53949
56.31/56.59 c #Conflicts: 1446000 | #Constraints: 54949
56.31/56.59 c #Conflicts: 1447000 | #Constraints: 55949
56.31/56.59 c #Conflicts: 1448000 | #Constraints: 56949
56.31/56.59 c INPROCESSING
56.31/56.59 c GARBAGE COLLECT
56.31/56.59 c #Conflicts: 1449000 | #Constraints: 29716
56.31/56.59 c #Conflicts: 1450000 | #Constraints: 30716
56.31/56.59 c #Conflicts: 1451000 | #Constraints: 31716
56.31/56.59 c #Conflicts: 1452000 | #Constraints: 32716
56.31/56.59 c #Conflicts: 1453000 | #Constraints: 33716
56.31/56.59 c #Conflicts: 1454000 | #Constraints: 34716
59.00/59.21 c #Conflicts: 1455000 | #Constraints: 35716
59.00/59.21 c #Conflicts: 1456000 | #Constraints: 36716
59.00/59.21 c #Conflicts: 1457000 | #Constraints: 37716
59.00/59.21 c #Conflicts: 1458000 | #Constraints: 38716
59.00/59.21 c #Conflicts: 1459000 | #Constraints: 39716
59.00/59.21 c #Conflicts: 1460000 | #Constraints: 40716
59.00/59.21 c #Conflicts: 1461000 | #Constraints: 41716
59.00/59.21 c #Conflicts: 1462000 | #Constraints: 42716
59.00/59.21 c #Conflicts: 1463000 | #Constraints: 43716
59.00/59.21 c #Conflicts: 1464000 | #Constraints: 44716
59.00/59.21 c #Conflicts: 1465000 | #Constraints: 45716
59.00/59.21 c #Conflicts: 1466000 | #Constraints: 46716
59.00/59.21 c #Conflicts: 1467000 | #Constraints: 47716
59.00/59.21 c #Conflicts: 1468000 | #Constraints: 48716
59.00/59.21 c #Conflicts: 1469000 | #Constraints: 49716
59.00/59.21 c #Conflicts: 1470000 | #Constraints: 50716
59.00/59.21 c #Conflicts: 1471000 | #Constraints: 51716
59.00/59.21 c #Conflicts: 1472000 | #Constraints: 52716
59.00/59.21 c #Conflicts: 1473000 | #Constraints: 53716
59.00/59.21 c #Conflicts: 1474000 | #Constraints: 54716
59.00/59.21 c #Conflicts: 1475000 | #Constraints: 55716
59.00/59.21 c #Conflicts: 1476000 | #Constraints: 56716
59.00/59.21 c INPROCESSING
59.00/59.21 c GARBAGE COLLECT
59.00/59.21 c #Conflicts: 1477000 | #Constraints: 29501
59.00/59.21 c #Conflicts: 1478000 | #Constraints: 30501
59.00/59.21 c #Conflicts: 1479000 | #Constraints: 31501
59.00/59.21 c #Conflicts: 1480000 | #Constraints: 32501
59.00/59.21 c #Conflicts: 1481000 | #Constraints: 33501
59.00/59.21 c #Conflicts: 1482000 | #Constraints: 34501
59.00/59.21 c #Conflicts: 1483000 | #Constraints: 35501
59.00/59.21 c #Conflicts: 1484000 | #Constraints: 36501
59.00/59.21 c #Conflicts: 1485000 | #Constraints: 37501
59.00/59.21 c #Conflicts: 1486000 | #Constraints: 38501
59.00/59.21 c #Conflicts: 1487000 | #Constraints: 39501
59.00/59.21 c #Conflicts: 1488000 | #Constraints: 40501
59.00/59.21 c #Conflicts: 1489000 | #Constraints: 41501
59.00/59.21 c #Conflicts: 1490000 | #Constraints: 42501
59.00/59.21 c #Conflicts: 1491000 | #Constraints: 43501
59.00/59.21 c #Conflicts: 1492000 | #Constraints: 44501
59.00/59.21 c #Conflicts: 1493000 | #Constraints: 45501
59.00/59.21 c #Conflicts: 1494000 | #Constraints: 46501
59.00/59.21 c #Conflicts: 1495000 | #Constraints: 47501
59.00/59.21 c #Conflicts: 1496000 | #Constraints: 48501
59.00/59.21 c #Conflicts: 1497000 | #Constraints: 49501
59.00/59.21 c #Conflicts: 1498000 | #Constraints: 50501
59.00/59.21 c #Conflicts: 1499000 | #Constraints: 51501
59.00/59.21 c #Conflicts: 1500000 | #Constraints: 52501
59.00/59.21 c #Conflicts: 1501000 | #Constraints: 53501
59.00/59.21 c #Conflicts: 1502000 | #Constraints: 54501
59.00/59.21 c #Conflicts: 1503000 | #Constraints: 55501
59.00/59.21 c #Conflicts: 1504000 | #Constraints: 56501
59.00/59.21 c #Conflicts: 1505000 | #Constraints: 57501
59.00/59.21 c INPROCESSING
59.00/59.21 c GARBAGE COLLECT
59.00/59.21 c #Conflicts: 1506000 | #Constraints: 30198
59.00/59.21 c #Conflicts: 1507000 | #Constraints: 31198
59.00/59.21 c #Conflicts: 1508000 | #Constraints: 32198
59.00/59.21 c #Conflicts: 1509000 | #Constraints: 33198
59.00/59.21 c #Conflicts: 1510000 | #Constraints: 34198
59.00/59.21 c #Conflicts: 1511000 | #Constraints: 35198
59.00/59.21 c #Conflicts: 1512000 | #Constraints: 36198
59.00/59.21 c #Conflicts: 1513000 | #Constraints: 37198
59.00/59.21 c #Conflicts: 1514000 | #Constraints: 38198
59.00/59.21 c #Conflicts: 1515000 | #Constraints: 39198
59.00/59.21 c #Conflicts: 1516000 | #Constraints: 40198
59.00/59.21 c #Conflicts: 1517000 | #Constraints: 41198
59.00/59.21 c #Conflicts: 1518000 | #Constraints: 42198
59.00/59.21 c #Conflicts: 1519000 | #Constraints: 43198
59.00/59.21 c #Conflicts: 1520000 | #Constraints: 44198
59.00/59.21 c #Conflicts: 1521000 | #Constraints: 45198
59.00/59.21 c #Conflicts: 1522000 | #Constraints: 46198
59.00/59.21 c #Conflicts: 1523000 | #Constraints: 47198
59.00/59.21 c #Conflicts: 1524000 | #Constraints: 48198
59.00/59.21 c #Conflicts: 1525000 | #Constraints: 49198
59.00/59.21 c #Conflicts: 1526000 | #Constraints: 50198
59.00/59.21 c #Conflicts: 1527000 | #Constraints: 51198
59.00/59.21 c #Conflicts: 1528000 | #Constraints: 52198
59.00/59.21 c #Conflicts: 1529000 | #Constraints: 53198
59.00/59.21 c #Conflicts: 1530000 | #Constraints: 54198
59.00/59.21 c #Conflicts: 1531000 | #Constraints: 55198
61.50/61.79 c #Conflicts: 1532000 | #Constraints: 56198
61.50/61.79 c #Conflicts: 1533000 | #Constraints: 57198
61.50/61.79 c INPROCESSING
61.50/61.79 c GARBAGE COLLECT
61.50/61.79 c #Conflicts: 1534000 | #Constraints: 29742
61.50/61.79 c #Conflicts: 1535000 | #Constraints: 30742
61.50/61.79 c #Conflicts: 1536000 | #Constraints: 31742
61.50/61.79 c #Conflicts: 1537000 | #Constraints: 32742
61.50/61.79 c #Conflicts: 1538000 | #Constraints: 33742
61.50/61.79 c #Conflicts: 1539000 | #Constraints: 34742
61.50/61.79 c #Conflicts: 1540000 | #Constraints: 35742
61.50/61.79 c #Conflicts: 1541000 | #Constraints: 36742
61.50/61.79 c #Conflicts: 1542000 | #Constraints: 37742
61.50/61.79 c #Conflicts: 1543000 | #Constraints: 38742
61.50/61.79 c #Conflicts: 1544000 | #Constraints: 39742
61.50/61.79 c #Conflicts: 1545000 | #Constraints: 40742
61.50/61.79 c #Conflicts: 1546000 | #Constraints: 41742
61.50/61.79 c #Conflicts: 1547000 | #Constraints: 42742
61.50/61.79 c #Conflicts: 1548000 | #Constraints: 43742
61.50/61.79 c #Conflicts: 1549000 | #Constraints: 44742
61.50/61.79 c #Conflicts: 1550000 | #Constraints: 45742
61.50/61.79 c #Conflicts: 1551000 | #Constraints: 46742
61.50/61.79 c #Conflicts: 1552000 | #Constraints: 47742
61.50/61.79 c #Conflicts: 1553000 | #Constraints: 48742
61.50/61.79 c #Conflicts: 1554000 | #Constraints: 49742
61.50/61.79 c #Conflicts: 1555000 | #Constraints: 50742
61.50/61.79 c #Conflicts: 1556000 | #Constraints: 51742
61.50/61.79 c #Conflicts: 1557000 | #Constraints: 52742
61.50/61.79 c #Conflicts: 1558000 | #Constraints: 53742
61.50/61.79 c #Conflicts: 1559000 | #Constraints: 54742
61.50/61.79 c #Conflicts: 1560000 | #Constraints: 55742
61.50/61.79 c #Conflicts: 1561000 | #Constraints: 56742
61.50/61.79 c #Conflicts: 1562000 | #Constraints: 57742
61.50/61.79 c INPROCESSING
61.50/61.79 c GARBAGE COLLECT
61.50/61.79 c #Conflicts: 1563000 | #Constraints: 30130
61.50/61.79 c #Conflicts: 1564000 | #Constraints: 31130
61.50/61.79 c #Conflicts: 1565000 | #Constraints: 32130
61.50/61.79 c #Conflicts: 1566000 | #Constraints: 33130
61.50/61.79 c #Conflicts: 1567000 | #Constraints: 34130
61.50/61.79 c #Conflicts: 1568000 | #Constraints: 35130
61.50/61.79 c #Conflicts: 1569000 | #Constraints: 36130
61.50/61.79 c #Conflicts: 1570000 | #Constraints: 37130
61.50/61.79 c #Conflicts: 1571000 | #Constraints: 38130
61.50/61.79 c #Conflicts: 1572000 | #Constraints: 39130
61.50/61.79 c #Conflicts: 1573000 | #Constraints: 40130
61.50/61.79 c #Conflicts: 1574000 | #Constraints: 41130
61.50/61.79 c #Conflicts: 1575000 | #Constraints: 42130
61.50/61.79 c #Conflicts: 1576000 | #Constraints: 43130
61.50/61.79 c #Conflicts: 1577000 | #Constraints: 44130
61.50/61.79 c #Conflicts: 1578000 | #Constraints: 45130
61.50/61.79 c #Conflicts: 1579000 | #Constraints: 46130
61.50/61.79 c #Conflicts: 1580000 | #Constraints: 47130
61.50/61.79 c #Conflicts: 1581000 | #Constraints: 48130
61.50/61.79 c #Conflicts: 1582000 | #Constraints: 49130
61.50/61.79 c #Conflicts: 1583000 | #Constraints: 50130
61.50/61.79 c #Conflicts: 1584000 | #Constraints: 51130
61.50/61.79 c #Conflicts: 1585000 | #Constraints: 52130
61.50/61.79 c #Conflicts: 1586000 | #Constraints: 53130
61.50/61.79 c #Conflicts: 1587000 | #Constraints: 54130
61.50/61.79 c #Conflicts: 1588000 | #Constraints: 55130
61.50/61.79 c #Conflicts: 1589000 | #Constraints: 56130
61.50/61.79 c #Conflicts: 1590000 | #Constraints: 57130
61.50/61.79 c #Conflicts: 1591000 | #Constraints: 58130
61.50/61.79 c INPROCESSING
61.50/61.79 c GARBAGE COLLECT
61.50/61.79 c #Conflicts: 1592000 | #Constraints: 30315
61.50/61.79 c #Conflicts: 1593000 | #Constraints: 31315
61.50/61.79 c #Conflicts: 1594000 | #Constraints: 32315
61.50/61.79 c #Conflicts: 1595000 | #Constraints: 33315
61.50/61.79 c #Conflicts: 1596000 | #Constraints: 34315
61.50/61.79 c #Conflicts: 1597000 | #Constraints: 35315
61.50/61.79 c #Conflicts: 1598000 | #Constraints: 36315
61.50/61.79 c #Conflicts: 1599000 | #Constraints: 37315
61.50/61.79 c #Conflicts: 1600000 | #Constraints: 38315
61.50/61.79 c #Conflicts: 1601000 | #Constraints: 39315
61.50/61.79 c #Conflicts: 1602000 | #Constraints: 40315
61.50/61.79 c #Conflicts: 1603000 | #Constraints: 41315
61.50/61.79 c #Conflicts: 1604000 | #Constraints: 42315
61.50/61.79 c #Conflicts: 1605000 | #Constraints: 43315
61.50/61.79 c #Conflicts: 1606000 | #Constraints: 44315
61.50/61.79 c #Conflicts: 1607000 | #Constraints: 45315
61.50/61.79 c #Conflicts: 1608000 | #Constraints: 46315
64.98/65.22 c #Conflicts: 1609000 | #Constraints: 47315
64.98/65.22 c #Conflicts: 1610000 | #Constraints: 48315
64.98/65.22 c #Conflicts: 1611000 | #Constraints: 49315
64.98/65.22 c #Conflicts: 1612000 | #Constraints: 50315
64.98/65.22 c #Conflicts: 1613000 | #Constraints: 51315
64.98/65.22 c #Conflicts: 1614000 | #Constraints: 52315
64.98/65.22 c #Conflicts: 1615000 | #Constraints: 53315
64.98/65.22 c #Conflicts: 1616000 | #Constraints: 54315
64.98/65.22 c #Conflicts: 1617000 | #Constraints: 55315
64.98/65.22 c #Conflicts: 1618000 | #Constraints: 56315
64.98/65.22 c #Conflicts: 1619000 | #Constraints: 57315
64.98/65.22 c #Conflicts: 1620000 | #Constraints: 58315
64.98/65.22 c INPROCESSING
64.98/65.22 c GARBAGE COLLECT
64.98/65.22 c #Conflicts: 1621000 | #Constraints: 30304
64.98/65.22 c #Conflicts: 1622000 | #Constraints: 31304
64.98/65.22 c #Conflicts: 1623000 | #Constraints: 32304
64.98/65.22 c #Conflicts: 1624000 | #Constraints: 33304
64.98/65.22 c #Conflicts: 1625000 | #Constraints: 34304
64.98/65.22 c #Conflicts: 1626000 | #Constraints: 35304
64.98/65.22 c #Conflicts: 1627000 | #Constraints: 36304
64.98/65.22 c #Conflicts: 1628000 | #Constraints: 37304
64.98/65.22 c #Conflicts: 1629000 | #Constraints: 38304
64.98/65.22 c #Conflicts: 1630000 | #Constraints: 39304
64.98/65.22 c #Conflicts: 1631000 | #Constraints: 40304
64.98/65.22 c #Conflicts: 1632000 | #Constraints: 41304
64.98/65.22 c #Conflicts: 1633000 | #Constraints: 42304
64.98/65.22 c #Conflicts: 1634000 | #Constraints: 43304
64.98/65.22 c #Conflicts: 1635000 | #Constraints: 44304
64.98/65.22 c #Conflicts: 1636000 | #Constraints: 45304
64.98/65.22 c #Conflicts: 1637000 | #Constraints: 46304
64.98/65.22 c #Conflicts: 1638000 | #Constraints: 47304
64.98/65.22 c #Conflicts: 1639000 | #Constraints: 48304
64.98/65.22 c #Conflicts: 1640000 | #Constraints: 49304
64.98/65.22 c #Conflicts: 1641000 | #Constraints: 50304
64.98/65.22 c #Conflicts: 1642000 | #Constraints: 51304
64.98/65.22 c #Conflicts: 1643000 | #Constraints: 52304
64.98/65.22 c #Conflicts: 1644000 | #Constraints: 53304
64.98/65.22 c #Conflicts: 1645000 | #Constraints: 54304
64.98/65.22 c #Conflicts: 1646000 | #Constraints: 55304
64.98/65.22 c #Conflicts: 1647000 | #Constraints: 56304
64.98/65.22 c #Conflicts: 1648000 | #Constraints: 57304
64.98/65.22 c #Conflicts: 1649000 | #Constraints: 58304
64.98/65.22 c #Conflicts: 1650000 | #Constraints: 59304
64.98/65.22 c #Conflicts: 1651000 | #Constraints: 60304
64.98/65.22 c #Conflicts: 1652000 | #Constraints: 61304
64.98/65.22 c #Conflicts: 1653000 | #Constraints: 62304
64.98/65.22 c #Conflicts: 1654000 | #Constraints: 63304
64.98/65.22 c #Conflicts: 1655000 | #Constraints: 64304
64.98/65.22 c #Conflicts: 1656000 | #Constraints: 65304
64.98/65.22 c #Conflicts: 1657000 | #Constraints: 66304
64.98/65.22 c #Conflicts: 1658000 | #Constraints: 67304
64.98/65.22 c #Conflicts: 1659000 | #Constraints: 68304
64.98/65.22 c #Conflicts: 1660000 | #Constraints: 69304
64.98/65.22 c #Conflicts: 1661000 | #Constraints: 70304
64.98/65.22 c #Conflicts: 1662000 | #Constraints: 71304
64.98/65.22 c #Conflicts: 1663000 | #Constraints: 72304
64.98/65.22 c #Conflicts: 1664000 | #Constraints: 73304
64.98/65.22 c #Conflicts: 1665000 | #Constraints: 74304
64.98/65.22 c #Conflicts: 1666000 | #Constraints: 75304
64.98/65.22 c #Conflicts: 1667000 | #Constraints: 76304
64.98/65.22 c #Conflicts: 1668000 | #Constraints: 77304
64.98/65.22 c #Conflicts: 1669000 | #Constraints: 78304
64.98/65.22 c #Conflicts: 1670000 | #Constraints: 79304
64.98/65.22 c #Conflicts: 1671000 | #Constraints: 80304
64.98/65.22 c #Conflicts: 1672000 | #Constraints: 81304
64.98/65.22 c #Conflicts: 1673000 | #Constraints: 82304
64.98/65.22 c #Conflicts: 1674000 | #Constraints: 83304
64.98/65.22 c #Conflicts: 1675000 | #Constraints: 84304
64.98/65.22 c #Conflicts: 1676000 | #Constraints: 85304
64.98/65.22 c #Conflicts: 1677000 | #Constraints: 86304
64.98/65.22 c #Conflicts: 1678000 | #Constraints: 87304
64.98/65.22 c #Conflicts: 1679000 | #Constraints: 88304
64.98/65.22 c #Conflicts: 1680000 | #Constraints: 89304
64.98/65.22 c #Conflicts: 1681000 | #Constraints: 90304
64.98/65.22 c #Conflicts: 1682000 | #Constraints: 91304
64.98/65.22 c #Conflicts: 1683000 | #Constraints: 92304
64.98/65.22 c #Conflicts: 1684000 | #Constraints: 93304
64.98/65.22 c #Conflicts: 1685000 | #Constraints: 94304
64.98/65.22 c #Conflicts: 1686000 | #Constraints: 95304
70.57/70.81 c #Conflicts: 1687000 | #Constraints: 96304
70.57/70.81 c #Conflicts: 1688000 | #Constraints: 97304
70.57/70.81 c #Conflicts: 1689000 | #Constraints: 98304
70.57/70.81 c #Conflicts: 1690000 | #Constraints: 99304
70.57/70.81 c #Conflicts: 1691000 | #Constraints: 100304
70.57/70.81 c #Conflicts: 1692000 | #Constraints: 101304
70.57/70.81 c #Conflicts: 1693000 | #Constraints: 102304
70.57/70.81 c #Conflicts: 1694000 | #Constraints: 103304
70.57/70.81 c #Conflicts: 1695000 | #Constraints: 104304
70.57/70.81 c #Conflicts: 1696000 | #Constraints: 105304
70.57/70.81 c #Conflicts: 1697000 | #Constraints: 106304
70.57/70.81 c #Conflicts: 1698000 | #Constraints: 107304
70.57/70.81 c #Conflicts: 1699000 | #Constraints: 108304
70.57/70.81 c #Conflicts: 1700000 | #Constraints: 109304
70.57/70.81 c #Conflicts: 1701000 | #Constraints: 110304
70.57/70.81 c #Conflicts: 1702000 | #Constraints: 111304
70.57/70.81 c #Conflicts: 1703000 | #Constraints: 112304
70.57/70.81 c #Conflicts: 1704000 | #Constraints: 113304
70.57/70.81 c #Conflicts: 1705000 | #Constraints: 114304
70.57/70.81 c #Conflicts: 1706000 | #Constraints: 115304
70.57/70.81 c #Conflicts: 1707000 | #Constraints: 116304
70.57/70.81 c #Conflicts: 1708000 | #Constraints: 117304
70.57/70.81 c #Conflicts: 1709000 | #Constraints: 118304
70.57/70.81 c #Conflicts: 1710000 | #Constraints: 119304
70.57/70.81 c #Conflicts: 1711000 | #Constraints: 120304
70.57/70.81 c #Conflicts: 1712000 | #Constraints: 121304
70.57/70.81 c #Conflicts: 1713000 | #Constraints: 122304
70.57/70.81 c #Conflicts: 1714000 | #Constraints: 123304
70.57/70.81 c #Conflicts: 1715000 | #Constraints: 124304
70.57/70.81 c #Conflicts: 1716000 | #Constraints: 125304
70.57/70.81 c #Conflicts: 1717000 | #Constraints: 126304
70.57/70.81 c INPROCESSING
70.57/70.81 c GARBAGE COLLECT
70.57/70.81 c #Conflicts: 1718000 | #Constraints: 64352
70.57/70.81 c #Conflicts: 1719000 | #Constraints: 65352
70.57/70.81 c #Conflicts: 1720000 | #Constraints: 66352
70.57/70.81 c #Conflicts: 1721000 | #Constraints: 67352
70.57/70.81 c #Conflicts: 1722000 | #Constraints: 68352
70.57/70.81 c #Conflicts: 1723000 | #Constraints: 69352
70.57/70.81 c #Conflicts: 1724000 | #Constraints: 70352
70.57/70.81 c #Conflicts: 1725000 | #Constraints: 71352
70.57/70.81 c #Conflicts: 1726000 | #Constraints: 72352
70.57/70.81 c #Conflicts: 1727000 | #Constraints: 73352
70.57/70.81 c #Conflicts: 1728000 | #Constraints: 74352
70.57/70.81 c #Conflicts: 1729000 | #Constraints: 75352
70.57/70.81 c #Conflicts: 1730000 | #Constraints: 76352
70.57/70.81 c #Conflicts: 1731000 | #Constraints: 77352
70.57/70.81 c #Conflicts: 1732000 | #Constraints: 78352
70.57/70.81 c #Conflicts: 1733000 | #Constraints: 79352
70.57/70.81 c #Conflicts: 1734000 | #Constraints: 80352
70.57/70.81 c #Conflicts: 1735000 | #Constraints: 81352
70.57/70.81 c #Conflicts: 1736000 | #Constraints: 82352
70.57/70.81 c #Conflicts: 1737000 | #Constraints: 83352
70.57/70.81 c #Conflicts: 1738000 | #Constraints: 84352
70.57/70.81 c #Conflicts: 1739000 | #Constraints: 85352
70.57/70.81 c #Conflicts: 1740000 | #Constraints: 86352
70.57/70.81 c #Conflicts: 1741000 | #Constraints: 87352
70.57/70.81 c #Conflicts: 1742000 | #Constraints: 88352
70.57/70.81 c #Conflicts: 1743000 | #Constraints: 89352
70.57/70.81 c #Conflicts: 1744000 | #Constraints: 90352
70.57/70.81 c #Conflicts: 1745000 | #Constraints: 91352
70.57/70.81 c #Conflicts: 1746000 | #Constraints: 92352
70.57/70.81 c #Conflicts: 1747000 | #Constraints: 93352
70.57/70.81 c #Conflicts: 1748000 | #Constraints: 94352
70.57/70.81 c INPROCESSING
70.57/70.81 c GARBAGE COLLECT
70.57/70.81 c #Conflicts: 1749000 | #Constraints: 48626
70.57/70.81 c #Conflicts: 1750000 | #Constraints: 49626
70.57/70.81 c #Conflicts: 1751000 | #Constraints: 50626
70.57/70.81 c #Conflicts: 1752000 | #Constraints: 51626
70.57/70.81 c #Conflicts: 1753000 | #Constraints: 52626
70.57/70.81 c #Conflicts: 1754000 | #Constraints: 53626
70.57/70.81 c #Conflicts: 1755000 | #Constraints: 54626
70.57/70.81 c #Conflicts: 1756000 | #Constraints: 55626
70.57/70.81 c #Conflicts: 1757000 | #Constraints: 56626
70.57/70.81 c #Conflicts: 1758000 | #Constraints: 57626
70.57/70.81 c #Conflicts: 1759000 | #Constraints: 58626
70.57/70.81 c #Conflicts: 1760000 | #Constraints: 59626
70.57/70.81 c #Conflicts: 1761000 | #Constraints: 60626
70.57/70.81 c #Conflicts: 1762000 | #Constraints: 61626
70.57/70.81 c #Conflicts: 1763000 | #Constraints: 62626
70.57/70.81 c #Conflicts: 1764000 | #Constraints: 63626
73.77/74.06 c #Conflicts: 1765000 | #Constraints: 64626
73.77/74.06 c #Conflicts: 1766000 | #Constraints: 65626
73.77/74.06 c #Conflicts: 1767000 | #Constraints: 66626
73.77/74.06 c #Conflicts: 1768000 | #Constraints: 67626
73.77/74.06 c #Conflicts: 1769000 | #Constraints: 68626
73.77/74.06 c #Conflicts: 1770000 | #Constraints: 69626
73.77/74.06 c #Conflicts: 1771000 | #Constraints: 70626
73.77/74.06 c #Conflicts: 1772000 | #Constraints: 71626
73.77/74.06 c #Conflicts: 1773000 | #Constraints: 72626
73.77/74.06 c #Conflicts: 1774000 | #Constraints: 73626
73.77/74.06 c #Conflicts: 1775000 | #Constraints: 74626
73.77/74.06 c #Conflicts: 1776000 | #Constraints: 75626
73.77/74.06 c #Conflicts: 1777000 | #Constraints: 76626
73.77/74.06 c #Conflicts: 1778000 | #Constraints: 77626
73.77/74.06 c INPROCESSING
73.77/74.06 c GARBAGE COLLECT
73.77/74.06 c #Conflicts: 1779000 | #Constraints: 39916
73.77/74.06 c #Conflicts: 1780000 | #Constraints: 40916
73.77/74.06 c #Conflicts: 1781000 | #Constraints: 41916
73.77/74.06 c #Conflicts: 1782000 | #Constraints: 42916
73.77/74.06 c #Conflicts: 1783000 | #Constraints: 43916
73.77/74.06 c #Conflicts: 1784000 | #Constraints: 44916
73.77/74.06 c #Conflicts: 1785000 | #Constraints: 45916
73.77/74.06 c #Conflicts: 1786000 | #Constraints: 46916
73.77/74.06 c #Conflicts: 1787000 | #Constraints: 47916
73.77/74.06 c #Conflicts: 1788000 | #Constraints: 48916
73.77/74.06 c #Conflicts: 1789000 | #Constraints: 49916
73.77/74.06 c #Conflicts: 1790000 | #Constraints: 50916
73.77/74.06 c #Conflicts: 1791000 | #Constraints: 51916
73.77/74.06 c #Conflicts: 1792000 | #Constraints: 52916
73.77/74.06 c #Conflicts: 1793000 | #Constraints: 53916
73.77/74.06 c #Conflicts: 1794000 | #Constraints: 54916
73.77/74.06 c #Conflicts: 1795000 | #Constraints: 55916
73.77/74.06 c #Conflicts: 1796000 | #Constraints: 56916
73.77/74.06 c #Conflicts: 1797000 | #Constraints: 57916
73.77/74.06 c #Conflicts: 1798000 | #Constraints: 58916
73.77/74.06 c #Conflicts: 1799000 | #Constraints: 59916
73.77/74.06 c #Conflicts: 1800000 | #Constraints: 60916
73.77/74.06 c #Conflicts: 1801000 | #Constraints: 61916
73.77/74.06 c #Conflicts: 1802000 | #Constraints: 62916
73.77/74.06 c #Conflicts: 1803000 | #Constraints: 63916
73.77/74.06 c #Conflicts: 1804000 | #Constraints: 64916
73.77/74.06 c #Conflicts: 1805000 | #Constraints: 65916
73.77/74.06 c #Conflicts: 1806000 | #Constraints: 66916
73.77/74.06 c #Conflicts: 1807000 | #Constraints: 67916
73.77/74.06 c #Conflicts: 1808000 | #Constraints: 68916
73.77/74.06 c #Conflicts: 1809000 | #Constraints: 69916
73.77/74.06 c INPROCESSING
73.77/74.06 c GARBAGE COLLECT
73.77/74.06 c #Conflicts: 1810000 | #Constraints: 36117
73.77/74.06 c #Conflicts: 1811000 | #Constraints: 37117
73.77/74.06 c #Conflicts: 1812000 | #Constraints: 38117
73.77/74.06 c #Conflicts: 1813000 | #Constraints: 39117
73.77/74.06 c #Conflicts: 1814000 | #Constraints: 40117
73.77/74.06 c #Conflicts: 1815000 | #Constraints: 41117
73.77/74.06 c #Conflicts: 1816000 | #Constraints: 42117
73.77/74.06 c #Conflicts: 1817000 | #Constraints: 43117
73.77/74.06 c #Conflicts: 1818000 | #Constraints: 44117
73.77/74.06 c #Conflicts: 1819000 | #Constraints: 45117
73.77/74.06 c #Conflicts: 1820000 | #Constraints: 46117
73.77/74.06 c #Conflicts: 1821000 | #Constraints: 47117
73.77/74.06 c #Conflicts: 1822000 | #Constraints: 48117
73.77/74.06 c #Conflicts: 1823000 | #Constraints: 49117
73.77/74.06 c #Conflicts: 1824000 | #Constraints: 50117
73.77/74.06 c #Conflicts: 1825000 | #Constraints: 51117
73.77/74.06 c #Conflicts: 1826000 | #Constraints: 52117
73.77/74.06 c #Conflicts: 1827000 | #Constraints: 53117
73.77/74.06 c #Conflicts: 1828000 | #Constraints: 54117
73.77/74.06 c #Conflicts: 1829000 | #Constraints: 55117
73.77/74.06 c #Conflicts: 1830000 | #Constraints: 56117
73.77/74.06 c #Conflicts: 1831000 | #Constraints: 57117
73.77/74.06 c #Conflicts: 1832000 | #Constraints: 58117
73.77/74.06 c #Conflicts: 1833000 | #Constraints: 59117
73.77/74.06 c #Conflicts: 1834000 | #Constraints: 60117
73.77/74.06 c #Conflicts: 1835000 | #Constraints: 61117
73.77/74.06 c #Conflicts: 1836000 | #Constraints: 62117
73.77/74.06 c #Conflicts: 1837000 | #Constraints: 63117
73.77/74.06 c #Conflicts: 1838000 | #Constraints: 64117
73.77/74.06 c #Conflicts: 1839000 | #Constraints: 65117
73.77/74.06 c #Conflicts: 1840000 | #Constraints: 66117
73.77/74.06 c INPROCESSING
73.77/74.06 c GARBAGE COLLECT
73.77/74.06 c #Conflicts: 1841000 | #Constraints: 34165
76.87/77.17 c #Conflicts: 1842000 | #Constraints: 35165
76.87/77.17 c #Conflicts: 1843000 | #Constraints: 36165
76.87/77.17 c #Conflicts: 1844000 | #Constraints: 37165
76.87/77.17 c #Conflicts: 1845000 | #Constraints: 38165
76.87/77.17 c #Conflicts: 1846000 | #Constraints: 39165
76.87/77.17 c #Conflicts: 1847000 | #Constraints: 40165
76.87/77.17 c #Conflicts: 1848000 | #Constraints: 41165
76.87/77.17 c #Conflicts: 1849000 | #Constraints: 42165
76.87/77.17 c #Conflicts: 1850000 | #Constraints: 43165
76.87/77.17 c #Conflicts: 1851000 | #Constraints: 44165
76.87/77.17 c #Conflicts: 1852000 | #Constraints: 45165
76.87/77.17 c #Conflicts: 1853000 | #Constraints: 46165
76.87/77.17 c #Conflicts: 1854000 | #Constraints: 47165
76.87/77.17 c #Conflicts: 1855000 | #Constraints: 48165
76.87/77.17 c #Conflicts: 1856000 | #Constraints: 49165
76.87/77.17 c #Conflicts: 1857000 | #Constraints: 50165
76.87/77.17 c #Conflicts: 1858000 | #Constraints: 51165
76.87/77.17 c #Conflicts: 1859000 | #Constraints: 52165
76.87/77.17 c #Conflicts: 1860000 | #Constraints: 53165
76.87/77.17 c #Conflicts: 1861000 | #Constraints: 54165
76.87/77.17 c #Conflicts: 1862000 | #Constraints: 55165
76.87/77.17 c #Conflicts: 1863000 | #Constraints: 56165
76.87/77.17 c #Conflicts: 1864000 | #Constraints: 57165
76.87/77.17 c #Conflicts: 1865000 | #Constraints: 58165
76.87/77.17 c #Conflicts: 1866000 | #Constraints: 59165
76.87/77.17 c #Conflicts: 1867000 | #Constraints: 60165
76.87/77.17 c #Conflicts: 1868000 | #Constraints: 61165
76.87/77.17 c #Conflicts: 1869000 | #Constraints: 62165
76.87/77.17 c #Conflicts: 1870000 | #Constraints: 63165
76.87/77.17 c #Conflicts: 1871000 | #Constraints: 64165
76.87/77.17 c #Conflicts: 1872000 | #Constraints: 65165
76.87/77.17 c INPROCESSING
76.87/77.17 c GARBAGE COLLECT
76.87/77.17 c #Conflicts: 1873000 | #Constraints: 34034
76.87/77.17 c #Conflicts: 1874000 | #Constraints: 35034
76.87/77.17 c #Conflicts: 1875000 | #Constraints: 36034
76.87/77.17 c #Conflicts: 1876000 | #Constraints: 37034
76.87/77.17 c #Conflicts: 1877000 | #Constraints: 38034
76.87/77.17 c #Conflicts: 1878000 | #Constraints: 39034
76.87/77.17 c #Conflicts: 1879000 | #Constraints: 40034
76.87/77.17 c #Conflicts: 1880000 | #Constraints: 41034
76.87/77.18 c #Conflicts: 1881000 | #Constraints: 42034
76.87/77.18 c #Conflicts: 1882000 | #Constraints: 43034
76.87/77.18 c #Conflicts: 1883000 | #Constraints: 44034
76.87/77.18 c #Conflicts: 1884000 | #Constraints: 45034
76.87/77.18 c #Conflicts: 1885000 | #Constraints: 46034
76.87/77.18 c #Conflicts: 1886000 | #Constraints: 47034
76.87/77.18 c #Conflicts: 1887000 | #Constraints: 48034
76.87/77.18 c #Conflicts: 1888000 | #Constraints: 49034
76.87/77.18 c #Conflicts: 1889000 | #Constraints: 50034
76.87/77.18 c #Conflicts: 1890000 | #Constraints: 51034
76.87/77.18 c #Conflicts: 1891000 | #Constraints: 52034
76.87/77.18 c #Conflicts: 1892000 | #Constraints: 53034
76.87/77.18 c #Conflicts: 1893000 | #Constraints: 54034
76.87/77.18 c #Conflicts: 1894000 | #Constraints: 55034
76.87/77.18 c #Conflicts: 1895000 | #Constraints: 56034
76.87/77.18 c #Conflicts: 1896000 | #Constraints: 57034
76.87/77.18 c #Conflicts: 1897000 | #Constraints: 58034
76.87/77.18 c #Conflicts: 1898000 | #Constraints: 59034
76.87/77.18 c #Conflicts: 1899000 | #Constraints: 60034
76.87/77.18 c #Conflicts: 1900000 | #Constraints: 61034
76.87/77.18 c #Conflicts: 1901000 | #Constraints: 62034
76.87/77.18 c #Conflicts: 1902000 | #Constraints: 63034
76.87/77.18 c #Conflicts: 1903000 | #Constraints: 64034
76.87/77.18 c #Conflicts: 1904000 | #Constraints: 65034
76.87/77.18 c #Conflicts: 1905000 | #Constraints: 66034
76.87/77.18 c #Conflicts: 1906000 | #Constraints: 67034
76.87/77.18 c #Conflicts: 1907000 | #Constraints: 68034
76.87/77.18 c #Conflicts: 1908000 | #Constraints: 69034
76.87/77.18 c #Conflicts: 1909000 | #Constraints: 70034
76.87/77.18 c #Conflicts: 1910000 | #Constraints: 71034
76.87/77.18 c #Conflicts: 1911000 | #Constraints: 72034
76.87/77.18 c #Conflicts: 1912000 | #Constraints: 73034
76.87/77.18 c #Conflicts: 1913000 | #Constraints: 74034
76.87/77.18 c #Conflicts: 1914000 | #Constraints: 75034
76.87/77.18 c #Conflicts: 1915000 | #Constraints: 76034
76.87/77.18 c #Conflicts: 1916000 | #Constraints: 77034
76.87/77.18 c #Conflicts: 1917000 | #Constraints: 78034
76.87/77.18 c #Conflicts: 1918000 | #Constraints: 79034
76.87/77.18 c #Conflicts: 1919000 | #Constraints: 80034
83.85/84.13 c #Conflicts: 1920000 | #Constraints: 81034
83.85/84.13 c #Conflicts: 1921000 | #Constraints: 82034
83.85/84.13 c #Conflicts: 1922000 | #Constraints: 83034
83.85/84.13 c #Conflicts: 1923000 | #Constraints: 84034
83.85/84.13 c #Conflicts: 1924000 | #Constraints: 85034
83.85/84.13 c #Conflicts: 1925000 | #Constraints: 86034
83.85/84.13 c #Conflicts: 1926000 | #Constraints: 87034
83.85/84.13 c #Conflicts: 1927000 | #Constraints: 88034
83.85/84.13 c #Conflicts: 1928000 | #Constraints: 89034
83.85/84.13 c #Conflicts: 1929000 | #Constraints: 90034
83.85/84.13 c #Conflicts: 1930000 | #Constraints: 91034
83.85/84.13 c #Conflicts: 1931000 | #Constraints: 92034
83.85/84.13 c #Conflicts: 1932000 | #Constraints: 93034
83.85/84.13 c #Conflicts: 1933000 | #Constraints: 94034
83.85/84.13 c #Conflicts: 1934000 | #Constraints: 95034
83.85/84.13 c #Conflicts: 1935000 | #Constraints: 96034
83.85/84.13 c #Conflicts: 1936000 | #Constraints: 97034
83.85/84.13 c #Conflicts: 1937000 | #Constraints: 98034
83.85/84.13 c #Conflicts: 1938000 | #Constraints: 99034
83.85/84.13 c #Conflicts: 1939000 | #Constraints: 100034
83.85/84.13 c #Conflicts: 1940000 | #Constraints: 101034
83.85/84.13 c #Conflicts: 1941000 | #Constraints: 102034
83.85/84.13 c #Conflicts: 1942000 | #Constraints: 103034
83.85/84.13 c #Conflicts: 1943000 | #Constraints: 104034
83.85/84.13 c #Conflicts: 1944000 | #Constraints: 105034
83.85/84.13 c #Conflicts: 1945000 | #Constraints: 106034
83.85/84.13 c #Conflicts: 1946000 | #Constraints: 107034
83.85/84.13 c #Conflicts: 1947000 | #Constraints: 108034
83.85/84.13 c #Conflicts: 1948000 | #Constraints: 109034
83.85/84.13 c #Conflicts: 1949000 | #Constraints: 110034
83.85/84.13 c #Conflicts: 1950000 | #Constraints: 111034
83.85/84.13 c #Conflicts: 1951000 | #Constraints: 112034
83.85/84.13 c #Conflicts: 1952000 | #Constraints: 113034
83.85/84.13 c #Conflicts: 1953000 | #Constraints: 114034
83.85/84.13 c #Conflicts: 1954000 | #Constraints: 115034
83.85/84.13 c #Conflicts: 1955000 | #Constraints: 116034
83.85/84.13 c #Conflicts: 1956000 | #Constraints: 117034
83.85/84.13 c #Conflicts: 1957000 | #Constraints: 118034
83.85/84.13 c #Conflicts: 1958000 | #Constraints: 119034
83.85/84.13 c #Conflicts: 1959000 | #Constraints: 120034
83.85/84.13 c #Conflicts: 1960000 | #Constraints: 121034
83.85/84.13 c #Conflicts: 1961000 | #Constraints: 122034
83.85/84.13 c #Conflicts: 1962000 | #Constraints: 123034
83.85/84.13 c #Conflicts: 1963000 | #Constraints: 124034
83.85/84.13 c #Conflicts: 1964000 | #Constraints: 125034
83.85/84.13 c #Conflicts: 1965000 | #Constraints: 126034
83.85/84.13 c #Conflicts: 1966000 | #Constraints: 127034
83.85/84.13 c #Conflicts: 1967000 | #Constraints: 128034
83.85/84.13 c #Conflicts: 1968000 | #Constraints: 129034
83.85/84.13 c #Conflicts: 1969000 | #Constraints: 130034
83.85/84.13 c #Conflicts: 1970000 | #Constraints: 131034
83.85/84.13 c #Conflicts: 1971000 | #Constraints: 132034
83.85/84.13 c #Conflicts: 1972000 | #Constraints: 133034
83.85/84.13 c #Conflicts: 1973000 | #Constraints: 134034
83.85/84.13 c #Conflicts: 1974000 | #Constraints: 135034
83.85/84.13 c #Conflicts: 1975000 | #Constraints: 136034
83.85/84.13 c #Conflicts: 1976000 | #Constraints: 137034
83.85/84.13 c INPROCESSING
83.85/84.13 c GARBAGE COLLECT
83.85/84.13 c #Conflicts: 1977000 | #Constraints: 51760
83.85/84.13 c #Conflicts: 1978000 | #Constraints: 52760
83.85/84.13 c cpu time 79.1981 s
83.85/84.13 c deterministic time 3519186017 3.52e+09
83.85/84.13 c optimization time 0.00014 s
83.85/84.13 c total solve time 79.1924 s
83.85/84.13 c core-guided solve time 0 s
83.85/84.13 c propagation time 62.4455 s
83.85/84.13 c conflict analysis time 10.5331 s
83.85/84.13 c propagations 16144662
83.85/84.13 c resolve steps 8757282
83.85/84.13 c decisions 2399461
83.85/84.13 c conflicts 1978128
83.85/84.13 c restarts 3859
83.85/84.13 c inprocessing phases 81
83.85/84.13 c garbage collections 81 ,( 100.00 )
83.85/84.13 c input clauses 802 ,( 100.00 )
83.85/84.13 c input cardinalities 0 ,( 0.00 )
83.85/84.13 c input general constraints 0 ,( 0.00 )
83.85/84.13 c input average constraint length 3.00
83.85/84.13 c input average constraint degree 1.00
83.85/84.13 c learned clauses 1978127 ,( 100.00 )
83.85/84.13 c learned cardinalities 0 ,( 0.00 )
83.85/84.13 c learned general constraints 0 ,( 0.00 )
83.85/84.13 c learned average constraint length 17.16
83.85/84.13 c learned average constraint degree 1.00
83.85/84.13 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
83.85/84.13 c counting CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
83.85/84.13 c watched constraints 0 ,( -nan )
83.85/84.13 c counting constraints 0 ,( -nan )
83.85/84.13 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1246799764 , 0 , 0 ,( 0 , 0 )
83.85/84.14 c gcd simplifications 0
83.85/84.14 c detected cardinalities 0
83.85/84.14 c weakened non-implied lits 0
83.85/84.14 c weakened non-implying lits 0
83.85/84.14 c original variables 201
83.85/84.14 c clausal propagations 14166535
83.85/84.14 c cardinality propagations 0
83.85/84.14 c watched propagations 0
83.85/84.14 c counting propagations 0
83.85/84.14 c watch lookups 1246799764
83.85/84.14 c watch backjump lookups 0
83.85/84.14 c watch checks 2110774023
83.85/84.14 c propagation checks 14166535
83.85/84.14 c constraint additions 108379335
83.85/84.14 c trail pops 20522236
83.85/84.14 c formula constraints 802
83.85/84.14 c learned constraints 1978127
83.85/84.14 c bound constraints 0
83.85/84.14 c core-guided constraints 0
83.85/84.14 c encountered formula constraints 2151856
83.85/84.14 c encountered learned constraints 8583554
83.85/84.14 c encountered bound constraints 0
83.85/84.14 c encountered core-guided constraints 0
83.85/84.14 c LP total time 0 s
83.85/84.14 c LP solve time 0 s
83.85/84.14 c LP constraints added 0
83.85/84.14 c LP constraints removed 0
83.85/84.14 c LP pivots internal 0
83.85/84.14 c LP pivots root 0
83.85/84.14 c LP calls 0
83.85/84.14 c LP optimalities 0
83.85/84.14 c LP no pivot count 0
83.85/84.14 c LP infeasibilities 0
83.85/84.14 c LP valid Farkas constraints 0
83.85/84.14 c LP learned Farkas constraints 0
83.85/84.14 c LP basis resets 0
83.85/84.14 c LP cycling count 0
83.85/84.14 c LP singular count 0
83.85/84.14 c LP no primal count 0
83.85/84.14 c LP no farkas count 0
83.85/84.14 c LP other issue count 0
83.85/84.14 c LP Gomory cuts 0
83.85/84.14 c LP learned cuts 0
83.85/84.14 c LP deleted cuts 0
83.85/84.14 c LP encountered Gomory constraints 0
83.85/84.14 c LP encountered Farkas constraints 0
83.85/84.14 c LP encountered learned Farkas constraints 0
83.85/84.14 c CG auxiliary variables introduced 0
83.85/84.14 c CG solutions found 0
83.85/84.14 c CG cores constructed 0
83.85/84.14 c CG core cardinality constraints returned 0
83.85/84.14 c CG unit cores 0
83.85/84.14 c CG single cores 0
83.85/84.14 c CG blocks removed during cardinality reduction 0
83.85/84.14 c CG first core best 0
83.85/84.14 c CG decision core best 0
83.85/84.14 c CG core reduction tie 0
83.85/84.14 c CG core degree average 0.00
83.85/84.14 c CG core slack average 0.00
83.85/84.14 c CG core upper bound improvements 0
83.85/84.14 c STR number of successful calls 0
83.85/84.14 c STR number of unsuccessful calls 0
83.85/84.14 c STR number of inconclusive calls 0
83.85/84.14 c STR number of successful attempts 0
83.85/84.14 c STR number of unsuccessful attempts 0
83.85/84.14 c STR number of inconclusive attempts 0
83.85/84.14 c STR average degree increase per successful call inf
83.85/84.14 c STR average degree increase per successful attempt inf
83.85/84.14 c STR total number of conflicts for successful attempts 0
83.85/84.14 c STR total number of conflicts for unsuccessful attempts 0
83.85/84.14 c STR total number of conflicts for inconclusive attempts 0
83.85/84.14 c STR average number of conflicts per successful attempt inf
83.85/84.14 c STR average number of conflicts per unsuccessful attempt inf
83.85/84.14 c STR average number of conflicts per inconclusive attempt inf
83.85/84.14 c AVG.sumWPerc -nan
83.85/84.14 c bigint constraints 0
83.85/84.14 s UNSATISFIABLE
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: 63837 MiB (62761 MiB free)
memory of node 1: 64465 MiB (63782 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510364-1751198856/watcher-4510364-1751198856 -o /tmp/evaluation-result-4510364-1751198856/solver-4510364-1751198856 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751196106-21226 --watchdog 3760 run-dec.sh HOME/instance-4510364-1751198856.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=21840, runsolver pid=21837
Current StackSize limit: 8192 KiB
[startup+0.100072 s]*
/proc/loadavg: 4.55 4.29 4.09 5/255 21842
/proc/meminfo: memFree=129581464/131382120 swapFree=33010684/33010684
[pid=21840] ppid=21837 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21840/stat : 21840 (run-dec.sh) S 21837 21840 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35564247 4292608 768 18446744073709551615 94650604765184 94650605659717 140729940877696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650605898768 94650605946512 94650633605120 140729940883821 140729940883944 140729940883944 140729940889546 0
/proc/21840/statm: 1048 768 704 219 0 110 0
[pid=21842] ppid=21840 vsize=55552 memory=8832 CPUtime=0.07 cores=1,3
/proc/21842/stat : 21842 (roundingsat) R 21840 21840 21214 0 -1 4194304 449 0 0 0 6 1 0 0 20 0 1 0 35564248 56885248 2208 18446744073709551615 4227072 8923433 140722309036624 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 20918272 140722309044663 140722309044776 140722309044776 140722309050346 0
/proc/21842/statm: 13888 2208 1984 1147 0 1315 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 59744 KiB
Current children cumulated memory: 11904 KiB
[startup+0.213775 s]*
/proc/loadavg: 4.55 4.29 4.09 5/255 21842
/proc/meminfo: memFree=129581464/131382120 swapFree=33010684/33010684
[pid=21840] ppid=21837 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21840/stat : 21840 (run-dec.sh) S 21837 21840 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35564247 4292608 768 18446744073709551615 94650604765184 94650605659717 140729940877696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650605898768 94650605946512 94650633605120 140729940883821 140729940883944 140729940883944 140729940889546 0
/proc/21840/statm: 1048 768 704 219 0 110 0
[pid=21842] ppid=21840 vsize=55684 memory=11072 CPUtime=0.18 cores=1,3
/proc/21842/stat : 21842 (roundingsat) R 21840 21840 21214 0 -1 4194304 494 0 0 0 15 3 0 0 20 0 1 0 35564248 57020416 2768 18446744073709551615 4227072 8923433 140722309036624 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20918272 140722309044663 140722309044776 140722309044776 140722309050346 0
/proc/21842/statm: 13921 2768 1984 1147 0 1348 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 59876 KiB
Current children cumulated memory: 14144 KiB
[startup+0.313466 s]*
/proc/loadavg: 4.55 4.29 4.09 5/255 21842
/proc/meminfo: memFree=129581464/131382120 swapFree=33010684/33010684
[pid=21840] ppid=21837 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21840/stat : 21840 (run-dec.sh) S 21837 21840 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35564247 4292608 768 18446744073709551615 94650604765184 94650605659717 140729940877696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650605898768 94650605946512 94650633605120 140729940883821 140729940883944 140729940883944 140729940889546 0
/proc/21840/statm: 1048 768 704 219 0 110 0
[pid=21842] ppid=21840 vsize=55804 memory=11200 CPUtime=0.28 cores=1,3
/proc/21842/stat : 21842 (roundingsat) R 21840 21840 21214 0 -1 4194304 532 0 0 0 23 5 0 0 20 0 1 0 35564248 57143296 2800 18446744073709551615 4227072 8923433 140722309036624 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20918272 140722309044663 140722309044776 140722309044776 140722309050346 0
/proc/21842/statm: 13951 2800 1984 1147 0 1378 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 59996 KiB
Current children cumulated memory: 14272 KiB
[startup+0.700389 s]
/proc/loadavg: 4.55 4.29 4.09 5/255 21842
/proc/meminfo: memFree=129581464/131382120 swapFree=33010684/33010684
[pid=21840] ppid=21837 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21840/stat : 21840 (run-dec.sh) S 21837 21840 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35564247 4292608 768 18446744073709551615 94650604765184 94650605659717 140729940877696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650605898768 94650605946512 94650633605120 140729940883821 140729940883944 140729940883944 140729940889546 0
/proc/21840/statm: 1048 768 704 219 0 110 0
[pid=21842] ppid=21840 vsize=56212 memory=11584 CPUtime=0.65 cores=1,3
/proc/21842/stat : 21842 (roundingsat) R 21840 21840 21214 0 -1 4194304 624 0 0 0 54 11 0 0 20 0 1 0 35564248 57561088 2896 18446744073709551615 4227072 8923433 140722309036624 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20918272 140722309044663 140722309044776 140722309044776 140722309050346 0
/proc/21842/statm: 14053 2896 1984 1147 0 1480 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 60404 KiB
Current children cumulated memory: 14656 KiB
[startup+1.50039 s]
/proc/loadavg: 4.55 4.29 4.09 5/255 21842
/proc/meminfo: memFree=129581464/131382120 swapFree=33010684/33010684
[pid=21840] ppid=21837 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21840/stat : 21840 (run-dec.sh) S 21837 21840 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35564247 4292608 768 18446744073709551615 94650604765184 94650605659717 140729940877696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650605898768 94650605946512 94650633605120 140729940883821 140729940883944 140729940883944 140729940889546 0
/proc/21840/statm: 1048 768 704 219 0 110 0
[pid=21842] ppid=21840 vsize=56868 memory=12352 CPUtime=1.45 cores=1,3
/proc/21842/stat : 21842 (roundingsat) R 21840 21840 21214 0 -1 4194304 837 0 0 0 126 19 0 0 20 0 1 0 35564248 58232832 3088 18446744073709551615 4227072 8923433 140722309036624 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20918272 140722309044663 140722309044776 140722309044776 140722309050346 0
/proc/21842/statm: 14217 3088 1984 1147 0 1644 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 61060 KiB
Current children cumulated memory: 15424 KiB
[startup+3.11321 s]
/proc/loadavg: 4.55 4.29 4.09 5/255 21842
/proc/meminfo: memFree=129581464/131382120 swapFree=33010684/33010684
[pid=21840] ppid=21837 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21840/stat : 21840 (run-dec.sh) S 21837 21840 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35564247 4292608 768 18446744073709551615 94650604765184 94650605659717 140729940877696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650605898768 94650605946512 94650633605120 140729940883821 140729940883944 140729940883944 140729940889546 0
/proc/21840/statm: 1048 768 704 219 0 110 0
[pid=21842] ppid=21840 vsize=59144 memory=14164 CPUtime=3.06 cores=1,3
/proc/21842/stat : 21842 (roundingsat) R 21840 21840 21214 0 -1 4194304 1568 0 0 0 272 34 0 0 20 0 1 0 35564248 60563456 3541 18446744073709551615 4227072 8923433 140722309036624 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20918272 140722309044663 140722309044776 140722309044776 140722309050346 0
/proc/21842/statm: 14786 3541 1984 1147 0 2213 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 63336 KiB
Current children cumulated memory: 17236 KiB
[startup+6.30032 s]
/proc/loadavg: 4.50 4.28 4.09 5/255 21842
/proc/meminfo: memFree=129577460/131382120 swapFree=33010684/33010684
[pid=21840] ppid=21837 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21840/stat : 21840 (run-dec.sh) S 21837 21840 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35564247 4292608 768 18446744073709551615 94650604765184 94650605659717 140729940877696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650605898768 94650605946512 94650633605120 140729940883821 140729940883944 140729940883944 140729940889546 0
/proc/21840/statm: 1048 768 704 219 0 110 0
[pid=21842] ppid=21840 vsize=61752 memory=18652 CPUtime=6.24 cores=1,3
/proc/21842/stat : 21842 (roundingsat) R 21840 21840 21214 0 -1 4194304 3104 0 0 0 565 59 0 0 20 0 1 0 35564248 63234048 4663 18446744073709551615 4227072 8923433 140722309036624 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20918272 140722309044663 140722309044776 140722309044776 140722309050346 0
/proc/21842/statm: 15438 4663 1984 1147 0 2865 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 65944 KiB
Current children cumulated memory: 21724 KiB
[startup+12.7004 s]
/proc/loadavg: 4.46 4.28 4.09 5/255 21842
/proc/meminfo: memFree=129574972/131382120 swapFree=33010684/33010684
[pid=21840] ppid=21837 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21840/stat : 21840 (run-dec.sh) S 21837 21840 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35564247 4292608 768 18446744073709551615 94650604765184 94650605659717 140729940877696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650605898768 94650605946512 94650633605120 140729940883821 140729940883944 140729940883944 140729940889546 0
/proc/21840/statm: 1048 768 704 219 0 110 0
[pid=21842] ppid=21840 vsize=67896 memory=23404 CPUtime=12.62 cores=1,3
/proc/21842/stat : 21842 (roundingsat) R 21840 21840 21214 0 -1 4194304 5507 0 0 0 1162 100 0 0 20 0 1 0 35564248 69525504 5851 18446744073709551615 4227072 8923433 140722309036624 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20918272 140722309044663 140722309044776 140722309044776 140722309050346 0
/proc/21842/statm: 16974 5851 1984 1147 0 4401 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 72088 KiB
Current children cumulated memory: 26476 KiB
[startup+25.5004 s]
/proc/loadavg: 4.43 4.28 4.10 5/255 21842
/proc/meminfo: memFree=129559764/131382120 swapFree=33010684/33010684
[pid=21840] ppid=21837 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21840/stat : 21840 (run-dec.sh) S 21837 21840 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35564247 4292608 768 18446744073709551615 94650604765184 94650605659717 140729940877696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650605898768 94650605946512 94650633605120 140729940883821 140729940883944 140729940883944 140729940889546 0
/proc/21840/statm: 1048 768 704 219 0 110 0
[pid=21842] ppid=21840 vsize=72252 memory=28212 CPUtime=25.39 cores=1,3
/proc/21842/stat : 21842 (roundingsat) R 21840 21840 21214 0 -1 4194304 8740 0 0 0 2371 168 0 0 20 0 1 0 35564248 73986048 7053 18446744073709551615 4227072 8923433 140722309036624 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20918272 140722309044663 140722309044776 140722309044776 140722309050346 0
/proc/21842/statm: 18063 7053 1984 1147 0 5490 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 76444 KiB
Current children cumulated memory: 31284 KiB
[startup+51.1133 s]
/proc/loadavg: 4.29 4.25 4.09 5/255 21842
/proc/meminfo: memFree=129545744/131382120 swapFree=33010684/33010684
[pid=21840] ppid=21837 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21840/stat : 21840 (run-dec.sh) S 21837 21840 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35564247 4292608 768 18446744073709551615 94650604765184 94650605659717 140729940877696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650605898768 94650605946512 94650633605120 140729940883821 140729940883944 140729940883944 140729940889546 0
/proc/21840/statm: 1048 768 704 219 0 110 0
[pid=21842] ppid=21840 vsize=83456 memory=38676 CPUtime=50.93 cores=1,3
/proc/21842/stat : 21842 (roundingsat) R 21840 21840 21214 0 -1 4194304 13523 0 0 0 4780 313 0 0 20 0 1 0 35564248 85458944 9669 18446744073709551615 4227072 8923433 140722309036624 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20918272 140722309044663 140722309044776 140722309044776 140722309050346 0
/proc/21842/statm: 20864 9669 1984 1147 0 8291 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 87648 KiB
Current children cumulated memory: 41748 KiB
[startup+84.1414 s]
# the end of solver process 21840 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=79.2044 s, system=4.68793 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2005 s]
/proc/loadavg: 4.29 4.25 4.09 5/255 21842
/proc/meminfo: memFree=129545744/131382120 swapFree=33010684/33010684
[pid=21840] ppid=21837 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21840/stat : 21840 (run-dec.sh) S 21837 21840 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35564247 4292608 768 18446744073709551615 94650604765184 94650605659717 140729940877696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650605898768 94650605946512 94650633605120 140729940883821 140729940883944 140729940883944 140729940889546 0
/proc/21840/statm: 1048 768 704 219 0 110 0
[pid=21842] ppid=21840 vsize=83456 memory=38676 CPUtime=51.03 cores=1,3
/proc/21842/stat : 21842 (roundingsat) R 21840 21840 21214 0 -1 4194304 13523 0 0 0 4789 314 0 0 20 0 1 0 35564248 85458944 9669 18446744073709551615 4227072 8923433 140722309036624 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20918272 140722309044663 140722309044776 140722309044776 140722309050346 0
/proc/21842/statm: 20864 9669 1984 1147 0 8291 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 87648 KiB
Current children cumulated memory: 41748 KiB
[startup+64.0004 s]*
/proc/loadavg: 4.22 4.24 4.09 5/256 21845
/proc/meminfo: memFree=129545028/131382120 swapFree=33010684/33010684
[pid=21840] ppid=21837 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21840/stat : 21840 (run-dec.sh) S 21837 21840 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35564247 4292608 768 18446744073709551615 94650604765184 94650605659717 140729940877696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650605898768 94650605946512 94650633605120 140729940883821 140729940883944 140729940883944 140729940889546 0
/proc/21840/statm: 1048 768 704 219 0 110 0
[pid=21842] ppid=21840 vsize=84740 memory=39828 CPUtime=63.8 cores=1,3
/proc/21842/stat : 21842 (roundingsat) R 21840 21840 21214 0 -1 4194304 13818 0 0 0 5987 393 0 0 20 0 1 0 35564248 86773760 9957 18446744073709551615 4227072 8923433 140722309036624 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20918272 140722309044663 140722309044776 140722309044776 140722309050346 0
/proc/21842/statm: 21185 9957 1984 1147 0 8612 0
Current children cumulated CPU time: 63.8 s
Current children cumulated vsize: 88932 KiB
Current children cumulated memory: 42900 KiB
[startup+76.8004 s]
/proc/loadavg: 4.19 4.23 4.09 5/256 21845
/proc/meminfo: memFree=129531164/131382120 swapFree=33010684/33010684
[pid=21840] ppid=21837 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21840/stat : 21840 (run-dec.sh) S 21837 21840 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35564247 4292608 768 18446744073709551615 94650604765184 94650605659717 140729940877696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650605898768 94650605946512 94650633605120 140729940883821 140729940883944 140729940883944 140729940889546 0
/proc/21840/statm: 1048 768 704 219 0 110 0
[pid=21842] ppid=21840 vsize=97512 memory=45280 CPUtime=76.56 cores=1,3
/proc/21842/stat : 21842 (roundingsat) R 21840 21840 21214 0 -1 4194304 15941 0 0 0 7207 449 0 0 20 0 1 0 35564248 99852288 11320 18446744073709551615 4227072 8923433 140722309036624 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20918272 140722309044663 140722309044776 140722309044776 140722309050346 0
/proc/21842/statm: 24378 11320 1984 1147 0 11805 0
Current children cumulated CPU time: 76.56 s
Current children cumulated vsize: 101704 KiB
Current children cumulated memory: 48352 KiB
[startup+80.0004 s]*
/proc/loadavg: 4.17 4.23 4.09 5/256 21845
/proc/meminfo: memFree=129527068/131382120 swapFree=33010684/33010684
[pid=21840] ppid=21837 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21840/stat : 21840 (run-dec.sh) S 21837 21840 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35564247 4292608 768 18446744073709551615 94650604765184 94650605659717 140729940877696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650605898768 94650605946512 94650633605120 140729940883821 140729940883944 140729940883944 140729940889546 0
/proc/21840/statm: 1048 768 704 219 0 110 0
[pid=21842] ppid=21840 vsize=97512 memory=45536 CPUtime=79.76 cores=1,3
/proc/21842/stat : 21842 (roundingsat) R 21840 21840 21214 0 -1 4194304 16002 0 0 0 7517 459 0 0 20 0 1 0 35564248 99852288 11384 18446744073709551615 4227072 8923433 140722309036624 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20918272 140722309044663 140722309044776 140722309044776 140722309050346 0
/proc/21842/statm: 24378 11384 1984 1147 0 11805 0
Current children cumulated CPU time: 79.76 s
Current children cumulated vsize: 101704 KiB
Current children cumulated memory: 48608 KiB
[startup+81.6004 s]
/proc/loadavg: 4.17 4.23 4.09 5/256 21845
/proc/meminfo: memFree=129527320/131382120 swapFree=33010684/33010684
[pid=21840] ppid=21837 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21840/stat : 21840 (run-dec.sh) S 21837 21840 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35564247 4292608 768 18446744073709551615 94650604765184 94650605659717 140729940877696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650605898768 94650605946512 94650633605120 140729940883821 140729940883944 140729940883944 140729940889546 0
/proc/21840/statm: 1048 768 704 219 0 110 0
[pid=21842] ppid=21840 vsize=98316 memory=46048 CPUtime=81.35 cores=1,3
/proc/21842/stat : 21842 (roundingsat) R 21840 21840 21214 0 -1 4194304 16127 0 0 0 7672 463 0 0 20 0 1 0 35564248 100675584 11512 18446744073709551615 4227072 8923433 140722309036624 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20918272 140722309044663 140722309044776 140722309044776 140722309050346 0
/proc/21842/statm: 24579 11512 1984 1147 0 12006 0
Current children cumulated CPU time: 81.35 s
Current children cumulated vsize: 102508 KiB
Current children cumulated memory: 49120 KiB
[startup+83.2004 s]
/proc/loadavg: 4.17 4.23 4.09 5/256 21845
/proc/meminfo: memFree=129527084/131382120 swapFree=33010684/33010684
[pid=21840] ppid=21837 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21840/stat : 21840 (run-dec.sh) S 21837 21840 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35564247 4292608 768 18446744073709551615 94650604765184 94650605659717 140729940877696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650605898768 94650605946512 94650633605120 140729940883821 140729940883944 140729940883944 140729940889546 0
/proc/21840/statm: 1048 768 704 219 0 110 0
[pid=21842] ppid=21840 vsize=102412 memory=48224 CPUtime=82.94 cores=1,3
/proc/21842/stat : 21842 (roundingsat) R 21840 21840 21214 0 -1 4194304 16919 0 0 0 7828 466 0 0 20 0 1 0 35564248 104869888 12056 18446744073709551615 4227072 8923433 140722309036624 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20918272 140722309044663 140722309044776 140722309044776 140722309050346 0
/proc/21842/statm: 25603 12056 1984 1147 0 13030 0
Current children cumulated CPU time: 82.94 s
Current children cumulated vsize: 106604 KiB
Current children cumulated memory: 51296 KiB
[startup+83.6004 s]
/proc/loadavg: 4.17 4.23 4.09 5/256 21845
/proc/meminfo: memFree=129527084/131382120 swapFree=33010684/33010684
[pid=21840] ppid=21837 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21840/stat : 21840 (run-dec.sh) S 21837 21840 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35564247 4292608 768 18446744073709551615 94650604765184 94650605659717 140729940877696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650605898768 94650605946512 94650633605120 140729940883821 140729940883944 140729940883944 140729940889546 0
/proc/21840/statm: 1048 768 704 219 0 110 0
[pid=21842] ppid=21840 vsize=102412 memory=48352 CPUtime=83.33 cores=1,3
/proc/21842/stat : 21842 (roundingsat) R 21840 21840 21214 0 -1 4194304 16975 0 0 0 7867 466 0 0 20 0 1 0 35564248 104869888 12088 18446744073709551615 4227072 8923433 140722309036624 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20918272 140722309044663 140722309044776 140722309044776 140722309050346 0
/proc/21842/statm: 25603 12088 1984 1147 0 13030 0
Current children cumulated CPU time: 83.33 s
Current children cumulated vsize: 106604 KiB
Current children cumulated memory: 51424 KiB
[startup+84.0004 s]*
/proc/loadavg: 4.16 4.22 4.09 5/256 21845
/proc/meminfo: memFree=129527084/131382120 swapFree=33010684/33010684
[pid=21840] ppid=21837 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21840/stat : 21840 (run-dec.sh) S 21837 21840 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35564247 4292608 768 18446744073709551615 94650604765184 94650605659717 140729940877696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650605898768 94650605946512 94650633605120 140729940883821 140729940883944 140729940883944 140729940889546 0
/proc/21840/statm: 1048 768 704 219 0 110 0
[pid=21842] ppid=21840 vsize=102948 memory=49120 CPUtime=83.75 cores=1,3
/proc/21842/stat : 21842 (roundingsat) R 21840 21840 21214 0 -1 4194304 17173 0 0 0 7908 467 0 0 20 0 1 0 35564248 105418752 12280 18446744073709551615 4227072 8923433 140722309036624 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20918272 140722309044663 140722309044776 140722309044776 140722309050346 0
/proc/21842/statm: 25737 12280 1984 1147 0 13164 0
Current children cumulated CPU time: 83.75 s
Current children cumulated vsize: 107140 KiB
Current children cumulated memory: 52192 KiB
[startup+84.1132 s]
/proc/loadavg: 4.16 4.22 4.09 5/256 21845
/proc/meminfo: memFree=129527084/131382120 swapFree=33010684/33010684
[pid=21840] ppid=21837 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21840/stat : 21840 (run-dec.sh) S 21837 21840 21214 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 35564247 4292608 768 18446744073709551615 94650604765184 94650605659717 140729940877696 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94650605898768 94650605946512 94650633605120 140729940883821 140729940883944 140729940883944 140729940889546 0
/proc/21840/statm: 1048 768 704 219 0 110 0
[pid=21842] ppid=21840 vsize=103616 memory=49908 CPUtime=83.85 cores=1,3
/proc/21842/stat : 21842 (roundingsat) R 21840 21840 21214 0 -1 4194304 17504 0 0 0 7917 468 0 0 20 0 1 0 35564248 106102784 12477 18446744073709551615 4227072 8923433 140722309036624 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 20918272 140722309044663 140722309044776 140722309044776 140722309050346 0
/proc/21842/statm: 25904 12477 1984 1147 0 13331 0
Current children cumulated CPU time: 83.85 s
Current children cumulated vsize: 107808 KiB
Current children cumulated memory: 52980 KiB
Child status: 0
Real time (s): 84.1415
CPU time (s): 83.8923
CPU user time (s): 79.2044
CPU system time (s): 4.68793
CPU usage (%): 99.7038
Max. virtual memory (cumulated for all children) (KiB): 107808
Max. memory (cumulated for all children) (KiB): 52980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 79.2044
system time used= 4.68793
maximum resident set size= 50528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17738
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= 146
involuntary context switches= 120
# summary of solver processes directly reported to runsolver:
# pid: 21840
# total CPU time (s): 83.8923
# total CPU user time (s): 79.2044
# total CPU system time (s): 4.68793
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.455748 second user time and 0.951693 second system time
The end
Begin job on nodeC003 at 2025-06-29 14:07:36
IDJOB=4510364
IDBENCH=160357
IDSOLVER=3349
FILE ID=nodeC003/4510364-1751198856
RUNJOBID= nodeC003-1751196106-21226
SLURM_JOB_ID= 9587607
Free space on /tmp= 433000 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x20split.cnf-plain.pb.metafix.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510364-1751198856/watcher-4510364-1751198856 -o /tmp/evaluation-result-4510364-1751198856/solver-4510364-1751198856 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751196106-21226 --watchdog 3760 run-dec.sh HOME/instance-4510364-1751198856.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5fa6a1707c990041c74d493ed085ddd0
RANDOM SEED=1587566176
nodeC003 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 : 0xb00001f
cpu MHz : 3661.473
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.159
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.196
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1196.897
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.426
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.336
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.742
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.826
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129581464 kB
MemAvailable: 129408812 kB
Buffers: 3280 kB
Cached: 637828 kB
SwapCached: 0 kB
Active: 876184 kB
Inactive: 424604 kB
Active(anon): 677652 kB
Inactive(anon): 0 kB
Active(file): 198532 kB
Inactive(file): 424604 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7208 kB
Writeback: 0 kB
AnonPages: 655528 kB
Mapped: 111492 kB
Shmem: 17960 kB
KReclaimable: 87676 kB
Slab: 168736 kB
SReclaimable: 87676 kB
SUnreclaim: 81060 kB
KernelStack: 4092 kB
PageTables: 4460 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 1005824 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149464 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 552960 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: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432992 MiB
End job on nodeC003 at 2025-06-29 14:09:00