(2,8) (3,5) (4,16) (6,20) (7,22) (9,24) (10,30) (11,28) (13,17) (14,21) (15,25) (18,23) (19,26) 
nodes: 5645  conflicts: 88  modelTime: 1665  solveTime: 20243  totalTime: 21928  modelSize: 72263  readTime: 20 size: 13