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