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