(1,13) (2,12) (3,18) (4,14) (5,15) (7,11) (8,19) (9,17) (10,16) 
nodes: 226  conflicts: 3  modelTime: 580  solveTime: 515  totalTime: 1099  modelSize: 20646  readTime: 4 size: 9