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