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