(1,26) (2,12) (3,28) (4,22) (5,25) (6,16) (7,21) (8,15) (9,10) (11,17) (13,23) (18,29) (19,20) (24,30) 
nodes: 292718  conflicts: 40  modelTime: 1732  solveTime: 1260984  totalTime: 1262735  modelSize: 72269  readTime: 19 size: 14