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