(1,15) (2,11) (3,18) (4,17) (6,16) (7,14) (8,12) (9,19) 
nodes: 904  conflicts: 26  modelTime: 681  solveTime: 1148  totalTime: 1835  modelSize: 20658  readTime: 6 size: 8