(1,21) (2,4) (3,22) (5,25) (6,7) (8,26) (10,13) (11,27) (12,17) (14,20) (15,23) (18,19) (24,29) (28,30) 
nodes: 108037  conflicts: 60  modelTime: 1757  solveTime: 432497  totalTime: 434278  modelSize: 72264  readTime: 24 size: 14