(1,25) (3,16) (6,27) (7,17) (8,26) (9,29) (10,20) (11,21) (14,24) 
nodes: 1286  conflicts: 73  modelTime: 670  solveTime: 875  totalTime: 1551  modelSize: 41301  readTime: 6 size: 9