(1,7) (2,28) (3,25) (4,27) (5,16) (8,30) (9,26) (11,22) (12,13) (14,29) (18,20) (19,23) (21,24) 
nodes: 5513  conflicts: 57  modelTime: 1239  solveTime: 28232  totalTime: 29490  modelSize: 72262  readTime: 19 size: 13