(1,24) (2,22) (3,8) (4,5) (6,7) (9,14) (10,21) (11,19) (12,29) (15,30) (16,17) (18,25) (20,28) (23,27) 
nodes: 121468  conflicts: 25  modelTime: 965  solveTime: 452463  totalTime: 453439  modelSize: 72262  readTime: 11 size: 14