(1,7) (2,5) (3,4) (6,22) (8,30) (9,23) (11,28) (12,29) (13,27) (14,21) (16,25) (17,26) (18,19) 
nodes: 11703  conflicts: 47  modelTime: 945  solveTime: 52685  totalTime: 53643  modelSize: 72263  readTime: 13 size: 13