(1,25) (2,23) (3,22) (4,18) (5,17) (6,24) (7,29) (8,26) (10,20) (11,30) (13,28) (14,27) 
nodes: 3332  conflicts: 58  modelTime: 665  solveTime: 5008  totalTime: 5679  modelSize: 41293  readTime: 6 size: 12