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