(1,25) (3,21) (4,29) (5,30) (6,26) (7,22) (8,17) (9,18) (11,23) (12,20) (13,27) (14,28) 
nodes: 4142  conflicts: 63  modelTime: 657  solveTime: 5588  totalTime: 6252  modelSize: 41293  readTime: 7 size: 12