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