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