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