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