(1,16) (2,21) (3,30) (4,27) (5,28) (6,20) (7,29) (8,24) (10,22) (11,17) (12,25) (13,19) (14,23) 
nodes: 11908  conflicts: 45  modelTime: 655  solveTime: 20513  totalTime: 21174  modelSize: 41298  readTime: 6 size: 13