(1,11) (2,23) (3,15) (4,26) (5,20) (7,22) (8,19) (9,30) (10,13) (12,17) (14,25) (16,28) (18,27) (21,24) 
nodes: 167303  conflicts: 55  modelTime: 1715  solveTime: 498496  totalTime: 500231  modelSize: 72264  readTime: 20 size: 14