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