(1,2) (3,30) (4,23) (5,24) (6,19) (9,13) (10,16) (11,15) (12,26) (14,22) (17,25) (20,21) 
nodes: 3792  conflicts: 92  modelTime: 1722  solveTime: 15739  totalTime: 17482  modelSize: 72262  readTime: 20 size: 12