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