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