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