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