(1,26) (3,30) (4,28) (5,22) (6,29) (7,17) (8,19) (9,27) (10,25) (11,24) (14,18) 
nodes: 467  conflicts: 78  modelTime: 673  solveTime: 486  totalTime: 1166  modelSize: 41300  readTime: 7 size: 11