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