(1,25) (2,28) (3,26) (4,29) (5,27) (6,19) (7,18) (8,22) (9,24) (10,17) (11,13) (12,16) (14,23) (15,30) (20,21) 
nodes: 8044  conflicts: 4  modelTime: 1683  solveTime: 56780  totalTime: 58477  modelSize: 72338  readTime: 14 size: 15