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