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