(1,23) (2,13) (3,4) (6,28) (7,17) (8,21) (9,25) (10,11) (12,15) (14,29) (16,24) (18,19) (22,30) (26,27) 
nodes: 19958  conflicts: 89  modelTime: 1716  solveTime: 48492  totalTime: 50230  modelSize: 72262  readTime: 22 size: 14