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