(1,28) (4,18) (5,16) (6,27) (8,21) (9,22) (11,17) (12,23) (13,19) (14,30) (15,24) 
nodes: 1189  conflicts: 72  modelTime: 798  solveTime: 1478  totalTime: 2284  modelSize: 41300  readTime: 8 size: 11