(1,19) (2,11) (3,20) (5,16) (6,18) (7,15) (8,14) (9,13) (10,17) 
nodes: 345  conflicts: 6  modelTime: 668  solveTime: 571  totalTime: 1243  modelSize: 20646  readTime: 4 size: 9