(1,29) (2,20) (3,21) (4,23) (6,19) (8,16) (9,28) (10,25) (12,22) (13,24) (14,26) (15,27) 
nodes: 3668  conflicts: 51  modelTime: 658  solveTime: 4318  totalTime: 4983  modelSize: 41298  readTime: 7 size: 12