(1,25) (2,23) (3,16) (4,22) (5,29) (6,17) (8,20) (9,27) (10,24) (11,21) (12,28) (13,26) (14,30) (15,19) 
nodes: 1756  conflicts: 35  modelTime: 668  solveTime: 2293  totalTime: 2967  modelSize: 41293  readTime: 6 size: 14