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