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