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