(1,11) (2,16) (3,18) (4,17) (5,14) (6,20) (7,19) (9,13) (10,15) 
nodes: 446  conflicts: 16  modelTime: 683  solveTime: 642  totalTime: 1329  modelSize: 20646  readTime: 4 size: 9