(1,15) (2,29) (3,8) (4,30) (6,25) (9,21) (10,19) (11,22) (12,16) (18,27) (23,28) 
nodes: 2801  conflicts: 117  modelTime: 1220  solveTime: 13588  totalTime: 14828  modelSize: 72262  readTime: 20 size: 11