(1,13) (2,15) (3,11) (4,12) (5,17) (6,14) (8,18) (9,19) (10,20) 
nodes: 267  conflicts: 6  modelTime: 725  solveTime: 697  totalTime: 1426  modelSize: 20646  readTime: 4 size: 9