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