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