(1,9) (2,27) (3,23) (4,26) (5,20) (6,25) (7,15) (8,10) (11,14) (12,17) (13,30) (18,21) (19,22) (24,29) 
nodes: 35556  conflicts: 59  modelTime: 1731  solveTime: 131465  totalTime: 133216  modelSize: 72266  readTime: 20 size: 14