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