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