(1,22) (2,25) (4,12) (5,7) (8,14) (9,20) (10,16) (11,17) (13,24) (15,18) (19,26) (21,29) (27,30) 
nodes: 2134  conflicts: 52  modelTime: 1201  solveTime: 6363  totalTime: 7577  modelSize: 72262  readTime: 13 size: 13