(1,17) (2,11) (3,19) (4,16) (5,12) (6,13) (7,15) (8,18) (10,14) 
nodes: 248  conflicts: 8  modelTime: 766  solveTime: 347  totalTime: 1119  modelSize: 20646  readTime: 6 size: 9