(1,19) (3,18) (4,17) (10,13) 
nodes: 110  conflicts: 59  modelTime: 724  solveTime: 438  totalTime: 1168  modelSize: 20646  readTime: 6 size: 4