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