(1,11) (3,17) (4,20) (5,13) (6,16) (7,19) (8,18) (9,14) 
nodes: 347  conflicts: 28  modelTime: 723  solveTime: 679  totalTime: 1408  modelSize: 20658  readTime: 5 size: 8