(1,26) (2,17) (3,4) (5,13) (6,7) (8,21) (12,22) (14,27) (15,19) (16,18) (20,23) (24,29) (28,30) 
nodes: 5687  conflicts: 65  modelTime: 1719  solveTime: 22379  totalTime: 24118  modelSize: 72262  readTime: 20 size: 13