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