(1,17) (2,20) (3,26) (4,8) (5,25) (6,11) (7,28) (9,23) (10,14) (12,13) (15,21) (16,22) (18,27) (19,24) (29,30) 
nodes: 298312  conflicts: 30  modelTime: 1141  solveTime: 1364990  totalTime: 1366167  modelSize: 72262  readTime: 36 size: 15