(2,19) (4,15) (6,16) 
nodes: 228  conflicts: 67  modelTime: 670  solveTime: 322  totalTime: 998  modelSize: 20646  readTime: 6 size: 3