(1,3) (2,15) (4,7) (5,23) (6,8) (10,30) (11,25) (12,28) (13,21) (14,17) (18,22) (19,27) (20,29) (24,26) 
nodes: 12297  conflicts: 53  modelTime: 945  solveTime: 63913  totalTime: 64870  modelSize: 72262  readTime: 11 size: 14