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