(1,16) (2,15) (3,19) (4,14) (5,11) (6,13) (8,18) (9,12) (10,17) 
nodes: 391  conflicts: 13  modelTime: 710  solveTime: 837  totalTime: 1552  modelSize: 20646  readTime: 5 size: 9