(2,24) (3,17) (4,28) (5,20) (6,23) (7,22) (9,29) (10,26) (11,30) (12,21) (13,25) (14,27) (15,19) 
nodes: 15403  conflicts: 42  modelTime: 667  solveTime: 28278  totalTime: 28951  modelSize: 41292  readTime: 6 size: 13