(1,26) (2,21) (3,23) (4,22) (5,24) (6,28) (7,25) (8,19) (10,16) (11,30) (13,27) (14,29) (15,20) 
nodes: 2349  conflicts: 31  modelTime: 658  solveTime: 2829  totalTime: 3494  modelSize: 41299  readTime: 7 size: 13