(1,28) (4,19) (5,25) (6,24) (7,29) (8,30) (9,23) (11,18) (12,17) (13,20) (14,16) (15,27) 
nodes: 6497  conflicts: 66  modelTime: 662  solveTime: 9419  totalTime: 10088  modelSize: 41293  readTime: 7 size: 12