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