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