(1,29) (3,18) (4,28) (5,17) (6,13) (7,8) (9,20) (11,24) (12,14) (15,21) (19,27) (23,25) 
nodes: 2758  conflicts: 75  modelTime: 1214  solveTime: 11027  totalTime: 12262  modelSize: 72266  readTime: 21 size: 12