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