(1,30) (2,20) (3,8) (4,6) (5,28) (7,23) (9,10) (11,17) (12,26) (13,27) (14,29) (15,16) (18,22) (19,24) 
nodes: 1665  conflicts: 77  modelTime: 1377  solveTime: 6453  totalTime: 7851  modelSize: 72262  readTime: 21 size: 14