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