(1,14) (2,13) (3,20) (4,12) (5,19) (6,15) (7,17) (8,16) (9,11) (10,18) 
nodes: 231  conflicts: 2  modelTime: 760  solveTime: 378  totalTime: 1142  modelSize: 20646  readTime: 4 size: 10