(1,13) (2,12) (3,11) (6,19) (7,15) (8,20) (9,18) 
nodes: 231  conflicts: 27  modelTime: 680  solveTime: 356  totalTime: 1041  modelSize: 20646  readTime: 5 size: 7