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