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