(1,25) (2,24) (3,16) (4,19) (6,17) (7,28) (8,20) (9,26) (10,22) (11,30) (12,27) (13,18) (14,23) (15,29) 
nodes: 29090  conflicts: 11  modelTime: 655  solveTime: 77603  totalTime: 78263  modelSize: 41293  readTime: 5 size: 14