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