(1,23) (2,25) (3,16) (4,17) (5,19) (8,27) (9,30) (10,18) (11,24) (12,21) (13,28) (14,22) (15,20) 
nodes: 2155  conflicts: 40  modelTime: 659  solveTime: 3088  totalTime: 3753  modelSize: 41298  readTime: 6 size: 13