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