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