(1,30) (2,16) (4,29) (5,20) (7,25) (8,27) (9,28) (10,26) (11,24) (15,22) 
nodes: 682  conflicts: 88  modelTime: 672  solveTime: 1356  totalTime: 2034  modelSize: 41300  readTime: 6 size: 10