(1,14) (2,13) (4,16) (5,17) (8,20) (9,15) (10,19) 
nodes: 247  conflicts: 25  modelTime: 772  solveTime: 344  totalTime: 1121  modelSize: 20646  readTime: 5 size: 7