(1,30) (2,26) (3,19) (4,21) (5,28) (7,29) (8,17) (9,24) (11,27) (13,25) (14,22) (15,20) 
nodes: 379  conflicts: 58  modelTime: 667  solveTime: 578  totalTime: 1252  modelSize: 41293  readTime: 7 size: 12