(1,11) (2,14) (3,16) (4,15) (5,13) (7,12) (8,20) (10,18) 
nodes: 397  conflicts: 24  modelTime: 667  solveTime: 650  totalTime: 1322  modelSize: 20646  readTime: 5 size: 8