(1,13) (3,20) (4,19) (5,15) (10,14) 
nodes: 108  conflicts: 50  modelTime: 775  solveTime: 247  totalTime: 1027  modelSize: 20646  readTime: 5 size: 5