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