(3,12) (5,20) (9,11) (10,14) 
nodes: 159  conflicts: 54  modelTime: 740  solveTime: 594  totalTime: 1340  modelSize: 20646  readTime: 6 size: 4