(1,13) (3,20) (4,19) (5,16) (8,12) (9,14) 
nodes: 107  conflicts: 48  modelTime: 732  solveTime: 440  totalTime: 1178  modelSize: 20646  readTime: 6 size: 6