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