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