(1,25) (2,19) (3,17) (4,12) (5,20) (6,22) (7,30) (9,23) (11,27) (13,26) (14,29) (15,28) (16,21) (18,24) 
nodes: 4630  conflicts: 39  modelTime: 940  solveTime: 17524  totalTime: 18477  modelSize: 72262  readTime: 12 size: 14