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