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