(1,14) (2,21) (3,23) (5,25) (6,17) (7,16) (8,19) (9,18) (10,26) (11,20) (12,22) (13,30) (15,29) (27,28) 
nodes: 52715  conflicts: 54  modelTime: 1747  solveTime: 222270  totalTime: 224036  modelSize: 72273  readTime: 19 size: 14