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