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