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