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