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