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