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