(1,29) (2,18) (3,16) (5,19) (6,30) (9,24) (10,22) (13,28) (14,26) (15,17) 
nodes: 731  conflicts: 77  modelTime: 677  solveTime: 598  totalTime: 1282  modelSize: 41301  readTime: 7 size: 10