(1,12) (2,11) (3,16) (4,15) (6,19) (7,18) (9,13) (10,14) 
nodes: 385  conflicts: 21  modelTime: 726  solveTime: 903  totalTime: 1634  modelSize: 20646  readTime: 5 size: 8