(1,14) (2,13) (3,11) (4,17) (6,20) (7,15) (8,18) (9,12) (10,19) 
nodes: 287  conflicts: 2  modelTime: 697  solveTime: 651  totalTime: 1351  modelSize: 20646  readTime: 3 size: 9