(1,26) (2,14) (3,28) (5,30) (6,23) (7,25) (8,21) (9,16) (11,15) (12,13) (17,22) (18,29) (19,27) (20,24) 
nodes: 131373  conflicts: 44  modelTime: 1708  solveTime: 556360  totalTime: 558087  modelSize: 72262  readTime: 19 size: 14