(1,25) (2,27) (3,21) (5,23) (6,17) (7,10) (8,15) (9,29) (11,30) (12,26) (13,16) (19,20) (24,28) 
nodes: 5207  conflicts: 70  modelTime: 1148  solveTime: 13083  totalTime: 14255  modelSize: 72266  readTime: 24 size: 13