(1,12) (3,14) (4,20) (7,16) (8,11) (9,18) (10,17) 
nodes: 293  conflicts: 35  modelTime: 683  solveTime: 486  totalTime: 1174  modelSize: 20646  readTime: 5 size: 7