(1,25) (2,27) (4,19) (5,17) (6,28) (7,23) (8,16) (9,18) (10,29) (12,26) (13,24) (14,22) (15,21) 
nodes: 2571  conflicts: 30  modelTime: 657  solveTime: 3904  totalTime: 4567  modelSize: 41298  readTime: 6 size: 13