(1,15) (3,20) (4,18) (5,14) (6,11) (7,19) (8,13) (9,16) 
nodes: 355  conflicts: 24  modelTime: 684  solveTime: 406  totalTime: 1096  modelSize: 20646  readTime: 6 size: 8