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