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