(1,14) (3,19) (4,10) (5,11) (6,29) (7,17) (8,27) (9,22) (12,15) (13,28) (16,21) (18,20) (23,25) 
nodes: 2674  conflicts: 57  modelTime: 1728  solveTime: 10802  totalTime: 12554  modelSize: 72262  readTime: 24 size: 13