(1,3) (5,7) (6,29) (8,19) (10,12) (11,23) (13,30) (14,15) (16,17) (18,28) (21,26) (22,27) 
nodes: 11739  conflicts: 117  modelTime: 945  solveTime: 41291  totalTime: 42247  modelSize: 72262  readTime: 11 size: 12