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