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