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