(1,24) (2,19) (3,23) (4,27) (6,21) (7,18) (8,16) (9,30) (10,28) (11,17) (12,26) (13,22) (14,25) 
nodes: 769  conflicts: 36  modelTime: 673  solveTime: 1215  totalTime: 1894  modelSize: 41298  readTime: 6 size: 13