(1,2) (3,10) (4,17) (5,30) (7,26) (8,22) (9,23) (11,20) (12,25) (14,27) (15,21) (16,24) (18,19) (28,29) 
nodes: 9270  conflicts: 85  modelTime: 944  solveTime: 46413  totalTime: 47385  modelSize: 72262  readTime: 28 size: 14