(1,8) (2,19) (3,13) (4,28) (5,10) (6,12) (7,24) (9,17) (11,27) (14,20) (15,26) (18,29) (21,22) (25,30) 
nodes: 13941  conflicts: 24  modelTime: 1729  solveTime: 61839  totalTime: 63587  modelSize: 72263  readTime: 19 size: 14