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