(1,19) (2,20) (3,18) (4,17) (5,12) (6,11) (7,15) (9,16) (10,13) 
nodes: 315  conflicts: 7  modelTime: 704  solveTime: 607  totalTime: 1315  modelSize: 20646  readTime: 4 size: 9