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