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