(1,20) (2,12) (3,22) (4,28) (5,15) (6,29) (7,21) (9,17) (10,16) (13,19) (14,23) (18,24) (25,27) (26,30) 
nodes: 7441  conflicts: 29  modelTime: 1707  solveTime: 41414  totalTime: 43141  modelSize: 72262  readTime: 19 size: 14