(1,4) (2,11) (3,16) (5,24) (7,27) (8,15) (9,21) (10,29) (12,18) (13,17) (14,20) (19,23) (26,28) 
nodes: 16965  conflicts: 66  modelTime: 1729  solveTime: 62865  totalTime: 64615  modelSize: 72263  readTime: 20 size: 13