(1,20) (2,14) (3,12) (4,15) (6,13) (7,18) (8,19) (9,11) (10,17) 
nodes: 340  conflicts: 13  modelTime: 578  solveTime: 610  totalTime: 1193  modelSize: 20646  readTime: 5 size: 9