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