(1,20) (2,13) (3,26) (5,14) (6,23) (7,22) (8,28) (10,29) (11,17) (12,21) (15,24) (16,27) (18,19) (25,30) 
nodes: 7704  conflicts: 43  modelTime: 932  solveTime: 16780  totalTime: 17724  modelSize: 72262  readTime: 12 size: 14