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