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