(2,24) (3,30) (5,21) (6,28) (7,18) (8,22) (10,17) (13,19) (15,27) 
nodes: 487  conflicts: 78  modelTime: 672  solveTime: 793  totalTime: 1473  modelSize: 41301  readTime: 8 size: 9