(1,28) (2,4) (3,5) (6,10) (7,23) (8,21) (9,26) (12,17) (13,14) (16,25) (18,29) (19,27) (20,30) (22,24) 
nodes: 317457  conflicts: 54  modelTime: 1713  solveTime: 1502632  totalTime: 1504364  modelSize: 72262  readTime: 19 size: 14