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