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