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