(1,20) (2,15) (4,18) (5,12) (6,17) (7,13) (8,14) (9,16) (10,19) 
nodes: 332  conflicts: 28  modelTime: 723  solveTime: 595  totalTime: 1323  modelSize: 20646  readTime: 5 size: 9