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