(1,10) (2,11) (3,24) (4,5) (6,17) (7,13) (8,12) (9,23) (14,25) (15,22) (16,19) (18,28) (20,29) (21,27) 
nodes: 6964  conflicts: 37  modelTime: 1715  solveTime: 30154  totalTime: 31891  modelSize: 72262  readTime: 22 size: 14