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