(1,23) (2,25) (3,22) (4,27) (5,24) (6,29) (7,28) (8,30) (9,16) (10,20) (11,26) (12,18) (13,21) (14,17) (15,19) 
nodes: 1875  conflicts: 14  modelTime: 661  solveTime: 2595  totalTime: 3262  modelSize: 41293  readTime: 5 size: 15