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