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