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