(4,28) (6,26) (8,22) (9,30) (11,16) (12,27) (13,19) (14,25) (15,29) 
nodes: 323  conflicts: 76  modelTime: 672  solveTime: 555  totalTime: 1249  modelSize: 41301  readTime: 22 size: 9