(1,19) (2,20) (4,18) (5,17) (6,14) (7,12) (8,16) (9,13) (10,15) 
nodes: 586  conflicts: 9  modelTime: 676  solveTime: 696  totalTime: 1378  modelSize: 20646  readTime: 5 size: 9