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