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