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