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