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