(1,14) (4,18) (5,11) (7,16) (8,13) (9,12) 
nodes: 257  conflicts: 37  modelTime: 770  solveTime: 565  totalTime: 1341  modelSize: 20646  readTime: 6 size: 6