(1,2) (3,26) (4,15) (6,8) (7,17) (9,13) (10,28) (11,18) (12,23) (14,21) (16,29) (19,24) (22,27) (25,30) 
nodes: 75094  conflicts: 64  modelTime: 1730  solveTime: 265742  totalTime: 267510  modelSize: 72266  readTime: 38 size: 14