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