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