(1,8) (3,18) (4,27) (5,12) (7,10) (9,28) (11,16) (13,21) (15,19) (17,24) (20,22) (26,29) 
nodes: 1300  conflicts: 96  modelTime: 936  solveTime: 5306  totalTime: 6255  modelSize: 72263  readTime: 12 size: 12