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