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