(1,27) (2,26) (3,30) (4,23) (6,29) (7,19) (9,16) (10,21) (11,17) (12,28) (14,20) (15,25) 
nodes: 3455  conflicts: 48  modelTime: 659  solveTime: 5224  totalTime: 5889  modelSize: 41298  readTime: 6 size: 12