(1,18) (4,19) (5,17) (7,16) (8,12) (9,20) (10,14) 
nodes: 186  conflicts: 29  modelTime: 683  solveTime: 631  totalTime: 1319  modelSize: 20646  readTime: 5 size: 7