(1,21) (2,24) (3,16) (4,22) (5,19) (6,20) (7,27) (8,25) (9,30) (11,18) (12,26) (13,28) (14,17) (15,23) 
nodes: 7373  conflicts: 11  modelTime: 662  solveTime: 14219  totalTime: 14918  modelSize: 41299  readTime: 37 size: 14