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