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