(1,29) (2,22) (4,18) (5,19) (6,17) (7,26) (8,21) (10,16) (12,27) (13,24) (14,23) 
nodes: 512  conflicts: 68  modelTime: 674  solveTime: 547  totalTime: 1228  modelSize: 41300  readTime: 7 size: 11