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