(1,30) (2,18) (3,19) (5,28) (6,24) (8,20) (9,17) (11,25) (12,27) (13,21) (14,29) (15,22) 
nodes: 2321  conflicts: 39  modelTime: 662  solveTime: 4602  totalTime: 5270  modelSize: 41293  readTime: 6 size: 12