(1,18) (2,22) (3,14) (4,29) (5,20) (6,8) (7,21) (9,15) (10,30) (11,27) (13,17) (16,28) (23,24) 
nodes: 16413  conflicts: 92  modelTime: 1747  solveTime: 59261  totalTime: 61032  modelSize: 72263  readTime: 24 size: 13