(1,13) (2,7) (3,10) (4,28) (5,21) (6,18) (8,20) (9,25) (11,19) (14,26) (15,17) (16,30) (22,29) (24,27) 
nodes: 9368  conflicts: 51  modelTime: 1117  solveTime: 47464  totalTime: 48601  modelSize: 72262  readTime: 20 size: 14