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