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