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