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