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