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