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