(1,13) (4,20) (7,19) (8,18) (9,14) (10,11) 
nodes: 139  conflicts: 47  modelTime: 673  solveTime: 297  totalTime: 975  modelSize: 20646  readTime: 5 size: 6