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