(1,10) (2,9) (3,15) (5,13) (6,17) (7,22) (8,30) (11,27) (12,26) (14,23) (16,19) (18,29) (20,21) 
nodes: 2941  conflicts: 80  modelTime: 977  solveTime: 13646  totalTime: 14635  modelSize: 72262  readTime: 12 size: 13