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