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