(1,23) (2,27) (3,18) (4,30) (6,24) (7,25) (8,16) (9,19) (10,28) (11,21) (12,26) (13,17) (14,22) 
nodes: 2821  conflicts: 24  modelTime: 1200  solveTime: 6679  totalTime: 7889  modelSize: 41293  readTime: 10 size: 13