(1,17) (3,16) (4,13) (5,11) (6,14) (7,15) (8,19) (10,18) 
nodes: 382  conflicts: 27  modelTime: 690  solveTime: 380  totalTime: 1075  modelSize: 20646  readTime: 5 size: 8