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