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