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