(3,25) (4,21) (5,30) (6,16) (7,17) (8,28) (9,24) (10,18) (11,27) (12,19) (13,20) 
nodes: 2809  conflicts: 60  modelTime: 661  solveTime: 4032  totalTime: 4700  modelSize: 41293  readTime: 7 size: 11