(1,16) (3,22) (4,21) (5,17) (6,19) (7,24) (8,26) (9,28) (11,29) (14,27) (15,18) 
nodes: 1167  conflicts: 68  modelTime: 662  solveTime: 1117  totalTime: 1787  modelSize: 41301  readTime: 7 size: 11