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