(1,13) (2,15) (3,16) (4,18) (5,14) (6,17) (7,19) (8,20) (9,11) (10,12) 
nodes: 622  conflicts: 8  modelTime: 673  solveTime: 717  totalTime: 1395  modelSize: 20646  readTime: 5 size: 10