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