(1,13) (2,19) (3,16) (4,12) (5,18) (6,14) (7,11) (8,15) (9,17) 
nodes: 618  conflicts: 25  modelTime: 696  solveTime: 616  totalTime: 1317  modelSize: 20658  readTime: 5 size: 9