(1,2) (3,27) (4,17) (5,19) (6,29) (7,20) (8,26) (9,28) (10,22) (11,16) (12,14) (13,30) (15,23) (18,25) (21,24) 
nodes: 1559  conflicts: 1  modelTime: 1677  solveTime: 6467  totalTime: 8154  modelSize: 72264  readTime: 10 size: 15