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