(1,21) (2,25) (3,17) (4,30) (5,27) (6,20) (7,18) (9,16) (10,23) (11,28) (12,24) (14,19) (15,22) 
nodes: 3656  conflicts: 59  modelTime: 683  solveTime: 8004  totalTime: 8694  modelSize: 41292  readTime: 7 size: 13