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