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