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