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