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