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