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