(1,20) (2,30) (4,24) (5,29) (6,22) (7,16) (9,18) (10,25) (11,19) (12,21) (13,28) (14,17) 
nodes: 1056  conflicts: 44  modelTime: 665  solveTime: 1195  totalTime: 1867  modelSize: 41293  readTime: 7 size: 12