(1,5) (2,24) (3,12) (4,29) (6,18) (7,10) (8,20) (9,14) (11,26) (13,27) (15,23) (16,28) (17,22) (19,21) 
nodes: 81406  conflicts: 33  modelTime: 933  solveTime: 350284  totalTime: 351229  modelSize: 72265  readTime: 11 size: 14