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