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