(2,18) (4,19) (5,12) (9,15) (10,14) 
nodes: 320  conflicts: 43  modelTime: 740  solveTime: 694  totalTime: 1439  modelSize: 20646  readTime: 5 size: 5