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