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