(1,6) (2,8) (3,30) (4,21) (5,26) (7,18) (9,29) (10,20) (11,13) (12,23) (14,25) (15,22) (16,17) (19,24) (27,28) 
nodes: 26197  conflicts: 11  modelTime: 1529  solveTime: 174716  totalTime: 176255  modelSize: 72264  readTime: 10 size: 15