(1,7) (3,22) (4,26) (5,25) (6,17) (8,30) (9,23) (10,24) (11,29) (12,21) (13,15) (14,16) (18,28) (19,20) 
nodes: 5581  conflicts: 105  modelTime: 1554  solveTime: 18784  totalTime: 20359  modelSize: 72263  readTime: 20 size: 14