(1,22) (2,26) (3,21) (5,20) (6,16) (7,23) (8,19) (10,17) (11,27) (13,24) (14,25) (15,28) 
nodes: 278  conflicts: 58  modelTime: 662  solveTime: 468  totalTime: 1136  modelSize: 41300  readTime: 6 size: 12