(1,12) (4,16) (6,13) (7,11) 
nodes: 113  conflicts: 59  modelTime: 679  solveTime: 275  totalTime: 959  modelSize: 20646  readTime: 5 size: 4