(1,23) (2,27) (3,22) (4,24) (5,15) (6,17) (7,12) (8,30) (10,29) (11,21) (13,28) (14,16) (18,19) (20,25) 
nodes: 17479  conflicts: 62  modelTime: 1734  solveTime: 69298  totalTime: 71052  modelSize: 72264  readTime: 20 size: 14