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