(1,28) (2,8) (3,21) (4,27) (5,6) (7,24) (9,13) (10,17) (11,14) (12,22) (15,30) (16,26) (18,23) (19,29) (20,25) 
nodes: 121425  conflicts: 28  modelTime: 1713  solveTime: 516805  totalTime: 518773  modelSize: 72269  readTime: 255 size: 15