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