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