(1,19) (2,20) (3,17) (5,16) (6,15) (7,18) (8,14) (9,13) 
nodes: 435  conflicts: 20  modelTime: 813  solveTime: 953  totalTime: 1771  modelSize: 20658  readTime: 5 size: 8