(1,23) (2,17) (3,20) (4,16) (5,22) (6,19) (7,21) (8,26) (9,29) (10,28) (11,25) (12,30) (13,27) (14,18) 
nodes: 10065  conflicts: 13  modelTime: 652  solveTime: 22032  totalTime: 22689  modelSize: 41293  readTime: 5 size: 14