(1,11) (2,14) (3,19) (5,13) (9,20) 
nodes: 254  conflicts: 44  modelTime: 772  solveTime: 370  totalTime: 1148  modelSize: 20646  readTime: 5 size: 5