(1,27) (2,29) (4,30) (5,19) (6,21) (7,24) (8,25) (9,22) (10,20) (11,16) (13,17) (14,23) 
nodes: 358  conflicts: 49  modelTime: 668  solveTime: 823  totalTime: 1498  modelSize: 41300  readTime: 7 size: 12