(2,15) (6,16) (9,20) (10,13) 
nodes: 152  conflicts: 59  modelTime: 817  solveTime: 518  totalTime: 1342  modelSize: 20646  readTime: 6 size: 4