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