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