(1,19) (2,21) (4,29) (5,16) (6,25) (7,24) (8,27) (9,17) (11,23) (12,18) (13,20) (14,26) (15,28) 
nodes: 2065  conflicts: 34  modelTime: 699  solveTime: 5274  totalTime: 5996  modelSize: 41293  readTime: 22 size: 13