(1,30) (2,25) (3,19) (4,17) (5,26) (6,27) (8,22) (9,20) (10,28) (12,29) (13,21) (14,23) (15,16) 
nodes: 1414  conflicts: 34  modelTime: 664  solveTime: 1980  totalTime: 2663  modelSize: 41293  readTime: 19 size: 13