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