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