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