(5,27) (6,28) (7,26) (8,20) (9,19) (11,30) (12,17) (13,21) (15,25) 
nodes: 756  conflicts: 92  modelTime: 666  solveTime: 1277  totalTime: 1950  modelSize: 41301  readTime: 7 size: 9