(1,24) (2,23) (3,25) (4,16) (5,19) (8,20) (10,18) (11,26) (12,27) (13,22) (15,28) 
nodes: 955  conflicts: 53  modelTime: 675  solveTime: 1028  totalTime: 1711  modelSize: 41300  readTime: 8 size: 11