(1,16) (7,15) (8,11) 
nodes: 110  conflicts: 67  modelTime: 696  solveTime: 259  totalTime: 961  modelSize: 20646  readTime: 6 size: 3