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