(1,28) (2,20) (3,29) (4,21) (6,24) (7,18) (9,26) (10,22) (11,27) (12,17) (15,16) 
nodes: 305  conflicts: 67  modelTime: 675  solveTime: 515  totalTime: 1197  modelSize: 41300  readTime: 7 size: 11