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