(1,19) (2,17) (3,13) (5,16) (6,18) (7,11) (8,20) (9,12) 
nodes: 319  conflicts: 17  modelTime: 686  solveTime: 399  totalTime: 1090  modelSize: 20658  readTime: 5 size: 8