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