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