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