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