(1,7) (2,23) (3,11) (4,13) (5,25) (6,17) (8,19) (9,26) (10,27) (12,28) (14,18) (15,21) (20,24) (22,29) 
nodes: 18278  conflicts: 40  modelTime: 965  solveTime: 68746  totalTime: 69723  modelSize: 72266  readTime: 11 size: 14