(1,28) (2,30) (3,23) (4,16) (5,29) (6,24) (7,19) (8,9) (10,27) (11,21) (12,14) (13,26) (15,20) 
nodes: 11042  conflicts: 85  modelTime: 942  solveTime: 20987  totalTime: 21940  modelSize: 72262  readTime: 11 size: 13