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