(2,30) (5,28) (6,24) (7,23) (9,29) (10,21) (11,20) (12,16) (13,22) (14,19) (15,27) 
nodes: 512  conflicts: 72  modelTime: 810  solveTime: 671  totalTime: 1488  modelSize: 41300  readTime: 7 size: 11