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