(1,14) (2,11) (3,17) (5,12) (6,16) (7,19) (9,18) (10,13) 
nodes: 168  conflicts: 27  modelTime: 673  solveTime: 352  totalTime: 1031  modelSize: 20646  readTime: 6 size: 8