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