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