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