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