(1,17) (5,14) (7,12) (8,13) (9,16) (10,11) 
nodes: 334  conflicts: 38  modelTime: 713  solveTime: 769  totalTime: 1488  modelSize: 20646  readTime: 6 size: 6