(1,29) (2,22) (3,24) (5,23) (7,20) (8,30) (9,16) (11,28) (12,17) (13,18) (14,27) 
nodes: 499  conflicts: 61  modelTime: 668  solveTime: 564  totalTime: 1239  modelSize: 41301  readTime: 7 size: 11