(1,12) (2,14) (3,20) (4,11) (5,19) (6,13) (7,16) (9,17) (10,18) 
nodes: 666  conflicts: 9  modelTime: 765  solveTime: 789  totalTime: 1559  modelSize: 20646  readTime: 5 size: 9