(1,27) (2,22) (3,29) (5,25) (6,26) (7,17) (8,18) (10,21) (11,30) (12,28) (13,23) (14,16) (15,20) 
nodes: 3879  conflicts: 45  modelTime: 656  solveTime: 4945  totalTime: 5608  modelSize: 41299  readTime: 7 size: 13