(1,23) (2,27) (3,28) (4,29) (5,19) (6,16) (8,18) (9,17) (11,30) (12,22) (13,20) (14,26) (15,25) 
nodes: 2779  conflicts: 34  modelTime: 662  solveTime: 4837  totalTime: 5506  modelSize: 41299  readTime: 7 size: 13