(2,24) (4,22) (6,27) (7,23) (8,28) (10,19) (11,26) (12,17) (13,20) 
nodes: 1099  conflicts: 98  modelTime: 666  solveTime: 798  totalTime: 1471  modelSize: 41300  readTime: 7 size: 9