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