(1,25) (2,24) (3,21) (4,8) (5,17) (6,15) (7,9) (10,22) (11,26) (12,30) (13,28) (14,23) (16,27) (18,29) (19,20) 
nodes: 12088  conflicts: 14  modelTime: 967  solveTime: 66626  totalTime: 67646  modelSize: 72296  readTime: 53 size: 15