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