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