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