(1,14) (2,19) (3,11) (4,13) (5,17) (6,12) (7,18) (8,20) (9,16) 
nodes: 138  conflicts: 4  modelTime: 670  solveTime: 527  totalTime: 1202  modelSize: 20646  readTime: 5 size: 9