(1,15) (2,19) (3,18) (7,11) 
nodes: 236  conflicts: 58  modelTime: 770  solveTime: 327  totalTime: 1102  modelSize: 20646  readTime: 5 size: 4