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