(1,13) (2,30) (3,15) (4,10) (5,17) (6,28) (7,27) (8,16) (9,24) (11,23) (12,20) (14,26) (18,22) (19,21) 
nodes: 38508  conflicts: 56  modelTime: 926  solveTime: 80908  totalTime: 81845  modelSize: 72262  readTime: 11 size: 14