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