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