(1,15) (6,11) (7,13) (9,18) (10,20) 
nodes: 130  conflicts: 58  modelTime: 755  solveTime: 286  totalTime: 1047  modelSize: 20646  readTime: 6 size: 5