(1,15) (2,7) (3,24) (4,26) (6,8) (9,10) (11,21) (12,20) (13,23) (14,29) (16,27) (17,25) (18,28) (19,22) 
nodes: 18949  conflicts: 63  modelTime: 1081  solveTime: 92475  totalTime: 93576  modelSize: 72262  readTime: 20 size: 14