(1,28) (2,19) (3,22) (4,23) (5,27) (6,24) (7,25) (8,13) (9,21) (10,26) (11,17) (12,29) (14,18) (15,16) (20,30) 
nodes: 20819  conflicts: 5  modelTime: 932  solveTime: 185049  totalTime: 185988  modelSize: 72264  readTime: 7 size: 15