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