(1,12) (2,15) (3,19) (5,11) (6,18) (7,14) (8,16) (9,17) (10,20) 
nodes: 313  conflicts: 7  modelTime: 680  solveTime: 535  totalTime: 1220  modelSize: 20646  readTime: 5 size: 9