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