(1,7) (2,27) (3,16) (4,17) (5,8) (6,23) (9,26) (11,22) (12,25) (13,30) (14,24) (15,20) (18,29) (21,28) 
nodes: 370  conflicts: 64  modelTime: 1003  solveTime: 3043  totalTime: 4058  modelSize: 72263  readTime: 12 size: 14