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