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