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