(1,2) (3,26) (4,30) (5,18) (6,25) (7,8) (9,20) (10,21) (11,29) (12,14) (13,17) (15,24) (16,27) (19,28) 
nodes: 2044  conflicts: 63  modelTime: 1072  solveTime: 9431  totalTime: 10524  modelSize: 72262  readTime: 21 size: 14