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