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