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