(1,13) (2,14) (3,27) (4,9) (5,30) (6,29) (7,10) (8,21) (11,19) (12,26) (15,23) (16,25) (18,28) (20,22) 
nodes: 34540  conflicts: 90  modelTime: 2022  solveTime: 90458  totalTime: 92504  modelSize: 72263  readTime: 24 size: 14