(1,22) (2,24) (3,19) (5,23) (6,20) (7,28) (8,27) (9,21) (10,18) (11,30) (12,16) (13,26) (14,17) 
nodes: 742  conflicts: 47  modelTime: 667  solveTime: 914  totalTime: 1587  modelSize: 41293  readTime: 6 size: 13