(1,8) (2,15) (5,24) (6,11) (7,12) (9,13) (10,22) (14,20) (16,23) (18,29) (19,28) (21,27) (25,30) 
nodes: 9673  conflicts: 60  modelTime: 936  solveTime: 42286  totalTime: 43253  modelSize: 72263  readTime: 31 size: 13