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