(2,14) (3,20) (7,11) (9,16) 
nodes: 111  conflicts: 57  modelTime: 817  solveTime: 428  totalTime: 1251  modelSize: 20646  readTime: 6 size: 4