(1,15) (2,18) (4,12) (5,17) (6,20) (7,14) (8,19) (9,16) (10,13) 
nodes: 208  conflicts: 31  modelTime: 722  solveTime: 554  totalTime: 1281  modelSize: 20646  readTime: 5 size: 9