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