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