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