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