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