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