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