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