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