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