(3,13) (4,15) (7,20) (8,11) (10,17) 
nodes: 136  conflicts: 55  modelTime: 647  solveTime: 309  totalTime: 962  modelSize: 20646  readTime: 6 size: 5