(1,15) (3,20) (4,12) (5,11) (6,14) (7,18) (8,19) (9,17) (10,16) 
nodes: 619  conflicts: 11  modelTime: 670  solveTime: 731  totalTime: 1405  modelSize: 20646  readTime: 4 size: 9