(2,15) (4,20) (5,16) (6,11) (7,13) (9,14) (10,12) 
nodes: 126  conflicts: 33  modelTime: 590  solveTime: 296  totalTime: 892  modelSize: 20646  readTime: 6 size: 7