(1,25) (2,26) (3,17) (4,23) (5,24) (6,19) (7,28) (8,20) (9,29) (10,18) (11,27) (12,21) (14,22) (15,30) 
nodes: 1685  conflicts: 14  modelTime: 660  solveTime: 3922  totalTime: 4596  modelSize: 41293  readTime: 14 size: 14