(3,26) (4,22) (5,20) (7,28) (9,18) (10,29) (11,30) (13,24) (15,27) 
nodes: 470  conflicts: 90  modelTime: 662  solveTime: 462  totalTime: 1131  modelSize: 41300  readTime: 7 size: 9