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