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