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