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